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 z!< a]]HOL-Proofs:threads=6elapsed=724.997cpu=1660.776gc=212.508factor=2.297zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbX}i͛>o=3I܍%~g6pۣj[䢌iݤa5HZˢ2^/ 2kI"Z6zs GιN <UyzqAcp2E?/.Wlh@Oz04ӓ&xVRvg5F*: hajaư_kD6TO2ɘ# ijy*k(=y'F >&~Jn畏n4əK_S.SxXsM]eٷ[HYYtڳM4  ipV=Z7O ~ 4tdP3е?6|Kᱩ}G4WYS;z)DT Պz?j| NNDV}2oyBRa}&LqGkN(l%3meXȷ?š 3)Tf[Xl6J101 s4gWq5Sk~GC}i{-M*D~D2d+;RRfLhZ +8 9qAp8{y7=?6 #mǸ4AC&q2_e6UR=:w%l޶ @"PgH&Av0Mohqh/˱b*% F.Ъ^k=ou[%ӡԬ$+}YjZ|i^"t'[HQ5yoh@iY; _9(s@ÿpEC qta9Me >$Ѓqpt}z)%]'I%~xbLvk@ɾ ^V򇹗|zYVD9,u.I5yYM˅mMMlKXל xtX|jC0M/u!`3-ceV&g+J9)2%Ð0n%Aޯ%L\^՛@c[]g;/HASrCͺzQ-T9s>hy1~+9VJ5*|j۪8i{pi^k})d:a쯴m:Fõm`xleV$dfaQ]+~8&ܶ 2A;2}'XBgW+guIpi s$Tug=w-E+Qjalk}ՔN\tg;xn^vc-K74$wXOd$C_m[cFW2Vؿsyx}5r 6ſu%}m=v|:Y`f+ΙNit LPPg]ݕF!ukԗ jT$p [魙eM15}GO n y?> hh=}CP'тu*W.i.'1住Mzݚis|M%\i.FNQ]{';,nTѼFSWQw]fj0.ϰ(QƸ7_k=pi] BF'.y8:9ݒ: [EF>bV]_*9LRta;E!0.Ci]s׈fz3n` z$#%Z}Zgk`'KJ)Hll8[Ekd"!@ T5cb-Jޙv#%ds@Ue}CSg0Z(d N aBH^R~3}FvNco)Mlƞ+GW+V^ Lti6B\zRœz[K}MGD`3bf{٩2 "K#/J:^& . (Pzt\b9AFHV}z|1Y!da |0T:ϸ E5e?%I0Dcu_=, Lu ͑^FqEY~X  ! HOL-Proofs(ƵA/u$xĖ+LA#Vp%!= NnjTPk2c4  77O5KK20c%&Ԉ#$?tio/D%z!Sclf@q!R].qOy^yUkvm &&Eg쒯`.ĶQ?{KfVNf9qT rbs7r\p DУ'c(x׍P 7VLKH<}/,}q2,ė)O@ᔧAR{]18aQ͢ / &G+G>Svp%cIAsY6OMec 4>4u ϥ*0^:Gd~gWg"`30ĹLCvOVNZWVoxOMs :gOY6B>L7ݮO\it_8nv;p=R@BJcXOK<]^XUV@X`v7"sal_1又F&z5oAڬBT~E7 /i=*-v"u?kzx#tyt(@ᗳhf|g#6ձ8ȭLۦ9v'!DzW ^P&3ОmyzKꥋﮐ3/"+F,{;^@U(˦Е* IE"ʮwV?+Bc x_ur(wT< dR!>Jj.tەBfrěh>Isq.*:6fV(0֘s&8ZqUFef:PZ.2mvL+ qɁLV#B-9}2>g#ZWu+TkVƚ{Լ| P@yv4m`^w[撛z#Dmes}޼퀤&X7tZȟͿ4kE>sȉ7'6/X"]b]s;f3?kf mXAĆٻGӏ !%(Xq^a jDcxFCB!M ޲ٶY|q'e;t}_Ρ`m BZ=L70L-=-zFxPP@pSlBN6qm1<"3k *ÌlT<^ۛ 5k]<4%eKmpD4Yv"L4ڤ}Sl ȣJ4C=k,-pŻnz}|/bUd=4 RY/:!SzdcuP?R }Y#ZPO ==A)XL~=Q,KIsz3g[WϨgo*-ZM?* R~t}wkԤos}{Tc2zFgD;Hbm%;6SΛcܯy) |'T$72>LdMy;!C9'TYHs- /-}E9s(V,|"]xBMtfk m1h&Q"7 2DԂ^/"$5ankmo*&ѵXLIX,+PAvaT+z$wpDLR:Syh~ȞQZdXH)uN.Mq5{KܑnN'+WȰ]]=ZK>|D -O. |jNfrgzk-4uA{d wE֏t;D<މ#h*qϟ<ݢpzj_!ʽ4IMT,1I(ǃfupwDV_mnH[݁۴<&΀]{ƳWT:A=yˀlθ >Etٚ`TMHGwe=蠧ZB'E8W@|<Ր_LqKb_nM@sֽ]z`<8MHv_:_Ŧ'wDm@$7ʾ#@. ??Ygɰ} |V,J|W^@nuF떢q 0R֏hY7Û O &*x鎥R$)9*u΂,w,dݨci@A8yMXb+μ.Kl( nЉvjt[,dTjsSKQ7i>'538oțaOmKuʣ<68ty=BY~,8uN ZS9D :Ղ;B!<-q~,~Dkٕ %PRXy;,%|<0T\vީzٵw\=N:jx~GFܿ]57M͜?t#\~5x 3W ]gYZ7zXZִF! []ŗXi%6eZ^ouUQgq`}݋ŏ] Mg' uf)Zw?HLJ+SF(>lvS9S,"f#*MW1t>oz׹QlFxh`GtZ*m }@F:MjER9j3k kzM"eXX_wWrڄIw o'Ef^Qk~ %թkh31J]JsiY9 Us 8N^w^x e $qwt7MܔPP9V<@ ɵAЛ)i#ՔVk5׳ eN91u$U uX8aNd#S6 n?]J9쒻ZU {Y`#FDj1+nG{@">!ɱqFvRLK/!e|Nv Y)f>y𝨸(9;&ù~2xm𤵲f:ȯmS+ۂ;` mֲJV,uLv-h;cB5=)A9=v;*zW@CV[">}hD*4=>+_:#b1Q]rǏčCUc %}]ެa9uYcMP).S6TШ2F.\^&u_Xゐ HU[޵+'R:_IBy$JG2#Gg0@(?9DPc!rKǺ5IC. C U ȣ)204w ^)SOaPJQsε(G!,x|I:a:2l?1rp]\R^;kYJؐ{nZL[ /V"h,=oEbwa-`]Q}|@Lz~g#Ǽ/nYYޮ"1ӓ{erY)I4E,1_qړf Z8b7T2]ޚ8ėʠ>paC ʖ5;n݄ݎ.E) :ahoڤ 2T K9.NV^ύ>?"Jg_$M새?w%.ueJt] >qɶD% *eg\i{HaWA0Ӈ6Ju)gLJ9`EАfaRj5yWMH雰=}`לFoHxwfUGYz.0 ֩R={hG6"e>w %ôdjֱS6oe>8;T]4X*D8CWau=e({s}6N|fYtv-6f#qʤo>eOSQ m/z,(ӹu=ô4) 1.k0$˖ &KZ԰/jrG-యbjcjLXU "X8h$cm݄5 }ut`-T$$\GyBU[w(:L^ ƨՐD],'soQHSD m+W5S8ܯo`!+V''3eaf`lxPr @a[G\R %,BO)*Aǣx TsTM ًQVXCnA?&$%EMKDN G]nH zѴ3LRjlj̆4)pSH˪@t[D _u]B JZ?Pc s3ή/2lبie@UN1Q5,bebvn?pe8[E8XoKekW ;J8dVKmwJOyAm;f?ed pEF8;&2C ߚ娤=PFF{=.Cb߶;_+F#fa?{tL**: 0|ӎp$PbԗB.tȌ X@I{SRh-pk_k`j~4. > mvb3.$䓹Ϟ+iW:5Uu(?zk\ [Dr+@#^A%"ݑGG aH?7vEo1 8S7UrBX*XK1-MB4BCKMyZ'mcS ˚IH?Cfry㏃/\w]Yw!?PX:&~Z!o^Huۣ|pP@wN~O \g1M4$8m܄[H+N\? 隮Rʑ_uڵ3Mv9M}Q=%.2΀v&LX\Jk ;3hk;>v#-AFkj\~)`}Tuc !K<7U45L.Dumֶ@x}qۆsƍiO+O4#MV$zꈢ16zoڱ}#]8vA#c [im8>B99,M&dE/h沞{B2/(XQ`{Vd.k1;qN[3Q~YK[ۋ| M#A%Q51??cz5|I}N^Wf'朘kXX=ˆ, O_5+F,_~$p:Vo2#=)s2Kk"Fy[:(/?jꈩw^n?SApڂ"\|ohs߉}\</Q.>,f;rmO[PBpˎD&\  %Zү~{O} hj##1à,;u[Q&1)Ț3*@u@YD}nf)0E'_Kc8;3Cn07Wwݐa8r+J ڷquOS*pքVJ}+ɮŅ1Pn!dMӹb' 5X e lڷp|ߐۧ`%{Kٹpb݈ͦ޳QHP\qy"-! j Q]k"mLS,+)v֤~jv¼:۪Ii/}h#@mDRc44ˣg@=# !P3o﶑DsxJO$AF r'=N$!_4>1;{ P2v&>p%M *O%bSIU)CLM7z ",*DOc__yḿc:lIsܟ J[RQ,ԫ2ΓY+Ύ]XEY}fPY$.U5;s2d,RϜPk"(u?} VT_p\h{rcQh'Aц7x=Òڌ0Krw0mj%~?Jgo56HQc@CmPk:Q!{ D,lW '7[7J3ayC?wE-|_vS{ kݗ-|'paGwhrS7QraV{H.+EbKB"7+9*SCQ%`yxBT>R=و Ҏu!%pޱn>MK`_8ĜnmCuj`gKcU Cl[+V(ONތ+#C?S2,A*mU!ʵ׶͇:(a>L 箇7ÑN wv 'LHqiΆ8 %AjYXdsI,mFV驽%mcDμ|2{̀F0 ڈľM+)d1l,T{-2Dn]-kwA6_=o98<jJح1F_al^,lCP!o{$[J7X+z7)]oK\ R 6Kl57KYyXR<7 ** O*@qcr9wUe , CoyB N%Sq|-Ω6$c[r9EŬyz"P}oW50iTLO<,YO?#V~d&yan,@$"KX#$?}~wtjns(p&m6@# #TDeY/Aڿ[Nxn}nI}mppFLS3C. jCIxITň>OD?6KQjx1궟NWIY[[O[Y9j%<&f)Qq2IQ Yxaq^'< ]c6W>|U̇G@JLZ|ҒVT>%21X1/N?Gw%P7CwVHRD$%^6ShEн5D܀Oe5D"H{zch=WǬP\t Ogo2j$Wx$RIo17Q=[ST4CJcŐծ=(.E܋v%Pwy:cD]B[]tqjgي kt0ayFu`^WҔ4}H3ER!م 2QW'ue"'Лۣ%!f $.+@ş;h|\v-/M WM0- +!VRyU+2)Oɂc߉X_5X`xz3Հ-YǽtVc> :&斦DG}A zXz"^Rx'hXQi%Pb5>=%`TY t'޳4 @ Z01};ޕEos-/5d;?-ViU)~û˱8D%IN`vn&<;J;ad5q-TAQ~`ܞj{{jFY G }35j.ۖJ↛?cUu=zE<KadR m,e/fζ8RXlg ?ᗇJ:Ⱦh_ĊNby. d@d_ZFlie#8.Y FSVO@^V7HЦ5sNC'@;m,uMfi3-x΍1Z.S7\|Qma!0=vњV5[|6RgRcEDMިeZ#< +vŒ$Gu5RPkõwoN~M?{̠Û!WbKyZ#7O9$떻Qu!3J0/C=R$E?L5,)&g8UN QYŸTImhJS 49ZH,#\ņRز "*ڂ]xR))  BƓ 浰y[z :+Ec=Z 7eXR푙>iӷӱuߊlwZ. 1c̖LpJLڴϨ#|>j w=M}XUJ3}k xQPQٲȫYk:Txyr AQz1G2m\IRgDA,rk} Ѵx "'i4n|3s1<\h ~|^jnA~XޭRcKdN h.4j:Č_."WS#lAyֶ0Vv!TB" 6 fDO}Pv~)-̞!yH.Y~dE@1nL俭$ib< of")%lOqVa&w,P Z*j(]H9%ƍPi8,jcX3xu3KٵIGWgihl4޺f(owMBtf%V ϿqM{:zuƴ{AAAym$l&Jv)ѾTI 6Րہk냐/uYI<9f@Mj`9+L@X&B Zv$&_I H?Y+á63`J0䧉3?kdue#5*s]=Ѵ5! -fR^;{ bVkǨNM*i"GOāh1 $^xe_JKk@n\PIm?Mu1K~Y- ƕwҩ4C yBl2\y-Zc 5d>B^ |ljpWब >d OgWԁ9bl*lAH^nمM,p>J?.ND\ąbJp~n@b[p6B 6.hi u#* 8bsp{B;ڱ")M<8[LRf88XR?A*\'=^K|(X%g$r|\Jt-lCTPB;sߧ[gXaB C9ؼ@_Te1Z,@de|QOr31M6ݜo_!54NF==Bּ]J_X2+=thU%w4;N(d*読h!Go3iL''h 薑uH+>\hpno&;/pȿ*;lq? D]Z鵇xA͂%F"[B# >[QPY ?eAdܚ@.Lڹwl0GZv/UBB+>޽znkzOI?7_k3i" Dc\5k994q2>lQBP@1ųnMi^qRDЧL[8i(>j֣G[4bF|}=ևmٲ .™V6<%@ab@z#=+W"YޟkjU@ݩZ)^n dY5> I|xg۩qSϊ}1Q<,Q*wO%y$ލh1z6F!ge##C8,l}!_TNh|*Y ytIZ &=M@! :bLB*ոAa5]Jv$Xвt_BLV1*}Q T9ݠR)644ސ1?pQKQ(]q{ޒCTsO-?I/C~ rޒ1]Wѻ~ Q)tHhrG/v{Y82bc$禭MɴE/ʓT e8!T=~&=0%IN \-5er2|qv+=@ű{%?9nZ2u reL֤``nGt'lirfQ#n\+Zs$Xڰ僘&rv̒QWg"&m^߅,ir֪%+IN]s2A_Aguk 醄ڻ{ #Msq #?N:_p?HU,cl(:~-V kH%| ~D(CurW"4C&9صp Y l_6"id" GmOW)` '-w#}+'c%Vjp}=4=k0wtz`F$wf#ow I+zȹhm*HoLǟR"Ad7Y#呹g;B2 s^c0cxtz9F>]! TSv茅k+ .Yު̲;x׽\!Z`*!-_)aH<`,nqUanm>]rj.$ IAQ}nMd1- o)IFdGf㈣LRIK# a5 nznZ3}M~[Hqvj'ІS6:'Uۢν\yۂ4JB)>oRoB*=j03F(2?2diqFsXa69k. su~$ZWKf .2y F !|V.Z>UJ&}Ad խ4k6[qOD4 ^攓5)YW)9;fpL0 ֙j"4GSA+DOl w羅sCxM\Uw @.W2 ǙqZ>v"꺊ҽ.5,]`Z Ƿy`3 #!¢Sa,`*ׂzF/Z(92y"1]8UO`%?J!RojkZf*#`4b2*;B @T:_6"A Y3+*9E:c_z2d0~K]ޯަ1A842VFZY 1-E5h1+O"$]︟̷~2H_kuMkP4]~l&n2]̠^T30fyݤBmȫ `" O3DKIV䍞C9j3QR>p@tHbV5N(}a;?W }H~cK 8SկULVK!0IB"7OF WH$[|T)R9ﳶs}gQr櫶 UF[5Cyfe˜0nr[ީ[J|UlOO 'mľØ9K֟(K;z\dmؕ$xK7i}gf[<ۺ*&@~U)ʳ»rxd1령;Ӡzf$AM ̕j%Zaշ7/[xW|6AA[3/!nק -7-/dMm4 &[;ﶎYy^ƶN\,!'{i ~-ql|䃚x5kYVouXYwFkZ@_,8^GB]H72pןغrD( /dsޏP7]jK nY+-^ 4/A6(${B;ヰv֒ *Wr|"][W;:_1?8 sQ[J*(F` QN.ˢ6Q,g.fQ_!S5ΝO7{21(mfbcsyU Hӧ TnWOu<V L[ԉ+m'ppٍ:*-+vEnΜȨ UYc\]rWZMxoS8~-+X)EE(UgO¶B AB lm!YB`a=6I^UsI/':XMV8V5<>Gi>Ddg. zߖ1}P9׏oƮ[;(͆Qzwfϋ M-XE9͆o]۟ r >y0UN'4K֗7KA "HɜZ*GAל\)!͇u-Wp?kY8J)㛸lZq씹[CVh+96NXts`Ҿ=5  ;ͩfؒnёgU&}Rr\K~RەR~"etF9XYoAr9 {=eZg(tc5.sU4I 5"gi&u+&sd*z3lJԬ8o۞}#'njn|F+[YTKHJO Au!j +Y:bQ&BȖ_}?ڂmOҺWbё]'lɟ8P.l"I!IST!pFyJ ?@g-f*d(b]QAR}ϒT.&*"ANE<9+Vo__ 6EF3J{5MiD ߙofpQfmWKVRp, xy*΃G@l^G}xBr67麎tcK2Yǂ^mLmqzr[ȋP,l 05 9{e&(IbƞIZd(|_ ݭ;-̊c%idAlB`t.dD YBLĶɝ[u0^Q?)Bm0}_2D!Sw@Iiv vQ& uRJh)wǩ"[10Z*RAi}4pK=POUC׀/9|aB FNhdCY_ux]V?&[PBqjhRq2n}yxM taBmaOAad+L%6^v34| /G7S/yϬ|1CDF&Ϯ?U~-ph~ [L8vS cO:~:91( JcąDUۓn\%2Vz:b\ Me7~i;4$7wO.P4dWz`8u(&*~ܳ\ohX >h&* 8'o^wWu8!N: w,@LB܎)2;N\{ڿS- O8d+m%Tܰ="bOW7'<cmicwrAr9hT?{`zSBx{~Qsrg{Ɓ??wG㱪z)7kIJ,ׅGCv6B.Xu8 )$.8ʝAA4>VgE>sF)k']mT3Koi8SYMGO\\ ^%cAY[LֳcL KYF意 `C1ZZGf$D%8=,;HM,_1 cv#_CfZvc@?l ωpOZΒmj1 Iw{.ɬORoL $3|{rгB+{Fw$WptnOUi?loh ֐b#Zr&2ZMQ[^j{-Ŧ`\SÕmb~!O\cݞ-R84wpEH#guwxq?>(}\^iWy88nУ/D;]ge1c'b86:'Q]&J#?jMo%T"yAkwPAkYIrZI(Ȉ+րSG0 Tcv|GstP"# ܌~g9+HA폳Ap  (kE!^!|#) W^2zVroZya=냋C?OȘ3eYGb|@;3u}gq;ȕA@Z#yC.^{D)j֤zҗ?#{ prt#3&c>sT7h~8&+y{ Mcua]%#a@DPP'xX\oTHi0-$S:Js1Hqf =/4lQ-`ӌ gi? A!-J"ڧ)J`_JB-ʴZ s[^uґne֌G17g"CfkU|iӃP:Tae`!E>Xgz{E&@6 ưGw}v: 'F6JTm ZM*)`ש6{IbuAaL򦯈*3[ezV2c$py Ӿ Iu<,_eMa#Y9cg]:~)ՌW1j#mh`%M7g}߅0u i?b Y OyfQiJmZtY`Ʒ0_h,ΉMAnG#Q/)Ҭ|5Ū'R(1ca-@oMip.؅E׳qr5`vL^X+t|Ci2)sx|B ٠﬿ɂK%O_t \$1 uw(4NL+@ OF^I~ɧSn4қM=I["Յ 9%UV$6a3)Lf,O5P N=t>EPʿrqM|V"XNgm5p!93\,B(u?Z9 }$Y녻GG A[KY̵%~г*F:3+itnmZ_2U?LŪly`l jզ/KӁMH#B)'ܲgoi yψ&˂|.!v@4 =T$fMJMc%r+B+<+ϱy+#ljz?YN8O?4*;'O.ZJv՘.NIQDvEQ~hj F}kk0Im&J@+7%Ҡn[*+b;D(/qqbkC SǹYarb+ƕ_=GEG xP 6[~͒*-H GWu?$tTpX6 J]Ђq@ߩAnq*._+EVDnqmD`%t& WJtĥxĺ̸Qv{ۦ,wύj1$XIF2•g(.·QUTӶE2~5Dՠf af4qTLG=rzx3 6tX|bؕSNO,2[(ӣ=I1NjzP1 C;*ќ[=⨝0H@fBl]s1QԲߚmy1Ƶ7>I7̏h/#M 9W6cB5"fQZIIut_,coFSUFBii.,DEz^-eGÁ#.T=0KR$v O1'55@ǵ2 Z`eVJqfrB*V}5FM`fhl B'*Lb궋ef(=-]u|q۷Kuw4e/X;e-(@tvV3ͰVwgvimń4qnU˛"?t|(9e!!U(m㜉[9)l# ..=pDotq59)?UGm]I7Ne~dVCW GQ;J(i;ȕ(Uw*;|JuTr_'"({a`h( $1R &(ccSdAѪ弔z|-cۥ+y7KQvh% 1U"m#/KvF "jlݮI_$gKh"#C 6UQf|DPeE,QcZ𱍏2K)=SY}$~BQl C7'L[jI3(=xȹҸ]l]C 6obWEϷS-:0RmCY60k.#lSA( . 3E|eiyhKuj7D"٫9;@:tY-N2G!BE|KWZܝg r 1"uDh&"E{o$<mT:ˀ77srm%!k,^󴷐┳ǶIN8)q@8~ˠ|3 * n259jE?Sl$56X8!^ 8S@?)K6k_c0n/[9ABӽ71^,;K2p^"KN2^Bp~*.y`Pic;H- '_J aJl*Rh僱 R2W5~)\v#:[e6ٹX(X ItWZ}Z}BלuT3RC&gE+3S*|;.8 e9OUS%'~q@{.ijRH֊,^ xj&E`4r}s GR 8(Ŭ:YLA{69LPb63ܼ(MN> 4#iv it!#kDMT~Qkz3^q;?eGuTD++΃A\$D,L8 uB|l$'xZIZ$ʹV@nbk:Moћ',?隒^'FI4<vt|H-K3|֓.ءzWܹlޣCE'yYVj\ڽBJJ zA}>]B؁xDPC93?:JroЦ9KIrnZ}:~(q8pʱ6 q{m2@ףQF yaP)=4H*X(NoR㛙1,8o^AF}$ȩ+ I9W={55uãDR:SM([Va$c (Lͷ*plT|)f-`,|DL^svt:eP\jD;Zqn-N1De3^OL67cpr\˺ sy b.qG)-ģ$C÷WMt;ZWo}]aT#%7"H6Osv gjpx7c(RF@_t `B% b qdFzdziI4  9 ahîy?$A<X-ĮWb~ۗsS4"L3*=l&n~gSb qU[?.11mQvqr.e|H>uK,>>o1|Zdժ|~] 6b#gjh],#Jqgġr=mfE/$YQ.DV5_"hm}saVZ _;N~ G՜+d(P8bfhǼ;A_y]:0ol~0<.PW~vݨ;q{2xFJԛ|g+lpU31MWnxAPVҽ.u:n3'pP Ƿr'~ݿ:w}sZ+{5Orji}Ō=b4ȔHpjߒSʥK&:*Fxd;HX lgn,s:x(~&z}Rtj.Ϭ}nCj 4bHc=DM8u#y!6Z=kӟ{h`:/Pc$s4,;7:`@{sV6SB-ICQ#irsn_5RGŠGSQG/hDRp>m*Jr?3E^w{֐ǜLcowN"@do3=*UZ,T[[$wh~adKdt~[$;W!6#7="wHW-}|FT8ơ)<׮J:ɥZEkAYskŊfV>eMf [֪vHIG v;"̥MZ0oia %m Bő&~+ JN@c^~P`08'JVڼ.~g{-n:7%Rb [R;âzoVIzy\Dc+_OLG*5<<M4;Mm NH[lu-LaO-F]Bl+ Ai%PK$3*D<Ө-j7NլjwxS #!ƒ"1~>@XȒk̟\^@mߤV:̉$Z °c8XY1{Ij  0T{t7oe_FNqni?5_r ߀odI'mUtuAxC#_HBAg<*Jז~Dk`.w^p5?3mCW6d@f3PE^qꁼKdL)GM+OVMH\r8٩jY6@'H o YI"΂Vр!LƱz%8צ5yPFJUL&/$^2[ <[Ϯje(U,%[1}6\lV DRdޤbIiLA!' ElK3&CeV$hx|+mK4$ڞzFDUZTm}@RuKm[ M$zfQT:yʩlðb3%frI0xp,"iqPQNge^nq VϢ>u-tY|AP@ s{x[ѳG~c=@VXa] qܻ7|cAjD G6p5&!ɌC=7e\~"= Ltȶm SQ}XզWRdK( ݪ,~.pbrx}-=U K̘hzV-dF)ufܱ}['?5 4v^K"4U>`>@f.0>t3GỄᢶͷ-H_V$~h[6WxBTL.o,횂scEʢ# ˶CtqPX9.oG6}'iN3gu(񷳌/Fvm BD0T F*5w0b=wϤʽh4E".hi8&ǴD#XQ]-k:C{J@Μm Ny6wZtP75gBQ٥$yT5Z"a7ڧ ?}N_3{[fTQx{Vo*ޖA[52si1KW7֤5ҭ]koa.99.2zZ`=Qyz%<&3L ІXF^'Rm8lΑ MCLKaPu_MZcN@UNw okNx!=Idfw ṵ)0&ZSE]ZTF]gj9<pF<*:pz^ΚRXM}%zJ.Ѵᯊ\hlbGxeC+S?ҟ!cRLϱ1 !MEI50 JWZ|LhIr-i1wEFT.5䌧lF̮Zʀ O@[;>Kr#"g(fnO98`<\~#O_b"0CӰy Lض>Fk JpX$VλU*[BLRybb{ 2Oꁖ ܪr|v(iGQa0kJn!:7x JX)!$(nmww4a-HaZS/iv=MAc؎q4 ίM0ZDX U;*(hPsȨ£ܥ~ad p+*y[?Q\@ ӞQ昁gY7l %&c6'j .Iz^~̞gmVR{vLNq) licF xeb+ARXAꮲZ1C'3$>gYQa8TWi+ݭROoB~-Za!ԸT4YdFuoy2? 1ГGңWJ֫RFt~i#/ |A\IE ]`4EdyUQ blC[ҩB80M\Z5J(זi Т$Szʈ2`bɏ\HlB:$D7RfivZX62=vV/ \AԒәgIqn,}"faYL|iV?_'#g|+n#0.\Nل$355#/+&%=bv@P$aO^fu%V>+B%A"*Z41ѐ1B_DL@6}Hl[KyL@֌ \WV':gJ_Hi< u73Y֊yTPRR>REEB@i8ud۴3j~zb:#zuh*[t.tS2oEiʛ3&Wˠ"B`]#ܛF65MSxDmWtI!bhKMe`"afGT1ZGO"*|v m"κY:Z_M `$8mnSv`Tu ftkcQ/"f$GL!J;,8/Pn62N yxn_!jKqpn MT:RH]e*{4#V"NśVr/kc?ari_ɁQ[V:ecixB2%O@n)#TtĤ3,{wlC]BjEN?\m%v#\9* Q9mi8ф,b{\/[Mn6Ŭ)欤c<~l;O.k}.!P;y!g3i';,NA26B=1gCfx2tL{[q/CI98/B1%`HIaSV&ڹ t|h+ )]ly`e!Y,F[Z(G$(}!#`M.~Ō eIʧ[LifI7 BiΊ^yˁHǁP{G& Q(a8@}o))JN6Fhn*S.`Us^EUۖþ]]W*sfqˬuqz)靷f^U$ *6|IYBO+Ž[$@E X s~0;ڈ҈0;@aliNt1rk O!Uʬp mW{mǗUH d5*hq:+wb1H i5 Ynjn@%*Ce.YyiV;11n9ݔC9C4e I:RyڬHxՒ+JW5[հ{)W3Nw ;^MR~@Y.e~Ub9RO5h˝;B4@~2Gz&q}oP$ ~xjj%vN+X1FCl,U%N^Aqq")}1,f ؤl{CBXm7\55}U._L #6k8&U<:DLھ{\:~4IƟd.,<>eU.R1]n t^HJ>|i*K Lj$1:dEJ"fk{4гEk} !1I` @aXz 91| 4ai٭kh0%Ou!.̟q&Wd Ghfx~Jp,Y$%˴$Z}1a<~ lRLux#laoG|b,~4ա'an:@C5NU,!]\Sb_089@͑J'h$Z%<f D6=MENJEHf5Vgq$~RyP%Ϫuޱ1'/! ~ng>=2ᘡp-<\zLCjRm6HiqJ>b; #=AˌcﶌK* [Y 要16 EHt?Y`.WjpZUͣ*d=OA]7xg e)t9F(OrԨnjhq)9=Z+tHo]뮥cʸSGoolg'bǪueWw0JyO{oh*s,%ɬW^!@sA\k._4Hquԭk&G4Ut"w YJ5;$ygT0@! 7|Xt U]ڰ/)YJ,i+Γ!AHi*)&: |c>(.] SdLeãLY8JPezDU@vJ^,(L=`Q`l7Nk]Vy-/Uk$BpӷZ[(jC ~0MZFqрxd;\e8+[*. l^)$/=rAW⮠?b{O5h2N#,,`CT&=_@sJ/x ̔/-|sɕߨBy{J5x%R>y^B۩{ &򟠈Rm)=<8eSF㚮KAqz 1>::Me {wXpڇ A=ۊ k3Y,:UX}VAA~}0/8yP& >_GGkWvHOHH~RZw֨Uuk!*n/L@a03G:ѭ#5ߞzDӂU(tAcZcJфY*,@r{^F&u~b8Ȋ@eD[ v#^" ve3ĂQCQTNz /=[hJ&bfḯ|:II x#NX|{ 2`g Zw!zLOyvøm 8  93Y™`߃t$*QIV-vvGw]ڵXxBN=3QEj}z 1{6N#%SI> 'f>9 q] */qȜB ze!xQYقRGM T&K ݥ@P46uoPk\HU;>.i,"%hU@peǔp4oN =:ȂiBKh.2Ù̗גJUfc˚Y58QÜƢQFqoP+%o3Ո.zmGM3!gd?#8wRzRf3aŖzCH bG QvlG@x%S4RO5RQ΢gAb @5֛49!GCt"2/yBK߹wrg'O/$@Vy-:OzXBdߊ.I=G-igPqXTA܉؉;c9GDݩܩ 5b*x{Ɂy`B!.H(RX=#uz4Y>4ڝfύ/1ze+B *7hQZL n2C'Ocy|7oEHU{ڬPvԥDUPG`*^c[S2cN*+ ѷ"i_Q%$d#Cnw$L@);&+5SmPtFMLJ(Z@dܱœpь+S]mg\N+g{ e &`#|VcKFXvsu "QqaK_~h[7=hcX\**i>psa4:j`ApJz#l+wWT#iTiq>Ѐ|vIŻ=_iXxEIIx=C)?ĸWJN+%G*^ _J[NCR,<+KՁm"<~X0vvΎ wii3`уPf _4)Q3R#cB+W&izA0E[s̺t_tS29YF;Q"A5@-4I:Zh _{S4*?>Eb '"9F`**Dѵ$*Iuk4\cMou\gG$  9v@X#/Wsv_Cm=gܥ'(83BvWFW1\u-e zCVח7Xj o02/!mi qCN#PdFVꙏRN3~̣C \=! D_*pϚCOnq(3RG6zOB2~2f$3=Oe۵/&PH%td:fZ[zc4IE˿藈GolMvcM$/Ւ  l X۱%:5t ޹)#3f}xu< %AڨOhp Ku~r3Fnշ|؄$ߤHE.-Ē~8]#X˯y`Eә27PxE:x*EÉm𞲓S5y\A,F?2_ɽb wS59i*%\05"?1u:{~3|2dQ[+Tδwdas߬ d&j8?Iq{mI4[x[bZc5 8|iTUj:fNՃM8 ѰQ(y'iѵźH) u > V1MX<eBNew)&]iicϰ=~ǴCg=3`0 La|A`AT#@9ΙJr$m6Tw伻XRcYhEmGʚ$Ϸ!ǰ,ֽw\M_JG*~!,>7f\l( p H´G._*m`;ΦCؿbnBzqӻ(V,aeG%t&S_xU&ö߸p93k'&Ē<(`N.DT )Ӛs|SNVO0* 8nT! D6!F/I2X*4)rf'f[V*~uo$GŘj+tV^%; +EW`|؅4TL~rxo' -O ۶ qAeo]7T'lM7Υ!U?<z!,bSM#ƼeO旝;2IN_>\&;et~i{T0!4 . JoGLE #;wJBO~D`}_j.uܹyOڧ j @f5A ﯟdG p\13P56|rLwNixH @Rq'SKz2Q|{RR/C428`@@4!v 0>!,zBNR AR%Cݯ(ޣL[L8%&#S,m~ Mq`k!͞=jm!4tuZ\*!| WDY1w:9;@.f6ߡwTGuS nq U5XdN1x mj?)ċMG >򇼎VOG6^ͣ_DH1\ Wy~c5&U~BVZ'[<]F:RCH%,}agMsjyI+v$4?b*h% leP"sv*tƖf1}' uŵ oV0Py>f,v՛#EoQuϾz.etiz̪! l3Il0;W7?m^_8YH0vyRfH*~e//EAdT:dxI$qfi*-ƒߚD`/O"+E^%{N^mȣPppλdHs >zoeD%R*_ f:['aҶ>1Tص En j+cd?)Z6f4[j޾ QkG<ܼ":eáXe ɹFpgD\ӂqRڲ`{oAStUل3 Դ@@AƢ[o="1_Q#/PfFZMFj$a}Kz{O9sP }s\P8\aT96HP"瞞d~oYN45Fbs#O-i`.  78V)=1kί)dbIL7Z!=ğCqAtb@hg +l%Lx_#Ns8mYt<4yXks*x.^++(tiBc~uKw9uQh(% ٨@1U{DPk+Ӧ6Cjskɢ3! "PUJ!L'sf$;Utv%%p>! FVXCoY 6bPfa$UK]Kh]sBmbV;#Ihtc-e$loEq *ߑI4uIDQjKE5 \Y5 ӽV7\ 'hX_~rVv?F#P8Cɳ f,`)b]>Fǟ*kWswSw->)W%)H#L rD]%>FY !t<~ȈWyΡ-5rEzA'ՅqT2a$W hD.Pڀ F)f}i`#D3" bJ@KαPolTSUmEJ`1/؀ Ţ%JdDg"t?ܠfCӗV@6.}O:澜QڿE%Ga;jV2K^Gf^SmF$41sJK}Zni)/纘yA &"&YAU68+?#$!2M.ʋLB %ޮ-.ȁd9kA1ADuMeđyPPd@"=A$&XzqRMrqR1U}, {pn--wݱ_Il=<>;,vEJԫ7RLc=";1Y: (cpt&_ڣhy1E]6f?)P >*f}73&PY9Eܙ^O2