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


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


NO

After renaming modulo the bijection { 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 1 0 1 0 1 0 1 }

Loop of length 86 starting with a string of length 27
using right expansion and the encoding { 0 ↦ a, 1 ↦ b, ... }:

.abaaaaa.aaaaaaaaaaaaaaaaaaaa
	rule abaaaaa-> aaaaaaabababab at position 0
.aaaaaaabababab.aaaaaaaaaaaaaaaaaaaa
	rule abaaaaa-> aaaaaaabababab at position 12
.aaaaaaabababaaaaaaabababab.aaaaaaaaaaaaaaa
	rule abaaaaa-> aaaaaaabababab at position 24
.aaaaaaabababaaaaaaabababaaaaaaabababab.aaaaaaaaaa
	rule abaaaaa-> aaaaaaabababab at position 22
.aaaaaaabababaaaaaaababaaaaaaababababaabababab.aaaaaaaaaa
	rule abaaaaa-> aaaaaaabababab at position 20
.aaaaaaabababaaaaaaabaaaaaaababababaababababaabababab.aaaaaaaaaa
	rule abaaaaa-> aaaaaaabababab at position 18
.aaaaaaabababaaaaaaaaaaaaababababaababababaababababaabababab.aaaaaaaaaa
	rule abaaaaa-> aaaaaaabababab at position 57
.aaaaaaabababaaaaaaaaaaaaababababaababababaababababaabababaaaaaaabababab.aaaaa
	rule abaaaaa-> aaaaaaabababab at position 55
.aaaaaaabababaaaaaaaaaaaaababababaababababaababababaababaaaaaaababababaabababab.aaaaa
	rule abaaaaa-> aaaaaaabababab at position 53
.aaaaaaabababaaaaaaaaaaaaababababaababababaababababaabaaaaaaababababaababababaabababab.aaaaa
	rule abaaaaa-> aaaaaaabababab at position 51
.aaaaaaabababaaaaaaaaaaaaababababaababababaababababaaaaaaaababababaababababaababababaabababab.aaaaa
	rule abaaaaa-> aaaaaaabababab at position 48
.aaaaaaabababaaaaaaaaaaaaababababaababababaabababaaaaaaababababaaababababaababababaababababaabababab.aaaaa
	rule abaaaaa-> aaaaaaabababab at position 46
.aaaaaaabababaaaaaaaaaaaaababababaababababaababaaaaaaababababaababababaaababababaababababaababababaabababab.aaaaa
	rule abaaaaa-> aaaaaaabababab at position 44
.aaaaaaabababaaaaaaaaaaaaababababaababababaabaaaaaaababababaababababaababababaaababababaababababaababababaabababab.aaaaa
	rule abaaaaa-> aaaaaaabababab at position 42
.aaaaaaabababaaaaaaaaaaaaababababaababababaaaaaaaababababaababababaababababaababababaaababababaababababaababababaabababab.aaaaa
	rule abaaaaa-> aaaaaaabababab at position 39
.aaaaaaabababaaaaaaaaaaaaababababaabababaaaaaaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.aaaaa
	rule abaaaaa-> aaaaaaabababab at position 37
.aaaaaaabababaaaaaaaaaaaaababababaababaaaaaaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.aaaaa
	rule abaaaaa-> aaaaaaabababab at position 35
.aaaaaaabababaaaaaaaaaaaaababababaabaaaaaaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.aaaaa
	rule abaaaaa-> aaaaaaabababab at position 33
.aaaaaaabababaaaaaaaaaaaaababababaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.aaaaa
	rule abaaaaa-> aaaaaaabababab at position 30
.aaaaaaabababaaaaaaaaaaaaabababaaaaaaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.aaaaa
	rule abaaaaa-> aaaaaaabababab at position 28
.aaaaaaabababaaaaaaaaaaaaababaaaaaaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.aaaaa
	rule abaaaaa-> aaaaaaabababab at position 26
.aaaaaaabababaaaaaaaaaaaaabaaaaaaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.aaaaa
	rule abaaaaa-> aaaaaaabababab at position 24
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.aaaaa
	rule abaaaaa-> aaaaaaabababab at position 174
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababaaaaaaabababab.
	rule abaaaaa-> aaaaaaabababab at position 172
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababaaaaaaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 170
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabaaaaaaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 168
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaaaaaaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 165
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaabababaaaaaaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 163
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababaaaaaaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 161
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaabaaaaaaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 159
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaaaaaaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 156
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaabababaaaaaaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 154
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababaaaaaaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 152
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaabaaaaaaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 150
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 147
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaabababaaaaaaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 145
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababaaaaaaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 143
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaabaaaaaaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 141
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 137
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababaaaaaaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 135
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababaaaaaaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 133
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabaaaaaaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 131
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaaaaaaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 128
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaabababaaaaaaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 126
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababaaaaaaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 124
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaabaaaaaaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 122
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 119
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaabababaaaaaaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 117
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababaaaaaaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 115
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaabaaaaaaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 113
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 110
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaabababaaaaaaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 108
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababaaaaaaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 106
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaabaaaaaaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 104
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 100
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaabababaaaaaaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 98
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababaaaaaaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 96
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaabaaaaaaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 94
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaaaaaaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 91
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaabababaaaaaaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 89
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababaaaaaaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 87
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaabaaaaaaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 85
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 82
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaabababaaaaaaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 80
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababaaaaaaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 78
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaabaaaaaaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 76
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 73
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaabababaaaaaaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 71
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababaaaaaaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 69
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaabaaaaaaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 67
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 63
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaabababaaaaaaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 61
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaababaaaaaaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 59
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaabaaaaaaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 57
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababababaaaaaaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 54
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaabababaaaaaaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 52
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaababaaaaaaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 50
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaabaaaaaaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 48
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababababaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 45
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaabababaaaaaaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 43
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaababaaaaaaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 41
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaabaaaaaaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 39
.aaaaaaabababaaaaaaaaaaaaaaaaaaababababaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 36
.aaaaaaabababaaaaaaaaaaaaaaaaaaabababaaaaaaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 34
.aaaaaaabababaaaaaaaaaaaaaaaaaaababaaaaaaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 32
.aaaaaaabababaaaaaaaaaaaaaaaaaaabaaaaaaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.
	rule abaaaaa-> aaaaaaabababab at position 30
.aaaaaaabababaaaaaaaaaaaaaaaaaaaaaaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaababababaaababababaababababaababababaabababab.