38.78/10.16	NO
38.78/10.16	Loop of length 24 starting with a string of length 11 using right expansion
38.78/10.16	and the encoding {a=a, b=b, c=c}:
38.78/10.16	
38.78/10.16	.a.bacbaccacc
38.78/10.16		rule a -> b at position 0
38.78/10.16	.b.bacbaccacc
38.78/10.16		rule bbac -> ccaaaa at position 0
38.78/10.16	.ccaaaa.baccacc
38.78/10.16		rule a -> b at position 2
38.78/10.16	.ccbaaa.baccacc
38.78/10.16		rule a -> b at position 3
38.78/10.16	.ccbbaa.baccacc
38.78/10.16		rule a -> b at position 5
38.78/10.16	.ccbbab.baccacc
38.78/10.16		rule bbac -> ccaaaa at position 5
38.78/10.16	.ccbbaccaaaa.cacc
38.78/10.16		rule bbac -> ccaaaa at position 2
38.78/10.16	.ccccaaaacaaaa.cacc
38.78/10.16		rule a -> b at position 5
38.78/10.16	.ccccabaacaaaa.cacc
38.78/10.16		rule a -> b at position 6
38.78/10.16	.ccccabbacaaaa.cacc
38.78/10.16		rule bbac -> ccaaaa at position 5
38.78/10.16	.ccccaccaaaaaaaa.cacc
38.78/10.16		rule a -> b at position 9
38.78/10.16	.ccccaccaabaaaaa.cacc
38.78/10.16		rule a -> b at position 10
38.78/10.16	.ccccaccaabbaaaa.cacc
38.78/10.16		rule a -> b at position 12
38.78/10.16	.ccccaccaabbabaa.cacc
38.78/10.16		rule a -> b at position 13
38.78/10.16	.ccccaccaabbabba.cacc
38.78/10.16		rule bbac -> ccaaaa at position 12
38.78/10.16	.ccccaccaabbaccaaaa.acc
38.78/10.16		rule bbac -> ccaaaa at position 9
38.78/10.16	.ccccaccaaccaaaacaaaa.acc
38.78/10.16		rule a -> b at position 13
38.78/10.16	.ccccaccaaccaabacaaaa.acc
38.78/10.16		rule a -> b at position 16
38.78/10.16	.ccccaccaaccaabacbaaa.acc
38.78/10.16		rule a -> b at position 18
38.78/10.16	.ccccaccaaccaabacbaba.acc
38.78/10.16		rule a -> b at position 19
38.78/10.16	.ccccaccaaccaabacbabb.acc
38.78/10.16		rule bbac -> ccaaaa at position 18
38.78/10.16	.ccccaccaaccaabacbaccaaaa.c
38.78/10.16		rule a -> b at position 21
38.78/10.16	.ccccaccaaccaabacbaccabaa.c
38.78/10.16		rule a -> b at position 22
38.78/10.16	.ccccaccaaccaabacbaccabba.c
38.78/10.16		rule bbac -> ccaaaa at position 21
38.78/10.16	.ccccaccaaccaabacbaccaccaaaa.
39.02/10.30	EOF