[H8-5"Р*Generation'Russell&Lambda@B*Generation ,wf_is_sorted@!e#Env&Lambda@@#env!H%Types'Russell@@&coerceAA @&wf_indз !x%Terms"@@$term@!n)Datatypes$Init#Coq@@#nat@@&MyList:@@$item@!BC-!s&@$sort@@%Logic! @@"eq@6D9@AF<@'is_prop DB:8\-F%$List%Lists=@@$list@AS]0."H0,+@)False_ind D@*inv_nth_nlaE,@!TfCA~BJK5omecXqP+@BvF"s0T"H1RȐ"e0g@*item_trunc!A@~C@m!to@{^sri@"ex@;!f@%trunc@/@BItȐ"e1.N>IJ=}+FK Kɩ@&ex_ind(&ǩ"GYLש"x0"H2+@'wf_sort϶&?'@>ߩ:@¶V@rTķũwȐ!wABNM+9 Ȑ"e2)N O ERo߷<ѩI֩ѐ^"x1췐"H3 Ȑ"H4@&eq_ind( H+-gs^Ȑ!aA@(typ_sorte;@#and@m;@A@'and_indЩ QI6"H5$Q2]]]2]xv@lYWOM@B[:%e8@@A@-inv_lift_sort@!th@@$term@!s @L@!nmlk@@j@!HWwv@@V@##@$liftn*@At.@(term_ind0647m!=F"s08+)E""n0<53O,S@BȐ"H0>@]:!ed͠@@e@@(AABBCBBBAA@DpnA(@hW@%False@@g\@$True@@|@} @~@ADf@)False_indl7Щb~"t1$IHt1^"t2$IHt2xw@@C USO QO@J@DI((F@F@@C?=???>><.J;{68ŷ64Ƿ20˩@D3|zթv xv@q@DpO(m'c&acccbb`$Pl]ư"VXVTRP"t3뷐$IHt3שհΠe9ٰ<3ީܰՠB@E1F=ߠ  L@@D|(T@ T\F!@FVkΩ'ȩ 2q,@à@D(yxv4(ht79#!=1A@GvG$ RL@@D(ީϠ8THȷW$Y·CA]:Qa@H gD r l@@D(Xthyw#IHtFca}Z@IG.,d ѷ*(@#@D"(x dxϩ@JeLJ HF@A@D@(=33133320$ <-&0@ @@A@.inv_subst_sort@!t;\@@@"t'  @(term_ind0!nBA@@@?@!s@1@@0PO@@/@))@)subst_recGH0@Ax@"or@; W?D&$1/"s0(!H'Id@B0R$YEC"n0F?=:\&Specif$Init#Coq@@%sumor@BAA@DQ@@ @ @'sumbool@%Peano@@"ltdt +Compare_dec%Arith@@,lt_eq_lt_dec!C#;@#@BAA@D*&頷!l@B3@$pred!e@e+4xQ@)sumor_ind$HݷZ)naZVZC Afb%<:7X4 2sDBΰ а!aW&Specif$Init#Coq@@'sumbool@BAA@D6/Ԡ ݐgVmC"H0pmȐ"H1@B#Aq$@@@@D,*Aq(@ @@@ @@@6@7 @8@A0 @)False_ind "Dͩ &Hey8,N*k@ALHB ˠ@@87"!bMAc?IGh~iE@Ӡ@DC(@<886888775?2hv-Rt\v`zd/CK`9!Ȑ#t'1%IHt'1{#t'2%IHt'2xv@sl idy`^Y~@C|l~@B?'ΩAҷ@$@D(@@@P~ɩ)G̷ECηA?ԩ@D4ȩީ -l0@M@D+()(,&˰ 4kigec#t'3%IHt'3߶@ܰհҩ͠Ƿ©  @E+*,.468m @@Dh(f@%fj꠩ + -$Jt0"2$"8:@F*@C@@D(  +MjPBR÷DB;96XZ@G/J?`c?@͠@D=(:2202211/,9,6Km4&pbrdb[Y1Vxz@HOj_ͷ_@@D](ZRRPRRQQOLYLVƩkTFԷ$IHt'{yQv@Itdq {@@D(~vvtvvvusp}pzhzl&u@J$ĩ"@1@D(   ѩնֶŶ@۩@@A@3gen_sorting_var_aux@!eJI@@H!t1R@@@!T !HSR`@@QB$%P@*typ_wf_mutP%#!nGFE@@D@@/ON@@.@2-4@Br!s:@E@@@B@AE@:YTRA?A20@l@@k@ZlWmig!w%IHtypGE]>i)2@B<75"H0It4=@A9Ȑ"H1R@"e0@K@@@DA(@Td@@@qh@@@@@ @Ai s@)False_indFݷDYBV~ir@C|wu@>75 31@@D.(+'##!###"" &ZoXl!i@)item_liftշ"n00]TRѩFy{T=%Logic$Init#Coq@@#ex2@CC@D@@@鷐!uð멚@$lift@Bz58b}:!x"H2 DȐ"H3L@vLѐΩBvXf@@*֩&@&sym_eq"2 34&bbc31#*"s1$"?@&IHtyp1@ @9 !M>!UA"s2 թ921m@@0@BQba&IHtyp2!۩IY)T&IHtyp3><@5`.)'@9du$FDa=hj@C~;64eFqs@F6Ȑ"H4{ ~@ޠ@D(@I@@+!v!V]p"Ur#$gҷFzx@qca@s- p`[(y@Dy)wrp@%subst%mr775@@D2(:+'9%'''&&$!*ŷ·St@@NEϷWŰ|zNշѩʰ+&IHtyp4@@6Je"s3@(sum_sort*V)ηǰ򩜠@E@GQ|8˷"s0Ʒذ SkȐ"H5 TI@o@DM(~~|~~}}{Nvܷ ְ/߷$!(+>.@@Dl(A=;-4 ,8VTP:z!ǩCLH B>JS˷M@@D(`\ZLSJHf&97@" @2]^Sc^3FD@/-@?j*%LJCnp@HnA<:plx {@۠@D(Czx÷&ki@b][VT@fNcSNus%l@IWjec$u`% %%#@@D ((& n$+M'B@JtA(|FĩFFD@'@DA (I:6646665G309.ԷͷηEϷƩİ@J@kϰE@iװeMȶ@l@ŰZ!c@ly ɷٷҰb˷ķְf?{  Bǐ| DP̐Ȑ!a@ $ P@@@'and_ind$#() )f ; f $0֩@A5 p۩@ ;V K vFD6=5 C#!өE( 2@ SQ@JK-+@O _ J @(S NWhשLABm n k l W4@Aas \ p q mkfd^e@ZH@@A@/gen_sorting_var@!e Š @@ ÷!n $Init#Coq@@ @!s  @@ @!H נ ֠ @@ B @a@B @A ߩB   @@       76@@ @A@ ̩ OMHF=;@3<@  א@@A@3gen_sorting_app_aux@!e & %@@ $!t  .@@$term@"Ts !H 0 / =@@ .B   -@'typ_indD&$!M!!N$@  ' &@@ @. 0@D  J!s6@ @@< 詜>@A XA@  1PN<:A b-L+M"H0+R@B)$""H16]!*@A&Ȑ"H2?@ Zi"e0l@@DrpA (@>N@@@)Datatypes z y@@#nat@[@@@@@@A\ 8 c w f@)False_indP ~ NwuJs^g@CqljHF?= ;@@D9 (62%%#%%%$$" (d!n6!Td@ΰ   `@B l_ [Ȑ"H3bɩ b%@ @D` (@P@Z^NNLNNNMMKH QF۷%Է"s1ͩ˰  &IHtyp1޶߶@ @ 鷐!U췐"s2㰩   @@ @B @  &IHtyp2" ` _  ۷&IHtyp3 @  ޶׶@ lϷ"M0@C 3 xY "@F 0 Ȑ"H4*  {-%Terms&Lambda@@0@@ p@D N(h@9@: ( SGE!v@!VC97j'F%G@h@ !uMOC  >2  kX7V5W@x%#@5\<  "@_>`<c5  720Bii@  1 P p o@@ O@B@AD!y{@W~P   @\ oU  D 3 rĩd]  hh@'f_equal*@ Р@D (fdk#lQ R   v'w > S   UD@ @D (} ʷ< ˷ η     ;   [ ö@)   f ѩ1GenerationNotKind  @@6type_no_kind_prod_type6   ( @,type_no_kind !֩@(sort_indзðS ɰO 0GenerationCoerce  #@@-subst_to_sort  .@,typ_not_kindT`fް   0  $  $4%@'and_indЩ=@"or@̩ _ = =ĩ)9ש@A ܩ @Aթ:J#@B   !HX    9 d (@ R ? i T  A k l@1Xǩ p(\get^)UbV  | iHgFh@D64@Fm 1,-n9cp ^6n6th   f %&IHtyp4^}\~@ZLJ@\  ID"s3Rĩ{@|   omjk@E@G   nig"H5{  hȐ"H6BU ķC@ @DA (:--+-y-,,*w 0%~ݷٷkɰ T  hgbcʩ  (c&@ @Da (ZMMKMMLLJG PEڷ$ӷ׷ US   ߷~L & "©S  ;F@ )@D (!zmmkmmlljg peD  \@նŶ@װd   @Ӷ@ ˷ @H  T  l w@ Z@D 8(R -+&$;%&    B%IHtyp/0@ 3 @7 } :;>@@I  G 4 J  M@ @D g( <ŷ\ZUSjTUK/+)9X7Y 5\^@J 3., >e)  -l ɷo@ @D (: ^~|wuv6wmk Q e f]|[}@MKI@[ FAOM6w  ]Jig@e ^4  өS |tr@p idb@t_ a\;@    N y"s0t qI ȷp ʩw  { ̩}{ Ȑ!a@    ש@ @4jЩ ͩ r2,ө x      쐶߶ضٶ@@@A@/gen_sorting_app@!e@@!M @@ @!N !s @ @!H$#1@@"B ᩜ@D  "@A+BS5C@@,$ ȩ   7  #"@@@A; =IGB@:A86@1C@"@@A@3gen_sorting_pi1_aux@!eqp@@o!tXy@@K@"Ts !Hzy@@xBKLw@'typ_indD%#!M @Nnm@@M@*`,@I!s2@d@@8Z:@A=@YxLJ97A*H"H0*M@B(#!"H15X )@A%Ȑ"H2>@ d"e0g @ @DmkA(@=M@ @@F@@E@X@ @@~@@@AY c@)False_indMKqGoZc@CmhfEC<: 8A@ $@D6(3/$$"$$$##!'`C2B_@Z@BYȐ"H3\O\e@ H@DZ&(@L@TXJJHJJJIIGDMBз#ɷ@©&IHtyp1Ҷ@@٩ܷ>޷=հ0@@@B|%$&IHtyp2尩&IHtyp3@ٰҶ˶@ݰ8÷"M0@CCڷS@FwȐ"H4 q:@ @D([@!@"[/-3'2) \,@Z@x013(m'/K:@h  @?08 $B"EG@DA +NN@Ƞ4UX@ ߠ@D(<׷ge^-V2bWG\xIg@G97@Il4/Em<c~9|Mshة(o&IHtyp4^|@\NL@^3*KFIS̩y@İmwk@E@GQ?{ojh"H5| S.jȐ"H6ET F@2@DD(=2202211/5* nְJjdĩ gɩWg p@S@De1( ^SSQSSRRPMVKٷ,ҷ ַ!VU?޷N}r+ѩUM @r@DP(*}rrprrqqol%ujK+Vb&@ֶƶ@ذi#c@Ӷ@˷  @H3Z  @@D~(XS(&!C !FZ]%IHtyp *@ -$@1*47  =BAD!yD@$G@)LE/R(3@YYZ @@D`^^(0.dbecfdgehfigɷjh!>a̩Ilc nPqo#Ȑ"t0ޠ@@5type_no_kind_sum_type!" @퐩'(x@(sort_indзXV5hSN8k(61/">B4x@'and_ind%$-@@vNYxPM11)]Mf@Akkm(@Arn^2$@B7|99;ƶ|l7p@ t<@ZZS@#yķȰ멜@JƷѰ̐0 @@Dc(=8}  (+?@; @۶@ӷ߷ɩ6ܷ'@DƩT) @#@'̩@f%/v2"s0!9:.2\Ȑ!a8@q (@p@ĩ-PЩv3V9\$jhca[b@W8@@A@/gen_sorting_pi1@!e@@緐!MР@@h@!s @@!H@@BƩ@I̩@AB$@@ ĩکܩԠ@@@A8 :FD?=75@0?@Ӑ@@A@3gen_sorting_pi2_aux@!eA@@@?!t(I@@@"Ts !HJIW@@HBG@'typ_indD%#!M @>=@@@*0,@Ja!s2@4@@8*:@Ao=@)HLJ97Ay*H"H0*M@B(#!"H15X )@A%Ȑ"H2>@pd"e0g @@DmkA(@=M@@@@@@X@@@~@@@AYw c@)False_indMKqGoZc@CmhfEC<: 8 @@D6(3/$$"$$$##!'`2_@ ߰Z@BYȐ"H3\\ 5@@DZ(@L@TXJJHJJJIIGDMBз#ɷ©&IHtyp1Ҷ@@٩ܷ޷ հŠĠ@@@BL&IHtyp2尩lk緐&IHtyp3@ٰ[Ҷ˶@ݰ÷"M0@CgڷS@FGȐ"H4 A @s@DQ([@!@"+V/-') \,@Z@x1 3(='jK:@h  @?0 $B"EG@D +NN@ U_X @@D(<b׷ge^-V2bW,xIg@G97@Il4/Em<c~x9|Msh(?&IHtyp4^|@\NL@^3KFS̩y@ mwk@E@GQKojh"H5| SjȐ"H6ETܷF@@DD(=2202211/5* nְmjdĩx gɩ'ӷg @@#@De( ^SSQSSRRPMVKٷ,ҷ ַ!VU޷NMB+ѩU` _@B@D (*}rrprrqqolujK&b&@ֶƶ@ذi3@Ӷ@˷  @HpZ w @p@DN(X#(&!C !*-X%IHtyp *@ -@1479@I  @C F @@D{()PŷUSNLpM&NE-)'3Q 1T*,'%7Z %f& B AD!ye@Eh>@Jmt06uPsIT@ zz{ @Ҡ@D(QOݷ޷!_RjT-A#Ȑ"t0ߠϠ@@@ݐ DEnHs޷H!@@@DG(@553555428-:橚@#notU@@,t.@(sort_indзxΩuש u ЩFַİG8Ͱ 7&%Ұ(^he//bl @'and_indЩkp@ @} x GG©1˷eMdIS'R"Uթ@Aک @Aݩ3L֩8hԩdnBm=p6@B!#(Kd/R\^6Y!ҩөeɩ=@9c@Cfܩ=jusnlmFneccwxUs@IEC@Ux*@;IG1nnD`~@^3W.vh@f_ZX@jBUP0@ Yuکsl"s0gyd=ѷx ԩj֩ nȐ!a@ ᩛ@@*^֩dڷ"۷j̶Ŷƶ@@@A@/gen_sorting_pi2@!e@@!M%@@@!s @@!H)(6@@'B@J@A0BX:H@@ <('@@@A8 :FD?=75@0?@&@@A@2sorting_lambda_aux@!eu @@s!t ! @@ O@"Ts !H~} .@@|BOP{@'typ_indD%#!T !M#@Uut@@T@-S/@Cm!s5@k@@>9@@ANL;9A,J*K"H0*P@B(#!Ȑ"H14@] "e0`@@DfdA(@3C@@@ C@@ B@N@@@w@x@y@AO Y@)False_indKaIU@ANKsqGoWc@CmhfEC AG@*@D?(<8--+---,,*'0%` I;]@跐"T0[@BȐ"H2d Tdj@M@Db+(@T@\`RRPRRRQQOLUJaB4׷з Kɩǰ&IHtyp1ٶڶ@巐 K緐 Jް=@@@B21&IHtyp2!$&IHtyp3@Bٶҩϐ ͷ^ "M0Uzැ"H3@FyȐ"H4$ Fķ' I@@D(e@,@-:8 B2 A4+)`78@^>$ C@B7+BQ+I)J@p*P685S3T1WY@DB/*(` c @@D(<頩1Gmm@׷|zs?k8w,l`u^|\}@ZLJG]-EQP/zJYЩ &IHtyp4us@qca^t-F^ fi@ 6 @E@GRQF"H5 T"~Ȑ"H6fU+g @P@De.(^SSQSSRRP=/Vҷ˷ϷŰh)׷ط"ߩŠq@m@DK( {ppnppoomj!shư*bT  %[÷Z7!aNCڰS>շYo @@Dr(GHאՐ{  UE@琩#>$٩;)O$ٷ3 + ,@  234ީ79@Hx7 @ շC@Π@D(ԩɠ'MXVQOjPQHFz%IHtyp<Z:[@8^D1,*'=cK'HfFgDjl@IB=;s  v@@D(NDZ+Q{3/-ig=e@J#c^\;9 A9?@"@D7(0%%#%%%$o"(e{49O v׶@T~|yHwkL{ö@RimUƶƶǶ@t@rϷշַ?"s0E+Iװ3Kw[M۰Q^Ȑ!a@A-Y@@@'is_prop7ٰx%Logic$Init#Coq@@1@BB@D@7Ր{{b[ܐȐ"H7 @"eq@B AD!y(@+M@ 0k4Ȑ"H8@ =>`_@@@@Π@DIG(MKNLSPNQORPSQ&-sʩ ̷#!:$p'%XVĩWE d2eYΩ* ɠݠ@@0coerce_propset_r ܩRx:$թ E[%`@T@f󐩜k@A @b@@A@.sorting_lambda@!e"!@@ !T *@@@!M !s @@!H10>@@/B@C"@A8B`BP@@$թD0/@@@A;# =IGB@:A86@o4@@A@3generation_prod_aux@!e}|@@{!Td@@W@"Ts !H@@BWX@'typ_indD%#!U !V#@]}|@@\@-[/@Fu@"ex@8@v@!s@CB@APN=;A.L,M"H0,R@B*Ȑ"H15@^ "e0a@@D!tgA(@3F@@@NǠ@@M@Q@@@z@{@|@AR \@)False_indTPMQeKV@APKusGqWb@CoECAP@3@D?(:6++)+++**(%.#_R9\@Y@BȐ"H2a ap@S@D_1(@O@W[MMKMMMLLJG4PEh;ַϷRȩư&IHtyp1ضٶ@淐Qݰ D@@@B98&IHtyp2!+&IHtyp3@߰IةӠϷЩ ʷ"U0 V@CȐ"H3 Ϸ@@D(^@#@$+U86H01(&^45@\;)H=?4GO(F&G@n'M =2P"V0S0VX@DI .^a@@D(C䠩51.2Fll@0޷{yTr;j:v)kg|]{[|@YKGDH\4BbL-yGZѩ~ &IHtyp4tr@pb^[_s- M[me@=S"H4@E@GRZ#OȐ"H5] SV `o@R@D^0(UJJ@KKKJJHE2NC˩U=<׷зԷʰuܷݷ@A°ة@A"!!!]\@*jF۰SGXv @@Dz(I{ݠ, YB@߷ ө8%S(ӷ0 '(@.$/0٩ 35@H|; ;+>@Ѡ@D(~ ̩*OMF)G'H?=y%IHtyp3Q1R@/UC(# 4ZJR] ^;ac@I9 i l@@D (Mm}{tWuUvm.*(ny)z-W}@JU+)˷)8@@D'(i  \XUYm'4IW4|zʶ@OڷgkVAf@GзUbJo@i~|~@ivƷķtŷ6j| 9?@@BB@D@>J!x<- ٰ*UW.Y߰:Ȑ!a@*98d@)@@ A۰v@'and_indЩ 6 ʐ{ڠַש^ѷ] "H6א{Ȑ"H7BAD!y"@%吐Q@+n 0W5_Ȑ"H8@>? @Ҡ@DC (  GHTJKLM()(©ķ'9Y)VȩXD`0CaZ4ҩ$ ͠@@0coerce_propset_l$BNtD4(@=AU{#;!ȩV@G@\PLIMaG@]@@A@/generation_prod@!e"!@@ !U *@@@!V "Ts !H.-;@@,B멜@F0BX:H@@ͩ :&%@@@A1 =;64.5,6@(@@<@@!s@F-H@A^@@A@4generation_prod2_aux@!e@@!Ti@@@"Ts !H@@B\]@'typ_indD%#!U !V#@b@@a@-`/@Fz!s5@x@@;C=@A@#and@"@@"s'BCD$List%Lists@@$list@B_g$ljYWAڷJhHi"H0Hn3<@BFA?"H1Sy>G@ACȐ"H2\@"e0=@ @D!tA(@]m@@@z@@y@x@,@@@@@Ay @)False_indmi|f}lTyd}-÷YU@CSQJH F@d@DDB(?;00.000//-*3(ٷo>շl@NM "۷ܷhߩ@Bg°Ȑ"H3j8j@@Dhf(@X@`dVVTVVVUUSP=YNǷȩĩ Kv ҷQRϷ&IHtyp1@޶@ې ݩؠԠϰ#+Vķ %&ٰ-vu&IHtyp212@#@!.>12BJDwЩ9IQ|&IHtyp3/M-N@+Q$@/U $%N ^QR$Scke"U0hHiFln@C)D?=OuH.<Ȑ"H4|O)@@D(@@&ݠGCV@WS/T?R w}{@ki@J:Fy {@zx@iwrnk-~i0^"V0Mĩ@DLͩ@XnqQԩIQ@o@DO M(F;X9;;;::85 ">3ְذO0 [N dĶ@Ѷ@Ӱȷɩsũ  7ѷ Qη  @ٶ@z F^ &IHtyp4@@RᠩݠT ٰ- 5 `ηG#@ 5w69;@E@@G"H5#I #Ȑ"H6PUǷT@@D (d )*SX 'Vf YW o ڷrpkid5aca_OmG9cs f  8FWuUv@gEC@e95H2Ir> sEt0 2 # '!ge^YWiT 1VBzAD!y@un  T!@z s B b^q[r anYO Mr  ȩ ( m>@5p@S@D3!2( ^, _7÷8 79ŷ:Ʒ; ;<ȷ=!<> g/  !?  ֩XҷM@k@D!I(zC{NڷOHPܷQݷRPS߷T!(U J C!+ L d 0\@Ű ^ 4 氩 h gӰ  x Dp|t!uǐ k !Ls ː5    !Ր   !Z° Ωې 0̰ ! ˩ ! !UҰ&  @A"V %5   臭@A!T+B%ADA@D>!@!G!  =M    h-S3V!W@@D[&!(*(!з_`a9[&!!֩?0!2!535 86_" 2!!!H@<!!@Nt??h$x H!!쐩W@A   ! !!@a!Ysk])$f g`!f !" 3yw_!< rmk*!f! !Q!\@ ?@D"(    (   !mi|f}!!Tyd!Z!"+""0@@Ʒ]w!!">]Ͷζ@@ḛ!!y!а!!!"}p穜@H!5!o+n !!<n@ @Dl"j(cXXVXXuWWUR"?[Pɷʩ!u!Ʃ!!x" M"x{ "?"SΠ"V"%IHtyp@" @ܠ!"ܠؠ!"Ӱ'"/!"Zȷ(j),.@I!5!~8 !;@ Ӡ@D"(K":!! <L"?!"T"WUN1O/PGGCAST1WY@J!/*(:`6"")g" j@!@D"(z"/ywpSqQrig"""kYwWx@eGE@W}"BaKIs"!"FTec@a"'ZUS@u׷~"D",ԷCpn@l"Ie`^@p[!]XTgQh"dO"" "D%@"S"`!"C©" "s0{9"&xo3"*&#,"V"Z#,]""\"fw;"%3#4"l # 0 vȐ!a@"<"#=@ #Y@'and_indЩ "b԰"ְ"/"9İqȐ"H7 BՠAD[@ΰ#g@Ѱ#?~ƷǩZ"sĩ"vY"#wȐ"H8U ط @!@D#(@}99#$1{#"#}##@@ )"#.ͩ""""##@5."0@""#ȠD##w###PNIGAH@=@@A@0generation_prod2@!e##@@#޷!U#Ǡ#@@"_@!V !s @#@!H###@@#B#@F##Ʃ"@A#B$$$@@$###ԩ#$##֩#Π##@@#@A;# =IGB@:A86@1@a@@ y@A"s'D>##2@`_$@@^@B^##$/@@A@2generation_sum_aux@!e$S$R@@$Q!T$:$[@@-@"Ts !H$\$[$i@@$ZB$-$.$Y@'typ_indD%#!U !V#@$3$S$R@@$2@-$1/@G$K$v@ @7@$K@!s?$A@A$OM<:A$-K+L"H0+Q@B)Ȑ"H14@#{] "e0`@"ɠ@D!tfA$(@3E@"@@#$$@@"@P@"@@y@z@{@AQ$$$ [@)False_indSPMQdKV@AP$ӷKtrGpWb@CnECA%@#@D?$(:6++)+++**(%$.#_'9\@$$$ƷY@B$Ȑ"H2a $aE@#(@D_%(@O@W[MMKMMMLLJG% PE$=%շη'ǩŰ$$&IHtyp1׶ض@$$巐&ܰ$ޠ$ݠ%@@$@B$e$% &IHtyp2!착$$$%&IHtyp3@ް$שҠϷЩ $ʷ"U0  V@C$Y$Ȑ"H3 $a$@#@D%d(^@"@#%g*,@F-$%s:8 23*(a67@_=% ?A6$%]%%R*H(I@q)O%$%4R"V0U2XZ@D%!$0`$$޷c@#̠@D%(F%砩7415Hnn@ʠ$$3%}{Vt>l:x,m%?%%T_}]~@[MJGK^% EdO0{%JZԩ$%ҩ $%i&IHtyp4vt@rda^bu-$%%^Eh@$%%S"H4@ER%/$%$Ȑ"H5] S%+$$׷`D@$'@D^&(UJJ@KKKJJHE&NCʩU%&ַϷӷɰ%%J%۷ܷ(%`%Uk@$N@D&,(&|qqoqqppnk&-tiʰ% &6&%#!·%%^ŷ]%&&CJްנ%t% ٩@A.%%   @@"or@BAA@D@@@@%&@%%B& %۩ %Lߩ& 6V%&<$@'and_indЩ %$%!&  ,'%)%Щ-%-/Ue%ӷB"H6P@ @BAD!y-@A0%&@D3&ҩFl-%/n&3=ܷ:>Qw8%:Ȑ"H7 B5ADI@]L%&Ƕ@`G%&91URViPl@A&o@a&&ܶ@udw&&␩j % l% &@ Q  &&}mЩt%Xx&8\z&u^}  &?d&*fЩ&9jjf dByADb@`@&u^&ᐷ!qyXSqBADo@Q@ O&]~M&LJ&N'$@n'*X&.U&0'/@ H'0'0Ȱ&'4''9_"@թǠķũذh'&'H@֠ӷԩ η@H&1&`&& @%@D'd(^'e*'g.,%&''.'B%IHtyp./@ 2&7 &&0:;>@@I&F&bI @%@D'(+'ة͠K'ZXQ4R2SJ,*(LVW 4Z\@J&2 b&~e @%Π@D'(G'頩9637Jp4&&5'}vYwWxom'''_}]~@OEI4u&'Dge@c&\3~'&M'rp@n'gݩ@''"&'rHx&qA'('''olim&g B @D@xurv&p'󐷐 { ['M'Bz'' FȐ!a@&'X(@'`BЩ'ԩLH%$ ۩'SdBAD@Q(,@Ű(aʰW(5yϰkȐ"H8@ŷ@&f@D(E((G^HT  > O&(O&%aݩY'V(\'\(\XO.Z(f2(f'< ǩ_(s(@@  '=(q /?'+6 '(z(|@; @t(D((H(\(](PNIGAH@=@@A@.generation_sum@!e((@@(!U((@@@!V "Ts !H(((@@(B(z@G(((B((ɠ(@@(\ (((((((((@@(@A1 =;64.5,6@(@9@<@(@!s@F(H@A(퐐@@A@3generation_sum2_aux@!e))@@)!T()@@'@"Ts !H)))'@@)B(()@'typ_indD%#!U !V#@()#Coq@@(@.(𩜠0@G) )5!s6@)@@<(ө>@A)C@ @:( (ߩ )! @  +@@ @BX((0)K@!6)3)3)3geTRA)dEcCd"H0Ci-6@B@;9"H1Nt8A@A=Ȑ"H2W@(\"e0"@'@D!tA)(@Wh@'@@)}l@@@s@'@@@@@As):)e)y ~@)False_indg().p)md)6()K\))))ZV@CTRKI G# @'@DE)(@<11/11100.+)4)շp?ѷm@"ٰ)))׷طi۩@B)wh)fȐ"H3k(÷k#0@(@Di)(@Y@aeWWUWWWVVTQ)ZO)2)zL))8)RJ* ̷))ɷ&IHtyp1  @ )߶ض@Ր)שҠ )^)ϩ֠ Ͱ))d)ŷ" װ')V()뷐&IHtyp2 + ,@"@ %5)7)8)+;))̩0@)))*&IHtyp3&D$E@"H) @&L) BR)H!) HX)*"U0[;\9_a@C)f)61/Bhj@F)c)1Ȑ"H4r !0)u3@(@D*z(ܷ@z@{3*}ؠ<sR*֩Ax8* **7kqo@^\@4"3)*q2*3*u~@mk@~<)*(je)*Abi`*G)*rhX"V0E@D*>*D@"ڠ))Iǩ*)˷I$@(@DG*(>3U1333220-*6+ư)*V(ʰ*\)*q.&*ܷܷ۷׷L|հ*e**z@ö@Ű*1**尩**!**@ɶ@w*+D)*&IHtyp4  @׶@P**X֩ѠS*ϩ֠ Ͱ**ŷ;Ȱ*%*Q+$#r$')@E*h*1*]"H54T*9Ȑ"H6<U*B@@)g@D+E(T+F}**Ʒ$@)@D+( +ZQ~ljU'3e/pX7*i+S+9rph**pjec- B AD!y@~v"b*+@+{*+-j*s+Hpg**_+P+P+P+M**@ ķD% @)@DB+(*η;*ϷFͷG*HϷIзJ"KҷL+M*0+X+m+ة++oܷ\%!@*@D+(̷Rͷ]^_`abc+dQ*E+ũʰ+t*ʷl@а**Ω+@+F+G+1+1+1˩߰++4*߷  ʠ,ΠŰ,+\+ נ۠Ұ",$" B AD'@*+X,.@ /,+ 'V+.> ++++אԩD+5Ȑ"H7KL! @*s@DP,R(,T(,T.++ +.#!&$+\=%p,_++5,_)#+7:@&or_ind#B2*'F6H8+-L<41P@ RB+ G T@'and_indЩZJK?^Nũ`P+ǩE|XAO+өLCI };+++۷("H8Xwgީyi+&Щ}mmo+dZYjasY+++߷D"H9+y@A\[+ǩz  r+++ϩ@(eq_ind_rư]?Z//,Ͱ,+,ݩ" ԰$ZNi),ܰ"-,+,-,,,񩜠@@AӰ::ٰ@H  @AIO, - - - ЩΠ,[ ֠,WЩ,O~p,)nke]ZV,"po-2,3-2wlhfUP-+q-;,<-;mOL@B$ߩ K  ,U-T-T-T-T,T-@% ,X,.-X@3YHHAQ?$_-b^c,;-e,-:,Ye,[,=-gg,?-i-j@Ekʩ*a,é.e%u,- -xty}{rp-U-yb`@^OM@`JEi#|<-N-#-#epn@l][@n+XSJ,,-1RYP-7-bXHH3@H,-A|wu2(ȩ1 ,,1&@+٠@D/-(&=-w,->{r-D,-Y-ķ˷=ķŷƷ--%IHtypͶζ@-S@,˰--pϰ-v-%-/}䩜@I-{ǰ,tr -8r'7@,@Dp-(g\\Z\\\}[YV-_T-)-Q--/-WO. ~A?= Y @J-B޷W5-b-J-f!'e@,H@D.&(5-.0.' () -..'./@a@4-c_ѩ*-g-:;@>-m  @1ѩ5--r'E%F@#I-@'M C-G- GW--M.ީL@---4-]^z;a-c3"s0.Ag-i+Ȑ!a-....B.C@Io-e'"@@B@D@4kc-=.=:q1-k.).E.E.E.V -~h1u.--.b3 %I-"..@@.W-.g`ЩN-vh-]l-za ^ N.*.*.*w-4kb-}-:.t....v...@+@@A@/generation_sum2@!e.ߠ.@@.ݷ!U.Ơ.@@-^@!V !s @.@!H...@@.B.@G..ũ"@A.B/./ @@ $...ө./..թ.͠.@@.@A;. =IGB@:A86@1@`@6..:YX@@W@BX...)E@'///@@A@5generation_subset_aux@!e/P#@@/N!T##@@%*@"Ts !H/Y/X$ @@/WB/*/+/V@'typ_indD%#!U !V#@/0/P/O@@//@-/./@H/H/s4/56@A:@/K@CHF53A/&D$E"H0$J@B"Ȑ"H1-@.qV "e0Y(@-@D!t_A/(@)@@@-@@%//@@%@K@-@@t@u@v@AL/// V@)False_ind\NK@AS/ȷJljFhZa?=];)@-@D9/(4.##!###"" /&Y%1V@(///S@B/}Ȑ"H2[ /r[)5@.@DY/(@TG@OSEECEEEDDB?/H=/}/ŷ%]//٩0&IHtyp1ɶʶ@/ϩ/(ӷԷ%s˰/ʠ/ɠ0@@/@B/Q./ &IHtyp2۰/q/p//췐&IHtyp3@Ͱ/ Ʃϰ/ "U0Oְ@C/B/Ȑ"H3 /J/ )@.o@D0M(W@@0P@F/M/0Y#!%X @V#/﷐%%('/0@00mI./@e 2/0 5"V08;=@D0/C//F)@.@D0(=0کϠ(NN@(//0][6TL4XM0001x?]=^@;;a/-AbX}0|{Nh]/0/0C&IHtyp4SqQr@OOu'//C$xm@(//0J"H4_@E@GR0 //cȐ"H5A S0//D*@/@DB0(7,,@---,,*'00%~T/s0GKiذ0t0!0g0@0|j090.j*D@/'@Dh1(]RRPRRQQOL1UJɩ091 Էͷk ѷo$ ]r\/01ٷڷ0ݩS0J/ީX0%0j*h@/K@D1)(3vvtvvuusp1*ynǰ0101 15/@ԩ԰Ʒ%101A@ҷ ޠ0$0ੜ@A޷  11.111\%IHtyp @#0%002(),.@I040M7*@/@D1{(-1|˩J1~HF?"@ A8+'%NDE"HJ@J0 P0iS*@/@D1(I1ܠ5[ 100+1jhaDbBcZX1g1{1|JhHi@I!s (b01qTrRs@Pv0I'k00E1_}]~@[1Tשv@01 01\Re0^51111ϩj0\?0շvQ1011mc1ة(e01%Р1&@@ h0111111␶@@@A@1generation_subset@!e2 &@@2 !U&&@@'@!V "Ts !H22&@@2B1ԩ@H112B2A2#&@@1 1112#11122@@1@A1 =;64.5,6@(@;2 =@AA@2 @C@@A@6generation_subset2_aux@!e2d2c@@2b!T2K2l@@0@"Ts !H2m2l2z@@2kB2>2?2j@'typ_indD%#!U !V#@2D2d S@@2C@-2B/@H2\2@52J7@A;@2`@C@@712Z9נ֠ w@@@BQ2f12z@Ba_NLA2?]=^"H0=c6"H1Bh30@A8Ȑ"H2K@1t "e0w'@0@D!t}A2(!sH@1@2@@@@@@D  2ᰛh@0@k@1@!n(\2ՠ @@([@ #$%@An2~@)False_indj2.2wg2222_3ZVTRKISG'@16@DE3(@><@:@D938552((&(((''%35"ηo42ɷk@,$3#22Ϸзmө@B2k2Ȑ"H3n 2dn,z@1]@Dl3;(@eX@S\@@[@L333^K22谩223 3M(dy3(3)ʐ3V&IHtyp1@ 2ܶ@ א2٩Р2=3'ݩͰ3+2A3?ŷ+(kװ 22K3J!&IHtyp2$%@@頩-223B!13F3ZΩ&6223 3K&IHtyp3:;@>2i@A2l 7G223\;K3`3t"U0N.O,RT@C22*|4Z\@F22*Ȑ"H4d 22g(x@1@D3(@@m@n93ީˠ2fQ3_@i0y3c3(3η({|\}tr}b`@{@u(w,)|3 303v3lpn@@m93/3`W33dT333L"V0>~@D3~3B|<@,3=3{թA234A-M@20@D?4(ON3*~33{333s4ͷƷD˷ŷFʷl34"3϶ж@@3nʰ3e3̰33i4ݷ[{Ӱ4 @޶@lzܰ3?4?>33ַ&IHtyp4@ζ@ϰI3v3©R4ǩ44)''@,43]34\j  @E@G33l3鷐"H5 S3Ȑ"H6#T3{')8@2@D4(DBB@BBAA4#V4&64 4K4A?:8>0=97<#ߩ2B434lC"&D$E@?@= =M334bAQ4f4zR2S0V34-+5[&42(`33c-@2ݠ@D4(~~|~~}}{4rpkioanjhOmT1O-po344ɷ)uUv Syh33Nr n34 .@2@D 4(4㠩J~+4vWG4z+4?444`yw@u@vgg^?Y444Q@@Xtky4xh4}4`fP34K)B)AD!y@é4R35@4444$4P°4T4(44֩4q4Zy@)ݷi.u@3X@Dg57(ca4}QO4~kl4tmno4ipq5Ar4*455D˰45.@3p@D5N(zx4Qhf4R4G,5-4Zנ44>5044ݩ 4 @44Р,!4ݩͰ4,%4Aŷ444A4u" ,15w4w4M5L4m4OI'4 (,,;544W5V 04y,?4[U3,B64(85=4545M,<44멜@A5H47G4L45p54ԩ"@.DK4454M4455@+QeeG45? IY5C45n58@A`skibEcCd[Y5|5V55%IHtypOmMn@Kq5FD@Ntc5K5`A8l55En5~555-3"]@I5 [%e5 V 5*/(@4 @D5(*(5Y5(5fV55,5N5&?;9ZI@J51L145IG5UG/S@46@DE6(US 50+ɷG·÷ķ555ƶɶʶ@\@5XNLqİ5T5ӷԶն@5Z@Dvΰ5v5^6@5}@5k߰5C6ᰩ65G6@555!5Yհ5Pηذ5}5V5M6Y556Y-5\5*R6f6t@@5X56d5Zܩ5g556(6h6(6<6=6h@ @@A@2generation_subset2@!e66@@6!U6x6@@5@!V !s @6^@!H666@@6B6]@H6v6w"@A@CB6Ҡ66@@m 6G6t666t666 @@6@A<  >JHCA;B97@2@@76b6+9   @@@BW66n67N@B@@A@-var_sort_item@!e77@@7!t67 @@5@!T !H7 7 7@@7 B667@'typ_indD%#!n666@@6@@677@@6@163@B7)!s9@6@@?6򩜠A@A7777O@@7@L 76n7YWFDA7G75"H00Z$@B.)'"H1;e&/@A+Ȑ"H2D@6>q"e0t0@5@DzxA7m(@CS@5@@`W@5@@@@ @AX7>7R b@)False_indLS7[677FywBp[d@Cnig@>75 30@5@D17(.*&&$&&&%%# 7p)[X@077e7z"n0U/O7D}Ȑ"H3,-B,'AD!yŷ@ȩ67@77Bѩ7[667ש6PȐ"H4@,*o1@5@D7(77۷77 7%&7x7Ȱ67z7g&96K7772777ĩO7*7778OŐ7y670C0ߠ@D@@0@0@6q@B7G8 877J!77L8!x%j)777FȐ"H5B8G8)87@@6767) @0:7) 88@8Ȑ"H6E7#FH8;Q708 78>M.7A8@7m87/778B@(RɩT77ܩ8H/@A[mfdV]-e&VT8)8*#&IHtyp1HF@?i8831@Cm.)o#788"0q-ds-c< j888V@@8@B77K8JC&IHtyp2hf@ QO@E?778@-7788E&IHtyp3xv@o7hca@s7f^YS'778T8{@C77sytr@F77tکG77G1@6Ѡ@DE8(@>?;;9@@D==<<:t8@5~2|8L8ͷ-dǷ-cɷh@f@bз0ҷ}ǰ78'8_8ʷU@s@ީ088h78÷橜@D8s8#Ű署@088f7782.@7@D8(@~z?xzzzyywt8}ro788  ˷8}88@ն@8Iҩ8>8ƷLܷ 8ٷ@@X89278&IHtyp4 @@,=8K8f0R8䷐,w'@18,8X9+`<>@EC@G8}898 J S8j PT8FT2@7l@D9J( 9Kة͠\ʐV89PhfX_'Wc+Yi8891*MK@64@*p$r889%USLvE@> Pzv;}Ϡ88H2@7@D 9v(9K)N~(&$R6' #\U.[8Z9D9tr(kT88fa_.-[88շ-2@7@D+9($    9j#a0T9/99t9J@yw@toB_?9l9A9_7@@f|v29ucƩ@H89~baЩ 9 8a3@7@D_9(XTTRTTSSQN9WLI89c9ηݷl޷߷֩԰9999׷%IHtypȶ@9s@Ű9d9y9+9ԷͰ@I9o˷ķְ9  9=3;@8@D9(MK9|999:J 3/-@J9!2,89(9b+3`@8C@D:!(rp9%:8312k3*(999Զ@P@=9L39a9%#@F9@h=99k/-@&P9@*T9vX 9L: M@999&9@>7a9~0"s0+=g9(>j9]k%9T:`99!:`19c#9.Y:m:{@@ 0:?9_9:kPz9aȐ!i9q9::2:r;Q9:t:4:H:I:t~@z@@A@/unique_var_sort@!e::@@:!n:y:x:w@@:v@!s::@@:k@!H:::@@:B:~@97@B:@A:"s' "H0:R:Ȑ!iB::̠:@@ :J :a:::c:::@@:@A,@: ::@@:@ :d:yȐ"i0% :?:k;:::m:é!: :sȐ"e0@(fun_item#K:}19:*::.@)5Ȑ"H1%Logic$Init#Coq@@"eq@B/AD!y<@?g9;@D:l:K!:d9;  %Lt:Ȑ"H2Y@/U"e1X>@9U@D!t^;6(;8:}bc:sd e f:h g:(D;?B::q@::rI;H:z:w:z@3::{;N@Ry--;R}ZѶʶ@ö@_;;3@@A@/sort_of_app_aux@!e;;@@;!t;i;@@:@"Ts !H;;;@@;B;\;];@'typ_indD%#!M !N#@;b;;@@;a@-;`/@D;z;!s5@;x@@;;C=@A;@!@E!VH$@@A;;BQ@F;ǩ;J;;`;˷caPNA;ѷA_?`"H0?e*3@B=86"H1Jp5>@A:Ȑ"H2S@:|"e054@:@DA;(@Rb@:@@1o;;@@1n@m@:!@@@@@An;;; x@)False_indb_];a;IZ<p;;g;<"<"WS{@CQOHF D5v@:Y@DB<7(?;00.000//-*< 3(ηm1x>1w˷k@5D@B';;p>">E&2$>>"@@2#/>@2"T5#@'and_ind lig[e>){=f>-4)"H9k#ķũ}]{>?z°N>C>>CZ=HBթɰ5W>L=L>LͰ=B f5 PհX>Vʩ=>Z==۰=i=@A鰐W=l>m==q>q㩜@Az=x"|=>z  >=>>@7'=Y>===[>>@{{֠Ѡ5J=t5L>>>@A&31/(/ .,*,̩!>">>712@@7=9:0=>12=>H>A) ש7> )G'H@E@CLשA=>©=>Y&IHtyp47U5V@3%#@5[=>"_`VI>WXK>n>ٷ2=3\@6=> >PnNoLrt@Ey@G>'=>OJH[Z g=G5 2= 3@= @D >(>NKI>5>? ? ei>>>C>h|@us@ifd>%>&>c>?'KEuߩFq>5>zF8x@=[@DD?9(=220R2211/,?5*?<ҷ˷ѷͷϷp2.lhk>? ?I׷طc۩d>z>&vhk>K>h8@=}@Df?[(_TTRTtTSSQN?0WL>I!>?g?g,?A?lC@ٶɶ@۰K?:??z  @׶@ԩϠʠ>>? ɩ ?"?!@H>m?,'H) >>t,8@=Ġ@D?(F?w45+>>->?.??FD?='>?64?u?ˠ??%IHtyp*H(I@&L??@*P٠>?ETU K??L M??c?η>\<]:`b@I?831Ci>.l ?%o9$@>@D?(?֠5w2x0n>?өp>?q??j<yC?=ge&c@J?.a\Z$l۠4?N?6[!?R9Q@>4@D@(       *?-^???@ayw@?Ot]}{P?S?x@?Y@P?v?^j@?{@ʷ˩6?ð6?@D\@????޷׷ط?N"s0u?Tj?X7@Z??p@Z?Pr?m4S@g@u@@&@97?@eΰ7!?i???@)@i@)@=@>@i@p@@A@+sort_of_app@!e@@@@@!M@y@@@?@!N !s @@_@!H@@@@@@B@^@D@w@x"@A@B@Р@@@@M$@E@r@@@@t@@@@@@@@A;@ =IGB@:A86@1@&&@H!VK@"@>@U@jT@F@ک7@G@^@@ސ@@A@0sort_of_app_aux2@!eAA@@A!t@A @@?@"Ts !HA A A@@A B@@A!M!N"H0@ܠ@@@@@@'@)@D@A!s/@@@"H17@9@AA/"s'"H2$D@ Ȑ"H3(@@K@EL@@k@yAA@AAD@}@ U@XVJ@KAK!@AM3@%@|@ϩP@{'@Ȑ"e0BA~A`An@@@^@@4@A^M@&@prT@@*@k@m@{@FAqG@t@v@AuB$5@D@@t@AX@Z@z@At@%False@A$@VB( @D@-8P@*Amn@ߩ8V@AqAf "H4Q@AxȐ"H5m@SAABA@RApȐ!a@@} @ALAR@([AAT@A(_B(V@D@cAANHAΐ+"H6°AȐ"H7@OܰW2rA8Ab#A㰐V6y(@Ȑ"t06AB@@6H5A@6;@'and_indy%Terms&Lambda@@$sort@@@@@@DꔐAk@$True@>"H8 i  @)False_indAB750.(/@$12@@@-C@@A@,sort_of_app2@!eBQBP@@BO!MB8BY@@@@!N !s @B@!HB`B_Bm@@B^BB@DB6B7"@ABg"s'BBBtB@@(AB B4BJBKB B6BBBbBa@@BA@A>BT @BLJEC=D;9@4!;@-@OBQ/@@A@7strength_sort_judgement@!TBB@@A,@!eBB@@B!s@B@"s'!HBĠBàB@@BB##@@#@B-BB/@ABBȐ!w@&typ_wf>BqBBBީ&AȐ"H0BB&Lambda@@BA@@DADLJ@B@BB@@B@WBө=bAB-HAة7B19BC%cI@AqNsBBȐ"H1@Aq"e0t$List%Lists#Coq@@$list@A@B@D!lj@AC2=@AJ@@@ B@AT@ @A}BmBC@J@)False_indBtC|BCI1"T0"s0nC'C(B_C,CBByf@74"e1HA>@D=;;CgB跐!tͷB@ClC.CBBCp{FCBط\AR@DQOC{B߷TRCSCCBBCWCBpB@^B`BӰBCbհBĐBƐB"H2lBB©nBqoCBBBȐ"w0BBCȐBȐ"H3@CB@0BBEIGMGIEEEICD KL@CCC@İC{TS@˰$C@ VUB0n('޷"H4ް.C9RQ"H5@2@B "H6L>@A : K1V*7PNZ-]0SCҩFX6W9?-k+Gan]"e2q8@B4@DudD(hfD!n9D@@9@?ADWD"-uDgwFzxB3@bMlY0xV1M:Z*8@B\@D(D:('&$PRUwD?JUw-WgZng"BA#CDRDRC穚\@<CdD*D+DVyCD\Cmlũ@CV zƶy x|˩Ƿj93@B@DhDz(gfd߷Dĩm])ط{9D@B@DyD(xQPPNPPPOODMxKذI/ǷhBBiCDDD-FDmDB=8"T1Ω@=DDcDxʩD;  @BDn㷐"H7Ds ԩŰCʰ#Cƶ$D DD  \[ٰ2'DR*789@B@Dq<D(@-@@@@A@BD4$;%JJD0*O&#D1(DCéHC9DDDGCȶ"TDuD:D"=ȩ,DCDUa_:PW=d:f:W6OHmDD8D;2TMrD=CDD+lDXexz@CD`D$"H8)@FDiD.p ={5DXDsf:D3Dxk|E D7fxD/DDspDd;DDBDlaz`}_W8DD&='G:@Cy@D~EW(}@A!@@(~|~~~}} E[#B/^DeӶD]$!D0<*.+DrD0ErD DEHEIEt̩DD<DD|DRzŰDDDDƩɰ ]EDE E*䷐:7﷐:6ڷ:/=ĩݰEElwEYEDɩ۰׷@DEfD  @=DEm  i  ̩DD İDDEDD EEDE DѰ*'EJE"/0:@C@DE(zyE&-<UEE #A|ZE#^EE#:E%EEE9*E(E)D-EEǠE.Ei1! 5EO?F_R 9EEEfVF>E(m[BE@ESE~E9bQRH@=ݰEIEFaE0"H9oq@Ev@GEDE[E#H10%~ EEci  z}{.<EaE)D5VEXwFZNazE<v[}v|EE-TEE<g<>w<Ekgyf|eBV@=EEEE{E~@1J;@D|@DFZ(~~@~~!F\$G5Ɛcb͐d=&*Eg2/Ex<:Fx=2&=4FNFOFzҩð=7EqưE=:ɰ°EEаEΩEEީEEԩװ&Ɛ/Ȑ0FEEEEF,7Jͩ"FuзEFf ސFk g ʩEEFE5!EFFF@ܩͰ&)*;@D@DF(tsF 'EM9EFVFFFF׶/ FFE %CF%FF;GE5<H8J:FlFFܷ?RޠF7FrשWL@ Q TRK^F(FC6 c9Yζ2KF/,EF2FLƷZmFEEBers;@E6@D;G(:8868877MGݩՠpIbFFGFFFGtMfFeFG FMFhFPG$FiFRFpFG*Ƿ([tG.PUJ;@HFG l% WH FF@MCGFwFG FngXF~FM>H<@Ez@DGX(~||z||{{XGY!yFFyFGdF:wG9GdF=FFBFFwGmFGȷҷnӷԷʩG5GIcGLGwԷݩ@IGGΩp зFbFeذGfF֩FFjF٩@JGOթưDGAG   Ѱ*Fɶְ/$TGFBݰ6G.;<<@E@DG(G=GFGG:;zEFWG=.GGG:2GlG5GG$ 8@FGtGGȷFکZG=]FF WZX dG,:gG==]NGG G8QGG 2TGGCG:+!G>GG[Jҷ#|GRO~TvgGG!QjG$KmGB8i>G G,$8Gsdi{G5e~H _TJ>GG<)bGioiGF`VG<GrȐ!a@G%쩛Z@G@@.cp.B.@D@ mzQHfP#H11vXȐ#H12.Bś)DatatypesItIs@@#nat@`g"H0s@BIIZIoR@BMuIvJA><?lI&Iz:(ThinningII@@,wf_sort_liftIIEIIpI>O}IIK&IHtyp1qjgIi`][^IZnI[BQ>>h:III@@I~@BIHIn&IHtyp2#|z}I+I*!z"H1II&IHtyp3I'I1I#Iy_ѩ@FI:IͰI I3I6@A IBGI=IKIWIXIIIӷ>귐>bѠ}II>BYIUI+IJ*P⠩۰2IJکѠηϩI{9IeJ ̩@&or_ind ߠܷݩ IGIJک@BbI$J"I IJoȐ"H2@I71"e04C@H@D:8AJf(@@H@@@A@B@C@D@E'@H@@A Jw-@)False_ind3,T6IJ+" MI=IJ JK@@&ex_ind*(+XIʩIJ)(KDlEA8536cI1-R:hPxIMDA?BoII=`Y&VMJHKxIhIIH^Ȑ"H3_IIJJIJ?hJIIĠlI>ޠJΠJ@@>IJuIJ̩@>ܐӠ{I@'and_indo JIJ$|z}AIJ*z1"H4J0uƩAJ,RQJ'JJZtɰJJ-UҰJ  JI"x0x95 5JȐ!aBKAK#K1@@'`JJ!JfJJᩛ@,n@Ơ÷' ũAJ-^J0J$JuِJǩ`ЩԠѷҩ=J-ͩkJ>AJJA][ uJ;KJJvȐ"H5̠"J&&X* _J1/#TSJbKa,SubstitutionKlKz@@,substitution oJkK@rB%KkKkKkJAKkKkJHA 9OEީ:JKtK ,%MJ"DJTJhSIKX;ʩ&#!$Qw`6UJKEJgK&&IHtyp4KDlNJKC:758eJUJJ5?>k@CJJKX@GBkJZQNLO| JLUKBH$ByJJKJJKK]  a3KKJK_nkilJKiyvtwKt }K+ {tK)K h'K=K1^c̰KKݩ@ vKDK6KKL L L \[YWHGM:It0sJKLɰƩ+٠hĠ©KSdu@B@AD!y@L4@8נԷթBL<?W@@޷E@Ji@DLH(LJK" #!K$"%#&$K'%K LQK!.K'KU KcJ0K^-3L Kq@CS$K&K Y*K~"@B`1 K3"L R>Щ8'Kk<+K>-K!IBjO?6314aM/"H6~O>K2Q@K{4ЩUDK83`YUVMJHKxR[KHk"H7*`VKWjYLMLbKl[dO$h^gf_AA@@$sort@@@DfijLΰ^gg[^LgXt~urpsWKqLLLݷd Щ}KdL*hLjV MɠL&pKrЩLvqK@ZK.L~LL)b>@&@D8MM7MMLQԷ8z&qo<igj\vZUwS@;@DMMMLMMJ><8?6N0y1n@.)̷e@M@D_M,M-^M-M-LLqL@ELM1@JԠѷҩL: ͩM:gޠ۷ܩ LCeש:Ȑ!w@ sLvLLܐLx/1ĩM5l7tMީ$L^x@L-Lh7۩3D'&%̩7GD/@#D&'5@ L)/OBB+LLM` LMM7n?.M(.,Oa*&+9 gBACLLMx/LMMMxMxszqoM~MR:c\YPMKN{Mu I#M{MPMd?unkb_]` [MMM"MMз%IHtyp+MMyvtwM^2MMtM=MMMM!MaG;@L@DM(M̰MKM3Ns#}ҰL`MMŠ ۰LMx @\MaMIMMNMeMMb갩TMSMkMhMMMVЩMpMg `MMvM_mNNN렩 Mؠշ֩MuMѷW sMM}MgNNN@MN NKNKNK*(#!"8#~qo + /@IMN2)M MN'?@G@L@D No( Np)"J,MN#EMĩ5(MYNN!}=6^'3*'%(UMe#+{zvjhKDlNAMME<97:gM٩WJMM{9|Ph WaTMMXOLJMzMj]MMLBJMMNNMMN][^MƩ{nMN]NIJzw M˩MNNB5m@D@NMNANNNMN JMMMƩEMMNǩMNNNNNѷʷ-˷̷éNNNзDN˰NNsϰN6N/PװNVL+ڰNYNAO)@NRN_MNʰNcǩN#NgNNNNNO%@@@A@@@OQOOONMɐMȠKKII EEE8E7ALAK@@=~=}=)=(9P9O885Q5P441W1V00+++/+.&Ԑ&Ӡ&w&v   > =0/ X W  ts@@@@C'Russell&Lambda@0'攆Tgq C'Russell&Lambda@0—ˁd0Z̔Ġ(Coercion'Russell&Lambda@0|¨i%ż=1CF'Russell&Lambda@0MiegL4- 'Russell&Lambda@055kCrU@* 0/{Pϓ9!­OҠ&Lambda@0beӯD ƠO&Lambda@0 F1t"P(Conv_Dec&Lambda@0rǰ*GJ%Union+Wellfounded#Coq@0ޫ.6CĚ~Z2Transitive_Closure+Wellfounded#Coq@0߭_^ n}DW$^$Conv&Lambda@0*}Q;<)Reduction&Lambda@0WUlod)LiftSubst&Lambda@03eiV^o5%Omega%omega#Coq@0mJ%,y'(PreOmega%omega#Coq@0wR51|5&NArith&NArith#Coq@0\[nTZS*NArithRing+setoid_ring#Coq@0Z4xj+OmegaLemmas%omega#Coq@0-ww'7XU>ENJ0KH!8DmSD)Relations)Relations#Coq@0cҨv>s =)נ4Operators_Properties)Relations#Coq@0 . bkB}2Relation_Operators)Relations#Coq@0~ ɀL?7fy(%Arith%Arith#Coq@0)f^joqU#r[L)ArithRing+setoid_ring#Coq@0^⺯d-1$Ring+setoid_ring#Coq@042 $'])Ring_base+setoid_ring#Coq@0K W)(Ring_tac+setoid_ring#Coq@0%& Š+InitialRing+setoid_ring#Coq@03bm|ҵZXQ!)ZOdiv_def&ZArith#Coq@0 kiomO|(Zpow_def&ZArith#Coq@0e%`E Tk'ƕ+ZArith_base&ZArith#Coq@0p+;Ftx&Zhints&ZArith#Coq@0yLt Ŝ>$Wf_Z&ZArith#Coq@0Usw. &Wf_nat%Arith#Coq@0ClG]Wd/%%Zmisc&ZArith#Coq@0@YM-pȠ%Zbool&ZArith#Coq@0q W{`)auxiliary&ZArith#Coq@0ckk*a Ӡ$Zabs&ZArith#Coq@0;ƘGMb *ZArith_dec&ZArith#Coq@0Eo#'Zminmax&ZArith#Coq@0 3A?qWl%Zeven&ZArith#Coq@0Ip?n,Ring_polynom+setoid_ring#Coq@035<'BinList+setoid_ring#Coq@0!M:GD+cv*+ListTactics%Lists#Coq@0hVEq EA.+Ring_theory+setoid_ring#Coq@0Jٸ`pN!~R$Nnat&NArith#Coq@0] N3]EP?0$Znat&ZArith#Coq@0h#yeT+$Xx$Zmin&ZArith#Coq@0( k 1^} $Zmax&ZArith#Coq@0yt-?2ad&Zorder&ZArith#Coq@0jy:E0۠(Zcompare&ZArith#Coq@0x1+C2B6&BinInt&ZArith#Coq@0WmIM$Pnat&NArith#Coq@0ٯL j㾠#Max%Arith#Coq@0mAà2adUU$Div2%Arith#Coq@0d&ulg}k宖$Even%Arith#Coq@0^w2&x-n#u'Sumbool$Bool#Coq@016Iu#m&BinNat&NArith#Coq@0[lu,Bp(NBinDefs&Binary'Natural'Numbers#Coq@0 KP/JP<(E&NMinus(Abstract'Natural'Numbers#Coq@0KHH@bӦؠ+NTimesOrder(Abstract'Natural'Numbers#Coq@0|A3Խ*NPlusOrder(Abstract'Natural'Numbers#Coq@0Y~z:sf.B*&NOrder(Abstract'Natural'Numbers#Coq@0X>XP j&NTimes(Abstract'Natural'Numbers#Coq@0-Hx/pG.u$W%NPlus(Abstract'Natural'Numbers#Coq@0X*nV=N˖%NBase(Abstract'Natural'Numbers#Coq@0' CqOeI*6O,NZTimesOrder&NatInt'Numbers#Coq@0TԘ޴3к?#Ǡ+NZPlusOrder&NatInt'Numbers#Coq@0 xZx) *'NZOrder&NatInt'Numbers#Coq@0=8 ;{ث'NZTimes&NatInt'Numbers#Coq@0Sp,˘ o kP&NZPlus&NatInt'Numbers#Coq@0Yqi"9"3&NZBase&NatInt'Numbers#Coq@0 PӂΟ'NAxioms(Abstract'Natural'Numbers#Coq@0I`oQdåAJ(NZAxioms&NatInt'Numbers#Coq@0{Vmޗ, 蠠*NumPrelude'Numbers#Coq@0EqDOL,oa;8堠(QRewrite'Numbers#Coq@0`rBNJԖ33)0@0ف.Z|\z5-ޠ$Bool$Bool#Coq@0yVb҆X@#Min%Arith#Coq@0&εj/i!t&Setoid'Setoids#Coq@0q6X@ny+Setoid_Prop'Setoids#Coq@0߮m, "Lt%Arith#Coq@0]2V"Le%Arith#Coq@0{U5R|:g*Logic_Type$Init#Coq@0W RDNJ^'Prelude$Init#Coq@0002[:8(( mͨ'Tactics$Init#Coq@0-88YZP61"Wf$Init#Coq@0"U.ю@%Peano$Init#Coq@0KO-!hϲ/>C&Specif$Init#Coq@0|GU-lȮmS;II@07^kO(>=G0֠ǿ/`U)Notations$Init#Coq@0JH.+UI(~@@SS(CONSTANTA@@A#_48)IMPLICITSS@SAA@@@@SB@@S}E@Sw@@SaG@@@@#_49/ARGUMENTS-SCOPE@#@@@)nat_scope@@@@R<>=@A#_5087@RF6@R;D@@@@@#_51'@@@%@@P`_@A#_52ZY@PX@@@PzE@@@@#_53J@@@H@@@M@A#_54~}@M|MɐD@MƐ@M @@MF@@MH@@@@#_55@$@@@@@@@@J~@A#_56@JJD@J@J{ @@@@#_57@@@@@JE@A#_58ޠ@JOܠJMD@JJ@JD @@J2G@J4@@J'I@@@@#_59@(@@@@@@@@@@F @A#_60@FFE@F@F @F @@@@#_61@@@@@@@FbLK@A#_62FE@FlDFjD@Fg@Fb @@FPF@@FDH@@@@#_63G@$@@@@@@@@@C!@A#_64}|@C+{C)D@C&@C! @@@@#_65r@@@@@@B@A#_66@BBD@B@B @@BސF@@BҐH@@@@#_67@$@@@@@@@@@?K@A#_68۠@?U٠?SD@?P@?K @@@@#_69а@@@@@@?@A#_70@?$?"D@?@? @@?G@? @@>I@@@@#_71@(@@@@@@@@@;CB@A#_72=<@;;;E@;@; @; @@@@#_736@@@@@@;xnm@A#_74hg@;f;D@;}@;x @@;fG@;h@@@@#_75g@"@@@@@@@@8@A#_76@88E@8 @8 @8 @@@@#_77@@@@@@@7Ӡΰ@A#_78Ƞ@7Ơ7ېD@7ؐ@7Ӑ @@7G@7Ð@@7I@@@@#_79Ͱ@(@@@@@@@@@@2  @A#_80@22E@2@2 @2 @@@@#_81@@@@@@@2j65@A#_820/@2t.2rD@2o@2j @@2XG@2Z@@@@#_83/@"@@@@@@@@.@ji@A#_84dc@.Jb.HE@.E@.@ @.A @@@@#_85]@@@@@@@. @A#_86@..D@.@.  @@-G@-@@-I@@@@#_87@(@@@@@@@@@@(zҰ@A#_88̠@(ʠ(E@(@(z @({ @@@@#_89Ű@@@@@@@(5@A#_90@(?(=D@(:@(5 @@(#G@(%@@@@#_91@"@@@@@@@@%21@A#_92,+@%*%E@%@% @% @@@@#_93%@@@@@@@%^]@A#_94XW@%V%D@%@% @@%oG@%q@@@@@#_95X@#@@@@@@@@@!@A#_96@!!E@!@! @@@@@#_97@@@@@@@!B@A#_98@!L!JD@!G@!B @@!0F@@!H@@@@#_99@$@@@@@@@@ߠ@A$_100@琐D@@ސ @@ÐF@@@@$_101@@@@@@@*%$@A$_102@42D@/@* @@G@@@ I@@@@$_103$@(@@@@@@@@@@Va`@A$_104[Z@`Y^E@[@V @W @@@@$_105T@@@@@@@@A$_106@D@@ @@G@ @@I@@K@@@@$_107@.@@@@@@@@@@@а@A$_108ʠ@ȠE@ @ @ @@G@@@@$_109ɰ@"@@@@@@@ՠ@A$_110@ݐE@ِ@Ր @Ӑ @@@@$_111@@@@@@@{/.@A$_112)(@'D@@{ @@@@$_113@@@@@@@#_30-RESERVED-TYPE!i @@w@Y@#_31!k#_32!m#_33!n#_34"!p!#_35(!s'S,@Y@#_363!A2S7#_376MCZRg_tly͠ܠ렠      ) # 4 . ? 9 J D U O ` Z k e v p  {              Ƞ  Ӡ  ޠ  頠         &  1 + < 6 G A R L ] W h b s m ~ x            Y Š  ʠ  ՠ  ࠠ  렠         "  - ' 6 2 > ; F C K U P _ Z j d t o ~ y@ȠҠܠO@0bP_xNr