SQLite format 3@  .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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 ggq1td ] HOL-Metis_Examples:threads=6elapsed=15.740cpu=65.232gc=7.7727zXZִF! ÒE]ŗXiɟDYK<;#&zFb4⾕_5QjEDM öJŋTؘzB6dz{Oe -ިvNVE;qL,mec[ ނ e͡+s 9Q_yd2'&; 8Gҵ_@hKyQ6.jc3}،05ďBe+2EKhs~bl[mz&G|57YXxg3"Bu#AKm *(e@)_I"u6(&v6ωpܿi]uiT6J =p7CS]5ڭ# `k:zVdʆGG@nU)gTONk v$cX*r06E_:hUɊ8F 5Vp%xFs[/Lwِn3}55L7yƺ_ecMe#GG &9RМYw,Us:sMdhP0ᓸ_V ج~W*%ꆂ}}ť->e#aM.'T "Zpev3QTϽ)T^U ކl J,ڈujluՅҍw.q>e Y"Jv:̌Z3If fPG!<֑Z8Vg5a쟣ӄ*4hiME`๓ 'WnK"V8^&? ݉yNqlηCϖ1( w| Y]56Zv^]K + E L+iܖMV%}y <~T_70+3fT_ΞKyȖӰդ # <}:r袱PV B}U B{D; "L>s@~&M$9-?U!WҜɫeFZqQlU Fj<}n6v:և6~I.HZ8+X(ߩwaԉop?LpqrU/$ճB57c|R:i\d%hjSu%% $1i7G_q(czI-e_T2..*37 _ js/%Eѵ:xZL*p*aрZN&5JU4 U|12mMXArj3<.?FNv}GE{χ uί_vMǬ("рOW SHd/,X]b+Iq<[e醣bvšu'/sQ`W/ٝxκ b됖ͳ8eM1IJ+;2|IR< O]d "JLVSWk{|oLb6ydbܷPE1A/h.R\\O?`|y`KHҞ%! '[uHST~a_)_M'Fư̋\t 8OX:ɭDe7.S/0]Zlx+ 26" ⃁cRN3&da4*\65m%S-rR3C(B1y'ܵ`pF@mɱ}Oΰ :󂛃s!<(> ȟ#SԞqteN᫿k6bh"+FC7!< c2`H}EX x֑$]`gQC%$Qܺ fuĆ H",ok_i ͼ~nHuG=AknuGXf* ~frVY{k%ץk9cE0/_AfK6)ro[Ӽ/~Ւ|><6Ԧ KÊ|:u+E3I>vEQItr8pz+π l\@vv*g6lhSH(Q u_*S'}q>e (; _#vxNkڬ>WRzh;j[4MzKl8 {@Mm).$k4}KC",V ,BV4sщU#;C-!W eO~ǣ8.&EpHcd! 0ܗ ^j{(?ktĉ_Nסw`a^TJo璧rwxqHk Q:3m>O5m `‘rA3켨@OB҇^ol e6b R@vPY!F6zrGym^(V\: "s XO8e4Pf4/|a|A5R/Vpȣ'x1YgB= U>Ƽ!BeJ (&QvEd&E]8=LSPht5^lɌma8qaIDs^%+8T?̽'ӳN{B?ޟټ*#0gTtLR/m..ON-$hs"#g7gAw#K`Ԥ 1 HOL-Metis_Examples  gjэ.rpeOG0溟|CdYz(yU|3dEA98 T'ّEF|_}k(lIlrGYrL rGTsǦ=2-C?`}BDҧ2؉QzA < +jLSh=Q@z!m!Ӱ ~ 'D@E7FJx/ XۂQWç|ׇ#~@O--_ 0C^|(y`@?AO;8Jp J419nTp}H;UE/CĜC53K'x$eGsKBT,r…0G鶾T$y77eAYaȕK?q&#eиD'bkjWJ^a=nZ偢 @50[D&[V1yG\M_oRwpD|ؽ'j@~SK0z!yI=ENRTa,ntSe0XO{RiEBL >c5pG] $O;.ܾ? lT%Jdf W U0 t P1ws3Ղݷ[M+} .es[:a e%$\Ԧj[ﷶ`CWe L 4 OI RY@ |ӒYe%HR8hf.tɲFk fOh됪u>w۠\6:b"^rMd3ԣ;_@Bd8l/=!1Ώ((Idxc9}J~Hò ]FMJ52< Nd'-k+ëApgm,Maٸcٳ .YފM~!? `}"s.Ys '-NSM8̰ʌ[ݷ ٛVi䒆ݥƒފfş:\.ܨd;92(^ J9ƟN΢wz j6oRS0jJ^}5-ѼpCy{^ԍ1C:xV0)eӃ^E i*]zO0pg? "2T45fr飨-_ LAڅ!ۀ2ПذGH%]#B7{ zG;ס0N֗,4˚{'=dMS8횎}U]'EN;VB͋6ReU ORvVWcTzeрB3Fz\v+/sg>s(WD 5冿B #.@Q{? _YGfS=L CfiX2=L~D):0l}odFc 0MtC) 9"" ٽPAJ&)#=@!WK3`>y ,:&]#:>*r FLfݞ,+`9~sph[ubQ}B 9Lp31hEo-}8 tw`Z:{T/=0a/p=  oLVƸ<܍پ,?#wrͪio#or(N^^~jj ރds7;lͽ{ZTB%DM2ȀYD1Z{zq5 0i[Hi> ]pK3δ9$h-N?hxJ##FxNe!`[]g&"RC8]GvtqX.9!(6nɴ˾Jx}D{<C;7j끍[ڲA  77D\PXwwuR=u۠eYB,L-`3<ɸPڌ`ۼ0yt:|PX> Q`F^~,{it$4Z~`m~d݆1-]ƌSƌEyK,_ C#ȥE/qJ+~SU#?1 e1G^0zr"BX0e9rܘ^-]YaJ=rgJtD'2Kh0"/woJ 9 H*j}aI}my/thq=j stɍ0~M4NG]=phP$ӬO8"6ijp02TmN1,9?@34 z?^cRmV;T[іXkn- fz'!vz?TgZ2GYa74#NQٙӻ+.DDOu%ݍ/UG6kۙ>?*lO\fYK`QzfwHu C=7K7vˍ()D3T&6#V $T9aU#NSF&w>-]{,́೚}Nrz/H%1u^S:/rlo-6B${3inuфnY.a3ϒdR5&B׸ExY/ḭ52`Ea0$Wφ&!MOΉ94"of,>mL9R 4!b A/JZBuh B "Y>qڥciOͪX>t']eI-DmzuC6d mJ0+dE>1DQc5qaVbt2ɡԠC_P(Nj1>xb-ߢ-1*yHPe.Z|OC2v2{I)ǡ:':&dG) gdOɷNOFӿS9cRTcPtk_aFȜͧo1oeN| ^q6/I[b|g5?.@a(QϨ"y4-=`Hwm׌CEUcyS)HfG)0.R(zٳ` xiT_ч^ b5luu]J:.!~7z7k&%;Ow CC{o 7ڃZ]_CCلEֺlO2UbH4MۅV[{$"D<,W5uXq< bǻB≱ %3ҋ\[$wn#̟7b ?+LK8qSpѢbULGuBӮr2[p'.R$ 6#.?y {Żē^js*X(c-` 9yGC8[0]%9ە&W3x ;"^/cb'kZb\~q]Z$`fvJuCHr&r=yTAȜ@iq1s_bt%TAIZ,TEt*V6cîpǣv|``"VƲs>5.^)X^x.} H+<$'7x:(~7gc-gAix۟zHތY욾vC_pSA&]ND;C:mh ,d+uMϝ'VWƐ֛akB^Q,?DI^ϕ5 >D|PaA p-6 o?`ÍM'Ij6EOsE?CV-!."M(C*{}뫚&ňay{ggP[\(OCN $oR k;' gּw?ZAO_akH 2 =.[p #ʡ8oQu5fz%Shc4DI{g,Zcp}ZGzp)}觶gcF 򝹎)9ǰ? }e=E.!pߚJB?ew:cGK |+hӬ\K1)oo0ߢN+H TVj`s Z;~߹Ɓ|i6=xDNcs UUވ|[{6Ȋ Ì7ucLy;DZRZA!4bjMy֥,G[YKO/dɌE&ۈ ,4҃^`hI\hl7ocywg|vP5Ag&tf גw8O+<=^DqnnJ@%)ĝQ.]\ )f)ei1kRȺhXX8m/V4:T;yĹS,&dBε1rz\X1ݲQ}Q2j9?RxPh)ւmp-;;{D!z[} I!Ams268zWq<' *[ɞL?djYR҂2ZPp~ZX'?`b|裮𖞣>޲(XHp{]Z[= ȶmիO'e/^`tXJ11[r!N FkAʵknaLM.g'j 捻Io KK!9jFGmZrfakvf0{ 1:v`VX ZQ@%1o sc%?t I ;&k!x+pL5A9ZpYFrL^쭼;O71~d<`ȝLA70)XAM'@Y~n]J`,nAvqB7ꡈ=U3ׄ:7}9/EluO%~]7j?h"{Bm~+ k@1zXYuy~NDk,*f 8 B "չLAOs#ɈȯI){w\ш[`Ո)|: .S8)b% #VFv c.9H&e 4u:I̵`C3YF3Pź&O{ݶΒk&GM2zRX%\] һLqSK/jRT;#k#S;¬(:;vHeaB::{khܶ>] Er*M'X٫|/`TX_{JP\b|K%gM#4=y&[vۚB\ɨUr rP1TH;Ԑ~%iax_Yo2Blź}+'7K=8MӼAؕ !rtWXcy>w<89_-?TDr܋μmD??WWoJ^[lƩ]$wK!\E,zȬ=X:e[C;1HVC62\ dȩ#Gҹ&o5ZlYmrZYI.57D=~+p?vE֨`v5b ?󽵣.TJE|2 JHcmn!"\v^f]H8S_+CftIqj2ZE4f 'fnB4vn>+vd)"g |8P\31( ] 3#Y0io:\8(aK{,]Gpq8OdϚB.OI u[m)B@Kj ժ^ʇC o ` C0oV֢ϫyquݾHőW%\Qk.ɵ'H9`9jr~OGt GSo.VJcL Vz܉ΆPD)F( ڌ;~p>!bj}P!}َz eT>)6F#<<Z&TLaIL=_RpZj$_B]SzsNѐ\+y,P5.a]^- _ aFt\.t̜R9p3tf;=Fs1-CU5NhS.kƿtHHQ7^6}[*hES|-j wꮧʢ/?EM_Vb+uN+Hӝ)iF>08|$ƧW1`M_8"P <[g5<Ķ n3#_X]%|0nB;u))e *"+L3Z]tow]q{M Ѥ/{z|[ժ_gR$ɕiA 78MVwԺZSI7K;w]t(SB79ja)Y/luC3Sl7;ǕK'tJ/ɑrӢ2LKNЙ;Ln 'ԿoBTHO 61OwsFFHn?HR?sGvWÿ4:$ʪP ʹdB{rJ#0Gw#Fl+Oe3, ],ID[z.34yɓ]'05,Gv9X'<\\b *3쎋gxgYC~Sj=ܢ3gyxH潘L,+byt6'z;d-CZs q2zv]l.!E[[|ze_hĀ5hJA8 tU wUx_ފ'8;*Rwgus^@",[)!.6yv1,/oT|#کi:Mtx02!:{lWT dl4(]cGm m2xLFIv C&}D^(b%Id^K!fcCFƈŸ j7ӗ[k&"A RR&81j }=.t`EAᨔ$?!F7}=O;vb0SU:= t4rz׌ՃMO͋MC9Ce 帀׶HbzBB@AKS4Xi{BgƠEbW?%0M]f$bʺA4;srYK/ ܲBc^7,QQuEQ1c~}INꆹݛCgR2}iR2s}w{W>]7_b y^1}s"`4c/"|C_G٘4K ¬f N/ A)K,dpԫ-[̃+n&(A);̑ËЪP@qX >ŸԠ ^ՎVp8B~{m a H9ti(sj'O9S:ܪ?cFQ"3g5V'GE[:ȁ xC+67Yp&/yQ86T ̾Ֆ/8 ?wO*c yrDSZlYˢ|ˆA('WOwvVaL)u (+(x|ҕq\p3K2E3(o*1ڍ[=(kb\O/4jTU !I<8Wq+Q)%xvDC\Oҷxgы3<1rnD(HT s,41jSr3tM]}e."1)p<-.Gs Yi`3h6?.WӐCH5CոA#>8aOX!0'MCq,YhO#Qr P#6 oo)@uH |C^Wk/aU8@W%C!LNBіZ$ θֆ6Ql1ZI @J,5{Krq>{K_QeGfSN&_uʏ9-`[RUWY>cvbOpF[w(J.ZB2vJ۸@(S!Ww< TSmr a|]4yE@9T88ȊFDPCL+qC@(yZ~YB\ K+ qL 4߁4p*_V1l)F͐+w7+Kk~OsU{'}DľY-:ff9Rh QV5툘jY;0,B ޅO7dds&Zthݏo2t.ǂ4< '2} AHқPûwiIYvB?r1ԛ лxHc!*3zTgÊXaXrgoq~yJĄ3YCuNCvǣ͸#j,NsWz1o6{j:xzx/=H־u!mkW]'EO =< j>,ڽtA<*X6qEB͌ b8lrE4#@#U7s]pGLj6;!9}ï!qelΕ뼮 RnXZ*1 MVj@j,F[&sPr= Vg0m]6)!%!llw;Qce¶Uuj߯J%򱙻2p:&\سCRBAn6+ζoI5$S= CHI-&FΨCd$Pqu9W/u o6BYwZiզOthBMhi;d;k39R˒vRp?[#;LQ -Nw~Å7MSkX~nx("{I7S:&W_>hr_e H͈ӜS0s'wk9Dm1衑HUbw@prZy^7!)ޡP܎%je#-T xH,>(KofoKҘF@cA$: KuO-Eg_2| - ,pus(65J`  l\,ݟWh7Tq>2ծ qϾ,D`հ]Fw[ۍ)(⒁ՊTJr23;?wA^PȰB~U;=l vxLe^*@(akkPHĄ=2jsd5.~Fﹷ!="I N;#mOT`$:O#JK^>ɪ]`ܞ&':s=hl"'&;Ed+'&5dZrnjB1㗣(ϸ5Y|%[{y-FP&Dޮk|6,l(&wBr,If ?oW{-?-gs9[l'X̐..T_2~<>vI4;r&ctI,#.R\NÛMteU >o]f}}+#f0_6VUod5"(xJ|ϼ0U <ۃ Y[)Pq綴YTx5$w֍`:Z%kO+Qe(b 9h-[\'ba;3԰bz#5qFpunsQA6w$ggm0rDB-15e{68漝3;TJ'qd׾1ZsnLcx`9v|kChxEE=/ǎ$00|)S;Wzl Em|0t_yo{+1372mf$Rc2Ўb#;:%\UVAbLr$;dast.MjGi 3ytך ЈGqhT1˘jeL''7xħތVP. w1`#C ZluZ{]C!__Γ{$ >` ?8oI,ӈwϴř9xdj |'){c}e.4#@.`r~8 ~ sŽE̡i"C0s, X|F`L]:5F}gpre3oPUYYg#xB 6dp$rS Ndvb áVp ֝e{YineP#.S2OĤ~/x%C"KW8MBbZj:,͂ 9=ϰ#;f. Rs" #~MY>j5Y] Y@ވl<Ҽ1_RYpXYhMT$._rDV-k]ِn/Q-M/Xk&H֣y\3zl43d~XvpNqYr٠`-`@Jc$̻^Zv_S[Kj'̰f t+SMLiÖ00RlP7 ǎBmR5`RCs6iY04zwQ&J pՎKdr:y)_xj UiΑ; :69P%l=Ijb 72 ]Аg!'}4ϗE*׻ <}6'lefω)iEd7<sZ5Ay0_e-SEݏ>h!'|MS(q;Jf;7)RzBtTڊ~\[_9ʠSڙwp{dp1IWc[.-7y d,pKWUx}y`2ásA,䊟QeThmUgԗ05H5hC5D!p:L_y3Z*sQb>eg` oɓn9 MUA F,qmAD,u uH/X#هy BmxLp2ҪK՘8y_B6d {g-.J_5'v(NJ{S7s&UShL1p|c++yo ,`~W|0N{ޜ3Qݢ  v9ifjw޹a\G@i41V/WS!cXjjS *kbdOb5 en#AICoCDjJɄcQa5FfX4ю\Kk/Yh_!^G5 j@{Y覇-zh՗:WsOTϮ!^:zPWXmtqlQwHL Ee+fb!/@c:ygZ=-6od-9]sV &7T,F[_o&* хʚeMHxOaR<875Ϸ!^.{LBXoޱ˸@Wn\0G,)1Z 1x}?q}gth*z9ڸoHG(Q=%R_ ;I=uo -(,hx~-m~1eøVu\7rPsX^u1B7q_cUwH1kWMk0XO*IfOSYz?Sgf8|2>y2޿s,~Rk$Nfm}Rk5{ /LKvf*DyU {ѐ6ۋ HcHYL ÀZ!~ӅH%/ q(vpl<}41s\jTm?< YjhW\%]!юdrdPbtQ5ܓ^ݹƶnO~ !vLxLXrrn `$6arQxjFxHHcE ]:LX(`bkaUk7g&rޔ#X/&_U#0i !Z[v8`fmd6J Al%6Nφb]JWBxZ)c- k҃ $l\ҳG a=E 6HJ%d>cHz#? B*6[nmp80e:::d<ө8X?Ω 8KϺ~_k:8wtODƘ6=)q]֗p$Yԁ: 쵹&._l۝82`쉟Lc^ۛR.kqCOy"HX7T{[ t>c;$iH7l/ 2M!i `FuT zc U;|:Ԣʊ`t52"q3S 6ݵGoҌ_2C0byCMw uB/AyG'WծR5a{rԲ\;-' $p @rGY-f_񞆫%YkRu9bn.:}Uj8d_.92E38p幙W:5nXNUc<5 5g>b J3@^5w$?}֐a KʢpZ*{jB7f&lА`rU Y-yu*@[)n*r}&@ù! 44\D vb UB +~ wh\-B:`$`]: lL`=B> HpV%xho0;NHa;4R[dܴBD}z9;%>sXsw?rA)i N-CN Ðm7FVv`M^A6) -Ia!8a([2CFUPV7ժ!mJo,I Ʊ><9 ֊3ڒ-q|^1ʼnC.G)La=WϘQQfלgj'TQ[7L0$@j( kc47nYSZ/[ ]7~-ߵP?=qlN]C;>\:SNsS093̷Jan[{6>zG._$xDir[6|sߘIژG/,4])R,D,0TeQEB|L}SmX3orQ |w58S5kjH$61坘Z FDe,#.{kQ{+VOrț&p/"HӵFfi;qt=>k96Ŝ7g~AzGߌ|1TY>94u(&/J Y-~)ǽvA \۬0GL\)u(cs:Ɲ4$$ɴ_rӥų&3rd*w|r.:qNUENtޕWߚx:t-nč&YYdt~R  w**iXe[XGcG'iyEm8]]"ʡ)z. x9R)waG!لGw7,>r"g"4!@(,q ry蟝jdhZ߃&quGwX[If՚V& Ad;$F.=[zRZ3vfj$1VV65]G/)N,]u\w ^q55j Bm\)"GHүF8ujP|;?2*`C<)!lF+y_E[#dxS9uX0.Ҍ ϓ㷉n?KK)%ql :ї}/Tx2F9,2NǞh I6_>Ιq}jÅÐy.\v,.2EUc^)sAO~2n{ qpv~4[J[)hƛvRx3h@FPXP:^Ѓwnڡߥ{QS_1Hঋ;(+2HM)qJ#-^4B6OVr ԥ~CLNoI.8HH- nt1հWuZ+/1sף EkõY ͢ p-buvoݾ#t)[JWryI!w U<ą :Y{ؠ%Ո a4|aD@gmSC\MTt ~UvY 5a[q7;,pKm): w'5Aϖ~~hSR5;eg-7 JO*Lc|Ѡ8}VD~ן:0Ot]sx 2me!iˇ8iMCyFQItEz+c ;z9R=԰LHCH۾ϮI։ZK_֓-!üG[މRTQ`ŗҶ\6+#]]C]CRS cؑ˘݅ i e6g8ofq_cX0ĕҋeatm"-(9938V}߲RR98pZoKKæ/.fO.DЉ)Io!~k~MX09# \KșpXp|zí+RٹrMUV /.H\,oX/cnǂiX4ި9h(q5 W%b  z-$ Yx ;O.ԳFUFڠU[Q0w(Ȏc_=Fl3_1!MJW TIo[ꔗ dJLߧCP?T${#A:- .Ώ5W;e4SA-Fߵٞt<;ܱZMO !"ڷ\Bq R6_IڞzPW03C-C1y%@߬h16^fNx9qO.m\8~rÝűusD*`붍\O) f+uL*Vwuj%jxSտ 43#jȎiǣKit+Hb>GI q#0 zٶzZNi6BaKt-$eo]fFƃuI4`<~֘L)aOu\GYDQ @n(MaBZ]\_gFG>\_3֍`wS*Xc2(F$ ʸ;O|L_~g_ąAkRz\j.Y;hn!+Vܻ&)Z[烓owr4 2JUϗ,%Nٻ[=ք^JT,_ܯ3DxA_d`̓lرnhMO7tLq[:٦t>{6cirtZ-HC]r@(a>offWb(dz4T(9#_IdR9nG͞W*ȆCQ)Ȟ̈́"_hgfgqJ{}ViliW!t,;:Eog1YP+;FH H02!ӷGd0/($SlD>JW#BKeWǗYDEJ0vȫxQ$s'{njmeݘ_lh a7n QefTCAnzBO!kk"ݬh"MrMAq2[q/[^T{τ Z+ӜqdVn~uqMjbߋIL%M M9_W;w SV*qzIȖQK+UL76&~G|MJ[LͳXTfwGԢ f; R!aPdq r a& 6uO,=ߘKzz32S\ ݥ3]&R?3x+z'e֤;z#7Qc٭͑rlEpxYPK\s.qwS@PO!U[7ӿuSr ~'uH]HG8{$F/˕s;ɒɃm J8N$Dk ؛#rcq$gbڪ"(e@ fT4Q#7R30=E\K(Fَkd\FKlf{mםEq:j*"qfH# ;Ck)pb{fŐr:@;:WZќ rg"~ ܩ8e10C ZؼumJc;ۓb8DL>ې=x}vG6ۤ)q-Exnj8)jE 6 P7o7.l{fF7Ȧ){5Od={@&jvq3,3ZF t=Ubje!t A-2O# .TOs[$ݾl ",ZM-Z؅_-RtX{;׏v nEZ6d9=B,{,bn|4K^M"R,O+e?e) I@Wָ,1'A28ix[Ιqn"Y 1mHk?]>M-u$#g0^Ӂ_YVVx'grQ`9\!r!`{fosǵ[VKT5 H:J`Aygbwef'=9W E&̑|Yض#w;7ElkH/Mx7l$_qVZ7njx1ќ̩ۃ`+ѕodwMTy nd#Of(Y\!ˆq#aٖoY2C,qJ9|9 h8tgՇZOm_ WkӶ|1We* LŇY/cid<% `T:zFp6ťq|=4Z7$^-\Zr]TiaHx5%IMfLj|D%,Җ;/b/y#Żo,dL:I6#!}i$s#07{va8Vv]ÃI)NW)O7>XڽdcgA\fFQk^N]}ag^N߽uv`!sAТg0*K͵wͥё0MxŁg"s(4F7vj7ʹdXZ`(dg;qi7 c%|+(hɪ %erKc %qGb[|÷4NDOqӥ \aI9ESVC!.uHNZaK%orFYAJwr3s"0}TsIJ sz%=YKKK"0 Dޢ(&'Οhg9(ʀ?S"V}* ]{p 򴻥)[ ,Nal)J$_G^/Rsٓf&M.emO$ e?w2C DIF[UdʊC {:ni&ݴOe9gtO _#6)IͽA 4op1#g94SU񄒼,6)x%>L`b wzFʪ/"xb솮YIM*jڑٛ^ZcQ-K^{\lȏozCBW%F@r_^ "=D~mEaxѝEiWG(rJQb3 Jı;-Op_FHfב cO*6 bH75(ӂkofp&jo* D'uf3$7-ONNrzt{MՏŅ^H?>VXQ5m1iS dM8;_04m!`ߟ;Zd?D-T9nm"kk?QXKO%~tZ`n2WM+rg :gOhI=--Haҩa7sā?Qs^X)=f۶-cLLj y^O}yZ(ꗬ0I<ÝPP1euIq9kG4LB|a[׬7pnjɲm>cw~yUBEya Hkv6 pv4}wc> i-<w5t:<8x\CP٫sTU$]f)dBa}31 e\T;IjfGWF5bL((a.bGa+W;mUX=av/,;9z`;_̐؊vZoo S U ZI : C/B ycfPy0PXLkf':?8!ȐOw0ylR$G={5VR.T*lNnXObA}Ef^`vcLYz| 'xB0Ֆ#o~_=|=^) |mYT8p4>** FXH&?Q;pg?Wԋ 2QNyia8mShA ~b5[y P|{׳#@]77=b|CZ\KRZ&a Ɖ7{.LWˊT^ӹV PylrCOFwiw o$Ϊ[l`"L"FA7lmg~ꍐN-"(m:O'/6L2 ]b'G@teqVؾ"L7o{7anI8Iؚ*[~DXMNn{:-LxTvJZ.>tӗwG`eEf e7>Hsx2ӡ+9[ 7_0NlקxC)0iv2='W(;'a2]ݫ<aܷs|ӯXŒ"d<r߬SIo:_ F/Zt{\Htsp9JQt 4cQ(]}*H~I(^kEF0D2rk-9D-̀3[ݚz} 9P ;m@x+# À悍*mݾK~!g6'ޏkDb f jDŽD ]Wa@m1Y&庨p+ɖQ(_97|\#p.3I\n Iwf[獉K (`x<|fiV6$  䦣#?&]ad(7 gapw]]_yw/ ZTBGlj|6xӆC&x#4$K^{<OW` <>[ftPmwǁy [#5WiE2!U@w29bg{V"mFCWn]`^NbһHfb[3-Ţe)eb)sK!x*_;6>7yK yԴ=vTvs)4HgZ+&.5[<m{4}Px:H`;g0;sOD_F(i/˶N&?P X}jwp7%QW+̞8O(+ ?w`{5Gx0-;ty\cLz?nUjt9SG%qi6ǛK@`y8*3i 3g\{_  c~#1؄ٰ 4gYZ7zXZִF! *]ŗXiɟ1$Cܨ }X 6P]!ẞ \QM@, dyyZo,)6L(J8SˎK>Z=wG<>W-S0am.؏W 񔺩@ ECt,iUN܋3tdZ_]jSLG㞇 N!b&XJh7.569P)?O"N0U\h+׸~P3H|Ɓp@0&ESgYZ7zXZִF! EA]ŗXi%L&KG>Ix0bλh,IZ`DG\ԚTw9)|%!|d&zK&xs 8֚1iPPXl*u4c<%܋t'{F*Qu@=x)ME qj |M1n*]/ yރ<Ԙ[=Q&VAek4WЉGӚ A&&-= qq MT07=)-0Pe6]C`D{"_l`Wu|v8=cR.cTB[?5oW#K+3LZTpS\:MJVXcD*SqKᇽK,cyḮY,=Aغ1~V6EV{ XÌ`1K1~i;FtMlB gMUU@l; oaoGH5!]܉7hĐf5&զcx0+.#L9pc:W{lF`PZR>;UfEKՂWŗؐY{ ;Sm-Tﭬeq_\?/%.Ӹ-S{\h @ jP7*:GDOUA+~4zVbv-8{U,|HNւ:{J!*͠cuCy8d9(5ao+kGyRe ßs12mk UI08p<*kg7iBC9"- +GnAB;5Jx(w$ t8 ԕXHZ*6MӥSWfIEl7Z.'/~[3Vg[}=_63K }yOp}Rq?gݩY] jvH0Z;!o ee$vy̴|h9Vl}c#VN7'GsTV=h7m Bg