/export/starexec/sandbox2/solver/bin/starexec_run_default /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/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 1 0 1 0 1 }


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

.abaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 0
.aaaaaaaababab.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 11
.aaaaaaaababaaaaaaaababab.aaaaaaaaaaaaaaaaaaaaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 22
.aaaaaaaababaaaaaaaababaaaaaaaababab.aaaaaaaaaaaaaaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 20
.aaaaaaaababaaaaaaaabaaaaaaaabababaababab.aaaaaaaaaaaaaaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 18
.aaaaaaaababaaaaaaaaaaaaaaabababaabababaababab.aaaaaaaaaaaaaaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 43
.aaaaaaaababaaaaaaaaaaaaaaabababaabababaababaaaaaaaababab.aaaaaaaaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 41
.aaaaaaaababaaaaaaaaaaaaaaabababaabababaabaaaaaaaabababaababab.aaaaaaaaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 39
.aaaaaaaababaaaaaaaaaaaaaaabababaabababaaaaaaaaabababaabababaababab.aaaaaaaaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 36
.aaaaaaaababaaaaaaaaaaaaaaabababaababaaaaaaaabababaaabababaabababaababab.aaaaaaaaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 34
.aaaaaaaababaaaaaaaaaaaaaaabababaabaaaaaaaabababaabababaaabababaabababaababab.aaaaaaaaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 32
.aaaaaaaababaaaaaaaaaaaaaaabababaaaaaaaaabababaabababaabababaaabababaabababaababab.aaaaaaaaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 29
.aaaaaaaababaaaaaaaaaaaaaaababaaaaaaaabababaaabababaabababaabababaaabababaabababaababab.aaaaaaaaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 27
.aaaaaaaababaaaaaaaaaaaaaaabaaaaaaaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaaaaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 25
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaaaaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 94
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababaaaaaaaababab.aaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 92
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabaaaaaaaabababaababab.aaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 90
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaaaaaaaaabababaabababaababab.aaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 87
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaababaaaaaaaabababaaabababaabababaababab.aaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 85
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabaaaaaaaabababaabababaaabababaabababaababab.aaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 83
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaaaaaaaaabababaabababaabababaaabababaabababaababab.aaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 80
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaababaaaaaaaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 78
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabaaaaaaaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 76
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 72
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaababaaaaaaaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 70
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabaaaaaaaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 68
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaaaaaaaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 65
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaababaaaaaaaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 63
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabaaaaaaaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 61
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaaaaaaaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 58
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaababaaaaaaaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 56
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabaaaaaaaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 54
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 50
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaababaaaaaaaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 48
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaabaaaaaaaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 46
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabababaaaaaaaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 43
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaababaaaaaaaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 41
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaabaaaaaaaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 39
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabababaaaaaaaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 36
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaababaaaaaaaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 34
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaabaaaaaaaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 32
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.aaaaaa
	rule abaaaaaa-> aaaaaaaababab at position 235
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababaaaaaaaababab.
	rule abaaaaaa-> aaaaaaaababab at position 233
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabaaaaaaaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 231
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaaaaaaaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 228
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaababaaaaaaaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 226
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabaaaaaaaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 224
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaaaaaaaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 221
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaababaaaaaaaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 219
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabaaaaaaaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 217
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 213
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaababaaaaaaaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 211
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabaaaaaaaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 209
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaaaaaaaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 206
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaababaaaaaaaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 204
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabaaaaaaaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 202
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaaaaaaaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 199
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaababaaaaaaaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 197
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabaaaaaaaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 195
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 191
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaababaaaaaaaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 189
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabaaaaaaaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 187
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaaaaaaaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 184
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaababaaaaaaaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 182
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabaaaaaaaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 180
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaaaaaaaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 177
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaababaaaaaaaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 175
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabaaaaaaaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 173
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 168
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababaaaaaaaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 166
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabaaaaaaaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 164
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaaaaaaaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 161
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaababaaaaaaaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 159
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabaaaaaaaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 157
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaaaaaaaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 154
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaababaaaaaaaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 152
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabaaaaaaaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 150
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 146
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaababaaaaaaaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 144
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabaaaaaaaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 142
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaaaaaaaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 139
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaababaaaaaaaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 137
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabaaaaaaaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 135
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaaaaaaaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 132
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaababaaaaaaaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 130
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabaaaaaaaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 128
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 124
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaababaaaaaaaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 122
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabaaaaaaaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 120
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaaaaaaaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 117
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaababaaaaaaaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 115
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabaaaaaaaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 113
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaaaaaaaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 110
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaababaaaaaaaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 108
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabaaaaaaaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 106
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 101
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababaaaaaaaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 99
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabaaaaaaaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 97
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaaaaaaaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 94
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaababaaaaaaaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 92
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabaaaaaaaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 90
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaaaaaaaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 87
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaababaaaaaaaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 85
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabaaaaaaaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 83
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 79
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaababaaaaaaaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 77
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabaaaaaaaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 75
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaaaaaaaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 72
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaababaaaaaaaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 70
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabaaaaaaaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 68
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaaaaaaaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 65
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaababaaaaaaaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 63
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabaaaaaaaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 61
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 57
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaababaaaaaaaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 55
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabaaaaaaaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 53
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaaaaaaaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 50
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaababaaaaaaaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 48
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabaaaaaaaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 46
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaaaaaaaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 43
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaaaaaaaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 41
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaaaaaaaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.
	rule abaaaaaa-> aaaaaaaababab at position 39
.aaaaaaaababaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaabababaaaabababaabababaabababaaabababaabababaabababaaabababaabababaababab.