From 36d4e4041de5eb480520e3d46472d1fca0289738 Mon Sep 17 00:00:00 2001 From: nderousse Date: Mon, 9 Mar 2020 21:51:22 -0500 Subject: [PATCH] Update to Research Paper Added transitions between sections of the paper and made minor changes to proofs and citations. --- research_paper.tex | Bin 17453 -> 7297 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/research_paper.tex b/research_paper.tex index 8ddd25838798d6563bc230f88d5009c03267f83f..7b70ef23ffb0e8d98b68b48d8cfd8cab1208d018 100644 GIT binary patch literal 7297 zcmV-{9Dd_aO9KQH00;mG02mf(Pyhe`000000000000;m80BvDuZZ33Xc(q*Za@$6h z{qLvfa$yo_O);V*=W9n(B`0yMr(%trXew1}+A0tPNt8f<0zgX)!>WCUeZzf{J?Gx; zMuVi}Bs)7Z9!en4efxf%`vDEdWwM;7MU&)lUB4R)7R~#0Ts2ver<*6kWt}eK-X!dSS*{gNIKuGr&YX|WyyUnp4atiKH}#*Zf5*!X7k=`wMeTfo%HIosj=YJ z((&0M#tl8wluewUufNQSp7}Z}Ha#O_j}4 zbGe+4(yBIbF*Z+sSSEQkPUGUKc~h0;qz0w&vYD0D`VthyMV98~`}C)BS=S_E95?BD z*rfMZaec95>Y0<{lj99HD$=`VmX=jIU)#^k`bsZs-qmT+WM%QbbK5wbWJSj7 zoAvkY&--sq%Bsxs7>8Pa=YM=>cj~U2r}KHd@!zd~l;1((CdGCCB3fC#-qBa;-t}M`TW%^tBpv-++}%g##xqJ&_i^EzCHbmj(B4QZp;>@CddJv`WWV#eUBtl+~&amZWvclevYmf~QR%I%BYYF|C%cG0Agwf8iYf88#BwMvmF1h7+9NU^Q@60@i(vgW{YKg z6?R&T*IiNTb*skfS4C5m#09j8f}DfTDWbg$)XF2Gb z$Hj&cH+8cduXc5YZlg9M_(lp9OPhv<0qs;FsD5XSxdVNA38I^m0p@O2nlw+R*c1dn zp+4foTw;%*I3=yvRP?K!>tDW<_7ip_?L&t>?c1tdS zBa@oIz5}&!TZUdkjJ$OjKQ9-H5+cB@SX_)W&+5kWu7>(t4|3#~||1 znv^h#fA6X5{%{djen)p4yKPZ6${b7aZA5jg5s@s<#@WYA6b}!Oyd};X-TwCJV__w@ zG7@FVWo61LgFCke;zDqd)T45lkKu-~NlI2AG$P1R(fyaR_#+Nk`kMy0=?-CeMqyCT z>pDXa*g7U$5-3og8VDa7!=`bW2M1}OW1BQuAE--y2WNM5QT2!pDbOPLA20&GyO`!H zIXZN7D)2HhHGc|`8l7$cVFV#m-ziFe13&%U-KWXf5SD72iB^hNO=__j({VS zo0trOCJt4O$Bf!Z3?7>3LC^3Q$v0 zKmhpYqzuDd8{VKkVf5SYZ|Oe}I}*6pDJ%ipw;}}uSTgEiW5yZXijhSEr4Saom?3^R zI*VjS+yWs=^eliIY*=x(^b8bkK^XTDKCo}z%vN=lfOjiH=nGInd6GjUs{xK}0Yq(9 z0Fz@b&A=53zy5YORFzVXogn(BRqHD)W^3Zn65wxR)+WJ!+wZAeL&W(a_5O&LqQx-1 zU1lFWQ@@SOXC{J5Ib9MRvid{4q0We|Z0kv6EQMT`|9NCP4_S0OEK7~U%1(2swO(7P zsZLArGqhCP{iik@(iu30wC=%j&bwxScp?w_hq6e`T%gch32U$5>=Y$*HB=OYGR`Jh zvfnhtK`Kg3`{n}91@LNF6_E9^QAgBz0Pm8hnHe@FUJ*#4J_nwrOMsv^8%ygYOi2Ki zCNI$Mj=7vh<~1N#4zGL`sXjPeaY@G;jq)Loy!yXJd$uy@;)NDk{frwc%ikLC&+QZ{606Aa4=t5p3T*b#RLsYZ#9FiE)t- zYrX_j+~!-rGzQtSqLnk(;}d)M9NgbM=f!v|8M!(RCpaet9=rp)ynX<~?bAdHvGA>8 zJt&wmkKoznJzRriQlb_^?Z7)GmB21|7B{8$K+BTahA^xn-Qawxf{);{E(5N(1yQhg zGwepP_QT*UA$Cl2H)yw>IskIm&BP<*H8eQtIgeGPIie}UEZA4U2{H>yi`r)C>R?ej z@RD$jwr^e)Bnl;h+Ir&xkJ`1DO_pcBA}q(?GVzDc==e;ME(E@IazLWu92Dj?z_PDC zxIjNa#+{9@Xd`)_r^}P0NB)#22kzMRjPbcHp-=q+grBE8n8(&zJyaj@q&QAXO@B{m|0I*S9E869`$qq#dPUy5m!~b`nMLg9e+4c zfOf3@_W33NSp)Z_MQ@!iPu!Phd!9Uf?8`IvrC&A()mt>ejwELyB5CU~M9P%u+n@Yd zfhd{XF+q?|I04>q8QjtO7p$tD86LTY_2t=Qh1&tqQHFxjq99l1A8B4*PDI_5QH_0! zU^5nzQ2mvf9ki~TFlr-78B5_!6$=&GA0d)r3{qHTF7wTfMvL2xTR0&K`U$ZO^K{Z2 z3@0douH(&mu^A!-P) zdbKf&UZ5si=;+av0u{Hai6vC%d{}_AQmE(Hs}CMfzhtq&!)YeIMVcUCLQR^12^Z$y zhWxYFHXZNMdZq0mTI*p1l|dW`@&L|AL>2moe2bRR`x7P}EDGgxGzbKB4rdFN@1#d4 zfIxk>nES{wN8NQii0Ze6DB*6H&S~Ca!MPmc7nZ`WEF?eapAfpBT7|?LX$8GDirlUk zLlgst&cY3Rz75E>Qm)ypO9qr%HEhBKs@;^tN_wkG=n@8>HAbGghouGjp$d7o2m(a2xoe0ryad;{Hw>g{brgwbg2XgA-8kQw!m8rfRYEh@O8BLbzc zP#YAukz^N8SFI3s$VSoeI*YnTi=qbvb$-!_s(5k}W@I9}`*ZiOlL2bT5VHobDy2g# zrfOymWPmOpKvCoxa&*u=wpC!?qGtebVI-A% z*D(R;5*VzgXdoDEGdeNF>wp4i^`MYjm2(p(70T2tGGxo9=W2lI{Q_=OQ|tz<7hrfP z?nuEORl5dX30=yyDiyVM-9_g%C1C)5Ca~GU`XC+!$guaQ%k|BFpxubJP;bwdLY)|Z zrmtvaqQn4Fn5YVU0T#k~QyiE{4?&LF1W^!(u^llVi^I|u8>5rB0*}Famx;*E(-KvF zMjUb;*vLGcmT~?RVU`E}KC93G$kPUi)!^&XuXq$ zfh!TW?fEI{Ch7t4iHNBwNT>+N)iw}+fI&PON7j}sbJQP%QLfi)%RZ`-zPBX(EHD>{ zT$}DdGypB}u062S#wPZzJ|OV00%6c)Kyj7Y2~m{dF+zb}Fzik&ju8Mzv_roAwFC_UM57OETEN5)a#O zd<0Cg9edjd3}ypd&ZG6c_6c_yI05j1ol7V^JX;PQ50*f9TV4Gfcho_7ZP?zt6C-NR zqZacTjhq$S3zQZUH7y*!@X30ILZlM(OB}FpyfbK7)4^E7f=Z9R;g z{1PQ%u%3RGzy~nx2tl&uP(Z*1YbK8R4inTC*bR_L7pSTX$an`IDhxcd&B4R&0Zzc? zn}U1sHRx7o44HEos>N$aLVyG1L^d#pH8AdVh(&vG3?ESAS8gG0-U>l;7s@OFFN;RcA-XwOi|a9svDhMs^*01rAh zQF2|}e<+?M*Xsg_@cjq*c&5n*t`6?62hS2ASy;>!UFibDLq$-s;#ZS{x5@qCXXjW| zeri|NU$Ql(XSFE=s3kW!02_qy z7WruTA)-XQv!kq<*{Izp%fJxu1^;&fq;EHeI69e;BrMU}-xB5~aLYt+(#r$G^-46w zGu>`NH0|sxRwCUD^$L$@D#odxu2N=cG2H_2klo_3R?xR7^wpYZ@!J$MGPpbFjY}{O zB1xS-S^V}E#CqiFf-LLfItdck3h&i|`1X>po&&HV=)ItZgV>6Ij36Pc3Txr?Q{c~G zFm*!w!Mgo8lb)wQFq;E8Q~upfBXAH`M8N`YEFRGu0_TQf*q#9aj({XF(+X92Fg!>* z?mHO-R4m&1%NJ>Lmtu)43;^uFgI7|~5%ll48kTfG4x=My2STs;JHtvnWBozUMw5hzff5pdKvv0w6Ona+Iav0ex7xJCzkTyxP zU$x**$3Y!Z-{q<#Sc&S7e?r1T0oN8Dcpr&*RC5A75g#I&)F$2p6`beMiOzPUN8L-u zg4)4tFL;4W#2l)5VmS;<5{m>Rdr0lf#rkV_O@*}E&Jal%$`@TXYr%>ZqW#RcT8Ba@ zwU2iS@GddDpXVF>3m6zkB^hPNSm%blP|U0keLpG12AUUPl39{G`eMQ_A8y6ry${!{r?Mh><~} zin1&u7MW-!rwOc`7tUiG66Sd{645c13Brhbqh8YSkFa|$@k;SnwHJ?7#2wYOg^f4393+I@y9M;wC{L zXM$ruR!as@7!XAysM_$CLr;Dbb(nvC(*q`U7q16aCg(S(LE{T6m>at;uHq*+ff34z zDs`Lzk@4r{2nYl+*X-I(7@{4A>|0(4uv2{4=)lTeKCt28`OT5v%?{E^tQTA(8R8y* zMbmL$poLf<7s9w4PSe{H2-a#Uc*xs1>4)lG2aF;I=FkL-qo~?&Scs5^riz6`DprF< zx@wvNIk%li7b-ZNQqL4TJ1$){qb0gc?Ze=p;tw8`(An8Wu^a zg{-XfA$l6MPQ)kHE%2O01EaDChxJcGs`Ob(CuF+Ci5xDdr3 zG7@@D63L5a)9V3`+SWLtSr6Ab?n3ectFy8q^y{y>w00N8p$81vg*LyudeefShnV^M z+&(>*r<#TL1E`?9%kU##D>A43GpbrSIh5QPbi&1(==I+?R1Q{#b<~HV^T#+xho1~i z0^s1ch0^#ki<=E%=)Dg#=23QdqzBg`*@$cy!Z$tP`OQIc2(tYwe5bf2)Q{5zfF(Ty zqAgt2*8H8Q(J*aPlVFu4Y*w-zs=={EfTCikQq^?5s~ z4clAdM`8aFZ}{AT3EMi^qQi>j4i1;IP2vsQ(x2~J+ozLwgjC5tA28jc42MdeEOHF* z>p_n&wP&Un>|(5;8Nj&-uhaxB+1kVrW@}#TKw?`e^VJxJtt7}5X15J*-o;K)C`7@_ewJPdW=7U=t1WQ|KH>vH2au&$}K4iMWB4_}!A+{!H_#Q-rn|k={+kyQZ;@EH*SyPqnGOZ(J2gA zm2?*;b^|9kgSa_Ixtrsnasb~$7_$f8%qqT20G&YjBt@YOcj{Yj0_p4wZObFZU5(Jz zz)-XCZ)=*b`hz~^-@!aI(f&ZjuH9Yrtl}l3%X2qx^_mkcpj_Ve;n?Vi=@oOVeIP4j z2*@BQt^tHzq|^+hvb~5=AfOtwM?+Pc5K>+%#G5w`GjFM zO5=-U3iw^iwKiyajQpD8MZ`7%{0NfQP$4p-jyGRXeuEB(m=~;9vz^YV3W2&d z6;sfpw5aE|`#V7reL@(ag3L<3zCx#os}>jsWNbx2#2{Dkvz3EjpyffA!`#-NY^c~@ID05yh-7_dT{uIO z?uh>*DQ)0V1NRwvRS-GCyLcIf0r2KLUj9C5J0C-QgPPbpd=vHWu+hcL_;*u#ejxI~ zyu@o##TYf3SHbJM3{sccgu0?PSaC$~>(isb*>TUjL9S6#i(VjiKnQC@8*)yfxB&~dLwmVC4hY)^BrEk#vKoJ_wlCxOIjRi>kF{# zp8jUeKTCi;(0}Ti)92>kx`Eq8u~G4sVj$*IyMd@?ZOJmakK7?;HYhad22X$`(yBu%Vr z!~0gx4+h_S`3;!>j{MJm{rAb4owMtR%2j#7z5kAp`!zOxLE2%{I!0+OFQ>2@^inAzKa(arY%BXy+BpysjwUF?4#5eD4+@JB zV(0Z3^1mH#gN@1y`dvq4rOCEHD9Z~DoMm{o68J&p{%oY5$NYm0THlrX$t9kqt774c zHews7BfVl5DUlaYkSa^AxZRi66(3MMLa_2q!>#nBkWyo0jqe@odkw~gA{Mal!YzVX zd*2MZ!%@V5vC{1mJSDHX;513=;lfyM8Ko8CVBX?g>(l~|SX*X0m-=2Gr-{4-T+nKE zjry6q{wyy_82Ep3(!B#xunf147UqZeb1`T(Gg;hF%6x8FWVZmT8U9cV&^X^z4{+)u zxrAU;vDC0eh4#3ETlkI;F?Ov1F^u~UH~gL+hKGr6{#u|^rLKX>6mUqd^4R_j5z>p7 z7As)6$4+>v=`aY;{1{dd>Dl?sIo$zT-%O`vV_O{(=E$RB04+Z-79~>_%I*+FD#qT! z1VnrkM^N$oog5JOYyy=CR7g>!Om^6|EA-vY-2jTcg%)OF_?MRE7j{e;er}B&fT%R+e9H)ZH^P$~fwO0t}lc+dVV5myC7Cbl}qAfdPW7Z7{jFw_5prcnWiPMus1Ze>$ zxUp8oOQaYAUp>DbbOWw&;0hTv2TSb&;pA&zdQY{iW1|;i0#XwCIItvq$xmi%e#Z!z-dGrEeaAA8y)~5Eb@;y`7(I=jwvP)=z~)IGg-A z8l5uKnh%X1WqOsOfZF{#3E&`e;9D@NlWWJ8(q%}5Klb bWq43a1qJ{B000310RT1t001={00000DH_ly literal 17453 zcmcIs{d3z!lKtI(#gq$`NN1W6B{^|?r@K-P%Y&f*^?%2v7hhiJ|$w z-+SFNzyKuW?B4C}dL`pyrl&t%zwQ}$IL@QxJkF{p4a@T5V6dn@t;3>9qBPz-87|9s z5k@!RH2%1(CNDp&lWei9;w)<2TThE{F-xL{UN|qy)qKRC^RSxnXEmGmW~)V96!D~2 z##M;{J41)3ix3a=OqEw*dba*P$$I8xl5Kis9v0IiI~yd~r}Z?>=W$i6Hcy@mtE5Wf z^<|OFV{@^bkK&>8B79#-)KMqFRycQMB@KlaS=(ctBVQ)TgeHH-5ip0DlC&H73&Y(AE8R3&-#srA@6 zo+Meq>znm2&F{M(j`AW;(-6yA|6Kq2(azK!H;w1>a8ut~|0aKjh@%)vT02v2o*4XR zI1g`PQIr04oG(XdOzkJxR4(ateK#DHRS`y&zRUNoW=UzpF6KT-Q!`G=2s$$h(Rrpi z?-_YL!;pBYni;BpIsTT9LHP#%!%9q&i9(j+m{(+kvM2V!-OP;Rd7g3pDmJtH90P6h}BAFGnMtYt8E z6(-8(kRV+dcy_+bs97{%V_67pizhf3ly=E~eaNygR2`_|}ev+=rZY`tzBdHp7kTgywee>>&zrIh$zh9Pc-Em`X8;#e3@3sB3;qFs(cDBfOR_# z$f(Dx}%VOI6cFiL<2 zACeUE&BJU%o13y)j#t}WL+B{Y2>3{|VrWwlj^Lka1oiNwGWU>AFTr$kD!|;&aucWV z6q7;#xYQk1%prD!igP1tK@C`0Nj%?te8bqPxQw@9wgTuuhLU0vv9{LpNvy5$4KEi( z*eN*#mP~253>zDs+qfxx+>kJDK;y%5vB+TpJc_|3Ow**SYTcD^pX)(yaedqyj`OO- zZ$;2Izr~dag7Y)n!z~ESdj|KO4f;V)i~MF{f^+dc5fS+Ucy6@@xP>puWSAC#DPdE^ zHOwIWFq~8}+JEP=%l>c?7WIs7J$BkGuT(o$%iMBt0o#rei=cW{If_BuJz>x_W(c7T#f%dHv7;58Wd< z&u9*MdRZn&1f6vPmLP%Rs%L&ojHt$Ct{kF4j;?5oKS&q-1=VhOqk0k{$@3#15EKFY z&Zg-~mJTnS3Q19MY$$=7(9pOB`6l5U8J&TI@Uu9A0LRdXt0phlINcr4{U<7qgTlA; zmtP-3;;(>6gRPgAS}>6QdsM~+bZ*r%K{n6tX_A)byLbW=1}8o9qGx{SnZW>m@V5bf zC+EQL$M|`I>nFH&il3*rc8cF$@Gac?9@oCd-+#c*A8_p@|KR$M9OGzU<0=SLS6QA3 zBGGUXG{~G-RX!dwbw?qTXo6$0yx3Nf;2oSz9`2jhno^mGdM39k6{mhU2nHCyS`|!S$<&9bnQU}2rWeVUB3kGY zhb%of4P;6@0y|0y%|IV)ZgG$F418`uHg^Xg?3>Hks!XCV1t^jOgPYK#)Dgw1Kxi8t zQJNK4<(NY=d-?V+Uk!)qRSMe?NI+aPfN7~)6^@qRfE%+m5&qlUr-KcV?6bJWBwh*@ z!}xZY+%;-_6_{^K0Jn1fBz|Olh`vL=5r66WN?@#r9GL%kWWI*F=zJKLZik_r`_gr5 zm!-QpSHF(8|dq ziFU`Qprq2(xNpvZFko5BB7?P;m7-At12rzuHxo=u+9J$Cfd_EY7C=axO{wJ);Uqju z>lk==D`ZXr^A=1j1vH-q>JiRcT=j9O$-c!Xul}!@-;zwiL`$F(M3{(k`v1)dTGIqr zx19*xoYqgj;|$z%KViQXwS}HyEi%79_egIdN>&aYNI440Z2TZ@HF#nC1L7x{gY7&=OF7_S)Hbq~LaksuPL-(I=@j0UYHkj|=ck%Vi$ z1as^v&(|DNZeB3lS^e>q9oqI^Xs`8rJeDF|A;j6w8H0;&v9Q`t!0C3mq-9*VtK1Kc zrV1pRwuKPKpq#X;rBqvNk98)f4Bo{<@dN0yRJ%SaYuVUept|BCe66j4E6zb$EWn28 zDA#UY+%aS;NVhY11KJ+3!)zuTq0(XG(SNzFB2JN7nRB7P0(i)}EY3<>xhvM9pHQ2^ zVQ$~N$tV=s2Bih&46oX;msOG`eP2$tfgEOOWTfBjK|C z1T}av!l0E@g0)<=IJ)GofjUS?7u0{!!h}mnvL)v0X+;4_i|ImO)=GOTSVt{9)OWiK z$D}0@bQmR2DN0w=vf%1SL-Dv(EqWcPkMHXD-p6G!UdCIr{8P;}&WTNb#zk%kUhQ8k z4-8ESVcmn(d&T?vSehy_3Zr zTy&>woYhm4Tzm~!K|6y5K+i0NSg_WfvfJp^`XcD*07~%U+bk@KaP=<@hdcUwtZePb zqV9{0$G8UWuH$m8yT|VC>8^KA9=&_&?lvQPnY$w>f=LP~GL)uWL+(t&zI$IU7!;Ew zABzV02_)bX7v2*M$Y4|jXaIAG5KNQF3Xg-dqdNu9MW-%L?-*mXvB<+|s1oxS;cDzL zp)oAYJh*p0VGc*(GM0{ z&vO+H^!(A0JU_Soi6PYJd|8OKN~r7D=?^u*e$5Ul5ECzin6yzv1Bz51Tx2;_o z5*i>oJ34sDW@g()*P7QA2&%CXap5x7c9~+W-Dx1YBEq2r+tN^hNyt?tLG%?=8+3vSBj}nt5m@? zeYrkN1DTi7;1zZKyo%Di%IBafmwCF%@Eg2Y(>qYmmNfo$rA}Z#M`Gzu*`Arzrgp{C$No%+Y3yKT#J+iw(um3hVnJNr-U&|)90*V@aq${C}i0JATve8B}4 zXtvox$f_;*llHf*`#Lu^{39n(tO_)6mPka@kt&R>fUjt*T~GK;2^s8hYpUh-4K?=sK9)iKnLb!tU1o#56g0I6ONA>a;V_759RIU~=HzL`=Hm$vl2p!vVYkN0bggZybC({s` zN91F1q?N|vqR6;ced3r~{S%s?K|I%+c#DmU6&(3$hMClOLeD&7o)du*wBbzzK88$S zcN`=-LB!})>SH^DvK3bnp{4XF*!rQ~lI%thO#`}t8XaxU*wqD0t;|ZGn3HD!X8p0T%@C)bn51%u#e4-uh5uLjCZ+M@k;9`QCf6D?d z{dxM4tinat%>zn{&UP_=e0?XfK2AS{nj|6uT{-WZ5epuk4SF_|vB?4GYwk<5c*^L> zd5m2ekm85abXR!76^@qGUtK=14DsT*gXcY%9j2Be1*q0}QU|VXkItaUj7i9M;rJK= z%>ZtI=~1IuoFXY;^Doa(aH1#@7DN?xqejoTIB$33lR&VqAcTW4%MPqXI6?NEK4uw# zJ51%B+mZ^&{Gt$9S}$({O5^M2b-SxIFY0iDD~~O?tYUBsg!SMq1Bq=qXEFSJiG}%M zCI{J}x}%&xaKmJe_+)njN$b0POSyu^TZ<6o(GGh9l{PEwi4Q)w{W`W^5MX-U?I;8b zv?jQpi9U%^>zj=qS{R90L19~@l|cl{ea-<;z^0A#v8<~}vv#++9lW!XL~kqg=$Q~wDG_pn5WB*Y1dyVPA_jCJ00S|Po&zC*BP^aj0HDTfkVb9Un_ zra*%Ps%bPn2z&EGRI{8<{Qhy5v}HnP0~CiZbSHVvapZuJ@PNn0vN43J(v)ZgmlHV@ z7&OR%Z3a12Ij<}K?e-h(hW#S9?FaAWK2$!LAdhw|!7MMHR$0YLvh>SHBrlXDbpso_ z9Y|r=xD!>mQ=4^-*6pO3H`?s8hbR$J_T&PZl?e{R#-Vk47RBIu4IDX+=kP0BpslVD zhV@9Rkh0nXy^I|?M&JCNVNKN%XD+eXCWI7mt2_tKU^F)V;i8@J(JW3JqP=0P@DW*v z{!)`co`W)u%?BIICx=M(aC+TDiEt2?gddNqEx?p_rJ|i)zw5!qfzMmWP5V9tSji@; znv_k;djA0mb5UVZGATIb8o7rpW2PyQneF5BGma(xJ%8nmqIJgDy*ww@M8KfR=2n4k~3Khf7O%GueViP6#Bb|k(SN7y8>%l$p zUYwZ{%);|-O;{2Se7aTvJPn40^>K%=eAx^Tc1I&84BZC2nkjmDQd`cKz#qwMS_ z5Gfn+iA^H0?S_vNiDDeF_Ku8ob;#MJQ=)pe-HUM!q9|OICo1$fwKN=LwlQvw(1voy zb;U2dU2ExDF%iPm5d1VSgCAK*SVfqkT0_jS>QT1JjV-vA zpN;wW@JZ?tG`F7%JmAQ)pnV4ZOG7))13Gxej~!k2$SjQ3us|!Bs7PgHL-~rQZE$dw zXKGMVurCBX2a`Z%!mnwJ(*ja=w3w-!d07GhEx}_hF{p%u$eFFkDDxDq3T3Nwwv`Qj zuBV?t5|0kgB7;vyZq1Qalp=^OINTnvC5&zIrcej1rM5Qg|DgFGC5&LS(971J9^?i_Dg62C)L z{AtH{Q?Pa2p63KY2)awKMKqu6xURUZ5KgB$s0G@={~fauwjM`Do@aKheR+P zKpEa~E$sJ#^>EAACOW?dISme73B>$FrXa*kN&~_;G8Yufcvb)Y%P8U@Mw|EVfWjh2 zEApfTh58Lv9T$YW@Zs60V?9MZ>ahM?Mnl|wrXp$vKFkx?2i8M$qN@sx$YNV)z>-I% zpb>1h6uWP%d=!@iH|LX}F!M-^Q5AfC@)!v1W zaPcgRcHFRH96cZLrj=ytb@x>LL<8_U!9z~!ecf)*l2S>rtafwtn+z9C>^8y)goTR@ z`4^ja@X@5^F@Di!ma<=BLq?AkCV%ST81WQ%lg6%#5R7CCD`B(yvXA8)^dAc2@~`K9 zjSqP-bj3!3_CCb3+&5kDO5|FeiPy$?b1Ysr^I8W-nr|R$7Z5JNUW4D5Vef_vC5MU&d%m^MJoO2tpP6Y^1U< z4{1E1w4dUXBj{@!`y~{5SYld6pX!ehQK82HrWstIp}v*u0g`rasUs&>fVUZdjw^RE zw;(6pV$l_X%vlA1mmt9gmUHrNhxOuvpk=_b8|)uo15qzt53F6!Zg6q~H!L5zu><2O zeuKHim7P$i<321$$jI;;sV4ai5I>B;Q8pZ7m9K2=H!+y#!1|B;z=VfqH_z+Y?3Zam z8YIu7FUBu1w+IK7vQ0Up;PTh44&j9v1AyM^W*6OaFl0Bk90si*i`NbU^&gDfaZy)mBg(*%t5@RFbiJBAwH#}UyNmw70CZIle@_rQtB%i}i zglWlyeumbm&TbAOY^=ff&Kw@Ts`TS{0g$A%fuZob&Nm5?%!laa+KEsO%a;`z*GD$P zOOC@C4cmv7Y74eGBd{=bp1GCV@bJFa;Ep%P=i`*tKi?xkks$u~z_$`YjCk92hYJ6; z#K+*$J(fqDf$kAQB&&kZZh~)j%}^6&yh7RJPYt8)Rdq8Ff`c5njXEX{QEkue>-nH8 zO49=@;wH-XUGi_X4(g(l;1zisSiB8RMn~(?;KsoS6)Z)zU95#RJCnR#th>)6?6f9m zoZ%mRz`t5xTLoO>5O?tX^xXe|`oDlwifQ;#{24=4t}8< zCReQZS3JV{5*w4JM?G`NCQ^?2{wJU-f1a{4qfJElHyZ{XV{_67vj>P@$=<(t+kfBJ zF6Y0R3+fRat469z*`ZMZWMkuJ+pOHvOvgV`@tXM)Ain^1JoL@a;29{rFbA3-eRJ}{ z92_4VeUC(PeEQ?_;}<{f5Yg?Kn_saNVE*WvKjNfBi!Z@mjnkL6%X(Rp9~_w<4$bfH xe|u$SRke8a-FIxgV8bIF_wAs45TEawmz#I{vud7tP=c6gnf8fr-sYc`_+MIS-k$&f