^ CAР*Conversion(JRussell&Lambda@B*Conversion +conv_in_env(4@@#Env&Lambda@@#env@@ @@@A+conv_env_hd+conv_env_tl!e!t%Terms&Lambda@@$term@!u !s@$sort@@%Types(JRussell&Lambda@@&coerceADCB'AA@@BE G$List%Lists#Coq@@$list@BEFJ)!ej!fn!tV@776+%_<>)c@AB@@mFD@@@@@@@BAFBD@AA@@@@@@/conv_in_env_ind@!P@~@@@A9 !t@@@ @@@@@A@A@B ~}|{@@z@B/x 1z87B:C75@B@@@@F!HB@!FVaWb!c Ő`kal @@@BDitju@JРp{omgnfe!jduVLܷ{~{y&DI㩐H搶@@"@|@zz쩜~@y@"!'+,Ě϶ƚѶp2-54@ +g() ,I'(*()="> 3"# '>#' Q''+g() %'+7Sg +7S'+ 7!S'%'sAp@@@@,ind_conv_env@]\[@@2typ_coerce_jeq_ind!ee@@!tn@@@!T !H!@wButo!f@BȠ@@@u|w+)"!U%!s(@@" @9@uwA?8!V;5<31A0J@4N=2$List%Lists#Coq@@$list@AWȐ"H0@@BDigjh@L@%Logic$Init@@"eq@x'@ {gǩw@AS@BX@A࠷b`1L뷐"H1"H23P@BU"H3= "PC@&eq_ind)"e0$List%Lists#Coq@@$list@A@B@D!ly@ǔA'e@%False@@Ϸ@ k@$True@@A: r@)False_ind>yF3^Kub_p9Zܰ gufఐNzrMNmE4~LhuJ;[Uc "f0 jiyp np·wutubk||Xh fA\@D[yRNHRE)ʩ vEЩk@˰9@ΰ<(@AEG.H7@fBDPNQO@@@٩>א'@C][VTU0.ηȷ·QghA@D]}ɐʶ|xb$t{yrzuspnjm!fA@Dݠ7d,bx: 0`|> ^@\@ZBXki @$EF@ĠBD@E@C (;@;@B)DatatypesOh@@#nat@A@$lift@B%ѷ"t0̷Gͷ"s0CH=B4o<<[M"H4:ҩPy@'f_equal "e14A*@D)''Hh,*K@TOS/lfEA;@D:8Yy=;aez}gPg] @H*R4v#=x3 +:Qpa^Ua|cfdOİ2,>SO%[а>8-aB< GET`-6$+8( >٩Ԑȷ"H5Bo<EBMW7ݩPBC@U@A ZAA J*Q_ANO/V @&sym_eqivtԐՐֶnΩ|~||ʷAҠ@D}.Aݠ@D;ʩ@A$ D)0?ĩ T©!9@/"O+\ʩ)> ϶:Z/Ltaϩc1W1PdR3f567LΰY.@{H$5@ذK8)&bG?&˷"t1J[m@z[fq꠩hZao@(BD@@qt!@dUR%WT(th "t2OG*$J2gG3yAo@DED1CͰpW?7T@A|@DA@>>O;@>CA@ްcV951<-YX3 /+(dð^hǰbWnlЩ(8Sɩ\Q^"0 d&"H6f%`iBD-*5 7ڐ۶s(ĠTm$ϷAנ@Du3|A@D @D'jl s! ¶&yM"t?NTV$J$CWE& '(6J S@lک9@ɰ<6B/a߷"s1QO!M跐"s2÷"AQc@ܠJQ\MM[i@䠩b[byQl,aBE$k1mh\bs7q@B%v<qx  !v "Ur Wu%@FѶ2@0 8(BF{GE>_B7By75O@3>ƷMe&[CƷĶA[@[>U=JX@%substɶMg@KsVɩ ැ"s3AD~@(sum_sortͷ^xҩ\hѩhBG4m[ urSwԩڠ_gc©7~@|dBH*b.0{QCA' !5BI$:թ42 !@!B#"Ƿé&!wͶ@-&-/~˷55'.[yڶ@3ɰ:<bKBJAX C>7EI^GcI`D!߰RQ@GUP@éZ8 P^O[BKeTCYȷ  =BLraPfշJ{zy  @ ~\r!csxʶ+@)x/L53!A.!B1  !j,%?@{)CAIG@A&:>E"s' K=;U@=W©;Ts@yBDcadb@@f©Ű`q@5Qumfg@ڷuԩ԰od$gީ}~A@Dנͩ|<ߩ>AǠ@Di@)-D{fwנԐZMH4*V:ڶRv roU= "CΩ9Zna~4hcکvfElFl@B 'qn[yAܩN]<K-Ѷ$ͩIlɷηϷȷ4ŷ+fé3^̷Ʃ=#A@D6+l<uЩH߷.A$@DA%AKJG>@)i̶EYA30DҷwK2շ53?c; Z9QAhdSL B5dEfI3ghv\@ @wS@z94tߠ!mD޷&$"A'!"B'$ i2@n0"۶"<@)?n,G*D@1U"c0Gpf7Q@5N_"b]Ef|#C]@AZX=NZdDQưasDnQk@OͰhf9Ʃ\hYs W.̩c@C43DhVqmȠiYnשѠ}=o_?ݩ WUfda_k\z@Ea b9^ZXNlTi@NLJB>#s''{֩: ǩ=& _K @D@Pnr<ޠ:GXmZ7'%u'"((ͷƷ!Pɷ"U'̷43-ƶٶ@79שɰ.@ΰ?VѰY6R@װ<_pQ@ܰM uM멜@GT@Hz@F ^$`&G{6:ihg@թlJ` 53BO·@vǷ }j"@{( 52DNש@E IS>Uvt B;923  ,%?=L{EC<=!C@%;4N@L <V@T#@Z"H@HcauZ!N]2^,"V2a<:e Sm @BDusvt@ @@2_]Ϡ{tuN.qAĠ@D A͠@D @F}WyLI7׶Osol R f [X7B ]ZGe-  &5  p3V.# A@D  R ",÷A@D % % ,) ܷ˶@%9!"U)A8/Fީ @/ܩy pd >] !  ? @Nb4i@ض@ N ,Է#"V'ɷ ʷ G 6 Zc@ ]w L"j0 Q VϷ @ b izYAB$ p, _ rUS3 ߷.,*5"M'#%  ~ a*@   ~ 0ɩAC, ?@WN   4E &4 G  w  CA: ;W<"=      92L@J   $  J"N'MS  ʷ@Z@>t    vF`NAD$ }&  $ig4`9dзYη5d|=ڷطhu]  ·޶[u@u$oWd ޶b|@i  fکdy ٩pAE, ~  vi    Ƞ N^ldZX`niU   =@_1ps/    AF,  ( !         |&z"] O2"u'"j1 # ҷ3ʶ@ # *  ,ȷ"v'˷"j2 3 .x >ܶ@ 5 < 0 > Xٷ>Ƞ =AGD Gڠ I DO M O J p  | i - C"t' M [ Z  @ ^ M < AH e | T C Yȷ   %ݷ tr  @~|b    o0  @w  y {(  + x     &@\   ɠ uL  , AI4  <SJ   N  7 5 0 .@ / 0 1> )< " < *AJ    {  E C <]  @ 5 @X x   FS862 I12. : Tܩ BAK4 G5d{(   t  ] [( T6 U#      O H b@ F    / ^= _e #    R l@ԩ (    V p8 ^AL   6  Է y w pE q t f i b b |  C jAM   @   |" }R ~L B v ? o  *    J   ,  ] W M      | @ R     U     =  @ Z    ڷ   j AO  0   f   H x v   ~t j       @d  )    X  @c   &a AP   I 6 3 7 V@#and@  ɶ  ¶  ö@     ϶  ȶ  ɶ  @    Զ  Ͷ  ζ  ϶@  @@A@-type_conv_env@ u t @@%proj1!e  S@@ !t u \@@ s@!T @ j i h@@ gB e d _!f@B  v u@@ @ e l s g u7@V@20") + -@ @@'@    ">@  h   j  FD= ?9@@7A    2N@  x  0@ SW@@A@/coerce_conv_env@ ߠ ޠ @@j!e  @@ !T ޠ @@$term@!U !s @ @@ ڠ ٠ @@ @    ϶!f%@B (  @@ '@  ܩ    42#+ J-0.@A    <@    󩚰J@%proj2GE ?B@@0B   +N@)     _@@['0@ Ð^@@A@,jeq_conv_env@ O N g@@*!e b ,@@ `!T N 5@@ L@!U   @ I@@ H G F@@ E@ D C B =!f#@B  T S@@ @ - J Q / E S20")!V,/-@A ^ ] \ W;@ ` > T bICA ;><@.B l k f)J@' c j q e s[@T@W%.@ /(@@A@@@ Ǡ ő Ġ / . ; :PO蠠|{@@@@%Basic(JRussell&Lambda@0s տ>c.3 0/t)>ye,ܠ 0beӯD Ơ&MyList&Lambda@0 F1t"P$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>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㾠#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Ԗ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Ȯm)Datatypes$Init#Coq@07^kO(>=QPi@0֠ǿ/`U)Notations$Init#Coq@0JH.+UI(~@@vt)INDUCTIVE@@A@zdbb@@@#_38)IMPLICITSpAA@@@@u@@@@AsE@t@l @l @@@@B8D@9@@@@@#_39/ARGUMENTS-SCOPE@@@@@#_40 @@A@@@@@@@#_41@@B@@@@@=(CONSTANT@@@#_42a@Ka@@@ϐF@"e0@@@@#_43E@@@@@@@@#_44(AUTOHINT@#coc@C!2!1İ!3!1&A @@@@@@@@@@@A@@Р@@@@@@A@@AB@@C@@AD @@E@ ABCD@A@AB@C@D@ABC@F@  @A@C@D@ABC@ABCD1ABCDEF@A@AB@C@AD@E@F@ABCD`())+@A@AB@C@ABd@A#^!9!7/j!9!8Bkf@@@@G-,@@AH+*@@I*)@@J@1GH@G@H@AB@ABCGHIJ@G@AH@I@J@ABC;:I:9@G@H@ABI@C@4@A#_45K@>K@@#_46!@ @[@A#_47`@e`ZD@W@R @@JF@@@@#_48J@@@@@@@@ 21@A#_49@* E@@ @ @@ G@@@@#_50}@"@@@@@@@@fe@A#_51à2@à䐐E@ؐ@ @ @@ӐG@@@@#_52@"@@@@@@@@@#_21-RESERVED-TYPE!i @@#@#nat@#_22!k#_23!m#_24!n#_25#!p"#_26)!s(l#_272!A1#_28;!B #_29A!M#_30G!N#_31M!T#_32S!t!#_33Y!u'#_34_!v-#_35e!edԠ#_36n!f #_37t!g@zĠϠڠ堠 "-'82C=NHYSd^oiztƠѠܠ頠 '4,A9PF_Und}sɠԠߠꠠ '!2,=7HBSM^XictnyƠѠܠ砠$/):4E?PJ[Uf`skvp{ ˠsР@IYcmwV@089,,Xs