0.00/0.46	NO
0.00/0.47	
0.00/0.47	
0.00/0.47	The system was reversed.
0.00/0.47	
0.00/0.47	Remains to prove termination of the 3-rule system
0.00/0.47	{ a -> ,
0.00/0.47	  b a -> a a a c b ,
0.00/0.47	  c c a -> b }
0.00/0.47	
0.00/0.47	
0.00/0.47	Loop of length 14 starting with a string of length 6 using right expansion
0.00/0.47	and the encoding {a=a, b=b, c=c}:
0.00/0.47	
0.00/0.47	.ba.aaaa
0.00/0.47		rule ba -> aaacb at position 0
0.00/0.47	.aaacb.aaaa
0.00/0.47		rule ba -> aaacb at position 4
0.00/0.47	.aaacaaacb.aaa
0.00/0.47		rule a ->  at position 4
0.00/0.47	.aaacaacb.aaa
0.00/0.47		rule a ->  at position 4
0.00/0.47	.aaacacb.aaa
0.00/0.47		rule a ->  at position 4
0.00/0.47	.aaaccb.aaa
0.00/0.47		rule ba -> aaacb at position 5
0.00/0.47	.aaaccaaacb.aa
0.00/0.47		rule cca -> b at position 3
0.00/0.47	.aaabaacb.aa
0.00/0.47		rule ba -> aaacb at position 7
0.00/0.47	.aaabaacaaacb.a
0.00/0.47		rule a ->  at position 7
0.00/0.47	.aaabaacaacb.a
0.00/0.47		rule a ->  at position 7
0.00/0.47	.aaabaacacb.a
0.00/0.47		rule a ->  at position 7
0.00/0.47	.aaabaaccb.a
0.00/0.47		rule ba -> aaacb at position 8
0.00/0.47	.aaabaaccaaacb.
0.00/0.47		rule cca -> b at position 6
0.00/0.47	.aaabaabaacb.
0.00/0.47		rule ba -> aaacb at position 6
0.00/0.47	.aaabaaaaacbacb.
0.00/0.50	EOF