12.56/3.41	NO
12.56/3.41	Loop of length 22 starting with a string of length 11 using right expansion
12.56/3.41	and the encoding {a=a, b=c, c=b}:
12.56/3.41	
12.56/3.41	.aba.aaaacbaa
12.56/3.41		rule aba -> baa at position 0
12.56/3.41	.baa.aaaacbaa
12.56/3.41		rule baa -> aac at position 0
12.56/3.41	.aac.aaaacbaa
12.56/3.41		rule aca ->= abb at position 1
12.56/3.41	.aabb.aaacbaa
12.56/3.41		rule baa -> aac at position 3
12.56/3.41	.aabaac.acbaa
12.56/3.41		rule aca ->= abb at position 4
12.56/3.41	.aabaabb.cbaa
12.56/3.41		rule baa -> aac at position 2
12.56/3.41	.aaaacbb.cbaa
12.56/3.41		rule bcb -> cba at position 6
12.56/3.41	.aaaacbcba.aa
12.56/3.41		rule bcb -> cba at position 5
12.56/3.41	.aaaaccbaa.aa
12.56/3.41		rule ccb -> cac at position 4
12.56/3.41	.aaaacacaa.aa
12.56/3.41		rule aca ->= abb at position 5
12.56/3.41	.aaaacabba.aa
12.56/3.41		rule aca ->= abb at position 3
12.56/3.41	.aaaabbbba.aa
12.56/3.41		rule baa -> aac at position 7
12.56/3.41	.aaaabbbaac.a
12.56/3.41		rule aca ->= abb at position 8
12.56/3.41	.aaaabbbaabb.
12.56/3.41		rule baa -> aac at position 6
12.56/3.41	.aaaabbaacbb.
12.56/3.41		rule baa -> aac at position 5
12.56/3.41	.aaaabaaccbb.
12.56/3.41		rule aba -> baa at position 3
12.56/3.41	.aaabaaaccbb.
12.56/3.41		rule aba -> baa at position 2
12.56/3.41	.aabaaaaccbb.
12.56/3.41		rule aba -> baa at position 1
12.56/3.41	.abaaaaaccbb.
12.56/3.41		rule ccb -> cac at position 7
12.56/3.41	.abaaaaacacb.
12.56/3.41		rule aca ->= abb at position 6
12.56/3.41	.abaaaaabbcb.
12.56/3.41		rule bcb -> cba at position 8
12.56/3.41	.abaaaaabcba.
12.56/3.41		rule bcb -> cba at position 7
12.56/3.41	.abaaaaacbaa.
12.56/3.47	EOF