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

The system was reversed.

After renaming modulo the bijection { 1 ↦ 0, 0 ↦ 1 },
it remains to prove termination of the 1-rule system
{ 0 0 1 0 1 0 1 ⟶ 0 1 0 1 0 1 0 1 0 0 0 0 0 0 }

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

.aababab.ababababababababab
	rule aababab-> ababababaaaaaa at position 0
.ababababaaaaaa.ababababababababab
	rule aababab-> ababababaaaaaa at position 13
.ababababaaaaaababababaaaaaa.abababababab
	rule aababab-> ababababaaaaaa at position 26
.ababababaaaaaababababaaaaaababababaaaaaa.ababab
	rule aababab-> ababababaaaaaa at position 25
.ababababaaaaaababababaaaaababababaaaaaaabaaaaaa.ababab
	rule aababab-> ababababaaaaaa at position 24
.ababababaaaaaababababaaaababababaaaaaaabaaaaaaabaaaaaa.ababab
	rule aababab-> ababababaaaaaa at position 23
.ababababaaaaaababababaaababababaaaaaaabaaaaaaabaaaaaaabaaaaaa.ababab
	rule aababab-> ababababaaaaaa at position 22
.ababababaaaaaababababaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.ababab
	rule aababab-> ababababaaaaaa at position 21
.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.ababab
	rule aababab-> ababababaaaaaa at position 74
.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaababababaaaaaa.
	rule aababab-> ababababaaaaaa at position 73
.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaababababaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 72
.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaababababaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 71
.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaababababaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 70
.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 69
.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 66
.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaababababaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 65
.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaababababaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 64
.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaababababaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 63
.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 62
.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 61
.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 58
.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaababababaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 57
.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaaababababaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 56
.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaaababababaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 55
.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 54
.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 53
.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaaabababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 50
.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaaababababaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 49
.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaaababababaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 48
.ababababaaaaaababababababababaaaaaaabaaaaaaabaaaababababaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 47
.ababababaaaaaababababababababaaaaaaabaaaaaaabaaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 46
.ababababaaaaaababababababababaaaaaaabaaaaaaabaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 45
.ababababaaaaaababababababababaaaaaaabaaaaaaabababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 42
.ababababaaaaaababababababababaaaaaaabaaaaaababababaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 41
.ababababaaaaaababababababababaaaaaaabaaaaababababaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 40
.ababababaaaaaababababababababaaaaaaabaaaababababaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 39
.ababababaaaaaababababababababaaaaaaabaaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 38
.ababababaaaaaababababababababaaaaaaabaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 37
.ababababaaaaaababababababababaaaaaaabababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 34
.ababababaaaaaababababababababaaaaaababababaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 33
.ababababaaaaaababababababababaaaaababababaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 32
.ababababaaaaaababababababababaaaababababaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 31
.ababababaaaaaababababababababaaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 30
.ababababaaaaaababababababababaababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.
	rule aababab-> ababababaaaaaa at position 29
.ababababaaaaaababababababababababababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaababaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaaabaaaaaa.