From cf8e94fb71f8695ecb85b1db7c6f4f9450998d79 Mon Sep 17 00:00:00 2001 From: "ajeffrey@roblox.com" Date: Thu, 20 Jul 2023 09:54:33 -0700 Subject: [PATCH] Minor wordsmithing --- papers/hatra23/hatra23.pdf | Bin 399245 -> 399314 bytes papers/hatra23/hatra23.tex | 8 ++++---- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/papers/hatra23/hatra23.pdf b/papers/hatra23/hatra23.pdf index dff7249a6b5f32ed5f98c094b2839a19279b99a7..02a38f4727d8758c5c5a8106fad430a2573b50b8 100644 GIT binary patch delta 9252 zcmaiYMNk|J)Fd{zyL)gM7#Q3&xVytZAh`SBga848dk6$~clRM^Ai>?;9rpXTYO8in zd+1lMtNY&79bZE_TSHn~iiQXV@h0~ovOwdFls#6!_}$O?6P!70Sm7vWiEGJQqcPfM z%j~R8sr6nzY+10_DYeMH>oxWSQyd_pYA}e9#0(a8%p8pT{cTzCOl16e^_BDO-ShQm zq{XC;Xi6)SwXVI}7~*I2#p;)Ao|0~5wNJ&=71yaBjWvw=c8L!lJMg>%9h*P=6=(}%FQy&heV&mx%$Yv@!<6lCGhEV>vS0w zD=|rF*TgofRW<=6)+&J%NWsA#>Y+VO&rND?Ob$Kfx!I=diH)Nccn8yET-^11`n0d` zcU{L5Poj^vfmQW8Pgj)Y0D=`QtsmdWEyc^RCzCzgHW@cty6-oS=d#rXcYuB4sVg z1_A8s;ULh)m&Mn610NA(FQ|fwOY|kGFsQ-ms8T$c z_h%8mlKM5q(v&{}H1L^{$^jTtw}}6Y_ORZcicfO5qPHQIoP^#A4-Hr<)WtPtVcsue zbJv*!iisvFWpyj(Do5IOS(c?(HEsH3h07U3B?R1de)r5QavzI)Ci80fHG0=9L0x`% z%gVgTiii;p2(uXfka_xC9E3oRI~43L@cJ)zbJVY;u&rfe7zshdED?VqY~cw<^i>aP z$=jj@A6Y`EKv%8k5A{65Nm%F#!CWK6One@gqyIDjqikGl#8?7fOiEFhNq7&QnEJ5k z$(3)=a~cpI_sh!J7g~A78yc0mr^@JUWjVf}(3uw=LA`j8=pVDf;pOy*?8+`Y2k5a( z7UrjYZ0x=*Ok*-+6nd>NiurZ@QfuNcHKP?NsJ!S~8M01XhxXR2q-YXi+8Xkf;QHe~ zoWonqZDiK#qNzmI6OSvW9wE5XsYlWh>>gv;VPd;q?!C-$9CaT1y-aw*>;D|Xok2B7 z3jFq`#t(fBmvbKGTY23$0qHzIj#(@n$*JoL9|Pbpu#uaEvtYW+ZO9;Xu8MQsJv9a> zX%rZ+{gM7-1!XPQuu#L5P#=4m)?=`VLF~5d2I8NydsZ6O@41#H$Xusx@yWCl8lZHe zC&Aa8r7WZ>8FJBA$=F=m_ZiuOM>Gw>a4y}1Xz>+)^0WnxCEJN|e&sdu3cu+*5{kU# zIDD#WZ-PhLb2)@&gay)i`*}BrfWai*jLoW;LB}N6&^hk}?RiO_z<#+zE*hiJdhSD3 zfy6Lp)Yp`;otHV0YdFIU-f8#?O@1)=wfBW24Yb{nM%HO8I^X=Tg-kbpM&3~3kYo@- zZjh*Yvc+QGUl)R??#5QHkaR-z`ugY8Hn~8GBGO{Mz~0zGY{MxGFD=%?j((TSlxWz& ziE>*InzIRtgoP`{c4` z0H4T7<}VNf82L$~BW1)=7HxP>BLIP!*PY3593zrhcF89r@ia*CgyD;>!54@#X>_#P z62F)qaj6>as;Ih`{dc7#1Y7ii=H`!bf~8e<(9$Zg@$thDY=>i9hp9`@#t7CD#BU;T zx-l=QnW?C1Uuge)iLsDgcIk+0R(#AzDU)}5n(kPTR}pP7w9FUH{76OGCedB$AWDZo z#@lD=A|x?a@p89|Hx*s=UYNnZHr$q!DcgN>BBBvQwGj}(Zv%pVn+AnVeO)|Z3&e4U zqF@TQ=S^dvuJJbS{X*+wm%XSZke(gR=MvB1C}1NlVh(%sv$Pa<9K?u15hV~0*Ji;u zIM@k2_Pfz#WLc(UtG9}o4so#FpemT0fjJDp**uUdIAb9xI$YdVi{rDVw_|dEewdO? zpJ``q&UblkNK5`!Z?VVETm7TMFy?s<#f4agpOG+SD5St;lQZ|#o|mL$H2r?f8_cI3 zrM%;}G-%fy?N>kUHy^W}e-rZ6Je9Wafb(9F-9p7fM6C3B*@D}3K0Vy0FE=36)N0_{ z_UwbI>V9_qw@|Q5ef3xuTRz7jbfeY;eBgL}R$@*FC*vY}lY`VWeM+Wq`Wl7@r8p>4 zV^ZiPROVTV8({@2#6jL@OtQ*>R<>z_x!lRgme=~qz4vjT&;pnbW;DPEOCx?1WggD9G z=Sa7%6+(cc>2VvAB zEqEW9U@1~Dq?!`O^0_L|D#l*KVU}L;v+UC~Kzzs2ZO}-o=zUUy2bWiom{UjQhrF)X z;%H_TblNnh%`fWTVEU+sjn2r8CG3v29jnFNds+qTXyr8$rok_}S6fF%fT|0)-}^r! z{0WMOF!6$f^`sp1JX9j~UHB(?N96-T#88U~={$GqO+4c-q7DwBw-|Su5F(>u`dA2- zuv^sh&XVi8P%{z=zG#Ad?o23;a(JT7Puv@Aw3R_@-m@|tKfDbBgv`8uvb|^#JaY6TkV&6mY7H$MSoj3rmMYVMhqt zjbu)DIQ%&58($dILWa?zg8<1FhWx*U^Wv<&=-Fnx7&ajm)~)o{~zEOFgrWQmgu# z{%Vop1$p*T)ZB$M5jSIs5*J$t;+l_m7Kuz?u0zQW_h-?lFM{<~D43w?&2Qkp)0MEsRthk3TvEreTp|TB)o<45%VHGlE>8!OJf6?XCiq?p{~(Qm*J+hoiSyG)*d2Zz^)o+ijfR9={(0i z@@y(SKpumC?lJr2j`x+T{f(Vz;}F1(bqY24X$lX|Z%&mSiHg_HHa=hTcRan zfmlx|_Yj%|OA@zONn)i5i%NfP#~a4Jto*Rk>C{Jf7}u3PPh=FEd|j_d7ot^gJH60d za+~$lg74RlZ7oq|wMa0(_Y?NST)$tyZ%-l*F`MJvZ{@%CsdDMTtm|g8Ngv7NtEp-Q z@sZT&4tejro+SZ&GxsX_fSrGxWlyc;;c#o}jfBwaP4D$gqy(83CumPEs#K`05+2LP zRlDP<#drn3&M(_Se>JRe9lI(k^AoKujAOI-59-sDJIz>$iqpF5yAhMs{9?a(A>(0j ziQ5>8C&T2|M2SzLgaanUupCH_Hh+npD}J=?ZvXNnr7i_o1EHDd<{s3=toLd3hNn(} zM9&rK!ZpzKHitvYkf!ileumb9suyL99?LO+iK*;+!zoJ)NDR=s-+5t_O0t#aM&%kr z;>~>ju?+~odn4Y9hPSv-D$+{qGbV^2Uv_T6u|zeX?(?~UFD7x2au6Sj#lN7$_oLei zvKvijLuQ9nLrHTDZX_DDL9WJ+RyRUarDhGsb*jF^7P+38atja_8wR|Mvis~gR? z7$+WDy;9%z`*YkJpsv!$vI@%w2&d^RKuDwW&t-wYrXN+OsjaN!B{haI0S|*mFIE4K zq!By;fyjv^op0u^qY_(UxaKso*DPe*+btZld=TaklqHm3E9<5$<6Ce_sm;Fj*-lW9 z)#;E7h40&KUcjS0evioFx?u*(x}E}#MR&gk-~)S=r`U(?i<-G%OY$socNfoQk~jvP z7!I#;cdBy{29r>Y9PO{-t3n$Hos8U6GABiaSqM|TF8H4GCvN+i0xOQ_yv5!?g(*IB zz6iUNumqaaCT5O!RcV^$`N{JupJeFP^N>KWeV-q4fuP8(GDcXU%nFlPvp!8>@hOFV z4vONbDpYVITK;ABYnuAPfX1!~2saJDFfKaQZRAWBgxovWY+V|KYj*g8w&f*znhaX9R(Sfc$*c ze4JowA%0FiJ|00%As!HjQ^*P|V9N`(hWvLL^a4vU;06D8pUpLZeP3?IUwvk8#L$IE z(JF@6cyEvSI*thB&9bCMo&w~5vM>>rZ4D5-zB>J&2#h}oNKOqw{&ylC^dxmD*Srz? ztnboXv)~d$#6h1XyJGH$6RS~gFo^L1K)`F_cpp2p){*@Sz4LU>whjM#fJDp&f3^7O z(vf}JRa^Q33ly(YBCzzR8RjXqJkl_!+)6RreI>p(1Q>ETf}H5WMgzDGw^Z9o8d|*a zz-7tD?&>7yrdvlcPmw60Gl^kQu&d*{0d}=+vXKXR%NYD|!C?~i0)rgJ18s|my^C+V zY$~1W0?R%=6gp2Myr^C3+2--!LfQC~hd7MsL6Tq`Xv&n~0iq|fhX3;XLPmYl*@ynm z39Ou4`@3vcpVHH#30=+%sXOZ>Eo}zH%*WTQB-6Y@nzvd@Ao+%0__6c}k zSZymO`B#ZYf0kk2#2@mGyGm!2IGw}WFczrY>7HWH$4W|jN4LI zQVoyaL$y|Kq*|HDVgIZgb`&rW zEAzM>RJ3ysPBiA3O+pLrT1qRK+iQcLLHX80j3vMXEBmVaL43yidHscO1^*%&O#}(e zQ5%+;X*o+$$VRGeo5PaudQ+=};lLg18JlklG^Wg%^P^r+2gDI*`h}yhgrY7;IMGjy`JCQLCmZ{y|X#&f^BP^&f5FC*f2q!=?6~zd} zS7G92pjF}E>6AgOddaT#c-6T%S;VJ_XlWtQUP{$n);kEdN@izEA(kQ;M&FN8r7k5%!V5s`Q@x0j;^tW?Y(jpHt_mIuJ7e`IQ{r3#^aXAP3^sKIlbsuCn@S*o=N9iVR+?7qe{T=gy&SAbz z4@p=C<8$@P)*7G>?iGIQ0A{uLCaz46mG(t{O(dg|s6Sk54iIV#APc~xiL4ulhR~+^ zm`joLJvTq}aTCiM1fFvfYd77DqzvK+HYcvQuEe96BRB_TW0YDq z)gp^rkWPcA>7c0~(0UWr($)l&a`_KtVjSy%#kb90Jii{1g+J@wG4}oC^P5Ac$}Vuk zbY>Y#DH{TpTQJ7~*Xo?6eoq}YIp5@0mN(oQ7See&L^)RRZ+r$k52PSfjNZUC85lO> zX%EJ+=Ii6jbHbtzM+Ndv4u%=B&&-j;FaH5uvU+9ii#D>x=DL4W6_X)DFPLOT;olkF zUI1uc(HVH)lB8IV^3rH6H2{ABEavb!p(xr4%?pcW*{8nMpz>m857`g2I$`OL47P5O zN4cfA+x{*uVFqgss1QAe6~oGjt*CEw(OIiW;4lv~mSi)_GJ;;a8*|`_9AAk;XH=8qK9WE zO#DmvNt+lx+r#B*n_WdrF=n_6qZtw+X{$vy z9K@qo+Zm%a15(mPO{Glko?mldUjsZ5Oo-E9eJr?okr+r0{a{)s$L8T%u|J!N{A)b( z@-K9%F<57Q^ctbA?X~G0AC#9qmYB8HQ6Q}{2)dd`R#B0J+PnNk9Fg3P{sUS@b6)5X z3S3)OaYUyXi?EZ!bfuu^M*7mJL$dzA!#yI4fTD-+unO5;8O04XyFZ-FAI+y@Yan&o zq3sS=6!m*)!8GpBe7*8U*OFYp6-YaGPK9`NQ$to|xsV_R-YOA43LV80 z3X}+pxZ^v^m1teOpPS2f7PtDg{ueD5NW?bMvUmbWSoPA2AZ>p~cdobsLZ^-hCJJ^B zKxglVwB1ZsWP!a{)+t^KKqFZX`RAm@csC-+=r4ifr9(Rlt9SEI`1Ieawc+9k(c%g4 z{{i7YApQrW7V!jtmM1$e5GceC`rqNr3qI0Xd*vMLXLTFiJg?WLzAfUkiv7~n( zB99~R0skj=TWXMyMUbFBTSeK)zKs2xDr_o@UQ+oFgXvg%O~)Duaqet zdcW^^i)#O6TL0x1nHMvJg`-gJX0H>C)K9d9IYUor*F=D5N8@*XAxTEpCeU(vaNJJDu*?aLPcv6Dnd$Qio;ikq$#c_JvA|+L5B7H8uqM zBh~WD(v(+Y7fwsTHKWP@Y_pHgY{(?tx2oQRSV9tAxz5b#(@e zdWk%a9koo;3t2sDZ6BC%QXLD3=b*S*Fl?T=edFjTu8>(ITk$r{v`s>6IWhVvzx=a; z)6jFIsvUWC?`{xms##53d+gLs?kR`8UR)s`S~8($N_4z?3J0aVD062gA}tcCTHU+) zrCG=4km>)ZRio_CG%<|NpnBWq@$sgQ2No;|89N8CrN6IZH2g!YiGHUW+HzOIKnb6j4)2lo+tnpxlk7$vXz#WNyqW4nCxZksbI3Q@t>J^M9X6mjmzpAMV81?wM8ISunN3OjP* zrU=uQZ;+jTKFbBO?s@3Q0WbsYPnO&eZ=#-13;HZwT~$mDsUxK5MQUIh4I)f z;*fBeeMI9n^O}`TrQO9_(t6T)KK|~vuhZ#k5Y5LZ0Qm+Vt3<*D9`_cFI4H#~b1~d-Q3DFc@;Rn~EzT0~EX5nAmDm(R;h6TxI0DN9wU#|eQui8)Tpq3lY)0g~}Njx<#xc(<h#Mk7?p%wq~h?=qoJ!Ilt zMDv8+q{pG~M1?;JzcL1x8YES{19i8xTA`Z(tm8>%S%}T*1!?uH-?3HteB_0XzXpAW zO^dc^qdZ~y6m61HPxDr0KGf+M@^aGXZJ(9;h>(4A&k9~`>*GeLG0VyAdOq}>rotW` z2)3JjRG&J_*VCU1j;4Cft*EQ@8|-t0bk~sL_G#MB7H_n|hJ+U647Pooq1FESf1$1X z0Jdnh_b9v{ZlZ@b0jne76~P}awik=q{ZO1*cAghW1^E?CeB>vdaBLK?cUrnc?=^A4 zt<2s9zV7|5%a=wdJRcuqwUjp66vl)^Xi^G zr7|xcTj-wk7#DNK4#DPocAtn{17;~N1n^RzI817$!HD~ ztdaJoGnmsqB!6=E>gH=Rsi>(ht%G>xR*hUqQjeEhv2YsY!P2jq0vXhISj`IU!Aa{o z(DIpDx|Z75mEd3xcVFLy#O1!%FbqT2Ks=*l6F#glztzMQCT0C%XFOrB+&v@O8JX<8 z)kjwsyPq(t@aY|XB=2NdFr^OevXLSGAfXR$jX)1om!Ap`XW)MDv%3cmt0@MmoT*}y zg@)r-q)X~cN=eCR3_QrOKeS0th2+ZW&*7V)>eGD5*h@e&YnB-e#s`P`_bkROucI=@yS&&FE0=^ptScWR4Li&5$a^_v6^h3b6$F@|?B3@nc+%@T8zRT9Q;ifUPo z=P4B55~j>vnr*fyv=H_2p8fh7@udr0ki)jRB{g7Jed`oxpAPsuvL13nr^5Gh0VTNY zjw#pEt{uSk=dh!FD3*MqwzzP>%iF=@n0j)}woC4Gi}qbdC6EaXHo z?Ohe5IcvSC%O*e*6+B?tNsy`{^efw0y+CWfXP0_I3%d0sln!}u^O90%gF@i(bX%{` z(*jr4%M3)TD3VQ$zG%b8x;OLvyK2D~1B&vb84c~-Px0-asB7iOcDOHC9xG@EZPt94 zR<{d^MLzG@|IB<<^P^P^UW_E$J&)-`@O0lGi8-WB6KO!2j%Herzlmhrs}}HRrmWPL zOTJbZXJjodfga>}sEt!!|B%3Vr(lffbxXeoD{9SO(HF|-w- zs}V>o4%v%BRH#{uXWyk-HjspLC+Unn#M%Er!KxOhtzUH5*>~hwt}hJitiWrgs2@k^ zG^dWi4ax5%_>^K@4}1Bzai>r#o;i*ytnV69;(e`r?(QzOmpT0BI`F|8F1Ay)SCiuC>$7W>c_~LITe{St1|lGp zQ)6iH^H$r9U#lCSc#Uc=%1erXIl+=kdCD1~yampoTPE+A{TlMapRDu>>xVylW1O-i z%$=z873zWz?^V>9ZEVvP!55)hi5WOhh#4476tz&I4nSl z*wvi3m`w|zrcxhlj@N8He>LCU z**$YjQ=0l9=;*(GN*v^WT1%B`+^x}*2XpNab&Xi}}+wnM^h>L@Si>S(BtWixo3PsmA zF{8PaD%emu`2Al3Omv;f*9+owMyB3<_h}oiLgSoYV&GW%bhAA?F_>x76VB-LQo@7NYURu=; zJA;^t5sajvmZXtrq|x>n5v-(PJQF9(rh{F(+44zWcC2?+{-c+fw5kW-gO|6jZ5x0V0^ delta 9153 zcmaiaMNk|JxFk++cXziz26uOt;BLWP2lwDGxCIEV!5xCz1b25Qc(DDeUTxLe(;oWJ z-`B^!bXU*S6MnBJY^Xqjbx|;N~Y7gp4+k4eOP|%vC-QIs`Zz-U{C~sg(t-Sgab^Cf1@MjC_x8FRe zn%wE;^vgPojJIp&SlO)_C#>(0TE#5!tpa+Go zvT7I%j%2qhi}RdIuUan8x1}-u4xer%GTM5G^lz0y9UUKNzoEILvB3&V>UmZznasM@ zvZ;Z-pU~rP5{|*WZ=OxMg8#1Nj@%w^!8jRfyYZ7x$9l)!HD|5Dr$ei9{;!vBdwYN1 zlC&lT4DsBukC_0Oilf%W5>P|Wpr$^jR~)kU>4o4v!66-%ifcH(UaD@CduKee2>y**2amhdzdqa#|DUWr}C+R;#lg?{;HOXBLAnwPx>p}9r@?W27j^!LZ_pS*0*%L@^RSC`DNw{IY813hdY>Xoo0&}7p~3~B`}^){^!A@x&JXey+-NnQw%Sd0XH$HaZv7W-Th918 z;bMSpYiC}{=+Y?V~L~hf{!QCi^TO)^dg5b&lKzwFJ*M9g2IV`1d zdggu~dZcd$Z=0*f1`B?8|I#3sTE_h;c6`!+u+o@bxU*&IsC7)`#Tl_x0Rtl&<~&cS z-wAz6HH`x(QPI&UxM(V~pOTKmd7zM`%Xy31_}`;&8GhK4fm9BSxH?B>s!&Xc-d5KY?9)zyO zGUrKh?0Un8;AS6Eb$lDwDy3$R1LS!%e+dc;@+bCs*WVMFld+xSSaaai>qP#O)khJ?r1Gd9Q( zU9!G!E;!ky?W*oanl1I(8=8qg?8C4!~rSL33Y))v;b^5IdUXJ z9g-2lAQW_02vDU$pjeWNf~7Gt*=N{$Fu5ZULRd{GpOD2rVpLgtDn- z-yU0NTxq}lWR8_dnMaR(B!jo|AV-k#-$7Q(`tii?lw06}U!e-vWR3TVm4N4LM258S zNyq^HMU_i!`y;6T!@C!GRZA*_+R3Fg7)yq31r-dm(chq{0sr&eh?({?lhy}nAcb{p zdK^wSMD!fO%?SU8YJ7;vqLLfFK%x@9m_%14WRE*w=0=jSKq2<9gWivox9}YG?*O_@ zvZ;PT{uxv+O^tc(?M-wdLj2~u1z%U(n#o0os?su+KXez#$VfMj4S`KArA77CKm$Fa!hTG-NmOQTp1I$sP8@_jqg3FQeXHt~io_|gkqmz=T#0;j}7yTIGiQ|BY)PMZ5LJ_r+z=<#V#HXxtz@;^`1ByY^ zHNg65a1>xhbMuQR*JY$hNzoYR*G1@jURjwW!OL`|HR2{GZoLs#2s`YOAb*Q$$)9St z%UF&a&Y06GtsSVzerU;$YAyz)fdP4#Zd06Ma6C*j8l!Oswd%5uqkLWNG$BCr$l0S` zS#vd`HEQAFSSpf!UZOJ|lkWx@45EBJ_tzcmJW+>A>3~ZAvoww*2c9W*0n4NG`1Aoi+6WI&DXOEYP1zw)LPMjtBL&SKwpo~Lxzl(Sz4=h1o&CWx_K;~UCrN4Y+ z?bKOchfqA+T4W1Rh+4RuYJ&7rtfu!qE5W3ywJ`cH@&#R*K;@)Sku zhww70^v_v0B<4dW){a_hr6dgEW~$w~6Xi8^MvzKlpdaSTmKE+YV0@ElFU%->rfqEV zM~t1SLoKrke3n$S_w_08L5IiX0a+vaMD7;ID_ImM8S^^Hc@&`DxBK(Mm&HYtE^Kn* zSu3O$YSc-hy$;u$fMVXlAmZ*m-3LXgoC~N{Ou`8w^J6|m_)#b}Nii2wep80(1?Eh9 z#%euTDapEo$9yN2b|_6Ns#>irP8kEtR4vpfXFs^g0etGCMs?T<5LPu^9nZ0_2`}k7 zKA~2&!Sd^VMz`fUv-?|o~+npzn92 zaA=z7$%}3aPJp|0yy`5W?ynBxT)nYC zCy~k6U|E><=$1o2Nct)NZbW88g3MjOvR^Kd`wJ>ew>Y_`70?7n;QV*!7T`-T!`T?^ zcP+d**$_p~Tij$uYtxneA?R;iJF+d97sSM{`>vaT;HmyVhbZ4=QGr?x&a(96NkcFJ zE_T9JB)p=J&b%tRDzaW9Dyp=8jj}2vcPnBcp>Y+jAa_#-)b`za%0ye5q+!HHsbb5m z)X?@^lDadWbi<8;VM4~h5P9rO%P^ebFMu{_ky5r_G|hIYy%{)=QrS8XjXmQjSmR%v zQl316ivZ~`lgU9*6oh=u^t^B~V>`Iaor&0rWnqf%?fPW|90#rQ~pI|A|u+?&xKTD*9-8bx7w@;3l|kbyoZIAqJ_S5zOVTtEp!;R;ng6CL9pFo~## z4?af(h0j{o(2{g>NsOgTyWj0~g&g7=$&j0Qr*Ozm3;Ailq)1S5ShZiJKLhrFP2XOl z|HKWeZL2o!x4MsG^SxdPWrwof@v9I}&n^?&2U6I+WXqz1)hqW6U$E8{L-bRk&-*}8 zu1NdB%ew&2vYML1j9;qgxb>dxr!9S^C@x?S7T2^5>o;Y%0Gnu`XH}ZF2(;<)p$W_F zU=IOAa9r z9rVUF+$Ye3=Q%e=m;J>XBE4!amy(S;-*5E6FBR%?) zdEiLILTuF^DTXpx<+Obm`rot!7K0;?zmT70$^HU|y3- zOs`p6T+IDsWlG21(~5)p@W-iEKCC2qGMUBNyvK@3R?=Dc7 zFZ4Dmz_jzU`1rKRp2wiFvHs zzCJ~v`dHwU9D!Be$|s;zy8lbAwO&WuqvlGH^<&_eJ#H#MznWB>W5j6;-u(k<;Byhp z?oEoBFIp|P(H1fzx!=bm{7m#V=V{uq(d}PBjLxHJS7?n5E6#~}>p)yY`F{`ZE%sVvfXbvsm_^3O)ygvbn}mlV^(OXIZc5$^O~`GI!Ufdk;uZt|1$j7| z#r#yD|Mwvc?9ccA@D+dl|IM380yLp%EqV9=7JNWnHX8sZCmWABKY-2L(%PJj-wJ4M zZDR%GwE^-rrvz4@Km-3Lhvw^#yRY+O_Pnxql2lEE$tUjsfa`8~R)9vOC2e$7bW9ly zWk${6;lz(%;u8cQOZFjc5j0gMpnKZ}>8+ZR?d4KtzU2j?Rs{J*Y8 zC^PLhHs_ZYktLJ0uM5-W{yTP|pNp=*YAo<>vx@sQUqFtWP z&JS1fG?$&M7#pnkz$=!~i`B4K)&%PNaUGlWo5YvF_?kZ5bDuUA?SFn({!8y?7-cHO zGzf~MHXabG**tVc(5OuTEQCz_RK?KVGETOOz^!_f;TJ#IaeRM?vF-(SH&I%t=%R{y zzn38cZ=L2n8U}OZ$Om1V>7zmSPmVwx6C}1nO!$iFsGJd4ZyvIE6fwJS7&_x^?bVORUj@3;450S7 zY~#KaxX*52nhMudFAcG!w-_# zK))QwVl@x{W-`c|v7UiKp1sWm4ofce;J_L4BZbZqS>0EEam7X2);1ev&U?ngGK_Wt;y$t1O^N5k z4^rfbet#X+;fn_4u0BZT(P^Ta?f&AH7W};+&5fK61SgB-Aiw1~#r8KjVUBAWtSA3+ zp699b%51hzK<(K~exW*xG&&TNbhf&TZE1IWZ0abr&Zfuwi|hl(Q-hsPL^po^_(iu$ zP!17ldCqvDE#0R3fwOkn|9vIAWYVo#;026 z?X5azvCR!pRUvvvH3j?*(=fBV>-$35otLLEh*xTq`!*>H$B&z1j}@1+@ugyJ2Bn;h zoL0{hV0TlXHinu=vFcmD-gC0v^Mx%cX>et?e-5wLOHYzu;I;F4fCFDvKk%D%JVwp2 ziQNOVI>)?q^45JX=L6p`RXC!fdg?|sC3ZEJKU|7CJdu%^ir*-7tcUG}KT_f|q~ zP&D772(1({ah8;?y}W&I*vwaaGKCvnFI}Mcc_#-+4@s|CZ`H71l^H_<=YRPw@!@*1 ztmY7?t9$yF@lSG#c)tOE*4jc3%>Rt+HPc7Y4lC9TCU$!Ulh>ri-0}UMhru`BokHH1oSKf}?Pz6C+q<61=X9P= z%Q+5rB$8}WD|4q{g!5`E)3>2Y@2{ij2k!?S$@!C7{Yd_@axW|o83A`cHIOK^n<`du z`Iang9JuclyxGf0g+f#*r%?ERs!1S%dRGQ@RR`)VReM*Ae7AUBjfCc!FJhPm3|54; zK66knKdpy~jy}@~M+R>|eP7!Zo5Gcwd%b`o2LuWf6G1LaNdjaeo4{{C;XY?mHv_U3 zrTL8yy0#z9?17Z?*Ql^f2d@!JoafQ_BsW@D)@lbKq`l{2l0w8jGuKlW0evqvM>ICi zK?M-3JCW@hCqTe}Wm_#iRn$>mSZ>pb%64;mw7@UIz>)V{^u1>~^l*&!;DosuX4yNl z2|EVNPA+z%6UBM)$A4af-qF02x~#Cy(Ri?bo2^}g zHWn5S>o~o`i7n#m*gN^E3Z4A%JIMxhjlF(3;YLl@$;lfi;LF85RAtlgXT;48f49`& z>x*R_vH^zv@eB^nna{iz1-*aC@%yIAmnmCw1G;-2is98js(+eU8^XxNZjw26NW z&!<*A7X>=%?5UT#Dapr+%Sb|0GQwCChELY}W|_@y>O$80G9SFzB87DO&B}q9vRRwf zW5G+@OE}ltiK{Z-w9LTB$OyimuvO-G-vV)=b00*%#atsbj*Fjwb-#5ucYG3l4V5Q53kfUSd3caDy`&wy^3436%%c<%|OCx@UK=f!D60z zB_>ds`VnzFiV-I6W{d})_6IfH$|?B!W9XuEI?=;i`1_Y;_g9e6XudZP5YrycgZ&c) zw@N?ztRe*gQ-1f!8mkvYgKxescG6y!(Ann~nq+rqQ~2&9qN_ohP~DZQr=iwg6Pihc z9f$tezva6ia)I<4odi&Zq;=XZ5<+wDthVF@E88MbqL1c z+f~)Fp+Bc|jq%P8FQF(wHXFBUUDvTeMCstz(ASbmuPWt5 zY+YHxn1RfIWV?A;BWa4^ND=yepXu+$->(^e7x(G&2R>z|qz0ry+5IKk zXfl3xDvmU20IDER%I4XM+MsaXse*{3ETGaQ@`tXa-404{r&D}ibma)}7T}ldwG+PQ zCR@0GF)^iG<*#8Un<~{tCu}cN6Kyx$nUl$e8%qg1$>P`tbucCN<^()hJ7@RWSbm&Y zU?0g4-%V0ar|avxO07eOAIl0INcXH_&nkhH_2&i6?G^NrgJNM;=NC}^7P}iBaoOV( zlH5Yn4n{YkP-tz1FWfAlv`g8@k|{dsa~>!un`QFLgT|@I zQ&-FogCLeGNj!-42{WhKj8f~kiFmsCZT)<8F7*SA5FJ=6PFB`yc;O%JY9N5EkWfbf zo(Z%6KsY>7Ekn&A_o`$rF!LVGG&t*mJp~KnYA+sC6BcI37ZdD>gwq_ya|n}jT81VW zPxqhSo|ps8_fOb8@tj^*VB{Ps)w>pl)w2f8MPvhdH=sPf)#%L=8Qf1ADI?3`DEronVx6lZH*h%+=+4+e9puRcN2L?hhV=(@#2UrF)NiH4moU) zJvcKAX{gTE3jv=GcNXKDn|;K{Fgk|@d{?fO1wT($-{;R9)~*{Y`#gB@`I7jvYNwv? zV5#|;Rn~AxeLDC@JHI%-&0NmvT%QrQm5YN8)epBhVR#Z5@`LMNeO(vp;ev&8wSm_~ zmzjZLB(OgbV$Ww{3_e3I#zNm(!N;O!=IT@DpR#|tvs==DqxFTN@2A$+CB!QJ;b%Iw z?(b*5Y-+E+YJz$%G~sCp6+xq5-r^a(&YpcG-qkfd{~3J)+Zx8R1eHaqJ)LmwHWZL; zpD4)V-xV1@3F&>*`<9u%M{fa}PWk}~!m*A#2b|+SW@9PSx*0G%*zrLJpSLxkuK7Wq zd`#*^o4ibB(&I(5H`C=HR`^f}?Ir#VkGLn?%(-7(Q%g5v>-cwMwi3B zpF;|~)J_7amI5hh=NdZW@09gf7gcnOSz>pgc2id>ltd0m z$JF?8DuH^E)OD-Vi3K*v(ejf5+5wU96BAaXt4n21gKwBQ-BJC{sbf*$$QFhy)lpe{ zsz(n;Z9jlXOy!Z+8!o2K?DS=h(8U!fmH4P}Dk+p(GzG9XGUrtR$jDlV&pNKRmROK2L z9sS-fA3KTr?LL!1GxwY!5%?4GE?09Kr-lW)__`w9>7O(B!G3?#$c}(M_+oX={zUuj z{}K#Fdg|Rb7)r~7#iWKzPcc9&(SL3%cl>?<5c9<>1II?sl?e3?= z)i(&fICM}w2hc#H<=d#@^l{(#-E=qa;7WqOyOR?;6Uh3Qs=s#+#CU@yD6rxPS&RaG$;}Xu}~L9W|_C#t{L|-gaJ!DmQ_CSoo`E6B90$ zqZBWI*rAHFR)b&~wv{pb4W671gcp%D^*U1;AiUsdJ1wlj)4a`u0XNRk#rfk+BthBhULY4oA)cA&cs3W}bq*djY-1ryv$!`n?59M>XkPX+J6W%VjvTjQfl!_@}Dl$Zg6~IzPl@XXN$$=7Ucc0sX?4x_qalpgto5d5-9;xo&nZ*#8C=uqt1xCHeojjrb$O>Dzm;;2eBvtXelJJfG!X zfU%8kmID65?;vIDMp5^Gl0m0_2w)_0C@N}#ui_6-5eAE50PFe}x`s9y*zNWXxTdU6 zS5?Fx@WrQn#yoR?(vRf-xxiRnHb@vPwFsD`+O%S2Bt z=x)?ScBw<}Q8Gvv5HQ;VqLr!k-q-Ka)iMt5r znhNJkdxJUS#m~Zg8D|`pgns%E>HcoVb!Ag5*Apb0CSra!xr%73R+vZ8=l705{s--4 z@jU7-n|%pnEMRr4a(Vncnkh)*yye#Hhu&(~fl|#lz0%k<#p{2&fiBqkx|(T`{qbdT zCt(Y`vz{YcU*if9BOlDUS=u~w@oJHe=t*oXAIMR@E@W0st?TWo>vsD~@M+2_&R1YT zBN)V-lO(RZdPIXd#q|^2S=6I;8OGS#CxZ;|o+RTu9pqprg~)}xnQo%RDl7qWf>Hlf zV1ZTjc6vyDdLym$xsa6GrM=38%6YtP-(kz3_gu%c3ai`E#7oRSf;cd6{W=hK@Iv<` zK^SIk=S+fkC9S?n;TW4zJz=)Iw-(`rGXV*L()K2{-L)GEhJ3)|g1_S-7;ErL@<~g} z0=NPE0{qgFQj%Pf5|Ui9+yE|K8GaccfM1kS`2Q<0M&?kqcDD7jqvQtgf-#@qnLuQ7 zK&5aE+>l+5)IhGrrAun;(!a0%4Pim%;z3v7##9=Cn*iPfSa(6QnT+(Ee+#NWAg8>BnohWAgX#N{< zw3<+YJt~ReC$m;MN$mehgi=Z3Qjipal_Wl{WN+Nl0_qq7#nd3`)Bw!X5P)?MTUiQD zR~v?%y9_(0h={ld|4ki(O&w829hFWU;ZVJJuG#LWMKW~aPql!q6cf)N?Jo%-&wfHr zNdjdFpt3mBAOv