100644 blob d8dd386e9347a5cc64d78ef01c1175791a56c6d2	conjunction.pass.cpp
100644 blob f5ba178d6483d0884dc2ff947365eb4cf0b66b7e	disjunction.pass.cpp
100644 blob 7b4eb27a75e1aa3c95bba5c3263120625cee41fa	negation.pass.cpp