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


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


NO

After renaming modulo { a->0, b->1 }, 
it remains to prove termination of the 1-rule system
{ 0 1 1 0 0 0 0 0 0 0 -> 0 0 0 0 0 0 0 0 0 1 1 0 1 1 }


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

.abbaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 0
.aaaaaaaaabbabb.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 11
.aaaaaaaaabbaaaaaaaaabbabb.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 22
.aaaaaaaaabbaaaaaaaaabbaaaaaaaaabbabb.aaaaaaaaaaaaaaaaaaaaaaaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 19
.aaaaaaaaabbaaaaaaaaaaaaaaaaabbabbaabbabb.aaaaaaaaaaaaaaaaaaaaaaaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 37
.aaaaaaaaabbaaaaaaaaaaaaaaaaabbabbaabbaaaaaaaaabbabb.aaaaaaaaaaaaaaaaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 34
.aaaaaaaaabbaaaaaaaaaaaaaaaaabbabbaaaaaaaaaabbabbaabbabb.aaaaaaaaaaaaaaaaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 30
.aaaaaaaaabbaaaaaaaaaaaaaaaaabbaaaaaaaaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaaaaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 27
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaaaaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 60
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbaaaaaaaaabbabb.aaaaaaaaaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 57
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaaaaaaaaaabbabbaabbabb.aaaaaaaaaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 53
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbaaaaaaaaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 50
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaaaaaaaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 45
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbaaaaaaaaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 42
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbabbaaaaaaaaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 38
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 35
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaaaaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 99
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbaaaaaaaaabbabb.aaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 96
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaaaaaaaaaabbabbaabbabb.aaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 92
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbaaaaaaaaabbabbaaabbabbaabbabb.aaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 89
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaaaaaaaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 84
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbaaaaaaaaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 81
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaaaaaaaaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 77
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 74
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 68
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbaaaaaaaaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 65
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaaaaaaaaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 61
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 58
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 53
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbaaaaaaaaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 50
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaaaaaaaaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 46
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 43
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.aaaaaaa
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 170
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbaaaaaaaaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 167
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaaaaaaaaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 163
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbaaaaaaaaabbabbaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 160
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaaaaaaaaaabbabbaabbabbaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 155
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbaaaaaaaaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 152
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaaaaaaaaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 148
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 145
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 139
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbaaaaaaaaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 136
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaaaaaaaaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 132
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 129
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 124
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbaaaaaaaaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 121
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaaaaaaaaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 117
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 114
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 107
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbaaaaaaaaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 104
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaaaaaaaaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 100
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 97
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 92
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbaaaaaaaaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 89
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaaaaaaaaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 85
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 82
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 76
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbaaaaaaaaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 73
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaaaaaaaaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 69
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 66
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 61
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbaaaaaaaaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 58
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaaaaaaaaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 54
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbaaaaaaaaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.
	rule abbaaaaaaa-> aaaaaaaaabbabb at position 51
.aaaaaaaaabbaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabbaaaaabbabbaabbabbaaabbabbaabbabbaaaabbabbaabbabbaaabbabbaabbabb.