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 ))7544< ]S HOL-Nominal-Examples:threads=6elapsed=260.472cpu=1171.912gc=111.540factor=4.507zXZִF! @"S]ŗXf1-q恈ބԍW_8FbѴ Ny#jx'|h0$q=hI:Wl)_m5]zBmϰ3HP>ѫ+?z.ϊ|_fN S֭I臮qe`dFZ+@Y!gξÙ鲛@F`)>lkxho2c ʋW7X'%ޖKIf!R C Ɩ mEh%G\0zbו9&MA{e:4 8:FAFR!*n!1 f_?F\9v_ zѡ-5{( (5'!h:yU.y>>2s1YX^ongf!L~4 ih7=_ (@WLNMqE&UY,`ܷ̈LD o^-ؚ ~G& x,MܗՏY)[B87 PԶN}f%ZiK vȆXc#E`VBw {0GD^*%m@  c&(u$t &9XT<Ulܤ^uDC\ME3DQfk6M/}} H(H{s/@DL G #[z|% l]sCc^,%9^,^.]3ؘ}[Ȏ Ï6oL+l-~φ/ z ߍ37ǺPyQ$ᜈw&:$P'L Wb}8F.DÝ%T}v_z4EkfЮ6H}U(ȪT0Z7]><\`h"99X{L*R.u;;`Bn61Cb o`S'LW=;Am,Q݂'mA.ީ ݶ˫&*jՂt|K,N Migm$)[*UԿ][,L垦M"08$.f&MlOx[JCLڧ9 'gD7J+D$Erº<ӴV[[)SJGȈ4>p^2B@LGovjNdI#(m2ISQ7sF*Zj=z xA|m9 %TL(>䓘cޢAAw8Y۝Xy̋0BNZon8r.'|Sf}9G4§mRMER2 O:#oKۜoW@%ߜG3ͦͥTզM>8ٽWoGfIy/?EZ]h'W5!voxԅ3J*-DylG!*ғAVMx)sY$BͥZ$MYu?DJLv6klYCD%ZnqZ1i9T1\;Dύ-+D/ A`5B# ؃2d`|#&X,hmJ+8Ցa3߲fqC^*lI:s3bHj`R"gdRFQ/̅o/ۅ = ;|+aݙ|ˤ<{J܍q̱3V]'%[,F,! ͥI &Rdz8KvXB$ -MG~Ѐcm_V |m YyK*c/8M:9zR)"ڷtr >We2#(qFb_(jr~jʮ*UKcrxS!K3qKelq AHܟpbaՔ[Q$.>lIWv J9 LQqpeܡvXg}9|@=5*&J́J! s} Ut"G3;T<[wR_%+fLdD˧_gjs['$O5R!RnsI5[/%nTn1Q)X[JӦU0H4-] cB)QM HtD#ul7(} ;0q3aMG$d<(WbbCb`lK'{q &s9ޙLuT5/ i%z?{8xz)99>^F )9S qdz BjاƞҾcUH#r/ DI6BȤ:GtOK;/Y-+(}teMY0.S 8;{40ҳj\0*wv`W6=>]ru4l/VaamX,^>BWY͊bx4}г'}q]=yѵ/ؿGk7[j|=,f'kz(W`ĹܥhV7UrOQ_/sU kCa?#TMAR# ~㧁+CYynR6/(',=_VrT.~!}XhMV xӕY wlM_uR4hk ;߀@_c);gb2-υax4j8Z'WyaK2q6fV"\݁HHXӀ Oó_y/ֺ>Nm9jpLLM;nڰB䎆z=.ãNP]4yT#X잋r=Tj鴬5wuݕ`0+3~-IOt,1=ot`<KO h)Z$/꧱hJ: 4^k+lc\Һp {;1 SBξ>y6q'JOs4>;&;A> l}cmUxl ]?Q`HGOR+/!Qص:bhz.`$mL"~*lg&Dg8"4ʶ@kJ/m\S얖<[Xm4TVlUwPt{/+ځ9\u`jz"^9 [U,jaJiPbcvY(;LX*E"oЄ` !P$g銆5ݯ8l)"<⌈%H.N-r*FFGV,t*-pfiJbj:dSCB觏*P7Ljke_]7㢗t^I$ cUԺ xTT־)vQ|#bp[̞}+6R9W{5D)/I;à`;lCQI3c56X(+~ UN "*ߦ7I$r4 3' vU&/eTP湄w!6gIfC<|.SH e}k(m)/ v}AvU+O_0~R>շojg6ubT5/n~]}jk㔥=Q%*'P3jo\hvafR*Y|`VAK%ښϭw^=W0ms$=%EprRW]7<٧EZiI0kxRl_m>A/`(HUCbOnUB5L# M|3;:@bp@%fXJņ+}(ĭWHw@MNuu B rhjc}P/ꃬwިoDf wk:kPrJS5qV01d:֠nn)[܆Dih2[% X]#Jc׃_\g P!0 .'Z@G#m5XnlW}St~xLjbhL2T蛃>/ aC;/j{ښSix>pq;_JxiA#ETP5$BL"t1[Bgo]3ז8=?Wfc>wY`2>ڄ0$d{Q;4O[=:yiy{zT5B&JU9;jdo|OwcG<?$?>B1RcJ}Ƨ_q64Jޡ%"(LZq\~󦮕Ķr% )ioN e+#8$E!Z-;>+tKA\E]FHK}'2ߢ N*}S?aV(^g1zjںڷq~E>lb64WYu]zQv0q.PkKfOtsWW"o,>r/ y)A;PZڬٻFRz̖& lE+ޣ|c,&NT-$~ɤTp$e4 DJr9 e۝hQ8Z*HHX s 6-qV~1Saޚ%s扇)gC0q3l Dq# t؜l"{T| 1 ۳|䯭zhI+=R.ƳB﫽Y\6}*yd::Xݑd݊Ρ6;5%t],\_O >xuZ) L4΋qXFfxztwP2Dgkk-_Ԕ`9.^ ǧu~w-G$pLlLuCPKFN~jlfwZRmڄ4Rh),gy`HD  hLGu:j*l 鈙Yyq| 0k^|HD%WExmf֦̚}ƒ^I(<zg8@d"N;ֻz@m5M;U~ rJːZ7M̈́j@ǏŅSEޢ=;IA uEլ8Z9kWPI,[lr=M"W .ȿ.?S(][qt ޼myek(HA-Z= .Xֈwv 8dp쫺7&5A#DR{4QVdG4Nt]u(Kte@Y]Mk)ȹtnb :jn3ěL§Pjq:}M822G+8nuU?<_/sbD{d%'A;(IK>vE=b%pc/A`HݡZ_mGt]37)TM֪AƖ<=V:C#%8XWox*/zN,LyC"JgspQ١ &~j|㰡7!zɧqJ Viád$LrW4`*甼EShx#!1C..Njz!PwG?T >s!"JrT+Yf&J@DC?VhX' AlsˢA-;>r=r%x`"G.QL6_p2N<3|*b-u"inF3SPþ<.^)g|WoMe4SF+`}YxQoNfP27Pl#uKH&oT48$w}/<0P5n_xOK/D}8]NUv2tHjM I8w1ޞLdִX[T[*nST2FBKDg&+2tl1xyxЂDc7Leٛ u6H6$~t0S'l5鎨a)R]xxubP '!"[3tXWrqýx4Z 0Ξ&Bv]eb/(լNŝT+%17wlXl#DFT2BQ<ۢ(fFFJ6 FQTj ԦG%'撲|M1ݕҗԞ,XwX: I-|>9MT12 #|xLTf$Sv0ГzB= MQ3Ei2Exf[gc"K;-&Z5{UDM:q1+sŸD]mwJoY'woHYJdE?hGLpo;w%X _g4zfm ( 碉2_2#@f  ÿTozn.Hܞ%=iAM|+ Vk戚1,~^E] hA{17߬+Ya;;I:1#,zC6dd7@sr- QscC93Ni9K7ϲv@g@'T%u}yV*#N$1J\Eby)pw薙waH7+~6dE|dX+On%@a̾ g S>|OɗrĨ3!UQ:a'&6%db&p(I-#r| 4s=kQ*j/:DxB&ڨMZ&|s©xZm>ߒu[Xtm5 >* Kt&|Gj<ڦ:@51uQ̹dV57Ɵs-m5\ 땐LO$p ᜈwB_V^.#rސ3͙emY/5ZD-&l:|?_#ޕM MfyLbeũ>a^Qr)}Dq' m;wbHMe:_LS"f!2q6(p. # r p2^ߛN w߃!ݔ"rHU? A^Fb %r1?ĦjA|-a@v4;h)QpN՛K2]9!Ӛ鉝+cXӞh=H+]JX2n36{/`9>8!D8رgYZ7zXZִF! s]ŗXiɟ1ʹ l93攀Lx3 a[Sy'2%Hy3ͪ7o:sK 9ٳ`[M Du @1y,%n sR[d(2ؤ'@'ǥK"ppFގ=B8؈CfLGW; k1a*_ٛ/MCK_h/͟爃aFh BpQEf:L6_Yb;Z`za=2Qም1s 0P$!m:W<tDmit頃oʆCiT~HD BI <\M1?5O9RNYlC.z{eεk0 Y(V,Ҏ9o __;lO53n9Jrl2~|Yڍ2M \ 'u6$N̏VȒG.-> @!Ĕ*JG(y\٩כy"2Ui΃˓}nInLգԻK޴x,IT} ^:(cWgNg\b9-oxO`LT9O-0bwc3/X-~3w ϒtҽdߠ49;UBaԧIo[23Š;!Ib>Z6TlxTɨƀ*AFN|osr0Y,uz@vBÆ|M ys|%Z"ZH0~sN_4'6bhZ!KSHD /~̽1 ̔mK_hD12vz!N̐^?8!-{C'si%1;M= Un=jzV WI3LTR[(duWP HL8<4c"߁>ӘHn;Pf2ݭ ;^.O{o-$?P3,.DI:pe|91lgeO7SRJ1\ 7]s_޲r-k@eJ]xWUHR|K-_r9wֵ\V@[g5&Do8hFj_A A||}>ɤꖋW@6(,Wuo/$ug Az*;^-k?Pf?2T圀XNZL;W_@gf'wfҡ2 4i -0epӀR ̤)`jZ_ant޿hs no>NpZHVV>SYc1v^l,T O(V{Ү`[_FӵG 7YU@{3 7ptۨ88<`xQVwz@gXϯ.vpR<8= к5h5ɅPY8{ qakOX%c2?{Qƺ. ʻswF}Jd'{MD4Ht`xv)Ykh@qoWJ c2/2_V;0I!?!E`~SM~u$k,yU(I1CLk݈@"o ҫـ]9{Z}]C|ٺ]]=Vz SGH5@N-IV0 וDoy(cp^7ڋ+}Q :kq27_b0k~J% (;6kE}XTVyQP+UPycWhm?]Ү%.݇;o z.+Nu3*w3,7ih$$a~C$}95P"$#03tALs t BNBe55 v;?A&O s§&bY 8޼ p;y(v/[oAt06Ϧ1mn漃LuG$_[#m> q+Xo(S<;({k be !xYZPU%E\UײJlVcILY |wXw,Dw76%8|&̷TD\9~0Qlҹ# ! )'Bjc"~d01GҖa.~聴8bVGI& OO] #x?/z8鞫Px*p,8$ -ýOG*W'q{fp/^T㦭"iX[>lX$$BM39vm*f)Ǒ93:ǬonmUC\f%b3ْ HSf]b]gQf 1}j%1v4 ax\bue-_DX;֔Y>ĖfN(*  !`DC\q@mDT`ħnVRl.PĂ@s;)a?\TtSڷjw Æ}=~ %0LCr0%GŔm'ȁRZE2 F[yPd5HU1_ /ғ>o}Uk$'-? RnVh'^>tF헿é@->1QnזJb _ V#jbwTXW0żbM=>Z\i0}Q#vZIy뉧UJg\m^X :swb܄?x"Ne;<ֶuexF7?[+覇>`]1Pu,{rFJ2GjuE, FZbe|}i9*l&7J2+Ƞ l5ͼ LUĜXQ6/lL#U:{cCRXT%IٔVu9VئylYn Fz?VB=+x{Ķ/vE=UOMw'^X!PڂٟQ6'9Z Y^mftNM5Pb^U- ?%Kġ s@EnKKc%vXnoDTUkhJj>'_2_)(g-Y9E5 ?V,< v/E-ܳ uYptټ?7ר`҃$I˱h ad6n-@L-VogP Iɒ1Ʈ/?JDjע 9WCn63&_LS~O!]FB|FaBʀwj59OM锔BiB25y2h Wc\Ih%9sJ +"k@X{U*WdR)ͭXK$펆(fIe dGkK$'uI<` TAOPwGbY/W=(~ $(peÁ\} 3J"Kz7^ )%Yۍ3⒨'[Fn+E-u]Yݛ a&Blގ~l[ɠ7Z@qBD|}ݤh0y볓vțrNQ wX6&k} &US*`_m$b0]_( }N]YF(ؚ ݃)r#N/8ޅC=<B;9ěPOdGcB{ѶTB6 *1kĈΣnhFв7~jQY :nxG^`)H \h"5x^$yݑ_M湓ұIZ/X*n%}++^T~+d6l̨z2J1Ŭg;I\ ܷ)Wg3 _oŬ8F%T(Urj@Z29* <IX0n973. r)Dxg3+ V%Bt8ksԤgpWsJC{֛Bק -[Q`!&_;~7NsO1%dq% M yynK-PNCa&MH2Iޗ&jݜvjLgCv;b3=2uH]mYaUI孼֪[OCq+93guHzŨ B 7MT6R@p*P80|R%z!1ضف{E⼾k׭@006)NSk^66$M1>$=)$"բ ]7jEbQp&\B2 {ʅ!njc#rԨIA!8/v H dd|n-ӕ6Dچ5;fؠ_ia*GJ膠m?طO@ ;/:ֲ}&ېӇ8k3G l34eS kkKӚxTg|Hm)P;>ZҎm196JaAvi]j?}unuZs;Rn׭ =Ͱk&\:u3Ps[}VO0v"Ȼu7emؽ t릂XT\EK41gt;pRԉ +{&ºh'{y4)!&bδaP "9Mdsh3n,̢ҵc -cz./~*#;mއ<=j{Rv_Y#9B ڌb2!M>"{}%nv;ɃELf"^Q @OuR7SYG{32Y&lqc0ĕz79:#Φ !~KV@XX,0\t#rw&W$ ŜوZ Sj4di Ju˯.P$/a$Se͎A#DLyJϦO \`̈6rĹwUkD[x摣CAU$9,z6ퟧ 1q(-8D"s|\##x'F#Z.1:2̱=s-q$$ TI"g˸lq C|Kb˩@S*C]$iVW=.tK;zK]$$9ڣEE$ʝ?/t<C (J2eHh%`jLUn6ZjFw'#EaUz5u[, c/Z\+D* Q4_܃(v.6+lگ}u.wK%li5-y+v?结]:O#(JQ9Xѐ ZHzp53)+e Ϻ9{HJE9*^ -:;3d_a1ydK#d2=ז STyM_u_|Yڳ9iT\tO#ޜ6i7Pu?x Ab2aر"*$>FJ8 >yxжI7u;ՔD߼S\5иB>̞%~p#tz>S)>Ҥ>8?a$;$V!VT%pth3oRWKJuѭj0=:R{Rdѹٜź |%@1:Ǖ=!8W(_2Yb Eеz<@˭R9`@u;t#9 ]=#DeQ~}㑬%򬉳?XG6@Y~ U­ҝ,[Ce"L3xbl^m_ȑy*oSGXP܈!~`\7F  e9I8QbdUGW3)k_[6NȆQS'֎ WTkvC/}K +Yas~̏ig2wbr<60Ӓ 뎻f!}55vi|L jtOc@=#, #!mX^K}L/ya*vcSWRܟE(g4cjvYUs .q)6 "ULxA#_*EXY}Yj "h ѼQRքrc$>v$RR$vNov鵍4G(LzVIsbTȀqxOĹ,.CY.fSirz^ :D hmAE9R`8&ԏ7\ŕrrtJdh fpQ7t *No z/D] Z暪Ɨj]-jԬz^pq4֑+7#qAڷQiDJ$6FЛ+hh%Yv-{a-z|MYo" UA*-Q'Xe=42f<!̱'Ѱ\O ҼgW2;^AiQrER9cöWSW qbfd&Z}plyY3MEj@xpWg匌XUE{&'W-O>F>c5Z<::' BW~Hμ1-QS}t1#"̏o MHA@^[ٛ*?N2La&F&ĶzԩD4! 7s:t6<_O}x6Gm)uf[=o?^Gܟ{ͺgvTj3'Q=\2/(QuJ]Tur~೮+NbSPck+)Ia0W^*̓Yxu?8\6!n_*ߙGssL4?]Ce/:̅Z&]G"/(XxZ+٥/߳;f  iSـuU,g w?bH62蝩dgvGNuf,_+1 ,,hd*bPz$鳄gnaGAg xM JތڪSrX#YIf}Ƨ_ۯu~ZBh(ʄK4`Lf3&0v ۗ)T\h9 c2Ȼ d*/G,JC5yJmgbKSv5R墳_9ctb5Y49| JvKzz<디NVsgD3'Rjz91+J3Ύ}p$(IM/neWhų,Ή3ʋýv[W&Uh46)>yI"nxJ'y*]#i7]Cc2d1t6-Tv^#;Npdf :BxPr<~WkW5 ?Nۀ+00uqţݹQ&(y*ݏm6pC/Χöq-fdnl2ۣ4c32~c=ӊClݞ!]YwecO(H7WtJMe[-E 'L׳W o^Z %!~kPąlX mɣ'S Jk8*-^v)AJ_Zʞ蔉o `LxL,J=U d(~~z`*R3$}Q*%3X&(12G1YF ?^$[BaYQ;;tO PNACAZY" jvo}]*}Ag$8n 1W%#7Ak+uV.`&ey3Hu_[4`oG.|KH9Rn͹PK3~tA[״\*sHEܔ2 Cg9+4-Gmt誇8¥$Y&>z,7D 85fj&/K_{x^DI$ f|%P(5 EKYa3Q]hV5"L3s덪m;QlMǙ锴Oy~~w(oio2$} a (fn(O}Coyoxgh+Юdbr Y.t85U]AyC?GkTk N8e8StJZ47]݄%L[rxg0UQ,r _qciǩtR=5k02-'/l)<*թha#%mFxN,0'eȃ33/CsN?U.5 \/A%S +Dm#v#cl ঈ9ĢLId_3Ty-տFQ4⣳M'51q,$%yPXA =hQwr;["|Eu:]rk^,95ill儛i8w1.o)4:E3 4F6)4ےxhokL9LQ~Qn6pOh`2 ag2Vޫ=Guz042A\O: 6~a=)rtG,UP݇*0MAWZ ,EO{ $I k-ZǍT1"@)>RH}D'>Λ3"bff|d3R0wA (L,hG)R)Ĭk8s<-Q(/2vp2^kUϫPSܢf+«V2"ЦFPݓ;JTw øU/V- ?SKʋj&}ȴ))i~T#Ԫk7S)IC&rcZzc;> G)\8NY} ,7Kz5 +)!"}x=򜦙uD]v."Q7,Ǖ{uWɂHǜ+:i] KZM5ox ,x1C>NOoMԜ_At[ߪ/Jμ|>Dը(-,]pXg49T2F?.sEXt~q:P'XN[cUI]bfihd;rDŽ{GP,m4)јc~ZfntIEWS|Byu1r|uV!q#+FVPyCLwpf"AKoAks*tJ6yXM!;P\P|<V?KšD:ǀXWۄ,oR[zD+Q#ꈚ ;lGIH"kT O;|q1VҚzƨM,!]m>Y;%"0bxvMMNMZ61;> T2R7_I)gW#KMWXjCdGoQ¶귐w3Y+$LMiNP>eQYۨNDP 'y24 b4;͔(emEl.\߭9P013uҎXJl0_ߍuXN&["TQB~u0W/a]/hp` |Ot=|] &]ٳK\CDST]niY,Ƒ6)GW 9knb$3.lE4`as'XX/+vJ'XCʩȬ|ؿ/K\N(Xȥ~ >lTUNF|i.tQLW[)-ߊ8׸N*RI\j>~3]S@HE3նǥ6"XW8oo'jǛq 3#wjqc= h-CQ_Aqg aUYΙwD#Y"yQ߷bǤsq7sBeK;<~OA ~+-8@戋u;Ux=!QXޤiYp:0U`k`/G;MۗWi&ȋ^R%/A~o7]c4B Xڒt_?9e⼆R!zNCͶUJ^t.rͼ<'d_&`ׅ3#}׺x,{*,x{.,^hb. Pc|*o=4""M,j"5Q}QGM>=2wȭY s rrc "Ñ^]|cX,\HFg…PGj)>gMe0¨T( Ťg.ޓYrbT ֥IXjp~zqf! dD) Qt}I_¥v@t&=u(zJʲ%ů.K`r [!{qcT+|YvPvWRQ9Pi=,jeE ʺGSBhY>nlYC a'ޢP| h~`E\@c}.AhliX[` T g {~D zgXMUzä#hCFw #@סWXh3e.m VvO}}|(G`.8O/w&nj ݺrPKjRVã!VФ9b9`YV))蝏-;#, ƒ2|6"M<-*p=!fO)4h%-ƿT39K`n%m< Wvg5ʯt"ƀ`s֑ZehI1 _4NKbN5o=:.74!QfylJ)i)qC`iKCǪ 8:7-vd^p=`R1 4< ]"|w6\[Zczw]J<%ٻU$܂q0lDTFORr\#q4ɜ<2b\2woؔȕ*Ux9)Tx[xPh:*O*>4MOMN5 jGlhxex+7,Ԯu~U_#.S8XU^+*')K=6vIpwԫwBDCj&y xaRWIGW8ڵWP5+;X8;3'5WR9/xl)Y= oiK^]:"k0L e+y],yJKem.U\M8~6(\`W 61iI٨PQ bHϨK طRl\ŭDѳq%;G6Pՠvsfrd*Qv{jZ& ҩmap 0}0 /s󁍬#8,{f hل5Đx(u-5_D9HV%ƴee#?}Ÿ 1B_%Q}`ɦR}2fi;njKgi? BEx篾<Պǩ:pYA\!j+aL<q9 r2f£d?gNׄ;-!|W?L'<\V.zZSZQ;9K~g0TA h-ôЂ7u&-.4T~o3/ёVpGAkOktJ7AC 2n\`+wIj/ӌ]V`knV5.[s 5Z $$KTa ۢK-4ӱ,ZNG"xS8PJ;#O.N$$7-gq'lp|-evg;t tOU#h`_#vw$nD>K&T~okNٯދx9M0]F/,.n,1^XbՊTՕ̾Ta. '8΃=l&~)+ɽ(tԂCZX@:TI;? %} cC.d;Nd0P@p~L@'6w.ь"3ŻՎ$Յd#Ĺ.!qB?)w1ghSWˁfl߮c"@Y?3ӃS|EV˹ 6!TZW ]?LJc%aiTGF|%q4Ik&"ҪBl>r-H$jq:v:;mrbUcNjccvb<):#g6ZEN ,?W X%|ss5ۨ "KAܩ*qSBV1oy' S%_-Yt -ҪdIr?ز,;P}68RPDL7*h?JQfRjq}pG|܁ |MO eEmnC\xN0W^`2Ɂ 9Q}㯨I wҨ1C^D@*SVؾ_iRjE?l9j رB$R@1>,zfгZzl VU[&?E0s4HP$WgXukC.K/󂍤 i<]=_d51T7]Ctn5y1QtŹc_6BRyU cڦp]vd,5+|ԅהWODUq֚nr*ߧ~j$3ulۇ]=mfޏKeC hVux9oY@1.e#_4Q%B L67|!\$3'D0n"ۺHDU:!vg;+VJpEA%π3@:6w/iQT=W7xʖsjge6hHVy. ·yY1kݣ怠ggˡ'Rۣ1>^Zg bIDA»X(Fw)r6MiMtyW;Dm OrpB wHY0mKB~9!ߕfxri#  ȑA7ڮ¾$$(W-T[XU+ RMCs*'R}C.E# A~oJ*'2ԙ%ʰfZ @A|L0U$:eBKSHHЭdMҔ(9*Q J >dZ3g-[ @US+@ 聱_Yd^4E \J]1ոln_@NV`e `yP2HI-)B k,H A F_8:G2 P]n_gkސa&;QO Vyh"EZNل ±_hI.=3D۷>'oۢ$5<_8s FM|x EsBWxl*X숯яPK2w .gH"KaIM܏(y ]XbNyJ'Yd:U+'>F=KQ.@빒i94 #