SQLite format 3@ 6- 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 #tl o]HRB-Slicing:threads=2elapsed=485.740cpu=927.996gc=27.088factor=1.917zXZִF! Un]ŗXf1-/6vRZ;RsTcvhiNj]MK*ݐo͏v*흀ˍ=ƺiM>yVSѭJƵ{F~Og%O87X M g6CmDzwF:&WmWs53*Ran\k>9jtrMYK#EB=)?U-I-VCL<޿NXwSb oASi0wwէ1X{PZ ǻ-dy|mib玬vM—3u$1Z5{ME{?|JSQN-J7bl.9?C\jw78C{` v tk)Ix J{-ra@X4*pSQ,v! 0Gn囿 '޸R2[;hSj 9aʧsǺQNƊU[_DB"SS 7q3, S=2I~h4YU:<5LQ#2E< Bw7[䟼EN{i pnNϤkSq9a4a))֤o52tLhAv#Ի),a}!!kBLNOU+ x: J"$\_@l`ct|sp!BI-$ # HRB-Slicingot m-xS!w){A47;zI½֥b\v4rG΄٨r@&I2Q.$3I<,[9ssH3 G1.Y.сG ­1 }Mk~/UDu*Ujs@ ^ztF8T̲,M8Q Rkț"خ@L efn5mǧiQLKCn .k-RUbnlwIk֟J/;/rax3 bFXjP\?)Ed&qW}k8s50yPd蘳\|e-b?8T`5z3uU=Vi@+r i@b3W?_ۻJZK=l2@Lߜd13澽8=t~cIvdv͒QqIAQuXؙ;QV*Y%=sl7fmI_ BOsF'y爤QۢMG<ٿ^r1M L@?NPVS2戆*oW\h{żR .Tap)鋉' zP[ǃ&?h@.sCxȮM3}c_Sa1I6ƌo϶[-VWQ+zUE{[̫(QDQ@қɚ/&ZdΥ#iZܺ( ǯ–oG6_vaF\-7f1Z@">~2fҘqwmx;?YD)X ' ?+n}l$ЗL%OvD(%?!`sʀ²\Y&I@):s|R$Irr|sucU?73VcK:YFXÈmOcq}cf¾ PK%~|`+BєW^ [$|BZdfac+=fdŔ/eWP G]a1:*m 8p\ a:FiԽOhyU'ePdi-o:9cJ ]zF\|lߘoe+~$ YD\(0^_'2Y =c(2SQa'ԋʽ-vt 3Ò]!k+%׫4/ޤ<![i61~}' #e[46`+LƿfEkZz#|1%fR}}@ϪQc ǭii7h"n0S ORJ_Mm^"ua*f淃-AA[Dh[)THak7$mmDcn, 5 U4@`ژC t^Q#-כ0'>Jak.u5_7]˯@C=~u[1iK\/0~-&y 7v mE)Y}U^1&C">˃6z!(ռtGh(¾!Z2*o =-yǶ}:0]Nftob=i -~Dզܟr8#Fj1A90@Lo {^Q䨎N D]!] H"WfW]g<.q<=t"[(LN+Fe4WWi^Y|yO{YEI!O8OsuYؖ56`AKI/GbE z4.wяn$@oqr47ɱe-%A@dz'`cX(rO$, Z"HI'vd+檼*:s't$ai`,}}ǥOh{bl:0yFb)qf _ 7'(czdrQ!yx`S5(^t9&HV ^Je]<,^(w^'.se¯bl͂"GىdCOyח I3{MY\ nkTq~@o' :F 5^j ,0zxO뉃N1xt*KL-?|Q gLb'4jl,Ds~D%_jy8G5隹`lrpn~Z:LP6$>酯r$oTAH}s%XuSBXܑ-:( `S|eD2v&1B0v;ξ^IKsy! Β+[8aQ&˹Okv%+zOsۇI!|ໞ*@;,hh3$]V~Š 0B(=Ijġ+ٽSRz}h4KE6л,zLpDA氯! 1$qb; =u m,] ;<6)G| C}Gu<jt?cѢ 3 D,+''j C/dn*_[JdXpT[t5@iʷٺ6CU1{K4A]z )éjpS2skmD 'WZ.XF-c+i{jn3u).mnB+-vҞZzk.?|s &Q #nm:gZ<Ԍ1?)a\{Mo.kX# OW鼹 &l3P< ݬlki[c_-/57UJ@R 俢p{^d n(">[ȚW@ax՘ٹd1͔(B3<]0i k=-4tČAX}/''0)i|iWpX}?rN]gAh,Mm&cssL M}Υ?DAdCch1̩ ЇK=C'CկDWd?V_JYgѕ҇Ąozu Ř6cLڙn <ڊtr[7W/-aYZ܃ DjBOe^H_AMǖ0XH9͍achih 8^9ȈBtjXT Kr@%w˜#;~1`hmswVo F~ZpQr3.X}\dGۃʔzAT *0` n@a j؟A޿l+ULVH#Do. A͋fLx=TW(m&h\-%d`yp+KECWHvצ'OQނ@G]d^B̬6_6gb!H1%L4GsvudkP=a_<B:;JEp>sO~_qQTh"S;{1i x$@`%"P ۫DcBl`b< oF]cx2*3R{w!&-9:Z.xFZm-o=&}%`%yd9 WhIߜs>aP}=WmϳX'nT.'+ڏLNW#W#se%A9|NZ +pBǻd*Tժ&9Cd'j*v:<6ȹv7nީaށUi$ &cmh 7Ǚc,w+A'&&ʸvةPA4X,} KBnUH ݥ;+B"OfسfQ[|k`hq \Ꮅh`xF{ěslQvk8 qQ1bЅxX% QD蜦':;Wz'ҁ| [jZHR:1Lx!61kbS }-1*:4aЁ{B~@`>[o/>-~1wtÕӡDl,}A50Ibj:/K} ?*ئPn(vd X]g}!T\W&aSB2ra&k#q5BxuBUO{`w70#Ao/%'#fN=jR, oBۦ5RJvܮoEt.mYS\k=) C<\jϮ M;<XPܵo]?[iVĎ5^Ehᮼ; n:f[# n&49 Rrq"4Ϯܖ3v֯|Y)k,Z(BF! H2,. B vZ_// 4^= m3}~&P x-D2sY ,JS 3 . N3YFWb` LgDgjصVyD$N+Xrцh yFؑ#S6e(1h͉C&Fʁ~ճ?Gx1%v_)['4 RO'0Y)yjڇ#kF)~Oq1\|u|4zFgd1iWd,s #jova`dx6,ǻnX{H) #oSy  q&=}~ʦQvZJSš496~8݃)H||QM̬#!F`SX9nvpU_՘4qkXIyoC=' %L `:B6'~;!B.+a ې_mnN}eRכm5_^ 8gB:~wP6(19@= 2mvL)fs4+ްyRF6ڏOT:,Â%Y+[Lbw@Fm uJo'<&)Uu)exnq2d~=8 dyÎs\ cgyeT.z:&mD%]s wR+y)leH(X ]W !J+ (` "e nCі>E \+ۖF6`VŹESa"VMNQd. Q=Qnxwv$"SUG:oܞ€& H'= >yBiufPO!0k/dy'I$w'?xi"[ic ~Vφ Q^*^hۅO5(o{hhƂtX#Ptv@?^<qVwv-Ɣ/e 2Mn'u8ʊ3͹~ޞKJ:yHs{1¢g8$N3Ȏ|{.[i pbBpn(Vr ;&n ~2T:$Tk'% Y"eG.wHUfU{ԕ@hCVoE~Nп*o= !&8fE`#AgǞ4O%]IThNH  Dvn8]B}[O>)0& h ɷpQ%|(&uDߔ0׫mZ/+f-<oYуZ:BJ*41z @bfy$EYG[9#GvWٮliuχ@T(&08֤Սmc!G^ēkxІH8WAfD7Inxz\GpX m '~\n#c{&~+U. @YN}T d(:3DͬZm/+D3,/EsȂmf]Zg {c ˰IJKG(vȽ`R%q.Kl4ؠ6ey1g:C2F1VT#9Y+`x~󆻆etѴbz1rgk}Hoo!Si(l,d͈SL_1Kŋֲm'Uith(z]-˹IMr$qpQ|Y)JP4%BIr1a%Z,ܢuXMƐT0̑Ov}c.R3L!)܎yj۳ EiB+[6>0V,Mv>JLˌdeyY%-4lB- p'm)A6To"hxܙ8|%%5#[Igވ{h,}L߱z@X5/jѨր[Pǥ_W%(lǚ5~@m[..+wpj_5Y47XBe[_Kk@i :.qoajh 5W>aKѭaI UnZba̵錵C_fy[籖]^ |f4ѓZflO aS]ZJC{S`'3' ZGT򄚄HmjQƊE餚NPe[ΒGI3_o91(X4W̵J@4֟[Mq=HCCJVtмDNͣKd-Bѡ{eybz{ТsGpk)t' x8=ViRf[!tBt {š#lˌM,ה7N9ݧt@qD"2bݿL ݋L5 9|wO*ߧߔ'5$J$#\Fze``_d湧FE"u᫱@{TaSn~6\Pؤu)mG-g: GwL1yuA90V{PBP~cB E 1{bPb.Mp%H~Jd#S`ZJF3.<;|v_pzEW%J|T= GNWSNd t:ݟ{ ]3%doX f(mVMNJ\i}~* U!9"Ԣ : NtƩ_Ovu ぢQToQ<`nx5:GpOXݖj } h ; ~N0]3Kuxdq d (9ȸQqHBg.B/) ءP!$vRTu&7Ҕb OKŋ!u#+ v.~zm&WHE`04ESHU-ʜ5B)L葳^Ť"9@nH#3/"ż-c{x";9(m Y~v xZFe=Cj^Ab]j.c+<,* AdѶ_3-Z a%uSDZL"k&WBc3;gDN&u hM@Qet2/30Q\GJnzY'G*9"bzd<-BAp^#C!#B6~hCB n{V?]F- #_Odc56c]*8;e`Kn6-ert"0+SH5|uKQ*LwoO~ s'm?+*XA{,<6׬\/kRP,NX{ YQHM2%04XIPA4 &7SFþi0و 7q1ia]R_4$G֓-~+q#ar 2&ǨC@æ[hTݭ\Sr;/Nx]|^> g2L&lwsCkiX(:hܜZQ&O9C(8mj@`2OR2N 3lKfSzIW/C8.W-tfኪ)Bf{C T过zE)|T/WAobRǔ|3˭`L6cBLFȺpaRЄy6iL =;]iOaCŗ4FڅNyՋӓ#G S| YGנG~O뇀 r2)|CF V[ NdٙO~oh4(a/ DoUv=ܭa>z fP yK^ve(LRq(1/!•(\t DhM ƴfsJ{5~.W]~D8Ůs[KuTwOe&V9tymy ]=%ܕKvXֿb@}AMS,.l`OmQ'=lRIlcMd梿K_57I'iH<'(LXgS͌xh8Rx7iM:ԣ "Cpt1O巇q& C=AɋDuaS?{"q$RDVPT)*|ʉxLm%Z-Z;2|d=l3BmJ`嬧:fm#0ÌPn4uL{GӼ/LǏ#pl ~zJ獋S1A^t;aw@YWM} >P;'GT뮶,^?ӷ~rf,2TygfRD/C GѽpCd-0DͪF,^!^KSiʭ,qs~<|ů5ﱆ1C/y Ue!غx?&NC=̧c$|.}3Q]\{f[Α &E "'V(t1`4ǎql^ N\4F›S1鞽kς$qET&zAvhY/Qi(B+q#KgR_DE;cygG=+k`mKbd8e- r>_vp/J4BL##KG*Fhqi&50'^j#-fO+8IVt4d 4ywGw#YIQV5ǦzS?Fw]Dz#U3*$Tg-y.9<0?PM1xC)SZ/#+{ܴ7IxXYO1E_&SV i ɷ=ORs,XFqm 6hPD^x:dr ZlY3rr"ԱdDn@D ,ڈ.Vaq43[͌_JyW T*,,^wn522g:^!Q)S#NujY8kFa7sRU &F \6nA'1;B5Wn| 9훒[: ic35Ղzel]0fm/ӅZ@yX-M2z;Z{еA(EoAu}|wk.Z8)>Gϱx ڌ)1_OX^/K%$:#w+i X-VKAP EXUcMt1<uU-j nOCơ2CL{O?7PF(x*B>#+e4lL_EZZcw%cB..4r_փY6ywX 2 Q}0kĝpq5BzO7ak싈F8|~!`ZUvꭂ-5$ѷ-\B|7u#R+9OSwcWtb8/va\h*kp_ QY9J\.ȉW!Y 2uתtӳhI4A㩔TFw!,ac-g+mDU'WF8:YRz ]˵ wLONgw1f7=YY<_ ^[γ^rkAYn31$Н{)'ꌿ . |Ojf%9Upo5Υ0(Sk;b:$%P)@c }R#Ϋ S&=CC:*ui]+ K1!=wǣ&/ tm >8]{OwZ)Lѩ6X̋:5L+ 4¥>UaARBcLx+)GD4^EqLooS\w!@̞OCEDeڂk`ln>Wj'!2T{tfW:Oh*1վ;Ke}+ܓr0:b,IfG ҅TGmd}^`qg.RT4\\yNȕ>[34@:2h"yN&t+=MxyE0o~v Aw<5g.@G +,Ƃ_s } +gFvK/ lxG<9@Mz%cj {E)m58eh`JVifFKzT>?35 Eԕz&Mw>gKt! *b~ftɌB/NNa򀠬>'O19g+Hr=k4 *dhU\5iRjj5h2 W4ӆ~v|YFRhW ?:e$ƯR?.G0]EJ!۬+ϋڥN=N矈^cJZ` zܣԾV:1sw=JJD T%Ͷgfz%'DBfi~> V=L"6Lj2 Pe4W)-I٭al{(wb - b^@cc[R7lG1.f!;:^?<:<d~E|]ˣRqguh\l54AD~n>s- VBH%v2X8Ye$|&:s=ɒ,T! ~Vo,?SqS▁PA*(2  kngO!dAїiv%R0d_.+oV&qQ=Ǟ))-rXԐd|xZc$%AW~KI}RX(P1r1ke-,cny6W me;;ޗN SF.{]b̛b5Kw۹h3!ĬJciQK$_UnM#zGd1ʠ?bW-\eTivi4َr8e!qjc%3q NQún!si1,Ol/ 10"mǁ@ձZ[vunneG=BdoAe`&daN|Zp\ s*vY.G'!TpbjQ^F59aQYahlѠY 3Pڋj6F[zw(Yg~y'a QP.\׽)mO-x,'.$v5R.C:c\dvpѵR+:?{`t9ه#1ae-h݉K~ces'pF*{E=߭Jw #Qܐ*dk ժ r,eCavu+i2#=.L_Kj.*⾢|.n`K YZI:49ў!SaS:V[CkG¬2h3>E"{AͱXؔ:hIS坙qJm-)8ІŪ*d+i;u^MpHC%r^l3\+E+aun3=Q1L8'Ss!$Bs,R@ !;_*y=%#cd)Ll1*f78[AHߥ9<Ș^pW^%5K[EMIÈk69d-XVJL(zKV&FkRkxѦpI0ld4;}.qXz:XͻLa;l"HFz"/;{F󌂊'Vlm*Sχ`eQzxT?c'"EE1~`2?eKZWBBFH @MWzћPL<^}e5^}v+"T#4UVγ:@aI$? zo,k\wz&x0.MKh`7;z'fn^…F(9tg.m6j2$`XXQ}І3aqez$L[ 4{ w)3 dd¶ϖY՞o:@>;qN))`bC#sn0/vX}MPrcɄDVfI+a,1Zxcz@[h%䣞jX=.r*\YV(iBZ]}S>p*F9c(O3<9 2B nL4 95.3<У׎B bb[ -wO>ܦMp!1H鴵)U®[N[JJY!C{hx ohzON1,%oH<~E'M,7{{uߖk,XْPÎ4Vݕ Lw>& -`&-9 ReM:x97J4' TחnTU+Ƞ)T3`n&[㳑o$׀o \$nI!N<]O^l]E\G"Iƫi 8Iz"͠boCr$qhyCG{mpF"1xuvq+dš  j@(vYNw/yyu?eYh񨃫4V Дl+z-#:|&ȝj[ɷbt[HZ0GD6ۢb{J}P/(XޞSRdpATwA`\GjPPb*<T LO(Б9B+,blP.TK ʢ,r^hi|hEO0jX1/M}!u=Z$7+'5,ӊuMBüE_ Gē^%6gcM_Bȝ&uQ(2sȨЗ*~Ah_8PF"u@q7A7/(+xtST6=)lM*%IN`Q1qG$,– :)(cq+#XZKX Xg`>^3uvR!cbAtz _ʄ;Iv]Ɗ_)xD]_ S{L"1q<`*z*1gKE,^RFEt寏AM"'iM,Рk ]"~ʼno3SpvJ+,iX˜:_X0RL:g)e}ǣu ?F\&Km6IAE]3oJI1vvl H=6~coB U^ ݂$6!!<">%S#,\ w`ΑjI7֖֧ט2u'%,_J+ޕ/.=Eh߻s=*@T#W NvJ)S٢/^ L5/(/H7t ?f\0IWCXdv+R^ BO ,?cty BnA:hOΎGg DR&H˖.z(D*0- dr9SG=S7 w܇%OcjŠD.Ff2fYn[9(.k7`>GG1D~w*v!~AJ Sl0;C ׵_W=DoA.+ڤf :f'sAWNÝ*&CxZv- 7ZfP̼r3l{C2% #;7>R@&tfnW_$o;Hgj:{vXnGJ/|裿5jAWVSx,eKHG_jLD4pFBO?heh¤h!r3̎p>DN 5ʍO""Fןx2C#{Y'Pvj_v\2H0JX S('d}aׯX̀Sj6ܵ0M Nu.h\O #yʤ DnRBFaOa@:mb-Ҡ-FҸVMm 0_Cyi1s/?X!67{-2]Ac0wvFι|<R[d eEiZ:sݯIXT䅑\ziڢ鿟?Q֛oyB-뛛Ui$ bb7&xg[{{/CvAXJ+KT :Qøa[km@tTJ7 `& i"n\X,(Z``{p `Em?w,bh-$|uOxR*.uXE@RPwDXC. kL8Lʼnh\|0=W4'Xg*A(}=w}a1d0m:7pT5a~1;H ݡ]vVHa4V* ᜞aYh7(`b/KK>fO;NUI)$}MrϜx: ;] ўSvqCŁs1IŜS1y^sSw&q6q:0ȩ.6QS+w*M=pim$LH)>/TlJClߨnlrLڧ^;=V^̦RH ;P _dF;c̾Sk$~14ćAO ҾiR T9nNÒyFƾo'Qy<<4^eۡa䣴{2tͨ3o/x@_mIup'QCLM%=n5a¬Iٗl$ WM^4ax/;M%[{eBKwW6ܐP .e褄ހOcT`9Ab1CG/cJY;pD6d;]ft x;p ޘnW8sxqXys%,ڋ}HKkb1T5@A@0-ö~&/AsK Z+e}F뛏0GiiM(:r'zS;:5+ FAKi /+M-]ܣ3jc9h뮖^?o*ⲃq(_2 ¢ash\+jV )RJg{'u{E=qѷЭ$w35 Jۃulu҅1)u cYgЩQDQ\\sy 8JBG ld0#0؝J+Ia)9gZ2,%g=4rऊ%r{ =n~\1ז #&"B)|((-Iwdl:oUjs7]xTbR !x@mn.3vZeygtYOQErfm/Zh%U5dh͹;z\o'np |IO4l2Ԗ-kdE$䢿P pXP&wzZAc=ZJ%.cSGX7uOΞbi. c.%姕N3W(`uFTwAyd]Rq * CXMم:k"{⠾ 鶴ܞӀOOB|q88ׂ Ǽ.s߁ VkHdtNA^;U Pn$ԉ x[2t+ngs2z_<_|9y!#@wI&#@0XS``hsp-#7W|u=)9+3m#:I, Ц nqp"G!gY66i-|Y085ƩүoPmdw&^vťy׋1i/;ã̼T@FPBX$y틀XFSqB;[jTyF!y۰P0 4 Br^|VN#{æ-}3[mTT#bb͟ExۮJf;e$?guڌ[Z]6@>^Ў(+5аt? J ,IjG[`H+ o*EWFHj9{vx {߆c.PV\y:7;~4a qHVΐXB-#]޻ATa֖f VP XZ8jDFG"Rr^.' _\$ljO_H2ua6kR|&@o:+TT `[y Xߌ޳Dՙ*x1?.\2ԄRi] H׃e>pfov50x"}2ڟ KzsAС֡r~>&Yta4t' IJWCˎ!:!|n qK^swF 9AQߕĜ(un=7 zQ΂Tbu+ )aC= 3b:Kq?:y\JԵ[ߓ{Z7eBҔc`K2kXDё]}.x2rZb70ˊ㦓xDy\9 9uj*m^nw+-ߝOzIalwb1}̯ndB䤩CyKѺ, B_ݗ/u (Nuy4]veBaP lX*XH{`;-E,af`5~7iB7.2X%nEJ3M^kNb6xθ+r.!fqjwY' u ȍo= Ʊbq @n[ F.wE6acy=j_zUYU:w~H"YBKeck *jڭ6՛FGCc䘤s{jp09_Ƶ1Ik'N@^>|ڱ&צ@>",Sw8=l/jqh0\΀) `9^_۾#U%|paV :M׫ yAGogG,6/yG f s`24L*!+I!!:o]bHBZ:A7mgv`EMi0E=άsak"6m9ɱ`HcnF|ISMODph<WoLX[RyG@X7,aڭ!`f >' F{X"\ mUQ,;,b8wR/ۯnjB_BeDKK'⟣BqI|N3L $ Ux$ʇz O$S'EěA!KnrOM7oT\'e'S C5Z2p,7ga b>&e "A~/ o810sOPh @n S5]^!&8eS-M8 Y׼d/ ɵиbڲp-iBO`( ~ZӔ+Y@.mMEafc0O.E[K}I{0@q?Kɯ>̘I|HTKW~&?BDs=EPѴ[cHo[ՀYZ*p愬iȯ~T'ZtLeN(~_`--$I\`xh- qf e4#jQ/fL.HV<Zd|[#!;7*+W $7,az @A@4Ig%RĂf5h{P̫H߶/ڨ!?2 ,,zN#uXNn8ތ^fb&t\!d))6km·O&#!|tF*K2U}ZNdw<ΉڊKZ*eoh+8;!/(VkB8/ì1{&;8x5f hMDFBi2\~s&+)ZC}iS8pt^?n53 32DHz{[]uN`tk_M"bl6:,Eİ;Vu6JIq.vKLccn& M佣~@nS}HQ}$4ȡmGLc=!]ҌICcmƙx.r TlF4S*dbJyE'MEB*!>v˭-Z&e1jtE J<27<+?F /Ē<4jx B`Zײs *$"qr%ʀgVA"k$$%3S2H5?yVI GRdJLTm=x{wb=;u`];$-XT]\%;NRta":8ukeۧ\}YnR@.x X\TqCpW "O8b^CSVWOf=A#(]!N/XE91 P]wOhr>)=Ϋ{1Ȋ~{CZ o0UU`D @\0xЦZUFO|U5{;6?4)ah RşgT [$ߚڪz`b$7]c(]N+ԅ@O#)zcަ$Fѯh2)Io]q-w|h(a'Rrb"-q{OJ#}=k4=?`.H2Q0<{P0y普s\iYL)2s\1"@єjBU1v[КuĊu4-NOU)ץ{ۛ?M>ؔPiWq&9YF T5aX)E˺Hl K$i%[.vDs+R ҞH\f ]:^f^xp֝7B$?BYJ aaļG[>3Y[-BQ1IwHGڀ]Dg̷,v٬"=(VJf 1$U}pJZofdʄv~g;$ s)vq)Dٞ#(9 )LVMkr,(|=5Qe,\)R:{9z@vJє "HұZBa4owma s(Ob,-€⋥0!#F4mP09~7\ Knwwv~6?J?ƈɤԽɿMPRA۾)G=91[jعL6fh,b/)-3ihvIu|$#\;Qbk28EgVSڵjrid De_ǃ{z7@]ŭ*ѣ1B0EMM(*G+xcAW䐖fb͟,lԅfM;q%^dn _?^Vqm2bu#inZP0:x\)ˆ_0TebZ CH)HH@(AdVaȹ<+-`;+eJM|^NDiAgm60ā!ZDGxM†BW }&?Cs3M'ؿsqwPŠp(Bmգj?iCy,{ӧ#V*߰7]>uM? >ahad<(% uȔVH :Q8ML|,\Yi= gvDBְRx6PMVW4B.Uʼsn\][ I \6OƤje;HGv~`>IBO%Dw|^*p[L!t* 5u;)A^"BɳZ ]&{ȺMGSÃD򢃖(TXSd 0H =zAX rV`|t$oh"`aۑrcZ>C={n,\R=C;EB+$(Г _N">rX;G>Y^3xָC>A..眍Mq-.^Ir>pAźNVܟAh5_{7Rh +\mZNN?x!;S~Aڵ>m(Cڍ$xMʖ%prIf7-ijԟxx =_ =g28; 잵?Q%&wrQ)MSy_džܶtk$Z@gR.<$?NJső wF\gqFSsn/wm~5j a }Z0V<&rjOkuh`N*ݏkPZOoޔ]MEO;&4f[O^Yl#'gwpo- b{ ESl[3x.닊„]jX*т]K1x%s!w1 4>IJQd:pYֹt˛aԅ8̼​@յȤW.4q iKp8Ooaj%#O@T8JNMe+m>aʓSwrلtS &q2@֎!pYj5st ɦEee;_{-/F7 wQ)";;9z21T Q.t\7b+hrVr^]tdj8 k6Wߙs4Ҕ@`Q88dGM١o[aNjo%խ^@t ThR]Ei<]rs/ѵpM#j:Pxu 'ѵhVCXڸ= Y³.a E 'n@N\ *I(ο\: qYv665kEl">l5<*x"[|mR+V ]O999Rו?G{FHjGi2d!uD֧f%+Py*e,<_eZaaez/MDJqMsb98b5pHi߃!JlUiR/rU YA~JHrlI4ݷ2GuPjǝa9hZ#Rd el-&s"*vK{q Jq==pR/)]%4.wڙ߼žEBQug[ LuU$x/'㥶=x L>tM)S"#IrͰSҢe΄AKOT,a٦]a}{mB*E~L#)msO텖zL5˙ [(~DDvҠi{gY">ngWPc3nrREU3-.D)3\(Wa7yt1y R @i(:Y(Rnax?#o<{#!?rHա؏I.|k;FG&fLKFv =>^e[ʄcŴ,{3~tla@JoW~.]qbhl zq5FaeŷEx*'nn"Q8?/O-#ӫVdbtPUejUK u[|vհ[&x[\C,p-i_6™ t(k?pz@m[!K4yNK}fD|QAy]Y!2=f5jrJdBskx]K::2 |N@;nݣ#?ٟvww?@dJJZ*1IvstG^_q Y O6-x K-QRЂЉ< nc r]zZοͳ() \lk$fkG[53tT\Y}[#!Ԟm%_$ט.ٯjf83/9z$H|N"r -IW`9#ȝYȭ1m^ 'RԂ!'sqkJȖ{w>ؖlKtƕg&yюbJ:+>U x`KmѲqkH 1{VWDS}OY.Gr1{EkuPP?TW5ncx_n=@ڱOq%ĬJpjF)zuyhf.E d1u80mW z-Κ!@"ɚl2OJIp$I8Sw\dlij._ۄ+e_o gX>Dᆾ}U59 4C-m7 3mq)\NCFkC+ɨ*9 M ^s>]N :cB WDF<%/kkUZAy,:>cc`̆^g4:Z4Yά5,+m-.vc-wO! K'ľ`l _tVOLOS X Jt)7d oUM?hOC@EK:W8 ֍JD9ZX̏|j3F—m7*IUB'?9IV^BPHp+˒mu '~2c w k@OÄ&1&&5J3Iza}!?DGTe([}a7S̈]u)gё%hɇ C2v#;Vn K3(~mKӂTA,jzsgٖ,r7M[ {f˨{eIVܠ8J]PeM7o(1o9j1,6 B \BX=~)=#m2ѧutcion"ƌxg=q5 uBCi3<\JX+(?(կKŦDқnrʶʏiT],ÛC^?#U[]G:m  h9R]564E ږ8 yHLw6lk/[L $ ^^v3Ztv 6`E0F, IԷA@Z NgIkוk*J丌Mh=9Рi"Prԙ?gHjѹW5MUI״>E߮ }QCWh5Ũp!-˜ʚ"ݯzG(dQbk?OOB_]<ӴišMC hnmXǒ<pjLNR!TܡZl PD;Ńߘs\7>B*|+w齘+.zQ$%{]3, ,7Y@s#EZuޏS|JTZe3JFǮ0H+W0JL اCqINVh@C=~RA: 8"qS=.fHeX0` 픾(yTm_,MZڳ\ÎBi[,#;c$YFŕmHNj T%uMއ:|STv+znt'Yjв0` R~[g+r@o +ow}Zጦ غ8D}5Xge@CC\mmݛا&d7ൡNS7 v[29>Is^_k r=j(lJK9j% B4gx> BWq*{čn <12~v(xU)4B-sDz'ɌCK*6ϢyAb{nb:Y)R}R B%:&!u}]LsJJ]/@? F4qN|;8aylR Ε:ܬ[8 ] [@g +T!YHfHFmCVHhŋ )+{I:ZZ"mcBA&a'4ώH$WXz1Ӧl׏}TꥁzT /֞ GXGL&KWEVx2qV´h>UώAʛ ꗁA&̟cvb/J˸j!Y[65Z9.8t8xdٳ%.*nvP}d %=XR&3{H&Mjt<W@qq[C\*'10*}D `;1UBPDS]-cyAwO5V yzX\xϴ.,|i+!;7Jl;}$uuRIeh? ӢXNjmx:S9rJ|Ht0jǸjn%~ݯg?Y LlJO_X Ypt2 y:Nt}2ڞMA!E,41EaU :KHr͒Զ1˹Ȁ8|)WV+i&Zյhf__$(,*F.y0}y/hxu?b14jc=k X'\j[PE="O擸bn:aFVMy%#!MU539Zo0a5#&<9HLaɩqq#,w^hRlu7ʗGjޯp+AH.sww4MW#9]E)lFLu贅!'tI0 k{iPΞԷՎgiBUҤ>d7yTHQg)ʘK޴ XmEXp!=Eȭ9JRao͝~SNfLiy@-x:_)abMJ{soȖ^OI祉@z< 7 U{.2w[laoa`o9Ϩx`<=tnX0Kl2 XAkJ>m\4a),Vj/CG.w'DLUjS bQBU}dnw2I'@ܳP+\O\;J ZڄUˀt( G <8jY۪DO|0=wFU3nv/sƣ%Rx0t)i8P=6 {t 0 סWkўzbR,W8dY<ŎT͇( T?2Rq KeBRzvc G-N _+ OGX.bnN՛ujY:׳} 4:/`κrvry"e}42X\*U6B.YԳan90L+y0s*~ ׯF#~8)ÍD>E:HC]/ԂR=;\AiYa/ff][l,IezJ da!Qk]V!_kx /8{)p `w%b&ש#vmDeE.ڱ.LCt*wū잒 ĬnKҽ.'&|rUDfWnTBG7l@z' YKKoG¿?yFS<'XZ|L)C64佷eM4! k-2 [[sLSk$mkark8}03m8Ѩ?pqEuYs2ݜqdkk ba;$!Ȼ-ùƮ\N"PePWON/P=@ kS@U~A%ӛb.ajTZw]Ba, TGT @-CBet UpV >xB&2g8wW7!(0k4^8/|8 h c &:Έ3.*uuij*Rb_M_VVMC.MoкWj*/.9x2PzD q@S?/h&c^N2c޿P@qf̸xԩ;5O<=kFor~9Þ<9 vgA_IOQҚeA Sc>4ṜQd3LZ& S݈a>᩽J%G]~oaqWG&J<#'*n};mkW(G) 7ʀe @/XG3P5 ۀ?~OIN=11\$k 6(Al4+";ar(@'^)cM9\w0iWE%jG8: PkxkTݻz62mdDaND:lLQpI| i a8ϹXC~fq(mmIBQS"sSJH &!N{s$"O A)Čז{y YM\hR`bseU6;>/ފmE4b"ArO掋qU8{T9NҒf!" .mya@=Q!oU@{o=aqM}mJN؞u}BؿYDXCps 7 -jͲK7ה7`3ucG xP<8韛۪Pq->!2Lf8e(t@EϻϐM9RQ3 v 'tWዓ:"!Fr6G*o?@"LJm]_K&E-HV"*sY㾫ZL75Qs\1ll.q h+X8 yԜ0S5IΆ;y7, C;3d<>?Hqqk@e]G~"o"s^Af%wAxf.E}h⤢Ǣ)2{hNR᦬X2/`c>#~MFpLw[!/ݦNz7 /Qrs7-ƨ}2ߛ1Ytk mRAt3,aSeh<1cM+KnfO9'2S5rܯvOv,0S@Q\CZ|Tks^LO~D $&)2YH7_nLVAkTؖ!C!g~:C5Ma5ѰWBmc<&V.nBTkvUҙF*;ѕ 9g% 50Es">mQyip{t#Jn|.+ oXF#|4q}2,-JtҬY q17UiS>Rb5tg2X uxB[*q_k*hvBlZz̽X bn56>bGlSn ,0)L\vm1'=R*w}.M@|}} K-5zVT{g~946Z V#7]|=iU:ef^.3kZ6L:# Ÿ$6.Q ?KwSlGd΢.RE )~XNrif_,l'3xG3"ְT@.lv(:_g,?fK4^r9}7y>mHK\W$d)n%#vSa^:ߜ >`z5 ؘ0Ӧ:!'}빤y- ؼ|raFJ#!jFpT YR*Co:e#EvqB8 6VpYl<{]LN0{hQbԐh>#U,X}9D"H{(7ƅLySV*S?::oގfdBD3xҚ ƃ:!(/EO)Y;5 jfMwN=VE[|_`ޤm[ФioX[g PcozUP\-8|3B0(ŧV ;NF܄P#s ̜MJx7Z4s[cBZI[.Zi Hu5&z L;FnRbM2p?; J~chk"KМx𔤑P#@4MFZPsSgJhVLY< Du 0Dྍҽu2 |ۗ~Q4:ZkVOB#@;_:١~RpTC@F f^6e*Z"S;uOv@d*H(/_e.֞9^eU{ t (KuXզ>7$M /Vv٤jdma"Px/i^^(h^9gBk]ƦbQj vKu=B 7R?s)n<o3ӽj&gp45ٴ7U05]K:2"; `, Oؙw'a]ЕIǮнj7^ wRҁ^꺠&\d`T]?nԵQ[`쓓8XNR.鯦Hu"3`)p[dhaqbGVEJg p6B%Ö˃ccibIqL a?/ES9rso"tw'QATn>2FKૃ $ӑSxp<>62lUr/-*N6,kN"l㳮`^L1?sIsϒ&rm@=KtHW6a/ 5u[ A:e?+]B5}|`ZRިSgYQ [ٯYu}Ga.u3 ܳ09ebti}mg2$IESͱewE:fv6qۆo꽘katFֺ88Ѳ*1(t~,V}h6q9ڵz"֑N5]1h&O>vKPLSuyUd@uAęh ],[cȗ4񜨗*"RrHŕs ?}IMAX4?:SϰVы33=/XC(9_#_q9l ܽݻ\-9@F4]TRb>CqrkrTR8h&1#?zNwjkA^??3x7.࠱RyKw|Ǵ;>N Ja% +7rjwgيF0O0LvoUF'OHuI.j3kU * 궤< pثfiٻ06p=)G|4E0P DAaQxY95A OGiz#f.WR HֻxYqU$l3C,71kVE qzcמGXs}!]A`⿣]j|hzH&{8W;ˌP;bf=1ɴo`ac\Je}`*AhrLtmGHFƐ_F l༞nK+$S2n"j/%$hh)^s؉J`T^0GLxb#3XlF@hu (wl?6wu-/v(`Vm6^T܁ӗT'2q xIuh*B%se-ނqq$W)7EevYux"\ʹ$ R^̄:!/5;" c?C /U 2w9Sټy Bu?88[*ư7N\'qte;v!tEjk_>!ƣ'Ãĩ<2ȴ{x '/5\c $pMճ)e^ç[FYZ)j33o'7P>>]&JK#]K)$ީ5Z9ZMz$>%4Dm0Ji?IYs#lt!x]lR1.df?%{{]cC@MFO 45 LÃ>o'N׮wrcQCQ 땳QZIpT&k_ mbAw" <{V?ÈJ2?8)=yMrl-Z406{[!+-g| zOѩxԍr qP'}O<oڷ^t;2drk NrL?$qX-jAA5# C>oGQ[o +g)%2 ς7S?NuAy),:s7W{98 8G.ʾO`g p(nAI<㊁t!}r1\Ԍ\@ N(i<&aɂ8I yb/E.~km{ʛ!2ͨkkݢ#Dq5\br_ EvSxukf֨_9S}p–bmDC/,׬LD؎zauA,ZXjL5;lu1;hi, y\C-Ċ}v:83I3v Es0|K.&}k".N?wN2Se]kxKG6CSd,0ޭKTa:)sc}0u0p"8D, c7Y R{q2K "!g {z fv;ߐΒⶻ;)+5e|[7:֒U SN犊%l@3`GHʹZ?g5-'prl~BH [EeAb]o2pտܳJf2r!).18+b~1b8G7=0ߐYa)n#MFS aKɡB79pdhߚ{^Ȃ[i$xӵ56EIviX;Ow^!qeguP#lV3Q (wȡ I%i*Q$\ũ6N*Y틨0x3g橖3H>QHad!bb2\o 4Iv 1ij:= Ns4Swk?ƃe{Zp]s݌C?"mZ@6Aa16g>|ˑK*]Uqj>}ܚp*v#(+rwKiwj] `AZ  UZT9Z~4^azO~m:j#4Zް G4神-Do k½ZS@C@+Hp JNWkbsѭE[ Gy4oO:;df({wn2B]]:L*}d*(]+7'cؾE0ɮny ؂ ޱ2~(VTu@zlh@dy4w:uwTᑻ>|@T-%[y`z7bfa'@ېv;#VA&{,Tetv,DnbDNɗz?P~3Ewc,?.@a0+z/+5jY^7 .U P |zީWܩn5GU n B!z8 {SOM$2c)GH(TyK -(3`lơE["vQXȜ-.\JβYEܤ't4 p VW̲P* 脙ɛ_*bnk%so]&" G\?Ke2nBC=k<̟%Zk|JLpl3JpNwլ$iH̙ūs`&h4k_/޽qXƏբDgGſ~aPfjBrB,I@N*`ьvTPL%XTLP99ѧz`pN)[Ml&6U`Dpħgh`Om(oguBM<XTW873Jsz I-7F,#ljΉ1.Ӈ|C `9x;t4l߂¿I_mC~Ԥ*9=jNhvi֜OIl7|fpҿ cP8O]c_4m6Ta?77H8N=uTtOxZ|o(D ѕWei AǤU \)ĩek-^=/o\ pJDhkchahW]7Nul>s(̓^j.x_+5G1>9"7>HkSD,igpǺoE虔aT X]*262X#4?8 ='ևQwe1Q$G)p|lMN#FNNN|hXeݑq#FQ2_e 4=W+*R^N8u{b.6~9(_@mq̭d.E@myܽk$-1  /ݣ#F)b6}tC!17>@m -Yo &FX.A@p;*v„ xW]bAP Vn 'm&ΘɅ᱖GvbIoETF¢ Bqほ").}fW{+qxRۖV(Ih+ U?HbSxq綍h^ff3q<.~/ AV0H)+HR[ m!dYڮ14t MO=oNJ.<YǮ&>%`?r2390R9SG61nDbmw~ϒiah) Q=1p}RkC7w`SaP]}w}Ds#q4sVo'5ꯆ[8µV xb dϯ,o0ǠUgZhĎd!$JXa%>gۑ_sҕ,o 5z2R6H@2Wg2hsqm9P%u#aQrm(ڛ`B`]}J- pZ~Y.A9 e:Z2+$BX}g 9&%esq4Uݟ1ic1JR%Qκ&:Ut+ z2cëc/zqKh&ιKS%2L(\|2H\} ɻ`.yBZr~F!^5wWJgz$2 9c_x  TI>i "ak{kӝ&0wq |j.4l9`0 #I =c|H2s=ʷg«{;$TK&iQco Y V*6 @m,fdG80@&ڊPL\_51-0kta&JAGD襟t?|ͯ} \ BȢ3Huks'd3ޭEm,5 s;1m8_T!R\y܌#fNʐ[(KS9>$}ހqa5:b)):$8R2׿݃/gDAG,~M[fG<3y4Ĉ.z鈆IOSs1 ؙ'}EMr!ơLH1x"d9ِ0[(hnw #Π6"FLr]+O1oumO'fP/僸J7q*3BI$j*GؠsG@4ϲbROO1rVDv,X}b]X CS[7S0{W<묚uf\.(OZLX]6ƫxFƺ27Q?As,f;U3p.9[uclfe\l^oc cEUT7yHhq7Ao֨t &': Vjc)ȿNE-u&ko gosy8*h ˕4 G'g RT}JVy4'TR<PsѷV0 ohysL۪^&G+W7{֝QsJ/z  ;$B^lº.Gxz]xZ#{O1qK_8DʫSi%vGr+QNղ)b̰) Mp:EW$ku$K88!Y[MnzX>O RJLW #7{ 1ק X/ɱ$BgYZ0792dd4e13bedcd83a0213a7219adf1fd5a99f62 0d6cd41e51300ef3d4b41837222a62dd1b22a940 1cd88e0b8db8f330e4ea16c15724587be1d84d09 1d2ae08cd368b31c9b00cfe50157569c097347ec 264aeeae08e19d904f23558392db05ec77d4e8c6 2d3928846e31cf27f582596bc585db2a42d7ae75 3562fc8bd314b3a487c60f3c2991cb6b2bab43d7 4564654c94b9c819d20401a8f9f108ce7ee3f553 4569928287e78011743d6b7844b6f8e74ed03875 567f5ce5ca7f9de250fa02a1e406970764cdabe3 6c5cbdec706c1dd4d651146cbee9bc74ba6a2369 729ba6c897e1c6162510de5d031d44455a310359 7ca278385d91b9522f111489bf73c24635f76573 7d2057f8010265ca70ca77e2b203978b6476f0bd 81187e9937d74b072225d40d1af42e19e9a8b3e0 86c289a8615b3d182e0d851c219e683dfde0241d 8c485ad64e3be39f5637d2aae823a984dade00a6 970ac7b8c0cf5423d7fbb649c3ad3d9fb8963bca a131bf07955e016e7fe3b479ab4cd82f28664888 ab7da0f691cb02715f2682876d87b46064f1a398 acb8edcb8f6ea0fe348ed05f0e070ee1498cc7fd b9acd54bb305519e7651292cfd55f24493abfeb4 ba3c0884e2f2491504ceb2f90e9da12b828777b3 bb10b7ed8db50e7057ceecf290eb7645e94371cf bf490b5cc390fe8d23b3eb730e4797273f399653 c25c436eeb6824f1f1fa76e04129294aaa7e8dee c671faf304e5b931299d777a713f65794ac179ea d19c06691976911ad10683d86cdd7ad1ad87fd58 d3981a38dcddcd5dbc9c2c77903c8312117bdd01 d679e1fb0d11e85c2196a2804124e148f930a50b e80589f3d5d90275303ab04ec91511752d70a4d7 f084bf7f961b48972c2db28f6a26c93cee1e80f9 f60a05cb1e69eb7d99c4c2dccc586d9a157c50dd ff6fceeee2cef000778dc32616369d237996ca437df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56 ea55feb5a671292282c4bba790d5b592b0aa1cd5205c659bf3d208f92ca790689a42c4bf4d374620