040000 tree e10d972e2682e62d83b4cb688f66df54358f2250	dmc
040000 tree ff16b2e52c578ae441386044e05e7ab26cf5aaac	edg
100644 blob e2980fd0791521fb0262b685b964ada9e2b4114b	fold_left.hpp
100644 blob 2a1f04509a8422ff2f42e3c6bf3e6322bc5ee003	fold_right.hpp