From fb20890550eb97625a5e0f3805b7ad96247f7d2a Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Mon, 19 Jul 2021 16:36:04 -0500 Subject: [PATCH] Rebuilt HATRA pdf --- papers/hatra21/hatra21.pdf | Bin 3016097 -> 3016094 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/papers/hatra21/hatra21.pdf b/papers/hatra21/hatra21.pdf index aece6cae3eab4a6a855ed1cf066ad6dc942b12f5..7091b812b6c3e7a6c4254d37b77394b47b061dfc 100644 GIT binary patch delta 9174 zcmajBRZtuX6K;zP?(XjH3=%wpy9IX$9w0b@K?c{5!Ciur;O-jS2{5?3OYpPrf6x1= z>Q%L>yPvxH;VX!3fzSPqU?%X}vdGY~Vd(mmjbu zytklkSv5&$=4t@|6=7h)lizj7FUvD|1$gJ_JOyRBVqC=c!&5T<-Q9&@A%j53ltbCB zwxU4~kGo`gIu>Tinp1Sx zyN)(hRX!4_>>QT91O+h_fvtS7E@D7DCoYx&UFA1w)-)&L&#+&$7m?f-r*jk8m4`Ev zmd0k1!Y;Kr=34SQj8FH=CX6!^v7ei69^%YaN@+-30x^oL3}8()Ef+72rrg(h5|L)k zkLQt(u&fInt6d^ewFOl?ru6B!p?VHx#S-Wq-weTUW*f&)QTOXD_~qxDQDR{>YeKRj z>Y)3Ep3kG5&bn(-B(bRD?PsGhhn7^S*wi_pgdcArsY$BZq^=P{Yn>VO>y2CFpTwGAx7i7}z)ksZ( z)-6xybA$s~IQt5R!1$lI&Q6+)tImEbAeDF(2tsGdxT+^>$|_U6frbs7`~3XhT#lbz zv>KaQt4_a|wLXA4J2wcqCZ`)jKePpY){=^)07p9gx(WljC+j{AxhW}8a_r*kNu@xG z%NtDg+nYMZNHPg?LAKUl8jEPF`c{4l`UdhbdnM021SEtr@SQLq0(jB}<8*0W(+$Z& z$2wb?@PD=kpSe14kJ=hmyBTytgE%;rc3l$W(KZ08{p}0zYIO`c^cfN`&jIg>sA);* z`ZG4n+S!1Jw$!lQ`ZRwBUC-tUNX6sAHTnPOqQ5xLQn+VN+4HXU7d?rU5INz6rJIQPq zI25(%38{?Xr_0mvrmTzhWcBd51hv{)9aK7#T@lX+9!G_<;`umFfGikXz*pCMO|TW} zXyYU-A+pXCmTP9AVsdcs%cNR3vFY#9Vo8;Bbd(GD(a33{#^D{|H__)lzb^bkit^V$rb!I!}V#%BL1so`DG5qWIqg?4lPh`?Wo(?Nx4ISV+t*&wY8&;*pXCZia~agLA<^! zUZEN|=8w`88`XyHSm**ubl_sZV*a;AQ14&ZCq_OZT|5{ zM#NO>UryP6Lg)vshAu0))L9&g5h)e=w)y;!2KZ3iQ=bS_rfe`1}Xj6DuSwTM0 zv1|Bj;8i>dHqMzaQ}!I%qlW7J%l`HO#{1Yug;)bTwjaw@0as5hAB<&7vDqCmC#c7# z!Ca&YRdVBY_t)Dz5}-&2&~%XE6h7#m;;9WK$`8+>6a;YM)3f8`4k|!TH3LIMNi4YE zDh)UY_2ZXTGr8Lz*)8_#%SGp_o2;#jBKSfq{F6D9(OpUf$LF~|VrHrY*05#x@rP?8 zvY95)R%dIjCqAu0MhuS4Go~Ia?GM`m*b3hpP$T*&*+x*@xUmW$+yt(UL>toxPdTp_ z+I71{yUF^t1HI&@|M+CSkX}TA%TAEpT826$xhZPZM;K{M5&kduy2bseG4#f`%xJH7 zF8|CmJ7T}=#~`39K8GcuG(4={cN42r=Nx={N*#FM<5g}M|2a)%X zPLVg|%3ox^&WDtH_2|b$uf;gs?q`pxFuDQ@ALr0X+A`F90T>GJmMZ!;W3ghm(-Abi z&!K+Q1f5sU6EpMU408&?S(sLQ7 z7G(>qz+()|rw?Ji*g;h{1saDStDYQZ8|=Nc;;vA!+QfS6QXuCmk&8k8ip94D#?>e# zVbp696dakvJa+!%K@XZQFZcB821}n*57>M|`Dp8lB5hoj1#@CG+B=+0z~sGvoM8gX zGvCt?q*j})KAk4weZ^?)a`8LqTcrNEQh|NxQ;sx{)lA!=x9waiMw*}Jqmb|YHdCxv zB8S~<@skg|AK`%0ejh0Xl|jdEHOEsG*mWbt*`7m$=WgHhKBC(&)j-$)-DR6B9!2t9 ze^b?Hbw62ZFn(`8e)?1;7{q4-#sa{Fae}A3(7#>0luxev z*aXL%D5ifxUu~?G*RtSd!l!?P!GMfI?_Sxxkac4rfKQBiMYzsqOjl^a5Zh+5k^oxg z^hjgHN(lSrNx9pLM&kb!M#`A$5;1$<-tfn?>rhYnht>5L1>%!Au+7>05K9c+(zi5= zd%P$$VVa5ph(8UEsAw#X8^$NlLW+8hf3jq+F!D_8h5$`RlcW{3``!@cHD6h?0r^T; zpHKQo!}IlCh%YCv?s|vsvSOMm=TPWnojfJ=Wb4az|_vb$6iZ~PD8O}p=kUg^Y@TRYNFOc|N z&Qmdnye>WVdpo~!ESpTcm!K!m8-7gUK0K^eRYxB1vhsmok;V)qh6j!k-T+O$uJchk zSN76v{%6j4rBE%-h%qAfczrc;58EJ-OvIDHkzb!>q`;IP80N##-Z5Y`LRWBiM<}$l zbJwSDzYLjn#)wo)KjD)}jPA}LY_V)1Xs zqicoB?OMFk9Q1q@X}x4{^m7H;oQg6-na5D~zCqpobOKr|3yd*Ie1`NS@(__~ef|)A zpnJb*XF0%6U>v2iEot$j59_~mp(;?fp6{0hznz#Is_?BfP}poH*$8t@m$bXYXo>df z4P0Q?D6LtXUi_jQf6|owV;+UqdXt_b0%|+?YZEX|!}A z7ab`j{~^U|2(ipJ?ZFUHCEB`)+RVk4z&x;DalLZ=AOyr6amOy2wm7@Z$Xb^N9R_^? z|8yaDIfbBzP~RecQ{&=nC)g$li^Z(}+i0#-n+!M3#9vS+>QcttmPH zh+0fMpH3Fda6-x~7`r_y_HvT#p*%O>=fxX8L4TpCvXe#a4dwuU&2%wxupDuXOo))fg!I`F5n#D0S+T}I@BlLF9k zb;wY*MsbqPlp?k)3b#+$Fm<@pz2ygAI*i09>*4m0W!pU2V)y<<*oNzWrd+d0HN$6n zD!U%^G%~?j-ixH8YM9(;ckCA(O??`y;K|k3M7Bj7FSq?2e-d>{hfFbj1&OJnCA{@8 zUuG6$w>%~6jZD_WXZ`%_B>^A?lhXXskj9vduY5)NH?f8&i06fG#@JJ$j7=DIziA^( zi2kk+BPG-5`lTplws?}6S)+GF&%c2ZKiL^QMLuo-x7+LFu zhO?j~Bk_g*=+@(NVD0Bd%ka(~s&*%{(qP{qvHdy?-y6E5nSbwS#Z5IA z*JJw*%n(^2c3EHH^rR{VSA}UCP}EANw{ zq#;D0TD|on{?qC+L^beloOg+2ZX8CPG=XJDtY6{kt3vE}ombt%4hAKKm_wh%)9JBCMN4^^NK9_a-E+16LDts9Ugzso{n zs<^{~vFL_N*U{Y=ZN^fiodq53WfuyTes}Z?xaOr*WHV z<8vlg@tVIGSqki((*=stt!!-+Ls=MAer~DSjlV9;z5{OmZ4lMplBf0VvarMRrdbwo zu{IO#v7{pcAP3kt&9#RtBM4x^4Yn{Ht~!Qw0Zki1nuUj!6b&$*jO-bbkw6l_o`C>f zvR4UEoo%;NB>c6af0KIR1--BnwUEpF{!6hk(+ko&S?5gG4=fD2(HV3Dvg?+8B+@y`A*J$ zO5LMvC|0zr#}0iM;wVe^LvZEap>D-jqP&#fkNbZ>6~RS-w?WwUNLVz|ZejMpTa34J ziP0qk#kE1t7S^Ja1YVa&rN{Jl3!-$TMQBAJqs6Q!mfPplSa2zDyqlo~B3Y z#1y|pITUz8#AWj960^E(0^=p)Yg3Z^`BQ;&!leHY=71kQ5r5-{nNiUbNS$KcNY<68 z(Cn7dei@#)mW0UDgcSW0(oxh%xenRsAGr-J&oe$Zc!tZUz}dm@U4c^_a$b?SR>7m5 zL>UC9xCi?#AlT-bDZJW4^e|cTf_QbePXFw#?3as=>Dn}X#e=NM0*aTy&TEUAI8pt& ze=J0esTU>+tq5Xgk!2YlPt(=G^Z=>Yu&XZMPvF-E=(vP-OfNN8&@}KzrU?Wd1Z2IL z-5=gWBc*>5c9h=I9^lPbU$)=f$<}#Vo@84bG^r4H1>dBz*AL98c3{bDOdL|nOuc$l zl~tEgdYhVVV=`v5hdd=9$BmepXISx?795)Izyk%5a?E90laND+*1Os&#?a76Kzpv< z^NFHIVS#&1>vOt)+eOdYXS3+rxh}xsM=)xDEpX6wI2vaD7$ozZ05~CJe+y zC5f#(z`(Z|5OSmnuYp!`pT0h3 zDBhc6K$hiyzxK-5(hG=`Br!0<3GV%9w7OdDN?H!3F&7o!q23`%^orsN9E}`ChoRku zNOyqDb7L+_svAr~bEtLce_asjfP2dUOEA{IBxiYyVE9_6|6VgQc9<1EX^VyP6_5-7 zPtld2>3^u0mhHKU4bv;JV<;I@pIos(vC`oUch_;Y28Z=eB3^=1i0 zQ=&}VeUzR}%CyWqGozU$1cF>={nnDm!l$#mU%6HLsA&-is3fd+-06&X&#S!jKUK z0I5VCsW&*freNv4_O(@W)$FNfaK0XaDY-0`7y_Ht`bM+rus{52^>4{wVA}ew3euz% zz_Zzi)G!%8X#W?8I}pCN=51u;^LHUL)%N17GG!pK1urD!m#R%|pew^s>qK`2j_$@k zo%NN?{sc@K??Z{q29(NuhIN8kQpUM`OO0r!n{Igx3J?C7@Z-Y zgh#?-wRbg~+Y2)J4`1+S9TG+Qybo+E{}zkStE#<(42F)-M0f$UoX9#KCHx?{32i;V z7OCARf5mJ1`WMMs%%(p`wKTtA({1aHDDJmV*k;YV-GP0Z6$bi0gpRK9k+bfy`_~#- z0-+;()=qh=`Zhgi+NBPw6H!As7h`V2qw z>`3ao65mP+Wcw>&h~O8^+7lIK9;1|+c2GW_7J_i?+c>j(MOoyTkchzTR@KW-=h>DV z8sfA-s%l}=r`1m$X$r(sapQXki6~F)t9nn6xXbTp@dH9poEsbqNisRXnbxY6e4Kg& zmN!f?{QFTSn#3C+E@<%?P9HUsSZmYDPhMMo=~8tei&7%Z$Sfu=DTM5Qr?wwz(_c(j z6)!PhP^{<`izX_Y)x$Tz=<|{-tD;QV(N{NvsX?8;T_ZJT7ZXE%Gq9=i_YcB!>cpm@y)}Izg9%n>MfnLcE}^Z{Konn7Dj= zQDlzQM5otQkRx5L8K$ETMVhExyvb>tq7kl9c6eOfdH?~SY@VaX%D@c@+-mdM!B(af z@=tOyMeN3wzYx?Gk%1yj5m$tb9V#0N0ug)v5^*~e>ERuUC1c!kjTXGpK6HP0mhx11 zH~;@420?S*4a>PChJcWmARia6kQgs-8XhkzY1#%4D@OA=KkF$x(*I^@Q-Z7?{;%Q+ zu}c2`+N>kQstwO5U~9)O473As*#U*@xCCviZMm#$tVOwac`XG*d3kw-{_8i72(#)F zzzhB_(SY}ijK9D{h=U$}Z(6qpv#s-lSp*AaG{K9B=P<_RtO?>IRF|yOGRZY%?QUH7 z*cjKEm=g}y^B5NwDpGylXr<9!ROOv&un9pLEFPdCe*p~_+bS2h`%?4vH7uy2*|}IK z3s86|knJ~Gj0#*xQyD-PoM-a2IIW0XG6+d$)4@uaJ)R#a1O*UI0KIW`+A1)<2&J&- z%Mw9#z9eNQhWZ{GM5AC2ZVRslyuk4Ts_Ec$1tgK+D2xbbRN)R)0m-;hNnBrx)hI$S zB90kgAM?`6y^l%;v!nrFjQyz5uKc?gi*MB+2HVqUv>|e#ziGeJ|CthG@$=%e`gO&VS4im3xmkRp6@6d5b<% zFB^ZY{Q^JDPqS1KU^#|f+^yA=&;VJ?yXJqR$=})P^Q0}*AM4wk{G2mxAwFHxpFc4e)nnRqfTf zU+T0wmzDFVZk=?z`i)S1)b2PpvZ;er&iWQ=N-FKf|74mykz@LkL`3YqzfmR%4-7NN z^0(7wEG&boKLwfG#LMw=!Z{ms)gBsxb+BJosB^9LnwTq^VPB^s7Py_D=26 zHOcn4iesfOH010$dIPJU^6Flu)USWBqBt1B<2R2C@6wC5f7go?In-FjiV^14G&aC% z0SSd|#~1b0@L#gh|50CVqaI2^ZBD@!mRV|GX2)PY5sHs937*@_98%;ipRFb_twBFU!zv#t8?b{*tV;| z2UoqbSa(I9d`rS>Wp{;?FG;I&i_#d>5E%BZr^t&f@5w_6NK}-XvYPS%T=tyiRx`8J zK(vB!FjoZ>r^Yl=&vyj!B1Xpln9;;&K)k`xKmX`%vS5J|+?lsc3@?ogEoq2F61nJ; zq!88UF73C<}MZPiD3qj`Situ4VSFXXMATnMn~8pT~#vEk$) z@zbUU`RVy^-nWfm+jo?U`&y+@rDvHl8-=e`=auqTLBDawzUiT7Ne@YYr;<-@-P>|^ z7PZ|4Ps&9qNPceP*z!@#jerFB+WpwEZ(b-59z{nNs>GWI9-nK#11EK98bgA9@6k-3 zKcRInoRp@~tk>>_s*M@?Lru;Y|AzEMRD_nvU4~+j+9pW=QSN>(zgDUGbpy?oAE}XI z@iL7`gPX`}RX^3Lk|B;k@K7GoiVSg1L!AhYXyZA`vJe7`ztTCi2*IqE?~V>M6h6w> z!sjqK_G3{&l^Vpr(|k0|z30L1K|y@1_42IYvGQwT@9F-`y7;*V4F(<}BT z^Sg6-Ute#p>vO4~_Gg^vsQq?QCE|VVh=9SqTv|B#f3M5A7Qy(RCCH~UHe^ynsU+|j z#r(3H{bw>kPUfFNffGZ8u~!%M>%3W#R5QV0``^_y z;0I@;zkGZo-VNeSJ8DTwF$~f;dDl)=s9qtIRlfBU9!n|gcQz#2v5$Lz@qKrIcD~)F zD|VFkVI~3%!MnMqd(^x~)+AbtfFwjQ1AaA>@8L55{{%lzzX(v_Lp^JVT@H6U zU0NJw&woXOg=Y&7b*C*UjJURN7aL>MC-7~J%d~H~Kr!*QXo33Q$Jn4c3n+zq0s|i9 z<~sF?cXBhbGz8cfIv!>P(z~gFQLPy?z**d&>=4Td^t4Q3eeF<)l zwZ1LflVj`s4sWo2w>2ES=Z1~qwVg-`d$xR#wed_JPD_HqUH@Wkb6u&({MBvZU5I3Z zq$bAj+OU7k%aCFk3a67O#tH52klTC6CjjX3W zgMx9SNOYFI0>pX+zN0H3N~6w=7piLxbyH5~`CVNC8sld1?okF=3$m21t9=jEW6$Ao zXV3Q55V|~gZAjsK@L)f2wbYiLre|nf9Bs`K$h2(7$Buc6L#rV8(U&9N%EZfX6x)t= zNO5OnfM+RwpA2WHZ2Rf#&Su5eu4;g|N*X6vau-FpzV!udrfBpQ| zpJ3Gai4KCu{X~a!9a)G-_pcr6X|HAW_z-%(#Br?j71ix3>iDK#0!^GytP7~`2Cn!F zoiQ;Y#qZcC{{+*z$xaBeoDriqR?}k(FYzvh#mpje>BuOtL?vwV47@ll@r5zGiUwEpdXSJNrO#YV|o=fSw+#$H>7hl*q_{AI)5}Au$LKQ_}t;E$fn` zi-<>9enz_>OLeOSQ#XR=D9Bq8o@FmXNocMv1}{v*G0Yr0v5GrO)b#r>PGde7pbLUHgH&j+iC0Zi$;)FP-)O|JFVWx z6!@_MXsg*?5m+cuulL(Dk@)?MJrru8)*H0#bK|s#KRWtDoRl`9$<4UI_zv5_C!rWFY z-jyuO0kecJL7pc*Ly&pqu;D)i$14ef<$FjKtcBy08j#hP(_VMw)m$a7=8H$pj5G|n zur&fk9j-J^%MG6o!2Y97M@MoRT$z%rzK#pGSEd>+ncNA{B|MTyW)mo8IDqvaw2mnx zNlt*IB*wQcqJN8c|E}IYyg$#_P#}oedrlwb&&U*o?Q>Dg-2PRW@!0QrL9Bd5a0yBC RLE@%I6+mZV0%^#j{~su}b7}wp delta 9184 zcmai%RZtuZ6J>FCcX!vp-QC?G5S&4R!yto8fZ#q5BoKlIcXxM};O-9l)xZ0`Reh>X z)$PZAxSb!@3=R2@5HK_t1`G>^1H*$6z=&WZFftegj0#2rqk}QPm|!e0HW&wt3&sQE zg9*TdU?MOvm;_7;CIgd$DZrFqDlj#e222a41Ji>U8W_13p@lNsrJ0yO`z9{m_ZqQ3 zI=gz+#C7GpjjrX2nkBJK!^h~QVog2c5C%4&7gmi;#7tHVXI+}QI%P1Jlk1$TJ$)SJ zf(;F6m_0THZ-J4dQ~LG354*b>0)(Ka>{4fjm=x~3jr9pxX`b|nSul2b^vZu}1 zVlD=7sm-&{lDDARKIXW2ny8Ij<&v|_uC1wIXHhjK*I98m?PSvV z9{lle&=$9RgA&i+SQ@QtR6(5Z)qssYOM94h33n*Fm6f5Wt0NHfp$w{0(2`26N!bRk zx^L#gTyM{uu9`Hk$mtMs^8xFkwQs<#SYNASU>>fb(~x$d)@JdB;g-%Pp>A z;GnK|tKH)=&Oe}w*;qto?%?X^Zn7wtK;UEYPfH_ZdyG)^O~M{ey{hq;1|7W;P4Y|g*v2fSO584{g9|RRt-mrwH6bnsI<19vO8tnkAP|um#%Q~*PhKkWb_}D) zmi6u+n;6OhvAu<2oe}UNK-uJXwDv?LL!3M+U;hjY>96%jtVPD(pT!#~ro?(Vk4wf| z%OiYGu*+wmV80t}ZE;ZPNO6UwRldasV0ssBk@Xo1zHDgzlHi8hU-hcpgE%iO&#Blt zEIqfd8dOfuK4i1kF|*ddhp}5Y?YoVF98Ra#wQ%Y|$?|^E+P3^B&Z@)q8GQh*Rz(Og zJxehe=wpW6z;26}60*^CNPG6SYM^*U(F5bwO=~=q@+=OZjmzfnmrc5EKe5s_!U zWBY>)<&}gFw(E8J%QK@@RdH+@9O8#GXAMX5|7dVfKQP|uobcv`hr!uX?je}P!y(*g z;0T=D;zm*%BB<8zqR9Z&eQBluXv^l?yf{enDJEOj+q%FnLd;NV*H>**8fBGvpL22PjbeYu1j2)&v z46?2}6d;tac(U*yXD5OO%sbb1_`U=3*&#ZJX>=oYn07}50EOQ&<8}`xyPRTjQ4XNL z%dbg!?sEN#XG9}MmN8`gC~Hb~i@~7mI6)XGe4VujdOBh*^V+c-YsUbXf*8&Bhc6x; z0Wf+F!mD{U2H2i%1OQtG<{ftl70U5f+VI+`(zS-2Wa%G?`mmgfcsm^}`Cd3w3Ryq9 zlFoTmT`XwIRO6JUktEOP5OC-v)*3+5A<`UBg=IYCziCp%VWpmC5k)VVKK4?tcv4D7 zK=am#EL409g2FR=qP-!9(a1V5>K1srGGRdilb!lNG*q=pQQz{ui$NoMSC_hF#M;&_ z;I>cl8f~^%Q{)`Ur=OU334$~MO^({ zT1tsBv08y~SnPv=kCm#?ojdUvVpCigIgUO<1VTxMqL}K3Li0z$QMGN)C-+98B(p>g&4x6MZ|0(&k5!13a3-77%i{Qwf(Q@`A+${}*afakNBN>S8 ztMV?G*I!wi*?FCAxf#)?4?jxo9)d35^`Zjk_q?*n!wiz<#DTr|QhcttskX|RiTf%@ zB2rcJuS?M?)S>U7l3_<)wN5IDl1x$Jj` z7pKwI?rciZ1D7|1Yjy5>1_3T6pMkutkahB8fA#12Q@!*K;+pna3D*-Xl*Zx^RK>X( z09;yt$g&xX;a@q;>&kDNtr^ySfm|XLABbs42AvLiiAc!}+pE?5&s3bBR}&s?_+<3m zt?X~1oA)q6_~GA)E>1>cmy>=|HrndBl21y)D5FxOcL$oY$5O{QQOR_WrhvYjGf}LO zu`am%@*6FVjY zuU228{rb~LJ%@)3+y3I`i!lX$<;^P3;KckwYfoY)(DDTe7C!c4$hsI6O1*kE)377J zhl+bskW(Dh|dz2UYLT){=1!t4IdI5N<< z>Fpvh#?&z-Cl5vy);m|G$oFH`U{WGjkxsDbYAnGUtA){Wxpf38*$=QVky)1vy^LR5 zcZAaj_7vQX>U(+B{#nOsv#SvQ7bK+aN(}H*2BR`6s3-{MhJg&eY0XGjaV|dHV)&oO zTsL}BFC&=Y?Pz+Z1h0&=)@VuxDPqXMq3g>Ah)?5U`I z{xI(5(^p+aM~JcZS4mHOh9#_@T~|I0;xI$U7M4@(81`-4!H=Hk?g{+yQzlF zvwnMgxx=%|1}e}n4yjybJvJ%0^ydUk171(oI-RWTK)C#1#BwDSsx8B1e7f>UNOgUm!@3N7Yx(hI!2bRV? z+-D)JjRwC)a;(AnpA&uyVx)2AL|zeE(`fJEft5gtLYXsurA zN1W}*2v_d)E@FfGH{Pw}5d2~#LlY6XQX4NXxZRY!=KTbs# z=s#Uo(LufLs-w=vg=#))c*P!JmC-_eTg8Yl(2p}eKmBW&vJd{OIa6#HO_<3ZPmKGD zQcW5{2?2+|p%L7U+=sV4(=FX=Y}pi(wDmEC=zz!#!mE_iHR=aHS)fJ~h25e3s_V6@ z=wB|Z5qFH@v&eyCUI8(Axuf9kvw#F5ksatnM9@3bmNqJw3$fk!H!EaxgU@KUgfMtUayO7y6f2wmS!6fI3@x{$>+&ky&r7jS<-C1ey!GRI z0XgJrEyWRn|1r16y-w+Nz(DlJQNal(~SXB&+OqORB7^r9v zL8p=;9nY4qrSHY1q-}f~oKdqorcZXD)a%StkE^6^d*k{UzW5wq;37D*jMHU!KQM91ee|-L7Orp@lOm@Yq5 z6}Bslm}Bxg@;%*3tB2Ux>zw9tPyG5LBT)io%s^Ydhwq0ur>{P#{xa%%ZQH>&l<2Qv z(U`0yoejft3}aWqH}mM>@jnscDnOrz0Sru;6s>wxO1+?scj|&hiGSu00mBq%y>O2L zj0fq85CH_sZj(zjvfE$x+9^yVn%*#-xkGl<`C4RfF9;k{wPTD)e4W>{G9Qz5+hxom z4Y%*~5(h3AnM5%49At0u%FBqT)-s{1l`$<|s=P26@1VB+nMV6tg8J!iNuW9mWvd{& zqP9=|%0Orxsa}#ViO0*G@*BKOEEU!U9BlCyEI;xc88VIg7)h&}ACa?O8i^fB#q;A) z>m+fl8Z`VfFX+S{!D+{&?I)se)lM?Z1RM$|BoYc`C7XA?FBU@fKZiZSy4_r^yZ56AQoL29@!h*bz6)Y&S_wwZ61c6h!>4)0!4>!{8#PLQf{9fZ%A^f1Iva%+@vW0CBtZJR~Kbt-M4A$c3ZJ>L5&tlLXe(u^Qcq9KVXhlml68*0t@ISJH*fZLGx_rE_gAJ(t~ovp}SnfmS;vH|Crys^c zYtj=WCj!u6e@aI8W81z$I4#IWvdGmFI#R4b8K-knUJ%FOI?hFC<{cXV&5<4$rS3yt zlFA*7vBdvP83bbNb>7Dka2WVT>Tevte~b&6DAM}8YXTI$irFCSipHR18Ry&Y=YEqm zqFebl@svw)d`0IuADvfDLH2$?nS2=L)&Fn)7n=7!$R$(j15tAbwr{`q@vig@@dGnD zQSPy6w%7I$RVe>p0N)lVi03(_SHFeKOR3xk)z!nO^1)wssj=;kt3CEY0How3ytVi` z*t9w?*2t|xuD3L0` zyuKG6ehBN&FX~{l{o!y&z)??=3{rp{{P(9?l{@o~=3Vu52x)fMBqzjF5w-`#&BAP9 z9}JEw@(>U?8Opuu>GUwUbf`GpAbT`BR>R(aka%l+K5klD|tqy ziN_8tTq)T-j&WRfPv#g>+F|$qg!2g$^x_I0+hWhUN11d@38hu?bes7R1xOY)vHO5w z^to;*j7|w075d;o)ocFsxTWEDL^qAXLEGcPzeJFAcs(Hn8nNBsd{)E+z~bL@He9j5 zKgQxDixLbbe3}dt)y$u^Y!~t*6O-u-W8*?)-;5a7`np;SJNJCA&dnnHejPg`+@CJK z-)9qX4)-ESwOPceG2k<&Z_Lr7j>&?(F^swmEW6$l=V>*+e<^A4O3$YO_b)ZW5t3URcPPBEV+Xq%i`z%eg4F~0UgQaW;aZ{gHInc9(4mLO#nX@puDTF9^I{Mz)-g=-jsZ| zeqgbHSmE}@?B;T1r4WfJaz~+d-(ySGdS4xu+8e-AxD`JxY&$(h!i|NM#peL~w~ zLHgGh6p<`8mq8(PVR<2)AuRnh5II|WB@A8lr0pE2`4X8ayl6HT?*b2P66-TsbD-v9 zi$XyO99{QB%w4{m|3F%6ISu0`ud|XU)tS}=HebD<3@&9$0Sz7NJ^9RP;o$?J%`Fc8 zJy__z1{*?Rvb~T~&1q|mHdsbgo|serqO9tIqHV5YX^!ghVv{knxR4P_k5<1>4tF__ zCGI9n)Q21e@uLCG2TkL1Qcv^QLfd8WEc<&n2k6GeZgo$_B%%Gvwhlv^eA{mF@@Z_a#`?9)}TS_BQ{`)gXRx08;-0*v`*P}K-P z6WpZ>MClbVHP0zj#Gd`%nBp$G8^MF){4`98smo*Y_razH6&M!bWQk!%R8C4~#gey* zn0z*7tWF9Sp3c8YtcNT@PkgW2CJzCgYAMZQt%ge zQr$TG?-toV89CKDJ^$F|%p5G3lt}|Y@Q#$G7r8i-{ZG%ZoU(Ac(cH{5+ zrNNtx7FiWrF6RLiN@EKO{b4Y*waMG{OA?|1_j79*)ga$jd&NX`B$`)KZR!j9mP@PA zSl6^~VMPe{Y>9A~ucoV;!wxWv%ZKgjnuF zPgK#)4jZw9TX)`b9a`HFyid&5m+YATWEZavbx8=oMKzw*oH(H${G-m2YnPE(-NMQO zAn~c^lys5yaH{)KvLjcQ@IJsZ_K~a?naOv6NW%BOve3`r*MtIsmSJLYlNon!3!Rtf z(Tml~yX!bE36+pSt+XmGgHQ&ia8fdpKHpg5&63Mv;y#Zz1tfF2$^k)*s*_fg ze2e^d$}QMW`u`P;rtVwD3vpC#Az>aKb}oKlF0KqrE+(Q33IZn7rga{sGidn#Wf>EE zOrrl!G5DFp|F1S_@iS>d)7kQI^YYr-@vs8~tZdo&__zhx1$nr**sTNw1$nHwd2RUs zHcdkSCVgCJ{{K}P<9%Zj&s9Z&;6sBun>xLQm*6Z9wKN+I90OZ#p2j9`Z*qy@Lcy~T zS>)(*P}deV6>YEF;CQF=sFuov)}znGA)h@%=2zpo?l5cZT};@IBAZ#B5-!0&3a-A4 zLS-f*kmHP{CYv?BOBP<{tf5kNw^u(AA1}-+Tu;26w#piJq*8dqRVkl3capLbZGHC_ zSoshS4ojbS>?y-3kwWN>?Bg~1F7(eh!pKev zks@pP72|Olap{Son2Kx%eTOHwZE7=n>*4vhzT`s1h0(zPes+`AW8ZioF4LwPF-$pvaV@ke3z30IoHO^KqsWaQ z1`(+mT5|h(FVACvelnH-VTW-}+cX^j(jj4XR7%<+UT8X6KTXG%Ek$q;cEhPjCIac? z8?2y5ZMotK@q@ww(20AmYS{SDD8hPhRgnd-$9km0;p;+T9E~zvfXkGN5u}*LXC$Im zeU8%fD(g{HNAU4bh@NQBPdhNwy_(dKAS_sHe|y!e$q{6gKZZAuW)4G-$xYR|O)t%V zpuHRR*XP5@98NCmw?_*wR+(2z@fesxr#00}>3FvCVAIvaeJ(78!vc)WXFg5u#$h^L zqLHz3OW;L3UvRMIqbqSyuJ7|^$SGRUGHigX?qojXHIhxlKdnb3bZE40X|AYGIOH9J*&eLlE@GIb>U6UlGJZ!=hUTvFXr=woHC_;ERP zZ7&ljN<&wVnqp-3zT|&6#J?p7*9X%bc}|*>&%ZxidA=j0kG?2-?;U`#TC--GaO1?A zZ9AdX#N`oQq+Fwt-cG6N=5YPvhq}i*-=yJgA8`7XcVt2El{0=5xzX95+#Dso%E2^`;Ga8IYaBv=d=D5ur``+lJ+{Hn2j=svGBnpo(Jik#|#JgcC zI0~Nd%m?M0IAVouWB*OX&qw_F`Bl=yJ`E`0#4k*NueTg(ASVjP4$|TzIc&alEY=SQ zcNpZ1YqPp;*89sjNZk<eYzC+4*zN6EDF!Xl@`!EC_K*xr6&gUjS+78zg8 zeP+rQE?M&OKCGK$Z;iZvB zo|yWQ=ejXVqMaDN!hMnM8-&fyM!3bE!A?M9z$(9BPgFvoCHvc9x*&)$-Pf%2`HO1Y zW4@t>cUrdyLdV%npGdlCjf2owVoGJ+KVi*fO+Bn{Nai)r#b|Yh2ZbNsfD){{n<_)B zd6!x>M39yU5VU)7B$R#M&Cv`<#+YpmYh|8R5GJgPG^rO$H!BGK z@RG&TC73oU0<2FGmX@Gcz);l zU0XXRm75z#m{Wh$H{XZcd_JkMXZ#6iM|#%>fYpYeWn4H(xGsq`Tr|zy-wLq8w<6^{ zWyK0%vW(wvwK(PLiOx@zuS!=8b^BIl-B}a_!g&hjs9DhR=^kP?^$`xOphew9=gh%$sCMcbK8<>(Z@#Z+1^>agM? zzH@e_`j^qq7l=KC6Bh$j$HN>lO-OXBMZpVVQ%WU85W+{8VumS_IqaRwP#C^ibQ7ql zG{Ov2OLV<3cc*qvPZmS9ca@?3}r5n;9mTL^W7y67dpzsp~PBLd!R0|U!`h=p! z))Xhd8j6|{9@@SDvp*lWOdn+y#LopB9-np)j8W`omh~I1VE-%yJ$wsZUcJ@#kCg$D zYkV3~9?6`-{soG5{5R!<<2Qa<0!MNig%cP<>st)0Q7F*KGuB@Dop}$@`S$EV|LTM% z{jADFb4%u#DT6smr#<0>dw7#k6ksKdjqQH9a((QFe2m9MF_zn=CQMV}6@y(FMw)gZ zBJ8a}zRCgW`zaFq)5|@P;X4F~HlGfTN7P(TZZ7lUjrMANyF_yR;Qkn2&T`OkRO* zzqfU#n2K8(xafSlbgCPR4}{3ydyBpS=5s2vQPj>AoA67}jmyD~uG6!Ze8w|0?j(3@ zRrc`q3C?m(uzBl^eU@6HMiOfn;d1=pZyT}mEajpN#r%ce8p*5l*HIUgUD6Z#0!5s- zu!zb1n~EZaiyT`xWC`*d6jT`PtmOti;Xjm0{r*=CqaJmb{)72HSpI|cKiHZcb=cSQ z;kbo(cruo5*eU;KO)od>512BtLI5FN0589+6t|qLoDdfPz{@2l1K^S425|Gp@$rgN ziT?jqGI(J*WI%cg-m6)S4aOzLo?nH1G#6%PdCcRoweJ#&a7+l&aca|Y^FF&r7sL3m zv5{l2k`>uV9A@EjR-@&_wrp-kI1gK06D91>BiWzx|QiT_zsM9-<#oM>rrcl_5_-hoaPsp&Rz&~i9Iho=e^is zN)@FT-GKDmMhm_5QHna^@T<+jS%FX(y-4xB)Pg8|*{`z~A{e)hfi3QcgBdxXHMH?Q znsw_QAF}X0Ak3tsk*9?C^NCVsL}d-sp(V~_AD(GQT((KT2;i1lw9?&gQ=