13.22/3.66	NO
13.22/3.66	
13.22/3.66	
13.22/3.66	The system was reversed.
13.22/3.66	
13.22/3.66	Remains to prove termination of the 2-rule system
13.22/3.66	{ a -> b ,
13.22/3.66	  c b a b -> a a a c c a }
13.22/3.66	
13.22/3.66	
13.22/3.66	Loop of length 24 starting with a string of length 10 using right expansion
13.22/3.66	and the encoding {a=a, b=b, c=c}:
13.22/3.66	
13.22/3.66	.cbab.ababab
13.22/3.66		rule cbab -> aaacca at position 0
13.22/3.66	.aaacca.ababab
13.22/3.66		rule a -> b at position 5
13.22/3.66	.aaaccb.ababab
13.22/3.66		rule cbab -> aaacca at position 4
13.22/3.66	.aaacaaacca.abab
13.22/3.66		rule a -> b at position 4
13.22/3.66	.aaacbaacca.abab
13.22/3.66		rule a -> b at position 6
13.22/3.66	.aaacbabcca.abab
13.22/3.66		rule a -> b at position 9
13.22/3.66	.aaacbabccb.abab
13.22/3.66		rule cbab -> aaacca at position 8
13.22/3.66	.aaacbabcaaacca.ab
13.22/3.66		rule a -> b at position 8
13.22/3.66	.aaacbabcbaacca.ab
13.22/3.66		rule a -> b at position 10
13.22/3.66	.aaacbabcbabcca.ab
13.22/3.66		rule cbab -> aaacca at position 7
13.22/3.66	.aaacbabaaaccacca.ab
13.22/3.66		rule a -> b at position 8
13.22/3.66	.aaacbababaccacca.ab
13.22/3.66		rule a -> b at position 12
13.22/3.66	.aaacbababaccbcca.ab
13.22/3.66		rule a -> b at position 15
13.22/3.66	.aaacbababaccbccb.ab
13.22/3.66		rule cbab -> aaacca at position 14
13.22/3.66	.aaacbababaccbcaaacca.
13.22/3.66		rule a -> b at position 14
13.22/3.66	.aaacbababaccbcbaacca.
13.22/3.66		rule a -> b at position 16
13.22/3.66	.aaacbababaccbcbabcca.
13.22/3.66		rule cbab -> aaacca at position 13
13.22/3.66	.aaacbababaccbaaaccacca.
13.22/3.66		rule a -> b at position 14
13.22/3.66	.aaacbababaccbabaccacca.
13.22/3.66		rule cbab -> aaacca at position 11
13.22/3.66	.aaacbababacaaaccaaccacca.
13.22/3.66		rule a -> b at position 11
13.22/3.66	.aaacbababacbaaccaaccacca.
13.22/3.66		rule a -> b at position 13
13.22/3.66	.aaacbababacbabccaaccacca.
13.22/3.66		rule cbab -> aaacca at position 10
13.22/3.66	.aaacbababaaaaccaccaaccacca.
13.22/3.66		rule a -> b at position 10
13.22/3.66	.aaacbabababaaccaccaaccacca.
13.22/3.66		rule a -> b at position 12
13.22/3.66	.aaacbababababccaccaaccacca.
13.41/3.71	EOF