map length (tiers :: [[ Int->Bool->Bool ]])  =  [4,12,12,48,48,84,...]

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

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

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

tiers :: [Int->Bool->Bool]  =
  [ [ \_ _ -> False
    , \_ y -> case y of
              False -> False
              _ -> True
    , \_ y -> case y of
              False -> True
              _ -> False
    , \_ _ -> True
    ]
  , [ \x y -> case (x,y) of
              (0,True) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> True
              _ -> False
    , \x _ -> case x of
              0 -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,_) -> False
              (_,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> True
              (0,_) -> False
              (_,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,_) -> True
              (_,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,_) -> False
              (_,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> False
              (0,_) -> True
              (_,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,_) -> True
              (_,False) -> True
              _ -> False
    , \x _ -> case x of
              0 -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,True) -> False
              _ -> True
    ]
  , [ \x y -> case (x,y) of
              (1,True) -> True
              _ -> False
    , \x y -> case (x,y) of
              (1,False) -> True
              _ -> False
    , \x _ -> case x of
              1 -> True
              _ -> False
    , \x y -> case (x,y) of
              (_,False) -> False
              (0,_) -> True
              (1,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> False
              (0,_) -> True
              (1,False) -> True
              (1,_) -> False
              (_,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> False
              (0,_) -> True
              (_,True) -> True
              (1,_) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> True
              (0,_) -> False
              (_,True) -> False
              (1,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> True
              (0,_) -> False
              (1,False) -> False
              (1,_) -> True
              (_,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (_,False) -> True
              (0,_) -> False
              (1,_) -> True
              _ -> False
    , \x _ -> case x of
              1 -> False
              _ -> True
    , \x y -> case (x,y) of
              (1,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (1,True) -> False
              _ -> True
    ]
  , [ \x y -> case (x,y) of
              (0,True) -> True
              (1,True) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,True) -> True
              (1,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,True) -> True
              (1,_) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> True
              (1,True) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> True
              (1,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> True
              (1,_) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,_) -> True
              (1,True) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,_) -> True
              (1,False) -> True
              _ -> False
    , \x _ -> case x of
              0 -> True
              1 -> True
              _ -> False
    , \x y -> case (x,y) of
              (-1,True) -> True
              _ -> False
    , \x y -> case (x,y) of
              (-1,False) -> True
              _ -> False
    , \x _ -> case x of
              -1 -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,_) -> False
              (_,False) -> False
              (1,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,_) -> False
              (1,False) -> True
              (1,_) -> False
              (_,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,_) -> False
              (1,_) -> True
              (_,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> True
              (0,_) -> False
              (1,_) -> False
              (_,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> True
              (0,_) -> False
              (1,False) -> True
              (1,_) -> False
              (_,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> True
              (0,_) -> False
              (1,_) -> True
              (_,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,_) -> True
              (1,_) -> False
              (_,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,_) -> True
              (1,False) -> True
              (1,_) -> False
              (_,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,_) -> True
              (1,_) -> True
              (_,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (_,False) -> False
              (0,_) -> True
              (1,_) -> True
              (-1,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> False
              (0,_) -> True
              (1,False) -> False
              (1,_) -> True
              (-1,False) -> True
              (-1,_) -> False
              (_,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> False
              (0,_) -> True
              (_,True) -> True
              (1,_) -> False
              (-1,_) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,_) -> False
              (1,_) -> False
              (_,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,_) -> False
              (1,False) -> False
              (1,_) -> True
              (_,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,_) -> False
              (1,_) -> True
              (_,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> False
              (0,_) -> True
              (1,_) -> False
              (_,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> False
              (0,_) -> True
              (1,False) -> False
              (1,_) -> True
              (_,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> False
              (0,_) -> True
              (1,_) -> True
              (_,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,_) -> True
              (1,_) -> False
              (_,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,_) -> True
              (1,False) -> False
              (1,_) -> True
              (_,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,_) -> True
              (_,False) -> True
              (1,_) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> True
              (0,_) -> False
              (_,True) -> False
              (1,_) -> True
              (-1,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> True
              (0,_) -> False
              (1,False) -> True
              (1,_) -> False
              (-1,False) -> False
              (-1,_) -> True
              (_,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (_,False) -> True
              (0,_) -> False
              (1,_) -> False
              (-1,_) -> True
              _ -> False
    , \x _ -> case x of
              0 -> False
              1 -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,_) -> False
              (1,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,_) -> False
              (1,True) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> False
              (1,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> False
              (1,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> False
              (1,True) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,True) -> False
              (1,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,True) -> False
              (1,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,True) -> False
              (1,True) -> False
              _ -> True
    , \x _ -> case x of
              -1 -> False
              _ -> True
    , \x y -> case (x,y) of
              (-1,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (-1,True) -> False
              _ -> True
    ]
  , [ \x y -> case (x,y) of
              (0,True) -> True
              (-1,True) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,True) -> True
              (-1,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,True) -> True
              (-1,_) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> True
              (-1,True) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> True
              (-1,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> True
              (-1,_) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,_) -> True
              (-1,True) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,_) -> True
              (-1,False) -> True
              _ -> False
    , \x _ -> case x of
              0 -> True
              -1 -> True
              _ -> False
    , \x y -> case (x,y) of
              (2,True) -> True
              _ -> False
    , \x y -> case (x,y) of
              (2,False) -> True
              _ -> False
    , \x _ -> case x of
              2 -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,_) -> False
              (_,False) -> False
              (1,_) -> True
              (-1,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,_) -> False
              (1,False) -> False
              (1,_) -> True
              (-1,False) -> True
              (-1,_) -> False
              (_,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,_) -> False
              (1,False) -> False
              (1,_) -> True
              (_,True) -> True
              (-1,_) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> True
              (0,_) -> False
              (_,False) -> False
              (1,_) -> True
              (-1,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> True
              (0,_) -> False
              (1,False) -> False
              (1,_) -> True
              (-1,False) -> True
              (-1,_) -> False
              (_,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> True
              (0,_) -> False
              (1,False) -> False
              (1,_) -> True
              (_,True) -> True
              (-1,_) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,_) -> True
              (_,False) -> False
              (1,_) -> True
              (-1,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,_) -> True
              (1,False) -> False
              (1,_) -> True
              (-1,False) -> True
              (-1,_) -> False
              (_,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,_) -> True
              (1,False) -> False
              (1,_) -> True
              (_,True) -> True
              (-1,_) -> True
              _ -> False
    , \x y -> case (x,y) of
              (_,False) -> False
              (0,_) -> True
              (1,_) -> True
              (-1,_) -> True
              (2,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> False
              (0,True) -> True
              (1,False) -> False
              (1,True) -> True
              (-1,False) -> False
              (-1,True) -> True
              (2,False) -> True
              (2,True) -> False
              ...
    , \x y -> case (x,y) of
              (0,False) -> False
              (0,_) -> True
              (_,True) -> True
              (1,_) -> False
              (-1,_) -> False
              (2,_) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,_) -> False
              (1,False) -> True
              (1,_) -> False
              (_,True) -> False
              (-1,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,_) -> False
              (1,False) -> True
              (1,_) -> False
              (-1,False) -> False
              (-1,_) -> True
              (_,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,_) -> False
              (_,False) -> True
              (1,_) -> False
              (-1,_) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> False
              (0,_) -> True
              (1,False) -> True
              (1,_) -> False
              (_,True) -> False
              (-1,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> False
              (0,_) -> True
              (1,False) -> True
              (1,_) -> False
              (-1,False) -> False
              (-1,_) -> True
              (_,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> False
              (0,_) -> True
              (_,False) -> True
              (1,_) -> False
              (-1,_) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,_) -> True
              (1,False) -> True
              (1,_) -> False
              (_,True) -> False
              (-1,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,_) -> True
              (1,False) -> True
              (1,_) -> False
              (-1,False) -> False
              (-1,_) -> True
              (_,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,_) -> True
              (_,False) -> True
              (1,_) -> False
              (-1,_) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> True
              (0,_) -> False
              (_,True) -> False
              (1,_) -> True
              (-1,_) -> True
              (2,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> True
              (0,True) -> False
              (1,False) -> True
              (1,True) -> False
              (-1,False) -> True
              (-1,True) -> False
              (2,False) -> False
              (2,True) -> True
              ...
    , \x y -> case (x,y) of
              (_,False) -> True
              (0,_) -> False
              (1,_) -> False
              (-1,_) -> False
              (2,_) -> True
              _ -> False
    , \x _ -> case x of
              0 -> False
              -1 -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,_) -> False
              (-1,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,_) -> False
              (-1,True) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> False
              (-1,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> False
              (-1,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> False
              (-1,True) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,True) -> False
              (-1,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,True) -> False
              (-1,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,True) -> False
              (-1,True) -> False
              _ -> True
    , \x _ -> case x of
              2 -> False
              _ -> True
    , \x y -> case (x,y) of
              (2,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (2,True) -> False
              _ -> True
    ]
  , [ \x y -> case (x,y) of
              (0,True) -> True
              (2,True) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,True) -> True
              (2,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,True) -> True
              (2,_) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> True
              (2,True) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> True
              (2,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> True
              (2,_) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,_) -> True
              (2,True) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,_) -> True
              (2,False) -> True
              _ -> False
    , \x _ -> case x of
              0 -> True
              2 -> True
              _ -> False
    , \x y -> case (x,y) of
              (1,True) -> True
              (-1,True) -> True
              _ -> False
    , \x y -> case (x,y) of
              (1,True) -> True
              (-1,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (1,True) -> True
              (-1,_) -> True
              _ -> False
    , \x y -> case (x,y) of
              (1,False) -> True
              (-1,True) -> True
              _ -> False
    , \x y -> case (x,y) of
              (1,False) -> True
              (-1,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (1,False) -> True
              (-1,_) -> True
              _ -> False
    , \x y -> case (x,y) of
              (1,_) -> True
              (-1,True) -> True
              _ -> False
    , \x y -> case (x,y) of
              (1,_) -> True
              (-1,False) -> True
              _ -> False
    , \x _ -> case x of
              1 -> True
              -1 -> True
              _ -> False
    , \x y -> case (x,y) of
              (-2,True) -> True
              _ -> False
    , \x y -> case (x,y) of
              (-2,False) -> True
              _ -> False
    , \x _ -> case x of
              -2 -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,_) -> False
              (_,False) -> False
              (1,_) -> True
              (-1,_) -> True
              (2,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> False
              (0,True) -> False
              (1,False) -> False
              (1,True) -> True
              (-1,False) -> False
              (-1,True) -> True
              (2,False) -> True
              (2,True) -> False
              ...
    , \x y -> case (x,y) of
              (0,_) -> False
              (1,False) -> False
              (1,_) -> True
              (_,True) -> True
              (-1,_) -> False
              (2,_) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> True
              (0,_) -> False
              (_,False) -> False
              (1,_) -> True
              (-1,_) -> True
              (2,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> True
              (0,True) -> False
              (1,False) -> False
              (1,True) -> True
              (-1,False) -> False
              (-1,True) -> True
              (2,False) -> True
              (2,True) -> False
              ...
    , \x y -> case (x,y) of
              (0,False) -> True
              (0,_) -> False
              (1,False) -> False
              (1,_) -> True
              (_,True) -> True
              (-1,_) -> False
              (2,_) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,_) -> True
              (_,False) -> False
              (1,_) -> True
              (-1,_) -> True
              (2,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> True
              (0,True) -> True
              (1,False) -> False
              (1,True) -> True
              (-1,False) -> False
              (-1,True) -> True
              (2,False) -> True
              (2,True) -> False
              ...
    , \x y -> case (x,y) of
              (0,_) -> True
              (1,False) -> False
              (1,_) -> True
              (_,True) -> True
              (-1,_) -> False
              (2,_) -> True
              _ -> False
    , \x y -> case (x,y) of
              (_,False) -> False
              (0,_) -> True
              (1,_) -> False
              (-1,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> False
              (0,_) -> True
              (1,_) -> False
              (-1,False) -> True
              (-1,_) -> False
              (_,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> False
              (0,_) -> True
              (1,_) -> False
              (-1,_) -> True
              (_,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> False
              (0,_) -> True
              (1,False) -> True
              (1,_) -> False
              (-1,_) -> False
              (_,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> False
              (0,_) -> True
              (1,False) -> True
              (1,_) -> False
              (-1,False) -> True
              (-1,_) -> False
              (_,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> False
              (0,_) -> True
              (1,False) -> True
              (1,_) -> False
              (-1,_) -> True
              (_,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> False
              (0,_) -> True
              (1,_) -> True
              (-1,_) -> False
              (_,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> False
              (0,_) -> True
              (1,_) -> True
              (-1,False) -> True
              (-1,_) -> False
              (_,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> False
              (0,_) -> True
              (_,True) -> True
              (1,_) -> True
              (-1,_) -> True
              _ -> False
    , \x y -> case (x,y) of
              (_,False) -> False
              (0,_) -> True
              (1,_) -> True
              (-1,_) -> True
              (2,_) -> True
              (-2,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> False
              (0,True) -> True
              (1,False) -> False
              (1,True) -> True
              (-1,False) -> False
              (-1,True) -> True
              (2,False) -> False
              (2,True) -> True
              ...
    , \x y -> case (x,y) of
              (0,False) -> False
              (0,_) -> True
              (_,True) -> True
              (1,_) -> False
              (-1,_) -> False
              (2,_) -> False
              (-2,_) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,_) -> False
              (1,False) -> True
              (1,_) -> False
              (_,True) -> False
              (-1,_) -> True
              (2,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> False
              (0,True) -> False
              (1,False) -> True
              (1,True) -> False
              (-1,False) -> True
              (-1,True) -> False
              (2,False) -> False
              (2,True) -> True
              ...
    , \x y -> case (x,y) of
              (0,_) -> False
              (_,False) -> True
              (1,_) -> False
              (-1,_) -> False
              (2,_) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> False
              (0,_) -> True
              (1,False) -> True
              (1,_) -> False
              (_,True) -> False
              (-1,_) -> True
              (2,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> False
              (0,True) -> True
              (1,False) -> True
              (1,True) -> False
              (-1,False) -> True
              (-1,True) -> False
              (2,False) -> False
              (2,True) -> True
              ...
    , \x y -> case (x,y) of
              (0,False) -> False
              (0,_) -> True
              (_,False) -> True
              (1,_) -> False
              (-1,_) -> False
              (2,_) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,_) -> True
              (1,False) -> True
              (1,_) -> False
              (_,True) -> False
              (-1,_) -> True
              (2,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> True
              (0,True) -> True
              (1,False) -> True
              (1,True) -> False
              (-1,False) -> True
              (-1,True) -> False
              (2,False) -> False
              (2,True) -> True
              ...
    , \x y -> case (x,y) of
              (0,_) -> True
              (_,False) -> True
              (1,_) -> False
              (-1,_) -> False
              (2,_) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> True
              (0,_) -> False
              (_,True) -> False
              (1,_) -> False
              (-1,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> True
              (0,_) -> False
              (1,_) -> False
              (-1,False) -> False
              (-1,_) -> True
              (_,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> True
              (0,_) -> False
              (1,_) -> False
              (-1,_) -> True
              (_,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> True
              (0,_) -> False
              (1,False) -> False
              (1,_) -> True
              (-1,_) -> False
              (_,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> True
              (0,_) -> False
              (1,False) -> False
              (1,_) -> True
              (-1,False) -> False
              (-1,_) -> True
              (_,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> True
              (0,_) -> False
              (1,False) -> False
              (1,_) -> True
              (-1,_) -> True
              (_,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> True
              (0,_) -> False
              (1,_) -> True
              (-1,_) -> False
              (_,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> True
              (0,_) -> False
              (1,_) -> True
              (-1,False) -> False
              (-1,_) -> True
              (_,False) -> True
              _ -> False
    , \x y -> case (x,y) of
              (_,False) -> True
              (0,_) -> False
              (1,_) -> True
              (-1,_) -> True
              _ -> False
    , \x y -> case (x,y) of
              (0,False) -> True
              (0,_) -> False
              (_,True) -> False
              (1,_) -> True
              (-1,_) -> True
              (2,_) -> True
              (-2,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> True
              (0,True) -> False
              (1,False) -> True
              (1,True) -> False
              (-1,False) -> True
              (-1,True) -> False
              (2,False) -> True
              (2,True) -> False
              ...
    , \x y -> case (x,y) of
              (_,False) -> True
              (0,_) -> False
              (1,_) -> False
              (-1,_) -> False
              (2,_) -> False
              (-2,_) -> True
              _ -> False
    , \x _ -> case x of
              0 -> False
              2 -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,_) -> False
              (2,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,_) -> False
              (2,True) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> False
              (2,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> False
              (2,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,False) -> False
              (2,True) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,True) -> False
              (2,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,True) -> False
              (2,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (0,True) -> False
              (2,True) -> False
              _ -> True
    , \x _ -> case x of
              1 -> False
              -1 -> False
              _ -> True
    , \x y -> case (x,y) of
              (1,_) -> False
              (-1,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (1,_) -> False
              (-1,True) -> False
              _ -> True
    , \x y -> case (x,y) of
              (1,False) -> False
              (-1,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (1,False) -> False
              (-1,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (1,False) -> False
              (-1,True) -> False
              _ -> True
    , \x y -> case (x,y) of
              (1,True) -> False
              (-1,_) -> False
              _ -> True
    , \x y -> case (x,y) of
              (1,True) -> False
              (-1,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (1,True) -> False
              (-1,True) -> False
              _ -> True
    , \x _ -> case x of
              -2 -> False
              _ -> True
    , \x y -> case (x,y) of
              (-2,False) -> False
              _ -> True
    , \x y -> case (x,y) of
              (-2,True) -> False
              _ -> True
    ]
  , ...
  ]
