tm v1.0 starting
reading input finished.
start state q0
states:q0 q1 q2 q3 q4 q5 q6 

final states:q6 

trace states:No states to trace
Sorted transition table:
q0	Y	q4	Y	R
q0	a	q1	X	R
q1	Y	q1	Y	R
q1	a	q1	a	R
q1	b	q2	Y	R
q2	Z	q2	Z	R
q2	b	q2	b	R
q2	c	q3	Z	L
q3	X	q0	X	R
q3	Y	q3	Y	L
q3	Z	q3	Z	L
q3	a	q3	a	L
q3	b	q3	b	L
q4	Y	q4	Y	R
q4	Z	q5	Z	R
q5	#]	q6	##	N
q5	Z	q5	Z	R
q6	#]	q6	##	R

tape = abc
tape accepted after 9 steps, at q6

tape = bac
No next transition, quitting now
tape rejected after 1 steps, at q0

tape = bb
No next transition, quitting now
tape rejected after 1 steps, at q0

tape = aa
No next transition, quitting now
tape rejected after 3 steps, at q1
Off right end of tape

tape = cc
No next transition, quitting now
tape rejected after 1 steps, at q0

tape = aabc
No next transition, quitting now
tape rejected after 10 steps, at q1

tape = abbc
No next transition, quitting now
tape rejected after 9 steps, at q4

tape = abcc
No next transition, quitting now
tape rejected after 8 steps, at q5

tape = aaabbbccc
tape accepted after 47 steps, at q6
 No more input tapes. Stopping.