leancheck-0.8.0: test/diff/tiers-default-Int-Bool-Bool.out
map length (tiers :: [[ Int->Bool->Bool ]]) = [4,12,12,48,48,84,...]
length (list :: [ Int->Bool->Bool ]) = Infinity
allUnique (list :: [ Int->Bool->Bool ]) = True
ratioRepetitions (list :: [ Int->Bool->Bool ]) = 0 % 1
tiers :: [Int->Bool->Bool] =
[ [ \_ _ -> False
, \_ y -> case y of
False -> False
_ -> True
, \_ y -> case y of
False -> True
_ -> False
, \_ _ -> True
]
, [ \x y -> case (x,y) of
(0,True) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> True
_ -> False
, \x _ -> case x of
0 -> True
_ -> False
, \x y -> case (x,y) of
(0,_) -> False
(_,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> True
(0,_) -> False
(_,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,_) -> True
(_,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,_) -> False
(_,False) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> False
(0,_) -> True
(_,False) -> True
_ -> False
, \x y -> case (x,y) of
(0,_) -> True
(_,False) -> True
_ -> False
, \x _ -> case x of
0 -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,True) -> False
_ -> True
]
, [ \x y -> case (x,y) of
(1,True) -> True
_ -> False
, \x y -> case (x,y) of
(1,False) -> True
_ -> False
, \x _ -> case x of
1 -> True
_ -> False
, \x y -> case (x,y) of
(_,False) -> False
(0,_) -> True
(1,_) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> False
(0,_) -> True
(1,False) -> True
(1,_) -> False
(_,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> False
(0,_) -> True
(_,True) -> True
(1,_) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> True
(0,_) -> False
(_,True) -> False
(1,_) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> True
(0,_) -> False
(1,False) -> False
(1,_) -> True
(_,False) -> True
_ -> False
, \x y -> case (x,y) of
(_,False) -> True
(0,_) -> False
(1,_) -> True
_ -> False
, \x _ -> case x of
1 -> False
_ -> True
, \x y -> case (x,y) of
(1,False) -> False
_ -> True
, \x y -> case (x,y) of
(1,True) -> False
_ -> True
]
, [ \x y -> case (x,y) of
(0,True) -> True
(1,True) -> True
_ -> False
, \x y -> case (x,y) of
(0,True) -> True
(1,False) -> True
_ -> False
, \x y -> case (x,y) of
(0,True) -> True
(1,_) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> True
(1,True) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> True
(1,False) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> True
(1,_) -> True
_ -> False
, \x y -> case (x,y) of
(0,_) -> True
(1,True) -> True
_ -> False
, \x y -> case (x,y) of
(0,_) -> True
(1,False) -> True
_ -> False
, \x _ -> case x of
0 -> True
1 -> True
_ -> False
, \x y -> case (x,y) of
(-1,True) -> True
_ -> False
, \x y -> case (x,y) of
(-1,False) -> True
_ -> False
, \x _ -> case x of
-1 -> True
_ -> False
, \x y -> case (x,y) of
(0,_) -> False
(_,False) -> False
(1,_) -> False
_ -> True
, \x y -> case (x,y) of
(0,_) -> False
(1,False) -> True
(1,_) -> False
(_,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,_) -> False
(1,_) -> True
(_,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> True
(0,_) -> False
(1,_) -> False
(_,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> True
(0,_) -> False
(1,False) -> True
(1,_) -> False
(_,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> True
(0,_) -> False
(1,_) -> True
(_,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,_) -> True
(1,_) -> False
(_,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,_) -> True
(1,False) -> True
(1,_) -> False
(_,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,_) -> True
(1,_) -> True
(_,False) -> False
_ -> True
, \x y -> case (x,y) of
(_,False) -> False
(0,_) -> True
(1,_) -> True
(-1,_) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> False
(0,_) -> True
(1,False) -> False
(1,_) -> True
(-1,False) -> True
(-1,_) -> False
(_,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> False
(0,_) -> True
(_,True) -> True
(1,_) -> False
(-1,_) -> True
_ -> False
, \x y -> case (x,y) of
(0,_) -> False
(1,_) -> False
(_,False) -> True
_ -> False
, \x y -> case (x,y) of
(0,_) -> False
(1,False) -> False
(1,_) -> True
(_,False) -> True
_ -> False
, \x y -> case (x,y) of
(0,_) -> False
(1,_) -> True
(_,False) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> False
(0,_) -> True
(1,_) -> False
(_,False) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> False
(0,_) -> True
(1,False) -> False
(1,_) -> True
(_,False) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> False
(0,_) -> True
(1,_) -> True
(_,False) -> True
_ -> False
, \x y -> case (x,y) of
(0,_) -> True
(1,_) -> False
(_,False) -> True
_ -> False
, \x y -> case (x,y) of
(0,_) -> True
(1,False) -> False
(1,_) -> True
(_,False) -> True
_ -> False
, \x y -> case (x,y) of
(0,_) -> True
(_,False) -> True
(1,_) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> True
(0,_) -> False
(_,True) -> False
(1,_) -> True
(-1,_) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> True
(0,_) -> False
(1,False) -> True
(1,_) -> False
(-1,False) -> False
(-1,_) -> True
(_,False) -> True
_ -> False
, \x y -> case (x,y) of
(_,False) -> True
(0,_) -> False
(1,_) -> False
(-1,_) -> True
_ -> False
, \x _ -> case x of
0 -> False
1 -> False
_ -> True
, \x y -> case (x,y) of
(0,_) -> False
(1,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,_) -> False
(1,True) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> False
(1,_) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> False
(1,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> False
(1,True) -> False
_ -> True
, \x y -> case (x,y) of
(0,True) -> False
(1,_) -> False
_ -> True
, \x y -> case (x,y) of
(0,True) -> False
(1,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,True) -> False
(1,True) -> False
_ -> True
, \x _ -> case x of
-1 -> False
_ -> True
, \x y -> case (x,y) of
(-1,False) -> False
_ -> True
, \x y -> case (x,y) of
(-1,True) -> False
_ -> True
]
, [ \x y -> case (x,y) of
(0,True) -> True
(-1,True) -> True
_ -> False
, \x y -> case (x,y) of
(0,True) -> True
(-1,False) -> True
_ -> False
, \x y -> case (x,y) of
(0,True) -> True
(-1,_) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> True
(-1,True) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> True
(-1,False) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> True
(-1,_) -> True
_ -> False
, \x y -> case (x,y) of
(0,_) -> True
(-1,True) -> True
_ -> False
, \x y -> case (x,y) of
(0,_) -> True
(-1,False) -> True
_ -> False
, \x _ -> case x of
0 -> True
-1 -> True
_ -> False
, \x y -> case (x,y) of
(2,True) -> True
_ -> False
, \x y -> case (x,y) of
(2,False) -> True
_ -> False
, \x _ -> case x of
2 -> True
_ -> False
, \x y -> case (x,y) of
(0,_) -> False
(_,False) -> False
(1,_) -> True
(-1,_) -> False
_ -> True
, \x y -> case (x,y) of
(0,_) -> False
(1,False) -> False
(1,_) -> True
(-1,False) -> True
(-1,_) -> False
(_,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,_) -> False
(1,False) -> False
(1,_) -> True
(_,True) -> True
(-1,_) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> True
(0,_) -> False
(_,False) -> False
(1,_) -> True
(-1,_) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> True
(0,_) -> False
(1,False) -> False
(1,_) -> True
(-1,False) -> True
(-1,_) -> False
(_,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> True
(0,_) -> False
(1,False) -> False
(1,_) -> True
(_,True) -> True
(-1,_) -> True
_ -> False
, \x y -> case (x,y) of
(0,_) -> True
(_,False) -> False
(1,_) -> True
(-1,_) -> False
_ -> True
, \x y -> case (x,y) of
(0,_) -> True
(1,False) -> False
(1,_) -> True
(-1,False) -> True
(-1,_) -> False
(_,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,_) -> True
(1,False) -> False
(1,_) -> True
(_,True) -> True
(-1,_) -> True
_ -> False
, \x y -> case (x,y) of
(_,False) -> False
(0,_) -> True
(1,_) -> True
(-1,_) -> True
(2,_) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> False
(0,True) -> True
(1,False) -> False
(1,True) -> True
(-1,False) -> False
(-1,True) -> True
(2,False) -> True
(2,True) -> False
...
, \x y -> case (x,y) of
(0,False) -> False
(0,_) -> True
(_,True) -> True
(1,_) -> False
(-1,_) -> False
(2,_) -> True
_ -> False
, \x y -> case (x,y) of
(0,_) -> False
(1,False) -> True
(1,_) -> False
(_,True) -> False
(-1,_) -> False
_ -> True
, \x y -> case (x,y) of
(0,_) -> False
(1,False) -> True
(1,_) -> False
(-1,False) -> False
(-1,_) -> True
(_,False) -> True
_ -> False
, \x y -> case (x,y) of
(0,_) -> False
(_,False) -> True
(1,_) -> False
(-1,_) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> False
(0,_) -> True
(1,False) -> True
(1,_) -> False
(_,True) -> False
(-1,_) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> False
(0,_) -> True
(1,False) -> True
(1,_) -> False
(-1,False) -> False
(-1,_) -> True
(_,False) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> False
(0,_) -> True
(_,False) -> True
(1,_) -> False
(-1,_) -> True
_ -> False
, \x y -> case (x,y) of
(0,_) -> True
(1,False) -> True
(1,_) -> False
(_,True) -> False
(-1,_) -> False
_ -> True
, \x y -> case (x,y) of
(0,_) -> True
(1,False) -> True
(1,_) -> False
(-1,False) -> False
(-1,_) -> True
(_,False) -> True
_ -> False
, \x y -> case (x,y) of
(0,_) -> True
(_,False) -> True
(1,_) -> False
(-1,_) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> True
(0,_) -> False
(_,True) -> False
(1,_) -> True
(-1,_) -> True
(2,_) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> True
(0,True) -> False
(1,False) -> True
(1,True) -> False
(-1,False) -> True
(-1,True) -> False
(2,False) -> False
(2,True) -> True
...
, \x y -> case (x,y) of
(_,False) -> True
(0,_) -> False
(1,_) -> False
(-1,_) -> False
(2,_) -> True
_ -> False
, \x _ -> case x of
0 -> False
-1 -> False
_ -> True
, \x y -> case (x,y) of
(0,_) -> False
(-1,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,_) -> False
(-1,True) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> False
(-1,_) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> False
(-1,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> False
(-1,True) -> False
_ -> True
, \x y -> case (x,y) of
(0,True) -> False
(-1,_) -> False
_ -> True
, \x y -> case (x,y) of
(0,True) -> False
(-1,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,True) -> False
(-1,True) -> False
_ -> True
, \x _ -> case x of
2 -> False
_ -> True
, \x y -> case (x,y) of
(2,False) -> False
_ -> True
, \x y -> case (x,y) of
(2,True) -> False
_ -> True
]
, [ \x y -> case (x,y) of
(0,True) -> True
(2,True) -> True
_ -> False
, \x y -> case (x,y) of
(0,True) -> True
(2,False) -> True
_ -> False
, \x y -> case (x,y) of
(0,True) -> True
(2,_) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> True
(2,True) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> True
(2,False) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> True
(2,_) -> True
_ -> False
, \x y -> case (x,y) of
(0,_) -> True
(2,True) -> True
_ -> False
, \x y -> case (x,y) of
(0,_) -> True
(2,False) -> True
_ -> False
, \x _ -> case x of
0 -> True
2 -> True
_ -> False
, \x y -> case (x,y) of
(1,True) -> True
(-1,True) -> True
_ -> False
, \x y -> case (x,y) of
(1,True) -> True
(-1,False) -> True
_ -> False
, \x y -> case (x,y) of
(1,True) -> True
(-1,_) -> True
_ -> False
, \x y -> case (x,y) of
(1,False) -> True
(-1,True) -> True
_ -> False
, \x y -> case (x,y) of
(1,False) -> True
(-1,False) -> True
_ -> False
, \x y -> case (x,y) of
(1,False) -> True
(-1,_) -> True
_ -> False
, \x y -> case (x,y) of
(1,_) -> True
(-1,True) -> True
_ -> False
, \x y -> case (x,y) of
(1,_) -> True
(-1,False) -> True
_ -> False
, \x _ -> case x of
1 -> True
-1 -> True
_ -> False
, \x y -> case (x,y) of
(-2,True) -> True
_ -> False
, \x y -> case (x,y) of
(-2,False) -> True
_ -> False
, \x _ -> case x of
-2 -> True
_ -> False
, \x y -> case (x,y) of
(0,_) -> False
(_,False) -> False
(1,_) -> True
(-1,_) -> True
(2,_) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> False
(0,True) -> False
(1,False) -> False
(1,True) -> True
(-1,False) -> False
(-1,True) -> True
(2,False) -> True
(2,True) -> False
...
, \x y -> case (x,y) of
(0,_) -> False
(1,False) -> False
(1,_) -> True
(_,True) -> True
(-1,_) -> False
(2,_) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> True
(0,_) -> False
(_,False) -> False
(1,_) -> True
(-1,_) -> True
(2,_) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> True
(0,True) -> False
(1,False) -> False
(1,True) -> True
(-1,False) -> False
(-1,True) -> True
(2,False) -> True
(2,True) -> False
...
, \x y -> case (x,y) of
(0,False) -> True
(0,_) -> False
(1,False) -> False
(1,_) -> True
(_,True) -> True
(-1,_) -> False
(2,_) -> True
_ -> False
, \x y -> case (x,y) of
(0,_) -> True
(_,False) -> False
(1,_) -> True
(-1,_) -> True
(2,_) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> True
(0,True) -> True
(1,False) -> False
(1,True) -> True
(-1,False) -> False
(-1,True) -> True
(2,False) -> True
(2,True) -> False
...
, \x y -> case (x,y) of
(0,_) -> True
(1,False) -> False
(1,_) -> True
(_,True) -> True
(-1,_) -> False
(2,_) -> True
_ -> False
, \x y -> case (x,y) of
(_,False) -> False
(0,_) -> True
(1,_) -> False
(-1,_) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> False
(0,_) -> True
(1,_) -> False
(-1,False) -> True
(-1,_) -> False
(_,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> False
(0,_) -> True
(1,_) -> False
(-1,_) -> True
(_,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> False
(0,_) -> True
(1,False) -> True
(1,_) -> False
(-1,_) -> False
(_,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> False
(0,_) -> True
(1,False) -> True
(1,_) -> False
(-1,False) -> True
(-1,_) -> False
(_,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> False
(0,_) -> True
(1,False) -> True
(1,_) -> False
(-1,_) -> True
(_,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> False
(0,_) -> True
(1,_) -> True
(-1,_) -> False
(_,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> False
(0,_) -> True
(1,_) -> True
(-1,False) -> True
(-1,_) -> False
(_,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> False
(0,_) -> True
(_,True) -> True
(1,_) -> True
(-1,_) -> True
_ -> False
, \x y -> case (x,y) of
(_,False) -> False
(0,_) -> True
(1,_) -> True
(-1,_) -> True
(2,_) -> True
(-2,_) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> False
(0,True) -> True
(1,False) -> False
(1,True) -> True
(-1,False) -> False
(-1,True) -> True
(2,False) -> False
(2,True) -> True
...
, \x y -> case (x,y) of
(0,False) -> False
(0,_) -> True
(_,True) -> True
(1,_) -> False
(-1,_) -> False
(2,_) -> False
(-2,_) -> True
_ -> False
, \x y -> case (x,y) of
(0,_) -> False
(1,False) -> True
(1,_) -> False
(_,True) -> False
(-1,_) -> True
(2,_) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> False
(0,True) -> False
(1,False) -> True
(1,True) -> False
(-1,False) -> True
(-1,True) -> False
(2,False) -> False
(2,True) -> True
...
, \x y -> case (x,y) of
(0,_) -> False
(_,False) -> True
(1,_) -> False
(-1,_) -> False
(2,_) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> False
(0,_) -> True
(1,False) -> True
(1,_) -> False
(_,True) -> False
(-1,_) -> True
(2,_) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> False
(0,True) -> True
(1,False) -> True
(1,True) -> False
(-1,False) -> True
(-1,True) -> False
(2,False) -> False
(2,True) -> True
...
, \x y -> case (x,y) of
(0,False) -> False
(0,_) -> True
(_,False) -> True
(1,_) -> False
(-1,_) -> False
(2,_) -> True
_ -> False
, \x y -> case (x,y) of
(0,_) -> True
(1,False) -> True
(1,_) -> False
(_,True) -> False
(-1,_) -> True
(2,_) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> True
(0,True) -> True
(1,False) -> True
(1,True) -> False
(-1,False) -> True
(-1,True) -> False
(2,False) -> False
(2,True) -> True
...
, \x y -> case (x,y) of
(0,_) -> True
(_,False) -> True
(1,_) -> False
(-1,_) -> False
(2,_) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> True
(0,_) -> False
(_,True) -> False
(1,_) -> False
(-1,_) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> True
(0,_) -> False
(1,_) -> False
(-1,False) -> False
(-1,_) -> True
(_,False) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> True
(0,_) -> False
(1,_) -> False
(-1,_) -> True
(_,False) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> True
(0,_) -> False
(1,False) -> False
(1,_) -> True
(-1,_) -> False
(_,False) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> True
(0,_) -> False
(1,False) -> False
(1,_) -> True
(-1,False) -> False
(-1,_) -> True
(_,False) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> True
(0,_) -> False
(1,False) -> False
(1,_) -> True
(-1,_) -> True
(_,False) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> True
(0,_) -> False
(1,_) -> True
(-1,_) -> False
(_,False) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> True
(0,_) -> False
(1,_) -> True
(-1,False) -> False
(-1,_) -> True
(_,False) -> True
_ -> False
, \x y -> case (x,y) of
(_,False) -> True
(0,_) -> False
(1,_) -> True
(-1,_) -> True
_ -> False
, \x y -> case (x,y) of
(0,False) -> True
(0,_) -> False
(_,True) -> False
(1,_) -> True
(-1,_) -> True
(2,_) -> True
(-2,_) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> True
(0,True) -> False
(1,False) -> True
(1,True) -> False
(-1,False) -> True
(-1,True) -> False
(2,False) -> True
(2,True) -> False
...
, \x y -> case (x,y) of
(_,False) -> True
(0,_) -> False
(1,_) -> False
(-1,_) -> False
(2,_) -> False
(-2,_) -> True
_ -> False
, \x _ -> case x of
0 -> False
2 -> False
_ -> True
, \x y -> case (x,y) of
(0,_) -> False
(2,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,_) -> False
(2,True) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> False
(2,_) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> False
(2,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,False) -> False
(2,True) -> False
_ -> True
, \x y -> case (x,y) of
(0,True) -> False
(2,_) -> False
_ -> True
, \x y -> case (x,y) of
(0,True) -> False
(2,False) -> False
_ -> True
, \x y -> case (x,y) of
(0,True) -> False
(2,True) -> False
_ -> True
, \x _ -> case x of
1 -> False
-1 -> False
_ -> True
, \x y -> case (x,y) of
(1,_) -> False
(-1,False) -> False
_ -> True
, \x y -> case (x,y) of
(1,_) -> False
(-1,True) -> False
_ -> True
, \x y -> case (x,y) of
(1,False) -> False
(-1,_) -> False
_ -> True
, \x y -> case (x,y) of
(1,False) -> False
(-1,False) -> False
_ -> True
, \x y -> case (x,y) of
(1,False) -> False
(-1,True) -> False
_ -> True
, \x y -> case (x,y) of
(1,True) -> False
(-1,_) -> False
_ -> True
, \x y -> case (x,y) of
(1,True) -> False
(-1,False) -> False
_ -> True
, \x y -> case (x,y) of
(1,True) -> False
(-1,True) -> False
_ -> True
, \x _ -> case x of
-2 -> False
_ -> True
, \x y -> case (x,y) of
(-2,False) -> False
_ -> True
, \x y -> case (x,y) of
(-2,True) -> False
_ -> True
]
, ...
]