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


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


NO


The system was reversed.

Remains to prove termination of the 1-rule system
{ a a b a b a b -> a b a b a b a b a a a a a a }


Loop of length 44 starting with a string of length 25 using right expansion
and the encoding {a=a, b=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.