/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 { a ↦ 0, b ↦ 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 1 0 0 0 0 0 1 }

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

.aabababab.abababababababababababab
	rule aabababab-> ababababaaaaab at position 0
.ababababaaaaab.abababababababababababab
	rule aabababab-> ababababaaaaab at position 11
.ababababaaaababababaaaaab.ababababababababab
	rule aabababab-> ababababaaaaab at position 22
.ababababaaaababababaaaababababaaaaab.abababababab
	rule aabababab-> ababababaaaaab at position 21
.ababababaaaababababaaababababaaaaabaaaaab.abababababab
	rule aabababab-> ababababaaaaab at position 20
.ababababaaaababababaababababaaaaabaaaaabaaaaab.abababababab
	rule aabababab-> ababababaaaaab at position 19
.ababababaaaababababababababaaaaabaaaaabaaaaabaaaaab.abababababab
	rule aabababab-> ababababaaaaab at position 48
.ababababaaaababababababababaaaaabaaaaabaaaaabaaaababababaaaaab.ababab
	rule aabababab-> ababababaaaaab at position 47
.ababababaaaababababababababaaaaabaaaaabaaaaabaaababababaaaaabaaaaab.ababab
	rule aabababab-> ababababaaaaab at position 46
.ababababaaaababababababababaaaaabaaaaabaaaaabaababababaaaaabaaaaabaaaaab.ababab
	rule aabababab-> ababababaaaaab at position 45
.ababababaaaababababababababaaaaabaaaaabaaaaabababababaaaaabaaaaabaaaaabaaaaab.ababab
	rule aabababab-> ababababaaaaab at position 42
.ababababaaaababababababababaaaaabaaaaabaaaababababaaaaababaaaaabaaaaabaaaaabaaaaab.ababab
	rule aabababab-> ababababaaaaab at position 41
.ababababaaaababababababababaaaaabaaaaabaaababababaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.ababab
	rule aabababab-> ababababaaaaab at position 40
.ababababaaaababababababababaaaaabaaaaabaababababaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.ababab
	rule aabababab-> ababababaaaaab at position 39
.ababababaaaababababababababaaaaabaaaaabababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.ababab
	rule aabababab-> ababababaaaaab at position 36
.ababababaaaababababababababaaaaabaaaababababaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.ababab
	rule aabababab-> ababababaaaaab at position 35
.ababababaaaababababababababaaaaabaaababababaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.ababab
	rule aabababab-> ababababaaaaab at position 34
.ababababaaaababababababababaaaaabaababababaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.ababab
	rule aabababab-> ababababaaaaab at position 33
.ababababaaaababababababababaaaaabababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.ababab
	rule aabababab-> ababababaaaaab at position 30
.ababababaaaababababababababaaaababababaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.ababab
	rule aabababab-> ababababaaaaab at position 29
.ababababaaaababababababababaaababababaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.ababab
	rule aabababab-> ababababaaaaab at position 28
.ababababaaaababababababababaababababaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.ababab
	rule aabababab-> ababababaaaaab at position 27
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.ababab
	rule aabababab-> ababababaaaaab at position 134
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaababababaaaaab.
	rule aabababab-> ababababaaaaab at position 133
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaababababaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 132
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaababababaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 131
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabababababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 128
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaababababaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 127
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaababababaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 126
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaababababaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 125
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 122
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaababababaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 121
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaababababaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 120
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaababababaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 119
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 116
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaababababaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 115
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaababababaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 114
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaababababaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 113
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 108
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaababababaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 107
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaababababaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 106
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaababababaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 105
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabababababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 102
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaababababaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 101
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaababababaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 100
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaababababaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 99
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 96
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaababababaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 95
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaababababaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 94
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaababababaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 93
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 90
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaababababaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 89
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaababababaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 88
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaababababaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 87
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 82
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaababababaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 81
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaababababaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 80
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaababababaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 79
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabababababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 76
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaababababaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 75
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaababababaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 74
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaababababaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 73
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 70
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaababababaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 69
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaababababaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 68
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaababababaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 67
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 64
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaaababababaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 63
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaaababababaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 62
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababaababababaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 61
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaaababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 56
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaaababababaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 55
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaaababababaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 54
.ababababaaaababababababababababababaaaaabaaaaabaaaaabaababababaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 53
.ababababaaaababababababababababababaaaaabaaaaabaaaaabababababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 50
.ababababaaaababababababababababababaaaaabaaaaabaaaababababaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 49
.ababababaaaababababababababababababaaaaabaaaaabaaababababaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 48
.ababababaaaababababababababababababaaaaabaaaaabaababababaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 47
.ababababaaaababababababababababababaaaaabaaaaabababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 44
.ababababaaaababababababababababababaaaaabaaaababababaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 43
.ababababaaaababababababababababababaaaaabaaababababaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 42
.ababababaaaababababababababababababaaaaabaababababaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 41
.ababababaaaababababababababababababaaaaabababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 38
.ababababaaaababababababababababababaaaababababaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 37
.ababababaaaababababababababababababaaababababaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 36
.ababababaaaababababababababababababaababababaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.
	rule aabababab-> ababababaaaaab at position 35
.ababababaaaababababababababababababababababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaabababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaababaaaaabaaaaabaaaaabaaaaab.