User blog comment:LittlePeng9/ITTM galore/@comment-25418284-20140326011937/@comment-3427444-20140326075623

@LittlePeng9

After running the "write ω" machine, the encoding looks like this:

0010101011101110111011101701701701701701150115011501150115011501310131013101310131013101310...

Am I right?