From 0cba14ca5aea98c0c6f525561a30676fd28159a6 Mon Sep 17 00:00:00 2001 From: Junekey Jeon Date: Tue, 13 Feb 2024 15:09:16 -0800 Subject: [PATCH] Improve paper (p.25) --- other_files/Dragonbox.pdf | Bin 1485176 -> 1485230 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/other_files/Dragonbox.pdf b/other_files/Dragonbox.pdf index cd00f5a5be9d90ee23758801996b78bbe11b80d3..5a90bf4384892f9d0ffb15693a8e718f92e81f9b 100644 GIT binary patch delta 10080 zcmai%RaBf!u&!};_uv-X-EDApf(8rjnr|2&1Q^^cxVu9LF2RBZcXxtofSrHub*|6F zQ>)k8RoyrB*6MzkF|L_428Y3h!G*zxAv7Uc55o$i;ZotT0%jmzI(fXV``Rh3&rOM| z#CiU%0=DV>7f51huviVcE&Pj#2{x+NCrlodqii498*JPp+nSX3bU6|daLt{T{5*Jj zle)Wmx2`ACTqRy*q9dghw1wM$d_$4Y3ZoroOdA_%)d^v?BIbo~fBW3NZXh^!XQhDn z?RBrk_-|du1Mqs4I~AfT(vw7rJM8xM%z01D%Q$y)1lc^=zjSfv9zD|AGnaJo>6n`{ zduZ8sn0)N-Uklv0xN2E;stgpxQYF(Ew)te|@~-RkIcub~MqH7H@1hc|wpP$&W8_r; zqYgr7io@Mp34Yhsj%O2gk!1G3-+t>{^Ri3=njhk}0*w17O|Ns&D;K`P2+M{(1{fWN zDHWwaoj zt6#=9%$2z1V~Ke46XJO^<(_)GYlyBpIu$y6i5?QZIkmw3Ng}d3)aJt zNX@wL06BFO#q{?Zr=qG3mP+9y)?Cv?A6MDM5{8*e)?8q7`1xeTJa%ZCwn27yTGT!> zhoYOeeSbsPci_;zu<6iYQmM;**wQ8 z>lwa}C{AoMXi_p34YXH)WS2!bIgxNF%s7s_ArKFFI?rByMp;vmB;4=F?*a2dp{PNI z%ZiAh++)pQWy4V33ch%?%^BlJY1NORl3^}-3b+tG(|*OK9(!uN6o=`;amTyJxf`%Q zkZ|R*yaO?}rE6^FE^^Gj*UHDY=(S~3Jj0;a@gi{!|1`@?6F2&$P`8;VB>`z)HqK6L zTKbz-5K~m;m=|&xR>tKTQ+W9#b2IC}s7^X!e%GF09CjXybOnAPo^W=xye1QXe3uEA z!hp+k$^DfqZ<+0=EHsY4uSow(QJdBmU_s}@8Jg}amy%N*o2r3O@QKZjL-L4zEQXl7 z%4f%ek#lm@V{Y=R$Vh6b<*)c_hH)@qfKA9 z>TpsLs9&^k z4Y?lQjW}MSZ+Bh@VaQ`CjUmL9oo_$ZSJ#|RUnS1|YKTZ-SQ0p_W1k8onc;)ni{HI1 zTeB9RqP$NHWkp99A2KybKZ#$yWfF#j@4Nhjae=YF*p+6VuwcKjkz+4b34*E9scRu& zGIKnLi0xPq zzfaK}uF13O73hC5D6(Z~M)I|l!niu+YDQ6(4zLmR#412~mWJ!|w3suPsCmyjffZ#qVVYSkn<(?{&n{%); z19M@dvtYPWxSN`hw*fHbLHi0f?yNhZuhCjL=sY&<=?Tk5)+s9s&5Bl;vU6K)z?Bdp z%A+%s%1GM{ncr9bK$kuFBQ2jE<0~8o*H0yQZ9Xpi9MdLtR3#>)bm0BUZteSsxK`@N z?20>%fgTM5a`aC?!&{hvU`X+4mYHRyYDY~Y&FK&^<0+z;gqe~6^Nce>m5%oX$485B z^vRBf2;XW;i1_vBFp5Q{j+EVb;i_mqO8=kSY0>uq!uSu*OVp}?4z!I#3HXl5Z3)U; zuO}PH#hF@4)&k6Pu|T4ABAw$j&ED4x%UAq&Xm62NSmpf72cZ-^P{qJfo4Ha5v0P-B zgD0{O0|f!$rjjg9NbbE*51od$aL-9i5A{@fYj%IpZpH%i9wb?J$u^K*XF*1B{8ly} z%}Nqp*`wb+nJ0RYUmZA>?c_ddw-k>|BuMVyE{U#5Wk&(o1LneN^%r7Bf;VrN!;|R$ zu6`$;g%A4HFHCPe=?;mcz(?XC)OR?Kwos1B0p|BdYnFbWQqPH zE#>F#3)U5jpTt>sq~WmuH%ic8oPzhX#6XH7Y$!uY%84dm^J)_kdu#ZL*Gr=G2j`Q? z4m8!#p5?nEfE3AwYNG#xER2r(h+?MG3>5LygTNxK+cS%OhL?N!Aq1TD5tD^8rwXd6 zILK){^{tXGNJ}C&u^mMhsnkavYGZv_t@MWMcygK6dYf!VDPez{kXmlA>`J>iHIrEC zGyHxvvI&-nbmBQdfLSksj-W?5fV!Rdn!3IQqPa2;2yAts0hwt~adzD6ip-yd-cb$` z`$c1)ygpcMo{54_skSKh0)1LgUd@TI8Jh?+ znGrx-PMrZXdq!z!MpWN9@aKe%4KQ@@-j>}$oz)hL{B+YPad>-q(cd~z6{AIh^$>8r6A(@-@mI6B=aaM~fHtMhq_F~| z3nk{4pqY=u#tF0z2p!9tjp@yB!!4x94+%o|nzLH)vJIpTQonY&9Eu&NlT7hGAuP}R zdinXXv-bJcjX0Ge3EFs$nEjP;#1P{apnPgQ?!P_y9T6OLEL+mOM_W7~8-fEv$O1w@ zW*MJmIR7f=*3%*~4!G*HUH+bszhD6-J&2RUo86N6L8KED$cIR6m^Kj(Y#S)rnAh`s zK{bMbZ<}gvekkpe7rQ)N<@vMk>y}?CE9U~bf+x$~=KUbN1vm=v@davx-?YL7vaYaF zOE39AjcQMD_J#OQ!sfylXSadkbR&Uw2&z&Dl0Gt!*i20|x1KW@e@OK5hjD;syw)u9 z!OA?Hb_(NgzE5u{f9EUeK_|VC!O45-drW%jE^@j?(Nd|9N)pH zYe36`Ed5v0)-R~PW~d_82mhH%aVpv}d0RJVT9kay_;B;>dn&^uQL%tZE9U_0u1hup zr5${#td!T~s;tj9-aZA<(uDe&@ZW+jzm7k93vMWMP!rt#HtIfWpl|{HP8jNC&6739 zM%eBLeH0EdHHsarI+LGnD2<{tyi=BUvJEMKaq`URo%rewo%%rIhO);jX zZ|k74FWp5c6tvP=uWI`Pk{pm{V+3!J&n&tdYLFC230JwmOap zbAEt|!zPTSzzpVS2VMDSdtahLe(F$Sm7a>VdCDgT7>@MS0ZNV(VP^BIR0rY)Y!XI? zH-Ym{&F3)pYCZ#;l+DbHO!afMU`cruElKQ4Vr8i^l~QDRf$s>wz>ieC_(FW`;ZMx4 zmOoR$=?f-sGQce!PKX&?!od=?&KrS8;z}gGn(-@Y20kfi3O*~Z)W7zYOk6Z)4QZ!X z-b4T`7kp;lt66W|87=gP$+enrZ~imF=R;Q^$rA%$XAIp8sO}_-YE1AkT7VwX+oqoQ zuX9O$(iBL}K8OMSiF5-T^)200!^ykK)anmmys>Y} z$*@YvJn4hDV+4BH@AS-agKX*+kW}nDJCu=lhbzZ;G`*>Br>e)Q#C~7%qxEpY>Ax)8xVfm5~`| zkIcCG9B5E>C71BJnXcxFf+=I%{LbX347)f5y_jWrb}U@&rKb-OUuo)>k&lf`sMqAEv4viCUyz>5VX@f zm$P5VjWfZSCM0W>I09=fR10H{N8L?caX_$^jb1$UFSU%FD*^ScyqNE&jvABOq}C&EFud$J#T3VZ8L&RNY&2%$Q0@`C;>9cnDw_ z<~Fct)R6p0eN?l`@vW#}ti1d^(in6#w!K?VACctxc$>kqw7Y>Rlgq2o8GZiO?U*zT z9n4Z#^T5mTFc%m?u5zx{aYu1P!x%kMai_;V=6|k_)Mn|LhA0ifZt&=Ur^nu#LQW|) zZ4RNRB_&0LHKQPk@9j`;< zUkPoKdz0i<$yiJX9fuo`{T+VEmdXp4qI#gcq~?HopvX&o-Qu+g))Y6^88NR>Ob5ujWkhcV-$d*9Zzx6CLpeOb|S(SjF~ zo^bnm-jSfeV&*EkI8bzS1aR&9MY|cvvonfCoZzNwJUULJTQVzdv{t)w3C+l7?u5}v z5!q_jd5&EqnezSd->k)4x_gg6L*?Xt?pi_NIOnWZM-If32FTh9b)>bW+leH1TaKid z?#W^Qq)q*WfP)4hIlNkI2p^hU<92CE!(1?~T%lriqSmbw_gb+g7a$v1xk$mBK5f*C zamJi(Imw#d9y?f)FEJ{?f2+m8Qfe4O&prO5mINds3u`yaVxVaBF2zw#u~_|}NTecA zqHlx4dpB%!P74{Ibpg9M5qIkc$ulAq6d&PpYhOG6Q9Gh4qN%P4TwdVg&l~H$<*L8H z`;&JDXdhi{JiRB_QLyZ%tQ1LWc!h;=@AX-v+tB`6|^UO+;*4?sSWA zg2w!lY{hxiPZ|Ubwb{iKJpEW-{2O}OzI^Om#zlg{Hu3g3rkc(6L~QZxmjs^iCt=N(gg<+3X?&>`B7%D@EerQcLM9%J?O7g1 z>>_{{j3J)hKNt8In>znO=37{I**0o!B_GBj+4h^?vo z;CB6I2xhqlv+mH1>sm7-KPtat2kDsCfFqPzWe*=^m@0EOKkaS z)oxmCcb$}leRBR~k6z97I?8qDp73PXZZl{;#v5$1b+l=EQa<7qM0Hxkkwa zeduKl^g>ZKu@{=dohXyJ5s#qsw;ur=Xx9c?*ay*ZW9f7++{gXK~XM@i>wJZJ-zx0xf{8<$r@UTI=Qz+_+wV(+|mf#`#25YR%CpG!)0OX zWh!Gm`?K-5Mde;Vy{S1JkYNj~n(YU8dwRFDogaekOS{=8IMvN-Tx1Vy5QP^rf6isi zz86D>Oi3<39`LUpV~l&d!?m;<1Jy6yg_TLQzr3&Y{xCu85sW>~5$L7%t!i>)3EjcN z$WPD7Zq?OegzfW(j6Honp`Va6doqz(>GAiuhVFX>i+iQ=?5KMHE)p5eUYWUA>JxXK6#*=nH~6L-pMMCXd>X44;g zhckAx^f-4^I(OB7e77|CCzq26!IOTq>O-ZWZoFCuFH6tbtU0Z}*d+vRDojC{f$>LX zo;LiG9Ry8XH9rcNtL06E?>d4dwKXUkwCE)qm`%SNgdCHO z_r&b|tDh@zlQr=7u`g)}N#CIqtyfDA-4e1Vf>o{eXiAUxMo>&?CU22={q7MmFxNLD z5g4x1(=64IXo0&K!d}1hx&z{p{;)MdLj@>(mDDZXxRuInAk1vu=S9Q}Sgtcp#xMLo zIf%}F!?lGNzFw)^mF(RiX(i6e4h{@h*n<8*GMtlx(b8`f8rS7gOR6b6qShDiVas~I zI$5NwKUX9)QskEDsBuTuiWegQO}tL0?$SB}oPG+PZ#OEg56aI3e{Vp4#f5U>s z7=Cc%D+2<_VCv;j>RU~f%)L;@sW8uWYJ>q(3WX@17}Ts==UqN-5r z9a64+h&&~*uo2BSC|HjHB(&TCnN!nCa}-Tw*VHN5mly7$Y%500tNx6^;<*2Y&hfE` z=5u!EB<$;HZNQhcnHPqsZ=I8+1x7XZQ*1z5X+g$~J)?N$tuwAmNz1P+@fK}5^7^=;U&Spf`6V;AO7%RZObeS^fXd^+$D=7kiOH#fTtfVE4L3w%dd<7w3DkSaaZTjBbVtognS<|m32Qgsm3n-8%Lb$ zQbUx47pI?~a&fnvgD0dT69P&1l+gy*B}?RUW{60~wwSO{Z;;y&poQM0g7uCYsuB5x zDEyKU#2(kPQAA-X3&Xc(Y2stt^*ifF6yA0kf17NMMH2Etv_@XSH~XGNM}x1+R0A|? zwsYhKv)&CmEuo@P|IAvmh(P9db(pbj$c=Wl?y=;dkbg17Sk=c_a16+kNt&V5ABedo z!nr>Mu?o8*mphnMo=AmvdHsDw58+frk4V)<`UmnqQ2v4X543;$r(^sB^B-9M!2So$ zKXCtn_YeGk5d4F%HC3A^Tnv$)OOT&8jXI8q>i?FlvT;N=m|AjNg1o%kff=*r_NdN-+5_k)tiJ`=w@b*1 zT)YxA!=77hce+|WjNT$*Dsg-r5SJ8yuK5EH=qZqIP~j( z>2Z@EDlO1WRS=|k;`0D@H0EjsNS&b?ND9uBKDAUAu8(9I%SyNc6i=HWflJTs~K&{S~W7J`#2@z5IMs=WC)Opw|Ay3sr`=4hx>_U z$eun+8ogfMN<_6fFJ_UATY+Z@>kfbR^$5ootZubT{7Z)Tkg)}%Iy(y=u#>)~sLE>y zgZy>6yH8+FVoIYbbkVy4-Xh*GBt5_l2Lo4B*(v&%i-g7px~NxCXaQYxw=yV;4V4|( z|7uneK%$C6*A0ZLRVYfW27%J4eIk$P(`of(oI;PeaRkk+u<%Su1K?EgvzUAmjzMlw zivsoh6}%QiotL$4A;%O#m=j?CI+zKFyc<5f|L77%&wJXo%{0);8KbTTb+sqr!pQS(B}tmS12S-?pNcWC&9IxvU@Mqs6c65MuLzUWw$i`Mu0L2xyU|5`Zm_4cBcG_O--04aNY6KQdG#_vdUoLTbp|PF=lRhkKNX_U+yuVv| z&c$elQQwfh$J&L|{N|ThI1raI*wc?s+gy8Y4hiU)5t~K13t^lZfBshVTSoAv;_jp5 zApp0QhkOIUnnFd}ggJzNu^?#zU0j~^lEQ>;Qj@?b_Iy>^iw+oLCP9wqvE+hf>?IIF ziVelLAR7-Yq-Eb*j_T@T;exmA{nri;8-|8?UPNpVPYYDG&}$3CDhT=}nIR78`{@ls zc;a5hHjEnZKj-Cz@7P8VVX;%72@$vfATTl(b~fYV_u-|$8`LH@(OwQsB+b$Ma9Q+- ze>)UZLSk-4pjEwUOzKcsqzDWwQVO0nfhjnvEtjA&LF=$tU_KBw(${`#s*fLD%*}6e zxJwpkf%R$%e;MY#TKlc|UYh@{j6D@?_(Q_zOW+kPmb-w&)n^$dO9lwS#rMX*LfuII z%ZstjrrbFlhIU}J$iI33)K>?8h92^`hn@>z-|h+F@bVCJA*^}uqAXXH8;8L(N)Q5O zMA07gI`rf%oF}1VkFQ5Kvos~LsuAf}_>_zys$S`bT+>_8qVR4D`GvE0Q`7l{vWgM0 zSd^3^B3@pHhZmE;R;~#$`6k|?&2f#&Rr~$TN1sr>VKCcph*%jCe;&~(talz2AGkBo zZ{JlKis!7+YC)LzV3nosE!c|97g}hc-S_7dg+9oudz}X{He_cLAsxxCM=TxwEYZ(K zFINavJ%qGJy;85$pHfQD*G#I_OFYppU-EooOz?K;1Ly~E6_tvX_yCetL8iYv7B@al z8qnB4FDklMt8S?ML>cdPapLZa{8nC1w@GawxFCYD*xwwhZ1|VD>rc6Gr>kmTsjIz% zY2Tmj>S9?u36s*|ehZnzc3*hVKC!pa26fB-&Ic^EkdJOuRbV|g*s73Eo2)|YBb;Kj z-R`*dg+N*_p&O-Bqw_9N^cB$_`>4ryOS&`nid75yK_oj!qHMabqcaH ze&12h5@j5@&yfhh^}$m`yxd?)*8E*iCa)De>SL@OStXJGY^QArYGqi{?@;*8e$-O5 zlIS4HS-xx(3_UgRa9N;lekzvIz7OUcLN`Y*Iz4)K#J;;)1CQs*8KMS;BSK_LU1SII z0s0;FzmVbZz7(z0C|7hVRKm%`|F6Yi?ijW>G>6E|;Ho&k*r|0FQN8_0ZAw7{u?ITq zb~7$UMWle&+}g;Cq>*f-v38~T%V3)=u*=|Y^I%UAV=Ug;!~FtxDleifONlOGi%2mY z{-4p|gkYYeBuV0bmjbo5Tqsxoga)*hK|`1nU`YZ6YjGhB_0qVJsDkOFy5|@}KIc=y z2c?BG!I)cbfqDcDh2XiEvf)c%%>`&gr`%xcsxcp@P`$nWg*4a=vMn@2L}Hl0`3qV@ zWO6XZ7aOi0Y~@)RN91O(*^Xf*i2=KRE-NLzEub&-c!M?qw35aRGe9))@xOV|$*d2@ zVJv!7QF|Ce)sV6<1W28D7H#TAERtA|3AOJooU>SqPxq6I`-nq1k<2l=(yNliuWJ3s zR-e3~KabOK-UsleofZ?3Yy9W+61^GOw5DkR5H@jh*#A4tERpKbm-;AD(2Bz0EBAHD zI@A)WAL9!t25*^_=3riwG+`(!k{(6{i7xklLcB3A+tHGGnq~{s1L996IQC<%eNtTbC#nt^Vw&dfl?!fo50+#r>dg2oA?j% z=yAAIbYcpA&G~(02F~MYl!#~CjiXKS zT~twjYv0U3|2Ej46l@-^dW62r)A+Ly;%9T=w|Uu<6s&RgFOz;L$wnhl{PFflQeH#k zCOR4SzA$kl*vN!&_LZ$L1efZUn1}!FmC)|=&l5d1;4+}CU~O(sB>p(C6kZwb1`N_j zmg!ltq(QtX3!@wF`!@g&T?{qkZYYZIbVJspJdYXF zizl{sD64oU`X9-%&#COk)jE_*^SpC)aHzF8F`v;cv`LeknUNUzyi;rJn0U&W+Webs zsdZx-(2m|!&Yjh+-2Fl|ubs6k@K#yuGa{~8TKtk2cz0lY9KXsbSy`+;(y240owmE@ zQ*LtgQMCCt-Q($5Y9NE;n=?BhJ@DvhEJFSGbA3uXcX#6@H}$Fbd$SnT-Q6PzCHBx^ z7h&OrF7)-?fY5^#G$D781P~t@0IXE?28Fl*${pRm`8wkFJ0$2E(E27S>t@cO0G^?J z6YiGt*h`j3cg2s;$pIC;TQf6m7pOgUYOjCZfm@~ai#-H=kW3T(4lI)Qa~e|$JBB=j zD(BdULlIeCymyXnMPLf+W+1b0mex*lkYfrnK#Fq{r+N6UdJ*}l7ls5OTY*qG>phkQ zeC%FSq10r#Fyy_5y}@tmeN;CDH#C!M1RZc;K5ePLd~93P>?XYsqAmE_d(SG}-}v6* zG6z*n!%Nx;?RusN2R(Qef1{x03779{;IKHNKWPVFw_XZKCSbf`)1ZqZrKy(_(Vz+m MqcJeZYbc=o5AX^P_W%F@ delta 10046 zcmai(Wl-Heu=hE*Td{+?ySux)yF-DZMGE{5?oM%chvHBiiWDeb+$jz%?(p!x&)nB{ zl22xme0TFEo6XGD%^BX$8bU%rq0pf)p|H(xR-@3I>?t#o41lqMH&q)}&s63^d(Vs>yJYjls3tY!ml?B%pYJOi)BQp$wq%)^Gx|cdqc@LL zvhtg!9!ubw8Svuz;(aJCLy|Za`*Q&C?WrDJkE`zb`Y1a2=+>>f*=*su?6RJ$_37o< zmZXQI_0{9`Uqj#tk?E$+s)^U9ksyT>q}_FK_pD z6qp)wI6ZCEGsZ0hm%3(l&Brm;=d88I*0w z@}VkPv$}J#UY@RzJZk~X^yy*En1eGw_@1pg?oD{DcEA(=DnO^V`t$a;*Ml|SRPPSs z#P4k_d}7m-L4bvr#kP^TL^Fu;C&sHvOGf>o*T@x2V-A>2(UO*H80CkKBv_X=6|2f% z{-97o62RA#ucFn)k+$DF{W3tnS;ESHz&=x9(`{s3gk0=<^cm&QSh7iSeyts`R(d{@ zkpNT3@ml1cASXbM@)bVoWIA3j?`iy|I^T4rFB#`|K~T7&CclJbV>@uOj$z#x3P3mE zuBE2XEnbt-+9^IY-R!OEyI*cS%%050-Di7L1_?NLcZp|6frZlTo$QgAtW ziDzHRxEpmrN~JfZ9I4HpZ>MA71vCnsocP&g=N%_pQ^|KbS}%OW!d+7Hk?+>o&HKO% zu}J=rXT{8V6$CMcuJD#T@ zfXJ_}i@qoKwmmU@dDPmuYdUWF3GoP4zae)_K?r7qpR}xbpv4&{NsexiqpV4WrX=X0 zVGgYJInfShQ^C_K>KtmJ5WD9IHuEu-qgt{?ILttO-zf0u9x4mFM36@?d2q~-+T+sO zydJD>py7*07E%GKnkZ)c1F;L28EUmK()ZsVUSHWGrap&(Z{eXcJUy~uX2i@$4+V*SXO#P_^wFFYiC9x~7 z79`nwix}7XF$3=34fW zYwjA8#<|Kv=@ui!Q+bAlIFGqYu~w^JrxD9Jr`%LFlljbw5cg1fWjkyD{0IwpJH!ga z8w}U%t3W!+s}}{o?Z4lRn!#Q`*xr{ziAL{eE-MIbVPTM`LkBXLmiIm}MkIKXKjc*1 zvJUmB@fo3f1X_WCYQCV-(`*q=71PeT6pGVfst>o&c{yyC zGOhxfq=sTBwg4%68Q5@5hlx?a*%q%UWXNx0=;#jIEBGPAoUw9W%B>g5!|}DpBOSC5 z_=}-&aJS^8P>{v`xVys{pr-Ud*P7rmbDyDm=^JjsjOY(GaIJW&U16>= z$EkxhDisYm?~`*_H`;fK$rc$87jA5SkdJvXfLwC#Vgk(dy#6hn&MN0r`8HvWOGZY&Il zY}@FGbr^eGLtcK7s03SGYKSmGm|oawjY;Szit>dxDlC2Vd|>#M6-X7(1w$K{`|`ys zNCB+B3W$mfLX-!6hdv^jGZqfXr>JCpgP6oYpB}%h*;XHc!OlDKeUr)I%I0)T6!Quf zF{mpjBoS=?t}5GO#A#d|6D+BTVx}lx$SP{-OgDbd<#`PiRLXH_VXS^)+@9u~&=T6i zJ(pgAq{L#r$P=Yj4Pp_R(+DN6#rP)b^GQ^k0fgEA)Wd*D4y$@?xVtLDdASqfIsXX- zy_e%P!S>yhS8(1~Awvw8K&KXZ5y5Y4v=>b%Ww*ohqKhl$h8L_fp&|)0m?nd@YKAkd z7gQ%F{MzIBmj(`4+Tln~jRRGp4+H~;?gWD4D~&Bn9bMd?NnJ0;Uk{@qX?Dqfn#L1W z15AEJJKr|&#qs)5L?y&s4aw-~+|*qnSZuKn1Jj5?3PE_ku!UEBV||GA4h3ab$f(wV z*a>RKP|{-T&M>Nv0VcoW`A-PIiCDZeDl4(r0Y5p8F$baeRpJU@7FxfvrnY}x_O0h| z_Go??Y&VGQn+)Phq!0c~8>~dal+B8p282WFqN6F;{)y6^qiI);-)U?L<8cLpwqz?8 zAjitAFj=5tb?6j!?rqL+*G#1wt4UgWZ45yO;U~!~vqWZD=+z47e=9Sb84hU@l?)}; zM}p?RvG+?(CM=|gbKO?hQQk0D|*E90hwX20{bRGc(mi!W#|2#jCXe~=qVC$FDJj<)D!5YN_eRjP6 zy8G%Dpf6H0n0!LLTk-{ou1JM5P3mPc{I&McH9+vjBH!_*aAy-4thEE8fEAaKrRtYR z66hQv0VAO==|(*Kbw=jPTsLcJrX+ zXP@ra;_yZMk}-KJ|L>H zIwr=IJ0V_?_L~5cc&NF~65{iQeR=kM17YNd(Y?-YmWj>y~bwBjNK z!Qgy;p3^L!awtg*Xv8$zN+99$$8MnvKUN4P6a&~PlF=g2Za}+mE7W7l0xch`d;1ZAmdu+g8(gj#!-BF?Zlzd4r<}2 zh(v+xh`ZIj3$C3fByh_IMlM;C^^1rcN0tqPCDWWd+ZdrOI2N4hO0_2Un(Q{;YY%PN zQ>|RE5y|7FMKKmI74fq9E5hbre^9n@`_x|_IXrY7=BUf7_dU1l@=Muw-12d1&x7eO>BYR;9>0Ah_DG z$8koKxfO}EhHxJ(A%s;dOOssX({E^rE~{l9m;|?I0(jLd?pMm5oS9I#Z~P(1XK5@= zhE&pDXW*iDOl8&W;3DHV=-(}yXKX@#m2aDWL)jl|jM*DI*1B-dq9Yo;DwPpuT`L=e zQ))f$9t#gkM>9m{dDwt6ZrcnqtC6&Lwf)k5<%(j;+7As^v?f_SNufMIR2K#M@_lu~ zY?2@22atE$KLUOB!7nHUUZltYfE^j$k_t(DI+4q;x@~Vz_oaqxsKC}c(Ps>9o-uG-zwoX>v2Aid# zO*0CkKG%!H%$wR1W^36%jLbN+%*yeDwFVC1qn2*J2634xrQ!0FS)4#-$Ch3GeEc&%3Pk9CIBXivQ(1HU;>59OMV!!3r~1OSODA z!2N-YWDwaX4$d_dM>ZW%Ajg(CffeZ{(A>QswQ6Bvu{EGncx> zOcrptsMnlRSCyBIGAIhPd~>hwv7S=w>pnX`){g0R8;Oy_9-{KEbHWP_SlN8QS(0@l zmPGN^QF|gf#1yRF7m7ipWU;;TwX1*1wn)c0H^(;JyEt-rYB$hTdZS7CdJD%GD4yB2 zh!Kwxo{u*uF+e;~TI1JPeM9n98$goFdcIy zHpK)VP-7)Edy(lYOO_|dd)pKmGEZYMz>?}6-6-ec>m2jyoDQUz6{XNcld6e&NC6(s z$zye+i6}>oh{7QVBd8&)_RQrI` zlclq1pwHypC6I)~!+A7RSVSa@5S@)B+9RCF2E#v75)#B3?yr+0MCCU6*{gqlw`4!) z1|9Q^8ACyoDt?0g+Y_EwJPdjWaFfV@3_Z8PrJBo&*Kope9rLC3XE4bh^B%yoxST(A zgp)`pYBcH7hZKZ2;XwzlaSz?pZF{ub9kN@Is*rGjmW_i)R z`jn3T^_df+0nSu-`HG&CY}*QH@mzyrE&^?^r&%U}5S-8J zSTmKaP-=GZz`uLpB!9-{I_#_s6@~Xrp=$q9@YRsYlnJR+ut!FQ`BBfBZa=IlkD%E- z`P4ST&D%_0u+XAa^t4dkFEOnzLx3jiQ z)P?tEiwSFIuN>u!S{}vC=B<#UXXQXSa7Ws*{9?j%d<>>pbg`C|(?MD|0?UJ;G1XDi zDN+@{&?od#TT_fu?X^nxk_%A*j@7Eh*hq%Eg@_Yf^+QquNR zb5{u*p|V+NdcObH=TrVQg~0SW9t{M*r6~}Iqdfm$cMVyL29dUfj>MVw{|?sG zU)Drksd|&9NI`@buqJ>B38ta?(dU1L4Ie8p2&J_*`=Tw?daBlv$b`ce%osI3f%v&} zXW-t@4C*pp+892cMW4ZAm!WJV+NwabPp;}j>Rh-E<0*J>UiMW1Hg{R4|B~p*n7s_> z*QfQt2@D4LqXY&^T;>16_ZL1dsLS3YU>k0;f-G{^w7Z3HVNWS*R-B4Sj5EHbxK?EP z|HgLI020ih$k^MddY0^lB~uV*csf2Od*#@o-ECR9j#p*Ze2A*~92OoBJIrrrORIyk7!Cs_hdYVQbVMlZ5d`H zNh9z(*ggf(Op3cz-nBnRQ#n2s?mYQaf(7rbQ^3TmCQXBOfm-3({3>h=(ew|oND@1- zUL4u{-s67A+u&85YCN&8U>H!+4;!iBNRw5}qQwkBSH(-xL)Vt4)0SVi31Y_qyVAp_ zd%ZMRk5(car+DA^;%?wFe@5;Nf7k?`*_4s<@ec7vG>ve#rL4F;65YQ<$v0tw@?qwIU zNUHjKynDDvqk1)akGQBeC|>~amhTs7R3r(YF=1)HAMNq*gW= zS{n7lKDM!XZ2f)qLf8K6tQ& zK=akq$F2o%#>oz>lSj*|;nRt%9-UeC$$s^Q8te>W^WGYgJY?dBu}}o#4pb7x^&P{u zp;0=Md+m%0BrE~Eh*|*Q!O)hcov?`g8}ca_`3EWTY1#pectbKN$xGX_+n57NU z{HArKkI5w8tS+Ab${g$8ijgGm=J1t)j+OQqbfzRAa3N}38-y494mEc_ZrSn-`j(TI zYnB^m$Rbwbl5g_-`rt0fE;lfF+!8GV_x6E51$s^7C5TTn&qo4eFG*F3{lQd4y%O}o zB>_iQrvBr25de>YHm@P5O-%DP1W{;Pf{f`6MGpR=2xxFOq+eIfCo`7tpojN5<>xOR zTCs!~%eN?bUGPA9l?aC;EHYn{?utgklyRJ93{4*zG6br{vv0bt=^7WiCfUyjp< zHguV8)_BL<#)p`kLs~^cJItx%hd=IAe5%z@!pm*APa$MG8(lN1zblL9C5HKCu|ie#$;6>6foy zMdTfgC1!1?OSe|1jlmaoA3`sV{OqN2VanzR`V{u08mmQ`blI?ahc0G8q=r&@W^)XfGm5yHPo{*vohQyMt+N$G`WK-G~5d5h`~1z6V>b@p4@FC2bPOyIeEnr=d3BK~uTwr(1A zieqlgSEyIC5eJA;zZ#r-3e)@T`)a!oMZ=PhZpK5Q3L$@|xRuAZoYq((@((#Aalun2 zj&iTR_?x|~7AxH<3jHOzFTh%nEK~C3Yk4U$4xb!u&1x()w3qs))!>n8Vg~lETHr68 zc#pk?lD5wukl{Ro5yeL2yvt(J3w;d!P~a>KLsEh@QZ1g6w-1~;C}Ju~Vm*f)X@G-l z3_DZfYk~jnS|^^1E@ok8<*}yoNF$u%&-pI;kv5pNW~k-`H42%@XQ00{_Ifa(=|-S0 z|3zo2!JxAjcBSd&L7RL0hBWKXC7{inLONL@*VMzZbKuRpxMrpVoc-})+AKEPw0CRl z>2L?m4#r>n1=Ln1#fxrlMq{b%x7a#7H8SDyOyiqAhy<@s__j<_xWKo;- z{l!Cu5LA5Cr28X*OY=Z!(}OE5(b7;t0bRX(7TPPWBYbDc+mKB4fs9Rb-I#@zhP0M4 zee3Lp5RGeDC^Q_$L1>9#AfOy0SjxhgHi$ureTdOqB&-%bRL)?ySaTCCzZ8!Z0Drp9@;oXxC2mU!@e@lo$P2qQSPGTlB{xmRqgC?YeU?xLK*KlteB$ZIE_5HO;Xo zA$gS(LlXqX>(bpjGk*L!=H zw0R}qU88AA@o{nU@kns+%Sy^}Nb^dt^KnYNcWx;@UQS7VX>L(+;r~-&g3P9D<6`G& zPtGa8$Mas3qX%d*44h2lz>p~*;M@y)MD={1|8tH{+~P? zM3%9%ssI`{NSnewg|&?x8%_})iIG}*LDE9Js7gElf_DfL5u}KvQOYY5S$+vo7uYlt z^Ur#i67V>fc$@V31uL<0riLvM)eFzteg6hUSkDG_77rovM9(OCK_(vZhu zosp*%XTdU93RoIcm6{`bBeVop3H7sDMnsiXrUk7J{lZ*TY9ZFf6jE}+(2?=iu}vOo z&zgtl9CD00vU=PVu%sHY7pNqur*4&12HeRiC|gxyO=<2z94*tM9K1jF1@Z64WA4T! zw``dMl=9ravF7wdV2>ktFs-C_%)K6Awn20)SMVn# ziR|fGC6wppK!Up&BGSrS`cNiAhh`Spj(mp{za^bw9N7-3bjiy|uR}nVBazOUB(PFL zs+iwpy$E74g%nO17c|&qozj+YtK|ClIWCQWr2;>kp~>`6B+K+lRmkp;Vq~qB2xw64r-R5+9L4 zh)tSTz&=_sOCet>rs|palsFyS)A4$b+%B)PX>6u$Cb6kvW+*2Wam3h`Q~LcsI{@~Y zobn0FP+IUkA6aOX%-LuKNBf=WFw~+#IQmfOQ9+YfgQOH*B_4?mm}mO~^!&0dIhtfN zxq)8}`{5dx`?I}a6uWeXJmaT@2A=3yBrGJpB$k5QNjZ)v(~=@9@pM46`r2sdQ2QF5 znA}ihvh%Q*TvaLNmlDpY4_F)&K#^`%e#ww=@@Rn%GOHp;2(Gdi~eg+K6x%od@3;Zx>WI{{*Rms>P1&UamP`-j~gfH^CG@eIbBMn*0`@eCnlN6ezWzn|+rf(s}hLxmKZ%a`nw z`;D^`z*%h}5+Hoo;^zmc25XsPPXt*}qJ3|{4G42!hfxhNaE1TZ`;A@gh*%%$pr2A7 z8o!TIAB5lU#m>g5S=9RtnKcN_70wuLv5!_9Wn>bah1ifE$CZ8yNQS~7CgoSTOdIV$ zxJGJreUCGBc=ex!VNxg&2NWn*-qJxb;*h77Dy?fL8G>lmO zR`U@QaHR)|(v4=LGinz6|wf=Ana# z5!`?aB6$cAh+v!jKONx+ztHe<61WYnRc0fAAM@dAjzd(CVE5d$?=2t<0!t6VHOH6^ z%Ek2EZSyljOeTj@>_>0-a0+e1A1aDoN^B`O;@n{(*#6P}%c-=NI&v z*WqEah^Ob_;q**lv6NgyJUR)9py0CyaDVW-Pp}=8H>2}ovj2rtKxQ{N8Yel5J2?hp zzoUs8)7;zXfW2tp&6`>m|SQC$Al--g}H2z8G1_Nr;*AE%GBS4f3EX=|9u= z{C#Tj+l&mITCXqFKmuHil&r9O)N4zr%#D*fgo3EAP&#YsKV%~u^g;7u;Pqp-L#6d2 zw56KZ?3!d}A*0npkX&CR#I`y|0GKsCz4S z?XcDBQ1U8)MN5_6&hn=;0|>DTL5GrJWizeiDMX?0UToWUQDLta{7>_7M^Z)Gw*6 zMPED{9lh*Ckv;#a{H!@|*O-r&zdYZ4gq2-Fautqz6DrSNlw1IL0T6} zL00NyIci&jto|7=%u9wSPmt{LowD*AqlJ+iRv{7kJ?EI4VV^_Wbj{fGJzDzw zzLq~;E;gLi{YleuE#<7;OS=>ufeTr8ZO1Q>fVY-F-;gK7)VnnTd1k^X;>Pcv11>8Y)sMtJN8ASLJBDvUpG2FMAZ2hCw) zgE?GbV?&C?dlzUSfrYtH{^?=mP-a%!I9o)_IiQRWzk<0SZ11ILdwz_i-{Jm;p@N<7 zgA(LZoGZ8n5(5$W=z~-fZ1)&fzL+e1v_yrSvQQCr!1rWEIqvlbgq*8>9SEy zgsn_D!yerg4{VXgNDgFQB zP&vCKVgr?0tU^Z+6R=1DDq&6^>wngpDJ*7mM*zv3-OX+U+>fRL zpT@sqJ#v}YOO~&=gj3@1BrJJ!vB1>{ztC- zCHYjLk!~#S+3zL4h>qk@=4a%S#n@h1iw)=56bB)}_RIuTx*ThQ6lp-0=?`q6K7wh* z#H0?U^4XuZfLa_Q<64>lHiraHQ#?VDe}MTE_B-S}{6<=ON`kSEv;p5fo>Lq{fd82J zzbi?X`CIp8opFpgu&DGUx#J=)t%~OACtHg)Ri-!T+$?C!f339CaO}6gj1mIP_iH8= zlH}7x(|OHYYrv$u)NgF#H3~>0q}F?cq!H5axf&>`B(M4?DNQDSxrSjONn1nNoYsul z3*@RQ)g4=ZtxsE_Ci6FROn8fBkKl zr}~N}N_xA0Ou+JyW2Mas$7SfymtOXbiX*&-)arVSV7E7h2oK$^K?M=R2tlN|#|Er&2r?r53skGL)2P=&S;cddcIrQPr_lw)>9#OiMsI7E z(EP;N4q$R^m}0aS0&P(8#FCBL6@CBg^9e