SQLite format 3@ . BBh77otableisabelle_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 cci%Dt4 ]/]HOL-Analysis:threads=6elapsed=345.755cpu=1490.828gc=105.632factor=4.317zXZִF! 4K]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl{_WV⋔6.9b2u2 rfm"fOq+z&ɳTʸu3kw^Ů~eC'yPԲ"!OŔp,h'%T͏*'m*(PwDQ=ƕrlepi ^kPFlj5ި{p8bJÝv+LmEXW|Xd2@kCp $]eΨj F^ O@M?M%TA2f@B ,GY}"}6$؎!_GD&>957Myeuݘpc+GM)#?-r2ufLʰ39 (pd?*\%Ih;c]N6Xtuic%Adt{a~~Z):x!pu$D7} ({na1K.{ |ٝ]`Ah\M D* Hi_d*{w!pn9tiwd<ɉB1)ę:p"Ax^ :#]U]G/^ Ñ\|O!@ɋ.@ƝgQb1]u0R za{,`9 m k_Vɣj1 eiBbqrAUʪ:'%SBr> I#@Т\y@uG[Zyjo׺_"@ٿxƞHGilf*RX)|:q^F* M ѨLq/a.D˲hL-+7:N'SQ<@njZJA*"*ԝ0aճ^s - 09z F.[ Se|/1{vZP(.qə76&[({e&5TcBU, ԏ5Y=cgd^0u/0_WтRXI`ֳvdh9jejBy&E^ɦ\-O$sXV& eCz>(NAX[qV,8$GAZPo>+"pV(9/l5%^ퟢ`!Ek3ɬp2thkɕ:82WF?Se$xMdbZ'^Ҵ hK^O&A}Uu?KϿrB~XVnXY;+\ ^ؘ/1KN\zv eơOZ@r\j _ap]^ӗ|( LIRbgNdKvl4eKT¥^X~ɪMy]ĄNqN~k|]ݱuj-F>Gudvr=CD)l}ţ5K u;Tۏ `] 5 s ]L W`Ҟ$ѕ``~Q2σKs]*v˓ oNʹ0<).;%(rsX?/+YoT^l@+SDG-o(.ya_jKZ2EI *)ydڏ(4:-tX z |5,cĖHcjA,E*(= ?ף 'tw \{HS``-[XtT"S/@E}Ԧ"K>u$zW2{'S TmXr4rGk7Rۿ̱$~p5nI^k~7'f>3HF=owd VGC Ze @%hر C0!;: [cxhFv#4eOc|<م c>ExS.5EK I<8aaϵv!u`DllU8ߤқqN%Lg.,cv5gY" ^!=dL9FUlˀC lYK^I2cnd|\[P _RoR@z_oXkffY'jq-wlяAa0 EH=Dp1~ hT;^]#"~=><uIQSKLT+$?Z}܁SZEM^-`W`%=)%AFNR^{L町t6r\TYd6~wi3C#㞲 M7v}_"9^zusi-D)";((6yZFdKmr 6mx{1<׷*i( }@ס:ciR:@y)؟ĤB^{ձMTUX3., d]Uh6ijET" @+Mg2O3Y]Aa͓uAX1Jٻgp 2lݣoٓf+oE"æQ_c@&M'x G KOAɀ&jY|8 A3NO|ݶ @.Sb+c{ADCvGj:2ճ#Mg0ԧ{Mq(;Jo( 0׃YIUuݿ}omK#8E';Gco@/5Vl߭gamSmU;)9 9oXƏ);(shEkBPSXD:!R>6ϕuiqTsr-9W's U -d$b:El{х&x+߅\i7tc>R^ w1m穃[Ϝ.};Y˪ SOl[R3 .DWnz9V%Y޴Lmfar6&XI}pL`'pR-pGu-ԑOfOwR⮴G;sf4U%|EZ((7(byxTZgKS[,4<6,)_'zLstd2i,e``rL:G ;}# LwpR=Ty .H~k[l :Ӄ>&" IxAHG3nDX"C0=(q9 s y- %͹uf 7 1ɥu33@eQ:Yו'8R9*nΪӜ{(ŸS$GvsA]9Z>F6p0utždo{a5K‘Qc5 v[6|28SQ}239v |+v;T_(Yxa>7Y<7RʼLB9MQg:q]<%5\ȭYthne{(%ǝWjv m#/&E_NJ%SUZBww_ӗHIͰL{tp5 Y!+xPb=DWxA!1 ~s<Z BVt[h7V@Z\z =!gZTH{ `?EYfO- 4aMc$\7We/q ,CR,`~*#ٓ?,f? )Tj |fydz\GJN9u*(ӄdHps ~k$"Km5 K񦢦p#Oy p:5*dGDYF@<> ͨ̑8TйzӅWLq~=^rv~pP1]hjq ?C҇cY$f߮a[>/#$W E<Olɓv|iEN<^A`Ϝ26,7.OzrkC0ܹp^^b#J,n&x R#!ZKGl[2oЙL!ս|i^r !;d Đ@Pn:x>&.]6]ӌ1AVpا 9ʃr,ye# |hKKۯi/N-m)U$?HlW.0BjVj馿ŜO"+֞ BeT ܁pSfDݥ#GL{p_D~o.TT~i_ UT6mFNBXgq͖ d[ hL,l"_3YpA~Im9UDu_W7+aഘMQ;l%xw xOIАL]hymъ]CAz] 0a.̋GdψP\ iqck7YpEFCؘ%Jm0볒E&#J(l!;#R5N q/Bj8F;6 rJkLXf9`; }y0( '0bۮaF0~v+<e/И"Ҽ}4(qS!L{}MdMCiqDsm7gJrqY5RwD{]Tj!IN <)Kt`m)nዓß=au `N]ANc}88R > N=QZ(-Fpnq3DO^pI2l .eZ K9LR=nX#]dXtyXBf,L.Gqw\:Gsj@07|}*~OK\7ET-Jił[XlۜZҩ0TNMqӗ=}iYu7hYr$x6cswo7',[NE: xW6_sd>{g^䕉DQXVUl.YĹpe w<7hazePsN9 .2飏k '*)G凔.nSυ[!h ?F3ClHG8Y~ zINYdO#"P%)N*^Oup慑2 %7YEcx (zHW ʴAv@+RLD<;ғ-sMgR+7b]f ɎGm4%)|tfCE/5͑Rp5c~ ?ʓ1NFb(}C`: C'|,gLHu\@+ikڪmdCSaoƌ0j*J>- G'nԫrnd_w!^؂&["D(HU>- uy6LJ68H\d_7bjsuh;1J1] M%#2eBK<3Ry.vg9<&^sx ^PU7S:xE6zrNk kb-AY%γS*,KقM3D l0hRAHJo/l,;ےd)!3ep1m3ak88|4e510݄/A{mp3ya OK8T*3]*F5{k߈;Uqt0:nuX@*?l$L+M'7 y.RU?-,vEp5o$L,(8gwpA-z͢x#$D -Yn/D)^pTv88~̑t ޾`w]%~"ɟ# &:UG%_,|;#COvIqmӫP9EtE F֥K܌:6wƾce%#l4vw(nFDymVcjEFz ]Xg;Cw5hBZi>KzATҫhډcfR"o]%m5A:);ՉY.o\جdYAܫ9~&dZ,p'.o_!ӧRi5C@z ڗWjdlZ=&1gҗQڕvRfg Cgؘ?q6(i*&O+0*,bbGK$/ Z2HfȢFm}zv"^ \EGm of:g>glkީaOAَ@e^>{K7.w=FF-7pMС,r1@Wm-OkEPBl_ Dݩ1@0wGbtZk&_ҸJ [GnqW?KK7*AǗ>T.S Y((DMTv¹=ABy$0a`TӔ ٓ NQ#P-ِRVóq;Z7/Elpk:?:dCJT*w=eA/UTWH dcSޖ;S_T8E8&7) nSg[D&#[ebHDN'^ZFcqFsz然cI(7=1iLMt|v]ڕ@*.Ӟ{D|V8UL}K pDm#s a_gM4B B 'Y- 2؞-Ȟ ԹcNo}ӿND'jSКW@=j`}*@ l4klsFq ʲ5|}*r#g';[? ѭh $.ad"ѫyY5rcXCA0ЂWv2WSj6Vx:]ɃU.oa'{`ΗlލZUwDO^Y\ rTuQkTԶɊg&hEW,bo{OiA8.XbOӱ-eifסJPi޾J&{ Qa rƸi0Xu@GIȌ-9^=1>hfHޒ^1TT7Cp@aJM)XB3av)F/vvYLU?_z\ paRpE5W LLׅxJ 9s`F\Gd߶:yi+XMkT:PogPފZy L0?Dv&,O7E0V"  xo;sD^SFDH^_ȗ~R@5"~HlƏh Ȅ.NX'Ret Œ}n@;e_F#x 7t5OϽ;C-L6( sO]2z0 $&VJCjْE Tbn\0RCUwHO2'{ ip=;sP[|>  vq.֢$ ڞ΀qvHYL 3ih*$wWjf&}5b Z.³@CfP0w cX'6yv5+r2p6P.iZvm6/4Zz5fzYmbw *>-GB֨(5@o-e˶{eZ,Nk4CzQLqQCw7B(à56%]j:)@{#,Ň×b8ughP:'f7|+\yVSꆣĢ֬lЛ U$LӾeC3U7ͪ}u.g*3x{]sM|PyqM*@z${Px&쏿Ip!$a;;' E7vХGspJXOKM8d+/qfEBQrR?dYc#X",$cgޏ]M^6ۉN2\S |bK%逓9u2^j{Q}[يNQ>ESWD0wmsl00 dl`- MH뭪nr\'BX͒;ؐ\BU7#nNvrkxj8GRBi%IcÆga+5kG\aѨEɍ^lXCX"ehPEDԨ H56̯۬t n`UyAFĿ{t% UI2/>ofx Uw*Lrs`F&;GcX9RUl/zS-=54^(z` Z6>z./3+ԣ$m!Z(0^2 wKWnq7 F ٬`֛'t}Ε 5=ֳ1{d:ڀЎtLN}XzDt|ِ9(/wL.RʲѨi" \#ftڠVCѿ)5ohI Opuc!waT:LِlY1P49-,RaIW3d2\}0jٛ`E7kؚC(Z1s5l`vD.Ofa|\ف&%NagdQ98ӐN2qz۫v"y!œWKH0@ T$e)A/3vP{8*9 zdޚl6j6/EYRsFԿ3J%9k8u$LR.'HR)~]%ø*c~,@;nxY0ƣ<Mɻ [;*a}qq !NBiX8"he*. Hev FJwVנK`CvTX4k+)az|;9.}-6oֺ&#g>n6N)G2ΪV9pdρmpk NM4&:ǿLzJHv3ǡt$ORKK8݅F cYoڰ^J(n_֮xp]3xp>I뒺ktᗪ@:C6x1 uz{m%V\F9(>vyx'{\prT Ծgꑠ^X&(:+eim#*gnA40m(VuuhwPK[V"BZt[A%oJVJeY{'<eebs |eXڿG"l.(==[F$ PybS!L#:q x^&@{_i!7擳5)-$[`ҏ}┸ ~ʀ`?&);; 3y'D=Wa_cdn]L_eLȍ7I{`ǧ1 QA4B#* -Ir(ڐxGN6 ž?CQ~e*9`ƪH /-DPILpMӵ,:U-nCqjVjgK Rl ?_gWS?\ ^"[^3m#%_tqլ$݌^Jz/>n98#0 MB5,/᜾ oa6`ܻʘŪ*7N:نPcK<:їNK WsbˎmP*Λ$X 8֊ o_nv$E%_q nW*:CLmx E503Y[CMB/@Ecj,:棭1W= ?;%~Row:M&C.*֪2ک,hR1t#'z,+NGLc9Gbbd6p'^ҁʯ-(" fu@lW/bq͉P uίY$)Q]8#uԁn n-P pKWޑY=.I+p;G$tPڿ,/C!e+G2TOTM$ q˄"&7ԟjH/iPNKR_Fq !B9;F  U3ʇSt`Ag?∈b.Kç}:B&1,йa0? jTԃEo5> +VtKWKmCtr4Lg4\ jyC`B?Ft/fi3<K_ʓ|d Ȅpz JR_fiIj)*ّ^%q!&bDzGWړ!GhČHF?vx< s`~w0TPBn5L.^qmN޸1u(7uJὰW @MO:},.͞$ &d}ntu)f,FyOd 5c=/muI0( T*,Q}ɠ_lm>-~n8x[hb7fOڥ}'ԁߪN'}]Dk;DMQX3Fs\b8:|\gƄnJ>`%G2-uC@}rH6{9ΰtQJOm- @IqߌY (%.p8e]S[ÕK+pS\}>.L%u'(8=>bObj F7J뺎sޅ1`:D4fnsv ք!',ڛZw^5vv\p>Pfq{>8'E B>ť&Ѳf<}7ȷLEJȂ; bJ_p}^$#Ͼxąʋ$e݊neS(3| ꩕6gc.XMK&1q. bID: 5w+Fɷʳyy3\Z>h1'Xl"UDu?p݌J[\2,R2U);=Apx©ޡhܖ0auI XBY5h}0޵pрU n)sŗxS:rϫu5\rWh|~).YExtZ/GAry7IyQmh7yo͒)*&PH!VU{p29 IJ)o6HjXwA=|^K,XȂB:"*9zߦm~oh_۩POhn 8JBv[-bۤ,a^!ç5:30Q0sT<A 5!Z  551'yzPȴlz28Htn9a !VȥY:nOɎ;S?̊ǥ%LAK uMAVźl_J,za<(>0B\]JIZL׵T._ #Uc 1Ҝ\٬j"~=^gSj.*yf5(j82r*X4u(cͻeOq)reC-ԭ[Q]79xn?)$cm΋hJ鍁Y%Z*_ԅ1((i*Yॾc%}l󭼆{ŋ\GՕJuM$ZI3u:w؝& ά;K{, ZԂpgB^B,nd;6p$WepC(ȿ Ofº hA;8ࣿ[W .ϭ  / ˃ӖNw6'i,ѿ$H􊠰&(LKU&,N=E1Kx1%gQHPHXq]Z*S*I`+Uw8Z@٠bB@n*mz:?aR#W: `QFd.nNwAƍ:_D[9 [F;&!7_fmpT b#@!oq̔CwKO*3O?}Jw?a3=ou6.G+<7כ#7;>B&H<{>;~: 4 o#ITZ%Ro LW.D()h[!Y,ԃ`|q }*т=1fUTz` Lέj# )o[WUDU`*3Gi~M,xK晋ImXJ؛m#\;5hWl , 6Omy̢?n T-y &f,}nD)һHt-O05{CǓV_tLUv$@U 嫹5Z8Se1ۏ}f|ۛIb&?c^(TURjaW<ފ4=f5xܱ<(Ӗl Fc2*"!_Z=_Rg&c#/S ߡ4J5;1=GDxkShFŽB WFcO".{kKAo!zR 6Ҹ┨eP޲[dE_|+^1F,rIQ+LfxazеjgYZ7zXZִF! !]ŗXiɟ1˦r!cHkMeBd4l\6zmGBJf]rŏ?&Z4#_P@cЌd/|5qګ Z'X;?h)EƹB `Eb{a 1؈Y?Yz&9]L"!Ti"Q\UOpK8?y ÜR7: '2!`Z6dkF:29)ЎfPY7`]F);qpt2XP%KԔ|&A 3/ K,|KR3'i@g}Fx6I2qNFҵ`7?3ҷ. 9k| 0-NלV; P@0lC軘cZV8EGLh -㨞,(TJ[ Sw&zaB$siLs@H!d琗|&ƁF j#ѼQ8k ;v[4lpo2X Bڷ4l>4m+X%S.~ x* I`DC Oؐ|Up^|L~aqA}<nUS:[A/a@ivx(쎇[I'l;#=9#I5HO)1^*>#3JU@sߴyz2P[B$"nsxXcԩޞIH+Bzp\_>'\_ aiL[IA=]j1>^](ŠMdSvr6ZucrWZ޷{zPwu~S&?gfJ{+swx!ʡ25N[{f<^?pdFr֋fǿ.5#KY9)~c4NՑ]4,Bϒt d|.R~׫Д_pi_W_?={X) Ld'_&1)/(5: _P||嗗 ڀu;ʔb[ 1Q @4MD`>E:Ax8PmrܹrS n.18[><$BfgYZ7zXZִF! $/d]ŗXi%;X7K 8f;p?ȳSvs4tcB/O,]p__93~D\$_߃d*Lπa-= ߊ, Dl:yp : ,F,snsxU-j6~$kf^gq]I~NL&}58wNY#%^XG_CL9I5@t#Ȉt-(zԅhCCyn.rJ [nTm]ڌ{Y&W9$x4Vx?nk3*VY%l%R2PYK=m|*e0ZVi"]ŝq@6.O{3 EĦa,1,gEAn-WL~PXyc]EVdEf|'M6M}-%Ã5,|J`zc TAݹ e9>(.Rҕ~%u3m#8>WŴNk!s)zsfbl2bi*; [xLKgs7]!GR6ʗwna2h{p7PDdQ5U;?Lʟ~2Z lTHՉ.j܊ԪE:S춛[vh1ns,Ч6}KІ ,v?DxGÓ m0BF=QaWe9t#;5w A0 svCJA hܼdᐱ{<$;,^$UKH4r,+ ؀xsvk 9pTT01#R0 @BI2I/ -h&r@̞aR"Qv^+7],I :&seZLdhnf1=/a/ L < տNd ujN5ֺE&J@v&,75?l1M$-enYgHÕ6]-scZ-?ٮ: >J P&UG~6h'Hʐ%"SϟC&G>S␷{z5!l~Z6}&z ~ ẖ\kSFfKrWRE"I@@?VRn~A=i@nȲ${&40[<BQ4\M4ǫ]J//[4aN$wQ){r@ \( 10TsSK{#vЋ7~X5З_OE@C;N6wt+nb]]U!7`Jkje@PWWfL>-u͔#Cu掴D{70mwO5ict-<=Ѭׁ%u4; V#ݷ:SNmq[gj#hD^> 0zQ I ҧ^? _wK1G9bk9תԠS]+dLy!~Z7e]AzT$wVb3KI(Mr=)*P٦vD,,?QHc&3m@&jmLN4</P0XzMBGw$K #OE5gҎ9b L1|Jlӛ⯣^_%9{XUκ»=!D $أ,nGw˴{nݧE60d`|4>IMm޹V>dvr^SŞxPc?ϓ? i`˹Ƒקh$O'u%ꩍB| Fchd_yY!l 4R~6U2ix@C(:"g^:( }~؄d 1 w;_{~<1[rDhBܷZdD_D]OM>b{tЅ74Yv A7@w*/>qޞNnʘC-аF1H-csW@T.ը2PW\UIjM{ MQ7ݨ,b-flf6 ڮXlZBe2(* R׭OMΙ _#A(j`@R5PtO!aJ~G,5L'~]ԨDQS2w.5Uùe f`Z^FSOx.GJ*,/`s*b Wc> Dv5.'/DJ0']؆\Iau&LiC#&ɵzD"g3Ya=Yr8i[\v`K,io)t_BX;gbhl+֋=:$StëH4?O`/ɤ_sFHkb4r|=)@׍8V[?c .k 7~n8JJX.7a5b)})GfB:ځS}e $ &5O 3|&em@ꌾʄe)Y o CCPMǗuPEPLS̕iVLQD2YtњxF^9…=on_™1ܼ50KӶ 6& +5b Ơ19f8;&?'~^^8H,xQ^N nւzlEBCp\%uN7xxp+ͨnZI,+6c͒ͪZzYS-8tQ2ёl\] XRgBC\}Oss>I 7y@^R((9j7BϧUslK5n uH <ǭ}oVRMٌTk'R*VC7vj!a uS2~<Ggm !wEeD^vF#}xAɜ%\nY梭G'=].t~Y2:(vS}A5Cm5vy)j?F')I`X)YD= 5̰i[ȥz$4J*<'|Q7?_Ӓyϟڟoh 7aÎK 0",C8XI0L2Pʃ`U1Dsᅙ>>7ǽ<9J~L\J ɹTlL6HP3Z2NzdCKĴ/ 'I`|{H(EnJVci{J3"SOb\Ln93;շ&~X+U%x[?4 ePôVe8DI4j iRaO>r*wK2P z /sA|^?!qH͋qY(j}-ýcT 了or9H &dN 6PN(BK6ڋ%h hz#']*b?ol0k(O p ^ýIn &QχQg}a!%8(" iOq/7UB6&ҠlKs=v34}C9tkK[JYkV,kRF!V*X2vs[ H&आH|I? Pqh~.FTg0S*!OU"a cvRͨ6`I۔aqU!DzvF9t |\%&s;XC5`l%(]zx'X+3էਔ l6.o9YUfF+[>P䃲S{/WbgDokȊ@Z(r!UP bBH=O>I_idXh} 1cr', ej;C,KYɶW"*ْԈh4Zxc͋lE!C3/ 9>ujqS_ :T"//_KĖEZAPe8yωSl.͊Stc09IqX,j|%/M$pCdOuzBn;#mm\%Us_o`$)A<]AۃK)j~=ZaVoMr+iYޚHlDʴ OnO2z^o֝,S;q۽_lw%u2BbLb!("Q\e#u?4krܞSe۱y+3'a7 7'?Zh̷z#T:Lh}CDtYjKqs{%nYU9pcݮ~l_uiiT -bͦm!, A_2 1(pWGeU~s-/):-܅[xuj@7802#HmaÇp<הʥtO:mrqk/ĽpZ4ۑdl_)u(1C Y {&]9Z CAҕ7 b0?<"Yt*,&6!mKnȘ Mf]>:Y=4]-$&ԧoƏJk>*{hDͱ%0SXcQj!~;zGŤ@44_ނzw ɽ_E>bq)}Z l7ٰ|+ޱgxE!p+8 x ovՊE\HFO1ؓOx<(^ n{1@AuAι[u;8 }Df٩ƀnI[@\cZ \a똰,:F1̟X|DjY5%M@&;pgkB$'tTEۄq{H+WSON^nQ+S'Qq_rtnCY mfl8{F>80Sԍ d/U!w󏺰뙧r {X#k{*8d~=/ݷ7of[wuWjbGweԒ1A7- ഷ7i"L/aV$W\ѳsjtjTT𐟃ׅ1Ȭgҁli~ Y,rjMF#/QoVN2s5XGYԠu<)tr/RoClbrZn㳱=ԞԹc 4wm:4T:8EWx$;++ -Q|q'QF=l6$Ld+-ȇƵt,+Hխ W3[>!=@"&p֫*B)gI}&k?T^c"ŀE.HϬnD'*BaP-ĵT}E mz^jd)oZqbO[VhzSChM"824 @uܴy䗖HV Rk#Ŭџ,.msi6_VBk1\[(uKN<_[L1 zTKL^+[m"erC @4cKh svߗ-?}Oʶ0قX{%JIgTz=M.L G7WUf`|.@w5{T$'*m/6Azf_8MWSY lPRLt׾zl5œ $$o?,F#SY0X i"#c77zfZMtޜ* --@@|Aȷϥŷ)EP&]$x1oXB't6k/ kGnŗ]$ݳK**E'UtN/ R:EƻGhl1{]3|&&3 r؛P扨_E݉25d0b @VlǒMH &߇, 'Akp!c ,HK=sE:Ko[r;ʍ]oDgr*)AD=p`Yf|MY,۲4Nk7w"cuHpP`]F< GR2˩$cC9Ռ3@x\w4^,4! Ɋ!!%l I&Vrz똠Xά-9r S]q35Ym!qz! `d:(aё#j@e+@-̬KVuSJOHaDEؾUELlvsG539rC E0mHNYu?E@6g̵gD@/hG]Aj0p?E:B|] FgBBiU e$( \gl&s/`7urwB&@-4Rfy1 ~0}vN[ ՞ihf$Em婴Ri,xb.O<,*U۪0]fu'>GYиc1R |5hlV¾1sxTT́jj?#6/J9rDHae܂_ ]s=z4PbC~x />d$wv=G }輡8\#{B@ejCER65Fd|.+ycySqj;$IEhAP3jK!"xں{/Amj#SFkdx4,'.~U(=C_jp'V=+*%4gS)m TNrT VcYO'ObM=~l鉳^>qq l L^sWuC )K0 u̐.'e:·+AO+:9Lba=Zc_MukuQuhº-.7"Inۼ.L?L/irPBzB]?UsWؔꅘҎA= ?Iǭ'&B$bfܴ/;Rֱ1봤Tͧ}V,{ͯȧ°}Oќ`-:3o E^ȄU=q]W00'š$75 2 + T))oMA.#RDT1剀 Vx_CRTu(}惗09/A[=9}((DG(R-Kd#e .;|{a`'E+u%o%)5ɓe[qUp'єݛ)]i$և&.q,l )|* 3F1veiwDjBׂ ƾa{yvL8KL:j3>WŵͶQ.-j`٘NH/} RVhS5x+*#2A:c^ZvҁI3}HW?v+yg s6PkAɒffL.tC*JYFfa ̿IJL;}DO3 :z{TמY9gƟ%0{R$T},nlףm0]XX]>:8s{[,w玓= +^X%h!X2zNbHI"}-]32DVfhg{LX?a4VM1 SR qIdx |R? jdH-{װ|u#}wQ5T,9J\,1d"6ճHXJE>kXH,x`tU@ ]Kt(21y6L3T #Zv4Ʈh3B,yVSJ˔<NJ9 N^dtgw zI$ jECuw92; i b.q~L%ԑ;pªm>u^mI"ߒ_i!ݷRY٤䲢/;.wN0<2Z&-п$KYן(Gi+d*Eps@j5@*&6UNCls*KHe-0g/2.3F1>VUB֠'?x9au[_S[iϾ,A|YY&Q vcO.bi|Fw@h2$SVj e? 2fm?sV%|S8, NC5d֞ΏձSI~Mz\>!rl[E`DΠ5a23 ,W"$T"?s&z8^s-' 47M2دb ل@Iby'lQ= 7D0nͩC 7 uND[„MZNЯ9FyrX\R\J@zp;ENBp- tN~@ncZ3 KT~ϒޱOl+Q5)3@#XH>$ƴh9sjoj \ZP~1<)V\3q2>S`;`vֶzE68}Q8$h ;" Y^I;fY*f?:pgAٟ6j;׳{AP lS~vPɝq>qv1gda,&W2-Wy# "@w?]n "`Iʦ@P<;+Js6|68 Aְ[[ X?BOހNz6u3޵MxET hG\PJK&H~8+Ʃ1:𾣽@OFx@^aOEW{kP%=RۢHNG)"!DOԻ%Ʈ~hZ>?Ir> p}D#`"Q\d،/I$A$"fGvwЁ.|d^p$Cw>s2Xܤ)Op}; E;Yh55y##۱d ǿ p+7a71(n)0-{H^>{i-04i>/5fR3a\hlKe G`fw$;L1…S޿ K8ễZD(4 Y<\s֥ɵc$ 0$pEKuuq0jU#i/ Gح\<-K-:'Nb ge`LQa?kӹ M?*ٟoyA#֣OB^f6V-wbn=nR_yx{?!_Z80  V7jƇ{$ѡn*ӧD!%Љ?mȆ_(7֥#!|9 A׾:\nP!/TReeR?/+Xi8VxcOt35X*#>?D>{9fys(L3$qݦ=[;z_?A|ԘuS])$/5+ά}ѬbwGؼ0hueC^8-avn;(@PV}oNg0T\$f9#aNtu'lTO骥GZF]!ČoBC E|#) tbNh#8D\+8a^=Go mWm5Jg"5ovw P~\FI+h$4c9bq9;$5t@l>$*݌ u/Iw쓢#w`eL.#Kq5oHb']nj*fJۓ^IK[de l#9ҠpkmY~;rONӉ9K[X2s͝=8X|_Y2G[ 1-AR)6Æ3s䏘a:>-Ao®E0k"6w Xcֆ7g5-4aB. W)0 goV)7gMtѲQ4 | ?GHXE{\C5tuYݹ; FP @})fc E զߪL<4,+K@تs؆#r=( F|zܹj9UX`hP "xH[ii2txH:-˘T~!QjI?IĚl1:.b>oH~7OҼUXetmz[P YV{- 3Czwѥ)M$©Px(W8@5rI2cJ #g7~1vE|WEq2`PtAO32;cnͨ &=9ʹ'| PΡskgߺ̺7EbR@_$}PJ2946X؀A fWu$~mb]Y졷LjVQm͎EGDOꇜBt#/ġw8y@RS" #'V&z)A ˽/m=МG=жФgAwBv+_ 7L{%'|AcQBƛF< T#.RE)҈gG] )-]"O4/8EdGɅ.QB:Kelh0Op1Z2d%}خ'اE=Q4ep0a+r֖1G+r1O;^EG5! ACZT*;`| ŷT}i S4"yل0iPRw=m>?L9f&)3)|V?M0bwT. 9q<囶#O0eh?I3Rx/_h?k47s%qZV5 1A9LM#tLo]@XFgP&:8o FԻ)`žOD eҌ!kEb[R;yWo'|$Ԩ]3jy`LLEzp5hJ6,;^g=jȯ~~m&š\nKcC'Ye[(LɹQV羥6RXK'?W'= 4F$$bL]]eS6ʨ|4*2it(-|€Ld֤A͛z,Rx [1FH0 ->| ƹ>S9[( IČ o'\z8 Si@$Z] `Md/e./f7'j45 HYCE aen4:ވJtn1rPӂW*0>GzԐRjϔk*dƐwh\m} F6c}`6#] X4Bs9Bk.(^ blVTGAQ_'M;<Ac*bb(x5_HڃBHb̓MwVl7"]D/i˰nld8I9px?L=w𫅇pMT1\ŧfԯFy(~P2a%fMQlD;XE@Ϥjo֬cmfq'y~B0{f|TrQ. *3^! OlK]nd`V _58oW,i 2a!! pZ4Н#I3"T;LrmUwg}kj ysFHaweS):Ǎ!!(goK VISŵB-3%`#i"]24_=MzwF_m1[I%o;c=:n5G6!Kn uL"h my"E73(mVoϺL˛ԷD&$eǙ O^u\bHT.ob{ kh˂>7fR`TIX8k ч9lG1S,%4 WKL<;>,Zs:Lf:`zh2N@{#z?v~([ai'|jHjvV׃a~\#p3}<$s&FH*^wbd?`Al$ 樝zStם__Gpg.ML}uBn^/TLI}CF<'D+m#& LD@0lyjc Z-X%" 6g}5u퐐epquWrT n 0)ݷZuUYS#6;YӉ)^PQ %ׅm-W#+#b'(QlƎRbГSpV3Ű͎i9d= m3CCAVD^@D~!Qn8+aq<SBFOei3_$y uLZ쩘mIla%> 4Zw>q;b lM({\aFvAwC=Qz =#Hsҥ@j@!," y.Y,x"MTa&4O `  Lz#ҋeh*CtpנbrUM*uOԌlk;"έ 9/܁ؗ}4=Gh"L} C.rjO/zK'vxE(c>2~x3~c8A|= I7uI>gAHCX'ڭ+]ݢEoب?2x9jG[|ބ_Qp k'LcW-OAHg:p],KX/,g}&B'KQ]i%kGN}5 rG|pzo4ۜΤ/ƨҮ$Lq Rp܈ϒzfR|H߬cJiz;W|t2/3+$1;xxKyA}?_W%r6 297&a(ZS[ho']䛘oX[w9:6Nhz9"e'Gu@kשS|@mT\vPV2h}:Rwԗw0g̥?+ט)bvz(vsV.&p5 1•&UX-^fM1߆WEOˁ/` zEChIK36LCOBkhXkqZ݀Z3<>PQ=cp=h|m o(ֱ7 yrC`5Fsf{"> Z57V"d Ei6E;fqڋ  (j#Ք@"9qW$~X9Rk2g }^=`vŹk ]*?mx]%'u1[+MfF"靸o;\;Ğ|;*k g=:odHKSpoC\yWOvvݙ^h \XZ4uti j +|J-q-i6'eH<)=Rz= _4Of<@e%{ qV+3r[R;.¬^˃LXۛy -}LLb@%} gQ.,!çk=G 﫢Hu"5&(ڧψh~Y3cspgҘpr^z1d}p_ mw;)XԿ͌xGtJ.V#ջ :!EZ5iK(KOkK!=.ji,v;-cl폤y &ňU5ѲpS;iœgoVW(ȍJ3-`; ̙ O}ô8nnOg-w8-X7c ;)Z ,~,5RE^A}ηnlqtUT<*&!7/Ms0X"EFwH?)0ӝ;p; ` pG +LHބr(X 5*R(?_}kK6m/Tm\Rf4TIi;|0.̎P˼}ӆċ-RC)J?$O \W- sQkr_/]A>zK=cqݚG510Z1m/G|6<1l^4] 7q5sSoQy)RGMdX'B1rum  #!Dے.[^Rn|' gcmxT(`[rqP5ѩ t^tY4 iȬ7dA[>e*|4h(AdYΤ"P}[ȬBH")mm+Y>cnYÉ7ךU3̃c?(X5Y';[%w1 i&̚SU89Կ[ܼǾĜ L[bQh;ix9mmɽԂZ"+꽉mV?nxelWz<}<0'fH@~?dCRȁk~P?k$:6'Q&DïyqdeP{6^CXvڈ9Hmba7 |mqKȋR/[3?M~L`(%׆_Cj0gYW5;߯#6b;91||l[t6z=v'+6ZBj%Nm,֝TV` iOJ&ǻ@*LK_%8OqV8-q cy|2!b:;Rӕ`"% &`GD.GHEqA%'KRuALR  | eK\^g5U>)Ajѝ87 /FM+(4@vZ|S(QM<)ݚU׍@8/ƭrip֚{FҲ}:R[ Ͷ;4;A]z A7'5?hZ8=f`Y2YlȀ?r)BiC+{Ed؂fsa+HSۭ˚=rFi9fisGwGvC.|xYĠ)Vho3fOmSv :g_IO,]~9J*ƯPe V!8A=cߴuRqtk'JS4O"k\G0BK>"L;Q=:U&w( v]m*ɮ6m N\#(!MYv~5| v8?1R(eϺOήAFnot3YvZbElT1dF&`{;a,MߐHmZV \&Cb Xz \1jD3A{٘r𮾩YB%'v>x o{#` p1 9HѸyNa%t#6p0phˡz㕨&\p%4sFJ'K١  6+E. Ϸqaq8 ~"8?DwUZ]P%SI)YW hu7l;#O֠YVBՕg̶ջ>-Q^g%aMɡhϴ.PvlT'~ 25^ٵ Rךp?{Ce'd%N""._6"uҫz[ӿ@RI} zY?:F!\pO)Ӆ@^r+NZf }r  aS QcIr n!eܨkD +çY˜}+sj~^W4o a)?U^UЋ2Q<7 tdӁ8%%QUH|+p1֎-jf18ծŴNY63liEPmF[;S)&l<a4(&-5S(-8Lɯ`#v|^HCy񠉙I˛'Z~͚%r:E+OY-ɀWT/Ut%fN1y`~V@Oծ+$pQ8K[bwv=יӁN蔞 #vFSȂs#Ѡxq' 1H!"]L^ l#?VەZeJgy9/>0ˆ[CeZu6ޤ0f'TmVAō}Mר"" ͧméig} ,vl& ՈɣUYLf%GLr_Z)q^V` >Ə|Yp;9(˼S +ڣl-|Pіv|BHr<Axl;rbWh-xA;ڤqG8u940YQAD[*Lp_{qI+S~ojU$AW/>7PǦ[KJ̾< ۑֹBsq'U@\$Um71*:Op<3@㕔.ШŔsL.:b>M>+Y ?^Rigz8_dԶ=xK ]pO8" 9n֠:P=PGdZazȇKә mb|-JRHsլI3[rjFLm\DtѪދ-0Jmaٳ6Eܩ)n%PuTmtXV#Vr t! TBE*H}V#>eW>E{:+vl5g}|r{/tol "b9S%1TȪv?DM>c+^@q$NMqFB%A_lxHꞐ l!ُ%$1Bݡ?bwag BzGB d @DdOUg 4 $*FɩM,mH*XjÃؓ