100644 blob 62d59305a18255cc5add1351d00c974e65dcfe63	1.cc
100644 blob bf69d96a4af6fe047a3e514768c13a5bc58c2e66	88681.cc
100644 blob 873b04c3718c0823ffb32c2dbb534234e3c4a07d	named_equivalence.cc
040000 tree a61871cdedc0ce2c8382113ec209ae126738f003	requirements