100644 blob db84eefc5dabe3e64c2db19f00bd3d09dc0884a3	1.cc
100644 blob 3bcff11490858bd3d531c6372a9bc3564ec4b887	named_equivalence.cc
040000 tree 0f338584025542841f8df175010bf3a3208075f0	requirements