l(~Р0GenerationCoerce'Russell&Lambda@B0GenerationCoerce *type_range@@@ !t%Terms&Lambda@@$term@     @@ @@(AABBCBBBAA@DA(!s@$sort@B!n)Datatypes$Init#Coq@@#nat@0."t01C534"t17D!U;!V>+CA#E@ ,\g*(= @;61,' >'>'>'>'>3$'>'>'>'>'>'Q''+g6'+7Sg6'?(AABACBDBECFBGBHBIAJAA@Yt]a@@@@-subst_to_sort@!tml@@k@"t'  @(term_ind0!s@e@@%Logic$Init#Coq@@"eq@##@%subst^w*@A@@#not5E":px-+"s0.!H-E"}"H0!n)Datatypes65@@#nat@GEBZ7^@B94"&SpecifLK@@)sumor_indਜ਼ @'sumbool@%Peano\[@@"lt1@Aj5u#@%sumor@ Kv,$Init#Coq@@@BAA@D0,$lV&n0p(!C @<@BAA@DC?7Fj:!l _J@$predG!e@$liftNI*q!aku@+sumbool_ind><Aɰ8˰#3I"H1հ2=Ȑ"H2@&eq_ind>6\@d@@Z@DA[(@󛠰@%False@@@$True@@@ @@A/l@)False_indH^x!b;&` U75+e.,.c)LiftSubst@@%lift0l!9nT%"V)AtRPFyGM@@DJ(GB==;===<<:xF7l+Compare_dec%Arith6@@,lt_eq_lt_decC[ͷM]Qav>$+&#t'1j%IHt'1^#t'2p%IHt'2db@_wTQ@Lf~HFom?j_©@CTaB\vqXnȩ`@@D(@N@@c<:864h멜@D}k)˩ @@D(%$é^Ʒ\ZȷXV#t'3̷%IHt'3@ө$@°ɷưީ@E#!ҰJˠK(10@Q@DO(^@^H堩K0WĩG @FJ'I TS@t@Dr(        jmRy"$)i-@GlI>4k vu9?@@D<(9//-//..,8))A&tD6FԷ863K(O@H* k`V3 %[a@@D^([QQOQQPPN%ZKKcH_f$IHt'ZZX*UmJ:q@IL-GayC|YK@ޠ@D(wwuwwwvtKqq&~~|Nyn^@JpQ$yܩ k@@D(  k@@@@A@&is_low@@@ !t;:@@9@A  :@5@D4(!s@3@@'is_prop@!n6Ӡ@@3@۠ڠ@@@.,"t0/ 201"t14!T7!U:?b?=A@ ,hg*(= LC=71+# >6'>6'>6'>6'>3$'>6'>6'>6'>6'>7$'Q''+g6'+7Sg6'"l&*.2젠6:>4OP_ZApgqo@@@@+red_sort_eq@!s@@@!t @@!H)Reduction@@#red@@Aũ@'red_ind _^]@@\@&֩ @A-!P0!N3"H00(]᷐"H1 ?ө/巐"H2>@$red1@Ȑ"H3/@Qt$RwDS&Lambda@@@@HCCCDDDDEEEDDDDDDCCBDfdge@"@Lk[L@RqTscN&H!Mz"N0}!T6d@D@C=!4""H4s@%subst+%$ L3-!e%Terms&Lambda@@$term@@_@DA`(@@@@Y@@V@ @@ @@@@@@AUo@)False_ind@Щ>v:gĐP[ٷbڷ`۷ީ@I@E|}[z] RP@@DH(EA992999681D.kܰc)@J$z ~ !qo@Ơ@Dg(d`XXQXXXWUPcMHʐ˷"M'!$֩M"H5.-5˷8@@D(}x~~w,Ow%Dٶߩ,K֩;R uwU9V X˩<[Ӡ 74A`ؠ _gߠ j@@D(2GTs/%&'$"M1y"N1|2"M2d5_\i1B@ 5%@G@DE(Z=Πo|A+0WMNOL!"N2X=-$Y7)U<fd0IY@k@D i( ~a<OeT{qrspE÷!SƷ|aQȷKɷ<̩u~[ѩgz;Щةphn;9@@D1(.*""@!###"" .ư} uw%ͰܐSְͩ吐Qr'۩$,q+qo@Ơ@Dg(d`XX6XXXWWPAcM7?5̐-%!"%BJ *GO)1Nɷ4@@D({{Y{{{zzsdp=ZbXPHABݷD(GI@F&#0ON VY@@D (!6CbfgiܩMl%HERq*p+)x1{@0@D.(C&ͩXe=*@6785?$ o@G!Cmjw&?PNC3@U@DS(hKܠ}O9>e[\]Z/dI9#%eC*aH(rp1Ue" @w@Du(    m˩=[q`}~|XϷVзkTҷEթ@HhݩmMܩzGE@@D=(:6..'..,--&9#ĩѰvUj۰%ַө*o1i g@@D_(\XPPIPPNOOH[E=Đ÷= ة%GJ(@ݠ@D~({woohooolngzd1 AXé7Ƿ:;ַ ?=ַ%DAIGnL@@D()6U e$@:YI@?^A`Pʩ<fV֩@jwuom@hQpV@@A@0kind_is_prod_aux@!G#Envb@@#env!tLl@@J@!T !H%Types|{@@&coerceB2EN @'typ_indD)' @@@@)`+@A/@a@AB@@[U!eG42Ay"H0%G(@"or@A.!@$@B5)@C;@A %jW#@BGI3xe1!n)Datatypes:9@@#nat@u|:@)item_lift"H1e^Ȑ"e0(Thinning@@,wf_sort_lift>©t@"ex@J!sMvة@&ex_indV WkS @@!x_"H2 @)False_ind1GenerationNotKind&%@@,typ_not_kindηŷ"s1x,&IHtyp1@跐!Mַ!Uٷ"s2Ѱ$List%Lists@@$list@B M&IHtyp2!m䰩 &IHtyp3@ذѩȐMݰ@F/Ȑ"H3@  '*O@J@DAK(@m@n@@p@@@@@@AYyp򐩜(@C?b6!v/!V2)'h@d!u8"Ur;0[l?wT@"DEqtuĩ'II@%substi%ǩ@:gh%Jir5Wl.Z@1type_no_kind_typeL^s ts AcCeg@G~l@,type_no_kind%Logic$Init#Coq@@#and@BB@D@`@@| Ȑ"H4U[(m*oѷ`Mշѷj^M@~uxY' ߷hu]&IHtyp4@p"s3n@(sum_sort6ǩbzȐ"H5ΩiQƷJ @ @D ( -$@EzR ް   O!mаɐ ˩ # -31/-%#1D~B  :T5Π͠@@@B@AD!y@ , N@o O*@'f_equal з! b@ ]@D'% \( ^S+),*G-+.,/-0.Y e E)/-{xM p N  pzU @&or_ind"Ġ&\(ʠ,Π0f2&4@'and_indЩ: nܠ>U \⠩DUЩH""H6&h!C"%Terms&Lambda@@$sort@@@@@@D/m da)   7,Щc53g9~77 m?~==:ЩqCAA)C̩HjI'@@D Ӱ~K     G|@&sym_eqR Lt ٶ@^ ېK~m  W@qװ  b hζ@<; @ @D (-x@ @@P@DO %%_]&з( ) @H  ݷ޷߷֩԰  }  %IHtyp@Ȱ  é Ȑ"t0       ذ  ܰ    0/ A 5 A 8 B@D@kk Kmgep G$E>:8ݩ"٠&@I  D -  Z)2 Q5 v@@ r@D( p(%$##!###" q@   o xIR X ߠ c q  c q䰩(JK i w,N  P LU r&Vꐩ n  1  5B@D@⠩ z dѷ/tmkl=mdb   @Rt K%3ٷ@F o  @_lXO ԩx@w  J 2i b_   S h ȩ j @-coerce_sort_rp [ Щrr _렩mzz      ܐ@v@@A@/type_kind_range@!G "@@!t  +@@ @!H 7 6@@B  @A@ @AB ? H G@@      @@ @A-9720@(@ "@@A@,sort_conv_eq@!G  K@@ !T U T@@ S@!s @ D@!H 'Russell f@@ B = P@A@A"H0 y@@$conv@ Q fȐ!e$Conv @@-church_rosser Y" a }   @@#ex2@GdI%@#red@  P9 r %Logic$Init#Coq@@@CC@D@%de   hQ  /@ 7@q  !xu"H1"H22d  PB p @@)   ȩ q Ȑ"H3Q@  !K   } c ةO Ȑ!i@   l!@ϐ @(term_ind0  ׶?l ۩!v  ਫ਼Ⱀ퐶|ĔAط (é@ѐ Л   @@ @@ @ݷ᷐ ䷐  (   ~ Ӑ@"s0\ې 6ݷթӠGEb` #3 %Logic$Init#Coq@@@BAA@D@@@  ɜ@B Μ@C  bȐ"H4)Reduction&Lambda@@@A@DAD3@ v@˰9 p Rа>% ]'S g 'Ȑ"H5 @6LC"e0O=@ @D SJ (NL  sWX VYZ[ S\ yҩCQ X Z(][fr&@Ak2 6-@f :4 qsO+ 1S@@  "H6 hTxnUCgC ¶I  ȩ%z|XtP  PX' ԩVe@(eq_ind_rW>F~@)conv_sort   өJ 0 sB  nO   @TV:h `l<AAD ɷ@ @D (||M{ xvh̩ʰC@B Ƿ 3p  3PN   @@D@ + 7"T1$IHT1Q"T2$IHT2X F @v 0 rp - 3S Ω@C 7 P  B2֠  W A N  LO @@D@S. M V p9175331(&񩜠9@D Z s#  eU̩  z d& q  or B@@D@vQ p y \TZXVVT"T3Z$IHT3QO G?= C  ̩ʰ  k +_]3p@E   ZRP  + 0  H  D   5  y@@D@    ʀ K@F  }us N &S   a  X ɩ Zשv@.conv_sort_prodr x ᩚo@#not{#  Ȑ!c@(sym_conv-   ީ@)False_ind[ɩ8  J η#зηũð @G  i  IG    @@D@  0F @H3۩٠ %  :$ljǩ 1 /2 @@D@6 0 9S#IHTk   5@IVHmܠ GΩ RU %@@D@Yư4 \v97#,* V=@Jw'iЩ hsv F@@D@zU } OKI } RA97 ¶ Ʃİ  ~ g ԩ g usnlfd@_@Kq6@@A@5coerce_sort_l_in_kind@!G@@!A۠@@@!s @@"s'!H@@@@AȐ!t@-coerce_sort_la 𩛠BgȐ!a@(typ_sort @@#and@@@'is_prop驛@@J"/D@A@'and_indЩX=S"H0 "H1dIȐ"H2%Logic$Init#Coq@@"eq@BAD!yy@5|a*D@:>7<z&7I@lC?Ȑ"H3U@ @@$term@@c@D{b(d!nZ@@W@K . +Q2dti\dy@*hp}ks@Ap @t@|yy}Ѷʶ¶ö@@@A@5coerce_sort_r_in_kind@!Gu@@t!A@@@!s @@"s'!Hym@@x@@AȐ!t@D өBJȐ!a@ ީpon@@@=@ɩ @v@F+@@A@'and_indЩoT9O"H0 "H1`EȐ"H2B͠AD!yk@+nS@0s-2l-6y^5Ȑ"H3I@y @3@Dg2(4!n*Ǡ@@'@tu vwx y!,TDY,Tg@X`M[c@A`ݩs@~dV@liiZm]@x\s@@A@1coerce_not_kind_l@!G E@@ D!T@@@!s @~@!H F:@@ E@v@A@AȐ!t@B876@@)False_ind @S@Šc@@.))@I@AI1USNLFD @AB@@A@1coerce_not_kind_r@!G @@ !T@@@!s @@!H @@ @臭@A@AȐ!t@8B@@)False_ind @@ +ɠ.@@ *))#@@AI1USNLFD @B@@A@4coerce_propset_l_aux@!G Q@@ "Ts[Z@@Y@!A "s' @M@!H  n@@ @?EXa@*coerce_ind0+)$"#!s@@@@1U3@A|@-c.@A> j!eK=D 964Bt"s0A"H0("H1+Iy^PW!BZ"A']"B'`<URP)IHcoerce1C\@Ak$:@Dn0!)B*3!,ECmk"H2h  S@@ @BW̷)IHcoerce2e~@c\@;fR"H3M  Y"H4T  *T"H5z@F  x"H6uȐ"H7@Q x"e0XW@@@@ @D!tƔA(@@@@@@@ @ַ@ @@ٷ@ڛ@@@A@)False_indC  Au/,8@Ͱ#ƶ@а&%.H|zsqmk#s''i@ Y GSd9<Mc@GRc鷐"H8Ȑ"H9q$TSp)n@t@Dir(d`XXVXUXWWPjcM1 yũ'ϩ7 ũ/:שU 1Ȑ!cB@8I;BhO@@АV!Cհ٩ΐQ@߰ Fض@'өX ސ4W@@WȐ"e1g&@A')Dy,0-u3X/wNȐ"c0Kc>@HА[#ci|KIDB<C:8@3!:@޶@ϐ@@A@4coerce_propset_r_aux@!G n@@ m"Ts@@@!A "s' @@!H rf@@ q@@*coerce_ind0+)"%#!s@]\[@@Z@13@Aٶ@-.@A>թ Ƿ]J<C853B"s0@"H0'Q "H1,J_QX^Z]\\^:SPNx)IHcoerce1AZ@?i8@Bl. (1+Aki"H2f  @@ @B ')IHcoerce2c|@a Z@8dYP"H3L`W"H4S *S"H5x@Fr-v"H65sȐ"H7@j3"e0Z@`@D!tAc(@@@@\@@Y@ @η@ @@ѷ@қ@@@Ar@)False_indߩ=RQqݷکs@ǰ@ʰt]W|xvomigWd@ a_^ @G/᷐"H8 -Ȑ"H9k=<i@Ǡ@Dg(b^VVTVSVUUNaK'UTη4U.T0S2#!؜*@C(IHcoerce0@@4 ַɰE[Ʃ<@B&?]DEK@ C@D0I~0Z\@Hh4a1b4cTR1.C\@,%n)JcHr C7lCms@ k@D(D W$A|+MLd}zE#[@H^+@%N#)ReductionO@@$conv@ η #:k@~ w@+r.e |2#p^<}U%;|SJ^ITU  "ȩ\W#B ,@@ Tjbnө7%d޶@ð@ưȰXT#@ϰȐ{ʶ@԰;ũְWȐ"e1@A  _V|"w?АY)v1'% @@4@萐@@A@0coerce_propset_l@!G@@!s@@@!A @@"s'!H @@@թ@AB* @@ w 䩜@@@A+ @^ DB=;530=@,@9@@A@0coerce_propset_r@!G>@@!sHG@@1@!A @L@"s'!H [@@@,E@A7SB h@@ Ω ;AT];@@@A+ @OIbkDB=;530=@,@9Y@@A@'no_sort@@@ !t@@@A  @@D(!s@@0/.@@F@!n98@@@@N@,*"t0-0./"t12 !T5!U8=;?@ ,eg*(= IC=71+# >6'>6'>6'>6'>3$'>6'>6'>6'>6'>6'Q''+g6'+7Sg6'l"&*.젠26:4OL^Adfpn@@@@+is_low_full@@@ !t'&@@%@A  &@!@D (!s@@@+!n!@@@ƠŠ@@@-+"t0. 1/0"t13!T6!U9*M><@@ ,hg*(= LC=71+# >6'>6'>6'>6'>3$'>6'>6'>6'>6'>7$'Q''+g6'+7Sg6'"l&*.2젠6:>4NP^EApfpn@@@@2sort_of_kinded_aux@!Ge@@d!t@@@!T !Hcޠ@@bB@'typ_indD%#!s @@@PON@@M@-/@A̩@#and@@̜@AB@@ސS@#@b@(.ߜ/@B-3䜠4@C@zgdSQADB"H0Ag:.<8@A@6(MS%%OU'"@/Q@@"H1C6@A^@Af8 @b@&or_indhn @jp="H2o@x{y4K3u4nO$ 9"e0G@B@DAC(F@@DI@@==!nC@@@@GI@A(]M@)False_indRb8;P6D4Jyfg}W=l3x@s@D1q(t@ @D.v-gg*     wgw~|x@@Cso@Bʰ̰q{nkigle`f\@@DZ(@@DWVSIIGIIIHHFkCvy><u k @@Di(@@DfebXXVXXXWWUGR db#@"@@vȐ"H3   /ɩ 1> @@ _G@ @" 4@&ex_ind'*(<oԷ,%Ȑ"H4RɷLSG(ϩK,穚 .-@@'g!qcjLcaB&IHtyp1US@Pv!ID@@; @5&   d"y  @@ @B"d&IHtyp2"&IHtyp3}@ql@hc@]N@F,/vٷY@T@DR(@D@E@@G@@@gZJ@E@Cz @EC{ myܷ ַ طͷj@f ޷ ~հct9TǶ@İ@ljvͷtʰ𩚰@ klǩѷfЩdx۩װ |۰Uc@R\b @g88@GC @B @D@  ȐȐ"H58Z9zַF? 7ԷзfC8S*(@%KuL-ԩB#߷}R©Ge|d&IHtyp4=;@8^n3.B;V@JHEkRQA;qXRƷu@@D( I@@@ElTJ@3 %1#n" r0%(j&{y voq1:F8753%$E7I1H%G;BAD!y@U@O"@M@}zwd2u@3x@s@Dr(t'%[ܷ޷߷Wa({aO](SwʩaDdef0-0^թ tKrɠٰ͠ݰ߰Ӡנ@'and_indЩĩ堩"H6 Щ$"H7( @@D̰spͷ/$Щ/Ʒ ! "52Щ &9з;,+,=@5@D)ߩ,@5@2X&@@ݠ` i[bYWIG@Dj=8k `p} շ߶TR@OuHCXVBРAD|@Y]*\f+@&@D$(9;:)kq>s@vtb@sy3^#@Sx~8Pz:M7@Rj/@_\Y @@DJ;;vK;! +ghP.PaZ\85;PY%IHtyp@Ʃ@F@M@xPok]GDXnwȐ"t0:Yɠ dr d°>jư  k ΐBؠ@D@ ʩ֐iηhP~w<@ -JFD @I7<&0s!  # B @D@5 ǐ9:4( ;/>@@ޠ@D( @YF(N 1v42.T'0V#YַZ![c^\]^USEC@@f9IG\=ٶNL@;@72@,j#߶\Z@W}PK@GBԶ@<-׷z@"s0mfjcC@a  kM:s<M3POwȐ!a@ L% G{ː)L @ M@B@D@אʩZ@]w ȩGc 6B#ADϷ@ҩIn@hpsݩx·B %@@D(42}zʰe\\r@԰ ذ#X ƶ@ް`Ҡ@Ωː@Š n@@B@D@䠶@Xې@XƐz%f'# @ՐA@ϩS@  @@A/@=-9B1@D@@,2wǩͶ@39~ 5;֩A#DB>d7f+s?!"H8@`@MS5U@0U[-W]*' "H9Ȑ#H10gjhdj$$OflQ opleW,n -"@[,45@^7Ȑ!i<jB@D@kZF+Ȑ#H11x@J@@@D S DDlTD~[Y=-# @Z@@@DcTT wdTKT8ϩIW]le$2ILVN55@Q ,emtg6\y@!X@BҠ@D@@ͰY@ @X}}  @@ڠ@+@@A@/sorts_of_sorted@!G@@!tՠ@@@!s @@!H@@Bϩ@AݩB @@[ɩ ީzyx@@w@A1 =;64.,@'@*@@@78@A&@@H@͐/@@@A@.sort_of_kinded@!GQ@@﷐!t:Z@@8@!Hfe@@B.7@A@8@AȐ!aBqzy@@/BKݠܠ@@@@ @@@  @^D@<@&)"@MsB@D@"@P@Su"H0 "H1@w-@A,Jmkfd@\.@@A@/sort_of_propset@!Gl@@k!t@@@!s @@!Hm@@lB@A"H0 @Ȑ!aB@@ Cǩba`@@@@ @e@5Ü6@A@Y@&ͩ!@s`B;@D@!@L@8٩"H1"H2@Dz 鐶vtomge@`@P(@@A@@@@>=̐ˠ BAxwʐɠgf   t s  ̐ˠGF=<Đ@@@@e'Russell&Lambda@0—ˁd0Z̔Ġ(Coercion'Russell&Lambda@0|¨i%ż=1C,Substitution'Russell&Lambda@0MiegL4-'Russell&Lambda@055kCrU@*1%&Lambda@0/{Pϓ9!­#Env&Lambda@0beӯD Ơ&MyList&Lambda@0 F1t"P(Conv_Dec&Lambda@0rǰ*GJ%Union+Wellfounded#Coq@0ޫ.6CĚ~Z2Transitive_Closure+Wellfounded#Coq@0߭_^ n}DW$^1&Lambda@0*}Q;<0WUlod&&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>E0KH!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)Datatypes$Init#Coq@07^kO(>=0֠ǿ/`U)Notations$Init#Coq@0JH.+UI(~@@#S#Q(CONSTANTA@@E#_46)IMPLICITS#g@#cAA@@@@@@@#_47/ARGUMENTS-SCOPE@@@#_48@@@#,+@A#_49&%@#$#E@@#D@@@@@#_50/@@@@@@@ iSR@E#_51ML@ sK@@@#_52J@ @@#_53_]@@@ ut@A#_54on@ m C@ @@@@#_55u@@@@@@A#_56@D@@ @@@@@#_57@@@@@@@@A#_58@C@ @@@@#_59@@@@@ޠ@A#_60ܠ@ڠ搐D@@ސE@@@@@#_61@@@@@@@  @A#_62@E@@ @ @@@@#_63@@@@@@@ʠ87@A#_6421@0ҐE@ϐ@ʐ @Ȑ @@@@#_65@@@@@@@@&dc@A#_66^]@0\.D@+@& @@@@#_67h@@@@@@A#_68@D@@ @@@@#_69@@@@@@A#_70@E@@ @ @@G@@@@@#_71@#@@@@@@@@@@A#_72ࠠ@ޠE@@ @ @@jG@@@@@#_73@#@@@@@@@@@|@A#_74@E@@| @z @@@@#_75$@@@@@@@QHG@A#_76BA@[@YE@V@Q @O @@@@#_77P@@@@@@@&ts@E#_78nm@0l@@@#_79k@ @@#_80~@@@@E#_81@@@@#_82@ @@#_83@@@Z@A#_84@dbD@_@Z @@HF@@@@#_85°@@@@@@@@c@A#_86ᠠ@mߠkD@h@c @@@@#_87@@@@@@% @A#_88@/-C@*@@@@#_89@@@@@ˠ0/@A#_90*)@(ӐD@А@ː @@@@@#_915@@@@@@@@#_28-RESERVED-TYPE!i @@}@#nat@#_29!k#_30!m#_31!n#_32#!p"#_33)!s( #_342!A1&Š#_35;!B #_36A!M#_37G!N#_38M!T#_39S!t!#_40Y!u'#_41_!v-#_42e!edr@#env#_43q!f #_44w!g@ڠ堠ꠠ '!2,=7HBSM^XictnyƠѠܠ砠$/):4G?VLc[ph}uǠ֠堠 '!2,=7HBSM^XictnyƠѠܠ砠$/):4E?PJ[Uf`qk|và'ΠӠޠ頠  #%0*95B>KGTP^Yictn~y@ ̠֠@0'攆Tgq