1.73/0.66	NO
1.73/0.66	
1.73/0.66	
1.73/0.66	The system was reversed.
1.73/0.66	
1.73/0.66	Remains to prove termination of the 3-rule system
1.73/0.66	{ a -> ,
1.73/0.66	  b a -> a a c b ,
1.73/0.66	  c c c -> b a }
1.73/0.66	
1.73/0.66	
1.73/0.66	Loop of length 26 starting with a string of length 8 using right expansion
1.73/0.66	and the encoding {a=a, b=b, c=c}:
1.73/0.66	
1.73/0.66	.ba.aaaaaa
1.73/0.66		rule ba -> aacb at position 0
1.73/0.66	.aacb.aaaaaa
1.73/0.66		rule ba -> aacb at position 3
1.73/0.66	.aacaacb.aaaaa
1.73/0.66		rule a ->  at position 3
1.73/0.66	.aacacb.aaaaa
1.73/0.66		rule a ->  at position 3
1.73/0.66	.aaccb.aaaaa
1.73/0.66		rule ba -> aacb at position 4
1.73/0.66	.aaccaacb.aaaa
1.73/0.66		rule a ->  at position 4
1.73/0.66	.aaccacb.aaaa
1.73/0.66		rule a ->  at position 4
1.73/0.66	.aacccb.aaaa
1.73/0.66		rule ccc -> ba at position 2
1.73/0.66	.aabab.aaaa
1.73/0.66		rule ba -> aacb at position 4
1.73/0.66	.aabaaacb.aaa
1.73/0.66		rule ba -> aacb at position 7
1.73/0.66	.aabaaacaacb.aa
1.73/0.66		rule a ->  at position 7
1.73/0.66	.aabaaacacb.aa
1.73/0.66		rule a ->  at position 7
1.73/0.66	.aabaaaccb.aa
1.73/0.66		rule ba -> aacb at position 8
1.73/0.66	.aabaaaccaacb.a
1.73/0.66		rule a ->  at position 8
1.73/0.66	.aabaaaccacb.a
1.73/0.66		rule a ->  at position 8
1.73/0.66	.aabaaacccb.a
1.73/0.66		rule ccc -> ba at position 6
1.73/0.66	.aabaaabab.a
1.73/0.66		rule ba -> aacb at position 6
1.73/0.66	.aabaaaaacbb.a
1.73/0.66		rule ba -> aacb at position 10
1.73/0.66	.aabaaaaacbaacb.
1.73/0.66		rule ba -> aacb at position 9
1.73/0.66	.aabaaaaacaacbacb.
1.73/0.66		rule a ->  at position 9
1.73/0.66	.aabaaaaacacbacb.
1.73/0.66		rule a ->  at position 9
1.73/0.66	.aabaaaaaccbacb.
1.73/0.66		rule ba -> aacb at position 10
1.73/0.66	.aabaaaaaccaacbcb.
1.73/0.66		rule a ->  at position 10
1.73/0.66	.aabaaaaaccacbcb.
1.73/0.66		rule a ->  at position 10
1.73/0.66	.aabaaaaacccbcb.
1.73/0.66		rule ccc -> ba at position 8
1.73/0.66	.aabaaaaababcb.
1.73/0.66		rule ba -> aacb at position 8
1.73/0.66	.aabaaaaaaacbbcb.
1.73/0.72	EOF