SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 !!T;v$l ]% Special_Function_Bounds:threads=4elapsed=51.604cpu=111.016gc=1.5887zXZִF! 3]ŗXiɟ}g7xx[Vw ia%WGoUaɑ P%2jdLãy(Sx>-Ayce=@ݕ 1pHĎf  ,_sΌؔl |&+|y"d}3CVǾ߈j/g[ˤ$Б 4'\ZUXF g3a}=ЦA ~Zb '* ]V}KGlsd(ԡ8=2߰r}cEqi?&tNuTՏ+_9,$Q}R>1SEgKj/R (:DSelEtbKa&͊sp9a^E=G71_U;2\Y&(qC=2V0.k-fz5@ r Yu:ʤ:KmK#Uъ6򇭞$Tl_>`p+v~0a Jg[ hrc?yf>$C 7N߂.>Aʬܻ1< 3wWhX rv㯮ғ3RIuo5^}fmAm2³g{S3Cg8m]KEKqtgPorb݀2X=Iaӧq3g^y@a/!`,>SMF_w[q*(5 na"bUN&(VF싯mEOEm\VfgE.$ 1ܮP8~0~ZaUk@;4ȣʉ8YPlm}焒n:*E\NzZRrRQ#t֛@ 3Pwbύ"D9x\FI6s2XMby ;meU,)>"E 1ٲ~PË|Ö&>3ZXbvѮLK'^r>sj..aBݝ5* <)CLjfSQ.za79 n Ѩlǧr7eU1F4s({@֯VtGk]lSMMA)5// gw{?gYZ7zXZִF! ]ŗXiɟ?հhqzD\4\y6V -XC:]N<(j(Jq+)5>Tbp֨ISۨ\h?sՙPN0GG9^V{:ZǩHz _oͽwcM[BgYZ7zXZִF! O-]ŗXi%D8W^8S2~6]\Y\ J>ILS}mYGaYBq1QSB7J:Ʈ"p$>GRCb~KD}kz0k5;ݏl5#{r@d$R-Jx2Eo*T'=5!.+=)m8 HM|t-5fz~ff~C%]}49- &V/|= DA8C8D *.4>rbRx|+rBB#5‰7 y.]Y^rR\<16F\ÎJd 4ɆptmmjcOxƨ8&6혭8Q^ō5t6a}e3 Je wQWu3pEs%˧b8`؛Z#?0U =!< [yJGYϵgF';G6qUH+|x6OhPm7yLQ16ì|Vs߃M"ΟUWnRg=pUFJmZa.U#&a31 !9iqN ^t0|"?Ή۪)%#(PF4" -`0q6Mi?kE~jST +0u!~@]Bz6+D[j¥R%Zz3oߥMՃu'a}aS ҵ/LȁX4JxWT='~3ׂ4U83.H0.gދ (;"B&ERÞk Py\uo9x5s+E_dMWxGQ zb9L@~CDLlv(K_d/xS,혒4+oe% B * 4!CXHUV&ӯIIpW&zI]w@wC?~ukJMQ;m{0E5)sút3`<^4ɏVyTnߕZoS04.KI=]Xl_,!΋GWQSC +Rpʴ ; Special_Function_Bounds ;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,yd٫)ytGn^i/|P4NS5c Sϓ8 rvb)dDvfd8Oy{6W9_Ƈ}T-}.y`j(\5!Ri$` > dE]ML. Ǐ CRL9Jڮ9d(RmNKDO~. s fXXFe=3OB 3Z;\bT)`U鷑_#cWΖZ>ot(I۴>HkhXEOpjN8$D W=AsEH?-^-gi%+{"Ƅ 93tt{K]usEY_`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;\oѵY tNJ[Hal"tPI3JTqCfyuvC1J>P# eT":qQkԎKGsi' قJ-|Ye.6{J#>ԍ(*hvkpF=֔:ԙHj2jM|ɞD##5ۮuuOq\, fR3򱑴NP[_]&?0qZmI6,혏 8(C Ж'"AJ~Vk|JWIBujb?[ ̚aoRi)Ve!PUܩ@QǍ̠d~̤Z`]52| ؍3-⛉=Y-,T?O4Բir Qn%2y"|ggZ5d_Bb qzI~H-qD'9}竑DÔ}nHC}: :-X,VƂ6V:r9EDQ.@O۰ ѻl(!^ K!!̒xSo̩k z4bͦPOߔR,.p|3MSND} k.jl8K0W[4lr Ȼr!m,Lշ[Z(YRƿ~:TN6:!/~~]Z6%*&v]d{hI.z'e /뾦Id?cQ-Zf*3/h|h59ʿ+XY_죡o4>ߩq5Z5AK(2::iHQZ){i~0j@zʨ6|*M]KGn2xR5c2L#zx?`oN8!X"/SKDNi6DZpתy5e.YEI@MY Yc08A,C}{/#AXNe,ôK^!$K++ C[ÀU`!Ol@m Ǔ_} z4x'Ni93q;-l]$! #Ѐ.AiDG  fkBwyP^*.2EYRs/;Xë66Ėbu澆5ΝIʟtLUW Ì$5<-%P1OO8>BNL猄5FHr?/:hҀ"f]IZ&V< **3D8zuX44JIJ ]>[_;²=?XqdB8t|gffE<8 gYZ-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?aFB*x TɘWsL _{<򕋆ʶ\dSHսx+]`ԱfRwgͼ>.kT#!xMɀ C,ޕ׵逌I]:p_($[|1n|躎Kuz?my;P2`*+G0,*G,;tr.K$aӢ`= ^yozBVWJ".De7ʀIJDwN iHӃ[tCz0缃Knbv-o!Нk~e(Fx?:.0ק-GIB0ޔ[7" gp]"/EYkeeSȗ`XF|ԛlIlk( \2HϛA;Sd=1Ė.9-7a@D9s1Z0~·:vgӉu%'Sp#atuh)ߜ3vEz)!EhȭfNTm}6?1 ~?Ow`<ͱgnd~[+ڡ%r`pVșמtfX&.c*$kpcɄLx{xaH ؈Oٌ-Rd{ೋTi1<KuNW`k?vE*֝l8\4?M+JQ5} }G bT⏳DÕ׮9h/ݡY>E -t . K *Bُn( %opO'V4е[hG^/PJԛjÒiSbRL1Cz!qK[Z(̃ bç S~;~:x2HPӐ(5 鬖WG+%Ek>b`eҋFMJ}50EjZNeچh]#V'm׶فT[w:=}#pA}G5U`H]+*dۤA(O @/v%3@L.[mcN ֶD?Ot{wv!kT= ϐbF!%BKnXfh| 1[?*3ѕBd$)PrDGQ?<8-I-+ Xw3좱Yh$pJkAA)|?NXXPjdIsY\/  +)D߼g"vpiޅ 㢂Si"y_C/#gˆYWU&sDY$.$4ɀX7RRuvt)ZxKΛcxgX^kĂ,@MY 0eo ]FfQ r#[cLz&[r&HǟTֻ@`^w23tg/3}GvT'lS!>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,yd٫)ytGn^i/|P4NS5c Sϓ8 rvb)dDvfd8Oy{6W9_Ƈ}T-}.y`j(\5!Ri$` > dE]ML. Ǐ CRL9Jڮ9d(RmNKDO~. s fXXFe=3OB 3Z;\bT)`U鷑_#cWΖZ>ot(I۴>HkhXEOpjN8$D W=AsEH?-^-gi%+{"Ƅ 93tt{K]usEY_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¡Gub1gWܸ+@z *ߝ#y5 B cʃMg}}1w/NàGNXoM:2[!,Hl;j/$Ip/)ܹj,+M:] 1M(M^%:>f-&E:4[~_%6⣮dmJ9jE%fDBGѶ R\.Vs{fd2>D:>MĒ cf0ogYZy;Y% \Special_Function_BoundsSpecial_Function_Bounds.Atan_CF_Boundsdocument.tex7zXZִF! /h]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$POoGTX.\HzprGQQ>V…<&/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|*بE:tWd.4kȚwL )6ST^mZ\!),(ƝE&'y]Izo3tɜ]H0{F5$$̗ 3WQ~5\5X ٝ' p[F=PH3%$q5E<-j"m ~mߴFq"xi[yfd; fĵRP0@u,f>XVd@k Xnͫr3roBˢwS$3Ҍ vaŭ|]{‹]=u.E _3= 8"jMHrB$o\{Q\t"%/DR":&tN܃N%M}l*'*dD)k[|vIu VF>C؞诼=׮mL@3m%Aä?7.{3am Ѐ/N;߹* Z]0SpMEL8ibWvӢ^5ZdKC' hoޕD?|,ݑ[=!! ZzdcXvw.`dzq>uN(bG]pyu,dYZ, g%>,TԛDSSU Cj]3L3%:B 3~V~&VKcAyJJp`#ߵxߢ+T~f(]a:-[kE.2 )M0?H ˯jvܲg Fv ׳φ3x'Q4kHg9R[2CZm*b>bsd1mɤG4KyU>֙mkޔV I-[k)~u ClHCY>Wa"K>IJgYZ   " ;Q% 4Special_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) <;W% dSpecial_Function_BoundsSpecial_Function_Bounds.Log_CF_Boundsdocument.tex7zXZִF! წ*]A-MՋhvG"uIBm5&"w8HؽC3.{ډ@a? eS8Alb"aq #̆5wAX?7-yc59%/l^ⵞ,H+ 1Aէi߼MzJHB>,ׂ2EŒ`M #b|9$[+&ހ:ǫD<\v?ΟSo]&u*'kpٓ 2.Rpk}+20*d 6z|'ZU0vdSU2{kIɌwDJmL|Cj4GplO2OUPT X\<_Jv4ܞ Uxd"-ۂ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 @b'51X_wpQ؄ ;q >MeV.$[R۰ LpH U*MhE\OPY^_mdأ3wPlH f=LH>CTvMQ_4vU ӈB~[(LቆIFg UҶ_~05}]AOje)R!`;YCtBx]iy E-=Ҳ24Z(|m ~A)cAG>un!sqݛxu]<;LbbnfVDz[W+Cc]FIUde @2,]rrp~i&5-fB~~|b"Mr(G9Dj*_?#!ķ`K!9iER '"E5zݹvNV$ڀ~W5"RӚ]_E73bOܥ,~'uũ|ARM3 V|Y(jUϑό 7ythضX-kcؠ^+Ga^Y 2tzKlGi~zJy~ř6 l3oH GuզyE*V7~\k2eHj":\/ Ldž_AՀ=3BU_k$`iD&Q.=SdD>*åQM=ߜv Nꬬhq3 [ v0B2=M#TTdB 1bphPQ285-wZdF 8} ^[%ް EbOroPWqJ  ,)(}IY3y =UMb9`lGR^:z!⦤]T8Ձ;zY;I^[mn(e[qyWRDcq`e:󃕗-,A^+]=TQ~0fca*NK1`AXITgZw~ʽ9Kxg6MT1kH36Ye#.GC2.ޭy; &8r&-=!`ᢷ| VNR ^lպ卵9֋-&4#=js;rAD@QDQ /߭I`Pe_KZlPL8}0VYX^ 8ѣhJ ~q{tKhFr_l$իZu8kX5 @ /FxoAbL.O->XmnK7Xf:MVi2-mS9g]X8lb m9T.dR ^Hh~6 $-3]Q::Ul0(?i®Ԩs_76U`औo}MI8/^Y}p,DDxko",\X8JY8IqgIi 4&ehJ Nj*<| *D[|V_/ujrF[0it;h [K]~DI@'ODk)x[f7a<TjF >|,RF?З|{ 4ob cFCq<_>$57 ijQnx/)pϫQKqXh?9.+(PQ'bd0߽R}K!/! }]zNbq gT^M,oǫOs+vkf*Cc>> g|/Umj[oC$yqz4SFIkŻ*`P{>u]F ]yroj`70A4&;FGw3iՒkAeSK$׀)?n  "BqL>n>6H T.N1HevwRh]1c#/\f8bޓEq)_NZfԤe"Rz"{3/B0'sK)WӉlB_kA0ݢG~yrS(6pCOne.= iO*RMC'W|fL5!qg%H()=YEWI;2Mn_ lrUdgၜ, JψC sL`^s{Ľǀε-ו&k[ڜ53ǹMu*9R,Vs"&259 |qshS7}'!DQ+wݢR2aezbRĵ Ocܸem- CuߑI\ܗ6t=fQǬpD2A%-7GR>U;SfNR>||'2K؟ J j“q[zv۷Z.SN% I|?_~V_cZoŮ4g9{<XXN]zꗺ=|_HD+ 7$Iy9cC8:ɵ ֋\ep;4e>e>0mN<)];$, uB88pFj95~:wg)G\$ʃ16<^.ty+upߦYz{10)4ڔE/rS]J@(KPE|Pt1EMmi9&p/\+Fs -6" np|A\{c_irEv0DV+Dw Y9.+ѶڊKSTdfh;o"$.|ZAoE}з fDܾ];b'ݿ黖jܹUv"2_UwkDV(}Qc{+1 6p⌄& 4͎u%b,Tnjb)~2;"xD#ߚrFDW!+ ik~( .HL&F2mA>9k}AY2,,"R|>MP )_>aSCиt^cIY/;/uoN@Ȱef-3"3H- EJi3xTfr5DD6%GN[*`2Ryoap\"q/gwD2suw7&>xP4iQ,ac3|ruZ@%׍JPOhzEt1xs%eEʳ`:r.KyU(W; }OZTHC3߮K?B.Kk  'x5QZ;Q .f̰"oŗ[4j%%tSD\֋nVȄi1 M9LNC44p{d3u=B5ۂbS6e4jýBFKC~~GeY_] =Z^WPP;i(x.Rvޝ:n7*d{DouGܴB%azp/B\?cR _yFp<附Pgۀ҇%r~0?%P Hq//S{9n9P_r3lI]:ku%1z C.ܘZn7AC@\r +Wf݆'UZ{SP 5\MtQ #ճȁ{=%k_Qr .4uT&m qXO1Yv=q,Rf|#Kj@#N `u1bc979?QAQ$H٨H:=sꂈ"kzБpx4^VaoT)U#sN `blOU)U{),4yOR1Tf01EQB.h EU+&}Њ‡"FԆliTɶf̹*LU9} ApdN|"qs͘62j, Br)ԟR|%wDbel㮇/Udɽ | 3wo!ZA_Xc'[k>L.n/NGKd &1(\xiTYT(9)G ^#sؐ,|5pQV%4_&D{Aׅ$] 3*iكE; r׮ -[ )`eCNyf<٣T'PX!h;RtP~-{';|Oa"گjK-~(>ON1e H̢p!l09AџA$?y4 =ad Z&…O7<]ylP A:޺ov-VxC\No!p+6?}/w#[609&ƃu^e䫁RikT w ) c^P\j?hyP&ו2>vhw2M+4wDlpqxRDd@ߛ 9rgYZ!T*\V- 0]ZGp Z j1$)LFZ#W@ʩîM#\臵 ৬ U@8wEVk~g vT )ޖooɨ1U4Kowwܾ'~[OU1΋O{m8vHKY;y8-u=!`v^:g)UV|+\D71si20 gՆZu`t53h!PG_O/Y6y*_tH>#Є %R=YoUW0,BRw:("Cx1.I"kbϧ8Uab]w&*1J㣵߾ 301}5 c5 \ԤDC֫>aFŤ25J'Wfx ;cZĎ_'jcܗ mFrSF@; h޸q![*"k (ә$kY#":bϞ *((v1%V?nW=ZOQLe|o/~P'Qƻ?LDԥg䷻%X H5u,}!T&QM]1KBMʈKoxk.| 6HK+_@rϐnK4AxR$A`HYQ,88ab»/]:t Ǘk5X\^4)W4wUb^|DRttP(A,D<ڃ~a7Ҋ~;P! =HLUe=(6w&C|J l UȦݗygxarH%uB9UϤ˙Qs\[6ڳ)oll=p,Qs 5 X`VFgM=v&yNA9[H ]yw&;"|ϼ*}{R D%}K$Ìi{>7§$]\}%A<+̻ BP'|co,LOvC 0/&N{f)aqCK=gWF- ^í0Ф26Z Hr^IB#ŚHC0ܵtb_f2N<)3YȖQ,SR=aM0%Hkk} *[@1xG.{A8>i%#NBJVH9uܡ(Ap?1ߔ~(8P/Ë+v}\h敥7@@u`Mr wߋ:zWaI[!֐U(m6Nw ܰI@=<*B~7}QQZnedDP\*2y"-m/6Q3dTWnNtI82U;WR]/њ،g(;[@?@.h"T"ȯVEHIQe8ppP1+6GYm%ұ#׃5R11x_,eX ">7 m\( >:grI8X+ /,v^t4gQϟ w++^mCLσF>*rX _ʌ}w4ѥ׽1>x/ Owقߥ8VؾzKtFXn$쥶C԰AbT -կns +ڞ36i.i]%~=`v(- [3f ,=e#Fׅ-h'qlqDl=&ֹ^ׇS*VD7_UitBkOJV=x=+B Ԇll 9th'<$ߋg0KM{Ӟܝ C]+-`YE_)WhOUyfBb!b^ tXAڮib'gkk>W;my0 {N1T$8J VA3{býBJR6!sO3pdOw B=>APH>2PEH$!^i3ჄmV8l@*h0W5V̱of& *{DzD*ݗdsWtx1dsuT: NVh!;ťa.jiJg}VbDh6 Bx|>GRh+y?$ - 5! >X!!E'!g ~|?7sɕJre]-S!h/LvlX< tn|I0|^r[d=pKߩOb.(op>nT3;>ˮo:v74;D2M(B0 -e{r!  J$4)qY-.ꢭIw) r!d`iLnY~P$#&!Sަ)1l]\O#Ag)ml H4 C=73EѠYHDx"W/}_`xՂlOlP.SܓQiH0fETGou/nE PsX C w 4S71ؚ|=U.><>@h 2\؟~|_fnm vU#-ݐMX]}'!)e:=!u )-%qm*FP4 -40pJPh #>^Dh"|;?m`w`vtaæ #2&&]U 3SaqEk{,l7tsREtΩ&bOZ Qt !J:O_ϬMib,1hk?".UYN ރCR