File art/encode8.tex artifact 002741146e part of check-in bd0b86e97d

\LARGE V_{new} = 2^{16}B_{new} + A_{new}