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