39.00/10.24	NO
39.00/10.24	
39.00/10.24	
39.00/10.24	The system was reversed.
39.00/10.24	
39.00/10.24	Remains to prove termination of the 3-rule system
39.00/10.24	{ a -> c b b ,
39.00/10.24	  b a -> ,
39.00/10.24	  b c c -> c a a }
39.00/10.24	
39.00/10.24	
39.00/10.24	Loop of length 24 starting with a string of length 8 using right expansion
39.00/10.24	and the encoding {a=a, b=c, c=b}:
39.00/10.24	
39.00/10.24	.a.bbbbaab
39.00/10.24		rule a -> bcc at position 0
39.00/10.24	.bcc.bbbbaab
39.00/10.24		rule cbb -> baa at position 2
39.00/10.24	.bcbaa.bbaab
39.00/10.24		rule a -> bcc at position 4
39.00/10.24	.bcbabcc.bbaab
39.00/10.24		rule cbb -> baa at position 6
39.00/10.24	.bcbabcbaa.aab
39.00/10.24		rule a -> bcc at position 7
39.00/10.24	.bcbabcbbcca.aab
39.00/10.24		rule cbb -> baa at position 5
39.00/10.24	.bcbabbaacca.aab
39.00/10.24		rule a -> bcc at position 6
39.00/10.24	.bcbabbbccacca.aab
39.00/10.24		rule a -> bcc at position 9
39.00/10.24	.bcbabbbccbcccca.aab
39.00/10.24		rule a -> bcc at position 14
39.00/10.24	.bcbabbbccbccccbcc.aab
39.00/10.24		rule ca ->  at position 16
39.00/10.24	.bcbabbbccbccccbc.ab
39.00/10.24		rule ca ->  at position 15
39.00/10.24	.bcbabbbccbccccb.b
39.00/10.24		rule cbb -> baa at position 13
39.00/10.24	.bcbabbbccbcccbaa.
39.00/10.24		rule a -> bcc at position 14
39.00/10.24	.bcbabbbccbcccbbcca.
39.00/10.24		rule cbb -> baa at position 12
39.00/10.24	.bcbabbbccbccbaacca.
39.00/10.24		rule a -> bcc at position 13
39.00/10.24	.bcbabbbccbccbbccacca.
39.00/10.24		rule cbb -> baa at position 11
39.00/10.24	.bcbabbbccbcbaaccacca.
39.00/10.24		rule a -> bcc at position 12
39.00/10.24	.bcbabbbccbcbbccaccacca.
39.00/10.24		rule cbb -> baa at position 10
39.00/10.24	.bcbabbbccbbaaccaccacca.
39.00/10.24		rule cbb -> baa at position 8
39.00/10.24	.bcbabbbcbaaaaccaccacca.
39.00/10.24		rule a -> bcc at position 9
39.00/10.24	.bcbabbbcbbccaaaccaccacca.
39.00/10.24		rule cbb -> baa at position 7
39.00/10.24	.bcbabbbbaaccaaaccaccacca.
39.00/10.24		rule ca ->  at position 11
39.00/10.24	.bcbabbbbaacaaccaccacca.
39.00/10.24		rule ca ->  at position 10
39.00/10.24	.bcbabbbbaaaccaccacca.
39.00/10.24		rule a -> bcc at position 10
39.00/10.24	.bcbabbbbaabccccaccacca.
39.29/10.30	EOF