From a16131215d285515dda1a05ea1b3713884ee137d Mon Sep 17 00:00:00 2001 From: nderousse Date: Fri, 20 Mar 2020 16:59:38 -0500 Subject: [PATCH] Final update to Murty and Thane's Theorem 3 --- research_paper.tex | Bin 7297 -> 21764 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/research_paper.tex b/research_paper.tex index 7b70ef23ffb0e8d98b68b48d8cfd8cab1208d018..9cfec1ee8ac767e97392f3e94f3cf10c37e712aa 100644 GIT binary patch literal 21764 zcmcIs|8m<#lK$UMF|~zFq!Y!6lI+CJalet$4pQE{JN(HgK;)m&ZD#(C1Fv#>-84p`*oO?@hFKl zj|R&kT7;vUa2mZ^mXmMZuj6#FETeSPxVN6>;bIn#?mOYUC|2_!f6l{l#-HVE-kGfy zQJzPWP7##_25b!-o-aZ?&@p9JhDm?@Bu+c#n>gKc%skAeaoX?2>HGCG%H~m-uQrb! z4a&GoqV=0Ro=4_#IUh!OVZwB5e*N|PD>eIg7G9ny>B8&H73&Y~B^o zsEo7pedDolG>Oxg*Ej1I_3yhM9%Xr!Bq5fy{;vA#UZW7Js;ikH`{z3i*iNgp? zT02p09vS>^Fb{7cVUzwj&X&U@BKPBTDwp)Sz8emUG7m?kzRUNoW^rLeF6J&y5;KmA z5jbYRAn-g@o_CDAo?=KmRn82#zZ`$b$H01n|Hn#9oC-sh<+JB>ZT+i_*pjAw>dB#2+bn9i}J}bf!<_^nPj<{EOU&QW5SP7QO47dLU2@o zBxqR~M@2=2TZb8CbI_2i40JnNre%~zV~k?&a}im->Vhdz5piv9pg84vqkXIN#!sjD z5_Se!O>j0?%(Liy+Ih2l+Et2TojKTthLw`#%i>I>$|1cPs zo5b_DlqK=6O8rfXWnC3_l#bU;Ve56P$m>^WnP=mrXtgTCMMLB!SOm)bG%S~SnA9vH zWuQ8`haQ2G!7Dg1*K6k>6-69M)}ILh8Tq@^ofF;gZsmknJ<$vUL-53 zSD8(r1CVV?0crJ^wOEd3WCz6a>#xIQoQ(O>Fv&(Y!W&gsJ^?|(HH2U-OdeJpf!27w z$nr8w%dQ!WV)%of;{+7W!*oNLo1$EfSKC@c*HM@uJS4@6u}w+ifPShNRLA4e+<`*9 z1mVre0&_RZOq4`ZObP;^QXjEq4za^noEljfs>#YyqWR|CD_U2{WxNj46`USuC`dMa z*4BF7i@epsq2GRIPU8&F{j#3jqKar`kB z&BF^MZ;AB=w}W{+#%eybG>is^M#4Y*MUxJq5tTuxwoB;z1hdXp=@81a+g& z;O>?_sxHwjd71<-1V+Gvr_*F5ONX9L1*j-F)|h}#C~I5;eUosGm`+oI0a{-I6UWf7 ztU5ASOWkeK-A77~bBC{~GT+~a^ugjsYXADif(x3`kHaF$!E?)=2_kxSN0Bsi-T^J`rD zhW~K=DaSbJS<4CnyeUTREb zFzT4hE>v_P3ZYRtGRClwfSM8k3cyp3GC%0mK@RHU$H3h_mp%j$WCRyGg(ZOdR-^y| zOU6D-%xI%iF}_H+6v9FmIm8zS=Yhig8L0it~xRX&NAg2f=ZUB(|PralYI7bbv8Ib9MRvid{4q0We|wDlw~mO_rp z|2;5W1zdDG3`>o}$WC*qwUxF~Q=OLLcW9}&{7+3dpfhj`sojI+T;-kt=7~S(AF?zu za{)wm8LT~rvs0|l)KF0n$~d0Hqur({4pPx-)HN4yE&y4}JcX>6r8=V815_@Fni*qa zq85P_>T}>}ngj@jv+=Z8!juGNX&M9lZkWqiU|s`=CGg7Uf$D?P6_VPCd9`VTSb?>&qBe&OuKlo*ad`0|C1TX%!qJt8ETW&tgP-k8Zb#>!-^6Rc8=X7sRa2I z;bkvkJ%aF?tM(pIWA(#PwPIW(%$hF&7u$UEn8qNR<+O5Ue0*aEpS|as>%16`B{NsY z;RNTzz=bzpSEV1oal16pLM+@>yaxqS<`F>K?1y8JOiI*Zs4aNM)DqYQ@8Y589*9{I zTpxxtr0cCuRqz3P)?~mHryvp*Z-&`O)@~@=5@N$Nw}W==sXZWv*-SV@ZbO5ko^x4w zlpvZi%z}M6oFFr?C@pNRt_~J8gh~?5(RR(NltiIaP*`uA;#E8LvW%1XH-zO7Tqgdg zvO2yqiWUN28;KxMaRLgH0${nSLbyObLEaq?F=#2dUqx3%jxPCAo*cNN?a7~OF2be6 z=@RpGG>HI&#dIND)k^CrSVu)X*mt`O$3!9{@Ng7^rASthy#kvf_C(`Ge&|)9-o35f z`zb2o@iN+i;qNPWaY3i_Ta;&w%pP+z6fiUeh=J-jZ>?nk0w#FA&`3dTI9dA?>&ypl ze>(Ku+91rfXQGw-L$e)J(;adZKyaxiA(Q^+P`2_^~~_d1*|WLCo4P- zh>l_ulon;VEcr;WNyi|C z1?Mc;Y-zN(-LQreqM)A;+aQT1<-uTrQs_F|tQVUBa`0JsX!`P^pkqEVSX(S6a^I}; zq!v9N>H&<41+3$V**J4ptNYtpyVI+US#&%#;Xua^j^wGhRZR?`Lg&i@q?JNl$4-5y z0QE~28!9->#5avbNSIKYW?;gF`7@t?_S&Z5U23n?E~M2SMo<~Vfglgyj6_tSkH|Nz z8NEAU;=%%7PRBh@P<=RCuzV{$LIDKo+hXnm!yGrqsX$b>E=CD={d7+A77Na08NaY3 zeq|x~Y4?=S1r;kK-bgFxwNdPL#TcR(ICK_n;PY)jwiR>DZe22<+$vxbE>LZ!Bv#U` zN})>_s;n`nsM{|s&<|C3043~(g*~U$|IY~n1m)baCJYay3kRp|eBtoJX|u-oPf8i! zj--a!${Bt}VUj3NQ9mVJft*IEXlI#p3v8+;{2`oKSv&3Mxhwwwozm695>a)pBO;7O zYe(DpMu5zygVe~@nr>0W6&(>Mg@Njzz=sN^w`=7r%`VXX_-yi`N(aJ z6a7ZH`uVCdFBm_^s@6%7Pq^NdbR@j9RYHhfUX&9k`)M>)#W zH8SMBO~=&$qx%KisHWH@wqJnZrMM$Se^l*C+!DH!Yk4GU?RFWR+mwU>_?f__h4n!^ z3Xsh`NFA_i{terX*c|HYye$-p5oijFZB3LJKn{~tq0z%b7;%b4Gw~tNQM(`#0zr0f ztcu5ed5fE*lQ0LL!GD*H$js9Wm3~GYav%7}Of%rAVZ!Wv#SnZTKd}`!e@L?6gV5b2ER_Z5& zl@YuN;dCr^o2tX60JS*Mz-9!@?qO4uS!J6?cFp!EE74V!tkP_bZNfs`nS$9y6&6PF zF)pxWEjsk3enas+_QI=6(&WH054Ym@3fN@#?(K%4*CpWc9XhQ3>9NLxHdGwn!fE1KvM%8 zd)**VtHqUd5f7^ex85g%I7M4gIU5ew|G6>m?%xY+^cf_6FolM&6T~ea6MJn1PWe4? zJ5tpkHA;X3*+d0G1bM|;I<~`EGDj)F7T$wNATz-SClP9bvJ=$Mjk>5EOb+f3`*5?! z7)V`cwuDn;2`~X3jNid28?iW*dL)I?Dj;_qyQaV?2h3Ygjht6HUNj27uPpc z=fm4}=fe$ftHUZFXmq_!kq+N~kRL~yg5YZJ{Dc))BDFoBT%wi?7r=ecq0Zm0~71ULVEj6lJ z03dSDc&v5w7KK&KCRqGF1&s{w4uInl%!61``%o6YzXh=sdUauzRdVeI@oa_9YFWHJ zB&_EEtnhYVP{~1bMMy@FkPQoK;q+7B&!N|QLJY#{{WzALPk~`J6LO~f*-pcA5Ld*( z0&y%R(M$sChGS@Vf&fWClG@a;H$2Fu+;`FxsCcyYmsr&mIsmq?!7C~02=sRh^=mqy zgn^OG1HQxj%!pFVSb&jj<}I()V0zIt&zB`!Th1L435nvq(Dw*DAswVeql%|ZrIlNt zpAYYkh7BE7S5Hl-X zrHA98_l`ISWK<@&?=RqCb(D&k5BOM;^hG~Bz*~n$!)<35E{?*{jvKcAaXf^Gq=|Ha z%6AqZn;d^cx=gahqS;RL|24zkvx)g_(JU|bB=_&HVjGJQxM7V z538+c{8npZSF%|y)>Xq{Dw=Kk zLF8npUo<_e#VJ~euA0ZyIuu2zeY{g_cZoj!B-!X6KOp%Em-k)<@Cyw9Y>^Eb*Fgg* zi(KKh>I?u_hG0sAiv(MAE;1z;N2q5Y{sfoy-s?ZI8to0Bzs6YvH2bN>1ebq(9e7~z zlO})Rzr01~5Va=duo6pJRow*Svs!~dhNgeSh*YAK31+fb&l&JSKg8Iu-s7Q2mQhZy zN7xy5Mh*7~w@@iWetmiW;qoZIUSBFw;}3^@aw3xa+JZ}AY`@SKik&YMe4)S#PK&VL zCCWAwyb{a;7yd>wbmgX1m6N7P4VNSnjm|_jjKHd?D90j$V#|{`2tp;fKU7K>&(%0l zEtp~p7->-?^(Be69N03JrmUQ!KP^!-0YDG1UhrcZW`RKV4Tk`;mJHxCV2wcVw&5R# z75PEXV1ECm1GMZeUiYj_`ZuUi-BlBmIQ3LhQ7zM#$C;~|)C{N#2!0$=Rr2PQDBYMxAcD>TR1Ub} z`g_PEw_+2(IG6xF7)q+(A*4fDwC!4CiqR}+B`ZH8%{Kzyq(-;pI6cqig(Qm{8t(gb zHVbhu!g_20Hp)ZciG~*t^p7D-)hK~7U=N4!JcL)=u%KQ=7*j`45x5_$PddFL*!{ue z@R&cQhl2`J1;Y<93GI_aO7SSif4mA%FzZaOdkvQ6GdDu1+c(AB^WrL&878K zEGUjnSga%`>uP1rzFi(WLA9)9d^MVk|7yqc1EER;m3h=d*=$S%#sXC{E?=L30`QYR zwpm)oFpL(nMH}bxiUqo6>GXp5`lR2I=k~HYGK@E)dvYCwY0#7R?(}= z4$y$;DnewXV-TxA2HtQH$oVU)Rx{J!k0(Zo;!Je?TvI1mO_T+%6J3h?WZVFS@dJa&a6M5k*k zqWa9YkFX@n@&7vAMd$6yZ-n;j;UOHy&8y6G_9W0q?*TXxl~ zRP&|gj4fi2+4n}+J&}`O>tQQVKv7A&*v+F*caICMFzc+7Z~F={8j*7?Wz8+PicbWq zPvjbVqnEF)`*#^?H)dA`9A1YPwR2dd4InKvZev&5(KP}W@wy#Gu!6Pa;Pqd5mJ0sD zl?oopNk4`O8rv8#M_#&IjSEj&VG`F8%Y^gZg9M*Uc7%~Y%mV6ULceHXJ>Jd1=up_< zkf|3l6b6l>1%%2Nz;MVyM&sCz`0qhfBE67_P@9+5c}-Cm7_Tf#xOs($BE7s1$i}55 zURQpgk8>7ElQjFi9TFUYNCQ6brA?%5-$08RDo8(GzC|da&2M|@TnDHS0kx6iK=}F#-Wig z_tQPwwYD*Xs>?IJz7hUAo%6KJv*n5pw)2OfQ5(2L6{}NNY{<0bP3SkDday=<2e=Qt zy&1K;#tLncZR^jfTi{{fa|w6gmlmAdmebCv2`$pqVm*K3F~pIp?r!IX)Lsv^W8??+ zOZSyc+BoO=3Z+b9zq9U{`1jpql4fEJ&LEkaW22Wi*2-xI9xi7&&(uLRuzwI?rwK3U z5pbzo*rOyhs{{nvL=>!&jI;W90Vq7};usiipp)be)U6fOsHaufciDGs$FJGg3CiWr zEAdVR)OTU%HfpxwB-yZM*)&t+9HLB4zSK*@wk|6ra>gD9P+cvR$^q0_(cTpjOEAUeG`1tv`MSq-iLp+Vz*e$$cjaYY z7?fR#s#i`pq^6)uC;0edWg#yqRk?gt?D2w(7j^wO1Cb4JIzL8hAik=D&%&J6T@VA@ z!6w<<|31av;jR`lQ+=_bQyr1GFfVa%IvvBkyz)Nl!LWU)4JlVtm=zBVd~fTaOd_A7TFam3$o3+24*V!iucs^EMpH#iv!}?s?*7y@a_w7lNy&<*bf4IHBYVV3 zfF#=A;iD{gVqdo(z5?`;^-Z|k1z2|9g|D2me1bW`a@I9xkIlj9$;lHGrcckG9-lsb zx`V{KEWxRc`Nn*YCP?#3*ZdO2MNy(~jR0al{`1{xlw>73#75rkF3u+n2IfD0`r()v?um3(hx1IM5QMqlO zdhTz{-%*d68GEND>EIr7eBswh7T!p&wEdv zeubKA-lfdD*ni_|T|C}B@8an?8^+)bqkSZMa`hLP9{t(2JL1q%gj4JBZ_Kr97Xl)z z9tWw9+hi=lOYX6Rr^Dz3KM1;n_592F8vlz*Rfj2px%aK1x~Cj38Le(%AU_;D`m?Ht zd_~H7CAq}Q?h7cG6_g;phs~4ot#g6iQD2_k-hUW_^_c!SdvBy?zMAif;%B~9y;^+? z2G8%h${~=4RUsl0+(_77o0*w(3_TXzbK7_>fgQ$R6Hl1hR$a7mv3I(1M8pCm;*8_vSQd+er#bpm`q5AAk9e4UNt zDR^(0#<$2;VwC8Sj`52-lbtVQXe+vF0%xc_j&`?9Nm#RNBh zNwL`?x}(ml{*s+u<+7`jvRo%V-jE|b*~M+Q!ZTSR7g%pq>e_jyPj`UkKbBQwVq3ry z=E$pJ05w0*8V=iY?Di43V!Ito0M0=X3p?A)Q$B+OlED~HB|H^U+$X)Qw($)5Zaa^$ zory_^q@n%zeheZHzwn|PQ3!u%fx*{pvJ^W*aQ<@shdivCdewCFD{fBZ83i~#&(5%= z94gP3wnOwzA)sAE#i<1iys0&rU0%df@2j0NaNfNNt!Xj)an&Jg6NnxU7^+^^!WSE4 zwR6eXn013KL`yNfnWI-PiPMuo1YZIjx#K;Imq_0P@K^lW>jqpU(iOA{974lfSFD`Lw= zPhf)|?!*y+IqbvplRFn%{7E>3wMjy*CoQ!0N8{(_TRrpcnIu^!bKqOhtej}$8l}sS z2+0BdC-xzwh(^J$K}eTIv_f@4m|KjX{i;)V&VDqMW+v(2M~o8ENkSA2?MNe>)c|6@ I*&Q(d7jy+;asU7T 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