040000 tree 63d7120968faac2bcdf8e276870b354288959af3	dmc
040000 tree 357ee9feec93f1bda2d5dd61d5805026b7050ae0	edg
100644 blob 18b6d56edefe442c5e748660d8527c81dd6db0ef	fold_left.hpp
100644 blob 72dfe914bf962e05c98c79cf1ee1e9d8829d7b74	fold_right.hpp