/export/starexec/sandbox2/solver/bin/starexec_run_default /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files


--------------------------------------------------------------------------------


NO
Loop of length 64 starting with a string of length 45 using right expansion
and the encoding {a=b, b=a, c=c}:

.abcbbbbbb.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 0
.bbbbbbbabcabc.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 10
.bbbbbbbabcbbbbbbbabcabc.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 20
.bbbbbbbabcbbbbbbbabcbbbbbbbabcabc.bbbbbbbbbbbbbbbbbbbbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 17
.bbbbbbbabcbbbbbbbbbbbbbbabcabcbabcabc.bbbbbbbbbbbbbbbbbbbbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 34
.bbbbbbbabcbbbbbbbbbbbbbbabcabcbabcbbbbbbbabcabc.bbbbbbbbbbbbbbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 31
.bbbbbbbabcbbbbbbbbbbbbbbabcabcbbbbbbbbabcabcbabcabc.bbbbbbbbbbbbbbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 27
.bbbbbbbabcbbbbbbbbbbbbbbabcbbbbbbbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 24
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbbbbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 56
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcbbbbbbbabcabc.bbbbbbbbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 53
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbbbbbbbbabcabcbabcabc.bbbbbbbbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 49
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcbbbbbbbabcabcbbabcabcbabcabc.bbbbbbbbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 46
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbbbbbbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 41
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbabcabcbabcbbbbbbbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 38
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbabcabcbbbbbbbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 34
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbabcbbbbbbbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 31
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbbbbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 94
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcbbbbbbbabcabc.bbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 91
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbbbbbbbbabcabcbabcabc.bbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 87
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcbbbbbbbabcabcbbabcabcbabcabc.bbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 84
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbbbbbbbbabcabcbabcabcbbabcabcbabcabc.bbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 79
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcbbbbbbbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 76
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbbbbbbbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 72
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcbbbbbbbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 69
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 63
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcbbbbbbbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 60
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbbbbbbbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 56
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcbbbbbbbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 53
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 48
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcbbbbbbbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 45
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbbbbbbbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 41
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcbbbbbbbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 38
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.bbbbbb
	rule abcbbbbbb -> bbbbbbbabcabc at position 164
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcbbbbbbbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 161
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbbbbbbbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 157
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcbbbbbbbabcabcbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 154
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbbbbbbbbabcabcbabcabcbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 149
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcbbbbbbbabcabcbbbabcabcbabcabcbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 146
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbbbbbbbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 142
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcbbbbbbbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 139
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 133
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcbbbbbbbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 130
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbbbbbbbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 126
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcbbbbbbbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 123
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 118
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcbbbbbbbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 115
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbbbbbbbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 111
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcbbbbbbbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 108
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 101
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcbbbbbbbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 98
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbbbbbbbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 94
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcbbbbbbbabcabcbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 91
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 86
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcbbbbbbbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 83
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbbbbbbbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 79
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcbbbbbbbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 76
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 70
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcbbbbbbbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 67
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbbbbbbbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 63
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcbbbbbbbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 60
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 55
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcbbbbbbbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 52
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbbbbbbbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 48
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcbbbbbbbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.
	rule abcbbbbbb -> bbbbbbbabcabc at position 45
.bbbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabc.