vYWР#Env&Lambda@B#Env#env@$List%Lists#Coq@@$list@%Terms&Lambda@@$term@@@867 gD$L@@@@)item_lift@!t$#@@"@!eBG+@@E!n)Datatypes$Init#Coq@@#nat@%Logic  @@#ex2@'!u*@"eq@0D1@$lift'@BBA>&MyListc@@$item@H CA{z8@@x@SWUPNJHA@ +g() + +77&' 77#'97!77&'dHKPlt1|AwP@@@@*ins_in_env(4@@@@@@@|{z@@y@!A@@@@@  @@@A%ins_O%ins_S!e)gv)Datatypes$Init#Coq@@#nat@A@@@B/31!n?!eK!fO!t@@FEGVB(P,T@ @X@(lift_recE@BIC@@SAE@@@@@@@BAABE@AA@AAw@u@@@.ins_in_env_ind@;]@@9@!P@@@ @@Bgn@@e@A` @Alk)@@i@B-|& t4@%@@r!@tw$ H8@B"G$II@p /6C@!F*O=H>I!i).<;I0>5ZHSIT 2+7ED@@ACD@eS^T_@=LCQP^ESR\g<VMr`kclL$KMjQ_KmTbaJpWd@@~@yxsxtvkxpr@rx@{poq}l@ T+g() ,I'(*()=!>3#' >$'Q''+g() &'+7Sg +7S' +7S'+  7S'&'lAxР@@@@+ins_item_ge@!A*)@@(@!n@@@!eBW;@@U!f!H @@@.ins_in_env_ind Q" !v%@%Peano%$@@"le@!t=@h@@@FoHqA@B#"e0=%H"H0%N@A#Z"H1_)5"@Bd/:."n0^U"f0X1lOIF-;Fi@D?;v@9yC6;{F3Ps@@A@Dzx@S<7PL@JT @@@B%QVa @THO /Vh"H2s\P"t0"H3nx$aZȐ"H4$Init#Coq@@@A@BAD@{0@@@@yGө;9=B@9&ЩCȐ"H5@&eq_ind "e1)Datatypes$Init#Coq@@#nat@@t@D딐A0@%False@@󛠰5@$True@@A <@)False_ind  trvrط!maQ7M ͐h;Ӑڷ:8@@D.+'"+tߐN,S.O8c:@y8C@AA"n1D̩SV ;&Lambda@@@BADBD!l@hb`@,lB76@ ,q޶@k16vxPR35Iѩ CPð5C@'f_equal001$List%Lists#Coq@@$list@A@B@DB@@n{kECqf:tGhѩKLA@DRP~ܷ{US-/6x8,@_Ip>ʩ20RSQM qs]vta .)Datatypes$Init#Coq@@#nat@@p@D@.,@&sym_eq#~!gĐŐƷ"n2!yS/ѷ+A R"H6Hb2Aw@DvAuG]o"?A@DsRr)RP+^e-VO/0@kg(n-9;=TWU̷RlBQFK NNtOv@ܠ@DUSS&ŷWU(7(W7Y2\Z&f=V1)i9߰kӰ,X&(©5u4EwN63:/"Le%Arithn@@&le_S_nD T[N}VP$RTUVܩO@Q"eLMԩbo@԰8O@ٰYe{ԩ]rdG%f jxw@@}@{x}u@@A@+ins_item_lt@!A@@@!n'&%@@$@!eB!@@!f!H @t@@.ins_in_env_ind " !v%@ɠLK@@"gt̶!t;@*@3ǩB@"?@BC@A?A"e0>&I"H0& X"H1Ȑ"H2w@@ArAD`^@:@@'b@$@@@p.=97p2~@@|@Bx+E-BȐ"H3@|'"e1{@@DA1-@q@@1@p@@A]< 7@)False_indqmkQf4GoXN)GsPp_-yH-@@D+Y(%!{Z(kaHmTm.gvl__9Ysg@qnjܩ~|@A"n0᷐"f0V@Ϡ@ưȰİcM@W@D@ߠE@ְqڰְԐQܰU{ĩNٷ"t0',!ᩚ@'ex2_ind13ð55@Ԡͷ:̠.@@@B֩ŰDvݩ|ͰL ?!xQ"H4!"H5Yܰ[@(eq_ind_r`+>c'#!! k)'"@@AsBtv42C4EI{A}2;9Ȑ"H6BBD!l @@T%$@! /@&M(XVgXXRl]a_?9!(8"-L@/巐"H7ЩB@//#0A@D644P]97SBH.VQ;J]?Ƿ3@A@DFD`HηIGdRqTt#ZcvEqض@iS;-lީUG9xbݐQ[eMhf@UGfàT Ϡ )LiftSubst@@,permute_lift'@ u"n1"t'V"H8zeA[@DxǠ%w6+8_<rAh@DuԠ6tİC64ưE[SְͩH;^JK@ܰl'߰H ԩVX%Y*VkC2nGh&k#l]@à@D . ۩ѠB~W)کnvpxL}{HFWH#0@! @&VTeVV8iZ^\<7m@A.@?O~iE%wIHAvQRUhT8uķs q]5o̩Wѩi9X7 XjBEBDVTԷ@P@oYh@rkʩ3isD pnwqO|@MQMzzn{8A.@DKJH6Y\X yCA9@DFEC*h@׶n㰩߰ݩߐƩ+1#˰4v9:+@@Dڠ@??9Aǩ;Nɷ"n2K7U64G2SpAߩٷA@DW2#LjA@Dd.qusfөu0=v@R s+6+C?=N?!AZ JHX    1 n+p(ϩT @@D8׷:U*:6 ,rHPBrnl}np[<yw/_>a2 ·éSũ_̩bpO"x0ѷ}$jLh׷ةhکd^ {~m6 \v|hǠ^](ͩ°Ѡ    Ͱ/ϰͩѰϩ75,װթٰ!蠩ِ@*simpl_lift. .,7  @B3{Щ7ɩT򩚰S@@Q S۩CD԰F}G IM^K }:D<D>QF Ω#|߰^yж@@[($"3$_ҩn,* {mi     zxrpigbh@^Qt@Os H@F y HDB } (@@A@*sub_in_env(4@@ޠ@@ᠰ@@ܠ!T@֠!t@@  @@@֠%sub_O%sub_S !e V > L֩˰ Q P P" !e !f !n !u @ f q XMȩ ]鰛  oͩ@ @ @)subst_rec z l C7AE@@@@@@BAABE@AA@BBY@WV@T@@@.sub_in_env_ind@_  @@ @l!P@ ̠ ˠ @@ @@B # *@@ !@A[n  @A ( ' @@ %@B/   ķm(k6@%@@ .   Ķ@ 0  3 7@B !H  >#JJ@k   BC@!F%L:E;F!s& Q    R   0WEPFQ /    @@BCD;bP[Q\@:       Xc [f^gIpH}#G"  !  v #     x % @@y@{ ts~ *sq " / /~}mm@m #  = H /@  2  K 'k P ; m B [ f @  L Z Y  g N \@ t+g(),K'(*()=#> 3#' >$'Q''+g() &'+7Sg +7S' +7S'+  7S'&'fA 蠠<@@@@+nth_sub_sup@!t ݠ @@ @!T !n   @@ @!eB  @@ !f!H @@     @.sub_in_env_ind$  " !v%@ ڠ @@@  !u>@  @@ @G  #=@B  N  * ׷"e0;#F"H0#L@A ׷["H1` ݩ~ @@|@Bj #Ȑ"H2BàBD!l@wnl@:{   @  $ #@@ @ %  @ ~ C M h  & 3  5  u"H3EU |#@11"e14A@D:88 ( 5=; +N  + .4? " CDAˠ@DJH 8 MK <^  I`L  2F NG@Kɶ@NY  5Qx  C  <Xc  e hfB ܐR  Fb xA@ @DޔA ip@@@因t@@@A( tz@)False_ind" y ک@   } ک    "n0    } v  R"H4 А Ґ _~|?A5@Dz  yŰ'  ǰ)b G _-LAB@Dw  vҰ4  ԰6Q e 9 u;_><@ ɶ-İ6)ζکG g e bIߩΰ  lطܶ=S s  n AذJ̩ xOOP-@ @DVTT ݠ |XV I  ߩX Z][)j4 +l6.o   se   u   Qwu S    9z  X V;|     @!  _@z? dI  d h @A E~"f0]Gy    % Ao@md@b  \d #  .w @ ݠ@D@y *r@p .Q  lt 3U@    D 8R9h"u0·+ Be  r A  AD·@ N@V R} vة!S    KʩaUȐ"H5˷@ @ @D e@ g w9 6   o &z x8Z @ 6@D   Ԡ 8   WU ? 1  E  aT 9 I ;ĩ  @ɩ" m˩ Ϸ"n1 o/2 " B BDƷ0.@¶@ ް@ ^ ʶ@Ű7 G !IV l  3 ɠ۷<ӰS  tذJz {A q@D ݠ # ߩ  g A |@D  F n   ީp N r us@ T@m"2<} ȰY Lz a QJ 7G~< e@ ˠ@D    x) zf  v x    0."n2ǩ+6="H60gBBC A ʠ@D 6 Z F :HMN A ՠ@D  A  e J 7K  L ̶@Q\ &T aw٩"] ̩cn Epɷsq;=k_٩LJ @ &@D o ! pw 91 | W { K^ѷ  *@B  H64 J K J @@ I  R    4 6$  _ a  !  X   $ hİ&oX  bZ@̰.  L@%5 _ /     ?=7>53,*%+@!7@ " ö G@ J  ( L  * Ր@@A@*nth_sub_eq@!t65@@4@!T !n   @@ @!eBfJ@@d!f!H @@ [   @.sub_in_env_ind$ b `" d@@@6   "e0# @A> u)"f0,"n09G"H0)  #."H1!Q  $@BV  8,8-,ZXRYPNGE@F@</_ (A@@A@+nth_sub_inf@!t@@@!T !ny Р @@v@!eBҠ@@з!f!H @G@ t[ih@.sub_in_env_ind$  ̷" !v%@ z  @@ |!u=@)@Ȱ wD@ -  "e05@"H0F@AU"H1   @@@Bd mȐ"H2 A $ADa_@;@ @g@B@٠ < ;@@@t/B> %3 #!|9Ȑ"H3@ ' "e1 &@ @DAܠ#@ @@'@ @@AT -@)False_indlh ]MQ LE';CeS+I+ O@ @D)&#p&_XU  k{  ha^p x   @a !j@Aз"f0ӷ"n0  3>%@@9 , C>$I@ @D@ϠG@ɰK  @ͰɰQS а?  dXɷ"u0bư" +ѩ@'ex2_ind'(*_*@wr1q@@p@9{߰;d =yA Al L E"H4 "H5MO XB@ S)';VTP_DTFȐ"H6B BD!l@nec@?r@ w\ u@n)<8XUS )A   x6ɠ!("2Щ4s ߷"H7@ ~//0 }A s@D64497GF.,; ?@ A @DFDطIGWRY >V * @DS`S.}[qS lȩRqz;UdoAfigAHc@7@A߷i'Z @@1commut_lift_subst &@A8}@ z<;"$ C=>?"n1 y;Iv NYX"H8| A @DzYyh __a  A @Dwfv˰'ƩͰ)^+-c0.@:V')%ԩ8 _ ΐWD аrUBQ 1F۰HKGL @T@D .a A)jll2ne7js  ,(DBPt#Ķ@{[`@>:7VT#i*B?{m 7ˠ"-η)\Էx Vܩt^"Щq,.eoU1da` ^v0Z<rnk20SB РBDQO@K@ET @HPYYq[tЩ  wljs^mK}!Ic̩MIvvOw A @DG&3FD2(n}ةXTZ A Š@DB1A?:('{<g @jN\ڠR?ʰ SVٰհ`ҷ @ @Di@,kmΩ6oV8/X-qrsȷ"n2)4631J/İ1ީط&A@D/ OK/A%@D+R ۰TVYW@cOQM( `9k' , ?1  h&jloop@x@Dvtt axvrĩ xuz}{&W̩LHae "Ω;S 8iҩzd(]yީ{mwPL"x0e~hy=rdJ~L©jƩŐ]z˩^ҩ[ԩ&کߩh+**)Zc)vũ$.4Ǡ&* @ .*Ϡ13.@B7ѩAFI@@JDLX7rpZU`8 \%R^%''`) cbcd尩d. ge.@@%kk Ɛ)<߰; "-_ja7}xGE?F=;42-3@)?@O@6@@A@@@䠠a`ӐҠ砠!    % $A@ꠠ@@@@0 F1t"P)Reduction&Lambda@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Ԗ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#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.ю@0KO-!hϲ/>C&Specif$Init#Coq@0|GU-lȮm07^kO(>==$Init#Coq@0֠ǿ/`U)Notations$Init#Coq@0JH.+UI(~@@(CONSTANT@@@#_28/ARGUMENTS-SCOPE@@@ #_32 @@@@)nat_scope@)INDUCTIVE@@A@@@@#_33!@@@@@@#_34-@)@A@@@#_357@3@B@,@@@@@ON@@#_36K@B@@@@@B@@@@#_37(AUTOHINT@#cocZ@@!15!2.W!1!2w@A @@@@@@@@@@@A@@Р@@@@@@Anm@@B[Z@@ABAB@A@B@AB6AcBXP@A@B@AB@A!3E!4p!7!5|QON!7!4!6[BZU@@@@Cà@@AD@@E@@AF@@G@@H@NCDEF@C@AD@E@F@ABC@ABCD#CDEFGH@C@AD@E@AF@G@H@ABCDG$"@C@AD@E@F@ABG@CD@'&@A#_38#@@@@@@@@@@>=@A#_39:@1@@.@@@3@@@@i5@@A@n&OO@@@#_40U@ @@@J@@@#_41b@ @A@@@@#_42m@ @B@@@@e@@@-@7#_43@x@6@@@@@y@@@@#_447@#coc @@К#396#397nd#397#398#398 @A94@@@@Ơ@@Π@@@@ABC@@@@ABC8ВƩŰ@@@@ABC@AК#399#400#403֚#404#401̰ͤ#399#404#403#402\B@@@@#"@@A*)@@  @@AB@@@@@@@QВ@@A@@@AB@CD@ABCD(@@A@@AB@@@@ABCD#"! ! '%#@@A@@@AB@@ACD@'gf@A#_45c@Z@1@@X@@@]@@@@ ~@A#_46{@r@ @@p@@@@ @A#_47@@ @@@@@@@@@@#_14-RESERVED-TYPE!i @@#_15 !k #_16!m#_17!n#_18!p#_19%!s$@$sort@#_201!A0#_21:!B #_22@!M#_23F!N#_24L!T#_25R!t!#_26X!u'#_27^!v-#_29d!ec#_30m!f #_31s!g@-'72<GALWQb\mgxr}ȠӠޠ頠 & 1+<6GARL]W bmgxr}͠ڠ砠-#<2KAZPe_pj{u ͠ؠ㠠  +%60A;LFWQb\mgxr}ʠՠࠠ렠 "-'82C=KHTPY@Ġ&1@0beӯD