100644 blob f383a334a5524050c6a65a272f1bfcd58da53582	basic.cc
100644 blob 1ea0f4e3c6c6dbb391b616a8cc356a9099e7f91b	generation_prohibited.cc
100644 blob 2de89e76d7849e2232e9cca49663e0e3899493d9	propagation_consistent.cc