100644 blob e051176785f4a810be025a4977c3ae7cb1187d52	basic.cc
100644 blob 0c11013b8ff10282e49cbc572987c2ac8d37d20f	generation_prohibited.cc
100644 blob a7f3045213aef0c967ed24291ce96d2a6c294dc4	propagation_consistent.cc