From 1c232d328d573a616738cb3111b1277346efe5a3 Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Fri, 16 Jul 2021 18:49:42 -0500 Subject: [PATCH] Fixing bugs in defns in the HATRA paper --- papers/hatra21/hatra21.pdf | Bin 3012669 -> 3012675 bytes papers/hatra21/hatra21.tex | 8 ++++---- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/papers/hatra21/hatra21.pdf b/papers/hatra21/hatra21.pdf index dc9232916b4c39efc6b0d38f50eb38deb2b556d6..1891008e84f82fe7b646df8f656c0fc939c18512 100644 GIT binary patch delta 7373 zcmajCRa6v?8?7xcG)PEy4=G&|ihy)U$I#u~FvK88GsMuKgoJcScXtg9LpMkxd4Avj zJNM_}S?gKv+WUUL?SGq)djBH?f&@W^pg;f+R0tXb9fASDgkV9iAvh3R$Xf^=1Rp{G zA%whx5J89`BoI;v8H5}{0ilFYL8u`#5LyTwgdV~GVT3S2m?13nz_57~K|WDfjXoV(t%eb^%>YM{lG=rOa3I29W4*DYxA@ng?t%o(9-mYGade<#FQfb z44xiB-d4kj;3((gV#m>z%#CWMc;~Cge{s>#&mO*$de<%M#3EPPIWClezjg0doKIGT zLF=2dYetsSjAx;YRkT@+i{mb=1-uCz!Mrf>md7(x)tB692fDxq?`im5HT$=IlB%oAKUJ7TaSIPeqF z42)v|sEPCr23`O%;DS4A_~X?cn#tiw*xZ2bMXPDMX@?fO?Z{md0CYvAI*Ck$gWu`gXrdxgUimw>cL zCa~%yATd6ga%qEnSMp{-ih5bL#KSMx{1VWd7`S8m2epWaylt*4mY`eYyWO5nkT*F*-i=06x*qIk2vJ7+L zWv*y%aZ?cSEier?&lB!Xsr}@b6=jUO&LddLXT5ToM78|hKkTY&r|L-ko-d6 zdyvp24bm7|EPY#&ch$bj)gtZ@zs+5jtM#Bvro)dppdd&TVY)gp6KmIa{eF=o$^n7Q~q|>{;RQ6_Tu2?qTM&< zPWo@CKXFHNRj3ER=Fqp0C)0g;bau(C;<~pbTd%^(%J?7T^MWT6&m4ht5N|SV^jSD&s5x&aY}Q!nVDWmYerJb zq|;@iHMi6f3E>|{g7j0xNUah7isGo#LIRveuZ@w~*6|vuym#WA%!qvtdp2^`cbsVR zwSv^gVk%O@*f)qnwv)YyxpoxF{qc{=3AmU<{Ov`b8}`Nn#;AGU5@M1lyKydr%7Wgz znI{RytZMUute798Y^ zB{p0s5XXS%He!8u{MR#Ia9A=wKpuXd#8A=6(bzHqKEE%Cm7jlXnoI(%v^02qUxo_> zo+(NzMOaz;@&|f&d23X{ZSbrS**Ih1vC$h8qqKxn>=HMNU=!!`vV4tx=oY#0WsaQC-fXWz!Cn`E{I5)L? zF&0_CT(NeR<5kX>(tDxp=47_fAY*#%u_vtk=f<>*Pp3k8N4-omdv?Ozcb%C!B`=@v zpd(H-O_Ts!tk==f2Y{t;qM=@y_*(0mUc6XpVV3br+?Tcp{jBBHR-L|D8ZSw_Hj`M? zl|>DV$FXfmg!E#0Ob)U5lzxJ$nx}Hlp`r)klM z(v(`sjZnxry%HN^^!@eY>;f9azKi{_y?B$R4wwIr0e(5cpz0+jK@qpB_2s+T%1XB} z&hws5Ets#r&W z3FtW*kDMqwmMLH^P8pLQ4!!YIjWy{uj9Y8nb-AkWsB3DS!x3|91I-sI>jBoSQzY*7 z7e<@sS?T>>bYfTJ^g|;$es>Wb`T6dEOh~}lbM9zcy%kWO`M6_H#%(iV~Et{`rWc${xb-SgLjsRiL!kjb9<1}^snSc%Rt29RUGw=*PpG} z6*bUz2T3=iW5e=jQAHKgZIa|-=7>VWD2=yy30)@MF-ZTyX<&JSR^+~?*I}6>=Mxi? zz-YDhQjh8k)zR;@QSqE2+q7Rv{yiEU88WQZH^9THX6&FsYeAazj06p*^l}$qsoa3> zlTKsKPZK(OFDc_8t2yzKNrKe=n*@}+}~_{MG|5wd&yX< z=S_T(T61M@{Q$0bk;c|{w#&{J-faz2sL6|F6U}uTe}ax0)E{##8BiQhfH4*bD^~3vacxHwBe!5tCsNh{9CZlrqVNvBmOIXSDFs?{Pn~{q_ z8y8aisCv+0ad;o2$sS%>-GW&Kpem3k)yHRSY5&1aiKy@bofy6RU0(hcn6Tucd_Ltu z;X8uXxtmPkSF|gB_`&-!Hk^U{lomakx=BXjKr{pYZ7vVNKI~;DP8NGsZb`B7jRE>E z==(~3%3s-X&zjgYRm9g^-x*vHoeV3de^5V%s^02Dw9z3F->V^U7JhGgx?bk=Qa!|0 zVK*JAbbPAP>^ZJ>TCjypaMq~(SDOQ5y@YjKuq0@G;v0KSoh#gsJnM8V`2`hRZL-mA-bp9?Bh|+6H+QkLcIeb0$#0#yUz2pyz*AXQRy09Yc8aif zSwP>q%hEkLj4f1N4^wi@@c!NRzj6VFccoVT!I8c*A54F{#&WVJkuo8rAHM}ELx^wr z;H5b9#4>?;+t=RgKG`j5iG+Uj5f9*eeyM=#MQUVO!WTn0UR6Z^``HJM6r3N(t7H($ zbw8J_bhR9y0(AO~Qf&f--|Y#xpf6Gf(x}qTB~IeNE&=hDPZA(+@I-wAFX1WON7(w| zqYe|=))PCfLx}bLEA@O1ZvJ$f^Cat?4b3YyM)?a0XjBgqR%6Ec4hGr=k|6W(|8HV~ z#|;gWR~m_f@2b>iBki+@!?3$!9uaPuVs0!>Uv0$vT*Wni_knnehvMW7)?XfI5LAf( z7__ZaVitY!>z`c84iBU;(kASV`@Lb4s@%YvuYLYW)tsB=ZeDd!0!mgbQ4N+~jw2e^L!+TFtJyEeW%G4U|`@4oCDUB8Dm5u^$@GQpBl=d7Tdyx2HP{ zX%${+;rPy)kNGk9RH*6S`>JK@&qA@RQ752v3SlJM4Z~(m1qLQ{14);Qg4O^bW*&rn z1W_f#Gy|TOQvN8W#6+N_CEPr#*f0ScTies_;D+CC7nj4GG<3&tG!4_gewYx>%PQ3! zmk|`?s}oKW(e!6KSDq(vpfCb&AWW*e7FX99iWaZeQ$XwY&g0a~$llvA&!@;AjT4;I z28I`JXK-S3WV1REZJ!{T1`nqe05CFiMHXe7sz`{BFMsog(-c>!EQx zvb~v+@$&YoisL#jGC+=Vi+l<@s+ale-w)g>VvQvzzm3i}B#Jz~W`e+#%6=O}^@EgJ z@$x@EiF%{&HV1sMKz;#Rq=o#n>oeSo9ICO5AXH{5CFV^IW7Sq(k{zSo{$l);^PW3D*xNMUk-q(m?C+FN^`NlH_wuVbaaIl9r;#cHFvc@3})jsFhk z97f-Z~*$>yM|Q;fEvWfh+6Lz&6%O*?omHK|(Xr-S3E6 zr}*JwLl?8MFu@Z8cH_)SuWxOYJ_uqnDbH^2p(|RG&2-%OgWoWBJ$WS&zWmO^v+Vq% zpcq_X)ij>I;q3u%$ngg0JePMR?zoGAPmd$zr{FyR)&?kf!;`s}R)<4w5m{slKR)&z zsTPxrN^T_%S}Fziw-oWFIoey4q9=j~{rebdsGJ z5;hA5GKxq|L&BAew%&wJkqk@V$9_6)JX|^qpFj ztC3*fL#caOkpe3mqb(j^em0vkL&6Oo;Y8rbz!(1#g1$vr#Z833qnq(X3Gm)?H4|6y zK&uo?w~nU%8j6ENpt7c&#qN?__G7!n;iBNp^Nw|RL1S^Z&L!LQW#gBo%Ao{~zXVXm z9vPIL5_Al(MI^{JTIVA1F(Ri~6_UxMZ0l0)x9e8EmI+6>f1Va$xE7$Ax`x*Fs`P1@F^X z4oWb&E)|9Dw*f&?;amKqTENc*)1`vXDr#6a7`Ir|HF_$n+?k@<*IND2QfH)Nws&iy zDWq(Xw(OYupr3U3x#sH@;`J50S>qUM`Bwv@aZCZ#yx;v`njH2~uFdV8Q>7-krl@H= zWIfh+X3W^8%#7r*6}`t~ZK=xqg&(kme$)4t5MK3dWoON8~}Aq)pztDj9= z=s$7wR+1K|P}zQ>tQV;7K*4Se1NIJT!xpFJ7V&Z=1}(|yDFYPn@#BoPs=Fg+E_>tK zWv*qI2x~crlh{NC?145CzS8?7Mvk^w8=*=Hyk_wBgh-_Kl6<%3G_EfMxyy*Q2b>p`^561R}3TRV)QA#h+{dXF^-rGgJQGs-a&NB zfcDvsx$pH0J{&EJ?i4_AcJ^bm%)v$(_(t96`EwH~{os-uM}m&Z^NXq`1)GY$D_Vn} zWoc=zq7=HOOk1{iry|`GrkxxNx6S~K-vJBWj;&F0~GO|WR;FvV4Hu(H8tiOdz zLE}e4`js<1PMLBIE6b$1I`wbcUY_}d!3Vzh2AF6NGr_ysk5?9`619#4NHKi{W!9fV zhe8NaG1IdGp=BBBm`V{85Sd7E{~h|sMd|CI5p{^`+sB84Wzy~yN%vnUu#Xa&+!2V$ z&`58u9|gpL55#%P?zx^i^ zVTVju_R${uUwPmAZ(Pe!K>tpaKsm_|a`lRiiD_de{2Xy+QYJmU~${ zl*exETNx_jXdb8TMt#X4jg$nfVz`t#lDqDsd`ienKVNIL5mokIb5Fai*_Vb3ZHK?- zTA0uEJ}iuPTT6-2Y%1WR{1JS$9@DvoM0o^u!Mpo6?$01XH6D(T&Mq!vpNfr}0h=rk z0EKpx>`RpB_&avES=X#_HzD_WkTg3{~Tz-S;cnqkz}+E7}c*E{s}oX2+hp#)aPh`D7r zeU@92ut8dJ%jsB!%ljA~f$#6h5ThyR9%|1jO~wgj^>KG3nRiwPt)kHAVs0~O##m*T z*5H>hKU3N7)&>OZN%g}0)==CJz8snG<;&|IGMba?gLmK?EJ=cQdHBZn`AA-39$BwE zWdBw>6b7)&Ke2Z{JC#hhQtPo8clSe+nx>d+;is#VM}Oh-~XK4mSs# z?Y5?NNo+s(rQ_IM2^9sSuBH8IRpSWSTS>Khe@3+&PybRQ`zkbNp5(C zKb$xAwk{(WZ4OYEo4d?XOU|D+M#jveua`b+m*)$n3Ig!$Y=9;Aif{Uan0y_;?fb`8 zSJ%aC?=(op?&X0(b*zQKZufnAQXmH3G;ZmR@D9+LrSH2s9c$ z#UAGRb2)Fjvn#5AIi*%s5OQ(58W-K@;v>VeKWc$w+?h15@Mls1C5*AxlPdOO+AG>h z;VoEy&_aNl-d)>{Lb+LdFb;BUe09IQl*AC>%aZL1k1c{&{OVDtG+=xzcjuK7KKNkJ zdAy+QDzdFk>Hq^~2AP%JQt2!9UTdLV#Uzsyn7^$#C`c{c>T5^B)!t60djBuM1M@wyE( ztflq6UoK@nDYFC_-$@i>8nqmYH-)!O_^A0c>xH3`bUdJhXFe25kUb8BQowJV7qn4j zz`W~7J=qI44duCkUGyI3UaqEff{$jW(?MLoCEfe53ct6?1+3 z73onlbhr?L|8vG-a?B+9sbu>_%WgXjbMe z`?!%xp{}~hq03Uo*3?uBu;{QfrZw@BXq9m3=nPm2$h@;)A|hhRT(p(_Odq%YYI8Mu zHxY2x(VCg@>{aLQG1^fbt3T0p@1RwRkLkn|iNiD}1g%XBXK2uw5ibe#wx^VDP)Dbp z0~^R+nIWAN!<7v%VoYfpZVLOW0k@ila%GWdBA>X_46x#+WSzL|$T=e!=irGtU5X+K zPJ(vC0^N4@ivB-Hjuaj8Y3%?Mm3u!h?e`3z73%Kghtm&EVdI`7M99gQIO04r`4_yS zT_wnx7!=Exe=tZ9;y7KRO-}(gZT(s0;2^~nQ?Zi}Rrxgv4*%A7-hRP|B)^rvuOJC* z8wB0SMbC~z`{F3ZVn~+`04{3#+_ITS8Z18T6S>Js6>fYG9?U(abu-L-a8Vc_lkf{6 zVpOc@^h9SAT0ZCbX@sY*;O)2|G=9VjIx)|qFnEHtdR=%I_u@91e2G#N4NS!Z7ZGqb zf;C!B`9Xw~u1qX$twqY;s9OGHyF9em zxyl<_s2Q3Y9lAE%$&&5(sBJi*jlcjw( delta 7354 zcmai&)msz}z@_PyPC-Drh8PAIU>G{3q!EVh?uH?T5~N{hL=fqg7C}mBl#uR*p$Dbh z-+sG$y%+EEycg#WIOhzUw_|?!k4OY20tK|Di{BFGTr z2nqxxf(k*6ph3_g=n(V>2E=m&BZ3L>0>O-6L9ilTBG?e@2o3}%f~%D~dJY=|mOyR} z0C+Ixko9xibeJII@EkWQ{N66H{QLf6c8cS%DJ0bY2H9OB8?I#!)aTF_DO#;_V0+2? z$`NRd;Is*7FMOn5o!45-@fZ7QtUfgt`^@ZPS&#=goF|5}3&$7qK zN;_vXJW)u-MQ#H&Xx1s7V@L?#R8lr@H>A$}L$O%(X8=DrWi-2`Yt`?Ze{;z6 zMQ#>MS!B~9Hw`(hX4Pl4zRbhMw8JWQu-pqVt|n zxHnR3iJO@Oe+0ojsb8ojd520u1}Z5O!>u>ORT3g?d$ zB#dg^jBgg9htMB7chzM>2`ISDKdT7~oKl>!hw>|&uR%)K@_u^zk)dNjU2;rhKLRx# zDkC9suD;*;PAZdz$YKRRNrWa4cN3;g1tSr#yNQ5$1{(4AiuzQqQT#^($Lc4F25ts& z4d(N_QDM(0O@3@@9Efhl;Sr)3-tB9jEw*D}O=-qFvE$X{9h(D{gMXQei%uMK25#OZRp|8?6N_Hq+A!Fpnl}0B5K6JzSYe^ybs8UKbtzqwy zR>=F75ebjhqokG~q`s{bU-1GPL`M-*-vMKT2m@-b6mzEE$~noXMHSew!bo)==dG55OBUWYEx}Vz z;rrxVf_%r1MgQq4=v$r4Y3PPr>2K$K(Midc!H@hRL3m=@&I&v&{y8k>gbB(8AC{3? zW`gF6UiyJ%W}?>*oJmq-{0^^%+^R3B{qej( z(t|mgT}zED@YV|5u-ZI2jqsD~Ut7I}cumf){Xb?_Fn=KK;F;R7*BnzC(H@50PN{AhD9z)+TLv2r6sh2F-|Og8QjGf}6X*(jsH!QZ-&hvb ztuan1?_-7UgLM|Z_po7@kI!`J1Lr!2{L0SVQP@x(C!je5o!^>BXH3KRfO4?=KFvGof~UPva8mDjr(;i zegk-EsQPZ(@8xIFc(MO>4Z^XS8NUMr42w~)$W8p=6vj-4zj*Mq{#q?}6pY`-G*zku ze@$pO+WmwF5x(cma{lsUZfKH-`Jh(y6Sq{w?2SSm{4}=L`F8iiqg(j&Xa;8OyQ@aS zrb#om`e%(PAHjr-5}FIR2z$D_$3s`_cUKah{l$uxd249D=x*n+CqjRpv^_8E2=+V; zH8oxUI|v2z8RNr3wii-n4PJ>osqJQxo`4W} ztz9z5{e7yTPiwQ1zcoMYDw!&&(iUE%@+Lj_3f=(HJ(k|M_8T99)C*9(yi4f`OX#$+ zKXBHmFIH$vAzD^PeqZ>ggB(g*wdDKr0g^rj2JpeK*=hOPXzzBJXk?6nPZXUZ2vVr3 zvS3X@{rgC$ClWTrb`Qboh*uP92?e>g2T82GIfzz25#C=}q*;ObFPGuRAKt3DizY-c zGqWC{=>9anIj|YOq1b+vnOwdSU{cGb4=>U_c8X}kX>-vE6}q#ok6Y#kKIhRMVExs- zZY|tSCy!Sa`E^#AJ1ya?`$I!f=WI{>AmFwc59##l<<1P@cLYVn#h4L3pXt*ziL zwWFOcP-7wM8srS0US?}|fU3ui&*2mHVpXDkn6;{BabF7sJslOZf184j>yjtXDD{6t zKX5B5ODAr2O_MeK`tvZ6dcsjUKs^OLuE`8@bwVvUM!8HNx6#NobHZr%_pA!k0R>v)L>M?{~0UiW#Z(1!dJh_9}lD-cTDyz((O8`&ee4w zCEM&%-aMmNZtVAN%@y{1>}=o6-~N5}{4K`q`9Gd&{;9r8Mi|r>HAVYGw}F1bzml0< zL3-cuQX%8FxoNS)!2eSm;S-F@J}YfEtCmgbEL|=fIK~z$_^Aa;Rie(BQb#-eXw6NS z##rtvzE?k+?`~u;Nadp00s#xfhcOQF=2Or1}U}N}Yc7HPX7?Nb(0&F+E8h8*sOVxHwH<>P1`w@2j$* zIDti{*D5~g-xA7HvEi(%UB8xLzl;f}`*xmxy;(lCv7CiTV=_8q5ukeyT45NCEF`db zH3|+M4@&yZaA)A+1S||g+E5)aNXT4$scvC9ajsz zk*%$aMf5xS`FB`!4v#gRTyVS?v&e}#-(~Ldq|K4-4!f2PXra;Jp-42Tf^aKb%sKo! zm}Bf(`nEyFuaPxs)E;mYflCSCY^|OXN_}F8^lFE&3Fy2psy0+$NT=kz&yLz-9xNo7 z)W+-?Ov?IR2)`ea6B6GXF6~(>jg;{BR-gw@C5!{9<9GB2Hy4@}a?Un(w!CKOP1iyU zo1Fz}WW0?2%8i_bC%XR%5B;yvC|Ot>C61dZVOXhiOki3}gR`UwENHV)!<7ES(h~83 zsTaitAuOoudejo-RM2kjfF6U$NFggEK*viP0awt2TY)Bn6d$Oe6#`VrjUZ7DuELk) z(FDHEys&@RxK^b+i}qdEukvq_0c*On`!CRg^NBVa-^@-1 zN}n8E-mawwC3EIG4j~R()Y={$@L%DcSfeR_ytyr++0kmjuOVQRqH?Q%JpPR>Xz>>f zvHe&pI0z7+7hXe4}K)&_0y8~G%!d(QgxZZ16-$aUduEyh z^xx~*hk3Y{uM$eTHMP585v06gL3+jP;Kca04*|dm()cJqHO0ZISbuFk=BHe{UeXTu zJglMSX!3>>O~obc(uFxj`-{*QV95KU1;kZ@Q!|hoxgwt=2U)xxrZ7*jJ*IV6Xwo4E^^K4D^c)Vtu69^ z2`y1~_IebW(m9Rb{wB~aic61)qqv2GlJf#8rp^43E1qsc{tB}oPR(FbfJ;MrR}rcQ z>#Nx{yUnZZ><9k_vW*049(wD5_#+DY6_V@zM+Mut80>8=RqsZsnd(&(5lA=gmZdP_ z@O5cAE2xP%JCUu@Dgs!eoI*{@Fg?vo3d{L+ZWgfbQRxe`>pG{)J8L&x|A%!Cf!yJ>Thk zSf}}Y3`T@>c1!E$tuxONxs?_X7pxoe2bUZ9l=quRK~nqQTnGf7)4@51f13Ae)EIX% zo#8yvx*RB*Mi+-x6Q}^%glRc&-g9~!EFO^8fZmgZyjfZ2BW{VoAGkN%uP<|70h^$| z;f`tBcfaPq31Z*(Sh7;|zTX^_qY!&Z7=NIlMva?fVtZJN=jt>Oee+D~R$7=hk2u$` z@j|%&PPNNl9y7>5LIQ4R3TEUlQg!Jf&b^Um{3pPnMok}Z{5mhOQf=ZwoJtQluP$AI zLxb;{KbZSqS<}DWv~y%w%O%TZKugZX?~MN zmF+{Lv)H1_n&E_(8yaHqX^p@AXn=fe6u$ESqZl?iB`zlhjq#Xl*h$6RgNfQUeQ@5k zF(2Xf=42|vbzdt3E^LrFOUxEa4KE>~uz%^g#cm>3O?`M!j-zMiG78BQMn((b_vS!^ z(qEP_mf)O4@2Ak!2Zga&5>1vEGLP=X(u&%pyD2j?!_U}6-fkhiaJdM%oafl%MfOJRY)}$BQ!bud9-M-d;J62^1~juN-E5nq+$2p%={|;NNn<|4;Ey^-}UFjT85H%8!PRkFmxz)D=+#1*uV zc~t=e1CA&DX%i*H{P#6?^?_1DoC9bL^qUJxQJ_H1wyk+0Gyz4dyQ>|s_${U=p0x+A zT~F@IrCO@}oA*0{3gR;HdNH6XF#ZHb=Vid>avO|@wb`UHb0gAT0!|m4{H$j3B*KTR zE$79B+@X&Z;V&qtZrw#Pfj@~dPxEUge<(Ey!kNiR6W-?*u1c)EQf0S!>(se4IAvYH6F^%E%D9xw^8^rk< zSrQzC(d6;q$Su7R6bR+OP-OofSFVvkmtA;+3$|s7TE9rI` z7w(e?A%yl*NDw?UGdZa6LwWr+c;A_lM~>2z8VsvKpwEx>iAXJI8!GR^gF2wztW<@% zlBWOc`ad()jjB~})r==?_Do&&= zob&=sX5CXFmRijp4x}{4?OaPb|!?V@XUokg? zT>UNzUI``-cFDM$(GYW`SJ}@KP$QjIs$pi4R>^n6DypU5`fft&^P!o1P=NM3NoS%g zAkSGW{Tb=}l5Du3QdS4s7(r%m>lXXF-{Te0(;R}bUC5S1jeumr9&(5!fx^o+1SwSk z=SYk$!2|E`JMh&5^+)=1Zn!>Bp-1{=saz9Al{6pLva=BzL!z_gn?gix&hR0_=}9dt z=i-Ovk1<8?RKG8cDJ?)!HujmL6^7I0#er8&lq{7Hn0L5v;4{?)TfvX5(&R|3Rz?!Q zp7=m7mY^f$m5uGTQaF$QY7y2e9+Tokr|@6{8zqH)x^Q7p<&34f-|$>9+8?DDHVm)M zr+kXFr)#Aj)15R31i9k>Ndhwn&0myJGw|SAmU%G}QH?&nLq8q<@lJ|EL|4tUmj2cK zp<-V+41WFH;Y(jzkx}xCDtlYWQibALdt%Ww&7MwYq8`!_QzZ&^Vu&%w8S;_pJI%eW|P#PLC z7N2$VFhGf2l6>ERQl;b4^(c`#C2X7R&ymz`!y^<3N8@vSo-hoo(R#!WaLa$}ZFqJ5 zM0pD(a9P7bYf&rr zVma#5KVBt@=&X#GOpPfn!@zYCeCW2`YxI_iZQ4MNoVd@)Hs2o5`XGhQ|GQgCTC}>b zaJ|OOHSxCB(E8u^&(fe-uzlMgy5AyV*ShSMOSVSb#A#IRLL3+SD5a!oF9TD6u0x2tyQr5(|~&R&=a_5WU?FI z>Q>uKtk{eC!HiFPdtE;@e6`6fy1(p~#gf4v!^PeGcq`y%A<5CqTV+@y^4KRA7)a^Q z?G}UmQv<+V`BU?gGPd?q&Ab?#xP0e}uTLxky|?KPb3B|EwDrR~A5R0w$NR*?79lyS z&JyvL6$P|U!Hh%!w0{||d(9xF$&MFv{~QzUA}$5xfDZ+e9!h=gzNyfn`m~TG<>hx@ zeYW8#^sRzcZuhFY>FoB6G6%~cdkj_zC}joA$$_uJ3~;Dz-p!k=Pg%)1kpFg4xM^pqTj_f-I zu>6m;Zyy8Z33WwQsi|2G0764JEy zaP)Ix1%Z+M3jjX&i(lP3)UT;WE_?%w!y>n~uvu!}e~>1YX6rqVCF1#mgG-YZUu(c2 z-li1#FUHKN%xLhpvpWF=Rbpc7;I}~qD#kiBf!3M(N3oKJz47rP-?J502lUj0%LG8$ zm7%3D_;BC$qYVcroe7wxyR0~>K&mktkZB}G1JYksenVITe;@mX-C3+QihcIE+MF)- zNYyDvU97)X^b)Bapf)~pmZ%&u+t1*#tj=h~Uih)?T`QsZ0H=$Y`b{Hly{`VxXJ1N7 zTk-DFq;$LUH%y^T!HPrjC*n_DIJ3?;5 z7-wG6=~1e5AZdN%dd2x5&UYI7i&uZrnCJEPX9t(%z6MC-CS=7<_wkRJFwVeitGvpF zIC2S8#^IhVl7XHBt1r7@p@M#1X{_g7+wJt~4P}nPdw#-%#Dw^?f)CHI^@MfcS_SRn zIIu3HB^i%BBz#N5RL4@2Zx>SJ`p$EFN|~06?d&R@%#)o3$zD>d0+me-J4_9Gr230i zJ8N#hGGlcjJ`g^