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


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


NO

After renaming modulo { b->0, a->1, c->2 }, 
it remains to prove termination of the 1-rule system
{ 0 1 2 1 1 1 1 1 1 -> 1 1 1 1 1 1 0 1 2 0 1 2 1 }


Loop of length 64 starting with a string of length 39
using right expansion and the encoding { 0->a, 1->b, ... }:

.abcbbbbbb.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 0
.bbbbbbabcabcb.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 9
.bbbbbbabcbbbbbbabcabcb.bbbbbbbbbbbbbbbbbbbbbbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 18
.bbbbbbabcbbbbbbabcbbbbbbabcabcb.bbbbbbbbbbbbbbbbbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 15
.bbbbbbabcbbbbbbbbbbbbabcabcbabcabcb.bbbbbbbbbbbbbbbbbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 31
.bbbbbbabcbbbbbbbbbbbbabcabcbabcbbbbbbabcabcb.bbbbbbbbbbbbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 28
.bbbbbbabcbbbbbbbbbbbbabcabcbbbbbbbabcabcbabcabcb.bbbbbbbbbbbbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 24
.bbbbbbabcbbbbbbbbbbbbabcbbbbbbabcabcbbabcabcbabcabcb.bbbbbbbbbbbbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 21
.bbbbbbabcbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcb.bbbbbbbbbbbbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 52
.bbbbbbabcbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcbbbbbbabcabcb.bbbbbbbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 49
.bbbbbbabcbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbbbbbbbabcabcbabcabcb.bbbbbbbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 45
.bbbbbbabcbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcbbbbbbabcabcbbabcabcbabcabcb.bbbbbbbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 42
.bbbbbbabcbbbbbbbbbbbbbbbbbbabcabcbabcabcbbbbbbbbabcabcbabcabcbbabcabcbabcabcb.bbbbbbbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 37
.bbbbbbabcbbbbbbbbbbbbbbbbbbabcabcbabcbbbbbbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.bbbbbbbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 34
.bbbbbbabcbbbbbbbbbbbbbbbbbbabcabcbbbbbbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.bbbbbbbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 30
.bbbbbbabcbbbbbbbbbbbbbbbbbbabcbbbbbbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.bbbbbbbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 27
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.bbbbbbbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 89
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcbbbbbbabcabcb.bbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 86
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbbbbbbbabcabcbabcabcb.bbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 82
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcbbbbbbabcabcbbabcabcbabcabcb.bbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 79
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbbbbbbbabcabcbabcabcbbabcabcbabcabcb.bbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 74
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcbbbbbbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.bbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 71
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbbbbbbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.bbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 67
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcbbbbbbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.bbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 64
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.bbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 58
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcbbbbbbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.bbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 55
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbbbbbbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.bbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 51
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcbbbbbbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.bbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 48
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.bbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 43
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcbbbbbbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.bbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 40
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcabcbbbbbbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.bbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 36
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbabcbbbbbbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.bbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 33
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.bbbbb
	rule abcbbbbbb-> bbbbbbabcabcb at position 158
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcbbbbbbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 155
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbbbbbbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 151
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcbbbbbbabcabcbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 148
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbbbbbbbabcabcbabcabcbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 143
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcbbbbbbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 140
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbbbbbbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 136
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcbbbbbbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 133
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 127
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcbbbbbbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 124
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbbbbbbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 120
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcbbbbbbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 117
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 112
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcbbbbbbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 109
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbbbbbbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 105
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcbbbbbbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 102
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 95
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcbbbbbbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 92
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbbbbbbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 88
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcbbbbbbabcabcbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 85
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 80
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcbbbbbbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 77
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbbbbbbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 73
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcbbbbbbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 70
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 64
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcbbbbbbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 61
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbbbbbbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 57
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcbbbbbbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 54
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 49
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcbbbbbbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 46
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbbbbbbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 42
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcbbbbbbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.
	rule abcbbbbbb-> bbbbbbabcabcb at position 39
.bbbbbbabcbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcbbbbabcabcbabcabcbbabcabcbabcabcbbbabcabcbabcabcbbabcabcbabcabcb.