#w4t@Р(Validity%TPOSR&Lambda@B(Validity ,ind_validity@!n)Datatypes$Init#Coq@@#nat@%Utils&Lambda@@4wf_lt_induction_type!e#Env%TPOSR@@$lenv!t%Terms @@%lterm@!u !T@*TypesDepth,@@)tposrd_wfAАDCBAE%LogicFE@@"or@ @"ex@1J@@$sort@!s @"eq@A%C@A(a@#ex2@L"T'O%Types^l@@(tposr_wfAGA?!x!H!y@%Peano@@"ltRS}trisgt@e\[ZYFX|zq{o|"H0 %Terms&Lambda@@@@(AABCCBBBBB@D!ltwvHsjf_g]{YTkPemNI*`(jr'/e@/tposr_to_tposrd Pj "H1`WȐ!a*Generation @@/generation_sort-H@#and@P@A@AݷKO@A@'and_indЩԩz&"H2 "H3.۷"n0!@Br^ sh[YW@.generation_varRذ!B]+@*item_lliftCJ EЩ/ԩ034u   ] jeNLC*D(*hѩ%L10%Logic$Init#Coq@@"ex@BB@D@2_F`DF 95.6AM@MLJA=6>4qG0+sB't<D%N[7Z"x0|/@@BB@D@Šhk]YRZeqomd`YaWGSNeJ_gHP2~Z}"H4uqjr}OYXBN@D@{t|F{y?upljR|"x1$ũr@(wf_tposrАQʐ~&T{@Ȑ"e0(Thinningߠ@@,wf_sort_lifts SPP%Logic$Init#Coq@@"ex@B@D@Š©TVV֠͠ɷʩAηЩV#搷"x2׷"H5@Bذ4ԩϰW'۩@A! e0RightReflexivity.<@@-coerce_refl_lАUp "t1/"t22#ک7@C/ ACD *x@7generation_lambda_depth10.#/h@#ex3@S"xT"s1&} Z)"M']"s2/!pee!Ch"C'k!q`%ҩ1jЩ$List%Lists@@$list@B<mnʠ%rΠutPtuԠ/yؠ^f&%Equiv@@*equiv_sort0@F_%Utils&Lambda@@d@DD@D@k߷ngpecau_ŷ]Ʒ[b+Yp gtکЩWl^q Ly"KJH+B@ʩOѐ>!b÷!cJ;LDE@D@#Ϸ&(+G)ɐlzM~QЩ5W[  _c&^I "a00"b0"c0[6D@D@==b>?e2OdG<ЩҰP[415QF <;<@[%b- qL"j9k3;yQ-P"a1r"b1u"c19+$Init#Coq@@@B@D@Ơw^<Ha̠'etРЩjz֠1"~ڠ \Dࠩ;䠩jƩr\ Rg~cxaXs/ũSЩC'!f]j W eܩj36.E^BX@D@wY!Щh*oT'X + wө/3˩Ω[S@\ͷϩZ吷(GЩ +YP,lMpQ UY߰y>myAB@D@gЩ,7MKmȠ[r# vѠ z="b>NcEF\k- ,W$qCЩٰW,Uũ $a,cJ<B@D@"]bЩvsFL֩5 CK Tѩݠ\@W<QY:^]pLo"ѠЩ{MlU!٠4ݠck[ũ/-B'@D@렩Щ2AcЩo N_~# Pt{wķu`Y"H6i :M2rAbB\@D@ {a%y.M6Ew&b?א,"H7;rɠc;[_HB@D@Iϰ Vנ[q-ix1̰d6#"H8,jyZ-$%e5 bАcer/0"t33$8@Dl@4generation_app_depth &%$a#\@#ex4@GGl!UJ"U'Mvt Q "V'T$W|"X'ZM@D?iNM[CPOکs@&lsubstN+\X4|"W'!ràtiߠ^jɠjOĩVqsAEԠZ b}ڠЩ!Ef0@@g@EE@D@nַjh_کof[sdQ/fi]ЩM9b =60bn_ܷ]jĩ:>ũ$+[l-KY1Щx\ة7ߩYܠӠϷЩưc©Է֩됷X  ܷ!d5c\l@#ex2@CC@D@ӰװD FbDfj/Np!RtvXƠ?d@f3(g)QKjMMrANOuT :HЩް\Y@?>B%bmD6d44IUCR@D@$lm`}HsR|R]ancVb&àmhDϠuGvՠ8[b?}MQĩࠩf۩n<栩Щ-B젩GЩt}{wrnl}PNTtIH@@@BI@D@ >lB>ae=C&omJũĠ lj+&ѩG4ҩ1Eɩdש{ <°CʠBЩT&H а  ٰ!ijJ'Z}j^Yb"  f\h(Je 1V2Xt%{Xz2=:"ȩAAf5BCi Hg.<ЩҰPq43[26$V;;B٠@D@6< VMIMzSyP,tuh]Ӡ^,CeJXe'5x9ȠNVqΠЩwvhuԠ/yN\& ~{rngoeaF栩 ꠩66@#q޷=;'.5zʷ~˷L  ЩZtmk@Ba@D@%H) 0Gu-/S8TԠ|z;W8A(ǰ%ΰf-  0LҰ ڠURЩ[X&s3Bj+Lҩnԩp1T  9^:`|-<"&#*EC*IIn=JKqP5q6DЩڰXw<;:>!^.CB@D@V8s֩>{mP,tuh _]Ӡ^$CPJ e5x9ȠNةVqΠЩwvuԠ/yЩ\P&N~{rngoea> 蠩 b̩8`iַ53ة+&trr·v÷D ЩRlgcoBY@D@*Cso1{Ġ lj +8ѩGҩ1 \ { <°ʠBЩ @Hа ٰ UdNZ~@۰ # H $ Jf b' ( l$ /i  3 3 X ' 4 5 [w : ! } .Щİ B'_ & % $ޠ (  Hՠ -Bˠ@D@ ߠR 4  X } Y  L{. AE B ' d. I h h  \ i  j  2 o&: U cЩ w [ Z Y  ]c @ }  b _ V R K S I  E h8 i E    Р J v& w֠ \ ҩc ~N   ·   R   ũᠩ g 5o 砩 Щ.      H  u ϩ?      ~  z u   q    o    79R~  ȷ ɷ ʷ N  ; @E    [  @5generation_pair_depth  8    } a     !A ݷ"A'         巐"B'     "s3  0   @G X ٩ 9 @ \ j_  =    A Щ  fJ   ?  G   K @(sum_sort    ˰  8  : V $  9  Z հ  B"N'  F b "    h˩ j  -8`<   0R@  &Lambda@@@E@D@ A A  fg Be C  l j G G  l . Hc I  p  a    R_ 1 /  H- ; ?  =   A3 T  b  c   V= K  J r $ l O m   `W U  V ɩ  = zOMaI ] ^  ~  Os  =MEؠ@D@E   W  o  - Z+  a ] ^ Р V  k v ֠' ؠ% ڠ # ~    ޠ 9  ⠩    _  ̷M = Ω ꠩    `  Q i  ַ 3 ة   D      Π Z 1  &Ҡ P '    ɷ ʷ "d0  !C VU@@ ~@B }@D@       F  k # % '  s   Ω +  ө / R  ԩ      7  2   ܩ ;O   #  % A % H  %   G I ϰ ?I  q1  m        i;H@ X@B @D@ ^  ! Y.  ȩ d  $  G  h j     n ɠ ~ r'     7 \ 8 ^ z +     ~6  A f$ B h  5E f *Ԡ T i +    OA 6 4Q 8`  u ީ 5 , ( ! )  \ 1   ^ -  _ ' /  _ E ! D E s  W N   ?    ]   P   T i   [ 1 y   z    m  b  a / ;  f   Ơ wY  l ` > m ̠ Π T İ@ x ve  J <B @D@ ܠ  ( 6H  ࠩ ;  䠩     0 蠩 C 4 젩 b T  i  ַ W  G ة       $ s   =   x  N  Z     ǩ6   .ڠ  f =              ٷ   )    A   {  $   G u  (   ,  ] Щ        4    / ٩ 8    } " >       D F ̰ ٩<>   n  .  oB @D@ T  Ω X  ;    \  ֩ `    ݰ % J  &  L h  (  o  l  / T 0 V r #      x z  =p2 $ " N N   #      Jk   L   M   N 3  2 ]=   E  w      Q  5   a   b    U L J  I  # k N l   _ T  U   < y : ` ^ 4 T  hB @D@ Ġ ur  : ] Ƞ # a ̠    I   7  '  Ԡ   z  y ؠ S  ~  © ޠ  .    栩 l ܰ.   >   b    {  y  u p   l    js  {  9   [     z '    o ʷ _           ԷU    f      +6  Ʃ FY  + ~B h@D@ ,  ( 0 7  ɩ        8 4   ݩ <   $  & B   &  H J а F@*   r[ ` 2       ݰ  ٩ ԰       =    5X d F  G  ) N  *  P l L    p  3 X 4 Z v ' Ơ F  | ~  A^t2 ( & ~R h R 0B Ƞ@D@ A Z    Q v  R  x  Ec  :  9   [ > \   OI D 8 E   If  / lx) S Q X} p G ة R V) 1 y   z    mT  b  a ө ;  f   Ơ wa l  m ̠ ' qg Ѡ W iǰ& { y p j  e@@C@D@ Z  Ƿ H  8 ɩ 堩      E d  ѷ . ө  K ?    P h   '   "ZΠ z               ^ η \ ,B Q@D@   "     t M   ߷` ! U  ǩq  3 ȩ '  ̐i ,  ǩ"0  ԩ Td۩  B  ՠ ̠ ȷ  ɩ      ͷ    ϩ J   䐷 . F  Q ð 0 2 N Y .   4  T  j Y ߰O+  h-  C - B @D@ g  @ ,Q-S o H >  2 u Рk z=p " WکN  A # J LM 932 6*"H9W|:X~ KF 2@ G /A  El +h) M Uݩy  > kCZ@D@,tWu hB b]  T 3^ bm  H j Qѩ  B pkb^W_UQLcH]eF5{Wz"a2"b2ķM*B !@D@ 堩E  5C ; 렩Fn v,  TͩĠ  J zv÷todv##H10 h   9X  N B [@D@zǐp$ ʩ L=  7 ͠ĠtŷǩqMݐ3#H11Aǰ7  iB  C B @D@OհdE   w4# 5 ϩYީٰ!"sD *#H12 3: ;  $6T89 tC  !?y  Аr|O  & E Fʩ7 .-,0 |@5generation_prod_depth542'3 S"x T $!m} Z) [ + O  FJ ˩WЩ k OMQ թ6s& ̠Y @%equiv Π @@ 0@D ̠@D@ 6T ; 2V2 ;Y 9 .[ ,Π g vҠ-z ͩ֠Щ q }ܠ7 שࠩf:0.X|xqyok  ~ շ)7D @D@ hܷ f [ Yߩ$c fZЩ J. d Y )w]:k)G ַ  + ` _@@@B`@D@$U Jp(t , s(ҩ04R Pgީ34۠ҠηϩŰh 䐷VF :H 8LPְy lu[r*>B@D@\ ^  b d'_ J 5 ; 9o   s u8| ZߩŰGt cB@D@2  ͩ  Ji װ#  ?0[ Wb Xz Bܠ@D@ y(e: =Nt _K c3pm ɠ I 0B@D@?|a ՠ1  } aby  j .%Logic$Init#Coq@@"or@BAA@D@t @'eq_kind  %plemx W    Ұ u/! @@#and@B.@D@x z !|    ĩ 󩚰@(eq_ind_rĩ@&eq_indͩ5C @A   ;Q@"ex@B@D@ s  23Đj ڰ & & ̩ _ ͷqR#>@4generation_sum_depthfک ˷$"$ з'נӷԩFd JENxqJRMV Z*|ut@@@Ds@D@,Q -VT1V 2Y Jx}z{|-y$x"۠&. I,԰ -M\Zt!/D@D@V%{ W'~.*o+ywusZ-jũwQ-PBp@@>%  @@"@B!@D@RNOàŠ}Ǡ{ɠ~qn͠SQtc"@@B@D@ܠޠ䠩蠩n68lfE͠gM/BE@D@ =  7İwa M E?m "װSƩ&t ZVBl@D@0+a4 6Y:ҩ թ  f㐷fE GKѰ k0_u}B@D@W Yw<] -թE!  hl/|<iȩ1)B@D@x-s|?`Lʩ̰ %<  { JHWkװoBϠ@D@V&cc X K<  e / BР@D@CϠ ѩ<819D   NN v  AB@D@=z ?| ^  cDwIhE̩ķo p 'B6@D@gc\do  y%yh qmfnd ` r    yw+O@Hਗ਼@7generation_subset_depth#>oܷ mީs j\tf@CbS ЩRuY@Bqb3©BA 54@@ @C Ҡ@D@  3d5ک7U;Щn0A_E˰(+kI=e쐷Y 2` -C @D@̰9 ;WzY[]Pac&٩|  Ji] 1Q34 9 _% @@@B @D@7*@=32>U; ;jR:IHL/l S5B@D@h[_C۩֠c fȠy>l̠ ʩΠTZB@D@ڠ4B&ޠ xࠩf۩{J   8s yB5@D@ ݩs # & ԩb. BN@D@+`:  >?+Ӱ  #Ʒj@IN:@4generation_pi1_depthb}֩ 9 =ѷ % ԷթGK̰9=;W '5 -$$$$%"u'(!v+"v'.o2 e6[#A''9a_{,I! Bg#B''Ek8 j-@, !stA8  b8; d ;  ]2 (@@O@CN@D@ hh iPj1n~U1ttCC u v"FGTa_X cfdb>,ɠzornQpMljhՠ[/fRdݠuv.\ɷbE˩砩Щ._շE֩b^ |'Sonm@@@BD@D@p ؠZ1 Է շyAcGjé  (/Ω M[ϩUѩ6ǩ $">B*,HЩ Z-N67S75W ƩݰnS+^## F$ ?%hcl3X4\Zv'X F=u????6@ABC GInJrp=4%21 SxTzGЩݰ[|{>Q= 2Rbo F ѩ+hB@D@Q/rrAA s t DER_]V zb`^:(Švk `lOnKjhfӠYdPb۠t,ߠZǷ`Cɩ堩Щ,]ӷCԩ`\ ۩z%U}xtrMXҩ ʷ ˷woY7ܷ<ĩ ũǩ,'4٩8 ">Щ#D+ڠ,-I M Ӱ~@@Eh@D@ ; 4]+@a(M)QOk+0;2222)34 5 6w:~<a=ec0@%$FkGm:ЩаNn1D07%wxE<9 [+ɩ;2.'/%b!d3e-5K'J<j:kw;_<yRB@D@NK)WZR|/Qa_\8&àtki jM_ 3qMljhՠ[ ˰}Tféߠrʩ^˷dGͩ頩Щ0E?ajV׷Gة+d1$~r)I F[wnɷ  ۠+Yϩַ׷طٷک é  %ʩ)ѩ/Щv}hk֩5aˠ:G/ߩ>-İoDB@D@F 렩ǰ486R64 "}rܰ00 !b% X  )N*RPlpש3X4Zv'Щ;|kde2}B/&= H*CB+OtPxvCS`8 b9Yp">]]]]T^9_7`5a(eb LJ!i3j]RQܩ+s1tgЩ{^]tRrT1/fŠBKB@D@leaZbmzwv B@D@ܠbԩd ^٩i۩ְ "y BS@D@y q<33tCg@J'@4generation_pi2_depth;VϷ зѩ٩`|d޷ ߷"۩$٩Š,թx-ԩ8ɩ $">é@(*FHޠ01MOcհf @@@C@D@հC`bE>  ++N,G-pr7\8`^z=N????6@ABCGlHpnUOt Pv*|}S!^[@`oaC@@@B@D@%ҩY5xxGGyz&JK`<*ǠMIhfdѠL^נ٠<TZ=éߠwɷ9ʩWn4 ;I?ˠ$[uf^|jŷ۩̷ͷηϷЩշ-ݷ}! y &(T8tBl@D@0 || Weܩȷ˷̩>@ᠩ*.,Hΰ O    RͰ:><X}ZհBD`{bJKgwiP,Mu<=:11T2M3vhxf=b>fdbCbTEEEE<F!GHI^MrNvt\ UzV|Z0VI'dbR@#@E@D@)ll;;mn>?TRT0xyPA~=w\ZXŠN@RˠL͠HN1ӠJՠ}k-ڠFܠCbo(Dsqrs5CB&@D@75iַWة1z-x+{ķ'̷l%wh!Cch?  &'Ω28:"$@Bnؠ*+G I8ϰ B@D@Q ΰ;?=Y߰Z3    !"#$e(M)QOkmԩ0U1Wsud ]^z|4?!:9"FkGomL1 PPPPGQ,R*S(TX}"Yɩ`a];)2o B @D@S ߠt֩PLEMX~e Yfe B@D@ˠQKpƩV l B@@D@qmfnyq^)r  w a˩7à@@A@(validity@!e#Env%TPOSR@@$lenv!tʠ @@%lterm@!u !T!H@@AȐ"e0֠)@@#todҩР@@@@@@!n @A%Logic$Init#Coq@@"ex@B@D@& +@@0";@@@!s ;@@fh@APO@@@s"T'vf&%!xN"H01Bd@@534@}=j:4;2C/*?$:A JH5@@A@/validity_tposrp@!e@@!t{@@@!u !T !H;Π@@&tposrp@zyxwȐ"t0/LeftReflexivity۠@@-tposrp_refl_l@MABݠ@@8A?9708.9@*ڠ@@@ @@à@@@!s @@VX@A@@@c"T'f@@@A@@@76@@@@9%TPOSR&Lambda@0/ir)۠%Equiv%TPOSR&Lambda@0xXX\f4iF۠%TPOSR&Lambda@0x};X 6 F)MaxLemmas%TPOSR&Lambda@0iܖo 2S 0UnicityOfSorting%TPOSR&Lambda@0!&|h߱vȠ.TPOSR_JRussell$Meta&Lambda@0rNU+tܠ%Unlab%TPOSR&Lambda@0=U4r!@#Fꠠ0UnicityOfSorting(JRussell&Lambda@04dN4K5UnicityOfSortingRange(JRussell&Lambda@0ھCUՃqt~/GenerationRange(JRussell&Lambda@0t4?Xנ0GenerationCoerce(JRussell&Lambda@0R#4wㅀeL^1GenerationNotKind(JRussell&Lambda@0ŬdyɟԨaD(Validity(JRussell&Lambda@0w?B@{Sɠ*Generation(JRussell&Lambda@0@Ď$UR6HZ0PreFunctionality(JRussell&Lambda@0 kUs?G}gv,Substitution(JRussell&Lambda@0^O)Ht4eFX(Thinning(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$^(Coercion(JRussell&Lambda@0v[+T:%~%Basic(JRussell&Lambda@0s տ>c.3%Types(JRussell&Lambda@0/t)>ye,ܠ-CtxConversion%TPOSR&Lambda@0u H69%Basic%TPOSR&Lambda@0k4\^N1SubstitutionTPOSR%TPOSR&Lambda@0X 9o#i#!ؠ+CtxCoercion%TPOSR&Lambda@0V |^E̠%TPOSR&Lambda@08sdNЂn44PreSubstitutionTPOSR%TPOSR&Lambda@081ngJ>ߎT,Substitution%TPOSR&Lambda@0WEV~Q^J.PreCtxCoercion%TPOSR&Lambda@0tiI4)%;s,CtxExpansion%TPOSR&Lambda@0#n|jl~]m!ٓQ,CtxReduction%TPOSR&Lambda@0 t@"2pP%TPOSR&Lambda@0H{]% J7%TPOSR&Lambda@04)*()"e%TPOSR&Lambda@0J!m@͑ә;ˠ#Env&Lambda@0beӯD Ơ$Conv&Lambda@0*}Q;<)Reduction&Lambda@0WUlod)LiftSubst&Lambda@03eiV^o5#Env%TPOSR&Lambda@02%〠&MyList&Lambda@0 F1t"P$Conv%TPOSR&Lambda@00#Ƚ"c})Reduction%TPOSR&Lambda@06yZڍ:񧠠)LiftSubst%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%Terms%TPOSR&Lambda@0*p <%MfyUƠ%Terms&Lambda@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Ԗ$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, 'Tactics&Lambda@0z*a, &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)Datatypes$Init#Coq@07^kO(>= !'!&@0֠ǿ/`U)Notations$Init#Coq@0JH.+UI(~@@!G!E(CONSTANTA@@@#_41)IMPLICITS![@!WAA@@@@!VF@!B@!: @!2 @!3@@@@#_42/ARGUMENTS-SCOPE@#)nat_scope@@@@@@=<@F#_4376@5E@@ @ @@@@#_440@@@@@@@ih@F#_45cb@!aE@@ @ @@@@#_46\@@@@@@@@@ ͠ؠ㠠 &"1+<6GARL]Whbsm~xŠР۠栠 %4*A9NF[Sh`umzàҠᠠ & 1+<6GARL]Whbsm~xŠР۠栠 #.(93D>OIZTe_pj{uˠ֠ᠠ젠 %!.*73@<JETO^YictnyŠР۠栠 *$5/@:KEVPa[lfwq|Ƞ@Πؠˠ @02 s-AZkħ