100644 blob 725eb5b0dba58424aede52366060d4331b4f5bb9	conjunction.compile.pass.cpp
100644 blob 43952f6c4a232361850c864b613c013711d349e3	disjunction.compile.pass.cpp
100644 blob 5b3f2fade324f6833d4e48b81d7ace54eea0703e	negation.pass.cpp