w7ZWrР#Env%TPOSR&Lambda@B#Env $lenv@$List%Lists#Coq@@$list@%Terms%TPOSR&Lambda@@%lterm@@@867 gD&L@@@@*item_llift@!t&%$@@#@!eBJ.-@@I!n)Datatypes$Init#Coq@@#nat@%Logic  @@#ex2@)!u,@"eq@2D3@%llift'@BBA@&MyListe@@$item@J CA~8@@|@UYWQOJHA@ +g() + +77&' 77#'97!77&'fHKPnt1|AyP@@@@+ins_in_lenv(4@@@à@@@@|{z@@y@!A@@@@@  @@@ A%ins_O%ins_S!e*hw)Datatypes$Init#Coq@@#nat@A@@@B042!n@!eL!fP!tA@FEGWB(Q,U@@Y@)llift_recE@BIC@@SAE@@@@@@@BAABE@AA@AAx@v@@@/ins_in_lenv_ind@@dc@@=@!P@@@@@Bmvu@@l@Ab @Asr,@@p@B/ ~' !v6@&@@t$ @vy'H9@B"I$KK@r / 9C@!F*P!lKL!i+3A@N5C7] VW 4-<JI@ @ACDBhab@?LHVUcJXW^j>[OubneoN$MMoVdKrYgfJu\i@@@ {zxzyxp}rt@t}@rqslnl@ T+g() ,I'(*()=!>3#' >$'Q''+g() &'+7Sg +7S' +7S'+  7S'&'lAxР@@@@+ins_item_ge@!A321@@0@!n@@@!eBaED@@`!f !H@@@/ins_in_lenv_ind W#!!v&@%Peano,+@@"le@ !t?@ q@@ @Hu JwB@B*"e0>%I"H0%O@A*\"H1a0<#"@Bf6A5"n0_V"f0Y1nOIM4BFj@DF;x@9{J=;}M3Pt@@A@D{y@S<;WL@J[̠͠@@@B%XVh @THS /Vo"H2s\P"t0"H3n$eZȐ"H4$Init#Coq@@@A@BAD@{2@ @@@yGթ;9?DB9&ѩEȐ"H5@&eq_ind "e1)Datatypes$Init#Coq@@#nat@@t@D씐AǠ0@%False@@5@$True@@A <@)False_ind trxr߷!m aQ7M ͐h;Ӑ:8@@D.+'"+tߐN.Y0O:i<@y9E@AB"n1E̩#UX';&&Lambda@@&@BADBD!l@jca@,nI>=@ 3s@l86xzPR35Pѩ JWð5C@'f_equal001$List%Lists#Coq@@$list@A@B@DB@@uDECxm:{GoѩKLA@DRPTUS-/8:.^¶@_Ip>̩20RSQO qs]vta .)Datatypes$Init#Coq@@#nat@@p@D@.$,@&sym_eq)~%'iː̐ͷ"n2!yS5ط+A R"H6Hb2Aw@DvGuM ]o$?A@DsXr+XV-^e/\O12@kg(n.;=?TWU̷RlBS#FL OOtPv@ܠ@DVTT-ǷXV/7/X7Z2][&h=V8)k9߰mӰ,X&(©5w4EyN63:/"Le%Arithu@@&le_S_nD T[U~VW$Y[\]ܩODQ"eLMԩiv@԰8S@ٰYeԩ]ydG%f q~@@}@{}u@@A@+ins_item_lt@!A@@@!n.-,@@+@!eB-@@,!f !H@}@@/ins_in_lenv_ind ##!!v&@ˠTS@@"gtն!t=@+@#;ЩD@*@@BD@AGI"e0?&J"H0& Z"H1Ȑ"H2y@@AtADa_@:@@'j @-@@#@q.=97x2@@@B+E6BȐ"H3@~'"e1}@@DA:-@s@@1@r@@A]E 7@)False_indqmkZf4PqXN)GsYp_-yQ-@@D+b(%!{c(kaNvTo 0pvlh_;_|p@qwj"|@A"n0ⷐ"f0X@Ϡ@ưȰİeV@Y@D@ߠE@ְsڰְԐU ܰY}ĩNٷ"t0)ǩ.)ᩚ@'ex2_ind35ð7ũ7@ݠַ<ՠ9@@@DߩŰFzͰN G!xS"H4!"H5[ܰ]@(eq_ind_rb+>e'#!! m)'"@&@AuBvx42C4#EI}A2;9Ȑ"H6BBD!l @@T.-@! #1@&(M(XVgXXRl]a_AB!(8"-UI/鷐"H7ЩB@//#0A@D644Yf897\BQ._Q;S_?ɷ3@A@DFDiNHзIGmRzTv%ccxEsRڶ@iS;-lUG9xbQ[eMhf@UGfàTx Ϡ )LiftSubst @@-permute_llift(@v"n1"% u*W"H8{hA^@DyѠ.x94;`?uAk@Dvޠ?uŰF?=ǰH\SשװKD_MN@ݰm'J  թY[&Y+ VlC3q Gj'm#n`@Ơ@D/ܩҠC"W)ݩnp!"#MIGXI-:@" @'WUfWW;j[_]?An@A/JIPjO&xSIKwR\©_iU9vǷt rg5ȩpϩaԩs9Y7 YtBHBDWUַ@Q@pZr@su˩8ptG qoxrP}ENRN{{o|;A1@DLKI7\]YzFA<@DGFD+k@׶o䰩ީƩ.2,̰6{;<.@@D@AH9JΩ;Qʷ"n2M7X64G2UpBڷA@D`2#LmA@D m.tvvoԩx0y@R u+7+D@>O@$BZKIX!  1n+p)ЩU @@DBܷDU*D7 -sKPLsom~o q[=zx/_?d2!ŷƩTȩiϩlpO"x0Է~%tLiڷ۩iݩd^ n6 \qiȠ_]{(ΩðҠ Ð ΰ/аΩҰЩ75-ذ֩ڰ!頩ڐ@+simpl_llift.!.,7ɩ  @B6{Щ7өU򩚰\@@Q SީFGհI}JLN_N :F<M>TO Ω$}azж@@])%#4%hҩq-+ {or      }{trkicj@_Rv@P| I@G " IEC '  2@@A@+sub_in_lenv(4@@蠰@@렰@@栰!T@࠰!t@@  @@@ߠ%sub_O%sub_S !e  ` H Vߩ԰ [ Z Z" !e !f !n !u @ p { bTѩː g  y֩@ @ "@*lsubst_rec  v C7AE@@@¡@Đ@@BAABE@AA@BBY@WV@T@@@/sub_in_lenv_ind@_  ' &@@ @m !P@ נ ֠ @@ @@B 2 ; :@@ 1@A]p  ð@A 8 7 @@ 5@B1   зo)m8@&@@ 9   ж@ ;  > Ű8@B !J  I#LL@m   MC@!F%M!lHI!s( ^    _   2Z ST 1    @@BCD=e^_@<   ð $   Zf ]i`jKsJ#I) $ /   1  & %   3 '@@|@~ ʶvu 8us 0 = =oo@o .  K V =@  @  Y 2m ^ I o P i fhf K  Z h g İ u \ j@ t+g(),K'(*()=#> 3#' >$'Q''+g() &'+7Sg +7S' +7S'+  7S'&'fA 蠠<@@@@+nth_sub_sup@!t   @@ @!T !n à   @@ @!eB   @@ !f !H@@     @/sub_in_lenv_ind$  #!!v&@  @@@  ȶ!u@@ ʠ .@@ @I  2>@B ̩ P  9 緐"e0<#G"H0#M@A ]"H1b  @@@Bl #Ȑ"H2B̠BD!l@yom@:}   @ ) 4 3@@ @ %  @  C M w  & 3  "5  "H3EU #@11"e14AĠ@D:88 8 E<=; ;N  0+ >4? 2 #CDAԠ@DJH H LMK L^  Y`U  BF WG@TX˶@NY  5Qx  S  <Xc  e hfB ސR  Fb xA@ &@DߔA yp@@@曠t@@@A( z@)False_ind"  驚@  )      "n0    v  R"H4 А Ґ h~|HA>@Dz  yŰ)  ǰ+k R _/UAK@Dw  vҰ6  ԰8Q p ; $u=_>@ Ҷ-İ7)׶کI r p mKߩΰ  wܶ=U ~  y AذK̩ PPQ6@ @DWUU  YW I  Y [^\)l4 +n6.q   sf   u    `ww b    9|  g e;~     @!  n@{? sI # s w @A E"f0]Gy   * 5 Ao@md@b 0 \d 3  >w @ @D@y :r@p >Q  lt CU@ư ,   T HR9h"u0ķ+ Re  r A ˠAD÷@ ^@V b} vک!S    [ʩaUȐ"H5˷@ @ %@D u@ w 9 ?    &z 8Z @ ?@D   Ԡ C  WU J <  E  aT D T Fĩ  @ɩ$ m˩ Ϸ"n1 o14 " B BDƷ1/@¶@ ްB i Ӷ@Ű8 éI 0KV w  3 ٠۷<ӰU  tذKz A z@D  #   i A @D  U p   r ] t u@ c@n"2< ȰY Lz p ǩQJ 7G~< n@ Ԡ@D $ % ' ) f )    + , -0."n2ǩ+6="H60gBBC A Ӡ@D F Z O JHM·N A ޠ@D  Q  e S GK  U [ζ@Q\ &T jw۩"] ̩cn Rpɷsq;=k_٩LJ @ /@D  ! w B1  W  K^ѷ  5@B  Q64 S T S @@ R  [    ? A$  h j  !!  a   & qİ(oX  kZ@̰0  W@&7 _ à0     ȐA?8@64-+%,@!8@ 1 Ӷ I@ L  7 N  9 吐@@A@*nth_sub_eq@!tJIH@@G@!T !n@@@!eB{_^@@z!f !H@@ l@/sub_in_lenv_ind$ s q#!x@@@8 "e0$ @A@ &*"f0-"n0:I"H0)  5@'"H1!S  ,$@BX  J1>J1?>\ZS[QOHF@G@</a :S@@A@+nth_sub_inf@!t@@@!T !n ܠ @@@!eB͠@@跐!f !H@Q@ o}|@/sub_in_lenv_ind$  ߷#!!v&@   @@ !u?@*@ް F@ <  "e06A"H0G@AW"H1"! ,@@@Bf zȐ"H2 A 1ADb`@;@ @h@B*̶@ I H@@@u/B> 83 6͠!}9Ȑ"H3@ 4 "e1 3@ @DA𠛠#@ )@@'@ (@@AT -@)False_indlh ]`d %LE';C eS+I+ \@ Ơ@D)&#p&_XU* ~{  "ha^ * , @a '5j@Aѷ"f0Է"n0  GR9@@M1@ PR5]@ @D@Ϡ[@ɰ_  TͰɰQg (аP ,xlɷ"u0vư$ 8ѩ@'ex2_ind)*,s,@3@@@;߰=u- JyC N} Y G"H4 "H5OQ eQ@ U)';XT_aScUȐ"H6B BD!l@pfd@?t&ȶ@ yk @o)<8XUS )A   x6ݠ!("24 췐"H7@ //0 A @D644897GY.,; ?@ A @DFDHIGWeY >i * R@DSsS.}[qS lʩRqz;UdAfigAHc@K@Ai;Z @@3commut_llift_lsubst '@A9~@ =P46 QRST"n1  P^wcnY"H8} A @D{nz}ѩ (`tb# A @Dx{w̰*کΰ,s.0d1@HV'+&թ; +(_ ϐWG ѰUBT AFܰJMHN @b@D ©/d Q)xlz2nh8m!-)EC`w$̐ٶ@ ~kp@?;7WU7y+C?} 8ࠩ#A*] y Wݩu_#r-/fpV2eba _w0[=sok 20T B ޠBDRP@L@FU @I QYZr\uө   x)mkt_nL~/JdͩNJwwPx A Ƞ@DH;HGE3=o~1٩YU[ A Ӡ@DCF+B@H)<|Jh@k\°\۠`T˰ TWڰְaӷ @.@D~@,6h82j;ɷ"n2+493°1J/Ű3 ߩٷ4A*@D/ ON=A3@D+U ܰW YZ@qOSN(!`:n( , ? 1  h&jnqqr @@Dxvvנqzxs٩ zv|}'XMIaf!#Ω<T 9jө{e)^zީ|nxQL"x0f hz>sdK~MũkɩŐ]{Ω_kթ\ש-;ݩ(xi++*>[c*wƩ$/IȠ&?@ C*Р24.@BLѩB[J@@KEMf8rpoVn9 q % Ss3'5uթ)#dwxy氩e.hf.@@'ll ǐ*<> 2.`jb9~JHAI?=64.5@*A@R@ F @@A@@@+)(vu栠/.   0 /HG@@@@)Reduction%TPOSR&Lambda@06yZڍ:񧠠 3%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>E0*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. &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Ԗ&BinPos&NArith#Coq@0x j#ѣ6X2])Eqdep_dec%Logic#Coq@0fEٝiq/4? ]ʠ*EqdepFacts%Logic#Coq@0Qtإ*Arith_base%Arith#Coq@0kp %B)Factorial%Arith#Coq@0 z5+lM+Compare_dec%Arith#Coq@0?aȪN PeVO)Peano_dec%Arith#Coq@0_6~_9CB٠)Decidable%Logic#Coq@01Z`KAr'Between%Arith#Coq@0p$p 鮹@V#$Mult%Arith#Coq@0BZYYyk*|{0 F1t"P#0ف.Z|\z5-ޠ&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@2)INDUCTIVE@@A@8@@@#_33!@7@@@@@#_34-@D@A@@@#_357@N@B@,@@@@@ϠON@@#_36K@b@٠@@@@B@@@@#_37(AUTOHINT@#cocu@@!1T!2Mw!1!2@A @@@@@@@@@@@A@@Р@@@@@@A@@Bzy@@ABAB@A@B@AB6ABwo@A@B@AB@A!3d!4!7!5pnm!7!4!6[BZU@@@@C@@AD@@E@@AF@@G@@H@NCDEF@C@AD@E@F@ABC@ABCD#CDEFGH@C@AD@E@AF@G@H@ABCDÐG$"@C@AD@E@F@ABG@CD@'&@A#_38#@:@@@@@@@@@>=@A#_39:@Q@ @.@@@3@@@@5@@A@Eee@@@#_40U@ @@@J@@@#_41b@ @A@@@@#_42m@ @B@@@@e@@@C@7#_43@@L@@@@@y@@@@#_447@#coc @@К#396#397#397#398#398 @A94@@@@ܠ@@@@Ѡ@@ABC@@@@ABC8Вܩ۰@@@@ABC-@AК#399#400#403̰#404#401ذ㤐Ⱊ#399#404#403#402\B@@@@98@@A@?@@ @@AB@@@@@@@QВ@@A@@@AB@CD@ABCD(@@A@@AB@@@@ABCD987 763'%#@@A@@@AB@@ACD@9gf@A#_45c@z@C@@X@@@]@@@@ ~@A#_46{@@ @@p@@@@ @A#_47@@ @@@@@@@@@@#_14-RESERVED-TYPE!i @@#_15 !k #_16!m#_17!n#_18!p#_19%!s$@$sort@#_202!A1ڠ#_21;!B #_22A!M#_23G!N#_24M!T#_25S!t!#_26Y!u'#_27_!v-#_29e!ed #_30n!f #_31t!g@.(83'=HBMXRc]nhys~ɠԠߠꠠu & 1+<6GARL]Whbsm~xƠӠࠠ $3)B8QG`Vkevp{ȠӠޠ頠 & 1+<6GARL]Whbsm~xŠР۠栠 & 1+<6GARL\Wga@)4@02%