040000 tree 703f3376e4ed3d3b871b955769dd6029a9c7d2de	gmp
040000 tree 5df5350d0c5e5dd33a04b1d0e9c8cd614b9f58da	life
040000 tree b4b40605cfc3484ca0389e25850959c11734cb7b	stdio
040000 tree 3e26748c02151b7048d9f14a7d6b8da2de368942	test