`^-Р(Coercion'Russell&Lambda@B(Coercion -coerce_in_env(4@@#Env&Lambda@@#env@@ @@@A-coerce_env_hd-coerce_env_tl!e!t%Terms&Lambda@@$term@!u !s@$sort@@%Types'Russell&Lambda@@&coerce@DCBAF$List%Lists#Coq@@$list@B7E<!e\!f`!tH@5@.A&R./@430/[9$3_=>B@@iEE@@@С@@@@BAEBE@AA@@@@@@1coerce_in_env_ind@!P@b@@@AC q@@@ @@@@@@~}|{zyx@@w@B#u %w+*5-6*)@A0@B@@@@GH(C B@!FP[Q\!c Ze[f @ @@BDcndo@Jʠjuihbia`]Kӷr}u~rq!wJ&DܩIߐ@@~@|񠩜v婜z@u  @v@po ƶȶm%$#('@ +g() ,I'(*()="> 3"#'># 'Q''+g() %'+7Sg +7S'+ 7!S'%'pAp@@@@)conv_item@!n)Datatypes$Init#Coq@@#nat@ @'nat_ind!t%Terms@@$term@!e@@@@)item_liftonp!f@Bà@@@}{%Logic87@@"or@u @#and@!g.@&MyList@@%trunc@DZ@BK*@"ex@S!uV&G \@$sort@!sˠʠ@@@#ķomec!H`˜@AR@'ex2_ind{(|Y@"eq@ݩ@$liftC6P@$item@z@xo#fb@`bQMq2K!x"H0/"H1$  =@(eq_ind_r41@sM@?AA !{ʷw˩'*\uqvo-/,Ȑ"H2&MyList&Lambda@@R@BADBD!l$List%Lists@@$list@@iKNM@zRs@}U@T۠ﰩ}Ԡ@ Mc fࠩlǠrLtu;9J<=@B&k~ݷ"H3?@&eq_indK2PN  @9 1@?42'"Eq@@eBDB@CA@3@԰G1T9@ٰL4H٠֐N.*V@(dݩCfO-i_©kl<]U#kΩPР"e0q"t0, %ܷ^ |fΩh."H4ow$q@'f_equal"e1$List%Lists#Coq@@$list@A@B@Dah< 7l"A@DvwŐQ JʐR̶@Q_iDTǩd[r^1RȰYVVSl׶@^İW @cUD߰JTQvsXS'yv^A2b2~ ?Q,?s꠶@;Ѡ !֠ɷʩ0T9ߩ @BJ6qé.@<>at@B8dDE6(K0ةΠk#@A!M3 &Lambda@@ @AAECD{y@.j¶@@˩Or\y@*<xWzZӠW ܩbY"H5 Щb)Datatypes$Init#Coq@@#nat@@@A@DA~@$True@@@%False@ @A'@)False_ind(8F0;mC!kѷDٷ"f0ܷ"x0ķ"! <LީEFQHѐ]M"H6YRiEBM@C@D9];\=grtbmʰh̰aunͩP}qװ`u=ݰکli#Coq@@@Ad@Dcfb$"g,@~0{1Ao@D\q[b^y"$c(&@D/WG/%13bi Q_ T?WUh>4lð\۩^̷a_ G)!J[ө@BO14+@&sym_eqo99q;\ѩX4ԩ o6#_%aک@c@|@Jms{@˩6rQtͰ@A٩3@A@ 4wV=0,1*Fv%Logic$Init#Coq@@#ex2@CC@D@|@@Q)"%T7c9ϐ & -?@Ad<85V:i3[NdKh:@Ak@ In>E(Thinning1e@@1thinning_n_coerce$Mc]@AbV3yABg[|@-coerce_sort_l l`= =uw?ABCD3Iˠ߰pm/Ġ@sٰ2TwWѠ]c.deiQ=Apqvu!|fOAA@D~|zxX$/%A@Dvusqn 6l97@k0=xi,Bɶ);*"6W֩A@OQtST$En ۠d5}~ݩ[EhvWJmGTU+hRuJlomS`aYm0 PLx@773W</+0)1}+kxr@Az*mi@gHXTx;aTPUN  b:h6e/HީEOvؐ4{~IFgZŶ@Lo-P0ٷک˰6gk~<a^=>,B@lߩɰg1@q̠oà@rQtTΠZ}`abeji/-"n0)!yDut9 y{7ߐC*HFB\3@Ʃߩ0@ӷSukVW@@D@\v@2cީ+ H@Vϩ5X=[@BT;OI2.Z@,h.jélm=^$j@϶@Q@a1שZn:SO{@MO>:^E8492%T',V20U-)i\&  @t@zu©~A!yȷuɩ%'s(η#&F+-ȩ"թS2ض@ʰ67f׶@dA4H NQ' BBD@ @@[@ߠĐƐܠ@ΐА nԐ֐WuϠ{֠ɷʩIGDSMPNJI@5 1@?-)#İV[YҷZ@@D]@3e,M!I@WE6YC=wu"n1qH^8FDکw@;@>XF<@:K_02HDp@B~:<کH@B~;7[|tB516/s# @@DXs%,x$@3.4L2~@|4Jxzcs·oéAzmingo%J &E G@BD̷ͷ@@^6eԶ@c;{Ұc t@p԰O3VР\??b!cc  DT9Ax@Dwzvt%`~Bb +!A@Drqo2h4 6q97@UHh2k`i/N[OA@O  d2Ux[W=] ^.O ީA|gn7mWzOq[~vt _sD@VR~@=P5?;_BF95:31 6+O]_o+.ws@qi ub fb vob^c\ ?tQ ŷrƩJF "w˩A %SW0F@BZ[w ,df . 0 1 2O̰]ݶ@}ΰ, I&  Pʠ V  \  ]H}8"H7K~ 0{ yAo@Dn qmk sAx@De zdb }%`(&@M oߩ(@6ߩ8Q : @A2  Ƞ- "j]mkEհH2UwxʩD7Zh/PS=`v5WZXީKLDX ;7c@;5q7  ʩ$s tDe  +  3 շl-g _@&or_indwFDq\X@VA X;7 GCg NA=B;C I dbxt@_rWS c_ hl_[`Y W 7+ r@e $~ͷzΩ *$yxtyr 0 /aٷک^<Z 6ߩU 9   ةZ ?©4miep Lk Oְ4  SHyv{d̷    ] bV  g   % l        tِ  y)LiftSubst @@*simpl_lift )  -] . -  Zpn @'and_indж  ,@ :   <  > ?  0 % Ơ+ vy N O  @ /  [  4@&ex_ind ]  ^ . O a      U  7 3 _@ 1 mPL o' ǩ 5 qz ʩ $ s  t D e ЩW z{ -   !   ׷ u#/ M y@ K  C Efk F  T  L Ngt %  J  F  j  } X S F B G @  #  q $Ȑ"H8RALCD  ķ̷ͷ@K@ 8   r tk@ @  @M  é  n P E "R# Q  \  h"H9 [ 2 ᷐#H10U   oH S@I@DH >EA<1 A@9 n  1.6, E G F4 v "f1 "x1 M2# | 0  l$  { #H112 `u  r !}@s@D0 h / Ʃ ͐ ϐo p  ,  . ֐p 4 2C  <6  #P3{1  ' 㐩 吐t  .i5ɷT  Mq  4C R R S4A@D  Q   Y k ] B ^?A@D  - & I  Ͱ K   Mz P N@ Ӱ l 6M(  U v N  Z  w > ac=   j :   d? 0 l  bh. B   ǩ 7 sm ˩ ; w 3u| 0 |'^©  c/ c/  e  1   ڐ  4  k ݠ  ޶* M  Eq j  *@  @   r _@( \  T V8 { h  * ө, ' $Init#Coq@@ z@BB@D@   ĩ h [ W \ U  83  o  k    .1 v i e j c   # H $ $é  u q v o / RD .2@ @BB@D@     } ' ` <      ذ C ʰ        X M r^ N N z    ̠_      \ O ]   |  `   #R      h [ i   iv       t     w Ҡ ŷ  Ʃ 0 |{C@D@ +  ,  .     1  3  Vϩ 5  6  8   75 "x2 >k  B  [ D  E ɰ G E Š     N  P  / R4   T ҠZ  W ۰ Y ש נ  0 ] ۠e  b `  b   d  G l   j  pl{ U © K ũ  n   q u s   ϩ$  - y   Z {        9~`  ٩L   2    9  ;  9     G  + v    ! H   Ҷ Щ r     k g @ e       i  a c   \  X  |    c V R W P   3 2 Ҷ@ < @ ?     - ;   @      ɩ    g &  Ϸ | Щ   , w  z v { t s 2 W  3 4g i       ;  < ; @   ְ dϩ   @     )  K   | N     Ƞ  T         Z Y@@    @ 堩  )  i' ޠ  @  )  l   Ґ n q ˠ    렩  w d2 Ҡ ŷ  Ʃ  z }   ~  >%     B @ /@@A@/double_conv_env@   @@5double_typ_coerce_mutP!e ۠ @@ ٷ!t Ǡ @@ @!T !H!@ B   !f@B Ơ @@@  @A Ʃ   0. '!U*!s-@ @'%@    ׶$>@"  ۶@   =  ˷GE!w! 1K:/  跐"H0*>BA  YW?YH 4HBB  ca!n @@ @^e!iq@ [ud7(P @@&or_ind  @ @ @ 1@@ @/@B  T1  "6%@ @  4@C  svtp2F EI@BJ9"H15BCWU RT9 BQ@D@=:¶@9, _;5 ad.÷+ĩJ^jW Ʃ5mp o^*  s("H2Cط@٩_s} J   BT@D@SPo  ǩZ·é   O  !x' B@D@ ԩpط٩   ϩe ; : "H3~  E B@D@  _ |  cŐ"x0 Ȑ!a?@+coerce_sort _ ҩ& cԩ6@Aܩ- j (%Logic$Init#Coq@@#and@B@D@Ϡ? NC  5E @Q )"H4"H5Q L 2+VBL$ JR. O 0l U@ mzxjq"s1GwiCpi@g@^q#K!M]"s2["t0$List%Lists5@@$list@B=#T@f{C%"t15K@~ O@Tuީ V^AB_  a`_2 eBD$k   mlkʰ= q@B v susa uܷ!v׷!VڷϷ˷Dݷ"UrXհ@Fw@֠@ϩ Iߠ#ةBE֩  ַm~ö@ @ַ:rwl @pE"t2 _@%subst"Q.@ ˶@   ]"s3F@(sum_sort $8ٷ&@*$ݷSة #F꩜;BF4T  ! <  +ŰT АU YdbT[/_T7_3ةUְefUo@Sݰlj1[uzPaCLvSvGkBG  LA"! {~  & ( %'%~Y~a]*E&^`c\52} 6v<  ǩs>=<{ BBH$H  uJIHj N P MOMK:SR|@C@_\@aL 64hRe@BҶ@jo@°t_ ٷ'Ʒũz$ذ|{zMBIsXe@G@@ک W㩜BJ    3 e񩜠BK A &@@#·'0@>@ *!09@ֶ@):!c <ͷk.H@@#s 3M715*$/8%OOXV!AQ'%U޷JڷC]8L@A]^ge^!Ba"A'd"B'g=;/8  b[u@b@P>r6tfr'.d~@@Yl?CoWBӶm@@bu'éOJ"s'["c0Zi`T1@}z8@xf=}(Q@xPG@LSqX.V@%uV@[b4^p]"H6Ȑ"H7 gnihgȐ"H8oVc@t@B4cW f|{h~}j PnАXqᰩWuw  ÷@@ةsRxѷvt2C0 @lrgokb^#s''ⷐ"s0 G`^gUߩ#Y^nːYѩ ̩ -ҩ"@C@Z R_i٩ΰ۩ z= ̩qА[Feթz gFSQ"J!PM"U'P JC]@@8&Z\Nϰ^Nh@L@EX dUo}J[F@ Jn%QtNi@DJS>" }N"$P!#!Y48JS+*)Է}v@R@kY0,ڷ615ηK@ 8:@z?طEf署@-coerce_sort_rJk[Ω@EP|pT;ȩTQSQbS!C!D\KEƶ@@fC:ex϶@Զ@o*O$ض@?@ưxQɰ@@ϰ )Reduction@@$conv@*b-Ƿ߶@۠@ԩⷐ"c1:ੜ@F4ש6p   @ @ᐐ@@A@,typ_conv_env@FŠ@@%proj1!e@@ !t@@@!T @@@B鶐!f@B>@@=@@A20")6+5-@@@'@   ">@  @ q#@J@@A@/coerce_conv_env@"!@@%proj2!el6@@jW>@@$term@!T @MLK@@JBHGF!f@BYX@@@@S@AY\XG20"*!U-!s0@w@@)@mlkj$@@"ln@ so^%@@@A@*coerce_sym@!e @@!T@@W@!U !s @@!H@@@@*coerce_ind0+)$"#1/!A*!B2@A$@A÷ECEh0KH!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Ԗs0ف.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+*)@07^kO(>= x0֠ǿ/`U)Notations$Init#Coq@0JH.+UI(~@@РΠ)INDUCTIVE@@A@@@@#_40)IMPLICITSAA@@@@@@@@A͐E@ΐ@Ɛ @Ɛ @@@BE@D@@@@@@#_41/ARGUMENTS-SCOPE@ @@@@#_42 @@A@@@@@@#_43@$@B@@@@@@(CONSTANT$@@@#_44e8@e@@@-F@"e0@@@@#_45E@@@@@@@@#_46(AUTOHINT@#coca@B$Q!3!10]!2!1A @@@@@@@@@@@A@@Р@@@@@@Axw@@ABvu@@Cml@@Dlk@@E@iABCD@A@AB@C@D@ABC@ABCD%ВABCDE@A@AB@C@D@E@ABCDRpdba@A@B@ABC@C@B!8!6!8!7B]X@@@@F@@AG@@H@@I@HG@G@AH@B@J@#_291!A0W#_30:!B #_31@!M#_32F!N#_33L!T#_34R!t!#_35X!u'#_36^!v-#_37d!ec#_38m!f #_39s!g@u & 1+<6GARL]Whbsm~xŠР۠栠 #.(3>8ICVNe[rjwǠ֠堠 +!60A;LFWQb\mgxr}ʠՠࠠ렠 ("3->8ICTN_YjduozǠҠEݠ⠠ $!-)2v7E<FAQK@à͠נE @0|¨i%ż=1C