From 52a160858034e6d68eada3f651b524ef21801a70 Mon Sep 17 00:00:00 2001 From: didericis Date: Tue, 26 May 2026 16:00:30 -0400 Subject: [PATCH] coloring_nested_tire_graphs: fix unicode arrows in cut_tire_chain_pigeonhole Co-Authored-By: Claude Opus 4.7 --- .../notes/cut_tire_chain_pigeonhole.pdf | Bin 182817 -> 183245 bytes .../notes/cut_tire_chain_pigeonhole.tex | 4 ++-- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/papers/coloring_nested_tire_graphs/notes/cut_tire_chain_pigeonhole.pdf b/papers/coloring_nested_tire_graphs/notes/cut_tire_chain_pigeonhole.pdf index fb88766ca548aad139dc0b803026f245d74f221e..fb2610f431b63fbc83fc5eef5410eaf6afe270ff 100644 GIT binary patch delta 18726 zcmV(rK<>Yxlnc$53y>rNI53xSYXK;+PVEPOVrUD{W+o>|9vB_d7>G}8&PU|T;u^y- zMcMZvJ;Xpcs)&x|N{puEaV}XShtr-`we#LH%9~Lbno5Dm2-uW>&AG7NzYB^r;SbPs zNpa}1T+|z^FY=_`SADGdSQQ~6_K6xxxxM`rfhxt)!VJ)s&{4E?GIHg({XPfqwYXk? zoi!ji3>k!vl>ETJu_+hTzQjln4{#!Vjk%gWH$+)2%`vM5f9nr%ifO@|>rzg>6zapv zl9nQpV@pMKW)U)CLU(z5XyWwavuWEfv~Guv(`p2Igyk#~!l&}BZ3D&*>L{*zo+(a= zD^w{2^f^!7)p0m0yog;5XU|)*9E@UrL`NnVi)DkvuHobQVBHozC!kn>zaMFP zA8Lw|X{nPgL|rNp@RzF+h-sCeuM0S^&gu**0HbAnJj;c;)(wPesFG&n*vIj>V#Y*S^>EdxBOlJBR z_GJP^U(9}mKZbs6`}3L_mocY*p0iwxQ1GVsbRym2+z6yyf4Uah6JZ+(+)oKOF2Ld0Lp1H>26TJ#kss$ zis!$z9_Bp$84c$$aOaF zfuUH4F#($p^8$jL zVLB!rfr+8-e#9z&7YJz_!S`WG+)!~0LfrqwP=#WEGI-y549agG{9PT;u~RfxAW1@B zMRRwF=6H2`nCfrWE@CMMP~WU47&vvhGM7qiKw~iN&?yYG(EYjg2oqh9%$ji?LWY8Z ze+qc9y;CQ_suZE6yCnHkH1G=N1sxdPBF;`5f792h{GzCTc>8L*i1TAamY3xRV#)Kz z)(|?$i^sk~_3_+xa_;U1mQrAI^(e=_ufyG!>O3A$UdF!!qK#;X|7H+j-Xy+9CzoAO zV;SMRpp9Di=7~0zO?eM-GG5~}JV4r<2cS#OUVd|=R(SW)3k_qGKp%_n?Ic5m6aYre zSu_B#XCLBEmcJc~^`2%A`xDXq4L09^_X+-XyCj$b?H;F7PC|o`QT$@rIb83@n_7oK zZXzDJ#!${vXeyrxO^JJedozXjE{AB_4I}{XQvVO7>MpyJcnv85HrRFJ3A(pPH30CuJ+@ zXLU3}tu!e$wIl@*TCH+MwAPMllZ}^>>FcANDXdS@$!pu6FnLeRq+o zBKxUck4@JmS4Ryggbu5FO9k@_JQ!JsI?5NkKMY+~Jwm}gQET}bIKd~=panuciP11#cxq?lUC$&g}8V3*WI=| z^i6wBoN!7;4CAqIUf=I__1HJ-YP-Gv>>`&^W=-oPWwlaUThiGX9TSR_?;8otBerCS zEFF`c>W@h`E`bB}sP%uG63X1FuDs9ac6Hit453ftD%#s<|36J`E@MQna?UvMOQQI! zR3IjFy25ZGSHKmhi*khD*TZ3p?oTV&x|_Oh#;Ub`0&Y0R3j^nPVX&|Iv8lHC*z|S2 zIaFK!=B92h1j|Mz#Ommppr3R<$tST5D zW8O;vXZC-|VTX~&Nv!VO%Yo%R+HL1Ozkeoj-28lsdxN)7lrStZl5pcyl_$J9WC@bX zIkrx63elkeEuN8m>h_<{Y?Yt3t|Jmyepi~w?AbBxiPl(JXmW0e%I0hHC6c5`>XK-H zA83)x$PY2euWF1Jtu;pwsiYe1QT+;k^k->rE&zYHO%Cae-El}tJhp|=GHS!E{kF2X zIc}O#Q#z01zT5iuPQhOgf_i}S=lBdAB%8}J1<-PIRv=5jgvzJDRok9GCk$LNw>#u> zK!_tD2KxjoHj5dL?rNg7{8>E)fItdvVm%HZ#?cEIVj%+F)>+ZE>f`hQBU;;n3rt5Q zR&aj+isqceQUX&;fdM!|Bws{{oG3vtORWnRze=e=SiFe8we(TO!Xp+E&8pq_I5v7X z*8sa#D_DlU;RWP`)-i|&@=n_TLwqcrWCY)1od_b%r3+3tyn`fzV&G{p)*Nt8@OtJM zir6XuR2|D0Sa`bZ?vV1?*KeNv@(evHEMR}d3veM^tP};n2y$HSp8fD6U2Wjuw<}6S zX;ycZbO+lb1^Sxp>h-gKJo^GmXNy=5$r5-Y{1o%-LUPny9Rq&Mvto19eKK}3Mbr_t zOrcYXGF#*39AI-s%rs~SlsLS*=@3TZ(5Weo=AHoFx_5VPD*q1Zyo;d%wyy9oR0V$p zagfb#z5TlZ-0L7}*Ms`VqR3vqa=!uA)ewnf=?fM1!J_R$kj z4sJYsFNCb!kcVOJImVCFV=8da*yvv+%uPc^5LfbcX)ss<*^KIWNEX|Tb>bF3&uR`| z&NLXWK?&0K!wXxHd4l=8yeNwd^R<6{)%3adO%uGE0d9M}K`S5DeS^xh4|M9JX>kc- zK1JQ1%ZFAa6emKiq(ZP%{8vT=A&H=8lkiESy#F5#{cUrL`18Tkk^+pNKMZx9HjVco2QAeHHxZilM3IBp z>dr)mQT#-j!T3jOT@*w>aF|c)Q*&Fe(6(R!R{?)npPVkgfIdQSGjRdtO(?Cbv4G+_ zOSaO|T-RNDa5NQ~fTTR|0JNu-W)~&StwekQ*^j@S>PT+K=#Qa!FFy4SrI!PDFrIDA-~6a2Wz= zl`McT18}qi=&H5fx)3u5w7|p?g(jfOQ?)DgQ9-nt0%N*CRT#*7WBn|gn$xL}BwbS_o-gw#tfK*#M?cxpD^jAigLVxjnSABfT!OTaQ=Whuwb^@5n`NAPRkh>o(M@ z01!j8v<0RU*&y1em-k;1*&z5rt#2?_Xq6e_y7W#M$>{eok)6} zdpH5wA9E#Nhhl#!euIXpk8udVfG)^+&ucoCF(e!B;2KKvTWQ!CV&+Rfjdcq7M0d7q zGMO_?CPjqN^ELVQP{0`)+X649Lnl-3&pkT!_BHnQYu|rl5)R_qk*_dmu_)p>$5ntt zgost&_T$dzCMVJ?RdaD*ATGxw>!n=Ac%(_!nIwzw$e+?K#+J6umALu?vn%i4CbL)+RG5?);O_&SazbOcOe-(Zpc9=mO@v^$)k>V4&M?2=n(=DE)q zP^I4&ROwmuf0dWiwiqG+`K1>TV{zgF*Ml#<` z2N07ixX(=lB;L}8qJIJ}_HdO}S+$zP&7Yk*Qj5?N!x!C3``XqH{I_>j8Iuu=&kq&wkXk^c4>cxswO`eW*X66PiwE zPu2zD-kvaYnuG0IJi`wbNQ?|IvvM)^%KihzHXKTWJsh_^904Gf5jQa~3NK7$ZfA68 zG9WlJH#d{bBWMz?f#i!@`vU~I@ngQRqK34(M8NJt3+ z0ulm(bcdppGzfz4^!9%4=YIbGbKdvtobC7hT>ZU1*R`FoGaDH5D>}j*z-n+9l3z#w zC=F27HMS4}0)Rjf0U%HqkDc8Ff`o$q#_`zAz@7*Q947r=8p@tvdn5`|u}7j5e|6z7 zfR+~&AS4115|WgX@H8oH^dR3D*(`f!@vkUc4fGSpC`oG1&NCD z_alG{#0?OVl9J&2Z4OX$2YW(5_Ar31J<p>;MxN2;wh+G2991 zWA6zDpa3WY1co6{CSEW{uqOZ&9bl}f1JL&X!~Rm%`AdNh@aJ*>LIOhnarejimm>)5 zx3N741b6qahxtKZ&HyI}6b#T;(-A=WBKZLJFvnkt_D}>IWpD3o4}sb{f1nh8r*02W zQ#1tFqbmGU9|GhF@jxO35D@6E8U=s3L0z*d%uyNc?hb|_5qQ7yQ-OGbL8yE86a3R$ zHyGRp7V!7U2?BF;`c;ObmxrJ!4D!eetf}%x2L<8%gE@nd05PDHxVV@Q0Q?95_64~J z{t95?=K=mL{0*aO2nz6ke|rF&P-TFFAWmS^2VMZe-Wv=+dU}C_0{&a@?-QPo5Wo=v zLINDX&JY;hKi*L=*y*n`s{fu4Uw|bLML!_`@Ym}S%{K8TIekpMvKuAbP93UYf1_=7M9|L>HpFIA{e^wLb1P4g{l`iU@ z{!ZEZ4+psZ3lW=3Md8yq27f4pXvVFaQ6>OX zjX?k>xF_DP#!3PKf(E~!zfQscL8JeiM8pAtD35R-2RQ1^fB!~Bh5n$94$!}P{2zUh zKazjLLO_%s2Yb)|0#IQbJncbXDA?)0^+f)_|F%b!E{M|nHS_;qQYg&b1L=nV{{sr6 zGIRd5hQXfTM_wpK{Vk9}#Y2%CMPAgd_;uBP3s9cjAuun*KYm34f-tc2@0E{$+9Uoc z8|B*rl^EO+f3@*`1#tXFA_)-m1Uo^&z6dXezw`N5lR#dco+zu|(}e2a-{;@!5e)VP zgYf2O;2@a@*Ow8Um-UKtKK!5FW38@t#UxwwM~fjjW}gMP=wRonPd-wzbF8Hv$ugL$ zjQlVYNXK(me+*`Hgwr~YOJv1tl6*@sWFWG$ z#I)p0GoShKM50$@`^D#yn=ZumL#bVWJD}{Gm^qUUnV?wEwTm8S!OXUf9Ja6`P9*iT z%=R+TG#$S|kAoy$D0RlueD~Y5Ow1WxUVfK9(4Qr8T&&$!Cte##Mnmqe#au9wI!Hs2 zlCSj&e}TrKBzCS`nUTywQ|cbcv4UYIv2s0CJkXIcDB{)Ztfw4$Pyg{~i&rCDY(}o2 zcjcJgb}P^1yC4B|Yif)OUwsyv5__E^+WBzyw>lAMVIL+XBLJ(hYw@S<6ui9R!a@gq zp(P&sakz-h=LzadyM){nAz|wbIjH2|+H)mwe*-9^$B2{p!VlRD02wVinSmyT9<%GZ z*9a@0z}fSDNc97zG}!5v)_0x5y-|m7wgU!=$Clw@31sfF>U>bCEsmnZ6keZudNiq{5Dl#FNHPP8d%htoSkba^VGDS>C=5|oY zfAC_VMtt;{Tv)4IhGYov@#4hc9Tmg9B;tn6dxpK=@7g3gcpeH0b?I)#Gunq~jk&Dm^e@3+ehoiFE@gUwPD1q{&HK43?v6l-cg5KL{8XnH; zG)|qbySvZS7<2)Zrw8$@M6(>!+5{Wbe73G~kK7{u2q}-yuF@ZxOk~!)7yokV<@Gl8 znGwmYEpp0SCZ~J!D0|RLfs3^Y$un9`Hg(VRS$;s^=GmEHkiEz!wF)Rke@54dq%UR- z9d^kiGF8J|v7)zjL#B~=!E9yXmO#0Em^|DJ-k7!M-CnSlD&O0f&Loqb-yk=#be}I` zV6(is%ZjD?drL+x)d!>fyWU318FQtW`GzVkcr=7l3buR&gOnrrM6caQDH9x=pxcU? zmj*WIRgF15^SNYYj+#RnfBtSZ!rSz@ zBbo?mfD%)mC)o*~;6|w9mt3V9`9CK+IdS?L5H(>#qT;f2D!Wx2kdw2alrge16Lj@v zV7>q$?8K>j;V<+eh*2`F0Y)qFh%=n#^BwKzAEIvha#Z`b)e1AFfYgd5 zDBrRHTs3Zm>a!dAf5#jiLJ6El7?umnSbG;&ug2!SOj*G@!fa;QUU9^KIytr`k%VR> zZM{OYaYRJ)2qtfA*l_1En|yj3Voz{_zFu=MKhd~O8T#6orAQ{}OU4f`8#Ln>JVmkN z9C0N%lEq?g*kX>!CQfZmQp0#B%aacmm1Nd}Snv6Rg94&Ie+&#M6i#LG#?j|O2=Clf zg6zjUU_*gORtt1>jZ2}pCL*%!*6kUlhuu&!CobMRMJ zmSSi$XV0(shf_!tp)#` zFq$A;KY;xxF(_)jn=XECi3;C+{X+Eu7&Aw z8{s*2e_|lI;*Xm>_lOR(_%Wid&_MTa_|&_-N>LiaPwf=75k-Da$pX`o7QC5Azwtg! zE-7Suo37dnO8oe89wSwEV0Tuq_MCxo7diI?x&Ml1q3yohwK_`xXO-wk zN86j`E~g!&@Jbc-3D7{u^2Jp+R)lggaRy3l;w ze-@&s880=2xFv8Zk{~Pz6Mf&p*nkXkx1mkdeP;5IZc@@1|C4RWf&Rem()*4-UHwdQ z6GHo%&D;k+XRXsbDj#)L9;Qh-N%=PSrakwLl>gn1PbSgIE5U+qk&oL``m-bNmcto% z_Oqno2Rz58HRFolu63sS+UI1xu0`zvf4F>D?=N{Bgz9Hr9^vUJ}L^N`%JqsEV;>IYu3oz!NhAtd* zPek)Phqt3m-F1!q$gg)Dy8piPeJ%W0GO1tN$Iy8>!6TnX$cBtCOkgH9`srBje{KW5 zj#MGpZ@ZogU{0~d^joH}mN0~?u&RCxOZD)mQ{$qS&rawA?OyanvldSO`G+T?iVO?fxUhrsfAM>b({iP; zAKj>?Q|`+8UFPd~5!k0=@03=&?iVN<_=b+uYbt#k4HbS#-0G&NX&uE)rF%&f++tk( z`KLwZJgk{EECCBECuy3ag2yJ2VK9aB2S@>pXoLC($E%@0f7#Ws{*tVVF2)bE`}L$h zcjl{j(?Nu_AuX~+kNr5^_Ykr_NB}h{7*=W18E(yVZO_xlu>-a1{HI-txv@gylbe?8CheUvl!fbup zg%+8A?(fFt=Ei0%x?4wqc?fc9ExM{B?oh@w&r~=bIk^^jdYJSWQoCWhWQHHHe}5LcYbOS9_{+#ncNbuVx*u;^ zLL^4VDVuilpC57ZP~JRx5Mpu%c8rvzn~rxo7Q~US6n3ZKE*KeiI&G`l&sg6mzVu_| z+N`r$_T3>*kJmKy zLgcPDg=!?U#NE-LCkO^)#=bh|#fGv~X1fPBW-a$Q)@{BmQ!Ys{cf&MS+f`m^^F3YN zcD&}s2!clg-W)A;!xze{pG5S~T67*F8huO*f4l-xC=s3QJrSY*|lVvNW=CJKfbciy}p$Vn` z%A^zSHm>YcW_tXO&^vabsBdLep&2dC&YSgRHoG7rTr8q6?1f;fiV%_wJz+PeV*3-g zmzIRc(_rGArep8*o$k|M?M3r|eBG%Pe-ZiFq=ZV{W9#qI<}@XA$X1Kr&IK7D1vgfT=th`{5ZK|b$T&ZI7F`#ioP3Oe`Jux zA%R2^p`UxH`^#uMi!PjeNMMwC<;BhNwNd73$v7jk*ZcLz;g2)r$BpvcTHzgnscJ0Z zrULcA``cLPr@TwrhEowh8kXUy>JM_ep+|_XEBoQTa4qZg*(&BypC97-%K|}h1tG}Y zkzg^B!(y|Ik;+Ei8j{jiHMMVke=tbIHku;Ba$n3;4)|?<8h)FGZBiJoEcQd)(|N-b z>n*X^C|gogRy;>weNuCGEY9PMW%a79Imv>o9fG1dEM4zUt6Z*B$nx;bRRF=!crol~ zKhJv1y5A6e)SUW>{#*)ev^$|d{PV=xLtG=vE~<%axSp&l>t~!>&amybf1N_LWOIaX zWP+H84xd=*20sPOa7oXBlN#jDpG0nwJk7>r31Zbu+(mD=n^k zjXv_Ajx+q_0Ye#OJ`qK)tZDhnS-nL`9k`?GB4UAX029AgeI%X3oN*!svY2qx4q+gjP^1Yi! z>7GbqxEHJggYDI-<^bW&&q7;$Eby(}M?9u%wl}MGVL|*-6o!ItOF!v0fr?^xGNjba!m_H&HaP4knmxzv59%%I9w z0OEn)6lt#jsq(){>9jr>Bkf&?@N|wo84nRfDYvpFZ1(7*${_v-XNe z%)|(b&8H9Ff1MxQN&y?3R0p_ZJXqvzhn+yP0(oxgi2Z5hk=@YESX}+@N4s{U!#L$0 zso4Ros}-8!RLYs!H_8}-KJ`!C$+4@KhK)b6y)e9H{GhCJT6~hyO6i;JgS*yM#_&X~ zbtUgE2f<^Oh%ME$`|l$ITV(7oiTd%quh}n|7V1nafA>K%Sk~Xd!053o>RG0=t_iEv zSP_1)he&VVX=yJwMQZ#eI%9#UH#>Chk_z zX4J=~>4|d6<8oH;v34pm%Ngml+zEcX8!x2x{VSslk)nuq4esEEexCPa9es=N9dCR* z|Eo_Xf2}K5Bf$A(atGG)ygQb8{(j@B(`=Yvp_)avX|XIvBgH*CuKp(q0m*WA{mk!o zA4YH8ze=gw_EY%W|Fg|>{R-#zUkZI1GJ~Li%tKi}B?pO0C^Ls|Qv2auh03Up-!gFc z9g8p*UwdusSfTa4NB_){9ely*bub)A!F+#Ff8-k2lt9(j`P^puMLIS2bPj*OEB&Ol zdi|LzVPd0--Xc)2qFriz7H zf4JETFIyFyDt5{HcD^1_{_vQS7Kgl{t^6!|ZQCK*@Fnf(VZAYww9vKx9FR;y>yPbC zgGRg(vhkQ*fK1!pN{_rKHe&n7<^`qd4mRH=*i3kmL{66qPR32nAF2f!G+Qf?o}@LM z7yi(Ce@G~L_FWnaQMaLa`?GNUo3jrof1*74{@3jSpw<&tP?M|LL}AFjm8so zF`#b{n885`C(D?I<9mJ$&eu@jC(o|6YOQicjgXYPp{MA2wN~BoHlmyd`Cl9=e}_88 znci?pYfswwc!0)D$TE|dmlkb*;-70|)74+bwk0gbMy8zHG6ZDyQ!WJEYIM6lM8eb8 zl2>*lhO4_)Qwj|W248i}J3#I)u@G z`Z+y%$>|Ess{Y#=o@|wlT!HNuJn8bs78CPt^4QXnf8AF<0Y|;- zYS$udK4(?|Q!z;&r3hs=#oZI_|IBmg>E@VMZE|Dt&1x$hhwH9Q`lp0ff%bWr!(MaC zu4(%t86?*!gL+RdXEW7%KCZsJ7dA!i!bU*$WiY3cT;C&d(|M3}aosq4aFXjNCSgOW zTIIT~qS9;8qKR`=;zoZhf1w3u(}=n#)S3-CI)%3}caB|v$v|B<{#>6jX!DJ4O^pK0 zB!}EmzSE<`^zc-7wO17VE4B!iC=MsxQYPLJ$`}E%dZ~fO<8r)QOO!Oo)UxL@MVk25 z{b$m-!&aFbXl>WQ?9WBJ?9PXKBw(Ux^w-|(A30x`Rxk}#idVApf4$^h@VrnMxWSPK ztmSxn4aj`=g2uA&fVHg%LAhP)8SQ0!GskemBbf%Ai0OX6RdTE>@@$7kOl~$WoHi+k zJR+ROT3-@(MEo4xpW~+z9k(Jqv@x8flbB;73&O(3WNYOkV^McnbhOvwTO)QI|CnM3 z%}x3$#VQ_?RW(PLf1f^u=h#NPzQPiG+IO`DzB-Rv8k}5{G^zR7-TFxEm`FSOQGQl7 zeeGS5_4JVeZPKg$uR_*a#qXXK7&zrw2omM= zww*Lxeq;=E$_oSE&i6)MDW{MOom76LZ}(0`uhi|0u2cT7f5#LamBrlr@O9&B0}FDZ zRSvTzrZwZQb1-!SGMbUI-2?7#%A1|TYWvqdA1GY@_E3uk>0UK)aXURTYKg%8@mL&j;6NJwM`# z%)w&}WE*=Pe?OHE0nMCfwJ=)+7dy&6!N|5v6fcOYsS1>oI;n6<_pa?h8*o{>uR9aq zU}%0#6s_&Y#s1YIs*Gk}?zqGwo@-br#rZ5C4_8LCp)&dW(nqK#*e8Edy#PkJX{{t$ zva;I~x>p$+t3$@((Y-Qy#WFL}UySt5A~s~^4<9^Pe^KXsRC#Yn3-8{8!V8}&!ZVKJ zyJ9}W0|`CZmJW`jBwS;WGdk4}nO~8td0ONm=D(IhG+l`y0i|O6IpYvyZEN z>Jk!1e?ECRJsHhFCUeo$DP?-Hw!h*rCOSE@QLH$!f3eS1krf}OE8FVIDv5(V(takQ zlQ3`&IIQ=y)KYUbQx)0vDiz)QdYO@%;MYh8UQa z&Il$hwC6&f2_1WL;d{$xqm@PmU(#z&JJedqf1{7@BnD>i@E%cb`ebyF%CF6taAT20 z<*==ZTV-RUfm)(9X89cti11!Hig0*k2wuA9wQ;LxHi7t>L`3C!v(H4vK8DoQb^IMxc*8qBTvAt3{ltGDxhFB{(l zf04g=8*`Q^QDa1Ky7}Rx&w~=`Jp0m!BJE86mUuc%BnNy%KPvN{qEL1W10>;Fy;85h zDigqiE_hvwgS$YvssBFW{Hi{d_94&WiL97&rxuH21@l@+c!R7Yf!wT#F{89r;oeG5 zN_;ZfC(@(B{N!hAHXo$(COTp^@z5d3e-V}kQaUt&%w2@+=NDWVqy+GH*e$rdQ^I1k z*0z@Tk)6_OG`pHSBPT#2ZbV;zz;f{0*JD1^w<-BL9)y_UeRr0MG7c%D_^TWl{Rbr| zv6n6SYCRsAOOHJxvFYUtX>x#ykEVjX&_Ho&F?T?;45~4cyZlIf108f zt~)y!t^#DNE*;8bW5YGHyF8t|J~Ei#UdHk4$D_=9s;TJvE>PiSeJ$loA76C0uEZ&*KTDUI?nhr;ejL zNr*{qb}ez@hut$g3Z8bk7`}^6<*2B`;j|A^m|)3{3KhM5$9m`l=@!p=5Te^)<7&x3zuYILGniPH;UB$S7PT^?eaS~;uOIaL9~3J-b|bL@BH8=_ z_$6PLl#zf0RpE-Bh|$rZf5)-;O5AJV?-JNb^x|XQQJtaRO?t88w{s<+Hp}_)=m|$* zF|MUYDU)zGt0JZB$KZi`>~RbWA3cm_V>{V7c4OrA_J6LxS+q-~Iz+rK9oY# zdc$Kh(j${bU?@q%EUU_TzV7v!iTgdE@+tX|+JMvzk|NK7-pZWxorVdA6kqqUT}`zE zlaa+`W?=l{B;~jUT0TCb&g>i~xx$m)+3m^}i2@6Z5kt4DqW4gqimjfg4v)B4bd_qU zM-k9_+O>ssk@JO~e>F!TeAC&gFX^yzHJYo*fKBXPNyOAzjHf!~1wVB9Md@_+zV6Sj z0j1J;dpz5X}2D_VeSql%;HecW@Qwr$9-7>Wx)ws7o8 zcc^-ArWcY#e>QxeAsRsxIXksPkVgwU=R|Us5o=qZ-QUk%V5Be$Ts0WPlCrKyA3bkv zuLoXz%%IU1($3JlmFR06qd#zyINANi-_r+?AQhRu#8wF-2!Wz?;NVLyW9yL5%2{cY znOK=wMbvChyOt2dwO~yO#!)|A+(>^QRH!6t#d_9!TeI;{Q%o+H^-j|Hnn_Q4Q{2xs zW@b^>s9MEvNVEkt&qj0g*0$hKCtgOmjY=|6&aEvV zg5o)*Jw=zn{d?(2Q``Rsj;3;Zw=vcM9^wKrIhRqm0wDr2IhS;}0>S|{mx0y+DVJcm z0u+B$zz{n&J_06*&*cXJ3+Mt8kwjwWufP77m1cKYEMectt#VT0uNVsB)zFjgh#N3NtIPjRaSpiHcGgv${FoOR#z@LUBUX^!FtwJ0Vb*} zNa0{on?M?uDi|6Sh~`WcjrEmtRgB71AWD(}?o*X?lp|O=IbepRQ<4!T1^Gep$_Ho| z3k}rBC0hkhMMjiOgH94=)~F<~S1?Fv;Ds^D#4v(|Kx@Fj!_}jhaE&ml#-YhUHw=H( zGJ!O3)u1(Cq2MYjfLS}bgFo+a05qa>BN(rAvcLf24Xj*6Y6Lra{(L0feZH$JaWuZF zM`CX_UDng(qB3B@S77qk2MdA$I8QpaI^F&Xd9K2;wiba+@SB>iy&!{;y#S3tJ! zzo(fGV7BV{^GY0mN*13$6M%5J2}XbSO|JqFxCu(drdNZWxmTm^xf|hW+5t7rJbUIdem2dqg@vqZN3VeFMCC4+tTI*IECg9dd^dojXi&5{r^DO z(pZJ!E!z(4hZP==Yxuz{wF5CLxE+Xe*6)~B+eC{!1&?uRCpP`o?6}+mp;~5^lAT#> zR77KLmCs_3JC@rYM<0xLI{~iVMC2fvT!h7#8kK+>mxRm_T<;S-K6fO6OJPSt%$7Tl zP?F6fl(cFGqbqT8e={p+AT@s|!)qZow@NN+aaN|ZVmU)JD;Xb>Zs?OoucXM*0wyX` z?qThsirB+?0iKYjoZG?dWuPZX3z8+UhBcm0z>!HJVm^`Tk}k*+y}{uT8Mz(3MgtM> z5jnupAukMxhq_q`qJi*Y$$io8YUNyGO}0&L>j3SwHMzI6v6p_;!?u6OBUjwaVFT)J z9Z|AP`INEZHq-1O0e#M*pTJcohcIZ5(inwyFWR6101 zai+XiB(7-;J!Lx#&`8LGq%c2@3Ca-|NHa&I{R(AZ@W`PZKI0XfqCKN<{Q%yoR&83J zc&tP(VahX>PmM$VX12#9-Gt^j3(9MiJlqq=F@mJc$vQiXn&kfuH4fx|F3e{l;h_-& z@_9{hFBLPC&hhXoD9=;U z9BCz5m?`&gyba*x?=0rSs2yeyPgyZwgv-&JXQml) z8=?~)sU;~j;QB(;E3)cCR;erOJspE0X-YbGoLs(}P6INt)M4azc+{L@u4IS``Tqmc{df&xbf4FmI%jqeu5c-$&h?rMiXU ztEAvbk+{^hPfPqbNcL%$t-k^~0WX*6zXDBvbd8Fo2<0>$Tkzz7FIZ_tie=Vg%(4+B zwE=B}@*DDZt5oLmV9Q8n9FUa`Lza%AP8y0%0Tl`A_MT2L3i~|xzUKn)k61>d1RdSW^xgs&qvqHS5 zx>f01f93YcISXBjHy*1+r87HBK4LJC_?DXCE%byfR3$Pr&BJ{(HqXwl9tiL}zhgMz z=(}3pHHmtyXtz~BK$B%_6z#%#)Z4PDUeA$D;o98HVd#a3;nOJ_qrXZwroMhE?lv2{)m6#zHdEz^EL)HQlqWA>qq}tf$A<4jAAtY0xp2-ZaKQ0YfFy zFh)#c{1OpzD87+k1}v!(oq}C%M}x@=%@HEKHSw1C5@87S7B_RkjB8urIwcyVM)=Ys zf6=69C%W?SxUetwwyd6zat~XD#;thyxpgRqg%L4ZY5j~5;xEVmDlvl`W5>1q<%O2-3!Ien#+hq^W%+@R0rRBN5>Pj2HFdd_K8b&gT5h#@q2NJUQ8adHCYhcYBAszbOe1e{RNC zi^?*`E`3q*%=zk>#@wJhzEy=FDt=g;x$6_qb#JM=1-OQ%q zLe!$3UW^yl;&K9if7aqkTz|g1f3BxuBK{+8#I2Z$nV3y$aVPHZ%bc6~a>=bZt|RX1 z`DAt>=3*fh^`9_qDVEpsx)%51Pw|)d^iS6LU;>g_TYe4nB?#ZV+kJU_%n<4U2n|Ar z-;kU1Z6K8CQ3&6Nw*cXZcqe|%Kq7>fh#mm4^Xm!t;_dA? z19>&C$AAVvIBoE`n;62wQ)ECH6UC}>Uq7GEY<<3{^NdpgInuz6`L++_w(*P`#tZp>HY0lJqI`0Y}4J{ z+%Lo*y!S57ZiuV7VaCq3T-3J{7Ma7`V)98WZcxzvhW#Wyi@(L+4)uK2GO6Cmq{sh$ zfB1%%y2Jt=e;W#N16Xr7158>lY?TBKPWDdT>>~_*V9z#=t&;gBjvdXQV~@epS_#c< z6^vi+?(Uyr06HFsKc=Y&WRTxPm*5}Kr3Ul;zCo74ow6W*Z+rTuzK3rWkAMB?==jYG zfaB!-P}I_?dX_u|WUSfT8W2F|X#v^FK}e`Nn$Kr{f1S;i*W6k~1G?kp*?2C_=Hv64 zkfIhpfR0;OU(~mE%g>8?*(5WLWRod07xnpa0x{%vG6htp_0TYe`aV4K{!YbPr3Nzcu3#EV;C(NUC{E~ zaM9+PsHg2Ws#JV@Bvy1PT?`x?_j|?beY;%semie{d-(n}YW{ApkO9RFz6TGWYT>P3 zsg~Y&yV6^0y?q%|YK=K>LbV1|8WRYXl=Id{f1hQU{agCS?UMfS(dp~&P7aO_;UwZ7 zMnJ__LDde%w-&!N(Q6P|9xm4a$f1-k2UGspJrqT)z!M$_Jp0r0*~Mgf1xrmXFClJC z@mGN#l<|3jkA2l)@%ytS-C`$TzB^vj^rOJuvAKm5{#KcOZFn%5FP123g$Khosp5{8@q^>yH zmEx$h7Dx8PvD=H&IZ(BwajGkgOD$>a+E%tFjoV(D&Kam9jp><6wM-S(*z`TeKS7#y z`QDM{3x2HPS{l=nCTuTFyNd1z)AQmKe_GJUl`uN>go)b=(=LNM!t{I?>$L}kF`*|+ z+FqD$5!x2V_nf#Tjr412Vpp0dx0j|{Fsmw{B<)6ncIP8M>6nK@|4N zZq}rB{BNDEh!2Ek{8xbm{;$A22n4bH_2dEy0sb+*;(tug{67hrjMXU&_Qp`3%&tZ} zPw@`}{{{TUy3iJ|H|e zL^eS~Ha0UcGdVCcMK(1=I7T!%Mlv}#H$gNpF+(vvT?#KuWo~D5Xdp5+GnetI0x5qT z%u6c-U=+sj^Ss8mj+tTHXWVDp#@$Y8@(~m}YYWZJCy4Dhg_8USh^szKmuMKy$wNU4SqR)16@2*o$m zD8k{XAskhm<6q}2>YT@%i-J?ybuO=*^1E|==iKf&_nXcmcc1okY8jzY_OS>0YX1t4 VE&G@F$pRk=H#0E`B_%~qMhfS-MPmQ} delta 18326 zcmV(>K-j;{mkXhk3y>rNH!_#ujshsLPVEPOB1g&LQC+Ef=8W!vGGSV>??t+Y!Esdi z94sqF)ABfHtdYZMPpj8?k4f%s!jDntnM$5{j0${bxeM$4yP)_I{s0}96nieqMZLkA zB2Vgl)yJogRS}|KpPaFj&)Z)SoKpNO%m85t9Yt6tqg5{WFz)|aEU(TQjU0vyLPkn| zcwn&Dl#6O#V)TaxIFYi({7jz@qD+?Nn8|{_^@ljcv|!G4X(nI(^dV(QOA*PjrJ~xh z2w5RQ77Go zx>Ok8FIO25)5<_!3vghO)fprJM$7sbmJ4;Q=?@i9CC$j0k7IDfloeO-Ccla|mWi>= z1aCG^0f+ut`g)Def^bq!FS4t3edkM1&^W;8_*#<-sp+j)uW3YB8ngpIvQ(3Qupqe zus|B>S@`Brxlc~wYvFTQAtk(z!eU^#%g*P6(Q9bl!#|kP#bZO5%=B^V%LIqMfc*-8 z4E@;l=QTAhBeEoNh}}lWcT;?SI+0>=Zis!cUgaI$o=6z#F#b6dPVw=ChXO^*a``2p z-52CELsHYUsRp0zrM#a8(Bw3kbT_D3V<}3hR9^MO{ zozPQfJKg%RNBHZ{!)1fH3YD9#90^U4Y*l;z1xK&zJsm(LA5qwf^#}S=#dF?T5Az)V zjD~QT@$T4Kdxnc(Gc<<1T`%%EF@gz~F$01RjL)Qg4!zzEi9>)14!ZA4aJIAbNR*}o zB)AVn#lXo+wKtxtVMug;qL4T!zMU*2`p0P@aeTES&J;b$EPid#MPJl{Njm%l({cz> zWd7A$^EJ5_XPR?El0C0tO8fC#A;=sH%Y*>?gqNRuSZ3RUZFa?>x~sYZU?>n`Oji1) zk3MEALughke+5Mjg~u*5qo?&S#ycCW1rzhFpEL`401uPEfj-86Yl>j0%oATRHlwho z%UTb>B$q?2FT!4?W(u0xx_^5eW0G$)%$`GWQR)y-Ii73Hb(rDa6fHOof24ok~8FCfSnreNX`m>Bx* zN33jtkj4>wAEv~A4Hd^A#Qk3kRVV-`gLkaQp#1j1-_HRZJ4JH^k|gw1GHT)?B9?Lh_04*Mfm5eza;ek?GzQZSox(s1-I;5TFwq6ctQqGaWGEu|r+^pRdvp@4 zN)cMRi;+)71Fvmf(1GF2;q0{WH+_A|FN%t{ueOUgKSpGKd0BoSmOOuK4WW~~cW1EkG)0J`+-hY4)&3KM~#EVDk-lpWtt|OM)rT?r}QhBs3Tq#V?kc!`R3V+m%LmtN=jO?)tjr8F{Bj5O4E{133oQDAG0?%&2W)(&NKHbvhn7EWwjfx zFSyBWs-|^Q*4=+@UyaRWvu#FvavyHD!`S02uCwv;i=W5;e8D{X0@C}ioD*DE?XQP?1 z5htjXAf+nZq@NSw3#%fH!5< zU8ST{6oeW6Bu$NX`#@8#aao;x;(n65=Otmqq=|ml^}2aWnOr+k>do~;K_wu?{@XrH|uJo{e#Qd?Wn*%=)Zij?mg3C$y3AHodd zW;K7Cmb8siB+qT;%6o)vSEtRw5c^%1jkii+aY|I_7yq(eSBJs+Y?*)6mBUW%YHfWk3}7XTt{g==1|bEJY~oHc zoRE1@Owq7%AN6G5g}@d37Cb>PLi};q`{$jzcimU}8+WS#xnJZg>u_&-0E9cl4>la} ztiHA3!Dz<7DyQF_r^Y~cp_uDDZY(O6C z5gmqGA_fMGgK;R-Vn&pQgW>- zD>dc=Gv2s#J`?2Lkg30yn@gp zAxV>l&?3z-Q09Ws4BUO{b09IU#G_v;L11hFTxM_!cI(1M4Q|<4RWLlpyqA9h%IuTF z4kL@>Slzpq1Ic@|+s^xb|4ig4{CtXQgSSxRFl;j7aN|{#C;U2O0g}r(c1}_X@u2`M zo=yAA$)C?`m7lh*W29exSDMM}*)gq&_E=izac+ys=410MlB7xMl4yVzXpzjw4>8HF zYm67IHAi5nq#Er}{RV&Z=V^a$E&!NK4(W}RI3yh&yTWK0x8c@)TiM(jg{IV$uH(4x zw*I|S@D`Y$9^m*n{z3=I=DbV+upFHg@Debe@+ofBCYjD8Vc?Rvm5|TzAdZ9>>=Ufm zEM_#it7)#K&+0Ki1X6Gl>v4cFZoZHq79yZ+ofU1XK28rXqO~o!z;u6PVg&~vXwGpg z#W1yG7{DV$>P3{Oi4qjE)Vgr-tCSj;#f$h`OCMz{Kw=@0tlEu_W1|Oj4UlWKf@SC% zUO>)g9fNql@3ajt#J}Q6M(_jHfgs{sy5NMvJ4hlZ2A&pU%>iYC*E7#h#8v^I>R6`0 z!qR1Thclmj^XA#F&(MFP!Uk5n02ji=N>PA}z{mCO*^fWb)dn7Zx1vOpW_4$$?m#?J zps(4kUO)TCvoEnUwutqR41qVoPccs}BtPBNG2q8ED-fuh78L0iu5^d<<1VK^$cBqPKrH zfO{Q8?RrojSrpmpSME2!x*8&pEPWxuK3J63@ZPe#<|ZEYeri9uJN2)CMh7>Zz86B) zZpgzh_Y~tt>M<2KXl(Sa66U5MBZw4X@$;;v@YPI%@fwsM zZ9lxQ6_+QN&&z*{vdA!F+gDAWd*3v{yBXlN*Bi9*Vcj>VO#3iToir^jVa%tf`%C%I zs)XW1$dyzGmWuz%s30T}^lTD7X_WW>!=b-zZV`VzSXxqm5w!d$YfH!#C0J;*woR05 zbUtO*hJwJ@dAsIw@bXm*c3pLaN*fX)UA=44$dp6ka)f_5eHsYyV|fJ-X^t@8@PMWb zJ6f%KP;GY2=!W&X3NsKlEe-M{0ZW(#u|91tHssEx-ClqaR@-Ld7JAEsY}(CXUHcn* z>#ID^|KN9QlLr`l|L+S$DHvCCoo}0~(d}=4=)LP0d~`xHQh-8rlqCUJ8oU|yHqb$q ziE9nV(iMMvx=owL`;dc{>VumEO?#ru!Ad@NJ{ZMM zq#2BVwAMsH1O$iqvOYDp1q*Ep7H}2tm-Wf%0u1OQ1UC~GVBUn%${GtOu5)B7EzNb^ zwKoo*!u2rL`^QQuauG3Su+Da+aHA}%nxv!(4XA(n0m|j6Y87^Uq6WvJu&N6uBR}ht zbY2Ot?ZZ~%@41@o&OmO&K*5V*8fibmr^zizVFmo8dYy;>sZbzc_;48lX_YL1FavP3 z1n8=@7hQ;%16p8Wi$W97<*C}0`lujUO@T38Kj9QqAC(Y{lNr5?w2Mtfk@nBl8vxW` z#v^|c7;I|LOFQ!2%(`zZVq?Yz)lI!WRa`JcOgfjUeM0J`7og+>FM%W^GwL6*=gCz$ zpw=h0E1o82NhCmXl(RTi);+)M?}K~}Z`Kg_YR|?^*M92RUcYMwKMYJBr=-P}Bpb|Q zs?kcPw7x2c%at?G2k}M0$jQ*Ij`MYy-Fkn#>OSn2ctUkqv?`)cRchOfhwa#UJTll%y<>&m|Yf#2?_Xq6O_y7W#M$>{eok)6}dpH5wA9E$& zgkpaxeuIXpkJ02epbK)|)0&Q549UhixQ5dFUK(ZOy*3RNfBZ6 zd{4eT6mW*dw!n+&P|4KWbB~U_dyRj+``R~|goF5Y*XcCK@3AYf(A2HU-jwc&V|4sY9Xh)v^c zS=%mlXj|Jt!i%dOU&qmej(}+F8!Xb_W48^qc84oey{}x3T~dT*p8K2uRr-BFm7Z1q zS9wWoiy;D#UwIZW7AG!nJ@|j(JNEyv(0b)=+bjxxXKi1&nzAV0vzfX&Fz9Q@n}_N$ ze0Zv(g~Dw(askgk0ydUeU+>mwyTi3#WtRBkrEUC?aF78{afxL|4Xf!ayE>d`YypNj zf}Gb$b1q_Q7LOgmm}cc&f7wheE;Tg)SQOF~I~L&Zk|JyN)iuQJ!99N-Z+cHXT)5&l z%(`#t?Z(gW6t)1A>fPR-RZN(kz|J!*&pFHDytCAVQ#~iv+Lpqy#N{xC(nDyJODc$z zi$?j-{0opt4tOp57Qvp-A#zM92VbPQoIlt*e{}COjqPL^nZ_|Z$1OXo42p9LCiChu z3(geW5nj0;a7?>&HKu=*q@e1IlA5P$DVDwqiv{l8R-D%Y2sza2@HA|@uQuR$twY4A z<4rXt4T~}x2j44wFpmgKTLaB!)3Al>_~!IWQCt0-Hvy)T8-T4{iZiS00Ai8__qmCH z#9R7M^iQD09-h)FtJV{mhO4%|a|6IN*1OG5*7Wse)(lP6kFbBz1H2FAJVvl7M6<8$ zaf$Ge<7pn?aXVbq{d*LRUiI~D(;Ws|@hsix7YEDm%5D({UEf?cw#1KD?!ZDBdWJZP zD6n^2O~7Us-S*aQtT;GrXH=L2!kD6 zs)~74JC|Hx5O#m(q+z2s)y8w6bH8{ds_sLn)Mac1ppfOE!CA}`^1*Q*m$FSs90Cd3 z=whMUa_P^k`Lk2U*&_7B@I|-NzP7ak|LvVs#$*KJ^Fzb`&jUrFVr?{JDrIDVf43Fs zJ7B#I^;XL@sf{C9YVFi7c{&VombR=v$-_ig07zdr?px#Uw1`R(7YMaD*qI{6k;T(OLN41b^TNhj;FYMO|pl zSN0t->!WH#3@|fN^@lABtBQTKtF3}|{V&g*zT%-Fck*Dr5A_FhLeuH%$+{ri+Y^RP zbFh7jXY>%k0*NtZRxZX~*?#~4`4v5bOB}aL904Gf5jHk53NK7$ZfA68G9WiOI5m^t z$`k}SFgY`q;f?|*m%Oq841c!+X(R^HAl=<1&49t!kd5w;5~QRN1Zj}&ZUm&I1VOq5 z0V#=h>U}@=b3gz8Iq!RR&i1=LSAVb1_1(^x8MJh{q-|l=AO#o{!3E^z6$Qwu>ly=j z0ld8Y+`PPeILyp?U<3s8H;%(>0CI(cVNlWkvXFHJSs{>^oD~9TsDBQF0#w`}03bgA zC@2aP66NIu@bU7B{A~zx6$Qvyxr1#1>f8Vo7!(A@VU~rtc)5b@9T3Poe?J1)Y}f%n z5fP!szuf`S&LCH?jTIE2ZiR3FIU_ULSU~`~FdHxk;q|W&Y~l_Ggo`K-kB5f`x0N%T z8|G^Nl>ITl1B`G0=zoCVAXj&gE#Ozn01Yc=&|j@_<1hpC9Ki5D3SF2T!o$iH1V921 zunhaHC!hs%meE4 zw`2!~+S>hU!`97(M;{7)?gmnp`^yFi;rxTygAf1#UJ*e-0U!YM902mPap3utK+nqs z^jrBGM)u(6<9`Bk0oWni0QrIKK*$dqAGnn}2!L>P1Nr&Kx)UYi2jUMfY%232K;}f`)`;3KbHTB@_!}z|5l{n27&z6v;8sn z|LCop!4R*%ERf7~Lm;<69fsTm=>M7;g8r;96=KQ}}WrP)S8>FH3NJeu3pK$X& z`GbSu3V&cvkgXONVdL!;mZuWJ?L3VQB_WXRtN5oA6jX^~_^ z?*6Z%`&)sG>aWJ^wm%8#h;1q}T85Ku+Xu`S*1P0(pXLaOP)VHe#WU)uF8ymC`gGTpJ@8 z%PZ}XamIZS0tlAbw>}PPnCXg>&t)ua-%}2!Xw4OeP0aYxaD2NM^?cTq8MKtFl#M`< z?^}~O;>sDkJn6Cr(c8kP?Z<>tBG-rx!!?#RC z_5jX+f-^#fWEw<_bXNNw>Puq=rWM4H@iW3##IB~PZhFf4V>hTT!LQC`TBE5hz1B=$ zr44=g@*%UoFNOa&SGA`?@O>Bw6{)uhL)LJ@02Nt$rb+`Gg+)f-Otv^Fj*%+gIe(00 z3C&Vy>E~2#e@pxTzgwNXhHTISP5+PeZZ$B08Hud!rDIx)^$fjB9z4p%gh+?Sl_^Xz z%oVmMXG5un75tFw9&~bg07gyw!kzjQtgz_ZSPk`aeKe+j2*3H}IOT<9OnN+!&n!s- zB0TW*os6Isgx+P?&hYcKcoKkwntz!@OBqdr!EwcH_|aqTAMg6WrA7}Ep{Lu8A6kdH z!;fH0-{{CDgW`IVf^Tx zoc4Y!Vb$6L?e5F_=5f}pM?8F3=BnB4CJvT`8muaaCvo8Vy}0Xb8RN;IBcYk4Y?)jA z01J{L|7Y2DF+X4Z*gCB{%r=s)i7|8{}pX&=lFh48*9>*r&8V3 z8Tt{4^^l_I0ApxAq_jR(pnqBROFvnpzG=UeTI*>emTUJ%yZX~hT%hT>*pu}j7xV2p zjYF58CC_E#0K^2Wb1y{r*WRlKvWWPg<3<<+$l?7ECdRWGuM6gzfpVib*wy2#LnKu{ zljrW4GQDh!BC5GkbU8Zfq5VSATt&;HGT?1gWl-AvD8WzH7H%6JMzIX7j#_t>=No&Kg6v6oI zy?KC6*``^EbJ#lJCvah?YKi9HR zg5daANHX<6|81s^@7j+a+J0928wy1bw50YEVNdij8qB;&M1O*kp>$FA`&F?ThR+5| zc}A+ewZ zg!`>25+q9HX(R}kAMqze>TT2r+ck#)sJ*lc!b6%g*?&W8@yd9GrZy*;@n2wvD&po{ zCFpp+BRM&-+wln>Hz$&FSUeS9&-F=5Ta`%~-ktHg>g=D-g7ew2%AR;FtyWqLluwmQ znc2__CsskJg`Ts9P;K5*jktc|q$xpha9b)hqYp?ZT7*3Qq6L$GxkRz)g!(Cs178U1 zIhyHb27iqG^Q(r@x$UWEu$Ex+S*8Y-=#7(OGa_L~QtWyIyon_=w2LQhb=90bok4G- zH_!_21a+nC+x&RV3VBeQE@O^Z>~_+%n>mVZB#yMeahjlv1kpmSJ9HsUZw>2xT5Q!= zE8~la^I{S+9*hyL06(9IiT**U?5SkVm$d0%{C|5l#Wq%>F3`b+wc4q#(>^758pXjV zhYrl}%aWa=EC5Q=?21MndGPv1nZf7v(SeW-tKxLC({0J=$GE5m$JU4(NMfo3pw#zwoR~*fGldIr)YnNDljY;x$NB_F}9KDDWt{2fO z@_#y|1TPmcYPrGLH9(>x)d4VbT=YmM)U51FhPAh%tRy3IurKIKz6Zm0Rq}{n%y7Pr z);7~-LzC!T+b8zHwpa3x=C<=~S<8AhI%v3>>Ty5tq43c30hqtP@(Z8upoyMaq`-9^ zeokSBapJ(uo5IMC&Z4)&9p!0eyE-37@^|*~yeB8Kg83V+%59GPP zkIohfisq0Pc$8ur{yh)&D%r`sn1jjpAGs@I`$EZ(S8b5;$M)F7A z!;Xbx`&2!&?Z3phWO4w_N$`WYXQCqBjCSu;;i?%#`k#KdyS{M7BY%ZhjpCUxlkRgf z7Ffo$6kC*QH-KpasMlRO&-z}`4`E`$6Ho=bxQ#+$(P$?}%Gtkf(&p;r9H11O*#cFw zbDc^{KSnuz2`J6QqJi>yQ}SS2`$ankvaweW^xvyXq4PO$H(ROQ$W zGE(hET`;I;^`195`6x~InH?MY?QHBp&9q+YYoeaCxCOP*Wq*8?y~E=jb2)I)jcLJ= zC|vx_Vk2KS!*|jp{qQT_43y+Y7?%PDp?h`{`cb>jwSxT4uP1#a?xNF?zh}AyG<~&t zFt*|8BHs(?U-_+XBy!-;aoW2`2R^QR+$G`bSjs0rBs&-^l<{L4H{me3qAq2QmN0;O zhex4^hGwv7n144n8KIN8(j0}#%}DD3!gZjg>cH0ud<$BiadtWWrVx9xit-O+2Z?jG_yc1}xXIqx^(jcJg>ew=Y}p zbglJ1?OWHpLeuy!UGA1&aa-%Ee#TIob_95yD>B_>(}d>lj&b|tG>ty^_`0EpVsWfp zVI=LfO=VSje6R%N`z|{MihB<^hTBTGF?hB-FnS|(gqzu<=I39gd*j(Own_D9uqZpH zWPN$})PIQKgL4w-`;gQqgdE@Sj&agJR%!d(&=bcOAI~XH+rg)<1INacMvF{aq;3_ zn>7@VF2?6Mg|#u;Q^t8=j_sH2gCkBwUi=rZ)u;=UML^(5q|#b9UaXwQYSV>TULbB8 zO@AEOp6y#7`2@0|{GOK{LGx5AX++#iWCkl+4%CRuGjAs*CnqMeCwmoS=tnkojX75p zge|h@hRIUL!zVxa-<+kmJcMXhyiL^JOp8RfUMV8uaXGnHck-52FY$T1!h|ro#qG2- zQ9=iFk3{MI`>Z!z)djx3BI=YQihQ?Ss-G4k5I%y-{eImmCG8wKj!gB~Nq zX{Mu{j(M;oi}{?X*t3Sm>`t314w6<@b1%Fev8`2DGJp0dp&=|}Xw|0Ak$8^P1EkR2CHF!2ta@SUh--eygjK73B8GnCw znsyq6nM2)AiMEG2Z6`lVOxE_@O6vVVSC=-bN+7A@O|}9NHDO1D%?mgkBI!Vp^?X(K zS#q-rJNkR}GmP6zi-+k%x$ITbY)w}g`E?J})thnZYC`dz_q(&yR}7uYE^qK_pwz3G zz-v78wA_5+$>FWdW0eg@1;pQ>@95ZspQwu*FpCzpCG@L<$*IQ ztgSaIUzjZYbg(f9f-ye_JSz$$TGillvdgtPfw`#&@xKWm+^s!!U)k+A4NzS$^vP78 zTH=?Sjg2W*KQ_A*HKY3eY5rQkOYYdqo~^lHwgl@ol$|Vf$E5-UJ?~y9BV<=vS{u8=6G$0J{oD) zsvHPw{Y76v()G!`XQ$_L*@LudL8yBnIa-MY1COx0tH^lYh@A6EXB+4Q}j= zJ2hfgi@Hh4-R^C}N7p}O{c9vUR6<&K5)>E(^|>o~pKf8Go^md#YEOmoQZWuql}GFP|yy_uASR>VHkd)XR>R6}VP(wO`f8=p_{R$P^o%63yaU8C%y8h2@|0MX_Xk zPB<%N7cZv*L*0F2naz;`Q5dqe48Z$7mJ9uUkYP4z)~Aj7(U9_m=3G2=gfl*O^t)H@ zkFa%2+bPCVVH)C&k2bMxS%bHFTY>LM=I}ek{2meE_9ASJ z#3bzry=sJgIC^p4c3yY!76FM=bf#X}Yrr(C)fppmzpAgLwyNLP+z)HVZgOFniIMnz zCoF+Cy}}~gH#3DTTh`R>GB%t6@*SL#xPt-(5iAgqQ==xWr{hrjQ*330Em6sC#Ot{@ z3|)QAQJa2zM}Iz9XVd(zrJ6!dgPaVnobq#v+fav%Dp*6RztI(tXA+Qgi|ZFw&uT0P ztHEp?7vQt_{Dk38anl~rP=8OJK(HDm*^-HH$_rH;X{=*lrP)Rc`}CO|M>{vY;R&aD z(EptUfRJ!6x7YRV}yiFKcjBq zv0j_#IaW7NARFQpxEtkkQr_S*6nScw>{r|XARNEwtv}^Qgx8neHRm{%gcbDoG8Wcu zo_>p)!O0#NG$or-i*m?DePv8cR>M9A6A*GDTYtVye8e1psg&>x<#CzksP8Gf0`7T` zuaqUOph~p19zJ(}L|tL)_a*~DBJC2oi8 zY=36CGn^FR2h*~{dqHba*qWE$_biErunJugQhgeii3(7=*ZxUAA**(pdlKJB?wRU={k6S-?uA0*QpSB2Jb%W}b@{}nBVoSvVwUIxeYoyF znJ*rGuFx|*u$jRyI}8S)MlmX;=u2KuMcr(*-p}vcL0@QdTi<<#(mjH@$(R~&&g%AU$d`=a z=>q>x-r5+7p4NBf)8(%z*{9REe194=W1A{9XRi1Nb&9%c2|Pb+?_oWR(C))J^^mb2 zk6&%Q(YO+S;Lz27yw8|mU&!(GSdYeuy6CY=nPye&3BeCQu5Wg;iSrg5(F+dd*>_Rg(k?o=p*OM$EY%-kfZ-p@2hbD~1GuGh}V<##b3 zuYnBsCW$1}DPSb*q+CHNHUkD<^F$}9_2>B}8lMgVBW6D&G7@xX8#ccU(Y*OF5&wik z)B9&Lw@u@Tqs{A5W0vdX#eccEF_PH*U5Py*;@8HMX|-n;AC7h(OAA1Ul$RBvl6W#D zuRlhmt>Bqi!MSTScy48PKenPpfzLA)ET?O#h( z3h9*sEDJ%CE7OIDol6S*x)cRmZm=NJtA?SSJ8IIl3}HO_6DtHgp~QCVE1}8|8|86JEnB7 zJw-LAUiWciN$0o13xAZ>u%Q@N=rX~Y+J2&DT9-!LYpFVU?=2-)rea$*-{$kKIt~o) zh(!cgp&bnub2=iUnWc2*wlvyjO2Admw33}p_8dgo{nkS4e4kv69m}-RHHw zy*bBe+Y47Rn}eQ*ci^i7{=MN;2}E^NZR(mYFq}~8>YclXW!oH0lgXR$7@30MSq&%R zPyR2SvVYJrlRw$C|ItegUnYfE=GQ9zfEj;JUO#!!SN3y{PHn5s85VR?%Y*mV>|7E{CP_+#A_279kfH%qOKs@SFu9A`%%NHb@O+G`gI`sucuJ(z$ZSo9T%N?^K{`LVq(o#;M}AJ)diYUFD75Q2?&3TihKv znt9OT@wOf4PQ)m057DZF%Hr}Q%&X}LzHLuxuwE7dger@A` zWVKCk4WnCw(ytpwK7Trk_HH8Re7(!quh7S9VQykp-rJl4eaxq}ihO+h zCCV+#CCM>zLAi_b&1El^&(5O?X>M;uJ~|Ak!o>pY>kRW-x=>4R@8?F@D-z6>8pntm zuMURqR@05|-5#KyeR(TYHC75)cDX3t?BB?Xl|Lr&iqQE&XIyH-G6qksRvLMDadn}$%lWq(Hi!%tng{I_Vav%C78_leV z$&a-8iT)j+omY6wo8IlS#AP@tjh^xe?~q_E(onFr($ITd-%%6Y`vX^k z!lChGMdC^WJguixIOyId(Qc;U?y5t5=X^}NDfehea@ml3(-#d1!GEF_dwO2e8wCWTm2{0$h5FcMBac~zs}kJ(k^OIw|R zz3LV5tjwL}aXu`_zJL4SOuvfIXND|eFK*uY-T(yAMc#OL3AHc1605EQ zD1cx!va(3@0Qu5+%d5E^(rj#2ld+hW^GkM~OJ8u+)<@Uavwu7fm%;lEH{)EyZC=WI zi}p3EiSHUK9+372Gl-_#9JZUws!UY|R9rD#d#HSWY9sc9L63vu@PoFXSETgGQ&64#jqYU*w8;vL;@Skyg7rp>JA?2Hh@~#ly>fYdC zS;}A2wNyO;IzeZ_Pu0z+DThM$1H`C5W)rijak)Lf#DC#@KL3KCKXBuA#NMwww8w)) zC}aaq`6UmCp{aTiyZ`d?`1yn8nYECyte9h`G?O1t{jny&8eznMzUqQS&=j_rDTlFK zyIL@_)1p$|{(j_Sc@bJEy>hlXUI287f0b2dDVZ@x};c6@m+{j3~>O9o7Z&N{cY zqzX|bPChZmosnfw30YWjqD}Q5ZdNQb#pV6*9{M^_N<=}(-+7V~^=YMG(x1SH`DR`; zW#{N&WJZ7aUg!S-P{zQsx7pVL9^wKqG?)3g0wDr1G?yH@0>T0{HkaX!0w|XVy8;w{ zmBA1@Ha-VT5}(Tt0v6B(BrJ)<&R>81F)PjPvRJ~tx2r<4v$H)t-M{YX?pX<4$x2lT znpkNUD-|l^WTkE8tf{oAym6HdRfsU?s~B{pQ>CQzm4Qjhrjb!_buiDs>;P8_*XSyo zsI;n#2L>Ll@JM=7nFxa46Nr-9$R7xj6UjbVqW2ho_V4=~|rz7$1%WYkWx8uut zB=%<0Wj$RkDg!1w8i}KNF}s_e)eEpE4II|zlkx8CbM-;OfQQ9G(jP}KeGc<*1tk0N zN8)?{+^VNfD{%m3wfF?OU?i7+y8wl6Miqd-T@XDsqZ;(gqojKtMtGV&X`E>QPt%M8 zK)fUfBi_zuXUFxj`T&YPKd8jJ`t!2-*vNS=0xI<&2;YRkfVPFqEgcKh3qaQ3m5R3j zSt%|KyhLBiToU?9?i=)|ZvaQTE;!nJ6F6V@iqf{F%?oe}&F}S`$0{3td&>I%fwHBs z3dLKt9oP>mJRa8YgI8(?VpecF5b3PnF|EFd7DoyiK6&;^iYzT)qH@b4 ztX)(QM_4bw6Y`XEJD9x;j3jA6vIN$!#uExSGf70uCsJL~1xcbeI6WdE_oLTnAOb!j z1z0-dg_Vjl%u-Mr2rri07yYhQ&NbF#+vL6u&|h1VM@t)f=~p9vY>PZ|Ma>j8pzhXD zOSUPWGFIH@HhV}wpR?#EaMj5n4BDeKMxot{K4<_y1fYTNLTCmTkR~9QAw+0>(1;9Z zm9T^XO6w(zyC})mJlIHsB#`oHz@ocE5D3I21)_0?wv;$xX&j6V)1Zyir=3Qt1Veib z`MjpM zmkLhAmFMRbH0?^VP+oy4sZ9y_lp|izN(HVZDy2?5f;J<&t?n}3tFdwpjq#n91p*tWjvgHceAycCHm#H>73wROl_thEkjoZ*qbYzEG#P9jhX5TLcp|F8G$lRLSlEzw zu1(aM)hhgy6{0?v8BWf~m0IpQ$nxFZCM{KbE`K(kwgFRWf9@Y`)?1Gh#OwQ9f>L`g zsisO0DLFJ!8@arp77J-dA&Fb2AXPO5O>PSzd9?tc6GFA~h$lD~IA);oMiZsNG6736 zSjS=-cGP<2<00QiOtx^Kmq-F-0(v%u5UKHeuf?<%RNOfL+&b_rf)-7Bd|_*{{g=vg7&W8JEBf39-- z+qSBciCLb{vNPL6N@D_T)7OD~%n)vV-&CT5T)dK;Z`8$Raj=rnqU6ZKS zigtSi1jH;`qv#jbqtTX4^_oXEg=O= zq4-9E39zI}bP9I49}OliG)IW^*2G()ON1fRTineFGp=og>y&7e8sSTme?&~tPITqt zabaH^ZCO2G%Oh+Rnzy3m=hmSd7G}h3rS&sLi2Kyit1C*B)CS9kb}GtjqOE}G&N>Rk z11%n*fP>_aN+SR$zGO+Oxsg(6qW7jep7~SDG$G&-t?ZYSczjg3%{1jxsa7&SEbRer z2axzCZ7CbKSr@}QfJ!bJVcjvon}0@YzyXVCO0bf&&{WwFrO|=XmdYIPr6r()VT_(< zt~5LMBPKn3v6k`*c};2)rRs9Tc}#F668(NT!kpQ9WxupMkGDL6B74S$Y?bGhJc*{U z8^4gXYf60jvG{%jzsY!BFV5zZ+vRM|-)y`Y-@udO{TGMNU;eOnxcj@3@PFWXe7UGB zQ|!_gB~P5Mo@mSs%HvyA2%_TI;tanoff9Bk_Qtm_>dEC5+(thVxC}mfqVVC%<@kDX z_H252U01;Vcv;{4iqUZ-e$SI2SObr%@f^Pa`G?pO&&7dwD~`lioQgAXHoKlp#kr_O zJv|>UuEfOz{{F1RrMUWXdw*3=#YFr^T#Fkq6*DoL*5X#&;+Hws^~I8Vb6iK<*7M2i zT+GEnEb2dD-cl^D=5;OZ#Gm3X@%f*u^T7lpwYK~k=xY$Zez*JL=!hZI0}vX75WgWe z>H9z^(}NJc7HmVrbFFAzNd?s3q4x|=O)9zhfv{FZ;sGJl3&S{V9mF#Kt6 z_x;N~!0_#d-L-5UC{E~aB=3E=%(#=sz`i% zASQGwS_}{z-+M*sUArvxemie{bNK!hYW{ApU;)JqzV8m8YT>P3sg~Y&yV6^0y?wb- zYK^&VLNx_c6cY%Fl-t%voMoBiTl&ZCl7IWr+mly693LDV!imG(kARA?dV)WoRo3E{ zBYF)&%fsaw06CP}Jzm{_um3hVUtTRLlYf7X z`)+nJh5GCq#2<(>4~f$~YIej4UlB*G#Id?3j@e$E?y0RKPU?!IT`7)AYjI>x9J{?Z zor66~>s(wLs9RLfLhjZNQk{3E1km+2j8zT(F!uB9w5#QgFg-6$p#_ax38Pa_n18svFzs@;BTUbSu`at;7!!KJr0s?27MpExe9wtn z(n!CSCU&KXa(ihy)mlfGo)6ntNMqMdV|v>=s_lj86k8o(+{VcCoF+aZ5_fB&jx?J` zV&i(^n8z5ZU8r=#>3gvs@?zf;$37<7bnAw;K%wWykfBS7OkuC=W=(3x|2WF&ig-_W z#(xP|;Qs{Nfj|)3Uro-T5a1u(EB*%r&HsC#$ylAjU~dfd$?S5(e2RYz_%E3Pv$dDG z$pUOqHZ(;+L^wqj zML{q{L@+T$FgY_aK|(||GB-CqT?#KuWo~D5Xdp5+Hka|F0x5qb%{fa$Q4ogV`6imU zWpRzmb%~n9<+@!htyHkI5lcI