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  a! ]]]HOL-Proofs:threads=2elapsed=1062.839cpu=1833.876gc=237.320factor=1.737zXZִF! z]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbcZ;!a+)#Iaz)-ǁ5-1zm|Qыr7sI7(4ee0j,L'7FXyR q<_}H|04Vм$1ii/<ŠZZJ kDǠ ncA^0;At+P\{Y9'R ۏ0#^i;tKi:V: HHg+}-NtRHYCo,nx_7xicN{XC.Ebc7ͩcUo l 2%&>J\-!ȷuBS|5)Gz2xcr<|7,72 䊗b3 Ñ6>S҈Tvй',(R(oH *a18?tNSa44|0E/wZ>5=8<Ɖx^SIXV/a #3  [v Z@*{ka֕,ީ*v:g#M.85^247ʱ+vFjXec a _u&w8h1 \1磺k:dYhLDZKv*{Ο ؽJ p}9<*[뚱aW-ްcE7]xpWԆ>_1J4 dB0,*|kS„BwfA |Hzs ):#ܛf paTn6Sǀ+@Us\DպScredB99Մ!ɧ^\r3|Dl,Wȝ>`N1EAʋa C,^m_HeP [$ &9d]ʦ=0L8 qj r>creΜ}dq ̼qMajV8}kޢT~T2D`)uXBe/$ڿp,A1M/4aʓZLo]3htU zQv`2x<aƞ{#uX*CŒil8MK   ! HOL-Proofsg n V#?bR)L[VgNN񥯳d PF]?TeYnzEI|oKNxjdWxiP( э)²{'L5E|Cx gPf$…̼HURv R+$~{#v0+^?mdʨ[Po*Ċ>:nh#҈npQJ: 7@S:3&>s-{:8y(/8@LGv*BxMc,YpEm犇V9ZL<6=EʚkE ֜7 IZ+ūA5]z`֊ P5)*ՉB 5\UVPm ?G8-@~MV#šG:-X 0sDopc^re ,]Vbn;䩃.H4.N@iϺ,vrnC@{y{(m4r6vY XB[2Ci)7Bqr*sEV_F69XNw@ 0mݰ*17 4`qe:io#>]1*s'aĎ&~MZ';ޣ@0PԐ ՄNmIoH]Ye?ܲ+Ąe{EÓOyO,]6O`]Ө(teWMG 6D5LY,mxfinwPqDv)p "s9lYn<  ]8q*2ce`'czv>jvKlPi ĄQ٨XހWg"\_w] !n yٟԦMe.=JspkׇGި n݁iWBVKc ]On9džcx<݈To6NJOݝp10xRjBQf4sٴYȃ_]"ɛ!aj쬳-#vočcRh<^$ov_Rq=BĜ}nsp|"?m˿tt͈$j=P®> ڑY; ĖVsgJ̖43xXqX\FsFƳT7=dyK+_;P*? >=!$1Qiro :ZHޣELFcB {p\~; (>d)fk5#'ueLOFуw}[Hc'5ϗ.rخ{ ɶ*߭Y\GNォo}ya !ghI$xqqFa&#ʆf~9Ok:@Z˨".G 7Y)-V@oЎ6+Z6Jl̯+Bx瞠Psl窬y][ڛly•484}auC[%U}ck q߀[w̥.=0G%eveq Rzǹh~@E^. pmoؤb7T1w4"ukwܝ"3$˟Q ]޾Nwsw^M所8R*,C@DI 0Q{)&խDm3N=u W[h ii[nCSq|js9gKvVQl_m`J35Ef&{ѻ>6[5ա#Miئ7]n[F8V0 ~̿Fڑc]#!fX뱸{Ý&iӉ'P|oapW/EvnŁ{ג; qcz=$.*mgǍq0BjDt^I#^ثCЂ`/_VqQ;01ozϦZ/-8E|~4BY.'/tHY> yFڟAkd*Ƹxq ,d{CLUp`0c1a03+걄&ks4A?S/1:|#y?W9.ApP]r_Q5 |Ube4uZDq_Vta$ds\Ȯ~#}vN~a-?\ˌ* lGT ¹>+Ԛy7+ο0P2w+O'hX^b d&7Q hQژ`4oW c #4AK=&PEQb{u4 %B`ofcR^)a؍VuMΨtZ%Mg1G尧f(I)rV38FL 4>/ɌiJQ[J$#N?g0pG6Kq"+[@h|A_"xO3Mp] ֳv< aUs Z@gw% Z,]Hn0q?/TxWЬR2Z_T%Dk~Sx<2Ԫ aX<Ae,ڻ :1''9` [ zW'۾E"MtIb{MG*aj޴3PfS/JC5l ysTt3o2󭒶5o zÈ%| 鎨O Ncc[wFUh _Bw#;h(QS$G@iB$8r0 ¿Fccu.JQt}WTr=SmǸٗ#RK/Q35 t~>̞+x~HEl쮙F٥⻽MM%dۉ0?Blx$DuċF agzyagc9Dn4P鱩gdvdA˫@5[55뢉A!Nf6Yi0xy@#1PlGgYZ7zXZִF! R]ŗXiɟ29aoʼz[%U>EM!!*WUlQ5S\,'a;KuOu.Aʓ=7q+f FƒI(VYLV i"6 +&ZJC~CuZϵx1IW^FPsuEn󮸒1@OuN4ZjQ:/SoRK<'6;~(Ls/i,-$V-inF@*yۃĶC08̍FWBslL` ]ϖHG ո*yAr,P{j)u(t^9+v p$j}r=F E];?{7|JTށR^MF]D^*=j2Vd\I7Q'uaaJLarm* i7! ^QZu{(:py*ޚi>lum5ʨs$"K&+8 L@nh 5"}&-^e,xKcW%:U&V57س+8fWRgB vfC:*QI -.DA}†Nɵ=[ujW}E+}ո[ vZV2yxY=WeľU~A-!u|m3EEKf~spr!s* hbSyJ~%!|񎶾-ilpV`MG(ioodNsd['m㜯-lЌ3m5&\уT"nZ1P`z4q:clTPȽB[/Js:ÁDu@ɜPaG:dB?u!Ͱ<ѩd;XΕPF:Ȑ~KX,ƥR¥ԿT1…3*`b )e5)ҝ\^ ֳj@5]!\kYY{1Y!qpw[JS/*)pwEM(gaJ SWe +[aS2GS9ٝgϱx 2JgYZ7zXZִF! ]ŗXi%9(R 0O!WMvf*:G ,Cu)d.!%;9l䢮 >ƀ}85-uT:H(<J6&xv ;.}ЛÍ3OBWMxkZ?n+wvWHS8C3"R~62w79Rg#ܟ@`_ɻ˵ݪ>h &]\9]V/%7)ݐd.N\#V(РiI!k$u@8Y[ 6ྮ @Dȥ[- 1 XrV|,q^ )L0iPysJ* ,H2֍ is"a {')*䵶b0rPyT-F:ʗ,WA5E~W zʑ, :#a UYC'7'^7vĨ}eMa=ɓ)1Am:ѓ^\g E=+-O=3YG)u4) ]}%K۟_z¶^ys ROru˯dˤ嗍g= j5N9DDk n7Wu=>"'5 SK_r߆AKБ'zX`GߋXع!n◢ؤqX+-]tؐUXApQ2Br-0yƬNc^ضꟗhnDX?H{pV%pxI@Q]*H=-gY-]g172,Miπ4\ݙ, 2B+i(D׮Ǥ^cnNx+GXnx4X ,-]8r<3G1?LV9@͈ U |j>ױJfY򔺃`oUq[F8I|`ZC車fq4.jUPƄzWs>wK/2Tb:r>K ֩ZEBH]\R@xQFLCM'JV0"|"2-|h7$(+4JɲJ1Jv%^IY l&dؚwoG6I>VW2ti,aɒDνz?>UԼD]FT"1CC\ޫ6{yQazukOƬ]rs ]%lTT)yq.b3ٍ,綾 cZ-5Sj:&Svq?{>,st͗H[\4|8Lr2,k{u󛗀q$Q܂i@%ªQp@b?{}f)R/x_dٗLź ~‹N>Iǎ:+)1Pgb JFL=<艹,T`qI|;+>偏D*¨ٔSBd&&%LII}Դ'+Y@{ 3=Ci^' lO,>K_.+BA/QLX*Xʾ|;> F{vk\ױزEhmQ/CY@-R,>s}Ber*PG Ԛo}1!D9O0o 0cie\$m `P@QaPsiY' gy$f`~E7y#xg$2Z о-J'lr"כ KqIStQMe !aL2S; &Zx֑+"/ 6q]"U1[Ak .RL!u/ꪰ_cgLXT2|K?F{s ʼnf]m@g PqT})BMbD|,d71ha.v&t2yMi[\5Ϥ?xh#2'p<7gHzwOKnT}K}(mYo&SSLJAqiWV\b&vvh"[:_!S$fAJ.8]nzپD9֠_ f!Ǽhb)twEeߺ3G0S9 𞢹C^^ jDAj >}5.=/VK>)?8 (>=B樽\Vpw~ Ahx8cNB j&RtH1.a'TڕG/=K q^]qa &Җ⋵ʳe~eGŊbXQʹjWR7(#Sj67'%_%9jؗ1 h!֛Έbq'M?:~$[c4F)zen@g-8oy0lӫ)uVy-j4oSjSſ_zK#zwO|C_3 c}93>x>encMQ+&iӝ;18(+f&.8s̚hڌSBLPd .T@Ug,9WzajrD f}콓, 40ہ'=Q"Sr*>Q ]x9Q\p(Dd<(-l0;IA3I3+ wƍ lиJ5` p(\^p5$i7xEߒ/ivϠy Q pw1*']Y*c}>2\mt3_lrԷAZ(wHLbG=|=qw %=wQ՝63QMb @H+V pڡp{ !MǢ d\ ˝ڛCI3M$(M^eJBdM~M6KBxGEj/w/wE7q^FnA؅$w|^F3e\Ӿ漁Ε@:˦R{z_Y[ʃGr"Q<, ᩧkvZCvBT,3[)iyv'B!U\9ZZ6 m'A떃V+2q22Y &qQ_RFu QC2;nVLXK`!KU Nvh+4u\Q?<05A[Ec bdlI)O-3 b'< L%گj>@qqM u5ܿNgrtqWq=j#˴AQP.Ta&pNMyͲuCoGk֮iHLF+3F͕C+m)ѩW~%μR%0O{gBNCwjE_;W\1&u$;G~Zήt!.o҇(si=? Z5` Q;Z)u/$ e)L"PA)\m QxeLڒs-7oQ#ðY+n"BƇݡ:Z^.,-qZlgE\g%7%\ꓖFE:zD'ykzFrѪ|B 甧ZMaqƱ/7qQ`]5$0j jsGy~HLjҹqtdBYKfS%{ n5d՝4m^ISkr]07WUg2Y\0G݁N6-cuEăF麒>і8 /9K[\ @SSe:K[I0{4+<4|i4vS}1a̍ǒ|'IR2!˴,ozmq1U9f&F`נHSq#1Dh4lBL3L;(Ɓ~la2au8=}; @ٸg5~cI_~PlGߙWځ~6g'  Xcֈ8ܱq[4r$ ttܭnH9L=GH#}j]ǥ欵> Fj+vvꃃLhma .DlI ga*H) ٛuќxvƶYupF(5H%]Q[`?q4 \tRmTtPx1SXyQ, 58t ]LB0QW|7Y!lʋ{e8rW8p-E $,I $|yC3o96Kw! GieI,GJ0z⪟@z5PyG ױ :ߎ҇MO@@P"0WFቓ1zFIﶜx!G,} bc[ό+&n;mW`d6qLl֠ihp͵ce`5im2U.-wTl^1~9qw$6|E(9nV(p֍zIU mQrqaW4EZص/TM8q8[tJs\uDem]d/*c<#itQʥΩl򻫘Ix$^wN-Li$#~ X4[߱ї{YY.ъ\TMIҕΚ "pĿ&G?7F\dSiM1 %胞'S*51Uo&Pmߨ%UPR[ᩀ$nT*YjKgW6 wS}kupTqx JrmK_e un Z]M*PK\xɾ]V?gu(1p/k M95a"՚%GXH(~.U|FoFAOx^0Y(TS{Ęovm( "q@P-E@D|a, 硭|W-SK~3-Y}80qub%/I.C(bµmst<zV~{ mmy|WXA_}t$xJRVVԍa:R#%Ǎi0ӋbڎneZR6Ĝ$͎fYsg|Cp.K!3pdީ~?m 1^Ph2 ]~)iR⭒yE/֙ΈMyL1VL=+t\gMO2w9Hait &.P"7qSrx$ ґ4Z"Ix{kݫ[:*:̟QqmKXsSgBwj³*#cK01zzrK1mW铏Mف ]Lj)qBVK3B y6Cc ymCl;3p@ A5 2`ay%jeĊ@gfE vP/R#6")Fl|31~4ߤxF0Mr!͡ϭPu#e=*:z G(  8rӦh`چ"$B=F>1 O(!oL˷*_)׉#D}hb ʼnT- v  FS +ri ~M 锚6fQy^XA,Mi*/01LA7x})ڳ*vvSkDbDG4vG׵pDI*񉻧R=zABIFSFű'F2qJXJlB ꧊zD(SB+Ldn3 @W_+)9OKaRЕ1sm.f١rڣdÿG&í9lsJP_2Qd(Dno-5Vu--:zE!_p yW+)hOcK$¦9g8u#SDZV#ݛXTz+-EP ЫuR:"@㓳R x3' BjƮ %n1臚3~`(Jp*]72.MD &c0Oμ8]T,[T4`#}XBeӇE?⛲M-Rnd= 2l =ӿ4 yקʽ3UYm:h] A A.^/ Ê+0xK _X $%Õ[z{eޠA ,'4__e~'>?lZU]?GcUHV ]BBO/5O'&"_id>졀No{wewe#hhZg'*I1{YM…uy6jm>t}$RuFz6Jc#@1fq'Ih~@ R Sg5zlHwE-K Q Tr((ZZ1O&u`VDzLz _(F[w*IVҺzFҝlP='-}^\W{YPdH Sb-AO3 |P'2Jq yVߓ`I,P@ nɵƪ*vNERB*eE$a;VI4q7Hm]G-C[2x*${@ldieaǛ_kH"PuM϶NU gu!z?P/?l#n ڽĝ]qIvwmr AeI =|6 @xv@L,*mErS?@Dy uCZWV\qɶdSu ٩<>1ͦ)1FΦ(/ A{zbrZ0SAi|#]Jy|U@/ǐaOf8AB& BrDUCN]SCwiz\fgE+BZ%`)I_:9hhMk𖁓pA9I*`Ukh3q$CT-.n Cկf\c' 4um;/LYf4Փ'̭nQ&9tH¹ܵV+@ƀDYDRtȾev>^A˜Nn(JsKvz٦[ίzc||2ǡ2J`ى˛)jm' Ԗh,kliaWk1,}t 3٣ #UR 0 ҥّXԧq:${]?=i&{!6 hfɕqX,~EPX"FpOjoR56xĻ9bJ es1%+3 wry 1_&N|&C\:OF.u*{ 3̼趐&fa NbNi2m=`|&Ia9BzUF rJ':7͎znfh *lkW^X$S!aI*b|5%5 ŢwZXԂD;!fj*frWC0y9og/U]kjG=R){t):~?95Cܿɹ:n0a/UQkоQϕ>';Ȱ SDzĊ8}I2p4]CA2K SLK1sVILK?1O"mmyzaVkVb~ T bq ˜V)KtC|S V+v>@~YӹȫO5πrVFinJhxYjKre kW] XJj"[ N >?f{#92xc{g8<ۥ eo>2ڪb'5HĸJXR@䒛ͨǛJJLYrxI8K t\vx(ϫ,,Aa"uOwXyο…ީ/cv0xr@2(JT4RgqvF"˾^?4Wj@],dnBJ7u_=dk&#$;="Hp3end`4NupD/_=׌7-?u#WWx ]]Pa5iH6 k9?xEUsbxOG>45 W'?7hU&'D zޱD@OE8Ppg4xV˛qrbԢLXDp !qr0\J6% q1r๦ 's$AU F'&m5 J!~~"a8:j4Tv/5g bq*yĐ_v 􅤻9kM5QT/J `=<uIJR|v5[_1&㜜 #K#&vEҨ$W4-)~ccߏD*n4)OyKx)],ߋ֔ ʉi3`e-HB=)G^:>\]'v0f:L螭Ɂ^qTJ\?. Sɫȫ[ DF(  ]SKd9HDCHC3X-kL`5imScRW6Ǘ4BdF:pvrSOAw0 ئ@϶'kuxU &.xmn6sy"EnV@ ~9} $Ϛ aUk^d50}%W'ى5*d;smǘL<h4eU]OTSn~hf:7yEh1'k궂>cV"즜Ҙ:ةH%VVҩ]z!-U$T#af" wF}m״:hwqq X'tׂ-VTje|/g e#5n2jsFxS`6Ң Cr|N*u ɽ]Y}O鹸KoE[_#\)wmb ._]ހh֯(^ieg_uܬ0$#*2dO9Fi) ]r~Yٰ}K0VmNb茂6R<%ۭ0V |*{ᮮ~anoO{fGi6* haRNS7U3Ȅ͔WE4yGXY{봴#ڲ$`H4 -jeYHHz;ۊEg@/Ÿ0dd*Rq+^ᕥMN괩cY 5N ٗs> S #O1%6{@xA&vy)6eu4rߐ\+:dwn{IVW#cNʑG!`y y=x*e/ލ 䞗7g}e-̊f rN)vV0`r։ș,BTV>!mƦƃ| :721m.fɠ.[ryЗ eFK(9&?5S("4DIS4|~̀;D1bmOc(UO5&#0ۛ,cT:X==J+0ItRIK 89?[o+7ͯ"fH\ ϩG$053QR͉ $֧QGSwEԾ$ C'0*Z7D2a9eYcRY9+aq@݄x,_%89s 5-'`P7z9)\w2Rg\}۹q'2N {EsWT2>g\k+8W Wx(Q䥇L%zP "r16YKFa {e nj%ۮJ8U.hڂaF[rE1g q6~a~zx h}=o!)Ww SQȕz&' MZ[OZ:{V β!6Rt: WXpA߳& ]>^)8t/VYoM{tz`+#J#c*Jk_:_Pm }}CW*ԼU s}ےXR5?PݹoZG꫈;$U>+HGg=g[!GTA%dJ`C.7-dkZZy >ӏ^O6~#ZJ=*Ýrq< ݫ@$ B,e&+xDJr1<}m!rwjR OtޟR ȩ .PWͱrjBpY<ёgUixMȱGIEgG޷wbKf:^%]Y?eiUE4McDfs挺39q<O5z;%E'Ѷ[<01Y,1iyIc%TބpAM՛xuZ ay8 gI$ǧStM1&2I8:xBǓi淡xhs=C1b/Xh(;16ZnC9wڠD>x֎.zq`Y#M[Y!ODځ)8zR߳$*`RM#o,֥?^-~yU X\pvKr$ˍ=N9Q17D9;"aNjI^DžEXxkഈOC qa?qV{gy:El;|(ixU- s L$$H 4fp\Qvڀi :S]g!V 1<̜"_xA{FI2@7A@]kUCg1}3H@MQV~rb7P+)50{NVsEVity&Q-ZU*F\xkcAjnZX-E[o!0ixySԕ Ekˉ ^s҅sfGKYnhpS뭝?C+HQgVil6~F4_{-4ר?@~Fԭ[IP0ٻ]GnD;͇KEl'= i4oMemYzd}[Q~k]*1~C  ci_q"vZh~2ֆ}XTk}i)8{@qK{|Ni)$MaÍ/SX'&ܷjԬSFd*o4Q&NϕK@b܍WSF5:Zp)]sG\8I0#wgeD>X< !J ~WYw*J cspëVgj/q"firQCOQ5,a4_*EG+SaR}ő[3'Uad::Kܘڡ;ҏ0.J>!ܶ:$oݭ;8w d 49"W#R.b!L㜳<#'Txx!nE5&k?tޏW9HnHv|Fl;)fچ{^F[WNKW+:i+/b>/v?Hz/KYq>(^oux#.UY@)1a &"BcKB5DWpX9BnRJ%8rMqiː>,M( e`b ck[MxzQXKOz_o8 i9]u/Q ?-zZb8<x[4#uX^C&pFf܊ }2$[Fk )v%#Ojr5ғMvTV*A/"O p@+;?g 3TSPA"4iI7(Uo]qGf莘V3+?0 Mˆ{Qʧ9o=N.Ӄ&D/l +'fnR`%v766{ٿ6ҿH>LP&.&xX5J"#u˓/ qL)EP`Biwv5t7\â݌}CٮAD% KE"Vަ +,cfIea5yo4d42z:+66_7D#FesП2[StTatVe7fqgƚm0mifd<`oX8Tp#_3vw3+j[6v`0W}N q^όkY=Dn!o+: :V|*A\l;dL h"dEN/j,q9[ml uJנaڡ;xWLE619J+LqOps3'|F.SlԶ3kJn(;:m98 Cy4Aݕ?<]˘I_Hs`rͧh*&y7^QvANKV~ i;=nb\  AuKׂ^đ[d'ze%|{fĩDW4V?MW18:=1ub1 /]6ފSK]gc) _\RiQ-ZL|OZ7r>L.R*m׀YJeԧ|'VmY^hLۤewi"P䃝|_FtlAvMX3P ) coW,UT~%WV, ;"Jc~ %&|]A| Gˀ2Yz w%7*[t~9 =:Y |{/\BM (̿lN "XȀāh)o%+tS>C]d9ҝ=6bjj0Hx^|?iVK\+ܭ1UkGnhQFz.Ce{%ě3I %Z]ڣZ>o0sv]RR]*5o\2K}@9<r"fC9m/R~[1@I܎=xãfjbe`9ul`{P oEV O.Kt>;B,"ju:-~IUW?HhM#:i4qVMޥSb78m?"R"uV;xԆ`-ܫ'XE\0x(J{V1\/Aq FxtwK/=̿zΣQV aC,\$Z2ZaM{cYϠE*((#>9,(Y8ˋV[d,'7|$SBrK,^r[. #s1C%]UQ}KNbypmK=6 vٵ=z}{s6DՐ;cȍk%陳YV+A[`#30|@H-~Sˑyll~C$%\MS+Nz>RD*,;i~PF#'Y^+D/R7yJ/,flZBGY&z0r0K^#Ϯ%Lߞ+'m:#%)Cr2~ҫ)r35تΑ}n1AH;xkdsH#dcy2n6a8u걷%_IwI T\Np\U`!gd+3S^>\>XB>+# ,ؔO|/d6D)tG`!Xi~0K&oHe 9@ >PzvsSu&bAת9g i;R7^^,YE9/8"X,n[ 'CSG^[0#IK6ubѵ-Bz\ю=7J.lɛXrםS\J%2a/xUhd9[V-]ˉW6=M @oˌV!=0[Z"T9Ҳ a( w \i8dթr(&`a( b7G[NۙNLKm|ʬDrB!KV" Z~UY&rJE]pCz+*vwG3U@8M4bF@~ `id^g&`-3FP4leڭT1B i)c4AJ6+ZF9FW0ԿC‰FV(;Z.H0;14G&Mdp׳Ge|KcMdȸwOM0y:xS7}kY+JPj?btdj ^ ˟Ps]Ifd2*56w$[r7j]F(z gSS ;.>јs̤*Kx 52pNJrG/Fd 㑄,i ^BʅW%X !;!eIt}{ !Y@L`0ڪQ0F,zr" WSDx1c6_E2YЃkL'm_NU<ƆD<<ڗNyQ[&2r(uoMcw+{5p:bI kENsWFU5&Z/!eP{3Z~(|C+gxR͂ ^tc[QӼsQ(yW#\b?A)R2Lw5:|nnlߛ]7g/|EJuQ)-JH<;Q}\E4އ쇮>L^1, ۾ý۝\@lV(.HsBs'0݄= W};>F`rAJH@ KZoypC,s߾"0 4W9JR,RGmTOc@7/}zca0FdaGjOBO^2iX,jos Qp?ě2"B'N9'X?`lLfjM%VmlC0U f5nWc|zI!fFXɁ1zy8 0T۴ RQ{_0Hp#ˊ#p :^|1Άj= /ΪhWu~O1h,Rʿ6_Q0E-@mnGh( iB)jl?w@LƷX V}RC-K$>4PH83 v ۃF@)I,GԯV\x8~G;X-2x<_AQ`6b2+YsΰPӞnIS8k,bUsy|ȭ%B{ iVΖd_xu 0VB+S "L,%x)_Ű-yb e^ 0(5hv#A=`҆Ct>-Zj!lqxt)9]WAC )˖4z[ S  硋UXC(zi+<bvOe[Jjƒ80ۀNbؾ(#Lo5 +SRV9/Ioh‘07S޿{<nr&1@_{u/lpZhsܗsøU5BvS)Okq$=U"WhK2>P &&Ǣp*c*}|չ )GȪ׉=' bGrBͲ#__!1MߗO@z 6)dݛO  h`%ҥj_E\AG%n!.ah[1YA\a7.X X,K^ t;k>WMAtDKuK/iL*lU=ƉiZL­@& Hje`gYdkh:>BPNaius{2G̷T N6(&iAb^o?BbwRڟzrgGd(i1&t7=Fx`@46{ )Xv;c?mUmiԢX20ބ+QXjX :֮h)(AssߦԂY!\&!_)=E;Yv]$$Pp0z~ňRL<,j~(H2NGB-.F&q_%ĝĀH@܆`2\ ޥ Iɢahkd>P~\n{l(,YE^*_uZ{şY*}ƪ̔i]>b^a9alDV[i YUrLPn6!4$4i G?VWu}v5],I+´"$H7BPzCʑPwU4xZcJ&"dFm1Nϕ 3?hd_;p^LTk>뼜|ءqB><cuWo&k'oEX`,)ߦ7Jeo4~Rʹukw&H%weM 24y X='xybf55'޸I=H_ 4bP-0w sMuĮzY5,FV٥\> Gﺓh]7S 1HNsƮJV7.x3cO({GRG-tn|0wqQ.%J:9rQpƛ Q#7Eh/vs LJ=Gg:$](1ԷIܛ]LgQ;mQ`]cD! b OSM0Ku; G+xkpsܵeP|(Ɩ%ƨ0I|4 BS\W`L qOFOZrK쭖9Kny0 =2݀ΨdA |\u)\gɰ=_ԀW0L~׹4*8(K5;jX[iPS9CAct''ė/Zx|Ÿ1yζ˿s"OR\N)T+ 3KPlwiT@! ֔rN}wA~B]"/C *l;f&͒&!M֣.;2)`MCضKSB>q![6&Տc !rkm(^JnZjOh!bI MEME_jdiAlt7eaȇrzJՋ"-yHv5S j5.P݌ gQakC68TK0 AEX@(8)_ +6TO(#+~fuϩ=FZR|vDG'ptfLiъܔZlGʝ5I h;ՙo{~ZR fy ĕ^4FǑ 4^(!Z2*Ff{mf@h/P9w)tgQVFĵ KPr/%` G U3yu]f|sATu:Ev R5 k}9 UחiYeq]CpԾ&`H-UZ d P\ NFsQdXYʲ@04mw ,@Tʸv/Ӵ94g8_n V ~g:F%)9WaxHouu|zzR;K?$[mWgu_#ʀ |}T9}ޔQGeٮ|[mq ,x0YVG"-Q\nKB'Dz+y1bɪJ(N@/lgQs74O!B5'Pq0f`H&wbYFAPb3kІ+ &#vaY!ꄏ{QcɎP #%uA4cplIWbLOd" Q9AB+nɻO XTρ2mg]L#'&yqb82ͺ=}q93MylBVݠQb2.1$o?TbzbkXJGlqKycOhdǵ;u^|14LwvKc;+MZCĄ zjձl${4 z^;5Ў:) L |k]P=qQV3M Ya!}n9p8 * /(LlЕ^")8GT})n.$jG=Vbl_ٴ=QF - \= `5qQam-;^ʦx@%H"I9$t;f-ib'uk?atu0\".!qփ5Njt( poք?fiF"ԃy9Ra7sMF4YDS=_MYgZy- VZ_B/xGzw 7v#k:2T ީA?KbE,FN2ۤtl;"+~KGln|Ȇdt6A 14Zt~*d=k_;ſt 2dN_|–ɛy͈"lKu mxThӼ됎VZ1s|*}U}I((z `.,Xf^ Z߃0[Ò5XwkB>!)&F5W#%7w?c >EsmZ2M/,{4 )}*GxisHVjl-xT`o) '6H MbLM.U1s3JȈJ@j@!+<2eW%aPkD{lOk`G!\9)0zlCN軕.Q)83T8"+OU3_kY0xNg{w˩/(Gi&b8OjTA)";9g Z-Ό{!S~HWL [(k ?"h)$0;1di)O^B&fVcQ?TOfr=ẇ1eM|KN<*CQqʢ"9by(7Y>6Ⱥq5QKe'[䯽(4:Q/Dm96;||fgNA O9S6a (݋N./f/N Q?W}q)f%JZmiZe1|OpH;*Bxy(}pg̽nNV캷)E>U)0-BtƥQ`x>3e'HyPY=$# AQngُ򀸀a\tzY <e i~u;]j]͘4P ؄$ CmK >laۣy/ĉ,5|f?o ADQ hoߏ&!tw2f-`F?#%ٲzX[6OGeAw,1>+TH ޽-Zzj &*/|tzgtgGX,iA'DX\ @oD˔*cB .7[#d]4Āk/A(8 O2lҭiUs:LN@ SAa=je 0鿬&LwTU~!o9.1tUEf&\֠JrAe4hJ'LZ $rz ?Tq I}silaiC/dklQLrm7NjSW`_)3 n tM_,g pjŊ?ZjdhG \}B,;cO6ص'gZ<\D-]5[`.΋(j,#$:|T. }X݂~2,=4_rHǔNiU:%e&b#Tةz?|bYSS9}R,~LX`B?ɧuAN kXj:-I=Idj);,yڧ]0tyuLia3 t4j]g!&04%X(1:*8 4{B@1< hDfOHPdfj7Fܫ7)3/E@#[~M*豙\"5buU56|z_H$MŐDGi#> Vza}TTv)ԓ,S,/eUuY'n%2QaԊf潰`"b7uڽK̡K奀)o#8ÃIb]xⓜź;~BAL !v$MhBe9);CX[-hFy 14ZdM>Q !E0ś"4ZvQ%o7v,!QѧMz/8@:}0g"7xyWNҌh́h4ٛMS3Fk/:8~,s8(Gtvqڈg9lvm1ȮwXYn( r_=7 !bCiCdTp8UʪɍnUaOr$RnnWcȞ2utqd/hyl C=RW7 zbل j9;ҢacMCO-"kw&qX51qi@t+fKY rShB.;̈q`5]ԀX#e$"BK9g;rGH { BbHky-K,̐tPMg2`̓WIixnVI,Ӈґɣ#̭E2|m.cJW0ȹ>]_!(;%UnKD':m k9| W/-ܱ-Gέ=0 eǔ$ͽQ4Thv|) Jl_ğj0>Ƒ.-&>[GL/Y _2ucágQYb,9eO9ho_%a:C /vwW0!{;*&w/loʧgwkކGĵJ&v&flTj  05po 6{D 20r;)/s6K*&xgx-~JI };`ﳰuGBH)MƑ S ^U.UdD=Ӏ6"ptu5lԮiKKރn *LqOӿ#y.('"Đr#)*5a*>U{g&Dhұ<-l+hW~}Ұxt @4e fy?i-*z\҉;KA 3 `vf[9px ѤK^}eȧ0){v`Nm9D$lp$2遆oF<\+%#u2ɥ[}Rޮ*7g3Xx~`@V5x`Co V @rao4K+C'>QB%({c *{'Gp"ށ'shҢ~4܃q&4,`K`KAgR:[7_%_R6(yF^2 w'#:|) XK\ҏyOC"cg*F!xxN_r"%r7a/YՃЁ[-n lԆFJbh©"e hZ{8e2Ekd8-l0wKttqFk2*4 H,|8=xbUNcw$->Ɍ^}p_IĆ+5<%F X,_Hzt "V  _`:5g?\%0g#/ɂdwt##}t+F,% 0tW@"!=d)9NZf[paA+r1*"Y:1s F=T1n&Pi#Y]nkO!ɟlJ]S~h ۢ;=}fDbsq̶hIa#3낔Ht~5Pe A/ PKwiD@0NFе3o=+¦}*+1gLsP^v1mm)"7!,ib!ZxJQp?@?DfNH|o x SmO˧ >3pri ɤCfd6!L7,EW,{ͰCBO@3m Z^bf (dHaԞ}_:Jy6_ LbCy ̧]2+oLպZ($#SmHuΌ[ ql<&;qBXM-[7|~%sD,ڷ"9xٛv~7n$)C,?MC+JuHڐ2uYs 5B|-I>LD t_(/Toʫ*~wBas^m(IPGvAWP9M)q=-ZJy\Ղ0'5!8lT:H C~c?Ba0؋ǟnKíem#F 03]4WUムzI=A! 5CcԆOT5̤6]5&&䞞R168Q~:t#6?Qp>C#,&4̑(yqjDžԍ*p#g sŖ`Bmyp2sΛћR">&h,u?!?Ʈ--$;9NbwkE]#8[緇2?y yDO<|,ͼzR?kZE1S9  [¡CC`AD,TE%ܶ4% [(B!V bjs'mw|G ҿWxg!y+IIL^0J#J6g,(zeYe$~)A.lB̊_VثZ KqEU,55Ջ~| bSS!juyzZ?V| `cuK[Iu0x,\Apb&TtZbn+YkrhؓNEϜiQ U%~z%4 nM!wlgUhlzH{?w許+ "oC,b~OqJ+9ޮT +Ht= LJYhq.DSAK@*ٱQo*x7{5^N4~q^:S8A"08˜٪?l2SpY.Ϩ%T_+LnL΂u'NM¬RM~}\!#uoodH@PeBOHX/bo zhs>o}}VTok܁V!+" {`\Wsk5vXJXv^{fnQ6P=vb&ټlQN W?K Mc> Mmhxu|% Ih;Q'G3Ҕ"tbfz!Z>v߆Qy г_zQ|x_&lKOIns<́y/n6GSwC^sI 8HST78TF^P؛NXIrMˋ96v 4%?b+b s3rTfj{Ri89nomgO;QP9M-enkĀDJbA<˼,=} (8 2HDyw{+Nu$E߽| xLp6;jd7-8ϞyE)]M&5"Qwc퇐M2!;w|~Y_@s|JʪkLUeZOITnhi^%2l+ѓ> ucVk6(kq>cLo9~} E@>@L|dW#jY~G{)Pd8>a)UK4KӇ5ğ?Uy]h3[FMM(W$'Rl-m O##sHNd5OM4>7 wƂjLУj ^_@&+f)sTwD8?{C:]Gf\qU00W**:[5&8D_#w>ډCjpO 5C%?;]8zܒŗwxjM;8lk  >'odur_Q3'J[ \\֩ VHm|1Rg-u q!{.;-9tg큯'Q5}g!u~Q`EphX̀_1 ?# |7=RqX  e>NILv7JiGjY;3ġRl`H$Ha$)n޾BQW]m-W9,^=л+_*cco )\|lkCc n2š65] ŸW"/~9'$vPmB*Z]H5fvo)&U.ӳz:T6[,6Ԁ鰒Mm_ ؤ%GdJn=%cJy#EQ7zD2 ~˜KY=6#o}w0wLCq$t%{oXrGs9l sp`@$jϛwrэR>ST^X08!*W k2bÖSsqt)9ᖢ5X{+N*Z{8T%p땽Y"`Khn>_Wմ | M-fLΤB1(1HQTzZ{JUo&q#p>HZP2腗ZT>su2..De+FO|뉋RGyՕgR{Et-^* gt֪Epɤ'Nc*҆,GJ{c3//, Vꤷz5e";ӊtp6X xJ"; ^f6=n OY:5S0Ig N<J?a?0 @ K2d4S]1<=_"s"B)XaVa qg0x:EDSZOŋ4as fz",S2 ta_#šjWl0>]5/i$ wײe& t>S.x&3P+Gq!H7Pr(ejfį6*iQʤydvyiH+[9DpVG~P @ت+F 4ftW=1Hߊ<-+;;7f4;tɽdDaN螧FkGc*Q^Ct 4Mc+Jk B{(|ppN}oOkU nLQ0FbPAi`F! )nZOY(_ j(w '^ aBs4mdʭA&M-9AV3`@1yip_(NUg#ywZORשG:m&Abf;NIeߓ2V4x5}>סW6P蝕|Om(g x [pK:2Ş Ϧ ;"-W;x:˟WڞKbbK >3ȫגn_flaqvmc1G`C+C2=Ded7UR5Α ;Q6.o[_g ZnT+,gqebh:S)5HewAlt)zr-+6 %M wVd,R&= < Vj=Xu+M`(YS9 w DæY}@I  a5fdz&PlA"ǎZzF%3`݇>W$lirƑ`U|Ju dSc´TwIhxpi"r!Rmo[0uSEQ.²aVC*sDN1PBPP|5lOJ'Ln\M#YЖS+"G<Ϻq(gw1 nA2MΔb(APp$Qh7Cū=,lZlG5*ht@x:?%{aUhuA=e6I ԈW` 2ҍGpP, y !R13V0"xk*45t0H{,zIo#镂h,k7a],)PϹ'm!&ER7ƅkUu=Ìz#k#aJE[6E>[1&3p1h'+Eׅ,3â;kq3Fl|;cڂ&ZOBy n D.ɐcptyt 9#۞+u`uҳ Gxt'@Ts:G)ݒzgO6=:̪d"z#wUsOeNu\7Ɨ*pAHz?FBp`..-,èybPv# ~2)z3x 61&(KFBŋ :;{kdY,Wci \FiPmqm{ƷC>65@UI臍"VG:sFbʭjg,)=Ә#"I:(T튏O6SS}?:E3LNk_Ee(znĤӛ-pYsx@!s@ Q⩾T+T-v=€p ?_r|bF#e!Tn;jt pZBycFӳ]yԲky"E@^ Ύ4I {} p}ZN,%TUC6^\:tr*i(W )qȖ>(7|Cc1Lȱ`f9rf& ipTLq3<poy:{YҜXܥv/H|[BO.]uɰanjYsz)YMg-~!N| #E= ַ͸^ɚ!ƒխ]x2򊟛G a$i6ȎY|ZR)j v^pqkP,lo Cyh̚ [PRXGh" \7k&YYb`t7v!xGRBP`AWRe2L[Lò׈ڢGN%^EUXcUό.+u㓀?&>QȨB,uC+=}Qm5;{]bZa<>EQE4}PoNX(LL"E.6q ݞMS>A@dhx0C(%$$^~4-*婺&W;z\ﴠfb̗{ Sc7IN#{3x5>L e FgK-7s)P:Wx#DKQO+&S$ U辬xZLq8> 3檼)_IF-h桹D£)*7m{Mv$jQgdv?dqUS\ϹC:La'}pEڭs)cy>>+Cle`KB_Ǝ7uDB ',ǤOI=9M詚}QIĹUVmHM_- i/@E# P Pΰ'ppMQ+k$2=wj؍:En7E>+E%E%xɿs b>@amIk9c㨶XK]_MU51^TI ˿#Ѝ~]94w] mڳn*TY"h' 9QBG2]pG(y}H7uۮ;C3, ڈR^ZHYE[rB!.cnX&YK)Xq9qt$z \֍>_cwO R#hy & ish&_t҄2Z|d~}7 ᲎ ]o>e<<7{bo` QE;U~? =ꭔ4e,DtO(Sf\2G}82!L$\"jڽr aJeTn'2 d2"HI|-Ip>]1?FvҚS7M c{-OɻhRHIҧY=`۴A)kĘ+8 $*JG!RLICE#9't?Xl܄MCpҁ,Dbk!$%3ƺ8F긆7-rUo$ƙJ`l` q=_lX] ȓ.a^s=Q%&",ov= b@g͕4٨xCmb%TDd'5$9ӊu3Shjӱ=7֤vH8 zDIِfI0q:ETAe*,X-Q=#b} LM`Dʵt1γodEa #ΊP7~UߕFX?v}h56%<%bRl`n&p!{)FIϮ_|U%4e.M`өV~ '俲{ZF9-PMm$D*ö ?|}%~νhnbX}'sj9^ ޭ )oצl ?xtV/$b:Gk=MD>=QI("&Z 0̩Fg0[lecTXu(&΢Ujq5dCʂҸ dk#rM&,3;mFz=w4Dŭd}hP Wke` %/ˏ]]ZJM^ ;20J)̍i׸9u6&OqUsR EZJ>|zͦA(X=vueV,($ l `E*#()> oko%;uEqdzvHlɴ,c2zX64Xsn~k JCA;YE$q=u)iKAޠ~`hzBU}=Y0!=6o9a=uGLH]{'p"TQ0GBLKuDruh4/r ޒ sIvWv{dOoO=נ)3Y\\d(mSmN5L5זxh螗3U| \/[tYwwد%Bz3]P fDSh~z"$|},UrqTW䈺e{,]n/tبw*DXƫ='oFVX;x a/8Ne. A1WPK-?sڢ.Dx# % Kr.#C4# ~-?ݚ"yNQtܴ!Es2PPr_7]"&#j@٬}QP/E%dB)D5H)F,/a*0Ua5dbqG<ӏ Qa^ ivfΓ{rKwwuOIJ3*fC +>Uݤ;L C/StVFL(Yث/*{D\%9'ŞWd]c"1ImɘZ7yH~V^iMOD:/,b5I>\|EEG\v4?2,g:7F(fDz)L׻&r~9q1:9.ULԙI6-{L#2U@ ҝFQl<|մ8{UG9!G/@*_i6o7Gf ~%е~bsм&q,S( d+N(}ykto-wS'&HEZG ӧ qM[0Xe\=FM?\ nRRꤤhKp<RhC(`W:`M2}0ӗSe鿦PDi Yz376~OjY{>恅C5^Au8hG2c#0Z%} iBȮxk`QVtR.u~u/NK! PfShƨ(gp$2HF1nIvH125lmkiAEW{U=a*]&HPXBObj{O@ow9]=nB f€HUMtYU=uuE`J@~F '"˶é &x=}u &4\)J6EG0l(evMlzs"D-ĄeUkt$il Ŋ`.iL'jxxvh'k0 ޽+5*NH}R䀍횅U-&a(q$; #X2fӾ SPGıWfq1͕ B6*FĎōwYaP3c׿*wZ+8~gtRhKh:^E4,3q㖶8ȂfA+Alk$HmO'OH#)hvת=m߈69F !r$EH沙BDbH61ۂ= :dX|u%ӑ{方{I2sm~cPtϊwi2 37Vid4Oav߽Dk_E|Y۞XQ:'L* pDm6G2V&W &PKDʞP[Q嗘0+"8r8!ƖڡrI?c1v $9{:E)RrF