From 39f97769977e8d9027f31117db75b2d5183115ad Mon Sep 17 00:00:00 2001 From: Tom Early Date: Sun, 9 Feb 2025 04:45:17 -0700 Subject: [PATCH] remove dup paragraph --- M17_spec.pdf | Bin 579809 -> 579779 bytes M17_spec.tex | 2 -- 2 files changed, 2 deletions(-) diff --git a/M17_spec.pdf b/M17_spec.pdf index eac19ece1c2ca32fef55151ba5e421c51db62089..26df061375b51d7f47de337aebfa1001a4a7f651 100644 GIT binary patch delta 11987 zcmai)Wl$V2*QjxKhvM$;?(XjH?hec1#kDxap-5Sr;!@le*F}mu#S0W}-}l}-^ZomN zoXnZzBsr6u$UMnj6U}fFO+++wG)yZjj|i*)FJ~t9cP4za*Yg0+eR!OP#15g;C^f7%&RpVYH1V{d`D!Eu z3AON^Vo^XgE%uu49%py@bOnMMXmQNK!dwH1 z*HhM#RX*vnqH-kX;rylZtq{zvM!J;7?l)z*dn~m{M{i;^@eUd<-r@K&=>EScvH);dAyB5JIoOJP9~dtR$+i z%NG{?VciM!wC7*^8KE6CHACs;5A z>k1^5s9!wbphqn!Q3lQ`R;3--MzacL0T9Km4zR*{GLd0n;!_0*D-@f3IxxZPBi^gt zl`ordGU%)T2|Cu<^UymxWyL}c`G8Ez8!&d*VSrdEF`IZ_9}>KuYLSs4a0Pb~^Jjzt zy6Ep;;w)34PCx#RWYPV;%&K^_Fkfx|fcX1mdhFUtGJc+k8M3RVMqES-TM_Wl03>L` zv+{{?%S8=C0sSP71#dc(Je9$NZ|%8bPbpBLLn~ez*ou^ppyK(@vfuC!ll)8i<`oc} zICz^Q*IC!+_(V!&Y2h?}6VhSPqzxTa^jU@qV%iDr^cQBI2;#=_A zRUEY$&u|NJ;A9R8E~wKi>!dok5|}1R7c{b4=QQXcKqXRIp#Qr zj)>K!vJb4+k$XOoUU#og1?EXGjGWK4EXZRM( z;HXQ&o|-)^RuqI1@Pd2K-BAWx2#x z+t}PEp+p(fT9ezWUsII!PU;PhM8S9rW92oSvgt-nbdcZC4g=8VA{I(CN*jz|js<=^ zw@skKQ-t1}d+M)5WD?;!6s6>7buux+gad_`G)?8yK~cDWwWR=N%0z+sNo#}JW|Y)< znnkX&X=TWlxj|lHPGTxOUs}{>rWWf$yLUm&(pFbdV>?$XkC3~}g)w5zd>dM>>raqZ zca?A4^*mbnAV60DXjLb6|H3}+m19`;4QeK9#N)g9df&OlF^8K=Uf6PDQmtFdQznNh zW7~%1r)AtBoN7(xysEsTR=0k4N>Aa!Ew0huq4_`8FDZ1WfAs)`Xj4AY`PTayXN3!V zb${Gl$1K;dPimMywWZ58&~`RnUHEmkuU0j$W^r$J&I3jzpI2nwq+KkHSwO4Q5IjF~ z;XS!igzPJ=mWjz=y(K@b?4#u9c|*i_iQ4wFAAg!>QkELp$M}zdd>(aj;nAj(MW&9q zPa(_BX3Kx1p9FFFewrgKG~4KIm|SCq9B)CD=Qp~n8Z_Q*{-UuL-4T>J9O6&P+(S|4 zPee3YHUWqVQcz_eePlxS!XS+3QOIdCqD@DMOGgMUQDVja%Rsb(bE`(kz8V#dM~F{x&=|Yx54{4jkvXw!chH6NOpUy@>wuDxnvWkKO)jFwdZ6H%aYpRoGjVrXK|x3 zS;>~$5xiJgV!W&OH$XM?VE!B1(uC3Yr5jKtwBivNWBt3%*#_~DQh|ASHJh^FFS!hA2EQ-LXTkBZK$f1eP8x!r=e9&023S1{agltpnXDNWa zN|W#-s)lG#E484%p9IK>sI;w1ailZxD=`4J!ZCe|%3`kn2HR>#>if325g_a*OwQ(^ z_sT(mo|e5@U!eWh+IfPx66AWU!3i6W z;60*A+t=bJpKCg7c^C@1NN#I$>uUhY?_f`O6Bf^Uh7+&o_~Bp>Ei}7ZXLY#cam74+ z>eZt<$?jjcOQfxjFdIo*t_v|d^{=MX85vyE1%lL{xWCzCgi!P@(?!w<@(_tn$$kBV z=2*Uu!2V6dy~N?0*!&&#sS1d}Ws@FLc{K4!NB$QfdsmCyA=57zs}os@b4PT5cR~IV zg>cE4)>ug%uf%|_XrU0nd$9Yrr?li$&l@cxRvA+$YGMYzVBhdV4iaJkfD#oqeVQ zi^|vlTYk{yin+qFLZN>B&y;aMDk(>oSm|@)4|e|)_%BwSxkh*a_99aP4FUQ=J{D{* z^q5&NncsXFo>&6>tzC~PtGc&IlwOl)bR|(b&^GNOGMX^%laJD0MwzWQ+1ou57V1Ur zdBc;$?4*a;Tt1A(=KVYlg$0(aT>w8UMYt7;d-UyT0_srGg;*x@getHBjPQ}?ESE*T zz8=T^Y9Jhpk^Ud6T6Lv)BTM%1RIGak?tHZGN%dO%8-6)vUoX9_JUqNnPp~E|Ijd=WqIZFRmemDq4So^tb4!jiM9^%-WA{m`)Mu4|*O>SAaigT;V> zv|;K5wwoDXxURyI6l}d1_Zk+wc}rgxj^Da4;`L16*rl97b#BZ)YO^_Xt6UYw2ygJP zOm5RzeOZEyJ!4ij(QivBK6z;oD_8P-RIuqc|DZtQL*z%XbGP;J^|rHe`;X>f?TjMG zmBST*gbT+dz|E7hCj`d?FogJQ$YTMXEJ~|Wa=8d0aTPi{@ov@uzrK)|b1RYC(k9VU znkw;neY{+47fa%B?h0PE@`UfH*Y*Bg2!F$v3-S~_hOBQ+tQS~e32xb>6M8vt`$(rc zl|*CLOABZI{BvS%iYcF2*KKaWc&fZ|{z~nOSU&$+kXWpFRZ{%}AoAnSrGa&z#EIP2 zU#PdQ4E;UCFKoY+y$HPEHJTBEO8Z0=ZqZRfYup)*1BDX)KhQ0(QZFxN! zq@oJI7o~%*?2OeDFPg@FnAp{kRz_BcV@f4F{PG9iWxry$Ue!^ieW&)h4l(W4&@+B~ z5yeUm`6OYxSY+^g0tnOje87!IE(W*_z0PFlF(F@p8w8Gj+6eom_}a<55E$h1Lrl2u z2k&&)l^l@e(Zq-Fc*1%8TqXWFOh5Y=q?ayIH1*arVBg&$tGSI3fn7YI~fMSfm`8}{6PN;pcEq5u#(!TcV%ZfBKs3$p28p& z5B_1-eXew6UWj{qFnluE*V&tIxq)#Or7h(?|0F4Gy6~BH#6T#PWWp$%Q!=yoe(O2h zYM(N9PH=PI7f>{%$p)l|juU?a$Lhkl_nB{3!(Z*)QEzqx8nYFjRC3{&hmJTKHZ+N+ zg?`2P!ThVo)Lt)}-tAqm`na1)OhA0$eGc=eF!P&{xLJKBD*&X#*}=~7t9fH0j#Z=C z$kAX;x zE^<_%>OU_2Y}eykTnU9U9y?v~RVXM0I`tW3wn)qh5?u&|F1~x=Pv)`DiHAQH!fgXp zROL7R0GtJLQXccJ6+mW!`z<@4s5>b*>E3i~p9^EecW7h+^QA&H(y4+5;O?KzsM?k1{=rnv8>gmEQy`upbMlzVBwGEe~wQMd$xA~l9 zV#h*)Eal+egFiVlLQE>)Sp4U)q;xO zThKqxxDGogBk)q~a>B4owQ~kCv(@)G0oZ&VayQIWr)(6=ZLk8~IMd@T9cR?)E#nY= zK@Boo&f1{R_OdV@FC@hyYuOkx0#DXfpgg6&4TN=ba|XNniHd1Q!lV`YX{-^d-2fL% zV%OfHFy%|26rsWjFpL#j5rsFTOuulp8HT|%8>|@MGIKScN3x*3M<5b|jZ+PR0ULr1 zB1TmLjGYNBJ+#VtD*QKi0=m>7;vHY68K@HTkXBwLJ3$Bfsv z=IcN8MBlgEUEL|w*Yx!Xr3ZR1^Zf%;#}{KpPF-m74{{D&dpRj_z2uveSH76Dw3dy^ ztemxCY;8)TQ!v@~AV};4dEiPs1GcN~XL~P$ud`;8?dA3SJ{y5o_Y!Pr+~ zQlna1A(2Vtod%!dW1{8zcXIZ*Q(nDIN3|>}e*Sq7McNVfA&K<(8pI!gC|eJUaV&@{ z<%u-l0=rvznLQ_U^C>HgXvk#NC4ckvgAt8Z@E`yx)XafxEBSEY&+q^N34pI$pKas! znmqgrjyxJ=mWx{b$K=}do)&u4N9p==`NyKJvjacLhxx}s=yqu6-+=3fo!$>o?uY_r z++TJd@kNyTC%pf>oOeR$<1V#`^;S>w+WL==FGF%rxF!;qB)%9$vFO5a#poD#L>E8; z4qIy7xB;nqjtE$vOhG6)bZVk3GDl8OW%Hlw@%CqVz=(HJ|56lD@sPXF7yT#Z4$=Yu zK|WT=bf4Srkw5lbyS%A{1(r88o2+Z*0VOFP2o#P?Q91jnune$5ygdI-H&`Y>rJjn< zCO=l+xxp^dY&23a+` zuyUC3Wlxzqi4&VfU#R3im&TS_C-c$?6*|IZq3Y_Mp!U6Rn&GW}&B#&#!YgTy@D;NY zbO;zA=LF^-pb-iH-m%f#t3O)-o_W>)|0qDwH?2S>VlGu_e+nZa2j0>qa?naVFh+aJ zsJb_ZnQ@*uRb3XVxFShAflw)SYPlnt$yH>$k*T;N8+~hr8r(GB5?y|a$0e-5G#4LT zFTPpdUNGr5Drmm)K`TkwqbodoePPws7=UckS+_YV7hA)$_!Eh|=XenytMo>Wkj>4+ z%{rWPh5Kc{dX_vx*R$bwPiTz+hpu`BU`m;@6d(PTOz%F$Ti78OItw_B@HtzP>i4BL z0tWr6Avg!vmem;;Ely+#af5`SZY}tanOQo#db^l42TW0?BlLeJ_=+=lqnDL1mv}xt z+lcyvRwdO{EUt<*S%{NAY{w&&#ao)%g}hAoxumma zXN}Uk42fZzP3-l@`+ghSWVM=!{#70kk%*T&QE_W97n+Br=!(~_U&{t*UHIF-J$8|u zUi{*s)?CD+TZ7im=Ql#C7C?01$8l{lOL@C%tyZTX)(2i=;=~gGIqJMTzNlS;nL02< ze{&+I5l^oq3YC87;H0`^iyFR6d%zv+eY;8tx1Z!W8%`&0A5V}YJ#hQ!L4_(BOP1M( zN^u8eb+_c*f~9dRuq}I4re{OB3Ju6`VcmIW$Pbl;?dUQ8VtqMRC|&e%h?^L8v`EN* zTPA}<5k=&XVH*K}@Hz(*@88R? z?jNWHw#<4Rv|6w+NH9D+|K+bnW*#O2Xkkx{;Qhxk7HvExXgOdws~HfTC12c^qM82Lrb(d2WK!lnN{ehln50Ydq;v^%wwwhjqtp{9 zXQX|OXh}=_l@~>OKgERi$be`^ZZs=}-<$xag8o+-l<`~k>ybCBZW2IC8@-L>pcM>W z4Rsx&{KAF>YX&aptk5crmLGo7E-iny+^)ev;f)-{_kcs68iey$f=9`ETBU!sMM#pA zwfler>iOAP194?!oPfwWJYU&~rMPY0558_;RqkcN5k!)zeti`p^yN5nwk2ZvQ=K3` z0VcL|+n6gdW70u#g#wTW9~{{8$Pa_bf`{Aj(FK}?tD>jbHIb8Hir8Y3kW;2Z@L7oP zi0BxPAZ-RRGW_?{N!ekx+5p&=f_A7VDfIj3osu3SEaj`q=-2@gP`c)w1{+fMDYH12 zIWAu2GzJ1f6m*op31+o+8qBpJEX|UcYTDLoDL09p75aVc4?u@7$;sKUqK^ $Bw zrivC+IdltRPtvr)R>eoZQ8Y&78{|T%(mgTbjMDNe>(paG`;NTL0*a?sYyhQdyNiis zGYjTU2%*4a2<#rB=;>ud0h!`~XAr&fcuMIRKQH_4IhN_V@6vX@9v}@lEW=65kYQDv zdU$?#-$)KD0HQpKFfGFmmy@JD>v9GSc}REv+-PYCf1c`b`PK8U#h#Ck#hi(+|+)3CDdn_injAid9$&za&WT^;+2LCQ1|zPRwJk)n{i%Gv_SW_gk)q7prOBOp|l=qNLXG0Nb%we;fO)^s&95?~YDfb4^44 zzWg>ZR1sS#kr{fWTC*mh3c=zxNU_Vo;B-*UhH*$Hmz06?p*H;1U?uZp{o*GqA}%6C z7T0rfdt@t4F-H$11OPe<`-O|YPLBa!2+OY=h4Y^L#bFe9;#c-l2C|ag4gi!rAv^`e zctuyGIN+e&1|EFqpjUM-wHB`W#KSo;u;O9tM}Z^N7x}3`Yur=&h16mb%wDaE)Svw z)}>^I*^G+O>UYdRh@EXUNVfbb=*WR_1UOBK081_{I2;HAgC&yfw3_;srOKUeOSILg zjwB%fX zKu(Q7Cpd|*_j(|!>l8_B3A;Ux#&r?9a->28qzO+hsW+C+Es;cHNyOGXgB{kZjwock zH^!%s66??JUKItWBEPUn*RjmFMs0bFI|X1~T8Z~G2yof< z>{u|{g7oIAam<$Z_nrPdv=;yQT4(qjV0dd8G=tO8V12%}FjkvIih99=G`&LY(@oY> zpDtInUDHY~vDo)QG4x(*IuY_WC-B|)eb8KY@lq5TWht;Jk)z!x-bI8{ zY>hmov(hgT%k^OfW^&<6+8ETP@^8LDbR{yA4KzsNIOSj=`f?%qkoMsB>u>>6K&r09 zy1kg&>+)hY{|QJz%+2okF$7gV9opC_3M7rLB8om_U$$n5XqA^{w7~fzyjaUQB%1a9 zGG7K1wHHzkw`s4my#UN|4#_&GGqhlO1J7gxlx+^Gs9RBdt+>RhhayI+XEG+IT}8!K z_9G%NnKF%?ppyaWP{eAxguI#n^ndUvH*o)ZM9|x)34FV`!+0|$)i1X3td6fc7;ApN zr|Oh3{2yRI!iCj`*__03DLEC#kWq2CbqdL1_vun#c%KNICEu7b8GbYEs<6N9FJha`bPozP={*oGSn zo$*?BkOoh6{jIdh@cUIZ8KEhxv3q@nY73B6FjWl0fB1YwMs91gM%Uud;C`IUry+jL z*5qBGDjoZz+9H-~A5}NNr@<8>Yy2#waL1SKM$v_F8A0%YVxA?LHSVh=>_36~ zC-DCS;h!LOe6>W%l!WH`FNWzbEky!j04k@%I0*bsSFf%Tf1=6Y^Hl3)1kLN#Gk?3S z|A?mjHjwT5qg#55Z*HAan;q(^Q&F70UYlL*E&%FBx(jzg<4j%Q@^w4bS4IbJIT=S@ z6?|NInk@OQ6`QS;N^K)()*SiyKIwIH5_yY`$Wx{LV6N#ep4y<_U4eZZvxY;e;{cfuB@E{M+)a8v9s@%bEAS;vjq| zQA*gAO*T}k8?=x#s$_d(&SX%U?B%D({f+r(ZY+?R^j%e7?LD1&78Uv6_ONL;p40bQ zb=4~lZ|ML2{Nz^9s_W?V59Io$t^kNECRz) zO(xmdh{qfonpT|%AB7)4IW%kMc*e&53=QOu+9~tgYz<~>=W8QjTocx+rxl-nxn=nm494%vD47QEID_^5c9t{W^i;1{OE(pRY1(3iXVcn>u zLt9#?&sg=fNw{gCev`!hKGsBmyVd~?>Gko)43VkWcN zt7be!PqPDBr}T(bX&>lj8#tDe2X?UC_y+`bh+PC1RO%N_d(q4iq`1|wi)iMM-34ye z{`^@anqM62x>H;LaXXsF09*uts+{nh{9n^foxF9S7Hh}Hi+=iQ*x0MuxJj?9(%M2$ zjqO<-+fI!z7w#g6{vL+J<&ygp@td4WwVTh)CM6$AL5>{6#^;9D#RkT1Tiowj$PbR8 z8_dJWkLzaUx|AAC9P`K;71&H7f^VfgE9 zp;z$(u{ALXn=Ywgvw3Z&sGX8V^y#RQ=4N3qFdFYJz>%M(*`eJq>k+!B-L2~5O$g3D zzjFLAFWvpWq%y}q4FMyEzXeGEnkO?om$BnZ3z7&5v~kWtFOm{qqX^40012`4mmNjr zK1!!$^el|}Q4=H$TH$u>NF7S-+srFv+|8F~%{i3d%7}HhHE8Z{JEaZsQnelz^@{7s zmyDtPI2%a`3ypu--7WsDjDxw(6=iYAI{VLbIKwMIF;uQrtirV;;KG{!H`0{8j!p3$QBN? zn9aO1lB)DZWT6&p$HQ#!wS@A?m!>5P^BpX4_X}Ct*?}npb5?H7_gGCTCL6skFvS ze{~OdX@LMfn=9B!7gH8dawoepvpBZ9Z|vN{-*r-eeT&2fA#Umof3B3baOg+pql?JA z%CSXAyb%AWWqxXbapO#Nih<#kCx1(bK$r2upmzPH<=hG+>#ecO9@lm8Pcx_GrE4;*I+G9Tdq%(<|pC=ZTGt002WvcL%QFUVn<@|&Mm6bzyL92MsI zaaW?4H#j%whoE>%$YeGZJJDDbM1U(QoiO#XB2n!?5H@eATFCLkYSY ziW}J;Gl;~Eq@e&r=38PWdroZ%yHaK*jfyNH72h6FrO6ObZl++OQX>H{PHm5_QaPm; zDB)UnLM$Z*1>S0###L>C4_xKz6in1=K3^)Bq*N(rY9q|+m$YHKLz~Q#%-=t64q$CC zw-O9pS|S>Yfti`OvtjKnLx{%t8sB+pteJs6{GEwTJAe9t}uF4{Vivwrv97e}U zp{ogLccn&@J5FlB?r{PHWBH@#>qrq9z_aCg$O;1!(o@Qg&Ff5@2}kA2*u@Aoj&{68 z_h^EN?Pv|Ef*AB*UW4W*+Fa?)IDP6u1RlrN`BvUp;GJXKd}|7Ogb{Bj1%$c>iM^DI zV_t1&$`a!eZv%ZO2o&K@;`aFl#ZdN>Ot*R2t15oQ)Z(F~>%b^w!k|_ys&3 zXH(g^?D*G_CmK-Cy$Y;?OH&y`@pG9^DOba8?lOz_M@Od+By9fRF4--lq3oJHt;@u=8C1j6@<3 zs8?!jnnYH@1F`3et5uFqY@Gl@qp%n%>1rbuBa4q2q;i?B11<^+bh&>6C zqL4X}s|I*;p^pcGJfWu}6L)bs(T)a04WSGMs5?=<1J5myw{~Z~-zsYOj`w)N1BarDiL5s9&ZOy zk?-Mf#6fc+firM-g$?u@RuO}zUzKV_PT)6&_$FHsyK=(s%wJN~iJ>Y)c6VUj*(f1{ z{&(T{=XlH=5!!6K>aZxS5n1qAc7x%PTm&~r&~%29>{0na8~`0caBMwbDsyL-x1uZVSplPQhm0x8De|EfEJ8d6FdxfcAy{xLw81QeuVeLod7LKvmtMQOH?(_3j z!$uINa>?{y)N`E&njHH9xFQ>jR(Ni={ zI@ybEJGJ+#l`|LRy&A$_iMOPW@s)H`=-)DV{&cmELeRahEwj^!SD11Cs{?yLqaR~n z`o37oyP~Da{L8CFqlevX=wf8dS5}O8YO=+iy{*-lihW~GRT{6o-_hJod753m-psbvBsYIVlC0eUqYM8O zpah!0tLir1Y0|LJC_V4#+A+)3jun!0nA61D?B4RR4Q6zj&guwfVS7#HB~V&%@qa>& znRXu)&wDUBRVgY4WOM)FrHNWE$*%Qav^BEZY`DK^8DUE8*V{Fl(Hr%i@Xz0QDwKxM zPBGhr%wXjA-zAb*a@idSh`>A#CHoV$tc)-50qwys#!?K6d8e7yI44p2(SPE)eZ|^K zE>ykD$0y86KGnmXOEt2WT&JE=Z^gGG-#b}W37#>KGVTTe7VfD^Ig-5Y6b{>xo}^>L zxWmLv`2pUFu)zk55Q7E`Njrl-J>>jNip+t7>FgAA!hIZ z0vMG)Qq2;;a{~JUw>F&a?u~<%57^0hATYQW8wsDGez!xGSvAKyotE}ovH2#^;R2;VOGJCh^+6FJ%F-cfvAa|z|68gVF!9!J zt}`BI*g7|$M$UzWzBaWVyXIq!;a);6ZZJM#00hdGDNjpe~%&v4_^Zyi2rAQT= z|5?_q2$G9r%g|!kc`xZqz82TnRloYpHG-o&TL0E-4nfsd0x3u8;nZjBUf80jMiEQS zWbc+9z~JY?69N;6M6;&<^~4Hg1dmB)Fo=_bvVuej06~L2kxy-7)~HRL4&UtNm@)0U z%y}H)d8>!$SpYW`2!Zo)Y!MiGYgUJ;;T1r>h}Dpqxf^$u9kNxZHuIXfbMm_Slblh5 zAlXg&3R9%l`i0+J2=^1cWN5~f0qPqBAi@jKB)DL~(J%I81>%q`Lt&x2y6=WX-aa|b z<@5r$uMEJ&FtIDsBO!}RBaj&c^3YbpQ3L93F%+d z>RvX8^Ifufh|&=@ws~;4o}V|a16)gy`58axNIccQth2yheSijFQ}F|9>IQ}-SZ@F^ z0K(@4{AXtwU?VzV;2RHo@tZo(LsWOyB*d4=PvS;i7MHWu=-~%Bg7(9-myU7^eWgg| zLW&ZXsd50l9%_-ls`3Y&UI6}i<(WwBe7u16JB{8~y<~aUFWTVhvyQsK?cr~8>+=uJhJH=x_8Np{|Ekly^nMuot(VZK zt(sda@ejhVW?O&58?JQDsAEYP)_xdTSGl#u0ZceZ<=CzvQSvsz`3~IC55#7)cpO|X z3vDW@zp__T&aB(sVhr$SEH+O4vj^8ogmiV*Jg4)}`z delta 12011 zcmaiaQ*UwYqj! zKlG~Z>b-iPj&iS#(mxn77^)GPgCB|un20_=55CgV^Vs0R@LQ?brF2sY-jzf1b?I_i z5tP;JzO?kt5SqmyzE{t;jgQRyc;s)rg^E}n+OTck2umY-F=69K!=Hpej1`jPc{6$V zcsza7Nsxe{48e}5zM+UvMHE!)ORPWj!ucS|`TJ<@^>OShke4;|C5AR|{KcHl*V~V; z7%U)!UqaO_^ts`U^uznBCe>er-#z-DFK-GDqb^E6DTpk&lhPM+(cS;NoMc|02LNK> zqld!T(Pd@PiUryYqDd$r{-WVOz;~CcODNBkMoZz&oz~$;6d*{cqrSZ25>4%XjEv?& zR-#9R)5l^kBmE*&_k3txN*gv$W5_aDn*a6D;2@Eq1;W#w@iHp>iB${RPZLs zQer0RIB{;z(4!?0djhEcUgv@iaF+Ybj9Glc@RPV4R_P@o{1yUO=y_2r6~RXw-}rsL3renwV;>ckViDTTv@ zgtM9fN8|e$rCl0&m$U5B$bl~`E^?HRKvIJ9}UYFW_;yUs^-87b5ZaHCkf@W+A2$) zEO}{Mr4h!L6o<|z{~%_sEh)NUsxTSh_VuX%O{7Z_F}5ueAIz-O1b@E;;`tsPG58Cs zFI;ciRCX|+ldCkXOS2R?(eH~3EE_5O36x3QOzeg|3EpYOH?SULMcS7|Qyg=)-pH}uo=>$C z8rU0ymnI(hiqu3r99rf$T-8>3Iw-FIUi!k;NFp*g+BX%^9Tw^@Kt{l!aTy9)yh5ov z7p;tHn6rXF8%k3wRrZAJ#PQIcYPXJ~woV?~^YDQYx7oYpN1-b(w3tgY)v-Yy|8sK^ zL!ujv9GJH9`pc8oq+{0BqzjlsVbEh%LFdoY`Q($qC(zeS@BT7M=&Nq^MU_@JTi&8= zkgd8hynL2esX5;iaH+X#OC;B|bd!Df)-`Kz?W)F%V!tz#mn!x%VQH;d&+1BXy^hNhyekfv(jv6VdwZzb;2}`rOugEg|%azA|CMp!ZiV5 zmlHneyiFk0D*HY)a-fI?vL3Z9`Z(`cS4xg?4JL^9mofG!j1YFRFW=#btp*4#bMpS~ zo38`^{XEO`WHtB0OA%aTQ%?0bPPLoWEVx2alYiYlw#O((QLQU70ie$(e->%t8A{wf z!x2P}dr{t;WAFS~nG>yZbkvMZ{dS(t85PpPDlS(j4U%6IlO~*NKWW zQ~wwwE9YUSTeA_sGVu*wglxva`i&CLdHXGaeEM75k9Jo3n<};J$k$B zjCAQ2F-7(u?Qffw_d;k))!J*8R(#T1>DxJdCo{YEU?QJ+-yr3;9yFgpj=HeFEoP_} zJb;4;moLLb++R;G2=QGvEsN~T@4+_KbKEE$T;$_E6`KoCB%1QR9cp^MtS6a;yvr>r zVs$UJZS_IUF(1r&0+aVzv(VkD-cnUO_pfTKi;3=Su?0NI4%2Jr(@F%zag4smFbGZ2 z!kI{0I>O>jC{-LX6fLyly16%A_+3JcL9DqqF!||>Kd1QxPX8EC-vZ5-C&17ogPULX zc6!liq8%}eGIEmrPIF-nkRy2($MEv^h0(DEvp|lE2gRvc(1mG1R1T@6#b#ssiOIaXRAyJ0wFvptOeZL zy39d)Av~OL8U@Tb(#tHM?$O-VvMh9GPA+~xhj0~&4G1q|7MO3HkID{^I~`1(H9>BP zb8uj+bo1Ypp;=U)*LTGXGVD9YfIeBUGtIRs^NBb^o`*BeDXY2=0Egq1q?$?Xf3w;3(rXV=6R;$ z%-1vAlq~(sB+e z5X6~Vhlon7;zDzJ1GkoIc{bO!;gw3R{Aq6bM<+RKlwV(ff0Vy}U zKC8tSvB;W&zTw{N`z^_GE3f3q?D7={xLNPs(}d7|ZO}e#zU188+>>5UoIa5ypw;Dr ztKg!Rgy|wAL52fgozwX3Mh8pfRSl2t2AR9}F`HL_gi!LbS57t;PbhYuIZ)&^^G$tfl;$A5h6gO8YIvDm} z->JRjup#vYJY$qsA__3oc+RWoDw6Fq2XV13%g;USnU2+|=si(+T0gDC31r*KrkIpK zBD#()Y~9L`j2*-ak2R4nue@Dd`uaTCAHL(b{2Gl(!=9<^brZ{lL66qgb~5#?XLVp1 zzJ2^K9xbX3;lT3}sAU~KKy68dX1R(2i;iBtJk1D)?+px*nLbJHeqwz7wLffHlpo6q zm*p||jzj+SSKBbjckLV0kP8??8U0%UMp2L6s}jhACz}Qt$1&R`?aH5b5*(DXF@a@17aT+3JslzQkX3G%WVyv#>u-ZzjvixM_fouN+c#cLJ zjaf1LvE*h|W>8tx;KhN|81%S+mi1XmC@n+9J5z}BCDwy#OuthQ^sU^a81xJ&-WG{xs;$1}gg2xE#} zmMY ze~84bh5$1Z=D#Yii3&ALv+Q}(pE!M2 z1I#R3vW)p=ZB!oVXjj5gUVKs)_%@Um{ZX)vPA%wi)-PTq9N_cK>6 zK}KzJoPAzq`mXC`v4)le9=xK7ii8Pw{R71Xgg?2@pN07rf{?6e(H{Vh&!Yu z%64b5QCDE0mGjVcMMTbTl5PdF2FfzHuSU@RRz8T$gD;g{a+a zVELOui)tu$2DWv}-;4^?Vl~bMO(Uq7MA!1Df-w~%+|7%Z%Nq^=paW;a-Jp*c5aZk~ z@cuB=gs}>pN`xM=3{E`O*Uf`#A`d+4&&c{%Qt1=eiQnXx3>(R9sV5=cL?#Zuq346S zCq|+6Gm^bRN<;}m`O9Dwd%<%(;Y2L$d+TFt4CO|)wTdi5jiDK@+hBOWFE%_2E!NaT zoVQ+|lC&Y=VE1E403{nXg%&#OwF_IVm$#=Mm^4echi!*64&Gv5XKFDc7}*lYfpDp^ z+6-2r%htTtnD57Ugx3TpGKP@{(IRq6!ApAqXa?1>YIy_iAd?gpZ_r24v$#=K?=w1L z3766m+BFZ?Eo{7)grxlo<<)YZxr(H4*(%Om;)?<*YmGW!umX^7hXpibb;(vwzhcf* zJLc-v2cB`sgF})lZI?WX?4a2tp-B=&j5xy}irnD8`=jX3l4r=L8o~t>YaLkRIv9ku zIpJFtu}pq~=rW&43&=w)ue7!8Z93NlDj~lsPLwJSJO4@svS@{rJ)C_(Is%FxiWh;E zIJaqY@aU=&kt3$e2RM(Qbay$R-{Uv^KU%Yv`4FBDzzTD<*Qehb_fYs&0>X1Grrb)6 zLjk7my&9ky?4kIlW>R$ z81NLY>Oh^>6DRGA?nDW#$Hi1#l0LppSuq}vwhxso+>`i9qr7Jn=Fb6q&6(-AGJy@y&eG3d*b8?x`K5qxmJ_lB6^}mWdwsR1rJ{DLNz; z7o%($frHvSA<^{|Z(`NpOy>GbNw2ys@o)f7Le&l+s%N|z#s=$FMVh2tdVV?&@8q#YXnUQ8F?Zm`SC zMZk4#p~u-o6H`o)hnR8Vkf}xO4k$O${0v^Ev%|RS7N|y9+SbzGY>K*cJ_^;PpMCek z`7SBc3zzLojhSz_NT^)I7P@(&ymX#CUUwPBK$R-RaY&kGiKQpkdA>!nij*YqP*3U#` zifr$g+xu9J3bK{u+9_FKw@K0Flxv+x3q;N1FI(&}?gpx+^iMj=Hq~oOYnVOhFyW7p zwwRp4EUCYkK;9?jR0#VtOM?G)+THcXM1(YdJCQQReyp(k5oG%5)WF}6Xz&2V@H@32DtC7H&FJxhQJ8PCGPm9F6NXmUg;?HK&}&=%|aHYjCi z`*IzPuHYz%`NI(-MQu%3fHehfH}M0?oWVrVOJ7<8LOEC9M|u1Z8t;rU@-Be@JAh4B zCH;x}&6jPzGc5M(WE;%kx3{a`W?|$0Ud2qLydV30nH-Vi{ig$J88qFxoAhY{44V&(QCVJ5z)nh=R)CB_+Xlwn zDy+fQZrgX1zKX3w&T#>vSO1e|hYU8)>x>3r$^?$7+ut)a3w+>c`vKx^WE!dG*%QKon%jB)lYs=o10Q*S!|e&A#mPh#gO6?GCTO;|xqRd9Or>e2bl5~@ zbmzARM9Uu4DH^)Q-o^Rezw&iF8~<6~(56Bv6bijdTyTfbIWyqZT!cG9qVjH3VW=~V zXkl;e;_7T+Vwaj}1C7wastWB45BZ-Kn>wKbjRvNmhm;KPV=@RpX3P+BMSA<$Jp8k& zA!rb?9o#c;!BcCt(jD7i4*f;{b(=Dh0+n9w>+#RPI>0zasUz9NC|SI z61_U3`9F?TFy4-^f~O`_#mR5oqw0AFNqM#D?$^Y)Y5NN%H@i_{*~PJk~Z_qQyc9G?%m zQt`d5fzbjn09iylENjzt7=+g@?y%aNzXz7m9FZBlgi4-8JGG@ZS8z1nmRDe-W0O;v z?D$?28ftqgiO2XpTKE@W$!!M-2qHK|=n?g7P@!vU!6blP_K!j2{9F_>;Wike9sV9@ zO5G3?&}ZDci~KfFh85Y%zuXJ&hKot{?DtP9*3gFTvbnB`1*rcvk#jjBJOt)^-3H4z zyBkB*vcPBp>-D+=r4!(DcJV^)86R*!+~rD1p^%K~b1>ov!8Uk23+-k*}tZT1Kw~8u0ee1kM2TZB%^IpPSVD50Lc&3U=IhD;+)tK zM*^yD0mQA2+ZCPGIj89$Zg5FYoV1F`S3+gWR2j<;wCk&hv!$VuTZ? zUiI2Uz(&kk8_I7(+A}lYa0GkU%0Tls(xFGe;9yFU&G|Y*g^CR8pMVFMn}N#QNO&ni zu&#gMCQ>4ahA9mWR9W7Cj~;tfrzt<}&S5NzCy}F+0gGcui~zV%RbI)xbBS-7zd5fE zDNW3YgQvtsaV^3ypqyX6rU2y_QN?2&REu^r z)|QT$%Eh4?6t!8{ViwqcZLt?1ya zY12DnxxO|uP^g*CbML=!&rWw;}+KI ziy~-CDs5q?8kuRl0l&V4-GKGCFM4Ww625!Zd@^MB;DBr078`%jiUbg_y59~hBRSc@ z6~k>5ptUs0p#@fT>xk&Aqut>df1~fFXeBQ*lh4fSNct+nW+l#P6;w;L`nYuydJ%t4 zt5;KE*W=YbPXH!UT;B@AX>tQ}k+v!#iQaYIW%NT)_lyg0#E+n_Yh zb66pQ<;UwDk*lprJ!B@9DQlLN?T&s-?nm8X@}ylyF?2+He^FmY=|lXf)5Fbe9R%YY znx}}g2Vf$nJ{}*aHJ?MxAq`e%?09Fs*hDN#Y4hM2umRh&;2)3Vco?t#X}!Y;;+NH@ z7EXICA&s2Q@%hM7K2EXp5WF_GtqsYJp9GdNu$QJahDkHXG;IB-Yoq!>W0iF zg|Oje|0h`2kEekN%X*a5wE#d~V$tNgC<1lc5uR7(3On(kN-Yzx_d#IG_`|8Que3~} z#jFh76rzkkh}8{u88)nb`{+>8?Mh=@4ddG=?6p`6W$j}vV-?wr7qB?IA!Ga>hO1nRF^AuPjZACD zr7nbvRKplM{*)%E9=xZD*iMtgZrR$L(iJ`I`5xE!C1T#5Gu_>I%}RH!-m*`KqMn$4 zLc~ASCoInx`X6Ba0rnpN{{YvLXAJKz0?CmWpGMarmj^$G0!}xH)S1&*EHdioV8!70 zqA{7JDSIsWt**Rqyx}iqLLrn^{n0g|(~5xAfJ_@i>jA}UTCH3gaB2tgP^x;2uA8gI zS+i$D%qKr<3=27Lj!8oSFGhvnOgGMnKSj<0wpO1&@*UB_+ZxYz3$d6s=3IfNaRj{MF~uiZbxZHp2C!$lT3fOS z?Ru*>k1h`e%i;Z@4fvB3!O)V;XE0^c$)YhX2$T=B4f)Q8^N9O*qT3!ozhJ;`@LbG& zaDVw{qBCaAMo@3aph3g)t?6(3{!WYCyjot7g~$B7AXwMThkju`p#wCwT2wTQmcZOQ ze^Y4T-S~i4g=5!-X-D7DXiiknG;CO6uzImLU>Iv$^9^LZ_N&orRi0OBqOsB4q{a;Q zJ#<2-s&&{HzVNIQfd3j zWYX_G0EYSC0o8&kQrJ}F8{`ZZV(9x@B7Z|mwvvqaDH!jF-8@dO37&r7J#>d`4>{>t zJmJw+hitF?qH{$yc;>QZ&W!dMung+NXIX=~X@4usQ2}@cW+6T2J_dR^ko!l6s}!~7nh8wLMl{HPdY8>9RS9=lsyWRgoEuFMg<)0WUy3OzkMH`Z9r`rb8;yaX~JK(YeNmtP$sAS4j-!_x%qGN-#KY4$-5`!+&(;Cc zC|FBy8rd3BM`5p1N_*V{0c(v?Ztko*xlXCbg#vUKXqi z1$~XO2cgw@S>UPo^6O!#$IhGb(CA(ytvlk^a68-w&*N3;futpk}~gyxaI zafwdmG3FOGeMcQ}$c>g*rmE_?AMOs_l@K+te*5KstE1|=p1n@w{7QQUR#Dy&N|bB8 z{kOq4Y$w7Xx}C<%%Ko4$yH&`}wkwvwLimS1n zky_;1!H2g`*^{qb;056Xi)4gRjaUbkg~8Nou}$hJaj=ypo!=pT*B*KPxGEc-cL?ADs^caRKrT`Z=ZUWxz>xlqN8$l9}q& z6%0D|juK<;`HZpAWc&nLWLnPr^xxPTLR;WxY= zS5=8RXXyp}O%6)e{zJfG#5b#PGoo4Xg+JpPd1q3j(5ZiULl)(mqAA-zg+LPtjv@iC zh)_AtLL$ZFNI{9~j;*s9cUrI)adNyfP=^6iqIgcx0(NRy@m;UmnB*Bcqq>2%wPUJ` zbH^Y;FOb-&0D+%>Uy9NlxQ}v|NyBXkyKYRffCvln42m;e*)dZws=l~kr;8Qy z=PLNg&M%CpS`o&1G*Rjr+`4}XAQh|LFj z%wSIdUy?$q)6nd?K;M%9BFaE|1MWey3Rlz5uItCFfMY@4ZU) z_ge!{BZ!f;j9~K#1!WDa^$X7`oc0sWa{P2Ubaj}Vta*J~EiVBel{GSv9L{H${k}w ziHTgbDOw#ZP?I^C4=Ya%Ta8>*y%5Km4$LMtTduaIt3j89v!%&&PA12wibf0)wM{M! z?*G&M_kJPkW;&DGWya$si#J>AZSpEX3&p`d1S($Z4%``OmA#@ulpKg0l438#p(1u6 zc|ralif>1&%WVR?m`5zOA)$?04iX0uB0$%|U$LzN`iG1W)>Ru>`iqS5*JT?YgOPL5 z?Y>kc)*=84eu?TyuR^61{F2m@Z-uIqAe6o!(}&faW67-|w}q~lW62K*z9N(8h%Q#4 z^~jyd16R>3l2(alN-q?-CSJ^?T{b4GplSAH>xhk({a40t>kL4}Eu~r{J7itTJ^NZXJHd=%U)EFUjiBae zN7B_ecL+s#LI}9oq#f$upxn@6BKj@3K62m@7=*ru#uLpIKvO{kDLprxr-2aGS0^?h z2dZC#$CJFDJBN=8!US0WbsngALYnca6n+py=UG>q-*D_Q=?d#cI1(x3UWqTvr@@@e z0_GZHr-SH$KBUZOh7h=OX{o1xJ!-ZXu0Z!+jsSfr{#Y*MAF%q8`~h6jJV@1fdt;|y zf;_ zmh($_cH)^dR7lm4Qg;;DQ}LoL@G-DB22@n<_6QmFS)NWjBiJc-i45yl|X+v!0TMbegMDB{m%JEQUrO$Vg@t0k6eXj z5$zd_n0j1x>`67Mis5u@L;@&$ZnQ6}Q59c#q()6W_-FCLwK-ykuHEwjPQi5lGS?Lk zY=J7d|IK<4GAH9x_(yu56B*QX`b&T;2UaPF-4T!ldteNu5a_ZikOqa@E9r=!5QOiDuMer!$J7cq z?iFaA&NMiR&p!3{-0{ogg1p8{`2%C2*fKu9Ze3nZt8 zUX$KuJ$x1%WLuD*IKLer&rq5(pBuDGRN7#ZY#==dRB~YpnR1zso**OZ{H5XP`kMZe*hzpM+$7F+YUl+sO3fegK#H()NIz2~=rZ zH_H4#z5~yqnQazFRL7QdVKb2l}(%^u=0)McO zR`aT=;9M zu==oiJbQL@O-2_J?QnyL-fRqobWMEe3ew9&5;I0}8I8Hg$h~FFhZ?!{sHywM#hNLha^mvI3^9Ex+V|@PxOpCTU69e@&RPo4V92PkqcU1Q-mG`lR}%Hj zzFTLPcuHf~dCWay=ObEdi)w00NW_Pxl!%;j6rO}g->U>qgK zXYz^bV5n9_8hE4uQRAax6E!V{nW${u=!^OeE3Eos6F`L7=sT49?yVE>?2u0(zW4FXf)SR3SZX0{VKPOyXK8y$VqFuhL~34heDr7Put9n| zDDM8hjB!_yA2zyjNiU(_`yhBA0HVl5Fk!uDJYQlVw$YkQ9KS^St2z>8LD2TmI}$_( zxa?NGKD%AGk4%AUb)-{!J?}|D-*_zkQYxRFGNf^RhUg($^YhP$$B<2R|mT!$u8;U6CwA^*x* z55Bm-eXAY#g21b+JNdbVNidt5CA9Tmux#^p1NA$EG?g})HTUN)eCs!bf20UyzR6FQ zIDn%>plE{9{pVAp)zL9n4_4}Wo=!-HE8{a&hMd$?wI`YIhCvDcMLXc#4Eblec}4Pf z54uf&qimo&hJM0s0!%7ZE7e@V{{MISs1aCX|95Paq7Mh5Sw^bL$Dyq?=0-qo_Z3x8 zs90NU41p2s5qAw+L8VRI$AF+I>*(%`6HO9?ATpJ_n|Js>C#!!Xoe2!n$(@w1bP!OBKn+5N&kY5c>yo%hJB>q0U zP=ZQ`0(={vA#uKc+9k42$w!O67B}iwsA!U|AtYSD$gNGCI8q>0;q$vXHlxx$q?pI1 zxt#-v&!(=OKWBE%xx!lwld!6`owTc$f0c$cP~>W*)--E9Qutt`=B8C= zSl(Sg5c7lbNLcMrX9+ZDNe}B=?$<$ZdERQ;pziBxn_}94m07gPG?YfqX<6RPcPz)Q zB~%{UzTR*?QZ8G~!j!GB0DtciU3NCv)&}JA?qfe1z*Dt4OYv1Q# z(qPT%qGF}F#o@F}m0E=-1F}N9_TEeNh9)#P99}Z;ZpbLTvy_lct(o6x_HrdG)J&|& m-_4e@3TbUFRVaIY!u9MY9j9ij!jmEb*|`y^sU?-A5dR+oVcO;Z diff --git a/M17_spec.tex b/M17_spec.tex index e6aef88..e7270d5 100644 --- a/M17_spec.tex +++ b/M17_spec.tex @@ -1542,8 +1542,6 @@ Packets are sent using Packet Mode. Packets are composed of a 1..n byte data type specifier and up to $823-n$ bytes of payload data. The data type specifier is a variable-length encoding using the same format as UTF-8. The data type specifier must be between $0$ and $2^{21}-1$ which will occupy between 1 and 4 bytes when encoded. Values from 0 to 127 are identical to their encoded form. -Packets are composed of a 1..n byte data type specifier and up to $823-n$ bytes of payload data. The data type specifier is a variable-length encoding using the same format as UTF-8. The data type specifier must be between $0$ and $2^{21}-1$ which will occupy between 1 and 4 bytes when encoded. Values from 0 to 127 are identical to their encoded form. - The data type specifier can also be used as a protocol specifier. For example, the following protocol identifiers are reserved in the M17 packet spec: \begin{table}[H]