2.63/0.88	NO
2.63/0.88	Loop of length 64 starting with a string of length 45 using right expansion
2.63/0.88	and the encoding {a=c, b=a, c=b}:
2.63/0.88	
2.63/0.88	.aabcccccc.cccccccccccccccccccccccccccccccccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 0
2.63/0.88	.cccccccaabaab.cccccccccccccccccccccccccccccccccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 10
2.63/0.88	.cccccccaabcccccccaabaab.cccccccccccccccccccccccccccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 20
2.63/0.88	.cccccccaabcccccccaabcccccccaabaab.cccccccccccccccccccccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 17
2.63/0.88	.cccccccaabccccccccccccccaabaabcaabaab.cccccccccccccccccccccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 34
2.63/0.88	.cccccccaabccccccccccccccaabaabcaabcccccccaabaab.cccccccccccccccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 31
2.63/0.88	.cccccccaabccccccccccccccaabaabccccccccaabaabcaabaab.cccccccccccccccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 27
2.63/0.88	.cccccccaabccccccccccccccaabcccccccaabaabccaabaabcaabaab.cccccccccccccccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 24
2.63/0.88	.cccccccaabcccccccccccccccccccccaabaabcaabaabccaabaabcaabaab.cccccccccccccccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 56
2.63/0.88	.cccccccaabcccccccccccccccccccccaabaabcaabaabccaabaabcaabcccccccaabaab.cccccccccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 53
2.63/0.88	.cccccccaabcccccccccccccccccccccaabaabcaabaabccaabaabccccccccaabaabcaabaab.cccccccccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 49
2.63/0.88	.cccccccaabcccccccccccccccccccccaabaabcaabaabccaabcccccccaabaabccaabaabcaabaab.cccccccccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 46
2.63/0.88	.cccccccaabcccccccccccccccccccccaabaabcaabaabcccccccccaabaabcaabaabccaabaabcaabaab.cccccccccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 41
2.63/0.88	.cccccccaabcccccccccccccccccccccaabaabcaabcccccccaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 38
2.63/0.88	.cccccccaabcccccccccccccccccccccaabaabccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 34
2.63/0.88	.cccccccaabcccccccccccccccccccccaabcccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 31
2.63/0.88	.cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 94
2.63/0.88	.cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabcccccccaabaab.cccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 91
2.63/0.88	.cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabccccccccaabaabcaabaab.cccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 87
2.63/0.88	.cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabcccccccaabaabccaabaabcaabaab.cccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 84
2.63/0.88	.cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabcccccccccaabaabcaabaabccaabaabcaabaab.cccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 79
2.63/0.88	.cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabcccccccaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 76
2.63/0.88	.cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 72
2.63/0.88	.cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabcccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 69
2.63/0.88	.cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 63
2.63/0.88	.cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabcccccccaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 60
2.63/0.88	.cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabaabccccccccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 56
2.63/0.88	.cccccccaabccccccccccccccccccccccccccccaabaabcaabaabccaabcccccccaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 53
2.63/0.88	.cccccccaabccccccccccccccccccccccccccccaabaabcaabaabcccccccccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 48
2.63/0.88	.cccccccaabccccccccccccccccccccccccccccaabaabcaabcccccccaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 45
2.63/0.88	.cccccccaabccccccccccccccccccccccccccccaabaabccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 41
2.63/0.88	.cccccccaabccccccccccccccccccccccccccccaabcccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 38
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccc
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 164
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabcccccccaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 161
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabccccccccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 157
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabcccccccaabaabccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 154
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabcccccccccaabaabcaabaabccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 149
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabcccccccaabaabcccaabaabcaabaabccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 146
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 142
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabcccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 139
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 133
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabcccccccaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 130
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabccccccccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 126
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabcccccccaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 123
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabcccccccccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 118
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabcccccccaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 115
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 111
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabcccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 108
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 101
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabcccccccaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 98
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabccccccccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 94
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabcccccccaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 91
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabcccccccccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 86
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabcccccccaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 83
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 79
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabcccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 76
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 70
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabcccccccaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 67
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabccccccccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 63
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabccaabcccccccaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 60
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabaabcccccccccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 55
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabcaabcccccccaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 52
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabaabccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 48
2.63/0.88	.cccccccaabcccccccccccccccccccccccccccccccccccaabcccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
2.63/0.88		rule aabcccccc -> cccccccaabaab at position 45
2.63/0.88	.cccccccaabccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
2.63/0.92	EOF