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   @%\Tl ]/]HOL-Analysis:threads=6elapsed=317.588cpu=1568.920gc=70.160factor=4.947zXZִF! N']ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl8[x'o#ME(5|*b Owa1IZC`@=XE1I)Q 985&-'O2{1$On HAٲGw/mzb*6(؃B4d&P^\N`%2Ю;m퇰FqMFՇC>'v \S*Q]@eXJP;L<HO} i"5=Zw1x(E ޽~1$h€7Hc"CGZB7PH=[~^}92{Zd@I ν*L;Lu?zHYN #4 Z:Qq&ǓCQsr%{13>3=|pRPuv7H֓Q+yGz+qr w$&#UAne 7>`yilBN irn}A2oEIldK l˴6.}۝{y00Qk <;f8jP=BIӗ:Hbrq4}3d_yV X=0ś._%jQ>*fY7:ee?;~`xHbP+5j=q0p#E0}<] b}xHGPL #+ENOvnpc_ytA4,1H:obEatd]FhLEցoF_@."thzs.!^5=U쇒^ 7LrD=~}XQC+l{>8#`_ 0a֘ޒG?VScS%VBgTCzWuķɶ % HOL-Analysis  Xܱt) =@E7-:"urCm >68BV}bPqP&PB$g\\r)qq>0"@$_fO$̎\"4SKm-@wR:9m9 ̽0RzWBbVsmE擷vWxNzr䒛O)c*$$<-J|y%[YPHk10B1bB|:,mD69&},Ӯ'T<?zwtB5Hǡ8M v V&sbhj 3/ptF%6Qapc h%`6TЉ\Isؔ\J& ĔFg.hF=zѡ 9 Rrn+ic{Evu!~Grhm AwLPRLF*gTĀ9 97K odY8?$CxIfuqCenC+@' 3kӷU#gzJ V,V׫Et\tJe!>WՂ)JSMp:A+ h:ԝAW(H7=8F[YohC o'W` wHg-`Q>XO#P1T ,V5GQr<渧_ FAG(O6>S2-6xR6;GH9QW<>2U=@\`?E)p&̱_V׷ ֦Fh7&.C 6Hu cOr+m38n^E H)Pr+s}U" O @|++f(eȳNz\9E&i+QC@}@w P ~zO畤8G,2\PG[:{ȉR_YťvN&2v鎮qaʱ]k^.RSB&LR; t-:!✔,Kɬr|p#PYJ37M+?*0_i)Y89}9}c4'G.[׈m)[_]JTvěBr < TS\϶<5$ũ8i͇FrI乡Zhk F\+X-Z(5]9`\n-s#u\KrD?{e}ޑܱtT S~{<.X"wZojZX[i8ngiXD.w::wG:ch<1w "JB&gYh[>N3˗IOS7 '.qr ?b{oP .[山O4lQ˾)zť@Ae<ŖT{&f CUD*UB2I|"Euޮ7ܫ_#gK!ֿ$ޑ* y}/+(KIo c{)nC|/n+\3Ke 6UiTʪjiHbb Kt#%-r&JluCG@S%/{˻\Ozjʏ8]ѥՀc5CR[ŷf6IB>(@^)GB,'c7BF}%9x{*"d'?89@Dz96"ǎҰr+U@0vu&&2V2Y@ 2o߾[=\,ń-؅R1LW~o1)JtT6 Pj$'O~&kK\{w? ?ȹ3 rQ1n_H<g#NKY#i+NeA[R=A\=ܛ؎~ ͞cbw_P_V Fuݸba:`Ђ8_{@iߙ#+.oo)c>W+ovQǵ}B8_M|8c##6bZ!К^!n~M"#n3T8!Vt  YQq[FX˗U #FTpE, me~#FI૳=j'ԳOX !cYo&S n AY4O;Fh` O!ˣg ەRQ 9I] &5 6އKG~ %s; V1.r&gԌG(jTc`(L6y,:Ez]ٿ4-9</mc: GU7%G&UJR}((Тv7(h }db|gEc`}i`K^wG$ٲ̲b~1 5W|kGPzc1<%5L w=>] #9: K|S<\Qc2wSvϯ#c!8n0P Dt0q1@iAT7ڝhdȣpf #H0AC!Ϗp@&-S:9 ߥ]W_ge)Oqie1[.`gBd&LV b f_n߳lYqЮ<.@KEC?#>ȏ ֙=$t5_y kNȾd!0_Ovsi-lHE]57aaKCy.,@ qGա>io+sMcǜH%iUϟ׭"R۶_Tq'5ŕ9sqQp fwSjߺii{,|}3DW7Grc"D7)5@@RKʾYmkb`;쥏%"5i/bCщ淅G` ݓVc3lۻ: ? 22e5%[12= "s(}$x^q]s]Q##}U7•p7Go 9AfL0(fӬ D!LZjxOv|H`;l{\uL~rc \{.I,ѴW-YRiQ@-+OşduvFoyȮH;f?-lBf)!^6"7r63d| {6iBM1a;5Y+2-tt$8{Qv1V u+Zo5]р&{sC4=T闝_>{{@ڣGϠuDRjCB*yS84I%]~GXM_Z-U mPƥK_wc>?z'G3e.q҃uΌItJ) =z4~TS_P6VT?ȥE>1T%B`Uޑy,h@ְII;~aqFs2h<%}BM»1b暒R3Ç")/a0" GӘD8wgQK{.Zﹴ~S_se+D`ΝPH?Ryؤ#`b  {:xAz@$6j~W%g)ŶŋetnD?nʥ۝w=e+|ոy!"Pk<,IÞ,SEk0\FdP,02D  ):\QJǣk]OLS}UAFD;:|E~#/:Y)*ƌE/G):~0cѬ`*}a<#:))&֧gȵٞ>6DNUu2*՚OncRwR]y)m0Aoyn {2'^8XuK ;M_^83+$qvjN" &u? 0P)@䗕V{uwbS5[pK .9Sj/BMBwm }y1]QKT;\&[05[`8}(1 kB~{JI44VE-$xn _=i!>K _; 21`qDSxD:2NڳQ-qW IGlNq>VkwCb?$}ozQ!_tM |:_@ChF)udOmaioc=m.&dZx[G*2{|KxDSYEP>dnf|ne" 2<Hރ5IV1חnwiڔOaMUa%ї65>B{czZyt"ϸ ` Dt%6ҫ-z܏:&?q@>i8_7&ju_e=mܿC9\ujWp]GĈЫYW+mE Z.3ɀ-Qr{MG8+{:-_'&# d+D&,3|4*j yj zBY|_K<[YTe@b\>L(8@U%I,u y4"|!)00"5 oԼ-{m3]#CZOq&3aDܟ dY\[ H\)e꺥oL+4BQoe7StUdkW90u`;%/I&!р0 %DiRΆyr2wNRI[E OA$Ud65=Φ/H5GT>;l$OE/x+!贗MBwF |pB9#'cI : T>I&T|:l<R$D<༢XH@^^ ~,N[4schvG g͢8""`_#'.[$WyuR@ D W7CɊ2ɞ`h:-}qSm5bcODnj>ºLbX$jf@p&ÅIe2Q?i2:G c>(,8WV(DWts𺖎J_4ԋp4[[߆~;NayN\GjŸb_kwE"SZ ktK U7'֙N/"=߀'R\x`y2ʠ|H-Cp۲|կD-X_R\]TmYN2wH:,$m}0&# ?>h!gW!nޮtΩ-&vbf.@)xSz[tx$t)3j -02AF͌\!t֩yGj^U}ɤSlOM|;PYj_Y8asFu0kPj_n*y tȓیf]QEqKrigvEhKس⒄ɫCLr8ğ9p80@gl /1K1j2a4q{~lf 4\K^U򎑅OP/nT _wtN[Q~ "1 ћqaivw)GA A/x_Qy;Z ;}4Z@Չ8sDW5;-p.>م6z"v0O&,ˑ;V3 c[(Q= ЍKCY]/DtXCb}#.6{|n]G Hj#Z;˔ ,4 3pvC|< 6ý vӂ%fV14\ADpws>J p/0 7]ku.;d){1RuH3XѪ&#ŏrF9}/6+ZJa 2^>ClKǧd?XܭWH Z@, * qg*e57>HW_)1U*,<ʣ;T8- *Y-Hwr/49A-K=H˸S/* \Ϲ$11{nH;G}P{FҎb5146*tw;/N[ZC3oȦ)|iNYe竡WD4|R>ImY.o^[K@շ}oP ! ~!SCp.nwk<la;A.~Me{W&DʼԻw9%Bi)D6Xg^=YTҭ'D1L,$6)@I$8̐&z;pWjtL5\:Te:}XZ5h' Q9,_b411'ͣ`_Ҭv+@Hй,B)P {n)Kr6Mp 7T4 H7WIQl4Xn(cho_;kce|m z [++,l䅪}(p&rsN3g&-"djxnl\i7Qԣ)&휛OfzcQ)xxf {]ˁsBʊ\p)q-G1ըIdZ yCmm<"8ofZ&_a{tT.6x؀IØWkX3[_B0 krfO4LE[U$XtI4C" X  EЭ9*g2^ ë3Y+ .-J"R KDHۓCXP*4܈'CI"9Tt1 Li ,2SA#lhsGķ7p6 bS mp^hE[ %1gly__\Pr)0O+"\dY-l=_̽I#ryp:Țy7ۻz\XX\Ǖ`wR>66eh+_U NCV$Ϥ]z 65Z%E9Uw1;谇?;nu ܂!F{p7>9I蕍,PALp^ @PXX(['>?8q{hX2a#|OQHǤub_4~n3 c@=T2)PN^ ܂`,(-`~`sp B?Hsk[^Eճ2o]Yx]b~$ϊ1(nABLL-e::*H:xّ=I.JX'ʧa;#(hc4P| *y%D% }IaC+ /~}d &z>z!;@o2٦sx~V;jj0ܻGɕ]$nrn6sn|f7L}X3:(( ۄصI} B\x1hJi7,z*Da_¤J60#o M8X“~>UozAϩt"ʉ/[O텴9v@ }egvȡY;k,i3hgn&B{=X& ~6=Is/VR 'DXPVb6761gƞD黗 KgpkB_ڤZs!m`ϻ oE fz0*!`COk>NH9U]Tv+}E~ElDQªQ\@a&C SHs6 ܜ6oےd u:xo@a3WGBHќ>& w2GA\yz i*=`n"mu ؞}2i,'J5Xފx/ {Ç [A% OKrΓy4"ݎQ%YP6jӜ x ?XHIl\} <^vmEs˱%y:Sq,ۭP3I\k"CuRE)PYtN%|'jBcvc3A\ot3Xk8.-U%, C%HΩhh,t-W~7;AJ%n4YS_@08y 1&C\ۓ_k@9w2њABH_وu!EWp@׵ M'ʙt 0GN2Kxl |N/8IlYO--xZ:UoT dL%)bц(hCk%Ck)bq ";A:Qgt}!cV R8oµ7yz: X9XA#x84ǐ@p[K?J>(}/*$6@PEuX=y+M,cjחOWk_Dim3/ZJL*)AJ] ~\M00S*UOd- ;{Z{)[7$#.)9žiQ򼍪}3 0RD"yFfFL)Y-D1 cO7Q>RHLfq̕g-&"Qt{h֩[VYabē n[xB wX}C܋?jń۲a0FЅ?4U!wy׀q2d*DZQVw8y#<z3˽Sckݿ<»=ԛf,}:f&¾.) ƝT r@<~+z9XV]tܬ;;+#yUSh )?ўAIl$w( ǗBip(z!prTwѰ('_yd58=(^#Ō4ٚt2ŽZn_1WtI^!Ы+"TGRR[}ٿ~j[tMItWx`T7AWnb`6T+Cɧ"? ,ʕtx`duȹNJT.,sw<-BHc+5g}$ oN*\F}%2/d*`[ϲHx,1X8F9ᙬ sQ$>EG,PAZM/,tCdJL  t>hhFEY gmz5F2& cF.KMxڍ}%A"i#.f&<&/?vzCj =m{ǃ%_mHƬ YIuߎ:hnhd*/qp!wG<t*"VEƴ 'cJv\xutGoAp͞C%7b<ސ2:ؚI#z2%ijgָ:;Yo ޵?AQƁab9R \D498J2vo9CmԹwV}Ϡz;n̏~=)&Z#iͱ4aˍ :S\P(F?C=]ՕW6F0%_t \M*Ю,2zow4@w?QU*>%#@9;R) Oq:6⬳T$':MH[9SV8v'dJ"^ zr,Q>\'[G~<k@\ 뱖b͐X*͂%ۡQіq`ZX >EILx (wmwEHȇ`M710BP[?d(ռ|T a< z@ gUQ6|s\d yPK4j q 2ȸzA;olhRG9AL"\`CBidPs7Xݐa ,Ʒ:J4Zp&CYxFNekֆ@6OS}( Oa֡df!Q*wz-Q "A"2p#ђ 츾39gE=vBeWK22E|PXJƐ /q^<0:}i{sf` K3K\}S8;34 Bia$]%lJ=l;uJ]3tPMw>@sIQA(|&%:鐅Ď1p7 ly0|lyODD u ܈/|8!ĩ fl0mb ! FIz!/Ldް%sBj.A"dUC#!841x +  ]AC?rco Uyp)*G.9X ><45  :fR3ɧ{P/P'/҈wZdWDR?fieU5@` ^V tȀ;ᛱf Bo\x 7g)wRaл *nyt>ؗ,7R]yϜ+ `Mnmes橾X׼s y;чڊ/_ \ajkQ_\ e.cF"q롶uqsjݩf⢓9"f|_^<\ KsPS.w2D *NG:}ۦ:'3)8U` sZG߁OK,YnH&$F<[Q")5P7q/`MSmX'JuM*ܾj\yLТnBKٲkh$3u"€5D\njĠ i(66Rvxxs}V*w% ܰx̵o ƾG̻ յWäFw@eCJcйXn5XQIJ$n+S⇬6mRVҨ~gUWCS9)0C o4N*?Ӎ/xXFFwO@*ܨ/=A.oMCB909qFGg.n( o@[  R Xlقmq*} Pc4<^{6gXiڡLGA*tOZ,vN$XJdZ(͇Gg)4ъNVxH"4nZ@W\BMĬRL{EoGȧgRtj3?6᪚EH;50%k.5 ؑrn6~j: }}X Zթx2W(NM iUu<{W};D,ZSsPnhoR׋G2f_+}WN3_ArAp9kYcSQ-tXq|({͂i;lÚ{0ӘG0rʒmhD7﹐HS!+@f<7HTh$zemdX熖H{FR6*X$YqZe2-No~3@a,4k Db&eFgcBZ#ٲUOB7՛ڧ/T,;2u-L4g"ڲ&ҝ W-2q_of%cYST4v/Ɏ) D? dj8߇r(Z^3ͷX|~Nz,@F qlW7ɓA{r&VCtiס'ie&8R"A[>⮀6ᚱ wQ,$cecЋ}>+XfxT XԌ@&hH+ \OYM2pm*Z&paoŲ.=@4]8q|ruý^Ak{|4s+HDl" SCF8:;)Gdz]O}oJ }Ukx{q6! W_M*tJ&mu]*Gh<^ z{B_([ZqϜ6<+sחؗ<evcG+CrPuk.nPSo1c 8't?{ԗzE-l*=Փ%0]0& 5[۴ο ,⋬CQahVk>E:f @4Utt?D_\Jmjy8n0Z_Yhpqyu0C4۩fB5q!AvɀVAvïB!JוE0 hB 7 Ǚ8/޵))&yD]}8ɒ?*xoZw" Pwxf6Slh<1:n4IIlXR|)> 4 q=wѾpܴ0K礒ceSq:y;\! yB8<?D'# ^{V6Iڹ~ 29=Ȫ$ a M?PnߠX63FVsS]2qˊ6YJS81S϶unDaOCmHn챜p m6e+2:!&}imF.}U .7:q@g5kd1Q=cM|͛36;8ox[:N fvlC5/Pi7HcFC(}j_UM`jٗ5ifLYK);ƗARcJ0fTSP Z^ )N)K&W4^ulxsM3MG|`5?˓$Bjb漋2:T7ы2o 7.Tu'uGZyIjcnr( Zb!T?tG}2b/$C$@wA: J?~ ^Zp<@i<}*ovX춡p3[{ޥP *HV),LpË񅟊JVʅ~^b:7 aw?BÄU/go>C@xfAv^Hgc{jU:.Kc(g,TFbZu"]N<>joUPQf }`S ҫ_x> qb2H'rNo#AMxZ:LU}?`' $B7!#}k3iL_w@Aw *WN!)*"/OrPO)u4c1mS\ʕs?ߖ,Z 2BYchcZ8.jJu5֙A¶8_ _B&4dO-}qIkQ8=/jL7&wo:\T\E ,D;-yo09iPTQ/@ޮ7 ۭ")hn/c f܂B@Y%cS\cx.PUTCTnkWf'꾋טO[YJS !lLҩ6)hГ+ QTzs#[v9$2e},ܞI>O{0Zn@RB`-O4;Vi:*7CK_kgFp{t)hc_3$  5Q'| nM\a:/݃Vm[3a?7]b4E5-J г:#߬CkR*$W [Ü4ygYZ7zXZִF! ']ŗXiɟ1˦r!cHkMeBd4> 1ƅX OP#ɇlwiv*$퓍`mڹ$'̠.Yn0̷tLcKv(0)gI2Q C-A 7qwhM=yP3 |$ }Nc*SVYO% F"?5} q lL8J- O19(q^GY?W`.06Y5V3"%QG}Ǝrύn\86WnAIs~IǷ3&RJq6nȵU| N"3i%0Ƒk_zr'ƃ$rO9ez5TP/0Zw3efԨkI5D N1/ Bc od Р;,3* \ԉMJVȁvǺYcYxyfQDv6(K$Wa2x ¤N4fwLHL.`1+}S){`(`mpH,N`2]߀H&o$Pf׈1.W-%R%7R(ŵF){tv*B+ >!˪oh-.`4UHND6$!h!8xNƈY@Ql"$K<_gTV>9`Csj233VܜVwJB|ȋ uչ_X[d\CJ31jsA\͑7x\SemIf0_2`;> 48 iz,EiiK>JLZC=;D7Bm ФY=M<{TD7Bzp/ZWkobd o6Z ␒ (^6VF.]^đ@|gu)s:NSqQ T6s~5o $bV}iՕNgYZ7zXZִF! k]ŗXi%EWfv?̗?9(qR%^VG!Y|aRQm6Ä qĐ[WIl;_5cXN@1dWB~yxht1X&@%|,-zt]~G"#$ʖkxu?ͳBTD}$cgƠj?_H%-t}m;'{vjå ff 瓒!BTCS}%pWHWeRݼ-+qgC7D h&a~ؒG6b|Q5ˌEތ,7#KAUYN>a,PDʒ眦6mЭ*-IObRvG8E1n-,[IBӮ͓cUEW  ˂fcN@wSa}s2FSkҌa~C"cQL* X'wa k&'c0gRt؍P邧ĮFW!,1ی'N%0=jЇU#DZN, 8re95 `$'j"ާ{Rw Mݹra Ƞ e\mw>D<ҙenzG (j_wʸd∽ r]#\/I]M0}8*{$'(^VogmCjc4Y*YTްe;x"IG1,S1L,, oS 4A&I 2diD(컅#ڝab[?*2<WBŖR+}RNi;箒n{ U#5Cdynn@$`c>@~7P0=}30koyQpƁ lhmn(TR۱pjL~7 1?,wVf86܇]G>]fP }b"cmMfRi}j&nXsm^0$+csn;tZplR_Y]cT~P)%5o}CW7swqVBPU#7A|3_>F_[Fd:b0jEWe S"t)kB 5+{}*)PjҒ!q4/*-c#2\%$f"W 'nGRO(~髴7zx_Ckɘ z>)Q۱0_h'w?jWz" Ud 17I"Me'?SHu?YߪvWAqV"0 o`=nQ; TXIoyZ.ZH .G*7 XØg:Wosdmd *I*})IXJU>-+WzVK~ah0:ɘ pXeߎTsL()KƆlu.Hrmܤ`Ф ٻ լJ=*'K$chkRuhZhO..4.ilU<:-+ ;"btLEh|< P(Xk3Y০n).u ŋąd 8cpGIQ/ܥ:}/OBr^&76@diJU -o]l+t![@t_a@IS̷q_HsG_t ى7p%pR0jfI"?<H!xUET9;ѧmm~W榴H}n~g>HHQ%aEOLzbG].~[*S,0*] =|Rk7eYJ3X~ Ν{Q5&ޗ=z h}`$?V`W]A: )U w)l%7JcIE_^ :'&H򩅓r@xA7Qb݄N' K{nK4ߑB^ ^Jώppx. 0Sb1{X5 fNwH_/˗3x0I%WT;z3yl?Swy7))gI.eL uah5T7`g8D}j (<'jy#.kQӳU nR{x~!O3ANס>6GhꎨvOzQHf/ vzM0* O K|4Af3&tZ1d KZ0$uX}\PBp5kű1n&Q W!zVS"pEt-k+ydO[8Ȋx*dFX?qCJR{r^&{(d& tLܪ.C|@q4@vgDݮi %ΨG|YN4OU^٦@#p!a b$slu1ꠋyݫ #bf2]s &3>'a/ؑRwx]waNYoѽU4UnX;=Ӗ"#AVy4d-7lm#EFw0V@޳{ȰiFo5%29E5I@5YpB7(>Y!`D^j?{Q\7"ˀQԚCNxniyzE?`h֐1)Q7Q ҒHi)\(]iHՕvY Y?]*c,\ 1tq]$/b= Hޗ$v@Wf b^M`9֜ e;&5Jz?Nf*]Mm{a`9%Na!\Үnц8`7J2xr]WԮ*i%xa^cyNʙѾ_.";"IYC I R4d/S??ň-{6g^+_]RN%L46ov(w!}uʹ¹h)V\\v>oƓȞ4,N ĮӊC/v&yc~,W|6aF`JQ ~rOdZړ|A.Pmmz=̀%U*#Jk8'1/2Rr]fעv@@nehGv6̪1qS@SsD3[<[c:n%5!t :A%xݮ1E~#IKL[>2`#:se,! `XxI!|~43=~u`]Haxjl=о7\KV,q w1߯ ixΈa$&I~ڲUV:4{{IAJ;/ p VϾ]E78obfxn;~s[AEmUnB'cr~&!M]6\\͆ j%C*.Z'`7eS|>nL3iyqZ۵a^pˊie{0&*=s=x{le8.C-jا}*#D:[3V+yO7Qf\j'Ybf*F "9V^d|*Y2hvnUe>6I?R3A; Ű@ks/'* wVг=žo\) A%!́Qiԅ7nzG,>)zFPc96Cf!XO`FMݕbbۍZ4\qx͟<$]| x]_ -Z*[{%* ?E@bm> b1^Ɋ2uؒ46dRN A4p7;;@$dk7yU|yAMa:iFimGJkt谙@-Q/~WU`Gh(;s8AE+KghYM(BUTYf1b?|:it$"}SR+ :e&ѨrT[]}S] kSRCuYjTZn+S1φ˃IQ_ջH=&ka"Y\4A动[к`7Us fFde3eݒ=3kwc L051v#9#ArAlDSq9(`%rꊹ ȿggU Ζ鰝R_V莻 Fm|/|pD+Q4A dVc-i%/Ze 6=N.-ay4S)`oa(A >z*څ2q'-H]*<"Of۫wm#͖|*#J󥐅cg,풠Qʴ!tJʂ ˎke\oVtN0MA=cH$CCt,@mY3֐/̄Qb7`VP4} a'h 0_)ɪS|-F$4Gرà噾\eriݗM i9>9i .fq3bi3Ƈ4ML;[Ͽ S@g]^{IˉqyD\&r*-"Ll •v?*/*+g#u)H=RL !aqOsE6!QR%=^bDWzIs,D (ޞݲpPI fV0]%|;dN'~# V7?+ra*7qW\fJNadr(YQrf]WKja(#H-=ک+(a1RY=%=)g|_{#Agd1$җI`|?y/:G+)">[QiK.vzi͗龥.vT2:~c{];X)?. nS-WF(-;ΨL/Sq~[:"es$:td@fQhW&u ]>dFIP cT1AZR*D1}}qfn]%Lz^4}$Z6tC6,hRdbxrEhkhLևݓ|Ѡ!Tŀ[{<>e'Ol;< Hm@c?Њ"3]gۧ&g) y?rh;S54* Lj0Na 'e^f=i(=OL?(( HBt M1vD}} F}JVgnt@mjV,n\A~fꥫnmi}-1p:º=ϖI27<L4D`1x`.g#зr0/N4dm%-Pr-pwY ^-Uv5աp`g'+<`yJg3uս츞ҔL+XFTeEb; ZBKg`'\C{<(:@+lgsw ƫ>AXP i7z֕Q-dSgW`x#x'nZ|c(BLQߊH/&S_rE%u E6u[gT *ǎobd>3=BR\~X1/N;T]bKGWSXmmMcP>v{RLWU: Uovn*'|ZErΕYᖂ"+ !3/)AJ|#MjzOggem<bjN'FzFKof"@+tcSEΈӌ'oV05(3{nF֔iJ]@NsSTl%(YCGKxp\YU岡Rtz^V+ۼQ+A*]xSCwG~lX^GiT_v4(b*Oÿ&hQ،Äɜry>d%Zu?lPGē21'qy?e4-Ѧ663s<8b^֩&oFe6s5?mb?]w/bAPwVf [}ti08U$77|bBHRcuUYbڕ,ő%!46.,EPm #vB}]Bd[tS#$zpON 5n:VÊCnFsp R@NUʣ^oQ:Ef'/> =l cM'!Փ7fNɿX\=H^Ⱦ;mY 5T{hIJժ=1)L-m1~r 43KVMTaʺY۵c,r,_ \ٷρ]I:z^ВD5t"Iw 21~Iƕ^3Hq5!z$6@lGEvsimP)O뱥{\\.X d\b Nd%=\K N< afǍBC>ԭ6"峮N?!)N䕢܉le+WOB ۵"EF!'j*RuО,MKV;3qd(P/V`YpӗX-`&6T 0vG=HHi<Ȟsvja𜘯]1tHvz}o5YBoV2jˢ@ ]{GgRfq9 ^~iZfex/ a"LpBC9K3Pw9$=}!ux}x^9|. ٩L%vtbq if?$A\zP'RET#" 6Xv%VG\(l}>ĥ3"8F`3 [qٮL: 9`#ImNg**{%qYPGP" [2)[yd0rgeݖ9|oε ~56$ nćɻG!mN&1ʂn 0I\̕/cKF1sΙBw3,+yߞb))Y(zܯ%i0@ OCV~dʼnIM%.\]<~‡Y S߹vB/e!^VU}&5ҳ]CoF.C.ӂb]Ev@]vxhVI{1 U뚄1:`$@p-)\'uwgaϊqFsSJȕ&H-o4f΃/+2NrnM@+Wl,K!&/XuC ә{g DֵׇO# 8جێ; qwGP8qH@axj^[=YMs+ a.쬊`C"n{ʒ D˿贸vZ,8a߱j`DowGeRϝW\&`qkxhx١ g$&2m/-}0 eD (zDñ Ee' C cr/Qغ}cH#j%ܿxa{Li긝Z/@ECxyh #4}/j#^ ^~X9hk)Z~/G|e8! - en+o&<}PhIMVh!]A] mku -mг9m3Uf6 !9 usbzRjt@i=㋫^c#MXK] Ȭiv.ڸU, 60#9NL͙j׶4n<* $~_BiŔeQn$Kc;^E,+XW ͎p5 Ejd19sI+ *O{Ywlj{(&`>RBӸxrͼOp:pbgUy4-g AKGd>[HeNWuԭz3(6k 1O384bM3.O- j}*pTJ=fj wXdXobqJ9S8p퐉ZR< *U3#&6aXN)DY# O~U!GP6Kx1z:v#)@Y}5ꫂs@zA25w d;xw2EᆬnPl/:߹0?ǫ 6HxMuۢ= e>K_ܠ&P?™ŜPnȩ*IU?YkI`RsS;Q?Pb=MQC 5B ?rdy4 E,RA3"f%&iHtXi"`6jGp+X2WbqbJz^7ǰ~zF](6 x·DVQ N?(kI[]GX_ic}]t]y-}/;dr>q,8%+|EK_<ɖW% 9<~oTcyDpџ˷>vO?2ɧsEe"d_w9<, PDai^YnIO b+rm5~QM]ꮡ| jSiD{dvoM}DzJ8:^KYfudV M!ϠŸ妚Z rZnEEWB'ZJmg].WpxSx"Lz^$I@t|7`V*HmG_}r~XRvF^lCkrelS@;~L`*kQBNeD6rAw/U4gYMT ~ڶg^R25*}9UR?J8DOIhхyֲ>?ft$۟J5&2M'(3Ah}C%Q-|/m0(B7S $O"jnpoD?a xp[vd[|^dG,cW<Lrj_u|dPp_V zoa~3?~[WdsBx㉈ol@!ӈ:e (ke<&^ g[Q{ʪMyh9TV'1MKIr+ր'S+jX+v;Trx=U]ځ]Y =s(Es)0;j)^{ xhqf ׽.wv0|LfP"9,MoO͎$ n*] EGf8ӵe,>sAG@} ʫ^#X^Lܾi.Rc8)dD"/Kmu..ax%ȐZ-(mQt%xJ 1dS l;/:(@Ei/᪣m`KIK$ ?>,$S>8},d !-e%4J> :$[D5Bh_ mH}YsůvW4NH.'{3OǔA_؊0Y>e(*j_ĵ|dj.i ~]M)͠ E\lɝ׏D>RADEz%Ÿ`*eC =%`)ȍ{7l=R$H |o+Q,~+g'%f xP2h?FoJ}ɱxOAFh"#&{`WFZvNҁɌ.dh 32ǨKyvD Ai֘3GD4nh/ggP1sōE8 { (I<|B eȅwV&m>4!M9 MkeuEb,n`6Al.B+#,y*Dk,޸ ]*hhqo=u}*pkKe$A^nrMhN^LJ%4곅gdPA8Aȴ(%mQ~@U8]u}v= T}7i1l޷BZAPݡMϐPxqlwv~5C)3T}R<ėt<:zr# ߚ%;7?G>m8`w/fg-Mm=Db<%EAca+Rչ΄h}z}D&J@N)2omj!Y3uWd;?9Uaے -x.KkGA$psK)qK58!_7?d6O|?Y҄A觸#Uj+ G HHj0ϧx*l/z 4$]7:n1X&Q–qY[qF&(dk 䙝s`nb9fZaSBA] wP.~O/@x zc3ef(Lș5yubdeD-_JMwcSo=HMvJբ|E̎ʅe 窽sNqK\5oPݘv'ТWF EmVYS*|JXUT/GZ'd܌qAk g=5rwl 3+oՅnbIB[tnWND?x8Dw`yUpN$Ţ:LhO]a%Ċ\T,U'A|XUl4y5LW|,!+oR\+=?308= N&y1=ʬ):SS) j;@H-t3(庂z P^\ G֧y7"T]tETV l [ axz 'pTߋ9OmCgl.X *=z򓍞!Fa1]B)-͆$2k NƑyw/fBx&n(͗擠6,u͟"L,Id\f`c̐xM;z\" nq]?ɟQA3wE5+ݝF jڸm AZ,cH|nt p7G07eZkW5;VHl͆AU8Uz~͍&-CӰqh ,UksZjy6֡jivy/E:nۗ.l4ƠB_PiR7# bOxajy/KDK_zTa7JvM*H&8be3A+d+ sɛdeBcAp\ ͤXN*g]%Gxؚ}ižҚ'A4%/ozo@$7|HM%h'P%U?*-9H1yI~rE{S{*]x"p%֡ס( ysGv,4Ѵ@{^E]w$*ybɸJ\cq_YE0l <Dg쎱x.cԝN }Pj_NZ zliG˕G"i bl}i s.$HJ&Y"%5*I|`.D,tC/Tr;9+c߱vxڵZ2FH=U=GpՈXTKQdSo eO>'%l n&XxFRкO#^\fDϼeP[u#V 0Zy } S O3E`FLB͎̾:6MHA7CJ}>+8vbʩֱ~v6Da>kDTؗyP (ep ׆J#3䗨mu sS}WMw{ mJzz3,DHEos@7C8˗t U>.dk\OA| dWiR@c"YcfXK Η%J¿J靬nq. ݬf(t-)':>B J{ZOucĸ K,8Ҽc:r;, &?c/("?)r;)f;p66ifG(ah?tQ#- h4ͭغ܍߆s {>f95І!].Tz_sBϛeAw'(9lO7AF!n2PCjJUF 7Ffn90i]`3 Qk6˭8B/ÌB TXG [xspcSFa(=Eq,; L,~z'nK1+_:~;]qU/=v-ףWA8|9{sda)c̤e:br^coUqy̾൅dw Z'D;!D] YOi@`5yN'{s#™x=3 DƟ21;]U_ T-lV..?AgW@#e#Fjc "ALQ>ǡ`T~1Zo|$uNNW2ğ1j|wWȥմRE Uth3⓬*UD܃2dQVa]Qil!fGcJ%W0_qǡzVy/e#|>_!lqs;#4+C?PtlzYpXpS3v#St@%@nlc^ENV;goȯ+Meq )㎒_gjGXOy@ @%KA>ۈB胔6՜Fv:'xuơp:*M*hodb|S@PQR{!υG;~f#`L~ ?VZ#7#Nl;ޟ3RU;0   .=V@'f N6 y !dmB&G٨׼TX\s<7f&ss䭬.:Qѭ275T_\9cT.e4YFoL3͒T|#nByW %r'@<vlׄ"CX&l ~Q]T`)%(k NQuRJneFvu?' ֳh LYa)O Q2D\,P3陏IT6+'nʔLVi̦K"$*_+|Sy=]O8+g8THDNC¨ Ⱥ1=N*Y= -6Gf.:EZpY,{>(zQi{@y1N!+f෌$j*Fx&o^!(j8q-~2y1g [,92OP2~EzZHԆŐh Q}Q-]V}Cޔ)Lk Bն{: ۙD,[t FqU0sy* W!)aZ1=jŃ3hoJIs3{bv+k%s*8>T'!Խ|R?~/}QkАfAvZ X=_ZyK|p1cߓdqC}kѴl3u@;#kW ЛkpQ KLX5G K'/Sm$V;N=6TLX$PVu]HYdWMZZf66-Yn2"3/:'Knm)V^ =t(1$&9;{xQ):y)mեg*_yE'ШEh!7DV㔳KiB>qEJWGa>=~CFFuIÒleNJ~\!~@g` UYZ %L&2hgs ȉUx)R&؟ %P-l fnw FFC̔n ;(crNz\-wlߴ&f}YhÆ\TQ`=o7040 tHƓx0SdD`XqGL?U ؾ&jÃnm2S:ᲸV$"6$(],UWb1GYUN[CGe.vBbm`R"z@.4pk m!wםڗk\,3یa<BAẗ #ި 6`8// e.x-! vZN_*ʴiC˿9\ִ@xuipFG2ނz݂:2p|Mr=mRğYzi _ jE!gvBvHov1Ac?SwM nX+I|Q_eȢFJcf Ġx&U+d`wi@N̹6{"3bB ' k<3b`,QB&S.4Ó37D(ƛW xx5k<7]&47= JHC Iě sQU-]ejr^;& G ^o lB<ݤA4ZO4I #{=ET?/`3k3xo+ A"&&a =t>HrłZQ-t 4TH5t'8v{71b2>q[ix(xBwŁ W %`j5Pr i6 %+}Z[2'k|Z(]hE}֑=P^1TZ@{̂4'T Kq9釫-FB7vӲ\"64a+ .%8br![NY[Ъ6}h ics,KA~t˕/'HZ{9'bFM}dd%*p SqxPe'X[ep,?d /BB@mU'+PZVwJԥz\qy;p*Y:mCkv4WK#Q3YCJeE4Ī.'g_y']?Ju$J B|}p<E"D#|^KOtl7'TA)b^B3ZiliEXܐ4a|1ν7L>4<<:3?8J?R23p۸{6b e,G7eqB-w{Jw]jEeXHK2y\0A8.KıJ*D"0ݽ"٨3e.g1U:0_lP '<ÀQp/?&$U >$ݛ[Mm]嚬hg)jshi, . _*fUvxn|/>3K*']+I?7Atx~PZ>[C^x]FӺ5j:m]S#"TPǪE/TK8Zs+82ؙA 8!w*dz)[dx$Ϗ.21!4; yt-U><*37Z-b0D:9qKڅ0~jIPQ#]%?K6c㸙<2pOd^QA0v`ƌ`.~ٴE2wS+`rm\{g9Vt>ޔT[f넃Rzpp!z b3e\jI `qy鳟9Ks`կkцF(IpZ;zSjrMZ&r#j gE!)ŕ  6 9H#!_Ϩ43hCN^nvߪ&.(79N?j=6;^맺o<ڌ>A}+1mVmF$>GESvEF>4|M. %Mx9=fMFN-xhjt:1B,R'baUU7H&*qi,mnS)94;/kqk[ѻ - 5]-Q8S3⫑uvR)eud Wmrd7J$%Me3 jWHn1e]Lb$cTT>&;s1vIss f.;3² ⁹w;!jX')`=%>d)-2ܾjV">]VT%ie%F+*6rZά,(knծi؏ (@gzE$X2UO61?9ϴl!f4Gh (2U Kځ^T Dh6s2A !F VG;Kjxp`?w- e2)I+E}k]Ja5x ~6/ >@jckrނc߆A$I5ﺑjS~o@5Jqv[(Gk6VJ˚bnؒiR7aL 5eqU`XYTQi@і5cX$?RB>(':tOI }G96R?XTnRQa? ȟ3^M^B(kѹ/nM%JH }ܝn}D #M,Nw4[o=Vi@ Y&,?`U(#kNV#tHZig@iCz9rYlxFAM.SpTm*х&_q%ہ/6PW}s2XbW$[WLZ .ʔ|*>>zY"pi rG.P0@W!ѪZ]o:7xp &!orΈ֮Ӓ30 Pz'wڙ_Fl|Ӎc81xpfq^Ye ̉>Í֟>kSr{FB B白ڌZU<~3ED1W\p6z}tkl0Vi=w rp-HE./k &A$,GwUHr3?@aGR|nxEΦ%LEH-i{ۈO+?]r6J6y-Y"E,&> 辐b¸Љ8ȫL{C=F_AͶTo#ƽf=H;YnPp13x lk3mH~qKz[8,5W^Kj~|di m<,\nnca_`I3Q]э߹"m_)L0$3dS YbonFD߰YB16M0D?P* vCn'!>h?.UgNI!HxXU'Anʵ 0 mu=uU @P\cnOD'?Ԏ}f18H 'P;]8]9 1Z7ipjO)= p ozz[9^ON NY9]3b7d0PKLѠ+aY J|Z3lL—f{.OzsE4 Nu'Q(?CH:HXZz2PlnQ Ν<ĜAZ0G0JFU#ʲǎ=Q_=&li ܍U`̴׿Q"ϭ*rJFiGSn"> #I{NJXt[?MX] 9Qs=ۚN+6- bO|TԀwk1OV@8ru{ }5;VaI<SO܊E+"%5I.!e߆G6\&>ȓ XƁ^J4Ν6IJ%VӐOv=IR)a`+շٽ7#ɲHhDքd%,578\pɮ ;I}P7M}Kl*P][ac~*ToU8:(">~q] N)5u|%wRdpu-궬t$19=l%D4RH3.oymy$ZA?wlf*qRyeO_ _| q$v] 7Ewd06qG5ލ}vwwJ];u[ֲ|Xwl8XʼnW51i)b'8'|34'yB 8 n/)HXgqk = p4k=y_y]vpC|&'¸LS9rD. J7/aN=k̋h"h"ӲޡC36 6S^E5)Ķ4(&u!_$gF_3ȟ<6@y !Z\.v_WpЉeéS;|e3aN@Z^(8;nV=IPy(Hg4LO@%[.Q|dƪB(4?WC0QGL9a9 ?Md^|> ےQf25|o깕hVյ^Eȃ;CGV\q*Pf n=Z4U UG~ <4,Md)18ݚIDxT#5PE3veCb4=d<1Dwմ8 LL>l5`@?M tժ|wBe-^Hl7紙?vB{jωqUij2'Ę&8Fe,E(Uwom'n;$QUo}鶝{:g-gX')@Ze9vs*Ȕc7$fHQ{$ Mq&\ٮ1E?:}aޣI&!:Uozp}#͚鑿G`MEs8C4T~t{}8ǐO5TpZVx4:@j/)V'MSv:5ׇSM" y0$@"0jyISGCXsSYS07!bjIj?1)-rrEN[$O`jĴ~X~DC?dU(!^E&r]"OAsY/Wܼ߹@P+e5'KoW0W9]bhC4[>J "KRmA8K>mT.[jRB ~4Dsd61p=slCuZ%tMhEHx*[ `ļ\,4SG%;1SD{Ƽ!.2-PMM?92,DuGma&߈RE?ifޭ٪#I{^Ko`R{zjX~# ̀EM+N`@hN&;WVn 9t~X%7CB@8f$IZ Oqkc@1guVN`ӑK2ULќ(k]B<:'"TzkBF'\vbxE/Ӣ<4Fd_`m jpo?`m{-ȏ峼vL^s{)ߙ>_28j72<Z