Loop of length 45 starting with a string of length 6
found after enumerating 142858 derivations:

.ab.bcbc
	rule ab -> cac at position 0
.cac.bcbc
	rule a ->  at position 1
.cc.bcbc
	rule cc -> bbba at position 0
.bbba.bcbc
	rule ab -> cac at position 3
.bbbcac.cbc
	rule cc -> bbba at position 5
.bbbcabbba.bc
	rule ab -> cac at position 4
.bbbccacbba.bc
	rule a ->  at position 5
.bbbcccbba.bc
	rule cc -> bbba at position 4
.bbbcbbbabba.bc
	rule ab -> cac at position 7
.bbbcbbbcacba.bc
	rule a ->  at position 8
.bbbcbbbccba.bc
	rule cc -> bbba at position 7
.bbbcbbbbbbaba.bc
	rule ab -> cac at position 10
.bbbcbbbbbbcaca.bc
	rule ab -> cac at position 13
.bbbcbbbbbbcaccac.c
	rule cc -> bbba at position 12
.bbbcbbbbbbcabbbaac.c
	rule ab -> cac at position 11
.bbbcbbbbbbccacbbaac.c
	rule a ->  at position 12
.bbbcbbbbbbcccbbaac.c
	rule cc -> bbba at position 11
.bbbcbbbbbbcbbbabbaac.c
	rule ab -> cac at position 14
.bbbcbbbbbbcbbbcacbaac.c
	rule a ->  at position 15
.bbbcbbbbbbcbbbccbaac.c
	rule cc -> bbba at position 14
.bbbcbbbbbbcbbbbbbabaac.c
	rule ab -> cac at position 17
.bbbcbbbbbbcbbbbbbcacaac.c
	rule a ->  at position 18
.bbbcbbbbbbcbbbbbbccaac.c
	rule cc -> bbba at position 17
.bbbcbbbbbbcbbbbbbbbbaaac.c
	rule cc -> bbba at position 23
.bbbcbbbbbbcbbbbbbbbbaaabbba.
	rule ab -> cac at position 22
.bbbcbbbbbbcbbbbbbbbbaacacbba.
	rule a ->  at position 23
.bbbcbbbbbbcbbbbbbbbbaaccbba.
	rule cc -> bbba at position 22
.bbbcbbbbbbcbbbbbbbbbaabbbabba.
	rule ab -> cac at position 21
.bbbcbbbbbbcbbbbbbbbbacacbbabba.
	rule a ->  at position 22
.bbbcbbbbbbcbbbbbbbbbaccbbabba.
	rule cc -> bbba at position 21
.bbbcbbbbbbcbbbbbbbbbabbbabbabba.
	rule ab -> cac at position 20
.bbbcbbbbbbcbbbbbbbbbcacbbabbabba.
	rule a ->  at position 21
.bbbcbbbbbbcbbbbbbbbbccbbabbabba.
	rule cc -> bbba at position 20
.bbbcbbbbbbcbbbbbbbbbbbbabbabbabba.
	rule ab -> cac at position 23
.bbbcbbbbbbcbbbbbbbbbbbbcacbabbabba.
	rule a ->  at position 24
.bbbcbbbbbbcbbbbbbbbbbbbccbabbabba.
	rule cc -> bbba at position 23
.bbbcbbbbbbcbbbbbbbbbbbbbbbababbabba.
	rule ab -> cac at position 26
.bbbcbbbbbbcbbbbbbbbbbbbbbbcacabbabba.
	rule ab -> cac at position 29
.bbbcbbbbbbcbbbbbbbbbbbbbbbcaccacbabba.
	rule cc -> bbba at position 28
.bbbcbbbbbbcbbbbbbbbbbbbbbbcabbbaacbabba.
	rule ab -> cac at position 27
.bbbcbbbbbbcbbbbbbbbbbbbbbbccacbbaacbabba.
	rule a ->  at position 28
.bbbcbbbbbbcbbbbbbbbbbbbbbbcccbbaacbabba.
	rule cc -> bbba at position 27
.bbbcbbbbbbcbbbbbbbbbbbbbbbcbbbabbaacbabba.
	rule a ->  at position 33
.bbbcbbbbbbcbbbbbbbbbbbbbbbcbbbabbacbabba.
	rule a ->  at position 33
.bbbcbbbbbbcbbbbbbbbbbbbbbbcbbbabbcbabba.
	rule ab -> cac at position 35
.bbbcbbbbbbcbbbbbbbbbbbbbbbcbbbabbcbcacba.