Loop of length 8 starting with a string of length 3
found after enumerating 533 derivations:

.ba.a
	rule ba -> abcab at position 0
.abcab.a
	rule a ->  at position 3
.abcb.a
	rule ba -> abcab at position 3
.abcabcab.
	rule a ->  at position 3
.abcbcab.
	rule b -> a at position 3
.abcacab.
	rule a ->  at position 3
.abccab.
	rule cc ->  at position 2
.abab.
	rule b -> a at position 3
.abaa.