"`'^'BMB-Ranalysis_reg%Reals#Coq@p&Rlimit%Reals#Coq@&Rderiv%Reals#Coq@*Ranalysis1%Reals#Coq@*Ranalysis2%Reals#Coq@*Ranalysis3%Reals#Coq@)Rtopology%Reals#Coq@#MVT%Reals#Coq@+PSeries_reg%Reals#Coq@(Exp_prop%Reals#Coq@*Rtrigo_reg%Reals#Coq@)Rsqrt_def%Reals#Coq@&R_sqrt%Reals#Coq@+Rtrigo_calc%Reals#Coq@%Rgeom%Reals#Coq@%RList%Reals#Coq@(Sqrt_reg%Reals#Coq@*Ranalysis4%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@&Rpower%Reals#Coq@D)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̂"&/r'Prelude$Init#Coq@0JqTttֱ'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)AltSeries%Reals#Coq@0d US^(Binomial%Reals#Coq@0]JrHr#E&Rsigma%Reals#Coq@0䟄WCJҦ<%Rprod%Reals#Coq@0gȀn_}!W+Cauchy_prod%Reals#Coq@0K*ߞ4q(Alembert%Reals#Coq@0I͗Huz&)SeqSeries%Reals#Coq@0Npc$5|T ٠*Rtrigo_fun%Reals#Coq@0T+ɧK/۠*Rtrigo_def%Reals#Coq@0$xR`VcxIaƶ"x*Rtrigo_alt%Reals#Coq@0zsC^,%+OmegaTactic%omega#Coq@0@{4-EܭEUBW'Cos_rel%Reals#Coq@0%}ֺ|3J-tWK(Cos_plus%Reals#Coq@0IWEGն&Rlimit%Reals#Coq@0*r0ē([HAE&Rderiv%Reals#Coq@0?KQ;^WU;HԐ0 n;qm.L%0eA~%&Y?05g2NaA:7PropExtensionalityFacts%Logic#Coq@0 +_.ɓoFؘ'Hurkens%Logic#Coq@05[gNk2up.ClassicalFacts%Logic#Coq@0$RzqIF\(4.Classical_Prop%Logic#Coq@0Yh޿JdI1ƽ3Classical_Pred_Type%Logic#Coq@0m[6BZ50;Wo G0cq통 gZ0䝠|%n͠'Rtrigo1%Reals#Coq@0x'ml^02N헛W0Gz魸NJ,:70D:L-0QWk'0 @#DŽe0"Jl<8iD409b'mdlsy0?N~K0,o^}0kp+PA0x9^XQ1wmL_$B$`D"脕bzd+Р-Ranalysis_reg%Reals#Coq@A&AppVar @@@,Rdefinitions%Reals#Coq@@!RӀ@@@@@AA@@>@,Field_theory+setoid_ring#Coq@@&FEeval>@@A@A"s @,Ring_polynom+setoid_ring#Coq@@&PEeval"s @@A@BA@A@@@@ ӳ2@ ӳ2[)Datatypes$Init#Coq@@A@ Գq@ Գq\ @A@AB@cA@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@D(Alembert%Reals#Coq@0I͗Huz&)AltSeries%Reals#Coq@0d US^%Arith#Coq@0I|кX*o4)ArithProp%Reals#Coq@0B+L?>*e˃a j)ArithRing+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(Binomial%Reals#Coq@0]JrHr#E$Bool#Coq@0j 2cZ`FW*CMorphisms'Classes#Coq@0qیZBeϠ0CRelationClasses'Classes#Coq@0TL;0RUfw1+Cauchy_prod%Reals#Coq@0K*ߞ4q.ClassicalFacts%Logic#Coq@0$RzqIF\(43Classical_Pred_Type%Logic#Coq@0m[6BZ5.Classical_Prop%Logic#Coq@0Yh޿JdI1ƽ'Compare%Arith#Coq@0OM v먣5L:+Compare_dec%Arith#Coq@0jXF 8(Cos_plus%Reals#Coq@0IWEGն'Cos_rel%Reals#Coq@0%}ֺ|3J-tWK@0.i bYN Z)Decidable%Logic#Coq@0ND걸풬/Oߠ'Decimal$Init#Coq@0C涳N*ua&DiscrR%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߫%(Exp_prop%Reals#Coq@0D:L-)Factorial%Arith#Coq@0@oehJd%Field+setoid_ring#Coq@0J _ȫ)Field_tac+setoid_ring#Coq@0d vDZl^۹H40B~uYٮ٠'Fourier'fourier#Coq@0wV9TN,Fourier_util'fourier#Coq@0ϳ> 4`*r0-GenericMinMax*Structures#Coq@0måj$"Gt%Arith#Coq@0䙛#c:D 'Hurkens%Logic#Coq@05[gNk2up$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{%Logic$Init#Coq@0\͉!Ig*Logic_Type$Init#Coq@0 1jc6"Lt%Arith#Coq@0KZ-eJkP܏#MVT%Reals#Coq@0cq통 gZ#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#Jes+OmegaTactic%omega#Coq@0@{4-EܭEUBW4Operators_Properties)Relations#Coq@0U3y#h&&Orders*Structures#Coq@0$Znl0\͗+OrdersFacts*Structures#Coq@05Mܿ獐ζΖLB)OrdersTac*Structures#Coq@05'4Ԗ+9%+PSeries_reg%Reals#Coq@0䝠|%n͠'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ֱ7PropExtensionalityFacts%Logic#Coq@0 +_.ɓoFؘ%Quote%quote#Coq@0J@ŹVz-,3%%RIneq%Reals#Coq@0JUڻIu)$w%RList%Reals#Coq@05g2NaA:%R_Ifp%Reals#Coq@0c4+ZŠ%R_sqr%Reals#Coq@0X%MԹ%M&R_sqrt%Reals#Coq@0 @#DŽe*Ranalysis1%Reals#Coq@0 n;qm.L%*Ranalysis2%Reals#Coq@02N헛W*Ranalysis3%Reals#Coq@0Gz魸NJ,:7*Ranalysis4%Reals#Coq@0kp+PA'Raxioms%Reals#Coq@0S]jnj][L%Rbase%Reals#Coq@0Jܡ\ c6{*Rbasic_fun%Reals#Coq@0hܒiclE>)Rcomplete%Reals#Coq@0{ڸ4q ,Rdefinitions%Reals#Coq@0(2{Ze$ќ8&Rderiv%Reals#Coq@0?KQ;^WU;H)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$&Specif$Init#Coq@0;RWMi\N+SplitAbsolu%Reals#Coq@0M)&qYlݹ5*SplitRmult%Reals#Coq@0sD\rt/(Sqrt_reg%Reals#Coq@0?N~K0,o^}'Sumbool$Bool#Coq@0sB ,$11.]m'Tactics$Init#Coq@0/9m+ a'Tactics'Program#Coq@03 ˠ2 Q@@@@#_26 @ 6]@A@@@@@@@@#_272M접#_28'`o@@@@.intro_hyp_globF@@@#trm@ B ./theories/Reals/Ranalysis_reg.vh h ?LFI h h @@@@(plus_fct1@i%i%,5"X1(i%i%,/"X21i%i%25@@  B@@@*Ranalysis1%Reals#Coq@@)derivable$"@TkRkRaj@@@@]kRkRkl@`kRkRal@@lkRkRqqkRkRqwkRkRqv@3b:XkRkR@kRkRkRkRkRkRfkRkR@@@[@*continuity*@ll@@@@ll@ll@TllǓllǠllSll@llړllڠlljll@@@@@@)minus_fct@oo ސooݐ oo @@ B@@@@%q'q'6?@@@@.q'q'@A@1q'q'6A@ѡx@x@OY@@@@Gx@x@Z[@Jx@x@O[@Ux@x@`qZx@x@`q`x@x@`n頒@gx@x@oq@lx@x@sqx@x@swx@x@sN~x@x@@@@@@u@'div_fct R@{{t{{s{{@@ @#aux||Ȑ||@@ B@@~~@"x0@AƐ@@~~   /@#notШ@~~@"eq @@@@@@N~~; ~~@ ~~,Rdefinitions@@#IZR@@'BinNums'Numbers+@@!Z@A@@@@@I@I/~~@`%WM@٤A1(@A@@@X~~ )@@@@a~~*+@d~~ +@ o00<Mt00<Mz00<JZ00KM@00O`00O`00O]h00^`@@@a@amn@@AƐ@@@a@az{@@a@a}@ @@@a@a}@a@a@@a@a}@@@@@@@-@-@a@ap@>ڤ @DA搐@A@@i@ @a@a@@@@@a@a@@a@a@z$AA)AA/AA6AA@;AAϓ@AAϠFAAϠMAA@@@@[BBꠠ@@@@dBB@gBB@#rCC wCC }CC )Notations$Init#Coq@@#cut#uƐ@@CC  @CC  @ @@CC  CC  @CC  @@@@@@@-@-CC  @@ D D  - 2 4@.intro_4C69D576V`@D D  4 ED D  4 ED D  4 BoƐD D  C E@D D  G XD D  G XD D  G UԐD D  V X@ D D  _ iD D  _ i@*assumption-@@@@@#E lE l } @@@@,E lE l  @/E lE l } @Ϥ:F F   ?F F   EF F   ȠƐ@|@SF F   {@\F F   v@ q@@qF F   xF F   @{F F   o@@f@@@@@-@-F F   @@ G G   Ϡ@G G   ⓠG G   ⠐G G   +G G   @G G   G G   G G   BG G   @G G   G G   @@@@@@@$comp!~@J ,J , 3 7ŐJ ,J , 8 ;ĐJ ,J , < ?@J ,J , 3 ?@ڛ B@@@@L ZL Z i r@@@@L ZL Z s t@L ZL Z i t@א&L ZL Z y +L ZL Z y 1L ZL Z y 8L ZL Z  @=L ZL Z  BL ZL Z  HL ZL Z  ѠOL ZL Z  @@@@]M M   @@@@fM M   @iM M   @ʐ tM M   ϓyM M   ϠM M   _M M   @M M   ⓠM M   ⠐M M   mM M   @@@@@@'opp_fct*'@P P   P P   @ @ B@@@@R +R + : C@@@@R +R + D E@R +R + : E@|R +R + J [R +R + J [R +R + J XzѐR +R + Y [@@@b@S \S \ k u@@@@S \S \ v w@S \S \ k w@sS \S \ | !S \S \ | 'S \S \ | .S \S \  @@@@@%@'inv_fct˷@CV V   $KV V   @ @. @ZW W   ͐Y=dW W   @@ B@@mY Y   @@AƐ@@{Y Y   @Y Y   @ @@Y Y   ҐY Y   @Y Y   @@@@@@@-@-Y Y   @>ِ@[A@A@@@Y Y  % .@@@@Y Y  / 0@Y Y  % 0@Z 5Z 5 A RZ 5Z 5 A RZ 5Z 5 A OېZ 5Z 5 P R@@ [ S[ S _ `@B@AƐG@A@[ S[ S l m@@![ S[ S o z;@ 6@@6[ S[ S o ro=[ S[ S s u@@[ S[ S o u4@@+@@@@@-@-N[ S[ S b z@>Dvl@APG@A@@@w[ S[ S  @@@@[ S[ S  @[ S[ S  @#\ \   \ \   \ \   !x\ \   @@@d@] ]   ɠ@@@@] ]   @] ]   @uY^ ^   ^ ^   ^ ^   RƐ @@^ ^   점@^ ^   @ @@G^ ^   񠠐4 ^ ^   @ ^ ^   @@@@@@@-@- ^ ^   @@  _ _   H@ _ _   $ %_ _   $ +_ _   !  2_ _  " $@ 9_ _  + 5 >_ _  + 5.@@@@@ O` 8` 8 I S@@@@ X` 8` 8 T U@ [` 8` 8 I U@ fa Za Z f  ka Za Z f  qa Za Z f iƐ@@ a Za Z u v@ a Za Z x @ @@ a Za Z x {֐ a Za Z | ~@ a Za Z x ~@@@@@@@-@- a Za Z k @@  b b   @ b b    b b    b b    V  b b   @ b b    b b   @@@@@@*Rtrigo_def%Reals#Coq@@#cos@ e e   @@@@@#sin@ f f  @@@@-@$coshQg@ "g g @@@@@@$sinhB@ 5hh%)@@@@S@#exp3@ Hi3i39<@@@@%RIneq%Reals#Coq@@$Rsqr=MW@ bjFjFLP@@@@&R_sqrt%Reals#Coq@@$sqrt E@ |kZkZ`d@@@@ B@"id!s-@ lnlntv@@@@ X@'fct_cte@ mm@@@@ mm@ mm@ Q@@@ |@'pow_fct,ݛ@ nn@@@@ nn@ nn@ u@@@*Rbasic_fun%Reals#Coq@@$Rabs; w@ oo@@@@ ڐ pp@  @!p qq␠   qq@@ @%HYPPD rr%HYPPD@@ B@@ ,t1t1=>@ @ 8t1t1@I4 ?t1t1JK@ Bt1t1@K@ @@@@@@@ St1t1PQ@ @@@ @ bu[u[lu^ iu[u[vw@ lu[u[lw@ (j@@@ 8@ vv@@@@ vv@ vv@ I - wwȓ wwȠ ww&@@%Logic$Init#Coq@@$Truey@@ ww |@ wwŠ ww@ wwǐ ww@@  xx@0intro_#_4C69D577LE @ xx xx xxu @ xx xx@ xx@@  yy >@  yyD@0clear_#_4C69D547<@@@@A@@ 1yy',@@@@  6yy.9 #@@@  Cyy;Bq@4trivial_#_#_4C69D5E83)dn@*h?@@@@@@ [{_{_kl@ @ g{_{_nxc n{_{_yz@ q{_{_nz@ Ґo@@@@@@ {_{_@ @@@ @ || ||@ ||@ @@@ @ }}͠@@@@ }}@ }}@  \ ~~ ~~ ~~U@@/@ ~~預 D@ ~~ ~~@ ~~ ~~@@   #!@ + +  {@ ( &)*@ )*@@  0--?D^@  6--FQ #@@@@A@@0 N--Z_@@@@  S--al=;@@@@  `--nu@@@@@@@@@,intro_hyp_ptF@@@ "pt@ B    @@@ @  z   y  @@    B@@@ x@,derivable_pt8\E@ --<H@@@@ --IJ@@@@ --KL@ --<L@ z z --Qc --Qc --Q]@ Gu ѐ --^` --ac@--ew --ew--eq --rt--uw@@@ @-continuity_pt?ZL@/xx@@@@8xx@@@@Axx@Dxx@  OxxTxxZxxj:axxhxx@mxxÓrxxàxxxOxx xx@@@ @栠@@@@ [@)derive_pt$Fn@ܠ@@@@ޠ@@@@ࠠ@@@@@⠠@@@@@>@ @p6uuuuː|@    @@@@@/@(;;BK 0;;BE8;;HK@@D B@@@@Phhw@@@@Yhh@@@@bhh@ehhw@phhuhh{hh[hh hh@hhhhhhphh*hh@@@@Ϡ@@@@Ѡ@@@@@@jjꓠꠐ𠒑砒q@Ր @@@ *@!@@@(@@@@1@@@@:@@@@C@F@@@@O !@8@ d@𤐑`&&0Be&&0Bk&&0<{Kr&&=?y&&@B@~&&DV&&DV&&DP`&&QS&&TV@@@@@@vv}vv}vv@@ B@@@@@@@@@@@@@@)ٓ٠ ې֠ @퓠) ꠒ'@@@ @5 @@@@>  @@@@G @J@$U%Z%`p@g "n#%@s'9x'9~'3U4679@@@@::I\@@@::IR@@@@::ST@@@@::UV@@@@::WX@::IX@@@@::[\@8@@p6uuuuaak}aak}aakwːaaxz|aa{}@aaaa aaaaaa@@@@@@( 08@@ @IՐH#S@@ B@@\  @@h@ }@@ɐ}@{@@r@@@@@-@-@@8'@A@@@ ,@@@@-.@@@@/0@ 0@ll55AS55AS55AM򠒑55NPs55QS@55Ug55Ug55Uaא55bd55eg@@hhtu@A@"hhw<@ 7@@7hhwz>hh{}@Ahhw}5@@,@@@@@-@-@pf@ᤐJA@A@@F@qhh@@@@zhh@@@@hh@hh@`&&|-@ГРʠ͠K@@ސ@@렠@ @@=㠠{@栠@@@@@@@-@-@* @b@A@@;@+@@@9@@@@B@@@@K@@@@T@W@@@@`@8@u@ǰq  'v  '|  !\  "$   %'@  );  );  )5q  68+  9;@"id<<HJ@@AƐ@@<<VW@<<Yd@ @@*<<Y\<<]_@<<Y_@@@@@@@-@-<<Ld@>"줐@VA@A@@^@<<jv@@@@(<<wx@@@@1<<yz@4<<jz@xԡ@@L֐S@V@@@ [@afl|Lsz@̠̓aɠ@ې@@AƐ@@蠐@@ @@@𠠐@@@@@@@-@-@>#ۤ @EA琐@A@@@@@@@  @@@@   @# @á@@;)+ŐB,.@E).@@@ J16x@P8JU8J[8Dk;bEGiHJ@nL^sL^yLXPY[ \^@ߐ__km@@AƐ@@__yz@__|@ @@__|__@__|@@@@@@@-@-__o@>$ʤ@~4A֐@A@@ @__i@@g@ __@@@@__@@@@__@@@@&__@)__@@@@2__@8@G@Ӥء@@P ڐW@Z@@@ _ʠ@eޓjޠp Pw۠ ~@򓠐򠐠 e @@@ @@@@@@@@@@@ __%6%6%(X@*5@ @@C*- .0@*0@@@@@@@-@-@@ 88HMB@88Oa88Oa%88O[ 5,88\^ 388_a@888cu=88cuC88co SJ88pr ԐQ88su@X88|]88|M@@@@ C@n@@@@w@@@@@@ ]##͓͠@̠@ @@Ġ E@Ǡ@@@@@@@-@-@@ @ ɐ z@   ސ    @!@@@@B@2  1D @@ @@  1:@@@@I  ;<@@@@R  =>@@@@[  ?@@^  1@@@@@g  CD@8@|@ ΰ    xIIUf}IIUfIIUX@IIZe@ @@IIZ] /II^`@IIZ`@@@@@@@-@-@@ hhx}@hhhhhh 㠒hh dhh@hhhhhh Ȑhh hh@hh hh@@@@@@?@砠'렠/@2@W B@@@ @J  %@@@@S  &'@@@@\  ()@_  )@  @%pt_f1m..<AA@@@@@@K{..WY ..Z\@..W\@@aanaanaanz vaa{}8aa~@aaaaaa Ġaa Eaa@@@ @@@@@@@@@@@  @ёA@@@@@@А頠 @ @@  +"  )@.'3'9! I@"$ ʐG%'@@@e@U))8K @@ @c))8A@@@@l))BC@@@@u))DE@@@@~))FG@))8G@@@@))JK@8@@+ 0000 @1PP^cA@@@@@@{PPy{5PP|~@PPy~@@ ֠h@ u@@@@@U@栠 @ @b B@@@`@!@@@@* @@@@3!"@6"@z@'9E'9K'3[+R46ܐY79@@@<@g::IV@@@@p::WX@@@@y::YZ@|::IZ@V::_q::_q::_kq::ln"::oq@@@@rr@@@rr@@@@rr@@@@rr@@@@rr@rr@@@@rr@8@@Irrrrrr ݐrr rr@@@@@@נ$@ @ꐛ @3될2=@@ B@@F"#@q@R%0l@ g@@g%(n)+@q%+e@@\@@@@@-@-@@"ؐzq@A@@@6B@@@@CD@@@@EF@6F@VVKKWiKKWiKKWc۠KKdf\KKgi@@jjvw@ @jjy@ @@Njjy| jj}@ jjy@@@@@@@-@-@;1@s @A@@@<jj@@@@Ejj@@@@Njj@Qjj@+[`fvFmt@@|̐@@٠@ @@Ѡ'@Ԡ@@@@@@@-@-@֐@XG@A@@@򠠐C@@A@蠠@@@@ꠠ@@@@젠@@@@@@@@@ @8@!@s!'7.5@ >"$@v@AƐ{@u@L01t@U3>o@ j@@j36q79@t39h@@_@@@@@-@-&>@>-x@,␓A{@A@@@DP@@@@QR@@@@ST@DT@``@@ &YYqsaYYtv@YYqv@@@ YYy~@YYYYYYאYY YY@ ] @F@AƐK@E@ D@ %?@ :@@ :s A@ D8@@/@@@@@-@- R@>.Hzp@ATK@A@@P@ {Π@@@@ Р@@@@ @ @j 0 0@@  񠠐1 @ @@@  @      נ    X   @ -     @@AƐ@@    + ,@    . 9@  @@V!    . 1C!   2 4@!   . 4@@@@@@@-@-!"   ! 9@>/J@@ ̤A$@A@@[@!K   ? R@@@!Y   ? H@@@@!b   I J@@@@!k   K L@@@@!t   M N@!w   ? N@@@@!   Q R@8@@!!!&!&!&!&@@ ! W W o q'! W W r t@! W W o t@@@ ! W W w |@! W W ~ ! W W ~ ! W W ~ ͠!! W W  N! W W  @@@@!    @@@@!    @@@@!    @!    @2!!!    ԓ!    Ԡ"    0@"    Ӡ+@ &@@r"&    ˠ"-    @"0    Π$@@@@@@@-@-@@ "B    ݠp@"H    񓠐"M    񠐠"S    c"3"Z    "a    @"h   !"m   !]@@@@S@"~!!!!#@@@@"!!!$!%@@@@"!!!&!'@"!!!!'@m"3"3"!,!,!8!I"!,!,!8!I"!,!,!8!;,@"!,!,!=!H@ @@ "!,!,!=!@U"!,!,!A!C@"!,!,!=!C@@@@@@@-@-@@ "!,!,!M!R@"!,!,!T!f"!,!,!T!f"!,!,!T!`"ؐ"!,!,!a!c#!,!,!d!f@# !,!,!m!w#!,!,!m!w@@@@ 3@##!z!z!!@@@#1!z!z!!@@@@#:!z!z!!@@@@#C!z!z!!@@@@#L!z!z!!@#O!z!z!!@@@@#X!z!z!!@8@ m@"""""#i!!!!#n!!!!#t!!!! @#!!!! @  @@ #!!!! #!!!!@#!!!! @@ @@@@@-@-@@ #!!!!ɠ@#!!!!ݓ#!!!!ݠ#!!!!Ӡ##!!!!ڠT#!!!!@#!!!!#!!!!@@@@@@@#""""@@@@@#"'"'"-"0@@@@@$ ":":"@"D@@@@@$"N"N"T"X@@@@@$*"b"b"h"k@@@@@$9"u"u"{"@@@@@$H""""@@@@@$Z""""@@@@$c""""@$f""""@ʐ$@@@@$z""""Ġ@@@@$""""@$""""@Ɛ$&@@@&@$""""@* B@@@@$""##@@@@$""##@@@@$""##@$""##@$^$^$""##%$""##%$""## W(@#Rlt=@$""##$!@@!@@@@{$""#"#$@@@ $""#)#. ,@%""#5#?% ""#5#?@@@@@%#B#B#Q#^@@@@%%#B#B#_#`@@@@%.#B#B#a#b@%1#B#B#Q#b@ $$Ѥ%<#g#g#q#~%A#g#g#q#~%G#g#g#q#t ʠs@#Rle=@%X#g#g#v#}"L@@"C@@@@%j#g#g#{#}@@@ %p#g#g## @%x#g#g##%}#g#g## m@@@@"@%####@@@%####@@@@%####@@@@%####@@@@%####@%####@@@@%####@8@"@%d*%i%i%i%i%####ؓ%####ؠ%####!b @%####נ"@@"@@@@%####@@@ &####!2@& ####򓠐&####򠐠!@@@@@@<@&"$$$$@@ B@@@s@&4$8$8$G$S@@@@&=$8$8$T$U@@@@&F$8$8$V$W@&I$8$8$G$W@%%&T$\$\$f$s&Y$\$\$f$s&_$\$\$f$i!⠑#@&l$\$\$k$r#@ #@@&~$\$\$k$m#r@@#i@@@@@ @ @@ &$\$\$w$|!@&$\$\$$&$\$\$$!@@@@@@&&$$$$@& @&$$$$ǐ&&&$$$$@@ @&$$$$锠%HYPPD@@ B@@&%%%"%#@"@&%%%%%1ߐ&%%%2%3t&%%%4%6@&%%%%%6@8@@@@@@'%%%;%<@&@@@T@'%F%F%W%c'%F%F%d%e'#%F%F%f%h@'&%F%F%W%h@j$@@@{@'<%s%s%%@@@@'E%s%s%%@@@@'N%s%s%%@'Q%s%s%%@&&'\%%%%ē'a%%%%Ġ'g%%%%"ꠑ@@@'t%%%%@'}%%%%y'%%%%'%%%%@'%%%%Ð'%%%%@@ '%%%%@'%%%%'%%%%'%%%%#1@'%%%%'%%%%L'%%%%@'%%%%@@ '%%&&#@ '%%&& à@@@@A@@Ӑ'%%&)&.@@@@ '%%&0&;ࠐޠ@@@ (%%&=&D@@@@@@@( &a &a&m&n@@(# &a &a&p&}(* &a &a&~&(1 &a &a&&@(4 &a &a&p&@2@@@@@@(F &a &a&&@'@@@*@(U & &&&Q(\ & &&&(c & &&&@(f & &&&@@d@@@Q@(| & &&&ޠ@@@@( & &&&ࠠ@@@@( & &&&@( & &&&@k(1(1( & &&'( & &&'( & &&&$*@@@( & &&&@( & &'' ( & &''N( & &''@( & &''( & &&'@@ ( ' ''%'0@( ' ''2'J( ' ''2'J( ' ''2'5$q@( ' ''7'D) ' ''E'F)  ' ''G'I@)  ' ''7'I@@ )'L'L'^'c$A@ )'L'L'e'p@@@@A@@)1'L'L'y'~@@@@ )6'L'L'' #@@@ )C'L'L''@@@@@@@@&m@)]''''ՠ@@@)k''''ˠ@@@@)t''''͠@@@@)}''''Ϡ@@@@)''''@)''''Ѡ@@@@)''''@8@&@)3)8)8)8)8)'''()'''()''''%1@@ @)''''@)'''')''((U)''((@)'''()'''(@@ )(((("@)((($(;)((($(;)((($('%xA@*((()(5* (((6(7*(((8(:@*((()(:@@ *(=(=(O(T%H@ * (=(=(V(a  @@@@A@@*8(=(=(j(o@@@@ *=(=(=(q(|'%*@@@ *J(=(=(~(@@@@@@@@@*is_diff_ptF@@@ B@@@@*m(() ) @*t(())@@@@*}(())@*(() )@Ġ 2*#@A@@*L@1derivable_pt_Rsqr=k@*)=)=)I)Z@@@@@@@* )[ )[)f)r #@* )[ )[)s)u** )[ )[)v)y@* )[ )[)f)y@ 7*@A@@*@/derivable_pt_id#$q@* )[ )[))** )[ )[))@* )[ )[))@@@@@@.@*!)!))) X@*!)!)))@@@@+!)!)))@+!)!)))@@@@+!)!)))@+!)!)))@U z**@A@@*@2derivable_pt_const>ҥ@+,!)!)))@@@@@@y@+:")")))󠠐!6@+A")")))@@@@+J")")))@+M")")))@!K*@A@@*Rtrigo_reg%Reals#Coq@@0derivable_pt_sin6@+m")")**@@@@@@@+{#*#** *,!@+#*#**-*0@@@@+#*#**1*2@+#*#** *2@Ҡ!+1@A@@A@0derivable_pt_cos6w@+#*#**=*M@@@@@@@+$*N$*N*Y*e!@+$*N$*N*f*j@@@@+$*N$*N*k*l@+$*N$*N*Y*l@ !+k@A@@*Ranalysis4%Reals#Coq@@1derivable_pt_sinh?n9@+$*N$*N*w*@@@@@@5@+%*%***!@+%*%***@@@@,%*%***@, %*%***@M!+@A@@A@1derivable_pt_cosh?l\^@,"%*%***@@@@@@o@,0&*&***۠!@,7&*&***ߠ@@@@,@&*&***@,C&*&***@"+搠@A@@{@0derivable_pt_exp8#R@,\&*&***@@@@@@@,j'*'*++!@,t'*'*++@@@@,}'*'*++@,'*'*++@@@@,'*'*+!+"@,'*'*++"@Р!ѐ,1,1@@!@@@@@A@@,f@0derivable_pt_pow@,(+'(+'+K+[@@@@@@@,)+\)+\+g+s"W@,)+\)+\+t+x,,)+\)+\+y+|@,)+\)+\+g+|@"k,@A@@(Sqrt_reg%Reals#Coq@@1derivable_pt_sqrt2$P@,*+*+++,ِ-*+*+++@-*+*+++@@@@- ++++++-++++++'@@@,@-1@@,@,*@@,@&|*'@@,@+m)?@@,@* R@@,@&˷@@'f@@"@@"@@"@@@@@@@-c.,5.,5,@,L"@-j.,5.,5,M,Q-K-r.,5.,5,R,U@-u.,5.,5,@,U@"-[@A@@@1Rderivable_pt_abs8D@-/,Z/,Z,g,x-t-/,Z/,Z,y,{@-/,Z/,Z,g,{@@@@-0,~0,~,,-0,~0,~,,(@@@@@@@@@@@@@@@'@@#O@@#>@@#@@@@@@ 1@-5-K5-K-V-b-@-5-K5-K-d-m-ݐ.5-K5-K-d-g-ܐ. 5-K5-K-j-m@"X3.5-K5-K-o-r@.5-K5-K-V-r@ \..-@A@@-@1derivable_pt_plus= @.=6-w6-w--..D6-w6-w--..K6-w6-w-->.R6-w6-w--@.U6-w6-w--@@@@.Z6-w6-w--._6-w6-w--@.9-9--. ..9-9-. . ..9-9-...9-9-..@.9-9--.@@@@.9-9-.. .9-9-.. ~@@@!-@.;.5;.5.@.L(J@.;.5;.5.N.S.ِ/;.5;.5.P.S@ .ؐ/;.5;.5.U.X@/ ;.5;.5.@.X@!O(g..졐@A@@.@0derivable_pt_oppQ@/.<.]<.].j.z//5<.]<.].{.}/ /<<.]<.].~.@/?<.]<.].j.@@@@/D=.=.../I=.=...@@@!@/Z?.?...٠/@-mult_real_fct=3@/h?.?...蠠/I/p?.?...젠/H/x?.?...@/{?.?...𠠐o/?.?...@/?.?...@!ʠ,/n/g@A@@/^@1derivable_pt_scal=M@/@.@.////@.@.////@.@.///@.@.//!@/@.@.//!@@@@/@.@./$/./@.@./$/.n@@@"@/B/KB/K/V/b.$@/B/KB/K/d/m/ɐ/B/KB/K/d/g/Ȑ/B/KB/K/j/m@0B/KB/K/o/r@0B/KB/K/V/r@"G.I/뛐/䛐@A@@/@1derivable_pt_mult=A@0(C/wC/w//00/C/wC/w//006C/wC/w//)0=C/wC/w//@0@C/wC/w//@@@@0EC/wC/w//0JC/wC/w//@@@"@0[E/E///٠-@0eE/E///䠠0F0mE/E///ޠ0E0uE/E///@i0}E/E///@0E/E///@"Ġ-0h0a@A@@*Ranalysis3%Reals#Coq@@0derivable_pt_divQ@0F/F//0 00F/F/0 000F/F/000F/F/00@0F/F//0@@@@0G0G00!0+0G0G00!0+p@0H0,H0,080B0H0,H0,080B~@0J0SJ0S0_0i0J0SJ0S0_0i+@@@@@@@@@@@@@@@+9@@&Y@@&@@&@@@@@@@#u@16M0M001*@1@M0M01 11!1HM0M01 1@ 1 1PM0M011@1SM0M001@#*1;14@A@@@0derivable_pt_inv8(>@1vP11P111>1N1V1}P11P111O1Q1T1P11P111R1T@1P11P111>1T@@@@1Q1WQ1W1a1k1Q1WQ1W1a1k,@@@@@u@@s@@@@@@{@@+@@&@@'>@@'-@@@@1T1T1111T1T111z@@@@$)@1U2U22 2,@1U2U2221Ր1U2U22 2#1Ԑ2U2U22$2'@2U2U222'2U2U22)2,@2U2U22 2,@$V,<11@A@@1@1derivable_pt_comp=-q@27X2KX2K2X2i22>X2KX2K2j2l22EX2KX2K2m2o82LX2KX2K2p2r@2OX2KX2K2X2r@@@@2TX2KX2K2u22YX2KX2K2u2@@2dY2Y222@$@2pY2Y2222Q2xY2Y2222P2Y2Y222@2Y2Y222@$Ǡ2f2_@@$@2Y2Y2222y2Y2Y2222x2Y2Y222@2Y2Y222@$222Z2Z222̓2Z2Z222̠-@@2[2[222Ԑ@2@2[2[222ߠ22[2[222@2[2[222@22@@%2@2[2[2222Ԑ2[2[2222Ӑ3[2[222@3[2[222@%J2雐2 @'HypDDPT3\3\33 3'HypDDPT@@3"]3*]3*303B3']3*]3*303B3-]3*]3*3033.2@3:]3*]3*353>33A]3*]3*3?3A@3D]3*]3*353A@@ 3K]3*]3*3F3S'q'o<@@A@@F3]]3*]3*3[3b@@@@3c]3*]3*3e3o3h]3*]3*3e3o.X@@@@@@'@3y^3r^3r3}3%@3^3r^3r33@@@@3^3r^3r33@@@@3^3r^3r33@3^3r^3r333^3r^3r3}3@@'@%3?3? @'HypTruE3_3_333'HypTruE@@ 3`3`333ՠ'ޠ'@ 3`3`333''!@@@3`3`333𓠐3`3`333𠐠u@@@@@@@@@@@@@@@)x@@)g@@.-@@)M@@@@@,is_diff_globF@@@ B@@@3@4&j4j444̠)@4-j4j444@40j4j444@3쐐)␠@A@@3@.derivable_RsqrS@4Il4l445 @@@@@@4@4Wm5 m5 55)@4^m5 m5 5 5"@4am5 m5 55"@4)ߐ@A@@4-@,derivable_id8[@4zm5 m5 5-59@@@@@@4?@4n5:n5:5E5N)@4n5:n5:5P5W@@@@4n5:n5:5X5Y@4n5:n5:5P5Y@4n5:n5:5E5Z@4]* 4F@A@@4o@/derivable_const#ڒ@4n5:n5:5e5t@@@@@@4@4o5uo5u55*@4o5uo5u55@4o5uo5u55@4*Ґ@A@@ @-derivable_sin7@4o5uo5u55@@@@@@4@4p5p555+@5p5p555@5p5p555@4+@A@@ @-derivable_cos7@5p5p555@@@@@@4@5,q5q555렠+@53q5q555@56q5q555@4򐐑+!@A@@ n@.derivable_cosh5D5@5Oq5q556 @@@@@@5@5]r6 r6 66+3@5dr6 r6 66#@5gr6 r6 66#@5#+?@A@@ @.derivable_sinh6@5r6 r6 6.6<@@@@@@5E@5s6=s6=6H6Q+Q@5s6=s6=6R6U@5s6=s6=6H6U@5T+]@A@@ @-derivable_exp5<@5s6=s6=6`6m@@@@@@5v@5t6nt6n6y6+@5t6nt6n66@@@@5t6nt6n66@5t6nt6n66@5t6nt6n6y6@5+5}@@+)@@@@@A@@5@-derivable_pow[@5v6v666@@@@@@5@6 y7 y7 775@6y7 y7 7 7)56y7 y7 7 7#56'y7 y7 7&7)@@6*y7 y7 77*@5搤666 @A@@6@.derivable_plusm@6Mz7/z7/7<7J6-6Tz7/z7/7K7M6+6[z7/z7/7N7P@6^z7/z7/7<7P@@@@6cz7/z7/7S7_6hz7/z7/7S7_Dj@XK@@@61@6z|7s|7s7~75@6|7s|7s776e6|7s|7s776d6|7s|7s77@@6|7s|7s7~7@6S566x@A@@6m@/derivable_minus#@6}7}77766}7}77766}7}777@6}7}777@@@@6}7}777ɓ6}7}777ɠm@@@6@67777򠠐0B@677776ѐ67777@ @67777@60W6㡐@A@@6@-derivable_opp@7778 867#7788@7&778 8@@@@7+888'8370888'83@@@6@7A8`8`8k8t@7K8`8`8v87,7S8`8`887+7[8`8`88@7^8`8`8v8@7a8`8`8k8@77I7B@A@@77@.derivable_scal$@788887[788887k78888@78888@@@@78888788887@@@7g@78888򠠐5@78888778888778888@@78888@7677@A@@7@.derivable_mult)@799997А79999!7ΐ7999"9$@89999$@@@@8999'938 999'93@@@7@89J9J9U9^5@8&9J9J9`9i88.9J9J9`9c8869J9J9f9i@@899J9J9U9j@758!8@A@@@-derivable_div*@8\9o9o9|98<8c9o9o998:8j9o9o99@8m9o9o9|9@@@@8s99998x9999@8999989999@89999蓠89999蠐3@@@ @@ x@@ v@@ @@ @@ ~@@.7@@.&@@2@@. @@@@@@@8@8:p:p:{:1@8:p:p::8ʐ8:p:p::@ @8:p:p:{:@818ܤ@A@@ 4@-derivable_inv5A@9::::à89::::@9::::@@@@9'::::든9,::::렐4@@@ @@ @@ @@ &@@ $@@ @@.@@.@@3@@.@@@@9m;m;m;y;9r;m;m;y; @@@@9:@9;;;;3@9;;;;/#@9;;;;@@@@9;;;;@9;;;;@9;;;;@9_3͠/@9K@@9t@@@@ 9;;;;4@9;;;;9;;;;G@wXc@@@9@9;;< <4 @9;;<</ @9;;<<@@@@9;;<< @9;;<< @:;;< />/>:>G1O@;>/>/>H>L@@@@;>/>/>M>N@;>/>/>:>N@-1d;U@A@@;@7derivable_continuous_pt%f@;>s>s>>@@@@@A@@D@;>s>s>>@@@@@@-@;>>>>Ƞ1c@;>>>>ˠ;ϐ;>>>>@;>>>>@-Ӡ1w;ߡ@A@@I@<>>>>@@@@@A@@N@>??<<(>>??@<+>>??@@@@@@.@<9????,1@A\A\AA@>A\A\AgA@/ޠ3I==@@3V@@@@@A@@`@>(AAAA@@@@@A@@@>5AAAA@@@@@@0@>CAAAA3@>JAAAB>+>RAABB@>UAAAB@0/3훐>;@A@@@2continuity_pt_sqrt@>qB B BB'@@@@>wB)B)B1B;>|B)B)B1B;9l@@@n@@l@@j@@h@@f@@d@@8@@4"@@4@@3@@@@@@0@>BBBBѠ3@>BBBB֠>>BBBB@>BBBB@03>@A@@@/Rcontinuity_abs=BF@>BBBB>Ր>BBBB@>BBBB@@@@@@0@? C;C;CFCS>@?C;C;CUC^>?C;C;CUCX>?'C;C;C[C^@?/C;C;C`Cc@?2C;C;CFCc@1 ?"??1@A@@? @2continuity_pt_pluso-(@?WChChCuC?7?^ChChCC?5?eChChCCX?lChChCC@?oChChCuC@@@@?tChChCC?yChChCCM{@~@@@1`@?CCCCɠ>@?CCCCԠ?v?CCCCΠ?u?CCCC@?CCCC@?CCCC@1>??@A@@?@3continuity_pt_minusMB@?CCCC??CCCD??CCDD֐?CCDD@?CCCD@@@@?CCD D?CCD D~@@@1@@D)D)D4DA9d@@D)D)DCDH?@D)D)DEDH@ ?@"D)D)DJDM@@%D)D)D4DM@19@ @@A@@?@1continuity_pt_opp')@@HDRDRD_Dp@(@ODRDRDqDs@&@VDRDRDtDv@@YDRDRD_Dv@@@@@^DyDyDD@cDyDyDD@@@2I@@tDDDDР@@~DDDDߠ@_@DDDD㠠@^@DDDD@@DDDD砠@DDDD@@DDDD@2vB@@}@A@@@t@2continuity_pt_scalooU@@DDDE@@DDEE@@DDEE@DDEE@@DDDE@@@@@DDEE&@DDEE&j@@@2@@ECECENE[?:@@ECECE]Ef@ߐAECECE]E`@ސAECECEcEf@AECECEhEk@AECECENEk@2󠤐?_A@@A@@@@2continuity_pt_multn@A>EpEpE}EAAEEpEpEEAALEpEpEE?ASEpEpEE@AVEpEpE}E@@@@A[EpEpEEA`EpEpEE@@@3F@AqEEEEԠ>@A{EEEEߠA\AEEEE٠A[AEEEE@AEEEE@AEEEE@3p?A~Aw@A@@An@1continuity_pt_div''@AEEEFAAEEFF AAEEF F AEEFF@AEEEF@@@@AFFFF'AFFFF'e@AF(F(F4F>AF(F(F4F>s@AFOFOF[FeAFOFOF[Fe<@@@@@@@@@@@@@@@@@CHHHHڐ@C@@CHHHH栠CŐCHHHH@CHHHH@CPC@@5@DHHHHCD HHHICDHHII@DHHHI@5CC @D&I I II'HypDDPT@@D0I2I2I8IKD5I2I2I8IKD;I2I2I8I;?C@DHI2I2I=IGD(DOI2I2IHIJ@DRI2I2I=IJ@@ DYI2I2IOI\88}J@@A@@TDkI2I2IdIk@@@@DqI2I2InIxDvI2I2InIx?f@@@DI{I{II@6@DI{I{IIDnDI{I{IIDmDI{I{II@DI{I{II@6䠛DD|@@6@DI{I{IIDDI{I{IIDDI{I{II@DI{I{II@6DD@A@@ @DIIII@@@@DIIII瓠DIIII砐?@@DIIII@D@EIIIIDEIIII@E IIII@DǐD@@6@EIIJJDE&IIJJDE.IIJJ@E1IIJJ@7 EE  @+EBJJJ(J/'HypDDPT@@ELJFJFJLJ_EQJFJFJLJ_EWJFJFJLJO@ڠD@EdJFJFJQJ[EDEkJFJFJ\J^@EnJFJFJQJ^@@ EuJaJaJkJx99f@@A@@pEJaJaJJ@@@@@A@@EM@4derivable_continuous\@EJJJJ@@@@EJJJJEJJJJ@@@@@@@:@EJJJJ̠7@EJJJJݠ@@@@EJJJJߠ@@@@EJJJJ@EJJJJEJJJJ@@:+@7E{E{ @<EJJJJ'HypTruE@@ EKKKK!::O@ EKKK#K09砐9堠\@@@F KKK2K<FKKK2K<@@@@@@@@@ @@ @@@@;@@;@@@h@@;@@@@@,is_cont_globF@@@ B@@@E@Fa L LLL<@Fh L LLL@Fk L LLL@E̐<@A@@@F LC LCLOLc@@@@@A@@I@F LC LCLkLy@@@@@@E@F Lz LzLL<@F Lz LzLL@F Lz LzLL@F<$@A@@&@F Lz LzLL@@@@@A@@S@F Lz LzLL@@@@@@F3@FLLLL۠<@@FLLLL䠠@@@@FLLLL@FLLLL@FLLLL@FQ@H3NNNN@H6NNNN@G>@A@@@HLNNNN@@@@@A@@@HYNNNN@@@@@@G@HgNNNN>P@HnNNNN@HqNNNN@GҐ>\@A@@@HNNOO@@@@@A@@I@HNNOO-@@@@@@G@HO.O.O9OC=@HO.O.ODOH@HO.O.O9OH@H =ϐ@A@@ @HOMOMOYOh@@@@@@H+@HOOOOH@HOOOOHHOOOOHHOOOO@@HOOOO@HMHܠHԛH͡@A@@H@/continuity_plus OZ@IOOOOߠHIOOOO⠠HIOOOO@I OOOO@@@@I'OOOPI,OOOPW.@$u@I5OOPPI:OOPPD*@@@H@IK!P'!P'P2P<H\@IU!P'!P'P>PGI6I]!P'!P'P>PAI5Ie!P'!P'PDPG@@Ih!P'!P'P2PH@HɐHyIPII@A@@I>@0continuity_minus~@@@@ L?T?TTTG@L?T?TTTѓL?T?TTTѠZ@1~@@@L(@L@T@TTT砠F@L@T@TTTLL@T@TTT񠠐LL@T@TTT@L@T@TTT@L@T@TTT@LMGLԛL͡@A@@L@/continuity_comp N`@MATATUULMATATUULMATATUU@M ATATUU@@@@M'ATATU$U0M,ATATU$U0@M4ATATU4U>M9ATATU4U>H)@@MDBU?BU?UEUF@L@MPBU?BU?UHURM1MXBU?BU?USUV@M[BU?BU?UHUV@LM>@@L@MnBU?BU?U\UfMOMvBU?BU?UgUj@MyBU?BU?U\Uj@LڐM\MBU?BU?UoUyMBU?BU?UoUyHz@@@@@A@MCUzCUzUUM@MCUzCUzUU@@@@MCUzCUzUU@MCUzCUzUUMCUzCUzUU@@B@MMX @MDUDUUU'HypTruE@@ MEUEUUU٠AA,@ MEUEUUUAĠA 9@@@MEUEUUUMEUEUUU@@MFUFUUU@M@NFUFUVV MN FUFUV V @NFUFUVV @MʐM@@M}@N!FUFUVVNN)FUFUVV!@N,FUFUVV!@MN@A@@@NAGV&GV&V2VF@@@@NFGV&GV&VHVRNKGV&GV&VHVRI;@@@!@@@!0@@!.@@!H@@!F@@!6@@C@@C@@H@@C@@@@@(rew_termF@@@N@ BNPWPWWWNNNPWPWWW@@@)@%Rplus+1@NQW"QW"W)W2NNQW"QW"W)W,NNQW"QW"W/W2@@NN @"p1NRW7RW7WAWCNRW7RW7WGWRNRW7RW7WGWO\@W: aNNRW7RW7WPWR@"p2NRW7RW7WXWZNRW7RW7W^WiNRW7RW7W^WfNӐORW7RW7WgWi@@ BO SWmSWmW{WO>OSWmSWmWW@@@D@O!TWTWWW!O)TWTWWW@O,TWTWWW@D!" BO9UWUWWWƐO8SOCUWUWWW@@@D@OQVWVWWW䠠"X4OZVWVWWW@O]VWVWWW@DOiVWVWWXOhD@OvVWVWWW@OVWVWWX!sOVWVWWX5OVWVWXX@@OVWVWWX@OWXWXXX1OO@OWXWXX&X-אOWXWXX&X(ÐOWXWXX+X-@@@OYXBYXBXSXgOO@OYXBYXBX\XcOYXBYXBX\X^OYXBYXBXaXc@@@@@+@&Rminus&H@O[Xt[XtX{XOȐO[Xt[XtX{X~OǐO[Xt[XtXX@@OڛO @3P\X\XXXP \X\XXXP\X\XXX2OP\X\XXX@1P!\X\XXXP&\X\XXXP,\X\XXXKPP3\X\XXX@@ BP9]X]XXXؐP8nPC]X]XXX@@@E@PQ^X^XXX򠠐"EPY^X^XXX@P\^X^XXX@E"R BPi_X_XY YPhPs_X_XYY@@@E@P`Y`YY/Y60P`Y`YY7Y:@P`Y`YY/Y:@E𐛐=P`Y`YY?YYPF@P`Y`YYGYN@P`Y`YYPYW"P`Y`YYPYRdP`Y`YYUYW@@P`Y`YYGYX@PaYZaYZYoYPƠO@PaYZaYZYxYPaYZaYZYxYzPaYZaYZY}Y@@@PcYcYYYP蠠O@PcYcYYY(PcYcYYYQcYcYYY@@@@@,1@$Rdiv@QeYeYYY֠PQeYeYYYРPQ&eYeYYY@@Q Q @bQ7fYfYYY瓠Q<fYfYYYQBfYfYYYaQ"QIfYfYYY@`QPfYfYYYQUfYfYZZ Q[fYfYZZ zQ2QbfYfYZ Z @@ BQhgZgZZZ*QgQrgZgZZ'Z)@@@F@QhZ0hZ0Z=ZD#tQhZ0hZ0ZEZH@QhZ0hZ0Z=ZH@F# BQiZMiZMZ_ZjQQiZMiZMZgZi@@@G@QjZpjZpZZ_QjZpjZpZZ@QjZpjZpZZ@GlQjZpjZpZZQƠG3@QjZpjZpZZ@QjZpjZpZZ#ѐQjZpjZpZZQjZpjZpZZ@@QjZpjZpZZ@QkZkZZZՐQOt@RkZkZZZѠ5R kZkZZZ̠!RkZkZZZ@@@ BRnZnZ[ [R3R#nZnZ[[@@@G@R1o[o[[+[2R9o[o[[3[6@R<o[o[[+[6@GRHo[o[[;[[RGP@RUo[o[[D[WR\o[o[[D[FG@Rfo[o[[I[P-@$Rinv8@Rto[o[[R[V"R{o[o[[T[V@ @R~o[o[[I[W@,@Rp[\p[\[q[RP@Rp[\p[\[z[ĐRp[\p[\[z[|Rp[\p[\[[@@@@@@-@%Rmult@Rs[s[[[RRs[s[[[T@Rs[s[[[RRs[s[[[@ @@#RhR @ Rt[t[[[œRt[t[[[ԠRt[t[[[ R͐Rt[t[[[@ Rt[t[[[ܓSt[t[[[렐St[t[[[%RݐS t[t[[[@@ BSu[u[[\SHSu[u[\\@@@H@S+v\v\\\"%S3v\v\\#\&@S6v\v\\\&@H%, BSCw\+w\+\=\HSB]SMw\+w\+\E\G@@@H@S[x\Nx\N\_\f Scx\Nx\N\g\j@Sfx\Nx\N\_\j@HʐSrx\Nx\N\o\SqH@Sx\Nx\N\w\~w@Sx\Nx\N\\%|Sx\Nx\N\\>Sx\Nx\N\\@@Sx\Nx\N\w\@Sy\y\\\SQ@Sy\y\\\Sy\y\\\̐Sy\y\\\@@@ BS|\|\\\򐠑SàސS|\|\\\@@@I;@S}\}\] ]S}\}\]]@S}\}\] ]@IKS}\}\]]9S򠠐R<@T}\}\]"]52T}\}\]"]$Ip@T}\}\]'].@T}\}\]0]4ɐT"}\}\]2]4@ @T%}\}\]']5@(@T,~]:~]:]O]cT+Q@T9~]:~]:]X]_kT@~]:~]:]X]ZWTG~]:~]:]]]_@@@@@@@TU]]]]T6T]]]]]T5Te]]]]@@THTA @Tv]]]]T{]]]]T]]]]TaT]]]]@T]]]]T]]]]ǠT]]]]TqT]]]]@@ BT]]]]䐠TܐT]]]]@@@J@T]]]]&T]]]^@T]]]^@J.& BT^^^^$T֠T^^^!^#@@@JN@T^*^*^;^BT^*^*^C^F@T^*^*^;^F@J^U^*^*^K^eUJr@U^*^*^S^Zo@U^*^*^\^c'U$^*^*^\^^ҐU+^*^*^a^c@@U.^*^*^S^d@U5^f^f^{^U4S~@UB^f^f^^tUI^f^f^^`UP^f^f^^@@@UW^^^^ŐUVS@Ud^^^^Uk^^^^Ur^^^^@@@@@0@$Ropp@U^^^^ޠUeU^^^^@ @Uo @JU^^^^U^^^^U^^^^ŠUU^^^^@@ BU____UJU____@@@K*@U___,_3UU___4_7@U___,_7@K:UU___<_SUᠠKN@U___D_Ky@U___M_QUАV___O_Q@ @V___D_R@V _T_T_e_uV Oi@V_T_T_n_qKV_T_T_p_q@ @@@@@V,____V V4____@ @ɐV @K8VC____VH____VN____mV.VU____@@ BV[____ɐVZKZVe____@@@K@Vs____㠠VKV{____@V~____@K␛VXV___`VK@V____1@V___`VxV___`@ @V___`@V````%VO@V````!KV``` `!@ @@@@VV`2`2`9`<W@V`2`2`=`C@V`2`2`9`C@VW V`2`2`H`SV젠VАV`2`2`P`R@@@VߐW`T`T`[`^VސW`T`T`_`b@W`T`T`[`b@V𐛐V @LW`g`g`q`rW$`g`g`v`W*`g`g`v`~IWW1`g`g``@@ BW7````W6L6WA````@@@L@WO````)CWW````@WZ````@L)PWf````ؐWeL@Ws````ϠWVW}````Ӡ)pW````@W````@W````@W````WQ@W````W~W````LW````@W````@@@@@Wa a aa@WWa a aa$WMA@Wa a a!a#@@@(Rpow_def%Reals#Coq@@#pow#@Wa%a%a,a8@Wa%a%a,a2W͐Wa%a%a5a8@@X!WXa%a%a=aPXMK@Xa%a%aEaLWXa%a%aMaO@Xa%a%aEaO@@@N@X(aQaQaXaaX X0aQaQaXa[XX8aQaQa^aa@@cXX @M>XIafafapaqXNafafauaXTafafaua} sX4X[afafa~a@@ BXaaaaaX`M`Xkaaaa@@@M@Xyaaaa*mXaaaa@Xaaaa@M萛*zXaaaaߐXM@XaaaaΠM@XaaaaנX~Xaaaaڠ*Xaaaa@Xaaaa@Xaaaa@Xaaab XR@XaaaaN@XaaabXXaabb @Xaaab MߐXaab b @Xaaab @@@@XҐXbbb b#@XYbbb'b:XNl@Y bbb/b6XYbbb7b9@Ybbb/b9@@+deriv_proofF@@@Y'K@ BY(bkbkbsbY'Y6Y2bkbkb{b~@@@Y&@Y@bbbbY!YHbbbbY YPbbbb@@Y;Y3Y, @ YabbbbYfbbbbYlbbbbgk@TНIYMYtbbbbKY{bbbb@ YbbbbœYbbbbڠYbbbb!YdYbbbbנLYbbbb@@YbbbcY+t@YbbbbYYbbccYYbbccLEYbbcc Ybbc c  Ybbc c@Ybbbc@@@X@Ycccc YYccccYYcccc @@XYԛY @ -Zc'c'c1c3Zc'c'c7cHZ c'c'c7cBYZc'c'cCcELZc'c'cFcH@ 2Z"c'c'cNcPZ'c'c'cTceZ-c'c'cTc_ZZ4c'c'c`cbLZ;c'c'ccce@@Z@cicicqcZ?+@ZMcicicycZ-ZTciciccZ+Z[ciciccLZbcicicc Zicicicc Zpcicicc@Zscicicyc@@@X@ZccccZbZccccZaZcccc@@XҠZtZm @ ͐ZccccZccccԠZccccAZZccccѠM>Zcccc@ ҐZccccܓZcccc񠐠ZccccaZZccccM^Zcccc@@Zcccd&Zߠ*@ZccddZ͐ZccddZːZccddM[ccdd 4[ ccd d" [ccd#d%@[ccdd%@@@X@[!d'd'd.d7[[)d'd'd.d1[[1d'd'd4d7@@X[[  B@F[DdTdTd^d`@Xo@[PdTdTdbdmXj@ Xe@@[6[fdTdTdbdeM[mdTdTdfdh@[pdTdTdbdhXd@@X[@@@@@.@.@XX@[![\NXzXq@A@@@@@@[dTdTdrds@[; @ Ӑ[dwdwdd[dwdwdd[dwdwddG[[dwdwddND[dwdwdd@ ؐ[dwdwdd[dwdwdd[dwdwddg[[dwdwddNd[dwdwdd@@[dddd[堠+R@[ddddᠠ[Ӑ[dddd䠠[ѐ\dddd砠N\ddddꠠ :\dddd &\dddd𠠐Gl\dddd@\ dddd@\'ddee\&P@%Falsee@@\6dde e@@@@U@\Deee$e)\%\Leee&e)@ @U\/ B@G\]eFeFePeR@Y@\ieFeFeTe_Y@ Y~@@\X\eFeFeTeWO \eFeFeXeZ@\eFeFeTeZY}@@Yt@@@@@.@.@YY@\:\~O*YY@A@@@@@@\eFeFedee@\T @ \eieiewey\eieie}e\eieie}e`\\eieieeO]\eieiee@@\eeeeÐ\ޠ+z@\eeee\̐\eeeeO}\eeee,]eeeeHW]eeee@] eeee@]eeeeᐠ]@]eeee@@@@WJ@]*eeee] ]2eeee] ]:eeee@]=eeee@Wb] ] @B]NffffA@@@@@@],]\fff)f+O]cfff,f.@]ffff)f.@@ @]nf3f3f?fA]sf3f3fEfY]yf3f3fEfP ]Y]f3f3fQfSC]f3f3fTfY@]f3f3f_fa]f3f3fefv]f3f3fefp-]p]f3f3fqfsP*]f3f3ftfv@@]fzfzff]+@]fzfzff]]fzfzff]]fzfzffPQ]fzfzff]fzfzff]fzfzff@]fzfzff@@@W?@]ffff]ΐ]ffff@ @WL] @/^ffff͓^ ffff⠐^ffff]^ffffߠP^ffff@@^"fffg^!/@^/fffg^^6ffgg P^=ffg g o^Dffg g@^Gfffg@@@TG@^Rgggg@TK^Zgggg:^Y3@^gggg&g6P^nggg7g9@^qggg&g9@@@T@^|g;g;gAgD@T^g;g;gHgd^2@^g;g;gPg`Q^g;g;gagc@^g;g;gPgc@@@Tu@^gegegkgo@Ty^gegegsg^2@^gegeg{gQE^gegegg@^gegeg{g@@@T@^gggg@T^gggg^נ2@^ggggQo^gggg@^gggg@@@T@^gggg@T_gggg搠_2@_gggg⠠Q_gggg@_gggg@@@T@_$gggg@T_,gggh_+4f@_9gggh QÐ_@ggh h @_Cgggh @@@T@_Nhhhh@T_Vhhhh:_U4@_chhh%h6Q_jhhh7h9@_mhhh%h9@@@U@_xh;h;hAhE@U  B@JԐ_h_h_hihk@:@_h_h_hmhs\@@\|@@@@R&_h_h_hqhs@@:Ǡ\\@AR9@@@@@@_h_h_hxhy@_Y_h_h_h}h_ 2@_h_h_hhRZ_h_h_hhK-_h_h_hh@_h_h_hh@_hhhh_砠@_hhhh@@@@U_@`hhhhԠ_`hhhh@` hhhh@Uo_`hhhh`4@`$hhhh``+hhhhR`2hhhh@`5hhhh@@@``Ahhii@` @]`Ki i ii`J`.`Ui i i%i'@@ B@K`_iDiDiPiR@R@`kiDiDiTi`]`riDiDiaidR`yiDiDieig@`|iDiDiTig@R]ёS @@@@@@`iDiDilim@`)`iDiDiqi|`K`iDiDiyi{@K`i}i}ii@`i@`i}i}ii^`i}i}ii@`i}i}ii@`x^@@@@@@`i}i}ii@`h`i}i}ii`ѠL.`i}i}iiSi`i}i}ii@`i}i}ii@`iiiiҐ`@`iiii@@@/simplify_deriveF@@@a S@ Ba jjjj'a aajjj#j&@@@a @a#j-j-j4j=aa+j-j-j4j7aa3j-j-j:j=@@aaa@@AA@a@.derive_pt_plus@aRjDjDjVjd@@@@@@aYjDjDjfj{a^jDjDjfj{adjDjDjfjuoc@iއaEaljDjDjvjxSasjDjDjyj{@axj}j}jja}j}j}jjaj}j}jjaZaj}j}jjTaj}j}jj@@@`@ajjjjaajjjjaajjjj@@`aa@@A|@a@/derive_pt_minus @ajjjj@@@@@@ajjjjꓠajjjjꠐajjjj{aajjjj砒Tpajjjj@ajjjk ajjjk ajjjkaԐbjjkkTb jjkk @@@`U@bk k kkab!k k kkab)k k kk@@`jb b@@A@a@.derive_pt_mult@bGk!k!k3kA@@@@@@bNk!k!kCkXbSk!k!kCkXbYk!k!kCkRb9b`k!k!kSkUTbgk!k!kVkX@blkZkZkbkwbqkZkZkbkwbwkZkZkbkqbNb~kZkZkrktUbkZkZkukw@@@`@bkxkxkkbtbkxkxkkbsbkxkxkk@@`bb@@Ap@2@-derive_pt_div # @bkkkk@@@@@@bkkkkœbkkkkŠbkkkkobbkkkk Udbkkkk@bkkkkܓbkkkkܠbkkkkbȐbkkkk٠Ubkkkk@@@]-@c kkkk蠠bckkkk젠bckkkk@c kkkk@]Ecb @HŐc1kkklA@@@@@@cc?kkllUɐcFkkll@cIkkll@@@@A @c@.derive_pt_comp~,@c^l$l$l9lG@@@@@@cel$l$lIlacjl$l$lIlacpl$l$lIlX cPcwl$l$lYl[Ic~l$l$l\la@clclclmlclclclmlclclclml|*ceclclcl}lVclclcll@@@\@cllllccllll@ @] c@@A|@c@-derive_pt_opp$ @cllll@@@@@@cllllǓcllllǠcllll{ccllllĠVpcllll@@@\@cllllԠcܐdllll@ @\ɐc桙@@A͠@8=@-derive_pt_inv9@dllll@@@@@@d%lllmd*lllmd0lllm ̠dd7llm mVd>llmm@@@Y@dLmmmm d-dTmmm!m$@dWmmmm$@Yd:@@A @d$@/derive_pt_const ~@dqmmm5mD@@@@@@@@Y@d~mEmEmKmM@Y@@AC@dG@,derive_pt_id@dmEmEm]mi@@@@@@@@Z@dmjmjmpms@Z@@Af@9Q@-derive_pt_sin@dmjmjmm@@@@@@@@Z@dmmmm@Zי@@A@9t@-derive_pt_cos눽@dmmmm@@@@@@@@Z@dmmmm@Z@@A@9@.derive_pt_sinhP@dmmmm@@@@@@@@Z@e mmmm@Z𙐠@@AϠ@9?@.derive_pt_cosh@e mmmn @@@@@@@@Z@e-n n nn@Z홐@@A@9b@-derive_pt_exp5 @eCn n n#n0@@@@@@@@Z@ePn1n1n7n;@Z@@A@e@.derive_pt_Rsqr@efn1n1nKnY@@@@@@@@[@esnZnZn`nd@[@@A8@8@.derive_pt_sqrt@enZnZntn@@@@@@@@epennnn@eu @bennnneeennnn@@ B@Qennnn֐@b@ennnn𠠐W-@@W+@ennnnᠠc"ennnn堠X`ennnn蠠eennnn@ennnn젠@@@@ennnn@3@c@eWXcLXee!Hfnnnn@e@fnnnncgfnnno@fnnno@eڐcs@@@@@@f/nnoo@eʤ f6o o ooXad@=replace_#_with_#_#_#_4C69D5582XeW@fHo o o%o.cfOo o o/o2XِfVo o o3o5Yf`o o o7o8Xfgo o o9o;@fjo o o7o;@fmo o o%o<@?LFIW@f|o o oDoMcϐfo o oNoQY fo o oRoTfafo o oUoW@fo o oDoW@#)-栐@@,h@@@@Ab@QfoZoZorot@@@@@@@A@@fv@%pr_nu"_"j@foZoZo}o@@@@@Rfoooo@c@fooooXD@@XB@fooood9fooooYwfoooof̐foooo@foooo@@@@goooo@3@d@fXodcYffgoooo@Yi@g*ooood}g1oooo Yg8oooo@g;oooo@YdY@@@@@@gMoooo@f褙 gTooopX@gcoooo񠠐dgjooooYgqooooqgxoooo@g{oooo@X@goopp dܐgoop pZgooppgngoopp@goopp@ @@ @@@@Am@S gppp0p2@@@@@@@A@@ @gppp;p@@@@@@@@@@#regF@@@ B@@@Z#@gppppgŐgppppŠgĐgpppp@gpppp@Z;gڛg @h hppppۑA@@@@@@ghpppp󠠐A@hpppp@h pppp@@ @eth(ppq qh-ppqqh3ppqqv2@: ah?h;ppqq@@hAq"q"q-q@hFq"q"q-q@hLq"q"q-q9vK@Z GuehTq"q"q:q=h+h[q"q"q>q@@@@Z@hkqBqBq[qgehrqBqBqhqkhIhyqBqBqlqn@h|qBqBq[qn@@@hqBqBqyqhqBqBqyq.@hqBqBqqhqBqBqq.@@@h]@hqqqqhhqqqq@hqqqq@hmh @hĐhqqqqA@@@@@@hhqqqq֠@hqqqq@hqqqq@@ @f,hqqqq񓠐hqqqrhqqqqhhqqqr@@hrrrr"hrrrr"irrrrw@i3b:fWi rrrr"@@@h@ir$r$r=rFfni"r$r$rGrJ@i%r$r$r=rJ@@@i,r$r$rUrai1r$r$rUraw3@5!K@i:r$r$rfrri?r$r$rfrr@@@h@iPrtrtrri1iXrtrtrr@i[rtrtrr@hi> @inijrrrrA@@@@@@iQixrrrr@irrrr@irrrr@@ @f֐irrrrғirrrr⠐irrrrbiirrrr@@irrrsirrrsirrrrgirrss@@@i @issss(gisss)s,@issss,@@@isss7sCisss7sCw@#$u@isssHsTisssHsT@@@[@isVsVsasniڐjsVsVsosriِj sVsVsssv@j sVsVsasv@[栛ii @j!js{s{ssA@@@@@@jj+s{s{ssV@j2s{s{ss@j5s{s{ss@@ @gj= s sssjB s sssˠjH s sssjSjO s sss@@jU!s!sss퓠jZ!s!sssj`!s!sssgjg!s!sssꠒj>jn!s!sss@@@\S@j~"s"sttgѐj"s"sttj\j"s"stt@j"s"stt@@@j"s"st't1j"s"st't1@j"s"st6t@j"s"st6t@@@@g@j#tB#tBtMth\%@@\#@j#tB#tBtMtVjj#tB#tBtWtZjj#tB#tBt[t^<ːj#tB#tBt_tb@j#tB#tBtMtbj#tB#tBteth@4@g@j\Qjӛj̛<ꛐ @k k$tm$tmtwtzA@@@@@@jk$tm$tmtt>@k$tm$tmtt@k$tm$tmtt@@ @hqk%%t%tttk*%t%tttk0%t%tttk;k7%t%ttt@@k=&t&tttؓkB&t&tttؠkH&t&ttthkO&t&tttՠk&kV&t&ttt@ @$aux2k_'t'ttt铠kd't'tttkj't'tttyi@RНIhkr't'tttkIky't'ttt@@ k)u)uuuQKI\@k)u)uu!u*kpk)u)uu+u-knk)u)uu.u0=k)u)uu1u3@k)u)uu!u3@;]@k)u)uu;uDi k)u)uuEuHkk)u)uuIuKmk)u)uuLuP@k)u)uu;uP@:@@9@@k*uS*uSu`uvk*uS*uSu`uvk*uS*uSu`uoy@ އi?k*uS*uSupuskʐk*uS*uSutuv@@@>@@>@@>@@>@@a@@a~@@>@@>@@@@ l/,u,uuuo@-ring_2BA1BA26 y@ l8,u,uuv  @8ring_simplify_#_2BA1BA28Ih?LFI@@@A@@@lP-v -v v$v)@@@@@lU-v -v v0v:lZ-v -v v0v:2@@@@$૔ B_QNAM#@'=nb; `#:@"l(LQz߬#c@:X_78#2*',Rdefinitions%Reals#Coq@@"R0ǀ^c&z[ "