12.02/3.34	NO
12.02/3.34	Loop of length 16 starting with a string of length 11 using right expansion
12.02/3.34	and the encoding {a=a, b=b, c=c}:
12.02/3.34	
12.02/3.34	.abac.baccacc
12.02/3.34		rule abac -> ccaaaa at position 0
12.02/3.34	.ccaaaa.baccacc
12.02/3.34		rule a -> b at position 3
12.02/3.34	.ccabaa.baccacc
12.02/3.34		rule abac -> ccaaaa at position 5
12.02/3.34	.ccabaccaaaa.cacc
12.02/3.34		rule abac -> ccaaaa at position 2
12.02/3.34	.ccccaaaacaaaa.cacc
12.02/3.34		rule a -> b at position 6
12.02/3.34	.ccccaabacaaaa.cacc
12.02/3.34		rule abac -> ccaaaa at position 5
12.02/3.34	.ccccaccaaaaaaaa.cacc
12.02/3.34		rule a -> b at position 10
12.02/3.34	.ccccaccaaabaaaa.cacc
12.02/3.34		rule a -> b at position 13
12.02/3.34	.ccccaccaaabaaba.cacc
12.02/3.34		rule abac -> ccaaaa at position 12
12.02/3.34	.ccccaccaaabaccaaaa.acc
12.02/3.34		rule abac -> ccaaaa at position 9
12.02/3.34	.ccccaccaaccaaaacaaaa.acc
12.02/3.34		rule a -> b at position 13
12.02/3.34	.ccccaccaaccaabacaaaa.acc
12.02/3.34		rule a -> b at position 16
12.02/3.34	.ccccaccaaccaabacbaaa.acc
12.02/3.34		rule a -> b at position 19
12.02/3.34	.ccccaccaaccaabacbaab.acc
12.02/3.34		rule abac -> ccaaaa at position 18
12.02/3.34	.ccccaccaaccaabacbaccaaaa.c
12.02/3.34		rule a -> b at position 22
12.02/3.34	.ccccaccaaccaabacbaccaaba.c
12.02/3.34		rule abac -> ccaaaa at position 21
12.02/3.34	.ccccaccaaccaabacbaccaccaaaa.
12.02/3.39	EOF