81.36/20.88	NO
81.36/20.89	Loop of length 34 starting with a string of length 11 using right expansion
81.36/20.89	and the encoding {a=a, b=b, c=c}:
81.36/20.89	
81.36/20.89	.c.babbbabbab
81.36/20.89		rule c -> baa at position 0
81.36/20.89	.baa.babbbabbab
81.36/20.89		rule abab -> cbc at position 2
81.36/20.89	.bacbc.bbabbab
81.36/20.89		rule c -> baa at position 2
81.36/20.89	.babaabc.bbabbab
81.36/20.89		rule a ->  at position 3
81.36/20.89	.bababc.bbabbab
81.36/20.89		rule abab -> cbc at position 1
81.36/20.89	.bcbcc.bbabbab
81.36/20.89		rule c -> baa at position 3
81.36/20.89	.bcbbaac.bbabbab
81.36/20.89		rule c -> baa at position 6
81.36/20.89	.bcbbaabaa.bbabbab
81.36/20.89		rule a ->  at position 7
81.36/20.89	.bcbbaaba.bbabbab
81.36/20.89		rule abab -> cbc at position 5
81.36/20.89	.bcbbacbc.babbab
81.36/20.89		rule c -> baa at position 5
81.36/20.89	.bcbbabaabc.babbab
81.36/20.89		rule a ->  at position 6
81.36/20.89	.bcbbababc.babbab
81.36/20.89		rule abab -> cbc at position 4
81.36/20.89	.bcbbcbcc.babbab
81.36/20.89		rule c -> baa at position 6
81.36/20.89	.bcbbcbbaac.babbab
81.36/20.89		rule c -> baa at position 9
81.36/20.89	.bcbbcbbaabaa.babbab
81.36/20.89		rule abab -> cbc at position 11
81.36/20.89	.bcbbcbbaabacbc.bab
81.36/20.89		rule c -> baa at position 11
81.36/20.89	.bcbbcbbaababaabc.bab
81.36/20.89		rule abab -> cbc at position 8
81.36/20.89	.bcbbcbbacbcaabc.bab
81.36/20.89		rule c -> baa at position 8
81.36/20.89	.bcbbcbbabaabcaabc.bab
81.36/20.89		rule a ->  at position 9
81.36/20.89	.bcbbcbbababcaabc.bab
81.36/20.89		rule abab -> cbc at position 7
81.36/20.89	.bcbbcbbcbccaabc.bab
81.36/20.89		rule c -> baa at position 10
81.36/20.89	.bcbbcbbcbcbaaaabc.bab
81.36/20.89		rule a ->  at position 11
81.36/20.89	.bcbbcbbcbcbaaabc.bab
81.36/20.89		rule a ->  at position 11
81.36/20.89	.bcbbcbbcbcbaabc.bab
81.36/20.89		rule a ->  at position 11
81.36/20.89	.bcbbcbbcbcbabc.bab
81.36/20.89		rule c -> baa at position 13
81.36/20.89	.bcbbcbbcbcbabbaa.bab
81.36/20.89		rule abab -> cbc at position 15
81.36/20.89	.bcbbcbbcbcbabbacbc.
81.36/20.89		rule c -> baa at position 15
81.36/20.89	.bcbbcbbcbcbabbabaabc.
81.36/20.89		rule a ->  at position 16
81.36/20.89	.bcbbcbbcbcbabbababc.
81.36/20.89		rule abab -> cbc at position 14
81.36/20.89	.bcbbcbbcbcbabbcbcc.
81.36/20.89		rule c -> baa at position 14
81.36/20.89	.bcbbcbbcbcbabbbaabcc.
81.36/20.89		rule a ->  at position 15
81.36/20.89	.bcbbcbbcbcbabbbabcc.
81.36/20.89		rule c -> baa at position 17
81.36/20.89	.bcbbcbbcbcbabbbabbaac.
81.36/20.89		rule a ->  at position 18
81.36/20.89	.bcbbcbbcbcbabbbabbac.
81.36/20.89		rule c -> baa at position 19
81.36/20.89	.bcbbcbbcbcbabbbabbabaa.
81.36/20.92	EOF