100644 blob 3132a7c04bcef53d45b7eb42297616e70bf46bc5	conjunction.pass.cpp
100644 blob ac5d851062ccca443f089f88c34cd69204df6a97	disjunction.pass.cpp
100644 blob 5b3f2fade324f6833d4e48b81d7ace54eea0703e	negation.pass.cpp