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


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


NO

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


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

.abaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 0
.aaaaaaaaaabaab.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 12
.aaaaaaaaaabaaaaaaaaaaabaab.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 24
.aaaaaaaaaabaaaaaaaaaaabaaaaaaaaaaabaab.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 21
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaabaabaaabaab.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 40
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaabaabaaabaaaaaaaaaaabaab.aaaaaaaaaaaaaaaaaaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 37
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaabaabaaaaaaaaaaaabaabaaabaab.aaaaaaaaaaaaaaaaaaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 33
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaabaaaaaaaaaaabaabaaaabaabaaabaab.aaaaaaaaaaaaaaaaaaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 30
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaaaaaaaaaaaaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 64
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaaaaaaaaaaabaab.aaaaaaaaaaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 61
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaaaaaaaaaaabaabaaabaab.aaaaaaaaaaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 57
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaaaaaaaaaaabaabaaaabaabaaabaab.aaaaaaaaaaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 54
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaaaaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 49
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaaaaaaaaaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaaaaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 46
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaaaaaaaaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaaaaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 42
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaaaaaaaaaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaaaaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 39
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaaaaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 104
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaaaaaaaaaaabaab.aaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 101
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaaaaaaaaaaabaabaaabaab.aaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 97
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaaaaaaaaaaabaabaaaabaabaaabaab.aaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 94
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 89
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaaaaaaaaaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 86
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaaaaaaaaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 82
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaaaaaaaaaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 79
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 73
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaaaaaaaaaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 70
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaaaaaaaaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 66
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaaaaaaaaaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 63
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 58
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaaaaaaaaaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 55
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaaaaaaaaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 51
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaaaaaaaaaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 48
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.aaaaaaaa
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 176
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaaaaaaaaaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 173
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaaaaaaaaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 169
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaaaaaaaaaaabaabaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 166
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 161
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaaaaaaaaaaabaabaaaaabaabaaabaabaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 158
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaaaaaaaaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 154
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaaaaaaaaaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 151
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 145
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaaaaaaaaaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 142
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaaaaaaaaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 138
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaaaaaaaaaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 135
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 130
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaaaaaaaaaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 127
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaaaaaaaaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 123
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaaaaaaaaaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 120
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 113
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaaaaaaaaaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 110
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaaaaaaaaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 106
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaaaaaaaaaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 103
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 98
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaaaaaaaaaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 95
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaaaaaaaaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 91
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaaaaaaaaaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 88
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 82
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaaaaaaaaaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 79
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaaaaaaaaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 75
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaaaaaaaaaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 72
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 67
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaaaaaaaaaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 64
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaaaaaaaaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 60
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaaaaaaaaaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.
	rule abaaaaaaaa-> aaaaaaaaaabaab at position 57
.aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaabaaaaaabaabaaabaabaaaabaabaaabaabaaaaabaabaaabaabaaaabaabaaabaab.