leancheck-0.7.0: tests/diff/tiers-mixed-Int-Int.out
tiers :: [Int->Int] =
[ [ \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
]
, [ \x -> case x of
0 -> 1
1 -> 1
-1 -> 1
2 -> 1
-2 -> 1
3 -> 1
-3 -> 1
4 -> 1
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 1
2 -> 1
-2 -> 1
3 -> 1
-3 -> 1
4 -> 1
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
]
, [ \x -> case x of
0 -> 1
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 1
-1 -> 1
2 -> 1
-2 -> 1
3 -> 1
-3 -> 1
4 -> 1
...
, \x -> case x of
0 -> -1
1 -> -1
-1 -> -1
2 -> -1
-2 -> -1
3 -> -1
-3 -> -1
4 -> -1
...
, \x -> case x of
0 -> -1
1 -> -1
-1 -> -1
2 -> -1
-2 -> -1
3 -> -1
-3 -> -1
4 -> -1
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
]
, [ \x -> case x of
0 -> -1
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 1
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 1
1 -> 0
-1 -> 1
2 -> 1
-2 -> 1
3 -> 1
-3 -> 1
4 -> 1
...
, \x -> case x of
0 -> 0
1 -> -1
-1 -> -1
2 -> -1
-2 -> -1
3 -> -1
-3 -> -1
4 -> -1
...
, \x -> case x of
0 -> 2
1 -> 2
-1 -> 2
2 -> 2
-2 -> 2
3 -> 2
-3 -> 2
4 -> 2
...
, \x -> case x of
0 -> 2
1 -> 2
-1 -> 2
2 -> 2
-2 -> 2
3 -> 2
-3 -> 2
4 -> 2
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> -1
2 -> 0
-2 -> -1
3 -> 0
-3 -> -1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 1
2 -> 1
-2 -> 1
3 -> 1
-3 -> 1
4 -> 1
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> -1
1 -> -1
-1 -> 0
2 -> -1
-2 -> 0
3 -> -1
-3 -> 0
4 -> -1
...
, \x -> case x of
0 -> 1
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 1
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
]
, [ \x -> case x of
0 -> 2
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> -1
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> -1
1 -> 1
-1 -> 1
2 -> 1
-2 -> 1
3 -> 1
-3 -> 1
4 -> 1
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 1
-2 -> 1
3 -> 1
-3 -> 1
4 -> 1
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 0
2 -> 1
-2 -> 1
3 -> 1
-3 -> 1
4 -> 1
...
, \x -> case x of
0 -> 1
1 -> -1
-1 -> -1
2 -> -1
-2 -> -1
3 -> -1
-3 -> -1
4 -> -1
...
, \x -> case x of
0 -> -1
1 -> 0
-1 -> -1
2 -> -1
-2 -> -1
3 -> -1
-3 -> -1
4 -> -1
...
, \x -> case x of
0 -> 0
1 -> 2
-1 -> 2
2 -> 2
-2 -> 2
3 -> 2
-3 -> 2
4 -> 2
...
, \x -> case x of
0 -> -2
1 -> -2
-1 -> -2
2 -> -2
-2 -> -2
3 -> -2
-3 -> -2
4 -> -2
...
, \x -> case x of
0 -> -2
1 -> -2
-1 -> -2
2 -> -2
-2 -> -2
3 -> -2
-3 -> -2
4 -> -2
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 2
2 -> 0
-2 -> 2
3 -> 0
-3 -> 2
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> -1
3 -> 0
-3 -> -1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 1
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> -1
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> -1
2 -> 1
-2 -> -1
3 -> 1
-3 -> -1
4 -> 1
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 0
2 -> 1
-2 -> 1
3 -> 1
-3 -> 1
4 -> 1
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 1
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> -1
2 -> 0
-2 -> -1
3 -> 0
-3 -> -1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> -1
1 -> -1
-1 -> 1
2 -> -1
-2 -> 1
3 -> -1
-3 -> 1
4 -> -1
...
, \x -> case x of
0 -> -1
1 -> -1
-1 -> 0
2 -> -1
-2 -> 0
3 -> -1
-3 -> 0
4 -> -1
...
, \x -> case x of
0 -> 1
1 -> 0
-1 -> 1
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 1
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 1
-1 -> 1
2 -> 1
-2 -> 1
3 -> 1
-3 -> 1
4 -> 1
...
, \x -> case x of
0 -> 0
1 -> 1
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 2
1 -> 2
-1 -> 0
2 -> 2
-2 -> 0
3 -> 2
-3 -> 0
4 -> 2
...
, \x -> case x of
0 -> -1
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 1
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 0
1 -> 1
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 1
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> -1
-1 -> 0
2 -> -1
-2 -> 0
3 -> -1
-3 -> 0
4 -> -1
...
, \x -> case x of
0 -> 0
1 -> 1
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
]
, [ \x -> case x of
0 -> -2
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 2
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> -1
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 1
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 2
1 -> 1
-1 -> 1
2 -> 1
-2 -> 1
3 -> 1
-3 -> 1
4 -> 1
...
, \x -> case x of
0 -> 1
1 -> -1
-1 -> 1
2 -> 1
-2 -> 1
3 -> 1
-3 -> 1
4 -> 1
...
, \x -> case x of
0 -> 0
1 -> 1
-1 -> 0
2 -> 1
-2 -> 1
3 -> 1
-3 -> 1
4 -> 1
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 1
2 -> 0
-2 -> 1
3 -> 1
-3 -> 1
4 -> 1
...
, \x -> case x of
0 -> -1
1 -> 1
-1 -> -1
2 -> -1
-2 -> -1
3 -> -1
-3 -> -1
4 -> -1
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> -1
2 -> -1
-2 -> -1
3 -> -1
-3 -> -1
4 -> -1
...
, \x -> case x of
0 -> -1
1 -> -1
-1 -> 0
2 -> -1
-2 -> -1
3 -> -1
-3 -> -1
4 -> -1
...
, \x -> case x of
0 -> 1
1 -> 2
-1 -> 2
2 -> 2
-2 -> 2
3 -> 2
-3 -> 2
4 -> 2
...
, \x -> case x of
0 -> 2
1 -> 0
-1 -> 2
2 -> 2
-2 -> 2
3 -> 2
-3 -> 2
4 -> 2
...
, \x -> case x of
0 -> 0
1 -> -2
-1 -> -2
2 -> -2
-2 -> -2
3 -> -2
-3 -> -2
4 -> -2
...
, \x -> case x of
0 -> 3
1 -> 3
-1 -> 3
2 -> 3
-2 -> 3
3 -> 3
-3 -> 3
4 -> 3
...
, \x -> case x of
0 -> 3
1 -> 3
-1 -> 3
2 -> 3
-2 -> 3
3 -> 3
-3 -> 3
4 -> 3
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> -2
2 -> 0
-2 -> -2
3 -> 0
-3 -> -2
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 2
3 -> 0
-3 -> 2
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> -1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 1
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> -1
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 1
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> -1
3 -> 0
-3 -> -1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 0
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 1
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> -1
3 -> 0
-3 -> -1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 1
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> -1
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> -1
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 2
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> -1
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 2
2 -> 1
-2 -> 2
3 -> 1
-3 -> 2
4 -> 1
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 0
2 -> 1
-2 -> -1
3 -> 1
-3 -> -1
4 -> 1
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 1
4 -> 1
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 0
2 -> 1
-2 -> 1
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 1
2 -> 1
-2 -> 1
3 -> 1
-3 -> 1
4 -> 1
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 1
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 0
2 -> 1
-2 -> 1
3 -> 1
-3 -> 1
4 -> 1
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> -1
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 1
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 2
2 -> 0
-2 -> 2
3 -> 0
-3 -> 2
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> -1
3 -> 0
-3 -> -1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 1
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> -1
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> -1
1 -> -1
-1 -> -1
2 -> -1
-2 -> -1
3 -> -1
-3 -> -1
4 -> -1
...
, \x -> case x of
0 -> -1
1 -> -1
-1 -> 0
2 -> -1
-2 -> 1
3 -> -1
-3 -> 1
4 -> -1
...
, \x -> case x of
0 -> -1
1 -> -1
-1 -> 0
2 -> -1
-2 -> 0
3 -> -1
-3 -> 0
4 -> -1
...
, \x -> case x of
0 -> -1
1 -> -1
-1 -> 1
2 -> -1
-2 -> 0
3 -> -1
-3 -> 0
4 -> -1
...
, \x -> case x of
0 -> -1
1 -> -1
-1 -> 0
2 -> -1
-2 -> 0
3 -> -1
-3 -> 0
4 -> -1
...
, \x -> case x of
0 -> 1
1 -> 0
-1 -> -1
2 -> 0
-2 -> -1
3 -> 0
-3 -> -1
4 -> 0
...
, \x -> case x of
0 -> 1
1 -> 0
-1 -> 0
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 1
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 1
1 -> 0
-1 -> 1
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 1
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> -1
2 -> 0
-2 -> -1
3 -> 0
-3 -> -1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 1
-1 -> -1
2 -> 1
-2 -> -1
3 -> 1
-3 -> -1
4 -> 1
...
, \x -> case x of
0 -> 0
1 -> 1
-1 -> 0
2 -> 1
-2 -> 1
3 -> 1
-3 -> 1
4 -> 1
...
, \x -> case x of
0 -> 0
1 -> 1
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 0
1 -> 1
-1 -> 1
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 0
1 -> 1
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> -1
2 -> 0
-2 -> -1
3 -> 0
-3 -> -1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 2
1 -> 2
-1 -> 1
2 -> 2
-2 -> 1
3 -> 2
-3 -> 1
4 -> 2
...
, \x -> case x of
0 -> 2
1 -> 2
-1 -> 0
2 -> 2
-2 -> 0
3 -> 2
-3 -> 0
4 -> 2
...
, \x -> case x of
0 -> -1
1 -> 0
-1 -> 1
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> -1
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 1
1 -> 0
-1 -> 1
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 1
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 1
2 -> 1
-2 -> 1
3 -> 1
-3 -> 1
4 -> 1
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 0
1 -> 1
-1 -> 1
2 -> 1
-2 -> 1
3 -> 1
-3 -> 1
4 -> 1
...
, \x -> case x of
0 -> 0
1 -> 1
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 1
1 -> 0
-1 -> 1
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 1
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> -1
-1 -> 1
2 -> -1
-2 -> 1
3 -> -1
-3 -> 1
4 -> -1
...
, \x -> case x of
0 -> 0
1 -> -1
-1 -> 0
2 -> -1
-2 -> 0
3 -> -1
-3 -> 0
4 -> -1
...
, \x -> case x of
0 -> 0
1 -> 1
-1 -> 1
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 1
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 1
-2 -> 1
3 -> 1
-3 -> 1
4 -> 1
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 1
2 -> 0
-2 -> 1
3 -> 0
-3 -> 1
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> -2
1 -> -2
-1 -> 0
2 -> -2
-2 -> 0
3 -> -2
-3 -> 0
4 -> -2
...
, \x -> case x of
0 -> 2
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 1
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 1
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> -1
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 1
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> -1
1 -> 1
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 0
1 -> 1
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 0
1 -> 1
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 0
1 -> 1
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> -1
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 1
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 1
1 -> -1
-1 -> 0
2 -> -1
-2 -> 0
3 -> -1
-3 -> 0
4 -> -1
...
, \x -> case x of
0 -> 0
1 -> -1
-1 -> 0
2 -> -1
-2 -> 0
3 -> -1
-3 -> 0
4 -> -1
...
, \x -> case x of
0 -> 1
1 -> 1
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 1
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 1
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 1
1 -> 0
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 1
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 2
-1 -> 0
2 -> 2
-2 -> 0
3 -> 2
-3 -> 0
4 -> 2
...
, \x -> case x of
0 -> 0
1 -> -1
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 1
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 1
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 1
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 0
1 -> 1
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> -1
-2 -> 0
3 -> -1
-3 -> 0
4 -> -1
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 1
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 1
-3 -> 0
4 -> 1
...
, \x -> case x of
0 -> 0
1 -> 0
-1 -> 0
2 -> 0
-2 -> 0
3 -> 0
-3 -> 0
4 -> 0
...
]
, ...
]
map length (tiers :: [[ Int->Int ]]) = [2,3,8,20,61,204,...]
length (list :: [ Int->Int ]) = Infinity
allUnique (list :: [ Int->Int ]) = False
ratioRepetitions (list :: [ Int->Int ]) = 211 % 298