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 X%\|t ]/]HOL-Analysis:threads=6elapsed=269.852cpu=1203.440gc=79.244factor=4.467zXZִF! *=]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGWBw{$Ϗhl 96L/Gjc]S\%KQ@Z@֪_; 2'U7 v6SBZK: q~4ZgbˮJD'O^ c[+$)0{ŕ]xN2Oϣ:(X;g76Eoї #{PYL$r;o'l;Q-W~1}SuD]n\;=_)$gvMVk"Wwp 殞y#dNqX|C'sO( }vfcq#J_sC(K'Q1S^{*cRuMG ~i-OF $n؏8#~Ekkh\38EL!f:Kи-~3.QΫTWh괈s(.9)Hg̜/&sC[XDy @|Q`hdmjȭ=Q껣;7Bdakןj&ț-MdiGe'jE?_zvbh)c #p\]*Mwx)1hǽ3/WZOXbb[[/B3 T0$̮"Q7M=ˎXxPS-FjhbqƯ`q@bn)(Id^dijR]L>UkKaj%Д=6ĕ]hD\ wDݷ{Fx3сoՕ.~@ g>uV5v).y ɖG@{XtYfۀj&> OEۘ#q*Vrڤq@S9(pAyʓ G\%4֯K,n,G]A.3uƒ(n0 #p@af@U9C4*qj\B_spgoU;G2>y$.3`_٢ VZ ?ҨLIgm\;pr}D+Yh|]q->;0dtuDݛg*&y-,6ω.bMbX/5H+_tr\#i!m3͉LFK*fRY[_ө^E h^U{ `2MȬbx+hm0z!\  *bݭ+_mđrܕdJt]P'/&\Dğ}&m_ZW<3~u7-xDQC=YQ5 5_0|:vy`/H %.7P>q܇+AcH͍e :1s\q{[,0&zQL@$*&[CR4}ɡ6@NS71 ݘl % HOL-AnalysisynbJ߹.k+uHUnVMޭb6 S XLleArIҢϣ*I"ha޶Y!gfgrRnVS"˼ZFEA!1nQ2OJs%/]A„O.ýNl YD`^X&Qf _}Nkei2rO|jR}:;G'~Q XpH 8,A"/;~ cvlnfꦰe?Ce}VSpGD:"F@@ȰO Do@xl~, , ted$q}N=[ pVte%}#M[^{'ǡ'X9*]h5Ru.{Yl| Uuo6{'ciCҽr_t"̉RP 4w$N`|#kWfvkǍXM3yYF%2 rjwj\^<|`ECb$|cM(2ehtv`R͖Xn~Gcl2~R4Bʵ;2h6sXUq KMT݀7+5'\d$;,Kćj,,& (ohuˁ׍O:E u r ^GFݲ:x΀*FuZ+iTgц&7Dv^~~䭨?2ߨQUAԈ͗)ѢJ$&MOǿSk=U !#P_+ZKG>h f)܁c=ZF| $ wxhӽPkxh6awUVfm6~{?8k@_ǽmR6$Z?EO]6][ܗM{`I!j!CdyF,{ {o}YD6'c03bVH:r&&u旫{ .U&MF[IHX2j_Ƕ}ԪXFZ2t_Mcyg$ L8˳}?=LF.Q&mg.$1+IRle 2>ne,(CtW'VCGo" .o5niBvڊSP>7wS 9[Y~݃Zȣ*Gt0BOPr-7Q e VΪQeP!nQkQ{FP w'T18#&,nCAD'!FFRa1Ir+Yk`4ΚtZ5twċbj c]5Ѥj!Jwy.|;߬0K[2,h!#R0ߑgy^Zj_x>e ፒw >eۗgDx=:IWfmKc(e*N!,OPrHQfh,(:ÖMYncKXU3`_tT%g% `B#0b.uCYB4mھ,mb!_u$Sqqt3<ƆZ Ym=HUJ,-A|YTR͚fwi5AkVaF VɌǑh'7lA*.^>շqUد!&G\Aص?E(2o*lJ =9C탸^&Y} 4,]UjNZCȢo7T wa ,cj\k\g&<)=$KAkw\+g,F=lx!^N#p^DƣG@uq3`<. ѿGpd\^R8A:@N#!"m_J?YAq!VZG}̔5qrVC z=F'8,Ew4BU!j[U2(bO$S)f#W?lGٶuf"B=6ܑl z@\7t~#QC,ql%|C Hk3;Rttp ?n9gxo-hj]M<8 č|Cxqkd^qA!ł{' t^e@ :/Y8Mb(KIԺ+*JtXG.;Չ;&L\]*IZ͗&M7/jC~`Iڹ~g_9騧fq#PWn=˝e 6|8Lۣ҄;MR,⡅+!dM(6*ΕD5U':&bvZ|bUnғPlH;Մv" \3w(SNQل>].iH;+Z~2e/o&H@ ~@ hbr-Oi ,u5c\UzI.zЈLՐ*H7;ԍ`{߻/mESpIV򁛜@+YdGi)pbS-ٓneXnnp0:{vf[ܵxf[ A֮%S `w;3ѧ?-Ju]{>p|x➑&{%G&aF^*6pGW,3VƔ6Ɗ,ҹnq!7* *.Ĵ<\skdz|_#MMtMQNu}%dlMr6U}eDՁLR D჎ߚi w`놁w[ Zy}}-O3ؖ!}.otФkhK`BF 6ٺeyG֥jw{m}G o^~>`*|;+9W]8 ,ae5!?T~ xc+AA䴣ɭt$zln*},ػe4U˱dxcV,w0uHdqjۣr x2GkD󒌥W[o>\azk(K$Fs-}܊76SqeFU=#7OJ'0!|eVaĎFXrJ.{nQW)/8cA=z:.Э_幄}[k!(ZT`nWW:HVNr:DYv)N.mۻ}W:Sw#qj4 ,q .geih*:Y-3Rk`+}-P0x|.[FU~s yr8(OK Z2,[y4OeGj0(Y)ج~LiJ̧Ep6,FmTĐvB#z.ZWPQ$5CWbnNau!]!"+evR*8XV̵#۲0(PPR2y{Z`\o^RPYLM6zJ _dq0aDW0lFMt °=GJ=}o]э4u||ZrlU' eT}KςHk`-jvy?xsף b*^Q_?e1OnGxȐ-N4pImDzpLnH]Bg,io#d!@۶^?:.k+9DcPEﻼ`/SLJwmhSJy362=\mMzהrk ":/}BngEÉYOZ $-p滭x''K:)辰J0ɶ\rUGzp!-iP6E#xAYrgsύ}Xg~+УǾ'V&ӶTSTͿr|ΪG0"W+9&//@R tXIʩYŋ8Hd?IʇM>;5tHO H˚ͽĜ觊A&ꛣE՗^קIѥIvEMqA3*8G1Iݦ>2ݎ:[<ǺTr;{-+:BT!-B<}-kg$Wt>>CP۾{ '{"1jϩuD'ONBMq&ԗi˕Npz۠'R7+2۽,T8 CEc̙gJݽn;k)o4%(f6a*!= آo;_CUGe}y+Bs eu.;hy -`ȑ-Y2j$+Ily}Z9iԙ{4V bF{ujQ]r&a.&.S;IjElf\iM,c2A[ vÒ7tdsH+yfr=hh No)@%?$ZmKqfrz"Ќ$$T*D Hk phZLT]V*\{ W8SɳG%J\XMD1g5 7Xgʠp88o8SOx;Y%\)wq H|_\_h;Rq(}Uq O\;y6Hyh$~Et ?OmGZ[ǂ1!yGQØ^ 9߾XQBv,VmIgR%&%9|; yY˔[-w!xr[v:6S+B[{ PK/ zIkR _S{i}Ձnpp|A=bf}Ԗk_"UYh~f~=&-j9P:E5ͺ7D]M+Ir+>oe=谎) ӂPڏFꎀ)vD'"z4L- 4;wWjs &d#7IW %{ g wNDdרazxX#U 8=ד(8QK Ju8 NL cN@$;dxĮztvP)F|\zl|uŖgKvUԵ47C,\r2 zVDon:?{Z=ʺ?t*&:d0GUxqD!>S/aA œ ! ǜ(&4d F/~ W/XA衪æAF|w)i,[xBzQ=nٛjkp h8})| lB gZX.ac?w6s4$ZUbBܫ#G/WC䙞jfAZ/h0qtpM"\ȗ}f̼zBij)<={$~KmmQroԒ{C: ag)H$h=W{/"Q!r9!@$[z"|5챖jY!׽~#[+HjW }lGdn;!j{5&AWog );0$zxkleXƿ+?>͡ap6K\ɷ-Q,6Ⱦ њdDŽj9^4_҈2g踔6R_۰}RlڵM΂)Ơ8<9}Saa f09r3*„5͵뎂2d^kI ښ4~`у6:z5rxIU}atR*#ĢOn7ƋSC-$avd iSam 28Tʷ]m}3&Hn 䜫ln.x N SߺnZÍxIQIڳ8QN<N!T^[O4C#kw5 SqCi P)f*v1dJ|4ON'f<쓱+ji a4 ؍]mERG1$X7LwGK:5O 5$_1':"bzhCM U V|/K꿈m;X3)_Za)d,oe6|dwKu+1j?\cKӌH "E5L[.Yj}^yyxy 9Sǁq !vP]C+VmQ–')eq;r ͑Ed7K'jR$Px4KpKucpN2>맞|L%3 W:[ $(Hٝ@%BЦ?σ>E2cqvFt,kʱǍL *dXn kxz + :,<$u-fPQ %$P/!qs0:̜#aQ\ϯSo:e6/ќcܮn1ۻuֶqģsvPTHî@4yXsY㯙 *5ĝݲPKpY̗܁cqXvPx2R1#tb5Q#S$[zpyZ~[Z_sRvU}Х PL=#BWA/Nћo?(M[<Ek SGN-}wUF] 8Q;j@ԝ~rA<ؓHυ'A(3=bE{J}f~j3[% 2ېN^xY9-vJu Tk0#=1m7|}rkAnG[,O [_cY&qw~ ) v[FN=$(T~ʖ"\`UCdTBU1ZYz^P#vnUv'OJmp 6>!Q\Kp[m'@U%BQ\ByNlw~=?a I[^ )S{G&?_Pms _\rmZǖSj^3F(0Nrnh#U3O2\+[j$E0 v <[g^Zm6COȼ4 Z4:[f:db$C^Vi_.Pg.h=n{{Zp䊨Ѵf/4J$ 7NvS6 U}T%%솅3u>E{椦d?fF; o| >Uu H(za]i_ N4:_'IS| Q(y+{L|ufe*ɜ0Y%ӝ'.쒝W=To=w^v 0 !qܠDIڂ<]T|;XF?b<\:4Ӯ-8%\#plؖ :]<*e/63NV#ȔReO 惋+w2~'ğu?iq@ 2/H=*>! ӣ#6Ki=*cD0!aMCkzÜNWdކCoyO-W_`EH& /]ixt[Z+uvo̎Q5#!wTpC.42}үK~~kwClTeVluWӻ٣9K Z8u2,oZ90w,BsHjqZOk}~} XxV;fD2uԗ`%ݣӥ'}B4@JdЅm<}&|ǵ8P8iLvMxh ?$K𯴤Q?dj'I$5Lï3Q)A3׵6fjh}6Ik c;h.wZ;KT c)%I` kAUC,PMw݀ǁ{^RjGiTdܷf 3Vxd/2e$rXVo_Nm)(BֱDxP~pa~V m7~ }cӮ'fRy ~Gk4t 6*2 /sEA]tT Y= [|3Bc4q{ojǟ73z6ox01B`/,zOQYCVK2s# ?ނig~w ǒ9) 5IXp;'&@K`fܽ=YH?6ZUqctdG7q D3Y0ϯ&mD?%aniAMlhGϒ];p!;q2ǔu AZ6RI, :~'WbJ,9dGb]inƁpO)˒Mq]EcR8&. Fp4 r<wP;Oh-T|eؖkjx^ fXnhBk ?wԲ#H! 9J#g7}bD8 IDt!i/$΍GpJ 5KڅU el TZٺPxR' '/6& 3"܋|CcT r*1E#(N}Ո[*X@S$Xam3Ɨv' ]PۥB숡>hq9jPGҙro 5*"*g?Ik>]zIqhэXYJj٘X)د}۶\i{4l6~$!ǁEMVw\cݎ5-rfÕp%xfp bF^ T{X6NTc"]v6~hV ei9+QYZȇj@zNyy%}DK^ 8I?-V(BT2 1q <QU΅eT6ƪS\Cp5_YfeYیmO5%22m<jv!@F+Dʋ8h7*{Qٰ(f~hRl9 l(8k j(tRxuǶl֖':g6}P6֒P6xgE0xxAÓ M '4Y֓wIu^B6)tt { (gYZ7zXZִF! w]ŗXiɟ1˦r!cHkMeBd4C\1`#Fn19_ JsF\</_-u?zLΔwuUz-k۔[ڞˮ"e旛_$;$ %7n,,JͰnؿf~HWf` :G*si`^LFS ^C N$7~vPsD+sx0J5ꃌ<2BqB[̚2c-'F꿈M0t~^@¡qP] 7BtwvL&ex+KԖ>DQ!Jo <Uܭ]nJ2gs0zbfzɫLrVhLI$2c*cI[X.V241~ѵyAX@F݃ՏVwgqzI)3r.;u͌GѹV÷3w!=xU ZfI /M[l0Դ P R#/QUj:.*R՜I0HA=Ү" 9GUEV=ѠcYoӀEWPZݳ"ҕ}5V4lhSy,0L}VLm]4mb."Lh\6r $,x鸴m`o_~)6u?Gd9u1R>XaCu 28)r7$ ^vzy;E$NE;ycBE8筍Q%) t!nP.wI#X'dELk֮iK+BXw!l>/X+`3鄎%7+e-, =u\ (\?ս \]T|5p"k쁌D9GB$9HJ +9` u>eU[ mB?eL^X'mt_QꯝL-q–8LX mb:'~g%o (On R~˦(I]&BBI=n)Z]=0짭Ng/ ފ_5aQHBqFt_Lp n+[喂:qx7ˆ-v~36p#= I6?yBDLsWs+hqj^|%e!?G!*:؀ 9T`mz ޵.2Xd2PӞm"CG|dp Rs"Q>_-`eO^˼t{l}"o+*"Y 7 :_Wm56UT cаĬv*uC2L@?)"J|\mOjv"fP(&XpVX\_[|0Y-r"MLǝBIGfZOd,6%b .Ǒ-l⢁94X7 t! "ÉLl]֭P5RӢgwR&?\oEeE;%ȬCuCM~?Pqu|"Q Rb7Vp$%ݵ ` ֻiOWNHdtG艀07uͣA"󻡏[ af(Yۋ }{z\?EfC7]j;.* 8:3GZGR9}mY[#Xb 3?*:㸋elI|F:*)#z*kF惔r2U6ƃtR':J]0DFkUd]nn;cF&{$2فk2wGĔE;V.1+n¢GVpX94dDDxuhC55m.eDbzɭE_rK"*=Jk 16·R~n(ZdzܲzC3=U[YcTqB B?#vA@ItD5x 3تr.^͖ Jy h.f^'N6U04Q]׃VZnUL A:R^ɡ^= I}gԮYJFd8n=9բ.ەHyN"{3{;\jC?3-L!#( Yy]pHt, t֫iR~hR}'劰s,EU]V-" ^F7C|!TdBy;ImmC.ię-h=%j Mj~ҷNJ$`{Cߛ[spɍzqn::h0,.5l7[חh1Ad F=#;^H:*OɑyH;׋! 5XXEud?Jk=Ƣǽ/*VQԗNEb9n=}P|r)QH9~gz6` ׫a V>$޺}q y2摂k{3r곜@q|ep M0G >U**DgvN͕!h`ЩycE8yL;Uf y^]emxL/R4DVW9[tuKU }(Vsf'[XI)IBx7~eS߿*&x@@~(ܧ"\~Bس(cwB3*o"N=Qe* 2|rf j6!˫ rDŽq-|U.԰Ήv:2R gӎ$.syښ?54To 3(wߡȹ~8o)3ٽԹ+L\Frxm~WI5(s0)!ԕf&© fBP SCLǔV P-QcH Q)iM ]/P'X3,.mX pָn3&1 !MumJ.6+ Wڻ&9?}vyDLПdH-8Vd uqABiDz QN6,nxZwiŅ~n`&`P+.;%G* tOMG3;U_Z!ҘPYĂ16& gL`w8"_-py `do)Ř%<{C!m3U|" (z1Ve[km"XC 3>FVsKc~R?Xޤx_8d4A0 #|(m4Ϥ>W{Vf:+E0^K*^g/x=KZV<Fa٥Yǰq_qM S\# ŖmťW G fsw|abPõjk꟢: DkUm{h1"ϗBoV"FC}1V ʈUW|:?(J$>e*ҙu)ƩE計wMEV|:Vܐ\-%r׍A" ОKmEut Nm*Ʀloe+3o=&GqgC6LGARJm\Yz jcb&{lGaHzg'b!f;1;yC+.6 !"=3v1G|ĩ? [bpx./ꬨES0M JTyyԻWik?k,.Mֻ򷝄XZS`u;W?دjtX? ,)#u'"dN^Xdgxu 8% %q 9RP;ݘiT|7D*BfY%s0զr;q~m:xdfWMT5)qr\ Ef@0Ѧ&6PN~+CT;v{a7&r9R b)Bj0jUK@aI'9FfmtLOJ[ZK;ݭRȦ;aWƵ}d\{JmLjU#MEuu]BY(FUYJid׉xa6c]?:yR0X.P3tI@-M&!INx_ ;v^V9 o_9#Q?&bmdJr9ǒT4*fX/^MB&J NU$Vݝq z3 ~:9Xq(C -N &5%QVZr(sZbydu彁tzZ#s$z C_6wȝEuYvZ}%GE|C317XD( >GvUkj!t;7OtD4ټ|l܂G(tA[Z/ͱP8oTht_ci4nmlW.-zfD.݄8R~@!Jw3~ԉZw.~J:X[kh"uufOܟCfl Zf^ 6Hn+8 qaA{اTv"bz_ǔY龗FfCBfa_f9OE O1U'h)6'1@(~ N&50^h2k6|b}AH0ުKDsST5x.{5\20kb6\0e;ۉ֬ ܐ ZJkάWzg3SomDܦ`eEM]Tկ>UT[09TiQl~&NVxڏǕ'3 מ}쟳3&oyЃrzldpsyeފI&b~}+W #ov ,Y48?AIzlES]!yg[Etmd$jӑEsKFW \l"ixm>ld T]#=: MW qcwZF~7#K|J= 8.z-&:R&϶Ѷ&kvQf;i\;E-]k"GW C=(YD/U)QPvqGDjߔ1۷)IAr q"aNjV-BPnG,dVl>V*2悆["qȰCJ_ݔZ 5;эAtYvN \:YOr+ExޡGm)N f;jhj`eO S[siBY]FHVվV:l;m7OaHԅ>Ka]|Xe\ncb 3oҔ#uHcDϢCb ֑t㜊Hv[dܐqV.e#Ϫ(F|P=cL,m>$fgb.=l2 t RD2:P-dg}9 1vc1Ծ=b~S.BkU {&`+d똼4 |=b@?F$,#w L zY䥴%zqc16>0mBl]w()Vq/|̖zBgX6ݏUsOLgbnYGײ#2zF:l^=tk2huZ xLyC+GSN/owcSۜ,ߔ,eZ$O P&|ЕF"LD>m1 )–݄(LA~ta/~, hAS7,KGݧN/|3bK"~jā:gq}8<7w2Fۻb@i<[a n`sMOaҺ;@x26C|"m/_OgV!iHTV@>@H1nNƲw-XY 2,]h`̨KbSRPxduk0=\ M^|]ImA猎sLf<\LM Yr atUfp$_U^ԳwxEr`PlT]Zx"CST1A;PfY^X Ӱ/ "픕6Ƽ,vdkq\jEye x!Jt_*(D-f^8VuCPvcYM7fͶkldw\J#oX$yjAK.zÞ:+m/lYmiq0+@=ka3ć*6!ejCL|#f-aIZD < bgGm)&1.щP o!hc 0R"a!2"uVr:o+* [MFΔp~EfcmAt OJ2:? B )V}4"/# *!{G6O\b/.6 :3u,f(ߗZ4:a"zkޘp>'S@N.1 _*v&2]Kau2Y s+lx#:fxâ ka%&,?ۄxŒaɋUnP eȉ: L$5vz.:d u9/l_Yv.8$<.Y2-I/|/}YCu'!_K$=)IQ  s}W,ۏНtLmNGA8F,CrGǾˌ eO.ztyʢmBG?Td]^-ԩͰ%Hb:;H#hG<77&6i _0?pY 4HMy\8|L?ERSβ71fR΄aqu~<2͙U VN;-]Oٸf(n^fvBɯ:aJd䀢v"aD6$> }]03EG ?cܑaP6FMlPE)-/^2s{3$2Am\>e**zoc˯PtrL@h&cS9 rLvuU/AT % `7͛^N^w(b39 vFQ EhIgU&֋6JgE`ǔR9o(X.PqXb3Zn(z]O \]*H[f"<('V'°M D}Dpע2;@ݮO ?- &rI+ANhB+ }*,OݤARKdەFI#TI.$1`aXHT /&<(ºg> . Mnx[ z `#F8͜Z=%:?v(YHwZ c!gcNE /* >~{_b&]N~#BQDnϹ4 5 5:+?GqWO*Vvܺ䰁&Gq92ppxy`C!=yJ Vt} #aiAVqi~ En$Ie젟 MZ=H; *h]X7O\u=ǷزYMl}<̮FS)ݾ_M6/-zD"YV#&7iSdB6`d(\'Yץ˘{`C^tjΝZ!HOYi榌䄍N/%%#(r߹us%t62 aCRmcf!QТ@!6=8k@O`tB:4J?>1jcЮgp_"|)sbЋ'OP*`9+"ٯlko B;$7%>~%1~wo8,0-+Q1RՉ\VvYƏ ="bj=@:f,_gjGCӤTP 20t@ClaF!S;|~WF-k+jfȢh%X@_oz?U湜$KeWt3O74Q#Z<%g+@D+5r= jzn_,*lɉo4^ˣe>ozdlaBf򍻮Xs@%C _Ci`&~ie\1&]e{D-G,[R3^IUϭ`tLK GSo6N3=7`93_Ԣ. ]HuF]?iG &Ԗ_!n+㩼Xyvqo|ٙ/:E Sl$ !<+qh%{ٯ{GQ- uy"-KJ.{ģ) q܃DtPf8pIĿ-|2&P, K@WZ}EDDfGƣd3|r9P"ȫq Su@}Z-J|3X2xԸ.7֨g+Ԕ yr߱#yy< q5Zy.8vhD,GE[ف"V`NO0sd8ٷ^TH$8aXz;0R؏&4st >?ߏl_DXrYEF+.9u8uFAX@RK } e&>ӻ&wC> 3sn{&$ 7 'c%]XZQ7Lwbl<@De`7EVʣ4o2P4;]f 65#c@gAʌ_#&J,Z.ox*1ZC33Τk{6T}4;C?XPumH LNfKma: 9Dye̜6_q7ٽ^0M0E%l/RD0/-3r N?ݖpNa6kHne/YUSN+4 r(dnJ LKnEQ5`4f<`e=$0[@ tP,$ Y`[ɘX^F\R0{~9bnE.tEgoFʲAw)(}+CKOqTN6{3JJѠTټ.hõP@ e/ 5i~DovVAt?Qφ@53;2WViC  Bd!DR4Lea Y @XV}4&;~]$l H{BD/gSpQ`P yI'Y ;^?&ȊSxKmhqVC}Й9JTbr#8YQ3, )/+rBGܯӳ6RAw: .uj4]I4[V&X"6Ccc u@},*y'R0ҕ+Gxnd\VɒRM|OT&ILA.H%nPc<'A (@w$zTq\ɭUSS&<2[ԯA `>}YY= K Kx0HUk`2XRyCDȶi7ioѣhT[]v(mAlԨAg\x,,VA >Q@8} 5]zul]t[8 :$~%;vPkD/9'aٚ g9v?["%9z\Bԁm;_3 ◴\eOE(+8 F!|WE56_gCH;"I K7` Jdad3M u\n.1NgH.9)-ݙٳ2~ϼK5 z(N7O!YS ѹO2&6 {_W@O)/asdY5B1_q!.BIt%bͱIвBnXϜ5mgG}l6p~m<ke)#u8X+~ s*|fQG5 BgJ8 _c7V#55x;($lHu+;|ezbTE ^`@_Ǣ}OE_u FtZ5Ml?m#2LvI+5:Ӝ.)^ߦ1 )8uƻGuΙD7 ԗ7s\40]_!cU#YC);׊bC)bU_ P[.)M -[\N1q^*fn=| r^j9irߌۡvDt9nVޜ8|mV+J)_ٮ#0 ot<~Ts+X|G<ֻ%B'[d.1<@G]~ }qP{0 L͘-MxvxTTk PRD9]S=mn*guLF6i5߂k|m&gl~PYK@Th)G?Lr*?ۻsu ƌ\bʘQP)Ę2sȃCw$tSuF$ZI|/2/Co"%CYsVYG1.4_lt;ݩ6aʩUK %?G< [0mM ETR0tke.r"gUPZ ?L4sI89XF7vwyMk†H=aWȲ֖;UԗU/4 e]?sS`FtPqv`acU#>a7q4Y&+%)y -,cPIoDV/VxV M AFjd˥ռ.Vg`W+MQ!x[ gO8fbԺs> WNU٩5Z'ᑭk X[X#ϲư 9>E6ư4+n t7,Av ȹ=j3>)!JC^~;k5Zz7PoE~emgG:VYUՄW ,qHYLI?Q14#Pe sm|' E&l[JV\R x-]}x*7ը%%!!oԣ3_i_l* QvCU@Rxݷ_/`?^@w&N3X6[$V?e/C+#uwFYݠ$Lsxtԅ$n(BJ_ʩwnoR>\em:uޯEp,,5Rs@]}a8;Z <;W:wi {,u*mmF,q[(IWe$ J WH׺r5"fJF牂x я>g]-Gl#dV<:3[?>:c+O2Qf;="ck}Pv$,ZUQK`em@E(U#F3C5*ua8bMs~5 nTofdirr>gl a\{w;9Do㯝:BF2N"<{V$vzzF kAtw| { dw !MrvHt(A>_WԖ7p::y7֐Sn0ÑXb6cc cóG=IӶ$܈\j]䨴LL9QM$(ષ։_7{10XL 0T;SG.m.*I/`SVUӬp*uR!R8̔( wWT}gn6_?PfE%FMI'NY<-T1` dkw12ץUA )s[@M.S0x  lyWvd$;NtYnz vQT6DgeYap4f'{Yw[wumR(B&yzQ0]*F7xcbz+Í9͋njo e|a#}ʪۓ\l7L4l $gE ,]lhSрQL'Gyu{Z1ZETYbY9**Ǩ7-c!_rU?^ kx@΋t3SBT((E̽ +<^]l|sSUuda]E$|UmScۮ}a(69tjISBcX)|EzږJKסfxP{L>>c$4E1$%b5'D9Ztftꖮ丣;$4&l##W,nSx$)0rJ߉'&~}4>&=e[]Z-IeD%Lt*B!ItNS 2gtB6Ej=|6htќKȂPT:_^[!k߸v(#$sjwސeA%%pH"O(VDиjF߀EǠW$+F-vާ=xB.uS4>' ;#9.\+e(׷Ŝ^d$gն)eJlpJ:9@{C/Bhx(sdʡ{G2[tȸh {xҪ_DY&5 naF?WL }wJfsYū?9 Ԭ;5%Jz ]Pe2íFf^[LD'WO? . ǫN;9o#QtF`欯T),;F5lo?hHSEj-HjIuxf?Zs>W Z&!r)^޼\8Oolor/o=fa]3K0+#5 iKVXt&)/ јYOZ.X' >N Y/tl˫ΐ&PFk.9jOq C[BȤTs^pH&D4[`: t8F@.Y˸_lr=j Є8+!]򨿇;'82u~ 0l{j'R+I2 C?}!;0Nt6wuu<]װX˰RNRzbf?ܝܐ%@״ Ywf)a;PdѫҙU‚;CŦXafgunzo53+N@*;A&Eh@nT"1#V2d*kGlvۮI jH̱hd~eAn,>DA?]XSׁ~q6Vˆ>ynShMotr2;5_]+l'S%?/^'rJAU~BKxjK=qgbGX@0ԯ1GMJ;<%e*F@k<WIBC@FSYsͬX_h>}I\T_^L`pg~ ]h@'nXhXmxZVx4$ކ&ܬĪlt!n[y.J3-ży6wALXssT̖{$hqK0#m/ TVb=e-#n،[$԰B?}fB,`F?C5)~]oU%6bAIw'CGWϒzòz٣YT'J+2YWu#t:J*#sjV̗iX]bi[.l4uѮRlk3(3Us񛻘-+dhR'Mi)Ĥh믵 6.FIzsR0c6"zvvW6jxG@A]hECMckݻTT.C'Re'9D&/qǼ,i0O#8\ ʨHbD|cRe%M,2[*AFB-HSN$ cj]w^bMkqǥpˡloW?fBD05ً&`^݅r;˩!7nnիQ%()Ox&`Ɩlh239qudeKA*rj -Car`K%K5wKXʽ87:~9K6g@",Zt{E?8A=H5;iAb&f<Хȇ'rX ]6]??f oD⠀ϺЍ: ONi&'drū4+*}zcoVKjFKf%d֎:+ې*8j B,;M47t3x.01N `=K*g=[-8EAEfO1Q5LN/km aǂڧv!֝e!\$a򽨸o4Xo+kp\fTwW%BL;QNoKR\CӸ-d6y=H P똎 !=<ꚍ(Wn\54TdO2 B]ķj#rY)+W >>#umDi<8DSt \gHوӣs8D'mۉઈXd<4 w6Ti@uoq“wYw(.4C30DZd H0$##?˃k)4.aN8-HFר0%(.``{R{aΥeJMSfre., ֫jS