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 Tp= $\L ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.071cpu=31.148gc=1.424factor=4.417zXZִF! ]Pʋ]ŗXiɟH)0%oD^d7XR}I-Z[q2 p}:S/C-ۣ>!\+}#^\+-~Hg S 9oyocdխzV7q6s@V6 ;:S҂. *YPuO)#u{dpjlMi裒0PYy9ςQk$$&ң..$1305#:>kFK-L]?Uz{ZaՕ]4aH1նXuU K=TdN&nh5˻7ㅻ #E,͹l*"u* $:| \l-%WzIrbw$nʼ1uI835 hQgWgn");2IS^8?&pidzws"Omzpl'Zb `G ?bk-LB)f3t?=sГX׬(B `vY40vKaѸYTRhb\4$1 I ̂H.YO$Mv1 tǶ$b*@S۸Ji ,AaLZs`hmQ3o mJV0sV#9>ƪd0qG\ϰg1 M 8W6> GW|J:9E\'Pe֑nD[XS!ǽ4(E>:$-4m'gѺP%K+w 6_chxx y5wak+lD1:sRn|&D?D\3:^s%嬿AOfLN`h"sC 2 T澋sO 5No-6d:&uǀ=bݔ5X7dz Q|!.A­ŠL~:_'?MO^aTj/`oHOީuTJ& mlRk ¾ .< I N Pޭ=~@mL9JHȎlѴICz)2ҡt Aۮ ML-Qe`tS}SywxB3iQ`K2ժp"a%@ۈ;4{Q5\EbAm3Կ@0r*@ڡҕDT ـĿCAQ^z78ω-%">M#S\vɞ\`*6RàE⤱*x,f6H*};׽xq З^z\/4 X!HJo^-7!E(/NA񃮥+=^Z,Uʅ;Vgk'sHM}]PA 'V%tD I.3WQRd<#V0L0T/4bc2cđYԊ Q)pҪDQ٦*;.:~8sg%-׬j.`&映ExNR9Uj "#I?|Hbr^#NQ!So )_nm.LvQa~6{R3|( :DGe؝P[J> O) BB8 Ȉ7d׋ri89|D/2G#p@jl> 7jc$, -fnf2x$T.â B7IrDL)>}>_o>3OST,Bd[J5vcdӇaM:SDX)$""RoYUFfAZa*u6Wyb5Kv\Mzg?k)^b!}5] aH_ƾbPniyG)ĈL?%'8gcKjkI>bڦ$třN&Ye\a=LJekae,@o%>|)#'-u[ Z/wP _fU~qZ7w4tVjqxm譚T!&%Wc߄DWp FAKQyoqQN!* ;"W0V AX)nF3w=5QH `0hr' 3# Js|LNlJw'xN,Ev4qXD-Q{M4Oo[Ll|]^riu-5 En!SMԈ/@Mq~H=aB[8آxDT4OH4JGsP}:@ W1v/T#Vy E1D{80NGRǃ3ڭQT٣eUۀnxv-)H˹_hiYqbGH0 Gl$kM"{Wwm҅]';5zB@[JQV 6?H%j 'xj;=J(oiО=120=8=aD-W#.sxsO~k'tJ_}7}@ R2cuq3C+(@yF9b%!30 Ηpq?M ">ybEAU9P M4mLrQ)}#RCU|1{E|ZbtyVD>ơ=,𚾿 `;0񣰥2`As!KzH`#Գ)|o3ÕsTB0VJ8n>OKbG'j՟yɯ9af@$x6RZ"zG6_d`lmKw}JГdx3$ZCt@)3. ;`pm%jy!xb <(Ѯ=4/"vE}XyyM ERܽ8A'Twk;e.\/hN#%&~: Q) ^sl6I_= H4:Y߯U6,F,'&ml+Ћӊ@ =u%PU&ϣ[D]ª>H,|+r,j& r!u *oin8Gؑs?N+uD zskZdG(v`֡WqcMg_`ˣ0c-qED˄NkG1n#[mKg]f$_-r~[)/mW ̣>Qwlzf &x64{RXڑPVs pb,>iE}niJQۗӲ+KeY+I^P]&dY|H `Zʋ7wM={I+D`8D\t$ֶ;$Uk)D5~?B' 9߈Da$),q*^_NZkdv b]5o@IP˩Q 6&{/V .ˈ܂?HO\"|Ѓ3@0,N\] M.;nWr,/~ۗ *D.n' ]4=I%:[J¨xNVwOVфg;s+HLI 2*mwf} o:K/o.em0B (l󲟄ysiEj\\mSYPgusq&'gEȬ/0Oߡq%8jޘ@]0ۀ=NVc@Vo)p zwqRzQОT#Ba(mdE+4v`yj?Epx˹@}nL*3BՀ0oz?N;LT3<`6$@^>ExvPY.y`>6zjs{q*cfM,\*Y4{E`1"բ>TxUfMJ LCq@o^F?W{"Gh3jfG]!r4 O6̜LrUQU{Y~.!A'ªDPi"Ph6;J,Z/D578BSdŜk0l +O!?h5MJ¡09"=Q F!P9nL5WA,uDaBQLRҶAg}܊f>n] 7+ ڎ6/6#Ed&3Wp:=։"zqd_dov*2*T|$Ub@p]8wŸI$_y4ʼnm { ׀>"0Y?A[ W߀8˵Z!sߵ|]L~k,] \ nY>e,M0Z-txۻƭ$1]EGԳ:B&]Oݵ ;:Bl xMDs1t U%hrmO4%_8T/SH+G\HRjZozQT!2t\dSNt@ѵ*#ΙN O~q =2YRX_1â(Ղܪ!{: ڼx<$FYB+a7.ϮYY 0캪-"=lӲ[PĘk6 <54PSl$sUiaʷ5 }"zRҍO>b[q}ͤaTt~j> fXA)WІ@w.W*", P}3NN6p)5-PL_>rӜ @6Ҟr3`ػ5J8C(^KUv3ۡ󁂪 WPǀX#GReK+ d,\ĊDiW '?O ho  ޹NPl:9.m"\IoBn=h){A%PZs!W.)^ǿD"VҠ|vԧܙ hb7گk>tSD>ļƅ 6͟Vp+Ls5ҍ ؜ͻO PoVt 73.~Dj0K'mB3 )K3AUj[<.;i8t'ׯp5R|mHPv@ __ +1W` 6| ?Nθ+V6}Kr@mB: 6#8уe 2gt \J8;Ԫ`<*7'k#uGȷàρ^mCYrk !H<S-,Iv<53[Iizr)' 5JUoYuMonbK 7 ÅGedZFԴ݉-tLehIA{Q=1L7/{1 1r QUKtX9Ȳ&هfM&OL:&^̇a'҈([Bg(OǹMS:Σ_,t~yVY5a$:ݛkl?ͯmWdǡapp0gQYarqe2>}=IA!5U7ci':(eqp>7ڄs|M%~Ic[v;D=PL3U9n-0񴿦!2-3$A»9u%xɄX'V4so/˻Q}Gx 3 kl0,;f3NzѸe JZ[OQ)p77 Ɋ$Rb"c IJ*h<ÏrULl;dV{I;Ek >yƢB ۾x4q8Pu<@=Kd@.U e t"S(@JSא$Pcƶ}LoUk(_ |8"ID|OGLGEom#dQgð۲j:$H~%ws%.HчFcnQn#/) 2{v&S6.=X:է&NvO`_b#3Ѧ/F6xk̘ldMeR z&T: \!ƒFX; YkIߡ8{$Np:Cة29Nҍ9OEMx#G*v\}eFI=FJ% YdSUeB.y3HLGur\R@ ),?Q~nLjo=A2x8ZQǀT3=bx3wJգTA;h B?J-3*JseSVX0׷u #VVc<>ԍiۼgP HU>:Ifh76dܝ^$)Pvj2^>p[M* *xK%Cky<5r/b`I%LQ > -aSC6(s7Bé|s~qWX(G1'H&ȧ3w|95*kUFWUD-bͺEyqfˀ)&n/b3%54xJ'hӢ#qGg% 7֢Ef F:$h2GeI.L(F |'/(dM!n NZ,y{0Оf7iҢ𒟛A^uƇ$_HWU%J_w24 AǤ)~y9̈ +H7^;^餭SCբ sm7IfJsuWPZ;E)Ax`AH[nSlM,Zvcf@7NHࡺOƂdPI17:"#ٜ>xIRRP*Yh轂sv8NWfw.9臋?R+:Dj8L)aY={'%^b?= @+4[ jg7AJUZ餕%xBDhz2V *Rz<ܖ KC! ϛ@,ITem1aK~З񠦦+;18W3}(S8P`L_ @ZC /TaΏH&7v1ĶJW>u @\;A!n%*b&"/}圬γ |v(Ӗbcxx O`r 3Z܃'po)M&0ފk4zdAQ?$A8Po a5v!2$=WZ'?B)c%$ScYk(rW~g#qF;8%L"ŰĪ<]> 65MoyBW+?W fѫS),DP]_e$x+ҎA#Dԗ؝)%w.!r82dw8p2 %S ^sBP,g\W`I(RU!չ!us=pG*4_#Ϋsbg$K 2tFK±kakEnD׽ӨSK%J/Oz}ypu4ep43`iXTu*}F Pm^#9ݍ An\G0gC~Pj?6L**jQSgU}cKSj$}^Q<>MkD|缀F_ ⛧J5bw^>mV/|ԥ3ÂL< XvcbO)S\iiQ;͟>uQU1%{ FL7D@#J휍)xN^ VK-g$EQdDh'u8H1 SFJżf*Z*$q=eeV!Ob@"Bi3^@xΞRb̈́x[Kx}^ǎxÁZX*z' `/Dm|SKu#L)4&@e6o{ցB9T,.ի5!W̿NPM9N #rmi~fu(5E<,su' {IWz+%!먷-STgOYρ Ǥj?gE ~he4 "QV͎g.#gP9%ۃ[ R&wfVk&m?r⚰nFb?{eM"|FN Hrx l-E zE/zł;n6sD!gxV.>KO?ĂVEKJ9E zGHv' Rtw*0bA:r)Ͱz^(li1N>&\߼%&B8&27"mSY 9՜ګ1ʺ ǒ4->G>> /2Ƴe|^YT#Z7A8HL<)9eZx$9S`MKC&@CBC.`-TdIr:pemJ厵82|(^4Q{LX<Ec YJPWdCV *9Kzsy#-D@/+iikv:*c,pb[QA%ITfEճ$7ŇwSaS b79v,hǹ)IDԨq2gulQ RRl옰9.kD2ȅDkZWOgJ6+ozGϝ]A2k÷ I Tc۝ZY}F[Ǜk-ET\b¹_"H1g@K`GMp S{eIg0hB@ue-Kt[XV3U?#| 7L/L31D"K ]WH>{ HZb$MCeH2S<_Dw["y.nt@DV.Sg$w 7:J}W1_i1T1t/(fnR9鼡Z,nF;k$93`7UY0 \Tp [)YNQrȾUH.!~;MŴfQ2-2–DYkGn1rRSbhX?4n}@'-DF43 8%A}r;prEnl4ݘ➯̣hM ZƜ8텏=din~v}3rxe`uP!w(=c"i_~0yUD $qxXïzofmI?zʀRqe&."!fY\}8ُ̇LoPKWCUp -g1~Q>OTυ+,xSA𔃞9sGB,B hG5c&WWG7fe 5_v)TaOj@]ơڌuNťn=2[P̔9mvSGsVx37ē؍?YԢB\4`*Z ldpLDAi'Ѭp8L=fQמnhoQWBxlw_!BY܃rIT@asZI]6LlD[ÌhgFkmjjga;~L?YW ҿm-e-J٣TЇHT̅(Kh8H}uFCHsڭPYKO4GfwtLxWk pAl.Pd$q`TJBz^2Xp9覹ZnqSKy9]יӎVq̱6vI`~ޯ:-2:*_f(#r7b`: ?[Wkn(.Ø%^ 0`_l:N; M֎}jLЎ4xiyͫkJ<} R$#^Ųsp?/Q:Q/Wgl_3M=oDG h-dvƤOQ&FQ/msr1O| F>;3GܘuqHnqm$R0™f绠&iviPa qC VpO}M s:;a¯K^/|=AɿMf2%ЍoΑ`_qF.j~s@ ]2uɺt]v%ǔějf_}+*V}X42e&trkNV|u`8#tM}Ƹ[P &?f$|r11%V^>(wS;FDoMNs.Tm+2IGdNi$[Jgًdz6M1bLzچo]!S#.7F(RDQ!]`CZ$`ΪQIBNʙT{spRa&xBE bL"*s/,2Rh W\L#>^z36쓇1]zՇTV),Ir=C_ѱ7-~Fawԁ9\A'bY6XM> m1?qÄM!yڬT[j_5PӍ+pf3_)k9mMHeޭ}69DSĴU]r)o;,8sٿk^&G(smh6cNa8Ml֝`mSUM+/=E^_Bj@ Sհ/7hZ#B,/GrF1"+LHY 2..!UXa/(c <9s報$)6&LY(ϴ  _@'J8=7_l|7aȾ.0ⳬ^*t;qr(zCUa!NEzދu[!& \we~<1 dh3cX^Bu.DUZ v ه XI{lKA']cJ7? ÑkN>ZrEQ9)WޭfD&E`y'9?#a;4|s/n;[ҍlbx`ݶVEI;xao١,`X2&~JMwl sCr2EyobGy[jϜB|N4M b*<"*+NV*{G|#-:jh ^+jlAsti^)KMѪS.nNمo8pNkaᭇm?h,f(nl|;&GҌ(le8 lRRߝD[ŕ_x4JbXq([wgq>ZRZG}]3V];sJ$oq~+5-~0/0ډ"RgSXPvyw&*M.$ڍhSZƆ}@Z_\HKZDDjJ@W= }קh2K΃PqP@XB.f 'J1` yr/0[@4)RO!=vF];L ZpY>0 #8ʊ@=>yo~o.Kk17Y!HY`iNS/u)ިXœm 5ӿ6;?K 0V{60s\'=ަ=cr uv =ziCم.ɕG.e1$w:em 0/IlHtŜ'lV%ʋeg3WyZQ(MKorݵv֒գiyerVe_o8֫)pV Uvy'2 ly7rDmց`_a?0PH6dP1og $YM#~p8w9!]uE>m$Ivu)5% d |R`$*n˚MINt>P!jJ6CF=@_ة5W5=srQ3?'?TGj94~N}uU-S0+̪`En$O,MvRQ3QI.ϻ3)Dmj&/Tnv!f<)Tz}*6CvaeGa9 \WҺ~^hȜn+$H4A9㙈\q lX9X\+7#-2:BۮEcXlWp7=Mr-hr.Ġ}cQ08~LE'|X]d+O$w+l2KKQ[)/g%慿9zo$MeFR:x ~n*gp5czJHYowjuJPC~56"g(C(!N +6޵^vAώP+Jw@O `E݉~؎VU%Bit=R}눙`z/[=)&GNiQc ʽ4|rm)%ُ?Yi/ܴ3cWPO>OFNCER\ӯђ"P11=Q!XgVxsרken+^G\:4N/%aPU-b< dy?"+ ědI<")eJæV*$OQ"=RtJ=1PtT`?"SJ.H&y$,Õ\-A/yhn;>*Oj9',"j6[XLm1LiYd_ZwV;(&9}]/Y#[JxI`d(` (kN̎ϟ!~\?6=~S!Ҝ å$H< &tFL . 1 gNL6ġƾ{驨v:෺ʼnyCZKӫ+-޻Y@MO 4 ϰ#Pg@2Vfomʭ8b;!zv; o,pEZ{&&_#K~"U[ǮXcY:yN-ҳ~ ~1QnU/LYM|fa- YSRxwvbT䤦2`DžԐ]J PT^$L,.Pݸ[CG8CkV-~j+acs\iZE xf'!I{"?w0wbC5w$So7р]#@{OCcZ5ͬf;;| o_yÊ0%)bzJ0z{_t{Yaa\_VgӦϜr[௚*Q5=tl7!-ݑ#m#`Qk*=:{\媕6S9' & g;cc}璴*٦w%X{38FsrBCHe3PN)m+蟈.)(4Rg*-=&FIAfT~'_ks JCϝa[ZHe,n *lAy@ϴ1j(^2MuLWQZ#oE|q",Z<͛`7h*K1 Jkτi ;–}H(e T\tuħ{2 @ xjGL21y" ,ȣQf}_6\k='L{}HwDY\z6kg0] (iXDo&'kŏ4D0A P2jUa'g^8`[TDMU:d>TP1n=@޶5; *K1^]{p(+/&~tu3B.3q%Ou x] ˃8%{0-(,P>pr:]QRO0XfN m6,=T~O%'h e b=5TDbTp-]frmb&1UˈQ􏷹3%|K,ܨ'E:nKjb9 nntp,]izj:]LX}3fh@` \z(ׂ)F`[+s9Sφ17M$%h#uQeǘ.-nr!Xرfb4Cf#O*Sso 'LZ]h|ҀώΝPo OI0\HF FN 2b*/̟% X:M(9"}[RDq%2QB@//ٮ٧,::6sɭ?Uj{_>ҟb@1Ǎ>kgmmSk)f:c(hy+n|Ѣ]Fڏz)~\94s4$"sM; 9(*Ce2ȥWLm J;{"S%1/j<,UP4b|dpSߍ7(#Q?x|mpWPIIX^&bf/n{?hL2xnkS% OҀ]I5 E-5\@NN(KuԟjF џM[NO,flX]J `3ܻͪ[P]$a1F)~zf' WUVNLETI"XN̰>2H|*nE) ߵ00v0>B~@n= ej0(}cnC Kuq\ég>ĥ󊆱ll@0==+i/1 VŷF.>&"RQ׻+ ~OK1dNy9r0/]I@q VdR'w'cA&w6a*ަ+jѫ>cob}żjic cnM;<@G 8!08QyLy2Bc V2|Xg!/%;z}c110Ȕu(9 ri-dg)GR+8r򾩀rb -3pL|ꨌ,} u[f-\E*ե&ͯREV8}GЈeJO&C?y20χ8 v= OA:-(r/l}~l"87Ok5r`F_-(gX\hȿ,0GPsF3~{em)k(!,Vb `ȿ 9^z&Hill`s9\ژn@ɽ}d/uY!"^A"Zn`Qxf #Af BeUQbZė힟h1J$CR1wc%Z2"?ǭK ix5Vl*Pr{{qNL-!R|2 tnpp/'!$q)O95,C2W]:e#͟t$7[́_[bދE֩٠Ó*]|n9ǖ[^L0 F`,nM {#'诚J.2gNԳz?m LD >8 }.%zS(d#_b^ސZ9ڃhSWxET ugF~-w9G)|Stc#=%حNoCS8:DޞƳ`)BCֽr<yd?*`˙Z ;8flvDcK]^_8 hS%vfo%HKR ԵQPmalj+ S 0w &iI#[)#*vn^G5ԝWڧ968#B3oNv*#wbL /L+ipV2uT 2CfT6p.`?nU(T& /BU éR#VXb @TIq_vg)]I'tk|>SQ0ЊK*6 OƹhܢNw }K_)x*nG|G4IEoHBzHN*fF״dBQЊDؐM%Pnp @v]CBc6(d}wN.vsN4l)#ߦLk,L~$ 3j[,;*A -P1ǂP ZHWx`o"R5 ^"-Ơ[ySBU2w!K֔e:RE1D$'A CgC= 2HÚxg9 $TYZ\!/띀ߡQ82{):Uh}F*սFx)[!F9l&E9}*V ~S!\+1y׬q~W_F/IyQy+6ݑHX2g{@2BXe†%>80 mQάV[.ڡI 4 2d/ΈeKE%s1 86//7T>]N9:Al-|\I;!G_38e|MylXPh"d.ȱs#Llfe8} PmW V3p :]4yNdJ;n]3JasN$>[ѼjL^3|ݜ =g0dM\ }g=-ڛ|m 2es]a0E7,JJX8HZp@"gIԛ2C!ͮp&)Ðx}Yvx3_H*^su&: bJ]n@SaX>b 8[^2mAZ% ot1냳ԂLexC=:EGÿ8ɽpY蔷?EM ::)0UNA1J3^ǻjJpThKkkk4J/ylIgL߻Xeyq?[0ّ\S)t(+$# ͉ h6*nhJSKς*1];nC1=/Z?)O(7ǝЭ$,C _ŽwS3-}#u=촙UFɢQlU ]GFR (46;&Yxݖ(VE FFav-'Uª%t4ޝ^^4Sܿ'ߑW!BcG|{ᙘ 5LV5w'r(1!>ױ|ǚcJ'Y]G©2-b;(]*8y8vK/ *&"ΔۃPqo\>4JaD H0 P V,te`ϴEf/hzOOqdZ%&CvLH@ m@6 ekc#Se%Nc" ؚj [֤B-#U\PK" ʷU UmCd\(+wS)XuÓZ:FF>֩/70PhF"l+q6OFM20dlQO Kn;KBScїkӔQJ5.QU#2 h>5\zį 7>7\J pj5-^xÖA{ln넕 o5=Ƨd*5gC|mj\^ )^z۬8UK]rƉ 敆k:hv&o<BX,~RJ,iJ|H]g3щg T((+dgᙿۮt[]b[w/v +aB9<| (+ ",֭^A­V9|~l3:իt ;~Տ b 16j"{ҩgےRɝn>`3)֘9 n ˵V08`)6x̆Kct$Vzu7'})6H# {' 2wpTh7 ¥";c?]#5a Y2uoq1a'<\a5>D&y BXьٍ[*oѝZl-J]*Fg>-o XE1jvG&5v"wי9;22MNۉ:Iyzy:E^Cኄ\#q< TŸ;Dۊ5,l#!wgu) #|,|;: + .\,R^qk'gGR{ѻ7:Z 2b,^H/jZl.؂^y/b/va|L>8i~jΧaK `i:s\qf`aCn=`Quɿ~+ncE%ӌnP;oe[zǫ`i.Z CFOj0kƢS7l6ƮG= TH+IfoPqaC C Ѕ6XJȌ׸⊨ B6;h1sgF`S=q ZN?>7g@-ER~-2C`Ǻdfha*Ʋ犁y@@OYMtkX7M@@zU34`B}f%|uzltHf3Z2^UCo`ĉ#T5|BKXDm#K[qB*j"`'/)L .fYjѓ+lFQ^PJþm+HY]J7 B/őn^봼HЌCmMeӘ{Ed!?%.H4L!V#TfPXNZ{Y/Xĺӱ^4N  8Z bqV$}>;K0E%\9"R n!3dd,dZntUvobkP`awP2ο)쫻Ԍ@^8d29ʤznFNRWoGԘ'[8X<#+òF؈}5.<(P_^^1~pV_Δ#Aޝmpfb*~l9"ToW%xE}^Yۀ T! mB2+\AT5 rTť\=:k JRH.&,#pE&n^  (Zw:P7B %J?T~uPQd8lx .MhZ Dq,"i%Zo@rE($RO0rp GxC8>ZCMrū3ߦQTd}[2f j JmVpHXmHA)P=@tQe/"h1^4.i%pT3 <\|ZgAsqq[ U//Ɗ?(:j5%T\qELZ{> ;/j;j#a3"d~) 1ſ%U7O~+-xP9R3 | b_܅[D?e}OcNJ֒U~Geؙr}?5vww7eٺMR7\ϓ{r@v,,;'&7?etKL tvLP#Phk:P9Z=3&Eqw}HZ~5Mt><cS T]+]GVD{ n|kVB*($9PUd'0w(!q?% *cL[*{D>dn+c63o(9{ Bɚϰ{Sv¸kK-^WUmNZEf 4d^x$An 1ʹRY^L[sUIkU5ԭ7"zI}iLkl}( 1Fy;l5*D(٭crU:e5/U9=H[5F722}qM%W$!Roc褼]ɪ[Z8>pjh,>:x\83ɍJ!0)!p&Lp-YV[s7 [՛yҀQ[")Q;ICr)Q@dphL+h7%2\NGs4/;;a'Rj'0#xֺ1fןdjoYP:b)Ux5r(kY;q?5u<Dg~D8z}orjQuY{h7L G(=;syOߦ%/.>amՃ=R(E: -E#27+9"%; ,e X;*(P1A;Pckev!l483/mmoyl n?mmx7}@}8NXY,̻n\WAbmJ/t1RY< iNKU;peva-fGVA_F0QUu1~벬@"X?kenEdMp\œ")L n=} { qc&GǵdRF^뾄(b[MA&̿5ki|q:Us?`= 7U a.q`)s?JJQ:x0ZHy:0J]|;sAZI=;sgL)Eq^qRdķ uh `F*s>1?C >pDͲ'jg%&kv dOk?(xS}Jlz@P}H F{:̩x<lm'P̿^ֱBـ|~|x B|_Xfq$HcX.;#X*-4@/^iɖe┥l !T<鯔E*OSd>iGXXeeMgM٬BmSHvOZu,pFetsFsj#h)OBL31eֳs|㡪i8DgvWںm6v:3hq ΅n$x&\Z:N\@,lֿ mN.i_KYr,=Ik$G'49b<5Zߺp/{l> ) Y֐ [ gc\%17 MYyh*@ rrf$h(@rUNȩw߯ĞO}SmgqC3* @\A4|,Qf90,0eɨIGhF3Ո G#8+a8D;Lo&<= ,KYr/ P8g`QDK499lBkvMOȩRc&Z=c tdswWbIYGA?aS 5D26Ch:$#u!ڃcPq⤜K8Ṭ7%Om84f)z( ސPN5l4'av T"Gi=d7`bk9)k28a4 ~Y<%UXSLunTg#nZꧡ0*s.9)dd{S|h5K*!zlE]=jE~e׭}k~[ ~:N_al3Er9>Vo#c*Q'];0hEoS`y82*Ke%{/*OPQjz2fS#l1gu4ٵ +T!-&(&0EP޾靈4r"O!.FU7E/ ]`0nÌ:0-e kSm:G/h{\|a F0A !L@;5JBN0IgYlދxʆa$.܌@{#EI2%K:6mS`NSNQ]RkgXx0C }BJ sqyHI spPoy4g:'J. yA;aW:Sj6 Z4+Xثj5KM2ԶsT S9#RԐQ-LM&XkjH02Ѷ\d'~4YĮsIeU<˫4ؤh[WnV.oJ 0n{_A3/\~߲۝ԅwt2|6 pvh51]xY{mFP2=;lYIUQht+mE?!࿐;(ҵbH|f` 6d4j9:& ִ*g (wP랜ߍw/Jl\ḴιGh9 efBawߞ P-amdak ~x7ꀪ|<*|Fޓ;;9I] _j0>^i:V0y3cZa@Pﱆ&"Ȝ[khNo8+|XF fpG^Ή\軁fﳡ  Qjy‡<>2AVǔx-O8~W8̯5N~ iaYqh7HCLK(kE^Z|ZV$9.csoZ?#FI*Q_6(SqEٌj ݆p@Mi!4m/u1VI#W2lܦ{py`^/ҏB@εxyБ撎.*`aPbizQtr.:PwFZd I6[(w*Jz2BD@d}p@@QO!i|peV0,3j(U-i$hla +sU5\*#e/{j fn[ k{~!=_#\y8t0cQh3~b\xFk:G?U]+<6'T(1zKÃ({?;7f3ۭM.u&$V"6 UR@_eǔv,6B6hȽM Lx@:Bj$r"9mM,r4ZSOVnI~ު ĔIFE}RJ kЅʵ Bî Zq > /i=^(Cy ?qS/ӄBs|fv%(4B.~;ׇ l¸JG`V8dnt #~\@xշ|Zwuk6jM&a_Ne1 Gܶm+m# h{c^i ;$XX@S/r쳱Vs@PWGuPwk`O@bWti4C+Z^Njo'`x _j~5SFշngU%)C}2c=lnL¶@Q$OיhenVmTI'` îmKLim2aV#ۮY% f?o])s S2?e9ȱ{ g5K8>7:ԍꀆ.r2JT炬fv (7hڄ%CTz^ 1Ц_1RQGR#ySFض|J/tؚ?T lL`dSiIQ6TՐsheѪwH Xl湗C  /vӅFW~B&w'PvP\(o\|+ $>~xRZZLeŃp94SD_MоV bE+26$_u`ϔ $Jv+HGJA2JUFc҅XxfT``bȌ+<;&2w2$˅n|*m~( А8cbQy$#$s&€h8;gwr@%~t䪹zԾo%(2#317>g^w ;*_ZFA#mdu{/SpX1b#~ehp4ȁDxS'(׆`&)7!OVȫ׬8GPeLׯ[(A̲|bm7yhRY(ς\?k 3f;M Y;%Vx?̋Y^$PѲV*P}DґYRiE] >] g^"J:xV@2 eQev$:47~Q@K%?y)(0rDf󷥯2}_re?w *C[N ƦTMd@̊1-LWa ͬZ&8=@ׄ)A*\)砥lEg$f_ ͵:,jAQm,¼wm!\;FAX%·$TBy1?/2QcElW ,@ZxM˾l_ 84ώPn2jNk wOP0SqR&XcD#6km~fC L3]ЩPn|Dz~ԧDU]!bU ?>%۾(|^}5=[kճ@ϻb bd%sk.M3[j7pI'Æ[G?=х=!Ku)OXXbh]Qπ`:Mx/$*HXQf1nf^ow?n^+PYJKNdr+ʎҦaGk(LԐl,C"1,;@W#yq^"VeAwB^X@Vҥ BX@Z>:/ ; ;LMQ4 b2-oImbU_3&e"ڂ`bbw"S˵tDKt{K~k}=0d1r /yi~k\ERu"䉁eXJț=&%9ufF*d=@\C P`"~Qe=OPè4X/R̖MEz=2& RT$e1 2ʎy .kHZ`'ܲ~/DM wPX)yStﰯ?-%-bnʐd_ !| +ku@ˎ] -hY@H6F'5QMJO5"K!^;"NJwA(w)*96$qڢV`Q/sI^[pj)WDU^bsd%^ϻIS>I^mh<]fp,d/"]zolLwCELV0}ESU͡D+P"53dEN$Lf,C\cv0p&s3qӃeyMvvPׄ_3XCA"6s~ *vpZx)ILz՛4Λ]*y ?~x)Z# 21/w94n+΢Lo q?k~||8 h#q8m7&d:`3ua7)i GPW@=VCi:k''r?DJf/H90Qt0Di3zd㟴u:NLkǸ̓Gc{I0ļIb(􈜚;hlɽeŁE G,(Lhx:G.~򜅱Ύ8rf73aXDP F rXVB'Q4A8l[fl M{quKC[=0 Ch-;.6+L޴%$)gJjLR1O$ -9K[1Hjx!ȢR:ԥձ/^XUt@Q7l K!cָL2=( NIߺ]Mu*@"91M'cK 1:-&R΍WJnhOLǬLcSvM(÷!hn@a{xA]0yH 8K~bO [ RN'a55ˇfnDF$_   4W՝fJ]Zg*˂%UJj@jVR,ϩ=He*Ltk"pMsrJM:˒<Ƣ`ݫ\Rs~{V[ /p5w$ \ EP/)n.šfFc)lT DW&T܄2E|y'D&a =?H[ǀoPx"X/ ҹF/I gҒEojڮMN̲\4+]]N6hbJ՟mux)^2m" 0JK1DTiu @TN] CkY6= [_u&x:V6[{pwMK})CCs-(8vC֞"Abp];ـH\ByϙS&Dhε|!Y_j)]tb݄ Jr W5jH;C`Ů.Nb{ N>;:1) |h5fK ߧ5<߰叾 oULkēe[zc ML$l{zO[WP"KN6ʆʄ)(I~Rh* ^{Kƿd:cMQUjՃ93,elʣ0J%250׹ƫIV"А8wRh4 ͐icd*(@ erdg?|G; %}Ϧz>_WM&1ULhld~~هϑf^~VHR#yћ8K%nrƠ!{N4`O׎PUHǐ/u={QjT5|1>OUp 7/O]da<f,Ya+b># ZĚ)7e\qZ mXѽfN!&S%m 37 , 25F8eL"-/e=E(S`_:/1GtS^ 'X9'K]Kѝx$FXI*cEӠD];cV+[6&LeF1d褘tUrJO(tX' {? xZϘP3vUhHҚu&Z<[Wޑ&&qȮ֣Ё-7?Sct3E9)dlJob;[l(8 "H?Meư]T򐾉>0_Ln/mciQVU N􆨩Y]mt:<<"5Zc*4(ҡ G( =d'^/ykk4G< J+P~Lto5T50B?}ruDc1S#u=L/G; (~R :KG|7ߊ;p& 0Z4i=V|o>m7|ٜ^Ǹ}ۢl1׮mi1SwEŲh0q9jLZg7W<⺜Nn]mM_K c ,@ T]2K=; _aWk}L_n24&*N>IW' M(4TOD:kqYqqװ"w50B!&ysi#?ee`C' jwDcETYaSl߅7RaS={gZUN$cc?KdnZp7 Jt}:IkZ6Bx@"kk<! =x@C5=&E ~ZC LB eq‘ b=y(oSz/lzz|R}<ZX8MʑNܺ{*uo2psa#vEad uHiy5+-~gnsl0*-f0/xE L)1WCxtGZ! wd^|ő])jkQQBl,Yf'6'w/e3 SPޑzD!*XeX^Ã~]~x_HzfYP +G2?&$(3ɔϒLj/A S(+ O%j.yIkCNo`̵2F&$j`4eyX1_2BЌmM4ӉcqHҕ8GPs祷 nj%7UP (#F.)OEyOoHgșõf4EuiPbmmʷ;}} +eWţA7C`Hg(_SLrڳLi3w3x"8[KCWYԾ1}x+t~cwK.b`'!L4ߌF΄X{C`l֨en~H҄Oy~ע Kڍz;Dg)yٽq +/G0ڢO Fhc?umP媕p@E)f,HeRQ+Lw3r$cK)܏Ia<}y8gt6]n*?nt>keuJ v4r Kfgyg7Wf+']#HfȨFz%>V|O X1nbĘǤwe†%16۔JobL>[nӪjx;;u/8Pㇰ Ʉ.mԔQDJ;Kad R#PBك.!^aj`$Tb*hǥmtQ}=ŏC2/Ji$L^|ۻ, ' A|>.o(-c䎁($%%V\!t&p ?ĕFt oeB_"̈́2B1}f[@E[ ʸۢ-#wP= 8Im} |Տ30>XZ8k_CN'rTMjkv-McgWI-XRF t^ cz23&\d89fv_߀ɖbm\z_GZDsjfA B7;"T&*}Gs:_>PB;V[{BT\tk7HUAe6hhIPF\p"Fa-+ |k.v!>;Ψo<vGܡT:PmFOÚ/`7ȃŹv)z=lF<&2E}:4}?߰kT b+T(ΪȲ1Ox :14efwPRhHIdB؆seOe1'l$Ϥr)=?ƃy ǑMFrl&A;:QDSy9V(ds2E| .Zi6(26ng[A+s1}cK|,UkIf īE52$|@֥I pcCMc*p\pB#%^on|c90K:!C7j-F,DOL-Ģ⋸ssvXV\ HXW9ﴻjΰ;ќIk٦B5H,bS&1Dde*d5x'K]#6rAsG3lHg Ծ2= ӑ(MhwQkZ_ Q9Ps IHCd5H"2Zv jb[k'~qIZo=tZjm芥œQ֗Q8USgχ#Ayj5Fy!PUWM By 5hi&;PV{J}r,Zw.L ^{&&d/|[| čÊ.2EY!߿ͅN҄_+g!U޶A~:BG3muzH9*0\x jdjZLV17ԗTwY&+cxj-2`.qȸ:E AHp3=XJ=iҎDdWo.SnmyY>I[_ˍ)><̭: T&=|xlGF#¿aMU^5'vcc/sͯE[s rJ&-mu]ew 966 Z4qc]Lg')BVHK)>opǥ`)U%_Z1L}r;TbU󧔜Va@smn2Մm> *:v5wv#]Gss;єB=zqP̅.h[YfӇ[)28Z7Wh?_^,B4ƘtS{+G+`yd86E 3P>Z֟M mYDhpa3 0BIVf0ؚ̽.c%fi ,3)}[g!M\'v2|b+]rGlnb6g x΄=Ve`%HdwVEMhc.\T@T4a:}HG!m&+< <)8PC(Tek3lj5&id旀MҞׯN׾9Ǒ'{=mZ67w^ў)NaB3&NZhD-161|$F(W8{q=~,x8A>?q)JU {p/3g(j~ Ij{h!{<8{ÎsUSp\Tuf_L#+gRB0r:xUtWjG]XtfYgohMeFyG3ű'NAkY4)r n&Iަ15Z )ૃ}U0[˯ VvΫ=R7۵wߍ+%_̓3A B/ZN쥵*bJevY@?KQaU @7#ҲTm_7 gDtKҩ :-"z )T8SHbJC~1B+6{ pQhm-ڂg^^tF%q¡Ne|Mb "1ZDt*O 8Y$DV4f-&QR}Qsl[ͬǾI%DB<V(9 \%ZI(@tV-94;6]ck]l&:PLI[0@J+x~_U3$KF$7Xe߰Ϻ ۱L37&$gV-3:i=Z[7p_t?62|dOF;}=$篃2U@yIS/N)NPID@RA>,F&UP!ǭI3>h~^+``k! ^Y~4My_I$đ;ŲOt9q7KOT`#ۚΏ \?celb!Tk[~-<т41CXbza5 ￧SBkr8 M?t P~A2mݨ',*tjz5P &{ٌla'bCMg{I<Ҋqf.{Qˈy`̓C|Ŷ*Ydt=hu_Uj-Q&CMwR*Ph( [zP}gk)#o1z~-zDl%T.$䠾G⢈q7j$"uneY0jwk4Ū 2:?ar?I3nbxih;rQZz5-iрyTBty4V#u|2㍃=뀫&Tp$c Os;AЂal\!Rd t1] e+=:0wň)߲Ɇe16Xe[_.M;RM@.L:Zݷ=]WRIBei~ |1n<|M.p&N#Y{[j(͆g|T0OG[!}I 1P Qƒݡ Jσ̎[I%m'oʴN); .6l>9ݔI3R#I1.G1s&ԁ4uGLA:ڔ%3 P_޸lQOVküӁƚiŮmCO7`Ip1b Ӏ(URcKE.WOMdKvmH;͌2^>̓proNi_4"h3vE\е:uYD^K҃a4,[&^Kum!9$9 x;@Js ?&`"5e2Q9 <zg/ z vzUc2.fegbbO7ݰAzd3)9 89߉b1U%-ulC{ aI.qo`'my`}>>0Ho~}@/68H˟y]E/.pEWڂIOb#~QB /hPMɴ.\[(gřZߧjO:E_o3DJe{3@DN\߰4j8\ 4ʩGA}Yg8:ͪ^%wJOP|S73VKb0vQ 5#QˉɫX"a{wco0M󎙝)&>l,zpTIJ3غcKHp>rws=9e2c$uZ |dt(6 [A*7d. m!ڻL#֥z1~ĶoyKd&5o쳧E='Z2X@xb\Z$/kٕ޳)Vn>=;e…nXf}x^%oI'M.%?YcxUfh;km'*nk`I0Lc/^ AFhv 5r? ď5,W\F-d EY=A5G uEvPʘuCEs0l=l$J4]#ZO(pF/U.ʊ@\/PHia|j# K)PſtP"6$R$A ,t:RRѵb#>,WS%>b|5e% L˄"#Ect[[qխcqu=L@׳lnZ:W!+HnmqHiW{/N㍌pYyGU9)=]άa>C}hg%p{ G(q6QhZ A(x.SEmR [KX)+Qf2, uI8[tV`e_S7~ i>uiDB߈+*8Kf~4,K@vwi1J '6o9Yjۼ^j;{b01΅$7;F'F!)Z+<'#+P(tK ` u!=E8)'R_HmMY+\C)~dDUNY(db{~#~oy{7[)DO N#ij . }q^*N{>cje_[ɾfaGڴ XtM_Ö/dW1W|VZdRykY2&B1hmOJR^)lȲ R}^~gEn!~N5$n#[*tK?ex#uu}.wTPQzPe.i@(*kC<ʀRT% %{_ĭsDqA#3=2zPp䀀ᆵv Α^{V9G`xl"UcHASV#{<(.XMe[ӥdRNS¿,Pi#-Kq&Gi{ ӻ?(A5B+jgW#"!9yT*M̜2lV;nϓ*bȰח ް*qӨ ^풰 j_Q5/)RmG_͢+<*l.-fk7a~e ?~=挝Ne>MrqMJ?3\(=},~kY/Ӧppfz$JѺ-EgYZ7zXZִF! e]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>tվӃ+ꜻT8lł`=Rhfo(Fj a:FX4Cr̶ʞ-9c]2D` yQjyplw}x> @$n:2!.x樎5[2< E)'}N љ^@fzTO 'k @e@ݢtutQQˣZ߄ Bb0WK*oJi {W^1ADn9*&:Y&8#g:]"Uk{:kXD@> #˱gYZ7zXZִF! ']]ŗXi%L#HLZ-cx.e.9%h򂵩3d5sSvk/U#fdw+i{9뽌WphI\m(RN"_f/A;DP)+ǝ%  :>Ur#Q6Y@[{@dXjw2敶BOL+9x,?X| \8SHѬ]"Ro*Dz/4ضԪ hV4% zB~t' v".¨]4R~Wr }-R v:Sr;Lf<dek8mn-2CWtyV^_]ww(1^"cWKX+SY`|ic!@q=mȚ~XNS`zx̀^:M3HB$iTz(-Ue`k-oxl MVjh_|%:HnQK\% ͐ vTY{")ߝFj68bq!LuJmYS*nc[kBvSE9J;0zP߯5 {0ڒ" -xV+؉o1ʭ)7l4Uxfg