040000 tree feef82f293c4bc9fa5d0e4e901fd2e832f9acaea	cbordump
040000 tree dd1324ff2e1b0a8bd0bdc14e6d0cb296b9528f5c	convert
040000 tree 33e9595a898472f5cb27854c863773705606bf7b	savegame
100644 blob 7651444f199119a69875498eba274a2ba7ac952a	serialization.pro