5.15/1.52	NO
5.15/1.52	Loop of length 13 starting with a string of length 9 using right expansion
5.15/1.52	and the encoding {a=c, b=a, c=b}:
5.15/1.52	
5.15/1.52	.aba.abcccb
5.15/1.52		rule aba ->= aaa at position 0
5.15/1.52	.aaa.abcccb
5.15/1.52		rule aaa -> bcc at position 1
5.15/1.52	.abcc.bcccb
5.15/1.52		rule cbc ->= acb at position 3
5.15/1.52	.abcacb.ccb
5.15/1.52		rule cbc ->= acb at position 4
5.15/1.52	.abcaacb.cb
5.15/1.52		rule cbc ->= acb at position 5
5.15/1.52	.abcaaacb.b
5.15/1.52		rule aaa -> bcc at position 3
5.15/1.52	.abcbcccb.b
5.15/1.52		rule cbc ->= acb at position 2
5.15/1.52	.abacbccb.b
5.15/1.52		rule cbc ->= acb at position 3
5.15/1.52	.abaacbcb.b
5.15/1.52		rule cbc ->= acb at position 4
5.15/1.52	.abaaacbb.b
5.15/1.52		rule bbb -> cab at position 6
5.15/1.52	.abaaaccab.
5.15/1.52		rule cca -> bac at position 5
5.15/1.52	.abaaabacb.
5.15/1.52		rule aba ->= aaa at position 4
5.15/1.52	.abaaaaacb.
5.15/1.52		rule aaa -> bcc at position 4
5.15/1.52	.abaabcccb.
5.25/1.54	EOF