SQLite format 3@  . BBh77otableisabelle_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  < <!T4 ]]]HOL-Proofs:threads=2elapsed=694.704cpu=1148.716gc=142.028factor=1.657zXZִF! C]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb,+[._:3hC[yj+}$Ug1P:2FFbh-?ժfN *Ke /#Kjr9Ug5X.y4$ԪyOԭ<7@ݓ4>*}v Յ,yRg(XW,p=+&/ tZzbKU_IR1^b䈂d4=][&k 18Q Vcئg/N(JC59}I ҉*'AwM㚻""Se пܭل*r&.r&blgr3WdsY U{432,\i§" _5¤ &8Zm(7 ǖ9spω!'*OۭӢ0r54lng\> wLy0]M %Lyɲs:e9#.3o9賟Y퐇?%W9((J({ 15c3q=>[P]ٴA>Eل>r Ŀ{tl5rq;b߾ !`>8V>p0quq_MȜD"2`Gj∟o)jх 9 Tg* Kgt6"rR/5Ir_#85e?.Ԉ$W+;s3̀^'&{hR,,f+C6DVk(ilIl5ZKq$=뷑ocT$E+'6OG]WQmٰ]ڇ u5+5UASDk*[2%2-Wqv;/.< ѭ<ڡ09}z'Ba,=Mخ[@8)Tf>!7f(?0:x*[F!6)iGbDI V2%\Bn09SNQC5\A@Q1`Aڊ0 xFgc12+i\(_i~'iCN0AA ~R]xl3VŌ|r'>L)Ϋa:aN~n@>n4 XQ푫+3F]!ֿ3k6[ϰFp4"G;~ n|/h@ FO`g5'QN]sOH7Ex{5^ɻ(?~[R;%m%u5"dER*`KQZ޼NuqĪLl+a[w7)cԫ`tXJȿN'"uH^ /~+1Ic7%d5F" xSh5U(9{Q:7GI҃815UZ…׾[~GMQYy[M]W1*m!vZ>}˷G-wBS"U&2G|Kuϝ;]TFX ݪioF*٦TtI0ٛfy2-~:p'hd؝WF]ߨ~9r&UU.t -?>bR׉YԆUtBhoDD$2(? Ree_#% hp[>fg f#; Ӡd?YW ;Q1|Vʙ(_3E#t5ƕxȌ\ LO,32'"~AE(=Pv(N=u6P7dbwOuY 326P ̵hōZff,;Fc:Lz 8p=wQbzr^7mʒ .x(46?X4Zp $]1@F섿cRQRu=Hv O;AslR+)[*ɳُL­jd92-c?Q4a?J: /zplEGg +[]ލu .%ux7FwY6a[1׎\x]PB{bӢZq:' G!$\dpϱm磞R\cJ(|Yݳ_%/J}-So8t 8ժ<#Ҡ:#jIŧgڵxmqb!Z=X->YqoY6joZޒܲsˮ ɵ8OBn"r̷]l]+ )Z69dGQ/DP;|] ޕ64l$3̽3KL`Q 1Y`.q?ZZQ"&0(QX&N9W»ݼj@봯,=otqӨ%/waXed %1 `hr :yHDY `t<|~LzlWm<{X 4)b<^0eԻXHj驶cg@5 EI~=-cP۹^Bb:3,#~a}JJACf*zB+XUN Sl-f :Rmr}B~To")`:y-u2 =Va8o#NyOOO?ۣ9L s؊" ;VWWBDQ7IfKLjmt@|zx&K"tHRmtQɿ9=J+d+~i߇}sD.E|r}Zv7l}< 9)rHȶ]gaۧF-+"w%0fE7O:x1lOL2K)*gy){H{i-}h:#OeqmOa+#ϵ93n#u!.&1 : 9:+t(8f74 -䠕}Z<惱mjMWwK Nq{j߀128??%yN1FjÌgNFadOfe][VL qqHVѭo5x7>v"1lʄcF^fI=jEWx0`hh3k} .myncߘT)ɶeAG[b"lſ[T ;~F\b~ǘ" 7C{ۭSJ jykuIT^3K,:ٌΎՊJ|xxw)_@ޣg7Gו̢'6?lW" ûȨ/pzz_ $H[_1X~ DB`t;E CȘ\9>ЛE;0e]',gYZ7zXZִF! J]ŗXiɟ29aoʼz[%U>EM!!*WmIE٤FC#A_mp̴(Sa2@Pxx0CMHmxJ*N4 )WXdxQL[7J~{4;/2>MOLgJ.#D}*U'49Rߟ} w[WI<KPn^__B@vVyga t.F3EDQۑdY#:h|ΉܶQ.u߂@u*E[[}~!6+H|& I0nkQliQ<ސY`$ FB[qfh`ܻw1lsf~?3PlAh`xGCczd}4k-Ƣm5!qpȐ%Hvr˘; Yc@5$)kσ>B \*l#ȩMDVJuH ֮8:bupZ4W2RĹ?6GPA0FAQܸjXJO5ylfKIJZ㘣ik;%  ڂҠ)DN{ 9|_>f~[hMs"FQLSz O#عf [_nNn﷚7΃'ʝk2t]+]􂌋=i|Vڠ+lg;E): 2^isz_CK!{;ڋko)B5 ca-k,ϛvFH lG|tL<4StH-1TmSx-\7<)X(vy+R,ޱ "&aKqVZR5 &j=7eP}d8.B7iQ)b:&oXl睦dݦK!,jݻ5_8ƿ F )hh+!? VÄjW)a~k%a P+-q ^V: {m7r7j~abM@=NJPjs05xD`:eCɰonn,VRhU a;^*7lϫ\tWi >%! Dٌ}4\)xJWc0\4QD>Jl56V?W^ޤ{oY[ݩrW*P 5XbnІl6feja LhғY8e<*+jr_6ҡkjڏ p*My)_O޼\Fj  2>H2gYZ7zXZִF! c]ŗXi%;źy*ż@_0z!8L\L|TV\N o0ܠǮvQdeB_Лb_o1jV" FY+g^gwJ O;UG-kC=/|B5N7kv+^bbIa={WIH6hA+(AzgF#UyZeeI׺ sˏ07ySB1A0k:Fd{tpfvW#^ 1{OxNw6XȪ n5:[Yg-:TR#9{?u3'<:"O$9q*F7YV̵<^&y]7'\v!e\IIi4ρ'Zu@+c62}믢͒)2HҾnFZae :kFg"`bK{iOOXι|!iF\$Mn=_\bhiy~yό@l=jeƼ@+Jй""vqtGlDIC@Bm:$Ō |o# vk~5|IKi%:c͆nm _9ܹ.Yx4\^)HnF=01j[_j/@Hß Fa! [Xe|>ƝM+[G+6yĀ#`Q3:?*9|k7 aFDL{K*֟ܔ{]iVNϲxOGd ߅A9ªzb3@H]42TkO_y <x[_+ؚh[UsƿuG.=\MPx!M;&ŗĞF w1nviB7RI"YD g)VZs?IȂ@ڦ'?+ۚ$Heр򯯂!_"/JtygZ#3˲{Ax[9рU1o y*HwI9'DKLٿo*!.Bd5QTUw?|X(m'ڼR9 ]|va.iǮT']QIeK&P?SalŝXq<6&wIL5lxח4=^r0"YQBZ%tywXfW9|n5bd.UW/WMyfB`zm=fvϴ[l{[߲ ;v1*k1_/M ѕc$9=" ^#_TcǴ{±_"qޤSx $ H57jLwL:8qƦ)TD'f5Y X}|`J {sp2EБN XZ^Tx[p^A |Y#}k^ڕq& `Il l2Nc9wfw1td1t  g6N$X yEz%*X \~5rSگujw*좌7iM~7r"hļeCseEQ٭4q0O&# !9g !5a6Qz(BT5/s #y:O`l.BzE㴾vI.޹g'S*"vbha$)Guj=K:Дk P=T`#JGS^pP,~eQX:/J!!iAR-D#ekUӿ1x d}%פʤcY?%Hny.;ܳ<400 k@H0H[qyl.!?ʚI"2.y_D}ys?g3 3_)UZIp R0FCGnEcqlގk*GM3.E fy@,YP7=UX=Uy<XY}܀{R)j)Ӱo} 8}&9i>zoyk|{]l o]|$A[\;%hvCLb 9ZwEUdBpqD3шpCX]2c+'6S96W> ob9bd%GznsMbwBd1^&ݘ8ڟ߯w^ZCodz-M(nܥ %p<_b'*O`o_.LdgdDpB_^yATĶc ~=p]ⷚB ?ӄRuJ,?œ 8rE.[^f[tC: e祼Lc\i>? ۈSB#.Hfys* =ep>aW<tɺh_o|e MO!mes֗ Y=..구q|ek$aBƕBaSX"ȩw>m+PQ./ӱss,0hEtNQ?:l>rQps`2RM.61ˡuz@> %H%?|b`T`[o dρR#-f-}ϴz.LRQjOZ|$ǂyfW6NMX?~VB| ݈`#8DcRP314יb=$:4̖=GK YGluϋ3Xe9T?AכԜ:9E BڍlTP зZUSFߥzxP6si*y dj%Ʋ_yPl+:X%p_ IwcU2]֕鶵Ұ 5h3".W{'EX8 giuvYmv^'2葱a~ʖķ Lf+3,ƕ I3ƖYK`g+bO `̶}|*]kJq4Zed-Q7TAgvg,8$ik3ohpY{- [LhRm)WrWc*.2ȉQ[zIJ, j} !elU>VBxgBuRWS@odW3=l&L\+RV9B;\k]ͼL[hT{7/sf]<"J%_4=`.SD?ORвy }IPk~OHelp^F m~p;5g,ӟE  3:8qUtJf7݊n{e݅&@sx)!,ѦoKG^B4N3YMm;P߂j%0h}kNw^Cķc>aШ1Ǎ. PU4% mAm/Q8 p1@ov h CT`QL$`7/5Z+TŠz cj_i iHuUq~[HT&ˌoz-5 ^ d 6<`XZz.*IOqvJ+SmOC s%BXY>@t4:֟pJ@40'>:>G">KSA|-ٝR%8?~+҂jcQo}}0}sI~N]Ѯ?M9q*]+zс EaM.cĞ{"܏7m3TR4R0k/¨Sɡ0a$SmY^/,IJj򼂫wo A::%H|h8?lܡ8p]hD _$tnLG;WNlj !?:{vj^Z\7YЙLRTohe6j=*zDV S/MPbqj ,Jm; `♤7>@2hQʈ6 )PxX2hŜٳKG&Iѱ4 _G bLhs 5a,ꑤaGnK:5)n"7>:OHOn'.b0B;GL/#Ԯ3Q*;˳^/]|b;]nw*߳uBy,S5ƾ'cȻxpk; |(2f_hg\V>Z$/y}X=%$lpKӘ~tIUlTDկ%W&$;,Q?mo,0F!.e@JѪ+6[#5 d@6guKP927P9†GB)i`z@dZhҐx9SSo}2Id2{"#R=%iy6  j2TNp$PE$U eɋ>W O W>a\}%6?𲗱Zuz.9*;E+IG3rPGm _ldGsjJ \EmJgR#sET/ڋ#ʛaOYxT@OOHG՜@LԀ+M)Vz>*x!7`~`SW!aJ&?t`QE ]dux 3>FVwÆt^xi+x# Apu6ڕ#]ǺlLZ8Q)#OX5 :Kn!v aK B79, %.f,=K*פsg S9[J"Ui⩳,`u4Ӕs(3@6A+̜dhy\1*ujwD 2epjˌ^kd`nFDCUcAzV+:(m[65qDږXw+L}`ګ^%&[M,'ު Er1ܣ's!)635Gף %Aq(:gM!e1јbs7hͽk̙[#qBxHj~P㻊v-((MM>Ķ{q7;Fs# gC"(fLaQΕ `r\}ϝ ^畮wnn)쪢LtK^1Mr|B "'#T"ZԷſCw\80$%BSbn#3b ~"ݎVm>ob]1Gw:{oH@O =1I.vpF4BF= S3>oA cJIU Q[ l6R9*G z:/9W˟-f* ~(R$'"Tc5c$)VIB|]|_Xl[\{ekt[3[m&-,cfjU HpVx=\؏j>b90Ρ T(ӎl[C6Xa{[u3voD5V&'k!|xc.~K({E 1ipu  Skmt|V*DTʏa8lR)~" &";Ru<\?,bκ>JNeVQ&!2-@,_i߅iTה`ڃޅg=M^z89wjmgl%2ktW),1uAeNw/\{\~sb׽ڼAӥe8  (cu Y~)pV-UK?9OR}kfǗ:j(sNWNZO ]6do9 c2V=X]Q~cKGbQ߅QmrcC/M|iv`1$bĒ{"ݖzhdodxVř!!VN9o8Ιy q(VQtӟه~ѽ.է<OJ z vhĵBGk̇ҙإG09Xk[&cN].0OuJ"Xݢg Ea0rMM*$zJ;H >BZcK0^ cok*hs"pAt:. :h . Sދ7s"/9 nѰtaz;˗Y!3`tT P>`s]ɫ"[t4rt]22r'UL3=.ɸ*\y. ͇H\fp{FѓCg0c& AɨTc77AbmAKK3˸͒cW ],YuړQh 3u #e@yAѮYI=pօEReM`MRuUW튤# `0cS 4Tu8$QiS)/P\} `L<d4f _W;0j-hs#ozբ92ҿkfrP˸_S=+'kK3kTw]-Jl z:PS=\;96&nH9]G˪M`9Bԋ}=9s A>2(ҳKLt|uF5WXNL?+&󴢏1yE䏬 I jv {{ݴmOzh-UuMFt*KߘW"j}BN˵4lܩqS\p4"$ ps E}/OF j<'\B{.BH+Y;$!;mM/ʊf1}#:R9KAk:pO. WLB_gc/=j6EFŵ>o7)iyswcbVE^F٨;:LjxZ*y -ȫ~E^ j`Eme'd@aUbszM9Y e4eQAb+ӥdQ1뵇Pfo  p$\/t27u96w{aJQ h†/讠 jqKwHNI[(s=;~N;ā߇Hdt-B+k&ªϏ(MqTG(VQ#C,J 1kus{V2un[ C@ʼ?l|Bi77Nx9.W*1 ;52`jTk-Ze.i%{+jϰ@KZl=Ң7@,.[. 'Sᝐoʅ?DZ?"@6?*t@.`E^":e+|r,LI_CD`)\Ǧ„'Doμ;y#wTb zUPkEQ="sr ӯtsV7C AalCYW ʲPayY5@qz>IpvpúJsw'^־L~u:7p3j+H^(Jդ,N:A cb6Pq{AcS ߖdt<-6DfwB}6/jxL3Kp}U0.2]N1 j߬#,*.aE X+WMiayja_v5@jG+T0"e9FAngS_Z7Lό%cV%*LmI.ZrtKO`1%hy.vX:$eTe,)r=|#_AͬWO^ zو+f H\cոٽNUaEn~%OJ2.ɈtF0zhL fGx˸!BFg{%nR n%E"fR:ߜnUcĵKirߦWZXB9܊.gjjzNKy{sL^<0#kӒ:uE+Ur8)p|9=uI(> UX}Ck^(_pkfݽv(t3$Wz?;D{ 3/[ݸddɤZf ,\>"p9U]yt$Tz!DӶZ%vc$D8ټj </@pXOm ߥ" &ߵ! q74}o@ӸFV85-79cc?)= h~Wץ 5K#IY5Aj۩a0f+7adz߮O%ZUלr(#Y7P.+{zȉDۗcm1HB̀{lG8.]!Au+HAoey&v竊5[m"Z[7ӥ,<.Yd0!Qȕ،c:]BoĕbM`>8>r#rZڲ FjJx/>@MEghڢWWe?P<*f9MQq tݗ.N!;` U4kjgq)/;_i!tPpim6sv;%JS\?6˃e[ Ϯ5qwE,?mVND33a!hڑ%6A!mEԧ0fEQuImsEvK+ۜ *Aݗ!\}zYapTfjL^'t)䇞9K.5tEܰ &M {xT\8/ uҍEUʩD Om\Hn:5S;db:-]vU)[ }b(?K:ix+-rTStLFL>!.Ljt8ebHjs4堭86T5$ ۓ%t"MܑP ?.ޙjJo 6.p28dڍWiKCb.2:XX@oTt"0hsm[pхҋ'VH-6S灌K))[Qt|bB;gy׭:aaKOr|A ͢hFQj{8̦{dKyL3NO#fjT0MtØճ~dJ}~sП@ȃ1I$ܯCP}B cW ?t٦;ƾ:_0;-.ε gHĩtWSo r>zjFyoh\a@4!EnP]%dPWkBAw6N֞w-0$TNr47=t<Sa7",Ac$& 0AX*ܣ0w\nSy@Oѱ*;gJ 5ϻ Xq\[{sT0˕`dfiqy2j)k t K?1bglǐNT'+gcaW3gz>+%pp̬@άuQC 0;h[MT}5^d_*Uv;V벳mt席QIǬ#Yv'Fcp]ÓGz{a5{;=4/q?wJʖF= 7l+*^#j6(Ffy˶8ΝǼ%.+:t+3gGNm恁/t^X~ e[k`fHDWG U鷣( adJwk(KZ& gQ5t|7xcS%`dL0| 6N/Bj k_[f .cm/c@}jF¦X)VlLGaJF*ხc a~hB*r 6kusn+Bʽ""ߛm3.}'$IQCG%x)x9%TQ{]  H"&QF,8C1Aw KbWKH4YLɛn/Z34v܏\+\ {P*Nڷ:o=CfV-;:|_e=xnFWPʈ455CUP6DFk'(Whv= 5DBz/}<+FJG7Y>(O) x]ZUb?ő_ʻ2e󀂸v#4M,6wSq &,4'丸!'s |c=)d hPHGC3`90CP{QkUԷB|3=FխQQP,L&vF >ʐu3- NXC1KAL«̈́:Vc>9>>H%U>#㴖iytd//g,tf߂u=z-4k{e؍/Ygbʨ|ltƞ`SNgcly$J1 IZ 6 v'yD Ж>{8E9 мhjϿ%WR-(}M;=`K+#4 B(,Ƕ.V@!;MjKI"&K_D#*)nAyM㙇3~Kx̷ p,'bŊh Kf0$I/(vƊYȻBDiH[`O4,g?Ba{Rl ;ɍtLleThM*O*tmR:Ͷ0T5_ͱ@eA_=`sptEaH(M@* I묊[1BwoEkD(+$"JH1"}|lxmVAKJ^o骬yꕕFU_^È{BnEhp+vɘYWPA*ax[W("O`\;BzVYïmF1}9iբ4 3?gJlڸVJpS]S$%~ãq| )5y9 7_>zG#COЩJ*dqMqFrĴy ^yoILc k{B (z7,;gpc˘x\09aBlOwk [1~u^h ˃TzR5.."%4h2Oռ,,9zeD/Vܖ6Eò0IwZo+M4o aţ.gzvS>5Ux]Xe6``k캒KA{$jC /4%{t<hސEpդ}[B&cEhyh?+QSp/ > %Q0(Иt wg6`e/ƫ5zc^3 A$L)\ۓ\M.rdiuSF%˧0srXѮa/tLL#v?u)pt=e. gX2Ӕ n9.AdrU^U*<Eu{縬3tЄd 5;h(Qy2v XyŖ2gîsݥw:bD,Xއo^]V$,;}CFQ⭔ K hMiǡ!ٰ07Msi \عٛc̨.uyb7׏g5gg&s Rb_;) 8{./o\OGL,t˕;Sn9Lp;hc]f`L3K#}565c{ZM͏YC)+J#~< k"n\K9 !o JuӤ0H@}{58՛gޯ/t(B2)Y'p ݩGHSW{f|v4n[70%WE3fGDb̯y*&Z [(|Ld(I/{vV*w P, ٱ| j}o޲(ڱpF@>FADױ,ҋփENǾųaQdaL;v>FfmIK yƚ&%B Y Eٳ_Ty#)G{Qlmq)qʕ ?qj˖O,1fXE]y Մt6|GA^YfspՂ]-} dlߝo*-oX+jR]Xr}9ӏ>:gfeQxND|lxH7iM}R&MI+t }geD_po5/hx?\ eDUtnLn :y#\ 0j|цrdQQ ]/ ro(l~tȗnJ> A°F'N4iv|=DFNc*Y~Q:*>ۦ@ !T' /Qu۩XO=]48|ާ,G.7X ,a) &*_{hI/*k 1檚 <%Տ5'yǤ1׃31:ŭ bT׶{eWˌ /Ěz?_\+~/Gu½(Oifاm(JZA66jbMyE8o@Tjx-bghC5pcQj q//N 6N75lS<>g#)y[QŻJZCuz8{'|o|22F"Z9u;FRM+ȗ{J\Ǯ9d钷>BghhNX~;8uIP?(}zܭs~G_5v *jEWȤi?ʀL"aNӓ4=֯HB7TQLr|7=Cmн癖9 ^arW~.#ˎ% 2/ш29ݷ2Fgh$2F [.V#cm0B֢RU,8dƚLRTS31XIZRM~dWRd-60 >U-ZaM$/(bX(X߫^H b+RK*t\<#aLt([]Bcf4X%}=v192M<_/{_I(d xiYsg6f }|нl^%!$2Z27D,U2GH8{0wDxh\8J}n,ػN1Mے!P( A@u@Oo:&_c&ᦝ7mƲ X@5X#Tg`2sݷ_o8OE/ZB<]ף Qk6a@ulXΦN'cHah Mu\ўB (e/7 f"x^ZPR{[{ȑMr.vtsUųg৷̺#&/q۝KCO, ;fR|`|Mj0x$#JT6ܫ"}+-9 C&E][FX[(R`nB&1O$ 2 젯Yc龹Ydɻ;,&O%$RD.oht}>e:b7$3Wwr<8WbH0k 2 1)[mτ_87 < R ƴImn"|C58mp]mv !Bc]0GIDQ+iYp/7\22] a#ҷAڦl{<EB~‰i;^ Vq*R=)6D0'~MHHاm=\^O+ PⴔɇPh'Mv"n =h! #cs.>{~IbOoWmizaEf%K-gMJBZTy5i,т~jU.EZ<0W(?XfL/DJ&~N_#"bʓ`V$P&[Cf=n/,4 嚚1 ?YKͅNu.=$oo+gc$cFGdel;.V8E'!Sz JUά.-dzDӌ%?ZRVz $\Ym֡e.d*.,y'7cL6s?Pf6n~0Y>ۊG?q"E5u+Z-:9;Lgd}߶Q @K׽[^U|Zgɪ;؃D*+XC,S,|Z1Vټ'[IK^a9;quiHOPQ9;_~lUd b\]RaԎA\y`}n;, rX^鑀yrGto%@| 2gDA4+L V&&kHt@4O7-m#W`['/Jr_-힓vҔC~lV6=Z?`Ґ")-Br-iBD[q +*!K/kcd1dÍ;1[ڲKYZfte <fiNQU!=^3·.?2(0 j].7r!Ck{wWmˀp wl ʝT?դB Ua^tQJv[wc_uxiyr)sKխ4}?񇐣]JGK%hyճgv2:]*E~ j"zsMX".!C:xm۞` ڻb_BZ^go 1Cjr!莺y[9U.0$;{rVԸ$$SY}b}[)(%lll:*!eFQiӁ{߲Z\,|[0khlk֛]%,~lt0T$lE%1.>o7ŏ#Pm_t{@t\j%54IzqIRh0=5&#&`y+@6'L~tN?6s>2[;t1ze+]l,]@'mn.zcTQjR$lv9 Q2%_RICH5iNiRO-w8q|Lp09HOL)7| 1z!J2!ugt_:>P3ƍNlxcQG^ }`:dJy#DA78noөhN"sxLpTWOl"} $49#] t6 %?ӦT mAX0.qiR LgZAZ,ڔM]*P|,EWBq.'GTHŚ9fU>2K qAeQcچ>~Ć+~t-7ܑ԰;qߦCYza#oĪ^HLдr;K2c(gٖ $D8'W h$FE#Y4!ߦP ˳}qIJUQ7#tn(coUVDgC\[Sx>2X <~_&U4BG{{xKG?Rj]f3d|5;EG@J !TmuGs I!VpUC<ɧכ$G\B@$MЌ[b:jPSzDXfyAc5kh 8ԣZh5X=l gDH5g:lSXf cZ0tfQda+r:(ՃL٦N_.oÑ(Tw 5a)^%g*~ƛTeo l!Ȇ+(EfBbO͍ ZrlEm/sQ*陀 4&yx*iw`_¤Grj|O,`9D8Zݿ:Ip#IqC1R&#;F=9!)ҿi—E%@cv dlF5 ϥoóm|& 2F3 l SZIs%^;{E,Se:.&t.ZD sB;U#ȴ)߁yOV,X{ YLc b"U-4s-Ff#Q&]sv0Pd ڜp.O'}6d;+A{}L:hf=j 3g@/Ghe= l>QJ~+Gi;P7吩,C.O_\b,K;axTc`;OGPŝ5QzGӋIY;^-sIdLTnz BvPMꔖ'O ;ϝ}ɡ [~w%tsIiø8H\`m_TX5Su'QQb5\S\`Lg蘃FKV ̚q\qق+Nk(Y:|vƑ;fZe[YTa mb<^ݢ{?1iN9sR%˷J +Z<뗘RI!0~iGKY;Ϭ6+7ÑT3j٪3;}}dRVfΥ}q~A}ImTLZCSeIBh'S:hfZ /BXuU{DʼnZ>I_6ʥf>!&z "G ܑ U[O}}s, 2>_Ĩ}%o5(jtl2`LDGz!Ye:)ٖ0z]%fGچP[^52.|3qsCmUP+<8P#Or'\וl[[F8]%hcT+A gVee/Mj4}w_'t"ޛf>FznHhĔ29`;7=˻{YARbgL Dsz8ͧ"}a}JocF͜NJt6n'oH5{]d !֦ӼĂGK%Cm0EEB".rZ,!P3Dp 4'b.6L3P+%+LLXR yuRQ%51P'EuqB|7( A~3HfPGr";Ly//ca:u ƚPJ، b|xx,}KԢc,%QNw(h'#W JW#4uɵvq0MeSX343>* ڣ~j.{0 B~s(2 ;8,c8VtN뺑ٗ|7ᤳj;O#/EoN n@F$#3H,/ϋe' ˯ =*HWPmŁM-3;ZOV!8xP " dv܏OG2Qjs#GQ'HU֔=q8e)5PPm`H!zti`EKqV`e W n|lC } +FoqLZzcs4i۔Q]}35Dy/oYÛH 3 8e`bqa?8e Q.#:| ${R8Ru0#cgk<6',|Ve{Tbq\[ȵBPƳ$b)Yㄘf[:D]W(Ђ BLyc7#]"TGy|/cw ]a"݁'t0[M',y9iRdQC?LLeVvXinԫE]߶x;HNz'li'Wvݫ&5 Hj`+X5IѫC* p LKT}O`i,{Z+VG2rr [dP*hO~C%9WT53nE^발KޘxZןFG&&Q^9[ *Q4np/.<`<*]p(ތ.%qΐ87y ؘ[2VQLVkC0 !Y!qjC؛;sԵmBL;_=*' 3]XLx.7C|̺[p9j(:'6jٷ&1zZtX3NMNשFg-v<)q+5 +'PF7F&KNtMv&j_e3yo$e:A;倾+hYﱚ[+p,6!BY:F|F#2X Qem 2Є>}wĥ>??\=R[\mg(;F^|kvb/AHDv5 ?HmWdhq61NA7[{+>l ihRvٓrzf0\4~=z!.yњe}p-QrXל#ttez? D=2Fk7y{vUKAˍ a0&zFn{s:J+5{ė5 K0K4d**N-Vj{= {ĄytSP&doDs.QL q~Y$8Y\ {T { 1xyԳUaJKHg|&!`,ᨓ:KBy^&8 .7".q^sʎTPsy;3hi~h*a$U*†aX1&yr0[W9tyݢv5rFUm&MeCn @YՅ;*uOrtR;PxfwZ/l a|9| ={8~tiے@[P+˄ r!+;nL I8p'qMʅ ٘+ˣm5SL͸(+cbmƍL0̴;r jFy 2UU@Q`|24јifo8QOZM9CI*Dػ*2bอmj Zot|A@L!"& Ċra=HcLȱeFp8! ^$NHږ TB,A%o,e8E d]a.2'a#DcF^d13 gI7^:ggh]f$wjȂ8 I2HH$꟫=f~cv5 2& ݑ# OK?`¼l*,4I t,)flEaa G[cS!# mvv{}kw0S KH@D:wxA[[Hs _X35 $mPOcG8H/fKv_P?l SI^Dֲry,"~LqY3R1 ~8)%+ג9LйV#ޭYN`9‡@YɈx&2󚚈7H(;iv1-0Qt폐2"`vwؽ췴=Yױ;sfC$ʈ0/ ցhjH[qr7杖sI4K'|G̞yޥ'֋\QD W,@1=E<{6^o(%jc{L*JSj? Ex4Է?9>?]v[о'u{ٺc ki"e%hdP븿UI29'- Ra a\ea`W䞋*Y5Bjf᪏T ޙgy@  c?Grai)^xe0*E;rƧ.=?a@{#yom6Z: &+&Jzjë>U.h˿}`COBMwmVED"V\|o"Rng]iYjy.9Sb'R Y'+JO\*A%(+:0!#[97~Ǵ${\lAb;I<@ܳ: ^2N9")Tdo7+٫QdfrK=L!ͦ3tՂ1;h/3yShF%+jd^vU)0 >y/tcs<5\) h=[Qe쪖$%~`Ȳ+T= YhQ.L$댋W H֭yy)Pb3> \X߼ "9h^lCq߂pOJݨcm>yD-$>k19`D7'-MTLWOe}wXІTi0N \M^yO_\fqj KjMq6vQ\( T<Ҡv^#eҺR|ñ[`.F?e 4 R >~W#+H=sxX>TqafÛCfזY>;Bk eM>JZar?)b b@];A;b7X3:>/!{+(,,p(*dV4[89,/H/ܼ8\\б$)Y;qA߃e1{ ^1dG`3x$ۣdy%a`j$nD+S}h-A,2JA2:D?+wJn|m(RH3k8a-1Pq{g`Xc՟HUzR\8rZEz6}A圉Gx0h3a;ǽO9FxwJulRyLH :=Mw)rQ%Uud=NヸUNCt`%ݶum?{i쌧Iz0^۸仏ZbZ@>z۲23~hj~ '00DLʫt8<}$ʆR+6S`"8!/-!䳦g)P$GaDGC};̔OZ͎ FS%_DcV`tUeaP/.fkuN; R>Q<=}X1,dCN6}p eB[I-r[mm>7 'qֆ(q 2֛ioԿ]KZHG."3Vq6@Z*r :0R k 9SҦ.JDaw YR) z}9,Ic M\q}d,^a#QaqN[!H ]CwE}cknU|>5u(O܂s*؄7ޮ(Ȋn\ ITs ɈX@L-: ,ٜuR6aȱ[τ_PVMkcPCD_v0hm'zV)MI9wBsIfY]8E+ZP< C6,` ,ۼwX WFz@]lDy岸 B:yFd(6kpP)۔$õC&gC MJݺ^ YOQnJ򭚱YgA n~^\K_ۛB &nՒ~|!1(~dJ6i|# g|3UgUp?֞3=e"!4t$z&!¶[Ɋ.}p %Wɼ`VF?Lٞ%Dr؜R!EZb23:;boVFHa" ;A⹸BXR)7pU\78zpZ2P [:mbP`6:TSs!uZG~-qW