Type.Zero, One and Star
InΒ [1]:
import $cp.bin.`provingground-core-jvm-8f190786f9.fat.jar`
import provingground._ , interface._, HoTT._, learning._
repl.pprinter() = {
val p = repl.pprinter()
p.copy(
additionalHandlers = p.additionalHandlers.orElse {
translation.FansiShow.fansiHandler
}
)
}
Out[1]:
import $cp.$
import provingground._ , interface._, HoTT._, learning._
InΒ [2]:
val terms = FiniteDistribution.unif[Term](Unit, Zero, Star)
val typs = FiniteDistribution.unif[Typ[Term]](Type, Unit, Zero)
val ts = TermState(terms, typs)
val ts0 = TermState(FiniteDistribution(), FiniteDistribution.unif(Type))
Out[2]:
terms: FiniteDistribution[Term] = FiniteDistribution(
Vector(
Weighted(Unit, 0.3333333333333333),
Weighted(Zero, 0.3333333333333333),
Weighted(Star, 0.3333333333333333)
)
)
typs: FiniteDistribution[Typ[Term]] = FiniteDistribution(
Vector(
Weighted(π° , 0.3333333333333333),
Weighted(Unit, 0.3333333333333333),
Weighted(Zero, 0.3333333333333333)
)
)
ts: TermState = TermState(
FiniteDistribution(
Vector(
Weighted(Unit, 0.3333333333333333),
Weighted(Zero, 0.3333333333333333),
Weighted(Star, 0.3333333333333333)
)
),
FiniteDistribution(
Vector(
Weighted(π° , 0.3333333333333333),
Weighted(Unit, 0.3333333333333333),
Weighted(Zero, 0.3333333333333333)
)
),
Vector(),
FiniteDistribution(Vector()),
FiniteDistribution(Vector()),
Empty
)
ts0: TermState = TermState(
FiniteDistribution(Vector()),
FiniteDistribution(Vector(Weighted(π° , 1.0))),
Vector(),
FiniteDistribution(Vector()),
FiniteDistribution(Vector()),
Empty
)
InΒ [3]:
import monix.execution.Scheduler.Implicits.global
val lp = LocalProver(ts).sharpen(10)
val lp0 = LocalProver(ts0).sharpen(10)
Out[3]:
import monix.execution.Scheduler.Implicits.global
lp: LocalProver = LocalProver(
TermState(
FiniteDistribution(
Vector(
Weighted(Unit, 0.3333333333333333),
Weighted(Zero, 0.3333333333333333),
Weighted(Star, 0.3333333333333333)
)
),
FiniteDistribution(
Vector(
Weighted(π° , 0.3333333333333333),
Weighted(Unit, 0.3333333333333333),
Weighted(Zero, 0.3333333333333333)
)
),
Vector(),
FiniteDistribution(Vector()),
FiniteDistribution(Vector()),
Empty
),
TermGenParams(
0.1,
0.1,
0.1,
0.1,
0.1,
0.05,
0.05,
0.05,
0.0,
0.0,
0.0,
0.0,
0.3,
0.7,
0.5,
0.0,
0.0,
...
lp0: LocalProver = LocalProver(
TermState(
FiniteDistribution(Vector()),
FiniteDistribution(Vector(Weighted(π° , 1.0))),
Vector(),
FiniteDistribution(Vector()),
FiniteDistribution(Vector()),
Empty
),
TermGenParams(
0.1,
0.1,
0.1,
0.1,
0.1,
0.05,
0.05,
0.05,
0.0,
0.0,
0.0,
0.0,
0.3,
0.7,
0.5,
0.0,
0.0,
0.0
),
1.0E-5,
12 minutes,
1.01,
1.0,
10000,
10,
1.0,
1.0,
None,
false,
...
InΒ [4]:
val unknownsT = lp0.unknownStatements.map(_.entropyVec.map(_.elem)).memoize
val unF = unknownsT.runToFuture
unknownsT: monix.eval.Task[Vector[Typ[Term]]] = Async(
<function2>,
false,
true,
true
)
unF: monix.execution.CancelableFuture[Vector[Typ[Term]]] = Success(
Vector(
β(@a : π° ){ @a },
β(@a : { @a },
((π° β π° ) β π° ),
(π° Γπ° β π° ),
(π° β β(@b : π° ){ @b }),
(β(@a : π° ){ @a } β π° ),
(π° β π° Γπ° ),
β(@a : π° ){ (π° β @a) },
(β(@a : { @a } β π° ),
β(@a : { (@a β π° ) },
β(@a : π° ){ @aΓπ° },
(π° β β(@b : { @b }),
β(@a : { (π° β @a) },
β(@a : π° ){ π° Γ@a },
β(@a : { @aΓπ° },
((π° Γπ° β π° ) β π° ),
((π° β π° )Γπ° β π° ),
β(@a : { (@a β @a) },
β(@a : π° ){ @aΓ@a },
((π° β (π° β π° )) β π° ),
((β(@a : π° ){ @a } β π° ) β π° ),
β(@a : { π° Γ@a },
((π° β π° ) β π° Γπ° ),
(π° Γπ° Γπ° β π° ),
(π° Γ(π° β π° ) β π° ),
(β(@a : π° ){ @a }Γπ° β π° ),
((β(@a : { @a } β π° ) β π° ),
((π° β β(@b : π° ){ @b }) β π° ),
((π° β π° ) β β(@a : π° ){ @a }),
((π° β π° Γπ° ) β π° ),
β(@a : { @aΓ@a },
((((π° β π° ) β π° ) β π° ) β π° ),
(β(@a : { (@a β π° ) } β π° ),
(π° Γβ(@b : π° ){ @b } β π° ),
(π° β (π° β π° )Γπ° ),
(β(@a : π° ){ (π° β @a) } β π° ),
(π° β (π° β β(@c : π° ){ @c })),
...
InΒ [5]:
import StrategicProvers._
Out[5]:
import StrategicProvers._
InΒ [6]:
import almond.display._
val chompView = Markdown("## Results from Goal chomping\n")
Goal chomping status
- current goal : Some((
@a : π° _0 ) ~> ((((@a) , (@a))) β (@a)))
- successes : 205
- failures : 8
- last success : Some(Vector((β((
@a : π° _0) β¦ ((@a) β (Zero))),0.5,[((Zero) , (rec(Zero)(Zero))) : 0.01127994556862484, ((Zero) , ((@a : Zero) β¦ (@a))) : 0.00974783102948558])))
- last failure : Some((π° _0) β ((((
@b : π° _0 ) ~> (@b)) , (π° _0))))
Out[6]:
import almond.display._
InΒ [7]:
update = (_) => chompView.withContent(md).update()
InΒ [8]:
update(())
InΒ [9]:
val chT = unknownsT.flatMap(typs => liberalChomper(lp, typs)).memoize
Out[9]:
chT: monix.eval.Task[(Vector[Successes], Vector[Typ[Term]], Set[EquationNode], Vector[Typ[Term]])] = Async(<function2>, false, true, true)
InΒ [10]:
val chF = chT.runToFuture
chF: monix.execution.CancelableFuture[(Vector[Successes], Vector[Typ[Term]], Set[EquationNode], Vector[Typ[Term]])] = Success(
(
Vector(
Vector(
(
β(@a : { (@a β Zero) },
0.5,
FiniteDistribution(
Vector(
Weighted((Zero , rec_{ Zero ; Zero }), 0.01127994556862484),
Weighted((Zero , (@a : Zero) β¦ @a), 0.00974783102948558)
)
)
)
),
Vector(
(
β(@a : { @a },
0.5,
FiniteDistribution(
Vector(Weighted((Unit , Star), 0.01970769689870014))
)
)
),
Vector(
(
((π° β π° ) β π° ),
0.5,
FiniteDistribution(
Vector(
Weighted((@a : (π° β π° )) β¦ @a(@a(Zero)), 0.003035898473921898),
Weighted((@a : (π° β π° )) β¦ Zero, 0.004434521334908531),
Weighted((@a : (π° β π° )) β¦ Unit, 0.004434521334908531),
Weighted((@a : (π° β π° )) β¦ @a(Zero), 0.0030950013985154468),
Weighted((@a : (π° β π° )) β¦ @a(@a(Unit)), 0.003035898473921898),
Weighted((@a : (π° β π° )) β¦ @a(Unit), 0.0030950013985154468)
)
)
)
...
InΒ [11]:
val succHandle = Markdown(successes.reverse.mkString("## Successes\n\n * ", "\n * ", "\n"))
Successes
- Vector(((
@a : π° _0 ) ~> ((((@a) , (@a))) β (@a)),0.5,[(@a : π° _0) β¦ (rec(((@a) , (@a)))(@a)((@a :@a) β¦ ((@a : `@a) β¦ (@a)))) : 0.019561390892799714]))
- Vector(((π° _0) β (((((π° _0) β (π° _0)) , (π° _0))) β (π° _0)),0.5,[(
@a : π° _0) β¦ ((((@a_1) , (@a_2)) : (((π° _0) β (π° _0)) , (π° _0))) β¦ (@a)) : 0.0037784672381056543, (@a : π° _0) β¦ ((((@a_1) , (@a_2)) : (((π° _0) β (π° _0)) , (π° _0))) β¦ (Unit)) : 0.0029920172115892566, (@a : π° _0) β¦ ((((@a_1) , (@a_2)) : (((π° _0) β (π° _0)) , (π° _0))) β¦ (Zero)) : 0.0029920172115892566, (@a : π° _0) β¦ (rec((((π° _0) β (π° _0)) , (π° _0)))(π° _0)((@a : (π° _0) β (π° _0)) β¦ (@a))) : 0.0024384559032061244, (@a : π° _0) β¦ (rec((((π° _0) β (π° _0)) , (π° _0)))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((@b : π° _0) β¦ ((@a) (@b))))) : 0.0019458194692310792, (@a : π° _0) β¦ (rec((((π° _0) β (π° _0)) , (π° _0)))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((@b : π° _0) β¦ (@b)))) : 0.001236629594916484, (@a : π° _0) β¦ (rec((((π° _0) β (π° _0)) , (π° _0)))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((@b : π° _0) β¦ ((@a) (@a))))) : 9.534515399232286E-4, (@a : π° _0) β¦ (rec((((π° _0) β (π° _0)) , (π° _0)))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((@b : π° _0) β¦ ((@a) (Unit))))) : 7.415734199402886E-4, (@a : π° _0) β¦ (rec((((π° _0) β (π° _0)) , (π° _0)))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((@b : π° _0) β¦ ((@a) (Zero))))) : 7.415734199402886E-4, (@a : π° _0) β¦ (rec((((π° _0) β (π° _0)) , (π° _0)))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((@b : π° _0) β¦ (@a)))) : 6.059485015090772E-4, (@a : π° _0) β¦ (rec((((π° _0) β (π° _0)) , (π° _0)))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((@b : π° _0) β¦ (Zero)))) : 4.712932789515044E-4, (@a : π° _0) β¦ (rec((((π° _0) β (π° _0)) , (π° _0)))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((@b : π° _0) β¦ (Unit)))) : 4.712932789515044E-4]))
- Vector((β((
@a : π° _0) β¦ (PlusTyp(PlusTyp((π° _0) β (Zero),(@a) β (Zero)),(`@a) β (Zero)))),0.5,[((Zero) , (FirstIncl(PlusTyp(PlusTyp((π° _0) β (Zero),(Zero) β (Zero)),(Zero) β (Zero)),ScndIncl(PlusTyp((π° _0) β (Zero),(Zero) β (Zero)),rec(Zero)(Zero))))) : 0.005028301543989261, ((Zero) , (ScndIncl(PlusTyp(PlusTyp((π° _0) β (Zero),(Zero) β (Zero)),(Zero) β (Zero)),(@a : Zero) β¦ (@a)))) : 0.004871044445016279, ((Zero) , (ScndIncl(PlusTyp(PlusTyp((π° _0) β (Zero),(Zero) β (Zero)),(Zero) β (Zero)),rec(Zero)(Zero)))) : 0.004871044445016279, ((Zero) , (FirstIncl(PlusTyp(PlusTyp((π° _0) β (Zero),(Zero) β (Zero)),(Zero) β (Zero)),ScndIncl(PlusTyp((π° _0) β (Zero),(Zero) β (Zero)),(@a : Zero) β¦ (`@a))))) : 0.004719619606185139]))
- Vector((β((
@a : π° _0) β¦ ((((π° _0) , (@a))) β (@a))),0.5,[((Unit) , ((((@a_1) , (@a_2)) : ((π° _0) , (Unit))) β¦ (Star))) : 0.004871072854380337, ((Zero) , (rec(((π° _0) , (Zero)))(Zero)((@a : π° _0) β¦ (rec(Zero)(Zero))))) : 0.004871072854380337, ((Zero) , (rec(((π° _0) , (Zero)))(Zero)((@a : π° _0) β¦ ((@a : Zero) β¦ (@a))))) : 0.004871072854380337, ((Unit) , (rec(((π° _0) , (Unit)))(Unit)((@a : π° _0) β¦ (rec(Unit)(Unit)(Star))))) : 0.0024355364271901685, ((Unit) , (rec(((π° _0) , (Unit)))(Unit)((@a : π° _0) β¦ ((@a : Unit) β¦ (`@a))))) : 0.0015769660319936353, ((Unit) , (rec(((π° _0) , (Unit)))(Unit)((@a : π° _0) β¦ ((@a : Unit) β¦ (Star))))) : 8.58570395196534E-4]))
- Vector((β((
@a : π° _0) β¦ ((((π° _0) β (@a)) , (`@a)))),0.5,[((Unit) , ((((@a : π° _0) β¦ (Star)) , (Star)))) : 0.019495728596187985]))
- Vector(((
@a : π° _0 ) ~> ((((@a) β (π° _0)) β (π° _0)) β (π° _0)),0.5,[(@a : π° _0) β¦ ((@a : ((@a) β (π° _0)) β (π° _0)) β¦ (@a)) : 0.005585344566499607, (@a : π° _0) β¦ ((@a : ((@a) β (π° _0)) β (π° _0)) β¦ (Unit)) : 0.0043441568850552505, (@a : π° _0) β¦ ((@a : ((@a) β (π° _0)) β (π° _0)) β¦ (Zero)) : 0.0043441568850552505, (@a : π° _0) β¦ ((``@a : ((@a) β (π° _0)) β (π° _0)) β¦ ((@a) ((`@a : `@a) β¦ (`@a)))) : 0.0019519312957256888, (`@a : π° _0) β¦ ((@a : ((@a) β (π° _0)) β (π° _0)) β¦ ((``@a) ((@a : @a) β¦ (Zero)))) : 0.0015181687855644248, (@a : π° _0) β¦ ((@a : ((`@a) β (π° _0)) β (π° _0)) β¦ ((@a) ((@a :@a) β¦ (Unit)))) : 0.0015181687855644248]))
- Vector(((π° _0) β ((((
@b : π° _0 ) ~> (@b)) β (π° _0)) β (π° _0)),0.5,[(@a : π° _0) β¦ ((@a : ((@b : π° _0 ) ~> (@b)) β (π° _0)) β¦ (@a)) : 0.0075373513700530016, (@a : π° _0) β¦ ((@a : ((@b : π° _0 ) ~> (@b)) β (π° _0)) β¦ (Unit)) : 0.005908003262321673, (@a : π° _0) β¦ ((@a : ((@b : π° _0 ) ~> (@b)) β (π° _0)) β¦ (Zero)) : 0.005908003262321673]))
- Vector(((
@a : π° _0 ) ~> (((π° _0) , ((@a) β (@a)))),0.5,[(@a : π° _0) β¦ (((@a) , ((``@a :@a) β¦ (@a)))) : 0.007651434180209413, (`@a : π° _0) β¦ (((Zero) , ((@a : @a) β¦ (``@a)))) : 0.005951115473496207, (@a : π° _0) β¦ (((Unit) , ((@a : `@a) β¦ (@a)))) : 0.005951115473496207]))
- Vector((β((
@a : π° _0) β¦ ((π° _0) β ((@a) β (@a)))),0.5,[((Zero) , ((@a : π° _0) β¦ (rec(Zero)(Zero)))) : 0.004937564053703211, ((Zero) , ((@a : π° _0) β¦ ((@a : Zero) β¦ (@a)))) : 0.004871056428115651, ((Unit) , ((@a : π° _0) β¦ (rec(Unit)(Unit)(Star)))) : 0.004871056428115651, ((Unit) , ((@a : π° _0) β¦ ((@a : Unit) β¦ (`@a)))) : 0.0031539214282763225, ((Unit) , ((@a : π° _0) β¦ ((@a : Unit) β¦ (Star)))) : 0.00171713499983933]))
- Vector((β((
@a : π° _0) β¦ (PlusTyp(((@a) β (@a)) β (Zero),(@a) β (Zero)))),0.5,[((Zero) , (ScndIncl(PlusTyp(((Zero) β (Zero)) β (Zero),(Zero) β (Zero)),rec(Zero)(Zero)))) : 0.009747864298093989, ((Zero) , (ScndIncl(PlusTyp(((Zero) β (Zero)) β (Zero),(Zero) β (Zero)),(@a : Zero) β¦ (@a)))) : 0.009747864298093989]))
- Vector((β((
@a : π° _0) β¦ (((@a) β (@a)) β (@a))),0.5,[((Unit) , ((@a : (Unit) β (Unit)) β¦ ((@a) (Star)))) : 0.00732007954655188, ((Unit) , ((@a : (Unit) β (Unit)) β¦ (Star))) : 0.007083201167382246, ((Unit) , ((@a : (Unit) β (Unit)) β¦ ((@a) ((`@a) (Star))))) : 0.00508813199712154]))
- Vector(((π° _0) β (β((
@b : π° _0) β¦ (((@b) , (`@b))))),0.5,[(@a : π° _0) β¦ (((Unit) , (((Star) , (Star))))) : 0.019561390892799714]))
- Vector((β((
@a : π° _0) β¦ (((((π° _0) , (π° _0))) , (@a)))),0.5,[((Unit) , (((((Unit) , (Zero))) , (Star)))) : 0.004871072854380338, ((Unit) , (((((Zero) , (Zero))) , (Star)))) : 0.004871072854380338, ((Unit) , (((((Unit) , (Unit))) , (Star)))) : 0.004871072854380338, ((Unit) , (((((Zero) , (Unit))) , (Star)))) : 0.004871072854380338]))
- Vector((β((
@a : π° _0) β¦ (((((π° _0) , (@a))) , (π° _0)))),0.5,[((Unit) , (((((Unit) , (Star))) , (Unit)))) : 0.004871072854380338, ((Unit) , (((((Unit) , (Star))) , (Zero)))) : 0.004871072854380338, ((Unit) , (((((Zero) , (Star))) , (Unit)))) : 0.004871072854380338, ((Unit) , (((((Zero) , (Star))) , (Zero)))) : 0.004871072854380338]))
- Vector((β((
@a : π° _0) β¦ (PlusTyp((@a) β (Zero),($vytqnnq : π° _0 ) ~> (($vytqnnq) β (Zero))))),0.5,[((Zero) , (FirstIncl(PlusTyp((Zero) β (Zero),($vytqnnq : π° _0 ) ~> (($vytqnnq) β (Zero))),(@a : Zero) β¦ (@a)))) : 0.009747864298093989, ((Zero) , (FirstIncl(PlusTyp((Zero) β (Zero),($vytqnnq : π° _0 ) ~> (($vytqnnq) β (Zero))),rec(Zero)(Zero)))) : 0.009747864298093989]))
- Vector((β((
@a : π° _0) β¦ ((@a) β (β((@b : π° _0) β¦ (@b))))),0.5,[((Zero) , (rec(Zero)(β((@b : π° _0) β¦ (@b))))) : 0.006401907155647278, ((Unit) , (rec(Unit)(β((@b : π° _0) β¦ (@b)))(((Unit) , (Star))))) : 0.004871056428115653, ((Unit) , ((@a : Unit) β¦ (((Unit) , (@a))))) : 0.0027399692408150563, ((Zero) , ((@a : Zero) β¦ (((Zero) , (@a))))) : 0.0024355282140578263, ((Zero) , ((@a : Zero) β¦ (((Unit) , (Star))))) : 0.0024355282140578263, ((Unit) , ((@a : Unit) β¦ (((Unit) , (Star))))) : 0.0021310871873005985]))
- Vector(((π° _0) β (((((π° _0) β (π° _0)) β (π° _0)) , (π° _0))),0.5,[(
@a : π° _0) β¦ ((((@a : (π° _0) β (π° _0)) β¦ (@a)) , (@a))) : 0.0011249628579690098, (@a : π° _0) β¦ ((((@a : (π° _0) β (π° _0)) β¦ ((@a) (@a))) , (@a))) : 0.0011183921108050914, (@a : π° _0) β¦ ((((@a : (π° _0) β (π° _0)) β¦ (@a)) , (Zero))) : 8.749711117536741E-4, (@a : π° _0) β¦ ((((@a : (π° _0) β (π° _0)) β¦ (Zero)) , (@a))) : 8.749711117536741E-4, (@a : π° _0) β¦ ((((@a : (π° _0) β (π° _0)) β¦ (Unit)) , (@a))) : 8.749711117536741E-4, (@a : π° _0) β¦ ((((@a : (π° _0) β (π° _0)) β¦ (@a)) , (Unit))) : 8.749711117536741E-4, (@a : π° _0) β¦ ((((@a : (π° _0) β (π° _0)) β¦ ((@a) (Zero))) , (@a))) : 8.698605306261823E-4, (@a : π° _0) β¦ ((((@a : (π° _0) β (π° _0)) β¦ ((@a) (@a))) , (Unit))) : 8.698605306261821E-4, (@a : π° _0) β¦ ((((@a : (π° _0) β (π° _0)) β¦ ((@a) (Unit))) , (@a))) : 8.698605306261823E-4, (@a : π° _0) β¦ ((((@a : (π° _0) β (π° _0)) β¦ ((@a) (@a))) , (Zero))) : 8.698605306261821E-4, (@a : π° _0) β¦ ((((@a : (π° _0) β (π° _0)) β¦ ((@a) ((@a) (@a)))) , (@a))) : 7.506844930469723E-4, (@a : π° _0) β¦ ((((@a : (π° _0) β (π° _0)) β¦ (Unit)) , (Unit))) : 6.805330869195242E-4, (@a : π° _0) β¦ ((((@a : (π° _0) β (π° _0)) β¦ (Zero)) , (Unit))) : 6.805330869195242E-4, (@a : π° _0) β¦ ((((@a : (π° _0) β (π° _0)) β¦ (Unit)) , (Zero))) : 6.805330869195242E-4, (@a : π° _0) β¦ ((((@a : (π° _0) β (π° _0)) β¦ (Zero)) , (Zero))) : 6.805330869195242E-4, (@a : π° _0) β¦ ((((@a : (π° _0) β (π° _0)) β¦ ((@a) (Unit))) , (Unit))) : 6.765581904870306E-4, (@a : π° _0) β¦ ((((@a : (π° _0) β (π° _0)) β¦ ((@a) (Zero))) , (Unit))) : 6.765581904870306E-4, (@a : π° _0) β¦ ((((@a : (π° _0) β (π° _0)) β¦ ((@a) (Unit))) , (Zero))) : 6.765581904870306E-4, (@a : π° _0) β¦ ((((@a : (π° _0) β (π° _0)) β¦ ((@a) (Zero))) , (Zero))) : 6.765581904870306E-4, (@a : π° _0) β¦ ((((@a : (π° _0) β (π° _0)) β¦ ((@a) ((@a) (@a)))) , (Zero))) : 5.838657168143118E-4, (@a : π° _0) β¦ ((((@a : (π° _0) β (π° _0)) β¦ ((@a) ((@a) (Unit)))) , (@a))) : 5.838657168143118E-4, (@a : π° _0) β¦ ((((@a : (π° _0) β (π° _0)) β¦ ((@a) ((@a) (Zero)))) , (@a))) : 5.838657168143118E-4, (@a : π° _0) β¦ ((((@a : (π° _0) β (π° _0)) β¦ ((@a) ((@a) (@a)))) , (Unit))) : 5.838657168143118E-4, (@a : π° _0) β¦ ((((@a : (π° _0) β (π° _0)) β¦ ((@a) ((@a) (Zero)))) , (Zero))) : 4.5411777974446456E-4, (@a : π° _0) β¦ ((((@a : (π° _0) β (π° _0)) β¦ ((@a) ((@a) (Unit)))) , (Unit))) : 4.5411777974446456E-4, (@a : π° _0) β¦ ((((@a : (π° _0) β (π° _0)) β¦ ((@a) ((@a) (Unit)))) , (Zero))) : 4.5411777974446456E-4, (@a : π° _0) β¦ ((((@a : (π° _0) β (π° _0)) β¦ ((@a) ((@a) (Zero)))) , (Unit))) : 4.5411777974446456E-4]))
- Vector(((
@a : π° _0 ) ~> ((@a) β (((π° _0) , (@a)))),0.5,[(@a : π° _0) β¦ ((@a : `@a) β¦ (((`@a) , (@a)))) : 0.007683736617234939, (@a : π° _0) β¦ ((``@a :@a) β¦ (((Unit) , (@a)))) : 0.005976239591182731, (`@a : π° _0) β¦ ((@a : `@a) β¦ (((Zero) , (``@a)))) : 0.005976239591182731]))
- Vector((($tufjeqa : π° _0 ) ~> (PlusTyp(($tufjeqa) β (Zero),β((
@b : π° _0) β¦ ((@b) β (Zero))))),0.5,[(@a : π° _0) β¦ (ScndIncl(PlusTyp((@a) β (Zero),β((@b : π° _0) β¦ ((@b) β (Zero)))),((Zero) , (rec(Zero)(Zero))))) : 0.010314492621541665, (@a : π° _0) β¦ (ScndIncl(PlusTyp((@a) β (Zero),β((@b : π° _0) β¦ ((@b) β (Zero)))),((Zero) , ((@a : Zero) β¦ (@a))))) : 0.009246898271258049]))
- Vector(((π° _0) β (β((
@b : π° _0) β¦ (((π° _0) , (@b))))),0.5,[(@a : π° _0) β¦ (((Unit) , (((@a) , (Star))))) : 0.00765143418020941, (@a : π° _0) β¦ (((Unit) , (((Unit) , (Star))))) : 0.005951115473496207, (@a : π° _0) β¦ (((Unit) , (((Zero) , (Star))))) : 0.005951115473496207]))
- Vector((β((
@a : π° _0) β¦ (PlusTyp((π° _0) β (Zero),PlusTyp((@a) β (Zero),(π° _0) β (Zero))))),0.5,[((Zero) , (ScndIncl(PlusTyp((π° _0) β (Zero),PlusTyp((Zero) β (Zero),(π° _0) β (Zero))),FirstIncl(PlusTyp((Zero) β (Zero),(π° _0) β (Zero)),rec(Zero)(Zero))))) : 0.010056544435595253, ((Zero) , (ScndIncl(PlusTyp((π° _0) β (Zero),PlusTyp((Zero) β (Zero),(π° _0) β (Zero))),FirstIncl(PlusTyp((Zero) β (Zero),(π° _0) β (Zero)),(@a : Zero) β¦ (@a))))) : 0.009439184160592733]))
- Vector((β((
@a : π° _0) β¦ ((π° _0) β (((@a) , (π° _0))))),0.5,[((Unit) , ((@a : π° _0) β¦ (((Star) , (@a))))) : 0.007624287945986618, ((Unit) , ((@a : π° _0) β¦ (((Star) , (Unit))))) : 0.00593000173576737, ((Unit) , ((@a : π° _0) β¦ (((Star) , (Zero))))) : 0.00593000173576737]))
- Vector((((π° _0) β ((((π° _0) β (π° _0)) , (π° _0)))) β (π° _0),0.5,[(@a : (π° _0) β ((((π° _0) β (π° _0)) , (π° _0)))) β¦ (Unit) : 0.010249582562331496, (@a : (π° _0) β ((((π° _0) β (π° _0)) , (π° _0)))) β¦ (Zero) : 0.010249582562331496]))
- Vector((β((
@a : π° _0) β¦ (PlusTyp(PlusTyp((@a) β (Zero),(π° _0) β (Zero)),(`@a) β (Zero)))),0.5,[((Zero) , (FirstIncl(PlusTyp(PlusTyp((Zero) β (Zero),(π° _0) β (Zero)),(Zero) β (Zero)),FirstIncl(PlusTyp((Zero) β (Zero),(π° _0) β (Zero)),rec(Zero)(Zero))))) : 0.005028301543989261, ((Zero) , (ScndIncl(PlusTyp(PlusTyp((Zero) β (Zero),(π° _0) β (Zero)),(Zero) β (Zero)),(@a : Zero) β¦ (@a)))) : 0.004871044445016279, ((Zero) , (ScndIncl(PlusTyp(PlusTyp((Zero) β (Zero),(π° _0) β (Zero)),(Zero) β (Zero)),rec(Zero)(Zero)))) : 0.004871044445016279, ((Zero) , (FirstIncl(PlusTyp(PlusTyp((Zero) β (Zero),(π° _0) β (Zero)),(Zero) β (Zero)),FirstIncl(PlusTyp((Zero) β (Zero),(π° _0) β (Zero)),(@a : Zero) β¦ (`@a))))) : 0.004719619606185139]))
- Vector((β((
@a : π° _0) β¦ (PlusTyp(PlusTyp((@a) β (Zero),(`@a) β (Zero)),(π° _0) β (Zero)))),0.5,[((Zero) , (FirstIncl(PlusTyp(PlusTyp((Zero) β (Zero),(Zero) β (Zero)),(π° _0) β (Zero)),ScndIncl(PlusTyp((Zero) β (Zero),(Zero) β (Zero)),rec(Zero)(Zero))))) : 0.0050282722177976275, ((Zero) , (FirstIncl(PlusTyp(PlusTyp((Zero) β (Zero),(Zero) β (Zero)),(π° _0) β (Zero)),FirstIncl(PlusTyp((Zero) β (Zero),(Zero) β (Zero)),rec(Zero)(Zero))))) : 0.0050282722177976275, ((Zero) , (FirstIncl(PlusTyp(PlusTyp((Zero) β (Zero),(Zero) β (Zero)),(π° _0) β (Zero)),FirstIncl(PlusTyp((Zero) β (Zero),(Zero) β (Zero)),(@a : Zero) β¦ (@a))))) : 0.0047195920802963675, ((Zero) , (FirstIncl(PlusTyp(PlusTyp((Zero) β (Zero),(Zero) β (Zero)),(π° _0) β (Zero)),ScndIncl(PlusTyp((Zero) β (Zero),(Zero) β (Zero)),(@a : Zero) β¦ (`@a))))) : 0.0047195920802963675]))
- Vector((β((
@a : π° _0) β¦ (PlusTyp(($ttgdbkw : π° _0 ) ~> (($ttgdbkw) β (Zero)),(@a) β (Zero)))),0.5,[((Zero) , (ScndIncl(PlusTyp(($ttgdbkw : π° _0 ) ~> (($ttgdbkw) β (Zero)),(Zero) β (Zero)),rec(Zero)(Zero)))) : 0.009747864298093989, ((Zero) , (ScndIncl(PlusTyp(($ttgdbkw : π° _0 ) ~> (($ttgdbkw) β (Zero)),(Zero) β (Zero)),(@a : Zero) β¦ (@a)))) : 0.009747864298093989]))
- Vector((β((
@a : π° _0) β¦ ((((@a) , (`@a))) β (π° _0))),0.5,[((Zero) , (rec(((Zero) , (Zero)))(π° _0)(rec(Zero)((Zero) β (π° _0))))) : 0.0025020358396453854, ((Zero) , ((((@a_1) , (@a_2)) : ((Zero) , (Zero))) β¦ (Unit))) : 0.0024355282140578246, ((Zero) , ((((@a_1) , (@a_2)) : ((Zero) , (Zero))) β¦ (Zero))) : 0.0024355282140578246, ((Unit) , ((((@a_1) , (@a_2)) : ((Unit) , (Unit))) β¦ (Zero))) : 0.0024355282140578246, ((Unit) , ((((@a_1) , (@a_2)) : ((Unit) , (Unit))) β¦ (Unit))) : 0.0024355282140578246, ((Zero) , (rec(((Zero) , (Zero)))(π° _0)((@a : Zero) β¦ (rec(Zero)(π° _0))))) : 0.0012177641070289123, ((Unit) , (rec(((Unit) , (Unit)))(π° _0)((@a : Unit) β¦ ((@b : Unit) β¦ (Zero))))) : 6.088820535144561E-4, ((Unit) , (rec(((Unit) , (Unit)))(π° _0)((@a : Unit) β¦ ((@b : Unit) β¦ (Unit))))) : 6.088820535144561E-4, ((Unit) , (rec(((Unit) , (Unit)))(π° _0)((@a : Unit) β¦ (rec(Unit)(π° _0)(Unit))))) : 6.088820535144561E-4, ((Zero) , (rec(((Zero) , (Zero)))(π° _0)((@a : Zero) β¦ ((@b : Zero) β¦ (Zero))))) : 6.088820535144561E-4, ((Unit) , (rec(((Unit) , (Unit)))(π° _0)(rec(Unit)((Unit) β (π° _0))(rec(Unit)(π° _0)(Unit))))) : 6.088820535144561E-4, ((Zero) , (rec(((Zero) , (Zero)))(π° _0)((@a : Zero) β¦ ((@b : Zero) β¦ (Unit))))) : 6.088820535144561E-4, ((Unit) , (rec(((Unit) , (Unit)))(π° _0)(rec(Unit)((Unit) β (π° _0))((@a : Unit) β¦ (Unit))))) : 6.088820535144561E-4, ((Unit) , (rec(((Unit) , (Unit)))(π° _0)((@a : Unit) β¦ (rec(Unit)(π° _0)(Zero))))) : 6.088820535144561E-4, ((Unit) , (rec(((Unit) , (Unit)))(π° _0)(rec(Unit)((Unit) β (π° _0))(rec(Unit)(π° _0)(Zero))))) : 6.088820535144561E-4, ((Unit) , (rec(((Unit) , (Unit)))(π° _0)(rec(Unit)((Unit) β (π° _0))((@a : Unit) β¦ (Zero))))) : 6.088820535144561E-4]))
- Vector((β((
@a : π° _0) β¦ ((β((@b : π° _0) β¦ (@b))) β (@a))),0.5,[((Unit) , (rec(β((@b : π° _0) β¦ (@b)))(Unit)((@a : π° _0) β¦ ((@a : @a) β¦ (Star))))) : 0.00974786429809399, ((Unit) , ((((@a_1) , (@a_2)) : β((@b : π° _0) β¦ (`@b))) β¦ (Star))) : 0.00974786429809399]))
- Vector((β((
@a : π° _0) β¦ ((((@a) , (π° _0))) β (@a))),0.5,[((Zero) , (rec(((Zero) , (π° _0)))(Zero)(rec(Zero)((π° _0) β (Zero))))) : 0.004937564053703209, ((Unit) , ((((@a_1) , (@a_2)) : ((Unit) , (π° _0))) β¦ (Star))) : 0.004871056428115648, ((Zero) , (rec(((Zero) , (π° _0)))(Zero)((@a : Zero) β¦ ((@a : π° _0) β¦ (@a))))) : 0.004871056428115648, ((Unit) , (rec(((Unit) , (π° _0)))(Unit)(rec(Unit)((π° _0) β (Unit))((@a : π° _0) β¦ (Star))))) : 0.002435528214057824, ((Unit) , (rec(((Unit) , (π° _0)))(Unit)((@a : Unit) β¦ ((@a : π° _0) β¦ (`@a))))) : 0.0013699846204075269, ((Unit) , (rec(((Unit) , (π° _0)))(Unit)((@a : Unit) β¦ ((@a : π° _0) β¦ (Star))))) : 0.0010655435936502981]))
- Vector((((((π° _0) β (π° _0)) , (((π° _0) , (π° _0))))) β (π° _0),0.5,[(((@a_1) , (((@a_2_1) , (@a_2_2)))) : (((π° _0) β (π° _0)) , (((π° _0) , (π° _0))))) β¦ (Unit) : 0.005501508459674839, (((@a_1) , (((@a_2_1) , (@a_2_2)))) : (((π° _0) β (π° _0)) , (((π° _0) , (π° _0))))) β¦ (Zero) : 0.005501508459674839, rec((((π° _0) β (π° _0)) , (((π° _0) , (π° _0)))))(π° _0)((
@a : (π° _0) β (π° _0)) β¦ (rec(((π° _0) , (π° _0)))(π° _0)((@a : π° _0) β¦ (@a)))) : 0.0012031097085102634, rec((((π° _0) β (π° _0)) , (((π° _0) , (π° _0)))))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ ((@a) (Unit)))) : 9.697214451513921E-4, rec((((π° _0) β (π° _0)) , (((π° _0) , (π° _0)))))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ ((@a) (Zero)))) : 9.697214451513921E-4, rec((((π° _0) β (π° _0)) , (((π° _0) , (π° _0)))))(π° _0)((@a : (π° _0) β (π° _0)) β¦ (rec(((π° _0) , (π° _0)))(π° _0)((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@a) (@b)))))) : 8.981511058868895E-4, rec((((π° _0) β (π° _0)) , (((π° _0) , (π° _0)))))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ (Unit))) : 8.603844830272198E-4, rec((((π° _0) β (π° _0)) , (((π° _0) , (π° _0)))))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ (Zero))) : 8.603844830272198E-4, rec((((π° _0) β (π° _0)) , (((π° _0) , (π° _0)))))(π° _0)((@a : (π° _0) β (π° _0)) β¦ (rec(((π° _0) , (π° _0)))(π° _0)((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@a) (@a)))))) : 6.287057741208223E-4, rec((((π° _0) β (π° _0)) , (((π° _0) , (π° _0)))))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ ((@a) ((@a) (Zero))))) : 5.396556188870585E-4, rec((((π° _0) β (π° _0)) , (((π° _0) , (π° _0)))))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ ((@a) ((@a) (Unit))))) : 5.396556188870585E-4, rec((((π° _0) β (π° _0)) , (((π° _0) , (π° _0)))))(π° _0)((@a : (π° _0) β (π° _0)) β¦ (rec(((π° _0) , (π° _0)))(π° _0)((@a : π° _0) β¦ ((@b : π° _0) β¦ (@b))))) : 5.381178684177002E-4, rec((((π° _0) β (π° _0)) , (((π° _0) , (π° _0)))))(π° _0)((@a : (π° _0) β (π° _0)) β¦ (rec(((π° _0) , (π° _0)))(π° _0)((@a : π° _0) β¦ ((@b : π° _0) β¦ (@a))))) : 3.766825078923902E-4, rec((((π° _0) β (π° _0)) , (((π° _0) , (π° _0)))))(π° _0)((@a : (π° _0) β (π° _0)) β¦ (rec(((π° _0) , (π° _0)))(π° _0)((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@a) (Unit)))))) : 3.422953659102254E-4, rec((((π° _0) β (π° _0)) , (((π° _0) , (π° _0)))))(π° _0)((@a : (π° _0) β (π° _0)) β¦ (rec(((π° _0) , (π° _0)))(π° _0)((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@a) (Zero)))))) : 3.422953659102254E-4, rec((((π° _0) β (π° _0)) , (((π° _0) , (π° _0)))))(π° _0)((@a : (π° _0) β (π° _0)) β¦ (rec(((π° _0) , (π° _0)))(π° _0)((@a : π° _0) β¦ ((@b : π° _0) β¦ (Zero))))) : 2.050826987414123E-4, rec((((π° _0) β (π° _0)) , (((π° _0) , (π° _0)))))(π° _0)((@a : (π° _0) β (π° _0)) β¦ (rec(((π° _0) , (π° _0)))(π° _0)((@a : π° _0) β¦ ((@b : π° _0) β¦ (Unit))))) : 2.050826987414123E-4]))
- Vector((((((π° _0) , (π° _0))) β (((π° _0) , (π° _0)))) β (π° _0),0.5,[(@a : (((π° _0) , (π° _0))) β (((π° _0) , (π° _0)))) β¦ (Unit) : 0.010249580010203022, (@a : (((π° _0) , (π° _0))) β (((π° _0) , (π° _0)))) β¦ (Zero) : 0.010249580010203022]))
- Vector((β((
@a : π° _0) β¦ ((((@a) β (@a)) , (π° _0)))),0.5,[((Zero) , (((rec(Zero)(Zero)) , (Unit)))) : 0.002435536427190168, ((Zero) , ((((@a : Zero) β¦ (@a)) , (Zero)))) : 0.002435536427190168, ((Unit) , (((rec(Unit)(Unit)(Star)) , (Unit)))) : 0.002435536427190168, ((Zero) , ((((@a : Zero) β¦ (@a)) , (Unit)))) : 0.002435536427190168, ((Unit) , (((rec(Unit)(Unit)(Star)) , (Zero)))) : 0.002435536427190168, ((Zero) , (((rec(Zero)(Zero)) , (Zero)))) : 0.002435536427190168, ((Unit) , ((((@a : Unit) β¦ (@a)) , (Zero)))) : 0.0013699892402944704, ((Unit) , ((((@a : Unit) β¦ (`@a)) , (Unit)))) : 0.0013699892402944704, ((Unit) , ((((@a : Unit) β¦ (Star)) , (Zero)))) : 0.0010655471868956986, ((Unit) , ((((@a : Unit) β¦ (Star)) , (Unit)))) : 0.0010655471868956986]))
- Vector((β((
@a : π° _0) β¦ ((((@a) β (π° _0)) , (`@a)))),0.5,[((Unit) , ((((@a : Unit) β¦ (Unit)) , (Star)))) : 0.004871072854380337, ((Unit) , ((((@a : Unit) β¦ (Zero)) , (Star)))) : 0.004871072854380337, ((Unit) , (((rec(Unit)(π° _0)(Unit)) , (Star)))) : 0.004871072854380337, ((Unit) , (((rec(Unit)(π° _0)(Zero)) , (Star)))) : 0.004871072854380337]))
- Vector((($tntmmnm : π° _0 ) ~> (PlusTyp(β((``@b : π° _0) β¦ ((``@b) β (Zero))),($tntmmnm) β (Zero))),0.5,[(
@a : π° _0) β¦ (FirstIncl(PlusTyp(β((``@b : π° _0) β¦ ((``@b) β (Zero))),(@a) β (Zero)),((Zero) , (rec(Zero)(Zero))))) : 0.010314492621541665, (@a : π° _0) β¦ (FirstIncl(PlusTyp(β((``@b : π° _0) β¦ ((``@b) β (Zero))),(@a) β (Zero)),((Zero) , ((@a : Zero) β¦ (@a))))) : 0.009246898271258049]))
- Vector((β((
@a : π° _0) β¦ (((π° _0) , ((@a) β (π° _0))))),0.5,[((Zero) , (((Unit) , (rec(Zero)(π° _0))))) : 0.002435536427190168, ((Zero) , (((Zero) , (rec(Zero)(π° _0))))) : 0.002435536427190168, ((Zero) , (((Zero) , ((@a : Zero) β¦ (Zero))))) : 0.001217768213595084, ((Unit) , (((Zero) , ((@a : Unit) β¦ (Zero))))) : 0.001217768213595084, ((Unit) , (((Zero) , (rec(Unit)(π° _0)(Zero))))) : 0.001217768213595084, ((Unit) , (((Zero) , (rec(Unit)(π° _0)(Unit))))) : 0.001217768213595084, ((Unit) , (((Zero) , ((@a : Unit) β¦ (Unit))))) : 0.001217768213595084, ((Zero) , (((Unit) , ((@a : Zero) β¦ (Zero))))) : 0.001217768213595084, ((Unit) , (((Unit) , (rec(Unit)(π° _0)(Unit))))) : 0.001217768213595084, ((Unit) , (((Unit) , (rec(Unit)(π° _0)(Zero))))) : 0.001217768213595084, ((Unit) , (((Unit) , ((@a : Unit) β¦ (Unit))))) : 0.001217768213595084, ((Unit) , (((Unit) , ((@a : Unit) β¦ (Zero))))) : 0.001217768213595084, ((Zero) , (((Unit) , ((@a : Zero) β¦ (Unit))))) : 0.001217768213595084, ((Zero) , (((Zero) , ((@a : Zero) β¦ (Unit))))) : 0.001217768213595084]))
- Vector((((π° _0) β (((
@b : π° _0 ) ~> (@b)) β (π° _0))) β (π° _0),0.5,[(@a : (π° _0) β (((@b : π° _0 ) ~> (@b)) β (π° _0))) β¦ (Zero) : 0.010249582562331496, (@a : (π° _0) β (((@b : π° _0 ) ~> (@b)) β (π° _0))) β¦ (Unit) : 0.010249582562331496]))
- Vector((((
@a : π° _0 ) ~> (((@a) β (π° _0)) β (π° _0))) β (π° _0),0.5,[(@a : (@a : π° _0 ) ~> (((@a) β (π° _0)) β (π° _0))) β¦ (Zero) : 0.006487155170797583, (@a : (@a : π° _0 ) ~> (((@a) β (π° _0)) β (π° _0))) β¦ (Unit) : 0.006487155170797583, (@a : (@a : π° _0 ) ~> (((@a) β (π° _0)) β (π° _0))) β¦ (((@a) ((Zero) β (π° _0))) ((@a) (Zero))) : 0.0018334841304412605, (@a : (@a : π° _0 ) ~> (((@a) β (π° _0)) β (π° _0))) β¦ (((@a) ((Unit) β (π° _0))) ((@a) (Unit))) : 0.0018334841304412605, (@a : (@a : π° _0 ) ~> (((@a) β (π° _0)) β (π° _0))) β¦ (((@a) (Zero)) (rec(Zero)(π° _0))) : 9.27306411686031E-4, (@a : (@a : π° _0 ) ~> (((@a) β (π° _0)) β (π° _0))) β¦ (((@a) (Unit)) (rec(Unit)(π° _0)(Unit))) : 4.636532058430155E-4, (@a : (@a : π° _0 ) ~> (((@a) β (π° _0)) β (π° _0))) β¦ (((@a) (Unit)) ((@a : Unit) β¦ (Unit))) : 4.636532058430155E-4, (@a : (@a : π° _0 ) ~> (((@a) β (π° _0)) β (π° _0))) β¦ (((@a) (Unit)) ((@a : Unit) β¦ (Zero))) : 4.636532058430155E-4, (@a : (@a : π° _0 ) ~> (((@a) β (π° _0)) β (π° _0))) β¦ (((@a) (Zero)) ((@a : Zero) β¦ (Unit))) : 4.636532058430155E-4, (@a : (@a : π° _0 ) ~> (((@a) β (π° _0)) β (π° _0))) β¦ (((@a) (Zero)) ((@a : Zero) β¦ (Zero))) : 4.636532058430155E-4, (@a : (@a : π° _0 ) ~> (((@a) β (π° _0)) β (π° _0))) β¦ (((@a) (Unit)) (rec(Unit)(π° _0)(Zero))) : 4.636532058430155E-4, (@a : (@a : π° _0 ) ~> (((@a) β (π° _0)) β (π° _0))) β¦ (((@a) (π° _0)) ((@a : π° _0) β¦ (@a))) : 1.4866087544118323E-4]))
- Vector(((
@a : π° _0 ) ~> ((((π° _0) , (@a))) β (@a)),0.5,[(@a : π° _0) β¦ (rec(((π° _0) , (@a)))(@a)((@b : π° _0) β¦ ((@a : `@a) β¦ (@a)))) : 0.019561390892799714]))
- Vector(((
@a : π° _0 ) ~> (β((@b : π° _0) β¦ ((@a) β (@b)))),0.5,[(@a : π° _0) β¦ (((@a) , ((@a : `@a) β¦ (@a)))) : 0.01099893663405103, (@a : π° _0) β¦ (((Unit) , ((@a : `@a) β¦ (Star)))) : 0.008554728493150797]))
- Vector(((
@a : π° _0 ) ~> (β((@b : π° _0) β¦ ((@b) β (@a)))),0.5,[(@a : π° _0) β¦ (((@a) , ((@a : `@a) β¦ (@a)))) : 0.010904411823403114, (@a : π° _0) β¦ (((Zero) , (rec(Zero)(@a)))) : 0.008531705787473115]))
- Vector((β((
@a : π° _0) β¦ ((@b : π° _0 ) ~> ((@b) β (@a)))),0.5,[((Unit) , ((@a : π° _0) β¦ ((@a : `@a) β¦ (Star)))) : 0.01949572859618799]))
- Vector((β((
@a : π° _0) β¦ ((@b : π° _0 ) ~> ((@a) β (@b)))),0.5,[((Zero) , ((@a : π° _0) β¦ (rec(Zero)(@a)))) : 0.01956345249277036]))
- Vector((β((
@a : π° _0) β¦ ((((@a) β (@a)) β (@a)) β (Zero))),0.5,[((Zero) , ((@a : ((Zero) β (Zero)) β (Zero)) β¦ ((@a) (rec(Zero)(Zero))))) : 0.010056544435595253, ((Zero) , ((@a : ((Zero) β (Zero)) β (Zero)) β¦ ((@a) ((@a : Zero) β¦ (@a))))) : 0.009439184160592733]))
- Vector((β((
@a : π° _0) β¦ (PlusTyp((@a) β (Zero),((π° _0) β (`@a)) β (Zero)))),0.5,[((Zero) , (FirstIncl(PlusTyp((Zero) β (Zero),((π° _0) β (Zero)) β (Zero)),rec(Zero)(Zero)))) : 0.005028272217797623, ((Zero) , (FirstIncl(PlusTyp((Zero) β (Zero),((π° _0) β (Zero)) β (Zero)),(@a : Zero) β¦ (@a)))) : 0.005028272217797623, ((Zero) , (ScndIncl(PlusTyp((Zero) β (Zero),((π° _0) β (Zero)) β (Zero)),(@a : (π° _0) β (Zero)) β¦ ((@a) (Unit))))) : 0.004719592080296363, ((Zero) , (ScndIncl(PlusTyp((Zero) β (Zero),((π° _0) β (Zero)) β (Zero)),(@a : (π° _0) β (Zero)) β¦ ((`@a) (Zero))))) : 0.004719592080296363]))
- Vector((β((
@a : π° _0) β¦ ((@a) β ((π° _0) β (@a)))),0.5,[((Zero) , (rec(Zero)((π° _0) β (Zero)))) : 0.006401907155647275, ((Zero) , ((@a : Zero) β¦ ((@a : π° _0) β¦ (@a)))) : 0.00487105642811565, ((Unit) , (rec(Unit)((π° _0) β (Unit))((@a : π° _0) β¦ (Star)))) : 0.00487105642811565, ((Unit) , ((@a : Unit) β¦ ((@a : π° _0) β¦ (`@a)))) : 0.002739969240815054, ((Unit) , ((@a : Unit) β¦ ((@a : π° _0) β¦ (Star)))) : 0.0021310871873005967]))
- Vector((β((
@a : π° _0) β¦ (((((@a) , (π° _0))) , (π° _0)))),0.5,[((Unit) , (((((Star) , (Unit))) , (Zero)))) : 0.00487107285438034, ((Unit) , (((((Star) , (Unit))) , (Unit)))) : 0.00487107285438034, ((Unit) , (((((Star) , (Zero))) , (Zero)))) : 0.00487107285438034, ((Unit) , (((((Star) , (Zero))) , (Unit)))) : 0.00487107285438034]))
- Vector(((((π° _0) , (((π° _0) β (π° _0)) β (π° _0)))) β (π° _0),0.5,[(((@a_1) , (@a_2)) : ((π° _0) , (((π° _0) β (π° _0)) β (π° _0)))) β¦ (Unit) : 0.005501508459674841, (((@a_1) , (@a_2)) : ((π° _0) , (((π° _0) β (π° _0)) β (π° _0)))) β¦ (Zero) : 0.005501508459674841, rec(((π° _0) , (((π° _0) β (π° _0)) β (π° _0))))(π° _0)((
@a : π° _0) β¦ ((@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ (@a))) : 0.002352507787545234, rec(((π° _0) , (((π° _0) β (π° _0)) β (π° _0))))(π° _0)((@a : π° _0) β¦ ((@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ (Zero))) : 0.001829728279201849, rec(((π° _0) , (((π° _0) β (π° _0)) β (π° _0))))(π° _0)((@a : π° _0) β¦ ((@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ (Unit))) : 0.001829728279201849, rec(((π° _0) , (((π° _0) β (π° _0)) β (π° _0))))(π° _0)((@a : π° _0) β¦ ((@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ ((@a) ((@b : π° _0) β¦ (@b))))) : 0.001539404863385484, rec(((π° _0) , (((π° _0) β (π° _0)) β (π° _0))))(π° _0)((@a : π° _0) β¦ ((@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ ((@a) ((@b : π° _0) β¦ (@a))))) : 7.54308383058887E-4, rec(((π° _0) , (((π° _0) β (π° _0)) β (π° _0))))(π° _0)((@a : π° _0) β¦ ((@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ ((@a) ((@b : π° _0) β¦ (Zero))))) : 5.866842979346899E-4, rec(((π° _0) , (((π° _0) β (π° _0)) β (π° _0))))(π° _0)((@a : π° _0) β¦ ((@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ ((@a) ((@b : π° _0) β¦ (Unit))))) : 5.866842979346899E-4]))
- Vector((((((π° _0) β (π° _0)) β (π° _0)) β ((
@a : π° _0 ) ~> (@a))) β (Zero),0.5,[(@a : (((π° _0) β (π° _0)) β (π° _0)) β ((@a : π° _0 ) ~> (@a))) β¦ (((@a) ((@a : (π° _0) β (π° _0)) β¦ (Zero))) (Zero)) : 0.008146615729461126, (@a : (((π° _0) β (π° _0)) β (π° _0)) β ((@a : π° _0 ) ~> (@a))) β¦ (((@a) ((@a : (π° _0) β (π° _0)) β¦ (Unit))) (Zero)) : 0.008146615729461126, (@a : (((π° _0) β (π° _0)) β (π° _0)) β ((@a : π° _0 ) ~> (@a))) β¦ (((@a) ((@a : (π° _0) β (π° _0)) β¦ ((@a) (Zero)))) (Zero)) : 0.001293113607850972, (@a : (((π° _0) β (π° _0)) β (π° _0)) β ((@a : π° _0 ) ~> (@a))) β¦ (((@a) ((@a : (π° _0) β (π° _0)) β¦ ((@a) (Unit)))) (Zero)) : 0.001293113607850972]))
- Vector(((
@a : π° _0 ) ~> ((@a) β (((@a) , (π° _0)))),0.5,[(@a : π° _0) β¦ ((@a : `@a) β¦ (((@a) , (@a)))) : 0.007683736617234939, (@a : π° _0) β¦ ((@a : `@a) β¦ (((@a) , (Unit)))) : 0.005976239591182731, (@a : π° _0) β¦ ((``@a :@a) β¦ (((``@a) , (Zero)))) : 0.005976239591182731]))
- Vector(((
@a : π° _0 ) ~> ((@a) β (β((@b : π° _0) β¦ (@b)))),0.5,[(@a : π° _0) β¦ ((``@a :@a) β¦ (((@a) , (``@a)))) : 0.01103550492984881, (@a : π° _0) β¦ ((@a :@a) β¦ (((Unit) , (Star)))) : 0.008583170500993515]))
- Vector(((((((π° _0) , (π° _0))) , ((π° _0) β (π° _0)))) β (π° _0),0.5,[(((((@a_1_1) , (@a_1_2))) , (@a_2)) : ((((π° _0) , (π° _0))) , ((π° _0) β (π° _0)))) β¦ (Unit) : 0.0055015084596748386, (((((@a_1_1) , (@a_1_2))) , (@a_2)) : ((((π° _0) , (π° _0))) , ((π° _0) β (π° _0)))) β¦ (Zero) : 0.0055015084596748386, rec(((((π° _0) , (π° _0))) , ((π° _0) β (π° _0))))(π° _0)(rec(((π° _0) , (π° _0)))(((π° _0) β (π° _0)) β (π° _0))((@a : π° _0) β¦ ((
@b : π° _0) β¦ ((@a : (π° _0) β (π° _0)) β¦ ((@a) (@b)))))) : 0.0010627156141779065, rec(((((π° _0) , (π° _0))) , ((π° _0) β (π° _0))))(π° _0)((((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ ((@a : (π° _0) β (π° _0)) β¦ ((@a) (Unit)))) : 9.697214451513915E-4, rec(((((π° _0) , (π° _0))) , ((π° _0) β (π° _0))))(π° _0)((((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ ((@a : (π° _0) β (π° _0)) β¦ ((@a) (Zero)))) : 9.697214451513915E-4, rec(((((π° _0) , (π° _0))) , ((π° _0) β (π° _0))))(π° _0)((((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ ((@a : (π° _0) β (π° _0)) β¦ (Unit))) : 8.603844830272195E-4, rec(((((π° _0) , (π° _0))) , ((π° _0) β (π° _0))))(π° _0)((((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ ((@a : (π° _0) β (π° _0)) β¦ (Zero))) : 8.603844830272195E-4, rec(((((π° _0) , (π° _0))) , ((π° _0) β (π° _0))))(π° _0)(rec(((π° _0) , (π° _0)))(((π° _0) β (π° _0)) β (π° _0))((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@a : (π° _0) β (π° _0)) β¦ ((@a) (@a)))))) : 7.439009299245345E-4, rec(((((π° _0) , (π° _0))) , ((π° _0) β (π° _0))))(π° _0)(rec(((π° _0) , (π° _0)))(((π° _0) β (π° _0)) β (π° _0))((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@a : (π° _0) β (π° _0)) β¦ (@b))))) : 6.367149773432902E-4, rec(((((π° _0) , (π° _0))) , ((π° _0) β (π° _0))))(π° _0)(rec(((π° _0) , (π° _0)))(((π° _0) β (π° _0)) β (π° _0))((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@a : (π° _0) β (π° _0)) β¦ ((@a) (Zero)))))) : 5.785896121635272E-4, rec(((((π° _0) , (π° _0))) , ((π° _0) β (π° _0))))(π° _0)(rec(((π° _0) , (π° _0)))(((π° _0) β (π° _0)) β (π° _0))((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@a : (π° _0) β (π° _0)) β¦ ((@a) (Unit)))))) : 5.785896121635272E-4, rec(((((π° _0) , (π° _0))) , ((π° _0) β (π° _0))))(π° _0)((((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ ((@a : (π° _0) β (π° _0)) β¦ ((@a) ((@a) (Unit))))) : 5.396556188870582E-4, rec(((((π° _0) , (π° _0))) , ((π° _0) β (π° _0))))(π° _0)((((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ ((@a : (π° _0) β (π° _0)) β¦ ((@a) ((@a) (Zero))))) : 5.396556188870582E-4, rec(((((π° _0) , (π° _0))) , ((π° _0) β (π° _0))))(π° _0)(rec(((π° _0) , (π° _0)))(((π° _0) β (π° _0)) β (π° _0))((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@a : (π° _0) β (π° _0)) β¦ (@a))))) : 4.4570048414030314E-4, rec(((((π° _0) , (π° _0))) , ((π° _0) β (π° _0))))(π° _0)(rec(((π° _0) , (π° _0)))(((π° _0) β (π° _0)) β (π° _0))((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@a : (π° _0) β (π° _0)) β¦ (Unit))))) : 3.46655932109125E-4, rec(((((π° _0) , (π° _0))) , ((π° _0) β (π° _0))))(π° _0)(rec(((π° _0) , (π° _0)))(((π° _0) β (π° _0)) β (π° _0))((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@a : (π° _0) β (π° _0)) β¦ (Zero))))) : 3.46655932109125E-4]))
- Vector(((((
@a : π° _0 ) ~> ((π° _0) β (@a))) β (π° _0)) β (π° _0),0.5,[(@a : ((@a : π° _0 ) ~> ((π° _0) β (@a))) β (π° _0)) β¦ (Zero) : 0.010249582562331496, (@a : ((@a : π° _0 ) ~> ((π° _0) β (@a))) β (π° _0)) β¦ (Unit) : 0.010249582562331496]))
- Vector((β((
@a : π° _0) β¦ (PlusTyp((π° _0) β (Zero),((π° _0) β (@a)) β (Zero)))),0.5,[((Zero) , (ScndIncl(PlusTyp((π° _0) β (Zero),((π° _0) β (Zero)) β (Zero)),(@a : (π° _0) β (Zero)) β¦ ((@a) (Unit))))) : 0.009439729337312096, ((Zero) , (ScndIncl(PlusTyp((π° _0) β (Zero),((π° _0) β (Zero)) β (Zero)),(@a : (π° _0) β (Zero)) β¦ ((@a) (Zero))))) : 0.009439729337312096]))
- Vector((β((
@a : π° _0) β¦ ((π° _0) β ((π° _0) β (@a)))),0.5,[((Unit) , ((@a : π° _0) β¦ ((@b : π° _0) β¦ (Star)))) : 0.019495728596187978]))
- Vector((β((
@a : π° _0) β¦ (β((@b : π° _0) β¦ (PlusTyp((@b) β (Zero),(@a) β (Zero)))))),0.5,[((Unit) , (((Zero) , (FirstIncl(PlusTyp((Zero) β (Zero),(Unit) β (Zero)),rec(Zero)(Zero)))))) : 0.005028301543989264, ((Unit) , (((Zero) , (FirstIncl(PlusTyp((Zero) β (Zero),(Unit) β (Zero)),(@a : Zero) β¦ (@a)))))) : 0.0047196196061851416, ((Zero) , (((Unit) , (ScndIncl(PlusTyp((Unit) β (Zero),(Zero) β (Zero)),rec(Zero)(Zero)))))) : 0.002511234641923711, ((Zero) , (((Unit) , (ScndIncl(PlusTyp((Unit) β (Zero),(Zero) β (Zero)),(@a : Zero) β¦ (@a)))))) : 0.0023598098030925708, ((Zero) , (((Zero) , (FirstIncl(PlusTyp((Zero) β (Zero),(Zero) β (Zero)),rec(Zero)(Zero)))))) : 0.0012556173209618555, ((Zero) , (((Zero) , (ScndIncl(PlusTyp((Zero) β (Zero),(Zero) β (Zero)),rec(Zero)(Zero)))))) : 0.0012556173209618555, ((Zero) , (((Zero) , (ScndIncl(PlusTyp((Zero) β (Zero),(Zero) β (Zero)),(@a : Zero) β¦ (@a)))))) : 0.0011799049015462854, ((Zero) , (((Zero) , (FirstIncl(PlusTyp((Zero) β (Zero),(Zero) β (Zero)),(@a : Zero) β¦ (@a)))))) : 0.0011799049015462854]))
- Vector((β((
@a : π° _0) β¦ (β((@b : π° _0) β¦ (PlusTyp((@a) β (Zero),(@b) β (Zero)))))),0.5,[((Unit) , (((Zero) , (ScndIncl(PlusTyp((Unit) β (Zero),(Zero) β (Zero)),rec(Zero)(Zero)))))) : 0.005028301543989264, ((Unit) , (((Zero) , (ScndIncl(PlusTyp((Unit) β (Zero),(Zero) β (Zero)),(@a : Zero) β¦ (@a)))))) : 0.0047196196061851416, ((Zero) , (((Unit) , (FirstIncl(PlusTyp((Zero) β (Zero),(Unit) β (Zero)),rec(Zero)(Zero)))))) : 0.002511234641923711, ((Zero) , (((Unit) , (FirstIncl(PlusTyp((Zero) β (Zero),(Unit) β (Zero)),(@a : Zero) β¦ (@a)))))) : 0.0023598098030925708, ((Zero) , (((Zero) , (FirstIncl(PlusTyp((Zero) β (Zero),(Zero) β (Zero)),rec(Zero)(Zero)))))) : 0.0012556173209618555, ((Zero) , (((Zero) , (ScndIncl(PlusTyp((Zero) β (Zero),(Zero) β (Zero)),rec(Zero)(Zero)))))) : 0.0012556173209618555, ((Zero) , (((Zero) , (ScndIncl(PlusTyp((Zero) β (Zero),(Zero) β (Zero)),(@a : Zero) β¦ (@a)))))) : 0.0011799049015462854, ((Zero) , (((Zero) , (FirstIncl(PlusTyp((Zero) β (Zero),(Zero) β (Zero)),(@a : Zero) β¦ (@a)))))) : 0.0011799049015462854]))
- Vector((β((
@a : π° _0) β¦ (PlusTyp(((π° _0) β (@a)) β (Zero),(`@a) β (Zero)))),0.5,[((Zero) , (ScndIncl(PlusTyp(((π° _0) β (Zero)) β (Zero),(Zero) β (Zero)),rec(Zero)(Zero)))) : 0.005028272217797623, ((Zero) , (ScndIncl(PlusTyp(((π° _0) β (Zero)) β (Zero),(Zero) β (Zero)),(@a : Zero) β¦ (@a)))) : 0.005028272217797623, ((Zero) , (FirstIncl(PlusTyp(((π° _0) β (Zero)) β (Zero),(Zero) β (Zero)),(@a : (π° _0) β (Zero)) β¦ ((@a) (Unit))))) : 0.004719592080296363, ((Zero) , (FirstIncl(PlusTyp(((π° _0) β (Zero)) β (Zero),(Zero) β (Zero)),(@a : (π° _0) β (Zero)) β¦ ((`@a) (Zero))))) : 0.004719592080296363]))
- Vector((β((
@a : π° _0) β¦ (((π° _0) β (@a)) β (@a))),0.5,[((Zero) , ((@a : (π° _0) β (Zero)) β¦ ((@a) (Zero)))) : 0.004871072854380338, ((Zero) , ((@a : (π° _0) β (Zero)) β¦ ((@a) (Unit)))) : 0.004871072854380338, ((Unit) , ((@a : (π° _0) β (Unit)) β¦ (Star))) : 0.0034863324444579643, ((Unit) , ((@a : (π° _0) β (Unit)) β¦ ((@a) (Unit)))) : 0.003127906632151356, ((Unit) , ((@a : (π° _0) β (Unit)) β¦ ((`@a) (Zero)))) : 0.003127906632151356]))
- Vector(((π° _0) β (β((
@b : π° _0) β¦ (((@b) , (π° _0))))),0.5,[(@a : π° _0) β¦ (((Unit) , (((Star) , (@a))))) : 0.0076514341802094085, (@a : π° _0) β¦ (((Unit) , (((Star) , (Zero))))) : 0.005951115473496206, (@a : π° _0) β¦ (((Unit) , (((Star) , (Unit))))) : 0.005951115473496206]))
- Vector(((π° _0) β (((π° _0) , (β((
@c : π° _0) β¦ (@c))))),0.5,[(@a : π° _0) β¦ (((@a) , (((Unit) , (Star))))) : 0.007651434180209405, (@a : π° _0) β¦ (((Unit) , (((Unit) , (Star))))) : 0.005951115473496203, (@a : π° _0) β¦ (((Zero) , (((Unit) , (Star))))) : 0.005951115473496203]))
- Vector((β((
@a : π° _0) β¦ (PlusTyp((@a) β (Zero),PlusTyp((π° _0) β (Zero),(π° _0) β (Zero))))),0.5,[((Zero) , (FirstIncl(PlusTyp((Zero) β (Zero),PlusTyp((π° _0) β (Zero),(π° _0) β (Zero))),(@a : Zero) β¦ (@a)))) : 0.009747864298093992, ((Zero) , (FirstIncl(PlusTyp((Zero) β (Zero),PlusTyp((π° _0) β (Zero),(π° _0) β (Zero))),rec(Zero)(Zero)))) : 0.009747864298093992]))
- Vector((β((
@a : π° _0) β¦ ((@a) β (((π° _0) , (π° _0))))),0.5,[((Zero) , (rec(Zero)(((π° _0) , (π° _0))))) : 0.0064019071556472755, ((Unit) , ((@a : Unit) β¦ (((Zero) , (Zero))))) : 0.0012177641070289127, ((Unit) , ((@a : Unit) β¦ (((Zero) , (Unit))))) : 0.0012177641070289127, ((Zero) , ((@a : Zero) β¦ (((Unit) , (Zero))))) : 0.0012177641070289127, ((Unit) , (rec(Unit)(((π° _0) , (π° _0)))(((Unit) , (Zero))))) : 0.0012177641070289127, ((Unit) , ((@a : Unit) β¦ (((Unit) , (Zero))))) : 0.0012177641070289127, ((Unit) , (rec(Unit)(((π° _0) , (π° _0)))(((Zero) , (Unit))))) : 0.0012177641070289127, ((Unit) , (rec(Unit)(((π° _0) , (π° _0)))(((Zero) , (Zero))))) : 0.0012177641070289127, ((Zero) , ((@a : Zero) β¦ (((Zero) , (Zero))))) : 0.0012177641070289127, ((Unit) , ((@a : Unit) β¦ (((Unit) , (Unit))))) : 0.0012177641070289127, ((Zero) , ((@a : Zero) β¦ (((Zero) , (Unit))))) : 0.0012177641070289127, ((Unit) , (rec(Unit)(((π° _0) , (π° _0)))(((Unit) , (Unit))))) : 0.0012177641070289127, ((Zero) , ((@a : Zero) β¦ (((Unit) , (Unit))))) : 0.0012177641070289127]))
- Vector(((β((
@a : π° _0) β¦ (((@a) , (@a))))) β (π° _0),0.5,[(((@a_1) , (((@a_2_1) , (@a_2_2)))) : β((@a : π° _0) β¦ (((@a) , (@a))))) β¦ (Unit) : 0.00550150845967484, (((@a_1) , (((@a_2_1) , (@a_2_2)))) : β((@a : π° _0) β¦ (((@a) , (@a))))) β¦ (Zero) : 0.00550150845967484, rec(β((@a : π° _0) β¦ (((@a) , (@a)))))(π° _0)((@a : π° _0) β¦ ((((@a_1) , (@a_2)) : ((@a) , (@a))) β¦ (@a))) : 0.0018545959933557422, rec(β((@a : π° _0) β¦ (((@a) , (@a)))))(π° _0)((@a : π° _0) β¦ (rec(((@a) , (@a)))(π° _0)((@a : @a) β¦ ((``@a :@a) β¦ (@a))))) : 0.0018545959933557422, rec(β((@a : π° _0) β¦ (((@a) , (@a)))))(π° _0)((@a : π° _0) β¦ (rec(((@a) , (@a)))(π° _0)((@a : @a) β¦ ((``@a :@a) β¦ (Unit))))) : 0.001442463550387799, rec(β((@a : π° _0) β¦ (((@a) , (@a)))))(π° _0)((@a : π° _0) β¦ ((((@a_1) , (@a_2)) : ((@a) , (@a))) β¦ (Zero))) : 0.001442463550387799, rec(β((@a : π° _0) β¦ (((@a) , (@a)))))(π° _0)((@a : π° _0) β¦ (rec(((@a) , (@a)))(π° _0)((@a : @a) β¦ ((``@a :@a) β¦ (Zero))))) : 0.001442463550387799, rec(β((@a : π° _0) β¦ (((@a) , (@a)))))(π° _0)((@a : π° _0) β¦ ((((@a_1) , (@a_2)) : ((@a) , (`@a))) β¦ (Unit))) : 0.001442463550387799]))
- Vector(((((π° _0) β (π° _0)) β (π° _0)) β (((π° _0) , (π° _0))),0.5,[(@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ (((Zero) , (Zero))) : 0.002582696444935221, (@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ (((Unit) , (Unit))) : 0.002582696444935221, (@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ (((Unit) , (Zero))) : 0.002582696444935221, (@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ (((Zero) , (Unit))) : 0.002582696444935221, (
@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ ((((@a) ((@a : π° _0) β¦ (@a))) , (Unit))) : 8.747417794332862E-4, (@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ (((Zero) , ((@a) ((@a : π° _0) β¦ (@a))))) : 8.747417794332862E-4, (@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ ((((@a) ((@a : π° _0) β¦ (@a))) , (Zero))) : 8.747417794332862E-4, (@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ (((Unit) , ((@a) ((@a : π° _0) β¦ (@a))))) : 8.747417794332862E-4, (@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ ((((@a) ((@a : π° _0) β¦ (Zero))) , (Zero))) : 4.7624830213590015E-4, (@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ ((((@a) ((@a : π° _0) β¦ (Unit))) , (Zero))) : 4.7624830213590015E-4, (@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ (((Unit) , ((@a) ((@a : π° _0) β¦ (Unit))))) : 4.7624830213590015E-4, (@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ (((Zero) , ((@a) ((@a : π° _0) β¦ (Zero))))) : 4.7624830213590015E-4, (@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ (((Zero) , ((@a) ((@a : π° _0) β¦ (Unit))))) : 4.7624830213590015E-4, (@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ ((((@a) ((@a : π° _0) β¦ (Unit))) , (Unit))) : 4.7624830213590015E-4, (@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ (((Unit) , ((@a) ((@a : π° _0) β¦ (Zero))))) : 4.7624830213590015E-4, (@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ ((((@a) ((@a : π° _0) β¦ (Zero))) , (Unit))) : 4.7624830213590015E-4, (@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ ((((@a) ((@a : π° _0) β¦ (@a))) , ((@a) ((@a : π° _0) β¦ (@a))))) : 3.160448018827611E-4, (@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ ((((@a) ((@a : π° _0) β¦ (@a))) , ((@a) ((@a : π° _0) β¦ (Unit))))) : 1.7206883658061435E-4, (@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ ((((@a) ((@a : π° _0) β¦ (Unit))) , ((@a) ((@a : π° _0) β¦ (@a))))) : 1.7206883658061435E-4, (@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ ((((@a) ((@a : π° _0) β¦ (@a))) , ((@a) ((@a : π° _0) β¦ (Zero))))) : 1.7206883658061435E-4, (@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ ((((@a) ((@a : π° _0) β¦ (Zero))) , ((@a) ((@a : π° _0) β¦ (@a))))) : 1.7206883658061435E-4, (@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ ((((@a) ((@a : π° _0) β¦ (Zero))) , ((@a) ((@a : π° _0) β¦ (Zero))))) : 9.368192213833443E-5, (@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ ((((@a) ((@a : π° _0) β¦ (Unit))) , ((@a) ((@a : π° _0) β¦ (Zero))))) : 9.368192213833443E-5, (@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ ((((@a) ((@a : π° _0) β¦ (Zero))) , ((@a) ((@a : π° _0) β¦ (Unit))))) : 9.368192213833443E-5, (@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ ((((@a) ((@a : π° _0) β¦ (Unit))) , ((`@a) ((@a : π° _0) β¦ (Unit))))) : 9.368192213833443E-5]))
- Vector(((
@a : π° _0 ) ~> (β((@a : (π° _0) β (π° _0)) β¦ ((@a) (@a)))),0.5,[(`@a : π° _0) β¦ ((((@b : π° _0) β¦ (Unit)) , (Star))) : 0.01956139089279971]))
- Vector((($skjlhfu : π° _0 ) ~> (β((``@a : (π° _0) β (π° _0)) β¦ (((``@a) ($skjlhfu)) β (Zero)))),0.5,[(
@a : π° _0) β¦ ((((@b : π° _0) β¦ (Zero)) , (rec(Zero)(Zero)))) : 0.010055656284838524, (@a : π° _0) β¦ ((((@b : π° _0) β¦ (Zero)) , ((@a : Zero) β¦ (@a)))) : 0.009498008842363305]))
- Vector(((
@a : π° _0 ) ~> ((((@a) , (π° _0))) β (@a)),0.5,[(@a : π° _0) β¦ (rec(((@a) , (π° _0)))(@a)((@a : `@a) β¦ ((@b : π° _0) β¦ (@a)))) : 0.01956139089279971]))
- Vector((β((
@a : π° _0) β¦ (((β((`@b : π° _0) β¦ (`@b))) β (@a)) β (Zero))),0.5,[((Zero) , ((@a : (β((@b : π° _0) β¦ (@b))) β (Zero)) β¦ ((@a) (((Unit) , (Star)))))) : 0.018879458674624202]))
- Vector((β((
@a : π° _0) β¦ (((@a) , ((π° _0) β (π° _0))))),0.5,[((Unit) , (((Star) , ((@a : π° _0) β¦ (@a))))) : 0.007624287945986619, ((Unit) , (((Star) , ((@a : π° _0) β¦ (Zero))))) : 0.0059300017357673705, ((Unit) , (((Star) , ((@a : π° _0) β¦ (Unit))))) : 0.0059300017357673705]))
- Vector(((((π° _0) β (π° _0)) β ((
@a : π° _0 ) ~> (@a))) β (π° _0),0.5,[(@a : ((π° _0) β (π° _0)) β ((@a : π° _0 ) ~> (@a))) β¦ (Unit) : 0.010702019943741578, (@a : ((π° _0) β (π° _0)) β ((@a : π° _0 ) ~> (@a))) β¦ (Zero) : 0.010702019943741578]))
- Vector(((((π° _0) β (((π° _0) , (π° _0)))) β (π° _0)) β (π° _0),0.5,[(@a : ((π° _0) β (((π° _0) , (π° _0)))) β (π° _0)) β¦ (Zero) : 0.008341767994169646, (@a : ((π° _0) β (((π° _0) , (π° _0)))) β (π° _0)) β¦ (Unit) : 0.008341767994169646, (
@a : ((π° _0) β (((π° _0) , (π° _0)))) β (π° _0)) β¦ ((@a) ((@a : π° _0) β¦ (((@a) , (@a))))) : 8.74450996045213E-4, (@a : ((π° _0) β (((π° _0) , (π° _0)))) β (π° _0)) β¦ ((@a) ((@a : π° _0) β¦ (((Zero) , (@a))))) : 4.7608998673572694E-4, (@a : ((π° _0) β (((π° _0) , (π° _0)))) β (π° _0)) β¦ ((@a) ((@a : π° _0) β¦ (((@a) , (Zero))))) : 4.7608998673572694E-4, (@a : ((π° _0) β (((π° _0) , (π° _0)))) β (π° _0)) β¦ ((@a) ((@a : π° _0) β¦ (((Unit) , (@a))))) : 4.7608998673572694E-4, (@a : ((π° _0) β (((π° _0) , (π° _0)))) β (π° _0)) β¦ ((@a) ((@a : π° _0) β¦ (((@a) , (Unit))))) : 4.7608998673572694E-4, (@a : ((π° _0) β (((π° _0) , (π° _0)))) β (π° _0)) β¦ ((@a) ((@a : π° _0) β¦ (((Unit) , (Unit))))) : 2.5920454833389583E-4, (@a : ((π° _0) β (((π° _0) , (π° _0)))) β (π° _0)) β¦ ((@a) ((@a : π° _0) β¦ (((Zero) , (Zero))))) : 2.5920454833389583E-4, (@a : ((π° _0) β (((π° _0) , (π° _0)))) β (π° _0)) β¦ ((@a) ((@a : π° _0) β¦ (((Zero) , (Unit))))) : 2.5920454833389583E-4, (@a : ((π° _0) β (((π° _0) , (π° _0)))) β (π° _0)) β¦ ((`@a) ((@a : π° _0) β¦ (((Unit) , (Zero))))) : 2.5920454833389583E-4]))
- Vector(((π° _0) β (((π° _0) , (((π° _0) , (π° _0))))),0.5,[(
@a : π° _0) β¦ (((@a) , (((@a) , (@a))))) : 0.0011715806589734647, (@a : π° _0) β¦ (((@a) , (((Zero) , (@a))))) : 9.112294014238058E-4, (@a : π° _0) β¦ (((Zero) , (((@a) , (@a))))) : 9.112294014238057E-4, (@a : π° _0) β¦ (((@a) , (((@a) , (Zero))))) : 9.112294014238058E-4, (@a : π° _0) β¦ (((@a) , (((Unit) , (@a))))) : 9.112294014238058E-4, (@a : π° _0) β¦ (((@a) , (((@a) , (Unit))))) : 9.112294014238058E-4, (@a : π° _0) β¦ (((Unit) , (((@a) , (@a))))) : 9.112294014238057E-4, (@a : π° _0) β¦ (((Zero) , (((@a) , (Unit))))) : 7.087339788851822E-4, (@a : π° _0) β¦ (((Unit) , (((Zero) , (@a))))) : 7.087339788851822E-4, (@a : π° _0) β¦ (((@a) , (((Zero) , (Unit))))) : 7.087339788851822E-4, (@a : π° _0) β¦ (((Unit) , (((Unit) , (@a))))) : 7.087339788851822E-4, (@a : π° _0) β¦ (((@a) , (((Zero) , (Zero))))) : 7.087339788851822E-4, (@a : π° _0) β¦ (((Zero) , (((@a) , (Zero))))) : 7.087339788851822E-4, (@a : π° _0) β¦ (((@a) , (((Unit) , (Unit))))) : 7.087339788851822E-4, (@a : π° _0) β¦ (((@a) , (((Unit) , (Zero))))) : 7.087339788851822E-4, (@a : π° _0) β¦ (((Zero) , (((Zero) , (@a))))) : 7.087339788851822E-4, (@a : π° _0) β¦ (((Zero) , (((Unit) , (@a))))) : 7.087339788851822E-4, (@a : π° _0) β¦ (((Unit) , (((@a) , (Unit))))) : 7.087339788851822E-4, (@a : π° _0) β¦ (((Unit) , (((@a) , (Zero))))) : 7.087339788851822E-4, (@a : π° _0) β¦ (((Unit) , (((Zero) , (Zero))))) : 5.512375391329192E-4, (@a : π° _0) β¦ (((Unit) , (((Unit) , (Zero))))) : 5.512375391329192E-4, (@a : π° _0) β¦ (((Unit) , (((Unit) , (Unit))))) : 5.512375391329192E-4, (@a : π° _0) β¦ (((Zero) , (((Unit) , (Unit))))) : 5.512375391329192E-4, (@a : π° _0) β¦ (((Unit) , (((Zero) , (Unit))))) : 5.512375391329192E-4, (@a : π° _0) β¦ (((Zero) , (((Zero) , (Unit))))) : 5.512375391329192E-4, (@a : π° _0) β¦ (((Zero) , (((Zero) , (Zero))))) : 5.512375391329192E-4, (@a : π° _0) β¦ (((Zero) , (((Unit) , (Zero))))) : 5.512375391329192E-4]))
- Vector(((((β((
@a : π° _0) β¦ (@a))) β (π° _0)) β (π° _0)) β (π° _0),0.5,[(@a : ((β((@a : π° _0) β¦ (@a))) β (π° _0)) β (π° _0)) β¦ (Zero) : 0.007409759231129201, (@a : ((β((@a : π° _0) β¦ (@a))) β (π° _0)) β (π° _0)) β¦ (Unit) : 0.007409759231129201, (@a : ((β((@a : π° _0) β¦ (@a))) β (π° _0)) β (π° _0)) β¦ ((@a) ((((@a_1) , (@a_2)) : β((@a : π° _0) β¦ (@a))) β¦ (Unit))) : 0.0018830029169258362, (@a : ((β((@a : π° _0) β¦ (@a))) β (π° _0)) β (π° _0)) β¦ ((@a) ((((@a_1) , (@a_2)) : β((@a : π° _0) β¦ (@a))) β¦ (Zero))) : 0.0018830029169258362, (@a : ((β((@a : π° _0) β¦ (@a))) β (π° _0)) β (π° _0)) β¦ ((@a) (rec(β((@a : π° _0) β¦ (@a)))(π° _0)((@a : π° _0) β¦ ((@a : @a) β¦ (@a))))) : 9.13320906774775E-4, (@a : ((β((@a : π° _0) β¦ (@a))) β (π° _0)) β (π° _0)) β¦ ((@a) (rec(β((@a : π° _0) β¦ (@a)))(π° _0)((@a : π° _0) β¦ ((@a : @a) β¦ (Unit))))) : 4.972524936884886E-4, (@a : ((β((@a : π° _0) β¦ (@a))) β (π° _0)) β (π° _0)) β¦ ((@a) (rec(β((@a : π° _0) β¦ (@a)))(π° _0)((@a : π° _0) β¦ ((@a :@a) β¦ (Zero))))) : 4.972524936884886E-4]))
- Vector(((((((
@a : π° _0 ) ~> (@a)) , (π° _0))) β (π° _0)) β (π° _0),0.5,[(@a : ((((@a : π° _0 ) ~> (@a)) , (π° _0))) β (π° _0)) β¦ (Zero) : 0.010249582562331496, (@a : ((((@a : π° _0 ) ~> (@a)) , (π° _0))) β (π° _0)) β¦ (Unit) : 0.010249582562331496]))
- Vector(((((((
@a : π° _0 ) ~> (@a)) β (π° _0)) , (π° _0))) β (π° _0),0.5,[(((@a_1) , (@a_2)) : ((((@a : π° _0 ) ~> (@a)) β (π° _0)) , (π° _0))) β¦ (Unit) : 0.005501508459674841, (((@a_1) , (@a_2)) : ((((@a : π° _0 ) ~> (@a)) β (π° _0)) , (π° _0))) β¦ (Zero) : 0.005501508459674841, rec(((((@a : π° _0 ) ~> (@a)) β (π° _0)) , (π° _0)))(π° _0)((@a : ((@a : π° _0 ) ~> (@a)) β (π° _0)) β¦ ((@a : π° _0) β¦ (@a))) : 0.00453784126033852, rec(((((@a : π° _0 ) ~> (@a)) β (π° _0)) , (π° _0)))(π° _0)((@a : ((@a : π° _0 ) ~> (@a)) β (π° _0)) β¦ ((@a : π° _0) β¦ (Zero))) : 0.0024706024639620833, rec(((((@a : π° _0 ) ~> (@a)) β (π° _0)) , (π° _0)))(π° _0)((@a : ((@a : π° _0 ) ~> (@a)) β (π° _0)) β¦ ((@a : π° _0) β¦ (Unit))) : 0.0024706024639620833]))
- Vector(((π° _0) β (β((
@b : π° _0) β¦ ((@b) β (@b)))),0.5,[(@a : π° _0) β¦ (((@a) , ((``@a :@a) β¦ (`@a)))) : 0.007585677790193472, (@a : π° _0) β¦ (((Zero) , (rec(Zero)(Zero)))) : 0.003107862406941383, (@a : π° _0) β¦ (((Zero) , ((@a : Zero) β¦ (@a)))) : 0.0029499858072974607, (@a : π° _0) β¦ (((Unit) , (rec(Unit)(Unit)(Star)))) : 0.0029499858072974602, (@a : π° _0) β¦ (((Unit) , ((@a : Unit) β¦ (`@a)))) : 0.0019100627529264143, (@a : π° _0) β¦ (((Unit) , ((@a : Unit) β¦ (Star)))) : 0.0010399230543710473]))
- Vector((β((
@a : π° _0) β¦ (PlusTyp(PlusTyp((π° _0) β (Zero),(@a) β (Zero)),(π° _0) β (Zero)))),0.5,[((Zero) , (FirstIncl(PlusTyp(PlusTyp((π° _0) β (Zero),(Zero) β (Zero)),(π° _0) β (Zero)),ScndIncl(PlusTyp((π° _0) β (Zero),(Zero) β (Zero)),rec(Zero)(Zero))))) : 0.010056544435595253, ((Zero) , (FirstIncl(PlusTyp(PlusTyp((π° _0) β (Zero),(Zero) β (Zero)),(π° _0) β (Zero)),ScndIncl(PlusTyp((π° _0) β (Zero),(Zero) β (Zero)),(@a : Zero) β¦ (@a))))) : 0.009439184160592733]))
- Vector((β((
@a : π° _0) β¦ (PlusTyp(PlusTyp((π° _0) β (Zero),(π° _0) β (Zero)),(@a) β (Zero)))),0.5,[((Zero) , (ScndIncl(PlusTyp(PlusTyp((π° _0) β (Zero),(π° _0) β (Zero)),(Zero) β (Zero)),(@a : Zero) β¦ (@a)))) : 0.009747864298093992, ((Zero) , (ScndIncl(PlusTyp(PlusTyp((π° _0) β (Zero),(π° _0) β (Zero)),(Zero) β (Zero)),rec(Zero)(Zero)))) : 0.009747864298093992]))
- Vector((β((
@a : π° _0) β¦ ((((π° _0) , (@a))) β (π° _0))),0.5,[((Unit) , ((((@a_1) , (@a_2)) : ((π° _0) , (Unit))) β¦ (Unit))) : 0.0024355364271901685, ((Zero) , (rec(((π° _0) , (Zero)))(π° _0)((@a : π° _0) β¦ (rec(Zero)(π° _0))))) : 0.002435536427190169, ((Unit) , ((((@a_1) , (@a_2)) : ((π° _0) , (Unit))) β¦ (Zero))) : 0.0024355364271901685, ((Zero) , ((((@a_1) , (@a_2)) : ((π° _0) , (Zero))) β¦ (Unit))) : 0.0024355364271901685, ((Zero) , ((((@a_1) , (@a_2)) : ((π° _0) , (Zero))) β¦ (Zero))) : 0.0024355364271901685, ((Unit) , (rec(((π° _0) , (Unit)))(π° _0)((@a : π° _0) β¦ (rec(Unit)(π° _0)(@a))))) : 9.530359932483269E-4, ((Unit) , (rec(((π° _0) , (Unit)))(π° _0)((@a : π° _0) β¦ ((@a : Unit) β¦ (@a))))) : 9.530359932483269E-4, ((Zero) , (rec(((π° _0) , (Zero)))(π° _0)((@a : π° _0) β¦ ((@a : Zero) β¦ (@a))))) : 9.530359932483272E-4, ((Unit) , (rec(((π° _0) , (Unit)))(π° _0)((@a : π° _0) β¦ ((@a : Unit) β¦ (Unit))))) : 7.412502169709209E-4, ((Unit) , (rec(((π° _0) , (Unit)))(π° _0)((@a : π° _0) β¦ ((@a : Unit) β¦ (Zero))))) : 7.412502169709209E-4, ((Unit) , (rec(((π° _0) , (Unit)))(π° _0)((@a : π° _0) β¦ (rec(Unit)(π° _0)(Unit))))) : 7.412502169709209E-4, ((Unit) , (rec(((π° _0) , (Unit)))(π° _0)((@a : π° _0) β¦ (rec(Unit)(π° _0)(Zero))))) : 7.412502169709209E-4, ((Zero) , (rec(((π° _0) , (Zero)))(π° _0)((@a : π° _0) β¦ ((@a : Zero) β¦ (Unit))))) : 7.41250216970921E-4, ((Zero) , (rec(((π° _0) , (Zero)))(π° _0)((@a : π° _0) β¦ ((@a : Zero) β¦ (Zero))))) : 7.41250216970921E-4]))
- Vector((β((
@a : π° _0) β¦ ((((π° _0) , (π° _0))) β (@a))),0.5,[((Unit) , ((((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ (Star))) : 0.00974786429809399, ((Unit) , (rec(((π° _0) , (π° _0)))(Unit)((@a : π° _0) β¦ ((@b : π° _0) β¦ (Star))))) : 0.00974786429809399]))
- Vector((β((
@a : π° _0) β¦ ((((π° _0) β (@a)) , (π° _0)))),0.5,[((Unit) , ((((@a : π° _0) β¦ (Star)) , (Zero)))) : 0.009747864298093992, ((Unit) , ((((@a : π° _0) β¦ (Star)) , (Unit)))) : 0.009747864298093992]))
- Vector((β((
@a : π° _0) β¦ ((((π° _0) β (π° _0)) , (@a)))),0.5,[((Unit) , ((((@a : π° _0) β¦ (@a)) , (Star)))) : 0.007624287945986619, ((Unit) , ((((@a : π° _0) β¦ (Zero)) , (Star)))) : 0.0059300017357673705, ((Unit) , ((((@a : π° _0) β¦ (Unit)) , (Star)))) : 0.0059300017357673705]))
- Vector(((((
@a : π° _0 ) ~> (@a)) β ((π° _0) β (π° _0))) β (π° _0),0.5,[(@a : ((@a : π° _0 ) ~> (@a)) β ((π° _0) β (π° _0))) β¦ (Zero) : 0.010249582562331496, (@a : ((@a : π° _0 ) ~> (@a)) β ((π° _0) β (π° _0))) β¦ (Unit) : 0.010249582562331496]))
- Vector((β((
@a : π° _0) β¦ (PlusTyp((@a) β (Zero),β((@b : π° _0) β¦ ((@b) β (Zero)))))),0.5,[((Unit) , (ScndIncl(PlusTyp((Unit) β (Zero),β((@b : π° _0) β¦ ((@b) β (Zero)))),((Zero) , (rec(Zero)(Zero)))))) : 0.005028301543989263, ((Unit) , (ScndIncl(PlusTyp((Unit) β (Zero),β((@b : π° _0) β¦ ((@b) β (Zero)))),((Zero) , ((@a : Zero) β¦ (@a)))))) : 0.004719619606185141, ((Zero) , (ScndIncl(PlusTyp((Zero) β (Zero),β((@b : π° _0) β¦ ((@b) β (Zero)))),((Zero) , (rec(Zero)(Zero)))))) : 0.0025112346419237106, ((Zero) , (FirstIncl(PlusTyp((Zero) β (Zero),β((@b : π° _0) β¦ ((@b) β (Zero)))),rec(Zero)(Zero)))) : 0.0024355222225081407, ((Zero) , (FirstIncl(PlusTyp((Zero) β (Zero),β((@b : π° _0) β¦ ((@b) β (Zero)))),(@a : Zero) β¦ (@a)))) : 0.0024355222225081407, ((Zero) , (ScndIncl(PlusTyp((Zero) β (Zero),β((@b : π° _0) β¦ ((@b) β (Zero)))),((Zero) , ((@a : Zero) β¦ (@a)))))) : 0.0023598098030925703]))
- Vector((β((
@a : π° _0) β¦ (PlusTyp((@a) β (Zero),((`@a) β (π° _0)) β (Zero)))),0.5,[((Zero) , (FirstIncl(PlusTyp((Zero) β (Zero),((Zero) β (π° _0)) β (Zero)),rec(Zero)(Zero)))) : 0.009747864298093989, ((Zero) , (FirstIncl(PlusTyp((Zero) β (Zero),((Zero) β (π° _0)) β (Zero)),(@a : Zero) β¦ (`@a)))) : 0.009747864298093989]))
- Vector((β((
@a : π° _0) β¦ ((@a) β ((`@a) β (π° _0)))),0.5,[((Zero) , (rec(Zero)((Zero) β (π° _0)))) : 0.006368653342853495, ((Zero) , ((@a : Zero) β¦ (rec(Zero)(π° _0)))) : 0.0024687820268516057, ((Unit) , (rec(Unit)((Unit) β (π° _0))(rec(Unit)(π° _0)(Unit)))) : 0.0012177641070289125, ((Zero) , ((@a : Zero) β¦ ((@b : Zero) β¦ (Unit)))) : 0.0012177641070289125, ((Unit) , (rec(Unit)((Unit) β (π° _0))((@a : Unit) β¦ (Zero)))) : 0.0012177641070289125, ((Unit) , (rec(Unit)((Unit) β (π° _0))(rec(Unit)(π° _0)(Zero)))) : 0.0012177641070289125, ((Unit) , (rec(Unit)((Unit) β (π° _0))((@a : Unit) β¦ (Unit)))) : 0.0012177641070289125, ((Unit) , ((@a : Unit) β¦ (rec(Unit)(π° _0)(Unit)))) : 0.0012177641070289125, ((Zero) , ((@a : Zero) β¦ ((@b : Zero) β¦ (Zero)))) : 0.0012177641070289125, ((Unit) , ((@a : Unit) β¦ (rec(Unit)(π° _0)(Zero)))) : 0.0012177641070289125, ((Unit) , ((@a : Unit) β¦ ((@b : Unit) β¦ (Zero)))) : 0.0012177641070289125, ((Unit) , ((@a : Unit) β¦ ((@b : Unit) β¦ (Unit)))) : 0.0012177641070289125]))
- Vector((β((
@a : π° _0) β¦ ((@a) β ((@b : π° _0 ) ~> (@b)))),0.5,[((Zero) , (rec(Zero)((@b : π° _0 ) ~> (@b)))) : 0.02102777659811042]))
- Vector((((π° _0) β (π° _0)) β (((
@a : π° _0 ) ~> (@a)) β (π° _0)),0.5,[(@a : (π° _0) β (π° _0)) β¦ ((@a : (@a : π° _0 ) ~> (@a)) β¦ ((@a) (Zero))) : 0.0036011443878136186, (@a : (π° _0) β (π° _0)) β¦ ((@a : (@a : π° _0 ) ~> (@a)) β¦ ((@a) (Unit))) : 0.0036011443878136186, (@a : (π° _0) β (π° _0)) β¦ ((@a : (@a : π° _0 ) ~> (@a)) β¦ (Unit)) : 0.0035274889208062065, (@a : (π° _0) β (π° _0)) β¦ ((@a : (@a : π° _0 ) ~> (@a)) β¦ (Zero)) : 0.0035274889208062065, (@a : (π° _0) β (π° _0)) β¦ ((@a : (@a : π° _0 ) ~> (@a)) β¦ ((@a) ((@a) (Zero)))) : 0.002752052136213357, (@a : (π° _0) β (π° _0)) β¦ ((@a : (@a : π° _0 ) ~> (@a)) β¦ ((@a) ((@a) (Unit)))) : 0.002752052136213357]))
- Vector((((π° _0) β (((π° _0) β (π° _0)) β (π° _0))) β (π° _0),0.5,[(@a : (π° _0) β (((π° _0) β (π° _0)) β (π° _0))) β¦ (Zero) : 0.007657048119245081, (@a : (π° _0) β (((π° _0) β (π° _0)) β (π° _0))) β¦ (Unit) : 0.007657048119245081, (
@a : (π° _0) β (((π° _0) β (π° _0)) β (π° _0))) β¦ (((@a) (Unit)) ((@a : π° _0) β¦ (@a))) : 0.0016257681840945943, (@a : (π° _0) β (((π° _0) β (π° _0)) β (π° _0))) β¦ (((@a) (Zero)) ((@a : π° _0) β¦ (@a))) : 0.0016257681840945943, (@a : (π° _0) β (((π° _0) β (π° _0)) β (π° _0))) β¦ (((@a) (Unit)) ((@a : π° _0) β¦ (Unit))) : 4.8338312949590975E-4, (@a : (π° _0) β (((π° _0) β (π° _0)) β (π° _0))) β¦ (((@a) (Zero)) ((@a : π° _0) β¦ (Unit))) : 4.8338312949590975E-4, (@a : (π° _0) β (((π° _0) β (π° _0)) β (π° _0))) β¦ (((@a) (Zero)) ((@a : π° _0) β¦ (Zero))) : 4.8338312949590975E-4, (@a : (π° _0) β (((π° _0) β (π° _0)) β (π° _0))) β¦ (((@a) (Unit)) ((@a : π° _0) β¦ (Zero))) : 4.8338312949590975E-4]))
- Vector((((((π° _0) , ((π° _0) β (π° _0)))) β (π° _0)) β (π° _0),0.5,[(@a : (((π° _0) , ((π° _0) β (π° _0)))) β (π° _0)) β¦ (Zero) : 0.008341767994169644, (@a : (((π° _0) , ((π° _0) β (π° _0)))) β (π° _0)) β¦ (Unit) : 0.008341767994169644, (
@a : (((π° _0) , ((π° _0) β (π° _0)))) β (π° _0)) β¦ ((@a) (((Unit) , ((@a : π° _0) β¦ (@a))))) : 9.133154847583331E-4, (@a : (((π° _0) , ((π° _0) β (π° _0)))) β (π° _0)) β¦ ((@a) (((Zero) , ((@a : π° _0) β¦ (@a))))) : 9.133154847583331E-4, (@a : (((π° _0) , ((π° _0) β (π° _0)))) β (π° _0)) β¦ ((@a) (((Zero) , ((@a : π° _0) β¦ (Unit))))) : 4.972495417017591E-4, (@a : (((π° _0) , ((π° _0) β (π° _0)))) β (π° _0)) β¦ ((@a) (((Unit) , ((@a : π° _0) β¦ (Unit))))) : 4.972495417017591E-4, (@a : (((π° _0) , ((π° _0) β (π° _0)))) β (π° _0)) β¦ ((@a) (((Unit) , ((@a : π° _0) β¦ (Zero))))) : 4.972495417017591E-4, (@a : (((π° _0) , ((π° _0) β (π° _0)))) β (π° _0)) β¦ ((@a) (((Zero) , ((@a : π° _0) β¦ (Zero))))) : 4.972495417017591E-4]))
- Vector((((((π° _0) β ((π° _0) β (π° _0))) , (π° _0))) β (π° _0),0.5,[(((@a_1) , (@a_2)) : (((π° _0) β ((π° _0) β (π° _0))) , (π° _0))) β¦ (Unit) : 0.005501508459674841, (((@a_1) , (@a_2)) : (((π° _0) β ((π° _0) β (π° _0))) , (π° _0))) β¦ (Zero) : 0.005501508459674841, rec((((π° _0) β ((π° _0) β (π° _0))) , (π° _0)))(π° _0)((
@a : (π° _0) β ((π° _0) β (π° _0))) β¦ ((@a) (Zero))) : 0.0018112827111329965, rec((((π° _0) β ((π° _0) β (π° _0))) , (π° _0)))(π° _0)((@a : (π° _0) β ((π° _0) β (π° _0))) β¦ ((@a) (Unit))) : 0.0018112827111329965, rec((((π° _0) β ((π° _0) β (π° _0))) , (π° _0)))(π° _0)((@a : (π° _0) β ((π° _0) β (π° _0))) β¦ ((@a : π° _0) β¦ (@a))) : 0.0013146030618534387, rec((((π° _0) β ((π° _0) β (π° _0))) , (π° _0)))(π° _0)((@a : (π° _0) β ((π° _0) β (π° _0))) β¦ ((@a : π° _0) β¦ (((@a) (@a)) (@a)))) : 8.458189892184907E-4, rec((((π° _0) β ((π° _0) β (π° _0))) , (π° _0)))(π° _0)((@a : (π° _0) β ((π° _0) β (π° _0))) β¦ ((@a : π° _0) β¦ (Zero))) : 7.157283336757612E-4, rec((((π° _0) β ((π° _0) β (π° _0))) , (π° _0)))(π° _0)((@a : (π° _0) β ((π° _0) β (π° _0))) β¦ ((@a : π° _0) β¦ (Unit))) : 7.157283336757612E-4, rec((((π° _0) β ((π° _0) β (π° _0))) , (π° _0)))(π° _0)((@a : (π° _0) β ((π° _0) β (π° _0))) β¦ ((@a : π° _0) β¦ (((@a) (Unit)) (@a)))) : 4.6050144968562255E-4, rec((((π° _0) β ((π° _0) β (π° _0))) , (π° _0)))(π° _0)((@a : (π° _0) β ((π° _0) β (π° _0))) β¦ ((@a : π° _0) β¦ (((@a) (Zero)) (@a)))) : 4.6050144968562255E-4, rec((((π° _0) β ((π° _0) β (π° _0))) , (π° _0)))(π° _0)((@a : (π° _0) β ((π° _0) β (π° _0))) β¦ ((@a : π° _0) β¦ (((@a) (@a)) (Unit)))) : 4.605014496856225E-4, rec((((π° _0) β ((π° _0) β (π° _0))) , (π° _0)))(π° _0)((@a : (π° _0) β ((π° _0) β (π° _0))) β¦ ((@a : π° _0) β¦ (((@a) (@a)) (Zero)))) : 4.605014496856225E-4, rec((((π° _0) β ((π° _0) β (π° _0))) , (π° _0)))(π° _0)((@a : (π° _0) β ((π° _0) β (π° _0))) β¦ ((@a : π° _0) β¦ (((@a) (Zero)) (Unit)))) : 1.0564906220768634E-4, rec((((π° _0) β ((π° _0) β (π° _0))) , (π° _0)))(π° _0)((@a : (π° _0) β ((π° _0) β (π° _0))) β¦ ((@a : π° _0) β¦ (((@a) (Unit)) (Unit)))) : 1.0564906220768634E-4, rec((((π° _0) β ((π° _0) β (π° _0))) , (π° _0)))(π° _0)((@a : (π° _0) β ((π° _0) β (π° _0))) β¦ ((@a : π° _0) β¦ (((@a) (Zero)) (Zero)))) : 1.0564906220768634E-4, rec((((π° _0) β ((π° _0) β (π° _0))) , (π° _0)))(π° _0)((@a : (π° _0) β ((π° _0) β (π° _0))) β¦ ((@a : π° _0) β¦ (((`@a) (Unit)) (Zero)))) : 1.0564906220768634E-4]))
- Vector(((((π° _0) β (π° _0)) β (((π° _0) , (π° _0)))) β (π° _0),0.5,[(@a : ((π° _0) β (π° _0)) β (((π° _0) , (π° _0)))) β¦ (Unit) : 0.0102495825623315, (@a : ((π° _0) β (π° _0)) β (((π° _0) , (π° _0)))) β¦ (Zero) : 0.0102495825623315]))
- Vector((((
@a : π° _0 ) ~> (@a)) β (β((@a : π° _0) β¦ (@a))),0.5,[(@a : (@a : π° _0 ) ~> (@a)) β¦ (((Zero) , ((@a) (Zero)))) : 0.009747921150174409, (@a : (@a : π° _0 ) ~> (@a)) β¦ (((Unit) , ((@a) (Unit)))) : 0.006255776778772358, (@a : (@a : π° _0 ) ~> (@a)) β¦ (((Unit) , (Star))) : 0.0034863121112602086]))
- Vector(((((π° _0) , (π° _0))) β (((π° _0) β (π° _0)) β (π° _0)),0.5,[rec(((π° _0) , (π° _0)))(((π° _0) β (π° _0)) β (π° _0))((@a : π° _0) β¦ ((
@b : π° _0) β¦ ((@a : (π° _0) β (π° _0)) β¦ ((@a) (@b))))) : 0.002105916180003314, (((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ ((@a : (π° _0) β (π° _0)) β¦ ((@a) ((@a) (Unit)))) : 0.001715951566651914, (((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ ((@a : (π° _0) β (π° _0)) β¦ ((@a) ((@a) (Zero)))) : 0.001715951566651914, (((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ ((@a : (π° _0) β (π° _0)) β¦ (Unit)) : 0.0017058850915093516, (((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ ((@a : (π° _0) β (π° _0)) β¦ (Zero)) : 0.0017058850915093516, rec(((π° _0) , (π° _0)))(((π° _0) β (π° _0)) β (π° _0))((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@a : (π° _0) β (π° _0)) β¦ ((@a) (@a))))) : 0.0014741413260023198, (((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ ((@a : (π° _0) β (π° _0)) β¦ ((@a) (Zero))) : 0.0013058635249967763, (((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ ((@a : (π° _0) β (π° _0)) β¦ ((@a) (Unit))) : 0.0013058635249967763, rec(((π° _0) , (π° _0)))(((π° _0) β (π° _0)) β (π° _0))((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@a : (π° _0) β (π° _0)) β¦ (@b)))) : 0.001261737716985503, rec(((π° _0) , (π° _0)))(((π° _0) β (π° _0)) β (π° _0))((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@a : (π° _0) β (π° _0)) β¦ ((@a) (Zero))))) : 0.0011465543646684714, rec(((π° _0) , (π° _0)))(((π° _0) β (π° _0)) β (π° _0))((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@a : (π° _0) β (π° _0)) β¦ ((@a) (Unit))))) : 0.0011465543646684714, rec(((π° _0) , (π° _0)))(((π° _0) β (π° _0)) β (π° _0))((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@a : (π° _0) β (π° _0)) β¦ (@a)))) : 8.83216401889852E-4, rec(((π° _0) , (π° _0)))(((π° _0) β (π° _0)) β (π° _0))((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@a : (π° _0) β (π° _0)) β¦ (Zero)))) : 6.869460903587744E-4, rec(((π° _0) , (π° _0)))(((π° _0) β (π° _0)) β (π° _0))((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@a : (π° _0) β (π° _0)) β¦ (Unit)))) : 6.869460903587744E-4]))
- Vector(((((
@a : π° _0 ) ~> ((@a) β (π° _0))) β (π° _0)) β (π° _0),0.5,[(@a : ((@a : π° _0 ) ~> ((@a) β (π° _0))) β (π° _0)) β¦ (Zero) : 0.008341767994169646, (@a : ((@a : π° _0 ) ~> ((@a) β (π° _0))) β (π° _0)) β¦ (Unit) : 0.008341767994169646, (@a : ((@a : π° _0 ) ~> ((@a) β (π° _0))) β (π° _0)) β¦ ((@a) ((@a : π° _0) β¦ ((@a : @a) β¦ (@a)))) : 0.001826630969516667, (@a : ((@a : π° _0 ) ~> ((@a) β (π° _0))) β (π° _0)) β¦ ((@a) ((@a : π° _0) β¦ ((@a : @a) β¦ (Unit)))) : 9.944990834035187E-4, (@a : ((@a : π° _0 ) ~> ((@a) β (π° _0))) β (π° _0)) β¦ ((@a) ((@a : π° _0) β¦ ((@a :@a) β¦ (Zero)))) : 9.944990834035187E-4]))
- Vector(((((π° _0) β ((
@b : π° _0 ) ~> (@b))) β (π° _0)) β (π° _0),0.5,[(@a : ((π° _0) β ((@b : π° _0 ) ~> (@b))) β (π° _0)) β¦ (Zero) : 0.010249582562331496, (@a : ((π° _0) β ((@b : π° _0 ) ~> (@b))) β (π° _0)) β¦ (Unit) : 0.010249582562331496]))
- Vector((((((((π° _0) , (π° _0))) β (π° _0)) , (π° _0))) β (π° _0),0.5,[(((@a_1) , (@a_2)) : (((((π° _0) , (π° _0))) β (π° _0)) , (π° _0))) β¦ (Unit) : 0.005501508459674842, (((@a_1) , (@a_2)) : (((((π° _0) , (π° _0))) β (π° _0)) , (π° _0))) β¦ (Zero) : 0.005501508459674842, rec((((((π° _0) , (π° _0))) β (π° _0)) , (π° _0)))(π° _0)((@a : (((π° _0) , (π° _0))) β (π° _0)) β¦ ((
@a : π° _0) β¦ (@a))) : 0.0028780680379542757, rec((((((π° _0) , (π° _0))) β (π° _0)) , (π° _0)))(π° _0)((@a : (((π° _0) , (π° _0))) β (π° _0)) β¦ ((@a : π° _0) β¦ (Zero))) : 0.0015669481539973278, rec((((((π° _0) , (π° _0))) β (π° _0)) , (π° _0)))(π° _0)((@a : (((π° _0) , (π° _0))) β (π° _0)) β¦ ((@a : π° _0) β¦ (Unit))) : 0.0015669481539973278, rec((((((π° _0) , (π° _0))) β (π° _0)) , (π° _0)))(π° _0)((@a : (((π° _0) , (π° _0))) β (π° _0)) β¦ ((@a : π° _0) β¦ ((@a) (((@a) , (@a)))))) : 7.945722873116057E-4, rec((((((π° _0) , (π° _0))) β (π° _0)) , (π° _0)))(π° _0)((@a : (((π° _0) , (π° _0))) β (π° _0)) β¦ ((@a : π° _0) β¦ ((@a) (((Unit) , (@a)))))) : 4.326004675363185E-4, rec((((((π° _0) , (π° _0))) β (π° _0)) , (π° _0)))(π° _0)((@a : (((π° _0) , (π° _0))) β (π° _0)) β¦ ((@a : π° _0) β¦ ((@a) (((Zero) , (@a)))))) : 4.326004675363185E-4, rec((((((π° _0) , (π° _0))) β (π° _0)) , (π° _0)))(π° _0)((@a : (((π° _0) , (π° _0))) β (π° _0)) β¦ ((@a : π° _0) β¦ ((@a) (((@a) , (Unit)))))) : 4.326004675363185E-4, rec((((((π° _0) , (π° _0))) β (π° _0)) , (π° _0)))(π° _0)((@a : (((π° _0) , (π° _0))) β (π° _0)) β¦ ((@a : π° _0) β¦ ((@a) (((@a) , (Zero)))))) : 4.326004675363185E-4, rec((((((π° _0) , (π° _0))) β (π° _0)) , (π° _0)))(π° _0)((@a : (((π° _0) , (π° _0))) β (π° _0)) β¦ ((@a : π° _0) β¦ ((@a) (((Zero) , (Unit)))))) : 2.355269212142178E-4, rec((((((π° _0) , (π° _0))) β (π° _0)) , (π° _0)))(π° _0)((@a : (((π° _0) , (π° _0))) β (π° _0)) β¦ ((@a : π° _0) β¦ ((@a) (((Unit) , (Unit)))))) : 2.355269212142178E-4, rec((((((π° _0) , (π° _0))) β (π° _0)) , (π° _0)))(π° _0)((@a : (((π° _0) , (π° _0))) β (π° _0)) β¦ ((@a : π° _0) β¦ ((@a) (((Zero) , (Zero)))))) : 2.355269212142178E-4, rec((((((π° _0) , (π° _0))) β (π° _0)) , (π° _0)))(π° _0)((@a : (((π° _0) , (π° _0))) β (π° _0)) β¦ ((@a : π° _0) β¦ ((`@a) (((Unit) , (Zero)))))) : 2.355269212142178E-4]))
- Vector((((((((π° _0) , (π° _0))) , (π° _0))) β (π° _0)) β (π° _0),0.5,[(@a : (((((π° _0) , (π° _0))) , (π° _0))) β (π° _0)) β¦ (Zero) : 0.008341767994169646, (@a : (((((π° _0) , (π° _0))) , (π° _0))) β (π° _0)) β¦ (Unit) : 0.008341767994169646, (
@a : (((((π° _0) , (π° _0))) , (π° _0))) β (π° _0)) β¦ ((@a) (((((Zero) , (Zero))) , (Unit)))) : 4.7695364204046296E-4, (@a : (((((π° _0) , (π° _0))) , (π° _0))) β (π° _0)) β¦ ((@a) (((((Zero) , (Unit))) , (Zero)))) : 4.7695364204046296E-4, (@a : (((((π° _0) , (π° _0))) , (π° _0))) β (π° _0)) β¦ ((@a) (((((Unit) , (Unit))) , (Zero)))) : 4.7695364204046296E-4, (@a : (((((π° _0) , (π° _0))) , (π° _0))) β (π° _0)) β¦ ((@a) (((((Zero) , (Unit))) , (Unit)))) : 4.7695364204046296E-4, (@a : (((((π° _0) , (π° _0))) , (π° _0))) β (π° _0)) β¦ ((@a) (((((Zero) , (Zero))) , (Zero)))) : 4.7695364204046296E-4, (@a : (((((π° _0) , (π° _0))) , (π° _0))) β (π° _0)) β¦ ((@a) (((((Unit) , (Zero))) , (Zero)))) : 4.7695364204046296E-4, (@a : (((((π° _0) , (π° _0))) , (π° _0))) β (π° _0)) β¦ ((@a) (((((Unit) , (Unit))) , (Unit)))) : 4.7695364204046296E-4, (@a : (((((π° _0) , (π° _0))) , (π° _0))) β (π° _0)) β¦ ((@a) (((((Unit) , (Zero))) , (Unit)))) : 4.7695364204046296E-4]))
- Vector(((π° _0) β (β((
@b : π° _0) β¦ ((π° _0) β (@b)))),0.5,[(@a : π° _0) β¦ (((Unit) , ((@b : π° _0) β¦ (Star)))) : 0.01956139089279971]))
- Vector(((
@a : π° _0 ) ~> (((π° _0) , ((@a) β (π° _0)))),0.5,[(@a : π° _0) β¦ (((@a) , ((@a :@a) β¦ (@a)))) : 0.002994039461821073, (@a : π° _0) β¦ (((@a) , ((@a : @a) β¦ (Unit)))) : 0.0023286973591941677, (@a : π° _0) β¦ (((Zero) , ((@a :@a) β¦ (@a)))) : 0.0023286973591941673, (@a : π° _0) β¦ (((Unit) , ((@a :@a) β¦ (@a)))) : 0.0023286973591941673, (@a : π° _0) β¦ (((@a) , ((@a : @a) β¦ (Zero)))) : 0.0023286973591941677, (@a : π° _0) β¦ (((Unit) , ((@a :@a) β¦ (Unit)))) : 0.0018112090571510192, (@a : π° _0) β¦ (((Zero) , ((@a : @a) β¦ (Zero)))) : 0.0018112090571510192, (@a : π° _0) β¦ (((Unit) , ((@a :@a) β¦ (Zero)))) : 0.0018112090571510192, (@a : π° _0) β¦ (((Zero) , ((@a : `@a) β¦ (Unit)))) : 0.0018112090571510192]))
- Vector((β((
@a : π° _0) β¦ ((π° _0) β ((@a) β (π° _0)))),0.5,[((Zero) , ((@a : π° _0) β¦ (rec(Zero)(π° _0)))) : 0.004937564053703211, ((Zero) , ((@a : π° _0) β¦ ((@a : Zero) β¦ (@a)))) : 0.0019060655588278637, ((Unit) , ((@a : π° _0) β¦ (rec(Unit)(π° _0)(@a)))) : 0.0019060655588278629, ((Unit) , ((@a : π° _0) β¦ ((@a : Unit) β¦ (@a)))) : 0.0019060655588278629, ((Unit) , ((@a : π° _0) β¦ (rec(Unit)(π° _0)(Unit)))) : 0.001482495434643893, ((Zero) , ((@a : π° _0) β¦ ((@a : Zero) β¦ (Unit)))) : 0.0014824954346438935, ((Unit) , ((@a : π° _0) β¦ ((@a : Unit) β¦ (Zero)))) : 0.001482495434643893, ((Unit) , ((@a : π° _0) β¦ ((@a : Unit) β¦ (Unit)))) : 0.001482495434643893, ((Zero) , ((@a : π° _0) β¦ ((@a : Zero) β¦ (Zero)))) : 0.0014824954346438935, ((Unit) , ((@a : π° _0) β¦ (rec(Unit)(π° _0)(Zero)))) : 0.001482495434643893]))
- Vector(((
@a : π° _0 ) ~> (((π° _0) β (@a)) β (@a)),0.5,[(@a : π° _0) β¦ ((@a : (π° _0) β (`@a)) β¦ ((@a) (@a))) : 0.007651719591629912, (@a : π° _0) β¦ ((@a : (π° _0) β (`@a)) β¦ ((@a) (Zero))) : 0.005951337460156598, (@a : π° _0) β¦ ((``@a : (π° _0) β (@a)) β¦ ((``@a) (Unit))) : 0.005951337460156598]))
- Vector((β((
@a : π° _0) β¦ (PlusTyp(β((@b : π° _0) β¦ ((@b) β (Zero))),(@a) β (Zero)))),0.5,[((Unit) , (FirstIncl(PlusTyp(β((@b : π° _0) β¦ ((@b) β (Zero))),(Unit) β (Zero)),((Zero) , (rec(Zero)(Zero)))))) : 0.005028301543989262, ((Unit) , (FirstIncl(PlusTyp(β((@b : π° _0) β¦ ((@b) β (Zero))),(Unit) β (Zero)),((Zero) , ((@a : Zero) β¦ (@a)))))) : 0.00471961960618514, ((Zero) , (FirstIncl(PlusTyp(β((@b : π° _0) β¦ ((@b) β (Zero))),(Zero) β (Zero)),((Zero) , (rec(Zero)(Zero)))))) : 0.00251123464192371, ((Zero) , (ScndIncl(PlusTyp(β((@b : π° _0) β¦ ((@b) β (Zero))),(Zero) β (Zero)),rec(Zero)(Zero)))) : 0.00243552222250814, ((Zero) , (ScndIncl(PlusTyp(β((@b : π° _0) β¦ ((@b) β (Zero))),(Zero) β (Zero)),(@a : Zero) β¦ (@a)))) : 0.00243552222250814, ((Zero) , (FirstIncl(PlusTyp(β((@b : π° _0) β¦ ((@b) β (Zero))),(Zero) β (Zero)),((Zero) , ((@a : Zero) β¦ (@a)))))) : 0.00235980980309257]))
- Vector((β((
@a : π° _0) β¦ (PlusTyp(((@a) β (π° _0)) β (Zero),(`@a) β (Zero)))),0.5,[((Zero) , (ScndIncl(PlusTyp(((Zero) β (π° _0)) β (Zero),(Zero) β (Zero)),rec(Zero)(Zero)))) : 0.009747864298093989, ((Zero) , (ScndIncl(PlusTyp(((Zero) β (π° _0)) β (Zero),(Zero) β (Zero)),(@a : Zero) β¦ (`@a)))) : 0.009747864298093989]))
- Vector(((
@a : π° _0 ) ~> ((((@a) β (@a)) , (π° _0))),0.5,[(@a : π° _0) β¦ ((((@a : `@a) β¦ (@a)) , (@a))) : 0.007651434180209409, (@a : π° _0) β¦ ((((@a : `@a) β¦ (@a)) , (Zero))) : 0.005951115473496206, (@a : π° _0) β¦ ((((``@a :@a) β¦ (``@a)) , (Unit))) : 0.005951115473496206]))
- Vector((β((
@a : π° _0) β¦ (((@a) β (`@a)) β (π° _0))),0.5,[((Unit) , ((@a : (Unit) β (Unit)) β¦ (Zero))) : 0.004871072854380339, ((Zero) , ((@a : (Zero) β (Zero)) β¦ (Zero))) : 0.004871072854380339, ((Zero) , ((@a : (Zero) β (Zero)) β¦ (Unit))) : 0.004871072854380339, ((Unit) , ((@a : (Unit) β (Unit)) β¦ (Unit))) : 0.004871072854380339]))
- Vector((β((
@a : π° _0) β¦ (((@b : π° _0 ) ~> (@b)) β (@a))),0.5,[((Zero) , ((@a : (@b : π° _0 ) ~> (@b)) β¦ ((@a) (Zero)))) : 0.009747921150174404, ((Unit) , ((@a : (@b : π° _0 ) ~> (@b)) β¦ ((@a) (Unit)))) : 0.006255776778772355, ((Unit) , ((@a : (@b : π° _0 ) ~> (@b)) β¦ (Star))) : 0.003486312111260207]))
- Vector((β((
@a : π° _0) β¦ (((@a) β (π° _0)) β (`@a))),0.5,[((Unit) , ((@a : (Unit) β (π° _0)) β¦ (Star))) : 0.019495728596187988]))
- Vector((((π° _0) β (π° _0)) β ((((π° _0) , (π° _0))) β (π° _0)),0.5,[(
@a : (π° _0) β (π° _0)) β¦ (rec(((π° _0) , (π° _0)))(π° _0)((@a : π° _0) β¦ (@a))) : 0.002384212598523225, (@a : (π° _0) β (π° _0)) β¦ (rec(((π° _0) , (π° _0)))(π° _0)((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@a) (@b))))) : 0.0017798735783494189, (@a : (π° _0) β (π° _0)) β¦ ((((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ ((@a) ((@a) (Unit)))) : 0.0017160137087745004, (@a : (π° _0) β (π° _0)) β¦ ((((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ ((@a) ((@a) (Zero)))) : 0.0017160137087745004, (@a : (π° _0) β (π° _0)) β¦ ((((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ (Unit)) : 0.0017059468690807792, (@a : (π° _0) β (π° _0)) β¦ ((((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ (Zero)) : 0.0017059468690807792, (@a : (π° _0) β (π° _0)) β¦ ((((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ ((@a) (Zero))) : 0.0013059108160350717, (@a : (π° _0) β (π° _0)) β¦ ((((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ ((@a) (Unit))) : 0.0013059108160350717, (@a : (π° _0) β (π° _0)) β¦ (rec(((π° _0) , (π° _0)))(π° _0)((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@a) (@a))))) : 0.0012459115048445923, (@a : (π° _0) β (π° _0)) β¦ (rec(((π° _0) , (π° _0)))(π° _0)((@a : π° _0) β¦ ((@b : π° _0) β¦ (@b)))) : 0.0010663926924507888, (@a : (π° _0) β (π° _0)) β¦ (rec(((π° _0) , (π° _0)))(π° _0)((@a : π° _0) β¦ ((@b : π° _0) β¦ (@a)))) : 7.464748847155523E-4, (@a : (π° _0) β (π° _0)) β¦ (rec(((π° _0) , (π° _0)))(π° _0)((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@a) (Zero))))) : 6.783295970820558E-4, (@a : (π° _0) β (π° _0)) β¦ (rec(((π° _0) , (π° _0)))(π° _0)((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@a) (Unit))))) : 6.783295970820558E-4, (@a : (π° _0) β (π° _0)) β¦ (rec(((π° _0) , (π° _0)))(π° _0)((@a : π° _0) β¦ ((@b : π° _0) β¦ (Unit)))) : 4.064141039006894E-4, (@a : (π° _0) β (π° _0)) β¦ (rec(((π° _0) , (π° _0)))(π° _0)((@a : π° _0) β¦ ((@b : π° _0) β¦ (Zero)))) : 4.064141039006894E-4]))
- Vector((((((π° _0) β (π° _0)) , ((π° _0) β (π° _0)))) β (π° _0),0.5,[(((@a_1) , (@a_2)) : (((π° _0) β (π° _0)) , ((π° _0) β (π° _0)))) β¦ (Zero) : 0.005501508459674839, (((@a_1) , (@a_2)) : (((π° _0) β (π° _0)) , ((π° _0) β (π° _0)))) β¦ (Unit) : 0.005501508459674839, rec((((π° _0) β (π° _0)) , ((π° _0) β (π° _0))))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((@b : (π° _0) β (π° _0)) β¦ (Unit))) : 0.0017207689660544397, rec((((π° _0) β (π° _0)) , ((π° _0) β (π° _0))))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((@b : (π° _0) β (π° _0)) β¦ (Zero))) : 0.0017207689660544397, rec((((π° _0) β (π° _0)) , ((π° _0) β (π° _0))))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((
@b : (π° _0) β (π° _0)) β¦ ((@b) (Zero)))) : 0.001292396649886433, rec((((π° _0) β (π° _0)) , ((π° _0) β (π° _0))))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((@b : (π° _0) β (π° _0)) β¦ ((@b) (Unit)))) : 0.001292396649886433, rec((((π° _0) β (π° _0)) , ((π° _0) β (π° _0))))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((@b : (π° _0) β (π° _0)) β¦ ((@a) (Zero)))) : 8.662068031673203E-4, rec((((π° _0) β (π° _0)) , ((π° _0) β (π° _0))))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((@b : (π° _0) β (π° _0)) β¦ ((@a) (Unit)))) : 8.662068031673203E-4, rec((((π° _0) β (π° _0)) , ((π° _0) β (π° _0))))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((@b : (π° _0) β (π° _0)) β¦ ((@b) ((@b) (Unit))))) : 5.059709853077335E-4, rec((((π° _0) β (π° _0)) , ((π° _0) β (π° _0))))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((@b : (π° _0) β (π° _0)) β¦ ((@b) ((@b) (Zero))))) : 5.059709853077335E-4, rec((((π° _0) β (π° _0)) , ((π° _0) β (π° _0))))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((@b : (π° _0) β (π° _0)) β¦ ((@a) ((@b) (Unit))))) : 3.541796897154134E-4, rec((((π° _0) β (π° _0)) , ((π° _0) β (π° _0))))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((@b : (π° _0) β (π° _0)) β¦ ((@a) ((@b) (Zero))))) : 3.541796897154134E-4]))
- Vector((((((π° _0) , (π° _0))) β ((π° _0) β (π° _0))) β (π° _0),0.5,[(@a : (((π° _0) , (π° _0))) β ((π° _0) β (π° _0))) β¦ (Zero) : 0.006798243651858369, (@a : (((π° _0) , (π° _0))) β ((π° _0) β (π° _0))) β¦ (Unit) : 0.006798243651858369, (
@a : (((π° _0) , (π° _0))) β ((π° _0) β (π° _0))) β¦ (((@a) (((Zero) , (Unit)))) (Zero)) : 8.628347276182814E-4, (@a : (((π° _0) , (π° _0))) β ((π° _0) β (π° _0))) β¦ (((@a) (((Zero) , (Unit)))) (Unit)) : 8.628347276182814E-4, (@a : (((π° _0) , (π° _0))) β ((π° _0) β (π° _0))) β¦ (((@a) (((Zero) , (Zero)))) (Zero)) : 8.628347276182814E-4, (@a : (((π° _0) , (π° _0))) β ((π° _0) β (π° _0))) β¦ (((@a) (((Zero) , (Zero)))) (Unit)) : 8.628347276182814E-4, (@a : (((π° _0) , (π° _0))) β ((π° _0) β (π° _0))) β¦ (((@a) (((Unit) , (Zero)))) (Unit)) : 8.628347276182814E-4, (@a : (((π° _0) , (π° _0))) β ((π° _0) β (π° _0))) β¦ (((@a) (((Unit) , (Unit)))) (Unit)) : 8.628347276182814E-4, (@a : (((π° _0) , (π° _0))) β ((π° _0) β (π° _0))) β¦ (((@a) (((Unit) , (Unit)))) (Zero)) : 8.628347276182814E-4, (@a : (((π° _0) , (π° _0))) β ((π° _0) β (π° _0))) β¦ (((@a) (((Unit) , (Zero)))) (Zero)) : 8.628347276182814E-4]))
- Vector((((((((π° _0) β (π° _0)) , (π° _0))) , (π° _0))) β (π° _0),0.5,[(((((@a_1_1) , (@a_1_2))) , (@a_2)) : (((((π° _0) β (π° _0)) , (π° _0))) , (π° _0))) β¦ (Unit) : 0.005501508459674843, (((((@a_1_1) , (@a_1_2))) , (@a_2)) : (((((π° _0) β (π° _0)) , (π° _0))) , (π° _0))) β¦ (Zero) : 0.005501508459674843, rec((((((π° _0) β (π° _0)) , (π° _0))) , (π° _0)))(π° _0)((((@a_1) , (@a_2)) : (((π° _0) β (π° _0)) , (π° _0))) β¦ ((
@a : π° _0) β¦ (@a))) : 0.0022689206301692603, rec((((((π° _0) β (π° _0)) , (π° _0))) , (π° _0)))(π° _0)((((@a_1) , (@a_2)) : (((π° _0) β (π° _0)) , (π° _0))) β¦ ((@a : π° _0) β¦ (Unit))) : 0.001235301231981042, rec((((((π° _0) β (π° _0)) , (π° _0))) , (π° _0)))(π° _0)((((@a_1) , (@a_2)) : (((π° _0) β (π° _0)) , (π° _0))) β¦ ((@a : π° _0) β¦ (Zero))) : 0.001235301231981042, rec((((((π° _0) β (π° _0)) , (π° _0))) , (π° _0)))(π° _0)(rec((((π° _0) β (π° _0)) , (π° _0)))((π° _0) β (π° _0))((@a : (π° _0) β (π° _0)) β¦ ((@a : π° _0) β¦ (@a)))) : 0.001203109708510264, rec((((((π° _0) β (π° _0)) , (π° _0))) , (π° _0)))(π° _0)(rec((((π° _0) β (π° _0)) , (π° _0)))((π° _0) β (π° _0))((@a : (π° _0) β (π° _0)) β¦ ((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@a) (@b)))))) : 8.9815110588689E-4, rec((((((π° _0) β (π° _0)) , (π° _0))) , (π° _0)))(π° _0)(rec((((π° _0) β (π° _0)) , (π° _0)))((π° _0) β (π° _0))((@a : (π° _0) β (π° _0)) β¦ ((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@a) (@a)))))) : 6.287057741208225E-4, rec((((((π° _0) β (π° _0)) , (π° _0))) , (π° _0)))(π° _0)(rec((((π° _0) β (π° _0)) , (π° _0)))((π° _0) β (π° _0))((@a : (π° _0) β (π° _0)) β¦ ((@a : π° _0) β¦ ((@b : π° _0) β¦ (@b))))) : 5.381178684177004E-4, rec((((((π° _0) β (π° _0)) , (π° _0))) , (π° _0)))(π° _0)(rec((((π° _0) β (π° _0)) , (π° _0)))((π° _0) β (π° _0))((@a : (π° _0) β (π° _0)) β¦ ((@a : π° _0) β¦ ((@b : π° _0) β¦ (@a))))) : 3.7668250789239034E-4, rec((((((π° _0) β (π° _0)) , (π° _0))) , (π° _0)))(π° _0)(rec((((π° _0) β (π° _0)) , (π° _0)))((π° _0) β (π° _0))((@a : (π° _0) β (π° _0)) β¦ ((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@a) (Unit)))))) : 3.422953659102255E-4, rec((((((π° _0) β (π° _0)) , (π° _0))) , (π° _0)))(π° _0)(rec((((π° _0) β (π° _0)) , (π° _0)))((π° _0) β (π° _0))((@a : (π° _0) β (π° _0)) β¦ ((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@a) (Zero)))))) : 3.422953659102255E-4, rec((((((π° _0) β (π° _0)) , (π° _0))) , (π° _0)))(π° _0)(rec((((π° _0) β (π° _0)) , (π° _0)))((π° _0) β (π° _0))((@a : (π° _0) β (π° _0)) β¦ ((@a : π° _0) β¦ ((@b : π° _0) β¦ (Zero))))) : 2.0508269874141237E-4, rec((((((π° _0) β (π° _0)) , (π° _0))) , (π° _0)))(π° _0)(rec((((π° _0) β (π° _0)) , (π° _0)))((π° _0) β (π° _0))((@a : (π° _0) β (π° _0)) β¦ ((@a : π° _0) β¦ ((@b : π° _0) β¦ (Unit))))) : 2.0508269874141237E-4]))
- Vector(((
@a : π° _0 ) ~> ((@a) β (((π° _0) , (π° _0)))),0.5,[(@a : π° _0) β¦ ((@a : @a) β¦ (((@a) , (@a)))) : 0.003005483085537431, (@a : π° _0) β¦ ((@a :@a) β¦ (((Zero) , (@a)))) : 0.0023375979554180015, (@a : π° _0) β¦ ((@a :@a) β¦ (((Unit) , (@a)))) : 0.0023375979554180015, (@a : π° _0) β¦ ((@a :@a) β¦ (((@a) , (Unit)))) : 0.0023375979554180015, (@a : π° _0) β¦ ((@a :@a) β¦ (((@a) , (Zero)))) : 0.0023375979554180015, (@a : π° _0) β¦ ((@a :@a) β¦ (((Zero) , (Unit)))) : 0.0018181317431028904, (@a : π° _0) β¦ ((@a : @a) β¦ (((Zero) , (Zero)))) : 0.0018181317431028904, (@a : π° _0) β¦ ((@a :@a) β¦ (((Unit) , (Unit)))) : 0.0018181317431028904, (@a : π° _0) β¦ ((@a : `@a) β¦ (((Unit) , (Zero)))) : 0.0018181317431028904]))
- Vector((β((
@a : π° _0) β¦ (β((@a : (π° _0) β (π° _0)) β¦ (((@a) (@a)) β (Zero))))),0.5,[((Unit) , ((((@a : π° _0) β¦ (Zero)) , ((@a : Zero) β¦ (@a))))) : 0.004871072854380339, ((Unit) , ((((@a : π° _0) β¦ (Zero)) , (rec(Zero)(Zero))))) : 0.004871072854380339, ((Zero) , ((((@a : π° _0) β¦ (@a)) , ((@a : Zero) β¦ (@a))))) : 0.002739978480588941, ((Zero) , ((((@a : π° _0) β¦ (@a)) , (rec(Zero)(Zero))))) : 0.002739978480588941, ((Zero) , ((((@a : π° _0) β¦ (Zero)) , ((@a : Zero) β¦ (@a))))) : 0.0021310943737913985, ((Zero) , ((((@a : π° _0) β¦ (Zero)) , (rec(Zero)(Zero))))) : 0.0021310943737913985]))
- Vector((((
@a : π° _0 ) ~> (((@a) , (@a)))) β (π° _0),0.5,[(@a : (@a : π° _0 ) ~> (((@a) , (@a)))) β¦ (Zero) : 0.010702019943741578, (@a : (@a : π° _0 ) ~> (((@a) , (`@a)))) β¦ (Unit) : 0.010702019943741578]))
- Vector((((π° _0) β (π° _0)) β ((((π° _0) β (π° _0)) , (π° _0))),0.5,[(
@a : (π° _0) β (π° _0)) β¦ (((@a) , (Zero))) : 0.0012283512648563328, (@a : (π° _0) β (π° _0)) β¦ (((@a) , (Unit))) : 0.0012283512648563328, (@a : (π° _0) β (π° _0)) β¦ (((@a) , ((@a) ((@a) (Zero))))) : 0.0011167874218622658, (@a : (π° _0) β (π° _0)) β¦ (((@a) , ((@a) ((@a) (Unit))))) : 0.0011167874218622658, (@a : (π° _0) β (π° _0)) β¦ (((@a) , ((@a) (Unit)))) : 0.0010065444821259742, (@a : (π° _0) β (π° _0)) β¦ (((@a) , ((@a) (Zero)))) : 0.0010065444821259742, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) (@a))) , (Zero))) : 4.194654150720004E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) (@a))) , (Unit))) : 4.194654150720004E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) (@a))) , ((@a) ((@a) (Unit))))) : 3.810368374796247E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) (@a))) , ((@a) ((@a) (Zero))))) : 3.810368374796247E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ (@a)) , (Zero))) : 3.8047452203445023E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ (@a)) , (Unit))) : 3.8047452203445023E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) (@a))) , ((@a) (Unit)))) : 3.6392492219633157E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) (@a))) , ((@a) (Zero)))) : 3.6392492219633157E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ (@a)) , ((@a) ((@a) (Zero))))) : 3.4720184963103756E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ (@a)) , ((@a) ((@a) (Unit))))) : 3.4720184963103756E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ (@a)) , ((@a) (Unit)))) : 3.284393205844381E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ (@a)) , ((@a) (Zero)))) : 3.284393205844381E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) ((@a) (@a)))) , (Unit))) : 2.6219333847630794E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) ((@a) (@a)))) , (Zero))) : 2.6219333847630794E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) ((@a) (@a)))) , ((@a) ((@a) (Zero))))) : 2.502392527586254E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) ((@a) (@a)))) , ((@a) ((@a) (Unit))))) : 2.502392527586254E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) (Unit))) , (Unit))) : 2.2837561487253348E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) (Zero))) , (Unit))) : 2.2837561487253348E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) (Unit))) , (Zero))) : 2.2837561487253348E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) (Zero))) , (Zero))) : 2.2837561487253348E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) ((@a) (@a)))) , ((@a) (Unit)))) : 2.1485001578238066E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) ((@a) (@a)))) , ((@a) (Zero)))) : 2.1485001578238066E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) (Unit))) , ((@a) ((@a) (Unit))))) : 2.0745338929446222E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) (Unit))) , ((@a) ((@a) (Zero))))) : 2.0745338929446222E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) (Zero))) , ((@a) ((@a) (Zero))))) : 2.0745338929446222E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) (Zero))) , ((@a) ((@a) (Unit))))) : 2.0745338929446222E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ (Zero)) , (Unit))) : 2.0714723977431173E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ (Unit)) , (Zero))) : 2.0714723977431173E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ (Zero)) , (Zero))) : 2.0714723977431173E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ (Unit)) , (Unit))) : 2.0714723977431173E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) (Zero))) , ((@a) (Unit)))) : 1.9813690208466935E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) (Unit))) , ((@a) (Unit)))) : 1.9813690208466935E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) (Unit))) , ((@a) (Zero)))) : 1.9813690208466935E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) (Zero))) , ((@a) (Zero)))) : 1.9813690208466935E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ (Zero)) , ((@a) ((@a) (Unit))))) : 1.8903211813245377E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ (Zero)) , ((@a) ((@a) (Zero))))) : 1.8903211813245377E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ (Unit)) , ((@a) ((@a) (Zero))))) : 1.8903211813245377E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ (Unit)) , ((@a) ((@a) (Unit))))) : 1.8903211813245377E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ (Unit)) , ((@a) (Zero)))) : 1.7881696342930513E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ (Unit)) , ((@a) (Unit)))) : 1.7881696342930513E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ (Zero)) , ((@a) (Zero)))) : 1.7881696342930513E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ (Zero)) , ((@a) (Unit)))) : 1.7881696342930513E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) ((@a) (Zero)))) , (Unit))) : 1.427497065037677E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) ((@a) (Zero)))) , (Zero))) : 1.427497065037677E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) ((@a) (Unit)))) , (Zero))) : 1.427497065037677E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) ((@a) (Unit)))) , (Unit))) : 1.427497065037677E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) ((@a) (Unit)))) , ((@a) ((@a) (Unit))))) : 1.3624137094636268E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) ((@a) (Zero)))) , ((@a) ((@a) (Zero))))) : 1.3624137094636268E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) ((@a) (Zero)))) , ((@a) ((@a) (Unit))))) : 1.3624137094636268E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) ((@a) (Unit)))) , ((@a) ((@a) (Zero))))) : 1.3624137094636268E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) ((@a) (Zero)))) , ((@a) (Unit)))) : 1.1697389748151832E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) ((@a) (Unit)))) , ((@a) (Unit)))) : 1.1697389748151832E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) ((@a) (Zero)))) , ((@a) (Zero)))) : 1.1697389748151832E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a : π° _0) β¦ ((@a) ((@a) (Unit)))) , ((@a) (Zero)))) : 1.1697389748151832E-4]))
- Vector((β((
@a : (π° _0) β (π° _0)) β¦ ((@a : π° _0 ) ~> ((@a) (@a)))),0.5,[(((@a : π° _0) β¦ (Unit)) , ((@a : π° _0) β¦ (Star))) : 0.019495728596187988]))
- Vector((((β((
@a : π° _0) β¦ (@a))) β ((@a : π° _0 ) ~> (@a))) β (Zero),0.5,[(@a : (β((@a : π° _0) β¦ (@a))) β ((@a : π° _0 ) ~> (@a))) β¦ (((@a) (((Unit) , (Star)))) (Zero)) : 0.018879458674624202]))
- Vector(((β((
@a : π° _0) β¦ (((π° _0) , (@a))))) β (π° _0),0.5,[(((@a_1) , (((@a_2_1) , (@a_2_2)))) : β((@a : π° _0) β¦ (((π° _0) , (@a))))) β¦ (Zero) : 0.005501508459674841, (((@a_1) , (((@a_2_1) , (@a_2_2)))) : β((@a : π° _0) β¦ (((π° _0) , (@a))))) β¦ (Unit) : 0.005501508459674841, rec(β((@a : π° _0) β¦ (((π° _0) , (@a)))))(π° _0)((@a : π° _0) β¦ ((((@a_1) , (@a_2)) : ((π° _0) , (@a))) β¦ (@a))) : 0.0018545959933557422, rec(β((@a : π° _0) β¦ (((π° _0) , (@a)))))(π° _0)((@a : π° _0) β¦ (rec(((π° _0) , (@a)))(π° _0)((@b : π° _0) β¦ ((@a : @a) β¦ (@b))))) : 0.0016994305915211975, rec(β((@a : π° _0) β¦ (((π° _0) , (@a)))))(π° _0)((@a : π° _0) β¦ ((((@a_1) , (@a_2)) : ((π° _0) , (@a))) β¦ (Unit))) : 0.001442463550387799, rec(β((@a : π° _0) β¦ (((π° _0) , (@a)))))(π° _0)((@a : π° _0) β¦ ((((@a_1) , (@a_2)) : ((π° _0) , (@a))) β¦ (Zero))) : 0.001442463550387799, rec(β((@a : π° _0) β¦ (((π° _0) , (@a)))))(π° _0)((@a : π° _0) β¦ (rec(((π° _0) , (@a)))(π° _0)((@b : π° _0) β¦ ((@a :@a) β¦ (@a))))) : 0.0011896014140648386, rec(β((@a : π° _0) β¦ (((π° _0) , (@a)))))(π° _0)((@a : π° _0) β¦ (rec(((π° _0) , (@a)))(π° _0)((@b : π° _0) β¦ ((@a : @a) β¦ (Unit))))) : 9.252455442726524E-4, rec(β((@a : π° _0) β¦ (((π° _0) , (@a)))))(π° _0)((@a : π° _0) β¦ (rec(((π° _0) , (@a)))(π° _0)((@b : π° _0) β¦ ((@a : `@a) β¦ (Zero))))) : 9.252455442726524E-4]))
- Vector((β((
@a : π° _0) β¦ (PlusTyp(PlusTyp((@a) β (Zero),(π° _0) β (Zero)),(π° _0) β (Zero)))),0.5,[((Zero) , (FirstIncl(PlusTyp(PlusTyp((Zero) β (Zero),(π° _0) β (Zero)),(π° _0) β (Zero)),FirstIncl(PlusTyp((Zero) β (Zero),(π° _0) β (Zero)),rec(Zero)(Zero))))) : 0.010056544435595253, ((Zero) , (FirstIncl(PlusTyp(PlusTyp((Zero) β (Zero),(π° _0) β (Zero)),(π° _0) β (Zero)),FirstIncl(PlusTyp((Zero) β (Zero),(π° _0) β (Zero)),(@a : Zero) β¦ (@a))))) : 0.009439184160592733]))
- Vector(((π° _0) β (((β((
@b : π° _0) β¦ (@b))) , (π° _0))),0.5,[(@a : π° _0) β¦ (((((Unit) , (Star))) , (@a))) : 0.007651434180209411, (@a : π° _0) β¦ (((((Unit) , (Star))) , (Zero))) : 0.005951115473496207, (@a : π° _0) β¦ (((((Unit) , (Star))) , (Unit))) : 0.005951115473496207]))
- Vector((β((
@a : π° _0) β¦ ((((@a) , (π° _0))) β (π° _0))),0.5,[((Zero) , (rec(((Zero) , (π° _0)))(π° _0)(rec(Zero)((π° _0) β (π° _0))))) : 0.002502035839645385, ((Zero) , ((((@a_1) , (@a_2)) : ((Zero) , (π° _0))) β¦ (Unit))) : 0.002435528214057824, ((Unit) , ((((@a_1) , (@a_2)) : ((Unit) , (π° _0))) β¦ (Unit))) : 0.002435528214057824, ((Zero) , ((((@a_1) , (@a_2)) : ((Zero) , (π° _0))) β¦ (Zero))) : 0.002435528214057824, ((Unit) , ((((@a_1) , (@a_2)) : ((Unit) , (π° _0))) β¦ (Zero))) : 0.002435528214057824, ((Zero) , (rec(((Zero) , (π° _0)))(π° _0)((@a : Zero) β¦ ((@a : π° _0) β¦ (@a))))) : 0.0011659443577936395, ((Unit) , (rec(((Unit) , (π° _0)))(π° _0)((@a : Unit) β¦ ((@a : π° _0) β¦ (@a))))) : 0.0011659443577936393, ((Unit) , (rec(((Unit) , (π° _0)))(π° _0)(rec(Unit)((π° _0) β (π° _0))((@a : π° _0) β¦ (@a))))) : 9.530327794139311E-4, ((Unit) , (rec(((Unit) , (π° _0)))(π° _0)(rec(Unit)((π° _0) β (π° _0))((@a : π° _0) β¦ (Unit))))) : 7.412477173219464E-4, ((Unit) , (rec(((Unit) , (π° _0)))(π° _0)(rec(Unit)((π° _0) β (π° _0))((@a : π° _0) β¦ (Zero))))) : 7.412477173219464E-4, ((Zero) , (rec(((Zero) , (π° _0)))(π° _0)((@a : Zero) β¦ ((@a : π° _0) β¦ (Unit))))) : 6.347919281320927E-4, ((Zero) , (rec(((Zero) , (π° _0)))(π° _0)((@a : Zero) β¦ ((@a : π° _0) β¦ (Zero))))) : 6.347919281320927E-4, ((Unit) , (rec(((Unit) , (π° _0)))(π° _0)((@a : Unit) β¦ ((@a : π° _0) β¦ (Unit))))) : 6.347919281320927E-4, ((Unit) , (rec(((Unit) , (π° _0)))(π° _0)((@a : Unit) β¦ ((@a : π° _0) β¦ (Zero))))) : 6.347919281320927E-4]))
- Vector((β((
@a : π° _0) β¦ ((((@a) β (π° _0)) , (π° _0)))),0.5,[((Zero) , (((rec(Zero)(π° _0)) , (Zero)))) : 0.0024355364271901685, ((Zero) , (((rec(Zero)(π° _0)) , (Unit)))) : 0.0024355364271901685, ((Zero) , ((((@a : Zero) β¦ (Unit)) , (Zero)))) : 0.0012177682135950843, ((Unit) , ((((@a : Unit) β¦ (Unit)) , (Zero)))) : 0.0012177682135950843, ((Unit) , ((((@a : Unit) β¦ (Unit)) , (Unit)))) : 0.0012177682135950843, ((Unit) , ((((@a : Unit) β¦ (Zero)) , (Zero)))) : 0.0012177682135950843, ((Unit) , ((((@a : Unit) β¦ (Zero)) , (Unit)))) : 0.0012177682135950843, ((Zero) , ((((@a : Zero) β¦ (Unit)) , (Unit)))) : 0.0012177682135950843, ((Unit) , (((rec(Unit)(π° _0)(Zero)) , (Unit)))) : 0.0012177682135950843, ((Unit) , (((rec(Unit)(π° _0)(Zero)) , (Zero)))) : 0.0012177682135950843, ((Zero) , ((((@a : Zero) β¦ (Zero)) , (Zero)))) : 0.0012177682135950843, ((Unit) , (((rec(Unit)(π° _0)(Unit)) , (Unit)))) : 0.0012177682135950843, ((Zero) , ((((@a : Zero) β¦ (Zero)) , (Unit)))) : 0.0012177682135950843, ((Unit) , (((rec(Unit)(π° _0)(Unit)) , (Zero)))) : 0.0012177682135950843]))
- Vector((β((
@a : π° _0) β¦ (((((π° _0) , (π° _0))) β (@a)) β (Zero))),0.5,[((Zero) , ((@a : (((π° _0) , (π° _0))) β (Zero)) β¦ ((@a) (((Zero) , (Zero)))))) : 0.00471986466865605, ((Zero) , ((@a : (((π° _0) , (π° _0))) β (Zero)) β¦ ((@a) (((Zero) , (Unit)))))) : 0.00471986466865605, ((Zero) , ((@a : (((π° _0) , (π° _0))) β (Zero)) β¦ ((@a) (((Unit) , (Unit)))))) : 0.00471986466865605, ((Zero) , ((@a : (((π° _0) , (π° _0))) β (Zero)) β¦ ((@a) (((Unit) , (Zero)))))) : 0.00471986466865605]))
- Vector((β((
@a : π° _0) β¦ (((@a) β ((@b : π° _0 ) ~> (@b))) β (Zero))),0.5,[((Unit) , ((@a : (Unit) β ((@b : π° _0 ) ~> (@b))) β¦ (((@a) (Star)) (Zero)))) : 0.01887945867462419]))
- Vector((β((
@a : π° _0) β¦ (β((@b : π° _0) β¦ (((@a) β (@b)) β (Zero))))),0.5,[((Unit) , (((Zero) , ((@a : (Unit) β (Zero)) β¦ ((@a) (Star)))))) : 0.018879458674624195]))
- Vector((β((
@a : π° _0) β¦ (β((@b : π° _0) β¦ (((@b) β (@a)) β (Zero))))),0.5,[((Zero) , (((Unit) , ((@a : (Unit) β (Zero)) β¦ ((@a) (Star)))))) : 0.018879458674624195]))
- Vector((β((
@a : (π° _0) β (π° _0)) β¦ (($fwqucft : π° _0 ) ~> (((@a) ($fwqucft)) β (Zero)))),0.5,[(((@a : π° _0) β¦ (Zero)) , ((@a : π° _0) β¦ (rec(Zero)(Zero)))) : 0.00981562146328479, (((@a : π° _0) β¦ (Zero)) , ((@a : π° _0) β¦ ((@a : Zero) β¦ (@a)))) : 0.009747831029485577]))
- Vector(((β((
@a : π° _0) β¦ (@a))) β (((π° _0) , (π° _0))),0.5,[(((@a_1) , (@a_2)) : β((@a : π° _0) β¦ (@a))) β¦ (((Zero) , (Zero))) : 0.0023853440600825056, (((@a_1) , (@a_2)) : β((@a : π° _0) β¦ (@a))) β¦ (((Zero) , (Unit))) : 0.0023853440600825056, (((@a_1) , (@a_2)) : β((@a : π° _0) β¦ (@a))) β¦ (((Unit) , (Zero))) : 0.0023853440600825056, (((@a_1) , (@a_2)) : β((@a : π° _0) β¦ (@a))) β¦ (((Unit) , (Unit))) : 0.0023853440600825056, rec(β((@a : π° _0) β¦ (@a)))(((π° _0) , (π° _0)))((@a : π° _0) β¦ ((@a : @a) β¦ (((@a) , (@a))))) : 0.0014511727316173634, rec(β((@a : π° _0) β¦ (@a)))(((π° _0) , (π° _0)))((@a : π° _0) β¦ ((@a :@a) β¦ (((Zero) , (@a))))) : 0.0011286899023690603, rec(β((@a : π° _0) β¦ (@a)))(((π° _0) , (π° _0)))((@a : π° _0) β¦ ((@a :@a) β¦ (((@a) , (Zero))))) : 0.0011286899023690603, rec(β((@a : π° _0) β¦ (@a)))(((π° _0) , (π° _0)))((@a : π° _0) β¦ ((@a :@a) β¦ (((Unit) , (@a))))) : 0.0011286899023690603, rec(β((@a : π° _0) β¦ (@a)))(((π° _0) , (π° _0)))((@a : π° _0) β¦ ((@a :@a) β¦ (((@a) , (Unit))))) : 0.0011286899023690603, rec(β((@a : π° _0) β¦ (@a)))(((π° _0) , (π° _0)))((@a : π° _0) β¦ ((@a :@a) β¦ (((Zero) , (Zero))))) : 8.778699240648249E-4, rec(β((@a : π° _0) β¦ (@a)))(((π° _0) , (π° _0)))((@a : π° _0) β¦ ((@a : @a) β¦ (((Zero) , (Unit))))) : 8.778699240648249E-4, rec(β((@a : π° _0) β¦ (@a)))(((π° _0) , (π° _0)))((@a : π° _0) β¦ ((@a :@a) β¦ (((Unit) , (Unit))))) : 8.778699240648249E-4, rec(β((@a : π° _0) β¦ (@a)))(((π° _0) , (π° _0)))((@a : π° _0) β¦ ((@a : `@a) β¦ (((Unit) , (Zero))))) : 8.778699240648249E-4]))
- Vector(((((π° _0) , (π° _0))) β (β((
@a : π° _0) β¦ (@a))),0.5,[(((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ (((Unit) , (Star))) : 0.009851789524117364, rec(((π° _0) , (π° _0)))(β((@a : π° _0) β¦ (@a)))((@a : π° _0) β¦ ((@b : π° _0) β¦ (((Unit) , (Star))))) : 0.009246998929412848]))
- Vector((β((
@a : π° _0) β¦ (PlusTyp(((π° _0) β (π° _0)) β (Zero),(@a) β (Zero)))),0.5,[((Zero) , (ScndIncl(PlusTyp(((π° _0) β (π° _0)) β (Zero),(Zero) β (Zero)),rec(Zero)(Zero)))) : 0.009747864298093989, ((Zero) , (ScndIncl(PlusTyp(((π° _0) β (π° _0)) β (Zero),(Zero) β (Zero)),(@a : Zero) β¦ (@a)))) : 0.009747864298093989]))
- Vector((β((
@a : π° _0) β¦ (((π° _0) β (π° _0)) β (@a))),0.5,[((Unit) , ((@a : (π° _0) β (π° _0)) β¦ (Star))) : 0.019495728596187988]))
- Vector(((π° _0) β (β((
@b : π° _0) β¦ ((@b) β (π° _0)))),0.5,[(@a : π° _0) β¦ (((Zero) , (rec(Zero)(π° _0)))) : 0.0031078624069413815, (@a : π° _0) β¦ (((@a) , ((@a :@a) β¦ (@a)))) : 0.002968308700510489, (@a : π° _0) β¦ (((@a) , ((@a : @a) β¦ (Zero)))) : 0.0023086845448414915, (@a : π° _0) β¦ (((@a) , ((@a : @a) β¦ (Unit)))) : 0.0023086845448414915, (@a : π° _0) β¦ (((Zero) , ((@a : Zero) β¦ (@a)))) : 0.0011543422724207455, (@a : π° _0) β¦ (((Unit) , (rec(Unit)(π° _0)(@a)))) : 0.0011543422724207455, (@a : π° _0) β¦ (((Unit) , ((@a : Unit) β¦ (`@a)))) : 0.0011543422724207455, (@a : π° _0) β¦ (((Zero) , ((@a : Zero) β¦ (Unit)))) : 8.978217674383575E-4, (@a : π° _0) β¦ (((Unit) , (rec(Unit)(π° _0)(Zero)))) : 8.978217674383575E-4, (@a : π° _0) β¦ (((Unit) , ((@a : Unit) β¦ (Zero)))) : 8.978217674383575E-4, (@a : π° _0) β¦ (((Unit) , ((@a : Unit) β¦ (Unit)))) : 8.978217674383575E-4, (@a : π° _0) β¦ (((Zero) , ((@a : Zero) β¦ (Zero)))) : 8.978217674383575E-4, (@a : π° _0) β¦ (((Unit) , (rec(Unit)(π° _0)(Unit)))) : 8.978217674383575E-4]))
- Vector(((β((
@a : π° _0) β¦ ((@a) β (@a)))) β (π° _0),0.5,[(((@a_1) , (@a_2)) : β((@a : π° _0) β¦ ((@a) β (@a)))) β¦ (Zero) : 0.005501508459674841, (((@a_1) , (@a_2)) : β((@a : π° _0) β¦ ((@a) β (@a)))) β¦ (Unit) : 0.005501508459674841, rec(β((@a : π° _0) β¦ ((@a) β (@a))))(π° _0)((@a : π° _0) β¦ ((@a : (@a) β (@a)) β¦ (@a))) : 0.0037091919867114844, rec(β((@a : π° _0) β¦ ((@a) β (@a))))(π° _0)((@a : π° _0) β¦ ((@a : (@a) β (@a)) β¦ (Zero))) : 0.0028849271007755986, rec(β((@a : π° _0) β¦ ((@a) β (@a))))(π° _0)((@a : π° _0) β¦ ((@a : (@a) β (`@a)) β¦ (Unit))) : 0.0028849271007755986]))
- Vector((β((
@a : π° _0) β¦ ((((@a) β (π° _0)) β (`@a)) β (Zero))),0.5,[((Zero) , ((@a : ((Zero) β (π° _0)) β (Zero)) β¦ ((@a) (rec(Zero)(π° _0))))) : 0.010056544435595253, ((Zero) , ((@a : ((Zero) β (π° _0)) β (Zero)) β¦ ((@a) ((@a : Zero) β¦ (Zero))))) : 0.004719592080296367, ((Zero) , ((@a : ((Zero) β (π° _0)) β (Zero)) β¦ ((`@a) ((@a : Zero) β¦ (Unit))))) : 0.004719592080296367]))
- Vector((β((
@a : π° _0) β¦ (PlusTyp((@a) β (Zero),((π° _0) β (π° _0)) β (Zero)))),0.5,[((Zero) , (FirstIncl(PlusTyp((Zero) β (Zero),((π° _0) β (π° _0)) β (Zero)),rec(Zero)(Zero)))) : 0.009747864298093989, ((Zero) , (FirstIncl(PlusTyp((Zero) β (Zero),((π° _0) β (π° _0)) β (Zero)),(@a : Zero) β¦ (@a)))) : 0.009747864298093989]))
- Vector((β((
@a : π° _0) β¦ ((@a) β ((π° _0) β (π° _0)))),0.5,[((Zero) , (rec(Zero)((π° _0) β (π° _0)))) : 0.006401907155647273, ((Zero) , ((@a : Zero) β¦ ((@a : π° _0) β¦ (@a)))) : 0.002331888715587279, ((Unit) , ((@a : Unit) β¦ ((@a : π° _0) β¦ (@a)))) : 0.0023318887155872785, ((Unit) , (rec(Unit)((π° _0) β (π° _0))((@a : π° _0) β¦ (@a)))) : 0.0019060655588278624, ((Unit) , (rec(Unit)((π° _0) β (π° _0))((@a : π° _0) β¦ (Zero)))) : 0.0014824954346438928, ((Unit) , (rec(Unit)((π° _0) β (π° _0))((@a : π° _0) β¦ (Unit)))) : 0.0014824954346438928, ((Zero) , ((@a : Zero) β¦ ((@a : π° _0) β¦ (Unit)))) : 0.0012695838562641853, ((Unit) , ((@a : Unit) β¦ ((@a : π° _0) β¦ (Zero)))) : 0.0012695838562641851, ((Unit) , ((@a : Unit) β¦ ((@a : π° _0) β¦ (Unit)))) : 0.0012695838562641851, ((Zero) , ((@a : Zero) β¦ ((@a : π° _0) β¦ (Zero)))) : 0.0012695838562641853]))
- Vector((β((
@a : π° _0) β¦ (((π° _0) β ((π° _0) β (@a))) β (Zero))),0.5,[((Zero) , ((@a : (π° _0) β ((π° _0) β (Zero))) β¦ (((@a) (Zero)) (Unit)))) : 0.004719864668656048, ((Zero) , ((@a : (π° _0) β ((π° _0) β (Zero))) β¦ (((@a) (Zero)) (Zero)))) : 0.004719864668656048, ((Zero) , ((@a : (π° _0) β ((π° _0) β (Zero))) β¦ (((@a) (Unit)) (Zero)))) : 0.004719864668656048, ((Zero) , ((@a : (π° _0) β ((π° _0) β (Zero))) β¦ (((@a) (Unit)) (Unit)))) : 0.004719864668656048]))
- Vector(((((π° _0) β ((π° _0) β (π° _0))) β (π° _0)) β (π° _0),0.5,[(@a : ((π° _0) β ((π° _0) β (π° _0))) β (π° _0)) β¦ (Zero) : 0.008341767994169644, (@a : ((π° _0) β ((π° _0) β (π° _0))) β (π° _0)) β¦ (Unit) : 0.008341767994169644, (
@a : ((π° _0) β ((π° _0) β (π° _0))) β (π° _0)) β¦ ((@a) ((@a : π° _0) β¦ ((@b : π° _0) β¦ (@b)))) : 0.0015496688730556557, (@a : ((π° _0) β ((π° _0) β (π° _0))) β (π° _0)) β¦ ((@a) ((@a : π° _0) β¦ ((@b : π° _0) β¦ (@a)))) : 0.001084768211138959, (@a : ((π° _0) β ((π° _0) β (π° _0))) β (π° _0)) β¦ ((@a) ((@a : π° _0) β¦ ((@b : π° _0) β¦ (Unit)))) : 5.905960260645442E-4, (@a : ((π° _0) β ((π° _0) β (π° _0))) β (π° _0)) β¦ ((@a) ((@a : π° _0) β¦ ((@b : π° _0) β¦ (Zero)))) : 5.905960260645442E-4]))
- Vector(((π° _0) β (((π° _0) , ((π° _0) β (π° _0)))),0.5,[(
@a : π° _0) β¦ (((@a) , ((@b : π° _0) β¦ (@b)))) : 0.0027435421363300695, (@a : π° _0) β¦ (((Unit) , ((@b : π° _0) β¦ (@b)))) : 0.0021338661060344983, (@a : π° _0) β¦ (((Zero) , ((@b : π° _0) β¦ (@b)))) : 0.0021338661060344983, (@a : π° _0) β¦ (((@a) , ((@b : π° _0) β¦ (@a)))) : 0.0019204794954310487, (@a : π° _0) β¦ (((@a) , ((@b : π° _0) β¦ (Zero)))) : 0.001493706274224149, (@a : π° _0) β¦ (((@a) , ((@b : π° _0) β¦ (Unit)))) : 0.001493706274224149, (@a : π° _0) β¦ (((Unit) , ((@b : π° _0) β¦ (@a)))) : 0.001493706274224149, (@a : π° _0) β¦ (((Zero) , ((@b : π° _0) β¦ (`@a)))) : 0.001493706274224149, (@a : π° _0) β¦ (((Unit) , ((@b : π° _0) β¦ (Unit)))) : 0.0011617715466187826, (@a : π° _0) β¦ (((Zero) , ((@b : π° _0) β¦ (Unit)))) : 0.0011617715466187826, (@a : π° _0) β¦ (((Unit) , ((@b : π° _0) β¦ (Zero)))) : 0.0011617715466187826, (@a : π° _0) β¦ (((Zero) , ((@b : π° _0) β¦ (Zero)))) : 0.0011617715466187826]))
- Vector(((π° _0) β ((π° _0) β (β((
@c : π° _0) β¦ (@c)))),0.5,[(@a : π° _0) β¦ ((@b : π° _0) β¦ (((Unit) , (Star)))) : 0.01900374784450017]))
- Vector((β((
@a : π° _0) β¦ (PlusTyp(((π° _0) β (@a)) β (Zero),(π° _0) β (Zero)))),0.5,[((Zero) , (FirstIncl(PlusTyp(((π° _0) β (Zero)) β (Zero),(π° _0) β (Zero)),(@a : (π° _0) β (Zero)) β¦ ((@a) (Unit))))) : 0.009439729337312096, ((Zero) , (FirstIncl(PlusTyp(((π° _0) β (Zero)) β (Zero),(π° _0) β (Zero)),(@a : (π° _0) β (Zero)) β¦ ((@a) (Zero))))) : 0.009439729337312096]))
- Vector((β((
@a : π° _0) β¦ (((π° _0) β (@a)) β (π° _0))),0.5,[((Unit) , ((@a : (π° _0) β (Unit)) β¦ (Zero))) : 0.004871072854380339, ((Zero) , ((@a : (π° _0) β (Zero)) β¦ (Zero))) : 0.004871072854380339, ((Zero) , ((@a : (π° _0) β (Zero)) β¦ (Unit))) : 0.004871072854380339, ((Unit) , ((@a : (π° _0) β (Unit)) β¦ (Unit))) : 0.004871072854380339]))
- Vector((((((
@a : π° _0 ) ~> (@a)) β (π° _0)) β (π° _0)) β (π° _0),0.5,[(@a : (((@a : π° _0 ) ~> (@a)) β (π° _0)) β (π° _0)) β¦ (Zero) : 0.007409759231129202, (@a : (((@a : π° _0 ) ~> (@a)) β (π° _0)) β (π° _0)) β¦ (Unit) : 0.007409759231129202, (@a : (((@a : π° _0 ) ~> (@a)) β (π° _0)) β (π° _0)) β¦ ((@a) ((@a : (@a : π° _0 ) ~> (@a)) β¦ (Zero))) : 0.002836915864001713, (@a : (((@a : π° _0 ) ~> (@a)) β (π° _0)) β (π° _0)) β¦ ((@a) ((@a : (@a : π° _0 ) ~> (@a)) β¦ (Unit))) : 0.002836915864001713]))
- Vector(((((π° _0) , (β((
@b : π° _0) β¦ (@b))))) β (π° _0),0.5,[(((@a_1) , (((@a_2_1) , (@a_2_2)))) : ((π° _0) , (β((@b : π° _0) β¦ (@b))))) β¦ (Zero) : 0.005501508459674841, (((@a_1) , (((@a_2_1) , (@a_2_2)))) : ((π° _0) , (β((@b : π° _0) β¦ (@b))))) β¦ (Unit) : 0.005501508459674841, rec(((π° _0) , (β((@b : π° _0) β¦ (@b)))))(π° _0)((@a : π° _0) β¦ ((((@a_1) , (@a_2)) : β((@b : π° _0) β¦ (@b))) β¦ (@a))) : 0.0018545959933557422, rec(((π° _0) , (β((@b : π° _0) β¦ (@b)))))(π° _0)((@a : π° _0) β¦ (rec(β((@b : π° _0) β¦ (@b)))(π° _0)((@b : π° _0) β¦ ((@a : @b) β¦ (@b))))) : 0.0016994305915211975, rec(((π° _0) , (β((@b : π° _0) β¦ (@b)))))(π° _0)((@a : π° _0) β¦ ((((@a_1) , (@a_2)) : β((@b : π° _0) β¦ (@b))) β¦ (Zero))) : 0.001442463550387799, rec(((π° _0) , (β((@b : π° _0) β¦ (@b)))))(π° _0)((@a : π° _0) β¦ ((((@a_1) , (@a_2)) : β((@b : π° _0) β¦ (@b))) β¦ (Unit))) : 0.001442463550387799, rec(((π° _0) , (β((@b : π° _0) β¦ (@b)))))(π° _0)((@a : π° _0) β¦ (rec(β((@b : π° _0) β¦ (@b)))(π° _0)((@b : π° _0) β¦ ((@a :@b) β¦ (@a))))) : 0.0011896014140648386, rec(((π° _0) , (β((@b : π° _0) β¦ (@b)))))(π° _0)((@a : π° _0) β¦ (rec(β((@b : π° _0) β¦ (@b)))(π° _0)((@b : π° _0) β¦ ((@a :@b) β¦ (Zero))))) : 9.252455442726524E-4, rec(((π° _0) , (β((@b : π° _0) β¦ (@b)))))(π° _0)((@a : π° _0) β¦ (rec(β((@b : π° _0) β¦ (@b)))(π° _0)((@b : π° _0) β¦ ((@a : `@b) β¦ (Unit))))) : 9.252455442726524E-4]))
- Vector(((β((
@a : π° _0) β¦ (((@a) , (π° _0))))) β (π° _0),0.5,[(((@a_1) , (((@a_2_1) , (@a_2_2)))) : β((@a : π° _0) β¦ (((@a) , (π° _0))))) β¦ (Unit) : 0.005501508459674839, (((@a_1) , (((@a_2_1) , (@a_2_2)))) : β((@a : π° _0) β¦ (((@a) , (π° _0))))) β¦ (Zero) : 0.005501508459674839, rec(β((@a : π° _0) β¦ (((@a) , (π° _0)))))(π° _0)((@a : π° _0) β¦ (rec(((@a) , (π° _0)))(π° _0)((@a :@a) β¦ ((@b : π° _0) β¦ (@b))))) : 0.002104376312145144, rec(β((@a : π° _0) β¦ (((@a) , (π° _0)))))(π° _0)((@a : π° _0) β¦ ((((@a_1) , (@a_2)) : ((@a) , (π° _0))) β¦ (@a))) : 0.0018545959933557417, rec(β((@a : π° _0) β¦ (((@a) , (π° _0)))))(π° _0)((@a : π° _0) β¦ ((((@a_1) , (@a_2)) : ((@a) , (π° _0))) β¦ (Zero))) : 0.0014424635503877987, rec(β((@a : π° _0) β¦ (((@a) , (π° _0)))))(π° _0)((@a : π° _0) β¦ ((((@a_1) , (@a_2)) : ((@a) , (π° _0))) β¦ (Unit))) : 0.0014424635503877987, rec(β((@a : π° _0) β¦ (((@a) , (π° _0)))))(π° _0)((@a : π° _0) β¦ (rec(((@a) , (π° _0)))(π° _0)((@a :@a) β¦ ((@b : π° _0) β¦ (@a))))) : 0.0010311443929511203, rec(β((@a : π° _0) β¦ (((@a) , (π° _0)))))(π° _0)((@a : π° _0) β¦ (rec(((@a) , (π° _0)))(π° _0)((@a : @a) β¦ ((@b : π° _0) β¦ (Unit))))) : 8.02001194517538E-4, rec(β((@a : π° _0) β¦ (((@a) , (π° _0)))))(π° _0)((@a : π° _0) β¦ (rec(((@a) , (π° _0)))(π° _0)((@a : `@a) β¦ ((@b : π° _0) β¦ (Zero))))) : 8.02001194517538E-4]))
- Vector((((
@a : π° _0 ) ~> (((π° _0) , (@a)))) β (π° _0),0.5,[(@a : (@a : π° _0 ) ~> (((π° _0) , (@a)))) β¦ (Unit) : 0.010702019943741583, (@a : (@a : π° _0 ) ~> (((π° _0) , (@a)))) β¦ (Zero) : 0.010702019943741583]))
- Vector(((π° _0) β ((π° _0) β (((π° _0) , (π° _0)))),0.5,[(@a : π° _0) β¦ ((
@b : π° _0) β¦ (((@b) , (@b)))) : 0.0025268980880811887, (@a : π° _0) β¦ ((@b : π° _0) β¦ (((@b) , (@a)))) : 0.0017688286616568323, (@a : π° _0) β¦ ((@b : π° _0) β¦ (((@a) , (@b)))) : 0.0017688286616568323, (@a : π° _0) β¦ ((@b : π° _0) β¦ (((@b) , (Unit)))) : 0.0013757556257330912, (@a : π° _0) β¦ ((@b : π° _0) β¦ (((Zero) , (@b)))) : 0.0013757556257330912, (@a : π° _0) β¦ ((@b : π° _0) β¦ (((Unit) , (@b)))) : 0.0013757556257330912, (@a : π° _0) β¦ ((@b : π° _0) β¦ (((@b) , (Zero)))) : 0.0013757556257330912, (@a : π° _0) β¦ ((@b : π° _0) β¦ (((@a) , (@a)))) : 0.0012381800631597823, (@a : π° _0) β¦ ((@b : π° _0) β¦ (((@a) , (Unit)))) : 9.63028938013164E-4, (@a : π° _0) β¦ ((@b : π° _0) β¦ (((Zero) , (@a)))) : 9.63028938013164E-4, (@a : π° _0) β¦ ((@b : π° _0) β¦ (((Unit) , (@a)))) : 9.63028938013164E-4, (@a : π° _0) β¦ ((@b : π° _0) β¦ (((@a) , (Zero)))) : 9.63028938013164E-4, (@a : π° _0) β¦ ((@b : π° _0) β¦ (((Zero) , (Unit)))) : 7.239478494155423E-4, (@a : π° _0) β¦ ((@b : π° _0) β¦ (((Unit) , (Zero)))) : 7.239478494155423E-4, (@a : π° _0) β¦ ((@b : π° _0) β¦ (((Unit) , (Unit)))) : 7.239478494155423E-4, (@a : π° _0) β¦ ((@b : π° _0) β¦ (((Zero) , (Zero)))) : 7.239478494155423E-4]))
- Vector(((((π° _0) β (π° _0)) β ((π° _0) β (π° _0))) β (π° _0),0.5,[(@a : ((π° _0) β (π° _0)) β ((π° _0) β (π° _0))) β¦ (Zero) : 0.00655854953347216, (@a : ((π° _0) β (π° _0)) β ((π° _0) β (π° _0))) β¦ (Unit) : 0.00655854953347216, (
@a : ((π° _0) β (π° _0)) β ((π° _0) β (π° _0))) β¦ (((@a) ((@a : π° _0) β¦ (@a))) (Unit)) : 0.001510305928270312, (@a : ((π° _0) β (π° _0)) β ((π° _0) β (π° _0))) β¦ (((@a) ((@a : π° _0) β¦ (@a))) (Zero)) : 0.001510305928270312, (@a : ((π° _0) β (π° _0)) β ((π° _0) β (π° _0))) β¦ (((@a) ((@a : π° _0) β¦ (Zero))) (Unit)) : 7.927365868737157E-4, (@a : ((π° _0) β (π° _0)) β ((π° _0) β (π° _0))) β¦ (((@a) ((@a : π° _0) β¦ (Unit))) (Unit)) : 7.927365868737157E-4, (@a : ((π° _0) β (π° _0)) β ((π° _0) β (π° _0))) β¦ (((@a) ((@a : π° _0) β¦ (Unit))) (Zero)) : 7.927365868737157E-4, (@a : ((π° _0) β (π° _0)) β ((π° _0) β (π° _0))) β¦ (((@a) ((@a : π° _0) β¦ (Zero))) (Zero)) : 7.927365868737157E-4, (@a : ((π° _0) β (π° _0)) β ((π° _0) β (π° _0))) β¦ (((@a) ((@a) ((@a : π° _0) β¦ (@a)))) (Unit)) : 4.2036197790263784E-4, (@a : ((π° _0) β (π° _0)) β ((π° _0) β (π° _0))) β¦ (((@a) ((@a) ((@a : π° _0) β¦ (@a)))) (Zero)) : 4.2036197790263784E-4, (@a : ((π° _0) β (π° _0)) β ((π° _0) β (π° _0))) β¦ (((@a) ((@a) ((@a : π° _0) β¦ (Unit)))) (Zero)) : 8.744365487525488E-5, (@a : ((π° _0) β (π° _0)) β ((π° _0) β (π° _0))) β¦ (((@a) ((@a) ((@a : π° _0) β¦ (Zero)))) (Zero)) : 8.744365487525488E-5, (@a : ((π° _0) β (π° _0)) β ((π° _0) β (π° _0))) β¦ (((@a) ((@a) ((@a : π° _0) β¦ (Unit)))) (Unit)) : 8.744365487525488E-5, (@a : ((π° _0) β (π° _0)) β ((π° _0) β (π° _0))) β¦ (((@a) ((@a) ((@a : π° _0) β¦ (Zero)))) (Unit)) : 8.744365487525488E-5]))
- Vector(((((((π° _0) , (π° _0))) β (π° _0)) β (π° _0)) β (π° _0),0.5,[(@a : ((((π° _0) , (π° _0))) β (π° _0)) β (π° _0)) β¦ (Zero) : 0.007409759231129201, (@a : ((((π° _0) , (π° _0))) β (π° _0)) β (π° _0)) β¦ (Unit) : 0.007409759231129201, (
@a : ((((π° _0) , (π° _0))) β (π° _0)) β (π° _0)) β¦ ((@a) ((((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ (Zero))) : 0.0018830029169258366, (@a : ((((π° _0) , (π° _0))) β (π° _0)) β (π° _0)) β¦ ((@a) ((((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ (Unit))) : 0.0018830029169258366, (@a : ((((π° _0) , (π° _0))) β (π° _0)) β (π° _0)) β¦ ((@a) (rec(((π° _0) , (π° _0)))(π° _0)((@a : π° _0) β¦ ((@b : π° _0) β¦ (@b))))) : 7.748390364334738E-4, (@a : ((((π° _0) , (π° _0))) β (π° _0)) β (π° _0)) β¦ ((@a) (rec(((π° _0) , (π° _0)))(π° _0)((@a : π° _0) β¦ ((@b : π° _0) β¦ (@a))))) : 5.423873255034316E-4, (@a : ((((π° _0) , (π° _0))) β (π° _0)) β (π° _0)) β¦ ((@a) (rec(((π° _0) , (π° _0)))(π° _0)((@a : π° _0) β¦ ((@b : π° _0) β¦ (Unit))))) : 2.952997661074237E-4, (@a : ((((π° _0) , (π° _0))) β (π° _0)) β (π° _0)) β¦ ((@a) (rec(((π° _0) , (π° _0)))(π° _0)((@a : π° _0) β¦ ((@b : π° _0) β¦ (Zero))))) : 2.952997661074237E-4]))
- Vector(((((((π° _0) β (π° _0)) , (π° _0))) β (π° _0)) β (π° _0),0.5,[(@a : ((((π° _0) β (π° _0)) , (π° _0))) β (π° _0)) β¦ (Zero) : 0.008341767994169642, (@a : ((((π° _0) β (π° _0)) , (π° _0))) β (π° _0)) β¦ (Unit) : 0.008341767994169642, (
@a : ((((π° _0) β (π° _0)) , (π° _0))) β (π° _0)) β¦ ((@a) ((((@a : π° _0) β¦ (@a)) , (Zero)))) : 9.133154847583329E-4, (@a : ((((π° _0) β (π° _0)) , (π° _0))) β (π° _0)) β¦ ((@a) ((((@a : π° _0) β¦ (@a)) , (Unit)))) : 9.133154847583329E-4, (@a : ((((π° _0) β (π° _0)) , (π° _0))) β (π° _0)) β¦ ((@a) ((((@a : π° _0) β¦ (Unit)) , (Zero)))) : 4.97249541701759E-4, (@a : ((((π° _0) β (π° _0)) , (π° _0))) β (π° _0)) β¦ ((@a) ((((@a : π° _0) β¦ (Zero)) , (Unit)))) : 4.97249541701759E-4, (@a : ((((π° _0) β (π° _0)) , (π° _0))) β (π° _0)) β¦ ((@a) ((((@a : π° _0) β¦ (Zero)) , (Zero)))) : 4.97249541701759E-4, (@a : ((((π° _0) β (π° _0)) , (π° _0))) β (π° _0)) β¦ ((@a) ((((@a : π° _0) β¦ (Unit)) , (Unit)))) : 4.97249541701759E-4]))
- Vector(((((((π° _0) β (π° _0)) β (π° _0)) , (π° _0))) β (π° _0),0.5,[(((@a_1) , (@a_2)) : ((((π° _0) β (π° _0)) β (π° _0)) , (π° _0))) β¦ (Unit) : 0.005501508459674842, (((@a_1) , (@a_2)) : ((((π° _0) β (π° _0)) β (π° _0)) , (π° _0))) β¦ (Zero) : 0.005501508459674842, rec(((((π° _0) β (π° _0)) β (π° _0)) , (π° _0)))(π° _0)((@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ ((
@a : π° _0) β¦ (@a))) : 0.002878068037954276, rec(((((π° _0) β (π° _0)) β (π° _0)) , (π° _0)))(π° _0)((@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ ((@a : π° _0) β¦ (Zero))) : 0.001566948153997328, rec(((((π° _0) β (π° _0)) β (π° _0)) , (π° _0)))(π° _0)((@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ ((@a : π° _0) β¦ (Unit))) : 0.001566948153997328, rec(((((π° _0) β (π° _0)) β (π° _0)) , (π° _0)))(π° _0)((@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ ((@a : π° _0) β¦ ((@a) ((@b : π° _0) β¦ (@b))))) : 0.0014081108565353684, rec(((((π° _0) β (π° _0)) β (π° _0)) , (π° _0)))(π° _0)((@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ ((@a : π° _0) β¦ ((@a) ((@b : π° _0) β¦ (@a))))) : 9.85677599574758E-4, rec(((((π° _0) β (π° _0)) β (π° _0)) , (π° _0)))(π° _0)((@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ ((@a : π° _0) β¦ ((@a) ((@b : π° _0) β¦ (Zero))))) : 5.366466931018124E-4, rec(((((π° _0) β (π° _0)) β (π° _0)) , (π° _0)))(π° _0)((@a : ((π° _0) β (π° _0)) β (π° _0)) β¦ ((@a : π° _0) β¦ ((@a) ((@b : π° _0) β¦ (Unit))))) : 5.366466931018124E-4]))
- Vector((β((
@a : π° _0) β¦ ((((π° _0) β (π° _0)) β (@a)) β (Zero))),0.5,[((Zero) , ((@a : ((π° _0) β (π° _0)) β (Zero)) β¦ ((@a) ((@a : π° _0) β¦ (@a))))) : 0.009038038727213711, ((Zero) , ((@a : ((π° _0) β (π° _0)) β (Zero)) β¦ ((@a) ((@a : π° _0) β¦ (Unit))))) : 0.004920709973705244, ((Zero) , ((@a : ((π° _0) β (π° _0)) β (Zero)) β¦ ((@a) ((@a : π° _0) β¦ (Zero))))) : 0.004920709973705244]))
- Vector((((
@a : π° _0 ) ~> ((@a) β (@a))) β (π° _0),0.5,[(@a : (@a : π° _0 ) ~> ((@a) β (@a))) β¦ (Unit) : 0.01025805056579662, (@a : (@a : π° _0 ) ~> ((@a) β (`@a))) β¦ (Zero) : 0.01025805056579662]))
- Vector(((π° _0) β (((((π° _0) , (π° _0))) , (π° _0))),0.5,[(
@a : π° _0) β¦ (((((@a) , (@a))) , (@a))) : 0.0011715806589734643, (@a : π° _0) β¦ (((((@a) , (Unit))) , (@a))) : 9.112294014238057E-4, (@a : π° _0) β¦ (((((Zero) , (@a))) , (@a))) : 9.112294014238057E-4, (@a : π° _0) β¦ (((((@a) , (@a))) , (Unit))) : 9.112294014238055E-4, (@a : π° _0) β¦ (((((@a) , (@a))) , (Zero))) : 9.112294014238055E-4, (@a : π° _0) β¦ (((((Unit) , (@a))) , (@a))) : 9.112294014238057E-4, (@a : π° _0) β¦ (((((@a) , (Zero))) , (@a))) : 9.112294014238057E-4, (@a : π° _0) β¦ (((((@a) , (Zero))) , (Unit))) : 7.087339788851821E-4, (@a : π° _0) β¦ (((((Unit) , (Unit))) , (@a))) : 7.087339788851821E-4, (@a : π° _0) β¦ (((((@a) , (Zero))) , (Zero))) : 7.087339788851821E-4, (@a : π° _0) β¦ (((((Zero) , (Unit))) , (@a))) : 7.087339788851821E-4, (@a : π° _0) β¦ (((((@a) , (Unit))) , (Zero))) : 7.087339788851821E-4, (@a : π° _0) β¦ (((((Zero) , (@a))) , (Zero))) : 7.087339788851821E-4, (@a : π° _0) β¦ (((((@a) , (Unit))) , (Unit))) : 7.087339788851821E-4, (@a : π° _0) β¦ (((((Zero) , (Zero))) , (@a))) : 7.087339788851821E-4, (@a : π° _0) β¦ (((((Zero) , (@a))) , (Unit))) : 7.087339788851821E-4, (@a : π° _0) β¦ (((((Unit) , (@a))) , (Zero))) : 7.087339788851821E-4, (@a : π° _0) β¦ (((((Unit) , (Zero))) , (@a))) : 7.087339788851821E-4, (@a : π° _0) β¦ (((((Unit) , (@a))) , (Unit))) : 7.087339788851821E-4, (@a : π° _0) β¦ (((((Unit) , (Zero))) , (Zero))) : 5.512375391329192E-4, (@a : π° _0) β¦ (((((Zero) , (Unit))) , (Zero))) : 5.512375391329192E-4, (@a : π° _0) β¦ (((((Zero) , (Zero))) , (Unit))) : 5.512375391329192E-4, (@a : π° _0) β¦ (((((Unit) , (Zero))) , (Unit))) : 5.512375391329192E-4, (@a : π° _0) β¦ (((((Zero) , (Unit))) , (Unit))) : 5.512375391329192E-4, (@a : π° _0) β¦ (((((Unit) , (Unit))) , (Unit))) : 5.512375391329192E-4, (@a : π° _0) β¦ (((((Zero) , (Zero))) , (Zero))) : 5.512375391329192E-4, (@a : π° _0) β¦ (((((Unit) , (Unit))) , (Zero))) : 5.512375391329192E-4]))
- Vector((((π° _0) β (π° _0)) β (((π° _0) β (π° _0)) β (π° _0)),0.5,[(@a : (π° _0) β (π° _0)) β¦ ((@b : (π° _0) β (π° _0)) β¦ (Unit)) : 0.0033801244115728435, (@a : (π° _0) β (π° _0)) β¦ ((@b : (π° _0) β (π° _0)) β¦ (Zero)) : 0.0033801244115728435, (@a : (π° _0) β (π° _0)) β¦ ((
@b : (π° _0) β (π° _0)) β¦ ((@b) (Unit))) : 0.0015363319118981138, (@a : (π° _0) β (π° _0)) β¦ ((@b : (π° _0) β (π° _0)) β¦ ((@b) (Zero))) : 0.0015363319118981138, (@a : (π° _0) β (π° _0)) β¦ ((@b : (π° _0) β (π° _0)) β¦ ((@b) ((@b) (Zero)))) : 0.001187526649047129, (@a : (π° _0) β (π° _0)) β¦ ((@b : (π° _0) β (π° _0)) β¦ ((@b) ((@b) (Unit)))) : 0.001187526649047129, (@a : (π° _0) β (π° _0)) β¦ ((@b : (π° _0) β (π° _0)) β¦ ((@a) (Unit))) : 0.0010754323383286796, (@a : (π° _0) β (π° _0)) β¦ ((@b : (π° _0) β (π° _0)) β¦ ((@a) (Zero))) : 0.0010754323383286796, (@a : (π° _0) β (π° _0)) β¦ ((@b : (π° _0) β (π° _0)) β¦ ((@a) ((@b) (Zero)))) : 8.312686543329902E-4, (@a : (π° _0) β (π° _0)) β¦ ((@b : (π° _0) β (π° _0)) β¦ ((@b) ((@a) (Zero)))) : 8.312686543329902E-4, (@a : (π° _0) β (π° _0)) β¦ ((@b : (π° _0) β (π° _0)) β¦ ((@a) ((@b) (Unit)))) : 8.312686543329902E-4, (@a : (π° _0) β (π° _0)) β¦ ((@b : (π° _0) β (π° _0)) β¦ ((@b) ((@a) (Unit)))) : 8.312686543329902E-4, (@a : (π° _0) β (π° _0)) β¦ ((@b : (π° _0) β (π° _0)) β¦ ((@a) ((@a) (Zero)))) : 5.818880580330931E-4, (@a : (π° _0) β (π° _0)) β¦ ((@b : (π° _0) β (π° _0)) β¦ ((@a) ((@a) (Unit)))) : 5.818880580330931E-4]))
- Vector((((
@a : π° _0 ) ~> (@a)) β (((π° _0) , (π° _0))),0.5,[(@a : (@a : π° _0 ) ~> (@a)) β¦ (((Zero) , (Zero))) : 0.004974577582061285, (@a : (@a : π° _0 ) ~> (@a)) β¦ (((Unit) , (Unit))) : 0.004974577582061285, (@a : (@a : π° _0 ) ~> (@a)) β¦ (((Zero) , (Unit))) : 0.004974577582061285, (@a : (@a : π° _0 ) ~> (@a)) β¦ (((Unit) , (Zero))) : 0.004974577582061285]))
- Vector((((π° _0) β ((
@b : π° _0 ) ~> ((π° _0) β (@b)))) β (Zero),0.5,[(@a : (π° _0) β ((@b : π° _0 ) ~> ((π° _0) β (@b)))) β¦ ((((@a) (Zero)) (Zero)) (Unit)) : 0.004724557876211586, (@a : (π° _0) β ((@b : π° _0 ) ~> ((π° _0) β (@b)))) β¦ ((((@a) (Unit)) (Zero)) (Zero)) : 0.004724557876211586, (@a : (π° _0) β ((@b : π° _0 ) ~> ((π° _0) β (@b)))) β¦ ((((@a) (Zero)) (Zero)) (Zero)) : 0.004724557876211586, (@a : (π° _0) β ((@b : π° _0 ) ~> ((π° _0) β (@b)))) β¦ ((((@a) (Unit)) (Zero)) (Unit)) : 0.004724557876211586]))
- Vector(((β((
@a : π° _0) β¦ ((π° _0) β (@a)))) β (π° _0),0.5,[(((@a_1) , (@a_2)) : β((@a : π° _0) β¦ ((π° _0) β (@a)))) β¦ (Zero) : 0.005501508459674841, (((@a_1) , (@a_2)) : β((@a : π° _0) β¦ ((π° _0) β (@a)))) β¦ (Unit) : 0.005501508459674841, rec(β((@a : π° _0) β¦ ((π° _0) β (@a))))(π° _0)((@a : π° _0) β¦ ((@a : (π° _0) β (@a)) β¦ (@a))) : 0.0037091919867114844, rec(β((@a : π° _0) β¦ ((π° _0) β (@a))))(π° _0)((@a : π° _0) β¦ ((@a : (π° _0) β (@a)) β¦ (Zero))) : 0.0028849271007755986, rec(β((@a : π° _0) β¦ ((π° _0) β (@a))))(π° _0)((@a : π° _0) β¦ ((@a : (π° _0) β (@a)) β¦ (Unit))) : 0.0028849271007755986]))
- Vector(((
@a : π° _0 ) ~> ((((@a) β (π° _0)) , (π° _0))),0.5,[(@a : π° _0) β¦ ((((@a : @a) β¦ (@a)) , (@a))) : 0.0029940394618210736, (@a : π° _0) β¦ ((((@a :@a) β¦ (@a)) , (Unit))) : 0.0023286973591941677, (@a : π° _0) β¦ ((((@a :@a) β¦ (@a)) , (Zero))) : 0.0023286973591941677, (@a : π° _0) β¦ ((((@a :@a) β¦ (Zero)) , (@a))) : 0.0023286973591941677, (@a : π° _0) β¦ ((((@a :@a) β¦ (Unit)) , (@a))) : 0.0023286973591941677, (@a : π° _0) β¦ ((((@a :@a) β¦ (Unit)) , (Unit))) : 0.0018112090571510194, (@a : π° _0) β¦ ((((@a : @a) β¦ (Unit)) , (Zero))) : 0.0018112090571510194, (@a : π° _0) β¦ ((((@a :@a) β¦ (Zero)) , (Unit))) : 0.0018112090571510194, (@a : π° _0) β¦ ((((@a : `@a) β¦ (Zero)) , (Zero))) : 0.0018112090571510194]))
- Vector((β((
@a : π° _0) β¦ (((@a) β (π° _0)) β (π° _0))),0.5,[((Unit) , ((@a : (Unit) β (π° _0)) β¦ ((@a) (Star)))) : 0.0062041508313689705, ((Zero) , ((@a : (Zero) β (π° _0)) β¦ (Unit))) : 0.0048710728543803405, ((Zero) , ((@a : (Zero) β (π° _0)) β¦ (Zero))) : 0.0048710728543803405, ((Unit) , ((@a : (Unit) β (π° _0)) β¦ (Unit))) : 0.0017689974386958546, ((Unit) , ((@a : (Unit) β (π° _0)) β¦ (Zero))) : 0.0017689974386958546]))
- Vector((β((
@a : (π° _0) β (π° _0)) β¦ (β((@a : π° _0) β¦ (((@a) (@a)) β (Zero))))),0.5,[(((@a : π° _0) β¦ (@a)) , (((Zero) , ((@a : Zero) β¦ (@a))))) : 0.005479956961177879, (((@a : π° _0) β¦ (@a)) , (((Zero) , (rec(Zero)(Zero))))) : 0.005479956961177879, (((@a : π° _0) β¦ (Zero)) , (((Unit) , ((@a : Zero) β¦ (@a))))) : 0.0021310943737913968, (((@a : π° _0) β¦ (Zero)) , (((Zero) , (rec(Zero)(Zero))))) : 0.0021310943737913968, (((@a : π° _0) β¦ (Zero)) , (((Unit) , (rec(Zero)(Zero))))) : 0.0021310943737913968, (((@a : π° _0) β¦ (Zero)) , (((Zero) , ((@a : Zero) β¦ (@a))))) : 0.0021310943737913968]))
- Vector((((((π° _0) , (π° _0))) β ((
@a : π° _0 ) ~> (@a))) β (Zero),0.5,[(@a : (((π° _0) , (π° _0))) β ((@a : π° _0 ) ~> (@a))) β¦ (((@a) (((Zero) , (Unit)))) (Zero)) : 0.00471986466865605, (@a : (((π° _0) , (π° _0))) β ((@a : π° _0 ) ~> (@a))) β¦ (((@a) (((Unit) , (Unit)))) (Zero)) : 0.00471986466865605, (@a : (((π° _0) , (π° _0))) β ((@a : π° _0 ) ~> (@a))) β¦ (((@a) (((Unit) , (Zero)))) (Zero)) : 0.00471986466865605, (@a : (((π° _0) , (π° _0))) β ((@a : π° _0 ) ~> (@a))) β¦ (((@a) (((Zero) , (Zero)))) (Zero)) : 0.00471986466865605]))
- Vector((((π° _0) β (π° _0)) β (β((
@a : π° _0) β¦ (@a))),0.5,[(@a : (π° _0) β (π° _0)) β¦ (((Unit) , (Star))) : 0.019098583060361957]))
- Vector((((
@a : π° _0 ) ~> (((@a) , (π° _0)))) β (π° _0),0.5,[(@a : (@a : π° _0 ) ~> (((@a) , (π° _0)))) β¦ (Unit) : 0.01070201994374158, (@a : (@a : π° _0 ) ~> (((@a) , (π° _0)))) β¦ (Zero) : 0.01070201994374158]))
- Vector((((π° _0) β (β((
@b : π° _0) β¦ (@b)))) β (π° _0),0.5,[(@a : (π° _0) β (β((@b : π° _0) β¦ (@b)))) β¦ (Zero) : 0.010249582562331496, (@a : (π° _0) β (β((@b : π° _0) β¦ (@b)))) β¦ (Unit) : 0.010249582562331496]))
- Vector(((((β((
@a : π° _0) β¦ (@a))) , (π° _0))) β (π° _0),0.5,[(((((@a_1_1) , (@a_1_2))) , (@a_2)) : ((β((@a : π° _0) β¦ (@a))) , (π° _0))) β¦ (Unit) : 0.005501508459674839, (((((@a_1_1) , (@a_1_2))) , (@a_2)) : ((β((@a : π° _0) β¦ (@a))) , (π° _0))) β¦ (Zero) : 0.005501508459674839, rec(((β((@a : π° _0) β¦ (@a))) , (π° _0)))(π° _0)((((@a_1) , (@a_2)) : β((@a : π° _0) β¦ (@a))) β¦ ((@a : π° _0) β¦ (@a))) : 0.0022689206301692594, rec(((β((@a : π° _0) β¦ (@a))) , (π° _0)))(π° _0)(rec(β((@a : π° _0) β¦ (@a)))((π° _0) β (π° _0))((@a : π° _0) β¦ ((@a : @a) β¦ ((@b : π° _0) β¦ (@b))))) : 0.002104376312145144, rec(((β((@a : π° _0) β¦ (@a))) , (π° _0)))(π° _0)((((@a_1) , (@a_2)) : β((@a : π° _0) β¦ (@a))) β¦ ((@a : π° _0) β¦ (Unit))) : 0.0012353012319810412, rec(((β((@a : π° _0) β¦ (@a))) , (π° _0)))(π° _0)((((@a_1) , (@a_2)) : β((@a : π° _0) β¦ (@a))) β¦ ((@a : π° _0) β¦ (Zero))) : 0.0012353012319810412, rec(((β((@a : π° _0) β¦ (@a))) , (π° _0)))(π° _0)(rec(β((@a : π° _0) β¦ (@a)))((π° _0) β (π° _0))((@a : π° _0) β¦ ((@a :@a) β¦ ((@b : π° _0) β¦ (@a))))) : 0.0010311443929511203, rec(((β((@a : π° _0) β¦ (@a))) , (π° _0)))(π° _0)(rec(β((@a : π° _0) β¦ (@a)))((π° _0) β (π° _0))((@a : π° _0) β¦ ((@a :@a) β¦ ((@b : π° _0) β¦ (Unit))))) : 8.02001194517538E-4, rec(((β((@a : π° _0) β¦ (@a))) , (π° _0)))(π° _0)(rec(β((@a : π° _0) β¦ (@a)))((π° _0) β (π° _0))((@a : π° _0) β¦ ((@a : `@a) β¦ ((@b : π° _0) β¦ (Zero))))) : 8.02001194517538E-4]))
- Vector(((((π° _0) , (((π° _0) , (π° _0))))) β (π° _0),0.5,[(((@a_1) , (((@a_2_1) , (@a_2_2)))) : ((π° _0) , (((π° _0) , (π° _0))))) β¦ (Unit) : 0.005501508459674839, (((@a_1) , (((@a_2_1) , (@a_2_2)))) : ((π° _0) , (((π° _0) , (π° _0))))) β¦ (Zero) : 0.005501508459674839, rec(((π° _0) , (((π° _0) , (π° _0)))))(π° _0)((
@a : π° _0) β¦ ((((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ (@a))) : 0.0018545959933557417, rec(((π° _0) , (((π° _0) , (π° _0)))))(π° _0)((@a : π° _0) β¦ (rec(((π° _0) , (π° _0)))(π° _0)((@b : π° _0) β¦ ((@c : π° _0) β¦ (@c))))) : 0.001605408650627854, rec(((π° _0) , (((π° _0) , (π° _0)))))(π° _0)((@a : π° _0) β¦ ((((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ (Unit))) : 0.0014424635503877987, rec(((π° _0) , (((π° _0) , (π° _0)))))(π° _0)((@a : π° _0) β¦ ((((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ (Zero))) : 0.0014424635503877987, rec(((π° _0) , (((π° _0) , (π° _0)))))(π° _0)((@a : π° _0) β¦ (rec(((π° _0) , (π° _0)))(π° _0)((@b : π° _0) β¦ ((@c : π° _0) β¦ (@b))))) : 0.0011237860554394975, rec(((π° _0) , (((π° _0) , (π° _0)))))(π° _0)((@a : π° _0) β¦ (rec(((π° _0) , (π° _0)))(π° _0)((@b : π° _0) β¦ ((@c : π° _0) β¦ (@a))))) : 7.866502388076483E-4, rec(((π° _0) , (((π° _0) , (π° _0)))))(π° _0)((@a : π° _0) β¦ (rec(((π° _0) , (π° _0)))(π° _0)((@b : π° _0) β¦ ((@c : π° _0) β¦ (Unit))))) : 6.118390746281704E-4, rec(((π° _0) , (((π° _0) , (π° _0)))))(π° _0)((@a : π° _0) β¦ (rec(((π° _0) , (π° _0)))(π° _0)((@b : π° _0) β¦ ((@c : π° _0) β¦ (Zero))))) : 6.118390746281704E-4]))
- Vector((((π° _0) β ((π° _0) β ((
@c : π° _0 ) ~> (@c)))) β (Zero),0.5,[(@a : (π° _0) β ((π° _0) β ((@c : π° _0 ) ~> (@c)))) β¦ ((((@a) (Zero)) (Unit)) (Zero)) : 0.004724557876211586, (@a : (π° _0) β ((π° _0) β ((@c : π° _0 ) ~> (@c)))) β¦ ((((@a) (Unit)) (Zero)) (Zero)) : 0.004724557876211586, (@a : (π° _0) β ((π° _0) β ((@c : π° _0 ) ~> (@c)))) β¦ ((((@a) (Unit)) (Unit)) (Zero)) : 0.004724557876211586, (@a : (π° _0) β ((π° _0) β ((@c : π° _0 ) ~> (@c)))) β¦ ((((@a) (Zero)) (Zero)) (Zero)) : 0.004724557876211586]))
- Vector((((
@a : π° _0 ) ~> ((π° _0) β (@a))) β (π° _0),0.5,[(@a : (@a : π° _0 ) ~> ((π° _0) β (@a))) β¦ (Unit) : 0.010702019943741578, (@a : (@a : π° _0 ) ~> ((π° _0) β (@a))) β¦ (Zero) : 0.010702019943741578]))
- Vector(((π° _0) β ((((π° _0) β (π° _0)) , (π° _0))),0.5,[(
@a : π° _0) β¦ ((((@b : π° _0) β¦ (@b)) , (@a))) : 0.002743542136330069, (@a : π° _0) β¦ ((((@b : π° _0) β¦ (@b)) , (Zero))) : 0.002133866106034498, (@a : π° _0) β¦ ((((@b : π° _0) β¦ (@b)) , (Unit))) : 0.002133866106034498, (@a : π° _0) β¦ ((((@b : π° _0) β¦ (@a)) , (@a))) : 0.0019204794954310483, (@a : π° _0) β¦ ((((@b : π° _0) β¦ (Zero)) , (@a))) : 0.0014937062742241486, (@a : π° _0) β¦ ((((@b : π° _0) β¦ (Unit)) , (@a))) : 0.0014937062742241486, (@a : π° _0) β¦ ((((@b : π° _0) β¦ (@a)) , (Zero))) : 0.0014937062742241486, (@a : π° _0) β¦ ((((@b : π° _0) β¦ (`@a)) , (Unit))) : 0.0014937062742241486, (@a : π° _0) β¦ ((((@b : π° _0) β¦ (Unit)) , (Zero))) : 0.0011617715466187824, (@a : π° _0) β¦ ((((@b : π° _0) β¦ (Zero)) , (Unit))) : 0.0011617715466187824, (@a : π° _0) β¦ ((((@b : π° _0) β¦ (Zero)) , (Zero))) : 0.0011617715466187824, (@a : π° _0) β¦ ((((@b : π° _0) β¦ (Unit)) , (Unit))) : 0.0011617715466187824]))
- Vector(((((π° _0) , ((
@b : π° _0 ) ~> (@b)))) β (π° _0),0.5,[(((@a_1) , (@a_2)) : ((π° _0) , ((@b : π° _0 ) ~> (@b)))) β¦ (Zero) : 0.0057353118851704325, (((@a_1) , (@a_2)) : ((π° _0) , ((@b : π° _0 ) ~> (@b)))) β¦ (Unit) : 0.0057353118851704325, rec(((π° _0) , ((@b : π° _0 ) ~> (@b))))(π° _0)((@a : π° _0) β¦ ((@a : (@b : π° _0 ) ~> (@b)) β¦ (@a))) : 0.003879700160637417, rec(((π° _0) , ((@b : π° _0 ) ~> (@b))))(π° _0)((@a : π° _0) β¦ ((@a : (@b : π° _0 ) ~> (@b)) β¦ (Zero))) : 0.003017544569384657, rec(((π° _0) , ((@b : π° _0 ) ~> (@b))))(π° _0)((@a : π° _0) β¦ ((@a : (@b : π° _0 ) ~> (@b)) β¦ (Unit))) : 0.003017544569384657]))
- Vector(((β((
@a : π° _0) β¦ ((@a) β (π° _0)))) β (π° _0),0.5,[(((@a_1) , (@a_2)) : β((@a : π° _0) β¦ ((@a) β (π° _0)))) β¦ (Unit) : 0.005501508459674841, (((@a_1) , (@a_2)) : β((@a : π° _0) β¦ ((@a) β (π° _0)))) β¦ (Zero) : 0.005501508459674841, rec(β((@a : π° _0) β¦ ((@a) β (π° _0))))(π° _0)((@a : π° _0) β¦ ((@a : (@a) β (π° _0)) β¦ (@a))) : 0.0037091919867114852, rec(β((@a : π° _0) β¦ ((@a) β (π° _0))))(π° _0)((@a : π° _0) β¦ ((@a : (@a) β (π° _0)) β¦ (Unit))) : 0.0028849271007755986, rec(β((@a : π° _0) β¦ ((@a) β (π° _0))))(π° _0)((@a : π° _0) β¦ ((@a : (@a) β (π° _0)) β¦ (Zero))) : 0.0028849271007755986]))
- Vector((((((π° _0) β (π° _0)) β (π° _0)) β (π° _0)) β (π° _0),0.5,[(@a : (((π° _0) β (π° _0)) β (π° _0)) β (π° _0)) β¦ (Zero) : 0.007409759231129201, (@a : (((π° _0) β (π° _0)) β (π° _0)) β (π° _0)) β¦ (Unit) : 0.007409759231129201, (
@a : (((π° _0) β (π° _0)) β (π° _0)) β (π° _0)) β¦ ((@a) ((@a : (π° _0) β (π° _0)) β¦ (Zero))) : 0.0017915318124117115, (@a : (((π° _0) β (π° _0)) β (π° _0)) β (π° _0)) β¦ ((@a) ((@a : (π° _0) β (π° _0)) β¦ (Unit))) : 0.0017915318124117115, (@a : (((π° _0) β (π° _0)) β (π° _0)) β (π° _0)) β¦ ((@a) ((@a : (π° _0) β (π° _0)) β¦ ((@a) (Unit)))) : 0.001045384051590001, (@a : (((π° _0) β (π° _0)) β (π° _0)) β (π° _0)) β¦ ((@a) ((@a : (π° _0) β (π° _0)) β¦ ((@a) (Zero)))) : 0.001045384051590001]))
- Vector((β((
@a : π° _0) β¦ (((@a) , (`@a)))),0.5,[((Unit) , (((Star) , (Star)))) : 0.019495728596187985]))
- Vector((((π° _0) β (((π° _0) , (π° _0)))) β (π° _0),0.5,[(@a : (π° _0) β (((π° _0) , (π° _0)))) β¦ (Unit) : 0.0102495825623315, (@a : (π° _0) β (((π° _0) , (π° _0)))) β¦ (Zero) : 0.0102495825623315]))
- Vector(((((π° _0) β (π° _0)) β ((
@a : π° _0 ) ~> (@a))) β (Zero),0.5,[(@a : ((π° _0) β (π° _0)) β ((@a : π° _0 ) ~> (@a))) β¦ (((@a) ((@a : π° _0) β¦ (@a))) (Zero)) : 0.00922256535122766, (@a : ((π° _0) β (π° _0)) β ((@a : π° _0 ) ~> (@a))) β¦ (((@a) ((@a : π° _0) β¦ (Zero))) (Zero)) : 0.004828446661698272, (@a : ((π° _0) β (π° _0)) β ((@a : π° _0 ) ~> (@a))) β¦ (((@a) ((@a : π° _0) β¦ (Unit))) (Zero)) : 0.004828446661698272]))
- Vector((((π° _0) β ((
@b : π° _0 ) ~> (@b))) β (π° _0),0.5,[(@a : (π° _0) β ((@b : π° _0 ) ~> (@b))) β¦ (Unit) : 0.010709034460247338, (@a : (π° _0) β ((@b : π° _0 ) ~> (@b))) β¦ (Zero) : 0.010709034460247338]))
- Vector((((β((
@a : π° _0) β¦ (@a))) β (π° _0)) β (π° _0),0.5,[(@a : (β((@a : π° _0) β¦ (@a))) β (π° _0)) β¦ (Zero) : 0.008341762946589594, (@a : (β((@a : π° _0) β¦ (@a))) β (π° _0)) β¦ (Unit) : 0.008341762946589594, (@a : (β((@a : π° _0) β¦ (@a))) β (π° _0)) β¦ ((@a) (((Unit) , (Star)))) : 0.003815629025780042]))
- Vector((((((
@a : π° _0 ) ~> (@a)) , (π° _0))) β (π° _0),0.5,[(((@a_1) , (@a_2)) : (((@a : π° _0 ) ~> (@a)) , (π° _0))) β¦ (Zero) : 0.005735311885170428, (((@a_1) , (@a_2)) : (((@a : π° _0 ) ~> (@a)) , (π° _0))) β¦ (Unit) : 0.005735311885170428, rec((((@a : π° _0 ) ~> (@a)) , (π° _0)))(π° _0)((@a : (@a : π° _0 ) ~> (@a)) β¦ ((@a : π° _0) β¦ (@a))) : 0.0047464416858862, rec((((@a : π° _0 ) ~> (@a)) , (π° _0)))(π° _0)((@a : (@a : π° _0 ) ~> (@a)) β¦ ((@a : π° _0) β¦ (Zero))) : 0.0025841738067602644, rec((((@a : π° _0 ) ~> (@a)) , (π° _0)))(π° _0)((@a : (@a : π° _0 ) ~> (@a)) β¦ ((@a : π° _0) β¦ (Unit))) : 0.0025841738067602644]))
- Vector(((((π° _0) , ((π° _0) β (π° _0)))) β (π° _0),0.5,[(((@a_1) , (@a_2)) : ((π° _0) , ((π° _0) β (π° _0)))) β¦ (Unit) : 0.005501508459674842, (((@a_1) , (@a_2)) : ((π° _0) , ((π° _0) β (π° _0)))) β¦ (Zero) : 0.005501508459674842, rec(((π° _0) , ((π° _0) β (π° _0))))(π° _0)((
@a : π° _0) β¦ ((@a : (π° _0) β (π° _0)) β¦ ((@a) (@a)))) : 0.0014288799294873927, rec(((π° _0) , ((π° _0) β (π° _0))))(π° _0)((@a : π° _0) β¦ ((@a : (π° _0) β (π° _0)) β¦ (@a))) : 0.0013272454769297068, rec(((π° _0) , ((π° _0) β (π° _0))))(π° _0)((@a : π° _0) β¦ ((@a : (π° _0) β (π° _0)) β¦ ((@a) (Unit)))) : 0.001111351056267972, rec(((π° _0) , ((π° _0) β (π° _0))))(π° _0)((@a : π° _0) β¦ ((@a : (π° _0) β (π° _0)) β¦ ((@a) (Zero)))) : 0.001111351056267972, rec(((π° _0) , ((π° _0) β (π° _0))))(π° _0)((@a : π° _0) β¦ ((@a : (π° _0) β (π° _0)) β¦ (Zero))) : 0.0010323020376119937, rec(((π° _0) , ((π° _0) β (π° _0))))(π° _0)((@a : π° _0) β¦ ((@a : (π° _0) β (π° _0)) β¦ (Unit))) : 0.0010323020376119937, rec(((π° _0) , ((π° _0) β (π° _0))))(π° _0)((@a : π° _0) β¦ ((@a : (π° _0) β (π° _0)) β¦ ((@a) ((@a) (@a))))) : 9.530665802943861E-4, rec(((π° _0) , ((π° _0) β (π° _0))))(π° _0)((@a : π° _0) β¦ ((@a : (π° _0) β (π° _0)) β¦ ((@a) ((@a) (Zero))))) : 7.412740068956337E-4, rec(((π° _0) , ((π° _0) β (π° _0))))(π° _0)((@a : π° _0) β¦ ((@a : (π° _0) β (π° _0)) β¦ ((@a) ((`@a) (Unit))))) : 7.412740068956337E-4]))
- Vector(((((((π° _0) , (π° _0))) , (π° _0))) β (π° _0),0.5,[(((((@a_1_1) , (@a_1_2))) , (@a_2)) : ((((π° _0) , (π° _0))) , (π° _0))) β¦ (Unit) : 0.005501508459674841, (((((@a_1_1) , (@a_1_2))) , (@a_2)) : ((((π° _0) , (π° _0))) , (π° _0))) β¦ (Zero) : 0.005501508459674841, rec(((((π° _0) , (π° _0))) , (π° _0)))(π° _0)((((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ ((
@a : π° _0) β¦ (@a))) : 0.0022689206301692594, rec(((((π° _0) , (π° _0))) , (π° _0)))(π° _0)(rec(((π° _0) , (π° _0)))((π° _0) β (π° _0))((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@c : π° _0) β¦ (@c))))) : 0.001605408650627854, rec(((((π° _0) , (π° _0))) , (π° _0)))(π° _0)((((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ ((@a : π° _0) β¦ (Zero))) : 0.0012353012319810416, rec(((((π° _0) , (π° _0))) , (π° _0)))(π° _0)((((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ ((@a : π° _0) β¦ (Unit))) : 0.0012353012319810416, rec(((((π° _0) , (π° _0))) , (π° _0)))(π° _0)(rec(((π° _0) , (π° _0)))((π° _0) β (π° _0))((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@c : π° _0) β¦ (@b))))) : 0.0011237860554394977, rec(((((π° _0) , (π° _0))) , (π° _0)))(π° _0)(rec(((π° _0) , (π° _0)))((π° _0) β (π° _0))((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@c : π° _0) β¦ (@a))))) : 7.866502388076484E-4, rec(((((π° _0) , (π° _0))) , (π° _0)))(π° _0)(rec(((π° _0) , (π° _0)))((π° _0) β (π° _0))((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@c : π° _0) β¦ (Unit))))) : 6.118390746281703E-4, rec(((((π° _0) , (π° _0))) , (π° _0)))(π° _0)(rec(((π° _0) , (π° _0)))((π° _0) β (π° _0))((@a : π° _0) β¦ ((@b : π° _0) β¦ ((@c : π° _0) β¦ (Zero))))) : 6.118390746281703E-4]))
- Vector((((π° _0) β (π° _0)) β (((π° _0) , (π° _0))),0.5,[(@a : (π° _0) β (π° _0)) β¦ (((Zero) , (Zero))) : 6.31278929404103E-4, (@a : (π° _0) β (π° _0)) β¦ (((Unit) , (Unit))) : 6.31278929404103E-4, (@a : (π° _0) β (π° _0)) β¦ (((Unit) , (Zero))) : 6.31278929404103E-4, (@a : (π° _0) β (π° _0)) β¦ (((Zero) , (Unit))) : 6.31278929404103E-4, (
@a : (π° _0) β (π° _0)) β¦ ((((@a) ((@a) (Unit))) , (Zero))) : 5.697369016704036E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a) ((@a) (Zero))) , (Unit))) : 5.697369016704036E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a) ((@a) (Zero))) , (Zero))) : 5.697369016704036E-4, (@a : (π° _0) β (π° _0)) β¦ (((Zero) , ((@a) ((@a) (Zero))))) : 5.697369016704036E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a) ((@a) (Unit))) , (Unit))) : 5.697369016704036E-4, (@a : (π° _0) β (π° _0)) β¦ (((Zero) , ((@a) ((@a) (Unit))))) : 5.697369016704036E-4, (@a : (π° _0) β (π° _0)) β¦ (((Unit) , ((@a) ((@a) (Unit))))) : 5.697369016704036E-4, (@a : (π° _0) β (π° _0)) β¦ (((Unit) , ((@a) ((@a) (Zero))))) : 5.697369016704036E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a) ((@a) (Unit))) , ((@a) ((@a) (Zero))))) : 5.437610938994129E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a) ((@a) (Zero))) , ((@a) ((@a) (Unit))))) : 5.437610938994129E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a) ((@a) (Zero))) , ((@a) ((@a) (Zero))))) : 5.437610938994129E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a) ((@a) (Unit))) , ((@a) ((@a) (Unit))))) : 5.437610938994129E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a) (Zero)) , (Zero))) : 5.224989600777182E-4, (@a : (π° _0) β (π° _0)) β¦ (((Zero) , ((@a) (Unit)))) : 5.224989600777182E-4, (@a : (π° _0) β (π° _0)) β¦ (((Unit) , ((@a) (Unit)))) : 5.224989600777182E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a) (Unit)) , (Unit))) : 5.224989600777182E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a) (Unit)) , (Zero))) : 5.224989600777182E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a) (Zero)) , (Unit))) : 5.224989600777182E-4, (@a : (π° _0) β (π° _0)) β¦ (((Unit) , ((@a) (Zero)))) : 5.224989600777182E-4, (@a : (π° _0) β (π° _0)) β¦ (((Zero) , ((@a) (Zero)))) : 5.224989600777182E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a) (Unit)) , ((@a) ((@a) (Zero))))) : 4.668615267918098E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a) (Zero)) , ((@a) ((@a) (Zero))))) : 4.668615267918098E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a) ((@a) (Zero))) , ((@a) (Zero)))) : 4.668615267918098E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a) ((@a) (Zero))) , ((@a) (Unit)))) : 4.668615267918098E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a) (Zero)) , ((@a) ((@a) (Unit))))) : 4.668615267918098E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a) (Unit)) , ((@a) ((@a) (Unit))))) : 4.668615267918098E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a) ((@a) (Unit))) , ((@a) (Zero)))) : 4.668615267918098E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a) ((@a) (Unit))) , ((@a) (Unit)))) : 4.668615267918098E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a) (Zero)) , ((@a) (Unit)))) : 4.6144661261618246E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a) (Unit)) , ((@a) (Unit)))) : 4.6144661261618246E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a) (Unit)) , ((@a) (Zero)))) : 4.6144661261618246E-4, (@a : (π° _0) β (π° _0)) β¦ ((((@a) (Zero)) , ((@a) (Zero)))) : 4.6144661261618246E-4]))
- Vector((β((
@a : π° _0) β¦ (((π° _0) , (@a)))),0.5,[((Unit) , (((Zero) , (Star)))) : 0.009747864298093989, ((Unit) , (((Unit) , (Star)))) : 0.009747864298093989]))
- Vector(((((
@a : π° _0 ) ~> (@a)) β (π° _0)) β (π° _0),0.5,[(@a : ((@a : π° _0 ) ~> (@a)) β (π° _0)) β¦ (Zero) : 0.010256797174673255, (@a : ((@a : π° _0 ) ~> (@a)) β (π° _0)) β¦ (Unit) : 0.010256797174673255]))
- Vector((((π° _0) β ((π° _0) β (π° _0))) β (π° _0),0.5,[(@a : (π° _0) β ((π° _0) β (π° _0))) β¦ (Zero) : 0.004822227589740257, (@a : (π° _0) β ((π° _0) β (π° _0))) β¦ (Unit) : 0.004822227589740257, (
@a : (π° _0) β ((π° _0) β (π° _0))) β¦ (((@a) (Zero)) (Zero)) : 0.0027136687936852094, (@a : (π° _0) β ((π° _0) β (π° _0))) β¦ (((@a) (Unit)) (Zero)) : 0.0027136687936852094, (@a : (π° _0) β ((π° _0) β (π° _0))) β¦ (((@a) (Zero)) (Unit)) : 0.0027136687936852094, (@a : (π° _0) β ((π° _0) β (π° _0))) β¦ (((@a) (Unit)) (Unit)) : 0.0027136687936852094]))
- Vector((β((
@a : π° _0) β¦ (PlusTyp((@a) β (Zero),(`@a) β (Zero)))),0.5,[((Zero) , (ScndIncl(PlusTyp((Zero) β (Zero),(Zero) β (Zero)),rec(Zero)(Zero)))) : 0.004871072854380337, ((Zero) , (FirstIncl(PlusTyp((Zero) β (Zero),(Zero) β (Zero)),rec(Zero)(Zero)))) : 0.004871072854380337, ((Zero) , (FirstIncl(PlusTyp((Zero) β (Zero),(Zero) β (Zero)),(@a : Zero) β¦ (@a)))) : 0.004871072854380337, ((Zero) , (ScndIncl(PlusTyp((Zero) β (Zero),(Zero) β (Zero)),(@a : Zero) β¦ (`@a)))) : 0.004871072854380337]))
- Vector((β((
@a : π° _0) β¦ ((@a) β (@a))),0.5,[((Zero) , (rec(Zero)(Zero))) : 0.006401907155647275, ((Unit) , (rec(Unit)(Unit)(Star))) : 0.004871056428115649, ((Zero) , ((@a : Zero) β¦ (@a))) : 0.004871056428115649, ((Unit) , ((@a : Unit) β¦ (`@a))) : 0.0027399692408150537, ((Unit) , ((@a : Unit) β¦ (Star))) : 0.0021310871873005967]))
- Vector((((((π° _0) β (π° _0)) , (π° _0))) β (π° _0),0.5,[(((@a_1) , (@a_2)) : (((π° _0) β (π° _0)) , (π° _0))) β¦ (Unit) : 0.005485514651659905, (((@a_1) , (@a_2)) : (((π° _0) β (π° _0)) , (π° _0))) β¦ (Zero) : 0.005485514651659905, rec((((π° _0) β (π° _0)) , (π° _0)))(π° _0)((
@a : (π° _0) β (π° _0)) β¦ (@a)) : 0.003352272045939376, rec((((π° _0) β (π° _0)) , (π° _0)))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((@a : π° _0) β¦ ((@a) (@a)))) : 0.001164631759864518, rec((((π° _0) β (π° _0)) , (π° _0)))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((@a : π° _0) β¦ (@a))) : 0.0010563012474797307, rec((((π° _0) β (π° _0)) , (π° _0)))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((@a : π° _0) β¦ ((@a) ((@a) (@a))))) : 7.274103876120619E-4, rec((((π° _0) β (π° _0)) , (π° _0)))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((@a : π° _0) β¦ ((@a) (Unit)))) : 6.340772914817931E-4, rec((((π° _0) β (π° _0)) , (π° _0)))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((@a : π° _0) β¦ ((@a) (Zero)))) : 6.340772914817931E-4, rec((((π° _0) β (π° _0)) , (π° _0)))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((@a : π° _0) β¦ (Zero))) : 5.750973458500755E-4, rec((((π° _0) β (π° _0)) , (π° _0)))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((@a : π° _0) β¦ (Unit))) : 5.750973458500755E-4, rec((((π° _0) β (π° _0)) , (π° _0)))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((@a : π° _0) β¦ ((@a) ((@a) (Zero))))) : 3.96034544366567E-4, rec((((π° _0) β (π° _0)) , (π° _0)))(π° _0)((@a : (π° _0) β (π° _0)) β¦ ((@a : π° _0) β¦ ((@a) ((`@a) (Unit))))) : 3.96034544366567E-4]))
- Vector((((((π° _0) , (π° _0))) β (π° _0)) β (π° _0),0.5,[(@a : (((π° _0) , (π° _0))) β (π° _0)) β¦ (Zero) : 0.007409756578024077, (@a : (((π° _0) , (π° _0))) β (π° _0)) β¦ (Unit) : 0.007409756578024077, (
@a : (((π° _0) , (π° _0))) β (π° _0)) β¦ ((@a) (((Unit) , (Unit)))) : 0.0014184578964282486, (@a : (((π° _0) , (π° _0))) β (π° _0)) β¦ ((@a) (((Zero) , (Unit)))) : 0.0014184578964282486, (@a : (((π° _0) , (π° _0))) β (π° _0)) β¦ ((@a) (((Zero) , (Zero)))) : 0.0014184578964282486, (@a : (((π° _0) , (π° _0))) β (π° _0)) β¦ ((@a) (((Unit) , (Zero)))) : 0.0014184578964282486]))
- Vector((β((
@a : π° _0) β¦ (((@a) , (π° _0)))),0.5,[((Unit) , (((Star) , (Unit)))) : 0.009747864298093985, ((Unit) , (((Star) , (Zero)))) : 0.009747864298093985]))
- Vector((β((
@a : π° _0) β¦ (PlusTyp((π° _0) β (Zero),(@a) β (Zero)))),0.5,[((Zero) , (ScndIncl(PlusTyp((π° _0) β (Zero),(Zero) β (Zero)),rec(Zero)(Zero)))) : 0.009747864298093989, ((Zero) , (ScndIncl(PlusTyp((π° _0) β (Zero),(Zero) β (Zero)),(@a : Zero) β¦ (@a)))) : 0.009747864298093989]))
- Vector((β((
@a : π° _0) β¦ ((π° _0) β (@a))),0.5,[((Unit) , ((@a : π° _0) β¦ (Star))) : 0.019495728596187985]))
- Vector(((π° _0) β (β((
@b : π° _0) β¦ (@b))),0.5,[(@a : π° _0) β¦ (((Unit) , (Star))) : 0.019561390892799724]))
- Vector((β((
@a : π° _0) β¦ (PlusTyp((@a) β (Zero),(π° _0) β (Zero)))),0.5,[((Zero) , (FirstIncl(PlusTyp((Zero) β (Zero),(π° _0) β (Zero)),rec(Zero)(Zero)))) : 0.009747864298093992, ((Zero) , (FirstIncl(PlusTyp((Zero) β (Zero),(π° _0) β (Zero)),(@a : Zero) β¦ (@a)))) : 0.009747864298093992]))
- Vector((β((
@a : π° _0) β¦ ((@a) β (π° _0))),0.5,[((Zero) , (rec(Zero)(π° _0))) : 0.0064019071556472755, ((Unit) , ((@a : Unit) β¦ (Zero))) : 0.0024355282140578255, ((Unit) , ((@a : Unit) β¦ (Unit))) : 0.0024355282140578255, ((Zero) , ((@a : Zero) β¦ (Zero))) : 0.0024355282140578255, ((Unit) , (rec(Unit)(π° _0)(Unit))) : 0.0024355282140578255, ((Zero) , ((@a : Zero) β¦ (Unit))) : 0.0024355282140578255, ((Unit) , (rec(Unit)(π° _0)(Zero))) : 0.0024355282140578255]))
- Vector(((β((
@a : π° _0) β¦ (@a))) β (π° _0),0.5,[(((@a_1) , (@a_2)) : β((@a : π° _0) β¦ (@a))) β¦ (Unit) : 0.0055906971963988255, (((@a_1) , (@a_2)) : β((@a : π° _0) β¦ (@a))) β¦ (Zero) : 0.0055906971963988255, rec(β((@a : π° _0) β¦ (@a)))(π° _0)((@a : π° _0) β¦ ((@a : @a) β¦ (@a))) : 0.0037090991135179463, rec(β((@a : π° _0) β¦ (@a)))(π° _0)((@a : π° _0) β¦ ((@a : @a) β¦ (Zero))) : 0.0028848548660695135, rec(β((@a : π° _0) β¦ (@a)))(π° _0)((@a : π° _0) β¦ ((@a :@a) β¦ (Unit))) : 0.0028848548660695135]))
- Vector((β((
@a : π° _0) β¦ (((π° _0) β (@a)) β (Zero))),0.5,[((Zero) , ((@a : (π° _0) β (Zero)) β¦ ((@a) (Unit)))) : 0.009747864298093996, ((Zero) , ((@a : (π° _0) β (Zero)) β¦ ((@a) (Zero)))) : 0.009747864298093996]))
- Vector(((π° _0) β (((π° _0) , (π° _0))),0.5,[(
@a : π° _0) β¦ (((@a) , (@a))) : 0.0030188052444319775, (@a : π° _0) β¦ (((Zero) , (@a))) : 0.002308684508460403, (@a : π° _0) β¦ (((@a) , (Unit))) : 0.002308684508460403, (@a : π° _0) β¦ (((Unit) , (@a))) : 0.002308684508460403, (@a : π° _0) β¦ (((`@a) , (Zero))) : 0.002308684508460403, (@a : π° _0) β¦ (((Zero) , (Zero))) : 0.0018493335098097492, (@a : π° _0) β¦ (((Unit) , (Unit))) : 0.0018493335098097492, (@a : π° _0) β¦ (((Unit) , (Zero))) : 0.0017956435065803135, (@a : π° _0) β¦ (((Zero) , (Unit))) : 0.0017956435065803135]))
- Vector((((
@a : π° _0 ) ~> (@a)) β (π° _0),0.5,[(@a : (@a : π° _0 ) ~> (@a)) β¦ (Zero) : 0.010832862757059717, (@a : (@a : π° _0 ) ~> (@a)) β¦ (Unit) : 0.010832862757059717]))
- Vector((((π° _0) β ((
@b : π° _0 ) ~> (@b))) β (Zero),0.5,[(@a : (π° _0) β ((@b : π° _0 ) ~> (@b))) β¦ (((@a) (Unit)) (Zero)) : 0.0094397293373121, (@a : (π° _0) β ((@b : π° _0 ) ~> (@b))) β¦ (((@a) (Zero)) (Zero)) : 0.0094397293373121]))
- Vector(((((π° _0) , (π° _0))) β (π° _0),0.5,[(((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ (Zero) : 0.00557087786310835, (((@a_1) , (@a_2)) : ((π° _0) , (π° _0))) β¦ (Unit) : 0.00557087786310835, rec(((π° _0) , (π° _0)))(π° _0)((@a : π° _0) β¦ ((
@b : π° _0) β¦ (@b))) : 0.003398794991509158, rec(((π° _0) , (π° _0)))(π° _0)((@a : π° _0) β¦ ((@b : π° _0) β¦ (@a))) : 0.0023791564940564107, rec(((π° _0) , (π° _0)))(π° _0)((@a : π° _0) β¦ ((@b : π° _0) β¦ (Zero))) : 0.0018504550509327645, rec(((π° _0) , (π° _0)))(π° _0)((@a : π° _0) β¦ ((@b : π° _0) β¦ (Unit))) : 0.0018504550509327645]))
- Vector((((π° _0) β (π° _0)) β (π° _0),0.5,[(@a : (π° _0) β (π° _0)) β¦ (Zero) : 0.004434521334908531, (@a : (π° _0) β (π° _0)) β¦ (Unit) : 0.004434521334908531, (
@a : (π° _0) β (π° _0)) β¦ ((@a) (Zero)) : 0.0030950013985154468, (@a : (π° _0) β (π° _0)) β¦ ((@a) (Unit)) : 0.0030950013985154468, (@a : (π° _0) β (π° _0)) β¦ ((@a) ((@a) (Zero))) : 0.003035898473921898, (@a : (π° _0) β (π° _0)) β¦ ((@a) ((@a) (Unit))) : 0.003035898473921898]))
- Vector((β((
@a : π° _0) β¦ (@a)),0.5,[((Unit) , (Star)) : 0.01970769689870014]))
- Vector((β((
@a : π° _0) β¦ ((@a) β (Zero))),0.5,[((Zero) , (rec(Zero)(Zero))) : 0.01127994556862484, ((Zero) , ((@a : Zero) β¦ (@a))) : 0.00974783102948558]))
InΒ [12]:
val failHandle = Markdown(failures.reverse.mkString("## Failures\n\n * ", "\n * ", "\n"))
Failures
- (
@a : π° _0 ) ~> ((π° _0) β (((@a) , (`@a))))
- (
@a : π° _0 ) ~> ((π° _0) β (((π° _0) , (@a))))
- (π° _0) β ((
@b : π° _0 ) ~> (((@b) , (`@b))))
- (
@a : π° _0 ) ~> ((π° _0) β (((@a) , (π° _0))))
- (π° _0) β ((
@b : π° _0 ) ~> (((π° _0) , (@b))))
- (π° _0) β (((π° _0) , ((
@c : π° _0 ) ~> (@c))))
- (π° _0) β ((
@b : π° _0 ) ~> (((@b) , (π° _0))))
- (π° _0) β ((((
@b : π° _0 ) ~> (@b)) , (π° _0)))
InΒ [13]:
update = (_) => {
chompView.withContent(md).update()
succHandle.withContent(successes.reverse.mkString("## Successes\n\n * ", "\n * ", "\n")).update()
failHandle.withContent(failures.reverse.mkString("## Failures\n\n * ", "\n * ", "\n")).update()
}
InΒ [14]:
update(())
InΒ [16]:
val ft = failures.lastOption
Out[16]:
ft: Option[Typ[Term]] = Some((π° β β(@b : π° ){ @bΓ@b }))
Content source: siddhartha-gadgil/ProvingGround
Similar notebooks: