1.84/0.65	NO
1.84/0.65	Loop of length 16 starting with a string of length 11 using right expansion
1.84/0.65	and the encoding {a=a, b=b, c=c}:
1.84/0.65	
1.84/0.65	.aa.acaaccacc
1.84/0.65		rule aa -> ab at position 0
1.84/0.65	.ab.acaaccacc
1.84/0.65		rule bac -> ccaaa at position 1
1.84/0.65	.accaaa.aaccacc
1.84/0.65		rule aa -> ab at position 3
1.84/0.65	.accaba.aaccacc
1.84/0.65		rule aa -> ab at position 5
1.84/0.65	.accabab.accacc
1.84/0.65		rule bac -> ccaaa at position 6
1.84/0.65	.accabaccaaa.cacc
1.84/0.65		rule bac -> ccaaa at position 4
1.84/0.65	.accaccaaacaaa.cacc
1.84/0.65		rule aa -> ab at position 6
1.84/0.65	.accaccabacaaa.cacc
1.84/0.65		rule bac -> ccaaa at position 7
1.84/0.65	.accaccaccaaaaaa.cacc
1.84/0.65		rule aa -> ab at position 10
1.84/0.65	.accaccaccaabaaa.cacc
1.84/0.65		rule aa -> ab at position 12
1.84/0.65	.accaccaccaababa.cacc
1.84/0.65		rule bac -> ccaaa at position 13
1.84/0.65	.accaccaccaabaccaaa.acc
1.84/0.65		rule bac -> ccaaa at position 11
1.84/0.65	.accaccaccaaccaaacaaa.acc
1.84/0.65		rule aa -> ab at position 18
1.84/0.65	.accaccaccaaccaaacaab.acc
1.84/0.65		rule bac -> ccaaa at position 19
1.84/0.65	.accaccaccaaccaaacaaccaaa.c
1.84/0.65		rule aa -> ab at position 21
1.84/0.65	.accaccaccaaccaaacaaccaba.c
1.84/0.65		rule bac -> ccaaa at position 22
1.84/0.65	.accaccaccaaccaaacaaccaccaaa.
1.88/0.67	EOF