MAYBE 2.2 _and_ x y _and_ y x _and_ x _and_ y z _and_ _and_ x y z _or_ x _or_ y z _or_ _or_ x y z _or_ x y _or_ y x _xor_ x y _xor_ y x _xor_ x _xor_ y z _xor_ _xor_ x y z _and_ x y _and_ y x _or_ x _or_ y z _or_ x y _xor_ x y _xor_ y x _xor_ x _xor_ y z _xor_ x y _xor_ x _xor_ y z _xor_ _xor_ x y z _or_ x y _or_ y x _or_ x _or_ y z _or_ _or_ x y z _and_ x _and_ y z _and_ _and_ x y z _and_ x _and_ y z _and_ x y U21 tt A B U22 tt A B U22 tt A B _xor_ A _and_ A B _isNotEqualTo_ U U' U41 tt U' U U63 tt B U' _isNotEqualTo_ B true U63 tt B U' equal _isNotEqualTo_ B true true U13 tt A B C _and_ A B U13 tt A B C _and_ A C U63 tt B U' U64 equal _isNotEqualTo_ B true true U' _isEqualTo_ U U' U31 tt U' U U41 tt U' U U42 tt U' U U51 tt A B U52 tt A B _or_ A B U51 tt A B _implies_ A B U21 tt A B U22 tt A B _and_ A B U42 tt U' U if_then_else_fi _isEqualTo_ U U' false true U32 tt U' U U33 equal _isNotEqualTo_ U U' true U11 tt A B C U12 tt A B C U61 tt B U' U62 tt B U' U71 tt U U72 tt U U22 tt A B not_ _xor_ A _and_ A B U32 tt U' U _isNotEqualTo_ U U' if_then_else_fi B U U' U61 tt B U' if_then_else_fi true U U' U71 tt U U52 tt A B _xor_ A B not_ A _xor_ A true _and_ A _xor_ B C U11 tt A B C U42 tt U' U _isEqualTo_ U U' U13 tt A B C _xor_ _and_ A B _and_ A C U32 tt U' U equal _isNotEqualTo_ U U' true U52 tt A B _and_ A B U12 tt A B C U13 tt A B C U31 tt U' U U32 tt U' U U52 tt A B _xor_ _and_ A B _xor_ A B U62 tt B U' U63 tt B U' _xor_ _xor_ A A _1 _xor_ false _1 _xor_ _xor_ false A _1 _xor_ A _1 _and_ _and_ A _xor_ B C _1 _and_ U11 tt A B C _1 _or_ _or_ A B _1 _or_ U51 tt A B _1 _and_ _and_ true A _1 _and_ A _1 _and_ _and_ A A _1 _and_ A _1 _and_ _and_ false A _1 _and_ false _1 _implies_ A B U21 tt A B false _or_ x _or_ y z _or_ x y _or_ x _or_ y z _or_ _or_ x y z _or_ x y _or_ y x true _or_ A B U51 tt A B false U51 tt A B U52 tt A B false U52 tt A B _xor_ _and_ A B _xor_ A B false U52 tt A B _and_ A B false U52 tt A B _xor_ A B false U62 tt B U' U63 tt B U' U42 tt U' U if_then_else_fi _isEqualTo_ U U' false true U31 tt U' U U32 tt U' U U42 tt U' U _isEqualTo_ U U' U41 tt U' U U42 tt U' U _isEqualTo_ U U' U31 tt U' U if_then_else_fi B U U' U61 tt B U' U32 tt U' U _isNotEqualTo_ U U' U63 tt B U' _isNotEqualTo_ B true U61 tt B U' U62 tt B U' _isNotEqualTo_ U U' U41 tt U' U true Failed! NaTT 1.7