10.13/2.86	NO
10.13/2.87	Loop of length 25 starting with a string of length 11 using right expansion
10.13/2.87	and the encoding {a=a, b=b, c=c}:
10.13/2.87	
10.13/2.87	.a.bbcbbccbcc
10.13/2.87		rule a -> b at position 0
10.13/2.87	.b.bbcbbccbcc
10.13/2.87		rule bbbc -> ccaaba at position 0
10.13/2.87	.ccaaba.bbccbcc
10.13/2.87		rule a -> b at position 2
10.13/2.87	.ccbaba.bbccbcc
10.13/2.87		rule a -> b at position 3
10.13/2.87	.ccbbba.bbccbcc
10.13/2.87		rule a -> b at position 5
10.13/2.87	.ccbbbb.bbccbcc
10.13/2.87		rule bbbc -> ccaaba at position 5
10.13/2.87	.ccbbbccaaba.cbcc
10.13/2.87		rule bbbc -> ccaaba at position 2
10.13/2.87	.ccccaabacaaba.cbcc
10.13/2.87		rule a -> b at position 5
10.13/2.87	.ccccabbacaaba.cbcc
10.13/2.87		rule a -> b at position 7
10.13/2.87	.ccccabbbcaaba.cbcc
10.13/2.87		rule bbbc -> ccaaba at position 5
10.13/2.87	.ccccaccaabaaaba.cbcc
10.13/2.87		rule a -> b at position 10
10.13/2.87	.ccccaccaabbaaba.cbcc
10.13/2.87		rule a -> b at position 11
10.13/2.87	.ccccaccaabbbaba.cbcc
10.13/2.87		rule a -> b at position 12
10.13/2.87	.ccccaccaabbbbba.cbcc
10.13/2.87		rule a -> b at position 14
10.13/2.87	.ccccaccaabbbbbb.cbcc
10.13/2.87		rule bbbc -> ccaaba at position 12
10.13/2.87	.ccccaccaabbbccaaba.bcc
10.13/2.87		rule bbbc -> ccaaba at position 9
10.13/2.87	.ccccaccaaccaabacaaba.bcc
10.13/2.87		rule a -> b at position 14
10.13/2.87	.ccccaccaaccaabbcaaba.bcc
10.13/2.87		rule a -> b at position 16
10.13/2.87	.ccccaccaaccaabbcbaba.bcc
10.13/2.87		rule a -> b at position 17
10.13/2.87	.ccccaccaaccaabbcbbba.bcc
10.13/2.87		rule a -> b at position 19
10.13/2.87	.ccccaccaaccaabbcbbbb.bcc
10.13/2.87		rule bbbc -> ccaaba at position 18
10.13/2.87	.ccccaccaaccaabbcbbccaaba.c
10.13/2.87		rule a -> b at position 20
10.13/2.87	.ccccaccaaccaabbcbbccbaba.c
10.13/2.87		rule a -> b at position 21
10.13/2.87	.ccccaccaaccaabbcbbccbbba.c
10.13/2.87		rule a -> b at position 23
10.13/2.87	.ccccaccaaccaabbcbbccbbbb.c
10.13/2.87		rule bbbc -> ccaaba at position 21
10.13/2.87	.ccccaccaaccaabbcbbccbccaaba.
10.43/2.91	EOF