6.89/2.10	NO
6.89/2.11	
6.89/2.11	
6.89/2.11	The system was reversed.
6.89/2.11	
6.89/2.11	Remains to prove termination of the 2-rule system
6.89/2.11	{ a -> ,
6.89/2.11	  b a a a -> a a a b b b a }
6.89/2.11	
6.89/2.11	
6.89/2.11	Loop of length 14 starting with a string of length 10 using right expansion
6.89/2.11	and the encoding {a=a, b=b}:
6.89/2.11	
6.89/2.11	.baaa.aaaaaa
6.89/2.11		rule baaa -> aaabbba at position 0
6.89/2.11	.aaabbba.aaaaaa
6.89/2.11		rule baaa -> aaabbba at position 5
6.89/2.11	.aaabbaaabbba.aaaa
6.89/2.11		rule baaa -> aaabbba at position 10
6.89/2.11	.aaabbaaabbaaabbba.aa
6.89/2.11		rule baaa -> aaabbba at position 9
6.89/2.11	.aaabbaaabaaabbbabbba.aa
6.89/2.11		rule baaa -> aaabbba at position 8
6.89/2.11	.aaabbaaaaaabbbabbbabbba.aa
6.89/2.11		rule baaa -> aaabbba at position 21
6.89/2.11	.aaabbaaaaaabbbabbbabbaaabbba.
6.89/2.11		rule baaa -> aaabbba at position 20
6.89/2.11	.aaabbaaaaaabbbabbbabaaabbbabbba.
6.89/2.11		rule baaa -> aaabbba at position 19
6.89/2.11	.aaabbaaaaaabbbabbbaaaabbbabbbabbba.
6.89/2.11		rule baaa -> aaabbba at position 17
6.89/2.11	.aaabbaaaaaabbbabbaaabbbaabbbabbbabbba.
6.89/2.11		rule baaa -> aaabbba at position 16
6.89/2.11	.aaabbaaaaaabbbabaaabbbabbbaabbbabbbabbba.
6.89/2.11		rule baaa -> aaabbba at position 15
6.89/2.11	.aaabbaaaaaabbbaaaabbbabbbabbbaabbbabbbabbba.
6.89/2.11		rule baaa -> aaabbba at position 13
6.89/2.11	.aaabbaaaaaabbaaabbbaabbbabbbabbbaabbbabbbabbba.
6.89/2.11		rule baaa -> aaabbba at position 12
6.89/2.11	.aaabbaaaaaabaaabbbabbbaabbbabbbabbbaabbbabbbabbba.
6.89/2.11		rule baaa -> aaabbba at position 11
6.89/2.11	.aaabbaaaaaaaaabbbabbbabbbaabbbabbbabbbaabbbabbbabbba.
7.23/2.15	EOF