15.01/4.06	NO
15.01/4.06	Loop of length 19 starting with a string of length 10 using right expansion
15.01/4.06	and the encoding {a=a, b=b, c=c}:
15.01/4.06	
15.01/4.06	.acb.bbbccbb
15.01/4.06		rule acb -> cabac at position 0
15.01/4.06	.cabac.bbbccbb
15.01/4.06		rule acb -> cabac at position 3
15.01/4.06	.cabcabac.bbccbb
15.01/4.06		rule acb -> cabac at position 6
15.01/4.06	.cabcabcabac.bccbb
15.01/4.06		rule bc ->  at position 5
15.01/4.06	.cabcaabac.bccbb
15.01/4.06		rule acb -> cabac at position 7
15.01/4.06	.cabcaabcabac.ccbb
15.01/4.06		rule bc ->  at position 6
15.01/4.06	.cabcaaabac.ccbb
15.01/4.06		rule a -> b at position 8
15.01/4.06	.cabcaaabbc.ccbb
15.01/4.06		rule bc ->  at position 8
15.01/4.06	.cabcaaab.ccbb
15.01/4.06		rule bc ->  at position 7
15.01/4.06	.cabcaaa.cbb
15.01/4.06		rule acb -> cabac at position 6
15.01/4.06	.cabcaacabac.b
15.01/4.06		rule a -> b at position 7
15.01/4.06	.cabcaacbbac.b
15.01/4.06		rule acb -> cabac at position 5
15.01/4.06	.cabcacabacbac.b
15.01/4.06		rule a -> b at position 6
15.01/4.06	.cabcacbbacbac.b
15.01/4.06		rule acb -> cabac at position 8
15.01/4.06	.cabcacbbcabacac.b
15.01/4.06		rule bc ->  at position 7
15.01/4.06	.cabcacbabacac.b
15.01/4.06		rule a -> b at position 7
15.01/4.06	.cabcacbbbacac.b
15.01/4.06		rule a -> b at position 9
15.01/4.06	.cabcacbbbbcac.b
15.01/4.06		rule acb -> cabac at position 11
15.01/4.06	.cabcacbbbbccabac.
15.01/4.06		rule a -> b at position 12
15.01/4.06	.cabcacbbbbccbbac.
15.01/4.13	EOF