529.00/137.77	NO
529.00/137.77	Loop of length 50 starting with a string of length 13 using right expansion
529.00/137.77	and the encoding {a=a, b=b, c=c}:
529.00/137.77	
529.00/137.77	.abc.aacaaacaba
529.00/137.77		rule abc -> abb at position 0
529.00/137.77	.abb.aacaaacaba
529.00/137.77		rule baa -> cac at position 2
529.00/137.77	.abcac.caaacaba
529.00/137.77		rule abc -> abb at position 0
529.00/137.77	.abbac.caaacaba
529.00/137.77		rule cca -> bcb at position 4
529.00/137.77	.abbabcb.aacaba
529.00/137.77		rule baa -> cac at position 6
529.00/137.77	.abbabccac.caba
529.00/137.77		rule cca -> bcb at position 8
529.00/137.77	.abbabccabcb.ba
529.00/137.77		rule abc -> abb at position 7
529.00/137.77	.abbabccabbb.ba
529.00/137.77		rule bbb ->= caa at position 9
529.00/137.77	.abbabccabcaa.a
529.00/137.77		rule abc -> abb at position 7
529.00/137.77	.abbabccabbaa.a
529.00/137.77		rule baa -> cac at position 9
529.00/137.77	.abbabccabcac.a
529.00/137.77		rule abc -> abb at position 7
529.00/137.77	.abbabccabbac.a
529.00/137.77		rule cca -> bcb at position 5
529.00/137.77	.abbabbcbbbac.a
529.00/137.77		rule bbb ->= caa at position 7
529.00/137.77	.abbabbccaaac.a
529.00/137.77		rule cca -> bcb at position 6
529.00/137.77	.abbabbbcbaac.a
529.00/137.77		rule baa -> cac at position 8
529.00/137.77	.abbabbbccacc.a
529.00/137.77		rule cca -> bcb at position 7
529.00/137.77	.abbabbbbcbcc.a
529.00/137.77		rule bbb ->= caa at position 5
529.00/137.77	.abbabcaacbcc.a
529.00/137.77		rule abc -> abb at position 3
529.00/137.77	.abbabbaacbcc.a
529.00/137.77		rule baa -> cac at position 5
529.00/137.77	.abbabcaccbcc.a
529.00/137.77		rule abc -> bac at position 3
529.00/137.77	.abbbacaccbcc.a
529.00/137.77		rule cbc -> cab at position 8
529.00/137.77	.abbbacaccabc.a
529.00/137.77		rule abc -> abb at position 9
529.00/137.77	.abbbacaccabb.a
529.00/137.77		rule cca -> bcb at position 7
529.00/137.77	.abbbacabcbbb.a
529.00/137.77		rule abc -> bac at position 6
529.00/137.77	.abbbacbacbbb.a
529.00/137.77		rule bbb ->= caa at position 9
529.00/137.77	.abbbacbaccaa.a
529.00/137.77		rule cca -> bcb at position 8
529.00/137.77	.abbbacbabcba.a
529.00/137.77		rule abc -> bac at position 7
529.00/137.77	.abbbacbbacba.a
529.00/137.77		rule baa -> cac at position 10
529.00/137.77	.abbbacbbaccac.
529.00/137.77		rule cca -> bcb at position 9
529.00/137.77	.abbbacbbabcbc.
529.00/137.77		rule abc -> bac at position 8
529.00/137.77	.abbbacbbbacbc.
529.00/137.77		rule bbb ->= caa at position 6
529.00/137.77	.abbbaccaaacbc.
529.00/137.77		rule cca -> bcb at position 5
529.00/137.77	.abbbabcbaacbc.
529.00/137.77		rule abc -> bac at position 4
529.00/137.77	.abbbbacbaacbc.
529.00/137.77		rule bbb ->= caa at position 2
529.00/137.77	.abcaaacbaacbc.
529.00/137.77		rule baa -> cac at position 7
529.00/137.77	.abcaaaccaccbc.
529.00/137.77		rule cbc -> cab at position 10
529.00/137.77	.abcaaaccaccab.
529.00/137.77		rule cca -> bcb at position 9
529.00/137.77	.abcaaaccabcbb.
529.00/137.77		rule abc -> abb at position 8
529.00/137.77	.abcaaaccabbbb.
529.00/137.77		rule bbb ->= caa at position 10
529.00/137.77	.abcaaaccabcaa.
529.00/137.77		rule abc -> abb at position 8
529.00/137.77	.abcaaaccabbaa.
529.00/137.77		rule cca -> bcb at position 6
529.00/137.77	.abcaaabcbbbaa.
529.00/137.77		rule abc -> bac at position 5
529.00/137.77	.abcaabacbbbaa.
529.00/137.77		rule bbb ->= caa at position 8
529.00/137.77	.abcaabaccaaaa.
529.00/137.77		rule cca -> bcb at position 7
529.00/137.77	.abcaababcbaaa.
529.00/137.77		rule abc -> bac at position 6
529.00/137.77	.abcaabbacbaaa.
529.00/137.77		rule baa -> cac at position 9
529.00/137.77	.abcaabbaccaca.
529.00/137.77		rule cca -> bcb at position 8
529.00/137.77	.abcaabbabcbca.
529.00/137.77		rule abc -> bac at position 7
529.00/137.77	.abcaabbbacbca.
529.00/137.77		rule bbb ->= caa at position 5
529.00/137.77	.abcaacaaacbca.
529.00/137.77		rule cbc -> cab at position 9
529.00/137.77	.abcaacaaacaba.
529.07/137.84	EOF