From 81599cc78de593c704deeac7e142f810db3c88bf Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Mon, 19 Jul 2021 16:14:25 -0500 Subject: [PATCH] Got the HATRA paper back down to 4pp+bib --- papers/hatra21/hatra21.pdf | Bin 3016478 -> 3016320 bytes papers/hatra21/hatra21.tex | 7 ++----- 2 files changed, 2 insertions(+), 5 deletions(-) diff --git a/papers/hatra21/hatra21.pdf b/papers/hatra21/hatra21.pdf index 0741bff4c648c53660354467078f9b3e17dfe7a7..b2a32fa62550fca7bca91518b452ee2925762fc7 100644 GIT binary patch delta 19536 zcmXuqV{j$WwgBMx#I~)8ZA@(2w#^gUwrx9^*tR`!G8239^6q`Fs=uoBqigq{uHAc~ z^Wr){17bTs8#JN7SlE*L!Ks10+FCAKT&Vuf_45Ja@4u zyrU6Vf>xgoBCf+L+05y*`NM{l)rw_E6g%@^_y=u z>oGc-Pn~9-ZY844fQ_~95NFXRZ)jZhSvPT1PreS`X1X!D--}t6KJo&6{cEDob$)4( zIy7kUA31cFdaUK1HMHjVG`5bhTZZ~Am5qE@y-GzL&2lxHV7kyCX4B)ZxtkDCboOp;Z+)K-Y9c{I^80?r41*u#qB*v_e~dQur8*`SIb&Ks6&2xgIEN zsBfnxcxNjJG6Gu(r#0NjV#cO{H`SQsmV3Qfv%PP^FeyjHK@)e8rMk&b*h%rP?$XP& z)Hq`~I<#4Nqa=80(K(lcBd*(8jszldeo)&c@$_A6i%9)fHO&H08k;n**z&VC@?W71 zU|Q_c$1eFZN2io}bW5!Gx`S=S)L^z&<*MlZXpsTIy_M|Gp<&^vDh?o}?0MxSmKm~k zu=Y2H-QvU#U$SNG7i(Yi9zj^;7#$5FhLo@Aju}rrX0iSCz|%sSydN}SSo<`Q#_8oR zA6;_4i}D<^gI*Y_MYkADhHqMFj z-V>WjwqwwP&6A|DbZ4+~jM5$0u}}Ugk8pex<;|}vZVy%5@|M1e+T?EuA7_L1$AFut z7w-oYo#S9!;X2!zTj7IkJxDNvWzB&6G=316=wn`^lCZP_+P$h`cn4NV$^EU`q<F2r6$OiD*|nFsX|L1L>X1X-#g|QG)h2&G~@I8 zH%7;LJ;xIlaQa{wp90{Jgx@2;9U#QR?P+SDke|6m1yG;_G(@zuiYGc6gCokLhggD7 z6QH+hlnNxyw;2BtMPG*}jG++7n*(3d7RWgw{l)b`&?ev>T96@-@6taE3Rt5b0DXhy zY|>^GE(=#>Q~;G>52&LGUIw&0-!-H%i}b*KM<#n@gc)uJL#Rugrd$2UI^4 z%=T~PvBeDLSu|iy1+*Q7VPoh9!I`YCT;Cns44pntRd;UmJBKpewvFSt_#vj}LElO)!d~4TQ2%m;v=VNRkc`oANdDFj? zZ3KLkM>e zb7a9r`k{Ro*I1cb=ffBBu5Nz3`>w8$=n|P6^^(-nk%b2g2@MaUYCHSy0}vp7bMz+% z{mNt8i5r6^nY^MtPp_)uSG7y!n3bc6h$b(C3Dhlp7E4(X=QQLhG-QV~4v0D+LUoTbwrXs&3x<}AxGE0@iTKT+P6M5SiJtg1-p5CG3o=`Ibm*Cq8ui5IA*o(1-{s?N5q6*%wL7icl- z*k7fvH4k%azGo=7psppc%DWIFt-A+y7x^bF2dVe6O4s9YycP^5p1l^BzEBZMJ)M>C z;C$GB(uFE7mTS>F^mx#zF@Y1cf=%{b(TF9KZ!`lbq;mD8W^#nzHQPDIk=?r;ama$D z*SU)*Zdihhu2^&>M9HOTBj^b$M|K~~dg3Qb^21cJbK?aBJLOSPoc#pq>kRjfC75-5 ze`=gFy2`eF=4+Eu20Rcrn!w_T->f?)Xcj|&FgqI3N=P_1tX-t{=#HnzYS#>W3WRlG zWeIitq1Uk<^J-oR(#M6)2)<24Q?uT}jw}aueJz=Itu%f<-~omL1dUp5squPtn7NM; zS@J5#5GKwXC|YxHEZWO|xWI;f_4~qeQoogK zxAgnbY8$CN+y4U2aBPj_=Z^b?j(J8^E984-1+b1VLXawF?#C}xFlQ&-9}fWk#E3@lMVOck6qi^g-_ zI>kA!lxKqcQlC!YA7ADT=r4wlqb{!3w_$Ubp5#%Ffwy{VQ&5Vek0;7s$;ZuO$$}4@ zoraj3PUBpi{q6C7IAOn|N*T^{}26%f2@ zD~Jw|%XWaL>k!h;rtq=|-TK=a2kyVYKT8A%RUbW$)FILemc=7DwXJi(TZbKRQSITb z)YMvS&&&$l=_S&I3waWx#gKdajC)Nd8Vn(5BiyZnEnSV! zK*y|rt-{H!wnLKY;rxq_KM*&o>CMD#XRJ`S(T5U*<+-W7K;;@4(%;hsG2#t1m%S6( zu*S1$C2a6Jf1WDF3>TXCMjWlWl+SAT%S|7j3eG@L*7W00dG&A;mfk%Fgcr8flc=@2 zqQpTd!I@5;VlK8mxr%9HT$Djz>vQ+2u0aL>S)Cap@pE^5UVcKFw5f5=M}!P_F8jdM z>KH5>QVlHy@Arf4Ym4HU@t|G0C(Yg3MC;Nx*0L@H>a0eH#jQxrHv%qLhMQ^x4)}bl zVqz7LWc|H~MSFDGF=#ZNTSNU{{j+OF$}SwDK_ly(Si_qa%;C(z_c%E|PKa^knJHV$ z{MHs+4eZ5uV-Zzcj&ddoR{njji)+#bZAZ1=94g%o5Qx*`|0k{i?u1S6Pv=h!hYdt} z&h;B$#JAw&d^;HnT(0GCb}IhbpBl;jq6R%4Y$pI%Q;!9+ou4yeqkVi~F&YHWCUc`2 z13?7*Hk=7}-DuUaZR=^= z=8w0^hILlGn@n+jl^|*9UqeWMLr>innG3rvAMY>KcM(k2wXV0Ze?v%XC8K)li7^CuR>zDBlU|AM`$Pt%-*%`$61o(Mb9%zWeSS45H}qiKN= zaoba)nM0icuV+B=oabHLjAEaw1~9;vMeMbxVZ0Y1ndwJ=7zr8X@&zj{2S{jq{=gn;K=c}v6a^b8H zy=%qCF8pb#(@A@oHFcF?@<6w@O6^}n7)|II#q5|?)T-iO%~oP45ve$i%0TfNBuz8F z{^iD|lWpxRO4fmWO}*R_PML1}wT^*J>-`ybI>weNFDUYhRwrh-W{n*roi3m|arnET{S4bKqtIM; zn5ux1X!+QmP9U=zE>ZatOb=FEDPeKX3v-lt1b;|ja;lvgw17puot|}POVKD^%=*Yn zYd;XA^ONdZ^VVV7^(T!g@1RkUx31`&2`u_WR2Ig?P~M>YPX?T>Xn;?K=lUrFY_Hd3 ze#rGqhOD44So2InRjxAb;V zN-1_RSto_4w#yrW2aYRwu}j=BZZm=L@>p0205j1zK(zaO*{R6WV(eq$Xe+ltM&hmX zuY5)ZEf7dKv{@!wXQ1xdqeR(q>qE2>)EW%W>aDn`(EEX|tzdES1CbSI6Fyw8+c7zU z+GJWAMs)-DPnhT%7P>}A`3Y^l1qAZ)W|@sv3A~@MXn_{YCTqf@vAvf(ma)@lpSBlS z{FCcVI=Vf7vwRt(XLrhqQjS62*GMsj(v5yQHHG3dGU)lj1_Ph;OGM7&$lRl7CjAK? z#}AI14m#K5h9Ie7LH^}P_?a^rjZDc!&X_wgQ8#s%DmR8gr4h0?T-%DQflX(%}q?ZeBqC9QRZcC(D}QS<787m&8x6 z+*?|gEz6pPgM^Wpcx%(0W2a@0RW4V?t}79eqDxek^R#y8DNd$uMf{Ac%h@4Lna`>^ z23u`)z2B$Fpe!kU4z5o-buj}N5LsnEE8^tvTG(UfLIb-a_mx)&8R%0s&jbt05Zg;( zhsizGwm7Ld1G?yR0=ndS#z_&9bLbt$en9%prPkNE?#VkjpL0diS(C0I8nzxRdT1~^ z3T?%w;b<4iCRQ^sB4_Y^#0>b~6|AIE?FgkGOqIF(y`45wjUNY?vu?BgWl(3*+(qR( z(kULP1ptBc`-M!Hka`Rvp||h_pH@gT@8V7Par~eYt3wd^mms4&75)lz<2yQf<%(q# z#is^2$@TCeBqZ;mmX4geo{HE!DcST<;RgoAI#f zP}9;~0cY5Ul7{DM6JUe_cark6-8FI(vxE zwzN@n(->Rmu8BYYC)s8FL*2iKRA-$(14L# z`e?o)t|yv9jB9{Oh}iu*wRi$<2Ci#|n~}vRm4pQP{IzL4!8UZ)7iKjv2~Q;qClt`^ zqvEwE=QYesSU3aEu&TO(nLA5yu0!J`w>mKUgP>aWDY^?h3kE59492&3jq@T;0En!+ zXbWy%kerxu2yNnSh|LNO=;njE7_j$;kSdl?boh;{;p0F`V~fTTm1-mR=MkR~gYKa3 zS=%;r-%@(-Mxk{M$-$JA&6xKIC|W}I=GPOyx{5AXP#-XsGiXGs!gtfWk)ih0=3&9( zj-D(4=TjHY=K!i0x<)_^@pa&0IL_y7V8rQ`^uUl^C%jvyOsD1mqb+y)0Qj%ZnG|wE zOZZRoAt#U|HAza-6t7XhaqV*}hE6NYSF6Zytm$mWD`My++Aq@ZmrT3W>WthA^ymi^ z3%{`Uaq{#yAk4JLhdtXXK?#=VHY@Ugfk*a>kVh9;LkX3(baj{$GeCeMKI##(aU}&6 zR(-^K4Pb0-8?TCniQC}j0bHGC1EXV{S7lPfq-%TeCk^V1mgX!=bgZw}mVfn)Xv8M9 z@<#=p@@9pe-Y&&Bw2?yG$NKyXtXy!$6MKr*U+C(H&N13tH|r*i=uIOzawP+mVQ4~D z43u!LR>t8m0%GutUAqE=2smCkGsms8B=XqA= zu7t5_6u)AsgsGuW$QaC>b;T(>UC+00td$|%Hn=1Zs*8xjC9nG|TdW4GKFqio#i)Q* z+{8z8+@l&Z5h0@Q1?HvuGcNVsyJr=(I@$e>YcWH@cuTA|yVlygV#SP;<5f%#&SOox z60YacPYbb{#N-x{!*kQyD@$*6-C-Dd-ZI#|f44vN9&Ws4yt~iFCD84VdOP%*TXE~4 zC^554y*G60Z=v$vrmg-xw0xM4{Ibf+@4VpR{FZf8N;?gKrl5-05^wg43KMb}TxlOj zBGNDL!PLleceFGF1Ot)5xtn-d(o4ktldY#1Z2iz`$*H^MqUmk-UZZ*d1(x;2 zH{9D8kci z$2ygm&cwu8h36b9JXJF%K{HmpiBz;2{FVFsQJiYvtp6&0euzbSI3svY9;MiLkX1k` zW}%FkP(;dv#-~dF4W?1BG+#OY0EmxHF7%Ggd1g$`lpr{7BjM*i$iy`j0OKBJ^p~7O zigu0zeqDc`RT+AjrLpg5pmKlQISD*Vdhm~cV54dpYE|nE&;&iF)Y3aM;-XG$E11K? zr|i*)3D(j9IbYakY3D-N9x?s`Iqap4%7oMeM>(+1!Hj>^i2-$8Dyj4U0@z7ml>2K8 z1TgFcisOr?$ow=zCz)BeGc*;=)7n6*-Z&r~Bc10L(nI9H4F} zG>^U>xop3+g~{cqC~4RZ#_0;3LAgY3&g|`akx^JM(x!hBFtvyz^(A+YF?DSih8Tw3 zk}_ZQ2WH)KfeB-%Y=xGR0|}V)8>h03t$o1qX*52cOr4#5z|?-mxSy`84M%dqWwW3O zCw1hPBAt9D4y;=&*=_!nER>R{4#cvF`n#*Ezyp&|EIYzz`VOzMl|D|hWQ@uNhRhoq zD4LmLr)?=jf(0@kiXN;MvS?8WUxMVhtMoBOb6_SK@gQi;EP;WHi-v}uTLB%K#nQ#$9wYN)u(q~%TCjX(Q)i1YmJ6D&uLJwCgp9BR3V#g=yF_z6P|?>5mW68 z=}A_RiQlzaD2eUW?K#|c^Iw8b=&qp@lqy2I+7XojCz&Ncw6qxXX{M_eYaRhO zhA1bI-vC_9fWs7u=quEdrC65oC zn?2hGcn~ z48QNx)b@<_IN$GmH*zheL}Z%#>^a$2rg*G`q6{$czjXd>ECmPH>`At_c>X&#*_S=>XNu+J66UKT?SJlphN*SG|N z9w2zM;~H+*SmH`vfFH2Xk~>{*$*(9_>Zi$_L~>2CA}-Cew292?s6A6~%n<4sAgnlK zjS6IK#Y)J6z_;y3lSejz`A6|3!N7BXJc$A5A~JRD+2Z|!e>L5JIKmcPJW4k4UGd}; zC8U<^xP!;3Un^$)^JkLX-uGP5ZqNZP^%7n^3+<_uQ<(;V2Ur?9b*UDIAu4u3l^`N3eLker1AQZ1 zIJit~C*2is4Zw{42Hg7hu;*MnfxFuxuo^`fjjIQ4{;7V#1*}D_K8vWWtpkAJMNIgi zPwVMhjd6cPqC?LP`H1O~l}M9mjDDV|`*Tk)F5Pwa7itvaHoDm;EI6z{aap`A=iJCW z|L%;@Bz(tfM+*fI#~NYmGt~zorX_&MN`ges^97I)8zWX&c6E~3m4FWM>^L8{4OLj1 zP!^=u!21(RG}?)pj6;HCHPZoU@96ezX^TpPa!%H9&P@PN_8L~J6iMjAxz6#yDldF# ziPI(RfdWD`?k@U&{{|sMSjpneDf=wUA6o81YS{B!;npi``&EfaV{5z8YT1GML-Gi##K{Bz zo7}2P8yj)gwatsv*PngOzaJ}}s>E2Ca`_Wt$=TPykFr*2KQ`j871@_HZe~QC!NT>V z;zXwYf#YT-)@UE6P%@P{5tec*KWj6_!x=llOP5dI%$sS#|5|Yj6alAAyeTqBAhp-B zTUN6}NXpyNs0}Ut3xEbfWUTqD>~m&<@(<9OFhA<3Q!<0cPL_s0GLjytqa96TaZP$! z_bRlG(2!10soYV|qViH?ZeeE(!}1PYwIs=M4sWN44Z|5(Ac^Di%}^Q#HG={CS-Vv* z2X6ChDdY(lr=o)f3Li9uS0QouRtnG~1^zRR3maPfK?z=UclQjk1Jt{Bi0H9;!4a5Y>Bw`5b=mH|6wfhOmQCmq9C2wu3=}^%+ zY&Kh8w?G0v3xGF5DAn1BB?dEC5NejcYcYgBug!2~gfoNGTlbx%{Q&Fo%kP}RSC-pC z`|TD=>vl>^y&jHXZg6#B=;1iY`7RL7?T7 zn0VlEBG%0k?(hJ|cU(d?JpeinAluoXYS*w(%`0~S{zRGf>i5>?Ic-fTM(%aMSoJ2M ziBsO7MhHYk(y!f8kuJpOpcH-$cblDlnWPD9h9vu4(}qq9?>|0oXSXgqS^a1xuaBJJ ze2_D*D#XJ)T>HEhGL-E=RcYLB1~t22=3tPg`T22owbon=4w6>dzXk6s%Yb=#a<${r zw%%XxeFW(j%&43JqZIl#j`?_az440xF{Awb0t;vX@sDN-_-z^eM6K?{iFKGz-jJi#%Mf#u8pI z0d^Yb&WP(bsuJ3*je9uhG+vAM{7&#xu|~89tY#)p2$*=6b-IJ*Q>o)A}lZ+zW#pEkRZTPcO}LL%~d#O-}Awm-3?Q7|`8~pQFg+<>>ey z5Vzfta;TTS1!lR3YP_ykrMwBovDaBW5n90DS4Cqoz>daEc9oh)WIpEEy7x4B2fvv; z+6+>^+ZHIrHC;uih$9oK>JKX(Jk*3jHWXSTayQ`nwg4qMKaPyflrG8X>f?%Y?w^Tb*F1nD~MX3f#lJeUDNUJhFj? z@VKMZvL_zx-e_X|ZaG3|2s-=En)!x-#ohe^G2U8X+!c!>GZbwsy{_47W1ws{!1B-?`^yf<@3C_MM+R#Q=1j_5LRLEMIo+7qBGa;H!+I zpn+sLThwauwKJNw?T=|BXJWHAn0yp_rEiwX+MP z_n0(2S2(o<9U=stH}lii^w3=PA7xdCXLBo~5>BW>Kz=78Pkt}MBffpndjMfw&0V{l z#jftU)fPIRKl-&VD4e7Xi>Z-xZF6?y{OzwAkAW9>z)2lE-}S_UA;ew@6~7D?#GN+{ zVd(>YoOuUv^IVoQvqY>h>5C7)aFEBu{rXt#p26|Fa~WVfz6X;>p$tJGYafJMrR@L| z<>QV!7qy>=EWu@+)o5E#0R0HBndW_2Hw$Du5|`OcC%F8Thcz&Szw&>mawCyb+gNH-FgsMA4ol;i}O2Um7ieEyePLGSm~Oit$KUZ9jZU9S#1yp z#-V0U5j3#NR*%{FC%SA9D3)IK75MAv=mGWaIv-rbuEvnzlKu2Zhg9dy1nRhqD5yC8 zhq7!_51&G5A3S=(SamFA{3&*+i!Zukpb0`6OrZ-c4R(im>;Qx~ejM&9*AJu-Z7RKGC@~RfLM~&Gq@h zJaVW^gm7>p_Xr>ej}$^z+g0E9Z^o)0HSOb0ykmZ1wS741yx&Y#cD+ReC=yF^;QKzk zglIzBwomI&qHoOh1)@q&nKT5 zwh`Jz;S#|`fh9p7vDrKJi~8m;p8rIs@jJ#tuFY>6>7>}y))Wygrqwa819Mwd=j7@R zyG8Hnk=c`AUH$!1kJ=+i3ffsB5bup2Eok5&hnqUxl~ijVM`p@f3ALCBrrj!^@Olz zk!mc>q}=If6E=wSdMK=jf`bnt$@&7gw~<>YtLz%Xrm*dD^J<>f*X-nbIupHCjYWmU zmm)u$G=4gJv8x0cEp`~O*H=dSAxll1QnUhh3-Vm5odVIK5z9RusO zm&#=kaKy+je$QUU=g*UOd~s?y>NBX-{^X9xmRV{0e$e}3FW=+O^E!J4r~A@&}v6t|fX1lx#x$6OjTHW6Jf7-o%2g!BfN_$e8s8RFO7rbyNO$-NXmFjCRxiAZBG!_%A_ycIZ z08)`88$DDAgb4Qz@&5Ybmgs?`AU5B`jBgDaeOY7oNSUp%mrj?W^5`J@w^PUcCNemE z_P%WJ}JPm-f-V22eq$P0g;nnxWpB#|KcUc%F6u9|BWbG}&wA zx+z?y$pY&cKnX4*{an>W@WXPfP zHu|=J`zTaVyr8AGqr*G&yKupH0F3bI`JQ&hLrk1Y)cww9q?ws7xA+ToCm{Pv7zjMH zA{#ARFoWTl8CA0E7!BrPdG^HqJdX|#Ayr_d0W*wU;UZqPr36)N>e`US_={C6IbJ;cP7Z3j< zartVOudEMq{!vrde)P(g;%U&5($iM7I2uKM68w274(k^@6 zdK@^m$eBKQOW|*CVNjSZ;osO4fpY-G@7nYosO$&Ra1H(O1XR488ILrd zcSsqNZeW6^j&GjD^up*M>V;SdzkN?n&$Oq_628(g5em^&vqEr6L?-sY_=$$^t>JK& z!oY_hO&+mNavz#A&N50~;PR|^<6YkG3c({y(zX65^@ig_{b?TTOdJ`*b-yBtdg!qU zl7xXH-|@wYSknJzRxuyK1c;PDYXn-NO1LGV^h)i9i~sAA~5M1Q`%8wmq(>U zd%Lqfa=@%_!+fTQW3$Gmj(@XN)Iy*MAU#fOikwZxPZ@|{TDczP*GO=?I3jx+D$fO$ z2kyOBl_eeY`*(?D)%x-@apoJ%gBEcRbA;p9x`Hn}nc;j!a@c;(pwQAUv|;GsBg`8` z5rT~{Tw(-#X^^Imc3`~#lqO;=@|7!lE{Npdv_wg3EJWd&LIFu!-F;EN1iI|qg;Ie5 zG`;OLjVmCJF>%|0e|YGrl+r8C>n{!5Q5j7St!49Jfb&0Gj z!C~fn(AaFDE=WJ=8BPZO`U*O1@o*$juIBSn7!BO_yQ|Gk0<6YO)S<&SKQdf@G1T0I z2qpz>AVic_ja3gMiE}rtA91pzJ%ckjW2_xqDTs0^p$TIv)hUv4lz2Yr@9kwCn^2M% z`;d%L3Yq%_DPi>Dy43ddOK*#Cgl>Pn837+_@5dpNitSLdf*tEaR98$9w*4|T7dYrb zvuh+m@UXaoI`C1PFo*4WhqEYo!K?qu4#iyRg3h+mqZEWC=$P#wT@gp+118-0@%o~S4A!j)=QmJOTMZ{)C)~$ zKa=hbr^uqBQ53Fj5fKp-TJ+D$1Z&pyG3gAA z*I4}wRg#fV`}Zjy{?ByiJnU-TC#HF=n`=~Q^MCJ>??3AQ#KaT8)8mC>t;M&%u4c~{ zD}0b+M5B7@Oi4Bsd=+EGAku3v{sVW?By&q|m8O>bZ{G*_TU*CriwpDn?}~ks<^Y;q z#$dyMmdrL#9@ZW5;M^THq`2C$-9`$Lwyl%BKOUA6jk*TtWA`n>q*2QY2V*Wr+^TG7 z)2#GbhQiD=x6x3)7MQIvl`Zk}05ME<>?%Q8co~b+;yX%VUi2Av)4YlROtV8w1l$qQ z4$G;M{sbr>l@-_$irxG)^fVd-YnBwf-553{0``HNRgN)n>Z-VT-~?0)$Zy^LD@(Gs z{ZoSZfL#elt^jCKcp4PhF{y&`KCpG<3~+Zi{8^^oIVK@%Xhd|BxDSm2H0<|a^cgyA zo-s;hrU0ZC*nkK(s{&Qc1gJ`py?qi8OE?BlIQKK4A=q_gJR|_#7*ssLx54mSl?sF8RW4EvD3WH zQ6K?2X4fL2o%h;L#}ac$%3ZugNKvXY%AfA!ZWZekpCaAzm+Q<4S(K?-lJTk#(npan zgdm_mbm&)ZNo-s*21904XkBvLjPP{K$*{v-P$5ga)k8YdstlwSOi)R2WgO>ZOzTEvkTTRTb{kxFQ50}#ws%wIO zA5bReuIJ^A$#(dh%qgy~-*_S?ZzB&!18q}N>o7{N{2jdL;3@?8Tg+8kREAM|pi+gL^7LPkiZ+|Wui~4>5 zZO)d|#DlZ;ZTvW^&Z*>1;u#-pf}H#^*Om}$G?9E(tKDncNnSi2V|sCo+D8pmmi+DN zK5ieC__wRi^Bc;#-}yBk8EU-Unl4)&%3ksUTSLW1XE;4N=Ao8-8gJT^dncqH&42hg z&(F!N#9EVVv#;F0oLqtET4U9PvFot|O-38eOBn|WJd7+Q|FxHUwvY%Aq9koVPSiMm zwdTFPXF1>p8NnD1J;X}wvHhN}zdoQ*M_3beYw|nsB`aL7nPIn9?m1>wy z=fj(`gL=QTB=7#oG@

=#lTy#A(Jn6}^F;&5z>VH07&3TkS7U8bclXk%bfn>|Oiq z;ZDXBFdgbeVb5!*cpzu{0oT-AL_KgCcE_2u7%4`E6|2qWy^tYhqGEyuaNn}pm-*n? zSoyF|dm{=PG044g(?YnTB|&N5c)ud`aUoL)FL<`N8kL-=6&fW0YnM!qdDt#}VEs!? zdN#Y>1x1+v*)H{#&19Q}o(Y!>R7l2+vxRz1ImN_@MolVi9K7GZvg?g%iMYCYV7r~0 zP115 z#St<^l@Y| zi!^tpFw;6biPAjv9;41fGMcJ8e|N9ZbsIKY=Mk9!T$3(^j6_O_FOYi- z!NqYHc1{ZZd3g%fJMaFHQ-_^6x*GlIa(ON*MwWJtK9$1UAdBtf2;|Lr>}TlUNSrP0 zC_*EIc$2iCT6MGmwv9DiHpdgiMFcH^@nkK9;qd^IEZquJSnY#%K#x8?j1>{^3eg#G z)h@ADi1kLP$vUIj5GsqtZQ9>I-8BpzZ^S)4o!#zk1cATa86zWJ^kOLBrqUTkUHhAP zp#z}(zswbw5(eufza_OvW@le(6+xN<4X9%UMH>` zFn`+2C92%@xh?&M>Wx_ zR=ScCah6e}$ybe-%q=`)Y6;$-Urxa}V^;c0YM;gYYha?l!h!X}lB`7?gO@=)4;#pX z4L(JGErHYZd~*&Y*nPW(a%cZzqPJ9>-L0Vut#hOV6mWbqZ9$q9TVSk)rGpK4Q`|** zAEPTu2woT?hg5m2403YB>L`Hbh3$O)-F|u3bK%GP!~csz`&negf6HO<=5`371%1A# zvDVV)Rk!~AYU-n*^|W>wJ)9@+AG6?m_zA%J-1GbL&SX3r`^VxiKh-0ANf6ihOI95b z2kZ`r7rpBBwtk7iucZApZpJg~WnRjc^<1GWz}?}fQNazyW-3=QoEUf5(lV{QYxr>w z`l*((M_7>NBp~jm7{}U`X>Ks-u%op>(67?fTck6nffz=|J}4&IiB5VQ|CcVZ2}X^x zO|EwOo|&vl)-x4R1l5!xWjtgKQ)EZjPiPT1^GgAQgvj+?U(GcYW9Qb94Q!2}cPTf< zyLrxx{pKgMUgw=F{Lv?i_ZevzM-)J~U&W9j! zz)v+x2uq9T3e1BcD1Xyf-tqX89i{pXU?nHXOxYKsV}Gc#q{)|}D=`GHU04uE zq>&dVUpcC;q@XVpFeQ!??Mvt%Nm( zD&gh=?mW*{ocfQOQ0r0-nK7fjTy|{Ih#16PorRyKO0CCmiDDL;3yYDNmKI6k!K?KZ zFTke>|K0HK0fKKd-)O)6_(s>>s7gPW55dgJ#FFmuKu`4FDC>d#575SCo1^Ko&LA-U zcE?$$Cz4j9%5#x(0khDrHtMGZ}BN?_`>2a`0t+iO+XAp zAwN|Ywd+GpMaTlK1kjT#hF$X@m&q(Jwy~c!SWVzCL>UGnr6G}Q0J^-GTX6v96xP?- zlUi*!7^QFD6fd;BbSxN4fO=NRbH7j>&LB;mS`C`0v6r?88rB#h_A8jTUur;mwm(=y ze}5QxGJuFww1S|9I+X?jf?6(+KNYid#PV;^12TC^5xk#V-)pur|b)?y8|=0*O$Fgf5mhq~80uXk2VI55BZJ1H}@6J5OeVXo>g` zzOr5rb&}mOEFef>8zW5ZNvLP%!`+es;O^0x*-xW(M1sVChycz@-A^Z40r2v$Aoh8_ zUmW`QrMEPC3MFUcYjjX&D}=FHLIeU|fVYo@NN8bX6^|KE5f}K6lCNjnDr3A~hO`C} zjfczkVyb7{hwM;ZP&y{X_d5k+bC$ z@MzSH1C$bcOSaVKP)oppUCA`1dxSz#3~uomE$#=l5NEgJcnxFG*DC|J}KTt9HSUz^MdatVA>G)!Y7eQiBASo9@zce z+`(2lw3w zy{S$K(N_(+&XyQS5;#JFV?{F&%%q|VcOLwt^pnwWrdXCcFSLpyF>6) z(n!Hj&D7#kM$su-5r4yqgLWZioRh-ErL1O2J!Ez6!J7m8(viJQ{FEy4v+viHNOk#9 zwVE#L>-A!p>-3kCD|~tU`1SG0lfRvR)}O28x}H}rChIRRPB3FOxm*dGr#^nX_$EF+ zB>WFGJPef<@F-y#dAOQZsQE1}F!IUd`gv7feraBLAiq6S>Oh{XC$oBbIKP}#7|;ju z-MYH^1+;b`e{B~P1@`zdS@H((gWRYi)Csv$xeK`~a~E@Wm^x=3WLb}EoS;yD@ZwIv zi^E+&I6i!K`23^~!rK@B1_Td==wVQF5h!l-FZ$XSTisnpcO84W&+Ed(zDmBhk4i6J zy#Mvh8>lpYTrXzzd~YOyg!%G+-T$};*Cz;b*-vt<8j4`j$%f46+4uV zzLRJ2z5F02^0S=E>0-8+gAujE`VS(e_G0w zT+8*BWmU=b*M;23Kjl~XO@5dEs+NmB>iRyYzx(jy#mirMs6W0P_K;zJM;+3|J(?cw zUiWafdvI4q@Aas|0qm#pMGy9$2e3DQFE-1B_?Pe3U#j^o@EPMVJb`8(NP8b3-=7@* z{ncv%xedzO{nxcXD(!B71kd*!*!F-ldw>k_794jS_#YiK-)!-09r^QeGX1?;C--cg zvlsR~e7d;)p2yGS`C>MIn=E00B!aB2&L^ucvYO}a+jKU$YNFxdpEcS{Uete9Bi8y~ z`FmrrIS{;CybL1d{PQf$Y+v%^K`^bVt2!&Qs{X{utNNQ<%_!}jFdGRpe;@xiJ^t|g z=%nu-w?>-LWgBVyMaR}blDk%y-%g%EpVjx(9(96v7+GtVyy2O$OQgN}F1_Ap zLind+-euXk@KYf1QfSA^MxNNpr$?Ii(1>)H(=ZLsj z#W{WSMl#aV`E+q!&o7}}eQ{A?!)dh=A9Wzx;+E2Nys?viaR+UDy7A!buc-TzHzp^h zlV(yRVWXVSv4DHmmL1>*W0?kVcav&RJGZ$8o+sZUwB-j8Lla*)rc$-U-%W1A=o%@~ zHW_;xDxdCzg7UYd1fkV7L#2Er5@ZnmVxfw=5+8vlg{_E4-U9-j|F(ceX^X|ZP zoDcxu2HPTli#Q=@91n$27Xndw68b)$3ta{O8?TEu#nIiC>9(MMo~TD_6L`T;tc^p-^Thlnx!KlvX!#xeU(M{OK>tJCc_7mvqn7aVV-A zifY||UQxqcM2+_sbUi`>tO@VRv}Ql|2{m9bEMeu4-3SbAMU)U6ls126Yb-D0Xm- zyRzE*%R0Pr3}xIQDz7>+`i_Wp1Uz?tfd+SfhM_z=Y-GBSm1Resa#x;_Jo9>TS>d23 ziw#Z(LHwgWXFgAUEMormB&zVa*Uh_0?}J?WYO@B5a7Lr zkE}G?mBs#*rtAn{{q8mPpZ?Wwv)K zTrzk|d)eR*ZT~R6g7H(baU#Yrq>k+us7H;K7x5+C<1W;Rq)osqI zdU*G6YK2QU={`7h0Rrbo-}(4_ z@%3zRw48iBoWJ@y!`JL0&DRsq{&HDO*Pxfx>Eg1Uaz;Z!^0dCH*8^$yuKP59R549F z-Atf{=^TlX4Tf}Q=xud9sh1F*eD`#@OuDO#csphBdA9h5b;Zu$5pKn^1uldHth?sj zW{Qi(HO`N*JG{7l1H07g@6@J?!TV}P zb5-a3(AeXmzT7OUAE%RR-mrdu)Yz;s@-;HakLrQQHOP+qS)g{-j?ihGyV=fe<^g|` z(iyPCr#r*JF&kx8uroyZAIjhcL)<8{URSR6%2>;b=sx`_C6#vO=?p4z_wMaC#(ZIe#P*h>AiX$cClgWBATU;LG(nvH{ z%WZkn;mw4(ims*A%jyN{Ecx@QYA4HI>gsE?1WmWUuz2)H9@VSs+2lLK%>2AwZmOSt zLOz&Z{!q;y$QRXmatLlfMHgeq{rm%8-ou7gT!Eo^LTusr?)OPeNkHvR!=L?R&}ArgseSV)AWgy(x~KKbRm z^E~rD&pEG%$X^x7ib`ftYD5yzbfV~KOT>1O6l$PAt&fy}1X5}{Nz0%Xiqv+HmO~wE zf2Fpav;tNF+uJr$Jv6{5wO&#qG{IhKfs}=27^7AuwLlIIQ7e&Jp$!gGw%3>}b%4bTZ2p$j&FzjH~Yw&M5K4Lxki3S+IY!uYYVsrgej zFfKcpfh%wsF2Px-s^stZra?QGGM@a_fBZWAp8KJ!l3Vbn-j6=*m>d@Eu2#Kv5l+D% z48bt$h7s5Y16p{U`iecg8Yed{!Z@_~u};G|n1=1eaKUj7DwhiWwrPxcxu+tt)HG+wEXy? zr<{fdJ)T-MJi64L@Fp3HD}g%0FNDYkQaU1}-29H8eB|B_%~qMhZf&z`_6k delta 19721 zcmXuqQ*b6gmj>Y2wr$(Cor&#aV)KhLv2EM7t%+^h#%%WgcQ2l*bJ10O(_M9{&)fdd zZNND(ZNPP!5Fkvn4W|t*6yFyO%iPe421}r>6SE2F%W&10tNP@18FIfo zaqaz3OnB+xIiD|%zwk&!#anCZ>(fEv`!NzP+@<|>YhEMfz1el+HycOeYvhQ-Q6DuY zgE#k{$B=e(`&v{WE3gM^ESbKp*BLdZktI2dVtrYiF1!X}3fn#XFMzO;iMz8_3VL3j z-#K@!J4#zm3|o5(PS=z(1fzM#&w9BU52Htt?OBE+>6vxGlSg%HA|5rVU~LH(l{RZ1 zu+QG!0A2%+_=lHFRXVO-Pr(--Jzr0N>z#wqdCjc-?b*Tb(b3m1CXM0+9HHGwK;x%_ zqhe=QTX$#A>yuh74IpRO4kfflH;FQM5>zu&d%^cXjpJeLO&ZkCk1I9Xye?c!h?L`C zy+Zi1Qy2=j@=$+_WPmzpj?b2E&!w_u^;x`oWQC=ArPC$bq*548`_$8Tx z%Yyh~@0NLWvRS?`k;BkZaxkx!=*jJ_Q2%EpR<_ecb5Un|xL;(podw}{#yM`M`677r zK=u*E&Al}Ga*;J%RYPoGW?^2m z?{6pWGD5Bm3_!)9=QkA#p9z(myAy4EqqS*j4v%Z+6VHulU&WTtI6C~i{UWvK_%Fyi zzCX$2N2X289#c+dfr<~{7Mf^W_@Uft6|12Jo0NQ2)YtjRdZlgxYp#7;Ob8>ueG-r( zSqlBY;tQ;H4lD5{tda*vt0QL;%TCtKV&lcT#!kGPMq zgS225BwS)W;0UnCUO8#>9#Hu?L}FR8YF;nUygMf*0I)pkb(*Ukyg(eN0uN)6JiO+kQY-V1(v4!FjmeQ?*>_*rq z@6ic77htWHAq9$pi(mV3SMju;^AQMk{&6=k#MjrlCm+&a9#m6IN9RC_tseMA7a>%c zL+ClLt-InWoy>$bgLwb1*)0ps{@@$mW7g3ZH^P17?$3!EtdXIvm_5N$auga+SM>Ma z9+2!>majV#Q0y$Bz&vLAr2#ayY>lXJ+pX37} zv+G5b*)EgrneyGq9}!Z0MBAOka6s34S6^h=8vx!<%Iw*3v!9u1C~?Si^Mx>-ZYRuI zdYvsc=*DN3HRL718`BMqjDTU-3t>JvH}?d5d_Qy^EnQ6;f>&;=0)xa)eIf-4A;mMW z1GZzRVtEZDy`@Pwk+<6@U-Uh(EaE2*JT|Z6>C{U2g;tv#hs&$ z&7$#e;bnwyP5%{C+_%vBl{o?F(mZb;+#nxAFrHh{bpPuqlN*y$8blOo2qw0Zl-!Zk zk?MA^Hm=X6L;x@9S9t5%vUYjX0#Z4G0k{wqfDb~bE2lsJ>DQ)8yv1Xfy{n<%oF0?D zf!(C^$7$tXh95_cE?8MVQFuS4({kbKQKS~i>2NernGRbXG6-pT?U!8D`7r?t?KsEE z;qjcOxtq3}V!2CNDh`&FAKJ_3c}df^phX!CTZ+d&bdPly+&Y3^gEi419}4-u14!J& zg_=47*^z)T#FCBtducV@8OMPPWP$R8`}&}f8U2p-=h&B*;*r7ZzzQ}YjUO)if|jfv z5%67-Tr+>6mnV&3MBZ}5$gFnIvLf23%^1kjYwk;sH0bc}TWZffdQrEyS4 zX;9a*B9<~3)8cQavgyhp`j5j!01$R9`xMXx!^(9cK7<8yDuyC#NdpYDuxM<#1%~-! zLG#3Yy2So1N$}-8U=_WUt&s}P$;C6i)20G_ANEds*Ma~l#>`zF=lwm zXgXFO389%!|Dq>x5I6!PBIc`dYA=D$P+Zm31*qe~1h~)C^(Pt`Q-O6i+|*?ymB}G& z*sg1N+U)j~8*d36D0Nt$FV!@E%Jf^v9-uE;Xa717i*=(wd5xB`2OL`IV2m8dd0eCK zh(Kf*ni4iYgP<`-weN1q2ktUv;C}qYpVq6_zc~^^OEv4L)WFUBU{m*#yTGrq>IbzD zY=dzneF)-Ap(s;2We%fS<^h6e=P{K)W%wSgA?3s!2g3FR=eAf{{3`h{*f8Z5A;MLK zh&4fQ=%+Thv~+PZ0cf(`TH2U}yG>tM8D@GKd|Hv9zhjufoc+pAxzcuU{#)joT~(ujr-m1yhQ}}mB-)6?b=YAc z(OH7q&eh#DC__wydYq8*9;|6<7sytEmV#wBx!Xsu433S$0P?VEm+W*zrVz@j-2NpS zcSLz;tNU8ZRhYDQz=$Lk#_l;9Lm;;siB!e7D@Swqi;wakt(?2K>+pDQfQT0Z6Wm{s zQkUdpN!H`SFz4v)pu4Lwredo;WQj7=vd;~{(+p1NA+DF^Bj;!zJZBnrYkk(s${r}C z`0J+m*qxIK0fdqD2obC>h*${z)UIHqu?h@383!6#3a$9$H9Xe8Cz?W?0kMRY;!`vT z$eT#q^=sU_!QXWiJiiOPhY3LJL}bQsLyC`xJpvuJXK_HwNuLXElhU)G%sdTIBjPcL zrJ3;&b|LW19zg?-wX1|U=FQR<+`?1)95~#PTQ(C+1N- zwjE47cdjkPrik{0Z3FLBEgc1DhB4>soSNYc$7S_6tlY>>PK*v=at%!bZ4oE1U0ooj zJRX-mU_DM$`=l>OQ;|8^9hHz=-6}|%R&L{u^y+IM#U+NPRaZ(YSvcFRHjV}(jyGB9 zd!?Hx03fG#O<@)_zdVG-pXeOnIO`Cl+1Q zvweI`8{y82p7@#mMOteK&yyxnz1(gZj8nh47$Tld7k)l7*jI}5 z!)#HEZN1j37Vl6mOh>rR(M|>Iht{CndQlG!0Mr|Ybq(|k4c9o-X*5!lQkxb{_%0%0 zrz%XI#Ph6rV;Oi1p$a%e_-xA5q32Nq)uh_0>(tD)L>mY|RY2i3(%bmrBtnoD1x^OH zYMbW4UfY0Z=bl>IQ{I(L2R)cCiLOd1{#4VZVUa1+UZo$kK%1oF;S{lwB4lc)%7|Q! z0=CH7r~`OLYQDRCaEKc9#}x zoT~qY9OaUStK$j-w9Ux4YL7Aod4tRn+)>}L>2aLx;2mfiU?8%>QrfB|~e8VwJ zqsMvtjT!ffLy6kwKWGYj9Jom+|0+*}qd-gn!iKDUHCb*+alzEg#y}10wN6++rl4#x zg(1X3oJ&u(;{_?;uE*b1Tp2(XfhmY7m<%ofKupc{?YGCU$Q3w?Bm{PArF=*15$}4R zMI>VIrvoce8i34@d*lp<{``j;gyA-ssDxq+=xb%vnHlUW@JeVM8IVM7imFWGjk!#|;DcBMu?D6(`ea;@6*CR;rBy&?N)k_Esp>xxs z5lyG)EIqh>*)_0#(Zb{VdUpfFS)uum4wFWI>qUP(d=nMq5m-t{JnX+<>Xke9hNOmG5?8UZ4E4osqM$k8Zg@d${Q# z!N2xfzVpkLdOGf;v-ugZUYA-o05Pj3Oco_3B%O~m>%S|t_O^lgPtF%-@QLSKQYIj9?sdtz1co!VG&@PgC{fDCn&Xrvwye26su4bLZH|N~O^L?6Mi`g5o zFn8d`mhxg45nPl3YfS}kLlbaZ0BX`@$f^bb!*fks-)lJe#B@W4s@h-knfZDtHk*cW z{P*Up>X_QX>vs5AYGaS_l0oR>z9QB~% zYXPQ8$`lb6KMnQ3sFa0qowdW< zNx@8ymaa&)x|)%G^Ud&U^Mm#hMM{aoArE0Wy;`<1U6~#ZYjes?FX}KeU9mX-Rdf6J z3o=N8^$ZD)h`*e-jZiTQ0HJzF*_Q&il5u;&vmlQU;7n+#RsT@zU&Z(aRaZuNr=^8Z zqOkZ@$E=Ihu<*iN_GyX?&X04;Q-=?>?VC7kQ3XCGi&ao2{Stbgs0b@tS~}T-n(TP5 zr!Laao=Osj9(9%y#gGD~3}1_QR-2~}A=v3Pj~{QwiQq~~Y)0^d0E$u9B_C56U&&r9 zGl%Rv6MlO!h$LKw;b&H!iQ9M#qRINdI+6;FOf#$VCFbbQLR4mRwxQ%Lebic!lpO(w zO>X7y*OnquMkEe&$Co@~Z5-};kk#?L1-Y&Zb&^)9Pus&eD`>LH4c8o)#Z6GFy z1{ukt;~3^c9WHm&0JwGUc!Xl!@Kx$#st->U)Ud?q&=cWiddxg3pjYRd#q{oAbVg2M z4A2N^y*<(=Q$wr!ZGGZ3(lB)hCv%Rf23O5?6Uk_Z%IY)eW-SLCp#Wc5LV5}W-uY~T zX6qJHZ`Qr<4Cr+@@LroU0^jI?l1QA^dG6|QDmfX9+0dL^fVJe-a%MTXi4GwLsr*Zl z3{T@a1HU24&K>afxF=_*980Qg8GE#PA`gqkY@%J73U4Yt2v$lIfn|MxiKZRFi3+Cu zP)r0;K9>yt3iXYfFtvdlDGYgslUtCIh|LH(W?fHVrlh2BD=~dHpqi6fPOt#4=On^>C{Q45f6yJ-%Vjj zzNA_RqXGV=Cx(HOu0SUAYQ2;ghu76LtW*mLa}SKa5>##BZqGnI$<26ef2SX5YJhf9 z#^4Ud$Lc$CS!bd#39FF~V^ZN@OR1{8sm3I19|bm@TPy240Q?dlCw@S>(TevHWuu8T-Va2P5vcB% zN}sAuCz#GAn10GX(*;$bpoXKQHNv%yNsoBbN&#AM!@%T>cc!DcMx+)n+NJ{akWZBodq#XrCK)I7J`20T7VLd zO%G=|Rl?>GyN6HS&!W{5^23?ktbCbfZ0zO8i>HT)PjQ5RaAcmNHeJEIFaC>-J`9Zn zVasfk0F)^v`3k*riJL@!!l&<|<4Vtp0Z62m!FG_c$(L^@pM@PGBwwif@IbF-1sIo6-? zXaJwI8(K8wit8Ork&jpGi~qZ$(L=id@*kJ`^J`F}u3T!8Nuii^PusN~$d;$F0I+Q$ zq=qRJ8TRdB_|%`o(WEg)sa8+^b--uDpgZ7W*}4hUvyj@JUT;@Tyf-OhQ)0dcj2hRy z{)GVgOH~&num&K{5lHTd)!8&{tjF`Ua#(P4s4W4+dfq;FJOD3&jpbTFe;>4zj{or( z6q)!!Vr0aw6V|CyqEoYn-jcn!2l(!BD!^)RhU=b<*x3(JtCt&O+4=Jn(0RRsVLHx& z<`*7_?>E=^fE0F@+J@5amukCEm7RHq9Q6io>KEuTMyVHv2sbYFV$JbDR0t=Kz>a#L z=aTlt?{bP9TgVo5;34m00(`0(QKoB;tRp{65~^Om{S=Uv(LuTdrU+Vc2AGXVm+(IV z%YcQL2pq=PQ536lQC=HiL%DWUpQOn}WX2FBn^xSv(Um;#BoLf#Gp7|{+F7SWOUr<3 zRW|KCMX!$R9K$YYzS}?-zI27dKEZ|7bczqD0|C2}!re?n|5bA&Z=RW-CsoWWI8k<9 zZ~RQNGcT&jjtg$k)N$a`rbCd>(?!;ypyoEdmUbUe zsbpAEbz%`=?CGo%sg(lc(b)XpJZQE+8aw)J-BnSC;9W(bucgZ$(gSyF*|G!2+ zpwpbQ({sjwnPVC(hZ-H|pPA#d`0j&?apI0#yn>_ZCY@d@4@IiYKf0UV-*x`EHH5w% zi>ETN*MQodwnoO;Uw{Cgd^Wm&lo;fTpvwCIV$nW;!2lNk^AFw~*e!%}g_<{HX=?C%;lpm-+(0-u*!1#gr1M3I& z51b#kKk$D1@16ud2!9a$ApSw}gY*a45Aq)rt&aGVvu(g!|NEZq2kesCw@eu+Va6(+ zWGKRlGh35Jl&&&nQa~BQ?y3BacV29`)7PI?9yy?5yW&N-2~8 zl&nk)G=FL}Wz}49m3OtquTVY$10VzjW@>#yg8v}X-9qpcxY9*<6Pg8=bnCozX8%&M z4<>_7wHvaq3l$;oIb{RKV1!coFeoM`8u89odhzGO*GE7HUhmz$_> z?}8GAF!c?^Pgf`w#r=AT#!N%OcaS)QWs7sboWz#WPVBE@en5of3+A2uKNb{U!j#LplNHI=#y-GqTcXu{8o&1&48MZJ7VM3kkbJ zu*yW4ISc-zr1180zIzDyXI4-MUf36!LEnN|yED>A?sA@&Fp%TLB-&cXZH#Zs(Wrq5 zIHTr~s~p}AyQEVNjvb1Lk3vXE^Vc-u9iLjiQFJDdBq}qu?yO5H0)URtx_PR~*(&a` z9#!n*$SK$<=E?k-yT0NFp;1PJ1H{u@` zc~=xv{I?|iaT$n+32I;=D*7HW1fQfF7M&CLy%LgwTx!w=Wjt7mq6Jnf^(Lh+7^wPF zU~Bm<3R>f2987T<<)I&sE3kk-p-TpT!MlzFI#IC3`6?9VLS4R#w28V!du0ICe zU&KPfz@1HgAyj3`J#moV6^B9rmWT@GqWQOgqE}S4i)S?TBnnp!W>1(-y<*8pV&ZTM zqJ=(tv(U%~6A^ytmKt5ek8d_KHzv}TFKCGaQR6#_no_)+-WAxKrBL)|5ckU(&uox= zY|76;nQ}(@`=)W0t{6VoK_b$9L*=J`hO=Pc3!<$sWYUQS?trn|49=kReSYPJHuA>UC z6=X(w)oqF%0%UAkTMllIGw>89Cv4B_`{m?h zBcndKR>zoD`h%&XXSWhHtyuk-O21eIMr!78=Mg943~PIr&&R$Gxk}Gxq7=jBiaX$< zr<=!s+(!%lcjRu*L#1u^GUpZdqsrt3Cl`mZ^;^mI);>mCW|7@x|e6-ix@3Nbv z{F;u5)*Ba--kxf|LzVp@7>aGxUONsk^ds| zzQPFfcm!X-p1J12dU5SjP32|jTH)1s&o{Q`viML>oY9^|c_IKucX@7*r1i6;Ewke&sjyOZ7 zQFll?3P%61Y0DyL4MJs;_g|hW%W1^0uGjBo{Kk6HP~W9ToU>wbIQ+jm@U0RmSNW~* zD-vl;Lr{m>L2HEP$0Kev?9+gocdyn)TL&r`Qsq~Ij&rY7<`2*%5g&5tAd(XAr^VN;R*z;0kVBmeqoD3+EOmHQGT49H$)x1Y+c6beVssC+wpQ zG&zt+LGzy}ULX+T;~5+rKf7_9^1(j{y?mYWf~VO5(3a#$^@3GmSFHf$Xd_Gvp>d~Q z7@lNna&=8jY}4V1d-b6H8_QH3YViTDssvIF9eyO}s_ifweV}ZR2n$x!7P{vBY-Ct$GqRHE<$~s$Xzkv8RoIu-5GS_WBUL+aXLa^BfqI`f@ zxi0z0n_4Kh=zq&`pwIxA;-xKW)DQY9ch0wgS@yW{Tubcj@S+SC*4L8X%#LPKIfDdF zM+W*_TokdS&13KfGmfo4PMFwyyGvWn4IvUx+cth3aw)wK(vQIfTTkK2gOxNG<_QgM zxpV2IkQqZululp&H5G#cTzn6>JuUyK3;zzpxJr4FFu1}a+FJ$G*lqHxe*;4pO=kve zZ|s19a`j=Gl$S`x{rPzls89l45{%$;Oi5EXmP(;ae-Lf8Wy69gJl8Oniw1n^)&qLk+CsgRe9usO*%}6OXa6o+AmUz6$6s4*kzJPTG`5C z;8RaGMY;iFeIHcfZ&B^n$~oEVf~AFuR3ajTeE8eaBCI0~1ev{}U`Mvb8zui37NK1o z3YGEk@zCTjiQ3SIvR;OoK|mynO(ZMLl9my+z#MGd7fKB1t)MnWqn2YEqgiwzw&WBO zrAJf(3?T_CZsD$14+uTC9$y<|9v>fi* zl6nZlJRXA2;iatYw>bw(7ELw)PKzR*Vu)oEowhJXh%;&^BKG?mNCDip<87~t4~|JW z;d*`K`E&!Yp{J+CSozy9Vj4Z_y^LArfm#HnW@|{DD=rSLmGjO|HB;#d4Mt=>0jLE$ z>(gM6=$I_!eGtC>?%5`{m~K0SiCggf=x9yRLLbZwdXAX}HHP|k%XV(J_bevvsaSET zRec+)=nE_`gD8=A=P;thzuV0BEQcbUa4@RWLfv@4H>pE*5nLR3=mo0Wh-Rb6r$Rr0 zhV;M$8#%aguu#j%*7sc%bo6CxV7IbQ=*0TE|c@ zj1n-3So!E0brTAlCkrg7BARhuO_X|JfmTP%qss5;`0 z=bz$rQ1XU9nY=1$rzFQ&I#5A0lSE;qWt)8z5M{ntWi2ZVtKJgI;7xyjWCE*iR+i)o(pyb5fuWC=&47vY$B6IWZqdQQ8CS$9rQ?_FNpU&eJCBk8 zPO%V)P`~q>rj_VTW&ZV?4+$!R9M%SP8LTV{Mp+EXY#bA$}i@{p1-CRC&u=ItS8e^KKUz4u) zmX5qP7`cFHIZ!3_(|Rid3V9w|{Zx*hoaHgFyI$IBE%p9M9P5i35`O^jF&E_BVBvXM z8|J74Fr`!iPZ`J10}~cIJsHYt!yL2^PM#S|ir3b!q^+mxd2v z&r(J$eLz`d4`WuLq!HX@9 z3d-+4F8@~Q`34vI*sjO{S+3hzHMI_xilXv6T!(fW*EGBXP72_bT{vKD?KjrWkiwkq zuPbeR@bLB9jK!up_=K?B!K=;aBKgF-ch1`*hoKM&d^9Azf{!8ZX5HVX|0q~$f1nA-v%G@RoS zG<+40!i>)*P|;q5Be#eRdYs3bcm_hIh;f7JxD5~9;#qFFU@!V)f*ZF58@+Q72u;&X zj=0m(XF5X1{US>L>IXOGWUosY%}f7LU!3{g97`5*1=RwxaZsYlhKL~2u1^QC&cY6r-;<$ zjOOU>2qGujeTndn9~=2iKw8ml)0ro8Uo9J*wvL2av}D(2&-}SP9rIiFbh}EK{hr zpa9M}VnUF5l98T%M$jj0k!lSbT7?3O9cP53a{J;g#Dn1Hi7lk8Gf7?@DrPB}8p`pZ zaD@lm{~Q&Jw5jjYmP%G~$0`C{NVmTk12(31$%ti+sZ|qlK(^j+-@E{odSg7@3wu2y zeW^OO4NoTk=P95zR=&*zk?I#!8#Vfo$(iCCd^b% zTtU~B?M0i6l-?Kn5-}uC9gy344Q-g0RoOX{+TJC?@|nBNuE&Pi2&a!KsF&3h!qULT znXgEyW+;NH-N<6CS-4Owj3Z6u?A{k7K5SY!``^KU*^u^dR^GJCS8|DSKCQsw#Tp0D zppNH`-i23z0G#D3KS4J3A=~uso*-`f4O-RLSIe*|{+4>s&T4@u8^s#!d_+>t4Z8)J z*S`)Omsiw}waP*c+HNn;Udar1o@!%?5l(cX-4%#>y$x7Lw$M=o;j2}4>_?R2%n5T~ zdNN6XRT2#FdG&+H1k@5kB$rpB4O8M@em#US`;e*jzzbm=H+t{3&J9CF`gDFii4iDW zC_-&yU~NMy=}8Bt@{gtvh#cf%-v5X!Dkyy13SX}K&Y*|APFt%_*k;;v#~%enF)905 zS@;xXUtri2iuIlYhJJa??n`2uc1ou(U)x;*3=RhQj0W{TZK6PPkGZ|-9euHu*(G+} zf=jsF5B^}>r=d;50Ma;%4aqLDuPxVhhm3=Kp{ShrI-Y@vt`DkL=x)%gP78alg$_8y zf$zFe1@`(X3m|K6m7JS`=zTJr83((Ltjz2X`6_*H5iU?KwhV*1e2m+9+l=2v&?Vym zDg9=9D~VnM=y)-wG^ch=aXjIR`yb=;?&<|Uzo;U56< zvU2F@bSRI~%8v2^8*Lw4Y`r~&@D~&Sw;SRkSWSb$;F1PwmXeTL#`;oKe;jMOo8<6h z{=&!Wm;o1(`*zf39d+xRCu^{POV7^k?f(U`O|Q>qo( z?(Na&#ujL=xx8K@wqEo>Bbp}HY~379q53!4$k2*v1?U|@=Nsxy2Ar#Ko10GplGO-}2%v4Wj-ju801WEC4(fb{{+Ww$YGv7w~TopU+fBzuO3|{qoYK6i+x*JY6<8Ir};Bp(gYe;Ns6q=D8;#QpSh$0YK*ii3f4tsT601Q zGGw4BE+Qvtqke!gLAB00-$4&B&A8iX0}$YTsjL2CV|?(@D4LEOiP>A{6L`Se zwvMjCn=Ff~Y$EC`dPKZU|EFG@BUx{hH|y}Z3$Um@h~7fa!vxuSa&v5H)AQli0?;95 z@m-2Hng$%q64hxQI(EJF^&-|x5gZe|ei=VysrUmb7Oi93Vps^8SiqHIy@1S5h?SUw zKOFf5t5r;JNIWa>C+JL%I3WL(a7kstgI`pDPgXm{vPQx_`H- zrn_xupllb+f)Fz*2&H-Bo5)1le?$6azZF(LRb*Tf$;b1z6RqWJZaU z<;8tYW9;6DZd&e$MzSkRuQ;}Wig9g2M~Z1qT5KPM4_}6#A1XmhtE1 zZ>$z1z&9K6I4u;7?><|tb)#>x-8C2<FN)%?;ez9!XF2)`Py~%s*Zy2pznB(=hy!*OMcgYS0d2N~>Dh^>(Qv5R zxdM7m&`X`TH#M|7jaFKI*v6MjCbQQ-h=tCuS=i^dAaxdO)@_HZmM-%=rsq6Gjd?5* z7~n9sn+*_EJqH-k02pe@Ks3sBzo(o7!w**wO*qkzh>?dK=hIRapYr&_m3*-bdIc5L z)c?Zy?Dzu{I4KX2zlw{!wNW#%_UBJJWskV*J!OdnLS3^;j>XdrCV{!6Fut|0!^lBO zkGe8023-VNKw3GGpEn z0+sSB-v$Ns9pYu!*q>(4L4gSwz;&tqdsj1?$wRRi5zH^xKBq+E(qG#BME%aULn6_r z2xyI@-mmjX0hnqfEU&`8CG=%>2437RpVFuw%$P{S&E!`qRCtyzX*KI^xM-keTdiDM z5%cE;I3u8Aw{!e0w!Uaxa_f^b3tL)w>O-+z_;%ZJAva`{G+TgoU3x62FZK!ZG)@w3 zcebP!kR$6Gj7MYH^0rK3-3^}y(DWm?E(V;H5tj#u1E@pjzU?kz73lRC!FZ3M3lxP^ z23ALPZM2~$40`=TxjJMT;dW%0q$9h9dR2OumMB%>(*z`)3^vFRH%=lBxexnC=}z^y zhr~e`fca@^`_?$puS>W3Sdw|R-G%C05ZM(!FuL420)eS97IGAt@M}8MEXiZCcE{3k zIb4h!0R2Yr70CG&;x+Xyr_l(jb)YF6z)EC5r+Y+_OP1(Z`q+!C>xcu#neRYvg2a2Y5c9 zjnRH~F04R7W-)!+w=i@JiAOK@^A5JB!3j$E%;AD{@Sj-*-x)HxWcQ;yfZKnCQ9eH= zG-aKtL&%A$@0YYGQF>Mt>4@geB@lt#l4^H=7>lwNNNz|_jF16LdktMYmIj80b8x)iJ=G2U z#~V>zQA>CZj8%$VJ-9flkpa=hv4s7m+m0r#Zr(})K}&WpW(EO7XSq~o;UeKNNH%BV z+qZLJIo~@85n9tMZlgm%#EV$&DsrQo^pQusP4Z4dEutRDVt9Us=m$vl@C;qP>3d@= z8)44I%>Fznj+0YyP+@8SY@9P>RV#8$V?`H>yzL%)T%NaWoo@I z$(-XnhGoj8KgnV{fVYlH)@sh53WHc&hXPz5U?r76!GtdyWG*43h%{wM(cFY@lE#J< z96!%B+(%O#Jq3~op9gfL>+kmWkHy#nf@R-LAqbuj7^*%svdgG+-l*Xp6&|i*|E-F# zETf4%5f9&BJ~;}UNxWmp#1{}W89FGx5gjuzNo%FNk~1qTaU&5NQM?>@31I)0I1q6U z0DN^`P7d=Pk`O6H)S9@QCeK7F@}mF5JTadg5HJEJ+8e4L6|o_{$XT=!GTSnS4N4T1FDxg82$k-d z7*szCIIOhhupxA2(Nlhap=*p-!>%;R=FVX3ZZt8J@z9u|6uy2a67T3JUAyr(z|$|g z@i3}8v*c@yY4*GS2>IjfWTumGo%i#>AQ*|#rM+-6iGj5P&E;&a*r11ZovdCuuV@m} z2y70v!_>8(TMxn|y|*lHvhJOIqe}U!Ou5?nQxlp%qjBsPwn9a_!fC=Xvm7ql>Mx*vZ(NrH$@}F=`z!P_yn`vH0fmQR}`||76sh?EJvjeB!9`QeSiBe(HGB4`?2a zh`Jzc{hbf7$XjpsqOx^Z+_5HWz;U|rJ|9g(y1A5k;(7QRQP&!`CWBKCuw*h)*CV?V zC~QBd)c9%7cvnU&K!B961~FbG^RIdSv#o{mxxWtVZ(dKyW0PH&-w`5Xy>**;Md7rC zQc%kz%+ZP$o9u-Qr`#b#SiWH@-5XQZR>JMUfr8T)o3z$_yL+x%!UA7r@!Ic+xVV7& zMBS1FAN|J#YBRB;OoN4fK;4S~z?2h&F|M7dcE}bI1SZPVkNcKv(rK(c|1(;Rr=G}3 zcrox4oEg?w)>sz$vPE@JW8#8L1Qico3o$FWe)I_Z%lpNaBU26_lOQZ`=;@ei2r(A=JAwZD zmYjdxzcHj7>N&E!-~hQj*)c=4fea*dtSl;3x7}R!DXcNc;Ml$J)3LB!A70c89#50{ zs9j`+HV7PPqLBU)fXNBUjUDZWJ@wJ8r7wpF1zBksXN+sb4FjtN73f_wFF}ll-Hkm{ z>S^!Cg{95Iz`qCsW?r@;NfyKdc*+j<)#OVgV`nX<)jX}MqBh4xpWuo>Xn0RHb2ae-VV!92gIcJQG(uC9UozmdjIR5~8}#(aEt9j9gs(9k!6^@oo% z{nuE}3zH8obnS+X#yJFsKrRV35jiM#BuXYhs*Iz5LtQHz2mSE3XCsqdyc3go?wP`v zeTKcP%l{%50>gA-^b}?TOTDxfYQdIE0XKy&rtC-H0Qg`aiL#Wm2d`2d1@qbF=l}B8=#hj3XtMcqEoIQ<*1rn_^qwD+|VKIB!0t zb$ngjR|WgemZ-cGoFvd6g4*JL%%YnaM#o?E`+x za3x0*_no8SYCducY?q_#He#N-mj1^m?)bL}o|=|}m7OD=K&m8eSetB*XwH63?GQ)2 zR*;tr#eU)zgiII&dR{9strd3Ma}L+AJP#Lx2S9{#2%DrXxDnE@QRY_grolr(b!JGv zt|ZuL+gAQyHye)Q8GlbxWrV9Q6C0gEU#LnizJ^wjRBZ11TTT{_JyrZEm{n}zTsn!+ zU^}i+>Pd87g#Y7fAW7Gh>QQUge@}{Jnu$vmeMW&s(NKcHkmtxD;*I`je5ot;O%Cz; z7@+SMp!6Lj`PO$PJIBCCWW?T00Lc;Tq<$ziii; z5O;IYy#BS@yncDsZ0*@b(_19V_zRY?Bvu)=<8Wb8RI@V3t6lP0ZifuCnPg&p!D!2N zaWkDB`(X5Qk4KQ!3z2f|2CM9bVa0Z%eCORHNRWiw zKLaU0lN*cLkxsF5A9hW5gJ3vd$9Qqfw7;E3 z?v@;x)3e|tjgMB;)npVE!<9C8!Axo_=b_BOB{L>N6%Un5r|$}>zEGGcpa4XS4{%w~ zk9SQ*-@0>P3tVJ~K2wnBUR&wHayJUD(S37`;(xMzTogBE`OI-UQH7FyZUr)CZ-#?A zCwvFOj~`tK^F&VtAN}|7i4Mbmka9%1PnG~vgZ4B}^5R!(%XSmvwf3dMiHc(JjtC0k zN)1w9GDF+!QMVSf3aX*)CR%Q-575eH3;IeCR37R6Cm=FST=zn~vjS0?Jg2LT_OklX z-?bHcUd{R53tc_Cg>w_*+#0Y#GNog?ey1Wa_m{fzVMIlL9CxE$dpH~B$^+gb+jdme z)?^_jnMY!~^#C1aSf00?iqpf=(vIUELj5^Y=Z@qkvLc%k%UTF}Ek>iimY~>fl-3Hd zDT%fZcipo{A~ZkAcJzYXK=?y2%iIs`KUs({8a1jP)IVr`(EgxnrBS1=%>`rPWaUcT zdY~u#PnGgWe*@TX+H6DiUD4Q`Q<#9=S5Rwjk!hjR3BOscS-Eg39wC)6cVjEeo?M?< zIl=SCi^q#0Aup%L1%VtY{&0CY8MBw#_YKT5os$~3A_P)Zpf-Zb@~WD3gaW<{IW%F?cW|1miGI zg-Xy6PX;A7%Q6^A9};*xzT>}};*Wjo z6b_clr*CQI;0o^q_fRU%#Tgg}7Ibw8@`Uk|__AS8aTccY+hUhQc; zmCO5uaka5AA$-+6)x)KrUGJv_-!8Xv#vA_@o9^0$Rj~{-4^%)a>L|W|41ur2WP4IjZ(& zQ!s!~5wcr8AnW>8+OE1kD4?+1LqS0y?1uAw)BSpEyYNiWLE(7MF1I)ueaN@lLm-w( zSWg7kli9@N-X~aqv}ljVTXY$%f$JPf5f#YM!VR5A2nNG7|6t{m*Af3*q43$bVNl75 z0Y3v;BfTows}fHW`gxtX^;rkeOn?$$%LO3*u~0Dl*i02XJzptXdPK$k7KmM{(}EA? zvk-i(YkG{d$53k!NpX7coV<-riRD%UdeX})q?A$;zxDrcD+jQ_AcDQ;%DHdaMVPy#6eX|3g4fKo>-gIm|?Df+!QcR>^7Lstq6onBgHB zG`FF3%87izD*lrbO|JPbPy(;)jD)uODs~yxvEjR$Vcu|4Xx23`^+%r1zVbc$N(f1D zH%l0|73lQO&swo(9Vjd!uCxGQ19u|d3bQ;6bt4{&d8Q(Sw!nZ$@wAv@nTWhi2jaw@ zV%m0;^ODEEY@=}vYvn;^>r;U6JZXp?DZ5=63SvG|Z<{t2R9&Y@iaXaWmC?U(ba|4XJ==Mw=ki3PeX=PFiTOp7Q! zGIg?&(|ipMPA1Te2||%gP}0weh8c>~w#=Y2d)?UtI-75Y8E68s16hG}r^;$mf4zX1 z2w({v8PP?WM|Da-M|TgF=8CEJDG&JMT0SYNk_nRA!sVFx3{0bA?)%K3(s`Eqo19A$ zGcX^q?qNQn2>>+<%#zV>Vm6T`F4z;yWFj**%PN)*=Zqf@De}t46iWHYD2I%2Yv)*UQhUhW(p61|9f$3Z^$Lmx( zrw7k#25&;(sgxbaR~_6O-7T>y4j_#b4Ao36K4lc0vK8?+tT<>FV#YZsTwKa(mefO5 z=N`N{z%L!y+r&?)B0v3pRf$xWA62XAvc6g`mbp%UIl07}M~_|~pFIBSfAjitwOrTp z>cwRJ<;4kR%qABrVe`~Sj~3s=#|MP}frf{n(gGeOOd}6h(+V}e#RWz_o?Jbv>WeSU zM;^#`50pBPC+o?qo*vFGW)%kXfqb{FE`J8C9mrqWMMZ%69uag7rce+pjQDR^*%gyPxpCUnAlgz7k5$V<%{>fym94 zt7=&<&gAc#YPGJh(eInZy2`JXawXSt{bgBIa{YB7H}VhpReqD-<-e-sqK~@13+nGa zJbv-==N{^hZiYQ%f7nrnba9WShr8E3-0dFRmC<`W>Tm%2bNQkN`%eSd8^9NvWkUSR z_p2|}d>8nP@fe;!vk#=b3y|+m4*&M*HG$j)<<0)R;`nJHqY4$`yM`BTz${uXYy<@f16E~us{+)R+nd!)fZXK zbN6jJn_M>0aQ=@PZ6?p_KdKRH{ZszdSZodiZx=6vh&lT_OEcRKdGa8bR@G&lm04AP z;N(^PO|E8?c2Ag%1e(8#e>^|_@a*WM?;kftn$cw&Y5byN>mbVZ97LBr2T^+?tw(WY z7-`4whqthPe`{jKQjVJ~xJ$Y2>wl+=_4e(rPoMnS*MCpe=4J0ezMAatd-Q#tDQ@DK zPTCIs7DUt1OgAikMp*1;_w36(5B_bOafbfa`r6H89`2MvUp@Ws=J@4b*WWJd$uHyB z@~f8zI(-Aqi)c{Y+}W!K0*j#QiYV;MoxWQXxL!e2fBn9h%=-G=DLFkoefI0gQ|Pn$ zzS^Ts5Dy}2?UFYpfgH+pOf(vc3fIY?gCG+^pi9K6)b=>B)S$IIHIu(5^l|udv~?T8WQ3kZo~G z={nxnf62ImHa^{WaQ0W!{mC1X6VpjEDUz^J&gWRby=%)3aD%Z-gSfj+HK?82Tm#RO z?-APagNUJtuN+gUTH<$;+c3I9inL9}-iFGjTcM!*4Jkorwari|Ux@@-jca3*sb;uV zHQ5VyohHfs_n0<8zX#Tw5mO#Y87XJdlm**Ff7PU{Ti`yP;k&4-uAho%dagQZlumAj zQIK{ACXxU8bbHsVaY@VwchS5(a2+QE0Jy=n2;d@42pY#jVbp~{l%9mX&*wr{!T-hU z;&pL!yCr)=DrpAxqGAF1Focr$BH|F%2GoGRU2;#qebJ> ze=c`}Iyax!=_3b`H6Be?Rryrg^V4rn$!zktUar=pT)|xaeA0Yys8`p#m9Pw~QUfffO-6YxG8}vXjuZEHp9l?r@Ty9scaCf=Jufap1%upyDI#MaE zuH|wWoUQrOZd5FjBH9t~+}#Blf7}^{ z^6apY=|WbP9eK)Kc}DWg>&ZohgB~w7I2{D>_xg&nAg6$fd6~ zYp^IcOVWwP@hP2XV>lntg>( z)rDJ+z^%4$D?hqTUO6Iw+9IrOa#q#DyN6RNT*68BaWaF$wnn+hCcbl&e;RS_E!bv! zlf1AOUHtw6G;r@|F@5lEJz1{ri~LoNxHqlW)encW*^{%)bOKUZ-4{9eHm@FovTzk! zV_aphnio%(le5ia2C@Kw^QG^+e75*{x;R=+z8=nBeVyTL_R;3;321-0tfp(w%j)^! zqMl+#hVB!9tS{^JK-#_Qe?ARWOcS4PCQ!q4j>O0YL%K8cwz`_sO9)TCd$L?6-Bm`s zowE2mTYSU1VrTFOx8m6X7eWHoUGr`;#YJYd#YMZJUe_Xytr*wn^zilb`yzHxJUu!( zIa}5^KgRCx;_40TQm?;Ln=S_Ls~OEzo$*D^2=~tGi_Nn7VLG|ue+}ygjm;V(Um=tH zpze!YgY3wk1!`yQ2%W~co9*mo?(>_J&VVI8-5Cy!*(kGuogva+D1#deaU&CkaFvvt`iFBjHJF66^mA3mH!e}*e3?*_q zRT(VUqS0MbW*;H$k87ThAZ0=RlH?>GKH_^bp zLr_#MZ%ws%j_8pX=&twFFJK zUsybRD39vZ)ok(|VrG6`FE`bXKO!H@FYZxVr>H^md>AHV`pJv ztSn448WR!<5(^Rw5(_03#@Lw1`Hsyezs$Yo>^)~@MMVCoNLEy8Ur3EeB$|wT@U$yn z2S^Gv5L4?V)j|Xbwf&?uPzOb7`$&IlVIAzIwwJUXHUQh(9#TCtKtHt}QU)5~IJK0N zg(euFRwm^j4};W7q-JP=A!_`1v=KJJMQVIxv>CR*BsC5bwZc}|20NetZO{%K&LXM$NPUDp8VGQ zI{lsxLRlq0>QB8Ny;_*)678NE_S!AD42R$_9D$=yffLZD@nX(b9OKhCxp5K3q0NtV z1+K$wxC{573a8*K48uu{mp}P_r{OBxgb^5pb1)7Qa9-nIk6B^9?2IPWil<9(1I9G{ z9s4Uxr_n8AM2*2T2Gi)OF_VABOd6dw#?k1nF_XqH7~^QnhB1>?ugT;)-?>4P`%gS& zGYPtBUXYWLKl>Bkk(^z&R`z7SZL z4=g?ne0dpInht!O2`py<-(Cm4|KHF5c{JJjfDRfRG&*Q>(CDCf%lZv9{rNz&C(6qz XQ?hHAmsSQYAPP1)I0_{tMNdWwZnqKo diff --git a/papers/hatra21/hatra21.tex b/papers/hatra21/hatra21.tex index ce19d08f..5493847a 100644 --- a/papers/hatra21/hatra21.tex +++ b/papers/hatra21/hatra21.tex @@ -56,7 +56,6 @@ approximately 20~million experiences available on Roblox, created by 8~million developers. Roblox creators are often young, for example there are over 200~Roblox kids' coding camps in 65~countries listed at~\cite{AllEducators}. - The Luau programming language~\cite{Luau} is the scripting language used by developers of Roblox experiences. Luau is derived from the Lua programming language~\cite{Lua}, with additional capabilities, @@ -266,8 +265,7 @@ $(\IF f() \THEN \ERROR \END)$ will produce a runtime error when $f()$ is $\TRUE$, but we can aim for a weaker property, that all flagged code is either dead code or will produce an error. Either of these is a defect, so deserves flagging, even if the tool does not know -which reason applies. For example, using this definition -$(\IF f() \THEN \squnder{\ERROR} \END)$ is not a false positive. +which reason applies. We can formalize this by defining an \emph{evaluation context} $\evCtx[\bullet]$, and saying $M$ is \emph{incorrectly flagged} @@ -309,8 +307,7 @@ Like every active software community, Roblox developers share code with one another constantly. First- and third-party developers alike frequently share entire software packages written in Luau. To add to this, many Roblox games are authored not by just one developer, but a -whole team. - +team. It is therefore crucial that we offer first-class support for mixing code written in strict and nonstrict modes.