100644 blob 47c6361361b32c47afea7049f249f1f0d4d59d6f	conjunction.pass.cpp
100644 blob dc12e369092f86c84254bd6506381a2271907fd2	disjunction.pass.cpp
100644 blob 3dc775688af6178e76038e19c1f0990f249f0c66	negation.pass.cpp