SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info d; dD ]% Special_Function_Bounds:threads=2elapsed=40.014cpu=61.688gc=1.468factor=1.547zXZִF! <~]ŗXf1-/6vR[]>hHҔB^Y1=;N~9-ټƨɄW.=(Z _œ6\rpnvf= [loX5ODcɣ%$B@+n `4VIlr<0/*z3⣦)g1纤dgQ sqƘ(E $ 7lu1Cr6nԚwR'Dfnj,F=$ޓߗ xL:_?x8q _`Oc&O U{8h 7iOFMtDQ!ω<[R=_-cm 0ϡ <A1e䬚z4!X 87V`w`<%FB[*/B~\=h1q& bc=#y(i1Z1^wa &H'{^E>y*g)cփ#_jhM:{8LCTN  @Jc'C\Ws ^+")C#C̲ Q}UXS;4g;1%j zXJlR /42{gYZ7zXZִF! ]ŗXiɟ?հhqzD\4\y6V -Ǖ>w\L2T6p$e<uk6>~y {Y^c+c"ٴ,. ), fʘVZzXC^< E=u`{,L7أ<ՙ5gYZ7zXZִF! ]ŗXi%; 2~8_(k.c(lI+S ^ I2@H#$EŭS#'7CU0{Z˝k#_ .%~3< 5z.% ׈a- v,?X2)?X؂۶5m*o=ۣ59a$)w3`<@=҂<"Z_SřbRAWyOʑ lcte1`/訫kgHcbKS8r>y7\Jl<|L6_ BY ";48qvh1FOk%G^Ν -1/ dBMHiNfK}Bz7uv(ALڴtnxpi.FmeG٬_=}i^<'Gox]yљ=%CVl0ZA a܇kgȉzr{YoLweJ덽>?{zӐeOG'?9*ijE=dy*6!Kv,s4_(૲x 8 }`xHV]쯘_~q>`0ER"7MX| qy #]}MDzYԏ ormϨŹCĖ]ְZlDoVa_]\KmB6]&_w`y=`2;]̜qؕI!SX8sԲ(tjwMӸ/D 9Mk8MΠ NeKx`#C%0o676}3uIנ?X[}&R146R :"|I]xTM{Ψ䔢5qq?H[Pd%zC|9k 1qCdsk'vH)OԄ{ ԓI%Ng} $B,/UJ8tcu]i)j`tJӻ ӹ^WI&e-PDR̘.r`u`t@P-mm ٖ-"~)I:.ޛ1p_{UNU\=Ȯ=?o/52u}!_#gAOMyd^sHlZ1Xg=ƈk#IX¦pfq( 2(mdPfl}sg;n +UhY~$@zf?_}i=8(jz%^Ω5M]tܐV]ĩh; zMӯv&㴁G2K\u,gh6<5cOhj^`?|\"5Z, _ }maInI-\|A3Cʷa@ n:=qR/h`?u\[^z&zHFcyw5/ XY ׀% Tjm⑽:"ۑ%:S:/m~yGl;d,/ (oYDR :<.C>oT Fh^$%؃IR}~y>jtKQbճ`}xfxNTWk8 ,yVEX^Qz"nV;{AHUbz-8MQ:OhOKr.q0 ,Ocz7]5yGF&,uD `'NEؚE2 '>m{7 ۷&┥^˚`K۔Qylc ̹sW#аD pzXY x!GR$$7|Q7ޖvʃ9I"=z '](kf]'4RY%X35yW7mJ(JvGTgipaQ?E` DtiV.1eQaD!q+U{e՝Oʏ¯Fi*p\#˷(ɔPb[E8Ο|YgYZ11f6bde4d1e7250af84d00bed63cf032172f65a30a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176 0d216112904bd2aee6f56e4c093f96919394ea2c fc574bb301ac2dbf34fe737c4f0ffa06b862b505 ; Special_Function_Bounds ;S% ,Special_Function_BoundsSpecial_Function_Bounds.Sqrt_Boundsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5Ȩ` -Dfϴa|q7Ǚ@ M.5*]]Dі[%}߰3?2bRQqRA ͷWDTb  mTZ!{h[*]ҹŸS :?vEQgYe"#=76oͭ2h"[g֔j%x?hŶ,ׂ2EŒ`M #b|9$[+&ހ:ǫD<\v?ΟSo]&u*'kpٓ 2.Rpk}+20*d 6z|'ZU0vdSU2{kIɌwDJmL|Cj4GplO2OUPT X\<_Jv4ܞ );Q% DSpecial_Function_BoundsSpecial_Function_Bounds.Exp_Boundsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5cG1 4>0 Ė|Vy~0}r@)ٷ!OK5o1fkgg=.icџ4-09|`ɆBP}Pl?,z+.ʀۺp+)a'ԡUHFFNs5X=> iJjzAU$QRcSATDYِ$sajqQPG0ĕh z?Q|ơD{.>4aEՀG[ CD1_*̣v/pjwmy`匏T5|Yiݡa9 N)U;Y% lSpecial_Function_BoundsSpecial_Function_Bounds.Atan_CF_Boundsdocument.tex7zXZִF! /m]A-MՋhvG"uIBm5ATfb6͚1pĖĄ qYǪS[1Xp烹2ߌE!h'wRo!q/b?ӾgoS=bZ%CW-qA03Q }:ING}&ϮeY/L&ʴ  . aX6n76mGޟ^4ْ_mmI'B1E ѡikדiurM;R=cs7B|UZ8]/˅;GUB<@=1yђB UjM#sнr_敛4uO `9PwFXZJΟ )Ӄ܉%+YlAR8SQ\1A® *c^NDrCE\IEf)GL,*"Z_i&D8r3[ 3s;6!gD@ՀH :J,i3-7@P66VW0ior<+dԭ ~GXRO66$_PH}RHMKyDh=^! 38=g62!\g-NsDZ^P֢$*ZZ Xq)y d13Kv$=btAJ3A8|??V1K[R=c]M\pxաĂPĹ8äɬчti})fB7̵mZȚZNq{?]PY7> k PnPqY:Q ZmWWN]S}1b8 ኤ󓑵V 7@*VsH>zN4qv˷vĴ 1٥ |r: &uMb1mQq/FʊM8S7[jjYkpj@[R=t'Fb^݉Eǚɢ4g G`Un4q,EwQcR([i|9Kw&<c_(Ԫ;*%#' خQ}{ȕ)^ua<^F_U,ptTGP_dAj#%$r 9o.W"2!c @gtm,Nj:& SO!_Wӳ(!x)qýQ|y~Y]Gd̋Av2&x XP̋ޚDW3E9gAEhRj-gDO')LXh]&o. M㍴x|68K~ QVBՐ)>0U"79Ml[y[iE\ى[lNf&à Vt5el_{щLKx>OGk, [w?RZw *g̿#K-uqxfl<0]{hon>(/w,'Ĉt<Į!wa<>YGw錼E9_i8FFѹ|u7T DzT~-B*oVqYts˯hZ$nhTw?P|a |~pDy+(Qj@ WCEDSf~ D$POoG   *ze*O;Y%Special_Function_BoundsSpecial_Function_Bounds.Sin_Cos_Boundsdocument.texN;W%Special_Function_BoundsSpecial_Function_Bounds.Bounds_Lemmasdocument.texL;S%Special_Function_BoundsSpecial_Function_Bounds.Sqrt_Boundsdocument.texN;W%Special_Function_BoundsSpecial_Function_Bounds.Log_CF_Boundsdocument.texK;Q%Special_Function_BoundsSpecial_Function_Bounds.Exp_Boundsdocument.texN;Y% Special_Function_BoundsSpecial_Function_Bounds.Atan_CF_Boundsdocument.tex-A-k\WunQ0tl`x/Ec `:ß|3$XSΤba93GLJIb 0#P#6$+M#17cл[;/|M ɗc$9xt/v`:B(oQ;a,MTL!Gib:=ϒAz =nA oux69MNALUe+l e*ݢ'Bl7;Wkq_C֌cscUEa̿~U?48 BI6_!M *uQ~kf,?A<f}#qfE%IhRl&%R?2؞0w)ڿBꑳPSXyVH fe`!, }r0r_:oiA7Ϟťn;$䊶6|ykcyv*hE1 S˃}e- -DBӃ+{p`=" A[+W|[!M >`\J2?0hrRhzT|ԷNj|ʕy+E[Nd=sc3Y K[t=tőE+_9_ 6IޜD~rlDz[ J9?c/i[3pza@8WąV9__/"TK)CɕT¡Nj7Vee_FM=SfvK2H;JW8A'ï[YAذKP/5Zε^O hms\Bҵ+>q}#ù{\GE)JEie{J'ga.fwVzf( z7 .n`e/9$,|%A ׷&=C J;Ξ&5 Xg֨5; ndL|Ah0' ?pm(CJy0w~n34<ՇK67c)!xNiKRLcuYHmm_J3&BpUN>tME/¤*δRl,XSw>|*Zyv% ꐮd esd^s0M@npҸ; iqi[Փae|zpV_# K/nsR27},)T geQ31U?m(0D; NAV->|QQpY1뗄^mi"L$k.g*9utO d߄ICs|Wg핍<>2-4vLKIkOC(e 렚iG 0^?!JN{Y$XFUyנFE~-Ph=ErVTz|x?hBio;!^44%逯Tˊ jAq{HF;w`p<|Mj^NE_IhpZ* ;c2V5{|mMG)fo e(xY7!8* R^H`nk$#Ѱԃc@G2[k"8J<#ҳh+`iǎ Ŷ8R xmXڵJFgcz_P@WY3bH pիSQԣv[V]11_#qM7"TvgI1\D.>H(ܠ`0X)G˕ɠیb.,[H%8@eM$uk lS#?S-RBpqvp.ZISǨQ):x=)0FSU&faI)'PDkt+d+mI^34d8'&DV6jj8)LKH^F<_EUԩ:DbkuI}]qqʮw j=o.~;p2XX Q[ Fr>C_ߺ3<jNyb8}Ew8P+#nDf~9e[5s@i#JZgҪED Y(w[1Fh^P,d4j| -ξEJmlz&3kydaA zrkexC-ʤ|mb#G`%zAsOOڳ /-J_uw#/b24dvOi&L@ >3[THKGPi"Sd04v9d/AVǼ؎#U0Epq; ʜzK_ wXl`m#{"x@ZQ0QE^>]2C@茭Y=;P~5Oi}TY TQ.\/ Q{Q"l.mE_ 50@ږO9J3&'SeC.-vj6uyw*~ zf˜gowPe[DGc!_LK,~9˃LiQk[cfbT\i`xži`#ϲJ|_M"k2*{tnU&A7F K|=\TO*\K6pKIsR6p ^s>emjμtlS+7*A)}vVn-#?mM;tp2$ybg1 W}g Є[œN߅im_1RixDU݆viHVǣA%~_E02f2t[GpHNS]30ۍ5-xpk8ɻv.yЋ (ΡV_Լ1gAgYZxd"-ۂiRoN@ b9fPi7ݱ[p&g o4c*Jlniզ>OXB2UPfNdY'P{;5hgK q0:X{>À>{A9ZMFPÓ33:< ݑ2ȭ&.!C5zXwUn"oPG22\V*Oƞx:OiRpu5v̅SP b`|O`- M93_ф+ƾH=jo| Jl0t^|)5D1Q)WOUZz/N% 9w­/"v88gFȰi&g22vNF(9H0Vk9l{ԃQI.jmBm'&KەأԛhJ%y#7jϔ`5A$"}hNk"J^[N7$E\=vz a7c*L[EEIhmJTEE|V"|c&v(Ydn,a_?sȑ1% 7d5>Ժ&wlW y Pπ:}F>Ly0܆o>LFr“snF_ ak|>|U6@Y}yiۓa47RV` OJPa}V(5o:f3)S3'.U.4=fY.(GtAtT$:CgS#n2XK),ڛ,[Oӈw25;j шc4ؗulN'ؾ񞱽\U").iu ϛ[!zeZyg!'0;3Ք);􀲝,g(/H=j~;BGb~t2 ) `DBԷ h E;Glpzx(>\~h:R 1吩^Y9pCbO9XQK1M8!4~%QޑJs.8| (tӗ}"߱09[DO ;S%hxR?.ݩ鬊g;Uq2h.3>-(|^TeT94US d; >S ȶG}19d8nC`~H?2" *a-xe1g|p (v(rdٔ嬕g4ly';dn<6/͉QIU>p ,)N.̠U=)"]8@:574~%Ux}Kyx?pO8n-ZrnH8vH&S%׭*pP4<-ѳhSWg9@pF$yg/({1 KѸG3ebtXzzbim:S-NTt MV;kmQv--ICL:6@ .'vSI)d 0K#Z[p@0aцԣc)8Aob\Z( ;ϖ ӹ% kZDFQt-ō]}@)~VիpYsed9r;rPb#kNj xǑH4# {͋&3vHд8""Mui,eYxi[epUccοZ.J&[Ҵt.qQݙ+W~r|iDӾ3´T 4ޞ'##aFTIׄs>NWŸ ɀΐM2L$+lIx'NKv #݁MFr5/W jPEo| 1Frz:Yq"dcKrf}s-]S,CINA)ǧCcZ6;] u,>U.E:eeݝIC^Jp["\ cP`2@H3Δ >:%1#ڤ\ R Nڞz0WHޖb$.Ơ=<枳oV.rt3CRZn= :иMݾqe,$J?T6S:#Tp'}kE֭t$pp0rtԃmbֻP{>[TX ޑ7eK5HM3ϓ^a7$hTLR5x/yV)'  &GL 2Ȍ0'aLUļ/a_`>6Ӵ]l4*#lMked7)/=Ir WX)?: IWGp hr.q ƹrۉoƉ] #U(H73a \-/jj3f~$stm#.ݗP׿vN$xh-$9)p;Sn4˶~Ȕ8֮tEK˛~6):wIU _ILY!Km[ -'YHdLq8#ErAHt`]=2w.iQvTr['fk cdUaO|K&˩M[[p0 >g%"zaB7ѥ#F!hxp`E|۹Am o4AUM`B+ !vgZžmj jH&5Rf#Y~a)59u|P:\NY4(g'1 yX7>0mqVhR8MA[#'JB^7[j{+#CJgk@ ΏIz\4RHf$O|5?ݷ¯P'+x_-߽= 3E-]w?ri"E`Q&b);D8CnQ>0uoKUbnYcRpNG¥^+aj 9>^A uQ0'Љn)asǰ*'`/oGiY9t5jjKeIqU8)kٙwjYy,ݥ[Ly]z9o?Ge- bL[:=F#w-O$D1mFv"RS67<֫کTmm? 3i{EYPᔅh %rMb(MLW}x-Ҍzn\r($qO!SyZP ZM*HC\0aJW%3sBﴄՁaFkyE UQcNR QT a`B>]( =X!`l.*%=^rHoIJab~lvt*UA݆ePXPR_AUŗq٨%'abUV E,A<!rfd6ʵ K&W,F̀ak_6\H7>9)\p\W'}T[Kkr,Eݯ +HTb]}땋e p^A?9%u* xmW(SK.c4&jaUYbgs-Cng Hdk YW%4XWoz"^ij rة+Xt?E\TD8US%l"/9zI.0'T#-/omM&ԅ%ec3WWj\ 6Ėw)0br{8F }e[e$~N[8po%@4=ާc"' X>eq&~'~a{xgn[x@G2^2<9%YGVY0ڂ`LY(i- 黋s!UEt5tʔ6is+] */- wL^qm=t]̋IJ;/CQ6,ko0:`TMij5܇5̛֐#vIj?u@stṗ{~( Wћ^0sh(Hak|BJ:Gˀ/'Du{NTmD˧ٛq/yXe\D8J8zؑ(Nμ5I0R6s*mKdLT{{;^SyO6dgs1_-$&p M&X@:tVݯaG?V}@Gfs _ck}q@Yζn&= Qzym!{6LX=H!^㕝h {*j?ݴvlWGI+[~]מ޸mt|4Q#qƭ]Q}i::cTTe@Q@.L*R`G >]Q'tu,Y4)piI! ccHR?]俼5d&")ɹ=†&^B9-ԭn?ppYM´N+:ې&U =-#**`eE_q iGFωv@Fg[) 6S>CF9t&|" y-0 N|f-h5K UHϦRk^CL8/U(XEGAF G wz\ԛ`o#N-$7rPa)O&cَ?l!ODp.\{JYkx7;~ǀCE;TRNP}1ced<;F| عdk:%S_IkhuFP2N+vM,H2k%r`嬼i^- K4(}'S8tP̘-"# M<~\Qv̆&gIǛ?{5>6-w^|deۖ<&䃾7ut: %[N`*Il$0? dT4b䓍 T #% #J&͠j&o r&1B?(^rm?Qrք#nH\$vAtp~㧄Քːڗ`.gsH1$+ք:lnUGt'm2t̕%6h{;8' .}џKy]S9ϪHh+>Q"8*O//*C[q4_@_a!X Ilob{siTw~v:!E$yd"*ieVn]r{,bcKv|PT3kJY8V@){rIo[U_,ZmF㔗PkP@gq\M`p茊* bn[ZE\G(C1êVP2V…<&/cV]<&+AwUcc7ף7ߡ~hJl r*k{{Fn9#&6Fa*V$*|醭a]#&Kޓ4d<0N Xس$ɤf:7Ase1ֻ~6"t]{q>y WffڷDi\-V8vp䓉]5I \+F&o:N"U+3-ߕM͝rޡĽ|\x2-osɜ9Yq kQɤOJk۝Y=A]O*b#9n&kFo#ݢM>1(m9I:HcPIxC9kU l_vw% oQ(ٕC$\ȳ] ?b_p}F."iC g5I Νܜ <6­Hfs2jc$ P|&N'"6b{M0-t8L jO,,1K/9Ǟ,vfۅE|*بh"qCe.4"m0|8ҎrhOmr{7-qƂp27ͩKg2vN"2(`Az[_я mI)5rիKwnW !۪x@xqTC߰b}̍n ߖ&'h$iqdyqY8+E|eݐn`xTPxjлAё'RTj?>xBC^S;p-|:sؐ&F[myӧ>vߟ;'تkQ6}sľ"@PdR(ĉ؇x}NÛ/?qY~',Od#Z0?zi9J͙c65f[䇸8 ⻦&K<7fk8Ԁ=wق{uɈz Qc4X[u~;>ưoU@0 8:j d/\E|w'壉ͷD{[Lr0իYZ? %5Zʻ RyE2#ڠ,,j@U{JLZ;*#WN$] :\fd/ƫԅ0jGiC8gIj'͑iϣmk%7}Ԩf||1K)7@%r; 9?Uc{rUtTV9+ @F $ytkl~! v(m(KL*X\>sNt@>/R 7 #ݬ|lnrFf;,EQ} Ԍz0:~gٰh(lK_Av4s5^ŝi=#ViVG }^ql+9z&- eI)Uo§]ƶr(zߦ>X,a{3=e3xu_ʺ[q̜+R-')^֢Μ3izX $`{UGCDm!>QT6b8zǩwZa"8N>gYZ}1{B&bZ╜`fm *W۔B "L"@pnV`.!qN|/Jp>`fti[#`DRcႆdB9S`ZT nZ+w,w?zqZ;br?=Gt+ޓ%G:8Q+DɫCw 5&2[B{>2ͷ8+Բ#fJz*tXmpώ]_P+oH$[GmΨ dN7P!2n*⎼5de"7r+Ҹ隣9ї'ݜIH%h^ψ,DB_2bS_E_ ʹRx<8Řg]e B 9!vv*1[ct` 2sľ|}6oXY)L®.Ac-5μFaRMq ~5;nGMH<&O|F@xrߍ-5`׏`YT'R`Ķ3@_=]f1+Ɂ 57G ]`?睼Ŝ% P5h/Q`?{J/6%Df_"(>=w`B:YdgqWI.}kk ɿ{0w3f?,10#<_AGW ֖K)9B3{ue)^ɰm9bIQYv[!`X ~MaH^ qPR ֣1$#o5/;h5LgJ=?T%sbǎM2Lr*}3,HLsr@Rge,H]ֵKIݮӕ]aDqۑs׾AL\CgRj6`HJFT ZY YxB^7?n-FH}0 ʀ5F6zd i>Yc W9X1{Vz\1_a)5Z$*v?sD,̍t&biI:m2]q uW vsseoδC]F#3 bו"ǰG{Ug޾o>w,fIP;eݟYLߢ\I"[L.5$Rp!{[>wE gAU0m>%8,eV+R\> GӒ\+c98a\?˗m1ކǹ.ü[Qx "qa{weI8}ܪSXY?‰gkrX7fdG ngf<|9dۼ n1$d ȟɻc 6).Pxol$0Fv6QS&v2c;\lcwu>1tRwuy,@=.?>A%Ў ٱ<~4 !0Ё>* ||>c0,PK`mtȥYR ]ok &^OI/U3 eYSu.}ǡeķGhU9υ* zAJ?K7K4Mv/H":63my!Wmc3_MJDkB$T8JuFe)%KWd٣? fB 3Ԥ(ƴ Ɋ^{1k`^c Z2z#)e| C4Eݦ !N ',YÒjwPE{ /QVvC"L=mޙg}~A=%`:)d_ܕ n5%A؁#$x0>׌J.;h9Ōx&Ubğ;pF]_F7֢ d"PI@{QlPC`$^ in/Ԛc+k%̬YP4ߑHhMyӼnX7"Y 0@RF\g;7>ǻdΉU\iê~=ttp#9?sNU#.Spڵ<# 4VٮDB74{^[ 4bsZYN?$9+Hne4Hz"ݶzaWťNs6>iH;ϑ"WgXX0z{ߘ+R'Zb`>3yW|^R%ΒDꤔ"^*03{ Jo* +i$o,Uf_uhԼJO$nbP^X`x.]R_+ܗd¯%[䂅B .V:5x*dsswVB:ņJϘl':㩲{F%EQ |Ńe#_c5OkKCɆ/<" #nav*c&X.u7=Z~BÚ]\(`uC2-P >tVت ,J&R6x]f75caD!A&#w$53avTIuş-`l;}w|ŜR8#NGjK)IʂID\-!ŽZuΨp k[ [`\^9˹Y|z$/Ȱ>:'r亱gYZ %%;S% ,Special_Function_BoundsSpecial_Function_Bounds.Sqrt_Boundsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5Ȩ` -Dfϴa|q7Ǚ@ M.5*]]Dі[%}߰3?2bRQqRA ͷWDTb  mTZ!{h[*]ҹŸS :?vEQgYe"#=76oͭ2h"[g֔j%x?hŶ,ׂ2EŒ`M #b|9$[+&ހ:ǫD<\v?ΟSo]&u*'kpٓ 2.Rpk}+20*d 6z|'ZU0vdSU2{kIɌwDJmL|Cj4GplO2OUPT X\<_Jv4ܞ );Q% DSpecial_Function_BoundsSpecial_Function_Bounds.Exp_Boundsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5cG1 4>0 Ė|Vy~0}r@)ٷ!OK5o1fkgg=.icџ4-09|`ɆBP}Pl?,z+.ʀۺp+)a'ԡUHFFNs5X=> iJjzAU$QRcSATDYِ$sajqQPG0ĕh z?Q|ơD{.>4aEՀG[ CD1_*̣v/pjwmy`匏T5|Yiݡa9 N)U;Y% lSpecial_Function_BoundsSpecial_Function_Bounds.Atan_CF_Boundsdocument.tex7zXZִF! /m]A-MՋhvG"uIBm5ATfb6͚1pĖĄ qYǪS[1Xp烹2ߌE!h'wRo!q/b?ӾgoS=bZ%CW-qA03Q }:ING}&ϮeY/L&ʴ  . aX6n76mGޟ^4ْ_mmI'B1E ѡikדiurM;R=cs7B|UZ8]/˅;GUB<@=1yђB UjM#sнr_敛4uO `9PwFXZJΟ )Ӄ܉%+YlAR8SQ\1A® *c^NDrCE\IEf)GL,*"Z_i&D8r3[ 3s;6!gD@ՀH :J,i3-7@P66VW0ior<+dԭ ~GXRO66$_PH}RHMKyDh=^! 38=g62!\g-NsDZ^P֢$*ZZ Xq)y d13Kv$=btAJ3A8|??V1K[R=c]M\pxաĂPĹ8äɬчti})fB7̵mZȚZNq{?]PY7> k PnPqY:Q ZmWWN]S}1b8 ኤ󓑵V 7@*VsH>zN4qv˷vĴ 1٥ |r: &uMb1mQq/FʊM8S7[jjYkpj@[R=t'Fb^݉Eǚɢ4g G`Un4q,EwQcR([i|9Kw&<c_(Ԫ;*%#' خQ}{ȕ)^ua<^F_U,ptTGP_dAj#%$r 9o.W"2!c @gtm,Nj:& SO!_Wӳ(!x)qýQ|y~Y]Gd̋Av2&x XP̋ޚDW3E9gAEhRj-gDO')LXh]&o. M㍴x|68K~ QVBՐ)>0U"79Ml[y[iE\ى[lNf&à Vt5el_{щLKx>OGk, [w?RZw *g̿#K-uqxfl<0]{hon>(/w,'Ĉt<Į!wa<>YGw錼E9_i8FFѹ|u7T DzT~-B*oVqYts˯hZ$nhTw?P|a |~pDy+(Qj@ WCEDSf~ D$POoG  /;W% LSpecial_Function_BoundsSpecial_Function_Bounds.Bounds_Lemmasdocument.tex7zXZִF! 1]A-MՋhvG"uIBm5I$PO; 6Ld%w\uwy]6]mJlb4Sn]ub"psAI#Z=7S>v\S"IGj^/R B|xѝi.M|bsf-yQ+r*^$g,)m'Qм^uŧ-HmbY~#1,peW]եlqtL}1?W-a|ݝ mlJud "my}$,)~&B*n`fc+0( q{o1HJ0buIJ"֘FV;y `%%+!C\b0l]_BoeXˏ@6C]b:R̺I_'<: j g`|v0]7c@ӑn5ɬ/(Đ&|=!wgPTp>'R-ג@ZNW;lqӕ;Qd@h z8D#XI: ;o. y_#36^TaWD|,n&&k L>{ @<ŗ "V~icJ:Rʰ|T9::^U~R]d.@oȺP|y[$T:"7jq lZz&c)c=q3M ;lߝY[᪢ʷQ7҂TRs܀Ї`5 |#YmvAoˁJ#6:$8c( {T](tk(~.AZ¡ {r$f cOIgYZ ]] ;Y% ,Special_Function_BoundsSpecial_Function_Bounds.Sin_Cos_Boundsdocument.tex7zXZִF! ]A-MՋhvG"uIBm5Z(JE;b[0@,9'tlo+Ek6B}S (4iġE.K0`BK\zږk?{?!GFgbڄp)+ UMD3>!>RfJE񹫖1ҼSY"b {!l`Ѷ@6 \Ul7I_7p@$c9A 4%{_o K7OSX YWjy&iyfVl3=0!}FubB `bz@z .]?bӆtwFY:Cq 5ϕGd 7|1S "γϾP@|7Z?BPÍ;m^|TľgL 5ԱoZh΅1䛏} ˳׸4l>NIxM]cg'W0Y}-N77xՅ7^GTxa֘#3S+FsVkڇ=fG貼C/aƏ9*H_vx]&#Uvu_2:ww@MRZ/ q N~$0̓ёT|RrJgZB}ԏ`GJcetn+GE 0(m+í)eJg<@˜JNl*4g]rb'_@!Q@v{Z'-$ނi]Q.P_gΖa"WY%F)lXT];tw>p28#޷I~Hӭe,2 RѤ =-#DA3kJL*Y8vHqE^<$~qNgzU9,M|h,}t"Cv7HCu3Cu|:WĀ1NOjlEsXgLLt9` ϸs'"[.gvHqD B߭%˷X53#]ݱ 5$Z'|)u M:UkU_pOP{Lu\?&%BV(FWۏI @+y^yhT}.HJ^ (ngqxmA=5cnbmUkym T Eظ*dq6N0|7%y#|ySwx/ kBG] I̮c:2V6` ƢiGeI3*<>{a LJ1͞^s:Kf"޶;i7vGp:c*0s=ss& &~6^(_h%u9_:omN^c(JqYLoi|q\?+`PMZqW^R0ȫ߬xZ ^XϐLzWd;Grt vߵF= P7,@5R EIe W-^{WtPG&SCf0#.(5-A bt/ 4ys0 ߇W^|&OTc,!Āx5s eʉi,H L!m<+I ܲUsJxW$ꑎ&Dj J.WjJ5ewKoWc2L _f^O!":~DA㞋&^]ү mL,WS{ʦJB\:hX}<=Xc%= u*ʨtM,+jN/X=~9 ŬYuPJؿPKm>8YG"ڍ+1a4߭ѿKXR)0J(f\s2-1kF҆pu#gpD;.5T[Ry9v[C4TWEٸ don̥8LmIu'=y|c3;mScf[R*mVC=L.|4]L#/YP@zypxiO_mw]ay ߳lI7PDXjNoHKe@8ʷ2L (4|&[?BN9zxT>Lƶ|e>X.EҁH%_g:jYIB0"Զ sw^(/ʏͼ=RUN[QU'h4~u?!`ujU\{ n,.nSfizO\8q9K`o&j(ZKsXvPϖ&Ma ͹7YLGy+=~\6lYvm}IT0`R,osXgYZ