From a856c628f2544b2749a22c9ccef8c6e72f944ff9 Mon Sep 17 00:00:00 2001 From: didericis Date: Thu, 14 May 2026 03:17:45 -0400 Subject: [PATCH] Rename section 4: the section's content is the flip neighborhood "A minimal four-colorable counterexample" reads as "a minimal counterexample that is itself 4-colorable", which contradicts the section's standing hypothesis $\chi(G_0) \geq 5$. The section's content is the structure of the flip neighborhood (and the colored flip classes of its members) under that hypothesis, so name it that. Co-Authored-By: Claude Opus 4.7 --- papers/colored_edge_flip_classes/paper.aux | 2 +- .../paper.fdb_latexmk | 6 +++--- papers/colored_edge_flip_classes/paper.log | 4 ++-- papers/colored_edge_flip_classes/paper.pdf | Bin 212549 -> 212852 bytes papers/colored_edge_flip_classes/paper.tex | 2 +- 5 files changed, 7 insertions(+), 7 deletions(-) diff --git a/papers/colored_edge_flip_classes/paper.aux b/papers/colored_edge_flip_classes/paper.aux index d05375a..4b27593 100644 --- a/papers/colored_edge_flip_classes/paper.aux +++ b/papers/colored_edge_flip_classes/paper.aux @@ -6,7 +6,7 @@ \newlabel{def:flip-symmetric}{{3.1}{2}} \newlabel{def:flip-neighborhood}{{3.2}{2}} \newlabel{def:colored-flip-class}{{3.3}{2}} -\@writefile{toc}{\contentsline {section}{\tocsection {}{4}{A minimal four-colorable counterexample}}{2}{}\protected@file@percent } +\@writefile{toc}{\contentsline {section}{\tocsection {}{4}{The flip neighborhood of a minimum-order counterexample}}{2}{}\protected@file@percent } \newlabel{def:edge-deletion}{{4.1}{2}} \newlabel{lem:edge-deletion-4colorable}{{4.2}{2}} \newlabel{lem:edge-deletion-coloring-structure}{{4.3}{3}} diff --git a/papers/colored_edge_flip_classes/paper.fdb_latexmk b/papers/colored_edge_flip_classes/paper.fdb_latexmk index adbad6c..161dbfb 100644 --- a/papers/colored_edge_flip_classes/paper.fdb_latexmk +++ b/papers/colored_edge_flip_classes/paper.fdb_latexmk @@ -1,5 +1,5 @@ # Fdb version 3 -["pdflatex"] 1778742998 "paper.tex" "paper.pdf" "paper" 1778742998 +["pdflatex"] 1778743050 "paper.tex" "paper.pdf" "paper" 1778743050 "/usr/local/texlive/2022/texmf-dist/fonts/map/fontname/texfonts.map" 1577235249 3524 cb3e574dea2d1052e39280babc910dc8 "" "/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex7.tfm" 1246382020 1004 54797486969f23fa377b128694d548df "" "/usr/local/texlive/2022/texmf-dist/fonts/tfm/public/amsfonts/cmextra/cmex8.tfm" 1246382020 988 bdf658c3bfc2d96d3c8b02cfc1c94c20 "" @@ -128,8 +128,8 @@ "/usr/local/texlive/2022/texmf-var/fonts/map/pdftex/updmap/pdftex.map" 1647878959 4410336 7d30a02e9fa9a16d7d1f8d037ba69641 "" "/usr/local/texlive/2022/texmf-var/web2c/pdftex/pdflatex.fmt" 1665017617 2826443 7e98410c533054b636c6470db83a27bc "" "/usr/local/texlive/2022/texmf.cnf" 1647878952 577 209b46be99c9075fd74d4c0369380e8c "" - "paper.aux" 1778742998 1730 4d7f3892dba90583ca8d3c50faea2157 "pdflatex" - "paper.tex" 1778742990 14020 e71c46937129b64f0afa621f9c03d8d9 "" + "paper.aux" 1778743050 1746 21946e155e8c5bd26d5d9b5107a85bfc "pdflatex" + "paper.tex" 1778743042 14036 c8b4296ad33d9dcc8aad020d28492369 "" (generated) "paper.aux" "paper.log" diff --git a/papers/colored_edge_flip_classes/paper.log b/papers/colored_edge_flip_classes/paper.log index 18be000..e246978 100644 --- a/papers/colored_edge_flip_classes/paper.log +++ b/papers/colored_edge_flip_classes/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) 14 MAY 2026 03:16 +This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 14 MAY 2026 03:17 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -526,7 +526,7 @@ b> usr/local/texlive/2022/texmf-dist/fonts/type1/public/amsfonts/cm/cmti10.pfb> -Output written on paper.pdf (4 pages, 212549 bytes). +Output written on paper.pdf (4 pages, 212852 bytes). PDF statistics: 105 PDF objects out of 1000 (max. 8388607) 64 compressed objects within 1 object stream diff --git a/papers/colored_edge_flip_classes/paper.pdf b/papers/colored_edge_flip_classes/paper.pdf index ab0f7c784b8d382dc072efcba6ee8513ec539d61..243a67cfbd72247af3e74cf831ab61ccd25338cf 100644 GIT binary patch delta 22095 zcmV((K;XZ{{0#K|46xD*0x~j_AfqUg{0k-x^{hy0NXnM;>$eJbG?On3cLBbWrwku| zrjN9xU@D8(TrAvQ&0aOr@0+QDCVvv2h>}sFD%xak*%R2)F?q=?_M3!0UC&iN(0&SkrlaNc__1#&ZwV3BE+KK~&wfKvVMNP`nKg>BR#A>xEOZ#3b#14Z zve5BTLC8Yq!D1uF!bA#G{ghtijg7W{)_bT4ey_sVg^yvNRo4Psc^5}qnU-)yb&d+9 zTBAgl=1Ix6qedq<#RflN@pGKfsH53?Qx1)2PizbpM@@N;95$k+J%IS3aso5*q$$mY zy2%xsgCs3m!R3p9#58NQ&?kTtqzWK?m;z}kRRXE;)}BBTS1o0oWHT;WLKWbDa+x>E zmKx5}bx%6Bz@%~38ezbXB{AA|gsDtHYzPYQx!4#L#G5_&*n$u4X^k)5Hzj)^peyOi z`n?A+_hq;|7ia$QCaF0GZ5)CEEDQmYOrMK3rd!3q^(m!Wp%0_eb`DKHQo$OOYpvyY>u3cMyFDQVjSPE%k#niu6#AEv9N zIRw7u9P~LM`BL~LEoY$*9J7XD5US;ZJr{na6$YH0)NtdFUxS~M3PKiskNfZ|rKa$6 z<|b=hA1Odq%5D~}ON$o{di>?i&ZLq?O5emaNddv8< zuvo*#xz*{k`!Ya!NzQgLtbU0y@IvuO42+-y!@Cw~+DJZaPAJIOS-ZSwn3)gP>&>t?f2H_j`n=W2=$zYS1Jn_SX&LcB zvJSkO#v}5&r&ybJS60kcCM}gn~Cgla`J#%T5sH z)l)!$fveCaup~>1!#DAM}vT1!O-2^~>6_oc$Ll5nmwDGl?XX(G|7#dFfs&?K3lr`dax^$#!uno3QR zC=fS)`|oRt7h0n-sbF@dEAN^ER#J8dSyti&xXPYC2UUy#ZF*szE&u_@4vwQLNF7hF zrc%?8<;^{TDr#hF2%)@4G_qFD6|pK{B=2ZqjnLjIqg0t>Q3HX4c0%TY5M6*Nh)i2- z$(U!>8fb2&EpXxNwHeLM>`Q{N6G`1(Z@n9TOG=M1UMD7Bns5a*Pt3Te28?v{MJX58 zy5&foj;35e>UhdEm74lBZ|=#QE6qw%2Vs*D2FZ2(Xlng+@{2V?lu|6EZ|w zXQ)xOStz9feRO6WP0Q@ub=)~gO%Q9#)N0}HTF=bUsOA9um*r?&!$?EYaXd*2Qbm^5 zU+;#^{=}A&d%nh+TuIR2&&vKAwms5+Gk(*f$#y-gi2#r+e^9XKAytAj33NLP-;Fm9 zkV3-JmUG(rq$BSa%$v|OBpu(ZK$Ow>u(%oAozGV6{bsno>#v3_eq!_8truC0{mpvS z-_=qYVC&#q%baFn0pu$rO02J)&Zzv?hkmgc@A_R+>Q;0u z?~)N8A-C4RQeaTrvYcjZ7%Nl||2Xb$FOXz=o4D{DzM%8!+aQ)`5=Yd%to9n*pXfx8 zYpWYyFvBW)1i%ApQej49EM>Bfem}q@iPg9p!Kj8wHRmm@yij4<$ioYNCX&3n8}FO# zr{!|kZN@8j7N+%P)8F61mtI4E@qS7m*EhUw^W<%i%&M5oe&cj6`^Rw!gJwSfmR9{H zdueUvh_b~{ujYr^Fv98AVsB-r5+Pk$JglOBrNgpT5O`bZ zif%jBI)A+kh!#2d9Ao6-l1z^wb5ZMBXsJT;0Yn-t6{vkMWDHw=z4Rz zwmx-jKQ0cqDg(&x^jV(Dw2Vc`ABSDNG>0R5%ni|&$v98GeCs-Y(Bp;Amlq90jK>k; zhP%CU?Qw)b)Q&KqLufUBe>+rs8J5mS?!`kf5qY&}74DJbIIyF4c_FDAIK1LNiy9T^ zkl1CBxH1mF^3vKmFb-6T%pI2?+{WQ8;u^4A*Bj0py}5( zEq7Fam@+^J(Q&+gYwyIY5(YlW9d>l0rBr-bM^^;>mV=fid+XOVFO3DVQ?W=%eLNP4 z1J zPW5(N-GtW^1P4TXt`LX(XncTF#=sg@N5cf;5GHtS@(ED>0z%)d@79}Pf$o-gOPEPn z3%1(0caYFRa98R~LaR)7GE8vBPq0;$f=vt)XlL(CPaGNAB1eWV97lGdE8pY0su>L< zU5goa5ea^OSM{e<(0ywZx7H}Y-e!GoqwTP94WhZiAqPA-xq6r&8gg8E_BzIh2f1E7 z;xXWABKm|Y8^XW>ybdmuHLT6Sc6D^$%vZP!b$97p2bQAF#Wyuh%$-&y$(ERcl!`Y^1n z{BsV$=$ZT>k-W#bvlCQ$7bB>$2m>lN-fzEx2Cn9zyY6coDtzGM?UI&9HsA+u`@N`-~t5pA=Lg z9~ET&_VNC1yc%~fu!hgSs#iWla?gLLu?WZpWtP!`XE9ZbQ`s`Ez97hLacP7}IYSE(x+zs8Gl7acCIUE>cG4$DBJJLDQQ{dYAMsImj6N9zx@5r@8+C=sg@&Ykhj z=g0t>&R2A7$pRveaM?26WQ!O+kqU%0BziP+zf9DOWi3fWU_@=*{P*rs8vzDzPj#Aq z>e_<0nkn8`9V;Tdc7OiC(bD*yf2DQKYowbEabz~IgY0x!N7}<=PtJC{1O*^MO3EE1 zHPA(@*mSDsU!jNFJ(W!8Lq!#D@h1WmRYeE(RAm`f{z~8&fIB^Futva2)5;wL$Zhd3 zjn+D=(IC!j5UZ?0800kR50!VzR=Z<=FVjh%_(^V0<3ynk6;*h8sH>_f&<}Y!%~i4b zQti@G{j90rS%@!(9XhXbi=F$&VgGo$-VW|I@I}0LHDsJuNQ1z;3*%a|}p16QllEHIH(37Oskaq4i54Zm&Pp-VT(I$YVrFLBudm;Sf(7iqj~o)t!}yZc|n3&1W-)LtWNS zSy+!%ucA6}R+rVZ%WYaZSYKxll0#Wv`0dAX&l22WjFaze?FJa(wJZL@ohx5r>2i(8 z*V^SE@J;V7%W*X>AC}E}vq0v5i%nPSht&?)++)AIcQu-W)d&vu*>wmGiL-jmT7%{E zK+QUBzTjBDh2)@F43Lz&M}-6ya(Q$^4Q5oFxuIs@b@FtXTA5R2YRxKTYU#?vkk)mI|yL#su#0Ks6ncctg7mlYxBN||51tZ4ojWkuY7qJbpoJ@)K=(EqI+!_$yuIU*(m5nN|LkjU9CEtN*T&hgVO1oQx}o zTMmTZ*;7mV-NA$8iik8(TvtgXcF{BH*wk_l$=XEy&MtJ;+#hZkY5I&%@w~x4kfThnD!7>*sM@P-b`c@s zz(~gdYKl!8+zx0bhxsVO)2`)e{?AQ3t+2j6%8YqYl6yBkR`(cyN1oW?mTjUDtbY1| zq>}FEJZ|;5Ces!eZIJ+P>brx2=dSN*2JmA`_f0j*VJ47&HU$>LYP}nrd2S~HZnj9W zN1LqK&%yWMz0Wo9*6nu>3%^~XmE8s@R&LlC5|lt1xWZ4nO@9@3IVL?&;0(Kybh}Hl zq)u0QWjB*Qw(PWGl2tc%DSGNg3E`U`)c$Ju)KW3$~D{!D|;;3HukP< zw;B7@&BI-fY3gft;v%&Tet{8*|JO)4`=dSXs#V&5^@aOkiQAc%?wkOw<;4Y_3b$#f z)^-NtmMw_)i}0PAyWN)cX0dg$<7zuD1~0eD9$KweO*GNJ_qx9t{AM0Jx?8(e=O%0) z$fR})5I4Gd5D(j<+kyMTc{3n}q>5F28;Yci2Fn1b&^bE;DSE#gT$9@b-t2})_jx<) zzPf0CBvXgj8~*%KOY>QF42$i(gPvQbg9iQ9S=sw;gi3?2_W@^&M-Nrlfx8UO!thi@ zTGZ$rq%kQ8`E8uW`)d4VM4pkx$YZ7|@a&NU{Ju^Ox%_|bAuDjoJB8)7PR_r@)osG5 zJwS=gY5Kcyhil`LYddhn2-q6YU!Z?qRi_kxe-?Ob(E~Ni*2-e(9Hnt5=%5qD`3!6j zO$f3QmW(bvRXDl<{(zG%KSaU_$CDd)THC$>K3c~|>F~>9Zx*wn>?abWx*yZwmP;n}brs2pRs0|E zETA|2dh1`1!H8J5o1F3?$??)tmA%(>li1N}T9MZt(h!#tf35~I$*oICtYO>NoX`E~8J{&OWQ{F}QuG+D?sriR~o< z(Do-(5&luNh!k}tnjBKaM=E>F<)1U2pQ_fgyx#X4kLP(7W#?q~e|uH?Ei4R+O0NJK zt*Sc|2DmWKN{5_x^*tS!;|_0 zEOGY6(aYuoFcAA@f5``SjjJojjU5kh<^%Kd=@<6f_X+^=j}pn1)@u zdl-l1Ypks)S1o|1I5=>B)!QRFMxF9B2%FX$AfNt}^~$I5T{sqP_16XlIj#`h7dYyA zu-cU!8o0&O6>Wpr-oYU54*eg){{!L+#0|6ZANf%cGcyV=Ol59obZ9alF)=kcFqg5I z0Tl!?H#0etA)_dNxCKz0+Y&8|TW|}`0Ksi=ch}$+Y=8j<5AGyraF^f~+&w^Wcemh9 z65RcfbIv{I-24Ak@6}Yze5-qP@9w=<@2_g8DOA*%#mwwYz|!`1&dh8qKz@LPl7zYh z8xQ~la?qXK8W3k2@ZSy;YAvv%6U5$*|6dddM=;2L`Nbv)a(-bd+1ml+U2Fhs z8~`?Mel{L{AP~R~1oHidXz$1mkOa9x%m7L(0C{^muoDWkguR1@BgDee`DLO1JOb!U z=>cqfd^}8lgagEE!Hy79kR3n?LYSTj;0AHF1gL?Xz>cn9Gr;er0m>j-@PB$^L7@g{SVEls^r+jLJG+4# z!GITo4a5{|=kyZeVrK?+1iUN{P?u8#ymbKE{Yh5*lfVS{Yj*%_ENp+L`z!i)B8c4| z!5~vpds_#Pod?9u0$>iY0R!GjE3!DdJ2L@5c4ohSi69#%`-`7AJ_!?ds|zuowF0l@A@Pmj$qT5jrU;v z&-q&0*}K_!{SD0_c4p?k8!>ZnVAZsPymtZ1N&ZE8F`@ipvj95-xPZJooIrK}_&osZ zZfePY`g;it4+rocPPX6Xmo9v~9PAwc<}ZzaeIVxGmmd@_Cy*-`;OyuE_VN0+MPz37b~YaW(Em7P zRyk>LNl6LD|MdK~S6tlQ9pJ^r31DXD0s`27fIK_^o|gxo|IVWVg8Ws-ze45g%PufWZIpy$qSD z^~*Kl^dihZT_C5IiF5wr6n|sz%S`=u2~u{Z_GZ6_kDZGf0CIE$d7!+U{0riG5yH!q znt|Q_kT!so#m?UOB?R!&t`ET6-Vx=0_bGF80a(R;oBlvNKme=sKZpmws`NMFeetRM zgE#@K8h<0c7bfT*#0y|G`3Lau*#WHP|AHIrIsyu^aQwm>~Rd z%8d>?^H{zil5?-rl+i|`$~lZCs2uGiaWeiw$6hEE(s0ZUWDzrqUUg~=Z`zvfg?Kj_+#+cn z`Jh(iwvMWzbVYm;KCNGyYR+Fx1~hiKE(mC|Hf^H=wj%UHla*5`6$IOVZc*agDlyml zhX$6hdPqCNKgzrM@0`2|cE*wt7$A}4M6A?W&P9L7Ds=ssitS}0gCqLWtha;-XU7{% z2Vl@z(;B$v*Y6Rb50d(Pn12CYOBt$ziv>-wKm~i^mBN{*HpQ(nP$ywa!OEWu?O6s% z>wVbU^GIcC!nw>^EDJY(bK@=AapRYfTSv`#9q7rg!$}7{gx|Ob7jD-ecAQJ73@acD zv=pnc|9Fs#UIAeN5z}9H^Zrl*4Un$wagy|iGJjbsI6pt|rSHT?@&vg)CQQ`k7ZH88 zl5X2*lyB8M^x{=%ubkj(cTbsbQwZ>_DZ zp2?<+VkWwUo`_IV-Pu zQ!_mYmmNHm5`JbRT)4PYC3yy74hLIC>*^0|oBQ4-5^QN-?x;2!ZYU0JsOl(Lb98*C@Zj<8z{Zh~-%g;MbZ>&9MK?bMR;-d={w@SgfU zrOBK&wRAOqa|&DSvVCnR=iF3hHPv;FNLyyhN;k{BHemuHTU~N?6wVwkB~I=x1g}bX z3^IpMFX-fHE7!0ix~YCwd-9NYD-~#>&F)CFsl0bSpZYy$dDKEwl zrs#Nhe#-oS6rkjBXDq}MlTxG3z`VpkQl)QC zLs6qpUI@CvgGBaSU3;^VmDQ+;V%YUZ$9v>|fHjd2@+3@6>X2SS>b!g7*l>X@pmYzw zHsdkwb|sZ#aVWNU8ZBJL;HucjF|xsE>yRwwui7w>emXti53lxd?O;?zJkDU3$DR#Q?@S7gc$FfASUK4aT0wPMQM0qyM1PkmI z<&%MF&x&?tP2q0{AXnvWxfBCG3h;+cWVjuDOti+DXznyOb9)^r4Jzg$vElQT7Kg5k zLx_#K69tiAroQNG93Jv~CPU~@D{c3GVU?fY%yC!?8Bj`+Hg%1V7u)E~Y z4CtFJOo-f@liI6bF`L1%Aa%%n2uRLw5(jUq#Y8Q|aqHTg8kL396vdfaA7boS2N_p{ zRtBY|){c%(47P|Edr!yDuzuuUFY&gwd@7qqNU5`vaEJ9Z7j&)LK@2{L-kQ&Uk>|EY z9Um~VRoAr}cjB(=Q5_QCvnITPK4@JZr?|?G=g9J(9$qpqI()@EjI=-4c#}Ghqo#~e z`r*{!S4c4fx9fMH&f=+)E8O_VbeCR>ohwC_%$JbZ;V&o;3SuR18Ox3HNtyW`29B{` zVL%$`tkmGk7?{Q{V_yrA*FigfixQ1yBED&@K+ks~vn+zRzM6fLEary-I6cw!R&HSJ zfphIe@_BA~O}_at+q`p2+yGBgh5kUd-wE8z<%e+b9 z3LKhW^a$kCXtL}R7kA1A`wlX5&F58(wmxLXR9)8-eHRN}pPX~v#G=-Jqd$8t% zEFFKoHKpupl{~i+E^SvGRKi*cxp{6P?)lfHZmefhHux4+uK}PK#`HiS_Izx`L||&CCygivq^I;W(x1xh0M|NztHNs6s~GdUNISSDKQC}72E*T&?-PbU)E2Y9j|y_RA8_mIxv6X=t#yGX?okbD4Nu&oGxvLRz>h8^uZe z>K;|gWMe(^&5GM?Yf=H?#9V;d>sgdbiMoa)$Jd&crJ8~l1RGuNUe^~uGW+-BfTF9I z*|uQ}yk!CH!$#&0tf!G2O1L|dC=BF^6{V)!DLvmReC%d_Yu>1nCi+K6#cG~hDU6^R zE!pEv22)OL5p2SBp%~4=L1Du|J(E#PM5j&Yh+QHioA#F^2VbUVtb~5V=X+1iJL+#8 z9FKV+b#)gZKE{MDzi(=zikeflq8V6{Xxi)~@ujp}sui9eh8`j&`|4B;vCSd$jZqef z1T%rm=l9TmTlIM2_lNM~An{+Ul;7#2Wl%Rwu-773aGqZYH<8i$^D#fhY>b6JF7eEd zW#(@r_=Or}0flHqPr-(}W2<)aW|@Jj3ZKHZ!q2Oflv4!vpNLtELfTcpmFmsW?XyZ8 zmtRl%8tkk1*7TOx*d^XF5(<3V+v_NeJrG-3Fi-q{Y$S?r66m8bV1k4@M_c$f{t%)Z zBK(U<^C*y4_7eO$Xi}RCnnI;tElBhKO`Rg7AV~8t`{);f+-E3 z7*4Pvffwk)ct8?@)0K>Q$`r7eGp{W!nh?RH?qG13R|pUF z$u9V{MQA%slU}K0G2rG$boDC_Vqa3o=v(rCo+25ZL^!e`jt)>-yPhFwQfDU zX)RNH*Qs#D+G3iWUCG!%hLtkuhT`X$F*`mzAK4322um@7Pd0-SQc?`R03p9K$iy6f zqr`zSjJTqpUra$?s48PGmvXX?50R-m#2a)Ud;961xBrN+3lv7w&z6O^Vxmh>R)3i zZ)be*L!-b16UF65$h^x8}P{0-*J7=XgN978)QwG!j33vYp>D*8(iNrNKs~g{WxV4(k1KMSje*5Rx9KD4MUzWsD}HE#AT;4=!@uk z${lIt&K9|wc=k}CUu``MwUhT9zPXoP9o?` z+5P+$&4eO4sFAs)6sP9)EeVSR-Kh;e3v4;xRMliH+(9XKoAzCHo8@zVZqCNGq1+8) zfNZse`Z$vRtWWRJYS6-fdpWvpeE1d|JRW2D&v&j;JsuNdi<0!zHs4Tje_e0K=97mR zO31A+?v_D4H=X*LePi{SYFk~^L<=?04*toeIqv;iWgS$hWdbbZc211eR^8VC|>Tp*O?3xhefL1K<&3=Mt**0-*NDY z>lZl#Wn7NayzAF8+e2jt7s-1RTl={0tK%6~u1R%~xBjcol->w`J&K126alZYVY8F= z)_Jf?_1Iy0V0J?ry45t|q7SqVH7TQ`1*oq@-iN;?zMS4cIe^DAOW3K~SQoiA-D})_ zFNYhoE3P~&^}!|)N+Loqi5uFk(GECx7mPLdN<%&xtFyPKNSev#L)ngo*!zi|#o zvsw7c)mqhU7_Lx%8E#Vpah!$gn9rUC-Qo?ICVW-oT&IbS*Y)}}Il`>>&59+XD)(tf zHMioA)D2VWrK6fpmKokL2ZnT0>t^z~to*RwNkwlVW6ih9Gw--%SOq%RVYlXI*@v}c zIe%I#gsqr%3DdbOs=WbcVaJD*Z1bnKeYn3Y=LjH;`Pe{zhq`=$xUc0U z2+psn;#ly8u_pm6HRE8lxC0JZqC~FDZcI7!3wVF=y{8=mDHg?&LeOC@O6djwW9eaa z`&g)2=)*~WT;IYhh_MI9vCY8C1>p+~AI`h^i{kcS!B-dl-0v1=d3gY3;Yt|rL5K-g z>_Qm&r<yzEixviZ{DAGtAu{u-FF>oH{MlH>@PMJ!0?Iw~>b!0(P1We3 zA=BM&Wb4rsV^YfszJ0|1L93x-`cV(pH63{muq>$E4O7_rTnoYptv@>0VDjw2;-vzm zHoz<0zMWJT3E06eJgYUa=xtrF=#C6+-|v2Z2ogycf>w>GL}5#yEx3rwU6e$`f1RHJ zCqHdnqFa$H?4Em%$c5sS3k9M|!J86ik9wU*Ccd${n%1HSO#Z40phl=5|25VbM95^k zDpdFV{Uk=-V+P?szhFBZ=4~Gvsqi&_vCUd`rha5tE9i-ivd)6=zgI!6_^Q4!+t!mx)2v755C=qR%=(V%L+mdNCOuh8 zy~K%3rKopr-F2h9#LaIG8VS zil0^m1n$n*Y)U+x1g~|Oi_L$3JVvog#m+|#5I+Eg|)_bAtVx|~D*u-yag8-A=+93&H4@}kZ*gsyMXp}&5F z6uV(e_`c#NElBEXn2$H3I`_4K^^RCv#b3Yfok_X&>78_Q`)X7UNo24Lyy?qL zFr_~&)@SJN{4DeN=>d3uDry8n9zE%+A5+`KHZEWdoD(poGh@h3L{4+eD05wD#;_9$ zG)?M`I5$I6XD_JxV%MI~*2J7z6b;lAeIu?2VMadD9{!wFNVJ?ZSDm<4m~WcXjMd3z zgp0Ts=H6gi312o+&=gHqX`L5F6FckpL-vCMGi7~j$ygL_Cn1b~3A^nAk#tJ@y0b5* z1BX_oD+F*yhi87R|AwE&yI&XS9%;nWzT3XdT8WPjP}jHtNZ&4|#<+_6DHV1!C6@;ZZ-{@* zj(*Yipr@G?sKFBiDDiX0}}7cue00@!esO_(ohVd{wgx7Ml`&b{{s3?Q7u= zL9^8sO}nO?NP(e?nLT#>x-iIAMQ`ETNTq zP%_owJ0Y}sl2&$0aKf`PnV5?LnEGB~_q5TX8_-8Bu?ePsd2)qD^StK8=1i2Lnupu| z;qTdE=-L!~btF|c`zbvcILAbYWTmJQs!&u|Hjy`gs)Ea`R5xR6huR5lW$Ek=lT1cqB(JAgAuiIWG`s_}DAm zmVI&0e|!FmEFt*9USs14&i<%Oub8zc4R~rs&$JA=*kHqTkeR93egu2+hOh5sseEK| zxigz=3Cxf^WhhXxeGDnr(Y(b{q#unsLN9iv+%gK(Zg5*!C}QEcME6E~J`59wcp5!_ zN#{Qh@WbSIp5ZO>JrE?&$9rguE=+|1*Ce^hwDu02X) z=pZh)i!&_yR4r(6H&+02Wa?=wV^q3-sTbB44s#;>HI=F&IUZ^YMPedQR}@oar>n@C3fq-~oVqo>qaWl@CIjB9x*?7{wQYkqw^3mo^>Jn? zG^}DiM@dUfPQW%@qMSB_8r-BZr$mESbpgr6JGdpuqUuXu<9&^2LzogY4NmWWyoV!| zkv+>~oP8SxizXJC*r_2%nEd-AD`o}9CD$H}7P98z)4hp~UO28*$RHu)=C^){G~1+d z%BU9tn_tj)NrS)DzuAzy%k7^cXj+WV{=%2L=K<9abfdNemqBZ;IsTJmM(BNdo4Kd= z)L!eSNx9qEjO~_y{dEa(Z@S!nV5$k~q*Z+Q?Tz)HbB)e^q#a?X3=)#((HsSPXn|&wljhKr>~;Bst6z zWi}l|_k53n$tp>21&vnC`wSUIZKn1@kM%#l@-0rT6fi#8Rf7}70?{geEhu~q3L|^c z0x~i(;QH2lD2VDQm60dG=n~h&!rr0lhMa2rCfSO!22eDM$I>o85?aP;h0JBIkZu+i?O8YOq8T)avT+dR2-NL<=KfY z-4SD9KzPmDM54tQg#8&;+X$t)-PDY4r3cZokYmjI6{y?QpekAU`kKKihuY8-;^i{O zU!wbK@RjQq-0je^{c|MtUv-Z^4Da{Kq(i6&xwx9P$B5N9k0@DxRLK``B}t6Xd{O;D z56&!%hXdgokcj%_?E%9bJ2EA2ZDEKoz-Xx1(*`Pzh zT~_q|cdMr2U1XML+ZHT%HCEMz#AMSs(NS-v_xMg^2(>)wZsA`WMEVP_u_OXN2>?`U%r^_Liw{Gi!Ywi<#x~$Hvx5tEn4c=U! zU1-9IF_kiHOK+8rK-ze~ zmkZS6z9V~Q$*oC)1$z;$NOO*&(Sctn@o^|qyY;kx;FRbioq(tC_~_dY0_i2EZF444 zp)#v_Sc9U9WAh<~!U2uqn^dS+1wxOjMp1Vp(_YIGBZ&Okw=zS%Rr(di@eUNtmCb4x z*YP_P8q}2x>TxvM^io3pG62w)e&8wMz;N$&ST^@)mHQD-Hx3TAJKb=i` z%xD^ao<_K}_d}%q%YZ;rlIHc*K^j91b(&)Nkn?^FT7Rg6&Fg6SGw=j*bKG+4lN}-c$(m^_M7O1gOOPD?yIY(` zRjtVxSj+*4(NdRB*61=k>htT@_AIXg<9Q^!NZoK}qyB z&7ruHo|DEIbdo}ntdQMCOWbgG*q{`}!?;f{58bj>dYo^?&`)xd<<{A$l=rcw)Xv3L zaQ*R_=sF(@@%4it?uV6NjL)K6vy(jN?}+mTWsG(ncI_l_1%u^$yRec{H&A-Uz2;PZ zQ{R$m6%B0ru0yd=D_3iaZ;d=X)&FSsriEi5puJAg8Qu;9d4qH#*NW>WaDh+{VP!2xX1(TN>UPoxISzW z9#TIHh3xVAtVF-o18*<(V`L5rAZwU^O5hoIe2w`rP$?uNKMc{gk&j+%ieRtm!t+oj zIdzttYe;MXNiP7$xd2PqT+iC~NbZfs^$t=JkCFJM{C>a&uw8Gd$`q7xXjM`mo5n?O zb*hAja%EN8ZdOC4N&PtS5T4a*hAEG&zPJM-O_+0X`=z?0=dGIxqG|k6)db{v2-jVz%-AVg*u>tH&Wk`*zhU(b&rXF3kP8b zRJ=aZt=L4b-nVP0l+OmABYn8b&co#P!|UB5RU_WNr8c$H#=^Q^dSW1EgqUy-7CM$o zaIz@IRTYEV@`%ZtgQA3L`+50)&=bPpzrB-rCRCj6RyC=c0^Zaji9LH$eTL@VTa7iQ z@=Q`4bZ=`C?u-+^=Vkmww5eL^LaSTrC`114++UEeHgQrsz8f=jg;bS^3oAQ0fp4iy zp`X-W%7INH6q_D(fb{tT%8^HHjWv#ZIl(@h?m7yqPrD9w@&p**WFyr+HM9`1F2S3XsNuuS+RNnR@1b$Dxgx*$Em76m^Tgl4~0_6cbgN*+C> z!K+ne%my(AqTlNlP+q}Q(Lr8nG1YO==9ru>t4b_M`c=_{08}2*2eJ*rKU|XM4sDh- z-cF-xW_;$6T8h~%*3e1670@0Kl1uaDBHnk(w^O(;UoxGyh$&frn^HhqDTfjXwDA#E z7zw5tMmEy*I%Du+=1VkOzYX+WK`M}0Dij*cSHJCD$nzsUHQq_Jzo7t6WUGao~S{+vlEv!2W)F9 zp$~w1)YD5j>*!#xL;|1GVq*+oG+^{Z3_X8Gm*^mWabGiGfv=VIEq`amMojs5AlKzn zQfIy6zl1tNu)CL<$~?c}v2r+4-_o66{L70ZK)bznG9IAnn-eJFRgUILl}M^#q$S8G zj6Ts8Esqwsdi?)Q3$*;gNHUs+t4#%6H^Yn z9~)1DgPZxN<)Ne~IsJ~v8<>KrC2nGc`+1oa&zMfw6IwbUwkr?lYkABhqNyi9Pe3au z2Hk0WBiUf`nTdhq(%|OMcY8$3dG*~Xrd8R0P(tOh@ke8#>EK4^x}Q;&e5{K;%W0&X zNS?sftCLRUa;WaL=umtw20}#o##si-ip+SIZX<*+g09BZNY4BxC&q4KuWMP)(SlZy zRSj=)Ffuo43Y@5}OuO>cLyS67%P|puEYy9n@kkz!{X62r^y14~Ox>_fN}fCxO4tK` zMS%d2Or79Ij7oXiq9*y>mNt}>b0pSqK~_vo`6J_zs5CX#TzP!0A zw{|+a3&(YP0(}e=L-=|Lp>m-jjYJL6<;rZ<)(U=x7<@M2x~egN!_^r6tDEk}8X!aB zaK}p1cY}dXE~!DgX!c8Q?v+JZd;>*)4#cFsM|sM62O2O#o0vV??LE%ksz;|8@%iCW zM=aX#-0jN9QqlkFCN5@^J9jg1i$Cq2uip#Uk1~&X(0U?FH_0@FYHtCu=4}+9$vd!wP2)r#CZB+hUbTWCf;S%h2P5GmifYh=dPCD z+-WNKnY*uVlvD|C4)viF?(OG~Tr_bQZI<8omKQ>|N}`rh>Q0{5IOqlYVIP%SQ}9H0 zQ(5JHxFwX<8(O!XtHt0*SBeUMl(|S-U)IjG``wxutmyzr^e3*D|n^^ z(;>6W{%qThbaJyl_N#j{wLWpFIg~eJ%T%kjZ0f6b_$3o_KrR-@$?`}<_?Vcpr$tE@ zxj~VNx`CZqpT+>=UhK$Ltc@a7F#D%SBBvl+U9)lr*yZvIkKt4HDr*D=tDr#=b zVV|Z}7x<}gSQWvdJU=~u^ewAL?=iSLI}WDgW2xY_npT(ZFwlK-cM~(q_JdoP$m&hF zs@nZwp(%`xkVWI~A}gobz?F74sua6&1)dl&R-S0v`Vg< zSIdouBRAaqbS5k7-%L=yk^82R-fbjPeIRgHj<}cEuvm-f$5y$P2qdOq?znv#^N2*G zh0zgvpEXdN%;)HafE-kgl84c zjkaKwW8pn4qX<+5S@FD?E%WQ=bNjay2hY7vU6xJP!!+hCXx^4UfM+!+m==$WZ&ad) zHx3p+%?((Stc4a|y^#vCHI|kEP=8F^i>e{Xm6I0;_N;K+xg=Nt3n*8DE_bpr{pYA| z9IIJ>I{CKb;r4#Xe`YnzO4>u*#urUtP=I{eEXh0|Nw1Jc-w<+-aTKB-)q`E)-0%7RtYziN zXWbT;T0QmF2sgV;@ILYYMkY(JX)=?Icm*>NjsV%MCp=33ep=X_V}{gmTtU)Oi< z7p`iPHL!B~W3R2IKSd93iQ4Dv2`?l|7vQBG8y!lUK6*@+9I%R-ZAiCVKhbiU()7bo zqrUxyg1tNIf6arxZD|sdmd%0@-FF6oK{xU)77|WptbB|Lexm%?j**SpFV)$0B@T#d zHZqt#9mfo>ZCjPNtLbqIr}-y4dj!scS08xFID2x|%;lf9bI)G!|r@ zJlo;8aAsQ^&VE@GMWhR=QwyZWBk`lVq?r&e+o)pfk$(IF-UkM1uda4Iow7sZ9jK}- zeU##bpfA*tVKui|!VHK}P+Tffo%@32KbWdGIob#8%#$qVZp3Swp@_H8k@=dmtXTK8 zf7t%ae=Zr)1ppJBC$4_|$Ow?WW8cQtYjkttN{Fd&3#*T{O3;@^Sg`EY?1YsBTSEE! zSXH8K!4J|*bN3OV&*W!@1ZYbEg}r5cBj|32;?PMlX`gPXf^JZ6K`mr*(S3~@JHlq0 z>a-Q3OUGT`d>RGWsk=vL&;s2~Vy-ZLLVXDRe{`_~7k?4Ag77J~cIErFSjAPs+~RIe z45}VN$Yuq0P$2UA$`h`-;Pms_`&m1MD5jf(<$d%^`8SInC~bIJ>S{@sa1#w3D6>Or z@oSKrC`$zhRTNC$pk~Z}XqmNO!{zga8UNtWQp-qBmua3FSoD*h`AYxLFY~N$Z#4$fTq;RlECO| zg)Za#KgR#=n3Ewp6NBQShvK3Ex8kA#n}`E9GccEcD+3?{H#0Doqbmc$0Wp&xqbPsH zTUm1(Hxhp5ufXGOrL4hyRJl@RU6y0Xha?}d%MX-1mbj5bg`{FND=r3&`(My2LTk524@fs7o&fGzLHT% z5djPM&x;7e%D`4YtDFab;WJ2h0(4XaSrz`Dk`fy6Q^pPy0;qwzAz;A}z)@)jTolp- z2@)g5fDjl%fsnWYCKcF3!-&y7Y9P`??m@o8ehKsJ6yev-*E(HWeNma8`qN;lQBU z1qsB{r=r>g7YIzX3oaOQ*CMKUl(5Quw86aZ5g_i9&bjYU>p2Y|=;nVk1`U+i1Gu~^ z=uo|xj8Bj1nfMHXZ|{ogxc)H{U$T0)1E+NtIW7P1(3M)ZkSP!=fGm)1VN~F_3@=Tt zocj*_@n^6LJ?z{+i`_C0TWH!w38IsZt3hpnw*d8lfEm>TEd8T^LHITL7Qmdx2$lO3 z$X1``C7##ddlz6$BSe37efI5oa&{s%T^)_2Ki)FUab%v3dg|rQ3kiqRdA6 zsh0VaZAfVYk{~0~bO|9~YYZ4R+JLKISEvL?>nJUP>m=xF zZGv&89F`jJjJkR<80pk% zp|U~-`NL|9x>$b;E38FHEc8)t+%3YV(ZC&1LA~J9OM~2v1WA+ixU)x{kPh|(c|Gup zE7}-ow`9nQpqD2Hqn0UokOI^ zJZWw2M?7t8oD3-MNUf4|w96syVhhj`l2RcaVQXcZ6(bq&V!T|-<7_%M6AM_vlQ}z7 zkxiC;D4@4lk}|i-17NuYNc1hOiv~{?wzwM39M3?ckpcAu5FtxIfsWWqJY3GxL5}1t z8V|2Cco2V_VPC?-=mQ1_2pW78Ja0vQ7u5z<^mvSnMA3|)S%ubG)78C(Mw z3_Re}W{QZ`$I?4^q|grMcn7C&x2SOc;4uWu`?NpNSV?DqTIN{J8i(|AZmT4{Pn&rb zE$>y*@JO&|9=Ktk$Fk0lz&}L+}#Z$(6F;=d@QMMdgD0@zU3-QxxVX^EzX1>~c zl*y8hVjiauY%u|1z}LAo;I|;Tv*gc-qQ~uRB(0sq{GUe@B}ljs@-rQdME6QeMs!gm z?$lK>O@f2!TK$I3Qc~bH@6hmwmf~>3>1WzfE^bK+kZ0cFGiw|Y#bVZ#5?1h31DQal z4OM1JjJ_cUk{B#S2|Lf1OoD8AIc-2LhwlV3d#0flZsoFBms>Ie9e=Hx)6P>ngk_2u z)H=vN-QIm#C4t=KfA?Q@52n=IK04p887YXHXHVyg+gnLBziPoVMp1;?NO^!;yc{?> zz1%Vdsj4Zya9aq;yP>Z+D%}82&DFF*dy)$UMgEyAd7Pzmh^=Qn9xNECP}5RUH7Ik= z24xb55)zauOfN}1U}k`op(7DEaqw2;aGt^=RC=MM>Md;n8P9p6&b>yo0Bvl0kQOysvT;+n~a= z5MI!rcFLtMaU`Fy9(}_`l+276#nxh3eo8)6jqmoIl&|+cEfERkg zp%RHqPkeYR&aa5D)?lz;z%zfxaONyFf8>+eDBA565D>F$jiO&zk49TI)eVnq3fHD) z3X>GwPKh5Iq?ly|xPQ-W;}duY@QTWtDysYly`O2B54VvIWzq5tA&+F6(A6p;=8+Cz zu!@d_rWX%tL1`Hl&NCK61|59PILhRFVDtLC$0DHS9hfecXp-uUV#xbO_)?v|YFzk2 zq@h?0QJ>!g(8a(RN_UpC0T;;R!bIZ@UsJe<=Db09hR2Bm_kTUFVxFnt#%*MpW(421 zK!(HbRxrl?Ov`-AHfkzJrJ~qI0MkfFj!uNmB_SG%;MSVnuo$|oQ9LI~Ls8jTLSEyw z(0fCXpRf6jF73pbIOKlBYow#-$h+iysZ}zm)_|v!Qi9R%x1i#%%U9r{Zz$=PG`uR0 zd-U84Pox_z(SMZmOk*J>LNZW^TC>=NXIUZcQ;Uh8uJYU_y1sLpU64+N3$FJsdVaY^ zF)z`5&tPQZ8@8j8jgE&>M44~inX4q1i+L}k=3YrfubPZUnRm<=yRr_Zj= zE@}bnk7o7ddtd}JAM+weM!@5IIKl4){#8AzwyN!Fr`oNaS1+pl>UH&|I;@VW<7!yd z)wdD+{}+6YZzk1wHL5PFt7=@0uj=Z$o{Yv{tA9x~t7hkux~^v5$Ny$Mc1N(g)5Z5E zcf#^wcXNAt3t-tg+FF8(vKbZ`LK_yRIfoPzZA{gJt)lKzR^`rW`1&3V+j=lZO5AQw#96L+BL?ayd`vGMg zet%1%8$7Hm;gE%oK)t*K4;z-^aWWa6)))1+*~#dPA0|kKPuKWe*?fu~=2I=*{W`jD z?Y}#Gz74t`yjZ5Y(Q{X@@s1N>R-KS1=s0)!!&W{Xd*l=Evsav+kE+x0<>iq4V^sZ7 zUDVU*+!wCTN2;1$45#Ph4Bycms{gh?iGS;Wa`^turxzay6n85oCS*vAO^*agl1m{O zm6~|DjwU-hpWYtsktX4G>#BM9!|&uCMU$wOYXXJ?3$^rFD{{Sjcl7DSKIxN|oYb@k zT<)>F)h<=&&D=lHH(P406@gyvJb%8m32GfKJA_uw)sjEuaf=Y-(~6M1xyVy{kbkFM zQl`Qz^^uztoZ&wNL7HE!E0(WsUEkNo) zvsNhFe*fX%7!TZGT#_C9;=IYnfndhp3mOClVR;8GiIq~jN&>z6P7&4$o!h^?__&Wn z(&3UwV-}Id_{Y(Fd7ODk1>)ieU4rdrE!EbFqDT8Xd!OEdYDd2>EqFjVs(0{rgdw;_ zIneZBVbsbMNq-wm`l^>uIRhRN{j0M{J)G4Ojzd@>aPM+-1xJ^FIRhDgI{Izr^*%wl zEWtWJ5`Su`9loW}kAdX!=y5$6UDhpi){2DS^RM3?kvc2#E8NuZnnN!XA445;cQssC zyQSS)!R+^~k9$Yx_s7eNUAKtz_L0g5A6NMOK9#x4@+#-ii+f&&T1m1@k0oMptswa9 z~tKKqyD*!uyM95&#h55WyPGm6fW_Z(5dadwye6aWa&HG;tj-DMX zag!*XSdYJOHuUA8DV5fx($2}dZ^tVF;}qi8q;;O-lJEq~Zcb+Oh=agob2zQ(SCPHf zAT7=Dr|R?*&E3&tI>W6YR1K>A;ru~CLjExNIy;}@uiJ_Ac>L~v3S8|gh~w86r}z4y zBaiFKV_hkaRttG->d6zbdp)X1WHvc&ae>E6dXvZSso=q?2`x)CSz z#7XOm)42(^rSYogII?9ae42|RyW%9dzBrxhY)2e(hd3%W;+UQ|YJG7!x6zI`JvVl# zbezU>OwUwFKR}p&_8qb#OwWl`+i`3IP3%cy9^l8VD^*9Bo);_AvQy#3t|!a`;$Qm` z(-tQ5oY?v$(Z=4=2O)o2?2SnmdDcljJ@4~W`G^J_8>0|R3fJoe}UEA_RwK|8FIn#E< z!M|f$Tb@prtvdrDGhe+-@y}jv@csXwdO7+!6`%Q!LNx!0iRQnlF@$XAk7l-pPz8?9 z2F$1U+n4_V+i}ncmOKM-Q8GA0L_{<)G%_$VMMF47F+w;qI5tB>H#IRdLNhotMLr-r zGB`v;L^LuqGB7hmLpVk;LO3%xHbX==H8C_oGdMIwK3xhgOl59obZ8(mFfy0X`2s0_ z9nC#2!%-B+@$u7(!?qj zl19>yNS)tVKKb5rbMFxm={S*aAMufX0wNFz2`f)F$P!s21yUmGq)b-GGO57JAKKd; z;t>b&KiaHFwn#VWf~10WQ6;^k2U7fhu-PivCY!`h0%U*$Nr()RArdAL5+%bVM&e|I zBuJ8sLdsQJGzK|-vl@roB&;SNjSH(uNbAZf1q9nxX(0b#H3jTetfqnMhE)c5j$6$D zUrno7xM;^}4z66Z%EIlRS0<=1+Lvxep||4LEuR)N%3k* zPhIitDS>k(bgzWpl~__qd@AElO8QdCyeQd-{ak~WJJ4gbF8^lIG4YoiJ_8;LGBPd^0Wv6){0k-xaaJTXBxTF_^;?BIx|1&qcLBYVrwku| zrH{0wU@D8(TrAvQ&0aO*@0+oLCVvv2h>}sFD%xaknFvgDj9zk!{U)JL*RxkY*$z|R zhJW+>tJSO=w4cJC@o0HHe(W2{TSA1jOGq60v)_gQKc!cBW23Eq^&V=1->Wco;bRzR)wKXu-o+7DrX`$Foufjj z)+o`Xc~Y|NsL=^dvB6JR{2XUA>S!i!%ApbMiH*VHs44G}!$#CJ0f-+eCom&Vn$m2j zn_R&;NYb(uT)qfMOtV%CeF8{9ssPf5F_6YmC6F3#?Fl4t)l$|;HshitQ~@r3S9zms zso^|bC(^M6CXKV!2m^jBiP5$rOl1mULr{Rv#m1;0-c00U3qCl}8ecp$C3_*DE9uMn zJ%O0}GF+aEGyiy#)SQDh4nYAHhJZWPNl+vxxhtTGwf{;bq#|hd-QX{l^ zYnx>53A{B`z%^;&{M`ZGA>tuf-6 z^F}c+f({JtTBKy zAxT=pwMn#=iVhMwqH^v_g=r<>TxU`m=0np&qEn0Kq^Y4vGC@x>d6V}KFasJ(jgu-6 zH-FRjHN^|9QJGXQJJXeS%>gSZJA^DN@d8|B&!2-T#(*}xFi#hN0AvTpQ5B?)r&nXC zame!KotLKVX6)=)_G_gi#ZUbJ9mVX*U z(%U=9!+_av;zDW6#BjQa)QV-v7)}^x9q`0F8^c&g3_*aUbSyNAA|DG1WSNj5+B!px zvduy%73iZg>u6eL=dR<H=)WvS;~GX9l8)m^T97KTwElWO zY^M`jN=|%@HMx?Y!JoDLH*9;PXMg;rN0aS(SQ7ytS^l74(L<^PX%gsm7QS2FJU|Kw zOIyxq>ywVWUodY%(~xw0vj$N{=fmP=aCbgivG?2I{;t0ocKC_S_qSeTvFvX)>;A5m z(g0fr=UV18BMTs3AyHy;?Q}-vzdrPf?eebQH^t5naw5p-5wQSADc#e4WWx|h{ngZmSm2y$(8 z;|pe3Wsd-OU`;B_h>WF7_R;SLm?W`Y?w4Rx!=#$?mR4S&>>mzlATohJWJylt8X;c-`jF+aQ@$F`50w>0b4Z%M}co{Qy{6_uK5H zwV5Nz7DK(7A8Nx0t6S(GvD`TknQJj^M``Le0y^vURAs{nbHRdw#mqwe^eDa<^Mv-US(4N|l~LzDtaltPE8mq)Us3Re!W}Sk?*xZ!2BV zZO6KN$}38^byG)%7+e+4aYJ3tb`Mt<%*=1Yu=M+ia_}$N!(Mx_O^n)sM?+>H^BKyF zW%;JEXxY@E6bfOwg(}RQ4z0qB4XaC?R6&rFO5X{f0phfFLT{=Vg$~%#RoLS`Ifm^; zBMG1X*M$*t50j7E<$r#t7>ebN$kG*FZ?+?^b#>S8cCO8OS-4Ktf)$Lb z6h*=+#e2I-cjHxGcnE^brNzo?#WnE`T@$N~4r>{qW7h;v2r*v|%bQySnyZO!wznJW zQ#bbG;()6%fc#FM<*7`|Sd{#6*w;&QII_pw5N(-^^W@97u73kPUif@<(Lls_TteJ% zw|A~RjxdPY5e9S!t>*7iJChJJ{o1DG zjtUS{1_&WKj(>OUotRa^z$dxGj!v|ciZAQvilE(>hhFpo5zh%0_uThqY9i9AV7Sz-4FbH<$$egn$cf)MdpG<#RYpWe!1_L>)tU9_VII ztv2o*B(xCRl{%BqD$|_|6P)oAY*nRT6T<}B**nt{M~1e@k>Lx+k)7z;_xP@AM#D(g zV#ZxWf`8vt{V5f6YK`L78U@(fZtiWg9k#APG*>v}fCnd64--T~j!Vy8#~AS-*Q-Z7 z23$=`bXIOLv0 z=AOiSJM=C;=%cGR=%FCpk|$|}syV3LX62RRNZdP$Xx)<+7*_XtD<6Udl8|2?hV_+y z&LJ2*lRqSq_c(WUf=cgV1XUJcK;@SAyRV>ut9j_I`x=J|ANY8?OwAG&Y>%HlT;P)0 zRex(06qasWI=?&MLu6b#y;JNLs<8_d8}fyUpMyaberVx#*gf3s@q62SMv#M#3M!G0 z3NnBDcz?INTJB+B4WEBiuY8E)p8rr|5s(eaETaX_VyYOYvSnO-L6Fau>y z!g{QF71fEex~#@sZvE21vOjWZ1~EC*^@ZPmEH^E|AM$LQhyx*9E!RH1fDhLf46@9J zt)sI(mw@)G&BJ;Rob9n+-G94E%)y$2{r!fv)kQoQR;^5HFpnOnOs6dt9MQLs0yK*O zQg8RDkia!Ak8Yd6yoocn%?!Lwo-Rf!bE+7vS)~{)T`^i_8Jtj%!Qoye)}-yG=GL|P zdV_svy{MKM7%b|p^pEx8A!Jr5zpEDy%|D}fh#N7G3cbg^-(FxrVSieG;0&TbG(MCW zas(KH2*59Hwimb+XvYofG}Y;&cwSkbDm*3!ZR?Iw`_iT~^WA;FUfaYDn*;c&ui{|) z1S(|(46?o~(ITYocW9!s2Y2z)6u${Y1YiP0dxWU-C-1M7HyB`?^7EIEPlSZmF5bR9 z&}FJW|87JrYLHZVTz|VQ^Xob*r&=Aa=m1zpkdZSw9b~jO<{+ft7)GCl*GradK$$MV#JzG5;GkUn*G0 z0e=!;$2SX@G_A5l$ZWIV$6>YVU6mJ-#<7CJbt_;Ysc8G7Eq@tTU9xJ0KDQDhib{+u zlXOl+PKhpEl^Wu&boG6e*Y{;s-&Zzv(7CViyLug7Eg5=PIT=^>Uf5zhd}q%lO}m4~ z#T5~0qPVV7MaKCv5OLnPjHWzPsGh)%e+GA7ud8JoSXO3X3NVaBKx#{-^8R*MyLdW$ z7`C+xL$WqezkjpKnKk!^8$+5tBUC(Zun%M+BdiK;#>b{670fOoL>w6DI6zIYHG@RG z9Ua-D49~QdtNA~-@l3+z`Y1EzMd9t;^0B&;06g-&<>}=6|{U2DsTF$zIxI&3+EP5AS`h zfwyi~dsz5Q8LjMQN3n9l{*Ryp(!e!-+Hd=-u$M9FfdXgPouu1cnk_f7pnI|0UG>|A z-$Eht`+nQs-3@o{6K)0VfE+0;oG+=x7145aMw#?8%>wN#&Cc=$G_-e@T^M^B_my3) zuDh0Xtbelc1KyG9`DR_)rKGlu>EHBAEeN$bC8?j2&ws)AQ!LtF@PDeIIq@4o24g)b z_fX1GX>nHJj9?~kz)e}bvr};Suy`NKH^bT zwL4dl+6KSCh{XR#dS?hoh9fEW@(-~0Mz6G<5jmH|+qb9M$&^nNwCCb!kQ-4BoM^KRIGbG3erKbu9 zG{7Hl(&a}*IN^9c1J7jJH^4{h_=sI$oQU~7tg+%{gy%;-Drh6Tl}e{`RJC=%`N{LY zM9ANaRRUKxn&zj(xHwQ0XCglu{Ezx->ZWJi?9kr&o19Dr2FmQ=q;ldyghrnZnSZ6< zmV=vx+f}G-=4u1Uk{J)bEOuZqE6RQdL8`kh9sY13llr=f8Z-z>$*woXf>_KYY%CNONl>MgBj)4CBx2paZ{Z`IXMznJ-0|Cdok?5 zt#`73-8ravsGeTbWPE@drut2NqkqfjleV+ZYI_WBAF8%fqhDfsi2$_y2~~uDR4pP! zU5O@#RPm9@9%lLHjOVAS^(?RV{l?>Yo<-Sd*y%5%E69x<4{_!L^YiH!{@`asMTSS@UaR};s$F%e&e?UEnnG2BNzB~d6eMjAabaR(X5|M+C`o8Yu(1MISviKPxMM zot2gEKSX;cet;y<4QvijVg|_DLqN_b)Drd%o=#v(E0>pz{<8$onb8B-`1p7j{|E<& z*@2wEWz=roIy@*AalU)rUA-8JJ5f6V@9C{Xj*}t|MY0sTe!Fboj`yWgDuz$1aW?e zafO(JoB%J|12p6m0V)n4$e(1zKM9P0zfK3h#?1D2y1$}-CjvwM2nL#&+1oh)A)a7} zCBOn~3j(M}D>A!yxG(~M5cA(epsjzi{YyO14G6Xcn!XVJs2vE97E=QNUt0XDL1!~3 zu!D;;voqNCcato?)4ZIs6vSM@-p&pLadAfZU7sY_31s$i@SZIHxnCQIy*tGFZ)gFA zm|OgA#N5?^MGFFUbOp&t{zZB*q5NaB1i1jXSb2FkS=j*~M*zsf%!=jr7Mg#a4xm4r zY`@JfUHE!C*gF6$UK#=Uf-OKVKPcYLKsOM;#mN=q>-}%XelDg23h=xUnJlJ_5kR!z9^6l!20|1_sZ}^Wajn|ThD*!f7~*Qn2ffHrZ~fYdj8uh zE^hAu@Mhx#FtKy70@zr2cmRJqFALxQ&Z7zh|5eAoLggS9_JH5He%JeQQ2(jf?JpV7 z{WT=?fd5XWZ2zKO5PQogLnZfrvD&5 z0E^k*i0wtpETDfub^wdTzaR&I#qwW}6To8iH{^V&&dSrl>g93zhw)+q{|mlsZTm0y zvbWto@I}xp|B8K?M;7~kvcGU&9_@d*UrKZM$IbnMUQ}yu{x5&VOLw?M9cKX}r(~$)!(f+IZuGMt0UWg)-@- zUN&hX>kegc$D4ngwS{xP78BiRa7(0lxMfu=fjk!KBJh+0@OV)oC6(H{xxburD)CEgQV31Uj z6R}!*B_I7Ex7h6{1KZnF21oSByswNAXU7Lb2Y9RfU3>7J-=J57K13@0xbOn>J#DxF zE&({r3>E5yR}N>Y_W8rwTj~^SDOmYm!+TaC((nBD_B=BfKjU2HE>%RCyYrUpxbw@% zt)t};1bct+>vGaT592p4!9_uu#7^>wlwk#AS*^tC>;n$+(W}7BKoa`v9^OMG;2_!e zJx?Q2a<#oyxLSinhVRk^y)`t=PsVQEEX04j10q#SmfF-^Mdx&HbYeaPo8eaf zco&3oB405p80{R@Fw}E?CP?|tJlI=hj^*lf1ToSs&@D=!*jy|v%?eA(IPTF7J0PyY z>n&6@4Yfr{&d?Cs(V8%frpGLaS|FipmVtwoT_q8+Gv@y(N_lQ&QLr-V>Ph%Xk3C0^u zV0lYaAih;;9LLJK|4udM+oy(CCo^B^EI5CwuX!_ayogpDJe87;vXd@cU29Ujf-y%z zt>W|y2DdHV-zF1o>0IupS!z(qSj(LBm(%@P!Tj~pN5#tFQPGln)Yoiv#XdZ3BNsOm zBFT=hTMGIN<`j!~!xO5PaACbuPsV$D870Ge`u-_X=Jaz*_g79~>s_`lO_iLR8Z3Wi zdM?qKD{Q%0=K0sAjI7Akmz(~+9)t1$tJS9}5 zf=!j&jHAr-&C@+x@+(i!-h?6vWOd-SB8QgqVhm%7PDB-^EeuKl${u&d!@MvlH5&{a zTy%{Yc6w~K6+Q$cq;~8x6h=7bE`NVm)fq^cSe2_*I*rHE(fy+SWxu#J=dFM`nhP)x zzGQT4=0L}U({%lA`#a&(gYnaB2d-+%4K#~Mq zUt8tzs?+++_kwQ2sHBLa(FLtWK5nvR#zyx8(n*OtQUXM<^Bmljh!*%7maBi~!Vd$% zp;8m#1F5c@7`PPV{Cm4`@V&`tt3QK{Q@N1uwAw?Dl&^_#H-+T0(NwEYnb=P)OF4t~ zh*q7K0(T$0VnYrQX-}@F^4}|QR?jB5N%2mp_U~ybY8J~2L05T_%IY_Cd{wfx9y3*p zybf@>M-KWf5=NeasYM;uM?`;JaBq?jC9uUR-3zeGe*AE|n!&L&oKQORDoV!is?^vi zrpb8g_;vhogZ`!4E7UmJ%je1wu;=D0Egv#KtT=`E_yx8&1d||cnupN`)ga|8QDWkm zFs2`QA$JsuVUP|M?Gccz5qb9OgyaLa|BRwFMdV0m-t}ZRa%f9hf$o0=ibUe38%$6D zXCX-%L@yD3(-ZncmRQz%lI})8L}`t+*KQ=Kr)FNWyGm|*W62QM+ z=3{U5RIz}N)&P<4fPHTv=+>}<82T%2Yavgb+a7IV(AZ8x4>Et@%-ztdHY~trLv#gw z(7HZBaaEYeksCNO^3Blr7?o)RX@98sCSw6dT^Xa?|J30}Sm|4Cw`Eq{rBi1&xQWr3 z?sqK^H;P=DPhklopHLnY#L83{DoqN>nD`zBPq0xjz|C~l>hKkB87D3i2!zNRpj||X z$8r#LebZv%y%pNoG@fsSv`6yqg8+&w1A%`A?k zSK40pYpq+P``^OD6giQw7u(*yUc2$zO)aF$R1BY^<1e(KlqFCta4+N1annU3s;7`! z;3no?ASicdIh(e{x3nez0OJ|5g0=Y3yWu#EYp^F6YNVRN|@`pJ;yA{Y6F|}=0w7;eO$D(Ai6*~S5KGJejhcsfadQp_acT^6tXln zDwPhSwr6yr%CpLrE*$>3`hrtm?n42+xFp}r&*Xp5afIt@red6^hu1YvAD@mca43eN zs4Vu0q8{o?*&Sm;T<-_n`+IMyTgmEO;YqsGBN5-utbnlMxlQmcBj2Lkh7TwQ+d(0T z*Ohx(RJt*ryE6RTTB5u!!1n=&Fzb#{=GoF7j*#Tcy*J#3B4Tk0n7s+jHZ){$z(7iS zWio%+aKGY!Z89RyKgNS$B~ zc50Gw!tBwklu9Tpg7LS#n^sRD#y8D}{eiG~;jfxKp8&(_4g_aNQ`zb8t}Da8S>$ zDJJ7GCw0Xx5mLP%eMd z$H|~=nqq&CX2y9&75@C1Hjt0$F@9q_>hT-T!gx;MMv`BIaW1P6t>`JpXm@-KvS6MQ zyrvKyxfOL@tE8MJxc@}LY#i313aZxl8rLzW#BurMSAUaz4d3^7-`LnCR2YZ^+V=K3 z%M%X7zAaiLryGmnn+E%84w@q2&eMMuKTbS^DTfLFU{t%x$$MQ^-YC*CZNrGhGQ1xyfEBsa;F_dAi^fuLB^_1%2^wQjS3Y-;bIoalq5I(q z#s+!Id-#_rH1!%y4!{Soj zqFT?bHE=8a6Ob;PGNjPNp!=jbv|f%ek|TIQWAS`JE3UA+$47H#9I3-Ef7oVUqf76| z+B5(sC`U#Zs$&Rf)a!sTLqLRJ+Hf#5!YhP__5=wfu#D)S`TVY2vJ`N07*~txN%Ecy zJf=e4TOxzFhPI9+>$rmLmdt;)UJ&cAKuJdPVAxZ5>O3A*)tY7&|>D|GtSnJjURcnQ!ewV@(ON-gZkJSvFud&jm+)@0z zvgamd7GnBfieV{6@n6s4gq4-TFM`SM40ABYDRH2TqOU0Em(tJ|Ybt-(E2W(66T@U0 zj`7BvZu2I%zY9|t!;UquzZ|V7-Y3JVB7hZ6BJ%QHN`S3pI2`L7hN->AW4GGurfi*X zs;sQs7^^M|m}2sq307zjM!T_UFjOl&*1$R|dE*=$KJ?G5dcW$b;2hj0EnGl+OgL6R z)??3QwCN?j3Y>f<|Kx%b1IC#!QQ0%*Z=rF@G>n#}_53}`a8Z9^j2DIRIO1v^gA}mE zCoZ{JUt{xyJ1EQE&7fh8oWH$~p3Z!OtW{auhPkSf_o*>l zNO?%IbTWUO&oa{LWYa_Bmp6g-P)_R#0E9?4pCItJWkt& zb<4Um7c=j+*UNvnv|-3Igw%0UNnCa*13!s6Qtn7Augn^x9b1+qB5bAHtv1|VhxN07 z{Y2xPSOUU6d@ud6W!ey4H@YIy{}^7ZHHDx%4LNFyV?+@h(#+XX`k?OKmV!l!?%WQa z3$j}HT=UsRxRX-uHgj2an>jr{Z)4j??uH>qw$@T(0x5rR&bRO9TFBy{MEK zJRU>kk-nQ$ujl0Wk|aH~Z5tZykL&G(Lh?u>3At5<-3qAZ&!_Lr+gQA(+t=2#UPTz{ zgdVY}O{iwkNqpS9!G@+p+*2FnDuMK!_s%Rdluaqx)tD5}0CyLQtdWN@!wmL{cQPM+ z3m=*q_A!58_Q1y;LC$y3U$hVeOf@U(qR^CYb`!XkQsTlc7=}x|6NQz0p!^Zf&4@3h zPftr3#4COFx>8|2V3BDwQTu%}CqKWl?>s=|`a%Ad@r0yJKZA7pWtPo&AU9 zwTWzNx0HsM+rYJFN*{z?#bX4DAk>erA5-?$d9Z)W-?78=!t6#g^{8uph&#|e)}oAy z6QI5paf~7$xt!TSIe^DAPugkNSQoiA+iTu-l*5hP6;~dS^0!Tfl86>e;f97ZLs*CI zLa~NWHRa>5y83!cq#1qvD|R%+94C91Mjpk^=HRQ>>eaSkxFTe@%?!nH7O&&ey^4Co zn{t0l`D)0yPLrLk8x896gjw#tDwd6@-e)4!-HJa_H%)7lk7+$wW&6Y*7|~6yo6G03 z@WU>XiQa<8zuqd(>T}Dm2z0W;ZY|8Qk7&zs9$79%u9|fV)449GQ-N}^6T`~3`7_%6 z?=LGkg2>_nnuy(eakB2|qgbvS0$V3+aHf9>ovI>#MYLfFMt$rJ86DiEv{9_+aUR{& zzY8Oqdo5Rhf!nk!8d~iMI*NE`C=~ecrLqjc1-0e_Gu{aH6o9#I0;K-ofJ2rznJcFU zQx5$CK2Ut`X~$5CS+T4bc$|+?z5&4a_OP~nB2+8n|La5l;vA5n7ssjH(AyQ^6AgbK zj{d?$X~&2l>O~;8{?Z&T51=AS2?IU^G3kn32*coXvwRHCB52j0$KYr!_y=H^xcbQ9 zYpOf1M&GH6n7Z++!t+vg6g@S^z`Npl`Krcm6J??eywKuQnIR^%Vm^a{>V_#aupA{F zi>K3+UpJ-0^+6b|p9gUln#=T`G*^FOG^|lZkm)^%EH=&8pY_Q3+h((EuJM@0_mEY} z+zV0z_jGHHye*I2@=}T(W5jz;$_prrm*QQV5IQSTO`)yqG~CL+j9#wo&E|}_cwBJb zvTAm9ObI3U8mH0;fwzRC=<|>h&<14qHAf6JyhEgKYEkAr5Ncl^a*Gy+dLDnm_U93s zdp8!ns-iqcKDplAc{~nPG#XBDg_$Cc+TAV#r zMe!y>n48BzE3S+Ejevkb#G%mUXUqhoNti~R&n%`z{;f1$1#x}L{b5kgm{+lAB~#S! zjac2Tjdt3P=~=NB6YJ#gzT0kotL1>+=!wo1r`*K->ajo9flbmBVLE?A{7!AW7HVQu zFP6vP%Y8cGaAk9 zHbQd4m!-+el{}UYZBY< zA9D<1B3pq^bd(Jyycd7ER`vd$p`Lq~+*3l&jA+7VtftW@Fe<8{PT>S!OHsIvVtIw;V!=k-R*yjS-a2S{eZqW{J};fE&UJ6WrD$&)!svHB_=da>T(7B>gYgjtCaZg?y8 zn&x`87sv&3J<}Xfv;&0Y4g;pz^wa{&5E#sRV2}#q;8{?DYdJ5Yvn?jk3$AYK9=|f z#fERrn$`L(NfPA^o8T`De-KVz$z-2$7d5JE-7yR0UhaP-Y(-H|Rh@jF{s_%I#1s#lZkvhtaTr$WjxqTjm7lCArN3z*(frN%ds|pPX_pAW zmcD%a_3OUbv}@nKDR=iT#+BgYw^qS7{rO2|^rxi;ZwI>4WzwG>SWiWbVaVgA-W$Z% zce70h*sy=j3s}&Zzx|kuoavNZ;kNn}10oh|meLb_ZvIMxy{O?6q$8>QGgC%M9IKWn zmAE393Hg`KNP2ED@k+{kZSwcxLbJTDSY2$!xQI)U9!+-D@D-y)pX2DNZ3-f366Tx^ zW&ItPC>s;X#$$22h+s_F?G}lp(-PNR-g7!|Xy<>pfdO}Pcox?NRQxnP1A0jJNTXi% zodiL+tgL!sv1iP~GEicCH8u>hdbppYGwp?&zi#ay85Y_yWsw%;zeg>cGv4HVy_-r< zFA?wnb&VT@)OImF&Q&@tPt%@67M;oQNtUDFCvD+=DZer0TzFP0>pUY7lC`30 zghEMi#b{bVj_Qu&`w@vUuv151`qHzduMG&dh%3jN?kpAH(7tu zB*PV4Js;x|O_R5FAu*~}fjR1&Q~12C0r9jKut&v>gA?C=Dq>E0u4hlKtyn`!a@{m0F;IP&69H}niJTO4=%91f0WJ=Z8^tbi~7$Ikir zR}`>R-$k<5OadZ6fep@bn`YP;3lHJY9+b(xS@cP?>jv8+($}!G0TD5Tv@aVuKCWL1wmY`w`^D8@0Zds~W)QdS^b>5}Yl2`nE{P?lG)VSL+r_k$x=p zCwi$1<(6@A`gb?_Rn+>t*;}LvVYthn#H3_-rgI6rg8(}&1-D~f)s^EDtZq2kA zw3#9<#O{*MCiG4x-8Q-Jk~a&u9e)-duvrjEF^-DvTtm}bUtHm*z?_eO} zV&Q44%9w)-gm#pv>a>4Tm-Ndp@nj9`W==(eWgpDfSeu0to~cl({niRg@$J(8Y8A?F zPO3*8Womu;mvSju5s3#4w|jp7nXsqlCfcVJRyYS<-P;7lEQ*){Tx7%7m2Ar0MrmJG z=9dc2M0B?1B*U6p4wuk(0xOsc;Z`GpCGM}0UDnYAnKEI6*aUwE9f;-+KQ2n6hCkLx zWUMd=g&?gqj>J<}Bb&qqN#lf{D?}7)9kQ+vQp`&tyt%BSeMM52WA7Khv(@X3bj6_V z=f~VrcjdnW|Q%t<;&}I?miPkUNa_WlJa!a}kW?2K}vtxbm$h->B=O4hz)6#xEo>S z(od>@f&frOhwcjl{`PI4KxXH-l6dH-ZL?82X0;yZ(%#o zgo}?P+Kyyke6txhN+NVR^GdCGx+}nWoS@Bw=nJeno+=#9tNs{oO6SPZU`Nb0r;#BQ zlsDP6t0RAc;tI=cUti&OZy^8NaL%tta?X$_*Sh8xjbhURgiW7*XDRWEFtt;qkr4Mu zLcKs^;HLv`6St?KP4j2}-kd2+0*}3B)i%Pby2mdudBYn8uPpNAc;48US$gCP4hbb8 z|LDP2usb9RAk-eV!%i6{7S#zV+HU(4c@M1{KpB6zLc0H^kLKZ#5c+(;+O~e3Ti?8W z`f}8wn>f)ag{BpI;i*Nwz`nRGy)OkD#Sck)v5wv)?#kd&koYEF>nES5aIot(mKk{* zx`r{j2==7=UA{{BEXwLDI(6M+*j!vJm$wQ5UspNK<}?aiW(49OdDW{fQyWbaHK+S1 zQSN_SZKt3){u#J?Dm?TPNWu8&l?gDQqy6L(Ien%i)o| z0)b<%J&gFO>*uG?=neC3rcD%(H-A#Xmn5`PfzoN_DRhx-3uaN3b$|_;xK>NVNYJ_3 zeq5@Vd2|zf4z2S?<{*yx1f_`zWhIu-6JLMb!*}@9J60V|_M*k)du|a*ow^UTGSS*L z3l!D!1lqbISkIPfUXs2Nh4hT_$dn+>cZM!i*pI>oPpVy=i0R8DEAkquF3WJCT^FC_ zyCVBolBN)?c-otVNXH}aw&SBd1EJ`noJXphKV)FG`ItB{Chd)_nH{QVC8}qfl&F85 z)|F^@?^o+%=_XVU_`soa1vS45pJ}Oc7fpT=5B}*@A3eHbvkth?;aMwvU;s92(Lf^+ zV0fT(L5l_;E3(&Rq#D>dSa}9r41oB`GEjFf6LCV){bRqxu8%<+CJGKnO{m>-m`X4) ziu98Vv6%^TDxMKP#joFQW0%U<*;;?T*BmvXWGi(X#2!%(*3VJUD*F*sx@{_g6`xOP zFXjelsuQn?^JkX3Ra=6o4r@3+pd?K{?BuO9v@qZqe%K^+IZoo==Lbn2=Stg9Tk8dt zJsC&^-=}ON$2}%;As}qpDKTPxcVO5~&oexSCqj1g5AhRz|Lqthr1?RPQv`n;)|l2F zy^NW|>)5D(oIRqm$EpEgNKf*yJ9bzi*RKmB7@=Nljb)|t-6FF`$v0+fx8*p~h$*(z z)c5Q>b^Cgdx9t;YiD{KlW`^vlL^` zPDWi!WC(Usg}SMW)js(tuBv~xlpT>jNP`dHNm)nOXzPk$MtxIWySB#4d%pgxX)+Oz zQDz=Y)WT7DXEGt$CIXEfC-$?tRHkgmkjLWv=9h(3C+>HYq)d(unM{Y8gOm4~teA|$ zC6X{(MrD=$SVK`Oj%`uii#49scod-dBj1qQ%2stwB_@nqXcfg`tLJ}s3vR9X0?iox zg`2$gcqAsRvdBa`;EZd`YHUoutGDMDd{ zlJBXV6Nxo;F$2M`G?3;O&*R3m1eH(D-}}I5aU&-hI}I%;yVEVP%yd9V{ECb_wAIXC zo%m7gK9BzTyapXx8}}n%&IcTC_oOcMGci>Z!r#U z#Do*ZXk#^G86#(o7yxaA=MH96qbPA+XnQ?D@NSJsS#Lxv6m2l9&UWhf3bSp)ulWes z*eNpPepv(YjB?P!yr;WeiNX#hsBz>Sg(#wJaGKKubW!4``v!k~LhdG%(45l&e#x*$ z&I;};OYnEz*RRmx185hYzUw7zR#nay1tWE{VL(?|_!9e2fFr_3&DKt$7jA|*PgY$Ma3oMI zn0Mm+73H>Z=JS68SG`;5ue$YkBb8=qAf-%nI@&d&-xk7V@{#C5qTBA_S#?yW&rql2 zj3wkVTXX_yrMH=A^Zroem=s$kP3*_KT~JLB{g8<#Z$Hu2(Ng*$5+CWIU;>YiR4XU_ zQ(!(I!Vuh^xkua$@lfp~Nqh`K+< zX~!WyFH3(B`UVjS5^LdC*iiKm+Wj8%579wvyzJ_cEMwDer=$eI{Rv0K^grjmq~Eyq z<2H+hcf|S7eOG^H=;5LpP3$YdrzRUu%_kye1J+fZP0B6G9{#7rQ-LRPSqr*xshd@&akC6DSa(dTtU%tn&R zhM4_L@>*_)_E9NeqMlc%eKPLFgn&^A`sx1o2b6wj3Nc7;)3=b`K&n{HMCC8!>N|30!|#6?C(CIML#MU%h}G92yu&l8b;jDwpASJh zmjq@svGKkcYFZf{Su)!}8BH6g62rVf2lEnlk9A~=n6dz<81^FPgQGPA*Vn)uE7HthtL&(bo{2^rrD0bwTi0jfIrzQ;tx(WceXeO^A9uy^2b! zogiVX9u~c&tm0AlXS>4UudJ#?gP~7L$~g zzm=s1s|BMF>W)v%_nIb`gU<3*ASK|tLuG_FPlj`J)Vq6^j?x2`fqtX6j@VN_8Y@`7 zcB5@bIk>K{b?P36Y2b;s-yo}QENfd>C*9mF2X@M$k3PfLt^6=4IeBiv4QUvVeSA(N*q*qGWi(BQ zAL51yVyNMl+3wL2j7;peB9Ry4tvveJew3%R;Yz)L+1QUscI@hG@x64}DK{N|R!{E; z6QX9Wva$JOe2T@%7yW~9piXe%kv@bTr>|oa{{-bMc_`*~vl{9N{Vji^LunBg40RX$ zpx_%%l@X;G$uePdar;G+RVn&-ac*jUzKE?1--&TBa{RvPMN2U6)R=+SOde7!O1T_P zG+f48{KQy`DzB6Y8O?fT4!q2`yr2FHs^!d<4+^FW7Iiwy%y)^&!x0n}8A>Tgu0ZCM z_B6(=&{g&68W^1iN8W#lXg(c|R~Ch--fZ8!C*a)%*N5&j9$kSGQp5Zm!2|-2!WkVG zW(&=SMlAgo+skhTSKX&=TBv@(cPle+I{8SXP7GWCt&;o-&s_Tp<6d^5a5pYgbvGSHfI?Y(+7FZYtC6SfLb^oK(UiReH!p_yfcow@hy z<81p_2KAjVYJFUvp&&%;+-ylr!kNg@q)9gnF0~_As;bXqtmYdAr?L2!W;2rdxv8{1Aoi8(eB1cp`V)p^&C-IrpCVJB3 z6xx4n`5J)i}B|?whBWivYZymw32_}l$C$R7hz-y(>Q+_UWSe4 z2;yKe;-V}W$soN@8I|J7s&yv3<+q|@rJoePuo%@=kDlfc6x`D_?*(omt67p0h>IMg zAN^QFEs(_8Z5Yl#4_89T=VoEb=y3fY$e$C<{cB=!%iE8`pjbwC@9Y~VMHTZRoMSp- z&c=QFJdS^}D`$z8wr&7Ce#x|4ID>b-G^J=keI94IpSpi-Lt8-4oG?xAFN`bFJcfC$ zaxS^Dgm0=!6^U?Bm^NTvcXFL~qWHY}s?z}@72N7q#N7Z)jPE-`7y-K0LtL=1XOwwc zihPQ>GLi+yUrr5T_mT%0_GS~CG^R`;*n8*3cwvjS-cI~%xL>Du>!N3dN{uRI1y-?TQ!F5hj&0)0u?fIb>B>}B~bBC zG7ijnAwqZ|tFCraP2vF`kzkx(dMVth!#`o zz*6o6-c@u(3WN|LiktzP@s zJjLXo{h2RcTh3xWdTp|}3EIZWF8RZt>&{i6Gw#6?^iTE@h(tDRPZI@|>mXI9a)!)* zdZP)CFpG|{+;=XyE}{;owJ@dGZ13H)nC#_WuHa{$mJ$?fG=u=@N+$4x$7*)%>-DG5 z_${D@6!A6T_3j6CIyjVLs_-Uh{g&|Iu(%b0(>?3IF17gUsa{jKlwvjk2d73g&$i1T^ z>kqvq{J5M}_40@6Uo6~W?zVYh`@=u8?d)IGMb!L0LbBZIW0_x2C=R3Ril(sKpK(`oUaO@L)ZZWIpR$num|=SGWya z;X$AqRrg!U81nHzH~NcsR(99bMVH{jz5C)$66om;w1*L_FLM1N+e@uXD1nzJRURdCgq7_!dViN9QZSUj2 z!aBh@VVy80!PUdmpo9%D1ajIaoRV-&!Ug4olftWDVNiH)lyC+`hAW6}lN`7pLV(64 z5v5E(ETWE}o)OW;D7+KVC%6wHCYa}wNIF>oOC}d!vJok2xPpFCT0ej>B@I47I2@=D ze?b))L5B!fz&|Y_5G#XA!_|TIK&pa-$AFHC7Kh<~0=zWhr;HpZ1W?0rhJZy%fJ!^y zqL9WX&;T(81i=_eCtMe34NManMvV3rK!XmNP~nKPaiEZaPe23HO+-V1I0lWNP$Vl& z8a#bEsE+==u0{2BcvcUpt?|{YzM4&ie+LIS7*q%KbbK>8t*78EG_YTP9St|fKg4G# z&;%Or&|d~HeFF1v2_*aVSL7^!-Nkrvcs)F=g~127%xqRquE2}vcIU_J`QdChtHHZ) zU{LLX1mfvaQSE{Y1g6^6hyi!OQPO-=B38MNHkkK40>pjNIrklEJ*NQ#-JFID7nIop zOuQ=SP`#auPY>&v_zZ$??~3ZEm)$P|A%6%Hda;s2fBYHjLJvFl&tkXC!xoyhQG)2C z<7!Y_;4MIXAYexI089TUU=V(dz6CJnF+%0O#Xz=tH!tzL2H(2?YZ@V{>$7jyld}`? zd7)OdUH>&Ytq-1WenD2Bjnx|-c)JZqEy`@9pK6&;*@l!hAn8HhFG)qw*<^mtk6U&u^x_UAg>C|eWvO)&=VzotGtc4lYq9hjjs5h<_ z;c7H+M^sQRxO!=jyOAJivL09Vs1wq`dLXX{esM(`BdwMUSrPQ|@GmA z5fmNlhRKUKsKp|R2f+AwkEr;$H4*yU<|T`#1}dq{XQi0;X*0*7<&|3M(nuhq1ZS~N zsz#aePJ~?pg=U26m#M7M=&W9oUbrtYRwS=zA0kEONpo{Q;%;N(WI%aEYL%p|T@HB{ zTY#33lnU_(TPxeF7|DPayifpp%Ljk?bl9ahs9stWNK%#GH zT{O6}u*KQ1=lBUk8W~Vu01>i;RJ3g+ZZ79(BS-QUjhojQ+z8IFFX3kN0RsdC4c-c# zmm+-Q{Y1Uv|3m!dykpV_8w)jRdmBk>Co%u$5k(0S4w`&Vn*-0027@q;XYSN8O@fW;TK$I3Qc~bHuh8&_ zmf~>3>1WzfE^bK+kZ0cFJ!>2i#bVZ#5?1h31DQa(4OM1Jj32%s2a*^pMF~64mrR0e zc{(jXE{E>~GJB?>7Ea}|nU|3>104a)m#;Ge6@S0`PrCtVl6b%XD?>*jaN^*l$l*MNN2v5dOVwN2 z0&Oy^1MMyC9DPF&ajO@u;}*a}4?`8m1biK;?=?EUrK;B@MWqYXdLD z4x!+#7&>DP9X48Wb3#&*bObx_*}W!@IFaR+ntYOg^3#{;bod$NmT;se~OSm&kFG#>S(3Al?7^! z7U*n}weJhCZVo0=(1Qgk{cer%B9DJ#HzZX2J#O@K#KUQ|)#N9g@b z%Y3+vyeW&8e@_T`B-@0JRuM6evhx9P!WSY9#bSv1{3d`72F_5rvz!gMKqeO^8gKZR!bLRa z4aze-P8_)Jc^30b4L5Eh(=;RawgoaAezt-!_Gen=e^a(mQ$Z>f#Wn(%MnZD5BXlka z(O3kx*7SzO&~c68IZ+yl%FYt<8jpqE8;bmV%y)EXC(gtn_ah!79Ysf8C9g}Zl1a4& zJf)NpjDEib6^C6u0vCNlNx!7wS$W)}=Vo{!op6b!q-PonDG`!^O4ORgD*Tic;y$&Q z_~|Ime{G`UJGa>dX;--5dVkUL%QcF5iOzclBO9Nv9hGdfJ(MEKeDcm*CAnP8YauoF zN-ArSE4Q>_$$@rc-ZHmHx9qRnSSUr7mdXZhd4#o#ir)XQUf>v5d~mELN1~S&3DY~r zahjPVl~5Ea(OuwzB#{zF4h__gUQ?k@K?Nx&f06LQN^z`VDX0yy2@JmIceQeEZcVmL z?rS_fHP+__@Hps%O#;k6)txRrKe-c@e`n8+-yCfMEL(?LOK?#(!y-dy!{Ss27Sq5Y zmtYcf0f|v1`8`oC}iOuP%AIN!iJ?-oJ@wN^+o+{e|9oD zfj;iDA6Q}2+>U4a0Ijp{de~hX>s*8F$o%_P|`AAjMi{bQ~oZ&mVL-pSlC~+N7 z4vyb`dijw+akpY(LWacH^hl5-f4LNrQK^ZS>u9pG^Xc8e3(_RqZe2AGefW9Yqi7P< za!tT+V4;>iYelVB?+-t{+#`L`lAW3sLCZasx7wu&&0`k%W=pNLBG9Xy=g+q=7#}R# zgjUYgl0W5fixA|~ig3KS$WbpKN4=sfg&FF@Lfwn;Rk0!K%dfck>OXIWe-{wFzkO@+ z*afGuRzUwxH>A%4TM^afd;3p{^waus#ETZmuiWhQq?HT(dO`5Ftv3e;2>+5zqUZY^ zzu)v2=!g5E->wkeFVGyV1n%NyT7cApX01@Tef(kn2shk8T#_C9V!z49fyUnp8UzMm zc@Hj$RZ_b`0=@fA5!MQwf7`#k{J6J;nlFhoW)W$Oe;m!1$C+1D94@xdCD?w}Qf;j$ zdbqdq;?p}&?eO=d1rI1k^$yg;_^ri8IneZBVbsbMNq-wm`nnoUCgblXaPM+-1zX~(J{!(Pf8#6WH62}!E`Z<7 z6%4hYTq|BKCbZlJt}jTe{VRyQIL>7jK0p!r})iw zB0Uo~Oqt!wln|ktu_2ucF|2yJ@t~j!gCN;9?o-A>F zS-R)(jx4Dw3%W}Ijc&vVJ#o_d;&e{JZE3vfIgV^u3h(CP$gVg^t}jmKINK4&+#!yN zjX0(!j#^)wf6i&NBTmnaT`C=?@f_1LRniX-rhSI&2-9<7)pi`)Kofh?mqylR zrsu`VwCq%PvFi!*fcV!w#I%J8Jtww)Nwjf&A9fEArgg692xC@nHJcm*6}DAu=ysrudVW8+`vis9ue}PQ_>bL5Sv` zmuUVyjUi+^KbYAXLKQeZ8!(^ZcQ5|~ueZ;2mjNgP6qiUn16@%$MKm@zI59LaGeR>m zMKCfpGebf)I5s#zI5;>oMmIS=AUrumG&VRmF*GqVLNhW&FfukXLqawAO8A&V_ zt9S*H?lu#zz+%x^YzC1ak$3|VgF$!!5|N0;Q0F;aKKb5rbMMU+5otP+Sdg@n4gw+& zi3)3utdM!KMDk>fER!->BnzYhFPFEo8^j|H61ufnfs}}!_#i2tZB$8sw0}VgZ#FBE zb+SrAq?3e6ghWXf=_WDKLwZS^^pSp&AOmEO3_;38dngI1JzEV!F5az1AosggqmZuy zs}vBvvl;_($5!LOPU{P4;OxX|0(fkFVG{VPTTQ|BJXuY{l^RwvaC=);vv9Qss|?&_ z)hY}3Qn1RweIE+kPhDx;C^LV*N>c=$3n>1G5{xUMZ6$J~bYCgGA4=j{NuDaHeI