1.53/0.57	NO
1.53/0.57	Loop of length 16 starting with a string of length 11 using right expansion
1.53/0.57	and the encoding {a=a, b=b, c=c}:
1.53/0.57	
1.53/0.57	.aa.acaaccacc
1.53/0.57		rule aa -> b at position 0
1.53/0.57	.b.acaaccacc
1.53/0.57		rule bac -> ccaaaa at position 0
1.53/0.57	.ccaaaa.aaccacc
1.53/0.57		rule aa -> b at position 2
1.53/0.57	.ccbaa.aaccacc
1.53/0.57		rule aa -> b at position 4
1.53/0.57	.ccbab.accacc
1.53/0.57		rule bac -> ccaaaa at position 4
1.53/0.57	.ccbaccaaaa.cacc
1.53/0.57		rule bac -> ccaaaa at position 2
1.53/0.57	.ccccaaaacaaaa.cacc
1.53/0.57		rule aa -> b at position 5
1.53/0.57	.ccccabacaaaa.cacc
1.53/0.57		rule bac -> ccaaaa at position 5
1.53/0.57	.ccccaccaaaaaaaa.cacc
1.53/0.57		rule aa -> b at position 9
1.53/0.57	.ccccaccaabaaaa.cacc
1.53/0.57		rule aa -> b at position 11
1.53/0.57	.ccccaccaababa.cacc
1.53/0.57		rule bac -> ccaaaa at position 11
1.53/0.57	.ccccaccaabaccaaaa.acc
1.53/0.57		rule bac -> ccaaaa at position 9
1.53/0.57	.ccccaccaaccaaaacaaaa.acc
1.53/0.57		rule aa -> b at position 18
1.53/0.57	.ccccaccaaccaaaacaab.acc
1.53/0.57		rule bac -> ccaaaa at position 18
1.53/0.57	.ccccaccaaccaaaacaaccaaaa.c
1.53/0.57		rule aa -> b at position 21
1.53/0.57	.ccccaccaaccaaaacaaccaba.c
1.53/0.57		rule bac -> ccaaaa at position 21
1.53/0.57	.ccccaccaaccaaaacaaccaccaaaa.
1.58/0.62	EOF