0.00/0.29	NO
0.00/0.29	
0.00/0.29	
0.00/0.29	The system was reversed.
0.00/0.29	
0.00/0.29	Remains to prove termination of the 6-rule system
0.00/0.29	{ c c a -> a c c ,
0.00/0.29	  b b a -> a b b ,
0.00/0.29	  c a a -> a b b ,
0.00/0.29	  a c b -> c c a ,
0.00/0.29	  a c a ->= b c a ,
0.00/0.29	  a a b ->= a a a }
0.00/0.29	
0.00/0.29	
0.00/0.29	Loop of length 8 starting with a string of length 8 using right expansion
0.00/0.29	and the encoding {a=b, b=c, c=a}:
0.00/0.29	
0.00/0.29	.aab.abbbb
0.00/0.29		rule aab -> baa at position 0
0.00/0.29	.baa.abbbb
0.00/0.29		rule aab -> baa at position 2
0.00/0.29	.babaa.bbb
0.00/0.29		rule abb -> bcc at position 4
0.00/0.29	.bababcc.b
0.00/0.29		rule ccb -> bcc at position 5
0.00/0.29	.bababbcc.
0.00/0.29		rule bbc ->= bbb at position 4
0.00/0.29	.bababbbc.
0.00/0.29		rule bab ->= cab at position 2
0.00/0.29	.bacabbbc.
0.00/0.29		rule bac -> aab at position 0
0.00/0.29	.aababbbc.
0.00/0.29		rule bbc ->= bbb at position 5
0.00/0.29	.aababbbb.
0.00/0.34	EOF