From 984655fd3db9ef2ab0d6589b3ed22915ab5d1665 Mon Sep 17 00:00:00 2001 From: didericis Date: Fri, 22 May 2026 10:50:13 -0400 Subject: [PATCH] Resolve n=21 boundary: all four open Holton-McKay duals are bridge-derived Backward bridge-switch search (sharded over valid parity partitions) found an Even Level Graph witness for each of the four previously-open duals: dual 0: partition 12, witness orbit 9458 dual 3: partition 9, witness orbit 388 dual 4: partition 23, witness orbit 3842 dual 5: partition 12, witness orbit 165668 So all four are bridge-derived level graphs, hence valid derived level graphs. Combined with the two duals that are Even Level Graphs outright, the disjunction is now confirmed for ALL SIX critical iso classes at n=21 -- the first nontrivial test of the conjecture passes. Why it worked where exhaustion failed: a witness, when it exists, tends to sit in a SMALL orbit (here a few hundred to ~1.7e5 states) reachable quickly, while other parity partitions of the same triangulation have orbits >1e6. We only need one good partition. The bridge restriction both shrinks orbits ~100x and guarantees validity, so any ELG found in a backward orbit is an immediate witness. - Update paper n=21 subsection to report the resolution. - Add shard_hunt.py (partition-sharded parallel witness hunt). Co-Authored-By: Claude Opus 4.7 --- .../experiments/shard_hunt.py | 59 ++++++++++++++++++ papers/even_level_graph_generators/paper.aux | 2 +- papers/even_level_graph_generators/paper.log | 10 +-- papers/even_level_graph_generators/paper.pdf | Bin 548304 -> 549382 bytes papers/even_level_graph_generators/paper.tex | 31 +++++---- 5 files changed, 84 insertions(+), 18 deletions(-) create mode 100644 papers/even_level_graph_generators/experiments/shard_hunt.py diff --git a/papers/even_level_graph_generators/experiments/shard_hunt.py b/papers/even_level_graph_generators/experiments/shard_hunt.py new file mode 100644 index 0000000..74928d5 --- /dev/null +++ b/papers/even_level_graph_generators/experiments/shard_hunt.py @@ -0,0 +1,59 @@ +"""Witness-hunt for one dual, sharded across processes: shard k of m scans +valid parity partitions [k::m]. First witness found anywhere proves the +dual is bridge-derived. Run several shards in parallel.""" +import sys +import os +import time +sys.path.insert(0, '/Users/didericis/Code/math-research/papers/' + 'level_resolutions_of_maximal_planar_graphs/experiments') +sys.path.insert(0, os.path.dirname(os.path.abspath(__file__))) +from load_holton_mckay import parse_planar_code +from tutte_dual_treecolor import dual_triangulation +from exhaustive_bridge import valid_parity_partitions +from fast_bridge import EdgeCode +from fast_decide import expand_and_check + + +def run(i, shard, nshards, cap): + graphs = parse_planar_code('experiments/nonham38m4.pc') + G, _ = dual_triangulation(graphs[i][0]) + n = G.number_of_nodes() + code = EdgeCode(G.nodes()) + code.state0 = code.state_of(G) + parts = list(valid_parity_partitions(G)) + mine = list(range(shard, len(parts), nshards)) + print(f'dual {i} shard {shard}/{nshards}: {len(mine)} partitions', flush=True) + t0 = time.time() + for j in mine: + labels = parts[j] + seen = {code.state0} + frontier = [code.state0] + found = False + while frontier and len(seen) < cap: + new = [] + for st in frontier: + wit, neigh = expand_and_check(st, code, labels, n) + if wit: + found = True + break + for ns in neigh: + if ns not in seen: + seen.add(ns) + new.append(ns) + if found: + break + frontier = new + if found: + print(f'dual {i} shard {shard}: WITNESS at partition {j} ' + f'(orbit>={len(seen)}, {time.time()-t0:.0f}s) -> BRIDGE-DERIVED', + flush=True) + return + print(f' shard {shard} part {j}: no witness (orbit {len(seen)}, ' + f'{time.time()-t0:.0f}s)', flush=True) + print(f'dual {i} shard {shard}: done, no witness in my partitions', flush=True) + + +if __name__ == '__main__': + i = int(sys.argv[1]); shard = int(sys.argv[2]); nshards = int(sys.argv[3]) + cap = int(sys.argv[4]) if len(sys.argv) > 4 else 300000 + run(i, shard, nshards, cap) diff --git a/papers/even_level_graph_generators/paper.aux b/papers/even_level_graph_generators/paper.aux index 8890fd0..a1941c9 100644 --- a/papers/even_level_graph_generators/paper.aux +++ b/papers/even_level_graph_generators/paper.aux @@ -40,10 +40,10 @@ \newlabel{def:intertwining-tree}{{4.6}{4}{Intertwining tree}{theorem.4.6}{}} \newlabel{thm:intertwining-iff-hamiltonian-dual}{{4.7}{4}{}{theorem.4.7}{}} \citation{holton-mckay} -\bibcite{holton-mckay}{1} \newlabel{conj:every-triangulation-derived}{{4.8}{5}{}{theorem.4.8}{}} \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{}{Empirical status}}{5}{section*.1}\protected@file@percent } \@writefile{toc}{\contentsline {subsection}{\tocsubsection {}{}{The boundary case $n = 21$}}{5}{section*.2}\protected@file@percent } +\bibcite{holton-mckay}{1} \newlabel{tocindent-1}{0pt} \newlabel{tocindent0}{14.69437pt} \newlabel{tocindent1}{17.77782pt} diff --git a/papers/even_level_graph_generators/paper.log b/papers/even_level_graph_generators/paper.log index 1bb6ff3..a6d219c 100644 --- a/papers/even_level_graph_generators/paper.log +++ b/papers/even_level_graph_generators/paper.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 21 MAY 2026 23:45 +This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 22 MAY 2026 10:49 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -404,7 +404,7 @@ Here is how much of TeX's memory you used: 27647 multiletter control sequences out of 15000+600000 475666 words of font info for 53 fonts, out of 8000000 for 9000 1302 hyphenation exceptions out of 8191 - 69i,8n,76p,781b,504s stack positions out of 10000i,1000n,20000p,200000b,200000s + 69i,8n,76p,781b,427s stack positions out of 10000i,1000n,20000p,200000b,200000s @@ -418,10 +418,10 @@ texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy7.pfb> -Output written on paper.pdf (6 pages, 548304 bytes). +Output written on paper.pdf (6 pages, 549382 bytes). PDF statistics: - 171 PDF objects out of 1000 (max. 8388607) - 127 compressed objects within 2 object streams + 173 PDF objects out of 1000 (max. 8388607) + 129 compressed objects within 2 object streams 33 named destinations out of 1000 (max. 500000) 77 words of extra memory for PDF output out of 10000 (max. 10000000) diff --git a/papers/even_level_graph_generators/paper.pdf b/papers/even_level_graph_generators/paper.pdf index 180fe72c600c44dbd276c077b976fdcc8c33d062..7b8543f14f285a2626acda434758786cc6ac4faa 100644 GIT binary patch delta 69117 zcmV(sK<&TKyCH_eA%KJdgaU*Egaot&^_CeiFfkx7Aa7!73OqatFHB`_XLM*FGc`0g zmvI6DD1W_LOLOGL4ZiDFOeKeKs&?A!CrP_}*p21gayE9dRwaksJy0{0hS3bEkQ_-{ z`{x5Rz}KiplFP1~*bfjyqtUU&VN4t@PB%l>FDB@55F!~(xkDA?DF%)Pv88g z;zcGhryPD^m06*jTdb58nWPVVifzoKZbAy8BxVsmqM5S8mY&ea*}h^D;i(JYNIdf9h22pfe%ZWh(x75 z-+#AEVkeqUL<%3)!b#gNCe{H7jj-urHK7yBm4hAlp~;sZ?0rRImi+9tEZ6NWuZmY8 z*o7y9Wlxb;n~+?Y zNCuKOVI~P|*dx1wh0+e8VwNfaO?2hDXrItQk_nTzm#Y9Q0Y26hO<6a@me+vWm5A6G z-Y&MM;$fiGAYC0&S|((ypR$-t#Mz(_uux-7bm12YJXL_DRw5aXW)<)TsZi35Cx1OY z;SJKkk_~;W*j#&kY8Te0aY850Sidm?*L733EpvXz*WK<5@$UN74c|Lu!_t6q(q}eM zj>=$b>HP8br=_Su8cct?%rXIQHu$Q~BwN@xl@+OU z&q-sRlO}n}PtVMnrRnPH0#0{>ZY)c^8}r^%W$0(!k@sY^I(=HL*1~(~Gk-BB9&C13 z7Cl3Ha>UTlrfhGhMLwcFRGVVckHEl}p#Oo>H>&)E$4kcV<8FAC?QI@%JVtv!_tNFu zm)*8Lbi}f#*1Ni8G@w1CfQLr`q+_eVYaRI`JfB6r#szNC(V8AMXieY*o@@UFm^!J4 zG!ZtoFAidOP+t-6whkXvnSYu8^H~`dY`p5A+ckv;JkZ>gHy%;kmu<)jQ#jo6_Y3?R zj*}n?lg&&+3O6ol1ii-1;*yO;7Gu^R0sk5z{%c+Rr&xD~robdbMMk6|B!m`b1aRjg z;4~1T_xVG)&v(>8jGQ;rzHai{Ej3Za_{`~Xw}e=i@5&8zH-MIUe19t=KZv0aJ2bp| z#E@{oV#SipjJvJ(Y|7^Z2rKHnF9vS7-EV;#q+i=ty!%WwfIUJBWkp8|D9|w2ehJ$R zPNUm;tu0uJ75E38Y2H*+69lIVT+S9g=+^}dxV5KgBNE_k6r))aXF*9;C-x_D zxKuuU>WIx%UhZ0M!hbgc1_#I?8PDVi?3BfWJq-{Izj?n60w*WI#Uy`3Zk7sXXSo?z z4gqb8x=rUhjpmd={s>+hHyTt0((Z53bZ{Jyw|`zNQ*exB_m`IG{SH*1J1~B)Jk(=T zKzPcuB$N$dDQdy2cSYOLTkV1UWhg7orfKo-Q9vfFoNHi9kbjWR2g;>Wl4v|LXib>) zV4D@DQU^!FJofwVYD~Vr{(b$ooE$p@3=@5npV77xHNoUC?C9Z7UfVnHM4|)t6C6lQ zuPZi1Kh=~=1R~dmUEY;-)%I`XOprJHZdLod64W=#dQY50#1n7`T58t*1g;@N#(o^- z-HCv0?IRR;6o0Aouz}wro`ft*_F!u1-ID(_z?g!E`^Km-=s1!C98^!g_pm34-W0o< zGLV1;#j#NCIRTT$0@C5oU|wl*grg>Pfy9k&S|_8M#tHVS*z}PQp57NGZngsn?f~e4 zHUW6_?l6U!EpGK1iH=Ft9=d0$%LvW3k~#cfP+Zn{tf`uoBF*%ezAxigf@>fMKVco%a|RU^#=vwMsN>lN) zO0vRagBZ7fs!42gEjWTo`6RU&;mPJt>;es?SbyJm%V5%y6^Q+^qgY-ttDM(09H6Qd2W$e7`I5mQPb% zF?;X6^u#b2_)Hgyeg9bzN@*aiP7s(`p_Dsq#4w+YX8z|Mk%L>8kc#)v5Nkrcgy;+W z+<%}<@n~wmW!&GFEu~1lM~5GUIXk~N`|lZ|p?Dz|(qVObVL&EC$m{*t$ItO%19M=m zfauc2y{FtSRFVl_CfhB3J^Sa`8@vUWFDn67ur7o3LCNcf&>%CJVg0~h)gT5lH6VEG z-J|t&1qlEI`pN_x< z9>ZuHy+$OCq5TyF)*u{JCWhGlB!AjVMPjCCPbDdA69xe=1pp<+gA)8A3uGUGs+9sC zoI)BpUpNBh41D0Bxf`N44g@8&iI9o??Sj5Sp6LWIsWf91#wc;iA7xF0gGNaXXg1gz zZg;$3^!DA-TCN%3=%&w~QQ>2VK+2=a0a9OcuJ08XNB>4t$L!HwtIfB8!hbNhF`=~c zF-)r=gObUKOVq($U++B3wzNEKupxPD?IU)AS!?Cb%HD@I7(g@kjk3>X=STo%`ossC zzJ&L%%|U4+3IqO(Vf^EUNPRHJPlH?m&&`GU*)29XWXwW)qR{oSj3He&l&!kwu9e11 zX2uTvZC&xe#gy_k2i)rY#D4^GfS%g2?HF?sEWrvW&4S;ln_^ELBN7qXNDTqq$>UV` z`Hj5r$hjuyMVOvbUTpZ?#Tmb)Jhg9&9c@QTlM`SI6jNXelW&JKfS}eDr5e5#iSzBD z>fqF-xf z=^Z}4J@Gq!=48EZ2F3nRML+jg>5Lc0yld ztA6zkGU8&Nv&&FUfq&AmG=dWp=%C>p4bGj96{LzrCiaPxy?tVvb`NNB@1DL;hinr4 zeL~mbo)+{{GWFGgyv|W%IZppxoUzr-W!d3oD0%X)7duS`KgBu@2Cmc&kxj+{A4ooH z;@i?-h2H_u)B|F6QLuowWIGM@`270zF2AI?-43>j6Drjgm48$mUFG~%Mjr!ZqfZ|WGpvYRgOrC&L0vFj%G;Y4+f%m>U5K`2H{9(VOFYJ6`hQpH3KI}2_vQR&)EL@ubb7r4 z-Tr!oD}-fN745*Pq0z||WXk(8{&1DxC$TP%JAhex&0i0r81{33|H3(ic9755xpl96 zpedG?%DXbb$mbUzu|$XC-v5Q}NSsKOJZ<+Vh!K|T-b+<6Jms)_jA@}ejl*Q~Rts&9 z4)Y{98-F(m&gpP<0i&#MI`H6yd#{OYf-86%jWv53`${A1lc?O=|0qK*5y4e)Pkmq4 z1&e4{)+6f~|37eZR~}FQK+-3m;&_)NL!~8;O_|`^P{f#CswM$Bz-g<=Z;`{VDo4M3 z=eC(n51`UiGPN0|)b&AKQy1Tdf*R1KEWlGsg^48TmZRv%kC*Yvi zB2jT{MpmE0b-HM8p4AA@JU9M^FqxIUmz2&Sjj1)-x^{%JN?-Yt+(Sq3L9!RtR08@ zf>$o(YzNaY(~bDxc4k5- zJ%Vc6z*=Af^pX?w;P$$Og$Hh@yO`0>sVAe|VNUOK>-D;i=6532Q-8{JnnCL@cMRS- zJ3LLF^-cwRjuF{M2(NP$BkuS^ zn$>XsmpM=_*;$|qc0KkU*N=Qa8=3QHyo~f``$MOtLWmWcyQ~jt@=D|j-pscio?#77 zb=u)E!j1K2@~CRqFb>(Z-dQYb5fAheS(}2_I1C19>jUX1qJQ15@vWlYbFT;O=vuib z^12d9hF}RQym1&uM=4~*w)({oCnV7qCrOQyu8901ttj{s^D8UQmlHz)mH=>TC{u#=?;$POS6f>?lUUn-h_YyhhECYE4`$A3{! z^I1S34m?auZfgho zGXI%9+r0I05eM)FhEg4juGMxp$CBMOn(Q0e{7uXU-Ch& zAWIvN@k_v8O9ufYgp~oHmk$5w&)LMu(gEVk=xk~8yGN$qG%wpMZf7cLZ)*#-gE%Aq zUZ0qy6WHWs-#wWAIb3TydpA3;e<3qVJ5#gYZJ4?^Fsa*FI=X<9q6n^-XYe=eZr;Q;>2$^6^=(u0qegS`X5?4=E`kEI#-@yq!;S-JysfiLo71^|D5{{5u? zqA*i?I~$Kb;eQ=5lcJQeh_(pbKP~^;DI#L;4)9`NWdSg-umb_ie?T@a0O!kt&wukM zfh_-7$A9EX+nLz|ev|!P@5@I0Yt63zh=BT^384Y}H<^O{i*&&N>OV@?1F{26UcQ+B zpY{G%%Kx9tf3y5wmHxjgl5nxH`O8oJcfkM053;qi@%Sg=MY=AKmobpHe;Ee5{|(gy z|2@0%U{gyM+yC`Se?veo;~;Ej{vv4xW;RA3+uwFeX9-Jpu&I(I#Khun+5Bx+|2=Rv zmUdtzduPkvSIkQm5cog7mnk!`ez``RU$ptR3*`JVa*)3c@;3&*4AprEUNdqn$nEB?a)(f3pw3%-#w4_d#>81DJ$= zoBl=|049+?hzr0Z_6KnTn8g2$IDr5ri9d)Lz$Ezxu>hE){-765xj*QIMe*N=>xD(> z4`Kx{ss2H104B9R=!He&--!K%<>lhB1^wH?{4zC6;QxS}04D2yL++Pso4>D^KOrxA zXR`a#-b*wg8^hK(AKY>3jTQ^Tc!2>TWI%k%a6Mi%e=BoAwoKwjKeL2^RhNQ@<4yL; z_j9k!I?{R%wkrlwi5+uN@bf~MvJ zs+8#7?`!+!6Wpk&QlQB2N>2Nb?_I%6&KMhjYWG!7$2hV7-=yIi6w5tgeEpZ36`e|XZvZA_L zrdFz>F*R%tArxv~d3mxueLC;#6royhtctXY#)|S>t6TC;FUY$)W@h?QZ<1CMCF<#B zf4hF=UFE*6FE?asU+7ce*>1~zxb_`0Cd!@%K$=~;*A)>IjmOv;PF}IN(I0k6QVtz! z3RR+z`}yv|ANT8^eLEB@vTKQd)ZM=4<34mcKmpmI-V?4&35Qo>s>_^X=+giSw7?Jg z=Tm{!6h%K7Hd|rf*rN(-<6H|Z_OMqcf88hC)=eyK%=KVPm#qo;#7#vZbPFGbH;dFU zr~%l@!-2c;AEVlZ*DhLeB59^;2xksox0mqyBQkQAZfEXau$mJRoM-Z*k?M9Dl0F+h z+Z*DXh!ANMtlkX<7k2s3n-6GS{QOzx`+*mPWo4E7^ybX$tFRo2wN{!wXvqeT+2j4Tk=}+^x6P zAi2>G1WUK6Y7BjmsnMhL|!Ue0UGOd;5fAJQJFVnf6#VSeB zpnW~C6@#+-^+)xr*5EZSfthHg-14eYQCs`fE#Nq1xlf+M;#<>gFAH2Yfe5S!1Oqp* zq7xyo@`Wi{Kg=G;(o}oWU`?p2K@id5wIwSrQLVqoK#MRj`2L<`=;HD<%p`e*tjX># zLuBL&frl>-YW9=-e+9HeZ<@c1-gy-G{dni_2A(2KeVhnXqYKVbM3S1g&4Ooj>y*6MuC|YjgEj ztg4mk&?y&e+{ti7A= z6AQyp%Hks%2s|>>sKy;{i$Yi&V=Ct8_8koeo>_~;hYdd290|C^uW0S@{gl#*r_-fDPJ8H|8AWu}Ozx$+Hqqa>%q)+Ys2>8EY}BJ^zWUskB3N+L*< zoKllHq3S`q#>3wITccIwQHpzht!hUqjGjjWjon+p)@+TP0GUR7l3RE>(qTet zP;jm;uIJL2S!#_RR?2rXY1(C7Gkkt%c`RJkX&TD*)6zOZl4sNIC0q@!rl?`Bz>p< zq;7~Srz9BHFf{U3LA3Ihs{GZg?$|}~7U)7vMRSIQAL6Yqsa2tt9C zi0N*y27jgJ57vclwK*Bz_FuZSoefX3tVWNnxlayuPJ!yLou*Bc9BYEqi zQzabw-r5vJp-35u95hoz>^4uce+cd+U~c6*m7gSG_S87D3kOi&*~lL`{vydcy)}Wl z2A3^owU~PMM5OkS0n@s@ttERf*}8E3;=WCmq|!EWS!l(uK=}Qy@7+4B)7@Bz^b{&! zB-&7U`l{8~>~h~pdC+fs_6aDcI@@arDjb?bu!(^;0RSXLIul+9!}JtOTeGZ!eLf-U^+KdXfAwz?l3n>SEl552A>vbVpx_nu&hsG(R~|0H{teK*i|w6yjy^5>nB&P&BJ= zR|;6+$|0*NTb3C%6hKOMYqCetG#)?h-EG5hhBhB-U%5%4?Zfh3f7DS){(ghc7V~>F z)>RoTmPlO2({VRK&IWI9+$EnG<3bS8_wf|3L(+93kF2UTB(T+%+P|UFQ-F>G2~-xV z@0`sN>+=id^=$o2teNd==ze`b3?2Km3hUP+z87kI97!))>3H5p74oR{W?wo#V{j%F z)~Q2pv9UMc%k$5Be-*I3k!$>VtCQ(l2f>4hnaZk6vsuw`9Qc~jxfV^hD~FJob8Gld zf#bu%xuh7>KlJ4{@xNoDBVk})EyWu6S4_?-Ce_$1Pki&>C%Pyx@MIT{^2hh2cnTOb zIa~pbTB}AleC!ZDfwm}iaz+X62s46{`I_)#9ogP8CMj+)e?zq+h!YqL$bYj|NobUm zwIReENtSA_CnT2uQcKZSfuJ0qdv;a5C!p=QR_6_25T7L23Qn+ZQ#1a#+{M0G)ztOS z!IIc1@cBU2-I2AgaP5mBq?ouOV>kAj_oU``$}nL582>NvIH9W6M8;zlgEgnRLY^FI zVkv=g@XmtLf7o)}3~$x-{LuHjARk-J%w2}l2Kja2aZhI>XJen(?5H1)ea_87*oFzt z?M%=q*&7mJT|wxI@#4LoQ*4eRS1j}-jf`Jifk?Ot(wiu#SI&kF)LGwDIi}aoTpn+n zi^7qAes=AOY`(O5!i0(zOwGAl8Wkp2*3HtbT5N6|` zkV}#hGu&ak{mcGfll&>qbkd#OV=sk?s^2~#J6TzLb}KL`;^%@;Fj;b=@1_{i^gAxz z*B|oEf9jvloneV{4ECz|%|%Z>#nt;S3*PSRfA>V-jW*OzXm|2``SUH6P!-Muc|hqq z-{BA~<&-p!X-U2PLdb)DE5grBafxs`w2w!TLEFR;cX>B#;e>uk7KlU&F6Z4DMf01| z9AGRl^}UvS0*a@uk0U`9tOzl0HWo&^TUJMCf0Q}CjvH&P`kYvSG3T&tUZC*G%|m~6 zPA_xGnZ?oe=t(e}alTNt@$QP(>+({qg)IOhq&uhgW3j@g;~9)K_)hEnwSLnz_a12r zasHve;;=&fczq{;T70(;YU`17!2Mwc%QAlDJJiBZ*tDm;0bQi(6y(`>6PHJi7IhVW zf9o}v*q1kwhLLc>&tLt!LV~>8wUlOZH97{UcRg1o_iVjfJ7W42AhbDSr|BjbP-1B{ zV+8RihP)8#nH7eNtUWej%HrZiIEj+m<23x&H_L~$1g~I(6?3R7L!7^u)lgC|-8+nn zElQEIP{E}#I7Fbx9{W~@8*f~&lJUEUf1fMwCZ-@#?~C#A)>&2ek2Kw_{*d0fWpTzP z{?xd7FI;aPBAM`2L3Jp?WRPX%q4m2H7Gucr2Is73jDe^~?t0`-H8%gUQ|zQs@)>rf zjbjBhi~e#~ngWmTU7DFD;w)#V<9_by7Mt!mAELo?D%jNkBN{f+@K$gJ|t~Bvb*!L8ft;> zK64SQM`b5Di1T#1jbvp{;)!JD^vJ-Bc%D*zmUff7I$#i!b5hs{z-zDPy0FN zTkwN#pZD44rd6aF%r_TmOio>oMWj{7!u`g3?L+zX_nS85ls29hz;uwWfAe;Nn3AXh zo2*{r^4Tvz@pq>xc2n0$m^k50$v3=+hr(D$q#rSCa zMw5^A3o;%Hj*{9=;>&-o>`Hzc!t6j_O5Q~dY8j* z#6d6!2MreoL47mMWj#V-fB9(#p3nF;DKn?#74k+7UKkw-FF$GqtmNW{51w2YoT^R^ zR3Wt#;ntU%UxhXh8;VjRLGpfKy~%H}-;LCQz3)>mjH`ZXoT z<>{fUdl;b8^Sc{H^?X)`Yx~%}n#ZAt7-}W5u)!r5EEu%CB?i|P4HZYE8*||ymiVI! z!B(@#@LjxdBZO+Gq{EqR$cp@&*k$cQ7!@WT`ojvknUjQT_4|>Nv#xIUT?R z4<8KOoovr^^${{je}LkSl5~DaH-<~g*?259VR)m=cY(+3>a6J35~%j7Zqa&{J;hYZ z`7T*1rY6wTTGN4Z%h5w+if@Qy-5rJhf+5p24E8~C0^6rryXDB!ByHxRYJ!2r68h9u zV{VnYTrNF%L(@F6^wpEoI6qSjdKVS5gqn}I{%JdF-fFQbee6vS%zP4yVB9ig# zMsra#9g?scj%+^ibq9c`A}$jtUz}r;*hbSSln}o zQ8lX(U3>h^e~7eHWBzKKpSgTLgvP#0omw00vPtUYBE@MWtsUrSwvf4RD(cB4`b2FN z{cOBNi_7l~i6W#onMwd+4FGMLj;rgxI`e6?xF;694=aJHqew4ruJWF9H>07M3 z#r)uD&mK5jxb(Tsv>XOQ{6oV12vr|;z&!k5aly?8f4LS$L16td!|cX_s*&hxr~pn! zuv&TnZZV&6A&P?oq_$~gsv4rEsb~~JGR4EYb`-85_0a8G_err#pj9k*#a*dYDs#b=xj=b_`W3@3aWua9Y?qlS`oD z(bSIUe{WBV18kU=6*S113Pgp6Ldzm#pbFiy&gvbhD)4aS<>S6Lhutk&MN}7Dq1l{K zF{YfnU$BpA@=M(jh~Plo=pXW>NkvkONB&$oq~*r`m5F?G-P<~?gc^)b!GyOW^SM(J zrFkuZWazRdn+Pa>Y5&f`VNz|Evj1%B6@yAHf3-j%?f4ziRLQ|G3wxMF`_6Hzw=^TW zOOKJVQvUT^0FBXUX^OJ)P~$H31Hv_10y|z(ok4NnN>Bi{{A!hb7%?KdB(0I)R}~5Q z64bRmzo*$T^NpB2hiNUlpz2ga;10J*JbGlO>w6Zy%R4Q?`f722%!n(2(XFHD?^IgW&>B}jH0FP;J8f6cY zzSA`c34j?H7VOKWKkht<;#cCM!zSkq`q_+N91l+F`Qoe4;ZV5t*(Zw?rY)Fw533RC#nQh_Xsb^(RHD0PiDdZ96HAoX})#tpBC9_8MwhnhHk#S(| zy8lk~GYxs*1Z&CUaC_$`nJh_ke{#rsq9h6))pyaWK9%P~C}irh2Z23sKFN0WMCu2y zT$oyu77aZWo8McAfF@5golC25uJ$Nrm^-vXgZ7cDIF9!0HVHCL7$k=@aQclokuY+Z z&$cNQM>bY^6OhCJs8=Y|KQgThEP^z%wsg1YKPFRIZD8fKa7n*DS-5Q>f9CS9lM;Sh zB9zUhHegXMeKY4RsRxT&_=KnMG<%Ii7XL9xrGH*7*H!W)>2wsNdzG_ zS=La?OAr7k~* zylC3AE0TH)J3wW(iR0*7W`hp*3G-)^jQjX2G!*~Ojoej|)v-Pme~Ekdtz#m5yD4=C zMo)M!=2*jR?|m6-m&)u*n7w`6km-S66k2ml(fmoCtP853%@f{x&s>^d1}nX41t&Vx zH83&$l>dA=w*Jl#1M6cx#sQRtFFRC}lU1)C1F2=n!;_G0MB`kZLW-A;0GQEel?`)!pT^3 z5hN2M*c`NY^76V(Gvuz0Sx1g~sf>18UM@zXLLV5LtiT6Jf4EiF^+%X69(OaL7f*8v zUH-(hl=R?Fa3^4MWa=%&DNj-1j(j70mMMg|vwWZ{+Gmy5xyN{p{Q<|c&2(^N>}xc! zb!)diP}y6X8fsO%BO$j&?atU|GK9prqwn*M5rh!nXEER&Ry=v`g;ni_I4@nJ7l3*; z{qwkH`klJAe;YXNJ8^nP>>LqHhr$7arO_)d1syN==X1ITA9U#<1+w0>#gD^YdakbN zhAJ_3O#`UH^Y)42?{s@{_q^o}pav$|by#8;KM;p2e(D%r92PQZ*DFM(e6QJbm*6W% zuB}@P(D=4UL)FXr)C|bpC#I{%a%GvV<9lmH7hojJf5WqwVyvbT#*oyWN8z>0%R;dJ zX80lPZExj0?Xl+2(j4=O$x<{XE&5uFZ7_g2^AhQTc_Mbdx_IYR2E@XhIl{fr!aqcQ=ZoFbXs2ynZb&-T&;Y>HJ%@ab9TU-A8@!fA5_)h z!L8?UcR!r zYOry_TAY^6H9S_LM`uiG(ONokIiua403&h}P9X5!S?mG?>43CE3<88LdB%aMP+UL@Wgq8*TPNI^m{$(A`lqyL@aDI!D(aOC#OFI zi!Px(|CW{H1a+!R|GnpD)73L=BhmTef2t{solA&}NfX`P9SEUiB$^_I?lHoD0i_)j zkua#l<8gw1LdoRLjQxs~>{gEO(`%StQk=|C2_=`lb|1LjK@j)+W`V@a6KWg^2{LA7unT9Ba6=0xtvyX=s*UyPNzr&i*Bv)x z)%$uJno|fPpoMS%B48?b_q+xff3m0u4H(Ngw>uOvoVZH;QC=_XC-&6>o+nTEK^NM& zFEkA3>|@)!^k7-u;Z<+lrCMTazyjqS=0jEzbMFe%%6BnX|K(Wu$>}NAtcmJ*S(&)9 zdGf@E&Z0qqi!BQccJk0W8fK29VW}c-o6T22??BddwJwS9gF<9*>LFhWe_1!dz@eZk z#%R~P$3vXJD(9JMpNPhHUImSUUicRJ^?U|~m4*zFk}I?ZwWD@W+*-)S1?`OGGi*t8 zUZi<4Xu%`kU@9q zq_&jX2jOVV^H8K$ss(FnhayPVcbMFYhe~43Jf9~VF$sERR)IuWe~a~sHaWy_Nckg{ zCtB`Wwzbha*aESr{_-Hzj07tAs%*+mk-=U*#jDJ~R0hQTu#|O`z9lCwE4;!U{`$72 zHbiZo5#gs#blSgK)CEO8^`1)H%x{`sy%rp?b}DjecrM2d^vZDQj@nkd`*gBo?vqrp z7EEZ{{$&QDZxzV-fAy(RYr*rI*GD{)Rf-AL{aLAIb_pb-)h|7%AWFnY1yB|$XS%>= zusuB>YG?mj{_Aq=Hk;nV*JNuC4qwQ!L(KFw?zrL(CBK(R%KNnpP(d3{-;fgzP{Nr5 z9p%mC&r2}Of~d61Mf*m{sXwzmq!>t#fpIWlw-Df|O6Bp-e~bJ4zj3w|O5ZdF+oZdn~vJDv}0~2s+8%9=W*SO`cRKppdyRKVh*G5Nfb^MGH$e zr?n63ywT;j_tRxMHcEjrq12J}mKGbKS|dttG-WI$oXY!VMVt>0^}hU#U55xkl_!tL z;bjlDoevl6e}=~4SRM;f{jlFE!Y`$MvOS43CO7a}#hljv99wCT!BajaytjQ&fguo;+kQf9cyc#lgHxE63WG?;S8;wb=l8 zzNlNBs@Ewt!k?+3tdi!Ya@!qy)Ec`GCWgMmGgNG7j)CtQ{ioQ&8S9S6`50Bnb`%Ap z+`=0s)HGWBI%(k!1rplP9y)PtY!W@uc)vxTdqob(&FWZ9+|`DwJ7Vgi4duA*XovY$ ze&;TYf5x)}fmt09p@Q3%lUf_&+Gr+Ju-<4ivJR_$WBGwR@r^`6{aMd{EdK^-D~v;r zS#FF*k3%U)ZXaw0m8gmZq>D+xUJ#5Gx`jH+X{Y+GXK*1MnZdb&sV{!P)7MYKtIY;q z-1m0>tsJrzH{f0A5QdL6^K0s~?aFi&hFlHXe_JF~^wG6}2>h>2j15(%{r#ju(Ri16 z+H+s}`o{ul#4A>77!>22?ZU|RyXVcdw?n?h#b>7TUWLvcFCZVbp-hj6^4t_OLTy#= zf0!<;9FLFhKXGKWP1S3TD8>GEj+Hd^V1MHHcI-7fW=+slhqdOhInL?RQ%h0n5C8dq ze|L78cphb1d-8}G5*A_%9L)+Bm2uP_MTfC1S-T%ClAX$`qJoJ^KwAOF8N!Q z`SZp70rhsphQmRaYD4%FVs#TZhazh!stHhWcO@dg?(^j@5~_*=-?kuRGct?|Vg@2T z186ay2u(I0Ikpa#^NF1^7YbWAZd9Z|!WM;P_e;5GK`r^HQ^|}}PwsjzVjRVnJS05>THjzh0q zCX@7@H0I@%Z>#l(bzP*F!Kr;j-C^^e6*wX-xcKYv&Q7eWvY-m4KMX4I+jM{Cbs>&WID5<$l96dy3)Vb9xTeVI_=bA!SL!FQ@{+4rPabb?(7M+ z*S}VJYVo_kF8Uzl(dPgqJCJ0D^Ilh8@WeU<10^N}52Xh2H1B8IlIJCme^l~@rt*{5 z*;A=bTyc2BL&jIkggjWf%v^mL{y+l0dGS15d9_O+6^H?j;j&*t-CK;;Em<^ZwwLsp zCoUg`5dHB}g;qr)buWqKukyOo4nf^yh+~`M#o->6_5IBL8R9M-fjddmVDHn8z-7_# zcl@;#*=Qx5nn|@LR>EfSf26gL{M9Or?3jUrhgS%~SrBCsb+@U$L0`xDPP%B4{Y5F= zgz?t9RxDkrsB+YV8sN4cE?e8UCszKR9I_XSnyS>e-zr7@Ex)Tio3Xe^OcMPyFhcBlT_Z z{87&?VI~!DC9@p1GK6Zx92~@mN(f?~68PymL=m6KUx|-&#T=2rBQg~poSSYq*&_FU z-8C%hBQ{uf5-c!-*!9U9G`j{Jth6ZAlPieh}5ZPno9#|?r3sLQg*OdL~fmZ zJ^VQ1*`usu1Qfi`S{f~d5n*|BBbB?*3acTxx2C{n?3(Gms3S3*6s?G6QiFkxDYG9Z zwY}~L(58n6kYi!!RD6Vrcy)j@yMkJZiJlizl3bNU9+K$z6!X2Y~7pQMx>EXRMc2!ow~vif3&S`C5<-9pOTftR}KZb_Iu~D zqU5!G!1|_{vf$*G$f2FxwD%b(E~S&3we&5xd_476xh@uCrZm+W*J0cC%3%eCsiFtI z+?er9bjOgVyOMuChACdVgy@rPqW{Px-6PJSH#wm$T1NuGJKx^79n=)o-5$E^bX0&_ zSgUR@f0t(ch~8cqbx!kU_8ZRlF)Wy7Mn~$OWXm+zp{CtEwa>dl-=E9?dBx=(g>ju9 zD@fv5-=<85qty}dNJ(Dd`7E@t7DRc^*@kq(r>me@6om-?{2@@}(jD(Pw2pVGX;r}@zXQ<=x3G2`vVr?D!;vQeu@*f ze;WM>HG!iaMILb46`-YaDB&k-_H-HW=m}uREcsM1vY7DD%&i?%S`^Il-rjQvC6Xwu z=9Rtmpq8ZGD-qr_ts#D(HN^Y*Fj~K_PB|ot3=uyd07@$lLtjNvTCrw26to4@$+!}{ z(;+>s(d9lK831&X+RSGT_sD446vLQ3e~kC8uyt2#S#!nZ9;y;YiYcq%DXU3Oljszf z4NcOQZp*bHBh+WEVF?U~yD-0+c|-2z1YO`HuK0u z9;h9j$(yj-5+^;DVP0Y(qfdO~FMJXD^Gk&_vj=1%zYmRU`}N>@lQhcLvKmPTe+}z3 z{Zz9wOs#S#rJ_3};3dxyM6hRtm%X8RySs1Ib(hJhhq)iiY5KaTy*FNtQ(tP={EML> zdU41zLIei+-`Nd|t zJsCL4ZPy`1ACPdB>2(-<```Z>u-~UpiWgFx8!$c&&en;?T$a!x?|-*{^7TzKxqn)# z&*-!IHu;AEpM`dX>Z}MeEV4H@E>t%tth;#56buV7VfzEMv9a0M$&<5V`GyA@Q))7| zEvunEfNvjcbQ+z%de8*S*B-rrUo^U(4OffzAgL`jeX~eQmy#=*7Ov_+k@=ZyJ7HVh ztWoM0(dbrWbhAv{G=*PwWUyb+X@6ikT7x$7t@f*U5}|m3Z1nG5nc9ccrELi)JNJuO z!REvTbEQ&{@bujjY(N(00+5 zScBzriI{>@fOXKxclJ|_kAFDtqrRnz7F_OeS;5v6kij1XQ)xb$3Sr zFA|S?%)9fF(zGOoF2JEp9!(RQv!{03h-mUDMd z{2ED|Fei1-`n*_JG*O8{il8nrbO!Qtc=;epe(Tc~RM?AsPkEqY#vdyN=+;x`%DZBM zK{anjTu*%DR3)m+7jBA%e;wXyaf8F`6k$`3KYN7S6BB9YFMc1c0}m5{r};AkTauRs z31i%f2%_e#1}}sc!KaOOBYQTW_Z|Vl@5~sq?r{>I=B8wf=sTFiLQO(N0(=!+9o^%Z zi;OE$0rh_X6+oR{mjOcv6PNvm1{Jq>Xa|*6$&+~_Ys58*m z6(kcgb_LnVJAc>%WZY~4ENlQ4P97F69%g0$D>F0q{|p_Rc>rR@?p9_1c}9SYgFVm% zfkM>5(aYJ&!qOF#=6@dn)TT557H)1X`oG)(!gfGsD^p{8fV{D*CD0C((bU)$pz2_1 z1$6cLPY7y0OIKG%9wsIa4-ZCTI~PU=XA1!udVq(OtA8ax1?U2Fb_bdPel-kGFt!8! z-5DbS1whTx%H?mls)M) zU}p!kcXdJdRiBuZGtd+?b}y#CH)~_>;9>9c4=}f~H#7g$gqfQole)c?lN(T4>>m@5 z2;sNP0_Y0hU}k3K;${N?od7^jQ%j~_;nlnxfq#D~S$>H@9r*b;IyeH%K}`VttjvL+ zKL|c9#_m9XtFs%>&*x9Ye-Q!;3&70E)D>U?w6L;A_#GW22AcnkLCbfx@&xEIgSf{6 zVE*;fa>SW9DEs z1^r_A|4jA2T>k$t{8yC!H;9>mVdM5Z@K!fE3>t- z2P!$ZSp9me02n~4`9C_)X_?x99vvyUA|^ z>d(a4*wh9HdSjTo{+6@-EB~AI|9>h#!!rF{E-09(gDq&||C6w@|B~3*{Z9Cc3QT5y zKu}8H?+Bp6f&aexYBv-EPb1ls>$0h0ZZpMM$Dru82X zv=W;?AZUz#wg#H9-5;%i=Jz`?2gubPbWi^Z*g%==-Rw+$J;*HnsNmN~9Ddgbis|r& z7t61aIQ~|HayWwCp7#G?0Xxe-(*JUR9n_2?=y~Vxd#miA`8e9Tx%?3yBysvp8&EbU zHwRasnThRxQn0cAR{S>$8-Mpdn*WMfe(m;;&9H#l|DBct6kHh4DQYcE7smcgmbG{Y+H258Lc}tx7Mre`v z+2^Ra4)%RZqH^m`-zUR(mC2n}g!u{VzVU)1;o4q8cmf7Bp3OC#a4JIcFNoU({dWm60>>d|^Z#WNJSCYe8QNMT$V2;pea z&plCQZf>X1v&UbFW#Z`&{ElPT3Vn3eSz{l5c&}8bvAT5PlH=;&5JKLdk4#efi0miJ zyq)tYDO~QG_iW}XB+f>nPg!O_W!z^?ud-5!vTy9Jb{|=2XMfqw`2+~1!tcY_POL6% z#58m!Rm7@lHH^Y=t!A?U67IK~i>$QWYIK=frw}Z1Pu0ExW{|Wkj{=*ze16tBtqczJ zG2DfxwA>Fi4sCV$X%-9i3KCd&u+WNI>P9Xv@uU-`K$p3WLUd{Zr7=lMaLSS6dlBnbS%0q3zCMFCXX}BkAMzT)sqkvjk#c@s zfNRMnZj=#DotrM+^&xjPj!K!g23S86QpR+?UWv^pR_aA8m$1n(f6-4~$Sy6}y)*Y^ zFj6nr%ld&kpYc?qQoZ#fN4_%2_Hh)$=ze|BfJjJK4}bTq+5YBjdAW!I)`5e@!+E7g zgvem*h8kCB?uT}j!0b*J#m|z$Q4mFUTR*ztO~_8vMBGX28sktj)%YK`Mmvk1Jm|}$ z#VDu>7vy_o5BT2uF6hsT6?Wr(4HUxuaMKvbTJufuo*L{;2I@*IMaJ$DB$?s2!A6aX z7d#PsRe!bnJTmWfugdQ9 z^T?)Ebr0dXMS|+|nLgm!@xTa_2pQ}*HfBtLv12JfK`B+ns$3x*=Id-?mi4B0rqCmC zToeBn7rmNQ%p1P2a(=x|ZE*56F~JD+L->i^Cx6aQ*;Ag9xytta<@jllxZ74$6thWL zBy*Dpa;#u)t97%|(5|-%187L1&BL^U;Y|0@qTs-`_bU+aP0SzY79 ze8%da<@st(=vw7LAY6U@*RSb&9}x_A^ag6b#xb4S%~%%C)j)a@z0K3x{a-#ov^OLT}CKEKskd zWtUx%-JL`?-SAGjCGYE5ZPgQ2->zvC9`hPu`K7$fgM79&bHzxUyAS6YPSUL2eK!EY zIooM4jg$?S{|+)KQ*BCHmT_4Y=Wvjwi~gD%jg&8((n{pywm%OZE1DP*->&O+;vCHYM+c+s`|;p#Wk=>HSt%@%Osc%!-^q;N zex`SG@RzS(?ZNS0bxZi1^L~btHm#Mm2&wlwQu*X7cgI-CnqW`9Y!bF94bJfR-G<(| zMYd}trC{k+?0C=hPkR`(Bad&1yMJxuIc5raqD|=qV~dKnv*SXAnyjA0`|q4cjpFB+5^#@Y)RCY`bVtH(=Zm{Y*ly$EG zz8F3WN?Q)2xb5eP*qutiyydB9L57=8HiIi2@Z!7+?p$025K17GgyP8AbAPB_dQg@! z98G_%%98ZHFX2AK;UAz%*rpzNZj*kpRCuhL_1RWL2Oy`iK+3tB{;

wyH1cq#PiX zKR&eU5o*-@5nhQ?P-(YpLczR{3QhZHly(H$lbg7f$Yg%gooV}xLP?x8mxoA0m_}7Z zj%k;#4EvM=qf9hQIDhRf(|?xti_dT;A~jjdycV>*1WW=cTohO;Sm-++m3fB*w5}et zx76E)n&%KE!Y=``z7Fz;h8VNcDVk_&F9h-5ki53#_g^^!%X6v?zTFwSW)Z^)DY6{p zGG&5ETo5NUuz3-Yecm!fk(ZyFknGiYUeSfLt9Whk9*>p?fPqK1Eq{9`C;cuX@C67p zuOSkrDMH}4r$O@(YFTw)$qJV~_bh0&_)G;Iy9vASTdPD&KV;cArA)^CZ*owRfu8qJ zML34KV_F&!Xm9(ku9b7Dkkpi3Z`?z29uR;-^a+kHi+CZ<0hWo6O^I&U7av2Tjp%HB z@Zj!%%6GFL4Ta3#a(}YnNv$avyH9%Ks*hqBe$5`m?9(Y{A)+nY?vFvQij$}7H*pLM z=k-}B8-Wk1RA$58*U;dd&utrxm_|lI|DwpKn6++2-}dfZ`7BY$ad&u_MK-@4|GE&V z#QLMG#JyUs$@)I^qu~ z=iYSEC~PVoDFh_A7}%WTxtPVK+ar6&cfr9{=I<5o%o50DdE@HGqMesHBSseHm4&z~ zh_y$_OLB3OOUqfkP$mk`Ti|cl+j4q=zn6iJlTfU`dB8#u;)CPYhU{ zvdyF1tH0OYnSZOJS{MVMQ9Knn6Qa8u5d2_{;McA#fEc1<{@HnF`d%o&CtBFSvohiVzwBS?$h=*fIAU0C7 zg4j#?nS{uHyPTJf%Tceu!xI->ds7m@V1+~c%joicB7YV-LAK#?bFyUp-NyMrAT^Qj z8{0;V$x{}i<#%q3S8jBtTMML*R|34}^a0+3b(0hb4y{#dIi8RM%&9KHXtM*j=$b4N zp5v!8`zdPxix<22n0ikQubcWsw8>0TeKK!eCu+TO?m!QSPU$UW`zTGDw%sB5uBV$v7lYaicJegFMUiZ-YG) zSjvfG5`_**-+DGD(Lw^q%RYW1on&KcyHnzx<9|NZiE-h64^CyYRY`<&?7XP?z@v~< zcs$@Tebb-RNGt?n9`Yu`fKYQKjFOez1HIJN8*!I>hE?+nqsC(;tnXNn+vGKWhg7jB z8)Ilxvzt}|U4MnC$jGZKTDclNVlYWh`O|lN3EHw{D>dwkn0*5Uz^$2KzPwRLLAWY~ zT7RuVi!4`M6&#()=hf(9F zS1-}$)3PC*KTxEiscPy4z;%>`#!#de)?F#`w_lSpI(18ExOyntpK>h6>@(j~;~r>J z%`6#zZ&2&Lpwe;VKZRy;= zCf#K9yZxa*_KA^PRlYvll5v50E_idV&r<}t`{tS4+H%Wo9(&?7ODcH)hO?dU>#55p z%u9G?;GGJn6d zM_e~?46|@iN;M;AnAE$i8kL8Gwwt;4-CE$r`6Tafe-zjuBrmk^C3)=gi7AJ| zJ$IR-04tYFtH|?Jy$ciMX=H;1^>wKymNGrEtAOs8&3B`Tk}kbXK|I7NB6}E(lxiUC1TzTQy2LJrbkTBnTWR+n!a{Y9@z~S}Wc|8F7^^sBD7| z82G`spiOWgG;fbp?wpKjcz=CtzZ~=(4yj%7Y0Fhu0h&P$$v!zMMG)F>72CitY{>#M zq250WyDyG6#)#C1YPto@5_v>dIb6=NOq*dR*k9H8#mkrjAg`n?S^8swmxvoG zhCm;xbn>k>7c5JzCb%Gx9~9>RS_yZ~ZmcSz%)n3VPVJb%B=UIIVTm``p?c&8gR_BRUVZAqJg38_j^CiA^Q zw>1O@Ht@dFsnJ7-z7?VzMQpxe0r1 zAL}I}HeXu^cfv15EmYFBInM#>)g(K0Pq{bKO5cZ$eUkEE#H&)z_{SWL_YDw(<}HsD zZ6J*@8&A`>9Pc0BRK9cbS|)eCOkTPAC#)~3QL2a|CfsG&Mi`LP)V4EGLOu{`j!!%py9ii3M zoRrY=#~}0ZkY}4F6~?3Vn`d{bzZ|6nw4Fx4z6d&|pF4pZRKf7A-KE$!@dCS1a1E*!k3jb`Om5%_&& zyMO!g+vM5t6uP!E>H(qH%`Hz{%%T|)tV$u|3LsI~746LtL)k}qOq$IWg3lpYg7)o z;xg$@(|SK&OQKHlcyF;y4E6EvA3a*NV}IzrJy+=PjGgWEj2HA~uykD3+XgHEJMsI$ zjoj{qAn<&lDvpV(crR7CG@xnXYz1{ny|1D^4WUN~H0`}RA$DYto1`4b{|R{}Ya{?Lsw<)RZj_vNy3#S|QYP5q zKHS=8p!f8FHUVq)S$SxqM8U*7jBcr|eKj=8ffPPwp;#Th&3p37;?QE$csur^Tb)GC z+kaPfK`mDO?;qJqq|!$7(&sMI47w(q0skj zx5szg4*?Qy%`_zCX6fnnuwAe!Bwq^F4Vaoro$9)w25-SFqkB;*9v*avD!fC*N?nEC zu-yUC)6%o|<>!S2tZDc(Eq{%+<=Y|zUgz=#U;Q_L>n9pwGCzD%T3WPF{3eSh0k@-xZxd9#FA zqh;I@<9w|e1dV|z^nWA+QJB4l-!na8gpNX!IM#$H_;uACqBdfT3N*0Z`}@r8Ia}M5 z9zw&s>&eTD_6CPh+*=8M!*tKCm=H+yEZ-<9t%Umi_o0$PDC)DQoYIJT#Gga=mTv`~ zcm_2Le?klj{3zn4m1g$Cp03v;^_jUNxd-R(Szp8xdle#FqYE{&$^j4Sz&Y4GFF5otW!T?VMd#a0}?~CPy&K1q$F3| z7HOrg^2B?H-Ll6WfX=12i*H!4Uw)6=k2+P1$U>e#^RgdyZN=Y(+0No-&s7mwd-!qV zXLW1M8s`(AWPdXBmTR$zDhV#JO^+9G0-qjGd|`%N+pSq9`_hH?oL?fbzI0B0dBGi# zasN&)OY92{e_0nc{z+r?;Ke0DQ@UG<^=kMNh1O*e zRSxd(`;e|$@R+hJ((c)wj9QC*wS%^mZ3B~1&0aW|C4cG~T5>?N2TaBNJ`Gl6bmCT+ z0j2_pb7i--cOhS4IOSXC6kcI7X;FM5ridUv1O{sWIH$MXu1YDY9t2H#pUDY z^wS1JK7VXxlcR&_U$9c}DL3zK`tL$o8f*}49gG}*4an~&TkQ8SD{}Oh3?&4!dbBzu zc7Wq{P8?PDvG*SK<5bnZ;#V@8S5P_G7PQ&w|SE>uv_EsnfXbSQY%ROBpUH0#@_ z#1kUfn@iajHo*Jxc25@Z%d%)AFNN#!$ZS|E6MyusDqWLi7m{uhMlJy9=#9;oln9y0 zG&2IRzvKg=IB#qj(ZFXYg_J3YHmuI;Z8L}a2g_cuc`tC$MkzLB`^_DMk-%;G5oAkU zY*9)i_=etWFsp3emzOKxL7nSb$OkfZhA6Tx5gSBR5u0VRA~A-i88WSjL8AMF$nQI=+x4VeEU{k z#G3N;6yr**P@K zN#hOH9(+}GUWi6;zkZL<C5dX7@*@wvd85se zbuJp@igLs5g*VJOn9>thXY)ECt+wXPsZ}c+?Pu$H`zNla{u=y9Lv57H_;L9!n17o! zY#QmWShLy?QCsffyWFM+T%Kz`LEmi8_Pi2M*WT0#_+|Ap0>4Fn>#5wMoL#m*f2;?7 zWA|yfC~hJ!iP%Fix*GB_Tnh>Ek+P`5*8d~hVagpL=JZTcjCm2BWOd<( zB%4jliii%(VX^P19b%XS&NM`=*w}u1X$?mtk9N99LuC<;1`vlEq#;0zG=Ez0@she~ zeLZc>Ha#2M1eXYrZu%2xWu%%honsd1^_3)LD*Vq5YFTycp~mQKM(`6GF~=Igw-WGt zwpVun7E%qoZ|qb#K9f>BN*Rub+G>Z?kxrM6lX|Hn)Q5|d&SlyczJI1o!Yr}welr)p zD-canab)Z`Ea!{mg*4K8%6}=a?xsgdUPY}b(zbGWDO^tJyI@?5C_hE_u7NR+X{yQD z=EkgIi{?b9+?V#Jq2Q~zF0bY`Qp^=bzR!CDS{*Q3HXc>44G$lvm5!a)s2kmPelka@ zeG?upZ6$YRX_w`%=z>27l%rNk;d;;~9kVj9!syrm*puBs8zdxmN`EO|cj9VAg+_h8 z|Kt&e6G~8+ISDAeCq}(;WR2SheF^ZXiKP@-j%TL0PBsTa%yPz)0Yu7azO5Z4wlf42 zp>&UbmVG(_5U#_s=5Q0=s7+at-bOf|R6j0U!HcNKE@KFOlKJ6< zi8m4ZNzme@2V7HBss%FY5dVUr4sM5?uVJs5*F}z?NYF%8mIS;r2^wmO^Bv)an zDG!l|s-mG^xEIu4gi8`d+{+bWHFeD>OPEjz1C;TiwYfAV^K}czPN2`xq0`Ow``~?4 z;*6+#zm>VR7|@kddg;%7Dyrv#4E!EHb7{20n98*1oAtEp(Dt$_{aPXkRMb$wJCtYq zzJ_f=OXf2?5r11)feX0a`gG)NwY*_{=e49K81HvNzKN!fU9;`aKcEuP%-g{6GIPB4 zqL)2A)@0J3lL==VJ!eRST(zKUT>$!xkc6H-KAQw?CYh# z7|gSYsp4F!hz)}V==su4Z}rv$?7${0Uzyr{dW48(&wqqrs_~ifp-suod**>28-Oszzw(ps@H6BkaNHsa*O{HI*MjxD59vqC}|shk;|@d{CKAC6_$ zRPXdac)#riVq=_0n6)2=cAFM!)j?GRDzAY=#SJKp*+Ceq^Bwl(ari3j=!#X>-A!{6 z3Y?c;Km3EhOJz$p%h z$zwc1&uoDVRvbjls@85ou}+&2tvRl{Dej}K(~W|MpvFWx{kQUiIA0Hs{m5fD;uqIx zWP21o7Y6dE_kh>Ox2l=&Dg_a-z^+qiu*VzSbbmN1xOFK~la=GY<^F84{*^$xAXe_B zkZXi+zLtb_Sre8UxB5_seyINABpdStn*@*VJ9Q-S=3sa9Z0#py1pB#Q_w*0Kz2H1V z)L^G*%0IU1W>G`VmuU-GXosv-=Q69aLqELlsuIT&te9dBvb+c-bT04;kZ$D4Yr*Gh zK7WW?P!E67U#ynL?P8?lVP*6VEDPK?4Xg!|8C-a`(vDDqyPeQ)JeSRYIa%HQ%^pQx zv^<;y7cAZi6% zE6!2DL7Ne1$4smM6;-nYJ&5BGQD_-rKYu<`f-&<<2tIWrxA!Idd@<5kI8ff6Wwa_1 zp=3X(->t^woxgZTcEU45?Yk9MAXtx)Q3jP!=T8Ia8UDdZHJzC2j&QwVFM~DVd7s^C z392`6bpUOaa&nw=s}mI(E|MMd1X#@F0+l4~_m<}&CD$z?Fw!I5)9>q+g+$Ez8Gj;7 zNlEnH1;xS|er}M;i^ptlxSWW(MbUqH!e~;&_RHII5aA}_t_YryJ1vLe>4Pa@F!%0{ zgf9*Z`r4E$`QG*PC|E)YpR1ws=QZwH;y_(-qY8YPA~pVnnh}B1rbu+vly)_=wIa~a zSMd`ot+{Y(p#_4cuF;;Cjsh>4oPY4MI21hex{0y_6+B8v0Ns7;4*OgueOI)$*Ce}u z2EMl0u2#}UI7@7AjJ#h@d4gi90kjwtx1_V>BFuriB4YREVb?r5iA=ciyjIo3M=L5j zC}L}Ls$sfoxq8}VNpjPTg~w2+?|c+zaXg$_F1d6*?6OmcSn>Bp5>7%fPk;TpzDdBY zEGEi^_S&zir58}-P-pWcr3la|b)oxJ@L>U4PdfMeHjGd$W}+58TW+nMUBarB@fEAO z3HvlwfIdylLE=|Pq}qTuHeq0(f3f}s;1uqpAcfX0a%{o^EkhiAd|_V_NQ>{@w}d;J zKcwIb@Ww=B*cG>HX8;<)$$uq1*_FMPS#f)45Y-I7yvOf(Fe@R;SONnZEmpvPQer`) z+2P0&)#C%>kPF=ExVPUIunpWpIHa?kcrCMUx`6emmmph1=t-0kQp3dv+4E24 z*8_eW$r&A*ju`vNU&`*vHRoR9>sVWiL?rI!6n#NYE3=G>>+egPU4MYp!6gF2`8oJ0 zrfMi-$YpIr>6s;tJ)D+r-A8`{0$h9a`r1C)gN!Ghi_*CDxg!cB1XMb0Bw zUP#zq%d)y>jVU}X`U1<>$%<;G_#{+)Z`)4Bym_t+uRoR5D$;*@XGJYN6PlQCTf)hf zM&YiR;=u@$)$_q`=7QdfFpHCLJV;rN2!D-}x<$_g+u2DZ1$9m1RyhtYo&Y%VQM%k6_dR|nRCA2s(b{8IU341_=zL!$Sgh7E7r|C9T)TVuAk4h z5ylEX(i- zb8+tM{TE>=BFkNz=>UBB;<21ys;`b}lY$ERAzb=>nSVb~0ZVQDCYSZx^4FH_A_ToG zhugKI16PZt3(`U&>_ogPY+dogq#XeZU&xIb3~Vgzs-+y>O37sSC|#G|x?3x29-43t*mZ>+|DNJdW5BWU(Oz?! zuOCln;flVJK9E*FoV3(4o5IrPhOBWg1AMUCQw2W4SSt`ru-Bpv1y zp2&v-XrmvP2R|=HP77F<$KoNv5_{K{e~TsazFh7^CiKHs>DDF+{32)q!39rjnaSH) z=zd7AI7-P$w4#hJmEdGsvG{prdyU*ZaFGXtkMfV&pODf5i#2XI&a=G6U!1)@&wpl{o_-?VO}vsUjY2{(!XmfhN8u4%kZ{}{ zZgr+L~UL|vL8 zITx-N4Bh5Bq4f?}+Fzj|wZ)8DrffEt^0NYJNPg;g!Jmt#8Prv8CRHP^s>s(d41cCz z%MZDN`3H6CzV2Qs*%Esc;ycVVmGk4m6E~B&^b-s6p>Rm5@XxOM{m41nYUJs?`Yvde zg0=&jQjx0VKGu&d{H_T~@M*#~OikJ=;^O|8QtjhnTt$nAUqog=6w*7XMPR1v@Yq<) z<0Ets_*2InJ1-9V@P?@N(rH&~TYoo&iPty7k+z+(a0%$zPhGuYYHQqE%`8&poP}!- zVnU7F16;Anx&X5hTDHU_9Z&6V?K%fiBkcVain0*hciZ=y|woybw2d z!UfiC?h2k8CONHVCG#WYLR87;2FLAz*XPXMHo^2WgszC9dlW=_&*?DBpMS{3TWjZ3 z0FAcA!5cL0Rn#TYGQlv+P+Erfa*kGW9#r4VKS~`!nASm#JLT-Ku#9KIe43_vL^X4m zg0~46s+hKu)Lz2NZ=@0Pgy)y~F&^*jGwk^J$yy$~A?R>xeX{||FZvyPfg4LwnLDFz zRm_J#ygTj}DsE_~RfL`-9e?P&xs%Y-8vc?3L!L|3s4Dd2uA%O0iW5szz<3hQF` z?iNq?>GIo~J@MLipRjjsUeovsFiYzvvG#>#bIPBB)wX1a%Guuk5XL8=6QFfEP5c^* zA)>rT!%Oo`3TU$4?Wl)M@IB za{Asv_Lz}tMLT?N4e`BDkHvC8H$>0WC)o&OuF(@WIp9owz~=|`i({t>xg@cLob^`Q zqVTiyky1^n2^5)_#)ca(@{lOXow86$Coh|V=zHaDFhXPV$PU~}(PZvxOVW#0Eyr0U z-YdF@w`O&~6L>*Z4S(p+j^PXcAB^oPBi!)kR(XY_eJMq!Pm>%O#;pOSB)lwd5Lj8d zQIH-Qr!KzZ+XQq>gp8HQ`i}h9~ zHxi*&`3Mv=>wIMO(tETf)YYu3o1r<1ekD-9ELiO%l)r&IpnpIyQ@LSNXfNGnA)VPR zUHGU&uz3>Mza}tWH&S%47)sap*)N#yM2JF`f*A$ON`ql<8M~F>b&%IUBbz=zH;IE_ zw)fsgQe2JP*pgKy0Ej0_cW$Tqlx1^kiAtjK1zuz(+m*$f2Vd-MOjzi;Bg*%4&tXw7 zby!qA#1sUWgn!1K3H3=a!gMu=t(z;1UL^W+?D`m#m8*M2(WCz^STt<=3xCLjBi6E+tj}$5Kan#w zp^GhF*Jzn*uZ<_}+_g3MpPG10W1{3lCZ%ljS|~Gbv6*rf+>cNM@UTYoFh<1YRHxnc z21gB2Rj?9C@lh}63L{O!?ha(i07BTJTo0S0_io560}XnmZ!LAL85o>1N#gN)BP}~F zct~n7p?^oNBXqbiQ(>JuQzw3AG=qKxCj2aGUJsQb=UVL8i zdQYq1jyR{WcpzxV(&$%iA3f5yx((2gmwwjhoMZo%WZV*;xPPN=9M*p~zD0c{({yh3 z%(b>XGmMH4IrnlIM#H1n3l1<`hG1z^7hI?o-+#6ckZ)~Z`ioSc#X8Vgs!}j^6*$Fm+;x$ajtIK{y7f+fuQt>fIw98VhhelbH8f#ON?_f(ttI_u@o@%ea|A0@XAD9`}c zk7EhR(vClODLYBubbgnNOQ-(m;cqr(F3%i1ubWkmv0gxQE%Y`F$|r>IE|=eZ3<(?< zwVak5mQ(ST{U&0%T!jQB7R%f(Gjjmy4u9ndpTbgzo#hfuQGyzVpX|mS4?b9(wvdur zb-@Lk&2mANWEuCJMQ9AdDoxvJ=Qd|FTJ6)lb26s;+mT(A)n24Bp+(EXR`Ya`Sj-M% zVF*~Qut{=TGAd=tFAq+bl#Z@VjB)0E4WGJ~GwIE;15jsr8DR|~`<(sD#e`k@ihr$7 z;U%c3ZTEm-&H(ZpR3@hK@N%lCjdJSnRo`8A2cAI)`-;9JTxc7_QhqSKE?46`;`sN8I zZuF^N0EXn%>7#tPV2o;z5;Pl;fp`@=Hd;87280g|TDWSrKYvLLhE|ffBXVk-Qd1qn z1yu2Hr8L+F%+lr~t0yR!oUN|Icwdv3=%;;U%L}J%#ydAFDzTUkq{S(w35?#OZA;7{kZKZ z49r@3S3a0QNn0DJ7?T$=+D$IJjU^0fA^;>~!H`A=GJ57oa7qjJ@F-1*hXwk6BtA7;S5jqpiAQxkWZ#}CQNe~>Ib6}#{C~PZ|2(p{pJ-l@x z2wk;VqIG8?B$t(qD`Su*MJRh`LUdzKGm&WW_3ZK3t$eQ>4&k+OYU_CQjaYp27wk>B z26OsHB4^y@BX;`^VrK8{uBz$@+8gWFxh-L`-n92uQ9&O`7RBCWwEmBIv*wXqbOil7JG_Me-`-Ra}&2HgI|&K zz7hJyeK10zEt68jmw!-VEz>w4bOtuFhssJL`5MHu~{s7esYla zKB`@nKQ3|vk-)>FZf38vi@+w<3%i$4P?)GQP1;Ox7ECJ*-m4{HlC)nCu}S(&@;4jp zkffQITA_Qr%c2lXyaAHovFm{aD`D}^qoy*rg*jm~C7DY`HGiW|_6SZzs8F~{H?|ap zo-lO!WcLKLI*5DADvODngY6s~XD&!rV_JlAP}^hr_<9m6`_2?5W9Hv_jG0(xKT{Ol zI&BrbX?3+*2v~@B$qy%ktL~+PZZWET=)(znigg|AP3#uhYPypKugoCWmrfXVL8=~R zZm94yTKw?+uz!w~IFc}rxg~}yGR={1cx#xr_M>OS4SM^vZ5h}M6QKRwYAT^ka-V{w z68W_P;tJS@u0uMHTZ`RiO46Y=3Z3#=7s3jEqj^|eg1w**J50i2Ud$?7O7-8+(#xMU z?(P(9C!%rLmc&Iji>(i0ZZMg{+Hoq&^y70r$W!k)6@RcpWMl@b_Hj9%Z5EUzm%;M# z9z{(OWImO>J*#NdXZ}t#Sgqj&-wNLo^Hx9%mX|(r=!%aZ!$iMYQ-c<39=C^*5amsc z{uTgN-N;LL1zIaB3mmmfAFlg?-%WAwIjS42vs`2Ris4NZA^9*--w;pbbO?X=svk2qjOR5|7yOEljZ06> zK{=|P#)DeZ9><%dK#-(}A*gEzw@(LAc0I>het+zphIlBu=-ldN9KSt}XD?ZSXID2K z7Wa*ciwmD>MplzHmUjW%XzC=5WZ$y=+!@(84`u6I#W4BSt|eh}Hj6I}qe}r}m(inQ zmG}`waWZwgS5!)Uyfp5**kvq;Q(wJT0IRx~ZHi8)9-E%QU6PPl-e?z^IB7NrVczHd ziGSx=Tm5+Bo$_6UX-)Ftg&Ds3hK8TthDC{cODBQaVG(&%hWVG^;qa%ZU1q9`w-mH^ zEElo6&Oumf`Ra{Ch|MyI^8w9S%oU^VeWE{E`CaW1+Yh3sr9|<*OX{7FSkX_i&a8Z{ znR`VfJb3Jjxh*F;xvFMq(RmQbqJVV=9`5vLKna%ldZ{ajOFB)+4$ zo~nXm8*$<2^a+c{qs27zg0mrVe8Q>&RS0})N17;Wcw+ecnd_^I3=f&PB!!zaJsgZbuH{VrJ-L=AFz5tATeb}?6&l=yVt;5_^Qvg zbxo+3UeKaGRQ3WT6i_QfM(^M3hrfPdBBo)bO3@akf~Qn4rGo0q!P&N4(Ne_@cBznJB3Z#w^m=YL}Pq<5#>lE}bmO-O_Gzv95DiiU&RXf<0dYbPmA&-wP-aq?Sz{}WTpi-a(!mn%^t$XihtNuAaDQ#nYQWepz($_%d~QxZi6R*52c39+?(>o_Lj7AbMx zoq9HApwHe^hUmdJAJV2kgY~fdZi+5&y;hv3HjQi_R-NFIo=>46-j5|vQk(C44nAO$ z9-*lkwif^D88}-#zP=tsCVvgJ5{3s?+G`{Wez~Bzft-#+Tam-?aBDrVw2VamB2SW* zr$5Q;CG!wMam*@7e%@CknwKqm>;}t^+WTasJbU=E764J~c)Nr&;Gn)`=XdjsuWKvY7V@Tf8j<9eq)tYN+yq&o`BvT1=K(do*Dj+(C9%q4r@d@^Pw3O%s+^n( zs?%P=8 zRhm~P>*43SD_y-RplWG-nNHi~kkEwtAfSg-8eN~X+43&L9j)h^}YTx{&JXU-?P836@NR-6~dJpX>c5&B+54N zTC9)V%UzY(BDwyj@TQ#%@9XSSS<=#V>4PdfmU2X$`2-T(Rbu{LVh^9v0e`^e`ZNjL zR3@is^VT>1+t}%QMrTjKWzkx!)Mh@OwklDQxWspbagiaNo@Tb9fkZ@ieBY6CF$JET zi{1PCX&2|qDu2twIuE7Ee6kKu*(O|WzUlHs@{P0>t_`Zguw+QhqA;--4DqQTDzc*J zhmHX!U^EIDLrcA~>r&ssm0Vy7&O-bq7RDU6}odQ>O zRh|R;ui_#)+78Df(sheg-EEf)!`C7fLF*{g1JmE;jEQu70`lZIY`-ml?MDd~S}fd6 z*y5$}YkvciIz<7Ky|Qi1theJ}a?^DkOLh}Jus4|N_{ikS1Iu?R^*FKv==|EHaZlF6 z9um1{(y1)t?%#P&+1*q$Aklqo(ht)IlTUDOyGpD}Ru&*NQ2~SiO6N6`b_Ju1?iq6t zS8pE^N;KG!9UXUA6O8)QZ6$KnDGqh@QpL1FL1x9bSXDFn*|lVl3o$rTUDn?#B1drL-nMNoxtA7U_s-prJk*^F0Flcw3S z@xhO+O&@;>;pU}Mb=r6^N)!d_pu2VZ5u$1%mutuEGAaJI84K zTosElvB}Qg!W@=FYm~vo+)a;zz2B6Fv)S&ySRQ}9$28|rwp^mCNW-JBeSb(Pi*3{| zuKx`$?apk|>;3X=e1xvM=2)MJhj{E2sc?Wuh1lL~`ULjsFhZ!Hjtbx@ex6~-wb6gn z-LK<}#}8*xue70YA3fwA?IaRhShADiF>Fm*U~bBRKdd|}ydGFk_}TVdoWa*H{g9S= zvkreE!`Ush@hj2TY0N-yDEX3O@DIrJ<}=Y_>&baVLb=nc0iR+TX3og-4BOn-5srqc zE9fZ~NFeDrl7yhbQ3C+h0aJM=8&PTLh3~_;j<@K>nb{+W$j%9uEx@04dh42XCYQg3 z%O$$YQ!#b7KGeK@Lw-2*y=f|hv%Zf*l1G1VQ3f4vI}i>TBE=l^ zB}9p4W2h^oUXT}VlNBm-rZ`D?a4}mswga~I%_!Y9_zyo{k72{L(dba6J^t?m__DDD zED9GTT~aS8vJQuS(ufl0tF$Tfmr?T6U|1Sa&dJuN52}Hb%xWuONa+|ACEwbaMTUP% zXo7yCsD#8mmKRdhk-K5(?^AUo76$Q;EEMmK($Vs_gbEowO4euQN$+jWOXK_de&S@< zsOb=Rgf<;%TWufC^1F4?7C6C&Xyoqa|B#@F-fO8~4Ue#rD^6sr zfsbeE2T1s$=MhmNDd#`tjrW+HKPe)<-;A-QVStlHcsvbvF1o;wf&-dMc%y&u=RU=% zW9@MowqU6$#wq4XyoOdA&UDMAw6rk}94cYI|K?u5#68wPmdF7)AOtXbe$x#XQ{%pH zozBmL7ajW}wLjRm*uS{Uw!bxKfWk175-$&fs%8hb*@)pU7FZ>-Ds& zi1TwTz6KYLuQA@IkF9T&Eha6 zbIcpkOR9q@>bw(O#%^QB8ELS?OOQ%lC{q{OOl+hb8N)=t|4 z!-f2(Niv-u6Sz1}2p6B-zVn-MfnmWq+>cFN*5>89#asdUUp0;j1?YG`O_I3W&8K}J zw}kuOf5x=Nv$}YDnw@{k0?hX55`GRTbTuS)pC#xT+((2{GT_If4Y)8JS@3O=2mt!0y$_;C*FZh;HKN1CuaWI-9WYTiCeM1&-_ZhiCfj z|0k3hYvpl$OfU_O$@6UHVjV7|<*Udj{b3On{2>}pJVzZHNH9mZNmYbe+m`0?qxXP6 zcv}9Zrk4!K%u;`EaC4Pq-l>5!=s*cZDIAntp<3MUOZ9RzS9 z($GIOwh;r=r*+gNBXE6S;-Y?r?UBm?9BA0ys_WJ605Ez~@3Y_AL{yt6PSRuCQ(Ul% z(3p}W3~bT+S{?d{_)#3@k^%L&>(Yuu*3ON<(V75{6xe@6|J{(&E5IELGZv$nk^}>n zAmDf%vw0r_E2jl9QP2fl3ORw$0Q=jiK0>(jVkcH}l3O}URs*}>4Y^Yn{$rvM zyd&oKi^xF{^*NL(Lj$iPmtaXQD4|<=hRYt+9L*+BNT*2F9823R0hw76P*8^u>Ev?- zQX*&~%{YH8J@J_F`mXo97;hhb{IWB89qv<_@=NSb5D4JrRHtxER$jwR27VUVzvry? zU2_Y^mqD7?-v3@~&U^+A{G6WVFjy%+N){wl>7Vb6M9Je1Mup9E&E3y6-9QakNIW4< zv-QJ~ML7tIgTW}*;hjO4i0rU#AKOpCFM5ucAe(=ts`G=f;(j7Vd)!*cMP1qtDi}=G zOJfr+zTQm>q;6Ig$iQbLk>8G~(u@;=<4@1RbVv?@A3_;4(6S`X|8E3sg|&HL>1wBJ z7e{Ffzq_XwqAl@$$XvhHKXm#+GE#OYS97*WGw*gq-iI@BfqT3UsqOv1C%3?Ww4zRMw)kwM1gK_UpQ#~Skbvo^2J1#Kp^C1I--V4vw z6Rp~D`oS?`oHZBl?zcbWpYZUUcyWt|7t$>>Ai{mqvc}99KiCBGMYu6i2hcTX*9H!^ z`rI%3R=r|M?0W5`wI$$#-|uxrV#a^YIH@lls9dHx(WxMVT|QR_Ue|CE-$w0P_Mm!LxeB z<8%*s)6O(l^OC1{GvoeP%ShIPoJ3s;Q9zVXZ5W_qAQi)f#00PAwp7SI^QM0>Sz|3; zSE_ej_+xd}yP^g)V`NE^wxNE|A4@h~5*yIi=euC!gkhU?k9|A#IrMSqB)uioO|umE zo*KmK^(zcSKh-OJIqGK+k;$5UVI3?tnoryW<7r%P##>MhM20c1^|%(h-KnEY?&bMKXVke@tMLnWIypj7UK<_ zndo&VO_={6O)8A2Is;cqv_GGE;{b^*+sV@=Hriid`bE2$0v=1hSI#d&U6pAbk>VcV z5=%r!V*Nm)B9rg#Ihwe8g#6SZW>@FIH_PB>%8hAOTKT%e z($IdfI$uiu9W*aEy9!PBxx;)ik|0iyU?aI>9V?{0ASF=PtT8)v72mOj^BT_){nWxtF!+FY9a*ALFxOiY8&4(Pk@{v@wd7iuKP1ZEXeuSNQSL8 z2-ZnrZ;OA2byXxYJVO`^imPrswv-)0jo79hJLn$Vi(UKEjciulXUiafcym27PtbX+ zup5CK?R^4@>lC`|fEM8uRez1WJZg5n_R=}l_20jl+iZV}YP9ht_X>2A-YJIyJ#B~* zlZpZ)4*q*57pza*(Iw*@XR#3Mav#DVqdsq_BsQbeo+AB3jrWBalK*U!Hd+c{n22AJ zYe7l~su&~WO4|~(S#}G|CMXuAz+!!1tqRo1oG>SY^s~D+0&&#`0dH>YNMK~CkQ5m0 z#gCv&O*?<^5KRu_zb-1a85iPLfO&)q$dWBH9!ew(Sq*YP=Lv6v;4UT0-JiI%0Z#)0 z`|!P8HQ4+D({5l^+x2tvV@RrSIq*syyU}$}gU)A7wOspe&bocyNe@+Qe-;-Jn-2O< zJ-esX47zhh;yQTOsC`r^gQCgucD8)w!De)T&Q5=uVqFfxjyW&_@Si-xKPX8w#AgXx zd)R@}nuw8FIBY^6^e3I8dd*|T(qr`X=46Ic2)XC3_+o&1$?7mXg~0Y5@?p*iIVEX6 zz63`N6J#?tk-uXL!a!S(?^c?*^}x*9OxW?EW<$THg{1SWwTG{mslB3App6S3lMzGw z-79|{+kgq4Ty-e(DEfzKhrnLWRvnjz^T2 zbGyMvOxh|9+*Tafs{FrDeqv%GZ0DCNMW}zJgI`q!HWTgaG`qp5c&UL94hlS|Vg$`c z^GJ35a;#bFM0=g*d6egs4UpcJKT#O_zI)hxIGK!xeLdJ}XuY8Y1fOmzu%N@uL;?R*~qIv#ROyLrYr}i8geWPCF$rNnHNx?k@;N^D% z=qQddoBWjtVNQR^URy-+5Q?6iW$^j?#b_yroCkS*hz!C zO%dm^VL)|r%|)bjnMhN&m_+&iOvHaWWZzH;=KO+jyOU?EDH~N(O6!zO%kU}pZ?az4 z&c$C?8f<^BOQ;ak{z~(&zVvhxLJV9;3x+q6xX3Q_>eDoaQZ+Rp4azYvTKeJXBUUAV zoygyq1i#1h4NhqYK9HLK>S6l~;Yxmw0JZp|{NMV}gBHD`na}WExdOVR_z=Un-%^aE({`7aW5ux#pOxG8u;xZR(QTpa{-EpoS_X+>7 zmvW%tOEfY#d^Br8_Pr*wnEDnsdsL`Lf(E6NHkR0xUTOYz(mp~nzys`w<|G47Vl}ig ztA2t%lQy7y)Z2hA2s$#P^!2Y7cNd0NmaSm&2dHbJ}og{JPyIy3U* z+3Rz;&a0TEuoX+_jI-n?0d`a(jU`}cW!ZUlL3;0B;x5nBp|${Sw=Cqv!}w#@ z`|ZG_pZqj5J%>QmVqF^n8lrMPK-RqFrqw@CCE zdSy5?DiRkwVPImoJHX~62>Z$k;V-dh87l7PaSLX*^}kHHO-sW|yihWvQVfnlae}Fy z5PNNhzP=v-yYMHe>CS)3^Oes;UeY!XmvGAdmC^FNThj{0XO36MsTvgZ__XicFdUFT z2|6(@9m19T*sNEP8Bi8>e9Pou!z186<`hlG<&tOs$^X$X?P_po-ehfVZ-sj5_*G>g zJI?s%#krC*^m2S1MY2jOPAMw0X$+u0_Z^fihDuHY&DeEujSqhlD}^Bo$cg2)l3ys4 zm1Vi-2mkLea+_`sv;~*;>_;uSFMOuR3UDxvp1$mZy_n!p6ImJu9?JRb@=Cvp-{={< z=c9l&sXQ-1%@CG$V~}RYiSd;Y$kQI7&tr*nMZ??W%to}*xMfQihinmm6hn7UHL*`NTC;`zp8=Nm!8 z=VdLq#>B_@&V>H!KBlwXHlTiE9*iF8l!mYVCJex4elFLRsByLnr4yo;-mCDcNg$&J zTnqf-BZTZ;pVe1WJ_G|R5HzV0Uu#Iq^ixzWXHjOKAjHKX@|g-hEtk(=b2@RcP^cXt zeLl=45O5YKdc@>eE$F4IWZp+(+>*g+A;K=wORfob^d6kYB+BB~tM>_W9}P z&)6nOm00|*#M}%Meqpv=u7V_sg;q4s2f{z7LyM!li(E6b9n{D7Z%vhUVKA~LGws^4 zJK}!Aq&_N|B`Yvkz}PxBg#z@RBo82Nd`D|uoQ{8wk3m(?kzk`lPkJ>q|O4)~mZv(}M=oBEgijVvdQ<3pRNUpf*LzLygBOAz;!^|8i z)e?WSeYwdu8kAHSib_JQ431Va3-%9OfZyaT`sLjO#=cZ(IIj{)IcRYx2T1C~_%$3#CssXljXW(o( zwJh7p)X}pPo_W8_$~cv@q6CV-LRT|Vyc~ZLCFz@*#X@U*v-h5Lemqej%3yLL9D!az zZ|Ur_fgP1XE9H4z`H~igCUs5Z@c4cwr!6NAE9){g-g@dpiOF!^^W>yzlj@IWcpB`T z%_8`Z-1E2kJl0ynz8Q#_b88r1mp@3b)a9^m&D|b=uxfz!-%^uO7Y8)_J;iY4a5#Tj z&Nhpyod8hbY%{EC#fLd3l;xET!bpJWHK4p!pPC@aK|6~|6o+0gee5`}j*y}Zjc|ML zub`8#?po-_V3NdN)FH1_k~=jq_LKWBQ-X|fp6^Wn(d;iTUYT5a!_`J3eQ*L=6!{Xv z=rB& zj8!nQARhnMh+6E0I@WRdM81b{U@VNX?P5+C-(B@DEHTRejS_ZzBVJUO?o_yvj!+6f z>vUq9+giw9IM%+FKSp+!QjxN zhrDAcd)ChuA&=;^6jr5s*Y5&)oPfRb23ny+R#><}yA@5L0T`vE@SM4UDtXZ`18N_E6;#uscr z9s+Nw41aVw$+}3@TlFmXGh`&ORaogtr?+K+?f8bwNzOE^I+(Cf@B4p=|MH-`X^i*o zzVN<-myhQb;zp`!j+mY#4hr1R-<}Jl9|n|t$LpW5!9zWPMnV7kyBcz+{48%2p?CRe z?wQ!ZpdpCck}8N%*&{LtW4!CmPbsmK(iUg~w;+I&C8HnM5wEdzn|^~BN(=brJc(|G zms=#a!)CvpzS3(n;cS1JT$l-L>&@})J;J)9R~8F01ttXa06_#-Ne0e<9%VCp(@HrO z_RDc`Q~sU2-~W-Dy>toapFuuYCMDqPk8x&pm{AcgF)!R(_`78B0JBh+F^T=K3Ll?G zgM>;7G7e|YyzUKoNZ%IQXI=U>cyr0Ez6POrsGUv(DQAz>YmV zMmc07zaj-%FDERH1Y*{l<{J9l5GG>pI_1;l^g8Ixxn*>8}NtWqYwYm(jv^wR2 zMgb|o8G9~fWopcdaPvc{)paE26RqvK4|6P0T0btb&LDqVn}401enT>LzDLU2mgLJx z)b&Cd^2DN~nO^B=nO*rlPY7@kV;?rp)-nm-H=?iOh_zM=VL0HksV*PjIU8Ie>hR=W8!( z@1aY`RRDh=3K6>TsU+gXF=&$jHZOsNrcE)>Hr#88=x^EBT8cA+I%`6L;dFZpSc?~Q zk4n{Bz)}?Z3n->UmJt>pwdc+>fO1V9UA{r8E`vH^9-sWmbKyJR#4MW%--_V9mU3_n zlshCT^eIA8CBnX6_`w{HLgE4jw-BnE2qAj`JID2CzgEFl%OWHgLbb<~>YaX2%rY7d6KXR*|{xrP~Ai9+cMW{f7rS+B?VXVC$vezaVKptT^4jpQXCUoc@;hS zDuHlPSk9(wI$Ulb4qpc@ay99(x{MgtuRmxSu4eYw&H`;YC!JO->JSe7@QVCCDI<}P z?DT@#y?wpga{>!4btCn5CfF_v@&E->Qh|NIi=d4vyB{X)NfzSu$F&>44?V};sj1^|*#rWD zBgBOKX z5)R(S63i8Xx}0Zo`ZDu16lWPPS2xw1-Cm+OJf5x_4st%2#f z7864P+@!=(83XWgfYjQ`{3hCkD=gij!ELkRPCkptfvzswhxG4WU#^cX65jepJ8 zRtR^h6&z&*C7dz@fb)Mb$hL%04|%jHzi5Ve+T{hWnwDBxt7_=0B*WIM74W!Yl!UeK z$xx9RI6~W)2%3%9gOC8v&7h2Gw!KfnwGlQu^(#;=&ojn{Vc6`FP^XLU0N>~BV_W{R zR%y)`L*cCeuWH7u3}XuM$%U}?HQr&{XwH*2_;h^Mcoy6xuC{+Oy$+e=6m)P)maahq zwL|#aN67sx?(k=}=y0F8Std(r>_Fq(8K0A@;5J#1q4DK(SAeN2Ly-?9Cr4aAZ*C$Z zY0H$5Y2p)+?6LiS1`)zs|HuAHs#DkeDILVtW4neNGVX$VG7%j*u@lCNAtEpjzFBG` zr^to{f)6$Fxjugih5~P`=~HN`WEC5-1=!lHzJ#PJG9-Jk^t#s(6+QBFtU1_+)%-_P z3y=xrbJu+M1a&@9`{lm@$_z%)Yd1QYj(g;I4EJ{A0bpp>0tIW12e%%Lb3n3cAo#Ml zGd6P!{l%AhxOKGvFn4w^2S^YorJ~6X1cA6YKp-vv1A{iy z-4XJ)6u_Vhadm^jVS@idFXalcaDRW4Nn5x-nyJ8HKt&HnAeb8n<`V?-3xYsEE)YoI zKZbBuL7=pSC)66K!U0r-!ys+|1}V6+k1N#H&iygUe~v&VD`p^AK!Bg^FL$7X6T}s2 zWdQ@KSh(9koE{@uSvUf<;8swGyU%}7FbUhayE_YVa(a1raacIHall<|MSq#ufL>5{ zJD?`S4dUtvu?GGw7pQ9C1o^8l4gdpC+YajXw^$2qz|X49r>z?&Ji4xw`>==O+zyg;+h_x)0}HZFPXbycF5b9uNiTe=HtFfIl)@h&zxM1Oo93fPfGeAjI3sj`KIUwttT^8i5`M4-5qT{``9~d7Le4ILy)KkNIEC<&@V`Qq?qM{j1=ARg#i$Z=fGL z7eA1lix&h0gSohX{C|&!fd6Juw}AeW1?Z2j0?Y;u6!<&Y$6NYO!k+(hpXr~)Ui>_{!U^i= z^N;>0NTJ^0l)jn#|z|? z_$~Sy@c}s{|9>EUAg9zH^a98!{RasEIc5Gu{2(Bw>>mUMa?1TdT#sY<2XO;A75<>d zc*=j!V+7Sd=rMxYzv#td1oc1YkyG;zdgRplgLr_P+JDeveL8>8V?5n|(c^`2{@u=h zC67!t(8mS-SMV6f2JYeduYl(j4}SD;cJy%j+|4=-Z?F(`JTkv1aweoOveSF&fTE555{|Eo|jzS>b5G%m^EZj;c%)Tb9?Xp^e z+>3p4Ok|2-Q!ka7-EZFYlgBj4+yqhoc>bML~ zUODgDzS6~!@Yzj`ttvhx%-hm0?6EpA#=%9?3^|q`W=LpJ-PtM8S)Ltv<4&KQPd&>T zf1p-OUm;QoHGd?bL_T{qGWpz3awl1l_^V%W!E)ZT zu}5JP_qR?26S=_Ibqs!CA85jhk7A#ZX|`q_$@yD%Y-KMiosoFA zwr@daS)X6x9r(>smOg8!q3yWM=a;&ydr!E|7Zs#PM?)qea>n?M`pEV5f+w};0=3*J zX@7DhO*khuwFb5ekXZiZ~Avc|Ft`oa$4cG+I7feXD38*JfWmd#1H z!uM<%I!_By$I?C6EGC+Z?{tPbBs7`ZAI=E(6+ns=^mw-9O#ZB$^56mTjg!BpwV-GH? zZ`Bp(YS~quC64dtdOM8abbI&hiGMG*O)qBP8?Gqw*##X|tS^YzNi0;ajE$fQ;&sr) z!!2h$Tb2nxkapuc>QmgDeZ=mZK1xvH;LejXEA=W#U%x)GTpI+DmCFWeaP-e5xim(< z9`M&raqBVZKp%bA_9W>_HN*H~nL&>6_-`V+iA)Tp#h*C2bUT}fnVZ_lK7aiD(l_v( zY2|3&>9B>=riB#k$ukPgH(VeR^W~^UZDprZPQ>%?8u)LN-wsiPVEZb~sZct7q#iB! zSdejaJBPt)`lD&qQ=+yF0GAoQm-D7B^`zL_*KbttmOvW(rB|1gkM{X`M$~&js=Ksf zmv<5+^xf$pjaSZ;>5oLLD}REy-hw&LcTC8qlRRwfc_EPQ%01( zKGE^WNJf$D;Kl(3#T$wqfQ`vWgcPltGc2S!n=1s2;m3U~B6GW7Uw^ra#B(-ns5-<2 zK&U!X3S{vLZV|gjJSEECIiO3f%MM2oC?yj*1=OKPJYh~#_rbyBj|})`TJPjRE_;wM zH^6lro%61|+B?vRuNzfZ*Hp<7nR?7uH_qpxGM`qa;03N6-et~K-}m0e-ge1I`%gIA zZP7hispj#QeUa7Ua+*AgllZ1A0=+o6?4_V-rcKhd8)d zUw0|ww`{-K+~W4Iij+R}IeZ9q-y9yvFiGV8agX_4Ctw18lOrC3@yiHDZpp+u?=!DJ zO1-G}ki%p`LXlH`}Gon#idXn!+CL1s2~lu*d`yi=c@ z?9g>1>f>0_rReuETxy=@=yH8xt_8;aeCfqF?>{RuL%g~RNfN&Gq)M{7PD{pHZ7*hK zbHD2H1f-{|($tj;g8V#4l>t;exf2ppXp8m%elFa4rjiIHj31Vm?(j(r3J^Zq!9cTm zy_!35T5Dnm9)HiS5Ego|?vVCU4Ew078X zPR1d@AxRw`PaRF=>{LHf&!LLn?5;9Vq{O>nd!w{o^ARS_Q+!0RyjF<_W_-r-6TN{E zxwNp4Z&U31<}R#5BD>iyBeVKFHCyX@aHLTyUGs+}5)~4@zTlZ(>Ok&xxJ-@DnnZ;n| zuQOV9KYzOYseR(DB69ZNYeK-e;5LP&TFRo)G4s;{`HD8QX$gI#1)1H}cfAiq7dp0C z!VdK=MF`5IJ++c$TeCwf_T^J8PwjAK6=E2%=%2KUF9PT!B>OW1) zFn5#jr(@>6Z+0fT;L#f@_;(nvF_WsMJl2P+8n zi9a@qR|IFSfn#Nv*->~q!^XUV0{S|WK>KJU&GZ#pI+H^rJ(v27L&K)xgpJmqw60;; z)Ks<<@`s&6AKJ_)^xYbJI@W>pfzQV8XMg zd-LnYA6Vsot6*YiUA~xk$M?R~Em+H{G7;@T7;H!IAg~7nVZ`AZfqHbGg%ll_}s82xE2I9q6EuV{duS<6D8vPVL zy_rK2#UJr`vK>+bpOC6s+6$$Y;1cPSyb?ReYwM!bjC@)R=(05%WD9J#xp3i-@dv`- zBjYLBd_qt${bW`E~BG6~Z3!b79-I5=?kd7`ql;b_1qSGeA<^rsxV zJVkFpISyJ)8Ae$OCMau(hNb8I4-Lg?_rv(Z-spjk5G$})u%(67H^9U8CRb6bn7)eb z_?Jo9OQ=8Jic%gENRwrWshd3!=0fi4B=b{1y|_5MVGMR@M{(4~G2N#-yClmx z?8S}0l$G+GSyLaEj@7&T<{s3t8DO(+VM6Hb}Js0b$J^oiV*X zCR-zVI>Ej9oZ^a${Hyi?EPwETW4|mE7}haNp5$L@)<=bZM6wd!bnh_ER3ZD|1b}V4 zV9C6tFhJnGqUEqf2>ijVB{^44Gn#TT>bCr%4TE)TV<{XvISHEDH2*`Izj=^I`nL6| z@)zA^)!AYvT;@ha9W(`UE`gPfyp}Nz?wzl^VV$GoPaZPEY}L3x_kRu5?2W=6CxJ@C zCEsR<_-ALs=#jZB33YqY+x4hV59iD_n!Yeu=j>-Yv`~;hgS~5hf zyw!P0YMFBrhdM)oV(l*SIp42qAr2Eq{i*1R`W-qCM$XDQNGH`eri-F7xOJTkW)-X-d@YiE{NWqlTiZ z&4@YT(z+}&;Z92bR11$d^Kdvr<}nMPUL44zE5Sl2Fjwt}yauV3p@rbJnn`Vz&r1rg ziY7U5hxC)B6KVl}&&Y@Q<4VS#bQ){}mS zvZ5I%p^-}&61-w4edk8N?EGc?V%huX{6SugSX%R|U4NMJ4N_E0#NyNSk`gh1EZfg> z@x{jYw1FN+_H_nt9Q=B{Rgdj{Wu#8+lF4_>OObW><>VWpredqu zj3|qHz?Q4JflEUpC4RRJIbqfuw+^H*Q-ja`Et&`3K@?3rc0!^1%S{7iHaeM~_nx7{ zvv*A|#D9Wt#V3S+JbiEyD>>{5OIz=5x|`}SI7lJx$A-dp2LxR z3)3*L7FA8ci|@bPpyEhr9pyS(&JIs?e10(gJnk2H)kng`242b2ey*r_DCO}S2B<`8T3;BUfokzt ziVB+J7lSHvwu>ShMZ^uh4)dg=kyMJWnlbex5?P;#PBt5 z<~gdT&IAn>Gc?BgozxR{?TF2%qbXXh1jtK-aBK_=55q;3b`(#k8nfJcPVI2`1QEL) zw_n&p@>)rQNMF~i*Ez>Tj9Xu~<{Eo4Wuy!a2MqjSaW- zL!f`|X3Apr=4z*w^R?Zg@ey_mY!)R} zi$y+Yb8nMp%5xX&y*2>1R2)xl=0|zAFh|_ia-BvO_8f<|J#>n#+zFz4*g5-#C3)R2 zDY)5^$3Dtg&23GS!`ph?iAclmcqJwgDB^rcSgTprEMy3=J|}`dBd?wxihoH-99h;A zVtDH_f*~V(>jgnm0vgKOIZqrd)Md@3-?mW@cIt8*R#Q?ckeC6J~8FZ$AE61Q;y$fv?fs%Q5rruTw+%P}Z zV!u?&@n1=xp5nAhi|{xFeDHVs!VP00yl2RE%@{h9_80~7h{L@laewa=ltVOTZ)0=p zn0H>Pj*S&B5^a)5m@XvHH&Y?HN5{$uin12)mlZZr-S-CLiDEAq7$TqyqmV?(+cLeNUjrNsX$`1 z)i0YtOaE69Vk=miNeuu4N)1%;&QK(i^s_orbuPOC&aZmAA%D#J$DWHFi3WhdTjY~@ z*3LvBm{P`yK$CKC7k*473qhHA3wtaWD~Rp`XNcBec!~$qWsA(J$K`ni-Z1& z6S+>sP#Z_mz0LMriT5Wqr#7M%ywXy5^d)@F>yEbZ?RQBHEIfytIV||86dUv^tK?;c z_fG59^k}t-#eekAKrtwgtyxEY3yW{Jm66y?K4Ma} zpX{IL8NLy^zyF8ndzEGVi4TQ?U$(_TYKwCf0X(P3Yn{GD0?Cl;`51Lg7U~jG zncN&iy@uc!qD{Wixss_mFuvn2Zv2S>xgRYYB4xHG+JA#juYdN!O7f(M(Z&y}APbhI zK~-a@+V6^?SsMq-Dh$y46c1iTlk~;j`thFFY$7A(Yua}AHaqSVx=h}ggZP!tGgQW~ZA=W_SVaIRYY;F+H--A_PJTE49^ zt$m5P#%+1XAW0@pU#eo=ut)!bY1b|Bwfc~rRiVMdksw#nr0Vk%m!~MB-*{5b;^}h$ z#kvNbwcY*l4XDk;TEGxeIaf?pvAD7lzQOOJ>wj*3N6#B8OT@ADeV<}|zp0`7?)^+& zo>iJ5#?vrRPc2qV7oEG08(9@o_SIByhQI_OS~kFl7K^sE-qoobk`bA*n>y?_H+|2o zOijigw{4s8VW2jpZC4Y;Ttn%_M{48Cql1N{ARCa~S@uU@kZ|S03xb?i*gm0i{Q!Z; zVSnQ`^_8nV>F{RLiUF|lGI%7+_!T_@UbR%atmWY^M->f3-&hXnmf`iBBZb8(gz6Vf zHlA2z?DJ!*NDK>^1!}=llG?g&QHbSB77d75JDn8+v;ZrEHBQd$ilp4(#e)W~?ksZM zu$HpAQR-Q=Gz^qmB-PD~Lge*OB%k$a*niq=0nLxvDFVr#7Qfju@*Y`4j^ji@@^Rh( zBzR^+F`GoweM!BCp3MzxdQ1#EoA$Pgzo+x?nh@sMu*73~;=~eA>Ri$NN;Sc+)#fx? zCMZ(eMm2lY7AJ>;(%hQ1uRin{NpZO==KAK-IWjlb79L*G7%lc59fCnTVl(eFq<_^1 z^ATA(oR!Uvc)u}(IANXTVx0mv$V(RL3HV2)p2@{RcB_v#)uU5mtP!EAGLij1h0WuB z`9uyZ+xI%69pr?r;NL?{e=x5TK_wb}zm^*w?Tl>9UNq>Qhsb|fL5=AZMejhGzgJ#K_-2T}Pd%78y!=zV? zBa|*T&cw>h9Im4ub=zDs%SIaC&++=(8IX7YpX2vs&edKV8a*W>og3qdo+H1pBl_lD zAFcg?OC!VR`8seEmqB?hhwAHHPlzlJ;!i_;1(zWe^Ow^(h-oJ$_d;!XKz}j~;*Iv| zga~aHM7bO}Wu++1W`^F6cjNWP4nCW{6hBIpuU_)sJBkFOjXb*|z7h#LSsoCfP00W| zvz$eYXD2;NjSB(gYMpmv8-_8s z=@ijND;f-?VsU@C)19a@B7X!yUgb>AWRdAOl0$j`oCT*<9~NGsy=$&YEGzYFxNc-> z*pYmOeLRJmv9%<;=v_G@mP$1C3~EoKsrHOLikT~A>v}>$mj${N1mtzyX%Z)c_kF7N z-`;!ijZ<|wcTJv~rm?ACb6WGqQN{jAtMuVmZGuc$Ls5Rpg$f`2)qf_7+F3LvF<%|7 zuv!d1XL~F)LraAW?-0S_4UIxjr>?6u7Pq~#EVaqL3;5?ifWRf|S@Ydn(mu!@!Z$otnG0XRgF z{ext@R~@)3WM-NFd4C2vt&5>+Y4w{Db28~X{l?*LTV9u)jA;I_eN}@%{a+;6E~Bf# z;yfD!RB4@SLPQ_F;yLynp{b6GJq^(~>4nkllUw>@PNl&=h=70y=`4xrX#^z!;T?|M zgVAQ^s-9?q@3IJ2ms98+y4@^`(of^>^dgZ_ zLSNxs?2~-?h_k2fT!%e)@>QbifN? z=F*b)Qr-mN+>bK1d>!_X0>R}~gOY6nNn3d6eYF=PI2$uRKIv<+^e;Rev6$#{F*QWPmGuNK5h9WYy$s zAy5C5|IjN8$J=2>@G=7{td^PS8bROTix>Nq5Lf_(G0Nnu$)t%%m@yl+YIcRt)Lp^A zmG6YcEMNCM_6MD)G40y89V+qGE>Z&4Er$E0_B^20T*f!4@Uz)nQknl+#q)Ys;&J!}VpJNCrXOvzPiQ~w{o^i|Iw%ufw+9wS zjth&K^xzBLmoBAwdonWM9rjgPyUSCN5pRa=DSz;GT&B=8+Arv^{1Br<4_ zRxK_&oWOMAW_vPp`wxEfT1wmw!q80>!hjiwzMW<--^1DJT z94mu>wCti&CfT)m?yH5&WNZc|#CtkJSPTTL&q+w*hQ7kzXsWY7N0SnVoa43Jb9?f! zH-F@IHvQ0rFgFid#?&N7bAo*O$)3(lkd)yz%e#@FD7=Kd3!{gNtdi%~o=gv&%1#b3 z0u9yY2>vDmpy;%(`h!2JzS&czekc6p^6JBZPVslCq3Us!ucE0xQbNJQqSb#D-f#3JK{Q}1N$QOH^z`Y6scNCV zr{{KI#ZRb*0#gn~YK%`&t8ukmY9ytI*q5wS8L$l}LvEkDPOS}D$r-{m8yzJIf>SEo>0(vrnF~iAppd>b ze)4>z1?ea|7y-wr*GdtlI3oP&v+gGMD>Z*br9j_R)=o;th!}Yt0*HfDK;z4Qy5d%YhB(-x82U3 zEDBTx?a7B5!7JRKD$>68s|0bz!$voKlE56-nT%a4?pRGy#-%9W`o7tdckg0^e%60Y zU`A}vz)D_V#?hHY2)|NYw+LT6$iP`~QpCPKnnAS>TK)mf7D`7teI3PN)4#X}v;HE* z1<%u!4NMkD`p7w!Zz^CP2`~s}Zp}SEF^y*tC z9(3+eUCq@&AMo}@UReVu@NFkz!bW20ZIMA1?Nw?b@uaoJTb4Ab-H308N6()yA+ds^ z3dx*VhVizMu>@rb;^x`#e@%&q)n%NCSM&_t({F6JNni{2#AQlubjly?9NB-{zl(|~ z7kEY2j_6N*(nH*J#$58`;L}8#(uM$VtE)cZ+noK|3pEp~k=HsHGMlCo!-8J7FJ`81 zJrSTFHhIUOZi_Unw_8*=A!z3-l3t3!P=h7Z)YIQGt}~x@1uuLZ0>)3uElY?L+D)} zzS_ek_T~rZ@kx{^K_&_DT6G$h?&+0>{UH$<+WFE2^i&(IMO0ssu;rUdKhUs}&gfQJ zrjAC$zLs2-*S-t4xkeYX;Y-`08}K2wTWu_c>PS>_qcePLV=3{opbqfZL*k}K2x4v@ zdt3bd&P2p!+YRMo zIKMlc^RD3a;BS^*q)hGk8SFbQ+>}IPsn! zw3aHSb#otn%YJ{#>-7N?su`tOHg=e=Of0x^na}C_tK1izk(D)pfVKCSmAQUO!)8#p z`OB67G`hCZEBe~^D5aC%xCy$_R6-c0A!&oF1BWUeliaC2dEW2?aBnEIdnANH*&-jb zioyR=FTEh3t-UAMbns1hiL!&(!O})iO2CjqFY83Sl?#78h|7ZO;--l!ja$IDn*iZ+ zSWfK+aUVMxJzW(Jd;V!9Mex{Ui=Kb_3SjyHq*l1$In~1EGHoGTNvTBqRMSDaS<0ro zV^A#UybJK|i+v^wQbTKc9yIr0uUZwk{X72T0R*L!(ZD37MF2*5FckEm!|O@MAnvr(FsCj505>KfB7m>Fi#~ko?ShD2G$SZZgQn78 zY6dAMPb3b(QD%?R@yRo$r5_i;VmG+|3A0CD1NJwZ%aT;REDB-4Qb}z`X1=PO_qy{e zv!N>EZzN)gw($9oA~o-x9c0r&2{yw&97*C)jU<1n0q=WZ-yEZ%(QLJdz zGj_zjB){V8@GGP{0nF~P-s6d>Z0~Vc^b|_uBr@@Ko=lx>0h=Q`zul1}bI-$eurlag z>!`#bUp;IN3NPb;9Ffh44ys8EBcDmRf$eqc=HFJ8RgWoA&N_Wr>n0TMEyi*z!mBq` z18ILZv~RG)68QwrDzlI$3Vpe`a*noRokS+~^i|l0`l38BJvOv))nX_QxK@xk^H;S0 zS}aFuVrXC2dT^n2T;UNc0$f9&U1<&R=UMLM;2ri<#@o?dwvU_YTDMcA*gBpYVS@~L zRxN&fE?$rp8ETvuy z>}hJ+z+rqO`FEY6X&!iT&0$ve&KB7hm8bGX$JW%XM!EE=UO|~`sdxpmOan6ZE%JW> z5YJPcZEE+}$X&uYj`YOnwLO{=$yB-{C3J{nNVqru=O7t|_k<&=U+`0Gh(vNO$NX5i z^PT~nX+#h7bcE%p$N_0G3Z%WW^Dg@eQstc_(+A9K>MW&bWm?yhf$eXu2WeuqPnneP zC=^~B=F(i9_wo>(gGddxEmV6)7jJ)yapC+T!FrtzZJbM%Ip2o4L;6#QyQ>`&()TRnS%8zYH2|)pcx0#LNaxQqNj=`6i zB==1U0O0yY=}Uh`Y*18EcOPreaK$%&98_Pq%W(>V(kFS&ZRXQlWy}15eMNsbN(>|K ziRc1`@-Q)7hgEc!ET&NB%Fas!jsnoXPNAv$Z^TF!F4*XPyfal{lW4?jRByO@dD#92 zIfeky&4nQpqghh37ePh0WoMW=S5fC!LvBWhS)sK+{X4kO@V<|_g}jyXem06&@MVnS z7k}z@@4zBkC%RjlcovDDo>hM%h%<5nc9vg-N1e9&iyN|(bAy;Bc>-sGO=?!#h71n5 zu^<1cJr~ds0?_x?pVd96o{5BK&^7 zH)->eRAa;{noa0>>L36Wxg*>_-t5Y{n|uVB0kcJ#K{AC}Du2~B(+_|8+A481K?AMG zQf78}F?TC($G}iOUA6F}HNAS4(bYD1GVlX^|51HP!`#=e(jCPq6zQ9!K{Pw{dx+x7 z)a}kHOlk|sFBLbN%PS{X95=*w%;auzu#x+m4|Vjuh$?V$Cjx>Ho%;)k%Eyx5JQ0z5 zH`7$5y48k6V}jP_5K4bLT&Oaa?gAgE^oe6s&y}so4Mxd%mD)y#Ub%)}xLe*UO2ZVq zei+OZOlmtY6N|=Hw`9as?W{;&|7FT~pb05kO!=ki-eyh_l_9dys{X?JVQ$b z=91$0X^>Bf!k~Do7uOaWa#2TC=?L9Xf@Ou`hB?x+#m|3y7Q9sU>(lSalfJt>=3)4j zG(dpQ(Z3_FgB3Teq*?0Fd(AVFa0*bCYRjSV9>YEFu;IGN2J&czRWdIa7e^JooPb~_a@p8i%A3iNOL>YYp_OoMRt*x&lORPv{ z{x~?n9>IUsPdl0ax&S|`SSdUr{|mHlHYcpHjVb7dnN~WFLww}aNV61g%6CQs{0e3b z!&U}3oX&Zm3@kS=;f8nK8&WqS=Iys8wtE3Xx z?bZWvI%3b(nMS@bMy(c|7HqHCb4@OU`Ncy>d55ZeZZ$-&1qQ!1ay1#{{bKu}F)?$z zSzd7|w{D(e*PCauXvXc)!jW(=p5SFw^me6NH14$K3SjifSDZ1O9!sNWQil#O-F(P5Y@v#|r;G-eGZAC(6UO*?a`8Gu zXzajln)#PbyzU0s1y_0f>6}p)c9VPxtDrp+p^t`UCf0~L@ey7S42^kcU1T3O{x}Ex zoF9g|je>DUR-7G4lX_*9;SN3c)^C!jw&#DOouPKeB^#|>S|R@Mk@;)nR*l<>@vgNC zn|a#6ZvsY9ukz&DWK8G@2xe&fhBwjB+02(p#3FsoM@}Tj6>%etiW*hbVwTv=gift( zhV7R6``JvBc2Jz>m+=LBMgxpga%0?vx-8BEM)ukt!hVF+3mhEUvF&PSf!dBfe$QOY zTfH=S8fU8i*&E=6UL3%h5iQi=!x3{)HJa?mFW*4B2mIycEHX5#^Q)p{j$4qU6FVQB zokDb^v~9j*A0Y_QuH%g&lD88o(TbC&^#^;b*4G4Sfd2!#i3`)00YeBAmyJ*d6}Oxd z2l70ZByCw*fI$JO9uNR8KY&+I zlvhZUhX=sN!z1#yA&bOHTU8W$ELK;IDz|3m1(>=9l-cMt#xK)|*j zC>-hH0ks3U1CYA|^ikf8Bz`5XH$gdi?e}zFFvjWsk4(8$lf+FBpzw(m@yMt_z=kCM(S96`AFfXXz-z$4C z)Xx4_8Fn77+y+pvn+Hfm{x2IOg!K>R073u+ctivR1$Y4~Vx%AS8|faR|N zVFmmyd&2=r%kH9&S?510RCRS-brG{`_5kcxlirct{ z{bJPHyfZg=DP4a#AAzFKyC!?USuk*U-01+Kv4c@Kj0t5#uMzx6(xJw)HoI@eoMJS4 z6E4)nzghY1^=&(R(^O;^-~uQ3E9M8wJDweO-mH=$!#K@6IhgzkgDhi}9m?5Y=8r0VNPhQyQW^kyP5Z)~#uTii^xQ-p?Q?xB#BDaB!Wz z>IGLA)22XAwi-XS4t7Nzz!<($lS~FD8nna%`WB3{xk@*A}W1mo^Ky_9e=ucQuia@Sf(b*6cU}9&9pC` zD)WEC_+ED#bK0i2a^2P0{R1MKK_$_C`miEMMSX%mv)p1INwk4kA5gvZr17D9*RXy4 z$t5i$u-URNSilzP9K0ib52HuRXQ- zzkKC3))M^aBLnNG{{C!t)56G&Qa(hZ2|dc>>2k?&L?c0=Ny5xYTayw)T844tfqu1w3BP5)U|(1 z2(98Bsd=C}0h+EOZzYXlp3PzL+pz%lNC=MHg$1CvXrYVcVHlOC{R}LW-F}QLS7Udd zwkF^lB1L7(wiHGG{jFu7?wfBG=oGI)QP>*v3Ada4ru+Pyo4c%wMrSYFQa?OLpp@y)Uj0Ml;yuDo&9ASNHB^B-F z^c9!&Y1xk_boU>4>dK|f72VI(k$1!*$DNY4;>hbK9m>UPb0#E>v$2P4%BX)_Xj`I{ z*JOFkXA>3MsSGIlI~rsV zb|#FO6*OJX(KMqom{GulM2Bh<+(%GL=WrJ~1Z_8|fqpr|_ zg|*tLuQPt-IGSZ4C_fw-;g{vx2YCRLrcW!HuSrAJH{KY2ULWlb?Esc#Tbyi3&2V6& z?H}173Lq(&j`)H}cUn=NT~;ONy4%AwB8hqc%X`}UbULo*n4N!#l;=(Eg6FNBVnsEk z>02Fr>z;EoBF@-81o5PG%E>;iVifWNpVj~=PUQQ%x#OY-x?vV?7ISQTmE@%88AJR* zi$z{^Th-|!f^kDdy4qU|-x``k@7ktW2ioElp3H3(*)hNA-sqs@Y^ulp$cMsB*$ZGi zj1P#M@1TsG`|^Jn+hr)c%Jhb!r%)YNc~Y)y5?EiC98SLc@E`oi&Z>Og`)@&WUfy2Gpc)JJ)|KbYm>*?z4QJ8MEY@W5nk{ zlexLwa|vrfi5J%~tyo1S(4?wl8i+@pAqgNk(&_ z%*!hDurvWoA2;6pBZPs6dhTa%ZAG`C6u5(sFxvNcQ@F3!zoSUf?#{_aKRYhCyUx(1 z|69fixm(GwgWMo_(s9y{xev|Rs3N`(S~m2flX^2F9+beS+4eI;V*A|3 zW>kNk7r>mV4EEK|h`gN&nz=AJ&_^!VZFt|!zCXn7R>^_LtN+k3y~iJXUa!pwg`Kn> zwK0p2o3t&XgE;qixi4^I^M!(A*%SnxWY|R>zJ|r8`&r19OEUbtr-N)1_nGCO~8lCI5goN)#OMe z>)|)5Lj8h$l;SfxUbXx}=ZcEq7^lU+io%DKP#)jM@StDGIyz5h^}BJ?*c!?oU05?lnt!@|rqS{)xhLNV2PIl_Fb3>1p*+rsofL zttq=vs1WqgYl6vp_9CHdRg`eTjVBXK0%BFRj^WG69pYCn<| zo=8mA@y{~J4&Cq6*mi=A)w<9Y4C{ZHedkS&hh?ZgvtmNOpN&1LnbB`eCFssdTu>if z##P<@akOnI4=%kmD?Si~i@*5N$k#=8NW5eadF7vjlKuq!Qot~5*M7nvX2(rCIN_kyu6i{+_|EEJM`kjRzhqU1WV=I_#_;4B!-0rGVKZr>lLXdt3n@Uw)(bzc z2US*h0{rJiir*ckI%=N2kj;PETF=>&DXkz}X>)r&b})oTyZm8k;%Oa53{B+g#PRRE zmD=`X)0l6LIcD{G^94`VS|3oobbno9mbBREY5f(uwXXU)?(s=Sp!c~F!(BdQSkcZH zS3p72=%eA(hSJAh#@ZD}vQll|Rc9xKNRYklw5NNFO3OCXR?daaz3G32-V?1W+{_|9 zKmR=27ss}-O}bl?NyQ~2Z}F9+G2KU(G|=Io^eBWB*XWLZ(ojx$>*9s*wDaScqzB?Y z7rB}qIKWhloubmVUasQ4A7}{8+M=E)2;Y1BMrRoni%8bT8W(th^?HTh?o86>p>-4? zap>q-2{TNkY?krV{Yih!H@4C!c&lVLObrA6;>)AGuQSfuX(lN4-x1#J%$KvL+Ty+q zsuwSK=ELl=2N%yW*bWwPrL$^BE758Fe7eqDteK-!`(x!nrX(&}Z|TSfCyQD_=rO;s zq-ue$)V%zDkc8$%IBJ^>6o)#_&+V~|35z8CyfE9=^Y(!e=Td(k{tMV@%mvC9K+tit z@>&;8g1pyi(}l(BAnZ2EM3P;*mwpP#B!flW&%J`@$yc%nxEM$bS2i6f5V>c*&J51Z z3>Hs!t4Qu2*xEN1Tvg$>$lW(emp&RgzUF^%mf=bZ(W!cwqVp{)`o7IdDG9ghF>2lM zODg>ow|2z|;roA9KWAhJk~^TgL^{(LcZDu$@qSFcV&XF$dFa6|M{8zaq2V#o+TGk& zhsG9Ro0B3{mLov zOXym4XmYuEnBdFaO(*u7vK8!aX563uP+0z9hM4&5prwCC6{qux;fmqC1Tn?ekWaZ% zJ9g6iwygLT{N)tsxH~gcGboH~8Ue~w-4t2dMR{U!cCS`49}Kv=wvoT%C3d>aS0tdo z?})Muhf^cc_LZ2=SLMvpn_XG&zhyl`|Cwt=n@v#2T0O(kbd^(7_eevd8LO@)49Bg{ zlc~OH@LYdxd4pdQrC!|>UgM>&?ctY13U6&5dv~Fo_ne*c#oMw1gXbC5il+t_+Vm}I zqY)A86|Ivd?I0l{DV_?Jw6lj`J4(uI^;$6pXAF@}LKYJh&cs-Vb>-=IG3yzU&2KW} z50yo0D_^ddC{x?;rqr#rDEIp{dWH7uTAEB`ljDDKV7+8eES*kQmY+W|q>yqw!tj~M zXd>2LVpNo93F+$ZlZ`|_n?Ea1Qk&Cuta+wcYu0#QWzcFTDoF0(fj+74(xg4+CZ_mQ zdTQ)VFsk)a+Q-SgLQx|COTdS#^*ru(jbCWO+IJ)Lf|pXLsf|XMIio8 z?U8@y%1*~gpxT0wU#`Z~62H`^gt#(|Ba2H>BXTif0#Dk+aQw^%#;alv!enWaF{4Y2 zi4wT9S5(BL^6B(nM*+AVHNZ*t?wuJ}tXGC6OH3HY{CsqqEKvI)CdfTV10m@nQ5C_q z7HlJTul<=NP8*_^QpUZy0K!~<(OaB$bBup#esVsSKR~4(jJ6wEpq;`bgh1e-op~tv zim5p~{d_zTMxvu)_$=2Y%kjZ}wfXbX3;BE6si*E=4`O?0#q z_AhEWQ(-*h^n+6s6B4_@hw$yC{ZMb1s>RBua=Kx!8$qo_u7KxxL5SUVfO9xj2tC}-u^6@J)j=CJ zA`91=OQMK!!R3m5760}CQ`fBh@pykGOjF$H$+w3;nL{>vT6y0R&Eb9!3!ue22shUV zd|^AwB02|3sFpelk60rz&3a0s7Ud9mzpQubbywLY9+7lxuKt@;zzj3+jGnPi&EHx_ zE#Pb6$F(C5`H0+SEGdJd!SPgOc~3G#7-`VRlXn@K3n>_>q#>Sx+b_4$~(P%*JVUBqHnzLe&SF>*x=& z>|%xedM%D(U7B8SN0LA4JH&s_YxxvUQe;QrN&egfEdt#n{p=^L7tEFDWIKy4OQA>m zg^;2YjBKpONgGdO_2?~qPNzePY|M+;(cXFO@9`&MvX(jtT4gExmmO@fkN9gsJ)kZ3 z7#fyU`fzvd@~yPcK|ighv1l_HJ}g^@1aOLw=y3NGZD`bhg7T#1I{SYIb|&A|q0->* zIj-Nch$*%?=)k<)ZrQ1@+TjzQxEM+AW518ThoI^ze`hw9TOCENTJW<>OZqjVMv_X% z(l!pFxNgo9Jv3s*oT7=_W^JPTNW)N(WROSTZj{|wWrNR1MAAMzpsWFaKYr0uf5MN5 ztgpChE^sQ3DDL*BFR6e1cJe)O7AwDhz>H){J;pH~E#8EXq=t14CLrWYvivjU31c9J za+y5*TcNJt;VAjcw&F()Ry?8$A{=GHzqC} z+VSmK(T>DRbisv`JU zE?w16bCtf?zU?f!#g7mWS`58Xh5?0B+;Rnam`}_B!qa<3 z)Wc3EiPXc?$BOv9z8!r^`70at%}%Wdi#bS@_g7{?ucI|V!{2`?bSsPX+xn#+i2KOe2$ezTn7k934<1ODMNa=nd&p^5aDSoAV|~XQ zrE3K38-0If;5oC$_d$OWI>`n8Yo6M;$K9>3EN3cH$yjHyIQ<&55}Mv=&0g{0>y~!a z;(34E+I>hHrPKTH#7ov;JZZJ{R`0eYFNgk9IV8vC;LKO7sX9}|XU1IN(}T{TooHA0 zQfCe925EHZE)dg)m;7m&knX`~gx>kL9!Bcmeb#?1Zdcv@i>3Jw<@98Hbskum3ZP_x z3-+G*ckmL^BW8++#MMnDrt-(7#$zYj)Cv=(o8>Qab7Mpadpi=lLWHR%WLdRm z7atFHIAjE%gDT64F=^bnQa8gfSt~deKsZ;eCifNQCWnSC=sL~IsHTu-@=2q`;C%Va z4Zl~eMNDoyUrNP?q*?o+(u-aw^SV_lriOoqavPS`uEukSoY0bEB?hLHtG_kq{4^<> zC8c>Phn%FrpABt`(2v^A;rshQtCACuk&5{l&DTUr@|4p(tDSdRc{(J{o6*!- zwdz4qiKJN_epxJ!A8;-L`(It%JT!op>`Y{7HawwiuxhuyOXSRR3e^^6wKCbWCG|Zv-Dw}?kvA5QXr}TOZTJt;taWXARamI$@3si}kJ1V*pDmIJ+Mkm)3 zsZ~#$V}NvDo>C)4 ztEGtoKA}=KW+lfZGzuNmlZae3GSTPx!Z73ZP%`94r5>4);8b!e?{lKZh2qx?GUfF6 z*WAFVG=+mX+-b2cQp%fzQc3u%HZ5nZk~%I29HW1j`sA`~iuj>9$sn0r zpQ6}nfUi&NYu$evIG2Y;FYZa3BsCi>$FZqt36VsF^6q>102SP$2|%FI=N9Bh}HMs}{CDGVWEj-{1?6RY|b4&U%_T-A#L52qy`ywN|cy#d%Cj9hGq$ zJRcXR;@8=+neTpCcM4_w*3dkO5kwm>(|%}McJ|(IMn``mXZ-a8CqmA}txy<(<_3uA z^E|XZK44Pf233M?Bd3A=iSinHl1MEv-zHa-5mlWVI4+ERHS*nKShaKWR|NOfPtF{j z6rI6bLB<1=^aeBBCe=4B=wrx>>+skE3ltz;&v|M5M#IUu_pmrdyyDJt_rX$}U|j5F zpST-jc}0J)<4r0XCorOX$FG%@mY^Eu82t9a({#2Cajo=Xt3Jg{f6B5=lc(V*%Ye%6 zfsZ4hDREKq;}2ancBczq$#7N^f0qjE&K2#nuo{=}&FTJtr;QQQx?M7Y&mt@HhTpNw ze!-bEa=cSfnwK!m311D=BCV*0%47zj{d9yOTxfqi+nS3k4#SGE#wqzK%~CifCerbo zv$85ALqD=PW^$^z%KX$So@CGY znQwnRgR!>#jtYmA$y&D0lvMm8Nyol1#b)&|^zNjqS3&f%g@PDn&|W`mM5f~#Wv1sW z5ACDoS*9bp4+JrvzgQ&?-)5r!ki=~Fv8l8e+pO*NF?)~$#?*YapWbdjb%IF$~j%R4wng?7Hg~p}9p>N6`;V+!{doX~k zk5Os@SM;PH#*}Tf-+r(xSPtkIzJ*xrIG(?1Gi|PQlP9TVYk-{|4(%3~Q&`Bc^Qmg6 zO*t+u5PxMY7;wX4|nhbPyyswCZ)C|%8iPshgA7!CJrNn>eV zXD(O=AXL|@GNPNejAK(_n4eoo)~GZ1<@Lxie3(R%&N1+E?9jfdPuqKltMh$|-0POB zp;ObehLqcHHdc#X)P@NzQZ5Jt3o~0y?VT_y$0%#tu1{#>o*$~+^@$hOxwT4!n&@+X+bHFg*k0v?witE*SzQox5QK(4M~0V>YVr> zkM+)AOoakk$TXq3^;!BTC`x~wP-(bi7An0+Rn$D9y^t-CWzQW@UKe9)T8Wujb>0v{ zVs;wjGwH2YRxobp&4Vu_oFuo~CVbP^o-%NJolX>siE>Qp&98lJtQh-b9-uB{jQW!= zsCM}xneePV#ox)KTT)uoU#w?6sF3B3)^E~%de4X~r$bHme4gV1Y`K3`a#D!(c`}>X zU$4SogAv0i+NMe0@0Lm-4k1%2lEVN;6RkY9B2=~J5W^RON{n$I2-Im>&B zH(n5-q6^hR*qXnTSlF#q@O{Z0Y-2;LHQl!X8>#~N!L8GVp>+67|EJR@oEecmi8H-p*gFjIytqZ9OQJn05~Nk?xAuOL0tvk~G)2XzV+aNXm+fHxAlMj3h@_eZA+Qb-8U1-wE? zAMqM>0e==+YF`8gMF9y^&;(n6!cK%DKy+_x5pZ7!suyryB)|k-pn`8$p^v(Ht~^c3h)AXhEzZm z@=K`UG|7z3T=Z;r084x%kP$xgB-|-z#uwOltCIU^Xanbf5@dfxB5AmiR3v3|G$SS| zKoSTEzGM_WQjJ=ReC4j5t4jQ8v}l%whn}Xp+7-1B)ZWM zOn(}FN6?ZRl9onMh#24d>8GMPEvgsecjKZuD1MmM7qh{5RLUQVfB(Dp!=Kta{P{nH z5R!(HhChW7^m;_Yh=v&r6B@=eT+(ny!$o^_&|V$=xOQ8$x~*E-_JD?(hO3tGsGTiu zM#FUdj(T-Ry|Uw*R-akBH*0%K!;pr4yMI}~y}FR+d(Lg#iauW%wp_oqvtdqf(cX8{ zZo5#g?%H94wq{jZv!d z=)!^*?b}r_&X93L@wTWA2eVJa{HLFK)w}Pvby1!4Ki9o#e>|GiquCVMp9p)^+j=^_ zn_SdWDrLNKTwf0Qd*g4#nZSZW8ud|q>Vd%ocOo?>vKN!_-7Qs7ddEBQM$LM4TD_a} zN7Gxn>Ee4)?VnZ$_1D2g{r1IPQGXp3v&miE$d`%z@%KL{rH?f4>_mnhd8X;B)XKFYnYrLo)ThEh;c zaq7?>!sG?{$szgxBO3oekuq~%LE%9iY1UEK^?Z(^Z{~AIZRd0Fam^eZlz$0xKB&rb zK2+TkABa(Xd~^OEcs+}8bc5bRwUB2Y~9r9%I^iM94i=8}1&@j5N5>u-&Lj8IoJGw!G?4BZCynkMf7cZY8Uf@Sh z7%0jhP>}Gf)}@6Bltp4iy0Ta|EY)^_0-Jlay^H3wlzSbW;+!ZW&Ip@mTNkyVq!Zaz zv_h6bZ^u_jS4O`bDf&OFw-Z5n&7jsRAiw-$5uZt8yW|)H6ek+UwDcz z2rI2musel8>-ZtT5`PjR!8~of&}eDUgIHh6K$$wgaC87hjW_1rFqmD}<4Ju}s^)y~ zG=gAbLytl%f`aU3bSaTdjiY$nEQo1(+^0zlR6!9nTItdYxVws_hf8RU$hQ6gLCjKa z2yXk_(4}o!P61e=+ltl%3EHhlwL|%`W-D5SR@R#B#FbQSRe#tf-gj*Q^Z3o<`u?)F zHh4D&Ej@f%irN_eS=7d)P)xeSq()2{#PF0cETb!frKeY-)W##1OSC?K+R0Kz`+&## z$Ak{1dFY_v1bSA6Sk`C*6r9&1ZCUN`>h2ZfVlb=A>+x_l9zDCc_|pIWbdjthj%zr6 zDAY_LJv~}PSAPnzP?Vhf|Ab{p4ujl^{iR2u!huS|F7z-lICPtCmxS_2IS};51rAm# zA%{nI9{Euq)*lkYE@d`)HoJ9dTOw}Gz3^Kb^mfE_pfUF}N%s35pH{Fy;}*53^4 znZ&;mF@5H}FLA&;vjOL{B1BbU`)t0=C@CW5x9xiKR;-(s^;hz}yH`55cGo=et!~B* zH)(VU#sJXLgOyNN@33=V@o7vH#Fsu;WM)AT_KIpivkB@o2}!wh5- zXhfeQG8I{jd_u8aFojnH3Uwt7MZ=TtZRYgcsz}CZ08Kmch$Jb%EMIaqbO6mE$rVZ~ z$y$xgvXut#Y(2j>ttZnZGbI6YcpA=@R7@soe8@M~;By)-i;%O#A^$M;EE&mrO{+|oEG-CVe~8XS@GZODwgpoj?q8knw^+%D z7w;Y8lg4{VmA4IL@&X=1;3C5#bt;z8Ph+BBRTcY38Z#l&Zd4E`svY5}IL^H!ui`xK zB^QxsxGWfsK^k4+1@X($!X9i?r<{HYu|FWIPpLyNL~e?E5m6_c3A$gZOZK}i-R2f&JHo?G#l zY=smI5s|Vzbqh{-F81nyptalv5X#5Jl>0BKt^CB!OjKbk%jdC5?+{O#VOzZb#pg zf8nlyIkM-|!!xW0lGIQShW4Hw`E%m}PfK+4C7-}u8WlD{JObk@H2X3&N5)E8XM{CZ zaO+)85?*Ay42ApwYUx?Cu{0; z0-w5`WRgrz`T|pA=U_f*jqh!^YsZ1ZRXXvv3C^aap1(~QX`$%yEQ5fVHP*=Hne}+J zV^g)@(U`(^sS|~cRHk)ge#s!&)y9)}p2pTEC`)qIvkci|#>6L$A;oGoT1CxMf3wmU zf}7PqKnIRZZzM+xMNY7?r8EhPR7B}}dnq5Jaw>IG>`ZfivqxJknjI1yj}m7N+9F$W zZXtZG&Z=suD?X7tyrN9MasSyAsd1 z;FiXaXcj9lqT!^OM#~8}C`wEUe`OtgpQWUq=IQEV#>6Kd(_U6cPK#^=Uh&a#sHo=P zN(N<<&KUjww=}DFdI)h<{vv zai8oY^h8weGBi-w-AKlu336~Ed;2lY>k*1`mW*+A>BM$Np%98If%Qu=Z(^?iu> zhcZVS(sl2*xMgSCYh<8xQ}UF<2c@3;GcGu+Q(C_ z_a?D-%+;mO}NhEOmWK$d{V80Q5`*Y@t(Ul zaVxp5<4>JlG7OPM8LbQT^v|Ay!j7kj#D##I)3jlay4~rK`sGL19g>4zyWH>0b$Zni z1DXG81BmJ0dV)8NHcs}a3T77N1V=3!VxZ6f^A-Fa5GaAwDz9Jhy#H}>K}18pVifN% z>9$GlTfmHzE?=}|@T6<<*1V#yV2%z7u$zV194n>cp&GLvgPC1of0;)Oh~$mt8&cw^ z6-|ufYBsvCEOuzs=LLpHns&ULW6?t&DoFjx#Ovx8_|Va`C~CkiA#Z?U%a$$1&Ue%# zIAvT)dP`dGdPk*%ezMw9icg*{biejXDN2+kk|!bIXyTNlGlqLGwy)~Cj~5O<*n#q6 zlMH1v_uLD!KkkNKoCrKQ=M6h-hV_?<5F)e|dd2`XSa7e&5}mw-Q|cCGPp=f`Xsla} zFOKZ=Vl`BPEL5tAUm&L2KkXai2TspSmAdX|JfAFKqgU^3KEFfxG(0_aebiR%SNk>1 z0m_tIYn&LvF1s+HnT^44fioTnHEk)e$80g8tB5zg5w2>GSd<|`qe|a1C|_ngu(r?T zmY27%1?!h*EWwSuPiGpH0z1ZM0`@=fjpWd_d!KXv!BPLR#S*5nOxylaY2ZCoB{)V6 z?%Zf^wp376K~s0O&v!HvU)tpwY2GOiR;T7>1Lk+CrgJPVWQM{4tjA zEW=dk`YmQ>D-kAf!xobGtGiCp`FfS(E2bU{>4Bbe4f!hC zN49CCQa|)dqkA>V=^-O4;WV~BjZ<>>#w;1}GQ%zWM=0$aUjxnnfa>z`ZC!7k2(xpZQ;d!;SYr9jh2~VUP>}AE*rCu1~%M+6Lg?s)5eeN1;GF0Q{^b z$PSMc0G+I#R0a(K@aJ`oFObwgA}si2eGnHuQ5mFPuc8H-0N_d2j+w3xYOMdM0|K$& z8OF!aV{T``tC=4khpvHSSO6#(ev{|;B`y!xdnP z%18w$Oi=;`laK<-8+*Ix-u82aNb0J@-3I8X8SGo==<5dRB>%03t^n<_=3jc~E z1sFo%Z;_OR_wxRUJ{v*Wl3BPjZk^a2;EAy>|JZ9CmOl?Rbhn{h!aVfygO)(l$qX95 z#3lcq5xQapGoPE)c%R?n?1+d=jes*zH_u)HQ>8#BPQv%)ps{zOTGj&usH<) zp>uD2|C*teY@(G7-~vcD=2?LgQdOOaXcAd`4-xe*oD0h#j0Gvx!Q!MUSvwNmkZ#hBUZ-yNb2?ez03UOrVD+<^^UD zt4+MA44ZWM^0TTRuGGY@3I0x!?-$RfRdj3$pLEH(8OH6MzA^_j9E&cMa;g_K9VK|~ zV+G2u;0~?Zy9tG2VBU6odq=#9yqpPeEAvfZbb-y+PadiZMOTBgmbr`{pfm`k3r^kGVMYT| zFJwCXJ#ebREk>hXG$cVOYYG-tJY$8$fBwZ5ej)2Lm?b0SpmPrR_=kW@#R1iZJpJX- zZc15MZ|2z^hwA76=Y>QOTQgqqal=y+_os__Z4U{$D=)WKTcM*X`%bOY5?Q0Do>V0x zLBoD~*#{o)*Pe6quI!WgOo9fmzN$W-EY>^biNe2D$?3&LNq&|O`}o^*&p%ybznf|6 z75o<7EZ;Wd-ySAmO{^jt+_&}M82jpBg!EUuhVLGhwZG>e$#+Qrij&m{HgT%<^FM4n zl%SFeB~m*-kZ{F&{-KW@B&VR#>>H2Yu7FbBWatK50qOv)RJ(xnVzv+KDw|tGS zG>?%|TkznwM0+H>DSTHH)HQNuHOdE*Th^)=UsqM9BGf1Dc-Nqj>YP?-WG{AEQjQM} zka3)owqwZpv-6_-K9#v`%4P9Sew}1>$C*8aqIFNY~HTJm%mcY-F8)rkyO2yS*xELsh_Z$-$lT5 zNG3WC6`Lr$%nikqcO?wpqkQ|mkyp*3-gzg(_k%ED{|+0uxwDib-0{M;U@gb4X3pHl zwf|{rfD!^vw+D$}6&=9xmhK_0kmGe#V0jzJ4Fw1SqHtWa@b>mQE-FA^5DT!p!Tr15 z#{~a}bRjp?bl^IQ$_Q;eeQhNq91Yjg)kZ4l!I3b17y_n;P}bIf{Qrmp$G_c55ru~Q z-L1ri2P};r@N{o(ED9`Q940B3-#*$&JY<*`=w7=drzf5IyFo@6Pxe$kZ4t@r(F zK`#Km*E2R$uMQ_JM5AqseQIICq`GAJ7I3wo%Po6=!YbwXAfei6w51?uJ+Y8H24yR_!!m6RT?nKvR3)LcNZrR5hak7vgo}wbq)>g&gI9R zmI>bco*keiArQwk$SN_*z1{APW(k9V)UP>K*x}y|p1F9NCpNX&yS8|7mh)yT_-14& z43O``LG0j}jCkPuC4uvh}WK=a9N<#RcdWXHOl!|5ch5Z6 zTLbn-9JY;s-4uKy%c`#l>px17gpYwl#BQOh%xwdQxk Z+}>n5h%a^k37tfvkZ7=&n4YOV_&>${v~K_a delta 68023 zcmZr%Lv)}Gkc@5HPA0Z(Pi))v7dsO>nPg&4Y}>Xov2E^u*|(QHRd>~)uU)TRg%6U> zc8~^!f`)>Hf`>vhLO!Np^YD-`lQ^2#!143LG0B@dSh`t}u(7kIi;%<60$nNe^wg6v z0s;b`FYOUbOnLtIU6UG$W>Jco>6-M#P10-)F4j9ZFV0dL|#BZ$F_9xFk}7sbGnei|`QC{N2e z%@0-?{13E^jP&+3RU=B4%9rgd9v-{XHN3X%lSK)~=-=4qYbJ-{Iqk-e=O8@g;w4f( z#LM`pl8{M_DvBwF#}V~s+3l0Icsu>pg)=nUFKPoc!-?@oDonV|Thto=E zXc{c;c?3HZx-%yn1pA^Ey8c@Tm;xqAd8#zkLKXNn38rlO7%;!jwoO9Fu{P^4bhSS5 zv!j+j4xQIq{5=l0++m~SJmap^Z$mRL%0no}Ve>i%Ne;YUhPX|b2R5Xs`1$Cvy0}aX zO+L(DIo>pp?zxu8u~DUe$fF#UG)z&#PO4lWVqXUu>qvk02X0I1w&l6&Te6_vn$DRN zBR&#FX<-u2HSlr$^R9lfI~t>&aDGm$X!)~Q4tSAs+d$q{k!y! zJJhMVZOjg12q;15Ph_nfiaRzUrp%|2jT?%NZ2kkU*r&j&@{u1k+!yl38M2){(B~7YDG>ZdDkrd=>K)LM>2Xqp(74Ow5FETS*Mcn$ zqn-=y>B;oqUzNQF+-+rxpw|xBKSD}6n>Z8aa5jomUV z$ROd?-*bMd{Ud~pvb!8q5+@zltP*RXkORrHMuN_c`1jmUDqr>ep`4mk(_7npGgJT! z4uBpd&9u8i@EG4y$&-u>_uak>=^c}CVi|Kx%r5R5_5)r?8SG8J03agTjC>$hIyh&>R;G~gXp{|Eq6%GNeD(gh zf=IPv_|^U?r}&EyEIev^?73_sD$Cdf$K&BPZ3PjDKk=mZ69QV5Z8TbaPO0e-FKG0! zZv4HzyyG7>57Vgbm;KgDC)!|((NioX*>4c?ld?50_)XF9*iY{9cQ(+Cbzhnr3PAPr z7OY2%A67e!pm%Y-gR+OCHzPPAVwi&EgnJL1V6paV*H{Uyi=iT%H6ajcs80Ec1uFR+ zA<5ZFxrUvmPo<$w^Jh_Z>PLz`Wid>~9oo2tB>b{r_%cfY@ z;5lkq9o!hX#=!pvZED9(FdjbSK3goj%wdj18rM4sPWBDkxUc)nfznAt3-BCDq}Hii z-7>QGrWP`qj(GJbBSobUlF>8{i#e3cVHRNe3bt9^%dyfY1QHr}af>eafjRkoHW5k{B%L5Yye_*RjvSVH&=_ky$F~Qe| z|CO&Ckhm^?WA@DF5frXk1vqwE+{`CIMt;_pY8kMW=ge^6Erug#()}pnYwJVb6^X>~ zkE|1egqeLsX!|2EX?J8JOs%KP5@O*4|3;aXmBq9FUNOqoTvB3jx9xwLX~KMyNsRFx zpo=PNO;W9hlA(<{a@UDA;Ky11dJQd(W zki8P&3bEc_?A@)^%%C6+(YGZbRc_FeqyGb;bwr-o?uyss%K&%B#6z3r>$$5{m7(&> ztkUW7e|olLy2Ui|u7Z&6YXe~q+Bwn$fk9+V#$856&_Fa%{s|sCvMr!vsF?sFoL|Er zY}CFG7$TpMARsm>2*^fOBLzYb@WvE@${LBo%Yul1gvu^Z-=wh6;^!qK$&Z^^%Gk$_ zsx}o-oBDx^SX*CC9LOD!7?$83x_xkaqO~TVDODsOUn)-H$&LJ!EmitcnqgqV<}0ei zDv-f?e3ENnISi9)fl^PBKEcgHP5_rV56xf0q;Md3T90CT2N+34GogZT5DlYRGaPe+ zf#oED{$3n}J}4CWy7}5*te*ff+Q8-kB9eIi%ef;)z9f@hLV6^s+If zJ)pfaNDR0VY?F*{_6q)mBT5&zKr})-iTwl_=XOYqw?=p$t@%evkD)!j(D?!H5BKoX zF@|=Cms%!HFz_DY#Dp1@IUtZ)2L1n4&197D%!74X=VOL7AyIndnMcb*&;J`OZ(qyLs^A@C0lTpJ}hU ze~#FeAE|eXf9UDjfBmAeY{k-;bp9dVjn@Dos-u}={h~@S?Kx6UjdICl_v^A5M*m;n zYm8FJF2-P1!4su^(_}$PX8KMo-#`ny@)Vr;4PZO2&JUtKw-GMm;~C%c+nZ3xmDA#F zf%cMKFXGP<=g9dd_r<_r&Y!8#iSTF8i^y+U=cPbilEdhPo3y;jto!|6k?*UQZ`tc6NF#F-L>i za7N3%Rfcm=DMXc8yQm~=&|qZpzG5P1oMt9mZ^RvX!>=*4e(;k+Fv+>gK5M5bxGPSm z!-^vrq5S*qKe()rIJs&ki#oomSIdES3+VAr;8jR-AQ!pDosZi0_1!UIsxz7 zGL}d367JUo#TfJ$-FERVw>H-xWDBYc?KmrxWtF>$2ifq?+3(xTZHu z>9ja{R?wW(@ZmMI%71y(a@jRy0R4xeOp+ywfKt7h#;1s@$hbd9)4fiJTiQyMW~5M6 zg;M(#eP)?ebcWOHmpgjOV-q;nhn#Pr&d#njnEx6k*uBWkZ@=G*1LgdX1x))v@Mv~c zu4wkaQo;|u%Rv4PKF0fA63sHAFhoF*=b#BCki4JTLwJe%rLo}Ouce~6T~XYYW3d|i z-o0Dg0B53|`ibIXL{;+_U%BHm2nM0?KL7b_gWM%u^FCcbmVBKx52P6Bdx~Zv^sS~4 z1#_sj`+?Yc%1IH<+`-J%E&Z4n1`&suBBKRsfW)=Sj)xLM$3D&4XeHhC=MFWzkFV>9M-`* z3}!|YY({qw-O&OZ_(WGNhu=pk^4wuV3}iUn>DlJ5^^qP+KJAmNBnd{e_(!u4#r%-Y zvI)J$lahp~fO@-zK1mVSfg*R`ZA=)A@3qHR)b9k>Epp@=P zM8&;&v+MoYB0tZGEMd@{dj@iqte{qoY?_1yfk~F#&73aEcgczE)guFsQhdIb2NX2N zaZU$lgpM1gVLwSBv@De8U8$s5$KWBYzTo@50~u|F01yR~6#w*p#4zY!tjsM=Wsr@+ z>5gTPm@Pb~knHT~6sP}`04h9P?+>wT%7-Fr&&o@SlIt>Wg}t!UxkE)m6L@l z{niGG255m)&RN6y5z7Yw4;sww(6_a$)(SgCNLd_B zPj-D9J{q{IKesejxjwDg=AFey%S+^{EE1T&B?Yf`FxRuz-GB~aVw!7fgD@~$$TKk5 z(Wt568DZWg zUg1Tg0|-v=b#ROzMh%jVbj+#1W)SyCT%3cwS3`_OFbzgVB)`eYtE(${VLnT$$mC)G zWs5J6Z*>SRAIb%ar!8m_v_}q#2J})GNF5Fpg`BMgspS=3C<$IG(%=}LwwY^lL*VIVS@OT-_*S2 zOy%?U3G^D#en|)QbaXz7V`d)vN zz}I%Q4PCQN>Jw&gT=xC?OQIdsV`3mr^S#O-!U&>>MdaW?qzE#K3UbHXVDbfY1%{V` zpCD78JKoD7c5fr0KnD)V;gT5ELY^E#4{hL{K!LS#w*~ukeP6yfhW3xcF+*p!fyj%b z8TqCFtA>*#F+#U;-?_a+ApU9CuXSKr0l-%PtDi~+&*1j*ecp|b&Ll%MX-NUq*p22G zz&A8VLImO{>A?v?j!z9Amz_56%K+pHD^kHz8dH*m z*`blizn29hk2Emfz)AI9MhgvK{79+e=sKtYaw9~IWO{c;b5afqe&YMZpk#9L=n&62 zVD2c7G5>yIwC!VVbO+~wRqeYAS;m(w^7Z=EbpHShBsVAUHx1JiAd&;(xSY@Y)MNOGi6K+y zkB$B}R*uPhK*Ry0VQMGgnR4T4hW;oo0lSNBj86wz7tG zV)s}xi0!Zf^rf4+ykq;VWxoq0T$*FX1AW-MGyk!LcW>ZdnwnF3xj6>wUnAVzjUPfU z@$gs>cOaR6{PIFFZX>i-!rV3&BfH%#H*v88g~nRvj7hO!um+UNP z-SLW_%5;Ns8C#?MM`@pDYBhdVXFk|TTjkDj#jS^;d?~ygwz3VFH<4aVzc`olbQB`k zJ-C@}tnWB4_d;4s5Xcr%x05H}-L?xT+B8l7A|nCFKTID{fheRDSNQc;3EZP#$}u5v zioPJN>L$Iw+l1%2%Nv2_mU8xAqkp`CS3Lc7h1~hfrKhz&q`3C7TrH_G(Gm#fi7P)? z(gs-nYK8v{_~(%Fs_MW^Yj>ZoeAm>V;Yg)bV%g-9yei4aueR;#T;l2S*{3e3uK}2l zggybeCP}+Lhn^B0$(N3`xMG+yIJ2_YtL$ZD#tpulK6vYllOJur2~b`_p&vUT_0{XH18NgkM04+RUN#RY>bz zT~DkrMW6(amxF)l40;Y>P(-@2<>fdTlp`kA~J^AUl97 zd72VC`k2o8JM%&9f;chcesw~)ZKde=QxyFktErfh?7#ke_vqDyYRo86Q7sozPyZl0 z4t4wQ?L-h%KNU^qEf*{!Z_f=)#C0TWJ;6oDBNZ&y4~m3fjheGv>V1}jEZ+SQL0!9V0!P};Q=_;ec% z1wsAgd8J(qqOTmXOy-lNnlZ_?vw+VEF5wEXfE^h|8-Hli* zAwafga0?%LnhtN~*M)W(H2Dm#$vA&OMyahV40yd3QI^<*WM+9wo$f)gH4Fm%i~Gwt zYt(!D_IEqDLm5&A7gIVDL?nPT#Bb*l? zV`;53jPaqD4=8xe8R_Lc3)CEo37u~yp9c0c8*2nOgisO}~ebzQUe zAdb;$r7N57VS&HEOZ51v>gqkK_wO9TM-A(Aw+R)o7H* zGF{Lhvaor#;JgRldv33SU`l?#raQ8+Q>kfn^+4{S?5!V54No1({_p{^ZTyHXYlUGp zJ~9nY3Co$?r3vS@;#jMa2Rb

H|FeH(RMF2qGI=xAGHvm?3yHTmhl3z6dnMBuE

6E9wE25lJU}Ds?WMP76idllGQbc?Q=23HQuaLNoga^PGzQ=a7MU z{CnbU4KD&wl~t8U$tyI<9&zCc>?0iiT4>?gwyUDKc4^H*<|J^ujNH63M&+s=^%NX8 zK#A4MISPtT#(>tbxyLp(*oE}r=1~Nkl~zk!DRkk^{b0I*W*6WK14jZgFFE2yt)<9k zB#HQ$st})xEL8e>nGpE*p@{2zsv$FtK?IQjySgr!>{X#iuFP9l_-35Ccz~HxjE&i8 zKYIT|`zF+DlD1)M%C&rbJn}0h_TyQHI3xygOWHF>QgmoQ^vUxf&R@kLr&~TR+FNdW z@gUI^ln<|#Sr}-4zxGErY8zkmI}FkO71v~QGrVDnk}jDkPa{8ZD8kk`En0RW0xNlg7@cJa+VH%Ix3&@uF}vP$dW1&uTf-)U<+DQ*5b zv#alOwWjTE^nb_bjH4f_s4AsRanRYA5WaVd7#{jUQ#9esWh?`az#8}wsxCVr(KS9d z@+z`Ytp9Z&;5?3+z(~6wANr`6okZrS)u7=;sq@speRA9=VESc-4fEL7#^2OHs&B!k zX>+{9!w+jqs&J@m8e!#|Z#73~NJ0tzV%nkxT#ali{^N*H3u4)x+?wEkKZ+2AoR z&1)%{y_!no-d&3+;m>~JnV_^yi`Ky>inH-1+cZ>@KH_?kV$oDcPA;~ykvm@^EYR;A zY53{7Inc(KvM{1_*N`y~dg!07F|FS7It*ky{&iZPAq-p((2^|rLNdtUFyO|4ee_dw zD*>h!(m1W;K-=B>iv{v9p2XQe-(Red+p_aF70sfFt_4NF)47ag>M={Sbk~xcS?sUm zCM)qW{Uh}K5b_bgV0n^)H0Ml_sqPoqWg?53usS`FY!7(Ot!gFhE7JP+F-l9DJAru3 z-o;mqH>SKHD(pcrTbBDz_f*>%0#qe^Z5Hh=moxl)1Lma;`sBXEbJa@5BX<+lC|w3}#bs zmQ2h|@aM5W8OxfKb>w5)W;qkZMFEbH;?N>*JS@-x7!+EabW__bMH71U zC?OW?H&eAP9ncw3e>=wl1DsFMVgt>J9lbf6{cQz5K)eS{87Cd)n$9yt(339}Z3QjV zGPsm|9&bTsl(Hz*9z69N5wWJT2R*owu+bsIkv-H*Xb6p}>A~BfpSFDUMR9wJD|ai% z+LYMZrjXeJXR?Mq$$N61-8NjR#Qfov5q$K_29Z&e!X0H;GgT-!0S}PNfzfRv? zD!Z`Wh_jYlX!LkN0r~Ay3yy!yTnx@(sEx$8Sf4|QtT?|$B6T9W&ztypl)=iBSb~TR zIh17sWRsGjnnDV6eH(NJkqrOUmo$S<*B6`pxvM4h#h5vO-`)B)=AT}@vfVFbroG#@ zlt6xqY&6PKX%rt*kS7gYDj_Hub@=06Q#-X z`&l(Y;B1#*9LoZ6(yW)qpHs``4EF7<)4K*LIHQ%)zL6)h2XICa%*rUQm~PI%BnIM? zbvaim5P?G!PFIHzWfXoviY%pQnfEPa=WHXQb4*sMt0k9U6{Ew0Di@pT%ke=jC6R&{ zRdOc9u?%4_rt#8z)P}rD26E0b6{Ood37}8Q-_1o5@sq$9jEO7l!wh|Ej+gF-HHTOi z^#?CEhH_*BVDPw1!C@&E%9X_cZbDL!fUqddrRFLk;B&a7t{^7;eW;Tx6szKrFt5Ut`@J)%DM@uz45BgP)EV!^?Nl`hOolmj-)8E zC3{+VYCFku#m6B(@5Vt^QOx`rCf%m{20F@E3{FWpgMNq@8(&h?8A_iUBdI9INZ<@c(XbqSHvOIq^9PgMteIh)0! z0%;m;o#dTnh&y&jWTC9@h=%ZES4-|a{=yJEKt%4=5Hboeh`ztYH{#wP@}q7ze2h>r zfXQ*4b!;hdk`cMA>)2Os&wO(}&AA%4#c=1Ys~r>lptw_izH0{M zO895t$f;|_Z)-oMDz#|W=w>9+WPn19I#5!zg~?~5&TjT|hM^fVm=5k?U?G$g?P zAj>Ufje>1OYDPn$NjTemH8dTdh#N=*94AJ=I{HQZc-_=2?wSOj7p{D(6^T~8JN$p0 ztGoP}!58p%42Pvm)aH}T2(_8KHeqWR&q#Ic6_J0uHAU}KJH3>l0$raPpWzj?(o#9( zU$0<3uEAyDZ8T%;7Bad#lA2L{+o1M@lJax-57xefPFkJ zbNCNTdD`xndpfM;I7h)}Eni9CGYk|ZkEAR@7fwR0S`e)t<<@5QYc#i74(-Pd4&8AT zJli-yYUZF(Da=nhHP{ozb+b`P_v z-2McpFjEY@vC=xXQi1GL3H=$siAejzOn59@zFdfS;DY72cN^BdwY>86Pd^JzcOua+ z#SW~p$B$^8%&IXq=2c{wd`~Ay@^*=IhVJ^NS1US`nsFz=@tQOo)4Xhqu_GST|B{Kj zuCeqYf29CG#6XTbqaY{3iJXdSNhGOe!JnJj6HRFz0iT1Xrlmkr`N;(kx+~nwAFHXM z<#n?mqOO#AhpqJ|8qGHmj_ zpzS?g!_F^r3x6Vb><{mMbN+O5cQHx-~@-ku63umI=}w0 z-N+mH!SySV;Sbs0K~hIxw$Y`To$~r*kxL~Xk8;G4isZVULwuASDMy-_I5;Lana}+8t}4Pxklz&>qkJWo46DkV z9!9@6m96%C1i2qo2{Lc0%*irA&!v%UaXU#V?QtIloX;X=%j19)Qvp*7&h-<#AhoF= zYmufB?fq3~)Y~s$4`3GFx?%TuRGb~)K9Xyr^7Hk3UWaBhFLJW28~Q=?Px)U0F(2B^ zWu0=A_?t8KZ#3GS4wTDAxmemH`NE(XYr!iwt$M2S8am%T;e2GL-d8sAWW8VE;5_dM zWiXF_OGl6Mys{TWCShRyFmG9-994Ry%ZREWFD~B8g{$xbK365^nXvo#>Ot^+8eEo# zfy+jSCvTM5+S6{XgvTB1nXT(auK4!QSAr~B49&p&gyI$=o1e{dt zi;<%bg=0>YRNdGbkK%O($e(Gtjfs2TkQ@UMb;I(Y=!^#iBH&2$*Q*nbF!1nH@2}PU zgvL0}^3KKVAqLOVzqRBqb<|dZjNs7(9Mczb{1i5OV z6+ag%_#+xsj>y|uZ{IY{r@ohGG)yzf1 zDK1*El7z8zD1GtiT@{#)s-|5utVjvqOrMyLu5q&uJEmyF^6d z>`7G}6i`aGuL?cyQg)jOAJ(zm!*o3|tRXp=u+)K~VL|nsH6->z9l>g4md_W$JGE0_ z4h7#bRDEPyCOe)1z4RO#T|Kq`yp4o6d7<7-eW|a+e;s~`v-&N`|#c9xG%_B^S>L{VZcci*U zOl5vuf<*km_G}to2`d<~@V2M1M&uPhWf=X6!jKDbwE4HwR%b{0(u*iA(L4K9=A*y| zH?9uV6zFFAdzHCGs%@mBTvy|hNQGxuO%wFbHmkfO6B@WE`QRE1Iy`u~lxQR2yehv zw#7g?OWgUWzNKG|~jQsj#$Aw%T4OQ+ZegTzfr-Cc(-_`-5+UlL@6z1wDw0`u83 z`gYM(Q4&kx5gD%C#-VIi`1dj3(fNfu)&luPCW4DUbtG9hJWeHiX)#1nIlbg4VCF6B zYX~Z8s1EyjH2iqmb-Oio8y`Y}Hx@UaCmRu>Pak2a>-~ba%EKm~ey$SpD*hVBI<$e% z#&j@dr|f4(mMeQmpw)48T+YR&@&*_)Wq*Fuwa8E@p=D!9ilxYol_~*)bd^4jKP@U-Kgl-Y?f;nPzRQQ z_chTZN|j!-WbMd1Pz1h01gFvTLtF_C@_A)Uyz5#y*l26gz zbYW>IPu}%AQx`q7YdWAoyHu}H;89(h+A)7_j%?+lXO5Z~HdS-y9RH)=M0(hg>KJCoay6*wMOgX+1Pr_TqCW(QRHp|AIzkbRr)?Z zs2%>FaEVI0%>N#W3(B0MAf+DSWX%q1hIbE;H`;V2{jAQHUDXIhIj;2_2JMd0(n2Q| zgudF@YaWxuLMZ{=4zBJlJx^YG*U*}(-1CUe`x#U7#Jnps+Hi3K+~3j`qAzf}rgC;pfe3kDeGRvCfY$xMVz5`mgUZ{HKiB7fA(wM%z1$I=_j@5wdun<@0)2;rVCl3 z33#4Stu{WPZrHWuw+j7+i`|RwzTRw6id~L7$6S7LK$QZhQLNkuOOAhXFajoBQh%0x zJDZ3l5TJ;~MJ(rLiMb~u{}6o%H^P(d92VP>c8?GN{PZ5!u<;JP&2=7)HN+@@nk% zL7}&`BGUne-P)?ud>NnIMB*fs>-Wrowup4wWpTH)g5!tk=|-v&EvEIVVskLo;I=ay zD@G^Q9}&4EYD#ZnzuxEak5w9Q7kjy9LPq={dTU9$EgM91QnVAS6&?Q2CjS)r`Str< zOA*=Mgg0E&F?fc30{XYCovlhcOLE9UX=-N0(Hx_>Rx6Epo8RprcphTMeq8p8ORZTE` zLdz+CnOwAzb+Mr2il23Qg7W0ERfY-bY`%gdb@ss@{$cZg6QeM#h3yXi8Lr%tyKQMT zF6a}etfdHE4Zg`i?Yv_9#c^3c#2}`LKneZzgD~Wsqa4nRW&H-GLEWSpt!nr4ucxer zc;a~Kb$HJFdXjbjv4(lMGH@q1HRpzS5UCo z{FWoRFwSs>RA3N7k9yQmQC&>-;S5n)I=KhXzSSP!&X)6Y#`Xtp!8}rtXCZYc+$kUQ zH)L)2-X{%Ma<5k(w=O>B<1HikJy#iPbTY;*%wQft5tty{V>O8Iu8m%}8jzg*ibaY-KY^H;5b_6=iPhgRT@e z-)-FLgWIVK`}2e_R3IFzZ6$yMR?r^b2<2n6b9&mlLj=De_c9tIu4Km*U#ZPPvnbeB zptvLcl9%`5m7;Y%*trSKF#3OWwc!L}lh=6SFl) zEhUxFxxpxSvo3%O9{hlUTSYDmGaq!9^0Dkg-VCV;P$;Tma0C`FP4|=)(o~V{@Gmn8 z$f0{da9$B#lj+mXS3Gzs(Ciq(ER3H{bWesSl>5iVvGc76^Dmw9&L#?{61yr1Arp0O zl0zCL+%>yZGX+qHnx6e;m?>YmDZY!1<2$$PU-{2@RMc2P-`y)3i4o^$iUVlaVnI0W zDa9~kbOA19Nr1ski`aXZ;cWz$QAY7}h~(i5-y>#^WGytjQr8Vn2Ht*wpH-Cah8D>^ zoAW5%v{;tDpcwO)C*G-*aME2ZRuX6_2^2`o^;pfPj$ABL_VOARv0J-$;Z3xt@^obF9s%6=X9%&Mq<#fER>xh0N1WGo%(sx=`Uq@=e&C`3Hqp zF6wI^L)UZz2wf5tzgf=iI?4S)gEvKdippb|X!2ipDaP{R!J97L=1$OlwP>O%8D*XY?9~#iqO;c#fd^J4IDUkVpb>9 zKu?NIQH;?gFZjul^Jl%)FMRbU?w0;%76mCo_f3^njzG*07U<8&`iDm3YUQ%fTU45^ zII{d4k1qNrl@ABsLcJ33;k}69tsL_7Kz@vRj7Dzy6fwTn9t!kC8c}Zcl6_Nh$?|=2 z_Cv{IstrmDOHMUHdF#C5#$;49l?X><3MTwe{5j~U8(gIxamTu=)2FIoCMo08-u+q+&hX)vFqRK+8Cx^Bg#;cyX9aiVEYR- zKAp=;R5Td}M+UJ?Us&>!+h50aW$UCif6#Y|KGa}xH!J~++Tw-4`?7$;C?b?zCK`b` ze#&FO-pISXg4ba>D_VCM4gJmF*Bc#HkNTK)@eB)&#l&o{!S{1LGZz!517ULC zuQopm**_8m^r5i0fh{9zW^U6E|^u2}2yz~(eb^zKa* zLg-zvhf~#vFz${xK{F*q4p&T7Ai$O<)%b%1eV4Zrktt+eE{c(<)JQVlbc|ExUw+>{ z#cs`N6Z%%r*uIi#x$y_B3#E!OJ(yjiJu=A&48aZ?I(0)Ir|EpJyc7Q3?MZoiXUI5N zBQnXr8nq^_{Ez2s2ZXq1;9-cA=&)>(9;%sV^VAt7e;zUq#-AN`PzVqIzdqJZ^(@p%5hd6m+P?~4#G@#i(jVr?7J9GZWjs@=bU2E#-Q z=~LbLpH0crA5^OW;48Gjr5-xqsXaAR;-o4!kdSSDE6>;2@xx=Y!uM$ogHH$4!$Cvl z+=W!OeUxrfwCmy)^=!+<7bJP8YIVth3Eg%ZUr>2eOIvm^R^P#}UxOxEB7Z{bl?#OS zUAj41Qh=VaYn7*_p>xC!bt~)!byZ-(_b&5&CEj+cEi!Blpo~P!mM37`p4Mh@%7<}f z)?cu2MuI(1A;n!03Y#iF6~`v5OToW|jDJ(cUg8K3gP0CE(q+b-cPcinMqg+DU7t>& z_KiJY(JGsSae**k<%%3_Fos7@qnKs_=RU_7OBx-btm2M&?H=o&MXcyJDz~^G$S80X zXdhb#$dAeabJ>=jwI*DgT#YAMV>Ntd+i-FDe6g2X%{aS)`_#JZNyXWm+IFoDN*}R9 z?)>WOFFw&rS)^pu^0k#iBnmFBn#IDh&0DVr`2(F3(1JuNw~sL(Jh)^C6di8KH!KiD ziD%S?4w{XM_v7s#3`OIAL*b0`m&`)j$kQ5)dTc-eS0A<#AMjqUGb*_vxVW^c?PW30 zDV60kSQJWVtykVP(=Z;+Y^k#BsctYnnmv|xtyD|XYs|&P758gCus+uIyfJlWWXgv++(H50Ope{danIUKQ6>xl$bc zOJZVxLJeZ)_Qk&!VUc zrYdvZr-Wtj$*ZkNt`qe%w|L-T$UlAOQAJHeTzlowyyOCpQD#DwGdpx@bQP>x?Gr zKED1i=C0{w{)PK3XVgCRAq@%NevSzbEyouwK z2Dw}}H!g0W=>w#~*W{_L99xzW#*+99Scbt?;Kz&_U&7aEq%{BFShx7LR(Qzj{1ot1 zuX^)n65%a`Q5@1qml^Y=U5GZ;tOd37!lqjdnDOv$Aaf;-*%Oq)iO?@I=w{I=92b3w z2z`m*oOt4k($8+`$FvTD6I3H+GlBW7q^7o?_fxVBJL>ROgbLGU>Du_Cql7&j;A)c& z9!(lTJcU$gFZ5~>QfJDi>Uw&nj+NJODc82+uG{;q8Ol<$kf1T2eQwx&EOof6DMDb+ z?bknSsavWeWEAlwP1&)<)Rn}=ry~=?G4&@WLMd0!eQEf<_=6?}xHTeR>9&?%-GW$G zD_4rPcoGhM=OoTl=Tiz6bkI`q?FDkMF3$BcmjH~9OP@+Hr8k-SVqY>}A;hI*E1Y9B$~&vLdb=;bEXbAhIAH;w=kQi}``!t>wDCJw?kPe8 zg{k=rL(dDFdmqCFmy1fkI6EOfmw&%Q4xDvBEw84;0sm`E-%~|Noxh8BhF6h5Wk5%B$xisr^xqo8kjaw;#gv^B#f2rFtU{Ua_N>*pBuLhB0*U4OLEW}h8||yUBZ$+dLHVH59_1qthFoL zI%-OqUokmGZ!4btS|`?yC_8+R(Nww=l2aJ2xo?GX&9O4uKMHfKu6&yO#ZTE;P{x8$ zO560-Mp+*Qq&QslZ^Y2pjO>r&gNgqoH2;a|trOP68XOU~Wk6_hEaSsOA6cJumf&7e zDQqhidcy75b$(9lH_U`t7c0^bPheRe_Vb)QBi7C(O0M=pUCPRu-F!f@N$BbC#KzeO zlNr<5EkrIw2_NIiPohYtFRdYim-5N}qrnS|>GEkFfYYA^ID-ahsI}^;MOz&3sbfoX z5&ApZF?Am+_CEkwK&HPgJR=1(+Gkl4nt}Yg{fEk~FdiGf5lGVxI8(~a=}duNG3e;q z?o#KxIu4Y)r9*YN4e5+|*>)I}bsIx>W+sPSX{CYyLyw2`rNDi7kuJrKK{028k}%ZA z_NlYb$ps%#v)zC8Wqzbn&Pk1X5Gc}wRV zMb@3as^W<`@s@C|30pFXSU&>~q~iM_8ViFa$6(9J%BkAG00DP#;)4waEERt?kaO5Z z*|Eb{&w4(-Vo;A(8X6jQtEx3egYBl4GoVMa{mn8eGOj6$=0jCQti>lR0pobiO=J;* z%+u~)5?grGBu{$N2WPJ}OSt|IlLCwqm*F1>6PKzu1{Sx+Y6gWLm$GUG6f80}FgFS> zOl59obZ9alGBPqaH3~0GWo~D5Xfq%%3NK7$ZfA68ATl#IHaC-T2Pc1wwgpgJS-35X zJ0TEUo8a#5?(VLQ)4016G)N%0y9bxxK@!~E3GM_7@;WnfCz<>IRqqv5%~_wV&-Olt zf>c?JLB!m_6e#Hca%Es)Wab5kDX6kA1DKiF7@3(_ktitCtzGSa|A>(&G=a`8)(#-v zKMcg2fhMkCnYf87*iL`J0R)hBvjecO0a!SBS-5zanE|ZK%sl^N=-|u?5I1qRHU}s$ z0%RRPKo=wmF$YI4XKPCql2@hAPqgh!`gq<3ZM#f0Xn+_%>lm( z1}K`?1OKj!5s3nzZe{KAw_MG^!qvmX83+Ii?5xdzAQ!NQ8^|2!3;>e@)MVrVN{&F# z-^TKP8_)y(=?#E|k>%fT|9JljWDWYu*~HAu!QRmXjRZ0+dk!sudc_p3yvUtz#q zmH?THIoR6+L9Q-Hzw#5eb_SY(+wR5m_hfBB4jv$%e}IKG$lT&r5$0}=Od23-CpVys z_&+9K5z=p&CD0YX!OYCe#lr>wIst&5W>!qU!mE2Z0{?$fviuT*EAaDibZ`V%fQtb7 zSz7?X|B!rKOx%G0S7$e%pU+VU$g*|4HKyUm1{v1Ayo6Y{6~%pN!rASpe#P4hIe3zp)e@z*`FhQ2$K>yoR3;6e;RREe>yV?J5t&FP)_#lXYEbV{(ZKJh|q_ro|T-n;y% z>y+79gMi8oF4n)U6#xTxH2+HnK3ZnB;H$$0ypn&ZfZ&t!UrGs(nS=SSBgV?X2{3VX zHt|9N4;hR&06r|>vuFi39#`8c_OkJRrl;NDpLhF}AWKOp-rX#Gb_ zF#ZiW*nUCx-&wHy68sL%@yp!7&G`>Duz}?t5FGz^cI@D(S$R2H0YQIQfMtL1GlPH2 zwD|*qM`HU21h?_e(!f2o|D!Z;|9(g20K0;~=jmSo8<+{?W^elIBD4G>gI_Ii_?;s- zro$gzEWcXf_*)I;a0I_SLI2qTc9wsn|J?z0a50YH`_AF_RN2A(akO)D`6E79;`DoM zz-&%#4z56RQ@j6Au(AJE{FjA|=O2H~f5j}nX8XrvSit4~rsV)Txd830|GShNzifc+ zf6Rvi9K;3uR{A%8a93UI{#-d07I2lnX~EY$ldF|8@Q=*}x6IYU;SUFJ47WcZc&P4w zKyYRre=H=}+w%_y4)65`1h>okcXHrJ-azNSss3|inz=cHr{nt9OAUNv{s({m^@#!m zdIHUm7Uvwy_(E+yg?8N4iV%1(?2ZXcQ|xMeq+#$`bpGu2@CyC|O-*L-y7P_5hvDAW zE87y(KZKV^o_vm48{i|_l2qD%`aT*Zs7~&-BP~o|4~!QciPV1~LL_8R7yj=1*U7$N;&_{okxGalxO{y^5v26xm}g-HJozDkL6Pgu^KV@K_xR3d8S#j zxNqTH8Hf;QG0r{FW`5jEW8{p#kjN&`A^9E0vK9I0Zm`DP&w8&`sj1-Tcxv0-aP!yg9zU%Tp)W#&mL4p$5>|RqE6cnYM5(aluA@-hT0j}h z*Yr#7AGjZ3O~Uwnf-iqWAMjbW3YnR8xncVtM+i?ja(yr2{Hhwy6+1U((C6(uFbqOo zLO2y)OuJIg&kOOa*d&ZI!>RK!BzoTEt;JKR@O=U{&V-aRoo`fOGm4jak;o@*aV%U6 zk{7YdNcHW`R}V+&2YcDv^As?iYF25qzvn1WA>BESW*FUX3>tqD4GHV#xiR10x~ZrT zHN-k_(7Zpd@`w~2j@wk{3e9`hsT!Em?V^+>B@zu)e7il{hiFQ6qAu!AYTq1>rll_M zuszyc{OCbnE+bAsRkWz^MecwYy#!+N` zUxp?#`aImMdGUXYFG`@MewRV_>>FP zH_B`hd8DBXymjbQ=o`-yBCll8Y8YV``#*`vjzP$}mP1hX`EbF#=d42_3(}nEo9I58 zos*s=NVJ86g|G*mv$wAL0sXE`^P1Gb;(8e)GCu-56=4brYvpC+gMZoF`b=brt| zh$-~foz4RF+uFXfE3vzi>SY++%CzOzp4HbpVhwyZi^gYOC#twqkiA#P(P6F}iFfzm zT*pnG)4%HjKso0)4X3|l!xOlLPR>%F(vf3ak;6S4rs<)_k@_mgNMo%h9sN~y>8s28Q|z}^xYsn0-oH+JS8iI zWwL3Fcf_si2wob!n}feXC2K#f_nKQ`T5iM)CvAE=Z87SXUet=o7oM)M(siN!0=Z;t zGaB4)PLSbpOe0Kkms5!>Wj5x6pk$^-OP;(7iqD2 zlI(Lkk;=fEYqF)h?@D?nhmeQEv&L%F{NN${0K|?V4Qvg-=CMXp2TGFqc6+uGljAQ zYaTDLrU;Fis65km{&MV7jyL6E*&=@h>$h2UeAPbRx{;~L+7`57L6UHZZxNy)K0<_Y z`=~BBB%=59tK(4b7-^kDnTk9I$oV=bARE1zn@-h2UwAhcqp<(N8Ca29XZZQn z#5J1)L0F09D32)%Lh^znxrxn-m@IAE3{62{enRSt?$fFsw0-4EoA-E(WB`90B8FZ0 zeZ|{eS;1-`%z~z9yp|}T-<~GTdzclqp=E14`n5XY?Mxx^kUR|r?)}X2@zx;3y$-PGcex*-zd|tv2aSpIbdT2>< z!@hVQ8e>dn=Yx-M3skwCdvAXvY=OhchA+LYY~nuYji)h+WmKCpiaDTL!9q-1zB3q$ zQ4_B~H)!e@7|!RjT0VjpRHed(y|1asw~*H{8ae$66{A{-Q7L=Fn!baZyJC(wngooaCK)p6Snz37wijady;pmeoC3OQus*v8$vl`{jSLDYM`7H=piJ z*i~3?YDfG56+Bx`nnf)oBSnBj7em{Vd>8Y$4A3j@gdPO=s)D^j-Z?_~Y;Qb+IP~*! zXXL1&{PGZYMe)vP1t~5bav6E+XUZgz1xtcWkR7KNWP~hYyrfd&CBGcv?ve6np;DZP z2<}(+@T7pXDZ6~iy~ck#o!$8cs>Lw~t)+?G5X$a+<{&x1GagntlQp9C;*=YrX*PbZ z7!vnjzqg2V(QFPIB$5~7rCzRQ>(;6(i-=oQc@~PJ$T*`Odx6>ltEopaof*KjtngG3 zh>vSUC_eIO75U5CG*V*!oeDlWE=T=B4^KP{oh>OO!&MH6>d}9d{Uj_5!W^TO))cA6 z+s*TXKx$$U6uag(lcy}kE8K33S8jBt+ly}>t_1nc=>xon8zw1`9NKHvb3LJlm_ND% zqt6ZDVQ8^PdXAsY?5C~+ET8QYVjDd*y?!(-znz*0#XlPq#j{@lMci5?O_UjF{`+etRIj$40ao_U^Q-B=f%2uLd9?J8o_ zW9KEUdtSxlqT?Z#=^um1%_PEb79l8^hD2JcVU(=w9vEeI-pJp{XIQn)-hA>{4I4OC z;xTD|ui`acbMZk@@ zQGtSSNMV1t8ijhjVw)USd<_DfYTDefo^w&gk>*O$)?Z8J>QdO?T&*eAyFH3bF;%O-^yd62DNd>$h)+_%o;*H_xU=d&kWvwS2E zc;jp@@^b3(0ke1D>Jp^84o#cZE>L#+)#b;zLk6a)uup>595Mo_m>5a44~`iEqgH@! z)A4^9@pon%5b}npW0<9j@<(%WhDrUKnz5M-N_l?AE*Oj!G`lw_zODWl4cz+=jKlpY zO>`DxgWg`H?jan=Q0QN?DG; zwe(mdg-1fTq+GtV1o3~8 zsFL#-aAHzMKG=Iz(^xm+MY#_j*!13Ll}5|=tBM*DsfwD|bsc%u8|BXHWbuCDP$;Q^ zS^s{zjCmFX|0b@z3aybKp!6q`O<~x^m&H6%zcu6J(<5<8EyBQ|@|`&q?N)L)>GhI5 zv=LXC!m19$fT3B&MIFKm;RO&@g>!$(YoqI9&`MA*0&1ty1aA}oVEDkvp7RS4E- z4cpKtY}pbsvC%&pdmx@K)|j|<;-pkgG-BvqDmn(1IkGyl>Z~;+PPQUy&a$ zP17CTly%=&bjcLU2d{=lg<{zHgLlUjMz+pI_z=^xqCP}|npx^A-&h;gvWkBbR9x9$ zvaLE*>v{HTzHI*YP6VKZ9k(D?J9#mdB<+3x$0&X(l2gKbztdDvkkC%_gg1+r8eKPG zfig>q~$CUf*>o9Hs_flJr}O&WGbehD&g{0i2T>vE?CZ3 z!JaEANZ%QI1(zn~YHISvZBwh4?E3jAQ)=eQ}|zCI}%S}fbJj&?l(bMlEH-f+nROdY+tTSszgY=ygIgdFQ(}*v&~2gJkMcM zf=$O2p6A|eGFkYst*3uv9DOSu+>DBnEm$2X*+Ls+3A0pOY_~DSNbxyQz@)}nY!8ts1$TSB&pf?>@)#~Em-NcztPVi#T&VK z(eE9S9hM=jt4|THapJzv4MB`L;k|8$yYWpl){7!gQGKhWiA?~vTKi~2sKXvpHt`Od zVVW)UmdJX0URrqNeUQa?$dhf0D&tYck0*Dkz(IRP461)owe4Q<_K`(9uSXJGt|aVy z6rCS)V)a#D><=0Zn`)%oIE^G?uL(}0jNV3A2+=5u}kK}@Tx`7tAHdCS9FvkhVu9Hm^52$ zCgp|0ZB|?3JbE)FZZ8OGd$>GuiFl#t{pxaMCfejX9+tyNO-dnpTTq_S1Wtn?1zs>R z)G03=Hm^D4OUh-s%^LlDt%$qH6THQ@-e`>XzW0A<*NLV3{8XvSJ9f6$KVJAHlcnpj z(Jo*S*iA49Y3z0<42ACtQ+Z5+HMbJE-;h3FxWq|t%9QOj`P10sJP)II2sKKtW-RKp z@l@xCM0P>12YwIiu?aB&N}l(3>q~i)P#g?Do3FKd!@@rcqIUhh1bCu-KhtW0g-_cB zMYw;&ePjmFzVdlhV<)6r=6x0Y;VVY8V9Or&35g?v{3PX2!B6NjIb%V9aYHFZuW?HL z>1x-oOSw>+`?vN1L;c5hw24@APbyzGOBGEm!swPeI@dz89o{0wE|zE@c6d)-Ssq%B zn(V~AcWaQ$olN8Jd!zl}wc1i%IRW)R+W~(yWO?(#E~L$B(EFafR62b$KV$wf-LPlE zNgn9%Df6So$(29KZBb(41ef43%|PK*nl$KrHdI?_l?d0{10V5lRemN`*C&N9gV*;i zyTyS&ZFyw0uM;f_$}%URw_e7de$u^JEY_AdE=hSk#CW(#+C9qR7513SGtb$gb9Q1dJsNfgdS~dAsDC?w{1~)pgL{kuBp^%cs7u zkCmM631vWxQ{5cj_T2|a;+Shn$?A@`&y%brj)d)sL~VbBx7@}Q z{bZS<#Z@)|o=Na)p3=){CXut|T2L>Zr$KEiT!$dd)>%$Zqd}lu);%l9UbWGUy$L|w0l;W>-Z~a+O0OU z=HP-pvs<)EiZ@%uFEcLGt3!X$7^=ZeG7yJ>Jp7*Mkt1~#TO_b1#2~M0Zjp76V^v{+ zjo!U8H|J~}Q~F3v3$7>6&pMkN#_>3k{ze&|J+UFs8ri;iNzyT+iBt6Pz>aWye6IT&lVw)W=;RZh5qxr&pbM3TYnHir5 z!m93`tbWEDk#+B-mm~3oM7(SW8~>oW_Wpe)(#OXPmCy#gl{J2i9&KJinBb*lAv3xg zij6wN6UFuwQ8f;p@Vk(nddS%F?6-Y${h9Ta`|1ZBt2>6KWmX{E!%I0Fa#C`rqs>(MF!4 zGUeFuX-9+P81Uv-wTjesm7_Fq?NgPaB7H8bau3c z89qr4V@N0@%o~5C4~f3p$|1*qFt}i);8$t=zUBWN+RAW~c>7@FxHh0*kZftt$Gq6l zV=|No!urAbki-Fj$2n`68 zNlS^doY8z>vkG6BbZJf_Vn6xOF=`=GEiNDl6vIJjTIq^^$jAH7PWCvFF^^Up2-M!Tp@dYnPv1VyD70}i$ z(n#PA{m3gTJ!~;bRK%t)IS|%4zR%BBz=H*qMM?QaUEM`ruJ$+L>uqUPir|JZd%MAwzkG`ayj>t7{~s z5li3g$t=A_9cYd?XS1|L*2q~D-NXv$>CYt-}v1KRjQZ&vm)v)h|Nd3N#()@8{$ zxQZhW{srT$(hV+}SCth;eTyi}xtKB&S7!^lA?qUayl3N5a#H1p(OgVbpa>sT%M&^m*$HNH;c(ETCY^q zuwHEf?z#%P1|UTHVSY=Ciom~~ONeVlPN{z#kPGk#8Li=r+;uZ|u`Bja!(OBd5>4*- zDn0IIIy;xyUU-RZyiukbN>msfKZ=(GOeXPAim8LX4A(}5exNL_wDW(@c9?ogggHIa z5^GV6FI89cF4=Yqvof*^^P70@>n?FjLT4J{c5H0Fz4WFd(g%Az)UV}{j)qW&n{R(Z zfN#=iCB{n|>J0RCv^w-{@e*AkMf>PaWK>W;jp-h<$ZV`8t56Z7IjCnhu!ovpbQmK} zY{njI2H!{`^4neA23Sfr@uAqOaiqPac#t+45wp_?X?QzbHvZO2HL)>Vv}`^LR21<< zn~Yg%(}yyj@Le#5rt-+d@teFamKT5O$d^-2!3{V4x8ya{TB04RmzN?Hl)j55CCCa> zblgph`AkzS&bB|yE4OJ*bSr#me;NtBSm^O-?V!e9y(#dCFr?Lmuw&y@^V;8`Fkom&6dVKKE`ge1@L$ruAxoi(o8U4tIQ z!R?stmPj^Q%a0tE8S*mFCC`6fd+>-))ieopN3}+{_E~Zc)Ar>iMHXyD3f>yThbwv! z7u#okMVw^5e`exK!hRI8eC~(T5|eI&jy@!~plCqYW#@0&Yvps1CoC2+Rg)uy>`sP- znIeslVT^X2&BH5l-40qd=qFK#eb`Z8FBEo-gO(IXF>`wVD zcO|qNnMP_2o|^IymAEDb_L*l<<5{FMNz}bUF-}X*oU)YZHBo>HevA&6=463hA=wG+ zIRYd1m&mS*-qBIJY46VYGrWFP9YV<=kCbX-Y@+k)qv%qgqX|jJO82{*URCMc6q9&^#z~MqBYnZBS+^^1qn1C z?4I#X~y2|W!!`$nT^A*}67TT{iYV%ojIic?&dTJ!_g(|0*gRCw>iJS|) z0%V%G^4ot1_*)O+7d65k4VLN@@Ol_2d082~1Iq(9PXp^AWQP~IS38kP@pcjiP3ChL zFemFeKZDQ=#45rWVLL+`=d@yIf0#j~#{tbHQ92b2H|)s!e?aXV8B@TcUUq+lFAcXP zZCyl)CX8N%)Q)#lbkJc0+B1_V!bE>sh8@QBh%A4y3IUDJl)jmHB7&SclHaQiKVOP6 z5eZZPv5eM4A(ie24Z3}D;r5s4%1L};sOMgF1w!;28)s4(cmFh$nGqPCRM(BY?h4m0 z@iJT&S@8K@CrO2Z&;Zb3sUXKaw?0v&;Ue9&NQB2+DO63?iLg2kDZOqJg_9Zao{nf( z5f*>77-WbvdrPX%9TW#|l-4AjpMcrfbU6`ygJ$sf_@+e(+b@65L6nD-r!sg({jC|FXOfUBwd=QZAX(ojQ5vnpb_5;ehvx-p^CmS{}P zlujM2jS|qvSLp*Qt%XQ?ktLF+p7EZSt|EUQnY_r81PmhVhN+4J6(U+l0Nq{OF8h2p zeNT*z*Ce~3CV`ImckSfOaF)0)u?l|u6^Tk84PnJ$c%+=Imf#NDm5}?k4to|bNM*xS z7PM<7-dj`I!;siuP<^AjmT#n8ks>$STzm+H>E)+5i|6IkcFCjjVV9di#!9#|mUMp- zj(r^b?wbtk$!4N#>a4F-E4zRphdEm)EklA$Z3x}3K@1Dne$>6&w`GKBGZ(Y;*>-F9 z>=99`N~m1ZOWdci1`KFv4U@b;qt*w+vxxu${Ywls0jCHjg{idmQDYO9=$R529Vw4u^Dh6EEeUmJ4{FMoF@Dr2Zsn zVRgJWA$$HQ0{X!BBe|nrrz6LH3Y4+Ca?QJ!`a0H^pb|^CImKMi)5@;A#`AyoCCMqo z>f#cG<4g;FjIH^a`PF58MEQv&o;{qFf5XRM0t!-M1$vC%YlO;U;$9(9ZFIRQ3r$KP zUPKb1Enq#a^9`xuyA8_bBLA%FL8b@(a3!cnu3X;}RMjfTJW8RXlC$L7^kwQ-`h7t+ z7o5k&IVI~R%SKps83Z>>$?$*o9$LYqn_YCC6S?RVp%|@hYi{f1aRCmO+Uu7`I$tz- zG|lJ6JlJCp=^C8X(seT`7|GeMh}C9sYDoBU3G!dL?$l$F0-rT8GEn6Xli*fc6B@i= zhx5h0)nJfc(Y;a>h;t0|jEPM?$X@%n1|7&Y@%(Kxl&W4c35|g2Gnaqx-rn)t+V|~A zQ3wbLD_t~%X4Pj>_LuVPzBv;LkBfo8iVd>jPgDGoYQ8reCu82cS4P(#%IlTrKXY4C z%glr(CEk>BvZYhFYo&TH!e#fr^P9P#_ae&XBpMG=ktZft=cI1acfodc5>0)*u6d&p zkDovY9H~Bt!F-1n`<{Pq)t(@0_n~f-fo0WnZ&>!6Ke(m<$zh&`G9Gc_NGB>=|MeB? zR=%!_MQ6{?ryEJ1kD@=uK?v! z$*oga7#@?(BmXVX2}kJ)9W;0)>*X++eC&NA*b|MT373E`x!rpRWPS9fPKq zjXVn1R-K}RUsw)z>PN|4hP@^U(VK9aIl7g%&uLRQ_p@(5xX6kn%Q`c3_zMND6;BtY zheX9`fy}2~~f|8U7)Gj_7D@?#kX)0=il%2%RpcsK#bn3I3Hkj@9=dt!e&2eBs3_`YQTBT7&SnWu7?{Rz4@kOPqh0uNECAmd!V#CqtjrDNcCN z7U$*5;NO^Lz?~uz`)~kl4FdBK7sSbF0UHWfyu?`I+#LlsSh5in@+Y#P?`mb*TPO&M zVF`s6J+WmcZ|Y$Op}pcMr6$pfGpnm0$+qJN^3C^}dHNBe4u&5T9&|pSrU#a2{@^&z z_8Nb7_UeC1qsWWMF;C)#W3m271k68a`A zYA0b75y=G=*X`jZSx-pP%%g41#Aw3@f?O9NhtjJV&;xa#8^X%oj9W4IW>h9HtFz9_ z)G%$DwSeV;#^MemRY9G z3uS*phD1O%ue>Vi^wcPsb})GNDGJ;0FXfN5+!wJyvZ8f%d{5Obr-j(Lz99R+y& zF)$ljPe@k*f6NGUtR6#14Ny&5bnmY9qB*mXc-IF~F(^D)NrS?(K8g_KDmE~q!FS70 z^ZA+%4Kt2QTDzc{3!}lPo^zQuPBOAf#BhJa^+}E(65h}KNrW3n z7}s5DuV(80P$HqaZ1oK(mM@c@2vf;q*@v)N<*-oa>TNq$fRL0gjC~rg+j8>TEGeEd zbEk`n|F?65+ls83o&l!Xn#u{riXnA~u!;OQ-!1BSmh_JG!u+P?@(3H8(Rqq6SLlDO zro{MYy+E$+tLk(^6}-ZCd{p1AUhJBPyE*T+sCLn1XUQyA7dH5&*I+wrwoQK+;^bl) zly30**{;;hI`jvqN-FNf(uR(-uT53fpHg56Y9!>azlRv^EORq@D*;!iTXST4(#(|h zmfihaYVY&~fGy2K#FZ33q=v#$-KBq@(2_l=H#5UxO(j!Y&TW_>BHznUfDErTtj&%{ zOJOf_f>cd;JsLJn^tF61#NW}|9%9V;S=5SDkufpA+IY7yI5_N>SDLLH>b0i*Ge&Fb z{u5S(MVZDsY$dl{8tf{M1qQN*ftbusR`_Wnp1K{Lwy3WXSn! zS6_Q%&cdLvaVs^4uIYwq+M>+F6nFhp$+)`y`QvCZMsI($;9cS1kGyB{{VSJ(tm|e` zBASO{^64V8A8=wQJpP}k4$#eK>nM&yR3}mG#=pgK`QV=J#=t4vCGT12zulu4D^&~d ze{(q`P$0Jy#4u%oUQBY-%_=*IZMjz^8UXf9V7 zp!AJ|#)>Dykz^vf>0w*z`O$C&g+@3{$1Xn@x%x?<75UH;Iox;GzCsEBVFJ8#?v119 z2-*=&bv^%nq2?s*q?6A|PqQ8_r=d>nSb$MRLM0Jvd>}n#@B5S4Ru6ybz0WxNh*tvi zk13y&2}=H+Ds3jQPMeL#VoPIbc~zO8fxh<08b|TInq3hp?+EDpcV9&{X<0%~YImB) zN27m-;YuYHvX|U-_{J{Cj+2g^$^AO2Nav_zYsD&GH0^21SAL=~eD``*KwwG`k^zpQ zjKM`YGCgkhGl`5wTTp+t{-Vh6WifUxqx7p+2JBuY0M$wmYI3hZ5WNfu6Dw2QOYmEp z-j6c_(urhoTZo#a{Xl}AqSeI9fFh2HK8^f9Rc}EfBPk~-DRFNcF+_>12?}z+9#0~T zKcR%g=*6%&;No)##PDknEVcvRqA#S9LB6&FWfW$c^DadqgYfxUb2e^RXJ$#l)M}bmSCs5J{Gx7wXHf^G*=z19jw8cXe4;S1GbUJC3ow7x-o^mz*c|yjANR>FMUt^V zQ+E;v3P!g?#Q2n7iRIC*%O=IyN+NePuYv&CTw2&#cP)h_++AfiIItLrb?TMHEQQ4< zN{pzM6+ZQi<+o*7)m24u{dl$m?Ai8+co})|fQ=H$#vTlrl-g1g)LXg_)ljT9?vilE zRFpN5pof2r&yZRh~dR~+Rb4_YNHqpdy!f@WTTi!M1w@5hcBfny-Jj>6x zp6+SDGJB0KiqdbILHyj=2+Jy!k1T79$B6H9cfqaDON5@uOA#34j};L^!8;vdED-fg zJ|mbhNUhc&T?z#~{eyq+-od0$n|c+E)BKvR{^6iwUAQBw87wehKGIum<6E_(}77v-EiY`es2j1O+)v1Tm;w(=P<%uFl0K!HT(l=S-T z$V|+up2gOd4OI%4IX z`oO51-eD0M(rzXvl9|vsPK@f$_9IP4t(AXl)yhJ=MK*jxi?7Mh_93S*3Uz@K4QX{v zwB!hun+PbK=_`{u=Pu*JfpB9T!*%D2i1AI0eUOP68#!S=Pt%Cfju0mA5)rn#{F%lZ!C+mF*dqtMu@RA?s8!Q;2<|WMtcJyCzk@g^Kwm)Iy~Rd&Pspc zh27rbq;zZ!#6Onk+(Ii?X?U7DxDst-i};(Eu6u6}HugmDtDA?)($bQ%;o`9%7%mKb z6G=Ewe&b(}T*YS<>%aWmiB;eUc-%-?G4M-SQBP0)c$w8&_K;~{FU-Wu^E)jNNZC8Tn+5z346dd9w5vrcsFRj5wO&8nT+Z;|tvA{e z08-G@lwyuHtL!Ue4=L)V+?g8_xv zuT=J3Q7^+LDtVJ5Tn$8Rm`HLUzwYTbV-~Y%UbRHWECU!#QLjQoG6vsb0&Pba-}R_H zd|tEXAKRQb`N@4QWMlX0l~#XHqT|tPqo5kVgCeYX;`nFzG^6Mw#SW<(=%Jg}ojee7 z=>%Wd$J8aDDu$0hoPC%c0iS&B_ zXR(ZKB#)#+&M%kUNcVsH%hM0(unv1XhXJ0*EKM=>NMhf7xPmCu)TxYp#8axe$gZfKC6V?kAn^uD)x*0 zeCsN|RxTbC-#=L$rL@jotf$`xPt$OdX(q=a)syurH=2&uthqdT_ zr2K};zK9^}m3$Ba7}VT{OK0}MRMFHea@-dnLoU#|kbYI}r-6c1(ai{h>gv+}5q{ss zMJqL7jF)v9cX9b;c_O$EVkDga$9v2i)u>|)4{4C7{JGH!3l=t7%#8?P!fxf9LIZ?L;0+vyucdLN$n*ARjhX#!~Yz=?K=}%t1mK)!P_jEt<-tFmPgogpL zK6b#$SZItetJgye(MGIGZxXzPvxf~41bj^-G{tK()POe`Vqi{ zzTDNY*fu&_?Y(XW;jRy4knD$?^+{Sd=p#pp3;Qr3D)t~-sF!Au(#X7##w3`aK8`kc zXySh#u0(P;8$>=J1F1@0_9aKjM`LVd3TND6@=)7kXXQ(Dqt^!)6}Vi)HEZ`;j{UFQ zf|eznq{9;x8E)levMjc*V&PHm*SxnXH{M-IgKW=D3HfV^4~CLqS}QrY4i=qWp;Dpu zu@Af_F1$SGRmEMso@;%llNO|5oPe>)=)Zr4tr<;Bw>*dGcZ2UvmE<94yk3LZU}=0D z`eh0G%`6i#tjPA|$Lq^1VM*Fp>YV7w@-5lt_o-_)^`3yY!;pq0j$Xao(t&KKap@I$ zh^n=1b&KL3GYNC>0mY5$MYksR7`+Jv7tI@~`iJx<-xy=5J#kF=1D;#}ux6rA$gY2Y z@M-9!OCjtDQ~y`U4dOwuDn#bV6@f8=cjm>uX!77k}?kw&;`m*?aAB=b-k@n zpmRyfXtE18s5aktj+FI3G!O1$1C7d2oLeQ)ko&V^W<4u^TE%&8<0n zp#PLa`58BYez7f+R1~W8_zsR8p6rKePiDG0TxnC$E) zxK$b(6Qg&W7iJIl&EiN&3!n_5WAUVQfA-SJG=ccvVU8 zZ6Qf9Z${FCRudhctp>jpR}3R8VtpZeYIFK@OiSc&R^7vxO5j!siuT{x!V` z$q`Xql)caFJEaJ4d9;K3+)aGsXn}aiiU4kW9RF>3UmSmb9L{UhcemzbJhck= z$9KY0Mj(3$SgHc^c*o_yg_jhRD-8jZ)XA5(oT@Cfh$!t#3*#E2dPSlft6#@Y_}j-G z-@Y$L76`Dg+4N$B`>`?vhP6)6{d@mE>EBt=!U(_#tBysZZ?XO3 z*bW(7l|z46Hz48D^$``LBPs--!k^QYK!sdvy-=igPAVa3;<~^S(#1jm{nF~bS{O7Q zKEtg}+{D9^rwFvkYBT>>7eZ_+(KVvjc9w9R$QaAWocg{de=$U6A4cOz@b=kYi6V3W zRM3kjFT9^=WFGg45-55!|LtUQI~*y9wg!S%ZSmTv;^C&vFgM zQ0&&HFD*X8Rv&~5w|l|_UTB_Zk$pZE-yniErg@D5i5VpQG9zBMM&bfhczF>pD#izcAh%_|WVC6~Ao# zYVyM6BJ(Mf>#a>VSay12ec8|0Hy)Hq1RVDiU7qb#lv+c2JV`$uBTa$1`Ky}akrM9^ zqH`N5f~-FL7kxb1L@To)XVvWvY24@$i?XuPN&B%8E`{F3Oq1D+;9EY9u;NvM~c&b zl@h&Y(S&?R93Z3}mu6?WJy3Y^joOG)JfxO6)?1T=ea0Rn(5JCtPkWHNuhuiqjv11Ooq zC>P@SoP1fAPIkl1h#S#%Y}hbgOQB_wWLFYfA@KgXg~FVBh&Xp}3##5FZH9?|ub>qZ zek@*RAw_tJIY()jK8Zjk>L~rvYr}30qPW=#$IRO(Eb~Y5zCvjfM&r*3Rx&As-Ox`1 z@q`opmo$b;uKB$~C`TExXqah)a?3wx!LRO<=T4p3;5S7z{n9OBn-$J6t?o{H>mVUj zOv4r4K;BMUR;OSHF&0dGN3~afnt1>z)YN&2JS!@C9Qs#Ur29ykgNtot=L#;cUi9O2 z%AbSekL-UOPO;g<^4%{EOfT~$uwTU_P-oW%yM7v%TGQ00c0hDqK=VVB>2?YE@wU<% zEp%!Wi(|rvg@tl;IG4prxL-iA(^_52U(2<8{u}=Uj@QYgk-OciRAEqm0E>`q&*R*z zfBV@glHg-eq;Y(mg`>#mU7VK2Az~s4tmYi#HVm6`$BiGv^bM2ibh{@0Nq)_)Lfb3^ zObmQWDK0+m%l`=q8};PrhpI4Y?#7o5fc4hI3GXY`WvwmITdtayq-A%UxF=fcyyFlo zHM#Rzd^&Y9=vxB2HD2L=pImzAVLC-7Y)u*piEMOf>>it|df34K7&OA)+eaRZ5283` zUjRRMfxQoPr-A#!25o!Jik2^Db zZkaU8o$GN%8b)m~C+8a}cZFq7pU1gHXKM%3ajg6*ntfya7JU4FB+;OuRe*v{>q01f zHXD}B1=Wz)f=CeJs_Xi0gF8WX;o%LE%vqD+W;)gOr;UFBhfd_PWj6_*uR>X3Kn1 zNuRk125S+GPB8C=wx2;el~kA8Tq4kn2snAF_v=)}uxpIyU}>Sc&xAd75L|Z!Esd_@ zM-IY3g6_sWjCB%wwAPst{0BbTY+#CrX|dc&XZ?3qq$bLLMIPIFGP0Pxo2zv8)-vW{ zc8@}3^a5KfHqgcBv~dR zI9YqZye<`I|0Utz{EW)yMJLo`d1)?@8kIVVgZWr(p_;0FCS1czHkZV=}J$-z;5*wc{qv_@vNu_ut zLGA>9v@1xrh{}vS$${E!vcs}**WQGQ4N77WHiu@xWDGZyY~OT1+y?~BLcaXeBK0J< zZ156@aeqy#>ZGpE9Eq|6#Jc||iB^?>P_bsUS#CjT_z#Zde%jE$h1D+m036G96iKfA zzPWp6%M@Qbs#S-C(xmhbG)`}8*eWN5kId13Kt%_8+>w!Q*3OG^+RV0gqOhoj)|c_Q zC;vv>c1EMKS>5~pXA5Ka;vFV)c^Z31tx#rJjB4hmD9=Cc12+IhV|EM-W81Eg3ei?T zCFG|Rnn_X~g09KiSRO(; zD7J|BoHEU0ntRI2 z6`-bc>toc;h`g7%2G4fD7f~y>R>0Ow{^>e24$Y4h=qfW+n+I&ye6I7i@+;IV#bB)# z+R^CZ@mq^ev(xnDqYdk_{d(+&3t8c%`9V}HO4*Vn%A*6zn{y34&6toPh);dSgBxMw zhCvMm0B6;##Z-cJ0@AsE_Q%jl=iSlv1s-7^H1iqvrVxgdVH|iwt@sNXl!VO8hYL=E zfn1L@nOcM0XmXCk7gR-^Q)*0vpo61Tf1|}VUwb6*>=&aEH%v~mbj*W>B{;Iw(5#M0 zn1~L(y!J^G{ebXwZ+-v{NGm34T3*}cL6)5|E=s9CVbOKy+I}7Nq zguObzhV_hjaP+)^K^#60Lo5b-2};bpkog?($6c-rQf(3<5q*HzUTySlHf{ugHbFGMl=m_*r(<|<{!XegQxX8*AhqEQNC61i zH3(asS_KAwH=6#325v*Hh9O`(HjHzrsFk^N1-AnC(;g!q&o1%aImaRXQ z57jpD@lNk&4@ugS=bx3K_t^;w=MmR2h+akO@7>vdi&e_bq+RUBesV=X^ktk;i^ZQ6 zc7(%!rl9~3Yl%(N=kzNK0{bcb8-cFas7#o_c0CXvq%|Iz6!V(UOW`(m7zR{Z;Fdts z^D&fEnCugBl>n5R<@}q-q2~1rb_bwp<5+<*zwxm$V=roqqfokyRB+1%%VG_(J4=N^ zyl8cQj5~_RDclDqreNAS6Fbb|6WYiKpO8X5gl$^f_If$)^>anSXJyfT@-ye|rOZJt zBNyN^BW@rYb3$e|EEx6?(eNH*EGPO~)RrQ3HaG^}JIMya-00wE;rQCy?l&>%zhNBW zQDWO;Mz*U|}IKD2VGhX(& z$EISFNC%hGoB?EN`$yPiuUXV5*60{_-dNo27LR-^;i!@7=IixqrK|^cfhxb%*k1?_ z<}JAfda)u1TXT=~;KaTeLy^LH6$ouDi zZHI#m(p8`6_dfu~eh+_A1w3j$ILc9I`u!AMtd6^b1*16l6kLh66m$zay74#ER%&=N+^2qSDg5!SpJL=%rPkyv=*LE&aXNCsuR=bG)y4Da60rzsH&^(pwU5&bZP}H#= zN`_3~_zj>s`?wOK{mh94KTSp7y;KUpne1)C+4liq#Ssk8Fo%1?6(9u9bjQ>gJiyEd z3XbEaELhYjKFqo9ZGGqDF;NMBuvPfLPanvecjN=))kmQ^2Q7*Izc;K{P&BLT5sDgBw#HS%1KS1J0QmnyZ1$7& zjoSi}AHms1^g{c&p~pr#ZR=Ha2M!XtgW;T3ITm-3U!P!o+H<85GBB)v^EZCSUl^U$ zpU)j&k0;6z2}sQ8D^$)ul0{55QB9c25m>s;cv*ORwjNKTqzM=NwN| zZ@gvNj*FR2wpfmy}&VxIHsBn<<37ZzA1+(w9ym61bL%ZL4o(Ie(n-V3N z`#$Ihkip>y*g8Ac!W#q23ZrZO{ue*yj!*mlODim1LFb3JT!+<7q{p2Fj2bBfAbYcGp^1{V}d3j5W-Ut;^0`w~<8hTZLd@1H^}l;wA6?K#S5 zkU2Lj=5yca;o3uQk+*nN2?526Z~46Jz_R_WU0e9ZZ}XGSYlKNd=;TvDF^Q*-^6 zAXq_z57k;WpBb3|ayRzq?E&>ay4aRbSbY_Lb>-ct zs-@s6;8J^)lrr`|M2)T;qw&`BLQ`N#InTB{s;xEga*6GK`iWcCR~W*pR`b-R$NWM7cwca-)FgZ&%Wx?Tl!!f_P78_7;oa%m0{tzK~1 ztkdFur+s7>m-oDXk}>Z3kZd)%`P?B(|)~C7%mgf=T5%-D9P7;d&^9}rrH4rOx0=VW`r%bfV; z?^fXi3dEs$yJk;)E`7oBN|x5*sQ+^L1+i7U7&Tg8{CeYMJOC)l@f*m<5zw*`ofODTXd7H_4%vwo@2pi;wreXyvNdSj7FX-? z9&UBLv)?+4%sqcz?gC^TSKl^;PW_~R*oUHC0R|1b-}DZ&keuib&ci3s!_Q&0@IY!r z2Oz!(?mvb0lKCd}xWn}_1mE|Kcx|f->Akc~@-&ciEpGM_coP9x?GWrte>x^NA+Urj z*1|o2*dPdTbVYa^${a_uaVa03@@2bxG)lF~JXi%t*a=8TEj|ZqWZPdT7cVe>PRZY3 zR8SHs-0my^30cPm*AQ;(ZNsbzswC3UDbyVlAxq&=>6}nYBi~bMV|fFW)CwPrN;e@Etj)TxvxxQ>Al zWC|aSfC3$z0*iLdJhyf>R}f7;d7y!u{D~#spvyQE2~5S}VA!-*!9v^OU|%G&EwsU+ zKcW;6eMTR6+|vHMfL~WER^-S-W8qP^Bg6~#1O291H_#5ov``YQe;>sSs|y_TA*@XgN@rC}Ln zTWjHn;_rn)9QP|nk9Y-AG_aNG;h}#RBLC?UPwzxuX8@fw7ph4>4v}pH+Yx~T6k!93 z0}Hzn$oCO-`UX;eY~XgR;lFX&b<^C>C%b=p1d>PQ17+>UUq_g;YK_ENf2Q=uivt7hSpE%bh-cE2iG!iN^5i@1 z&l2D~IFZrhl{XqaxNaT}hyecwdUK^}LJ1cM@bdnm{&Z-6BZ)W4iC%1u7?*ms)5O=w zc_hIO(ZDN~$(>Wz8xC|`Z6afvwAi+5FLk{7*`uQfw0g$2N#o3!?b86OAqcB~n`Gr{ zh7E6>oKpntbIS16qMHbkOE7ZK{&$P(!Rt9-Nb%15vg{2$J)dI0k396g?Jrkopcev^ye5_76;V%=%bp3zpUr{|wAWjRMo_g!r$bDWVEJ_9a0qR+m1HsXHc-w$6 z;oY7|f;+3G1le`=FPp~e%d?PAQIt;G8qD;FY6|jy@B8iqp{IRHqRwV<}22 zm}~hz0~vW}qD0$R9);!c8xcDTO3Wd`|Ukj zfXg#~R6ayWv%>>W*Vf24%Mgzf@zOfkC$~i9puDO`q;i(_63mO~relchhDy92=cv_b z@`6N{T<8{MsOO-sDkP62y-1>vN7j+k05h+lfEuOeIIw zR4SHkm0&crYhG@qCsCA2!GF2|d@@Ur8--GTP~0>{(YL$9%c)>Mt;NUt3AYo1Ne*hp z;ycbi?lN3fustYSpA3|4=(5*$MpYJv!$2(m-cmbMOmhqRa1(o{g(5m^jMI1S9BCDd z7$t#5QZsewX15r?FvX&t4Khil3=*R~cFeQ27^wxIv=z(Im!YC86AU?albF(gPy*wB zYz%ecQ1tgAwB)o*9m*?#jFQTN$mfGEF!?TpPoC)0?yw_?*^>M1Tjr;u^!55i0{`siMw1KO5a^?&5AnJv8~m33bS??_oyY}0@k0(@h48fv*lbfJUPn+xIJN-{pOB)%6B_F`e zVYw#}PIF(hrMhJZOt<-eP3G;4`G8qEO<649WK;GBGqelKu6C+1gSu_Vho%OmixQ?> z4!T+D(;j&vOVCE?HUP^fZejY@{>>l|M?OATe`9M1Yp70T#uwtoo!`-}VPu+^zOaX= z)<;^mlvw+|w2(jzhC!Qt=tR!W^jR5$n27{koZ4hKvD#F6)BgQ`-5L&)`lXl?Mwvwh zS?AzJ;*o;zaC4SNKo2XHE)#LJBAaEv6PHVh1{EwZH!?R0FHB`_XLM*X zATcmDFfa-)Ol59obZ9dmFbXeBWo~D5Xdp2$H!(Ap@oEMrf3^iw8(PyYj1@2LQc|Qi z!QI`RBEvd zy+Zd=U5i!10%iu5g+X0dIoQ|*0a7ZOd;oTKE;e>{PINjtZHS8<_-`pX-D|LuGXw?| z{2zKLCost6e@P|{a(OaSfk6R^u66(pE&vCwAP1iyJ3D}ron7ERhA<~VfHcSrVgXQL z11Q3vU}tnXDVT$&6U55e4uU|SySqCZ$ljR^=42(xf5-xGhqzb+G{MebCpWMK;CHzI zRggXSufo{S=>Xc+5a++eS};o&caRep@FcKqL2e+39mwp-;IG6%09gqQ0O+Z{f2wmfcY-*$II}rJ?0#1W{7v(8$udw2 zDVV)I80zAT{yRTuh!fcS>DE1gf3?*X3Uh~g|9!TEKrJkPmtf)Q0Mvm(99_W*(*IaI ziO~PZtiUb+9(HziJ^^+B*bxBsFt-N&CfD|Ke*pibx>7Py^3u$I75uMCQWE9?@Mh)Y1F&-Pumd!wUd8Ie|RU zpIZEccmUoUPitra_V{ap0YEk=%;m`i@Kl~Jz!K(!{=1*NJOH4?Z_(d~7XXy}e}nh{ zK&d~79{`m8g9HFTnST){_xfMN^W8?L zJU!Zf@RNswovZU7kEdYHPh0vge|{?6#o7t{KRBNfcX5aPp?E6N3+(i_;J;dF?&{?9 z^pO3vYEOOs5B}@b1cN=m=IC=XFms_`o6o_mSJe{a?yQ@mB9nBRx~Yt;-g8c0TyL;Y zk{GKp16Q0bB$5WYa27XY7|zA#sqVe^n`%+QniDiyZhh`d;x#8WThM36e~G@1eb|?% z>7_)YVAU4i^0{~Pc^zPj*aY9MNSEvA%8#XaaZ<@ zHAW}eFravfF3&7$nuHqJg_RPO3Gc)Md+PjR5-(@$kxDV18Qu3FhO5xqV3qUT^|aU0 zM{Q2$4pLfD0}@KabG+e+e^=g;JIRW~-@Qu;mkXv0U5g^P7CYdK3@rJovC4NqXqPDq}P zqQdVW8>K`nLW{BOe@@;|62YT-S{NM;%lOR7VDYwm;cBXLu=*9z7a ze-wW|O*UBh*{l=7Zw+?7YOB`3hTH@XG;=e`=EYy*yEP78r2DI5zCPM4A)1ZraDdpx zH=5cUPoMlS?Z~L>lquI?grOeo)#;vK*hs2cMs+T9GzO^;e`rU~A~zR(1DVhs@8VQE zA8?hnAPAl1dZ&SUks?WIpk?Xl%8j{`UEK&T^CH#~^VKV(!^na-?KE*Pvl+MMWde3^o8djx8FtS25}`a z18ie)iz53840OgNUx1viI~s`@8{5dT_P+J@{a{!*e>t>2ZYH&CCPjIMN1^$SlbytL zIif*Z+5QX&fAK>D|DE#tL5jfVUP`knl=h#fMhZU_W}e*5qA?rqHqN+7)U=|*WQHE( zJgCatC=L$w8WcPv5C(qf*5-Ub>A#s4^_Z9HDr?{8nLr9kJUf2ro;PW{n}B&uFxyi& z>z2rXe|R>*&B9s`2=4mXI@wZyDhAYy*f>ZLdnaAv2zKmD?!wKADW^cKVa>}eLG_S1 zJOa?3FQ#pN?`!CKcUQv>y->8~$HK$uMREfg`V%5Xi89|K%A zhlVqa61a9BFw%5<$6>d5;?Zco-eAcs8F>`+^9X!SulI#G6obxCZga2vs0Z5t^Y|9M zXt*Xu*%RO-?|khflkf%0Q3^7X(UbThf8JLedaPu}P8$)QMw6~Yf0ScWalb;9>lJe< zH1y%kD8WkWS7rpecNLMuFLtL&GCNI4#+h#~Wan~)bh@Euq^!QI{V2%p?MkYQ{-Qg7 zT;c`Ff{m}YBbTnRBwQ(d))K=#K8b!IT)#DxeMYxOb0=17O$^Qz?;38t2lF1`e;~!6 zm#VrxDLfVu53Svp9u%4T(m0>nm&&-G;9cijC9-307#I+k)b5IFXDnx}+D|o$EPlJc z%0Q74=lt9QspW>3Fkz136O!4DN>~6r9@8FbJw0MsQ7`YN*pJP9XuCvilXqrzbs7~* zOBzSGcZSSG_yOCDriZ;MH)*r&f65jE0h~L2Mw1;EyUI0A8De|R!q%Fh3|u5>jT8Fg z4npk;YTCKO{o#nqq304B*$V6sTl5+o-n;k#WRgy~^o?@?{&o*B}$nK*z6hYF2NW!^uP9tzvT4e}Ef8^b5gl z3Ny8og*QJLagXFHT2ZDX^bqD{_FEEr9*Zw^ta5~H>l};Wlu5g5B+IvE2AOO=PB!CO zW6dZ;(__*;YZIRrv}a=r1v;kCl{we}B>jQp&kZeiH(eFYU!;7&Qp(vpNw-dnaq}>; zM@ZzsJltlYb~?IBZfK7de=_7h=5h5q+I%BO#VjY~FL?G@mYG@=2Yq~!?CpM-L8?7z ziiC@})|k)1#aNF00<%bU+3OyBd1T#O_3>4%Q=eOeTnGC!cIuYGHXRGT?fUO+r2TJR z>t!D&u@$*|sgfOR^L3i8_iWPl%PpuSv7E2_GCoa5*dKJ|MRgt`f2Xpl;Ws7nPJQTD zddv>)$C)y&wnLx(R|mz73rx~*6Z2(_EWx7{IGcpsjgl3?=^Makd3J6D&d!h_kD!2_ z&IG_F5f-9f7+4*@lL>Z@sVI zFm1*=VI=XbXVP|Af0EJo7i_hwBC-W{8Sr}t)YrGaZhZh%K6eU61{NQ;Gui9vU~O9# zuN7&cfxDRy2ruARLa2~dwH5ajm2KMv(I&f=;(%&!X{g3 zLa8T_oG0sh5yhh`>1m9B;~T9jIyK4ZrIzHlg;ZSp*0DOMe;}HiIvWu3;G{6%H?T-W zTP*6lg|d8jUV!|Jy;@(qM;W$$crxKLSt)e1PcH5*j=jIYtT8j(}+E=?B{*PP_vwdbLJM{I}X zL4e@)e^lm5IIe4IHY+&4T`n!j*^e(r zQcg#lm-$=Km`693LZ2rmK~fv%cBT2628g8ZTCOX9(QHRS! zbp)Cxt|#fn2Tew`e4I3)742asAJIMd2sRtEWQbaLstc0TvS-JSbp{2+U=@y-H8{G4 z*bjq*KR2mz93v5mh>6u#;09fU&k3#JH|o0jM%FZ0+^YDZuw~5P0(-Zb4R{Dd$j(K( ze>1LAP|{9%XEF({3TOyhthMkoC29^tIeV6ogHY9`#q6-D9hVufC#3h(Lc`8oZO;+8 zO?;^q`m$+CG2seLRolaF*j39>0&!YQq&7d!NeZuvlw0j9sbO&dZ$MvO9=;5lN?-jr&%ym;>m$xgHrU<4w|A|e{*SiV|hJB?pwR9{0_fU?_1&nDPS~FAF>H*Ncrx>#!Gz6FTtT4R^3*nfQD~o zKcCgRCZpBguD`Z`X*Zda%g}}vhXN+>lntcz1I+fYR&hpS<472bXwPT6k@J3whoBO?>F|9y? zshBn@tp0c}ClyI*-n*(0quIq^i3?wg$$>4lp0q2-JY= zgbwYL+~jaRQ0@p1`sM^_|3ieC$U5w5;vG?AiFr(B1n2>M%Sm0|vA%&4zsr)GFlUxa z2V9h`!E5s##TDl$;$_|Q_#&6LoBGNuG%|Y+Zb3sc_l^8w{@CKs^ialkNIPDa0Lo)5bdNVSPVUOxx!4Smp*UU1db>sz#wD4~w_RSW;Ri`3`0? zLzC_OkB0qY-r?81B%CZ9D+SuG6g7{fTwkHx1EphVs=;le2|h!&zAqGSgLl^_Sz%cu z8D46m`r64-Mq7}nKH$yQf4y6P5~*=rQJ4lYs9)*@B+ok9!me$%ZLNr8tWaGQh!HSDh08B(N5Yvz#b|IML6SjX&~on|1u zR9<%fMtWo7_G5h!|ye}KNCwe2nEz+ZNrh}ljEUGrd^eSzyhP!F1ZX?WN{HE!Jo-*h&T zqUA(@xI_qhj)vxHu%Ob0w@Z9SR#KV%6pH4t`8tE3Fsl?VNGHU>lEi?(NcC zV@;+E_vGjpuU=lV6dq#ab}P0hp^95>@03N3o=Z76d2@Kue`Y#|zRET2)^Qar6y%+J zKu+REowg5|x|}m#-X9^6x3yYJ{kb3l99olp4m0zHqkZLU%w+QJdZz{$WxZgyM089` zZ2!u@S~UPg2&JZ;rdC3ZS5mB=s<#h__XswAN${!&@$QT{!ld+IECp*$;tPDId{O6- z_FL>z08Wo=e~syBU~^KX17O|(AL~VoK!XblsMLI+*b`;;ee(3j{COMq4fMMgY`C{` zBRpFe!!B$2_9OELc0=2)Iwj^V1d-jWz}_KA9%l>+E|%ocPjcq7TT|q))@~Of($ISz zi3vE0ST7RhYUVYN3?XKJ0!KgM>cz2`l*EZy9U+>Be;z#tc$jy+(0@`uLwP&znH@-7 z)>QhPQ8DtFBn9AHAsa!PkSVjV$? z6iF?qqjr*#ggRSIlV1d%WR6%(UX4LNmzK$R%?q1-9xVr9{POgg3tJ~=#{2yAALr3) zENf~3e<;hH5Vvy_D$>OJ5%#I%Bk}3=hiR-zO3SGclY}_^{Z4j0`BFOWYG#!Mc|;fY zLlVGvbZ68wDueH}o&T?%`BsphWWl|$hj}~~)SJ1)JJoFLR}y=7NqQwHG*$th`zzf1Wkt&Rf;d(UJwCjWQ)s4E8#gB9o2h zOr~nZsDeDL7!fK5+36d;@jh3Z2C6MOeV6a{U(&2R*ZB4YTdF!aTcI7j$!`lreu)9_ z$wrD?r&Z#>hxYk+2xK;gA5IH=SVKAW2C2u@nLQ&`A_iLG+D{;pu&~F9-B}7al-Tpf zf3fm<;pmL^lUO0_;iR%{%UR^_U`6>;kx3|S6Vh>`2``NMmDo+r;G1v`9VY75*_5?d zsHk~rP;T1H z8pDC<&-@9o^E4&nn55FCcYJt3{`8lwi(&NT(bw@)xemo3OFPno&9;4sv{TD7OHmMy zv=k0)DR0xdomE`heNsIW_c1V!2|tx$gH~mgyu9eae%*o=r6!?-7LPp|3A{C9f5!&` zE#6gzKW896a_0&++)Xpo%ifUaZ_jwkonbm`RCSo_li(J*5j4-q(aso)k$oSMWATL- ziH%RT*;Z-`xC+NHtH@)Ku|)#TlujZFHj%5@{ zujgC4X~ZVunbF_Vx4X7ku_sYw3eIh9w#N1s?V+~R@5#UO6x&Ip378* z2>c4C>6A^j*Iy{z_VZDdcBn|vrqJd!p!<0{E{|r8bJy!)Q+Ddbm6JJde@F;mO2nxF zvNux{3TRTk$@rSj)jbVdHQ(i)n<+bthf`XeLYzX=IT*^*oL?5545IzFSS#SNVG6CSol>AgP=a2D4af zc`5I}57BjJ?~_*zm8Ig(fAzd@F@M~CrupH4Coj(|O&9HE;HRq=Bla4VtCtH=6+<>; zG9Xi693CYX{S7rHbxWO-{YP+Sc*=h2koWA=1D7%t8DH$SRc2OSO-k#&CX%U!68|SE z!>f~{`6Pc!cI)%pPXK@6%13^JypZRfL9<`c1;U36Th&*t52Qnze~c^oIFy$;hJy`5 zXyI_GrP^f8j(^#yXux~Luu(M+t>>L6EL6c&^EX<$VV1Mbjjkfl&1V;?1x!k6zkZKI zEMK~yPt4rmpy;cGzB2IH-l0vAlqM@8n+qdaDKICBB z(@jlqv^0L4c5wLe|wzwC|sd` z6V*8ElT!D@LJ_O^C#>p`$x-I8AXS<0uY1C#vA;aS`<88b>`;#Kf>!V!AjW%)cvxyv zu^()hP%%rx{kuLzeSU6z4!6ZS{06pe89w=;-HY_+nvRt{P6^H9vua_k&;@PnG~Lod zM`O3o{H2Ooe~e!}ImPvxByaP-&a~UmOgkPYh0qUEI^H@ED>Je=jeL6D>XcnR+>kcQ z<72H);tF_$-JBw2z^UbSuzz8;-@@(FV@Aut- zvfS`{26_sPgDR$Pr}E&_Pfs6&S_=SV8pIoI)$w84e~$2Sd2-515t>bOJ)iE!>VDdK zZhBGdmMLGq<$JIb2|yXfyC%LC2|iu!6QNGYNpl$N zGVCzPn0ssi54YYG30gim8qpk-7Yec{II#*w8`!iD>!lVAfV^Px{yxsw>*LAI|flJ)Av+Xjrz+_H&-OU^{cy;bSJpjI*bzt`(&14CF`sa zM5TqniSjr~`TjE=;%lByuRc`mMNQ}HR$A(Q!K)~-DqH1{MIcBmlJ-sa?h9DU=oORP z&iBX_9++Ftxl- zs8-$~@qyv`}b+At7H5c4xp#|_OTv8s=! z>cW~pHj5pUrP%B%wztYlFWQcVD|qR_NO-i*2+=wlVO)GH&yK68hblM8KRv7`N#eD0VLndk|loVI@q$F_1hmV462>wc-36wi+=P zQly<107YEr%G$=iB=HIMhuaRRI`sFTUt+l` z{1lQ^&QI+lC0ZFn-RZu#n7i65sT;) zcXuBtitl8&i+c*npT&nd&72xwE7&I*H@ff3_KNC=0x^QB3e$qwztw!pIrh?#Lu|?| z4&t?l%nlJ#XZ#$&o=#TRU=O^Mf2YWd=o6?9PDa7B4fw_>QD8}b7`2;)deuOYC(9|P zP9DHjJ>9oNT~dS{JopAN`|U0l0sF(H5K^SMeexkv6j^|K4G+&%(^)Iy(1vvyRR#?s zs)I)SmOUm6!N^KI|MB5`mMEpk1=%$n=jJSDWJlc|S|yC7g<^1}C#*Daf0KJ#j?p0% zZIWI+m93n=)uml%Rj=S_VIt;!Q&YL%$zz^8`k25r)i%);Nc(;R>oaM`i!9~k*UUIm zIu+pdXEpezOQKuf(9^O@M5QOnO-OQ=m%4N>2X-##S);S+U>?M1Z%EICQ@PeQb*1fL zt2S1K1Z|EVYNHnvAN=3QfAoF0F?^$tN&&Q45D}1wz4-Dz{~5W?vs6_^;haFmG4oC# z@zIyysY z?saxnG35RBzM^SlBp4Pe=4$kG28UI3Y$ZD%)bkJTge~=P2oZPB&j>qlPsGtYq zjy3diLR!R7($YT3A<8Qz%T8$0wTjum;>m~(bLgTqxzw#340)!M$ewbUPEG<*h zTGiavj|X2+p1dL+M_T1BxB0hv!*l)^l8@Yz^baN+m(ibDr$ zcCH1L@4L(jfBP{x(qdXyFL3pbqb-lt##>I)Q{TG*qZ`T>*F~g&CmQe?nO~bk(hS4` zD`IM9I<@9rYAlI{q|>pW@{AvDjz43fV;eR;cIF+i*`Wz^o$T&@jMm?sc*i-Knqp7z z<(*%{UBH%q)JAcNpF#NP%b8!>75mnUVcJzgIvzCae^gPu%$USVl$Vuj{nJ?m?&<(? zK#jlO)EHym%TN{(ux>(sWU|bDET`7(Nl}-n%hl(I2MOzbn1|Gg3G`d1XZLOmX7`K3OXlc8e8l??VU7f z7$Z8*T2M`MbN!@s-k9ExywCJB;u725=YXsBv9oh=Z2$zsXHwLeRc0~A7rwJ$ zTC?}xH6El?oXhCz?16%Z(dvc=M5`D0m?qVOk;^c>x_@3Fp30giIkIv?@`o+7mhhh@L+GDN zGBEGl6;dR?ZNF`w;y;b%MibQSEKV6&q9LZp_)(vDzD7wcCW4-2sfRF|lS8n05uzy$ z|2R{HI4#m&SE8pIv`l5B&G*@UMmX`8uT|YKO-vb2H}`FNaPCI{#rvrFFITUBWX_^? zP=7V##VGiJP(>uV_BtY&8{Y z=IMC*(V;=Ltd4oFfBJiD?U3D2u3PUsHUp2bxbu75fsUDpR(&pA1v1}p+C&2Ru$)kj z=8irhNFsa?YI3GlN_kJr-L|UYU7j}NlYbBWu=zuH`NQDP!^W8TzN^&g+Cyn(b#3_o z!R?OIL$xd_f%Z{zI)LN>!pt_`b9>(J_DfUWU(SYuuO}q=64&@gKoA?h5`!AQNYtAE zrN|~vpUbOp{`hTZHEseIabv2`?prkf@>Cni=Z+J+71v2V6)wqR_v;5x`TW|8#DB;Z zq4*_b_{E7Ww`^uMS>du@sjk%5d@ahc1#PGw8@-Z^D1MFx31c+(g3&arl?CpVxnN|? zT5dItUzxF@gN0*~OO@wJ)0RF8H^;zTSoto)zPhN9YKU~AXIV6Z_Fi0vUsL0|%%ykaPwMLD*+m{;DE4;>jX z2lJ6HvOy@D?m?E8#9_rV%A&|=j<&wQE1;O|I1l&dLz8FQB#5}B`9U(y-=N0Sx1=Uq z_HDdTk6ye76*!MlNvvUmKXZ)WS(Hm|J))BC+BM>u$g|q5lh(X*)h;c0^M7NVloYJ# zV71zdz`)AsDmcZj%#WSZ5;F5ZeoNEOqhtP29(I=bQO0pv1wOa|^d4vf)#TGk!7tON z4iPg*0yc<^XT68_k{5mMY zO%od>Z6Pt9oK?HnF|Yic6@O5IlOU85l1ZN-+H^yNro`z0mpCIjlHYu>8q^v%7~0XJ zTf#y7{sy;e97D7?0r;b-Pl3>`hCkr;P!EojExIRRmFE4bLX2bbcN2udh}~xo@86mt zp*Cjn6*yT0nfhSZShz`mJiD^LLjjo(Y#gbo)XTZ+|JUxB`w|)%3hpkvz;u z@rC25WxB2s7sPPlX6g%_#?SA+1OmgpQdK5S4B)gVRPk_qB5APb@_hwYB`n$`>p9~) zDIHHU8S$=+9skf3M*E31h%mm9621w;wU`?e<0Dh#$j{YG;bIsn+^{1OlE6s;iuU(z z$l*;z>Udc@(0_)MzBlYwdR@_?n`WG9Bg|3CJp?i``;u{T!qYhV`C34Y!8_aIYO(1J zu}Dy$*tCXYoZ*F?0cZZ4RMg%I|C~x7xR=XYu3_v{idx`pgE^s8kP-4`N72k`{P%)h zkx?+}q`kBnVrl*Dc4frCUsjxE zctT;7cwZl06mqAlLEal{z>lzA>aj%_e0^LHmF?)-P1+`N53n)-k%wordJ@=gn4(e_ z(z#!l63=?gLMx0?kPjaj80l;hQN!*>PuG5I_qU<4_j1BN!6Q}yZKd1f0(@eD*pN^?6 z`BOKc7KM#(?VH{tG(4EGT&9l&)5_xP`GA<#L-0$r2mfIDd`UstV|trk6(zDo$OC*_|~(_ADZtY)s%1xxQwy$enH$176R9WJcbzyFr}xn4?Y#C zAb%m|5~ow`XBf6%Iu){8i2}E*c4FpRPo-#sM21M^m8tozI&UJSxuqMJ%)QHY1W8uM z0r&p&!9%z1pG`v*Ygf2xf({pF9pC1{pwj(7hppQhSi6_D z5~+TuLuf+5W^N{@s=#9DOS@SBpL-UL8!=Wl9(Z>|30=)*SBx0Vb<1)y0#`jwK!10k zNgVf*)-)(I*!U}SV6sRYafmO=AP6Mf?lz~~-r9pOl$N?<#wf%*?K*Vzk~^>XT^rd?y!sYPH9NIN z?41<+cUBI{wgFkOsu5b~4>gW0RDTu?&oVoP1A^Q41oM$NC!{O)H?C^ml{w(Vz+J+; zPMZSlV&VjeuqF-8-kxEzS~t|6l*m4``6Oeh_~BH?8nncT1rcXZZ$TV<{Jh3O2$t8} zc@q&v?~6WT2*w%fex8YD;3vtj2o|B<$5u75P2 z^bMBvN9j?{0^Hp-p{f&1V~@S%N);p_9-`Ei{##YM&Vv#0K_%YY_N2C`Hv%$~jVgur zwOH7QfbANAdpO4bHK$y69Yfbx{ltcFUbvq=_#kJiW;iSK(|L%o5=b1X63@@L9sp0*XVUUy zmOD6G35iG>zSB*-w)D)t>UQ}x70x-aT-hDu`OHN?hZ*EqKU#59I)6@85+dTHiXn@R z4(ofqjm}4)r9Jpsd=5}#a$(UN{yh|J@l%qR;c?a5qdRhsdWCBh)2{s3_@MA$Px|u) z4>DJx9SE2D){C36z&`D;7ML!o(&St%Th-6XBT<}3;iM81@#YLwyTguF+jtFBDF9|m za^wwPCzai3VtsNxZyFo7D?IrzDT}plX$f!Ez)jrV67c^36h^}Sm*F1>6PF?91{Jq4 z76a1PFu#Na!F{dhbmTq$2`?G-*-=r1vgOdJzzi z=9j!v2N-|M3_v|@IctO!L>U1`ar5)=NdOcy^-TEr0DOFcJbZit_{_}uP!tUEH;&J2 z2ysC|5paqBvQTh=fKX^m5rje;Y9io(C$2C6zaW5LM1o&bf{za%z{e;4w;{qs0-y+T zgIWVLc>qrka0n8gSpnhX=>oO2L!tNi`w_qfW(R-pi;IhL{dNb)IYL~ZU=SRj2}0RH z9ML<1K`?+G0t|(qJpUDf?XevS+bH(19C+2AY5#v*|`AjP?Q}&7lMSixIwG| zze)yZfgB-!mBxe54A8fOBL5J22pg0;$OQsG128BU0!N}_*Z>MunW`)h2%j(VZUnR{S^j%%t~-; z1%#s`1dc-D|H@Ah>H-0y&)t*vujV?y5$=C*@4r_zP`I_tuQIG%op=r4P-j<&n&MwJ zXbArw%oc(I2=j@HhzRooAkF}Y2iT7H*9Q8YPLSW^Zx~&JueTGz31EXR1L6y{fuKL| zy^$a{2ms~c3i0*+Z{pu8e13j_H57~jSV3%|aQuIwqhW~6pEbJwE>I7EDIZ#X`~ZKx zU$6f>nV}VCjex^E|1tmFVqPUVvfE!8VEb!8*a82JrG-E%7Xo1WN9fP^g!#be zH~#-;x&Lxx28fhGby3-JFn zHG=#ZT}_BJ)Yb8SSv3?0Jq>bjTePCN`Gt7+g#O@Aq%zb4Vhx0%z;=IB^9MKhHE%E| z90Eijp}%ezv=<-W|8VFb13RE^5hPlgzbOcMhW@>;5*&=M{xxg@!Xf~Wiwl3q6Cd4c z^hy}u&5xc+Ylz2hF#~vc;0P4j1%R&67hr>M!T;4*AwB>v+6&=sZ3TltY*4@0KLr0j z#Gh9F&G7Sy0C=rHF8>7xpaB;U81k#~1^xS(mYZvH0FF&v?ASL8oYg#f&8i0$wD8wmp;?f!`^ z2HJCeQ-zY`I7X@h#}Jmq+m@n>mt%R|AL4riUEkYkDFocre*U@EwHhHj zDV5#6c=XU>EmQvoFTsQQgm62q%2XzK<_c?!)4sHW3PD&-#~pu4IskTc%iK@RF+@@E znTZDGY;6?I^B_Ue{g1eKzQ68*mKoD0!cR8qKQ;BWhaMuB_Gu|b1LBOEGj=++(8{!PrG9trnL?4b~LjlZ+NJ_zc{^fNM_ZiBGJPbTmUPpjTLTGSm>q*H!$r6 zX*8YGp;zwa?hMc%v3+S-5QO6BtbL2!P0VWdS*tDB*ebX2&P z-Vi&6d2-2;w3-H^SN=))%uj;^Q`e6FEuC_<)wja(Az#i=7=gmM8KAIWuAL1x_@SH4 z1R{vjX6Qkd=FT2{weJ~B<{_A4F^qA)+}uz1%~!Kh$B;GRacEJndZ~8rXbgke-KckC z?=F8g9(>m&xv@Zv8A+zMe*Tu$<0{Mcs1(KVxrl7+uEDD;Z=cog-*tRJg6qn~u-nNk z$6_9L-q7IWkD?M(jpT~k%U2|;8D_AEx zZDj-7kW)Jcnq!t$r@PN&kQG|1^{RR~uz}A6gFG(d=puRpcJ=xUfNIq?-s*!T14!x@ z_x1-&Dw=Zlcz4}C#txb0He62A)oUP9$qUuq7>kMvztAxf0Z*GdpJKNL(3*I%y|vuO+gP?eR?OKm81&aW{XqoBn9FbWXNIenDFd4I7;`0KH9JKqO^h!_&PvG4c(Dh#{d~Q{M!I`tbH-9QBOhi! z32$AOfI)*!@ZP!Anz1hv-lYUuC4m?RcFf2hrCW#D0E~vIWvzV5z_s-^hO=vfJwdIY zk_@wxO_>R zY2~G&Aj8NU=mS|OaA(-8N*NG|?k~^$29F}|TQtu#^7^Y`yL_P?ljdPUutr$Hz-)OIox4emdFKZGEk!F&^u zsi9gh-l#r*a$K9up7tHbIh%884s7C?+%@o_ASd${KADB)=csE-ZrN%aK2k&MYZ}&* ztf8vm(-M?kac@46wakA)l`+K~GPWR-pckEI4q8URT#Zl zONIJFj5Ps;Y^@JElB+@vsJwXRt7~VxMm0K~2KzLGE8e2(7UCxQvCOBm=TsX({Z#Lw z{#dSOIrI%~SoMFWWvc0VxwWK*kIg7pOVyz2b*?Ffet-vZP&1GA1u&eW<`o1|5?g3f z*n;8iFdO=S?p&3hT@<%C7Rnes+;I@d#78@Q6HrsuVJHJ_B_$2_I^GcL?(%6ZkhcD5 z@2Q^=9nkUK(6Q%h>N1sc(PvwQKC1ZR_=D-T#*ACyURZx0*7d^_7X5fTQO_IWyV63i ziV(CMd#U14-7Z5DYLU4J`wD|S^;0qr``ktzJTB~kb51M%%E@=%?sceT!W1EfPO-IeFkB3c~m#`t+yZpT8gi$%70Z|-E!jDp|L%-!CVp6=#6iTI;Zf+~% zdD$`yhjD+rMl@oKVcAEFb8B4&>F3qCBLO)KG)Q2^Ouoy*SZEpdp~T{?P95~2AN873+i6z}T^|k(G67TA zlgBtH_V&Zkfw%16zCO&;&)vf)JhkRm&&hKrEBk*OVZY#4mWN9N=kvN>s`8e0ncg|P zE_Mf0Vx+Uh>=iur;K{p&Y2$qAymmp9nkQdp%WIxHV~@hSOcNjF(*`L%QW_6TaB`|p z<|r%vUbUF!cHp8tW<3ZOh2PC58NF>I9>h^WvuiBzy=6nXrzt~%V_;E()&_GRnxaEI zfdzk*U@yr@>rL^2FBFe`cvddKwxd#=V>`fDy&ZGTu$I+p=IQZgIoervJox_U(B0|@ z{iY<6j`X-Wjlm_tCp!m6Tjq+;;%n2wLkZ;Lm-F=k?F`?@7Y#x$d@?ao9%26wHVode z88L|1b_NFco?VUlNd1h;K>wa;7uNOxc3^*RA~VFl7171`uB|6>;L~#2I?4HSRdRil z^06-y5GGOR4HV7%K5;MMAf@7c>hwcmKb|dK)|Vx{36r%g^zBQU+y)%ueyxBf70sb zai+rbGlwR)V0(ziH@9K%?&qYs;`@K|LoLb!=}F+qs*LzRsR!jBZ5Zy~qUY#uF6F`I z-Ehb54A&KFWRsnliOldK0M|Fmc4)DvIi_YWyp}d*_~e)j`PL^p2%{u4`pGzIsGz!e z{!(n*;r>KC)??4}EG<_8P!i5|L2+{zPhs}~CQ7TOpfe06@Q%3NK~Bvql>L9c<~fmH ztzO>OpC&0Y@b}b#(b(AOu@fxC9Of~!J@KqpU|9^Jl?PWWb-g~1mj=7?Q_ouHMyU5H zNq=t7lyWA43CsO!ALl;zWOdv{K2A5-3J`Z(tAE$-#liOlYTq;?5!1rat$gg7|~N9itT4qyFPd!I!70PV|2;or+h9I$zVn z?^rDtQ}8++-+F)i>Y;w3bBpqb*d2?T2|1F4R`?E?&N$A`JV*5yZx%1f#}lpD*a415 ztEN!V&qI_oJ6W&4v2sveI~)7!-+~{Z9@9)jIUMog%9IE=Qn6?E580eFRO}@$ujHM3 zK4M#~uwh!IGY)J*{*UM>Gy)I78 zRF(YX_SZSeB-F&MVc-`?T2%6$3hUX5!n2e{C-yt#?5Ef_Sr&iv86&D}8=M0fKd29egm9KMjheJTM9F0M%Gi=maiP{UG#MH-lC};w;vY%bOw_pJqF|P9 zzwb+0PEc%ol^cJ?Rh6iD`)b)lmDY+s@%_pN)gJG9_n;nKbCZz_Dnc&&S4_&q<0-0& zGe?HhGEPT0o+GIZ@_zEVje^6>tyr zDZLg)ZSXem9*?CYMO_8lvJ^spD=YC&K4ERTUS43b^wodG!zK#Ene}^C>`$_yCE#F_ z2RcT$J`ojs=|{X>bL6(X-Fo7uK4;{er8%}JC^HosU7~qp_CvymN|Kz!jXv%LaT=EK ziX>LBJbeOQc#$z#EDvy5O;RR@K|enXz;m|_Nx6Ib)WB@*ZBT;Lh;hWt-RlJ5nzjgk z7k^EZw5NYmMF_`gfR)1SmgnXK&8RLKIhU$j7;Ei$S7Gwi@vUbkXVW>o4>bZXcY<<( zi7cWh6cOgBtBRMTx~-gZSR8c}V449s{tS<>yfvEJ92h@+nqr67Ez;$pjE zfZa(f{Fx~>G&PFFr!w|^YXt7|3Lz)g=JIx1l`v zx4nN%vq7^i9n8;04_;_b$5V$n67od7jwwIH(=~0mKb(fpdTjsbEA9vGS zVVk5cJ<;KdXPSO5!INwf(~#IInbQ{`t7K2ph3M47Y(wvqbZzFhmuwJ`$wp=Azexg2 zu!2q*nY-0}EOpdmejflw}0kXXk&jvZY;;~>C>3nmMjB(xy31TcsmQ$HLD^1*)r1~ zdwRD=E8pLuBi^-JyKNRxXm!|%cfIvtyUb!+;PJ@$KuR~~9pYWo!}iij)1j=YFsdiH zHznG#`OKQ}YJrPe1gOII({9*7ArsH28+ff&M>>u)4V5YS_=JBBayqE33mAWiOWUOQ zmec`=htE4}PXtk+wPimWbL~q*3Ojrli)y}}?8i;w=k)ZNQjBRt*yUixn2=Ibvri+0 zMI9)XZW13c`{Af2Jj396<1y%Sf~-J#>=meHKUP*JSzQaA#v0hOE4th8RAl(U3k*lD z#SuF_ZlkB9v4pn=pFCi#t2}?}lPX@Dch_2fSq*}fN`y0=YYQ&{*Mi+UEQZ6C_#zn8 z7X`zI`x(vGM}F8k--z>7*(i0hNjfn~-SpXjr+6|QRFHcU3jI3)s}XqGKfdi)lJ?;i zIVGfd*Dn>TiQHF6QNLEW&FfzI(vcjeY`#x#oawF3CEbXE#!23Bd_8}qN18j{mzF}> z7s~aEnOH0Y&l!W)loF)}LVRi^E$*i+t0v;=>~z~T|xc!(ui5;}g6 zjLU7EduOiMb#40@M*9HfSH?8IGgjCAJ|7AO={dnmzMAO!9Zj#zC*CGKV4q0m_O8>8 zZK%|qybvJPEpD$N^7yp5gG(Q#(}jEDE^j*=ztVKAcl{wdlX0pPmT7f(>LuAwm8Rx7 z@l0t7>tp|RxRZZNv4iHlI$3Plb_h$`E5YP6SVvztO7HAzCo^rp9{VP*lWx!X;!Im9 z;{$>BuJ~z6kObj#&d!-iWYN>2RA%P8i;&wxk@9%$p^1^*JJanZOK$iTZh77Bb-*dM#EnwjxxQ~JDu%57WV?E=k>)Et^u-Wdn8?}?h$>Rc?Zkccu0=v zmF9nwyaIVr>_e_9K)Yf8;pb%}@C>3;uKl5krbj-2im00liJ8dk_CN&thrqg^FOQ;+ zC6^?d<*gEwPA@x*0R!Wuewz#DuIsMUj9-Fj%-q1%&}fs;lBHb_x6BvZB>|EnMRIz& zM{$r<&iikfxf@XN2GR~5@0MP3aA44`A1{AlwM++ge>Tpzmg%`~S-L-B#=v5|$u4h8 z=yhC&xg7c9Vplo9vCq9p#jqn#^BFuxZNr-;>e_PQJEI^na8lM``n>qobA>9p!~pwsg%i#81l=D?KkC39J*nYt%&%TMO9)Jbs| zdphUE8awFrs1x#@(}~GPXvJh!Krnx?oo6Z)fqBU5tQv(xWwT0Y=E_ucOO;1M6Eebk zcto#R>s5+Vsb1kPyu6Y8A-X3XipBLB+rVUZzQ&*Uxs1X%Ba{W|KEFRM+ClKxe=3R$ z69;kqcoc<_pfmzZ41e0w&h?!#`nu!P zr6mC4^=fV*v6!gT@!d55h7oLbkc}uYN7M%d@Fz|62V;R}C$85sL-KYT^M1nkKkVnv z8wa)_sl`x<;+3U*@i&;;$E1JTiB$yI;R+2FMxM6^n}VzLzvL2eZ-mYt9I{}sVG2x_ zH8~`??7Bv?-7r+@x4OJuiWh>myA1;84ehnRwCCF%^es2Vu5&-|m{`91sc<~O9ML@* zKuoO56di^M;4J@PvV_t2+&O{TnbJQz%%h^l%y`)P+P17m%Vcvlm#cq6xqT!`KLb_V zUWC^rar5NdWSLvPjK^l64=8WTiIM9G#fET;>n#*+PdY3G?wbV-PiJ>ux=65TnMLtA zc?uV7hFUazd7f}1@eSv0LRZ1qD=fbgwG`WKvDEj$b(NBhhsj^pc;2;yYhD^=3q8pM zfT~5MQpAumL7fMKuy21F_q6VW2<0^A=rzu2-3&_{JZ0&WxX~T5BeP6;_Lv=F;vW+O z^IV|nvnd4;)Wx1qxjl6&Cj@m1C@-i0 zD^oG~i|1U2iOC12z0$Vn8MCb_eG6Fl7nr_8laRR*l7lO&H5iK{nPE=qU&Q#_FrS^! z&6)>rGveI|;Z}e5d*n<=Ebv@~H^!|CtDs(GNgi&kfP~bMjbmsH5#lf%PPoF%M3mtEF&mWnuwv(tD^o1w zs(z+oDmNN*YJQ(#OCf44H-Yz)Nyt9exjOgk{`dh^M0B!?8_@*@mikOtR^QvX4Y(y^ zSXF7d*m!?YfqLE8{UoBz_1rVifMFu)Mi|?fV6{su_~}SYs=9cAq#1?om?IlTOtD-r zg&|i-+h>+cycbP-KVM_v-JL$7_$t^k_FY8u%THA7Za`>!k#gHXLGSIASb<%g%kXEB zEt-pkU38v$dDl6W*>gRR8J$L$Ky&s0Z(F?*S0dIa4Z~PMV!zu0FSyR40r!?if2#3nB^&wIg)9}@$ z@ojK?(*{f8c8Z3V1BttVKheed-25swuU3;H)^?&RS<2UyQ9ef3)b>79H{xR*e*9e_ z6|#Ty#{#42tS2R3__@oJ8kfir`6|Pv`NBhz^b^*X!A1}*hfWHG_;0#EUHxj`*9UaY zHPtVp%geDjeg@IY+;tv|Np*c28IkC@pTzqh`BqXyMj*)Ub6Yqc^$S(#3G>shyB4ob z(yM|{ddKrMjS}yAn#O`kwk;oMviXVXM@xTeVd!aJyx#>CTPv&>i;_i>oPSb=weV8R zSa}_NE>QhWM$cnKUP)78o%_uMdAAl1m2(1Fb$-Jov{geH;)Uc(>`{tb`aTV~dKv39 zoLCfvbBFB z{o>(FHB`uazBi1y(kryBo2eVCYIhS^yMXnbq)Zd|@m9#p=COlvLQ?n4Y`r`#<%|imR959|#kdB2xzz zw+MI#dL5VZcLx=>mz4(_IhTT!2NjpVI0g^5*3Jj3F_*H=2NkuJ2q_!^Hn+eW2sHx% zH@Eg52o(dDy&MP?w=y*dD*~7F9|#n;aW@F`0+$OT2q_IW3NK7$ZfA68AT%^Lmq8;4 zDSxe7+j0|05`EWK^yAEK&|UXS#Oy|38-rOqI4}duczBTQHr66b9!X|kzkW|k2SbNlE{L)g-8LiVS7PRVSf>7kyD5I;JoQ>cLJ9`^;jkph&1fhzgB~kKl?+#*s?|OrW$B5r30F?gFEb)g>Tuf~+kSV1{j^Bs?Uo0ATOf@I?^7 zSV}-+wCqXvQxrg1!lR;9f&C9!keetL&d`kHjh0=7HZZuNXiq3leuJ6Uuo5|$jN~+Y zzi~i>6j7cXnVgEmljL;Tz&j;z(hla3w2vl)2xmB*0o3Gm#=;hgRsnusKYs*)p?gCV zymAN z(J-N5Ov5D&cQjnIR|oCY(a&qQRjb>om2D4bsA;%r8IRi8@@6zl*YBuTchoC8zHarI zwR^L+w=@iC=(n5o+p7zCzJKN1#;xe{m0`>EOFJ9p1Q+dnH|@3y_3Ex2HfU>BwKXf+ zKI;lH%CEh8NYdx6_Wf4U>&;UA<34YD)>U@U1@)rcptJe3#h~BL?jG9w9-n*LN?qsd z&s*57NLD)th=czMEXsQ>taWa$H{y`g`NA z#hJi@L!RhZVpJbqpZ^zL z&te?ipgB?PrIX3{;XK>Mj!=idyf1ME#+;zWbmAKc3om%!`C%)f@tEZ#U7+lY& zizDeQhsd%FOx3GS@6KoZ{?%agxmWFtCzthvcatBh7u8XG$|Z)s|YTMM#jLy9rRTqmO_M0Qm9-C zIH21hW?jdzZD|oGCi+sL0p3L028;=%LX-LsU(!VCQkbw6TZ$Jt6s(Dtg%59tkt`NE z@s-6+9wTTRU08{!)fl0MJ&_&Vp#61^5iedZ$BUPb5q~f6qel!BoB>LKgoob0v@n6P zNUVzbd?Z4aYP&#z&Ar;*MRQupy^fA?PLvU6giW-qi`r1qk!&kkAxojRth7GC?i2>C5YzOykCPavf+A|P(xn%0cNI$ym(UuKZT$m+n5Enh-1fPlOWU-Z0{bg@$@NN#;7?*=K`tJ+c znDmKBmFONbXk~O|K;LMsEcscMl<0MUEgcS`e!xZjkHiY5d90wq1bR4z7*SjrLg@oP zM?+<^_X=_`nAPR=csLu6p4?n~?tgo{(A5#=Gn_Y+lgJ(XFcEF2E|f2snqW$_lv~ki6d|e- z+hp@?Mk#e@Z`<|etyniN>#yW{cdvAA?SHO$Cli6+jKi`Kx!6F%Q^c*LnD-T0*4n|#rXjRhge14p1?t(u<&5|;9|oV0DoF~ zIuHu$9d-^ZK8=Zj_|k_I%q%FvUU_s}%_i0g5|qTJk2%sz%`HR^p~z-wY_`m|H~b@+$~ve<%gWZS%MNZCfzq;r`Y6ev6fic=6sbK54v{RMAJVOqslZ#}K&4 z@JJ1bW%SdSC|Fg+{*lH^$g~?31d3`$cq)!_FUhMo&wI&5BpNOYhGURMm-smJ9D&l2 zq$e#PQKCr{P$niSvQDRioW?T(aCbiB98NpmNupamOggcBotB?V~IhE})|lV1hg3AXEZ)Q_I=ZfX~Kk~7qiGc-0f2@f&{ zLc;~3Nc~J??+A({u*{3Dx{jZuaS?~f6RhIm)AS3>f02Ejp8a4wkfesXFZA#9#F|?c z_*kN&FR29X�t{GM%OfYt3FvZIPjqGWZd;nrpZ9RM!(FrFr-p+tff)%{y}=Zbdi9 zSLR9gJV_)UPh+x~PBEHgt~O(W|01e#?({wi#R*Mvwaaq$BHYq8i&;*ULvFLA$Ja9P z?h|a?f1g^BB5@^GRn6GIL(rvOKB>hOC^=bEsT26r?`;jSHr z4AB6`OY$AKQbmhX$&b=v(YMQo0^rze-PZJ1_C;8Yz ze?Cj;KF!nB9~l#$d`x>;AvrCw5qQN%%b}v0BP$t{O+ug7qS??~V!0GBrRIcAACb|q z#}Z~vbJ0l0D$9o?=FA+Ld60A$C)Tt}voDWQMA=zzT#a%tR_7h4QpV=glg~BxJ2_1Q zc3OAj-3>f}R7o^BeWEdvIt?QukGkC@e_c%qrFlc2Bq2U@MCTqLjggOeX>44UqsXEU zUH%K~@J*v1`PiZ<{RPe;mOEDtCn=dStJn12=R2by#2n{Sa-GsMe@Wo# z(xeie2dDVi2qz(;;A)dLmNMn0Bn6LNEE0*!=F3`HJGW-CO*2=X!+37Zw3^%43D>S9 zTQqmJ)QQ6I@zq!!**5vrgjJgJ_%VCtN>3#Z>gmN~a621M(o@P``!~3<|N6J5uiyW3 z|9J0%6u2<#f0`C1QS9-f*C*B$e@_&ZPw5O5PI_2Ay`TrME`oBufBT{ye7eTl;CdBp zL)V^2x_C6}4+j@dN1uju0rsb}`sN*dUA0$zXl_D11CQ(egr0oo4`Fnhw5Jvubudsq1R?_qe*NzWtnZJsdzn9INst$`4_8eE919 zvwdK;BQl>t6Tb!;}h*6c6X>?cjA zT#RpS`Y`?HYM3;E&2RgY*`PnX99&&h(_w#l&1U|)`dWRf{?~=Yf9(Rx>E0jv?_M!1 z{(e;CJb`%mNT39{7L@0JAgMp7K6lj$yQua0#qS5tDZ1aRGqw?PV~hABdbLjM;zm>N zXU0CNURM8s$&X?3lR=vz-*ecXPx=?1>)Eirn$71E&X^ZKW;h--_$)GMJ-Q@+sQ^1C!m`TJ&&WM5?R@7ad5TNS7d(PIQItEUah6y?ty-%!t?CI;px#apg;Y6Z8?p_6RxK8 zlOpf!0(@BF`*JLm;WhC0CzJ8t^SGVANhqB6CyaI7qTWRD`5njs@vy$Z)|6`oU;4v( zbWvBICUqadf1c9M&0qxA9fh4~JkS&8MA1H%QV@ii6NDJDNBqk zOM|G%wcbmXlDRaNNU}uMK_&4ojcj8tJK1BbF_zqU{g?an|Lknv@5A%p{W|A-`m%R6 z6r&}k9`BH?shOjhqz@5`oVP{679)ke5Qyyl-JM4k4ps~`e13KeOJqIVJc(yv2g)X? zPMBU8+qgC0VB)J1`Lw=x-YoyeMssWd`{2O~zX6PTO}qO{3b{&9rYV?JMMq~YC`gsn zKXD%|SHDy2Q_7|ua-m#Wi-kMMEx&VdZqlzcShW_;bd3Lk6V;mGqjcKbD%>lLP*#?E z&=c*(xJuod9AUnp%4Oqp9jD;WLT=8*CS*`MU_nRYTW^$K*9kBEn(X-kct9A~YR?!> zzjrP{>VtdPg;yLwt+Oq|i3@vz#9vLU31?&`YsPxvTG@`xl8i>!g<84;i4&ZDd6%*` z1e{|k6TVYu9@8teYL6VHn6=dkoNFn2!EseVWV^J_>csDEr&Bul#J2zminIr(v05$J zN$T^bqXw|Z&!v|nX2tjArtL}U2R|!M03Od$7qZCfDz3M3J5ZKbb&4q z?Upuhj8TIJ6nJTVx_}J>VE_z)XnA;URNfe9;-wAhb6;`IdPXS`0C;Ia#@rOs4B(!K z9lyl=8@K|%cxlyUT+`?ppu@+bL5s8jBKQ$V6j~FFq6yjpvi~^hwm``VF5@xs38z!{A zD+hgfi1EI~?4;~(uX^K??GFOw?rY&{nhz^Ao)A^XYvgDjHZ#v@R0fnUlFcO~g>3^w zB~0|h&B1`!TvJ5XRbzwG_~S)aUCw-pnB>j6iSLbu;+1}>sM_*UE%+iQoCA1RAS$uS zM4&^-P})=jx-%&cJD%X#rgGT))I)^`nD5Pu@O}qg(`Z7!+_!hp4RHx`xNjr*WewMYA(d=QG|S;>1x^K2lIR?Ypa(SqL20qb zSmPL-AZpeSvxPa|yCT#Zi;#~+#Tpa&RRsJ8e_;oviob9&Kd^YQ3XO!CG~-yEaB5ak zuuA+_*-$Ab{sAJ#Ko>eG6&H=aNzM5hL@CEs;`IfoQs}BTj`r^-lsw}Uw_0q5M;`jU zKh?46{Sv1$cdH}ptPvf=N;X*{1qDzj0pTux9I=h#hnRZ!eWZ(viG$`3Sl#PAPm7-h zuYU}|Su2!#G3kkBN3^wt{Yxui!yz9ZuSq_3Ik*Q~9#|m-zJB0+#EtlHci?EDaDo6A zh>wa;gE_VrB+njWf%L+_C-H$YgM`P#phUy{)aDs)2(J&RsJNt+)nR|S{cS6iXCC7) z1=F@#sMF3upIA|n>1_YCr2}6ZtFC(oBIRn68U$(e{#BJhGFdg~;dAY$HXoI%+f*o~ zQv!th3X4}tL4g=RI5MdEbo0d$m$D^z#Vl3UZo%1BT}1lM^*%+94hYs->dyTQYh2&- z!b&KIJER`vH;5kk&^b9#-J0|n$Ox;noCB2DszQ=qEw_PGk8da(JS+YiZ%F0tvP;8w zjE0R(&rJL9ch?SC6l}Q-kxf~O4o&%&*mJSxq$*~0xqx#&r$W88&*@WKmEj^fikjQj zBbrc@{HDB;@}k@Opu74mdDi{0Ep>xForgjcMm;19UM?USjD78Yvs&o)!}{9chV zbJvEKrY%0EWW~*rH_zLJ@!u-Ph~beKMK9yg#9YX9>AmxR@vu>7rGWAJEY~|fxte3` z@A#H5*1@l^vkB)Oa{B#}p2dbI((L!#GT)C}q`^64?;((N@ZJHxr=^eazgrLpgP>_T z0SZ*40~l`UdDjif)dvE@t)O-YC<=<;2Cw+}1wj$#wV)c%D_}Um*WHg>qVZqP0BWbB zXM{kbu_&~L77B^fyJ)DXfjy5w8DNoUEluu{ClUw!|0NEB|MVIzSw3Y9z^KYSZ%7gr z5-qD??(}pA3u$|KwHzJ$G4=qgwv}jZWp0lDxJAx=@}!*AZF1S$n=3~D>~(jO*>A7| z0hfe`)+mFM6#~QTq?yNKx`DGZZEYuJ>2_ecAl>axI7F3AkTE&Jr`ng(34AqzHWpXE{mt;!x=~vYXTrH_D!gy`J>=im3s9un-?I5y+ z#qW=(6z=jX{mfqoRU~Bk{@&hY@{nRFr`etnz25QrcSfRL`Rg6iLIBd`nzokUEHz61Ht44vdeg*8 zq*)9LZW+g><{YaZm)K||#E+hv8%5G%Dm4zhle(AD--kOM6?j`t9e-H8NmQs=xmHL~ z18k+1asOprsV&;h{A6WqT@l*XfBs!})W;+%@_<@ak*Wh@o1NS(Ok68VJcFp2rXfSf=(t4*ZR7?Z QCy3F+V8P1Dh9o2K->!N``v3p{ diff --git a/papers/even_level_graph_generators/paper.tex b/papers/even_level_graph_generators/paper.tex index 21ab465..11b6815 100644 --- a/papers/even_level_graph_generators/paper.tex +++ b/papers/even_level_graph_generators/paper.tex @@ -365,19 +365,26 @@ source vertex), hence trivially valid derived level graphs. So the disjunction holds for them through the derived-level-graph disjunct -- the first instances where that disjunct does work the intertwining-tree disjunct cannot. -\item The remaining four are not Even Level Graphs for any source. A -bounded backward $E/O$-orbit search (tens of thousands of states, a -handful of source labellings) found no Even Level Graph in their -orbits, but this is far too shallow relative to the orbit size at -$n = 21$ to be conclusive; their status as derived level graphs is -open. +\item The remaining four are not Even Level Graphs for any source, and +their full $E/O$-orbits ($\sim\!10^8$ states per source labelling) are +far too large to exhaust. Restricting to \emph{bridge switches} +(Definition~\ref{def:bridge-switch}) shrinks the relevant orbits by +roughly two orders of magnitude and, crucially, keeps every reachable +triangulation valid. A backward bridge-switch search over the valid +parity partitions found an Even Level Graph witness for each of the +four, so all four are \emph{bridge-derived level graphs} +(Definition~\ref{def:bridge-derived-level-graph}) and hence valid +derived level graphs. The witnessing orbits are small -- between a few +hundred and $\sim\!1.7\times 10^5$ states -- even though other parity +partitions of the same triangulations have orbits exceeding $10^6$; +finding one good partition suffices. \end{itemize} -Thus at $n = 21$ the disjunction is confirmed for two of the six -critical iso classes and undetermined for the other four. Settling -those four -- equivalently, deciding $E/O$-orbit reachability from an -Even Level Graph -- is the first genuinely open instance of the -conjecture, and calls for either a better reachability algorithm or a -structural invariant of $E/O$-orbits. +Thus at $n = 21$ the disjunction is confirmed for all six critical iso +classes: two are Even Level Graphs outright, and the other four are +bridge-derived level graphs. The bridge-switch restriction is what made +the search tractable -- it both shrinks the orbit and guarantees +validity, so any Even Level Graph located in a backward orbit is an +immediate witness. \begin{thebibliography}{9}