"` (Alembert%Reals#Coq@()Notations$Init#Coq@%Logic$Init#Coq@*Logic_Type$Init#Coq@)Datatypes$Init#Coq@&Specif$Init#Coq@%Peano$Init#Coq@"Wf$Init#Coq@'Tactics$Init#Coq@%Tauto$Init#Coq@'Prelude$Init#Coq@)Notations$Init#Coq@0&v!D]hwnv %Logic$Init#Coq@0\͉!Ig)Datatypes$Init#Coq@0.i bYN Z*Logic_Type$Init#Coq@0 1jc6&Specif$Init#Coq@0;RWMi\N'Decimal$Init#Coq@0C涳N*ua#Nat$Init#Coq@0eʤģPSR蠠%Peano$Init#Coq@0 jha|ؠ"Wf$Init#Coq@0q+W,J+'Tactics$Init#Coq@0/9m+ a%Tauto$Init#Coq@0̂"&/rk0JqTttֱ'BinNums'Numbers#Coq@0dmk(5Ju<*EqdepFacts%Logic#Coq@0FI$ͼՋ`)Eqdep_dec%Logic#Coq@0u wWIϰ߼&Basics'Program#Coq@0!bs߯? :VU$Init'Classes#Coq@0](p{yOh.'Tactics'Program#Coq@03u%+Equivalence'Classes#Coq@07;ꮹ-SetoidTactics'Classes#Coq@0S_`nOU$&Setoid'Setoids#Coq@0D9AsWE!>$Bool#Coq@0j 2cZ`FW*Equalities*Structures#Coq@0όe얟)H.Ƞ2Relation_Operators)Relations#Coq@0%s鯰s4Operators_Properties)Relations#Coq@0U3y#h&)Relations#Coq@0r砠*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ&NZSqrt&NatInt'Numbers#Coq@0` .%m%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|&NZBits&NatInt'Numbers#Coq@0MlIpKt'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI$NAdd(Abstract'Natural'Numbers#Coq@05;ZW:㥜un$&NOrder(Abstract'Natural'Numbers#Coq@0]@7U#oY)NAddOrder(Abstract'Natural'Numbers#Coq@02'8zn7Hfɠ)NMulOrder(Abstract'Natural'Numbers#Coq@04> Aat/ j $NSub(Abstract'Natural'Numbers#Coq@0:DfJᠠ'NMaxMin(Abstract'Natural'Numbers#Coq@0]v|Qg̟ʠ'NParity(Abstract'Natural'Numbers#Coq@0̗SKz*!&4h$NPow(Abstract'Natural'Numbers#Coq@0҆mulf%NSqrt(Abstract'Natural'Numbers#Coq@0<ge$NLog(Abstract'Natural'Numbers#Coq@0KI'BinList+setoid_ring#Coq@0Au,Ring_polynom+setoid_ring#Coq@0gaKw9`UW+ListTactics%Lists#Coq@0,Jcy{+InitialRing+setoid_ring#Coq@0k/T=cN(Ring_tac+setoid_ring#Coq@0x2]%762f)Ring_base+setoid_ring#Coq@0fbU(2cNe$Ring+setoid_ring#Coq@0Msᬠ)ArithRing+setoid_ring#Coq@0ṔCgt?}%Arith#Coq@0I|кX*o4#Max%Arith#Coq@04=;3$>aU堠#Min%Arith#Coq@0Ce-Fѕ(PreOmega%omega#Coq@0\|چBb~w4%Omega%omega#Coq@0t.J'6\ϨrK(Zpow_def&ZArith#Coq@0f蓜DX;V*ZArithRing+setoid_ring#Coq@0{#'[{nm!/,Zcomplements&ZArith#Coq@0ʾq %RIneq%Reals#Coq@0JUڻIu)$w&DiscrR%Reals#Coq@0z41pV.%Rbase%Reals#Coq@0Jܡ\ c6{%R_Ifp%Reals#Coq@0c4+ZŠ,Fourier_util'fourier#Coq@0ϳ> 4`*r0'Fourier'fourier#Coq@0wV9TN*Rbasic_fun%Reals#Coq@0hܒiclE>%R_sqr%Reals#Coq@0X%MԹ%M+SplitAbsolu%Reals#Coq@0M)&qYlݹ5*SplitRmult%Reals#Coq@0sD\rt/$Even%Arith#Coq@0YO%q}d߫%$Div2%Arith#Coq@0n*Áht!,)ArithProp%Reals#Coq@0B+L?>*e˃a j*Rfunctions%Reals#Coq@0d¹d‹@'Compare%Arith#Coq@0OM v먣5L:'Rseries%Reals#Coq@08]$u+?'SeqProp%Reals#Coq@0Lt2|9D }SSԻ)Rcomplete%Reals#Coq@0{ڸ4q 'PartSum%Reals#Coq@0j&2"(>S i٢M۹ =R{-hQР(Alembert%Reals#Coq@A+Alembert_C1 @"An@)Datatypes$Init@@#nat@,Rdefinitions% @!RӀ!H!n@#Rlt=@#IZR/r'BinNums'Numbers*@!Z7@ABA"H0'Rseries1@%Un_cvɀ.G*Rbasic_fun<@$Rabs; wF@$Rdiv̀C]B()>Ȑ"H1"H2&Specifg@#sig#* @e!lh'Raxiomsi@&is_lub -jlB@#EUn.!N*Rfunctions}@(sum_f_R0YcE[[,BBB@@@@D!s8/-% FqqC:p)'Gzzz!xVRAK:8H@.Un_cv_crit_lubEր̩%Logic@(eq_ind_r!2#ʩ@%Rplus+1.-!rթ@#Rle=`(@&eq_ind JEҷ!8ǩ%RIneq@1Rplus_le_compat_l?X*=@"or @A5G@"eq @=sl@)Rplus_0_rH€sCAuNu˩'PartSum@%tech5gC@*Un_growing?!@ѩѠ-.!X@ @,completeness$멚O@0Rinv_0_lt_compatD1-B2@(positive*@BCi@1Rplus_lt_0_compat-Pa@"R1Ȁt@'Rlt_0_14C\Wn@$Rinv8-! @&ex_ind 5{r@%Peano@"ge Uw^`{@&R_distXPJ-@"ex @!m=@.is_upper_bound:o$:53I \6AJE˩CKH@%Rmult׀൷"x0ҷ"H3cRsΠODԠ  ,6BAAAA@@@@@Dө@:auP-'L@&eq_sym XQ#Nat@#add `Ej @#sub @%tech2g7x$6ޠ.$0R("⠩= xrƩɩSީSKA۩33ZM1BߠH@%tech1g‰MG*~@"le UxT@.V}ߩ@1Rmult_lt_0_compat=//Gk4@+Rplus_assoc pn;p rCGt !ec1t.2Q`MN/e_2] C ĩ;)$ȩ4<&ʩ3ϩ0ClrG}͠iXĠ$(NV wXޠzi֐ՠ~5ˠ2r Ȑ(hyp_listz@$list]@A@$prodt@,Ring_polynom+setoid_ring@%PExprk@l@7@"Ȑ'fv_list)B. )ArithRing@0natr_ring_lemma1 ,M𚠐(Ring_tac(@0ring_subst_niter!3E*8C/&BinNat&NArithI@&of_natK)BinNatDefO@)j2_|ATDK~&M(#O @$Truey@AA@$boolZ'@A@ Ȑ#lmpw@.mk_monpol_list(rsAwBI@u B@v3 N@#mul H@3B g㚠U@#eqb YO@3[@(div_euclu^U@ @#Monf@@#Polj@@#Peqj*&@*norm_subst7:d0@=949.-'0B?;6;0/)iQC8LʩucPa8Q?GfJii FNܩqRː U۠wfҠw4ʠ8蠷s(Rpow_defh@#pow#׀EW@%tech6gзʐQ{mCy]@.Rmult_lt_reg_l>eЩ#TϠ*W֠ u۠6U[=렩fM*,wk©UZȐ"H4 ΩȰЩ%3'کJL ߩٰ1" ߰6' PCR@*Rabs_right |T@#Rgt=<"$굩os1mC ɐ,@,Rabs_Rabsolu1B4 @$Ropp΀$@&Ropp_0 GU`C␩ @&Rminus&H F'쐩 WY,0jtA@)Rmult_1_r+1H@*Rinv_r_sym9lU䀠"H5>F0Ȑ"H8;6nOVSD?))?+FAA@)False_induُ@%Falsee@s@*Rlt_irreflnQC@#notШ-ũ @+Rmult_assoc& 婚@*Rmult_comm8w@v}@ a~ʠ%@&INR_eqpĀLPT۠?@#INRr (egfũ  ɩð˩(*ԩ /7ةҰک  9,")(!#H;22&zۀljhj0t@2RField_ring_lemma1!7d\^`A_UEh  j"A:@7,*((a&BinInt&ZArith-@1P&)BinIntDef@ ̀@(1P] @) @1P@ p@#opp1P@ {%Zbool@(Zeq_bool0߀'@'quotrem\"@/ŀ$۠ݠ[3-]'^"0`<8)$-N$0b>:+&!/Dnj@%S_INR=s©és@(plus_INR éͩĐҩҩh|ϩ~#)jh*O-16Y)ArithProp@%tech8 L쀠BCefe9͠!16ƩĠ% נ#;$@)Rle_trans"QF~gڠ렩W9Q![@1Rmult_le_compat_lڀ\yŰ?ɩfbqfԩ@.Rmult_eq_reg_lAq &y -©Ϡ_MᩜxF}GJ&@ Ʃ0Ha0Jc&Ѡũ@'IZR_neq%M֩9!ѷ"@@AA@AA@@@@@@D!z-A˷@ڀQ@UѩؠCǐmdD@3Rmult_minus_distr_l Io~06>m_@ӷnAl&ܩ!P ~Q| vWuX0}^Ag=$ p^Y(iq[*vdow@.Rplus_lt_reg_l5=Ӏ<Y[rְvvx@n?_OZ0tpa\WQIe թɠ35ٷnР51O  _|J@1Rplus_lt_compat_l ]߀r=@&pow_lt!EۀSwC ^@*Rplus_commqpVr_Cg@/Rinv_involutiveCaCr{@%tech3g䀰y@&Rinv_1 ;9ۀ.1ʩ@%tech7g??⵷9 C©% F,CJDNͩ0ȷ!p@AA@AA@@@@@@@D ÷ HbCfgxC6jC@%bound167mI[J8@Ġuu`D CҠ@V@)Datatypes$Init#Coq@@#nat@,Rdefinitions%Reals#Coq@@!RӀ@W,Rdefinitions%Reals#Coq@@_=u@@b/raBT@'Rseries%Reals#Coq@@%Un_cvɀGW%Reals#Coq@@$Rabs; w8@$Rdiv̀ZY[}5&Specif$Init#Coq@@#sig#* @fY@K}*Rfunctions%Reals#Coq@@(sum_f_R0YcP V+k()6L 7!: : 6777777 7!77 7 !+G+l77!+y77 +7 7"= R<'>++7 :''() + 9 77 7! 7!7!:'()= R'>  7!D= JR}'>:= RU '>2  797!+7!7!7!7!777! G7!7 7! 9 77 7!97!+7!7!7"9 77 7!97!+7!7!7!7! ^#9  677779 77 7 +!97!"+7"9 77 7!"97!#+~7!799 77 7!97!+f7!7!L7 7!7+X9 77 7!97!+P7!7!7!7!77+@L7 7!7!77+`97!+n7!7!7!77'>z h7!7 7! A#9  677779 77 799 77 7!L7 7!7+L7 7!7!77+ 77''>1  797!++7!7!7!7!77 7! l67 9 7!9 77 7! \6I677 -+777" +DL77" +}L77"77 77 7 +77 7 7797!77 7 7"97! +7! +L77" 67 7 77 77 7"77 7 77 7!77 7! B+L77"77 7!77 7 77 7! GL77LL77 +77 77 +77 7 77 7!77 77 7!7!7777 7 77 7!77 7 77 777 7 77 7! +qL77"77 7!77 7 7 l67 7 77 C917!977 7 7!77 7!77 7!77 937!977 7 7!77 7!7! J&GL77LL9E7!977 7 7!:779=7!977 7 7!77 7!9>7!977 7 7!7! 9A7!977 7 7!77 7!77 9C7!977 7 7!7! v67 7 77 N 6777777 7!9L7!977 7 7"9L7!977 7 7!L7 77 7I+8L7 77 7!77 +E9E7!977 7 7!77 7!77?+(77 7777 9;7!977 7 7!77 7!9<7!977 7 7!79  67777977 997!977 7 7!77 7!77 7 +957!977 7 7!77 7!77 7!77/+77 77 7!77*+77 77%+77 7 77 +77 7 77 7!9"7!977 7 7!77 7!7!779 977 97! +7!9 7+77 9 7!77 D,GLL7 9777 9::777 9:LL:77L97!L+9779 :+w  6777777 7!997!77 7 +A 7+B L97! 779 77 7!97! +\ 7!9 7!97!+S 7!79 77 7!97!+> 7!7!7+9 97!+H 7!7!7!77'+e 7!77# ''97!$'97!$'97!$'()97!$'97!$'97!$'97!$'L7 7!7!7%'97!$'9 77 7!97!+7!7!7!7! 7%'97!$'9 77 7! 7!7!7%'97!$'9 77 7!7!7! 7%'9 77 7!7!7! 7!7%'+ k9 77 7!7!7!7!7%'97!$'7L +77777%'=3 -R>'>= R$'>6'>6'6''>6'6''+k6'+k6'LL +77777%'= R'>6'>6'6''+k6'LL +77777%'= R'>6'>6'6''+k6'77 7 77"7$'77 7 7%'LL +77777%'= R'>6'>6'6''+k6'LL +77777%'= R'>6'>6'6''+k6'77 77 7!7! 77&'77 7 77 7!77&'LL +77777%'= R'>6'>6'6''+k6'97!977 7 7!77 7! 7%'77 7%'67 97!977 7 7!7! 7%'67 77 7! 7%'77 97!977 7 7!77 7!7!7%'67 97!977 7 7!77 7!7!7%'67 97!977 7 7!77 7!7!7%'67 7%'77 7 7%'97! +7!9 7!7%'77 7 7%'9  77&'97!7 97!97 97! 97!7  997!997!7 h7 97 D7 97 GL77LL"7 :7 :77+77 7 7!77+77 7 7!77+97 97 7!77 + 7 97 7!77+77 97!7 7!77 997! 97!97" 997! 97! 9  7 7!9  7 7! [  77 7 7!  7 7!  77 7 7!  7 7!  7  77 7 7" 7  77 7 7!7! + 7! 7  7! z67 7 7 77 77 7 7! H6L7 7 ' (9 7!7 7 L7 ) *9 7!7 7! , -9 7!7 - .9 7!7 7 a#4 5 7!59 6 7 79 792 39 7!7!2 39 7!7 L4+;5 69 7!77/+90 19 7!7 77*+4+ ,9 7!7 77%+2L7 77  7 !9 7!$7!"! +5L7 $ %9 7!7 7!7 77+77 7 77+77 77+. 7  7!77 7 7!77+ 7  77 7 7!7!77 +  7  9 7!77  7! 77 7 7!9  7 7 +97!977#'77 7 7!7!77 7 77 7 7!7!7!77&'97 7!77 7 7!7!77&'77 7 97 7!7!77&'997!7 77 7!77&'997!7 77&'L7  + 77L7 7!77%'L7 7%' 7 9 7! 77&' 7 9 7! 77&' 7 9 7! 7 77&' 7 9 7!  9 7!7 7!7 77&'67 7 7%' 7 9 7!7%'77 7 7! 7 9 7!7%' 7 9 7!7%' 7 9 7!7%' 77 7 7! 7 7! 7%'97! 77 7 7!  7%'97!$'97! +7! 7!97!+7!7%'77 7 7%'97!$'77 7 7%'97!$'97!$'9 77 7!7!7! 7%'97!$' +k9 77 7!7!7!7!7%'9 77 7!7!7! 7%' +k9 77 7!7!7!7%'+ 7 7%'7%' +7T'+  7!T'67 7 L7  9 7!7 7!7%'7%'7! 97! F7!7 7!  9 9 9 L7  7!7+/L7  7!7!77 ++9 7!7!77#'9 7!7! 7%'7!7%'7%'+k+ 77%'+7%'7%'|xn!ȐT ABAS@| eFH={VVHVUUU$TThTHT(SRRpQQ|Q\PO0N5) )(|(\''\&&%$###L#8""TL      h l L   HX,lH`p] X` , ࠒ.ϐP|PP<P ONN$IHF;H;,:::77H66)T'&&%%\%,$$$$`! L>]YTI1p1`0///..|.,,,l+++`****\)A@@`: j(mР@@AABAAA1,/T.H,+*AA@CB@DAA@B@蠒R\QQHPNNXMMMxM$LLLPKdJJJDFEE,E DDlB>`==l=`<<|<;64|33 0x0((H''8&P""t"PxD  DxlL`OOx6P544P321-,8Xt|$0HܠРf@Ƞ XVUU<KKJJTII4HHlGGlEE8DDCC|BBDAAd::099X8600 -X$$#!\d|,H    `(ؠIQ> 8SKCLB,AAX@@???4>5(X 6V 0     @8ph,E@$! ې;cTT>\ XxCCCB@AA@BB@AA@8T^AABA@O  >VDEAAB@AA@AA@F<SlOOlNLMMMXMLLL0KKDJJJ$F<FExEDDDPCB@X>T>==T=$<<< hM xRDAABA@KP 0.-,T+H)Q\I$HHHH0GGG<GF:::999@888l8,777T6簠AABA@@AA*@^RĠ FPUEE@DCBBLAAl::899`9$,l4  c8 $\   dHxn";| 0SNpMMM0LL\LJ22T2$AB@SXRHQQ4PpOOXN8MLxKEEDxC>@>=@<<\;6055L4440333L3 2100d0D/.---8,L)((4''$&<""!T! ( \dp8T\|(d(tThHpl0|d<  t , 0 dlX8 8 2T#X t(I0/. ,t+h)ĠŠ77( WLV(URQQPO<65d544330),(('h&%ࠒ=0    0(`X1/.-$,+ *䠒s ]hUDIFDC0/-,\+P)#! d P   hON5443p21&l##""8!H\$@HhP0 | 4 PSF | SӐ$<@; TԠ 0A@HHGG$GFC>,:\9(854\322l2@2/+@)8D4dhH(4P   S4KK JJ\I<HHtGGt600(-` !4SKKK CpCXB8AA???@>䠑1H/p.d,+*tS@`?876̠ VU TS|S`RPQQ<PxOO`N@MLKIIIdHH GG,GFEEDDCCBx?>>H>4>=H<@,Field_theory+setoid_ring#Coq@@&FEeval>@@A@A"s @,Ring_polynom+setoid_ring#Coq@@&PEeval"s @@A@BA@A@+Alembert_C2 @     @      Ȑ"Vn  n 렩 r ~o  u  Ȑ"Wn ͩ |   D   v  ص  Щ  e   ө Ġ       9  q    u     M    ۠  @1Rmult_lt_compat_l`   |  6  &   ϩ 1"' ?  7! 1    ک F  >& @$  L   <   G:  S 1 $@,Rle_lt_trans*GӀ'68 =  + N ! L @(RRle_abs B @)Rabs_Ropp&#G n 0 fLL ` 3 $Z  W 8 nT $ h ; ,  sdd[ +[ @+Rabs_pos_lt`b 9dC ;fh [@&double {  p > ErL @+Rplus_opp_r {Gu[Izvi k~C Rn p O VG   S x@)Rmult_0_r+Ȁ7C ` [ , ,C d _ " i  # l  j e $ p      s X g   C O      ɠ $r ͠ N Z  m -   Z#        u נ   ܠ ޠ   "             - 3   *(*,*  © //  ũ =   ʩ 7   ͩ   GG> >> 1 A ǐCC ɠEG J ǩ ΐL- @+Rplus_opp_l73O?ҰT=P RA#C ۠U "W] $Y ک [ +b yd C   g C     4 + ,   B@#andЖw@A 4 E  Ґ x ; ;= L N  ϐ A   A " \  Z `  V ) T e   o @ w % T 5 k* ! e 8 c  p v  ~ @ v55 p C n { 1 }   K @ B@ } P {  & aG > c@.Rplus_le_reg_l -<LN F  ^  _  5 T6 97  h []  k     C  q  fh  v    y c  z   RQ  s    G)bx]x  r{ @)Rplus_0_l 6ʀ Ơ7* 9G, ˠ<   ΠZ vP C ɠ| ڠ~ 5(C Π ` `C     נ      G   ࠩ  L =    Q        XF    ɩ    e = ; ϩ -   %ݩ 'ǩ߰ & @ װ0 $ = 0 & ?    ,   " $÷    ) +  S Ω :  2 ,  * թ 7  C  ; 5  3 @ B  " '  K) N }C D] Uk   m~C K}C  /" V  6 W h é  r  ^ o#p , E H@.Rmult_le_reg_l΀Щ   Ԑ }  ؐ  a b k L z M x #     搩  Y h ,  `  a  7  tl թ Ӱ j ѩ հ l װ nmkj  D Fwyy{vc{}a ^ek  @ y  c4 TD O0 ieVQLF>  Z Q0 kgXSNH@  \    Ġ Ơ GN ȠIK ʠK8   Π Р Q  ҠEG   Ơ b  t     Π ߠ  b   ~  s AY n   ꠩  G m    ࠩ  L           ) @'and_ind14ۀЩ   `x 4  6 |   , :      A r@)Rmult_1_l9 H/ @*Rinv_l_sym9`g~ܩ ! |Sx ~  R %W /YW @*Rabs_no_R0    ͩ 3 = 6Š :  (   nƩ ) a   C  8̩ I =  O Щ  ސ  ۷* _! [ 萩  ة 됩  $ Y, W h H C Đ; m  V7 q s% i< g `A { } / ط sF @H2 W@.Rinv_r_simpl_m=  9C 4 >Ȑ"H6>'C%  D D  T\F }^ _   e   h   ?0  3   ̩G  I 2 @ 2   ,G 9 J    Ġ\ Ơ G  0ecb g i $ (k T" $  ɠ ڠ ܠA ] 7k6 ᠩ U@ j C    O D  @   p  0 z  0 |  ש Ʃ <S ʩ   *k ϩ    P k U   u M K  M w O Axx~  @      0  < U 0  > W   :6 < >]b' B D 4 F9<: K M Ω ܐ j %  (b  =# $  N ̩ NN  کiЩX i \\' ` q%  I \l@)Rabs_Rinv&ǩ >U/ 1& ְ3&# (%@)Rabs_mult)C~  & D94Rk  Un ~ S.& "  #D#epss  }J`Ȑ"H7 qRhR>j&!@%IPR_2ū2"&DiscrR@)Rlt_R0_R2AlC|Mj~SM$#@h` X Yd4@0&yq  ŷ sȷCɶʶ@?5 8 5Է"H9KȐ#H10àHWǩ)ɵ!ͷՠ   W/  \4 "$a, *Đ7ȐY ( ީŠt ӐFאϠX d rԠjN=T N! Bޠd"$ ]L-젩ZBAd7( R%  5 -~@, . sF7 2 5[ iT   lשvWE\M2ab cT;,$\bap%rufKK  13%j tje#H11 pkȐ#H12 u s pa / ^C # ɠH }HXU W [] ^3^ `ca Chm ֩  ֩   C C% +oiCũ~vpͩ~֩8  ީkACu à 0~  l $ڷǩ Ԡ/7/)'4 C;=© ·8 6 QʷA?LNũ ũ[SַM Kb$Zߩ\ h*X+V֩co1D# T!-l1 ro%,rE5+7CkT #K`Cpegܩ iCuvlCzqRrS~)vWXi2 `Ne ;  굩lsmEW]    z  x# w urz5~--- z^ 9veǠ ˠBàРҠrK MMiҠ }UU-XXX/\\@mCܠQn DJppnCmCƩ䩷 ˩젩X שb թM  ĩ k ~  VTVrXv  +-/&(1(57Щ9/-^ة% H42cCEMѩ2McCARt; ^JHY(a#aЩPaTe  ۩Z8k \m w[Ur= ɰ vA  CA ǩQ_}t  v94 ; FN?8r@;"sT[ (>*  C  JcE Oh.(Zsj1!4Iu{ %H}k X1FB?Bs }Bn9 x v 0 _C ]864:͠ )ѠӠo` c3  .ߠ0b<p&蠩\w-ǩzJ Cw. JIȰNP$ XR" $Ω  ?g6@s  KI KM  0ܰ*mA"$Wé)+# (   ki km  @BoD38-HJL!B@QSԩ␩+. h C)"*!6ҩ66 oЩ^oDb'ĩfw+OSrU/1ݩ ְ3کܩCy<Jc MfH#9f!ة#ԩxyaz@`堩80abcЩߠp@otܷ z@y`~ ~VNc֠g_ ƩW|og_` /}yq rq'KѩĐƠU۩vwՠ é&W(ک]bn} {5 A-<ةɐ^K .=LV$:&5 Ȑ#H13 CY3 3=7?,2C%-E%FÐGIC% N2o%,-&C-!C2 rC;T2@Y <yS@ò]^.mz5ڷө ef6ul??mn>}IEEs _3"*yzJxSS'T  =]]/&\eee"p03i" rrv1a/P}:{gCddYjdjoioķ?Ŷƶ@;1Cة||@+ӷNԶն@J@Rѩ8[@WȠM_q.©.$Kn@j۠`rZ@Z}@y꠩o@g@|_&㐷"x2K(PeanoNat@#max.p@ ',l./0@a ['";c3` E_ @&tech11h L_NeF۩~$$}PJRbd5*9!  `Cd^fG?&N)qR./0xrz5*P~8{ dY@1Š+q̠*hطzՠq3נsG6 QI{}5ص@hx0zrH0|tةww?eCNR~XcRTZ\k k`SmcVC˰wCӰٰĠik۠`©Ϡ]h$a_zcgeix[ةS  񩜠H=é  <5@2'̩#ܩ0%^w0'`y3"XAS C IM.d<#:d7(X̩ $Щs@+Rabs_triang9KzM>4٠"+꩚f@,Rlt_le_trans9Щ!s@/Rplus_lt_compat":Ȁ,    Y@(le_trans:(#Maxg@(le_max_l2EC5C79<@(le_max_r2KC ECG臭B;O=Q"S?@*double_var?$d }s~C 1bC#@@k`@r%Logic$Init#Coq@@#notШ@"eq @Bb@[ӛQHé{֩F{;ې &\+k() +P +J; +p?7"= RS'>+z?+y+|7"= R'> +| 7!:'''()'67L7 7777 7!77 7 777 7!! + +:77! +y:77#'()+ :'()6L7 7 )67   7 77 7!7!7!977   7 77 7!7!7!7!7 7 L7 77    7 77 7!7!7!977   7 77 7!7!7!7!7 7! (67     7 77 7!7!7! 977   7 77 7!7!7!7!7 77     7 77 7!7!7! 977   7 77 7!7!7!7!7 7 'W67 7 7 L7 *  7 77 7!7!77 7 7!77 7   7 77 7!7!7! {T% 7 7 L7 ' 7 7! &* + 7 77 7!7!+ 7 7!+ , 7 77 7!7!, 7 7! / 7 0 1 7 77 7!7"0 7 1 2 7 77 7!7!7! K4 7 5 7 6 7! #9 7 77 7!7 L7 ; 7 77 7!7! A 7 7 B 7 77 7! PF 7 7 G 7 "K L 7!L 7 L7 N 7 7I+&L7 K 7 7!77D+&E 7 F 7 7!77 /B 7 C 7 D 7 7 E+&F 7 7 77@ 7 77 7!A 7 B 7 7<+&= 7 77 7!777+&L7 772+&3 7 4 7!4 7 77 7!7!77-+}&. 7 / 0 7 77 7!7!7!77(+^&) 7 77# $ 7 77 7!7!L7 % 7 7  6777777 7!! " 7 77 7!7!L7 77 7 7 +&  7 77 7!7!77 7 7!77+%L7 77 7 7!7777   7 77 7!7!7!7!9 V67 7 7 L7 *   7 77 7!7!77 7 7!77 7     7 77 7!7!7! {T 7 7 L7  7 7! &  7 77 7!7! 7 7!  7 77 7!7! 7 7!  7   7 77 7!7" 7    7 77 7!7!7! K" 7 # 7 $ 7! #' 7 77 7!7 L7 ) 7 77 7!7! / 7 7 0 7 77 7! P4 7 7 5 7 "9 : 7!: 7 L7 < 7 77+L$L7 9 7 7!772+H$3 7 4 7 7!77 /0 7 1 7 2 7 7 3+$4 7 7 77. 7 77 7!/ 7 0 7 7*+#+ 7 77 7!77%+#L7 77 +#! 7 " 7!" 7 77 7!7!77+# 7   7 77 7!7!7!77+# 7 77  7 77 7!7!L7  7 7  6777777 7!  7 77 7!7!L7 77 7 7 +f#    7 77 7!7!77 7 7!77+P#L7 77 7 7!7777   7 77 7!7!7!7 977   7 77 7!7!7!7977   7 77 7!7!7!977   7 77 7!7!7!7!7!77   7 77 7!7!7!977   7 77 7!7!7!7!7   9 7!7 77 77 7 7" 9 7!7 77 7!77 7 7! Y+:"L77"77 7!77 77 7 7! #$ %9 7!7 7 % &9 7!7 77 7! 67 7 7!77 7 7! . /9 7!7 / 09 7!7 h3 49 7!7 7 4 59 7!7 !6L7 ;;!<+!L7 7 77+!L7 8 99 7!7 7!77+!2 39 7!7 7 77,+!77 7 7!77+!( )9 7!7 77#+!77 77+! 9 7!7 77 77 7 7!7!77 67L7 7777 7! 9 7!7 77 7!77 7 7 m 7 9 7! 7 9 7!7 % 7 7 9 7 77 7" 7 7 9 7 7!77 7! g67 7 77 77 7"77 7 77 7!77 7! + L77"77 77 7" + 77 7 77 77 7!7!7777 +* + 7!+ 7 7 ?GL77LL8977   7 77 7!7!7!:8 7 7 :770 7 7 77 2977   7 77 7!7!7!7!7! 0GL77LL=9 7 :77 7 := 7 7 :775 7 7 69 7 77 7 77 7!77 7!7!7! #<9   7 77 7!7!77 7 7!77 7   7 77 7!7!7! k67 77 7 7!77 7 77 7! ,  7 77 77 7 7" 7 77 77 7 7!7!  7 7  7 77 7! MGL77LL# 7 :77 7 77 7!    7 ! 7 7"  ! 7 " 7 7!7! $ 7 % 7 & 7 7"% 7 & 7 ' 7 7!7! J, 7 - 7 . / 7 7* 7 + 7 7!+ , 7 7!, 7 7'+G( 7 ) 7 7!) 7 7!77"+<# $ 7 7!$ 7 7!77+7 7  7   7 7!7!77+, 7  7 7!77  6777777 7!9 7 77 7!  7 77 7!7!77 7 7+ 7 77 7!77 7 7!77 +77 77 7 7!77+  7 77 7!7!77 7 7!77   7 77 7!7!77 7 7!77 7   7 77 7!7!7! }9  7 7   7   7 7  7 77 7!   7  7 7"  7  7 7!7! ~_@! 7 7 L7 # 7 7! & 7 ' 7!' ( 7 7! + 7 , - 7 7", 7 - 7!- 7 7! 0 7 1 2 7 7! ]5 7 7 6 7 L7 7! /: 7 ; 7 < 7 7 =+> 7 7 778+9 7 773+zL7 77.+/ 7 0 1 7 7!7!77)+i* 7 + 7!77$+e% 7 77   7 7!L7 ! 7 7  7 7!L7  7 7+4  7 7! 7 7!77+$ 7  7 7!77+!L7  7 7!77  6777777 7!9    7 77 7!7!  7 77 7 7+   7 77 7!7!77 7 7!77: +>9 7 77 7 77 7!7!?977   7 77 7!7!7!7!?9 7 77 7 77 7!7!@977   7 77 7!7!7!7!@977   7 77 7!7!7!A9 7 77 7 7!7!7 8= > 7!> 7 7!  67777? 7 7 77 79;9 7 77 7 77 7!7!<977   7 77 7!7!7!= 7 7 77 7!77+{89 7 77 7 77 7!7!9 7 7 77 7!7!772+z3977   7 77 7!7!7!4 7 7 77 7!7!77-+m. 7 7 77 + 7 7 77 -977   7 77 7!7!7!7", 7 7 77 .977   7 77 7!7!7!7!7! Y 7+C77 8 9 7 77 7!7!7!7!77 8 9 7 77 7!7!7!7 77 9 : 7 77 7!7!7!7! +  > 7 7 77 @ 7 7!  DGL77LLL 7 7 :L 7 :77 M N 7 77 7!7!7!:77D 7 7 77 7!77 F G 7 77 7!7!7!7!E 7 7! H I 7!I 7 7!I 7 7 J 7 7! 67 N O 7 77 7!7!7!77 7!7 77 77 P Q 7 77 7!7!7!77 7!7! 67 V W 7 77 7!7!7!77 77 7 7"77 W X 7 77 7!7!7!77 7!77 7 7! $+L77"77 7!77 77 7 7! 67 ` a 7 77 7!7!7!7 77 a b 7 77 7!7!7!77 7! {g h 7 77 7!7!77 7 7!77 7 i j 7 77 7!7!7! k67 77 7 7!77 7 77 7! ,q 7 77 77 7 7"r 7 77 77 7 7!7! y 7 7 z 7 77 7! MGL77LL 7 :77 7 77 7!   7  7 7"  7  7 7!7!  7  7  7 7" 7  7  7 7!7! J 7  7   7 7 7  7 7!  7 7! 7 7+ 7  7 7! 7 7!77+  7 7! 7 7!77+ 7  7  7 7!7!77|+} 7 ~ 7 7!77  6777777 7!9x 7 77 7!y z 7 77 7!7!77 7 7t+Vu 7 77 7!77 7 7!77o+V77 77 7 7!77j+ik l 7 77 7!7!77 7 7!77 h i 7 77 7!7!77 7 7!77 7 j k 7 77 7!7!7! }9p 7 7 q 7  u 7 7 v 7 77 7! z { 7 | 7 7"{ | 7 } 7 7!7! ~_@ 7 7 L7  7 7!  7  7!  7 7!  7   7 7" 7  7! 7 7!  7   7 7! ] 7 7  7 L7 7! / 7  7  7 7 + 7 7 77+ 7 77+L7 77+ 7   7 7!7!77+ 7  7!77+ 7 77  7 7!L7  7 7  7 7!L7  7 7}+~  7 7! 7 7!77x+y 7 z 7 7!77s+L7 u 7 7!77  6777777 7!9o p 7 77 7!7!p 7 77 7 7k+Pl m 7 77 7!7!77 7 7!77: +<77 g h 7 77 7!7!7!g 7 77 7 7!7!g 7 77 7 77 7!7!77 i j 7 77 7!7!7!7!77 i j 7 77 7!7!7!i 7 77 7 7!7!7b+77 d e 7 77 7!7!7!77]+77 77X+77 Z [ 7 77 7!7!7!77 77 7 7!7!77  6777777 7!77 U V 7 77 7!7!7!77 7!U 7 77 7 7P+577 R S 7 77 7!7!7!77 7!77K+77 77F+3G 7 7 H 7 7!77 I J 7 77 7!7!7!77 7!7!77A+B 7 77< = 7!= 7 7 77 7!77 ? @ 7 77 7!7!7!7!77 ? 7 79+77 77 W67 7 7 L7 *< = 7 77 7!7!77 7 7!77 7 > ? 7 77 7!7!7! {TG 7 7 L7 I 7 7! &L M 7 77 7!7!M 7 7!M N 7 77 7!7!N 7 7! Q 7 R S 7 77 7!7"R 7 S T 7 77 7!7!7! KV 7 W 7 X 7! #[ 7 77 7!7 L7 ] 7 77 7!7! c 7 7 d 7 77 7! Ph 7 7 i 7 "m n 7!n 7 L7 p 7 7k+jL7 m 7 7!77f+fg 7 h 7 7!77 /d 7 e 7 f 7 7 g+;h 7 7 77b 7 77 7!c 7 d 7 7^+_ 7 77 7!77Y+L7 77T+U 7 V 7!V 7 77 7!7!77O+P 7 Q R 7 77 7!7!7!77J+K 7 77E F 7 77 7!7!L7 G 7 7  6777777 7!C D 7 77 7!7!L7 77 7 7 +@ A 7 77 7!7!77 7 7!77:+mL7 77 7 7!775 7 7 77 7!77 7 8 7 77 7!7!7!7 77 8 9 7 77 7!7!7!719 V67 7 7 L7 *   7 77 7!7!77 7 7!77 7     7 77 7!7!7! {T 7 7 L7  7 7! &  7 77 7!7! 7 7!  7 77 7!7! 7 7!  7   7 77 7!7" 7    7 77 7!7!7! K" 7 # 7 $ 7! #' 7 77 7!7 L7 ) 7 77 7!7! / 7 7 0 7 77 7! P4 7 7 5 7 "9 : 7!: 7 L7 < 7 77+L7 9 7 7!772+3 7 4 7 7!77 /0 7 1 7 2 7 7 3+^4 7 7 77. 7 77 7!/ 7 0 7 7*+4+ 7 77 7!77%+&L7 77 +4! 7 " 7!" 7 77 7!7!77+ 7   7 77 7!7!7!77+ 7 77  7 77 7!7!L7  7 7  6777777 7!  7 77 7!7!L7 77 7 7 +    7 77 7!7!77 7 7!77+L7 77 7 7!7792 7 7 77 7!77 4 5 7 77 7!7!7!7 4977   7 77 7!7!7!7.+?/ 7 7 77 7!0977   7 77 7!7!7!7!77) 7 7 *9 7 77 7 77 7!77 7!7!7!* 7 7 77 ,977   7 77 7!7!7!7!7!77 , - 7 77 7!7!7!7 ,977   7 77 7!7!7!7!7%+77 7 77 7!77 7!77 +! 7 7 "9 7 77 7!7!77+ 7 7 9 7 7!77 9 7!7 77 7!77   7 77 7!7!7!977   7 77 7!7!7!7!7+77   7 77 7!7!7!977   7 77 7!7!7!7!77+~77   7 77 7!7!7!977   7 77 7!7!7!7!7 77+677     7 77 7!7!7! 977   7 77 7!7!7!7!7 77+L7 77#' 7  7 7! 7%' 7 7%' 7 7%' 7 7%' 7 77 7!7! 7 7%' 7 7%' 7 7%'  7 77 7!7! 7 7! 7%'L7 77 7 7!7%'67 7   7 77 7!7!7! 7%' 7  7 7! 7%' 7 7%' 7 7%' 7 7%' 7 77 7!7! 7 7%' 7 7%' 7 7%'  7 77 7!7! 7 7! 7%'L7 77 7 7!7%'67 7   7 77 7!7!7! 7%'LL +77777%'= R'>6'>6'6''+k6'67 7!  9 7!7 7!7 7%'67 7! 7 7%'67 7! 7%' 9 7!7 7%'77 7 7! 7%'77 7 7! 9 7!7 7!7%'77 7 7! 7%'LL +77777%'= R'>6'>6'6''+k6'67 77&'  7 7! 7 7!7%' 7  7  7 7!7! 7%'  7  7 7!7!7%' 7 77 7! 7!7%'  7 77 7!7!77 7 7!7%' 7 7!  7 77 7!7!77 7 7!7%' 7 77 7 77 7!7! 7%' 7 7%' 7 7%' 7 7! 7 7%' 7 7%' 7 7! 7 7%'  7 7! 7 7! 7%'L7  7 7!7%' 7!L7  7 7!7%'  7 77 7!7! 7%' 7 77 7 7!7%'()'977   7 77 7!7!7! 7 7 77 7!7!7%' 7 7 9 7 77 7 77 7!77 7!7!7! 7%'9 7 77 7 77 7!77 7!7!7! 7 7 77 977   7 77 7!7!7!7!7!7%'DL7 67 7 7 L7   7 77 7!7!77 7 7!77 7   7 77 7!7!7! C 7 7 L7  7 7!   7 77 7!7! 7 7!  7 77 7!7! 7 7!  7   7 77 7!7" 7   7 77 7!7!7! . 7  7  7!   7 77 7!7 L7  7 77 7!7! | 7 7  7 77 7! H 7 7  7   7! 7 L7  7 7+L7  7 7!77+ 7  7 7!77 * 7  7  7 7 + 7 7 77 7 77 7! 7  7 7+ 7 77 7!77+~L7 77+ 7  7! 7 77 7!7!77+r 7   7 77 7!7!7!77+W 7 77  7 77 7!7!L7  7 7  6777777 7!  7 77 7!7!L7 77 7 7 +  7 77 7!7!77 7 7!77+L7 77 7 7!77 +77   7 77 7!7!7!77L7 7!77%' 7  7 7! 7%' 7 7%' 7 7%' 7 7%' 7 77 7!7! 7 7%' 7 7%' 7 7%'  7 77 7!7! 7 7! 7%'L7 77 7 7!7%'67 7   7 77 7!7!7! 7%'L7 7%'LL +77777%'= R'>6'>6'6''+k6'  7 7! 7 7!7%' 7  7  7 7!7! 7%'  7  7 7!7!7%' 7 77 7! 7!7%'  7 77 7!7!77 7 7!7%' 7 7!  7 77 7!7!77 7 7!7%' 7 77 7 77 7!7! 7%' 7 7%' 7 7%' 7 7! 7 7%' 7 7%' 7 7! 7 7%'  7 7! 7 7! 7%'L7  7 7!7%' 7!L7  7 7!7%'  7 77 7!7! 7%' 7 77 7 7!7%'()' 7 77 7 7!7%'67   7 77 7!7!7! 7! 7 77 7 7!7%' 7 77 7 7!7%' 7 7%'77   7 77 7!7!7!77 7!7! 7 7%' 7 7%' 7 7 77 7!77   7 77 7!7!7!7! 7 7! 7%' 7 7 77 7!77   7 77 7!7!7!7! 7%' 7  7 7! 7%' 7 7%' 7 7%' 7 7%' 7 77 7!7! 7 7%' 7 7%' 7 7%'  7 77 7!7! 7 7! 7%'L7 77 7 7!7%'67 7   7 77 7!7!7! 7%' 7  7 7! 7%' 7 7%' 7 7%' 7 7%' 7 77 7!7! 7 7%' 7 7%' 7 7%'  7 77 7!7! 7 7! 7%'L7 77 7 7!7%'67 7   7 77 7!7!7! 7%'77   7 77 7!7!7!7 977   7 77 7!7!7!7!7%' 7 7 9 7 7!7!77   7 77 7!7!7!7 977   7 77 7!7!7!7!7%'77   7 77 7!7!7!7 977   7 77 7!7!7!7!7%'77 7!77   7 77 7!7!7!7 977   7 77 7!7!7!7!7%' 7%' 7%' 7 7%' 77   7 77 7!7!7!977   7 77 7!7!7!7!7 7!7 7%' +7T' +  7!T'L7 77   7 77 7!7!7!977   7 77 7!7!7!7!7 7!7%' +7T' +  7!T'67 7!L7  9 7!7 7!7%'67 7 7 L7 '  7 77 7!7!77 7 7!77 7   7 77 7!7!7! {T 7 7 L7  7 7! &  7 77 7!7! 7 7!  7 77 7!7! 7 7!  7   7 77 7!7" 7   7 77 7!7!7! K 7   7 ! 7! #$ 7 77 7!7 L7 & 7 77 7!7! , 7 7 - 7 77 7! P1 7 7 2 7 "6 7 7!7 7 L7 9 7 74+L7 6 7 7!77/+0 7 1 7 7!77 /- 7 . 7 / 7 7 0+1 7 7 77+ 7 77 7!, 7 - 7 7'+k( 7 77 7!77"+]L7 77+k 7  7! 7 77 7!7!77+L 7   7 77 7!7!7!77+- 7 77  7 77 7!7!L7  7 7  6777777 7!    7 77 7!7!L7 77 7 7 +    7 77 7!7!77 7 7!77 +L7 77 7 7!77#' 7  7 7! 7%' 7 7%' 7 7%' 7 7%' 7 77 7!7! 7 7%' 7 7%' 7 7%'  7 77 7!7! 7 7! 7%'L7 77 7 7!7%'67 7   7 77 7!7!7! 7%'67   7 77 7!7!7%'()'67L7 7777 7!77 7 777 7!! + +877! +977#'()+ :'()6L7 7 )67   7 77 7!7!7!977   7 77 7!7!7!7!7 7 L7 77    7 77 7!7!7!977   7 77 7!7!7!7!7 7! 7(67     7 77 7!7!7! 977   7 77 7!7!7!7!7 77     7 77 7!7!7! 977   7 77 7!7!7!7!7 7 U'67 7 7 L7   7 77 7!7!77 7 7!77 7   7 77 7!7!7! B% 7 L7 ' 7! * 7 + 7 77 7!7!+ 7!+ 7 , 7 77 7!7!, 7! / 0 7 1 7 77 7!7"0 1 7 2 7 77 7!7!7! 4 7 5 6 7 7! 9 7 77 7!7 L7 ; 7 77 7!7! A 7 7 B 7 77 7! PF 7 7 G 7 "K L 7!L 7 L7 N 7 7I+u&L7 K 7 7!77D+q&E 7 F 7 7!77? 7 @ 7 77 7!A 7 B 7<+<&= 7 77 7!777++&L7 772+6&3 4 7 7!4 7 77 7!7!77-+&. / 7 0 7 77 7!7!7!77(+%) 77# $ 7 77 7!7!L7 % 7  6777777 7!! " 7 77 7!7!L7 77 7 7 +%  7 77 7!7!77 7 7!77+%L7 77 7 7!7777   7 77 7!7!7!7!9 67 7 7 L7    7 77 7!7!77 7 7!77 7     7 77 7!7!7! B 7 L7  7!  7  7 77 7!7! 7! 7  7 77 7!7! 7!   7  7 77 7!7"  7   7 77 7!7!7! " 7 # $ 7 7! ' 7 77 7!7 L7 ) 7 77 7!7! / 7 7 0 7 77 7! P4 7 7 5 7 "9 : 7!: 7 L7 < 7 77+#L7 9 7 7!772+#3 7 4 7 7!77- 7 . 7 77 7!/ 7 0 7*+#+ 7 77 7!77%+#L7 77 +#! " 7 7!" 7 77 7!7!77+#  7  7 77 7!7!7!77+f# 77  7 77 7!7!L7  7  6777777 7!  7 77 7!7!L7 77 7 7 +#    7 77 7!7!77 7 7!77+#L7 77 7 7!7777   7 77 7!7!7!7 977   7 77 7!7!7!7977   7 77 7!7!7!977   7 77 7!7!7!7!7!77   7 77 7!7!7!977   7 77 7!7!7!7!7   9 7!7 77 77 7 7" 9 7!7 77 7!77 7 7! Y+!L77"77 7!77 77 7 7! #$ %9 7!7 7 % &9 7!7 77 7! 67 7 7!77 7 7! . /9 7!7 / 09 7!7 h3 49 7!7 7 4 59 7!7 !6L7 ;;!<+k!L7 7 77+~!L7 8 99 7!7 7!77+p!2 39 7!7 7 77,+a!77 7 7!77+`!( )9 7!7 77#+V!77 77+k! 9 7!7 77 77 7 7!7!77 67L7 7777 7! 9 7!7 77 7!77 7 7 Y 7 9 7! 7 9 7!7  7 7 9 7 77 7" 7 7 9 7 7!77 7! g67 7 77 77 7"77 7 77 7!77 7! + L77"77 77 7" + 77 7 77 77 7!7!7777 * + 7!+ 7 7 ?GL77LL8977   7 77 7!7!7!:8 7 7 :770 7 7 77 2977   7 77 7!7!7!7!7! 0GL77LL=9 7 :77 7 := 7 7 :775 7 7 69 7 77 7 77 7!77 7!7!7! R<9   7 77 7!7!77 7 7!77 7   7 77 7!7!7! 67 77 7 7!77 7 77 7! d  7 77 77 7 7" 7 77 77 7 7!7!   7 7  7 77 7! GL77LL# 7 :77 7 77 7! 3 7   7 ! 7 7"  7 ! 7 " 7 7!7! $ 7 % 7 & 7 7"% 7 & 7 ' 7 7!7! yJ// 7 0 7 1 7 7 2+"3 7 7 77- 7 . 7 / 7 7* 7 + 7 7!+ 7 , 7 7!, 7 7'+( 7 ) 7 7!) 7 7!77"+# 7 $ 7 7!$ 7 7!77+ 7  7   7 7!7!77+ 7  7 7!77  6777777 7!9 7 77 7!  7 77 7!7!77 7 7+r 7 77 7!77 7 7!77 +r77 77 7 7!77+  7 77 7!7!77 7 7!77   7 77 7!7!77 7 7!77 7   7 77 7!7!7! t0  7 7   7  7 7  7 77 7!  7  7  7 7" 7  7  7 7!7! lJ+! 7 L7 # 7! & 7 ' 7 7!' 7!' 7 ( 7 7!( 7! + , 7 - 7 7", - 7 . 7 7!7! [0 7 1 2 7 7! 35 7 7 L7 7 7 7!7 7 8+9 7 773+L7 77.+/ 0 7 7!0 7 7!77)+* + 7 , 7 7!7!77$+% 77 7   7 7!L7 ! 7 7  7 7!L7  7 7+ 7  7 7! 7 7!77+ 7  7 7!77+L7  7 7!77  6777777 7!9    7 77 7!7!  7 77 7 7+Z   7 77 7!7!77 7 7!77: +D>9 7 77 7 77 7!7!?977   7 77 7!7!7!7!?9 7 77 7 77 7!7!@977   7 77 7!7!7!7!@977   7 77 7!7!7!A9 7 77 7 7!7!7 8= > 7!> 7 7!  67777? 7 7 77 79;9 7 77 7 77 7!7!<977   7 77 7!7!7!= 7 7 77 7!77+89 7 77 7 77 7!7!9 7 7 77 7!7!772+3977   7 77 7!7!7!4 7 7 77 7!7!77-+. 7 7 77 + 7 7 77 -977   7 77 7!7!7!7", 7 7 77 .977   7 77 7!7!7!7!7! O 7+77 8 9 7 77 7!7!7!7!77 8 9 7 77 7!7!7!7 77 9 : 7 77 7!7!7!7! Z  > 7 7 77 @ 7 7!  DGL77LLL 7 7 :L 7 :77 M N 7 77 7!7!7!:77D 7 7 77 7!77 F G 7 77 7!7!7!7!E 7 7!  H I 7!I 7 7!I 7 7 J 7 7! 67 N O 7 77 7!7!7!77 7!7 77 77 P Q 7 77 7!7!7!77 7!7! D67 V W 7 77 7!7!7!77 77 7 7"77 W X 7 77 7!7!7!77 7!77 7 7! S+L77"77 7!77 77 7 7! 67 ` a 7 77 7!7!7!7 77 a b 7 77 7!7!7!77 7! g h 7 77 7!7!77 7 7!77 7 i j 7 77 7!7!7! 67 77 7 7!77 7 77 7! dq 7 77 77 7 7"r 7 77 77 7 7!7!  y 7 7 z 7 77 7! GL77LL 7 :77 7 77 7! 3 7  7  7 7" 7  7  7 7!7!  7  7  7 7" 7  7  7 7!7! yJ/ 7  7  7 7 +  7 7 77 7  7  7 7 7  7 7! 7  7 7! 7 7+ 7  7 7! 7 7!77+ 7  7 7! 7 7!77+ 7  7  7 7!7!77|+} 7 ~ 7 7!77  6777777 7!9x 7 77 7!y z 7 77 7!7!77 7 7t+\u 7 77 7!77 7 7!77o+\77 77 7 7!77j+ok l 7 77 7!7!77 7 7!77 h i 7 77 7!7!77 7 7!77 7 j k 7 77 7!7!7! t0p 7 7 q 7 u 7 7 v 7 77 7! z 7 { 7 | 7 7"{ 7 | 7 } 7 7!7! lJ+ 7 L7  7!  7  7 7! 7! 7  7 7! 7!   7  7 7"  7  7 7!7! [ 7   7 7! 3 7 7 L7  7 7! 7 + 7 77+L7 77+  7 7! 7 7!77+  7  7 7!7!77+ 77 7  7 7!L7  7 7  7 7!L7  7 7}+~ 7  7 7! 7 7!77x+y 7 z 7 7!77s+~L7 u 7 7!77  6777777 7!9o p 7 77 7!7!p 7 77 7 7k+=l m 7 77 7!7!77 7 7!77: +)77 g h 7 77 7!7!7!g 7 77 7 7!7!g 7 77 7 77 7!7!77 i j 7 77 7!7!7!7!77 i j 7 77 7!7!7!i 7 77 7 7!7!7b+77 d e 7 77 7!7!7!77]+q77 77X+77 Z [ 7 77 7!7!7!77 77 7 7!7!77  6777777 7!77 U V 7 77 7!7!7!77 7!U 7 77 7 7P+"77 R S 7 77 7!7!7!77 7!77K+77 77F+ G 7 7 H 7 7!77 I J 7 77 7!7!7!77 7!7!77A+B 7 77< = 7!= 7 7 77 7!77 ? @ 7 77 7!7!7!7!77 ? 7 79+77 77 67 7 7 L7 < = 7 77 7!7!77 7 7!77 7 > ? 7 77 7!7!7! BG 7 L7 I 7! L 7 M 7 77 7!7!M 7!M 7 N 7 77 7!7!N 7! Q R 7 S 7 77 7!7"R S 7 T 7 77 7!7!7! V 7 W X 7 7! [ 7 77 7!7 L7 ] 7 77 7!7! c 7 7 d 7 77 7! Ph 7 7 i 7 "m n 7!n 7 L7 p 7 7k+]L7 m 7 7!77f+Yg 7 h 7 7!77a 7 b 7 77 7!c 7 d 7^+$_ 7 77 7!77Y+L7 77T+U V 7 7!V 7 77 7!7!77O+P Q 7 R 7 77 7!7!7!77J+K 77E F 7 77 7!7!L7 G 7  6777777 7!C D 7 77 7!7!L7 77 7 7 +@ A 7 77 7!7!77 7 7!77:+wL7 77 7 7!775 7 7 77 7!77 7 8 7 77 7!7!7!7 77 8 9 7 77 7!7!7!719 67 7 7 L7    7 77 7!7!77 7 7!77 7     7 77 7!7!7! B 7 L7  7!  7  7 77 7!7! 7! 7  7 77 7!7! 7!   7  7 77 7!7"  7   7 77 7!7!7! " 7 # $ 7 7! ' 7 77 7!7 L7 ) 7 77 7!7! / 7 7 0 7 77 7! P4 7 7 5 7 "9 : 7!: 7 L7 < 7 77+L7 9 7 7!772+3 7 4 7 7!77- 7 . 7 77 7!/ 7 0 7*+d+ 7 77 7!77%+SL7 77 +^! " 7 7!" 7 77 7!7!77+<  7  7 77 7!7!7!77+ 77  7 77 7!7!L7  7  6777777 7!  7 77 7!7!L7 77 7 7 +    7 77 7!7!77 7 7!77+L7 77 7 7!7792 7 7 77 7!77 4 5 7 77 7!7!7!7 4977   7 77 7!7!7!7.+f/ 7 7 77 7!0977   7 77 7!7!7!7!77) 7 7 *9 7 77 7 77 7!77 7!7!7!* 7 7 77 ,977   7 77 7!7!7!7!7!77 , - 7 77 7!7!7!7 ,977   7 77 7!7!7!7!7%+77 7 77 7!77 7!77 +! 7 7 "9 7 77 7!7!77+ 7 7 9 7 7!77 9 7!7 77 7!77   7 77 7!7!7!977   7 77 7!7!7!7!7+77   7 77 7!7!7!977   7 77 7!7!7!7!77+77   7 77 7!7!7!977   7 77 7!7!7!7!7 77+]77     7 77 7!7!7! 977   7 77 7!7!7!7!7 77+L7 77#' 7  7 7! 7%' 7 7%' 7%' 7 77 7!7! 7%' 7%' 7%'  7 77 7!7! 7! 7%'L7 77 7 7!7%'67 7   7 77 7!7!7! 7%' 7  7 7! 7%' 7 7%' 7%' 7 77 7!7! 7%' 7%' 7%'  7 77 7!7! 7! 7%'L7 77 7 7!7%'67 7   7 77 7!7!7! 7%'LL +77777%'= R'>6'>6'6''+k6'67 7!  9 7!7 7!7 7%'67 7! 7 7%'67 7! 7%' 9 7!7 7%'77 7 7! 7%'77 7 7! 9 7!7 7!7%'77 7 7! 7%'LL +77777%'= R'>6'>6'6''+k6'67 77&' 7 7%' 7  7 7! 7 7!7%' 7  7  7 7!7! 7%' 7  7  7 7!7!7%' 7 77 7! 7 7!7%'  7 77 7!7!77 7 7!7%' 7 7!  7 77 7!7!77 7 7!7%' 7 77 7 77 7!7! 7%' 7%' 7 7! 7%' 7%' 7%' 7  7 7! 7! 7%'L7  7 7!7%' 7!L7  7 7!7%'  7 77 7!7! 7%' 7 77 7 7!7%'()'977   7 77 7!7!7! 7 7 77 7!7!7%' 7 7 9 7 77 7 77 7!77 7!7!7! 7%'9 7 77 7 77 7!77 7!7!7! 7 7 77 977   7 77 7!7!7!7!7!7%'L7 67 7 7 L7   7 77 7!7!77 7 7!77 7   7 77 7!7!7! K 7 L7  7!  7  7 77 7!7! 7! 7  7 77 7!7! 7! g  7  7 77 7!7"  7  7 77 7!7!7!  7   7 7!  7 77 7!7 L7  7 77 7!7! | 7 7  7 77 7! H 7 7  7   7! 7 L7  7 7+L7  7 7!77+ 7  7 7!77 7  7 77 7! 7  7+w 7 77 7!77+hL7 77+t  7 7! 7 77 7!7!77+V  7  7 77 7!7!7!77+8 77  7 77 7!7!L7  7  6777777 7!  7 77 7!7!L7 77 7 7 +  7 77 7!7!77 7 7!77+L7 77 7 7!77 +77   7 77 7!7!7!77L7 7!77%' 7  7 7! 7%' 7 7%' 7%' 7 77 7!7! 7%' 7%' 7%'  7 77 7!7! 7! 7%'L7 77 7 7!7%'67 7   7 77 7!7!7! 7%'L7 7%'LL +77777%'= R'>6'>6'6''+k6' 7 7%' 7  7 7! 7 7!7%' 7  7  7 7!7! 7%' 7  7  7 7!7!7%' 7 77 7! 7 7!7%'  7 77 7!7!77 7 7!7%' 7 7!  7 77 7!7!77 7 7!7%' 7 77 7 77 7!7! 7%' 7%' 7 7! 7%' 7%' 7%' 7  7 7! 7! 7%'L7  7 7!7%' 7!L7  7 7!7%'  7 77 7!7! 7%' 7 77 7 7!7%'()' 7 77 7 7!7%'67   7 77 7!7!7! 7! 7 77 7 7!7%' 7 77 7 7!7%' 7 7%'77   7 77 7!7!7!77 7!7! 7 7%' 7 7%' 7 7 77 7!77   7 77 7!7!7!7! 7 7! 7%' 7 7 77 7!77   7 77 7!7!7!7! 7%' 7  7 7! 7%' 7 7%' 7%' 7 77 7!7! 7%' 7%' 7%'  7 77 7!7! 7! 7%'L7 77 7 7!7%'67 7   7 77 7!7!7! 7%' 7  7 7! 7%' 7 7%' 7%' 7 77 7!7! 7%' 7%' 7%'  7 77 7!7! 7! 7%'L7 77 7 7!7%'67 7   7 77 7!7!7! 7%'77   7 77 7!7!7!7 977   7 77 7!7!7!7!7%' 7 7 9 7 7!7!77   7 77 7!7!7!7 977   7 77 7!7!7!7!7%'77   7 77 7!7!7!7 977   7 77 7!7!7!7!7%'77 7!77   7 77 7!7!7!7 977   7 77 7!7!7!7!7%' 7%' 7%' 7 7%' 77   7 77 7!7!7!977   7 77 7!7!7!7!7 7!7 7%' +7T' +  7!T'L7 77   7 77 7!7!7!977   7 77 7!7!7!7!7 7!7%' +7T' +  7!T'67 7!L7  9 7!7 7!7%'67 7 7 L7   7 77 7!7!77 7 7!77 7   7 77 7!7!7! B 7 L7  7!  7  7 77 7!7! 7! 7  7 77 7!7! 7!   7  7 77 7!7"  7  7 77 7!7!7!  7   ! 7 7! $ 7 77 7!7 L7 & 7 77 7!7! , 7 7 - 7 77 7! P1 7 7 2 7 "6 7 7!7 7 L7 9 7 74+L7 6 7 7!77/+0 7 1 7 7!77* 7 + 7 77 7!, 7 - 7'+X( 7 77 7!77"+GL7 77+R  7 7! 7 77 7!7!77+0  7  7 77 7!7!7!77+ 77  7 77 7!7!L7  7  6777777 7!    7 77 7!7!L7 77 7 7 +    7 77 7!7!77 7 7!77 +L7 77 7 7!77#' 7  7 7! 7%' 7 7%' 7%' 7 77 7!7! 7%' 7%' 7%'  7 77 7!7! 7! 7%'L7 77 7 7!7%'67 7   7 77 7!7!7! 7%'67   7 77 7!7!7%'()% 6777777 7!77 7 7 77 7!!= R '>77 7!!= R& '> 7!  + :'''()3+O++7+7!+7!7!7!77 7! +GL77LL:+7!::+7!:777!+7!+7!7!7! + 7!7!7 +7!7!7 7 !7 77 7!77 7!7!779 l7!7 ! 7!7!77 7!+7!7!7 77 7!+7!7!7 777 7!77 7!7!+7!7!7 +7!7!7 7!7++7!7!7 77 + 7!7!7  +7!7!7!+)7!7!7 7 +57!7!7 7!+A7!7!7 +P7!7!7!7 7+[ +_7!7!7  +n7!7!7!77+x+7!+7!7!77#'  7 77 7!7!77 7 7!77 7   7 77 7!7!7! )  7 77 7!7!77 7 7!77 7   7 77 7!7!7! +L77" \  7 77 7!7!77 7 7!  7 77 7!7!77 7 7!77 7"  7 77 7!7!77 7 7!  7 77 7!7!77 7 7!7!77 7! a  7 77 7!7!77 7 77 7"  7 77 7!7!77 7 7!77 7!   7 77 7!7!77 7 77 7"  7 77 7!7!77 7 7!77 7! S+ L77"77 7!77 7 77 7! GL77LL( 7 :( :77 + 77 77+>  7 77 7!7!77 7 77 7!7!77+G  7 77 7!7!77 7 77 7!7!77+P  7 77 7!7!77 7 7!77 7!  7 77 7!7!77 7 7!77 7!7!77    7 77 7!7!77 7 7!   7 77 7!7!77 7 7!7!  77 7+    7 77 7!7!77 7 7!77 +  7 77 7!7!77 7 7!77#'LL +77777%'= R'>6'>6'6''+k6'LL +77777%'= R'>6'>6'6''+k6'  7 77 7!7! 7!  7 77 7!7! 7!7! 77 7!77&'  7 77 7!7!77 7 77 7!7!7! 77 7!77&'  7 77 7!7!77 7 7!77 7! 7! 77 7!77&' 77 7!77&'  7 77 7!7!77 7 7!7! 77&'67 7   7 77 7!7!7! 7! 77&'67   7 77 7!7!7%'67   7 77 7!7!7%'67   7 77 7!7!7%'67   7 77 7!7!7%'67   7 77 7!7!7%'67   7 77 7!7!7%'67   7 77 7!7!7%'67   7 77 7!7!7%'67   7 77 7!7!7%'67   7 77 7!7!7%'67   7 77 7!7!7%'67   7 77 7!7!7%'67   7 77 7!7!7%'67   7 77 7!7!7%' +7!7!7 7!7%'67   7 77 7!7!7%'67   7 77 7!7!7%'67   7 77 7!7!7%'67   7 77 7!7!7%'67   7 77 7!7!7%'67   7 77 7!7!7%'67   7 77 7!7!7%'67   7 77 7!7!7%' 7 7%'67   7 77 7!7!7%'67   7 77 7!7!7%'7! 7!7%'67   7 77 7!7!7%'67   7 77 7!7!7%'+k+ 77%'+7T' +  7!T'7!7!7!7%'+k+ 77%'+7T' +  7!T'7!7!7!7%'+k+ 77%'+7%'7%'+k+ 77%'+7%'7%' P0LnLb$C07 0 qTeF;`X`|M@0Q($H *.B1AL<ؠW\Sh[DWPx&H%%#Lh(|0`L@TH`@ %,*q0 4P4 Ÿ\ h\LP@4$ɬ8P@$|l$pEEAAB@B@BB@.2 ~wLXz4P@0sgNH;vjRLt?.AA   h8>>==d<<>=<1-- ,,\+++#"  4l(<t < Ǩ08=0d|xxdTl!$EEBB@AAB@B@-2EAAB@B@EAAA@B@_t4pc\9,@xl4l\8`˰ʸʄd , H( pdD( q`ppToomm0ll`lk$jddc@bbXb`` FDEE8DDBBAAD@@?9`8<77T75|5&TH( p4  l\Dt@ `HtX$d0Pߐި0ր\(՜h`άxHɸxǜ0˜$p`<|H0<T`dt@$pLx\(ssdrqqHppponnIIH8G(FFEEPDtD<*! t$LH \|,T  P   (  d  }z(}T\ ""<!! \dlt$,4<D|X4  L$ݜܠմԴp,4\H(hTd}|zyxwvv$t\<[ZXYXX0VUTdSS\RQP(N<KKTJP/.)(('4&%%%<$$$#""0!!!@   (8 pP<X|4@,xd|p,,th|P<\xHtD}|{zyyPx`$_^@]\\ZYXLWWDVtUTR$OO<N84<3(.h-\,++d*x*,))((|'T&&x&d%%`%L$$4#|`L,4pL upFPР&(%ðèyyrrf fLLGG;;)`ʈʀ|H|@vuii PPKK>>.!P!HXP 08$@~\@,(PȠ Xð$\ ܠ|HyHsf8LG;4)ʴ|tv,i@PK>.0!|ؠxtlmkjB@>% x th$0|nmDHB*Dd`h l h pD pEsI %%dҠ*l/ H[#_(\H   @ x   ,<XlLL,ݨ$,H$$ҤDh͸ȸtT\,Dh PPt\x48(p 8```4p|~~P|{xzxvuu,t<sipiDhggxf^^`]]]\[(ZYWV0UDSQQ(PPXOLNNlMM L4JIIH>\>0=<>=p;2h1/.x!!4  0LX8D,d0D*0Td_V40.cY9X5(3|CDB@BB@FDBA@BBB@ܠ q(mBppDE䠒"!t PX`p (08<@(  X `8 pT$Tx|t $Lژټ״0t\άpxl$Hƈ´¨PhpdpL@T0L,H48PTrr$qqpp|oooPo(n0mmdmXlll(kktkheePeDdddcchc$aa``GpGFFlEE`DDD4D CBBHB<AAlA @@X@L::L:@99988d8 6655&48|    t  $pXhX<0$0$ lXpdߜxސݐ  hרt@hԈ`ҀtPlH``ˤ thȐlĄÌÀ¤€ 0T Hh@`T x,H$<<p0|Pl<$4xl$\Thh\l\@4(4 (8}|{zyyDxwHvuuPttt(ssrrpp|poo\nndnXll,kihhXhLggg,gf|fDexelddaT``_^4]|\\ ZYX@WW8VhUTROO0N,LL,KXJJ|JTIITHHPHDFFEEDDDCBpAA4?>>>=t=L<<<4;;0;$:X:L7 6p403+|&X%%@$$(#"|!  ( x0` t0$8h         |px@ $X\T\DX$L#|)T- ,1pJ ɔ ࠒU` 0XhllX@`" W4[  4<(Ld|<P l,,|zwr8qp4oodnngedd,PGFEDDHCCx<:99(((P  <   ` lɈH ƀp0|,8d$p~zudtsxr4qjhgg@TKJIGG@X>=<,  <D N,,a6ƨdqF0L\_U40|.cY9P5 3tB%t$øy$rfLG;)hʐ|PviPK>. !X` EEAAB@B@EBB@BA@UY4%#! |Td$ d ۘڨ$h@ ش@ք\(P$Ȍ4ǰLj`Ƙl Dd0T,p<LpH XhL8XdxL,Xp<(߬޴<ݠИl|θ΄ ͤp@d8<HX`LAB@""T"!!T!   0|8@Hl4t<|DLT\dHd(l(t 4  `    ,   d 8       8 p4pDH(l@pDHT|PdX4lX88\D0T $p,x@h0ߨ ޘ`p8t<۴\`ٜx4|ָՈP0ԈP0|D Ґ0јTxͤx̼ɌȤ`(Ŕ@ĬH 4ˆ$HDP pl4x80T<Hd \$\h(<0|DX \tD|(LL,pXDh48 |8lh,Ht`P4T~~~<}h}(}|${{zzzPzyyyTy4xxx\xwpw0vv|v<uuuluttt(sss@rjii\i0ihh\ggdfff$_8^^L]]]L]\\\[[[L[[ZZZZdZ,YYYYtY4XXX|X<XWVV\V<UU|T8SSStS0RR`R(RQQXQ4PdOOOXNNxNMM|M,L KKK(JJJ$IIIHHlH$G?l>>H>==|=P<<`;;; 4433H222H2111 00$/l/4/.X. -,,,,\,++!!\!  | Dd,LL,pXDh48 <8\   D 0  T $ T t<D \P<t t8H\h|4pLL8x@PD p,`Xpܨۨڼڄ٨HTԔhӬ0Ϩ(@̤l˰˄ ʠHȴXd``tp8|<4tH|`Xp PP\x0$p8LPh8p@@L(l\4H0H|x<L` l4hT4P~}}}|}4||||`{{{{Hzz\yyyhy$xxxDwwwTw(vvlvmlldl8l kkdjjliii,c bb4aaa4```___t_4^^^^^l^L^]]]]\]\\\d\$[[ZZDZ$YYdX WWW\WVVHVUUxU@UTLSSS@RR`QQQdQPOOlONN|N MMxLLLTL KC0BPB AAA@A@@$??t>88H77p7D666|6P55443322111\141000l&8&%%x% $$$`$##|#<"""\!!!h Xt@ dT@dp`| $  H   l  \h0P `p8p@Tpmka<`dA?685`T@|one d@E\C:9, 4EBB@EB@EAAB@BA@UX0q(cbF 87t`feJ<\;|(ɴ@,hp -2Lk@\^lYQ3h,+0"|bT]U8 0/'  lDҼ\рШ<τxP|ˈ ʐ<d\(h@$hX`vv0uDLLKhJdl \Hll8h4؀ ״L֌4ըt@lҐ@h`,lT Lpz(y\xpP4OPNL} àØy yrreeLLGG::)Hxp|8|0uuihPPKK>>-!@!8H@ dѬT#@@TplDA(T@0|o$D, 4 h  @ llɜ t X4~ |X{4xwt\rhhedbxPOI<G==:`7t-P)$(p''`&&hp @0L0Lt D4L~`|{ wus,rqkkhlTStM$KlHHdGHAt@>$1--,d,++ #$"t0|0$$D#T#<tEEAAB@B@EEAAA@BB@BA@/4% #!LX ;Z#X^' @P|L <l@P|  P8j`_?D4  xļD|mhbC8 p~iP]\><21$((lXa`B7d6)0Ԑ ""!H  | $,4<d`hpx   T x  ,   84 HDH dXx L Pt8hl$Hxx X@l\ތdhPTِ4lp֬P ||Ӵ8҄$Hl$ϼPΠl8̰(`H0|dĠ(|D,h <8Dd`l $xH|4H$8X@d <$Ph\0hDpLP,, dL|(8\( ,, <h DT,xD(H~}}\||{{{lzyyxPwdvvpuu`u tss|s4rrqqq|qpppooDnn$mmLll|lk\k@jjj|jTj,jihhPg8ff\eee8eeddd cccc\cbbbbdaaataXa0a````X`<___,_^^,]@\\[Z YhXWWWxWPVVV$UUhU8TTT,SS$RTQQQPPLOO@NN`NMpMLLKKJJIHH`HGdFFFF`FEETDD(CdCBB0AA`A@@@$???`?8?>>==D<4;;X:::4:999|98888X87777`666p6T6,65555T58444(433(2<1000\0/`...L-+|+X+**)(('L'@&%%%H$0#""<!!! pX dL|(8\( , P   t 8   h    l $   Hxth8\D,,<tPL0Xl\p@Lx@l,lDhH8TLd݄lܐPې`,ڰ\ٜ<Hל4ּ\(Ӡ$hP8$4͘T<̘x<ȨDŽL`HŬń<İXTThdp$(|<H0 x,TLdlt0D\P$\8d@D  @XP$`8P(<<0@xT P4\p`t ~~}}(|{|zyyyxx8wwvv`uuDu(tttTtsrrlqqq,ppoooPonLn0mmmm\m4m llkXj@iidhhh@h$hggg ffffpf8feee`eDe(eddddld4dcccbbpba(`__h^]P\[[[`[8ZZxZ YYPY XXXWW V<UUlUTT4SS(RRHQQXPPOOONpNMlLLHLKLJJJpJHIIIHHH GG4FFlFDExE$DDCCCC|C$BBBBDAA??h?>x>\====h=@<<<>P>$===X<<988P8<7777x7L786666X5554433322 1111d1P100000t0@/...$--|-,4+0**)H)(($('''t'&&@&%%%($$$h$###D""""d!!!!p   `|8$pHlx\Hlx h@  ,  x P   t   dp8X (hTx@$̠O xPZ,#8^1<'ܠAG-EEEAAB@EAAA@BB@BA@B@/4 )@-@@@@@ 0AlembertC3_step1 @1sr7Qvnf(`Ȑ"Bn̩M0^õ@ 'Rmult_integral_contrapositive_currified  X%D@+pow_nonzero+ACq֩`ư{ `ѷ ^ ib,'CΠɩ Ԡϩrq@mޠc q xߩRC^@}sZ0 M@|ϐǠ  ]  ERBܐOؠ7l 'o`"琩ߠf9 U(Iyj, Z-~  C kaZ@6WLJ$2 0GD@;@54. VC=Q|XhU?XFN  "ʩ .)]d^f#!>)Fu ө }wUà2$a %( ?-Crt(I 3۠a @ ܵ@l|0~v 0xө©AiSmRs[ҩ nMU@۩հݩY_x8 ,')+E*ɵecegNY֩       1*@'ѩ0Sl0Un(CQE[A©[WY]Ʃ4@/Rinv_mult_distr lC(0jlǩhϠ署@'pow_add2t9A{X] &qR fY  " iЩ #$il]7Hީx!}nS ÷sZKC[2ɠ0h aԠeܠ!xkT3' ,ѠC\|CgCĩ8 jǩ;)ʩ a"MNu%\G~ a  xwohy "7Cݠ8ΩΩ'ݩC堩CC꠩o FG?CѠɐN8e|@òuf@$Pser!7R"[rx%& !)@&tech12h0F@?@通ހ‶@~t AЀ+@=! +【>@܀TҀɀDWǀ"@$PserW '+k()+1 +i +| 7"= R '> 7 :''()7!7 7!7 7 77 7!! + +77!+77#'() + :'()6L7 7 7! 7!9 7!  7!7!7 7 L7 7! 7!9 7!  7!7!7 7!  7!  7! 9 7!  7!7!7  7!  7! 9 7!  7!7!7 7  %GL777 9:77 97:LL:779 67"77!7! ~ 7"  !7!" 77! 7!7 /_GL777 7:7:7::7777 7:7:::LL*7!7 :*7!:* 7 ::7+7! :77"7!7 # 7 7!77!$7!7!7%7! 7!7! ]'7"'7!7!'7!7 (7!7! &GL77LL:1 7 :727! :77*+"77 77%+K%7!7 &7!7!& 7 77!7)7! 7!7!7!77 ++ 7!7 ! 7 7!77+E77!7!7!77+]77!777! 7!97!9 7!7!  9 7!7! 9 7!7!7 ` 9 7!7 7 7!7  9 7!7 7!  ! "9 7!7 7 7 7 7"" #9 7!7 7 7!7 7 7! 7!7 7!7 7 7 7! o+ ,9 7!7 7 , -9 7!7 77 7! &7 7 7!7 7 7! 6L7 7 = 7 >9 7!7 7 L7 ? 7 @9 7!7 7! JB 7 C9 7!7 C 7 D9 7!7 7 LE+F 7 G9 7!7 77@+A 7 B9 7!7 77;+L7 776 79 7!7 88!+L7 : 7 ;9 7!7 7!773+7 7 7!77+/ 09 7!7 77++77 77+% &9 7!7 7 7 7 7!7!77+  !9 7!7 7 7!777!7 7!7  9 7!7 7!7 7 7+7  9 7!7 7!77+n 9 7!7!77+^7! 7!9 7!  7!7!7 77+8 7!  7! 9 7!  7!7!7 77+L7 77#' 7 77!77! 7!7!7! 7 77! 7!7!77&' 7 77! 7!7!77&'77!7!7!77! 7!7! 7 77! 7!7!77&'7! 7! 77! 7!7! 77! 7!7!77&'7! 7! 7!  7!7!  7!7!77&' 9 7!7 77&' 9 7!7 7 77&' 9 7!7  7 9 7!7 7!7 77&'7 7 7! 7%' 9 7!7 7%'7 7 7! 7%'7 7 7! 9 7!7 7!7%'7 7 7! 7%'7 7 7! 7 7 7!7%' 7%' 7 7%' 7%' 7 7%' 7! 7!9 7!  7!7!7 7!7 7%' +7T' +  7!T'L7 7! 7!9 7!  7!7!7 7!7%' +7T' +  7!T'7 7!L7  9 7!7 7!7%' 7"  7!  7#'7!  7%' +k+ 77%'7&'dPV |p|4(P  ` < DttPEBBB@BAB@\M&d&($$d#h#0`4d8d$l 8  p X  D     p$<T8&|$$|##H"d"8!!!d!  xL|0$H<|pd|@,(|XlP  \  |    t   0 $Tp̠BB@$l& @  <T8T@P    p%%$#! ` XP   hh4 0{&РEEEB@EBA@AA@BB@AA@ 䠒  #"X",!!X! p DX4`0DL   ,   TEBA@BAB@ `hB@D@V# (pؠࠒ&r&@<p(X   Р X`*4%$##""""p"!!,  BA@d& XT֐Xk$@ \H   [% # ؠŰ%$4s @xBBB@4/%%t$##"""L" !!!L!  d 4 |lt8tdt( dT$8( @0 l\$xH(A@hxD,@  L P 8  , 4llHEEB@BB@BA@ 접  H(D\䠒 %X$0t{0%$PHD @"AI@@@@@0AlembertC3_step2 @@@@\QU@〰A? eXCvv@@@@@B+Alembert_C3 @۷'ϷBj@-total_order_T=ҖXéذʩ SȠ ؠөթְLUŠceҠsuJ[Ԡ#Hlt  m+ ge C q @5Hkfw#Heq& @5H4#Hgt<ӵ1L-.7CŐ8%  @E@䀶耶@5~C$܀7@ՀMˀ€=P,M +k()G7 7!= 8R'>= Rf'> ++7# '>7& ''> +W7# ''L7  +77L7 7!77%'G7 7%' +k+ 77%'7&'L7  +77L7 7!77%'G7 7%' +k+ 77%'7&'<`lTؠ) ࠒt`+Ԡ`AG\=h@IAFP蠒ˠ0d@@@@@/+Alembert_C4 @@Aʶ@ti!kn@%Logic$Init#Coq@@Жw@n@#Rle=hÐAzAr*@ߛکͶ@zpgaӀV}@@@@@+Alembert_C5 @@LB<@怚ۀr߀@qg̀'AހAր@C*1逐D@†Z؀π%J)ɀ$ ;^^@@@@@ +Alembert_C6 @@C@NCGޚK@=4A@g뀰!5H@A~7.68@oHXw@q87p:KĐ@@@@@o@@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@AB@cApon@A.0TQ+Ring_theory+setoid_ring#Coq@@ABA.U>[J @B@@"O@(PeanoNat%Arith#Coq@#Nat@&of_int"O#Nat$Init#Coq@@ 6@A@A\@&BinInt&ZArith#Coq@!Z@'quotrem\)BinIntDef&ZArith#Coq@!Z@ /@A@\@@+pred_double\@/S@@A@As2@3@&shiftls2*@vY@A@BCs8@8@&shiftrs8/@vY@A@ѓ@>@&squareѓ5@y@A@@D@&to_intϑ;@@A@z@5@&doublez,@/!@A@ABCD/@O@)log2_iter/F@wd@A@NH/@B@&moduloNH/9@1,@A@A\d@G@&of_int\d>@1?A @A@bz@M@&of_natbzD@1?G!@A@#@S@&shiftl#J@1dV@A@#@Y@&shiftr#P@1d\@A@ABCD/x@&BinPos&PArith#Coq@#Pos@)pred_mask/x)BinPosDef&PArith#Coq@#Pos@ )X@A@6@x@&square6o@19@A@AV+L@}@&to_intV+Lt@2@A@V1b@@&to_natV1bz@2 @A@V5=@@&to_posV5=@2@A@ABCl@@)sqrt_iterl@!$:@A@@@6@(sub_mask@-@)@A@ADEF c@@'testbit c@!ć@A@7 B@D@'of_uint7 B;@*`]?@A@AG@I@)mask_rectG@@+ED@A@F˱@O@)add_carryF˱F@+p@A@AB^Ҷ@@'to_uint^Ҷ@#m@A@gL7@@'sqrtremgL7@40@A@Aq@@'testbitq@5)@A@ݎO@@+succ_doubleݎO@6r@A@A p@l@0double_pred_mask pc@0-+m@A@BCD T@&BinNat&NArith#Coq@!N@!t T)BinNatDef&NArith#Coq@!N@ 2@A@ @@#add @3 @A@A l@@#div l@3@A@ Y@%@#eqb Y@3@A@AB #@*@#gcd #!@3n@A@ T@0@#leb T'@3@A@ACEG "@5@#lor ",@3m@A@ q@?@#ltb q6@3@A@A @D@#max ;@3@A@ @J@#min A@3`@A@AB @O@#mul F@3B@A@ ~@U@#odd ~L@3@A@AC =@Z@#one =Q@3@A@ @b@#pow ˑY@3@A@A c@g@#sub c^@3@A@ @m@#two d@3J@A@AB hx@r@$div2 hxi@>@A@ @x@$even o@>4@A@ACD @}@$ggcd Бt@>U@A@ @@$iter }@>:@A@A 3"@@$land 3"@>m@A@ F)@@$log2 F)@>t@A@AB S@@$lxor S@>@A@ @@$pred @?U@A@AC @@$size ܑ@?'@A@ !@@$sqrt !@?@A@A ! @@$succ ! @?\@A@ !7@@$zero !7@@P@A@ *@@%ldiff *@@A@AB g_@1@+pred_double g_(@25\@A@CD m@6@÷ m-@2j@A@S@=@&of_intS㫑4@4}5@A@AS@B@&of_natS9@4};@A@BEFGH\R@G@(mask_ind\R>@4@A@\^@Q@(mask_rec\^H@4@A@A!,@V@&pred_N!,M@4s)@A@B@[@&shiftlR@5X@A@@b@&shiftrY@5X@A@A&@g@&square&ّ^@5,x@A@BC"@l@&to_int"c@5L@A@"@t@&to_nat"k@5L @A@AnTq@y@+testbit_natnTqp@6n@A@B@@(succ_posB@@A@I@@'abs_natI@?n@A@AB.@@'of_uint.@MS@A@3~@@'sqrtrem3~@7]%{@A@ACD,@ @'bitwise,@/v@A@>4'@@'testbit>4'@8g$@A@A{U@@,sqrtrem_step{U@8R@A@u^@9@(div_euclu^0@ @A@Afz@@'to_uintfz@9w@A@Bl@'@'comparel@3R@A@CDEFs8@,@+of_uint_accs8#@5+@A@}@R@,pos_div_eucl}I@&`@A@3x@(@'compare3x@]=@A@A@^@&doubleU@'޺_@A@BCq@@+of_succ_natq@$@A@w@i@&modulowɑ`@)1@A@ADK@n@&of_intKe@)j,I@A@K@v@&of_natKm@)j2_@A@AI@{@&shiftlIr@*O@A@O@@&shiftrOx@*O@A@AB,@@&square,}@*ow@A@Z@@&to_intZ@*81@A@ACE`@@&to_nat`@*9G@A@e@@+testbit_nateđ@+@A@A+{@@'sqrtrem+{ё@,J@A@5z@@'testbit5z@-T|@A@A @@'to_uint ͑@.@A@ @@+succ_double @.^4@A@A#@'@'compare#ݑ@ )Q@A@BCD%t2@,@(size_nat%t2#@ @A@%9@3@+of_uint_acc%9*@ ΋@A@A%V@8@+double_mask%V/@ S@A@%%@>@'div2_up%%5@ "@A@ABEF'ş@C@'Ndouble'ş:@ @A@(b0@K@*shiftl_nat(b0B@9-@A@A(nՖ@P@*shiftr_nat(nՖG@'@A@(@V@0succ_double_mask(M@@A@*W$@\@,compare_cont*W$S@!@A@.0@b@.sub_mask_carry.0Y@΂@A@ABCD.@@!t.@ ;@A@.먩@@#add.먩@ `@A@A.U@@#div.U@ @A@.B@@#eqb.B@ @A@A. @@#gcd. @ @A@.=@@#leb.=@ @A@ABCEGHI. @@#lor. @ @A@.Z@ @#ltb.Z@ @A@A.p@@#max.p@ '@A@B.@@#min. @ @A@.@@#mul.@ @A@AC.g@@#odd.g@ @A@.&@&@#one.&@ @A@A.뾴@+@#pow.뾴"@ k@A@.L@1@#sub.L(@ @A@.@7@#two..@ @A@ABCD.,a@<@$div2.,a3@ @A@.Xz@D@$even.Xz;@ ?1@A@A.@I@$iter.ؑ@@ @A@B. @N@$land. E@ @A@. @T@$log2. K@ @A@ACE.@Y@$lxor.P@ R@A@.y@`@$pred.yW@ `<@A@A.Ʉ@e@$sqrt.Ʉ\@ ;@A@.@l@$succ.c@ @A@.t @r@$zero.t i@ Z@A@AB/@w@.to_little_uint/n@ @A@CDF/@|@%ldiff/s@ H@A@00@@'compare00@?H{@A@A1P%@w@!t1P%n@  @A@B1P@|@#abs1Ps@ @A@1P&@@#add1P&z@ @A@A1P@@#div1Pґ@ y@A@BC1P@@#eqb1P@ f@A@1P@@#gcd1P@ 0@A@A1P@@#geb1P@ T@A@B1P@@#gtb1Pʑ@ q@A@1Pĺ@@#leb1Pĺ@ a@A@A1Pň@@#lor1Pň@ /@A@BCD1P@@#ltb1Pב@ ~@A@1P@@#max1P@ @A@A1P{@@#min1P{@ "@A@B1P]@@#mul1P]@ @A@1P@@#odd1P@ @A@A1Pɣ@@#one1Pɣ@ J@A@BC1P@@#opp1Pԑ@ {@A@1P1@@#pow1P1@ @A@A1P;@@#rem1P;@ @A@B1P@@#sgn1Pˑ@ r@A@1P@@#sub1Pɑ@ p@A@A1Pe@@#two1Pe@  @A@BCDE1[8@@$div21[8ޑ@ @A@1[d@@$even1[d@ I@A@A1[6@@$ggcd1[6@ i@A@B1[U@ @$iter1[U@ @A@1\@@$land1\@ /@A@A1\@@$log21\ @ 6@A@BC1\$@@$lxor1\$@ @A@1\Y@$@$of_N1\YÑ@ >j@A@A1\@)@$pred1\ @ j@A@B1\@.@$quot1\֑%@ }@A@1\@5@$sqrt1\,@ @A@A1\w@:@$succ1\w1@ @A@BC1\k@?@$to_N1\k6@ @A@1]@G@$zero1]>@ eD@A@A2:@L@%abs_N2:C@ @A@21@R@%ldiff21I@ ߵ@A@2=*@X@%quot22=*O@ @A@ABC2kF@@(size_nat2kF@{@A@3@x@(tail_add3o@^q@A@ADEFGH3@}@(tail_mul3t@^@A@5Z@@*shiftl_nat5Z@y/@A@5f}@@*shiftr_nat5f}@4@A@AB5a@@'iter_op5a@ @A@C6w~@@'of_uint6w~@^5@A@8j@@'of_uint8j@'"h@A@9E@@(div_eucl9Eđ@(*k@A@AB:x@6@,Nsucc_double:x-@ ʭ@A@CD@[@&divmod>R@C@A@>@b@&double>Y@NĴ@A@?2@S@,pos_div_eucl?2J@-u@A@AB?;@m@&modulo?;d@"i@A@CEFGIJ@%Arith#Coq@0I|кX*o4)ArithProp%Reals#Coq@0B+L?>*e˃a j"+setoid_ring#Coq@0ṔCgt?}*Arith_base%Arith#Coq@0Ĕ}CS&Basics'Program#Coq@0!bs߯? :VU'Between%Arith#Coq@06v*0ur`C0&BinInt&ZArith#Coq@0BpHޞun^)BinIntDef&ZArith#Coq@0ådR4Tuy'BinList+setoid_ring#Coq@0Au&BinNat&NArith#Coq@0K11ڤs+Π)BinNatDef&NArith#Coq@03@1O,[{ 'BinNums'Numbers#Coq@0dmk(5Ju<&BinPos&PArith#Coq@0vyػ0= u)BinPosDef&PArith#Coq@0}H d.%,b$Bool#Coq@0j 2cZ`FW*CMorphisms'Classes#Coq@0qیZBeϠ0CRelationClasses'Classes#Coq@0TL;0RUfw1'Compare%Arith#Coq@0OM v먣5L:+Compare_dec%Arith#Coq@0jXF 8EDC@0.i bYN Z)Decidable%Logic#Coq@0ND걸풬/Oߠ'Decimal$Init#Coq@0C涳N*uaȠ%Reals#Coq@0z41pV.$Div2%Arith#Coq@0n*Áht!,%EqNat%Arith#Coq@0AIgՋXRV *EqdepFacts%Logic#Coq@0FI$ͼՋ`)Eqdep_dec%Logic#Coq@0u wWIϰ߼*Equalities*Structures#Coq@0όe얟)H.Ƞ+Equivalence'Classes#Coq@07;ꮹ$Even%Arith#Coq@0YO%q}d߫%)Factorial%Arith#Coq@0@oehJd%Field+setoid_ring#Coq@0J _ȫ)Field_tac+setoid_ring#Coq@0d vDZl^۹H+0B~uYٮ٠'Fourier'fourier#Coq@0wV9TN,Fourier_util'fourier#Coq@0ϳ> 4`*r0-GenericMinMax*Structures#Coq@0måj$"Gt%Arith#Coq@0䙛#c:D $Init'Classes#Coq@0](p{yOh.+InitialRing+setoid_ring#Coq@0k/T=cN"Le%Arith#Coq@0d}Omq+$List%Lists#Coq@0>I+ListTactics%Lists#Coq@0,Jcy{H0\͉!Ig*Logic_Type$Init#Coq@0 1jc6"Lt%Arith#Coq@0KZ-eJkP܏#Max%Arith#Coq@04=;3$>aU堠#Min%Arith#Coq@0Ce-Fѕ%Minus%Arith#Coq@0LFtR")Morphisms'Classes#Coq@0Imӽ%\$PD.Morphisms_Prop'Classes#Coq@0% :B'.>u%$Mult%Arith#Coq@0햖Qyb0$NAdd(Abstract'Natural'Numbers#Coq@05;ZW:㥜un$)NAddOrder(Abstract'Natural'Numbers#Coq@02'8zn7Hfɠ'NAxioms(Abstract'Natural'Numbers#Coq@0Zخb1Z3uuѠ%NBase(Abstract'Natural'Numbers#Coq@0 Y?V vI%NBits(Abstract'Natural'Numbers#Coq@0qteo_hɅ $NDiv(Abstract'Natural'Numbers#Coq@0bz$?[p(5$NGcd(Abstract'Natural'Numbers#Coq@08E-S ;j_Ҡ$NLcm(Abstract'Natural'Numbers#Coq@0 ~xZ9L{:$NLog(Abstract'Natural'Numbers#Coq@0K Aat/ j &NOrder(Abstract'Natural'Numbers#Coq@0]@7U#oY'NParity(Abstract'Natural'Numbers#Coq@0̗SKz*!&4h$NPow(Abstract'Natural'Numbers#Coq@0҆mulf+NProperties(Abstract'Natural'Numbers#Coq@0unt"kwpYC%NSqrt(Abstract'Natural'Numbers#Coq@0<ge$NSub(Abstract'Natural'Numbers#Coq@0:DfJᠠ%NZAdd&NatInt'Numbers#Coq@00h`ZK4*NZAddOrder&NatInt'Numbers#Coq@0e~1>r砠(NZAxioms&NatInt'Numbers#Coq@0] ρ5r&NZBase&NatInt'Numbers#Coq@0^&8yUL&NZBits&NatInt'Numbers#Coq@0MlIpKt%NZDiv&NatInt'Numbers#Coq@0$ |J?d (w%NZGcd&NatInt'Numbers#Coq@0KgT7|%NZLog&NatInt'Numbers#Coq@0ꔉ .uV%NZMul&NatInt'Numbers#Coq@0ctR~6[Ƞ*NZMulOrder&NatInt'Numbers#Coq@0}\^ !"k}@R'NZOrder&NatInt'Numbers#Coq@0 q;Ve7R W,(NZParity&NatInt'Numbers#Coq@0H>ca'^^%NZPow&NatInt'Numbers#Coq@0)6*9 B:vȻ,NZProperties&NatInt'Numbers#Coq@01D%E`|3x&NZSqrt&NatInt'Numbers#Coq@0` .%m#Nat$Init#Coq@0eʤģPSR蠠$Nnat&NArith#Coq@0$W;s #%M)Notations$Init#Coq@0&v!D]hwnv *NumPrelude'Numbers#Coq@05WUVŦ]xVXԠ%Omega%omega#Coq@0t.J'6\ϨrK+OmegaLemmas%omega#Coq@0TJ#Jes4Operators_Properties)Relations#Coq@0U3y#h&&Orders*Structures#Coq@0$Znl0\͗+OrdersFacts*Structures#Coq@05Mܿ獐ζΖLB)OrdersTac*Structures#Coq@05'4Ԗ+9%'PartSum%Reals#Coq@0j&2"(>S%Peano$Init#Coq@0 jha|ؠ(PeanoNat%Arith#Coq@0O~2$k[#lZ)Peano_dec%Arith#Coq@0Kݢ*k$Plus%Arith#Coq@04tmG$Pnat&PArith#Coq@0,?pr.gZ(PreOmega%omega#Coq@0\|چBb~w4'Prelude$Init#Coq@0JqTttֱ%Quote%quote#Coq@0J@ŹVz-,3%%RIneq%Reals#Coq@0JUڻIu)$w%R_Ifp%Reals#Coq@0c4+ZŠ%R_sqr%Reals#Coq@0X%MԹ%M'Raxioms%Reals#Coq@0S]jnj][L%Rbase%Reals#Coq@0Jܡ\ c6{*Rbasic_fun%Reals#Coq@0hܒiclE>)Rcomplete%Reals#Coq@0{ڸ4q !U0(2{Ze$ќ8)RealField+setoid_ring#Coq@0 >ʾq /RelationClasses'Classes#Coq@0Gz rA6ՠ4Relation_Definitions)Relations#Coq@0]4Ѐd{n^2Relation_Operators)Relations#Coq@0%s鯰s)Relations#Coq@0-SetoidTactics'Classes#Coq@0S_`nOU$!0;RWMi\N+SplitAbsolu%Reals#Coq@0M)&qYlݹ5*SplitRmult%Reals#Coq@0sD\rt/'Sumbool$Bool#Coq@0sB ,$11.]m'Tactics$Init#Coq@0/9m+ a'Tactics'Program#Coq@03,B2 Q@@A@#_12,Q@,M@A@@@@@@@@#_132M접@,completeness$ࠠ#_14'`o@C.function_scope@@AA#@!2 Q@@A@#_15,@!@A@@@@2@#_162M접 0#_17'`o@C*,@@AA$@2 Q@@A@#_18,@5H@A@@@@[@#_192M접 Y#_20'`o@ES'R_scope@Y@@A$YA$6@2 Q@@A@#_21,@)5H@A@@@@@#_222M접 #_23'`o@C5@@A$@2 Q@@@@#_24- @*@A@@@@@#_252M접 @-total_order_T=ҖX#_26'`o@Dd@@A$A$@e2 Q@@A@#_27->@p@A@@@@@#_282M접 #_29'`o@E砐@@@A$점}A$@'2 Q@@A@#_30-r@2@A@@@@!@#_312M접 #_32'`o@EȠ@ @@A% A$@ 2 Q@@A@#_33-@ @A@@@@U@#_342M접 #_35'`o@GO@V@@@A%W%Z%KA%7%S@@@I͗Huz&={@Nti4nC_>=@%,ܫgW=̈́@ vH&;OQ/98"An@)Datatypes$Init#Coq@@#nat@,Rdefinitions%Reals @!RӀ!x !H%Logic@"eq @A@#IZR/r'BinNums'Numbers1@!Z7@A&Specif>@#sig#* @A;!l>'Rseries?@$PserDC/ZA#epsT"H0X@#Rgt=<CBO@"ex @At!Nw!nz@%Peano{@"ge Uw]Bz@#Rlt=*Rfunctions@&R_dist @(sum_f_R0Yc'@%Rmult׀I(Rpow_def@#pow#׀H/]E]?"H1?cȐ"H2@'nat_indJзOǶ$s4"n0Щ1J,+/Q\Ȑ(hyp_list@$list]@A@$prodt@,Ring_polynom+setoid_ring@%PExprk@ʀȐ'fv_list&B>+ %RIneq@2RField_ring_lemma1!7𚠐(Ring_tac%@0ring_subst_niter!0D'@(positive*@CP(=Էi5d\B jb42 {Gv(nĩ&t 4E+ - / B579A@C0E +C#5wEv0t$t{ʐ(PeanoNat%ArithR#Nat@&le_0_l?C ɠ'PartSumV@%tech5gCN`GؠrӠ̠ͩ O򩚠Y@&eq_ind Jqʷr[F{_|*Rbasic_fun@$Rabs; wmqDr@'Rabs_R00۠@$Ropp΀'Raxioms@+Rplus_opp_r {G C,)@&Rminus&H  C72 )lC5@,infinite_sum(䀠Rʩ+x%$yxC{Lzշ!kʷ#Hyp@#andЖw@@#Rle=Щb©Ҷvh$@%Un_cvɀn@$Rdiv̀NK]Q^OKˀd@&is_lub -jl@#EUn.BBB@@@@D!s 0 )&'C7c"-01MAn@.Un_cv_crit_lubEրK@MsDo-K#1}Ny5 V@1Rplus_le_compat_l?1?L@"or @AJ$VhL&s?k@)Rplus_0_rH€FCH2}C7@*Un_growing?!Sa@D`g!X@lcm@,completeness$p橚'SeqProp@&tech13 E:%R<"k0ՠנ->̩ B@@?@"le UxT@:7ɠg s@&ex_ind 5{·#éN#-׷cضaٶ@!TQ㠩%9@%bound1b޷/@'and_ind14ۀЩoPrqtQ@ExuMJR% u"H3"H4k@_!NdY#$%@m/OΩrM41"x09"H52!m5@.is_upper_bound:o$5LP''4ΩI@$Rinv8t@"x1U"H6Q?i!ilOaנQIޠ)"ؠ$Šʩ0"x2"H7yR*}dǠS#>ߠũ-v+Compare_decJ@,lt_eq_lt_dec*&!#i@%sumor$|@q@'sumbool7̂K@;@"lt Uxc9;=;BAAAA@@@@@D#ya{ce}>TC)=* +39BAAAA@@@@@D˩C=BذDbUG7gYaN Oc⠷Ȑ"H8@&eq_sym X QV@ `m @ u{@%tech2g<,#;.v#BW'v#l=h (l)P"6S~:ϠiXNFF e77נ#Ġ]aŐt9\]$J^bnd@1Rplus_lt_0_compat-PU2@%tech1g‰ZT$w1@1Rmult_lt_0_compat=2.@0Rinv_0_lt_compatD7@.Rplus_lt_reg_l5=Ӏ>5kAF@~G4W/0{ke_YQ10}mga[SadѩXЩ[]"H9c.é&ĩwЩ`s+|I@+Rplus_assoc C f,׷!e D]Uq(uIy@· S=9"(*CE,d.vַ[ "ZjW4:0V e1i3{DE*)!!Cn?j&%RPDEFzxqk*@7@c a_dfi)ArithRingx@0natr_ring_lemma1 ,M\IPE&BinNat&NArithv @&of_natK)BinNatDef@)j2_0k/hi1^37WP@sMB@(:;A?Be&@< @=3 +@7 $@83B L1@#eqb Y+@37@(div_euclu^1@ .ϠѠ^)#`a0c)&""M0e+($$6uCkMHOǩ"tPPué֐̩[ǩ ʩBrܩs'vEO@@%tech6gз֠שΠuztݩ߰ߩ@,Rle_lt_trans*GӀ Щ%!&%8#Щ+ 04' -@.Rmult_lt_reg_l>eЩϐYkɩqp# U& ␩Za2d5 o<۩') BerCʠ,IpL^35~O?Q6T1CDV 3ؐ @*Rabs_right |T GSeIMQZKCYkHm8ErY}-?[z@)Rmult_1_r+1A@*Rinv_r_sym9lU䀠m#H10zspȐ#H11Zévf)[~}! @)False_induُ@%Falsee@@*Rlt_irreflnQC@#notШ+@+Rmult_assoc&Y*"@*Rmult_comm82]ն@Pc۶@a٩XB['ة@&INR_eqpĀ3Р7Ԡ61O@#INRr!٩ 堩LHC30K(SN >9  TV%'(6b],4;H ce Bg69q$l'IV')qsuDOSSxecC@>6@8&=;:2©&N(P*$+S-U("@4ʩ[ک0](%C00_*'E2EO@%S_INR=sVpiqX@(plus_INR vq{rPo}qUp vѩڠِ_ƐT̩)ArithPropx@%tech8 L쀠o9CqhhP-zqP% :y~@)Rle_trans"ԩY_8]aҠOک#SO @1Rmult_le_compat_lڀqu_Cuwwéՠ+̩'@.Rmult_le_reg_l΀H8-hȩ+ 3ڰ<vЩyn}ܩ?ݩIj$.*o35R s7 3xze3tѩfcFDc SH D OM BO K  s &aV 'RL*@.Rplus_le_reg_l -<hjRVcaA>< 4$97} $ 6Y~qs :]j ;f "ީ(bh G9x Itn 0 Ns 4 Q| 8xz ;G ?K K ] AM@&pow_lt!Eۀ#Rs J0%Щ N46a~b C1j@*Rplus_commqqȠrt g @*Rinv_l_sym9`g~F@0Rminus_eq_contrawŀt  x#H125 ķ  )!  ) [ +++ Chf hj kةCޠpܩ`@%tech3g䀰絷6   6ѷ()[ L     O/*$C+ 5    Cː m  K>C    z ڷ  ۩ R}     Ұ  Z @    C O  &  "   C  6 ٷ K Gt    ⩚ @'sig_rec5Ԁ   !p     @$Hyp0@ @+cv_cauchy_2.fC@*cauchy_abss'@+cv_cauchy_1.fB 6 |2 /  0L  @  C s  ; :  ;W  K  NÐ ( (I F K H  Ie  Y   \ѐo 6 6 G RL $ U  Vr  f Ϡ iސg  D D  D D@3@ I(Alembert f@+Alembert_C4π:   }@+Rabs_pos_lt  ݵ ) {  %     @   x ݩ     @    L    <  5  3 @ 1 & !% )iWb.nN 7 E  C  jI 7o  A <@ .D d[ ǩI 7 ̩ S NRo     ө Z U v ߩZ\@,Rabs_Rabsolu Nd/f@)Rabs_mult) n5o@)Rabs_Rinv& C  @ \     @   ~rn  \C    H h s s !   K  |   #h  "  p7  +2  ڷ t  =(@-total_order_T=ҖX   & 8   " Ơ % 1 C ' I F  Gc  W  Z m 2 2 26t8 ڠ  9 E W  ;\ Y  Zv  j Ӡ m Π Ơ  I I I I#Hlt@+Alembert_C5Ѐз }  ޠ ̩wA ^    @,Rmult_le_posN85 )  l  x  n  )/  r ~  t      z1 -  ӷ   ! > #  C C%ЩW0é  A 8     6   0  eѩ D ӷ   8 !  7D   F     B  u + G" /Q '@)Rmult_1_l9X$D &y  e  7  : ,  97C$ B7f!9 2f n 橚 @ 'Rmult_integral_contrapositive_currified   i `@+pow_nonzero ! ̵ ٰ  %    )U   USC@   _  { ߩ] 9   =    "l   ljCWC        ! ȩ >W !  "  #@     /ͩ q 3 ©  4  5  6@     B      ©  ۷ J)  M  N  O@ թ ʠ Š ɐ [      ک   ؐ    f   l j o    \ I  P ; 4@ W 1 &ĩ ҩ 0  f S  0C ^ }_    c -   g y 砩 頩 6    >     D     I       Ґ W%!     +       % )   k3 n(    $ ) +$ -7> M    Щ ΰ + а J Ұ G ԰ B ְ ΩF  ө    Z            ʠ    Π   Ű  ǰ  թ ɰ   © ˰     @ ڰ    p ]   X0         z   Z0         |      c e gyJ koI m o quT   ur w= ;    | ~% nΐ+O    > K      o "  $  IJ 䵷  0 ˩  3i P  C z k   ?@/Rinv_mult_distr % xe ԩ 9 K /  N  2 3C  uC C U^ à Š^  穚 @'pow_add2   GC R d Ҡ x    | ڠ Ҡ  ĩ ޠ  ֠    v 䠩     |            5      w                %      *                 z@  w l j 3   C 0    g W Q K E =   0    i Y S M G ?   x   &d 3 Y 7j T  .@ + I  ũ L I   ɩ 7 MK O   Щ W   ! R  թ \ E  [ 2 _  ` Щ  Tf "Khz i   \ ^ p% "  z ک c  { 1 6    -  )  O5  r @! 6 0  c  C A  |+ JR   6FPH% @*Rabs_no_R0 2 :9j<TVG d@d |  GC    B    j  J  W  C W K  R   O   P ׷#HeqL  N N  ^ _ `@  ۠ ֠ Π h ɠ    ?  m ]  6 з s c Wi ) ࠷ z ۠    m      ~v  { y xCfx  .  y ө  Ǡ  '   >  '   K  } Eu & 0H  ޠ}    :              C * u r 2 r)2  `4> n/ _ɩ* $5G Uc ©I F _ R  P D o 8q 3CW T +xx.L~C_Z#$C  #Hgtyз !R  h t r  q   y    X " ikjC3CЩ  {$ + k    z|  * @V  8 E] i6  k Nة F JAdC ʵ ,  0_ C-P/ PD^trY  <_ @z=$%<CB B @ ϩ . ۠ fq R O 67NCdC٠8 f Tߠ> lc klm@蠩㠩 琩 y W {   Ѡ{|}@  ҩߠ ] ѩѩ a  q " Z X&' @  & Q ) ? ! #;* .&0    Z "  * d b  5h   Sm U > )+ =$ E.0 d ȩ8:<"&ҩ@  \  % کʰ!JL!N4 g n(G p? C!ace & hH%jlnN 0 rKtZ8  y{ F Ȑ I    8E iace CgvD ޵ J + (H'CݩO@ 琩]_ $iV ﵷ ũ*<  ^ ? <z#$;CC1CNN թ  0C;M2  Q e  Wޠ٠ ^̠ зc꠩ 琩 N {xvnxp   ѩw |zשgy Ҡ < Ԡ!- ڠ " 5  9y    "ة Щ WLܩ N4 +< V!4G ַ;$- N(D+CG70%  3 <>Cu':/. 1zEGzSRR+DhZCb]OE OG ʩ@ NCn^V 0 o੷ yy ĩ   ͰHG ȩ԰1O@&tech12hVUI-:PL)4f(M5