/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 { 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 0 1 0 0 1 0 1 }

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

.ababbbbbb.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 0
.bbbbbbabaabab.bbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 9
.bbbbbbababbbbbbabaabab.bbbbbbbbbbbbbbbbbbbbbbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 18
.bbbbbbababbbbbbababbbbbbabaabab.bbbbbbbbbbbbbbbbbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 15
.bbbbbbababbbbbbbbbbbbabaabababaabab.bbbbbbbbbbbbbbbbbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 31
.bbbbbbababbbbbbbbbbbbabaababababbbbbbabaabab.bbbbbbbbbbbbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 28
.bbbbbbababbbbbbbbbbbbabaababbbbbbbabaabababaabab.bbbbbbbbbbbbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 24
.bbbbbbababbbbbbbbbbbbababbbbbbabaababbabaabababaabab.bbbbbbbbbbbbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 21
.bbbbbbababbbbbbbbbbbbbbbbbbabaabababaababbabaabababaabab.bbbbbbbbbbbbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 52
.bbbbbbababbbbbbbbbbbbbbbbbbabaabababaababbabaababababbbbbbabaabab.bbbbbbbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 49
.bbbbbbababbbbbbbbbbbbbbbbbbabaabababaababbabaababbbbbbbabaabababaabab.bbbbbbbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 45
.bbbbbbababbbbbbbbbbbbbbbbbbabaabababaababbababbbbbbabaababbabaabababaabab.bbbbbbbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 42
.bbbbbbababbbbbbbbbbbbbbbbbbabaabababaababbbbbbbbabaabababaababbabaabababaabab.bbbbbbbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 37
.bbbbbbababbbbbbbbbbbbbbbbbbabaababababbbbbbabaababbbabaabababaababbabaabababaabab.bbbbbbbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 34
.bbbbbbababbbbbbbbbbbbbbbbbbabaababbbbbbbabaabababaababbbabaabababaababbabaabababaabab.bbbbbbbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 30
.bbbbbbababbbbbbbbbbbbbbbbbbababbbbbbabaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbbbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 27
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbbbbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 89
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaababababbbbbbabaabab.bbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 86
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaababbbbbbbabaabababaabab.bbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 82
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbababbbbbbabaababbabaabababaabab.bbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 79
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbbbbbbbabaabababaababbabaabababaabab.bbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 74
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaababababbbbbbabaababbbabaabababaababbabaabababaabab.bbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 71
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaababbbbbbbabaabababaababbbabaabababaababbabaabababaabab.bbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 67
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbababbbbbbabaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 64
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 58
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaababababbbbbbabaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 55
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaababbbbbbbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 51
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbababbbbbbabaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 48
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbbbbbbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 43
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbabaababababbbbbbabaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 40
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbabaababbbbbbbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 36
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbababbbbbbabaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 33
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.bbbbb
	rule ababbbbbb-> bbbbbbabaabab at position 158
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaababababbbbbbabaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 155
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaababbbbbbbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 151
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbababbbbbbabaababbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 148
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbbbbbbbabaabababaababbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 143
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaababababbbbbbabaababbbabaabababaababbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 140
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaababbbbbbbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 136
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbababbbbbbabaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 133
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 127
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaababababbbbbbabaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 124
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaababbbbbbbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 120
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbababbbbbbabaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 117
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbbbbbbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 112
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaababababbbbbbabaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 109
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaababbbbbbbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 105
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbababbbbbbabaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 102
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 95
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaababababbbbbbabaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 92
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaababbbbbbbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 88
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbababbbbbbabaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 85
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbbbbbbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 80
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaababababbbbbbabaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 77
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaababbbbbbbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 73
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbababbbbbbabaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 70
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 64
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaababababbbbbbabaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 61
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaababbbbbbbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 57
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbababbbbbbabaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 54
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbbbbbbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 49
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaababababbbbbbabaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 46
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaababbbbbbbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 42
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbababbbbbbabaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.
	rule ababbbbbb-> bbbbbbabaabab at position 39
.bbbbbbababbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaababbbbabaabababaababbabaabababaababbbabaabababaababbabaabababaabab.