SQLite format 3@ .0:  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 m#T\t ]S Psi_Calculi:threads=4elapsed=364.132cpu=1205.936gc=31.092factor=3.317zXZִF! `]ŗXf[&q?5qcr5];[quqt 9{ȓ@zJ `טTlҢ |l,G:kR))r5=7 2;bS߀LEQWd2՚]a62h g6E0d7s4Ь(#2P :-#OaGRc۰iͣ#K".ta8&wO h8faL]{o G!Jz=D@@t </k.:c  b2g|kB>_ЋI(`,by@/vq:Y_mIs:l|yp\@@͘t!>` ג {h&z|`Ҫh!pI5\Pnd.wGv jE2Dj5*6ź0|ޮOdDq3`mq7R+|,E&' Om$)uBג3G D)%C/j!Z0IĨ!i|}\h,}Hrwrra535(0P=' ɎN!a}s4=j1z I.ܿ> joYְ#ŁCp2;YQhBώɢ\ZPf#M?DXNnL ۤ{*p_`Wz) TWoAwKSqkYƇ3n˂6:'E]gi$ޯnVn< y3s;X6̯ԡiڛE5ca Xa|^bH.{M:O6ٱpqpC2"<7Z&T4#]*{"\sX2*;Ô3z!F/n (E e^J>k`@մQQ#5 0CY5"_~є։ 䁍x٪M f㩓4,׉LsdIN{Kt*>Uͣ2˖h@L0B)S 8@Z;Z]OJnomAɵaٷA.%)[i}5wYMA&}]U޻MŐb R~^4fZf2-e%ņ'NSM@#s:0dWBl:Q KŁ>z~CTӹ$%-{dj HpeK3wrWmaLi2/N(*Dp_V g G_@)y7z#' x!y[cر,s4^PbGj3B#C4m}?FoSp!2*|e 7vr9NQTb.J i2Ng>}^0yn:@`m!&GpIt v+Ԁ<[X{+F+5rɗa 䥤 T="ߋ f;҂ J 7"掽>X: emf^{,^M)B!D|6xMhedWHީpkZ&딌<n )+{A1tQ5H#WoZ=}wgfjXPy7eX<V@JfLDx `ompa;)t%}kYTl%WCUq &um|El0# (/RK9Qs_Ek:롕^Mxd8*C{^W7G*U0==+@=͌~ƻ@?Dy> VAz)[|9IA{ٯ%:q-&@Dԛ)IJL|sA\>@Ԛ PnJDr%a>7&MW|CbP.-N$_}pup;c/7-~$-fd9Q^hQ͹tjάC|h_AO7.;**G$qKWW/FO)ȴ-L4| FK-b=)h] o>Yma<74y"Gڍu}i*,c}:E h,'dwDzIWgsЈnq2P*wQjgȂq bH]qr p ]j@YӦ'}▇(DZfDs:0.E)@0bqc6(f0O7iYw߁ԵSN]$f*<1c]b1$4M'  ʊg]fTyZ9bb K (MvBj(W7E=-S3nf"<ś>[ 0\bw)Ukau%^p?XoH ~Q4VܐUUhOr$|;b,4􊞍Z: /9\I#(+ ".t ++>[vR֩YW#+1g?MVX>WsOX&,g>,Dg6 GXKf@5e0 &^d;4Pn:NH\'bVԠ$+a8iOP HxUY BIiN^=e|ù7h%f[ sȜM½/ Kqy."!$)Fc1"SΜS0p׬8u~GFs4rNb-dם1rB69yU׹l+A?/(da݁UfҹnwlVsهh}dteB2_N4@TE_3̚*fCVu\nXwyhTL1QLn(5XbVlAeiTlZkg"$(pE~GB߫W73:Fw ¯'xjxqG]GII48 t{2<QUmk,&a1&fzQxGV0W@ZI00zbL(捥)_ 0$9ӑ`wu/+t񨦥z2ͽ ,ϠV]&ιFQw#ߧ,DI,{ãڧ )zFѶc)oZul*_. nm ,k2D0TlUw9GwOSk[YaΙ1T[MqRlbpN0؟OWeg֠nq X4<;dz[{<&ǯ `A ⩯T \oYS~a欝1磺/NoN_iTaI+dbɭ[#Otȱ{E]M&0TDCLLʛm NXLIb3Ry/! UA~q`Tb)h^N}V5S)F&y\**\i6ފ= =:؏J8/]=HWRdž"ƘqQՒWp:"HNUZîc]~<Cm_u}rޫqmyR}cN&mz!֑czv#󆙑 xP S PHIO}j!H@ 2Mim/@cŶ4#qBhXܻqΗ !FkG1z=.#Ը1U:J QCǻ Ժ,p]qNnrs`f2NP'+b@H]{;P"*M98O%D4weRuFx!ʤ>xqVa'!D:1ٰCxδ$׏~߀g^W$(SbAFU.Srڗ.oess ~f3IHq|p"'۞!p C4%p)1sM Ӕe$7l~#U)o~ǯ f^(jiQFӦ LHƒЉWaH%SR9E^blWޫxUg!:)} *75藷8]bvWbo"K5z'_qɆze\3* $L9ۯ(5;ڍۖrC.=PBO HB47G2rg*VusSϡCősXi-%4Q^ ?ҼVbj,gJUH3/H'=uQ\W 0rtZ4vDžڷ8ƨKJf8_mrF{=[s^'yS̩^077Z)c\կuAg2[h Sla2]VSc4tVjc?(e>HJR -NS[e2mrT tgoxGUֹiɾvԠ[o ]Nx*tZ*9?V'1JQ ؃5|y|ևfHpõ]8iht}dPuCxO\o@86^#*Uo{('}M>r4Ȯ :3&5E߿#fB_OuإnD"w˛\jb":I(™Nd߶ ' X#wZZJʆՆ&#DО9]B6r,iP2O7&n?8o*KgYZ7zXZִF! N]ŗXiɟ˗̵w'Sɺl!\d'Gs2"YyA={RNu415H =x0`2[yqvT(UJp}:QQPř% NۃaQ_COD{̔Rw^"=&n}.y%5nx&if.Um 0>lU c/9kXnYr2+B[[ro?7<:س"x;rΚƥ2$+%RNc D{Z5:Rg&ΓVߨab":4+b"p/xePd/6;|Eb.١Hq?u i1\"؄F?A4Cvo(]Ze@Ka0rzXĔ*z-l8q5)$޷ Bk|A0(@- lhFʇvk2&hH1h$wjALCj;:?s(N¨Ԭ%u>o+&N&GXk؄b [DIEB81Cl\L.J\LF4C+!; sǑd,r & pf3Bf"vkc5~P=eTٮM&(} 4cST5SQ5#`Y+D*ĵ.,k_}α 6K;i>ɖ KK7(ޏ;#b 2R۾c@REp(@.\V$2ꊢz>kvbv͘2uԳ5bedS m ?m46*OPHg=kqvsz;6_`j%Lb8nY*vҚ+V6U9״Oywo@G(N!%u)XKTQ~kOV&{ʻpӾSk< 8sշ^#= r32T"("'#4O&?q=.玨M%/AY}xN:|}.NjJom/zKNԌǝBd([ؐ6Y~GrY !JNe:,`t"QwK]JS=A_He ȬoX'a+ݠR:i!,.B>MxPtJjF-(xy < (xV9 c>fHV 60sgSϮAč& ݚ0 =bZ ħ+Je7 1#؍K-pb+mV6K=e7SI3pୟ+5$OܙUYCOr \2S,bJR>fp >'[_2.p?c*v'$^/_:mkUb%< 5uE~6 rҳgS!2 [L<W5`WGX D8$SNS"QqEq/og|5AgveOs!: +ha&L4P imD>Bj-[X[F\WPVV"&%7h?y9]hëZQmV8 p\=x7"Q(4OI>"R.DezR)=*J7؛\1Xkr:(;WkCyk=|L50תdARŃd,9.n<9aa6nz V5*,! |-AOGA JyΟVt&.꽂j[d !BJRM![GfK] ra\]$WI/m?? 5ғ! vO?!VU4 6|h꾵w*Rl?&ŸA- K%@JȞYt:yEX<1}"2sTGUHe8΄7f}x[lKfZ\vm"z]Eۃgɕ8ơCGXVv!z=:ŢZPRb5 enLRH( xnUҰDlmIz>ÕMpvJb 2n[${'IJ]@WG2rf/-ѮD@Lߛxo! ;/ʮwX2" unƫT Ol4D92>p1쉩"xql;ͿG և"w7#o״3lw^ } Q*("mE% "#mjI@b, T1Fa~:Qd|.Tr&GPwFs!Rup%7*8+bC1?"%|SG9+޾=iZ8 i#b⼚Q枳./i䋉[(q vy~71D$Ҵl2V h F%þ[/}f#m1 5?%ɾs̈kGVDUy@gs!,Э:;G? DK}U ĉ-± _g$τAX7[X[ȪfuZ͉O?1YL|$ C J8SDYg#{ХyiFvr .#԰& nns WZ4LӬi!0?RR(~v7ǁm2)5ȼ$`zP4cO:(mN=ꃙڔ5Gˆ2t6*f6Y$p#`t/\z_ pd{Λ]@8fmuUC;74.$J`- PH%z#nX Ϯ$}ɟj۰Ƥ|Fw"2GknKCA&ӳ*/Տ\ʼay$/gjzd}j(B/}+򝭔BHu,c8B_1x"?>-qP}8_R =sktYVcNy²zdDn,n׏._9g?,s92S4 \t # Wo6BAWXõ`~T~'6W\`& x 2Mwm>oit]~.rDU>;}k6J [rBmr f : u)ɯx6=p|27CR0G'We%\3Ń%ScЛÒgT&,MgBԵOǯۄ4߁WӴ8G?je,{߇NLz/%f~X /Gd- "HK|4Mǭ;1f)]c9^r 3dex,Fvl&DA:ݺ|)H׹iaf!svIfQ]Hn SZO[:A7+~0B<L_tpL;1e\#mގ{u-a?^!G t";46m.; >&&:Nj~Tw;pV}c`>Տj;h|۵V@ >}*o-5{d'{gϻet3@};ȧDZ#ηz aS-Χ Y.JdQq׊nn;mVF'NIՌkE0RJPaf@ sQ\p`P3LQtٵ9#>2wTIkMv6l De?wfU\ =!xV1G~b_j7:|h2$2FN]9D,nB`N%VJIA]Iex/ښc<"2eՍ%<-I]g5~1̡(xFw͐yRVBg5?cx1=}A kdȆl[7HLȿ(,rϰg[k6ُH.]$srB)eŠ0ci-5j:tHQh͟*]vXF}tjf}$<QJzލ&ȁ2҄$;ZM1 1ں|AW7'ǝEQ<*N#ul=uJMGY?qK> e}e$B҅/ p漃P~{-jڐ!{ppaֽJ UWmThwzbm;8mduO/,IA:dwe4b;[o.@\7 0uX=ZFwVOh ~Ρwmܨ-~r ØzX;m')*tAS0ܶ"j\;I9e_I ֍ӝЍlHX]Q}& W:hs5o6޵RJ~iL0) QX)7hD56lW{J)0I&t1E]xY/-,z@丄 !7 їUk{l98OūrbЁMId e_\+&rceJ| }<Hn^Oz{пqワ` )9*ZrBo_.GX5L|KT2.k>CBj,H3G_'"I*Gq0WGu@3@ݦ bWvpK=j烍F XBTS^ʸŕ̵w&b b۞$hw4`8>~n=Ask"Ǔ;A cf;A]wgPr3p <ّ$9qK1>miC G<[Rz?"36/QBjcGB"NM o "@P,\ht40<0{ T oYo@<fsKIZdsKcd`v&WG}-эsn~r #ə=ң1 GCfTZQhP-"V6uN,~ڱ}RH6H3E%pKx_0L*xA<HQm@ B+0Z7C^r>WC?L,7jxǟmu͆ZQA،w|d=00Qɹ 1&1ޢ` ~I7D3]$YM}q#! 7$a*2yJrܗVzpP2[D193mߒjjˇd.ΐcY[V,PU]v{!0۵ugGxY*L`9xR@XV+c:$uYqwVs8 lq*햀pHqѦ m5ȹ\Ԡ.ψ xvw)h[pB .&<2{(|Aa7 W#T4ZtLoa)O g.3 SEx4Z# hqDCBmW&s"7[W|j%QHt!B\7ϝku(98 D]k[-e pִ᭪v$IyPOHh`Yy. D!VT6P vCc-oĻf'nm<7biNB-x:[;Æ'2Go=KdN@|\F)M'gugf*MޤsCtFvmpﱺ*ާoo aZ0aeGdkER\Y ] #f1`q}oC2naج0i5_E~L8n0ШF_C&%:c~N/DGt CL|wDSۜrG+F^Oɬg]q$ȯ'ŵGtpp(U B\Fc/fd{`f*N7iH'8q]2רGx` C<2c{!d{ǽJ +G&{,\Tw9iT3EB2$[Q.F_9Η ;:+:*;D ٤z9 YФrL|W]!+/iXb‘~grɆ*%vDar Ii(gZ.X*.wrlym*_!(WGoK]=Տ8gZSH)1*'2a,oԻ WTtߤ ߛuꓷjIug&/4FR7qjeI/w :KGPG9K]_-0gFmǭIǣx%YV_t/*WAY?Ce!MU!ԏۇ?B-I6B+j~T $J)wR*DK%6~pLN;+}Pܞk~CP4Vlla(y+L%S6mUXb) ,z:uEn]XO "psu(j&\DOFߘ`f `K79)k]*@S m!f#g9kQ/Vg=[!?$Z=[-K_S7{\?KE6[hOR t@3^P{{UG916+OQepv9AI"Cw ,ϴR,6q2C@y>Ɵ&?w$pnP.ӂqv6#_mn@&$n D%ي8Ì.Z9(Ayvߴ"uiaRu;Ρzޛs ?ȉW@v/+JVV#UǤ,^o2Zҡ='x#=aD.)=lPϐg<˾yZx-\7b-&dvĺ'\dM9)041z\B3^aF+ wL z(Aätܞv"$vVS]&79Q GDf}8WjA998''ڶ|)yJrR@zY^[Q!Yv8̃RٶBeyꋞpx[R{ B%ZIF><':ɍ=\Klt=Na3<37P |7cx5TA5!!<X4[!/ Csרj3lR IWK =LOvʘ#2NVF*߼zih}>wwdNP1r]6@&`V~߶@2`֏읭S)OkJDPK{4\gy3c# x寥iyy#VRG@Dq%ׂoU Ç$8}&M0+3.`tЄI4^X[ j *Zk:lLݷ7/ACf}͚ebgX(8o47lKwsQ%"}ȨXƗ G~vHpF>ꂾMңxo"-APPhn˿64+pDJߋgHJD#XzG'֣b>#+0~P5g@I0.O oQb>'fq[4i"_[.D5(ÆIMqVu׽/vn,#UoC 4=p؏!*I Y&wH-%7C%F&yPNg>/o#y:3 f#uzP {4 #۝׻r "g[ږnh߬LKyj4ĭnʊqATOMZIwJznu ]tyschF|X8Ʉ8@ NcsY,s( J9fsg:;{`AM0vWu6-nc35a g t?u*gTW-u*OtzVhD!q뮠W*lGV2|JUm܄$m*X/[tzd*H#Z1}I ~0 B睒9.oEm[G?$uZNQi<4`gȯӳYO}iƹX()0;@ 'e< {#\G8!c3z0GGSo|,K25 K,8F,YN㘂s߼oy8}f0bpQ%GZ> ZrXĞC솹q1a9|I=P$b_*ZRqrpҕH!wvZ+ }%9b4=/g}s0,:o';RjjpSP'qNI4 V!M7}RSچtl/&8mLV.]$u=Rxi~7mar_BܨRf(lS WG Y\$Dy;[|D NA,\R_c3$.[ D, ZoԶ 5M􂆊 $6U2߇Fxj*Կ3',aEM"[4S7Y[3SDWn^ >E;%2?;*DN$V7/~9 %4fw&6w߈:֗"C݀e>sk|l( @(R]gqeX {q1 y#G +k.;i ,Td^@[tP9b`S?3jBuu/zpL% "` _.{TVIuJK* y9@;v|%|{R^ѫb%AfucN:4&XOCbhK"UGnRđYE]ҫb.rM$^6p<#XxQ[KݓM!}g:B K?$T nv/~y'3<}5o:=\~'eXD--\Ug 6jap7Pa 3[C=B~o%mNM*28XoPnOqe"/SRf.CM3KVASK4Q Hv5̖O>dz[Β#S;̂^ I=_|yn7:VwJnJ&Ldmw0aEl,Z*žɸj͗{L'`-ς`~OgdAN> 8ԴЋkU(wAxb {T=hi֛VK5ߕ-P#9՝No>GkA8G҃#닅S yLAI ez\x͗N>CUF8~˿S@m*̌ ˶!P;~ۈuI #H7nK]bw{B4m-v˝`r" ig[E;\:B?CzK l;5MqNՐ~q#=|^_k;ub,*/הhg Gj#.rVP}}GWh/C xoجN#搸*p;bJ1H;i.Sdt\jmi[P:YNc_V^80oP"/kX:^S) `o ɝ@:r }5ug F*:ihMgPL&Z+hOCr4'wK5l}4}f}8 29f! īs|F$S݆eDAµ7=ഽ\3 jXw[EE Dž\C_+S"+A|Z&aaVfrfDvw8c9,(n H* I3L둿` $c}xQ>K3SP%TePkhuwp惘; Xi@~ $dh'D&en`.lzfմ0tlwȍЫƯ#c'!&Ė=y_<Ɨ%n&|.r>0@͂,>Y˩(axs}%Z.\,ς-/ڰ[U @ݗG-3i  ء$XtkdFyК0BL'ώƦ뀇F $W2p_L#FX>c[KNF/. # :}R_P#9v#G:W_uxɏy$2]E^#A҇ܡxYσߕB2OnXf,=EdNǕ_ {V [/Drı,$w o0Zu#N^@t3 ׻Q:+hP!JIV“^Ĥ|ίXs#<2SKA(1XH{Q!( H&؄Ei1rJu^wK_xW=YbIAILNTӊ4C<\/Nd%ttCP|Q4vnKϞ~NG|$qD9i2D7wLdk#W|y``g[ nQ,ΛnV49Ϗe] lLuq'tXO/mg֋g(couF" IRG}H&xg XvWU<Ȥn)o9!?f`9[ 19&zзՙ^nֿ, rb33m#@e9QWU~:=ڍR8ȹ]e?OΙb|#r*ɀ{#A2 qpl ̳Yû7$S2v3I-'^TKw iPإY\LƢؚlCMOs: $|[G 䂌/5F_ܜ%MJXUY怨Ӗ!x~H{-,3//|_Ch&p.Hk Pgh͗l`J=sOR@믕F5b>e0únA1cMͮwꝅAd\GxDk/6%,aFxp.$L6皖^}m(-tNyPr ǒ\<;FVUjwgqCcQ82[:֦ribP93k9o8P(Q~ S'-vw!ki} ,&ZG2)T6ـ֡`R:{w/vPmszB)x ?#zs'JPm()`c9l GGj˅emɺ_c1H+sº{ENtdZ?ޗ܄Ǵafv"R|='&]<+dH_dfRҋc.w|P\29s KN޶kU"=sͨ|!< zƣ3z2]*4xy(B-zNjحES&3zGnj:U_K }uMyP%Bz~4?I ^{xgJZ^ez|jxzJ*M-mMom[CwGv$ c1 !ՠޟquIgIY.$a&rRouc*?LZʢD6$؈6nt`WJ\@7MME'[>Vۣb90UtAgwYĎ4J0O*Ђ it; ZUeNl@7;NEj$[WԳ?$jQ7dR7 xid=`7y)'dwtN< ͉$|x,KoTN$^K/H|G1V9%Q%:vɍ'5ClzkUVDw/'}?'=Dim7.\Ow:j?(Χ9 @z.p_M1i8i|@<2"'B~}wعޅg{咏&+vQ J{ONɄ ɛӍ"ׯ=4c9vʕgT)dE2PM8]:" DgpZ}<`lb0 8)UiXB'., Ă(92ʑEg bB=y (7zWYVDLr֑S9_90Y|zRqFǖwt'xNZYo9 6)mFE_ҫ+?P Aw]8aϸ6b h ? 0S:ֶM;VQ`@^&*sب^e5FJMOo- 9yi{hfa&_ 尶ݗ?ŵ\NSOB:k%0O(Lrۀe*[JHz [H̜&yF3x8^=-}`Y%+gyx}-B5>_W$)ո$[i`m4 w9yVOʡ:H˔#[j]ܶ>4XdZbآ\%g\(BZצNAL&G"Mx_R6KqXIDDN TofȆ yփ7Te~%[!O-m (*Z?<{\\`<6Ӡ'JiPM3rc\}9 jKV - HX VDLax91c:ЎUɸY:7}P=3~e̝P>0˝ mX<\G1]{*'ꥳSJ#ŷ.Fr;Qԅfvo6[E/j̴7< ~T~@}ˑ܃e?| I3${<=Yc@_%~-˰.FW-xPP9{BXj%T\t~5Z{ })['\"dΨf\p}Spm^RLoCU_J\zkX5~*Jσci+lu=o ѕc@$KPg?ê|* l^>@ªa^j$Yf gh_WzoW ph)h<9j](+(pp]j~F}pm &ﳺ} bq7'tr(ut\YZ|7jX5Zz'cTT9rnUP.PQ.NQ c,<Է:0)F 5^V3ǥhێ 5O!ɷP@Ia<rFsq)(T?w,`׺U%0HkAY.5蚔/ p]4P$qy;͐5.kxI^FFC٭T= &L#iq-~8z F1`c ?QP49qT)㬔$˳%Z1'/!תףlJF0aCM͟@MÑ{.W :43#Xȇ=PB L@!ޗl $SOXw@fz]2?絧smKMo n(%RL<`a(GU>)hd *_b -x#] q2 YT)TlaVq#-eh *!Z69MW1Hّ&B(u57e9bˆWSڼctѾ#O֮oYOur,Iv%(Kc;0wrGKY9׌Rm.uBfzY(A KdbJ4q?:.% ʧ#; qCqMP-clvI2H%O/}y_(Z!<&{x0}j6R~c.9$Mp춅H2Gpќ%UlH"jxoFYѰ?ΑAIQ=#ѥL}eGOi*uEijnMWy)xeR($=4nS-e3?#(9loz}u>GZ>-_#T]EuGY!U.zlu2.lz!ӽ;eAw;DާfϾ6lޥRo2gp4f_f"xC]UC}eehLw`"n\:z>*<@۔Y=1Trָ jj۵p5Fpp#tdS+[@{ڑ!N>-+R?e6>Rl]6v RXnYT} ZNO+Qlw1a;ƦssqܱKaaBUFut/!% o* J!=/,$-њi 8Dȵe%OW[ڔc:l!lv␆uѼ@< q8J~ {;ȝd%h"^7 {AMmHN_uPzD!|"űC(E"BNI۵k YCzXlu d8:uHR9ũT:Xv fl$NOQ%JKhC3ʪz9EJ,8I\}ʮ[p:&%UO8PЕxXyHz^~ȥ0%8:>)x0;4J &lwRK(.Vd CY6wlϱ=!1},*0I%=[LiРMUR;$#KzWXQAmƿA@_YD3qAß`n^@ޥ"36 $H.WEV* =G uS"1G jt6 o/Je/cK:j "دZ^IA߫:loTǷP.$>g Ei {J=:/t!>s>Q1Wea.-}5 nH^FEװ>MsDXNhb Ժ;+BYqEDrcC;/;E{H+G 䫛cI~tavAp$ӦtP9SiEN] ,X9XOQQ )}5Xl8:w}7>_1Jo~O盲:T*E:(8" Q\.+\O02+q! Hd׻PhV3t]~upSw^~}GGsS5gD,(ڡƬfIwk5C .RY@RQqgݩ%TyO]P0)g~d65I & $oJv8smk^WWl-ƔV|!Z ?i,u(}gў+ @@=e5Z@^Lߘ`&ƕF{!duYЪ ,ҁ|~{eMqp+s'+X.A~"+( lT_` /]Ӷ itZ{Iu= hS)%;=)Ғ8S-j^3Ds$:U*!$\a{{ JA D_l`pAG2K1BPdl˛P3h=n =i%ز藼J:%KDs,CD]y[lpķv7)񌏺hY)NӇ,aya2hhDt \ŀdti/ƃlm|LCW4rneo+6m<Ioj]j)QnȅGò&>ryK-A}l3yUmmyJk!^y;̏/v3^7aM@1{Q7y(k˚pVZX^WxK)VwxmhUߟ,cwP?>&],rZujl!k'5K=\f^)۷AHsC\#yHQ`C3 53֓Am&81-k_"߿uc`8Y'0.>,9$,`+yq.)mfA6m%35#Hע>h aEtabՙWP,ɻ6tbRfMN.A0$%B'$Q(1)nb!:5uW3RojoGc0҄(yDݨr~# 1wъ!>ZQ>2AmNGǭ5'[s$Jw?eV g\iġm݆b~^ xjHV`}W&jVRD5P]|;Q=4KYcv3}cGA*ϔPK~dRv_~M]8~D.5"0`9O!!gc:R$X=0x:jc?>*UæY\h  TPgN4Ki=4F]n#^Zvk]I V؄"?"SkU]E9_ ܥZPgn&vh\Ϟfu\EխT6 9siV, U['~istRu YqT3B.H:Z'{qlƩO?ңKtA⊦36Mq[Gʞv 44t]uc"/LT*>׺õ@'`eXzύ"GBhޜ$VL*F7=޲ug }< 3KbU6M'go ٱK5[¦s{7)IZP|a VswDQeeVO%e&Dji?suNj㞃%89(fs8[됈ya=6ʤ<%C0$vķl},70-:#𿶰JVb,cӈq"\w- tLMâpk:܃\}U#b + 1E,IhBR_sr)B&DFA[Cs(ױbWkB㥡qa(XONTX.q\8N@\j܏x7@팪;lgUt뺥ɤ4O:t(hދ9˒_a4ۀ0ɖum;ԻU õGL7xl<נ(pA>)D!i`iSGL%J"!º*_D3_KRVʆR+J/ ,GM{mqAy[\~}SR[@n,#za`~-8 Hg=B6VH禠 fddk,J 3>s$泚iw/>ņ~txu>sq>dΓV" #`f*O TyYUOAAx@]"Ji&+]W-%ZnKrnMՉɝKސa.~vò]Da!F "}vP+R+yI^m ^\}(nB y'jۘR.|]\AF阎uIT0d<3.Tg@=l#G{XwA,!NR3~JY;R%@i#Hzq lO=)얜wj}V=X&}z06%Ꮎh iaR90d$Jhqo_&z6]la* lu87Ւ& yL0+%'{r~Dn|_jmw}* o̔t$P+OSO]fs_ϯd??D@l+VΤi`B;{a!=V \e>4HÕ 䀈85dˉfI'\0YJ-wys)ă93w~wc_3rY5, k/ڔb(RC/B2^zR0f$yXVFKfQMPs&b:0O} Ւ;ŵ磔?,XXX!"Šm5GaZ&x,;4wS˱%R3cuRI@N'TC1b7MDOj'LoVFM? U$ =,Tl ]:C nXO *J>YH]gRfs3ψ_9[!^ ̃b20?R + /'ԁj XEq9>j*U0#>⏎Ӗ;Kh $w'o?Z1 pOh{ CK%T-lv{^P: ;u%LJANuKS1XXטwo6BF0J2nf*hAG[m|j ;wsv iiL[,Fl:h+l먓|V3PL<_ZJB2j"2,?_E)F.:\m2ì*ӹl$=O#GsSCnFKgNI\Z~`ƤhJYwܱWH>ߎ7 9-P{G#/z {@HwMg<<`s56.|I W F#%XM3WiOA]_rioqvv/q=]7eI͠6䐡\WZd ?x|:3VLP60<[6:q *@7|7_FN m&zEg8kZ6V&1r=c0Dທ /%zVfgTj\޼&nVqEri 38ǹ{2OpiFsL$ʪU' 19VRio6alaW\?HP'Kf;8] >uhd[bS29:[1xlfy&KP1NMk#ōYa(or'PI:N f0cU~|ɢqe;Y?}c%c2q4#43< ~zxU \I.l#VsG葱CqORtT?$d4lQiAB?rۿUwP0ɧԀQr|Z5+T.)g a(x/(HMbv#Ta !e~]RC}ȣIrjއ¸T {e|F`kh>'~vIM8eedut*.J`@k_49=0)ɂX>t*>u|pHJ+NΪ*>QNGP3r3dUdu<#C0mbcFN7Baxr\y9].?:;ޤݤ2[iw+UthU/A.{Oѕ> sz/؜Vu3dTֹLjȄiT:3ny-cWָc+yfsMv _B=+Z_yU |^C V&{*`n"e$: Ӗ|D}(Lcۙ(D'R$f1XHw]Dʶ{vh=*5[ÞYV{ tZ:gƿ ,T(_|Vh)AmuxfP wɸZVBz!BW{ AvW\Qdc0+0p#%(K۝4>ӯILB ܩ='mOI`W|beßbm]R›w(uߘiXzkC:' Vf[K:g@hnݝ=vlFw.Z>r s]|Ny,H`0hߪ_va(g˱8%^z)CGCB]ISyE<:K_&8ty/\{>!_{JUiAx!O{3CX}7sʊ@e^.J9~.4Z E׀! 3B7gp6;#cNEiWVN<CG#R upةg.W+lQM$E SO p Y'P~IxV^2\^P5/jIc cLձhe1q8 J)%Ƞg6W6g'x~::* JX)i)4=uTlMgzwmZg&g|r4|pG=%?tLȉ.bD^ϻVJKj1 A^N=)Ts+Vou)jIOq!V9ÎΥ1QO>P8iռ3sIoҠPswPpH;9Z2ؕ_9!՛gw) 6 fL~!M,vT^L8Gغ$I-Jc>?.bO|2^5ǣ ~.ʣ}\Nƣl5<2BX|h4P4*5 >KB{5=(Ky|IQD IwDc]J08V=~P& OO 4]7p$UTIUYenh<#{6CKa}F+,H_&:,tgZ>BEC)̃y U*gw4 @E ‡pN98>5iPA$[Iwr`Ptj4Yҷfv/EtgdP5LFUBZGeܹ41V(aށ)MGבֿ83 ځSe F%~av=0>Ob o@&l9 A3e6 kum`;J ذe4%򕕻}C@ϫLy5&=.Hñ*Dse/&\6,H2߽^3:蒲`zZYt`fcr+N\{ؑm#ƨY"6ŖPqJC~@)fCHeVFs {2._ɵzQ}ĬZj@!ZjXDDv, FyFLK]+a1Zw|nrSO ;~,SP!~w KkJpiM0Z%Ġ_P.d OӍ߇H$lKdUjME9tnG͈KU\=i峰:UhZl8䯂jTBue&,o Z)]K.gaLϻd <˔[A466C`,cx3 T!mfB7!2NeWMJjҢ@_><ӾL2V(K #MWC@e&B7K97LaC !pr*zb4?qu,47 !V>P1;AQM;n*Et߬k" kL  XH%KAC:lr1ҁiƄQE2j?٪dдSn '茧䪳]?~!"v >+p}%o]\QQA:#ecH+n_J`5N8TӫZ4hխ1a$zl)4nj埤tv=xBLhdB;0,ۃ=t-p:L@ m-b0j/R4"ak#FlSVS a#}zzWy`\sPT7{'"'kNrYIIȃ9]ۜu݆Ee1o !ulV\c))t5'!9#XLEz KȀ/Q՝nښnqGFYkx$^"V.PR,ni ȌKN9#nv`@q8Hea{<=w'{/"-NLv;c_.W>oUlzӥn϶YDfQHuezܠ|]|VW$%<"Il[gYZ2e350efd474e4e0227d54acd90d5f0603458ae5ca3a1775be1ea4baf5315ad6630d6c2542be8f5bb f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e 85abb972e33d791a56eb0ae4d28a032db01c9061 91f8a0d65ede83da123cb7ea912f72c93842b4b7