/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 }, 
it remains to prove termination of the 1-rule system
{ 0 1 0 1 1 1 1 1 1 1 -> 1 1 1 1 1 1 1 0 1 0 0 1 0 1 }


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

.ababbbbbbb.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 0
.bbbbbbbabaabab.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 10
.bbbbbbbababbbbbbbabaabab.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 20
.bbbbbbbababbbbbbbababbbbbbbabaabab.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 17
.bbbbbbbababbbbbbbbbbbbbbabaabababaabab.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 34
.bbbbbbbababbbbbbbbbbbbbbabaababababbbbbbbabaabab.bbbbbbbbbbbbbbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 31
.bbbbbbbababbbbbbbbbbbbbbabaababbbbbbbbabaabababaabab.bbbbbbbbbbbbbbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 27
.bbbbbbbababbbbbbbbbbbbbbababbbbbbbabaababbabaabababaabab.bbbbbbbbbbbbbbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 24
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaabab.bbbbbbbbbbbbbbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 56
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbabaabababaababbabaababababbbbbbbabaabab.bbbbbbbbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 53
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbabaabababaababbabaababbbbbbbbabaabababaabab.bbbbbbbbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 49
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbabaabababaababbababbbbbbbabaababbabaabababaabab.bbbbbbbbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 46
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbabaabababaababbbbbbbbbabaabababaababbabaabababaabab.bbbbbbbbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 41
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbabaababababbbbbbbabaababbbabaabababaababbabaabababaabab.bbbbbbbbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 38
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbabaababbbbbbbbabaabababaababbbabaabababaababbabaabababaabab.bbbbbbbbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 34
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbababbbbbbbabaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbbbbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 31
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbbbbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 94
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaababababbbbbbbabaabab.bbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 91
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaababbbbbbbbabaabababaabab.bbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 87
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbababbbbbbbabaababbabaabababaabab.bbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 84
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbbbbbbbbabaabababaababbabaabababaabab.bbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 79
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaababababbbbbbbabaababbbabaabababaababbabaabababaabab.bbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 76
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaababbbbbbbbabaabababaababbbabaabababaababbabaabababaabab.bbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 72
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbababbbbbbbabaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 69
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 63
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaababababbbbbbbabaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 60
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaababbbbbbbbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 56
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbababbbbbbbabaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 53
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbbbbbbbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 48
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaababababbbbbbbabaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 45
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbabaababbbbbbbbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 41
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbababbbbbbbabaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 38
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbbbbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 164
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaababababbbbbbbabaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 161
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaababbbbbbbbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 157
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbababbbbbbbabaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 154
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbbbbbbbbabaabababaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 149
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaababababbbbbbbabaababbbabaabababaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 146
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaababbbbbbbbabaabababaababbbabaabababaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 142
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbababbbbbbbabaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 139
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 133
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaababababbbbbbbabaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 130
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaababbbbbbbbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 126
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbababbbbbbbabaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 123
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbbbbbbbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 118
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaababababbbbbbbabaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 115
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaababbbbbbbbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 111
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbababbbbbbbabaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 108
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 101
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaababababbbbbbbabaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 98
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaababbbbbbbbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 94
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbababbbbbbbabaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 91
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbbbbbbbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 86
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaababababbbbbbbabaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 83
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaababbbbbbbbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 79
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbababbbbbbbabaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 76
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 70
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaababababbbbbbbabaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 67
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaababbbbbbbbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 63
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbababbbbbbbabaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 60
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbbbbbbbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 55
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaababababbbbbbbabaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 52
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaababbbbbbbbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 48
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbababbbbbbbabaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 45
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbb
	rule ababbbbbbb-> bbbbbbbabaabab at position 298
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaababababbbbbbbabaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 295
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaababbbbbbbbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 291
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbababbbbbbbabaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 288
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbbbbbbbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 283
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaababababbbbbbbabaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 280
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaababbbbbbbbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 276
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbababbbbbbbabaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 273
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 267
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaababababbbbbbbabaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 264
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaababbbbbbbbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 260
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbababbbbbbbabaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 257
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbbbbbbbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 252
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaababababbbbbbbabaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 249
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaababbbbbbbbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 245
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbababbbbbbbabaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 242
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 235
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaababababbbbbbbabaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 232
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaababbbbbbbbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 228
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbababbbbbbbabaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 225
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbbbbbbbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 220
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaababababbbbbbbabaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 217
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaababbbbbbbbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 213
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbababbbbbbbabaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 210
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 204
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaababababbbbbbbabaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 201
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaababbbbbbbbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 197
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbababbbbbbbabaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 194
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbbbbbbbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 189
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaababababbbbbbbabaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 186
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaababbbbbbbbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 182
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbababbbbbbbabaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 179
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 171
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaababababbbbbbbabaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 168
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaababbbbbbbbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 164
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbababbbbbbbabaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 161
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbbbbbbbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 156
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaababababbbbbbbabaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 153
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaababbbbbbbbabaabababaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 149
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbababbbbbbbabaababbabaabababaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 146
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 140
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaababababbbbbbbabaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 137
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaababbbbbbbbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 133
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbababbbbbbbabaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 130
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbbbbbbbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 125
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaababababbbbbbbabaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 122
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaababbbbbbbbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 118
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbababbbbbbbabaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 115
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 108
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaababababbbbbbbabaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 105
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaababbbbbbbbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 101
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbababbbbbbbabaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 98
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbbbbbbbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 93
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaababababbbbbbbabaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 90
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaababbbbbbbbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 86
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbababbbbbbbabaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 83
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 77
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaababababbbbbbbabaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 74
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaababbbbbbbbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 70
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbababbbbbbbabaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 67
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbbbbbbbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 62
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaababababbbbbbbabaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 59
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaababbbbbbbbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 55
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbababbbbbbbabaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbbb-> bbbbbbbabaabab at position 52
.bbbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.