From 36e14b57e13803de510ec32c84df163f86dca6c3 Mon Sep 17 00:00:00 2001 From: couchot Date: Mon, 4 Jul 2016 21:35:00 +0200 Subject: [PATCH] modif prng conclusion --- biblio.bib | 12 ++++++++++++ conclusion.tex | 6 ++++-- main.pdf | Bin 399329 -> 400526 bytes prng.tex | 21 +++++++++++++++++---- review.txt | 10 ++++++---- 5 files changed, 39 insertions(+), 10 deletions(-) diff --git a/biblio.bib b/biblio.bib index 74701ae..8e60a54 100644 --- a/biblio.bib +++ b/biblio.bib @@ -1065,3 +1065,15 @@ url="http://dx.doi.org/10.1134/S1990478916010099" keywords = {circuit testing, counters, gray codes, hamming distance, transition counts, uniform distance}, } + + +@article{matsumoto1998mersenne, + title={Mersenne twister: a 623-dimensionally equidistributed uniform pseudo-random number generator}, + author={Matsumoto, Makoto and Nishimura, Takuji}, + journal={ACM Transactions on Modeling and Computer Simulation (TOMACS)}, + volume={8}, + number={1}, + pages={3--30}, + year={1998}, + publisher={ACM} +} \ No newline at end of file diff --git a/conclusion.tex b/conclusion.tex index 0de1fc3..e49ff17 100644 --- a/conclusion.tex +++ b/conclusion.tex @@ -21,8 +21,10 @@ into this new $\mathsf{N}$-cube. We have exhibit an efficient method to compute such a balanced Hamiltonian cycle. This method is an algebraic solution of an undeterministic approach~\cite{ZanSup04} and has a low complexity. -Thanks to this solution, many chaotic functions can be generated. - +According to the author knowledge, this is the first time a full +automatic method to provide chaotic PRNGs is given. +Practically speaking, this approach preserves the security properties of +the embedded PRNG, even if it remains quite cost expensive. We furthermore have exhibited a upper bound on the number of iterations diff --git a/main.pdf b/main.pdf index 89db5430206c34d0afdf2f1f102dbe03e1dbaff5..14bb15cadca1029381d2cc292530c9f20adb8fe2 100644 GIT binary patch delta 48800 zcmV*3Kz6_3uNaQG7=W|^IC=pyml2f#D}Qa1+cuK^?q8vgGgTuj@k%gTS6A7blXK4N zgXm*NvA3Nl|n}O{HRjO|SuUKWKC}AWpV;Tx5$MUj606 zt3Q3uC0`g;!Dg;9&#WGv5%#fSCcJCWKk!vS5n6ZN11@A)FhK^k%M>xhY{U!W0}Y#u#!y6Aja>HyVap? zc0os3S4BA!B!CAu{@(aRW>{wPnO*C(qy^)-?f2}#cPa0plNpo89{oMj*?&l{CF20Z zQ0MnC9-7+@4?c#@9+Lo-hh{(099JyY`JlZ%Gbm|lvEH3_DQC7ntg&&yw6Z!@`tvCh z$#Q^6gzKnaid_6r2IA`smb}n6-;7;Gm~+dFlmqTX$831!F#EII*NKRfJxQ9PSS&lW z{+>l)bz8G6Q=DWGmE1?K;(r-nPR>NH5M4-d!?^CF_uWW~FrlQjFEC$}G|Y0}PD) z)m;->F_|0JHJ*n?KXQ4;v%BIBRv;+xJNQrBaeb%m@;iMe?#x|wXMca2Ki#; z7r*o9x_<1@8|sbSocD%aqRHS5^_sL3-q59OjsQ3ZZ`WL9$}Z$E>J7oNi{s7>(>j_m zan4c9qBMzg$- z*M9)#LJp&Apo029F_v+wVk#kdxnwO0!c6jolW`#+*@7NM9+pg53dqRvS+YiC#H^UI zOS7d$0GiJs0%$e|(!I`^6<6v0LJp(4mk=_dKyX1+arYtW)J8Suq|%J^myruZK2V;# zqNwnkFq2UX#uK*`QxQUNl{&Bc*-|6j&wu9-bw8T}=^i*)eU*>WT8&*u=eKbu3+K4;cm zr~S(~oYB5iKv9Z`JgDEKDN6cGGgJ=UNUD@4qY$TdPU#ahjFi&sSA$3?vN3uR1b=hI zmq0L^1A$;J2Lgcv|AEVwNB|oN9$z%x>la7>zd+vzUeGt0g}&v4fCzztrak!>$v-%W zpDC$Ai5H5WDVIXgHzjZ=>P{J$sT}YN44$H%-ry&qo)>5`Mm^moi((?`xv7|)DJ`RisT)e> z*vXY_w)6-C^EpHe%;u0V0OHTC!@y-6Mlm3vGbmC4?*$B`ZN_|%X0^jy2Y)#?dDL#6 z4-+JEnD(&4?Iwy})i4={0rLb7=1MT(U^WNB!CVf6gG{hYUX=yAki!@b3UG3ek|~$y z^=>Wsm%|NXK9#4MJs#4^d=617vpFQKfTt?2%v0$?G6R-%zG^S!FzQkYRutG7V5xOH zQ;-thGR2o<&&hWbv<`^0>3<>|DViU}ruDQoGg6 z6j!PJLJnurlUyS!>sEPh*;U%gAQPUV(3FRw=u=SeASmnz zaV4eC=0HlH%Yl@xCA0i0rC*nff&m$SC#P7 z@H%+{2{iOp(dvMRJFolMQX}2Z=MZ&2n*-@y6tK9;mpELfrC>Um>goj! z*S$dB2vyKG5%YdrC$FzKIaSv=0!}MSS`}2v*qLE&FdZvT8`mk8NatlHQFZ;8p~7w_!5dq5eF`lADR-#1PnJ^$+Iy07W}LJm{z3O68_sQa|p zlO=u0lS6PkWfane5#=f=1WEBp+JPue&&s7RmQMzyv&BZrpU)vGe>MkyQho;U;8mw0 zFXeD%;w$WnWzy1q`pKCV+Tcm&U5GMrwk<6ZT%R1YGU-5_I5`AC=Wy)Q0jc?-BLK|j z5CJfoLj-`rAD4)0c9JgTFtMww@%KUTbj|7MHVQWF>5lQq0apq+DN3d>*=^$%5U}+<&7@m6LH2>4Vm8qP?e94ji=W~dE`k&2#^pC&L;8*GY zLJkwB7#04eCJXwfs4?v_@w9tm*#Z>pTc%i;qAs zpF;$}Yz_nhV;EOgf#5<8XEvoQxc|ynrsHo5(@vy5`A$J{+tcZT;_NpJQm!gH`8q<{ ziaPnZAo-MP>KwvB%Di~bIVbmYA%o-S$$(WA67w78aO9Pz` z3lziSqbI-ar7Bzw&%*1$k+pO#ntsYRad>II$VlP8UvpF!u>PmD-`tl68ciu^dp zn9xP~ewoZ;b49OLLdssRxcSd=`@>k*Bur>!x?MZA_3qJ$aVbOrt{-p$?8HN7>-qsD z_E7Ds9jIEE{N^D7<__=e&92pk$gxmu@2mA1ae#L}|MKpKq~s2!q+mwUN8)~g$phDvIYaHueKa6}lQ8Fw07F~@4 z2kc^}(p@l^3fyEfm@nt8)XALoM*}YFpFPt*Q*=A%unp_pgTI0r_HKT0FH@wI2Y=mE zWgCiz&uAMOU$H%uIO$*})~j;kX%PW`xPajcs07C=ybr1kqQT$kDL$A+4rQ_^0tUdh zxrvl*x&MTXBeL*5xFJxZ+<8igCZTRWMQW(%%?Lif63qmHTpqZT_no_$4hG1e8mA)&cn+G-J;D5cnxgv3H<{n-z|K2McW# z9@l};^I1gjSj z2sE`~y5RF{yV1UdY)hPfA_m!`-Ye17u``iX;W2s!P(KB*Y01Hj)$s%{GFEQ$mfSjm7pm@%+Jao^`}w@dVwPyPiVYWygFbbG6I2TWUfe7jy;v7q*zpU$awXY87L@y8ZwhGiQ;8=UT;cfc`(6b%u zJT!*+=g_quM!#@u2NA;P5H;gQ4^|Ou+KU}a%`S8<7*g<-@CPdWInW-TpBoq0NE_xf zT-|K53b2fJAU-Yq1uf+7&JYCp?g--CkE%*DZE4YbK3y}l`$A}cFB}>htYs3y(r%14 z+MNGh(sXNm(TYE`K%Wa{+~`NUg6?)E2VFVAsOtK5!AXI*XJ9N5W$4){33>sWRr#{B zGgxSj2UrmU(a{vFlDoEEgCDVG{(*-DmeOp*J2xA#K#WVy|`(?fU*cgeuNNcLxv_ zVD2>E8|~x1e1017-3_xvC)%fvmG?i?Eky1IrhAEsE+@ls;U}^_`J#IdQq1ORVD)Uz zAQXE1gYMmVl-Z&iZYlxFKJ1&_qmvQb0djWL%FTJa{p_57(bM>xi;P*D4-+tbZ-aM( z^ST{l16<6|l%I_Pr>C^;8<6oCt^Y`*=7`TD-4zgSl8_(28nv>C$OAnb1-_DZF`>Qt z$`jVkmsopZm}@|;L$&sZiy2bNK&TH#kKr!WCjuPBuYV&>NU-khxc%ZhN?bxGk*EZVVK^PuA5_v zlMWvN4II$0&_Z1Q46-O!PiMmdCjf0dXz;qO_b_RHksaQ_`;f;?bv4pF;2KK?d z57dYLpT6L|1O;bWn@LxTa zC(Wz+s(IB{n%AC*W`2+#T=)ltt86x@?<<0%p?cy-FS*BOMm%e zxjH&KmOGE$^{d>JyOr1R>5c=q!y=apsdG&JI2Qj2j`Zfx>}qEi3v;u=E`M3MP`ilh zI?#76&i(!1$!@?vjgg=$`$uiHdGLfy(>!~Bn)B*`Qk4VS7(^U$69?ahbE1MSh2lQ( z>qu@UV&U*~Z2iOg%2V2^3eU>$r1ZCYpAU9r=Z%${Prian@hMF6>>dxJ{fd7$Ww?s+ zhTd89yYo6RvS(D2Z0FHvQFbKI>fFb&&!=R*I$ zA+7+f%15q$8v}!z3L+Q5i_bm6;C|zOmmq(G;@EgeV>ZHQw@(6u&p{#& z2`k6!2m{`G;-{TwxvAEV)!lel;ErmuZRv!7 zw?W{Jh3_1$p232x1C!|ckMsyua>f zp*?Z+n!xA&P@;Q{HA_!A?rMm%w_`$G!!+I3ez}cqcjjlc$zry*2vIrn)c3(@_p2gY zf&j1>1c2}O%nholT<^;vs)Mm{E%N9rKrf<5km!vIFb!GA!Y_0{N&NwT;%iX(zQ$e7 z)<5kl532+(wgb8Sm^8ZHuFGYX0a?NBYM*$5* zemWWnUCX6FqCNq`aSLJVOp0>05Knv5?UQ$P^|?J*fj`-@c0%sZJv^&TyRadchPYy| zSEas|IQa8dAfm5jV6J75pJ5=r!XTgAKDLZ=^4@*;3~B=~95=3i95TH?Ywl?+3s2nc z2tEQw1zjRfeQw(NQ1|wNpbGet4z-WfsH%CPS)OLc*FDIXIFXi_tUq7gIP-^L>*46( zXDFq4=K=RQkg-?Jv~nN&;uXCua79X@N3d_|-6v1FuMVHlbw4*#`nxo_^1C!x48aK& z{1namt35t&c@3a{$K*pECEb0gY};m4mmxGhi2-Q6Lmw5q<-eeE6z)v<+y;=^=FS)P z)h4cuSS1e5JzH08z4w_D(;e34%UH9=-F@xPK*<6OP8F<7?Y9Ym6t;QMlYDN#>IMk` zp(g~m|6Ff2k&VAPy&%8k=qht)nsqo`xT(rDrEuc@FAU3npFweHou+oDw!#wQuaxQa zf5kE$i#qG;eAn#ObrhV7(SlPQ_8H?2Gtd0)U*OHXD?YgW;WgJK?U0bl+!hlT~=791B;GTwZCsyE@K2E8(0+&1glxjb|t2CBLcGj2;` z;R)D&0qwYd$bCfiL04LOUExNypX=D2{o3!u%OGgrzh8Sr$eeuNuRQz-+>~rvr#Fn(k>i>NRHuw-y9$o`yfh^~>0Y zps(G(zc|Y4lg(03dEd)zV9q9Ed4Wn*F8dk&aKUeX{c0cKRekf}7N$G%X}|Y}=Kso_ zk8j#f^_{2w7@q!IKWzfZkKLM^x8d1;;ol{0R%J*nMrQ(^{9Oq79h#bDIKPNQ5*d`! z<{kbKSN!7k694#d=yf^?;DROG?cX1Ksjj~Xq!>T>+kI7T>VJjPbC`h=LZwp+N#uA) zuJiXPNx!T2w-Um+qug*&#!Rp!;HLTF}M&Uk*d^|<8fw_6DL{QnX|i@sV!Qf zZJv=xjVMjx{q?6C7hWJ*B5gdV2m%oK0ciBs-2h2)bazCKetz-h`o+t)l+&XqkTFk= zu5XXRB#=>f6h|b8V|jEvKl(a(|LM!+$73!gryq`|T#(6sr?>j};rO@f_xcK9AQQ^f z72<$I(Gd-3#P$DAn`+ICSRe#FnzpK4W3?k55Sd`Uh|KNJO+HWLQ7ikO8pGL#)2l0; zeEaUh`PGR||8g7x&JTe;qoK+E_{roXCgb#2h{>0qzg%7Gb4I98_X`CHqzs{-)ZHk< z+!w_3++)Xo^XnIXyr7UINA!piXs%>OF_!_S$z(qxT{-;9ijYuUOrBOn$c>E8O{T1!UMstB#6630K3Le~m^cabqFgG61;12Ucjf;|P8=m91G z5c7j8l8}B9u&4)E!h$&QgNzfnR~SA8S-gvk(=cG_Y95er7Dy631zFOAEEGXZo*@72 zOT!1tMXlajDU*tW|N!0tT~uN&;#c_p8xrPWxgB+Sd!VkZ`3fJJ@de zvC(jU0Je~lAYy*hUdTltWYh&Wdq&5FAqz+n`T-ZAEGAuW^XK$j%mWd68dh2B#u{7p zjE)mT1cW5dnNe*%q~UW(mGOYai62sBAZ5gK(%W_R$2Kcw$5c!nv}N%t5#*vQ%A0%x zNxFw_eSnf8;Bgld*fT6_u+V_?9o4ifnY63dQbk@T>mkH&~l zv!gS>Ob!rv%Y;5~BvC+lxPv3118~%==K)Aa1&DXFGxc~pWOQqa^MNFk+V*#}5f?*$ zy2R3%4a0pGRF3@kl?^MPty?k22S{d~=@{I-Tmn zn?*VMeGi5C0B0zyg$+iJj$$wmFlq+t;0PTZd4Rxt;IIVN!O>A~dvI9(@&Uy1R|g1- z#URqK^yL9aO<&!S5n>d3jRn%fUOw7?V%h8QPCZCoK42u^H;17+>3BFq$ZGQP03-we z%4O>SAyG7hF)VfYz+tJYgQH_19cC^cI1F=jVDLfRQ4`nGCB5OC5OmOUi3^Si_e5L- zL?0@u4msN{w~KU>A2Tue6X`3{y>qo)R!u*hZL954^_0r`>mCyG0o0IK8z;Lu+!od2{N&@V zk_8EPqMf^f4K2e#v|tFz1CWNFIzWUJgTix~pM2n`>8XQ*#B@xU&#K9t2BZWd8J0{o;C<*nHmRAk208W%700@rX^2d?8J58<-sBVjC32pl9r z42oS^F7trHkeP#ngltfMkJM!50g3UoTqJ^y2^#u9VuOYb5|;(yLxeUGNgtzmXpC{S z+{O%|lA6&x;4ooBSK#HKP;A3#&qrcO%|S9ST;GtI2PB5o93(EQC5Kqe0}@SZ`y_q< ztvy-b+myt~b9oJv66c>LMAqnqTwQ zSR_5X<)bl{w;VyEBlc=|!C`r;i$jLdDBkjbq~u>63bi8+~abHfmHLB z45!lDYPQZcW~u8fE_;>Rb)Kzt z#x*{+u}+KXwp=fpe!E&_v&}kP?B9s!1+-!DD9P-LMAgS5SK{AkMExV0H(!*{(8e`dit=pI+ibt@U4;&`YxNmq5 z2O2#9v70$ufe*!q-5g$kSZ?bAVJsXKY4m}_a9bA$C*c@wd%Czcw8R4m-1)|RV9YRM1Ww%I+D@7dDf1uFWnNz#Q1 z#%toNp&rRD*n7ti`1pg4b`G67&u-)V?6h}pW(gOtdbir?PQ!JlLa3T&8=8NF) z89CD>pT-f}9$xc-(0XcZgoA_lHLZC-Qm>zNk;FodSU>ZD!#ZkR9G#fkVMome5bLNp zLnFpHY95f-?H~>kV7W2dLB;~=!eQc)5^p= z?|qSO*V+09tz!R^5`sdI#)g@OM(AMIwqr!YSQp4nEI}L~FdtAXfpwt>=UK1EUKmspmePHl*l`u^=Ntiau~y`f{e9^H%IfU&CbS%L9~}zMKJ0hP`{NrY|2*Y*?`i zB@W4`EgwFRn6RQFCS=fm(q+wEPnY>N?ZokOxeItFA+aa!0>R~`M?U05mYV0x&dTL# zk>O5{@A>9o4|(|jQviV5MuYLTpuT7lHM%L#*BCGUYXCky|dqOyZUUt^G3+jK5M+GUtG1$s_kOadMmK~ zrcK*3#U*T#7IU3AU9A@REZty`^h9U9J3l|i z6bFbxOxDQNX;G!KO@2%#CYZ`0(KMieLBU{+gtT2@F8SwwF(Z?55$LlpG1)~K=xgy4 z^(DQj{r42VEofrgtCjf>A5Yk?j72;VC-!NFwfz(yh-;^p;8H*k;2BN9Fk>dF@Rj}6 zt@L#oF@cX!gcG<&B5})U`G0AlA0@1Q&oPtg&cf0UfzJ3Jd{(}krRz*@Ta5%Z6l(xL zes-Uh)$}HRt+KhUzBVCgtWa#1H`!XX)*{5V8iaRQk*(8Bxvr+GbPXaHk!X^?(#Nz& z7Y|il>9eo1^}}jY-mTNs{jr!l{C0v*gZzq5sG4DEO9vGy!fJ=*EMFhau?ofdbd30tSwtuzN)hAytERAIgdzKg0 zvW0aU*}^lBgDC~GQ;D!uS>}K3PW~yI)v_ahT}cD)10@YVn6^i%3@LvNd!_1UxR#VL z3Tc(zE%NjP&l4prKjqndx}Lw%HBw!0lWstFL-#!Bb9@aW79-JB-7GCjMOIb&HOj7R z-ETIlS1(^yF!I4|wGFcQ_N8vK9`^F(Tw%lEmQpmmQ;#&tF;m!LxD_AgXUZc7CXY>@j*=WOt;EIHOtPyS&R zjuqBvaR74jOy{PHyAmeOJ!)~RZD$#O>D*lRL+j%`RsP?sGu`z^Zpjcaje2|ivs!P3 zp2a!y;aIZCkLR=P19m>bFVJo__OhAV^D+<8*)o7Grpe^)B}fMaNBJdXpuIs8>SH{B zF5_N_K}q0-Hu3nAv9Q!s&04d6vZv=GfsviM;|qNSAcgfYh)6l#&h#w9+)ar`kRRaF zO+GU>dnnSSmKQv=mQbIL0xw(g_K4sgm?Be1Wb?qvZ2k?WURlmfL<~7j zs~UBBYP$S%KF_PNnEo&Fe^xEp%{MwRkwYeD(%aQ%sPTlH{0tLv`yKUvoJc1BFq!I} z#tMOKttKJ=y(xc_-sh$a=jXfSYORfCt)fITjj)QHMwk!NX!_U`H1i88hCo>l`Z%*g zgeUn1>u5U>&(p@dG!@JdRBEbI_xU`>hSYk^RO^u-hVD0&T{FhmQd3*lo=2zc+w<7) z36HHAtursmdA86`ZNnLVI+5?r&Q7l`(6>9$nW$&=9~~nG3&Dt)_9*aoG5H!=2VWZ#BJlixJ;2JT%P>x1S6skjg7Q5mYCIOWWL(5)qM9E4> zXeA4i?}O=EltWW;R&Hna<;E1AncP}@6Joj_b5Bj_Wj?#tRDx%JD5{?dokn_nL=0i9 zeg|7f(8*1<`IcpcKB+eAvbbA3=(AZ_6xnQpcDMvrwiZlXswlbAX$4CC#Ypn*P~Mc~ zB1_@FF}R3x^P;xtCSPVItIp8(+L$hr@XDmIb~{=VYZoNn002d>WPFWT8}~LKTYXdZME3z;7q!#9R*$Gk8Qd@ zDpM8Id)_I!X?m6!c)cx5h$p%jhST%g^RBTjTM9IX;5M)>WQ!LXnZ#_q& z0cLP(9^q-9sfqb5Q!~#pbdgjmDuW+}xodtB`LYcl?hdO8?x~^WWY2W6W+|nQvQr2W z)o@T4xBMF{`une3&~$lXDh9erV_iY!KTOrOb!CkP%(r*BFn_jI7G&Xs`&?z)>CSXA z$eSR45KmZbaq)z<=9VtQkF@HNn{o*10mJHe2k6hULkjq<=HcA`9Zg+d?e zC{mA%Y9$9Iw{oLVSnsrVwz{`bCoKL2Whl>oiXv4R6eJg@Xbbj0o|-BwnR23&y6_H) zZ5g(>H&l+__v=_@Q2Qd#_qYo5`KOyS2V=H&=JbC$MyRpL{$4Kr3q1%O5fW?XnK(ab zL{%+$q~Kpe51LBn^UB(PSF>FE+Ezgr12Ei)VntF#u|QD{nN{r3S%v=6o3!{{-Hb(l zP2RdJO{R`_;qffZ*M+T_T6e2y8+vVz3T~az?$JfJ5Wo8=~}_UiK0EsR&f=~ zp(aDyi;$qPS~=h+y8L}w*aDeQ^QX262_=u1kW&Mw&yZYn;x4mXTiC(ucKNq|eEyos zh(`?9lJUrf*o}`zmN_`cO8tOpeRH2~bdH{GkT^3%KiR4&_Ly$XU3Q`~am3#=^a9ll zy`V?mrI$VvO=3{J7W(rAzJ$7-I&g{icsGLs2KWY5Uhfd&c8ItY)z{t3iCVgD_j7AT zNv79_BsU92kf9uPJgPXfDr-l7&Lr!PoI$=Bz;EBaDboea8JIOl$N8+P$Fql>!1iMj z5N(&)fB4JO8=#wXwy9qJ$#c49qK=;*8t49i_&XKv2AbL8LSw2=Of;OBXgJkNnJb|sj3$>^mFa~F^?Cby{SOS?TyCo> zPwle&u16cISHSO)w|Gb1P(4$lr|T8U9mdrQlrpJFnS_I=H+ppZ1x%VNbA0ol)&tB- zbd9UbWzC#eXHm}d@Zm{+GuU{hM+s8{CU*jpJF5FgP33aCR@NL|0ofIgD!7)}1;Plo zitrx$Eyn1@Tw7xceU8MMEnzrkz0q4Bi7;kuMvXg+3THav1%8ko56m(3^msrbPH;T* zW`tN7NlG!me;UQ0pqtxuOtu42_T8uf<>AXKP(CD#K`}<)&k!kphYWvzoc$*?sim3d za`HhNMS4jZ&i|#9k170|t#L?ITF+`u%!-=S%h?Pg#xP|0Vrk9K-cS?`lE##|Fl%wj z@cvU@Mb9>HaI5z1AhFE9+qE0z>k6kwF;>-6}+t*iY|ZZ}{Gy|%`~5BH1LS@AV~#p=@GI?KUARz7d317-Z~mJV%XD^JuUGx3UG<|%f*8okm({I` z6D<0LhS4B|iEsB-X>ai+y~%a3sdGtf>ls1WSw#cY9JfO(U@Cz}vAkL5^Si7uAi3kQ zI&Y`bAue>OIxZ4%93gu=zkc!mC%CsqmoZua6Nf3S0kv)ZhWC!rh<<0J9w2-QN@D;OO;m%YTkQHd}TeSbtPhnClO7po}Zj z6J`r>18P9L9HFicH`+p6fO>FS7}U%EUoP0h9lgBV#XulmUtb=GD}o2^=^)9@1@wh^ zIRbT|2&ktI)DHMNU7#k!75YbFJOE~(z9S6rC#(mz_wt2!LV*u}3(OYkhIlaWcC&+e z0w3-M>Zzy$wcMd@e}5{g|Ea(Q{HruTFc0`|cYj&`b_8?#!x&;~3wL#gxcS4}9Dw#P z7bs9mQJu%j&x;EPakKla2ysEcAM7DM5SRI!x9LI8fpClB+4+CEg>AM{6CoqyfnzHWhkp6y|7cJ{wh zu=92Y8MwhbyrC-ce`!2GfPXLts25O>mzP&qlotr~07Ct29YMdH>-)Py{~*D?;fMHx z1Kr{7K>LRjpusSE=)(^n5CQRl0=+!Fp}~RwP5fH|fWbgJn5`Gk2I>HF1N`It0fyTD zDL-`H6Xpjr<9~e^JTQ>=_vi1E#lvjb!QEW^|55*=xgaeaSy^Q*&OZ|Vo064<`vC*F z`GkSoe1g0{Fqn@IDEx2;{l3gakGa5MgI);p-TS=*ypeAv;DOg?7)Bf z(u6-uEELH0&w!ir3i8@Me1ZR;$NUeI|G(+}?dAV6;D7%ckD|AW%O5P;Z~FhkLR?`k z{(tcg^Xl#OF#8(thYfK1UsWUMpX;gtwS#%P{x7TI1$o#388-))zl#V%D8l@pcG@s6 zTgN{~N0^|ns^8OF^uvNCs503`oVIKdWpbty)?<*DDY~gml zw~J3u2!9Ci^n~~W9$Ne$2?7Jb4{K-#_4{Ljfgm0?xYvUT@FBfmpgr6Z@VlQP0zi=d zZ|F}+2naI#TM`upf*}7$U?9lG6JqNOeRv@4z5c=Z|Hl99^nVCGULeR8;`xx-e~^a= zLC}Bc2t7E3dU!uH{coKIclNM{9r_#KdjR0xo_~J>U|vBW2=-s1C=lfOkNB`!Ao$;+ zzyta4?EV-1;LiOY`XNU5hquq|UnvQI|3d$rkibJ|?k?Vl|8n*a$v>jtZwcxH{jY={ zs*8A7;(rVtD)5iPhh+eHIeJ3>E7^y5ynO!&AN;$B|JVzN06_sz&p-Kp&4I1A=R>?+ ze}C-h!;t(({^QAoLj9n&fSF0S?UM+nnuyOA)iPAR+#5p@W6T>yne5zwGoCHpS9lm{ z>{Z!eOP*&kX?k(x5%o+6)a+@l1o`<&xo_}@$@r7@fl3#6i`P{dt$qk*&Dj_xOoAU46 z2?p`z&q~Ib^KITtkTalranoRO5FPp9kDs265#GL7lDVQis$!SneiN1}p1j=rwtCCFxmKH4*j+=WI$MVm&BUvbgOs--Hi~GZpMSng> z^`g>mI;@=UwP807xN#}PRL-Wq-MrBDlGA!+VZc=B(LlZ_ZDeO5Z=@W5u z#O;(rG^oW`3C^AAo6pm%_Y+LtH>7rgPG0B{;bNzA3`(Wdp+B_^!dOq;Fn{WHfVU7;gdm~(QY zwbS9m(YkeeR$Yfeg#kMp^WaCF(Gj+jtfqZj$6R}3xOSg@{4{z~@pp(7)8P)md)z*6 zc{`G*Y5qhV%(Dzx3R69Me}8WQob8-azc0(hO)E>InwR2tx$)p>s_(1$#w*Tg!enDA zS)U}CscyD|$DRVFS?4zNU){5pg*;|bVII2oSbnLk!dT0#L6kDQZRqDbg!jd-drx}t z^Y~mgvFVbkkYniK`_)+qN155`rJ--=VgzlBNpPD*OrKNgf;vj%p8r`o0MhU7#1jXhh_oJPX8>Gb;7-Yp zuH1)uZ{N5<#ZLyM@7U;L?puuBs|iWJS-CIeZM%Y_XyK_RhxESrW0pH9IF}^TT}9JA zscfhxqXJyqg<;SyKR=H(7h+0*bYs`{GNcmaYdxSI9qC^P-+v@jP-E6|=jWAT`YG%m z0GUqbGZRRY3OM-TpI0g~!%W6Gc>_5$d9H5jLc1l0V`5k(@}4#HsHk33cLMA!zD3J1 zAl%);s`L25z*vF&R}u<0vrd(}C<3SBrkeeH0Hmr@wGa;9XH8Of$S0(4w+|T8KjuZD ziI!77IRSh`lYe={{#x4~4_i1Uc;2$k)tgH3AbYxp@9KGe>bq*c5Lclu=;DT!YA&dB zLji^_{Ld@jGAI;@;42Ya;qon&r_PkI0PnzP6vhY8Yc z%&INtlsc<~Ap_+Eh?+1_*j$&_PYsQvWgg<;=T7ZXD}Qe~OxfSycXCRU6Z#+CKl9oc z_?B&v!oPEe{mLMC1b&?_9glTvhNrY(;aAuzC|dKnJ{aa+0y)9B&btU<=x+ng65DlS z5n5T~j6%}_3-r^hV&?3Js41<6j*^RoSlW%bDGxo@Vm}O}T}ZB1;L{1PU@CP>c@~)m z31yYyy?^ReXNUTJDJD;z@643t^cvfY}?$>Wdg@Bw6HEYp8{C&nA-O`#5;?JO9P zp~aYU3J&z(H?ovPDr0@Kz;;VaZc>EQ>*&TiY1E~={X%a=3dx)35^1&z=N4rz!?c^O zx;`!D1uWU^{(b^n>V40rIMp&FWoe{^!4sC z8+Aq!0@n|%`AX<<$_(`fG@C1p=x3}%96vDYSy9W2yM;ES);D(D+GO%R1!m_|zoO%6 zeg%#R%u+au+2fhi^>ft}plEVl+GHa^@+Hpt^qivB6L7zc z@_%s&^VO;Q?f#(GzW)Li9*Zc$Q$_eYIuyqjDmpV$n(15Ml-CYd=0^;0|QmAKNF}ETQ6lcJ&x=CbmUw zqm?md_LH6PK>7V=jBy!blv#z{=G3nHl7Djphg@;zI*$@0b&Aef*^14{eh#O1V@-sP zc#|setT;@MTBT>jTzPn+Kpq*)!_GQs?~H~b=i?le+KV_7F;07XE$zg!|w zd*D!h*ad0*M4eFIy~pIMyXx8*4n>TW?V^9q8?l2WB&U>}wbCWAi7VhxMNVEU!S;Z; zpqQw!!6?w_If`!9k^`f~A&QYlUG|}AV`=hQbLi`i0k^TSJUP@i+lT%PIkA|#HBOA2 zJ*z#v=C39LQwCF?`loG`r&)}&;A>qJQ_lG+Kwr9J8eSh?2LY>sZd5Ex?cQx=^VWaW z!CN=&3{{z=D}xT>Xj`Jl;;}h?lv1{4`THJ`-VzYvsO91h)Bh@%z~iml-sQhQ_3%N< z;8Co!qA`|9&sPjSixV`G^|wSJ2#zQNnD7*EBJ1B|@$ROt)p zo2O$ckwk1_EbgBcqCeuTHjys9Z0dh46}&3jCTIv$X-S+$ktF`+|7a_$20kM9abYi< zPKHmSUG`Gypzw1CgKi9AHK4=6s*fwA{`%a5Ms!WU(9oJGj9D^QXc&U4Ug$vntWG(vw~`g2y>^5>@wG)Sk5So73N(Rp#MZGON^+SJd7mn0NpLxc+4JQ{AIR||Ci5GG+*4cH9@fm3vi!TdA zix2?rV92n6yK$R9$Zq-dod_=yK)OhDS%=TXK-WA}sCc=?(Lv4b@f60Hq=bh z{f>Sx#&a74= zx|72?65S*3qt}*upDceq3iB~Wy>E*?dI#_mCfR7vQy^^?tS(H`%9$QHH0T$Tg1`5` zsUmgH_~~Ou0NMYTZO{Rh* z5|pQsomrO|7_W}HC$mW|3K<_aJL(bX%GB;j@^vkuhhu6@NV$LDGk7er;g8Dy(29ya z^>#i*6|f4Xo9oG8EW<%6ves;ix#HEVzz8E~wvyX;HzO;)DpBFEtEPnq23RR`WrQHb(H_vjW5l=_1)oG^-iy0~Si*PdHn*I8o*XEivq0*g#uGlNfdCDNZnL!_nFNPyk&x+7fIyoC5+y8(8BG7 zWsGeO@d5%@^zL9P^n2Ri*f{a0rXL%?c<)Xw(kz7QGuD6Hwj*!THrwzd2!vwKc5Opw z8Li)=!8NQKRhHLZD#<;ku1Lx5eJMfwVJjg$%$d2hCwA~N)pLjo{Au0 zcmFZR5*r^qN4Q#6CIwLB`f(;b*O2tOr_+UdmDvxExXx(V zd+Vz@O1po4MqYZ1FeGnK5U?>y(R&wbBe4p<7)>N?EVWI@j)mL-Ha)dXJn9>0h`-oV zJX*jbu{M)~46=6N2}=Xs=$@Y%)~z$fTr+=tXK<8&;@4O>bD9=WrFZk!=y-B^ zM+NRSlLKRIz4zw5!+|lE-Q;{+;H5%+7FFFtId2xMTabJLV>PsOC?#m%I+#}VI$~#a zj2r%jJS#wJ$V5L~&SDcb-UGV&`r{g?Mqyc39Ib;6>6N2}6smA#Xmzq;??wALgS#5s5;C{+z z79VeRXVJ*?5l))7Ewv6o!S#f0B1v)5mi}9CPTgDJg5;s+cKBIV`u_9yCyFDqN|Pl& zS#Miu#A>?B3hf^6ks3!2y9KFyKD8JuE%bl$0BwcV36}I@nvYzKRlyxdKMFoV%5B6S7;&GzQdTd~-7)EV#xoL+ z=>DR+!ktbN;}32hsa{;L7aw33@F}q?rAu0D>rh0GpUK!eGTT3DwVnYi^H2D+U&KEN z4@}>qA`fABwF?_RpRrxs9VAzFc36MO{5dB98d#CXh1&!oF|i;lIjj;dw`)Ohj&tS< zq=!sot}LdGn$IwvVAR$#ew0xXl9j5b>+S&&-9s(uNmzGw^0)T97-G zi#rbVpW^=l5_BonTK@`bN~?4S&bkxh(I$vCcyU3>Z0Ab+F{WRpPrNIbb@G2*1KiN^ z5MIv=3T|S5^I9oz9h}{B8QAhRD7Ez>dEUtl>K>34L|{|%bEOY`P_mug9H)YR?(`z1 zh`JS&8AYOg5kSsa&A9?mc#PAV0`5g!K0B0>lR2`fdyM60%nF8n6Iv|_9TU}2-^zdF z0?}5qmQS>Z!3fTIylQ%$T*H62LlqG0WB-7e=v69CqMC>Q zIQId=Z^q|9iUKJ~+Xqn+pM>7QKa{>B`*rzt0CCOyBgV%ppxr|w$np0y= z8P&^opBy+6-w`)~$rgO+5_;S<`xz1YpoJYF~QH+u^NASIj`4(lY=fcOf{Pgdd?Gf=^2-Bb-uUY%T=f6sI&n-g>1s9 z&ar_(IcU#Unbg3V8u%BvF z=TzQor=iu^Mz@aid_!-}6pzj9t*9>QS$`d!W>?P4g^=BQ#@s%7T z71mAM31FO1&JTa69ltWN4#_K>x<|gvDgQb)@-mM1GRTqb(*4wmt4uL~ZJ_m6o^%|4LGF3(Ko$IO{6Gm-HDH9QIJQ{R! z(nS~onZK!w!DXX5@a2y&-+5(joUS=QGA{>}-|vh9w*%w+j~GLnDV;!Txh?NjU(ew#yPSxRZ9at*us zJth&hT|`QpcE6ErvB~|B7+>0`Cd)4mLbSnofy~n+rhGuDp@~oJm#@n8=%2{+fMFC$ zp4gmHFDlA}`qm{^5rIc64V7imxW)m5IP2FnjO%_x%F3Mb%<(>^Ax2sWQihoP-TbJU z*ouFVW6!chN02e{0A>t049#_(uJ54PF&Vp=1A)`ycl_#fl)^8z9J1f^)Mk9%)kU+` zQ4{$9xUU@GNC5(8A@>Vf9fzKdiF%W)wv}0! zvJsjrQJ0Q`{U*@*sFgZ|im)_s&&==J9O?@Y8j8RB8X(yx4~E?+nH50c*H1Lvv*CX| zGT?66)hhjp(c5=KTwu+Hfa{SfM{v3O`!A82$$`!GCwU5?G1B&$dCLxX`8+h%b`0Hh z;Y8%6?>wrM@2$TnGU6?5v?T=&A-xbcSS&Rt zLO`E#(2c-9sCACc6|*^8SBGAGXmEcGL9G_MSPSRve&n(gn3%dU$S=elP3%%JE=Bh2 zXeQhu0R?9Qx%=ZW%kvoU@uxu*9zBg$=32?n4~Jx~*znX^%Juzi#$Vs(bn{Z5UX{7? zn5`ced|-46VZ@gLnXrkWT1-wX2{K*H$1)BabU>JdE^Nu$3lZFzqkA`zc;bKbtx_UP z1#c)c)h3i#)uN*VF#V*ASR264;nQm%D#lrdz^YfIT+U&A5$xG-cJ#b;jJXrv#6S8# z=I5A5u&z0=GcIcyOQ`5LJ_ksXVa{w9icfLxTzIWwcAA{^w?hG2X7T&lfU8kQXpj;_}*JyaDPu`#=;LRjnIM~hFUUqEX zTTPTTEW>$xo|v0xboE_l$Tr^`!~X{;#CZ)=(z_euY(oME-d|6MI_$=x z85ib~df&FjF`j>fFWW%46OQ%#Qf2EErKjQ+#Xr{6 z=Tp9^zN>5qV<=-fU-f|GOT0FFOepSX0|#~H=%V?|BD7GrRG$bOd+B-m*g>>}G}J#> zOdt!52;D{6f6Qf`MYCJ)E%ax3?E?3yZ0BK;2kDFvBr+8lqhB~BhUy5+&5Mg|xOSJI zk{d-S9>9Mw-pwTHCt$KS^M6bnt)63(1`ZGjI#|&ucg9Q|!%-JRkzHGIZ1t#(MUP^} zKOWA|){idqp>yMWnpUUJj+!c7b2yjN5tp`^cH&I=hThgq&*81&@?-balVH2tNAm7D z#2*(zCg)?43?bVaGEdZ`JZFxi$&>vZ(V|}|G_ijvGRJ%@Jp*5S&7f6M?PMFH&=oYy z>ddDkzFG*MY~i3L-=JrXqA%s7d@Iv=8{ihK;JSQnd;^I`o0*es|ieIa0 z2>Z$1dWDZW3)M9 zNQe@sGQ9FjYDcv|WD7n^6a-?GzxY(MV7g^OCN5$D!W-vv>XdiyaMgkOCPF`WDT~o zED53f7VTQoBaF3+DL9F1o1I#=`<;KqY`r%EL&f~X{o+_TX&GJ3FRx~-hUF78f{tpN zI2{golWphHgwWnyGkL#?7Z#~y&svuV$hTYPvmSHzE{MLC9j~o;vajXRek3Lm5oahS zAyi%5=#WKMm4Y~#VSM81IYgPSQiEnMMi5*35 z1B_qvnPZyO+r3T0$7P>13o*7@-kTnaLw%abg3<4DS$~ zP%mezi@c10?d)et^a3~Mw>W?9_L7ALLav<_ckJCdCte~d=Ch^zwCoZ7_ftGdGY*46)hQ2k7FP(rY1)GXm_@VM!jUeSM)rcZ)vPPNN10= z>REKX@5iQ(V>0>7NgpuIqwp)L)Dw+TDl2FAHDja|6q5$`@bz~zF9PP*kG>Z7^6JU` zBo!uz1;z7AZd<6-iSpGW6T7vR9m3?Oy`Rpoouj-oZXwztkU9BB#qwYO84W|FXbFw zvh>0#H$qjIVaXq?Eyzwl-LuQ2i<2-%Mntl>c+{kNd|V;Fe(&*a#3O>8BRbDzWTOf_ zyCkvQwo=^3 zc~u!uTaBqaZyZx?ihEB84M#4sR%d$ui1r(&vMN25Fs+^u|Ap*O(NAtfz}~*~(e1$5d%fgy?Shltbc1*IA?mXGO~C@O)q9CW|G{1q()f_TBz=0SEd$uamn0}~_6ON}1z?hK7RiYu z+K(p2eAYXM?n?4cA7d$-w=xWELOwcd)?W{ApN<6T(gq;6uDPzwOT2}@(a!?YQu6D( zXRK%(k<*;|IkRK*Qd%&akh8$!M|b&2#p%x?x)y7mL2lz7fuSO7ZUAd^6qkaKPZUtmq99=KzQA zbs8Xt0aN)+tjLXBUu}v5@>>uh)UOIW@V2zQLBJIKCtIs9t7m1Y_+6jne1ux&vw7O- z@GHO_LzXAUiMl%7%LWt_Hgfi391nkehFWFiLC~?L1FZ6J+mFr*v!43y6acgMnDQ

^H%qz8F_LmzWQ+8{z3hJ&8+_)) zYmbl*Q3+8y%BAhzo%BH&9+*)FqYsz>4vY`VQg zcC?y$@oQKVXI5yCXiLX&No$9s4Vz|qB5$5UwxmBV^-VJ6*Li;|+QOQ*TA73QcvfUT zgtl8kGv+1;nu!*TSB+==me_y4lP;p>$L^v^-85|I{!}I0VT>)H8j$@q)0W9gcJzz+ z;`xmrLQiz+zTBvjAQnwW=mjV|9Ob=O0MtFEt_^ z)`et}?5_O80g=OHSo+Mq9gS7BpUnEROaW{X5iR@bT--@Xl zt2A^aXBK`j35!F!K|$0FvrnUsK#{*R zC}@;_X4Uc#A1$4i^kzz6#j`P=kQ%y5Z+8|o&*tn5KWB*=AC}FX*IHAK zb1vUf-v}V`>gaB6&O*6+aKEJuru{Y#cw6xE_;;HX(F1wCqB&Aw@rZ?+1bN`& zsNIiV^_g%J-#dSYpZ*4ACqHx|caP2UZNG~M9i1C@k&aM_jhCfoHF4}DonD@QPbCGe zC39hnKQ*yQ`|R_!suOMyPkMIvA(r7~U3cG{9|a#@lEQ97*d{lV^8`xINEWrgFP|(r zYLkJ3N#>wLYBHzoVb73seuN;kY?QvQHGzcoqmG8 zS>&mvZKI4mGrrwDw@fy?!2>nEMPUT4yX%nP-{MnbaneDpN*4HPaS)OlG{xq|2Q1ne-WF)@F*s z-SJG)-RuaJaW0`>W?UJaDUorlZKmP5XErko?tk8A09OdDGb1yhG|P;FyMw#Vgn_}v zX2LnKV|*sOvYCZld05ZlQrcw}_9eB*-xi1j+w#g~uv-sXmw0m-mkcT%#sdu z0Tm9QBy5zy?l`On6&$Rgf~&v+jv4F$QF zMhZyW7@!C>+!@Xi9!LtJfM{~8;f^h^6S)c7!F_048}Q6HiiuVXo){dVIE*$ZO5VC1 zj%yo^`vY;|mVuCP5EyPz5;(Rj5D7|{>$ru{csWIVFvA%RPe3#P2J#1S_Cy0@l7Cm) z>~Ihi?hWq9X%tz8H4sYR3&H}iWGJ^BW(j5xR}Z4h9Kix125kVyAU*<6CkRkeo*;ne z0}pq8{Bb8gxt$eRemJ}=cJjUHq$(!WA~T?fM?3jZv6$Y>N5ulPk~$8G^K$rn`YrpF zL5JZeNaD*5OrOI%fJ(#u`A>wL0e`shbbdS=jtUSpc!0}PRWYArA~auqt6m>h!>Rzm z#EzZ(73?7U@y9HGg~DjVuva8>O&xTht|M1i(*Ox*2BALG4HVy4M^4w>0>!3o0Aoz^ z07f-S15UhN8|m5fBiX3|=;nv>>FBtqvR?tm7q7DXr1(~4Um_*e(^#w!S$}Lr<^1)0 zdNV`2*U~)Sn-{}sI?tYrhUI*k@qrrv`oBH7s;b#P@|=1v=fl}mIa&;+^UL3!KBdi{ z-;9dwW_3_Qw(aD{H)jUd(ZqPwHJh#Z_jradC}IV7Lof9Cto1XGnGF z0%tzM_8D9TZ8W;A_WJT=b^9%Z0P(}{y6Eos)p&RbN*EqLC(+2Baep+-&lK7+LDukbx(9Yk&G_?xg1<1E!WjZE2x za88S5&S|zi=Mq~!JHI$7PM`6CVgs(8CcXi>>t;Efyg(*Cd4KT_2n!UG+(C>5f$u0m#9LO*nF94~-lb5H1S2yGF*>Ez!y_{T?iwypUJ^elVRLmE! zbS7bE5K;;AObm3rRd75oD0^RiEihJ*`R;sl1r`?CPx*zRiNJG%`ujOp<+mqj6dwSp@4BMN|Zs%lM5rOPz zcwUZ%aksVJjsy~2pNVc*9BmIOtYr&UXYNKG_iw+MmUO#PJ+TPpe`-i7Ld?>Ha zZWc$=>km`^{uy|(n-#xgbdaRfW4W^vupJG0J+B!p-8M9vH4sWX~kVsVd_vP7q z2m!^jEPn=3vs>yIOo|HXhvyghh73;_r4rr1#ifpF3574(B)nDF7P4}({3X#fSBg1!4Z&kEf39>R!uOrN@ z#0t@;J+0)XqQ4~Gtq6~%*Vn^kLGCKb|2Qm5{eOAtoi~XEdVFxdH?Mtg*ZHRbLMNmE zossMOy3Vv(8)~HC0_4=X-X3Jty2ikpOg9ryEt?50)4nI}gPq4=``36t^pHrxt|XRL z{dHo%l)-&WN@OM#lazOzd_56|4!=^SrUKL>GaZ3Qg|8bWJ~Z*SeuY2wPv%deqkX*U zQhz)N##0XUYFa1PO4+6H$gyrXXf*2qncUjsE|HqPr0P4k;`B0CoZN^j&ip@XO+xUF z0`(Z$ZsycUmQqHfwl?8(!o_vOeuTuwt*C>ue=gzI(|XAhbZkzl8Y$^}Jz-1jO&nGK z0Yitkt(p2xR```1)U&?~D^e*Ha=j8NPtqvQ`vtWAa24vFzTgqyQ*@vW?G2gPiWhV0kFYBru$@N#`qR8REPM!Dpc`|HSP)U=5g_BsK%8` zd}$e~b9|*0_mgoRSNw*jw4n;C@wgfU_0WjxVRVl#!Q#dzFiylp<2kR03ol9lSHDKM z02#ygWVPrJH4lc>yrk4;z=&3?t$%%4I)(;6`Ame@jTR4@zoa=UOR`AJYMT62!nP%t z7rdNw%je|n1#~e$1z{as9)ejT6$!tQI#WPR=>_%S+c!-L(aB2Xk}Nd|F($!xr8c<@3^8wFRN}T82z~Klb1`^T`Gtl^RjDgB5mjf_> zP7i>%mJKW<@;D|wU8!rR<4(-k1;Ef?a=}CbOy66ERTRu|bx*QN=<&i1@TV9` z#O?q*lwn9%G_9v2CDd&w0c~p$TquRrbds6&t&}ha{2C*ggRhmaJ%6Pgl(Au@8Su4@ zEpE~vi^A;hg|YE6_3e&lot<=NbtiW^9ncf6yJjfW^mwI!J)s1XBnG0sp^7`E2PT$b zOidW#b8}0Ppv57wL9pB-Kb)wS4$=k=-8opnY2YYEF9_Ii6l5Q{s-bGs0Cn0}TmtNU z0ODby_m<>Hfoy>2+JD%hxv}I1pM=sPI;*9o?S?Y#my-H5BCSaVV+pH@Sf;$uq#UtK zV5X(jtaE`XDa1Y8tmmlcRHm~MbJ8hOwxlH(LDJK3b7XR28KuG)q{!W+bF{_=WgH)2 zH)|vY&k-#_9Iz3|PK1qJT!-6TEv8%X3m^j2zLKjb&4Fv3<$vzD`8Bf`V>P(do{lV~ zGLV!+AvE-k!|cFer>F$+2CO7Q?m2KLnXxGF4%R`6!4mj`Lli-WyW_6c41`-M{;7CA zq)cJhp5E*6pAmmA*ZNapo6a&`v5Q=3YfPYXAAhl;9*6~P9DbbXNx^{YP zeUmbBJ51Yl@y|ES8d!@t}I@CDwS{ASi@FG*1TShNl4$k$=E3o)8Hh1bl5om3AFrg}Ty>7ptub z8q)wbxVp|h$f5}H>V!>OOYl+zNr$K^kTj`Fib04T)GKH|g5WEH7kaF3XEvje!iG|r zq;!g6A%+oP?BSYRf{pDu0tGvciUR#oplXCNjPcSn5JSBkr<7^RxIzm91ju(FJ)}(c z6@N;?LZXs}659b|3+bV$aWyR3dgQG|#iKwvj8t4SF{88Sq6|4p@)uzUf(_GY0Wweq zfAt^0hcPOIX_~dus5D@DbcY73^|S{82Y$6Rsa2Hg@I206Ag^vQ zMhJ<9(i_?Mh>kHUAho{ORE$*wtdVK;)!0X zi7gSsGI}ZC5eZS2NfVzX+q*9a>I;ZctB?jnkvvGcVAld#6xYSDMT^Ej;(xf9uO)aQ zQ#@~25c+6t8q%f0(jLNyW_evpSc~X#Eg=B`i`+=+3HPYC!&A}1aOnwCGdhfr6m?3H ztjLh$X_Tax2cj9kw`hXMg%J?yCSqhLR!75539R#!VKaPFhS8WLzoL1YtE|0+q%V|d zX#S8gh1r)*8jdlK)98L22!Dg1(?N_76y>*$be&EOUFZ*#G<0SLIgCbpE$EvKM~3); zDOpAn!fi_ndOC(7NnxC9C7rog%;~X?`2igXc#1BK&Sty|Tg*V3EHvAdH@Ra187DN6)#UA1Y&A ziPj!~&?E60__QV(c37bvk9UN>sg0@OAdLDVb0|oi!)3@ZG;OToMf+2Vo+Ey^zjSPU z4+?6UHjTr6Z5p}|-GAV&U`)NQdXKn9eNS<#UvAg^HqPzfhcu7yYZ$mkyyFGWFe?s@ zlwsnoBsy^AF+Na~N=i)0N45L8Wt2kO)Ou}rG7)1fCR*c>*>0n_|B*|PDAqcXe zr$NFTS!9qRgSOgGV80X_QL$o1ztfwni!MrO-5vOQI&Ze`^$ zwHVq2ixKZ>e={f6U98v7n>o=^*UwVRLeD|-g~CM(TDt zhRaC6cr^sA36l`CCN%zuhlWnI1&-D^ZR5Cl4qhF4T6U)eUZ!U)JR&l=q35avUZ(?` zuhRjevfzI<)dB8Wk;XqjaG%e_6~0#m8mx_KF5D;ng@$D=)qXDZnKE)|nPZKQT;dpB zjjF_XDSyYnOEnxzIkm#Ebnhw0)~R^nGuLSV{?QMCb+~KAmoz|yKTmOo1~}(CJZ$`N zq5w3|JJzV972&0NxTk0}=q2k}gD9GY-F06Ok=Tc06Jb|cHex~jyv-f!OC_vWzLpg$ zRj~Bxn@?mm{qSq$s>!u{rJ)U6UpD%p@a4O`pMT!&|FC!P@|3f+pUpoLDtjh8{&^3j z@mwB%vlKt2QY`&8iX|UpfgkPphEUm^{4~yhh&%oE>TEt775GEJ=jCOmk+jabt*WhG zm*;JxnuR+3*bwIA7vt%4-Tz`-o88e z^fQTqT`vh-pd{cQjxqH2aabY=etSv4zn9P>2^|c(IGJs5I{4}6?JtLb)4_h9cuPbo z{HTOZGg_RCSDjD)oJ_ws^h+Pf(pR(bV}C=@i`Z`dJb#(L%3tU2^Mm|D{xLtykMp1N zPxyvnQL4gI$EkAM7I zew+WNOK`W95WV~S)8R)VxL!+dX(PF%@{dGr-!Dgjgcm>^qD@T}pbDVeLDRBr(EPl2 zeERYiLes286YPFKQz-sOXgYm2nq73nHt3w}{`~pXF`?6^`Vk%c15J;F4!=W5P(?oE zNBIdT#%WNA$jL;~BR40lc%x(oX@CB@Mw0DT=J3tlt9PG25lwuLWAwGwhW zQ7*c;Y-I+Y?|(Qw*acjU`mCU0H7@KyYS|cf<9jiAJw#R>lLb1tD!{fOgVA08UR3m* zK&*!^1xCX;7`@SyOds_W|GpWH^NaFp5k4BYY(5m2l#?P4pA__eb+9O|%YOiFQG6{X z^vywaH7~+v2;Y|fdIA1vvTca{)5+eu(<36b=y5q1QGpxv&OHvT`z-@t)Ir5pFbn!rbqc}%<+%N zJq8nTSRWJbz-lX-_VK6Z&wt;bcRuPd^P=|7_<_Y^U}gLHiMD-spW3fydI`!NwfrtU zPX*&{4R>3a(~}SH-tG|@U5|pB#xt%69SE{`>u-7l=xalaq~;ljdMv#OMb9%Bj`9A4P0#f}%@M#DBj*)1vqRBzD;* z`>ia~$AcFy-yRb_J2Zwua5R+ee&r(2}=qLrhO|@3Hs94RuFJx5x+0XO*4W*Y5LC@#YKhDp_ zXVdDcX^@W9jbJya)qnQK&IP2H<>Gh9$glDlbqMoDQ|EI)~us zP4nw=0${Ii##K2R-{zCzlFk&u_Cv~m^aWs$8PBKCv$#3Kg+k}W#klwu8#faK4kdnu zJsfuhWGiF)=J@BMPcKM7*2hx<3=y98a;4}Ow2vSjy5Dmgb~!=RO0g5HF|_{$T)krT zmr=I_6u0Vk1nsZ`I59bwf!G5S1u-->HZ_wFW+#8Gwqtaq?baq5CzYgPR9#@dmV zk&b~2AY*1_;N+lSViADB10a9E z$jrgkQs3>X_E$1nd$WJRaB?uSHu*0EGyr>`iN3v&CD6g)E6rE#f2Q+aeFFZs?)7bL zE#3YVZSya$|AoQK(E(^_Ob5%z^i|W)@vF9pnKdl^KfChF+Smrb$nbByk(2HJv^fLq z|1}_re|CoQ3xvLrjkTp4zzApzOD}(8q)K=FUaGTnb4$^Q)$|F;nQ-$L*IKXU(* zqyOy@|Nni@|Cw6U$z08)T|4vmx5|0_h_%FNR3|10P} zy;Xt#Mk{DzY4o4AUyk};Bl&4<@Ge<*HfU&;i*SvrJrB}8# z0@_=eSp&a#{ntnVw2TZ4|6x-yH8ZrZ{)Yh8f17~TM*j)_i>iNtrxy{^5Kuv1ErFwwo9!32|Iv!HjnV%S{z)S!XyXd-pk-v^0MIhCFn+zgFF>4Z3|{|-lK)D? z_+PTLzN5XFD?szBZwAJHb^m`qe*YzD|3?}TYeO5Of7V9PQQz9=Yt#Oh;vci2lfC^H z!T);vUtRxC`CmH^1iAtZVON)I47mf%Q_@o%YcR8iCWJNndKkfne%lt;D;4DVR@rp> zq=f8nmg~J$|E6o0;`(THTRgLUKaik09O=QZB=1fFUgqL@5mWZ&A#Z<@wX;(n`qS$a ze^33R8sTxZAhivl!N#C+xH}=Qpi}e)g*VmCY!7qwMCnWHoac*1@@R|TZJ1majoyLO z0D@AJfA)tg{^aSAd|-5VXt4VRviAUoIxG4cDYrhRcj6ggf}@+B{e8XR2jq)0yDftcYvOc)U#)>RtIQjpLE2$Bu=Bq66qHLai1PwMJ-cV=rd^CPo(Mt{GYWaB@n{ zMRLk1{sLVux>y~R7s<$CC(g&m!GP}{%P$8i9k!YpyC?+sY8}+u}>G_gAk{iF7qRZ zB8>0Ow`5Qo>&*;*b@8&_n#}K-FLmHc@$aAeeOQ0pIvCppMqaVBdUsPi+A7Hm;GfB+ zjuKPFhcWD5sLh5BdpxC3OTkCkOMqOdpb z?-_sLrGiFnwGlPaV=(P<12FiSxy5K#pphNeYZ&N{LE~b~(J1 z4QRgeYGyY*k2tyUH+kC1tNU?2&D;7h9fc}j7PX)D+PU@r~Yep|Wa5)&@W@W7Rj=xT~ zlXC~;GRtfzkg+W`zgl}V+Y*jlk&6Dk3t|V&5utmpkdu7BAdh3-=)=9ZDXSbiQrdq- z)P&vcLFKdKL;rk_El=24ouL8JJuSj;ArJLra(RXf`pXgo1Z_Dh%wu)?wq>Y_X6z zSi9l!Fdc;J>3XT^L{joZHa`L3`zo)p4xv1MhW84_ZKSkjLmVa)H4414H6mPT@V4BM zWSEF8RN^5B#FpDR9ysc(?{C?`1sm<-V>`2b9*TlX)TZCUJc&93`67;z2nkIp_o!7V z9{$!I!Gx~*RM6Pv>##mMg0gc2eWriNMQ}MGsWMuAJjs4@@XY^pAs)blbWi^`ezSFd zqO zS7;EG+MJx$Te<1$9HMNKWWvc83HoT?ynvd95>jR8>5C)(>%ch<4xW!|g(D*SrF(xCK?jY-b=}2-N z|8U*frvclf3v~YVc2&D_dV01+{+xZiHKozvPq+lGFYJdqBncxmSXXO2zj>4Hr zIenJv0CSGt<*C4djKx-!!cN%=cJ8l6HI zL1`P|##?pO#jRxU?sZ|gZ_Da6cd4i-krh{=E#znhb&6zZ9^%X2&3tik!ehxnccsE zL;lD!WD{*NYw)g(l^?W|zn{FcNv2z=9)#P=n9%od$MHTojoem$@-oy+7iGlE5|n!$5-~c zDNJC;SvBpCsl68zjnX=%7i~3?*xosH)$aJ?n0M~ty%aKig6P=4QMjSn@8}iw(4EBW z*JmreH$`TRa|dXDqQ1G!+jAUuGW_!k23nQpsERb7cp)%O^u~Du#|y@E$Dc2S9@Lkv zyGrPMJ8l*)daMW6@92Qk^@TpdEm0K9Cs@`?h@%NhlR|-n;st)}ch@(K3T@EaPWl4X z?kdFZ1Qzp9skraOr4xMXeY)=Uf0pr7p3AV$A8dpTQDe@;XO2{Dl+c$#IV+CW|-4ZZoGROP}O2lz9drwa;nB`t!2;roKGfQk(x!bS0u%E`s_49hYK*T zLJ^Y|=qGg)6s4_8?!Hkf%Wr$82ZT?m?Np%PKG^Ml?u({X54>9kAGS)nH;1G3Q4fnGr&+WML*v>01iq@s`V;~qI9yCDYQEu>u%f}*Icg{49fu5r z7NDemDuiVBmVvfPj1ozc`SD3^F4EPVduc)JGRzm(b>HAs!V_Rh$yLC=d35SZ!I`~{ zeTX2^b~RTG#de!4qq8grKB%p4`H`U{E=#C?!MQ@Mj)WBw6@iX`w&3Os`A$-D z+YO(N`FaIoRdWq)HESTA4!0&n$S-WDc8VVfukJT4sYucw)lb#s+g59BR&NAVBI<@T z@7nm9f1EGw1}53wf3Z!fai~@Jev8Z!nKU!_u7Gtp{A|2G zoP|>*hs6qW{5<-H>PKZO$-Cy48$N|zq_awba;aMmS3$8 z5Zi(4@nX*-O(31Z!0Trt(ODuKJR?H(R&(0TV~J^DXA6xN1Nv>rASxa#D1VIN%6&r`IvoJXD?v+yMN7H|n>X7P zfzu`m@3^PJA9)cwt#+?_rgjqp!Pl2%C$&T_yq&Bsco*I>Bbj2CYL-vw?~NV1yhUA7 zh7NEddvfFgd71Zr8W@XIqJ>W zXSb$z^ez=wtH=mBueM2lqSKnej$dS2V0MYf^(GjhO>?G;Ys&AcD6^;=hhc+W_~?tE zLr^#GH;lsg)Oey=S=U=ru3r5>CIea?p?wcYtG^L`TXK+p$9|W2-FYWDoA%k?N|==E zGy7|DcL70_*?luD9K2J?bnkc(d$rAB?bRv)Z88CogrKMX*hTi|c}huP2*ds7+7jr^ zTCFjpukQkV%&+vH8Y^Y*skzn#5_#3a?6@VZ1tQ;ztv5hT8bCD<2#9GaZiBpSL}?%- z`@Wa_zL*q$hi!Bc$7U8QcY(y=IZ+g#6k%QHMU>K-5qa@Q+|m#$9=l3_TEocgw2&R% zOj1w(b)Fb(Yp&S1xG5-XZ|zs>gmfeR^B_vGsm--SI4tSANt;PF0u65>Lj;L?YOjd; zyw56TB`iBo$cgV@@J>nKRLWnU(Ho2x|3t>+B^W?|(~GekRWvB{is!vXT*?Tw&obl= zvlk%(&F9uv9Oo$-RmLf{DZ+mefm#8kv?zV`5=&gN0S-7&KWm1dnMMf~I-ZZ)i9>gJ zmEoUx#2wqA&f^S!OT{vSLzOdf)vi;8_Ge!_9+7(X%fP4YlhVDZbsVIlQe*O4-rFA5 zLPXPl?OJNZ^+-aN476IDnRnLWOvWJ?w88R;<$F&PxJ2R)El{&g-su_vbVHgTz5ota zCVb`_m60GTs+%wLO6#K=Au(N;@h_Gz-(?Jn%1Tf@C1#0jCX;tz>98(HIbYGj23e@$ znJ_w1DB2 zB4XBmv5==kliD8LqaLP^%ZAES`;)vlopOA)fIzgg<#0c=C}VN3J0(;L0PCo3MO@1@ z8#74SI5ET2luxq6o%o`eXK;{U%-#IWdOL@} z0zRJ&b~TAYMU@$VNjpTYW}Av3N^U6q>mh+QiQRTOhogTzxQo+F?DfQq+U2z9#@+N} zTzW{_pQWpzeY1sGRZUq-p4Eqx61K#DlOsq-WAR4|U>v`Q%@&li6F@l=g}K+4mPow) zi4jqL8CoejzO&>Q+JqY3$HV7{1p~I`?%Ewl>YFfwPB7o~RPq<+C<~w!A7sb_Di%(M zjO$Risfh>Q+%|bvY{JliY-SX&kiFK}xz-LRtDFc2_pObc*dwdIz`oAj4cx+ieiYVhY>em;qb3PF8;%+2DZDb4JI$(jwMbg&XAGW8JcNncKH#glH^Ll7Po z)*~W5nCZWwEGDVg5iOWguaZKf(#Dxfq{+<-9X8%A6v2 z2nj07L*YC()x*^g5nMJV(Adp;=Khka^%?zcFvyxVTDV~F4e6e+<&M%L3-O?{Whaz)o2&Zjrc%ECxw2q5d=I0gR#LY3Yw~ zK6?9P#B0ZtmgnSUqKiC#uR@dygoRIs2kiJIwiSfl=QM|$a&rV-m!rxAVx(+}0F41B zzrjtF0EPm2LfvL(UCg9+k;>x6zL<*B53PLu#mdLk^?;eZu^^w(T};k!K6DaZxy_F7 zo=>#x(yGo_w9u$`68l>CKaBT>5yN_IPkdX+GkYxz#@Rs(ugbQ6nZNt8Y|%<&)k&s3 zQMpMR_X|RRD#DYU^Az2S^shcRomJ~)@%{B`ieAz|h^)3`VYEeiXMiHg7Ir}Jh)OzMp@51wyi)Gpt!khj0hMqurkU7qiKGW)tuZKI`bf&u@ zKf`U`YiMOK2|VF{&qNEInKl13MTi8D3X{oYX#}F(tnE2N%ThuXO(-Ir=Lv}?!uxID zrskzL8}KmijkZ4YMWUrpo8haDkK_70sZTI8fpxSma{*<4d~)8eA_{Lq6}A${XlE|{ zT3*6#7rmD!Od<(o>=e?ajm|M`=yTSf)RE50occhStz8gcH-z2M2(zQ=va2bL9t$-s z_#%|zPd+4!-To}qUikWilXy19{#L&@zFpCsWHiNdXe!kCk#hLmv+9rWqVXh#(CFjO zgF=sW&TD#q)6B5i){sSBok2xW)DZai%z!!n7Ju^9xc4kQfJZ(=>vX&ICG)3@IsS|< zO7)Ll-lKY6h~jZ|Ec|O;bMXvu=G3$Drq{y$1GvpH?Y^g?icm5b@xnJ&#+~5CH7m|% z3*VDd_M$+XTL&n0&vl2y_DUu{T#*xVYl|p2VQqGQWa$3voKVI0k`6Z&A@`OZNyy;X zf6f@dwBn`9wz=g7Eub#HZn89C6n;C_F+8C}EN@Tk_H#z>VZVaC__%=b?`DINL z0;Wp%a*rvFRR*bJ=ZqWeI#TF-q=9m!O!3;_F=-f81~ZMV&#?J=3T}V08ETv>FbX

47!M!opa=L#t{Y@h`_V`2U8ui%7oZmuQkjoy{TXGW|f9CW;V}!EO2P#1w>lku6s^`gnenRQ* z9d4WTu<-_A4o5ovHB5fqk3Gp-dox(kp>3FM--!+J2Ml2x>oi5@Jy+xW>CC?%6iob& z5Baem!RFP>f6-@CSbjw>?amhS?}auXF1Jz2KTxmQZqW_lcByL%S&=mU?UR~ZTach_ z2TRQ(R&rGUgS+nY!PGvj9>u(WT@J_zh-`SZIOLVcgsy3)=B*H83NF|cXHBe&=B6^x zcx+_}wsm-KgzK6yzcZb*N%Aj+A0pE}Igjxx@V)b4)+L3OGzE=i^PcO7&~J`=>T5#m zawMVCYaPL#MGm|+lWGpI1GxLE+IL~z*dwFwA1dR$=(uzEGU(0=V0oxxdMO~m7>ggiz2K}F4$iRjh2|G-khZCwIJ zBd^!JTxp!A(||iQzWX59W$Mb!5~?STNB9^#b#@$FVWk~tLzmTKWbyu%D$7@rcnbQb z|BmoFiP=tHf%$M)&ysk5G6&p4B20easYib=oDvNjo!({2r$m@iWbWZdD8}qW2n^hS`1kYmQaJSXLj4tgy0j)fy08SEguxkP znm!8=iYQyxwg@F(YP;-jWc5K(wCT$1f~Rg}xmzqr zYo!CI?84L#i9Y^(6qq!%-|}x~Jv3^0PrLZmCkv5-UA)mA`QZ)j;YPF>KDV|D@e6tN zofH=bJ!|br6;G3Y%TF|z{iR{T63RTJvx{W+WW*68s*WVULJ==cSgh@|voYBFah!DW z@yNQWnh`}pA&lNB3tl1u4l0FsV5DIe_b{a8Mv>Zz)?1$|22ZemB0UTunX8xP0DZNE z?&3XvV&R?}jK=tF^||!*i+j($=6)k$tr5?EP(stuWJWkyk-=~Ny>a1w zS9wBk8k>kJa%#Gqv}+=k@)t|m2|G;3{WJ2Wdg5U$H!SFzx3{Y>iMdhscLLwEq2ueC zl5bIl^P4IBpE48B1JW!ZeBwA~jRM3MtL+KLuHP>UT`J2^jj~_JZsz>|^v0>Kk5u>0 z8TU_0b0CU;)o=!u)|){!U&1;_#TYpoH5#@M-dY_v2?}GSrfOHtTe3cN!o&vMd|HeR zwqm+sua+DXx}kMD={|QCb(2`!w7)=YSdmvJJnA{6d$U=WX z?yz}fMsPer;HAMxYO^f%@p>6^lwt*aSp}$|)3^TN7G-X#hPW{5=E09Ty>&oLQ1~}{ z-XAl62X+S7QUQ%?AZsL7|6D5AQqa=lOuWGpX%&E@HDUD^Meik}_%jTdifl7rHEgdh6$Q${6G6uCkw7ycdEr2!#0j}PyHgX7O5V&D_cv!t6_Y9@nu-K4SLPe(lZ@NRlNVq<4sLUa#fA{ zz01q#=9)AP)8QV{c z{LRQS@g3!=$b-KgC!Q!pc+cU!xpCpI7+Y3>v{J6(Em|_j%A!94l#b!&jF3lQv3I(`dB9KdI@cGYOk=Xz zPE~J?Ezek2s!Nv#+;`@2m>j#JVia4OiA|p3erE=eYPyl%Sf@gtm5d29WpB8Dms)6~ zysS`Q*b9-4w(k5pMBqw-Mj=D+JF;cTB0LP~ght;G)(x(BoBWQ?+eTZZzMTdN*4I*j zdi;Pc)u)3!cnNCr|U=9Y^R7S(K#Z}XJ!c_{yE4Bse`G&b!kZd_Tf`i4ng!(+O% z5$M(D3M-2Z)Gp<&$7)Q41UD#TnQS)u%cM{{_(Y|fg|>K$^1xw##56E4AQ z6sfs*quri=jV~@;;TD>IgV?Bci0Xt9SBRa`OB>kPdcqi{k*_rt$=r-;zVd(|gS^AyWCNR7XQ8&jrC#JrH^Pp~!u z0_2bJbv_hs#AR2upn<*D$@0iG~73tx`aDnJ8P=G1TcSp*}o>cQTs9e-M`l> z+9+m|k2!mD&uyI%x+m^4ynv(IuZmbOOgE6B*Pq#VAXGmSO48wWi=KL%n)2R#rV^)N zyOb@k@UP1B^8}Uw!93I*eYzJ)xNN9UcB3TDxZKsGyW1+ZBXh%=tGtsphgd#%f$cQp zxhcYD6DO~VHuWHXE0ZhcpM}FU|~B5PqO$-tB<|S>@F$;3$|^ zI;gd$3M8bD%W1Fe>{SWc-z_w^0|_w*7^|F9#n(PXptBH}sb}&!_kx}2U;R0;fhxo# z!|$AC7l+{AXq?HtF^h}e-zaQtELP2zy_b3Y|DFm z%9tPw+@=ayRx$T!USCF+{i4*UKDJ9At)!^8SwGd!OjJV2ZzqrZCPOYfMdRi?ans@c zqn@9C59~+`Xm09Py24KppHj#-Z(tVK-U4~ifes)Y2|_Ky{(z*cn&w@znS3{hxe_8_ zxQ+di`PZ)Nxh)E!@|U=B`SNwCqb^C^WWm()My|Yyh(PJv=>%ZV#@!nt+)X7nwDfC0 z`(jFrl?d^wy!OPho$ACb*!a^mZk;jG{?5#QgTNE`&(Vieq>DC;FhL^t9;EW**-391kVi|naZR%$;MSDmi zo;>n50ww?Imk*bVgFySB9CFAqE|BB083%x@&Iq=VJc)bebiw238)|^+e6%;bA#6W? zedrRX4c)Sye@lnfL$*4lE8efzUm32(Zc_X!jn-#qXx>>|-y8NV9`J036NE&YuxCo+iov1>%nN*o( zDrjK|gr>bzMwW`A0UGpV&>|2HwKSD~p$jvd+k3w|L3r+b4Q^XUKo{cH!x2UDV||wQ zm4<1;WdB<6%?HxtV-J1!{-V$HB1O!OZs~=vu+Px}^2kaQ`W|1?XHNsOBsL^Hvls>u zJaHNWIn^xcXBGPxxqP@d#CL)5zqgavt5x`<{J$?Igz=oT~hqWh-h^zep#)XYX_l}eTR z1i}JOr;>+I(kNt;W7UhTE)gq5BPbHwSkMg-*p#cRAs?guOW!OK`D%;k!Rn&VitjZd z3WPTcCl_Y$kKq{gClGRf4C=z9WAIT{r|<&vzDqP3VT0hT7=DVDryMZQl70VPVb-Qv zK6}|Es{GCQJ+JD%xEVX%tpFm=Ll|H6h)0`a;Y$Vrw1gxQm9o9S1)FHlYaVfc;GYlL zGMg^p#IkMafpciu>X~OMI~pK)L1pxgsGmL0GZIMq@r!eL4#eCXcPU^)T^p*_UH{nmQ9xA4S7sz8@{&{cXD582cBp?RQesH-jLNj;CF&vOn+N1R4_Z`X zmp%#dQG?WfPELe{-rBg)`6^Irgeb8>N{x}kZ*0EjL;N23Y3=vU(z+8OQ|sMSx*S-3b=Q6AVo6TNl)S8W!5}|4 zj;bg9{-*16eIN`GM!$hkuMiv#$Bxn7&cw(VjbXWe?j1gRUoP)w#xI4Y6S>EwS7W4e zgWODf=;IxXU_4dIyIJ_4=qC2#?-ng7)4b<=Kb>rbP;YS^xZ#>=Jb%#+l9^(-XJY1B zLk!u+Rj#`idPfZl%8|80*PS`N6?QvGC1wf9WNQ}sYeXC}@MxNyXR!JosFGw+%|<@{ z0tqI6hTx0#u7Qg2Gg;ffmc%my?EK6qq*9JW5F9ezIu{T4+;ZpMOFvhiZq>CIcb zb3lFSQvrAcrtDm#gv7TslH^ zrqpk$j!iwa#HU!(5x(8QQeNFW&<|;UU3x6SZKIirHfB3Gf$r@v*QD&b9-1PsY-OF_ zMoZn`r=>zm9rfFquolnP)dz9uL2-dTm0Q%RI-rT;faDY|&mqK}4NR!5h+Z2+IuX`-@~+`zBq9A~nUsy$WT~<&U4kBeJtZL( z$6uE?j}uHa@|mvv3?H*D$3jQijNIE-+n0jd83-hd&#lsikKRCMCa;g!k`ojwDtrZm zXnVt%WPI1%p^NGIah{Lf%%;Z*6dIYejX+JZidiEmqn>G$R-RW9In6WR?&}O~kI=1BdT< zA`b&+aCGUc32!2&(70wdo(~y7M5bMnYY37+GE3)~>mKEM64y$bM$9os)Uk@=WM3jig)Yo-NmzIt6`v#v;c@dF-w} z{HmUTNH1X$if8aKtegHi{aAg~@Ks$Aesf`J3UJoAfK4>{f(qVrde=30{ans+&^doG zO3Rawtxp93ytC9)h9CzA;*@VZokY~inlK{$B+~GD*DZuDrx-DRjkLvGm|?V9(%o~N zQrFPxCOIRyvVMwaI&5J}b}HmnsD?Sd_}OH{QPOO9L_(Vf&G$}gmbd#m6Tcfn$lqKD zCViP+<|get-(Z1|N_Dm`o><>`Y-wY}a6%tancjN?{T}Y1JIoLK1nx8+qEgeN2o?{5 z$ex#<-pQBMXrw-WK4&J$3-w(n&9cR54W8Skx6eRMH;wBhKYCG>;7t(1Suo+&VZ&8p za|uIg$)mYxBz^FH4$RzJtCOBt0TB4g{kk}cT1nMzAJdQoAU@6P8A8c?Cz2Y`wVYB! zE#kX3!!XbkvyNH;g0~xX)X&fCIo_gN6Y2OU&h%}}iZB#^PTo7#IxIroI(az7nT*qjFjQUg z-n;Hnm$#!>Oq@oXWSEFhd6{T$)u|Zy2-s!QaBTX7T!Z`PB%!cV(Dzp$#Y_d8($F6= zDv@&q5M?F3L8H6?4f%u8wpW-%sX8lz*}2$K>4fD z3AkY01h}qGMKD9-awa4&E%5hXVJmHA1ZUPaWJgbb6xc6A7#wyWs3(SREs|tI;@qY( zEN1dVmTiLsu8)2OU#rifaeao82+_v-vlHGZCUbS99^MMxM& zOd$2Q2jCrOCftTD`y>jyv0BeKdmRMV;94HNSeXz{=Q&kfQPbRMmHXKQX@{1Z(SnWK zi-C@R@Yly77bVa}I{JGPrr%|v5`@m0ojI^`o}UKs4Gr*%b(`q#^IBGtXJnF4g^{rB z6$hE29cHlHkqJAe;z>6~H&08zBA>+zUKL=O1z`{mvNY+;ZPhqWoJ>PhwWh42X-_~D z{Goc_o2bw)I6cLOe6rswm(3lYmdbV+{&8J@f}%!$j@4=}#stBGZ~v2SR-;Kw2qT`l zy=aA^`7xPnDzfJ&nOX=ke3`8+6?MaZ z6w(UUCL}y)EXY>WrY=;bZvw^dBH84Gh^dGSQ*25rhG6hk-sD`Ka_wmA_@-+waaIyF z-)HVt-FOKP1a&`VmPEGF-5_DLn4@>hpfZ3CP2Tuh0w7elF}FVhro)>kOHXxdZ>x&j5)1*$L*Vi8LUiVT>L)YuG?U%@jia>a4Y0IKH!z~4mUGq_uX`~C zKYVv#kQ6(bTork$&zR|w!^tpY`Gvfiy7zuJZ}V#vicD8VhiLFh<@d9)Xh~Pxu9h>Y zrl=vpLy$GOf` z1QBjvh5zF#Sr=SUWw6L!qtsm;0P2#S48Kqtd7ee2@al4)MFHz$96W=^xjSq<*d(iF zxW8Me%3QRTEHMSBNx{D5^QO(%%_JbzeLW+58RPbL1FGc zq}nAdc=P7!lG-yUc8bCFbH;^I{tC+mGa6_d z+5)7S2^B)$au%D+tNN9H^2AR4XjSoa33Ss}Go9hB$0kpNa%CuxIo4Wj54ag#ELD&t zn$hnE35BkrT^9p;AJ${`#whFJGQRgb(6HwjZXG zBzn%`q-D=fgE{;%?%f>Te*MxNjBW*7p9PO8^79)yo%j#>*7i|b`@od}E2+fy7T!xI z;Ua%Sl6x)O4W9d9^!StkW7fh3#QfGK8fH1nf>|`#TRhG}xB?eOSvbFj7_{)sYLw3i zO!5>YqcB7N!S_ip31{I$mLDbNp8w|N97He+^(ZKB*!uhL53#$w9Dlvrv+QIwJMdRq za{^w552@%U(DQXIy>lESN&MRq4AKnvr9Xe>LH302gQSu>zF*E}VTLDBGMR;w`1vKt zFx)f;D{!=Uh!#=yg6Gjd)|;sP&wsSmYyj;WN74zvy3lnWjlRCteLB0>&`NZb&ihIZ_bD<{Cm?k&S=% z%Ef!5;<-dR_!N(dMD$KXj{D=|VNRqbGEi>Xkgx1#_vMLIoP)aQ>XVl*3UK{9=nx={?YYG?@OA^gXEvS6C&#PP+qIY+04}cA5is^WOYKaKTCdk{{e8m13nxQ7q$SKP;k_yi9i3D0aAUg7}X;|ZR`vv>iY^Lc=$ zIE3_^2I&(H7xwD`KSc2NE5v^f@iM`W_z6F~JU@jC9N`~$hUa*JV;nDF<;TxK5-w~9 zVUO|-0=j`Hp5mYQ=Q2#Q2%r+2;xzmPQ>4)!oZ;*#2}7Lyj`0%z!oTq!{8Eg^PWA5M zx_dCbs)&biUd@69k!Uk`0?^RhYvGg%p;WO{sBIyEZf+eES_ld)1|@%YyzxUxc{>%s z^WNR%)qaWTFnnBYQ65#V%A+n#S)^&Q>WwB5HOf zYdpp`_!i%RSAx0e9fQSm-JOD?Rw=sfOyM|J7D#sjah=VAO$`T=Wd>i5NdU^V7QPDF zE~>7qXBEo+-&)&?2&8}g5rIF?pa*tT{&N{;;q-pCKCt6nPx7JmEI-VXVjks8-qHh> ze=xe3B+JDV+%$m(;Wc0IKlmSLA&O$!X(j4ho}8VHD#TQuHbiJphlEFIkCX)^bU{!; z7g}&un>R*?Yf1U!JxRIs>`hL$b(PI}IuHG4guEPWCz3Uh+ZKPWie6kwwMVB_otIEJ|X%*(GE z6Ie;*mTX0Yd+UE9V%JD$n8{lWdM!4#^nBmUJCOMDKC`FhB51o4q@no*0)5=QI68#K z-QJDu0t;!1h{)Fkd=MpRW-`Lm;FDl=Ow5pRG|iq;pir|xu@(L3`11P7qRR?!Sq4`w zx^lpo-W_~!F+93G2k^mRC3Rg!H_z*D+$nv7=MCU{$K!vC^D_(2H_;_2qf=GudA2+H zxI4P(-CA@}fzHb4Ts!FIWbOF|;Fo(>o*LhWip zZ?rz*UV~gaJwEDMa8&`mp*G*mbKlML2H3sBlf&V@!LCR&O|~iBcYQ8*hu+&89iAB4 zqfu3wX|`4Agg8m=Hz@9BgZ0R{^)9Wy>HPsiwyO)YR+va{07WRuawHz?7fABIg)Qs z;!5v)%J5>V-#y`QZ?LMBUYnG`)i!Wa+pxZPI`;7ji%%INgt z=na3?mh$U_GP=J}Y1}4OxV=mR?&U51GWv$*%m(%wcel(n5PWGbz6`EDT;_O_N0%+T zuO&<9Mi2^l@3t3WRiIv#YO+%s1pN#Hw{0MnjZ@p4N12m9 zf_;W<@9jsG>|@^6;1(WM)MwbY`R1nVu?>HVq?_}SI~Avif6DJw%JB5#@DjGHBHmW@{(n0S?QFecGXhHyr$TV5FyZ@O+i6HL4k{)qD?_iyATVaO^cdV zQUpQ-K@csC+*RlOX7li#Ip=);`M>{+h{!)j#8i{bWD5Zihy=x^*d`JtRiuby5N?ZQ zk!-S&6q8D_j;tkx@Wy{Cv{VhGrh&;M69}%b;ql;PDq(LTDb=?|LK?;Z=d1O7wLV#jrUh2XgnePOv2=4>EtBq(eT<B|yfs0G&VeH+~9J3N*yq#CnD;Hrm(fQ!RsomLbC-*P6)a`v3%e5>U`x#eQJWjbn^ zambS8(kshsM2~;L>tiZ`xe^`nUYRg(FW#^kqAyrS>d98pK(>+Xq>=0(O{AH$key@~ zX(hYK9T!<(U*2gt2K-LebR14g zmZly!L(7_a;mnn4IsxbTjHZ)t-dAbrgX?r_>W5nxuRMPMw^jdnCJHyYq-hZD^+`>q z;69EwYzXd~7EQx&mmg>vfxG%k(m4oze5A_bbp;a#rQizEmHp9s8p-4+A9#iyDa zc%Qy$a^ZdL)#SnZv7*U`?-ywbzz@}FN`PMw)|3dptXNYL{O})5$?zu@G^N15(xWLA s{>S)jPa_fh+_8ED((l_-<^Glbnr@Ycm$(-O9t$}(F*FJ#B}Gq03b`Bxi~s-t delta 47633 zcmW(*b95MA6OC;fjcqn|8Z}m9+l{la8=H-7+qUh-wv#Wv@4tQL%-orscjvy{GcT$I zXQv9sw;q(+1B{0yo-~;nsLHs~7Pz(?N3er2 zTk0dy+k$G#nJr_}Blq2Fnl+gO7`r~Nle2;57?0aIn6Db@s zNoI)DER_X*vN`tSovTF4Qi{3adAC&g9IA|gd<-ta*+%5{5=>{+aEA0V`m%5B(N4hY zYQU~)tLxSNce2+~5%p;)wV6MJ z{o&vie)cfJn6*HiRYy|2K3~&&*2XjAzK%1i(amz69$O~x=T3_iNeIE^17|O%<@{>f z=;(|E_GgRLZ?Xx80mn?_)l;^BxI(PcbBAO{)7L&cd~8{|GNXbn0=8Is=oGQ$D7eDm zfov0!&dKd?Y>#J;GuGY=ZPR=LdnR7fKDLmR?EOx8vHUaXS&V_NN}ev!!tWD;SiXYYic9y=tG{E}NouJ;rZ~7bMi?DH zkLS=%)*Faazwx1)LbBn8{xsJ>ZYFl)@lT-ZNr;Iki-aYL-DP-X<2*a7gsn&!|8t5r zC7MUv(*AG7!~vELCEiXFGia<>hKWyb(2Y}jpKq~q5JyqJ z6l8IIvCUa0eQo1gGE+dQ8hOCv+h|olMW&R|Ws{v8^V|_bxXR*gPQleA~H)!OvkzFy6XbMe?$ZP-cW9-P_Bsh-ewi^@{=oi1}wo69YZdF=i#(hmPt5%hHB3l#uF(H3LX;>0YVdVEW$zD^eINcCJR)BxA z0a}N}^31sgD*mB_)(cFxGW92*^XTcLemAp+Sx%kuo44g)8_={AjO}APmadFVbSZ0Z zI-|8QiGfv6G#?dJyrZFZL&5kRo^bwmIxs!|G>}S5uwTW|va?<4^p;1gV(LIhYsx7p zqORWOTZnW;fVulTZ;RP_zNjz_L+nG#Fr7Ntqudp{lf_h|Qc7<8oYei1&ac7jr59`W z*u_JqP_669X@5`#tdsTuF9(W(uMj`7$NUm1DeB(n z3$l|V{Xua7$s${~QJo^GOn)BR=qLk+bfgsdbI!?RtYfb)#@~K1{_qEzr&{fW3euF@ zRq9Ols7MS}fU}FUTU2~i);b?AD+RA|_BvlGM&>w_g%(k!@pb~pcDyIz?SRB+_7o{C zzzMC?IiAW-C*w*R5>{baK_XH_PiPS%a*Gi^!wHb4UKsDV+(4jN!hAbEQeIVC9O=tj z07ZRlzc7>e<1F~KSMSzH`JRg1yR>?{_L)ik$L6JF*xbJ!!Mw>-gtx@TUmY^rJ9m#% zbPi#-E9fm$f6^G41-JA#m-E^DD$@9tnVc%N@N5*dCey*PcG#4xn=4I|nqW$DU~LE- z&jS)eF=LvfQ?*)OjPFhUDI3mhpZYePAVg_DjYYXYJL^8?72}45VOQv+W`XT}_g9rO zH6Vqd0V4T7EpXzAxp-DrSn`&8{Bn0xZwBoV+bEjIqCb`)BJ|&*$&2BPq*j+El?qpw zMG|xHQezCN@nWUUWZ+c#PYj;xcz~E2wovFPUQBn|5Hrfo-cAilhVvrgOp6@EEa%N2 zYBIC6*>64fGs1N7Nb_NNqA1QtL-K?%X-vFe|FsQB9gi3Y^_xQ&w;9#33KDwTC>}tJ zp|C`dZJVb*M|6opOlV&a6Q7Gg7ff|bt<)g-JvL#Ru`mwfwg8*O9xB8a@OvgegA#gs z;X}w6G?<4G(j=w3vR36&&PJ*&RIYqDQlU2~wh;9b$w(+2j*_2D%L}L*n6bdpHI9GD zrfbRn{3^reR~bG?kA}}QU%u#{@KIq%8~svrdyYOdO&!U+a$RCZ7v%$;#F-nuQ^F;G zD@gb&byRaanc(M!c9omX;a=9z;n+$;r-?^U2(|c6HWDGIex!)ev;>DH|+)w9jXV){% ze|jd!-8FNP3jaLW>EGEYuzqT20n1g?4{{&(Z;LLcNv&&c@p3Y#GjVS#X_uzaR^EAbR`;C z8{w~o!jx)^Wj0RDz?I1qF5D~hS+45XtEKk&sCV7%UF-c)UnBp#Cjsnj;KlIv!^^7P zTF8OO(f%RlKRfZw*q=~3;J5>Qs)B#KlHd>Hfmg$;jx!~T>pH(^ zwCUGQvO_G}O10V>#@1>p7C)rx?(34!Norbc;zvvVTwL1JN(W+x_8~2%A{?4w6Oi3#CcEkIHv};#4AGeTG zK$6^ceMnaQbc5p_Y?qPt{=rY46{H}|zN7q|v01$b-?*`#UiLo_#Pq@wh8!PZ*Tisl zyoJ8qguQ9SNN@Or&$}3F4LpcJ>FjyH=C)N0wn`9&aJgNq1)r9>d-0y>jIA?1%Ka5c zXmbp*`JkJBloR$N_um!o1<0W2K0iiX030jTnoOH2HdA8>t!Ql>A+r5VW&L1rrDE`y zVl4%yRngV=O0bj3t?n`H&-URi2Vr$z>lwfDVaFyGOu@_{S`0jVaW1zek;l$uuA}4t zavvR$htME_Ih#{aT|PCfnw9XaF;J5ylIVgqCW* zM*du7XBKVBde9IEI`BB@4WRh?ClX-fIaBO0F1>!v(dBoGs+63Ty?4{DsPZon9`XNp zZ5&Kx$!OJ{&$>}2WHO&(d_t33UFh^F2fH6@^g5B<(Ldpzr1%gR_^` z%UG2r<%j(h(%m^|e+#~9qUq{v5q@@5S7Wi}V4uFr=WTpPkH~h?^F7tPr9}E|whwm! z2g_ob;V8z&BBOBQ`c&EE{%o{QJ)KhZH~ioGFnQtS@=n;1k!bW>-k7ALLIony(_=aT zoTy{>0x0QyMD(5{ylG%oK$p!a2YrCm0kNBgKFx$gyHg!1eDQ(~{<2t?;e4UzUPb){ z)AnkhB7&G-wpz>yBnq+*b!ffv7}Ldc^gmT0s*~>u&JjhY3%_qE?j9LcR{9WZjd&t^ z=s?BnU%X-1b-7WH#jz_p2*wCAX-S(OT`e4Ib{H>b8xHe7;tB%uZu2I-SAzYTPYlyy% z&nkz)g6-!(d?q%8O2+1l*)kN+^ZoDDG=nNy0CW=pD1}=tpib>b12v}e?zSv+i(I?9l?=M$BZ2VLmN(H8LanAbR<}a zsFLN*hP0#&v758W?Wss_*X72_aPC%DMuZ=Da%qbMknGzo@x5U0F2#r|w6*9D&epQw zf&SZ8pB1rh;N=#DDj%D!a#Xfe*B!xG>-$j&)$sjFq1zfhrx;I3Y}nSy!p1J=kFgosgZq0 zt0VF7tes#+iG1E7L=3(^DgV&~&QdF~s~NQ}#U1a8O|VS~uKuw0qt6e=VA=?IY2180 z(M|h{mAoh1Uul_q(6bu7@R0+11X>qU((}t6F!DcQ|Hu9IM~|XLe>SZ*?{wM zMx0;jh^bNPSP0g|%8Rw9+t_~^%Sl42#Rh5Z3I)@^n5u@YwmCTT;fIVMM^E$-%eKsco1(j9d9i?5|?hj%ZWP~vNQ`8im@fbif$`R$H(o!i-giUiKj)8%u!{z(? z^qaDJ#dX3wF-hkucv?uz?^DY#>%U6nXzNAt-)y)R(<{^W<19_27G6s(ZyZ3q0G|wv za&YF6tOxAxSC{UTA(VFJ*Tcjf-e(ls3Jb>yzpe2!61vY^_@aC~x6_LaoE~^yUoxg* z*(}@+s{-8sEcCYfQaDtYrRo!{yF>`|>#>)u#Wlw|2Z^47D)AIKLPY6+HO#i^Fi;K= zMy7mI&{IBmb&>^RH@R?%WpwsD!DjNsuEJ=+?9V@@((;rZ+W6obkC2{`xW zD7DfxPbzx8cHyENJey^WM>HL8sPn~PJx3<;4Q91WCUVRM$8Fm$r+ak3)^%urR&OWw z2z)Kv^ts7jv;4#*96mhwVP`n}>sbzr9*PMU-Y2fN@1nd1dh&f36SC7C!{xD{)+Sw5 zC%D@B=r}(Jg%I{?gu3|XXa6@W^35;1dSu+!+4lb1`pD?S4P>s0*`xTR4V%*7?K8{#vLR z;{770T1n%L;`&=(!@v_x8BVUFbe49nD#7FqK&IuD9)U&k&gifK8c%uQCdJ`;N^Wg# zn?w3parDcBWJ)~D|1Pq2iEmKIx`}IkcGb` zYxLgfcfi`QAC*1t8r4;1l3_GNtLh}=^`ZF(L2o}ps_cCmMD2kVx4>PO1PyRuBYdrO zN@stXmcf0xT-1dJdUAqZ7Je&VFg8Q(p%C!}ifEtrX}flw6xj@A#wZIgW}<|G>L?5- zmhd#!!;ObdHMe2|L~F5Q8wVa(pN53Cb>63qTbnHa@H@d(65l23Cg+gPu#&{c-4Blg zr2+f;wX5sC%sWv1{^kJefcN&f5c&1sbF^X#p+5UWM&TV0;CnCeS%y&J?$b}Y?5q3i z7rb05AB~v{?}XrcR)u-SIv-c%#`YCM!%dhQMEzi3f3x4m{6G|DTh|`2NBH(qug7S+^Nx<3C&>%H!uicG4qN+|#Bu=>sQV|;1N!osBhW}o!Il)-Gge|tE$<4c`F zIDP4-OEY?pRjv;E_LAGIw0>j7ZW>}le(+h4_B;4{+x}F0+i19AIo~e*$BG%7|Mpz< zY4fE6+jOq`_#nwXf|A>4No36s@9ewA_9Ke+q{b>qOj}9KVg@71XE&GkoIl&ap@KeP z5PH$%)|sAYxQubC=ZmwOKtY+N+BPz|J><6-(-c!-z+z{)*w-i_pG1+L9ysvV8P zRiG*9!NC>$j{Qc$~~fU}vHYyl2cZ`5Sk=8-ml~ zJzm%6_t1JzO+reQe>RfRTpH5Ob@r<-@Wofzg6W0`=PyR^%hRiaTnV_=93=5c3FOq= zs@871ROx!^R0Xv8XEr}Y39`c>1ShC=LvIJQqz-<@NN$gwU^-fRv&mFU? zxu$a};=NQ~-t&T1y32>oBn1xr67Nz|64sR`ErpOZ^W!(=bQ52zk9FB~)v^QBvqRp_ zUU=eneLUJg!)@*W39UoVSB4;Y%dyP29FFcxZj__+EiPs&A|lb%viO2?lKC-GsJfJb z(ofaXl2u<&1gL3?gZs zkGI>yF*>J7n8X(!kvJ(D(D(dH3ETq#vc^NA?^$~MueShh5IOD)D#i4#0SQ=j)S_c^ zR^VZui#4rxpot94!TgX*$63JNSlc;)D3g()*}IyAyqox(Vw`>&$5IDd0`P7Z_w zSJ2EpU--t6E+K_+29tWLx6PXc-2IS3XM^Q>8Y&8WYNMUEg9$mAEk@v?QqUe#0((I} zC#!^N!U?bnMzUu?zM||qf~1cIQp4PA2zg8e8u8t?fd0oU^DwucC+szb@dziYym-H} z4QPx577dypq~@xh>@YQ{Ld>TrrZh$w`|#O5Y=8u=pH!;NFH;vfD-1pZ)BsH%k#Cmx zj|-L@Ro-D>=lBrmB)_c2uo_QotyS*2DXGH@u_Sfy1}7q@*eEr{IzmV2E8|V{?u0 zU?~>bJq+4VlxVDTwNdDxl)>^0zJ8%cXuDA_3im8`?l0>dDGOu*j#EgGZ^aPTQB8$J z3NMkiat@?1FecW30=~makqkj*5J()FoEbnARmkdrAt|S$fc=Pg>YE6+cx*5)jv5Uo zs>2S-@J{XIO{eB6ZZVt6)1IapFZlbX28?}DFW$2L-4O{CJV>5tH5Ss&@i0FG7FY;b zHC9xT$C_W?wK@z*RF{^J#y8K{;JhjjAJDut`lAHks?3?MT-M_!O`9EhUzF{t#e09?sIeNlv0e3YRB4p7iD4;qWy zZ%z{5|1ebK(&CkoEwZj!Lk+1=@1kCvlXxT!pY#_DWaUa3K2)Vv-EHzp8HRv^zrj8x z5D6AN7$mNgI`$e1CGBn|Hz@;bdplABA(?8GTWNC$*>#*9V~CR_$UMv#b)iwTjiOYY zZyfDEccunOH6&ORsBT4I2zrhCE!3?wJy8S%l?5+XASUG@7i>tH)K`OQ>=Z>D+D%gd z`<^ltrrC#tj5K+cBmsj=+Sg;@{koFY&Y>>!0(F}zzS#C`@Gomq?4@GV$vTrC(|n zyA>$*1a=%d)=b4fzNZ@<2-;zwyVQ$EKvJ^^NUTMF!j<10eA`kxCRpfR#n))tPB{Od z0z}Gk(~|7CB~9;k@h3T9J7z9RR1=?Y9{7VLM9+>}*&op`HxxTaA*I_SD)aZo-T5!~ zussI53x|avp;C7`2(&S6-DCuA6Hh9_x9O z(WPV1q{^~``X*?kxp#;YOS7fD1nX9=OK0;ie&JjC`DQ2%M7>cHrTKbOH&l%_2suZa zyVP(DMKy^KLEAYzD|-rjP>Mhd$; zRJAq?0VgosY~}U{jRy|mkj~@fhwa#H8})_L)ZoWV2_=pvN>a1F2-O>g(`)meJ}_KM zfi@8h+SCM+A@|v^{6wz%{%ccxUpgq#^tThe>B_se;^x;Rd}#6Dv2Hw;xY;KDdvm9e zj3i3&(NLiUJ}pjFNmFpEnYttlb);hPnB+HUU=}&7pdLkt99lckhSVUxqU+K66b1}( ze1IHPyKj%D=2#$`0R*F|s_zo>#QotlqcP_vuQ`L5RiJ<&@!BxdzwL$udbWmaN&k|gS#vcY4k*VuBlqy@T&1rk6pI3| z@|23BBB%rcWM*yu`j`#ZdaOuMcoizbs$EgK3cr|ja$m<8Csqo2YDQ|$Em`p=57TMw zvN#B2mw?00{2#L<0|;6ZVZSICJ(uzK;h!Xgfmpc=zePj0lCl(7H3Z;6`-4c=grt5z z1(AZ2l=Q`9{iQIRzR`pspH#hd_Wc1sw^)+Kr2Gjdib;qd#m7WOd8ULPIGfH4H}985 z4IUMmE1eg(^p35-e%_VzN)O)vy=j^4IwyT#>y z0tc*d5(%U7e^0dwChvjt#m)LC*g>0 z@T;dUB;vyY3Eit95v&a_6B zUF)c|vO#>fMRht*TRghId6*rr%`zp}w0-AYB|M=8YTuk#%Zaojs7vWurv^h}TQDw) z<|*|sqXt9$^&Id`vx?e#LL2n&Je^5aM!)g$kCmU)gyWdG9JU4J8+a+o@4SnS>M-PA zwx{Z82--C8AO(Of&27HiUAjL95ahe7HoE!~ZRdH|3)%1gD?Y_*(XLmonj(0gcyH>^ z4FilpayKvs95^Fsa{Yt{rR6Hggjt71>RQK!?0FFq=kG#kFf0-G9^st_4In=Wsv2Tp z1S_e3-)emw$4h+VorS2LZVV6@Lsmo>xX627CYFHiErs}fz^lFiPn%M5g~{619$=4M(}^f z{#`lbLJhB~ef(~Jc0=I7uJMWiB%3)M$5e2ei4Otl3>>fscq-1C?TnuRycrStOwBk5rM&j4xnn_hu>x0dz=LcbNE5}DxquO!#OYhRaZs~o)y+7 z)!GvY-^7t&CCSGD3&~@$dvUiL@VVoVjp_swDmfm*->%FV83}y2S zR4=*M) z2Lz^|T;yi0%zBcN=mBBXkfbP0BTh`CI6m94=oSk<_~?^rnt`vF1e# zBHdADB$<4-yugAX4ebzQ9=W!#6V^^pugdb}g!4u1%az8oCNPi^S6UB%U*za7bfG9o ziA5QMc{q|5BD`P!#mUt{mXhdi7e1Zs^g!?~(sJ=PjukS22>-wTCyte>>z({)l1{K7P8FT z*>!Bu*@EE867b^hK$j#M@g{_@Sb`B`4=&y8m2>8*}BMPv*?w zu1DlW+hyatp?xlvn%wO}@RN_LVHmXIMq6a!}5F>N3=H# zjTvS!6b>Eyqcd9f#=Bt4VUoQl;mJsaGaa}W>EeLAwWZYt1iF|2tmcln48y9m5NwI! zt)3d5o@j(seXdU4NSYwzl2aI_!m;}|t-PQ+8{LBlYgLA%q0j?5fpUvB4G!K=G$K^t z4gE|a2j(A)vY6`4bS{2_(rS!k@vgBI7uGkmt(x9z2y2Ct^&B5Vg?Di3 z5l)>xPIhFN7G;+m@U5WRc#0-sjvO?xJX%^CM?S5?MwD4EPCiUndfVR1ELw2i^pJ6v z#_5(OR3j?7%|jr`++%@IFAZ-qp=MwN#Zon;;ssw*3dG zz(kx>=GA$IhXTi5?B*nPg^aL|i~h{c>OB<-@=0rR|6b(vg4krMx-g$sZeDyMkvgZm zwqG=7QByt|59CCRB-feVP7IN&mgW-b*w{T$oS&Vr9T}1?Jej4$oL&yO#YF)%sV`ZY z?pAg8vID?d)5A;IS!MN-y-#QA7SlL*?aMJK{Z1h&mcty(tpQ%9wVW^=#%~{C;n=7u z;&F%FU>Jq3%Y!U3jBZ&QTT}Y|6F* z!M5}h1Exz^oOV;_7QEq9HJC*4?uv4^sqW=)lRts6E}rk-JKBZzJ*~spM8aASZqk^3 z=oDay4fB>+C&#MUZGf<5Mcz6Zt`yO>87JOKv8-aKQnxA+X~l4pQ!{3&(Ps!7kri3-;VHV|{aI&_R5U1j1I|K919liMNhyQogwAbg}#vu3Swm1LBM zyW7@rrok#COR#Ym^D5qEd?giAPJ-{jqjiR6hq9EB0BWWyd`!5q-MhP>lRu+Zy zsE;$`i-&pk<-{jx=IRjY&guKg+0s=N$oW`25Gp^`biHlLvDA?#$?Gt555@{;ZVq|V zNfVF3Uc}2|+#d$VYi<5D=t9TW8~g&qDf0@JS-^4eqX$q4tuRxoWCvNZ%dt6v7TH9S z&$Cd&=F>YW);rt*myhH3=Y{Cv!wlz@Zxg7HEQ1a?!3QikRDb0Cf;)SVYKydPcHBPH zIoKl2Bk-4X*g(0E!dKmdUB;X3zr&gS-HSL|R&jFA#@vV3rYN?GSXP@p+erhu+%#rm*`PJBS~ z!w`~&*4@gYlPX4(Mo9z4+j^qNt0ISU1$Cc{R6*Abnf}#Kf3FaQQ0Y|Qo7*?d)M_Nn zFkfV&i6}Dvb};E9BOut+Y+z8;c-PC$IXtT$&T^=W=7X zCc4miM@87C$eboRObBSKUDgc@+t1INe7<*N+@tE zNAGL~=i)#>Q$bZoFk`h0uo$L%-$Dq*ree=Z`Ae_Cg30ZBgl2Rwn9yqg|a8*s8R46b;eEkHTR$ct# zmlrb;Fq+()j{q!gWp}WBc27?f-8*U;Gun2Z&rkv{gcSk*5Es}QJXT={(8{Z3mBZ5{ z3OH!cXCgfIB!~3ij7+z$7y5{KsVz1g&2&sEEf4xx>nsg}krg-t{+O92FfSN67BRPQ z{f^EWUGT`M;3)@P!Hni@hT^LJ5UAX@SNP#vjhKh6Z1iVhoCnQHAY>=QS;EebN^G{a zEe;FF>rD-F^CLDM1b4FLVIzu>QX+^}S@mL$t2gxhw8jVswzXRd$G-@xwUb1o#-3sl zenyG)HH_@ZCjD`b`*Fejs^FnS_kCvJDU&4}j;(9qNl@!~IfD2W5~)N!U2~$x-1)P9 z2*`nBG<7ob`5l~Vo?t7R8ezR-jMS#LWM~TDb2pD2oRhFHb+$F&pP!EA+dvqVmw#75 z?j1B9t0@fQ90-^G+T<8){X;F|pP|gRj(c`Q=>#c`4#sha8^l)WUFlQj6X|4zA#Sj? z|LECrD%VO|GxvuPD$Y)KUxT|{CA(kCrw}(JM z9hOgXddK(}aqa%)*zpMkd&nEJ#ji|Ry$i?KjZwsNU4`c92v=t>#qy8jE7a%~?r!xR^PT9nc{#A(**2Sd)JWf>S5+{Q`#phJ2kv5GW?bWBi?ET$ez= z5qc3eNMK0T((`Dx(s#;JHq)cFZ0WnG}^aGpe6fU53 z%gFKPqbCOkKn_-XwgVG*1x_lGi(;V2j57=k74asCdQ1zK5a7{k<7?S2WI_&h0HvQO z&imTjdw#ZYY4<#ZI&3=u8WW4SU+@C#K3eehvf6^kN z^uj-{ZRjm_5%!=0IHDC5vGS8Y1Ca>~pzDLa_xj?&m9}4OUaSjI_Z~ETo1Z~+w?n=U z>?O!0 zKK6*{@_qvad?uyL{+@foRf9A$oP9uVA41&+f^O*W z>x24y%DriW36TilH#dBrhBJkh1o^o3LGH8uOt}1h3HJz<=6eZ^3v8nDvM zpYf6GeS*}n1!@tPxwj=A*hbUcVZaHb*}Gc33QF!P{JMPf=jladmdnR~dkg^k=jYq= z*|%YrcwhG_*>~XGZNh#Ugq_>&P#?nx&uBXV#qt%h+Ul1Rv-`2$g? z+g}LftxF7*WcZl)+9y_MxJ%s6^X4P=o#|yW^H%WATWs=?iEvjB7Dnhp-RQ!n+p>^x}(RtlIAHm_R$UT{6bZ_e)4m*|^LKG7JZ#v!n?aV8Z-0CSx z_!$$MME{Wj=*+%G1N7GS124T&8MC$VIp7;uF!^6_N4k&51XC+8Ohzw##Gm2a_X>$1 z72lj}s7=HD;^~@u4F#^$qXlIi{<7IFGkmVw43wQp+S5rSP35<5HSaKb>s~}sHrG7E zdnGO0W|(i;#dQYe7y6gnFL@fQM3g$;VCEE)n3zi7Ib5?f0_4G>ODVVtP+_=G1Ii}} zj)V5o;7}FNa1fTNemadLMIrSWJXbgmvXl~T*U9w0KVnEqAbiv}nSP~<*_zzWo-k`! zB3$$t)al>;^1Y;_pqSv2*IM7RtQ-{1iP|VZAF=C(`~%g6 zJN#?x$g${T1)MeHy96+PHy$f{SLZ@!_uj`;)7y?dH?YNK$gYRkQP1f>1S5dssbZAo zKYf|pg0R>C5gYt#js1;r>-;?Wz4P4s@zSgNN09=B;j{ObJVDa2||V zYwLuXR@t6msEPJ)6+@2oaL$B4cMv&p8t*8-IcRYomaxtb@-_+(fjw!bif^9FKq8Js zleH?U@|`tFb{CHRi^t4DH2Fc-XypjO`04x z94H_B0Ejr^`ga(-FU>?D&Np@1l;Gv|>TvT1BSu9YgrSMmO#9CZ%mf&a5cR{*8d#}F zDk%B!v4*>=vF7lDm3uSz=N~c{J?srHu?|uj4kU5)x){@bX=7XuMBw2|-9@_(a9R5h z#$4Jcaf&+n2?SR%j5zM&4Z@1wbhP)uI_-WB1J241#3x7u-Wz#;M73h2xe9i=xK!0J z5nb>Qvj1G;{ApwqH*GO=?N>sNoonf$nkg?_d}yVW?@(IxdgM?1R4Q9C^WEDNXZ$lG z+u_LyE_uwW&30C~wHDSl;j&Bh&XoE(e{F-U-1~&#&!VT{&%}G8wnIyiUQda}j(itM zdjNxs{P@myhR$r<>pSXaoOLN1Fv=E2`0lLYn@+`qv*=M(qTty3DQX% zPE@2Z`jn62+PlhgS|zx?6(Q~#>i0S~D_Q2)C?TesSk58ds&2OI%47#nl-7q)2lC)Tl{eeObo8#ZBB!A}b z%E^JOx1e~0duMv14$m*aWso);_W~4+%wq&W6tDXyl-gpGt4K358VH1)v?w0)ro*C6 z+pT!_?$pmBh7}1h!rQ1(hROL>oh4naT%8!QXx(!R>rMA zs+qEUn@VINRZVjB1(7XPyZfTnQIA8G>ySWw7~h}{Sg8lBFArAiq)H-h6akMj)NSbi z`SS|5OcQAgikOAq~&8J^mQUPBX(WbSStBB@4@O;r3kkkiQZ@MqF}_1 z{J%2hI*vBp&@;4|I+w|@&j3xPUmFV{+VP{>2cKiItJ2z0+lGF~cLicp-L0b7f z5=tdOIR{r> zJ9j}gISnb9fS}bp4FT-V;&nYd(s^qN{i3%#NQ?=T`VA3oD|Eb}0T8Wlwup6aQ{n2hI+jd=d%1*P5$d_D9&R^NwtA zu-0T|%ZBiY*#wZ-IaA?gc5KS#@SlUOyQ1@j5dEAJh=e*Fu{fg)%(g8$Nmd+no zJIs3y7Z9M$UREKWU>gJIWQpoI>;9WRc_}1GxA`Qdg$98kfJlfb{TTDx{4+o zl+Drd!39#%doYJlS4y8ZP@pUXt~pa>M&8>CnPgXE`?Epx&geZ_z^y8Q)~nH1aMWSH z9TlA%Dtkb>&%6xOFXnj;4nGYI`zIOcj5x$5*-2J|MoSzx_K{ zkOOJ^>z{-2fQ)CdyF`q4$GH#a!MH@voZcJc{)6d6T;h@l8bWX2ID6KMNm1e$gkx&LeA?b*JFiAI{SOi z>-b5tf=UN-d^Fa%CCpz3;s4s6;RtXgSX7y{D^NUg%3e&g@&f4~N&q2Y&EMSyp06C7 z+H`=&TcYPX&jtnYx$6e5*tWo>t_2KpeM2_qN>_jG>Hh#UK+C@&=^@o(Lf!4NVfGIS zcTNDr>SNB#Uvx$&{Fh9;b|`_{{5mpIWsHNV$AfMQkDGA0hF0gpAEYG1)9R+T<%H{d zDdc`NUY4IQuYWw7Z9~dmt7(GAz|O^pl7Sd`(-)o7f92O)Q}n_qeHM6)T0e1oL$o`i z9t=~#<&ZM3GsOL~vk@%ld{*T89dBC<7)}qW$+QnW4&RvX)|*uc^D&2iXpJ~519%IQ zt=Hl2kkesICBBr-51yzL`DT4%^|iAF1+q|{tQ>2nu5BezFg zt#0oge_Yn)_WURuLnv>B65O@XU@S-`PID&F@%AzmJN>Y0GK1_QkD0vDUWY_mx^h>7 zuX6z_1V>{+(vgtKWr3Y=RPKjHc*L2jM$2Jsojo>1_1BV~iM2WVclAfB*2ET7);ETRX46$OnS$fL(Cph)7kf z{Aqb*dpS%IR1!?}VKQ*A#G^4<`LlzU+%OeH8rQ4&cjHLL@q2Um_4m(R=?Ki6<%o>jr+?wkZeH)~1y+x@!OL$>8aFj&V ze^_?sh1Cy&C8DAD1S*a~W{+D~-q!pQ_7wK^${Le}v6dvck#RVGe;fX};C*<0r=&qCr~TbNRP`DyDmG%4c%`^l z5}?5S<6LUCHsMWoha=Alt2Y5@wZW3d=2um;Hr>?hlt^J{_MjkOeU!TAHp)tT1$i+V zM^RT~{W2p8dJEWa)iiRcsih}vx1}Y|n&Q`k6=Z4&IlRX9Ali>&tbXvS!2S8Ue~~IT zv;2=+&yfDfo4Uu6L4;BxV%x-bPLjn39ieYl+Ust{T8;KoDcgi6%=N$#-A8JcEz^eF z)4k_NG~a?ZxcIZ`X5mG*bJth|vO0&k&Q_ECW34@Rrai-ck(XUmeB6-5Jl#ji+6S^8 zk8p25axa-b!CHnA{rj&29x7jle{Qdg@gUz(z4g@?GSW?vHQRuXcZ06J{?j&a)xkr7(;bM)*H%Ix`zA%JX&s zZBjvSB7QZv!3)$`tejJVzB$*5=~zw@F6X=#)e+WW(A<`+1C4GY-f-}xGDQjg6!WJpGjY2$PdDc}5Azg4A zeYu$!zU<90^^n+^tOh#4Xu8+NFk;_=T7Np2s^dzAK2MH(fQ##4Jge4%;VD~Tk$Vf$ z4M&bp@EGv>h2Ets7uSe)eVOz+=N*Z4>uT3t=1HNC^ntXEd|H^de--QJ5b!LtDPl-i zX#Jvq6+4}}duXzE*kU;iSmK}XY`chk65^M#OG_2Vl)eKW|2b{Furo-d^vrHK?PyjU z)W0nE0BPli!t%(?oYNxia;p*)V?S#;PjSFP>Ga6hUi}636YRYp_H~~V9s`Lw6)G){gBy~|oq;pXqy!IN ziqyJuLyN6v3w^MsUZ+fy<<2;Gtpa{M0_LN{^z@#rslme|_RwhRT!U_as7k(3j2+ zBxR)!t*Xg!y$#tQumPc!{Gc%rE!E8&Oh>4uf~8!XStNEqCi#l-&sP;3W$}-lg9}U| z2)wrI207VFnHo(Vm3rig_Hv@XbA98n&ohV{EuL0X&EzU8gK)E(pgj*g%owyAyBJ1P z6qm^R&WKr6e+-pE@lJevrz2KqxkxJR|Kr^G4!;|p1t|z5CT#78i`NU4AwL(DQ668u zpCBlww;dm}NK7!=`2sdnDrOb<#HBW?gzoOOM+F>-{Sq^Q!ya(y77tT_~{no$&>SP|+;KYKe*j9=O`Qz+&|Qr=>L;F`Lq>KAGm>}{fP(k&%}scVNrpQBD(#(MKT&9_a;Q%FJmA3 zK{XSqf2}YnRVYEW#7?7FRNUZr$zQf2&P7g-6L^GtiS&kgsO->w5T)^MD%#|35yS*B z&`2w9lCuinip`D$7CDYhl3MWf?n%Id>BqLGwh~Z5Iawl>VxjsKN4tcUo8%f!fdfzuCuthp ze=3XG5^ZV0t<#DP3wC8<5eo@876Z01=_m|^&iyKne85h-@5LW!x}9!nn7Jz5)B5(g zz+1}!vyXcz{)wL9t06OdkXDX(yv&=hESqK_3|?V{hG()Hpd}Q@l(L}B+YKsMhGNI( zs4JQfm*Dc0`XGj76whE?+QqiTO!e;Je=UD0(`Humuh`)*S&LnX4pJ7wv&Ysl$8~JB ze)#!Wh%Bv#6~^jcU2(N5;}KZ}0ou(8kOgcR-v=Ap>68{D8L{8rY_@Om5RT!<=bb%s z*cjfKb3#00dQJOXu+ZTg#1|V_wrUjYSst_RxFyDD_8C|g7~LI;@+FU|KRR|H#u%Iv zNIOel$pIAU8+lf?e^si%s;ATee+E-4y5ez3#+Mcg^{z>*xcMDEsx2>;dSK{FjK6kW z!Mx^8qNKzn#~SNt9B82NQc@p>zl$GT9Zw-_>_vvi2r70qz=R2(sj=GCsSK78nYxqK z?>9Am%dg5nBOJeJm+`KD!~XJC+6fBD^GvYfC7 zJ|RR$I4>325oY>`T5_V5}J6Iit(;>L913@CB_&>p7# z%CFJ(G+RC>Qp#36d&!OchN-JMgoLW7%oT5Cop_4I&9y;5e~>y>ho?i2te1$= z!ut){(w*gi0yDwldTWB;5K6q5-a?UHz8ma0C&LKxvr5P4YytZ-%TGa9pKF~0(Lae^ ztcHNQFdY~D;*ypJ`Gt5QNF7VZB`IGVPKTJiM8lsz?W#I?6degUsULjGtD}}~s__c; z`GC?151CX+v$nUze|-FHRy#ZC`BkwqugTiJ-e+cqKxRTokP*8my4mE!q9DuFToiNv z{ud~V(1kTsTb>(F+UV}D(C2kV&*O~}Co!&pA4K^P#1-iRyy>MVyv*`y1L0#|LEB5) z&h6%1q#*OTcX~JJf-Z1%YCdvtQ!9$;-p;jzpDENWumKL2f1HdbSU}#FKhZEkfnJQ_ z7BUZkT8V@9qS~uarWDfzj;XnI<87+|dQo1JETciQA^U5Gs}H-yaQIc54k|q($WO)9|TQ*vP+5nMRwcnZxz7EGoYa1ms(#meDIws%1@V2?J zP_o*R@7zJ?f7Jw^kyjD0p8$0~K|SlqARYB%g6Z*Gk>|ZfP#A@q-$P*WLRwxgrn)c> z)784q@SKrRmXso6J|9-(N-ciS+1{~dbw^6QwK|XMY7i0g)2JO^@W-vQV zlMxhIe<{)kKmG9LwdK57l(7N4mzr$GCd?!Xy)lEHUypdMgO&4~$5Rvbz$YdK1)HnI z{#bA!j#~vA`NOHo{39>Ns-H~pbBw7`r5Kn}tFx}<2l?GmEB6(f3PiKNtUcqi-rCO8 z2A!bufxMo_aQ@h16gN`(^^gu*(w>C(EIuoEf3jgFX~9kECzSK&v6}_xj8__)c0TIw zS-SSJ07J%IwOCfH&rq+;!*b|lwQD!a$ajTSIw^Q5lP?BHl-iXi-b4|6pY`8-tMDZ3 zI!|nHO^Y6-{I$f7loTsz!qS|FxMa3{&?qV9e)ZPv+PlcNfw7uxk9%nk3tzM7UeEOP ze{q4HbYqMbZa=dAWt)Ga(0roFv4eZ2U&~IY9?t`b!X4xK!Nt)`(`%q8d?BNx^622( z?Y4#q+Y?fycfN_V&%Mj$ugEyg1u_qC17C;l0C3n_#oN!<`bPV9yjhb)$@D9+m)g3MG8-J%>vD`m(wN{8b$j@ z7E<2&C~-_M?VNu<-^I0cSFfmO`c`4XB5@m#;Hg6qisM~Ie3gwJp@(IsW5~GohWxwv zCc|XB`lF?S#+WA3$1557t4jvAEBPl;{kqo-Jc+)JO3_5La<7bBBORY@GS+~4S^ljXLb-_^Gasi>Uovi4Q4 zp0V5g+%o-wvgP^2W7X>ZYcXLt4Ybx;XPW3*O6+sFWdh-^#uWfey$FNbN$1dcXq*Y1 zC^o5^)8-2rh1tfGEOGnpe_O`DN7jn)e3LE=>7j`fCJ)oBm+ayiY@LJK$CU3Tzhw|( zV2I0aN>Rx4Ap|~qf_g0sb16}+;#o|iMU9To3~h&?6+5;}gksGL#L8*~DqLDUjNBop zZ^8}uYJX5-Lebt3*&iERvxQg;xed6lsYLG&pyMD3n$t_!d)n`X)etSIZ&H2KpSGbk4>h|`jC!Zi$*ThU&E?`f{ zY4e!MAB@w%(=BPmURrk7Xen8~O3)X%$2F_oo}RAh+pj2 z>_J!x=|yWZOmzK{08PA?Sj)Q;>7R>UqZ$uS`xPA5e`v>Bb2^?;L)TCJ-MoiG6aQSp zJ{d8&p|Ee*`APti#P}I~f&bKF~XR zwTk_In-h&Gv+ioyk;P#(lk00)G8XhWn7wBlM@AL4~r7B&_6BIu%_=Wqr5gTI`&|WRcv(S_`GR~Br|@}Pp#>f{q*7sYs=Kd ze*y1!1)!)Y*f0ENfhQ{P=7cORmZIso0?TPk*~8>0tTB=0bYJO?qkV}12mSi7h(b4P zt2q*}Em&HiIQnHC(Rk&YenL5eih#Zq}jJzMV`4QE% zOnN^f-M`S#w|2gmd`U(`LMrn}H(&Q8#y0I_X{V$T>&He-B8T^loj0~V!X2|sf5F{Z z7j-rXh^CY}{y399W?n5yI{Q{YunyZaqjXC8{U_E(cddPn`1bZLZLcGI=?2)7DegL~ z+$H^*Wrs+bF>l}X-YC5uXURB@b$e+ke{Edbu)!jTO(M)C2RSw<>PNooa2woazRde5CP1i( zMh5L0*)iP6%14aKI>hV!poirSat9JtXIS1A?6QWZG_*Tra8#^X3hFj*heU&^o7n8p z1~flCIUmExBVhYx=`k%f_Tg)XN@VH_ae}c^QO!d<*O6&Hq3?ubzI!slubb~$fU~j54J_ze(?B;{uMCA!$Lm6C{q{D!k^KQ)1C713jp+J^np~^)A>GaiB%7E zAf;znbyPQH<}_`4Zjmryf6`Us{LyyR>zSpiqy)Cn95);BXnS-7-mrX}!Rf=3iVyxl zZ-W*^Oj%NCbH5sC5Gl(s4Ax{?or#JoYSf{8t|&xo5xVch%zi#N6MNslyJ5?}Ug8dA*kf1YhKWxg>) zj&!;k=}z;i@C;~Ne<_Elid0FJTbY*4#2j}fn0YFU5c66k9L~&QjET9sQ5$}W;_)bD z`Zkb{V!yvrz@S967J4MCLRw$0M({>dK(T0pI7Q;r_i-3jd>`0vqyPt$5{`ek5VyQH zA(fQ8hJOAsw52zlqr!(7t2GRN{YgWyP>_1X5WeXHhE;ARe>J<>$|prtJnq)Ql3>gd zaR@zKcwwrlihqK_yT_!~NfnW9a)g=Y6esY#)}QUzj5c=q&j}t5CdWFvlBvvsGvC~N@q)J}h`tpx1@|jTkL~yu9m7;yX*QNipb!x6w zHc&uzDjxQ7f8(lqhr$4Doij+voaYcZLWahcfwH5i8LOQISaAM!p!^a2kP2K?1Co z_i7$}f1;48m?~nLR~J3DF1Ynfr6rxC$=kQ2&x&hZB8ArnA^29h)A6P>$*YLCK9iBl*k?|81 z1fg9Qps!L+T|v>@Um4M#J}&ju+V4G1d~Tyce}id|1Ta}vZ&f3H$H2l&WX8- zQ-+6HWj{)2`sI64v@(lD0F-xzl#C=n>ZZ%Vd^avxLQb=Gzdp=C@@(@Ze|PJ|4wRDkcaYxXFoZjv$Ljc~POh5Rh^Zx+g69v7O!CM0q zw`hk0BHMpg+ep&y{0hBoa%N-o{jz7yo54+aEi$Jkz5WWxUXt*UNG zE!zS+u;0u9wff#&_o|j;ov}=1o@GL3QkzVwOc?>$Ok1cinei@@E_2Rj(r27mn<)-= z$1_QHvn5otYnTB@HY-SkTz0ZGOULmy3jLd}6EHeu34(>V=209y? z3FpL?@tN?-W)^nkVLgjWX_r~pm(((Yp;CL1!3Gr*KC`fAE_h~Lrj*hdZc)R29Mn6_ zx17wBhs`;cX(0d>*qRh9^E}f=NQ7Qnt}_o?V;rynTjtDU0J)J2%CL0_h~W(O>b%(U z3if}d02_cbD-m2kfmMJl*o1*?!QKo2Ch?}B74~jnAua$I$8E+X%dCg}aloPVFeR5F za|{;XQewtIMnQ(doIni6BsLkyXsiL?n8D!yjpTr5ppBCT3BVu&nBqVsAe!Fdus`P+ z>=sbqH6Vv8g2iGL><-qzI+&IT3n^fpGY@}z=E`9X;X`0KLxKYGIV=L>u*AKC6*OW1 zxrb{6QsT}uT*3qDffW!;hB?~0hPgD(E+sMw?!p2III@YB9{LzuM*-%!p&rI;afHoq z+#j$Dw+#4;_HDJpu`r9Zz!Mypg*%$T!U!j+4n{cbsSo5FmJxbSIB>|Oz&KkRck6!* z!jDw*&SMUkl5s>aNPu7p_Y909n332ASQ$hBX8@`L)8MQy0w`^f=^+Qe;S9j~OsK6N zf85HC@1{kT9}KUGt$b%Pu8MIr&kP9S;Z}ZF%qO?A^I{HCNfrCWMLB#q`Ii04pu%uq zEiX>DVE7Ei!K~EnpZ~;}Gnj5PnH_&khvx+_A2i@HRaMN!nFz(*Z`GTlYFHJ(s#vj= zzlI%TKmM5IuZbB$x7WmUO&(;S&LcyzrT`q!bV7Nk3&^Z7kCd*ff&W3yVgbq9G(fLr zX@H5>YaU>C z_gb9iJF{X~O=j7%^I-VL$Yn872SiH34}gDtJo$NC!WiHpo5H$s>7Bh-Sc7e%ZwJul=x$yWH+$pD zNrqD$7FXrGn%!m3wl5}U1>oe3WP8;za-YkUVw&V*$aOKJj_wQgD@Dt z)?PInmFL^zt5E@)%(oG(RR$Wg#&MOs0QCr17*5|7<<)gXBLO%-$Y;>xA@`PYxZLY< zR0yzbHR^?8c(DWs;zSq+l%K(Vr^u)0cd*0}g7LLHFAm?l{9mYrRLa4`2)jbeQ^`(M zL@U5p0M+Rp68S`rKt_Kw^PP5G^m+128#pQ8v@`4W(8*ueJu?qg+nG%7W~5sYfb4L1 zQJxP++3sDD9ZfE)KY((Gwz2{x{fsPY!52(wBVb^Q4)!x%x3(s2=iSS_gOeXVmN#d& z^TWx_$BF;&0xa3>l3g-7a8hb9Uzf9awR1h3L0Gbte;9wpf(EVsrMv(X1M_OIU-3Fk z4fmIFygi^{pU<07yAnB@N{W|QZwF_f7xt3~eMuDS+}M3Mhcp3R2f zP`t>Z6E%Omql&?}s33oEahb14@Ptq*p^YH*fPZUKDJ6f)M%yR5N88&gsnFqy1)j1| zU-ghaWo@xioD7%=&l4@Op6EV8-g-oTaU(U}yDTU~%7YCL--Eqn)@nJ(%7DENGq)To zM4$AuoSU-#0(-YCd_K9k87?w%S5W@PZdq#2Q|o`cjxW$-gZr&{ZG*eUKXni~E(OSp zTxHjFrqxPUBXt)b#@6-rAj;M?1m0x28GvHh3~-tDJ$@hTJa*f=!2_blcoKFgu(ay0 z;{&Dy?jusdGbx*-wClv{2|IM?l@c{&pdOy-Fht6HT`%#mfxq=j^s#?3eG(b%qg5B< zi8FtmQm9wbImEaTT(kAn@P!#6w94s+>{bM80>!>1*}%)iv&*Op^u6kDM$#>2+H@8Vab4d zwK*B?_ow}8f7mc16gSE!`2!OxL*bQOqQ4LB=5$niE33OfF`cI_`^~VLjwaQpJZl1X zKF|aH_c}gmJKzcPy1`Kz(ln6|dR>Gr^n(%qb2{XuW62ODa28I@^Xcezj*psR344Ex zic9PemHz~?5&5@}jYi^YhL7YZJ0~{hEb6QgK7|a~AwI7PSv+Hndjhz5T>J*Iape*p zT88WlA8Ez?KsK)U4Nqx97FOeNHE`;o5Z6QR9v_0mjgO(9h>ON^UJ)0bmoQ!Z7~v9l z44;$LtV7t`A6B!HLZ1O6T(LHHx^RCC4R-Q{z{iaO6t@@dG>utV5=CNE)5Nb5wk<)u z;N_%SJST52z>5Ja2eKl*(O<*Pp>Ygv#Yc0*9PGB!OdxQKl1%D^6g*8bM6H8X{?uGxuMqmNc&YwK9Hwd zzdB(C3hv7Jfq}cU;clcG;QN0WkYb7R0ne6F9OvD@VGkt+5<(9%(D>%XKxLN80VqAE z2Y@Wg1{Q*M>=Rp;@*48^dJLy4%oI`qb7)YrpcY|H-KYHGYvK%S6-8WICh-%w;7(*qOJ z(5FTW(Yd*$K+xjg&ET}$BR!m`mk!(pM%+1A!D*lDHpi`QTO4LawP05m`_@WQWX}CF3IWdh~VGLsA{?s{IV~sTS zk8?L`BnrBsOTMs(SgEFQ3~u0P)UZ=b6`#~W0Bz0!q~ zDSJL9P3P=awH9B~_fI3n^rY6n~;UuQheN^|z#JcUw9`yLFb4Tv2+@ASpbVv@phalwnH2RO(_Ly!wo5WhxNdfU_U``Sejpx35K4wH8Wg- zlLw+INwnG3q5) zEP2Yl@)FUT#Z+=q9+Xe5#0rZW7==KH>dD~P&>DXL5y?Ep6ClBYfUS+7(yrrNA+K~} z#cHjB$~4RyOkHOmq)`M}b%LhNC2%R4Ne8bgpft%#@<9k6R4Zsdg63B=U#PLZ9oh6o z3>yk%lGG{kg&2B(v4(3h2{x8%4;1t`3JTOqfua%8(8o*H%oy@*Kc!5Q#ueH*fPs8x zrpJGz>ApfrP)HQgkYYJNY#}@}HLQk3U5~W2D0t*Zhn|Xy#%FXEO_U*HN%kUi!D+*A zT7VRkk-VNh^ijc0)2tmvsR7laJ2+U*r!_cnpjVrdT1CDN?Qs;<8ipz?)CAhlxTbGt zk5tlVyF$Kg3t&+GGzRF|`l;}!%0en7s^WiO0yQJqr!-YuAvK^{U9`VOT7tv2JvECn z#_^K)H@I;EDM(QOsi!zo$diPU*#(V&9*`BNk)zRJ49$9H8wzc*WIh7Z=2EaUd0bi{ zOGRfj$xES#0SP5kFSMl49?GD`cq}73xY#4$NpW=eC>%H!Hj1c}D2j6H?JDTOqg%>e;(0@YP)B1^mo8*UmG!^X}EqF`9^CnPbu3{q{$wL>?GPVNI^2s(d*kYwM9q)K8G zZ|KBClXVF0ObFt%r4xM&4U&KcKU@SEhpiZTz>0ZEkEt-l4@eocN&M(mO6tRU{-~WR zdN~>MO0@a_m>!YW%uj2gV#iNZV}HEk{OjtNdLEpkzDOMk66bIkG7L=_^LWwzl%jTo z5BHb$t?xlVO;e_RSg(IggBQXZ+!gex_f_u^*QoC)Z1n@}y57dI9rzIEasGM^+#}xc zf;NnbgCS)YxGRYUTzT{l6oryf6USK7m>|Q*k@hO~))s>>8#zXiL#q{|r%O6$SY%03 z7e)x0*-&fXFh?30xX7TcHsshZ_(qg0snPGWCab(llmZ`BIr@J|mQ(aELfAyYNGE~T znRvz`NevjbS(9I<>DM zZLty_QfNUwxd>8BGm?v@44D^v&WH~>A{}KofChsV`hnznM|$UE2?ZSewo~Avj1T zt)ZrkINsG5+60Xe?`eHACgxqt*X_-isHy9=RI^Y!NWOm%jP6>bwCLbI#aXC8ZC4l4 zzow^dhoifU2#i;Q&>ArbLTg0h&pI@Csx@%b&S@F@)noAL;M1~uHSi)nYvvJ=$PGT1 zHSj7K;Cz(~7?lP4v#tzq*Rr%??m?T0D}1jAG*BDWT)0m!_!5#%Ra>`KdqEvTNiv15IygcOU{ zqF|*0mR^113C*T|{#v+dbS++~YXjHmT3-?FzTbcO>D}HBJNvsQoUQy+{)JH43*qr6 zJ(R|Cd3*;cem{ zonn9bK4d*16=25s?ad9nYJ5@7r=#IrTLE3G{3|5I_yWI{8x_fymY`?V>R){5VTE_^ zk3auRtYBAj0vE^$_+v2!fBwd@gcJPcoPfWP(8CEG2)i(uO<>yp>G0hz2LRLlULSi) z1S-5#LZ=xmOvbCu=YCG6Um5y^4`b;|+4z5fq38u{JAaw)=CAWN`G>Qo!{z71ym0*J24`2$#p9oB+?+3FBj@Sg8JuPZp&Zln(1?!12g

    L_ZUWBYYu#t{4|J1m~4>we7u5OqLt8>zXs zA3pEwqDye7d(=YBHu&Ru_k+UL0>$;S&1%{ssaKJ4iHJ^Y<_zup^5qLcZhC~jh8%x5 z?kR|f-TH`l4^$iJw4FC6Kka`WBUC+VUewkZKdN{NsBAwyQMV5t68lARmmua*zVDOp zlqK$$ZMTskJ^uLq-441phptDoO=A<-(;(3FA`r091!Xf&ZSTY0;VT5C$GpkLyh-yk zpr{8-!YYDxAoLq)ukG!ly$?vNqoY2vXQE$&ziDcwxGI5b=K(XIc>_D zW51D3`n3OQ_uUb})5Cp6*CaFeAecWI9%na$XCrO2{ps!A+kJwkhXswS;lX&*u*btA z`{C(AvYCIivwyJj79shi_Y?)Bi4IZlOH^xh3yRh3`-%?-+zVmE0`Qzej zbT+B3n*zyLT?l%UN^O6Ateit|SvxxFV69hfP&soeKVZS zt4V%Sj$zuH+fh|cM|b(SxT4d9u>BA$Abw#oh>2$tsF~lM;le_*;&N1ci-p@UP7W!4 zbUhq(8Dt}6`}XMP!_TjXK~{TG0u&LR^Kzx=-PtE#58ZD$4!V>eY^Bf%)+pNl0=TqZ zYM0^W1QWL|dj#&V12i=_mvIvW6$CUhFfo%5W+#8GbY)bX+mbEr5ZnnHcXxMpx8QCY z+h}kn!QF#v(BSUD-QC?a_~V@0-M7bm{r>d3KfW=(RWfT<&033sL|KhN#LU6OT+#su zVqjrp<^?EP+ncz$s5;myI`GIdD43gB13v5=2ow}z&gRA-YX_jXG02=3pk;0b5H~jk zu(E#wSa^7N5GVj*4vwDA)|OTv0JVmy77ZO8{XZ>#g#b)E|I_o4>0)gO1WqIqka{$Q79AIH>XATfkQr3}ClmbvoDQWIG{vz;Uw{ZBIkfXE1M}+-{?*mNP!3E@E>TK-@ z0(?|e7MJ`7Pmq-{=&#x?)*o(wgT+UrnS-h8UoHLZ`+)iIf{d+!E&!0Z2k5U_Cgy(t zGiw(|J7dp}+8XQK(e~d%~X!#)vGb8gqjMgra)*j|&%GMxLD}aTu-N(HCwrhU?&CH$c ztbyhqy8b;<00Rp%^S}7it*lLLfqx0W@eh|d(ClC7e@OK=c_w*HEm>_fy8q#E{X0fizR%D}?O4PannXZg5$AB1=~nSK6;l79oS{PV0} z405*i0O)=6&CK$5_y6(z^Q3?OFEA27QwOuZ)s&DPL#&-xrCixK^3gL(8)LtZt%?uU0 z5@6*>nkWdUG4bV4d=WHB-}`Rfe%pNn&MO+qa|Wf8?zMOsF!+DT1ZKHVyNn<1ia1K5 zu64l`cZ|v}EH#@~K8I)7i~4eX(ByY2WDYuv@GW0lJk5}Hbj79#FV0}$J!$^S`VU@) z%E`lJ8+cCyoN?>rdCauE^-8j8#*xBG))|C0bQ&MxzQc{mT z&oXvnN!8MVo)y@Ytmn~_at>D113d#=1v1(R`<1?d2#TF1r`PM0oZ*Nvzn$*eGPdyv zH+ggV2~*tG{j~CT#b^(J>&%Q$KVu}+o*I|Hj-wNvRuzB#YAwxXa0YL%7Mp4}`97sD z?b+B@9mE%FGjlI#CXUY+#aON>V`%hc+DRkn4(92;J7|TGI}a8Vo8@xcYJmjb1MD0X zT$%+QK5yKE>A&el-^SH@XU0}-Sa3-p`j2duGl>`U3)N;EU46Hr4KaMP=p1BnO!+x% zpI&tP>rQ{A{%Y-vVYr3T;hEjE!kb_wm}J=q#^e{OJDod^R!$GjBvy;Zr?~9J z-Vozh8Y80Qvl2G-$a*Zl?kEMuC5sPaK2M%{aflW(qUpdx{lEcD#7c z0kKrD3wF`}(gV8V`w{wGSc%CJq4I7`eQTA6)HqmkqyjIQrDX#h7JawXujW`Numfno zIZC#R|2AvS8oz>)hv`3~ zZGF{sPmr5%l@AZ1wmXsLS3!Fx4K3@QXa>p)IS4qmYrlDz^u&qMO^rqBo9jlB$ueV` z+Hw`OJ-@Z#92I)ys5?Ja%LWk{EHhy+Rju6tw*7UFr7a9mf;t`0C2 zWWgpULkovqZXwu4C^IkbA?5>xX6Jt;)e4g2cE$sHNs>O%Gm!%_kmQY{;bqlh81N*T zaHNZWvWE3=AsVS;UW?ICiN=NWaONe>+7P+;9=(^nRN%ZUY_>cZVTLn(s_KX7aVv^4 z;7j(dit{KsDYq+gZd99xlH4baQ;bY8Mg>cwe4kK2!imY?o(uX+oisv!e=l|ZTA_mMjHmekK&gyLI7_M& z&GH@`Ef+!)8XZmw|NZQ2CRiS0|Lu5cl|4KdFIT$%$O^e11ykc$pk~a#u^w^pT&>}A zFSQCg#%Sn)+OUSTj^pp#mV1BR04_d3pDTYHog&#TY*8N3j=-Q?q6C?pj^y`-c92j7 zruGiQXV~`aaL+W&Mw4DTCaqSKu2BuvsUI1hq}*WrBUbkrk~#6O0>hKI{G|QuOMr=>g8`BWr-V9pcDkxDkmJlpuKN7_kB3Fnx*r5Geta$LoI)o#5r&?7|(8{ zG6p-*Zo`7AFMj|dOZ#X(>&$tEiXL*!mN~8S#5XCpvli4hP0Aau5v&R1RM#&jsO}ks zlBM9On;-_JY99zo($Yjugf8_c3(}X+{_HsJ)&2D2A_@!8IV^;`Ha`W1YPcD}R$A9T zLcH#P5?5URw0rm&iz$B_2c2|@oL$jUAGDEf?DS1U)~%`aXg}wCq?@^Yq>{^-=aIB| zJD}k*vb@0}IXQ9>lV`{thy9FkoRBAS!yCOdEZf7y)98q>j8i(XsTD(6c&CV@(L$NU zpxdxCN`=wj5!gbdD^odd6RmP|H%i~b3g6p)^mv`E06l}C$Wec~nN|g#V-gvXoyPBF z@7i|tZjQSFOHm;`fS}#jt)>4oa~!;|fVtVSM8SPh>soNW9*mJmZy(%+okNhA(Y8j@ zY1_7Krg-+L-fK0#5@ z3HgL>^YB_?(`$R{Sz-zJL3%LL4@m}|KIb74E{F?+eVAY}2{5wS=9cU%Po)vY&;Pw} zjK1p&Oaf+5oU(Ep@CAeZkh!ON`(7}K(z?TkE%9vgOE)}u&YVhe2kXK{GbGg-ysT z&0SAYhqae~Fj!&?bIZM&;nAYNs5r&vfNI?;H31f7dOftbCdkb>dZ?afEDl5PnZR3X zW<$WQCQB;gjn`3RI0Akbjzxy}hLcLs*v9s$huNhQzG=w%f7nW(m!&#l<^A(}U{Xr$5@N(VY$-8%cf;W(SwD39V-WnL)6 zGC(=Wkf?l{zKVcEqJpRjuZIh4rH8IdGy_xu9_j3@6>;((eA)Qvp+x6USobnfe@xbS z+ZGht^@vHHyl>D=Sw$fVg?U=3nU=%B8FOJYtw?3r7$_j7iR1d^x+xzN!IExOr_f7W*uy5L~13RDCwlZhW`UzorQ#N~70 zarm8Vg4`Z$8dg}M1j7xxwU_ysuh=h9mbLZ4krsxeyAE>+Qjzg0$Al#Tx-=>qoWR}G zA}?XVo9gv9G5@#+gI9Jqt!<{*&8%55J^0&?C2i$8xkUv^9Cg2R32H(T7x@Rc$CvN zn|LLc`BznTMz^?NsfQAL1DnJ~d3Z@Mr2JMsiYFK>=8-W?)1NleLP5WT(NsxX-lOug z%HM(m4wHw{p1Ga;>d3!Yr?S>qT$2)})`pd(r&YG$2b@iPvrHQKlZeV1;Robp9!(gw zU>~R|3wzgBqdHi_(}kM)Z~ZDjyEtv;RIy<_`uMFb|&~GnKrdg$y&PUj+3gJWm zi=8q8(bBl_xEkj2LBtgfo)XZ(F`6$T;+iYlwbNOXIS=Ke5;~b$#i2Y?W6s87^X2K+ zG0{p=DvJ)1u4-oU^vGP9qL&X)cg3{~lNu>qK~p#*@GXM@xue{s>x zYMK3+TYMomEo2MTKi)_qUVnx$`c)Fy865rLOPzjklN-(182>2^O$JoQmK$0_C6(CX zpNB$Q)yK}R*td3QvyCj`zC#5QR(zKdsFPV4g;aD`_ zn5>WqVT@eV$$by*Ua28S?9hAFA~}r{ES+*OmBNgi`zy8#K6vIv#;hEJv7Q?w-m7-2 z$Ls+Xo|F}7YmmQGr3%QNJVc*|gKxh4b*rdxMztlT|1!+}G&jsl=!!{b^{)~8^W&Bn zGYwg6PmmJ3j?)n*4(WL8#}&()%z1@7$SA#fH~K5ZfUMlq-*0q#U?rL3!AXutLBC;tjox1c$99pZ7ah}qXC!oz3^UyN_?l=7@g_M(Q(~rh= zndn**%8M4BFQU~{fKqv*R+T-CdNDygV-h8KHFI|*+OXaM z=Eev24+{4x916&`qHfQlWJ@FS&Ae&r5hEwInmQMm1p+cK)-OkCIH{sM@{_IidCC%q zmCzp`x<~ieB9fwt=mO7VUKqk!p(t*8I8zodam&Z}6fY!GK3K8?A}JcxTY)z&KRIA* zq(#qi8N7qgTLEhBoEk8MYI1((mg{7Ki}6Hp zO^}Wl@xI!I%A-wD2{QJlVzf8ZYY*QbkFmQ&({jRZ6!}DZ)k=c2t(^@$EZ>bHdu-x} z=b}^^ZpLjGuCpwiJF1&m%~6q(z-O1`?$MLZTg?O-qWwV085S;S7W=84*1~_FmRYxW zROg^!8UtMp&B-s=NkPKJU)zNv0GeRxbull5b1?=&4U==l=Nmi zJ5;lr7%BrJyga9;O7aLEjy9=3Du&GJhqs{yy>C)^HI!`f-})MiIx)Sdmh#F+5W zF1CNaMZMpsL7Ka!fY|p7c{G!ODKqgTC8*swdYq|lN@2^pcIGgjDJJhfR)cW{$eUBZ zKyp>5kAHDDZ`QZ=8K&Zn^>&C8K+`Em7+SDc<{bAa&b%7t5Ospl#qp1qKwu3mZGV)1 zF%XwSK}MmxT!fKi>%S8tyjDM88CUIeWRKCKj?saB`2Om!sH-oM-gWM0cr553TK`r; z8)My61#5oJdpv{6`bw#B^cYEWGAVII^i-auNuiUrovgrj<3>j zAI9=Y=G#aq8*W_-)X|5}9S<(JG+KWg1g*i{V3GgcL!cnnrle(wD`H-YNy9@XXVd#I z%`5PjyY949)>_-Qr)nLl)EdsA1=O?4L!%QSb6TZ0Jj|KBNNY{Z+hR=vD1pr+=3L|S@ zRW7`aRrri>f!U>_eX;oR1l3_3l$X7*O( z`T9d!9-d7_p_s@pPKJ6-z^U(F53FAJgjm^tx?!yYCvA6!_xc3mQ^U0ee~2iB39G@f z>b!%ax=IC^B~+~aQa@r9;z{2*Sm+DLN38pRL>gNLwQ|5q>w)Zg0jCz_7HDJzVMGXi za|Az_7q&-e!=Ide4&#W=oF#|w_KlWdhDSnn155E zzYHBsR5~<*8qINunO=~5B#Y8duI*4}kw(;&*w?~Kj6I)w|2;hHjhtc!hGp?IJHlqnj1Dg(C0xo2wA}y3rb|eOg?EYx^ zC=X_o3~_q3>2HzJ%ApcyEVksMhrQhjBT=KHFU9RyGP(rq%u=I=XS_6zw4@JkTGzSXMs2~C^eIyW6v(*<+`CuXmL%_52 z&PLcOZ%;2e5E${hov9^P?i_!d(ssaQ{(=C-wKI$9MIwtmeNJ^+Wj?rZ^43NFWxZAK zD>(12)XJ(K1($CdU*tCyxGLUv!ci3((Vr<&w)1*bko{zZ!M{`sb0&1%HSZJXN_(ts z*S$fVsP4LAl_zJFZf!oov`87tH4BOonTe@G<|Bo15rMAONw7|rA3Dgcc7^iYeqir} zZXD0}Y2mgJZ>f^t#YxcdY2?3+`JA;;P>H86i&(y&jn@2^DqoG`7(XEjYP|Adjqe*7 z#nd#v;XG+PBL9;Woz9Gj0MqC*e&l03(85);v%Or~yM)RlPF#7nS*nHcy}vCpBQoBo zNIMS<5@6Ix^f2!c(7&v@WPd;X^p)s`6BLeCbTdYff$TVwAGJ3Ybp1+&7ie%R;k5K1p5()w2%keh@C(4EoZ5x>4CMy=x^Mu&nW z1?i5=#u0*CBo`;LEc?9(i?EB~@Jyd~hzjkbDv^O6qF?y9$n z<0TFxJ;@%5HX4*Q3$r;``df9sQMcPYhM%R!Wxl3T;2SJh}k#LGJg z1Ew@RF($l%VG8Dw4R0|JHy)L02ttLQjaaMjl@p6v=~L#sq#U+fjB%nAG0-iAaSi2P zybJU6hz*P0shlu>cU+z;`*W^>>(}#$-7hX=Tw;_623W(Zk|?p*B3pVZ2sg*%V36-2 z5lGD8TW}RL*J3TU_&H~e?4WOYp3%4x07=kz8Un)Vj|1q3B~Y(lCLx{#M4fe*GErA= zm58$=f{c2tErXsiDZ##5?q7%**q47K`l*OrHZ2?{o6nK=O?EFM?7hDPLtMryZ$TYc zFS34>vjq4`Q&GD;dw;muC|t{-J=qIexkY}DoO`Y;C6sorX^$wz(tXUM{i{ZM#63+oXB|HWvs` zU%8l?Hx@*6!7#X`{gu^^-`Y4$5Fvxcs1-xz+nI~4C4PEJ-|GD_pCzfmlcuS3Q0sc# zH_3{hu_i+(SP--I&ddoKLh>!%01mcDZp>~Wt9Be5U5F5OSE292*-CfyJKOVcUV?^0+L0D+5V2a6xZcX~7I%}f zXVN_tN;{pxN8hEl`vkcC)EER&8#as{;x2I|8ABI}@C^4qrXkolm88+;2H5iDbk(9Y zQ+^B#tm!*3#^BFiAL1>Di`D9Yw_&Y3w%+QB(xl=klVy_KXT5k8Dn}B#Eowpavwfj4P&vW4)pAjB z@*Jc>h8+c7z~&9z$O`S`0&MSQ;H}NoQhum`wAF&|)7j@ticgfreyo1gx72@V(jn=i z_1ZUyy{BgEeRJE-%Yq$=wxoJ*HjdO8=O0gdsugfFwG2gK48F_`EC&3xOWW2+GmJpg z!d>{0(1U55IVyZxHtWW~pASAEW@fQBSRa#DZLUVu&S zXmG9IPLd@@0490UAbT2dulM-d0>9hxAlhyzsEG8hic-|;jEVJGyo4!e)nO_Qrw_gW zh%n*(vE*Jf6wbUBqROa6#T|xL_ifrnnG5@u3C}1Kx|NXm+^U8K=x5Awh_-Il zrO}=vP`2wKIuUF;{-Va3gRMUxG#u#Wxbga~1?#81IJSQt``7ZrUSG$1OOfAe)C`uh zG6O0Zg3|1+V?HWT!@2e%UYFUA|44{8d%z#B3WwBxrkM9O=P><48DdM2v?$@L;MhUE ztZpw=7je{i05(R^T_nxsRRv3QW)bAXA4~dlaO4-kB$LY;S9B>#Yu-V;aiV!DLVh|f z!E*wVzDIQd)tn=oPE^Q8WL8<$bUL>d;vG0!nj5Pa8`pXhws$>CG)B&TN!MlI)!fSW zg9M02s_W*%P2zP>P3uiZ|fpup)ers1ctg~hqx3XWRnDHt_ z{-=ZZwvStP=B(1Vu+Qr)AJRfUB%iML5{Vr*$m=)iMW@ml!Z=1z3QDP=>J2_aoXcHa zrWC}W`f%rrGeegso&>+Yuk|zPHf=hh{wd{O<^(;EjiN5arccY*+S2ZnL|GDd%M4*) zk|`5<0n)&pLzmf&ejn1CBYV8fcl;1-y&Y$~kP?liOL{~%R@%ZWGXW4hw@js7U!S{T zN6fHZqw$CK!JSk1A&KX(v2D*;*;QICiJoib$wE7;Y^G;dNlGLJjF81%%^5r(botb!0hCmx-S#&#H`s zCK_(r`nuibbc_ z>aS&Z1en(MBhagA>IeKr!@rdn7wZRI?1Z?%sr3-&N(<0In)35=bI!f?tcc!KWUx~T z0N%@j!>kwj@5iWF#|;a7t%qknwN!b3Vk+}mn<<8|{c|C1DRx$e5Tsdjdx^;x;dtL1 zkoxm{rBmi>ERwE$xYkX2KwQBtcaVg#XLVSY(STXZ1yaQp_zm&tnp1ZTFNH={m^-b^;$P%$w{g7WkWc3T<}$ZFd~|7Tu| zjFwdMP9udWS=q&Qbe`_*G5zB+2q6DXdIU*MuB~hm;rTkYwg*#+HutmbF0LSY{->b2hxR?Ev#KNdT2p2?#{KMzSR38-CGyPQYb(Z1xX{4U5cgV0R ziX!|BMyDgNB4Cijr(RITqC z<#mHcM_9oW*?#Gry>FyynKAXenH{r!eiKc#RSC3(94gws~B>MwAh z{4Xj+;QsZaOX(A5GROoMu9`@xtE^K{qy)1{tZAi{n~^#HlZ;JhK*=!y#W6^Z$iIc8sqi; zs=OZl7JBNLX%y|O)+P`40wmG?E}PMB-+FhRz6|Q(0a+{;OZMKJN9%O9@wnab3AMKP zE>cYC=IUtv@W$;@-5;XnCTtK{5Vb6r7e71-zURC`I=mo!b_|eBW$K&VPjf3OZho?Skp{0*bf%=(r{ z1N=6B%|a30WCk~zmY+GO%bFDqbp&(r*)`3|(%0l$*#6Q;&;U%~H=DRdS3Xs_^QlwA z#kLe(a1ME~^u67L`dEAytMsM~$4SK~86@LW+YzJv`}-<>;(5Qu?-RU=2Cs0=@z|T_ zfE$s&jO6EFSE`V_;hE0IDf9K$!utZI4g@1{tN`a3f+P3=0W;0nJeJQsnuqkSp)mY$29!kjzZ|f_$`nc;n~ZHz z+?n8yqBR8}!&%})*cnsxsnYe_lh@Ht(F>S6+Y%NbC9eK;JN-Cmp`WN39&94NaXdIh|vG^JB{^3}WqCj`+;kr;!n;hx!H1ga0FInOUX^w;* zgt;=oH9+j!kcg7UuGyH34gSSM+xw^z!?w`rI~j^j7H5p5H?N+BbpWF{Btx1_m1YUm zGvn9k6#r%-o}^nRy*Gu{f_plo$z?#WCuqXr^_mJh78eKft3`6ja{&E_3UZy+zO`aO zBR!&d(aMD|Y42*^zv^g4Bu+f$q<+uQeyX%o8Q{Pqh$6Adfzhb!@^C~iy~O{xW5G8$ zz90|CvN&zJhadfc4L&96INOBE!)SUou)OyJS`pA`lluWKpJTQD4a5v_+;UwF3wMBx zi}=ZSi&vf}2_6#>6YUUO&qX2vw1Bj_n5jy=ck8%!c*Evkr*&d+saj06YZ+>AEa!c6 z8|d)#B=N$dtpD8zKg>vXzi=&|&H`3*t>c-D6IG@rFqpFBrIV5#xc*dLF8g_H*^GJO zS}f5cW>19bi^s&Pqh%Jhg05l1nfVO6PvzE4MhA(~ zoM|9y>Rzz|Q#ZzRXhpjuiPB3;>opiA2khx-H;L+IR)^xBdil(PawQbhBzriHpLgx@ zcyQv!B*|3WbsfA@)zhFJ!K;GnS0P3p_44ujov0PE=k?W<{mnPY;TWsMg9l7>?NXN` znw1|f6+_#sgo)bL0SM|38(!3Q68o|l^=x4e1%(J0+rZo1YKxOOlQ4QKmb~K+KuI>; zS6wKvI;NO^HWkM4M_@kf&adxAAFMu{qTVjBue;MQi7c!R;lvh>pN8zKd#m);m1DT4 zi#QhoPAmD?`Kj&|6(~+$aTAUGvzjf?(wB_EF|VoSw4zl0+epUW^aNH~XbC57XWg?= z6Mv{&B$+D6<3m=r+JeA!OtN)b0P?%Xzg+eExKJ$>20%0-QfcuHHWp)Cc9I)L`A92PBcT3ekrr$U7Ku2@b20p(agy1q z_36$7Lw#vmOmxumF{U!CMh@bbP;|ae!AG^M^>Lr#`u~od6hr<-Ic4JLf0bo2a#N=}Pe@kTh^#L50%}yS_c(}=Ep7WJ z8JiT^0-qR7iNhH3sB6cA0)SsQuS6MoSR1|+@$l{bB{=Y#(CchL*CYPq@}FQK_7T-| zAkaK*?3!|#)?xyngkKqj6ZB5>1_hHNzO`@M7^ zc8L#m8#P|foA~QQq?jE|F$jejse)ebos&YAv3Fv0L!@R*(JA=Xyk=n!7$p6R0$J`I zG}4o7dt-=Mt?Y8OV$~EC8X1O}kzT1yF*YJs@>doQi?o4ZVd}s9h|#UBfWNl*Eb>%9 zAANmo%RgIjCd-N<9q1GxE$-AdJxP}%Q9*BDINK4#Oe5Usq&Ym#UgBD|Gd5D0qO%{V zbQn46R|}7mB^EFk#2Ymm&K=wy*Eup?&{RZ=&KHRb$sU^{v4_p+{9F2#Upjcxto^lC zc5yT4DzWuB;Ganolc-UPKQbebc)4cTX&-ziXA!7Qj;6w#XCn?CQZ7+g1VbU^Q;#I)$@lCZq zcl(9SjQeoZ_m=OkD)8B1K;Jp?)E&9m?mY8;SK#TCUap^OTXCJ0uyCN2^-X3E#>@=M zWjA{MxO$xXrxw4Nmu?5FZuo$(B7w_D^4ttzpH8)dGxklSPT&L&0@UZ*Fcj3~MOhqb zZrqwq8>+omnPG<6F|^P#R@LDbHaTs+V`C4reO)0jYp^o7c6z9CUBBH=F#fTcgMpCq z*7}1jS`X5HV=vNsRav&tbXbK@+b+TtHjaUt6yb#>!1;x>%hZmF_@jd|XgNq2J$ngG zQ!7PTMkTa0Cu%DP`9)@)HxH?$yYyOp(HW!ajcPJ&ARm5*={s|%?VgRjGQ~AhkBaep z4j)>5MwoY(au3UGD`>ld{C?jAMl@-Y#?v_e-r!OzF+c~4=Et>PhH@2C$v+;b>evesN5`Im=28{pCVbSKU}@!&t@ZUEESpXU#dpqRw}9bx z`?jCWX{3X9@jk3Cql3{G707#xF~{{=*B5gNG0snds|l?_lxWH?8+wzb%ycQNA1@DH z3uSh#RV=v8`1XS+{3P2Cg-?*2e6_a_=eyGclwV@#`_Ii|W|kMUcZb1!)pT7niP8<& zo&=WS3q|RZee~@Lu}avv3EmlAG_o1v>&{dqA$>jMC?VWE=?v*0-p|H=2tcYM{Lq{# zu`W1Vb~F`FbrTmKNcexqPA5uyQ*yvM=euk z`wQX2n){4Ac*Pmuqh9r@aP%TbJ(a16#0!xDYsIo@w8V|x(r)v@IqF~gFYAh~Vm3&I zI&~fv-hHb4$mI2@JO&qkOu+uqG+K)T$|kn*!t%k-UaK|xagDwruLzJ)foJcjLrw$P zx%MyxQb$M{2bS2nkfzq?#!RW%X;4{XIrSe}##&PmS3RTg(QhZN8gb;p#a|yJ@3y_J zkqp6iSK7sX(VuY#o1hZzyD|RNK^N7Y(2Libv zeqEBB~irISG-)kkr^H0CHTvqh#kVriDIp*M{ zC4I6+cu;d5(2^yAC-MeW!&MZ>h7NM(a^9653N-fPzqc7|9sH_WQT5~NzSCJ9pgo2D z&7G=jj_jkf@!CItMYet^dGdmK8gFiHv+$%$VqBYG=yoqxW#J+cbL$P5H`SO-9RvqU zEVh>G&P8%UCtr6NB|$mfVTD9jHYK7a!9T;30TnSYVQX_U?|t8mUYFiYHk$vFj$I) zndJRkr4L3eu`)Q7oBV=#g}yvEqwQ{zLyL4}xn-XEbK=UyFlOiyWMtshw_*wfGqd|J zi|w)-_TB(5m|n#MBT)1)7z8smQ&H&z-e+iqQX4R}z)8)+tI7-Xv;S(Ta#|xI6TQnB zTWJQW8aekJL(+zJkA%V;{gr8ud%1WR7$$uWl;U?oGK0?ptubckwzd~S?!(E?pQ{T^ zg-Ny-{j!UhMpLivV=P)nHR`l5XhRK|Pj97j$>0c11Cv?@?|rzqezo#8Fpm>{^v;^M z<`^=4$B1wAAUg$E`|k2CoWFtRo8yV);5Hp9&8t$CD-b#&UZAeGz}*OvJ7f9gj zncD{U7%$0yuPHMMX3a>^2fRWpmot?>ACc2r>HzU_ZS4_O&7hzGyX(6y8{U=0%C`{~ z#!8GPj#DIQ_54>`7co;E_KWP#JD)FWB(h@Hvb(-QvJ3yrJhke+)pv^`6($yB?ITlkS+rq5taZ+>A1 zB&Bm(xRLMdYW>`h4ly>^ftxU3=@vvZdZyD)f-GD$bOJ{`*X6AhR=g@;OXBd}dT&m6 z-+%w1L=p}>XK+r^ztO!qA<>S{k=UZ%=RU4M(=cpin0$2OHK=(vw$0Hf)nYj91pX>4 zh|AdVK33S4RTwY=S-<|;MdIaK3=U0~99f#$@3uO1NT~B34t#vr?zcm#qWS3j;BPh|OKaPf{P< z)k6o^s}P-*EI-WxS2)FTHy!X{`19NdY~`LA1CVw4RI?LHZPm{gI+sQ?1givWVE@6< zAFSG^l5;gpMb$-UsP^pZC^Kx0+Tb*53C$q1vsiv;lZJr@`w8uAn1?p#@Q#0z*148%4+Pm;T&X`b4Yv(UERnwH-*mEc`XtR zx4pCR0kk za7bY_6f(Epck>r7y5Scn*p_J#lR^n%&E)SCLeykDZ=ohc0^dDbe{)Oq+7?Z;hrLRc3#5s;k8OS?oP3w({>e znSN`U;-sh9MUl%mL#`a7;UoYaT?Xc!pHt98*VA~@paoJ7?6VyDaXyu$`&&Y=R+Ern z_%ki~Gh#dCr6EjBC%`ZXUZ>d3DeP%Lyx^}kt@igk_jufl{yT}xPTXRbh^l|Dks?8_ zj-0#1=CtdYN*uqnn&Vh1yC0YDneIMyTgjPG&pdpR6#j=Ze8yv zkXV#k%hO*|PdN77{F(%1Z#2?-Y#TEJK6;?iO{!u*k#H17wLKSYGN|N(6)eW{c-?LO z>F1}jX+k{=)@M7T1&FS!bb5qD>AwI#L z8fP~q&bRKkv1*UNg>i^~^GBy5frWPK2+8<<*_9k^`rIgr>5)vsgm;hCm#68^&7(>b2YJ(Qn)BY(}?j6*(Hvk)Vl0BNnQ};oA}OHm>ET?U;Z*^S~AgHR@>+F7o~X zO;k2D>V_T_`QVQ)dIqF{CAAm6Vp{{dIi^SNyYQ)~4OwVH@IUEVqPg>#m)3+sf&r(A;u@ai6gUBfq`{&zJ@cv*5Wui+!if z@YuB!LAB@BX&*oxp|H?)ptn70oLruKY?@@p{$O8;qu&x=n&3Z!*D%^X=YG#$wJIE$ z-7B+7teeY0WdG-}kas%j5$Q}8DkVtaIxGxntT+xwH$FX<*7e8=iGHrqW7dD1q!`1x zmFe$f&7K6~wirv!>6A{jNPU&1;aXvZ**UcWrZnHQYr}v`tZfZHT8xpgh-g8(LG3N# z-3et3UdBEk9Ms3kd0X*Mlx<_w1*d_*j_6?))JVB%?&|3{i-C`vWcCl8+l|wkpML{9 z1xO(C#A7X&g2~uf)-lnN?GWjOEd*C8poPoM4|&O9yF%FO?|=5EVsI7zktFdU3*aY% zQ&J!6QD>Ky(z~VM-{C*gDT0Y!4t;Ee1ujLmun%^%H5M#w?Sms&79{HAGIf9kK{+<`m>$^j)GYzgl_TYi={OC~@8_U#9CP9^w?KLw0 z@^fJR1=tWJ*l!Tz;)44S+Uau8DTqDp)d=II-o;os{ca8O#I=JJMuv*kOI`!Nfw&AF z`N!c3xmXbUn-o534)}iOkUqeEbMnaj^My;RNL-L5s{fcR9QWvBL%%1}(cH=D{W52h za0{k||Ctc=zznfLYnJe#^E9u>saFgl$y4dW0@&#{!J$(=a4hy;|8nMpBFt7Yn848p zJn@#zGe}BU$PStBKiud2MeAUg0ug~5DhMjSl&>RZ5Kk#U073nR*cJ0>$%IHScR{r@ z{lUq4%oU{BK#Ip^@$vawys{ZRw0(sD&r_X&ACyx{q!QFeC_l%Tb6h6nmAn$Of6`2R z0#H)lNdHrWK0t53J5sy*bf--RqRIDr{6H+4y|>OV@~{9=+i`eBV(5QBXY4zq>790L zf!eWuz#AAneAE+i)f_yTJ=NnAdt-Q1_5i@tRVYxW9ecW$oZ@ zJJZ9Ti09J!S@(yP#2|9YPJ;PRLkVf^2!Iii%Zj=m8uTpQTM^NE!9%cQ17Xb4!P{~ z9vX74B6ZG;;3F|eg`oG(FPi!ut94H#c>(KLWJ6eV+$nhM10|!aDw7^7DvODM4UFmh zMr#y03Ktq#$Wj5XFU=AL$JsHs&FI1y2VE`a#gnTNKVJT=B5D}S-Zp9|o8MRPXJ4y8 z1zxEvO(kpC&otND%Xx`gVlJ4lTP--GCw{vCM$LWiXGuY&sDYXDtqnZ~G_tA>RrSKY zPu2Nf`I0xs4*oILjdHyPhA!DPcfk6$Y6Q_?TF#XP)C2#VGrw$X!ZetTK!8iNl#?4P ze74Yo+cy+kJadoNwZ4oyxC)A9luBz0VQ%&V*Ps!FbmIurS8(6}PsfUQpu z&kGjNuj>;q?LZiR(^s$y_5MO2f6JC8F8$K3@#66tRAM?cn|Ig1(vRRq7=Zfg2mV5= zHTZ%ouv@%*Tx<{~{DC@s`<>A-D4)FI<7G7_u<(>qmfb#tzvFIBCKS zqMYL!8YGAuAnp+i>~6mx`b~xyRR~Tgmd}G6Y7?L)iC*50{p0;?5fw?S6gv)3DHv!0)`h6dKF(OxUA+M?$}&eI_Jsq zgdFCo@Ha-CZP3x&!@ZNvs(!i)D{QfM^&0c`HoqWr>@m8GpD>!I7op)bPEE)P!wje9 z{H#?DJ@>h?mtM}UQhM=>^hK(uy^$R@qit(*&2q z31DU{r-C8eLj7<*z$46hPOZrI+*^R}vj ztXWe+f6<8<#n!`3M1cdh;Bpi8OSUf@=E z6g8hf(>(%NSDXA~X&2O*-K%8I_0Jsd%kp_tkMT^TvJiOH)+rVj5H3K6Y@3z>p1ajt>)O7vl?C|AofwT3DDD)57JZIC~^Mt5l>t8Vl z)x*QWpn527|5&bB&K)a+o$LHpQTA|cG=keG_>Lv;*BUn!5I*MzK6A@FPJt|oo>u04 zinJFQ*NA@XR?ifmpmNQT7$c>Yu*ZcZG8SC5%xmB{ZSNGT$G|Liso+k7!g*^V;XQ+ww(vvX`E3TmBAvQqt9p zmxHs(OmhUBtDDu79n}WT1gw61_{v3oaIj{4wc;L3wpaL#QSmmup<{Jz8G2U|TJIr) zgSTdB?o%ZqF1W)UT5oVozFq5PBKr<(Hfi|D18{%BzLd159z@dCu4;Kfp|;W~1AjG` z`APDYbo9{m$m8BVv54ej2-^k4AfS8X5oKn!Tx8vg(uN+Sv$cL1tbtk5{A_fNZ z4$K_M^IbRGYfZCRgb?iR>(Rvx72Q8zI94<}j4{wRTo->=1bmhp-c;?Mz?(b+2)~Ir}*F%X^nja9g%e zWVMQYYzt6aqRzc|M84Dh`%%K$%Jv#wkP2ezOEc!h@%fJ!+f6uC-QHr;H$ndPx6}sF z@|~#sq&6;UGv)jA2P`3c;{lARor$wc^6?QEeDYr`2t6fc4mJ*MAtpg?VL@(YE@43y zQ8rE?Q9%(QRxwd#F%~g?BHsV^iY^SJjH#WuivBaWWM^J})VesE7u6bN}~u z@w8_fLTafd0(?>Gp^BMRf)>a7!(l8s2QmtoSh@rW6_tdeq5)DvT!5M=#B5nkGfmBi zu9C_ONq9lx=3mcr!oTlRoyVK*UDsiubU#SU*foWhP>}p3>Q>MUiTmi|RLQanQ0$^j zVr7)1U?i|L#gbwHUXRY~Mpf{FytL5)WXO2#!r;V$474~SwLqCwvMA|fkAaYdjztC# z6wuO$SyMVmqTARb^)>F)3ew=%a*+3WyN#vE3mX(-N(>i$7;0kaFk)^KZpq^#vJs8K zEK}uv)Zc+jma*r;S`r}}KDlAe%oj#ncnRRG&eE`WVWa+l420{bJ!@;Md4g9IU0uLI zT@P^@?}*LM@3#E)zPy~aS!S%TeeAgT?YUR&uwgXiOf}@PYcp&cGH9DJ>}%nkH5j-K zIuG|EO&e5!>fYtyKOo64uA?DFWB#{5TLsY@=yC#0oxe&#lnH7nabrRBLIOlxsts|J z39Ti`x&*5wais~*s-RoEt_i1j#=wHunk3|^@Ke0pj$)~vJ0X*HzNNs;d0i2xgH^TV z4=Bow+*72CIB40BT^V531#IfvJFRVpu4@4;ARQOD+<aN{!1i^QCESQ1mi=`2%e%n#jd5_%1x{}sQa12Ltm`y_3~JyL-DBU2?z@LPBs=%b z*5=|tU%K?{L2o)xF&YvhpZ5JG!Otq(Kl@WvneHQiTUPL;P@ZkDmvBbFoQ&Y>1XLFK zW?O_$o(zTmN&@|RFX59KcIF-7v23dD|K7fnsiEzEPxeMuFwQQ9PA(o!rvLW7xw+Vw NIbg`iMdig{{sYec+;{*0 diff --git a/prng.tex b/prng.tex index ea56fd4..4dbeea7 100644 --- a/prng.tex +++ b/prng.tex @@ -180,12 +180,25 @@ $\textcircled{e}$&151, 149, 19, 210, 144, 152, 141, 206, 13, 12, 171, 10, 201, 1 Let us first discuss about results against the NIST test suite. In our experiments, 100 sequences (s = 100) of 1,000,000 bits are generated and tested. If the value $\mathbb{P}_T$ of any test is smaller than 0.0001, the sequences are considered to be not good enough -and the generator is unsuitable. Table~\ref{The passing rate} shows $\mathbb{P}_T$ of sequences based on discrete -chaotic iterations using different schemes. If there are at least two statistical values in a test, this test is +and the generator is unsuitable. + +Table~\ref{The passing rate} shows $\mathbb{P}_T$ of sequences based +on $\chi_{\textit{16HamG}}$ using different functions, namely +$\textcircled{a}$,\ldots, $\textcircled{e}$. +In this algorithm implementation, +the embedded PRNG \textit{Random} is the default Python PRNG, \textit{i.e.}, +the Mersenne Twister Algorithm~\cite{matsumoto1998mersenne}. +Implementations for $\mathsf{N}=4, \dots, 8$ of this algorithm is evaluated +through the NIST test suite and results are given in columns +$\textit{MT}_4$, \ldots, $\textit{MT}_8$. +If there are at least two statistical values in a test, this test is marked with an asterisk and the average value is computed to characterize the statistics. -We can see in Table \ref{The passing rate} that all the rates are greater than 97/100, \textit{i.e.}, all the generators -achieve to pass the NIST battery of tests. +We first can see in Table \ref{The passing rate} that all the rates +are greater than 97/100, \textit{i.e.}, all the generators +achieve to pass the NIST battery of tests. +It can be noticed that adding chaos properties for Mersenne Twister +algorithm does not reduce its security aginst this statistical tests. \begin{table*} diff --git a/review.txt b/review.txt index 796d38b..8ec57af 100644 --- a/review.txt +++ b/review.txt @@ -1,9 +1,11 @@ +jfjucobo16 + Review 1 The author first prove the chaotic behaviour of a family of pseudorandom number generators (PRNG) introduced in a previous work by the same authors. These PRNGs are based on iterating continuous functions on a discrete domain. -The paper first recalls Devaney’s definition of chaos and presents the proof of + The paper first recalls Devaney’s definition of chaos and presents the proof of the main results. Next, the authors study the stopping time, i.e. the time until a uniform distribution is reached. Finally, they evaluate the PRNG against the NIST suite. @@ -20,7 +22,7 @@ The overall presentation might be greatly improved. Another concern is the lack of comparison with other existing methods. Such a comparison should be provided. ---> JFC +--> CG For theses reasons, I do not recommend acceptance of this contribution in @@ -31,11 +33,11 @@ Review 2: Some concerns must be noted on the practical side. It is unclear how the algorithm improves the randomness properties, as the results of the randomness test suite is not compared to that of the input PRNG. If that had been a perfect RNG, only 8 bits would have been enough to generate 8 bits, in this case we need 582 bits according to Table 1. This difference has to be justified. ---> JFC +--> JFC (fait) The removal of the Hamiltonian cycle adds an interesting twist to the N-cube, but the importance of this complication is not emphasized properly. ---> JFC +--> JFC (fait) It would be also interesting to see the comparison of the theoretical and simulated bounds on tau. -- 2.39.5