File art/encode1.tex artifact bb4fa24df8 part of check-in d00f2cfa80

\LARGE A = (\sum_{i=0}^{NHASH-1} z_i) \bmod 2^{16}