96.19/24.67	NO
96.19/24.67	Loop of length 28 starting with a string of length 13 using right expansion
96.19/24.67	and the encoding {a=a, b=b, c=c}:
96.19/24.67	
96.19/24.67	.abab.babbabbab
96.19/24.67		rule abab -> cbca at position 0
96.19/24.67	.cbca.babbabbab
96.19/24.67		rule c -> ba at position 2
96.19/24.67	.cbbaa.babbabbab
96.19/24.67		rule abab -> cbca at position 4
96.19/24.67	.cbbacbca.babbab
96.19/24.67		rule c -> ba at position 4
96.19/24.67	.cbbababca.babbab
96.19/24.67		rule abab -> cbca at position 3
96.19/24.67	.cbbcbcaca.babbab
96.19/24.67		rule c -> ba at position 5
96.19/24.67	.cbbcbbaaca.babbab
96.19/24.67		rule c -> ba at position 8
96.19/24.67	.cbbcbbaabaa.babbab
96.19/24.67		rule abab -> cbca at position 10
96.19/24.67	.cbbcbbaabacbca.bab
96.19/24.67		rule c -> ba at position 10
96.19/24.67	.cbbcbbaabababca.bab
96.19/24.67		rule abab -> cbca at position 7
96.19/24.67	.cbbcbbacbcaabca.bab
96.19/24.67		rule c -> ba at position 7
96.19/24.67	.cbbcbbababcaabca.bab
96.19/24.67		rule abab -> cbca at position 6
96.19/24.67	.cbbcbbcbcacaabca.bab
96.19/24.67		rule c -> ba at position 8
96.19/24.67	.cbbcbbcbbaacaabca.bab
96.19/24.67		rule c -> ba at position 11
96.19/24.67	.cbbcbbcbbaabaaabca.bab
96.19/24.67		rule a ->  at position 12
96.19/24.67	.cbbcbbcbbaabaabca.bab
96.19/24.67		rule a ->  at position 12
96.19/24.67	.cbbcbbcbbaababca.bab
96.19/24.67		rule abab -> cbca at position 10
96.19/24.67	.cbbcbbcbbacbcaca.bab
96.19/24.67		rule c -> ba at position 10
96.19/24.67	.cbbcbbcbbababcaca.bab
96.19/24.67		rule c -> ba at position 13
96.19/24.67	.cbbcbbcbbababbaaca.bab
96.19/24.67		rule a ->  at position 14
96.19/24.67	.cbbcbbcbbababbaca.bab
96.19/24.67		rule c -> ba at position 15
96.19/24.67	.cbbcbbcbbababbabaa.bab
96.19/24.67		rule abab -> cbca at position 17
96.19/24.67	.cbbcbbcbbababbabacbca.
96.19/24.67		rule c -> ba at position 17
96.19/24.67	.cbbcbbcbbababbabababca.
96.19/24.67		rule abab -> cbca at position 16
96.19/24.67	.cbbcbbcbbababbabcbcaca.
96.19/24.67		rule c -> ba at position 16
96.19/24.67	.cbbcbbcbbababbabbabcaca.
96.19/24.67		rule c -> ba at position 19
96.19/24.67	.cbbcbbcbbababbabbabbaaca.
96.19/24.67		rule a ->  at position 20
96.19/24.67	.cbbcbbcbbababbabbabbaca.
96.19/24.67		rule c -> ba at position 21
96.19/24.67	.cbbcbbcbbababbabbabbabaa.
96.28/24.73	EOF