]CAР(Coercion(JRussell&Lambda@B(Coercion -coerce_in_env(4@@#Env&Lambda@@#env@@ @@@A-coerce_env_hd-coerce_env_tl!e!t%Terms&Lambda@@$term@!u !s@$sort@@%Types(JRussell&Lambda@@&coerce@DCBA@@ BE /A G$List%Lists#Coq@@$list@BBFG&!eg!fk!tS@443,%\9;)`=>B@@jFD@@@@@@@BAFBD@AA@@@@@@1coerce_in_env_ind@!P@{@@@A9 !t@@@ @@@@@@~@ B|@A|{zy@@x@B-v /x65@8A53@B@@@@D!FB@!FT_U`!c ^i_j @@@BDgrhs@JϠnymkeldc`qWLٷwzwu$BI੐H㐶@@@~@xw񠩜u婜y @t@ !"ȶʶk(' +*@ +g() ,I'(*()="> 3"# '>#' Q''+g() %'+7Sg +7S'+ 7!S'%'nAp@@@@.ind_coerce_env@SRQ@@2typ_coerce_jeq_ind!e[@@!t}d@@{@!T !H!@mBkji!f@B|{@@@ovyq{+)"!U%!s(@@" @9@npA?8!V;5<31A0J@4N=2$List%Lists#Coq@@$list@AWȐ"H0@@xBDigjh@L@%Logic$Init@@"eq@x'@ {gw@AS@BX@Aڠb`1]"H1鷐"H2/L@BQ"H39 L?@&eq_ind""e0$List%Lists#Coq@@$list@A@B@D!lu@ÔAa@%False@@˷@ g@$True@@A, n@)False_ind>uF(WKl[X,Xְ^o]ڰNtlABd8'>dj;{,uwMGQ"f0XWu l\^sqbcSgxjIdbAX@DWkNJDmNA!©gAvwȩ \s}@ð1@ư4 @A=?&@/@WBDHFIG@߶@ݶ@ѩ6ϐ@CUSNLM(&#ķI_`A@DU{ zxZ$tsqrrmkpnje{f|A@DϠ/d$bp:֐׶(`t>^@\@ZxB Xca~~@|?@@BD@?@=0@5󩜠@B)DatatypesIb@@#nat@A@$lift@B˷"t0ƷAǷ"s0A;@2i::RM"H48̩Ns@'f_equal"e12A(@D'%%<_*(?>ROC-cdCA9@D86Mp;9QcqtePWv[@F(R4t #=h1~)6Qn_\U]x_b`M*$|<SKYȰ60+_:4 ?= T\Ķ.$+0(<"H58iѐө=BMO7ҩHBC@{{M@B E%R@GJ*z@&sym_eqbimöaǩu}z{{tywzwrAɠ@Dܠxީ!AԠ@D.é@47 - G)0& ="O .ک ¶1H<oOȩݠQG@d B f"#$CI'@nܩ?!@˰41"R46׷ӷ"t1ݰ6D_@٠jH_hݠ_GNf@BD@@Zk|@PNKPM!a_"t2Hw@{C%^@&pAf@D>y=y$<}gP2*M3}As@D:971H43764@ѰxZV2.,/(YX.*&# WQ[UWa_ǩ,3}OLQ"4 ]ܷ"H6Y%!\BD-*5 7ǐȶf#Omy~| |wƷAΠ@D}u&wA٠@D@7eln y; q/NBD:3W5-: S@_ͩ0@%{#֩9Qٷҷ"s1LH!Mڷ۷"s2Ӱ8:U@ϠC>U۰F:D`@נYqHKi=cߠ%NBE$T*|VUwtHOj0Z@B_5^a !v  "UrPao@FlsĶ %@0yq }+~BFwg~:81_ 5*5r*r(B@&1@e[64N@[>H==zK@%subst@Z@>lI |з"s347q@(sum_sortzQkɩOa[BG4fV砩ܰsn̩rNpǠѷryR}rZ}Vs*q@oud}BHbީ蠩n  vrDCuxA%BI$*̩$"0 2   r@y,NlͶ@ #%UӷBBJ*H ,+$.@N0S2P1۷ܷݷҰ;:@G>=ܶ@ܰC$ =G٠;HBKN@/Fȷ6BL[M<Sշ  Cdcb@کgH_緐!c_eol@)rdt"vLn(&!A!!B$!j!4@i8C&@Ap A?89+2 6="s'C53M@"5O3Lo@jBD[Y\Z@@^Xo@-Vse^_85ַmЩаgb&_کuvA@Dɠɩݰt<ͩ>zAà@D֠i@!2F}{^wՠҐZRM,[?ֶTvroW5H̩ ,_wf~0 )|mhةk8'KqjX $sp]{3  թP_ .M &̶ʩ;iƷ÷ķ-·$[,NǷ6 A@D%i'j ˩AԷ'A@D0:D 5I7޶@{"[ɶGRC.+FϷtD+ҷ.,A\= S;JCaݠOU޷s D7|Su>wU75VWo|^B޶@ pA@ީe;-cܠy[?۷"A'"B' Wwnu '@{\}%vж1@<i!!;@(R"c0>ma.H@,E\_a<cy%:T@8QU<EWcHHXpC)Hb@FȰ_c8Se}Pj!N-Z@C42CeUnqmXkȩ ݰt<ͩs^>ΩѠ [zY{h|f}XVoSٷxq@IXd0`\XMcT`~@|NLJB>#s''rө>˩A`O@D@Trq@۠.9\ q ^ +"y ķ!P"U'÷! ж@$&Ωwض@Ű,JȰM'M@ΰ9SgL@Ӱ:lH>@Hk@F HpJ H|37SRQ@ɩV7N20<y<y @`÷!u W|@ilz!p2<Hө@E wAMyOw{u!<}|/-&' 3>yh9701!C4 & /(B@Mw0J@U4N#<@HWUvN!NQ3R-J3U0.YGa@xBDigjh@@@&`^ohiB? ,e{|A@DϠ|AŠ@Dؠ@D{yKuMJ8϶Mokh PZ \Y8AA a^Ki!9 g'U2A@D  Q ' A@D   -ٷ¶@)4%&T$  !<3*#ٶA -3ީ: b X /Q  0 1IV8m@ڶ@ ;)ַ#䷐"V' ĩ 7 & G^@ Jk <·"j0 A Gѷ@ S Vt u]AB$ ]'~{ O _YW 7 20.9"M'#) p o Q!@ t w o y 'ͩAC, ~<=TI   s+B *1 D  g ~ :812[3"4   !  0)C@N   (  zA"N'DS  7Q@5o    q=WEAD$ x*  (`^8W0[ϷP˷9[4޷ܷ_yT  ٶRl@y(f[[ ٶYs@`  ]wթ[v ʩgAE, {{ ԩzh    Rbn[^\{Zdp`L  4{@a5gj3     AF,           }~|"T S)"u'"j1x  Ϸ.@    "v'·"j2  | 9Ӷ@ & ) ! + Lַ۷9 .AGD 4נ 6 5 J : < ; d n ]  4巐"t'ũ > H G @ K = ,AH R p D 3 J̷  )Էso$ط=۷f   `+ @w f h%  ( iƠ n   @\  q s͠ eI  # AI4 z 9PE   R t . , ' %@ & ' (> <  3񩜠 !AJ   | k  < : 3a  7 , 7\ u   =W866 @52. 1 Kੜ 9AK4 D4ax(   x  T R, K8 L'      F ? Y@ =    3 U? Ve     I c@ة     M g< UAL   :  ط p n gI h k ] ` Y Y s  : aAM   D | z s% tV uP 9 m 6 f  ! nAN    Q   2  d ^ G    ޷ } v @ L     O     7 ~ @ T    ͷ   q AO  %   %m   N  }  z x{ d       @k {     R  @i   $d AP   > - * > P@#and@  ö    @     ɶ  ¶  ö  @    ζ  Ƕ  ȶ  ɶ@  @@A@.typ_coerce_env@ o n @@%proj1!e y C@@ w!t e L@@ c@!T @ Z Y X@@ WB U T S!f@B  f e@@ @ Y ` c [ e7@V@20") + -@ @@'@ x w v u">@  [ y | ] t ~FD= ?9@@7A    2N@  k  0@ MW@@A@1coerce_coerce_env@ ٠ ؠ @@j!e  @@ ඐ!T Π @@$term@!U !s @ @@ ʠ ɠ @@ @    ö!f%@B  ֠ @@ @  Щ    ն42#+ D-0.@A    ܶ<@    㩚J@%proj2GE ?B@@0B   +N@)     _@@['0@ ^@@A@.jeq_coerce_env@ I H a@@*!e R @@ P!T > %@@ <@!U   @ 9@@ 8 7 6@@ 5@ 4 3 2 1!f#@B  D C@@ @  > A " 9 C20")!V,/-@A N M L K;@ P 1 H RICA ;><@.B \ [ Z)J@' W ^ a Y c[@T@W%.@ )(@@A@@@    " ! 5 4PO蠠|{@@@@%Basic(JRussell&Lambda@0s տ>c.3 0/t)>ye,ܠ 0beӯD Ơ&MyList&Lambda@0 F1t"P$Conv&Lambda@0*}Q;<)Reduction&Lambda@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>E 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Ԗ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(>=KJc@0֠ǿ/`U)Notations$Init#Coq@0JH.+UI(~@@fd)INDUCTIVE@@A@jTRR@@@#_38)IMPLICITSeAA@@@@j@@@@AcE@d@\ @\ @@@@B+D@,@@@@@#_39/ARGUMENTS-SCOPE@@@@@#_40 @@A@@@@@@@#_41@@B@@@@@0(CONSTANT@@@#_42a@>a@@@F@"e0@@@@#_43E@@@@@@@@#_44(AUTOHINT@#coc@C㚐!2!1!3!1 A @@@@@@@@@@@A@@Р@@@@@@A  @@AB@@C@@AD@@E@ABCD@A@AB@C@D@ABC@F@   @A@C@D@ABC@ABCD/ABCDEF@A@AB@C@AD@E@F@ABCD^&'')@A@AB@C@ABW@AL!9!7 X!9!8Bid@@@@G@@AH@@I@@J@1GH@G@H@AB@ABCGHIJ@G@AH@I@J@ABC,+I+*@G@H@ABI@C@,@A#_45I@6I@@#_46@ @Y@A#_47^@c^XD@U@P @@HF@@@@#_48H@@@@@@@@0/@A#_49@(E@@ @ @@ G@@@@#_50{@"@@@@@@@@dc@A#_51%@␐E@֐@ @ @@ѐG@@@@#_52@"@@@@@@@@@#_21-RESERVED-TYPE!i @@!@#nat@#_22!k#_23!m#_24!n#_25#!p"#_26)!s(Z#_272!A1s#_28;!B #_29A!M#_30G!N#_31M!T#_32S!t!#_33Y!u'#_34_!v-#_35e!ed #_36n!f #_37t!g@~x ͠ؠ㠠  +%60A;LFWQb\mgxr}ĠϠڠ砠 %2*?7ND]Slb{qǠҠݠ蠠 %0*;5F@QK\Vgarl}wĠϠڠ堠 "-'82C=NHYSd^aitnyɠaΠ@GWakuT@0v[+T:%~