leancheck-0.7.0: tests/diff/tiers-mixed-Int-Int-Int.out

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

map length (tiers :: [[ Int->Int->Int ]])  =  [4,12,58,287,...]

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

allUnique (list :: [ Int->Int->Int ])  =  False

ratioRepetitions (list :: [ Int->Int->Int ])  =  315 % 361