From a0b32a4982e35b3f1862d8c3fd8a9cf559e2c4e8 Mon Sep 17 00:00:00 2001 From: Martin Thoma Date: Tue, 24 May 2016 21:43:16 +0200 Subject: [PATCH] Improve Quality for commos QI --- tikz/pairing-function/Makefile | 8 +++++--- tikz/pairing-function/pairing-function.png | Bin 20417 -> 19806 bytes tikz/pairing-function/pairing-function.tex | 5 ++++- 3 files changed, 9 insertions(+), 4 deletions(-) diff --git a/tikz/pairing-function/Makefile b/tikz/pairing-function/Makefile index 8b333b4..c7b5a8e 100644 --- a/tikz/pairing-function/Makefile +++ b/tikz/pairing-function/Makefile @@ -1,14 +1,14 @@ SOURCE = pairing-function DELAY = 80 DENSITY = 300 -WIDTH = 500 +WIDTH = 512 make: pdflatex $(SOURCE).tex -output-format=pdf make clean clean: - rm -rf $(TARGET) *.class *.html *.log *.aux *.data + rm -rf $(TARGET) *.class *.html *.log *.aux *.data *.gnuplot gif: pdfcrop $(SOURCE).pdf @@ -28,4 +28,6 @@ svg: #inkscape $(SOURCE).pdf --export-plain-svg=$(SOURCE).svg pdf2svg $(SOURCE).pdf $(SOURCE).svg # Necessary, as pdf2svg does not always create valid svgs: - inkscape $(SOURCE).svg --export-plain-svg=$(SOURCE).svg + inkscape $(SOURCE).svg --export-width=$(WIDTH) --export-plain-svg=$(SOURCE)1.svg + rsvg-convert -a -w 720 -f svg $(SOURCE)1.svg -o $(SOURCE).svg + rm $(SOURCE)1.svg diff --git a/tikz/pairing-function/pairing-function.png b/tikz/pairing-function/pairing-function.png index 31ff52228b6a81d6ac8b8fc9ff30f5556c194de4..238ee042290735de8694240e3d2dfca92d7a8931 100644 GIT binary patch literal 19806 zcma&ObyQSexIetl1l=JDlA?kVDoV#FAYg%nAUS}F(ji@gMHqkqDyg7|)SyVmNQg=b z2qP^ZHKfGQynE!k*1h-l*Xvp=aL(EF?0xomKCvg#;DQb-6F(CGfK^Xd%Mbt*{1ds$ zKnH)_pFYb1e_^~%=@~P?e?bgaBH;fS-E}W}0YE=U`$6oAIzIyd_T1DqyJ_Th?WV7- z=T+eA>nn4^)yd1=*8QrCo2NsB0x{;q_JP(bf14B&(DhO?XE@=Kr@JWbcuMF zYTZ5)5_yqpzem~2)GyeJi?1VJYMu8S#y;fmSpOnm|A1fb_0S{ygNu<8QLj1Ucb{O& zb#{F>MPX@ZOdJqSnMqE5m64HE);U96m>;ia>HBGtk&vA0o3xN=BqH`d|E|6}G)Y%$ zY>FR?DOx?+%JElTTPyvPcT_2I^aO_==XI7Ffk^~Wl9#B9zLwUZL=*x zIwB$h7zlc!wY0RvgO~uUlUEnPX=$aSo*9AN>{9xDY!SuM@ZI%tB%r^5mW&XMceUPZUoJFxO;~t)e=7TZPoVdSzWPL*w8dy!@!RcWmEHoN-xmuTVHIH}7+iC!~pXJz}G{qfT7*CSnaadKwv?jx*{ z4Drk;7I5Ok3D>rCy_qn2A$OyU3rzwbw`@jvEYa(uLyHf*$mU)z99r(xTypOoT~VJ; zk0gMxc#7X!h!#v*^Ti_~>+*KB5#4nyUgO#f4ke#z=f0{!}^3;b08IW!M>5$iUsW-*F86ggYtZTQ)b8^NOh|?1WY&Ahz z{=RXu@tz{LQR=;WaZc-sV`fz$o7Wm(^ID>r2wuWnb&lWNx7Ovxo3rsUF9s+SiiKL- zmT!@3-zk?T5fQo;dMx0RS$q{*2K6${<$}}CpVDqOOiUkXITVT44sRJM1Id&|qq5U`HMqOAfqXaiKuzP=u&i7}g(4#8|4@q9H zKCzj7ymo$+It2_&OrGr#`f7a|E)FI=W}pK4jH(9W97+-lHL5@%Yk{_lly&*@XNOJO z%6#1d7RO^tssgDqFGLB{fl!Uc1CbFC&IfKFgZ6{r{zBV=2K1I_DGdK#DS_uV+TVJ7 zm&`bFy*0Hlm|i%@eUy4I*-tF$8Z7cOhZm#B**cMtGIQYE^TBJ4&tqS7jQ!9N_U1lt z&YgDiwUW){o|Y5Gk1LKP3aI#Gs|-c#>z(@bG0Cg>{EK7SM#%jL-I2$gXpYRBqW+g# zo9pcz9koXKYFJ!XuGK_Wo^VAVwONWfn&9Tyc(mSq_@Tlv*Iq?Z6xyv~=~Bq@#}w@! zH{pbR*ma#9ceF@7c&#{ObFHK~NoCC9f*O2AxDG7=jPvT>KT(uZT;BdqEr8jce-G7Tkw`ft3QkER4;XrNV3H30c~!DV6li#V4wOE*W=IhDD}%Ml zpEF^%~ea%7|oGH4HHJF zpvPVf8AGwBalkDEF#-{t;@Qj-*4Z2eqBt#aKO2-Q_CnJ<*_cBUv4g)4J7-z<>Ff}z0w3GB)h>^d!sj5 z{n&fhb*p)~0e&F>7%*^fG8*y?YLM=mu}?)4XM1ONtpv%Q08heXuUq+Puv|y6NxBPG zw%;Jk$5^qu10sU}8xUYy5mHvcY1Qfr5ao)jkz~{|V5rIzNhBP457pgo5B;3~Oain7!F{B6DsCnVlSDV5iLSgBiNF zsA%Bp?`Mraj^WTKnM80k$g`Pa&OyhdwviCdp=GV=Htc%HbhO}g>9c*gHD5+-zEp;9 zF0&jFQrQd{0G+a&3u*Ks)ACd3_T^J2CmG+JYe)EoTznK|&x#vc5mfT4GWuPFC{es4 zeLA-7BZ1QhnRUHqEi8OY_twfD(49pO?h?+V0}(D+Ycy#a6;0O>_xd`6NM)zJ-aPLh z)|o!$Ep0xpH(}%Wil>rE(P6i5J3Z2BY7rt77!eu83tQ%&2cQmx2LP?dS1ksa2E$48 zq#r-z9lR!yh$_nkbb97NxPX!aklXpcdzr&RwR-k4nscaum?|OA!EM0Ufff;~G-Sse z8-aaU!oa6Sr*yBo=am-rm@FY&Jl8JH*jti7yg_{MXtq%5^ae%dc3F|3vFdYmPbFDc&XgBp57kd%tzNLmO5bvMe3xeY8 z_uPe}YFffHzgoIkbw5nuteFG*lyi#f84bpDp3M!FMf#45V<($J0hu#A1!- zv#9NHT~t~-(B4?EFc0mg%u`WnCT97|27{(#6Clv-yr3jpbnqyL572F4KT>%64-aZ+ z+9b8)w#9Rm?Zuol`9G8XTza?6r)G0q#&ek66DslpCOzSO?vr6GD}dKqjbcJ~X4I_sa}(gr}0 z_w2JCZ(`ypoaYUORBeYT^O@k+uDY=S_~}_8Z_PXHzcxOG8tV3JiOMg|y@@G2h}=H} zaJEY@o-xKu;O#B}{Y?h4D-2+4!KZEGK^P~&`Ug|hTAtT!yUh!SYr ztAAy*n7}C8lri}>Y$UR<=1_~n>yP=bI|cp1J5#pf^ON7EdZUu1>?{INw~5K(k&zN; zz+=r0m=L`*(As9DA~WQ(@<)7X=|Oa7$(ySHx7%sr~!YNbf8{2Amm8!+%w z0}>cbs~QKI%wFp)Y@UXmGY*OJ!v*S$=Rj;3qd_OIVAT zAswaT!3eD3Gbk#;ct{D{tozcS04%h7cU5_#cG()$jFx`ScMQ_mw6JjaKHCc()pZ}=H+c^;B1@*Mdvvfy=1&u;5)W>Dt05|_ecTob z*;VbMnURIWR*L*Exz49HEkB7QGI+!JU{bDK$bJg-q_aA@ z$2D`gBarMGaBlN$_PQe>(1=K z0okPY_+AcKH!jy_D_Q&1t9F$UzZc~Tijb-26{IkPX`ZehZP?_q0q-qk`*JmEs%QMo zsOwqevDH9Q-Aa*>IZGqD@>bKim7AURKgpCly-)U<^c3?KYb9^Or}L^WtWJ-YE(l)! zH7}O%;@O%%$MSaf^Cj{H@?v4i@0_utkA&bmI^?PMKoj{~*z9P~X=0lke(Ufpm$URk z-RPLnt09ErOBmgw%b@b-Xr&tx+PFr=D_8P&$C5c))`f~fd8GRmqV05s_NnHkaZHHb zJ?b(e{H%0)8Pz2x{b^%$>x8s{3Ay$h8zruJ*0$;ag4nwJi4D! zsZQc@roTM?tiMgA$!4v)6t5QbX*D~0y)vP6)+3t2AIr1pR%GN-xZr2MPpqASzBta7VBvKF_J-OV+PT+zm;9D##G*TC zAKBURjSqX^yi6;{(6adMK4Oyla_nE^re)*Pttx6jfyv#Zi=gxT_PhEqzC(Sy>PIM* zPQ>}ukNF}75sMF8oq`-qcVDy3xc)W}IOfmH2b5E&JN0o(BLT z#}SaV)fZu6PM^c<)7>N>>U{Q=_pv!fdDrB^eLfeT1hv_WtEoC?(W$IyaIVO?v+Yv- z;%}z&>YBaEbRJ&KxeTweHAaXO>U<(2ws=g)=I(UR*`$^?LOmq`&)789(?gP@E7;TK zt>5%VBuTd=FD?mRiqQa=3C<~=wi9OgqwiyiQq&WMp2ZYdc+h?H_tlRn`b1XxXnW|b z5MIJZYggxb8)*jJ@MNdF*?1 zJOBNo*g*CzmDkgz56&=vx(+l;U1bC>sJ&l9+-|Y&>8;}M%eg(~lXlg-Ge^a&knQl> z9vnq*qAOo0tBdj4*doPvz4?O6*qP{-yy`~>1Unnz#J8&}t7N`dug4GyxvzqEudg1< zFj6*?*A;%;*rGdRdCy@KE^T`Izd6G}u4gIxqcYTdosOEV@qsdhY1m$q>9hH>!>L-lp!uAO!dG{rh+(5?zXL-)wWnAwwLWoD4UlnnkEG$u9`Guka$)!Ass`p{JruoQa^x6XIZ~}=&EYYATTg88a{CToI{=4>i&?B-N=accxio_9o;#JeQW1WTr`I_TDLPA@7chv;s4b$oMLy5WIF1 z3nXhFksaLFKJUeL0=MDm#R{R!W!01OV?+A&kGAM}S2x~GMJI9j!u(?XvcuF%HdgYl zeOGfj7{y-?67xSS=enfK+*>bCst@*tJcaw;ZwF~`*SBijs&e^Lp2tY6&W9%X9wLO? zM_vwQtcQi-Gs<}u_frznN=siVd5s>i|MH-`;gYE->?;4(a#2;j=hdTK!m&)tjF+e% z6+S1@_dPYI_6SP(GF_7OIxNq5K|k9d`*~!3CG*}et4~J;u(3l!yRx4zw2+L<<{}q5 z#_Eb01uh9`H)!dcOgMAAi&sLW;zmh`mn7eoL^1tf1-0L+SxLeF?}*`-(&08VSfwC; z*$_+j&shIJ@WG9lPsW&?;AiqM_;PNoW5{cF_`dFaASgLwITEmjx8H`_Z2636F`vq$ z8`#4Ay>NNz>+Y$*F;h`jFU%WO)A;nn=7Uqrsu7#E6{qHTORy9O_{(N1RRA2H9f^Rj z2r55?%*x;B(2d*hH(lQykt;T`gIKAF`?V+Kd^}R?^V3?~3|1`HLsq>eFGV$*xe1uD z;##}Fe8b#30glusM8?FKFY8(t>XdmXdX9lV8(YQI0891grvZM&y$Os{yi?`oc?&Cn zas8|4sZU+jmR?OKoXNy6>xzJU7~@AOGm6Q<%fC_+IPWYjp=Lh!ETOb+U1Hzh^Lg*a zUd;|d#vlGXTEQw6RV;0%R_SZ!Z9j&u04LwWO^*(*&e=SjQp-sp7_{iU;C+zo+I_OT3Xda zY+=j0x_fqUSmMJi@>OE!{iZ(}NpW)O{Q2nYuj0WBcvfjs#)SL4e|n=$Ci^4Lr|f>d zMCoz}37xH=9;=dt49mj0P~g<(L?y3V&ZlE0^Nka8={Yzh>63^rgsF8h*B2MKy1JNE zQv117J`5l#Nu^H7W9RmzfBf0~WD&$PoG=55Y=?9G4!mQ%%C~w#p(qhMV%fl9cq<&V zeV`!S3HPnE#PwXkqcfW!29vuABRQQvKJ#P&Zgv$YHAY3y_(CrH?b`#6j*ev8@VLu3 z$aE=XIm{2$opez@M@0|3+B}>Y86jTBMiSBryw^@Q_=BN{{iy?d3B8GuYwarX{BtJR ze{|0y#UX|ZioY=-3kd_QWb)S-QB6QD_SolE)%T-ZEYbtH^l9&s_E9aZGxL&nZBSNr zqb%7&Rcd8z$6_15X}hKkMiS`Qg{C_5Y-S4}6wFHde$hV4k*I zCYO+Ny0@RCY}B4lR{d46-0hU}cBNu_Yu(~JLjfes%HV_0L%Wn?Q3N-OUfORDyH8N^Hmga6^Vlp}a3E2Hz%8+F4 z_BtZZJI*!eIOs%@CjsYsGT}+q9yb|#BqlvcY5|MxJuXE_S(%x7e~n42dj zjU+s$kE_2aNYdch1I`pn0{Ci+xN|5{6X3fX)wvQ3e!EXqi!6~>C!^nn@ImU%NBjgx z-%Pk-dD;kaV3!`N^AaK7ApGd_J)zCS#Bnqe6akE@kyKT%! ztNIu)3$x;FmE|TTZ3U8y@eFfxtu6H~5iNA~4qVyuemw-M*dqhS61t_@32&Oup7Ou? zW>3_os%a>M z;0y4UmpAIq5zG!m&C#375WN`OkIH-e=7gW=={VGTW(zhu=A4|568 zt5VvPwY93{d?bhT#jeL=M$D(gxCNE4D=gzryayP`v9m{!g2Ph2 zKyJ=gcbEsyyX%OS)~!~oBIEAyVdb&d^+WIL?bXl+SBj-0!%m?A>9(`A^W#O1R#t(5 z((*K{njr&6tVpn6kL0!lrBVnN8eJs#A-QVT^F(`#+lD=Bk$HKk40;-@N4_v9; z3|9HbHHI&|4@k7Rs!=z`^in8BSt;F8eCZ;RL_Lir40?c8qia4c{Yjct|=>QbGsIokAQArCc>3) zLMn}3z-gUP*u@MsgRN(A&O-%(*Y_}~VGg4<(pq{R@0QpPMg;!Py>h%}XO3_WZ*uhf zmL)l|@P|1Njac3^KIH-;+Xg^f0fV_r<5k2A%LQ))Z&eQXU_WW-R)zL2!`{NVrIVAz{?(cRO`V;5ra+1_ogzoFMUE5dKDJ0txT`bK4D_ zy(sWhod?Xb!}=gIOB;ZAcrok~jKGi}>NTXgX~Dm-?*c-Kegz_Y86w{QciY)S6j+gi zW!aF6J3$pUGwEQB$P^-NX{*la;H2H{AtdMSd9gBmGF3=1t#&C9^dgpQ<>roQs(ylI zU7wF}hb4u*!Wp%)I@*iR(c_QLosQ_)#eQu?^yQAfyP)Zl? ziu@c6JP(~EIZGvOe>4kya>!;fe{cF8)15QI3-`AaDNopS7hF#@Nzi#f_6e6V`vDZ zmbLT(z{-I+Cp^l1|D53C?U%PcV2XDazi10b4Nal&0{C+stel*j+urm-qSTdf0g}-E z+^Swj@Zs69ldT4L*7n=!V6FZiTAwwP++mZH1167YI0t0{!HHKm~tkR&L;_yjx zbmaO$v1HUlE_R_uj7@&d>nZ&FskixrC)U%H)%iu~pPnA?^U@!+fy;`#56?}LNA-o( z7an?&72WfhW{`I|Io^EMey`RCZ?h+QHA4Zk#MIiqF3ErNg~v1k6dw*XGfBLo$HT14 z2g;!d399~{%{@uJ{S$@1t|f>Bg0=%(%}c1i%fPv6b9u%sbUnf8`gM1hXPPu$l_?%X zQMcA-%f5U$U1VEBM{SgADHhed_l_Q?WtYbE{82FDLl=h^vgie(;CL)j@Y@=HRQ|HQ zOa^|sM|U1cPyGk0-kwhwP4sg8@mhQ4cet<*6yxH~s!XIm8RDlsafDkalG0e>u<~Pv zu~7%WKnXw+umqS=mxK$4kegn})t``;zh+H!Et@X8wIC6jQ$u)NQYI&QnubuJAgTNeaf4Egxgg@*^c&&uk% zFIzc2Q#PyK^~uSUzF5YpwAdu;66{7GgjGX(K~%{l+(`uAARToc5eENx0g7&FZ2V^L ztK+koYF4B6Hcsc)3qiy~h1pYCcX#&@6e#FG@3kHZ`1?x=+??(2+gxo4_35$+tw>Pz zb}U0u^;6VcH`kV2>!NsFw>PQ2gq~n(U*Bu(`*7kQZg9wjy70e2Xh7oRTHCRN!5LCL z>6kM;e|pY>>Lu-l=D_Q*6j?upRJVc3T$p?1%&d<*(TAm*5|!kd5m3&K<*~vP!@RJ} zo6<>Bz!mT$!l{%o9YBbqV4W#7rJmnZFh`)I>x0HYVLn0L<>mU%ypW%hTSx7`TuEMN zatkp+a9TlKnP12H?gUQ=-fOz6&Me@RbEZ$BC;H2ue8m=f6}-_KRJpLbidpH+8(E=L zN>}uB;m6XCFzHkuZ;GE(9~5`Km1>yB+nVdzS9_~$zq78{V6#`x4Ml3XGrSt zzP2@nO|}ZDYE4Z|i9vtA-JIzy`MD_^vSK?*?XL(7?~~$;E%&K=^f=yD$5a@v2`;Yh z_j$T#$4HqA;>T}qZT3YTOdjv|8)k(IU>gS7vL#ta7K!!Rz=R;3*c zfkO`Lw5hQiZD0Gq+lOxLpH`?^J^%JyflXD&B*GC(F2Ssy3Wy#oHLV~ECCptzzhTw% zV*~o?t5-(PhV+$s&y1%|R#IAJ|6vmAW8g2D`!Cb3-s}dgY+K%A+TnPUfE{3E}y!eY5shn^^N=cTv0? znr*M*k?t=%GhS0uj~H*N@)*Pj`u4_FEPs&G&VXA({h>`y_0HS8SrqI8L6taW+47k6 znX>4#X!V!ynbhtR=ajUE(x!;>%f74R=FrQNTQ>Nx!2=u9=F?x}NJeDN_1|W)xa*Ei zP80183v%Pop8*94_>9@gXBty&Yb2_u_E&8-Cr#z5s?$U?BTm>Uh|pdP zv{#57Jw{*5kZ}1}+uAd^7S$)TEv0;+S*09y?E(LZD6bZ^c-qhJn(!i~r($BZD*W&0 z``>Kd&+4#qKr1?*JFZ&+?E-g6u1I!ODn9{1(_Oi?xjuAXws)aLBjv^CCZ(~E?e&3! znG8oP0=Y5%?~&q}Qp&N}I`#D_?hME;a7%6mAWBXkWRqf3HqoBpkjwo$(Mz^`?iOvE zy4G3s@+E(f$MEU+7HZXY@K1=yW|@*0##6}8Z>af1S;+{5p$RgX1Gn1*%7jkpJHH=@ zM)zK_hP(PMG(FqMlztR+cuk@mg-IV%jT-XSMu<6GwNMdR)ZxsX;|7-4dA&k(r=dx za6gO?K7ZykdT^%78rT03po%l$3+&9LDPz*bGc7O7bsC;lO=q$eOXqZSb%mFdq)LDO z^40B2?kZ8WdlYl1Ob8!3^?(5yM@GB+TWytv%SLgcMdAA#?Mrl1cw@-l(|9lRh=?iv)UlZJu;@ijt-7dw2`^ zd>d0Puad1BzmsIByxVWzo$0G(f+~lH)u$T6-=dP+AI=TLuR>*6>-*D3;+~X~9vLZ{ z49tkasGqaM+yKd4e&7`g-51n8LKRnBhA5d*(;=83JQ$*! zEQ~)q#lOc^iGSs&&*sAyqOPV8?0ZO0n>KdgqXj-~n ztEGda()ooi2O=VSL{lrAuo%hj97kf?^7uG-Xj=d7aS6Edfe{LpaODnx2th?D#33pw zgCC&iAwjz%f|m<0O<@0}$`Iz2a&V08po>UjQ3No-g0v+1|6V!w3K8jJHu(C+XIKdJ zdN&hc{1i!R$YKY9#7Z0oge6oE&i2XCIwg$O2_Ep{4xyMPPZJ_^$ICH5wgPa>a&Y`K z09xFrp?~tYnAoeoT!3UD3u;yV-y+w`=|CPVGQh#{=U;J+IqD$NsN@4fdr+?-DtFh!l?n~EaTJ;yqJe~zXI$V6 zt+l%ZMF^IPMMWfcV9QXJA%q#7%wV1w@qoc{*Cd5Ld9c%y`SY1bY6oo3h9RQH0NfEk z!57GZt^W$%H$;P{{jeYt;<1N`Fn0>~cn8g-UkSkgjQ~W%T2w>^_R^X`*Kh}FJ*9!# ztwj{B{1na-&RRJ~O!`h!k}qu#QXXtdpCO_hHpPc}Y`imL+Vh72ArwY9g@YsG6<|1s z5zpB{IjReCVC5I=03+hT4|{$J*S6DvT5b(ASm}XR7!VH#wEpKxIzEIRRKfKq1odgy zwF?Zo<~v>Eshx#gqoN3R2|u+2P($)O;Bz=Zds(d;>bBsk;t7GwdJOwa0amN!3+_@1^^?BdTh2cDkUs05GjV^ zmB-XV+;@u=(aZS<=VF^6Y`!&xC0y6US%#xh_hT?eucdVCMCr!t%yn@-wTXd(LW!?lq}h zE?4Gyj@sDecl6Hm5^4*RNZ%`5y&UB&=C0z-J9kf?vT^B1Y!mg5pNPjsBO|vNk8+=Oqft1c)jN_;dbZ(PP3XXijOhS#+=E8={qDl<1_ezwpeZ(5LOx*z zTb%fJ8oQEsOn?c#UegK-QX z^WLJ!)zb6ZekqH>2lr)4C87@07V_aC3LS>#UHspXZx8m!y?tu3KSUxG+Dm(b7Mi3k zf4BpYOMb{^0F)p|vLW-#@82`2A1;!*Fwh6nB8X}o%qoMFyuG~>)cP}x4u)(D3(JLW z1$Aa$uIc{d^g_W+2+CfsN|iHhti*<(1}=#UUn!`(rH|eV4W$Wk4v(_(@_cWYT6vq8 zL1&n^^5{OJDsR9*%$Gw_zR$L?+z+$wh8YYOW6?ey~4)hL() z!vv)S3Nc-3f4}a_Eh+g0(|;Nu{8O=K@8n^rX5H=}>%tya6$Se*EL7-iEphH~{@8Ra zZ=PmXhS@cAzm~%6wnc4y>f?()p{orxlgDwfT#~2buYbOUJ(r@Ml$BShJoy&K5{TSm z6a3!#N^^DUV+$zX`={_=z9s@;g)M}-!1Cq~Z5Cnm#NkIOk9ypy1PKs`X0)0p4f=}D z1t3tEEMMxhIG3mx3(e4~vmYSHI+vvU%*wa#S^EW*hY-TgeWn)%?vt7Ms}c8gYsDyt z?m!`QODiq{9I*l<2mC|HPI(ohFe4t%EgoWmFpGxHGS$Ehk5Y(^)c{QQ8iP*XW7+e# zBy@572ShEC6bf^&jlAu4{r-m;cktr=>aw&*_X`n9OO?BzD0hik@%Q^-c&GZxAbJTz zJk?bLe-6r5fSPdjF#?)xP&RaxSvYtxb|6c?_cD?ayu9c9dHHBVi0$O4Zuxb)fb~FH z3ba~FrZ*S{2dfFl7c{=_%g`5w=vf#*J?6!`m-`LjZv0(;d5RG0&Dqu2N%H{n^Yh>0 z7t&+L_OdwdsioT}^qaSHE&eRCYciYY)L3W{*Tc4)= zAdqvoUfA2VaMp}@1FYC=u*c>T9e*C8=}NHWFHrbmAi+L1iiWQ|qiP>|g2Jty=|bI6 zR~bw_c^j-u=!bqU_g{DppYJY9FIE88yxKpqU_iZu-j7k`giPUb@5eueybyE$nxaBN zhuGs<#`|%yh>(J?;}^uA=0t03DK4y&!qEGiBX$2iqZH)Z&Ctu#H8T{eWIt4&BcYEU zKVDGkmRGTCHxNvHQ(2i@FBJH|AtktTw#gbaer{&+BhNlt7hPAIfJ)dXt&J-oEx7^I zaaoc={x7a7&6RkUWfO1j6Dm_g%`8FnR!8N*s||5?A(asc&8-D3E&fQzMa$Q#@m8ax(KF8>DdW|AjXpakXUQBLlcO>xKc7jzTQBwm z*j%UjW?jnhgeMigmmf@0_V#Sg&~H(7Xi=jYvl1e-_yC*6hC9uEpx`yy*vQv@3(MTQ zIMLoW{v&Oe12_`Jj%qYBNGJo^w%n{_^A>ulCGq3$pN1DIzA`_5{w#;PV2%(o{%?X^dLEBr zT%6vmQ&gx$<~PWc&B5az*osUuc5LF!Ha!|CFdIA@NIQZ7S)v!eK00`{pI4aA(AfMI zeZG-S=F2@48)@`x#54be(H|vV4x=q81Cv|l6Xf#)mK;e3&hsm}i$IE0ly(v!aHfP7 zwjsD~ZHH=I?=RzSNsh< zsIG8!zo-WG_cBc&gmDUTnrmiE8=g@R68}VxE6*yhCbZ-;-f|Tk<;Gwo%7jw0$DnpT z%L5LbbOhC0 z#Fn1916pC9se5mgg|KNzYcnIAN zI^hEwjL0AO%Iep|?eF-9EbovYx}f0+n7dDirtXE>Rv^Q>9l#e$z;XhS6^@u%YapS9 zc?yAoA3O5Q;2%)nN==2>LICx+n;EBI#EigJr7@~n{%lx6 z5r@Hluuz=|N{vTEMJ6f$UKG#UuSxQGItx3-jQB!-`ZM+bS)^c!Rrr1 zRx5ykC4&U@6%9HIPWQIF^4!64XE;m%2!&vlZ}6sYC+{aXnI%va{Vh5uGbni|ZKoPt zsItu|U><<}ga1>JgcQbj2i)m$Lf`tJ4TD4moHy9GE$k;V^6b*T2oGI^I$OaVLi-s@ zeWfK7fy!Y3l^X*yhIa)!fnpzm*gu8Cz!feEHH>jJ9KbHrp&bmGj`M(uByFj{n&GEc zC4e#;@@xm>84`-I|7O%)mKL~u?;gAYn~6+xAEis+j-h;@@z>nH~K2O>_pb2kgk7US@C?ehPu{ zhA4iZ!+wC}llDAqk>`ku0^Gc4YGNRgO5`xO0VQ4yOd>i66(rfQtL`@BL9U4J2RIMW z)ZYJnM=w_O!k-;2FZ5|iLeYGk$-qpSNp6ZH0+C}8U`S#!yE>Yn#liDnrWs7ClChdj4T*|<>4wX z(Zs#^ui%*gs7S+lmQc7Y4uecM9uNDWb4={ zLm9{+!G!?XkLhs2q5*0C68+WklLT~_LXf2cM=nMN z%TM^y5!^?V?Oj5g^XQ3(k7y9Q*C(zG22IVr+OxjhtL3gTo=gMEgwEOcb%Ieo^^N49 zi-~PYyiBdaZau9IbZaFmneWWea&_5U9Z#2vyVE13h*i(!w`8hRyogWoNxz42)HgZJ zu=@OAZM)w#m=0fSkUs3qRotuWJz2}9GKHhgyxR8FMR~(a zCCR5dvb6MjZZxI0L=Gai$kIKAqmTK)79q*gN5);@QhwFm;v-A56=A~RKcC0$)A<0w zC(P?V!!&7iu7-V&lIIn(gy=UATzhp{`R4mfo2##ma9_%^Zi2bJ(s(L7x?`R$Q@LXI zRzIck*Yte7umjY2AC>yYPV`r(6!ixjK5Uvh0>ueC2-IoP>E58Z&leS>Z`y3Hb*(~r zzez_pSPQc2{a1Z^J#>VE7cat^n(r`jpK^Sqd$aOZl96h3@51iI`sON`s|@%fK90$h zad>`~0iwYy(>x!DG)h%w%NKef_J*=79PkZ6bq#Ne`%Q&>zM5etZq5b3T&Wl4gZi*U zL!7jiTjlE8o`M@sAe3HP3-BEbqu;ewc^s^VuXEi$#*)BEtm#^WVn*pQi-3G~E96L) zm7>dHdFK3)UT%F=C{(yMy*x3aAG-D=5Mn;qW{zb^+tTbnRV%eF_Q5Z@&@&0M@es&1 z(M)nQr8P&L8xFo}d{H>2k`LvX0fZ*;zNpG!u`PM3;@ebn0yh z-SVPBC3hDOpkw79d6|&V2XXrp^djfyUqo=<`-St_7q9xqy?ALpN)Jtgso)6IbsL2z z;f$x0Y{Rs{ecjj+KqjUvK`pRQWwBM$qE7>guW$r#hF{=YKj%23X=#4NRL6H^ zkQlnP`l2cx!dVTkZJHloN20$f46V8feK(CxB7+e1dP3&F6@q&vVE9zL6QpmG`2Jiz zpq8<9;iUW(2$jBXRQgPJH_k%FK`B0yhtip24=s?Y+d-7GbhJa`z}VEZ{gYE5H{+#8 zFuE1&r1;8?4=v4GJ(tVJzicd7Sy^Fo;xL$XN?ntcH&1p!v%uHK`#n-})y%?$0wmzN zPk;3)Y;|GG3;J14_oaVz?(Xos9QpqJ`^2g&u}W}!=QrTRhSiB|9c1m|OA3_ZQz*0l|UVz29ggmC*=#3(`hs4<&~S$ZVo6C^i*1pw=1KE^W{{BoE=mvWg%c2`hGYs9g6l3gf)`k+!LX^cHlyy z+1GX_!gft**YMO~p1I1P`8vKA10SOosSw>Z&SJL&kzTEhJkfl<{Wrfw?>>49&8A4G z+V~?&(+d|VT`g5{dfIw+Kv#Iz2&F=|DtDC7^EfuR^g_l3X*Z{yv_YTaXy!1ixAYTM%dSEex{7k{`YjXYK-HH#gy_cK|UhS&d(x%SzDgC~~4cQr$i&t0X zeovK*CDXX3yL2Et=?@nb-|-ODAD?NI@d0i|&_?h%f^(nW#G816a_xI(arz_F8wsM^78V^lH1Qz{>+LKpKDP%S@!DH zt5!MW`+Eis_l!i(s2-xN=4h~4!S&d6$iyVBs&qq(vK47{_p2w zv+`jh47n;av5@h(4;MTbN2p$N? zI|Dr2w}Rl7#aVPjh>m49AVDgy`9DgdXdpxdUlFq~+H|;pPft8n6HK_>>ia9zF1zGq z8^h|qK3ybNMWer73S{YmT(eR ze?*7WLNia#C2B@}1w0<#GwJ;J%mVb^T)P)Vnmi5Q@%xM82IjvKj$LJ{fH?WY2szJ2 zgH3r{B+=_!vg!*-qqkb*Q?d9>4oX|V>!kWJJ8c{rIUgEmRJjKs0Sb4OnK%pAZ@mh( z)fo66NF2Dn>WjO20%KrhH9b?c9RfexhF`AGyFcEtZBibxVWw7ARvwywwu0fly*b2J z<^J#c8tC`B6MBk0(%>thYHKO)Ziw}FSB8IvCHQtKKqufS@P*KP^ETvrep}x&{vN;} z(lrg8NFA!c@TgBU(|vv-Gx+4qzZ@p}XM}tUO*&e?cNh|RR`&L30vaLZv@O=s$mj{} zwWBimF741UKzk47?xXQEbyxzNtS)Jb!bT+rBk`6Uzmf8o^YMx946ASqCqf6#2~$HBxANS1+_K4EjLs$j4@3?sp9wqf2iw z+`d)yhB!#|D3+yqy4J+GwdC%%CkJ)<3R+dEyUB@Q;I)%qNkI}&F=-`8n^Uy)g^t3jT0Dq^$bIG)?5|NnD1Sco&nOKCs z%7s~8n#%7A*)Z#-9}c#avPqiVkAx>%*B_rXU98lteXnetF6Lb)Gtd7vI={VtDErZn zgQ-+!IO$$Y(S!**em$nBgfQnLQrC?l%a6D;@7r7{t2_;={#T zZ}j)C)}$XK)BF-j{OO)VvJ%fbY@AMC%7OCJoM7bFnU7HYbW!OW<=e7p(<_S zPN;3JVi|wg;15-Nctnqw;Sa|!1)}WxOfuVy-(X}%uxv(L=5ZYmitWen-&j4Cw+P%N zm(^9-Hy9KJR|JXj-rGH7-o-;rOJqtY>uyGtYIRK`BWh?w^>GrIVv3;h)ezn9eANn}_?2q%JMTZ?V ziCw`et(i^sNd!})=xFw$%lSrFRp#>eQuu8vTJPvqcvPyJerlI^P3E&-%&9xY16%<= zQ8d=FxxPOwAXO&&bRACm$lc|@@3~+4;}4#4x~Q5IRl&~p8h(vINuF)!9k)N1N1t^Z zqrcnsdc`~fMY@hROs+3Vzxr+@#=x9M*u-CGecy8ONZ{;uEA~O|?9;E=uwY)VCs$Xp z*VIU3p!s8CsG$ZueebTws%@Pu*C}4|FMzjAeO&A_Gs_mFv9$g~^wa)FA$NHU#JxO3th~x z!mwiW|LsWbM5D{wUbt~hUw7@^g!GwTlB0n(dhSaOwtvp_-tFcDjl zefQ1w&6Sg0U#!>IJ*wXzB_w!XgF!@Jmcb0zoRVeGTDih|&uV5p|G#ybX6a6JT7Xz?LX!JGHFhY;{xwj%Xht7V*8(8g6|LG zkJKZ%owt^+jJ`D&xR6S7lJ5ck#Tg+k|HN;w?%@3q4)Wkq<;#!O`u;s*emVa7mGh>I z+g&Fu=bEhqT;ksnWbf);nVZY9&f{+#qnU7=>JK9^HtCI=N7=UST)ID;ZOOmAJX)%sby@$s(aW8??76mSPBNIgA@9H7fyf&Z*FE{hvrYL8i;U;LO7l}k=WTiO zME>;VJBwG&&u9G2dP_;un~UM-?76>ohR;i7TUPf^{k&07WYz}Rf1L+3Z>uEMm?I}9-jI36_xjWQ3BPJZ%lwK}rMym052@b1 zTsb?|m9$Y6}^F$GS<)S|NgpuY189)?m4otmy_HX9cm`O*NO?+@pgm$%H|CM zAEZ8{Yi+k!E)C2&mmN-T71BBww&l#%`xEsyST%ZG;+*~ST|v(AZG07yJGg(?94b5N zD{5xXaO0+Hui!RUV9`t|Q2Cj)D6heT^(Ai!vsB}=vS}+lb+5DD5D3~0G+D)AJtLom z=6R#!pwo9myt+X`1?Gv?-|qu=@1Hvm^}u+IIB>Ip%c%neIt*vBo`2lGT+ZHdix}`^ zA&&=T2g^RZ-e~wQ$9X12HL0ea0Qbb<309QN_pKt zoh&Ql11A5fHQCU3?J@&Uz(cZ%DT2L*$%HB0^|p+l;AKtVu|rdKE^h#yU~-=&!EMV~ fqUy1UC;tBb&3*1`a`xK^3_#%N>gTe~DWM4f_^Us{ literal 20417 zcmYIw2{@Ep+_xoU&;Hm;Bq=J{m$61Uo}QU=pL6d2`JZ#2-*WC4JsovgDh?_lA|l!c8mjt4M8x~x6L66n zeB*G4ehvO}!AtqUA3Onn{ssKt;iHfLnus}E|bzEFe3FYYs6_+8aUdP!HJe56J( ziMnr-D?RUSeQeB5ROb=o_uIm2YV7ukyIo@V|9|xFBFsaHiYc7`+rIOhJV=g#LCE91 zHQQyP*3fUERm9w7Wc^eo-2FSMs;ZiN{ls6xQmomORaM(W7p>V8!IxA8ifrH-5-M*7 zh9tgAI7JAl$-7z_%DS6;e0;evdpWhVVe9Zmi<<*ElAxTmM`^Al#dq@Q>(2x;W&M^g zA?LEZ!H3q#6Ey$b4lT%n#y+XEzvH)MX5s&b%y$NcQ>GIJ6(M!djk`O@tD&R`&NdU> zp@uOoT(c5m&zStqPjL-h$$||m!bY`UVq>XNo49Am>9|(De*J2utsUQh9WkBC^qXG& z`t94)+VHojCj8cf6~0ZagbY;MbDd(kh1GTS0Z-U;fi5p@E>5&QiU-;W+aFM8Cx!ib zC)6vwyw!kdLb*sz`+xT8t#cU47wT72Ro(Tz!J0PDc-|}BKO~Bq4s=Tnn=UbxG&V4p z&+ythoKMu9YMKeg=kZhy8<`TW;P>`eSFxmDm$jrj8Nj@BsqB$>_kPS1r_NTn6sm*7B1eOHom*+0`d0M~4d2%{*|f)^usWGCN9Hsj(Dv;@{WU+A zGW$qf>E=R9o>pm^>(cM;Z;0jXCQ5+*4cF5>X#f zbFp8@XxofSs6fnm8L@Z-kN;SOUD3MBM78$cmR&&kAB<6on2XNuYJ*iGH%m1drpd3@ zuE}{V{YGIAHYX&Zu%EBlBY41FezEenxSxl%s?9ee_HH$b$Ggo{i(7CVChIEvNq1|? zHLY^{j5(CsZ;~NYKr3Y%3V=hHMELmh-^O0)PnBqniH_Fri0jt$07LdRjKmzo<|4C7a$t3Z`R6JUQ-`hP zC5bj2jv>~kt~BxYxz9nQ+&T2yOz@Dum(e;Kxp#s461o-Y7v^9>M!g~H z&%DhIS7F6>O7!Ecx`QnBF$YF5^UZG-gWH}*T#!L+>QY41M{DRETZyHWw%Xs+CThBH zY=3lUmNvOea$e{+VTiO*=71P#4vmEGO2H+!FK%l&Yfc2j;ICPKo>_jSf0rR??tttz zV=bxEv1{rf9yTuF5_SsbfWbDyK6BO~I1br-jIY6HrMU2a;H-ya?hNiCS9;uUL^wFr zjgx=4=q+N!TM{OO)I#zy*1WeKxAMdx0V~8BIk2)sZ=hWx|#+1)uEgV`8%R5)j!%wo_u zOp&yLLh3c#mWg{d(Fq6sPrqQtd`w>>mG=vDHXW4@0|TU(;)K(m`CDFgOvz!L8XdmV zXMCK-*}D7*GD2Em#LLmstuyW#&U+s2z#K^A#8^{wWPWT*`XXE=`^VE+9CDeMTbEyh zlk~hTtx2~nt+TtlN@<*gG;H|E#`9}q^f{!aAqzysa}t;E84q6hKT)Ar?>M4A5EjXF zT+4H@v=SJ3#@1%XvVBexV9(dGMj3QrQl*u*^AwKRgP=n6m^@2z&pGhUixrKv7dqD! zDb|gj(9jh51>Qw1=je%w<86kV!m0MNALYc|6C70xVNPEbVOUhpd5JAJzv%oF;~N2W z(9ele?PHR54!r2AT$-ZrUQKS+IEQqStWmplm5~ZN_*s!HCfmH+M=g@rk~lreG^0M8 z`$J6Pi?PC&i6Pbt@8 zW>wCg?#qBsbf8n>t64eufE|WfB5ChGHIc3AqSADvXQ1XKy+?2d&YjXzKL} z*@O>S`L*@Vj!1aOCs(1NyT`!^mzoPo#IMy&<5%pfIbUi!tgrfowfUu0Uz^KZ@OyC_ zcot%EDKL+=TH>UvJOVjg@Mn4B8hxT5&&8|##8BI1jEi$HR3-wte@b5HxWu>+^W<&n z`zP<#`FSnqlP>S){YhM)B<9+aaD?Y`>|s!Pw7dO zuNbv~A5zNYk)-mjy(DaUN8A7tIy`7e({Ndt-B)vMzpsVFlYZhd*FzWft3Cv-{SeV;bGg4aJpYEXbdSwFhQO&rD$o$?vm9d*H+`Jgj)2<8 z)aUBs!~en%LSWTiuMU_aw2vOpeS)&2>x{l@Wt=d3XPr*Z7(&6Kmv!0Ym3%>Jr`$!{k2YU*@<-R{ z4M{s}Ze>0|ga-Z)(&0{jgy&&PRI7@ltHTwLnngLTJz^f^fC|r+N%P>lq4@va*Pb@r zOfaTvzg5lz zw-xCoWQ(;hidM#srvD92g$+;lwe-?nQr9J(FKn1THgT4JrK>E&u#s_yx5$;%&*|v% zLZ>d;n#4Q#uqHk#RPVc6Y|s9<(AeNGb-TZ9rp1IP6m|r8nOV>1Oo=icI-B}{WeQ1s z7BKk)xriQw`;kyseRD*_A`(Za|Z zA6jFm)t5$_h1?7{S8Ug({7As#SBeM4ui{HQ!cqZt3MJ(jRHj1{btiomS^Yic#cQ}P ztmr6A>l4@~8C1 zRZdQ;5)!8{pEd6Dk~Y|wxA}ff^#jR?uwv^8PGQV%XiXV)P}C{W-Y%BzbC-M(?*XYK zV)eB5(ysxM^`@eh>A<;isS7gbw{XZC(-4{KsCL<@7wCs|p-TmhFpc1=$iPQ|zsBg{ z1G~Y8H$7g<54y^VdzjkxY{!p3LQhXa$tejVG9`x+eMwQdAM=Q-5)bSOYd%I(|oZ)%^oWVh}dTf>&JZ6Oz3 zkvax-m!n|M)^BZe?2g2QSjOJE0=?@~AaD29xwMSLXwiMc7yYhI8Q}`UpSL&pZu1H;Pg+$L|~2Tz>tKX+PRNL_Ek#96|!7#m~mWsG~@ zJvf*9^0DJu>Yqm0xcL*vP38i<8n-jvg;DzK_=Sv(#L#p&Cef@QoBQQ^49qQVsUgdx zj+f{xqNi=!NxbSdMY|93r{~S~dbS_^3{F^+cy-}xj(N3nZ#HzB6E{W!*}9BFic`!& z2HvT~G*d|K9WE%=-%1&8dVH zlwX#AGaiilA{uH6Z`y>2mnX)~oHm*K)Qa~fXC>N5d+Tl4pL^V%k|fRD zHoUyHn3zn?Iydf(NisI;%ExJgJe)qkcj6_fF$q;1Ct`8CD8Kukf{rq1O9e*K;H)cY z9rLZeYzI^Dk9{4KpSw=)ZJc9MLK7!GyoBSn=z3gCUYE9=T|Ikwt73+FeYF0HM<7cz z^D|f;^NQ6=|B6*z;~cFIZ?l)b!Q}3nI*$*rODl-fS>UhsxS(HI+VpK=<#>7XEv+gq z-p%y?DJ;n3oP$Y3@SZ8byG69*5#^Q*+TwzcXjo{L!$MOA2|_zv!u4?bkL&J2m+N$6 zfGa@5TNT|RaRxarX*G|Nehd5B(d_$-nvb3?iiUWI+5dKb|NcFDHbw!zF>l|Sv3mdY zf4PdO&OSenX_x<4rjEIyX;Sl#(dnMlBd9F5&11@q)9Fc*@Is+hqci*mEBj^|WQsMd zGQ`=pJ*3N}{>$NlL|WF8C*uKe+E6F#3B@sVy<~Yh5F@{w;pH?^?BUjYT8-asrJs_; zG&0pFQUoHV^HwYFUEBw(LtP*SF^V`CcXB=2T@-OR#g4jdb0x~GUB~SY={B67VnT{G z&rX&h!uwy2Fd;MVT?V)M^CjrSRZzkEz?@ZLJH*-SH&uF-$-fUJ+B%I=An%_)C z+Fcm=nuHC_O1WiPF>s&rPRLo1!s-6d>j~dAR1ElX_jtXG%}7(o&e-be*D`@-!}+wm z+uPr6R^vG(3Qm2UFQH)zGn2tg2MDOdfvv!=UvRPFsWACvr_jBana-1k<5n+)Wv!>) zC>6gR<1iIe+SSw9Bual2KbdVvi||_REv>H~mtLMcTF$n7Vd=r_xbmhBB5#|F*Or`m zS00%a{D{_^3eINqnbzygpgJ1wMdmJlWbB>rWfhZqeVl0hsk;f=l*1p^4zEQMoVs{V zS^R9?I-J)#EDrBoW`veQouNg`jtfq@#{pHPr4|vN>^~nbiMC5MUzur!05-*X@XLc@ z^YrzvQAyh@659((8(L1jg?S7PFBnG}PcK%RIZS8&A#siy{_5Bn(zUc%-Z!R#)*tfN zzFIv3l`SrkPqFl5KVdNSUkM6N&+_FONt=|gLCitewY)8dFQy}pn^+@rDZYYLNDS*T@shC>gSn9Ra zld+R)>{YEJBq0eal2xN@smUD+bIi^Uk>DG>RahXKvqUg0in{KM+SHmf%kHZYFL4M|2rPy{aMe-$to$KHy$p&6zdQO!}`2%*ZUaNFNH3lw>T;lB%qLV7P0gp zIwu`VUQ;T6rnM~o!ltN;ktkm`yEjeTsqu!>hY_oxR|;zD>~R_% zhk{3$uhf;@Z)=O|j|lSS~WXdJT<@8w#?6$6+AwMQR2Ka=V>U zA~%z}q@0VDGAk^-2h?0o4tKUbCn{*l<0yFik@4KJBR-gE`6~07CfHw2_h%w+_PFcu z{wkrQD;jS7)a1S@zm-Q(E^makAtzPPXy@s&EwxHo=N zMNqSO?zFS*;hMpG3_Fjiazsf}s$ixO21D3uI^UVD_^gk_S2>LiHo-QfX=QvjG_n<7 z*F{BjT`2m$8H<9IhP9LF5<}AA7`f^2N}%)HnFN{xky+kOI$|Y`+~W*z?k&(QDK7Sg z9q)S}0&%{Ji;Er>$Kp(x3Wlnx$^&fv5kFtrNV~f-B??#VwSC6bUPU+H4Eqqt zN^|z=Ud)YRQC{aYGiobaE1fMh8Z!Y}%T&#cfX7K4X@}Y`A`oMet@byfqc2#CCgS|) zd^y(4!*EPBQ`A93uiJWCc+${W3O6ZCN&eE2?$Yj0Stnd+%|cJr&!Q1og0=*QilHq~16|)%Z8gIE9wMd71e5g4bv^k`LD-XyL0hHIkk)D{U~U z{pc?7{!!v38}Yp_1VZykS9lfWh+Oci4m^T`8mrLba-B~5h^7B`ONJzGS=+eh+FA{pH#{-MA?$~wRm)6IhC3y?Chlf>sVcv5 zqLnWS9+E|kpq|^3{+L^_pOxR0i!&!TwuNv!Heh3b{3f%&xra0i?laCm=iizbZJm#y z*rnZnHWYYzl;A;+)tuFyHR3%e(F0|@+er?{>2Y;-Hrd#|70MC5^-yy;xh((7Gl~?4 z0^3X@=NTefxm(5r{G-+u7-dBq_$~@>#+LpoFytz3DnrV`m_Qj_=kL$m$@gPCZ;C&R zJXS)-Y9WHqHGuAI^uEOk#|j(!Sr6HJ)qUwZIQsAKb>s}jpj^m>@lFIe)Ib|^>0Gaw z()3}=`kA*L;I;fLTC$mZGviP74qe7w1h2Wuc0|oT2&1C)eo?>5J;%Kkd{FQbR83_Z zS#?cezO|`4OualGHySn?T7|rdzVVsyjs+lUF3cKoSjLO?=4Nf^LIw*?g;8o>F0r6* ze26zJZ1f~@zv|8nZ%*t;A_-tw>B`5=-17*@P&rjRS^rBNNBbkcDMtO)#^`abc|}_m z&P0ctu3Awmf+(o+yIGLSJadIc9Y#VcAg2<%iMb$@NsR&AD?Q=}l^~TV%$YY_@0`^X zr33^SCkqN0512 z`xk1TZifc@ECf(-lm~CY4Xaix8Rw|@f`IkuVG^(f^w=Y*zjR}4b{O3lXju;Q-->dZ zIy><*p+ojZ+<)&(qUMT^3Zfv@dq4Vx+0ug0fQ^FRIzE&nsmD(5i z`mf;gabNDV38IouSDWc(O+FJwMdK>qV$IT~ljoS%&ZDpeZam2H`+x5n8cyZiS+XiG zq>~#gzs=BpEz~ytZ(R=IG~S^NVKL8Uz@1Qnw4ioe7|VjLW;4!^mfu)Hlv&x z(x%He@U40w;LAG5{eM3qjF6_0Nf_OcB#4Nz{K}bkXdHnrefNdHGjbh?BVI-vn|bQD-rhyg<&);|62R9@QQmy&tyne6@qGA`6nhkh*8c_u?EpU)zbxxJlnPh z3!rHQ_-=${IYS{Op)fP`?<(@I|0VIeSA}4BEtp64=?3Vr0~cogb@>xpo?_IG^yw?( zxfYZsoV8-FY(ZYC#+sl=rsBYD_!dSD|4&JlDn$ynwCP+4R3M8PA12~|zh`b&q^PAn zWQza;4%#dJ+n&a677jWOI1gNjZo-XN?&5|%@=o*h*>Y`%sE8?A|J4LTqt!|^7b--gkE9d#5}sH{3#-&BQ};F#w^SdCPqV? zwX(CiEs*++Mdr;9t^35XNAnC=7uO=I-n<&frrW;W(k#+^ap7Z3blapI^2SD-SYe!H z7~Qluf}YffX=DAZb`B|5C`g${XoKI~J4ns&Ky4$y%rnrxi!vwb8q=^cpyI{S4Y(}9 zDARu)Nd4I_P{#rq-Qg{Xd~k}bbuiNa7kcS^cX^SsWRy90UP=|xG!O->5O2_Xw;w0Z zkWY7{iE6d;&x#`DkqXSqUY2p#&$?vOBxfA1K!t1*wnMLM{5*!uMnB`<7Ke*%UmGwZ z>k-Wx+&>fjv8l_(5EJ2?KB;aCOB+^55lGHLRv{~q45(haV9G-=)+JLL%M*&Fz&Bun zu(mjDQazDpGi?ay z-H`Oj4|iT&{8!j%;eb3{Kk!+7wC;56TbYi$eSeM;Xnsen8n#0BUjo^%A^L_zjlh<0>;0!Q zM8%{*L_sSqcZf|X8iiO;Sur;;;!&+(I2qPXVl`?5BH zeW9Jr@^{`7>0%BUlmtRjeB`pZh4{YgR&6VQy~dWX#i!NIADuR*<2Ym#*}xOGuOV_8 zC4h*uXlA)M+^@#3x`>=9XTU&gyPr*mWe(q@DS@*RQ)CQwo=Q_3$Fd0PTO!4t_x|=# zH2V-nHzIyFX(@f$i*7$lKCoWgX+&x{Lw3Em(i5iL2p&ME@H6kS*8U+yx6#tfbV;`? z;K2wvndgmn0ZUMl-eZ!hh1{V_@VY;8?;hx zdIWBitDBJ^3o8S5NZZ7jw=U@^AVqw7rEwtT z8UXhJ+#CFi)djvW!|f)Pn}#OZr=wTiuO`OqPCghC9}G8&1>@G2;nl01tspP*_ffvg zyu!l5;@T2U1}5P(os18oPBFMJi-fBClbe4O-zP`}=&b<1Yx za#;M(Rs)%n@3~>t)TsW+dEcZqPoVe!nT7QPjHo zp9r@50{t!1an##e>Un};!Al>X%PeOE0(*oRSaZY>*9d8-TCLU069((bB&KO0&lWHz znxvPb$yjk%S zK_<}$`9R-E5(JeLyXl){!(vN$w^KY$*F0NXc!=hQUL*NrLJ6*k`e0JUqhE<)2T4kQ z+iBz`4{ZNYBn>+Wa=gmvXs3fW0IU^H8hl+$+L;)-G__`V(GH>%NAPnh=c(OA^r}JS zd&6XW-E!7CSUDGey(chpTjd=*UY0Pd;nx7{Z?V4D2E5RESvd0B%zlI^$- z>9tukdN;Vy&8g~e(`NQ+@v1zg#nv+TNI+a%{CApo99RPbjil&@t(JAqF9n92w0CFX zHpY@I5YTe}9UG8)7Zrgc25t3{b_HF2m1uZ)SPpPy-m8O$6V3Vg_XS@tB$+&+z~JwO zL=D@gSZQ~B6cHQ_bnbmQ2V%HP{6+TwB%O6DRY(B-^tlT7Fr`C^=dq1h_ih zRB$iyRC9)5D;wLYT_&Hik*4>bgp0M$YR<|!Bm98BXI7ndie8wBt;_Pb5NG`3RxHL5 zp1)Uwr1YQ6CTRTt-^WP~rcYPO_c)r}LXvmI3-Ij?si~fPQ52O2U|_0MM1$y>b-@vg z>qXFF&Nd64UYLPW1Gq;J@SEM6H{i*zdsU6b(*1OtS1b%LO(TlbIh?m;6Yr8=8QWK2 z2rM0I5{Y;b5q~m6bEptHpT|i?({?HJ z%9v)^?ryL_p{PgqW5fu}d1x8h!NMQ}1x}sxv3z=?q0O;Qm>v3i(U?j6y|3dWVquk} za!cY!<7W!g8J1L;*;@tF%EQ_*eXz;)zdiwAQo)F%;F=U{g7*){*_A#U*uRBLk(Uz&gC&0k~JypyNcEm z?MOkEK(MzpMcSt0KvPL_3mhv}Rr}65R7_Ys`fsb;KPa(<1Qj?Gz$t#wqYKb#(A8kD z=?2|=bxd$rG!rF$6ef6wcy=iPJW8P(pu;{J!o%Mr@ZK*>{9)t}=lBo6d8WAKEbD7U zjq7Er>?_Ov&iA{hfST|Bw|mc6;9PlQdW##Nj2dD$#%cDWa5}8i{$GU0?-X$XS_;~A zEsUDlr)!Bi&QfiLa1%TqPlWjUui&1_s7j(*0lu77fiVwY{-KXbD%$-Z$JI+ydd=_M z0f0agK*$UmvYaXpV7;!Ket-(HC!JO=_2>~W6_clQI1RSfB;@!3G1oUeLNKoRGprnq z3|>jg<%s~Dl|bS6c}`b}mI+wV0U4)A@hwlcbFbXa!~nbMe2CS!8zlqV6#?pvr{zRG<gFSb=exE)ns9dK$szPa}~BvY8D zAgX-=hkA*gfPadtAAPPH=k<3seCfQvvN9WTi~9#PHa*7m@7PA+a(R~jp;HFRyZw@6 zDf4ci0GNT2h?gP%_gm7%yTC?5xL9N40cP#8NyT*pNHb6g+K9 z(jh#^on4+l71tV%ZgT= zv{R%#i1^r($KfvRYXOukgZ5xA$p4yXeT2{|EERfT#HF zce9SGN_hI)#Ou0=&>_I|7q`jx)AKdO`Q5wr`YE*kjL7>!1Ld%lugf%ehksB1i-gqgpV`AhwG6;|dMa;|J8|u(D{Ox91Ar#^Wu>9Z937aO9 z-D!_PY6N9Kraq}ri!`5jHk}@rR!M_HO z^l4#X;kxY~)B($xejgwq3YE|MmWGWj7yDJ{d+a3Dc0PXx0w@4mw}JqM1{;vP0T*&w zj<(7^g>K22pjN*bSjR$Fvh?Qnq3fcFL!)n^53OY+5Oy!bChWvr0FC~83g}=2XyOeN zA@2w0xR7%;)c306t@fpSyxo5i+9K=AhDJt9(?HflIf(`AE|^)S>R^Atg{wyb-{re- zCuW-DjV+70P6CASSMbC%;Y-sMVD$h7q@{8AZIpM|W#2Dd=R$o!1#giwiK(W~Z_IQ2q zA%dyBAE3Na?3rwK*7MSeuetR9-M)V@*mbUFk zSj1zRah{{ApQk^g_Ok|bA*b)^r@tD0BOfJ5i)OxlBHMyivbt1kN`N1k2XIH{w4t#v z!=N@0AWS%waC*a^V3qD%B`K00%C_kO3!k<2U{_x>+ zG9mwp3bIJ7faboBnaK_#rMT-|DE{B#p$sfK^JKwIF)%TXL&#E*su!&)gFbN7ssfCbqkRV!bAfp+st^nmsa?)L;RJ_m3jM!Ome-x_AF5`VY z1V1tJ-`!^yc|%U_05XPEKJZ`xU_$%JT93M|EvS`*dksz?J^^y_haL>u`ym}!+R&t{ z>boGbUYXrUn#)m4Y#KwhqVJU$I^u zF>@w?{qT}r!Q|zfD%BSbs2so3YFHUh&2m;Ci93L<<$$Rn=$UD6tJX^!c7e9<1tuUg zptC#FC&qsWA4*(h&@n_2*pvQzo!e&von(2!R~8v52|wEx4D+E9vPJcLxO3G926&b$ zDXL$juJ_N+KUMy3=L~fIF2I7pCp+rk6o4S%V^mgM`NGK9xYDX6T;^(%{2MN8FfD^c zLCEHKRnhwD-VPySN2y=j=OGP>yp?FmOaQ{O)u4M{N<}T3=IZhd|@Iw>;K2cie3tG7(6pMiChhW+lB-c1TFcg3}1Fk3jh%T@W6P;fedVCf*pt%inm&$D48h_mDMB3#dA%}my&lYTS3yt${to*Jr*X(a#|N;RAV`V0O?T7%FquZza{9q3h^!TSw`|k7Cd32|sA3-Rl}gp}?HS z0}qHfn6Sf9BKkSMmL!F^L2wF;MP;2<+hUlAome-f8YDAi7T>BhJs24jZMpv{YVN(U zMJ`|nfz?2@irK=r*G#pQXC2y%WR2D-IOAF};S z|A#En2RVcl;41sd&Akek0dbwf6pt$<6U5N z>h7**&1!yneUIeKWR=T=#8CCu+&JcP`4?x@pUYWp#NGm1rWPYZVO28{`IUTJ1}Orm z2DSY=ONM1Nf7lU|c2T0LD=lZTkA z?lKi9rq-9XJGvxUUK_q@OvD|17%ryJz~hu#D+u=a8v9@-eM32}t`8=kV&;>W>rK@@}7bxs2+f8s;5`S;eNhwd8JYF;<|0UF<$U?)>IJWXi zf4M7cC1|BP+f8yXM0H5-4srMT)9z?x;H;FI!$q?}zY!n5)Hl+OEV>{Gfn9aZf1npk z$rX=~z>xWyF$nPiyj?C9%>A)rzB^PF&S5M`-#z?}$G--eF;hy`^l7{D=O)R?!<~DG zL?Tuq)8*|CcW2puWCQd)1ZR!OB%tp$gIutSjXJ(i{F8%XbXL32lD<)U=QXrX5H;Fb z?;BeOF$V}NV2`iAMfubhpcAR#!IpGAU7%#-3JSzV1}VeXK2=UPSn8+|%5C512M96I z;1+iyC6*X{xx@wlwiD%3KC5f(U<^SK>Ak!CS84%L`dj1gdZd%Y>&uaFk&%&KwY{XZljM!+`^R0mVv-!cG3mB`(CbZ>!iEpPBI^zOPG ztw<4~BL75dW^(?NT!4KIw(Gy~V&n1WcA&-8MI86OyZ;ZeP%4qh9CEJBhf&B)KYvq7 zzLXSL$mRvYz`Ax79L7j!O1aJfK>48Jn=m@owVFS$!VW|V-BA?u4iFX(2(og>B#u$7 z)eVS?8fiJC+$Yr7+R?!)02nUi`@!`rHTM2$&)uL9L9f>T0YH`@DlQjP5&^APg?$kP z14rE{g3>Db3*O#dG6E+2!oHRUJ<-UgG7D^L69$vom^ZM(#2oK`5cw77$}FsqP3so- zE;ZK14H~tfjG*yP8(bxj1R7n`vi&W1J<$|!F<~tC>Bc}qkkbuCO=emupCm@s2%ssd zASmD&a{x(idgyNpZ<-ArqN>(?nYW{gHYDr3PvBD{QWtRsEN=%P$K6WH`1c0jona@AKMR3Dg(E&q>Nz310(RMAPAelRmU*81F|6Dh^XT!Y7 zF6{l^aS-79`Zp(^XW_5^d@A#d7bHlcQ2gHnaY?H^SJo{18%2RDzryGuqM+q~>Hx6- zBtj?G8aRw2NCNT%h{LgFC{k`JdaO-J9vHSSOfZuifmm`7Mus>QAoS*1 z02+%hIDiefi3<6$qp+v{_gI<6K&)1dVEmP4FwUSKY-@QSu|BFG9urP@i0HqYV_kV; zS;#iuxPM$hiG`4y6F_N_x-zM<|*2xz=fw=ric$Ens7a zdwD}o^&ZRGy3Oh8@&$`eFM#;YoK#Cr7}0dSlPd2Q3Mef=E~L?6Gp|qmofORRQWP@i zRpn(urjYXNmfRb-6Z<>YB32vI?_FrAxcV1Mf4L3--<29Y(f6R!bXa{CXw*+IcG+jn zb5NmU+7bP7bu<}6(g`!TdDmQv8&%$5<^{)3raD7sWI9RIRBdxD*8VavF;zB{z~7Lq zwU=w5Sw(OYr4eX3cx`j;;FKH*Ceoc}#N3&`Vl3?BkL15EJY!Q52>F=ff<9me;m zTo1zQwD|<`nnbNl2#kqM0h)xnf*Pw2_@kj*i(jDQw+ZfpzDM={TFkVe`8O6RblRXc zFacZtE-m!`mX??#8{iHh1SW+pJ_=g&_jluv`UjE6vjq0yBa2s#3g~St=jSgC z1COq_)-A0N7`55QYfU1-h-;U!IaVO$uF=OBw&oMAeh>c0ljGZ(a%}<+ z!}CY;JidW|sU8ipTz$(#RuA}NhG^SlM|Oz{@2ECxO_)$_iUu&hJOihZd5|*>QYK42 zvr^9c1)yM8j6rfBh1FfwB^>F?(5doOu|S)bzT>Y9rGOpnc6(8z0u`Djoh{IQeACVP zrG6v{8?iBq=NkYhQ!0C9;+kOiif3JnK$WH~ty|()>Pa{5bhRx3+`!2hu6Y@-1$F@8 zE={;KF9I;K7|H2s1-JrhHqm?FVD@!@ot@qBV2j8u>w6QNuXeeZ7aN(Y66Fa5vdVT= zQ#hgOfMxFc@f?6D2x9OZAQ=YgY-!`JrjGO?GdNK0XW!!pb%+9cw_bUinZ)>ut41YH z+X0bbQqCvx@>H#2l;e=n9C-20lK~ZDC_P<`yde@|7`)t=`wx~^lfjcNBBrF1W3W20kp9){ZTaRZ;!dS zebLrM6X*K{5NW_!R6L6T4h6MG6wqUV(?9`(oNS+wCq=xSRNh_2X5{TI?+#@JTP0=$ z&RkRah^wc3Cs0^$A{}5u(`uSf0?*SzUU!qyk_(LGRdRZs-$2(jsF7YiJlX3bUI7VW zqLzG7GX!$eqEX66UYgu4(`N*LpCFw?y~gnxw>}nQGlI9I4w!0NMH1Rf%t&CFZ8HxA z9W|y$1+qzPvkYpI8;Lp+HRYdGO1LYP1b?=won*AVDMnil z_Qfok{fAnf*HZJGGy902R#oJE0HIu)%sRu2lvGY*1JE(TpPVIkPtIomO=l1m40P4y z-Tunxv!^K8Hvup_Il#a2pzZrLu2WLGomZt7-l(8~h2i5p2Ym^8(GH#VBN&ez?O@8Y zf%ortG=RLXvjzn&UW3tzYM1n$og3v<0tcN<(YY&X37AxG!iyoosYR^LPL3u$I=H{T zNWzt>+AytjdD=TZ0zvU-$z^9@@#RT57Jt1TB3RS)gH9E9FZY3b=jRCfR$9qtC;qaZ zmtIja`2%mUSHNMlD$e`EgY=}u2LS-nw*degbbf0CbLm9B$H!Fc@5ZlO9DbBc(lSHLlVJSNYb4k93&( z2Lpx;jR$g7CX=p49(>*$E$RI=58O9dEW%o=<**Cr(#2Khl& zgLf9(>QeFuCCoZ72LKMQ#m$6(*JVuk5fp4KSOVZyzbJXkLUCK0;Ee|J_P;;;0k0?E zo&_MeP|4$MP3?ZJV7h}?=BL|Z2{lr!655({!GK=W5N}qQvOidm$Sbt#PLac+3}`s+ z0qX0%J6Kj988Bh*UkoWRZ%6^U^Jv|zG2=;a!yt!w@0Tk}TK~9kfVQOv1{Mjz8XS!M zX1PP4)wZ&Mm>-=NmjEb=%wNAW30|rn5!6qN8))I zLjvv4`GIq87FzW^8PZ}t2=fNtqA-sx(M8ZMNWPhc%5^m8?JRJ4*kr>F{s0DoaFm6% zK_mBDaq%;-v@QXLp~x!`@RLL)2&m7?o&WL{;w7hN!AIjX5O~Fjf`Iv301<9c4~Uvq z;JqHhMfbkH7zhVT4_hd(Ki&1)nuNy+&ZXOyFXczJmN>yu(DpOXn&-m{P2i;>1!?u* znUjs$OcvDj1?wX)3oHzNH@m03WoKu%l@++<0lox_aRcCpWPI4~K8v0Jyo6Ro*Xe7q zUUy;RQt!acD&w_k5%c;ltb%D^qI5~r)ws<}W7kJTu^7NI_m-H|4T2|3UaCdf=DPmA z_Ex+(Fd==r<|hQrgk#5zNzFOyLa3cDjrS=wKyh}6{dM3^_>)m7piM!~lkt?n1uVa= zfJD66r3l%8x0+o8<{?keI{~&8z*)h+m6rN~$J3VO`Ee?K-ST{GsV_U5BdYxWm2#!= zP_}z`3}a%Lm=>}{VtDN-WqFaMWRN8xjFF-k8I*ObWzSOYi!zw3QI^p$YHUqeJJtzf z%91EF_6lX0Ik$7pm-G4DAMa=RKfmX>@Bee(*Z;aM0FmV2pLhT!#;tYs$iInK7yn$p z#6I5-u9^bSm@6tS8q7-?;EFx%ymZC~A(Ae6T74$;0^r9VoCibeBrRrt^S!7_H$FGp z6;4_m;gj>z40dKhoy< zNJ+u!Q}zif31V0r7}sAxhPe(ttIY(5asFuFJB8fRNu#oPpe4`%N2S4&X+pqDy#^px zH-K6z3<=l0QzY&2^nvlq<1>NBaA;jNK;JrH&%lzS3qZUBK(t`FY^Gy>rGfu4?$nwc z>voQCtQJdSw1YLAxAmf?2(1B(Re}I?OxL=<%cZi?P`wPX zE2!}W`n4L` zm{1RC9*7h+Q0*{_U{cW>`pN`y*R3H)vm z+6=H>TBtXdRY=XST6j-3^>-jDZ}V>G` zfR3hI+b)ow@zGJ-v;&AH&lx)@LTLAOfgv)53a>dPGvump?%=$l?!H@riT)1}=kZ^H zU5<0MywZlMpoYRURZn(ofz{39tH(CveS}uMA0-GfH0t6Wa?etO*W$`EAKgL4IQg&? z!#%o$#*$-U;&gJI=%=!Ik*N>$F|{512PO~M1e!PrjK@=LcaWqS#c5?&;|2B6ylDKZiyPH(e|l@6cwO zo;E^r8oDXgFTAl|LBzs_uC0_gXcL-aSzYPu5Ujvl#9IEt{MOq>_BpR?xab z_v;jYq;RPj1JpETHt4>%03OMEZaGSRap_y3EVo7b!3Q6|x^v+~+m-L8)2%KyUv_-6 z3P#C2DP8|7^xxLw9y~i@6+9t`XSSg8Aqi7w9Mhb#J%AZElB1yZY@ho1z2bHqZFv`Br0alCJigv>=2vPC7R; zx$U)tof+S`L)Df)NYGm9M?zc|36-Ha5wwU&7R?BMGBP%}sHiRCJf@{(c(?OZgU`sj zzs(@@&RaSmpOZ$YY|MIV;|cA95DG1`XS0GaezZ587gDwMLht#cqlTgn59IRJdTj3~ zyYq`G9p