100644 blob 0a13411a26527c8c760b5e0a41721a612256020f	basic.cc
100644 blob d64bfd243b64d11167dcfe25aacb4ae4169649a2	generation_prohibited.cc
100644 blob bba3743550b52285e0a3fc930c896209b012f39e	propagation_consistent.cc