SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  4!,Dl ]]]HOL-Proofs:threads=6elapsed=599.683cpu=1468.080gc=269.904factor=2.457zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbXbSY$Ac zJ)K \aAtf6E^lG\&s2J vok7r ctj:o`6a\$X:&7KdLA(-Gao2aZE:HGOKYm hM^r Fo0-ī.olՊ)$9q愽ߏLR\/&C oz~087몓4r3V$YS0kvs3~giiuQXKh;7ɣ#s.왛]3av,)" O#zdպ,_ i'Ѹu5_0.Ua/Kp@;$8 o_ep\^7ŽXf'fɮz8*JmG" UW`/f && e(!hC'&&>eD#1B赱R] |5P!>};~UWkY$p&qաP8yntr>RDQS%!?Ƨ`[~?KC/#+BkЈ22Uh>Nx"Z1~ %0JO!}G(7" ,i;*zPoz:Bʤ6)FMІç~dꞸ֙gTB+IQh) km?3ZId pc-*qCkjNO# @տ-pPZ;NڲM|tpO/rs/K1ZKupDO#J_a_v[f5s7:CV[ C ELcp2I+:-vT.WdAmh?~2wdms0zXwj סXpx/; `َ 6NOɊ2C_7ce6]!H@ PΑ\xPvthBفOy<]ElCyLΈ"pncdݵnY¦`Ӑ$ZgN}y蚇Ƙg\8->NWh%"n; <isR8Y%HzS-mo^O JPw =6$ Gw^oO4x^ӫ0C@Nc73޾L\L~sӊU [%mq`TMd),ퟍ9Nk;[Uej_7ې9Ģ1d݇{Ul|},~ML_"߻y@sؘ5ƗD^r4:=*AaG: pߥ4k˅C;!+`A-Ga[6fp8՗x M[&2!12(RP l;%?ku̫>b \,c\oZy( 7O:ڝ*ҿ +(sHٍ\ϙpBPwf*?s%@ ^gȽ/B GJ( bƹYLt/+D$q'k92"ȽjfQhK{L9~#| 0Ď~*7w<]1g inp@cq?J.u3)W/R0I@.S8MAntQ֤ $94I՝ݥ eMhZ]$Ӱ-/֕VAZpCc3ө.VP)BpL+U@D<?KCkj3vk %Ъx ?a(s|Ddh7[D=-35]uid.p0 EYL/^ 'cq@3j ;,5R wo1Wy.Qhӕؖ%>W?l8v+UN/w(/Ēb gWX'"*Xml0k4 V*Ws캰ui&/ *BbáyCd5LBw>虺 rW eia7~ +KtAifJTI LXR;9K1hgTzAB`G.9(EnTCaB`7@ 8dgZӼ_7TB=YVLX¢}MdoF8,V^dӿu;)ΘZQ*Nħ1^~TCni&EW&}w|kVӸls| P~̲bT}ihK?pJ^q̝vE+S'bYB$ӢIu'X,Z7/Dax+PH~to8bb< lm$G[B!~!M(.{3 knv)UT+ e:-Qlޫ[og?aƥ=;7 [-r/ySmL AyͰHFJJ"Z%mgߚn^k/i.w ,TB=#g,V^n[݋s YWFh@%_ Z#"<%$-^XzzZT.G6KXn[cV?=<(Qbs)"1POSY9q[m$1gp\="$4=k-Q5>{ae+=Յ fTh)rd. Dז!H!x TUKw|Y]+=1BSȱ?ԺYZE 2`v tԟ!햌YYtѩ@W][ f7 0 N2Q!%Q;!M*p(e\g<,2r:Dk. n+u\Ӏ[`i6A]Ϣ@#]p\<‹OvO1O M ;$0c1{oDKU 5(#"|6:)_36>?x !f(hp~EZs`L^e%kA*>=тo-*!Q';kC_@G52\@iSVA>YL>ϊ' o`\^UTƺX>o(NR OO<&2E;{}]a\\HI;e_L:Г8xe%Yw sCe"R]T|]RSmp s4Q\z Ue.>- DKv5 4 X[ͤLA`']iV`YPxBޞnO} $#kJN^~GT'.s+QAϱmڸHTR.ERwAlG ٌRSa#S/I. ֽv8yXOm wIrq~=n^AJF@}'**x-VuIN(V<[r% W|whf4 &;X#O?݁*P  *`X)jPO{a܋.$’A_z4@QX detUޫ eA2 %o*;g}=OV#vu49[E(E TK@&*3Gs.owVHY\[F]!F` KzM ž}Ιpwy9$Ux-,ǽ&/PϺ |'Z &p(]l2c䎂yɠJKQ9ioLBoHQ6%X /DMmlܼAYh94G'mcXn \KȜ(G*3DZ70<<iۜ&pt%vzĄ-~[kCQns3cY0Ef40땰JaLHK&RY"nz¼nCٯLcQ8ZM牲sC9[ܲ-TFJxeaon6^3>q-_;c1=Z4YV` n,͓.\^,Ǫdy*dPiĚSBYDP:%݉0X0t|iԇ5bfa.Ac*) W[k;wl-;"'SAlYavK&6wU& #urE}k(0[Ʈٞ& Pd"{<}" ~#+wA/e&׫X}$UZY k!b$֎1df{  Xښ7{dNq|G#!$y}KY":D4sQN=f`n.0= Ѐmb >AiEM!!B0?3Ki.(U{.L׎hM:rbDOw I6ۊ}\bc{d7X=1.tI̊+@C[p!Hbhu#zp(얄Z\Tz_'Ð&ܘbQ4*s)} ŜU 7sIYmǾЧ(߻ Gt墕.JQ+n&![,1k(AтheC'5fw$6hz(X)Ͻd~JЊձ\Kc-;}5j!QhQRl0t*sC#~\:qf"{|vNas0Z^ԋdC>5IHFUM3 N%rQrज़JG'񸧌#Q8]\FγK&Wi.XoO.f Fj048{ӂvrMSڹO%囗ec-R4o8r I%-LdבWW4hG6/GN0K3iO7 [:O{]/l#}2ZmK\_,oHv>5e+ K?]-9~X({XscXf C񁈂t۽J+6CaS:jR#vw҉XvPTR[ !w7-[Лo~:=Ɲ0Cr5YkAnՒ(%?k_}m&-)P^rCrflv=nPjzKx$MQ Hzޣ/ 'YoT|ڤ;\~stq[e9GFxW,:Ig,++/cxS!ۄȶZkiZbA3'(IejYQŜfIY~+Y´R+oLlG)K])ށ}0c!tB0Ll1 IiO&R(Ƹ1"YT^v-- r&W!:B`RVls{[,֊lnLgL<h6=E"PF\ jJp+"ʾfdq9E܆&~ (W9l5 2 JgYZ7zXZִF! u]ŗXi%>wĪ__FIf[mԇE}>HRܵ+q5vSh7^0;+w5g E:-"MnHMa RڮaiT#42 ')eKEAN0PbwSBgycYF *T0ԷCgs~Rz6ՌRҺG-$EENۄe ^h,U^@4H}Ь DëULǰoEr+*RG7EHcXeBO[p* w78E)OW|' %$8]xu &pݷ:X?C}rPؖyAUz@ʚI}0Z{N4xR; $.Wpq 5bF)Ys8m;Z {$ TL^@F/9}v@ Ef`#/~աdXȼg,-jٜNQ$=f..s3A/m;AI|K˺]'ĸ=іm(;9Ob`"o|v̤fR:HT1;᳦wЩל~$7M_џ4%i(YrPҩX<0U];uP\oYҩ'4hxcn؏Y̳RXsLBx,#X{FlaԮ9$&+fKxCVGqMfWz0}E5q֡x%)3f`f}.0l<&>_w!q< d6%p~f Lvt 8"cHH]"ONciZr$V!<.8Qm'A'4$I^{{-J9M<9{ ܬr\(F͊E&eecd6KXGg _2jsbHWnjjq9g%6Û%~~cW?,`>5Ϧ@)(]N~)0 (8qvR~wT/KӰZ %xkBpXD(0lVM!d E!c4W0U!6g} M,wm/`v;^$&鄕ښ].6|5h!Tab3#;඀f$+M#*(*󍇊Q|ZGG^ܡ2-69Mzoڲ̧[%;Rާs3>[yD+ f1HKL`d ~6RJ ×$R Mwn<&x!e8f/IZj# I B*"0nkǑCHknMI,EzLDN.ƭ:edJD]L‰L>jEl3C^S+m'4qYdžԱ{[t}ryNhɃĎV 67W*%Re7Y'Ѹ\|Y z ]iC v9mH"g1ޢ.. +SA0ejcF$p6,NC1*˂k-X y6uS+j 3k%ه ,ʑUɆ80s#D}H]NIs919#Fvi+ #NDߚb~Y%(giѼl5yG{yn7k U2 Y薎nzUFme Kf{\]!a?uEk(:JZ>7LWq`~ٺI"?4!M&+JU|=S2!k f9!`˫(t[Xbt[g0E z7LDYç t-8ʥ0e-ZrB}Vc3PQ=|'U6=Ū||t;J?{}0?6CިSŊSdC)㦐_tY;֏FO7^ wExD䆺CvnjX .vw+Į@V\X|X-ftAԗ 3دcUVeY}ؖQfݫ2 ȀlpUvv¨S0ẘ SUjsb2 %bN"{ TnNwT7lV~wx].@q{lTud :۵4k0,j-O œN3 /)o3-Տ.KS+a2ufV+X5JN|W1vp7{(oi[e{t8zAaݯ{9'9}jAe L(#Cs&s\^?j,Vi5AA^=6f y ?޴^ӭ܊({Z|hopA`UVl}㡤#kJ6D' G ,hN%im*{"=hQJ,ƒ=,(Uv&XcFl9̥ZD|8]UWՇ MD@)Q@l;$ڃϟwy0Z;vأ^Yi=͟)3xA9rquuU^lf2%D&P`TY;奱XלII3T2)Mpĝ7N|:G-ۡIBk?_mw$hrM9EV=pF\vwZJx]4X'bhb;ȆߞBVP8q OS83m) c>b̙Ŭ)n4 `{h@#HanndM"̿hN)Q#HxC\jaEö🤅}] ?L#2hX/~ڞz[i(m"@  hR~'H݂ErKK_kz*|+F36n6a|xpq-R`1uvRr)! )t|N(HUgY>QY2U2?L]vD2W(ȄIS*HXY2[e y݋Aq GI Ujz<m*$ӭA4ZUJ6OKs +MzWlx3ȐcCN!h>}I̎Y̫`>FQ$v[fyB rw"4'qۊ)l` _qr$.a4@W0cYoJE.Y3A$ E 1=UfH8sBipG20&2dP$.Jiao(LXu@yRMl+q#?ˍC'oE-yMb^QöTeȲ ޳R(H\yc.sES85$l!ΨAвyDBk勪%6nYTcŽ#-^lt ,Q9 _N>Ձ{u7sPuW|po1[ۦ꫃y?_qSYqR #N_ZDk}WbO |zAA|P󬂞b^:wX &hhTibÄ?$T ⰿFP|_utWv #f+jX]<uJ? u^֤viƒPeŸDPp 2^A΁n_\`cruu/2uG%iI#b2a.Owu?{2+rYct8Eg1i.ᕊ52 kwfLa`XG>k&RVMqm/kBHj;s S .L;E}p/ cXʇ5l YX+wqYғEQЌ9VK TڌeYU5a.c&Ͽ ìqSdc %kvK|L+ڽrapTN-}!O~NC.e=D7 Jx$pøiV3%>2u,% '9VSʣ \6h1 5sMLfU!)9zŸT-ͥk͍ET `'Z͂ſg&π7o/BƷeRx虃 bF'Pܒ&^R_ y\-^uX<XVeKYڂR5Uu~*z+~ԳƈQy2ߛ~4ka[[NRO,9C@KNL cdXSrv3!FWm;V) /a=~X6*Վ/│˽oԣRr=qe~ʦ!;֝V_{/ؙrKFm6H݆PkIN78ӳZED)>,vM"HH_gџ50%\8 WF|_cO1Z #5!]cW?;̬ڬqp)9\b* qlvBb/gy`4ӂ9X#47]6=D#R0k }Сfz~]oF\O(+ .P[jH'(OEmv Ź%$AT{Ɓ?=n׼Jf2&_4U|^!tE(b ֦oOUVr^7,U[ KT$ UIWg5rUy_ČрyE BG5`0VX)G$K6SR?; 9(iSJri0Kw݂nVm 'AkخW9Q/T'3~j2[殱t@7>`ӿcy? I[{O.рn~{a"c1yc/zd7mj#+Qn-*~WM_d-So4,q}mٱϒ-AHr! nͽU<ԁ 1ZB1wg}XI+ME5˴wya $Pn?em ws֒m;ȦWn< "Fk˜}#rp8\{`TSdºfRkVVԂ`f@P*Bl+A3e'cG{,1uprLܸɹiuA coW5U>ё8NY&w8qVöRR# П}]:4[-bŽT{)~y0E%\Ga`zٴ Dl*wwy<~.ӦYtY/NZvlB)s۴+-c4rM1bj4gq[=L`!zeܟ+[߳5|? Bd{{%)Qd َ$R7B/Wh7CxDR!sdD#xƧ^4I ko,s{[Ŷ%iek5M7ZLUNGp2d̋⠛c2ȡ欂ACTv7h2,%gHxrC!Vݒ Df*+_rB;T&($ t+ ~B Qy@L~?w(Wd•?K#jWX,%~U~buM1_9XA;qy#Ci12}[cvV1E~IIOZ+,\H?&@ZdšgҨF 2?Qb|jà T̍+}#s-13V3h*Τ[E0mMO~IjiFWR}-3)|e=*a*j{sOGkZ%-=AT7&x(7yUAYOo h&6"ii;l0! sz8{ W[-2o/lRۥI|ơCE>#wͷ樧G9V⺐H8=+5lG\MZ/##/*-vKG__S#zltą\lcpN4^zc'Co8zD%n W !aE#FLoZyru$]-D"j_{mzu枋'AZ>ƼW-oD{n)-š^ٺh6|fxkWk/ x[o1i[WA3ko%1c1 T{'R_irJyoc 6>#ǝ?DԶdCCy>oZ.<8M\.|Ll@گ6\qL31&{ _t yChѮw_' %T]ʳ\kÃXQ?YEYrшevn !8DsMzێZ +>Y=W~w0[! #8]B\%2c&z'@̈́U.r ե=5&YSd'AcfyH33G҄ 8 [CEei{4ZF%PZyMH0+QZ5LnS8`'u}e=C6זqޯtی0:<9w) 'O*8NctܦA1fn PJȅ"ѓѵi*gB'(k5Q 3=U'ɝ\5)(J+8y˱\fh&d|YE,)6BVA$$}!!۲?{\fI<9Ex!%]}`}nm{ ޲|.="%}O՞ s/$0ԭuc+1f co^A-I*5gxt}̡-ќuMlxkZ?>!Myasܻ_o}͗d5 D ˴<1YO7S77.\|8_~L8Տ#t N?pQ",aBwֽf P{ңt?30i+H|0e{ ~2,@cW t۴}Skj?Z[q'o+R^LP9s\)nĒұzci+ I"J!4@aɄyNNԣ ":3cK)Kj0[PMa 5πTyXYTmt);(Y>m$.9U  F̵ChӞj7%}n=Bnǝj4_puѷ#9g!?ٴ< +$7fX۝Sy]`?aww,_?O_]E U-|7)=)kg$Xu@D6 !z ƪ=[ \NʬIͫJE W6LhXz8[{]22%lY,(R O.GBQ"{PRf;j/M(ok\ۆ /(C+@5tLה%MM>s!-?}LTF9&L~Ҫn89J(Br0 \֦W6BfO.ÞGF3VN41k7_p{Z~6% v8=xr 1fŸ5q|Vw''A`ݻO^^Ύ)I裡-Enak`5D!򯼫b 4*w}jH1+J*m9m ֆ/]v f.Û'.=lvԟ0+4_K8֓V5*; w0nMP=-f]\[+0sgBuk3Wy/pfsqCE39eg#~פֿOIJfHƪd ;^n6e23:,~체6L} sڱ ʐ Dz1)Ȓ;\Q2 $1@$}amCݣ(-}R4&^픡#64ߓN̑ޞ T'ջmfaqUuuՊ%jz8Ea.M;+'RKga8f~-W}y "35$q$HT",GϿ빆S *w[Lsu3%:G4`{Z1Efk'Mα~)|t͏eSy~of獲n2Y3m Uu蛥DEX$g~+'`fbZxA}QS:| _X#p`/QkF$ťcԱM)|B| yxl+77%ɈVl"mb|5ʦ`f&7@ %dLW(CM{be"rF^ϥط9+'6Z9dT&a@@jLm˃B4 3ewq%Zs.X4}~$a=v֬g'><\+XW?TثqD#S`cY aV yZf^h׸TDd mxdbaGޕvt@i@~p XX/y,.䝿mjӇ m 8Hx}\³r͕' psV% Q݂*d\ "~`}} a;qҿc)}Yޞo_6`-LU7uޘbD^N@]}NTnؼxڢEa8ۯ,oCcUh^Bٲp X"W( !nσ>t8Qb vL̓LS _wݶ (6! W7r@Ӝ4ʼvkIJ#/**twJuD fOv/hKvҀ4:FMe΅KƐ N^@*wIlF cA'10V+FQB1Ue inCuoaC]8G`6gں(^rX{SBb lqG)4o !踮|fJ )ՔƳO&8lHn('XՋY8Re['H:|{i"Luaj(m;MK: U!剠E TY:7OȄÛSӾ{F&J'\d&>CQkE,ED̆{]dz{WNYˣӏ#3JwmG;-qR`DNqU#_#m-l!%WٔG&R0M I 9t+fu$WsF&Zay`{R,͡ p]?$;u3$|Nj(QY3.ý3`gV;h6/arMM013i\,ɻMJ N 7- g6Mb tߑqGv1Ij!U+L]Ka(xA귄P:T)p&g\ ޗ|3t!|j]&V̀3K|6%{ (Gkg 's1ʃ#*޹f9gW@S_;?dsBH,vԴF*zjz](l)\#"@< .oZ:(%(DKݓZQ'Jd[0w/}v9J9R3fBw c0 "p@'>Bfvf)<\\>I|tMHBD<\C TL5J1 i<@%.J~n{~u^^:8}I-" FM4:/\?&Hh٫R"JbCɨOe9k=ŰZt95HF nV!PROIU%|,?w'i0|,L*? rv.})VyQgVݠfev<'hE7ԣac/`ݸ4r)"{zY$ڽᎈ4!ίk( a 1UgS =7֞ײ{%٤opK՟ ZyvԙEu这L4t%h)@4^7&)'%$R?? Ǹ0d$ri5{N-yO`u5S `@cyx͛3N!s0屔~m>X~P .bGwdH DB[΄<I6 ~߉J4sHv[tn֤l7\g ҉] r8C}'E->D545xA*{ aPU|f,:_~06{@0cħ[~-ÆۈW{[{XI ysg"Ԓxt?ݷ#yW Ұ6FIU@rb#kTM;Eb/"oG=v&3ץ#7iڒm 8r1Ik0bs"}i%:eojp֩M1W‰aPM)A=q {c63`OYBmڰGɃ)pr6?w*Hefr8i+Hs Nk/RFߢװ?ښ? ! _Um3 rDVVž706|Sn=Y]j/7юu^1 W[f?bU,`1b. }>#sԸDȁkcN>XLb.ZK\z=  \͟lpgXYj$]D)Y n6+)%90=3)$x!TbA^xWjx@놭K&s4yI"fҧEitN܈"J|zw[n@!hŠok:1?5tZT,3H*$4(cіb(헨?so2dJ"2$H<h5k?V]K0h3!DGvX++f$?ǎr\쾺$# VDdr:(ͿnFˢFw-_P/cQMTG;fn-~> ކR:iZ:b S?'h7P6Yg a!.8mDgd֭ۗo* lp,C۽ᅩAqy<2NΝ\,=vYjм8D)]l[J+V( 7J b>H=w381_C 'c;bn,k7[q]ևO+_5hHvo@4!uj4` 2tlA\$p?0ӣ)\|J9- ވSG܍Db4wm} Ɨ ۓV#J9Go{GRb/ ˋ< gkt ד#pPxѷ07H &i4Mɗ!7igC~E4s:L:QGZPyPO+B~k#0hBsF: SmqUI}j<%26Nmca`jPb!Omie˴ ٛ{ rĬ>|vń)[59Ql~UqϗGUkEjU84a}I=!nDMGyCqGe/~;=_2(Gw'1,RoʠZ`ayR"yRD?*߼bnYm!I7X}EW QqP560Eۤr$/WqdB7:$Dg>—e{:mk5%zPeV%Kj]MP)1m4C5j!IE^ 94 _PF`<[#ʸ.Sf\KU?2/i5VDeCovw“R١08{/ȍvW7O?Ti Wqd s@>(_ɪYq@QqpK|q(#`|;z}A߰k\Lu8o69!f3{x3zaGʈi||/ٖ=L!\ˇ*a w t< h-~b4%pO& ]S*QK;;gh\NSZnZ%̵Kѡ]B, PE1_۔{%^R/ey8^9v9RZv[5h4ܴvᚂl}ކ3;n{YpM(_G^C4J7 ߓV1[HPl;Ni2C9kR$D4[hRwBlE};*-:xe7z'YR}7{a._ VatL2fTSO(N1_YMFnO=E $5Hؕ9xh터ޗ`H{2@YW/GOUzVů*1rƕԤ?O|sAնߑ=Irqu3!e'}-G( GW(<+EWX%XsFe+aQD^l ֊U`JB Z¬:y&viv(Rp-a3(1qnCO9潑-ЌIDkVY=c la (~X#7,I M_ϒuBk{սJ XK)4{D }1J%GE4G h~P3I1 ]2녦R4[g1#z2nމi]:d 0l.X*uzivTx|ejߘ`suNSj Ruaʄܸ L W {ҳ 4v9,w[Mnu+n;- r/jyԃmGd29ωT̉YاnJ|l+y%GlrsS!1$ t@|Lt@<;DoN]CH0! B$5/<w#-]ar4MLEW!F4 2|NԞπA ߐjjLpBy-q^ɸ̣yg1GGT>]r [5l8 >Wk]Ll߳.FH]=ք5t ehwpR j C#afԦt+NFs) ,eJJl0_?YuztU% @]9ꎏ*d, lOe9_;B|U0.5B$vM誴ZհBZ-hT:qhk`8ZTKrt Y:71aHnP=hGx>>QOv)%ch[7>"EZ6QcII@#|(e*~QQ>dQ T'hAjb~Ba\v1#ڨ H-hPʒ˟B진7lh9kW73<@ ړ=zi"fW%.m&{YM~v@P$ <ۅoȉbpjgCPFvZ/3RZܙo/P턷5yP7P6OB`oGmoqFEw 384?,lo0 o$w>95&b(,DL, : Ӓľ:S1\3p;ZS C>7re;<,-gl$g O6Qe=97qaJ1;U#`wra'T㸆l6$2DB_̈́ignk"i?δ>~ SCj2 Zxp:1n{K? |zJmڙ֣JNY3ŕ< &_-Sդ?oϟZ/axS{#se„hǛ~ωV*ƯJt/Н.&!yE `8H ry{Ts2:q}6 Z-,bm6條cr[撡RehRz9Y2^&6]wI4RPE\v\ew?lbl 0>3w&F&K9oa de9L+؈)y@VFC3] 01_8EB%fB $fjBb#DyJ@R3Eq:+Ze Ѧ~'0ur+GgEnj/]fNT~f@8IݕARj"A/Ae =D9Dӽ&eb22Ej:3ZDQ;/ȇ&{o"Z\+7xp{$:]Pk#9TwGط&`*Xi|[gfQh"H9S!V`SjY=Z9DU?s 0͈$,֍M!!sVGN}P gy-DVkZZ/kp] >>چߏ- DqpJ^O2o/ ȮJzE`dl;[6Zɒu"zĕ/в*AZMISoࣣ n:Ʈc`B4mDŽyb=@z>-|mF&*bc ǩ_yr̻ptfH^ME14mT>/zӱ@g*%BІg4,t@933T_A}4:|77ywja ' rnvKmz;>=S tZ8䲖x2S3NK[A]GmN4 PF߽pJDF"YBtF VXKAϲAyKF:˿ؖ5&XWTT OT\±$>~ n_ ld7% Gl;*`AݑK;<3 1_J4)C)|*Jm& Ga[E$nA;P % Bc4a\eFܭ B333Yh=Zq`H]̞98V>֬_s„25@)N^K6|zIT/׃ JrtRt)P?0" J6& )@`Lm~N/kۼr1ĬC&.E Mw uzЇog?퓫څ $W9 ( R4偆{Fm鸾~^ڡen)>7w•-`PFJ G@weoZ7t>9=kd:9LrkٛT*TT+zFIW+:ơoTfAR)yBI j1pȸ c)ߵ[*eA[*%Fq Pq*( Jbw#\qDZGņ`IcWSl{uےBxôa9lTALG 6v( ϝ޵.;hϳeҺQV莦8G!_XC7c՜B9 LG ?Gz,[ Γ0Ե)s?1'fm ٜ)D84n` [aГ[w^^hEΣ?bY;6[[,$.{5ۗlM>0:eL&; e@a iY56AV3V\WV/Wŀr2`d%@8#㉰zBL& mc;À'w/}V} dIT`em1cɌeHStZ@i{i kd)=OmX(q޷=_*Zcn]vf0H tP9:ɮJ{{V#W;I(W% zd>[͌iDϢ"kh~աY/e02&|GT-W)T2F㥇>΍FEALzυQ-9UVxJ pQY]_A0ڝ VefYb6'`7&hoFJ0ANC# 5d?p=f:Sriw?/z~Qbw(3ڢoᥐ~\fv6ёl,.͌ ?:2 =x5W.'O@FD_- R-EZ)ƺ8.Z8xA [Y%0cdz}| PG(u 8i7K/erJ+ ٺ}^X+,'/Y2(cthՠ-b4tC]aWyjJtj-bΆ?:3˥^j2.X8UJJ6W>wMiG3e'Ժ&1\q*0z%ws'~+,b ¬K^n 0Y&%y׃ن!Rv~L]d~.kұ6] JkiրFܒVU=>^H!<Ѕֵt=pr HX9bs9UhФR;>vZU9L;ݽQ;SC;8B6i/Dx4@5In-UȔ=M\ǜ.4xd܋ K4}L Ji=@P*[=!DuaKcO;WܹZAl ?(J 015SǠ-@xrrl:d+䑘'g@BJAPj "LuXoF!"̡Ym")4Ƭ( ;fqOGf E4c9Ь>\ s:σ-ZN{#N+SG4cGp';ӈ%QG.F.~ ?+^@CʰlTsxx<·_´tX߰y>)?J杁dԋ?öNVH&ƈj?mUP*iO~JKw/|=D5 * wbP񾐶@B8_)=*LX72lqw+ur+01Ԍ|>Cuw8>~cS_'9ݻ~nt(a?Nь "M@@iwh[L.s[|~¦X=c:Ch0^vqXAe) ~44oRf/44:EMN7`4L9]W_:!6H,g94jl$F?eF4cl{$A/׷pł, wT K{ m_amJP8 oB2+OOQA6d? ZˆHKkԒpX N?v"Fg6hĐ%ꊋ r#p5ؘ3^v~(GHgt~ϊFg~dbe!Xp'|b߇٥V?[QcV}o|]X6>}||.Pr u##ߵʂoP}Ҧ~txղf5 _,֑Z}Ee+^J0d5f~OtR#y*qx?T-NM{Pq s }V6}/4paC+f ,8zƧ@;.=̊Q%*(1F&,%CjarzndT Ų>tf.w4Ѐ?  Y~.$(2Icw}t/zR?UH앟(e%:St.ΆtZ{AR5v(nPۢd}vlio~zE,:imU}w "T,èr.=XiH05܄ʚ"1 c U'mBzUGӽ}<+ U׾Q7hЏ4v=>8.엄IKhOG#qd8Yؽ/dJ5Vi[M $@ _a`fj9@nH\E?gc-d(=RO(  UT0PjfMb?uZ5r6c]SYeCQ Ht?xq`͞ X|6\/N0&KCRk{dxA\}"=iy%H_ʴ3S[XhsS&[~ODIɱfcHHtz(,{ꀎ2EHrU僥?0 /+ C_Y+N7NyQ~v5`/c6N7r:.odj-U+Lأ5utƺ(̓b -.l3L/"AQ[ ;\.x ֏$4s)3.wy,4nVF'됊F˺r-"y' m-lZ"sRkAw=I\O L}8&7䥞DI*Oр<ì6Hp]G]|j:=HV)M*\ڃ  DC*_Ss6X xg#܏%ԉuɋƘ;xtQs`f{*f% n<\ה#qނZ}WO0HXC]lUicMz|o8Fv ,TД{9 /AJE4V?ۛOeYR)nt~S/6A9]JP,dJ dg lbKpk-̇Vүok4 UTR4x %=\٨[8v@qiQ)%|g0fZ" @HODlTz?NTZ>Ά)a37*Q/HޚJ8 KQ,}uZoBrϵ\2Jo[Z΁+S.g4ħⷉI4~)kIeĀ|[7$O"X >]U^ɒb $2خZo9oڅ5WWY*P!Ӏ{ꁌrW_d=aM!Y:qDiy=vTA~rllk+7S:]MVp;ALKSoil/EҜlJg1:1{mZlqbʩI{؎}tD#Q //&ij>q~.J  KݾUΙgpbb,V=>rKSxɏ%tIwѽmsQ+f}R (+Mu!bJu ?/Y/hrd7wh W2#Y}$^~lWPyzOfE7Z>IHt:iD15`C0F1:pE`*THE+- or m4oˆsYd0h'8ghs{0";*Ri;@:dj+{mz@'uoe@ 7#_8T kzqu٘R^)k`%.*Fgn}| PM (yN|mbKf H4#p[Cggdx  3J!jPc %zIِN@ߟNC稀wCK!" hq4Ct%pd)ۓhUN<_Y9wĤ16α;^ލDf@I0#d.&^T| G/ĵ1=L跷0S9UɿdكoހeKX5!kU][A2Ť5'oV~qgYZc5f41889b2eac9f00551e64fce87555377baaccf1a50fa50a5733030b299d3e325bb45ea88e85f95fd1bee3efe1f39314ff867d1ee9b587b38e50a87