7.80/2.22	NO
7.80/2.23	Loop of length 10 starting with a string of length 9 using right expansion
7.80/2.23	and the encoding {a=b, b=a, c=c}:
7.80/2.23	
7.80/2.23	.aaa.acbaac
7.80/2.23		rule aaa ->= aac at position 0
7.80/2.23	.aac.acbaac
7.80/2.23		rule cac -> aab at position 2
7.80/2.23	.aaaab.baac
7.80/2.23		rule abb -> cbc at position 3
7.80/2.23	.aaacbc.aac
7.80/2.23		rule bca -> cbc at position 4
7.80/2.23	.aaaccbc.ac
7.80/2.23		rule bca -> cbc at position 5
7.80/2.23	.aaacccbc.c
7.80/2.23		rule ccc ->= aac at position 3
7.80/2.23	.aaaaacbc.c
7.80/2.23		rule aaa ->= aac at position 1
7.80/2.23	.aaacacbc.c
7.80/2.23		rule cac -> aab at position 3
7.80/2.23	.aaaaabbc.c
7.80/2.23		rule abb -> cbc at position 4
7.80/2.23	.aaaacbcc.c
7.80/2.23		rule ccc ->= aac at position 6
7.80/2.23	.aaaacbaac.
7.99/2.27	EOF