f)czР1GenerationNotKind'Russell&Lambda@B1GenerationNotKind 0lift_rec_eq_sort@!t%Terms&Lambda@@$term@ @(term_ind0!n)Datatypes$Init#Coq@@#nat@!k!s#@$sort@@%Logic@@"eq@33@(lift_recCDB=@AACE  &$86+7"s0)!H'QDB"n0E:F86 2\&Specif$Init#Coq@@'sumbool@BAA@DJYX@@ @%Peanocb@@"le@EF @"gtJK+Compare_dec%Arithr@@)le_gt_decUV!l@B#@$plusdZ!g! _gV7@+sumbool_ind4rg+tiBcVIBF:{,*' G% 0x!a$ϩ<9Ȑ"H0@&eq_ind!eߠ@@@@(AABBCBBBAA@D蔐A(@ɛ@%False@@ߛ@$True@@@ @@A@)False_indذoHʐǷ!b` zWJ<:O75@0@D/(,'"" """!!+ֶͩqxQw鷐"t1&$IHt1"t2,$IHt2   57@C{ .@B pnFFsOq@l@Dk(h@Bh@U@Vea_aaa``^j[0Z%I:^8P6`4RRPEQCA=gi@D296+43q +@<=v@@D9('&6:T~$@][sYWu"t3$IHt3{{ynzljAf@Eb_;]]+\ĩ ieJgW,@@Dc(Q@QaeKPlg@Fxv@ޠ@D(rq٩ʠɩo ̷ηթ@Gݩ@@D(頩)%ݷ߷ݷ޷ηʰ@H&$#!@@D(    ݰHDɷ  #IHtĩ@IECB@@;@D:(7--+---,*6'&gc+)  02@Jb`8Ƿ_;]@X@DW(TJJHJJJIGSDCIG8@@A@,lift_eq_sort@!tTS@@R@!nKJI@@H@!s@D@!HE[Z@@D@""@C@B@A+@ABB@@QRPJ:820)'@"==@$lift\^)D_`@@A@,typ_not_kind@!G#Env@@#env!t@@@!T !H%Types'Russell@@&coerceB"H0@@@$&@A*@@AȐ"H1@ 475)0+Ȑ!a/@(typ_sort:&@#and@G@'is_prop#1N*2@'and_ind 8U19@@+"H2A^W:B@&or_indH;@>>@BOCC@CB Ȑ"H3CLKJ@@@@@@@D!sA󰛠g@C@11@A"4m@)False_ind9a%`-i.f@"@@@D DD- D @@#not@@A@-typ_not_kind2@!G_@@!Tih@@g@!Hs@@BA@A@^@ADBŠ@@TRLe{z@@d@A-9720 @J+@@A@,type_no_kind@@@ !t@@@A  @@@ܠ@D (!s@@@@@@D  @@@@@!n)Datatypes̠@@#nat@86"t09<:;"t1>!UA!VD&@#and@ĐĩƐQO)S@ ,g*(= oQKE?9+ >6'>6'>6'>3 3 7%'>3 3 7%'>6'>6'>6'>6'>= 6'6'6'Q''Q''+g6'+g6'+7Sg6'2l6:̠#F$J<NTRlVZep@@A@B@Aؠ(AABACBDBECFBGBHBIAJAA0Xt@@@@0type_has_no_kind@!G @@!tq@@o@!T !H@@BNLF@'typ_indD%#B@@\!e0A^v@@@A>-!n)Datatypes@@#nat@=D"H0P@)item_lift}'UGN"s1Q@$sort@LJZ@A&IHtyp1C!Me!Uh"s2'`$List%Lists@@$list@B{+#&IHtyp2"H1uX&IHtyp3kC]e!v!V53!u"UrULө@Fҷ&Bu}>VTPIGddٷ0E]0.Y,R'"H2M꩚@%subst+췐&IHtyp4"s3s"H3@(sum_sortN}ַϷ{trmӷkɰi^z@V@AÐOŐq,p(^)"֐m.1+@C>47@B߷KL@GOI%IHtyp9$Z[YA!sշaѷ Z!DߩאjR'@LeopnhCA<:4;@0ܐ@@A@5type_no_kind_not_kind@!t@@@@(term_ind0 @Bؠ@@-@@ @@"$@A(@@A!s@!H&"H0<Ȑ"H1Ӡ@@@B@AD!yN@2Q/Ͷ@7?@"@ѐ<[9;Ȑ"H2K@'f_equale7Dge@>@Dmk=(A?緐!nL@@K@yzx{yr|z}{~|2},[`QXj@cU\XV0FY\Zx^\A9x@V@i < {@&sym_eqg n@yvvD~@A}20p@B"q-o/ 4M@@D-1(@e@J-@@h@1@A:l@)False_indq?"t1ȷ$IHt1"t2η$IHt2ŷŐ@CZYܩU`` d~@@D1a(0@y@@^1/11100.e+&$" 㐩@Dxw۰s~~ @٠@DO(NLJLLLKKIFA?= ;"t3 $IHt3@Eߩ  $#!@@Dp(o?mm@(?nnnmmkhc)a_+]  1@F7< @?=@@D([Z!~D|9zFx;;L@GϷ3R2W [ڷZX@1@D(vu< _TaV2Vg@H3NmM1r vus@L@D(W%|z#IHtqMq@INi hL  *@g@D (r@Էf@Jg%e% )C@@D&('Y'@@A@7lift_type_range_eq_sort@!nd$Init#Coq@@c@!t@@@@(term_ind0 !k@B@@@ged^ hܛ @@0!H߷  As87@@@@@x"n0E-F+c eLK@@b@VUT@@U@@TUSR`@@QPb@B@ON ;@A"t1s$IHt1j"t2y$IHt2p@nhLfv_Qz "t3$IHt3@zx$" uo@&@dh񩜠@B@'and_indЩ37! "H0"H1 $4@AR1#Fj۷#IHt\ @ӐͰ1/)ː@@A@1type_no_kind_lift@!nd@@a@!t@@~@@(term_ind0 !k@B@@^@g[fdڛ @}@.!Hݷ  Aq65@@@@@v"n0C-D^ED@@+sumbool_indਜ਼%PeanoPO@@"le@ @"gt6@r@ J? dUi@B'@T/S +2)+Compare_dec%Arith@@)le_gt_dec˷"t1$IHt1}"t2$IHt2@yT۷rd "t3$IHt3@$" @7@@'and_indЩ A E @B "H0"H1"(@AɐY $͐Ű * , + # ' '@d跐#IHtV +@ذ ; < :@@A@9type_range_subst_not_kind@!u  @@ @!v  @(term_ind0!n @@ ~@@B   @@ j@  n '@)subst_rec t u雠.@ @" !H"H0  A  HG@@@@@ 86"n092 &SpecifYX@@)sumor_indਜ਼ @'sumbool@hg@@"lt  *@"eq@Z    B#@%sumor@ [   @@ @BAA@DU-)  Ʃ"x  ȩ-   ͠!C @ @B @Di?;  c4  e ݠ!l@BH@$pred j!e@ zַ( }!a`j@+sumbool_ind649/ :  ::@  C@A   ^ SR@@,lt_eq_lt_dec  "v1ַ$IHv1ʷ"v2ܷ$IHv2ζ@ǐ @ʐ e 0 1׷А  ."v3$IHv3@ߐ x@٩␩װ H Iϩ )1/-+) թ@@/@'and_ind+ U  B  f F _@B o"H1?"H2K"@A   Z s   y  {      ;l9@#IHv4420Y IGAH97@'@(1&   @@A@1type_no_kind_type@!G6 @@5!t  @@ @!T !H4  @@2B   @*typ_wf_mutP%#!U!!V$@   @@"or@ @ @4 ੜ6@F  ީ ; 穜=@G  婚B 6 ? >@@ 귐!eSB@A JQ!n ' & %@@ $@@e@)item_lift   CbAc@?7h 49j /* $u!w$%IHtyp#UtSulQIz|@A@@AOT Jo@\@BAA@D@g_\ ? =cY C Ap@ @ > Ȑ"H0x@ ("e0@ @DA P(@-@@ @@_@@@@A g h `%@)False_ind* e/&$J"@ Ǡ@D  m( w x p5Է_]~Ϸз[LBJ@DI yH;9_7@ ܠ@D5 (2,++)+++**(% H#MDBh@ @ @D> (;5442444331 Q,{y췐!i   ϩ   #    "s1N   &IHtyp1@ᠩٰ  ةݰөΐ $"s2k} !  @@@B% I  '&IHtyp2%"H1/  v  ۷&IHtyp334@9 ] ; _ "U0@A"H2H +LBŠ@D@+#T  Ʃ'Xĩ3@G@O   "Ȑ"H3\BGP)   Na;  v4@QE   "= $>*@ @D ,(@Է@@ 0Р5O%Q  8K!vv|!u"Ur  No G J@|y  [{vq > W"V0@y  d?B=@D@̩  ><L  z Ω@(term_ind0@޶CӰ j @   ˩Ű8 Ġ  '>  Se Ϡ1@䠩ܰ ٠۩֩ѐߠZ $۩a" K@ $@D} (ztssqsssrrp  L m E- ΰ~~ ҷڷ# _5@B ݷ:;@@  F ީ $O [Jk & %@@)sumor_indਜ਼ @j@ 4 3@@i@A >   s@g@OIzg} ! $S0 &" ( +^ ].+% `='  6Ya4@U R @ 5Sn Щo . e預R !aPŠ$Init#Coq@@@BAA@D<4  H$  j4Gʩ6 1=/ @ Ԡ@D- z(N@($$"$$$##!   ~CT  @aK~?+J/@(eq_ind_rU ZP^)LiftSubst @@%lift0c & !bݩװeǩk ji  5@ @Dg (:]][]]]\\ZS zUS  @@ ƶ@Zᐩe۩ ː ҷ#Ur1*%IHUr1O#Ur20%IHUr2( p ݶ:;@@  D   K   F X@C6>]<^@:2c/  38i.)7Ω P GAr˩ "5y| @ ~@D$(%Š'[YWUS{U,@D<;ksq@ogd >hmc^l  ѷ|v Wj @ @D Y(-,Z5ٷ#Ur3%IHUr3$ ~XiƶǶ@̩/zvש:BҰA j@E¶@Ơ |İàU C )ԩΰA" 0Ϡ1 ?ĩhJh  4@ @Df(]\\@]]]\\Zܠ >|6{ Eȷ @%~M+됩^ 4ve{;@ABD @AK& (   "H4Ȑ"H5 f@4@B bAD!y@VSlY H"o ȩ<@B)8@eAb Xܠ[i@ [̐'roX> v@MȐ"H6@ z @@D]( A@!NƶǶ@tȐʷ˷!kz@@@Ҡ@D~((׷÷٩f}z~Р^ ]\ Z$eŐ!A!B02xn u  :/8B:Dé<Fŷ"#%@H&$")+@IѰ۷*13@J ~;9<:\ @>A?B@]FDGE  HFJީNNO x@Q@D(UZX[Y^\_]`^^dbec  fd0IZ L<mĩoRtr@DuX; ة79G"H7Qe @۩HN"JP5@AQvS+UzW: Y@ [%3B]@DDDE@rcs eOegѷ~<W{dc@f+ϩ(6֩96 @۠@D4(U+**(*T*))'G"){- [ RxϠ϶@Ӡ˰ȠU۠$̩ѰǩРg5ڰ Md<RΩrTur >@@Dp(gffdffeecB|$IHUr?g ީϷ&'@,©2 e ;}ѩBE n@G@D(ɷJ0m@ -5T3U@1)Z&+*/`% .3>8i:G,ps @u@D(ܩl 6[FW_~]@[SP .RWMHV-ƶd^Ѡ 9]5Sנ8ީ=Dq0zxrh zj  @@D W(xZdblhaOMHMhB@DKCWs=P 6B4@٠@D2(S((&(((''%$G;\s#HGF@@DD(e::8:::997!W۶ũ=˷TöYΩȰ7^өͰ2a_+@@D](~T}SQSSSRRP+pj o{ްhCΩrdp<@@Dn(edbdddcca<{'b`^Z"KGIE<'(Uc,$-V@/@D(~~"~~~}}{ _ 4 6C! <p?Bk@D@D(kiGIV&$OR%V'X\MB@D@"m+ ( ZB@D@/8B ]AD}@OE'@T0JGˠP. I`VX)6@@DA(fee`eZeXXb'3DW@@DL(URQQMQGQEEmDA%U? =@;npw<U75B 1]]^@))|5 ~h~)Ƿ*ɷַ/ݷ׷20@ՠ@D.{(O%$$"$$N##!|AW:ط;>+A? @@D=(^4331333\20$PfIJM©:PN@@DL(mCBB@BBBAk?3_uZ~zϩɰk)ieRgg2@䠩ܰ ٩ްdթ  [&IHtyp4 @%ga)鐩mY"s32$@ ް Yڷ67ө <x @B@D@H vLqީWzZ@\@D(ȩ"k$ B LADl@>o4x@Ctz6K|%@@D((42H Q0:3_8<@@D=(IG8?fVEOuө̷@{4ЩTn[p I۷`WũDh6PT?#P[)X)EXVfs}wZ@ m^{eg}~@|T6:LܰϰǩˠðŰqBo@D@ՠͰ-pѰ n'nUU ũi /i 5@@Dg(d^]][]]]\\ZWzU-~eeԩx v B@@Dt(qkjjhjjjiigT  &  's %!  #w=#z) Ϸ +  ,'B@D@   5%  7'R eޠ >@ ?h@A@D(C IK Js@L@D(   W I P G Eِ@CX ; Z 9 [@ 7 / `  , 1 b ' " F eʩ ZM j 𐜠@BJ R q P r@ N F w  C H y > 9> | [ }U"ȷ 6    b  `  y w12 J  h  f @ d \  Y ^  T OT   o g  d i  _Ȑ"t0J̩ {@B u  w b  j  @'and_indvLvwqx @&or_ind  )  \XjYkjc v Ƿ      · @ S> ŷ Ʒ +   ˩ q      =Щcp'  ީ  '   }IoǩG  (G  ** , .D W            Q c % ک )ֶ    @ 䠩 ܰ  ٩ ް  ԩ ϐ!c @R c ٩   Y   ![  B @D@   )U   +W Рɩ  0  1 %ة o |ک ) ~H 9   <G ۩  B y 6 {ɩU F  B I   A  2@A R 4 S 2 T  %Logic$Init#Coq@@#ex2@CC@D@ ?@@ i j ; lѠ q&MyListp@@$item@ { .'!x  v X .6 Ƞ"@*inv_nth_nl 7k/ B        "T0  A ?  8A; x  v  p 5 X AB( S   (Thinning@@,wf_sort_lift۩  UR @"ex@     w %Logic$Init#Coq@@@BB@D@     xY muU % n _   x ]~~    ܶ  ݶ@  @@A@6type_no_kind_prod_type@!G)@@(!tؠ@@@!U !V !H*@@(B@FȐ"t0B @@ +ǩȩ۠@@ @A @@9;=@Gީ @AE%@!@'and_indЩ   <"H0 "H12@?@Arpkicjak@]'@@A@5type_no_kind_sum_type@!GO@@!tYX@@W@!U !V !Hi@@B89@G<6Ȑ"t0By@@ >HKICKI\rq@@ z@B @`@9;@F_] @ @AE%@!@'and_indЩ p s <vw"H0 "H12@@A|rpkicjak@]'@@A@@@ՠӐҠ21{z54yx+*rqut m l  $#@@@@(Coercion'Russell&Lambda@0|¨i%ż=1C,Substitution'Russell&Lambda@0MiegL4-v'Russell&Lambda@055kCrU@*IH&Lambda@0/{Pϓ9!­#Env&Lambda@0beӯD Ơ&Lambda@0 F1t"P(Conv_Dec&Lambda@0rǰ*GJ%Union+Wellfounded#Coq@0ޫ.6CĚ~Z2Transitive_Closure+Wellfounded#Coq@0߭_^ n}DW$^$Conv&Lambda@0*}Q;<)Reduction&Lambda@0WUlod d&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/.@07^kO(>=0֠ǿ/`U)Notations$Init#Coq@0JH.+UI(~@@ǠŠ(CONSTANTA@@A#_44)IMPLICITS@AA@@@@@@@E@@@@#_45/ARGUMENTS-SCOPE@@)nat_scope@@@0/@A#_46*)@(@@D@@@@#_47&@@%@@@pRQ@A#_48LK@zJxD@s@n @@@@@#_49O@@@@@@ޠzy@A#_50ts@r搐C@@@@@#_51r@@@@#_52(AUTOHINT@#cocB#214퐚#216} @@@@@@@@@@@A@@Р@@@@@@֠+*@@Aנ$#@@ؠ@@٠@4ג֩@@A@@AB@ABC#֒גؒ@@A@@@ABC1L#@@@AB @;#21898#219LG@@@@ڠcb@@۠^]@@AB ڒ@@@AB5^کXU@@@AB@9@E#_53@C@@@#_54 @ @@#_55*(@@@@?@A#_56:9@8D@@ @@@@#_57<@@@@@@rgf@A#_58a`@|_zC@@@@@#_59\@@@@Ԡ@A#_60~@}@@@@@@#_61w@u@x@@@A#_62@@@@@@@#_63@@@@ð@A#_64@@@@@@@@#_65@@@@@@ˠ@A#_66ݠ@۠ӐD@А@ː @@G@@@@@#_67@"@@@@@@@@ @A#_68@E@@  @  @@@@#_69@@@@@@@CB@A#_70=<@;E@@ @ @@@@#_71C@@@@@@@@#_26-RESERVED-TYPE!i @@@@#_27!k#_28!m#_29!n#_30"!p!#_31(!s'@6@#_323!A2#_33OIZTe_pj{u ͠ؠ㠠  +%60A;LFWQb\mgxr}ʠՠvࠠ堠 ($1-<6GAPLXUa]jftoy@ʠԠޠ@0—ˁd0Z̔