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 Htd ]]Category3:threads=2elapsed=503.907cpu=957.716gc=51.788factor=1.907zXZִF! ps]ŗXf1-/6vRZy_^&ZT'8fBcm$7ZL3 Z~B""lCWJ^C/t \GnB*+_CLeO*X RND{~WtٟpM^jg9 ;rԩ,;U?O&$ոwE@Q8oYXrnʱ`B"lܭ$=fGOǝXe+O3#(J YȯcQʮ\5WBxTA;\C쮖MuTH6~NQݏ/x{IbYR{]Y%Hn@1<{/uP^ VSQVη|JWf{{,sB 5<n/bApUzqS}0  V5wCsk|Fr/ܪJP &q"Gȯ{|0pYqVԔe@ʆc/BjhZ2)hJyVz~q1@)0#AkT u ×SnhVG!M>GٳXBowՈў*`E g,68KCX_QU7h)A9iM$97Nʎ=c ? G-֞٘nXRM$T\M>X#Aӆ毲\GV2i0jC.e[;`+zXPe၎KaT//DGe)'L HWV ܆g kn@j`db6L:tyt9 {%v#$J\MxW͒|߿b4jbgX󄬲}IAg099̺*g$sMiJ z(om1*N9 t!|T 2M) /Rlth\;Fk݈(zCwkj+n# =k(kzw믁p 'duXtc!=Y* 'lGks68xG$vxH36$Y[${ |a} (hyb{+5OJр2?n4O94PQFN{`q. 9Nd^,qW7,_e5#nu"R}b$5ׄ5vrP;~+%Sap_O9iZ9#?t&PcT(ZnK4Uq[';N26K6>DnsI8e*mL&U`J.qbӫ/SQ|3駔r)h_&BimwB'NZ(XᾀσϼT .eEgI"+NQhlzWdjw|#%rE>v_ BᆢYGV[齈YG+WXZZSm9=mڑ%$kQjz&q+(HH=bcLj\1.LXƘiْ{Uܲi`3^{|)E38Y3۵J<&[ ceĒ?*Y0,* acu7 _O3Q1 ,+ƙo/5Ҡ.}}!suR"(ֳ; Tj>FbJB-<(Y"yw̵'%/1F6 ٕʺXPV Op>^PE^ 8^6hʌr$Ifࡩ}`[ Ŋc,*:юU-G |6ԟ~.G =oTXrL\`@}BaKt3je~ѓ`c>M̿J孩!&<=ē- (Z-EMa}fe +ooI#87`A(Fi#e ߽F麂R'{AE4ܰ׬,hLj|K&ùK_@ܗQ8h>hD_bŌ<ύ򭁠e[e*nOOA2ɶFz~*w蜂ܟ,JؤPx?Ykלlp |c@F: 7zZLoТ6u,6\# Of2 F)ׅ^k)ƍ BA#1)7n4ZAN608X#>86 aC5"9Rm^1=U瑘@+oJoLfE^q >H Yh"t7#&l7bNBq;~ @G..S:J~=Y຋K,?*y/Gjh52&ezX 5.nqʘ:F:|SHA$Ydžwf+v"{:DV ދ(9X5.  BrG-"w7Y⌹9i&by:_yegkam̴Ӣ8I> k@Ct=%5vW?Ўm~6%TX}~Ͽ)m c z5II4%Z6>vt]8u/XIs@#L  ib;a͎ egsos~q/aF5M;wL>P++`,OOA@;Ofa^[Ȼ<_1()۞Y .vh!4ٿD5OdsQ <ّyؿWE:2>Z OpbMnF >w>ڦ`%;112B+o>psT#D`gs xf+ۡi70p7Z$g,ǸG%yKEX+F.5 c vu['q^Џ%'Px:9cУt `*Z @8X~)f$c׫{!XnoP`I*AŠpGSe1T΍Yߩ)fyL3גǕ4qN24_;N$8(ݳyJ[+q|KVbv2P(Q/fn8i( JYxpa<ܰDdQ\h{N|1-h44Zn0x{p(\9-Ҝ u?T`wnM+mu5TH<+pDm_9JFv:t Е8Mz:JZgŠͬ(.X,X{ 0\j fsڽ1 'B0C\.rsf,*h{,hR ϸb34\y㫦f1Z\LZP>m\+I%f5*ONwWoXڶr'} @uf'~}|`=//lJn#Uj8 AOS۹R(a5ŝ W4ȱyI}T6M>q5W;u/K -Jqr6 61vԿwU 3u3Syd^cPE8!U*Xk`4r C[1X',fu.)u$3`՝|[Ԡk+ Ϳ:tF^ÓO*%_ҍO[AC\%1}jdhhZN'3tY bZ v U*M/*ň{֌ W ͫiN{BBY|#7ŏX)2)|}R`e˼,P(.*䈳"I Hx]?ģ:"ɴխMXr4:ɵ"Jv mìCXYNՈq~8u3C߹r,/q;-Ǚ3D:CPh=޳Zёv8y< (vV6)ˌGrNʱ ?npVa-npҊIC GõY޳?)b.ljoKs7,S4ϧd޹Sp;CYB]ņbYKM FW =.h(sZ:K [ق{30P!Suȸ,Faaǫ17S'uf%t}ցYIW){@oy$R(i xBR. ipg'|zjI6hj;w?| ob,$:TAj)`L+/פc0;Ke051=;Eh=,Tʩ2W~wJ;H"~y^=(w y/$aQ 0%d=M.cNTh8V.85ZY^#ނG(*TvPu:vm"WԄsxi.5؇D!f.2T-[oA~M+?,H Kn7(Yb{̘xLX#@sr5j߸W%zC 8c(;YYAxg~}.n=Peo˰SB,E]h`E"+BY2y_C?b͆0yĵZ?3_DQ/^0B" +s7v52] {˂Dض3 3 ;tw/<vL9V"i[/%|k2 IO.21.mKtȖ9y,s N5[~0DłO_UvGX\wdd=$S/@ \˽$RKr/ҭ(B7) dg'V5 R$iW}7&} bt 1˵Gz@7fy/r@yL`h9]4}swgRt;d,;}rίmiwo7irf8rMT|(g1]PdU-\/-׮K]of/|:XӚ0l ,zRHo"sr;ýoړ'&5 ~ 6" 1$ \:oK q4d}CWm&4uVm+qRpI@yhE-p..Cam+]߽⃍k9}{zabXY @`,͔89iG2GإV_$W tͫ6UdTV:lgsY/ӷVp$|ȢMGZDC_*_x8L1#He#=c)*cu4#_0+)FVM ^Oz%}g*'TR㿧q\RmE+8;%QӜ^\ശ wdK]7H[h:\m:CmO,04>!宧WouG$RU;&7.`W=IgYZ7zXZִF! ]ŗXiɟy>Zr˜Țp:ؕdgS(Q]?*Kı.%i0aTEN*$ܷJWfb*0rpȥgʥ_QU1^/;UCBϖQ34)(dݮȲTXcnǓy=v1 'lDATU"gtVʀ)+/FuK0M`as-MfPlxXVV2̱~io f%Y_n&ȸ}U (r>\y%uR5=Lyyۄ]813\J2tǹBCcmu| QDӲ<x.Q% -jH(sH 1;`H-Buą=1YIz rU5gYZ7zXZִF! Y%e@]ŗXi%>gVfB;4LUn Èi9Qa虪=p4\BnCB=]C{\u1L:C4 ja)}әȂC`zJs|Izw3bf):a%)ߟBK@ЃGM U\.Y:j}oGp\Mi!'Λi7:(!:5&.*W8{=O/E?W4rަI0[H 21b-3QXXn\'L[ gL숼׷Am+>͇5{~OxQ3Wp{j  4&sa;S%#/щ~ޚz<#t7s|e )(BN.J_2\>e#hrdQ<~8Il e|X;GđU6VCg_f <{j_h& l{^Lƿqvdq_|ZFe^B7S+1.,~'@ƄfIݠ)iG.vcաSݞشJ`Zt,tOR93Q{a_}ʩ,@x:AG ;e7'Y$I*6o:Tg` \_?b½"x b 8t$Wz8v!8/ ~}O 5,jNE< L@DEEc~[k1u$. CL`4~Fǣ퍣6:J67ߜ_Pe)tA|ZػAt8\[jqs958 ]ۆ0&X_hKvlʈŦ7@;%j_'wssnfD,+5d(ES{_Z{w1"{BGzn\P+ˈR!Ե (;XA SíF#+kbT]dB"CV^SNnEposo/A215%M@ʒR}ty/A v21R^h =@̼rtmF \>$}̷K\D^jO'vbFgs'ř^sY ?F9aƘQ~ odG8@6/Lr0Lt(sMrst~A&a5kq"āB:-, }9վb lE>0 z+ꑤ' :rj0G1 L:7dij\\!{*<?2c hBF4? \wKȗ>^TDI_w;d΄&,b>.[\C=X;Y`ai$>پ=Hw%WTR 8X٪BHIY lņe Eo%e7r,]=GGɒu`s6BK:usmp ch3j@x܍3NSA،!nDcI2ȍ,n(&#gS쨁w%(|8--{7M7}eӗw{PDqh_J1 %{bXbC'>*n RHħ"|/XL G-uk?->GL瘑K#0z,:Tn*d')ٻ]:=yufD̟Qωb)SEo+?tPp@}zW_g} ܻeEؙdwʎND9cSr!N;C۟͸]ߊa`7?IW`;on 5+/yw< q!ӱ`Z,t.[, Vр*ђ`dyE*s P.L(i:a.Q{ B bdۖ S#x.u6xժf/ȅzۀ V#Z LUJKU=V/̺H(Fyݱ:Dof EXkg-9H 'ËplyM^u?%_o%Æ ^-L)ƻiu!n8tjac&ryC>ԉNWٕ;oƚ9<+znEDYu{uKcFE]d&?UenTf:U`%K S5Me51PgɭKVצO/" )V$NZ[L'j1q1]WgM'r{}_] ' s^io`tHaX"3U8ȍgU*ހr6/XN}Ê | SAj -Ēcq{>Hwx3Z@#uw<  1QqiY|bɷs^7[R¹mN(;3ʹ&ρTͧTQ^S2G2ۀ1tZseLnr X& {Iih#+,d>ߖDwѪZY(A>?!$ּ Fo׷d!}nJu`<71wMZM)fN+*?!Ԭr%;tZ [phE M'9uJp>qAͨ{ 墭h ["pX[c9&85dwxQB[ڐgŀ:\•ݹlRs.f55q,E"<$_QHZL}AM;SW?&FV~m3ƚs1Hz\PK(2mU%ž8 j?8\,pmqF" a={fҳ"yFcKDyf]˧3 鼎qID[ U[E$SD΁ujkH:ÜBVtV5wÐ*Ư%ֳKBvޑQ5΃k*Eg`Oaz8Ԛ6ocQm;^ˎcX2.3;t_rE۵^J8ܴ:%_*C>U_/V֨W}SrmÄǏµAb6ҥ}jO#- 08onI(Y@Fֺu0.-?15r a*qQ1,b$ڻT2ݔgRd~̫,IfV2]g_i'gaqtIv@Se誦V T\"h^n0`3ݢ1| :0>\- ]W k{AU NmR BI (.[{D:XS^& ՝ҪSiP>,ph.0 E˛ >CXo<`Zü }/ $'镗jpl8G,Z 4d W87z&q މG1Y\zt>A:eoqr\aPESg8RzCܨ`|ayr[ZFKN°'Wڳ&̈́EXvF;l*{&O|b1Bqᝩ۬, Zy^k.r*uқ]s-[2&*U`~uK%P3AU]}@P[~N1l1գc̷٩%G%ڴR|hgLZϨ"_[19)MXGkUO4@^wc^OY4FG [W%Жf5Bݬ5$ɋBL|i3FjV8H-W#);pmj= &[Ԫl|3S8X J ,X`cRќ:Sr.A$` _FL-+#`wq)B(bD0r:y>1ڋY=u]~MV_KRDכ[]>IXS3P Ba R{PYY`\3;fn r rz!~Rd.^F"fh_rw?݌ N&a Iݟ# eޮl4tFX4C77b4GXڽapB`T ZЪp)= D  Y0V#;~CX{^>#1)-K2Mԇv}(b?j [qʳKY㶆/S 8J@W#K&~7{JWh #BXQ6 TCז5BOu uj8!񹇲|i׍ ,/IL0yº! ?+oKٰʆq,e)~7k\+}8&%oQ U?zXW)Q .@N$8Dp贛@[K9wA ( ڼ#09R ̔Ɋ*J8T,!6u7m-Or_|he +Cx[pziL UڸqH(\n9LFt]nSIEPU ‰h )|fOQw!]oz_]vZLwP2U;%Q :'.YTT{}$km'L]h!@lfU@%U)&:jp<5<LT#MC0XtÿDM˚ma_6~8uQ}wkIWwJcB|2/nG7_G8WYD[tUk_i%| {)H|W!BѹI<[&,4dGMx\ :W]Q%Sᨇ^KqQ9@䮕'7XM `YjOT# vyHpWp>Jt{oVPlu.ڦݩeC:bsE9.R*=jO0~:<0Lm'U+46ߌlQjmnVpBRD4'( (=?&cvlQ 0B\JeĶ}/rvH iSV]RRԛ2_s Yc \|qh'GSTɫe\"=\cQogRoU-ґs7 fg?]}e]9n}>@Sw>*c1CɫNd-ö{рzAi jnZK%lG5I ӛ4rtjrBI`lQ6gS}wAdA{긏vAK[M=q6bGViJLRЃ_e'U༢DnWƼXNLi*@zQFZx*'8 9L/.JwKDo;ce$Zk-iVdm(JR8+cm 6WT@w[|jTʖ]P EؕT uퟩ"ԁN{:A!APv@Y0P+bM3UJrU=ɰRNW]e}V1Z ^-̾ J=vrL@PuJ?]MMPd庞*XE=MI,5hta$T-8$K=%}7BAx"#f%9CJ1f]a0b%YPsIfCeP_$«3,pRXHg:@NڈY-n`6ٵXQg1/mpuN.-(bp D!9 ^PA&LC[Tp=LTac/C; Yv5bJPS~0aD.`u3uh,~'> }.&@#"Nc]-d[El5NZ,T_^g 7[C}羠 QT`ZK}: $e51WK@s4qegJ2wtݝ/=\oWw0 pWÀn(ӹ}nQZL:[36 .LB[: rU +3PqpUs HIqI9TU֙Z`$JTPl jRQMw^CTg%ˁ¯Ȟ FLSw" - \G.-?q\lGO{_(I7+hNrnᛔ,ʹ/?|\qwxaرwv) L`Kջ K!hTzCTWCn;FضX!'?O<YaGț:8.O]LS9.~ *I ڸ&{RF*,0ǎ"E'"4;uqSsaߗUP@\B"֥2^r>s5&ġ{(U>䲸`Hu<9b*qG) m*~zftx T\sIs6Ʒ$e\=dT,v%rJoyEg[F{c!/㚡Uqiuƹp[GK!2z-)^9 &bKw|{BO̰OH\W;\~ e05ZW=}; q ;SSڻJ?a^P艿\>ݏ@JIROO[ H  {#j)1.Kl)O=:x[WWHM{oyDbQ/&,8Ǘ Ǘ0\؛#~? > |. 8SݶV" ؝}VV=l *c: J•Vum59`i`78UXO "#na@ a^|"o^fۗp򠓙a]pDd&=0H}9v"}h8s]ZKh k$+0]3h%KL Row)#KN=kk:=#Ҋu\$.fC$\˪`?&~5qYPHc#^Ǧj \-zR# &@ڿ\nWؒ|r7}o}0mxzҬ,$&`\Uxꢭ&B!U2z`bO/Au~1c'=hlVZ8K: %j 7deG;DSz9[.q`3W:Վ]@ (!% '. L6Ӂ[Gپwzd{{U8 c!p,x]=B L SirD0"g!=̛GIA"G$CDD 'E4(tW-cs篷ۡ0`A}z}@x~(V-e  ^b.t 8-\?TZn]p|T $6xr`;؛şnGZ#Pڭ|I'Dxg 9/[H7>vpO*F:)C1?%9ut2&Xl9/fLk Mt3|]l&"ݻg>̅hcW38i8)ͅ &x|z{\YVqܳ dRs~gƸ_h] Jmh~yf&*Cep= O4Zm Jc(,O9p˸M K ^+ޅEhKWZ?B+X4ܯÓfآ{}G2a_$@q9/ O>%3Wӗ 9btd:00\2 )ʸx՗JSh@+;'\㻉;[>"Zg+iwƀ}ХyΡT R Xz-q50\OtڵA##E#k(CVXM$d#^&& D'r}

e,d.D{P9!!M3Xh:Vg\U:R=T#EzQ SSYFg|8C^6$*p#UW*?{O6s!s1>e='izםIwfiK. k)!%P,ͬndcRJf(S1@ V&߮U%(|l@Fp['aEagu4ٌE c;Rt}Jc"cL'.:g ]),^sS%Hc~k_/w^rT ZbӸp_c趄#xi@PRDٸnR?D6AwANi6Q3|ExR7ryں'6_2C/aE먔}Xo%eyb axD!\F+/$.N1FwΧѨC&OƇ-oL0q=^cO+FH &F[ DVLoT|Ab9Ī̃xL6ft@ؙIg]|Q^8* nqE%rנo#XH.Nfg pI]< )HB̟ԂPJބ /y:Iݥ72!ʻq֎;I6Pp*dP]ޥ@dH/@"BKU ikͪصK\(=lU fR[‰T(7Aw%6Ѵ0%h0L8,FDtb&7&Gm%F(ROC7ᤂ7y-& ՙв rؤ[R,I#WʕoJz6"! i39ȨW^K{Pf_KސyTb=86>*=ݔd)mX:R¢&I%&#(/L۶ h8~ #Mn-~PB݃x |-P Iz#GL Tq.U^(8oHװ0`6^%C~⟥/:_= }ɱ/AYDw{6-XE+⡮>%h2er q.}X2aXs?o48"Rѵ5WřÜA j۩MoEc cM#QflU5 קʟZMEM.fy Z\{GLTgc V#_2k݆:"h d<+6Fhm$հCؚ>i!9;D~l'IbGI&ek.1.HS%Uf~ir,QMtL T/}\)6on(^_p{Gt]B'p,k1Fj 7N>>?1/ѡ3M6ׇejWZ|~4^=JF8R;pL6׊VZ5׿hs rYMZx 9XtWK )q%UsxȮ&#L J_XsfE8COda]89b9ϿNTGi&m\1N]TQj9(Tuo[Q访FjGzrS E?l"OpFMAڅ5tC9VH싯?[(QSGz yrF12=NtׁNukH(ګ?=IV`LRo4CX i76AG%yq Rʜi|N;+*1!}L ZQJb{/s0?FnwALyVEx,죄mAEa?$^oj!@; V b71fR98?8sr*&@w-}TY{P=09-==ulՀ>KeG9׉f  }O@/{BD_N Ur|B}mE:فA~ė( C_Mz4<96tG(T:\ /ϥӵ̆.KHF~Pn:|i_^o۶3Ѡfz"L&tr'}C{"$@yn/m/Ǎ&` 8iî 6{%R5cFU5KQ8a S[\0WR7:>"4^٢8 `o~IQ06!9|@6@8aηZKLr93b٥LEb\c׳zΈjB/'v+&P5_g&t,ڧpldQf$lêˮӃDL$3[:l\ ɫy2Umcܰ.C8r_Lu Z=3|N"':)d= ~pLM5);xO7lnDr 8nJ Ac&dzaA(EY}oNYw)c;F$ܹw@VN&RP0}itt>홂NƠ[|0ku d^b'8y2"/U@R8Awu }N$}3?_7#AfW(K+(Y3& ;R$iYQ_e!o$殨|+*bje=@5~!O5 L< d?BgUtpq"3uu"fD6 >0  >6lKNyMB J0[cAϜ&Ӹp*OcffLIX6%5Z&Ã+ڈt#Yeؗ`1D1 +wBDrNyC;a5iG`|a0b]"77L;% -5KSS:^aVlšIgܐ+gŅb 0 f꼎Qx¹2UwmJ 8H)רO yV #tP[ҭ}q5~įۄkKm CmFN3>.Z, :4Wk 0g8`Po7 _821\9B߬FoWcQ-`|FVԣƙ\j[7QWs3t+()r$Bfk mr$Ne6 Q5C9|:Sq#B[e ︌حڻ}y  J0I*0k8 |q tG4ɝ_j3x*( ?1ɦBL66[] "}? ¡o5vb DNah7eUڸNӯhj8Ad1:{Jv%D|T=UsOauJ<6\S45Mbkc}YDN/>bjo5} ꦀ¢\iw>N4%قlyS"ǽo6Բ/%?N+S lh^on1X>4=# ݱf :"E1uKڦgԵWԳh Tjo%Fzx͉I ,  $?,5,r'!#ȐԟU.YĉՕ).,.d$3~KVL*CJuƴ&ԮTUނ8 񀺪[MdA@ŐjɎ ; گ{bNi$IdiΕ'%Ngj]G1_b0&ZZ`vaQ-ܢee8,!jYK@$n)#f=qOoe]bsnC\]Ne KpX뵝`5@_#nt6;5?5]6Ab4M9X"@{/D,/GɧFJߘL1mJIF[5 >OE 3Z$0"o#N'3e{_G?8į@H$DZ|ЍL< LYduGع }w#Mi"C(PTEɃ/Jig4q_}\ljZcqcR9\FSn{n u!@zb/Z~n?IY)᯼yVU6۪x\W1:p9ѳC }siI :K{hȈyFyũ=:,e0h 4kZM8%ʸ zI8 B:E Rfµ"OHAsX13Ʃ//F7rOү boq"ﭨΗx]$g(kl[jMŴfǘ4ʴТKnx<̯FTl%QM$؊3KEu;+AE9 .Y誖ŝN]CXErcIPv`K=UreG]<+@;X! o:XРN~+CoRJ94ா8τo$0Ϗ]*?!ݴ_:Wgo@8\ą>x ]ظh,!sͫAvX5gZssրB"u$lE(39).ȗ7[u6{)3@Ilx\\"gyoha][S\ߐE+zx^6.Y9+߁p\9SE4lu&*|R-qW"{ѿ/~g2w SvmҠ\V0Nlo`bШy(C 30nc%W4 ɠ, um Po،cלmI] P?=wqzk* q#c;i8? wلUU3re"^D$dFT! GƄO瑪 1ך2hciAvgָo25tD擠N6ݱoKT,v;r%-Ȇ6H}hçJ#Tw3DJvKXc%f(uaGCx3>YQRA ՠ"ntS!}+lΓŻ7IB>OHC] Zۇ) ҭ 35pyU ^uF10՜dv:+rp>"쒣`cX/KoflwM e?k I~uz-+YZ\>4R^ER!P%ʸ!akԄ?0Nw#JeoSj, iM,̊,!'H=[=Uۿwzsiysq|-i;_ c#: e&Õ[ ?"7}z\ym 1?(#؏k-s醲}tg49,Ad48WK 7>(Eᝁ`}k2qG r D%=U LyV$XuH"-ZQ`<uvour'il;C^l%_$o7ͷ^d~Q-M|+pitx~fÚj+q,9F_=Œì߰R# 5U %k8 zA|ϧ6>`(|u!+Q-8Lqok(usb)9vSg XOqOfKd[}s]q-Pzcy`nMDL&w#<2_NMˎ'F{QJkuT_4ŠRsE>W aԨCCf/8M%28OԉRb\B{vڼ\Ӧ=X 9L 䀿*pbp2i0IPfj٥ײŦ',nOa+sf (QP)l%8u!d,Ma?S, >!Y yAsg 0{$f!KjDY>kB\ڌfko0'𠠘u eHZھ喊TBx3&s$$xfidn1@! bwmD}eɪZ½;״K>a-ÔZte3 3cD)+Aem^}?!5Ȑ ?Xg~0Nei_ty8[xPlw!T.yM׸HC9Ob}f-'tvPmkh "+ 3!Zb©s4aY"]a^|iaYf$n 쇁RɃmic|CLJu4/JRZ)- ]#]_wf:xv||qBa!}Vs -6}o,ٰ6`-kOoC {Gcq|ȤxCT͗RUڻƄ@n67*9 )2alyp  @(x9JnEʋB,vbڶR\Y됢=,QWJ\<_ſWW1%f.&)sFt8(ܹȪ@@"{ l)xh!qH~gS+%]&L_Fowc+Rz9b}\$Jܿ#C>4.wFRd $ʺ}䵓-|hc|34IUZ hdFL@@s050(ki950^ʥNvIܰ+Bx4D)R_f U -6$ &Aq!1a搻LA ͽ}iMa3M0]+T-=t=iXy~EzT@=99g{dE>}ngG 31{M;Ԡ9__yIdw0q`a"+[QT?3e3Y[9eFYuE%u<i[$,ު0U4SI_ɨQwBI3i~=LR0'/"Kҝۆ*' E%4)=JQhfMMk)8f"-\jm4ȀD=HU-X֠zrZӐCBna]-}"Bbupb;V[ ѺA**fc ahÒ!{VY6\GEOXgHS6fLڅ '+ X=K{tTɷxͮf[$Dd0#KLiD([^2~$FIOVtIˈ Z0?VA' `I ruH s/X43с/Fgr9lH0іkWD3X3VYR%AOF'bxkqcf2Yckrj_;u[O/9xٿxak/Yp{Q\˺\HNZeCjRvgUAW&xo Jd\jWd,#瑸6˒!ܞɋWTE6vʅҋ\a@3 qP@BuoΞ\g),p^^@BZ ~f-_ķ`Gzݍb/rJ[w"pHlP 6 y&'/(2TRs[x}x@0P;EkPnsl͒c0(8ߤ׍V1. Ə(V*{Qѳ,$J7+fՄHK]iMӖN0xh?ȷ-;":U}VfЇMQFnKKeEƃ3UZHhbuqeBp~nk5TV?,"Ydn~ݸ ){mqЃd{LIR=WdȢ.Q~~wgߦ7T]tU1D`; ^}18OPN=!g2/Y}0Sk/)z#JѫR@dMUS5ͣ.T4iBP6`F!{UY #6GW CDwA.t8>Zהbpg(+hp.MٕczcPiB&so^tcCݤPAsZݙ pq|RjNI@\v^ީ?]8D3j"Q~0M7f@], bfJ |b6L/uak)u&m(G6BlhX+$ހEwhbQ׊'kPCm,ZnŮՌ6X&&hZ;j]XEQ6 zm6W,V4̭:In yײ:.G~]j9 CV5 x܈&8JDu ڇxX$~jy7*NpW긣6gLk #ȗS*hW1t}nk6i:eQ>ǎ3BSaZ=/>< 6qu G߹|[ix7gE_[Lƹjܗ1Cıkj1qk.|A*fK ^,9JfB[u?]P?_d" 0 +.JpW%ͮvk06`j;& ЙH3j8kPD>Z,bIP=2ܪjhهv4i8OAxv" `GF^5r