040000 tree 703f3376e4ed3d3b871b955769dd6029a9c7d2de	gmp
040000 tree 5df5350d0c5e5dd33a04b1d0e9c8cd614b9f58da	life
040000 tree b4b40605cfc3484ca0389e25850959c11734cb7b	stdio
040000 tree 7bfa4525e949a9b9c6222948d045afa7f3e2788b	test