eq x x true not eq x y neq x y not neq x y eq x y not true false not false true not not x x not and x y or not x not y not or x y and not x not y neq x x false or and x y z and or x z or y z or x x x or x true true or x false x and x x x and x true x and x false false and x or x y x or and eq neq or and 2.2 and x y and y x or x or y z or or x y z and x and y z and and x y z neq x y neq y x or x y or y x eq x y eq y x and x y and y x neq x y neq y x and x and y z and and x y z and x and y z and x y or x y or y x eq x y eq y x or x or y z or or x y z or x or y z or x y not and x y not x or and x y z or x z not and x y not y or and x y z or y z not and x y or not x not y not or x y not x not or x y and not x not y not eq x y neq x y or and x y z and or x z or y z not neq x y eq x y not or x y not y or or x false _1 or x _1 or or x x _1 or x _1 or or x true _1 or true _1 and and x x _1 and x _1 or or and x y z _1 or and or x z or y z _1 and and x or x y _1 and x _1 and and x false _1 and false _1 and and x true _1 and x _1 not or x y not y not or x y not x not and x y not x not and x y not y true neq 2 0 and 2 1 2 1 eq 2 0 false 0 0 true 0 0 eq 2 0 not 1 1 0 neq 2 0 or 2 1 2 1 or 2 0 and 2 0 not 1 0 not and x y not y not and x y not x not or x y not x not or x y not y not eq x y neq x y false neq x y neq y x true not and x y or not x not y false or x or y z or x y or x y or y x or x or y z or or x y z or and x y z or x z or and x y z or y z true neq 2 0 and 2 1 1 2 eq 2 0 false 0 0 true 0 0 eq 2 0 not 1 0 neq 2 0 or 2 2 1 2 or 2 2 1 2 and 2 1 not 1 0 neq 2 0 and 2 1 0 2 0 0 eq 2 0 false 0 0 true 0 0 eq 2 0 not 1 0 neq 2 0 or 2 1 0 2 0 0 or 2 1 0 2 0 0 and 2 0 not 1 0 or and x y z or y z or and x y z or x z or x or y z or x y and x true x and x false false or x y or y x and x or x y x and x and y z and and x y z or and x y z and or x z or y z or x or y z or or x y z and x x x or x true true and x y and y x or x x x or x false x or x y or y x or x or y z or or x y z true or and x y z and or x z or y z false not neq x y eq x y false eq x y eq y x true not or x y and not x not y false and x and y z and x y and x and y z and and x y z and x y and y x true and and x or x y _1 and x _1 and and x x _1 and x _1 and and x false _1 and false _1 and x y and y x and x and y z and and x y z and and x true _1 and x _1 and x and y z and x y true neq 2 0 and 2 1 2 1 eq 2 0 false 0 16085 true 0 33036 eq 2 0 not 1 0 neq 2 0 or 2 1 2 11293 or 2 0 and 2 1 2 0 not 1 0 and x and y z and x y and and x true _1 and x _1 and and x false _1 and false _1 and and x x _1 and x _1 and and x or x y _1 and x _1 and x true x and x false false and x or x y x and x and y z and and x y z and x x x and x y and y x and x and y z and and x y z and x y and y x true or x or y z or or x y z or x y or y x or or x true _1 or true _1 or or x x _1 or x _1 or x or y z or x y or or and x y z _1 or and or x z or y z _1 or or x false _1 or x _1 true neq 2 0 and 2 0 1 2 eq 2 0 false 0 2 true 0 2 eq 2 0 not 1 0 neq 2 0 or 2 1 1 2 or 2 1 1 2 and 2 0 not 1 0 neq 2 0 and 2 1 0 2 0 0 eq 2 0 false 0 0 true 0 0 eq 2 0 not 1 0 neq 2 0 or 2 1 0 2 0 0 or 2 1 0 2 0 0 and 2 0 not 1 0 or or x false _1 or x _1 or or and x y z _1 or and or x z or y z _1 or x or y z or x y or or x x _1 or x _1 or or x true _1 or true _1 and x true x and x false false or x y or y x and x or x y x and x and y z and and x y z or and x y z and or x z or y z or x or y z or or x y z and x x x or x true true and x y and y x or x x x or x false x or x y or y x or x or y z or or x y z true NaTT certifiable-1.6