11.27/3.13	NO
11.27/3.13	Loop of length 23 starting with a string of length 9 using right expansion
11.27/3.13	and the encoding {a=b, b=a, c=c}:
11.27/3.13	
11.27/3.13	.aab.aacacb
11.27/3.13		rule aab -> abb at position 0
11.27/3.13	.abb.aacacb
11.27/3.13		rule baa ->= acc at position 2
11.27/3.13	.abacc.cacb
11.27/3.13		rule ccc ->= cbb at position 3
11.27/3.13	.abacbb.acb
11.27/3.13		rule cbb ->= aba at position 3
11.27/3.13	.abaaba.acb
11.27/3.13		rule aab -> abb at position 2
11.27/3.13	.ababba.acb
11.27/3.13		rule baa ->= acc at position 4
11.27/3.13	.ababacc.cb
11.27/3.13		rule ccc ->= cbb at position 5
11.27/3.13	.ababacbb.b
11.27/3.13		rule cbb ->= aba at position 5
11.27/3.13	.ababaaba.b
11.27/3.13		rule baa ->= acc at position 3
11.27/3.13	.abaaccba.b
11.27/3.13		rule baa ->= acc at position 1
11.27/3.13	.aaccccba.b
11.27/3.13		rule ccb -> cac at position 4
11.27/3.13	.aacccaca.b
11.27/3.13		rule ccc ->= cbb at position 2
11.27/3.13	.aacbbaca.b
11.27/3.13		rule cbb ->= aba at position 2
11.27/3.13	.aaabaaca.b
11.27/3.13		rule aab -> abb at position 1
11.27/3.13	.aabbaaca.b
11.27/3.13		rule baa ->= acc at position 3
11.27/3.13	.aabaccca.b
11.27/3.13		rule ccc ->= cbb at position 4
11.27/3.13	.aabacbba.b
11.27/3.13		rule cbb ->= aba at position 4
11.27/3.13	.aabaabaa.b
11.27/3.13		rule aab -> abb at position 3
11.27/3.13	.aababbaa.b
11.27/3.13		rule baa ->= acc at position 5
11.27/3.13	.aababacc.b
11.27/3.13		rule ccb -> cac at position 6
11.27/3.13	.aababacac.
11.27/3.13		rule cac ->= abb at position 6
11.27/3.13	.aababaabb.
11.27/3.13		rule baa ->= acc at position 4
11.27/3.13	.aabaaccbb.
11.27/3.13		rule ccb -> cac at position 5
11.27/3.13	.aabaacacb.
11.49/3.19	EOF