0.00/0.28	NO
0.00/0.28	
0.00/0.28	
0.00/0.28	The system was reversed.
0.00/0.28	
0.00/0.28	Remains to prove termination of the 1-rule system
0.00/0.28	{ b a a a a -> a a a a b b a }
0.00/0.28	
0.00/0.28	
0.00/0.28	Loop of length 16 starting with a string of length 17 using right expansion
0.00/0.28	and the encoding {a=b, b=a}:
0.00/0.28	
0.00/0.28	.abbbb.bbbbbbbbbbbb
0.00/0.28		rule abbbb -> bbbbaab at position 0
0.00/0.28	.bbbbaab.bbbbbbbbbbbb
0.00/0.28		rule abbbb -> bbbbaab at position 5
0.00/0.28	.bbbbabbbbaab.bbbbbbbbb
0.00/0.28		rule abbbb -> bbbbaab at position 10
0.00/0.28	.bbbbabbbbabbbbaab.bbbbbb
0.00/0.28		rule abbbb -> bbbbaab at position 9
0.00/0.28	.bbbbabbbbbbbbaabaab.bbbbbb
0.00/0.28		rule abbbb -> bbbbaab at position 17
0.00/0.28	.bbbbabbbbbbbbaababbbbaab.bbb
0.00/0.28		rule abbbb -> bbbbaab at position 16
0.00/0.28	.bbbbabbbbbbbbaabbbbbaabaab.bbb
0.00/0.28		rule abbbb -> bbbbaab at position 14
0.00/0.28	.bbbbabbbbbbbbabbbbaabbaabaab.bbb
0.00/0.28		rule abbbb -> bbbbaab at position 13
0.00/0.28	.bbbbabbbbbbbbbbbbaabaabbaabaab.bbb
0.00/0.28		rule abbbb -> bbbbaab at position 28
0.00/0.28	.bbbbabbbbbbbbbbbbaabaabbaababbbbaab.
0.00/0.28		rule abbbb -> bbbbaab at position 27
0.00/0.28	.bbbbabbbbbbbbbbbbaabaabbaabbbbbaabaab.
0.00/0.28		rule abbbb -> bbbbaab at position 25
0.00/0.28	.bbbbabbbbbbbbbbbbaabaabbabbbbaabbaabaab.
0.00/0.28		rule abbbb -> bbbbaab at position 24
0.00/0.28	.bbbbabbbbbbbbbbbbaabaabbbbbbaabaabbaabaab.
0.00/0.28		rule abbbb -> bbbbaab at position 21
0.00/0.28	.bbbbabbbbbbbbbbbbaababbbbaabbbaabaabbaabaab.
0.00/0.28		rule abbbb -> bbbbaab at position 20
0.00/0.28	.bbbbabbbbbbbbbbbbaabbbbbaabaabbbaabaabbaabaab.
0.00/0.28		rule abbbb -> bbbbaab at position 18
0.00/0.28	.bbbbabbbbbbbbbbbbabbbbaabbaabaabbbaabaabbaabaab.
0.00/0.28		rule abbbb -> bbbbaab at position 17
0.00/0.28	.bbbbabbbbbbbbbbbbbbbbaabaabbaabaabbbaabaabbaabaab.
0.00/0.31	EOF