SQLite format 3@ 7- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 NNZ#l| o]HRB-Slicing:threads=2elapsed=485.757cpu=925.168gc=28.520factor=1.907zXZִF! 涩o]ŗXf1-/6vRZ;Rs # HRB-SlicingTcvhiNj]MK*ݐo͏v*흀ˍ=ƺdu*^~bdӦų+ry%5F ^zjN'jX"=.A$ŀA{BQǵjbAo|qٵw}‚zs$ ZԦRe|Roo DT7^ɂ?f3[Z,)"B;/Yy:41f!q Q[@DgM3ngڗNZs ABgHvBs+L"]^ >I3]ٕ\}}R]w!!#3l 2z£8r8; +pȽp XwT(H7N~~ I1BT#׷^#4c?`i)^L$+ViŒGt5 wzK./u.miG{0>gvu*nGaQ%Z5/e =ؒIS$OOj[,4e9ZV^6OuȌL|q5txkͭooUq#^^j!N[Y:ːWS1IU7[yǪhVuxEz[TI67>!;wx_XAS,%,-Z aù m x$ CZWM&@,+!_ $tB0vjzY&ǴaU7j1@m\.h]sCye"A_0 HWXzWڇJhg$RW0ݠ'N퀥~K>SmaX_1XL٭^ 30a WO}HЇc2\ #3 2@g5:ü&=pO5AʂS;2&C-13u.y(qJu"idɥ{6;CD =TyWo(+l#62|;;7Z mb-2+Y@ -Ps?0Ty `VgRacOd,'|YS+6pwss# xRdx=`h!/Ӑ'#A?+T5QJaNIvӧ{D[FyIq+ɓn[dOr)I-u" %d 2z|0RKv?m +#+!$K 㨿Ivӈ4v;;{oCE=N \Y焼_7fNzVrs7j a!-.~L7lDEzy( ~/c42W 4*W #1l%gBڎƵ2~{H$Fgu 9 v)%JE/@);<*66~]b -{zcʼn&__Um|ёf*e  <Dc\s9j/8M)S)y d+=׵kg?!7)&7Wi鋦a/{K$ByS?U _f &jx1]9rZm~0D t@T9vdن 7y9f%%?e+Uh>*oEM~jj^#@^n\;G U:l'4YDBK cU[X\Cb&Jij 10h;cujJ'2rI! Y ,n{4+Ut^R?T8ѹ{%Ⱦ@Sl! B}V싚f}dVp%q. ?bNjf wѲ+  }SdLBkhW'iHvMe,;Î Z ɊFM SSnLe9Bd1u9J_nb_h  /6-u>dc'lHFPy51~_ЅRYMq@.V4C3DtX.MZLʯoޢO2%m$Du^7 MBA-XpЭ2c)qg 3B=a}g'Z oo| 5C4#&r,uӳ 9Hq$l{؃YvEv8=HIT`243ݕ)WO|F%XB{j*Rښd忯ܧN&GF$wjҎbDfkC/os]=4…=tNн4 mȿd%J[r3CVK|T$OI'yȉq8\Pg)V vM#J"Œ w ztV3po.ȳc6v! `8Z4ĴBᒺj՝W{}}( +E%ǚh/i+m|1iД6c97zMnG/'ebS-lޖ\@ˬ27)U|u@fMm;TmǨ->RTI d'o«{ڙ~db\G+#@|QNkjzc"l+09wg>8!O=wKB@ZeM+ګ9IPr#7pSIWr:xdu^]z.WX{QC'P?C C؉8\+?lWvf-S*$h"˃&KOc㓇Ng:EԊt@ 02S{û#I[ęfk.vsx]Ƚ3bY%X~n#.CpB6["O W1i{u@fk0(l!ex^eF-"iuAyV)+́b>*%B~ ho9Lo paMz o gO`!zx)-QG>L~'SEP.zY\եn4}=C޿h7:zD5P- tK&y3_D$G n094 +-^1$oPJW5yejgn MX=ɬDddCH~k= r xxgTUbě-6M=pXedMh^;KXxPV«Dip'3vIܛzUҍ˒y co"Ä/ڲ¾>Gha}  ¶G. V5+ K~ 8\i`ݐ-Y}Gw\vSQca8CAi枪G݉f~1g-+ i{{Zipʹ,[4dGBD0;LvN'O G6GǤ17}$g  }vJ)$MҿZPpUe7I5)UCS#ʒ@ax}t%{}yְ Ѩi]E ֈИ6![%zulOHIrӅޟ4Li^:$$yΥʛgm+Z[qUvn]`xZա :b- }Ik2lI(D)-Ba׺@uS]d𭺳c?{/2? t9J7.na9Rlic"\"$,x\NR "_݈L"Swmp <͞6bq:+U$'MoJZVoCQUyEt4R߃NO<"mQbyH邁R{}>&t=Ty/TW:~ TD|\T/{ÞD9& q}<I@uR3| PH 05?&ꬷv=nu 9786Ot63@vz@tGDW.E2$Pq,}4!¬QL=2~6}I޸q-YmZѷݸW⥑zQyS]6pUW,p6{X§k5z| Y1UsEUr͞=T)wӶ@ǡ^L渤Ŀ"yA_@%"ôK]1bdoEAeQYR|vOCe' Q^/`fᣕ#& V7i 0#u5jӕe8DnK9cwMH/2R?UR+"mc+[NO6/{վ%2x]b 3w)C$SYaf0M d5=kĹ:$uֱ G`>'/ѣ=v|@&C GzB3/:qHpYuN<[&'//N׏%"@ E9eCTatj4ϟ},'NTG&>T;rCob&f0<]"cm\On`&"7ہ!iՍJS+XȤe%B\N%Wd~ 0od!gI}1※T%W=:ԁȞ( *W7YyV,8&*2<*EI \`g6,TI B>2hKD٢ZOD'K< [+TCOW?,5YzPDq_'ݚDZ5'XZ74R[[PmFStˍK"H#-k50gl Lh]ܔ}F7G_?`&|2+l(Ҳ'cR_ǜJ{8%<spQ>KWpٛeE!, i1U8%t&5xN c".j<%uW6̆>&)cA2֯THV(6iww~^ȿf\ZMj[heqX~a"Ȇ.̧pā@![G ΈmJ%ioTSMLLy1BP^ >rNВg o(n:]6J]x7,GS@h"收\G0`wQ!Y5L˦fg@#x}@fgS*[>%ⅷ} Xm {> U{6۸N ~ʁsawBZV5~%F_GvYRtsE;gDV34I=YexB4%jR)2!}w0oa\#iijP ;&2VI7 oySϯm?lボ ACje7?o=!V&܅;Rzd\/zɓE$[`}hcVαd~*tZV/307 SWbN4 =j#("h`u7ҡpZ 0y<{v]_=P477M)fqxy,k9ɣ_w{j}8:`l 悶 Ίvuc5CfjP/zSXa; NujQ!.CrZl rF cTG(d{,;/wώ5Mk >A=CW{ )<4a"j 8v7;ݍ`L @au=b١4[&fEfH2*c@I)&^.g,k",$Kgی"YX3@f=!T8z{0 ,Ru* $ggX֝RUrRj8mB!oa'6q)+Lop/p{0aUGK$ꤚ?n3Iz: )A}oe#<ϟ$f&ܩ5 ܛ2Z[X~SmCC޳#bLL kjѳ3.[)ИOh>l1fÇ%& ՓtS 3Qʍ*sumW9imV S?̩}ЩzjHNGCvqwnխNh&EDZκQ')Eҏfېhd1h漡ތ.hw\}-qlޒ :L[XVvAQrAm^B [!r  z3;N saI"(A"mB*fp"j2ody/yYcY i!CU*O=Zb[;ϘT&O5nذ xxcc9n/VGb~|l,n!qu5&ߵW~*hqɈZ9Ć?fqba'\z +6utMz-[}%d@,-Nɧ/کŽ齲oIXe9 A9Rv8߳qTfB#N҄͞5ZYI')KuxPW ~J?:}]qK˼$_Xw\1FQ~R9xu `gr\V͛2{s^Oc7֊KˁEA5b >Tw~F<·dla 狐TJmo 0C9GaUpN1fKiL+rzSΚia*pWI$5.)j̓J8LJJ!Ե&s{-tXp.r1WcMz@Ħo3pۏw i9'/J1g̵S3>֣C8u6Re7[Kψ\/N-7zd?c_L e^2xDPXv]J"04‹WYEu:fALR?λ'NT_\Ը 7 zʟ??}|^9O.G٫RL%yu?ϰZ#wܭPG*znžG^s @[b{1 gʦZ󋅴P#O5+[go\kED_#'MpxL~-jI L!P:~O)"auXTh"XDPOkɷ5Ya= w 󡭂!p=\| 1v b5F R[scm Sf&$GLw0 DdKV;|P-H5Yk/Vķˑ-*ڳHTbiPwNrS;ۂ{>0JPgե(ׁ \Z`Kw *Hr 0GfjDaỨ4O{q#Hi/L! +rTC* 4D.\sD*Ըef%ݷ!ה9eF3Q%`+tXFqa}ߚ5ꞯM=bXi.%/\Pv̔[@^rX"tFW#κ .>{G+XBnSaQn0zeHzXΩlz5pC 'aPgz'ШVю&Ѐi@"nhӝay׬w4R/ (!0+7AxѦ| Fix24z^ya49rC:p!獟 zv1c 6z[[H>M BZz7*8,h$s_͉CoJ;^O(-a2rX/}[n4A)Zg\S-Is d"-dSȖ7'un OW1 n/3n 4MZ+/8!AP <4ZJz<1doaѰ0<ҡj|!~صSl~Ȝf!b34{^|l[\;G.0j^3XhX)ҿH9eŭ7b0PP+sOy#BP*PJv"|aRg 59"@EP2.ump8`)(D00Kk 8,侗]x‡K啯X뺡j U8:03S,r П:tfCv\ hLR7!Cra#|smEe ]XnZ jGNJbDnK;4Jl`u(k=H9 S˫*$՝R 5ʨ֎m\]낢^8{KC%YtvQ]Z NΟ8Nt Em{?2/:|M$_I6xuO %F$YVì{:9nV/? *^3Pwf #3ڕm@#'jtm0u0. X pB$u@p˭ΠVoa- ywK["A;R,/lE%n:5kcmՈ LĻaXvM1dO?λj-gMSdo ]Ѕ#%"L Ӱب_O1DD3y͔ǻRh}6Hr=$"E\7㖙ń0:p*IB2^!P Ĕui*~V# fFH6mm|X33!4g'|mHyJV[岴!tOOIEpί_(Ps%}jXewЕv!D҇ [[J32ɨTaFZh~9[A3|N]j<PmBĒF߿tz=^ڇgDs=`TiMRσ!1 L(@4ueVnܟAD@ ,%/Q}t_b?X|'X+^+zMY 5O3ѥ}WxikG^pn?0GYqJ9sBv>kS+Uo+ `qǚYΧLL:%=?/ãOlnxNt9󈻭\ $NiyK]G:W+% MBٿ)]ބ驊ĄKOWOxQ6}2^xOÈ^]! C=9_F 7P=twq|l'vH?BwA4㊬#2(nj;Xu|jVnnY4n4wL Mϣ?ŏ>t,pq  3&x[0%j cEqo fּ΁ӂ$|&8cXKnTʁ{~@7fd ;;'#Χ4ŸK }:6 2$%ݟӶ~hW?1)_F-/fxԶKs%/2B^H|5>.\*y2!FBi߁P1ҟ46:6ǂhSoخNvb렱LsPA[ĭN͓mN6hb2f<2`oɺ@}{O¨$N 0K]oNQHN8p^OEdO"3SY1v{jD"uTNu8f@4"ى5fF9W&C#nbHJ/pU{PܻpNZ/×XJsոVRӱײȀ*d%!ph'3k:zAΌe)o5c4{.ߤ,clUOB?eWBן{t52Oq, " S8>{<' ԁYjhVG]HG&unNI3ݡvR}`Gܲ+ξ`J{4<_r?:+cPEWr ZNJz XQp 1,% #&zz( Ho}%nփ0]~RkնwipvGXN|9H3 {^c%peNy1^۰kDB_օu;0??bHmF ֈ ӓRǬIk0\-bV/VQ33>& ˈ k:K@/Ex*lܟ} C*e&7"=0zRGsK Kv(H^&I"& ξǏ@Egժ҃Nv9VJ`!Nm>gF}T?.XjZZYHHCNy9kƜ3Uղak1e|;i4` %@RY>S{%\if. M~o)=%xo0Kl8.YsDv7PsRG\'80Cͮ'T|m.}\c9{qhT,MJ{<~, q7HM}$6we̻7:Ӟ:Ӳ`e%vǃ(k !ÊR<@E XSl?F`>Ko q5v&EF G* ,ȺUEm͂=&NhU/A!칐~|YL..Dmc,0-hE)ӫ1lyԭuPp͒ bPW\q ?ɡshv9t g&Ӌ\5IaR}r].vWocssT|gBqn=M6L850*l3‹Le>2NwV(;l0W/{zMI,H7 |czLdP\!Hc)itjl$-W)3| Mamvaf-2œ(ee7aȺ ?̠\2Q8,5ΪMAщ]KoDG4 `yq/UɅ&5pS6ϻRL׵;8 iL%#Sghbo%o!tվj{tgˤڷ͈})qAgmu:%B2xRCJY#PF}[ĔB}VO 󡻼LټѶO_gX;J!>+Xy]h W'*F }aǿIPoА5)XTl`bJ[yUNl5rc)Czuq:ׯZa>&)D>Vl%c4tbae y,'ݖ;-F(gai^DM8)՚M/K`ۅQRG.$͛@ >EiDyآ%2p"VP87VcvLuPyG$D~4p~MqIC^$Q%-q{x3%~b[L3^"՗.O; uNtZ˭ Im / DVS \K.L1Iw/Ods*+v#0ԓd!' {0vvoEF2`S_" oc2p47p\aJ=!dPA-13g(g>smsZSUy+RP @W@ 'yK}1gw#sLɈUЧۿ>~h_:{}`IdZUx ,cvnN&.G/;y@Z#T + Gr|Н3qln)1?N`JdVnƣw<_(3cTh,F ,h/OlʯvY =h|.=!n|';z@ u ϋWWaoE6S٣VBtlړ.0$n/wLF[Oi;Kt:ZӞ´ 8@AK!V:SR4Ѿ\#rsAkk j~8qljJS׹eXNm he +LQ6aT`(&$qJ&D[؛Y`+EżL^̗&jAJ(Y _0bsz9GHD4^(퇸tH-' M!T"  '^JQV*6 l2rgI٫;ww 5є W;T G.G [/Kn&Z!c,43"UoCHrIKupl8ƈ= #xC9{Q԰n?T-?oB*ao7jC0~=ʁF8Jnn 1耢jgZcVM)igk ψcxDE]F$H@L`SnyZv\6KR$k6 $7͢fDL@">bQ+iݶҤv98m_ZvZ[6?xarmsRA^ҾvTyQė\ڦ7dM@\<(yoo)!\W[d $x/lah,ăe LuE05޸XFd#?jQ C8Mp;V9*Ѵj SSTڔ r[D"nTN VF#$o&v nj2Z^ؓz<\=̣!^e^p9@]HeY'QgSplػU_nz w-5jJ!AT'ߞб8 >wx8Uד1zK=ٓs@>PwΡgN[|r~ :hOG֚](]=id`+ b[!\d`yν7ޘ~51D-e (,[tKI|R}<4 9ȴ x5RvYi3wve_-sZ$Tb3a=v8hE@4&[Na|@!3vTwmOd~R!-&fQТ[07w;0̢)v娂䩻.V`- b3K 8Gjkt:Sxrzj{ 2jREh1Bs_ӷY3?F3`#; <]k"O!y1äfiot΄aUNf|`EbG>q "斺IG#r>vEйIEy:EV@X1}&sb 'Z4_! nlFqN5* 憜]kJ^F@[T /=8Y2xlL-7*0ؖ]Yۮ@k5ȗp* |(:kHLaAe0t}r1::زReB.1>EoiOf.P2Z\R'%J;kC. ˎT}{з"f '}^ l@ !$abdۢ4r7`j`Q ɔђ7GSqo ф52}Q\-ݛL1+vZ ;ߛ69݁\"! <ĭ4xxhO 3qz׸ 4E&Koʁm~ Ev|fuiS}la_4۹9.뮋 "+(4m"lXP6 E3m5IV$ W7r@IjyR1Eݾ§C)$bXRቮau<@?ZxU G+o@K[C?n mEOϴ6*RA `!!8TNbD|^G%Rg3c]BzД1Cת^Y;y>oԌVbCCO<2,u Թ;8Ķ ?47W?r%W-sa ;?4u!C$αVxik,p]3<9zϨ1=_T9xMgN^xU P[cAp~>XlJȁ [F ō ꮺmfco_In*_ph&+i4 k?$-sl-UecΊSw:+PInPV M.UWnbyT5Eсd²  kHu.P ȻʳHXK3 ?@/f6 e¦'=r,9Ъpaw4.Ѵ.J*CD;4cǧn֕$[bg?-OU?rT_s"pm{^za0 Bn0dD֓qҘ[ӺKZ;pqjIXybfȽ:aH4HE#94@D.zCUPcE!*%]bWt-&[3Sl _)4t< _u.Jts(LxuȂ}V&?PL$5p LAhnܒZmJNም1(VБc0b= ^n}V!\kC߱IJ'Tz˜*u;E7c֋.8'T`8ebC]3Pom#.qv..7dR$:KblҪ>V)Ԙe@V羡-Z$Sج^tVjcACO Ҵox[$9|L=(-f>ZQaPadzaA;Z%u ;+Ss i|Ď :5%ɂ^?*B!l@MZ TEi̥GI˘okqvH*UTwCq9S}y;- -.,I;gVhVǧN94 {dQryGq){%M̌oa\X&]ݮƐ,qVs]B^KsYAQmZ`/n_ˑOR c\O"5=gak1 {s}gw<`Ka r妽[Н"`K1sGUku+b_1#Ee;U0~[ǠFx߈M 2_"Sİg𦚀Jm[VSORȠJ\w IMQiHSʔ ̡YJ!tK5oj,;h䀜%H{^ .ujfY`ZvB-0NsX N2LmZ2tU+$"z$ F;*p86{E4`z&/F7"+Bo|F`%n 9aĘόW-( ]teCBB!:iG62Ż fEcD<3L4һ׵֟yp&Z\(wM)5~-ޤQ_+Fe`Bz#\9~܂1@]Q[xQ#c ] jic=WOj,!rT] P*qBȭ1^ %@>A{5O.-B0}^W,YL^8g!YB m)nry? imCx.r '#Ӫ[xTSQ9Ԛc>sOi{Q"6q@{SM>D1M9T!ȩ\,o*@ f#pYCYOFHL=X)c *s-V:e6' 9W|<aWS-yB+n[0Ů/xB/Ays.0z[~!+h Oj$T#H-)|[By_ji7C^H)n "OrdM_=YFHl߃SUUhKBÓh Yqt~?vȍ;T?y>|}HȾ?D:S5BSFض,z݂ GkLH>"O)eFwn/!|IGAʬxfw`й )@&H,n%Z,g FQBfу}+0>pbK+k*Fѣ"h<jE",x}F"J`&Օ.чw83mیBZɦK[9;ĨiDmYMg>b,jhEYLc⫭(\[~ҫ$H$>h.ܑ7*FԤy,6Ov_^T i0 #eQ8h!$gޘc< q:811OLp?8{iIO Et*ʪ^2U9SpaDU:kE"1d$WkyK7 ^+A+x$ KP:`1hˌ1|m^Cf^ 5^osa4%PY@vqRhK' zkk xy?S/+L]vl~sH,c.bGHQX\ĔӜ( :6ҥ  Cʱt.8Wb|Lʄ?D/R"rO^h7QNMF-FY mӑc'vu*M>)K*J(([0GW &J:S}3v0mqyN֥th($ ,RiMBpV Ns_!a8RlNSt]yp֒&F=Ţ\xyٗ/ViۀCvCYЯ^CvܧՕ9桿d^\nfwK6qEm[N}+U=Gxo S Q5fVY[뾔юK; l𑵿(ջnΉKG¦G]v$d JHhF/B4]ivd,(aF% @ꋬ{FR\Z F63 }:]%(~W"W:B㟝 R;k?_hnw5eXOaOa4^+0 NḢA;R&J}aMU3\HbZ,cpu23tDM` F[ y%'f- HHTI4էglb6R0lgl5tF6J1ux IVEIJ8nNQ??I=Egieg=EX#זZiy$I;{v}弴]' ISL=YЏpa M{|.(<By Kra,Au"^Ы#}{ ${Mj^Ϝ*MbT 2Dܛky^L`9FBMI;؇"z>Lk2Oa֤ -PiuPݣ]{E afRy uQF%b;-zw@yAlՊ05X\Ar|)S@|16c Hv]y8J{!GݐDvۅ<X̎@fq}X8Q2^> ?*4e*TZ5I۹jTCR',ߗQ9Flw@M?}/Հ ]u!V )k n:-nja9lg_{6L!(C_C!*CB'x-Mw;fXIwJ9ޔ}QQNH˂O uDSM-)#wL(im1yPqT،DM`$`*\KD@T(f xFCĻL~<&EV +Gk@IʌY0}M˪ lO$t: IqiBcdKLгr@ihC;SB`&dŞ1 /#&[]TȀ͢E쁐ttU];Q=YD+_5@ÞWH i(FȎysP- $ p$90u6ϱǵSb'Wd@Ńvۗ5[) X u=rje%;긱WW*ӳ"4U5!߻θUS\BA}>zc6k]f1_ӷ()}0b~hR,\uf#ϐȯG ʞ2 %MFTb)N&pbhͺPk2opCS8xI1UZ{Y8C6 7fLrK ;(3^@[=*x//ODᴵ)M@k"uы*0gع\$cӡ yD"^_4ޛ+Kmf)5M,ij2|ex[X9w8 :J9 o 8sEI!U-(jħy'ދL|trmR!@`ܬE׾PwoqtFbhGnɍP,[Dž'c#8@-|A֦_/X6MW֮‡[!O}H0:nfev2g)cYUNA?6-w#ejط Z.H[+9lzeKGi#}6.~kLW;`Cq^k#Fdpn!IUhW"_EUGeRv zGz~v<>{JN磤r!D!(64\-S{}b" ljY#󻪫[Q4?+}y+"x!]&*HBE?R^kb`\YdJT jlx |EE2),Wf@*W^P4[%O2}>I1g+Jۀ!d1fz ݜ$hT\\2LUP@Nc`LWC 4T՜Lijo}#Zi7I24R[]l.>X_߲s g7cOlU7kƗI(R+nOh{$J7L{Vw S%y1 h ^S4&hvI*k"63@.J:"ݹn<Gfp$cz(L9zySR{z& 2/@|[k}[~EsV>){c/oOS|Xr&[UV@=.3}VG)݊6D!F)o)Ѿ.DXf5v#Ry"6g8h%y(T/{ί3Ekbt7Df:="{< ԕԤ3ojfr[}b\J3pnGeb\`~3) \*8,Jf|˜@&s L[?5d + > -3B/CxTozhGa Ly ;Wu7q:K1kdϭ]~A9ͭt;Ϋm&q/7h=.RپV&ƒg8pmeO$l.R30%(D l0?ָ1MfFb+g %&[v4辦]hqâH{t~7 B1EڝhxpeX] $@U o)RՔzr][iz୪VPoZ&JYw`;&VW;GSZ/׵ɻA5iy >Pk7kH}Bj˃S#HVpU^ԟMV%Wo`ZhMH-YVR\=rjToNzw6t dVu7WvsG7l/tȁ8r8xn,* =EyFI}>0y'MP.QJ1YN˔&$aN11Ojӛ%hjW 6#Nq2;`7R7$ؿeI Z|3 n6yJC\OXS͉bX8\V]6)U_lGʬKBm#4.caQtqe6kJ3{#=Rzcfz)b:&B)kUyz:іyQCpY<=5&Jez2AgAu_:"06,WJx,2 ` BxT1* YLJU}B`VLa1*3-vެC@rWc¡FHM|źsMҕ^ ۓ|92 !UPaZQb>/F.R5hq z=As*%1 YMfoܲɣ72'nTTӦazVDg:#t=.jtcT>L{UojB?UIko^5(/u4"|8Tt%R TA4>F {F)4+ef0'z_b.xɸ5}iIK?Ĝ~~r̦A;*J|R!8 aLPϰZ}!JI>w %Eau Y늇˄*Nu^uIty%U\5%ՔY%kF^\=]'8#E 7S0rAQKsQm$:QQYY}aU]!@+W1Y R>63{}7I!)GC9a\wpɚ7 RSϟVh~q4 wx T'0PJ7n/}5:`Y ԺV W@ cٜ&1"q{TmkoZMwڷjWsQFHjXdGsڝTZgp1|mAx$4wEG 8u^fh }?_D% q)ڷxm_fKSB0 iȲgڬamK}ÖZ%AAs)MHMڸBϠ'c؃Cwnӷ|c9x@kK!WAlv䆦>԰AKO/aP.}b$!ݚy#襂*w9!U Hݥ8xZ$)!BAYsjjXW |!qA5,gVή.&m`t5,x#zc*jQ~-svZײ"xOl(*E*OLaZ}/=r^ ^'OupPa(I)8]SdȽ7TUD B,3CC+,Z۹&.|Bkȯ3Fiy4[ޕS2mLDS~(y3\s;_*tÉ2{nF䴝..zU_mX&41-e#%h>NDʝt?6R Rآ% )Ujz 8? h*O*@>aM l cD(jiVSqZ< tEgpA{xFٿf(\F󋣴KSX}K{-%`O3VVw}9RW?){vA{oh]V'@^!V (ƂCҍ~骐q⸈9C,KőM?6vl2TM cJYOy$ːtj~݋+&\.H\⛉MAxl5s"[tVFŴC>DCDLA{}#VrcQ:wt?!2O]}BG? pi:9 >b7~P,Eo|Cz(5K`uՉ!MPq SKd1Ԃ\Zqv#g\KW]RA!段ֹ,D r=M미qMi91~j>Z2gm rJfx)`:2Mڄ̣anj] 0EPsm8>a&| n"+;!Sxߛյ FaIYea%59x߅ATVA8O^JO@dY#U@ybEZEkx/qNp1;ίO)k:2 -$U[龽cQߑTp*4cWMB)FoՃ:f2ԏ9u&7fNSf6 ud eI3&4OuUohJ{na B^RJC0} s4]u͎or }!88'Mx4f u)GYvSS-X\b/rg: [;|I兛ȅ*K?J7:=6ZJ-ҩZn_ŷ0IcLz9Ƹ,`Lt q'*!-jf?.:84'^LIHQ}!:٣TN)4D’3|l@V_hKaًfAkx]RX S`'v1 X7( *^!18;c@2ժ!NRazEk7%LH? Q8$!L߸<} pbxv <A|Z-g\}~CGTF|m$^7wT6yƒvg]C'Be G JeRŖ;ӏ(yp'~*X+_b5:U/.c; N BU˭f(u$GU -?+oU6MF@tۍWԳؤ3"(exZԦ[UcMnNGB^M(ɍUXEez%6̱"+CSCμ=oTJ3$H3+U&(\iLč]/0KdR([Ɖ%sdڌr#tB~ؙdugAܜz办Y"33q #{]B N:V0gb>+ 8 x24m_iL=\P{NYbV&?E˾fDĜg-t_Q :}*qMYjB1|g5[T$,"li"E῍[C8ۗ~1:PL3~/[qx]:'끍5 ^9Y n9k\'RO@i " &[~b|%kl륫jƵ1r}RH%#e:,s^#mJL2MDyX߷g'a]s͜YS;?>)cK&aEE-c*4OqM CZCɍ2Qb7K l SJ}V+'0Lչ]ަQ ҕT6_" ^}Sc!P;nruB6ǖZ-D0)SyMTX?ߜϢxGQKͲ 8q TR˟2 W)$㢂ȥjw<|}#|RcҊhX睹v Q6|0,D͜>qR/Mq&θjC^lȵD*Y:/p=\v}ea3b* cre"@ je/˨ 9b 5Ǘ4N|)C6?g`8 F'F#g(U zcf_p c2|s71B. ҖN{^ dw"VPE۶y;L:O@x: ؊$M4-3ݗjjѢ:GA*Tz⸦̥hf `x 쟑΂Lr4cn,'Eoݨ'-Dͫ`5g_Z}wJ +zq#D{$UpAc3>sůrU??bw$Aqyxmy,!^m$qRkԦeh 7qŰ@ P6ʎI=3<17 _ܼ^_[qNZӓ5ɜn2/gEzGՃM/19շ.& 1 . 5NC0x ?efS7OдHNrj9&4 쾦o3,m^ak4Guh7:.9<|P{O<ބ)t*'K[#Թz˞#KN"% {Hɛ_8Vv$#oȤ,ZcWރ|H9l|h"Baز\(Eo‡lHl ͥ,T|l#g9{n[m@{+SIIrA-It\Ƭ[\4|C 0L~ `& .*a4Gn]ʇɷLSϊ`k8 9ou bd^4#WNn)_P..ZoLEt$Tf&v[lEgdcB&"=}o]u@lƗO[B,c6M<^E'Ss|ɊCvAI)TiSf}<krGG:aJۮ߅o 2}K3Y=]Stqٵ9nDT+*HSz0p]$8R+.,՟MkèhgM7*_a"o$ pA1ju: Y#dn.GZ[X8Rb(E, EUoOܟ(TNmڄ!G7ߒƼn4N>ymIz ?)pg↺oIt6ج:s0B:yOe՟}yI25!6{:ωqIߩz*ە'&e%A{YhpP.?7i,Bu?|_ ݋nNAhr`wr*1&YX!"<[/J 7h:iBZQ'~9c Ͽ8kHzk.䦠D7EɧWc)6d\\iDϊ_1ZBX{&p>*My&tl {A"sl#@6\<7}7QTjer]k*WFIGڝP7`)>\`]=Rȫ劬3EϽA^׹XJ#~/JRjD#Qii?*Wе,-wW#c 5\ѠfƤ6xK\>RYbڸXOP̧ȇ:aR>J$t7McŎ h}Kɱ>&?Sk"u+Sr'wļ5k3fX<4 :/5KbN1\ Z,eCB+,B*V|0)_ynBD!LWX }JU(/C28:Sw 3"kC^؇,Xr:cBױ%`h*}?N} {jPFk(Pb[;qa6U1ˊw"8b~ k *Clu- `B;c/@]81i{;t{&4(h3]V2îh5̐j.o8.:pF18vH1ٝGZGLc/lotpO)xz eC!h};́07DǨ>8++) 0fr䬛&`w{(rB*'$"(4꿿)y {Is&*>SOK9"LWy66w EWuAXI6kOzW0Y+*k&5w5yQ-0?E&j cHZKE[Và[ ȱmWDf+ik-fqRUj:B@nˀfS7vOFPvk;]]t ^*e{ۼ"ve\SȁFF:m|'>> I9:;NI|!XU*YI=uS Q&K _EO'5j:k~pǡZyz#EЅ>A{c^Wyos07]%^/+'TP^ܞݯm\oIL*F6(\L[z9.>M߿̱\MO2?ѧd%y^`ۅ O5iu$/]: aSw hhr2TgC5H?W$phěXIrݍdԇk(յ{3mpEe܁2 I1zd~Sz^Uq<ȩLanحkLmi1A51v39d,0E} ,w23GM<1vE%_F5d)|"1[(5nJ> ?~%ܗdh($՞Nۗ _z`)+6]-N;a F\:K~uT\K%_FY6YnӴ]jG`'$_az뿶Nv9koH5t+yP~|2Δk3Mw4hbGpBx*h6taXWߟ\0A6!l%eV)d#J!qN[" Y%nDMwÑs,u>-Ex~Y CO%y[uy,ǰZS:O?$ 7mx1߰HQ.4uCJӶ!֒}U1xؾBGzN⊢U+DF't_y <ݨ m rrXx<m$ιY٫4wȚhu Ž[>2 =A?DMiS ɮqH[D#2RԐSxf'EjW'tcp?0`cS#"fNî %?^'3L+&CA ƅIs^ M)-.B8a_2O.Ou@Ki´O};@s8Wxo4kn91B6 p&KߚVheFMB"R>SULpDO7brWUϕˀ1fzۻ_h-f g "^ JL Ah&)cYi<3wʤErD]lɶԊ1[-Uxnk^ k="ʻH jmuVbU82g˙ _}!*+@I,삒;ÜRqpjޭӚs!#_trB9 c{E-$jZ?gʎ=+-9jB]:(]"7PXR< ANFJ9_7 @җPAus H6_i M#7Gpmup8U] Qڗ6-2m3 i0⎴^]2(z\;A8UC>cJLO$CեЍ{⁄̬WnlZ@{`7To7D[5Oe2ꐐɿ}8)K]n?~dꭶvp' o?aPE#U?,Bc$ ks=տި|x pv|V137pp: W>R5ñzD_]|!ɃpaM(%!p}0gƻL 9ۋnNĊ} h;T̔Ę,VҰ qgA18}ײ۽{UV4z/RIQD۰yQJN7#j TNAhv! 4 @PQnm -~j A%FYH-GP(t Vzy QPqEüA 6fBjlr!B{7,i0!@Ĭ*^8[b0'O4$oQو*?ƃAe%=B{ K"6Y-=|@2G',O U3Sg%խt R9) 6Nex;(rdQO- S(Ň-`2E^-6s gֲ`~ iz7kq$i:$B 5,zZ@ߕrImƅ"XmPp^mA;hF/ | p|:3")ީSIp8eg=ܷ9;\PiA9M/ 9hfݜa/6-C_[;չ/C*@kհӍ vkS2X?Oyv3RV-mn 3ߋ}* D^N_rU*Dgj`Yߣ&N/iGr3Яq} U<×Z2 ֎,Y9߸ǖOW+G.><$N8e,{>27ؤ(U+OhJIЦ$1AXBTrSY ^di=YY|r\2/礏Ub8)+=$ :D-P$co1Z0'خ{@8vҺ:XK{32fM -Ș3{_[m dm8TmpFx+S_&Cv&˒mU$OăNۍv᲌\+9˵6TV-B!P yTy+Z#G?fyQ:{iژu]7Bvutچ9S-oQ k\_W*XkEb{+p&tC]'foߊs C:v&f*C1~U&a*4WzXP|uivq& G46 05q ,*jo%2ǥ}I6U Tcj\ps#M 0|'tZ08D7pR.fD <!u?$w0ya'wj2%5"~1ΩߩFU))Oֶ`I|Cۂ=nDd' Lt-U}Cpn6(@9c@avVpg=}K1 7o_D}dM!(yspcJ̹$:c~JAm'~1ѫ2<ݼRNT|}(m/64f>fm{$`7wIf ̉PU *2Gxd4rQ?~4/pBNj\5nV":?xi޺W zV&"^DVW~^XM«pLjf+q%).O=#*C:q❾{Iå=gߦz Mo4Hb؆:rHkr1ZTueWFtۢ|P5d`1Aa:s^lقO+S5&BWKxӠZxx-c;4=1v&X}09!vh}ï|jiR_0G{':eSKH 5# 銢ǩ;Knقp({! =Q,N'Zjs@f@CZ~{Fp;*+庌)/6QK"4L fPm\lbjlI=3g+rkl=5XU@Mu9!|)/#R C8J;t|f!T' {}2j (WA!JyLb*J=2g"7Y!E5)%::vɽr?zuXo$\;œ+f`T`]h8]5*Bm D2%G;QL8xx0 澕d 2]z> ֝^ڞbU o}7琅5K3z)+!Զ{%qVib 1Йf!_)/XI?P]7 ʖkfu]btOUl g7-#i9kyw mSގO/O/qvMP.(; $ odh l\4{Ul0C<5K73j·( =M2Pzi Df"+79TwN"Ƕ h(F#1(U*Ir.O*cPfNqc)NKz<ڟvx`zRR 55%[[3;J6::dL#Q/ɨH!I)~"}xs'ATlE\׻[FO/GvySʻya|5A#9xc)P2PPWwT~0-N K>,Ӎ6`J0W ~:WX/&=uً0p[Ъٸ#ԵDM%Ԋ仐P K˩BVxhٜ{1NН8N†Ѫb:b$9i-?(PJG;-0E t4Mwyc]9vZx՗~ =-LA+`DI)?Y,~I5/->;kJh>#