Hall Encoding Decoding Excerpt.pdf