SQLite format 3@ 9- 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 B#|< o]HRB-Slicing:threads=2elapsed=516.832cpu=982.932gc=30.284factor=1.907zXZִF! tv]ŗXf1-/6vRZ;RsTcvhiNj]MK*ݐo͏v*흀ˍ=ƺid>yVSѯLJF`/l " ]Px]jTZG& V'}Ѱ # HRB-Slicingj]AL<U.^!&yx4TV|xNxYZ $ԆqC3iys& 4LS &uJɳ0| PMz$ޮ 1ȏ_ou9T4̒㿙, @<7q"y]t 6OϤ-VZe/}5kY3N׹/'|vTyn"CJV*s0PEHSܺ)b\\kte82LƮMiNmy=s@)bEҞ dK:Bg"9S_PJړn(8 A z`bȲts- }3.T$){,F/^$1$(3Ǘׇ2kZu0+,&`Q0P׋y`Zo+#H4'@rt-(>珵u%M μ؆7UC ֪"Y2ըfCrU) $'G"}$xFZmf*qMP}eﮇiq2Mo3>c>8FHsd3콥p VLIy78>X.?c0d.lI~q3Ԁwdۮ|W?&A!gU`t=8ihAb8BBO:4go/%xQ c%gǜPbuŬ5sj3. V56fe0 <sܙ"'H2w-,s"쮥>~2ۄp Q$?`F*MT03zhٳ3b~ׯ{oR1w3Nz1!abѪ|͑C%r\_/CSV>zp6S}zNnw~vm*VtD(eDm|=g 2 \k?Ҋr$`pyMOí8UD gxR6W)!C LW9N٠y0T>b94ʝrB)XA!ϗ;R/+͗0̌dE{BCF?&;wF})+w y0$TFn7< :a-(ZP1p&Ә6ߐ0փ'WW$9FE6ft|PGNҊfBP0 5m词-)ƜUćB0V@pi^;hjFWDZzB|P95yٸG`Iq#'D[cMΌ2u*7 RuH݁/zϰ/}_:>|g RwSWD ޱ@-7c̹ W_eU5:0> NxfE#MlNe pjNah"3hyG)󤭱E{O[hAOp6rٓ1@}6GK?֖4/bcEM5aƩcS{|ZˏwP)2UzprnYt-[P:~n6F6DYwMnF?_eWN(b@ü /~!kOJD(Fqin /2;shO։Gg*L^㜔6%*+UEx| 7,¿vFQо% K6ѕ+0AhL臒fJ1`T[VveI;Uv#r9 ѯ+8DxBkReMhCħ%ӡvEy4mdsĽG*2dS[&V/Bd%L|>PunH ڔL&MwւDgm/; w8\IW?ʐg_pr)ݡufՉ>Z_\tN7495_/nv6񌒋L#VM݄N1^S_!Ys$(gjtri]aKJȋzShFmu|ϤaC$HHn`d"O2I6jG$uo nDT*la (QpO%V r,`]vWՍ{Khg'n*BVP#p1:'O=?kt/G)N,^Rɴ]ö8)AamcXY%%17oDVywI|fPt!٠*ޭ"FÀ+lKt~d q fJ&CNN/7u/ 1D \ҍxmU9|D jar'Tr-ȍɗԐu7*qqR[5 C < H0;XGCa[tq='RD8A iZI ?tZeF j8[Ysu=pr W\:pNAq"<9Xt^ <׳ju`KTP1-^qrze\$.r̭Τ:$ϱ~!1zޥ_7>c2>z-?Q"&h5K;MR,^o*%̰ib)m.)q&}X?2z`t"0u;>-)n]p,|t²9cw@]T5eL,$!wb{Msv[#{f՚}ݐ #7آ\E[i*+Q8)0]AetaP^Q3wvcد絖Q̎PE {Xe %>€bt @Wph-ݍXֿU[ڝ1=\jג!JN`&PCvho?#{rM1+NSOvKrw~$1_+a#鏷H{XdWB;^ IPԜ9MM`4TF\gU)jPzj-~ȏ)f}%\|c< dqqQ6/1MۯS+d0 2>gh=^kAErRy$dXqHlNil~&jaEQP?7<> s)q$$~1`4h"dmOWFYZj T]3)kH|3FU[f t\aD=9cVBa@R^U6RoD+[$8%^( -,I7ǞkU ?D"02S5TD:gZ8SMkzGʀ>Дj>u$B4ςWe4 5>x˖jXQ(`ݾ>OJi>-$`3Vi9 {e ⻶˶&"\o0G]`\%9+R =)jBve!|ÉVi',{(Uo">H2=d7Pe̷ʈ1KD\jLS(ddpMs;ÖǍ+!##-ܥmf'|]jXyeAѤ$؋Cq-,RvHҾn *T}R( [5PAB& <߫vQuOGT˴٠3O 0:s!p+|D'&G F.b~,0gSvʒ^A# =٣j+{2NEЋ=U4W+?]ѕ;Ǹɠ,[Š6!%9S+;37̧EHfi;EґS`+> W ; 6 nM2'80LL@][m~GVp}Jj=Nom1uZ9:NHN -iBӭ,aHGNu Ԭtp% 񶣠 `seVQ GΉd {,^XsDFa\Z-3rqBд/ |%@AX-3< q3YyBml~JTjVj9Þ3=w =WRi`2Ǘ8R!4 "kK7sg:^H-K؁Ȑ 5&u'y+k6[ƞ6'RmWH&ss~R `a݈A:V 1 )>= v56'TP7{8>֩hX0|N=i&xIlgɺ֥nGkmJ<(L-84Jvf vVS}bn:#R@;G^/-,39\+ D3x\\6:98qQ:7w#>ÜɨP56/LEqx6~vA5!Wf% Y틊hu KlL!i]Z_84Jy N=  `̺fi AR ^JNo9 }YSiq8e/,iN{^CNyVPQ+4R.))X{809y^nĬ2yq:Ǎ~UTC X̊6JBOkDV 3CR'ioaQ5fcMom`~ YұWg#"%T[]S,mѯjYs ]`clGkiv3$SH4+jpbz*:b̶f9i S/]onbz^Xf"GTu`S <`CQfh=%vQEL(:εÒ\q%iaZB3$n5ڍloKÍ`LIّi%%lᇨ*rZ=Oؘ4tpFJ֏W`qWRf{u%z:( ;!\)H_l`%+LR_qkƫ2'_L[웭"D.Ѯ‡a$"E#Kf+s5923rVT%1pסya5ܕqymj>g J~cHy}XBf oʝ#C,bW"Kz0i6j7Ӛ aM։oE0i#t֖$I Lͫd}*m rDJ Si[®ު2oK P3)=κR?7%!T}թgGٖFuhϗan$w&*V7(u 3 s@5Ikb*O&lI/}q9 8 Ú~"gWŵcJXIҐ# mZB~b);ݧNfz!zz jChutm/LSOCff'j]ֵ:J\]޹{kQxB0W$Qd>bR2/&}s0زPPW쬸Վ -G}zk1+Tdʏ<c E0`?KZ#dvq1\e;pߺ%qJ2UljRݧ)e?+]=%9nUpd(r:2=.Ȧ09.en XLb9?Iv&D?; ;^B ~A=tSUjꓤ1<ݫH I:9d( 7@@,ʋCB/-wB;!H|:S2nMp(n5fϧ.h;9pr@=<OdlK.MJV(աg2FBY&BT 揽{V1: a(@>"/m/yGV4}Y)WMvg rcIZ`sDN-{S[( 7k %i+,$!Cx+Xyfj̶+) mM-+d(K EHbz bL70fE#J؄BYAѾs^ g O6_ Ҭt*>8nU?22)Yq/Fb)yA z 5A%}ϤN%d=ym 昧'~SyJm/C*Ѝ/ ZO[zZ);]U%qYO8p`gn5ZlxB pR`,o)sT+ )*QO : %`ԣ|.GZ ? sVazǶHre2kmqB0ޏ4-DF<0_K Ն.u93k䚄J FHa658/OkR=z8cۦC\Rn mعp[OsN=vp<\JjOjT{{Z&QG@Sf-ޠw T~u0V*e{Y`nԨJxQ;Ԧ?_Ѫ˘V.Z9qní82.|īe70`ثv,#| rd~)x/53堞~?JuI&)' ep1c>\똪6K1fl5[,@H9oKoT3U1*Q c,ͷ,Lˤճ44U UX1ù\?V[gobȬՉ Đ6ɦ;=["BAB˷J"͟oM;qΡX"aFoTj6^eMP6ĮN:(tmo?)'$ N Yu˹X^S fy0‰HpכبċҺc^AP6Ao3x2O *d請g948 e)ighk#LL`*+m1!b3.u4>'$Ay_套@2ojKIU|>pL!i#QՌw%[|4;kfmpr SdO|.j#e{eȧѐKmgVl7us('Y`k`) \p~%|3U] +_^+wA[)_0sgXE7g~ΘHX4?;,4 Ok/!ddqO >\53@TWvQR`>@(hə`ƻ۔?p=V1HBVzV2X;\!xOxj|2>+zI6D]`iczfF_R6Ţ3߃0X3\dx YAm[M=Ubq8=w@L]%Ɗ9*1zˈ=E̪ddz&[Q΂iz>i@ ?j8shɽۖȍquA#/`?l0ōW9j"׺\jl@/?0 qH #FLPB K%oMc.e(p˺#y~!#L!bk 4F3Em~ "]BN#VKWݵvبI/"Zb[ewb_GB)*'m8ۺPU kQQ:Q"~ػ}X咆 v.8 3ô!f= 7 *KL\\qmBZL*y>l[f7SWaeY_N[6KpPil1sT_-fzdB[+msZ&$;|@Non ݝp `Z;q'PYCXG~ꍒLwUZr]W4+*FEڜLb\źd.Y=BR a=PNApSlkz0/rA@+6m%&m2,W&: M R -=0l&]cveb8sC^qW3N1,w刘rrKg/(ty q,߷=C*&C˘1Âa1 {zG4Q$wvT;وlЃ\ fB3;MN2cb=>GWļaNtqiȴ)=ĭ3랧.)oa]|[(S'M( иH [$^;>Ѿ+ɺY7d7*6 :eEMp9]Ry'ncy12? !CJf@ ]x.c(z3rRjŚ71!߷tЃщls)yx3"hoȌ : .EG,kUU!{>C&:ݑz ekE[hNLD:21clQn.`9%m}GT *٣Q:E⇫# `Vᢶ]'ӎd Ki6qw%\@yhp!%lMk* Zp];{ Y9=}1m $2Rԧ.F8t\<:UE60gl>iEݝ1(Sl9ɚE?kL\X563?XCm\l3&PUg01MvuM1!xwfZlRк}tk^piu]74͈!= fCf\29$O1Egװz0fX ղK(r C4uMwyv ^5nP{U`3~ؖI Kx4;b=c]}[ }f@n0Ip,rwF5o0Ksqb X,shJM7XM)X+LhWG- rD vx!uZ wL@J7¦ߡ[SFӁ#&Ak^d=Ucnr{W`^c׬[ vk IBwİ أ>!׽7Cz[QH.Yitp2{6f1P$F^#)( BFu-j%JUQ36*_`\T38(* ?PT#y4Wrׂs Wsw ZϵZNתVӞ;ɏ%6HxĘSU#(F-+tyQ&#Z>5glKmm^^`leA*ϾCþk$/T˰jxrq7c6aNέCLsgj!۹ˆ4@/mBN1ɉ-_17Fa[\Cy٫RICCèDJ+{YѵdfpJZ?(k>В)W7/šg({ҲjP LCFw.e(s8JtT ir!Cxm΁ om˻0y^82Qt )l/TX+шw2l.th[VBUcxwa0s4kj _1Bm/. -|5U9&V Le)pqz8-9UDKdQTFr+9RuJ ]q"C,O^G=Ҁꯓa w{k0?,a J.oj,Fr (N< f}=+Z0k)TxEDg) 8 _aXAu!L#7o H'fAE.$P (ވ-zBd_{&(k= I.N'tsZ hݶppq{rzT;c^o{nz7@QէVeP$g:(`=ʹ-9/Y$0I% ]zG,O%lkIhGK:M9):)Gp ̓?tI1նyX_fֺ_̂6t{ҟ0@kU~pj m!!fs]ToɻoabAqsfƨ|&XU襠hJFv Z=W z0/ ࣖc "251X!n/ xLt h4DiDrmA _7ES%?t%'D$ 1$vfWeSr?q:igr"vIf{ތUwT2QL}ͼı^WvWkR܊oh8%Yt@фG")q, /!/P5z2 jKHcTZ Xq؃}iJBQ^m̔ LyŶHwr;e[Hy S9eXR],;r{ȃ!x7TCz_('+ M ^#J{OoS?Ԡf6E?!rRLI#+'|bsHjˆSn?gF=eudJ`/J_Z}ʇyɗ(?F:tͼw\n#@ *ѽУnfYF6Ѝ5FoW7d ѧū]kzȸ\a)hV$uf PXQ]6P[^=$&X,jxW]o]<5#'jGuJՃ"aGD[c'e)9<2ȅ4 "xEpk_kOx\D5`ԉdƌUfZ$ߺX$,!ċhKʂp 8'GV8?վ +r_ǭZl~UsQowb- gs!<ښ.<ҷlgSJg+ 1'{ G$P0~;dm7ͷ?#^n$![N]h8ْFŃ&*rV7 3k| 0͞]N/3V\ o8P/5.\kp] א[)& cP m`OK  ͏c 8z6J,qJ'g+s$! ܮޏD+ 8BByUh[#$K|xJpkcECq"})j5SYv/`M^Q-iN@pyjV> ;.ZB4FY3ܡEiI8]ʂ8ZgX2E cį&j:֋j@"p^M(*]/vWf-_tV6> e4%u9,uhtғ0RV[”~tHL"\!1N`k!"nȾ^0|ΑEQb_bZ40]lL0?Ja7hB>n܌vHNH-KuwN;j=A:ڇ*50]Bڼ2uϗ:„jIHstq 9%)EZ=2U0|,uC1a^r8!""klu)ͤԳwY1gd[녣CF8Aowbn9^`I2c6\脏T3{\EU&f19G_{#WzaNUmU%bW+7^rL-Y s1FctӻS1Eۙ)&>qP .$VjR=n>Yhu}O%-k* Fbe= 4ILhA M3&mͳ&+AMHZ4iw-X|(ku8JϒH$H7ޫFG2r#_V/Dc4YF!g,@ *RYT>|^-{"ٺRG@G+.tH%terH9bŕ OG[M#IZBk>1dνQ8P jߤ-y{I4Y*L9 .∗ԅS x!1 .kz6.8``c\ BJ_=m"PUFiz9اfU-e#H?VmG_OCpZE4eef[ΝIy!ȑWu fpDϲeWC8 0tcn[6ih^'N lژ.՚Z@]]d3=]^", l n:WM͏~;Gt\oH7m@F(xEmuƼ#?;xV#N cm]DASSrT ([Cqv+`g2tJw~ЕE{5NSsm׶O[d[I, 2ld>Sjn,KS8@j g)e$zf)}Zk`N%z9.VJD% r9.a+Ăg@pbp򝽫I Jnj0‡JŮ ~#pp}Ĵ{p4aꀟ>o^Qq3C7ϹSfրi;ӥZ*N-3t.(zdF.BIuo_FMiy9 r(K̅꣑4Ѻ@=Zz}/f?IU-„1Zth q]̹5 ]!F l=- I (A/7L\SO%7\l ~45eh.whT 8In t},bXm-YԶbqEe \I[mЋw5{B+0-D;ջ hbGgU*́"/8[el.*>.;In[!/ StG#(yd˳fbnXM5 i㑳qpРLmycRB3O8[^0 pLJR GL8ˊ._8$ SFnMj n;IS%"\X::ϊLbOS5Bõ$zJxuܞ#Ϛء:YQ13]ڑ6̚0Zv,|!LHī TFMz['neUFXu; zEHLQ6_1Ї0ֵ)B,dU;{d-"]\B\1:#}N>D5 tXoQgv"c6<#ǰv9QYk5`[Uvz>_Є9 O$0k>'=ՏyE7}%)k"gSIڐ{^*@;0u;97 \;ҷA,j8tkOB"C䠨M6YYeh[2~YznjOD}Q': + QY~uvg?xf=sYO過szi1Z@_nF0/tc.1Ve䥈;j[@v3SbPڎ˪#jB1TXҽp[.'Dx ,Οj, )FHßFs%$/Ri(_FZz$umS!aYd & FB_Q>l7:xHR(p`;ܴNijWJzD=#@X0z.㽬lߠ\[i'ڙjB_p^'`N$/G+f66x7et :E~tGksVr)]J>r_x/!Ħs v]XzmP#ư^)KئH U9A (q>/d&ey˫Qk ;f'=gdkY{EF>H# Yиa/NS"Y N@77nKIfCf\3_p(W^s,k $Se)} ش /q*h!u  | "Df_ڳH/eEd,v BEfu&>x3 ݒ*}` $0_i@T$:VٙY`do`hӑP'fS8nCQw;=-bWnO FJ)Q3tmy^h81\,}K'-5VA?Cw{TqVq3;X:v'|$`d@U:|V7LBn'~WT#&9搏;+WN=Ý\lie`TYM >ɆجwnuhԷ,-Dk|{c"~#Iq(LQ5Q)q׮F"nA?v;%美E "kHӝ ҂xSB&MY<g};5d",zi& GbU~/.7K 1hvY=cD=`d d텯9+Nɾ@P#ܵb5ҥZ)81lK+w,7 }P^R@Yr엩yuB#󃋙r20 lUBy% NHT7:*rtd \APS$JvMm*Y;IG ]e-wbI_!iDPJ&*wUG$ۥ`Ks1ۆVU0LgRۼ6!@ݽo5 %Kn^6aDm*\i$ ὢ=չF]uGy(;V5ɨV5輸Nz9<5mT0]U^Kj;`i]6_ 2JLے5"u %\5s8 stioa$6!Pm/FfVj8вipknj4Fhfk*Tq)an5/Z6kG"{[*ikm*sf1=੯KONX v1*?e&7oK gqˬnu+O("Tz\ѡA#xMUK`}1\ap׊l%--r3WI:$ew nQFs/,Ҳ:Yu. j=ZLWۤRG\S@]Ur<M_ .[g*RX7'}c<(@ٰ(EV`X;WU^:OB䗄~s\J;#F]gUNx0U/%Cc i,%V:"{;TYYX@nBg!b x_+S8 rE{KMva)r(Yq/"{9 d7s G\]ĉdaݖpw-"W>N2HN"yr.x0L`~8! C_@i>#j9 [j/:Dh6 Pv㛣ʎ8 1h#фg~3]\MPۚ]*HƤswUdʷx]{(EI?硒y+fG{Τ}ϕM^QC[m `X  KsiYL)'Owm(0A|E7%"3HdEp%Ef"$n0$(zeUzNQ 1ʨ7otvRبXЊSɟȎ(Jf^wVьQg壢y"yWz >,o̸,V#Q>PhcrbTy;nsYQ0H}Q:YY]*Q*z!t~'+!ܲ_} k!È2N*Rϵ_`c)?c^yYI­¥̟x!Fb5-7],[VEނd;Yen!4YQi_gtg % SΙz&ny+Fv7cz smf8T SGZ#Ds2t0:["TC֧j,PF."KMb-2hrDeUs矼[{+v=H%ļ${M[tqu:Ohq/Њ.8M4sC AnA egF xqVtJ0,ֆQO.7l4:.̃G̾'!'uDƌ\Dи !84,[į?tmȵUr>'$U\|v6 +|RlLe)VۭA&V=YVQ;R*ZC})` U"$m>O*3{vVdm$֌W֋BfFɬ4@l,50tpՊh0-6 ԋtaO5 7 ZŐڂ7FQh̼胿PVaҢaa.GktL٬tRL-%38,J?#O՗dEW/b潍NqAHcw(8ȖYeLb h *Mp(Q.ncJ`%hP._x#Y6eH4x&z~P¯aEܨ O*zFIL(e-&(1NإξӔñr ز2`L04o\c{\bM22߿C!`Ө>g=C?;Chm?hX͡2 % M1v fC J{Sn@$扎Ƒc} n)(>% jaw|T͏Mї}e)rV*XTZb |2}Fd 5; 1Eŕ[:O_Myu\rJ*Ee8#c8.YZbwb>G% r*̆sZN;r&X{)]c!˒ɉ:'Jo+L[ Wa i}ՙ+<*u3n?^%g˰n㏲Y);e$Zp7qކHf eT,eCO@uʷsOj zY)2jGw4z Z"f0kvM3,6 N|2Nq_r6fi䓂6px: G|]V_)yQr>Iy>=S,?+ (\dw>r$;0hLL+ - x)cWY[QT@+f9v|y=eYMgLpcumu ]?)#h|y!w>T Ce6p9| Lm)f€zWӁ 9u+ȸ ng ;bM0{ >0$Xb푼y~҅L|P 8ިxVIĚDW&n7>w蝏PuJjt}4b,Hi~"%URB.ﴫJhF-6;TloMy,8Tް2m{*EԳ|51}*샜7spľ mC" 3䌗SW;"Gzʍbε#sԎ&;WYV0q⎉&, U_!Au}"9}tb\sՒpdϭ3ϝ7#6x]FKd_HTEje eϏxrAMڿk}_Kq2 Inf1`EshR_^=:4!bev&H8+1rr@+~ +OO=[Ҝ'bnB6?byIK4K9ꋷ} cwɕZQ0w kG!\[Ny fL/wi )Ua,SΞ2q`4&[Z:a.GcÈ7kײ>evz=i[#Ɓt=ʘŚ`[p.dMB>з4eXKku'Z-GD`2ANA?1ԋQ'P (sknf2h5/QᎽT)[!,V_SbVr%J<`cו⍉店@[H=$5^/>CQX }%{4G#Su&Kc SP<0>a.TiY7 ;*fLP2{< ۭVJ&0=%lk"\TGuP cjK7Ğkw2^,SI}藅${u; TNJP.2ؚ81׈h}7n0c2"๘c[޺[`SX}z2̕:ZBt @򇦪b_$~}QVFfK&=Rm';݈h=b6kXBփd\q-oPY ^ODŽ 7N=GFM!-(ôSxw5uK' %$/.'P$V;<5 oWJ\S w@,=OQc2+@)\9q3ă*cg 8p`ylt'ڍO{>wW|vk RrzîU3+=Ci#R tsyJ-=AF\u2{:27d~_m-~5-D)8贎J+]024P"$8<*ʞTRQNL^˓' x/ٌKTnyT;$wgYZ7zXZִF! \]ŗXi%>)M#[> nA,H2]Zw:ph{4J#Q*_/b޳ٿnj02'!>A+ݾnxX|#l]5wWF*M}ٰ~~IapqWOZz;6*>tL&O)2..0/1|e#Ӂh SWr| VPˍc63ߝ '>:x_? 7]4oX~amn-)mYgU! z\;(}zX MRjY %xW* CR+ho7JiKux=H& &bzȴfۃu@sG R!J?:LZctu['o^"-;5305Y$P§|Y?gOÎL}=֢+;j`!aY~Zv2/j# l.wRdWh vj]|sEݕ2Kc J^A<`2ǿ'RBDRqV%ֶ8,^R_ΰC :L+kǂVx53K H:%-`: ]Vr(k:&l:,<̥w" (=S^Lr5Xd/zT#?-Q^Vi\YΔ˾"Lsjv-K K%#kK/ 3D!Cda 34GM?781]?GdBvi)եsPx75Dݿ5ֆeu',Z 9KˣpNX}sֱI!s wH1mQAUgrSL)O_Ҷu' G&6YB^n{ݷUU&k5cF6Z*/[Blݰ*(WVE%ԣJH[` CqX7K[,黠2+Sgrn{keW7z")Jlx.Xym!u" S~0'BQtw2ȚQH7LНL`Xj @S{1Cwʷ^--"y&U&?+P1G R𺴘cH<9]13o)a%nY9`hyIͣroʭ6e @neq]I-yjDZZ+[,IXn]ϓsCk{srHA,2Gf5BrCH?);0[3Dz ߞęiJ,3Οg]Y&ӶO񇹙r.P(k4TtL.<$pC>Y`\Z|$>z]+>{N,5ϐT\@9hg[L05 SF{MӴ˙4vһ0A,""3\| hhI ZA)XMck`8A({"{BSNe[B8qERBY>WDBX(b:nQesYe-2Upd}#rh`:z |frM7&a{sgWwh nJp oHkz.|~~T+=!C 5*YvF1c]D^׏nXCpO ;OѐwAa2 F}hZ< vʧ\ jbG(,9H?qe'UG;T(M@B;e?vh7<άeDXj ~rdY:-HM-&mB+|Ěe1TJA&D?KGMe(hWZg'av+h+@m;WZϱ;wP[d) t"%Ca{d]İp7npFQl6⹣5zuu\t˚g>vkz s.0u,+Z3wEH3 1 XHjÊ˛& Ե_Ȧa0O=mMhY8b,ἔ~ YަݴE|=~)`Q^LǦ38oXBg1gn7#^J,W/Eiƒ :M1 {j+Y*܃G~T TT.JZf+*'裓 \-XgQ~k)]jtL%$,( -Q~Iwj^RìkCtR!5ey_H_LM3 F,ȭ\=TC{uZF?v,޽`OɆ?Pm}axԦɆ*MtLj}Xkumq<.hnL™94.~ ڵ@?o`QKXkVD4j?؜'ZPjo44nnpW9Bj$?ýk x o'!\cȻu֣f?2b8D\f0ݍߤLZ8hEH==1uv%xoIr䦋)&=dz5tEEzd/4(ثWWHa[@VUW[V(=n-TH,DS}\1hzi&fed_Ÿ(yPgboW|Nbc,%ԟuw"Hmvxc}(ihA16)b%[I o{k$70Hd୓ZDx#QwڑzAd9zb>Mk<|r2M!Ke|y6rLGgD/~Piz~و[]_*;:^u j4VQ\4&*@[B)ήW2v)1;_΁=!XLĞ(Ʈc hqz|XDw Z &d^)$zpU P(gQtakW's*rX㦪++L-6kf)A: =Whp*?kGm]ӌ!~q`9TT=UK[Kj= 5 "{kAzwTwqJE&9bB-)W.ȿ<9,'k6QK7VUPl 9@Դ}-B(A2+Ň h4gOz6jtTﱊj} nᓇQI*%&?,k|7AZYJA&"/tP9 = !uC>&npvf׃$ YZTC/Nt >Iu~F7"qç1kbh?9l An0a iRpJ!d9.ЧFnnHϣ=A܀nq}D{}R$ˋ<>b$EJ NA@:'N`7g+^l5D}rLxv%Y*n~&,TVp)/[e'7+x.%<˧*Xr &[S%J2Bo gm ⟑WEg}Ix'U9^ys2`1&$\Lő8]k4d{gSKR |̔=)))l<"jx< eBoQxXs@LF=IAfTSϠk5k* K3F-щ("V8HN͜^C1>:iٮq(\1214jw͓䥺h{1A Z [uPF+3L%͉bI,WWggQd%UH+ZT\c=Q ~GȒB13&q4 dʁ`QԋΖpV81B7xI!,܊U Ҳ;p//]_oZo~f& N<-xv &QoKDyq1Hrᵅ3OJB:ktL3lh3u /D? A4!) {Kjn~C8Μ&-!?zzԓ#Kv%" wef=E8b-oeA~G!.ÜQ+/ )EC 9*oחA SBwwcPP:yw$P` {gƣ¸3ut"ɖʼ&k OmےzuwiSÎ(A kʎO7&J(,8QӍvzFg)z@߲.8qpje,[_f n`tBq́bDR]Ky ŏf6]sQ=Nġbo^nWjAoîxaOp)[V>kf~rA4ZCBAC;n hFK[ R5u;t*,~ۦ ȇҹqM #셗݆ɂgהB.!yd&:)Ymlp(Ax QWJB'`4ordC,e1|9A䦋"}5cpg >G=1+LQT^L4z䂷%!3Ԇ)kprt2|h1 !\k {Xծ4juTc3 34gIgF)Pdd~{t %x304搆vN%$ed<6RvGJŠ'JjFe:W`fng*z/,3҈ZvtЙw3c3zu*U-Eģñ7,$:DkB*$:ύ yP9>tOCG~STSn*mY+SS~ Ҵk B5wOol9ׂ7s᫦(aY,s7N 44!/бFKdWgtD@4^\T2x뢬ѝ|^ )jfNn:Rn@Nko#ct?VL|yG]BB"94C GLK8|:tkG?P´3y+7'hFd6]s?4uN eZ|zf*O9A)̋%U\i,9Rۜrj,.XgflJrgNMϊΗF L.--TD&%rd ``o+ß8 ޝ( H0+<`g<։l;W-Xu:IrXg2{ gXKJ=Ʊ;@`jNIɌ]1y6S;6D_kYmYei2v\IUE }vL: &@viR} G U{9?*/I|O)' N 6 vDk_ aCO)PV0 kNj1MFNp ï)** \#]Nn;Yf "n&|#ylP RxnS݃]ND&Xz\ު[WXxL8K-8yu.۵#З΃ՍuK/'t?^bk@)y$&t+V'ф)4U%bO&S8_Nr1{ے45 \UFfr8!d?j*+?A|pc"l!~$Fvbsҹ}4(w)y٦ A.Rۉ,M"QN$o[ן4u4}$"$e.˙gERgfC6|6rw¼m(CM'`̋_p{9`zPh E"^OA!ɉ0*mx,DundRM0jqc_t äJϦ]ڱ)9'Np/Yhhp5L8rX(cNu{[ S ,FZXL=K,z-3+ ?WFє>N0"ȝc<'%Y4fY^'лp]K!v&龜 #L%a_l03?  ȅ}.NЙ*DUY=F?5/\\p*V|ˍRU9^U1V}IV^+/έJ37 /!'o1-zXH bgk'K O#>}YT^RMSJ%Yik&pՇ;wT\Kv†DA iyB6ncAdC,$ZⲬJq~W?f4;#'ˈ?Ԃjޝh~r?gvԙXbk#aHX4[uݚnd! Mon1%u豎dM8 0yi4Kv缉/LZd,tR8EJ\8B?֖i/du7@AGiER=.ˢ\²eg~%-: iaܙYaDJbNpOms%E/5lIסEQ3{)nqф~q?'ttiS0,5ga:5|ʭsO@}eyRpd馷 Hh+~h4JQ";%ooMժ{}&Fk/儉%vd.V!]VhYPȅ(A̧B|O/\ 8ͱ“-WIp2BQuu/L%p<Z' ~3 J t?qzdZR$U~0oTHHqU6|\uLGh(ɤ ռk6bıqP&r+0B0jsB7Y9I{5W9=򎝾Waq"[8˽@]gInvdoNwU,F1`uDs6UaO! IeT;0mp^p/C.ۺ}U~Y*8_ʽ 49j9D6 iӐuqW;wUPϠLuA)4Q ٌ]e-yH4i"]=$SBJ(.$h-j&]?CǂX`QDm [ƝCfaXBE`‘3̫B =~<3b6ݧg9}⿅K`DT% %'F&Jpxa;.¸Ů~'Xf=ouy3(@.6Ǵ?Yl"{yK3p+Xe?6@Ki^6;ag^?^Av$ t2L|V )$6-;![VQ=ˑW-,J aVRK+-ZC Ʒqn  _0S4JDQ8Si ~;BkM$\h Nx/\䕑`*F.o 92)WeQ*azVQ0ӆf5EsNuT(FT-8qn,ugACxؔתS@-+@7r\xM_,xmyI7dBn!p=ZB po2̅k?M$APa&LO](sZ+܅#Cvo: ȣ=wRzs0˿SL ێ{x JJ3ِW0 bmm&-L~hh>#fDQ2Pm>Kxn}UnIrHJ0K6o}#7n IuNk9;qs),&u"8*GAi6Bҟ.|AToYJKάCCÿ?/˫3n""WFelapf0 RShW/Qih*GqLM*/Vx9رD}xOA/WTm/4T׸yeQx}W"r%A`⠉݊"%%r_.s{%;ܴYRUtgoM Iku s3~6|-*0pHٔwގ! cIIg~WЅ^cQf.HFR0y=ifoTGJ`'ʳA޽99Y|NaԺJoAky[0*\TEY ^?>H1 (W1E!f%'!g\VuW2&w[6pLم]Hb7Ɨb(ՅGf>"e}Qa|CSa7\&s@NΣi[]?E8{ nP]f5ʒ"Ÿl"ua5 slj1Aʙ١!߼năzל1$3g+]ljMqlB]'L.D˸[UdEҗO~8ؑul=#X'ZD37[&>̃ ~k3n|K%7{b9AOCaf 懾 b(K5~j BT`PYI/QP?rr-O LP2^k(ob@ f2brWC}gE.G9Q/isD3mh\mҹ?M^/z..~IKubxrYܨS`5 1qOwͩx?/z1Cr )H2-cO騰)& &<[Һrby mDϐ)C?i>r]AD_@5@°7Q]Ua䍇2@QL-f"Ȇh9y"CF%aeY#"_ vH̵(/B NS ;1%y9{9G@9A&t)Q` tAS=RlvPCKI3l>%[ sV)TE$ jkFHecYXEIsG"΍,l" ŋb!Nnh&ShL}iԂO=Db}@qa7R#^E8|גT?bK>W+jkK62G]oU *Ͽ{nv x;#n30gѹ"M.I,K׾8k`s9`GTk7fİ;ܵb lZCI?k] ndʭM%uQxc&16I?Xi@1'"%]߫,,t$gסI'36<;hk9o-3g7(%kzx-HgW5Bdeյ?\5A(74_*;8֮^=uC-?]\ĕ:cь[2baL%)=_$=x穄\Ĕ]U1xOzx~5}X>Z)wU<[u䀮TX(H?@̞߸|`tSo*cn 43ыroI^,z% XSwy:K]Ky`U[Xtv&Q?~&~e[s0h#1Bdi] 9YkndmN$r[BZ2 `0$_ԬG+R,m;Vv0aZdw?z HV"^F5mަ[UtF{>ձg%Lh#Ԛ]k'5Gn/'+ٸƸChӞO?P\4N%p#^$ph' ۘ}rV7ǰ͔c1)<~n`4AcɔPFm3"RVR:0s^Z#ǘʴ[Nf8x^ :M. cS95xu4X^L%J[rs>|)*Wf֡e=O1 C ܦT`m**3Z:@,5zO EIkh?F`̻iys RXqƚǍ'vp/ ?."ՆE i*& ,^bm1{|" =gOO^|oUB0 @ *U<J"Wq]>5be fHjlZZYglԥEVMx5nvRȠfeեh]7~^쵁2P0 ;k9}"TIb Ţ=,}S7 "[gtFzWv P+TxI!nK D&qȀȮ⻿QR' ]տ!fxz>0ANbޔU\'XbgiVv/x][CZ4:>ձt|v%ᢚ~t?,qF;-5-;@2/7NJiS %spbhE#,0aUWyt8㿂-P*zL:;X[S:4+NSlރoi% iA:GMmmfxɕqr/SHnDZ4qį\n:pÕb}KEY9Vh׸y|41و q0brR7?+hcmFGbGόpD]j!π*d/j2Ug .!V3_iœ:1Auotf^dZlsզ,TMA4;TK үsfw8"K;TT>V<" Q\V@kƊߚGe1vO l|f!NÆ@Ss]94Mj>ֺУ: XLZ z@^ytSCCIv>nx7u6w%eU#*Oap`hjwTw~pt׷1b'U3"/( (T=G '=iw[ swkMC>hz 7z^9a*#׳kն"`/S`g;ܰN8Q:p[eh(^S>[8:~H~c:ݣLmydQ+Yxf*xNH`WML=I08BKoYj LRI8Swkv?jLvQ> ʙǶH2|3Y{4hAtBʥHL~4S'.4,-Z"wSxmˆ$y8)vGdo;w9=* #@_bD Vq!w=%Zc"mrUUH[AJF`NU* _O\a37VmHRQPvbq qY?ܿ$,?u]Q`l=) {5iFdKv,f_H[iF|Y.e҈;#GIf66W'-L mT +ʊDOZ~ddg6.nxat)gk>Δ ^x%;v:O"^kלC C5jȳ›+"Sp-b򋯕0OK!ȥʼr,u~k+֊"I?[| Ϩ֢5DʯNƀwܬH=Ȕlc|fa-x,޾Ĝd? tNWV5T/B[zLd dIBŀEm)MB\]hX+jhV6ve>YkYsiWAzRe{%tPb 1׻w6kb~RхsmY>xu*zuJ6bߒ4X  (@p8YRób۱JǶE/0a0o8ApFM5 av7N9rq87P>߶8"ܣr3k&Vޣ1C@1t/kw0nn^N@L=rqҋSْ1͢s D~??4e;DB 6&3+Ky~z zͷ_b_ `p g=0_UvQ9CZ%+(=|C26%AX } lZ3(4uVl/ VޔGk /I='r#nA y'6E=tln,BEZLl L 0)""${;iFWrЭ0f2K gS l\*ߤxؘ/6y«3L1#lD0:  @)TNBU"S?PA$%?rhy uaг]eR~|M ArCMTD6_V Aw.\+&Ws=ݺn<,xZx4ӹҔ).ԅs"]\sٕ$t.aAS˃6UOa}Hը4MkmKES[gsǔ(ǩfZ17\ä\rh7+*Lh{';Q /x{ia)~#ê(Q,#uhsyF4@d-H[( \,(4Ppt[.~/,.~kJw[OY }cd2&T1=A67//)~e8_gVOW=XQPq o%%˿4h$ cD|@lފZc ?(FJ ꒥͠T:8|p/1VlP%  7%GE[ B\ʜ}qOkhAftG> QT6|Y ucw}r@cHp컹Hd^bR.]JRȏ5ձs(XW,)ls=N4S{4鑴~K[MqNy aFߙF:މV9$y.rru?c2 |"ZTd$wu1Q#kc?.j8/pf)u@g%J9ħEBn=J#mZ2Z$/[pSetK\=tkp K6WwْpK=A2oK  ވųԽ6=ǵ;oH$`~nwaUrV{u?_%$'7zxw`lR7_r' ܷDWJZ͕jԖ~,U1Ko\QAp փܘVK)^@TQWz]aCGnyKzX6S1iiW>P~9nj:?x877#_d858T+DWF` Ţsr}WdTg,vNn8Ye Qk %Kg*ɺ` ѧ,a ӋJm9FlJ{i@.5rKӆN~s=doXTD}:_`ؕ{KVnI͕j}t hFf I3(E)nNE}I5V[uR EPL@%WB:W>w#^M~)Q|k̭,7;//?{@1D\CXq9 fgSyQc]ZrJYy5Ffdٓ .xxz[|s_!~b^Չvgfܻn}BDLUUT'S7r6jD>*pOdr}ȎpF>0=/ߍ?{j}z< j Eņv !j_>׼ /Bjvz'\mb 5Zlv ~jtR?fu m6l62֏v9:! ksF- ŁR)Q wى `MA|"\+B9ťǵ vSzUilC)v::˦CҢq_rg\ɩ*#Q"Q]>|2~&^a4xbd6;G!@ \(rSIUK"Vyǿvk22_AúN9\yиMj޺- La%aʯkI9U9bBvںF7ͩV>l1< =+c)q*uHXm{mt[SKm` zE^k=F&yyU$gF_L函&8yClXY0@is<&,iLv綪'"B,XQ ew5֡15;Aτqs /kUиz6YI^uh׆i SU-ƯJbЛJ`ms 7QrVEբؽy2EY3 E{qLX'=;n)1l Dt?SN^@(09qV?NqcMHփ=Cadk?sUs1Xscd,+!_EqeLHג_՛B4F2ZQdtzCm( #R5;&PgYZ0792dd4e13bedcd83a0213a7219adf1fd5a99f62 0d6cd41e51300ef3d4b41837222a62dd1b22a940 1cd88e0b8db8f330e4ea16c15724587be1d84d09 1d2ae08cd368b31c9b00cfe50157569c097347ec 264aeeae08e19d904f23558392db05ec77d4e8c6 2d3928846e31cf27f582596bc585db2a42d7ae75 3562fc8bd314b3a487c60f3c2991cb6b2bab43d7 4564654c94b9c819d20401a8f9f108ce7ee3f553 4569928287e78011743d6b7844b6f8e74ed03875 567f5ce5ca7f9de250fa02a1e406970764cdabe3 6add17194b1d038dc75862491be6cf66be7f3c56 6c5cbdec706c1dd4d651146cbee9bc74ba6a2369 729ba6c897e1c6162510de5d031d44455a310359 7ca278385d91b9522f111489bf73c24635f76573 7d2057f8010265ca70ca77e2b203978b6476f0bd 81187e9937d74b072225d40d1af42e19e9a8b3e0 86c289a8615b3d182e0d851c219e683dfde0241d 8c485ad64e3be39f5637d2aae823a984dade00a6 970ac7b8c0cf5423d7fbb649c3ad3d9fb8963bca a131bf07955e016e7fe3b479ab4cd82f28664888 ab7da0f691cb02715f2682876d87b46064f1a398 acb8edcb8f6ea0fe348ed05f0e070ee1498cc7fd b9acd54bb305519e7651292cfd55f24493abfeb4 ba3c0884e2f2491504ceb2f90e9da12b828777b3 bb10b7ed8db50e7057ceecf290eb7645e94371cf bf490b5cc390fe8d23b3eb730e4797273f399653 c25c436eeb6824f1f1fa76e04129294aaa7e8dee c671faf304e5b931299d777a713f65794ac179ea d19c06691976911ad10683d86cdd7ad1ad87fd58 d3981a38dcddcd5dbc9c2c77903c8312117bdd01 d679e1fb0d11e85c2196a2804124e148f930a50b e80589f3d5d90275303ab04ec91511752d70a4d7 f084bf7f961b48972c2db28f6a26c93cee1e80f9 ff6fceeee2cef000778dc32616369d237996ca43878527395436048d51bd6287a500d1cb05dc0aeb e50af90258c1ac1951ef5f989d4c925fa138d449 7bfd6a9788312402861ba4e2b45a2073615b8fb8326bf28badaf887fc4953fefb6dcfc9e1117a0f3