From 98c40a0cfb8bd1c33cee814c198a57883265a364 Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Mon, 17 Jul 2023 13:29:43 -0700 Subject: [PATCH] Another draft --- papers/hatra23/hatra23.pdf | Bin 399231 -> 399245 bytes papers/hatra23/hatra23.tex | 7 +++++-- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/papers/hatra23/hatra23.pdf b/papers/hatra23/hatra23.pdf index 36c86f5e07aa066b75d6d2666504c48447aca0be..dff7249a6b5f32ed5f98c094b2839a19279b99a7 100644 GIT binary patch delta 21484 zcmV)0K+eDat{9E47_j|#4Kq42H##&hEigAaFffw=dKi;!Tnn=;c_;w~GdeOiIy5ko zTzWbOGdeOiIy5kooq9Y6GdeOiIy5k|;CfO4Bx5u-GGaD2H7#Z`Ffc7NVK_1^VPj=s zEjVO1VP$4yH#KHAHM3THrV9f&F*lP?k12mx$#UB`5WV{=bQ`M5f=H0yGB?|CoMbYw zOV(5lP7V-7QA{XO#l?>Pej4ZoH!GRtB%lE{yI;RvD0`O9?AhJL_4;D@*75l)U{PQ@ zv-NJ~2^R8j<_pfa@Mi1n?8$m}HTPX>y}Ft&xUj9?xO<7K`?x7L^MzwuNre(_cZYuu zW!1E)%xU|0lvx3Hz0mQkk6C^~@pUy1t#Te%F9lt^Dz+aK=|V0GTzyEs z*siNIB%t9m|GNHgVUus*n22T(i+t`Y$L!gH`z(wi^vP9b+whM0!i%iGR_k}SD^&V< z?t0e!>JOz&p(6%L9A+4CpE58^bH>jtnKN{**f_$XX93VUYqDol ztW7KNw^S;(I+AL)Qvl3t7DfKpWf6tU6F$1U)rQ5ntYnjwMLi8xjIna8MAm;@(6#M# zn>V=4D4aW)*9qR%V3lZS1a}#VKhHzQGFLhpXa|g15Nk}8e6L}E)#ilH)a8NBc4c+I z6*#JY^HO^vbM3b?@j3LFuqn)gSZeD>u>{GJ|CM#%kscvf5W!F2G2w|bbn!8a!nKOB zSkz6G#SQKc+OTbcyAs~5Vk&UBF`->iHXWr-D0)$G$#WFHWX&GM=Dmw;)@6TY++c3vUByKx zXgNT4i4wAo>l*b#9*%kPYfuHC!bk4@9McXXhqGw%6r`T=>>Qhg&3u=TKbi{soNbA~ zvTYE_Qd!%Ov~JThsdbjKX^afL-H`bq>V;h8Iznz_?TNLxYxc6aq-B{V5b_Fl1T?G? zof##`>-Gp%sya}^+tq)gp33f|CWY}{7O9S=R-)quD|`gYj7Mb##FCU|X_2Y^0XQ`% z$_@lZh=p@;7CdMp0VnVdNzsgp&_5N2t}>1<4jk?(nXZ9Vqq1;RC&vZC?h6F80%o{1 z?R^j|&awBcZr|RnZa>}JK2AF((5oK>;3>r_NO1kslk;_ST{VA0$20Mdm=k$3FXAi| z9I^SR(#{K}EgmFSbTVl0o=?aOjvv{0uiL%o+r0=ahL6J7;lR=rzI9hZ7s30w_`xq0 zMp%4oWs482=U!;_0Z=c~Wsu(VzA*U~4FDNB?7B8{#l+(W^i*XIDSFo)beB?I%pK^y z$F7;jO^vn~GlzdR)jcFb3L2P0cxgy!zJktL79C0OHFZ`uKp%cZR4H&#~Z@+i@es$N32Rub^lg6(chf<>TufInMkwh>eKgegx80i%}Y z!+7MIPIh$Tk&XAS0v}ndpEp(Dp?gwr)#RyP(3Im019*RPVL|-Ac6`&UH%F*lin8aS0Xob^h>4T%meLzK3zWQ+`1# zZzO~=EhO$VR%&rY$B;vHyr&JfZ2?OW`M?8^IM$t-E)qO_Uo;iq2L$!4Z5yjfjt8oC zso%#0*xG+&G40w7cn8E{=JB5-1@Ceqf?Np3Zj5t6>3M*;BF><()DxE;DhWo#WGxM# zQ|b$s*=7)XGaNq6MB5PnW}d^LA7Ms05IW5DgFXqyoQ^yexbB$K-Xwa%!Pwa5fo(3O zC32S&mz{1u<+5*EbOK!Fn#=AW5L$%^1Zu)Iz%_s2>HezRM*!$CTv#AXKub*%UU`V`geI^htIur5rneP9V$+IHylR2Ylo-as@V|drxJt5vOtZdqH^$@_Ngv96Zz+#C9md@^ zY&Sf=ZeMX(9kol--2NrEqq8o2Ak*&*1G41%gw`pwy}8h6g` z%1HG{hJQr_zon4 z54e7e(#|SI^I*zoClIw3p~nRj z1vxh|IX08Q11Gm7ECT%j2ecHl#TA5Thbb-sw<#_I+CYCj!T?B+9^1BU+qP}nwr$(C zZQHhOzT=tO{dAYTztEkoq&k(SI3thUB`7@n(Ik9$KJ6o^o_e&C|4A`Z#6N4Zq)~>9 z{|dlN{3Me{)$@>jCD)>tws`qf@(!~IC z-uJNJ!kV#6>(o&a7&@BLU7k$c z-|>}}yCxTsCYy?}<(LNWQF1_1i_CH|B=FeJ+*!b1A7EKXob?I*$cW3(zaitZN$5I@ z=LvtwawM-2B<8b}6)=MIB+wml=Cd#Yv1;K-9vJ^lV-^C;ns<*AyS?0va~V?5Wj!DP zZ-fQeZa?mPJ|N84FjMhlX|!IfHg>=u{f!Sl@eZ@6zp-MRwuvPp)GG*#q+=~k7f{}6 zD)-zQ0C594U-gV5o!Ms_N!Y+?a1G>rYwv%uF&l!i`GVlRnI{DcE^58aCjnt)0KyRX zUCnDX`zOPfz+KJZ2^UVi%Ug@>gAE+FD`XjwA4F`4XGq%jedE2(l!RQ&6?MTIqLY_to)JRY}FcCKe-z!Un=Y())jV zU0UTnnCRHh)`$(61wJXH`s^~5vZdI85T}btu{MDyOoxhM8w3r&B&%m{3pxv|J(Nk2 zShe0q_)d+jiyNaH5?$dJ4|pcPu9Z%^g5XCd`ftU2h8v+at$V2&rE+cV*Jv z+`of8ZKdPsmw+iA*FGSu(;oNmQgOxkr`u|X^hIebQ#KT!+lR*!bf9p2!UsDC4BF%j z!Q%|PV#+W0JplPH7)=&e-do@+0~VGsQieyiKY7pJ!0XoaiAn~px{NqXPL+R)5EdY4 zxVO+oANQc(e$(&NUtzSE=aEytq>?cPa`^T{NcW{yS3w*-c2^wz+Ro{5#=5pP=6ydB zPZ9ip7r_r!(vZ<)SLJo07aT_}BXO7X1Zm$dS?5nny!NoS;C!x*n(z0;iocYwHNQAa zQ(y|F3mH0ewoH$)uc~ar|IB}`!a(JS(q9E#Y1X_iw155UxCKB``iXmc9U?Nm>+I5j z-&?iUo124slM!(p0f|2~MdC9AdXL`)zUb;;2r*wexj^%A^L_)JRn1zz#(j=;UY)@Z zHLNLX-Lg@SThU7nyXZOV>7EgzFputk_6YV1$S3S&B1t~?MyJy z#SB@@poOe^zfN-bwTOR}!N?#oJtk)C?W{9qH{4A76AxVq=>6ZECVam&r}_51<*MwR zVm_HvWKM9VMwM-;fnp0E$USz1C={_7^Z_rxTtI~GMD$T+GXqH04xQ*O_rpsQI7(4h z7!eZkZcmGL|L~>)rt~OnmtL>a^l|4B^v`Bv_Y+^}vEDC-azcR0c?cX(tqz=U ze41$E4s&?zSa`%-132)7jH^Ehscmz?Is`fcjr*$F$iGKdV)zZ{2XNR^4DBn$-+ zB0{pJpZig~gF`4`K%AIj{O5qz`za*v%UE=Aa#>a;BWb%S)-!aR{Y|G05CiX%p}pEamW2kc#pMYC2T1OJBu@Nr6j0^)#Xj;KXGh1{#Ai&vRTM; zt0IN=iO*HrzMI8zzZpZ{5`q+~wH~TWR@r)X(9wTYlte8*Gpj>SQuTxe8+NTO&ITb# z*c=hgn>>cIA0SiQCN;f~91ZD6Rw`bV)b^xTbgXT3R)>U!q%ew_PWuf@a?>Y)8MrS6 zVF9osuawXsZuvRd*t@edpr&4pMWL8+4#~)*CpzAhvbk+ZPPax-Bp4$(YKFj{TcXV7 zf0chmfoigT)1=|Cqk^lbp)9AK-=%N&AGpS~>TM9tfX>00mZ(w;W?3&sFsp+P9GPBb zGr#yNTvC~O?#q^Kq!-9IpVgMcq0zPDk-R2WZW@(@bF0YM#RPKr2`|gI4Td=a#mNvvC@vZ(z{#C{1RzJNVq_a;$0F;lF=Q zmli{j8M#hZJFHuTT*h>au(3(YHdfY`aLq@XV-p@;%km@0Ib=jxDuL7jHsV>RYcJ_G9p)hlCFM=1R`Y6ZW|}SWpICv5}&qQ zr;cCX3ccm9WwiS@Eo5{7fO7lGB1+5!To8BXAlx5411*!TwJ>j-_t=sxe#Vwf5G0l- z%UsgEpu*ww*9Ec@Rs*-ef1KjzCpGyrQFeF>BNgNGqk6|{Yu#qnMm~D%j{;O)PM;he z@`NIGI@6q$6%#o-QALRz!~=gBSL4)vV|a9efW$+bAAU$JfPvNknBxhWZ_sMLOpkw} zOiTtsxRW;yE~tfbzM@LRFh^O7Z&f*0dd7(2xI_f~%$|5ouLGQoHL z1izd;jL!T3_%;rNFF3yRw8x)>W8uA<8eYWZH@? z)dbr$bkj)QgemV@>Gb@_F!PaVh?01EwL(*OK8zS~XP|a0w{?6k`l^)YcbOt5=cQ^5 zz}Uj<=z7)Ho35v$Nv?kb>e11MV!f(Q6~4p#FUgR%|Ekfm;nN~GPG60laf|{8$CNO$ zf;!4%0Xg9)u@55UC2SvGeU0Vhq59;J0*H7rHegy{?r%vg%-&7f z951wD{_4K00y=;0LfBt?sqh)zaclt$4pJTRLnsU!Q&Dg<=r_JsVfKsxUD@B?6Wj}! z8}PZqqw{#Yh`8AIS*m9`qpY+gTWGHqwfem2f6>MHmJnz9FQ$W+wok_%y}|0U*oI~U zJ`P|ke%4&2onKUv<}26T&|OMmig}FKy3IrD{f7 z^Qz+I;c)(jDfcKAHs^ENyX6BE(;0ykYewqwehDnH4|F%ycI{P@U8!B_23(OnzUfcT zo$RGi2{3<8&TI#;8H?=FGk$Ti(SFY}r-JDW$CRs|;DP+PK2M}3{jTw!6>T2- zXqC0?>cf>`^K_@aglhcENYciAtc*=LP`%S*)YU7S?*X~H>Em3SVEBd9{5E}B@P}T; zJH~crb9IUa@g2TfR~o*&M;)k35nJyMjVBiWA7X#Nv0M#VMTygC#8e7=rz+{nc&N}G zwt_K>?{SNhi!X2VjEjyX`im-f?HglTHl^gC8+FV7olDJdmg;p3v@z2zV_U8aLz=$C z1YWs^gr|7P+Cu}*2ekcuh~XcRau2robhSKIvX$W#m+Pq#KQGlEhy8gi^B=x!*kHtG zzup=ws#?=gubv?keXrz`|%>4Ldep1fLLtH5rV~%4TWcvEAmE z{-1K7VX93@NOHk&SVN< z>izWBZp-k~X4zf+maNpTdIw2-QqH}(pF-nL>X%m@mzSzMx3V?%QehCEW^I3+hzoXz zx<5vFRI-_K0_J9qS(WIqi>Kv#aJA4GgcxJO>&KB|OA97j^J60h*!emaz-gt{mVSQ* z$a&eIkHw;N)v~Eo}zQnaADE!LPx^rz9+CRcnbF`Y`Iz z%ELH3;tMMO2$E@({LjH4G(Fz0?kaie6go2il~XWjGx5ABk}gG1s=HLI#a%+D6$GId zRN`0L&feu(57UJuyQ0k^b-9ViR)$izs0% z$d{G?t0yDctg~lOp0u{-!3+l8Q)tL=J@EVun9$7?2BIJB7L4*`hWovVuvt+{N!12s zkVk%1PY9<3Q3t3ZK&CuE;Tt z!aWD{fjz#|&GU93jZgY5dIBZ<`ask88|#u&0F&lJXAj;UOCpH*!j*C&(=gFClpy2f zx-*{E&|V=g7gkyI>~9x({Ue z$k+3lKh8UziqIc!>;#|~c3u{VXQ`s`u?j=&S-53Q9eR3m>g>YVml<1BCSDY-*f$TX z{_YiXl)H!WwNAqQr>K8~IvOI6k6x!a_U%r8t(w^u-$KD=nO)c|BH6u65fPJ?nxD}?Z;G%&(MRB}Q z-J-CK6o9OOiEw>0H`??c_b8_%G<%5KIMojFETPSY|3qjoq6mNV65$(MvqMYro8{z- zag~|35N-eB%%bk3X}KJak`8h$n!^3GlbKS5f!Y*&lqbYk7^VDo{_m*t%v(&>E)khW z$X~tn5lz0DsE~bk6$ypJC=4u#8gULn5}DFo`jDV#&VTKXCG&HW(J@CW>+J>R`!?U4 zOmT&MRWB{^OoD&8(O!G;0lK2P66C?n`v~j$EK+I-#=-mjt3?+gW~Jc&c9OHhMG9+Y z1Cb^e()j3DJnQvxphzqzwBN1_E!COCH#~j-cr4=D0DU-1oneC7s@Cct2>aZvkWg#a zEP2}&kix=rX*MJHafw~MB}H|vg-tFD>`-QwZh7gfH+Fxs6(;{j!0-=ytZ9HE>;ZhB zLcU_*rM&z=MfO_iD^h1>%Rxx^n}dvS03j~dx7;BQP~Hgy8`u-SXHXdTw~g5^R*-Gb zhOh}uP{wvEzXPa2jb)d0;6YEeSQ3AE=Z6mq{G?%l&9laZrEBK=xfsJQ@OHi%-rV-U zzdAX-g{OZ+$Oo)ylpbQ6aR3wh*+go&l6b>&w&y?}oVh+Mpl9pj-F~E+3C%*-erGxB zN$L5ss13YaSqsW65n%t0JjvdA*p`qX^hdMtrqy_b7~$6uQ488hFLO$Qs0AaoCDqq< zwEc#yb2ds!FuH*|3tm;zl6qSE07Lox@hVEKS6Y8?@^FMDhOr5gR}_k_oIJeM;xy8V z7%|5gJFK&HWYe_PORA~HxphYK5Hinw^xtl_jw56@PMB*WeKr6p1a-X!;YmN~RMg;i zbTj>3(g{!SN*}ktiVMaWD(GH3=-N8RG%NTDmS*?aN8tNte}s3HyWIo)<4%eyr7g07 zj#htwLczdG0HK70T;jdZHF3z0{UkMCLEmH)D%SPVJ_QQ5JRx9C)N>}`uB5cI0E%({ zNX=iHT9yMIv5ad_`BL{;k-Y3*pHFz?2D4y|5h)p4Pu7}$Z6@c@qs8^YhcH`)KK|j3 zY2e$7h%5W$Ub&>5FL>!;Nb~pDGSHN@I~{-1G5bS+R^KQ|w?wv8J4`AFwH(7Z4M*b1 z5;dok=ZdLn-ufx9*ko8V!Her;UwW^WjS?Ydg*~7T9Ggpdo zem!y)TB)+ofSM7s7|Y-Oiu*B^2Iy@Wa*9{n3eD}_s^B{6tV8*A>vVEBhHHMoIWpEkIWiu+Ej(qyTioW$b*_D_q%*vV z4^q~~C#0dQ-fweaH||qzP0xjExn+7-BX zTnxEIGlK-0uZgi!B!wsH;Hc-eE|Py_AGx<0o)A;knAYhs)(_OCw!3`swlS$uj2)D1&WkYJ!hN0Xf61TwC(qHaHN0q=xlu5 z7f^YpTX6PhXkt_Jn3MPVmqn=DzdLRJrf{P?;7A?q6ayRK*~yg&0xwDwo!c<7`XV5) zg-JgR*XKOrFfalQ@Xp~u4>KZT8_^CRQp!ILtv8zTjpN7tUZ}+;yJDNi_m2&4 zI6n$YnB375KP3>Sw%x8&n!k6N&hWYW>A@2SJ0~BWZte~rhsTD8J8^#nD&G3;n^|aT zv+XtsBt(Wucr|T3cT2?g3<#-XmwBI&bOcYZ0u4rTnoC>At}awyYt|P^QoCC2b>kMM z)q7q%k&WUF3k?5OaZ6^h}M5yp0|)LOlTLqFZ*=C zq2nDBl63RbYE%S(Sx~%vrp~69k5Z}jSH^GU*`!^nVK4d^mE%<8;mKdi;UbjQL1!ca zD1kvc`mcQ-ifr>VxO*-3POI2t7~BAN%BL>|bQINLd6a3ef@CjJj zV>GS!<;0^;bam8SI9UbJk03qF18vy>7OTrADd=^lBAO0F%$##JP@G(iz0;AF%FzBw z_MydL>-98zNaj+?%>~xrR*_XOqIB&JMzdCr%E)eRuMdAv;V5ORRfjX1k#BN0pCpdT z|4}UMYzienXfX5)G*2~Gvn~OJxiar9?N17c2pL=h`LIkKiJ~DBVxA}jHItAPNJ+NrW?5vuuz&vybpN-F^r57PQ5a#Sk zBm`eVSd@+k%8Q~g6#4p&?9G$des`}OvNdgx_M&lMrF|3H2f7ni86j6Q@%?XUl0QNa z_X?L;?g~0BQmJK^cWDj~NG{Ip3B{w+inW2wFlm3|(RWDV_}>>A9}e)}pNC{zGxa5Zsz3h>+G$^MilMk5J`G8@Va0#T2wAg$)L#m%$8Wc3K^7 zd$OG3_k)sxysAnus{vH(SQoWhfIoyi+}(`mj5=Lt9dwcMD8nfb_r)7t81o2nM>#bF9v@p z(}1NC1F=5(!Pye7Rw5}y)ZpYjq~RtN;cuP5j|p=G^*!^nbZ+9o)%-FFn`G3c(@HsS zUD9rU=Ic0AWjqapFItVE6fq$dFKiJ^J(+l&Pq>D9x~#4&A)uN?O+^J`B_}XOwkE28 z>r%9d7@=G3H23roc|%{cP-2P^8XJEQwu<8$+6__v6$bHx)I9AJeRY~Nqih#Q|~(87mqn{Zb6et@z)jYRZi#xk{ATY?5+%t z9FcS{zUUi!c1gyUd&f+W^1&FVdsM8Rv8?RHaY1Q|?$Gz@ywafUaZN4rT~L369brsT z-Bs{Z)@w7mRH0r(OR`anw~QBt(HUbo=o>@)jUp*JXbcq$!DiR#g4DtK99;br$=Ja= zKg2wl2c$@F1gG-^KQ?K>74`Fy#qbuKwIgZs26%C+ldG9Y?WLl#E0*gGT$b|0#0?yI z9k1zHIE497A;k&9O1#n1(Sd&eD-_DL`6${3!VZRnTfBgGJDuBPync!BV#EH;c2J$N zuV%XHOSsPofoB*h%;ZsYYe=n3X&$dEFoPdy(o@9bnS_bgS1ch~*>I@NjS7;wWYZvr z?^X(ZN)L8}RwS4ckZ?~9;ZY3c5=7Ulntq+obrEvX+)FImZpBE z+O+}PSnKp}<41oJ3R0}WW>SqdMm^u4(AGK2lOg{4Ms(Go4tYTqmzkmTC|5RVwm@jQ zlXZD4>{vVUy?`Z3{{$CUqqZj7%s0IS@;0Zv8pU?(?@LPu4M6|de>KEx2b!)EL=W%J z4u^2E)zs7V(^_t#P=tRL5e$yPH)B6+SS{k!c&q?O-RWQV_{g4GV9$<*m$x{mX>&_0 z#f?;SQr1KPj;XD=%`i2a3+V18N&$T`T0N-?FcY;{xJUp;+4rcQ=~@E^6ZGeb3M$}2 zr0x-FDwdVgM)F-vweU>~cX{E4NGQxYlzEMpsA5T}JAp;!gWi9+5?yBRgZ3&WXmoZn zkz1u0sg;Jy%FH8pNC_5q>LpntGgIqs$)@&~1q^fSMid)AnE)xx;Clm3#u(mAwjeh1 zh(g!c)o8xb%uy(8j|Yt;!BixJ2cTA1N-gl zZSVbk!o|VSEc2pEu*@eP=XRJtRWeM{*ZDMTCJGWvp6h>%siAN&#|WM2DHT&tD0fntRzPbHLKn(UH_8v%@9BcPdB+|n%05nsF2ftmcaz!ZNW`O6^v(H&nk zOg_!v#_dYN5!tS;@}2FYp9b{+LmZ67!#GA=)sW5Ay`}g3HH+=IjZB-7^Z(vV}EAmjJsJp;qfsJ9CV9}2~^A} zPo95@hm=A|O!0h*2&EbZd(6nt0wlzsQNGkf2(jGvR{*)kPyww*YrP`tsCQJx zDoyRXmF9y>p(4T>E4S*aKnBF_EU?S^ao=X1T0qG7$f)zpw_qvw-mLU4okp9$-z<<2b%nE+!i~`3EdVff`um$!_<~hDIq-mZ zG=9QLg8dXG;g}Nf?St(zURQsUdwQj&CVO9L!oq((mt+#+e>VD|o{S>@Zy7Lm$@lQek+ZwNPnW_*do0(QTBwab#!JR6Ceht~QUwcIfC;oKeWJudvdw}7P zWV;`Swv7&khM=B{I7`L>^HOZVPC9cLiWSjs_{X9|;7YM0EJI;YVKZA##7$ zlDq3n$Xcs!7N5t|w^Ae-m-lN8)`#CXd|8?HM}cV-G;Grdy4B zs|I(#N1T$h$Q1kq#;1lv9j#nbZ2$iT!n#Jhv@n(uYdM{^RZfal=~|wFJTw_ z{^G1snBbo^eZmH~w{dKoz|KNI;7EVFda(vGJ1AVL)cQj0%lcSqE-0nh2bqE~1C=Sp zP}DXjG?=v)Jd7j09WL~#=Lyp#WA;U;tBOT-BJi}K(4w{lG6mlc3pDHZMOUI;%UY@V zK;8&?{a?Bc1%+T>XIp$x;Mh_>^hdZP-b|6eN}SL$2{)i-MyYXLcfn%q>J5MWqGMBn zk`60)x!(6V#e=t=mxx6ZZ z13Nmwe6P0<4dX)KaJI)(y+t5E{z0q%E9v<^LBw?5k+%yHr?4HSw-XxobSxyp_!Q!P(+w>LoYHK2`%WfLac4^%ru-!cnBKrWrvO3 z^NBl_7(W?~sY5bI!h4~@lp)5yiz^nTdTjSk!k3^3*GO3*F4O=^vyWIfuEiL`CfBGS z(S2+Nv_#qXF*nUOWe;DW_=c)DLhaG*Z{F`xBZ;;j^r#;(*qmnfCVqdz+0a;mpd~IU zs@Tib5_XW+^+6DF;i3j&3m?5asbzRV3p@aeG)5C_wwi#O#rFBnStUk79EU*l?#!lr zGeDU&HN&L|WAjKf0E$UIySem+4SQ3pQ0CM)q|Ry7uBVZ;HyNNT1g|OqPrVC{UhY7E zoyR`-@0yBPkFMb40B3*bN%8Mlr>6<&Kq7T81xBa9)o?QwHgJIF`2F!=nP!L&t|gZK zr77LMA$VZ_WB=cbBV|t|Bc3lB7V*%zA1Y({cR;j>{ac8Z4u2gywfz{^oua^~*|(y+ z+XPLIAN#zK1J<|rV;BP4<*ybsN1MG zTphfpFXo}#js+K}s67-TI>Jz3+D;C#+5W|j`$bRgG)37D$i4WV+);oHE{`VCmHn9N zkf*Ay2=Qo1_M824Z~zIV++Io#by<%Fqxt~6sLEdn=(mreQX71RFwvVWMakLV1}u)1 zD;D#E*Nb>GwSs?QjJIr-&}wwXW$OvI6dDGwbeu8XnrJ^4zl2*@0kt@ESmIlX;?Ep6{%}3V_C&Q}2ieC`=Hc4hP(wO4exynKcG_1|bcle`vNw#~e+| z+q|)zUqNA#_guTsrnotA>mq$-Q<{n9_U_7#G0Xxg`6hp^*Pff&1~x0RqiVerQ-tMf z(#(#+?1i(zqAZJ?zfIq|D@~h5T^9#TPv#FP<9HQR-uS60gd{^PEfV4i_=cgc`IfgosfApeuC1 z^Emou5IlccKR28AY04f&k*#w@EKu2chztIAB#R?IVWFy-*p@~#EI!N)FqP|0rcaym70rBc(j~7 z|4!KR%u_m;s;`Vzw-Qqd6Xq~i39#=@Ok|K)jZ=S){fUKLFzR*-EpL}f%q7kDhaZ$l zEa*})3uBe(VcDlugS=QcFkNU>ag3o>B7w~VnNw8P*f&CYsv~H! z!VrHA@+4q zY>RTlz9n#6(;2{7OQ`0yEi+*&ME+`1-xUpZ?NTGq%~@q2<{+ZAd?{d(G^g!v0g~WI z0F$zeQthZGbaR%D<9d01+H?N=fs>Yd`<{QY+DASQ*@Vu{bK!EV$pjAr5vN5=s3w2s zB3St-Jc>tG96^;R;~`5Qjl3{zN|Y=)P2sHgJjZ zctMN-#yPPryq+{G;xw;q70D4thVuqA)4 zQ*m|MV~XvXq+!0med^sNPwFTD3Snc4ftGPIjYUHfp;<1&^-V_)mn} z%P#Z1((ie(Uh32cWl}D5CP4Xw(+noQ14Riy4h#Di;$pY`>JzpXiysWE$6l(kFY69G zU^8C(i9e!B($F0vjZL#UK47%2&*DtR0fL8$cnQHiH^RaPi{2KegB2<%Ps}HZ55i_N>Nj)= zh5n6HAv2Q2SFuIeDsuC0cY$r>$oRDJ=HJSQ$id$_GFBXIbHC&gh^Mh@T<01q(q?F9 zW>PTOCLP0?G^025Cp=nl3jTj1;Hdv(u{$ESGhpv8GXm1zvr z#vS*Tw%eSbvCsWkS<7zM&iazXOXCF-apn7}E#Yg=Zzp;meg+R#rmuhNg>NcDDzn(k zJ_zcVly^tlsNhwpbAi|{^#l5tZo3cSZxN^+e$Nkcaf}f==_?vp)drawdWmvOrvG!q zu_uvMzZ;T&ivuWa$-7!gTsoDIl5Um`BQ-b?{m62U1sqe4RkK$n2de|*#ugF%Ql;sR z?St0juWNx-p#B0C`Ky2Y8da}tqo>5Kq88ZTwwMV3&c% z#gWuNjJKc9uT&u*A<1;IK`YO$mp9}V{M8of^Ci1!P8)pYRy%(s9~OoHvBNBh-~J`JuoKt@a0dFI%Jh_?y-nUT5S2K)q$0Bb&|1hz6ukPj zLL2A2CMvk3r}c5$K?KS+kE%mAs^bYO&Ugvcv*zLT-P4-MulHw;V-T+Lm@d*!N-hDdLfHG}s;JPiq(YnrmlRCIET zg7mc25hPHbsVD2rT(xT$LVXA+GIoox z5>6FFTwQ-Y54FFufjl1NJ2;yXX-_Ya>eZeFwLMYMSwuR|mcH7-aSK#)h2YmM35k)s zdyXcQkmyg9$q^?Vz?m*3PSwG;ta!+RgDP^7^{N2HJSp2TS0D})QUCHgxRrZvalbf^ z9@#EmhzE$H`a9h9Ui_UcWq_&q(1l*&^Vf!DMf!gzKy=6Tf7Ud@X?{Q1U)dgbChHsK z@;eSXVKE!4CdsQlRd}w%TB=gLrsBzb?C z#D$hekB@Y9Zl3|88;01t6z(NCVaMAa9Dfi`fnVz=08{r>w`tHKrZ>DV4;$i6`q~>d zE+4Bi!JW55N6;qqec*e7O)~Bvg)z`+bRvJYBCaG47>^;_fT@C_$_5BH5{RgA7Ku7Y zFfkxuOFw=gE0~P~SKRkqHm=0H8u37|0{o#8j)bbp=Iv>}8|^M_5Cz(MzO?gTL^DftccK0uDL{ps=Bs~Q9^WfKSRFH6FhOL7E|G66jfI@#? zSK)^yCukTM=&ik`!MdK(q!;CrjbL4{Y~OpDLb9lf82w=7F`5+(cLw75=p*DLkdZ|^ zwXB@|1b>4){1U zo$YMoj;h~AWp5TjRK_nMs(~P#y>}hX0(VTxm0mU z2W0VpRNc5i2 z`qm6mB$UZqeB?%vDL2;&gs>LtTacwdLRD%9Bbd^@=z}*#2_kAd>;Z%NLG3eJ`FrZJ zf9Yw5MGh3L zf@>#WticBD%w7GvPPBUb8&iL#yFns@I-cMcU3@h6^e?K^o!y>OA=ok>b2E{#>{KO0 zK6ly@BQhd^mdNP9<*R>PYX~#JL4f2v!R7g}Vn5FpNh1?tYhhsI;(}B6=35j#t1_g_ zRQr+gUwG)tK};marg*;N5wV)jpG=Q(+$OOkZQ95xvpYE=z2S>^^ay`{r6;aO>eqGU zK^G$Zf%$MAU4KPfZrL2E;+#`V{}~{TVS)zgH{<>yye)=z*vEKL@V&Dl9=oX^VNv3x z6tAHALhR!08D<2yWIGbN?Z3GIlt(!Z=(tB4Co;(bh#=;2Oxcb})@rm4wIv@&wsT|$ zRa&Sjh>B!PTj(S2>}r3OV`R78@1deYo@-_=FP6P|^xU{B`|&(Qgk2F7{%lwJ{mO+> zen=uib6orIVMZ|iPJ=PxTay+1+v8Ig1j$7m{fnB)-cz4q#vW5H>9zu9KmB-*cw9N+ zR_7MMKPam(o&$C%$GIO?<40(eTC5QsYy>+e=w}B}D!HV4NAG{NFzh$Qh;)I|wL-3E zcCa#T!?14H*xpf=$AV~FFJ%{z!={vG)QQ-Mc&n>%%jW(4@#pz+;cz9e^1wb^LK+w0 z*wD0Za1V((mofOaDVyf^6Slk`2+<_XBEG&lyJB}(Wd4_PrNSz}xVjv}cF+Sf-)12f z;^HtG&JpVYrmTMuuGr?I8-E=Qk3^F(a(FYkqAE$)|7Nxjb_&qxKcUXz(;J2@^DSKo z`VBi&hwKyI4)*l@Ar56Q$;F!}GZvnli4&mHRlNgFEHgUTpvFUdh{!ky3Sw~HZBh{Y z=hbS0Yx#4~jXH{b0+ies zVE`q()`x$vq-Iy`bo*5wkr>5-M0U>jK@;CE9&;v$UWSZ`p#v@ge%!Y=JmQwyEqq~K zDKJ;zcqeR~0r?(3kz8q05Zu#JLpKL2pwF}|zxT)pUXLecG5CQ((+^n~#$B-%psOI! zTxSy&KW4d>^NbBJT7N#w!g*8vQH6Q@Z1zk!8mfOWm6Z3YIWr@bf+=r%nKcZ|{YF)y zfg&MS^67V0t{FJP&Y}AIl$(-xgf5I;#dt9?obv`zc5JUzFB}*04YBJ=D^8U{E|IGD zeH*PzHZ&2_>0klLYu95Nue+9G`9#eSOA~c4g*1HNz<8l8RHf~SkLr6uir!Z=F0oQn z->H9rD%4`bB)XOy!P|9Zz3&bbkv6%*c+Pfl@3(*Arq|M|D`gc|vuILuO`sc;pVT2E zJeR>qvGP#;&GS$%zC}=SY;QK5$k{xO2(F6{OZv8ri2sGuJw(Z(<-t#0n8MAa-=>q{ zWT@Cs_nW?|=cmQ$)c0_CN%?RgRO@5BTLOR2;QH6YL)tA&3m)vsdCeUnCfkjNBWHmM z;#oz=IUEKjG!O_DnEVqq0q-Ftb3P{+8}`|II3=LMTRJZHpo+tMWx>RK!QJkx56H`e zHgVmGbj11Y^Ww5-r~Aux-p8P;c~KV@o`QJ0ncMJ%z2_F#Sp$_6RT~U5DYSl{(|>>Y zRIr!Pe|1j`6^XKcR3_F2`xeo@IvX@y#_R}i;9=XoHe&chgl!EOtL^$oY7uZfbPKV`7>GNqBe>Sg;VS33(zwY1qQ3|>>j_^ zum*w(H44;<6Q3!Wp+?Tjz$n=5T5X#P%^(Q2Q2+8zbbpy?spKEpZ@<~p z(ab#sM+w&Of0un9-?oLyBFTR+4zY?wg1F9JNip3-UsdVJ`dDU~EOQLtp{EhWaGU?* z#aH=V#X!5rQic2i-D0TzYM}keH3T6o%)^8R3*vJ z@3$RU%G|yM0lO1K?CInjW8KrCzfgRFqBF&kd?#Eyskj#y;;b%K@!RjxSFyZ*Uuiou zG##_DPEF;KvRM9B+GOmJN@h#Ak4x*%d)zDw$z-G7@fU}83ZvP6?@+zW=w6?Ze11iQ zrCZx@Y?w`G1Ww)SohrO<5H!YJxf_u}Z%FEgF=Mx}DlZs>x$a`cm&!t+m9pPo>J$9e zN3d#B$4Fl_mC`rYY?R4N2DG++fs$kG+!+nwb6szO2~3p%w$+P1OebsE2oK(w3jZL( z#5rm;l~}vZdZLjr(U99m(DlCiCIS_mhM^!j05d~MyxtFwO+IPLiVT`KvD3pwX}2J@ zglW*v>^2J#WTlY}sBOY7KdYN0r@lVHmAE!@jp;&2) z%DLDwm@Hso6NKV0t1x2`g~eQj(*o3sh`vCf*awrU66B)LS{sodk$efTv1k!gz*rB& zu>dX)JfRf90SO*@%xs+!9?ZKKgpZinMgc}mEPxTuqxB*Hc`Rc~Yx1jw1EK;%z=2ih z%XbpIF0WBVqGpk}NpufcpAX$gW1L!)?1xwbIipoG6 zM2UHP3FT1G;2)1{gzWIhX)q1_xKI?W2v!SphNQiTQ9v8s178HhlCmud5tJ?Q1(R9} z4uLjAiofupRMbA?R61%MQZ9oIEdt?eV5E#Ceg#1l4fHCae{-N1L=0f9M3)ky9d)h1 zisgjlk@ILnCOKgdT8{HLiU&$80z_jm{uz3Z0+hV=N)z0ERTGwYpHJ~hdwZ-a%ns`U(ge}JM3aVq3dZ}O4EA3bWx^KZA6 zkSCq1swJNc2a{?r8N=_{u_aHd@o+loR$~UA^yF1_+3Oq(zlsm+Vqw8S7av<7Fv3V0 zZ|e4JG@RZtNT$2TgTW9~KQLSpfGKjLa-(x&a$|Gja+47w3bOgwN}v9YeNkHus(ts1N*FfDmDy_lr?m%YKCEqO2;T~?#SRPj;% zERW@r4=UYI3f+nLV61ApK*v|@0$y)yXd`4gt=d*ObbBn8b$JV^&TR8LAs_gS#gI4_|iqqjmfB5ys;ZVl6 znTx%J5D@aLZkNm)!L(JpUm8CSgfXto(62(9#R4$k39_MUn{W??gQMqKJ$yFo^v6F| zIY@_XhIDNq6?id36bz~a$i&&rc%B^7H!M)NV`FCf`SI#jigvAKHrS& z?7RpMpN%?~(@y{V2ZJ(3w|y#5P1~Z!62xHI?|Sl`MiMGKfPE@b;eYbaGx4 z4_^+u$@dKAzVck5gPk z&GGj1nAd~r$>etYP|D7@^GAC)f4Y*lo!e?Ome-xhr~_}kz5KNI-6(ZHv`qQFKum(! zDvNlYKs)Pq2YJ<-Tu(3B-QkVwBkk<>JA*4(j~3sJ)D$_2SVU7U5wY$=i=~i7K62&m zP*E#fwMVIBNO*OjwNy%uXPIDsJWmDtWJP{IbXTHY08&_liZn`uUUFb4f8_sZV*;rC?`z6(({)4z$! zX+{`sceD*cyn(WV;r0h`S+_f`?r?NlQ}SLT%Lcu5mTh#sKg+J^>QHtDw_R7JS>(Vi zyOyZYw&-e07Ts~Hu0glCe?75HSCp#-?0TE723>>Ss;fqUr_5Ge73<~g03h(Gaw`=W zq&cnK#`2|6u{3L$diheXOKP>u#u6h<^}%yV^uaO9e(=Wgdr^r0=L@sg2(O3#A;scy zsA(Mp%a%Ks+-D265Zu}d1&S9e{(TXJ1G|V|qJ+yBZeOAT3W#tne*{q?NOMfUcn>pW z8x%LvFczg4#|6x<3dlTg+Y%X+mx+Pd$5E6Nk!N3^jWM;((YP!mz;hh2ej=q|E_hoLGzGh?o>S7Y+MH=(VBF&UoSa3tz0fXm8JLE*Y z*%Hr7mrPjGI$>!^SCD;)0@>5l3-Y0ITjnuo6Q3LL&`;#XK6vJax`%!ZU9AkMZRpCS z-SlLsw0P>kf2f(OlGnNXVCmX(ySzwVLARnVsSCagK?=n<&^FK&a0Kd-eHHgT7+zR{ zAjAL-x1aelD}f}|nF>OYRZ!A%3z6NWNY}z$k_yc3D$rSdEAB!S&}HZkams5&HMs>y1`V`rGGA*ANRY?UYe-OarJcET#l}~D$?xNCsmh=r@ zewgeokr5B>;)|?;f?GC-esl>Fvx+q30-EWi4MK}0e(=WkDtuw%=q_{>ZTTw#M{221 zyVb=|n8IN_Mti>80CZZchlQmeO|~E^$DoY?0i6tANAY(K=9?3Ea-e^bwU}E^mGCtc z-^#$Ee|+HU5jZlxco6c4`lu9h*kl%{$&RmTTnaaQFGV@hU30+pDb!LnMbd#O_|8aY zU9nGc8JZ_|>Oi02jx-#@16qbP6F=4}OQz++YTO<5ZYRT0PSdYDH~8h?)r+&UcRw8u zy2HVE*zZg_|LNKN)9Py4@33RPb2Sz=k2sjEf6Vt410pyoP1+P3ceyynx(I9h&h5`t z@9G-2ra#{oey{s@aMiB_emt90H}9bBmV7@O1E&Uw>&}Q-|AFktf&8|Y z=RWFTP|WN9M$x>PwUal;ub)2s>1FSt8clkG>Q!fQ{pxrvPy4j2eZK5c1tb_sf5(?K zf1%D-y1nB|HQCx%dd^r`XRIjdj7`-c;#Gq)w+m;#K7Vui?j1NA9Q20$-e7ujzMd^r zl;jHr=T%5A1Z(;#T|-~4&X*>aYxPwYHMWedv-MaW$V2&59;HRgbNN!fmT%;VJmpIb z`HTD&8oiKRtTt|LI`UFh^3%UQ$t&5De|>0rC~xJzr^87#B5gU6V>ywN>rqw7$(Ny= z$}jSp{7*F+Hsls|k=xI2P7V*x8ge_hUvMD{jxR!Ml8dGxIjcqc@K!riJg^Z(nXMe0douefg>P8B!lkN3hjvdHwD7x*EV}|B!#q^e}*g7RpF( z?$X@pTb|(-Rz19w|IQYEdC^ZDf95xL7C)|TdKu%m`ixn|y{~fIC#0r+KSRS`=?^O& zfdICPuHT)!c>eyRsq1@v!sv4D6UyExJ1E=m30*dPLT&VkMmRCcK5+ykpVIbcnxpk+ z%OA-}lkJ^y!}0Oii{F+^d_!vBDq=q`m{vk)^vys}+!qLHxgq#_BLNMae`Zb-zccW8 z@Vv9&6hfDcavmCP7e;qqQ2o5Yh<3_HXOG_>JwN$r@^$>JvtEcOhxT>g@ea=;D5{=@ z8Zty7v_+(_HSt+h7hk^`kB6gi@1}?PrODDxsp9SFFULpk6HDXuEMX+ZPuL;M23MG__i6T4VJtqxAUiysBL{rr zCck~$YLpHPf~d}G1_Wtm(?cPfj3&iAT2itp6cKAfH8L7%svNCR7tI5k!*XYqe*pT>#M+3yki^{e zX3my_^{Qxc{z#c5#q<>2bIwWGV;=Np;eUf95jgJh-Udmkdj3Pn+(?0I1zpQzsR)~k z`7X8J{tY`k=w}239s(jr^P~W?OcYk9Re~ zc0*SAfcMKI5d!cNe|Q3oa!huaKZ%>3oY7{i43TnqI=X%B{UjeE>K$~(RoZafywqvL zH=Zm^?@y00M5)$2`-RdY%v84q%a&2smm(U2z|-^$V3HP~|cx z9crMUvIVL*drdr-J`Xppz|_0L+^{Za;^Z;RW$D>XK=l?tf6aHubA4sL3{)=zRlWgK zFMyVD320fa0=555ps|jWcXNv@mym|Aiq!3nbW;Jm4Am|}<#xv%Qc8F(Q@1QryNcBB zj&xJax{P$i$xYm({jiMGuObb*BmJvQrKJF{BHFkq0F=vqRjL)hyTe^7Uzg>%5}$0{ zn`}+-Yn;5?e;v+J>A3_)twbT^>e6y|aLg*4HAN#2=ZtweXNt*T8!vj79N~W+!}I;9`Ye`E=Ap%W z=*%ED44wJjYrZPfW|hv&@kqzqM@QA@tiv-)GoTaie<2gxT20F4litIb`Qe?dOe$DSc7v zweeu1SJ{H(ORUKzOUUmZ`*E4)y92MTtj#^+$=4ojJYp5<|7QuF{ci0K69@mEpByu9xT;s4Q>5xi?&bw7H98hm`)?|cKoChS)Ej64F;;Oap&*psiSN#_zEP>j!} zzO4rNFpSU(xBNffyWxSCq2vV^+v>;2#hI;^g3e5XDU#U7VcUokUR3K@c1q6x8p%%foxQ z+;f&IBJ!sqDWc-MuyF^)A!3QTUGt`LU<(u+kPDmO1Q+DN23X*RDp-d&@IVc$ffwQ- zLB;oAwk1LmBtr_MLK>t)24sIi78F9hiucqE$Oa$G!VJv80?flQEW#2@Lj+b-0xmP9 z5}KeH8lV>ZP!BCo2Src}B~S+CP@&SZXy&y-fy&XVIaWg{G{PjbK|6H77<57xOhGqH zKmfwf1LM#OeJUprv!h?-vfk8y%GH;tLDhq6Q$y zsde9HYE-SqsHpYyXY+Dv^A@vt588Z$Y(Ba8y0Q5_G%r?R8=|lSyRZlQYW<$s-z+OE X|JM{Vl^~2 zEjM8^Gcz+~W@IrqII~uKrV9f%H8hjJ11Nu;S6g?}I1qm4SL6-(9HL0J<;%Xcr4(3} z_N3XvL*YS5+{ED6IhNg$f4?J*1=zF_2~AH2fR?WU>L-kdX%)wtrbZu5Vx zs+)Ev3p>3(%DjZLVZtNwAumq2d|7)5sl1pxm-gUAxwU(5>O51KTbJe59w=mqqxaco z76e*C1`D7@N)gh$d-@HU(O32LJHpVM_j9uHIfRQRpWx z2+8g8Pc2QOBL+e^Wj;t^Gu{Ek84Z6qKz9J4S8Z*SDH~&6>XT-l*}>`P&0}I`dHI;( z$&Fo6C)H#J9JeY{ING6Ycrhm1)0yjl{wrL5-shXWJz)hr=~LhvE{MGgfU3O7pHQ$- zt-^1mMQ)8J_3TjtFk>`Lqp`^%O=u`0GZ}d=ijz#L&gp+fchwdR zPIK$dM_H&0PaCi*R5XRN6qi4F2`BDIM+0Mk6AQ}*Q@y@7Fu-Vi!aJ%u*uBT9KHvxp zHQ%B#mdL``%_lY|5f#k3dEiT<{m7TF@(_KYD5R&05HwEV6NglU;tX9xV%(TSq^!!h zYU+HW;YkEJ7{xTudRF1T0d9Xo5?C?t!56s(1J#_03}qSPU};y&Z40L1!CrrT+AvSy zc>|P@2}adqCZxXDr9<>3gv`4y7>xppDa0O{77B87dG;wcOoAoZ zHi%cHb!yCNNL0JqWy-`d#dDv$I3@Ou4LTT^po8=I!HSNE%PFur;&3?Nupg3_%1Y>+ z7>aQior}OAp;6-S*t&n%YakLfT3cLjuF@6Bs8!EZdpu&oQE-ep?5DK>5*<+4)Q08t zo9pHE$E)l6X+;6}`%($FxKC5T@zw+XGCFSD6T0wEDNnLXg$Wt> z2YzPKg#FXI((y4J05UW<2pA2-#Ns=&RCCS>dfOh5P+*0}p*kJAVz+4&>f+QK>ZE!| zhFq~QhbjCt4DqK+s617vQyF#-<~J%=jVv40hgEMzBq*50(5s*)lz6glnxpz-v5-oB zrB%IK9Hq^}YO#NpO)UXmv#@;}lVBdFltHna8@5@d_!Fi)%muU}h7aSGXxjPM6ZdpH z|H1Jop?yE59Un30T-}+OA2ijtjsd)B?{dI@kDqT4mMAdxdmwfYXzkjA6$<%dQGoC{ zKot;35W9ukZKa+L`yMT7Y&Jtw0*gxUWBm9Nze2@GxlMnHH`*@n<&^|i?n;R>gOwg! z*lma*wb|Q=&zOLrNF(3@tZ;Ipt8a$8@5-hI{7eSlwl=Hi4V~-s_dWx*Hu=WR+BH}Q z#G>x{PlCelVj`u9h{tA(V?xWhgSxxPAtkGcNp~jIZLGGoL7P%P0@CH*6f8ZUS^mZCE0AeamIu&8J)j=Gq;xZI7gr)Y$ts~czb?XtqUDd-*IQYeLCXp- zY}cABIA18M#{8@&pm4Fkwv5WDXoCb)TTDQOW-5P(qH#!w^NFIBItNXX!yUe4uI9_U z(vN~4Gr($Z{SN}p5&<_MfLpoCtc+pM7xu^JqS)~uI;--f)#l26?{ZV@UB}!R@!Ipd z-1U*V#1y2Yt;;SCp;?T%#5U~urg==Syqi3i=(#uroM@7Cl)uogz^lKUNC2Uh*b$9j zqdk9SE;mD+q~}74vluFYa6j;U`&8oi`OE~QGu{HRnd!+R=?u_pqIk)Stu0NuV z-{%RP(kP4^-zL2mT)S?~5@P7y(pOdaIQ`H37W&X~@XYx)6@*9d$_oZ6^ zWGn*x0SDA1HD%NkX@_Vo0=H-`1KL1;&A9-|nvHGS&W>%{w(acL*s*QnjcwbuZQH!( z&X<`w^BcNqRdx4M>*0zxbeE*^@W+t!;r(!kpn2%hNqUiHp^AIdVNInD9{mx78~aY8 zjI8CQ_)MzCEXe~oZ5qk0z4EvvqpI3D46;T`=$|tcP0&GOsp>+dt1gMNhRE%ImO&`g z+YU<-Dct*-9de zLN})Ae;ET<>OhsZemWnHBAKT>efTI!_Ju~fJST^Ej(@Ap($sqV<<`T3aNhN>Z?|{hHd%E$X`+l z%TP>2+i^|;`6xT0s7GWv84-ExW^Bz7uJ*CcB~1GSy{E^f8(dNF+s1c)oW$`4Xa1$E z5+dcdk`pwB_9W69aOSr(2D5JBP3jx{N@WoS&YX3R6~8{;j&&JO)MMKtgRF-K+iX2- zf7~NZUo%(rWUaTEuQYMQBL9gCJMs>7V7RhonzW6fAlAu~E zIbHUQC7;@5ABtbYt8)#1Izy#8r=9l0OTRSKZ;I@Bp{oCUe6^&V&dY?4kmK4iG>K1vHmA zwBiXqT0O<2`|`VWA%iVQX6IKdE|>eA*nhTtSCrFmvWrIxp|OL1agufaTmmZG`xE}w zwbbK6XF`q(t3A3*ByT9SA;s!pQ>~04i_oK^+5LkBVwTf)umhh4)fvd3N~l=vA%3I9 z)x(cg363iBivvCpND(o?}z>dQrrGTA?|L$JU7=K5B-)XfDEm4_j*o3g0EqQ~+&IF>_(s+St2=J87-! z=@*YJ5!>1)qT3pK_f&Sl^{dxxgz`ykB3m*Lpw~md`)^P2@Q5FN1{A!(8H(2#bjeIW z=&KLhL2)@#H1y#0k+9xVwVt8`X3Vw(=B2&U{gh30b@bbA1c4Id9v_k) zyp$1>>9*?gST`h|e0st*`4P&lUy|;xwnX)QcmC;24K4rAleGYVxH+#VR7-FIt^*Y| zWV%G3si&fUWX=D?zRXbdfZAUbQ+e8=C!}}v^RNj>O6GxQa}_EguH)p~QNUZR+na}z zXPpUo6$wQkC0X(#7mpvrxQZB~QP2tBkRbJeO| zpGV0{9=Gr@^Wl~Wt00&Dzvc+>1I#btY=!B0ILp$1%_4nyI+m@W9fbojtF%!E_;pVT zxs)r_c0GU#%Oe;@;?Y5D6A7r=E{R+$dBEC3-t{q`>wXXzkNfVK^8Ss>!J*x5MV{My zNr34u(J`E_xZSKlaF$;~DmtLt+UTV@tlNb{{ufa|Z(XNy+2Uw2*K#71;9`y{ZrDW8 zxmzQDwfJ1f#%OF9kro|2@_N!9y&Yz*^Fe?q4f6IfqlMUO!)38~YqczQqm)M>9g!WB zp;=)EFjQ*d2fM`$7lR=+huz}?nh6Nk8;d%~Xk-M-+@crT=DB-nfJ7_o2!){)r!EzP z3}T~6Tp_&dJOLJHtwdY0PwfFCx9sc3=`Esvlk4Va7K$SVLZd*whKZaQxzOzH!UY62 zKFM#<{MKYe45w-(QT+0XJaQKT5UTo0pg1P%mAtD!_}So@t9#4=jM_Hn%s6R0XyS)0DTodao4z?SE|w9M$Yf~f46xcs%3uVLYFz}8xKy$FEtatA zk+ATYI!MqnSyz8Da=XU-RVYkGrghVQ`E8%){(}TC3!cPfYMNJ}f7;z~W>})?q5GXYJ-z4b0s$|77Gy*VL>4Ho~I# z00;sq>_oADqknfZ5It6slyRk@>@80yl@np=mKWD$ekE|_1(pS~D5jxLtqT=f$3B+r zdamY6{ick3i;0r0SGs62*yL(|IlzaP(Gs-%%&qr5$u;8ZY&o<$xax$Z;Il=!u5uYq zzCq0J8`SlKvo&QR*l74vQ(6y9A*&O5R5<{t~+8x%cD9s)Orw~3BMFb%Zyplr( zcob&nVs1`SK^nR>=Y^w3Ii(^JAL#j(N@g~txZLW&QQ(Z_X&D2*uSqh08ehtd1J&jH zCdtEMhJ}{VLs*YJzW}ed@AxLw8ZA)Hz|KJ#R_M}<=9y0iaLfI7oEcu`Q$K`D+|n8P z?u%9}zvKl9rk6LoBYjnO+!@%4Gq-k@aJlQ=7-oU#I zQ}t81_G8b;DCs5+u{grMa-f}jy2&womu#C1Rtdmlh|cubNUUVH8;=YgIEAWJye{ni{1r&e}M)3KW5uMn`aXbt9eTZBBA@@%Ppn_)jr=avHz={Zgp zTWlM|+$Qu)@G*&tw$?W12#p8pBV!(3EbdgxOn1iJW`Pv*kOr0pxNA&JlmvSLi1>S` zMI}125+ZKeJPiMSermmT!dwj8%L2`PKUWqS13HPr_dr(T&S7;m$Z9yaE)Q?^i{At5 zAJ{RM@$xwHO9lylBedIvS%2Vfnemb6qABm<45u_YP zyR#*71!BuG!R=09bx^QB;{FpBw7t6pZJ+tFLL?wHoe~>lRn4$F#h zI+I@*LqbHs#!8mCFB!L+y$qrhmlyuPIL0;ITVwryL5A(FIQ*&LLuN*7{|$?qmZ~YU;6_$hV9l@-U#JSQuj~9H zbrq_zZLQn&Ez81Bp(#e@>D3HN+kQ7>%#)7Zw%F44HSeohn%7~5nv|QO-3Mm}x25M* zTWhv|nuZ~@3an4h5Q6ipF;Vaa_unQ%zTS&^&$c`m zgM=QaY)xE^DfXeJXh_v#NKh$S8X^9;FA{_j0z;Z1L1#mQ<0MB1;YqJ%4RQr zZcEBwW6wnVB^C-E5&w?NK_EbDK)(xzLSick4gdRz>sFjTVZ>DN_xFVK0_6dIZ1ZS8 z94#a*@_m%;(*O;AE@2&ifSr5Y%#4j+-Ms8G*`ldLH@nuSx5X%U7(H;M zD*V}?E;c}NsOZ1+L+_YYr~tvAry7BNjpBRz<>UuhVP&klcKy`y2m??z-k4RBC=EmK zH%h)mv$Q>((b+ETqnb<)EL$l?07S;a zJvg)P!Kcr2$c!rBu21>JPDlAYP8|!SF&|&Hxw`vTQ zhtAR;`x2`Qu%O78^sq5CWW#h%j?h*vt-l52Y^RNKb3qUm&nQWQZpUl)K z8OF8wZd_>k@*T9HFNANr-PIp|S^j^Dfxo5dsH)0bPD5tWkXsdr7bXJ*4)A46nf&(~ zT-^M*!zbMItWlpdK`UQan{vs;d!6VT{%_psM$GL$^v{eznl)I)hxe+a-scy;UB$1@9TF0 zXy)!lAEdEX(!=)|CtO<}Soq6alR$IBJyjgI{NenPlI2TK%*4f zvgiQ24W>IP25T5JWSu%I-NwGbmuhc~_JFj#bEj3< zaiiR}K~rYRXRV_YAvxF1%y)sw2kp}{uggw*rP8ocpxrUTbbO-w>|U?DY}CFQ~baOHS- zi%r%P+JpAyEQDd-Tk;bAa(Q0uB$U>6VHzbB1TYm+tCv7`<|p#V4O@C4SPik2=!>#EV71l zRo{nF>pMlsQiYpczBlv(5L084WdMgn5t1i2GwiAu<#;(L7h)Z$DqcJ`Pwtm0b))^r zB^u;eG(TB?B*ZbXSovRDl8ad7c%V_K4)_m3EeUa$6;2dQl&}dcp0aF{Nc>Y^ANa#_ zysG!Uu5T&vy*X-;oY^MF<&wOpc(VJlHB^FBaMjc(ou#*?i0NfXFz3_b)5Jay?3 zeD;crT(%*mL<;$Dmm{P?2wbnq#C-M7Nro%7*CKUQ>CR2+@hEaT&21p-d!D}6>|yTV zM7Y6VeLE1j;xv2yLKeMokV)EF!qfZs^%JdNkCHm8VSkP0dklq2 zk^+wHWfU|r<4}l1TI3lhDO73)nSG+d8UK}E){KvJroY+RnXgZ9U)OmS6iQ1R%lfH* z2`7>)^$t4ocd%uZ=NgNsf9;@>L;c34E`#sShlL4`XN}b;RywIq>(+2a3QU&4OE2xOK$Pp(6ktE zk7H7W&Y!Z&hT`S${CLDG-=7I@f=tcSe6-T|V>>>J86}|~Hh|qU@cx27qDkl=Dxu<+ zbK#PDI_IU2B_q&f$M~mzq}Az=p2Z&uyz)v}rYWMO(s5i-xakniX)uC7j-)ZUG)G)b z>)KC|)i&L-0Z~FX>)d-8Fv3baM_|5erm@0Yi-X@-!BQ^9^?A=#V6Ddb z2i%;f$wcA$N5YQ@5TL(d#3fO7lN;4L#gmQ_H|ztP^p2ks5ly3idvbHZ5fSYD|6Hww zsI)e_D}rihGxrr%ZPF+a7%v5cW+>SDnCt(kpvWeC@@rKJE>6Q@U@Ui6Q%?;!K ze2$GAqbNSm21P!9wseps`N+Rk@dlf*B_(ODc)LJ6e5(z)l)ZL4i?lk4Th(0y4z%3=f|c(t32K|rq@ZPx z+B`rwSA>s*KM;yu(L}nPc^%GSDpDmM>pR>2Mrk9qrEb1|wL+q#MP(7{J%KAYT|;t2 z!IGL`MjyS^KF!1A{NCvJH-s7If=1}-Bpcd_Oph;(5qVLg>0XCY)E0t>&yD+Ox<2Nb zghCK$Lbea~dzh1$*ow7*kW>G1YQO#|U7JjiiGhRZ3~u|ZiL!SOF*1rFm7hIp3K?^b zsF(&#*P3pBb=gVgh450|KafQYvwtDY;3MF3u-9}!<*?h}-ZI^k#>9j5-OM=SWZAj$ zkX-F+U*tvJA>v>YDV)&tZiWR0b~5?soj??t6=xMA^+GQ)-4 z`!0q$w(E4I(fYa3az@PAO$!=B+B$mobaQun-#;{e+TV)JSM@e+E-WkgCDInVuwpeK5O7pyau*IL*>b#;@Bh4R3H(JA`*vg$8ZQs)6k;OI_YyJZV zJ!IW~i+jeLnAb@wP>ltd8P@69%J&|Aw43AcA<$#)7PfdJbh7 zDym`Q>?~5X$Gq&?5-9{=i&7G&J}xh-H@)HBe3cZ7cNrRS;lz+>q?{n)_raU5tzxL5 z&NwNM2CK&^zJr%^ycQiIQ%W1!bZK-1FbAN2_aWPKcwR%hFk_r`Kkd>7g^ae1Nzu>J zs?!hwXTtFHm^quB-%F=BT$sF;W|4QOg+3Wzm5&7tPuBk=&~BzPPP_ zg#|WmHa6YX1vkPiSs%NKVqJZ0z2IXXH;aVJYeG z1APr`2VQ1=)IC@iOJ7S?faUVyQ8H%Dv8a|K2@BVZEescTefMO9l?trCvO`Ew=xXgB zeiRF7mBxGKM% z!%n?7VxR)l@9&wpC|mqL#GHa0{O(w_Ww(~imf-F>L{3JhQ_~8O?ufIuCF6t6p)3JI zLJDFSjD^0wLp!r%c3+(<`|J&C4gdn&gl4k7tS7JZA}$ z4h3M<;SIJv>ha`Kllnx82$ak;Ku{K7^+Mj>dqC^{ypRduoh;i zVT9V0Udt^MWz714%+*noVmAEw=*0cNFjAvioK9!zfp=Sb*U05Er^tlCihUSs{PLRc zj&!+`{DF9K5L1=eN6%CWAtUsvuF7FTv(_Jd$B{^hydZVDc|COV1ND4=Vy5o`v$}Yl zvc|KT>R#YUGdpPzTE`2nNK0y9Gn*GD)(0&m&8}Y_9+Ug}$4Shas4(^2)7(l7vORim z+B3o;PG!p1)-{*Hf7H#r?i@%m-!#nb>v(C>6g`qy`za=^BoqGkEo{N#oE5&u>O#(j z>xKWgi94!C!J!_k6M`$wQ%i`5gOzt^~EH5fDL>!f9jIaLQhRiZuk6p#)b z4x%p=oEpf(OVWG1mb{98KL#NNZpmdomUMFN zJuIlHR`T1+Evb_L@0I}fAPzNl)(64v#-Krla|DTnu6Pu#Q^9qK{nz%19w~BsGV;-s zw#t;#qjnGg7qt#yJV)@pjcoc=lt)w}wJ0h6L$&M&auSMOHDLm45sWaBrq+(^%v1eL zIglkgtLP3{^nl!d?qEZ$`Jo&!E@md&0WC-Awl47fI<(oaHVH1B@B`XCyTa?aqzgEei1i(Qb5r1uz zI;;Ok)}2gnuD3i9;9rGg!~UiJIX|L$15x2S_&08(2>?t{(o1R$K z%~g>gOlpJK8g~NV#x)`ZRtL>2Y-s&*`l5Ua1vYAbDzg%c{L?DHqRGI!g}2V2>DWOo z-MmajVo9apSuXxtalhURWsgqWdktZ>lu;QCt8kS$`#pW&)|~ICn6ltvr|?C(tcq)Q zPc(M`T*@^;&hmPLB8;x#+G@B$QX%f7W3g4GUPR2#&Ddo@uiitAP@n423~Rv5F?Fkohin%{{5$C9!Ma@MY$8a@2t8?&6P!R=Sa1 zSMVL#op9l6><^eKt_^LS?Z0*k?|lk`^;1{R8pHAw0mjhq2yBO}Kwny)b+-ec)Dil} zM$lVFMyaf#kU+ZaXqITgKnbi?Oc#_-8#81z_#N|lfilp4l~x%TQ$l&7tqS}MkjB@4 zG}@9e>Z85biki6!lASLh%L2|E*aXtk?-WP>;gxHNvOEy!cg)sWtn*RBt6wrnXCQJ*Pn-VlY zdx-qf@b>JfT=_P#_OAB+esJmOA36cEbd%f$)_uC^x}Dm%d3=*ZKf1w)%ndebL-24 zL}#cuD`dN#kp)RAmkVUgC*+tYWV#^Qh9P=CooVW}lV!OaC%S&$XMg~wyWyLEdmL+% z*h{2m^arWdrS!V7(#<;2EKWNr!7+?Dhfgna|QRs&XU}f1*cXcUx_9 z%1AYaPOQLj#pFsIG^S)nKw6%Ewh$H=vhdb#om*gbxA8 zn0dIIxZp}V#z`S~B7he$_i0Q}t`K1r7-p>+uGTtO82r2eI zq7!0=y4<&N2XIV=+u$W{KV-_XhhA`;MFHyN4~@dg=`JTW@n!dj4fyeYfAZSERDb^c zQQ{sr8mqk@H2os6h4gfyZwc#X^l!!Vq!SMh5-?=zXy_qb=FL54K^OV1Q0Hy$%|T&X z_Sl-&S%NLuacBEXl0xh4(Smz+uW{{TM|oeO6*7QAr&W9qq^$3~)n-=|wyAp4Exi3x z;wr#6u}-H(`TKq{F34zqk<)<5yk>jf8V6fEA^n`eXtR+A@#EBuF^nQQCd0#@=IWG6 zHWT5^Y+|eBBAmjDK4iNwSbF>KvEbdywB2xR=#|4B3^^CD*K#99J7|yS zQqH^Z`*H~{ep;54ciZ3iR12>NxDoHUDAh_&1<2<(&wZggXSg(fxz8}&JCbKD{opx{ z9%tfz&9Ylz=_+i~)Ylu$&R~$62P^C{s~d2x0?4v_yaaqDb2uQsZN!4bQ_xixWrg*H z=@L7Z%;rOcC5riSL)>eeryMOv1hC~4vfvtseiAiCzlkSw&&006E>=+Znf!F0gYoKU zg7V;q9kXT^_DA7=iBsw)cIj%R&_!Th4JnLDrUydsY-aw*yf8+f7$%Xt(3b!mhn9S| zB2@;-vyV{0(KtN9lH;))o1*13tz;lCg4Z@iLMX>IxC{%{i~b@C#cvIXZcOoth9q(@ z{-m%1YIVy%SJYWxT3v5b&{r6zEi@{dMBnPW9+m2@3|O0gm{y}}m+;Bd)0Lunk%oN` zodcwi!!yH-ZFEQOJ1rcuqkkoejK2!p;*-Cl(NB$`2ONWnUP|@{1-r%C9inV!dpU`0 zk^k8)jv9hiOFa*Zc=_K z13l{rqwQCJZZ_~wmSkqh@gUL$h_G8D)SB}UmdQhz=~L#;T$x9pFM!U?lCKGNRxEo1oA*}n19wx8#WksPf#rPon0jOrmod_1H7xhc6 z!Jm<}OGDdrO!!1S3~|vCY9$v0BOU4T@uORRE)!!M@15BO6PNn)D5wp{gfJf@Ohnch zo;OD1O?fX~uXbFq_1o)eH!tkw88djcOmV= zgzWPp)^DKOkARYU-85?FE0nhj2E&`n*mO@;nNu1zw^1%@k5Hy3r!-Ba!-l;zJ{|N}9?Bwu>g+R)p`T`}V0`6%>8nf#mzL ze5*$C*Zvu|KO*CVk8kvO1q7FiC?TZDL6=tjMap__wwdA^R;6}e8SxUf%gUYLDp;C= z6G52Sc3>%;pf3J6LG@|q-KDgM+l#})acz_-UM#ER#R+U}A?ol;82et%xK8tb3~CYT zlbqF@HQsnQ9Txc-WDfe9NUBx1*~}fWncHXo0Tpo^y#MU7AIMPgg@}o$nt_na*e~kb z_1NPHVFvcC{)cDxkZgc^NKu+0B7#T-epp9-ZTEoq;Is^p`@APd(%}Q7H&%>&mPPn; zM7&^&p6cMbTF9uiH!t5M&F;5O+*_G$>9B0DE#6%mg!&;VLGhmWjym2#fx4`Ogbe6)C1mZ? z&n)O9f9@KLGeoF^_YM1RhC^|xgu-vx<_XP&sL8cu03D!viK2tnm+%>X)A~Z=bu{kh z!&N|hJtqIJE$Ja*^jIG6Zn`Y%`GLZWC8!+uUgh zN1T8HkiYLWM+UwosRerz5a8KuRYK(86R{s0ADy@hUHSf|7QSVQ;}4xH?{Vk#oJ1K6 zEN{$@7WD7lMRxK$e8OOV8Hmr78N@k;45ClGpQKJ3%C8keMzIy@_VXTf)x2mx+5Twm zgiNr++fnQo-AQ;dcwcy~Nr1;z^u(Y>IE6~~?DhQ<%AOv2TQFZj+xkpnK}IHFWNCR1 zf9E+PG+9|hPVJjXU!>!kqsJX#pA0$I#6ZqS1F~*n6}NxbfF~D!tOx`oxX&-GPo!la z&)~=nwJDg@qc0F=*&gCEN9Xe0R%v=0LQ=BZK6l|bqi?dRJNk*}wGU3_Kx0Dsrh%&- zped26O8+X==F(L7-2?OE?mnikNC|v`{jZ*%*t@dngo$EMu#v+fQwjou_9owQ%HM!; znH`%9)zHGXmz^SieIHT-GxGIcpIb9yrv(zR&&m>v06k#ZYjOL z@1_B(O0iE4@=S)6Vces{m9atoJuu$8Uf|G^)a9RryCZ_jrmm**5wGv@ft1NyT3kE0 zB`8);x`bFu)Lw112*!6nwJ8)V!!9xu)H}|tNH#FoeX4(d#eOtd&t=ACu|--Vv)IbZ z>aU&)1(nYy-e|11)P3T|z0@*n{s7kGY_fk%#eP17v%126@xCnYJ*_l^2}tGViXa3m z#R+Cb*QH=JZJ- zp0kctw5VWJZHTI@RbkquE?*m=0BtOukppou7mZk#cZSE^U4@E&z`Vdw6kC#*}?+5HP2r|@j65Rtn z7#(XR;=FQBzQqs;tsT&p(G{a{Ho=~>?Rp^1U3Mx=K%%w07y{4qcTYA^x`dPgT?2N76bvUU7X!c4ZI8^AMj?iyQ<2-Jj_E9O&UReG>ePE;7fejF~DXcPx8`a<-$PQF;uEo zrl9JS454nB;~$j=DjSD~4pMesuJgzx*G5t-qC^e_t6&VM)c3$4lW{Vzc|Uf%*m>z7 z!?X{ySEUqg-wBI+O9!TWXj>Xhl}>-F2MOTi5}fmDLWRgeX5`?~A-~(`rv%(3w7uDX z2H>S|9ad`skM->-2Pj3L`v8Dw13HCC;5ejga_$DDe*vgm^*In0GKV~0lhY1Pl#+vef34@OU@>|O z(S+eDM3*gk_v|>j^n_5zz` z?(N#(6IsZY{n(aZWrg}C-%)izPD_?09OEuT5#mr=%%%$eI^!OZv7suPRJL8DRr&+c z@tEJOIr@>L#%6}QPJhQIVeTP2MysrrUzg~2ImmMn76{DycZ)dct;*|ItnEtu2pbRZ zHCpo2%apRv?=y_DvRk8U_)|207q^zXG?P+Py(R58nfyB8Hh=73`p2PCHEaqp){Vwn zm$HiQWeUCuhzuFJR&2gry1@$ZjDNne=ANCJdzuG?1z9*tdnIPRm&{SEjNDD}XZ?9? zB-GcUEk?HC$tPo_C_6)JFe>ApPotE4Z2ZgaWQK;u*hLwKNL53a?2)`B4Tw6y7!TcqsajFIXgGYzG)X9JD zwZOo?8o9noA{)}In%ngYYu~LgyvF)DGEUs8qn--ghx89h93Lqw+XzHz(^ph`*|`@^ zEtAOkXON5SLab{}sSn&*&(7L?JtJbxQuySUSnGEyse|3IsE0Fut6kIjEc}1f zV4BkHZ66^7I|MNM8HKVtrV>3L&LsbRW>c=Hy&6h!8!%mJ74a97KG<6zxg<@`lA-u9g73uChHpBpu7X+KTD&D3zf-(bz)YHJg_nv51<aymA~e$+BMxX2w6 zb7qlLkcj$5pNbbNXcE_&0PXeuF7h(t$pR)ogmj=6@2bkXWQt>vldv7|d$q5@hEPbd zodC(zX>UA#d(1-O&>>Boi6)0f%d+2@mPIhP86BwKn5ECn*;xADlagu#SeYUb;=O1! zt-5pixpjl6pW+xG=*i{JojH@}xeDpIov(?9(t|+m#Reg;UbI(DCzT6}-_oPjj*e;@ zeYy~l5SQw~J}ygX6wb&Ev&BuqZ*nuuZ)dArGrj45`qJ>!6}9E4Q8&@*&|+j$FSNdG zez-I@cKQqgddT3|JaoqDxJ}&8@?#B)MTJh{DGS&p2bHgiFy7goY!WPIie7>cGG@WI zQ}6K7J8EdD^d3&ef{3r7%>e{nMO{&b01T@$ZH`=@YeJpcIhi=8u zIWZ@HcoW)kNrjZ}e#!d5o(QXBZ3lQi6iRLIpgn+jv-=81{vVkBkaJ>I2r(Yi9ihyc zY_vD4oBTEfH>;_jb|>v`w( zbUHkP1XEn#wAED|vWru-3#Oc|QIkpy0}voQ^jFZRYEQlR1L9psAJa0J+_; zUQ+9{eR)MmKQBorJKbkmcRCspgs>2?*B(;tyqsmYz_ldUZFRs&7d+K*ivWG{J7;fVNrnr8x8%U{t<;~~`u#H$xG6iKl?1w#cmnh&y z!*B3;nU$D)t4L#>V`o9WgD5Y0vKg}7XQWygXPk@Gpgc))*L|-nh`;!~g>(!f(2NL; zNOW?mkL0IKbR#0(Bgvhu)T$PLp@Rgz(#gWF&I4{6P&*GReA zs1d@41U2lFS|wr^o5qWJb+zl^e)RMW6qsI)9Y{Qw)FwgIPn9lEc(pq8jqg{9;0T#S zD%$vNK*7NJjc}nT;h#${{e!o!ZEe@?j~5*)lFZZK&R+Z)2mGpbA=(vx=$acIp0Uqj zdFas9>1k^}2;xH}yW|d{FOL zT;EcmBP_c_=a8>q#0@pL8Kt;){|bL#!o^CY8vMBAisRF0&{DU5M88b4X<|{jy_trP zKYQAgcrN;ha(-h02v4=W^3AM3uU=a;Ge^e9V%*7Lqk{SX455Iug zCzyuBp0nJz{llN_JFwjA`y}1hBc-EZz^u%PkREi5CBRyLV@nSY<`*i;A9^;dPP;NW zc&6k#@rtMMqg9`z)cy%+f|R)gkmGp(cSvE(<7Z_3<$`|t87j;~w#FiH2|_eL?u$fZ z%$y=_(*DK0HZ!FP&Zu!rc@Bm#!z|({^5V=6qJTrna#BXxi=GdqUD%(jvuc(}42;=4 zs9WifZwCW^aU7tDYuTgtg#JhIC%t7T&2blq@>>mxrOK`M<?s>6DLXjAy;A+x#)wL=3o+Wed|-@BJ-+c>8DQH$veY2CSeulY$Kv9DUe5sypEmnf zti!fzbte6IDe4y10wIAud17|Aw+xITR7~h2_2BL=AF?Jnymw1!D60duf3iUPKJQY& z$cS3hWi310f0`vg;Bi+BXA$T%Ln@`dE zwQMY&cP+(dS0DcxqIVo;Tfl|QYMkRm-06a0l7js72t_5;%*YfkH;vm~bQ?`Q$iWGj zbW9A5sAa~NujQ-5sf4d&BxJgRp&Pt4(XvH~u$?eWRABWocy|y%w)c%@X!R998CcC! zbzy`9ei8#Gz&aHM@Lit~{07JO6^lSFjjOZ_91aHivP`0tA}D#xAWerM4CY65G~OCp zrQ|Byjr&plAJ=AXg@>95u`hPaT3hRV+Dhlg`_P%Uc3>Go4jY6}T(-={e!eK1s zjX>|JL|vfJtb;*yf$mCSjIkm?V)q5Wma0Wi5p4qymkPK7@Wety46F7X}xlwfdyp$v$C ze0(TY!aUjdv0o3!Gnj-N1`F8HRvIEI4aK-RVj zje(pJ9GF5xrIJ(@L6jb&Lx0$11d9N$ET9XXvW6tVI1Gr|c|b7LQFP!;3!>D@mmmv5 zRFQmy;O8$JJuj3{8BqZ`sG!G){`efo(TD3csdkvUw=FrSKUc(IQU0f z?}&f?v-Ri?8w0NRhf?Y(f6nReSV`D{3tRD;PFcF&3} zd0dT$(^0n?)A^(~Z>o!4XK(mTd}0*`>xf33wa~!`EvdYz+KbU}dP^sno}LZ{L-hKI z?venk%7xB_$%V~@%Z1NHMhq{=;;fZGC(N@UGj(^|%F66TlxnF(hb*tkS zdqN(H$!JCwHymA5qePTClfTMC`RtQU59C63B0gEC+a8AM zwQegInsu=ayYoi3;TBQtsaTffEx0<<%^!pS4^V>;RogNe#n3L`^-z>>B(Cu74FI~m zN!5Nm?M#0j27fq@Hr&Pn1R@Md{g)_?hv)s_x1WbY+t6k#4z8U%yEE;Akt5o+F7M~Y z&jVqtZ!^5<*k-Z-40wZR=-W2lgJJLBrO}UH3_Jbt&lQd>%XUB{F%DdT6@x|5B1-^I zyxWZD#ewpVU%-C*)!|?=8eUA35BiC?RBT(%bjO2HuzwwG+a;5*(t=aPW@Im`OJg3N zR5zW$q}R>k_6Ao!QJtM?JBCN<4KgDGt5%G~h35Os$WBgGeEee6xtMnPr#~5#wWb|X zf@<3iX_2+CIc9?JHNnMu6ziq2k2_Zvom~#t{alAs^Zy@z{}=L>cEKbzSV$y_!L;8$ z+f>!(s((;+i)3+&s=oAXWIx-~RHhx{R#i>u+DHtWRSyud5-$!k^Hns za+uXD>w))g`)pOV$uM{U%S;x|6A=X2D75+>_jGis)Z^E~ZZb4@sLP76zS?MSn}FzA z@K9}N9we;WC4`A2xgDW$UTLU!I9t$`NRvZ~>3O?5 zyper`o!x$Ca3$;B;)ju1mA#1brma~bSJF@+7vQk8eK=I)3Rmq>N*NMfql}SS%keA{ z?2hN5V3(xGABXM>L{l1s0XR}vLJa1I5M?#}o4BBs@GwY-kf15XQ`L@4)R4;m z0H3P)k1H~TpGzrGmWWdF7=e8md0$% zF49n+0%t>?JOk{fU<2=!693B=MsXz)RhS;!04|So)+5rg9K?wThDXf% zgDQmwxzQR?z+Nm@E|L61i}p~$^qOs%hBT72`qC_3dIXwozz2Ta!5nNrg#*0#U+=omEDb1KYd zq;`Q*J}$0mE|8MqQWRuSU|pJSnM$A5Djhh$dMLr25+Vq61Yjo@JFMk$woc`Ob0L?G z--|MF%_+toCewL56UpInRv+TUEGD&gG1q6j^5mLLk|D<(EGKXw6`3ePFZf4gwOq!Y zT^@#!FDei1%tSrAfH$bb8-K1Pd#FjFJuq-7pLB4kz^98miQpsYFlD}M;CeXf8ZO%x zxn$&;wfU>dpnqQMV}5bHwZNPL1_(^hM%ZfvpC~t1;CER3{N6M*x)zbbl5Q4U(QzHqAw+@f`cN-1o5AT)2$_pKgN6B2Zkdf%l_H*fNXA zkT2*n?bpDyIN}Fwh#HZ5HJ;`|Q!$QT;W$!Bfx4|Oy29iR>pq$r5Dc2s*Z>VnPMTza zRh~{84I(O8?nLoB8*|eHmK0CdiZ=9(RLNUoN=QAq|CJTB7y5T02lnGDr4?OCCo%YAsd2kx~v^7*Wm zR5C2@SL5!ecRLx5a+rSGxxtscH?K}kKKybx=ne_xawB| zA5SLL%?C)kB|pyEz^Kv1b!Wt=|44S^Kz`rJV;}U;sLWIUM!vk6w4-;2Z=XN^<#q48 z8clkG>P=^I{pN5jO}o^rU6Xdzz`FAB_vLeWkmf5dH~BjxdM>+|YTVp(qUlCL`FO55OEFb&Ra(sXU>8ez&N>z*aXy#VW8Eivx>jCGl9V4A!J!)_AGhJy-h zTg$5ko63i<>HV)CU%fvfn-;cnzkc~So3yDp1b(Efr&S-ak> zWz)GlA9cE)t4Y7QoXqdDPEqyxnEhr>c89m$^Lwgd8dp|>i_Z8OET(2&{=0{(FE4vv z!1dvD1YNzB*WYiis{xeuPx*N!hXFXW5JuXxOJk?IJi;xsdUzrKlQsO}yq_w}A99@~ z<$oVnH@ysZTz$cS8)L$U%Z#0b+FtQ|9DNm-Tb*C2kk`cb|X#vO$R+ z6q-(+emr=2^vmSi_f&4 z9#WYmNe_w|?~i{wJouPM8m}h_lY(6yQ!xc+N4BWhf@&lW>G3Xk@MZ&5esk_{K7WPp zSkm`3-u*cex{Kc63d8j-XL}1{@u`fm!{b46z8hNvDucto7OmZb+}P<3@@!_uZn1@;6wN{9O=YQtvyJ?(t~Toi_7K(M*4*JRl^$ zK7<$@?s38b{p1)R645=(d}gtr-+!ckt)E{oWp0HtyUTuil}kCQr1+BDdvf$S5~Y|j z_y4mO;+iEBajCoM&Kv#1b-Syn(Q)^ z5;u)Hqs>_9E#>lX^Z>ODOTL5y-0O_1v<$m>0@QGIJZhLWR1bQi@q~^>(2u_E)E<88 zT}-aWJmi>ao(|s+pph39&-<-+rT5`lKYdvORV;%tu?7kvTc9du`^Izb^R(j%O!IJ< z8)geloIIDg%ssaWsM!LjeSbL64f*;qP_qnFhXzoy09uqwK#O7(sQbSJTGo;BX|9pQ z64Dq~k@|-t-INP2Lv_ngxd?KHlpLP()GzbYts)H%N4hC}T}HZM_|z0*VP z&MzAFkdE+Q5%Pf^{%=CMo1OIGS@HZls=kONl)0&zH=QZuhNd&yd&><(V^{l`86Nww z_w}P|{j9??3p41aynm;gSntKJ_A)Is7bEX3MJlY?2cTXmr(PT%syk-07 zvp4va4Af>zlignz|=W@n1V;)^Jt5f!~tv$JM;D{LrhuRwG!~JnMe) z1UdNlw%_>uHkaxZ20DK;gi#cL;d6HPTRAM&$~iA9r{!}DERGeov?p|?-SfXxM$W$7v zf`S9mVFjGvf(%#&3*1lwOArB(PzH+-114)n!Dd2yFY{*oJ zIyM7R!3PsC4wEnqQ!ocJFbiW4hIy4%mzh!w)ldUfP!4{mgj%S89LR+{D1bsJQVGtO zd3BJba`tbcrh3$Qx^JpiT~9(krb24n9+>J=>n>obU#*9*sP*`1^L%CVx^MH=VDr&r z^ToyYh0V{7d9eU%unrrr30ttO*6)e^&AdVR2ilr7-Irt+1|SJFFbX9lMNdWw>0#hP diff --git a/papers/hatra23/hatra23.tex b/papers/hatra23/hatra23.tex index 571cdbc8..96691bd1 100644 --- a/papers/hatra23/hatra23.tex +++ b/papers/hatra23/hatra23.tex @@ -103,8 +103,11 @@ inference~\cite{PT00:LocalTypeInference}. Currently, non-strict mode operates in the style of gradual type systems by inferring $\ANY$ as the type for local variables. This does not play well with type-directed tooling, for example $\ANY$ cannot -provide autocomplete suggestions. We plan to improve non-strict mode's -type inference and interaction with error-suppression. +provide autocomplete suggestions. + +We hope that, together with error suppression, these changes will +result in a significant improvement to type inference and type error +reporting in non-strict mode. \bibliographystyle{ACM-Reference-Format} \bibliography{bibliography}