0.00/0.25	NO
0.00/0.25	
0.00/0.25	
0.00/0.25	The system was reversed.
0.00/0.25	
0.00/0.25	Remains to prove termination of the 1-rule system
0.00/0.25	{ b b a a -> a a a a a b b b b b }
0.00/0.25	
0.00/0.25	
0.00/0.25	Loop of length 2 starting with a string of length 6 using right expansion
0.00/0.25	and the encoding {a=b, b=a}:
0.00/0.25	
0.00/0.25	.aabb.bb
0.00/0.25		rule aabb -> bbbbbaaaaa at position 0
0.00/0.25	.bbbbbaaaaa.bb
0.00/0.25		rule aabb -> bbbbbaaaaa at position 8
0.00/0.25	.bbbbbaaabbbbbaaaaa.
0.00/0.28	EOF