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