040000 tree 72ddd2ef875e5ceb718a5e5f9ab4e7d7f2d5b7af	dmc
040000 tree 6c8f784048e3fe6b7295467ff57d051493aacb0a	edg
100644 blob f5fcab7335918c8542ff2773801e1c607540417b	fold_left.hpp
100644 blob 29146d504b44c9bc885b8449f1260f216398cfe0	fold_right.hpp