040000 tree 4c0fc24bc9791ef97aefd1bf1bb390dbb26d700a	gmp
040000 tree 3bd4dd74f716099562f2662a001070737b69f67c	life
040000 tree c07c3e8ba7053beac58eca7631f8950a6539cb48	stdio
040000 tree 0ca03c39e8e608dc5fc7f4c272c892855d58a3e4	test
040000 tree 29edb12e4000b3863b2c6fac201b40851e73e358	testso