e:UJBР)Narrowing'Russell&Lambda@B)Narrowing 'coerces(4@@%Terms&Lambda@@$sort@@@ @$term@@@@@#Env&Lambda@@#env@@ @@@"@+coerce_refl+coerce_prod*coerce_sum,coerce_sub_l,coerce_sub_r+coerce_convඐ!e!A(!s7@%Types'Russell&Lambda@@&coerceBCB?AAED   !e@!AM!BQ"A'U"B'Y!sh@GF( "@6"*.@=H27"s'@K$List%Lists#Coq@@$list@B)J(I@] IVZ@i  L1bgNMF 2$h!e!A!B"A'"B'!s϶@gf@l@es"s'@dcOXs@k`qW@vbV#s''@@(sum_sorto@|ɩQP GOklsֶ!e !U!P%Terms&Lambda@@$term@"U'(@뜠8C@5EB۩?H!e=:8@O&T+ɩ$OLJĠà@@@Be@Щ j mDo rIt QMy@Fp@B4Y#!*%dbGFE~|-5/@.72D@<;:@pЩ@D?3/z@'H,PUАR@G=\@C@ D .<YWa`[ö|ake@C@igpk̩qnOl@B?X@H[zx@Db`}&$ة$@C'İp!5tr0@E{yٶki۰Զްא  ^T@@R@g j@oavmypTb`|s@F4gelxɞD@!F:94253,+(&{ِBA<:=;430.;@7@@qDDMLGEHF?>;9UT)MFEQ(+[Z/STUVONK[2T^5VSQdg>`jAX<SЩt~}Rv7w6x5yrqn~#!'urp&%})+ 3ZHje驐VmhЩ9lq64>=8ڷuC>@Hҩw#B@JI%DLKFķQVNU1PNXW3RPYTun8,6DBa_ihT.8jeжϚζʛȶ̛ʶěöoyxsޚݶ׶ћжݩǶƛ穛x@J}{԰sΐ۰VzՐ}c@TЩj^s󰩜° f_̶'Ͱ+lͩQus}ة4{yݶFE?ACE?><:@R)#Y0ϩ*USQf @?ЩmqHuᩜF!|S"۩Q"| ,5UАR堐QqoA@RQyt!><FE@ISM@OMVRYX9V(ABa_HFecmgК϶ ɶ ˶؛Ͷ©pzy@/vt~yک}`)hf%omͶ̛Ӱ~͐ڰԐ ېc j  n@Rf{rövThfy4kip|Ͷ540.20*)'%٩}ې@ p+g(),?'(*()=vX:>     3            # '>  L3#' >  L 3#' >   :3 3#''>       :3     3#!'> # ' Q''+g()# '+7Sg +7S' +7S' +7S'+  7S'#']AؠLXH|LGؠD(@@@@+coerces_ind@'!;M@@9iVU@@N@) @Z@hBt*e@@s@'&!A @')(h*)H$'CB}@@@B?>1@A>=<FFE)@AAKJEED>;@9B7D=<981XPR@6Q4ZUM&+V`R+ 0$[.NKJ+*)@@(@BdA7On@Щ i"+FxskDnA pIsF5 Gw@F" )Oo@B4)'.TC:ljbaFED|{t@OywC?;:XiO@Щ?nH]x2.y@wT򩜠@GX@C@][bwnɜ@C@}϶ǩnЩ@B@H@D&޶$߶ԩ$@'!֩0@EնذѶ۰ Ԑ`@@@@`" ԩ^֩@F4  *(2,+*%$&%1/983@ ,+g7$'X@@@@+coerces_rec@ke@@}@@@m @@Bn@@@akje@ @ڐk)(*)$'@@B1@A)@AED>@}B{D=<98u@GzxM&oR+Pt$rNKJonm@@l@Bd{a@RЩ ifZokDn_X pIs_y w@Ffdmȩo@B4mkr~϶baFED|{ٶ@ܶC?;:@Щ?2.5y@36@G52@C@B<7 1$  @C@ǩn@B@H" @D '%/)&޶$߶ԩ-76$@20:'45?!;90@E#!@>HBնذ-LѶ۰2OԐXU@@@3,6B@ Gf ! #@F4 9(CQOnlvp+*%$&%us}|w@ ,+g7$'X@@@@*coerces_db(4@@Ԡ@@̠@@Ϡ@@@@@@ @,coerces_refl,coerces_prod+coerces_sum-coerces_sub_l-coerces_sub_r.coerces_conv_l.coerces_conv_r!eܶ!A鶐!s@!e!A!B"A'"B' !s@Ѷ@ѩِݶ@嶐"s'.@*@2@ =ЩΩ!eC!AP!BT"A'X"B'\!sk@!)#@7#+/@>27"s'@|<@P HL@["SX#s''@ XZ@=cQ m!e!U!P"U'@wvz@Fih!eȶ!Uն"U'ٶ!P@@lǶ!e!A!B!C綐!s @۰ǩϐζ@Ω֐ڶ@թݐ@@Ķ!e !A -!B 1!C!s D@   @    @    @ @DwDMPFFJJ@@@@4@@@@@@( @( @GADBMCPDFEFFJGJ@AA@@@@@@/coerces_db_rect@Ͷ x @@ v!t  @@ @  @ @!cB  i @@@ \ f e ` Š Ġ @R!f,+%)   @@ B ~ }2@A } | {   )@A    GF?ACE>=:8 p   @ B u  s  O& j  T+ K o$ OLJ j i h@@ g@Be  v \  @ MЩ j a U j   mDo Z S  rIt  Z t Q󩜠y@F b ` i  ĩp@B4 i g n   z      ˷dbGFE~|    ն@      ضD@<;     @ Щ@      3/z@ /      UАR@G= 3 0  @C@ D : 5            ö   @C@     ̩q   @B  @H   @D   % # - '&$ة + 5 4$@  0 . 8' 2İ 3  =!    9 70@E !  > < F @ٶٰ H FҶܰ , IՐ T  3 N @@@ < :  ? = \@   4 B @ a ,  6 D @F( 1   ; I G f d n m+*#$(%)'*%+! G U S p@  & J X u w#% M [ E 4 O ]&@G( J 9 0 T b `  }  D@!FLKFDGE>=:8 ,     TSNLOMFEB@@@@DD^]XVYWPOLJS      gf;_XWc:    mlAe&f%g$ha`]#mD  hpG  !hecv  v   yP pt|S -Y< c j   v  & e  l      ϩ(Щ(  i  |    ͷcHGF" 87     ܷ      ꩐[H !      V $        ʩЩJ # (         T    3           շb    <           ̷ŷƷǷɷǷ÷",          طѷҷӷ˷շӷϷΩe,      !  ) ( ]     * %ޛݶ۩ / 9 8 3Ӷζ͛ΰ F EȐ C B A K K J D N M H  ƛƛƛ  8 _ W Y@  = X ; a \ 3 ^ i  : f̛Ͱ+ G = # U t@ Щ԰2 *  3 N  {6 ܰ: &  L  A簛E W , F Q ȩՠ 5 3ؠ = c 4  ; 9 @ f U L ~ |    6`_5Y[]_YXVT    @ h     lC  = sJ k D !omk"   x  ɶ@ Щ)  s    жb1 { t ` m<   k       UАRQ 1 /  @RQ 9 4            Ú¶ɛ   @     ͩs       !    % # - ''&ܩ 0 : 9)@  6 4 >- 9˰ =  Gɐ,  ( &* H F? / - L J T N ̛  [ Y ` C ` l" L g t S Q % W U t@  1 L Z X yQ E 4 O ]( H 7 . R ` ^ } {  BA;=B?98E   L# t  S* } $ KI v   @  U y   RT } R v e  1( y h _       rqmkomgfdb     Y     @  +g(),e'(*()=:.~`5>    3         # '>   3          # '>  L3#' >  L 3#' >   :3 3#''>       :3     3#!'> # ' Q''+g()# '+7Sg +7S' +7S' +7S'+  7S'#'/AtDt@@@@.coerces_db_ind@sC  0@@  9 8@@ 1@K @ =@B W  H@@@    A @Ӑ )(*)j$' & % `@@ #B " !1@A !   ) ) ()@A $ . - (ED>m@kBiD=<98  ; 3 5@   4  = 8M&  9 CR+  $ >cNKJ   @@ @Bd $   2 Q@ Щ i    ) [ VkDn   $ pIs )    w@F    2 go@B4     7 &  O M l j s nbaFED|{ W v ~ x@ 2 \ Z w  {C?;: ; L 2 d @ Щ? Q + @ [  2.8y@ Ұ Z p  7 u 멜@G! ԩ  ; @C@(   @ > E Z Q u      94   @C@ `    ǩn   @B  @H   @D      ȶ&޶$߶ԩ   $@    ' Ӷ   ! |    0@E      ն&ְ  ϶ٰ  Ґ ް   @@@ @  ۶    @ :        婜 @F(      &% (!$'%%&!   @ P   %  q    #@G(     (">=879810-, '%/.)@ ,+g7$')X@@@@.coerces_db_rec@ʶu@@s@@@ @@Bd@@@Wa`[@ @*a)(*)$'}|@@zByx1@Axwv)@A{ED>@BD=<98k@=pnM&eR+Fj$NKJedc@@b@Bd{qW@HЩ i\PekDnUN{ pIsUo > w@F\Zco@B4 cah}tŶbaFED|{϶@ҶC?;:ڶ@Щ?߶2.y@)B@Gx+(@C@N2- @C@ ǩn  @B@H@D%&޶$߶ԩ#-,$@(&0'*+5!1/0@E64>8ն}ְ@>϶ٰ$AҐLް+F @@ @4275T@,:8Y$.< @F()3A?^\fe&% (!$'%%&!?MKh@BPmo%ES=,GU#@G(B1(LZXwuy>=879810-,~|@ ,+g7$')X@@@@.coerces_db_dep@!e͠@@˶!t@@@ !s @@!cB @@4@@S!f.,&*ؠ*)@@Bө3@Aөک)@AڷIG@BDF?=:8@P&U+ũ$OLJ@@@Bf@Щ k nDp sIu QIz@Fp@B4U&!dbGFE~| )1+@ *3.D@<;6@lЩ@@;3/z@ #D(LUАR@G=X@C@ D*8US]\WĶ]ga@C@eclgͩqjKh@B;T@HWvt@D^\{y}&$ة$@?'İl!1pn0@EwuٶٰҶܰՐ M @@K@c@oq @F(vm÷-+$%(&*'+%,!ƶ@|Ͷ#%&@G(מD@!FNLGEHF?=:8琷VTOMPNGEB@V@@٠DD_]XVYWPNKIShf:_XVc9nl@e%f$g#ha_\"mCgpF gdbvyOs|R,Y<&$(Щ'('"bGFE~" 76157?[HvqVyt !ЩIx}%#B@JIDSJLT/NLVU1PXWRԷabZa=\Zdc?^\e`̷ŷƷǷȷƷ·!,$?MKjhrqlطѷҷӷʷԷҷηͩd,0'KYWvt~}2)MYzٶԔ@Sɶi4@  +g(),e'(*()=:.~`5>    3         # '>   3          # '>  L3#' >  L 3#' >   :3 3#''>       :3     3#!'> # ' Q''+g()# '+7Sg +7S' +7S' +7S'+  7S'#'lAtDt@@@@%depth@D@ !e@@!T(@@ @!U !s @@!dB4=<@@ _@ᛠ)Datatypes$Init#Coq@@#nat@20+)#*!@ݠDD:8!t34+)!c&DB!A=42"Aslk@@BL@A5@A][T!BW"A'Z"B']TR%HsubAO/')#A's%*5,*#;"s'f'HsubBB'c\@@@B(&G"BsC #B'sJ("v@B#Max%Arithy@@#maxS  ;IЩ-$5hrmTRPNTs{uLJrFB@>,5P\}640.#s''#sum}@ʰ8$sum'Fm96V1^MЩZ7<zxܷշ!Pط"U'۷%HsubU@C"Psq@B`[!pk#η !C ̩ʰ÷Ͱ"CsҰ&convABA@@@ŷ&HsubBC'42+,&-$"$" &HsubAB"&convBC!;I@ $,g(*()=zO>.>   39'>   39'> L39' > L39' >    :3    37!9'>     :3     37!9'>E' QS''+g()6'+7Sg+7S'+7S'+7S'+  7S'6'  A𠠑50[LWl[SPL@@@@2coerces_coerces_db@!Gq@@o!T@@@!U !s @@!HB@@@Xba\@+coerces_rec0+)$"#@ @igqp4.%#ѩנ@@B<@A@AMFzHxJvLCA><p*IHcoerces1.wu&%l"t0,Os%qW"H0Tpon@@m@Br|b*IHcoerces2Pyi]r"t1Kd]("t2Rf(c@B4kipͷbaHGFַEq޷iC?=986.|;,*&$2"s0z@2"s1@C@RQ61ŷ'· @C)IHcoerces  h@B@D"޷߷!ѩ *)%#-!( 2@E/-61ɩȰ:˰ =ĐFѰC@@@"%1I 6"c0 @F(2@][@G(-ECbidb`jid/-(& '@@@A@2coerces_db_coerces@!G@@!Tˠ@@@!U !s @@!HB@@ @@.coerces_db_rec4+)$"#@@ 4 .%# ià@@B<@A@A÷MF H J LCA><Ϸ-IHcoerces_db1.ٷ&%թ߷"t0,%ܷ W"H0T@@@Br-IHcoerces_db2Py"t1K("t2R(c@B4?  baHGFEqiC?=986.|;),*&$ "s0z@p/"s19@C@RQto97A;;ŷ  ·@JD@C,IHcoerces_dbJHQhO0M@B@D<:YW`[޷߷!ѩ^hgcak!fIp@EPNmkto ǩưvtɰZwΰa| ,&@@$@ki<nlFHcqo@F4^MDhhvt@Am$+*($x^W{('~4vee\g<:53-4+)@$@@A@-coerce_in_env(4@@@@@@@A-coerce_env_hd-coerce_env_tl!e !t!u!s)@ (橜,궐!e'!f+!t8@ @AŰB@ 堩ΰK ҰO B@@CEE@@@@@@BAEBE@AA@@@@@@1coerce_in_env_ind@!P@b@@`@ABf d@@|@hf @@@B@@@KUTO/@@@B#aY %Y[+*5-6*)@uǠ@@rA5mr@(@@oy@VtrJ'BvYB@!FOZP[!cjYdZe @@@BDalbm@Qgrfe_f^]Zjnyqznm!wF#;b[@@zzy@wqĩuȶ@p޶@l@ܩũöiҠ@ +g() ,I'(*()="> 3"#'># 'Q''+g() %'+7Sg +7S'+ 7!S'%'lAp@@@@0coerces_db_depth@!eJs@@H!Tf|@@$term@!U !s @n@"n1LKJ@@I@!H%Depth@@@?=GFA @.coerces_db_ind8750.'/%# %Logickj@@"ex@B@@@][ed!d @"eq@;@Kjhrlq][!AVLJ=%Typesؠ@@&coerceBe@A8@A1*(_$b@A<@A5@An /!B"A'"B'!n}vt-IHcoerces_db1e\USOh"H0JmA"H1Q}tHŷ"s'!m"H2Щ@@@Bxܷ-IHcoerces_db2Щ "H3}'5"H4&35$Init#Coq@@@BB@D@QEАRFǠ@FTQ АS `['@B#Max%ArithK@@#max搷!x2"H51DB<@D@t.&=|Щ{5DT?P#>4E@,АUF<;^74`"x0""H6 J% CАV]&!>uNK1$@B4#/\msz!G6]|2@'f_equalVV[W,v8Щqz0iC+?@(f_equal2(cccc  ?$xyz{qojca{yPGr@>u:Sw{۩rЩٰPIv\ѩcZPRWlUSOU˷ŷ#s''L@(sum_sort`ķ^eBŠ@D@wpnjy }@G۷ ~zr s"H7B@D@#ͩЩ*Wȩ+-۩АX3) 搩䐷 "H86АYH$"©@C@!- '_0  )'3-Щa7+:&(    &=7(&!P""U'%  A?H@CF,IHcoerces_db,KS #31NRXᰩ=68Uڐ3@BbBZ@D@ 7Eb!:<H&igU@HESQ/H / (LZ6yRZD*: c?#!XPA8\Fbl6@DH?cqeej*LCuQst|Z}^~lecYVRI^B@w<c5װTB@D@d[pTRNgumdkO{_]Y{rVJȐDry]kieXFz@EکVnطǷl=!Cķ8of,tk*y/ )ReductionR@@$conv@ٷ ֩ B@D@Ǡŷ,ܷð])㩜@F(.5 94%#\ ZV|Rp!><$+J)^] SBK@D@ (+# Z-H_# i=; @G(-7ECij99>  mhGfdnmhZXSQJRHFCA@8$RqoyIYWvtx~@@A@0depth_coerces_db@!e&Lambda@@!Tڠ @@@!U !s @@!HB'Russell@@*coerces_db@ @.coerces_db_ind4.,&$%j$Init#Coq@@k@)Datatypes  @@#nat@!n ,J@@+@շSQ1JA?;Y@@B驜X@A驜5@A.%/#񜠠2@A)@Awu$m=o;q9sjhec -IHcoerces_db1SJAK?  43,"t0:3:"H0~k@@@B *-IHcoerces_db2xofpdЩ:4"t1\+"t2c  +H@@BB@D@MАQ@F;Z-#"H1B^@D@ЩIR ?lАS "!#tr"x0"H2АT.03=@B 0 /@@ .@B<&,E5`OFv   y  fw]{}c~zxd"s0@"s1gB @D@  \bkͩRF@Gfl~Bڠ@D@+"#ЩŰYgUw3*!+АV pÐ|2z 5,6*АW')}x2@CH~ovxzki r@C,IHcoerces_db\SJTH =<7@BB@D@of]g[ ')tkbl`ݩ@H(38uMxoym 2=Dt@D%#IDJ@CGQP@=0OMFQxw4R5\;BT@D@2@>T_76GE[fk M &@cn1@E"FTRxsyz跐߷zxj^{Met0*@@(@om@rpݠԷթ`FjxUB@D@ݷީCXOsAH]TK KIvep@F,NU{ja0.&'?(><8 {r÷?>BĠ@D@  r/Ԑu* @G,u|ِXVPNHOFD@?*@@A@.coerces_coerce@!e$@@"!T@@@8@!U !s @G@!HBb@@@ Ȑ"e0 @ˠa`@@@_ih@@^@] :9@@@/-71|B/@D@86:MLK@@J@$"A?C '"H0 @1coerces_db_coerce!/-LSNfd_]W^US@NTR\[@@A@9coerce_in_env_to_coercion@!e&Lambda@@!f !HBˠ'Russell@@-coerce_in_env@z @1coerce_in_env_ind(Coercion"@@@+)ڠ,@@@ @@/-@@Ȑ"e04@+]@@\@@@@ KZ@@@B@D@̩K@@@BJ Lڐ,"H0Ȑ!c(@穛ux@@t@p@AkjA/q"/IHcoerce_in_env@B   @@@A@;coerce_in_env_from_coercion@!eW@@U!f!H@@y@83@1coerce_in_env_indB@@@HC'%!t%Terms@@$term@!u !s@$sort@2%Types@@&coerce@akjeȐ"e00̠@@1coerce_coerces_dbomwvq&  @@%@   @@ @!n @@h%Logicՠ@@"ex@B@D@${y`$List%Lists @@$list@Bb dt4"H0Lw@E~@;@^N@]@J@ w}BƠ@D@[Yѩ;=ې"x0"H1@AɷʷéASCȠ/IHcoerce_in_env@B@ةȠ  @@A@,typ_conv_env@!eI@@G!te(@@]@!T !d876@@5B43.!f !HBFE@@ @;="H0AIȐ!c@,QPʠ]\@@ @5Z@,typ_conv_env,:8WUY^LJEC=D;90N@,@!<iBa@@A@/coerce_conv_env@!e@@!TĠ@@@!U !s @@!dB@@@@.coerces_db_rec4+)$"#!f0@@ @@  @@A&Specif Р @@#sig@1"d'u ߠ @@b@   @@ @E@&ԩԷig2aXV5B婜j@AHv!HH뷐"H0GȐ"t0f@ԩJ@At߷CA:3  =@A@A  N@AI <VTR"d1 &  $IHd1@ '@x 2  *omf_ -   1a   1YX  4V >J] [ 9^"d2  c@@ @B !  / N$IHd2@  W@ b % Z ]  @ aЩ    D c"t1&   56"t2- <  +8Ԡ wȐ"t3R  8    Ȑ"t4S  ( B    Ȑ"s0 ,   ᠩ  QʷװЩ zT АU"$Init#Coq@@@BB@D*$ 3 .  АV1#0 F@F#&<F f   ,1E h ̩@Bwv@@u АWA%_G ЩhEBY |  !x6"e06Ȑ"H1DAB Tr H{X Ȑ"H2V@BАX ^  ϩ[bd v P !! W0m ?NLE>Щ̰7 [ K!BЩа;Z` P KxBp@Dk$h Xb`YRЩ+ ɐYL!'WЩ0[Q e| өt v9Ywung թ}%B!=qnqА\itЩ"2M!H"x0/"e1/Ȑ"H3h )y!- Ȑ"H4eА] !^ !!Ȑ"t5v%^)٩* !p!u/Ȑ"t636_O8; !_!QUȐ!c@B4+E]!Q!&!$!g!!Π!Р1Kש֠`٠,:ذѩࠐa !ӐРАb-IcЩd21?!@ ,ݠ5Go!UЩp>K9=Y!堩O&wЩxFS Ea@ 3( !!USLMNOFD?!!!!˷/]@@(G!!!!ѷ !!!!!ة!!!!!طYTj!!!!!Ft@D}!@A8-+$Щy!%!*!!!!qiN@!;!!!"s1!!"b`|"]Ȑ"s2!""" Y"r!FPNG@"t}"B]v!MuBm@Dh"~_]VO"j"!QHls"%@Gu"q oha" Z~!"7khkBbmЩfF!!"Aa)_'̩TLg!"("G"Em"*ɩ[(S!"/"-"Lr"1Uig"&x"X|"*db/" _"Z"-3c" u"6"g:" p "1%"h" Ǡ &)"5h+""q"v2_ڷЩ6"Q"|Щ:#UB٠@DԠ+]ɰ©ЩI"-$L"ЩM(P㠩 "5p .r>Xܰթ!ԩy){9G'"ؐՠ ?gЩh65Q"f*d(M;Ԑr@$!""ܰAHRݐ${IH!""XC;@C@4$+5P^"e""""".BL?6(/-2ETc/8B8 Td '"ީАe@QlЩq K"?""rQv"Щ{ vN_""%$Y~'Щ(Vgթ=(444+""|z## #@C#IHdo@m@h_#"# VTMF#""#H"""#@?ٰ#"#?@B?;#'#0#/#*z#4"#(qoha#/"#-#3c""#/#B@D#9"#7~wp#@# "<#Br"# ">##F@H##"G#1 "## N#T""#R##Xxvtr#=#Xp@-coerce_sort_l#C##^@#G# # b#m#I# f#lŐ*##O}{##T##s#RҠ1##3##Z8#"#_#-:##S###c@D#7"#&#$###9B"#*#(#HH""#0Ӱ̩#`O""#͐ "#;#ҩ#Y"#?#"#A#?#64&-./ ###<@ @&########h###ߩްxF###!O@:##u# ###z#˩###|#.B&@DO!I###Ϸ####ک ####,T####ܷ%#########됷  ##q####M@######x$^$]@@*coerce_sym###$\#####$ #iȰ##ʰ##" ϰ##I##ĩѰ##$$;#@E##S##$$##U٠##*##`!jhaZ#&$,`^#i*#$0iieb##m#h.$d#o#j0#$4Ƿ`$z÷ba$=$;_Qd$!$>b$Iߩi$($Cǩ"$@@"@$1$/ɩ$$4$2$QJ@$!$X@$c$&$$ $^$$+$$b$$$-$$bŠ$ $h}ݩ$g$r$q$l$v$$9$($q$$$>$u#$$$@$VBР@Dˠ${$$"$H$$"$ $'$#$$$"$)$g֠$#$&$-˰ĩ$n#$-$+$Ð#$1$/$f$*#$<$x$$$z##!#$A$$}$°$##ܩÐ#$H$x$$ɰ$z#$Z$#$h3$䐩-7$W+@F($h2<$#$$$$\$$l@(#$$B*#$$RPIJKB@a@>$$$$Ʒ.\@,$$϶@) H$$$$$$|$$$٩ $w$~$$$ٷ[$$Aoz:U2Z$$$$)' $$$$$$!$$$$NBF@DoAi$$$$86/($$.$$$*$5$0$$$ϩLvAw?8t53p$>$9$$%%#rpnljfdPeNGbDBvy$@G($$R%%%%$ѩoRRNK$$V%M$X$%%%%%%$%@@A@@@%%}%|## 7 6`_  ݐܠ10KJ ې ڠwvJI[Z@@@@@0|¨i%ż=1C3 ʠ @0ݗ"YF^%7`2},Substitution'Russell&Lambda@0MiegL4-(Thinning'Russell&Lambda@055kCrU@*%0/{Pϓ9!­%0beӯD Ơ&MyList&Lambda@0 F1t"P$Conv&Lambda@0*}Q;<$: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>E&0KH!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㾠#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Ԗ'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ϲ/>CO0|GU-lȮm@07^kO(>=0֠ǿ/`U)Notations$Init#Coq@0JH.+UI(~@@)^#_420SYNTAX-EXTENSION@FF@F@F@F@@2_ |-- _ >>>> _ : _F@F@@!G #|--@@!T $>>>>@@!U!:@A@!s@@A@A@$|-- B@% >>>>A@C@A@": D@@@@#_43]@\2_ |-- _ >>>> _ : _S%@#_44(NOTATION@@!G@@!T@@!U@@!s@@@'coerces!G!T!U!s@@2_ |-- _ >>>> _ : _)2G |-- T >>>> U : s))INDUCTIVE@@A@)֠)Ơ)Ơ)Ơ)Ơ)Ơ)@@@#_45)IMPLICITS&AA@@@@&@@@@@@ A)ِD@)ڐ@)ڐ @@@B)ƐG@)ǐ@)ǐK@)Ȑ@)Ȑ @)Ȑ@@@@)@@@@@CC)G@)@)K@)@) @)@@@@){@@@@)aO@@@@rD)RE@)S@)SF@)L@@@@E)9E@):@): @):F@@@@F)+G@),@),H@)-I@).J@)/@@@@@@@@@@#_46/ARGUMENTS-SCOPE@'@@@@@@#_47 @'@A@@@@@#_48@'@B@@@@@@@@@@@@@@#_49-@'@C@@@@@@@@@@@@@@@@@#_50E@'@D@@@@@@@#_51S@'@E@@@@@@@#_52a@'@F@@@@@@@@@@@@@@)\(CONSTANT*@@@#_53O(@)jO@@@@@@@+%L@)k@"t0 @++@@@@#_54@$@@@@@@@@@@@@@&2?>@;#_55(Q@&;@@@@@@@+_L@)@"t0 @+e@@@@#_56ݰ@$@@@@@@@@@@@@@%(yx@u#_57à(@%1à@@@@@@@+L@)ߐ@"t0 @+@@@@#_58@$@@@@@@@@@@@@@#_59@2_ |-- _ >>>> _ : _^@#_609@@!G@@!T@@!U@@!s@@@(@9876@@2_ |-- _ >>>> _ : _,+5#_61(AUTOHINT@#coc(@A!1!2!2!3+A @@@@@@@@@@@A@@Р@@@@@@A,,@@AB,,@@C,,@@D@,AB,C@A@B@C@ABC@ABC"ABCD@A@AB@C@D@ABCA@A@B@C@ABC);@G!5+!6!7+ˠ!8!9"14BVQ@@@@E,@,?@@AF,>,=@@G,=,<@@ABH,;,:@@I,;,:@@AJ,9,8@@K@=EHFJ@E@F@AH@J@ABC@ABCL@,A  ,@ @E@H@J@ABC@M@,E,C@E@F@J@ABC@AN,E,D@@O@$,D,8$%GIN@E@G@ABH@I@N@ABC@P@,@,?,>24,<@E@AF@G@N@ABC@Q@,A,@,?@A,=@E@AH@I@N@ABC@ABCDEf4EFGHIJKLMNOPQ@E@AF@G@ABH@I@AJ@K@ABCL@M@AN@O@P@Q@ABCDEhg,\gD,ZjED@E@AF@G@AH@I@N@ABCD)@J"18,"19"20,"21"22"313C@@@@R,,@@AS,,@@T,,@@ABU,,@@V,,@@AW,,@@X@=RSUW@R@AS@U@W@ABC@ABCY@,  , @R@U@W@ABC@Z@,,@R@S@W@ABC@A[,,@@\@%,,%&TV[@R@AS@T@V@[@ABCD@AB]@,,,34,@R@AS@T@[@ABC@^@,,,@B,@R@AU@V@[@ABC@A_,,@@`@,L'_@W@[@_@ABC@a@,U0 @W@[@_@ABC@ABCDEz@RSTUVWXYZ[\]^_`a@R@AS@T@ABU@V@AW@X@ABCY@Z@A[@\@AB]@^@A_@`@a@ABCDE,Š], ^6@R@AS@T@AU@V@_@ABCD*@B"34,"35"36"37,ƠD@@@@b,,@@Ac,,@@d,,@@Ae,ݠ,@@f@.bce,@b@c@e@ABC@g@,䰩,,  d,,@b@Ac@d@AB@ABCD+bcdefg@b@Ac@d@Ae@f@g@ABCD&%,&%,@b@Ac@d@e@ABC+@B"40"41-"42"43-#TE)$@@@@h--@@Ai--@@j--@@Ak--@@l@.hij-@h@i@j@ABC@m@---  k--@h@Aj@k@AB@ABCD+hijklm@h@Ai@j@Ak@l@m@ABCD&%$-(%-'@h@Ai@j@k@ABC@#_62@#coc+y@I"46"47"50"51F@@@@n-N-M@@Ao-L-K@@p-K-J@@ABq-I-H@@r-I-H@@As-G-F@@t@-Gno-Hs@n@o@s@ABC@ABCu@-L p-L @n@p@s@ABC@v@-Qq-Q@n@q@s@ABC@Aw@-T"r-T!@n@r@s@ABC@x@-X,!@o@p@AB@y@c5)1@n@Ap@q@s@ABC@z@-Z&@q@r@AB@ABCDE^4nopqrstuvwxyz@n@Ao@p@ABq@r@As@t@ABCu@v@Aw@x@y@z@ABCDE,`_>\@n@Ao@r@s@ABC@#_63@FF@F@F@F@@1_ |-- _ >>> _ : _F@F@吠!G#|--@@!T#>>>@@!U!:@A@!s@㠠A@A@$|-- B@$ >>>A@C@A@": D@@@@#_64?@Y1_ |-- _ >>> _ : _P$@#_65@@!G@@!T@@!U@@!s@@@*coerces_db!G!T!U!s@@1_ |-- _ >>> _ : _/1G |-- T >>> U : s'@@A@''''''''@@@#_66ᠡ$ࠠ$@@@@@@ A'D@'@' @@@B'G@'@'K@'@' @'@@@@'@@@@@CC'ʐG@'ː@'ːK@'̐@'̐ @'̐@@@@'@@@@'O@@@@rD'E@'@'F@'@@@@E'E@'@' @'F@@@@F'~F@'@'G@'H@'@@@@@@@G'lF@'m@'mG@'nH@'o@@@@@@@@#_67@%@@@@@@#_68@%@A@@@@@#_69@%@B@@@@@@@@@@@@@@#_70$@&@C@@@@@@@@@@@@@@@@@#_71<@&@D@@@@@@@#_72J@&,@E@@@@@@@#_73X@&:@F@@@@@@@@@@@#_74j@&L@G@@@@@@@@@@@'@#_75P.@'P@@@@@@@@)fM@'ǐ@"t0 @)l@@@@#_76@%@@@@@@@@@@@@@@$RBA@>#_77.T@$[@@@@@@@@)M@(@"t0 @)@@@@#_78@%@@@@@@@@@@@@@@#7~}@z#_79Ƞ.@#@Ƞ@@@@@@@@)ސM@(?@"t0 @)@@@@#_80@%@@@@@@@@@@@@@@#_81@1_ |-- _ >>> _ : _@#_82@@@!G@@!T@@!U@@!s@@@ ֠^]\[@@1_ |-- _ >>> _ : _21Z#_83@#coc'@@A"59"60"60"61 A@@@@{*Q*P@@A|*O*N@@}*N*M@@~@*N{|*O}@{@|@}@ABC@ABC{|}~@{@A|@}@~@ABC;@{@|@}@ABC'@G"631"64"651ʠ"66"67"72!OBUP@@@@**@@A@**@@A**@@ABB**@@C**@@AD**@@E@=B@D@@@@AB@D@ABC@ABCF@*  * @@B@D@ABC@G@**@@@@D@ABC@AH**@@I@$**$%ACH@@A@ABB@C@H@ABC@J@***24*@@A@@A@H@ABC@K@***@A*@@AB@C@H@ABC@ABCDEf4@ABCDEFGHIJK@@A@@A@ABB@C@AD@E@ABCF@G@AH@I@J@K@ABCDEhg*gD*jED@@A@@A@AB@C@H@ABCD(4@J"762"77"782"79"80"89"C@@@@L**@@AM**@@N**@@ABO**@@P**@@AQ**@@R@=LMOQ@L@AM@O@Q@ABC@ABCS@*  * @L@O@Q@ABC@T@**@L@M@Q@ABC@AU**@@V@%**%&NPU@L@AM@N@P@U@ABCD@ABW@***34*@L@AM@N@U@ABC@X@++*@B*@L@AO@P@U@ABC@AY++@@Z@+L'Y@Q@U@Y@ABC@[@+U0 @Q@U@Y@ABC@ABCDEz@LMNOPQRSTUVWXYZ[@L@AM@N@ABO@P@AQ@R@ABCS@T@AU@V@ABW@X@AY@Z@[@ABCDE++]+*^6@L@AM@N@AO@P@Y@ABCD)@B"922"93"94"952Š"D@@@@\+Q+P@@A]+O+N@@^+O+N@@A_+M+L@@`@.\]_+Q@\@]@_@ABC@a@+U+T+S  ^+S+R@\@A]@^@AB@ABCD+\]^_`a@\@A]@^@A_@`@a@ABCD&%+d&%+c@\@A]@^@_@ABC)]@B"98"993#100#1013"#"E(#@@@@b++@@Ac++@@d++@@Ae++@@f@.bcd+@b@c@d@ABC@g@+++  e++@b@Ad@e@AB@ABCD+bcdefg@b@Ac@d@Ae@f@g@ABCD&%$+%+@b@Ac@d@e@ABC@#_84@#coc)@F#104#105#107#108#F@@@@h++@@Ai++@@j++@@ABk++@@l++@@Am@+hi+l@h@i@l@ABC@n@+j+ @h@j@l@ABC@Ao@+İk+Đ@h@k@l@ABC@p@+Ƞ"@i@j@AB@q@U+'@h@Aj@k@l@ABC@ABCDEI(hijklmnopq@h@Ai@j@ABk@l@Am@n@Ao@p@q@ABCDEIH1E@h@Ai@k@l@ABC*;@F#114#115#117#118#G @@@@r, ,@@As,,@@t,,@@ABu,,@@v,,@@Aw@,rs,v@r@s@v@ABC@x@, t,  @r@t@v@ABC@Ay@, u, @r@u@v@ABC@z@N$# @r@As@t@v@ABC@{@,@t@u@AB@ABCDEI(rstuvwxyz{@r@As@t@ABu@v@Aw@x@Ay@z@{@ABCDE&IH1E@r@As@u@v@ABC@%Ġ b a@G#_85 2u@% @@@@@@@@%ҐM@%ϐ@"t0 @%ΐ@@@@#_86 @%@@@@@@@@@@@@@@#ޠ  @E#_89 ꠠ2@# ꠠ#ސE@#ې@#֐ @#א @@@@#_90 6@@@@@@@#_91 ( $E@$@# @# @@@@"  @A#_92 22@" 2"E@"@" @" @@@@#_93 ~@@@@@@@!  @A#_94 ^3&@! ^!E@!@! @! @@@@#_95 @@@@@@@ r @@A@ w h f f@@@#_98  @@@@A uE@ v@ v @ v @@@B mE@ nD@ o@@@@@#_99 @@@@@$_100 @@A@@@@@@$_101 @@B@@@@@@ m  @ $_102 렠3@ v 렠@@@ ϐF@"e0@@@@$_103 3@@@@@@@@$_104 @#coc *@B67#289#28767#288#287 K@A  @@@@!!@@A !!@@!!!@@"!!@@#@! !"@@A @!@"@ABC@ABCD В !"#@@A @!@"@#@ABCDM!&!%!$!#@@ @AB!@C @B6Ⱀ7`#294#29267l#294#293XB L G@@@@$!M!L@@A%!K!J@@&!J!I@@'@!J!G!F&%@%@A&@B@(@<$ @$@%@AB@ABCD#В$%&'(@$@A%@&@'@(@ABCD!]!\![!Z! @$@%@AB&@C@ d  @@$_105 ̠4@ n ̠ lF@ i@ c @ d @ b@@@@$_106 @ @@@@)nat_scope@@$  @@$_107 4@. ,E@(@# @$ @@@@$_108 K@@@@@@@  @A$_109+4@+E@@ @ @@@@$_110 w@@@@@@@  @A$_111W5@WC@@@@@$_112 @@@@@ . -@A$_113y5A@y C@ @@@@$_114 @@@@@4 P O@A$_1155c@>