2.63/0.88	NO
2.63/0.89	Loop of length 21 starting with a string of length 8 using right expansion
2.63/0.89	and the encoding {a=a, b=b, c=c}:
2.63/0.89	
2.63/0.89	.ac.cccbbc
2.63/0.89		rule ac -> ccbb at position 0
2.63/0.89	.ccbb.cccbbc
2.63/0.89		rule bc -> aa at position 3
2.63/0.89	.ccbaa.ccbbc
2.63/0.89		rule ac -> ccbb at position 4
2.63/0.89	.ccbaccbb.cbbc
2.63/0.89		rule ac -> ccbb at position 3
2.63/0.89	.ccbccbbcbb.cbbc
2.63/0.89		rule bc -> aa at position 2
2.63/0.89	.ccaacbbcbb.cbbc
2.63/0.89		rule ac -> ccbb at position 3
2.63/0.89	.ccaccbbbbcbb.cbbc
2.63/0.89		rule bc -> aa at position 8
2.63/0.89	.ccaccbbbaabb.cbbc
2.63/0.89		rule ab ->  at position 9
2.63/0.89	.ccaccbbbab.cbbc
2.63/0.89		rule bc -> aa at position 9
2.63/0.89	.ccaccbbbaaa.bbc
2.63/0.89		rule ab ->  at position 10
2.63/0.89	.ccaccbbbaa.bc
2.63/0.89		rule ab ->  at position 9
2.63/0.89	.ccaccbbba.c
2.63/0.89		rule ac -> ccbb at position 8
2.63/0.89	.ccaccbbbccbb.
2.63/0.89		rule bc -> aa at position 7
2.63/0.89	.ccaccbbaacbb.
2.63/0.89		rule ac -> ccbb at position 8
2.63/0.89	.ccaccbbaccbbbb.
2.63/0.89		rule ac -> ccbb at position 7
2.63/0.89	.ccaccbbccbbcbbbb.
2.63/0.89		rule bc -> aa at position 6
2.63/0.89	.ccaccbaacbbcbbbb.
2.63/0.89		rule ac -> ccbb at position 7
2.63/0.89	.ccaccbaccbbbbcbbbb.
2.63/0.89		rule ac -> ccbb at position 6
2.63/0.89	.ccaccbccbbcbbbbcbbbb.
2.63/0.89		rule bc -> aa at position 5
2.63/0.89	.ccaccaacbbcbbbbcbbbb.
2.63/0.89		rule ac -> ccbb at position 6
2.63/0.89	.ccaccaccbbbbcbbbbcbbbb.
2.63/0.89		rule ac -> ccbb at position 5
2.63/0.89	.ccaccccbbcbbbbcbbbbcbbbb.
2.63/0.92	EOF