# # format of file is # \[x42/7] 0 7 a.b.c.\[x42/7] 3 7 \[o033/9] 0 9 \[b01001/5] 0 5