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

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