z*'+yР.TPOSR_JRussell$Meta&Lambda@B.TPOSR_JRussell *item_unlab@!n)Datatypes$Init#Coq@@#nat@ @'nat_ind!t%Terms%TPOSR&Lambda@@%lterm@!e#Env  @@$lenv@&MyList@@$item@!BAC &#@@$term@%Unlab-,@@%unlab @)unlab_ctxD@>31!H+D#"Y@AȐ"H03&Lambda@@3@BADBD!l$List%Listsl@@$list@czx@NgEGF@%Logic~}@@"eq@Q @ T3`SLHEG;],*:-.@BMgf"H1#JJ$@&eq_ind<FsB@ t!cV@Azs$kh=PN!yb#DX+u"H2Kʩ@Bw|.g:+ljYة1ɐKOLL ioI"e0)Datatypes$Init#Coq@@#nat@@@A@DAˠ@%False@@@$True@@A @)False_ind96ːI uߐJؐ ͩ׶@@yש@A8;9#IHn++)-  wBޠBD۷IG@϶@̶@ͰL4#0ٰXȩ`5(ũe j}k{@q@Dp8h@pne$:nbG:)ްd(BCB"n0|i"2/ 0aTĐN̩ʐ;@'f_equal@@Dkmm&éMNvtm e%ꐐO+@B/ /C@&sym_eq47k@@@NwĐ@@A@+unlab_sound@%Typesˠ&Lambda@@6ind_tposr_wf_eq_coerce|!eˠנ @@ʷ!u%Terms@@@!v !T!H)@(tposr_wfAש/(JRussell/@@&coerceAנ8@@ѐ@ڐԩ><%#@.-@@#and@+B$ J_@@@A@$sort@B@A#@C!Ag!n`_^@@]@@|@*item_llift875W1@B?Px!s2@xvB1JLKtkc_EPC>WYX@zrn]!tli:8!i4h#io@'and_indЩki[yqV_QOM@F{!zxEG"H0"H12oxj϶hf@_^/ЩD~y޶wu@nm oe"H2@ Ӑ ~ɩAM'bԐMOf} fзͩ]ЩŰӠ˰@ԩҰg·VT⠩ڰʶ!@r[Щ ն,ö@W޷& J?lDB,62&6}9{',#7[P}  USK"A'N"s1ͷAV@AKϷ!B]"B'`"s2߷"t0U$List%Lists`@@$list@BuQ46!_0@RZTP񩜠hAB$YY[ ]FG$><:~31/ -+!M"M'"t15`_ک:*zzx~AC,7(Validity@@*jeq_type_lЩUECw%<˷^÷xķvA(t<mȷkɷiFg7e 6X>ѷ<ҷ:$@F>7@F>:!N巐"N'跐"t2QPАRũː @(eq_ind_r@%subst]d␐T@DfΩAD$S$tp~ک𐩚@&lsubstp@)lab_substu20()ٷ-.ʷn23oS6Q7OMMIB?%ĩ'<9@C4 /VS֩9NV*Ȑ"t3FCdmJGȐ"t4Щ`z:$Ȑ"t5ЩEkOUJک4 Ȑ"t6Щ[VhV(@lnAOgWLfhnAE,G`ba@-jeq_subst_par$!|ikKX20Q!2xw {AP C~:ɷ\v·%qfkp˷n̷ig5}n^AL!5Xz߷]DXb%r"s3gj@(sum_sortAF,ԐGf`_sx_s}@"u' qLrG# "v'-ةgi/Ȑ"H3@xl3s AGD%MNPUHF>?05-$NMN˷T(md/+qַ٩ovu^"t'a Qw%$f@G{E~Sz><$@G|[AHcLH`6x-y+)m"} ~ ~}tw@E+7R/iTUЩP@E1 q5i ys#A''iiU=~~f\4r@-&#B''\&T Yҷ"H4*\LZZշa6[i6k ^㷐"H5<\m_oOg-Щ] !X Ȑ"t7<ЩyɐӐ^ΐАqȐ"t8PЩ㐐_pR֩x! cҰ Ȑ"t9f@-coerce_sort_lЩ`}?ݐCȐ#t10Щİ} aTswȐ"e0*Generation!O@@/generation_pair b٠d@"ex@շ֩ط٩ ѷҩ Էթ׷sة$&@@;f!2*Lg)2;3 Ac@>@?G?YME1T@%equiv@#.)%Logic$Init#Coq@@O@BB@D@V'=(Y*J+\#Y$_&J'b)*vR8FFtPxh:N[K@ k8LFӠwF!kd@IEscdT!xn"H6IZBQ@D@wxpqstvwàאE"R͠Ű琐iYԠ̰_ ڠܠ԰3eࠩذ 9ĩ! Le!57"x0KBB@D@X ˩٠>tߠȩ /j ͩ"$mĩ( hs۰#Q԰`."x18B٠@D@.1E!Y2[ԩOGikF6XP,  ^@[ZbZf^%!WАgl"x2,7 B@D@l34\BP3[T&lFgW 5`XPCT%! M+"x3g4[@#and@BB@D@~А4HeƠm٩TϠǰ tՠ^ҩ٠Ѱݠհ %!nJ&) MꐷC6"H7LtϰRp"Z &$I#*#ݠd'_B\@D@1oj r 2Y&*"z.&=n@FQ+H]Tp㰩U,:AV2"H8NF"ͩTl XP\T"Q&0B@D@jb>.qUs2wo j{spͩ.OGS'թr0^$L,"H9Z;0V w%4B@D@pTϐs`o Ԑ;ةh␐t/q[ϐ@&#H10ܠ԰d+ࠩذ j^5b6B3@D@氩u,9̩52E ɠ 3͠GM$vhؠGg 8"#H11 U fȰBjkBh@D@#=wafpٰ>+fxULx۰ M{2O 90#H12 mȐ#t11@*jeq_type_rЩhy#g# #Q "Ȑ#H13@"eq@B@AD!y(@E+9}zd j@M3 nA$}ܐL|FM>: )aGU9Y<TȐ#H14@)TTU%Terms&Lambda@@$term@@(AABBCBBBAA@D>bb (\Z@@ JnL%Terms%TPOSR&Lambda@@%lterm@@(AABCCBBBBB@D!l ({y  ·f   ɩ  ʷ     ҩ  ӷ ~    !UA!"% &@H%# ,-U'$01@J.ַZ\÷ķũa ȷ  fؠ] ɩҷ~@v@Du (Ωtܷݩy~  # ;{ ) F@YPް P#~#H15! ]  OMe0a D+G8JGM8Pd@&4xA=meC ';tlH8 -  X%z9|tr 3xx d3TB:]4B+@D@QgRTtUMNPtQST|btD ^ro d  \p j jϐPې@(jܐa<  Ȑ"x4wA|Bs@D@ȠˠΠѠ4堩*頩ᰩ E u谩İ {   < Р ^:= ) l; "x5ҷ9B@D@ϷЩ ҷөշq֩ "" &  @F  - %   ީ 3 5 - թ 9 1 y   QV S4 h? E"x6 6B@D@E 0 H   \8 ` X zG  g _;+     m o g  s k8 &G S2 Wᐩ#DF, }"x7 =,11B(@D@} D E mS    H    p`   >i    9   S? J[| N*, X /K "x8 ra. B@D@ à Ǡ  ᐐI  Π ư   s~ Ԡ ֠ ΰ  ڠ ҰS  K%"  JK &q 됷0#H16   Mu  а S q     Y  $H "(!\BY@D@   .K g   m  -T ! #  s ' g 9ڰ ?I T KLڰ L&r 8L,#H17 E =    ĩ K M E ة Q I ө $B@D@ ] U 1 !  yM H f h `   l d  @ A  NݐM  @X }D(#H18   K   RРQ CB@D@    O;  ۩A IX y 5  ɐPX ʐT4k 8 #H19 à =  Ǡ  C EzB@D@ Ӡ ˰ 퐐Q  ڠ Ұt  *  1  RK }2% 됷4 #H20  r 8 ILBI@D@   SJ G Q۠ ) 4 +Tx蠩 ,qn ,#H21Ұ ߩ ?Uΰ @xP   L |ũ Z@G S '!UȐ#H22BߠAD @!  A@$  E@ m dX! eVi)v) 6 B*  Ȑ#H23 # #h $@Ǡ@D a( ! Ő > <  -  .ʐ  1  2  3ϐm n   6 H pR 8 ? < < =@@D z( : 8ސW X V # G $ H< ' K ( L ) M鐐Y j  - Q_ l q W YD 6 Z@w ]  ZFt \6{6#H24 o ^ q N r AI4 ϐ* ɐ7dp hȐ#t12wЩ   &  Q@-type_conv_env   D4 Ő ϩ  /8 `@(conv_env@A? 6Zd{ ! R }  ٰDo  *  & 6   ްI &v  q ; f  @Ȱ   © 퐩@A n @Hv "@A 'AN5Uz@  / &rT&M"  ^ \  T  U  ҷ   I       [  \  ٷ     w ܷ   y b  c   y n  k ? m@I  ~  ڷ   \ qD F O9 cAJ k T P h > T d  a    !  ;  9   7 {  0  .  ,  * (                      F z  @ݷ 7ַ ) ] e Щ D 4 f % = n.Щ M =4 o : w  & T S  * XC     FD 3 M  ߩ   h  F g7Ȑ"e1 K l c y d f  g _  ` b  c e  f <  k    |q i }   w Ġ 1uqBh@D@      à   Ơ   ɠ  ,  ݠ  ᠩ ٰ 堩 ݰ       D  ǩ     ̠ ՠ &   ٠    [ ǷY9B@D@ η  ϩ  Ƿ  ȩ  ʷ  ˩  ͷ i Ω  S   "    ө ( * " s . &  n yk W? z H X        :   >O 8B@D@ <  9  ?  *  B    V 2 G Z R % ^ V 2 "  d # f ^  j b   # _ [{ +  G P + © , T   zL 85 ,B #@D@ x ? c @ { B  C  k QF  6A   k [<" H ?   B     . V^    ͠  1  e f    G q 2 eB \@D@  x  y Š   A ɠ < ͠ Ű  o  Ӡ: ՠ Ͱ ٠ Ѱ  { Y     Y   à% k  " 鐷B  C/ B @D@                   V   8 ۩ C ֩  I  ԩO ΩS - [  ΰWP D, 25 E   ~ ݰ    ; c A; B Ԡ@D@ )    ,  )  /    2   F " M JB\ NF " b2 T VNh ߩZRl 1  > pe ٩k t 7 @  ީ  D ~  jb 28 B @D@ h/ e0 k2 V3 n5 6 ^ Dz s~& Q ^ N,C; O 2  ֠ O I ԩ  s |   X  v  ad5 XB O@D@ k l n o  } rb mà  hNtɠ kˠð nϠǰ   Z  ԩ 鐩   8 $     (ߐb2 B @D@ ݠ @ Ͱ  m  h Ͱ  Ʃ f   E   .٩ H / Ű   H 3aѷ )- jB g@D@"  & \ *"   b t Щ2  6.  l:2 / z   cZթM  Z  X h   &   H 2 WO K ]U1! ( Sݩe $ ia)  2me- &    1- B @D@yqm 6 }uQA <s  b B  %{  D  ˠ  é >&5 9p T  ٩ l! O wv    [, |l [ sS m  *! ~ c%     i)1 B @D@  O  RȠ  ̠İW  РȰ[    _X̩ᐩ | J  쐩 +  m v   Q& 렩  : n m 3 t   GB D@D@  5G s w ĩG y \ ϩ ۠  `2NK #3, ɰ  d   G  "a ` &e f f  ٰib    |B y@D@4,N e :2 z k       g>O< Xh  & `  9L C  WOQ  ^ ɩ U +   B @D@e]  ] ˩  9  ϩɩx( tD  ' O \ T  u ; " -é N   B ͠@D@ dJ.I dTOu CU pܠ Iԩ OF|% xƠy \  ^  9 * %fީnfà <tǠ  B z B B @D@Ӡ˰s &ǐ ٠Ѱ .{ iߠᠩٰ v 4堩ݰ % | rV9    ͠o   m(Ұ ~kKq  u J yb  ^B [@D@ Q kEW  "[ b  w հ_HKD 3A <L Ⱙ k   0"E; b?7[ C;_  é c\ B @D@O   SK?  WOC ٩  ͩ G0, h) q4?SA F  ey-ph? ȩtlC %  'G@ B Š@D@x!? ũ|% FĠE  7)  NaDl5 . s Y'өݠ 9  P+$# B @D@ h %  \}   rŐՠשk N U ; q    iB fAD e@ ȶ@ ̩ 6 ɩ© ސө琩g} _/  ǩ X  V@ N@D M( Lx QU VI    ˠ V  ۰  sŷ  q@ i@D h( gϷЩ lӷԷթ q     G   }0ݶ@ f C2 +ư7v6Fܰ}e   I{C B ֠AD @@:   d L簩: ZgYi'k; a1=%  r a @ @D Z( Z3/  H]?% J ))n* @ ͠@D g( H/iJ0 23@P6g ٩ JNBOQ4\s%p ީeK M~*NPΠcl n .HpNg 49]'pU `d` =ѩh i lz  s ː[ z wӐ\J epې]ؐ  搐^s/y, `- ѷ Jٰ Fɩא ̷ 7(k 4> b! M .  _Vǩՠ;:٠< w*a%v   ɰ4b1[4H?c̰>[Ұ -tF) m )2nZtll 8;\`vK 8\]`O=~i F d3-' U T0  nxd^~ީ\~edf? )C PWgLamک$˩R̷ cIjW ÷ I`P i  5Ӡ٩G4h<Nl P̩c0 d .p gh p~Đ v}Րj$Ķ pېkؐ WY搐lsWy N԰pkА ' ٰjc o 㰩=i> 48à]y 8$( 7ˠ7p#@D@A<< ΩC>> ЩIE@ ᩚ(Coercion-[@@1coerce_coerce_envnS ARW@-coerce_in_env@A^yYu   쩚@.typ_coerce_env   m M  Wq -0 0UnicityOfSortingV@@+unique_sortuz 򩚰@-coerce_sort_rz - g ; g >3 V% e  F" c `# *z^\Tu;V i8?,   Y Ӷ ީ\ө  ѩ9 h  ? Ʃn ?,n BA hq  )ͩX>L ض yUE XA *5v>V up\.D ^ \o aGroUNc    Y a۠  Ӷ DOp } ϩH  'v i[g, k  t   ٩AK4 ^   ީ  ey      d  A X }   Ω4z    3 쩚,Substitution@@3substitution_coerce      #(<$  yw    1 +D   5 5߶N׶ ̩q"5 >W *   p 8˰ u q xk @g+ 3ö v_ ]X N IGܰD> 1 -+ % R ЩRy {@,jeq_conv_env  E[V'r C ܶ ڶ.ض Զ dЩŶ3ʶ ƶ Ķ j]   En 0  {     E ~   k  x (  mZ  E    cA   3  x   5 z ,7     Z      ˩ W     B *R  Y  @-functionality$  "̩ [  $v" # Ʃǐ a    -     ɩ͐( 1 ũ6  *  S    5    4    F d    7  u     r     b"r  9 :r3  [1  3  d  [/{  @dJ33j N-@lR     iLt  k  /1 d@A}@Ap @~ɜBABB@%Logic$Init#Coq@@#ex2@CC@D@@@@%llift@B'%&MyList<@@$item@/<LqM3qo7DL&Lambda@@@BРBDI@Fݷ@#J  @  Z@,mِ(]k[h:@AũA?#g&s&#Coq@@@A@B@D{2A6>@k@@{@:C@k@@AC I@)False_indf* ,f:JKJ"n0%lRTr6T.Y>٩;1|Cq|`:Jc=A6@D5h2/*j2'NDĶũqЩ<Cwxͩ6yةDg@dѶ@g]! ک e!G۷nӷRP7ɩMvf~|@ur8@8sort_judgement_empty_env@*consistent@Bթ%Basic@@.jeq_consistentNé%#! )"A0 I%G C@D@թ԰r^Zڐ6W2 "ȩ+$ !)ԩz8@$lift(Thinning"P@@-item_ref_lift۰a7@'nat_ind۰QjeT:7Ӷm4[]8GeɩKH ~ElK5BBDx/ @Nu65@67z@<Xkn#AAb&DH ʷ˩-#//ϩOOP*A#@DTTV=WY1wZ#\=[\ߩ_`:A3@DdfgjAQClO©@Us+>P@:=\]{8}~6IC e9@AOZX@ki4ԷzD/ }sBϩ{At@DQKPE6ɩ!A@DL?KoXs@s-کD9tζ?'U1(#@@D@(;j"_wa,y  1E~ t@ְ۶@Ѱ,ݩ  ط#IHn԰K'1.0d+R.@BH6 BBDc@9`4! @!"eqP@'gC>*s*K-qM1 Uک889A @D>%@B#ABnũEF A@DK$4M0{l@6Tש9/;zv#o{ΩB`/~b%c. KAMũFRG@@Dt9@L?7v?4xx;z  |}~}3V!g1j`/jAc@D@:?4neYDܷuAn@D;.:ydX`f\@-ϐ0ϩ ǩ{$_<*۩ @j;@@D̠  ΩP$>֩6$YO-B"+1@@!6KZ7\it^)v .{ Dq@Ӱ˰5uG@ذH Ʃ ~ϰ~F,]$K&O_mZoЩ 11s-57@(lab_lift8ujh!Xb!YeY(tr jk_ 1F0|z!Wtuvک 9:ldS&?jmDE"-| ScLM*5E4UVoZ6H]ܩ xP!&&"s'(ĩGqƩL<$3wb1  ._W'\LR@C4W1ߩ e g63JRЩk[aa߷r׷}طٷ|ڷYW>H+YЩG~H DKB><bSLRJZi6420.#s''o"s0 8_@ `GIbK{MЩķ!P "U' oyxbPSLVVb  6P6 ܩ@E 4v6x8z;91(2,3շ( ط'x%+yy())Y1ܰFu[0g5@F [']Щab`<X!V[طɷOƩ6 ljbc!Cfʩ)*\C. /u@]w45>|zr{p|@lfE@MII}@ @@@A@0unlab_sound_type@@@%proj1!ew@@v!u@@@!v !T @Ҡ@@Ai۠@@A@@{O@~F@@A?@)@ &B!@@@A@@B @A%@C`@@@@t@ک1P-@BIE{yrz/@@qBle]YB@~Cy@tlhBFOU@@c@@A@2unlab_sound_tposrp@!e(4i@@'!u]>s@@<@!v !T !HO@@&tposrp@687 @*tposrp_ind +)#!"#i@@hA>j@@87@ATXYHF!X@!YC!ZF97@AOhjiB@@,Wprq`^!WXYZ[NL6az{)IHtposrp1>71?3l1"H0\/Fq)IHtposrp2NG9A!UAOPJDLC Z~|@xe^d%XT@@A@.unlab_sound_wf@k@@\!eҠޠ@@Ѷ@@@@Ω@@+*@@BѠ2@@ː婜;@@@A@@B @A(%@C!A$#X@@!@!nBA@@@?@@W@E>ש8@B"E@$Wljk(b*뛠@@@lB465bA!W>=>@}C,EGFs@0)K@%proj2(O'PR@A?XZY$A"::^:B@@@@A@.unlab_sound_eq@(@@!e@@!u@@@!v !s@@@@@@Bʠ@@Aˠ@@m@)@@AFD><5=31@+Cǩ&@!̩[@WU@9@թf@@9B4(R@B-W@A6`@CqΛ-,+@@*@@@Ͱ)[M@B T5NAF@|AwphdhGOBdms@@@@A@2unlab_sound_coerce@dc@@鰶!eNZ@@M!ued@@b@!v !sr@@A@@y@@BF_a`@@A^@@X,@a[v)@r@A~FD><5=31@+Cl&@![US@7@d@@7B2&P@B+U@A4^@Co@@@@@)YK@BR5L@zAթunfbfکGOB ! *0@@>e@@A@1tposr_unique_sort@!G#Env%TPOSR @@$lenv!A   @@ @!B !C !s - *@@@"s' !H%Types* 9@@KA (@A '"H0  Ȑ!jB u ~ N@@é  9!(JRussell Z@@&coerceA 8T c@@ 2򩚰@ ;ީȐ"j0(t" Y x  Ȑ!t( @@Щ& "N r9B  Ȑ"t0Щ7թ1"   SG @@ R=G 3 0  @}@l N$Init#Coq@@ O@  @@A@4tposr_eq_unique_sort@!G%TPOSR @@!A ٠  @@%lterm@!B !C!s  @@@"s' !H) @@B j   ޷"H0   o  Ȑ!jB!,!5!@@   z  ֠!@@A J!@@  @   >@ @A Ȑ"j0( +   !" / Ȑ!tߠ!8@@Щ* 6$ @  !'9B Ȑ"t0Щ9 3 G !4  !U@@ ? I   !B!Ay@u@j!@@!@!9!R@@A@8tposr_coerce_unique_sort@!Gq!@@o!A!!@@@!B !C !s!!@@j@"s' !Hnڠ!@@C!!I!t!"H0 !7! !y!Ȑ!cB!ݠ!!@@t!E!B!+!!f!@@e@!!@@!!V@!!W!B!Ȑ"c0" !a!G!! ک!g !Ȑ!tP!@@Щ$  !\!Щ1B\@$term@A!gȐ"t0Щ8!:2 %!p! "@@ >!HH!E!!!!~x@t@i!ed@@!@!"@@A@@@"I"G"F h ggf76|{̐@@@@""C x@0=U4r!@#Fꠠ|&Lambda@0J!m@͑ә;ˠ"D%TPOSR&Lambda@02%〠$Conv%TPOSR&Lambda@00#Ƚ"c})Reduction%TPOSR&Lambda@06yZڍ:񧠠)LiftSubst%TPOSR&Lambda@0խD?(wah;R c&Lambda@0*p <%MfyUƠ , &Lambda@04dN4K5UnicityOfSortingRange(JRussell&Lambda@0ھCUՃqt~/GenerationRange(JRussell&Lambda@0t4?Xנ0GenerationCoerce(JRussell&Lambda@0R#4wㅀeL^1GenerationNotKind(JRussell&Lambda@0ŬdyɟԨaD(JRussell&Lambda@0w?B@{Sɠ(JRussell&Lambda@0@Ď$UR6HZ0PreFunctionality(JRussell&Lambda@0 kUs?G}gv (JRussell&Lambda@0^O)Ht4eFX (JRussell&Lambda@0V.'n*Conversion(JRussell&Lambda@089,,Xsᠠ,InvLiftSubst&Lambda@0c+Ttћ(Conv_Dec&Lambda@0rǰ*GJ%Union+Wellfounded#Coq@0ޫ.6CĚ~Z2Transitive_Closure+Wellfounded#Coq@0߭_^ n}DW$^ Ҡ(JRussell&Lambda@0v[+T:%~ '(JRussell&Lambda@0s տ>c.3!=!&Lambda@0/t)>ye,ܠ'Tactics&Lambda@0z*a,%Utils&Lambda@0Kj;~ܙ#Env&Lambda@0beӯD Ơ"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#i#f@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Ԗ$List%Lists#Coq@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&&&@07^kO(>=&9@0֠ǿ/`U)Notations$Init#Coq@0JH.+UI(~@@&֠&Ԡ(CONSTANTA@@A#_66)IMPLICITS&@&AA@@@@&吐D@&֐@&̐ @@@@#_67/ARGUMENTS-SCOPE@)nat_scope@@@@%%32@@#_68-,@%/+@@#_69@ @ HG@F#_70BA@ @ E@ @  @  @@@@#_71C@@@@@@@ ts@F#_72nm@ l E@ @  @  @@@@#_73o@@@@@@@ @F#_74@  B@@@@#_75@@@@@F#_76@萐E@@ސ @ߐ @@@@#_77@@@@@@@U@F#_78㠠@_ᠠUE@Q@K @L @@@@#_79@@@@@@@Ġ@@#_80@ ̐G@Ő@ @H@@ @@@@@#_81@&@@@@@@@@@?NM@@#_82HG@IFGG@B@; @@9 @@@@@#_83S@&@@@@@@@@@Š@@#_84@͐G@ɐ@Ð @ĐH@Ɛ@ @@@@@#_85@&@@@@@@@@@@#_48-RESERVED-TYPE!i @@@(@#_49!k#_50!m#_51!n#_52"!p!#_53(!s'<@&r@#_544!A3=@(@#_55@!B #_56F!M#_57L!N#_58R!T#_59X!t$#_60^!u*#_61d!v0#_62j!ei@(ՠ#_63u!f #_64{!g@KESP[Xf`qk|vàΠ٠䠠 !,&71B<MGXRc]nhys~ƠӠࠠ-#<2KAZPi_xn}àΠ٠䠠 !,&71B<MGXRc]nhys~ˠ֠ᠠ젠 )#4.;9F@QK\Vgarl{w)kŠϠڠ堠 &!0+;5F@QK\Veanjys~@FS]gq{S@0rNU+t