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  U% , ]/]HOL-Analysis:threads=6elapsed=299.150cpu=1314.064gc=107.680factor=4.397zXZִF! _A]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmybӊ;,âb@ S-}J8od_u+xwWʍ$_Vgg-*Oa^S}*w)6^HݬE,s|&|b+6 Nlے mB^J3E!x @&+ Pvƅ2#U=Ԃ57??QU5\#&&Q6e_=Wn}68v6C]~s ٸr+j.A%b&I6':0n TU 0oKGW5zGJSϪ /V C$Tfǐy⨤0Hi@ߑ4VL >%dUc ?$]g< 3tPfC)W<a1`RnM?_&9}^vkfiBgꊼ鑤<@GNT'rgxMy^d r+: Qhpq4BOK5 aHDywd2/ STMg9mPf{xAG5x4,Brܑ7HC V/UTt:Тۊ2 v~r9MR9K-@vHjqxln4D _w\SZ7#a+q<9  G&_,6 X98`{53a;| [^fב4,㪘R!}$tCil%/?18BZY٦UTahY<"oCg79@mO::Vt - -(Uײ~d>^ɾ&= T]8?Oi w sS2Lw4U3hˆ[Z8[~eZ}On8@"gEfkOh%^ZO/UNm_'6u-z%EDD/) -u_5F BGy{5B~f L$KQ)e?+NVu7rʺn o^%gӖ3_St aB:"B z{ PۻH :^1#DX ޮU0Π-8!U=g~|[ija6MKÓ%b6 R ɔ%VӜK/]Wjx""X 'ֆ2 Ysk%{2O3 x-cMA8dh*ո[“לtЈSᆱމ2*9jRx)JWJI7ʨcOSVD)i+_-'{U7f)6#[u7cs?^ *Vzn q߫ 'S=%/mºX-U aItgB#^: ={sCoBNXF?T l}U#kV*Ғ#$źH'InUViyp"w]!DF*X<71o8y/YKtiL/AF oxؽѢscv4u TD!#2Z Nȍ,u.6Dމ؇1 [<'*߰u1kD^ )y5@Q(L_5W͖}Mm`gwwd jn҂sB?*Z~cآƒ6A:sq-PA<:КZbyilE`} -AD@~#T=4aqաٵ8QWj+22ᨿ'4{:$+ *5&Eij΁7DNH_Z \kB~^Ju;x"<.lčxu.泬3!efai*#Q2tiX8C&!VXa-ΐT5Mp *P`83Zڊq cVi)4&l#ɿ 923rˆupp#ÝfAh `K8p 7S94G /d~ϨzXwS`㜚2h# 3c/U%plQ%b#*U4n>2v/"#X1}mb'sG~kE*i]DZJk1s}4C_DGa@b2/ݐɬDE[)jSyhasaGG>iiÜUy}=$k^G~Hj,k8mjr4%.VD*˵h;n7 ;<셺opdu?5s#9[9~m?md&aAKB’{b)Fqګ`",HX\yr[fē`oӥhD]wA3=ICtX8p`1>Mu XY6˿}HdE  #  "t5IodsՓ(ˑ¯@ÝX,#Yf<$.UN;Fܷao?#}?ez_%dLϧmf%RBi=MXŒas- %2):C}H4NWz Y"ɮ?ԻEElD[ s~\DYAs_e@5RԢQNkKMZT9Zɛۍ7=>mw9}7bo_w}&MC,*38 nOUހ싃-`0w,JfF`X9үQta81 >ؘlPbw?5,FdmYkap\;NY>CP5Fuh4J[XFQOy=v| S7qJV] 3c2UoqEs\PUr>gr|)y:{ f(o&ou.<iQ}AW}c)TKQM&!HcNM4îXiNă#H]LUhjqdW ?8g&ކb]a4ICz0vsœvC.^0Q${7uǸ^bfr%gVe ]hGJ#PiP ?7`8s*5\tA@\zU9TE&ꭽӗA}IǭۗH0_[τmAf:']y"8jF3wN2,yTG]MWCcJv_QQGQcd $_7[)k%i_{T'AɭO %;$+1 la^ ptl6z'b~F*ĸI*pRdI="(ܳ0D,Y .oX^=d6pa)"SQg7PԵ< Zlv?k=Z@Kq$cw %孯J .js)r37.to) ظ̍1'3;37i*htb7e=X/R2Ƈ n᧢w< fj!Y9uʞ]~ 4@5TCݒI| %ſP5O&~Wkr e]>*/:ik{^P Jk. !Ց7V'AX1]Ό ״(d9twx)ъQ)[ꚣӟj?yp@Dcq2=mR-xȌHf셀٬śY!$,E|MiB}T$)C M#ٝ. 4&T t_,gM0Sz3Z-I*:s!4`^SHNc<~(9FM0= il|o Ix$ҭՠa-U&KnT@e-(mI0کqKvS ׫} n6p+^-p@FM%!X|WnPq?cFWg>eiN+QF-H,zi.ڟ`1ݔt^[( c]ek`^֩@-yvd(‘et? ˫e1A=ge{m֕-/θJ4W%-e nNV&zT޾vF'7² 罈E,FG5<_pݲh8ak E:˭)b&-S 跖>hճ$A`iP vꏏEW@EU moޟ%h?R4-vu}FRPZq$Xʜinsۅe{ 4R4J8 MF0dhV.Z’",Vwhzy:T|~=,Zܖg^OMEG5!4"7"YN k|h6CŨjίYzӔTī6Ӧ[ѬdLn/R_'Si.FwոaEzf,:v 4S8X_%/6GȪ-`0ѐc5H v;>8JQY<&Uڰj)tAs=Bn/W-aBsE5_k"SΆwiX`jg%;v cF kv8n(؎@cռ-Lw5Ie1%7=b VRTZH;Jj?~{mٙ ,_:$)u9ވ#R}<. |177EV >i3.ٸNTjYu` 'S&bj`y QBÜM眴o'`r3 $vRl,C J4D# `eƁ;^q} IAU:&}A adUG_&ʗ)$qks~j̒ 0F;MOH2(ЅK"Ս$(H]D`DOv 0x%8'Զu_${p}P'͂//eB@| *Sf(qܘ[ҭW_` kUuUB{ӧۮpQY:h>6;(XKpk:ub끆E ̓g pgd[lgp8l$7ƐL&mb_|M߃ IX Z ʇ P~Y+sl˕^'|܈cveC.x(ꊧ\S{ NliMxAVwt#8.$$4>@{*Pp3laiHɘU'Fjӑþ:'UsWՃ, +,ʨN0ە/'v݊F^\b>5u3W?N͊ƆA y?SȫPt;VD횱QE 7 &Sk Eg!Pl˛$GlPtD-g=I(-dyd}0Џk_䎾9j"&ex~d8Q F>0&sggܔ^]7j+:Rf<] L țKY(f}[4si,}FX̾)~~ S Nei")| ,16 {nFy!sɥVqa+lgG"רܦ [cx-=h&V,lq*k{i07B(9`HfK^3.2WD,O( 5%"C"8h4e=#-2c"7SN/0?7j oiH Z 1%$RPMIb0!Nش w{BiJ >mj`-{Xl@@zU X65W2dX[#7@ى=tedԞ*һ'm Zu1dّۅ:'ԗ ä5=#;Ǎ}m k|5&sڋx4fgn5s!sc޲^<{ѹC=ӃJag1{|帒q$\C,ݧei*uf1އ,3SARfILӊ!Xo*JxSƗnXgUg(EI80,'wbEs6+%52Az]WU °{M+Luk1C28$S( S`M nb Wp ^VWwEBPu,A~9ɩIE[P^@~Y3&}d}]i8"*Қդ=qS|2;>Z; M}429ͨ눃#wnbdؕT#!WlESs[T`YW8ĩLsG^Bcw1z<"H2QEy|$\A,5УC"IPupZe?W+ \vyK v mfx K,* 3Pr]|j!IUt3H ޮ "vTCsRXɭS|se(\ ]kzލ2XfAH:),Xƅ`rӽ%"mc2Ð4mԉ⛖\Nl6j~oNd zbDmD^_qި3>7I{ayjx ͒9*`]FfL$;fM |hj N; 6BƱֹ1'EIm? GpPĿY(e@`dâV8ƝZ0LϑX`ows G/q@e}/Sn&C;Uc?6@$ui06G+E,bFN,Wvb3JA3v"ތuuDa$omX&`' X +OjEmfxZg PIs9j IJ+RSR/&/]Oa`|L *ʶXH*4>gb U,ccTrH(9?HB#X9I @sDuw@ ,EI5n7A `Ci=x# H_8GIc?%OtNuNUp|Ew,n1.gC1[}a|-ƁZ:\FdQ<;P Brep'8X0iэ58:*x8E#*w[VLKgOu=K> g dLeE>S䢶Z{L+Ѷ]O( 4px ܔ]߲p"=4g s!Tb{QpLɪX:/Hhsvo{OTWH;Tj*P0N& ڮ` aVχrmd>)_M#~.eUspT?h.hMŤC2g<<6nNqG\Y0YDYTSrstpS 3= `V%>ʐ/.ܛ-a:9|JS&zSF_CANkNKK㿫[gƹC S줲OAmCpN'G@w4JJ\c| ٔ7$ĢOz߉U@,o \D" utZS*1MI{rRc*lv/q?uKʯ] IRy&A<~|򕧡  h}" ~@F 9E_*V)#3!4.6wB2:[ʾkZ+xKW 2K,Sh<3MxeiBx5Ц6m4`j:X*1jTG?gsFځ_n5rJvϝaY:}v{Cͦ:x; j$veZւ].T$Únq8,Tp瘟X"U UxJPdrGOSڱ3S7:W YNJOtL)ڀVwġ`J*&>P5\f ߀QlO@EzK;2b7 }|ODR\  SZzA0IJ?9wmGk IM89'8siQ=е[x)"HLbM̗x*5ynX-N{}q '~,ݭ|lB=W{CbK0ek82]\ "$Y)L WlD: 6Nc`"*\2T,4ZؒH)n`{iwؠHU*4 #gxHjA տgvj0QM Wgy6: QQFx)u() e4: 04te \R3@d_>>SY/}q|Rrθ(OH[Î$ldvlj\?jtݶNMWTI0'0-H3d/`,QuV+j{cM(I#m6=;wſ[L3wE)'HCۜTzH~5Ő)TI#ǸqK_ڰc,H5D]tI@s?9M|n{ _;ژAG˥S ojg@UǽПfxJJ8Y6󨒰Ik\@ufQN"QF:ˁ E8IOG&b+(J%h>Fa1터7Wܯ/ė21:~wɄ*tr0Ɋ@;T}qAsw7Yn27OO|W¯Knq)ωNU$:Qʊ8 Z 9_IjvxUU߂DzǠ~l(`!Jتͽ?E0 8Df٩3 zWֱNUm#;|Аcb{˨#]^/E9ݔ{o7yNםт@g=,^h:9UXJoZuI6; {e_@@4!G6~v,.Qʍ<%fl ե0Gd_DJ  `b$ 7\o/$%ͻEpڠnѴM&|1xIV~٠S83| DIݍ .7 ع+<., X0Yy'.xL2V3j *3v.V/W2"!zGn!+'CykK]dG ìRUnA29e pNw"Z Z"-`p^.㪧ϏܚAFfhԔgKOtH"Ȱ$CˈXvJ"25$>n?@Jʕf(im fYp1xA-r4;}X}!'Tfܿ9x\dʞцtU I#tlxg׆Sv s;AH yZC`mq忮v64E`ޜbEp$^H{K.KXAu)ًן'JE5jY4% Mpf3l$-#Yk粃=obⶮ퓋A ??=]UR`N$VFAVyQ&?vmaڢQ3x*}vҽF~lft< J_MjMclQ `bR%بS  {МX7BD.d & z{u|UygڰU~n/&+Hn Zwy ׺jz3:+D 61xy?Rt3|qegMc/Z:#2Xwa|F4z1ʓlB.TRvTku 76]ww9tR-RHI»i4{ R2ְ[F*gYcsyu90<47XM8kb|Q;[‹V,->*yJ3C9Vos(9ぽFݥUx@c/YyAr3L @Kh +̬RX־Y:pj|F^'RPo9[0p=n2.'ݲv6wϋc5&Hzƿ5*${Mmɼ_ubQ-'{*!4"fGė<ֶIKA^GRu B_Ei4AV6fl:ݶ sFSGwh76>b3UUr+F1X[YQx:`+4AI27E4P0p~&M,ruS/N=4#vb5EzE`<[lnȌd'/Uu63[|NQyFNVLok&*J$:_̍({,C_U0tNϲ@2/U/*6JtV/ׯ1&g9# P]tk!)0|0G\\ea/鵼 8BŵOaJ o7ӈi0P)'By˺&NήKس2c'x|K[pƛ\ :PGOccnp%f 4W;fhR7 +Jԑ걃z*ۈ `?WTy(Q3%[&b,aiс}YI{mQuS(qQQߌ}IggևHADY{Qb!w_d g)sH}I2Tِ%D ,pNW'#4~  Q͕i@f+@~"Wu˞0Sʽ/u>>b."X{~I4X}즉Q+[>Ջ4jڴcp$/VZ;32H2ԓZM)ie[5=W+73=,sCYHkc(9$&((ApD76cmں_SR7(_b/>eoK=~e_8`}}.N~+Ʌp_ 0e֌^~mcȘ'ł# gd$QRDX;8<%װ@Qi,PR0W Rrx Z}f9ūb5X>L"톎^]ɟ;0:F 0tB:uv\WAO=z=^Mn~-d i?.<2(J ]s|dvlj|ݝ~y;𕇘Qƒ6bŬᒘi͍Ԏ3dDBm}W:p޳BG2 op $ *h+g[S<=ď{_8nUA=0bLJXoЕH4,WnLN,Si@'mV͌59|} 0tEV P#:ΥXBU8LJy1t,bR "DvnJnwk!X@S- 8`52ţm8k 8 KeX sMHE>/E=b\zNށgUZICWC=#k gd"w*9[LN2\Xt&?,J$.s=`i߂9EVWVNlip6=iཤR藝/:w)g⡕ +e5lE"E=\ax1Z[-[W'0oSԇyTͦ33¢>?т4}yE7#tv( P&%ɦtT ޸@yYSmQz=-|@!P} D鶇e`)Txlh|aw54,ӹȔ}ǩsᙡOܝ{CGh4~P{i(dq@KМIYC>}TʰߕS}i>zz X{s.tK_:l; b˶뼵uB-]\2 lS&_x䔴$"z,gHjj+Y'g^| 5|2!6ڜ@+Gsq.a5ĵ ˁcƥ_,>;淈!aseG_zC9*e=q NRrjgPړsɳ&׼)z"]@Na&7$T8c^WtY]su% Ard3Bm ƴ>dvAodȽ^a;!t7“; T030Hm[>o]wrU!= ꩫ)<8;QTX G&sK<:c(+pNM䯲}-W*Dzb gWkp4Ь_jB$8.ҭa'tvTXɊ!B$7Vi*`3w4;(ػLRdɞ1PaM֫.qNm=eh^ce"ү -4g^uCAbb#"Ai_h8jt5}4n} EI"OY=1Uÿ\\gKaJ6,@A>aG*0-p}1!!yր(as[\obK>l1hu:c5yFG e1gt H{H"f:;xmC<u _!=zZőp4 񝚣gYZ7zXZִF! w]ŗXiɟ1˦r!cHkMeBd4R Y:UV(Ոڻ|vE2o6h,҆@.G2ާH՚Ib7-:bSJI!)qG0n W|wʛ\Fz2=J ]Z z$]a}ATW~/x3?\ ޅpBk=r/eV]m=K.%:ƈ ub, u?gB!칸c]Uɩ A+Ҋ 27J:xy-a#U)1|ig.pЕ7:\V Rk~W)DvT9W/ϣC os.@y/-$hqs(u[(<'E=\}9MZ>օs)~%ŽU #|ݍoc3d|/C,;;rEr)Px.,'>Cf\96VX#dXRnnv̴Lb%+_6XV&i)%h uId\zQS?+]|+Wpynra~\Oϑ3:y͑$/1+Дr3dsh;CͱOO X?:2_űMpg$dnR Hah!wpbb9zSW49˹9=PƗJh 9p6nNEj\h!<%BM]C׃͠głz&_jn7v-+q7}yqʒ#Lc1htr'N)`҈)htUc8)ގGD ܶ5Kh| r?[Ln{:B1I8-mEi()!j)}e>H^s$Nc %uL t2K#QUCݭ%/~&~;1fgOIqՈSāe0 A%Qg"saٙ)Qy2Bꤾ3:ep;ՙ1y],6rF@<ΊK0փ;BWNnYӐj<\7+J8똢X;y1T'=魾BP7qb^x߯co}]"tE!I ̐G¹-A7l׭F$89=wF{GW:s0D:HRn^b"}andU^ )F~,;XXS%Z j01>ͣ-n6-X6Dws+)P3$] _8f]([t +UOfC9d9ŗ=早qcwɆKY_m'3ByE}~Ec^3o|0UTGD)f捈AćA K_h}e #2!T}h`}I]2*vBByLcx[5_aKfCz Ռc|b| AՆ(/x 4BV=ƚ QS\Ң23BPUl?%_N'ً8:άNsfƲL/<߈&h&瀐T]yG"%փFO ;v0fKHI&|&5- h[ fw1p";QJӍUx~t b#rEV2ѥ[JN) ^ר@r?+Q ~7FFpce`sLUSz'ܼ3AN~oQю =ϳ;PaD`U^@gYZ7zXZִF! 9W]ŗXi%6[X)E>A>뿍, Wvd5T21tq|Ďcߥ΀yInfٝHlѳ/#҆_(M$g"(AVvϡӃ[ƤBjVHQ)P]H ѡ ȭ m];[x 5.|ܥV@F!)8з@M!RԲ6EW4ie"#\ҩ .JIꥯFO1{po=%}e i <5b5* .k;9VO(w jSfۀJ1w!/;Iԃ3PSg?_QJ_y[ |1UqS $hdAcs-Dx1k"5CZn07SZ{2UkOtK!ce>4^%3L\b ,zNAg<.Knv J8f+\y8*f۳_J$K[Q$H_y\ڠى/;ך+CyB.n2 ҡh\69`*AY,GW(OQL&8<ړmjbQ&P#N\HMi@T7^ ??=6h,d"+tsXWJr%&UP8׺ Ղ=L(n+1H[&(̺l̊ > +\W4Ym2@}ʷ+3 9?̡%,}G,ngK6Hj$[;i-5)Shڵ~K.da-J8 ǵ_ #a xI Ղ.I Gw rrM<+U#hG,K/fuCwnԴpXŦ}_8x~FMwDD_6/6—dBƒ&o,גV$pX#!X) ,H c8B!ޔr{N@R%}3ϙ$ܑ$*~r3x«kE#oa7Z:>Ƞ{fd% |eXniIY Zj7g_ }^t϶ `1! ( E2( JX %_3"DoOnDt::p*F,HYe!BfX;OpO SQ wc Ek}hrR#>t1Y1Ad3tį^v쀞%ozoVW=?/Gq0JcY 乀񑘽0єsxlSK.&>2z+4UquaUO)6HJАCR:><)KHB-StG9=V;nlh4.tFZm'*jdQp=QJߜ ;v: yHA<2m]XP9b$0/&DF7.;J;KTM4֠W=Lu2}Mm!j!d6X[edCӲd92lWa0  >Zv&ɢkk7PH` ~Jׄjr L-((ʠw6ܭR"ú%ֽvc6ҝБQ{*G2#:fPWEO=E8`JFCPZ vt;31)CE_ qFp۲Ҕ7%Oôt>$;ДC[7UHGz/ԋX oB|#JL)$[ld;毞>٭8O}ެnvWno?,Dk?MJ-hO1uL, z13ՌgGy1bTi{Z%˫#zT2(X]ݥ6ɶƪB(vu7GQQ׉r)JJKǢ4/=EuH#ڲn4ah_a }+v<^%Zq )ؙ:/ޅ%1lw~mƂC܂/*4x \Ш<ȅ=inԷ򄮡+m"ڪ]*DL`TKO|V-VK:Azt 4LS Dze08Lg팘:@J@~h'g׻r$ʤƭ+vIDWYDbUKg-3 sǷc,>]ϩ1ʪ&>HeF 8 ~.oTÞ!&yl)ZB=>io&VV]NE>&AKgT5zNhz5MXS.L} B{I|`b*b$6; b7t(%$G4h^^E jt Ad7yUY1wocI_Hi4@$9^EDjӡ bu,ثXIIjȯdK"/3gp2-;ePEX1~q1,U_~ ̧ɒAw$X^%Y--OeBLG #QM1H@lJ]JpQ3a0?iQ̡\~-ތ.]]$%C73J⦫.APff/T`-HQ6`} IZ~yNܒTdnUXރoŘ!ޙV1ز\ߠ5$cB$עW2:2Xݎ~r-ۦbٸ\/ ğLԹPQѵe[,CwRCRCn Aਖ o )F3DfKӿch0s?}*|4t;/e" 7JX4HHѕOר|9hҕ܏tTtU?n@*Jt(1J@gnQ -JI2Dw"`+뎳U#Mx=J SpMWQxu"n&G@kF#UYCJ~ǡa)q3NS3ޘ3uj^1sc絗njnP]cjlxZb +}т= ^mTcv LR"ARSйzIX}Y?rcA{>3U&-! ~wøV6DHKT ejYQwW+5x%[gSj2F;lk"8twF@ĆS&"8ra]ӭhLX@N([֡[.t#; %рVP@շIŕX+JրԬ%HKxaz۸D{4TپH:r-)ST'DdճɆM i/@iwk5ч)>1r ́'4♱*AOr}Ͱ}7c@VaQ Nue_8 CsR0)c{qb'?$$;25Mi d9Ξ_K3R!eV%!Z6gZ_\( y@У4Z.=PX?~ޕ?=ʎGGJ\J;m/'F GS:ZY|[jK\%3]N2KoNp1H񗦸JS)̾;{ wݏ. r YfRP-BXf, 7X=Ayfce`Ŧ@q'[^ܰIbXbUy$̴zk:3Sq˘onqjP\3[ǡVt6K+gϤ%jjY(38d~Ne:`AV U>ybL|[KKd`h>MPƯ[mZJ˒+Xk"o$Hv%M\7 &,<JoelǴL3į%OXuf &e>[f㸶5 NUC9ul̝b;sT dmG1uW/SU RlZD/?PD<¿|\1p{6½ ?7cE.mP*WM~9p;u(${E_AmB [X@34gJq)M2^ g[w]Ub ~W􇷉-^7[f7 L bac4Rr)h t8-ڻje;+6VU#_Έ/%^'lu bB/pˆ_=h$:EjZqOWǬ-gOj:fSozf[b)|JݣtKxïU);|޸ܿZaS(B_5stU+bndB83j)l"IdfC ExsuF@G* u 89?/ ?.+s__4( KkF=|:2VX@{cӾ|Ε|vsaqO~ͤ36н<72`P#Er9BSOu+mDoע!y;\ fCR!7랛6>FΘhYf3lp3.]slVa@Ք&ǐԔUB"99ס4"[l2R @ JֹcMJ56`?%Vd\ /'K ;V&H̔\>P/B$^ K>#CFF3kIFk!~ϫcQUYw7OcH&a{VZ`hAgL;jțzP@JluvfyPЮH9\C\4u;NJ&^&cRv9ﳛ`=&I=ôq06ŻR}E Uj24ȅkcdfuh5{e-Eg%`j!}{͕[ZǹV#@LTu?uڙo"cVgq"XGӵy"|Qw øa$N9 1vYv~MxE3I}(PLk2j*?,ڣSؠu{Љ2p"M.' ħ$ṗ`] /wTCX#´L]`~#ZYZg:>p^ 7KZtg;V/Y t;1Mwg(U`;#>fy!Vp7FBG}DIOD) Pd!6 wW*˙ DcfI3~qϛy`ۄ岊=RwK@(JtD &dz&y|%ZT uL;fTsio,3I}"7܈U2ӳ UW@k>Sx%?&jiO C!"vD ECK%zOxG٪Q 740W/^to&1:E>ZP8͏.[: N;my+?zniS ,^0rԥYwJ׍d`g$$餕؎wqy ̖|&ln# Ř};je`Ξ]Pr &^ŐG}hP\ZޫPI5 "%$j R [䡬S^;sU?{DDz\)|W _T' EeeQV>"u& M< $uWa[|/BIJ][gIԧ><өi[a&+kbu,a` Dnk0K%dƯ!L qF5IKA>^8'do`CJ.&p~UPUcU?߻00L/ODSRm87F rzD9ZI]g_q5(7>k-ZݓfK2Q5U-F:5tc!#d"C24yvm$חiw:YimC~##fv3HWBC3q//2.0ܕC,d=U'n!<cӘcJe?5QSR! <]JC{%*vjOJ#ͱK#E^Tݾ2%Z[Ca s'f?3]M(wl%;ꡢZenWY 9F͈ 3GS24e<# NCN ){P:/Jn)XP}yT|J";CIpB [( y>5]gyz!a"[G3nSDޯ5VK|>^1?q t2O\̊sv&J}A}+E,mIiyrDx1aώ"O`) <h-ZGf|DYm6m/ 7$XW겳gsHS;'J}jY|5nHUqT; fzx:=վO@1e eq*DPophWFGCZދ9H\+݉R=AyɉTGdF-:Z}vR?|H[;֫Qj^"ַ(*CWN@ZΕ 9EP;qOy,_{cw#'x151B# IO! rxZab3>m+&H98u9"6Quurx1@RJ%&db;frq*mP6lQim+%ꙃ=xā4`$$/Iɢ&~+(j#qm ͎9]&pٛ93RSTIUA˘;#(9]1:і> ex K}cx:1r1؇e՟:gcc-i %,s ,4*>C,a`Z1mK 'NRF[lZ)6)m콾u!(`^~FޔRU8BAJ)]"D%їEEPBC`'EĵVYW|9 !Kޏ5Epȁs& yz$s`h/_oE|>f`zb|C̑ÇK wSVixwR_ЧsIe4 -$TtiXg!%o43r3`}`J+;i ]deE \9&TeMJlNDL]OJs$֟ung6 PpadM݈kw_ eP)-̏PymqtYzxSLpWu iR\fQ z)fD0_R#/MOMPvK]Bot̗Zm69ˆڧrbDؔ.tOLtfWgRc7V xmջtfTL np-._ h4?w:pݏk1o%7.k\7D-*wuCU"1((~6Y3f_v`$:{ T̂D$ClvyFp.+'V`"-t1,0yghßzmFŇ}U5nڮ1&nIg}Zɞ0L,jEx( ._ =FS{5A<9npdUWkbG+eĮ $*8Ƒ3S̥5>*kQGB?ݖ5Y sMDG !k/bѸKk![x39x-7~lW24cU,r05Ҵ˧ EIn+'Y|R vGq (i 8yQ n7Rw/ɤR8GJl" W"{^>~)Z5CznF2+b޸MycÂan BP^?nLexT eBt!LH;OD^_WRͤ&R.C/)ri姴9 8灹Dܜ Ր L5S{3#)d D[l49PXc?2K3=S]5 Nq#2z875I@eo&ڏ{7J{|Kް[ډ)O h 0FmBfLtBv , F%qeS9EW$WQ(vIM?҈'GCQiN'16DDVq<AA_Vkߪg'_,/js;X2Ԑ-UX2GouH/e C-[=C`*:&0De풮?=zo"&MVT/;xPl7{" G޶Zz<D^1Z23UWC/u ĵPhl|AeG. Ә-O[/^ES , RBa{փ)Wd0檚 4P7#?Y:<ۘZU*sPxV}O%q "]ĄeXWT$PRmpg Ӎ*[NX^W, fQaD))1ϱcɵt][UmYi~-d?w EsҵMXk3⎍@/Ob[+/UirC0l4UD-7౺8 _KLx8%y& 09. !jٳGF;l>! ufa!R/2#]z+d3/kyK<( ,o^Z_ߑ>?Ta$,'NP _|=.U{qې\⊢P2a-i e3Ȼ#g=gruF6j: _/a*5r2NԙUƾ!7G0Ke~?}a:`qMD%.ElJHw)_$i5zgXy^GVp5|vBKĵ @J;!$f<^xڷ0,vZFtS4yo32c 9ԻQ"cHsq46%uU8{詷ɻ8 +0lIz(BYx#agu`pR)w4Sɞ O癮Dath\|3̬25f=)4kɕj֤FHioe2$#(벦S!yxmLW,bA Mܞosb)SobQ }K)>U}J)W#\WJ%޳m/e#!b" g8K ɪzdlz".Ă\`Yhنdi hW~d+j P"ȁC=r>)2HT&$^^C I-"iǤMP.u]9FtJ:k)g`Q ީ{%iP̴$d߇ڻFVkPzMa0>F7Li7G%WKj2\A|^O׹VZsּtH[-yٴŇ雸gNaDC5E&;F0Rt G0HJ^_v9DQ,SiaǶ2A>H06d|YaAQr]dCɺ]MO?_rh'V(cvʈۚ tZVR_~ݡ\&P<|+K62waL_JI8_Cf#O^Pp̜{fp%mB- :@q;tmæ ciq ڙ*,#grqSb>\5r]%qd{xR$T{kssL f9FD/=>"ҝ2o~{;$ J)S·lH^%k5FR/q+V% TpUE}[DIebz)&cp0VA 4lGO,nX?T}q Duõ`@^>JpL>fF'0K;a~1 ?-aPAϼ۟3gף2q 5JrHɎ8@ZǙ͍Jk ^a:"7tm.bPC-%$y* 5b٧d?<|b_8˸OVL}n2smY?;xdviuu[a$עr7a9}"!v mnTu(B|:HaN="ux9`::O9F~xalm@0?\ɱ8yF[8` G Z_Pag- 'XPj@k7F-NBYOR1ܷOl]JٱZf(/"mEBժGW/5{O@:Qun\l Di'Y Yƾ>_MuהIFlzS.B ЖzGֆ%Fo-? LK,)w.J`]YF-|hQ1q|^Lg7M)SFleq3Z>PP,wk#O:wGmWU7$Xp^,BWOwL-囍402y<ү%R}SjeZj@aP#I3g,] <~d}2jlga |г),뗠Kg^wžL{r +o34=9=I;;{)L-W]37ݠ&8qrV>8P8c\ֹ 1{q9ǍCzv4Nk#ͼe^+ـ5`sSX=T) ~>K)W xͣ__uMtn(- QɣE&qd6q(kR}}KEofsXR|?c**D#. j0wS+ϴ[+,\b/;/y&S8mMigD'8)4u58&8\ w;e30~ԛe mʭR'{[sxnܛ?=R;ĸ N`={2(i˦fYKL+,*|o{  e3'ކ"5Ч$)b/ǟ*vf9L2B7b vQ aOt7V~ ^ȊjPU.17> :7Rp/uk[ΡovT88Ӳl5P-")#wbpVl0֕b?]ݘ623+c-w8 + >i'CgCBœW%>HOGy0nn%5:aEv@nɓGXcrMu*A/u-" d1-٫vԶ\9\ykO~ dFZO[^r˪.ož1y6hBLab2:PESewZ농b;=R-/7_6W W4b${qA₷qsƻ3& Hc/EZ8(,;O5Ihik *[-$&ć^#ba>[h]-#ЉVu퉘ă} kOEn^/V=,3574[0pVZ_x Å=FR$ybFx#(|#0c]TK8G8eul5DFVlN4%kg7:^+oT1= S-|RJNkv1gipe˟W;Dp^ʡ@^_ZYA[(y6E#uުE QP+H}e=m5>u73{ݘK&[PATA?Z~xnlC7 hcŪ|[4fco1A;i.*g'9Ʈv16BE ZU/ψ2; >W! /EM>X@K94gFj%e%=_/*qkf4v}1ߨڎM JBNw9e5uDE-B]&.wSF[,̇Ys іHJȚ)\xΛ]7TZf2 C ؽŊ,.8] ໾Ցi2s=;Y*0.e6ڈdI1.Rx"d$JӰ'eb3ا@B\V|?L{ѯ#U網輽PVuKBEZd}kZs, Э̏}r#;}XȄR*%535夤{oV:]wED0~ `DĊ"$ 8 1ן;y^ .B9r߷{:lݠ[+њ{Ko$7!q M̹HS1 JA+QrGwN_wCweZ'pfuT"]_K/cyjFfbbƚ$@eENjN C 0 =d`ߛPW}C}PWNUGOb#uQ<{nWTdCh+Nj"ڰdYJn!YgE_ܳ_SpП25& 4G;1DSVƑ!}μl"=@F;pwTY)lXLgy~d !-ax0j#@r§ +Z[Vux@jtiL:#ATbH;QBoEA !xoZY{Nu񭷄BϿ>{Qkc&ܴJEpiଥ妁ӎ҂WG@۪'P)^Jof%,0_*-yXrly~2Q-*EP\5"DOX#`9#6Z +|1Ceo^Ajѿrn;tX$K (y}52R~WNXIqi ln{zx7C (.@0?^cbkD6Bm/;YT1s BJU4pn2!n]i5OܝKng .V &]IumTsQ"[&=HOЛL=lc8}oEI_i9|":e9<^QQ{]4sצCwL>㒓([""8S-ߜl_tY(ΘлJ~]HqI =~V}x-R4*0V-ͯ3Sgv R&HiVfq/2s h´ߕj>y.dʢ>gZeq]*kH A40?UbJ0>2 Ʋr<\[(EU:H1g7RR7K65dAuCP-dSza lH*ыASMṔS`R$DikT38GU#`LPw@qS[DZ"]^j)HIՖ߸[H?5a΄츶 /x|(qU?y"[3LO$5TQ&NulՆJ_hqEAشu[gg+ 00XqzQ<,Վ{\OG;ܛ6.)oYߍ(W,fvA&eɽ *ʹw;87/'$V$"%0l͜6[IPGLsKf~L%Ǜ$T(SpΆQ Un m%R^cL B-VfgKaxT˒>^ño;D46룺y ޡ'bѠԝq(27uߖDSЉ-V k*8Zwm }G/#Ɏ/Pto7%s5eO >.fhCDsW ,( &֫ze\+//ݏt}rβ]D. 76 #eaN/$~@jknЉ\`fȇhlc\O7}IsJς7}L+6Nw;7-{tT-ص{Ii!\1P-s/Wk6iߟՏNq%nIgwBPx0T;wʏm .B' xSlc,UIq-J3"ix,T*y-(?(i[`RHhQ/>fizA[ ,N ^[Gp2OɄ䟼F;E?H"f[c 3L^!'la2QGv;c:Ye[ΉӇn5.R\¤.]UzeB yhp̍YOv\lva;PHۥ5P2 7hG Y3躙jPyj#rdJ&ӑi31Lx !T*<)fx4f;ɛݶvJޡFرyʯʏ2f+22n p.07U@!n:u]?ϦKC루4$ݿ0V.q@Bv]dKzsh_H :ҷMjk>]T-:_34̉Y1bdhq:Nz5Vft j:XI ܅n6<4 08 3ɞ6$^IE*=Gur7a^B\M?$a'. Aħlw~coc U.+oMr} |ӺCDPu0"mÌ; J$Ĭ QtJ:$ i5"i5QD'#zoLWyai|ףo_h~+爲qIڡʷ!'/YqTJYF"# r>DaA>Y`R٪䬒{i`w!ƴ lAxn{d`:_H?hM>e^޴-mm-ƯDoS] m]aeSy}ooPS\0ژ'+UU8N:8%>f-F&**% [Pņ{ ~0BQ;Dԑ: ZϪm8++~§l"fNYWЇ JXҴ ->}!)i1@Sp-QLɘf᜸!:[׎∟hy5p=.YlwS{߉ Ǥz0b|.na Zg`S2ӆULGu8ncmh3NG"GVA X7ǚ+.o~ y]5%rHPRat|. FUvOo9L*r .Q/%|r~аOj`i檎B:թ[;a8,~)(4:ۑ`M~fLV ?fi\c,٥hȷ5mun)Ӊ(G"K16kR?j9E\hI}:~,e-bJ@yA ,ʗ"|9azHJڇM(4\fd] v}On0\`ZybBǔ`E5B&t](`|;+ܔG- : er;DTBPe 1"ĭG$w2 ;h .4/a\7V+˕ǧ2y/L ցI`(@bbZeKgF*2YNLD8>DضJ⠁Nkb&ɕcVu`o ަ Vt=,6z华]bg 6cOȃ K5YDaZc{!HSZO (z4F0rӯ-P=Ŏ^&l?,ŋSћD(<~ͻˇzShz~MA@$B#z>6~쎓ITLQ0MRXNE;wnAۃ_,HV#ODE4J] jVzDyBp3G|G+2@kUY,,m2|*fo*tgդhsY.lZk@D#^Pr4\yՠ6kUj&5C@sg.0/^ɹGROydżA[&rgWl/G9_` F $"O,eL!inN1jzHJ0( Xl-Z6:d ̀\:[s»p%ɟnt5DWH3e;ɼ4h.шVdIΟvQ?}?C8~,b~` U7EGI9?n2'x W@qo_+Bg%ZD4dwޜ:;3F~4o%;g"r_yۑ(ri(lrBwv H%fwkhCjYpи\[`;H`u_ '9IP}y/`e 0Veg6 A(Xct7@7s*U_$d9XpCD1{-1 r-*L-PnG!$Ֆ6M"m~lIS`aoЎuf[c'iGE3f2cm_vX!qo,!(=@]f^yGe-дѴܫm"`@G-Z:IȄ+6@hQVf4 $?Af}KȨT}$l ̺|}~M165u6`\}{TɑUF&XLVV GJ zSOvnUOFZ߅ e"8~X敃͎sVÎ0/;@4H Y-BAf"fv[TOO|팹#ֽcJr/e;bIrf̴P4hY,Bښx)4C|xlv(Y _ #:qz@ф-s&MQn3S:idj)}mҶc} Ҽ)Y*݈yѱ_I!.e^ءͽ~x\@xN^2Dݘ@Nd0|*~/A-.RFd#y TPQBdڏp"V^-+8Hb)#'FbDnG-sQUNO AEcR<.:2"OzhR{*J5]1{bfRsM6eO.MGV+CgYZ236f5b682c557de04562790266346bccb90ded9f2ab6afc53332b0678cc77dc53d23f8f23ad3ce19 470e85b8ee0fcd8c2c6b9a7daa17d466ca7b3c056deb211d15f09da5da603244ef2d22e5a151ba35