From f91239ce1976cedb4086b70035bc7b4048c11317 Mon Sep 17 00:00:00 2001 From: Ambrose Bonnaire-Sergeant Date: Fri, 23 Aug 2024 13:52:30 -0500 Subject: [PATCH] revise --- paper/paper.pdf | Bin 179445 -> 179418 bytes paper/paper.tex | 50 +++++++++++++++++++++++------------------------- 2 files changed, 24 insertions(+), 26 deletions(-) diff --git a/paper/paper.pdf b/paper/paper.pdf index 005ed298d0c1178eccbac1fb50014fcd54ebe97a..5cc970682ce53adb829429b65d20e0e40997300d 100644 GIT binary patch delta 24829 zcmV)2K+M1O`3l>fICnxd6a>~B=?*}9Z5`1*etb9l+k#~m82MB_|hewate%ZwK-IKWU_wxDao165T z^n29G+wJqepCmjHo7|)nyOU<~LhRav?emxI#}^^wMF?|!eb!dMHzV^m<>0f6LTG;l ze+BgVD1^FTn}Ieju#Z+W(uG$a(%&ogvJyw8-f6T6)YD47qW%`2JLsox)S9SDqj7Cq z%ezYD2OMKf`uF-=NC6UW6FG&1yb<;K)93FKhvEjzh&DvdAf@B(yxN>Iy9uge(B)Nm z_^dR}m^Y`&_VemW(Z=v!-g04HTHAl5&B(@3eZkMU-xX(fk?3<<*rRhgbo5!XTLbi& zxLe&0@FUU}m-IoKe4vlU&ooVnkrdf|&X+{#EDD87>1HWaZe!-x1)muATDRPKrBkhUwwtluZTx21X6Pic z*j>x!lu4^AT&rpfw$4bODp!9dT^|~k_ZW(J1nTJ$n{ISK6RQkpND$=0s>=Bz#pOL? zAPR9=oC{X&m0GI!wboJ1<4aRfRNs?03&@&p2TYt^l!guwckh@cc79Hit2yrGy zG2W9SBjlMJ_)3>x59YtD6UFivlp(#p&R7+MI zx``%^@MOfVj0$ISpK^t6x_ zmQKCsHY;2?c`^i}(M}{|FVwB|+ogd*bL{~@1%em8!XuK5z3)l#v6eRu7~pk<455i) zp6J?m+*E=sJ@d3xTc;=HA^Q;RB=K4INZc#QYQ8PkIi)JOk7Xor-Uowi&>X;d_PWc$CisMIInFSXPfsdlAgKyO0ri;RZXGwm-5J0d4U7nGLS>?x_l$yiP2D zFh5~ZKJrG%J*s+B$&0H43VI^QOC%U)+5SnDRKZVb-Wi6;us=V1Q#je4(0OFz?g%#2 z4YAYeZPX#|Dm08IigQoQp2bE2YaG9obQrqsucE+9+dZyf7#wc8j#lS~Z=7a2vL1He z)RHOV=AnN-55ru}e2Q^~T{u^bCj?HbSL|$Niw1Bp#;Qy5vcbseqPt;W{Kw|p?_9@@#r zgJT2t^p|qtfFs5qvP7D)(OTlNsn> z@}VB$J#EykRMRP;=-`CEBt>V;mH9}bZM`E!u5<#nVyMxtNR@#}*Az04ZeYb6dXhZG zVJHrsTj`WC?_}seCr$3JokKWEiw5r4>bZaF%jlf~HI{Bu(~_yxGHm6Uh8`gY0ZAMo zFZ5~L60Sq`tn~g!pJ-z>9OY;PDIWaRD>3FZ4$uH+?V}^m%ke;0yDKBoR&#?IE9(csN2BvLj;n%><3`q;tl@tK zG@8-xteK?RwKhCTLI94^Bj|aV5y$72>VK6decybayOCYm2*Jpe!6_aR$$k!YvCPM* z%hs?uOyCXU9rmbGUdoQH#T^QUN9o6XjqDM?9$)ReQ%#xFfI9{Kl6A0}oi2Anvt;BR zirZy7x<{>LltX;NWuo*gfX82YKHz`TLq6bRvOqi))}GeL*GT5TB?Tzih{$6oB;9e6 z?t&^%1t&x!DX(ZKJSM|J6`7{A6@z&kAj%2le@`4f^xbe zlK@8>XN6iqzB;&rMYJFnG@N1L z5@rX=WiMo|QOC#^0Mk~<2{7K8!&voQ#b^9m3*EGP)q*h`)vghm0>o-<^P-Es^oj>Z z2p4$em@SyFtEvMz62cY~l$L+5;-ZJs-toCxbPy+ebB?;u(L==XH~_EOXveT;S_@9; zfwbFk_$SREN`{HbBNjQbvW`nWvn!VXS1x`tert%VNMN4(QR?b_$fH=`XJiKeRHro$ z*B<9D$>!xe#0TaxWurpp-%h4UdDYSOfy8$egJxl?l(Q%Zr46vx;9Y;$R8eE8 zr`0^>k{4X~QKODay}j_PRaQ1OcQB`L$b{WV)v2DpRy}iccG~RDwX^$h_w4!s-PuY1 zaxc?Fk)~E}w=PGLzN_*JZ#o<4XC{|Pa{6A>I!cO-=`QBcYL}$rDr_KQvKho8Wx#GU zkUXet<$PZ{Q(Aup_}@?kWl;K*Od3`TE6emfFBQ8)SHAA5LZXXzxm6eum!ldY^5m)} zD~Y`YJXx_w0*iF@%ySu&Yp7^ZwB{bE0|S3w+fflw8CVik)#=_-t$U~X%ZJ^FmfG|+ zyxhc4*a7)gjW6syji0MW#yBdDBUnSpG_DkIT?)Kaby-FvV2-JqOEqnmr552OhaxWe(C>la^hnxrLb;|9<;DpKP&fBz!4>wlg;!T)}*^NQ^mBwNZn<&QtX_kY5_?>Dh)82V@K z^(EJ{OQC<^^RL?vFrG#~6IsuVE_`udDTQ?t!tb(`ogZB!gB3|NR3RwPRRy9iU-T!r z2qWyhTm()qC=t9=O0KqJKzd-$!)_FeRv%FvTlA!hKErPcBU0sCcI3Kex;+Cbl|R4N zR`2j{q+x)b#CIK`mv2Qefgus?=X46RW)l?X(-?o3!BH$scf=|kLH!9eQc!qtwnLNN zF_C^4*>slnbHecOz?9$3G#7FGlnU+kpw&4Qy+ktorn{(OX!fV(DsvBOPpP+X##T+I zn54_c_Rp$wiGhnMoSbHH#i!Gr`*gZwrIykJ-i(rZtPk;u7e(oz8q@^tMlrAJI=ln0 z^2L8{&61C=p>X|C^C-uTfL4h$ansiB4cE^lrqv70mL*49iaP|K^a2`}=Z{t~wW@_S zBlROy#>3aG{-CRz(&8wk-wM*Mb^dkwp&qLNmiQV(Sf_mZ*I7E1aF7Qmc__rREHEEm z_`G95cWE77w`uW$E-PbHfA*MQj?27u|K5MjQR)#%_Qy7A$v|!QAZ-J6QA1SkdEvo~=q^)F0TOORmH|*q?maqK{ zuMEXiugj8`$~Ogkvn_Zrl&rDf%XN$}47x-eMSo|@NP0lR+M(6BUk(BcY=!E+3MPO2 z%M=2qSTn~s)ui>szT?HF7|bBOMzefx87YPW)Dq=fF&ePqF2azK;AzV_UP~{gth@&0 zUiw<}Hc5I~UDN#OEQQEtVxd||Pbw$#Od}`T+g)~%_{F!me5noRbwdZzs6yDKvU5Fu zs;*Frv%=O^;h~Octj0u5_Xk^6rJsNO$~`S3Zo}4`30ca8tK=SJ*c)+2snSAvr1F~dT$3< zuJ;&i&O3`zvGC5mKU>2{1v-}R^WERxgR2wXXdH94Gg-{=3A(oHq2i~R8)gK zytY82r^;w#*_G9d+^ChM{Feu4fj;fK9Q+X4=a;_^u(Oi>gUdf=r1^c}!K{{pI57^R z73r#m4veHSu)l_u(G?F5QeuBZTrWqD>g^MR=Ll!%aAdU$BQI8GZH90r@~Rb=^vUdIK-aRR1GvGedkHV+QR7+A!*-0# z-)c0Ts%;_*9v&$N2OfdyXlUwT%~>HqpY$W{FjgkNbiGfi(yE@96DNO=82fP*&&v#O z?5YlA`HqE+_dO;B_d}bmYOC{0Rtaz{Eo`|QGOc61684+i#{PW^Dr%H-o$By51in3S zJ7Zr|ID*Z=6tLW8w?xxu=?d?SDCU#0-XM1(ahlVKAoM)xfi}#}r#9$SJ7*{${ zgCgvvy++;FTvK8{2^N3)pQ3u2;vW8$Vovy+$Fm#=-bhdhKAv0Duv=}Xt+eWk!zI%% zhDbS%yc2XX*6eVs6Qx($bmu~512BambH8e71|8ebDUI($0oORL6(`Y?;29bA5_op_ z#47M16X-jsm3i7FBc%ZV%U3Y=&6e0saB1rrrH4|hFC}Qm8gFgDQXpLm5zQsd8RMx zXjl8TS5)|X=&ygvzWii52cHyBi#}V{>yKYH{O}JRuNAwSMzzwYWsJA{2-7f%qJvmy z)yI|AfS@lBoox(i?(p zj+mq$@sI!=hF#fp(UggH4^huN$h~>;H6{80>`Rl%HDiBHv2HNkcUzwG30#60?DprD znm_%I{tN$q28s6~6_h@EP=;Rl&Bq=5ZU-zed(>cuw?F>1J^hfow=6E;d+E1lwJYP& z?f{B!qWt5ZfBv%dJ8x5HwM*+$HaT%a-^&D-?$mpzN?2!%e7gzu5vQ{nDt?s1!a(My zjU9AmMCE_OC&pZ4^t05-$A{ejDd0Rh4Stc^jW?k3vR}W!0HjYz~898;xtwlBcbr!fv@%~(|bzB*Yi1052ZWxo}uNcMqwD#^S11( zZR=CFZ!nrB7ZmIgfa%xCpf@1wd5>@s!ra?q=}v#Wdu74*HFWIv^^BA^!ck}vsc;LO zb5^CJ&)-#IOn@oy*sNqTeaMHW(0rj14{10qD!3XuR@(=M*!4n06v zI@f>fHzJs08P5|qi}Kj6*K zQkUKZRi|%Ci-Y&Ra9m5bOP&Xl>g+7?oNq!(u=K$Q)m4%X?gTdh-`q6tY>!|SyPt{G zLhrDNEd?8_W%@Oh=jC5kO5wW%?9yKy@eO6I@o#E#A4XgAUysJ50JHZQntKB{Ff^A@ z(g75I?LEt`9l3FPeZ^U75Zn&m4?q#1qdPL--NdtVymAsFfMvkm;*?Ik&s`Di(|NZt?iTLp*-&`Qw{^{iNh09ML%)9zXu~8woGOLq4RihY#}M zr8#tTj~_oje)~=cXWzdlDFpn~0e(7V)6ZCcf4UFt=d=E_s{Zux{qKJKbsfi=hZp8B zTGJ5vlMwPFG*|fBS|QX&d}iJI7mGt0`sHKpwEK(y`&++(wGRt+5f<#_)q<7&z=U~C%@(gSB%UE!~*yVz)Ih?wG zT(AFoUT@;cr|bRx$2WiO7OnMRwR!yh^PAuP4j%p|{QLDo99qT4|7Nhy52fQFg@)gM zeEjCk4|vB&x4L6ek4hiHnTkgzgh@CAPT*eQpGY+G{zW^yP+*2|>sY*h;2QD<@ov%^ z_-#T5{{h>;i_A<@&o0tidSYJ7-T{<NUMJ?{Ky>s*7bNVxlss0h#rtAiy+qns(}1eS$8Hen*RWuVR6;lHR0S8-HcQ ziZc0EoJN`$pfwFmf&oYccC%wP*dt052;TnBcd6BGf1NyZ2wjUd%@^ZUnJD6am!7np z!hOy6zCqj}geiMryk7Q@7L*oep7bOwS9@xaDJGfjdbET(pbn?;bXbP5@ zTjYa*wDhdhQujFxVjnjBH_}*tUcL|cs3d$ySPdIFuImqy*Q*FCxjR7`!l@CpbzEa(6F4P(-EURB(Sl*p^oRH#drj-hDM3OAx>Oi zM46xX!V+C!WCb&|#YC#IBYwnmdp{D3b%#(JDGjzi`gZmTGSq5aK$HQ0ggxHfTLD~5 zoYJ%u;Rwc!vnVvZ8%u(E620#SyBbOP!`m>9M0^R?sS3|eGHHJEYsb9YbJb`$I< zJq@7Z0kl*P`VCp*r+mtP*87(~Jn+ZA|B4-c2MVhkXIW%)y5QQ0mxqAEw_MY``7wbQ z4wj+|BxFT3NpHcPz8#k2YLE)_qewI zV$Oq9n@LOqv#JyZ|NGOU z?-sAE7j|!dopEIp{7sU#b(1*0N13AXlIu)#G z`D z67rM76_sh6smi)s=}<4&!(Tyt)2)Zt&FX3M4A;$g6O1in?~SrLQ|9L+fEg< zYcA$Nt8jdv3vFIX*vHV%tgbGtBCF$hd|Fr4E5y8`ZKnOov|_s&nZ1kk+}@&65SKkw zyOqd)Cjs};@wbap#`nO$O5x6I=n!342O_voWg?VRJ+)V z5!oR4eM7k}raXMpF*V^v15}2oXFR{Refy$B;$K{eY;EUFKWAOZ^k(F^%o`>U0{Y0(~jR!GGk5eDkxHr+*Y}omN8A<>(b~DAzC?GDmB#ZDS|MDHkJmIZ8XTJu2 zWaW8d_(hQHCG`d)qBE1`nF$~pJ=X?Oxb_cimljfx?b(>!c$wSA3Q|at7z#f1?3AV3 z5}zjXD*n>Gku5$k&t6_CPiLP+zKIf3igl{lj2LKkh5w5YVsD`W{ti6G4~DlYp3pf= zQ`AKQG8Ga0c(}6U%$=UhNn^;&-~W|=&3otvQRqCPu}IoNK2V{!o5zd-YPO%lD?LK<|SMnCE&m ziVTOh{_ZGBAI8}gMmA=q}6`1)6|QO@9MykHRwb zt?AFoLt6Q5w!e@FIWNtFY;a|MD$oSHwfzln{j$omC*vQmVXfhM?X7Tk&J-mr!oS9>}W#7P4LQG8()Nq1n=g@kvcgwho6;mhzbgkxsH-&=aDpZx`!EsN065s0aprB}KNNR_ z=;#anPPZ&lmja=4OO+;W~KFi5ke^LiujeQOM;0nt8+SDt*(F*^xj=D0FHhboO+u%(oyDB zp(Ca2q_Ea6+!dUZj86UuRpcwB;R4_{qBS6&C0era0BKPdT5@TMpZU|;dZHx*-DOh! zX<1cB3^U$lRRw&(sI}dEtaF&B@3X8m9xYuE_ zFh*u-8I4WJwgKIW!IV_Gc{cwIg^S@EGEy{yX;@g0aOmCu8j4S;MupWW*4U&Bvx%J@ ztUx*ie1#UC_rz6y@rIqFs<|FgwuzO+z=gk7;k4@6TsZiSdf^xi+%Xj@#K&U!VSQAJWj2%-3>0WLhAXA+|mPowaey&3^(B})E?*nSUI`O z8Q)aq&Dtzm4xyYfpiR*p7O`FxM$|K$3UAj5eal!v){s=KJVkZp+W}v?qQT z9BJf^*ruO<(dZs3Pwox9+I@@!&S;X%qxIwia+*f8TIQggP45cCG@(0Iaz-WA+jq?X z??3b|&_*!?nfwQFk@J9WIqekq#VuvMDc1ovt&`#3dRG{K>49M!-|Y@F_Pck?sU#G7 z$L}MIHScd1X8Gs*!Z)B!U6DWGi zwV9fLuguh}(|<%W^_Rt}j_$o`oK9GhBHlAj6Y!T9r`Z4-jD)7l9A-wKq<$ z3GDxWn{j%gtZI_J#jOZ>W>?n+=_TL#8ST-T0D`+|k0$6#do=6zAH*K5ztJ9jk4X{u zic4+n(QEe9*`xJ^Jvw}&Jv#6AwY9x~6ZEA$nsvLgM~9!p9&HXE91?>ODKuZf5J1du zP7kSs3uul8JnO{Lp)(a6klttZu(q9z(f;s%9*xm9grCkB4Rf^RZh)J+AwTTWV-q+* zX9LZD09}2zHAMFfMng0%s;y}-M9V`BCh$q1wNvZ@|>u{xv&vQJxH!f1c{V|1GHzg?L=Bm94>Jy zm~s&ECu1VfWnX_rzxLPeIRqzYPGo*dWJ9CTRfh{}>*|Tj0}=(UJEg9D6_F`_xOq*a zRbHka5;#G(if03njex_-%GBG;k;q`dRsoypiOj+JLH|XL1J8W#hCFvhGSl64k{-x8 za5SpKG#8iXZP)6=l8W%Q!7VfPur|e~7KdGcyZRKlqnZv@3d2mbEO^}l>?OTzZb)8J zgzT^Q*FFecg7Te2-@45#wqCSk6C1Pc(^p8la#H=1qfeI`M& zo~t;TlIPhlKSN8ui&Wc*Z0p#L=au0T_uN^OPDb5k@+z#Hk><(>7P^7}tk`l7JRPUB=^CijFHf3R{<8|5`Po9yckd)X^A9VI_I* z>rkpWELpcK5z_GV)#p@BPRc1;Ism#{$4Rmi(sc<{PMu{JJ6^GW4O?P9I#uq&Hbl`> z`LFu_74<=(KQuc1+6D8d*KYLMvY*Q?qq+uYWT-9nkXMZbZ39SvZkOJcH#tl6-m5Oqrp>oTC#aU1O#RWJTN`v-suvOYgquBQYf}KdCDk@vt+HXN#)(Bn$(vP= zF7Y)kT5SXUt|bS5n&+}^V&HmW$9|iy+;se^-c45SQWDoivoa;Nbi`MrWjX^!jUfZA zWeqWyYBRJleSNZHjfTi6i{;Mz)L%0aaBbt^Ycb(T5Ll?@OENgWQ z)8Vx*!jW^|OWBQD=^`*5msjqn3}phbTznsz>SvP_LgP1oR8XT&!mg4tw(Vk;lxFcJ zth5NFa29@~dr7!rO#s$hOI-~cOPaGhXv4Wd@mbXvCAdl>^{bOM?zQSR;K&VzCzeOFquamoF@rND04icwG* z({!gxaTdTSMM>AqbScGn4y9b3!v=RAuxcb|TrPBf^ScqTYLeey_;Fcniv3=%hqfli zmv=*}i*cQs+Hhqfk9}GA5-XANfb+TqJF;I=0to!dnpGtplfxl%p;>0TKrOA;u>9qO06AUc`W~Ln%47O69^$iwCW0tbey! zcvD}0Z7J0-6o^=&-Xu4d{1VYk8#OWEQ?b9k^`;4@cTNEvkQzH9YOD~H)mvwIiytU87<0FoQw;H z+?l(WFh0c_xp~~HQGz_Ymv=`A$=4LVe3U2;8Qk4bqCG;?n^AU`4c*$~Aw)uE*}4BG5rQoVZK1k_>q-MI{qYLKbEmHF-k=KS{G(tqTC z+i)Qbxa)u@0HJ{dV7A5QV52V-3V_}blthEsezHjR9L&8 znA7KjrD|qY4}+Z#6jSuwI8Iev{ADqBM~E1ce6Vf5F=4qeVPn5-nxXe+R{M{)?t5$d z+^?Ux?)sNM?Y@h&6r9V=GOTR4hc0gzgVF4(8%9mm1hOlglA#wlm6P{;QAJLFd!N6w zF-)d%@u~bRPJ}Bs_@wh5sfmq^^%Ut-FqyBbks+1!2UeC$vY{(|($HsOveHa>9zHcv zNi+piwgBe(c?376f0a+ep|t z3<016ggBzDUHx`xiMy~mR=6{NIlwkc-@>!XEtYk&_6ns{Nd~fgHC0}ubS*iguSs=n zZwL-X9L|Mt#7zBm%umH9O^u~WzJ^;_tsdNY_`dqO>?D3!b6QPTEoZSwhh}r!S$Rp~ zX(_|{-bZPy_9=9E!qv4o(3*HeC8vEop@1X>yB3+34*s*xDMh=t>@3`W^4*}$<3TC5{sO_H0$LkaPKJ6iJ33F|c5P;jejT$~+L7w*k(n zg3U!+gM;h##ptX;!5S`qF5e_aqAtT{IjmDLgx)#F3(4<#K&ZW5RqD&SQEhwWL8}6XmIK|`3dWXFti{i?CmY}C7vl>)?&@F-tq8x)baQ(bi z7ZqX7q9R&s6LKR;S<;>-|3@*rj3fP9#D1U@z$Rjr>74OKRq|j$ENrn4ZF^G+Voc8$ZPV^IwwEd)j zm})H7OPhHoL=D6cnsFTp=BX_Bwa%>Im(LJGf7ck3DNeg3y|lt3pxV24{R*q2*z;4s z{;CFnir-qeqJG))$t_gmX!p-%!x#&2lzBwnBQNK%S6&0^S~} zuv|ZZ^Dj-{tQ;CY>&I)nxe=CtZAoo0Q^A$e%SH{sx7%CN*FbVxXIZv2>iAN)OD9&2xp;pwVxWaJ7Ooq z{V||fmQN9H>?XNa5TcrhC}d9Xn+*T%BDX~UiCpaE7B3;t zI=Kx}%7vAY!UtGf0ZVlGa0up8QoU^7EPsorE_kDVy7)ngKOMepq`Pl3VRw09%3Ou| zDJtmFTa^2vR-++utyraRbp+il_}WO4)S#4CJ7DSi_Mrsp=I=V-w0YGpvlbsx4MZ^o zZkQqZo69zxWMTBl=U!IPKgk0jmbe`602a-9XZI!c#Fp1=1} zrr%Xu+Y^^eDW~n*9-6##`0zwj#!M|u7_!rR`8F~2U;#TmvXq};0 zxhjFER-Lr8+L|eeY4?6gt8bXDfbI?>J9U?T<*o>nlZ8Xeg)-Vd&D*0_ag^n$Zy6td zbJj_Mni54d6?es7qbtg2@vh%IN(Uv*SSdAfZnQ*mk$T(G>ss~2DS2%DEu$J;r@GpaMM8+F7ErWF1DO>t<@}*!lhQw+9#Xhw%2Tc4 zUcM*|x8ia4p(7@qw9^lGNux{BbzV?^$N4kY%)@yw5zRMcRyHU9M}FhcF8I;^VjOes zH!;L7vkC|v1sK1bF0=ldFsO1=yOKU=I8r?J+bGQ!9tQC#&m7uup$~DwbHb zL5l{o7~2URjAl1Cib|nx?drvIg05D|j``TTSSUB6QVk2Rtp&d?jfGrho3d@@t=cm= zfi-p($^Tk*QMaT%$*$_CoT7j8`+*G0(<@R7C!{t8s zlPb`-=H>hXTyw@h+Aw-Y&?3cuWnxI}!dcrHR;j@|=Cq;Xl)D!iQ&5W8Cxc?@0{jaH$)KXN3b8;NAAK*MG1r8nT-PpsGJW&>+SVnAE(F%|B`z6PyqiT;#tX}6k0ucDNt_fiS{aSrUV8LW* zE}FS2WcMWmC91(loZ(8XzP{Y!YE4TfecS$=l=$5Uyr?Ca4r)JfY0B5%q>x?(C`#oH zDLkv3^P;36{3@4&19hx_KNC}@pU?U;U8?1$-!N?HcqyB+ki@@}H+KT%`_cs66`lEu zB|H@@Zg42QC z-?(k&1by_e&k+yu7UQeo3a_g$DDwQv@fvyM5gPrN(;_hls|H3)h<0)ghM0QgK3!&$ zS!Tj@bpr0*n@#h(`poe89ms3H%jY86f-4Qa8gS)v{E9INDb3H#Q&-o)fl}o1c0C64 zEB!l<4@}<))FI6o1`4OOGBoZg>BR?`R|F8oeJt zuK|DV@dCLGGPj+a7D%*zK?H z*y88?*LOdC5&Y&3Z;W)eU;pzR4>#D2-?X|}E)FJdzy5yv+cRUv#D5>3w9xS{#+Vf0 zrw{*L@_*kd{uBVAM7iQKq`a3W7(fWw#;~G5rKbSGdiafh&ZCJh6@yQVY4P#jfBn}E zXBKca7Laa8RJ87SFca?tthJs&$uA8m{w`j|X;nlDOuQp)o{p}B5~f4Z$U|{`GhQ5= z=}OxvHDQQ|VvkTo^9BB0Lxv;DhJPym)Br0fHGho@Xet3{3Y!3a`ohhOWsE+&4s$c= z(5lVNWsGFt45j#Hwn~YJ8T+UWd~uf{+OwKRTnid=&gGhgi-O|OfB5Z0xRr<1;|L=2 zcg7@hBw(G{;-hfSbB@o?#JSn!+|oB-d5-E{>EYqG^ey@DjdVcLH8IU%@uWl~qDAZ= z?tdA*$Uds$WlRjtBTcj)FxR4_F}GZ%?!jqZPob?%lvHkzny> z#~^{^{u$m3!cyM8W0FWXr4Cbho8R-B;=eeu4Zo<*`D2KT`;KM2IixXU%&0Xalh2Jh zk|{L5{1>K9hK}!#-vR_AvkSndFH|wj-+#gy{3iIOiCQY*v7?3H@?h3cNYMAIZeHVe>+cL=F9Pv=(|@wV zq~;=4m{I|oAwAt1?sRa0|>2<{CGqlcK4I+%rIrlS>frn9tHhhvtQ z1iM!Ui_daNAB=D7|LvC-7SJ}cw`Y#Ugi$Yz$Kxtigt0&w_tB+wGD!_Tm46y}S!&Yg zpWwGqYDAS9xs)2wOAXO^+J)&WRr&O~FxfyqXXpTr2~@PKL|l*DxnPBrR4Pl~N5#n( zagy1FnV9ZLJr@fHDfsea?-CTaqPCOq`30?g>9@q>4q!oO!QQCqe^_m_4HI!q;xp8^Qc;P|R}-4UN`KbI=~v=$)Mh%Ah253qV!AHrVCsABXHH9y-iXAfy3FNu zPpRg;G%%_UW%*kY{{U!%MJV{&-Df>D+5{H^;sXn#oN3aB~HuLa|rQYYvK@2g&b*~cLUwk~pyP8AIcc9Y0DT_Kw+ z4OBteK*`9wmlfCHSPm!?&D%$a3rB{sJTDyiIfcyZ2&=#gxc7cNdW%QA?FWiTeK5(p zbu}*j&LMv({}m?%sDD=V!r(4^to&DAxtfn8oJFpC8y$#Jea(f)DhE$hAEUz*SStUO zIk)-O@h$RR=TXNhUM*r#jBU@D1K~s(V}S?0={E%(bJWz!7J%H zzKV;Ya{hTQu*#!|O&PUDP10Xr=qHZJ?kv3hM9OHm0_jmopnquOvZ{%I)}GM1EhB{1 zD+TQRA>}aqBT**74Hcs=j$to7+sk}RM3n?l-UyLyyNL6-pu(NTejT z9}CY^6KgH&Wd|)8EG5D$&!JRN%ex(i%#`S#nQOLa62NQHmc7vG{}e zt4Ph}_|2$!HP1yUS#mcUN|wBjz?ri0R!S)uCW*p;{Ui~&%M~zX;RSTKuqJUS*Xgsl zB>l6}Xn#R99Nb>aqP5Iqr1Ul+xCsJGv7F`36bs9Hi`87qok=Hyw&2s;nPj`%ndH0N zS$ekG5*42M@%btW?N-2-#!aFSqyXP*j3+4+9EF02aeh4&1BwDAptOM&YO2F=%1CH| z5bVrs-5U=Oh;NaK8*GharYozjkw>epf)>-KvCWQC zA!0CVWRM2q%t$DbL0Fn6s}*`&&7`sib9$aMYetJ=W|4}*-v`o56%Qg<=s484G%8d~v6}ttA5IwxXM)TNI%?D=V*pM{ zdw*~tsA67`R(ZX$)V!t{Sr7DX?pVBPp1YiD^-iM?ti0-6J2M>4n>MUxYxL6Rvb=v@_Y=3D3$Q|a)BR}-twb*B|mcG5AGeo?Hea-h4P0G zk`lzgG{J$9b!O_`qE8d`&cisK<}$JhVSg=%kxU}wufytty&#;ITxXH1uVkD0#tUFe z@=i1;3Z6k20(f%_LDbOM#P5>K2CrYw952a+Ri+9L7QqO~ryB>T5a$us8wSLB!$7&) zr7+VKnp}tN7X|wcCviEs&Sby22QiB9fnru5XP~;y*;(A?+!b?F%cO^7i8gnd?SBQ} zyB#ge;~g!Xrz;T>iybZLZWQtwvqX{IPG>X!2&R-u&K{EasS(h&ptMaV*b}SUP%;-P zaJe9HnD0BXZ6R-Ex$t$1D$^@fCW4cO(SQHnANISmbnsCOopHl!Fmf(q3X_M_Qh9Kp zzw_;m`*6U0RC&VMlop)r*%0fl&;s|^p_Oi=niz)HF zJX|0;p2~aiVf%@_3(lJ9AK8Cm!PKE5SM&r!+J1+l5F)HB>Jc1;FkxC^j^pAj!SgnP zP~u-cJaK2<^Zo3C!51#l+3mxT@a5P3k}zR7*OJ>PW}lJ?hVG-ySC(Fi!GEHVVK1;< z&KMa*wi@Isz-;Q?FO@C+-?kp)H})aL;+q-p#Jki^dIMgs@|En%7r1Ijz};d%Vlrxb zD8bL%PT4z?5F`_J5NtO~ac3kY{6=E%TM0DgP~LZVzUM*QKg74c4;Zo&*)lvb1 zCUzKY`X_!1_-s{OFkOX_{X^nI%pINFV&<|GUM@zx}!b>gRRb8B~pPVL=vCtB7z7-V0%I#oJT^%dCPA=sITHC&g9{( zx=JYkC!{Lr21F(bc%7lbdUFH~8Bj~p{+1HN;$o#QN>BlYm4EHNlAt!|+mN73L;|Vk zi6m0gY$ZWcLjA}Rbcs?`FwXdi0=`y){5O;!?)l-kxh6pX3<>wu8iWRY6B2ZdNClb@ zN#t!ha|xOg>IasfYm@?TLMroVB|(of)StHoacd54-9-s1z%XOIlAt!|+mN73L;|Vk zi4-MBij@RS34iq?OVA}sRl(>2kr+*N11PIgA6q75#%1rY477P+! z;wlW;j@|TU%+^Px-~`$OIgNRQF7C;aJsR)hW`_^)_3v5yZJ*#^hZdYpL)Rm4vw&Gf zeLPMlCE_YivzukY{gFJB8fv3v#)U1g?YRl{Wk9=~73yMWoSkmx9b$Ey?Xr$TIxb(i zmhItqgMWH{usZ?DAT{68ThQGd>0P`ZlYN*q=l6kV!X-^MIbcYj!<^A+={Vr_`@CmT;(h~HVqu`KxHJOwNkMql9D&T}n^CTYy9^*sqhl&qLV-6o9X%}f#zzMC!EFT4Y zG{P#+a}-}MMnRh;^Yxk-0rWC2Ljm847+oY&0ViadXZk4cn-Qanv?}1|EJXlcD@N{{ zijh@^;r^-^73gKMj{?3KF}g-3kc^&8^K^e71%5kXbd6RZ9X+kad>;jTofxTayc%hL zaCcRTj15L6*;Y3K$%C6ysQljL4m|>QT^!k;LNz51tN2y273gK2lmfmP<#UZppig=- z%`>GG`0Xg4YqSEL($i{8l~TY*Q>A*9DsArRFUXOtzG$GCx5l`;_O4=XC%FXl#^xq5MvP zfAlRBD#)$Y;xerYIHA>O=Tg82^n&nZ`^z89tWR0?slItCx}>R+nZn^=>C`4IItRD< z!LXT(VKc4eH`r07yf~~AF~(t1;go-q4_LqfdKosOfZxfcs#hBenuQN2?NvGfIHA)# zZbpHBbYnpab-1vaU8Pk4C$t*lW)$#y+L>78C`KdHX^;cJ0eTtapnz{ij;_%OzzLn^ zfinvHX5{E1tqS-lPf@_{X^(u9qgY}2)a9?@QJ~ib1p$0Ja&(DKRWy1!%_Dzj6!`7P z(KT9uc=WUyBWD!w`&^H%M9!*obm6Ws0z}~6ju2fTQWcAiNOM1rz`h*`xK}|GDp%lsoP~q0PG6N_?5u?H0oh z?|h}-+0UOzq0IVJDY(1ZAgnYyoaY_V?>UbZM#3296-J`adn@UrhchmVS>WA^!@Rnr zRbXSr10w`3*35M+Fe(+go&es}^9zpbcb8DrE#0*PW^SObTXq_wU(0`z(mA*dAZ+{W zyV;d)7%!Mj)_C=2JluN6mxWGuuJB?m{5$W9h@8H5@5lf3bMGay;l~It~OJs2P84jq$F1jeyP1P#m!K$E}sbYsZ>W(K`J5dF;76tJRGe ztna={n0v%*%I;dGY{PWk@^k-g`I*)}KT+s9tnA8~O%vbA5u$&21#*nXuKM`$?7*r5 zxfJG5!rgRCgm8JS204^s9c#r$4kXxq!m?Tvfj;}Hyz3e~saDTA?lIHq<@Gy=n3due zOPE)+#DWyJ7LSTUZSkRSret5$G3)e@suE!yUQmn(_btsBrH{Z_!+hX;hGgYbOqtoD zOF%Aje%c>c_+@{I^t$JtO}~=z9G_;H^%D^J*h4iTdPBwxMw9J~Cfiyt6lei81@mZM z(0Q&+10}S|Y`>ZbW@A_d$h@w8HS1FaefsnZ;NDdT^l*%ERxTLsR*IlQEOk9`^KTMX zGPUdq6#RMIj6qhNv~0uJdZ4?~3V2vQq`-$~a63OE`cr?-a?p52U@UU6$@%!3GgbwH zmUEXvUEpCG=+%xo_l;js(^mrp#M7A^vuh=t@50x<&{0nXLs)r9afzIt`h@zL_g(T{ z@Jwa!srnI6A=Y*jHe-jYTDG~Jwrw&)k;!zWGr%cr=$Ye6c@uDTO~;?e^2}lk(?u=Y zlogxqi%EZTTJe0TNq5xWT5*aabZfoPH&rQfNJ|GuRooL2u*kL};%#ad)m2;`xD{W4 zWDIBsDd`B^xoa!VjWVTqFh%@XeVway< z6)$M8)g&^PdswQjK5u@otBr2X`jPLrx>8UE3ZiO<*B0Tpb5_JfxPSVB$jjIn)AIFu zJ6_)6U}J++O-Is;1v_|+5*1DQlnrvz+LWkIeeL4@OeJ(n^g|EErI#bUI@*!Z&V5e` zRsMfmB<)kGQB$tsm|#AV4XwB#!eUoD}7%!jR8m!H-RI=`c0 zz)%bgDgS8~&AAaET_8wnWjP$k?Q~#WNG&wWN$po&n(=^JL_+(-JR{u53}yrFWTs1Z zOxAWCAPhR+TxX7|1(kN!Rt_iMWmy)YN=tt#P6IN1;f-pk35S@9Gxt?gtNNUG9Ag_BkfiRM95>=6Z6LcQ*HbP$?^Lpk2}-SSyF#d%%9x@u zj=n+5GiskwdTVm)@K!JBTT{n4Yj=NEn5FJ{z7p5|t`W}9r8-fj1@5M@5OE%Zm11zl z8LqKj)M4&W1v2U_>C3R}XIn!B`I*jwbB(2Ncc@bTg03Fz#nVzSxzdKEswZ9P)^=|@ zjHcChYT{{b6iF5c*J3F4rL7(5rHL{Da943#nt6Z0isC_? zkP&7TFmQF1jC+lCxS@AZx`HAcIU&bu?sn1v!1bLH_g6W7Wf&JGhtfe!jP zg_ps6Fui}-_Xupg%JD)7A9Jzh2p1Fas_Q%*1I~$rt@;w=KFj!sa=IfwEKSKDbYOc) z(I7hVr=@1!22QEiDM(R7aYKKm)CBE*5?M3{GnS50TdF!aj0tEWQG<|Po^xt4>qsT2 z>9-5sjBc@kzPU?Iz~HPhuF9rUSHx;zv=;7L!E`YNN;YPv z>vMmn;SzZ|+7(Us z_PS1+!v$NFjL=yey#c%L7CzKdQi2dGU+J5z$OW+$o^`DADO-7vg$kV*ZzvGoxefV> zCv^xx!B?ldJ{JqOV(r%M)aFLQ?^?SETrg{&zjlX+3bCK^H#WGm$;I%$*Uq4w?<@^M`Rm{xzmJd3l(6`Nqv7~@hq%3#nPK}ijxPIjOT(kP8cI$(Jb4I|_Z7?F z8=V`EwMm@ELGbmz+8_PTgW76Wm_v{!R0sLhT~*KY+iB{MHi$o$A)mg5x57 zNW8o$HTt^Fi(-LKQVzv4Q&n*4Vs)uO>Cq-qDe>;de6I!`ZK0G{?})LMj#q^$P7k7T8IUy}N)(_+wIi$J4rZffx9xeXmHU)jC= zq^YC~`ZHEl$4|tbl7gM|l#GjNSo_IDp~Ic0y${`xv@2PqeCMJUQ!2ANziT7u911{| z7nhigkfU?Hup()FY!u?li}14lE*Cg{#zkGa#ctCM7gv8a?QlNHNZ@CuRj#q2MZ2@} zp>{Xlv~ZqMs;|Rr>;B@p8B?@e&Tg~lV?D1o0r5#l6~`PZd!Fryo^_Li7zC*ZJp{h3 zBz&jXA~0mtm>u6qxne3fWgPaVc}el$^9L>> zkNn1j+Nyu80uw6a$tqgD+Ts*U%j78(IVt*RCKG*K?3SG8L!M~i zMI+D`{MT%e%XeF1obq?ha@cl} z@9%p?m?7F+w~5qrAEO>OJl84eZhMKkBQ<8^e2JNnudne9jz2A2o$@2uzND?-)%BJe zilN06tKVyRI4OPe26@xRO0rpo4EbuMU?;R z_m|%u(%r%mozvm={hu!~y%0Bfv*zZdT7td!Pgm*N?s4`~ksqh(T<(^jJyiU}Wtk{~z zdzcr;5IwDEY@Sy?Xbod4_VcuwG}4H-KfnLpNk$~eI8UOn1{u+108aa+Vj)|ZRkXx3 zh0*D)SJ(@gq*h`ji-5!cB1trC7#HJ$S)?{qPtYlUb$);QmS~8)h6m1_#h8VLD#SJ) zrt2H$@M4jnGVJABaIYvUrK+|APGMzkjZA`j0;+N^xpG)Wk6q?+1G+drqT&T~Q$|qbF2S0#W#cPT77%dZE!fxIM4T$y1BkdlUYo`ZvzyJpQGkrpjhq{*p$^Up@^x>1qI|Oy zUG)}c4thU=b@3|T#!~Uhj!eO6(YCoe+wDm8NrLU2{v_O|?VnnQSgyx&uvaKP5 zV#d^bSKpc7#B5#F5YW>_R9O2}VFl8EU7MU~OM@v+v}Sc%xT#uG#i;W3BLqQS%!Eri zFnTf3jy|e+mJvJEJx$Q@Ncbu))>L!O)?pPm98Q1+q$uj890!ezEAWgX<6+Bq>S-b9 zp(h|GlQ#>#;l5I#uT;$z2r1%x;3ZaUHJe~X6gMaYy|`k#Ut}6(y^r266&l5Vb77}%4q%ba*)GQP$Qv@BwToJXFo7j=Z=jNtoE9h_=1qc( zafP;M7dG9;%$!Z|ix-BQQXlo!rf2owOF|EATx6aTe{sKCT9|INuB{+Zih^ZAaLWaK zW$w(%C&^JBf8}5WgYQgcsJ7CB%WB9YiFu!xH?kt5tw0Ccmc=GOzwdj0)~j_%#%ri+ z{Z1@9#ZDg-x9ox!k1V?%l-FejR|XuBcZeqU(ge-yldu;@bR`C8F`Aip!!hiwt+Q_- zGFuJoDJ#nMh^!b;(z_jHTDLGMu&rZ7+~D3!r3Hu)_2P&_)SE=Ji+bynEGa83lh}xF zxImG%@ysRP>!ReeGD1RsFi8k4H#NluKraPL=CV=E9c|TImdHD`Wc!Bg78*9CDoBq* zN0(zw?{ZR$`-)$|byP%V?TF{FWo_|7Ps4Re>y{9!f9p4JmZ>S`pVzG4aiv-E0N6jM z2XfRvIUzOjKBHhLjN<4j&ifJ0%e^)8b2v6{1f^LR>2xtS0_B!}sOwg+qPNeH56Cr* z>9lkfk4nyL$a!Q>%yTotYLeIsWV#=@hTdIP4QrE>D$QAziDehZs^ESW!$2TLbW#3v zF$XXKdfVF>jq^ohrZ5hFsugCdCww4lWhPx*z)Gzk#1EVoT0f|-Ecl7yjk-^n7k){j zD3Pluujy!}dgW)RSCkfin9cV4Rvi0Z1Wk_j0%Dx7Q=Cjer4mHo2|L3Tc z=gxF8Hp^}Kf6h3e?`P>3_&hnLXC(k2J*flwka%|^?|FV72}(>of=)m%Z6rPdBn2x@ zBS9OE9#&j0^~k?7zc7a_PH*1x9iQELm@rFc7oRfnaa90+-$F4A0IU8~CNk!IzoC`Q zkIWN7swztcJL}n{2MYd1jeJt3mT_7CrhAx;rwuQ9Bf_qxagjxi`hkH+Pg)n9+`zRWHt;sLuM%sGo)m+e7YbhHw8&~fXt@z?I1IFTe2PWUn!Jh z;hvwPh*BqiQ&Y_+pekKgYIDBuh>;!u(UdACO@0a`#=;zCN`5HJ;a~z3IPnC%8G#Ob zbM{peyRQKwT-0GMmY~uiqyKU)hEBAy=*@_ku!V&OXQ{Q1G&MXN0HYQfX2seQU^L@C zL08qz(yn4AZR{&Q+Jj2YdtVzT95X-Mu+JhNs1c8UxQ>)VNsFtr*@m34odBxx)kkQF zCp|-9l%qFZ7ewQ75Q|Akc~x5GR%58%<2qYS?DPTmlh?#-N6`(Q~ zbOS115w5n2Ntw;C`T?nYet-E-cT2)A)|=aZ-+#RP@n>rLNBaByCKj#Y?Z43L$4%x! zwpHo*-?zWL{1q>x>>iYRxhT6mCr>ETr~Ya0b^YTajla3D7MxwO|s?8!}z$kzshjHBc68uQ>6)JpHIb_(LWk4NgNrmNIa=`zvNF&V|nTvMIS z*}z4|oKAKev;I}Gg9d+Fnd!*jt7ww>$k^e5gOYlJTdoA%AfLGYGQA%Z1jkW8Z*zuQ zXL)|ks**Yn&MFT?N^|^X_4po;Z=v+#cx-UB;YXGr8BB;~E z;p~fOLollJc#WCL!T6SLnyDyxzQij?tR|i7&^XSi{-Bd%e(XWETKZQl&!v`swx@0- zlWu;xMyTrHY(7n|@(Bc*;XUcOxtPGu;M);#$t}P|b+>)$OsCE(JmsqBn&JjU9~1&R zQKW(tZQ?C*uq2RnL`@Niq%kL z;=UC}$gOOSO^qAPqqNYGG#x2_Qv~AqjQ^x77@l4AaH`$of%!C3q^-nQErQ6e?b4xI zcWe%(>Tid*ox7iSL4lo3*5JOgxkLgzGR%&l6uP&2)9{#+lKiMA+cuOeWjO?PUq*rV z$>HZ=p2=&-{$#s7%TuhLqt8>zWWv|PMkMeF85tg@X8nae_@@hu7d zwPi8b$8Ls3u2GmJ2)}pJvwSD;h0Evd%Yg98>BU!ebyM|UvGiYmCDcLyyI(mHLOoCzuawS^yCF8emMvXW5jT&qC*oWtCr4IvV zXT&t`brJg~_a0rA117D6AP;g;F4Q1?JQgbPVB&BwPXFLhQ#NR!K>~kkS z2n<_h0z>k90(*LY@=~0v)6Fs)d~5AtQPfJkh^R&h=}hP3KDM%pbbcI37v>8})9m(> zc(e3bgSsECs_M;~CCWIV5p-$q#0(-nbUHCPQf0^4h!X>=J}VMIq*t|jcT{S_ zg+vs`ovBOMCHcm2si>|CD$|Kkf6VC5s>~(Y3{oF*J(i1q{;z5^I+?a}W`*-_QdsfYy)Zl2Z9x3> zCAM_Xba|9yy?XTLy;YPUBT4xC_r_L%r2a-(c_)>}F{39zm^2RyBzF5rPs!>(ilE)xyX;jL zMh7r|ZrNGJc{FA(A3dQq5}wLnAY%*Py8UXHEkP?A&LWk~4TUF7|7MeoP@I1h(gD>|>yoz64mT_oOF zwds&|1kP7&exHx6&5vXD_wHUT?#POEcvmrh@qW?d!O5SR{Ah4{$mD42UJ=Sqt6hb# zIC+)#^{UBtUt_9s!yd=%6`zk>>eJgje+b~Ly~z9Hs>#n?cHer$;XGh&En;8BM+JN0 z-6h_my2iUv&)EENsJ8dVr_1GnpJDy_2AzAytEMv9bp3b#+T7eM z61@(#LzO}=38CH+;IVBdWF)DDjr`6x+&PTpzMXFO7R!A;cAM~j_gOfSx6ri#WcdU& zF*G%oIIjX91T`@v9(nq?lXoT63X3?4fP~K z8i4z(4i9PN>Cx6GX(G*}1$f@p_4!x%D12WVX(t_|lXQ_7km19bKjr(-Q6BCgancLq zR&>a{>%UboZ)-mpAcJthH64O)N=M;`hRFySg^R^?i0vuE`?ijeak$Y-%L%xp9lMfn o>nXcZaJyS}&BC3(>btj_@()L7Kz^6ZyaFHzF*ph(B}Gq03SV=MQvd(} delta 24896 zcmV)3K+C_{`3m*<3b2R6EYGax=bARr(hARr(Lb98cLVQmU{+Ra=^vm`kUzW1-l zW6$9w-j|5Si|Fd&O~9?8Zv-cnxzG@B;qN0`mMlA+S=BQK2}$wf(fI z?Z*%5!RPJkhhM$xxaqiOYog!2{_TT?H)_+H)@l#hZBeP+y0m@$f42ScRVjT_%H7{y ztXJ^M>H5nA_#U!S*1)HNR-ctJH+<&cSyb4@8tNI+TTJEij;*}Lo~3o^?Gm;0TFz*H zgYN^hv+wk@P*r;4+&EVZOywu+<6Zgp_R>fJ65kKxG!p7U%-f&7{;qH+Z@`S~QKjWJ;Nw4p(0i z5nC5qM!wkT|ESC^RmG@`O%f<<|}0xbVhH?ybtM z@|hh*q_f?Af4ROG+KDQ5cU+uvrp#_|F4h=go|!(=j!Zc|)UU2FHStK)vT3rJMGiD0 z2ykOjWyw43B6N-VRqVr3jR6s5fl-ofYhOj`&(IUo1P#Y!0ir>N9jT3%8-1Has|%Df zg6B~SnZ;k%`>FJMV6`Z@WPwXQvLIPh!nq!(Hy>$Lf8PF5lD&B)KGS#)PdYXmJJG~- z5=DcTH)VTS8yK2$wmR5$wmMDrX6_i^PIk4A${pL4Ojy<`_QDeUqK zcHvv^f7`@294r)B;ozoD@@os%~CB+{Z`1Q%_?n*7Q;7mf?Z<>>Aq^L zEgdeJ2N4U+yflmp&Um{A8<;aEmNPfY*#xQSe_IJeiH{P9vIf>lDhAEkS4f5wR@00m zi(}%pp`$mXk=}G5(asM640{k|Gg~k{Td)P69PlYx;uEQcZsOivJknA4QUF%lNw3Wy zv^b?_K9cgpc10FgT~4T@5Rd&(0{Pdiqgr<#5ey^Qo18%&mb0^fW6QI!V2ZVS)LrX5 ze>^OvSp*W*+T-5&&ia>I*8ZW3625s1I)gc!h^p{4u9_sco}~ME`!lU&LxX8uw%Spd zS!94k-Ko1o8qFrPV}ieUbK4=TzE*uxM-XB~N1|CMq9J%NQhsw9=tzDr5M56b+<37G z6)<@kC;?JVZC0=HbmN;!R_%KPfAoeIf0osfe0oDVh{Y!n1=Qkz+_~S3+!r#d?4FF3 zreK8jsBQ=!jK{WfK7JBp*QcWz=lzpXT6r39!g{h8YDjg|H=YiUp<Af^3*p%$|v5~47_1mK>jGVZ+oJ;b_M_4;Zzzs^;PpXjYy!^YC_OmZ49g2-aDD5`$4Q)UK)SA@=?7aB ztk99X*-4U1=1m%kaYLN&p6fQ|1!${dacCq-TB8x0bI@rPz-G3rOX{@E>e8+R0r_Fr z3bNOV3H0oqqj@@<;F5b4eqsGpf3ZYGrbX&w5SHvlZdTX%ywutkj%s6m)6Pj^g*xc> z0K!JzrHwoA)4N@DkAd_TMXbi*gLLLooB?rtQvAa3j@rG-e(mLS!%MY|)bT75_05b| zu{ZKKo`hxa4WDqN@;k#aGglmN#qp7wb-pv-6RmNq9~fDQ;UOOH7YUTKu*{IN9`UJe;U3JWB{?Bn4=0Z z+3m)Zqv z`^~Jmm?KPhwBp}`W-^3So8M>=LUpTkwETig0l4H?VM*!E z2kEAWS!#;MY08m0j+v!}Dso+E8-epALevM8Q=g2ge8Q|cf1R8wr{e*F%&4x9Bq?aS zJ2MG@G;Qb)^Sm-y zoEOP|6UbvK)RV_#YAA=czi&(zat4L9<%1MHO99R%^Y2y!K`4LFW*>cP&SG&)ciIE7 zlA1%IC!_`&r9JLGGfo3O4Jsbu?aw)R4HDUEV(b{=e&`c`8+Su0JO* zxiz1*f5C(vxCPKO^je-N?Dt}0dQyV0oCddbc+zWh3YBW0DkiL`D$P3s=)Mxn~Z9ZrV~mbR1A4LIjL`@o}H zI#iGG;9)meZ`#18iBs{yszV51#SR^!#xR3De-u$Lo)5y6QN8S_#>3vv^BJT~J7nuf zoeVbafjMO6-lcu#;L4B!Yry1uy~H4Gz?th|mD@uGjU5ICdG%c4x-^~f5I%7W`y#XP z7}oy`LfY8+B#w>k_+?821h>qO7R-leqL(6{c>qpcg; ze-ArX9hd7=6a}JsY2hOI%R_NNWBRV0!Pwi#;xSgQmf*e_>QQ9Heso{LNRM1om`Sx)fsQ9gNkVzkT@E z2N3lH(6KZSU+b%+@P{{<9{%dL-}H9>=Z7!wzkl(#YI`Z+V_k>*e_|#ROpBJOX@xB zu{VcZEYcNo|L4uM#K1uX=lC#6Xh7XY3Dj-NNGzo(#ocH-7Y9TmD`Kn}LzXT{Y%HMk zeau5H0rq>>)AMx-sXsV|e#CfZ)x5l>pm(F}1p26?w*Uk4Ji@)&2A&Xbf4=cOHWWGI z*M&>@DH?%u)0<0-T~+0r+QNS1?NNb)gkd-@OtwIA z`2N|lr(WdHN2GRS{baPef0ru^rB?Rz7D+E)yYu+#Yz6NWeA*CCUFgM4p23Qoqzzh( z1~IOPFPA(H1(@gg!1&3x28dhaKn3VL+Bc>Uz`~$Zzd?;Mr-^ii3ohMf7&q2@oEualF>}O zT&U+PKDT$Wk`!mXFDqn-Zw8E*>nV@9#7zWY?sL3hGC$@lT70Sp446N8hw~)bASPg6 zRtec(W*j8JR(Q#!gl()1p3gOfVkY55M%<+}9WG)}jqV9>G|}v#->PszOLB~0ito}b zn3X}Rxd>Ur-Ulgff7w&5->wpla-^;y>l#gvoU9|woa7o6;}>b-dXVw5Y{SYAv)C(q+Ur5gIgM;f%;EUplU1eYIP*x$jP&toO`I&{A~3lp`S?!USz@)3 zo~c;I2p7a1L$l0Q4{VLS6i%d6hf;1CCm@`Fwo+D5IO7k+e|vtx4}5A9^`AW-eBVm~ z*Q3r#*7JDM_rkU$=aFPwCQ)u{);P1LekWuGTDIT-<$eo> zETZ%IDq7|T#@1gPp{Ej^ES%gk4G}Nu^!ve+6{` zjIo{6^s+bs`>v`-mNzqee(X0H1vK}&yh9>j9=QL>jvS>PT20?JdU?Cs1i~i zi(98Ve-wD<;x21DdwwdN&(zw_g2o`$N9nBjbXePk*v;(J8Q7T_lE>76Wf}9T{(5n% z>O>4y!K-Rt^=WAw{9k=MXj%GYT7;Y zn3sa+>T=5RCsV)*Pdy(*E1h?{(dj_xofbVff0ESz9AembC0U75dZA9o9Z$UQd!$$G?nC8@+=|KaHsM?b6D4t3a~GJ@}}KqWR&O)X7A?xvw`k*u7)O ze}v+J=E<**5`Wx8J!Yxxpv_3xiH{PO!B#U7|V9D2Po zI$u=;*!Cx=rd|{v#PX;yw6sP8V@>JNf51rWONDY{REQ1XnTa~l0Y5Y5?d2amIZ5Nu zMp*bvET%I36f>nS|9_r75EGXH%>yK#R^`|AQ!e{GWqag7Z7oywB|RL0S%CN>Fs&r! zHyG~6t&aHt{DGYO_Mfdh{_;QiFZ}-nBtEKO?e-FP2eKcxn0Iiz1F*#H*@6+?fByZ~ z?ZY2x^Pc+$aIfR`Vs>!n%jy7!Z>s&1-~aq=8&}?k0LNE*7(>HJb>JO6s2^y}sr8gJ zTjv>LKMDRBkCUyG+{$TUAoI&6Ho7u``S3+B7a9Gc?QU#@)c`4=R)PhmDD1BMy$En$ ze9lT&7MtCA8-X(*Gu}m$w{PMhfA{_SVKcOX*)ueO&uo6iZmbSQf#7=pN9_fWwKKiE z<3u~O)~)doRj%q<#y%rs+oJlKz6^^7gXwAw%B}$#{yYJU4kW!S5OyKvM+mqI6;zYu~qWz*|#kOB)*>Dq>4%YSUcaHM8lgr2!Ne?!d~84J1= zA?_Cw-RtoWkMuVjxQ=cS4jZ3hFaJbv3;PWL?r2{Rx5SQ4awn|bsf_O2d2FPVG#m9; z#zBav6&4xGy^bEG{3{a&pIZDu3E@xX>-5c{Qg*r>aOT~vFMKYFBfuvNdj>r<{Mk~g z3PLUg9{`x8=T`Fh*|j=}7Gi44r_FfF)LQ&3&%&qq{QnnI=vaWWI~tmM135D|m*1cP z6@NWRuO7K^cm0ZY)F5~r?hEiDK%d^ofN!$r=J@0!MgYrzeaYWXk;Nj5TX$>mIO7G1T^f4!0LLOjVQDeU2ceDcy9 zI=ZKyK0p2LMF?l#Ju4{${L}${I%U((Sbu-I_wDDS{q zDfCAns1Nwex_8eOr!@4-$2@5F7ytM7egkVC7VIJ{*vqR0EB(t`uvNXMvg2Uw**6NqB;C`{o1zU4Cb$_{D z|9^SCi7TJ3_s5^!{H0s8)`!*R=?|aZ{O|V;g%G9UMrEoNF=!tRfRCvLj z-eC*%n%RlMTKi-J{8v^XKt6Di#J}@kz*g+z6H)Lc8V>WAq3lALg?_2BthA)`+tl_npJDUCsMfzU{MXhMc?3s-UwayZ zpsITvR(ocBLRw{ovfSjAG^KnY`Z(Yf@H5i7b$^FYRj@OKF=W&P z#;*!%&aA!TS+L05BaEUBNs9-nX5vTm+wO6#R(mivXLjHC#rA=e8=}WgTsgw z+a{h)tPvJc5V}^5yf~zvAVQJu-5FwK(1-GI>{$-V>73CX5^l<&r;g|I#drj-#$M?b zMZCDc=rTX?<=%DWwtpzg&qliYuooUt9QuUmdv@>SgqXo_0b}?pd#j82WL>ZGTj-tSYvx8EQSzoh)LT zw6P=gG`@(3302~_BhP-%r);@@{o@n<_|31_`FDqoa)h$zfuj&5gFFOq(dC-%!N-&? zkjc4?2F5cHbT2KFRQ{JInEh8z8H6_=m&ag1Fi(#^{hj_F{s+W#cmcY@)3ZN}^U6PY zz=TxJJ*AVS4S#I-U;p#z&2MvaS{(?=hnN28Ssex0vHrP0wX!Cp5S;IZvwEc!^Q|2M8fYg{C^c>bP1>GupnkcP}un6+W$|} zZYXmYV2{sQ94e}>+YUGg22lQNoH;;GtlP0>1En=JW|u5n>jMghwmk|9=ne8u{nEmb zmJCwrA+`Owl|_Fjl~<;-x%7Nxr8PC~*#}$I(5_z5Vy4tdO0+Y~J;mF9uxZGApgJUN2(9eD#xQ#60J1(~($SmZ}`uE3C&NBu^ z2YfueicLu_Eq^H?KRR4d0pm#WYkEW~F>I^@Q&9L>_5nY=tAz(oGW#SMI7bZbw5>)0OMnP8qao9_B&scHK-D zD!r7TvxWh-xBW=xH_3h%A@oiAaGF^FJ z-apq25`z`s4Bb(}J*>L{FR&fMA*32X*joLvJ}$D|`NxKGT`b1tv5)NDu$ z1YLFA3@!FHDjft5vl!iDbPf}US~V92B7z?eSC*W)(}Vc}4cYqpzp{Z3-G6NgeUvm8 z30%krYAfzdG@}Gto`|+h_2v+FOlcY<`ylgS*;0h5Eqd=FFwdLL}S4C~b_G92FeyR)dIRoWFsHkLo_fE~l$ngDu~`lsn{VUdB2 zLz9-v`qjCLSz1%$pUw0)%zyjErau<}i6UN`{w&B_Kof2-{k6v@ra$M7Xymt<{>T!m z;b6eIIJaJu#-;74;jeGnJHI*DtGp zJz4&M2Wt&?Yj659!0w{=;mY*)Y=B;Z$#$x9Qc}q$3=<8c)E=LZl7EJ6ir?J=2!f*t zv1~$&*Vfn6ni_MZMepo?L!aTC;-Yruzl5eB?6=XGl;}9VNodr3pfvZGZjzzlU^z#~ zCsIoUW|KF7QyS72oU|)SOH*pE3#Iv<&|tKnGNHjBR{KI`O6W{x^&xegX-p=QRrm&W zwYD+?eFyDsaxiK=vwtx4*xH!;KK)LVMeTT*g@cGL3=zJT!b~#pyFy|9a)qTiwI&LC zKT+7waIi2V5GnU~5DS z-@v~TqT$k&LEU9n)O^LSK2FFU8jt3D1b@e=G>D%e6h}q)%74`*k;K#Lq`6vMX-=*8 zj*6k-=z&4d8{|kwnNfv~l(KumTEB2qa8fcLl3S;WWTiB4e|{ZW1Cm*yB^wWr6Lp~_ zmq7f?pVrefiG|vsiiQyZvO*A`cSQw6Q>fY`d ziZ`i-gH;e)6mHl@W)H?66%yuJgwg|7#XEK`s^)P>xqnPn7P}VyS_NyXNAum_I~s*! zG;o(xs4YIU&}bS$*s^IQJihB&Cfb&gRy&>EGIX&hNtGFX2g>=7DXt zaQEueYhmQo%k*(+6Ff8Bf(S2%Io_s#!K*kvoiyYTw9aHVc)|*)=Qnao57aMP5puf; zccG3z2YMoof9lBoX`3Xc*r*#SBRD>X+F@G^N|!H!D#W zTFg!O8BTlRe!-bW?udPQh(@nad2(;+)$U^maDPUVWR9!{pODiuqSZ3L>}+vYCLW+r zcBv01RARk-X?A!2zW01KilLUtZ4eh3HTag(PHDfmrK~qBUqlb~e(POf{AC1&aeTKs z%sB4eAD7djtmO9*2AcP`3p4n0e)6c6M#I8w5>Yk078eiF{*`WW3Hfr-lC?6er)iRy26!bmIG&TMb%QTx{W0^L8Ys>UK z@}lMgeeEsNYXbZKW|^KStJ?-UzkbSe4|PF9-pG-D@L_7Nv}CnXOcD-Ch7Q%Cg}u1n(UrQnp$6)q}i}LlXUzp zCTVl{;E))MNOAcp#fzA9P!Fku3uuuBJnO{ORmvxFKzg6q!`gSYM<@Rb+M{g<-+#{@ z4KUhrJvhs}9buOso0?PWY^M2lpsOFY*66;&XpY83wKWaqXnAOf9NEM>ho>_LW9Qbl z8H81oVKfNaKyCsRy>x8@{*setBD{v%!@+5B0&es>dWcK}2xG$TMjgM~mZhxj#C1KW zX(C)`CZ#nszNMLLGbMdWKpMyTdVlR@fNf50N!V-1!~KIk4xqqu<`P%>Tpy+suXqUM zVKlyfNEu1l4axTsMT+CHYmX6-LP&A~Y_I~&(-iW^>^IR#YXlPsSI#eSpc-~z}h zHr=l&+xmIfFqbb1DQ@L%g?4OzlRA;QXQM}HVLr`CHX z(a><@HwbwJypR+~t4=CB-r5O?n{IPetV9SvWg@P*z6CC#k^-G*!@01LNj-?JN(6~? zg%h-AweLh&P8=@rDu6hkg8yAuNOT~%D8#-o*DgA2POUkK`7MbJokn*ZF08GqCovC5 z6u9n`wf0psrr_Q+kyd$`d4EXFsdcNVH_+JFa9CLZy+Mvd1`D4%QC}F!CFC z=6hGOnqzXWI)q5~kmgw!*>cpCg?QLtf%+|xg6dzj%c4^!dr^o}1}gG@}eSSgEdl}#-B?NZB=usJIliAMT=jq*=Nx#41cuvw5Gr1zfR1s z&?4K^-?#c%vpu~}B1jf=6-RUO3=Q)&wB)-;)x*fXj{SH_89s53on<`LopN+XCUjXWt4R_2$LcWwEBPQ_Wmgn}v|9(9PkoEp-A2>#A|(jj*BE zuiHDKCwymXt8dMqDN`)HU^a{tf^8ooIJ}YyKI!;US;UB<04Q>?OHiya39MomiOiD^ zhgDIUvtMJ$eq||MaVQnHbt9cr$T|;F0Qo)2VO@6!OM(s+#($2Kh~1@lw=|nCNwT&n z`AV$-yEtf|SHQZDCJ`=3JX%3<~$_3AYGS56TrOR-+AFC|9$r^)*a~$i56mPJS?$oF`3{{sY03nXYa0&Bydh4RWU`s?L((V$F$0~86xWKtO|B?+_;TkB z%+NygdbYUVH|-C{;@2Lm9t9w2Z(6J^wHk&B5r0e6!+%`}Um~$-qb4SNsshxv-ZYsMk6odo z+#=DDec>aHg{vskRGW?yzLEr{Haa+m`?LxbHfegenztU&_t!rbJpN{u^qoj)nzl2R zwRqyy_G_(=DDBwOy35)TG^dU7@J|0t3rJ{Co|TB>TpK^34#_9-jgVbn+~^4Eynnq3 zkufF*DJ>yd)TcO^7Y?~IcQIjn3OjQ1yjQaXXz%6SSwiwSg)g54+RNbX&JyhrqTbB1 zyKLz0PG$E)E418Q9PUynz$P0mb9O%hKR!I%v3&Ygc4(~x3&3V7TF<+H7A$`_mjO}{ zGS&AoKRg4>Z~ra*N4^c0YIJgl4S$HLxAH<9H@j;MUu_iTsugit4p}_RD0RE$FE}+F zRBq%_Oj^8YJJ2cxAIYv)G5e}qd!Jtn_=H$LWh(TQ1ShfDo1GRP1}$EBu8ZSeJAo44 zk`F`q$*JP?RUs$r#1ob9Ne}(f9D+U93ca;}$tGEkGOhA{<;C*ZW^d1rQhy4>aI%}> zZHlowmo_!9vY5(i_kcNlK3OVgX7w=H`9v|r;EnTC<;7oCba#Y^G2sXM_8SwH8xuCx z+@>3Pe`de`aPP*4yDzq6?4P^(`jgh+SbNbo7W#$WirX8 zuJlP$p9#uJGxd4+=tw0|so9rF>L(K1moRuA`nR2n6-1tk1p}(}?kpZm_eY#9Nm=T@l zayz+CFs&F$!HG?_?+c;F%Yj1Tocw~N4Gx>u{HQZCaW+W&gu><;we;Rlg z`X1N(GbJFTO6j~8Fi;h2F5Ma&+_=w1XFUp5a&iAAQ6iVZ9e;4G2@TgCQ);=19jm+P zVFuk@ay#EyDxhi#L z-6*|aKc||bq&+3aKm&=@a^>HTbWLB~pcmGmIiHE|OwqF(yQ>o>8dov$}sPPv%r^IfNJnyhfOS8%DJ9psf%I zsQ2!rUtx6@dwvMmU)3m3@mmX7)bGeXxRr|B?f%j17-K<>0!QQ{^70-_W`>3h$JiDE zwmA)@ZGVk@?&@z4*u{i$s-_jR>U43Jk8)pBhSw^kX3D=jz@Pape1R;f` z4u79I(%q+;a5((NwYduOQ&i=pH!b&-u11UGTE$A=?FhPC@U_Xr3VEb7+W|{IwvQ%Q zH-F;+!RDpF%vyxdHho`U`l6BY9V3Iib2kVWX zb(TD+`fe>*F204aJqf2OFT93Jz2)=&I7DL!{yj6|JN)B9wfGk5!WZIdE!tN;Q&J7w z#Ym8P#+&ue%8XO}GkP;cmI=Y}C?-=CzVDUlCC+3rh1&Da2$3}4ru*NHF|f718h_H` z2zR0T8+(8)*Li`fqjZVn`QtAI{H_k$p14FR)zLy6L?dcz#7qD2aZ(@Yo*>f#wj?Hl zf6+SdFQPND^zg68t=i{Oc822SstBT5&C=3qYqcb<-FqypzG1&gUy=7+a+>2Gy(<#s zWaiLvp^^4a^Y-XfOl5iMTPDbyjen9_O{t@rO1|Q+(J5uLcMBYW5g}y=9?^m- zvQWcP^-S5qd(s7!6p_L;Q|4-w_wq$)xG9f25*;z|q@%vaOB$V%uJeaF&VQe|ejd&P ziwNE%3dp8Sec)FfZG#{EF~%`Jf0IM}GR1(}qXgr(@G@_J34=06B`xXmh9k-2xQ*0& z!5&wDh6|?Q+RV6K6Lu0B2A}kxI94f`8J1SoPAAo1s=_B7fy9|W@`gC6H!0k%OW`i< zR1;I%Ce{;J(coltB?0-kZOXivcWTSzKwgI%aaj&P%Ps7tB-k?Rg%YVd=+J&<=G_2Bv zcf4ss$Eo;^Ya8l@a{HkJaz(LJ%=2^}|{tDTB9zls}FcN2|QmZd9_o!NvQu-Kp!_%6S z_|*u!sAZTAYCmyl%Hl6uGp0IUg({|RNh<4DEuCj21tD0u9DgRLWBr+!I{kdqpXpL9 zKmCSb17lF}G_e0VZ1HD(b0=uNuhG$6(V4$Eo@pnT>n)7JnVwRu^@6!myDNT*ee=g7 z_K|{^#FAN1;E^{~PJS?R73Q)pPTIzqFqGz497iL=a2)Xo|GWqhcW3*TajNbgXXa6* zPMT*dY!nxVjeqP#1(HqXZFxIE;9t26N$qr?_cv~vz6M4$moCB{lGCo2Rj^V+Ezi1@C$c=vVr89z8CYJ{qitzATHaT^Jg0d_=E< z?O2}B2LPT+Vz>Io*%u^iEm4&VawTM?|H9x}u=-Bm0V#Ud#_BvRb|>n3i0{UA0!Uw;1Z{TGloe*|ll zzy185A7s2CZt`aI%}F?fy8Zlr>+NsPLRg#reR?ur(qBRd1@UKy|6a@AI{gHM&`__0 z0;yi=69OSX^)Vb&sQeT{xPZUOAIfO(rD5<{2m_z~{pWuja263~>k#RVL__PP3}(}v zh_x{*DD|a7rQhLoo>oJo!lXOOmFbv9D6j*HRvlWJn+#Ij^3x!!;?%T0qNxGV1eXE6|03;*Wvn@ZiF31X7}NR27mQTo46WtKY_*1j znfPQZesNzQ`m;tRTq_!D&Xq>Qi@@<1Km6%Lq*I48^9WG*yI@i{60t69@d^C%n&Zne zX>M*ixBLx6nWKJb^a%KWTmF`E`bH)q85*^VR6J=&G<1X;;H6-fxJM7H3=N`EsN$dJ z3hwSWNscpZ0>W2nR4np%$N~9&f1-aEqY+*Y??!G(^h!Sm{)iM0&-iAPmHPHG9!Yf5 za9C)XLcWw&rGIH?7k|+|l#c-g`7@RY_E6UHL6h20LOpl-D51%J49j1XJ_R}> zW}I{DC2VCFP)o&?rT=uHlje}Y^7o`MAi#;@haju5k$JOyqN0e(v-^)xn65xkwuO-8 zyP5>Hs>}kXJpM-6x{qVbxr(#lFwrh#Go8(#dn(IB%gsy8Y=W~_N0ZM<#UD&>8~>fJ zFXC`KigjDGDro|dsHixtZHPd=}dS!(26sZp1uCXfCZf19NSn$)PR)W9e; zOy!wqk9yPX(d)wGBK^GO13V^B$+m*D9Qpf#rS+k-V#O?M_pF_(jYIT% zeRA{(DqPjt+4}rKmcIO3W^#|PD70vAH0?hvHpaz&iTE%tHudATb?Qvw3)H+&afvTi zGn&&v*2fta;(63=In;IC*X3flESYHQ2e2!zB}#8X;&WT&%Ce_*cV9Xf*N3Y9t(b#= zw4ovt9q!??-Zk1l!i4z5M5l}jT4fK9je>?jnNt$lI=dHQC;2`DEhdJEZb`6R-8FJV zY0A@o#Lrj$iZUgW3Etdm=&X~uGx@wyP0!KKUhZEqI&=t@~ zSze3AIj2q}dz@Iag6izk5EI*09hHRu7g(>WhDEyxicZ(WB+COekUmhhF<uE3t zm5Gu4Bcz3+Ksi|!j`Ex)R(68b=mflsjy-vQOCY=*CW@#?k;I#1T}_L>_rzZ+f2Bzw zs!hEJyo(>J{8d)2?jwPB#CPwbBT<^Sxe;0I@u}uw445KImA?w-b`LwfMZL6nw6UsR zOIVa*J2K`(I7rT0lU(i{=^z%Sy@DQ2D-ie{vy+~$6b;@;H}F+j6txe}=K`w(3E9+t zQCrv~|AmHr=9uEn;@j^?84p+xJ<16b6{VCdii5NcjMjY_VYJ>U;1CX_rr{q6Gl4un zg=vIgwH$4n?r5`BEY4F0eGt<|uGeD9hDxqh*Z4sGG!pHCZuYCJ4%6dp6$D&!t8T2= zu0#iVh`0=tjlrUO)l;(w%wb&M^P@PVcNfilZWz`3?7%doaKk!Wu4mJ4Bd4(lX*qLn#>e`^9O(Xu;!D_UMnba6V?w!~{2jrs9q6cX9ROI;sV)2;%N z%#U_Mo|eOMA*kbyTAflaQp7sHQs6XYqz1NDC$gRH+9{A?&NOUc8;mo5fSI1Q%(kW( ziySGR5@d>S{~n{=k~uFfO1r4z%sP$L%?K^*CO1S4LNxs>h6ro&QkZ7MRBum=j%pgj z`O#4=i@DpFKgB-CSY_2wP5Nju)7am3mDh1i_V#@C4=3@!+bD#=|b;je%1%A}#lppmQ`BB;s*CEev`^pJa(BXi%z%YVX zoF=*ys?AKl^l;EZAvIv%1ZDaa~W-6{#m( z2MwwRPxH0M1&}xAm_UnVEj%G5TwJD?o{$ogdESJFieQ42%S=8O;xghsgAe-*e!V;7 z6!R6H?8Y4t75f1vxSZ@3YTRx^7zIM4m;+**H)pnZZ>KqMEj-sU`5{%qzk_CbMfkzg z5P@zo8C*|Akl1X0GRb$7khdTr3AGM7TZBh2aJUXX{B2JxBK~-`QHO?A#HsR1^yA1-2_G9IILG zzg$6P(=X$HQrQFYeJ?o#zU?pzk#k-90nd*ziu-rz?H?nC;*MFEJ2KR2|zXnUD zjK1LvrNZ{z`^7*@>S=2+M9syS8K%Xszd$^XUWGd6heXfl97gY`u!2Ud<(GjUaad!= zCw__eoT|ELx`I{XL-1Wnw0`_c`e8r%Qca{5Rw8+ISnsbAsX{X%!4GW_A%tSEBcTY+GojMF)mI?YZ{j8?)DfJ%N+|?q zq^j|MLM9G)ouT4-b3_dpQOnc*ni3?^Vr4E$PzA=7?PVuHebDzIL6?YxQZW(eajMbiBe54?(q``e5(Y7uP8w>$iqu}O@a^@^WVEQhz$BJB$CraY(IK zadtR4yM#x=9>{5|BXla#MvZ8EOq(6PORxVZ(r@Pp4sjTed>W>mNm~WX3hMLuHl+wx z1)klk6CTgVkw40J&tNrE2R@m-^AZG z)jMn2eP_7ADZWsoe<2X6OG|l?u7;D$S<1|G=G4EVt3;zhSr`vAmpv#1 z&!{2^NfY|*R`^g4Jig?bfMLcJcFY4yKM0YOeZn}Mz)NzN4|Z!EzWT2o0D;@DZPG2UWI zO`wVJEq5>e9%F#A1CN8?LY;CfX_sVtqSE>_3JrSj2TQL6UE(J(WuC64sD!^| zmVd4+Y?|5Rh#{HB+aafNF;xkej8^Yvgx3Z>ZN!tA6c8&7D3l9r3?OeX$vr^XtL2!e zrp=P+kMa|S8t29&4!_-SY5Sl0L;%8Cx#G6)^D=ZJW-i#4*scWChmkj8FW_=av&;==Zz|F4^9gF{WSim z^O}=Lc({_sEnSy5YYN=xDYS_KL6%y3xe(zy(n<)ba?L5@Iw-R)aP~y_CIgNs2z2Y z|C8V2Kk{>_yLXAt0PeZux#;~Dc3ihK@@`+Fp#+M1ctxtI^2-TVGT2ewJr7R(lglrr zKI7l+Yyu82fktKt9FYAo@kIUF-A+T-B2~ylf|4*F3v|a{`4!TyjUV3Q}eT@jv{3-_4>|mbDf!3 zJhAeFR>KRzCG4l*)|n)p0yK$Nhb+=+wfg<{&tkwnW>B{K(rD<3Y1Xd5yGnXWY;tls zj~cpU--t_W>4cZfm3y>_n^yLU!<5q&Og{0c1y>R1dG(I|0o8IEep65!?k+eWN^h7c zpsgRu2MF%8@=yd3l)@0ka@e;QR!d8!435jeMu&dWK`C2KM(;nDIvKH7sk6CXk|wl| zgwpV{5T9#z1!%>R(G{23S(ZSUekRqw!PmZ)V#|0_xWs*B)-t1m@t>`cK8Rbncg@!{Cf~SlT7$nF+?@`J` zX4)s*fY7(w=J2;$=kVLe?y0}HOiy*y5VARzw*sZ=xiHnvf$ZoVAd#Q!m{nZ>iYMsU zyA@GmcFeeB{k>&GBrR?mFDrb%`AI19Ad`} zu<*ue7F}t4ir&$iUZ;5-UVz@#Ar4K_!XFDILy(Cqskr=1H$MIPF%MZ8D`l$V+qN+? zZtNhv=fj*+J;gSC*RJ<=kYt+OkV=zZ>rF}W)~;VIW^wWe3f#7LB%k}MGD7T7-Z z#WuMsYl2EXY&_}JIJ+NUxZ>`sEUr%$0Ro2s`E9kNl2dUrKduz{dXJ4+p94!B8&kwi z`OSfrm$TT;D&AMOAbl|@U8ptrktr|rc|J8`6&pt`mdC?J2u!grGrx9=K}D8MZ8dyn zVa{C?y;U&d$8&N&JR`M;OAiP1iRtha3%KSrh*Y3bNk5`auCu`xU1Lg%ogi+)E!i*r z2l|5e#s>eP>9pE?PvlSE{S47FER^534qGPKFP@k+@{@#Bda1)i2&j?(%K)rep?F?? zmi6&gEemc|r6v8bN1iv+M(5D}`!#iIZuF8<05`$2KgWAfKwvK*%;M0v*$#y+AGab! zt#M?2DZYq60aADEmn?TO-0g5|9_#+*vE{_nK)#52(fFug2Ymgd)Z0qv?HZdx=M~fN z4mB={B)y4@B6p^G6_oU-d7NrmiH)qM#sGaH8g0U2mNZ+%^8?aqz_m)x2o(!O_=it7&aKQ!;>M)LogVH`7L3g5ayY)Fk z*AIQ)?5b|By4FIN*?s|MIm$BzB(QMykcq(iywUo{OYqgyhQY4K`NXvc9TLL2AtpHY!yNI z&Zgc1b49w#P`hd7n<75c4vaBX_9zQ1nrIDzhH2cE1f@>H*sCL5aicl~e22VF3IhVu4<@Dg%oNN2PFC*@7|N7P zh6;j~2K}B6AgPDD0@#LF?T0CI?+JPb=%&<6=o94N1 zB#N_$HhjB<*^HdzcJp;iimZoWu)Q-$QHqqB!1hr4O&>$&ta6JQgf<0Z1bl3uEf+R% z@u9)I!L`}BAdHS8v;Ukx_Y0dnK~iV{w(?zR-^UIqDFQ}UCZi~CjgpO#DJ`Hg?Q7OZ z^WYw6Z)}`cNhXsT{o5zc;$ZozrbU3!>Ga?SSEX1Q&$|7>V4)oT;3^d-Ud(`mcPbk5 z=a@UA62Zn99^+jF=S4rHasEswkKy~SM$Jyjd&)R$6t0#Z@5Cuv;9F4B6gALagDD87 z-sOkaH1Y1OX3f=ws*bpldc!|>tc4Z*QMA8+rjn@h!Tl}xcpyiYTHRNNljE1SuMW~Y zlAWefKkpmWBv34UHi`?76aJ0yn9}J({#&^1@E?Q5`Hsg;+gv|Zn4`4riA+$f?=gt_ zUt-pzUnD5|IEpK9uVs9(M}8n9_Pst;0b0PiZ2((9;U|J}WAcFf65JZW4uO3ydRO~> zXvfDq?Cn_8QS{C{W6TO;TDH4gpQb&{Af2+chwS+$5DJe;@Z6jTG^yxD~#Itriq`WmYqsO`Wwg_h`u+k-wAP|LzfQ|U5qH9`4?qZ?58cOY&uib{ z@3aVxF}heMZ;w=#@&eJkrDNqdmn=DYS1Ax`I$QPg?D+aevYU0r?KF42^DP-l(8omx z@pzC3sNx6lfa=}1dp~7xOke5;;^&;C3^wE4>9y5v3SK|9Z`nCYQ=+o)g{`%MZe zVyp^!hv;|ZjaPL5*v`0M7woBjimd#Ki;}fCRO?D(XzM>F)g!Aibl7~k9^MNu z?DZH_%bzOV)pRt=IZ2FF-S>z8k*!b+sjm37!UTV7f2AU2)cV`WG4?aNkz=9pyLbC_ zBbu|b<6E4wJKE+(IadaznqZEU<7KAJMyt0Fwmm2LJ*(JK^{wC0A#AZgDF01cle_=i z1p&jG3a3k=8=t82Y?92M-)206pHzk$CZ`xF-`w5Bdm1Dky1fRD@3kzJHgJi_j)hCJ z>u)z!J!UtOVh#cBWkbYtjFu1t9)U{BB1ZQnCu<`mADPPiV;$uA-h&cgimQc(1<5Kg zedU=y4TOp!1;zN0gNmS)P!hOD(-KfuY~D)?c0p>oi=dRZv|TA1O-NSa)_XMj$-{IwqrKO_&XS!rGwYcBfn?1kfWD%|FHUOd z2=OOky>ExOrxCmSRM6+ARs~%2N~$&}RAlvT^+(Byr%4_I1-QKzS~2*6WJ|6yS1)yZ zDZ$e0A{g-iF~i{;w2bnw`;<`?H29Aj>9d~Yx;baijFxTeVEw6B;s%C?ds4*dw5+k4 zq3N{->QXNq{Q3%?C*_Cr|60vNdA$MEAjtMoVRPnWYApKbzu?YKfP3(GE0nFw1J8og ze*RvN6}$_AHUhZtYIY1kO{&ALf5lTJ!nNuoreNjJ_`TG1=aPJ z3)T6~m3UWi@uW`KgtiaoH`}=zM55n5czfQEB#}(720sNqUaKlW3yQ8Zm9FWEVmF|? zY!c;ylaL4)<w9WoQVQ2O0@ z6l_SZVu34)OA!F2OPp1zuqOCM7Nrmp9(`#UST9Asa-}USxp#Xij*OeWaMlH{BdeSI z_+^n~%OmKLN)n5hvPUu~{sq^j$a}`8mo;m+GE(tOK|=LJr%56D_}$DXgQ`g|39>=1 ziOGCC>_&kPXjNIX?!KEi5ZGBGrG)N5aiIcNu|YEvhD|GJG)qMbAC(ZMEy>uF zy_u>>=k+tx{u%CLF6aDNNj01QizzVt@OjvDIA?~!Oh*CR0dPK*`mHZ!9T<<1Slvgm zd;y=cP1rbyjN51M0&`+_sz`MKcI(E|AXJ0pJVv)Qa(vYlzIZa^d8&Fn%$~;v^Q^a*+m*>g2h~oiL_drjXr{TMLj%E#$QX5w6l$m~FrJc?{pS`vmaH zi*Y}XnU*>61Gd=j4$Xq<*)Vs<#C^=CbCmxOLQ`N?#$UGg zOF={DVX+(ZHszIttcXPXFsk$`1BFs3TdBc|fdwyCHMO2T;7P_}`v8Z91l#h5M>#Ke~wdPZGOoZc>;xWqpwU?znX;q7PEE&zqT zDk&I>Ly|V|KB)x!vy$@jHp*jI{b=#b6UJNV`eO!LvjQ9Gz&gKBQ;yrilr(ucK7x*Y zb*y99y>wb_W`Zh4m-=Z#>sOQdOPahvN9bm6A@)avmsxkwk88`nyc|^=Io}qs=reP; z!1Jp|v)At42@P*oQ&kLaiX@VkRYGqzYcs|ZdIOPmE5U>I+>=9%It`Ke8@CKc0>yxS zqmrZN9DTvw@iziZ$5Esc9062G3pUJpxG&uhfrs&T4@7k zgI>A7UuaSF&gNYA>;K+<=>%^>(de$~N-G6FUTM}?t5G)86*y*$y!D5rIBnRp_Qk2P zV)JfIF6{tCTBz*L&Cc1IKv<%hfzntO#6&R8n5U}Z=Vd@1<&E2Ym3?M{){ISsjf-gN2Va*MaHp2pjZH0q{qW)M$c zBK_}fN%G#f7q8%m^S!H>drC)cgV~?UKWRD1ACV3cMa{o)zv^*fdL6Tfl z2$V_CHsFcjSU$V5>A8k##y^Q%8tuBx9aIK%Z2NX*1JaUx>ANBWO?5uG)=o+ZQ+71E)8-8LFTa)C{)j3S^S-*BqqhoZO9l?YuHYh8U5n4B9og$?t z!>;SYUa+Nvm`?6NQ5F8Y?X#jtIy({CnfS@_F;{4BI7_$kSUK`~v(kDJHPhaD0@IMt z)Y>Fmb@Nd+)`A+s))qntxDKy4UVl_9A?gSuk!D`j$MNY`S^V`Y%y(8;E`tQ17NUWV zTW*aYG_T(R{3wT>_&VtEB-Wh7njw-^#vjutnW^eJR^6)UbH6j>xKp!6;Bj_L*;0D+ z2_k7zXT-n9a)lK4vdFuNa)0gLQRZM`+|eOVHri2JYwKJVR@*L{i60N>#}gxBzUV%o z12~x^c`Gqk9Y8pa5Mwax{?|n zhCJVv2z8MoDRviUg3Ja4F=-{!20mCb5Tcnp32u{$ra~Y&Xd09AcCzM_bUcSE4wVli zpNrM4N_Fvw9DUix_h{@)d)_ZI5hUk0aPp`acp~#OLnfNdSY=)f<-ied&_Btb3lhha z0C@P`z+XYN=R;29IB7DAum5~!(aaWEpidV8mWT%vW*Ux z*Iu&NjZmpz9=x_$z)~sW@*pYshm%Ah=BYLE{7s=mv@i&j54^Sw&V%(WKZD(KU)yli z+s}$CV@;=qJu5vUqMd6-!Npy+!<*I`WD?($rWc%Se9*q977aYTOm1-*&;dJmrSBhP z#BAA&mvZeLZ(5pRptwGhzg^Y&vdIGpans_JPyj&1Qk2yTfql7asr!*yF&3q` z0w`Ad8nsL2&b3gc(y}P9T$q3rvriUD5j$btSSr#-^70pT%cmiAgb_N2_RANm2UYwA zDss&rLl9ZF4KEw@Q#Wz2@|8kLfTYauiTWX!$-(MKQbRv67H#R+Q=)pcJXJf=fi$Gd z_VW_LAR>;Kqk-T_H^!a;BdImBK8K|r25o<>dXY#p!CB+v4X+XO3j0+p5it{DquZ85 z>ZH{(EvFn?+nc59+CGQ_y^b~q(t zzzn|ATw7;G#~B#lCFm^g|ADcyLI1T>@~6g*#Ak-Od6s0qz~8pITN)V*gU6oASqDwu z+*38|>0@c9*RIt~zT!zBZ&XuZqf z_Lj1(ZW6wLhWA9Ms>@Ur^(WKg(@nUXdP`oZcU`9`g z0GZc1jXm|OPo?F&XHb=Wt7-8r6S^jWy{g79-%gRJ>#*L3&nx;qN_Q@RHe;6DOB2Ps zzXpZ}XOz>{ho<_}ze6zEy!Ml`u}nH`m_xma#~S%j3S`J!Js%?Wp9~C*^1hpn$e?gP z-;J1jopEuab2MNf6JJk!g8JL=EDii#s%nwTtoVwfrz((tjT^?DRC()*wM7X_UDuz2 z0XCrI8+P`rsJiKkm*W*LZ>Z_dnO;fy$*~qnw@*tv$7wQZ;hA#2iLz z-fZUN)n&|`9?|bg2zDjD3Kykd-z%xl9sj0f2V*D*Jb(XxEEMDZve;Mn*Spz+cW#Bt zV|4_~jTH|DkWv{4bgczHwSvo3sH%ni@VgoiPKZ->6grIao?@K*xq!`6qSbC^9KOy> z_!19pc&)PX=r4;fd4u{zZx#}=QRyv}u|u#<(c;IofA@R`nNHz|L7=JGNi|MmaIcA8 zqRm-7C+5gkN!bn2o)hY9+kGWzKB2SLJgPXR4|{a0FEMC@GO^meLT5&DG~WqM=Pj9w zg6(1=Y4-!Q;LYwT<7IN<@w-U9axdRsiE}o3L4wMY_VNuKA1-*1zhd@*pRcjz zhg2O7DU=<$a5;-=(^Nab`J-@m`KKOK*o89ifuq=7eB;1;#8F{;9rK*RZkTs%$a}I3 zt61xCDUw?}1yM2jOXgdSqa3Jk*xsWxfYQbb@vPG>)HDu0oqN(<0zbX^A*g#9^uncQ z)$eHWV1#Oj@9XEe7 z?{Gns&mfMn(Ei;$EF9QkE`MKXjG+c<(>*rG3lA%ds#&e?mTMg@r4{fU6M~i3k@*(^ z!sGtj3(GHq>6O`wN^Aizp$j)JA92r4b?df2CbANhFZ8D?I_>I0DPOebt;XvF_H@12 zh8UrzZ~aaUa+ur1tM;FbX(pui*Q0Xwu5-rgwoI5epYw+p<~zU_15U@P!2r)T@Azq7 zJ2|gjNX)PD^0o+eCUMGDf()UR7QMoYfjK;jzT3^`&$o!OA^g+e!@Y1&ypWQ9E_^n% zsr9BSV4Bn)YTR(&Faj`|02-r@w#!nD+*xr9skim8vKn7`>2_LP>?J&awMF9}Cro=^G$3o-qw)#z@TbyNzoPlis!6)~RROk~ zw4|IMFYp6UN>)gaUrzA76t5u92jKe;Jd(1!eEfXx#b`zU_YsrS^CM&c3LpRb#HmDL zDB~2IyT_eu;C$~Akyk`iS#VN!@+d}_S%@8JV#(vpf5$B|EsH}hBbAR$FUUrKqp3?0 z%TTj?bT68sm*XqeX%^h0E)#XB)@!Cl{|+mm-)q%@CG>b_Nzwniypc=*_mGckU1`c<2vjT{i2VpB*295vAWrnLEF5)%E{ zBgjEoAToi1_OiSO5#@1f>quS7j9W<1ys>ai_e0d?IKg&W%21Kgf!UpQBqCROSlf3Q zaPrQikn(P6^7o$BUtRmLdDCh6hu^<4g+GfY&Hu&6{Z7Y=Luxij7hHjpvnZ_8zZw4b z?-X$LBEf{vZHTdz>35?KA|pa%?4VUo>> 1 = 0100 0110 //unsigned \end{verbatim} % -We always want \textit{unsigned} bit operations, because no bits -are special in a hash, or in a bitmap. +Unsigned bit operations are necessary because no bits +are special in hashes and bitmaps. \section{Hashes for examples} \label{hash-examples}