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 `!,\, ]]]HOL-Proofs:threads=6elapsed=562.331cpu=1370.804gc=182.140factor=2.447zXZִF! k]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbZ] W4</3upbp@+i}ꦡk!H74>AӺ =5bs:V @V_h:.2Jd-W`w1! z¸Fld}fM楄},,2ֽN:'PA+ŜVjG?(?EMTG%շ M8AB(J(x:AlA\, n?nnw$uAuRĊI{yƳ C`4wA譍`rmaB7AnƢmŐD^H_e]ztcoU{!gjXfBo4,?"뭮kATF􃖋G0Ft \` j7ڍÈAAüj`y?åR9 wjH]zQ. |>C*U9"8 K(6%8e$\k^H[_}SKj7(ޥ;SUGt,a 6.N!+hh쒸"\Cx (:?m8Z'09#eꭜ2jh$;Kt%U }Nu FcUm}@`xЙXD@L1?I:@%eGuڂzHn>Ul(Oin/bo:erFMpjL^ 73"WY>ȣ>yW^B7>Cw?M WH }[?J=w*$D}".g,O8&JD;)}}35j"~M`)'=o }aZTig$;mbbO\Swf!?[7 reaj G lt =`1hb$Y//a&$6#DI RiVPOY9f.XM$ \-r6:f5UM vz%GrPxTf1"J䪅0j1> >7 FdFxW*(=e9!Gh(g>xy4~f6>fg۔`0 X[Lπl`I{ p X1? +C>?`xP  0&)|XXyg5ܧ=a5P@4!@ZJۤ6t" 50LYIPx[0kJdpT|cLyT2d.\0Q8; Y5JUnBNQvyIlS&,qkd%Po-0$rh'ފY~Nb[ɺXϟCj.$ů0kN t:ܹ8,jwV/ɩ`QYҗ?x~XUBJ|of>w.. e L=nv,ǃ,pK]KbjƘ2O|EBp|]t|T&P] U?:i0ߔ5̲4=)whǀZ b!,B2Oofu7gPuhOq nH,&&b9'vSDf)3!K_QܰǠf.37XK 6mކ]RK\FA74nq,7[MWpq2 ID{R C hWb⾁?@`]98t"tvanwHx`3Х0?<\ 4̵%k/WJʬ0E>yrVonL{]'Ngrq5E?w"Bno&y>92U'G6\D*er&G Fu1zzQ8h #$f 4V 'El TFdYDN& q>.:UFGCGc~ײ'7knwL'SVG# hDlLq놛%7_c`ҥ%}:^fgh:N,}Ln33U IJsDxV d҆y<ٿ)Y6>Jgf i]gG uf–G=))y % &eڃ!$#iJn*V;LA\[ӑxw51',qG_vW71 TTҜ8D(@~`8xgig$CҨ# N?j/PU+H6xOD3 '_kэV=_w39P(8KևOf]B:? &m[bXUB GsODmF| Kxxi:8[&+ Y#B^hFy kniNxQ|3s UsMn T.rAtbt;;2AhP~kVhbUG?SZb')<^u򖲬'@UȺ3资q=j-͒0r("$E6*_V6KT"jL3RmnA<;r8x#ͺGh ʓB܂د 1֭z$b-\0 S{8/P ۳?U7`6$9UiMOlecSj] RUy|MQg&7 Mra~MS8*|_cyLιÿ>>G%XkR+y > r+Fjq ւ tEFY1;lݒ&HPv y D& fcu rBUU@XfŸոk&w,.;#VK*z3S{o[Lvo+?q:?#6Ӯ a oh_P)' |i^"1Z*,  A}6P3AG?/cAc  ! HOL-ProofsT)h3`~{9x! G'BF7PeY~TSj8Bo@cn7\Ǻ V}5WQ-t0Oy`oPntWa.4_1YL|5zOE$_߉RyT.6Xl sr.g6}Dap0 R6i+\#_33m'}mG1cM?%@'Nx޶W/jJ)bIg+Ks#̥1a%)u_Mw9UEEZR{am(EjPBmaar|wxndqm!侷;?_@Y.$F? 5?9L!:)K QĠuɿƃ=ztM0ݨlH {w; mXp*2_ Z|-H}h FS̺ta2I5 UHѻkCI˦jƮp]C+劸VU[X=s옥g0n)2w+l՚s{"ld"Zxc6I OR6m۶fۦ\\t됮QkKɼL1t;eQP)?==~!0ͤ?FHF+Aͻgc(Rid">!}q!1">Ff.H-Ѱ9,cR,k*9(DK$-hbWvBY(d ^G H9G2:_UeuOW/|Ǥ<7Jy*ɜ A _wK'GtEe{I\4e"W dQ-hL-fB'AVzh/Kf0ܥ&:C&RT~B8UƖ!p92l`YZ&3Kڂ 7ؐMrkkɏ!$m|!=~)aq}5zWh3-jns$C#.jPHE;soĉ ˂a{iw9z ɊnJq;쪨RǚX< ץ0.fcЛ|u@P8*C%r3t kBnڞ.qƙ^<ÁOLklqu$d=؁'7mm ph[D~CW*kWgp\OQ\A.äEG" SnnXƩU2T&DB:MjnW. s}G9G<*kw#l C?<';b%p h[J j@Zf f-oʻ߲䉸rBF Ov Ah '섢{c% xDiU$Nkm|Ik\k[#^J\-m<$Z⽈|4zqr՞ZI _jW]ڙ`9x6 х3m11Y( X9& H;] APU-DCD:'_ Q[BQ@]V!pob%0%!pc-`5Mm%sE* qzJp?qWCqvM_GlВv_)Tka4cbX5O}q>֝/4aA!fKCC=T"\ ] f\*Xg.PEWj;+<ۓ:Z=ŅqzU0l7?AnN[1ɸ|s1D5sYD4@DÛn(_j{P! Gxc˪dIcrC&* fg^.ˀ ):"~1h6O]ٵ[ gaܗyb F.hS,bfnIi'12lYSc5Ƥ4O2 hm?t?ѹ:H9<4~Df*sԑʑa? /#OhDN8C1pWS:JW7vټx< (`9_Aq,TԳiF6bv)^o&UP[nW#"Ieg- +7Ud  :DZ&pgɑ~G"itmaGv9u:1FSz sJmͱ)J@eh4Â̚uQP :{X I!?3+ݦ"~P/0gYZ7zXZִF! d]ŗXiɟ29aoʼz[%U>EM!!B/NHQa5+۟, HaDΟ1P}SvCM%ff{\-#co=d2p U6boa`[o }-h]Op|u`yܣe~[S9\#Zv& "J*qUA06!܇(4l\;3YVsB aMҪײz =;M1{eJY&~o_Fwfp y <lg$ʟ([mo#e)ۢHS4_P"N(~"+(! Z1;ޖui[Jcc''t!bXY;v Sx-(]lZNov|!^,Xʼn;@<:SB Y*F>'TjRLs@!F[[fU0\XIBx6=!hI_].`5n qtN}Ny0 Dq\H|u߮"߅ ۠j ;OB]%GRo IeMF_R2Jgg$*龌9HEBeN@'Y֍\#Z<.٧VJ [!]t vwه KZ &8`*{␍Ns >:xoY~Q_Qr0=rQ^s\osFl-FڏDX[y*OW!iTB^!l+ 8idaLu-@%B",ƧpJ{E9`܍g/[;XGzi]u%aӅu. wxi @@nyVr'br& QM1y kZe?R%PNW8Wz,ѱ+߂n2/XMN: AR2 ?gYZ7zXZִF! 鬆n]ŗXi%94ǣW^UK4g ZoD٫VU5/Fn$ -$abβ9^C`⽍jTֻ2IZ-&82^s6@wQYÂB-VϼF2* ${w[2_x mz"D?l |OڇvYտ9\_Rep>,[H/qLt^ 3zx¡h#NV@FGA6֦tK?h{xdȱΜH5{/|CմiL-CCSHO3=+ʗR`[+jR9۩Huz`<[fPѸl & ] rCV ng77)dTZb"[gHodG3xq3P/샪%a+2E诘yO>s,@}GAXH.E_9#Z5%>9NoJ,Csm·2 B_)݉0 MTȕxp'N`3T6X,T]k(W1z)i1 ы-d0֗ܖ}#P G̒Xp 4?>Gt`C ^bTα8HoQUF0]R'D3xWw,(R1?7?W}+ *Wȟkr$&\r -*7Qɨ <*H<0L Ss!6]{[?`nW/JSNhnձZV( s^&1㊻|\VIqe _L.pYi1J*A=)}Syp͹F\j\)-A)Qndb6XRftyFӼTϑAߦ隄KzʒY8w5jvለD$H0JgIdV;8Io=?zɆ&  *t<_Yt(YZٕPԠb*,M)2q9pF+ NX%ɴNX&A5C܏f\i"$jBښu*DюݶQv%uT Г)Ao4+8k?CcJ2fТ|.j%㉆(}], m({ GޮS82oosiQ#G"Q +'tB"h9Ht$%И|wo/Da`}IrU܇: W* ,gq̐^jx 1ǁuK7 K+ɘdx1nE c؍npOgC th 4]p=(l^>#x7?IpSi3H}pQ:¯XpVSb?@Q$@l7i@XU.GjjEkF{>RvQ s/n\BK`*Z#HK]M '8k-Um'ޅ24Vm p*JLR%\]-_9 N|ZхƖRD#|Jb0zX+a.CྥPb8 6TT/BCE5vT'"sdQG |/z!mmԠ T/ 1O|fh$}G۹"v 0?a*xdτe{A7$3Xy] <]4?d]CPV# ҙٔd3o۱VΫn{-x*gϟaGbcVg-[j ORk^o5`My|I g'9 22l?qX`\-}ˮ%sl*щM| g޹U"G;l}s-FߜE_ ӉMMN2(}]ɸAfv9EA9/7eAB yn}&F8bd Ͳ uxKЦDAdPvz(mTpd ic$ n#T)vVLL!7y`4^255F(c  ]mZj]Eo/Ʀ vmM1oBVP! 9M8Y SRxoFrT~m?RkYtØ uɸEZ!²H4(=*jE#ޛzCA/0 ep, MbRB^9T^|HoUP_hYx7jEYBeƥ [nvZh3 %{KF^ uv7rJsUeG$0D4kP4vi:pEٲ_XS Αun˝h{w2v{0&'烈GeKy 5(-y -F|rlQ-İ/wkRrCGXca$5 sVhdA(d̊!2A)ng^ 7 (]}s<)t Fl5^H6nľjhTCzeSzhf83>-,H+SIvϱ^UUf\}訂{hn*ޤO:< :Zbws"S@)}FjD :=yK CReDLlhw,b榍fzT(2 8=]IC?[F[ff: I0Yfmv.37w$򌄳I0sӎnDV@,< wVP8O/6[~Tm~?2Uq6+<|yz_Q2r` z"#%o[ިP6Y썁4QX. DAmR[?[Ob xX6opɸz3`KqԄ2G\طv@6,3ۀ`?zӧ3ozK;bNIxvq R[kGJnE tlI>AӶ$կ׹a}ݪeEVˌ"5NJvSLĊc3V8`g줎w8^7Hkk#P6v@eg\3‚D,OumvEYccŽQC3ZBmk=PD{ d4><UYJs j<z'KrBt,fEy*gԎa+8eۮ! ,9GU7ͯ}Y"}ff1i\,[E#N1ۏ. MX3~8R0nUC<ÍH}hd1uyC._<b"TQh_?JVWBDVV5/o?}VMY:zkκw2xj%irC>7AcJg(,Iw֏tM :~'͘Q~K%gztsS-t&q36"w2]MMZC=|6vC ~PM`N1Xu>Si'{%ی/}l1>1&]HƗ|T)aP`&Jvq@aT>;7wc_+O:B>5dGr0e:^\S@@J bH }E^O94VNqSv[æ)݀ݪ<$ZgX]}*dد+U`|>Ϻx~СfjjBHmpI >cS%bYY 8vIsao%_y Y |AEⲡP9 zL{h 6=!NavRa7X\'|To/8b*V.NC>PŚah7 rNP soFFE:?xAn("cfIΏ6&75ڌa;\aW !j~ h?xƌa|KI%rdg "VH?L!cr`~#ٜ`:9kH.dIC e?l{Iw3h-Ef$cdz^b~{;A̎m0?>/n2 ?+uo.$ z_m,R04?Ŕ1N|I,҄B%?P=^0S+b.7I6Ta!fswzss=!ZXp(bQL/u_'udLi5*?!u*M:Zw <1QS=7qVC|m0c} w|AsdybF|r]z;v/Λ l(?3Y{sn?PRjr3]%贽0P@X+K8x2 yWV7}ez|Bʽ"7~O7e !|$ҧ1P<`%]ƮsǎjMީ;5E6‚0}6+)B.󂊙 k0|:DžD WԳ?Õ,fp\~OyKa9iNjŏW´=W7/2XGYs&v5i͏<|3 s:AX8<z~Dž"\&yyM0E-` Tu.qh#t>XMq|/ҩjUXF9 Fw}(I֪ <5d'unfݼ*ty-R~+ R;m.BY%.dJIHaO?Q}RVյ܄bdMɔjD4}pϬJ2fۂ4R"ިh2x2E/EL~DgJ#nA=x5gqR57RC] _'9x[S8v/K&ݐINoX7eZ_r@uof+sDl ~UyJjDP4ed)K/B}BE xLض'p"7hF>!0Z{qB"ViF ֤;ꮕJXa݆eI+}g \$ ?L+Ų )t 1&M"to+ 9}tX,ܠ|uE"-`lXB^lA/ZޜSa㛮U Tip%Or`I=Bw}_eHvf48$UPe| n3,Rc`xr[a /@X5ESܽٚ3# S-Tb*juZ\ bЖ!cIq-IH$O Z6E.]Y/%<~@E`xpvrYqj<r]3'mm{akc4:!BvZKpa*[ǓE]3/6+aEnP\gB6>0?E0U.+ϱoX6.@w. |%Z%/ZGpI?OjS92I*l0aD03+jv*kw/@aW(ˣ,j*_(bu+c)jռ*2Ĩy=v(J ?ϴ?IK=g>7 i!V[m:@t\.47U1ŗҊJٌu\b? 1&GbB.1F?*s*^8f-R<7&z7 ǜG~ *a#jUf(yG}ۼ ` R4ڑ?88S:'u9%O#\ۣ]&9NRY#dJAVY_ #e>_R[>H G\oEh3dM$Sg\H0&Rѭr&*f8ɬ{k!!Jw\v +XB$#XhP$gNYCx2=??ڵo/uضi` sa\gzv [ơa6@BYvbB(NT{QMK6 ~kV(:׏ꘘ7ˍ=0p, L@BOMEI_ٴ(l nHcrdz\zly]籎" ng .h2b&!^̐} Ň 1P%&>޽(m=OqmԒ5em'^@jBO| F)-N>ikqf'Cуzf.wbYM`% LWM[rK܂ԅӠNu(x~7t5Irȣ:foR6>Ht_ҷyUE!Nxiu L/BфW1o_3u.L +5g]YvAVpY;bC{EyV]%AUFx(zb_ zD8,8~O/ZZM}IԨhQH;A| ҶAd8ռL\,-B'PQ3>n v~c#v*W:sN.9‹9|>#,.5B5)vTLs>tֺ?[#{YkOFg5ۚPtGay~(' à@6L$ XSOt!#."pr8ةBL^5,%UZ5. jFOFi]dfːikUiKԌBL|u|X[O[.r8j!xڠ+;f.A)ؽ.>!S4ڶWy*j ,\|oA|n5f.'2vPqUіA[,Fc` +CF Th&5O ۄfODRM^J]ʆ!Z#- / 㤓ߵEVB4n]Xn޽]8rK"uŸQ] J#d$gq.tYjZw5ry> P681!,G{l@):??AS8|' E|6&Vʻ:l9m5A:c}m_'+)jSa DD!kf&^)N9XB!sa~] [dl-'O s/ŸDHD3l 'Y}wHEzRGBA[%8}m<СkBUn{sqUZCRbQm Exk#@ %|ozӤ/}By 7rWq Rʦ4ϿbO\ 醉!$Q52Gyl*й)ĔM=ue&5 ~H풸P`9I-X-2S3ҧpIp3 5t1~ Iʚ95I,6RTꆌ9^]Y%qr$]LnN@ fۛL'zD*׿K*"ڌذ̐}7_;rt*kg6(m( q}FC8cS/Y r|#nI> qdQZcBST"c}Ev1sImd-՜-Ze+tXd Q2b\z4Z$jd,/],߻H _ߌ5 VN'{>ez:[_P# Q]#!²W9-eB >rGp-`|hkS-N@DžUs/iH)Pg"kzk*n^4MvpEk9TA؂6g&R : yS4谕%xpɻ$lfEh$??HmDZP#{^Q)+ t?jMl%x8 \Q >1a[qZd;!\s̠zjSF9`32leE#Ɇӑߋ1&v2fߖ?ViHp% ky?h>k&6bx= )U3.nHyCѲs\nKB(aTR:\L@:' ؚ=IǛr( GrdnБ.盷AJ'Ӧe~]Ro=՚HfEIHV:l]  ncX"$BA3]f1]I1r=KBy$, 쟨ZG˰=rπcT r9_ /RED4 g\M˺~ ̹:%ًaI[A4i8DZϹ ^GoreSIB|8`XKb9Ȼ#5ۖiIZv<`E7;b_Zz;l=z-`,n@GdFOTZwvb fuT#L =4y{=Gw*#J| SJ(nb|sCzY>AϹWk@3F`kߤyc?nX JZhU3}:-ע },YK8[Zا8 1PuQ,Rtn7(:<t*k|i(:rzS.OkU;@ 0ߌ2}Kl2~- 4Q@v`Miu\ϬSqs]͒/4:5%SWK<䩊8g}-j@ Ӛkr㘿E8X3+?#uh _씱%n6:]{.@Rul@}ku6L]5v=PWN#'SGI$ďU h Z^`"7OjpUv|<!!He}Ej_pL|3ŸDZ-4q}w8tT{ˇDpT_ֳbFT3('F3̻zw};[J4J-']QROω-b2>7#f1;'bbt63A/8أdW:ۨ]8ܒ[ x-nrm;TN0Q(;f꿥ÕTCkr‹RY/ 18=z FOcQ[HwsqX-sk}SqӾ{gNՙrƤWWD9thA# Ye  ttQS.DL\3l[*ɔ_ܬ4d,Yfeq2Hl=bK# 6ϊ&NBl\Џzx[F?7K @ƣD]@PQ=ÂO'=P_[ MiٚR[+ϋA R"p@ʷ&r0/R묲<7wɳL޹u\pQ]*7+[3¼⋘pT8ht)Nᢞ(Rw^;_bp9]qOjر+T\xmq`a O;by2.ly=<0=JþҬ}D|))i.ֈvI,ҜGUt%o󄰐_PI8ƥ[O\$a9%LQ򮙳r[7s=ڕaXdpK.-쮒Ki c_CikWÿȴX+vf3)přqG t7_巗qۊBP+׺ԁfû9eDGUJaV)oҚ5,GG_ߝ#US&>2Zͤꉂqch]AX#4"<* !vqmU8ۆ(.OW?)v&ʞƀIcJ?-Ǒ"p-bJ+ò/zrk`p4}y=5SfpZ#,L<)6Pi!~Id2)o>H4i+2S=7H^,K:e^pnjcf]_ gD񉮆uBC5 KF2([ӽ 1\LH5 *_0_$Ŏ2Jgq^e捹sus)@a;g"0^.3x@3ZEt S~| 'k.,YiC]ڨljX&Sӵ٦sGo̿?)UqO쿛$P^ mh-YGxfO"qU̸YE+z0aᢚ[lW%^-SN+LؠDB(+sЫmr">ޢ|^xm)ƯBo |Z^A: ?PU|E&{+(#At:PB>:QqXX馅Q_Ҙ?zii$7X[/x:5f2oOQ`x)N7t]ND#~0HM`gBA?$3^ZL9`>Rj;e1C Y!7{F7C-wmo3*;)4F^C8CVyAY[;GȂy9psF,Dt8Н\1"hdX;eD^feT7mwfkA4äEM;H7s|xHT b#ROwK Fo=&3`1%hOb 0YO@.f޼;J^&|3u^s 6#9*[ώEvwۢW^k5+r {!(C:L~~raEGyɧNvp˰Xu>~\;.KcvEdA+8S |\I($e$J0ox5["wX'UEf 'cwuy;/{f㟶D*A,.a pᇌ)L阣pi+J:wbW)Ba_D{h RDGһ%*E[%C2\}3Q`vKA4腛0 SvR#r1o=(<-x/ԑR-EEZԯ'V?0ٸh`;:F$6SLe3LN@s`;bƃLaQ,:ߛQ E͏ .c :˖{wк/=HP_ukԸ-y']W|l5&T)>ٴ Ù~z0 "Yb;+sC2ڢ/_Mj  yqtg1a/0,G ilm>T)][9kkܑ&0 Wa` cΡ_#RGqڃrc=w(qv3]@O(j),J4TGi`.1~yPfZhi \Mg4WTVюl1[o@`woA 7.\oU{gG֎zS')\D:D` %F{f0P3%qc/ZƵLZ R\v4ef`}>'IHcN7ɅkBQR[0IЊ4m(ώq˙+T- ·Afu7EEΩoAU|6!և%@D.'6hy1MUBY!i*Sz~8ܝC hi)zQ x(K !ޱ9)j߭|ghGp%:PRwrh,θ UH96 k/EW'N!SQyP+;Ezkkta܄ȉ!!(ʕ2iyASƝ'rJ> x[oVKdkeq=`+3գߌkp ,ҽ8D_hs+(JOrp͵/- Gm̻{j]>׾EWʵFU$( XJMؠbzR^2wq^)^ Ȓܦ[ wpͬ]t-`;8$=rhr<0EYGXKEnf&?l41Z[0i` 3ݎMVx2%+ikk&Fh'>sJ?Ԁc]'zST:TUx%uݓ"R9/5Eh `=Hw&0?~e"(Idw$Ek h־Sh!3#ZiIH).:,d# "~I+23 {# 0 UVawtNrGm_ :- Ley}v!cs2g;Var׊Ŗ-CmI$ E4a;MG@yng70v @N%K`՘;A71cK.BO\Ý~M 5^5L{ܑ4AF w F(J% FWa}C824a]$GFH3߱3Lªė.OVx8Zڕ}yvAQ#?Rgzʯ7~wn4/4;"_e9y ^{P*$2m5/ ;U٠Pa~1Ol` 9?Ke!R6tZ%e@qن"dr [m%`Il3DQ9ه ;K{><ߞNGOY-ysN!KpzFVu_u3+:0S nc[x"9 ^JBt Ӻ&Շ2Ro0zl?=u>*3(]`|z 18b8:>'OQڱ29OyQ0kK8@>01Z!a (R?]!L >^OO.LTB۷ZY\~ [Q,sӶ\DVk/~#͓eO{ gWm `]39HfJi+$H|6ygMrNn,QT7zLY%#a1- V&>xP\}Saw_WXNiv}1DOc$;(`{6 jo`~`:D6S6 } Yazn 6̺P_*&*yKҡl0nF-\wr"̸!LkwǎA ibN]a୬d'H !\6_} ӈx"(U% ѡLf-<۴Ugv uqR/.1T3_yN@`;F: ]sXSH. av0ؔgg#i _rvSG#j|3Fuo)!ln@@62Do~Q؅K0.^Q|ϓD|?>2.~SݪFPW̘e5GVJap LʰGer8(͵ЄQrL.B&#nѴͼcT4{]dဿI<B; jr BIBEE$AwxFYxf 6qO_={ftr-&~o_f jПVD|M=:VO$p.zhɡ)K 3g5ZAF*Nc.B Ll*Rb/xd3 sbTк^#+ۤD^%ꙘAN *w%-<{S=&կ] LeHi-xƕ\CrFyQ~7Ĺ0O۞PrF9V Rjipf23M8 r ]5KL93 `S 0%3Hյa?BЌ{2WcZbT1wm_ qxdŒ.6Ⱜ< Ww0p-K쌳Wėtַj^0y%~u s ksqKrirVh ^Xym/ t89`+(dNA;虦3d")B&Y~XUÓ.M4S+lfyxprj_)+XSc>{s5]hq/W \܋ tH}kq:H?V]\WfI[-rm &=1E̮|ɽ $>>rVI&t*.}Ylb"VղB @9Cg UЎrP´E' ^,K=U P6@7PԎZW7 |Y~Ԫ$SzUf "gv`.(\R5gSSYV,PbаG4;B4B0ȷ0$ԋuOrbƮAAYy}IϠ7AH)wB ^m /'8SX`v\6YGeJ(1KA":ڰ[d|eed';߫KrWww܀KVcwo։vz}'s1CLz~$9#i%oPܮm2-.2?%|gھ"EXQ]IAt`;JGh\"-/WF︼ob6Gu!K VؒP}"FvmI\^{^M2<"+·Hi4ISiBkqExUTg%Mddݑo@PS XV.܊V t KQzߖ#jNKQ"HZ@^L+&_-}^4E"@>晰/F ]UaEѝ"X]DsɌb@K훑ղ_b[7l[e޶-,B!N"t_MaWYKHh" "yM֜ZXHVI9>4_^@lpZO8ܺ`a λJ~yb٤Wl%H??(C*X^5NNLIwVe+-W,:V'\z앋VZaJi 昪> [dCb .ŠZ}m|&xuXL 3>JFHlڔ˓u LĖ&#z"ez4gjqz'+༳>FzBr0n<ţQ3GGgBh/##Q*m#: :#KZ7}-n^ݒ=RuҫYHQ>] (\jBѳ=6S} ֛_&k{  L0H!akdznzWh.%hfo\+Ę/KFM[p?9R$fdeCso7P!1P8ܕphmhy&_nN.T iCp# 7OΈF3}R=ifDj7k6 ɪyH#J_XRS(N3_q92ݵ1};~wJQj̷kSmMv{rQ.zx 8rbbmZ8?Np@AZwj:歨ܲ C1FwRǹ{FW3ǩjrf8q܀FN)0?j#`zDA?@$mn|[{ =2QeHhb:]F l2AX&QmP^m$f_ґ8"s eN -eRg\jLho=oH"LWq6/bCA d-Z+ rIyn1{}) A(k<_1K1lvyZ@gCזO7`IE| (;0ne>Ƚ JJy%@{߿u*]pdۋi6ʑH[Ɠȑכ2& "+:EE3]*XJ=Ug[ Id .Ŷ(\ټ7ŗ2MEr'Xoe#vhElW%b!߅3Dl mEdp0| q_U.-J7~~qіܶ=\+(G3mg"*9fx VЏ,7US.j5Tլ |?_Vkݮj򈷣<-$!N\UWvGG<p ϣ+_vr}y˽9zSl!BF12h0`D ib?G:18&mMqjG27n M6"<5r %ƣpOlI½䆟ݚ>`l`HL$N<5 %߁Y˧ԑʠAk,Bz2Io@>-9}цXPKVؔkQ, )'`R%dUj@/}@$[1DO4cl8M+%n mlI\Z޳$>;Ee% OqOhcp@ 9 1;tg]ߦ2$;U'aR %U#sr;%Ⱦ2 QU\ڿiih,ęZ{M:T+ņ&3[rE߫ Is"L76_RW=^+EaNQny?7;Q5$x T\qˏ%u\2!?N?Xd @:"45}MRFة|ڋLA[pZ=_nGTl-jj8;]9A9 !iX]]锇YzEy (hh Y4eh \_=ǣ0W -U *&}`ݏI;V$r@T>kn-6~ .˶OF \_LM,T$0"Ȏc? cz$AbT6ͯ͞b1F\` xM"5 5\#;%dVBEՂQFLT6AФ ױKHCdAbڰ:/|`|Wȹ:GX/喺vox1mZ_S 1ZFVHP5.Ÿ)YڀhKbe6YH\ w%1=`*f/”ĝ#/Jdd!*vCʍ ]4}@sge)\O8ʘ)HХ6TwK*v$cŨlzAtϰ#n1\D:Yed%@-C^}_s?E|y%/8{~-Aj'F}9qDg`ڢyE,$an/YbT򓶉(Q6nɝ(Jij 0ث. \qEi6{%}Kv8=pb#%,`k^h=U =akS_% gm@WhXcu {(z PIX#W_UR q8b*giqXA6]R2$5]B<s˶|){L]Jx=%;1r5<'M˫$JOs<ߖ)*D1O8ᑱ #Lz:kl/Tuty q R)k%?ltgE ێbSQ傘WQ8\d BߊdZ T>S|<ڙr cg=el&KTTVގFmEO<QbHdQKɹfj1t1BJ]qdw6(eAΙwκy{ϑKF8{C8 3PsBGJmch*Gk^)zhT3\9nT_}}%m;Y =Ҋvƫ:oF|(QfCfaX&9z7SҜ}V2&0iJPyə4x]<o`sѼudCb4eB;COLCUJ6ކ HQH5͵4Y~dE9yY`*cD ;m2 cx 8 WeSNi+N?i ϸjKH3՚)˥TqYL"}(䁪: \x.w@y` Gb늸 ~]JSUj&M?agX\lAqȼ;W Lq"QAwuf _^7a&ߨ."5` 2lT`l+W-bSϵtCm˜0!G}3}dUz ɳ/`7Z2z2ʵMF1qu!P5jp x_VGjK3@>"?Q%_/ ݁^a=IcבЧbB(qןY!c'ݤn3aߣޗgjh\McCio}1+}W=ޡ8 }7zճJ?8?eaS:B/(OR(Oa=T(ˠyE1c!'{)f4HJua"Z9Uh:!7)8ay* ˈLl5 .t ArvFz5.N[_f{kf4JsP;MKPp&Z;L Two+#|fAQ6}2 [իHls٪O0F_gl܍yC!+ a ŌѺ1+|L$gȼjyĪbPZ(iqsf)'쌀ت^TLIJls[vcz3}-^+ۂnK0{?o1ï.:X #eyk=pv[Ro P fSrKssҫ17h "AwŢѮ$g?҇a9Z)Uҹ /GجrbW`А~(y tyfi |2CB4$b9/V χ {b-n#Y-8q_Ʉ$Pa6<vw7 o˷a4-Re4f%Ս:I/Go"FᆬtwUAƌhơTQI#7e; Y4ZB4܉pLY7|) &v̆ԱgYZ0d32466931e519d826a90b4d4126a4b3dbbc05bb8efa791dabbe9fabbba3e8078d5274688c6622fd2e8e1d0e5873ee96ac45caa49dbb1e585a593de9