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  = l\d ]S]HOL-Nonstandard_Analysis:threads=6elapsed=7.052cpu=30.884gc=1.584factor=4.387zXZִF! jo]ŗXiɟH)0%o@Ov@f1Ѵ#pDayņA<"V덲mJj׀Hit߬^Oʨw%>667CrX &g6cmuWqGa՝e38R< tks=:#iKnceVo_IEAq->C+'_vSKs1l>QAj8\PƨoOAki^!͙vѴd0oe֣\.R۸bF?\ϪU^:KZش)#]!xe^'QfkMlv?h\ c s*SRwA0-rsZ.><-'iSTP @rF0 = HOL-Nonstandard_Analysis  "5Yj3^s|[^W1SXCv;;{4Oѩ!`}>ej0 Yq,p(iN!&_޵[Tbs^UZUhRmt+ |A Op .u&/cYm0'!yFY[ImZ"Yޥ{Y ґ܄"&KcBMnԼ4n0?Wivh幌AjW|+"nٌ|0'=5G/:+//wI4P=3C fm:-P ڙ55Wj|No RX;3Oh;;hFH83Y6-7_E7NPr_NnUAQlj"E_AY-Q!29iboc5t NZʵ (sxDxok,ђS KLV7I3$(a}_"9f**!d#fbuT.%ac'P< ue,#Նg. ^C?c@Oxl5/wC_%p\q8]ɗ &$VV+p6ZIDŽ䒼hhY~}r`6GHG} _mr_`M=VcŝP`1#lΊ~5DRހ'*v|5~TtMvhՎgifwA8b >[H@GN{;⹒¤0`9½ղ g|%$B.pd>%U? pfX@)S(N9ay/Й*~&lIcrpBF",nIOћ⮋[i썾h^SH'w!)'m oc2`LOH3SsҞ! &tH-${f FКD [:MHk_K%Uv l|iA/k; ! bzΙkYx/,IT6g?9M_\A+#Ye2RJqp^Oַe= CG)UukEBȏj~ȯr ;"S`/?JuJ=q>܉Q|4d4z-_q,JX=ϸ0F ;Fb/Q)ip*OC.վz5&^gHnᶕAB5 Wܳ\_t~cK!=]Vk,'F@쪢gǀ[ (}_vH.J`.3ɏQ5/JP6D2J ZҘErXJ!MGvvɸuܚLs +yJ ^+eJq(ԗuFdgt[&N(kSHH H+VljX#uqyi_JAQ% :RD {Y;rf/MXX]F-YǘTFj唑Qfpa)Ȝd ṽTЧ²gix8 8r:3xgS$b("g;Y≃owu%-X޷&8! ]6#A>N+nΔ|m'A? ?tAāy;wAOL}89|QK0"-d8F0;% 2't`jI߃aR3 k\|#$g 5quHl1Z+JgVQVEg?42|>ѦgbQiաZ3 ([jTQjTՇ{p;qQuAio@JIGhAH|Oh(cP^+뎵tZ|-^o(xXßf)鄊#L[f[́դšF@uX)P־տ1"{R+7!E8K"KM%Y^ 4+i@6W Ob$ٲlSg.nFX7T?r&䲱zuVمӊ@ &>9e#R/B=+צO!_d.TQrTMIJ= @#Ieн~jz?+~/]˶Ro[ӗ~mVϓ=!m?=1 hE 䔼s~$Y}v!?/ÿ%v Ǡh[7[SSe$/h1= !ܡDXI–ܞ*VLo.w԰lѿvB0;݌`ҟz[}$ymp7sl͞;( if@]-\'УK &Y;y2_  q9[+ޤ|6nPw0#0<(WRfA n/tccx ­%mWW {^oO\#oٹ=p*/n6yYXm|k[Lpjھo5ҩy5ټ5bRF-:E=043) +T)x-[y4L}Z+a,!V?zV"8Yv|6 ]H':v@}F2='Ŵ5 [$Α  \AQГ&͑&)$9W[WR*/k mT#Rz%+NJ3|Z6r=SdVo:jD` R01J腾(b5W}ɏ2wTt]'s~8Й sa-3xo: ["2%p#Yn<*!I)MW? FRq+ٕ+Toj2)q̊,؇' H:me[mؾUv(_2b5o5b[Bx>Sc쯣ɱޯ6t+RɈTe!fL@? qͼbc}3a޸m;bvUlvٚ5)n\.phۯVL"R*@VIF4eu@5o۝StyF9٢m"74|* 3h~A&(ف;HHh`2ZnODaSrkREZ2g/GU`%v^EB})Tt8+_VkYCLW?t>I 69IŇbtIA6eCYmO>e_kޏC1a y3 0"r'7B[0Y{I'.DgsO]};(eb%I,: m|Q mG,p=%*;*4.$6,jCz~yeF\&1QuXGN3v-uE:YhlߕLagBY0US:SRöޑVY_}3ṣ } _%,5lENۜ͟>/.qN +򂐹39<ɐa50!e[f Y<'DuU ާY8Iǀb-(0:[J533èxGmY˜W`ĘF'AW5ԀB܌#aĎː,Vm$c# S9tm@wl(GM\H f`[M؎@t%juU$.t r%S!xAجArC`[*uf*l'$r S#Uaֵ$BFZSEucn! MsQUkD =|SP4b2OL/zRj:m\N| 6!҉+DCH ,0G [CN广o3z6}&BZUr$uw~migxqqB4 Nt:+ƀ>92*5e.r|X›kO/sb|ĥUXhdT93C_%irzeZ[1IUIFV],)a8iV0u 4q t(oFxP) `)~'NP"pgH3;vvy}.{+U7[s7WIN*UA n% Sea>V +WQ|Sᙳ&z_?<IX )Ac]o6Sm{\w%vWPos ٢!ʠ 0s`x~F@ B_7|Obvo$V wF( i.3 Z|Ed ԧ'14{?BIΦPTr;An`Q]h&M &+{1_1w]~ElM;xJky #!(|PeJl{?QbBGj1mM"ZzҠ Y$sÈ05{f3 >Ь>B$MIEmam {q6J0ʹx~,zn3ACؗݸp )ԟo܏Jhŕ9`j[_!6D#B'D%MUm iUp[? f w5@}BCR# R@K穇2/2PggFl~e7EgA_6^[5G?raVnRۧ4bD,x) $1~l䪐?m :nrZONKl7aY>sږK&%4\P馱y|MoW[^]"SGY0|]1pΛhOEcJڥVY.R/0(O4G3WW$Λ0YɀxlMUWXcCPyI#nq]=Vэw|rR}i:4mpig Wr%~kv91Pz'4Д/HSA/uPGfCy!wLmjB/( s5GnLksPΒQyU'k]H9].D9N̵u}n]#e,}!0%jGr0ZdyA>8״ I]hPێ" }I6.%/BSnzμQEڵ_mHpTBzX+M~~YR{$6 ù,Y\gw!>\DYK)ʹޑe2Tʹ}Ad{]0^Ec3ųb{ >ȌtMؚr\Pk,_Eb)7!&4Ĭi7X ^Cݿ|vo&hߗ@V_Ե3G~ jߡJVHMc\-G~8q:*/ ^yE7\XXs)-Bi/D#9 _+xb9 x2LąUb%w61+Zg`oh. Ƣ(Bkޛ"i8(4kmfM<~W]gE1?ֲAD YatDf7,,Ah( ]F|U&֥ܻHCl/fx+<5`{,;U| `!usl zz겝@tgi$.a%qPxO)ѼCt#sjy&'W rǕTÇT 9\%w<6.벛x0AnHe2_ڇrk0Y=u!m~+- Y^h`\)};`!vsH]h+ɪ3[# &P DheD¡?(M߭E(,G`є.,*ί },:͹$Y9O|[\o0}pž쟧q\S0 pE%U,u*?٩H1V2}{7 o**V#ӨZΪ,5/^J:mM {@J&y5kPR ٠Ia5 e:q?Tt20&2j~Li `vG{iֲnBPF*<(AsiLl[z1;$K/0}I$ê H^ح)lePrxKVߊ45=C$b"z任A{9l:]y t~ս`+d}y(j iVx&z~{6,amMO> hjǣ p;,ltهKN&h͚@6WJOg'z ާH4mj'[63j;aHj-8dLk5jNm%46C&Iw Iw>"4hwn+ޢXмuZ}3TNbe邠*ҷdZܔwcLN!s57):38W7OҴ.&|fPa[)9S}'-Bxo15w :fA:TG}G=sL)Q 7 ٸ>k`W$7Gl٩>*HXS- AQ\rg7p ̰Ʌi_ 5Ws(Ej%*7rHnQR{[";~d{o oG 7bJ>sr`u,y)0򆗤U$ d^!OQ&m1DoqЅVoҽḭh quHbt}juv߄n] )dCηD!eRgd""fkov'w*-Va <# SΞae0bNd~I9[`--nybVTq K)tmuӌڤ R6/| ;o |_#tjxID01ޫM<#1tWٽ7(Kkt"נq?jt.ݸ!P(3Y]Ջ5ydFFc-o{'Lٌ뀹ϐtmN̂>撜%~^x/zOVpΝ\쵒mr4Lx1ϻ*J_]ӌԫur Bh!QRgC5Ys&%f:d8> Rc1S/#2cDzd6*Ó=BM55)^*qp&@- B+cbyhqWyuWN_j5o~P"gKH!RaegRWtApե@oP>Wȋ ׍;΅߿i2hNK~G nZURyl*tN!Y#i>PtNPwBh$O0;MUŒ,DX}=]R"S+mkEoPd:HwBCd] 69md}p! OI*CxU:Y̥9l d>k5噓mbPh+z(:'}z볰QavUr(s! ®Has3dC0zX7M_bn`8ћyЧN˂8r|+5D"lea+^2 WBi"K\7vqׯkjCj:G\?f 8b׸v4Gxl Kl׊Klm ](-Z9a޾'lVV,HÏU?uGI9N&Eϐd&:A'1(ZqFd|xx~my:Snbd!ϊ[f nD+`Xt]`dm[&F۹NP4(߈u<TQOKՏV|Oc dl-UpR`4 6*Ab06ozm12 dM7%8WE]2YH|zo{=iU g!He*qn2Cx`M<{fpB2E W]5{/rH7x[L5)qV2wdz>ӝx /(fH룃KDio&,z]?O^FY9O"x*-\3*-*9i\ vx4lpg`d{d1˶/(hWYF^%~RPpFrOby:q-YSS_:'' Vt!A^rn(Ɯn32>v"bp]V5'po/n(Vi+FE]/.޵w`TZsYΆV?OXl%\\w74Aw D롖tQrPҍ|y71lhJ#C}T^kz /1 a!p"6꣙*sCz.P;ڶǬGLAq!%.2Κ yG|.c/$o74U<|,DWI`8O$F vE8wN =TEU'E4PXBΙA'5\[J&|X7У&!E’ԛX9{̡۟Yp^7__gu'G>ls' ;Q{M 8*Z;,^.6^,Jbt@r q *LB5臆˹ ż$sn.C知JHrڡc.@u6;B){NJy[")ϺۆaǽԤozvZyv'zY^TI?۷T[:Mo 55EG(rZX#n-Pۇ\PZ`@pbK8LV, r ı#GvPAը|4li#:rU\Sqc 9' flo7G~jFTD9=K^+&AQOkƊ8%f]95~m/,|fѤTk[7T𑃔t^1 Ҩ˛3#:(u#9}YW2^֋?;de򻝼ql".:3}7b~̭Y'[3. dZu_u-CIJIܷB߉A|j?`p?SƚM' 1Z`MOF` +v%$fB0]P# $uv?x۶0;GEkZ1m\ L/㎾j{}``fvbzvz?fg>C_$A,}@)R :-o34)ˆ tlI n@ۺ-(͙O!ԟEE4U:ΉsNr(Sb@x.8'M?D݋U! ~,4?9 ~ -'*3'4؟_i Ԉk J-!g4pnw-Bz <$^-0AC: }ǝf3aS([9PfLÅ>4IX"^ ?aT׾uhg"q۪6p:a~'tk!/  ֎D/;G`e cMu7.ڸtV°J}q+Τ,/(!7M)4;R"pۭv>W ] Sxn8 >X͹럱LL;zP5cl[D 3]A G@LDY F ~N_Ef (ew,DtTb2jTGJvq,əfKȴ8O+n -A}PkjKr:u~w%L.,dOoR3R=I[(08q[͍',ةUUL֒\r{ EWIFK47Du*΍_w,bI[>BHdjг$ D9APEue'%)\bwW$C/>,;ݷCm-BTD˘L u hviI(Ev=t rbx+>mQ~>l5rŦOwԈ~˿Hݍxn˒ }f/+Ё;oMׯ]\j@QnX~;\<~yjtгCbR LihHW3o1ENICg [מ̼˷yhq ḟ0ɢxf9cw2[`Ƴw;OmoRAf\snةx32.Mb}m5g Ӗ.%#oC&1T֚WI_[U⊀J>,~DCbF{o1*,J5ZT52*:vc5 r00`Gf0:lo돦#S^3a.`.nS(d)EDW ӥ])1㑨;0@wT>ab^b^X{.iHFԡ0tB㌻[⢺DIWite#hYTKAa}NSW,{õl,M 3PqM`]ݒ4拀Y}G(P*.ZO/;<]C^'׊~L+`ɫݳӆRg˟kvڨ PADwmFKE:`%SBCSdjYUIC4O-,y~I' =rո!mnCe-SzԠjg XѠR3d>bBy2%] {:-iȜ@0~6D%t.XL ;nkoX`?|擮V3_=%CRYײ+dDauښ>L wM[DLGprl#yNAr{BZ? ?8lZO?:K[ߛG"Zam[))-3 qs=ja^:fNζ2+B9\{ɶ$ {O7^;7j!^H=t_oge7rhCZB*ޛq0zX`EZFj^B)p̩gB%Q]*ExέC;7:?غ&.3ԤCz_Y($w[[qs1"k͓_g]#w.hSw㔚e<\xsǑ,r)*E$ x5&=J g}B!Qr_,'5 K*6OhQ=Å2쓆 $ 8`5N#VFݼKN7[(]vmGQ,-LcT(>/P)1jm.tQiKu@byw. _~F&K=*ExlЯKe$1enc%FXӜB}vxL3(! rǚ54E-(-@NϜ&.x);KqPϝZK@P31MU\ȉyR:uٳzy{CJAd Em :⍖¶|o،)O٪t`{)f_hl=`Ks`]"0i̢`-LWv5gRx,ּw\gIx&E(bȒCNs(н3[ms:Y97-yNսUWաM8o\~@F!5s6 :F>&W2xFӚ!AFt"_EYNIߺ=݆>%d2i aqAPKe>{qCuɯmsJ{WP7<‚Z]s)PzD7HZEJ}bz%0S#T<7hdjE<{A?=2:4}_n){*^DBtN;̄z6iM)WS\?kw@4 n&PHSJ'uT76͢-^H;h)ڪ|!խ A&ʜmv}G=:)2vl{1+xS/n7ֺ+J65.iZdtF\枑^Mjxl=[d˧|UWݮwα#̎y$=X^鸩9\NwڶiZvl%UO >i.5n.|G%sY/CrG 4 Ywf+ 3nyd XߖU*pJI)yX .x+GO_Hpdxam'9`I5a#&K|tRײ!7Gnܠ<:lz@Dz{c8RQ=͕,rV.NWuů!yagv랆D#Le4*'+ҫ@f؎?G-|sS/\#EUr2<4FaMWx-$\iܴC\EjzszDe] Q >kb]FtMI9fdXGHVt:U:k1aM݈6~^a{Ծe-6ٲ skM) 4KpI,ٻu)پIRM1'CB>a]W^$ahC3ã}Ӕ!sxCZμ-i-5e=YeX<~XFt+y*?0'*J._LA YHG/d:02stD4P/S7 ز(=ӓBɈ^l︦^)ADˈYW*9Dz!E 7s^ HR6^l1EC-D_Jܪ6yPoPrT':Y4[>H&1` jQe#eTOhP8KZ8z/9Jxȉ%A:ai4G*jIt50!REyFA{ +DLӪ6s0?SܰRD[|gU],9 L&˿VuRwNmkeI{r )Zja{UݒޱҖ }f\ʂ7){0@GV_&E$.k]OYЎ,.s&0Mz%ե՛Y(bri.1b_V[KOs],KaY ~GjD p$~t ީdD:};I񋝄0mm prY[1(.d?c01xtQQ)'G5).e[ * &hS%FaW0ȯgS!Tء4@tYKzYH z"Es򟈰Nڂh$ n OX)~:fl[DO W\ W@K;y"D[<3?}j7>K@H$Rya$%#Pr\j:¹J_ L_iUR 7lȿ9A|QMT}5'0(^͜oumޙ_v\''_HǦUa{xq+dI݄Xg-n^<ߥ:@Yfab57HW:|kLׯrsf2E..|'OўVOHO.F6_T1)%k"tĬܬz7'lw7k!yDfqyt50n4aM~/JҐ$V[8Q^F-b 5gA q^rAsgY T/gLQmazI73{Ȧ탚/\) $4Ŏt?1Oر `Mzʳ ShlāC~a:׷`7DiJӊCX[c7TF`op<oy7LTGEK}^x4& kV#%ΡL`nn\<^ebMF~z'ư>6S!$Pۊix5X5dEF*)y+Ft[Ӄ Rga&nLh? uBN~9c'`{#&S땐s-iI5XWqB <@S1\4)אC.m<̻-ݩ| r+jF|I:X@'];:0z0<..\#S$~Rm֫.fp4|^4bcOkqVk9aT9`s17&2Dڃ&~C4:OߣDrH2Nƽ@ϐ .|j ڀ겙l*i0wn-&ē Y1?>7>4 ~tS{ߓ8/1ٴ`YWR,]a#v"IU% t~MPt?NR=?h?zG^j kPH4.PP.1,D r_M*aA\_`J*u1b.͎e:G 3*hsrA/%ޅ{L8\@ES8E|+ѕt}r+rҊW+P.S"wV2㥵.6t:sE ;Y lU?@4SSǭm)2ڗ}owظe0|tӺS~JwQԄjKaugW[ӌWid yaIo}#n nl0S)'B4l\8c~M ,SΟCFCyup(yO_9J+1>jh寯U^ d礧 榁(V\{aV :ksNhʷX]/5ÆT;?bbC"usTP!'u?3"зP~bD6O 9ጠ=9mT&R  D +dv}+3Aհz>;4<TɀMO|x䳓 c -y䅄\dxF*?C.Xz 46??Y;NlHhغ?/su`԰=ۗ)'wV18}<O])Q\}C Y⿑6ϡ$u:2QT@vLbRīG<\ح7C)biArVΆԼYpk5Ea1.Gz,z\hq >kAϋW}bVj6Ls51sqa@:J/tc:©A+kK,gqvvꍛxIpg֝L⛮ vDDW4bC;.Al7R_vU&ۃP5 3,J„C׺v(RWRtu+qzJv&=xDp,a*qGtR[*#d0wa ?lVa1V=$8(IUC!m(_;/+ǯLsz /AYlԗ$mY"TX G!wHQ0w0|?nĵ1t0ێN+~0 R*$o`<}onK{2V+?a%k]_[)Kj^ȶR"KLeeܻp4t>]e.A;[>'!p ?,E,n £k IYoyU@=^*.RQ9dℂ!4).ָ)58CA|\~XYg ekj>6>Yh` L1-*i,7-xZd.'VIPH*c$Ц)le#dIX'xUmйv L0]TKJZ/:N\t tUu"/T_)5îX^3u9"0m,G~MQ%v).8]6]j%nq(Eș~@1\;R~}A HT Er}fV$2SB Þ]!%3.ZV#.Wq q/|TJ tV=6xR'rHϷ;01"" `'* &*A&r_}*T ` ',g)),+1=Ur#'r`[3\y@E6?|Nsث6F.ŕa?2?I6Q9nQ~0R& ɡP$ Cߘw0((ͬ"ge(et C}qAO^2MOk1" Yp1[ɅKжS8O`õsz]ˆ5ZoJ9),t;MOs#4k 84VGlVk"uBMۧQmQ^uX+.h!S3Zn?;una}Dq9+~X:CS}Z^~k/ФuY6w.OA.x%f`r`x9؊>I bI []"AQ\o7Y%ƴY^T)ab3[Zi#!) ]k~69_Sza'tbJbFv+1T@W~1)wTԨ K(!Iof*CoSĺ:J̀t1I f>J:_-gT% ƃ=x/{lB?'/I-j{*Ӄ#qhUACґ~qMۜ)[vIY`hL)Ԧ!I`~I򷳧Z 5lbhfT "LɒƏ 1{5 u$*-˺\Ǜ^}e!]5.yͳUt(4xdW'ڕ-$-y</HބOrKVͱ9:,`8H(ÁF_lXq f\sf?%[G{/mւ,O5jrqFЀ$uv8$H> fngzS|AiḲZu>;F Aw0^S#ץ܆J*_ t>PYX3n^#OYfeϸVżC.b82׿WSڍ97`ݨTF[z_<Hͯi0҉&h ld晉v5i0QDݶщ2S-(&RCyZ8#nSƘ>$ %SuSʂS Nۜ[VYu֣+P'#S07Fp1XZJ]gı[ %WhX&0HPI M9Bl9(FձNFu~Ѻ<Թ-Cq-zz^K@&9yw=X@g.A`BUH;r \8`ʩ{5wibGgyG;MR}(! J h$5h{t(L%-c! WuC6^H uFAbnݍIz04~n0'ks~ dM$Z+֐fWdfoJ2_צlӣ2վwZZdw͕hz QmTUPNmۡ7T~Fd4.<=ڙԧ!Y`3^@^Chgi-ǐݔhe L3(1@kDjНLjgCq~dcZg/M'jd3sx2IģudpY҆5ZTb56Y(SKaZpbuAGP: R >#_NGQ4L`Nf UGH>՜#`Ӟ?z,?'HWRsW7S܄ѸֹAjO35ϛݳ|3 (?'V2Ka{/KQ@L Ql)_s ALdZ0E"OA*O:vqeJ.$bRiyS3WnSޞ(6>㢥A jE@Ȅγ\QUD?:󽤽*LJ+}ٟj4&gn{S >cV;4V*=AOJe`^#~ctt|寵.с].2Cp&O]" gԷ̼Y!Q|*1U40^﹩G]6ۼ%o-6ΆJ"ڨ#V#0[,_OhȿsV9^"Lڍ;5j 땮-1'$xQ2Tj׷PID'H,F,|=Gk6`%DXyz{6ӕl 'X?L)!0WFwVvmXb3KZ?[32JMl"R;k1_qg6\'/␆!RgR1ʎ)41ʒ [EiȎ#\a zh R 3!$eG%GhHD S 5)Zm3tDq&^!LZUz4 zdZ[|f;%EHz,9oނ#n䒖n/؛Y{vD[pKny">8='JcS}xJ+ ({\mp`6+6X.Zlzxp8t}jvPI6Ј\kл}ZYv5᳹Jܶ^TE h.Ā[!&+*0(),qe⥍B=G, R"SdPfiY A?g(u-l).Q.8mkWtnxu1WUJrYՏ*W/qΥP]Tu-+COa!=]ٳ!;ritvg ҅*+ so|AEZiq>#쳘u+{ ̮s)Zn [s&׶?Inx!\}W(rţ{0VbͿ ~!8XػÍdw]Ո۝J*]b^jG5D, = MveͯuEt35U.њFCT>8x_p>hRݸY _Bj"p1z02uHuI8jWū> Ѻ$}I\q M+r'-#(8nTcw\&-zg{ƛ"s՞b:<钉sZ_|E*gqxc/ߴ#Sٺ~#΄~8:*θµyGPc_ph܆a=~5yYwlt^E;ø4hm+nZM%FJ2!n #Fc^TV! ̽.C;kb؀ݣ{'m^w4)ZsPxviQl`Z٤n񿎄]$n@'Y-+brmȂ$PR& G):]gq{FD}o!QbƘ?ଲdIW/]heE1uMe-yᾱk;dpd9;ܡ3v4a0->!`&w_zu J;Ւ5|zc+o-CcqycAtNaDY+3QG+ U;z6q]7U*`זi.LDI.;U?\?5i {%) oFR=ovX!!T*EE! cpJg _a$|!OBx$jQ_k?35 X㌞_ݘh5-daJE__oYhmH;J0с(O! : x`U=bŽ@,׻3:s"ҔM={T uYWv+L^IԛQRn#Q&Xd.WAM[fnE}/02Nx(>j敪EdSyr7C7w$o!=Y, fW,!Cer,ݖ" z`4.,0+ /tX"dR yהOش];1b]!UDu'lnRpr})i/0/'д:u<'KA;oA?ka<&>8& 6}Ýbp|NjNŠt?mnuոb8Ue4 V (\;/r5._ZjŔMZFtL}'6*"`5}v/#>&/ۙD&m09ҽi-c/f>Z͟4@tiÃ'p/WŏKngcLgA?'a뙣rʱ(%T:JԶj?LVr"HH᥍GWZG,\:8'%cÒ%!H/?/z~㏅+;i_E|]g9cv` 26ҥ|';4)iUfR"n:T 6tl`X ǽ`M QJFs,np hXGhլ| v \c\L D=5°lz|"9dDhƝ@8 ?ڹ r.ĚyY9j'#ǵBL5]x.?3$$tLQc9c 1x.֌KVXН~N&caa1+FThYzSv?Z޺k!okI1fq"sU#KQ+geYN !tjD^uРcYd+:T(fKJjTE8 O' 6K>XЕrը (y E7a DGOŏd3X+{-[xpwHpA0ŕ wɻGJ⳹HHE҅Ņy1,\dȠk A"N{НݾDA> yqfIm×&lر ,e}Lpȣ7J;.Í"nA.I 篫g+$[O&8:"d[ 9"%E`y}QE ϫU~W+禞TV\0m%ElVDn P,r%yM, C %o%]Snjdw,Y+=]ˏ/9%Q]լ{e|='KEζI4z$S\ًx{oQ:9&_=4F%/8U()!sg>{pm3kA>̺"U+1~0`[FLVaZSQؓYH1qWJX>SL5WZhKM˧{< c6"y\#2h)I^Iz2* 9@?e2ѶDcwGPyI?r9}9#V^dL)M c#aKwy6LU DT_cgAfIۯZzVK>V%st\VHCpKɲ<<\}tϤ hCH;#Ƌ5@QJ" 6ٖ Yާ}nG]KxrQ$U0^QYv=;{Er bF],1q[=? nhBSQYƫKHd)38y\LSsq"\͟`gX;VG @Q49v[Zw2$UؓꙆfb J`/= I@r"p糮 J:ZxX7^f_IT7VJׁGAtRwo-W8dRA3KU# #-ܑ̾@{!ا*RZB,# 9&7\Id+S[(_x PG^׎#̈́kA |UG\-OF` (sSThHtk-J|m^Y?vVc>N6K`x'[kC?RW0i 9q讀1À@6'5rmZQWzO`JwάBŒ % W t$%uRO;Z[/+ kl};"BLssXi(Hb>rUb1pVc[7fx)sF2 8s\ZPbs[8RO!`U u NauYÕnW@8$],]D|ШnF¤`k|P4XإRS>`MͲ\\A-9_tzW m2;0|ճDW%a^>itu;ZHKy(_.pd`vz>eRL?"߄ ŒTj"_'"ݼ'u?P%罃D^ r𞹇"pE,yУU$!؂FXcߓ[oW~Bw-0sϧ_ꈀK{qP<\1zrw,"(\,mI"VL?T`Q|CfVE=cw6c/E:QfFYNKyG0N\/%Dіo0ѕ[G"&bN|uUg U[oRE>*I-{;lϻ8GpcAu6˖鴳ˍIEk+D֖+1sN{[Թ`䫙9y9]11m4 YkvHݤTK8R@5] 2JК{O7+ dzJJgn}I˾$F &AO?!t2b(n&"jvV'sKG3msGQv8MYaJ3R9ۢuE0-*;fpԒධ @o{R<' S`e`Gx#=OAauh\ T[RPI$u9zZ ({+wN%+/nlT>Ʈ:i0x BOzϐSE@sEb{.Xˉ#EO*k!cDQhVj|;1is~[Ք*Sv[VCh6UnAz?U` !dqȗjٙ\g(K"hlyDVN\ 䞾4sctd4H0痭hԀspDl=e#zL" Snd8Dd x؁G*!6&l-"Ss,E%?Ĥ;w9Y-7Fp} p_5E4)x=R]:f{A[S^h^PatW6iC&^.H Tjs7#4YY ? gU%D+VrMkI!f6|4uQΉ䒂ݘXW,8J.M[RKq%UOoo 1'd9/K ] )\m⢬eb}?a)# ڢRK ΕaVA\_BVPQ¾ӺfgE(7  RTv/6Fs a/O : wʃ:AɎ/=7cXE-,Pֹ}G_nw8'd;;4|WW|n7ZgՆѢd1 I8o adOaJJђցB3=\Ns97P_?y#g8I@q9i[7@AV~In*Sqω `rO&~KttI :2n NMbLT4pfk@yƑI7IJ B5`L0lp=s k49_!:G$_*L~LҗUJ%k7Co1`\٥1ch?wPASbT\zM j+38,6¹t87X.i@ ÚmԃmOE O\X]ӈY_Bck"iRV2[腑* ,LVcpbiCk35O  *dIrUe`.n+}SL5-ޕP)3;0wޮ42Rn@6.4MqCZƦ~1z x[t׹u:xfPE2l|.ƒ]d:am~H_(:fDySf .v "5p9c+oEra˚x9lMY!֛Qw|8wh\(ן`5s1_WG}/';Vz! wR)sdhAi!}M$iOY3k+ұڔI.xHspj5[f *fSw,s;"hqg-t3ֻQ>0 ž}۪zkYK TIBCdM3T[Bǟ~ {Nfۜ+^V$}(t;݈wJFdK++6!IJY%s L#¹UN7_L~& -/C>ڻɴ ,J=*@3>91Z:~<*)3ϙj(8W:ߜȋP(}҃nA汬2̌EBʏR *>b[Z|TqUcp6t8~}d qSm=b Uem)!> Ty:^Uwt\QV.xn\ e1zITNsT~ Tfe]to$|T|3%yH˹/F@vUDo^^XC+`~g/U2^*:r k A^;+ȝ(@`pntt8FS13Q3nGF!@?G)Ա.5܈h2NOH(m>: -{U,ڻB,Ojtس7] s^2 |^V=#F$UN:H#u3z萾l8LqcoېDO3'aoyK9r ߈$+BAvGs=&䊽t7TѪ-(Yy\',Ykd-F{  ;1%Ji7S/F,bHG;) >tiLdRW)рX4RJ !.6LHfljX?9:(,1TB͎6#H< ɄC9/6-c-E"[6_Ogc1  O$! K _nmQy),/91Z2$‚0ܳ1!_Y}j]E GZ{f ޝgU"h,GRϐ3-313^G$%GM=I9}U(+@E-gIO41jsR|>^(@n0 {olWhT6, rB_!4"4ٙ_xj Z5̿Qb^F_Y(F;m7Dr'BlRKgFY;ex̧^{z6ۊ[+!(=F! I@  cL㙻 vXJR~_SꥧTEw#60 saulj;GVC0.\培hxQdA_Ey2gNIW>[cDF3_ɖHrkmq $΃+62/rgWQb*ɩ@Mk!^AIx~33QJwDoY*c;Znq+0iOy m]_{ݛW&]p./"/HBb07WT("kYeG NKT7KP"!lW7\Nd'Jvj0&50NԴ0sW !ܑ4hUBY8Ŏx۪E%Lծ7`{%k ׹ (f񕢉 A4 , R]?G6pV}.\ՌL׉w]߆A]~67XӘćG|;ާSsgl֮Id xJC8[|up_;;q7(Fg)sa{Q U7$3{7?O5?^SR !'uWPX+B} j^j\A+j5V F|g[<8cK79BF$3gޥ{뀾oV`Km’ HnrsM#pK+yn9 Vxpة߇I9t}5-QGp k@r?TM'@cX7y/sG'ۧ&If6RAڞ>eoGƗ~AQ81nDY!ڕէj a{ɫ,ͧ;gau?KJ4ɖjIܘjabSO8<8οN'/7="C~=х7Dy{ ez9[Dr))txs_ 5qfHzo㢪yV2I_li;없RG!TPM0')m>p\0:eWӂ2`z +X}ᡝT:MK{dKS7{:`>O[>'^őSk6H%YזCvx/ +?e$ޑPP«dBpD`3gGstZIkX75J:~~Q'] jӬ &aej^b!-kʁ? 6 Q{4\.ڛQ:VdȻa>!㑪<^^R3|$_Vʛq-wU-g @raw._5@?qVB|PlDi1Nfp1$Xۗ[zH  Na'\ԋ +# 7F\Y da^2@ J q&G 䜍_R hiX )RY^RJ|EU[i֩Ѳܚ(R׵Y:N9)qƼdg˲ޑFRI 9EfN\\*0&Uʄ& "HZ +5OxGZ2әÚ࣏H 1P Y ceP 8%CX86O? 9F!|Ģ4|ht+Hi+AYD>gv,1NphKr+wy" V:9g#ןTXZvemXi|`zChS Q{^l.%\ay~I=^P44WoRumi\43oL4~Ϥ:i뷥 )M'~^2(媕i1k!ԙ hJMDA2;<<:KOB1Y甎N+sZz{訿w<$Z)&Ѧen'Q*Ԇeꭇ4AȻwGpw<2qŠNP XQK~,޵W83ַ. \pp#*2U8f9`V#VtE {KK՗cf $/%Gi >Pw0YrٿR z 6AA[9Z2u<3#V2+wdzAϤ2P'@onnX9GÅ==3bt ԋ60U{@s-?;m/T~&Mv<LR_ Gx)%zd) <e+^EGhUC {qz7T k|`lmĖ 6j$Vy6i e)a5?b38Ws.|5ZPQj.z 0Q*ask=Yr%yu~MN .ZM;E33lJ9ւ~478Š<a_1:N&1}thp]r~Nrd 'WdbXM{0=1τO0v~Z%a&y|;( ̢eH.J(${ͬ6 I&IX)sc?q2 JN߮dԗkuGXp+bXWg҈7AQmLw8KX돏,g g*"ɚ^i{Vj'a5U{^\ɕY镣^d4B۸x؁ 0\/ms| 1{(!a¥Wwptc6VDW"$҇0\fv,Q~ A.JƏGpCAR͆aPM)נ@BT{MkEFzcjcNc"S tI0piKfގ踗7B^)݆7/j!ڗk!B/5yL% ýb<#x+͌C8џMzc^F<.~fejM Jpqhsy 8>RvV5(F: %Y C ~!t1=iDm$ NH*$ʇt &N rKc0[ڤa3הATuc^SS2N,giCT~H'85FkqFQ"p{s3O~t#w`[}: sX5?4k1;5]?2[ Nv9+CuF@|Vp?1>sכQ ̃`zn29ӂiM ~NaG= ҽ$^߅ 6~s 2!@L8ƜjY|ao G-&i{@'YN /(u-֖; #\o/t nФp#yesHb"sm8;RՌĜYPRB+qOd,Yٲ?)rHahp鰪q6ُ*Z?/ĩ_)-Â7i)7wʗWed D drr <j@,.% ӮLZ4Yd;V#kk_*vOYi"ҘI]Q9P;IFҝ@yxf ҵ{k5;!QMZzb`}V:+4e 1!F8?_p] k[7#3MvYk5z+Z̢$5!.^8>ry'F͟G` m%=JF_`\[Q E"'IJFSpC+:?y6Y5c!_`@H3So;qK2D"gPRuZQ =v}Vj>ь=z4 T[C.!?g+RI4oд%oI췈 :JTOk2,V0'=9._"*sNy3Ilu"k"O}0 ?)Ш!>\uznutJ;;VP̗-Zkz?3(]C0Er.YOKpXZy%? XB'~2"p` Lrϒ2 >ZNܼ aaePq6o sϓk4٢ac7TAٖ&7f idz4 Ó_+%ah[XߨʍPy݊$XGƻJ=RG5$Z;_ ~xļ7􎙿VlB* r0P>_ʟñL U2( nv"{%tjQE =qO iZ.YO4ʔekRQ/*}ͥ{- /z35I &[=2L{Cw}LLUQ͟NdtГ5ypV,92AEY1QKOQ/ޝQ59v-{~%SW=S3V' ~_PO:ރ{=g(֐%9=n>\ՖSaWl,5YDօ+%RSF:?q(CWL:ԶlAt!( 5ӈFQv_-UCUnb@"{_aoMRս#]qjXxAp >֥LtCU5Ǔ6Gvn>޺&dl[|w~e?X8g+WO1hbHœÍ{[S%?yC> N.;H3JhkvMj=;eq|y'YE{4;_/eXy )s CJaT" ;i$_AZ3,NgN JjX?;ٔVJLIVi"r>`匫]Z; lq}g˙FH~E6EzQ}Hי@9.HZkxt+WXK{*EcvnD߃Y|p tʬbeo3~šuaS>7[:yĨN7NOF(pfk sG,1hȔϿ\rQq U_.B3=KZA]"-Lr1$Q OO\wF3D /RpɋOIS&`.(t҃eH0FH_zAϕ ڭ$EƄڌSz+Uvgd]zzD(A@~crB}O k|{eϧ+npjQZs*`G{4#z EC\RZ.k&жE$q\sW<̹7k#{S 9v4:9#C3o=sts'>s)A(9urxH{5ZgtlKi);xVRZQȅ6FHɪ-+mm;-ޖg,Lm;"Ҋ\أXJ鲤|i[tsϹv߫nR7uT _$1j"XҶhIe FOxFL=R`-yrtEw 9v>Bt~Om@ϖAbS b͖jI#*w$Z[0&8+P_[\xfа|{bY_ 3-ȉR K &cj:^zȹz_DS@thi E{Ev\<M2JHsu#4AQD$x 'zd.ra q ,jPob =oXzejtaWMZTXN)n}:C}墏P.Ҽ5wR1Z4\K}Ch:)/p]8J[Wؠ!S9D~&MYCYm1Iσq54RTK* !<ƒCoqNn KlmVH6g3oAi'0q k"@Nl)*. g9홖b6ڄoYB ;Yr0T# Iy7n2p:bh^ަ]ERh4$>9?fr]+IonΨa6>ҞpE>Z֬wI0O .moC[`<0{s8v<_\E 즼g3+go;HK> H9V/)˷W.vT;^C-PhPVQWo2ߙl&id֍6aflv~a"YU{diJj"Sx^ ,sL#nk񘥬C'rQ{m/!|S ]ܿ>8t8=6m&5Ƭls|X"*;I] 'W=ƇBW N7|QzOp8~QBBunQ}P?d  1:Km׸*}_g]|(i F L]GoʡA\u#a0vS,y_õ3VЍ# E uktڞ8 Z t2vuwGhc7Xh˓{,+2ye10зD9Zq--4 !;jBR6{ܠhy0F!% 8<ޭ_݄x7 4Oɦ9>K߀ ϿA`1\ kFÛ(gBGy+{зL徣P ç؊C=~El\Glոk)֮ ł/!lK$8:bn 59B4G[Pʗ}}0!y&W R^OZǎLjjf*ƃ%ӱJg?M}ˤ:4CYOj_24&5dU\@#X@feB c]&f=e_4XF4ehHHv5cCݲ_#PDGYooߌ|˘!Y쫳ԟeE}Y)Yښ,ؘk)q~\Ryj/3x!4]ψU޳#X.?hl%IHT41N"n ^ QMK>^8zGW<U)r':i[ѵBX^]Arm-w r/W x<tֲ_¸Q0&K듓pxWBIJ pVqUz5;OHN sw̶x3rn'uK݆Z+y5θrF)L/Ȇ95veӫ Yl(ZHf4{Z^E0 ud :qg&S(9sf`E4RsVbo;y0c(hy7٤-T_աuicžH`FοT# i<|3-Y487.+{°xIڙUGJڲi.jI~|Yb奘Yu6E؀_$Bp-?T'jTr`&+|RdO+^pvs,g:eV ٹа`"hOPRd ڂ=7+s_3 ٦M /* bmMYo퀜O!sGF.j}kв{tєʗ f2 =^qGuy&p&yb*aCb2Q ?䮈q 1hȤX=|b6 Q&L0tmg>e9~4Q朄7m!xz,ž#)/ ".kC8=z|\Ui0R#"Ek}) U\8KJpκU  !/}VـCHV񴘃}I:. &ihzG[SW;7\p hENr8 .'5&^&ba/4Qx O-ExW7' q$vi^~C|mLv&5ҢIbħkgRhQYߙC rmG[fogH |>o%_.M2:jSQH4䴃D5v[ia<=~g/MX-g hHcU')3l+ WL@.MK1eA v FL5*g,]e#~aVOlxJd.Vl!bNc^ 0[_ HRX@wilNPs(q==O+DٛtqkۡŤ'o!BƜ/7F?KifجĨS_<QHp5! E.~2,.r֩y5d9}!~KpWKt@j2/^[U?+}ɜ?h3D˪aԍڭ@ j6XpᡎD"/\- ~h8C@ͥ%S.U9 x79!,'6ՃMhŸcaP/>  0'VW2:`뾋w{_HNDŚ@m`k`zfkZ&Ah8#pUu{&/S~ _x7}g"& \2OZZ*{,Z9PW4hGt>yU I\!}dU^i>)k3yKJ|vi"ڐv~d1QRMp9CZƓk|͚d iz*J޾U Wps蚾[ǂVt{y{M2TE2ЌFG<@TcUA%ƺنC p5!נތ Dr f.e UZX盪&3]@|䮸8%KZiOFI*Plv}.1<|4I7I?-wqJG-T0hcoS׃Ս[ Ә`b3>¶86.7j)gҢQe%,M GFVVt/iƚ !횞 ێG9n.*&,o;pv&t}Va .D<]'n^Q$o93 "[)j 8A>Eϭ%pu4 !d01PJƣ͘ѹ XvI n6}5!=Nq!n:!靁bFU(C-ulXu^hh"jX:] MGU:*u0* 21E|^LoTb` [27gX2ݡf-0qDJmՃxt؆q'(%btD)]zL1y; {-JОíVf\=m B<`V/396@X kn<^d'H X:pnE@62T驰4o(TA2+!z^8Pq8P7)s .z5UJfܧ r}Uy!-yo$3;([F>QBcZ<|>_mA촿 E>^:]Nz5Jo (Ĭ"]lJS4qmJ{%C=J.9w|ǝڼWYx IJV2?S:ݬqw~ `7f y]l" ybTaȐ-eVY ^E4Ws, ˔ < >{FdM#ClpgH0q{?00NX'Ւ6J5`O[WP3#|I9D39|=Pfz[SZ=|>J16k2<?}D^Qr`J])YxS<wr@G@$<4GbB]s¤q'GЪg *y A(FOEClD@RCHk b<+<8ہZnQ$jveM~>zJ c35kn)t1F&cU%$g.BIpVI~ScES$$BVt™Sj Rf41UFp|Mn>\Ӫ!scenYZ(gގ8WYR/W ϜSx Sp^{\H)|9.b3PY@QGz$>$bwq&6}{HzJs!lLQ6yDfAIb /Egie1}Ee*ŢXSH\pca;Vݎ҈I[jqJ`԰,ҹe|_U! T0`23gR t=ȆC MWbx0MLy R9K>ӈq؈غ{e E1콱gn$-Cb#:u*3_<=&y$= Dd~*f+ AT4 KO}JiuwYel6YC1{=ZP םq zM1[v'3Hi@Svt 8VDD_wJt=OI!BWkF)gku"^zIrcz6گYpނ~ٸtΠZT9XCfev: jjfp&3 gǖU-Xѡi猳=bySe^ƒjGFܴpGX:lF@ [^v%Xʨ!gykY/߷EԈ4C/9swv:%aW< ȩׄ0$mrp =;6,FN@FLAUYUH !B`a~~2k*یlZ1h \Ut;d rX..ZʁQYD-i244`|qbtrrn 0=lFW}cRɿgjl (iB'1[r5FˬG%~Ïj3TjUaYL܁x$Ҕ%]șMZc(]Y=3xA]%>ᴫ-W8PK!Xq^%NeV_enAU𤦙qag]`UVI۪AINa,F;Hj-xBd Dg`l8]sКM޷qo6\qr ߉oaN@j|78BA4ao.-`gYZ7zXZִF! e]ŗXiɟ1$BQ0dE8sM \`Nᵝ^>RDL0DX< $(CoyeF EMX@CqPV-9Yˠ ҘyX-mSj ٔ`-SUb#KG{} 2J 2H]`ɊFjH 23/{hD C$(=|'_.lIB{n[Gsj/8?=#B{u1 KJ̓_pfߞ7-C0c/Do-goƆ+l Q f7>nE EV^YFe6? #˱gYZ7zXZִF! &,]ŗXi%L S~B Kޅpמ$ٽЎA%LkDʪߣ W\lofX~#db|\*.$ \hd0BLi'@g(Rg5v-NʊN'Z$SΫ|p+JT䙿.ုbr4YԒʣR˟)(n4A*FUq'\箚> @YldO#Dާ]=G' ۂi!`X+*kz ԩ=|U[]-l~Fb'Yr^YvKX#  kI \ԸުX?ߵ;7I*6Tltu'-j ct[ byn13昝Пt /VkSX r{SPz@koy9܈jLBzt.h\ %];jИ dRu2RJ!ȹ0As@Nl `R/ixHn3q&bF`Gΐ}^Yv5VE xS9kM(1Roj4Mj/_~ }̷ӉOfƢm2Ѵ;%.'osmϸD;zpȱ{pUh(m?( ~ǩ0 7'?g6#B vǮkuGztDA phMCrP8 uJPXE6̕͡&CNAQ d%$Z?qء3"zr/FSӗ+zuG/fDb@6(E=ԲZkvT.*:b`:frj4`eQ>K89kX$ET筷ٽ_ׄb{#AI1/h=}1BWL>g$Ύ,_M1( BCv휅`o42.g/@{RAn XIfUJS  K;9\RYr"ݏ}gX];ShpM٨gYZ7747558a47d7f64a0cc667c04d837253ace4e40e6efeb224ffc75fab8ec850f4826a2d863a08be88 25ecb723e4a4ebdc4e16cf93f7ae674a8a95cd2f b4f2fa0a5ed6ca27cd36024a80ef87b9e20912c6 65a5db587b4db82b997c6ca10a666e20f94cbf19e68b9150b4663215f684153362dceb50e7bbc2ee