0.00/0.42	NO
0.00/0.43	
0.00/0.43	
0.00/0.43	The system was reversed.
0.00/0.43	
0.00/0.43	Remains to prove termination of the 4-rule system
0.00/0.43	{ a -> ,
0.00/0.43	  a -> b ,
0.00/0.43	  c b a -> a c a b c ,
0.00/0.43	  c -> }
0.00/0.43	
0.00/0.43	
0.00/0.43	Loop of length 10 starting with a string of length 7 using right expansion
0.00/0.43	and the encoding {a=a, b=b, c=c}:
0.00/0.43	
0.00/0.43	.cba.baba
0.00/0.43		rule cba -> acabc at position 0
0.00/0.43	.acabc.baba
0.00/0.43		rule a ->  at position 2
0.00/0.43	.acbc.baba
0.00/0.43		rule cba -> acabc at position 3
0.00/0.43	.acbacabc.ba
0.00/0.43		rule a ->  at position 5
0.00/0.43	.acbacbc.ba
0.00/0.43		rule cba -> acabc at position 6
0.00/0.43	.acbacbacabc.
0.00/0.43		rule cba -> acabc at position 4
0.00/0.43	.acbaacabccabc.
0.00/0.43		rule a -> b at position 4
0.00/0.43	.acbabcabccabc.
0.00/0.43		rule c ->  at position 5
0.00/0.43	.acbababccabc.
0.00/0.43		rule c ->  at position 7
0.00/0.43	.acbababcabc.
0.00/0.43		rule c ->  at position 7
0.00/0.43	.acbabababc.
0.00/0.46	EOF