And they're separated into 256 bits

from here

I bet he pipes the output too. Throw the codebook at him.