100644 blob dce58ec23725d20072c8a122a3aba4cb6e254f3e	conjunction.pass.cpp
100644 blob 13cd9341b99f1bd796d542961c15a3c10fb7e790	disjunction.pass.cpp
100644 blob 76ff6c5b24db8bf4c25ac558083d77797070ac9d	negation.pass.cpp