100644 blob ad6732b25c2c5619b3641c2d555115b05d979562	basic.cc
100644 blob 86d91a5e0e2d87660dfa1c791cc40bd11ec5b1f2	generation_prohibited.cc
100644 blob 774f45ac87e0df32dd9ad526a895b2790b856937	propagation_consistent.cc