leancheck-0.8.0: test/diff/tiers-default-Bool-Bool-Bool-Bool.out

map length (tiers :: [[ Bool->Bool->Bool->Bool ]])  =  [256]

length (list :: [ Bool->Bool->Bool->Bool ])  =  Infinity

allUnique (list :: [ Bool->Bool->Bool->Bool ])  =  True

ratioRepetitions (list :: [ Bool->Bool->Bool->Bool ])  =  0 % 1

tiers :: [Bool->Bool->Bool->Bool]  =
  [ [ \_ _ _ -> False
    , \x y z -> case (x,y,z) of
                (True,True,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (True,True,False) -> True
                _ -> False
    , \x y _ -> case (x,y) of
                (True,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (True,False,True) -> True
                _ -> False
    , \x _ z -> case (x,z) of
                (True,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (True,False,True) -> True
                (True,True,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,_,_) -> False
                (_,False,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (True,False,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (True,False,False) -> True
                (True,True,True) -> True
                _ -> False
    , \x _ z -> case (x,z) of
                (True,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (True,_,False) -> True
                (True,True,_) -> True
                _ -> False
    , \x y _ -> case (x,y) of
                (True,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (True,False,_) -> True
                (True,_,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (True,False,_) -> True
                (True,_,False) -> True
                _ -> False
    , \x _ _ -> case x of
                False -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,True,True) -> True
                _ -> False
    , \_ y z -> case (y,z) of
                (True,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,True,True) -> True
                (True,True,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,_,False) -> False
                (_,False,_) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,True,True) -> True
                (True,False,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,_) -> False
                (_,_,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,True,True) -> True
                (True,False,True) -> True
                (True,True,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,_) -> False
                (False,_,False) -> False
                (_,False,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,True,True) -> True
                (True,False,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (_,True,True) -> True
                (True,False,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,True,True) -> True
                (True,_,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,_) -> False
                (False,_,False) -> False
                (_,False,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,True,True) -> True
                (True,False,_) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,_) -> False
                (False,_,False) -> False
                (_,True,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,_) -> False
                (False,_,False) -> False
                (True,True,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,_) -> False
                (False,_,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,True,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,True,False) -> True
                (True,True,True) -> True
                _ -> False
    , \_ y z -> case (y,z) of
                (True,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (_,True,False) -> True
                (True,True,_) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,True,False) -> True
                (True,False,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,True,False) -> True
                (True,_,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (_,True,False) -> True
                (True,False,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,_) -> False
                (_,False,False) -> False
                (False,_,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,True,False) -> True
                (True,False,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,True,False) -> True
                (True,False,False) -> True
                (True,True,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,_) -> False
                (_,_,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,_) -> False
                (False,_,True) -> False
                (_,False,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,True,False) -> True
                (True,False,_) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,_) -> False
                (False,_,True) -> False
                (True,True,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,_) -> False
                (False,_,True) -> False
                (_,True,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,_) -> False
                (False,_,True) -> False
                _ -> True
    , \x y _ -> case (x,y) of
                (False,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,True,_) -> True
                (_,True,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,True,_) -> True
                (_,True,False) -> True
                _ -> False
    , \_ y _ -> case y of
                False -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,True,_) -> True
                (True,False,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,_) -> False
                (_,False,False) -> False
                (True,_,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,_) -> False
                (_,False,False) -> False
                (True,True,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,_) -> False
                (_,False,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,True,_) -> True
                (True,False,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,_) -> False
                (_,False,True) -> False
                (True,True,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,_) -> False
                (False,_,_) -> True
                (_,_,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,_) -> False
                (_,False,True) -> False
                _ -> True
    , \x y _ -> case (x,y) of
                (False,False) -> False
                (True,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,_) -> False
                (True,True,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,_) -> False
                (True,True,True) -> False
                _ -> True
    , \x y _ -> case (x,y) of
                (False,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,True) -> True
                (True,True,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,True) -> True
                (True,True,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,True) -> True
                (True,True,_) -> True
                _ -> False
    , \_ y z -> case (y,z) of
                (False,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (_,False,True) -> True
                (True,_,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (_,False,True) -> True
                (True,True,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,_,False) -> False
                (_,False,False) -> False
                (False,True,_) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,True) -> True
                (True,False,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,True) -> True
                (True,False,False) -> True
                (True,True,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,True) -> True
                (True,_,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,_,False) -> False
                (False,True,_) -> False
                (True,False,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,_,False) -> False
                (_,False,_) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,_,False) -> False
                (False,True,_) -> False
                (_,True,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,_,False) -> False
                (False,True,_) -> False
                (_,True,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,_,False) -> False
                (False,True,_) -> False
                _ -> True
    , \x _ z -> case (x,z) of
                (False,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,_,True) -> True
                (_,True,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,_,True) -> True
                (True,True,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,_,False) -> False
                (_,False,False) -> False
                (True,False,_) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,_,True) -> True
                (_,False,True) -> True
                _ -> False
    , \_ _ z -> case z of
                False -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,_,False) -> False
                (_,False,False) -> False
                (True,True,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,_,False) -> False
                (_,False,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,_,True) -> True
                (True,False,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,_,False) -> False
                (True,False,True) -> False
                (_,True,False) -> False
                _ -> True
    , \x _ z -> case (x,z) of
                (False,False) -> False
                (True,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,_,False) -> False
                (True,False,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,_,False) -> False
                (False,_,_) -> True
                (_,False,_) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,_,False) -> False
                (_,True,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,_,False) -> False
                (True,True,True) -> False
                _ -> True
    , \x _ z -> case (x,z) of
                (False,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,True) -> True
                (False,True,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,True) -> True
                (False,True,False) -> True
                (True,True,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,True) -> True
                (_,True,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (_,False,False) -> False
                (False,True,True) -> False
                (True,False,_) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (_,False,True) -> True
                (False,True,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (_,False,False) -> False
                (False,True,True) -> False
                (True,_,False) -> False
                _ -> True
    , \_ y z -> case (y,z) of
                (False,False) -> False
                (True,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (_,False,False) -> False
                (False,True,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,True) -> True
                (False,True,False) -> True
                (True,False,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,False) -> False
                (False,True,True) -> False
                (True,False,True) -> False
                (True,True,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,False) -> False
                (False,False,_) -> True
                (_,_,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,False) -> False
                (False,True,True) -> False
                (True,False,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,False) -> False
                (_,False,_) -> True
                (False,_,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,False) -> False
                (False,True,True) -> False
                (True,True,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,False) -> False
                (_,True,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,False) -> False
                (False,True,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (_,False,False) -> False
                (False,_,_) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (_,False,False) -> False
                (True,False,_) -> False
                (True,_,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (_,False,False) -> False
                (True,False,_) -> False
                (True,_,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (_,False,False) -> False
                (True,False,_) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (_,False,False) -> False
                (False,_,_) -> True
                (_,False,_) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (_,False,False) -> False
                (True,_,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (_,False,False) -> False
                (True,True,True) -> False
                _ -> True
    , \_ y z -> case (y,z) of
                (False,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,False) -> False
                (False,_,_) -> True
                (_,False,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,False) -> False
                (True,False,True) -> False
                (True,True,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,False) -> False
                (True,_,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,False) -> False
                (True,False,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,False) -> False
                (True,True,_) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,False) -> False
                (True,True,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,False) -> False
                (True,True,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,False) -> True
                (True,True,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,False) -> True
                (True,True,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,False) -> True
                (True,True,_) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,False) -> True
                (True,False,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,False) -> True
                (True,_,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,False) -> True
                (True,False,True) -> True
                (True,True,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,False) -> True
                (False,_,_) -> False
                (_,False,False) -> False
                _ -> True
    , \_ y z -> case (y,z) of
                (False,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (_,False,False) -> True
                (True,True,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (_,False,False) -> True
                (True,_,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (_,False,False) -> True
                (False,_,_) -> False
                (_,False,_) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (_,False,False) -> True
                (True,False,_) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (_,False,False) -> True
                (True,False,_) -> True
                (True,_,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (_,False,False) -> True
                (True,False,_) -> True
                (True,_,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (_,False,False) -> True
                (False,_,_) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,False) -> True
                (False,True,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,False) -> True
                (_,True,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,False) -> True
                (False,True,True) -> True
                (True,True,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,False) -> True
                (_,False,_) -> False
                (False,_,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,False) -> True
                (False,True,True) -> True
                (True,False,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,False) -> True
                (False,False,_) -> False
                (_,_,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,False) -> True
                (False,True,True) -> True
                (True,False,True) -> True
                (True,True,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,True) -> False
                (False,True,False) -> False
                (True,False,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (_,False,False) -> True
                (False,True,True) -> True
                _ -> False
    , \_ y z -> case (y,z) of
                (False,False) -> True
                (True,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (_,False,False) -> True
                (False,True,True) -> True
                (True,_,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (_,False,True) -> False
                (False,True,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (_,False,False) -> True
                (False,True,True) -> True
                (True,False,_) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,True) -> False
                (_,True,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,True) -> False
                (False,True,False) -> False
                (True,True,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,True) -> False
                (False,True,False) -> False
                _ -> True
    , \x _ z -> case (x,z) of
                (False,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,_,False) -> True
                (True,True,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,_,False) -> True
                (_,True,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,_,False) -> True
                (False,_,_) -> False
                (_,False,_) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,_,False) -> True
                (True,False,True) -> True
                _ -> False
    , \x _ z -> case (x,z) of
                (False,False) -> True
                (True,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,_,False) -> True
                (True,False,True) -> True
                (_,True,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,_,True) -> False
                (True,False,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,_,False) -> True
                (_,False,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,_,False) -> True
                (_,False,False) -> True
                (True,True,True) -> True
                _ -> False
    , \_ _ z -> case z of
                False -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,_,True) -> False
                (_,False,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,_,False) -> True
                (_,False,False) -> True
                (True,False,_) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,_,True) -> False
                (True,True,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,_,True) -> False
                (_,True,True) -> False
                _ -> True
    , \x _ z -> case (x,z) of
                (False,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,_,False) -> True
                (False,True,_) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,_,False) -> True
                (False,True,_) -> True
                (_,True,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,_,False) -> True
                (False,True,_) -> True
                (_,True,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,_,False) -> True
                (_,False,_) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,_,False) -> True
                (False,True,_) -> True
                (True,False,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,True) -> False
                (True,_,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,True) -> False
                (True,False,False) -> False
                (True,True,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,True) -> False
                (True,False,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,_,False) -> True
                (_,False,False) -> True
                (False,True,_) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (_,False,True) -> False
                (True,True,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (_,False,True) -> False
                (True,_,True) -> False
                _ -> True
    , \_ y z -> case (y,z) of
                (False,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,True) -> False
                (True,True,_) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,True) -> False
                (True,True,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,True) -> False
                (True,True,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,True) -> False
                _ -> True
    , \x y _ -> case (x,y) of
                (False,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,_) -> True
                (True,True,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,_) -> True
                (True,True,False) -> True
                _ -> False
    , \x y _ -> case (x,y) of
                (False,False) -> True
                (True,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,_) -> True
                (_,False,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,_) -> True
                (False,_,_) -> False
                (_,_,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,_) -> True
                (_,False,True) -> True
                (True,True,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,True,_) -> False
                (True,False,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,_) -> True
                (_,False,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,_) -> True
                (_,False,False) -> True
                (True,True,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,_) -> True
                (_,False,False) -> True
                (True,_,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,True,_) -> False
                (True,False,True) -> False
                _ -> True
    , \_ y _ -> case y of
                False -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,True,_) -> False
                (_,True,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,True,_) -> False
                (_,True,True) -> False
                _ -> True
    , \x y _ -> case (x,y) of
                (False,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,_) -> True
                (False,_,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,_) -> True
                (False,_,True) -> True
                (_,True,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,_) -> True
                (False,_,True) -> True
                (True,True,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,True,False) -> False
                (True,False,_) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,_) -> True
                (False,_,True) -> True
                (_,False,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,_) -> True
                (_,_,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,True,False) -> False
                (True,False,False) -> False
                (True,True,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,True,False) -> False
                (True,False,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,_) -> True
                (_,False,False) -> True
                (False,_,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (_,True,False) -> False
                (True,False,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,True,False) -> False
                (True,_,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,True,False) -> False
                (True,False,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (_,True,False) -> False
                (True,True,_) -> False
                _ -> True
    , \_ y z -> case (y,z) of
                (True,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,True,False) -> False
                (True,True,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,True,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,_) -> True
                (False,_,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,_) -> True
                (False,_,False) -> True
                (True,True,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,False,_) -> True
                (False,_,False) -> True
                (_,True,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,True,True) -> False
                (True,False,_) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,_) -> True
                (False,_,False) -> True
                (_,False,True) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,True,True) -> False
                (True,_,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (_,True,True) -> False
                (True,False,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,True,True) -> False
                (True,False,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,_) -> True
                (False,_,False) -> True
                (_,False,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,True,True) -> False
                (True,False,True) -> False
                (True,True,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,False,_) -> True
                (_,_,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,True,True) -> False
                (True,False,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,_,False) -> True
                (_,False,_) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (False,True,True) -> False
                (True,True,False) -> False
                _ -> True
    , \_ y z -> case (y,z) of
                (True,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,True,True) -> False
                _ -> True
    , \x _ _ -> case x of
                False -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (True,False,_) -> False
                (True,_,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (True,False,_) -> False
                (True,_,True) -> False
                _ -> True
    , \x y _ -> case (x,y) of
                (True,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (True,_,False) -> False
                (True,True,_) -> False
                _ -> True
    , \x _ z -> case (x,z) of
                (True,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (True,False,False) -> False
                (True,True,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (True,False,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (False,_,_) -> True
                (_,False,False) -> True
                _ -> False
    , \x y z -> case (x,y,z) of
                (True,False,True) -> False
                (True,True,False) -> False
                _ -> True
    , \x _ z -> case (x,z) of
                (True,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (True,False,True) -> False
                _ -> True
    , \x y _ -> case (x,y) of
                (True,True) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (True,True,False) -> False
                _ -> True
    , \x y z -> case (x,y,z) of
                (True,True,True) -> False
                _ -> True
    , \_ _ _ -> True
    ]
  ]