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 `)LL /]Incompleteness:threads=2elapsed=652.727cpu=1245.444gc=20.340factor=1.917zXZִF! h]ŗXf1-q恈͐7ӺV d>`;Gؽ8n򭖈:)FuKȾ"1-If2-AfЃ0><\\ճX/Wb5^X%K:i'gD #Rψ,X)M>sVǍ|Ɲ% `YJ1 ) Incompleteness L ۽>m0HN|_Ż7{d$F|9ލm)pcA|-RCO!)'Zb%;q\g 0 ? ~9^8nrtIA@p<>u|>w͔gi ;itiS(M\AE QEka{]I!aPBy:BegҌ &Hx&\߻ȎTǭ\p\LH|"yP__c`?c%)QZ@fXE21G|&B܇ΠǍ@mgkG[Ft++KDlT5>'ٷpW 07@4Ӊ*HH@9J#ikL0euV ;3k<%FuQ]Ne5%w'ֿyg;+ork\de/)o+h=x)ڬLNR=]_0ۖ-C~YysT x<;oG)vXUPjtrȦ meKAO,0P.&Q9}Hg%$M_lQvŖ([M~s9/j,%{1ܛr0C2B\^)jGx 5LAwj['*s34S[ Q u HKSD"MPw]?M*d۶ );\@@%JOż]nu8V7)B o4"VvѩJ "澜*0߷96S2k$+HͨPw0t:*\5k>,X!pcpѷI7uF˄f˨UkS;Iy8)L\7W!hgy=H)?218,uBthKنm~v7JhS%T7%M0>| 7 I} E ғ.3\zX1U;.a^-yZP!s>)ri]BG 3w|KbWC{mIJVV x,R|؆J+\\㫈j5ynJ'0sGL>)Ix363flB:Пo{h!/^mtypΔ5'lqq>OBm%D/{VWxZxP>X? iWv@G:Qo z -&NLLiN\#)^yOwmq|!x; '8ݣsDCF`l0t Hz:ıD*R ͋E\ ʚq U@s>U㾕3A#>CE~[֨d1#swq}`Gm[{4,oҘ/wo9w5VUYlplר!r1O43C;]')g4ܛ,6}Ys1~FDUa?<  +&=jnaT[ /lUTh/-OFn [7S3nlk>ehPmhq8>usW[zy~`-M;G"iY,Rf+Qr nskmVyBoD3M]kZU ZW`?gZ,%q𻝄 6Rjdr ڌ8ge[MަsBk,$#ٿ|ỷC|k2,l״~Q;ހ3,Qֶ*!_bnrBr 9q:E[w;O8 h{j\L? (붱X[#s]I&$xwhְP} 6:eŪA@ed\,EK!8Px>ǡז;w[ Ku'\5v*},43*wSU%Y),$enh+ H8@M0'W:]&xG KOI2'?X2'VQѬ,PS]#q[͚QvlHVYhb9kI=rΪ@}_/GHt.~,Y-RL:L>.*r,fMrx"oq@_G[stn;H%j~&.Hf+.*]Ji"0 iL꽪~IhblB'#bM0UI'Ycy#iH3MF|E:_Y˟ š? M$;t*KF"yDW/8\ ~&ac"'IR:U :c?=Ƥ|4+TS-yTZZ zJo@]Y#3 /(O?6TJTǗ wM*t>١ʚه)ۈ?;pʱ42ݣ门`+ڪqآ&࿗A>am9$&B跑Q [YNdWgwڗJ0${cLb@_z!E`ToG]qKKlrƋoAR eٟq9Y|0&6pқ=1<|o<(SF+iKMeK@H%z{e"pXCEU]Y9̬URt,`RdMc]LTj,;CP"}nS4 ,`(D\[pxIJ6c02$vΈI I|ZA-d=+[g09B_Nu:v}yU2ݦՉ=?`PuтtM],5FU%zty5Pk.:Ո"3cojk V[~ftb8Gw]G=vD s`ac[V$3X";Sh-J/CMꨑ] %0§?Dt l=؋עAdIõl~:e\AH8' ֿW?ט<{ԧT=qXv7OX aW,F1~o6%ۘ-pLK4t&받>:DtX[ 8 `h+)`ޙq3z㉦ {" - @'z YN tVH = pA{s 9}q0Fձ$ү@u:+tyjvY5r֬+I36 5ASB[kJ= P#Lfc{Un.P>ֺ}-Fj;p(^Aݏ>C%(0>6 AΘ1o-ƶ#)fVG.UJjOc5x$O1."Khɞet7ukDF$db$ [ 2 zsGpd!(t}6aJ,nWC,l?mSVKq\}_pU)'Nv~ZLf.VMdz5*#jYYڸgD% }-6,ٔ~֩BT $7!.^׊V`nL yc'v،Uy I~B\b% 1('(xX폅pVUnylRk(!ZQ-_"[! 0sUݼY>6]a pe2pb~`b DdDc]ZT #785p%]'7 R< o\5Z#6XhzXϤƤ'ݟ.|D lϛo';E$Mڅ 9!9T<06B!1` _ztFj5TXVB02/u?s' Ot&Qn䲁EݮA{*C7Rfta\ڋ U1~JC^r٠|l HQa?FiJfawcṫBzvnע5XA"k]I4@{e D]evuWP2bgsl8īo azj[ s]f,sh_<)<dxh_boLnCSU((1>÷BMuN|G&T}Y=+4ǘn:TsEPKfߤ4@Hw*sg2XxB9u5p뮤t[ Rn֌fkl1 g_Ilq`p2P0S߂}'OxT+Uy撖y PisI ,|ve O4J i]gdNljD 7M {U]ȚJT3<ٸSX\Ћ=O嫲81+`a<֬j.SدP AUjqkxQ ]9~@j‰k75OI8 ]ODjIFnPb> {[^$.q/j+\UV 93,Bw'LR7Ǹ䌟9s^`\'CKs"Fkz]e]"skT$ULS0d2>Ϋ>y;KXTEn\h+$%>Di]&REY Rԧ(壗T H*6YG"꿪=!7"Nk\04=1'M# QqzjVˌf`cSZY[mM+u@V bHDg[VxRWSh 2< Aҡo{o۞g92\rFVtThգTz]7a qdMzd r&QG&.sA   i&{בJ잍<0A|Dp_:=ᆛ6Ժ#޸ipsh#*%lf_Ѷ+ lr*Ad&h)^jϝ@WqGAR#!{kzY:XYlLU7\A _$fVp1"+sn7Y DxsH[gP? h)T!@T +΋5ns;E&X@)UNK`qSv!NIk"+|P@wpK;,΋O m\6,3.^dpZ2j59fɔNtBI?rAEB/qG32V=[r?pi%s_f]aVm/Nw[YM\քvp:LU ; o:i1#PwiETVM"wX#R6{IY~nPE3oar3_sd}6ٿl.ا.Hѱp3謍Hod^cRYExYț;)6+#(#郜XETi"z缻oAK+] HILҹž[0{?*9~XvOwr[ڏxz‚4Ĺв]Ip+=/y,+,^1q.yz-ϑts7[eDJ^k"]ZI yD4?nS!ilwȃ+~q%Nb$g]SH݄X 3BN`yV/wR7{ 6m2WL4~D1ʫ6A;HVYA jp ?JMa^F?%F9Hjq0~keV|ý@5oO}n* b^[Tjp:H'R\NJEU0!=Sv,](c*?rqxU֌^HgȎ[ ֦]pZ$rYJlA-oIw_Ծ!Y/ 3o'AdBxi!w^ARа2fO DUӷ—Y_o,Cmε-F8R7K(]/ >zا:,qu$N*u;MJV2wM XgUn,]a')*q6V?>&y y, &̟+*RVXmx_cT% ]OXex =$ nxQd:En0_W%ׅ;םy5&=TV_t&՝>Vԙ ]~Ɔdx3#g8LM0 gc3ߨtmKP/kK8}k=VK XI;`#iL&8Ya+~oiAsPHCa-yΝ=UrK-5 ~AIn˅:cHxN8jb-r-dRaRrd~ٷ8'ԶO5AYfl L%NXf3d`@NU$1yWmKJ< |]ݶOZH%&eq0ҝ9 +Nt9eυM] lW;ŭm4vk(WY%MCX Pǝ4&PP :PG6zgD,-zE-t=Z B|0"MHF>(yDTFwf@dm׭G]6jtǻ7 " 諢@$ˍ/BR+'J҄!v'8 JIRnU:D2V$oI P3@1uI&m/C5߈֠q#z,uC|D44s_umyZӓ~hm<Y6N &);+>on\xFKk bzɟC( p,d_d֨z1 <azvm?>Ցjw^ٜmybֵ룋7XQԺ*ٮ.Ya֧=F`=O3@5Ku7s<>:Q38 TeS;hLnĞa[dz{R\Oe= D׵lh= Rk?+( Z9awn(M{!#,tN9gk~7xE> Bѵ ܗ("d=E@ ݄^kz&aNyY h .Lpo_:I,\PnKbm6ﷇ 3l4^"ÅڱrPu4& Ԩ+YU؃Z 4\׼`AX ШT)KZyk/WNX2:|nM"sKf 3?G,e%v]DƟo(>΍x2~_ț6 ӈ@p) Țr \b czz> qJ ḒB޳dfi3S&RLztxz˦pF ϝƛM6[=A$"ھ} c2nvF-$(5g:_ Ѥط0CH֣'NdW@YXoi<5fP#l_aab\(X\DNO!{rz{U$c ~˜b =O|nnQj_zk?!wtɚ=#mh/2#򾧇IԫNl cdb( Z Y bnu XMA. 4ҹF"@#} D(-*/EaX;N bӫDvJbHEt+Q~-=G:Sa_eV9V=FrI ( K"=lJeF F.-c 7,PCR#7MhY&,|8y~?[aH_$O b3MP-Q,o_e02,-4)(KAjnORVFFN] u6X/ 7.B*{5ުA'*_=ӵQ}U.`|pni%w!O画O&9~/&܂jzhfת T~s_ܰqc8ZX0IYAVOL?1B8l ; sk<&s/԰T$.eg1꿋9|\ {޾(m71{g~QN=^bov"{?ϝ&EY*\26m?.KTU$*ts.>n5A6o3-fRsVAzD{*z8U-^8_|a~1tz_x޺r3])vno5O`yPynC |I'?j/@`)"}+Td/Cϓh;S?FP='><*_ Eq^Dȋqc*7c ?gԠ# Zb?ɗV{.$NBh=]'6,=k>Γ˯1a[e[М|*"$`/j#˾SR~1ZX \I IN2gZ?) hO #K0[1P}q9dΫarɀc^&159}' }h8GdL(?E$||@SIO576)#HxSo JV$܇LgoȌXJ<M6G:S݋Cm3 z?q9#O$39.39,IO7O/o`i"%bEU3O^QN$Xx1sEE ֨Iz#lʒb)~w$' ǩmO6Ěm33$HUe#,4EP,C͘~G~QnBG9e%JcCKxmeuPDAѤjz*g3Oa:Es\J]lJ=Q.IsE9g{gYLrqq.yjSS 6* ma앇KfK^u9\._4^͙5 jzy ]WiUW5ࡋ#h.7WH\$2M՛6.$O [@ xܞij &Q&u-=Jr.Pqv(C-Ws9VY6(|SSNBIx9zO)JN 6.oR+!.r7άoDN=:C%xaw.92`= ͐|l*gQ~WDR_ e:z>PPP6ƉURrUq:3fQM'VWR'q]'u (#|T dćgR{*D%k@}QF[O1]o-$xovj=]޸;HFV}\D\h? (XDSe4@Zn&C/ ">WKtY(#V wr,bijSCtAh9: 8+t^?9Q*ƀ3rCwa>Yg9k(N'94ĥN~ >$fLf /oٕ7q2M\hxũqBy&0~%0+D ܈t =`pM䩔2ߡD`@;!`—;>t ftE>WxOg֧&bi7V,L C zoR1HO59̈́B ⬙K`TG!Y(|deh$bm1vʀu;4 zę3  4|m/>0x޼RDQ::FoTY tojրWayHVGH_؎ԳԦ0j'r0|{`1kͻ1YMw76.g)6'7p[[@dWmdQ'idKaDz?-D u؈6FoƐ@?vll72"9]R`$hZ;Q|J\2@g*~4kZ2* YTc A( )XRx&n`Sl|Pa$ECo1\_%qi]NWZ3Vy-ϓ8"N<" к%m1\ >{wԃŵRh#iMʔ#čX}ϳ5U$M4Ňm: #[Nf8uQ3fmc}̿_M_N>ä0΍z8!c?g3{IAb /~Oi^YHtMaH^uqw÷,?l0wL)ѕ{!m= :܍[s >%rCl%00gS5 5`5[V'quBK,Sjfͯ3KD'}΢2mفCx XL ύ^dh] EqRIf6vDG,2?8F耹VǦ'<#RhHGc-bU/݉D_ܪu(,4hƴ3nh=_FA-}kp 򞹶Zg#+VB"͚0 YbaE=C+v7h$ӣK%j8Kat &[XhenL^Z8Saje\@^Dt+`na rW@ܤ}̓!}r3PcR(q,c-CR(D[3Qdi})_aXEIc|;tc}pKG t{*3QdDo]HGq+#@ƴC|oObo\ yM9$ybt na=QQikF4N SIw␤>ѹJyjqwg碜<1%;]}l@rg o^FM[8x6Ukm$:G³ u,5#% ֔ Nb΍Zz1vkF꙼ت1cPe靁n4Y4v, ])qn oI{ !gtC]q-O݊hC 0Am6P=kAչlƴ~r7or˷}{<,(kjҋahpJ'&RB">c,Dc޳$8~;)Fi?տapy#,_T'9CC `|]Mboc֋5p ʘ; w0/uQ5-!5 G> O5^c蕽 MSM/(O|$V}M{^݂qg27xHۮ#ÜJ]NKWT*"-k IX۬It<rK>)𕳔o[R~udKŻ|Plv䳉Ɩ8 15;{ (u7~1Ez8ZA(پI(MF_b՚xX3,,-6yb> D+|gB_:fȥ!7OF>M'ѰC&&I|5φ[*& /l]^z>xm1ǢM*]\zY7z0njKD[ZE%31M(h-:;ز;[%(VK4~%rv/f6_&,9n72hml9\Y 'ו]aAq6 Ag R<qv~ -Ҵn/z ~yTtK>紳Pʌ.,I u}~Je$Uzjt⼂Ў3{6Z0ƽn}H5&[.a<=,L^p rYf f)Av#W"Ic_߶*v'i,B}/8CLzyR 2KGI4`f7Xa'NQ9SY%5BGJ9qknqd{ qL욲^<s9@R4P{ҩBK%S(,pWpڞ0tMFtkH0qw&ݼ*@gUV[v,˒=Ҿ}d o+-^m轥S3G+өӓ* ou \#j>@ X+0z' Ba ckgFVoyhFR$Cu+q,:}?2if-G&eMw$l/0BG1n$L&`0/U;$O[Y}6BF1Xپ#bW\-_5MD:?zq)4 q=Ky XoZS1|N%]xm/7¼ܬ<%t;:(ma6Uercy8TI { MD<^u)90r>b␲hK?!Ap+"χ!?ΤP!+*-@$ * 'f\8 N$|t=𠛽](ZRsgJa"'gf)~SK Sd0> Vj=56.U )a68~v8'y1p Ma,-MG)H \ 46`LŕwO}j!b`_D.CWst@-2_t pm+<:FHx98kIzP.޾7r[J6 Gjf] '@C) "3ep+CyG_ѱ]]SZfI~1&)#-Ȏ(WɄ߶iijv:$pMWAʊX(/0cnezQ>-ܗ< XbHZLUV_E fʹHsh!8c_P߭l"RgvUI;C +{@`e( r7V43VHwYhBQRWPںu)6Mjc^ xpxEz`x?H8~Sy<29¼@,ChCtf,kj溾"Gi4G`(>"~TlgB#6CT /ɿc\cUAk-yH0dsUin,@%&hjS)51y3Zcފ VyR-C|IgC\hSf#lT4^ &#n#Ot(=0:}>\,kE;3y#x'=pQn7 [R5~zb(w?Ymh& lqeADW }zn8I<: PSzW\ǧB&陳W;$wuVeLʚCQ̀Ua6 ]`Q;pIDJC7%[,L~N_7]HJLYǔyɐﺔwkمZ: .``/uG7?.:aκݙo)`e[wH(y5l`j%NGWj)nT,{oԐレTS4d.(o&flaN$-xڶޜ~xQc&@fFhkQy3D9c?R!;F֊yHwjx\ZUmsĢ]=.6U|VM;q!\yO9n lב`:AV+{GNT%;b5g,kFJEjANSZ08 ms̷}䋈CO_>uzw|)L.tKY@Csu}~sڜ0DyxiA?/oSr]>d`^*-:ؽ1.ԏnU;%Hi$!gpsz.gECa"j:&fRv+bh(OCuJjc{pO<9eUm` NK{zkNh7“PBϺ :M" 04ԍ@3cTD,' O\X0YFB߄猓Ɋi3Y`x7C|q "kKNbfq*@*!},' WlRi*:]SSZRaԼg,J`/`)ٸY_.3Wf4ҿ0=me>!tD{.iLyW`z `.#໖>eN繝 cnq_صbTA * f ّ>qqrepD³6V~ :d\#&x5hٻmZBlm '[u%RjRlg̥}ypnSmڋ*XSc)ﱤLB L:ѐH^U#|EQ a I6X vp%S;/͊RN͑f:Zfj'5ٸܙHOSs@rarq‰VN|ޘ. &mB]9gxɠV`,&wul̴W#G3`k?tحpSmu~BMP2!3[3qytE8ݼsG I+^~SDCaM\D9S͋&q 7@X{٬^›y%͸]FH:f:gm8#%" N}ag}9Zb4?EYƲo:vYD>\ÛL|Da]*s㱪,XLd豴}7OlWzlʏYUKсm/ťF V11UvKXT #'~bs╩沂a{qfJ&IIK(J\_4B:IcZ2-~ * {_\ځXפ2ùr@6 Wv]1ރSVޓ 1 oKG5Auڻ-[9L;/IrjrKcSJ.*MTkqxSs%҄.@C(ҽ8hG%2y'ar<9ʉcTBp|KoeMH7X =,Te I.ŖQEVr 3/zhN[ƢDճ{{{)jBf` >k-xt,>{GF@\8ǩJ ɼ :XhmAEb+rЖRZ&OЗB('Z$RKfU)Ρ́JX8bu[~&;$['kZ,02#k?'r<5TN C؏wM3sk,GGy7w |DVWd`h6.F('{ڨx1)$stTCN&8g&y @^DZ\ MfUKOqA}ai$3%k نx*0 ^‚^~v\.n1Jwe24) 'òQxP`ep~2eu 5'^|S*`v+Y̓ygjd!*ƲN7}CTҸ$(\oA\2l{qJpÅR̀˛L.5~̵#QE79~Zq-u vc|N6`c!*v1 ?CM w#E "H\WwO37VQ捆dqz&%a.z_\,/;r@I!|~~)`N{^=Sb$0#RiavNW63珁\,kd4KmbCz V! YzŌ+![^JxeCI؆%bЩ&nuU`h䖺 AUmvGxA+܁Bcs;>R|T"%4/BL+wqU&) USk8ya PC_m @gYD ^{QnB e&e jppCr{~O]k%tM I&B+*c;jQs kسTms;"wN`6Q20F\{ 3SokhXzk,}^ 9E>M` ;2WT!Fa{6Vؖg?~OZMGcgY*a"TNEѳ?R2O?o__6lE(hޘFב(ҟX:KSl~ zf6dMu 0 YaBWN~G52 {WJb7,Q?j`* Г@աvGA{inC5,Wc] #= yE@ܥ'L;id0~iVb˫ 4 }U]@bƖ64(4867_)rq9P|r9U.jVEl8H8s/3%s;(t$yAjqUd\2,Qf@5Pgu{Q-BTX̵%o80:}΢: j.+*n` ]kZPRcՁ{׾]`q`mPx eBǓTqߑnx_y'wO_OY F'O [CM9ACSBvݻ{5\ ml…*gYZ7zXZִF! 4]ŗXi%Rh)1¨t% l#.dS>=,LkQ3 LGS|yr91%U?`ޚYtںs+m*:>5eҊĥ<,wNg >8ZsO lrʃu|Q1ON\8Pdc2IcBJ!,`'eGfoL\˰RSG%\,k:sލZP1$ +]:+4GTv.Gqaw(2Jfy%CR*cCfQ{]WI$[IWxI>R;NTY^Ȅ.U=|Na[) dl !O_v?2'݅QR˳6cL:D#hEE&WNZ;s"`p,xu4 HYݾ4s9.-ĺ\~!;=K$렶on킢a0IJ}݀JZHGrP`JȎ Q4וB{ ҷXONp&ߍtmG  Ŀ CAc*GhQ ,01uv/1Ղ;V9Yhofue^}^C j`U}ønc+!.VW#Ո;+VNC)8 l֤݇Q~4.<"zfgŁcsc$6 j LY&m >eU\CIؐ;sӤVr"M|| 3IG XH Fn>7BV 8|2hM0J(rl}ZH\ކWΙ0uO\SnC t%"\例_n-^&i܏F#iR@Е2#aW@ݕeESC@=`j$M &a.Dt0 kě!/#W )*pd7kD |pʁc/Xqf01B9_N:/ř_o ) sY! *~fz&5`lp +E8Cw=/jӏ6Q x~mLHWLF㰿D6jKVY/#Nrsj&LJv֋b+^׭RnBpQzMnO˱y"$ ׁht, Jk Y Z"QNhF?Ao&fJ]jW`0sQH]pܒIY !IZJ'sJ'AKBc,PVspmv|ȴ5H$nї44{O4M`֎\oC*3(#d7!LgSޑ W%o§t29(PF#PՖG۝kn{_O `Vl<M p@hg'SG9V2KQΚ6*P%I6I'k:*<"dGq b\"F Fv 2O9@(Y3yMNd灦b[<˗ឤp"<{DU.z_~]h^YKǫjcYD`S~z#d~Ļo& +]лw&').m^$vw-UW$G\˝6ޟ;%5aB4" 1xClI؃, s4(de˻@!q1%h@\}YYJr=.k$\|8ÐafgcSìk=W{oh{auFtS1KMr䨀S3ʤH0]STv%FUC̮p9%1ϵNg:Ӆ RU.iՙOB808p^5u3^{JGeة O8{o+hsGO 3ҜNZV?8!LH  )RܨIp<E}sk6dmٳ|#e  IݞG2 X  ^y &>aGGtl%>5^s!0-# /EVM0,~ p =Bّ5&|n>25!ߤ=u%ɫ YR?;%d8:i Vno,8%>Zt~gھl2֧f1<+vx[p_hP;~WRr'1`bzZO+]iBPٴIGBocܩ9h֫PKV 7)jfe77w%P3 axYZ´7$#}z YpU!53fSW]?ċ(G/p`M zH 6+w<1 rrum~ yMc3Eۏoj27șk$/4B$qʤZ89^ Er~)3 ^%bӌVMd{OO"Cs`Rِ9#gn[8#˘a_k]=EUeJn=u-ܠN\XQGR{1ciX[M{`:Ar|1 z#ИWź/;p&=]V-\*<0c kVȴfzAI@WV&t&хZA4\k-ۢK3p>*)uFtfȒIֻVhdvf˻ E_&u^ֺ _d/Aգ'%;4%Ѽ>)S_݉]',c(ĦiPo3W!~u]60/~+-]jCYP~%nj+TԬ*Qk;h]Ng}v>2zÑ]U,]na>GVä:;Ѽ%>Cv\R0NAo؇^k*#}=% A^{S. j\[Aj)Yz+Uvrh(Cp`PZ ;.R}øVNzlgRޓ/jdlJ5[19JV<;9/o|hBD_d_6h0)Rp1|C^kDK_C8¯'z#Y,E#ӆNy$Y8zwv[m5؇ 8['HQ٫ ;Y_&D.Й{`}\Okg nZss; S  '19Ƃ5%Ї")k{DJ|CDJpVU1S:"ς\j{^=X[2"Iqo&м3^+#_4x ed#vw䈈qjtt:}תY_WmkDZKM(jqKȅjH;T)7 gܝݴ9=b/$0ȹ91Y,5E!1%QbǪ$[d/.K'x o-UJy"#_8xcO\[b,՝/`U̴K`LK  SR54tah )U + @ʜc:Cce.؇+ґC_0qZQsbHXn_U72 ;fyNՈv-Q?"I<ԗ/bjKG ͍o$nIyOipWy+"9jҺyڢ<&gl,1SvO |̈"LX]w&[#(C Y?(7UT0ѝ3v ٶ]#k壛yOXSY-@| ah ~w KO\Vψt6D(x4Nq4A`:M3Ϗ\e-ɹXL[| dP n *g$1F(=Rxg·4l Pk 18V9}ƀr1p4r3:@ȷ%{.cԭIF_ ~`jT4y9i#a- Ö"5BTĿ]Ǥ}e{<*fsUJJHHS֑ HPRM v2Ɗ25:lC]h/&2(ktm^+oH10imrAqi>>i&i5 AQə%c~e;z`0q 1[ A~O$tC[Vx1 m{K=-e:\ Ϊ~,#9iLV]Xt5Ed`ƭAg .1:}uEX*-crW+ϖ_fK㧐r$@!^V !m&ܔ{ʫy˙_bƏ'Z W`D.)GjkiW%eNPjEvBr2:>(@sch;rO􈰂+^gtM7b!& Y%Xe:"u}o"H"LCW{?t3EخEok-vx: Cchr!Ioru/HǪl~P-(+ mwOzol1|{uʅ/ PqŊ=v5~]Vlh\åD@,B]b/Uz$syjXm6`8ٺ=QXy*?/Vq%izWܵRC˦WOJ Vt/W9` 8,ܞ+̇FAvJu/-{Pav[i2&.3K*rkXrNj^d6,sn Kȅת}#)į/] HÌ竷f6dɯ^ ߚ\N`O] F? rpmyWm7k|$QxZ q93{Eg@ҴVBN9; -:!^Ȟ^dcL-Cx ilV@%aF}FӲB_ ~Ǐm+K̭TZ8Oś7_@nUa}rW-L3p?I {V{}Pf_F0 $jżX]SOF\Ơ]>e@6ghirTuDO?aZ|wnzg+j!yeL!$;Xfԓx/(u(Nqc11&j䰟n5-%#z,׮O yWoEvU]&uӥ>bDw1Z-*F7c i["K7jf?Jb~DInh܊2jNYpb=r e+4oQhsE1 ZO^E3OnwG MyN) "P/2?XV2(%iH)LߥIh~|g &4D^l&'Vtl٬Vj,Uka[{=#`?: =qD+lEK ZߴsY$70Ƭd>0BB ԞjP{k}'|wgqFVNb:j歍C4ԖbE}+B9OgUiJ!qءY7m/&r(%DHpȓ=NE!`3sz mP46f-Ik~ӡ1]˔~  58.Oyy:jpϘi ȞC$ xCГ:^8Lgo+`t'$v _*YB󼫑LUs$L*A҆(Yu+)p7<й!`>\ߌ-"D$JZkDD6 Z 6ʒ|SZZ"ܲ)Ui&F[Tafӣ'^K;"B>7yʸ'u׹`TbQ;Y+c9 ?$Q|*.2tŧ~\ĂM(?Ar1b#ChŊlrb N(Ё'pC|j'}hZ}f5 _[A>|u3WKw;%4ξ|oQMN&Vte3S|D]4"ê ̬r^:ɭ91S+`s!?FqGڎrM( p!qDcy-#`" }Iul\OMR߲(FIkVe:2R K1a_Y|;oƄ`sÈ<)%5]_SL(H0[.eby+FqJaqR1aڬo+z8>E=i/mYL˯|Q ҹ3 #;*$]7eCuO獭MW_w 2j/3a!=OH T!?뙨Az$ZYzVDr,Ջ7de!J #.bMd\4"앶j0йa<# O/-yjBD%k>n"5^Bvf,z.N1v϶cgmqαF~.*ԑ%~ P+>W9sN$NzPјxL`mcd(T¸B/#\S7)qknu4w5fɅ)dVdoϬͦK'oV0 iHre? ^ÃũǀUv_Z^m&5( EC)6F[d(*?`\AUP!'Ubm1~e!b&E [[Ðj LUg|RAGIȆGzQq|Կ# 51%%ǹm wT yz(ˬ^Ť bsGfkr )B=) ({k?j4<\#HeQ͂MwX4Z{=q)edo0\bԑ+ײOhUH'Pb W~|'5ы1pç*nI{CRHSvo(zDD. G\<#])tIqsRYI[i4bR7L/,ej 3@?be*mC$ ztN|$kw;s\P솖䒠=bg|u'L|!DU˧s>4{qK+ZW` b=f!rl4 RZ ߲b`7xpep=7=p eqdBpITeU|"Łwf3QOUj g rq9Aض- nw;,]y*B52N- )8\YͫS7"b,,7| Vv#?_ZJG9nԐA1r=37Ĭ툎?)J$I}AaY񭀇 nX uHcˏTZ8h`R%==8#%XNue{]k^OA}HrKa ;cZA}̡_;LK,2< y$.l=Ɵ̧W J CW8Zxi06ŧrQljhH!I:$lf#;ԽO^T y'\Jo>0̑Ř͌gOA F) z?WG-x6B ȸ`7ҊSQG,հIy^2,V䰜_=|'):#0@i`/f|*$?<9+(G\Ȕn1]K F.y#3à-Qu+6dQGX'?okd))دuCZ!CجF+Ƅ0OFE S:鬋tѤqY@ZXP*}ի̧F ->P0ȥÍk紎DǸlƃ1Ԭ )* KђYj+#:xze#@ʏX0=!236SV7Ziv]i)K5IǤ\wĬ}S79>dH {)ۊ0B8_YMVAP$YK~)Wμ[+3,^vэ]N6ӷ =;Վx{5ӌAB W#^A]~?72B3ؒ *5z 7=N\I^k,n-^aIٹqRǘvH^ZW}5 ,|!eA})}UZOˁ]H_, ܭHeST\]-v |B%$|aGb==]4)& )3 22m ? -x0rwI0$njWcYk#՘,)#a? 瀞 d#Đ?+GVqèP_*-'r~/P\X}ys.-h:ШYWI*8P7-qK3a׎Jpջn!"٬)j {a!s!T+KS ģf9Ed"F GT9 gH4rUxԹ; naR!6euo~(ЧȎh2k3zmR5I#pS*2ioJ7r%O_djmx`{v.ͮ ]߆ i#0&đugP+@u6h f;#9c[( >f4s9~a:t6~FsدS.mmsڍfR\66dM :W}Fde>:I{Yy+8 " ЦI{d9\ ܝ~Yo/cf |H l^>e8@Waͽ^JΧa鉤䦿S1OK#90/ ܗ%v#3Kr ~]^5](1N*繁^ŐX_hS[2%_C? hPaGno&6L%= rT l:JQUv_ҙ۰1bBIy 1W !viLoaɷYk!s,GTcZ=R4SS) m*MΕ.*@_5ݺȤMG L8^$ a@4TRj))F:ucel#xX%;C$;+3 Eb2$9A:)|@0m=&#Pao; {!졲=:dDγ7RM!m/i TM Uu2g׻cC2;&׋ؓ ֗dIwμ(FX4O}2/}[61&U=)*t.\|ijqlݫ5IGr6f0'W>vMEhFV9asd\NI lٛޘJaHјS+!'}G.=GPLDX'd飛iJ0qL4I4k+ܚ# 8#mYܿ|e;F:<=6DCN=cS ?qdkn#)fө~aM.oI|0>Сq3J&D4JWpڽ ;MoIJ<~3̔bĖgWp%p 4 j+-$Uyc4Ene&$?s@ 'YwN˫- V+d*e ͝1MNXdMy3Qjo潬%ޟ8 V¶cǢ} i.9_XPAP3?Xx1JYg+GIr&~G0$A>qV1?y =Êw:0;aӻ yqi3~0fEPklBR0kkc/zu˼zdR_0@4xtBF32ʕ"@B~s҇^pY*7f]ȯxwT2.W+ -ӛ/cDI 빵r YRq@eyyq!<(E/h7mHi~K(a/m5ZdlD(BфD#`zOIZ3bdZ_wW{?^mEd2{=duB'St{1p]489c: e2f7OUɶ[mH/s$>_^bN$='뼍|E\,bE# <7ֳHry0͎S㒟u=$9BJ2%eĊg>aqF32r6JeHZ;zF&E-XKe1e CiA0Vm.lݜߺ ,+mynJe#ֱ ; (hi\X<8:J+LדhW АIT nt.m9Uwn2[{ʱ!sCI+@xu3`*oTd=6lFMD[Rg7Es^)pݿEkvol^8σkI m_)7ߍFHEmB􃗕 ::%K_\5jҡM]cLG7o2JP]!9w2}vGT7!ɺy\TC5cv 0fht8Ef/nQP3e;U_=x6tр"?_%-ya\`80QAsM%{!ꪹ[;j:7#1HF$_[cJã;lWOe#ޣ+S{*YM8'l!w]p\2Gl_7}ozL%g_t-D0J)eSGގ 7a\)c ʁg%q@D~K>2G={@b񤰞{Dô9˔N/аb79qyRL*bcIw ݶǰOoܟa X5(&'jk=ٌqN-mQ9u׃r 7qn VimEstUQP5\Hskՠpn$`sr/> 8˭Ojgj&8W:eu7X 4Рe+7˦1 JHʹ/*zIZ0{,?+Z{;srHJ[d !$Qvx+GkWYx2Zؘ\a_$P:**\ԊuX$gH`+Yat=ߊ5 !I@< "\IU}]7͠weK"Z #>'H=F%LqUur@1gOVnlcXiGGլۏ-{@~rDTģyot5?_rz8HOW\%⧇]4<T. qg=? h_<JLƇ^6 Dͫr,=2sUՀY͂ O]g.rbz6Gf\;l5w~QY#mBYq)psN JmM0x pz!Ԗ@|뵽0Fے+k1ܿaUc(G |0q@@6dBNa}IpGC0Pz!>m(I2/z=CM,i MYҰ4k _bA#Tb7b"tRo+`@mzY2v_%A;HNH^|lz!_WCt D]#E ~jE4F d֯4b<>]ziOc=侱x>x {74mk;{mcZZ3eC#J]*- f(É8WnLz#4NChӓ&IMO][ˡ U d/7w-&*sO@9h]'' O[Z8뽰%`Lq#C\$R`i>M &\ γ,npeM#pF! / W?gwԻ桡%-ybMǡ5b ͏ t/ovlp W&^'0vz#YGtLy(b >J M7 ts CJw:һUX|6hH1jZ6NXI4Y{,t轗Ehn* 4&lp2z[q Q.oEW/ԭS_CPtlD!}t-=)ׁheA9-oZ5 z..t[ql;i?ǴzpWz~Mׯ(d`1 wDur~e y65=#^a?-ʋ4"3WATXRݲ}us!GDE4]\Jt4z_֮1 #Iu*hcg HG)ne=Nm@>F9)nA1vӈԵ l]ypޮ<Šgrv$M{n:XQ ~4 F c|k1`굲l^mr*U `7rSWYa"7pz=54׃#EuUvLu7P-Yߩ-v )d@Ɍ]ږ 0hK2x|ZAd$RDyߒEzkVϚ_qf]#/DYTڥI^RW#/<7Oj)Bk.X[wt-p^Ϝٜ;~'&yxշʲzu-'yK ȯ\'Wd( C0RP>}ҌL{$v`͌6?Db9"V-yHeuZ +Iؿ =Tw`1Tplu4_BUOM+1~*oKvA8m&E%EptqXE(@<8â,6kcvd] w7 3EDBtkɒ;D8t`zj^*4f]E`8|<׃ RV/f̸s=q{yV\!sP= Go m~n5z8k82&7Rlv-t!x~RGO+Xζ >j]d08z.njrh7ٛ*TmR0G=- ]РB<} ֌ڦ*zT4bj_X)e\h-rQ?8bXbl<ƍ F!`I3Uju{~^ãԇ3Q\6C΋qz_513e uՖqOmS@RǗyCXLh A@WhUDg%F$5ll 'DD^lrѦd`FUM'O+M{ ءR,݃0vS:]es=h$ߜ@U4C_.Ȇ!Lm 5tt#I;ȶ.h#g $E$sBD/JĩЭ LRw]̷.)ˆAoXΨ.ghew.PӈpsoZ@s_/(tFkZ_cal48IjXiU"\փ 6/pJDInCB-?<cY>c3j6ģ]L1ALz0eA-W/BFfC}\%LPtܹ ܊CM]S (<4@2ꉔOflٯ]NWcQ֘UmJr3./{$39J1'TL7tmIPa aͅ!&M=CV,yq^12-dmA82{uO!2iiGIv1KW﵂>OkM2誌*;6p,A;uxg;yr܎3(TE1<5¼PHg4:B7O ɍFHS{F6zgޒW :>؃k=c/N2{\,f [< [g¢&WN:iW'U1Wg퐝9@W&,6w8PZvD.]?=8\id9v.B !ڛ`kc(9Al<?MtVRu2lΟs-ytc~2וIױizg_" iQЎ(GKJN-IfYa'aڑ6&aM$@ ovU uD=}˷vZGǕQ' kc'\1W,BsߞIT"u\F0Js'ZZrD)|YFt7&d o ف+cDCDg;VKrFk>1Osx2N4 jی.GW+ݺgdHo+ 8=}qIRfdJD$At䚚Ь_m⊑ T,-kX)veb:@]3ޣov !"93^wQhUq0,e TY WV>U$,ۯ+𦉀\v0wIqAx_We~Yyjt$s(QW\Oc!jb0em:QVHon4ꕞ'̓h/KtX' ;7=Ǣ+aD[?0?wX[OU\BsdLz)]W[h&4CPڑ3bMlR+dq{ʫǺ5(}nFEƘ'yŇe7_e^Ә 'eqYh~GEq5i2X}*5nX=I-{'x? WPa*xy\c}P@?F&S0w4Jǜ 9twՈ25AΖ-?+eg(z 赡'+<.ۧ{+}"L' [Cu@v-q5<`';4ҀbJ?W2[HIUj$YTƘI68Dh̍K貛"k%:7s t'hc/@<NQ>} !̻y_}%1X~4XZITĄȠrEL$I?;:` ,zXCo)O\*BwEm:U3ܓ@4QG*s3]Tق8AZb!I}Y@$weCvja@wLw*`sjІp[6>өRzaK, +*}ؖB}0#jǤqG׶\y Ø-DmAf3^J{Xj>:S"j} !pG$A'ϫ_}[gGXH!.T0GU 9zo'Hݭ)\/*sCJk.A9.FJorUr$B$OI߷9'; \?JGR6mMrבsl&Eh{XIC+EItmTAiVx )״Â||58=yVxf30ױ*7^o*x&/kzޗ=1A?t"1c8UlXLq3˕mX4 u@>@]ønN ۍ=v[ˑgItGoBp$V:"T2Ի(s`UD枹 V *0IypNCKzh>7uPjց*TU[a0Mڥ󦽴 mq( X,fOahbW:EԿ 7k0 3ڻQK*bYlح`Ie5)=I%S|=nr8f# .PY&mvUBdfnk:]F$*4axʝ# FƧebXn{U,t{YOmdb+ )TQl:u] *Ek1G Ѫ&,lI/ &y%Di})/d(ϥtT -H^VP E+>TD{n]LqYqW,UEwg\R,ҝBήlZ%j,`dÓ Z9"G(4V\[G땲prjsocT,;D~. C+/bhIRCwi`%% 6% j C*3[&|2{* .(ޟ]E ̟?Z"02)ʒtcU 5V몊MMЩ( Os $T|:sۦه=tl6?/O˗H }ٓ;M)q1ҥv;Yڤ)^p֛TI@k"K#A?/G Z4*ئwS۲:WTGQ !7 5B;fmKnx0;JoZ5y + Kk!u1Q5eD͈ 9PF$Q//F83X5!ge5DSTSF*IF?߂wNdbH̽~W4w[kc Nl@W׈QYAz`䡎l)=#SNa Q+2KҺ­zpXвǥM0`.oܠ FW.wڢ8U_A6^s4;5*_ڱZNF_ZaKz'gAf\ߊԁS཭kٝq"ݿp@pnӝH8;" +n )˓p0)⩩6_|Mq(&6Vg_]nlP&(r]M9-|2ͬ a(6JkvgEӆK[cG Xs; SsQˁR]5r]v*$|"K7`r)6M8sw ?MqM@pER&[*BL$hL8vdŨ[۳pq*z*;z nsL48m&|'ӣȝ;y^rBJ HyѠ% q?8v\aenګoJ۴OM ]}F2HSÙ$VO/X"Xz7ٰey_҇909c܄K./8fKB&s==K( Lv.4%(Dgv,6M3=*(!PyC`iz^Ÿ9|J0xɦ*^w)Qw["׬,9݀|S7(ϼyNA|z.MP mD'Ŵ#wa]`ģ<&f˦$])sꟋ,h*C2 _j#z'hWwZMi;bp9p<^ -הּ5M5$ݟl~yi@VPGzjE]Qr"b:3EC. A'T$4J%9s])c,z{8C[|܄**zI郭'Lv}M1>c T修lNhvtAk(@^qw TA Sҁ/uVCUr7 Y5q {#Yyv? 9s8P!ƹ (ƶ˓33됞q0M6E>9a~xvMB͈5(`#3@TEmIJ7= }*}du4T[7RSkZD[FN$).cjdˁٕV sX6lF 0'{zIb*6-Y͢lHRa1EɑĿyȠEQR$<.mi /a;귐l$(N Ρ/xkW5x7S4fYeWaO qkD` `OxpNO?ybڎ_,Q0H|,>F[`ۉhvANRbfO<BU'<_,z 3F~,F0oGШ9מtp2K~qS=#Kc^kPjaѽUZxA_^ESNIq (oJ !,I'qL Vy&X`+D>.iU[<3xB?K \>y%*O 6ţ,U]>3(6:;?mMbfN/gV >]|@6+I$:/K Y>g[u#a8Ry ƬĎ7`n$_:e'!bHU1bLsipjvi-^tKϞq<=\%͟1p`S%3yP%]YMUGBro&>(sHlPE0'q&.= J1"%[Rxy,Z9$Z0H,K˭}kG^OX*9h]C֔L :7 v$ܣ0z5Pu_I[p  GR&PB3=t{=#S>%S|\6͏î#1A`-.@qqˎ!͊(L[*RPsdaAdѳ(*EgaeꗔL GߚniMgy;M+H],߳QHD|ZjT^]_rhBۉոIu:NN!<4 4<^ް\7o˜ ^V[NǮ C<9r A>OK o,RPy)>9qX:F?q,o6 'WU'T=Zh+SNbO% k 20Uz1{"axmXA  hB~PAꂊ} &Bx,<]'.fGp|T *4gA s^r@ǍZZNm**~8$bMGOAg3dhӃ|#ĥN//qW%;W=FML#7< 0aBrΚr k%Iڞ" R@Տ* jE=)h}Y:jR1?SJ<_Ҡ Wt/7P2:W"\moW\uz_AN8Gjo-;NK,].''zwŢ) c״LcM _^vr僝exD2:7_pk|';xz-n^2[Jl)Q܌CW|5mo6nDׇ;pM%DNf6*ٗތ:)͌0S~&ɍ Zsxa << {IG}{ C|r2e!"2iᵹNL!J:RlNAD4 jkMlzu!F9fU8EIۺ\CNBa5C{S>ZgYjU]_=qE*EaJP#;Ys]lGO?hgu#MFA %U-(;p3]EyX/𓬲mAg1DkCXfk~%w!Kbl`y1oEr7Wl)0tva(svGu}Wt-4Z E=7>AR?n Zp"+xH1ծ [^=wrHcR١T_8A j3zCtheB~~5#][YAO*{8=r? )~ &C h>?eռWHD0bt7Mk]6̹FkO ^{@%a^jy ug4*F\|նrb֕Vʏz,i\Pޟy!y@B]IrpSy]F[M9m5hA0=U &62IR'I~ЉaPhZH(-^<u Ra |%2͒ (兺4|p:PX@xEk{ۨDy9`@8n͇|*nn} 1b,gd@?!%]6*3#bb<-2=StQФlBJAGt(9: "iu.0p)rgYZ00373f1096635d47f99703056d4932b2c263cfc2 07288005b47a45c684a99fc2a9ef65cb0ab5644a 099379e03c73848cffd2ebcbb3dc99825b1fbed8 1150e2a28f4eb1fd6cac72c79f65460e7cb70e62 1265cfd725a7f4545a68bf17af11dbb36dbfa2b9 12f77c17f595eedb9c71fc37f436f86ff7647a6c 14c612156aed91f8e723f97d0d9caef66bb1cc1a 17d6ba1af215abfc9a7e0d72775e791f997784cc 1bc701f8eb6474e542db12a6b783a92904024b2b 219388f28f6366ed4cfd1113db2603bfcae76384 27c09e83c0adcd57e9417ab1126e36cdd96f0c8d 2aebe1099077b35e9e774b3e59a41196f81f29e2 34221437a109a5594ba7786476b5abb5979a2647 344ec78dcdbe4ebb7fc6e1845889a17f7ce3f03f 38e45b8@80bc5c08f0d0941e36764b2064a85e014 3937c9dd3a48aa911e30d16e6cda94d9e7ff9421 45f7fff17fbdbc853dc5f25944b0992e0363c5bc 4cee7a4a8ff3a6a412156b24cb39563781feeea5 5115babcf82b51329a1890394e7d219241d1cfc9 5117119a178eac69d137fb85243808da2d667eaf 5235ce6aab6def25d3666bf61341c40d04014e89 5bdb540d5d2df48575e3f652e12ed3f3c44ff99a 5f3249c9a2080df051ec979e03e69f7b6c37b568 61d13f390a9a8d1e31ba2f9695654fca769788ec 6cbe3000f7cef4e2cee4ee7c0908cdbd8a606497 72654f471bf8124e48bd6115516cd18655ca2033 82fce86746f9061205d625fb926c1da3b71e3bc1 8509601f43230645e69af81205b9dae4ebcefe25 859a0a8c3226ce4c9e95670976735845ca0b8d8a 88abe6a90bcbf4223515fa5d0bea9bd11681d328 89548541d85dbd39bc42c04ca2e2b06eab0af27c 8c3186780427ce1155750a6e7dadb77cfef8adf8 8cc47b744beb3fdddf2f517591082a7a94f3c23e 98e56112c94ef1e4b2b588c91ee96072cbda4b3d 99b7028eb5c82e14711845a2a2d7ec04a8bac2a7 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 a07055f2fb48bb9ed75b82681cd6701c235d6918 a0d7a666e1ef01cff26fe69e59978baa40c126ac a4107a7b0006b2808a6643c0816e1ea043f6d672 a438efea6288f9f4f15f7d643bb504a34d38c343 b27e8549c94575a704e4138ae768f609ece9a3ed b5070ec08ee2acd5d10039e298f5e5cd8284bc62 b9692c173c620ab74dcddab64d2d105e21b9f42b be0b3346a4d8e6784f2051620536f3169c392da8 c8a7676335b10fa1ed54f187767a3fb2fec547dd cc49f191a1330d1b26b2caf92f0c6cf8b98224cf ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d051334d5bce52e784fbaf69b41b2bcfa686d54e d590558ac27bd56791168a8179e1e46d592628cd df4a72d4c2ccdea476aa2a97ec6d075cba60850b e0516334a3db6388cee0f6435546b6c827bc9afb e06cb36c47e33f0e8b8f70518d19fba59a0e5177 e1ac094c02c964d96b21491572d4c29b41301a9b e3c438bd503158372dc2be23c689a43bfe275b03 e5da68d0133bcb57ad77edd85385ed2062b6cdd2 e8fa1069e98b103d20da55ca173f29b0a315d03c e98d989b0d56b347c6ee1a9d61645ae944ef72e3 e99c9d3ac85e924fbbd540240817aa6123a13bfd ea2803e6ad062cad8ab0bf6f40be7356c48a14ad f9ad8b0e4dc237bddb1a7187abcb79226fec1f90 fc8203de16c61c092238a1d5eb780b1e7d4d11d3878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457efe1683f77897f7d990d78bd609c1f466ab2bf8c