SQLite format 3@ :- 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 )4T /]Incompleteness:threads=2elapsed=570.602cpu=1104.460gc=17.324factor=1.947zXZִF! ;^]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-H)A`q2'" c ) Incompletenessm,J~ʯGz̝`3ڛdxSsp`@v| ,*Ԝjr<Ō}I>TIR;B-Zr: _8I{oKCa~12_t+D6@^߹[sWOD;$c5þecWUdel5Z :7c>A[3JƳrT93UL4b0D8 YOXH"(i{EĀ*O` ^".瑊zIO҅j0I,֤D0eT~z8M(ڵ$K|ZӘ'ƴ`By:bW{I@-n!»]?{Ig}dy_"~ֶ˫„bCN|hܩU8j dV34tDwf _dMʹ] f\J׶^Yk RM5ߤ.Y.b®T2\A1R)4/#aTTqҗ5^r[Ja[ol' \>(I_ P: "J &αt+zXA3D#Gi"Q hYLzd6ԠD/}UvNu o;ሻ5ڪyojgq6'2GM,_#:@#dzR'j:f_f>mчeX6OgLԒa"xگ$?Q٦6CL|{i72* ۂ y"(+m/y< 4e~ {C ؽs,:,D`c,|7ڂ V[ H샼mU %9F{qRx9  g|]?e'c|)Ejqvk^-7dutr[ rn9{k?V-A #+Wo5r!Ԁ`/$:G.&  `޸ ;>vkrQdN~uK8q:EOeR A-uHOdt88흕SRyy Ts]*BĖ ` AUgĪqw}<ۯd8㪂5]n}fmFJi8y/GxzmӺG՜ꦚkxiҏVȎB{9d=$Q?sk%B3l<FՐdw 6|S(9E`TLI9"Va Bqp!<YK\9ҭeQŽ(CKH2K\oU%;:2)ʾV/3U62q2t=7 #;q{$VP1ڤ(%!LY]M;\t:4p|ޢp{5U?ĥkrualoSl̠E9s-DX&Re[Gc]9nLz=!808>z/P54}8w17'M e&>L(mtw"LՑ[䏻qgĔsnJ 9nX%pP{RZ#œtp*WWN ïeu>N_tkr($A>#'a곘/'TБ EdQ eVdvo ʟ46V  iF~mh<:~Xiћ4vkGS9@PmeWAM$jg gҸL'#l0*S ©>F<r75k<`Jeܥ]ց]cߦ5 omyZ _ٻ:勉Mގ?Yq%5<aHOpOfrMs7D!c:bHک`8W<]xkSr`Re^|ŏ)d:=1G`!B ɇ6y=غ%_4#01M qCkhpI[+eD%7V)} /O(G'U!詘XJ4 Fښ!xA𨣴U D]8(MB96|ҚXw}|أ!B BL9/$*V螟-qk/=[B엩 ڀeG^}bh AU-`2bcB:s[_[h^c[F.Ek A>b$q!ҭ $[׫_1.Z])$-Pa6+w=5"h/6\8{1TiĐhiY f3:,\Y<2ȎJ Wf6ӬqhxT=wcet -tGOTΏypN֭U\Aqd?RVV7GT޹y3#lyx'Jh':G<5Ugjk o M Z:Y&mB3"TwqJ3obE͸dƳ3j+cHNݕ[?'̓w2go6OA?򊋂0upUW $RL*$e%aL,HzEE[ r|g)4_`´l4^7Q.r KK{sO Ul07faņ枳Qd Ќ@C.>o,; hHޢk J-05c) _!fY:iOKPITG0#8p޻Ǭ呻!;Rɖlu6 h|nD&j7qmwT+_3|#su⨞D\SbGjpCJʕ@fb_^#&[ȸzQ ҾLQ~*ejLbѝ8!DmzʃSvˉs`-K(@_KA䯐7A|xsH`)p7Rh_CHSY֚jVQ'70rϝZ. .O>$+/1X55(&ModZ򹰙Ӎ QOg%ʆе6>/3t-: L$5CqSS3w1[+\iVA6u[C4Ix'ϐBܕ2pv;@* c_tWJh7V*)P(,DN'wN%*/r W"tC\gr/!m^|Nq3A?-7ArԴjjx८pWɆK1%T]UNVV0 PZM<3%Wm&Y n@̵ݠ쪯a+~5lp,cpf&}rvL!nn5+mѺ}a;a{3\&Arw$ܐyYeAou/n}$&zq6^}ߘI1ˈ]͔`=)kaH3O׎ {;t"N!Y Q HRH=~1(P'Yܮ*WgBYlP(XىEˊ+?xR{ؾFĆбlQ IQ{!1F, 4dE2JSBV18ń8JG'v D(y>9s~Qd𖗍+V;y - si`@ f0r}u@qg~<E:QYg9T0$f.!E@*T~mVΔZ:T"TCqC3b_If|Ɠ`pM. u{^N/cU8AyKm>/ 8MRJEh='Ɖ+A_ՉR)Gy{Hc"8N" [wJxjp+n8RQ[2K Si62xЇ/qrΒ\L q [f{ҜZ&d#s).7mhsn [嶳@" fAۗnp.t"DX}' a&ObiKO, +c tX[Eb~1\>\ڹvg@+=sW!ƿg0\ A?@Aҿ [Jã%SMfګÈ2S _GܐE!8&$)~MEo?sMQPЏPZ x-9^mMܚ4l ɪn2>L|Q%w~ ^fuذs%5MvB5~ @wJ`_,.,!qqBqs˄TiS-wkVsڦ*ӌ|h7KCWIGΦ/noL: (7Y %`^Slo187 Եa;Y;ʘZWӺ꽠J@}}N\eH6 /H#~P0pi`S^EOrIlEf%W+]ϱd} *oϡsv_4)\1d({W(pe*6Bbo4 mM^5$z3A J+J|D>JQ^3]MB )c1ZͼKy XI8Bҳ oWi *t>JJQKs"yut P4AIF'I(=fDžMcY) u-0*[cuy{L7@+`.o3NMVz" JJ4^P4}ݷNp;rnce80np l*p[fhky/w{?3ůIͳ[]{; Ry"ӴN*y)9i-jĭXV;|7k.5еR 0T8D[ϣܮOKngr6j{h !r%!ӝ(ye JnӺ,4$b]`qG oE2% XEI%tV3`+xP5* Y{pF6d1W򦁗Y:Kボ F"cD&NhV[oŮ]Hv}' " z*K15H,{;7͔Lu3|JYJ.0g7pH`S2j|[ʣ_Q z9wЙn5+ 5`{Օ}p|BHSpwojDϯĤ@.lT\`zaG nEF.Ղ޺YٗFyw S[ (Vٳ8N\HlAP,BY;tB?^"d) V'=3&Xp*C}miD(ēsyApg9C ?ڴo?A֛hC+P3k|hYlsJu5k$}N~ZYn}=Ư/PkU>HhAo-Gru,m#؅n NYнoj˭?  b!9{ezG9җ eäs7vx/[M6UԇM@ذeG4fXQQEuzjܐ5=ɽMEKT<&i4jHgo``F0>R$""%?Vp3Kеt/7޽TP!'#!Š)[3=+EN:G22Rץ $7k7OP-m{E34 *K1_ !8#dN2P ^yUߪ2٭\ Z-k}+*qLc 10d( QjۻmNkQZ&%oܗG0h'&yX2:nߑ=:{JgfXg4Y4Kg72ґh+"C*r,U| LGCT#^NH1&x1Q'_}{6ko'&eU ZCkƞ 1WhTRIqTWuBQ:F3GM*+TY >\ÑGB۩SO<[a >V8~F>in4ϑݿ )!I̊+K6É B"g35k+Ne2QEפ~NnHJC^I[hk/jZ,R/搳SVs0vOըDwf^6i\+W^ҳ;_j?u#8=jHP-rRp QOsA4݌:@oz{!_RˆE?=Xcl"xnQuNgY %@$wVVnG8f_Zg^馫rçl{wI+3|xoLpڻYufj`@,Y=6Vcy[-3>fynPb=P@r2\rxƗLH_/Px88XI4X:{ tLHh&(,h[lO.#o^ڽsv0=$ü Qk HƪhLg0JLʋ[v~|dEwĬ}^|oX [z<_3{6>ROA^N  szh<1*æ4bFH'j*\Udm&Ⱦ\ |*>1WܫO,%5l^f0EO躶 H zDP t,7PT*)GpuB*Gj9G}/'JKϘ"#O>,"v신p`E!1=2rR7x,e x#3J$Pw 7%GwZA^ȤiS("d&MVAA*zޕ:]7ݧDjF[< -(s~ʔ'~5lQ4)zߝsj!y)3} L` ̵QA^ GƊ;uE21勒Y~~b0?|}VGGtEے{я"yT`&wqzǎyl궗jD`Β&{[[xQḏ9̒Ⱦ l=p*o=bI.;NNػ(B{L+*|R^nAfP,!i_g^<ɖ|QGbovzً  ^N?p߼,6& b \@bI L"Wz-$yA@; Iˎ؛~I&G5Y s aS.'5Lw`3ӧÓERLM6yƶ+XtN-&|+gT.5jpV:xy!^Oǟj/bU,7C>闦8"i + 6_-F` x{3P3h6,id"zq.KHi&I9 {d}N's=GF4R}v\Rѿa.g_CT1wٮ!R%g ԫl-<;A3`eg}TVȄ(3]s.gǤe3)%7eO!Q'?W#ȇ/_dE]<f1@g1ѝO*vDR /OIff>K=JКz<:6CD倶ȼG106rw4&R ='$hѵ[ 5w'_7!C^V+OH8v 6,YdQjq)z^pz*c:w8x?=22VW+qVLþ h_6ڕ-e L H[c>u7CGV*I" aQo d1KUP6Q ք¢~x^mUS[ q\ pD`u:Pf~{zn|A{#F]&63OIuP) c ]UȦ%OJ'*9PFCbwakŁlm7ѻdB/=q@5w Y[{RGw5sC}Ǟt" w,p_6Ź,XHa_>\9%˫U7Ő* Sg(V I#սËueK%[,XyҠLO}'^l^ :W=^<cPqZ^tv}0:NI!~]#AD{>ȇ.f9ءAط Q6 "+^#;Dl~,k|U8d:'%W/ݹ)c%]Ŀ"p'?+y]o'-Pg7ox5TA n)n.CyyQl PGL>!/SN˷Jō<&Vg j#)Il.A8^a>(O$gmNz$DT$W;ȴͲ^d qx^>g'}j5}gǨQ;!W ꓿,qtA)6tOW oY@ Kn|0F$Up!/HthM$6ۛZ:>, T*սFXQV,>7Dv5@RpYKjD0n%(`gҍ `eͱ/{rld'&٦1 u?aT#AV"(CjAa֠XK|X&tDu3U_S^iíEM=s=<|4vTQ~S[8^ ] ƶȥ<! mߴ 1,(%l3Dxl inFH|Ag#@HCZ ~4T d$YMH5ýz0l+'`U^Hd ?$IRhSOPg5tTl?HUU3ⅹfz0GcWgwtthv|$I0\ҏ q֩gs`Q1IDUll4/k( AHg@u FprҗԇZ-O6FJp/ 5ՄHQ֢v"8A( _wHWD/E.E cfM_DAnC%HHʮZKGy}D. UQɮ-X)Y^_{QJwkq~Q=p n|5qV z.|>?Bh3<{A6!{'8!GDb)wKqu=flJ#e)ok_5w[A귂1N_5R"t@=;jO#>NT1G^;nva).ߙ⑀1?zrVtǑ 5dF1h$`NӖj< {o5L%(-Bb(hg2>hadA8ltRxߨeg fm+oǸ2mV)*2Vnt_ʡQEއ+rA{$twq^Ңr0Y̛O\{Oy67g֣]HCQח@ҏ ^$]6{}iĔ%&x*0Ufsj8 چKŪH;);''{j.ҎY&C[&2U8,H0*BD!?Tz }.Ÿn5yB5d8̱Tgx)(za?C2`huCrI_G6\dTod$L's@)뇈J&<8q(2\~-.°C \kJmg@&6=XKҖwଲd9lcؼيcKo.m_w[STdCXdE}0Q((@ܒơFHR޾~? i;b,&ϾkBҿPU&*uiRo9' 4D1e=J4i5[i+5jRLp8@eh l qeB&1?…woHڬROdt3(/bt1y'2B3g]x"=;GKǒQXd-KY9rvψNrW88=+cE5X|!'n]vW!sd{8=2M X U @~҆wy4ne۶'9JْZQe曻˗!/a`h.ʦW*4BuP]6%F_y{6MN|o~j>ri+.bl%>`Enh{{>CyNNEDD!ZUֱ1BCX+ZW&2~I<Ǚ_ ux|.}! 4N8 ۆns%7W1lLݢ&.=^ۦ}!YV\eGB /RApfh̟zĔ=q׀S:_E ႵzS7qa{( jPsoxR-imLD G 5}TDc 9{aԌtIp[ Aۇ-a_&6Qjg`t)_`*KծdRbK%7B>;11O'/@5 1(VT{̤4`^ڬY9qK0h~ptZ_Ai':rA Z\=lCE5ВvMB +Qbvo +%3W9βo+ ;13D{ h@?+ +=Lm{G:z6?,TK4\mb OX]Qwqi8R4$|ӒĮ섗t$:T?:n1Pt70zV$r}Unz>`]?q}H&Auʹ D(]u~m jލabJA1E[#Ewʻ):İd8^LNjwapU)sT 2;*/K|&?/k,\y!;! RR,ៗ22\]PQ{e)4Iv[ *##q/ʛl @{Nſ-=u"@maןJ[gx/%[@~+ww]ڑ=5p Hd5 sH M]c9U3 4Bj;jX2|Y׹zO ];s|s":fm>ab f&b9&8g o4'P>ePy#~TfXedpa B״baz`q]ԛy._AXɗXDY]5V9Phf+mlU!Xʞ~ak5XVEHS抬6(Zy,Q^M^rYMgR}x%աmJ47'V6d.pmޯAh̛L %],ɵͱ@dw@]|縓&A;db]ŀh.TJ(Dgo h68oW<bbd_8BׄwYG5'Z~s/cv+ KS]:4-kw/iX;Ԯ;L\ٽc^JҠt!`r@+ [/[_Qa IᤳZI/. @P̣)6ൠw|D[|~S9wAKj$$b'K,`qЛ<3y嫽u+ewyfQ=ýFU{:T BM#t#xfep W`e)& †A`rߑ8-z3 Wf orI"U.SY F|z޻pӁI9N**brP~?$@xKُCū˦7M >50вՏ!2rщ'duJ@;USZLuF*ANtk Ū Ȕq499-T_dt"6vh& 2LUF3BǭG=F$?tu]40ģחZTm\9?} R*UB}Z\^1]їܼO*D=Q/<ˉe z,U4%.caK ]-_Ei-S!)wӆגGcXȊ_*TuZP +Ff(9p*axU *,&t܁QJ o}„F.leN 4yybr"A&>n;=G XMo{.EbsΐY_鞃2atjEUX*+Wj#렴pO 񀸍86 U0=^=E ;;ԉO(t8u'8}*-8\=L*Aԫe5Sꨥ=H^٪ j 9G WWFPB 0Rvj]R,Y};0Z,EoR*ätKgM$|&{ҋsA˂f'h2ڒy6Ϸ\쭨ƮIpR2%`MǃNfb )U--磐:7H #_{5ȘUϱt II"yuWs\v&u@al]ۣef\ [jt$~ Ř^&7OV;cǙkb:H5 E :?wB8;9 o`:'|S;8GZ"o]HaG$)9k2s='lkB؍/"Q<ef@>Hr$#.{'F4|VzcFi5tufIHAP+y~ ES3I-Gq%0%kpޏ,_r*E(f@9Z4[$a'`T6ӈ1?>@hߩ"m~f&J \0\ŇT}a;2LCnY4q,He}IPdʽok>+ #Y /c2szظXe.wn)Iʴ2Z l* -/L#]Q\xmaT/iɟmBi'ED)vӿ'xW."[7/,@_tT?7 "sʽ3O ~.ޔ;yQP4X,": q7&x T=05m'eUA/fK+;*@(k/͎6S+VY)L39DrM ,sRd$w'QmugB>ϩ3kL%  8(?B>]˕x ^NK{@G/l!#ا.SNЖn|P=7i6ZljoBdnJ4[j.3lB0OedcE%<*2^Le MwƑ!J51xes潠4Ƅ,I^P8X_zq@pa6珱RD|4RMK{$}q . JNv6/X: |^~-,Qw.^Pи?۔eWl՘jȺ;~airvy+488ɹˎcw>sBa9uKl"MtP)UFopާ-?[A_siT` D-E B[X4nf=xJn1A\w>f,.‹ ߺ In F}=˗YE$qLnuzϓ9<r=`~^ntUZr+?om2fh\f9x}'H*zQ;LlNYUt(#`VV'~и-ݏw"#aLeT}|n}/4Bz Z*Q41CYL,hɁGu9hFp}]b}O- ֙kzQȯE0w{-uĠ(·`"4E YpG_dю@4!tz$ h7䋚t$ ᖃvXt: Va8 \$*cBuLxaFVϪDqZg,e :jě_#KUB4UTIJ&*:1 `@iVyܣΓIq]*`\1"'/4鉽?cD9`FiFsʩ~#;gA+۪ѫ%(`=l>fnn1#y~Zw{J b0CS{a/R5BOfLPL=\I4+3g}ߟ`¯UVg#/]Aoq|x4]X x#%[̡%џ2%xOS7=:2nHNJ2߇IW Mk=6|AG},lk  w;^o"lH+E klΑY7-E\HPi8lod$-`2}1G.ZJf"]Fj5|gj=9fPa0(RN󥔑$9,_4{|@' pV'1LxvkL˧2-mDN:Vɿ|L0DjM& M6_5tK\Cwp)ys gHaX٦|YTC?\/b!?uM˄߄Xۋ I&ؑbi4:8Ӎ.K-^wī,$BX/vm0u}h >R̰Ԙr"zOI9%h$B%e]= /@%ը9(P1hKٝVVg[u$i6b%pj+V? ĈJ =&*A|mVR[`)WL 1I8^b@iY6`Z"'eRc9#P$iJū‰;9P::]Fd+@(dFeo_;fhp8Ǭ'dZ)aq7@ex.u%5TH5٢ߨC)Xw;Hi+X뽇ba@fT*ޯ&fIζ:Ц9o%tgy6-wz׹PםR &NA~B5JI>-2?Z&W6To&-ٜeMKl!2. ŶGbP?`ko H*cw?G6lfXHRH[ 9ṾkAp54W^{ p HRY5v$k)x,a'z(eů4%Qׅ0 ȷ]%9{OxrEk77ZVX<AS\C`eܴx45dv%|jѓ覊O"B aةQ5l05I$VܷgHӱ0Vݨ(>w #F=.3E?Z_"C[52JdxN?^ED9FzЂEMFsrۨj˷"m[rpNMBD1*k:WC$U;m^R4ao>ejUqg*A(Ph S5SۤzIZPh]9Ƴ~Rf3-S))1U4=˯%*S)>dR| v Lz]X @TħHR8N$TȜ&EHZuܗ!vtNH]&{ze(y'[KnC+ ]}n6!I*-u¼I#i,YR/PJ^.ЗcE3 1-Hå #Hi-~虨NRk {{p=lj޴u$ 6mqrdtM:B|&YX;#}}_a6 Ѣz߻lV2Ev!H m #y슌VA2ݜfQ3xyE"Hek7Æpbř#M.gYZ7zXZִF! br$]ŗXi%k&䤇%VFP^9,}/*9j .+A5y|"nzQ#=2>dyMOD{PA8CǿB %^& r[ UKZ'^̭wrWe\4۞*a:1XHsk+@U9V>CA鄢+ڦ.ž* ]l42+tA8Ci{1zM0KULRKG@8pC*.ݨ$z_ξ3+3/ Q6 KDhRD53F-(-;<әDx7wK8ڇ Jd:*UBNx MYxA̞3X$ݵ"-/o7 _pH*%8A5ݸWLXYj$A* )0)p[f!DA64t&i*K>kAJ)6PqORVzbr}*,ohZπHXS>Qdc]bB=;h(sG8yNСuRS1VFϜS++ WY|E rrrE2| y Tfezm6uIg1HaS ^ۡLj9Q qo<k%q.-yCU_[q|l07a^7&Ff5?٭Az/KAuNmvt [Y>]b+ڠ+_gCi}M$*/ Xy#:'{ Jy9Rc@?]a=$0nqV5.= 1D %#iiۍ5j1{(zK 0nq+ivfalߣ kkvûtv3 _PJRw&'(S7kcɥϗ߲u޺ a5Mvv)B^H~sv޾MЩVlc|(ݓ1 >bYeHM1 (P}8+RMCMJNqN}XnLQ84T$>n2FXIH+>w^ӵؙay!D []_׳|hu"  8;oq#]j[Je*)=RmpM^F6`#G%JyNOL<#7 һ /*t,%BjA+Ư8Ήk|~-wΧ{z}Ğ & -YP嶕ɄE9rVD| )燯cw_g$g>8DϹ^hEڐ^!J&-{lg]"g̲4oi-Gd~.8X4˗*kDk-9qrB{y}UٸsYV  2zKOCVV5x7"0;aϏ԰Qf +ԻМ`ĭo,n1(!~Pݱ>*|(*|\7ZC>˱5qѿ^@Mj/,긋&aڴ1H )ccjB'U@ AO ؘV.wMv:3dy)D!iÂ`?qVYlKiC"&,D X* ,V`* iIX{u⧷l4FWZ}#Pnh|ƨ Qw 2*h\ʓ˄B&{׼9+(^-O/ssU!aray`87-v ZnxTj5F6 nwRy)0'q;)-1sE(A^Se2[A;|",ANTWv/N3mu˕IbP9]jsG&\Wx͙,^@t5z$bsf -$Z#{Wk43B ]0H.#.uL]dxvfe$o2BB{2>(h) MPvE}ÿȁGFc P>"8 Fp&M;G%Em Q [@(Mţ?lwG\kEܸ.Et,g;O\Ē?)z9] S7Vg)bSb=|jd\Yˊ a ָ}tEzx f"xe\iZCXՍsŀ*s+Ti 5wҭґm š^ކ Sw¯h>; .1AΒ({Fy3>Zrb6)iQ/@Yz$%D;\k)cC4,;O[s?rx4fZw$#=XNTzxb{ZKzxHE _܎foZcl/6JOۜ5YoB+fTQ5! =_a8pV>}"B (z2=1L+ycjT-> >nIr&L"JW.aHޕcl G1ƍJ=1qúݸ= MٯehZv(jW& -iQ!/|H/B:{y-r.wՎjx¤o h]!EaMql?61(Ao[+u _`P <5ޔf&}iz`JAW8CiLÍJHrds%mK]3]BicdČ"uU,L΅pj.R;7gƟ'uR(Vř"r8 SzZ8ȧ7&S mvJۯ&jF`\4xJqRo_/PpXu;&aX2PcaN/g*/ JAj;%>vmQҥ1c7N@euTǵކv}RjG ZS#uSwIqr`7Fr;6 BzO&=?ib4FW=:ˡΠ4!K>Ep+"P*G~('L0 1Q =KbޖeR>Y.}fSD1¸Z*J $GΑS߲w3$ vSPtDVV+ϴHitd1A[f7h4iN^@_(䴂W)`VLq)Vepġ˫4s`<ұ(+J"Hrg3PW !Wul:u9IŎtOR."wYFt2dtުxh5O+fË쯥H LYpflWa'`zl'v8 (;֟+Oä ⽲3 n}z,ʍ!uFB=s1*ܿհRl7 $(.F[=\(Ė~۠&ث,nb#Z$,JBj=msaAx台5=@9,-jRx}_b oa9m=zp@HV 6?gaM桫jkQ#:Y8q$DL0}^y ǔ Q8*>zkݠd/yE}f7a.1XCɉ3V`K$ !7,L2*ѱ3bH ԬCJA/":YΌ$_fJyZ]+;dS>;(^q"&^ʷf.9D \XQtZLL4*!$ l_x QG׳VRk#wP m#kziHbI / Hn<7 ϲ_x Ǽ,Lt_܄0saF"!$|N:)}Jb%.ɰ.ʑ4Hx,g%غj1NL X)~fi<0',B ƔgYfP |ijx?nbL o>}rޣr>EwҊ{jfh=)*C6zf\$b#8/җnL =/Q{ 7Vd?4˜y@/U*ȱ;ouj<ԃ_5ׄ?Ѧբ s(HnPxNK]aA<F#e|"V;3=qV edx: [5 G9ͥ?d^|:1Fl`239stYfP T\ 3ܚplͼ=E)LeYDz#," |B* OEky52n.zΆ/ f{YhlG iQsi``YSUfI+I?!Ly9.- ?*IhIP!5eL)] e?4mI¡zrxOH &i ';zc+;'D Ady7qwĩ<ҵk-`v7=ۧStg{IFɰ7(J(:(L8[a-?dWSpIDD|-^L Nd ;-j!7LX<*!SRnܔӉd<-7!t#ƉHNߤQbhv #Ku-_ZEŀY+.\2ti캞 pŗAt0TN9`,xs-י_.g.a-ܧ`(wE}zBa]*X! ;LE=&N`8⻀Y }m=ۖ]c]vMY<87;ٽ!#EȺ2tN5ՆKDf:kDc#:wBmQ*|n-(*J`GPQ(: \$XEd%T.+/f:XB1Fvݙ&t"Q=ɪ?{bz,3G53Lm;!n.TAsn\쨛뚢MrrD G7~5QmGRJF&~{9?-g7Jo!ߋl+8CBwE@@s MlR4H?P"W;0YDv|A h/TW5~_oPPܮ({ע`q?/CZ NXB 0w}@2E?M' Y?~%(kT0|Vc%ɴߝw|Fj%AHY 1M"h X^[ERH8,ΆO/|z:"x 6h.ZV%H2inHKWe$ Nm0ڟ/ |1)GurlيKhn}X{Ubj\Xu=q2ݏ\B*]{E+^8nbw0I“b` vݳQM6鋫?UC!hr΂KrOxyYdd5BlLxi~qS.t_; BA`߁@1 t=%7d ODɗ?>ubVxC(>EB;f!78FkZT_Oy7;I #TB0J]3DT C%tޅҘ, %( !UN]Of+tNآ`ݙ @4"Z]3OǫqĈ91:.yʓr`?Eg#Ð_z}s=I@? @^vYukR@킿d6WnTD_yFsYNqEsT,/ې~ ; 71B_hKjS`ν^ l I+Km -CYU[NaK?zv#O?wHVŧ)]UØZ9u:co>hqzPG0ͺu|Hݶ<%lViV؂c$21b=C͋Y]Wg0Lݓ圡uo6WWYGϵ9>_* em[EFH[R=Zڨv\t ΉY}t Zٷ #f UJjm! 71cԥ+Otk&&I+ck6\i>2D}o0"~,y  QmSXg/bnh'gp#o]2H `=LUQIMI؂N倱;,rѷjÅײ7)m CǥbBV33 f;$jaC S ''Zd\:(; CE|Dht՗YXHʕ%#94e;[ NyPtǚ\#oqЮk6X_]б;GN6OPp}q*#AgQ-2yR:^LtIXjotqIcH]&+_zKÛeWi U ɖ:PMSщcN=i>/8s(0)jj@kOl(Ƚ3`-9_3AoAS>0@5k3g[nŷp+8`şVٻ{h||@!OҦFgТ*$5vȄ>XXp >[kCuDNrL.1&4~&4I@O~F_93x+ 5(+5v(Ǫ4xCkkSPwJG<k5U!)AS 7SϜIP/ %TѼMf)A( f1,k+ϾN :@#TOV{:Ț[2JN)~jt$/jU03(֒9L!G3ox 7ULy|x2Z2rzX>QmkF>c9յhfj'7g.+"|"47օRO"|FnCUbmo'l6+ YcPv0{oߡA{lkous)iѫbf5С Is:CWbB0IjbTҩjh$5..smyDWk#8JKI/{?JްW-A5:*Oy496m[4'k2eTo@;K*)] |P .;, 7bP%<"<9Db>w\QPtSfCÍNna8 f^YcREkǙsXwJGbWջoN9ڿuNEe&c ZgQ8OdcHߗ`%nZ&"(mwfc(f{rgN7yk3(tc@*JkWUH 7[vhԶ+}J^ӟV>\|.Յ(WlF^&H\M@B3w{QZd{?Z=k7v?AYIs! HTϠBT]cz^=A 3o0KtcO8+S?ЃSU~|4V{p21V6"SS l8oHֲE; q<9a'Cu\m1 :1^حvH@fήԇ~j~F7uj4%(~|ZY##؁unb6|zA*( g6pD `8lLٝ1Yꈧ@J86x k>;6n{J T߇n8&r(shk@X cE=pD4*ۛLM#$)RqzY9ȘR7y;/qh"vz"bh;bB 5c>;,Rׂ° hXdlï8HZ g: }-Lkp|tCLr&3ikK::91ZPU z+Հ5ۗa钨$')t;=oMpk V#ss!ʗlw7?[WI@<-Ơ P1ƈ ?3޹8$~wi9a{AybqFG=Cf&tN!J'D kA#Dy | 9cO j 3CK@>J԰.Cǝ35''NY,Z呜]{Τl%,Hzpu_}@y3i(ű0@lI8Iy?rXD3PVi`POz"Qux^ϒ0Ogz%z&N*]@TwBThT}4 9R;m~s,^-aD.?#? h_Tc>8kҀz.BqOΥbϑJddݻ@|.25l*H:` aJg%^Z;peGV M *2~j +42u3e`ڋa͟)c;m:mf_8GB6? k#'Tt pnhʸ[Xs4QU"  _UԆ|h8_OudwOO(k4^؅pGHq7[B5*ee0Z[43ǣXgoJk&`H=DMG4U)jOHoSmyBͨ-d &~aV ])Zw e x8J9a I_pHSȏC+*Ƕn+B@NW# 񁅽]-ߗ>)QKAPpǯ_"_C&6{Q[" O5X*z._w@$iLNk&E-%mpL2.0jఽܳ7f^׎\Nl̀V@a u Y=+@,7>ջr ZKлCq%xBxkdžm{PZiɸDZI3a=ھ .7\bu#ۜ~W,+i\a#LEx `COƳ/XDBʄ(Lb@' n$԰PέQ]*s_z8lORLtocF|L\)[`Ch?'CY! & :2ڗVe\4NSCVC;G5rӚqᯒnrVrWtha?at[uxgĖ}T>v2JeJ$KlA|y5+2ϲ"=qT>RKRUQW,/!r[t~8ʪ.mRFhC/X7&b]^9aŧ <Bƪonql&oM4oѷ;S Wu 82dxa/xrET:ɉQ[HX]G96`c pI3 ؒ/soO< &K c~`w7B7JeD /8|O{>9~ֶH&>Be.ܣ/@>1}]|)nnTچָ ع}!^l!A銭 )ĔC}ݑdVt넄s?' nfP+,\n!$(ľD-0Iw`t\'4#D0OpYzy:iw/a 07TZV_Qi ⠁4+1/r ¥Qv 5γ|T0t[6M,f]/nxB t$nbZhD)M؇KQ ^6qr^lSUcKۈh?4c+#>Mj` 8^uRZP18>_mjs϶pujXs?u B"E"Xvc3UnʕdJEH9eXG]KBӊC:es'lq,${^Bm2⵼/7 m!?IuR"ݑbOg p"4`F?a&ń>eiyA3]t5[s4Züm5'+⁉Z 9$: MԕxaZkuMhH{;FtkT/(\W`\ը{=j^`t sVQr-7!c7ڕ˼6>;PC 5sVPf]Mt˯xK.W,j1G|[;h-'Zvʉ /3ͿCC}ŘĽ4ߜ<Ο АZ56A-/^!`3Snzhte, F ө$ϾN?h}e)`*B@<pa6LS2\1AJ1X#3<#:[%N[=6xa^`\`xX2eHar}@BG2PkC`qXu$KR˷# 5T[i+%/,c*|+œ("ȧ~N9S/\>슑ʅd,!#FDxs>z|0TaR|{ia!#$ˆ4XrV =X6ݪ 阳LC Zӱ۫ŏ]epa|HH~+1qn\KX!,x/RLpaY3K *NM~Q˜3bN! [.-J#c)=lc^ɢx)az֟sۥ:1Wp̆S`$"Sq̈ # JPc- 2 _T زItx˄rLD-(nW?I\(z˿IizPȄ""IԠOƸ(;p-#Œ[=;lZXFzF-}gҘ|\ûX0ﶾ u-#mc̦&rl ]i:R .> ӎpHl$NjOKV'ME?mi"4=-CS<|x|ӑx#5FPyE{sgYAxk֟_VwbQ5""o9F̗K$.ۿ|U+ڂzoֳf`&J%/iB9}m7Y7Nh "% Č4 _&B}7 ><:9L`e"d購RZ\ϒB'T,Tpؓ[0;$+qS!E!IY 9s35D\q)ICp\Ǘغ"ߠ۩c۲Z%7ns 3ˮTKROny jSd9=ƐsNrC!w4ub|֛9r@qݡ(X'~o86_h`3_xFTD-L 0Yoq^%~Z:gc֦DmGirpo@{4vbI>.X7(]W :@;Q1?^gmBxwMƔ[u yK OZi Z /c`q~ =?{-lܒO"*.OAe$OM/ԍ x't('Zl1{>`j xfoՇ+bc~#!j ݒ֥24$jH9F2ؕxa9< t@Ki KFI ZJ*G lYSkaǺ8DYh-t} jH*'gM0k-#p_, 5ZCC[w*]x-fSrAcJ;nk^.O* ڴب5ѓF$ZBe iQ츔m0$!D臊sQ3;dޝDLڰ[P̓F\n|F>@ʟv!̒"8U3iݖ-p"P..I֨kA 2#_wCuD<-n:ʩ@Dfe:N}ͩ>[QdZ/`)^]8ZMLOYg؉p]h5a3ܤ < >$ya~!1Sa/ Xg羣9mb ߴaCzWOYd"F2U늤6k9+sdyk8sdt"p1oOj.%/p@R菕:~n{-RAߵYyJ"BK$G_Oq[1Vɱ~:}Gk@7촍\o3(Hmm4hO( u\x(S[n!\o 6.@r2N~Q$ʲgz$>[N'E>xBzъ. k`|Nm6ڗ0pňcd\LI7NamotzK^d,Xᾒ泪p4A<#ܥ1 #ug50 7!jы տW:m*n$FH;$Q̣ )|$ST޹w𭸍>$?[G kdcaNh :LҴ+@•U-xXm.y3Sm9ǭ{x2ۍʸO`cn;aQ_8e?Sbb % "̟\)&0?kdZ(|0)&0İ{4P.qPzH#[OhqBF-: ,x"Kd4%[χC2b@tu ^;3~|(XL09-lϤ2նΟ^]7SuJϩ(6 ZA<._?u|IN#d vv`X+{͡mSaœjA^T K(1xtDZ!ɤ ZS7-Vban{qĿPLRp|CaR|r*8ş jSp/]&M8 5NhXCv\i77'KҴ2\j}P\MH#5 p2P ը .s (L1j(]#*!@iю,w OlTZ^ 9E]j>:(XxSCOn|0> { [4=]xzk'Vh'@j-$9ћ{c9A]VF? 64*:?u .Zlq :"l34XZ"eԆ&^?=u2_͹"0V$- &JlNEWslADiOJN5n $,Q.~H `TҷYKZ/;j³cyuiJ . +<*n ׯ0KeUlD@$UsC4W+?yPKd \ QFD~6&~gSw h&ǘ^4-}cgUHLQ%FUٰsbI|-vIkRujh!sAi WsFZcZOSuxY"0^C@5̅.$ Hu-W"GvYھF Yl1Vc .cnIAc<[SKuʳԌ]/2 ]1%Y@W.Mͭϟ2T/n@[d ~UpxxX E O"T4 [U:fԄLd`飼j6X:P<9b|؂14Ա)o3Sgdbh*Zؚ@ܰfNO](q󃜥_-M shO\^$#Ff)=y#$3|!xֻ.=if|R⠄*G]*vsX4f0M֥A0]/X5!m!- |X!~cKMF~-6m[`οo 2+3a0 |`vڌX`}xK~Y*&nܺg2`(Q$p 6:.p=l2Tl>?lp7 VTNbD>3ST3bxeo'cL:c.ONRp %# Tll\䄰>$kT+ARϨ S+AFH^陥"3~t^[H.)zIFn-uw5.x1C)'V]֌"r226ah܀1 pT\s~Ve3K! ѧrhP|gA)LB>et$khh-L'<#|3.'#h&#.BOg~Ry~r/$d|a<ϸ2i1cJbFXJS uah葀xV{>zץ &r-t^pˆ>`bB9h~sqB\0|6;nW' N'`\_.)b?/G(G|u@wM4}gyD&Đ;3ެxuiq;cϓf'M.SU!5;\)R9m ZQ-W8[>Bv,{7LKC7~KFUׄ5lqO{{TQXD I 9^%ϡ >ok'wQ.u. d?fdmM&S:!!"'k+īyUTcC;v'qe[ k`}en0.kͯفp^Qp ɿ@+tλH-T{5~")=a. $*#? naj;hi#&sJ{b:7 c%ˋW{c/o/¢l:x olYI3\2VEEh1o*Nl &[1x3}*r39e[G:_@OA;V59ۅ$#vSQ1g|Y>MaׯPi֘&z$DLj lA؇ze[-57''{1;G&I=i1<c|aL^D  YJ31ۄP!]fUaz,띷)|mv[ɿ<)bk,h0{ lyYdYc>\Ðn 0"Z4KqiDgH |\X ro.X| ʿ3Eՙ W-_(GRQ= !\OmКG͚W.gjݠz훛"l_@# =fOiٷҎZRvJ pݏ#_nyW\+&cE>Ԕ(RA]W>|wBΙA 5ӷnh6y2S{f_0&oh _&W Hw4ty\MiWނlSD ZN+')hG\/c5AqEЮR%GSlUv& sO#1$(>;0T tSRw+؀ 5n{򧚭0Ov&[kvX~(koi>?+9zj,޵| Eq.NS+FՂdqнvJb]G<g#Q=aރ&M!$T<*a|ׅ6k2:)]%}=s (EkAzQL>v#K bW$i3>g߾wg̈Hx|q\_#o!}k6t-JJ)E^Qҗr@0j04KA6i'}bj[iXvGEO%2 {OCÎ@9:QR"fNNkwlZe~>-O\m`WtsX?]ynp m& 3u*aਁrs\0&y]yrjiR}cCH& .cjy2b9S^yCOn5J,-3 2 4M'/ɩv)/R]uGf-i$!`ۮձ  D1D;xoK4JLR%^D@2\pĸJ9^t{Dc3#A 6S?,nҍ~Ow$3}('䣕G!wm|?uպm\|g2 !^Ua);eyn@ rIJy }Ev%Ņd@[StsV@͆q[0\p_;t8џZYqT[ѨiE9~1^aN>= nKp NJ3ZZ{&R}0`)ZRK^ sgџ){e6:i3өM7훃f[Ӹ<>bahμ1Hr:y; zDA ~ssnNU¢gq㡂T"1.]I?2bJZO%I^ݍm0{Q+3, E 1(U Ϩ-2pzJZy|=YT:#hqbG>8 !t 1n^ V{~Dk ÝyƎ\qhWm|BN[hk=bJY|/'ʛLzB]~}.9?}F69׽HѶ1|$:vO`J@4k*`Jv S]Jѱa *1/J# loSQuvϟ1V@.\cc T)E #P5GՓ% y=>w I"Z91&+gU0۹71FyD7l´ZT2J-}΂d0[VVqim\M=X3*o][>i/jZaIHzErTWJ"{[tY]e' K&(?ǦВy`Hs*GzgR[057"sut+=!:8|f]mN?JLN0XG>%p@P5gO2=6̹GU6}x*5h@zWlR:zxBP}:2 蜜!{Nܖ9.#ϑ|;g(;|1nrZ1 |e^銲9"ٔ[&΋?!JEG}X>%SMF&ޜL>TN#:>az>?nAfWWE/ j~P̖hTm\Bo': t*>qw;AEQ_86 29gt-_|d7/$JJ`Ô$q1\mF.vmvz tĢ{n% HYG" ?@Nx:i:UjR,ؽ')˩Aԃ mD{Vnt2 Kwh