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  [;tTd ]% Special_Function_Bounds:threads=4elapsed=29.241cpu=76.944gc=1.1767zXZִF! ]ŗXiɟH)0!h^]$Uy) AP9>PoV2/G롆L ^ SaG } ]p s$`m4=B/fzMKXGVGΓ)`C?j=u[ln<դe1o\;͐xmضo 8lu3ZqXÇ@ }+ $nq@oF4yK-m7-;Dkk|XifJ's! Yl;8}gTrޚY8Ϗ08&^Ϫ==uOOjRCƎRϏнKo^C^0kua fBD†R u'OPm%TlE+;R+$2d9bEZc_<9 OHJrg ; Special_Function_Bounds (;W% 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Ē cf0ogYZ<;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ܞ;S% Special_Function_BoundsSpecial_Function_Bounds.Sqrt_Boundsdocument.tex7zXZִF! f]A-MՋhvG"uIBm5Ȩ` -Dfϴa|q7Ǚ@ M.5*]]Dі[%}߰3?2bRQqRA ͷWDTb  mTZ!{h[*]ҹŸS :?vEQgYe"#=76oͭ2h"[g֔j%x?hŶ`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 gYZTX.\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  (;W% 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Ē cf0ogYZ<;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ܞ;S% Special_Function_BoundsSpecial_Function_Bounds.Sqrt_Boundsdocument.tex7zXZִF! f]A-MՋhvG"uIBm5Ȩ` -Dfϴa|q7Ǚ@ M.5*]]Dі[%}߰3?2bRQqRA ͷWDTb  mTZ!{h[*]ҹŸS :?vEQgYe"#=76oͭ2h"[g֔j%x?hŶ!>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_ =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'lS0 Ė|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) y;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$POoG 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@ߛ 9rgYZm[y?tZ%QCaKM?}/A8=fIqcਠH,eg`Dke;m0 G]9Mk98,I­-[0/}?;SҌPS}p3#H#c+!vF1Kػ*,ڏ^4j&x_f9(Su+۩?PLXZ}U< WұgYZ7zXZִF! ]ŗXiɟ?հhqzD\4\y6V -z2yeWxԎt,I/JV\8Mm}:_Sc*ÖFh۝M4N:ǒ,Ŋk?`@@XUYRﬢJzR ՙ5gYZ7zXZִF! ༇ ]ŗXi%BzTD\k^B))2ǻg\Eg'7\!WQJ73RU~t(M>i.o#: ^减2uDρ/yHŜkaàjw4Kchn$՜l4 pWjf#1k^)?Xж:zDH`F9ХH8֡r֦m* jok7BJe$L=  PD&p(oݏn>'[µ-0`iC21)6Q^lO٧WB;+ngjəK:ѵ3V('sh6-iRof3pDٶ"ޑ#jD K{eqWhl*x>'ڼOIH;c곐Mݾjs2;MAxyu4*jGut[>@"U\6kG!N<EEPE WdI9 EEo;Xc (w:$Nj{bԘq.C7P\і$ED|yMs +jNqbpZZX+;jL6F#R>[VCwUt pNU%[( +g@oޫν;9J cO!&((|ֱAq !]ܻ~3EE@!-^aPK {7M).Uf]#DuWGȞ #&3%H?<6Ջw-`gK`DP/ԫ\k.w\ +7QA#NpxZh|;g-e4ĸ{m;>U'Q\xdٖefNS9zOOH JƔ4]waJ/Doc24~j5ʙX݆̾GK?I6%V h3 )6t!}"xK!u( 7JiM#+!ő"X xfWu"7O@DŽH^oc[Ԉ /q5jq!h _itgШ0;(fM+ ]%b&,F V}f6H<~cbY;w@oR edH:RQz`NbW*`!BQX8; pB>ѵJ&k/6x!%ba{s$4S}S3}Q?v-" - Vn+!o'vw.mf8l:~<:Klrpх ٫l|[j/ MfLYI#gH(6Gg^}zǣIhv,+5EV:\?[nO >#Q_x)2V$KcLW  ^F^cYg{V?C*YIhGo]_DhdI0^wuXf܆D 'ir!X]peekeq!ͬtn6DMXNOܮOkf?ap+քB vn(o#۵ZRݥYWk":b vG=\z< M5j42oV87ɂ[y#D^eZG`םKdC4@ĒűQ5&%PU!M_m}_ATw$Ύf@opF3敺"t{4$۲ ѽ0xj#Y69Ml7cNjړ'ÖTO=PuzEl Q3B)>l0-7iIUmzf%k/\/\mtKHq:LfI_ǖx[xLMhsʢo׮=cM!d@=vjViSSHr:ZAc+f`Hwm@}Yqv@ 3%U3CD,zg'.$fdq4i&cKu}@tQ)%=^4o e:FDwQcji=gڅnlt99Xy=/eufDXHR<,2϶2:57r wyd l0}`sT#6kyJ{j4n:1,*xnc!1e.*Œkͥ|Mfw!}]T(*UFftUg_$cgVcB- >׶Ey4C q#KU"Rzlc9SLN)~uvg|zFi=I8h6 vpD]+H~]w@椿mZ0uM bCC#b]<~ .'<4>=_όoT=Ԗ01[7h5^m!Px1'-YrA߽REIH<$3 ak݁SIesFLHp/5AONrBC`7J @<[IsE"]zvWsԄ"k !ܮ?q@_