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 5%D$ ]/]HOL-Analysis:threads=6elapsed=290.957cpu=1270.288gc=107.316factor=4.377zXZִF! ?]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl8[x'okz3/Q Q[h۔JY2]ӈ"/f]Fe4cZ^?*$c9 +_03,Z fy MHΊ=ȁAԃMj#D^t=)xYa Kx21C8NK 6C]1>v?7PS^|4VtaOe񠖰Iz`McFb6֜3} gIF*{&sY[g4Ĺoֳ50ס{黍2W:;H<,z 5fjoVks#.Lೖ2%Uu>kYNd<`GwS6bb'N!F%oH'6ӈݬ"J9 9 T{ Z?Txń&Ra7{B#8|tgT9ijhA@>sBnTz3:!Q~Rw6"ǁChyqjo7p=&WAP,%bh\r@J|ISF5Er3Qim%(6ݣ\M× :ܚ>zv_3X΀xlЪ[}|)ns&9rv҄keAlymKhCyIhrzL('*Xn)AfxpUJ8톎c `)W#0;?K2<"7wəRC7?"j"|;|@`P,D~he l+C#BEbwx"}n\$vc8"j &vZ%r+ϻ M͖?}4*_I^!ǜ*C;19:L%&vnd=C,ikof\߫k]Yqܲnjsdi?V]zn/ًd _Hl2Su\ht&#, Ld%:aʼ%obH;09!VS Hf %|`|;z o̢ʣQ"On葾6vB)JsCc *v)ů6F:I XQj!RPaq56<|NwMDB9z0KCGlm~@O$K!>|;BC:YgKYS0X߭t$dqwv;lX4ZAoq-"e^ͅjRgŽ*OIq->|%S:\y̩¡{!,lqOڝ}HJ4\;3uP#y?kl)+OM u훆pN=8ȬmZ,z!t ƒvI3Pz[oI]Y&O5؎ i9? 65$8iFxp0R؈dj&PbPU-pR ,jɧ6$i_2{?R_>);ǔ\iWE!Xes`ޖ@aU=bzX)wKVLKSTLMM\=WW=mty!hNE`h-t){S}+"'l|KEZ^RK=#! 1z~a 3Q=|hh_Q9UT*FP}#3R{ޖq5NhlĔ4gP +ٍN8;iCUZӰxK|mCIusWtCC}D7\ɋ?ڱLd`dS[guR 1pl! b0{%L"C1ȩ~=r&te LlN.u:1 4e/s̗^V=E@p9KN~d-50݃I5 KQ ̺jVG11,/Sxs38?Ri Zq]AM\[;mh UXZ2s݄ %7&wfJ: *HNL7ȭ@6+6lN DfoAl7h\ŕtUR E:dDiKE%Q>v/3ɶ!A}&{4Ag r'~|BeЕ9z*32|QP""PosbJї,@oG@t*Sv9|1q1R3[3;Bc]v1\Dz$ >ԔF&Ό)K6Ei*9j70C"#vS'r#!;өխUuh\j]\Xi Aa^gUR8vX`/U3}e;zU\WWWCiK<>0a=qVG4tFգ{^~]i7:Wopu# UZ yG{0XC@Qno|?,Yi9(3)%EDd+c$G t1F+ґmmmsZYx?ա}(Έ^M|FC!XT USC =#>qAW:C2{ vT620ߕڨh$qѫ}riw!ta[G -"͆? WqvNҏݬ0]2@]G'&TXTYEd )MkQ%&aW5#jהiɎ!}k3)% bB-ҩ&ZL$mh@-4p?rT8J2SxX26"#i*Y]Q+q*k9` T:{׵ܜꉝV-B'] gFk ʇ]r3k3낱l]>-Y ֯{#p!؇VdVX +l\ar!5L D g2j[YWh+ʞrkXA^% y( hUYKygǜP(ME-˪_":F Tk8O.PC< In\KF+P>Z|D.0P% ԻwPc=A qx%1hƴ$` }L9 # 6fU&e: j^ w[ /"%©DX1Et`:0[^pݳ [+G) p?j~2K@* T*yP+/G#JN!-h9^-^w]8&`\r!2dGm(o^RHd o0*ދ!H>mE꽶jSw>Ό7W!uĻdBV;s9x8"J+Ҋ|wC5w% swG*jbݬ _uH-߈xlHa_.1GEf@GaG t}:ߊ{N;.zK<%."+Lt :TЄKx<a4 NTJf`i6m7_;HIl_Z^<HNLu FYk| J\0A%)΂x$n",ߎh5z i/cg6oh];s<`c&{nAPPo3O Gf6l -Pli6@Cii $P  -6Z x,F1Օ6r$<j9V+;G^Oms6< 0 *lGE֒0́ƴAщ|YU4;\@9U}R޼J V5)Q4j({4'XLxHUU!{ww. {/`x3Ʋ `GĢӼTY:v$S?(IȨяĺif<t-ϸG罺(/P-U̪5v9rM2RBnd/f(1>y{aT4KM#q&oCj<*oZq}=섧ٜA 2VXfGIHuKz7qJg~s(!1ww* I:C)j\АG`m4R1ۭHH_vZGg\DcE%㎧F0ە.#~|ȣ|7ejO53g_@-ehbPN׬[M7m儃y>:':or@|7o/bA’43T =+ n]TIEBBcWoL |qo[k;.lȣH4͙-Ѫ)X{MT-V N|?ӆIR~[zPy\)ReORyT*`Hؿ=E'j˧oUc 7n_*6 w;b5 łY ?AbZ@~ f$vvq #¢{Oҹ]žXg8g%ߗEr}N$Ngskզjpk37ֵNQi aȐrS Zk8EǞ)a:] ¶f /JCK.&4:cvp GgyV < [O05yÔA;-Z>-Io, $i Hp戰/XQ_Õڬ\^U@g'X[3q/;% *=%> 򪡝,NʹU^92 AG@LoUen%n<|=kl;r{m#<7ccgA4ЕqX|}vj/<X8o Pؑ}f+ >9KrQXEZѤixjzÄ6k%ādT+YA hYd3j9͆?(ͣ3v>*]%ɴv 9̿+c;\j`9Ccrl #^=KQMk9e+{>݀3[7^?OńەZz}h_Eb)mSzxwN4Ғ]w CUac8la2 `|'.LRR!F؜ohFXuq[MjbQ7l/ S'ZK}/) AA-AZGI&rdi} GEI=(0S4۰Jp=HK,bvwC$3l-_=H3wH@];#v@0KMd;CLJ _>ǥToҖFߛR- ;iٟms :*A!{Aa$_{)`uBnLno(>ltU)@86t5|e{w[rn6ۏY6ʼn'V҄ ?P28}e$OJ0MJ ߍWhZڿGiZD9,ܶƏZm)]V":"7 7G۹\:Ks "HNn2q3j7i!ĖcC7z@XK[̾ŎLg o^s=@{IVm]_\pȪz/ܳ|VVQN)*?tT _\F+&'VSBԶ 0x!ԃyFAER_"Etqy+6QL^HĮJ:fKh. }HCFQh-r8Ȟ!"%hr].SwR8bV^" oN+ga)YA.qRWQkVםH`zzȦdfnEo䅭<%:i{{z?,]kkC,5 w5wez _cߥͮ=*-pu' UfeiJX{gϼ0ǧ1|9H-\bJEwș[ N@QDZInd#aʮWJaN!?X8vk&3V~EMO{15F8o]#!}G&b7=լ]^*#K}pn\Pߑɶ\ZN_/alNHd]Dn=SMg7 Q`KQxR̻XX-b߻-"͟>DV1u/a}-ܦ4ٝmNɦ#GYn,DJ]wrYߐ#0FNzb1͑.<2L{'e{PO}}40NRg2cK+qqc,pR1-Ӯ"Fޔ4Mk}|TgJ /?APA+HӒ^0Nڠgd#T]ߡTQF~!KބB`ʺت,R~gCzP\ҽ>JS\jjph6_u*eRS].(C8wg]õӊa*.Ykr,$:FoCGje51y[)KGOLuk"f>''ET#ѾpO: ,?wISGx{mlKRAr!`NUk im0Ad*J5ą\mhé.Oh4*̦(`擆q sr1d]@N2|&%sBب.]^{BSܺ:k1_ғ^57$R4ACS34֘Z¸7,mauzW&9]qBaM%(#Hc&6dZg02:HP;^B M1_%uD~~UMfG5D0/]ܼhLCkM:įANC#UGw}( У+o3т1XAF 0HKAJ,ֆ,]FU3zCP8N(_ĺx틩.Z/?·32k>Vb'|Gddq!{Tz'WfxaᅭFyaa<@z(-Mc1@WIlQ^F| TCѨ>j _6G $"%54Cit꯱`iPTCI8ui0QR0 Oô@"8 a_-R`B(c6pr B㚦W4A9D [4'pN*^PL)Fg|ӌΫRT;M!Ǫ26UjwOD+2_jC;`GǗPvՔ|FrXDg ԢT⃳kl!Es^:_w{NN)U3iv^@7O.~CZ)1*aB;`0 /&wJ0᧲/^+.뱕x)/0$J4UcP >i ;ҁcVSF6o0vH+K{J7^Bo{KFU7efv",(0@3%f͸LbĂ Lfh̲ ;Uo`H# <y~Ntae)660%+[hL/gʡfΜhPy/wE)MV"WE+Wx΢Iacr}Zj(' \gGu4!1) I|̆g!G>zS]J N1oh&Q6ؚQ .D&U+!חP" ZK '8f(j'[MK BÎƙ]cu-FIo:o/VIיI>C\FE]wj:,i+$6ΰd)`HHռ;CgMIOb\?ŢP?}̻bOQ\Hvp#lICTq"BF&JX\Jն(Ne5=/8{F0#<$\t*~@3_|\ɝIջVrt9^#3:v #,x3}Ӕ#@5 m%͘6H| 6'-^R cA jk&?- Gl",2ܑf!|#}<ku[5(^L?L{E4A@_wqme+=EHa?'T+ooN$bOdhST_pI2y_(R@hQkw|jɀ"a`-&keo {޻Z]3@Ʌ#h=c`MIuwRRԧo3d)& 1~A^% X IFVi2[*Z.NLmVﴋ,iEVo6Y9fs"!؏Mua2B][J}3ʟWv"%XV(I{"G$<ŵNTGrhb5̄s H jT CNDztQ]#i:_&gMN007j#K^|#4Jsޅœb C2w&cEAay3㦟v8૆1M7_Hv*1W}v e}aL?vc\7+}) b XzgHs|cvc Md9ުIѴ5uz8,Er}qC3 .[ PTf"^|⽎$#t1m7Y?% G2>i0BKzpqRr&V : dsﴎr#5ԝɧ7K1}5mF2UTE5&\ّ"X!~J A=YX Rց ;apDV >.MBJͩbu du6KLֹ0lNr$,&g+jDyFZA6֠gk;E3أ0!6d 4z6OPhuһ~|HWbx-6:͓i6^dGgUpt״ ԖKn|}L㿰S*ʏJVr,kd!S /! t$B?hQi.Do&] X3?+D"dёzH]DceC@-֓e0 )GRp+ѭmjD%ndg|R 1rH5ӣ4"+$l{PEFQKgj4xӴ칛 ocUq,h{ O8L{\b=yxs|WNJ+C\hhmL(  2?D>/.p ,@Bά(7qIpv2ч R5q=.)Y,֯әkhMzbAlq&@əmhѭ} iOٛFΠRJ2)} 7&`؁o9kW%Aϒ>Y8jDo]gGێv v[=Ilڶx,$XRiB/S¹8jzsj1l`Q,S2L>LDl[~t(S$nB%pO[AtOs-g,}?a ɴHN౾REl(/ЯMc5|U`4#Ln5SrA߿HwxX1ƌ '0o-:+FVlDVs="P:!F~JP$\x᝜%GAv6ro'1J\z}  RdI`^ P4|/*4 ogYZ7zXZִF! ]ŗXiɟ1˦r!cHkMeBd4ba''/'cwA@?DjqԌ]1h BXVRx˖q6zuS*XfmnGrOY9pUac]JĜ| gaćLhM됸w;v?c$T3EqV[tX;+App|ԇ+$w3R5 B=ENH o~_JLzL.zl5k,9AwGpr0KGuezgi%*ƽ5SO~9g;#Qb .4 VI/ \]lxdD) !;up$3#cA3ܟR!ܶ"*?9j$2=% \Y4Rٖ/$DŽُqq6SۺUz{P:5g`&r=Ƅp U$w{Im@ S"Ud2֨N|-E]̊˚]#,emg%RXpGE,wO,Yc_Ns荣&:j+XaN񡃮 #4ZLd8ͱLg0j#vx'&YВDC'_GTM +Dhԑ'4{)/N0gi߃FV|F9jۺsR_s/+3Nl E[W6s /x4*ʺE9o.c9Lyz}15}Ա0e Y }pm$;0,w7]qG8yg+cL%URB;X,őVD'<-;huί PKLYisUvVc.P[JHǏi|ݝm׬rխ2Qއ<3G̐#+H[ H˭yjkhe 4P2ew!>@Y  3[G*˽~SYmgq4 Pݱ (^'>Oq@?4QNmx!,Htm J[m# !dhI& l]WxݮYv4¬8GklKW_#)HLSA>MZPG c]Z F mhYp[萢V [CPٛي1V2Xv qS(/ aF򓠠x%+[lҠ7x$c0fLaݳA8gYZ7zXZִF! U ]ŗXi%92zg8Iע)h ##EƹH"b9&[z6HG/=3{"n'N+&ؓN@#=a3j`7TsLGT+Ӑ)@& ]0N~]@#l%}.)vmt䃴CU(BzJX<ѷ625 <"wѨ"hE=8c)ԏ4MP)c˿1@Gz-j=߉O&[awABL L]RMW66QI5־Joq9&V!>"qxcIJRSR/:Bj0Nipgds\&B^n,䛇cC-OѮՂÄBl!@Į`$d3oyι[s[eϊJjC{ьf3ĩ QIKm  I0jfo0]؂*wt/L1s>FK |RwqvzBȻǨ9º30 PpblVfaXMF}H h,-bKM͑5\K_he/@1ċ xTE`O/jC7ӹoNyɭ.nsu[jv{՗VH'5\ju2h;.aI+3윔!ė*Y8 Z/s /e1pj[Y:Z >ri'P蘠ˍQ![:3L\6篆aJ˦ֶ*HuQ0w"yv I|mi0yP?v+_l {>Wmy$c87:& ˓?*q&:C*bzu$ |*. #1ID@)W`H~LOZbBS V%g!~Jt#B0ح*Q^&~UߥsKyK" ~!j-"A 9 \ަˑ] +}sur,O-*Qy , wwDޫtTn1 }ykc)fò2$7D$o|.[Ӏ@ǽpdӆ 7іĔDǪы-6@,-r?dT?•X<\?p)@`ʴt+e?վ1ѕT*͆|uvvNg[D tn>2/u.i%iS^iZoO J[^ }f6o"2gnO_T EYBp4}LH> v+IFrHi $kJLoگR7v![xBK񴵣M fGL[r63^__E.x!e<֚oީπΜV=Sh2ɤփ2%.gi'ef@M,0苢`Ԅ` uV=^qTcjB"C@hE636v_2|궢xP̗wB;>Yh~x.dXe1"^lnncA+;g"ڿcI)w"h^4n{]9 6yӁ 64':hV$纩 Os/S! BWRx(}4LDl+ q<m(-.1β89u'A c8t@5Sl5f sKdRHp`ug0Yo/m5K3\9 s͚?4o v`L017Vۮ&qjI)[i&7nčj ;*S/=Cq?ڤ}g.yy@ )4ewut8 M xC:s2ץ"h vї>CϓI>~r )byDL7ͤ"BE'Do =Ѹf5q:P)пm[ހq PAޱ?Zґ H]A"ya`1[_02˝u2eT3tlҲx bIhxWkZ"mʘ{DIqP\!Αd!`*وh`0Q‖UZXH{Ɍ|= ~|8Vt6QY8wy 0p'2-v%-L,b#_.Ӈ٘tyV=R3 +W}k)"w~k.9t ʒ#x޳4YDe ESh 00 0z'$Xm=ν{%XuOAkqyJ &;(+O~7]P"uup̟#.S?nUnf)\mJoë3^ωܖ|ހ.G -V<}kT>t'*ak{m16v2vJؾU Fx0-;N)̴|I[ a pST 偺Jƨeó`jl~b~D(&4|l Zٜ3rޞ#^!f/L&y3cP(i$ͦ3'%GJ)[)ßxʙKPPn¾,Ч~-Syk)Z3{Ebu4MRKL;n-Eǟ*C˯4*s6*o3*NocP7ֿ{0 shq [>NÔ) #C)<` g egQo,,>Nn@{0䓚D6EL) 5&Z/H8x ?3yIU` Gy5x晑&} F݀jSыo.S`_c )FCJ3}H騡8w守/QB 1uò:MKI׽A;$\)jK`x>/VU2}HQ 4fJC8ȏ1LkbSm|0 btޠ7˹۟ߧݛT=N;rr@a(>xOxA|qtxp[1s؛8px%b_6w,5rjNgׯMG2ϊiCeU*@arix<ɸ@"_ qs;Z)^&{.Ii{e'#0P֋,qbT$7b@!8LSNDh酸~2YDjL=;u,KLW.~}O?Szo9ΑL ɵOk7(:pa  8(\#t6h?INu9-NVؖy>%蛿Q;RHX0(: gDъa55Khފ]ەm'1poA+?6BUyKTx {h @7 =+tuhURrAveȧV_'CZH<|z2xb 2mBt3IIjl ` |M){|I tn8ٜq VJ3핇\!YƚlB;% ޱU4!G׌oSNHdg/KQpZt]Ƣ؛ BS"?Dq>rF7>+H2kHo4E't]5ů9s!̼)$\z{=E.8K ^lGz)>& L(kdg ~aRw-[fZ[CQw=I4yS z )}gE䚲>(S՜ nk?$Y)4]Әq l_3C _ؠFGj1+>oҸ$О *ݶ{r~82JDd/S|kqt?$7ӊIu<=Oq61%{F=>̓##{u. Zg^|6qɲ !M:;)r2]0Y|)Sh.bȔIJP1F@'4Tj\ߴ(;GM'Bmf1 Crv֖ o'(P={.)C)Z.U55-t5Q=[0oI-pIk!,a%Oԫ~K#ڥŴF/k\&VT*';3N;&y}3~_2ӈT lk6\' $p&A  BO? =Ho-gjLow"o[o+(}*=Pu;9' ] i\ Kk-tr[R䱓Ej%^&db{ Ec#a~ԁN=[er63YHղ^ &&wO 28zxfLtP8$h ޱ9]T}^r^#IhAOѦnn=dZsn4L-F"K,2 !䘖}K6M?9U<,LX/3Isu5PCXA25R==rALr' h!g_IWOI2iSbG0X"I?5c$'-J#\GSRu tBRݡ B?`,GG Ye!Lj&tSFj1A4 "R MVÁ*hA42-$E#Yu3oq7ZQNVNg|p\{LקWY ٵĒeWi JWN7!NcQM( D)J6 ,ŦM)>G̽?HcR*n|\vŘFS5$0C.q8Ѩ Rj,O Nleo 柩Y6yXyVGH{ ͤ8%A1'f9#R̐<<)c5z 8/G>D c%6:H@٭1-Q\;4y)"1u%8e2I4=i&U1+ǨA 6bkM8:P? .z9LE*Ux@,E`4 Y{{ؿ]7Z DEtbr0Ш z{@"2*")Di#N<Ƞ JɉȈeSH/'?`k ?#̶*]D l/FI6&%{ Po``1 =}Q?j`!ɶn'ua w4r˭%tnGGV VǽQ[ɞaoD.] N8}P|ey\"qQ!4i9̇0ѬL(mhH#N@L餎ZߦN(+tfUVTX2\J!OGT+_8eYa6%,٠&JKq탣hP$ѵ '[vqBMdU']ӟ *1cnL>|^X#nᦉu*B^G;^ݮ0Pv{Xy1_6}mKi#})I@}Bs&?\ߜ,ER:}ꨨ 9:X&Ti.t?&L/y#(~ lGdKg1AY& 4ln Z Wh%`{x|w6p 6zbS@X*(jh&ۡh?%q DTfbyl R~1`bK:F lUXP~ܠI^<θI@qVg1bV";q8ӓjBG(γNX,py. V@kCc&huG- hk"54>kLZ4+rõV`Hݢy+(]aHZLe(O+&gW7` 1LPťozwYdsǝ異7f짪zˡHdBd7snϽ{<"஽ wLi4V_K[w67l7DWDpۯ l ohT't5A8fj7y7{ߏge#nV=4m ]C#l IZ5UlƘжy@H} ! $"z.NcBs5ңG^H%$TmREKae'~RaGnG~ Qi\ڟf :rDe`} uA_ dۉ=c}*ma6Q>̕ݶY !Yhv!#YpjXcPW]HJ8QjT +>:y+Wm s$>LJH8vo;~/*񰓒A]3nl2W"`# Qa{u]V㖲7%vsTЬN9+Z$9}iq kc/65Mv}c l 1E@RyйH4Wz2c A:s\ý[{۽G>>~kN}̄Q+ܛS 츲F0YDџul.HӝaLﭴx ܚkU~73o~ wЏF.8s^\Z n6։s/$g=I0uᙵ"Ѱ%&vИO 5pV IP T]WNV}ʻȘcɦ{ӒȠ <&/-3}je ٛ&oۮFڳCG[@?]C]+l)T|^{YF`&L` u;4P]cOr30K'Ew(vҷ"fSC+OsYTbL#݊S!,њ1{k\ۮ cu8*# YN.5M>}/ @5C36o0rc[hϾ @}  |7͏ݖ'״a740$$c5I<)ecywHH-ct1?otJvRRfvX5M[r긑|Uy]}&mA1@9lW%wJ?^ Z - r7[ptZ;ⅼWCcNC-lvPD^AHqUh3UВ0sA${!k%b:.9grn;-ߥPi6E"*!tvus5< eǞњf vMn.RE5'v6jEСAYDN`-<՜5e4K1VI[wl,g:;R x6P\P@c賥ҽҁ׭G^q.]'^p+׆ _hGYSJ?HדG a[K_#2ќgޭ7 ۪'!pU!ɠMOUԮgJ7pFW@q6n1Pq h8c%/h#s{8sli@+[,y1L̦5@^J{L^~ 5zb q6g={[ DGh1˳#qȞ0j}SpelnӋؽW< aBw@T[|&̃MCZ*i#H^2/9 _uEtFD8n.0=:*cuv|_K6BG< w m<XB66\|蠟fe@/an%e]wzn!P: K逭"в0HMʴCRZŔ+fHKec.z^ ;\p`!;֞rmMMŰOioȍ|:G 8MMW"o{ yR;N7m:Żpy Iۖ ݀'Fo I)9E}1@@Ppj+'5ů8?e bU!|" XHtaHr26](K" ?%α2 -%'Ūjxw- zC-&u%<@^ "BaZ0(eyKq3{(~Xg 4 6p_ t$,eة& pNAt̋=-G6MS 6?ɢWݓŻFgED1 JMӫba*sgo43$N&){Z2RlJ㢆 ֈ5G5>d-+j=~69,,%e yqbeZJG ڑʹ,jZG`*EgGh׳2_C:gbyoRPS[ R7?[~ޓjM`@ޠr1k-E*Zn48@b+7Q81>!)IYֹ7z˹wwI0Ɓ[>fNy A.oX8 dXx569^ЈܔP`pZu*{*q߭ffD<&?4TUw tG@{b?k Fe0<G FúdU[ R=67Nbςb` "3|i yΎ qsS#235GBm (B!dT*2z¨bB\$ċZݦFR#uWcht-A'璽_K<0u&-n9zOR p1.ȃZd%%EKp\b^l:.&5,i"hJSvU*ȸ+3˨MMo*'~bۉl?OE @J-Q(;Jxͦ˗x ?zSdq={%Tb2VO^9byYiխʸɩޫզnUM/:@Kz:z.4qKOF`M|Rˢ*XN̺:CTj˄T" 0 p4o~3^'s?wU-)7CD &!B|,J\A= ԿQFP*ɝJn*j >Xt%Jz 64-VPv~mH?d~Q56B;7t+=ͬc~cys%S3kRW\"3v-xJ /Z8 ۹3-RJfJa)"VԖ-Hu^u] (WNxeV1~ k| @r #aYnۀ38uRͮ ;okߦTQUgM)5;~,xC;qRMקT*>*:46K+䒆*2߫ͅ|N"PO5Xra n-Ex N&V'(DpR:@~G{>=y!)m$R9i@s[n#Xb[SyY@Ms{?vF:G{0bԇs.Z=-;+T4^؜գ.uf'6#q9&A9D"m9qÍ>HُU*މgU5<5뀈Wʦk]gv2s,.5d>b\a®@}'MMJ4sb-F,ҧM/xOGm2 `HFyvMUjy oaXm 2Pw0ai=yZؠ/8aWaqqCݧHĔ\ i$H0؟܋nsF[MT919g414a`W?؃/hGӆ<Fn!x}ׄ^`+ӼȎLW1a+5[ʕuLj2ٙ[90&<(*"u2_myzQ?m.{B/ui}`@F@[q0>sܤVzъ{ C^ ,Mg}%yT^㳆XQIll`r>R١3(nAH\-^D;#hD, ¥Hm'0aa,Ч  g4*iX* -=f*Z. nϖ0p~:! %g2QQs#'Gp"^d^qT$7;)Nd M$W5(㕆lG28إH;$^*鷑8G 3&Gg^VO%>9^݅A&U ^^[oojg#* uj PV/̩ɓAUOB n) WBwk~&9ԱQ?U(62G !{sUʁ'-jJJ4EWVZTd M2pI8-1tDt=割}tKJK|zhU5ڽsy/q(&03eJdܹ#\5;4C*`Y9c]-Ҹ_Aۤi?mO]6˲!c6 n++q}JJW9S.>̥I8IKrUiδGUcߎmn8Bv%gS/1已">QB;4q UWј@z;{fgBtK2RB26#G?VAA^蠯¦lF(LrPX`~o>6Vi1캯r83VV(gZ;E4N>\#!~-io-ٴo:Ӕj{{fnYHpV y|)S5O+w@4p>"1%8(r~:B?X) oqS`lס8>]<'d0D4,>UYǰ"/bF7+B7/b+J?Y16M\ _@][$m8ZcD*E5[~a<ʒw<)w#@'rKeQjɤ(QG+m-ňuIL Н${/o+ .މ.qSR2>4yC;(A=`wpV=+_~ildb 9|M2ȣʤLt(#W S¶-q>c$ONNp_|.^F&Nx οBR䌶\N6kyo^nS]JQZ9F2>cODcÁ-p.;pҐZQE`U'=,lҒ$b!i| *,Z{:T;X"xt *XU_nͮV-2J|P v(;\ d:"ҕjۧ]TIqcI۫ՆbVlTyۨUT8gZ< ͑n|C#riZܲj,^Y,UD*b̚` -GӨXQjcHr6!VEr*9h-_Z=ŋ5eIA`% ][! ֓w}ҫ8A*`6;@kB@`kRO7V! z#6K+aAyI*a*(ܿA݁d [y ̯9KzSGDfZ|[[#I'DK:>^Kbb<9$uzd&8VN0aG:N#+o;}P]N<= <5>ڀo1n tf+) j:M\.yIk&mZiMC: K;d_JyhDѸ! v\^i Q܁TԿ ms=IyJN ulX.@CWV-Y. tNܑ*=b!"-_S~-5e}O٩k G@$Ztz^8%ؑEBҝDV>.8L)/0F0GF5aBjWFY"_b)@aŝ &"v=RɍU&<A]b"_TlkCe*8^8_{*JIAES!$g "ۅbN4Fb3ԿI~﫜GV#oڪhT[ uu CKzfD+=cbL_}{ZwRϠ ꂡ[δB2SךnMN3;_h`ԥa sb僚!4H&toJFcY~4d$Q=y'@|iibg_E 3nʖ\ѭJ} t q jCCNA˵G( 5~Ķ*5v(Ӗ -? LL*jQ4]z/0S./u σUer,b8 ,j4E{i=੏堨 y>PRy{hȝ r(;*T,x{M5m~#xWhSp wv8 :"3|F4B3쀚=Cm 5;Rv> w]nG 5D"-i_:B^N#S"]q4Ҫ!DxF@Y u 3^3:>:2Ƕ M{Ap#\UL1~\E]HoϜ:ǭ * G8 h2xfӄeqSaPTzӼ)qӉN-؉[^b>>4ˋܤק&nD+:ܞ$}wiM*%G *s7+*fj ,%J.OotDĆ'+“MŚ %Jհ3񜩥Hh?ŕZ"G J idn_?7]Jj>fJG+2]ޱe/+qb ;g" !OAgr.D;:eXN{WZ=9Zfݽ6OTb$I t #/^y OP>*L4s7oEftP]Y>d;e@vm&׼~A[[/u |(I,m Kn7㜡?L:Vc-Q}/<@vzަĠl񰫑6n@Lg#m0F;,%&׿Uܧ9/=G5F C)Xӄ#L/8C${l t0t)$9GZQt$R^{gx#guķ- $Hn aGmxr*KU S[t-*/#""+mbR/N.@gLY mFP5% j/ƹ(brnU+&՗dK̜mLw-3#O| 2WLAD؛jGiUyA>5ў ]`ָ ~&\[00Zm~EͥWI3BM$Q{NRЁQ82`Udr>?'& UU(9bHrqH ~{[aw1? &0N|+je^]?EqɒB~)Ww|40AsD[ެ"BJ!$VWᶺ~ՖOK.[=ZsrNB-'/"jh?Y,A٫6ٓl)\b›d?zA2;W!j/pxQYA6j,"7bv c[bT<Zޕd4!0Fq_եv&_ߢՓe8e9< K%.y?5N ~|FqhUz>69z`f`Q|Rjަ|gyY,k8q 8¼^4S]f3QL$TN|m^R2 t8f|>{9DZ`YlRw,1l":iVQ5s$l] Iכ}5E jj=qտۣua5. Q4wnHZњӢ[.WQzybuS9R8enk{w7Q)[>2,y|m?qLx};_[p(Bo(DFj\X dwU|/q ^bZM/=L+P5;07 5=Ue抶 \ zg(HoBx *zӴ{$(˗3ɕ@'81pE\ݡfc=yb?]!edfT?NIYh֩b(x]5I'Ppn'֖8ת+`&sR$@OEʂ9s|723aZJT8ES-VLNȷ۩)dC [dfzX_汶O秆k?abFx4]ɨ>ɾKSSo1)p4(מD wBʹc1geۉ·l#֫ȕW3rAsNiG% t݇--s7?֐f=-] sRi' E\Դ W>Bƻ\rc() )uCM;I$>nbSTH#Y5`O `4]|͙y6 !&U1W惧S +H`bL5ᰞUYËE)=QlwGLLE;J7OйrL-傝Ԝi ];HHC~+sp9q t?K_}P؝MPo+LL[ lֻqP&J94wı@irR952% I,Gcs1Fg? i+`ϳN: %4n\Zeb -KG|8^c|މ6@ {b[6Qb6AcLQ`*rӁVSȹlURwG.&DbI:y?R64yZ?"nØ/¡A.T_&tk01SN!*-VIL~8KV>Zmk"@:$\!m.ˁ\kaU|"ԙ?d7X掷wy=˔ta1_zM4}OmtN>@|J щ)kD)Eʍig o!n:(RGhxkYa%S qQaxK#4V~DsP5kwf<iwD0˨H߆XȬIc@hiK%/;u/`1\d㣪7tMi""Bl, ph=>IqvI&]h&*x&]T$7" nm1Խui2N= mEa6('NU +u[ ZfhGfb66:>dLyA\|꩎o19[C#KՌmrD$N/69bxWh,gE7x`)O㬌) RI땄9TZTi29Фp!InuީkWI=R;&f܌'GܓruHVpű~3ҊU2W,Gq$ۺfY} |Q`WN2LWӢx#aG8$w銮|?HouG3):XWoehrE0]T{2 P r(ȥU?U֎̹P*vs!p=sqܡTY@w)t\j{-g]\&1VOYjE8B?BZdE:^]֮( >zȮyB29a]]cO]s0ci0KV^u,CrO6ҠoX# AZ(U0L.DR9A= kO ZFR. 1;YQ;Ft ѧ<\G ɢ#JĐ5/ (Pkф\`Wan ‘anۉ&12e銭?R8SP-yES;;ZB oiBI9:tRnpb$FFqaP3c+]x;:ޓF\H Yр?jDq%V}wWFWY"kuV >畛Tɷ]ZAk,.*o鲒'LAnx{*=VmP|g|/v{OqT=wm @ryݼ- yJyRU9rS*Bfu̍vUS;P0Bdu:|V,p#(U&)& IRJpU 5PDy~ ,8,a<ݫCrҖGs ]bMۭHUq 8bC ϯ_*sW滠 &UY%ݧoC@UpH aɅ