51.19/13.29	NO
51.19/13.29	Loop of length 38 starting with a string of length 8 using right expansion
51.19/13.29	and the encoding {a=a, b=b, c=c}:
51.19/13.29	
51.19/13.29	.ab.bcbbbc
51.19/13.29		rule ab -> cac at position 0
51.19/13.29	.cac.bcbbbc
51.19/13.29		rule a ->  at position 1
51.19/13.29	.cc.bcbbbc
51.19/13.29		rule cc -> bbba at position 0
51.19/13.29	.bbba.bcbbbc
51.19/13.29		rule ab -> cac at position 3
51.19/13.29	.bbbcac.cbbbc
51.19/13.29		rule cc -> bbba at position 5
51.19/13.29	.bbbcabbba.bbbc
51.19/13.29		rule ab -> cac at position 4
51.19/13.29	.bbbccacbba.bbbc
51.19/13.29		rule a ->  at position 5
51.19/13.29	.bbbcccbba.bbbc
51.19/13.29		rule cc -> bbba at position 4
51.19/13.29	.bbbcbbbabba.bbbc
51.19/13.29		rule ab -> cac at position 7
51.19/13.29	.bbbcbbbcacba.bbbc
51.19/13.29		rule a ->  at position 8
51.19/13.29	.bbbcbbbccba.bbbc
51.19/13.29		rule cc -> bbba at position 7
51.19/13.29	.bbbcbbbbbbaba.bbbc
51.19/13.29		rule ab -> cac at position 10
51.19/13.29	.bbbcbbbbbbcaca.bbbc
51.19/13.29		rule a ->  at position 11
51.19/13.29	.bbbcbbbbbbcca.bbbc
51.19/13.29		rule cc -> bbba at position 10
51.19/13.29	.bbbcbbbbbbbbbaa.bbbc
51.19/13.29		rule ab -> cac at position 14
51.19/13.29	.bbbcbbbbbbbbbacac.bbc
51.19/13.29		rule a ->  at position 15
51.19/13.29	.bbbcbbbbbbbbbacc.bbc
51.19/13.29		rule cc -> bbba at position 14
51.19/13.29	.bbbcbbbbbbbbbabbba.bbc
51.19/13.29		rule ab -> cac at position 13
51.19/13.29	.bbbcbbbbbbbbbcacbba.bbc
51.19/13.29		rule a ->  at position 14
51.19/13.29	.bbbcbbbbbbbbbccbba.bbc
51.19/13.29		rule cc -> bbba at position 13
51.19/13.29	.bbbcbbbbbbbbbbbbabba.bbc
51.19/13.29		rule ab -> cac at position 16
51.19/13.29	.bbbcbbbbbbbbbbbbcacba.bbc
51.19/13.29		rule a ->  at position 17
51.19/13.29	.bbbcbbbbbbbbbbbbccba.bbc
51.19/13.29		rule cc -> bbba at position 16
51.19/13.29	.bbbcbbbbbbbbbbbbbbbaba.bbc
51.19/13.29		rule ab -> cac at position 19
51.19/13.29	.bbbcbbbbbbbbbbbbbbbcaca.bbc
51.19/13.29		rule a ->  at position 20
51.19/13.29	.bbbcbbbbbbbbbbbbbbbcca.bbc
51.19/13.29		rule cc -> bbba at position 19
51.19/13.29	.bbbcbbbbbbbbbbbbbbbbbbaa.bbc
51.19/13.29		rule ab -> cac at position 23
51.19/13.29	.bbbcbbbbbbbbbbbbbbbbbbacac.bc
51.19/13.29		rule a ->  at position 24
51.19/13.29	.bbbcbbbbbbbbbbbbbbbbbbacc.bc
51.19/13.29		rule cc -> bbba at position 23
51.19/13.29	.bbbcbbbbbbbbbbbbbbbbbbabbba.bc
51.19/13.29		rule ab -> cac at position 22
51.19/13.29	.bbbcbbbbbbbbbbbbbbbbbbcacbba.bc
51.19/13.29		rule a ->  at position 23
51.19/13.29	.bbbcbbbbbbbbbbbbbbbbbbccbba.bc
51.19/13.29		rule cc -> bbba at position 22
51.19/13.29	.bbbcbbbbbbbbbbbbbbbbbbbbbabba.bc
51.19/13.29		rule ab -> cac at position 28
51.19/13.29	.bbbcbbbbbbbbbbbbbbbbbbbbbabbcac.c
51.19/13.29		rule cc -> bbba at position 30
51.19/13.29	.bbbcbbbbbbbbbbbbbbbbbbbbbabbcabbba.
51.19/13.29		rule ab -> cac at position 29
51.19/13.29	.bbbcbbbbbbbbbbbbbbbbbbbbbabbccacbba.
51.19/13.29		rule a ->  at position 30
51.19/13.29	.bbbcbbbbbbbbbbbbbbbbbbbbbabbcccbba.
51.19/13.29		rule cc -> bbba at position 29
51.19/13.29	.bbbcbbbbbbbbbbbbbbbbbbbbbabbcbbbabba.
51.19/13.29		rule ab -> cac at position 32
51.19/13.29	.bbbcbbbbbbbbbbbbbbbbbbbbbabbcbbbcacba.
51.26/13.33	EOF