Loop of length 26 starting with a string of length 13 found after enumerating 295295 derivations: .cbbb.bbbbbbbbb rule cbbb -> aabacc at position 0 .aabacc.bbbbbbbbb rule cbbb -> aabacc at position 5 .aabacaabacc.bbbbbb rule a -> b at position 5 .aabacbabacc.bbbbbb rule a -> b at position 6 .aabacbbbacc.bbbbbb rule a -> b at position 8 .aabacbbbbcc.bbbbbb rule cbbb -> aabacc at position 10 .aabacbbbbcaabacc.bbb rule a -> b at position 10 .aabacbbbbcbabacc.bbb rule a -> b at position 11 .aabacbbbbcbbbacc.bbb rule cbbb -> aabacc at position 9 .aabacbbbbaabaccacc.bbb rule a -> b at position 9 .aabacbbbbbabaccacc.bbb rule a -> b at position 10 .aabacbbbbbbbaccacc.bbb rule a -> b at position 12 .aabacbbbbbbbbccacc.bbb rule a -> b at position 15 .aabacbbbbbbbbccbcc.bbb rule cbbb -> aabacc at position 17 .aabacbbbbbbbbccbcaabacc. rule a -> b at position 17 .aabacbbbbbbbbccbcbabacc. rule a -> b at position 18 .aabacbbbbbbbbccbcbbbacc. rule cbbb -> aabacc at position 16 .aabacbbbbbbbbccbaabaccacc. rule a -> b at position 16 .aabacbbbbbbbbccbbabaccacc. rule a -> b at position 17 .aabacbbbbbbbbccbbbbaccacc. rule cbbb -> aabacc at position 14 .aabacbbbbbbbbcaabaccbaccacc. rule a -> b at position 14 .aabacbbbbbbbbcbabaccbaccacc. rule a -> b at position 15 .aabacbbbbbbbbcbbbaccbaccacc. rule cbbb -> aabacc at position 13 .aabacbbbbbbbbaabaccaccbaccacc. rule a -> b at position 13 .aabacbbbbbbbbbabaccaccbaccacc. rule a -> b at position 14 .aabacbbbbbbbbbbbaccaccbaccacc. rule a -> b at position 16 .aabacbbbbbbbbbbbbccaccbaccacc.