From 6ee9bff7050419074d8a243b9b39dfba04e1e983 Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Fri, 16 Jul 2021 18:31:40 -0500 Subject: [PATCH] Wordsmithing the HATRA paper --- papers/hatra21/hatra21.pdf | Bin 3012758 -> 3012669 bytes papers/hatra21/hatra21.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/papers/hatra21/hatra21.pdf b/papers/hatra21/hatra21.pdf index c5127d9811598d943272548d727e36d16eb23128..dc9232916b4c39efc6b0d38f50eb38deb2b556d6 100644 GIT binary patch delta 21217 zcmXupQ*b6gvj*VUwr$(CZCe}LU+j%-CmY-5#@N`l?VOzR|L5YVnv1ELx$5eEt5a`V zfxB;7f$KyeFt~`Ah#X98VEFi880F0EEnTgMSeaPTfUD@K0o^*XF6&$5dF2<@GpX2enMuT^0vKx(22;hDTLBgj4F)XS?AxdirP z1NTEce5vhmXwBhk-3Llo!4|^vR2OXw#9%5b;}|8 z62%k=TcZ~I-Ke^8uN<1S&s~*F!_t8N@}?^?v%mYG09;||#L7^T+d>mUL9h}52hE-3 z8f5GtU>(6GkD#J$GO3LUVIqUh8HNr{B*Sjn1CEY38z#Fn%TwNf-*O%=pMqPry446B z9@#y9x^-gBc1i5+K#$BSP2Hv(s14Hw%t9raSU*gE-M@1RpyLFkjB0Q2k8G2{q28hv;b_Q~F^zK?VP2l?K6Wzq3kz z4|$25sxj<}gk7-x!zC15{Zj7Hw(Te><%yNO^*05y-!c83#MuyYbLuo?(( z07__Ey_o>sMTC-+(QGF!-behD-))8cc$<$8j1~~H7MsqrY0a+FvWY=Js;>H}@JoTE zK|is5;~8GBhNFzw7`vc_h*MLD1Hp7Xh9aD67b$*$Cu5v0eC|V5Xm{IGhWKyNnrKG+ z?K@(3c?^WD{eb7$=`ENT&;GkKaUg>=UrqTv03?n6 zXfX~HpW5AxC1T&|eCkz){dP|dp~4LK{p!Y^LdYH?!#q#xnS~El`S8sM}ALHIn?Yv|R9FvQ1AT=!3TPXTjwCXhjl)-!$7`N?r&O{d#01CPg^}Iye zf5;2jAxaL^t~{5C^aUaq+>FUk{0)8#_Es`d_3w^cLcd%8GM1e_O)9Cp?m`pQ!;{e- z{ng*tv(n+GIk14hnVgu;Sw(vnMGIInqO`{(DR}ryesBt@W+J3NrpyLTRCwk%7U z(5s-DRkA0;>LOLWRT2SsZ`lUuyR2_G!G11P2M1>l{T-oV(XY{PKngrI+^D&zJPf}- zoK}Dx&NtQynyOeD;W{P`JN@o28^dtmBXHXeG5_KSP-cFxdH&OM9SXLaTeKWM}C~mWv#utD~0@0kaVAk#?pxVQa-Ti9K_CGF#+qY=#QmElwHo zcqwfA$R7}ZA%=!F>bw5suwbuvWetmrCC2J*FcCNx2J9iInfLIc5oXs@=RAkjaN->F zXE48%i-(9Zkb}{-Gh=z#qm1x5RV%Cv!t8pi*rX1+{Jsji0QgrfGKog0kLwZ zR-qKhei1>4Pyt&Ia~ZUycAqa=3@99Wy#{zdik){}H1*hsl;+Szd&teP?~g)2ycL$P zl>bpYNjFD;7*rE_FJ)WZ{B+)p^WSQ^ZBjWU;$?OJMUq}gIFC`(E2~sDYfijo+<4m| z8p2t?GdP6uc;dw!$#7#VJd#3oX-QLIfT~P;WxCoSD@#QQT9WyqJiSZyFv|k43_&L` zbsorGKJUJUnUCt_ZR{TnihMN-3l?MyZbUPi7)*&Xn`!n|=h63WnMnxL{-qS3_DKn| zo!XL288{bGSe2znESc40a7a~BR-b92PE9a?^${UCFpaG&q*!?=HV1sh3cJUvd+SGK z9PFuenQE`3+c8WrP z(Pc_K*v~oh{AG8NPdwfL^175goMdO5tY)q>GC+G<=g3>lskOu;Rsm5;zAu`06-D!l zaF=>ji^0p0tonkJHwbYkA(LQTn{1htgfBtK46(zvg-?q=Dg3tW_+x0E(NqHDnelI6 zkMemJaVB0j)*K7F9{g_UDRqZ628AdtIR?1au zkIY^NX8-m=@sSM!2e`PEL)F9kJ`z8|7U8hzSzGl8h5zJ9$Z9{#0vk~F9>NCLKFSHf z&?Lgr*mF~fN|Ej!-7qlFGTIbKeb88#jc-$O;j4^>Iqg&;y?Q@CdOt7$EzO^m=qr^^ zK@*}G9u9+pVL1=b$*_(N%EUlfvgxu4fT$;K<`bEH%QnU+w0E(%HjW8SIkDFT++iKV z3J14kWf3jZ=!p<<<}_Glo>Bnd#6`G_)|vLpyU?gXOgZr>cI2F4o&KJN(S8C)nJ_RM zX!hz606T1yD~#*aE%D7Ac^+m&0AIYjGldB9@yv8@7)ULn-e5dljZb!D^3Pe-=Z?wl z5EruE@k|jRFk#Nd5^?5f;BlJ#5Zig zPqavbvEv$~c#Q@5yvLDip%A)B`m!CkNX5EjJ2I1hg%yji_pBdEcU3o2PMj-J#jr}E zwlvWby`ctfa~1C5nShuHq1JfzAc-e7O%;bw&^|;js$zI8VvV2##mvN%M6^yvj#izI zZlCfH!3-SE94cA|j&1*Q!!*39-`hKqI0VAGsDT}Ljs!e>I6iEn!~HF$+i~t=)`Ln) z@D57v{{{fn>zmmo6(CcAaIvHrKhaYGQnY20);UmmW@=}r)D|O%`&t=wx45?4XwCKFDzNs$?G4?@h)SBuMn@dub-q(@Bu!pf`7Sgwxn*QioUbMuB-t_ftpVMHqv10 z+fkXkg_89_ni<~@@TUjSCI@#?v3KR7_R4wV;)MrN2nMtDo;N?~fy5V7ZPgVq{+ zbb&sKFw$x*UCibMA|Y?{I{{Wup48*wS~WSgaDP=<;4jskIodS>Y%XP` zxqmJhvW|SjtYSbg)wFNMh*=Bb+g?%>*vE+Q&gT;UB7XTjuKc$^Oz71U%iR`MCiM0{ zhgJW@^7k6MarYf=HJ5_$*vBvGh~Vz{+@Qdfwb5*EzfS-pqT?O3;#M;NdpzyZIbM;1 z%5dj6qtW=HjC(~1MsOV;H~wBLMT+Z5LR0`*JMYzf*hluJ_Gt*WgY^@m?aM9C$9z-Y z&8I+HT#%N$TSf-=t^27%xx2=pDa$&Zz*v(vxtj<6t@1}P8MaY#5mC1T;7-)K3;*w8kq3>&0F+m*k_MO3iNP|V$PDx7Po6oq z^hXus0ZHmsa|gCx!#E;8J6yLv4x}ssMus*P_10Vf9iM0obvFWFimP1MqgpX*CGg-t zXr5P@0EQBF{$X-d$Wo-v#^RGy_buEt73~*mnD)gnaaO{h!*rbLgIrjF;#44;Yge2< z$DFMfX1%5UZ_%kX)XOOe7wJ5On7+u{p!5y{Ye#43SDng8e871LUa~Qc2(fWiw`fff znx~Zv&MKA2cHazOl6EB51TpnW99u4FTVNjY76z09HNFlQp0!Gbx2EdSIRB)q1WFVZ zo$Vej_Gz?7Q+PG3nzXF#6g%X*To7?CaNew#Tvih7AM@3_ z$=5TGpVQ=KOQ~M;qo3QdJT0XXV>7GF4mLOju`KCEJVH zD=(b`We0c_`gpl-!{TL1JK%>)TWnOoT^`xaGO5{BH;F@x$4+uF6kXxYr}ov(2Y#;r z_gzL*^Qc!0KL#cCY>c2qxgLH%^oJb5De4V$q}CANfp5MvJvcc&-Z@iG?a+|fxd_m7 z%UWIn;EPy|Id|2~FMyDi8;5ey6Asu6gWb_T>;pFM!LqQ4W}_@Ep7cWw{Z+#RosFN| zY%a?_>ofZ)YX0fp<>;kO>Kvwx@C?@#y@-GSFg_XpP=^0yyC;sD?FL82!G$z{x~+$D zrUq$(pWmZihmaB+S^&EFZVR7qC{7TaL#49AKXCLyC8`Ji^hgeNGnz0(dqEbfKfKkX z{cLB0cyVdpBRA)@vmHBXD)4r9#aj+bf_mF7nC0j-s^Nx5YiNoJ!=hPgo}xMQoossm zxMfB8TrpVjlv+9Xuz>D$j%uPLCT9==;ICqJ5{(A{g#<6J7) zb#t65)omrzMU5Vc%YV>9U%{f|E=>Cb=nydCgA@7EctCPdmkQW|Eh*D%@ol9k7U>KO8xGv$_5DX7X5* zTqYV-b&L8lYs|@Y>Xra>Qv+nq2 zHwib^SDXvV?{>oiearC6M(y)l3H3e zfb|v1aw5O-0YE!|*QfVNLUkJf;6a}$7SFv}sH90L>ZjhVF)Q>94@K!rkg9s+~6b%^gn;pmVCX4%ggm zaqM53bl{JU%~h>cAC4Y5QSYGI0(Q*CMizgsO{O9SW-TjV-PLg`0J7t$EZhlEm!?Gr~*&a93(!S7>~*cbxEc8eq&Odsj67p>VZYXm1KY)1Y*}$Vvt` ziY`NeeO~3+aA)204Zdc%GIG9-OF<1)c`-(-eT6raLLXn5`S)8Z@0EM!8T+CEZnZ&( zxJ6&Bib3b5+e_GC=2ti_)H71BSiE+qbT6g&TYmLYk`>NIQ$KPG!mMWp zy(GGm3a_+TTYw%0U{Y&-!M!O3mGX;D481R0a&0GfzRq#VK|Bi#oSiqSU0kV5MzM-c z6@@?#^xpW&4BQKrABI!@=ly;plk4KR|wf{s8*{{sZC%y0sjNx2jUN;AILvYexUw9`+@!g;|JystRL7vaDL$a_}};Ne-Qj2{6X}C_y@@k z(jR0$$bV3@qT^9cwSls6asH>JUBtDETW@)N|Ab-uWWw&=AHqyf2`Km*#x^xu(0Wv7 zVg(~-Injcl+o7W}zh1j7Do`voez$6$Som%hS^W3-GbPsYT$|6w?J=#hQqWJ{oJEyP zl{sg#+Jc0bTGo=qIE389y*2w2Yja6{HPwy1*H{{F^9b=C7ajfm_$Id=a3bGL>v*J| z5vv`zPSE=3hGBZ#()-yM$-+lCuGfF(rhCblfb4t?e3 zcGMWU@k;XPRsxSkD{YSGHDb`1B55-PVlMc-__w`y5QxeFA~UMOWj-Q_%&>{V{(5}_ z{yo%j9UD*M8$4ocRgw_%%9OkcPh6L+*wDowr^bym2p!s6U`Doiu8p`g^UUfu595HD zb#I5~@49-{SjD$?Kt;Emzt>7?bi<~=UVNN`cD3jUPGSAR-Xxz>tR-hmq8gK$cFk=} zbHgSR^5^-}A+9KnmN@uWh`Oypx&Cv9&f&V9S1-Lpczfgg4IKcp`f28pC&lX=i}KI> z2Gaz{rdQNPHFE7*Mxwf1Gd|G67${0-7Fe8&unGA_I~X%1K$}9;PqB?erciIgTXz7P z&IXAC%^KsfV;CY&Nh>|IWgbYPs6`C+Z()s2p`FP;kwKxhTh7{z_rfiH+vugM*#HUj zZgf*p;^0SGpQ91~eDL=1R)xX+ga=Bah4~d3Ko6tltB5EFMVsrqwb8~FoDM8R@D9$l z2Bd9}ai07QV9nNs>4t4>+PY~dM>O_ak;B~Ocigk2xPC3}MIb~I2=dBdFr-Li05(1H z=ncfbRGlV%FJh@~O!qQ8D$QC#r&;7;IM+Z4#Md6`r>W+jj6fWiVwU08NfpiYl(Yt2 zRYPzI9}~c0Yi%MPA~b9852nMFqtHH|@dgT$z4g%w;2f>Eih!rgY^1A6z82iN9E=2f z7}=B@h>6vr{C>r%VKzn*7CwoX7IR zPLfLY8e9+wQ43M#0!5TCM>aaHTT%u}t0K9x1E6De%iL-UHf#kwt{Ah2}CA<#xnElYxw`j}t--e^%J3%pc!VhkhZ{(k9C5{s{*O;8SQhpDpa@ag`0xf_T- z0$>tAgLBPg#R&?eaO59a)r>gxw^RQ5N=XaGn+t;@K`x<)V5wi7=&a1E4PtCIIZqF- zUp4V~+*iD{g-%){qLAi!H%h${GBdS%Z*An%{5~P(L8zR9k8=tc<*C66l#9<4oD|2q zoM=f;Tr${fBg5-bt`n}G$ug1ACTfuv1Jpt|WMryg)Tyh)x|&zDGC#W;mx0C61~5Pe zHtmKtFk|syomzKPrwBkHQ|dKKG0|NjUy}OJirj4R<&k8}JGml0g|c-B;USKB$b6Is z@Cp5L8R)wxj~+%0rDKbR*5b3%!fO}NVCJ&ZqLWU13VFRpyHu&;7^@}QEJLoP1Yje{ z5Zq*pGdTpx(So9Z@hK&qo`vLgx|pZ19~c;;=n_mFICeONX82~0c=uah(3LA#>eJb{ z96RcoKIO*I(gQ1_BnDK5cmFofc92|r$?Cf(CEM=?G;2%w8`@7iImwuVlXo}z3CQ3g z-em32MKJH1T-1nG3PH2>H)6fXWb zUa$=&ZX*wZ%t0JhmLixkOGAqIH{HjBqUXu~(}q;L{q7ybMSTx*l1c?f^y{1Dq{=FF z`LfPS`%MdiRd(+=P|bhovm;cnVtvdy&D}UuLd)z4!M<-TLe=P&N~i}NA)ZyZo+hu$ zpttI%>Y=Oq6IhZ*^B~e%0Az=4EACKVejROK;T~ddEtl3jqR0APYWS$97NoW@)x8${ z8AKqFLsAIV)7OT1q<8L+ht_3o<4qwycbslZ0gXwbJy;g9z zt3gz%5TH65UXl?`xrXVxmF|qfxGPrYhk9I$z(B#{Z_fUbxIg+yK4Y;UBf(%xxl+&j z3K`P4>i=emUsa^Dl$%fp3s))1sd8rR@2D-0PMS8*7OD4~kP8KyL|H20Sx{Dw3heL> zrOI`z)e!=kN|k)8GB9QQE>iyO^<+cTTPwSjB$W~r!nRS(9GL9j`lP-V{5l_gpeQ_^L@1pM7>7|E;mxT)O`9*Tt4_LF01DErW-cW4?W!{sR4d&)Mw8p1V$6iP5dJpFtWauyWCYlilX!aOtD1 zxy)t3=-#IZsqekN9J`=~&!I;(J4_~4=7bl3@9vpY0N@hG$Wl2{WKT zCvE+94Z>*wk2)L~mL580`OWCnT_!AHi z0nV;4UmA2yOeP%dxU+WT)Ok1viwV5c;Vy#0?*K( zhLe6P6=>AFyvOyQ@LmGrJ>?W?&D5h9doGU`u6>|{{!c<8{zp8QdH~~fgl)n2mwH;><{E`C$l|30VFK5wV zAE_w#zJ!nB51Qihdh#ENT>CcYYA={4GYUEUat~?Bce;TJ(1Bbrt$~qxK1gFD0Kled zydD2)!h2f=3A>CqMWKzYV&eQ}%AEZVt1EDo3$2H zBGh3~c^#rq+L3>KPvw(!%;9bNF@OWgjdEQ$z-J_`DHx$oI=p4aVe1V0Jg~>fX_lgy z*jza?aertjvIqIq^&iOvi9XUf1O`3(@6ri7+OA~h3kb!9$Y(U0kt^HxOPU1N`=zo&i)t8w_ zm!*-NZ+Ls;2SN}EBJrSK&OHsb5Z0T4KMo`9=rEXDe2)8aemz+~rcUG-*oD? z&n-`3$C%7S6B^f;$kpU6t@AEFe<)$tDeuRWrPS!3hwrhY?>VMcM>o3qh3|K4?Tu|t z6TZ4QxhK?QWmR}OKONnLOQI#*_XZf(XmF3A=3>ERkgyz9!sf=)&ESXCQp*+%htaKC zDN8sf3`7)3f&z#(JN~Wf|I>s*>pQ^deOx~`Fe0KqbL+a>BUiaC(+)2O<#hl__&(l$g-rF|?-C-Tr=7%tdoi>vI}ay3_N zWtF-#k~U}F_O~uJXhL0LL&yl`=sO)(^{PFu+1NQa8V7s^fl<7@tqGrXY@Jsy>Ihbq zhlcc9ySlX*w2w^GU)+-6PZ*>I-y9NjIAEj-cKSZ>x;LULQXxlb{o$h&xm~pQK3T-= zSR2?uq?Jh?*JyP=^9M(vCvU1)WQ_a54sdMcBcW5w!s!A?M-eoqNJA{fesnpObr z8j4Q-n+IoNZY!_waJR&TJT ztK@gocoiDG_KURp=jZd&(TEusoJCIRiUAo(lT85|%yK33LK$GBT#cZ(!SZs3d&J%5 zs(BM$rPN%lq0D$5rVpxMGmmBy@wqEHDue(;Q~*Y7)1IOqXac2ls4;bHtYj3~#Kl2S zF4olg-=IooI~E@GB38$-MRi$Z?PC9K{fa6_2_Agu0)xz~<10IaVa_VVA1<-wb=?nr zMBh^`>0tPuo-68S>=`EB1ftTcp6jIBHT5dq@nXhM6Ql;t|xS2&#Fq|x%7 z_5dDEou!~uw-JilT1e9Le$*G#&TiVWO z_XOZHF=j#B#QO2EcZbcd+S7=iFQ!-#0wgiPT zRm^?u?TR;{d2Q=kZ9$-7WeL+9gAc%hU0R3fxkPv&ujng~Pd3^6t1^Mh(#?7h+5k)X zwUuYnj|fkw6udSaz!Mn%pk3(IsmB`GC@R4!2h)SCV^fDVxEycX6;`FtVjcTQ?|wg9 zf;=Ev72g6MT}_^b-m-{8r!QG$Fgzo`gd+jXarkvtM=v$tKx{qb{7UZ26LHwA%CXmH zTtjQ`vCr1Vv>F9pfl|l`O9&1_eg?3`WVn~k>bj+EIM@!mi7c>@%Xw+j+tjvpk!W2jA6?Yl`ePxU`-I zz$X;UJC(`6JV}r3*NjA+-gk$DklBf$!%t+S(7>a$Oi!yIepyWgJ;KXB^D??i4yAt>R`&1LADpRIQ3#T#VIYyv+N5Wo^v8ycv;pH$Ja-ag0v-EunCp$__t?NM8TrHPKSMRTi9nP(NFFM~m|SkI7M$ye#+_iUt& zdHb8Wfd)I1Nc!ng;}#G*qPa}zd^0hqICgGV^=lmxmDg|;l9So-t9~Cn0_K(K3S<-e z;^sa<$s~bA4FKr79U1oU__`HWbQYQxWS1p+jbIW?F$ybenaSW3{fpAK4=t&EEU%1x zO&aL^-RU^&hrT9kaQz{IWOh>!DTs)O?EbZfMzg7ODd~|RA+oN6yTCL&UqlQxS|_p) zAFR6~+&r-BpyOD~8c$ymLzwA2b%ODuPz+YH1Y2?J2Ea85bJSj%BRB;#h4mt7%_v_g zC-w7!X(~A3^|lM93~q#FOx+7) z6KskA0RbR5%66|930{>cD^A2}!z|dg*j6Y6kh4UPNcQC}7^eh6w(X?O2whiWMXy^u zwjQRBh2jjQzL#9j1Q@{as2#DdN`YRyf-({Ti|Mr*unHtRN$LLa#PpZTR<1^K8JvE@ z#)eBAjCKN_rGEIxsLyuHNi6d)Ntc`l%sSxHip&n~}gnYboH zZf~VK>V)4<*nT&DOtK$d+es3o%SHX*$S|vc+N_x)u^pGfi9!=z_On2apS-y8`a@v7 z0o6V*8(pvimL1g|knq2pB=57bZhXaa5JOSvwRb%JV$MgRI$pi$5y_~gp*jabbwoeU zf&-i*`Je^*kvXA08t^P6Xa%TUcc_1BBL$437pRR$@(JLatHK}{VAPhs`+2qrI1!;{ zD{*UooAo#2R*y@SQdCYx@Ak|-LR-!kV+Zgws_6+Zf#RphTlFq`e69Y2j#*CBaB}}F zh~0~1R@XWsyf71R7IQqxW*AE7Y@vM$CIzq-L2!jwtFS1dl4iTe0VUB`*FD%O#KfGZ z#tua=fHedw-g2ubQnv8 zb$507jG^8mmS#}Hn^a^s3hmflfyBIWYrKWEfsdZVI%`!YG=8E0 zm1Pckr^EvX&%u%g|B9E?aE;?uEC4j}&sZ-)25kk&m@8t^w7V+%`vSbGy@$Md8#aQA z+*H=Fif@j9$KdqUiduHv0lRAUtttSEGE-hJv5MccC| zy0F+M^K;nqQ^UGnUp(spMR7AKR3N}F`o8}JdHzh3goiQLqIzg78 z*86@X$7{n2$;&43Zcc{%7na0v2AvebtXL%hA+JQHEl5rk*4|$&4ClfIq#-(tzi{o5 zg7g{I>} zv&ct-m7qSTM}BkNf1s6M-B1ElSwy;cAJ>ZI^iiXid>apTLWAKH_grFOko2$%6Rp0a zd{b}7xdlVvEscPz?ru*UQv(H28M&xOvIm<{Z%MMo_6lMG=4>7&HP-XTx*vUo+E&<0Dku1h7CeRH8UMsL z5uW_`F^B@17xUhBC5cI)WS_@#3Ei^LpUSP;0s&3u_XJ7NJf-eYDgO!SZkzepQ!9J( zh4L%_^UHw4!S3lGIEzJd;((%s*AMH7pxb;f-3ds)H+m|+V0RkOacqsXjRn$AUUjwc z&YmhgJ0=^+thh0%H8UZ)uFqA?N%Pdw^YFAMVH!V}D#YP@u}^cvVtf*d>Gsz)HaQDsE@_YZg^hY>@}ws8<_T)g!vy$cWI_j90aZx}r=t1_KHA8g+VWFfzo)J zTMdT#X9iggg)j9kibz`HDjoMnCQ8Txmf5qSWKABOxc)OSy|0n8`-JKU_n{9{yUrJXvjOPb0KvfYo65g z$q0!@7njFf5KF1HPLaq54GAM!BUV+ftVx*=jb$BeU&o93Eu9vIB9?L=IBsQSa3W+^ zqjC|(Zq>wMTw9Z6rx!a3fkK0VLGH}p5N z3vU%Aws+2KHY*$)X#!fE!oj<5ZPRKGHN1?Pd5xmC85j3+tWc$Fm0-0#uAuhz6JEtnEcfnM!6PcudeWik! zgt<7iiPr&>V61&AkNZx99`4R2SHCn?B2s|xAjr(o@IyO5K&jd)CmN$W*Y7JQ)~}Y* zW!r$Ep?5?(b5W2fjZt_jQ8u!1-KlTlIorI?-o{a_H3#{hT_^do*}>R^`hg-leqV~& z&_=n_{UfZjGdtHwdcv-|lGE+!C*&AJk~F+LA#n%TCCcFUuBubOX9Dw>3Mr9ri9%ew zPgb+MTkYB7Yz$y&dxUjzp6M14e#O533N~!1Xz5kgzN+lUd1g^%^CzgJ@ypY9exe3Egp(7qDHohj~du73`m$CV$jU(*KPF~-8Wj(r%M zjaQiyrh0ZP-zYS+^}M(M0o7M059gm2hHbzp2s>`5H;vC27TBS$D(Edg_aH9XLNFqj zh!h{phGIj7kkwzbNJUi%lWBZI)=_!`cO*tvT;)gi(yZlNM53$dkF1SJCKfoZ_d6Rl z=}UZlVH@3vhLHFwWsUXj4T~koNuj3or$5{VbTIEXWTi$pEP_~f>s4=(srsqYwzh!f z_JmzGjz~@;NY+%55ib7ZdW-2HMWyaUDg_XXX;e3aZRRdEuBl9mTuz94=8#t_sk%i! z!fC1eoh|n!DQJ07%9w&i>k#}+*`y;P7`JHnod6ZP;H#qEIY>Ocsfw6u(E2JBd5vS#mux+scB-?e zSXwBD@467w$H*2dj>I?uv3*b6HU(@lR|pT;)-183R!d|_(pQZ#w~P2mR0GJRGyf9X z=KTvoR2I?3V!KBkrLekS9hsdk?(Um!SNp0p*&K>WApQ>p9rE2(C9<}1^vmPWG)@`A z@dS`U_O=K`iE0oR`l)k**~EuJk$%b=OVb- zX)PeYhw!|}l4q?*V+7Oxafl=hCKKuuIhJvFb|NV5Z@=_^)i)eTlByL+k{YK3l!N=f zh4N5G*8z7F-T$~YeY7pq{i<~UDqq&DvJPL=J*YTJS!qGXL^c6VoW~vD*Xxj~<7BQ< zXja0A&c?g3$;x`nam?aVr9=W#DULD*Rec+W@XZZ%8OnSDvPH>IPwA_E*^xn+q2*JDnOH+vDtJgw6g49pPVAZ(su_k762Ueqg0baD-c_HJymKC(KxcF@u;_a5!cMlF;h1W(7nz!H z*dc!>H5l29r0mMRZD`XDN;7_U@A4AAe~hwl8&10%N~1^LR}a`sU7}`m!wj!vr)5-F zA6`b*OReo8`84N!@A`BT1$=wG+inQxHl^#&I4z0z*#Lg)yjXi|oeKwJ>@;-Kt)+y~ zOBh}eFK&q2gda1mp}*6I@zQ@ay00qg7uJTyt&M(Sd_gSVoqrJMUFx^3Ee>yC&Uaq; z0M+P99W?OX#cno2oclO+>k41;fH$9`KUg^UUqsn2uQ!Y*-LMsm7P5b4m2zQn>8P=OIx0B2(n;Hblcjly%XWWm57`z zHlESyGaQ|H?3MVfTK*S0jUAmQ5F!dlYSd122fL16fk}dZt)%N-xnIQFPc!Ga8+kFu zkDmVE-->;?d^NQcfauly9uqRP+^(9Lu+Q!>OQ*t{KJqq)B7p~{emGL_fq0M>UIIm? z8R&gZ25hxcr0x{nP1n*>+kfq)_a*n>ptl9f!i{q4N!J)<_s-uoTwflFSMnB?k5xp) z0)Nx)q^|N#oJC{s%gOYY+KL^DT-*0ftqOT0kXz0{%So^M))A-8e$v7 zuAL+U{V;QqorNwP^C#=4dH2UqvU=D_W`A&lE&d9iUTJ)P+@WtxDbJ6o12ibj{n zQ=~~RZu_qa^Y4q>hz=U!QV;AG5{Q4&>evNYn(YnTA2UdsBE>`R62;tVP&WE?DJEEU z6@TN|ZT@<71Ee4az4Y-F6(o~pa1Y;%=vS+FTz7pG~HZQ73R0+hM%rdF!qF|{J0ddNU#aqZb1I(G}Y!l~JbEeIx59H2|sUv4V z->}SmW$6AIUi!W}7X+INNFQDJ66HC~tPRwnbF(xXk(Y zeZM)59U#?Xx<6c(=*yc0x3xG6&9xpZO1!BSH}QYO5?5nT62N z0Ii`X{E|_I>?n?`L8?Jr)mlOrejKf>5C8Tr1>pNE?O1Smrv!8k!a=X7TlcGgcd1Oq z{JqT7WulP8wl3Dv*3pq>AOd`aEqCi+9K3rqy?fj5{S108Ku|i9GN3O^GN{IxqyKZD zslpKw0}@iwve9@n*(BPcv-$T~0D~Qx2u(14D|k6{4-2*3)=Sp&+u76AN_bZH^yTM7 z9H8u*B${h`t_0)Hs_BcJSjQ*~5EL%po8VWU)ml7$BxIvSpHbuE zGeiW-6+dJI1D6xpOx8uYF2{mYB0H!Mj0hll+B}^vo`SFsXtGFL4CGU z_h;jO9plx`<#05@tUDaDGadEkA1AZRo$=(49li4Q67s(oec9;)g-`X);tG?=$1?yP zUuO{Pk!$k1RMzNyVTcXp|9}C8`5QmpIdVV?1J(3Uf9KJ=_$ZxR?2P*3^Ka8kgFG`~ zKRXM&;AJf$M$eCp4tS+UoU+somBA$AG3OfKyCQWHKz;?>+Dn)VFMe9O_U&tdQOvnTLFA9^Q_CvEpMV?)!hExlKN zq@lC~`~sR!4B+8&`F*?81>iZqA6o_U!UV^NV59J$KUsc>29AgrJ;YY})Qq7j1*l%| z$Vy>WKY>lQM4exFDBlMyeRBs`^(2F{#+bLm-;;8^8=$SEMwB9_U6Vy*~GJ#D)E)mIBXkOVPlcaO+yuskG~RMCPu!kRG<1C*{%w zqIlVmpzw)a0php*R4NBTY2*bPb(|7p<5zofJ|o(W;B3^Uv;e8IWFZnW2Q7eqWCOJ# zP!k;9v2X$JA>o)=Mv%+5eUSiECQ`Zdfdvgv@c?Eg3L>)>209cW>&OSt*T5Q+Tg`<~ znuQEjo6}9R!Iox#y<-EXimtO*g?d9I4E2*oq4{R+C7+AFEt?~kA}uN8jdX?jW(#*r z;S5|a2#C<};)YA}nk5yHemInWX2}v3Nl=}1G54aJPU~fhECvGq9c2r?7wqCv7QiA< zg91xr?B*74-g}pdp08`Hw$a>uSg+`~;jZFt1huAl?it^9=ZDVoDc!o~PQq%*QeO;k zwU*v8l}76j!71)&t60s%V|U;LIK#3g{AOQDWt`ip6?g^|AOzCuv}>#u=GfLQu*7E7E);&T0EzE)V<(E$T5m7#tXa>nG|J~Cd|=5; zGv37pzEo|+Qto9H@z+HmLZV`LS~c+Ac+S$;8xMQR-m#(yP!SqK{f*#uUQKt%Vi9IZF&Hv>|^=1gecD z8%MBo20;}y@QF?czgb7;RdH}dEtigORV__!nhlL%Fos(vH9g~h=PexRsx!T|wAT*x zf9*^S>)(oUtf=MFIa7=a#Q@TYMXD`fH3Me4MJB<;bSm0!zAlw@Wb0A{Q8gl9ou5`q z%b-eYErV&S*Mmi18u5K)87Kl;2U-Q_Jl7@JBrjr5L|6%vxuaEqBRPp@4Vp?uapls7 z;s-)etxyQnMFd5EZJ~1Xd^VKStMpyVpv!uW^V`Ok6w5$=#JGq4h#~;1Sv$%4H*a$z zBGy83ZdfLp>9L7Fy#Q9%Uzv}NP2T9a}h$H)}g8tA-fPDm2V zKWSbtAQs1<%D!YUKn>5><&k@nWaXw06bBHZPDD)~&!WG7;wufy8nG>W@x8@6&|ae%+s6ygmZNsDFMXTm!mS&Z>6E z{vA^e-8JifBFm}!)qqD<&c>eH?@wRW!}E*fEf?gw9j$xvXx<+U2fO3*QH=)%`R2U7 z{26AgCx5vfq!i}3=+Bq|d?y$B0C7Uo>86WKmzpj&-EQf;eb(T5IK&Ft>D7bF`^c$ zp?p!!DgG{B$v5&x`BonDTc7+@_T{M@$iZYZ8RL3+*_UUsmLKKEe}0tb@y z{3JiiFY-V2Y|`boe+a+d{ks49&CeZv@7>Mt*f1Os$STLP?QlGp4#(XFj%#Z+>e6kN zzml&zEdS{i)0ga?EM|q@7hk3q_4sSHHyqv#z|Afr<257y3#}S*wwFS0yi+1VfHO3mn-cpIDZ7u-Cuv` z1CXfnh)1a8L~@B&N&JxF)hCp4{E{J|T;LlX5ULc%8%1cy%nc)qGe#&236sK%2)qf! zh%!l-Pf^@cgasZd^l&6J+8N>0^NCLhXTF)?6D~wRd``HcA@Kvk{m>)6AUsrz_>u@z zJfdDe1V?=+B!r}hlL#3iGJjMhlnRLyMEFb*^ho#tiYX!jbVM*BLMjP*Ai_YQIh-Q> z5%-9sIBrB3L+A{z0s0ddF3=sEC#bjNgb=d7eL_2v$)g za6}Qs?Hr#d>7i2eOOUiPh3}JSkrPo)JUB?7$e;U24F= zKGE^wu|OOsYYduq`;7AuOp7RqXXDi((Zn0UWucch$nXe$uVe(nhr`DxyVM1F2V*#Z zLpXwCn80T^fhqhOPJiJH&fyDuh2P);F5wEU;TzmS1ov>CMYHd^Nc2Nd-)BZI%wU!# z=?cG>%Lu>M&*k_W=4p~d8ECKoKriP}{s{VMmPAWI(DVDm z&a5BG$@Zzd%^-(dFXPgST>nJNdHe))JZ4%$@hgQ5{Dfcd1kdmn{H3#WuUx-L zjFeLmVisPEK7D#qSe#C7PmZSTusC=vE;tLSxbUcO;)04+T(F=O7j#QpQ0_T_VZz4^ zj6)2GGYo*JS$|tx8@meW3%MB-E&nCk#sBle>+7rQw*S*%|1k^EeacGrgOI;?uR_)G zUU@C=Mcey*%9^}TujECU6(%E2Z7y739^BX*XovdT(o#ooD{kwkZ34E6%}&(S5!Q~a zZe(Fq+=1CIpKpJgoWC!gmT~m^Fr&irkRDU^JnR60Pk$Xo1J7mDr_^B-OW~GyQqtj5 zdM=;($0kbJ{-|C2`FwTq$MiG$lRxKM-0{hND6skm*#80^xK-0{d1D@5ype2+H|9m- zjo0$#7@{moe>HW)K2^85S=;>kGAbUoSIheimZM@z1xq$Lth0ED zX@a{I&m_v-n>e8Al{SDIhN>$O%Tg6xw$i<~##;EY|9P9p>uH1) z3x6iKU52yL5d)uuXvFLSj0boPOWY-D{8sQr(;_r{4kxlTWNp-J-1X}mei93^T@w|A< zG3)(u>Q#EZ!ep2uH02F=L? z;k^Ya-yQ0f(^m(o^m`ix6i5IB_49v*+7&wPy*8Vwz$8?=rE;y>}+ z^mFSsZmH~rdaS%sue>sQ?ex+wn|}hUs8MFokt#_II#QkeDl@7PjB)Em>OdHi>hO)A zGIO>u2j%iP(?5x9qc25iEn3&|yWn+)FMk(&U$l*} zhHloTyH;;)u>l8JLpSrbOH!9^Hb6IR=%#8=O({75fHn-%*MgO{_-^r3gR?xbHcz}` ztXY)T)3xzu;UMh|9^uh3N%7ER6w9*Cz-hdUiw>YILU&ys z?6j-#*V8>bb2#R%j*h1DEJicbt9*Ni7n@9fm_=)IeE7gnLX~gUSSCNvJ)%PA*}Rv| zGdHS47qVl&p4P)?$HkucwcODsk%0kOhY$$wj8Ml|e#s|`Do zdf@6;=q~N3MAIy651}$q4{h!nS!1301LLTb(SdQJy0`oels;59;U?Cat8Z3qz)iHU{8!o)%o8?8tz zw9)(hHJ|+E%*>s0@7!x<_Rq~~%`H1?8MB;u>E~mmVk9(?95Rql+e6Ai4ocK^lU6_# zG*jC}S_!K?poLl^X*H~YBh(s5)ldV+sqG}Kg>`U(+741JtcR1-3Zy*L!5M1XNgH4z zoTavnvJ6Isk2O5RO9XR#(y8LvYv&eGko>#-FLy4_Dz7w0m*s zo^BkY1Aai@R|M8MX#F~&!;9a?^xSFahI7yZy>P*c%Ww3^4e0Wub5xg?;XHrbWKjM1 zTQCH})U-iH;5L`qG@~SKl`)d`)i_DpYy$3h((_8+nDk`izEZ`L%DmEDFEuYJO?m0> z15z+ge@&aW%miJ!mtPMkWjuZ2N?A`|Oe*C(ookJ6%+Ey@CL-_ikq>VpAD1Jao<=@D zk9_HmeEk#o_DJutuL4^jXbTzWFzNK@xafT7K$JcG@iM;ld(i#^wrygPmu&bg9}6)# MGBXM#B}Gq03R3sN0{{R3 delta 21346 zcmXWiV{m4{wg%wX6Wg|J+nU(6tuMB1+xEn^lZkCj?A)Al?yh>Oy82K5>fOEGTK(s? z4LJ2*8*se{1O^8oBcZ*K6$~#g41=txowvti-yxq%T3~z z5!SlqJ^Bv8IWu6eOyIoO;$MT`$c~+iZ{Az+XxXyx&=dY@KH8IQT1wRDvP1{oj!`X2 z7gN%PW@qe)*h->zEXI3#&VAN1tiqbU!`;#6^6=pBG*wRyfV;Q9EDj?r?HNPAoUdZ# z#i8r=YB?;*d*NvR>3VV4zD&!_L`)tROgQqm$6=EZLNO&OtXL&r(FLV$yy`?Y19XYhylNWX zrjTj@e&V%NGi$n2GFK}K%(h9If$jdF>KUWC|D+Sk264s)(SZUH#5RA1l*&CsD`2Cp znX}1VxtRA)noo_qsvE^0Rg&gKE%`HM-1Vm{xfQ?!p{QKDuUM4JM)z=P4*XOIK@nQU zr?j-tGj|gFbF)TZ%wr{LXZC)IC11y%`G%?TxH#X5vXqT%coo%BI;6R}0Sa2sShOe|PJ`93`IqDaGTts$y zf-&uy&QW(}h$Ih_>IKY{?O8<)ZWJ2OKp`Nu6C-au$_i^BB;Ka`l{Sy23TBX2j7_yjZITiy8|F;gX7=RtlgE_?Qjwv=9L+crl5znVwNNoPL;v3%k=M&mLyfe3Q>P z@lj{h2q#hg8&&Vls4t;SZ7&Z63@8g1KK*_3k3B%bJS8%Wr_46Ig0%j%{mIXo3oB@y zRJFrbtRvufkph$0cU;px0>lA( zf0sZ!!*YE-{sP;zx)g8JZnW5+G@QY{MEFwp%TfI^H^1O^KR0uRs7Phn%lrLuGFPV- zsm(+=3|f(VaZA~ps<#V;Zh*)LO-}E>KYjl7^m*c5Rke{dkAJ+x$^1NMECaRYkoVLy zAc$eceb8eL$gw~UgAXFin1W*iL%0C2q;VNCqTGg0-b5CIuF?Pd)u{Z7>0y1rx+QH+ zXG3=E~~fPEvKJ%!#i$EBB}9`^F|W2^5(CuULvN0 zJPeL{bSO&xpHV!8vei}cG}T>~F)awr%vajKzbcL;;MF(jp47~sO$DC9(YttX=!yLxIj4D&dcgu(+2RoPk#K>a+c4anEt|2-wn~eoa~p#Z zZQ%*H%W_elMbJQ?c|0j@hS}W5xl`zsytV5T5!l>t-qNy)R!A3lzeH@iJuTK>Z*Ib9s3( zKajE~qi}r&)&u$n*66T6&hb*I31mYAF9~VNol>E3qD>>o)Fju>4hQ&MjP`z)C6d~* zQAA){Ubu_E32d8IP>>HBhfUVfHOz0mY%9DSTj7*-$369BKFda#+&hr<#;1pLXD=eiu~L!As^-&GP)C_qr3w+V+}~N<%4?^%4rW*B0kE$L z)}vG7!xG9-U`X+xOeQ&iwmw2jRi34M$dIz*SjHm^v5Ep9xDSFg>M8MvQ8+5%v3`@W zZ;XVTV~5@P0chWV*DRH6Kh?bJb_K!Zf(9@B~2OfY>iW@Sot@Cd`=;Wnaa+x zAWr0P?2d`Xx;r~SGJ&k=$KTbh%|Y_1z7*C}Hg(Z+CUfrQ$J@-&OGNnLzi5b09fG2e{=3etE z=yz_A0Q$z(Ij zVMc<})sx?BLsV1K7-w{jjC`Tn?tXd=}Hi=t-7GyN-e=pY8SwNv_sem z0@xe{yJE_!Vaf4F2{Ad0;<3}(>|1Ooix7UHsKj7GR?d6{knP`5wE5vmQ>D%4%=TsR zQ6e!tdg+`3!c$|&R8xJ8Zz2AMulfjg5&c?LOPghj$(Io&lwl5BUi2_?5)@8awAHId zf~W^&j#+KSdqPL-N7E(uV#aitXHtnB_D|-=)2c+?&s^w`_FR3;k3_=oGs%lJ{R7+^ z3N*s$5KsZsT~vu?m{EGAR;H2S@wS!F)z!T;4rKKJFdiRCo*^O$3se|Z!7G|K8oQ9( z$ZcxHTU(?pmmbm@C*&rSV*3|cW|sfCOZ+v}thCFhJ7;@8?e?mkhk9B}%*r=QIYJCZ zPpe!nL?G~+%_Ris446oh4V1W)fwgcj5qbe)2}8j*4G#_Uy`s?!G$0S3gp(E(elcXj zLH&~%5IBMv0BLz(36AV>3R1!-?B1C(NTmUu~LPtDJ(|Rt2>6>QI9YG zwY0-ZOcUHVWctQ#)>97|yu42MxX~4pR(u` z_B(@`?MxI|Owt5aP73DFNE5rY{0S9<)y45UpqMm-3@T=9C%R+-#KJ#N^yrGL^@;9E zg8^1doGmqcj;O!33%SDx(~so0e7F*pGwzNZ<>4r4q8?Rdb<`vJLZuTD)?g$1kK&KCK0r& z+k4kh;!?wxV&4MB>*^Tdo;Vou=hfE0g~5W}n{ML;yN_s3jU>9xk|#~etlm1fN$!q(bwE_v4a%bLq0bco|I)jW0!Xmh=yS zZMP@zn~d4oI@f@i{%dJO2_cV`k2bql1b$W#zsG(8|68Xsg2AhQaNpm*j<Vk`$0B zLAcn{8Z;>>0V$fAaU0^uetG)+ZHj&2hWfl8jp;EtHi1A{a>sN}pb~|oBfO~WmJ;87 zRh^ZdnoSpdj7yhAoilZnUi-VaL;VN{-#&gXPu>aXgfVxl=>7LpbL0~y=%nJ}3#YrU zm>>9G7nW(|x38;ZTY8zCAL5Y`*q`r=E(~3N!Ur4609aTGQ9HVoB97N?^%E=tUvSLrSz%GVcWF*-3WL{LY2RzU z9$#lfW_uquT_=#hL7a%dP$eozr>KW9rVbYPUq0cYsaR+1w4ruVLk({F8O(l98w5B= z-BgVT%2zTL7aJZor{--(h)o)h^1PcAzL*1+bfDiMS5PwF#&pT-hbB;fMBP9|kJ||@- ze)yw^`qI0xzOS&o;djMkp?%d;^kITlYd(3QMq^a_4CW>ro!bvYXzK3 zviox}f9T9(-Gt?Mc1D@Er9dh4>=@Cv0SO=tsTxO)$Gk<}DYklKN4PM4 zb-v4}zDFNWZY;lGOxKp-P4#gh?iAJ+T8_Xb$(v`;#@XAy(QcHakdH{|NutI?01d*x z*~v`SplX^pjAH0*ta6mVLB^i0PTRCsPP_*Y){_Ao8~+>%mIKWNb9>5liu*5HPQ&Q7 z1i0hZ??Nq~&Jlkt>jCq~UMREcZTmpONaaVzI!!}7;S&#D9GO)GsqnoVFg~CSb&^0v zP0>cfY|s1C@`|ic4#LN9qKYiH0FZ2ro)ePZ$8H5{Ysuf|AEqE7%R#ctW_TJ)+$HTt zZ3Qi$0~2L&@0|T|=e!$X!=OPs5b^{4*rE0{Fvwl}Mwm=KBc6^Mr93INuaRkL)y0AJ z5ortEJlM$51iOrq_=r}y!SOQ_#p#3R*lt;1*P6ca$@d zr+<0a%!-_kRN)T_kMkwc7CS@~op?0B)@r=?O&GQ`2rPBfPhjtv^v<5|hk?NrDJ=&6 zhS0@chU7zACkUE=zs6Vem~98(d%)_v8#*D zY?MZhnGkiYf`sl>867b#4Mc0K%K5+;KgnlLZi*7`3FZY}o-|-`0WxvXbKeUsOIhJs zo;_)2F3GArI${|!DkNd9n()skfK`&7-D(-Roiq#+lG^K~R}7Eh@MxMf&TJGqW+JWx7x9Fo0M_aoM}@R%?%DqC%-7U{iB#qyl@&RektEKK%xY{ZR;AS<%OTm5 zm}vN?m}Xg{RErfcYvggNQ))SPOZ#3z=?ra5A;h{^+x3}ZWVoCGu5`M59x%UA<`?3E zW>Zg`Eg|y=EVG`K&S0#um4x7;(i)$J7lfNgy|x~gzF71!dP^sF0AeyVJEl8=o`b zNBpSz%Vncezyf1qwEZG#o8>G|`-eF8-&X5U==uU&H@=h49yuEiR8M@%JSacMg*<8N z0D(9(ePy@B6;qqgn2MZ1M_Vk>@`fth9>Nt|2pCPR67mSwE5(xRI86loHmbIhufS5{ z$ZK{B&-zYpAMkk5RAD-9PtxIzz4HYJf?`FQ-Xv@*atkxVkZV+oj!DGc5w;>2%TBQ15cpDoL7%gaVCJ97-m zO=JhDSCbFNzv$5HjB;&x(f~pC4zp@AaI@v$5LaJqbX1nyqEtrA3%dx6X`PO^jT&^mbh z<`u1B|=9jDo(o+jhhn=(9AcuQ;t%U{2#L0txM!=w4{vhk2@h&+1Zl}E6{QS+a z{?^)StpXj8cz+LdxH7Jq7uiFdAM%C6&a7`w(y=F8K1R86x^X9}0kI&`?cV_L1tI$l z5Qy`%ATD^!+{Gzm8O8SNz?Z{f4HW6cCxCV6w*)vdnE7Ob1h@J07+k+Kl;jV_QL*t1 zL@h-}X~=T(zYXYJuM?vujDM*7)=ZlNc@vi5+&5Z8sspjx3#`f6@j{p58>~|q#+aV3 za#8B$TXJ$6lIHdzlQT@c(|oxScZS&kymu=pUBOuWfkkb6ziu|a>Q^YM=M}I z=8e5q{k4xgP_W^2k5KVqYVSsgV=nRHG_c-~>nZr*sQ$jwGkO^UIL(0u&>P{C z#sBJYA_50bTQD20eG?`JpU*9`F5tg)?z4Apm_#<2d4r%bKEE@^*pt;0B~QQ~P?${P@95If9)hs1A(gi)OFU3`L- zq6NfT8Zbd(%$YE`JnlY=@C`npgXtR7f*aO?3;YA*2j~y5AK*VAen9?!`T_j|<_GK# zxF5fM!2dw_f%pUI2l5Y;AE-ajexU!r_<{KY>j(A^oFD&L5AO&54}u?rKZt%1{~-B6 z`h)BTd0PuE#dJF;I}^+QF1X7$mi7lDk6nO}&R0d4hO+FSv;g8Y^saGqs>W&TUy(Nc z3&>;*Gzsu=oY!?XS)TS|SdopFTQ>84$R~dH*T$&ytx*pD9*6Vn=)Z0=N9TzRHIeUz zr_Bn8QzKoFBmyHO>Fidb2!h&NwcSj0>FPvLA?)wFj(#JfPO~+$AOX6o5Wr)7bWh&V z1ulMlx$$7Xx6XQhbZS=8di3$tpKOV2poJZwVelsRb14?dT zEF7KvWjH2TDYwIv)d0iF<-2^iCBWwGuNUk7eS0ucx7L2`8yIgEp*dXgTFYUeMlq1S z+PkCvSi=3wom7B%^ZB8c?Rl5Wi!Ko**EL;aqb}?Xh;C{D)a?lO&Mxvd7lcVl5u4jx z{M)8Msd_X*vwqF7VK87F=8)A{^)4rW(VMo=Vd`IY1h?)jlYlB)P1}YL6Nm>y(YfDh zFWTx$j%~B*AteaS_f~wgr5)H?z4-Q4*XvL3cDUHDkXmBKwOh@C#qG6f!|mHTE>7d| zEG6L+IiulpOogx4=R5-)Tsu=$IDtekqbdv()pn)!PP;2+={Dn#w7}I1NKJ@Xv}lFl zWLO`?SSpsGK!9ypV9kkvpL4--ny!}otyV^{KR-!JD3tkrIFF4 z_PcG9>fS%`(>cVBr+3}Vs{FbJpC;SvA0)7=r=P0yCIM1*zg5Mn(L8-Xwk{fVm!G%^ zdwF4|sNlkcm`ZAm7I?d<6z9~M!C}(-_d6{bZsOGuUP2mu6YmQ-jg*9g$>h|q@D}Bk zkE@-aPEtfL;r^slk@|1I-EuJ!UjcfHkYuPnb(d$@d$+G9fB(HA&(A6@mNQFEHUoE-ditL@=El>?v9e9EDtO_GxSOw4wTj!SBy9l$={^9B;+yp!G#D8cUUpF4 z*6uYR6TqO$7)7_usE#|t^Fu>- zx*M;Ac=kF7m4gOCTW3uf0V3wt76A>ZuiG%5oQ8mu5L)>fUrXs4Vx@lVD-U~vP5l@n zSni-b+*RA#Q?M=ioczDnR<~>(_4-c6tt(=Fu^F%DOgFl)hvv)0oX?{_9?}26~J$8 z=%k=pA0ZS$Z?B$v2QESQY`k}K{aITc!K`6glyTJc@L4O56G|lMRLW}xQqn}b)PUig zKKI=cR6^7^AkqcI%aq=$sHVPRDw!q|bW9P2#=1n43`*)eaV2PO(4`6U;__bblidus zP%F|AFhgXc(5acXeOznGga$@Gcz`t}6%mLxvGpmCcr0=0E+O=27!`e2o2bWOw`e10 zZuR^Are=i^?)51hGpic36T!!dZ`dW|PUz<@jd=W6`jAjm0LzrcyEfnW^`8G#7ZW{d zABQZ=bx;7c0}uBGhR33rjQZD?H3cC*(JxI9E8YyDi7B%>J9@vKTQ#eGbO2TLVbt>8 z{%GF7Fg8SsaCD)IqkSp9zo|&g$8(fB1^|bU`xgxvwY-vOXujbf^cY;j>!7lbq?+3> zZX5hQxiNV^t|tzv+%~%N0LZm%F$9wbg7(Zm%+pHF+_4E&JCUjHJ-983FX_1-&XZR%kdKq#gt352 zfB{Vq4du(Oe;m}Poz1>6>|PqdXevbz7XuB5-YjdPYxm-ul_K7}7Qj4tz#O1m^i*4B zDS$wQ7!Xvks#FA&B)JkxvB;LY4!%Cw-=mD1xRd(c=$($DIsDharj8=vVE)sLvWnHl z%Bt44rZ0nWyD6hE=b1~Nm}zgtU=i}9e?z*A_bQty>8Kd;E=f%_pg}%~3gOK^a5Dmn z^OF*5S2oTU0ZxqF{A%R%3TDEyMpMDX)-&_;Eu$M3j|eQ zf^pn|Jr}d;NO7`4fS*7=+=K0-oi=Q{YWmQD)IN>@lfoaFrRoRd4B3k`+=E4Zg+U!R zw2p_);*txe#)f~G93aJM_%OwpUnz!sf1}$+UeXW|X{ar<0f3E>s%$p4*UQKmHVR$} zVrB-hnx5LP_7ICn1L4ujOs~r2(f&G+1&53aiw8>mJs+K`j!(48v?X7ymLM}|me9MrOgR@B$-*JqxrO_Jqwu-0@|m$u?*EH1?!uW_lrGaX=Fjr5c2$F%f^0~*caaK(d68snf4V*Ro22Wuf0 zGEDwetT)a+7bGddh6Q7Ll!+~;rRG4y^MhjXU2x7#x$5z(8s~0K%y5+$$I_(a(sUQ_ zk}e!osif#7gp35Swtw}kUC8#5nHYIg+VSg<{CRSf$cV^n#G&^z4w?jGnV!p}N*#zK zu;mt!1H5bvkb$L3&u!xy=;uU+hy6zOu|;~V^6PBwNM{Q)>3@0wTNklUs~|Mx4ltA&omf8RFse9(w@3duh7=ZwtsD%UHxkUHwIumG(S->c1@R1D{2 zpC5j~JTQ3$VFm2q{-&6I!29y?SAwy#vt={VRhY<=cw%UtrG^sGu*pRSz4`FcwOHOw znBw;EDz?Gi2rSPJJngEbQr|MC2~`V*m}6fVQX6K!sqbSS;6Bd*!c6JW&dzph(#Y#Vp)aQ&;UD}H>t~che|6Q-lLA*hnDu{L@L-TE6rx#ExjH`B8 z^-o#F9D7bC)8X2JlHkD9s>Ork0?Y{q@y@AZFn)yykm|mVSB{ z=}E$t=~28Dj|oUma>}Kue+|wpt*f;G-e53@tstJgAF56!_vcMWJm27Vw|*46=t1T3 za}c`AwU4~+7ihOPXN~S+pf1+Wo~966rjxfhgT^Y@;m2Iy`Pxk5JYhMh?;+8g0wmb- zlC@c^xBP&<1f*+ZD|_=;;CxhufWo8Kt})i%{<7)@qOg}c!e z$LA$ty}mQA*o(b+y3z?clArNPZ+x}VbwWoehgf*Tv)|tLr4ODj!@SrS>nXj?&WvcR zSeOCL-1aGnZAX@YV2~Bx9xPMF1C;kJ5P!ub2Oznff&!DjhCon0(dOSk_krSiVPDO= zeVz}xSbttK!(2_5G)IEBDO^2S3>dy(47Hw#iXaf|x*?$G=+U|GAKwK(9Wk41qDxA~ zcf^*r@CaCeNbB79M{hGE{eza_<Nci;we2X zD5UK+#T7c~#cO`*2-HS&3w}|a2{QkSE{6S1N4%aklYc#J|5#*8H#pP5htEdTm1OJa zM}#W6cRj?+mE4b#rK`=h1hB`vL`P;pX)>E(>ho3{lJ|E3A54lUCYn>*MT}GAGIUf# zm-zeOOP|W%9`co?ev)>ROL*{k?_jdSA5d&!gy&)ZBu&WA_mMjhMvm!klHA5~?K5?Q znF^9-Q!>H>Bf^tu_petrvMAc0;;j=FHYdwp61Q}7q*xa^`uq{GfP@*&C^49>@X;~M zrloeilfUf8BYGwSqAzig-KhJx&1GW=j42V8N^0WKlMy1EFS*tqD4^xrJK_qtZtmM& zde=5gP}jNRD8uQ?lbvhUySj48bL8o*=Ac=!-jvNHivC-C9=&zpH5ft4$56EqPmB4s?OZ^J2e#jZ zZj|lfdEwvE1<~3U2%uT^OlvTtL`l;8B6}I!` zdY@qxLmx1S+#)HJs@&S%qbVuIx*8?wIFO>FV~<{!x+BmfJ9PJU)HI2v?(!-zQ~R;1 za8c?7@a`~j$sqWID%(2b=rXcxT_&5_AB!R|tTB?M&r8Yj7I?a97`x~mLYsXmeb5&; ztgApAmH9Kpuz18bljRgd!O`V#IQx1;t*h4d{&9AcbwNN+NsRFY5}Ki9LMr27#AFgV zmdv2WOT<0N8(K#tQ#4&qH4Tx)IxY&sV)r-;xYla<1EezfTuN2BaNXLx6eOpNl5f2B zIHcd!{!hlUIT?CD89nt2xM29Xlyth2$A<|tq|pXMTH0emB`$o|hDdS%xi?aNO9v@; zeAudfO4;vxD4CK-U^0S7g=F!QAU|Gk?@EB#7&6JjaMF zkl2G(fJK3;;H~F@!1_iRMT6EWPAw)0AmgoBgGiI7@I*ds(v@G>E-US|LF1i(!?vSU zT2FznC5X;@c78TyDavaobArU#1%2!iGzFp5CX$W5*3K;C<X zu3G|zuuzv`b?jpPtEp*qmW@1p{g2Q=n|>5&QDSuJai~?F27aAxFA)r!^bbQ|0C)Mr z{tO)-Z6B|UwdPZlKK<9c?m$;{cs;IxX@ypKGEzdN%2NW5w#)H=bGKx~6gLj=gAs`x zZqyY#csKPu%RpZTxw18C*x_^dVBIjjW=~Mk{Xu18V>h&)qb`?P*d&(%3}|l)xZlQJ zS5b!;5zL)(tjQPEI;Rxrw2{m`fO#j&j8e%RsDrylME%*#9zI7e9%(on)2MGwdhWc(z2LJw|fC-#)D9>lPXFHpl`J)WC~TP zT|S5E;bRpX zf)@8j$;#t#4IPezHia~L?^pkb@PHI`Ro+**4QP{R(DCR@mWI3>Z^u2sqoR9Ty+Mzn z^FUeS{iYgs;U=z{kgQbHDGisZo)PM4ygwE%baA1^pSSk_LNN&FBNwC4c+6n_HRu}| zC?~t`Tgv(3?UB8U4RBpf&0?;@Yct%p-FS%u(MZmU(GTe_gYpxjZ%c8%0`ctt66mjJ zV{U9?-VaD=n50K5)z_N`HK1r9>6}QmKm=x}^~ADKZ(@;S+<$Ir5WTbwEZAv1hU%A$ zZJe*Mn-eWe--u|1?VmGjK^y{mP9WG4ez0+8pL;&&`$X6t0W@1INm6i-Xj22pWq3XK zHNK05vZ7;`pT>p}Nf^Iqv#R@5{&O-3yJe`K&(pMt{n(Pjj6N}HOm?I70WC!7qQS(i#W)V-Pl0s(c^i)z{D(d=8ESWmYlWFWd zv&kYyR4aYptDcLvElJkQ^2FHsB$f$hiz~Yg)=6Y~1F&&1+CJhu=L&x6=;&4D_Ln#S zA&f>aYYH17i;9*BWyPG3*lma@0iTf2Gl&SMSv#wyNfVJ|yteyQL@C2~*GJf2J&1nH z4IQw7Eb!>#5YB?j2tmR&;0`e;47Cb{w30$lP9xBJ79};~@UBS;7EGq@r+Fib=ughe8A&IJykTFXYV8qP$V zWG3Btq?TD}JdIgdq8YqiP*p}XS7%%BL%3;S8KCOVcXWSfHiGQrnt=eZtDYuoZF_7L z0g<%e-wT~@pM8@MtC{{NRwC3!Mhe1SJ*#WbDb#5+AO95Ybl-mjxDuMd4C=v2mJ~_y zT6=9&C&D9$lqyo3YxAczWu<02M#THIihl{Aj8cx1%kNcD=1wrzo$Fzq`RQ@r$7{7U?D3tcT%H^rJFhQ4U?5t; zTuCpF!RX2jTn4ZmhXPM&oTWS){nJ`}vh5zM)_XIQpz@pWd=RBK9Rz~9p9)9VTMkf> z-l-|9j0MVj|MtM?HN{6B5Hw9G@V@(~L{WJl3a{ zJ}8(3oIc172BL9rZt1&eXrd((8ks45h&cEXX2~$F9|%3jlP8q`LF|lr>B$^uJr#)w z$u8zGIp8;DK$RUf14@oNw8vbsVhCXSNHK&GFDE?e9^O%juhDOK*OCfVe1&}JiRh`{ z>tC6#CU(1?C@5GWW8`JuIhNdk;8qNw)b6B&-7WCyF9ti-M=X>NaGTGf-8WqdAGb9z z_uD<*YXe``4L%bk0+Bso3G|l@4EQrjsP;Q!ex#C$I=EL+u)$%-Q!AnLOJhJFiXq~V zsb=aBkDvNE5D61(rws5FRmwjk1^MH*#GXeS6u1_uw}Pms<8_=11>z-Z3k%op(|Df2LuLrV6}tyoDD6+^{K1^h5N(a4;ukv` zFOAjh3mQJl4Q(hYpWrVCC2<(x{~MU+b*NI-qA(ub7q8)PVGmybZLX-|G}7hT%VBXx z7W&}yca7VYk2YxXXghgh#b)rf$0IE377e0j>T726z-Oy=HHg~{uR8=#s9W&mb}lWp zh4yNQsCG`K_V#DmlTd7TiK~Yw7|vA1Mm(dD#a?VnLlgg5e0kYqRakwpfP{H|emDw| z)ni-!ftMFfoWIK+8K#ih&SCd+ z8iA|NSejvI3B9f%9)S>mXCe506e^qB4cxZWzeqC=4F&?0&6B`jnB#&QituuQL%r`i zJ=U(-IRJd1yY;g5BX*&Y&RMh?Z~`YQo=-S!2v=H`#Q)l5dtw?=yfwn zkr8mjlvqUD+1|DQ<<`LnG4GyC*xSw^T7`XQc^JfUIN%#z9Rb8VPoHL6KTo(5F40=y z3yaBRE*nl1(fPxJ`8`^$ut$t)3`4Q`%= zT#t zG#oa$EWWM)YL?pUI`j_qMV2D2jDqVVUZs{WOu7ch@pvV@OPhL3_&)20c7<0Uxg6i; z%b=6H%H-Vxt=$}c%_h?cfkY{O28g-3E^cCNfChqIoI6-df)w@+^~Me4rY&o$^S$n- z$v(2ahCI&Tdanhw*`zlC=My}4VEJIqX@2wmy0?}A5GoFQ{sHukutRfuQ5hog7gIOm zqK|fJdRB2*yt_3#n7LXrjvG3ww>sh8Q6JM7V#c1Bs{h3$1dlQ>TFb*eU7Ze!?1h!W zA@rrqBtN|6Z!o3@kQ~5M3=0i0?^4|TTmMQ!mrb5BTS_�yp~|R(obSMz*nT0x$G$ zdUv1{VC(if?3B|M)^run_Q;u#OSo4uF#yQHDmx$wX-J!%4v6m3Q*`N9w2GMWG1MmL zh|9Usr@(G~Wzt!NuZ_FvtT*h|H*}cQ?JW${k<=_`6xjTp2S(Dok&7`P@ofR^Sxzid zbM%cW;VVnhh2*cF-$M9?aBbbeREo}fRQ|r@THxS*g4p$kd|9Ya@j_B3#8;=hsh&AU zbnTp0pXy(F_^z3FGIP?dgiIr8?)8s$9jc(O5Xn;BC%5P|8Ll)%1WsWOv=S*$iiaEYD{Np#%x5# zYGlMt$7yQFNyqu~F&nWPvoe_&w@t87mcfFuGBW??aS#FWb=rK|`pO4mwahNFV-k0S*!4YF4r0d1w z!Opk&LvYXlDS_1K%;>ZJ78JS30|_F!zE8iJBZ}uji`6qLYQjxpS8LVBo+lw?*?y15 zaHWQlrP&97+HK)LiGSO+Wx4ShK;Y2a`Z?q!PQdB>zS*p4$&;+K+Qgr;R$yLZFF*If zQDpDnlG3`5uh!wfKEv3?l6!rZY#;JVjnCQ54xkU%-X5VPK5M55{-+s1RLlcFk>l`CIJTWB;p7C(dcwOOIMhZ0mSg&0aApN4Z?^A)?}o zJ2w!Q>3~o=OgRy(KabH_?N`toT!!SE>=gu<-4LvwmY&5EXX#I4U>!j>rwKMs9lKXY zZH*aV0=dpRFDp~vY#0BqnbQ31t2Z1wbxtRuxUhS+%4R`jBkhwNuE*E}q>|*6T@kNrLs(2H8hpu?p7ci!JDJt{I71L8X8Vj5BDu|jlMV>cyN`~GX7`~iy*2Ev00u7Gdd8w)trGrn|1;d>Lhq3Ig!Q%9&GaGgy z<++*zoig>eIBPb z7RvIlRTL;9&jM@R+e(lEB4bi`Im`%N`#s8IRz3D8jLw*FFP`~n>kVK;efgX$9ljvR zZ}A0+I>HkT~kVF?Sbh#6p#>C$H&A+Y8IIJ;8;H!iSt!X6c= z?dJ=pT%z6535e9$kn@6$vutLEJP8)o7L+glk)e%AP7gsAVMRjH^iMJz zF}~>{{$y3^96G#k&&$kt77ECHbYRbQ7|cdrB?#iyY8OS{KnrCc--7@7^`nNhic_|= zic?{gfO0Uh{Vz;C(z15m7(x4-(QhEQatrqD<<6ZtMf!Wb7CY+3EQO{JR%j4GC&r9= zw)XkRXD%cZEW40g_#nfkMGK^Nx$S+u^$xTGLsnR?MVb&jhy8ten-?^vhZ#h_`y9+O z;6)RSoSTEjUy|!cj2$nA6ogD35pB+-<#rl9rg=bAfEEg9z?9;lu@NUoa)7xPWpI$u zuJM|IzKTYoFML+wls)@{g3tRJj4vDFZ^@)L);{8agh4p$pyUyqC8WTw>hwqQ+OsCa z(SQTfuv-B{B)z;D3jQOo1E>?1c?kF*o-LoF52UR+#0Fnil23>0S1OTz& z(m3&fU${8HA1TXUZNNBU6)O-VsXBOZ7s8)2$%sM30rG({*qI0>=pFySSXjb`#s9WL z5Kw{}PJg5RuMPvbJDX^vbF)*${&>pb;b{0iqnnAU0czx7spzBFPyN#v!`FA{RAv+f)4hG1|;^1mmhty$1E*ci^Ym z3KfEDTG#~}3&YI%_$stcX$NVA7ha>jk3D z4X4h{weeZ(f!^nN*A+5G$2D)W(QC!wQ%ImP=OPH8 zQ@5o1E+VZ0_zH|ORQDY6SgL37e^O|+TuRSu7CTC-6Hr zes3i~CjIr~qk*eHxC`M;2rKK(;@n_D07ilpNg@g(3MsSj(?xcO~E?!Q|k4h0Qh(hJRLgm z=jnaRP27*yXHL-@w_N7&XRD}_O}fmg=AP*({}xw1O{p+?_+}AzSEPRJ z`E3P{wxD&gJEEx@ztzX9tv)slSfzGl%wApI82@W==UHTSGaVY+IuV+JU=t0^c57T4 zH;{kFZewNwV14`YVLF|qXu23R9__<3qZP^WHBHdPsYf#igLgY!G_%vAe~TJD7_g$G z;8vBX_oH>U&c{;)V!xoq>`jRoRgI}cJ_iR~G()N|uI9BFp{^eO1q&Dkh{v8QJX$c< zw3VBmETg%Amw_HQpusklS3Q)`*Pz*d-!pt89)hq(N_R1r-;YGipAM2M@5F1ZAxLlI zN&Y-+EkAJ27cEhzTB_lRFKn#Q5WW$%$~QaeDjp3t73&zqb|kMfJzR7^Qfk8}XPce| zpJH2o0!gXt>JVJU8@w9;dwx85-70sbXg71`Xg71N z+kNw4*OYygFT}A@LE%zCadakeT&Z$wW~w{(OkaK11o-eB?FKOjIQCM%b@XURUtZ1^(4{g45QL=dLlihi@e9Yn z%ZzijgLznA-Q~?p<8eSww#1gIY4%hw1NUr1m{jIZn>|1HeNRtHn1CP=TeefGaP{0S z)H$rIW?Q%gLS%#oGyg%($A-D--E_;2ukqed>zm&O(xQ!(PVRt>SnOiSL4=2KtTX|p+`vq|Q1}zy=x)0c1tZwn`4$z5u zd^dmpUjWt;DeXsH+NHnuu2Ps~Ct4_!Z$x*YH5fN#zoVX3Rnt-0s-8^X%T~YEk@Iz^ zYOgS|R-?}fmao#u3g4uc-rQXKWgnJ(+)}uHJ6(jqR!C2gDJ7(= z^u~x+{A>_YW?q}m|+@}m`U?P9N1#Pi@ehFOQQx~@d1`umtudM8QzL^>M`(J{=_={ z;p>Q5Fzm+W443MK!GdxQ3reLbYW;`ps9XE-6X4E4!mJ4rAyhW#-Dp*)b{o~P`d^ng zY@m&PN7@8hw4el^{R*6J$nNQwoec2tDZrnsB?N8l|9()vPodz3vz z6#CFRb$rG4jb?vrXj)>fi0Ep4Y0T{cnomsh5pnr#yX*4M~tOV&%tyo&P(t33P=m49%T3z@HTF)r%IjBJ15G~sRt+%G_b&87DY4&32@ zsxnwtxJ=xkP%>wX#9b0t1dcw7pYfZ`1gyJ=Z-z%b1xh>zFZ`xWUf6GH&Byw(VPGrW zx|Ve+?dBSJxoZxThwb)GIdqArUN)2`yrWl$tfSl(sD{#r1slzf8e|KuK|XWaf#Pd1 zQ(A!56AXVgk~0S@fMx@&BG3|0AV+Rm!0*s-%-lkd%XfWL&ZZei<UDYBJQi^nCoyGNYtI?bkl6Gr5SMV*nm{Ab#7Fl-H-`G`*e&@w_`7H zF7~!;+<8K)@Ni23#R~1s7IaKO#yP$;iLmil&e?ywE;}~3`y-TQ2?;kyl${~P+l%sA zS}$AVUJu~UYRoy+a2J=l02hH41n#+|WMhlBzk8R8ov&*KuxqY9>lzz3Tvc3+kk&N! zJ&?IGK5U+M8Pz>k5@t)5_F@co#xM&_rO`V?AjK7J6?ZZL2=ZjO=O&l&*mKo8=XPp^ zp80_k5KzWf3H(m>4?CKXXEn~$m6uf{{!ACcK zqIj+K{sQ-!`3#hAd|uKAZkK7E=Z7cKmmOQNZ1u8={Oe*6A<-~Ay&AALo})DW#>1bo zcfdb`D#BuDzY%ChuH>@Wh(4R!d?K?iSOp0*vi&~kZ(K0Rnx`dGdyx#F++TvT)% z-0wqsrQ1NW3;-&YzJ-7b1QT;%(AGViKE<*Si=qUo+;EE;U$jF+m{^ADsIDRi%3U8D zr|)P={19?l!o#w8E-BX-b#x4yO(0kXgP@8T_{1QDbLMYel>k@FavAtm&C=wi+0cJD z24lE%Qqwbi-XV~#2Gbi)dlOLq*TK|qb6PQu6|;Q2V2bBLaexeBk!DL;;0$;5p(G!T z>s0jL{24yDsK6{$5LKfB?lt3%yW$yCX{~24jrY2@3QVKEuRH@)K<_}W0GsE$6r18j ztcl3aZ<#Av6*`KO_@+VA$f&Md`cQx3Kq#gailDlvpqMT9EYh^O;W0OT*E8rcpX2zp zi6zA|Fdi}QVLYM=0JVW?6IZ{@jf%M4lVg{%gb|zkGYWA39+w(DL*P=Oe{`gvGTly% zi?%G>Rc{iQATTrKR!s(Px)X}Tt)Fx+cp#R*pvt;rGC&K@SmlvxlVatj4^)2#7@|!? z%^1%OeF+5!ZcV#+a{9&a`WX66}Uk_%(DayzugMZz>!Y>C0Z;nq6|N3%xR?p_c zas8@4zkGE9ic$aKTDXSvpuB&n+9UjX#_|Q4=AOv%art_{7go;3o;>VNU(~~k%jG2} zXzv@b_TG{=I z>?U_)9}ktycSN%H5$VOr>x1u)A=3C@I2jGci>vqRMJ~$|L!`JeJSPYl^?im-4mzLB5f1`9V|<3B&j3weJjhjJvZvTF-`)bNSn%zAmpX zep^iDb@S6qUdy?hU(V`U&VQfCh5RHx%P;aj^=#6`+usN8cfTCIdi_%e?}P1t#|Cg@ zAghRH+d({-4&rVD;@X;xwsaTrm-1By@*nSjzJz+#pHHwbS)vkPRr z0rJ1%8*$;6v0*3_hkp7ghkp7hhkp7iw|@F8H}M2AH8nMtx$7+-1Tr->HJ9A$EyDsf zHJ736Ent7Ry1)L=2Ov@D5sy&GiR2QWlK3ITr%x#5_$5O^xxf(~5ULc%7e#2u%nKuo zGe#&236sL~2z&{}h%!l-PjR`Y2n#$E=wVN2q*KDF=M&!}ocU&kPq+{P@fqQYh6MY# zA9}>+gola|Ul4(UN7M_5;3&^mLO0{B9%%Ybc84a zV>e<{p68FKFNvZ`V2>h-+c`c_(nFyLSCw!>qHxma74b@6;dl})aw5u!2M6gB`EwuXVPv17xyleiaSQH7 zFwSRsRUp}P1c%Z3M8}KA0&(D4qtJ})GtNgaEutizjaQ3A6K@2Ugsn zIDCwCxKfJb^yy7*aXPs@IhwZJ;@~yE;4G;8!lT0R3o2TE!Ge}w z&@FyJx#u{BaUa()4$&pf&;g=mZ*hNb>@K7)0NSlhR{o`qR)2WG!~zWr@-{=Rrx#?kM?j0(>~dQ95$umS`=br^pQJeN_Q zQioAYgDW=+3k zjcLAEBiR;f%s^v}*RtjqqAW{)HF?Cgs@L4?ZT@{36_4Aq<^2ZJQL!b1C7T@9S-iw_ zv&mK%XNfj*+Ux~=_KsJxbRK`N7HD1k@SsuPOy}fJ=9?UgMc8$`A+3*VylcN6Gt(6 zX3&Jt8f&4j0aKVT!PAOo0_E;a98mR28NdTWRh5Y4D#jB|RhAOMc~yU^@KjTkvcFGd z73*8rEX$uQI=1|j_0pESx++!msYiFeinrK)DdZUE@U3E;y8cN*-g42w4RIbY2I6X zEqpouylu(rVT2hACU}3IhO^QT1D}Mb#GC?*1^5h0+$C!KR`5pEA~bvs2eMUUb<}L! z_475R%gudZo2C;h#X*#7GlIw7gRhh6;rphzpJ7rwn~pkp9#2i>sR1T&mKP??5>vHL zqpBhCWb!SZ7mqncy>&(3dJ zNDl^}23@E^Zi6bkw?O5)L)~)w>OhrV4{GQ_rPA4L)rE>T8C$rB^E&Z}7FpGa0VHO>!g4CcR)!naBqnd>= z9^FXo2xC%Rz7bSr?l$J4T(&d)lgKvuaw)Bs)_HnxX&sj5`l-Rvk|X>^j%dlLS6VTG z4XotNN^kqhx(-+XLiNSeRc=h`(9PO(*W#@%HeeuY=w{ybmDHu14bV*+x~UozQ?48UKpTeXYtBkr ze7AV2!C9VInUjb%sti5%%zQ&j!1g({+E5-Y4l3c6zh#K9FDrHqoe6Oi%|{rDi{y(Vw33)vuJIu4<8t=Q02%P z)8q$=ECf#5j7z7@ji?@EM}Ix7htc+nJ@ae1BTw$({jY52dS)Q~%V3b5E~A#QPA3YJ zyw!hamWEw$wPI&d4_rNj=F*NxRL$B5jWAJnZSI@3MmzNf`cW#Q1N}y{?80@RbZ7Tr zzl?LEo%5a+ZUk|EpdYmhI?!*d>!a#u>Mm)ZmBrQkZ)3}-UzJy1R8Ltw)oX6QO*ozt zaIX2Er&r_;qasSu#i*?I<_{|y_;tm0Qh`h5j`~fyS?Du7I>2?V>&b8v>t8y<%v0aN zKYqj;dA?4fXM|a%oFd!kPoFTwtrqX}Y7fqI5zP?HaSExLNGEjFf=elH8DdtJ|H|dHbg@*K{hc$MK?A$ zL_#+eADewz~Im&aOLE*H)=pU5j3{Xg`9PZ(+11=7mK!(M77QUff9gVdTxD_|uY zqPC8-3L4=AwY8+xum(<1Q_>B+p`o+}`j9$MyPAh4sF`a?DsHuXTDpzU$#`@hm`9-J zK$AhOF~LAXf$oF4It~}$Je-5ma2C4UN{NQgy!FK$rOkh^1-8O2sJb;w>+Uw#?xn#` z<{jfX)y}{m?1SB&ynCY?-L%0E2>gn`ItQ&^FYNbZu1C)ufWy!aM_~YtdGh0~9vOl@ zPkZ}yc@mDmMF!Q6zXX?In3^`o2#j*6O*2N)R=Gmbz8WWKn@zw~PX~(n#x+kz{?FsO zr;{y8lU{$WbSh1G`OjxkFweffHm}_LtxNan<3~z4&u&jC~wL}rr6+o8z&eB?t-{#T>SG~)=3haZReW1gn)1%{}^HG7SXY=v+Wj`O- zKYQw7f(m7BWOH