.Р.PreCtxCoercion%TPOSR&Lambda@B.PreCtxCoercion 1pre_coerce_in_env(4@@#Env%TPOSR&Lambda@@$lenv@@ @@@A1pre_coerce_env_hd1pre_coerce_env_tl!e!t%Terms%TPOSR&Lambda@@%lterm@!u!s%Terms&Lambda@@$sort@@%Types%TPOSR&Lambda@@(tposr_wfCDCBA@@ AE  %Terms%TPOSR&Lambda@@%lterm@A@FIA!H$List%Lists#Coq@@$list@B\Ga/!e!f!tm@GGF!sb@HPOO2P 0Y<4]SB@@GF@@@@@@@BAGBF@AA@@@@@@5pre_coerce_in_env_ind@!P@@@@AE !t@@@ @@@@Ġ@@C@ A"@A@ @@@B6 8?>JAK><@B@@@Ͷ@Ѷ@?@/֩-թI&TB@!F!lpq!p'Ӡ z { L@H@@BD@J~}{t|srlcZM    %J~}m>K @@U@,+*)@&001@779# :¶ͶŚ϶Û@NM@4RQ@NXXXW-[HkjQnm@ +g() ,L'(*()=%>3"#' >#' Q''+g() %'+7Sg +7S'+ 7!S'%'A |@@@@+coerce_item@!n)Datatypes$Init#Coq@@#nat@ @'nat_ind!t%Terms@@%lterm@!e@@@@*item_llift!f@B@@@é%Logic:9@@"or@ @#and@!g/@&MyList$@@%trunc@F\@BM*@"ex@U!uX&Gɩ ^D@@@!s 5RQ@@C Ax@A~|sq!Hm! @A_@'ex2_ind5f@"eq@2@%lliftP6C]@$item@=?@|<D#so@mBIoNL^Z~RT2X!x"H0/"H1$^`=@(eq_ind_rũ41hȶ@8jnoMƶ@?sAnvٷکɰ|\|z|s~qȐ"H2&MyList&Lambda@@V@BADBD!l$List%Lists @@$list@@m@~Ӷ@"@젩堶@Р!"נʷ˩LΩѠ><M?@@B<"H3U@&eq_indNHSQ  @/ѩ(<F@U86;"[t@@BDkUlV@G@۰\1j;@a H\ݐNB>k@<zC|O A0,Pq$W7*$+W"$P/.)110"e0"t0D6=3?>=<b-8BB+B"H44,II2J"H5"x5z$"H6+>8G=թ@'f_equalʷ"e1$List%Lists#Coq@@$list@A@B@DrwַuWېRi{Qk# A@DSsdT@kɐQFoŰũ׶cz栩~{ZWᠶ @[ YР!"ĐXؠ˷̩\ϩL>@@CA0>PW/Ͷ@><>LTq BPu[EjfB%d11SUR6JPݩ-)V@L'egh6W  =E V=jj ۩ }]@BslS2 ZV@T[2X_ 7IEi=h%)RE?Fr=IH8KK6{@A#y# x&Lambda@@x@AAECDӷȷɷ@dcb@:h1@=k̐`@CqN<^sC߷-MXD'P|ߐ]·"H7X|3g')Datatypes$Init#Coq@@#nat@@@A@D A@$True@@@%False@ @Ar@)False_indZF0C!k+ "f0#"x0t!n8ސF1+©-aO"H8;yLLvMO@E@DSQQ۠USߩUWZXdOIKe°WRTVwd۷wͰb#\gghhg#Coq@@g@A@D $" u5@ĩyqzA@D>?xAzfb~=g@V/WYީM "OVcR?h\91l)!\e!)Ah$[k@B)1_J}@&sym_eq"O]Q{}5ST~ 6VXW~:)@(L_Y@8//@;Щ@@nn9hpI@AB|@AGp5аt[cMݩ[Xr|Qz6%Logic$Init#Coq@@#ex2@CC@D@@@{)w p !nU fx4@AB "G*O$.@A+3HɩOFĩȩ©,(Thinning@@1thinning_n_coerce$AΩ@AF(橜@B驚@*thinning_n$G b!Z#ZTao!ݶ$$˶))>R֠73`@1o٩8q5s$u vDe+Kq"!$$$ (|p}o-,)0R211]7 b22AҠ@DBmn>F'@éAߠ@DO0kR'!٩sȷ@.\I֩WOZddMg85qI¶@;yq?t׷ةǰzdZzxqo[l[Aa| ՠĶ31Ll°&Ҷݠ=Ԡ@;5  ۠3ࠩ1/!ݩ橜@A'@-/ <ͩ13ҩ56%ة< ϩ2GHJKM;zOΩ)Q?vݩ[ѩUgp<Ƕʩ:NҠw3/\@-kթ4mz 1o qr@a~'G  "@xMN@}dx  ]Y@W-3Y96HDh<fOB<Co:G>FE5KHH3HؠvQ3ܠyPO"n0ɷ!yѩ ([Z1Ʃ_ab6ש}fCH4Ѷ&?RL6O>@tvgͶ@1][7P[M@@D@dޠ@ΠǠ@^yw^}@ޠzנ~Π@pr  ٠ࠩ@%@߶@@-ʩޠ/0ȩַשȩڠjGlU߷VFFD;93JKM RT<I@:1E($Q@"`&d 0 jk9Z "p&t.\iw|z@Vj9 OKx@IAC\S)OGI((0B>b69\BBD@@@C@df2P|x@vnp)OV|tv]okcCvicja;mlmط.GRU߶4MXK@7Զ@/+%@Yd]gV@@D_栶@ՠowΠOà@GİjE?"n1LJ`HZzDxc$DZB@@ҐԐ.꠶@"ܐސ3ĩ(␩˩ݠ./׷ةѩSVVWY@O@D  {]_Sb`O@4ީ-AŠ6)4&"O@ ^6'`1$b hi7X C > ~    <{L!@ BDuv@ @z &@} ) dxIKma]@[SUf, =c[] DVRv J]PJQ}Hة"[ T S8 S#!cU\ ݩ3Fʷ8 H$ ҷA@D lq pF1׷A @D y~ ~S@Yn\öF@8Ǡ۰_KĠ@ɰ 4   ٠ 0ࠩB  F  w%é'*( | %v>!/%3!>(ö((6,4,Q M 8@K GC  IJ9  P ?  F5߷@Z@MѠ 1jY84a@2p~9rTW 6tx=vF 'x#yGh Fd0#$P ' & ) )w7 /< 24@B (u 9ln% ; ? A = > ?KIEdf|x@vnp` X~vx _q·mé exkelc= o nK=ŷƷ<ӷ0Ipw+G#LE<OC_;"A@D  .Y  ] hH/,*A @D   q $ h b@޶oAY?S=٠q)֠@ װ     à  㠩  ʠ꠩0    - 2/ͷ20H  -: = n3Q ( 6H  , C - *   ,? ;   8@9  GU   I J  9    e  p : ,? 5@&or_ind MѠ4 7 2 . [@ , jdL  . l   n  o = ^  $    D        Y mK   Ʃ R N {@ L S zn * P *W j / A  =  a  5` & J = 7 > j 5> ? > . A A ,C  u q @ o v   N `  \    T(P g Z T [  R \ [ K ^ ^ I :  l © 7 J 3` d q ǩ .  gM7$ ʷ  3  m?x з { ѩ F  B s  ֩ =  v  z  ܩ K H M  V   R  %  V S X   a  ] Z _  2    j  f f c h (   l )LiftSubst  @@+simpl_llift   ? u     &ki @'and_indж  @     '  ̠    젩   Ӡ Ʒ  ǩ   7  ɩ     F{  1  2  !   ڷ  ۩  E_  ۩ G   ɩ @&ex_ind D  E  4 Q      u`  ө   G@Z  VR~   X  Y ' H  & _Nga     0 P      M i% 4 a@ 2 p * , = vF  : x 2 4h F   0  ,  P q $ O X 9 , & - Y $  0 /  2 2  [ 'gAܠCD      @۶@   A Z \l@   I q /T@ݩ o  g io { ^ | R "  ,  7 s ui"H9 6  b  #H10    J  @٠@D n1 qЩɠ I  m., u w v  F ⷐ"f1 巐"x1 ·# W   m$ _ é  \#H11 tũ 7   4  @@D     p  u     q  C ~ ĩ ԰ P   ː ͐u ߰ j T  $ d   b ) ) _ *A S@D R à  Q ĩ  0 k m 4 , j 5A ^@D J Π  I  3 ҩ  5   7z B 8@  C M  ? w  ٩  D  x  Kc p  V ڐk  Y \ ZdͶ%  V  h  a ʷ d b,  ]n 0 # a v| թ f' n©  p  9 9 r ;  2 l 4   5  7k   B 5 s -q > w @  @   F @ D  < >8 O  v  ' ө  i$Init#Coq@@ E@BB@D@ L  H  l  @ " S F @ G s >  1 J I( \  X  |  P58 c V P W  N   a *g \ [ K ^ ^ I _  $4@ @BB@D@   l Q ~ q k r  i z C v t d ~ x x b  ڷ  ۩  ʰ }  6 i ˩      d Yjr   zh   x  <%          g       n@ @Bh@D@     Ӡ   x            ޠ   ݰ  t Ǡ    砩     =       "x2 ɷ G#L *  + - /  0  2 ѩ    ַ  9  ; ٩  = ,               ҩ   Ω L N  O İ Q, o   T  V 9p     ' @>8  B::  1oCe@D@d f  g ܰ i ֩ ؠ   l  n  Pn p  q  s   C="x3 y K  } l j  *    m " /   % P  > Y)   -     3 Q  6    7 Ơ   ? g>  A  K?U? EKB      )   x CLN < B@D@  M <W F >>   S - * /Fb P 3 0 d   W 88 #  d > ; @`t abb D A az$ E ʩ 5  [   K  ]~  O  n$ M aa  RE e gE  é    a  ]  _   Z   z ũ "  h    K   w M y  Z T ڠ  r   *   נ  @   ɐ ː ? ܰ  '   m  Ƞ    蠩    Ϡ ·  é   }B@    @          &@  5 9ө  7   ) ک  =  >  - ީ       ͩ  pϩ꠩ z C[ | E "  g [ $ ]@[ 0 D! ' # P@ ! _     ' eM   g  h 6 W       =  ]][@Y@   1@[ U i ! N J w@ H ($ J  B) ;  7  [ |/( B 5 / 6 b - b98 '9_ ɠ ' ><<   @@A@2ind_pre_coerce_env@WVU@@6ind_tposr_wf_eq_coerce|!ea`@@!tkj@@@!u !T !H&@vAutsr!f!@BР@@@egz0.@4@<:42+3!s@@@/-B,K@*QOIG@H<:C9X@7^\V.G+!n+@@(@U`!im@ŷRq"H0RȐ!oV@Oѩ@@ @թ @ @ @ @@ @9@B $@@= nqo&]    @A JBAA@D@AT:7Ŷ@6) 82!+ŷƩGe'*2N'/.)11(5@B7"H1'AAC!ED(B -sB@D@kh@g/;Mic{7R\xXQ8cǷȩE?`_GbbY\1E4e."H2uqW|Gyx I{{rBF@D@#$ðTln!_^!x9/B5@D@ݰƠ9;ԩx F"H3 #!ؠ KB@D@ɠ-0.堩ũXZ ː"x0<!Bn@D@/  ٩k Ґݩoש  3 "H4xߐ멜}AH  ݩQѩ ⩐R  CF  zw:AB   HAC !A"A'"s1é#"!ζ@& *!Bͷ"B'з"s2"t0$List%Lists @@$list@B"lDC:}@ϠM7I&ՠMAD$S@V3UT#:MW!Y@BV^]a/LeftReflexivitylk@@&refl_lhU_mVTRڷPNHFD߷B@1!M"M'"t1J$zPI/@Q+wn7$a"AE0fyǠeb<lAn>p  PNFGK<K~L|zx<[@k<T:U8FZ@FIh@GRĩ Ƿ!Ni"N'l"t2_g]|@[Sԩgd)bT۩oAF< ۩Ѡ U `ַԷeƷ4|;9753U,AG< /6)' 3٠'%JmQĶ@t ʷ!8 $'M6 зȷɷ̩+*)!@CĶܶ@,36.8 ٷ ڷ" =<4@B|@ΠFIAK 1AIPSyb5HRWTCVYU*X[.jDB@ȷ><642ͷ0."s3ҷթ@(sum_sortnk4^oAJ,ucmywvVEpCi{"b}k|mwv /-m%k&i*ge_*]+[YWH)')1"u'4%z\#B@!,!vA"v'Dة5G@&lsubstB8W@6A @_>VKAKDɠe éjWhߩ ·xvno:saȷf_~@]f/ڷg@eݩ6ŷOh<t@rk=X[%"t'"t3@G&@. 06V-AL< 07*  ?7*(60  Uط·÷ķ4@E2.,631/ݶ@a5?e'1CH5"?#A''vhBB:Tݶ@JLLWNdy@٠XRU:#B''"t4'DY_o} @젩/ F[gjl"t5wPryZF"H5#@]{~me0."H6^AMX\2?̩]7 <_ : n)KlIG -PNFGKط<ַwҷзMN~2ʷuȷLķTULBaީJAN<jh`a,eVef1d47bdl;m/n-oRri$w}{vmkdbfWUnAOXXeRQO DkBطmvk@A#@BD!l@{@#@"eq@@zsq?^ͩ  .$]+,ܰPD@7巐"e0A@D4@ȔA'V@@@Ϸ@ [@@@AP4 a@)False_indVEApx.Dj v11;oީA66ŐJKx.4U{{I"DN8ՐI[BU_  "f0 feҷ-s4nQx9iV]!d["A @DYyROJ{RGΩ+J$Pao L6-iXQl[[ éx@A@D@AMO!GRJN<A:Y@}A>]<F|@\BDef@ʶ@Ȱjcpnf_g"s04!a÷װyr\f@xuAk@Dܠ A{@D1Ʃ @,&ǰƩX4V8=$߰ީp?L44n",Ω(QҩN<նDR_ũyGGn!!+[b#9SP^^0(66ө( 1~~ΠHŐנ@B<EWbY e֐&C ^kE_@Bcgiuefg/<5 ܷ©}  >%X_&A @D}m_`fI0'j1"A@DiT.Z0\sw2b3@@_9^!̶2-57©SrLq4߶E@Hͩ^}WbcBS8HMTrfhlɐʐ˶EeC?=@ڰ|;Ѡ6U3!X{!Y~KIsltBA޷XVPMy'%BB!W!hf`@7eѩh?@3 o BC<  |ǷVTCA"ηƷǷ ȷɷͩ,#*ض@R02++Km@8/@ff@Btt뷐"s'{MB7sI@֠6PSAU`NNn@kZ]//%*PqZZշ@1 ;hk==CB4r}DgA>vxwJq!|{N~ ,*j"X#i$W%)l4@kq[\ZTVRNǩ,"A@FDBA<8#s'' ٩8.M.6CC<ҠQ{˩W`^!UX!P["U'^aTMl@KWUt@\Q_]|@emc@a~۩nk0iᩜuCD ԩ֩렩=8<Lʷ@QϷ765ַǶ@..۷;˷@װAԷc3CE J1*é N ȷj!V÷{xз_]/(   Է̷ͷ!Cзԩ*431Ƕ߶@l792<;t@5_%CGDGm#1<h@٩o@ȩs¶@Ƕ@@@A@4tposr_pre_coerce_env@ 8 7@@%proj1!e~}@@!t@@@!u !T @@@A!f#@B@@@<@@75@@;@EC=;4<&@@@@7Bö2S@0ʶYWQOHP@DCж?`@=ך=@i@@A@1eq_pre_coerce_env@  @@|!e6@@3@@@!u !s @@@@@@B!f(@Bo$#@@n@!#75/.'/%#@C,+*)>@.&0L@%proj2IG@,@8'M@%><?^@n@Z#\ZTSLTV@CARQPO>d@<T9LV#>@ om^f!vi_@@A@5coerce_pre_coerce_env@ : 9@@>!e~@@ @@m@  !s@@@@@@B!f'@B@@@64.-&.%#@C=@KEC@)@$I@"Z@@V ^XVPOHP!TS@AAҶ<a@:٩$<@ ljc!Uf8@@A@6pre_coerce_in_env_full(4@@5@@8@@@,+4pre_coerce_env_trans5pre_coerce_env_in_env2pre_coerce_env_nil!eE!fI!gM@  @  !eY!f]@@@A%TPOSR@@@ B7EC@@@@Ӑ@@֡@ABAEBC@@@AA@@@@@@:pre_coerce_in_env_full_ind@!P@@@@AW] X@B@@@fe@_ji@ ml@;fpN>h'(@@@yxr|{'~[ZY@@X@A@@@B@!F!lPQ!pCp Z [ @@@|BDbc@\h_i[jZ[gsjt#L|@z@|tswt@tӶ@͠׶@{۶@ߩ׶@qohsl]_]̠@ +g() ,O'(*()=('> & '> 3"3"#'Q''+g() %'+7Sg +7S'+ 7!S'%'`A@@@@2pre_coerce_env_sym@!ef}|@@c!f !HB@@@21@5pre_coerce_in_env_ind:;!i@@f@e ct@@`@)_@@\C[ZYX"H0 AXbb$@Ae"H1 Oll mD@A?iVs"CFD[nxwuv\ZT[<;SQ}|3IHpre_coerce_in_envV:9)'}%_@BqZb@/u0^wuov@kk@@A@7pre_coerce_env_full_sym@!e@@鷐!f !HB@@@@:pre_coerce_in_env_full_ind! "ȷ9IHpre_coerce_in_env_full1Ϸ"H0!ӷ9IHpre_coerce_in_env_full2&ϩ)@Aݷ<:4;20@3@㩜6@B꩚9@ذ유>@CQOIP@EE@@A@3pre_coerce_env_full@!eL@@I!t7@@4@!u !T !H+*)@@(A'&%$!f%"H0B98@@N@3 @:pre_coerce_in_env_full_ind:89#!? $#Aj A?@BB#H0_KJ9IHpre_coerce_in_env_full142RSy/4T?U{$H0_0*YX9IHpre_coerce_in_env_full2A?UJ`AWWLFD0ZOcgefdBe@>@@nmUSrP?E@wxTtvu\ZUTS@@R@AvgzPigSj}iUlyw@sj@fux@@A@8pre_coerce_env_full_cons@!Gɠ@@淐!D !HBנ@@@@:pre_coerce_in_env_full_ind!T@@@@֠@@@@@@B۩. !᷐BDF=;鷐9IHpre_coerce_in_env_full10.@' 3F$7۩&9"H0O9IHpre_coerce_in_env_full2DB@;4GZ8K NL"H1G@S񩜠g@AЩGZBI\Ȑ"H21@*@@@DAD!l@e-@k @@>@8h{<'sl6+= r@A0Ȑ"H3@j "e0A@D,@AZ,@@@@ 1@@ @Ajlh9@)False_indtuqӷ!A!s@@$sort@aA@AC\vsc@7BI4A*@DsGGu߷vJϰѰqtP [ FA<@DY\m@hQ><R"H4xz{PS٩Q@B 0@ $@(ʩ(ɩhf&2ߩ@ŰVߩ/(;#@Aa!b cZX@X@ MKD=P@ADt@@xH[nL_Na.A@D*ȩ\o/-ͩŠbu63w, k~"f3AԠ@DD+vKGBM@A@DQ84BU /@*:SPEP43_?] Jdoo@B`abm@dv@Bvlk nxN_-azgxؠ3g@ZߠagշΐǰW-˰[|@zADy@w@uְfڰjngqPAF@Dc\YTxYQ!LJHA%8Щ6+v,hA^@D4Π31ѩݩC89uAk@D/۠.,  *" #@'⠩+˩  qt6@A..۩6CA33ੜ;BA88%#!//@ްott YYu]ywqx@m][@o'A@@A@:tposrp_pre_coerce_env_full@!es65@@p!t^@?@@[@!u !T !HRQP@@&tposrp@ONML @*tposrp_ind +)#!"#!f/@Bhg@@}@[b e]gf>42,*AF@A!S"H0! :BA& ('@/".-,+fd#\!]SQKI*IHtposr_eq:l@N80:>p< ;UBBA&9CCB}{ Pt<u:vljdbDNMK+IHtposr_eq1U@iS!8U7l$NXW+IHtposr_eq2_@]\u_>-De"H1ehd~BCjmI8clk+dnmlk@>@@A@:coerce_pre_coerce_env_full@!eȠ@@ŷ!t@@@!u !s@@@!H@@C@0tposr_coerce_ind40.(&'!f4@B  @@@CA!A;!B>42,*B˷N"H0ѩ5CA٩"@ڷ_]UV"A'Y"B'\RPJH緐/IHtposr_coerce1;m@9Q$TAp@A"H1 )ߩ  "s'p"H2jԠӠ#Coq@@@B> /IHtposr_coerce2h@f!  R# ""H31Y1"H48"11.~"H5~ 3Ȑ"H6@АQ < ;*@B/sj93 ;5 GȐ"H7АR N MGxGI VCB4 \,?H ^ ] i h@@ f66nT  j::  l<<@sSAA \ q p s%%  u'' w))  ++z y x FoM } {Щs3 DD%HH'JJ}=NN  n  -pp /rr1tt% e%xx       @    ! w ,@  @L  9o tP  R 1< Ȑ"H8АT  \^İHbưJd ө5CC< iƠ  ک}   wU        !! ##  ٩ h'   t3    ~# !  !U!P"U'us!!!@C.IHtposr_coercei@K}!!! P,!!!*'1 !'!' 4 ! !!4@B} 6!2  #!6!5 9 % ;%!00 ?!<CD !B . D j!!D!C!F 2 2%!H 4 4'!J 6 6)} 8 8+!0!L!K!N v v-!P x x/!R z z1 | |3!K!T!SЩK D!X Z Z- \ \/ ^ ^1S L b b5!a !^YٷTڷX۷ȩ!h!g!fSP@!k!P!cXNq{!=!g!gOj~h!Y!S!l!lJUEO@ f!y!x = h h!}Ǡs  lu !CE ! s  EC*!  h,!  j.!  l"  n!!!2Щ  !  h6  j8  l,   p! ! ~  #@ө!!!!'٩!w! CF!!|!!!!!42*+ -#!!!!!Ѷ <@!!!!!!!!!·D@ !ũ(!!!!J-CG!  !!!Ƞ!!#!!!!!АVTNLEMCA@96@@A@@@".","+!r!q ` _        ⠠`_ihᠠFE@@@@4%TPOSR&Lambda@0H{]% J7%TPOSR&Lambda@04)*()"e"&0J!m@͑ә;ˠ#Env&Lambda@0beӯD Ơ$Conv&Lambda@0*}Q;<)Reduction&Lambda@0WUlod)LiftSubst&Lambda@03eiV^o5"02%〠0 F1t"P$Conv%TPOSR&Lambda@00#Ƚ"c})Reduction%TPOSR&Lambda@06yZڍ:񧠠%TPOSR&Lambda@0խD?(wah;R%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"0*p <%MfyUƠ"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. %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, 'Tactics&Lambda@0z*a,%Utils&Lambda@0Kj;~ܙ&Wf_nat%Arith#Coq@0ClG]Wd/%"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$6$5$4@07^kO(>=0֠ǿ/`U)Notations$Init#Coq@0JH.+UI(~@@&*&()INDUCTIVE@@A@&.&&&@@@#_44)IMPLICITS$AA@@@@$@@@@A&%E@&&@& @& @@@@@B%ԐD@%Ր@%ՐF@@%Ԑ@@@@#_45/ARGUMENTS-SCOPE@%0@@@@#_46 @%:@A@@@@@@@@#_47@%I@B@@@@@@@%ڠ(CONSTANT&@@@#_48n%^@%n@@@%xF@"l0@@@@#_49H@@@@@@@@#_50(AUTOHINT@#coc%@D&`&!2!1&l&!3!1#A @@@@@@@@@@@A@@Р@@@@@@A&ڠ&@@AB&ؠ&@@C&͠&@@ABD&ˠ&@@E@&ABCD@A@AB@C@D@ABC@F@&   & @A@B@D@ABC@G@&&@A@C@D@ABC@ABCD9ABCDEFG@A@AB@C@ABD@E@F@G@ABCDj&İ&23&&35@A@AB@C@AB%@C&հ''"10!8&ᰐ'3"10!9$Bup@@@@H&ߠ&@@AI&ݠ&@@J&ݠ&@@AK@1HI@H@I@AB@L&&@@M@& J&␒L@I@J@L@ABC@ABCD(HIJKLM@H@AI@J@AK@L@M@ABCD&&&'&&(@H@I@ABJ@C@%Ϡ  @A#_51t&d@%t%אD@%Ȑ@% @@%F@@@@#_52T@)nat_scope@@@@@@?;:@A#_53&@I@@#_54q@ @7PO@A#_55&@A6E@2@, @- @@%G@@@@#_56@"@@@@@@@@@A#_57&@E@@ @ @@ِG@@@@#_58Ұ@"@@@@@@@@@A#_59"'@"E@G@8 @ @@G@@@@#_60@"@@@@@@@@#_61@$ecocC$5486$5482$5483$5484@@@@i@@Ajܠ@@kՠ@@ABlԠ@@m@ijkl@i@Aj@k@l@ABC@nנ@@o@ؠn@i@n@AB@ABCD)ijklmno@i@Aj@k@ABl@m@n@o@ABCD&%$@j@Ak@l@An@BCC$5493$5489$5490$5491@@@@p@@Aq@@rP@@ABs@@t@pqrs@p@Aq@r@s@ABC@u@@v@u@p@u@AB@ABCD)pqrstuv@p@Aq@r@ABs@t@u@v@ABCD&%$@q@Ar@s@Au@BC5C$5500$5496$5497$5498XS@@@@w@@Ax1@@y!@@ABz}|@@{@[wxyz@w@Ax@y@z@ABC@|z@@}@{|@w@|@AB@ABCD)wxyz{|}@w@Ax@y@ABz@{@|@}@ABCD&%$@x@Ay@z@A|@BC@P]@@A@U)rFFF@@@#_62]\@@@@AUD@V@VE@@@@BUC@V@@@)C@@#_63Q@@@@@#_64Z@@A@@@@@@#_65g@@B@@@@#_66r@@C@YSR@O#_67(@b@@@@G@"l0@@@@#_68@@@@@@@@@#_69P@#coc"@A$5502$55031@B>9@@@@~Ѡ@@Р@@@Р~@~@@AB@ABC~@~@@@ABC-@~@@ABU@@@)C@@A#_70()@(C@@@@@#_71@@@@@@A#_72J):@JC@@@@@#_73 @@@@@#_74հ@#coc%A$6685$6684O@@@@FE@@@H@@@?@@@AB@ABC@@@@ABCO@@A@BΰA$6688$6687\@@@@@@ @@!@蠒 @@ @AB@ABC !@@ @!@ABC@@A @B@fe@A#_75Р)@РE@@ @ @@G@@@@#_76@"@@@@@@@@J@A#_77)@TRC@N@@=E@@@@#_78@@@@@@@ İ@F#_79.*@ . E@ @  @  @@ ՐG@@@@#_80@"@@@@@@@@ @F#_81b*R@ b E@ @ } @ ~ @@ eG@@@@#_82F@"@@@@@@@@#_83@$ecoc\C$7417$7413$7414$7415@@@@@@A@@@@AB@@@@@A@@@ABC@@@@@@@AB@ABCD)@@A@@AB@@@@ABCD&%$@@A@@A@BC C$7424$7420$7421$7422D?@@@@  @@A  @@  @@AB  @@@ @@A@@@ABC@  6@@@ @@@AB@ABCD)@@A@@AB@@@@ABCD 1&%$@@A@@A@BC@ ڰ@F#_84D+4@ D E@ @  @  @@ G@@@@#_85(@"@@@@@@@@@#_27-RESERVED-TYPE!i @@@*@#_28!k#_29!m#_30!n#_31"!p!#_32(!s',#_331!A0,#_34:!B #_35@!M#_36F!N#_37L!T#_38R!t!#_39X!u'#_40^!v-#_41d!ec-#_42m!f #_43s!g@  #.(93D>OIZTe_pjyu~ɠԠߠꠠ '!2,=7HBSM,Xc]nh{sàРݠ젠    #  2 ( A 7 P F [ U f ` q k | v              à  Π  ٠  䠠         !  , & 7 1 B < M G X R c ] n h y s  ~              ˠ  ֠  ᠠ  젠- -        ( " 3 - = 8 H B S M)> X- ] f b o k x t  }-     @٠  | @0tiI4)%;s