plР'Unicity'Russell&Lambda@B'Unicity 0type_pair_unique@!e#Env&Lambda@@#env!t%Terms @@$term@!T !H%Types'Russell@@&coerceBCBA!U !V#!u&!v)"H0%Logic$Init#Coq@@"eq@9G<@EA@GD+*):7@'typ_indDYWOMEN%#Q6HFE,@"ex@^@$sort@!sW@*JISQ{ycaAWJHvx@A@BDAI,+>Ȑ"H1X@&eq_ind"e0%Terms&Lambda@@@@(AABBCBBBAA@DA(@?p@$True@@)Datatypesut@@#nat@~@%False@@@@@Ad @)False_indb^Z_XhVId@AзWɩSn@CPLJGE@>@D=(:5''%'''&&$+!i!n9ܷZ@)item_liftǷ婜@BЩȐ"H2j ig@`@D_(@N@X]KKIKKKJJHKTJǠML "s1&IHtyp1఩ݠȩƠ·é' !M("U0+"s2з!$List%Lists@@$list@B>#,&IHtyp2D* NA@KPRPO18hG&Y&IHtyp331_ %Y 5h_`)RQ3PCAoq@Cv;:7 &%0Ȑ"H3}v*@@Dg(@@ԩL 65lݩӠ2.*/(<PTS@FP,||"v0"V0xJFBG@Qc"u0"Ur+w[t|M`\X]VR~lw,l}ĩ@DtݩE̩wbDB@;@D:(2$O"$$$##!* {w|uf@%substŷշϷ?eڰ©ө۷[ ԩҰl-&IHtyp4װԠéȩ۠UA!"s3ķ"H4@(sum_sort-(کVȐ"H5 @'f_equal>>?@@DECC'(mIGJHKILJMK@@@D 5(yUSVTWXVYWZXX\Z][@ ^\'_]# Y '$0II9g20kkl@ؠ@D-S(ijusvt,wuxvyw@@@D9a(+,i4MJ!CRQN7;Zstc=\Z  @@DW}(8=01Dc`NLgdYNRqzUTsq" @@Dn(OT3}z*iO~Zhl|Vn"H6\""H7y["H8~]Nj֩~zv{t`é!Nĩ[X Ω@A3O@ATBH$[^/ ݰҶ^Z[.ȷ @@D(,uusuuttrQyoΠʷ˩";9&/#ҷ%! 3ַ)%ٷK=ǩBF E@@D,(Q-=ڐ66`^KTIG<;C/ B6_ݩR1d  H&<:hMn  <gQDBpr@H[xA6{@@Db(cԩʠ)%!&jj`}IsNts%IHtypigQ=95:3a[EXsq@IM" S@@D( )XTPUNIo|/+)@JlA?Ʃr><@5@D4(,H"wsotmh7ڷ۷?ܷѩϰķ˶Nʷeڰط©86׷޷Щΰ)ַ֩԰xޠݠ@@@BB@D@ !xŷ Ȑ"t0@-coerce_sort_rȐ"t1$@-coerce_sort_l:*Đ>R%8,Transitivity2N@@,coerce_transB@(eq_ind_r 79J0UnicityOfSortingD`@@+unique_sort TAB$$42` &HG iKLNxvnldm@`QoOpMqKr@G 9$#%^@@A@1type_pair_unique2@!e@@!t@@@!T !H@@B"T'!u!v"H0@@@*c,@E&#@'typ_indD@>9718;vu@t@B!UEG!VJ)LpN@Gķ\ZIGAʷ97Z\@A`@@B9Ȑ"H1F@rl"e0oq@j@DusA(@@W@k@@jޠ@@i@b@h@@@@@AR k@)False_indUAvt=:@C9753@@D1(.(i S]+D@\!"@B+Ȑ"H2S  S@@DQ6(@NA@IM??=???>><;D;̷ͩϷЩYE۷ԷW_ͩ˰NMN&IHtyp1V9Ȱ|URy尩QPU@@O@BS7q$&IHtyp2xٰȠˠ   JU56J]&IHtyp3QVaݠ "R׷&(@CjitȐ"H32 n57@0@D(u@:@;Q{zBCEF%HTTR"v0MNECtr"u0S8UJ̩Z@Fз`@>a֩7&e#f)h!iHkMKnp@Dp v y{@t@D (DSDAG?fL=H>*ʷus l)[X^V}TY+̷_}4 @`鷐&IHtyp4+||ywUv2M"H4@1!>ΩX SȐ"H5@.ܷp@ؠ@DT(!snmAksd ư{-ʰV6jְ%#@@D!t( @]A    }  G఩Ud䰐WPZ?=@@D;(:AwB!" #!$"%#&$HAb`X3+e5"H6 0m"H75v~Z@A=>@A C]N FG&I\<*@&sym_eqQ][ǐȐɷa_QXP}\nRmbeECfeknp@i@D(9}{mtl5x}ĩa_6lW;߷@@D(Uc SPVNuL f\:J޷@H%I I@@DG,(>33133220Y-6-Y/ŷ|x8w%IHtyp˷̩ηϩWԩ@Itrܩr@ڠ@DpU(g\\Z\\\[YMV_VMX)'%ͩ˰@J+-1@@Do(9vvtvvvusgpyOyx)?#_T0  EU3fP驛 @>USZ@&ex_ind&淐(d+, .m23568B췐"x0;w>?AB!D FG&I9-+N$ĩRSUV5X ̐ΐfd_]W^@SJ`HaFb@B&e#f)h!iHk@@A@*typ_unique@!ew@@!t@@@!T !H  @@ B  @'typ_indD%#!U @@@"or@ @ @2&4@A8@$sort@A@@ @!s:@?=USB@AC3Q"H0HK$!@BN7@&eq_ind`Tca>6eZX)&$'"#^5]H@ABqee5203..kkiJ@A{oI)Inversion{@@,inv_typ_propPyx};j7}YV@C52(`@+inv_typ_setbMЛ)Datatypes}|@@#nat@T@ذu"H1i@B@B~{y|wywD@+inv_typ_ref |"H2"U0Ϸ"H3&MyListT@@$item@"H4@$liftM@B@'ex2_ind!uư  ( !x"H5"H68  @/, ٠ַשQ ! ַ߷ B? - @ANK D &(Coercion 3@@*coerce_sym\-  4l@(fun_itemD 9K 7J 8OM?FI?= @ ?&IHtyp11O@D   E/' /'  P NE]@^BU$List%Lists G@@$list@Bp F * d&IHtyp2Vt@iy   D lVN?<:=8) w uשw = P&IHtyp3k@~  b iaROMPK0\ O  ѩ@C X #@+inv_typ_absxifdgbf@Fv R  v R  loo 鷐"s0u"T0ݩR _S eT  "H7U)   x   }W5V թ    e@@ BD   Ȑ!o   Ҡʰ ǩ"  @@BAA@D@䠩ܰ  ٩Ϡ̷ͩ4XW  k9[m;   "H8@)False_ind@,typ_not_kind    /B)@D@а5#Yr  )(v*  M /<$B3@(ЩFZ}  ; :; Ȑ"e0 K @@ V[ L ^ J -* N ` &]\ j WY@B4 z o^@A  t    9 ca@JЩt  ? i h ; g g}!vx!V{rp1`~@/\TEB@C> \ > { y8~ b  F r@ 6 ^ phYVTWR  ? T   D@D ] H *@+inv_typ_apppmkni @  n    n Y  ru  ﷐"V0#Ur0 ~ f     é     s$  {  }0   ѩ!; =   B@D@ʠ° ,L< N   -N7    6 @ @D  A (@Λ@ s@@x@@@@@@ @@A DtU  .   7-B'@D@_o    ( (50 _^%  2 P[`q  J T,Substitution C @@3substitution_coerce l    ^Ȑ!c0SubjectReduction P @@.inv_sub_prod_ry    N M^ }   R@.inv_sub_prod_l J  Y X(% &!W z \%Logic$Init#Coq@@"ex@Br@D@;8394G  o6 K  G s"x0C FЩ% D  C U~ rZ@,typ_conv_env/ [> b l 3cBg@-coerce_in_env@AIj f lK hl  ABPq fR os   Ȑ"t0j@,substitutionQl y n ^Ub dȐ"t1}a` } ǩe |zl ^ o   q r o`  x      ٷݷҰ   p@װ   ة     ߷tCz 'l@v  Ӡ˩j  9  P  &IHtyp4@   ߩРͷΩ`     ԷF @    N?b @E%@G  /  se m 7 & $B \ 0 @@ [$u N   1 0 N  Ǡ?JH:A9'E;K  ! ?۶/M@BR    E/'[  l P N\Q  R@,inv_typ_prodA9*'%(# q ` ^ |  $ _ ^+Y,b w ve QI7 mA2 6H q 5E3*Generation } @@/generation_prod D C  ] @KHFI] F%Logic$Init#Coq@@"ex@B@D@^[Y\p Bթ|өeb`c^t  L  iQ R  T Ȑ!a9@0generation_prod2 w  @#and@"s' P>=<@@@BB@D@ΰ а{       "䰩"*@a@B@D@9!5ܠ԰ ѩǠķũө֐F   ˷ĩF   !   Ȑ"e1E M S O%Logic$Init#Coq@@"or@B!@D@ ש s 3oک\p - @_"1 P>Bxx   7D ,/6 Lz ? @N䰩#R _&%y M M~0,*6*(  !- W Xom_f &^Lj *%!Z-éY + < drg {R  M j@,inv_typ_sum2YQB?=@; J* x v   = w vx   z{ , ~ a W ia [^TQORM2 S Tp O B@D@xa^\_Z? ar  _ ligje{ R   G   B @D@|ywzuZ       Q@.generation_sum   9GFE@@D@B ؠ@D@  C   ܐi  #Ϡ8  7 Ӡ&;E|@/generation_sum2 B  C$!GJ   |{#Coq@@R@B?@D@X 97\  W;   ! ; Zncԩ   'B_@D@x)el!   =  :(55)"H91=KL)!PC #KJ |yN-{1`.$!">X>&0 ()$5Ȑ!wb@&typ_wf,(R@&or_indP>ĠTBqVDʠZH(1Π^L{5`N7I<_\p@'and_indЩlZ=ࠩp^jr`[LqMn#H10#H11ni"p$Щt_(4oa'd#H12!3b{d 9>`cABBsķ&M>Щx~;7 5#PЩ]3=.,.'(BA-.ηr@ߩݠթƠ÷ĩ| @ؠշ֩ Moש@H@.inv_typ_subset#!"!i#b&޷XHBE1 3KIDB%CD;9<$=<%IHtyp/M@B C-%4NLZ O3_@IU@+inv_typ_pi1D<-*(+&Dca(Dba+.ĩdg"U1uvk24qR4ǰQ:NDA?B=A(x^F@,gWia^TQORMQrtQdB@D@zr oeb`c^coQbgqNd RXf2@+@D(pt[ B @D@~|z o~|@-inv_sub_sum_lĩǩ@1any_sort_coerce_l{~Щmҩ֩ذ"x,s"ȩ@J꩚|@+inv_typ_pi2٠ѩ RǷ] Q F=^˩^٠ַש֩i$ 0!B@D@v̐2P)0ٷ1@@D*'('#"" ""!!(&ސN0a CB =@D@ 5Bha1#S@-inv_sub_sum_r )GF W-KSMBJCQG Ii$ЩhN 3\\ `cc Ȑ"t2 ɠ;E!rNI97Ԡ*_E}|\JaG0LGJMH-]YKO5LyfP@P{sda_b]_^beUt߷9@Qgtqorm\ [>3@`~|0jȷ۩pBӠ@D@թVܠ_ 9b  B @D@B$ ·éB"L ʩISUWY    !     @ @@A@2type_kind_not_conv@!eA@@?!t@@=@!T !H<;@@:B987"H0 >@A @ @A432@@&or_indਜ਼ @7@1U@@@!s/%7#a"H1d @&ex_ind=P2MG3 k"H2 /@)False_ind+YA?  @@1inv_typ_conv_kindKJHA5203]@?Sr)Reduction@@$conv@_]"H3#W@ m~dxg@Al! zB @D@ZWUX%cvy#{x"x0` Ȑ"t0@ p>N5w@̩@AB ݠ_@@ ٩ig@@+type_sorted㐶ʶöĶ@@@@A@.type_reduction@!e&Lambda@@!t @@@!T !U !H)Reduction@@#red@"H0('(@@&B%@@&or_indਜ਼ @"eq@4 6@A:@$sort@A@@ @+* I/M"H1"D,@ U!OVJHW@> ![@  ?RP-7HF)E0?@h4_iMii/[@*red_normal<4o!us&e@$red1@FxȐ"H2n&Lambda@@ @@HCCCDDDDEEEDDDDDDCCBD@@_[@bVm@@H!M!N#p@D@Cv"H3@%substx R"e0%Terms&Lambda@@$term@@M@D˔A(@=@HML@@G@E@ط@G@ڷ@ۛ@X@@@AP@)False_ind=;ZXVvð󩜠@I@EɷSnU JH@@D@(=<44-44413, y)c~ |z@J$rv# !i&g@@D_'(\[SSLSSSRPK)H/-.1"M'46 99"H4@A#6ʩG IJ@Р@DK(uwpwwwvvoMl#S+۩9VWߩ ʩ[!_.`׷b5ee=3,:jŠkBM` q̠s7t@@Du(Dw?M}ؠUC-*}~'$"M1"N1 "M2]e[Tbju3_@"@D(lguk}UROL!"N22#-x@W@F@D(2⠶ɩ)yvɐspͷ!SзVGQҷKӷ)֩ް۩ѩe|(&@k@D(@ Xw~b{fzxswUҰ зɩװ TR@@DJ(GF>>,>>>==63ܩ"+(%u!"x%-&%*2,+ 19 3w4u@@Dm5(jiaaOaaa``Y7V =E N=>KHABDGI@F"JO'P2E٩VXY@ߠ@DZ(~)\˩{$2b(:bc  fg޷i<l%lD:3Aq*rITgx1z>{@@D|(K~FT=\J41.+^@Gi_Xfny 7c@&@D(p kyoYVSP%4%/%z*BY1@H@D(4䠶˩={xːurNϷLзVGJҷ(թ@Hݩөg~*(@m@D (  Y lK{lvMʰ%ȷϰ*1̷L J@@DB (?>66/66455. {+ԩ=}n( %2k(i@@Da)(^]UUNUUURTM+J1 </0 4 89 =&? B6ʩG0 J@Р@DK(wwpwwwvtoMl#S ^QR"@'W##@*ZZZȩY/@Aa-cc&aWU)<MK.J-M0/jCm 0@@@B~@D@:758_BA4aD`B}z?5  ?@@1subject_reduction;nQPYs?UvBL$ED[wY n@@ mMcOe@+conv_coerceTj@(red_convon 8@@vu@@n@@A@4typ_conv_conv_coerce@!eP@@鷐!uZY@@@!U !v !V!Hm@@B鷐"H0 "H1}@@$conv@Щ@@'ex2_ind5!t8@#red@  ? @ @@@K者 @@P@@!sD@ &!x]"H2("H3+20 >@@X<;\Z>Ȑ"t0 TBcV Ȑ!oB~R@@kblONA>@A<@AC@=A;3r_IB j@D@VSPMJNH5l_\YVSWQ?Iuu"H4Ȑ"H5@MJ1Nh3B@RO6\M{x`:urosmQ@[|B @D@cH}{RNjnxSs2@}^$Tkp uǩ@A||*ө@A _?B@D@Ơ÷ĩ9QՠҰUϠ̷ͩ1L됷"x0ӷvȐ"t1@=X?@)False_ind8[sVPk +@ АU>B@D@ N-34@B]=  .@A43$Conv@@-church_rosser<|zusmtkuiv@e@Z@V8@@A@@@|zyꠠnmBAji@@@@ 'Russell&Lambda@0bx;ukuc=栠'Russell&Lambda@0tu!ƹ{R=C'Russell&Lambda@0Uy}:͘+Injectivity'Russell&Lambda@0[29Թ~ik}s$à-Russell_TPOSR$Meta&Lambda@0!sZIAld:;F)UnlabConv%TPOSR&Lambda@0",B:JQy𠠠+TPOSR_trans%TPOSR&Lambda@0|bGJl4&H/0SubjectReduction%TPOSR&Lambda@0(=@Ơ+ŘXR+Injectivity%TPOSR&Lambda@0fpvYX,Transitivity%TPOSR&Lambda@0 RH~VQdQw󰹠/TransitivitySet%TPOSR&Lambda@0JJtb \-CoerceNoTrans%TPOSR&Lambda@0vK |:+e+CoerceDepth%TPOSR&Lambda@0h%4砲U4,ChurchRosser%TPOSR&Lambda@0fX sW-7`1ChurchRosserDepth%TPOSR&Lambda@0Ѷ6E%QJe1UniquenessOfTypes%TPOSR&Lambda@0sMޔų2TypesFunctionality%TPOSR&Lambda@0RJ|ӝu9E(Validity%TPOSR&Lambda@02 s-AZkħ*Generation%TPOSR&Lambda@0/ir)۠%Equiv%TPOSR&Lambda@0xXX\f4iF۠*TypesDepth%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ћ(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 |^E0RightReflexivity%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@"2p(Thinning%TPOSR&Lambda@0H{]% J7/LeftReflexivity%TPOSR&Lambda@04)*()"e%Types%TPOSR&Lambda@0J!m@͑ә;ˠ#Env%TPOSR&Lambda@02%〠$Conv%TPOSR&Lambda@00#Ƚ"c})Reduction%TPOSR&Lambda@06yZڍ:񧠠)LiftSubst%TPOSR&Lambda@0խD?(wah;R%Terms%TPOSR&Lambda@0*p <%MfyUƠ'Tactics&Lambda@0z*a,)Narrowing'Russell&Lambda@0-=3]}ý}DѠ%Depth'Russell&Lambda@0ݗ"YF^%7`2}%Utils&Lambda@0Kj;~ܙF'Russell&Lambda@032չφ䠠5UnicityOfSortingRange'Russell&Lambda@0QB :GO3?9/GenerationRange'Russell&Lambda@0=jzii=E% ''Russell&Lambda@0bP_xNr0GenerationCoerce'Russell&Lambda@0'攆Tgq 1GenerationNotKind'Russell&Lambda@0—ˁd0Z̔Ġ(Conv_Dec&Lambda@0rǰ*GJ%Union+Wellfounded#Coq@0ޫ.6CĚ~Z2Transitive_Closure+Wellfounded#Coq@0߭_^ n}DW$^'Russell&Lambda@0|¨i%ż=1C'Russell&Lambda@0MiegL4-(Thinning'Russell&Lambda@055kCrU@*@0/{Pϓ9!­#Env&Lambda@0beӯD Ơ&MyList&Lambda@0 F1t"PĠ&Lambda@0*}Q;<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>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Ԗ#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(~@@(CONSTANTA@@A#_53)IMPLICITS@AA@@@@D@@ @@I@@ @ @@@@#_54/ARGUMENTS-SCOPE@-@@@@@@@@@@dHG@A#_55BA@n@lD@i@d @@ZH@\@] @@@@#_56;@&@@@@@@@@@@@#_57{z@'y%D@"@ @@ F@@@@#_58l@@@@@@@@ @A#_59@ ' %D@ "@  @@@@@#_60@@@@@@@ kٰ@A#_61Ӡ@ uѠ sF@ o@ jE@ l@@@@@#_62İ@@@@@@@@ˠ@A#_63@ӐF@А@ː @̐G@ΐ@@@@@@#_64@#@@@@@@@@@@#_39-RESERVED-TYPE!i @@b@#nat@#_40!k#_41!m#_42!n#_43#!p"#_44)!s(y@@#_454!A3#_46=!B #_47C!M#_48I!N#_49O!T#_50U!t!#_51[!u'#_52a!v-@2ĠϠڠ堠 "-'82C=NHYSd^oizt̠נ⠠ #0(=5JBWOd\qivРߠ  +%60A;LFWQb\mgxr}ʠՠࠠ렠 ("3->8ICTN_Yjduoz]̠נ aࠠ堠 !,&71@<KEVP`[kevp{àΠ٠䠠 !,&71B<MGXRc]nhys~ɠԠߠꠠ '!2,=7HBSM^XictnyƠѠܠ砠      ! @ !+5?IT@0ĒbTLJr