100644 blob db14b059a12dd54ea0574cadcdd5ab668ad3db4b	1.cc
100644 blob 7b174d3f4805a5f5ca4499d74efe268610e69b35	88681.cc
100644 blob 1c54eef5df6971502ff3d80a508f00012a0e6fdb	named_equivalence.cc
040000 tree 940859349a9208e685c622579b8d8b59afec2f73	requirements