100644 blob e37769576d2fe0f4902d522010c4dc3adc51a587	conjunction.pass.cpp
100644 blob baaed6f03ceea74a3de405c490cdac404bdc4b8a	disjunction.pass.cpp
100644 blob 88ca693d31b39256652613c8a99938353f812401	negation.pass.cpp