Jules's Strictness Analyser, version 0.400
Copyright (c) Julian Seward 1992
Read 9 lattice sizes.
=============
=== Input ===
=============
day ::= Monday |
Tuesday |
Wednesday |
Thursday |
Friday |
Saturday |
Sunday ;
domain ::= Unit |
Lift (domain );
pair a b ::= Pair a b;
list a ::= Nil |
Cons a (list a);
tree a ::= Leaf |
Branch (tree a) a (tree a);
assoc a b ::= NilAssoc |
Assoc a b (assoc a b);
;;
letrec
_z4 = \l1 l2 -> case l1 of
Nil -> Nil;
Cons x xs -> case l2 of
Nil -> Nil;
Cons y ys -> Cons (_+ x y) (_z4 xs ys)
end
end
in letrec
_z6 = \l1 l2 -> case l1 of
Nil -> Nil;
Cons x xs -> case l2 of
Nil -> Nil;
Cons y ys -> Cons (_z4 x y) (_z6 xs ys)
end
end
in letrec
_z8 = \l1 l2 -> case l1 of
Nil -> Nil;
Cons x xs -> case l2 of
Nil -> Nil;
Cons y ys -> Cons (_z6 x y) (_z8 xs ys)
end
end
in letrec
_z10 = \l1 l2 -> case l1 of
Nil -> Nil;
Cons x xs -> case l2 of
Nil -> Nil;
Cons y ys -> Cons (_z8 x y) (_z10 xs ys)
end
end
in letrec
_f2 = \a b -> case _== a 0 of
True -> b;
False -> _f2 b a
end
in letrec
_f3 = \a b c -> case _== a 0 of
True -> b;
False -> _f3 c b a
end
in letrec
_f4 = \a b c d -> case _== a 0 of
True -> b;
False -> _f4 d c b a
end
in letrec
_f5 = \a b c d e -> case _== a 0 of
True -> b;
False -> _f5 e d c b a
end
in letrec
_f6 = \a b c d e f -> case _== a 0 of
True -> b;
False -> _f6 f e d c b a
end
in letrec
_f7 = \a b c d e f g -> case _== a 0 of
True -> b;
False -> _f7 g f e d c b a
end
in let
_p2 = \a b -> a
in let
_p3 = \a b c -> _+ a c
in let
_p4 = \a b c d -> _+ a c
in let
_p5 = \a b c d e -> _+ a (_+ c e)
in let
_p6 = \a b c d e f -> _+ a (_+ c e)
in let
_p7 = \a b c d e f g -> _+ a (_+ c (_+ e g))
in let
_p8 = \a b c d e f g h -> _+ a (_+ c (_+ e g))
in let
_p9 = \a b c d e f g h i -> _+ a (_+ c (_+ e (_+ g i)))
in let
_p10 = \a b c d e f g h i j -> _+ a (_+ c (_+ e (_+ g i)))
in let
_p11 = \a b c d e f g h i j k -> _+ a (_+ c (_+ e (_+ g (_+ i k))))
in let
_p12 = \a b c d e f g h i j k l -> _+ a (_+ c (_+ e (_+ g (_+ i k))))
in let
_s2 = \a b -> _+ a b
in let
_s4 = \a b c d -> _+ a (_+ b (_+ c d))
in let
_s6 = \a b c d e f -> _+ a (_+ b (_+ c (_+ d (_+ e f))))
in let
_s8 = \a b c d e f g h -> _+ a (_+ b (_+ c (_+ d (_+ e (_+ f (_+ g h))))))
in let
_s10 = \a b c d e f g h i j -> _+ a (_+ b (_+ c (_+ d (_+ e (_+ f (_+ g (_+ h (_+ i j))))))))
in let
_s12 = \a b c d e f g h i j k l -> _+ a (_+ b (_+ c (_+ d (_+ e (_+ f (_+ g (_+ h (_+ i (_+ j (_+ k l))))))))))
in let
_l2 = \a b -> 37
in let
_l4 = \a b c d -> 37
in let
_l6 = \a b c d e f -> 37
in let
_l8 = \a b c d e f g h -> 37
in let
_l9 = \a b c d e f g h i -> 37
in let
_l10 = \a b c d e f g h i j -> 37
in let
_l12 = \a b c d e f g h i j k l -> 37
in letrec
_bottomAny = \ -> _bottomAny
in letrec
_bigs = \d l2 -> case l2 of
Nil -> Nil;
Cons l2x l2xs -> case _> l2x d of
True -> Cons l2x (_bigs d l2xs);
False -> _bigs d l2xs
end
end
in letrec
_smalls = \d l2 -> case l2 of
Nil -> Nil;
Cons l2x l2xs -> case _<= l2x d of
True -> Cons l2x (_smalls d l2xs);
False -> _smalls d l2xs
end
end
in letrec
_append = \x y -> case x of
Nil -> y;
Cons a as -> Cons a (_append as y)
end
in letrec
_qsort = \l -> case l of
Nil -> Nil;
Cons h t -> _append (_qsort (_smalls h t)) (Cons h (_qsort (_bigs h t)))
end
in let
_topInt = \ -> 42
in letrec
_domainHeight = \d -> case d of
Unit -> 1;
Lift d1 -> _+ 1 (_domainHeight d1)
end
in let
_workingHours = \d -> case d of
Saturday -> 0;
Sunday -> 0;
Monday -> 2;
Tuesday -> 4;
Wednesday -> 5;
Thursday -> 3;
Friday -> 1
end
in let
_incHead = \l -> case l of
Nil -> Nil;
Cons a as -> Cons (_+ a 1) as
end
in letrec
_tricky = \a b -> case _== a 0 of
True -> b;
False -> _tricky (_- a 1) b
end
in letrec
_length = \x -> case x of
Nil -> 0;
Cons a as -> _+ 1 (_length as)
end
in letrec
_sum = \x -> case x of
Nil -> 0;
Cons a as -> _+ a (_sum as)
end
in letrec
_rev = \x -> case x of
Nil -> Nil;
Cons a as -> _append (_rev as) (Cons a Nil)
end
in letrec
_take = \n l -> case l of
Nil -> Nil;
Cons x xs -> case _== n 0 of
True -> Nil;
False -> Cons x (_take (_- n 1) xs)
end
end
in letrec
_drop = \n l -> case l of
Nil -> Nil;
Cons x xs -> case _== n 0 of
True -> Cons x xs;
False -> _drop (_- n 1) xs
end
end
in let
_first = \p -> case p of
Pair a b -> a
end
in let
_second = \p -> case p of
Pair a b -> b
end
in letrec
_mirror = \t -> case t of
Leaf -> Leaf;
Branch l x r -> Branch (_mirror r) x (_mirror l)
end
in letrec
_sumt = \t -> case t of
Leaf -> 0;
Branch l x r -> _+ (_sumt l) (_+ x (_sumt r))
end
in letrec
_aLookupDef = \al key default -> case al of
NilAssoc -> default;
Assoc a b abs -> case _== a key of
True -> b;
False -> _aLookupDef abs key default
end
end
in letrec
_aDomain = \al -> case al of
NilAssoc -> Nil;
Assoc a b abs -> Cons a (_aDomain abs)
end
in letrec
_aInverse = \al -> case al of
NilAssoc -> NilAssoc;
Assoc a b abs -> Assoc b a (_aInverse abs)
end
in letrec
_flatten = \t -> case t of
Leaf -> Nil;
Branch l x r -> _append (_flatten l) (Cons x (_flatten r))
end
in letrec
_insert = \x t -> case t of
Leaf -> Branch Leaf x Leaf;
Branch l x1 r -> case _== x x1 of
True -> Branch l x1 r;
False -> case _< x x1 of
True -> Branch (_insert x l) x1 r;
False -> Branch l x1 (_insert x r)
end
end
end
in letrec
_ltt = \tr li -> case li of
Nil -> tr;
Cons x xs -> _ltt (_insert x tr) xs
end
in let
_listToTree = \l -> _ltt Leaf l
in let
_nodups = \l -> _flatten (_listToTree l)
in 42
=============
=== Types ===
=============
_z4 :: (list int) -> (list int) -> (list int)
_z6 :: (list (list int)) -> (list (list int)) -> (list (list int))
_z8 :: (list (list (list int))) -> (list (list (list int))) -> (list (list (list int)))
_z10 :: (list (list (list (list int)))) -> (list (list (list (list int)))) -> (list (list (list (list int))))
_f2 :: int -> int -> int
_f3 :: int -> a -> int -> a
_f4 :: int -> a -> a -> int -> a
_f5 :: int -> a -> b -> a -> int -> a
_f6 :: int -> a -> b -> b -> a -> int -> a
_f7 :: int -> a -> b -> c -> b -> a -> int -> a
_p2 :: a -> b -> a
_p3 :: int -> a -> int -> int
_p4 :: int -> a -> int -> b -> int
_p5 :: int -> a -> int -> b -> int -> int
_p6 :: int -> a -> int -> b -> int -> c -> int
_p7 :: int -> a -> int -> b -> int -> c -> int -> int
_p8 :: int -> a -> int -> b -> int -> c -> int -> d -> int
_p9 :: int -> a -> int -> b -> int -> c -> int -> d -> int -> int
_p10 :: int -> a -> int -> b -> int -> c -> int -> d -> int -> e -> int
_p11 :: int -> a -> int -> b -> int -> c -> int -> d -> int -> e -> int -> int
_p12 :: int -> a -> int -> b -> int -> c -> int -> d -> int -> e -> int -> f -> int
_s2 :: int -> int -> int
_s4 :: int -> int -> int -> int -> int
_s6 :: int -> int -> int -> int -> int -> int -> int
_s8 :: int -> int -> int -> int -> int -> int -> int -> int -> int
_s10 :: int -> int -> int -> int -> int -> int -> int -> int -> int -> int -> int
_s12 :: int -> int -> int -> int -> int -> int -> int -> int -> int -> int -> int -> int -> int
_l2 :: a -> b -> int
_l4 :: a -> b -> c -> d -> int
_l6 :: a -> b -> c -> d -> e -> f -> int
_l8 :: a -> b -> c -> d -> e -> f -> g -> h -> int
_l9 :: a -> b -> c -> d -> e -> f -> g -> h -> i -> int
_l10 :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> int
_l12 :: a -> b -> c -> d -> e -> f -> g -> h -> i -> j -> k -> l -> int
_bottomAny :: a
_bigs :: int -> (list int) -> (list int)
_smalls :: int -> (list int) -> (list int)
_append :: (list a) -> (list a) -> (list a)
_qsort :: (list int) -> (list int)
_topInt :: int
_domainHeight :: (domain) -> int
_workingHours :: (day) -> int
_incHead :: (list int) -> (list int)
_tricky :: int -> a -> a
_length :: (list a) -> int
_sum :: (list int) -> int
_rev :: (list a) -> (list a)
_take :: int -> (list a) -> (list a)
_drop :: int -> (list a) -> (list a)
_first :: (pair a b) -> a
_second :: (pair a b) -> b
_mirror :: (tree a) -> (tree a)
_sumt :: (tree int) -> int
_aLookupDef :: (assoc int a) -> int -> a -> a
_aDomain :: (assoc a b) -> (list a)
_aInverse :: (assoc a b) -> (assoc b a)
_flatten :: (tree a) -> (list a)
_insert :: int -> (tree int) -> (tree int)
_ltt :: (tree int) -> (list int) -> (tree int)
_listToTree :: (list int) -> (tree int)
_nodups :: (list int) -> (list int)
Monday :: (day)
Tuesday :: (day)
Wednesday :: (day)
Thursday :: (day)
Friday :: (day)
Saturday :: (day)
Sunday :: (day)
Unit :: (domain)
Lift :: (domain) -> (domain)
Pair :: a -> b -> (pair a b)
Nil :: (list a)
Cons :: a -> (list a) -> (list a)
Leaf :: (tree a)
Branch :: (tree a) -> a -> (tree a) -> (tree a)
NilAssoc :: (assoc a b)
Assoc :: a -> b -> (assoc a b) -> (assoc a b)
True :: bool
False :: bool
================
=== Settings ===
================
Scaleup ratio = 20/10
Lower lattice size limit = 0
Upper lattice size limit = 1000000
Polymorphic generalisation limit = 10000
==================
=== Strictness ===
==================
Domains for "_z4" are
4 [Two,Two]
8 [Lift2 [Two],Two]
16 [Lift2 [Two],Lift2 [Two]]
Evaluated at size 4 using 6 evals live "_z4"
Evaluated at size 4 using 6 evals live "_z4"
Evaluated at size 4 using 6 evals safe "_z4"
Evaluated at size 8 using 6 evals live "_z4"
Evaluated at size 8 using 3 evals live "_z4"
Evaluated at size 8 using 3 evals safe "_z4"
Evaluated at size 16 using 4 evals live "_z4"
Evaluated at size 16 using 2 evals live "_z4"
Evaluated at size 16 using 2 evals safe "_z4"
Function "_z4" has input domains:
1) {0 1 2 3}
2) {0 1 2 3}
and output domain
{0 1 2 3}
Output | Lower frontier
--------+----------------
3 | 1 3 and 3 0
2 | 1 2 and 2 1
1 | 1 1
0 | 0 0
Domains for "_z6" are
4 [Two,Two]
8 [Two,Lift2 [Two]]
12 [Two,Lift2 [Lift2 [Two]]]
24 [Lift2 [Two],Lift2 [Lift2 [Two]]]
36 [Lift2 [Lift2 [Two]],Lift2 [Lift2 [Two]]]
Evaluated at size 4 using 8 evals live "_z6"
Evaluated at size 4 using 8 evals live "_z6"
Evaluated at size 4 using 8 evals safe "_z6"
Evaluated at size 8 using 0 evals live "_z6"
Evaluated at size 8 using 0 evals safe "_z6"
Evaluated at size 12 using 0 evals live "_z6"
Evaluated at size 12 using 0 evals safe "_z6"
Evaluated at size 24 using 12 evals live "_z6"
Evaluated at size 24 using 10 evals live "_z6"
Evaluated at size 24 using 6 evals live "_z6"
Evaluated at size 24 using 6 evals safe "_z6"
Evaluated at size 36 using 8 evals live "_z6"
Evaluated at size 36 using 5 evals live "_z6"
Evaluated at size 36 using 5 evals safe "_z6"
Function "_z6" has input domains:
1) {0 1 2 3 4 5}
2) {0 1 2 3 4 5}
and output domain
{0 1 2 3 4 5}
Output | Lower frontier
--------+----------------
5 | 1 2 and 3 1 and 5 0
4 |
3 |
2 | 2 1
1 | 1 1
0 | 0 0
Domains for "_z8" are
4 [Two,Two]
8 [Two,Lift2 [Two]]
12 [Two,Lift2 [Lift2 [Two]]]
16 [Two,Lift2 [Lift2 [Lift2 [Two]]]]
32 [Lift2 [Two],Lift2 [Lift2 [Lift2 [Two]]]]
48 [Lift2 [Lift2 [Two]],Lift2 [Lift2 [Lift2 [Two]]]]
64 [Lift2 [Lift2 [Lift2 [Two]]],Lift2 [Lift2 [Lift2 [Two]]]]
Evaluated at size 4 using 10 evals live "_z8"
Evaluated at size 4 using 10 evals live "_z8"
Evaluated at size 4 using 10 evals safe "_z8"
Evaluated at size 8 using 0 evals live "_z8"
Evaluated at size 8 using 0 evals safe "_z8"
Evaluated at size 12 using 0 evals live "_z8"
Evaluated at size 12 using 0 evals safe "_z8"
Evaluated at size 16 using 0 evals live "_z8"
Evaluated at size 16 using 0 evals safe "_z8"
Evaluated at size 32 using 14 evals live "_z8"
Evaluated at size 32 using 13 evals live "_z8"
Evaluated at size 32 using 8 evals live "_z8"
Evaluated at size 32 using 8 evals safe "_z8"
Evaluated at size 48 using 10 evals live "_z8"
Evaluated at size 48 using 7 evals live "_z8"
Evaluated at size 48 using 7 evals safe "_z8"
Evaluated at size 64 using 7 evals live "_z8"
Evaluated at size 64 using 7 evals safe "_z8"
Function "_z8" has input domains:
1) {0 1 2 3 4 5 6 7}
2) {0 1 2 3 4 5 6 7}
and output domain
{0 1 2 3 4 5 6 7}
Output | Lower frontier
--------+----------------
7 | 1 2 and 3 1 and 7 0
6 |
5 |
4 |
3 |
2 | 2 1
1 | 1 1
0 | 0 0
Domains for "_z10" are
4 [Two,Two]
8 [Two,Lift2 [Two]]
12 [Two,Lift2 [Lift2 [Two]]]
16 [Two,Lift2 [Lift2 [Lift2 [Two]]]]
20 [Two,Lift2 [Lift2 [Lift2 [Lift2 [Two]]]]]
40 [Lift2 [Two],Lift2 [Lift2 [Lift2 [Lift2 [Two]]]]]
60 [Lift2 [Lift2 [Two]],Lift2 [Lift2 [Lift2 [Lift2 [Two]]]]]
80 [Lift2 [Lift2 [Lift2 [Two]]],Lift2 [Lift2 [Lift2 [Lift2 [Two]]]]]
100 [Lift2 [Lift2 [Lift2 [Lift2 [Two]]]],Lift2 [Lift2 [Lift2 [Lift2 [Two]]]]]
Evaluated at size 4 using 12 evals live "_z10"
Evaluated at size 4 using 12 evals live "_z10"
Evaluated at size 4 using 12 evals safe "_z10"
Evaluated at size 8 using 0 evals live "_z10"
Evaluated at size 8 using 0 evals safe "_z10"
Evaluated at size 12 using 0 evals live "_z10"
Evaluated at size 12 using 0 evals safe "_z10"
Evaluated at size 16 using 0 evals live "_z10"
Evaluated at size 16 using 0 evals safe "_z10"
Evaluated at size 20 using 0 evals live "_z10"
Evaluated at size 20 using 0 evals safe "_z10"
Evaluated at size 40 using 16 evals live "_z10"
Evaluated at size 40 using 15 evals live "_z10"
Evaluated at size 40 using 10 evals live "_z10"
Evaluated at size 40 using 10 evals safe "_z10"
Evaluated at size 60 using 12 evals live "_z10"
Evaluated at size 60 using 9 evals live "_z10"
Evaluated at size 60 using 9 evals safe "_z10"
Evaluated at size 80 using 9 evals live "_z10"
Evaluated at size 80 using 9 evals safe "_z10"
Evaluated at size 100 using 9 evals live "_z10"
Evaluated at size 100 using 9 evals safe "_z10"
Function "_z10" has input domains:
1) {0 1 2 3 4 5 6 7 8 9}
2) {0 1 2 3 4 5 6 7 8 9}
and output domain
{0 1 2 3 4 5 6 7 8 9}
Output | Lower frontier
--------+----------------
9 | 1 2 and 3 1 and 9 0
8 |
7 |
6 |
5 |
4 |
3 |
2 | 2 1
1 | 1 1
0 | 0 0
Domains for "_f2" are
4 [Two,Two]
Evaluated at size 4 using 4 evals live "_f2"
Evaluated at size 4 using 4 evals live "_f2"
Evaluated at size 4 using 4 evals safe "_f2"
Function "_f2" has input domains:
1) {0 1}
2) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 1 1
0 | 0 0
Domains for "_f3" are
8 [Two,Two,Two]
Evaluated at size 8 using 5 evals live "_f3"
Evaluated at size 8 using 5 evals live "_f3"
Evaluated at size 8 using 5 evals safe "_f3"
Function "_f3" has input domains:
1) {0 1}
2) {0 1}
3) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 1 1 0
0 | 0 0 0
Domains for "_f4" are
16 [Two,Two,Two,Two]
Evaluated at size 16 using 8 evals live "_f4"
Evaluated at size 16 using 11 evals live "_f4"
Evaluated at size 16 using 11 evals live "_f4"
Evaluated at size 16 using 11 evals safe "_f4"
Function "_f4" has input domains:
1) {0 1}
2) {0 1}
3) {0 1}
4) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 1 0 1 1 and 1 1 0 0
0 | 0 0 0 0
Domains for "_f5" are
32 [Two,Two,Two,Two,Two]
Evaluated at size 32 using 8 evals live "_f5"
Evaluated at size 32 using 15 evals live "_f5"
Evaluated at size 32 using 15 evals live "_f5"
Evaluated at size 32 using 15 evals safe "_f5"
Function "_f5" has input domains:
1) {0 1}
2) {0 1}
3) {0 1}
4) {0 1}
5) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 1 0 0 1 1 and 1 1 0 0 0
0 | 0 0 0 0 0
Domains for "_f6" are
64 [Two,Two,Two,Two,Two,Two]
Evaluated at size 64 using 14 evals live "_f6"
Evaluated at size 64 using 20 evals live "_f6"
Evaluated at size 64 using 20 evals live "_f6"
Evaluated at size 64 using 20 evals safe "_f6"
Function "_f6" has input domains:
1) {0 1}
2) {0 1}
3) {0 1}
4) {0 1}
5) {0 1}
6) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 1 0 0 0 1 1 and 1 1 0 0 0 0
0 | 0 0 0 0 0 0
Domains for "_f7" are
128 [Two,Two,Two,Two,Two,Two,Two]
Evaluated at size 128 using 10 evals live "_f7"
Evaluated at size 128 using 20 evals live "_f7"
Evaluated at size 128 using 20 evals live "_f7"
Evaluated at size 128 using 20 evals safe "_f7"
Function "_f7" has input domains:
1) {0 1}
2) {0 1}
3) {0 1}
4) {0 1}
5) {0 1}
6) {0 1}
7) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 1 0 0 0 0 1 1 and 1 1 0 0 0 0 0
0 | 0 0 0 0 0 0 0
Domains for "_p2" are
4 [Two,Two]
Evaluated at size 4 using 4 evals safe "_p2"
Evaluated at size 4 using 4 evals live "_p2"
Function "_p2" has input domains:
1) {0 1}
2) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 1 0
0 | 0 0
Domains for "_p3" are
8 [Two,Two,Two]
Evaluated at size 8 using 6 evals safe "_p3"
Evaluated at size 8 using 6 evals live "_p3"
Function "_p3" has input domains:
1) {0 1}
2) {0 1}
3) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 1 0 1
0 | 0 0 0
Domains for "_p4" are
16 [Two,Two,Two,Two]
Evaluated at size 16 using 10 evals safe "_p4"
Evaluated at size 16 using 10 evals live "_p4"
Function "_p4" has input domains:
1) {0 1}
2) {0 1}
3) {0 1}
4) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 1 0 1 0
0 | 0 0 0 0
Domains for "_p5" are
32 [Two,Two,Two,Two,Two]
Evaluated at size 32 using 11 evals safe "_p5"
Evaluated at size 32 using 11 evals live "_p5"
Function "_p5" has input domains:
1) {0 1}
2) {0 1}
3) {0 1}
4) {0 1}
5) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 1 0 1 0 1
0 | 0 0 0 0 0
Domains for "_p6" are
64 [Two,Two,Two,Two,Two,Two]
Evaluated at size 64 using 7 evals safe "_p6"
Evaluated at size 64 using 7 evals live "_p6"
Function "_p6" has input domains:
1) {0 1}
2) {0 1}
3) {0 1}
4) {0 1}
5) {0 1}
6) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 1 0 1 0 1 0
0 | 0 0 0 0 0 0
Domains for "_p7" are
128 [Two,Two,Two,Two,Two,Two,Two]
Evaluated at size 128 using 14 evals safe "_p7"
Evaluated at size 128 using 14 evals live "_p7"
Function "_p7" has input domains:
1) {0 1}
2) {0 1}
3) {0 1}
4) {0 1}
5) {0 1}
6) {0 1}
7) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 1 0 1 0 1 0 1
0 | 0 0 0 0 0 0 0
Domains for "_p8" are
256 [Two,Two,Two,Two,Two,Two,Two,Two]
Evaluated at size 256 using 20 evals safe "_p8"
Evaluated at size 256 using 20 evals live "_p8"
Function "_p8" has input domains:
1) {0 1}
2) {0 1}
3) {0 1}
4) {0 1}
5) {0 1}
6) {0 1}
7) {0 1}
8) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 1 0 1 0 1 0 1 0
0 | 0 0 0 0 0 0 0 0
Domains for "_p9" are
512 [Two,Two,Two,Two,Two,Two,Two,Two,Two]
Evaluated at size 512 using 23 evals safe "_p9"
Evaluated at size 512 using 23 evals live "_p9"
Function "_p9" has input domains:
1) {0 1}
2) {0 1}
3) {0 1}
4) {0 1}
5) {0 1}
6) {0 1}
7) {0 1}
8) {0 1}
9) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 1 0 1 0 1 0 1 0 1
0 | 0 0 0 0 0 0 0 0 0
Domains for "_p10" are
1024 [Two,Two,Two,Two,Two,Two,Two,Two,Two,Two]
Evaluated at size 1024 using 32 evals safe "_p10"
Evaluated at size 1024 using 32 evals live "_p10"
Function "_p10" has input domains:
1) {0 1}
2) {0 1}
3) {0 1}
4) {0 1}
5) {0 1}
6) {0 1}
7) {0 1}
8) {0 1}
9) {0 1}
10) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 1 0 1 0 1 0 1 0 1 0
0 | 0 0 0 0 0 0 0 0 0 0
Domains for "_p11" are
2048 [Two,Two,Two,Two,Two,Two,Two,Two,Two,Two,Two]
Evaluated at size 2048 using 33 evals safe "_p11"
Evaluated at size 2048 using 33 evals live "_p11"
Function "_p11" has input domains:
1) {0 1}
2) {0 1}
3) {0 1}
4) {0 1}
5) {0 1}
6) {0 1}
7) {0 1}
8) {0 1}
9) {0 1}
10) {0 1}
11) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 1 0 1 0 1 0 1 0 1 0 1
0 | 0 0 0 0 0 0 0 0 0 0 0
Domains for "_p12" are
4096 [Two,Two,Two,Two,Two,Two,Two,Two,Two,Two,Two,Two]
Evaluated at size 4096 using 26 evals safe "_p12"
Evaluated at size 4096 using 26 evals live "_p12"
Function "_p12" has input domains:
1) {0 1}
2) {0 1}
3) {0 1}
4) {0 1}
5) {0 1}
6) {0 1}
7) {0 1}
8) {0 1}
9) {0 1}
10) {0 1}
11) {0 1}
12) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 1 0 1 0 1 0 1 0 1 0 1 0
0 | 0 0 0 0 0 0 0 0 0 0 0 0
Domains for "_s2" are
4 [Two,Two]
Evaluated at size 4 using 4 evals safe "_s2"
Evaluated at size 4 using 4 evals live "_s2"
Function "_s2" has input domains:
1) {0 1}
2) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 1 1
0 | 0 0
Domains for "_s4" are
16 [Two,Two,Two,Two]
Evaluated at size 16 using 6 evals safe "_s4"
Evaluated at size 16 using 6 evals live "_s4"
Function "_s4" has input domains:
1) {0 1}
2) {0 1}
3) {0 1}
4) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 1 1 1 1
0 | 0 0 0 0
Domains for "_s6" are
64 [Two,Two,Two,Two,Two,Two]
Evaluated at size 64 using 8 evals safe "_s6"
Evaluated at size 64 using 8 evals live "_s6"
Function "_s6" has input domains:
1) {0 1}
2) {0 1}
3) {0 1}
4) {0 1}
5) {0 1}
6) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 1 1 1 1 1 1
0 | 0 0 0 0 0 0
Domains for "_s8" are
256 [Two,Two,Two,Two,Two,Two,Two,Two]
Evaluated at size 256 using 10 evals safe "_s8"
Evaluated at size 256 using 10 evals live "_s8"
Function "_s8" has input domains:
1) {0 1}
2) {0 1}
3) {0 1}
4) {0 1}
5) {0 1}
6) {0 1}
7) {0 1}
8) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 1 1 1 1 1 1 1 1
0 | 0 0 0 0 0 0 0 0
Domains for "_s10" are
1024 [Two,Two,Two,Two,Two,Two,Two,Two,Two,Two]
Evaluated at size 1024 using 12 evals safe "_s10"
Evaluated at size 1024 using 12 evals live "_s10"
Function "_s10" has input domains:
1) {0 1}
2) {0 1}
3) {0 1}
4) {0 1}
5) {0 1}
6) {0 1}
7) {0 1}
8) {0 1}
9) {0 1}
10) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 1 1 1 1 1 1 1 1 1 1
0 | 0 0 0 0 0 0 0 0 0 0
Domains for "_s12" are
4096 [Two,Two,Two,Two,Two,Two,Two,Two,Two,Two,Two,Two]
Evaluated at size 4096 using 14 evals safe "_s12"
Evaluated at size 4096 using 14 evals live "_s12"
Function "_s12" has input domains:
1) {0 1}
2) {0 1}
3) {0 1}
4) {0 1}
5) {0 1}
6) {0 1}
7) {0 1}
8) {0 1}
9) {0 1}
10) {0 1}
11) {0 1}
12) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 1 1 1 1 1 1 1 1 1 1 1 1
0 | 0 0 0 0 0 0 0 0 0 0 0 0
Domains for "_l2" are
4 [Two,Two]
Evaluated at size 4 using 2 evals safe "_l2"
Evaluated at size 4 using 2 evals live "_l2"
Function "_l2" has input domains:
1) {0 1}
2) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 0 0
0 |
Domains for "_l4" are
16 [Two,Two,Two,Two]
Evaluated at size 16 using 2 evals safe "_l4"
Evaluated at size 16 using 2 evals live "_l4"
Function "_l4" has input domains:
1) {0 1}
2) {0 1}
3) {0 1}
4) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 0 0 0 0
0 |
Domains for "_l6" are
64 [Two,Two,Two,Two,Two,Two]
Evaluated at size 64 using 2 evals safe "_l6"
Evaluated at size 64 using 2 evals live "_l6"
Function "_l6" has input domains:
1) {0 1}
2) {0 1}
3) {0 1}
4) {0 1}
5) {0 1}
6) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 0 0 0 0 0 0
0 |
Domains for "_l8" are
256 [Two,Two,Two,Two,Two,Two,Two,Two]
Evaluated at size 256 using 2 evals safe "_l8"
Evaluated at size 256 using 2 evals live "_l8"
Function "_l8" has input domains:
1) {0 1}
2) {0 1}
3) {0 1}
4) {0 1}
5) {0 1}
6) {0 1}
7) {0 1}
8) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 0 0 0 0 0 0 0 0
0 |
Domains for "_l9" are
512 [Two,Two,Two,Two,Two,Two,Two,Two,Two]
Evaluated at size 512 using 2 evals safe "_l9"
Evaluated at size 512 using 2 evals live "_l9"
Function "_l9" has input domains:
1) {0 1}
2) {0 1}
3) {0 1}
4) {0 1}
5) {0 1}
6) {0 1}
7) {0 1}
8) {0 1}
9) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 0 0 0 0 0 0 0 0 0
0 |
Domains for "_l10" are
1024 [Two,Two,Two,Two,Two,Two,Two,Two,Two,Two]
Evaluated at size 1024 using 2 evals safe "_l10"
Evaluated at size 1024 using 2 evals live "_l10"
Function "_l10" has input domains:
1) {0 1}
2) {0 1}
3) {0 1}
4) {0 1}
5) {0 1}
6) {0 1}
7) {0 1}
8) {0 1}
9) {0 1}
10) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 0 0 0 0 0 0 0 0 0 0
0 |
Domains for "_l12" are
4096 [Two,Two,Two,Two,Two,Two,Two,Two,Two,Two,Two,Two]
Evaluated at size 4096 using 2 evals safe "_l12"
Evaluated at size 4096 using 2 evals live "_l12"
Function "_l12" has input domains:
1) {0 1}
2) {0 1}
3) {0 1}
4) {0 1}
5) {0 1}
6) {0 1}
7) {0 1}
8) {0 1}
9) {0 1}
10) {0 1}
11) {0 1}
12) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 0 0 0 0 0 0 0 0 0 0 0 0
0 |
Function "_bottomAny" is a constant point 0 in domain
{0 1}
Domains for "_bigs" are
4 [Two,Two]
8 [Two,Lift2 [Two]]
Evaluated at size 4 using 6 evals live "_bigs"
Evaluated at size 4 using 6 evals live "_bigs"
Evaluated at size 4 using 6 evals safe "_bigs"
Evaluated at size 8 using 5 evals live "_bigs"
Evaluated at size 8 using 3 evals live "_bigs"
Evaluated at size 8 using 3 evals safe "_bigs"
Function "_bigs" has input domains:
1) {0 1}
2) {0 1 2 3}
and output domain
{0 1 2 3}
Output | Lower frontier
--------+----------------
3 | 0 3
2 |
1 | 1 1
0 | 0 0
Domains for "_smalls" are
4 [Two,Two]
8 [Two,Lift2 [Two]]
Evaluated at size 4 using 6 evals live "_smalls"
Evaluated at size 4 using 6 evals live "_smalls"
Evaluated at size 4 using 6 evals safe "_smalls"
Evaluated at size 8 using 5 evals live "_smalls"
Evaluated at size 8 using 3 evals live "_smalls"
Evaluated at size 8 using 3 evals safe "_smalls"
Function "_smalls" has input domains:
1) {0 1}
2) {0 1 2 3}
and output domain
{0 1 2 3}
Output | Lower frontier
--------+----------------
3 | 0 3
2 |
1 | 1 1
0 | 0 0
Domains for "_append" are
4 [Two,Two]
8 [Lift2 [Two],Two]
16 [Lift2 [Two],Lift2 [Two]]
Evaluated at size 4 using 7 evals live "_append"
Evaluated at size 4 using 7 evals live "_append"
Evaluated at size 4 using 7 evals safe "_append"
Evaluated at size 8 using 3 evals live "_append"
Evaluated at size 8 using 2 evals live "_append"
Evaluated at size 8 using 2 evals safe "_append"
Evaluated at size 16 using 4 evals live "_append"
Evaluated at size 16 using 4 evals live "_append"
Evaluated at size 16 using 2 evals live "_append"
Evaluated at size 16 using 2 evals safe "_append"
Function "_append" has input domains:
1) {0 1 2 3}
2) {0 1 2 3}
and output domain
{0 1 2 3}
Output | Lower frontier
--------+----------------
3 | 3 3
2 | 2 2
1 | 1 0
0 | 0 0
Domains for "_qsort" are
2 [Two]
4 [Lift2 [Two]]
Evaluated at size 2 using 4 evals live "_qsort"
Evaluated at size 2 using 4 evals live "_qsort"
Evaluated at size 2 using 4 evals safe "_qsort"
Evaluated at size 4 using 3 evals live "_qsort"
Evaluated at size 4 using 3 evals live "_qsort"
Evaluated at size 4 using 3 evals safe "_qsort"
Function "_qsort" has input domains:
1) {0 1 2 3}
and output domain
{0 1 2 3}
Output | Lower frontier
--------+----------------
3 | 3
2 | 2
1 |
0 | 0
Function "_topInt" is a constant point 1 in domain
{0 1}
Domains for "_domainHeight" are
2 [Two]
3 [Lift1 [Two]]
Evaluated at size 2 using 2 evals live "_domainHeight"
Evaluated at size 2 using 2 evals live "_domainHeight"
Evaluated at size 2 using 2 evals safe "_domainHeight"
Evaluated at size 3 using 1 evals live "_domainHeight"
Evaluated at size 3 using 1 evals safe "_domainHeight"
Function "_domainHeight" has input domains:
1) {0 1 2}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 2
0 | 0
Domains for "_workingHours" are
2 [Two]
Evaluated at size 2 using 2 evals safe "_workingHours"
Evaluated at size 2 using 2 evals live "_workingHours"
Function "_workingHours" has input domains:
1) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 1
0 | 0
Domains for "_incHead" are
2 [Two]
4 [Lift2 [Two]]
Evaluated at size 2 using 4 evals safe "_incHead"
Evaluated at size 2 using 4 evals live "_incHead"
Evaluated at size 4 using 2 evals safe "_incHead"
Evaluated at size 4 using 2 evals live "_incHead"
Function "_incHead" has input domains:
1) {0 1 2 3}
and output domain
{0 1 2 3}
Output | Lower frontier
--------+----------------
3 | 3
2 | 2
1 | 1
0 | 0
Domains for "_tricky" are
4 [Two,Two]
Evaluated at size 4 using 4 evals live "_tricky"
Evaluated at size 4 using 4 evals live "_tricky"
Evaluated at size 4 using 4 evals safe "_tricky"
Function "_tricky" has input domains:
1) {0 1}
2) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 1 1
0 | 0 0
Domains for "_length" are
2 [Two]
4 [Lift2 [Two]]
Evaluated at size 2 using 2 evals live "_length"
Evaluated at size 2 using 2 evals live "_length"
Evaluated at size 2 using 2 evals safe "_length"
Evaluated at size 4 using 2 evals live "_length"
Evaluated at size 4 using 1 evals live "_length"
Evaluated at size 4 using 1 evals safe "_length"
Function "_length" has input domains:
1) {0 1 2 3}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 2
0 | 0
Domains for "_sum" are
2 [Two]
4 [Lift2 [Two]]
Evaluated at size 2 using 2 evals live "_sum"
Evaluated at size 2 using 2 evals live "_sum"
Evaluated at size 2 using 2 evals safe "_sum"
Evaluated at size 4 using 1 evals live "_sum"
Evaluated at size 4 using 1 evals safe "_sum"
Function "_sum" has input domains:
1) {0 1 2 3}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 3
0 | 0
Domains for "_rev" are
2 [Two]
4 [Lift2 [Two]]
Evaluated at size 2 using 4 evals live "_rev"
Evaluated at size 2 using 4 evals live "_rev"
Evaluated at size 2 using 4 evals safe "_rev"
Evaluated at size 4 using 3 evals live "_rev"
Evaluated at size 4 using 3 evals live "_rev"
Evaluated at size 4 using 3 evals safe "_rev"
Function "_rev" has input domains:
1) {0 1 2 3}
and output domain
{0 1 2 3}
Output | Lower frontier
--------+----------------
3 | 3
2 | 2
1 |
0 | 0
Domains for "_take" are
4 [Two,Two]
8 [Two,Lift2 [Two]]
Evaluated at size 4 using 6 evals live "_take"
Evaluated at size 4 using 6 evals live "_take"
Evaluated at size 4 using 6 evals safe "_take"
Evaluated at size 8 using 6 evals live "_take"
Evaluated at size 8 using 3 evals live "_take"
Evaluated at size 8 using 3 evals safe "_take"
Function "_take" has input domains:
1) {0 1}
2) {0 1 2 3}
and output domain
{0 1 2 3}
Output | Lower frontier
--------+----------------
3 | 0 3 and 1 1
2 |
1 |
0 | 0 0
Domains for "_drop" are
4 [Two,Two]
8 [Two,Lift2 [Two]]
Evaluated at size 4 using 6 evals live "_drop"
Evaluated at size 4 using 6 evals live "_drop"
Evaluated at size 4 using 6 evals safe "_drop"
Evaluated at size 8 using 7 evals live "_drop"
Evaluated at size 8 using 5 evals live "_drop"
Evaluated at size 8 using 5 evals safe "_drop"
Function "_drop" has input domains:
1) {0 1}
2) {0 1 2 3}
and output domain
{0 1 2 3}
Output | Lower frontier
--------+----------------
3 | 0 3 and 1 2
2 |
1 | 1 1
0 | 0 0
Domains for "_first" are
2 [Two]
5 [Lift1 [Two,Two]]
Evaluated at size 2 using 2 evals safe "_first"
Evaluated at size 2 using 2 evals live "_first"
Evaluated at size 5 using 2 evals safe "_first"
Evaluated at size 5 using 2 evals live "_first"
Function "_first" has input domains:
1) {00 11 12 21 22}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 21
0 | 00
Domains for "_second" are
2 [Two]
5 [Lift1 [Two,Two]]
Evaluated at size 2 using 2 evals safe "_second"
Evaluated at size 2 using 2 evals live "_second"
Evaluated at size 5 using 3 evals safe "_second"
Evaluated at size 5 using 3 evals live "_second"
Function "_second" has input domains:
1) {00 11 12 21 22}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 12
0 | 00
Domains for "_mirror" are
2 [Two]
4 [Lift2 [Two]]
Evaluated at size 2 using 4 evals live "_mirror"
Evaluated at size 2 using 4 evals live "_mirror"
Evaluated at size 2 using 4 evals safe "_mirror"
Evaluated at size 4 using 2 evals live "_mirror"
Evaluated at size 4 using 2 evals live "_mirror"
Evaluated at size 4 using 2 evals safe "_mirror"
Function "_mirror" has input domains:
1) {0 1 2 3}
and output domain
{0 1 2 3}
Output | Lower frontier
--------+----------------
3 | 3
2 | 2
1 | 1
0 | 0
Domains for "_sumt" are
2 [Two]
4 [Lift2 [Two]]
Evaluated at size 2 using 2 evals live "_sumt"
Evaluated at size 2 using 2 evals live "_sumt"
Evaluated at size 2 using 2 evals safe "_sumt"
Evaluated at size 4 using 1 evals live "_sumt"
Evaluated at size 4 using 1 evals safe "_sumt"
Function "_sumt" has input domains:
1) {0 1 2 3}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 3
0 | 0
Domains for "_aLookupDef" are
8 [Two,Two,Two]
24 [Lift2 [Two,Two],Two,Two]
Evaluated at size 8 using 6 evals live "_aLookupDef"
Evaluated at size 8 using 6 evals live "_aLookupDef"
Evaluated at size 8 using 6 evals safe "_aLookupDef"
Evaluated at size 24 using 5 evals live "_aLookupDef"
Evaluated at size 24 using 2 evals live "_aLookupDef"
Evaluated at size 24 using 2 evals safe "_aLookupDef"
Function "_aLookupDef" has input domains:
1) {00 11 22 23 32 33}
2) {0 1}
3) {0 1}
and output domain
{0 1}
Output | Lower frontier
--------+----------------
1 | 11 1 0 and 33 0 1
0 | 00 0 0
Domains for "_aDomain" are
2 [Two]
6 [Lift2 [Two,Two]]
Evaluated at size 2 using 4 evals live "_aDomain"
Evaluated at size 2 using 4 evals live "_aDomain"
Evaluated at size 2 using 4 evals safe "_aDomain"
Evaluated at size 6 using 4 evals live "_aDomain"
Evaluated at size 6 using 2 evals live "_aDomain"
Evaluated at size 6 using 2 evals safe "_aDomain"
Function "_aDomain" has input domains:
1) {00 11 22 23 32 33}
and output domain
{0 1 2 3}
Output | Lower frontier
--------+----------------
3 | 32
2 | 22
1 | 11
0 | 00
Domains for "_aInverse" are
2 [Two]
6 [Lift2 [Two,Two]]
Evaluated at size 2 using 4 evals live "_aInverse"
Evaluated at size 2 using 4 evals live "_aInverse"
Evaluated at size 2 using 4 evals safe "_aInverse"
Evaluated at size 6 using 4 evals live "_aInverse"
Evaluated at size 6 using 3 evals live "_aInverse"
Evaluated at size 6 using 3 evals safe "_aInverse"
Function "_aInverse" has input domains:
1) {00 11 22 23 32 33}
and output domain
{00 11 22 23 32 33}
Output | Lower frontier
--------+----------------
33 | 33
32 | 23
23 | 32
22 | 22
11 | 11
00 | 00
Domains for "_flatten" are
2 [Two]
4 [Lift2 [Two]]
Evaluated at size 2 using 4 evals live "_flatten"
Evaluated at size 2 using 4 evals live "_flatten"
Evaluated at size 2 using 4 evals safe "_flatten"
Evaluated at size 4 using 2 evals live "_flatten"
Evaluated at size 4 using 2 evals live "_flatten"
Evaluated at size 4 using 2 evals safe "_flatten"
Function "_flatten" has input domains:
1) {0 1 2 3}
and output domain
{0 1 2 3}
Output | Lower frontier
--------+----------------
3 | 3
2 | 2
1 | 1
0 | 0
Domains for "_insert" are
4 [Two,Two]
8 [Two,Lift2 [Two]]
Evaluated at size 4 using 6 evals live "_insert"
Evaluated at size 4 using 6 evals live "_insert"
Evaluated at size 4 using 6 evals safe "_insert"
Evaluated at size 8 using 5 evals live "_insert"
Evaluated at size 8 using 4 evals live "_insert"
Evaluated at size 8 using 4 evals safe "_insert"
Function "_insert" has input domains:
1) {0 1}
2) {0 1 2 3}
and output domain
{0 1 2 3}
Output | Lower frontier
--------+----------------
3 | 1 3
2 | 0 3 and 1 2
1 | 1 1
0 | 0 0
Domains for "_ltt" are
4 [Two,Two]
8 [Lift2 [Two],Two]
16 [Lift2 [Two],Lift2 [Two]]
Evaluated at size 4 using 8 evals live "_ltt"
Evaluated at size 4 using 8 evals live "_ltt"
Evaluated at size 4 using 8 evals safe "_ltt"
Evaluated at size 8 using 2 evals live "_ltt"
Evaluated at size 8 using 2 evals live "_ltt"
Evaluated at size 8 using 2 evals safe "_ltt"
Evaluated at size 16 using 6 evals live "_ltt"
Evaluated at size 16 using 5 evals live "_ltt"
Evaluated at size 16 using 5 evals safe "_ltt"
Function "_ltt" has input domains:
1) {0 1 2 3}
2) {0 1 2 3}
and output domain
{0 1 2 3}
Output | Lower frontier
--------+----------------
3 | 3 3
2 | 2 3 and 3 2
1 | 1 3
0 | 0 0
Domains for "_listToTree" are
2 [Two]
4 [Lift2 [Two]]
Evaluated at size 2 using 4 evals safe "_listToTree"
Evaluated at size 2 using 4 evals live "_listToTree"
Evaluated at size 4 using 3 evals safe "_listToTree"
Evaluated at size 4 using 3 evals live "_listToTree"
Function "_listToTree" has input domains:
1) {0 1 2 3}
and output domain
{0 1 2 3}
Output | Lower frontier
--------+----------------
3 | 3
2 | 2
1 |
0 | 0
Domains for "_nodups" are
2 [Two]
4 [Lift2 [Two]]
Evaluated at size 2 using 4 evals safe "_nodups"
Evaluated at size 2 using 4 evals live "_nodups"
Evaluated at size 4 using 3 evals safe "_nodups"
Evaluated at size 4 using 3 evals live "_nodups"
Function "_nodups" has input domains:
1) {0 1 2 3}
and output domain
{0 1 2 3}
Output | Lower frontier
--------+----------------
3 | 3
2 | 2
1 |
0 | 0
|
