leancheck-0.8.0: test/diff/tiers-default-Nat-Nat-Nat.out
map length (tiers :: [[ Nat->Nat->Nat ]]) = [1,1,5,13,35,81,...]
length (list :: [ Nat->Nat->Nat ]) = Infinity
allUnique (list :: [ Nat->Nat->Nat ]) = True
ratioRepetitions (list :: [ Nat->Nat->Nat ]) = 0 % 1
tiers :: [Nat->Nat->Nat] =
[ [\_ _ -> 0]
, [\_ _ -> 1]
, [ \x _ -> case x of
0 -> 1
_ -> 0
, \x _ -> case x of
0 -> 0
_ -> 1
, \_ y -> case y of
0 -> 1
_ -> 0
, \_ y -> case y of
0 -> 0
_ -> 1
, \_ _ -> 2
]
, [ \x y -> case (x,y) of
(0,0) -> 1
_ -> 0
, \x y -> case (x,y) of
(_,0) -> 0
(0,_) -> 1
_ -> 0
, \x _ -> case x of
0 -> 2
_ -> 0
, \x _ -> case x of
1 -> 1
_ -> 0
, \x _ -> case x of
1 -> 0
_ -> 1
, \x y -> case (x,y) of
(0,_) -> 0
(_,0) -> 1
_ -> 0
, \x y -> case (x,y) of
(0,_) -> 0
(_,0) -> 0
_ -> 1
, \x _ -> case x of
0 -> 0
_ -> 2
, \_ y -> case y of
0 -> 2
_ -> 0
, \_ y -> case y of
1 -> 1
_ -> 0
, \_ y -> case y of
1 -> 0
_ -> 1
, \_ y -> case y of
0 -> 0
_ -> 2
, \_ _ -> 3
]
, [ \x y -> case (x,y) of
(0,0) -> 2
_ -> 0
, \x y -> case (x,y) of
(0,1) -> 1
_ -> 0
, \x y -> case (x,y) of
(0,0) -> 1
(_,1) -> 0
(1,_) -> 0
(_,0) -> 0
(0,_) -> 1
_ -> 0
, \x y -> case (x,y) of
(_,0) -> 0
(0,_) -> 2
_ -> 0
, \x _ -> case x of
0 -> 3
_ -> 0
, \x y -> case (x,y) of
(1,0) -> 1
_ -> 0
, \x y -> case (x,y) of
(0,_) -> 0
(_,0) -> 0
(1,_) -> 1
_ -> 0
, \x _ -> case x of
1 -> 2
_ -> 0
, \x _ -> case x of
2 -> 1
_ -> 0
, \x y -> case (x,y) of
(_,0) -> 1
(0,_) -> 0
_ -> 1
, \x y -> case (x,y) of
(0,0) -> 0
_ -> 1
, \x _ -> case x of
0 -> 2
_ -> 1
, \x _ -> case x of
0 -> 0
1 -> 0
_ -> 1
, \x _ -> case x of
2 -> 0
_ -> 1
, \x y -> case (x,y) of
(0,_) -> 1
(_,0) -> 1
_ -> 0
, \x y -> case (x,y) of
(0,0) -> 1
(0,_) -> 0
(_,1) -> 0
(1,_) -> 0
(_,0) -> 1
_ -> 0
, \x y -> case (x,y) of
(0,_) -> 1
(_,0) -> 0
_ -> 1
, \x y -> case (x,y) of
(_,0) -> 0
(1,_) -> 0
_ -> 1
, \x _ -> case x of
0 -> 1
_ -> 2
, \x _ -> case x of
1 -> 0
_ -> 2
, \x y -> case (x,y) of
(0,_) -> 0
(_,0) -> 2
_ -> 0
, \x y -> case (x,y) of
(0,_) -> 0
(_,0) -> 0
(_,1) -> 1
_ -> 0
, \x y -> case (x,y) of
(0,_) -> 0
(_,1) -> 0
_ -> 1
, \x y -> case (x,y) of
(0,_) -> 0
(_,0) -> 0
_ -> 2
, \x _ -> case x of
0 -> 0
_ -> 3
, \_ y -> case y of
0 -> 3
_ -> 0
, \_ y -> case y of
1 -> 2
_ -> 0
, \_ y -> case y of
2 -> 1
_ -> 0
, \_ y -> case y of
0 -> 2
_ -> 1
, \_ y -> case y of
0 -> 0
1 -> 0
_ -> 1
, \_ y -> case y of
2 -> 0
_ -> 1
, \_ y -> case y of
0 -> 1
_ -> 2
, \_ y -> case y of
1 -> 0
_ -> 2
, \_ y -> case y of
0 -> 0
_ -> 3
, \_ _ -> 4
]
, [ \x y -> case (x,y) of
(0,0) -> 3
_ -> 0
, \x y -> case (x,y) of
(0,1) -> 2
_ -> 0
, \x y -> case (x,y) of
(0,2) -> 1
_ -> 0
, \x y -> case (x,y) of
(0,0) -> 2
(0,_) -> 1
_ -> 0
, \x y -> case (x,y) of
(_,0) -> 0
(_,1) -> 0
(0,_) -> 1
_ -> 0
, \x y -> case (x,y) of
(0,0) -> 1
(0,1) -> 1
(1,_) -> 0
(_,0) -> 0
(_,2) -> 0
(0,_) -> 1
_ -> 0
, \x y -> case (x,y) of
(0,0) -> 1
(0,_) -> 2
_ -> 0
, \x y -> case (x,y) of
(0,0) -> 2
(_,1) -> 0
(1,_) -> 0
(_,0) -> 0
(0,_) -> 2
_ -> 0
, \x y -> case (x,y) of
(_,0) -> 0
(0,_) -> 3
_ -> 0
, \x _ -> case x of
0 -> 4
_ -> 0
, \x y -> case (x,y) of
(1,0) -> 2
_ -> 0
, \x y -> case (x,y) of
(1,1) -> 1
_ -> 0
, \x y -> case (x,y) of
(0,_) -> 0
(1,0) -> 1
(_,1) -> 0
(2,_) -> 0
(_,0) -> 0
(1,_) -> 1
_ -> 0
, \x y -> case (x,y) of
(0,_) -> 0
(_,0) -> 0
(1,_) -> 2
_ -> 0
, \x _ -> case x of
1 -> 3
_ -> 0
, \x _ -> case x of
0 -> 1
1 -> 1
_ -> 0
, \x y -> case (x,y) of
(2,0) -> 1
_ -> 0
, \x y -> case (x,y) of
(0,_) -> 0
(_,0) -> 0
(1,_) -> 0
(2,_) -> 1
_ -> 0
, \x _ -> case x of
2 -> 2
_ -> 0
, \x _ -> case x of
3 -> 1
_ -> 0
, \x y -> case (x,y) of
(0,0) -> 2
(0,_) -> 0
_ -> 1
, \x y -> case (x,y) of
(0,0) -> 0
(_,1) -> 1
(1,_) -> 1
(_,0) -> 1
(0,_) -> 0
_ -> 1
, \x y -> case (x,y) of
(0,1) -> 0
_ -> 1
, \x y -> case (x,y) of
(0,0) -> 0
(0,_) -> 2
_ -> 1
, \x _ -> case x of
0 -> 3
_ -> 1
, \x y -> case (x,y) of
(0,_) -> 1
(_,0) -> 1
(1,_) -> 0
_ -> 1
, \x y -> case (x,y) of
(1,0) -> 0
_ -> 1
, \x _ -> case x of
1 -> 2
_ -> 1
, \x _ -> case x of
0 -> 0
2 -> 0
_ -> 1
, \x _ -> case x of
3 -> 0
_ -> 1
, \x y -> case (x,y) of
(0,0) -> 0
(0,_) -> 1
(_,0) -> 1
_ -> 0
, \x y -> case (x,y) of
(0,_) -> 2
(_,0) -> 1
_ -> 0
, \x y -> case (x,y) of
(_,0) -> 1
(1,_) -> 1
_ -> 0
, \x y -> case (x,y) of
(0,_) -> 0
(1,_) -> 0
(_,0) -> 1
_ -> 0
, \x y -> case (x,y) of
(0,0) -> 1
(0,1) -> 0
(1,0) -> 1
(0,2) -> 0
(1,1) -> 0
(2,0) -> 0
(0,3) -> 0
(1,2) -> 0
...
, \x y -> case (x,y) of
(0,0) -> 1
(0,_) -> 0
(_,0) -> 0
_ -> 1
, \x y -> case (x,y) of
(0,_) -> 2
(_,0) -> 0
_ -> 1
, \x y -> case (x,y) of
(0,0) -> 0
(0,_) -> 1
(_,1) -> 1
(1,_) -> 1
(_,0) -> 0
_ -> 1
, \x y -> case (x,y) of
(0,_) -> 0
(_,0) -> 0
(1,_) -> 0
_ -> 1
, \x y -> case (x,y) of
(_,0) -> 0
(2,_) -> 0
_ -> 1
, \x y -> case (x,y) of
(0,0) -> 1
(0,_) -> 0
_ -> 2
, \x y -> case (x,y) of
(0,0) -> 0
(0,_) -> 1
_ -> 2
, \x _ -> case x of
1 -> 1
_ -> 2
, \x _ -> case x of
0 -> 0
1 -> 0
_ -> 2
, \x _ -> case x of
2 -> 0
_ -> 2
, \x y -> case (x,y) of
(0,_) -> 1
(_,0) -> 2
_ -> 0
, \x y -> case (x,y) of
(0,0) -> 2
(0,_) -> 0
(_,1) -> 0
(1,_) -> 0
(_,0) -> 2
_ -> 0
, \x y -> case (x,y) of
(0,_) -> 1
(_,1) -> 1
_ -> 0
, \x y -> case (x,y) of
(_,0) -> 0
(0,1) -> 1
(0,_) -> 0
(_,2) -> 0
(1,_) -> 0
(_,1) -> 1
_ -> 0
, \x y -> case (x,y) of
(0,_) -> 1
(_,0) -> 1
(_,1) -> 0
_ -> 1
, \x y -> case (x,y) of
(_,1) -> 0
(1,_) -> 0
_ -> 1
, \x y -> case (x,y) of
(0,_) -> 1
(_,0) -> 0
_ -> 2
, \x y -> case (x,y) of
(_,0) -> 0
(1,_) -> 0
_ -> 2
, \x _ -> case x of
0 -> 1
_ -> 3
, \x _ -> case x of
1 -> 0
_ -> 3
, \x y -> case (x,y) of
(0,_) -> 0
(_,0) -> 3
_ -> 0
, \x y -> case (x,y) of
(0,_) -> 0
(_,0) -> 0
(_,1) -> 2
_ -> 0
, \x y -> case (x,y) of
(0,_) -> 0
(_,0) -> 0
(_,1) -> 0
(_,2) -> 1
_ -> 0
, \x y -> case (x,y) of
(0,_) -> 0
(_,0) -> 2
_ -> 1
, \x y -> case (x,y) of
(0,_) -> 0
(_,0) -> 0
(_,1) -> 0
_ -> 1
, \x y -> case (x,y) of
(0,_) -> 0
(_,2) -> 0
_ -> 1
, \x y -> case (x,y) of
(0,_) -> 0
(_,0) -> 1
_ -> 2
, \x y -> case (x,y) of
(0,_) -> 0
(_,1) -> 0
_ -> 2
, \x y -> case (x,y) of
(0,_) -> 0
(_,0) -> 0
_ -> 3
, \x _ -> case x of
0 -> 0
_ -> 4
, \_ y -> case y of
0 -> 4
_ -> 0
, \_ y -> case y of
1 -> 3
_ -> 0
, \_ y -> case y of
0 -> 1
1 -> 1
_ -> 0
, \_ y -> case y of
2 -> 2
_ -> 0
, \_ y -> case y of
3 -> 1
_ -> 0
, \_ y -> case y of
0 -> 3
_ -> 1
, \_ y -> case y of
1 -> 2
_ -> 1
, \_ y -> case y of
0 -> 0
2 -> 0
_ -> 1
, \_ y -> case y of
3 -> 0
_ -> 1
, \_ y -> case y of
1 -> 1
_ -> 2
, \_ y -> case y of
0 -> 0
1 -> 0
_ -> 2
, \_ y -> case y of
2 -> 0
_ -> 2
, \_ y -> case y of
0 -> 1
_ -> 3
, \_ y -> case y of
1 -> 0
_ -> 3
, \_ y -> case y of
0 -> 0
_ -> 4
, \_ _ -> 5
]
, ...
]