11.68/3.22	NO
11.68/3.22	Loop of length 16 starting with a string of length 11 using right expansion
11.68/3.22	and the encoding {a=a, b=b, c=c}:
11.68/3.22	
11.68/3.22	.a.aacaaccacc
11.68/3.22		rule a -> b at position 0
11.68/3.22	.b.aacaaccacc
11.68/3.22		rule baac -> ccaaaa at position 0
11.68/3.22	.ccaaaa.aaccacc
11.68/3.22		rule a -> b at position 2
11.68/3.22	.ccbaaa.aaccacc
11.68/3.22		rule a -> b at position 5
11.68/3.22	.ccbaab.aaccacc
11.68/3.22		rule baac -> ccaaaa at position 5
11.68/3.22	.ccbaaccaaaa.cacc
11.68/3.22		rule baac -> ccaaaa at position 2
11.68/3.22	.ccccaaaacaaaa.cacc
11.68/3.22		rule a -> b at position 5
11.68/3.22	.ccccabaacaaaa.cacc
11.68/3.22		rule baac -> ccaaaa at position 5
11.68/3.22	.ccccaccaaaaaaaa.cacc
11.68/3.22		rule a -> b at position 9
11.68/3.22	.ccccaccaabaaaaa.cacc
11.68/3.22		rule a -> b at position 12
11.68/3.22	.ccccaccaabaabaa.cacc
11.68/3.22		rule baac -> ccaaaa at position 12
11.68/3.22	.ccccaccaabaaccaaaa.acc
11.68/3.22		rule baac -> ccaaaa at position 9
11.68/3.22	.ccccaccaaccaaaacaaaa.acc
11.68/3.22		rule a -> b at position 18
11.68/3.22	.ccccaccaaccaaaacaaba.acc
11.68/3.22		rule baac -> ccaaaa at position 18
11.68/3.22	.ccccaccaaccaaaacaaccaaaa.c
11.68/3.22		rule a -> b at position 21
11.68/3.22	.ccccaccaaccaaaacaaccabaa.c
11.68/3.22		rule baac -> ccaaaa at position 21
11.68/3.22	.ccccaccaaccaaaacaaccaccaaaa.
11.78/3.27	EOF