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,False,True) -> True; (False,True,False) -> True; (False,True,True) -> False; ...
    , \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,False,True) -> False; (False,True,False) -> False; (False,True,True) -> True; ...
    , \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
    ]
  ]
