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 ,%D4| ]/]HOL-Analysis:threads=6elapsed=323.957cpu=1660.256gc=91.612factor=5.127zXZִF! oR]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm lSR 'R* CmkT_ړT*.VxdFY 4I$6Bs_Tià"@9}<# s˖lAĩ{08Ru&5@A0pji 5 \O]h=L%@!@ȜekiD:QH%=ƀcZ`i%.l{KSk}mHb#S9 nE/NV*z9*H&6:T]B/E5-k"=cYm)=5x\P5pB؊Joppzؾ5DymPcꝣ;?L7j$X{~y_0 Zj*V4eF Wk] 9>R6 j"`ZC 7g4d 6]#AgKl9ePXNEb"Sќ=V8xzw tW}∯gAK&1wrOulOKB:<@swbBPIu\n|V, !lUyi_nR[7Ix_D uG{X3J+AҭBBa(s83d<%a V .)]:[%ki3Ce(*x ^YhJJ^*}4}"4!D:Wrcyyu+V%jOuB-ZQGPp?^8Wm**~Nq'\= ~}w:p B9i:s\#2%5n-jcs>ѯ2r{u*Aa{wdQMnJB",wޥ O͈VC,2ǎVXslJI?]'-S͔luGz{m\! YaO2F=:77L-"mDAr}:Ӯ Hg]i@\j *g-O $e8Uُ7R cS5ow"LN@ho3 r!= ϊp[#e+`WŰAޝnTr[wKz5=)QАI7os. V?,/zYn>_"zWdr|~(SscQ8Ny$ rbk٧)'+2Ymfwʛ-t%nj۽u  (bILGKG[etoRzۏC8Rp \f63rj˰8>0Z2=};a(( $4t׈T?m)ns}w`\>5uZ=G2CLQe "9}ݳT$C/?~jVql_g:!ϖԚE:p:`/Kr\:x$NT=w@:1)]s|pW{ M=riГSrYQW) y>Kqowk=̼|ӤFu)-t3&qw@a 4?Kro 3ˀ FxI+(оuiZ99N42͞ԥH3/9oSà"]Dig. [Y)?ˣ5D9euΉTUg~ 靭>_1]X;5ڽ s\O2Zv Q_{8#w)az-ekmm$U$@\=f!ӗ$ z (Az$+0GpbFW$I롾aŵ$8!lS֐֚pFn36#ntm\WBgᜆOſoflN3Ge͐1vp2RJwW' ˙J[$w)5!7ڥg>0<Õ*"_{rBww1!b3&|"yD.gԹ(ܔZaW5B@P(R /Cٰz{0TH1lS`ǘvS8^;t4Fi % HOL-Analysis  Crz2IvRh3 ,t|O7- 1@=G5H|s$L(l514s~13Њǃm񦰰{F~3E&3<|>E^R2]HZYb )_Cu.E\JҶä7! 12̵spPv"F\ҦWMpFXpeҥ}E14OT’U _(2PNC-hI՗Q޻S=1'H/rWD.F&ȉIbΙ9ґ/瞜t(={sM-~EW޵cgo1ͥ|:qՐȫ.npq񷙔$Sԣ% odH#4JCL4֚K$?_R?lP.TMN3'͟v,R G7@B˩Oi 7NIoC]n SJ󃂎7D'5Mz\EHk"]\'IDW}o{DmCߠSca)W7br" 1Vfߜ=}q+2C=:X)í%'FiA'R1Țt @hKPǞT (ɉG}}Ɯ*9MwX_gڐ 7`Jgd;Zzf.9MwkO9!G~8rztQI'$&{pA!(f^2}y(8]1 fDd(h.AIqߛ Ր%j a.&Om9I[d\E -11th? >.ZY󣇩0ze PXde~,-doٳ^; LX mgWZohQqd0P3tUFđ> LxKN@huSp8Dܷ42XXs,:ukSbr~Ʉ]5?셭?$tک\|XۮTc ހ#r_Ȏ&-C.@cӱD(kO܃]p 6W Vl Siq߼LB$-y m XK 'a6nMh28j_AxKtm|)'=ud1Q/fEk+Y _hd=c_0kJi  0[61]\R~6.$v1Wuc=ק>ܖҲOjv?g uC rϒMÚ4&ͶG ^Si[+?yd|l #{E(1h-#>VM4U7HGwAms̕Gy@e,h ?z[u> Wz[Lx-hGlQ42 jUݟ؊!W8RZ9Ś59z"ș.z=>?9׏=+}z-i_x"^-<~E6P}=8BR&[ZrıwqgdRw%(,4b?',- PZ\ᛎk.Y{īoֿ{\f1eJ ^[֝D7*oD}G={_2>jT.<ِR g(m0F~ L+?/Wv00 3fR~1vSlҜ^WúRLS!]$m!`ÚٰO[olG}` -e8{qJ+X!S׏hG3:݅Ql.@P@$O8߮!V^ p0V\;Ar) gQC/T?'c,d:J[x֍0A!$',e3<&ao5S ;}3ӇJwpRDKlbs;OPDd!>702B7[r|MBjõT!-5IDyN` ]z ¦ŏt W!_ -oSsEҴzWZ4"?FγV=7-Њ4sb?Q#[w=վs7o^( 4Lh3I ?B 7)P*۲+2sM3ɮI~G)( "L3 ޭ@52 gVd_DfUݵz-&j&uᮛ`omEAڠg  䧲d4x E{?:HHbKT`ȮE0Đg\Ce_-#./ fѴ93W&(7374ɅG}D'jl=LVɔ  i-/;m_@P{嵋 Wc%꛴>/OȘ"k?Lvx";A E3Z|FNKmV~FxZƴvg6ʩI܇gȻE9K) 볡kx$N<9tD4Cgd!pS}XylΔ[I*j3MmM"4%L1i11Cԓ1P}/-@S RnQHDŽ3J`ҿLL&_Q(t~Xp7xŽ_A9hZ0Oa=6_Va0!P 5w F&Y"APۜ7F֎RBNB3KU# 4jָ4r}c["XvuqbU= [UQ=d-oBUs!UZVt%=o\l`SUQ¹]5!`,/itfp[SiלTN:>1ԚdsCb Ӫ߶ /f?őH lMףS Ej^wy^JX=Z>p:\:8, fՀCuP&g mN"aؙ2$2L8 "h^jҀ1h49ȕ$t) *6^Wڍ\ugM-yEojyP %}5k <‘ ZQS D#&w5c,*}a`~+|T~Mp` N EJ%K$Y(xN$Gī[Ȼ[78g jVgď9l*;wwLo \M#ncbl<24mnVݻTijzY"W./QkSv(N*rThe`zb<Ϸэz3$oqڵzl;Fĵ7wF2$XmV3 6Qc  ,'nFuVhnd @ƚkKKX'U2)>?\ w9e]QMUV:ǰN6z@績Jn8 ((7\>oYz,!q 6qlHV%|:bETa~o !aXN7boDEpۊ}~5c_m^ytq $b7ܹX +NJ5<"G-z֯,?RV527fI|61cn0 Zz:m(RũMcM'],#$PC\,Po\ ki q^~yl')AaFq ?v$R*YքD'?ڠrnb}#9HaO2DyҩT4_KbdSO~wA=v)JIn`@C@;xi$FLR _\w\ãB<QJ/2w:(S[:^Mk2"$$3ӉF/^$t@Jfd1}g5e.Qhؐb=M )Rx;QhRRs FA~G8 ;8)6`0D]ѱso̓>lnP6A'޸ah7 |4^M.k Q lh|vHKD[vá= RXp] 'xXǧzh[ @_豳78jaFz34?-Y}]F=UPJ#F"N7Fb.GP:2%m֖H%xWxM=1YpZ:+9a2չ>wX&`1N\/]|T}nf^ml9vF17[NǕ0l 'WWx0f Ӕ%\.NY:E]߭$pWQ)huSi>~~,ǥw.WLRd8["\ )IW$^#JE| >ʪ'\ '<?{&\L,[>ߛЃ-͙DSKkjuNpR)âQ#@"D]1}+ʰb(-f]6&CD{ }NPTʡ'F_Z.i@V8CѦE+3 LGRΙuɶi^UMTsz.w%Q䊘bA~tjKwϿbvۘӲY j=* -dU$}Ax`Pd:J / s:62Xh[EWkYih@?wfObVu V8T%@48DjXN1cjF`%uKS!v)ϐWbjgyQ^H!6WXuc_FW[ \ZOW0+Ydх~q^-DX;⊮ohS8Ԙ5M {o8強*NXӥy=H3-"Pt+ٯPNis)i/(e CЛY`?6!ǀG雛n\ `!,2{ |pH``&+[}9]tk!W#sbR#Kׇ Z&uT2<|{NekSEo"ܩLx !9 S=O~K  8́ylvLbL}tHyCmR3MѼЅ捃DcP2We,y:`z1&; ,;S\aM5JR||L +W% ~Tᦔ_.2gЫ~y 7GVCÈ z^jQ҃k웼8P6kt Qfp%2<h pA߇[<}&mȤts n/@uZ /Zx>+%Z{h8B޶2UT!XAeorsNRȍ]`ɟm(x2He' Qbz`pД}\ջ;0yբ/ rͷ5"{/~ = R&hv2F*\eg4C]Y(N|۠3tV>k1Px#3G~ZH1? F@͡- !2B3RGAo6≩M‘6sV Q4eozGBB:'JsGKaJjJ l MrameguyBkaQKIl}?~~Wc5! +AĀȿ]>UѡW(rY 9OYaUInms頻96O| \?:$etzՏi@ |"[OeŸ?~JZy~T}EAWPߨd ٘r$[/MbەJ(tc2gknA9э[~}x.gֆMc] Fˏ-Ȋ3l`ɒ\TSMLA7ETdЬEb/4[*/-( yΔϭ-UAwoE $R4fӚ{[h'ԅښQMxjqT{ 5Xn%ep})\rիKWrrےX l! IBae54H{1 s]E{hk ԰O`J$ ҼhI =Sڹ$T޿2"D"<29 ǖWSqArQ$:d(*qIھ#|ƛPE$9& 3bΈ-2Awey5W̚hj2%3۩)@oe1We9njZ˷ >yKCؘSA"crO#dprֳ>|c\@O)ZM'h4x.- 1Wh2pOn>e;*$ӓXI{/~O10CQ fwwuk?JZχ6jBѢzA!cC&S3uC0K \;9mǿ["{ ["(21ݳ} IGi{uzPf㖾Z_O&c2F9Z[}-1gO.V5+lov PR;Th\%8Y@emB{PԭyZh,uF! `oc=zv=+Ab;ʘ -y"k}cF-znOKWaJ5(7e L2m88d4~c7&P'H}.(7b 8%3W'=7+qPN>38>g KНN4w!\ˉcV>oyby_fqZ)*qZZz<(r^D9Xê&:CC aFEN K&|pQ9?z3׊n~w"nF|}(y|Ac}]KA]'>,罊ac4 'gz ՍoJ6i`5J\6h$F5PdQSե ⡮%tMѫ#C9b2~9VA/H:"7eϜ2>]aXC\j E#gL<YNoӝ#"f*vSAƉ5~mE@48 d9|D vZ|GX{\S &;mY5[ii\Sqe*^c[:m +;䐿 z%ďsJ{O)H ;76 š}1_% }JA/Yֿ(a<ߔ&8%6t0{ N ?;5n9U7 ,7>#鮨XKĄ@W En$@Ƥ!zՎrII"V1:9p,T/3ii1`!C$_ǂ~u IX-0'޵֗a"#>hXjX-~121`F(̀`2( ^G6cJ7L,To(0BcpQ[mF$zρytFҍ_zx(t#njHW@rO) Kܟ1F"%AfQ Be{a8zG8Dj(# !bf9䲚LZoM'/NXwiu. -< V.^܏~1yִJLDNE2σKEӎۃ `&+ p?]H4z޾}1/Xk,G'ppֶߺ_t6@Y/w>{IB3&}5#Sx캐ۀqoZf˚l/TvpJy 1@ّ6P ThEOuqUDZ$Tp}xGuGjJ)!ZWFű;7Od^?յ`qM.SBuo[(-L#<([4d8՜ <ɆW5ʢRaCs0gRyѡy?v~x=&bȌtո=\.0 Mau}N,gl]T?_^-#A lH5/fGU&q{R?h*BKS9jBcsZZ9&JF#kI(܅7Rls??:r]ղ nQGOJUgTs _G|PVB29Kr_UBͺVKأ9>iȒۖNZΦIKyq༙<usH=GU~vI7x6.= [:u!5H2R)i5BFIܡ[j$#Om.Ky YX]\Tz,:Os nck-|=X -먰k/ܐQG`HrXА2x>!~ 'U a8SylAH0GYTҠxz>!,x/NL֗뽮 s9aȫG"(lC\ {A_k-tEP鉒JynVX#&"Eu◫"Wr ޱO@ӑ"t ڨ 0 D צN#p"u*$bO5(,^Ao/Z $>)jm5f? [Ep 8[H&giha]>5@!AʌiZuĺXcۏ{hhh2ڍmSz%$.'|_95f*~ :7|v A3AY+w{/j ;5rdZ6XHɫA6l9p|]WpI ܗO.Qh񃠿vmi R1xH1%G@nsx[x{r|2kJ+;Z+mn۟xN1āmٖcɚl{)Ajb5sM:FK@vps㓥. ~Iq9ь%dU\G>WD- #w`k"r[WEq,8{UK)\Dc˟i`XIjo#L (ʞɔ4%Y [CYABRX|fMiG뎊g%¯8EBι{WA]L'ʸ!񒈶+3=6H/eK^_nظ @~0[OТkhqvٌia䮫+-Uqbd],M;AH7Ĥ0]h_TAWN80 E"|^@ǀ٣JOغk}fJ#9㶒|],{V 9Wo'uCih~q{N}w=EBJqx tz$8WE:<7 *.$ꇚ0٘k=Xguo:N N~pZCG{PPtIp$*b7lmfa[s;y)/J[E\TP(RcWlq ['=Y qΥfEx]Y/VSb*c3=MFx%Ahp3Hg)Eл M /Ql6UVK|VUAj{ oTVq5 4mI-,/&[K, V_߽@W%bm&2J tӸM#˳f6=(ůAEtF}5_ pE#!4CJ8-e`kgX/`ju}6Mx/#o\ip$*#ЀX˶G~2.JYHyolI.h72J7MG! <F8߂NP]iS{P"yLJ^;7hݳh$d@{cEϘhͻ&$'OSC$R$}czuu@TPU5>7'rG1ɝj Ca7{C>LPal5pK7:OnE_ AM hI#fZjCbv(Dg- ;d]B`¡r7`@r^u~^eY 4ťj ˡ;k_w:)M\`}5oK ::xFGX\WVKhEɹf:M猪3!vAI!:b]LpgR0AǏS} _Nchǔnx64(j{vA2.u 'vK~GT}a:;Cg7Ӯ;wx]8$)l&\xhLl`u}9}!XApA]m%K37zj>Zț%2rĂKj8-,6/poػOl"I{L&Ȭƿøyt0OaAQr&Z36bL-cBgbGdE\ ) ;"NSaF?!?X)xgܿv%]o4)?y5~pv߽ Er] $0hrȫ:`9ʩ#1l3#c,L4!Q7BcRrEPbҀB:ȳfC-z z(NꣃϬ4:`TWꛐW'­Ul<;ii: jƢE Rp [-G0 jҨQtޚ%hE ke@PQP#iѷڗC_?ka TH&K,k7u,.QȄù}iU؞rª,h~5mk C Xc1fL\D.8 ; Q1"5+vnX6)S".kJdhs62I#}1OҴJJN² Aa"" ?SJ)a!X ?ǔ!,{lOG]>eU ~L(%"&#@`WAĝ-C|b΋Tz(/åQOydl2f1X!՘5 P;Oс"2 w7T!eߝDpR- xF`xZ+8ѩR" $`M-?mFQj"՛hX_$*r>ƅ5lf"HYS'P:E/+ڬ]O{ Se@=>{-wY'[b,+Uެoj⒥Ly I.bw W`]0H0Ua^b&m ԡBc ~8pw!%҆;=9+GP 'pB둀i~0@ 914L2^֊0f 041yU(䛡|U?֩x<#~i{'c7CYz|DkhShx;jip',zOKt#~nCE bH]&f* oS]%TEK EuԂ,wWlQʼnUmڧ)è] Vol`]UӾr/[tTlJ&kͰ^:tDWTz1ٹ;{.8Siiz6gٝ/uIShCܫy,"j!yZ>9;t GD\6~ZiƒH8xrJÒ љxt9Ea![ _xSN!fgL}-*(|Ť*T4ū8<\j[7GVW*.>"-.V)(0 p7S+J{9JC?ZyPdla.ӦoElNX-ap[t!7bް=3mXStbqo?rb.YzTiR0|fW#Rδnypm-s?y3.|Zel5UlzyHx!Kl5~ īpצr. '',62#ņ2lb6j<d8BHwU M|w=E㓭^- Ep-!D͜+yQC {ԼMiC1 4 :Xw/P4+܎(BQ4&Ù JrP^gYZ7zXZִF! o6]ŗXi%GN%9 {z>eH8&bÑ4^/^mAZ5|~ŅYfBRf0@J H!dS '󋜟6}֧FN˚gP{\ 6ϿI,Lw}%%@ZxY遭(B*Mŕ ¼&|$aǡGw:揷Ͷ+, tɏUl >8[?j e$, rJBS_5FHrZ*iQZ%e2H S0"r{5{{٣2 Tq}3up.!An:בk\C֧4mOSsΐ˔Y6/zjF4vx/Exa*j'(?Z懧b@Y%7M>Е"`)ap ,_(`nզs Bq\Ja.\baø;)ϕg9<󞳙47=Kdx&?^f%kJ_EImy nDjj=dモ!Ak#1>܈:F>Dр 2"?C6xbm;孶3ɰR2BJCq1bjn #B@J(۰+yOQDZ~4Y\FKLiG\EJK:xajŦ(XiG6{6HRY@/Z o R0-hy> >褝W]e:s?:RdQO4)7>CJz\vw@G)RC$BJȺpEa}ҡ;٠,W #0QV!j३Uw|zh,hqV!^s x-t l$ں:8ꑾ|BQ&qu$+E!,@B}5~Ǿ_dҍ 64GQtך ph#*f7d%ram,0C/ Wfun9! ٞ.kX[z3hظx}LPN~p3#ś|cF[?#`( eh_VX{2j G s(I[g܌EUX"epJn.yWa9.]y H[SE28HP ce,˄q }-C:`Z tdYr|*@Ԍ|'2hsQF_$6 k]8Pc@6b;dBao|˓'D7/4%τmO;F# .M*h[}W| sɐu (W~I(07Hab^WiC+d vAe %nHuoFm6GTr ŝL OTƘzfP\) fߍ 3g0L4t[B n]M.H+1S}ql [ ;;l s.kPЈVՠ՗v` ~I=(!ލbU7.o(!4xяX"Ϫ| q4HE7/{C*v"z6s<̖waF%Bg_KaYEV=$y8\AG5#Bsg7O:Kr\ۗ]d }{0':8Sa?G+ =ВJ64@l,37;]ѷdRTzsVΘc[pIBK@?K/lSALWde2z =?Db Q B)0g>^Niӏ 8Ε} b cEZySV2Ĭ 9ӷY7J<a4NQtOd,b\zB\K0U,NT{S4] ةo!YʔE @{ ko+ w 5 ] N~"Ky6JM~ Y["Ji5cT\c;ܼ3)-1tz\\ha2fm$];kk+"rk7]uzVĪz.)0s@@pMhzbvb# Uȿ֜[ѳq_=fp\n3IJK4FFY*}ni>0X]Qg/`_6wәL~{nrzFV>q_Bx۠F#3Acʕ+9$zr40`hT,>48 x&*o F- g53цʠ;s8Z ?r0̘%OwCW*c>%/_$Ⱂ$T-D^!N0Gj9jLhRS%4y".={DdP; ¨E aR׽bAofVًM817Ϳσ"\9oZ!qu7POrG kusCTPr bni+z!v ^ n_bTe:!OGƪ% 0=ύ\-莴 K81-&HBⴇC.)!-3b_{0a5[hP`/2TGzTF4)טÜjNLc\QYrmTrLʶ15ǩp?~W {FD ~{-W>l>y0MhḪ:|=sI;o$s0m1{bMDd-I/AC2 mME FAC=G?J%jy?[jsC,XPmh2 ɼ%7}8wr#enEE`dUɍOO沜Ͱc2d>b pVޝ*I 뜦ft/7ab5mVÃ.v$w<~wؽ#(XzɾU-X 761'+:|YUE>Trk Z١/[ȅW&h0k/qqEPLσcc[R+4l ǾލyZ_r3^Sq6gepbdrFᜏ[2Mo!3Y@AH Km8=Urf%Yu:β룫#vHzeEIrdFpeE`EU}e,chM+Qu!聰X©bIr'tg#'־[9}eJ*A#g<)bհvԩؼ.>ònvC]9@zwO;c^Ǿº/ePC?)ǘXM~+_UKQhi [mf[cv-2J7m2Ί #zanNAըAO|@$8*XyրҼ=;)=.f"*BuѺT@> 7矇 So@ryG.Bl mT,V`[7nU M|yiS&;dPwXbXS!kR֞ɩzee}vLST,1aP8^ kQ,0895͚Z^R2>e7f,6 :ݿ%N0$ =l((q[i35 {MQ; ,CfZE0U[Q`3x `沺tҊ`]Aܡg![!W@v@?J5P%L4y/>v+_x>ebÿ:e,dvz*ۻ|}x5<0#~]؋Ƭ )ۆ`ʷ]\2OZ2ӑ5뙛kNh}0>G$mrwV]:ٮɀEe;b;{S.:qP{Tz_雿b<^L K}&G+,t@Jf|sjPq,wS`b Cj1 ~G/A<`%OL̄O5;LI>s;c$$rMzZ"kSmg{ \O,2 UT` |oVtHIFoZ^o @bjŔtu )đw+-aq!ZD]5^Ѧ9;GuRLö#@<\\Ñ]4|\y31)LP2B1}Rl_eW8~MhPi6'%wm!hї ]X֯ejD=#9\MVMh3OMγH4W w|ħ|#H()Q+7'3h5je륑Jk(ϭ]ݚQ¬Ss!و(Zt׷!+~'V2dƉ E11PZIc&iTվ"7y i33^\&CFF4vv7*i`/u3- -b.0B,@2I"#3LL'؅c[X 0r,p7^bM:_Ma-]W]Ƣi.S(ёDܲ Cm"9ؘx"kcj?eȇ6y[J G{X%x&f$|B#mq GP>洀 LCοSZuǴ8hфc2R[[WhjK^##&,izEb6m-Wߋږt'n̸T-vkL##*TXփZ޼hp Vu Nof@Ti;hw"ҀdtaVp*9BjR("=!3Xc5Lmhj%8R^R}1R,c{Sy[Fv Q\mY%$˕dt+ ۗ15j&xHqf5or ]RTbl(kQIz9 S#,@#;`/'T J@DmBrCn-tCnj5:( udGۭ'Z&WSUP7(53c0|,m>YDw⬇þq@a56`gOyd]E!SV1IS6HS18>d#^u߈HS?,Gi,M-.NuG{tukW}{LzKC6\_xG\Fz5F%,CZIў}eɿ$hQprNEL1;t)ޤm|*c3$y>qɫ<.u#ک*Y"c7wwӾpo;P>F>`TyeRUMgj1p|=|9 ̓'yU8jXDG] Cel8&" YEbzf 山ރכ7B9)mB 3!׽Ǡի/A]F ~}.ɘ{zȁN{lr]ɲG+B~#qi<.4IZ0r;R[cjΜV ly?9X+MG >7ڝq &?!>!JiSIa-}gJ=3*j-Pv1bJ=fciěo`d?P -Үp^_FFXy>V-4E?ݭ NiUyԪt銂%wf MlN` n$ʄa0z0JH7 E 2( XgLY~ooo[L"N&΋i\%l') 5Mno>XW{QH:8066e3ta&P'FMPud:ڊ񆬱-P`fb8t I #pI=t;[hw%<ʞ=5Ao(kXOYD'+:3gk{+NGGMU[*KZ'x'ܗ-:L"He+EU-@jؐV"`3: V2H撍<+ p²QxYm1)g tw.?iWn7WygWA% `jig2 Ν~67Ԛ-,Dž. q缾#1)nOۦ#eQzϻ6v,x)Z'꾳EEև>:]K堁z=FG+JƶYMjUHsZzMߌTaBɚ;1©۠$bQ^^g"C+}po8Mu Jߨp~YEi<]6*\XT١lZȾGdsy8nF-.?rOFl0Y<w.تtuJ'a_{o;Q6V|$a䓡vDh35VtdG䒟ZwIx+NpOvCXGm4? cUuiXk^ {楇~ogke")D̩a'u0P~5q N%J]p{6[1g$}?ktgֳno8|$3E J^o$%#{aozvHc",3,O7O_fC! Uy{xq%Q2xp,YKM}gT"*þGW߼DWߖ/7 u\'Y! r'}Ț2Wl&m:Jõ~,aë on^L@ѓ{2 "SvS[oN̦=Z%F E)pΪ<]LB8_e IݳaȖSё,g .f/ꍑpx-nI/ HKt{v>8mI=#P̎pd)N=󈩰 Ov2kHHм!3cPR\m{4(])FH_:z,c@3wV͖&fgO@S$euv ~42;};l)3ӌ} 0o'JL8@lJfz:F7V< ɋ'OV؃"7KxeHs ]kVqx9}+^i F@&_qeb$җrYtk6$dN%û̱D5h>['W uQZgiqJ:JcFkʩ=o36 صo r B +Ϡ -GysӾn,a`}&՚7,,l鞨 EvY`AiNR4^.+bŠimWSفM Az`(k'wUY舝iTYt&y7̓ Xo" @BGy!l&!%A . e,LY3-#B6g8I5=dUPb+̚$Ur֑ 7ٔk0 H"fF [ord3 ]=WN}5R0X&._f@>f& !$Z# PwzBn!`0H6DFisHO;⻊r (,2Td#~0R Z;2}Ap8.١%~ڼv}O4_x8[ .UZpnd*:t(2=}|"8?+'lۂܚl78P9ƺ:ED@V[14{';hB26,[Dg[VN,@ϫKo*8L/qNCBR4`;H*ғ[7HX> | mnfKi;kԹ`+iKm6Bԫ۩I&*/ o鬙fDjhӺ|pqwXjZ٬D ^w 0)ӵvL0ss5DaZhl;:i}QяU&@V,?';#9RҞ4.7ʋC䧛Ʒȉе@S)S&>FXF'Tx`y℩/wo>4O! K4\.D>Ә vXJ1G)Gcicbi͈SNswLLQ /MYZ:ꤧ!+>3,<#v+µXO!D V!9F:AӌQSN(c9˷t~|Ҝ7-_aiб9I8xЂ5EXQmI^(2y+UE.(v7 ǩ;B)\ #MWX.k@)x7m-[Xʈ`.D0.9)ҏxo%GpRT*5V f=WE xƁ?T+:¨km88pL1NN׻ްLb(=|hr7FVzU@SヹٺIVN_R 'h#D_6 W+Gp&m4FRa?}/7v ̎|l-bB67R [pa}i+RE>CyއZT͸9oU:j ,Aue6[5l*z/f}p6G?LbI5p$R̄YkC4ϋ<˽o QM-jxwmI\3m,$Ŷp !PӸL:rىs\%a_{tARpsEB˸ ዝKUnmfQoV\TX†YMse6".y*^+n>jrp>'|̖`ſ5tx®Go@ 0CLuirDQr\1Ją+ҧsO.E e^ǁ)y;SE&(61"Y$BSuh](R*i9 ɯ#ȵ*!V/?;64P(R*0?_mdA2_PV8eUDU Ѩ* $t`I$kh6R$[H0;5Ud eԬOƒ8n6dZ7M‡$Pn>_9d7_7iD\71v1- v|P|!풃\t`I4wA]h>heQb+Ͷz:{x:J /lˌK[j"+|'k5 2GNU~:͖]~.ߟj3n2\):DOJ-D(/`wlNeǵ ,hW [:cUcN w y4w!`NG_yD ~5I/qBv-A"@uABoLgiCTd% =ZtaI{.K>J3oJ4 cƚ԰B٨zhܽJOF;V<3=2`A>e&Sz ]~4_Q،}M/d!;AN%z6-.ymI~j;m9珵֯R4 uzQQ<~3pXHXu+35}̋d*_y"\@d8M#Vz;:8% MTK䒾(ּc M&k5_lsյ0Zpeox&>Wkh%;cljXi!7+bsЗdD-Л2C[S?&;hJ%5ruo9-ŭΕY '([!u Xhyz*Yyx#`"ʥ CUӆѸ|߃e ~R>`]C85 ;*>F6t?#F47'Yh,:HA:+1}\iS"9wDKWY;3xlg}mqx_$CJO C@3]=˫``-!GDaHe|aA؉_wXQMMq]20 ggEN*ʣ]65U.Qje}`^w5oC+.f1b{*I]^qn];(5=oHxKZs{b])Л qDZ76ϲ~Ks[}O{)dvTK7Tujź pZ[_ޙG-X /7+^]FЖQ@P}]1B2~(-/z,HBe4R_ӍL쿱U3N۾ uim*w542@̻s< /{*S["(V\qx1ٸY2e@6ԟS43':C" Ec^߻'+/dC2{r,6C&,wC/u6 M hYzU?%VtBK3CWK G`İ9-E9g`}2zAkug&#Yv2c=m zKYN M* *|ve0}dx/Un@]]qɪʭa,`EH!}*65Y|(7%pJMO JejEl bѿKՄz}vSp4n p=!_)j>&t+)Xxm(i vL o4հ(@{gEկ]PfsCMyhjyAg#_ۊ*bnDUWū\O^Mͣ>]Z=B>B7Aj`Vit.ڕ]N>&^I8>9{&԰'زD b_(>b߅Rn~_gRs= ~3lkՠ9Moz*dkdq8!Lƕ}l/k+5'jZ5G=oYUA&;RIm u@>nщ,m.hϑ,ȋ寣>g#i66]//!F4WsY[4Ex6 %SNa,ozӆ߫LB}%9 Abh}D3J˜fC L5 ('jPʔuyQKKc\H3|ZeOlɲT3a8|xy Y_m}?3K9Whԝ[N'߳bjix`ӕ?M[ DʁBg_g2c#c91̳`@ts/8"6I \L^ [hO k>5ZS>{L #)xF_xȰgD=hBg薹+Ͽ#)bBv.1d:Qˡ]Nܮj (-*JĬW=,.D'Bt M:Ek0upwfd-x. x2-q'9}WkYPw}}p[ ` b14BAϚcC,2 a#0N\*frGKҟ72-W)v;(#̟O0XnY1JD"+4dsE%d;!(f%׽@ '!$6C=K-5yqȧ? \u`5e=%S6$JC>o2{r(5\mȮ4G>z\'2x,ʶgy776GSO57:>!M0ONH_r].J[f酹˃%{۷*~7_aW#B EK2Mm0Ab:^)¹.QUnL3'^L-LqMpPJ--O#@fUpxX+ķ@Lx}"k8 3nDj5 Zmmn-%Yp#?Lrv9F@x)jbjV*o6uX@AzsQ?"zi7 ypS as>&ɨ-})oJg{XSBL."ybkotV4 `dej8⤶I .'mA/`,jPei1 N,lݩ)@x:`FV #2ߩ:ymhZHϫ!V/ ,0Wc(B1kPqk5` L8fK蛃?Z*Dp C ذe' eaœ%ZF]I*x Tt"Cc\ƯIL{KU? Ͽa( `rI:b2$>ؙi, }Xk{YA#`l`jjbpds=,v3Mߓŝú25$f X3߫E͡7}!K!kh g< 851:Vll-X3ORNR.U[=*s['\m.F :P)%wp8qG4ҥ ):_%UbUzD[)(gWޝt5 x^)iMJuy~ŝ̹!ֹndNzM  )`MerEt Q;-)Gl}2kE׵{xB?܍VL7ӧkΐ<&1ME-sz8W5A9t3+bD&:>ЉqMjƑ8ʼLt^i36wHC/j$罏\>tb LrYJ3?AE.4~Aո7z̝o#?P'[DCTB*hD#WV1]zpX1eŐV;qDA6Uok8͗fO_T櫬Kc{C8u؞l`G(bDr4ʐT46lq;QRjQ9rem)#ΐwϠ1,>HIߏtvP^tB+Z;)a+/C8a9h lbH<+€9NZ4POsVߏl6G'*je&tQlJw|c{q3u&Xm@%o_X7Mru'gj F$V[P9|S;vxםĵq|ى{^qk ߼f@5blo[R1Ef̭ٲ,'Xsڼ#ch,_Bsv;}[82i4=hu뙠0\r_dYVӎ7g"ȹ=h*Q +A dxZtl*u䤣CV!wW}[R9? ~ Cᵋ5*MPI.-u>@xZ$ӟ"[@(gď'v@4L5iH]@N7r*zE<*-{lcV z9 ,wc}]ﯰH.I25K@e3'c|8z5Q#[hm3"po׆Ĥ6_lkΑk#vx&㚾>TQKƨ%Ug@\1y?㢥SVva?sft4sS8L/ƙ5cDP w84e?|I48YXY*HwXl` T6^RKDP5t2,myx@fwrb=Z\1¦0\y&ҚhrЖ4@IZ\s'D^xAYIVEFJˠn؞vx6hKpo. ef`1YU/PV o!'i/sDaUȡ d<;~Icn/V&E0VOy*+Q͋uwcp,C/-&M M)(R6ɬȋ. ?4 {%ł F/~y)lr2+æ@LP9`̴ }"ը'5YG{ћA[#)'c.yn6&SA4=LK,KfNWD@dkLs ]XͲ"G?,fғԭbhcTCeVɥ$ne&b鞰)ķB.cߖ|oހ!eƭE ́WLpvWaaRyb>G]zg?fp\1gGv ",΄:smJs/q`:u G15 ݎ儿:$2e%m=@Sh+F h%ԘݺsW (8R9@6|׾Iqҍ!,41䶃/$us{j. Ue},Q 0]l *=2 á/s~C -2P"9G 6IOR aiڝvm?m^ -̣JOWUءn.Ȩ}OSʊ&{mJk}b5?a`4+f/UHQ,v [ MR/%:WW Wz 0a:;&KxXJt9I_cCi?.R>A7;Ma~NrqȹÒ . ҕaM։#v;G`EY??z T׉KPӾSR{L&diޠ,(4Z~o;^qk F`~6S3GOW RqU;vT3_JօRI #bJl~GQhټ12_Cs~ d*:..=gCDsRIq]AW?vGEr[a_YHe}_BbS>`-/5Sh囍 J 0Rtmݜ@:+8~(`[%?'Pf5u^AxU̓>Dd`);}+^-l8{q?kR[0?wbC_4ڪCbtHKDob6e)05Ffg:Qw۟I;"7½|58N0'7߮?yQZE5R+I!z3c;0e^\"?AI,0~S)D!oj0K4TR?^0뮋/^(V#L=Zy ϲ.G閇 ݃("v^c6L&}:[w8(ž:'?Ge)bc TLXG/0yq2 bԒ[ pڙoe}|I8t 8`>Jj}9ovnGVzF$#1n^F .*2u>Ed #ϳ݀!{zNok6ų@|iz2@Wn.rbt6m$©϶K"lhBАYcoHL3نq b'o\*zI(y3d91v4/AޝT#:55eIRHIGowi'} H#"ֻ́ °7g=y}t@>Sa$:gL3LCS82Is 3xvϑr@tu45`2]\m~&TBM}{㐺ҪK׀eV@ލ|bl2sugԚ{tf1q9hG J46=8z'վAyA+c/p) !Zq_@ Kйe$F*;Z7 {6SHfjHzk?j2^qF'ũN&WhliCq.Wg2cro,N0iT0EɤĂh wLc&|S1yӈ?CWAS\ 翙V,04Я([$EB!y7E-JtHjE33D_';nAW(gVvV6 ɑhvyz CVu&A^ih +!Xm \ϋPy>;I_h~x6rx P#}Z,߭p-\/L3V1 FwPj+檲+h6,Y伎Ok$8deQt/"UA{8 IrG]{oo7CxBőtp6bž*pf0o,0\(2/ž2U#'jeQ 55MVoܱvúi@1o۫? EP; ?7e[b 1LHRN͚/ ;ӿBp7%+;uǝX;9ED@ 85ӹb :>vXfH xLU-݁[k*hyq)l]B:F%DlCn35r̓P+C ePY%/<\){O>D[@U@׆1xS4h UCZzBo\hgrY;tg/7=LFq1O}vOx˽ Vy1"\N" vz[Y-Vܒ*ٶ8)r;5 x#[fL@z f,ٔp uܴG j0&O_(M$MfZ“[etXo9D#J[j\T"M]JT-* ku{.>li[T6#Z#rתF s2 "m&; 5ƹ?;ρѣ7x:]*ǽz޶q)gӱ"T?O;|`wG1sF~rR\VZvk"DŰn/ǦفuYuH0"%lMA !~.bQo!.A~Fo6^7kK>ah(MFڌ;QN^~oBk ^7CE"&D&Xu9P+ZU}NmѕOTbWm_*%PQ%ve2lXQ,y-b6I" 5 Ghl gF=k_mx0&wXk$@D)4UaQ,`v NXB<=K)`GYy]BFQ۴Եɵ8 w+ܖ-(fH1.%2C`GbBGmZ~Kh/7#C2?r%2X Ut?D91-Ы'-/؎-~! \i 5q't[ѳ#Akr;sc(~3e)[k DŇRA%IRW9)aՉTg?]7 G8E mߢZ0/i`IU@@a;"o_b XKP h?M,*9.K'7 jzf11A6he*6 o H%p6gY>OӿV#4M nا4Y©q*T[]v`7"-[bUxE. #*%Z#}bEAT?:x|eX&msD ,Rae&/p\lx#5$$Zmc~0lVYaaOt_yE<7b {.ꋺSfRxs'3לZc/}i,j^K-0&7ʂ?JϚn'' ##͜ݩU+\lw]p ŏyj`Bu/ր] ,iݪ:,O=@,CfJ-^hղ ( hZ7X5nv>|&ߩ $Q3OKNVV<Q .l. C{ 5XwuZ% 7]pvzGAR;YryLIN [2nj/|!u"zgZ-A^n*̫.͵'4`xWč^4_٫Zj1!ɾ:6E߬=MHkϛtfc3'F<P*DWgYP0M{\\x (_6K'I[!e˳HIЀpB^bQr5#A>#= gz6.joO ݀n2YD#Ҝ9%=Œ|dkR`8Ѩ$ j'dDJ?D:{Szxԃd{ju=da$N踱-m_,ZDbMf4_*Ċ?ogqwnY:۔wj<5'^NCAk<|aWMqLRYHrb-ivFЃӔ+lHc& Lv-+8\Ⱥ>|Ef Q9!+t3iE9ӌoXY{24t3xXJJ`JK\+qWTٸ+'|Հ_8AI`w(yiY0q.ɝ'_l[`5 q4F|_Ah,"H(BGyEєS*࣪`& 3Tiáк{fR.6"V6"Pȷ@^t]F&;(Td!c em(Աq"fF_쭭Qw ,q0-b`T@&t5 wѾ?h aFNY{蒵$5?uuBL &4X"v :CεzWϖe")!s;z+vg=|+:xs#uGQ,II&d[&haˌ&~I묅S"tEr*Irl/{ ˍ'9F70ܩ[KkVKt֙TNïRGHx%׏L#%ֵ=n {3(g]tPP9p KntOQHy !^v9Yy7P_bڨQ7?Oj<'ڌAʋa$ X824. . _vA9_ד/}T* C$NLM_Ą7jvF%5}y.Z7nK` 4k1jjLɍq(*R GURשכ\}.(5#32n*E).V1}~VNՕ[<ඟ82 z;qg('<_ ^KWhnFǦBUht#03VV{.^OVr:by2z\9sظjg3@| dZ%=aׂU_qpBp!*ߺt;p6czbxf`Ѹ_x{+ $N>+ e Xt4 &(d*:> msJMP(i><9M{KVqDL-C{epYKp VMլo%c> fK 7ߔ%$+Jٺ yQ[ץhH-=/4hzS@Z-X? Doo+UͫQ ?3 掫-kwȄIWs"hZ{ zcY?0VNAB" ;RϠquTg3L$yA͵Le[i ߂Wׄ=# ǂXff[, ~MDaCΆSb TYBr˕\׮^n_ ʬ`unEݡD;}0"NԒs]_:ףr]Qu X*KՓ7}1{ >Šo,d<I#4@ [c1NMB=|eaߓ$d{T/XE|5vQw7q -FcZ4t ˟P3dşYi駤Zj`N=4B6^^rbR >EH7\b”M]#֏ŋIJ#$+( VQ9cι3U-L}9,U'g[K_ܙb XVN(7$gc~sx(Zi*roѯMޒ=h_}O˳#Sj5XE Y;&OӲ]E.F6I QXa*Ez aX!n~V2tP2?5L(qģY{o20qB+^EĉVjBj,pCF'Ӄ#˜XoE' |