SQLite format 3@  . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ]]]HOL-Proofs:threads=6elapsed=575.451cpu=1395.928gc=194.368factor=2.437zXZִF! ۗ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb_1 Q_1m޴|Y_H6=V1%73k:h簧s/oZyQz:+a~c Sm-#sU)np|ɔgۺCBȽ+4Ғ/at5X՘PIuj9##~Tat&d*`/@MTSid&N[:HyΟ{:,bal+̞DNclPt`?+m%Wd|UR-h{C4BV&7yPZBy8863pn)`c0vaWԝ8Ʀ#eUp,Ӧ,hJWyICy7X d+p^{պBK}C@#u+a}=V)H&C#WTSlVAɳ Xizl"8kI$w,A&hdӛ!qpW2tY^aS])M'sug6U$`=yhS_|"ѼkQ3##.;.yJ{[4&ankd>ih@K]kwmL?.D.ǰeKsp?Tz {wyӇZ;+{ %tk'I47mgSW)0#Ӳ fT1̰[T .ä%[l~_w]" bcT.]jX bM2Y Ƥ(;\Hǃ:}0"n2iF MksQN%~-thU6EEK+:1:XS_IR~)3QjB[Q ~vRAV uyЇІKg(IfQЮjL) ~!Uh(1٢uD4{o羔f9CKb+F= L,7RJUJu$Pٙ[:0K\sWS?B;Zj+̓prd^Ubb]uY!c ߅i+MIpB݈)zSJ և?V."ڰf *OkhY ӕX6NEM b$"RNdg3_F1B=Y| FA}Bڼ?2wQ{j[{oڜ1d"43O5}X&!L'C3_$a%$V`ԟ/:il봜y䚆λML.V\(weBV 31LN+a"r,kÌɁ'mU܎- cTwz(ڰx դraY.3Sm>e255Pb aAˑETЦiB]F~II-a$:{aWRxG &`H2X x\$E>yP[7ohשyMg 1iI]|-: l&d`9d%i]!{s껢 7K+Ek_d${gE>,vx,&RBˈ#2ݦ]RS,m-Ɔ(#.]r.y MDVM‡I(k x &f 9[FI7ÌU^5c, LaJ-)b\~QqylFϹaqNk,$ESQ$1tL7$)0Sn?E1Ϫג۔`mZl  ! HOL-ProofsOnBn%&h kU jJs8ǟyr2ձy@>hW" O*kպsUj)w3o1 j#p_:X[1֯LE{\ɍ.w2]lj!.\PЅ&C.~ Vf N1-6L⹫^Q@#Eyg 7جR)Ycs+e|(^y Le^c[&p{iZjIJ| Ĉ`YQN ݌dl;tN<َ[fh6O55SK'9ɟh8ӊGDٌ ,/T^ڸ1Jg?$$7"6֠)R80c:n_5Ԥ}\n:3_F80{@~{Kq{O{+l,H_kS`g?|Î"r.Si1_"L]o$z J){VwllT{ҟc~[wYCFt$g࡫fp|v㤌~pN1'ܵ^a9qF,A[vl (\>:KPc.@Fgԍ<76hs8@1&*Eֵ&ezUD E_TNa(E>uޝuYm6 g)\&OT$#o@#SM";g;I]^:o/\&d5Xwߣ0pu cTògA3Y*Q L PXj<äF5TE%.<D4H'4ln'kJU(%"GSHN_-.Y'b ( \O$-%petC$[aK.鼽Of us/9vz#ԡʉ}.0TpX Fr>qrx"KHCrа[wYj]:!q=@Fh®T1Al pV72~=}B4y{0p=u1Uݖ1 eHyݏ5bEgh.sK1QZ o j>V{a}.%#A 2Kw`=:rKtr`ۮZS pzuQj>+MFj ޗPڸínX-ebTy$%" q_p$R3N S8 y$^f^Ʀj A5jAN"\9/Y {E a!j5\ȌIf=ٹݹzOUzAYK"iSC4=@g헗-g/7y8`0c =tULgβ# 5lFHnF갋 ~c~> IWc/K| 0d714nPbL͵*\Si{gG/S$SJkiB;u5bu6}sR4MyYuvIĮXR/*R79@|P-zKIoᯩYdfFTi'@KC|Q WP*kSսCX)(6Z&ԱW=X% h6=rdnjy0<٦ݙ`sިٿxɹ+KI}۾O6E"[J,dY7i8䀷ЭU%}$,t|u" Yľ4Ws/YM "*5׈˯I$b7-BTqF""v b/gzq ,Kyf(LW >lѦ`=&ۃAκ>iƸ7Jn%c*H Y9x(= 9&jTh؆{*[^-h1b?jnpTYbQF單}Wz[!h[<=X1cQ^F@c^a@vFW34/(Љ:lۭo[&dT h@t_eiR8`/ݴ.lcxD>MojgpmBcz#B6Nw=>A%57aU}pyH?wBV< o9l`w3A N!k)p3Bm$p't+fp#_x\d`#_ Kk䑀U$ 1m@aH/ѦV]u) ڴ:+<#T `e(0X@ )Ex0B,.TISMI-B 骁 w3DFr9n+z0vAjMLQ@hR{K,d4-$l]E}^kƪOM{|-_{%(Dp.qH4g0P+y%ʾuWwDZ# ??!{N@|m#KsR7]Q'ouv0\y̱gYZ7zXZִF! 鞵n]ŗXi%6ƤBU?$aklԩ=GH`$?T,N0&: ޼jU> t2. hZhonj2[}N߫xԡw˓NR˜O\̜1#qIqnt!z7QMb.ISp2$/M0c5ƢF[|E]eq_SQS^:͎ve2م a{eY) ۶4P#+@>hm/;;ezF -[a6r*$![`Ԍ"ݥR_$v|)s(1*ES$@'JwOKHP&YkV5h-ܹG,\.[TW44W#15T`M6OG-&q고I?n7]-i|Dh^C C0L .t^D|^T 1ż_o+,77};a.\hBR_|+'ߖo_^{/*vL(^UQ2Eؙg+,ۛUG+LH2)%mf`s-!Äx-$/:>! c%-p+Yv+x[N"s00 E?[-bx{:Q94L,!s`)S| [CǍ믺)A^>v4ŪC ]]@gl5&ߣe-s*xڡ#GP3qBtV4^a#Oovvglk!G>B XBQ;%qm_/-g~[lqCЎ dn)}їjyЋuFkLC&b9/$}.o:mv_)w*)VlND::I4fJv3ȱ"$' kS׎vAFcu:!K/Yna'*?PuH~zS \"tfsGQrs/{BwQeh+ ZwP)Wָ  ܷ1{b2ҏ7VnQ.E?G+g["QtM[Vh$O%j,+U)ɼ@a#\U0b U頕PWd+ ]ɳ4WA`Z < >ϴ(g9qF Zd`0d6%VAD}n[x:aߙC 7i\@<roRI'gUgNo+Lf-Vg߱\u'"LG1]nrQ.Ut= Sl lM9]Ro Hr>¿4mיp'/6S:1UtFG1zɉ./Z},=J^[JsYQ/Z#杊dWtI!T I%S-3y)ns.x!pvI%!NČX@P0gTo*#y7CvWsvl?kn<nÚO%.eyͬ3|IAj$pJ.ًSF8 `Ѩ_#?%ZLO+GqQ~mk_0'궁.;njI>|Ww1ÇMIRm &5OB+aYΑ1/g~1GeCAoiċqQ5f@ph5D])1&+*#G+AkPdh@BDM>0tCo7 I𷼓p4Z9)W+e,x\PՔ8+^`fPʫaQB5]$۰,aӉ2uGˆU oPrw]%ӵ_?AJ&qH ko: sKJ1|G~riq+1^ay x'}`wQ3Gƚp01c/9AKXxzIH !-Q)&C ; o߶D[KZQwJymm$ء$SHѨ^m,<# R[Am*YDϴqns9wfs\T)I&v{Tc_wV; /v4%GP _TÒCL5c CQ־3ȇc]Tt1dtI/ݻ;6Hﮕd`FH]t.4?J#By-ϭ=$G;}Łsƌ :W〼Ӓ7 [1F3ABHu@Qx_ F谿'Kјc^{+ 7}yc[խf}3KHZwR|܆ww9q\Ync ߼{%Xր85 8@%wئ<=4N[ªEn0HgT~껳dg*eSLaghڟQO[ފKcxO,(XiO{x)?ZhpWxH_է菃ݼ ;.4O#}='E[QRBO g7%YB'R4k%[#|kQA6NEdKz 0;L͓zQ/{nB:sj2 q.;TH l=/]A3##-i_k4ě>3XG&lKʍܾݑ `򣨍ϰi Nۖ>>hK.Ufoz>=6Fsx'k:q,Ws㹃|? ɾ቗o7n ;G]9JđU`'|".Ν;8Ф(4KѠ\U8B3 hcFnF~Y%ksbUMJbǟ^;bS;AtI嵱R ?$1yI% &I~2ծ,t9v "-=fJ`跟klL2 v]Jq. R)V<V}mV+ t=bm>"$ ήh:Alt/$i._2~E_딒؅M$w7q+.iq8_d*.Z\"kc>!&%<1{ϜƔDpI*Xrg= XHk@Bc_Yn$k2YAUMBpg; /r': ,^ Ly̚dDtpd$p nؗ-FK8vL5BQ"|b3HT9ײC%So p4ϊ&<覟 * ѲCAaځai]M$C%rVD2s^bVmܡ|%X/|Ӥ@*2tg>`kMv h?@jo=/̜ߦ$Vj+ip. @f|C_zjleN'˷`!#zWmHK2P L+ll\s% #_ HxabH8J4ھ|rLDչ+BVE Zӱ݃2E2X;hPt/G;%(v, '|wC= v䖠$A֏4 iS :%8tGEBGڣfݻV H_)BNQd:D'nƛ[ %7U5$&wQa]`Bfe J3%-xyws}naQm M=|H#DӁ*I_H}Wc'8cם_z_vՅw"GXK-rBIv5DU9a?%eUʇw7 c6YhJQvOjcD)QB完E4L; A城z:DGt eEvmm*t1uZـTZT|<֎Û[ZAGvӻD~œr ӉTv|8o&D Z預漳D.NԣBddڀk pNJ,#R.:%(CAG8iD%y&6Mkz|Z聟c>[69 ymV1ni窒X>DL+A~t8xqjc#d}}Kz|t(Кm怷ҌUzf @Qg=C=|:a1# /^Gw~ԣbxYD WqZ;1]zG-[I.W^~\  :/=Q.ܞԶDJ^]*>E Iw>.$v_ճmX$Zq@l:?dzRTqFQX]@ro ovD˽.\r`!;.XA^qi"h7ޯ J#pxEZڗB@#i@䔇5~%WWOk8L'd1bc9>^,(#β/l_嚇L OVԕ2Au6xb tϨDz: kkŸ${C[ưo-s`Үĩ5Qu/k[B @qE珍h*D)f"8e:l-1^bF#Y dÉ.C[9bBYhEe]|7;TqImUFڂRϳ/~2x??[IC-A^;ˆ䵾s~= yz8R&+零&EQ^]9=d'dũh0sXq~PYz恷TY*.t歏tP 0+`s~/,@v6˺@ԭdV0&ҢTg(VD_2Qе4+SșCJwk)nthwAXmd|*[Rf-3u].LEql? ij֬ĞR:Uۉ= U/s xB@&v(B['kP|m%m ^){. ];0S3D?F )\6fY %qbٴ Z htnؗk }c-l #u|iW'^BoL8\zXY *bms>=3yzsiV #ۻY>sxNҷ)5Hezմ$} md4ZJ2sSyۈ%v6XgS/4#Mk+մW*c??,) =39YW 6Їu:|r V)Xf83mlm8\銕1R gYcžzQ A@h@\B0faO I䨽,Ӱz@)||nmƶq4TJ/tG 4)uP9 .#b 2gH#Gvvj"ҹ= 4<{9TOo>pbw'UpM4#E2d=|v#N"(9{FN{*!qFqC?uϭ G 867ªIЙ=$桬D] ¢S;fv\'*^b7#M =@',>H*;uIm"~ F E"'W9O{SZ#HGk+Yu#*iNg RyB-SkXG ŽFX|HPvz(fje= 2feEe+E`cG(sq{`Q|xsA |qږsyW @7I -"hА>VXN{-R gzؚ6|q̃vf"J4%zO&m$%3t0lec:LdS;|{{ . cħ}`2b͐˼'`47ǺV,, h.=W`!RNe"O T#<7f/i PkOz^hHK,Utkh lLdP|Qht8;Y|f*oɏY̌:X"e KE:"zPI.0,FsIOndRUwK8aas'=}ʌ)N Ž*:ֆ*.S#6̘fN.[Ve_Z(D"9j֋wFn@hcE[R(08=ˆUߓHMQ+gK/|,^9 PX:,[]o2o rba3Tt2$.sEh]($Oz{mn5ZAf<113`V| K3sL*9:dn G> ~Ԛ{6f=zpwo"mN=XTD),2}1! &E$hLZnkmd'|D[eڋ;eG,Y1z6b=ǸOE<@ƽ&zB6FArd0j`;!sq8:T^ õduR;j U ɅПt"%{z'D АT^64?AKzQ>VAE/,ttm L3Q٨9„7 wʹ Cw\s0.9F5s !yKNW'ysO7.*8P!)h=RͿgqF5RlCa%xLh:ߢvS$a`"#~1r UQ-;%<`]lfY etl3N`rlp1+*8L>(R|c$j#ՀK]¯) o^dկm>qLG8L~=ƻKk\tSn0|rlӣLT'p;9XWoVϬ *9B7 ܄(hIڅ{4݇U5poܾǺmYkZ&85+=+U/W?rct2=eܡIue}l]L,4z@(El+i45:0pѶ},qq#3Y4%ai񸽪 v;7zж>e  hFr07~i"y_E'(OYH܆C*Eb7 \U"v/zuwcM8%,F摎0^Oh^BFU.Du ^_JO@P Ly6MFNb!PxVц p p[}J#G$JJTT*uz&^&#,m.‚ڼ]Y9u?v_7p7ѸsԳZ)oMMk6",KPPȤKK4XTaD՟*c$ 0%\,cܩφL@W]%4 wB'_73V_4dX] P7Rthxo4N#Ã=x[bl,"v(KM.AP.htONL }5w4O|Xoz2'LJD2K[FŔ 40d{  DGk"L{O[Q'7]+84(#h8fk;!> %}rKޣ Bk4!xcz=²a&Pˊ(^kh !T/@3Tr0/1>TAay?۝KꪒlzY4uf#-2Ve].q9Q/Y[S4gq Gr>8AJ kTsWR4DZ*a9$@]w]ը|k =U-Ș-p'eH~-en؟{̵y~YWY3=167I`XݨՁߕ40昁`SFǞgLQ.%~8%/'0-Uռw詝KL^q֩);O'{V~óE $Flw»+H9h.;8lkuUW|{"/ʎ|嫴^Ϡ&R}3%SsOt@횗%PP#ئ+;zɯ E 1~8A5_fePcBr#<9'&N!$ _t/eeo1RXSI}S5'_yY ,U.V >](苬cS7R@yp?ߋ`aݕ!oc[#ţݤ:f1⣝uG֬;;ʈ)+0MxX04:z%6N )`عNWQ!M1jJ]_իh-6mTG.5#5:үjjh,/p^dN̙K@hǝj+i&$ځ?8|GL XMPlOVz (5dn I%^ 4(+V6m~%O64|UyV_As#3%I+VUM``K!c be/dȆ]Y aߐpnA]12#_xDc/-Ѧ % w90!ۢ]zr:qڀDqǥDoо/ [-=v+hT-ICs*RҐaTw>P!)eIl*y?VfWȃS&3{+dE4q隔Sf58obq$ @)l 4Oa뾦ZX!;4*L ^-+h?`ǃ]_@zG880;91|d>@.\&<:,͈ޕ=j&tm49`~Yj8& `VНezD).,:2-oNC]amm9`L} V!!m `0OY֦Pӟ@'ٽvB/D|g'gr^&t>ױŲ !š^Z>VH8BbWk]V^2d%jICڱi G">LyeV-vc%iRQ.KR(*I.{$ձµƱ8kW>gb]bu6-MRq =@c@SU o";!C˜C̤l{A\8M6x'{s wuY+2+VwN7Lz"*XȂJYw {}ƈXISmԃ݈D݄i69ƶ7Wnk?UYs+1ե|uzC^IӰ |ū*X 'n)3?{tc`pLJD=<'f4k[gt;Hcy4\NDX=_}z;\ݽ}E.RE)FuOnmHP XJށfD޲SsPՍعD~zP1djhmy4 sF4x8, @N+[V8pc Z,H{rY8H,=CvlG]4@[-. _"¨lUѴ pI/a1w>5] 9IkK *-KZ_8̠]_ˌr31LE@Wֵ>S " PgR8 rr*f + G@5P:$CQj*Dhռn~ΙS*,^Wvα\ Jt9A VMeɼ^I ^u9 P ݤ K3d)8{SSM Aii52(*TS։x]_8zY t/ycZ*3;Xأ|Naa %ŋMA ȑe!7\RC $X r\֜\e]b0xclχO ͛ΔǴ\<@FBr/7j:XNPۊ; ,ShgݦbZ ܗ La2Z,Y%8;h2"An??ȱm7y5-o` lˏe25_#uhv.qQ;+ *uPʡQXB]mLk{ {auTu;Ht64jJ ;+Pc{ V/pǿgWQ_?,4r Xa8BK`1TkОNU?)nct;%v[m^ ' 7]ơ j"+,Gڍ6Jm. i\;.dSC1Ro1Cfe4r{ >~.Ѕ Ila>e)kKbx_r0GjǽrȞE*ug``*gRd _){ii'"R$K1akLR62C%E[wXY>oEJ#'jEͰ0?if>m7D;̴!U(v'6p<#jt!y0R* V$ =GsY(ۀߗpx-r\SjYZ0L7P΂B|ηQ"i`psԶwdHxhtjJq|R6:s 4r9b3u. )i&y_q 뼨TO:0 WxN[bAUBPړ~7oᤨ1hz]*2'yhx2(5Ӟ"iw!@tW5wP}Jy[RUj:M8 .bvaozʧ Za/rEf,w@.MAO$^6z!7k.R@=jj*=[I}r7Q^9j#mw: Ah^ P5r`b!UV1*~646 vH"g:_)YXё՟E/ arPZ3 鲛E\]%\ly2?#UK)豯T9q΃"Ed!)R c5% z ?!["ee~:EkޣN^]j&"DK Eu1!4x{Dng}O[E$[P(?l]f|:9ͼVkVz5͵eL-]ĵ ^GSP7oYlBTbfRf2P,U[|=|o^Ƃ_W ; R@$Q}3.9ui>Joy?t !Lѱ~}DSOֶu!E9\qs8bM|靇Wf271|#AT_jWV<X*#}P /^(Ӵ MMjge:Bvv)}v(y輊#RC*Z:Zl '珹B}( ceowi6PL$» {'pd3T`f!Eջ]3ů&$֜7݊cJ.Ѫ. &6cEe6=O_̦ʯÏy5O!ˣk| fyprRUv쿆nU@}t, 3F/xKX4RkWv'2~yu!$~>F9\zxof~Oe]xrA<l +/Cy>n ߕbehqud=0Ux,{Y;~,)NITӌJ]ie1өe#ܺ|,]fi.kl!9Vh-LBB1kV,~Ԋ)#:갪 EG$Cdc(-;}/QY =Iw=6(%3ߝAf2ot;gUwFJzpulFNv?Nq!xMŕܜj, ΓnToWNDT(gW\zE0_ҨPr*vؖv(xxPa`n9/*I D_ teK̷aؠx>0)mեO\7a f1ŋ[­:d͖ƾjn72W%/w $S ^)/tj982|kY9@5 /..BI(A:+7qu'kNZH=.2͈>`'| ñ {Z< pȡ"ߏ,̸÷=%OUxd|`u!@X2i$ |Z+MlnQt@"VfmWh4-P '4YCDd b{vTf 15H|KG-`?/1 )> bgo-eƠb3^[ g0[2UAU{ſ=h0tVS4&9O!c~q Y73oJ8wj|Z(%C R_i[VAj%[O9+hUJ$GS6A 1E/TcΆ;3jj֜?2" Gm?hQbߠIA ޕ0\ZWL$gv3bD'FyӦcJ& W$<]ݐs`enۓ6fcMtd[o\1h)>aWr?v4 mb-?t49eD8r%T+{H(V;7[Y"ȝGr}2 ' H={җ :DxМ2uoBWdmR(;-eM)"_#;-67Ðv#f;0\DjۙhSޥ@s͌'wA<7壒f%E(]Af{Co0 4 uawm>")zP+^.-TװrW"2.+QZ \ֆgpk.AGn#vN{nZf֯>N%u[P3Mu}2 ʞh3P2M0 9훀tyk_:Ehk,6,pݧ55"^]|JGfIط)m'!MYYF\5ӘgoKPH^;V S,뤂Msc+Gq0o22l*~n`AENT91q1M ;9S׾g *?fNdž-! TND"f0hah\QV1M?]QݰAB=A$&Nt..!:n>1 KZ]~Ayh_TΓ\=Uڿr ,4s/SY6*\FO"}rs%џd`uz"#vX:Sï᜷"n8V/AHŒ6U%sM#4؂b:{M'h3s2鍃FLe f9}gy|<41^2lu6lw 38FƑcox۞@;!<bW@2ChFB^NY/|eZ*ϐ{L)g@ 5€E_%rkg6 ;v~N},NbǯNM33,L[ }P'jbn |@JO?}tcS5Ƕp iC,j 685lzEgP21l!1 6!F>KGA/xtMTDIU}"8 ,{!D~Ap:_&LPWqg9`dT(*6|)^!@Ɨ ^w E[䑰a B3m+4. (f ڏvg^z7gN{̈́K[ŰR܌ЀnYtz<}xP_Xg#0t$ Mm@b?}~*wv0nMgRN) Cv+˟t[ )'wV%w2bTL6.d/bXaX )*I'߁!ʪ=%Z3 z<6/Qi۬w}.26r5t#u TL/b 0 =Ҧ{g֔4p 3 > ᝍqaT6*IwiP'qj&֨=Uod-dU2!dMpb"K#T0oi3gZZ 5X|(. 6cU~hL6r3y^jXS.6ԮIW:2fzg#Y(NR ` VRz8[_$GDP' -,}t^ifN^|2y{%NESh =\-3`@aqݫo7Nn ]B3m@):=g]aѡ< M\ a-~е01hEآ@;ٔ '6&kFdc nfK>#\v=3N .ȱˊ <_.'Wem𥩩Sy= a< ?~}q_`dz ~XG1S޿agv7@6ćёhB-D0Nz/1ٶ>@z~n5XOx\PX>'6[~vIn?smdt&a.7ePC;hv;L"!z:OFXjhHLً[XktSKf'5owSQb%r;YD1&Yt;Y3▟gM>^,.0UZAZ0?ۊ ̶ʔ43FDjw>4 +xakhj%8hw 0$t&ja8# *k[؞wwE!)B8k6 gVtk Z3m[j%ⵥojHC&jgd3F<:V0,G&7z3KYhBMHTih3Oеeӭqw!嘹KK~v:)`f D6ӡ[߿rY;kxﶦ*~uRM;[]F`<p9[F-㶱7|BܓS-r3+zD^9;*#Xeґh;әyT@B:%F@璽|gҽxnDɚwNA*q@8r)m!TWŷUs(ZM1oQ\I+2P\e$eW.~ 98n꽬j|~״'9ܨt֖J*RC *&wy䯉V:IX"7<LZE&kˈ"0n+f?U=>ψ&${)7ZہEk¢`*z\~u*WWG {\W"Ǝ$ߡu晉|lZU*Ӳ9O,mwh}-^۴ ӓT,񷈋X\n/}FJ5;n 93\cYSF۞i2! ^; )(|5.9.8dUvY۪˱ yL[,'c FPTiTWkE9Lz(y@Ϙ<1.rр2?˼K0D)RHGEMHt7V7ݳǕPͯ,kꃻi1b}v֏z=w0u6@ )zv~:8`yɔ+T^ oouW'|hji1Cyt<ޭ d@q eOXݪ7JPE/NT&T s( /qæWv"Zc%-d*)Ts&2sm8R"!g9a>R1w=Hrm=dI1t/AIe8yWyh~vZ{ϢT}Y$;xL)}H%4$;22t(p\ ճ0BZڍS|ٝl{IdVCeA.-#]|jp%(J?U%}(~ n^}a]9+%YJO1bDBנLnVbFZU% .1^JAAwP)Nؔ!1lpZ;B ͐ (}S{3ֿ!W."Ql \2H?'S+f rq|1vͯZ6h$Zw.3)X~5:oGllk;DY0@U*tIA^,ZdiDE{x ^3@JL} H ¤!ߊ&txgi(0: F E+6~xtѪ[#㠰gb#3"-B]pD[TNey⺌k|rĿ386Z oqx Q>6Tl:h"s:E2& -a-̺=4JJrlEz^4xX4oӬÞ$_\W~>MOZPg7gp`$iF쾯ZDmx{:cZ]T)[u]kZVFqmA,*񗠆W]u-Is$&UBi KQ3? y\zZK+t/sp#2 =5|¼=SKL((ME,.@n& \!~$RKt!hrPM*Ó; 3Po_Bz@ ›T&,ũV@%=k~= ʤ6pZSݳۢ|efΠ3M8NN~mI1}MRmc!cbݧB097 /RDx=J?gƷQm r 6ϠvmZI=O:m0w|$`M(WXc)Y,d0[ߘ5s\*-zFMAg1vm~Jz|g{x[Iq0##_v| xn"B8xu舳\L¹@ df)H.(P zn 縊9o2>zȳS$Xa}µ a*,k UZ]AWT́39&2- #pNq6XᬣPP,YuQ !kL+*xVi׷k%M]]TJV-~ItdSN_Ւk~bŗe˓z찼w60jJǦveK<"7{gLpkӼ;Ӕ"m9q*D*rbSr0)p0CǔNWRj28,h"P;8h>@hGnIx_D޻|:/jdEzlX0!P$h(jfmKor>c NJ;zJ޿dyGY0=QQnpt%IYsB -a#ҵcOIx]v\&9\%,z^*Ͼ&7% Ϲts#:Nk9 <ñٸZb8]Qe6oL}_4Ku>fy-ۭ]ųDXo4R[7b(|+y)"@Z=C>͙3L%n(eSݰA?(P'] 4E sghẺC\T57f߶Ͱҋ}o`.^ʟ.dсl1-pU}گgԈMp oU T2TUS0R4 rk[?Hg1M"r|&7%]e.<Q#t k&M0\s8̸aRo2dT.ا@^@ޟEWG n ,8f} ;3)E/6<|Ǻ>llS)Z2W׎*ߎFAU-]icvҺu\?D!)!F{hHz1_[ ~MX(d;['@Ir&'}Y%BpbnwLfD3>a9gS Z0W'Y+WFe]ܺRUb=Hvr]".XpF͖=V#긒=Mh{Q|Ҕ%y'q2:뻞)DAT#z0Wd,~i:eO'AR#i3@;&٪z]G䳺!n:-.24#q)OTޙ$W ɂ,Bs͇)7|,i(;RM!z'L2[ʽ1x%#c7(+ˎif0CXF mk5$nQuԙMDzĸ;&8 _.j&(`73 ~, ?b6K$Rǰ"med+eK^hHFf!URP)ӣkZe|_{/ӼB#5 SZ=5H_Kì=\q /YR K|jY#T.HqQmA͸ƽqJBn~KZz3˥Ug^qڏXGeNcY{s45w%FZ+ĞI-{Hcv/RuGn#K#16"=e&&8#8R&fHG\. jxC}x}k {q">eA%ʸ$λrd IVɯuSS9>˂庖m?^M,F ycm4DF~9791-TV;d bK%)VjꞪbX=:reT0k3EF:HȱiFpUBhQPY"Flgl