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  R7x$,| ] HOL-Datatype_Examples:threads=6elapsed=81.907cpu=389.972gc=54.0287zXZִF! ÅJ]ŗXiɟH!n?珫Kuk|H6 R\tM:#4`YW@}b*2.l=#9bͭ$OaE0YA5G~mjkoY2boЖ2.Ǚ NWQ$cyk_#n0%:AN$rXh Wók5wqɷndGQF:C.H}x17;zo/-0ӣρv GaN_8i9 )n+0dPˇzٲM2lƌABx9|ZS,דOMzwLϝl,?#c\ g/W$~uOc`fenW`,*@Z;/#xuJI,M2Zz.Xӂ_e?y%rKgo&p@s}mNX g5ٔ7)!w DvEʚ`4-\q~!y0$K,g=F-7W^b0瀳j 1\z|̍Y-!G7D m.%"@_ U&0!k,C\ l9ƥsc?LL){8;?Kc`55։=^f-@<% YR&{HSƲ7:7z>;N=f"@h\ځ-ss*mj:%1vQ_g51ھT#Q/v>` THBOA2+6ά_?K,*J\<INڣi|b~ozr+Z`?:E_*=>mCf^1ͫrgA ou6[Vm?NXYshbvFNF.UK0*POQ0AG&b|Ѵ @/"Q5KqDju|Ltxul;/ uJ9.VDìt)5ӑhbޔI/JkFÒ=H\[qϚL+O 7% sRY *~j^6 gRL|AIWHZ6Yy޴0 #qƕ2K: CE >BI HwM)9F iO6VMi7Az'ޏЖO|‘]!j_ԖѪO^UR!_5rzB#^Ai&JYnds>re,'E=`j:!8dÅ#y%H< ybKf8ܬw,`OO~-M"u? 71蒐i,*1k sJ #H*SzWwz7b# \ ȅ'L< ӝfb0Vpē@X/=o/c|!WҚ0](߇)0?QwҵXG9.bj1IN^/+:9m|%6`v\lٓn_)d[?EƬM@ Wj&VaaX1lNv3 {sĊc89`eS^jZ?aXץǩCWjkyF!1OT|D{A#m|X)/J=|=UbWV{">67I5?Ə{7n3O_Nـb0 #!U0h1)l~ ;{F ;_͘v{7 )ˉ.s BxcďZHe ?/oOs2{ c#‰h5SJlv2ܘ踄eb%Xn?\l vl:I,{q/Vs/`k5TKB>`=qS;;),v[QW%c0&FWD 'a<"&AUG泤e3p4o fiPM+OtD.8Rld\w#=*'V({Lo0Tjn71CN o-R@?Z<Qq-QZd-g Cn#R%©Q¦IzCW5)"};/F'y[dmp&I5.dQ_V DlE0 aU+7P{Tb\ "ljn _=lJ3K+j`{Otdn!L})zCT#~U#'4Au6z:;L* X4ˤe˔Z$k]=#p+ 7\zq(bAi넘05||_]sG#X">:g,*N&_A"6Xyʈ. LmXΥzJR^iHXSgg܊Ƅ4Ea|> 3+M+OMmQ $'(˺ .YJe18GEN2GaSc&,`Lh| ΅Ǫi;! Cy8eRUc*j84/y[$ *$%yOѠG"+F+4OELxNʚѡxXWX6[btR祲{F{eMdhzo(#s@:5W G&wH35\GP1J ;.C"ԶSmS`hwP.2Sn@}^+]ZHC.j=KCsDŽ_V03S$DJ(Ȉdhqr\/pM)vj+՛l-x7.vTw)ac{S0Mg(}~xAEm}fԅERCBD3Pjn)v~h|]4$v{{,&ښ:  sAU> `);UcCz)5^Gdg&E "?]gy&G$*=8P2}ZF2-!=At |PݐAMΫjJ0/j>+V:ެ2nYh6"wlvC|q$yÒ< EG(A*q~chcY)ۀ&UN&I5 @>2&L|~(<v, fmzZW†9X r\`cQRpNJX¦3YH+mK]<5vځT:Vt߶lN\eи /!LwQF[YiZ'^`? c]`X0mq3 ')}*%%4.;x~W*rgS倠-$%S3ASσ ֕9Ӧ=,$"/{)(q7NDXzgգ4(Y$h_69rUшJ%< _L8hQ>Q<01A:Y/,&FSauIU_-ej='8?pRL, XSF ]d!5loFa5TnG Fb~S0pNOvH(IY3ķXfG/bnO?&} 6[ @E Ueٵ,uT[29LBpW5o5vJzƭ`̶\xi~aDjw5e[nZekU5c뚸f/&HV$ Xj*hQPZw#ds$ *@4ݵuϺ9^!p0{Qw͖(`%94BQpvi}pmܭ!gno<.SCMu=vfB>@6ϙf܇|-]l! ţFiC#`?pDp\Rv>y:si<M8ryb=%$" ?ơJ D1 ` /2MUPj)4}KWeoFCQe_dXdIv/v3B(9\YB5ժܒ[͙OpS-uvU[^KOmK?P33`7i؁FraXT8`/L_`, iPH>$9PcjTHgd4Ȳt﫾 jXGxU@NپOb͏t}6E:t[)UVi-g 88{ b(<0 F;kWo*jQ"5O習bO4K}*E;;~ ^ƮV9y;^a\&Ra¤fLvy?) 2?h54M 4iA<h**yDCn' UN;*NdBU߁C`&ru=EgD1;cŌM k3(a."qM)% z@9qq̏19b':~nKK:> GC"~\BpR,jp2PAl-P7Ϊ9$~#343[z];bc40יM`Sv,~_VMgf>`Mi5Ka Q)twu ^GRsW> ^?P8G7gp=(nJLS>DϾ8oytmd,^rpZkӡ47+Aۜlp$1\=l_y ȽzN2 3ľ0u+ҼO?7x +rs,ɾ(=fkoD TR23tCATM*gރ\?t̃D{Hbbs[WnGxshʙ}f[gsηMHe=B4p?'X(횼lqWQPtxD)zSȾNher>O6~Gar}gi \]s6PmP^A^@ڽ}=W|EC1/t:oƃ]"Fcr"s"q1 ;zy,jDFfaΛ sQ޹++fЩhu2KTqsLeV.s6#^)9_ so'T.Cuf,+5Ļ?Owүcw ejKXK?1[^,uRUrhpRwOV׎rye9r2Yb*\ёYvPP~XQe5cU?3^*1ћ9> x/QOgQBA HWjV` E D4Yy]H?@JuTdw/v$[G'*r(\Y+ll=N%H''Z+t*QXՎ8,H P]Z\̶Enb_Ť*O29),̬dRmDN9BZ`G S&/Qy&\T',}sM#>GȂ܅rw:̷ߙp !)kU_HWnEG`K #,O8Cܨ s]YSx,7UU"=ժMȒa'r8C>ks-wAt$4c|R{`)8?R0} Nnvqm'f\Kl7-{UM-xu}a%qd;h V~7tO i.Y~5g ? tVrD^Y_gX!sL+$[7Q+^c{گIu;@&qM}պ[RCv,D3"󎓋=)æNQPM6x[jg,E.~(jhE*tW?eAsb_B~8k+Ŵ"/e߼j2+闉?PKრRKt e4G+"U!Er!'7DIH 2cV*Z }LEPTxQBk mdrL=CY6cc D* [E7ʱv0M2+{ZM솠>] Ѽ `eVQ*szlO$5JM2N(2BҪw-a`~XO}$hdvKV׹7v[߽Y=y??оX n7nWe3>ܞvPqL]e WGIY!y ] ;gޘ>F &bfPV[UBbSv~R)p5:"xEqDsԚKlȚ`_[jhQWIce,Eh"zE)BF .VɠOoqX6 [ D99Nށ~*vo, uz KE!Qty_)m:ld!U>?;69~v@,̤Qi!OYǏsqe!D3Y.N5N {Ɵ^ -ըIeqDǝZ?"AY*/VP)S}4_ "!ެ-O5:@|b[wkJ %4wexrm7) ڱ=y殇kylAH$ư/,r_xQ [`6d,/\U`]^yҼ-ҥk>Z=[0 Zb61{#k'ᵦ"dpb5I5L-L@$4 Yg/&E]?ᑫƎ}@~FC~mFHOd]s[RGt_J߮|ѥB4 a\($1̺.C5gnQ@zfd쑗ZP1~5uFdywrȣv>׷E\QuYE;i%LkfL1gnO<-MUqſ$Fx֣@+H%茭ا"[(SEz(t0H=ċo(9!Yc%[V;x!z-ݘRdP\3>06e jBzS @e(`;scz"BeɅPsP:Bh\ %x0ϳVQP#@^KtABy#IOē 6_E \j&卺it*94xf4JD=P'X@j[un3+:ʧכy^1`Ϥ&UpVizzp^3B`۪KG _,]p4:S c;/ϘMh=W$gmmXpC:nAo p١ u<*@ gjӘ9? h}?5J 4j`` )7(ZC _+ojҦ cסs+×mC>\Ei'Ź̻P Ӹ кP0piWhn5yNm:iP/g(-dyCl㝻ʄ*dFA9NȔb. "pn,jR)^oo/? z FM~~p#6dZ4!1bgoN\ƍk%6)@" -rLǭhA t26%[sdQPjrYq1tYɵwicRFbi&eӫ}i`iYJAYź\g? %/RQ uL9L]J$JJ~6^gY=Se15EYr'rkU9OWW4F G֝(x޷%o]|ph#ᒽ6/#On/oRk:+ ,@^[LS fbݒ],&"2ɇ*Os,F%pvsBÎ(#0ţbԈ^'M&R8E~ɩ6W|ls?U8|܁SFlZp4"/c&? ᓲ3:梠S ab3`H.L7RG#6x!}8?pD7h7f:MoB4nzش 8яdv( 铬ǺE3omNjF=lR?S.jϘSQ0Kk#[g[6`1xp]%:bCa7{kB) 0<ֵBS1B ^=8}TR̛C!j 4ߞjF$ "-?K!m؆2e7x&U^,c5]&qBa{[kɵ]GI"֝5BnZc NGeRX$?.>AA/-oQ' _ fFE4 6pQG񉹟a'er4TLlOQZ]X jAG/EAn4P|{~T!jMf0w9 MdzF*w34Ce 1ûw~qjO}㍀r''¹!E EGGYQ:e^%HًEq9/!Gݖy; :@~xYtq>)7cH ե8/sI nj5`~Q&P(Pqׄ%6a @tEK.Zv&_K?,¾M3.ev(#X !V_ؕ{i^+CBa|[8e3|Smo,fnpe2MKnnq$啔A<8kҁ:9*l~HAthyl`TɋgoiuXU@:{AA_t#?F]&k%J;o inxJeSk%}+&B3ش1ؾj&$kč2v +u! #c'TFLf㜵_m;|DH&k548 &H|_jx4|3r(=hP`;c֟:fxw\=7^H=ī_̳gCJRHUT\pY2G1`< e1=#֕CHU1VfDMӳ,eݽxfĢI}O<0 P :gy[\&{ݩծ"lTSh;MDH=Xh(2H@ߙTĀ&yԨiq-꒲g{L-2+HENP3pypej =B*6ʴ[ůh;~]=H #G' %L1h4T !&WmźaK -d}!&@Vix

zKqw+_3]xx`dbs rWAXgҡ?#-I*Z꒽ͼLla (Q pP=(uHmq~t!$$#Gtcg/72&@PqCc߄g{oGqD' ݸ~Ecv5A4g&{fUg?48դF*J[W%n4"@Þ2vc|rw9wL3Jz/7:# $={H JvvBؤj;IޜΏ(ߥ^^_&μ7rDGnIRL#Bzտ~{# miXz( B(XХMQZ^IUOs pl&S2/ܺ7~J 7݉ [ҵհ".E=*LXV~B3 q=6|MV<[v&5'NK+:rŹ0ɥk5L ^|K VMb(5 jIN7 ịzp]$vuiUfco%!yA $s >Boj&Q{|Jx*bNtgDZJưjBr bQyqDp>a#HGDnsܗFǽ1dCx*$o3̧q lY5s`nG_| /[%rjkfĔl)i!@ 3 iYrK`o̴Kta%7w#іyEsV\MġQTėrYnh[jGY +b<@$@zP[VFpqc~I !ɋfD%4 Kjdw  0;\t [m# aOlƾQ>ZdC`zppAG|H؇d52k(1r)Mcfs9tCDalu,K7q CQ62\4 k)ަZj&u2kv_LU掣Y6odḩ̌UTSZ͹ySH@m2vl4a'䋂C^Yy,yIS¾W\G;gEcd[3(ixOqo!6M͑dy&w'L/3rwEc/?J])|s<<$0RLˮ ,ˏs GS. :|Lz=!!S-L8iS6? T֊:5Zt{|CĮwҽʼ7!rXaPRSg f$UL$1/$P뉏'9%%%_>&B;6gr%(cS!9jG_hFq<*`[]r7xHasV{:Q(vB |1 /WnօfU6;T૥qZH(ԝ{~N!KA{ɔ \u,lSX*FҍfR.90kfL1ƒ>tK.\SuKBC׊Ecf6rԗrM5 ܤ&n4X*P%:ۚ&"ށ)^?4*yO;ԗ^qBo+'6Ă[X%T!p LkmPN< (+;[)f *4A|ըi ZX3Xny_ik|dZ-Xޓ]d~=:!D8/5F)Z?8`tmՅpPp6ج ;3s<מnLL|Tr @y!Hn)yL&ċ&K(.'e9+z%`Q<ۏCPuW:HAHmBXwsf/[]7ѣ@N1TІ Nk<4=r N)3.[{5s VRl di yֻQh,ȕkj_8ކk%N0Wp['qu.[T KQG 6s.F؆}WpdN@"9e=+[pۥN wNJS.Mb%{b|K!d 3|X݋2sr멣g+6$e)hW', 8WQA(-/,|ρD5M _ $nA ׬[ Wve PSxAp 0֎+ ږUqAz#]HA@)s⭆,Em(i8ȧӿE`mDs-';ЍhhI!DSzq"[eN)ETliv%|~d$ЦܓO(3UWјp 1`ZB}l*,PI 1vr/ 2+u(=M)vJԧTK;D;zW1pllmai'DzQcf"JhbR$ڬQn]RkPZ ([۠_)i*jFԬly)Nma[:F//9r׳%7'ݔ/OԵxIj+0Q0ٺVQWjwˣ=0OҀH3 '48]t<%'4fRӄٖ`"Âhr`uz ;23Ok'&稽Go vylʇ. ޝm>P>/zb=ETZfc9hO[3"i߷riixGxTM>,\r0R yG4:Aԫi&Dn}+' +p9vlA*7DRaqDU3 *itH<?}h`6OxV)6}sɥT؛0J4Kl^|ot"UOC{Dlu$myYs=ݧqxNvi~fC#f-OL<B<87h´ y'+7L%r> B@@)$Bk5dNE5U^aW?:tXZ"(JȼD4ڽ߃mPuwq#NRﯝǐOC24iF<2 6_^YBA'?Sj҂pg*{jqDKZfX\=@Cploe~}!4꘰Z0VC?QpNT Z9hBǞo)QOk|k B[1-B@>vE.0j[vRF'XJJ& EGZ=(yQzM;I*3&Пǚ-4WfxR8m2SS83I㨣=vEJ?P-z*(V@a?e^n^CE5 cI!0LDWlU3eM:D|bSd}XM$HzUQ,H3^Yi6+>_d3 @|L6mHcI'1 oK7˯$7|Y.CsfIԙ|_I-nȣ&߆Y7tU ܩ&}c+q>vra$c^ҋ_*̪g5郝i u|eS5Ic3h/0VC仧7>M6z8IxdՖ _ oeqη=_#FcJg_{B Qk7 S>ׯC&Nrٚlva=!n%h &^3(m։Ha/4p4ax\ s8'ٚ:xuj&4!Hy[7:¹i^ NR6|l/aDnܚ\$<7U`M ݟo 6UxZN qtLxu:aɬbϏтʿ[ov^ ɋKm$<Y PNU I0,),CPU']/Hb{0[O؛b$?a \v/7!Ӝb+Xu!puHא ^X!\[+UmOYWh⪕#N!h^A"n#55WWRI.RޔCقJr%"$bۄ*Idw\,C.j/Y%:YΕFjzG0:U沢XJ J&ljA[|Z'R3j?r&nzQYfŝNN͖,IUwY >*MpǑ+dby*}5TsX~z#cMpߑ_~"l[5i(z;q0x>gE KH`0TkΏPf9~ 'NHC hs;:3J|6U: }|`{ġ &C*5c;)mM[W܇SҨGh1<0gE[{vXG~)pQ}~hZZ2&qim@DrVƹ1 "&0H^[)K #%.ҟ񓾻US2Şk~sP?=d5ʩxD|`<^XPX١J(ABfJ/QOPm5"!xm?~0LБjqN^^Ԟ9Fn̍?i τ[G%d樣-+[W_˫$OQ ^gA:|ڿeXXWh1oo7G%.A$wݐ=0[o܈G+͏b 60#Etl˷H OLawqp#FG~pz slt%]5Mk!-E?4ľ72vҪPl3aTV%r-3M y^Gܣ F;bzjq5# [7re*W 18 VjKyǚؑ*CK] r_+%F%0SH| ءl,R:O6 U1^Fϐʇ5KIv;z_~gm%( |yfIQV ϱ_2 DwE]&é0|TUǐ̾qskLz{dgdM?b#ÅRLb[k"qE]!#{vC n6b:DClKR|⥌1N&3^&2vyw\ˋ+0դ2FSgF*ق(`<۱yRzZte6[53ߕ~2SfFL䒱T)? <$X<>axi-8 1&Y&-YR T!6k$jB-@BS3 E<R'̸Ú quzBpbM$&x]߬ۤ Y,/78 e1̓!DY Dw{ w !h3!԰M|XP34UdT-ĭF1: [@.c*@"L: _>+%z;hxZ8X)Y69`A=t> ״0_LH)I3δ;?3oA BUcE|E.@ɝxMmUThMf1V=970zv/vU:UmrPZƌ, 4.2(;Y@D|UH_MblVd(ѧX<M۝i ,DuAG/n*@v~aS~;BU ~Qup3tX͟b ل^  O"%hт l4?l'lwI~<g#Θ:/sZj"2SK$O9F,e6ruk) ~#RB[k۰<ָy1`sevLN3E5X(Cp^ӑ0#nT j=0ŠgpN }{gųv"7XwwX(\qr}G}FKuRd|Nǰ+': kle# y2v7OX`ٲ\Yj_bS'Zޯ|~, ^ tKڱ+J@Sϑ=c.B0aʳpK1V`5 +>xo`7U&mI@mOn RHh t堜jց^Y_*iJ RO :_C"+CYd'šR[ś[RX٘iǼf_G{5\ȡa)IKԭ5(b BVf'Ud7pbI*j m1a yayߍorqK@4HLn~JlV.n]l﷏>cn{&f@VXŗum ۔;&5M87`јoy^nPj*4B;K |k\3͇+^) PgX9&=MڤBT~`9uGnA;AYOom;tF}b7C\GlG%Ρ7fc>GA&E==ĽO@˱N-Rm&UFA }X߻¸EKo ^7T>0F,BƧat3+# ]1=/Da(ۓr A^1ݲHLUOti2CpxfџWz,H󛏬DĿ`0z" Fkq]>fHG/X]#8 ! SSn[N s^n hϞ̘:x(Q+H_=[В'AfgW] O8f"c&D ]ݳ(}Fzj;M iKέg!渺7wOgǂy<O 7±rk)~Z%drv,E?e.6.b%՝V9bUa rmX/! D0HOeA˒ {5ux>BT6{ r|L.-a(p]MV?:7Nayv{OVAٽǃjRe#5PF`EmـaiJ~YDk. EX krO??H8yҸ"HhS!,)J^ Ja Tgu PKsg\؏LnM3Ҳ\'8O~b 9'ϖmh6 m>q$.{t`=rʯMW8`c/./;d$]A^Q2#6R ]Ŗϻp%He"ݰt\+T'? )pzk8NVeL! u=T'Zc4p]vY]`'Ӝ& `+.q8!o@K;fCl;l$k>]_Z\3h[_ʬr@ې 09X*ܯ]TKVKM]`O2TC?v+5]. 5j萲}lԵ9t640$W\I camrd 6l02 6W4zFa7O.CzCԶӼ~ ^=hm[ b`򆙡ƪxqwn5AǢB\OȻn-3hx&ACFr8 0Zb @#v+1ATg$X[OG|Z=:KO>AE AVR9٘S-P`6z6M%,7&c{i{OWnO]~=}_,Rd 0{B+<sWܑ׵-:msu"5q"߾B$^7ǝE0& ZC|Y?%K d0U((Q{w5ёugzݐ36sҬf+NZƵ:_.Ր,ɖ/KcsAˎa|< _Y$^}C1xvޫӒ[,nU@ظQP~#S!avܴ5g b%Ƴoh?+HhM$ӵ/Cia'̠fւudw(' <i? mЄ.m1nlY'FD ME@W7wj=Mԑ1s%߸`n0+'CbF#+ 黜; mqʢh8?zN2 G-*}Ve|<MM>Sr*ӱ[w0HHJAG%6O9E>&fILr4V2%0:{qwFpnvo͞=1{'(ЊX=sk.'=_5n;d$C#čH; 3U ZFF,0cYt{d>hi D~Ƞ)36I';sjy~5T΢_7 :l9=ڑf!>B#6@guoN6XRc6:P RWfRH/ uiU[!͗*o^ϞW=繢cBl0Djt.Νl~q"-BdoS(Ҝ{8Uʱ']XL?jeL92Z+ 9\}@hW)).4 >w2>뙊Clܬݡ|"^־mƙ;tҬlGFuՌ[@u$-t%yC4t;^1hh"HuJt}wPjh"ط6QB?ˡ‡#ygPIنQJQ%h$TbrKo_A)&,^)bؤ)pB(@$7#t#uqu˨S;tDG'gڪإp6.7S m 2 {xAԻL*'S`9 z$ѹ8}M?pMfs8jaV82K`8OBɉ2%Xl?o\K2b R4F/5>y-.\]alu[ ]1V]%H2f_;~^yT*QArT>4TDj3Ygc b5;&Y]"r]C_p^E tt+\]TU#E5J/3';=I8tLmen.׹(΢&d%s[3d0a #j'[`#.;9,o}8Q˄=a2vn[K|cAb.r̟e&ih2ZyW t[τ fM!I3aj_O[:;DTNk%] O+D)c)rX P^NڱrXRW/ℳls{@.: Uk sӺpHnrMɥ+OtYղ锝,g!ۆn$5.mB!Mo _ܝN«tΏR)τƤ} 1o :Fysɓ 3d5nR#%b:P rWm0X]U^+Hx;be:fQ|-A'A<,tnŻyqC|qh/V5Ct@5\k'S!u ?h)z!q]%jAZqHmXp RUlKÑ1Ib5y#%0ZsO!@VڜpVt]+/6lg0hLR>Cca7/hi TD;yYK!WV ,s`DC*ZH8f}T; SYuJ>V89yٚY|-In>:a< f?A`ncdFC#vt d $J"&27\̞`Zx]h8w w U׽ȇDe"|Fyv_DjSBTP9Vz2ܰZ3,J [) hѡ/aGw֤w D+4͈=bmKYoȎb8N2P]\|=XJҎe [rcR?qbk:6ܶLTuJPci<-m# y%_S;~ͺ^19HƷN9hM ִF“=3t>qN\Z=)"1ZJTp|WK>l#36i8N$/><>~F"U)\ ]Vr#p5`+Br*}|xYPtiwN bzVdzoo(0H S]6)o Y[OxƯ?ąl%?7ne= GRgx|P"×W">M\;&VO[[yXu>`16#Ż}HR>bAQ&{DŽ@|5 5q;fKE)dMUZcGW1$Eݎ![.3 p?yӶ6u@l !yA̘ge|>%vsͧi2VEbuk#S1ͣ /2F%HC/A؜v3P!xic7v%ww`RіV.{PG) o:FXŃz$H)+RP h&*߫J »OaF[m8Xr;@ i(-ZLbe/ 7^V:Pxt6 +V֠A eGdcI]CPzVK*Q> _6/ ^^\Sˠ< o8Z2p;d}_VOw#GE40{v ]4 7 βo$EVAgRZ(86-űI/osQxc)mA'JqDުczKElTnM-_gL,/.#Io7UϙIeтIsd#>+)%M74옄P-!g1X[i$&it.ӈJ9{ R*rkzjDJ2z6ڙ#l*9#ݑ@Ê#"f'JQlϙ_~Yi\@ԞH_q!ku[Hb`3.04~!i Uj)TR`q*& pRj'zِ*E)A&ɍAz:Eh= Al οղV bF%e5 xDyp#@ᄂ'm8*s.âEPKyo/TLAϼb=1F jAͬ- }hHc[(f iGo%lq \k#qyq[y:sx$.bAwjҥHKwa`"q\bwDaζG@AU[2ݕrU ;!K{1}D-N9\.By31 Klܕ5ɊB( ߮9dZYg ן˱K`͕9/왌 _\@DYZ\ZmDk438nb{2M WɬO2 ;Ԇ}^:H⾯ nV yD*dO- k%n92?&Nt+"3L}YeZfMW" ~NK [3/T0I8`3 ÄTg {r'Yuj6{=dUTn FA*mp;s,KD:C9Vw&3 .N3Q=ݾ'NWg.pH94ž{L\ZOJTSZh[mS,pi3/L*=`u]6y`*%te7 }a&CN-Zkd6T(\|xk7~5svq4m(ƫvV-!RA 7QP8z%P IY&YKVwlwxt= #@yAlKׅs>o _ז]pj2fj)???UOECqN vSY3#$p /GHB )tuXsh:*7o; sv#6 eXXjQPV'o=>PɟJ8U괖e O5z]\=vb@0Tx _~mf#;®Ӵ#:ӂС!X]5dq {yN/^Au)NwO72o'ǡ^"u\%i #:ثFĢ2@ v V耭I,Y׿CQl؞?: .U3.c%kW)VQ 5T tdK<ʛl E$'sk|XR4x, oU */VۃfԣI$TfEMT:q38:VL_Qѩ=EU_a÷@fyu4 ?Nn@$Bd!' =b*7 'Bd٩ "ECͦkN43v?Z-o"knƲZ™Nld62wuo,O[atZP $0%H)ժYi[UTEHb+#?fcpM1qi,h,EkT$V<05Dy_y9H)G<:i^F>+hFs6.9ysOaLO+!.ฏc w G& L h@*nFahv2K_+e$Gpz-Hp2F])#!aBkF chDGS~"ZJ7?`:!WgOW9EZV;V?(>23$(^:8OկᎡwk]&󭧙KWd/B.6,hi$aĖnoDurV̷3k qLf%N\u=<\Gޕ5pe R2FJHaQyv%ڑ}l 7Ya޳/wNs a)!{ 4½;7;ic!N~-mI/tdhkۉ?!4%_wS{9W&%\ OyWYz)D0cZ< )FGK/Ty0(RQU:^QƱ21RS!sR L n8SΌg뵢-'5k2=uabު~ E7P$!TgYZ7zXZִF! X]ŗXi%L&K*%۰6qp ;r6_cI"p"6*SҌޠᆧl:XnVo/yBVe1RLz>8EXkl{aŇzmYA %TP/jO3.(zH?f+J{w=*WVI|#@lN.wFV^m!iFŭrglr(8O\Wˉ  S0*2]>sE!L % 뤬%z}V1A on m FE5XYJdL{w$b߫N2 NJmIŕPN뱣T{$纀=TD5:ϧ0>sk.ZIU/oB?D-P^߈'շϯ`ʠ<@G>jA$z#Slr V-?-d04Tf [N<ǟ6ihǎiɊƳ[zp]qK fW#{|Nh'Ae,}ʨD> Vjslz,՜k|ym8Y]dsۿ1߀K<@w1;|vs:(!$*PxbP׳JwIݧL 7 HyPA,a<,6 [ V0 K5R02jp({n6,[XB_Mj;|[Z'wOwL T@AAgcDd@9x /TM^Ny\g\pAs[%uxP+)6CL;#g0NU"#oLRݴ[H<\ N:+QcE/uh',HKS \!Ey pP#%Dc:Iis0C'w`(OңI޳%s9e_-^&KXШ"z\v!8A*om6`bgj][X ڎͅ[,V07> ] ia\Rol˗VX ÝHڰ*9>*iw^3L봂 -ZW@M)JiW? G8ؼRjsM\g-mXy\տeN&ǔL@M UB GkK?qeͩhcsF93RXl~c CRz5qwqV2§SRzJC]TgFfd<5eL-A\| 9yF_.ɯYh A-aj,M>33KO<@@x*۞ވD9ݣGaJ.J9(AOtPh&ʦhOkRr:\1m&6Ҕ*[ G|ìuM4xtyK^W-'vϱc$(6>1ê"h+Ws5XԹj6|{i@[.ᣲԄ61 _5'|MRPYn~aޖ1H2H.b=k6ѺI8ȕHi\Rg|cO 7H+` J~ӠwA܀ دttahg~%ρ-p)0 f&#j3r$|x 4кq|[ϢhyJNb4 8Tjn\yV}'04zHI;//EW,%|=%z[kQ ֈ9פa?O i;Y.K۟~.d8aX}1k/lʁ4~Љa耟vX L-S)}%o `V߁ k@(3<}l$mo$hgC39h+}["⫸}7'>{;w_=kMFK|q8|B#W:F_1M4{R&T-X7s{dSm|{{Zh zuP)x)qo9`]3&Q`D9{̤-&ng#e."/Xal~@m.6`8NB^e'hҹYӵ.`mUwIt$Xfֲ6W4COJP(y,܆j4=PEk]l[ 1"D"+)z {U.ó=*> KB ذ VLA_Jհy=MB9iޖ [HnU /~m1փYP'e\1 u_ T͏x {CTqwAKS z21/ف֯YM6 ;cr)o?M(Rͩ觺 h5uMp !?r"R dsb3RD |6E9 er 5^aߪ2 d5@6.;l򮄋cr=jRdEZfn\Yfષޒӡ[B驪M:H~Lk`lѓrg{<0ܭ/bԌ ] !)b}͆2}0,%j[  K&DX=kFpb@:v$cVFӕձ4j'r*w<2I~c-.#TEmP5kfy:˙32@:ލX\Y 4㠄kǙ4=Og_AԘbt9L_C:=1]SPlM`m@.V;ƍ4 ͜ JjB>ٵՃloHN ,)rf^=|Sz' Kl"zU-Z^W͆Z{}+2a޷F2Φ% qf c.فԉT̹<|'s+Mܾ!'g]E镪y+Ő؅u\|M#4@tُ6Bb=(@Gb1L:B뼪\Hm&B\pk%ye?JdW$iTm7yf]v@˾zL9F:{q`j kHV[c99sW"0hAQZ#ƉWUY Z7#aE]hJ' y1mW {g"CEÑٓ BklN%DQhr6 Rú&X+Ifԭ5|o+ERI1 ]P[֐(;[:e%ըrԲc컷lJP~h4"jHJO5N3;06tdW,kW*DaaYȈwg'DB[B,) 7?-,t#bLV*H5mLj ;Aȳ+Ŧp֥ќo+D.#%9 WI!G  {״9,g&& vzkSYd]rY3\k@=tB.+O\P+-;YKX}>o] "kkuN#ɱ3(ÝnrBr,\|-q i %|Pnb5v4; R 6LY2&,&,%1HQ 8,8WX1^z&|!`DMڡ d_XkJksYAKeZ҃6 caLĐ#LGR|w .DMb 1ȳv.œW7ymQ":W ]]P8Lݿe4k#]*!eMx`є/~a Ha(Cy앏%3Ə:LS+j zJ#z -ΗXnzDP(h(3{28`%~1ebbJf %}=Q.L-b\r]>/p7fSWZ̠Pvڛ//I]OzV4=<`Np걉ѻ34O9t qo ܣ֛`9 ݔRW4 L=u54g\+0 0[74n'f1 n8X=yv]ޓnSO$v&\BzڑaER} ogA sLgT9?QurC7)Ar`M ݱ)`+ [^% >X~4 .IL~z' FcE7rCBt.i+îUeSuLћ˶"ȘJ4p)2v 5e_F#O6.ScB=^&VD}4]/{\&z@&wu׻FLm`VK*3dn gICX6Gv$ u%H)9t*{8ކ9aЍzI,P['/}ð赏9@F @#Z"'@ޟ1nbX8$-6&30f ļmĪbϺ *[P`huQZOY9fEq4ԑu[U(Ng_6{uuQnP(o4sY[Ɔ5W tY_TM: 2ȨLJ ZUcݬo--Q=f6v (tDLBݷr~>W2B UGb^r[^TNU38p$bgBK5k}]oè6zLk1@TcQX}^41AAFV.srYDA1LRp=SC5JSdxt@6T9%kɬurX Q!xJƑ~l5mt5^,Tja( rh^@>g%zRT,Fz+#pDqٗ":gD({e\gݗui7_!(!BH:;,hlbq/Tr@#sÆ"T;_ehgY$TzÎeiu;95s}\)rİzx;HoTL|&Tf#Sn l}?WUoYUy#oVG5yD>\+a]>o!:f[m V7EG!VE8( C"jr V͕ON%#I. Ha='Pz.yl&cVQ[/x~hSt='k&N[HHhn8z9?]32K) 32M1 fN7}B8L*a]1F0Ua=;ƒ$gŹ}`q w,5:a[V;u#-B:KZbRx/+"M΢@nbĬR<~#SPY}nr%`sTǶϕ^P)lt=y,; ؖ*gdy~3{!FAS5u19 +VZT3bv1pvi2NvghLX%ѶOL}jץXv# 8zZY0cIe*n;+=ok\+M:MH0:餳Dzsxk B_= M5ݱ)_gYZ85ff3230141e5d453dd25dc13080dcc31104a48d35a6500ee753652c800a7917e32731ca9b81ba08 09b9a8ab7b35d71c17424618f69192731fdaeeca bb2ab2c84d1d2f65bb91d59f6926da63d01415f3