From dc33c33dc205e6a54039c8480982cb857cac95fb Mon Sep 17 00:00:00 2001 From: Andrey Miroshnikov Date: Mon, 27 Jun 2022 12:51:03 +0100 Subject: [PATCH] Made svp64 rep svg, needed to also export to png to work with latex doc --- svp64-primer/img/svp64_regs.png | Bin 0 -> 78126 bytes svp64-primer/img/svp64_regs.svg | 919 ++++++++++++++++++++++++++++++++ svp64-primer/summary.tex | 2 +- 3 files changed, 920 insertions(+), 1 deletion(-) create mode 100644 svp64-primer/img/svp64_regs.png create mode 100644 svp64-primer/img/svp64_regs.svg diff --git a/svp64-primer/img/svp64_regs.png b/svp64-primer/img/svp64_regs.png new file mode 100644 index 0000000000000000000000000000000000000000..d1cb12733e7ec3a8fe67d04e6efbea0c2bd77716 GIT binary patch literal 78126 zcmdS=hd0v_@-Fdn9Jns$JCTuGLtv2`O4?6eUK8 zO%bbBt#9=G`TQQg@A?D2_wkU#E4lY|@44rk=Q-zjUy0_XdO&IpY9b;cpn<-Q1rZS` z2N4m;A4+noP>+)0lJWY zd)_VqL5_ZpiGqTHq};up`a3)NJeKnIb1lHD5{A7_WT2yUKlt?~Ht03e!FliQ#HR0S zx%EK$O*JctYFJ4S)adRT4B}3T&>d&3tlGE2!cROB?|39?8OV`&fe;G!H{U?NxbgEx zN29QV+i62VkqQb82bh+owlEFev#q!di}L z*U&p`*bu{;=@8n~HDKYBVkA)!`QO-_U!-P4H=WeD`r)%EO{fS|#p5{>1SWH%W(bbC zRvsHxNOniAHp0%1Gqicao7h&~-+}+CjTjb{_k!Qt>#11=Q9>eNr$ucvny5h**ZC{UM{je0OJlXf-h=XDv? za&+W}k_+uEM02r+=Yg_^)x_XraZE2-_i5q3U$7_66zC_~Xzcy1=f{V!?;H(p48XC} zGrd3ME@rV!Who5*B$X2+k`gADU!a%%eK7r;)got{be5*=s6#U(eOlz-gd}ks926va z4X9hQlv`2s;CEuYVY*X?rz~y-b!LxIQ;_#{PSZS!>S1u)0|uG@(%EGquc+6>Rf>CEq`*u>tO zmHL=>v&HX0(X=&@Ka2(zF*EsY1Y$>pOmHuXsuIK1@cj`v7(# z+@{Uo=Q4G737RYDUG9uFR=?f>a|ZYb1;R6oL^vGW+F~rT4PCXbGfy41yF_rTyUn6q z-fA$vq6kkk(LAY@oAycr(5SRb#F29x;Df`QI=gS+RG?07Ep8>%#N#T*3Y#kJe8UR; zzUrmE#IYTY=+>3k9PX{Dk)gI!atAs7EEfVi>I^E*iYd2n8xtZvpP?1-xt(+qSu{g>_tz&-tk*zK{ zU@hJ1t4`Y9(G4$!$EN{U9dn(vuf^c_>|}!Zv_A?vsYyXEMLNi&o}E4vsT&Y4J<=gf zX~S-~A)X1PkfyYwKoI^2%oBWL?$V^ol{Q8n^k$&9Kl(Za?I?<;MR@Rp3^|N=WS02) z{nc}O-MA#uXw;$SW}`G7b{OhrGyHTyvQEOTq*_5*^$#V<^XtRUa|VHZwLH}-l54*vW9sw%#Ex9$)cEO!v%oF*e`-S$EihWuUBsMzT zVfIN2qwSJX4Wz5&rI|?v@a6pg6afN*zUUFVI-%uBw5$1q;fWYPj=q!w)N-tdPSTdj zxL4{`fAxt#kK_AHG&;W7dEbkRy7f7r@$!wY^j%%;?mDI&&!uA;tpBCuDcj}t-3k$B z-U*~a^=zD8_4O5iNAReC&EZd86^gmXZcnd&gHLfE-+hGr2(eGNQq%Ia6uUpMVK?Ge zcH6I)$_I0?+eDeU*{S7x6U#`88vV1tTjA5`Co#;XkDqz#?9U~#_7fsf(>fwK_p@zq z?5(e@I&V)1=dr9b;5f!MkT!5PN-Rf&*;F&_(2Z-={tNx&HYLZA8*Nf63q8I2Gmb8P zxHn8ipdUH77?Fus8bQ4p?y&y23)$S6lmWZ9aq}&jCu0Bip zWTxZo+=lTTJ$qhaiJs^fV-^btpk5DgxUH)_)GYup>-mm3lleLO0>LUvFp0cuwTA>gs24iRA#wK=f3!GK<)NQ(>>Ivz4?IsFEz-gpi zD)2~!7{hjKke+6lV3%bL{f-f+ZcW^GS7nm^?Oq|W@I+!Qn4Xh5`?~;MQM{V^0aS@& zA5oO?&|u0N8e++aIJsqyHZ<90pY#&V(TutY9^3Si*kQvVqu2^)ugvqEzWEFNK3?qDMq}oTj`eGzDgT<4hK7H}ECtC{&p+TLaveP$ zygWqFN_-R@26BcT+-#7V(8+4U1}f;~6ffp%Gufz*NrEWO?O+;CN)isv@LoEvmd^Ae zP-n(MN7n_YooXg}V1tj~MMs_pk0?SFZwwuUK(dQ*5!;TnED5WF&z~MXx`GFK(df)- zgAQtLmIk$y{+SESQHK0UGOGH{#occkcGMpKgGPK4!^7p$sXgx>kM1HEN@(1;*k&wn zz7y!4rjO-+Wkvc=3G3B)$88}Kd|FTM!w%lxQH8RAe@(5BG4cf+bTI$a1O7~v1gg@KX+TI<~( z_5|`-S>5|LnvTwc&O}JjeOoY*A_yX|63C^G{#sJ`IBc^vw|>vpwm%-Tx>4ZVBIVUm z`Jh$z3W6+{_HVRy*$QuvHaPlYm`1O8uq_4Z&U%;PyZydB82yZK-R61_D30(JZ+QDY z`K$WeiV|{T1F2HhZ7ayX)mN6>%SxY)e0$S}0pT?Rbk}8F=U8Z zh4G<`#Kco~H@lk+myg|NCpZh3XdI*%K7eNuBrj#UpSB9~H67!Zx9Ap|gI19>gDdrQPT^*o%lB?=VS z8(H{gHAKxL_&&8b-QKgD#XyR{p7xtV&dj9yKPfi0_F%cyGa6S~lsKu1lY%M-IyP{% z40G~Mt;lVXC{Eq`N!4<#og0(%=hsr8|MVgG#a51Fx0LFtGy07m`|Z)vdsui!%ejQV zr#)=>E?E&dk6CSp9rmJYy6BF!In(C$k(?AHV`%vED!e1k{s=8K#yZ?caS6bwA8p%L zsr`b$7+<#($?+)viutp8%+yfqS1~nbxVhR$a!gmglAC6NKz$9`-iIq-_fS3!XJnhJ z4FqRRiBYcUn3OwfwQk(^xwoWBrv1?rO%jW1$P^Dq;YCXsjWxQ1}yX_ROKkNSgtpZIGp6{RlLeR$cZ)g z+`rD3(u6c63Yr;3*DIyi;>_qDX@({%5pjZlEBSWeMcn?bRPS86;j$X_1hQ~24?+0) ztwo%WaacD+P!RXs*pwY7RcRzBKzo}1ml#cFb|3O_*|FaGn|7&ps1;QPs=stg{Ra7N zR}xkE^v=rbwX_g#JHstrI@b~(hRl`lDN>T8n86(}O;fa|ljAyvAsoO?cXpQ7W21_t z>XdR9dfLNHRMM=cUgR2Y1K>Tnn4qH@65qrq273pGcDRbIuT16vMs;&AK-bNNgmXnk zvThTMbLOzt$bSK}qaV3)*C@dKw=X_()UGy>B@M!v0~1t%Og2_ zp$(9e;ZMtOjRNfQof19*UscFLXhD-1)p zY3`Q^^s8;UhTKaHEXJkQ-hC7@e9B0c*}1ABSz{-kk`VuRkJ2Y-?b$WA3oeOCpx9v9-6{4y9~fzi zr|2B(E+@Np?|w6inNRd z>yLz?-eQKYlcq+vpPJ-H+NUj8t23rEyw}v$5wu^=i0gRIH_0X;8qC7tVcZ?cnDg_c>r0cM zqgED^1OqjFZRuU3&D)ATx7JBhc<@ac;3W}>seV6JA2NhU;H@y)oP?b_pFE4EhvL&C zB9fPRn4H*Iq-lGjU#C>J9P>JA*#KC=Rr6Qc%4MqEd`v?}|M;sKX`B0BJCvnW#Sx}N zqyJ_ba4fqM^2kPRS7o^*z>8uo#8vVkb5@ma6)cg*~}Ol15y1?%UDQ6G5mAaN51$K>3W+|0?~ z61_w*jtyrA)xar~9ymCwUAuX=Rd7KM@enSy$<>}_i4Y@=OvS$cVjp+@QDvx8=|sfG zEa#|bn`eEtgTqJp#5$~R1-jX4d|_^CnuPYP=31-wI`eUZWmFxf&@wougy;#J-065lrm99I^7(zl3>Nc@LR~^ z_lt-Z`resgIU9U(mCEweE%z=eo*vzT@bo-I-Q?c}W%TA|s?Uc;Z0<)T9>{T}0CYjl zR5*CJEBSUT;I_I|o0#;VWYWqFvhTQ`NuK(}v=<5z>*rRRTolaj54-&AR~ip_Q!HIV z^M7dBV}O{DzbfG5tw%TzWLxW{GreGpo(L`1Vh+WA_-5*P>qjWn%p#)C!uzMd-|zzM>G$Qz^^7dX?MVkCTq%}xVYH1BX+z@t+?u69280kG7~CoK=`zu- z0@S<5pZb*~{?mI5z*j!SpARKP#@iLjKHkX?Rs1zxq%GEt$ScO~AwGUt*SKd-Eb`k( zj~7I}hlyj4ZH34{Vm&Ad3aaQEW7@=@9hDy4{K}Bffm+FXF6?--C;E96X1L5y;#+>g zvdE91>BFE=*)1K{>oDk z7NW=(fQT?h?S*ENj-C}es$w)AB085@9eeN=f!e;qK_ZL5c{&HBMijg=oU+6%1+!`s@mH}5KYx=)43P9M9nk1XTjDc;Ih(m1E?_f<`6QD0ITm2|U{V?$JIGuy z`&MNcH8F`SUwb_lSlEvZv`^jI!#WgAXH!g{gdlIG4W;WNB(nRE+5hhRe|gbQSS8fK z=+kooNhR1QBNn~%KJO9neu6#rZFtWVqDiefWcpSv=F5JAVZen|A!ypFGt9T)?br?W zhdNVjro*3QcWz0fv`D^p1Fnq#TA6+vXo}7Q3_E*x{`{G@EK$cFW|aWpv+AvM70E5P zgxszTQv{Y}20SLmL% zR4izgu?e?sl^m z_o{c&;9S|sp=~?6a#pj`)^@h_+VW`@>(eMtyXv92&B;H;f@=>e&g-9jW=aa2GRV|K zzN6dkuSnT=F)-7_f*?C)I_B>U0~3#v<~Y~BkDSN=GOgeEt-NdarfSjHqy9S)7%(e2 zeqq7%>a%+)Gcm!i)NjzrTW2@Ae|QryOi2$~j};tV#76-a_>}v{K_2Q_Zt# z7{=gc$mvFw6Se4}1mTiuS_C}LSK+PNJ(=KEWl{wq2U2e*hr?C)35NGVa-?8ocCEzh(dj+72C+ut>IC*suj!nYgszJuh84CC7l&t~j)x<28dnohMW|b- zWVx+r77WiTnjcT_3ADQ~S-43x*+CFIinN%?aqeovN8)b`Kc8^K41ZLEdGl`!zTX{k zWyFCn*FM|98nidOP@&p%M3K~Ij5N3Hd;5l^dZY6{QOtxzy*LP!NUhN5QJb?wx%LSY zpWUk21fjNJH1PZBss9S5w?>CQ2S4iy>e-C3Woe*)7UqZwM0I*~JcbMzJ)=+k=eRs$L**6@*aG2~Tt4FC z;F=U@qt#&1WzAG8aB4(afR=-Yag0y#;pvcobCjy6}$Xz~$ zkXbTP7v5a-#W{N%TQ&aikoI`u1V0rYYlBqX0Z7-yr3qCoy5KY*h-z{l{zGmxnZY{* z=c~VAk#?uGo$L@@X0(-N=e8Xu6v4ZAab7bG{xllNWpx40Tm~Td05iacWLzmiDM!R~ zWGr`Q*t=yz82hzsJ~F2YNp4)jF-Z(7lAWqoC0Qz-CWTq;br43TDB(##&U;Gmg+^7Z zF3^>52JZ46e^ZM}IIw>ds`@K=aW2lXOqrT9`Wf3e+D9Yj^5;l2k+wg)F2W9B=-RoR z%Ii2c{S3QNJG1}AoibE|LaMXxX7Pyf0HH#k-Y7ck7S@gyyQQ^QYCJl#PY=L*6SLGk zI<@IY1Kfy#wTVX7fA#=(8m`@@7xBzs@n=U|!%zfM1v787QHtemy*My$;|-a+UtwKU z^Xq{aLA=!#CG^F3$oeGQeH_4CvJ#(zjRz_zv6ZXVKUh+;LzJ3P=;TB_w+vKP)eDO* zS@83)`sFlGNDOA$RNTBR=Rs*6V>uei75rYmH!~+lA;(shMEw2^8G`*#<*{l0R!2`f zwU?>(Jjs=>>1A^J`jM+ZWg)_2ZR|eI0rKnfF2qbHcx{Y9!h7Lf#qH5tOa%_)9F*PB z6&*Jq(AxyyWO;TIob{M*{U#YNQ9DKCroGw2xFME$Aed{@w&KaSEo5lG8S-U-3mQP5 zCL-w#27i^JQU$gW|9Q5-;u1VWB5@r*zEH_XkR3*pT~&R~G3X@0Y2R=&7C=@!ES-ow z`xa*3>$0KFOrs3$ahbee*kC^fu>{9rV*s+*sJ{?1!)BUJA=LXS?#@%0kmp_PDnZU# zgHjmCMSb;m;$n1kdB=!y({&5gDAU@CF14uQd9}{HU*_tm1XXDHs41W>4p+gxy_N(M z#|k(MHS0-DEH!mF`+1Li^T+dT^(MIINIn~ClWi4&6p8-xyMa0cG<~O(^WKKVcoU;A zpbWbpsB-fWAvDofc}oD%7t3}Y`eR;l=hzzdVNkyafsaV1(%wr_Ox2!sT;T ze28B;QlEemPXD^B`$_Cx(s@*+$ir`;PEZs~4f%NlsH}4|Bxg-`3T0%A%YG0kSQjn@ z{#?8#OX#LdNx)=_=jE`1>XU~uCkj@EA(S~p7kuFT@CYM?DzJZ zH(dX>pyB_7i2C2l;=BwLgQx?paC^;hEj_k+6nfA&ZSjI9o=4uNGpZzL##2CoeeEvM^wSoCKY0t6GXNtD|d0kv}JwFn_@N8>OEc_`rztPW{D9d292$7g0MW8q%f9rtO3;3liLI6L~W!3#u;rz}y|LBe4^^N~AV|4lEPn5&&gs;5u`>cQN~8Z`axS+K8yrqy?KlmH~H#}Ux# zEjE5C&Bi&=D#n9~hN-|8-6@G8iDy9J#2&^MYJviGr|m?6*pQ=j|cp6N*m^BUGvigUFXfgHEDHC7Gw4zwVypy|mSi zqex^r!`0)15I-9Bb5UN`E5CZpWHAjzrsa0~ULc&qvUW~LmBS8gB6plsqj)OZmKRx# zTubh$c_1}f8H1b+P4u>Z-XJB1h7cWKxc?lvpEw9^G%s2a6~AhbN0m@=tFlBj??LXMP{YBwWy=mD#OT`A z?eNVs9mM$%?$Q4Lo&^9wc)BC;2j}jyve!6enA8VVp$ZkfsNPW8uGzr;)0JZ`cnO6- zp5u9**ZDiuqXrJdOq*+=+(wuqE5|eZ+`z4ot;;xtLYrTTOs*VyVQpPmvyX|l+~M!a+w+IUF=%VKjEy{tv` zyR3MUkG8zO+o~s*MN`;@yt@0{k9aa0HK?wd32PId|4#6F)VGy1bD{8VV^C^EU1=Xb z_qYSX0rggHg32=B9o_kv*f04_J-a^zNnaHZfPm5(p!Ac zaK^_m*Li^8GtmO|mL0mO;*cHE=)YSte;*PKKZrekYjWj3Zc?N_)}k zo~W;yW^D{lN&bfkCVpwvmXU)se*XbA3()Ky!{Q)kbx@&}5Mvu>!EZG(AICvZ6TJSDkCs=A!#^ z;rtinpp(yW*n2*Ct^iAy5Fc~PQO<}AtvZTt348*h)IY=?8(B>C&LXLfy#_)}K~7dnKOYIC7UB!`s*7)0Un2s1&OPtLL7EZ=@< z^mi|A8w&qfqB>n*vXdtpkru7;^dxYO;sXgmJHU-1c&C}u>4VJokTSTMs`ywAo-R3FQOz7pf-qZH=FEmS z;_H4l{+a91OkBLCz$-_Ud#1Y0JQ>%6zvm?EQgu_wMf2T_kg3?_oRTVr3VeEz;kjlN zT+DBAd!}%Bj(9qB2TDE2P0ZUpQvtq76%nq8uI;c9hyTv@S%eGOQ+=*Cj`LKW)Cucz zbSGzpK70X`3>#0F7pSOf*Ei*sAKs~k%?F__AV=#y756uW5bTvvyi*tc6-Om~Y8Nrt zp4^nGx{-`ST!{d7e*}?G{{AiPqTVPZ8 zTG44n$S2FoZ%BTImcmz+0Il&&D(bc9_98(K;M{ocOPy zH@!-B&C6O4*B99cIfihZDlbLz>c0D53gqiQLR=cYL+j&Of9(^85Hx=d++T0g@6>F5 zG5^xM$}Lj?G9+!!SiMk3g$7&oikS~2RX9*UI16YTy)Fir(w*|jSC4((xMuIj&)WTU$l569-q{36vv}yJ z!O!99)Q$2rgXmC$H!My~>>7Tj=hlxRgup6+w*;%pAT7k4Bf$%uWWd^NjjYv+--z%$ zG{W)8qQHh;%j&w@g1kH5RlR}PPT6$1h&$*}>FRRvepcO__+s^(mV20KjLtSw@E?q+WLOoNVb9FW24Ax<$%&;h}L0Xr&5B!uqVG1UI?j#Bwa zi7$9ZbtmA_i4^2oHD!T;$|gmH+~!SqhhyUO`pRG{h^}ie zA>r59EH$SXSbndaM{enZM?8>|=3!Dcw>kyQqv$4?K$M?*_{f}YVQhByYt7M8uBW5d z)+(2a#1Xg~(!4_Vsd3gjPd+k{E_mrZ4LJxQ6h;PIr#mJu(P3_%{vsa-N5~5X)^lEG zR9$x3Ii?EiJXboTI25m-9;?FW?oGbC1jy5$>LL@u3bzrW2%0?yr_7bDXrRh(;AW!T zb5K{`YCM5jRr=s)@LR;`@H_jXQ7FW zhc>Z&A>xE)@oW2plhIUY@jCv;Y@Eqg zHl$?A<@0TWQPe%1*X^3#;-9esb-}E>szblm#DBJEmVO_UqContdR~@&K;IEcc>qBt z%pLm(2WCD!b82+V3T@qg!^PqbBrK6F4G5oNHbTv^9Fw$&M>6K!RCIOBJU{4)h6Oyv z+V}RzsPo!f5Q8(1f}tW3d1uZNqUYolt4=&7QCjNpK$B)N8uM|0J*g?W%&Kx@ikXD~ zBN9FmENl^5Q}*1U-U00|1b4{6TF~}(wA4sc(!q_*=h(JZ(#GT-^bm=b*^i`m9nL|( zanb-5@M&X$Npdi0UV@`%3V?k*zDCUezw{lTG@cXyQ7ajJ26I)=>pENac{t)V%T+?y zRw2jWO04-L@vFo^+u0AA9ex`J>ZGT(6=DwouZV5Orh#og)x)n=YLG8vy&z3TbNddo zbD-=2C+A-|s$*UHLy_{Tn=Ao`U!ym37d+|Ah{7D3v~3bdTMtQiPXk_;-iv%;(l95# zKm3_sO8nvVJb#RH^;drE&+`j~u3C|X3F7>C4-e<_$dW7T3ivY6#%nDMrbnB?_X|M^ zfzcXnZuXH+9L@X0UU7rMS30x%9Mf~g?}o_<+G|(O<~WhD6QL0*w|?nP70b<~L#`=F z6DZIHkleex_Gp!fIJ`}C@-kJUFCn3^0c3VNW{11DOGTfl(W;5z#*`aTwS0AA`?fHS z(}-{_=}c80q#xv6{f*(5id;t8GQqdVl%&>$rL)H6i8wP9NI7NC3xW#-%K52Si7A4F zpE6gyU^4y$Z)*1O5>ut)dG%Ij`YdjRUJ10eIr(x%Tx>q-mO`cA4;b+?pHf%L#&)8? z&#-B^%+@+#00%>YnV+}COK*J#Fyw)~8PsG`YBC5?^)uTGi@z~^!$#i9@7SfTIAAVgI zN-3eXRy!N1b$q-ih6@F-F;M(V!21y@$)`?1>{0R9Ep_hWd&yfF{AF;gYI#(Qp;OQuTP`Z4sHnFhQYLRqLgCim$;?<`RojumiT?gD{T|%BPLd9KF zhqYpFSPfHHc1{U;8DuhRtDgwdh@{vHx zSU!Z*D>196leoE)BZ@8Cc6Fa`}0Ar;Hl1&g^&1@AT`xPIR*i_J<{GhRcD zktI)o>{D7i-(SD6pEMBnldADEU6s0KxA{BZ6_YbiEr=)A-?i+d@ogxrq~48@NzUb{-s8ykSp@be-RXB6wuuZgqV|P?Ht6z# zE4ZbeQ^hOwAqbk8j4bz*j3X9OgC}nYt3K!&J5QYd z$$U!oiqqno2D-E~PG6UFCa3)rLldD$_iDRSl#m%{mr7ktT3-5EV+l_xh5A13eqjp% zu89ObLF0wRvgmZKNV2-8|3B-4&?Xyo^6GW%HBOI@13L3uJ11FDlcJ55t5OZa#%sAG z)AM4lEI&u*1zf*UqIY)rR1q7v2GlxArX=*%jC9|Hq>XXRK_9N+z$b&k2CSRtp=^0ceLx1q9}lH$P8`Q8IUo$r)rh>(*p8z)|MPWjhaR6W>0 zQSb)q@6MQK(iV(G%T_ela7D+aJ=Xl$b307Z19=H$npr+fwg@EYF?!)*p z(*Jd5*OKQQvfMZ5oEMnSZk+x#ZW2AH=9monrRl&coYN_E+IiMEZAJaWk(IZ{k+_Fb zl+E(J&62L41;J-RhffYrkby#h@=i3fw)Lek9B9l z6+~SnKApPiTqHks9q+#O_fhM&ZxGZ!53h z+1noS^E7HRg-c?=CGykeFUmL>mc9^y4N*(VY^7(}XT~v-j6UrkJtE#PpS=d3-W#9N zT0HsRUzy?aI`(=*6UZ4GH>SteO2csAKMtTpfEk0i#Y-`04z0EDnaXc1tPZ{ly zaNBOilTq~Xl?Dq2%0e}{AFiQ&QQ>xL%e@rd%3L_K5b6-)G4{3`xBRNWis1?Lx)1zx zHUi)I`R{BZQ`*%gB$`N8%%i=3&rk4#)BOM0OcV7(Mi@6dPo0*B_+}5GhAGVq)<;2x zNRn^D{4IRS+k^PKug(GKJir>S*-~@>28nV=7Fp52w@{lOCQtX@FgLOJj8K-OLw$?m@vBMUQyrr3s%ohg`@$PbX{)9tr2Yyft?w*mEkkJm zMf;X;ac`}mJdi7ikvUX+MC@Oe&JUfTREizcrv0v`qQmuErVqWS8n9}O+>LJ-E+%Ru zB_pc7ZpVo#5)It3d+9!`LG0?R<~m3EOMJeEw35|C=fOYI6V+$pEK7Pu+Kw zS4{dTu!PuOym$VnX$|5za#X`*8c$oc_?4q#p>@7^V-G=oLa!a;T++qEE-2mR$kwW2#->eD>b%Z2kA>K9!RvryXkhhaH2O}LxNm*aeKLQgG4w9VHNT%P zO3RlR7hb}3%;;mnERo#sn4jdImVrK!P+?ftSROp=U^pzV&dd5jcKBzW9duY0{c*wF zeVtNRly+d*2f5<+%}g?2f4*+nN6LJ@llz&^uZx|>1Z_x)lP(1a9#bh^%KJWKHixQJ%0bOiHmxHB$+Xs(`nqc8=x}#T_9Hn19{*e zLjCdg`Hn9&)EXJO=1+db$cBs8mo;(iWmSdRus^Kf{c&Yf8F>UH7yS^4GJ|1Z#2D;U z2uf$qSTP6btjv`atq~|p2pm8R>Ri^OQ5?j)^#rEtjvLFLQ8@4YC-PCHM9!_CbNHzm zn*)Hi2MebEZgPc`Mo}Kex7ooxXKGN{im&UFC^p{;9(dfK|Niafr=f32o z^6^ZZP}A@hR^I61BZ>qdd^Y@s6M5*&88(N92jY8z_G1T48UZY^k}1eV1X?bp_&_UOfBkM6VajiA4l^Dz6{v3ZqLfiI7#$Bw_t||j zoI0U|=za8H>eFWg9ApO7SPehnkvJ&nN;rL5>MC^B^nMCs1xW1cca#{$#!O$W;g?r* zFTe+YNTMiY&Z+3h>Q>}ZeBH3>K-9ChDTBbbF4Ai zHIS^)&Nb%RRU0g=kn*1Fgp#bB>}ZJ`L;1pILMu}pZlvKDO41mz_pP@`Xcamag&}5B zrP(_VXa{UaH&V`76cmi<&Jm6=NpOH9rV3fXBJQzM+sJA0NQC4qY>xCh|CYa6%_Zw+_=Cu-p=6PrKMo0sZc{HSE zFtk-dkP7-^zHycNn;KBiU!O_+V~MMvLp^wOo`_e96bbl%gj4Z=y1ibhQfwCW9?HUb z9Xlwty*dNoCU=6_S;ihtcJ+#Vl{Va8I94rDkS_YOKkh+G`>`=3t{#|G}U=;zGzz}PSr8JUO*r5gg=}-PTQu1LMwrvfA3^|CkS5(#kSVD z6xyh%MAif#zEgQ{;Q{*b2fAt)EQ&`GN0CM*SPo1lZ=#XN-st3Rj7e_JI8}?{#cL$9 zTUJ>n9F8$>8^0(7$NlkNsq61c{&#cXl_o44)s5nWSX9(G-kLM<+ArhWqpTtW8((2m z^%Z9_ZK%Z%KhZ@7)q{Qj#pt1ud>h155z@j~vgmXG52$c)G-;4MAn|*_?j@ z5AVTQlYpShrsDATl7xts#RB_M&xai$nxp5VZyZ7UjrCWrSJ;ZG4X=ZLgwoRD4Wlo_l5@jK$K z0(9|E&sp27lVRL7fuNTj^q~=QJ`wrg@U=rmPxP|aNhyj7V^XRK901AnAy8)?`NEnV zlw8q;tC}RI4=+jYI7MlUgDSre4p7G zDqT`IBQ5F{w>C=g?}bvsY>P$Pw2~_9jev6XXTpa~YPgS>iX8)qF9NEi%VvnP)KJ`m zqitOX9u*1M26&yQprU3jK%gxFRgaD96$y`(0`IB=HrN&EkA=p?5o+uHiB-PE=K(kq ziINksfxweydPTs7XcKKPvr)S`4^8|B=gWpS=)q>E;#!vAYp1Q*gs1JER0Q3a$!r8l zQ_*#ZWHE0l2R+oge zkfm=ysId`jOt{WV(xbgZ8OPI5!D~hSj2$5|-hVBaz6IJrC!XvZZQIVl@=6dU;Pw#f z#uHe|eH&O|DwxE95pe%C=0fyLotBq4?8dimo*bL`v7+j#G1({F^}L(*ZwTxsFr&8` zibH&B7N}0@7X)hGj)G$oJ92xp?%;$yZVbUoA7?{`_xQU-OPfh^hIVeP8*SOc?QoZ| zfBcn<-vy&#J&mhR4IKU+g77COxee45hx{)!5Vd4E(H-dO;a|D!rbNpjU~BG&Ukn=E z(S?JU8Mc#V3Jk?5=Ol9h(UHDH?jt=3)C)SSSjg|6grt1k4DB(}>w;N%Sh4ZooyjLS zc1F5*9<^`3J{#x#OdjD$(sL4+5SR*jTZYpbl5#V`7DB2f*(z4~qzFP zje+L(ay<4dl+n#TQvLB>4!keba~~zzHatr`blJCxU)CBzPc1nhBW^Dp+{USU%;qQ{ zW)W)c`3e>zR~E-d;LgDBTZ|5b-CeR$zkykhCi)=~dz(%r+Bd|FY%M=xY3u}fe|K_z zK75uw^XAD`*On76-R>62vmX+T4bARCr50dz&T&~bPUU@;K;ky$z)p4fI!}iq)%+Rf z!xm>&6yXU)v!tka!sR`B*pEGB2&;eQy=xgfoi)Wx&C&6^UF@$(fwdS)15G7 zTdD7tesz4g#^|!>d5g#8jZp~b+O3MdD+j+moRh8u`9yejZY87ceDLh*fJuL%z2K>I znFaA3`;5T!h$3$#z&`9&(tP{fbt6zyNF{O+v>=0f$vT5Ly>D|rf1AMM_i{s zuMskX;dATiLOArfIkG_QoWGY&eC0^Pt^XSCKw`S`_bt|zRrwl^+7&ULxAkOgicMbQ z*<4p4;0S&ICi#1wBq;riZtIl4=~J|S0=DwiQKdI?4-fpyA-{9n)ZMztSf!PydQPBQU&b%QajyPNA6>Q=Tl~ zl_<^%5x(E|Jzfos%Kag$%PRT0`B`qsxh^&vB6{G5do8ySm0}raD8eQ-u7LhKUMHCY zBD0FsBs{eCgAo&_*;2mt)6fOF`bFp_$BQRo9_FMCLXM9a)D61wMh!om`@VSHlBROp zq(X6ur%1ae)>HY>#U=tkOk8 zD_pUMxz6902yBx@i$C^n8p2``+S%>4IT-aKo@NRafmh3xGvhW{ExYk{J_v6-F^;Q! z*12bY5j(I&ADL#h(q~=Ja`5vk&ZN2&Dq4~M%M0V$!BPM@6gX-xlJBa;gpm=XJRlYi$mbV46UFg{2SD|d#=V_Z}CpR&A?cEH0 zh#5)CbvmTY3rlNiWQRh{dAppT5k;C${U;d@mJKM@8nPX?t&aZeK80m~lS8VsWX5us zF(;G_=gIoh1&nU6>||iE0xymF9n!SMiJyJf&+zjda zc~zcK0R9!hdCUp7|D|K=VDnu1@Ld;4CN&LUD?YJ%bUlU@ z6bmdk^UW?~QrIO0Chk#y%Lx9HC{cQ*$EILgJm76j=ci-|p8*m?)n7HOcv(uA`H zx~2L=gS_dnH#7)8XE2ICt&ZIa*x0+p!a2@df2{!HLka#katGsjN+K>O9oOTZ`VKMq zLv|o+H{15oCjVJl^Eu(E26-0f>TgaD7H>BWRO{AkEk&TzTZ0pMysS=?3p@!j!VKLMtUPp1NZ>i&@uXOex`fFQXca+Y{jMVeh&k!6Q4dJ;k~z)OM*jv0 zDhHwYR)f6Wx}>ap6NIKXwv}tdaE$O&6u*$jKZ-i07D2SvBh&a~?vH<~{x_yIYp*5> zS0bZ`#;JsjJIL@1guam?7bib+m2y4bxNRoU1%uw(uQ&dczjoOI9K5Kq2<)-K<_G1* zzpy~*1S6vYstD_@bt%PiqfYrk9Ef`G-Pb}h^f2Nkg8h3;>4Q=DT=#_B73gytG{4jR zE{UaWuPkF}KJl6IE1#{&r)bFS%tp(Kq`hGLb1~NWMXd!L<_|DtqfS~N6rJfG(sIQL zC4*25V;`L!CtRAMC1x2&32td5J^We_so|I~#In#z;ffw+n-ezPSVZf9%EY$@-#^-w z{__c8sQvpq{czLq=q327-V-3GGTInhy5vf3_4EBNu~TY>=8YO zeIU>9WX%6T*;_`n^#$#tNDIXa1czV+g1fuBLvd?@wLoz#RtOY#r$F%HR%n3&g%W~m zfflzyad)|)zxQ4Lb?=9J*Zp>~);W96o^$rhGtbQIh)>-xGPvm=#b$7ZJAtfFBHK{F zfy?&*b3UR)WUTA_k;>A$+x-j5)<%y7D|u&d4+nyQp<3;cRr*mwNz~RgO4gOu6@itx zEBo_biPxK*2|RB0F!l4WD$FT;-6Q`nvv-5z5r(NGqe8V4<5-*G~DG^w9_d22Ty+X815EGZpUq;k?7G^ z@sHtMhWgt3aQ85eR`uBBX5jzFbyd8;t%X*G(u8DT&H71a(mZl^D)$5bhi;pWcSfbg zaKbP^$wwPSQ$23Gl*Ym#4MM4T3qK;WKFK|0U6zbQM?&d(_c6C${aD6QjM^mZ!iCt4wvlRDFf9 z&OY-vZa>ufp|{En&I4&JdDAY zW;H-98ojB_!Z*@a*Q!|HU81>;Z<6o+pysE49hF+i?0*=|hZSPqeAZ8QH{n7Y>5$RX zri)U2yosyiR51c4MDW5h8@>=+4~MsTWbZk9z&#n9a>G(WhK~fw44j$MjiGu1<7(Wnk>u_?Z|LIl7blT+}%ulI9iGCH`8oj%sbRyz%4MrYjlA z9dab-eppMEd3cR8@pE>J2cAiuAU%?Z>QP?XOl{H2Ms=ddrR?!(&I;#@e`T7wN{-5H zhS(;|+B$al`&w80+R8M3^!!?u4i8UIm>u+OZP>wEywR5?O^e-1UECoF$b!xm@XjJ; z9>^xPF-b0%j_-L}@~0JBji2=}n^<1n>zN~S4{*k)%*#0Yd}|Xm4*E8c^$6r=iyvS;RA_@8AeY9l-AbcDWf$ z-!!4Kq48jN`E+7^A&2_(nh^U50H5qX8;nP5#t(i=z(GEDkFjjUG{7T0ApVQv_Rdyh z0VDfAkhnTp~;E01G!Q<>$G>oE}leG}m`n?QBaf)}&>kH-}#IaZ% zh)+uDX>&=*rUQw=@%4At`EN-!`UycfeqBCE<8CZ`j{*7n&HXEIvQwfs^as?4q7JIzkktdtUlh;@hBbW z98ar4Vc@?7p_WmT5zmg!2G8^g$a9CofPy`HWwc1AP(7)z!)%}< z4gn^X?zAr?8daw|7!3taD#){d8fw_bXS@pE&%M`)E%362=+$#XzIYwZy}qn z23@djri$kC^!j0J?gu(NDhwT{_gXh{m#@)~i_BD;Blj7XH0ArzM_Dn3uU5uIWnaY6SeVZZqg?y>?`3SE23si8~xHBB+}=GMY4g z#8SL#iN+bNgsb!w{VhX+Y{}Obw!b=clc4l~iw1-DAG>d?_@*C_Ee2^TkGTLvUlGI0t*zFW-o-`zD>ve{%Shnd)V-u8Wvq04WzKZ)jhXbAw|)iET1o zcuoY~Z`m_X_-f zF$h5O&maXPMR{@rnT@L4Al@$s<4HdFT|44>v^${v?~3dCw`}ER7;n`F>bHBqi)ZtUesKSbuqeB1RJHBb7_aKhS%$8#h z&xGLmxccj&{wP0)LACtm9~aXICdDCD6O50#jGI(3898ImupPq`VHzT~B+Wvwct#W2vk=E3eYA%yN1^MaaP zM2j_O!`R}ORR0K{Df1sX(sYyI9c*|La7T_N>5gGC@ssW4Ph#*Vj!%7%5To@pZaqJu zxVG9w-&NUpZSZqh6&t=c;NZUM3W?P!N*r3Mc8y1BocdgeU=SLTUl`urGLBwEu8Wuo z86h4vc(2OCMnJIfdt6ea_An|SJGJ;X`&XKmS;Y@Y_Q!RvfZhwgk>V0B6}VT?5jZ9L zTVEae0HjX1)Y7#A?s%O}yqrv?-mZcH*=g@eELf;YICf$r*mX?*P9j{l&AOZ2I%Kct zyvlz#DUZ!7Bi$$GrlZXG9(y$+PwDz#FH(kw^V&mun3n#?m>5BlCKXp zC^mz2qw{5nNtgcHRW5rO!3v6zZuE;z^Jv25x zr~jLWm6);STD)%WtdFf+@F(DC=WisUh!@%{pI)Hz)uG>;`l0Yp49_?9G>9QAk$(DR zZBmTR>}>y5R^qfuZLqIbY1tnJ1KAziDQ(7KePX}LQlCTP-jP7Ch?Z$j&(^PO61$ft zk07ThQc$;SQkZ}G016Djfl*yfl%Kbze1DUP@uixAw7+LJw|il6@cUGN4fLVw)lJvp z-O5iX9_PyDv?$B(GdS%06!pO~&yO^gt0LNTyX+aaq^rlx%sXxf@Puyl2W@K~Ud5^JT}x6zsC)I+$a0 zP`abzQUcCP_e}@J0&Xf>b@EJ9`a7}i2$bH1${DMl0Xjq5>4qs@))v7D(WPsT(= z2{kF1zVV+VmKCK25%?K=-BDZ@RQm%IU@QVvHt3gRMjrEPDPdjO7gq&m4j4@4d}xKz z0^&)IP}I?P!%X!34fJSERQ9>!^%>D-IyVEYkX!pF-n56(ZMl zU0CY9@xqrt?&7$2Z1-WV3#Vz{a)HbXkgwX@AVn7|h-{=iD6m&(@VD>;Ho{F&0uL@6 z?{21G4|AejW{Mq?N?TbZ&KGFaJz3XKXS>8agyq23gUI$fudN%Uiz#R#8CVv(^NJsk zP2jEWP7(xPSYh2`#Wbs%S@PIDb?3F_2 zfWKEr_^#)=mC9Sn{z2?(si7Nhsa;la*0j}dSpK>|z&j_#+;4u~fAzt!yr_>pwuX)k zGwY?rkIZZ^QS4C9ik}EBG%c5hX5`mrq3t~?utrPQql?gsmFa&UjM)**X+`LT6S-^m z58DCV*Sy~Yb<*W zUKc1~pkc%5b89>P+@wfpm${?sD>(V&o5xUqHS$Ks>*J{Y^f#y)k4sc?FPVZNKQr1x z!I<+*W;P5fVsmAT`WB7i$EHxXV@{dX8WIK#{F9E_rOcM*Lc~MY_S0OeR_;KGQTN+g zUA~>20DJJ)92?i7*S~4ACL0fLzq($ZADVo&<%ehHy~o1?$41p(w^o@tQ)q0u(c)&8 zM3^X};E8?#h}crUGqxR%Ak?$b~Yb4kc;STlOH!eF^>)_u@kZCQ{c!7D4N+fyo zpzuuKU^PzxH+5npqplR(%7e!yH+!FA@}n`aF_kZ_Z;cw?ZbCQY!F2UJ2HgzlCkedb zRlY^ngD{VU8rrI9Uj{Qw}_KYLEwI|r1`y9_E zK!^Hno+yEzZubI@O)rsKd#Laf3w(jaH_T;|f2GSfeG!^PlFAg5gwQ|2=cztZSw))6>2 zDzEZL*Qi8K_|g1;aY@XFHZVLsOZjmyg?KQSGMyI1>4^l5_#*ByK~pa75{HvCi_?k! zW5@xpJ8lyG>JQ%F6s2CLQbHTXt zc)Ovvc{d>6=+(UZ@3Mc=l2F~HcnFwE4$$ARzdImMOAJI2BU3MkHo2hJ9+b0*bq)c) zn!8ZMb8eA?&*q1IQgO86rk3uwbLk?L(VyMVp}WxP`n)B4t&Zi6_Kw!DxRpQlOz@i1 z2kky|WUwSEkW{YodwAVKSl4jZtJxeRt6)p$Cm?lJX;J&j;8#&ny)RwU0O>K)HK0c!Smw;boKoy3w+^+2NmNvA@&Cozs@>v`F3{&NotqYb4_( z$(~5H2CYK;1YQo3zd`p53{2#kF6Nomuue%0WPkq%#}>oc2|g#-j)k=j_RH^U%?2gg zElfYzuL<*No*t^@{n-DsiHq5l`IxRMUIL&Uu`wA+rU%cAt688K-@Uu4_ll&K+{G0z z%P%%=xmH?tyOPo)_kr0icKLU~yE=Q0*7&DRLaZ1Lx)xUsB#xg4;cU?5W{WJEAwZ(v zK4|RO@KwhpDv$eF5cs8Avbt4uAaGEyhod*shGdsK%sgxGWm7=C9Xmr$os@*L!~65UeZU_{q7kPYY7ct9w)kT@Xs5tN-WPs19p z(!W95RPx>S46>~URb46lWft+OggXjmDJFl-CpS0=VY`W;Kxvq2`_hu$x09f$bOl^&%7!j|O_x=po-sV8F`t(qn?X81? zWyXuzq7#wq3B0(pMEk$aQ*=E2>?-tD=#n_hpLrJ{kW`xYvFTJgBl6kpl|@S%ngcj% z)FE=!=`xl@vNl%}D}lHr6qMt}W`(Zhm&Su|xEj9zkX3%M;XjjF>M+rB+|niH=lg;n z$GKAH8MrlBc+MC|V7Q%-9JdzL!k=hEv?2IH-mGve$6cL=HVik@ER;5>=2A&@UAo8% z@iN&4G4_F|WNBb_e=ip76@I~&t{kEDzy~+wY1d|N7#4syyyzL4xFk5lS$7kYYL`;N z82H)sW43wkin9;ZNatDOYo-2qoy$eX6&**Xr{=0F)T#V0rw=R$AANM}CoE*-?B(hX z6dLYf^y2YuCwd$A3FC}nu;^Xnmx(|kK0csAL{|!6;1idOKS&cWlIoSqaUU-i(ySQu zCxayE$aFbR2p%BbuDrxjx#J!GyJmhS{r1SKgjqa4MuI{dHlUS*77#IGix`VZFxr0m zmCluh4-H=#Ywk#=s!^AzTyNw84U_;u!6s;9=AF(0)v~;)ich_BCjQ58R17HeCg*2{ zaULHU<9k!r{xStu^gCdy`R4MjNLu1;->d{0nHmYGF{diGLyz;*)qa(cYr|d~itE}I z-8T*0g}k57FZywy_aSw1oMNXB!cj}|JDC=H<&Cr9v08k9jqlGQwO1KM?-JE@wG`J$ zjK!Qo0L`+ZbQyH=bgI*WDT339bn1LxJLl`!w0J8=kqY}Oz}$_Y>G}pAIPks8+S*BE zL@DAEUPnelm2_R;<;}|MF|1rq$5g)4nGc>o)Ya(E3|LzN^{rV5?A%xWxNdvZx3BCd z5#5ev#@H*U8n9j^kRN%`RH4reQ#e;ttu1U)^Bpd>bzF7NjC6lpgO^{V1|FpcyAc`) zR&Yi{TnNZ}KilTiW9x-e#xlECL_FdbUWb#0>J?|G#$6JqJEvwag0w$J9dpA=t8$cK?|&XRI&$F2tf+{3O8wrR!egV) zu@g9z?_bwJ%w$Cdq3hI)Bu53h1CsY(V>=LgQ_A;v2z9~K309$LCJ<&H5=ybGjx5s@ z8QLGdfd!{*pJWUv7<&mM0Ch?{!s}2b> z+TI+L7wYj>dlaNA@So_Cok|z*z_`abg1&zIKDS+zWE-xy=@j|n_#kp)7{QaRF*sm# z2fEcdD6Ff;0i7=S#!sYOu60X2$S&Polmm9B>TWGf|3Ic-<}u|t*P0-X?SpbZ>-n`Y za(G-#%t@mCwxEIcMMT|xBv#hMwSxfNTdgVHyW1beGm&1>g-p7%ai7&h$R7DSYxyE@ z6ORD1{1Wq*7F8I7GauH=cnWfEf$xjNySl=k2Ms*G5j@o@7%O+-%0AM5GlY2vEM z5f;5m8pfhEA4tZvCYT0tc$*O%~D(do&ow{Ver zQ)I+Jx#XHV0BkLB!T05v~gov!(cUaqO$Q^IpAHQ(_b$ZTd73>)`-3LlE}!{Z+fkou=-ybDR(bBpW2O?_P-wlto) z;cq}Chf4yeC=wTa>%OIW?8|JnO)WJhcLofTQ&|7Q(NXi*EI+>!fIM?Q24ZqFJAaVO zE1yVG9@ghLoD&s6U?2mEQ_FuQ+A-w-1<%#G!y1Azbr#C`Hu7eBc`J8&pcC`9fr9II z^ABny5ayNq&tOI$(-`}5)7d~!a9>9(&AhoH>#C1)J^w?4L&ID8dpCqApPj-RY@y&= z_rJ9O8nr+EMK2or;WYN$$9TVTa51^^@iF%*lH=i?K6#bRDDYE&zosn-Si^9Z=;zTr z;LL^+o=8=pdlkGxF_-B62)Tllak!rK0oE%;3Z5)-yg}?DnV3Q-cER| zENQ-$vP0hZ2n3^Js9+#l)Y!KQ zZG2M1_chHrAC@S4WcWt40&xXvh&til5^W{mMrG(QRw}-lJH@=moyRxF$sOzE%l3B1 zyAO9Aqmo8WsIno&t)B2KHAFCN^U%?s1E7(;5+Vwzj#c-w8b4cO%ASd5=Y+;Wg zt;%7B$+}fpfR&|Bw6mo4%U*stk8UQ&z~|4s4g@k!;Dk4XGx&h2fg$wt9HnMkfdYf^ zE!?Av3TZKXIVNRuab1w>ceLT}l=~SSgf$eY_8VV5txSgBrboxTnioFBX3xO5#Y9&T@Mpq=P>gFWJ>D|hcf+X*_0e9ZH8ZLM$Zj`?>tIQcajL+M_=TiFwi=a zgsO`jEVCF&qubl%o424@{(E@>nT`3LddE^|-vf7e?`Rj*CrRn&c8=fo;Nr9Z1{ra@ z;$JT7GAWKc$foT1N9Ek2`%2kf85>|M0>C)T&gni z;#1Uy{Ma`i6unuNLN-GjdT!Z(X!l$wn<`E0NKbbc8E6*=u$cBo^-{!17{D}P&-BBd z7uC-ipWp_+%of>-XfWxV z<($_H(BOb|+piq;L6U$9|EI5$DUa9=d0f54A=J?l;;P!3>!DZ0h>rY-J2Iy}H!?+% zwg%kxl<@<8;6`VrOUOSg1SjXU@*QPkY!lYIUK^5S>P*2cNNmxGl%POn{Po@znkT+s zN2`T)?j#ArP+2de%e=nmOo72z#goIsiEY$eFC?j*WPBgm5godYbD?`8`#&L66jTKY zr|hAsd*pKlSdS}lzZ7<**%)U2_WazhQvU@XJad3>gQWOu7{wTGmI<8y;!cOpFZZpE zRBuw#$2r~)a(ovwTTpmkWKh~|62>%PJmsrI~1?vv&95QUn0qb#FH}|2b7k9*SqYC}Y_AogrYuv% z$<&#uIv1tOU7(g=#6Ko0mUoqKnI<)}ox9q8q4GORIm6`FmCs^-Kek9Kt{BdscFK^H z3!!^saD57)<}TFwgHu?%J43WHqv*e})1_?l>!$obQP~&Imkqp-3~)D=ilv#EdWI}Z zL%J7oMmzmyabhHCAF7{n$@;leqAao7+++d#Et<;E3@96QL`b_5^rw|+h9})s#kyCz zepA#2bPL&sk8%Z=fgep7GBjXyC9H4}c*43<25XPH2i>~MPI-VRxO&^t=&?`zw(<4e*+L9!X zci5pY6EwZ!ml{q}HX%w$7+22W0;C{E!TbTqifISZMvM+Sly(~Y9vJ^HOS4g;aK);d z_k*k}-4>~ZYU;RG=49u{KB=2*t}f9>LNJz>vmd?lDHnz}ijY!XEQogb>9XbWcxvF1 z^2VFSfyL4zz1ht$hPfd*%V@8a;Ge5C3LDPC@>kf5y4*3sAykeFK1Jk4C<)NOm?Iy^ z^Sy)$*$v&S1yFmXxeIpRyBeAsOFRwcJD*3Lv_1(C5c}`#4Z#0rc6es=KPvH2?fP!H zMM$)unVOR8h>cr;gc`_aXdkl_-=bzJIc0=xDGJ_xhW=A8Z|SrvpKqTl-h=%$HxWzzs>PD z7%xfRqy2q(iRN4SzhiybMl$s;ztCp12qJIs$NeYI`@uO%Su<0t`u{n zLLZ)Kx)Nl*IQ_T?-v1=#diw?`<|!SunC(At|7ZFCN3?%e|4*G}n%Ynv%KSgngLYtG z_Uv)d1{jZ$Phsc0{9kPZAT|2`G328z{^vF6vwvwvdSCL%u>Vo~>TxqXbAsX-E;>f) zm%9+YmV>ByEORSoda+PibRX0;HjzKiJ-lRo?;A)=ae1UiHfMVxaV_X{PhH_~08M=i$?fLP8 z*6`WjgE;Ks<%YU=h@d}MN>w617^<;Nw30(@#outTN* zOy8P)(|i6At38qY?Xxzq`=Hg5h>q}BQ&|J_R$0&v&<6`nj))Egd1%El zkf~_OF5!B&yaDoHMQe|OVDdLaVl9s{_qxR^^&!*OpA5G{TgK16+QNmF@OG@!IF<-5 z!>8*nY8jqN#nI@B7?=*-AM^-y4jJc{eNH+;U!F|ev+Pe?Ik36&37I3lsmi7I$VGD9 zV#^T7GbUR`2#0*cp5xs|`@-Aks1*-Lu5$*1_Gva575~8a zC84X$K(jU@V+C~~bzG9|{v*i8_&apmEQB;RczF7Qx1<*NMz&R*f>jTlvkkP7w)rTL z=sT!XDE0+e2im$?GPxfU-Ni8}NT|@+>3XlIm*?vi$g#1HBM~UkmQ+9BbA+t-{JImD zYzT2Tli3Ro>!WboB-jz#aRIU_@#!uWNAA(x8iay!vk$&NMnM491!@3&fqs|_4Dw*H zLoVbWB{_R)X(?^Ga#hFW8+KoO#K|R>s>RiKHpp1S%O{{zaB?nd+#w0|5ET+~fjG3s z<}qQSQqeP>K-jvyrxF@3 z=e)`hjvFQl02~p5+Be@oKrgPOJ-=B2%%%yT=g8s}8xpY0?D=r)nU~6^QGEn$l!vXc zkL@czh{L-N9cEvPDJZGJdCSJHZ$ndeB-9Y`A8_L&_+pcDsiyCk>u*czZhxc(#>d2c zefesksqUTiK#&fPK!?(btsA_6r|xYcW|hIJVVPau{RnyjSUVE=;fLVG#Us(mlo&zb zo70dV$5zmd7I^v{2gi**-1sih=GevQS4)qSb~;GgECMcOb4OLYl#!0JV^3Ei#lR<^ z#jYFw!Z8BgYcmwacW%O8l}~O)DlCv3E!j2Qbj~MOxUJc!lc$<|l?WRnlxN%#4rHsM zO{dLFc}a!CPBm>-{;s@BZ!MHssN+SjYJ0L}ndtodSP|tpw6x!_?Mr z)=?=wq~565+C@O}0iXr%y2 zGxi6pNCHPln7lfpANu8h;F*H}G?ZT_f$gKLb6 zg7KHmyNY9RuVoEP)>y?XZ5T(MufO~lxvCYzi+xw)wFQ6K@BjM*>ZYCq#)V=|;{Yo1 zJj3rDlxkDgkjYw3SIL2t+2?-fmKf8DX)r0ds7XS`?wh<7!&q6Bta!W6jS_$jA}Hva zJ|xE{5ys15yKqC2jE=pz_CctbDz#x(eFCopq$>`r5D;l6V<)+xr{Nc9$TLa8H`LlP zAbohcj|pd7n~qRIGRUb~sfnlFSvS>DRg3G=TW}Rs4)5_LT&L)Hulx+Zc~c1MdWU7+ zbj|8$BD;utu+kK2UtxHSA@R+S62{z$19LHB6_!NkJ&PqiUnwuZuxVBhLCT9|IONOi zT*hZiu+X$Ut}(MsF^8wTzke`xY`z##;gYI<(uVIPVu52QYQjYw%m>ZlLV9uA4zwD1 z80QU&vi_l+x#D0{Rk_4=XnCy?Z=t>VQ~+3EI>MHyKao^U;gyByQi8xnM^S^5+)jnD z+k_fshCJj6hcP7Q)z0fE2ferV6>8&nbue8?molEBd^j?+l#m(a;gbP|F@+#Y;uCM& zpJ#jh#uuR(KBgv~E8|w9%!y3B>Khw=ttdeJnKrxrclc@cTFF?3Tw21bDVRxPJ>r>& zG_{AcHFdPrLP)w`#~_RsF|Of;-UOt8Q8CtzC~n>ECP+Y9BE3xV8eRm3HiGjz=_KjL z$ic6(2FLDvxt9S3G|!f~qxK4UiZ@sn*n!Y>h~Cr+BuPZtlV_4aN&7f<*7o^w-+|@T?i4-tVzCRWgDxz zBSO&*7NMB;#B|@fr#6%uXicbAqGxSI9`?nkTX^iGCM+Z+zxY7_43;s@S0nik%QDG#)J}dRMd?^YKE0H09Ase}q&6VMl5F9{=HDFGFJcM6 zJL-u&d%)ch9x}GVuPlgamxz|*5$q-h{Ba|%a5}UwwR^abCwpmzeN|!8rU&$845jHl z!k0H>j7YCr`mOT)fg;;EvKcS#dlwfd)?OQ%Ym`GCoOUSLU?*N9D;y4?c{?V3X(!v! zGv-5`*sw6MLf-FnW^-ib6$zP}VYG{N<;9AGGMnhq=cdJdXaBQ_PX-1;(TLc^%u_H~O$g9wb_~cM{ zq=`&~bw+GtVECmMZ#;pN;Kf-*f?a6h`B98XFP}o~!hBLi(*HuXb>6?^uND{llk^I| z)j?VTOS~UHl~6t0ZLxGOJTG7znk%vBxy(XwgNx##@oUrjG$G&CA+}^pgV}#r#$^tv z%-6_z$6e48uPRS>vKuTX`W7SCmL+y1~du;&10vNEJ)~wUn#UQ{4IN)_v z7*d6lRFtJ{b`RNDFMnO}XrP}L0t|ds zs`bTJpvA`aJf%)(r}j{}(C~?Xq55Mi5~plXc}lJN8<^*vQ&Q4xNPglEjB71c7So@2 z)8w8g-l1)3f2c-5NletI*1?<<=$u7vkyKPq+bUuuCp{mtg+>#0k5#0G;-RCTnO_vM zcbZy%E*IUM2H6x+;K0a@syc1a`Ot4yUV08yG3n&5AGPfoQTZ!QI?Pu^3K11t6B$Hp zp?iAZxgJ%H(_pD}E$wOM6yF``qRK%V6PxEJo7XlzY|Y``cu$;WnnT^(Nk-ugcKmh9 zvR#@*5Nws&z~$&rrS_NW=ZBW@;bP9~qHXiIF1*wX1a-go*R7X-spBPHN*C;j4BE1i z6FV+Ba`6F;9P`lb zTD3r-{K(UvXGtAmPb~Pki#*(dqt-IHmi;|>oea90D;pIVYANE5^H!R!TvQsUIfAzKJJ`lU%U04OkR&Y&qEyOjKz%gq^ z7kjXfBGnhY@D(r)Bv3J{$(AiRnysq}wuMmN@;6syDl=lQ1e72$wG(Mf4YAK1GGClO zlIA(KTiNSAlTc5nGGl{x-FPEZJRq8ccN4>EQ z$j1FK)(wjR2T8_@A2=Rqow6p~lF z@Jt2Wz2G}8Y+bz@_sRbt*Vq9)M$eO*=_$2YDo*wTR-cIeE;I%g9nf*>{1AYseEzA< z_=+U;MV>N-vgjRfTPJr@;`Am}4)UC|5{1-4xP(&uOg26Xv{Y*9{)o^ldN0P;73bMI zMUJPZ#_x00^}{@&FgNr%VRy5==y|h?6iLP#qhgtTd38mvrNbbj7H5=z4R6yqc*W!z3d&j)^l% zrE#L7M5&*cinh0~*U4GYlOz#vPK1gG#Vl*P%n{UHe+%{bk#Oo%BbD9{J9_AGfWx1Q zY@&Ek@(uE;INT@}-FZs^oZG-+9bqK!E_`iZ5~b-FZQV55rU>!NIL3|Jx_yzhS*|*k zj)Zn!Hdic{eIXj=GW2CD!1Yg83>@N&^)>7cN;Vd6VPom6+j}yj_e8KdgQ|R&1$Y z6AcNad8_h^b^ZOjD@sY|XD+KB=EkpYCT`ToCoP%jEbMcJVtPA4U3+LNF-MGM2fEhV5-OGrICaL?VdJcc1 zlp;{vWUHpIG}!o*`r=z!;--zJDNCWU>IHk>x-q~4eSG!=({IuRp=(%Wq(6P8b}fHL zw=Ajoa*DbKR!_LS2+jIRX`mD-+Zm*nzErlh5X!D)3HutRbL=$SKZ9H3k&SXq@Y!)U z9s}cIkgLT-gXt@My9RdwyLi~9uJ4FG0$dLq_;tyO9UR535v&*imqLuqvT$$uJQ~yFQq_)&6W2aoYhbT1z zBuF)!ogfc~n>xVhR)ML+4NtMnu2BqqRQT`=&DkQ|#j}-Xz@}c6ib$dW3*tay@@JNC zQk9zuSMLc%kq7O^H5JFJ=TH;Q`0m-{1^vD!6rBv;GG&uTV-UPgD3%++?g|5&bBILq zCmYi*JRH*%7i&jZ^LQ57uVAr5+4}1_p3ZNjo?+~nhDC3g9QGgc+^QKrY#$%PTEm$& zHJnnyyx_J*-#<|jZ~R(<0jHNLFeKwNvr})pKW`w*ek58a##D}F*jJ0?rKG^4oot}gfix8lk5DJlkG?R7zUTw}0M*2vD*G|3N-0J!wt}YE zP2>aKHi+Al)q{Pt2SvZ28>;@sPMcC^56I}1M2ubH9lxGWF~;1+T}Y6t{`+EWK*TbD zTm!~+$sgr~!>H)wh|Ja4V#c35X)T?Y1#A##4$l7ZhX810-pDhy*0_|MRb8zj(2wY$ z*wzFjNnmPs#?IshP2lho8lw0t0RaY4m%`8WtuL;v0`ez3#`tRZ zSxxx`$QElb$t(XUFprZ0Tg@NrMQvzDUg(2-xwn((-5CC^5I-mk+*Fjm zH%N672l(kV43sI|2?i+-s=dr9TL07ZJcq*@drr8d>gL(TR{^>rhnz#7A9A36QO-r_ z?I^;usyHf2ZiZfdXNwY1+6@DzaJ%&zI_@qPMB8Wbs zQf%VCWXv93!1<|n5Z0}FE`x!fHuXtXdJ6mM+x!S%pv090_}~)s%Xt zh38%@7-|~U{WW%gjR3YGI)cqE@JRf9!cJj5HM|5+kXpf|SZ)Lrs+0!va2;Xlx}8yw zi;*PI`iq3r8l#^2Y+Z0$Mo%l`{)ZZ%)liF|0oguS7_8}yxjp&HT}!@k+7D7Nuk08o z@JBiNb$$9d(!48t6x$468~#8eoi&FF#dzCaQ%q>odu~;TI1(QaY`WDR#O*CAK%{8-}mtzfKQaQK;Okuh!D2O8GfeJj|GU_$KH0y5Lq zx>&Z+EHHj9x>&4m^(G!?`J|L`zi9l)g^=w1?_)I^9}4^LESiZ+jkiI97IMV%<4>+s z1x+XX80IIQT(ud57yog1pOZ}&>~q9GjHI`PEC|KUEC3IkQrW%0aDSWIoYjwwWd&I? zp(;^o`u8pvi@4xkNRf#;$#22C&RZFvZ9|fI zoKjh(H|+C40Axk{waCJxzgW2PqucK80II|q{*=?21q(&V3D!S_Sb|^;f>kBRa}HBy zSq()BC{Qf8qJer4Lv*C3f!gpp5XmAXDD~AT7fn(`$t7sZ>0-{nu$p>6_Zl>@0}J`l z-Jc%_;l_>V4eO3H_=}{{xHl!xc5f#3C!)ae2I^8w-C>C9WO6{LxLdM|HW+>VbERib zkGl!2-_MFWI%M6qngzc`8iBqQr0!I!gnLk z@$~_c^5eDMaxq9QlP;3R2Icw?S}Q^zLkc9f@ds$XWNj+j3J>>1dfw*>{>9o^iB;I_ z$Q^(&KYe7)zooP4lh0n-&S-z(Xd$%PaCg2qseAVqdCl+swVCQfGjAwFmcLDky1EQ8 z6L;B}YI{)R{^z8K8X+0Vf^08Ek1w@dO1ntBxY9THb8lb%+S)!qurwlrR}%j*ak)6i zVVV0&=cWE|^x-@ty)Yb}b7gWHU?*Rx=JatSmBl2Uh*Ij0{n6e_d;-aa%w>RI zo3x0rOj<#iyMm8>i=-P?u}W#QZ{;wwCR|OZE`bAandIp-n)K98nCm4`Ux0?E98epC z_z9;0#smKp_qJR#nUpH{S)DZ7Qs?uE)=M6?%oL8@MjmYK06Y@8U&MaSq;gQj5n0iabBlM8UX~^37k&<(l1P2zF2U>XgF_xuplcb>3@Kv6+}cj4#3RNtlG_ zi7an^9{L5FMr?f4hS5%Amk-^#uiOLyrzM}mZ^h*AEusJAiB1ispB?lLKv^7d4~EO% z`38sp&-VO@S=Y^A_eSDHT)U0nxtjOa?`6M_U824|#~wI~VJVkZMlzU6<=j7?8MwK! z>BYAwEM`|DYSJ?yoKuP3D|9yofKnl$SV7=fYcx4U$K;)Cd|={=P68WU5a!27ADy># zgb19^I+q=5i7QFF0q2~MI=qCyGLjyjs1E&h*wGeUpC)2?9*^S5)!|2P?4>nfo0}lS zhbU}yC*{G{nKKOFS5%%ZREhN0Ty?l?DV^MW>oF9K-!L}+OKh-=(GD*s$b9=UBG33UO)-Pw7h(McRZzzzCaKFA5#VY-{zf!a{5XbgGOl=&zly*qA~tRXFrrC&dUH#Y zc19cBj$5QN`2J_2Flc1eW=^&o?|T=r4UB#_nC9=#n`SIPUv7iunPsB6>rdThLV}abb z5&Nl!O3~Or(PQe}?1s0}#lFgEImaN>2Rz8Tz^H3I#X#{z#XP#iP@+wTVnlv;g`6V2 zgGZ9`s@;^Y-yA@cQs?QXFZMhB>wmX!oH84m@vAoQ2WQk~j;;+q36YM$&U`;@=n1b8b4wYYfDkhUL`stE!l)LyPUL;j&Cwqr^ z96MBQ`o2p|DSiGq(}AMdx+6~zMM)eIgn~9eVzcy^{-kNoW=>JdVp|6zg(fGBfmV*} zq@;Rs?39ZBd*#pXJ&<rxTCOqpP2?!QPG-+I2xEpEthPeCLQ*ev z%$ECp^_UyfaGBhY4ts_(a{+YLP={ECnyM>2aN}qCVBOM2bBu?%l!~x$x2Ou+5h@bnSKzA z8t3;$ZOz|5y_6hK{7MDQ{ATgTSQ5$8z%xf)(Y^NnN&9t_O0U_3@(ZS9dl1wv%3HqX z+6EwphfMUC1C>|wg$vE!BT1y7WiDiRO16%w3YLK0#)&9T>Y+YFr1vknbv!#j=lj3d zdh4jFzAt)|%OxZ)ap?w;?(Pl=Y3T+@>F$tjq(d5&2I;(lbc2L|bP7m!y@Q|c?~UIZ zn53MA_D5w$c-L%-pj zrDNC<@+aQ(60kI!J(@In42kUnt3CF6_U!v@crMtv;djYEB4X68C1-ih z3Q%c0!!73u7+>BMW_x6{Ej|xo)N$v_DevT=6?V5HT|9R}u^{`fTkDjw#FxK5T2P`U zD5U8j(lUn*{r13D(<%|AU-}|~a)@nAwbjX1BQ&Gv65meh4!isr-gK9ATqYH@y+{S# zu==tvPc(yD>G5C7Xrt6%P>-6<&n@d$PHjItND4B4)>W{DVNI$J9mctG%bM2fVVpL7} z)O-@`^Ip@|Nz*?2k>2JQb2W?FyfPlA>!|Po-OR$PV$L}!jzc7)fS!UXE@0OPvDLVj z2%WpYFN#EMC0fA)PAp_raJKXR^mbzHcS%oHPDKsfe3GS#pdN(NByRj!`=-EsqbD+8 zw`o_2T3{?6OCi;Q^4CfeX>{(LY~8q&MZSf1uMZh!E+^2==|6EWyRqilUO0?!zPb{< zF3op*r7`Ot{_d=`ovD$dRKFJ53Q?BU$}OdmaeA#e=0>%trF>b%k4qcFSCskGWf>a? z{T20FcSL-2(Lt81=5rCzU-Lu`SFflIVWP$r$Y_NMMjoB|mywj-yu^MlQb9I?{4#@Y zs@-?D^iW&6g*OUas9`3DvG4wlL;9ay#WrBpAlLAfUC-#|B(xSg220wqNv_zuNi+wi zZ19nLRfP6OUy7lmf&$q5I^hl3s`Dl3t|+T#4Ssr^G}rvrA`=cs`2MUH5V?;JNdkra z%66ZSIwzp7Z6gfr_I+zTL+AF0p2<<_dnTZM?(w3U-+Plx1bXdgX6WYlRcgos|1j!X z9#LO=lH^|^dK(|H)n%N1Af1d=dU1qJF$uJWvkf?L4iR0OoB4CKMx;+26%btvWCV4a ze%yJP&|O}d#{O0=BedI11u-BxwwHhO%S-2lO|6!t=-61W+RDesyNQcSOiqg{g#$kD zHP5fqS|76Ko$he0AjJ~nOXrQomp`)l(kLmqR|TD#yeZ!ar_a1FM)?zDxrS&aJ2w2e zKjvxKo?F45QrQDq;^xvMuPSZ6lr3+6k?XM<*nO>t)kW@&H#Pe}+kQ)Rq(sKatze3; z?xP~vLL5`@NAZYSYAf`|Wi`@`)l^msJ^CT{&m{+L_4^g6nbKut`zLk6{cQAK0dZLe zB}9mM5&qMRN~6-ay0{^vF=0nU{+}VZi(=$`Lkf{yNLpnILRb9}bChm|!Br8u1Lh5c z3h)$B0cU)ZXGgU&9h&kUu$l2R0epn+UrMU zGMFok?~EQZrWPj~GOQ1-eY43WN$yLpugn=MejpFsqhBgx*-p$|B0s@n>EPBKaWJn) z7~sv=PNnQ8NV&}Iv@x&P1IV1}Zl=M-W-Hn3=Z&X6qF%ZQZ$gB2bP;swVGwQ`&!_gn zQhtA+^+i^yQn=8+I%oE?s#t^JQNpLEw3eRZ-f^ITj7K9YWNAi!y0z0^llAIx4D09f zM{^SZaHCYx%+j8GE*0K43Tvp{a#cl4kWwo&PnqMua^KFyF!-h0{j5GIb$wpyUtiG` zs+OGvjjEQEkp)?*k==fs!5MkJ7FiF*T`b4evE!;>9g|n_iR3(8<!zq|Vb*F4oB8I|?lEk4YXs(W+`eJ-uL1 z7Aj>8Zj_RW>5Eic@4zb&Ewp4Dxbds zKbJp$ZE)B9{NK;N@)tM(M$T$|f&qBqe;S7WX@4}lXW;|TD-2|aFvVLOOX?7ky*I|N zKbLKmv4}hVDA0ILWI0l;kXI2_*{6Kb-4O{2Sr^jNn;)`ZdEEgJ?bYjYI1Ct@&P zl6kCo3N3B}1Z#v&BqM2&tSV{5H|v}7M}DGcUKq`I%|f*fR8xwzKa1cakQlN9!ggPy4MHP0KB5qj4Y>~O~*Bueu0pV`=AlUJMf#Ed1@rjhNFp7+8r$kq_c%FUiJemBy{%Nach7YiSr z-t13dq6Rh6Fz$1{1s4S)4kcG{{{ix2!ilCI{^3a8#DWr^xWhr_^oE^{yP*N0E}gE) z;KZa8q8e-`7M3{l3IAQ$pKW^~IQC9Hd zfA2{%cF|=1<+U@eaCXF?_cf-|Yw|Q=h<;oIlgD8zRZ& zvRB{D1-$4X!`rL*vO0bw8SF-JtjfU=YWMf5s|jED#bO(pTU80eG&`@2=@d;OT+zXY=rSo*vG7#A&bd2TB{OnhDvBh zI|WW9E<_1qTaGxx5Y*v71beu9CQ>U~FR|1#*#&&lyRhyZg6^HUAZ;9T2;!K`&IuXn z$_>uuYx-2u&fCuyMphRc*<{|^+hI9#@^a*jPmZ@P9 z_V*p((wF19o-=iYzk}c7^?TmWh(_>?S-W+zB6o&mMR!JYpZ9^U!nVeLT}9bNV16h`#bXs=POw3_N(!9F0=}nXHYTNINRU99 z(6YYtFQ=TAl^;yl*{+Ce*OyAdxraNgxu=ZPUF9`J@>6)B5^om(;@o{GM_>sHzp1)EvzSD&Z5QhDz9T_ zBD-xHfjG^`E>jVY9^);KqV$$dkMO}`@@WtORqOMZMAxAW{mr$m#m{z<#U}|9+*N3b z7#2gFf1+e7+p&<|D>kv9*e@&a{Xf#!FomO1mQ<1?R8d!CqJ{~mL+RHEQ3X(tY0PQN zG%P6ngN3oa0e)VEUYysN^a<+{7Eswm?tI~@_lZ@UN z4rNy9c_L0@4Hm{8B*mC;zkJCVGA7e`{VAR(H;iOWAqMh_G~nVTvdHewvyxmVlqLK&7D4D?8$kUBg9Rh5 zCvn-W@9CT8vZ;&K7RA#@si!1b?u74A?nE*csDux!1E(e!g7Jd!1vP!-y?9yvivqNl zZ66qAK1|58s!O5;Ct^)~JGGQ99Lp@E515sDb?1?F(K;+;a|&o zp9;JUdWz(e7D;u}ml<8Fj0QrG)&HzV5BR0v*}hb#d?Oug!BLozqr!EoP4zp@0e(n6 z)j|r|2Cm~I4PoY{9M(!EheD&4<$wJ`WAGg>%0K1@_Xto-84Lz(E4=yqBN~8~!>+vT z@sDcfCA^hL5D?8om9cX3$;*s-q=QR+ue#6pLg2&^zOfJbLY&*wg%U9XwcahU%(97& zprzSK4g%*siQl~JuOM`rsW@jWs|ScqS}cRVUbk?SyeDVJX0dK6$hVfRz_1TvrUpyt zZ<2Efb9hMeFKYq4bD)a>j9nFa6M>emHH!SA;U3?oy<)o8JyCtcD0^uS+g#~pw7JP? z9{A4RGir0s$|+p>!pa#Qsta#vNWxn_UN9v~JNN5$owQNTRlF>xijhtZPiedvko1sJ zFosyvDsW==hS2f}ib~?=u_WU7U>rkpjn^DQ@SZy+zy9o57npwn&)Wi%>UZz(nNzRz zVTK3&RriFElQ?<&Fq85Y6guy}H82&Ne>eolJU*q=Q|y=?wogryU(+tBF>z2E23>J2 ztYGwe<$H*&>ecI$b3j<;X_`(!wVk9xkqCP+Q)W3)v-*MHcxr#Dc1iw6O5x~Q{@W_K z;MpU~*kM~o42pO4a?x*SzYmveB0r4T%X>>)CJpOxcD`J9hVJ7yqac=W#tqZ!2yRnb zmVtWJife;HPWfI8`U}>@=DyaL+^pBU~q+N=*NEfx~bLfil^t9S@GW^*7TV zt%1QQvHih$RO$KFwe8$P@K8Dmp{}XxS$$REK0*s;#d6>b7B4Q;9M(Q$j?DF)ccZ%H zDXwCQx(w^mRZcxgoN2KPz9PcZ0aDH~8wQN7#zWIT%`RU!8Cwg19}dMn^6#iYyEu?q z_75f3+D^gHr{wLoGd4AafN(ba&SX@OpZhb}TI27q{nv_msM>xB1}o-bhYaIeV!XMihYmV z+Kg|9GXhbE+Utq8EG447h)aII7heet_~PQ8Bk!H@X)0aj+(>(9cigrbkNPIYvY(hd zUN(k0cCwXXmR0#J&O_fasgYy6K|3!fUM~1CH%)KOBaWl5 z9vdRH66GW=qVxw;y|wy7_$Oa?X_3j9n$v4J*7c23p6-2#P9&3WYBkIB&H1w_u~9Yt zB1<1b30xEu1*;$x!Z>g0lP9+i(x+x2hnS%i1lUq)_G(!qBLlHFMTEii`zh-J&>{}J znIHTdlVS{{SH<@szA7I!$f4_s>j%b}k?$p;FcHd)+_Twkc+uh+Af%jW}f;{|5edEYiF^wSfSnbQ^GammB-ACELT{ z%Uj7eL3PRlqdi*<<-U=%nS9F?8?k)B-bijV#-QV&yE-6RvrXS@BE4rXP%20oieKtH zCS9ef0>{?7up+K7AR2YDs78OAw&_V9zfqiWCaxP7t%VYZ*wU?p;`%^8dj&nFT=?CU z=9d0x&HA(G`upO0bi}cOuV_2s+o`Ur#3ck1Nn z1)432G`%iYvCjIc9nsq*8FEze_spnvM_NJEAO9Lc8H|>501uouup;ZG^0#)#A|E!H znx^b~fmL5XeHn9+SRHZoXYD>}Yb!esx~aGwSxtNry)MytwZC?c^uSg1`fo5TK+Gd$ zs6%4@tbOvaOy)cs_T9bnMq_;ENv0q{Vkw^$&q>-V@amieuCFL;_5Ip~djVS}Bf(~C z6Z^SX_#bhD;QJGT0`3Ovjqc{nkU)NQoKty;NF5|g-JzoSpvA=D(L6P!aq289BRz15 z>nQl?#nBz{X1uFiVgpY3N`PsV1?pm6_@xHdSQ{_UWmr!^zCciL9XZGyr}8JkVE9xX zbO&aPyk42OMC~oF|IC5VoGxiF3WfGxXr~Naj_RyDaBDgJG4mf*B`^PQauyxCN3uBp zM*h%v*u4)?3$IxT@82kRz?~|O0-R^QatKxyszL5Va{l70B|EEXL)v&?*FG7>5ZCUr z->0d+W0YjfsSkWTrvrboq&gajjJz-KI~+pLsRXfpji~;!HXP-&B|XEXx zRjQ`5Br5JoOS66l#lQDXS=)uCxVUrf?YT&_jp8QmYq|YJmS58m zS@Nl%_A+3A_s=X7i4HU@m#+FOS^lV0_xUczSX1qErY>*kMD91DIV7`$4h4UH?HM6LYFxI86Smp$5BeNK-Mo`5S zv)=ZLrGzc{z2GP~a(WlH&vW}|!^F+F{Lo=uO!(bYy^A-C+Ms9S^lAmr58|L$Eo)?W ztaWGg&fDANT`)adpH$a(Cpz~7wK+&yd&V3=iVpnNPEUKk$z?A4lgt;A7yezC;LFfY zc6BI2CN2_Rz2S`fvKkU0zKp(>Jz-h@UquZ52; z<{XTcybZ=!-;$5)KYs@RO5abci=n4SRr1-9QJVhs-hMVO<)Pkoq=E4;qwJoq}1hiAnQ7wC*iqw3Ra-`X3t4B#qMrmOyr7-y_h~ zw(YmpcHrWq&*8FEmJm|Dv-(|_IW%5aAJq=tm;6Smmr9!#_S3bUjg2L5%%xN;q1VnYhPux z5+040Pw<-$G4O8ri}Omck5?9QC1sKV944hdY+`$}9C{o88R z$As^mE#F_s2(;V=as+*52`axV^AB{;SUs7N0yv&v05K`)bHX=^2tVOFX%`0KLap0? z!(E2>U08?6R#-CNKC=e7f9qx-?h5h#n15vSgm&Pd{b%imcTGT=p8#P>D42MyRS$9y z??s3-79n*8xQ)z?m1isl8+Vf-hgTQ_JEeh`98d;5Ta?}6Wt^v$&|>Oge87rZ`{_p0pJv_pZwY7mb* zypO?~g&qV>n_srQAAkU@8SF7m;TXHen-hb|@lZREVVB5bj&)b)ruU9RF${6!@XYDe=&h4y>oHy%*HtPpZ7bh3Y$K=o% z+3sMPN(+Es$~Kh&_$?IkpffepS?n)9d&LvvRzj;@Py_u6ub&z)*Dt52#OjsO(ru0CQL zJ}?EEwI9IoQF6mThH03abrWF{y9bSh8-oi#0$QJ=DzHxqJ^hnP%&47QebID=nRDRt z$WTYDSTuW^>`z@ymN$-XP7)n$ylZioZ?Q_rkVec86}F_RT#6clUw=%=ER!M}AVO>T zKUx4t$G)k($UPHs0%#as?lPE1?mJ>zPi%bh=ugsz#I|i!h3W_-Fb!~Eb>%SO3O>37 zFfU#2%}o7BG=FlG3foSNypR3r9S`S$@Q7{H|B*HhoCdzMw#u~4@}u#4e6P!WDzN?0 z%JfZeKj7R{E&TH$yv6&0m2cYwyJJr=-k>V}i3Jb86Va78|EY5({p8z`_@k>evv%ih zhlIH(bY-~b7G?_Dnn`ERMyb)v#lg&hV+JdI2{pe|&2Qp(eG3?@m50p%mFf*zn}i{3zPdFd8A3s1I-!mpZe=>2KK2tm#;fBdo;KA1JizKd z)El-h!x~`U>dzcJtO^`nlOe~y>ua>)=rAv_d6PivcJPght4sE9kid%C-uUw^!QJ*6 z5Kl6IctVhX!ii);0u}Q>DTB{T-E;6>wTDVIk|2hyzgq>b?!X+?+O_muc9T8V8Kn} zOyN{k#r$EhxM4OXAukHPN5=0GZg z%cvja>>Qdda%qtT-d2qpe?ZzKMFXT7e~8GE2r{M%HuKF2yl|cPOcMbj{K37O+Xp z5R)TPuRF%{AlNY_nFL& zO*>}UB(@drv2Ed@7%ZLW>{GaU7zKu(W@&rh&zH|{A=OFBOSAj^T2ddbn~6k2J3idE z#kEdt|-&S&_|yfh6X@+m)UE|gP3>5plXJMbnwv% zA(>}7`Ekv9Foey=N7lQo>ef|}SS*BW*HR@h%^^Ym^fD{P;Z1VCivLGbyjLK1!59+t zpk{xCd;|xC0K7J#?06gBPc&_Xm#+py{`l9MC^N=ZjSPP^ZNmrIFxP2jE}JF% zKJ9hRcS>3(2^~NOU>PSUtt`|LL`Qj*jNRgbUeSPk1}M3FWo)#rkFR4UzNqm58>mB!XL{0c*MpdILG`$P<3lLa!WrleFiM7m z`p>*e$|wS%0kWKOsD|q)=oxAzeDD?2;{`s@5ccnt(&{2L69?!buSgJi_3?Gz_;z;* z>2L#o=lQqfJ*jo!%HI-38hjKzw3bM&Koq$Q4i*B=Sx0c9bsD6<{t_y~1?UPlo`ZlJ zU8!e19MQQ{$-q{S1fQz^}yf1o^*!-XPC{KOx2+pz*~8g^@9T;xG&jps($*H!;fGL6@!7HO}Y% z@^^r;o;(+Y*|ukYGpIL6){&V=97say!m$roI1BLqXcTQyT``|8k>YFmIEYky3f(wkteMM*$R=JZ z>dKfknWcs1R3w^R~_=!#czRSKqF7Oo)DqtC}l#eoYy~7M$m;6n|}h z#_vFeMI5Q^^QOm^GKBq-BhU!G(;Am25t9LT3-x0m?T3dno-}w!&Zd?J6)j%tkv(q% zN=;jXbbEXzaPEixzcKhMJXq5Y6GX^;0+FsZO`BAE3hDm~xuiKr_9*Req%AM+8)#>- z0Qu#+3Y_>u(-SiCc*n+`20_wiVB;_x^r<~9Z|*UmmQCdy&#IV>Kb3V`CwAk=_Z$Ok z#UKCg^sNy-R>iy|N4cs`J?Q&MDHWUqh_lB1omXj~+3py7!Cn1DU75xaCv`?Ue8DjEsJ%WKF=8Z>|xp z>eM$AuDsYeV&G#kZzY)n-Q^=*MhrwZq15oHzwjt+>3YD1y@T1oN?>rSxb^ufAbuPq<@(l+4|pi9k#}@nz%QD{fMj18q69JI~2(AJ5g7=gZ_VaVz*N21nvVThyH> zIi#Od#DnLsk!kpb&2i_JNjmz2VFvX&%UCT0WZ(mk9~McML&gqc%8Y|hihFrdNJ&0v zql7{)<+(08xDn#wK)yij1FDYLNs0~aX@CITxwM6v_@51f{d-#AB6`O%#cgEFZSp}3 z`e&0!Q-6Tt9I*Wp{-T*{%T}rTn;&_8JZ@(*)SR^TOa}oAYR{f^WmSF5yiqUBRm%MY8kXkF{r?m%WAr{a~o-$%RMej z;>TLGa=5vo+{;=RDhz4O=UdQ`)>=oT%vSyIU5=&lo z+C8Dww*_#jmlghg5P(4vaT?KTF%k(y61%Us6|fiOT?wkqxZ%V;=M(xzFMY|sv8rW1 z??|)`1nF`|k}XEFBn~fY7SBspdBh}IZu1t~yX(>xl2!o0&^Fj;ps6)b4sB{#Dd@W$ ztaQzCC538uyCIVLhj9fDDyu+EOI|(4?_AP_nPozj4}3_=D2Mx&Ij-gki>}s5?JkA> zS5EilLju)Q!wNivMDct{M%PEDPNaBtzMyOL7GjwT2M>v(2av_dJdUn|cxHl+dd-KR zfIzu$yGMboR&VGX+$g~#CGAU|%L=6_W?D96@95sC3yHU(quoW?{8kTd2h=eqcie>b zzS^*<#O|l@%L3p&EmmBt8*ZiWSOwLB{0VfL@Hu?pAv-$gO9Qy>ek}q|+ z3qKGJ=RaYe46O;l?-X38)SFdE=`pAW}Lyh3HXH@&Dhf4L3PF)OI6M;}jZWUbbL(8VXizl&vc)`^gyRa z`ln{QnGS9(N$SEMxV?V|<<^o)HR~@Qw3DNKg`muNa%qYENo@uey3H{mmY*x>F9c)` zJ0^VE^h=4G0Ay>!R0ua*p6KYBtfGql5rzBr-VOM6#|!nCgz@a;5IWKl(@Vf8H5$#W z4VxlFxObs$7i*1q_ll!5>>wf~)>qX}+-2^%p3#sl0Y5&bNc=28y^qA`CTv;>(G)&J`M#h~REC$^`q+QFX0xFU#3HC8LEhh>LK3tk%FN zu#1w(`%bXqN^r`+DmNHOm=P+b{NYcR{k=Ea9}>VUSpSNBp-J4<4aYBbP&ojxYA2m=-?nx*GFM zE~Cxx*g*bDO6<_sR9Rd~Juww*Jt4Otcswg4KhUVDu6is8Cz<<^+^Y)G!hrbfq8BDD;-U$hcUCKuc9@C5PS1-;wl(= z)DFY8l9Cg*WpA(;Wt+L9b#EAFuh`X1(qylgSrlglzEG|Zp5F!VMCT1tX;GFuO80-{^KhZ zuQ3p5!Kkcg*)%J^G=i`6*pJ{+&N`5f4O?~6;tL4CBBtLJ?b}BAKgGCy~r1;uwyFJ3+$Ts;tC%M9!hmGk-LZzQdlTtd|4AfH<=nVcMyomZL9C z{vaCw*mw9r-U%Z!n6VWWdWV=?TtVZc=YjH;5^la~sL! zO`6wt6oOo6$BK@AAL0666)3mdxS3B)1p|#F_+1iD*Nw=ZSHWeMK9NX7V zyJ8{Eg>v5(#&Y;l&gE|=c-VPCOC&33O55A7xsSGEcB~w6|F~2%uHh@I3y6MLn(|T4 zj_!MD!go$ovUR~%T0|6XAdoK8yGJgIwpWtadyJd)_b*#Q9ZrXw&&07)y{y7;l_ucb zJ0}<187TLCR;tIGc#G|awlsc*=j*3MV^o&=2r9lIItIgXvs9po0k!vtI!(6f>o@vb zYjeWrCVke}C#=H>x{bd`;oeqLb?}A51uJO`#cV^`ve_y&N50?`@(wX|PI9>`XZ}&K zuGWc8xZW3ix}XQh@U3Wy8U1Zen%vc&uaqi)wv)eqoE~a^P&fa)FQMcW*XKr$?9o_f zbqSwtkp%_BT1^Ur{9z;lPOuoKJz)ro9(5L_=U5Svxg}0=Ik}Sd zg(_;H3?e!vtEh$TDbT+iH)GtgI=w^Cdc)SsoW;bQdTbi?=oxd~K}!C5`L&JROa0f` z>XPB=N^}o*>3sy6Yn%z89A8$^)7>f4!-O2(`~}@3mYB5%g#GTmxn+xx zokW}{%e)?nc+;LOra2BH_kn#yFj_?QEpAXpaFYhPuY0WZb1G-U@|@Z-uF*p4AGE#( za~PrQybL85Lpki-RsWaGW&Hi{oHEcZVUedgk?iSee3Ej|Ad@BE&X;Sevo^J52a5}J)!84UXYv);y{`~CPy}&m6FIUVcGmin1HQ@WNmY6bl1Jxy#scplS&L)AH((EiT zW-2CVCR&;wF5j#Oh8QM;>RFM_1g$gKOC-F$zB+J=|00Me_5Mun|9&`0c~F{abH~JdV>)7sBk48 z^xiKQquYHdB_cJLPcrbl`D@(fK*9OZiJkkNEsaFgY@>oQ%x$H4Ywb2f7#2tSC;&_A(wn(Y03gYg^kW<(?C$$vYBb zyN^!oP~D$`ESN}q|Avq{!k{4B^4u66I7UvEl|k1JLsw*3p`H&;3^IP@*pl&nj1#7g z_i36yC&_+`DXuptRlW%o&m7K0?vLS`cmBn`3k(M@oPFm zLHgeqD-J#9(7?3dN+`--l7I;ejBe7bUZm9e7Qxofg0vM!+VbUBrq`O?WRe@n0;R7^ zTvw4{$h+i9h(=Nzl&{~S>@0=jH+oVsjrqa|V0nXYHGK+mANYdz=)=vBoG5CHhOW(f z8alxTkxLWr3g*)lQX0r%3Bd_HzBx$kq}xiISS>;#$RlVQVwgJy@z7$IW|jd_euJmO zdGjsKoq4>Lwoz#ZFRtL7;0K(Ic=R)J93x}=w%M!U_P5HWbN|G*Ztva#xt%uXj*NyFOG)lOritJoGO ztuJ&C{J{L^^Dlb8jzs6qagFdHF>ua-^599pzVM4+ArRY-F(TqB9%7c$73pXtM-vak zqcin-e!wIR-aam+JW67=`ND<>a6^rO87CIjS|qOduKB;0+H20R3K~zuncy-ID$EI~ zjwqCD5^!5Fl2KR&$w%E#9cQy&cCbHT%GY{Fb$eF4?X&}41&*}tXVL1(e!mp8;-W43 zS9#ywWa@2+oIm7*+=j!&%fm?@(Y#XX{&CtO^}qAd%LnyUuLQgLZaF*<4PX6INxIUnd*S+zHr zJ>RzYD_#L61GaaH4D%QkYAvSoEj(_wK>y3zXv^Fz31=p4VnrGzHJZ^%0->-Q{E2&C zU(3XzG{du@ZhT;W@HF$0LravX9KxFMt%Gx5hr4H{jWu3h^V;OPj)2=VHnTVhC z_lCxTYCLAo^9CwZE7%L5Ho=do3d(@}QN@99s49BTo%Q!6;(%EEd5uISb$$Es-XC=KZ~xEEpo_MO@TxVh9tUafb^!|2+ioa$Dh#tm^X;@Q2M4NfZ?Y zP!N+;5IsKcjrlatYiZVN;^bBM9vktqYJV3{Rpm|tNc!jkf3Sj;w1S4@vZ77-2Z+W3 zwW1Q|zLxQ-t%X*kPSCn?;oZ_KB3zMVqVADUbem3N+}1ApGlB#P&`j)XMGw}S>)%wo zenc6-kIN_w%+O!+4c5YX>BmeVDT80Lq$PSwrY2d5;&nkkOQ5OTF%Gq^$^IhUCt9m2 zv{k8ZHJt*YTou%!WNvrl2fc9kV05a!FHZB3PT)>`Mchn1l$)q&7HH5bcD#}zM8t@| z;Pu~in-zHBh2vKrQ#z9lUrM=kK}L4P_(>@ok#(PWM{G5pMRfN}62N6v%M}j^^{r-wq!O>T5=-MT6YO%Ce^Bl#0Q0L>0 zr0Sox+R{%g}1aTCepB zoB^KCn(Z>lAA?6HB(J+*D@o;3oL^2a%)VfmauC!ksxi(81@Q$nsGW4ke0leyBE{86 zcIZ3P+Pw^HE@@_6CTni88Lp&Cgx+8y$>|`%Ah=ORVR&Y%eUEoD;fwf2<*xq&vSt1) z(y{hx_911D)feJh<+UtxweJHnYN@y6u&=w1?yvth;keE?7b+d?zqgDRk)70wpQfu} z!xX$JS_rkWQvYzJgkNxPs(-VpI3m-$xesAyjae!9eN9m`G@XCtEclDztrb;ye+ld= z$&3fN&8s^=HGA=(;u*aUN*T`0BI1^MCa91LHdg+oI-S2xYotB}1>UJrKSEFC| z!jTP0?cS)KpyTUPR}VbTJuCK@CZajf9n7^VF5MHSVs; z%J}zF{=pxP(m&7i?emQ8(L zI<%G}-|3mAL*|=zPbh0V!seE!bMBm@oLA5`{wmi~5Vk#XSv-9*B@YooZWqcYsS@K+Gyv|7>gpOfX5BJSHy4ekRlA!EPVJu?JAexYPO+` z_TDCXvD|VbRZ|r*LfG^I@Xi)uPn#N2O@{$t3>Z~6z5vXMX#6N$hfO-T#r)qlujM6l z@cE(hh+gRPIMPeev)7Kd{ioC`=v;*BE61E@)cj5^$2xtYOt7k z4H9WCXK9K|kpXQ5X-r?0gKnc6!Eb;`O0Y*TlFMS>S6u1*w&V!(ST z|1Az~Jq`}#C0p+cs;M<(W zXMFIyR^Xecw$^kuSDrScpI*U;03^4sU>9j%^T}>Ym}QG$)gc9C|Bi+K$!Igg9YNVp z;Yx0(??Ptmw*V;}H9>{hJ-Cz#X zG7cJN8n-@F>0j9Z&6J%E1wY2&yz$adi(b!oP)Fk3lvc_c2@)$&R0J{5JiZroJq6Le zKGnt&PxpzjrO`f~#i&lvPZ+upX1^Abu%p~&YwD)R>LT8l`>VYwFUpeYl9kZ(q$#~U z-+k`?4WahxTrm?-e(!bPfR?o$Qx(UH<}k^e?vIrjHd2ZqDyM)C06=<|kGgYue9MI~3I+qM5~ zY_0IR42pB$fap5tLkr&7l^ms|9(2~eM$|F_B?OmXl&%%uk!RW^08FtQk1VT8ybDFoyf*Aj8h|_oj z3M9T5Lm_VVOxu6amSnz@?c}pt(Mn(7`=k;QTv*LmMV-if9xKth@Rt;+niL5csT^}|dfF##B}bLh&ms`u zg&780gl$KTsu54_1dZb+ST{Y~9Q$;oocRJwkI>9qjrW+!%wb;)FCX=VWu zTsakAgGl1es0M5vb*r2=TV1&Arv|sSBtg-hFG&av$^oK1_QGQ<{4Ic=+|0;jN*`y7 zsSd`JB(JJfMc+~H$o$z2?54PFuln`g-7TY&@UQH3 z4AUjGs7u_h2mV#~eV;9ReHzdO&g9pk`Di<- zE;)iXabnsWS{JOBCy%LksYnyH!?IZ(NU?`HqB!7k?9tcm+LNPpJKK-@Fdlwp%%(90 z>A7a(ycLtdoA(q4o!S-L@nConvz&jk$i?4&!%1do;sat(?rlc$dXbT19T+mSyklkR zr-yYfGa#uEonSUzG|n(aU98#}Qz2(Kt2OitAOP6}=D+9DjQ#e1?CAe*r17j@dEP#O zbISjRSz=L1P`jp@TT(`>chC7x=c zxC1Wlaq_yl&~2a6Zg1O6xk=w4_j=0Ql-IkD7kkzcz?f!K$v5D|iRB}{pB4Mt8+2n0 zT1>qT=`Or>9n$9J1(imesDP|MbZ`Wqaqx~7r4+?#D*N0b>?yj<%4@a6mGXHh359=i(&+nEs*lfH5xGT|E1;Jz&g^CD*e+n|3D4}a)3 z$b(aSb^BJ_!NA)jU3$f|;6W>k5h}vKY@t#u9>2@=n7Ex5qm?M6Lq5+sdBuVnt-PY+ z%eFc=;VFseaxOhINi-X2ZyD8A7j=!|F2&s~xVyW1i@UoPcPOqwio4XXQnVCEp+JfTD{jTz zU2;R8_r2rZF~09##(*Rz`<%V@oNLWB*L^UeIK5$og_Gek{Mwga?K8l|8P~*aYS6&? z9R(;C)@;?tdY@v!MjxS`IM~Kvxh<+(E|R1QLMF4#Jn15ZC6@XGpeZ$Q+GXQDoR?vV zxBem}>3;$A#0WdIZS^N`J@q9p< z_3{i?Sm$;yn4;`lJnace2qL?CF8%58cW!4=H zBpmw1im&2&MSpifWBqGQ@hc}Njy_8lP6}hNYN(P)qg-pGbOA0?HJd%D#7{yJyRYOQ zVpwPEg|VegD0EaM!g>mNiGRBg@+M&=}(RWwNKiW+t%{}tj*`cRqD zF%bLg<8NuH+`02mR;#^8cay;lp?7~hB)Y+R+n%mO3{&<(%c!;m6m8v`JG%hj7VGvE zMS#j3BCH!vDX#k){!wRT|1o8=Zx_s9IMDJNFxD}7?pCr-B0_ECVhXZ?w)B2iocHoc zV4|B&4~s1*8$*ptd15#D*p`~L;GrV+jvsJ(C(wLb|Bepy!Ft7=AgmJNc!#68oGFCH z7pf`*#jwr9uq0M53rr9dcv_N)ph*Rps+^_F(VJD~wH$Izn)eL#C&j7SydVG#O&^NA z@NH)|m7l0msyH2JTR?VI)+P?>PJJ*wAQ(N%J0h>Y@&Jlf_8;mJfxn9S zxSPUFql!|a`$%YB+z|C+bm`iSf$@D*kbQo^_HO1s2&m6{gjb1oH`XAhFMT0kA;*hZ zST>gwF>vp%kUSQlV=)?C`<);QLNDHt)fFLP5mig=y`uCdtq=bwOouAv4osf4DMvVB zJ~Ya%g>&T4gZP8gbrpHWBaoCcC2J|ImP@=c5SS0vJS+uWgU`>&F=|(cJ7P3Z{N-*Q zj4#9HSc}9(d7<{NJwyY)_ntW`d`*R7M*|Fpkpzib&ubA0FMwtE z7S_c)Gc3&9F?@WV!c_XixgvZ7Q{9j5~Iyp8i* zMb!KrT-PX6I+CO7NZ#4@&|fHpRc8_^a8Pd=(XeXdR-O!h28hr0gJvfJL<+ufZvIOU z>@}yr2G3uZ0+1bj+9Fgp#i63e{7-Pr!%~IY9-7Wra+o{d56|Jv;-U6|3N4g>e>Q8! zw~q2}rR`i=nE=YDG zah7dp$jf%iv)Vn)ld$3j=q}ka{;l$=Ta2pCa2=s@Di6lm6Yuiv<^6(x@t0HN!)r_O z5C*1$6SCRwJYc=Uv)6||K4i=|I95#`C2?>zFnsB+1mij^aOc~j8{(Fq}n{zAh z&Ln(L$x{6j7=+6Tzz@k5cpY_8TDOC+{;br{Jfj-*EZ&>%N8 zB7^tzam3x_P4==A!l-#Jz2Ud34BYUq%8yHTA8jsms#M(6^cDZY+r615nnS534QEnp z&CSU9m^nDO)pMmm&e{&KpIJ_rq>C`vF4A2Z{E_n9k?38<2!BFr?>?OEYk+e;O8@ly zMm>#HI*&((sg@}HNw#*vdvvb#q)!SWO$ zr`9J>fO4V~e&{SaXMBc@{qfZTFJY6E;$>wJCq~BBx-;RsP_$8^at6S$dMTripQ`U( zeuCMczcOny)cofUn1fiIwDQenlmZPP$HQ_>YZCGE6rXtuNn4ruQ%n?8{gN|%sjsYq z2#_qC(c3DHoZBQ)X|wTnDanSVJ2|^eWa4JuQ^1fiuCgEcnh+B|*S3XrFwA}kc9Lkb zAcs5$#99QzGIb>YA?c$y7Ap&F$1X57zHU@ zjMBbPvUk^wPG<3Z-2HWET@!N7q(1Aa_g&mFWKqEtiVjp>45K9Ij6r3x+oh%y9f}6#A z81CKZNj~{ygqTSaI%XQI@uULAww<#5T&w~mk(M`NCc?f8d9U;X40gRXOJ*^{gmINU zY%WwA&dz-=B_)|As7IlQn|h@E2OM!tu3?DAZ!>)!Q9821FrVD7uzV;J|GIAL-C7LX zy~)_P&F-cGEJ1feB(iHthcj7s{4h}D#`_~h8ym^fpFyv{Z(O^>-33;c*hXhb!dQLT z81EH{V3QN8rTs=;V5I>*GI)DJIe3Y znm(Sm4zsTVQ$YX#~cX z907prEgvD+JYG?$bV`sqjO$c%(e0@pJ|Vv> zc43~w@9TH(D6R1bbq}_vs??_*z>E5+ScvJei0sVGmbv%C%SV0!fFId+L(eeK}zj zH!ZuO0dZ+AWb6R0Ir+VT_=ZRGZ7A!+GwTrbmE`826cQ_T1kUU;7P98JY7vRCK$^1n zNiu}~?3^}0du@wQG(5T%Nf~aKu78s&TXWZ{IYE7Z-7NCiS^1dLw)fH5Lmw|_^Y2>* zwU$oS1+q}KrFhjUN05s`=Qev5wX~ONprtQR@6Y>`@eDex0=`S~d$;ab8!r?Fbq&e; zluTaEY7tb&KWLG*A5nSh(4Fv1tfThJ8{V`qpwit?uN zI-*eFetfvOCjLeG@>XZ@dj$3Jh+xcNQfWd`v{1RdWeZy|il8-ZSfdz_&`=;vrt>xc zv9zVbu7=&4>{LS;(^})7{-fni$P1-WDX{BRAdU!jAcy_q0Ei~iz3(6&1ci6Bj_rHP zS&uq~qJ-F&p;ugmLrOtG>8;T`?t0Ci!%MQ2r z?hfwygVltQif^n_HIIXP6;>C@Qk)H3rW>hUG1iatT4r&C7$E!j7sXAk_^ZgS$eEa0 zZbad%`l2xG4z}gA-HlM0HBC2Km)K1QXHzF*d!8Ch^@Ecc2d^-l{x8b|Vm4$`0 zg4&MvwEXnSh?o;%C`+8>*w>y2V73bm?1DWDT=5A7e6>Aqv})BXUh-j0ND$UZc2ts%V3C;GgV=#CnSzjBY5rIO zI>~UI(p6bc4~(x7wCqjA36CNAlSy!ju_nxo|u1H&sQ8G@Re1HTJ$_ zV?z+0!Y(P!6rG^>tY&_)@28x)zrr`+7vqP7ai8j6N_EF^5aBt}_HXs_1SlZt-Dbl7 zxtMq=q_EH~59})X2_B-D0o@_7dNX7U&#(~&B&*vZzb%cYi}eUwGj&4TNyOOUtC@Kb zw0(LfIZ?600^V;VSRhJC8j?)+C(aUg0@~9b3$^h2{LE9h;1C85ga5pN-SP!%u2>B{ zW#)Svx#aUf)@g}^&>I%W>)#21gn<-u_(mMf?#Nimm~%ZfMf$Al445Dia4O*Uj1y{D zShH`boy3eTpA6m8i4zS~TJA*Api_6b9xH*9g_AFQ z(w$1y2U5d|z`SY*GlZwARw8Lh$5Z(|zU>0hOJNISVFOXc#78ALDE~ID25s_xT#UjN!!Dw z>dlYz=<^M43i;lHc|a?3sxahlceNc6q>wzVkMDj;W!UE0(+>H8L=O&E5hIcJDDFiH zr{10roe7U@m`swved8{$tQv-Z{AM74wvu*goWK5zOp^q6;4M*!q8dmEEDaU1(#(Ex zCdM#GOL#^Rg8#$GxAT@z8ZNf@K!B;6Ng?8kesW48@qu&a_S9$Cgt+5D52tSoserZb z!pKZqHd;fsDrAWyC@IlBQ?<<56NWg>O)~2@&E&BdJM=e=1i+c$q&R0o825t78q*z` zPvRfnJHo9hstxWr;R)u~U{>#zI;W>}1ZNa`Oy-Sg@c|xHnj0z8vr`ke`_AY$5%dr7 zI+(}M23?ThmH7x4tu2Kp9S!yhs_jIRCT|!%*}d+?x_tO1FkjeI%mlvQ@S-$&o6YO~ za#X`wc15b)U&W@dEHd;Qp#w5}2!}qOKg``i9Z!Dr9ex~=ex84g?;^)?Ngm9tr|_LN z0YLla6|%zX*D{Bf^on2M=;;$^^^mG=xKvKMZr;P8)6rc$Ki`&I6n6NIFExb(2p5J* zkNcL+7wd12EOqejNO~p{WUeQ6i$!+q-6xgvPO+2F5|q|ulMI$KiCPvOh) z8iL(^Gwzr(wI+JhdxkC07 z<7dFODzx)S3%R$jR&$36`;inGEP_tOxf1odi*qA8%T-)-DpUr|eoFAq0QD->AAGY8 z=`(tT*!6)kOm(_!P*W-ZNOD#ZU;N}Nww?PKw>mc1<9Ve9_+#H<`ok0jp zy%cfpn!12B_Bfjf-H1tzZ}lkB{MeE>T0}AEe&G77Nt4_X8Sftb4IpmV@>YQ?vWD)X zBbl!sfY%>*HZQ&rC*}DG@Yxq5E1t76^9s}~e&uiHtudE?xfy!KF!SH3@OPHi{s_qG zKPc_>&TRf)Ex@}>{V?1vkZttma_d#Q?BJgmML?=wb%?{oTk~8*NX5^p@1-epvjz#`f}W?F^b>>*<1mD2?3k ziMWl>q<1M7FkkW1-e=fopm1e7DZy^Y@mo8td*r52fKDOV4|5IqayM<2>^B(>+mRk3 z^}N_$%V21UWJ3pKZIzBcnN&Q&zIo`Htble?6kpS2OvZt(p`7S95k#SU#_r9)B~uOk zxA%$}+kflC{Gd^pPwp`z*4qle5(`uhCG^82Gvc9EhGEkSuKTbRy^jxU_jO#cMMXOd z7lH|oRQaoik)eEIkR<3<)l(}M+F&q`?jI~vdT4ru{*3^mNO5BQ;5p#yN+)>foY|#v z{wSSZwYv903&~$8S`jD=oHrRcmPE;q)?yARA?j(<&ai4i8WQ2*_w^rkSrFV zRtfx0(cVz?1H2jqrJI^o1lH{F+tmj%Y+1ie-Sg*wL1&Y7WC3qh%;7+`;E4#-y64ek zW|CZ)K zFmAq~VBdzFgF^B80?O7&*{`rsFTdg@*4OcbT4(q(ce2FF%xaaa;{@j@&hU*Bg5lXC zdtJsQl?UiZsm|iWuoI!qi#c_p(Ngm%HyC&m^&}=)!KE{ywp|r>g)%#5l{;Y;F;#HT zP#Ke$qqgyk@}_{&5;e=oCR86)fXbl#({qicU!KjBqv$Kn425sw;VK{z3glXmm=Vfp zQhiW#9Ir!-eT$z_>*!Oen`6Y6dUIh})8X1y9QM|Zo*ar>4!j4lfowOfHf_ZFFT0{U0k-!XFV_s?ERz!I9k?*9A^aF@{Pe&2 z*MC1};B7vI)#w4t+4Va&Yd(xgNX2P>cp)rF6xMaljrz#`wV+I@)9{Eb?Vu`aTNuaS zm-zRQ0;5-rHpu?_k>($MHi33=+FKFBMTE_I48-UPU>}qJ>fc4}^O4>o9-`yIs|Ns7 z=Ub?}5@M63M&kgl58MSxF>OQ|QPh@h6oga1klj}vE|!*4k__bS{r6TEuq&6&fPc-; zn5XqYVy^Eaw1ixKnpXDNw?}+yam))i@ZHF6h#VLx%IgN6@MDUq424^vR=igJR%Ti5 z2B;n|gNozS6&o+oL05o!8?S@duYb$CULmBJHYn4B;l-=b{So^q75fREU~ztxG!LQ{ z@l<9@`xYx2ClZ4Pne7RU4STK@p)duZ{$$}*ykA{V={7q^QDqK%!Iz4h3WO=EGuNTo zkar>ORxE2SYjv%u&4Sl*(PN%bF(J-a{Ol~{p)@d`j6cJ+yfqlG<;Wu|nc(r}fzZ^n zRQ5Pq)34S)J6TF|-jEt+}ssrHk@#h9-&Sv?Nqw+PCX%PNcYgmyMxwn5sx3Oo`|@JA1V%D?(s0|G#}JSiMOz6bc}6n9X%d& z+-7FDIS1C$S6(aFjmz$J&dr{3JL2tyabo-z!f)Mizvw&0>+C$ALJvVZQFR&o0ggd} zmk;8Ee)|TSn@>J-P?VM|$f(?WY)9A*Eq^^m0Yp0Q;c#`+NQjPqGz9M!S8SDa{aZ-+ zGeqZRM#1ucj? z#vFokBpV2Gy@(pkHV-SbODE#D&W-HaIZPuNDGvM=j{HP?FXS^o`|6M zEc_jZ2Sal$cl0PddO(2DjiZ#^lsm;0VN&fe?J!`PCjaM~NPdhBBT{sxtjJ{y`@*sl zFUlE{N`R9FVhKmlN#^Viy>oXNWtiQlcg zCL|89t-71*BzS@{eD%cQyShU;MP9qpx?JQ~e0NmMv?Uzx&fiV`wLx8MVwREdHAxVi zTf+yTuj}g8mJ{#l^1UhF@TKX3x)PtXKLe{V9TOtS#(0OwW01pdnPBjKpG)Mw9BT5X_(;n33{M){HU3#{^TS$E502@NS6UU1UmJ@t?*J)s4kCpt`#7qH54D@^ z-cZnX+`Mzez&7#z>iDO`aAV5=9q9%zYGPO_^U~;c*q*ZgsD}sSct$Iw@(nezfy}o1 zB0c9&_xc5o56VfMLb?OWOAxE+%tOvYtt-*W&00sLv0KZaOMT)nFaxTNUK&QFQLN=* zV9k?ZQ7Ldqh=fTL zWxAZYN8ZOyj3go`w_U^|zOlr!hvS-nMbRTG0Yw;fN1ONS_pa8kYf{==x(oke`&;y_ zbozx^o{NX_mx~M9@-pzg^#gqI@LZR@jioeSDi~4o5^uEAVei-33C3bJN{#TtK881? z>2%!;_1_jxA)`K|H8HE)(}A$xbLNYsA7&8ucUY_-Wh`5IT! zGG9)DuH`0bEXqVjWdvMJz7h;VCCP8Nqu!|Rr^t-QD?Q@nQ&S<-n(8^iTjdiE&as^p z;V7%(=yPa<$PIUswc5{0wSW=7<7C{0lTP`&y%0SXX$9`tQC&WO4nnOX5Y7j#(X#%z z!y0M}*1ENn6omMDOS-MX@4VS8n~!3St^P73`t2jkG{MI~7j==trN&CAsyu;%x^)%R zA0r~YLTF^aK{vX4If^NR;e?}n6a)MRnxK`oN0bdd64-pz1>dw<8ZD4Addn;kH^L~a zM4s^hm_9gTU3+y)xq@r*o-1}6Xrz8yN6DAe{%!KU#~)E_a3Y`3B|5bU5N2hpz z(AF_px#f74CrS6zVEu;-8(Ew7Bnj#!k75towH3>0cH|x8$B7q~@meoPu5aFB`{nMz z)$4OS%Ci?pJWCTfzkQ~`Bw<#Lup0gKjJJ;H9Dkw*};T7BkBVt62N;7G?5rG@Ut{NI>)?#S-Op;n5)+2NFkWvrl?vTKHSc zt&Ipm%|P*CqICkzBsMU|u6wgwsbgrdcVy_RdikAZg^v#gw}dg`p-W{AeSIHNg4Z3m zu}c**l&V)myOyjdg{N72q(b!$DHk}C>XoH055wcP8Jx+cSYM)|SYNkFSprV_gu|oG z=BqGHzL-FQJNrj+bg~cEhdhhp*gWU9M&chi9N6EZ9t}8y+=#g}gwLp#3DEbCPWRkb z7%#+k*`|g?yJUUWgF2HjPEBq}r)*!y?%TN4Omwo0x+KZy5izdnh1I`3pfsng#&I9S z&}xK;Qbd$lQ~yJqyD`LdA50P$H|5 zB%y;u_}1hhky|fQE;s{Lv7lLNgEa`n+TS`Cstwqoo|li{3Pb$GbXzj*d_MR+u^Qk6 ziIiS8kA#ZjOZ1vOFj_#Bq#=sk;P18>AZ1E3!O|3~R4f+!Y@D;7Fm#@_2KxjRR5nx+?`6pZ)+ z-3>(eL-)Pk+zRx$ufs0L{Eu9R$FUsnZ*WX$StNeE{?W4!ua;r7K^?nGB}%gwes=E{0oa+& z{C{9e3PV)fe0Z9l^@GC1V56~6A?KH7&xP|7cEO#eP<~LDQ>FwKdL#t{os%aay~KD? z`N}sZxs@mZNs4%F0oyRiS?2pbNgNF&JVa$UOSICb$kfQT1+Va8d+If6s|lVo-we;C z0uafBAO+6jCy0juV`E($QYL$32hhqVc=u-an5H}NWpBZj!E)2v>eC9f0?96_8CocM zAkiFVJHM`{_u7urx#hr$icDfHrWxhJGxZ$ZgaiBM*ygLK2t;+b!Pv7);#Fn2fvH`y zfvq7N8M(f%03(%^kz*Z3yCrnDe0Fgv^HR&ogL5U;Swi-ncw*55b~-C#ou`u#_Fw08rBy^54B5e;y!44p2F^e$2VcwC%q%N9gCjEnXk ztAKAwo$>YLP*l+7)9<(C6ps;ca3VbAgTgB%Zpsoxtj+94RIi`HaA4UdYufpnZ&q_{ zN^>RhEgA5qB!p^VI97X0&(ENMzSVdg&Pa)&+5XE{FV7}FXAVYI#-7Zwwtb`g zTtTb1Fh=4J;!|A0oFig^-=QS=-wF59H56Brnfclfgz3JOD@Xe6Q+l!xavle*DXpbJ zjzydGmasa@(Y#KG(ppF{&K@mxZ{oa)lzZ>0jkt^Y`pTd6LGpkbtuM8y_4X4%Vd;&~ z8>e%aAUNVUFn})p06bLwjIs`O?1i53(;Egzt>M2NYs)IW*yy+(_0gGoCceWH_zNU{ zNGDH|1>|b;OAxj8{myJuimOP3qS~#lN;(~K!>bDgr94geNfO_R`Any+YG1Y`PN3-r z<+9nOEz@kl5IQ|oH?~BEQ-I=}$JC~XCdJF0`Ir0<@4|Q1FchVlpM)aKk2he!yetvX z+Z}iIuayz{W}FbN#7y3-;LlOV7Fnb&oI<1(=svK}5oC2j_RpHid-^{KwW)fOdP!iI zb_o{fM88XcmZKl0IyFfXJ3Cw}Wu0DSeDkrh`zTI<-&C)dHTx8K;8Z)|oYN8&rc3xE zL|5U1CxdkSMaJGM70?5#$({w4NbEjX$+pj5=&i+YrJ1Z_<;=Bvq&eiKk*pw8*v6yj z&4aqBp&Q{YUjnh! zpIwp}WRV{yNR{i*r%2@H2VW~o?JHklgqD=X3wGb-eU=~?gy=Uyg0ZmUK z-_g+5@<$vO2AL}{`zbOjQ)6Pjb_IKu&d3)&4t-uonv7*-qBYZw`ykm3wN276UcTiAfy18Ug_DmA z+36Jr1s?!TKUD6Y6GzmT-8MDnOBkn6wnXW&OLaet+?Pr*AkWGg1jA1O=ovSH^ZtIe$3? ztS#X+ZDwV%mf|y%%E5IiJkB3ZcKfQbn!E5?lba#1jQ+GcK3^dlAGIc=C#k#hb+H65 zy5+n=2$_I4myh&JxeLP}^L47yZ`^UMY*}JG;cMjK>MrL0 z@&n092F_pcjk4J?e&3GCu<~V0iuCuJ)8d+5rMYW$i+dE5nT6e>!3&f+U4QP#&}0L- zXR@G+&tEc}rx{dC12Bz0E|3EVH4ich7Gv^#QS%U_B7J;3SLs$zZ_N$j%fr3YVc zK1O`oi+5pgNx%BFGU{w-`&8c48tvy;ES>DC>=TV?JC4P_?MhjSTKCL+t883q1H2=# z%zalP+TwQ ztXlB}FrN5>s}3b#N;5}y^1&iI^6$D#et(~Tpm4-N&2uj0f-j4MihSq>o5}tqaW%#- zQh#;B+o{fL*0Rt?7#Gy*DOeW<3%Ju%vF1^?W8Nu^z$i;9sWNf- z=lPIwJX^3vq25HZn9sw7+_Ep&(GI6-4}g!zVFm>7FTaB^6BumSnNL}8k{PW0D2JUM$_U%iovu<)1I-vgmcx7 z8MgBTwEWfZQSgB*p*})9%#hsMZZ151WXXwo)5`)2eF+!6GGpu0E}K5^LKsZK7*UEN zw+@_DxOuJXlz?;D!=B=&osH#%b-E*zIwcSl_Hx`4aJPOcja^t;y&Q|~l8hwF$jXR0 z!G(l1vzZXlU>_=8RXq?2%s=84JW9uE)cirSU#<94v@-?S7PIrY!X`xjMC0>lPN@0n zV18N~E$orqtwFZ+Vgq6qf@HEBLCJI;g0A^JSAk%g1V{^;+d4ut+Ak}xIJm&vWPwHWku(Jd z-^z&=Gq}6@*E;^UgOkh6IU%|w*_=RwjSniP_d&N0Tc`Q&n)Q?ErkX1Civ2Q6%O0$e z*L15s-2xt^DbX2LEC0YtihVgrl;ezFyB4U(^m1(cqTTUk__fAvgSXPue@q5kl-$`GSsP04e5K1m4oVM zM0yM1E1e5n>%%Hs*N2H3XHgj2K>oJ=OMW0vm4>rhzxuz_*TbCS=02q^s}RO z`D3zpd0Yxv+l~`gAxuS%BlKa2e29hoDG>@HtI}|*<-QXs$Fk%fN%j1VL>dxR5*|=7 z5KawUz8P~<3GXCEv!<(ExseWnAUA<;>ujjAnI`-~B~v^-8B+xNcrKTh zRXfVWsh2xx=ww}yzB8ZDAB}fUZ)+!-MIBe(MO6cdkAg3$o&MC0!a|*Mfj`S(;k;LG z_cdNtFX!qaB8&_k4@mv5e697RdJNk+F!cMcp!V_#mffoS*Ec0O_-A*ya3~QL|M?03 zm3Q(=D*1I2VH-``2FB|C{j6hrELK#_f1lA#ajoQje|13iM>T*A z`og^p2+^vHYl-59$3!TF$A!y<-@v?TMcPKH$GD>JiyG}+orT}Uq@^+B7qYc&czS9v61xWfop zQH6cCY>D5$#av_CQo|PO&d)w2M5~^|T_O5=`6^z9` zz7rWcA$c!b?#B7nl7leqf%ZFU@(uFtj~%&L2cAaEM*91-9%cV7Vt9Y~=;=Hi=vb!j z3x@fgBM!m*T-k;?soa5X-jm-i)FUp6Vm>^*<1Jv!etx3UO>pW}v8)eTO7vH!8=SLw zdWfQl>xr1^oom2!|HE-egY?+7S!AI-EiIkxt~&=kGV7$muft`LB-Aw1AM7TX zKin~<4D7B7N4~ZBcrzvDM_nzd#31V!CUD1f?Mv4(UIldGD-k=s^`c4&<;sS#w4I!Z zZCI9#<>g}g9cyKGkquF+W=kd`H9v-lyb@`%!}6qsuL4(=hnlX{$rZMXJQFd#BYu#e zYNvhdvM=_1A=nE^{{u1~DMhI3p2uS-gAA3~p+wD-=8PERC-Acf6z^IODpW0zZ{^EJ ztu`smWV5=E`<`2(SR!$qOUuqgC7MzHR|^o|2o0)wLz-YvG>-PLs?2@?4C{R+z<4rC zFnIU?AHkOWB-lJJ)#iz_7TXA=B*b<_Yc$*a5^XSd(et4Go4GnUzG;3Uz)N6~Fv?)Y zkb&U+`;jocUaO=DyVXTi6?tB6{0gPmrUs&g+Jx?tquyJT*o`MNbn;R=K& zADhY9czRDnjCT)?hTJR@A0H({xby{a+M99%L?4$qC_*FpcWz>(+3x6f4Hb|Jr}{&f zkwq_PK;;WBzVk^9t@2HI`D$@r(7?mO%f`*4?u%BMZ7iF3!jd6q!D!Sd=fEHzuSj$( z$$|Vj$?1Le%+P#Jdd^cXL$?)2N>!AzB#5jgaQ9H5bo|+ObFV`O+N?}9Xcxt1T3+pYT<%9*5__Bt}2lfc#Waz|-Y4Q$>gIw%% zB-t(IIN24bRH?Gx4fbVgxp7C$Kh64HL!xs)V-rj!9s?Uc#4D*Bv1Y2W(MVWeMk46W z8iASNte12HWF1}tYoKoKV(l$q&|ZA1nAdVl7!3Mc^|;<>PCP1F@$I2b1+fWza&D95 zOP`L&{3rzD+Mz=TXgr~IC%|{42~_M8lFo->dXalEm!sZu(F#t4OS|o8 zXV<|$BIS3amKkIj`9}y0uS~lPSkU=;r6b7yIDP_J`Qx6~1s1u;+UhgHt>!F}oFsox zA9(d70UNAY{X6#Dk-&Xh`DQ>FY*_`af_SVbP(K|)cJjHv!<1nkQh#;Vom2Tg=zO@W}hZG~L zQg~xsE>WGIAjM!GCd9_y75N{ibTq<7C*!Vwe5%CU!km&?JlF2^muki^XKcw_A+teS zuzC9dETICiqlLA_s$X037fImmnawMx+)a?t>1~du-a+NL!8+75!@x$LZxq7WarATdf$TLP zS>QW&Tx=`R=ab~%&67R81wYF|A#0j{xYseE^~zA6-7eA~V^Q&KjYV};=!_5*OTj>` zfnK-LoRo4)%^IRz^fwN^^@5oF1k<*%obzJHuXF0pf{3NGzNJ6?(v}kfGC*h8eEd!3 zK3fynpTEG;0DI|U_E=tu6+g^x28lpSvE!1lVnG+5Ml%eUlybgfq6dEEu$0C>Np5=J zSRonLcNKaw5TbIyo1$_1n;-4&I&Tl{f0)9n(KtP!&4aQxPyXKabK#{60Z*BBV}H$= zn8}vjUoxI#G-_%VZERkC?1iQd(eK0`HGGmT-7`E7C;{Y+0vCmG@>^h&ql_Xo6cMI% zHe)g!X@|ll^_TDlzA-h@`BZDO57>xW*L#ULec!?QEqHw0K_>(X^L;HqVx zM0K;j!~|vUz{UFY)7B%pxaeYp!}Lci2Sri175VEeA{Q22-XBK;Oiu%wZg)jUh`tZw z%DROpWt5cKz*q}+W$M(`%q{gf$~z+t^dh3`9`#^^c5Gvj$(v8a2oADA3^sS)6R*Ej z=3JC`elOeUfT;i%Q2VozJMmLuud~bJNM^O`T_YwJ{N- z<#@-;EfUrO+5Xd3`wq4DvN!#NjI~(u(euD+L{ zC6vxfTI4_~u9gfszvUsIj(zBV2w) z#(k)QgUJld76kAm1UsL=*N)1C|8-jdnFNfbel`0WNJNMqn4Gy0kXz;*dVH(sKBLsp z6r;X?tDxJhchk?VLdr3z0)cbh7+}7Clr;Vmgh@Vy9==Cz>wt1B0-XLHtqq6HelHsdK~j;^D^#)su+ck%P!KH9 zBUWRZ4eV>9kCS63!p`8nb0^)f?TQy+=5OXG8Y6~{chZf{J24_bg;N4_FGE}m?F3(* zPp&_(8}?GE8E8%^{`t>3>;HtMU;a+@Z)?F`<^5kU{J-D@LpuLIfQ}d(0`~&Tos)2~ zM}vQ!LN5T{n)A<$knLB)NtuQZwcf+@L?t!hLLUE9&L`!6`i6cQU^CNc-}VF0c&sxvBN_xX3Awl60S z0x6cp{Sn+w$H(K7NILWU*MI}RS zOl1)UlAU}^;a5-%G@Bo&cm!v;!VNt8@{-JoMYNtTq!)ZSYgkqkc7#5nrun&w{7HII zI>A^&-2b4M&f3^|=$mE8O`F`REijIekK0QV5W+Zdd;%HsilbOapS=- zyK$@6vIVJRiElD$KC+Y;|3`edtYj-)jUc<`{xY-Bao9)Mm!DJ;*k8a;$=&tFHbuok zH!wm2FvuU6hNQG>=1J$V2TRBr%dEeruB3_0z+)lCU7w4Lj0^|B97)2QTMLnUz5S23 zH%M)3A{ z?O_Ph#B&&*<3$Df_$G7OD#4PX(11Pu*0+j-02;B<8<;22-3Mao@bvom!`+8=@#Y}p z{Nz#ceQZQ6cng`?3t5+*9gXRS($FiU*b$k1eFh7q9vEp z9PqzhG)j|mSqOuqe**LFqUJ!CP|e^e5k`ugeEn4mhofM@p-P0aIT<%kn)#kH{5;K7 zJa@VS=Lw>ZI~b$3U}pMZ^s-lNH&#U36SoT8LiT30HkHjEDA?y+f3UrgC-C16Sr`lj zW$gxs!#$!dmuB^KuWs*i#g;s91Mk#-1^mp{q&#>iU$&gE^Q6c3phmsM^$XAcqHmX@ zb4`4{^-V1>MU}{EN^V~6wdFw}Fy=vINKj!szKH=Sv|}vrm73z(GWlJKBQVkz zx8R3i#`sVxQ<#=g+Mn5X-alv-ekc(ua%c}J+qO2Iyt#bRM&AiA^a#b(>-73V)1En^ zaI9t*Ck%4}_LwA3y^B)*z3tRSdo;*my(*gMEloX?M%Q_KQ})o%M$$H_0eaq*HI&7T z>jZ}FHgQKi^=Iw?pkV$o7%tZ#vl2XV21rBxx%*|PMr8YIeNh8^Qv`nM)5`^ z=<2mAE)H|yF3EhniM0&?|CkN5itoOUPOcA(%oHXvMRPV}1Hn2=`$fU}DxD?LA4tF> z8!*84xLm4uCGLYHHjdG9kpUBcDXeN%0n1!8a_@w`-_?{6WzXaL5u-jwGD7b#?R6m{ z0&NX6_*^zcdnBI>_?2WCJnJWEjB?$O|DWc*GpMOG>=uwBO*~Wyy(3j2^d1QW>0LlT zdg#)n29b#Lu7na=XevEmp(&t5q$KpBbfgPH2pzt7&fJ;r@4dh7p4pisGkec7Z!*dI zthJuCmJ%tK(^?y;)(Bv&Wjp#Aou%~irtZrx86_;R9Q~F4vXVb-paLNr&4Z{0*7{L= zEJdoV1QajD3j9dqAP5bL`GPSZ+vUjXo_)XSXaFvv3N@q%>LP7l=9)gw_FHTl)LP31 zkE-^jITVY0{_J5v1%o}8XAtASN$S;iECgMx2^-{6?RE9zI{R+?nxtw{sDISW{W+vYO1Bh`= zqYiJ7Kx}m8ecy*=b8keGdUb%WfbM{-*I^(9f*IsRb)N-(ArTOtYtoc2)5$6##U)l^WGlRR*L29g;47Fc8efbr`pp$PKT1aFl zs*k!2@3MU~`i}b%vYGI^X7x|+z^&}YyAkR?o*S4Z_2%w`c-HSOr9#A!Wg7VwJn`fu z-q`NBYz+A^=Vq5cWYz^H%3_H0hUUygJ-^m%`X={k;*Rb$B;4k2A(bw=Bf>OMT= zbCNlRI=gEzW6DEJX^otWu>_j6CL&AotE>gwa~mRHCHU*p1BrM3Jx ztJ2sL!Y@ZR!vCPVwSzmc=TjPBbt&wJsYP!-4jgXXZJ#b;qe%O(_lea4A3pBXwyZew z)9hliPxTcaf^viZ_24&kYiL)H;-$*^*%JyS^iF}|#C~b|8|=Mvfa@tiG-6@iutleO ziZJxJ@c40i7TVqi8IobRS$${7qi0^kOiFVbFtn(Y<8~PBy5-%{cvo0>HnIYxsxD52 zJw6$ush_xgMlmv_ks^$mEu(0#%-CzBiEyOzTz;bb{RBgPM#3z#rQ~`Va_#AQIBgTkwwAuyqZq!d!g|*(Qu+T z!GK2kd&Ebl>M$#|uj6#Ml(*B3_bOW@IU?B|wTJee;atzO1bMe(#|Ywli(UXm=nc&@ zcNmzMR~*L~XO+uJ7lPEaMRb+0jVECY)>nTt&VReO5O-xz<*r@oh$Zh-1M$$BaQQWA zMC3^(SzXh(XLQPxK@)xrP1XV!$CQ=bz(%(uPUg0WopYct$Z5GOBo3nKt$4x1gF5IqOxKllw%`YRjv;dy*BkA!;9;S=loZz|07T*|f!sCGgE=fVhynZ-Im#XY zCKNq<4m_xZ9@r_xw5O}TF&7EZAcktY8U1 z1F^ZBbV^8e5GBGaY<&;o>NO!|tjp?H~CTb$|yvI$_-N75^!80E(C~6xpCo)v>76nh|c%@T}TQ=&r(yxH5gP z!3zE^*}JlImCp$e6$pabk<<=JB#fm*ns+KUsO8gX5cN57Bf{V=a5jPeVD+myZ_1(x ze(wpFVN$Zs3o9+nxbFT>r%=$@JzI0*-*9fEhpG1)CBBqZEwl{Gp>Eq^ftI*|o#%b( zqJdI2L@3EE@d6iBQf6|q6mVkWHS3WoO(yC}=wX;gaT(QBz$Y5l);B$wtuACOY0<^J zsrT=j%y4)bU#3_U@2BWaZm0`F3wa1ImS_zH{y{xtq$!Gh4SUD^mvE=PycWpLG`WMt z_Ie~WqBT_EZk7|3?TTK9#~h?a_(^CO7@j z3sQRr%}&we(l2dnG^^s~TT?eixT87jyXJ$}NCs03jjsd33qFl`Es>1;`IOEp3EkG+ zd95?Xngf11gB++)k)bg}7Qe2Mv;xT|d6@ZfXRi&TD3Zo{04Ust+l^OFIjW)+UJsLJ z8am7~l~siD#+GTF&d5Ds8OGTDv)AwomW2WcMf6QurTiD5^_C@lbIv|mq2(9CR$l^Q zt=#7HwqbHU2LPlT?&8pKMA-ed2N8BgO0dsAz;mtiv9&l%=HSESh#P0b^aq|3zuH)2 zg~+e|=NX>dW{XB`&jKLFHdK;dxAhLs{O+wdlCa6 z3d)rx9T`L1wbV1x(E;u5l;tAisf|#U2;PmyG1)c9*ysY=pj_2Sv!c-@t{l2bWHVtH zBYb?o>(RuOv2$T7x_K|tz06Pz;+=g_RoxoE^(?+dCY4$=@E)C|g1Fhw%Ueq0UD^@3 zsFdpd^LxiRcdec06CgV(<|#A`Tqj1MZg0xH%Av*ed? zuboW6-1VcyfD~z15s@>O5z$il%I;EjGCT+kY!@4eyK!%~lLd!5dgsO!d@TWfcl-H( zkCg6ir5u**0c^n$0_ks7LbP%2ANnNDS2Io(?nldRQ;O zM{FlI_7s4_?>U5c9$vR$j-n{qRhR{)FYkGZdVE z2_rV7-0R#?H|*0@nLrm?*to4U4Ef>Uo!@S_!#1SX;+H(Ji2LP#ZslX^^?alDJS~hT z6g;u>J7doqy?eh~7$^B_hhD1i%NAW@^ljA@Kfj#{_6SE#SZ3^+su6CfZ7{o%wcMyx zdQMtsP@>yeSp?t0W*N;*!F7!l9Gy2)mv zesq+*!|rU(nJ&Dm!k-*3f;)?h#!Jj+ZK^VwJ zSorz7Xb>e;Ei@`FM#7t|U&ln8WYyEUyE9@eh;ldGszVHFS#9I2Gjm}FWjX;vBSmaK zSDQ!yT>A|cc5!xPmv-!PXNJ?v>{4=@ zZmwX8z1^F5Mm``zc-5t!vqu)dGZKe?t)Kib&%7NO=Y**WVsicX@;=~45uMKEO^(qh z(X-!=*qe6W<*qFjLe^hQ*5^KMcNea#+J_cCKWCWWuT@*8pVL|1Odu~+oh{{g6ehUg zO=X@Lam%%P%*VOvR$>{VH#S@zw7F{vJtVp^%sv*~h=0lh_nm&$-n>1BWf|lFFeYzaX96}{rh>fl|^v??SjEBw`%bd<|Q$c2pznH0=Uq-SZuaST>OX2i&~{znN9WWvispnPeO|o}Rf_Ct zKAn&d2wS2JBJhaG^o0)D_PpVots# zcBWl-duLiS=^W7XgO?}U?VrJd>Yez)K`~L;6Cr3Ej4BXY7k}_Qz0Gp;c82CzuxKPT zSoH%5#qIb1DE-4~Sfx4rc%H`1-!!_&xnP;bR~~$1)Gk~FCuWWM`YMk{P6faAo(leJ zZ&l3e9u-4Ut7x4;Sg-_6|3GY#%VpkD@~YCdVXw+^qnC8y28Op&!*x;4<33U)T&$+PGmc`LA3w@8w2K^?$T6QC|HY(ETqOC#!b+pN97C)^pmwu7wSPzi0{ELBIKO;hZXHdL)U+FII)%07#=yc5!xbtQC zaX8&nBWf^9G;yog1d7j-u4&c_8)n$)nkbobDV>vnUxclEHF>!mf-{NnFWZKFAhb;= zT|Q!NRh{_x5jCfob8pM^b^QkU0^rewa-X8WB*35b^57w72~zQ^)1O zF}g?0Nxez1&c8&vyo>K_NPNtQRSU>0A>0LVE4%;}E^s z3QX2GYq-edB|*7w9RxWVJ+16USceq{>hyv2Y!{K zsa-u(kfyKBOS*RugPb$vL2AIOj3G(FU;`{lPs5D}7a)=JYlo02wmwVhwG;dEc6p+j zL6=Bg%Kh!-Im)-L(*4%Yrm#oLV|9X8qB*IR@}67iL|u3NHT`S;ccZTZmU}{bv}fJP zQ*|?LHn@KKQx7g3;t`RA;zc6oR7oWY)?FADnoZVJ68A-+oOz;ltcuTloMS>1-I2s= zDj3~v1E>KCz-eQ_7-J4*!V%Sk_OIAcP|>p8_N+m|6#Eb2H)n(EC7C=pd&wze6D*4e zuveWU0U~BqC)WT@k@9<WY9H!9BKZ_~CrLXFvtYwqvbj7VAOL?X!$LhEb zDU>tlx3fO|FdX9{i@GsIZ(lD7os$m&KZ-=X{Q1xHEe@hA`;h>e|B~PKTNka8V{!T% zRc0=h{BmjUDhxBA@8`XwIL{E0P7+Ewr@cE@5X%KBO7D@+9SF8PUfD9-Eo4xI$G`Jc z!Cgiy*e`I54P_Fv#dl%#qnA`pk^HOO*P&8)!8^>&H7AI_nTI1!mCaO^b8C*!Xb3DDbjR3;kN-A&RArR1Y_dQOOx&er)e0?p zSH@<_d8HRJ^EP&@ak*M;_b!yBe4y7YL?$=nQkF$Yc4)4m`L3*(e9&Ev4xUpKoDufyMTPLp9^3(9so^OSD<-?y}3wX?v zklfVJ)7G-+7(0!M63F>E-P<_ldU~hGmim|mAsgxN0Qxo9>o)%KHAw;Urs}f+45dJ= z4lda1pQbP~(`z|PlPLJth)VNt)?qGb|IKkW!>Xj--8})H=+UZ;Z+oqOsG2DvHin@R zDGoQo_(k3{esW$HYLZu8v&8l&Hqn3NHYT$!8?SYOR$LxHgzQPBe4RMY_#&t0OQ`OL zHIqGt9G{t^#U>&2?W_@sU5R6d#{Bd{Y~7d3II-b++8tJH>2jy_FX2{-4xBxH5bSXv z+YnKU`!V^(f;6=3l<75_>tzzs+q-0K8uv+*xQ}92o9E`U`{D^S@YEW@OgTRDN&)(0kadV?U$M5a!aqFrg@w&-b1Gn@X@I$v?9 z93EP`FD8Qn+>l5Y{xcXT>M1!suSYBDCh?3_;k#nu5L_=tlqe7_eQMrade^c&8O<*H z+SRsoM1i^XwME7?Yh=BE-Sn8)7JI4To4X^9*LOCj&swu9u=-FTl$rX|uYlCy@>lNt zsy?u$7l0mGHw~en3Gr6@OaobTu)fD5cgnZ8b-)A^op6W^iGt(X9=Dk|6yDLP?O~VX zmi7W7%O{)^hu?}u{kC{5_a(iYqRBlE2?X%^YEyvKlXjEclQQc%<>a*uGRCLtj zTbckdAo(ypTgozPEjAhXeu7B?mprz`3$JP)r%+w83{@$Tc2*m~`uHP%RAh|KozbUh zaMs4t(_i@;v@Ac0dZFtMo(v2R9$aoYul^j6)O$0u*2I_|CT#nyfGyhNL~+4Xj1?O{|P&+2ZHfp{=U7OhSR+WpgWfla&q@NF@3~3pS za`00TrMGGb1MCzXoM6|0y?TK53UY9|lERR$RYBvfc0eaBpR94c`1|;VRL%q|Dyd2} z?VWB8Ni@4*E7|OT*mk~!alf>54ufFiP2Z<=lVosZ7Zd)H1G`%uVR!P;Czes7LzW{_ z4r`OM>inZWgL$8x-a9wDD=T#n?>jB)#h9NbnG(Z5Y`^ASn-i#rv++sY(>isU$xaOA z)JMK(_xw>CfQ=eZC6VfwBIz8jFQ|y_?lN($B|1Sa6+-`c%Uw1WXm@v z#HuuG@C{aHPqHT9NzCO>3uduI{y7j9MmWveh(+FUIhD$vG6HE#NCp-!iCt*mt_4`< z9cI)pbhnA2FS8A3}=ZTqO^UPBu4d8SXldY{Omc9hch z4XV^Wn?bOJaSo5ehrp8o#;?auxG>02EoR(XmNThUW^;CoPBr<|Ba0qlJkb;Ow1O<0I;xZLitKmqqbLE|GJ2*<*_sFn%bSJ57s;C$H z@nEt>mcxda8=AjZQKdKv~Oq&KGZhSX3Ewe6A>6K zc9z(sz%i(QZHl2oF#jZ)w7|@LT~4m&r}%Sy9eHi#V$59Qa@`Cj9WQLAQ5GJA{P2zY zR78II*S%ohzJ#k?USCR<`qe+8r;wF+Ea6DB?&uI7^$<@AjhkVhj`))BeG39rrtQ%D zO%r0JDNM8h`EciHW%PC;|BOXOY&*%cm|x~9c9&qe^7e$^wrH02ST<>4|NFxWV+<#G zvJYdL3*V^0u(qL&jm-PSMOg$gAf~8b0AJ}NbEGxJDz~sB>~+poWA1@#DAEq1eO$6V z>j)kiR*#XonFu5;mh6|F8?yfGghM#FA+FpDVZkD2(OCtEGBqIJR(8B z?t9dyBB&9XzA`0{V0SV1DRRB7?4GK1PP%+x7tc(6{wxnyf_YpwiA>eIL&nvF_@*94 zx6~KeZ;ugi2Ko7h%A-7<{?1eHty+wTy|4$vGQz@4oi?Iog=^Ecg56_JCQT#=RZxx^ z;&;_U?N6T2<2w$&oD0Y@;@G^5Rw6C6K=+csPwP#+X&MzHoQx|ULcYn0M6|Xe*TtPZ z_UfEG_6QBPB906Mi_SzkBa>o$>_aFu%1}|fr#mRnhqyV7yLo!$sK>;2=WnB7srzT! zuTVXoLAA0^kX;$z$37G6oOo3whCu;&$uVQ4XV2aWiLGu% z9%Tq9sBQ+11nwk|BQi0sT%uk5f*8$0jQx)eQ+g{QB*nB~1Ep)VioPuUJlff@cMb7} z$|ItzJ9&=a&j3mj4jbVwbr_4q-Neom1o8>}&x2>!6@}s>4`0`^Ya{qW^6YPnM>ok|d!~u!oGtR&%KVVIyP1xC=qio>ZFra5KEVm&?_r5*=_2Mc#{%VR zy}V|=nY`Y8w&c;7722F#H0un-9rcNhOvgY>X1OlhiCP19AfP6}jLtO7xTtfu!s;{~ zkXoFB4wufU8t5Zjce`CMKD4)toxj=~+u+S!DlTiG3Pwf%QU~u%{|uQaX4{Oa%I@1u z(ILj~lmNidZ4>XC0;9@&ZtiJ|&R4))3MLfU?U!%S9I&id!diRu8s9ijEBpp^R&Ja z>KEqo{dynr3|}vwh8qhci9r11zVsJjG!U@T^|j}yl_zLxbGm%&r-E=i zxoPX<$e`BcrwI!07rvkeE_#nI9>KA{Hz{2TNWuI>A^VN2rIZ41Il>9i&)wrPn z?dhdoDtGw@35-q>yQSaO5INGy4#`%--_bQ9CAkMTMgSLYGAdiA!+Y%)AJp7zG|z;6 zoj2|Mo|>T(!$_kZBzanAZUra_k{DuA2RS7a(?+XWdiW4SON3c`w`EYio&?oha8NTF z&6#8ApCbl+Hh zd(3tsvk!lgu>S)1)3AK&z1@_$K`s4>e@5-EH<-%~hxP;aCkj61pjlB@cbWL$;L7@v z@$z@3_}bsDVL2pTs>wVgmusFG_BtqnRIV+E=B!85&=h8Z6`xHC=-zhwM+Op79@G1O$gy5Zu$ zL@jj%b=s~BYM*_7U!RUdN*lCt7g+VrEOMYR5LD3j7aYk`*Y+^1;-|`j1B+sX^KnYs zf?kIF5hKA~ESo9{sbDhQOqd*$O{3;!yPE`jnHJV}N62`nA$jfLVCA?D|swUGWrpyn%p(U(c zv)6c3nzv{?!ETJ~!}WU8uB5cz%vX($HHf=3oH^N+$fre2CS`Bwi;f=6U{Dh7h{57D z9^7H#WFU!*{>Qu_gaH>M`k-;?h`Xymhq>IvG6ONK1WA@*JjqYdF-l;QaS@WtXJ1d~ z9459yFPq>``Dx2bsEx6a!r6bJB;u0EubVc9rmbS6@_AHkEJSuqWpGwqS6DR#$ z48G%ulRhp6^N&IVfg}U0t&ZSDSuMQ}Y1A-(I56RE)&nu-U((fsstJ z*3S|1e|*3;{&hF_x6c1ZsoB4}slPY)-?Jce>pP^xA{q8={TWKqW&HgaJ`rEe_Yg(r z?(Pd*60X7Uqwdy`H|7843H(>#f2;LxDgXaI{JNTXc8!dLc<^00DhU34@_%`VkQyFd UPL~cP5B + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + image/svg+xml + + + + + + + + r0 + r1 + r2 + r3 + r4 + byte-level write-enable + + + + + + + + + + + + + + + + + + + + + + + + 64-bit wide + setvl 5 + sv.addi 0,0,1 + SV + + r40 + + + + + + + + + + + + + + + + + + + + + + + + r41 + r42 + sv.addi/ew=32 40,40,1 + + + + + + + + + + + + + + + + + + r80 + r81 + r127 + Vector length 564-bit elementspacked into scalarGPRs r0-r4 + Vector length 532-bit elementspacked into GPRsr40-r41and lower half of r42. Upper half ofr42 UNMODIFIED + Vector length 516-bit elementspacked into GPRs r80and lowest half-wordof r81. Remainderof r81 UNMODIFIED + sv.addi/ew=16 80,80,1 + GPR/FPR extendedfrom 32 to 128 + + + + + + + + + + + + + + diff --git a/svp64-primer/summary.tex b/svp64-primer/summary.tex index dbb27dbcf..cb1d46faf 100644 --- a/svp64-primer/summary.tex +++ b/svp64-primer/summary.tex @@ -145,7 +145,7 @@ Vector instructions. \begin{figure}[hb] \centering - \includegraphics[width=0.6\linewidth]{svp64_regs} + \includegraphics[width=0.6\linewidth]{svp64_regs.png} \caption{three instructions, same vector length, different element widths} \label{fig:svp64_regs} \end{figure} -- 2.30.2