040000 tree 82190aa65e1abc97c0fce77c482c10f13a562bb1	gmp
040000 tree 5df5350d0c5e5dd33a04b1d0e9c8cd614b9f58da	life
040000 tree b4b40605cfc3484ca0389e25850959c11734cb7b	stdio
040000 tree c3e2dbbdadb50718d7102459193eb332a74550ce	test