From 5ee3f7dbb5890097cc1244964d18f831634a267a Mon Sep 17 00:00:00 2001 From: XNPSTER Date: Tue, 14 May 2024 16:49:06 +0300 Subject: [PATCH] list dots --- main.pdf | Bin 2058863 -> 2058861 bytes src/sections/impl/impl.tex | 2 +- src/sections/solution/prep.tex | 2 +- src/sections/solution/solution.tex | 2 +- src/sections/tests/results.tex | 2 +- 5 files changed, 4 insertions(+), 4 deletions(-) diff --git a/main.pdf b/main.pdf index 0f49efafd064992e3cdcad4b20f47727420d4b7d..d15a1e9ad7193a071420ae01fc1342328397c086 100644 GIT binary patch delta 10125 zcmajVQ&c4YfPmrLWZQMKZg!JxO}1^HjI*|w3rDdoA~vj4l{3De8fx+LI}hfWmYO|M#Ox{t~Z z4?^_jRRkh_0hExLeP#X(UO2oOD9ED4`JpwflmaS|{H0Sq2G2??2)26h1&;Kv^jH?1 zp39Ea5^w)TbQ%Wp>}$R)+$!&Ro$t}U$^QNHW=91Tb`A1~He*r*fltEH6EP#*2;ah4 z_*xWb3x52d-5JSF&z7QZzl!TFND zk01={!_l6UZuuToyKDEWX1{u$K!G;8U6+y^Svt!si;{Bg^&t2?Pjom;`udgQ;r2_D z%61%Em3hfRRtKhN``?J=>XpgQ6#;I1r->5tTb&4xRbhusFF~&LKi&RXZ8H`4jy7?^@dBx4&rM$|MaXCmVIGuXxVFG#XiFmwNYoNTjkU`OK z<{rBZZ&)fH$#2>}?y`ahWZ6?F6uePX8T**#N$FVaQ*+dd>M&hQ0tzY0Djxkyire=A zga<#OMGu2$u=sMvVC6fE;2*Ok&lLJV^bBeGK4FoZ0tNagd6OoOmug9Y9)}i_ZAlNn z`pZ1k<=L->iWjuw^R!)GaJpHWJ_7`GQs%SD;-MGTk6Knn9k={T?|zo|YFrYte3)Jk zj)|7X3bNLIW6izQD^sj?H$giJga)HPmq}=gxj`rP_U(0Abxq4nC!#)ah7GKysF-eM)YYM`S6#pF(N8rGpz1ZUx6A;G&WH{gn9WI#LUu=};k?{?;J zh2F~Xr>#aX@mH1?XK!mO6<)Z`7}coa%=5~kltwsh%WKw4hZ3|&Z1zG`-jyIqX4Q0J zRWeMuXocA|4piqC5DWCUU1`TWS#7&KKE6Gi9^T&!CIQQPw^7o{3$^P(v*7y?r;Vph z%xclt+ljnb>J~e=iio;rrHC)|+^%4E(x=vjTIzr=hO(FXfC3q!uTD?+217v|aZRYV z54c@Zav|FJl$rsP?n3hQMH-}OM7+Uj4&uW<@AM?6)%Qb{{eG-eAs@A?wczNrMTrt! z8_NsYt2A)tlDi4mEM^3PA~%=s{u(#nlR}EHGB3$(fQYt|y$=&N_IHmb$k6uR2!k&j zjWZgNSrnf)2aJ-HFjg*v#LY1t zniko9-k0~1=0+dO$ds$P9dR7)SW1;I$KG{c@Gp%fz5T5|vC<9&%?b=aC7TBpI(4Vt z-(JM9uBkz(CA8_5J!dO>Rmi&dFrinSK5tttBgiSKP~J+6A5|M9=htO@RVg~J$dx^r z7h5VfmV|U#bj<2=!(0nB^LnAW-x6O(z>d$*AhlWA)`aymo}y!InjjrLgHX_s2;&D9l@!uJy`hl!Y|B~IWFdpH( zK(XHa?dZHJBTYj=E@@)s!FJ{of`k5KUU;!U!JJ% zVJ67N7`Q0g_yJi$()iHrFzA=?2gR?;@cHv?u_}97GwOKNg9OgZ`|3x;;PN#Ogm7c$ zNbB8(7%99ML!1u%MEON4J64%|+;UW3Gttk}FHoJS`w+KAf@T*VQHQr*r+BG{x`OF-)D@>ERcY| z5dqmY439Hk0@D#AB`EOu>fPnp^I4G9`T4#R77{OuJO%DSIZq=UX12^h@JpGP^8ZmPkFi#bbXZ;$ZgNx~Z76zr3x1YRNX zXH?t;bh1KSEIy8x>5nsgx8L?5eqF<(3MDjQyyBF{$NA##b_y+TW*fD)o#S}X_gotZ zJcr}Qj6vUpO~R%P3xn1hR6KVgw-E|QL2*$1vp1rSzH(+o0VpbI$G9p5HSFRcxMK|1 z-Zd-b5gOv^6AXOxN_{J@8WiMxjIY?`0pH!m7-1g{(9N05i@ zPkL^=zd9!mvgRSaiOP%jKh(sbEV_?tJ$;;i&k|$ls$vjvDv#?_7F8#eFXfkw+1Dpy z>GZkEL*5KC+bC?dkUecSKaUK2j6BbD%y-`(fln{dSPA@sgVAhF?NB!@_-4fBOl!>{69bzL{bCu3{cJ zX4qD2V?h~*i$=v_^rQbGTo$!#li9S3xRc8u#^6CG$u$36X0dVQXay3-_kBp)LAEbv z-4#L03LS?WGi)h8Vje7Od2z^Qnfg_Bx%S1I50U|;2q4DXO(Tssl|SJ;RRy|+)0gi; z#6cA(k^~E@&OK$}f^9`izlAthaT53sOaqUw#a(L0mT~o&jdyUzzn5r42RN`NfjM;a z0Cr=HJ*^;uza&p|@E+K%$+y&rsV&K zH0G>|vg4tLiPp#K&Xs-<9R#)M9i&gky%e6YpLRT303{{*gbI~lVzwf0QEA104;?9p zUXT(&rel&aBWjXJZbk`Nb%_tS7X1_;$#re7hQ6CG*J$ajqF7SB9tkd{B3$<_MD4G4 z;Mrjj60GZj3pHB}7G9+n`x&$KZJ>wyb)ZTS=fj=tzW&LkK5ZlmNZ`{+)@;B}TekiGE4wTOpR?qlNuC$gTj@S3J`VL^7 z-)Lqv0o$B;u9Duva6eLiJ%p0W6D#|4KWfO@Ld)6$r0o=(9`@?0(pidZ9uxz}D#rZ& z)BOJAR{a`J?$;P!*J`I89UsE}Qh$t+j16AKSKON97TvL>>kP8{US5VtDSC{;$eQ@S zOXo8+e|kW#9~U3@8%es|;Mb2oEx@;1^@<}mST@Cour0Yutq{_IJ8oTc5dVkyTbkZJ z=N6H_>-JCj2AdAuUkuN z#w8=KLiY{&w;WQ#0fUM{_wfq&*n6`;YwZiK z>wPaQ0e-opN!HFWG}_*L;3QzBv58)B5BOL(JbH5s@bx7XT3I2WY4s1EZpcyQ!AoKF z9nZva@r(ZE=@D={;p+z4R<{U=?UwKpD`AT!@1uhv?zM!A^urZLp1VY+?Ykjmfit7s zeOPsD35A#q)S(=OwoXV#4v)W7&M05DG;8$Wh4kA>kG_XZ} z3sJ)iqNm41U%~c^SCi325?Lk75`HQQuaxc6JUKZ44Es=>14uw8Cd&&n!+XzFoTNV@ zA@JP?>vtne8kuZ(1vaJ^ni6=asPBT>qOhFegDP{&1yvYecJr&T5d_Kwp;_B9C+}a@ zN)kyNdI1MSEyu=6vltTk85 ztjjas3JgD9Ho%Wt1YfGY73ezdti4=a>{+^bQNbbuhp<8EOfHF42=(;nEYXUU2~PPs z!FKNX*na4AHm4#=g;A?b^shzMUQ2`By(Q5qKs;&ZsA|RCQ76dnR8RMVjzud{-luKI zLhr`|8Ifq$!k%_H7z_B8uoVSB!!x#&jbpN}fxb`R$C4gj#4hY{4Mg=`B4qfxpkb~e zoQjJvl~7P=S&$PSy0V;T;1@m1ujKIB{3<`iA9I-~T z&@`IAlT;lUIwARIjT#FQ5nHh_1*vodg6ck9P;Fss`QSY`Y@R{|40OL74Mi;4PxdG~ zszd)d^*GOTOmxQl)x+S-;Eo`A#Sb4v3)8s{CK^QTK|1RqVNJ5zT*N1RMLJZ1Mo2I3 zGKut11TiZH?SRQ&Fx->XrftPZ)|*YOwR@mZB+~3rh&_5td4NoAAjjGD$e8pTR{EXk z7-v3C<+r-5mOO?h-?W}h>c!6h8Td>2`aZqltCwc)Vj%i1q-aq|j9V6c#c{Rj)7@7p_ zOB8RlD3#s4gs83ldH)RoNOJ#U>fN(u1k}(R zp~h9gqHMvR-y)|vmWBSXu&`E*IxLI+bIG8}Z#pga$Rqrj_9Y$pe!D);*p#i7RW#-a9a{T{XLV?jC zO^%BAljdW8Wo=HMdCZVdqcwd{nGxhEO7H0oFc*{(W2il%c`EPHFL04T&#z_0@!-~f zy&)7R4Cl*nnFJ4`9#5b+Ci0KpN56`AXuvMnEVmMbxNw0h3pi+HBgufy`nI6-VzxGg z_yutsEY6W&z_;WP`2rfT>`1e6JY_{uZIH+3V}j%LCW4)ZjUtClMoNicFWjyoY3o(K z4ib;jhV*9}C3Prs>@{K8?{FlmxZo&rns9L1Q_Vw+x#aSptkan)0!jV$>-J*7O~G2W zP7xpCF!XV`y{MZ~%bm#ktQrV`FZ#0~=m4vezRHke3_2-bQ+3V7JX+udZdAgG(fv+P zkEB-V{FnPRJ&9$e>#XG^ycloRMg+4D%6)mA+LD)0lCI%PV9)qcAe-kz`uQ)b7kLhTO5dPkGzMBD=VPA6@Kprho#8?6R zf(2r0utM@??SSCWDf$6OUxS$qZ^)Q(@kXg6nADJ5%o}YOiOpmy7WktKm@n>49UNaN zN2`pYzMS$KPW^?LL`tG*cs*MKqfb!)=ck}A{b}sep6rt<2>*EuSb6BHaJhNd zO&C%IAw&4F(zbpeV_ItTST;6iYkVi%q}<;|3RS>;xOFH-XK|FEF*8VU0z^Owu*n{- ziH|m+Q#dJl> zGWS9hOMAe)GtkX_F?Hu$KBDNi8R}1lVy?fAwY}{+z0f*jdka ze!s6d!g_%q?h;gzIBY`DPm5wk!3w43B)@iTCblITA~y}ZD87yJrzEG+*>RqP1m$aP zhu0MFo*9Qvvwl}j)q2t9+QIQy#h4o>urH0lE4n5B!d{CI-U@cP2(uE#`J3}0L|X}S zC9UP1E7;P8hIJC{_03O@rOS-1z#z2`e∫|!&dVfhpr5%#FJDzT zXv%?K$Ld$=@;&+reA?{H3H4To2Es?~(QxsQ__!41K!;Qub|lYjo9&g+yEBPPS|8RV#$ahC zH$cp^7oqvNHBU2zIH)7-Y6k$@ee5pSTF#WDWPn{wPNf9r3iFmF`RfJNsc35@3f3FM zua%rd^S!$wyWcOj{zOCw-=C40&lYVudC7qK7H4{FKQ~)I#3zvckEA$r?Tj5rA{6UC zI3MN;JZPhlABoTWP*G5}e2Ytus2_dO^c%k`JlE|h;8n5U#pUo5ghp;qw};E&@Nk`*O;*%?I&nQ!P|+l3O+FCYEAF%g~5XyA$sO>m!i( z)s1}<8)^4yl{@iQ(rP&3-%YKW5VQp$S5+ty>jxX3N^AINOLR>~Hf?g58Y;kst;5WS zcPfgkQ7{j0Aco7aEEW#=b1>tU|6w{zZsfIMocxr3!GO5tEpv7cNI1@;NpX-H?4YVj zW|C&&Kjo9?9QGg{cnrs`e>9Ad`BHm(MK}RIJPh|BwNEeWeSyu0)arH?M$!Sw-73D+BAjjzyip=#%0^7iGhM@QNO|by!>t0qL=LDByE=1?sTQu%@@`;JF5BIpPuKO7$HYhN#q)1F^2ErxFSw#-(@wZy z0~o}Aeo*oHq7$!xWmW^n*IB@1vsL4RDQrM!tT5ptsDGgUf%ymaAGm+u|M~I{!as=r zApL{<56VBN|DgSY-XeU2(MJu+ZhmF!fTRzbb8o2_KXeT+N^(H$A)DO28fN-1n&Dw( zWh1R5nWktRc-!bpzXwYBg{$NLz6}HK?;1RB>$trEK?M=4tlQkWo-#BC6qsb<-d}y) zE=I6-nMn=CKercT!okNL8i)CM(LQs?3@GeW+B0{_ft-l0bF<;foa!J#JA>M5=yN{& zB@Cp%*uz3Y+)vSLK}dwy-@h#7;_M~m_vy>D${oB%wu3EZKJ#?C{yJJnJpjXmMw(iV z`_|(2?Pga*?to|~dpym=Q}h{+j!o7tFTTmDTcvN7E{pl+Bir-CYraOjaQLseSe0)q zYP@v|W2?h}87gVI7+;XtV(#IM$f(rQ-1+yxEuQCxKi3&6nmg^8yG5x}xmS}JAr3~& z@jammGi!f3?v2&oVq$fQS!i?$4_^?lB6wD$zpD|O06dIDJ3+p$9?CjWuSTx?)M_Y0 z=wAaqSL$ZweE;rWzTbO@@5k?>Gg8u<;3w{ErBD)4f4!iT#-9TL@s1~so)!tTtzsg( z8;ZS-U3r;#6g6&@J+SSa+R&R?(#pJwr4tYjJq99PM0SM|OX3!%zG{|FZ8t5- z<<}sI!V?yIttAgqQV?L1uSY{}0N^5U;s{(;pSmR$S^W9F!E12(4Oo-C$;~GA3pb~3 zQ%+jlbIj1gO^YX8DME9@7vEHL10la@NrB^4qrKK2Q z6IU(|KnJNWASRGFHWx=VyC=B{1t^L0dn%WTd~Sl)?$2xMVFOTkk)yeo zBuV{HU*kI*Z9FrZ$wjP&A!2rTCaH7-4%5D$17ZtZZ9Zf`zC?J~TR^QUrU_^EeVZxj zB^Io8Bu5Ets@vNmx|w-lvm{RO_@Qc{drx@u_iJ;SYQIOF=_*bh?<}j753*ZGF6Dy) zBM=n{)kukCbGM!sPd-#PJc2W!7%!`AFM|xCQ}rq_oZa&HZ_|$Xs!`w?u;a(fAg26G zF~E$Vwe-?w&QQkE$Gut%RT%UzZl*eEg?J_$CZ&8~$tLp-4ZDPzWDi`MRFwYAe_cM5}3q;}w9s3JKKvKB)rzBF0+WJ}1d)Bk9I??(W zC-thh)i(~a=xC2T9Qr{zA!b6)DovjUcC?!vz65hGcc&39iLS;3mzc(JYkJjnQp2&s zAw`s9q}Yr(xXw&OYpuW-DAKs<$S`w8Up0e>HuFQRJpP+-xMo*t`EZf^SOrL~HPEU+ z48y7tLz>(it}>(ZxQ9sLT}26*P1V@GWfC#`QgR2j?H$fAIdn|A*io!heYVA^wNtAJUdS3^HV822M6^PHrHO5y(Lc1k%zYvMM^6 zOPIJ@kkd)Vfn03=y|g?VlgUD<@Bl@Dd{Pn|TzuS8V%+Q!yu9LE+}uERc5x|Q z33e$_VRFI$cQHU@Rj_chaX)}ebuQh^=sQ&X8*u*jY4e_DE3Rm-JdwAKugL+TKSblSMr#MnZSe2BJn#+hwRGRB!L zIGJEW6fwbED(s+|)OqR;nj{=P3h$Mp^ zi7ZJ@2|mn)s)U`|0pP=_OAaC@1{DQS+(O`k4oEUYh*puCgQ|>)tl>BMSZayfgN1UT z?Hgx5Q=jTWWW##tdlC0+oZ)^4HS7?FJclSDQTaWtb=iY(lxISa97{%foQ`_Oq=rpG`)aU^lR+4|?jy<_96Zg)KPlV+g*&m1+nAI!mb4F%;yA>w7Yr5-;0oCpQ z4P%RKaTd_L}eqP z{jUPxch2`xPqHACN&d5}!B=6Vny-amm6;AmIk2dfic|%>ae~?ZgccNtZVY|CD!~W?5eNKNZ4Keni|fzol5$1bVxIqcea&=*6C6_z--Kg#RkzP}aXp|WqJPU*DNiS_TAG_eh6%nXdFymZ9fvNk ze$RE{qpLz#KXQWURq-_Xtz7aQprP|LqkOiY0iwgvWOrsZm91=!XJ)ne@?FA{fJ>-< zh(G8XMom7V29-6G3|5Qw7z+Y%9sQn)eO>&t*_mBad7WLK)&UWYsk(gwPE!T8WAho2 zD-Y$jO-HUK{@ZYUmy9Ki&T?n?3`@~p4-)#3t+)b}#V^G_-F4q%3!}C1Ix1tkO3<;W zK0uO{k*}31FO8(RX7g;1P?eF|cynx|uz&GxS@(=2T1TlVC}oJD@kC>A7_M2NCHERfa!Viopsnj&7j^9jqd zdwR(-hPv{j1OO6k5(=wW88Zg-I~2tOb`Te)Yy7Vt#g<}9JiAi16bBnwG7h%X2ShnC z{_7Gl`IyvH4m5@AfHSFeIhiII?3hI*nfQd4L=~Y~7?K~YaSzP~Khh=T&nXKjsV~KO zNW0WBww1#@WD$f!N+08{3W?BgSmF-c!&NdUwobp8AThgUM`PL^1B6Lv50+C#13~k! zG9y2rekqiQz9eEJD(8;^s-1qFCH#ezr$U~)hFYRk4Tv8{p{C1IZikVontjSICT!@x zDb?NA^4@9J#nSTD3T0B%-L2|bYPS!a$=0wNCnWr;avs4YxL&y2$hG-bzly-l9;{WR zW0y&)YBx;?GAv*2BDY?D(*v0g>^F~WeVEkBG+Sb1byH%_gDv=UsK}MNPb8&C+prXW+CpyhHmVF XdM@r=QY3B3D8KL`Qd3JROCkOTE>2^cZ@dfFKBG1u^QV}W1Ed_TPO4UpE>8eJM*2- zi=Dmp_3rHHtk3zZPZeJ`5VyjG+_6vVT4y!c9!}&71+Hf(WnC0*ykGYLo-wG1>*8~=z3_YS zB%afr2JN5?Dd(Z*?=4ya^zKkU+qBHbako!G=Vgv1BQ^Z@L1ei;TFfc6p@+Y1C^ym? z4`<@u!))^f+~HKu8ahwJYTsMp*v+!)`G-C9`9mlVH$HQAJ5+|*!SR~0SD`dNx3%=l z5qXf5-anOzOlC3z7YG$yCS=Xn(7#X&>Af?4WQ-fNIL_XtLKyQL5grp_1g=@4{X;`x zGw4Lh5&9bwH95-b&Sp_}Gvu8mUl{H z44>vw$Emz=u}@)!KtgYXhq?A$Dh4;GQ4xEDT8u@P0Z!K(xE8@g=TfyQT}=W}=tc%Z zg2s$TVum+|g3GxE(!J}4?=MuH9p>b+A!TL+%MlA@gLc(!YlsS{(33K|?UhGp8v?2) ziu1~1ZjgJiJI%WY3e*&Y#`&>eL}A%E(te@$Gs>2%j276AvcqW)XZ-|TUQoH-4?T#b zCQtB&rnLQm5C)p$bO?Ul!SO!_v94jhNjwtjLXb81(S}(^VI37%ti~}^nx=YHJ7EkS zkfE@(;#2J8oJm-k(tmk+nI4Ux9xcFIWbYTYXYk$TgiDyoMdIM`g9ghi6(tPhk~0=V zL6wnTHmPm6PaJ~?L;=H)W7M+3wMbDvI#G_G!w2PoZd$suf9}EI9DI3tC^-zqD5t8T zhI$?_ES~v!htg_YO1NU#tC}vAcHjQdD?5~}x718t zeun1%jAQWjxH5s;Vwz|aQw+j&#tolEr^;R6d@cPll|_<8BIND<#6oAOucM)z#BZXh zd<|u;RiOE>HZ0Sq^=X6Kg}&qAuF2c|YiD?n<0!)ZAs0(M3(&&YHL`O^T|thv#G#xmdC){e&Kzm_Y*h2lYp+i@p-WP9M}K| zpPU(JG`v5B5qO3b;VLVXO`5LIE~D#T^WvnDu8uusR{Bfq_FG?pguOB!jVVqg-%jg? zS44$L*Xq||G5&TbhsJ5rqyzD}7&iThI1}1rsXJ7~Y_*k`>YOW$`0H8s%^Bj&n#68B z&Ep1eX&tN8Ho;;XD#0uv%GbevBKRmk!#a6mJ-^^0V~`XCi;Z0U^4+>rBd0#k?VbC} z;nTo2cPF*cGv8vtzhTw$tO~<>6#Ii8djGg5o*9j|``PBhrIS|is!h^V@xTiOUWc2N z;KC4_yG*hg_$SHVSbxpG8KEf;xKL8g74aYiIyDl62p$YW*ttAqs zd_cA=C?uQqU^>@Iy(-ri^i(yz!4rDar}}MeZf=OnmLMZAMP!oBIE*F?^EF7 zi#s(W*ANW$+s~+A1cnckYNeVx8lKb|m4n%ywX>geDxOjO2^iNQ9RAH-KXgS)!NU}Q z&%6-%tU-mPN#RwLTewd|M)PTgP_997Yk`;w0IU^af;?knXxXyZH+VpoBleAP$Jano zvF7FQaXuQEdbE`BQFunW^V4!2#S1#lZwT7WzAlF+SEkxevL~zw3~ry*@czW^X3$!H zP1I8y(8xENioEPCdm@W3dVwq?s=Mhp?e$7tNAU_+x_f__b;xAO?Y};02@PQ7cN0}N zIlm`>Akh&t(R;PaiGZfd8N?cvO&|hUkk?>Yuj1LZ8mGui$_rA3EH5o%LxYz^x@K3!9*1KWV@un0_ z`lUpc?Wu2&hX)WXG zar5Qj#+kRXYk_{KUBC;YJ=na4)!W1C1gM7VY!e7N!Du&Ll7zq!ya6_)ONk6OZa5&7qnzTe%TdPGimiW zZi+#?_!ZcK<;ug5#>p*HOi}k+oY75FxJYu4DIYtUeLgW{#i2BD64je-kvGbaL>9P? zzXvxo`TzVEEPMwkSD+;wQNu?j>{P)k+0fl?U}{uQKO`7|KJ>_Xto%+l!}z|)RmNX= z6}a7I?&bQe!}$=AG*4+Ury7?wdyhN;<-xxeiWYFD44BmPj!BD}*0M5$R@-ZancWDJ zH_VZ!VS`yat}h{3#+I_IKgZKSk}I zngO__7V=Ab$U@MOf}v%a(bJ)x#42Fv?9qF|d1|yIj8qd*dODN#JsF=z;mWn+G=3~)L{ zgKc#Ifj_2&|GJ}uQfV&6?q2N08HKLRWdfKjY4m-FQ!bMUxo8NqC+0&vR%T$h5o$N#b;_77O9Yxey&;-{_3`?U!wAW*}|^HqcOddbJa#TC4)f1)Vo%wsm`Nn1#9PT0|tCR z8>z?YMO7=bjKlY`600Dcol>Y!{o8`fDKkfGzSWd($bsY3-*ga&y+k{e$`>)6>F-~C!)2xt%?~t99Rg;p4Jij zHs-P-T$h!i$cBp^EK-AMGgSmH(hL02-ANsfy~+o(9j4y@$*Kv7@Cu29CvMf;KGhV9 z=qr#Hu_7iQF2N*bL{uk|_!miJ*)H<8P33PSsxptl0;GpEc8TuBe9Tdi+pF*l2FiDS zRXF3Nf-jB>#F<)#0X*d7_LeM~`o6sL2?25R1a?ka_0zl(gs^6q=DLK`R(CrZsvip%T535!-(X3882*5ViQ{FxV^O+Bm(5|!^6r`4 z+|AsiF-E%*fz?=6nCR|+8XAdx1WIfB#PHU)hag~Srg3Qo5IhCtoCSBcE;>44J65knP%bw7z`L4>f=h+K|*_ePHHKUs^rqR zhE$iO3t5Jp!28|n((8UBeZBYf{cER#@x!*I#@IfhNh%gvYvOV_tU%DNT^;G0>&wss zdt<+K3+Q2V_%qJ;ju4%P$Hbt0M!AD_3RX!Q|nI*DUv&-C*#6bQLB@(CkAZe#8Q+L2MvG$Stt2Q znK9BdcR+jPw3q*MN>i%f0a+%zGKKZ_Y6UJxhrIf{+j}N z$o+~vht;e0NRZjDHR3UFlhmAFp27;sCJ!JZl~Tnm$3(R;0_e+)C!MIzaRL&1BDr(0 z!CV%XU}ae-7Ags-tyB{wRYVyZNciWxnSlxC zu|L2O10oAkBAjd>sorcNxv^BD2mA&xw)6o~oqY)e8iL|cph}3W7mAH`_ z={saYx_VrLQ;f^BJi&m+*hmwoN!oqHjnJz6de7155Wd)qW|0rAkKt0dh^i@9-zTLy z!+8N24JD=x|95;OcA1`w9^Di@DIIDq=#^0!LA|b+OreAffNanw#qFo}p@cWe6MlN! z-JM%~>U(+w&yE-Ze4QP9&^fnYwGkA4-SrIpf3|1#`M!_^DS&7^Ra6b92p3FGUv=pB zD+LaE$4JEl6Er9)Mxw#cI*e8>^G>YOiqu8ihgl57y)F2Psd`$%M@C`C-k+I^Hg535`!|4HRHT zHks>}crg4jc4_Arc?|L#QPNNLO!f}iz9p6nNc^P7;0Kt>WWc!+V(3UU*;$Xrwn|+d z21pL85?(|3&_dKr3a9-VFS>NFWSajn23KVns?N=$P8(xKL<@7(49^2Cos6mA@G86e zN>)NT;t}XdiM6d3H>WBcFRSm55@n^g>ok2hXtbPU_6vPzC=J5OE=D$q(iLw$x}jfM zu5?hFGz(aIy4dqyt0}81T(47rTE7w}aY?|TV>{4~3=Gm8$4BDUM9iXY`|;~53G^Ll z=B4lev?xWC&E&_$tP+F2(8A)~Z#dNixMZE&E(IkapO7+Me z`rfGg6NY^fc&%^JFun?mL?l#ZXKzGsjRdALF9UJ6bjLq3H?@M}PgQ-2Qat+*!rM@! z4$fgEQq6CcauPvOjo(P3d4l-Z+a4iKW@U&KEeYF7o7J6}@P)yTR>178Js07TlSkN_&_V}?{zdu#l-OSU|a;z~_Rp(g3SGMuANR+0`y z2UO3;p&vOxN&17(7DhVFy`#lLJQsC#H-K4{-_{Vr2pPkQ@6p34WWg6GTAi8qne!HX zQWA2~(KfY0ReZMU_!aH;v*x^=oO!^E;qrlAOV6gs94nDRwB)V(jF#WLWzSTYx0U^> zU-S;nz%&?(b)P+oXMJ(gySY13Rmx+{iKHm1B%5~(A7si>L7ny8b&t~e5*jv24p5lk zpiY)?_AD~--{X$i8NPD2o)sT-agx8?DyD@$t~~4fxqOeKm`;NZK|8 zy`axwv)OO`d?2KmpI-%YrB9KF;k3!XRuwz?iB)LkE%7b3Y_Ns@P(gq$M{M3}J9C?%-K+TWYbd^Ecuf>T=nuFnpnlZZ%bq$>$y0@8Z0kNW-0~l{Njh~H#w-%^ z$3?b@-WjLgDU@zMoHp&A%4{T;4!>_4n0gXXdK4}AnZVYfR2P^gf1`Bbb5r$}=f8<9 zp(PAZ|F&}UZ97)rfqd1ZlaIEF=}r37eI5QwI??oeVL8fOThu7}=?t@WGhURDg{#ZZaOF zZ)YmtkPYUaFtwchqH*SyE4(wnRFaeuZo+~Ab}yU}Mq@@NYlGVkOsTS$#_LhTn<8tA z6PD5V6JHoadn_jzKqP6!C19qK*_zf&@Cr zp}@7<9D;yPVf}ciLo0~COu^&khyaDlD)%!NXrwqn+xcNP<-m6BRQu*2!^C|{ z(cubMPLG!{Aerc&L@mJ$mrCbZo6;*(%H~{q98Q zoy>-+%->TZeQAMT+F69;Esl%Zb@ZZ=Yv-a7r%6*u7q!0wDK-ki>`489etaL8%>cDf zDjb48v&<94q>ySZtdG2CwY(3xzw_VRRv^!UPu}kAiqIPejPT#Xc(evm?olCq1A~9G za^+>cChU0C^j>9d-ejP&>ge9Q5CiYvgFb7Dx!LPTVs6B}T34Ua+>32~3WW zv=OI?8#z4SA9eP4*x<+k@luTh9H4ZnIeiy?I~AV!45`qMiax1VWSP(S*fc0>x6K;` zkEmw4g$v^)b+@!mK*@;f@`@eeNOdI#v(>2!#$$23NK=!x35iOv zXhN|odgQI%zxZ}9c7B{GqPNumdlIH6CfxSp@N@tI*T)CHnkF1NNFhW3qdAKmM+u>5LFt(GCF4CVp7!Rekkh`|ir*nqS!d&1l zX6L_8wnm+O5`(jC2O~~}3!XL+ln)O)0?9Q~F^(@GUcblv{M5xKPe-V~u+v;QWFC)s zc_&>;H3Au~=!uF^=|nW(C_o-)+rB`731!>X+RxV9f?qWrpumo;)oJ81HHDq1POgNd=mxSB)-vtL-DH(3cvV zD#N3eZNgSV$^+9YN}_n0GrKFhI=MQa{fR7(xS$@xj~bTI_Lv5*`l+0X92;l+{!{uA zm{Xvnr+q?V!V~N#Q`4x@dBM5}@2omy%Dqsc&$JIp(IbwB=#2t<7~NEW9$NAF}pErhN&7cHZta% z2fUu=sWele0{G6YsXs64UU~?u?;hIN%?C*~nVbRA0i*EqwQYSudN9paj(s%1KiWtg z+>>WvPgD)_K7SG`p3vkuAVx|_7>d%gCqq?ScWTR1HaD>j<$RE@>f{ixQk>|}U8{Ca z`J1`DymGy9B7Mo(x8QqKg?5nSX2z5Hjq7;zX!7CicC^%4*ZUzSoHJo4dzU3G^DygDpm_$6sUPagEv=RM;0`{%t~tX;kFNtICx zWw*Pr?uJU7p>@%M!jtn=k1ENsjg;EG+fT)mSo#&w@PD{_WRE)h-QRESj)`lL z&pY>AWsC4j$UL9kDowNUZZ8H_p7)P~`l+PIaKue|(7$%KGHY`=|6G&+qR?}VnTM0d zj;Fp9)ecCkYtQgqLuHC};|r0&(pQi*p>s{r7Ao!DRElRR26rZTLrOu7jWA&HB`5Xw zljlIV9=65e<$RKDnArRlWK%`Qm>X)LYgjpUZq`6k<6kz!M)eCLWVkPo)14{*(CoV{ z0#Z*(M9{teOPEHEXP5p@z~Sk_e;sMPsnje}(?JNvbrYDU1wGQAbsaGx*=|9WnPS--J5WiBVgr5#?A+dbGQ!8npHxOhGO+LVk}h(E6B)h=3w3WdD~GynEN#p zf*RdSTCyA0jmMR1i*}@!$5Gq_OKq_Pud(j>|E9zA^Y__xXHFgg@q{6J*%sNK(M#&S z(EVr>=$Tcg$DR}U&XM_8v=|Hx>1whZs=eh!nnKkOlC5%5=T$JFl9c2l*W7<7+o^hW zG-P8+kz#fEWk8)bu14-|dhEA72N7;*!!668e}k#GT;uld(;*q>ykhEC!3Ae$nMp}- z%D6_gpM5EHH;3FIfQisMTi0V1oLX+3$GB={F^d@1xk36vWhY(KBy>|oujZ=mTV{Xl zAy-LV@#CtkX+>cE^gmQzs1XP38fxqmW%SDl2CI;V36;Q9XDF5Qe*4PGU^9Otk<>kK z7-DL_p83zA4u)GSmOi}fmalP!qmWclRUVllY-x%Wd~>fhz(hv-mSmL~$}HwVzC_a| z-#@1XlJB#T^2)Q_nuPKz4$9<9_@8@FWq0!uLI;PqQ_B|gdce$6&COQG1Y~1UK2P4yb z_VMVsiT)l~?l6IYyBZ`bW|~UQh&U5w=JtT92Q<8M;M9@8SKfA!b~*(ghtWGWPJ{V$ zy$v^Qda}eitXeZ&|5VS}bv7{R52ECy^;DHy`EY5nhcBGc@7_iVH@*t8qvnhVuY7e) zo6xws3t1-Sj#=dnh~_WWUB_y^t<&d&8^+f9{M@?XG)H+Ua!H+ZMSj7YvhFrQl*w=rKwKs~?d+FC?`l2(1% z@p9&ZzbcH1#ue(*#5%G3-}4u2Qx7|SX_=<5PuHGo$9|!el2j4TwVS z{KGC2G3x8{($uX`vcAg+z)skzI?#{K=6U^1JMWK#u*HfM@2ezHdan97EXE= zb{ZBI8d^kV1qU;6V^?$1uj0IHENmPsoUH$Ur18#(Lj*E!2=TIW|0sT z;}KzF5n}5$vp|e4+y3< z=(3&Ux>U1eY($8(V3Ps}%OIkCJtrX$voSdQEGD5e{JE+YdjuEgb-U^23j-aXR=VXe z?0vPC3Y=>}FN?rwAs#@;p`nEhENlgSL1xX(=(Buxs7-^E62buP!=P>yK=>rRGorz<;5e+q)D<4QTb`{%ICh`5SxR!l?h3;+9Wqpd0awchP=3#2;^5`mcHQ1V-_u{~ZY= zG){#;NwM>r>cr3!#eX0QGE?GFTg7z5@uGZr&&>Ab(oD;2R>INStl!xd!wa;m^{c)s7vk(cr5!VZE!f7pQ*rP`|YzWHXs;^?Y z(;{olLH|tg21t~Juaql$N}x@$9;Q4&%zvy8@a~~s!XI!inaTBb;?OZDqx@@)8nNj} zn4l$0g}Nd`n4Ji-C1&fP47Vtm3%^n_k;~vlxM&p3;c_Wz%V{QKktP?zCg|pzMm&}H zo;l{zFc$VTGQ_sk`NyzJ^HzC^j+4grtC8*yqz;+`VDcTx&j<>PztZh{B4=d>8~I|F zXC((gg0T;EK{4V~vXV!n`D~O&k~&h-_0m|;vog|g@lOfL0+XNge>KJ4G>rX9m5@6o z%O|Hg6$25stER1qgnXAlSd}TdjXldJK*MH=-I-M?8jCrrORh@9;Zb@b0HwRvqhms-_d;8D+{vmMU}R?yilPXjAx ze>(<&6?A8IWa=%-4(*$DYUlNG*wXjP9#_FYJ(KoGb+-{CG=R%Gi?JvQ9U~YiymxTo z