0.40/0.29	NO
0.40/0.29	
0.40/0.29	
0.40/0.29	The system was reversed.
0.40/0.29	
0.40/0.29	Remains to prove termination of the 3-rule system
0.40/0.29	{ b a -> ,
0.40/0.29	  b a -> c b ,
0.40/0.29	  c a -> a a a b }
0.40/0.29	
0.40/0.29	
0.40/0.29	Loop of length 24 starting with a string of length 8 using right expansion
0.40/0.29	and the encoding {a=b, b=a, c=c}:
0.40/0.29	
0.40/0.29	.ab.bbbbbb
0.40/0.29		rule ab -> ca at position 0
0.40/0.29	.ca.bbbbbb
0.40/0.29		rule ab -> ca at position 1
0.40/0.29	.cca.bbbbb
0.40/0.29		rule ab -> ca at position 2
0.40/0.29	.ccca.bbbb
0.40/0.29		rule ab -> ca at position 3
0.40/0.29	.cccca.bbb
0.40/0.29		rule ab -> ca at position 4
0.40/0.29	.ccccca.bb
0.40/0.29		rule ab ->  at position 5
0.40/0.29	.ccccc.b
0.40/0.29		rule cb -> bbba at position 4
0.40/0.29	.ccccbbba.
0.40/0.29		rule cb -> bbba at position 3
0.40/0.29	.cccbbbabba.
0.40/0.29		rule cb -> bbba at position 2
0.40/0.29	.ccbbbabbabba.
0.40/0.29		rule cb -> bbba at position 1
0.40/0.29	.cbbbabbabbabba.
0.40/0.29		rule cb -> bbba at position 0
0.40/0.29	.bbbabbabbabbabba.
0.40/0.29		rule ab -> ca at position 6
0.40/0.29	.bbbabbcababbabba.
0.40/0.29		rule ab -> ca at position 7
0.40/0.29	.bbbabbccaabbabba.
0.40/0.29		rule ab -> ca at position 9
0.40/0.29	.bbbabbccacababba.
0.40/0.29		rule ab ->  at position 10
0.40/0.29	.bbbabbccacabba.
0.40/0.29		rule ab ->  at position 10
0.40/0.29	.bbbabbccacba.
0.40/0.29		rule cb -> bbba at position 9
0.40/0.29	.bbbabbccabbbaa.
0.40/0.29		rule ab -> ca at position 8
0.40/0.29	.bbbabbcccabbaa.
0.40/0.29		rule ab ->  at position 9
0.40/0.29	.bbbabbcccbaa.
0.40/0.29		rule cb -> bbba at position 8
0.40/0.29	.bbbabbccbbbaaa.
0.40/0.29		rule cb -> bbba at position 7
0.40/0.29	.bbbabbcbbbabbaaa.
0.40/0.29		rule cb -> bbba at position 6
0.40/0.29	.bbbabbbbbabbabbaaa.
0.40/0.29		rule ab ->  at position 9
0.40/0.29	.bbbabbbbbbabbaaa.
0.40/0.29		rule ab ->  at position 10
0.40/0.29	.bbbabbbbbbbaaa.
0.40/0.34	EOF