b | 1 [0] 1 1 1 1 0
a | [1] 1 1 1 1 1 0
c | [0] 1 1 1 1 1 1 0
b | [0] 1 1 1 1 1 1 1 0
a | [0] 1 1 1 1 1 1 1 1 0
b | 1 [1] 1 1 1 1 1 1 1 0
b | 1 1 [1] 1 1 1 1 1 1 0
b | 1 1 1 [1] 1 1 1 1 1 0
b | 1 1 1 1 [1] 1 1 1 1 0
b | 1 1 1 1 1 [1] 1 1 1 0
b | 1 1 1 1 1 1 [1] 1 1 0
b | 1 1 1 1 1 1 1 [1] 1 0
b | 1 1 1 1 1 1 1 1 [1] 0
b | 1 1 1 1 1 1 1 1 1 [0]
a | 1 1 1 1 1 1 1 1 [1] 1
c | 1 1 1 1 1 1 1 [1] 1 1
halt | 1 1 1 1 1 1 1 [1] 1 1
Total steps: 17
q2 | 1 2 2 0 2 1 2 2 2 2 2 2 [0]
q2 | 1 2 2 0 2 1 2 2 2 2 2 2 2 [0]
q2 | 1 2 2 0 2 1 2 2 2 2 2 2 2 2 [0]
q2 | 1 2 2 0 2 1 2 2 2 2 2 2 2 2 2 [0]
q2 | 1 2 2 0 2 1 2 2 2 2 2 2 2 2 2 2 [0]
q2 | 1 2 2 0 2 1 2 2 2 2 2 2 2 2 2 2 2 [0]
q2 | 1 2 2 0 2 1 2 2 2 2 2 2 2 2 2 2 2 2 [0]
q2 | 1 2 2 0 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 [0]
q2 | 1 2 2 0 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 [0]
q2 | 1 2 2 0 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 [0]
q2 | 1 2 2 0 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 [0]
q2 | 1 2 2 0 2 1 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 [0]
q2 | 122021222222222222222222[0]
q2 | 1220212222222222222222222[0]
q2 | 12202122222222222222222222[0]
q2 | 122021222222222222222222222[0]
q2 | 1220212222222222222222222222[0]
q2 | 12202122222222222222222222222[0]
q2 | 122021222222222222222222222222[0]
q2 | 1220212222222222222222222222222[0]
q2 | 12202122222222222222222222222222[0]
q2 | 122021222222222222222222222222222[0]
q2 | 1220212222222222222222222222222222[0]
q2 | 12202122222222222222222222222222222[0]
q2 | 122021222222222222222222222222222222[0]
q2 | 1220212222222222222222222222222222222[0]