4.02/1.26	NO
4.02/1.26	
4.02/1.26	
4.02/1.26	The system was reversed.
4.02/1.26	
4.02/1.26	Remains to prove termination of the 3-rule system
4.02/1.26	{ a -> ,
4.02/1.26	  b a a -> a b a b ,
4.02/1.26	  b b b -> a }
4.02/1.26	
4.02/1.26	
4.02/1.26	Loop of length 14 starting with a string of length 11 using right expansion
4.02/1.26	and the encoding {a=a, b=b}:
4.02/1.26	
4.02/1.26	.baa.aaaabbaa
4.02/1.26		rule baa -> abab at position 0
4.02/1.26	.abab.aaaabbaa
4.02/1.26		rule baa -> abab at position 3
4.02/1.26	.abaabab.aabbaa
4.02/1.26		rule baa -> abab at position 6
4.02/1.26	.abaabaabab.bbaa
4.02/1.26		rule baa -> abab at position 4
4.02/1.26	.abaaababbab.bbaa
4.02/1.26		rule bbb -> a at position 10
4.02/1.26	.abaaababbaa.aa
4.02/1.26		rule baa -> abab at position 8
4.02/1.26	.abaaabababab.aa
4.02/1.26		rule baa -> abab at position 11
4.02/1.26	.abaaabababaabab.
4.02/1.26		rule baa -> abab at position 9
4.02/1.26	.abaaababaababbab.
4.02/1.26		rule baa -> abab at position 7
4.02/1.26	.abaaabaababbabbab.
4.02/1.26		rule baa -> abab at position 5
4.02/1.26	.abaaaababbabbabbab.
4.02/1.26		rule a ->  at position 7
4.02/1.26	.abaaaabbbabbabbab.
4.02/1.26		rule bbb -> a at position 6
4.02/1.26	.abaaaaaabbabbab.
4.02/1.26		rule a ->  at position 13
4.02/1.26	.abaaaaaabbabbb.
4.02/1.26		rule bbb -> a at position 11
4.02/1.26	.abaaaaaabbaa.
4.02/1.28	EOF