From d89d5b0b1f4d099bccd82ad6b127e78bc69e6286 Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Mon, 19 Jul 2021 16:19:38 -0500 Subject: [PATCH] Fixed typo in the the HATRA paper --- papers/hatra21/hatra21.pdf | Bin 3016098 -> 3016097 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 efd816acc569a37134d5d342ecd1767b75d22102..aece6cae3eab4a6a855ed1cf066ad6dc942b12f5 100644 GIT binary patch delta 1121 zcmZ3~y@PQf5I3|iwlK9Yx3ILZwy?FZw{Wy@ws5s@xA3&^w(zy^w+OTdwg|Ndw}`Ze zwurTew@9=|wn()|x5%`}w#c=}wzCEt+ZI1_)&1PJ)vG*DUv)py#I$ka#0Q(N+uKxsy?lH6`ud9B86JIp97?}qf)wAW z?tGtksw;15X_IH7|F4G6dwPf(2!q;UoFYn zi=~;Rv6-={i=&~di>sx9nVGSHg|nHFtD%{pk*kTZoq`P^CDYBB^_=Rrhh8naHFMjR zsHIWG=~m?dS1(;MitC;g^rd%^P_)=Ip^a1L%>94h)U_s4K|#(=fr%bEQkj=nXW!~@ zwY{JG`K12yo#&0e+dc2;II*j1iR;o=E0?$^U93pD8myP_+mlPPVem9tMKtf6P<&;I~a=#Vwb+2H$UdmJM;avKd=6r`zw{-anYp6 z`cI+xrxuijaV^^0ExJCoS-XIN?+{1NAw>(W!?S*0dS}h|Ijd%8A^WlEv+Hm3oH?v? zC+T3hO!MOcrgILF#rAeTUwO`GUA=+fd4kZn!y+*a-Ls;rPnvyJv{_wPdCz|*i>U84 zxu05>GfPfO_#_+j7MfILo>^kp>9!om{FUvqsNRt2n1$5lM4v@hvu*w!_s_fV<6E(R zuhjjOU#DFA)3LwJH1l8n!Qjo`?*D(Px%jB~zw}LO)cmV#wq|^Kvv7Hs?>)axwfEDQ z-^;Vu@v+#gXW5s=d_RtL-+n%w`@CyPSi=6#e_n4tE9bBSdoQ1qtcg`d$%Q?s$+Q0a eQHb)gomPL7`C9JT=@qPcN*rcfs;aL3Zd?GMM)F($ delta 1127 zcmZ43y@PQP5I3|iwlK9Yx3ILZwy?FZw{Wy@ws5s@xA3&^w(zy^w+OTdwg|Ndw}`Ze zwurTew@9=|wn()|x5%`}w#c=}wVg@(%u3UIlcY->Ir_y5D2tN!`%`~E$AySUJ@N{QorvFFtt z)1Mq}*EHP~dQDiZ)%IO`vdx1G=Hs(w)Fr+v5M8A9iFHoNoamjOfB$;lbMut$_pa}A zy1t9Yg&dLPZc*5@^sBB^{pH)f)7=}j&plY)v6tPpeu6~g>-oX85dvL@&UNlBVEJ`j zV>6>{gLF32YmMiBe%d_uj(YcjPwDFHq6OUBc=>Mgcq~xAcreHImWZjHmUvv&cv|3TC+BW_dD(fo0)lZUVh@5`#iMsIiL!Z^(+i{s#nHcLDm|7VaOcylJ zkeGg7UxR!5JtK{`j4U9j>E}%}Y#}TGQw@7CYkRP%Mi8TliJ^r>ilMQwuCb*-qOOUB zg^_NeQBsmFPzWdhluNcWXg_JD0mPa>tOdl{K&-RB}Y+_<+WN7MW>E`NUX=!1nU_(gBbTei>r~2@f`+ThD zF1n?4YnJugosX9;)z>(dt-1Ks*0qa-ZZGqkE|#R7{!)KKQs(8oZ5=Ky9UdxT9EzDb zSx1|mSLfLMd}{N(^4Y!Ta|8u{u2#wnTv?@|Inl#J?(aiQ@eOxXT1Adr`Q;fZ;5aWz zK2tQrS$}KnlB*loxUQ5<%1Y2J*z;DQ{;HE~Prz-zRqbpR4r^V!oRwvkOq(!Ef%*7K zQO~mzT7|Ft__%`g+CdG|IHM?j=?6@vc4}Fzy%*T-Uf`3xz&SgSJEv9eL%H6nkm-N_ zRV7HbZ#rzoXx-C(mjCN4`$L+?dfkN$xXm9}#WZGX$#T~fd0Nl^`{_ye^YT~I_p%F3 zJyXACeO2(Ut$QzN-?9zJ&?k5Bhn8|=ID=eFKK zl`{u?#cGZxS}?gkRGDJ>{b}!dx#rUbyuk)+%OCR0X)Ux^zH_R2jBny>ZOzudKMc>A5)2%drWx$-zQbQ z`MOnE7b?~r3y%7H_@C6Z6+i7+{e7c${Jk9P*4^E2W19VG!Rg?z$;ZoWw`P2*i7~1C zX!+rj--FWl2XD6@_?`3MaL|Ltmk%uedEolC1K