/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, c ↦ 1, a ↦ 2 },
it remains to prove termination of the 1-rule system
{ 0 1 0 2 2 2 2 2 2 2 ⟶ 2 2 2 2 2 2 2 0 1 0 0 1 0 2 }

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

.abaccccccc.cccccccccccccccccccccccccccccccccccccccccc
	rule abaccccccc-> cccccccabaabac at position 0
.cccccccabaabac.cccccccccccccccccccccccccccccccccccccccccc
	rule abaccccccc-> cccccccabaabac at position 10
.cccccccabacccccccabaabac.cccccccccccccccccccccccccccccccccccc
	rule abaccccccc-> cccccccabaabac at position 20
.cccccccabacccccccabacccccccabaabac.cccccccccccccccccccccccccccccc
	rule abaccccccc-> cccccccabaabac at position 17
.cccccccabaccccccccccccccabaabacabaabac.cccccccccccccccccccccccccccccc
	rule abaccccccc-> cccccccabaabac at position 34
.cccccccabaccccccccccccccabaabacabacccccccabaabac.cccccccccccccccccccccccc
	rule abaccccccc-> cccccccabaabac at position 31
.cccccccabaccccccccccccccabaabaccccccccabaabacabaabac.cccccccccccccccccccccccc
	rule abaccccccc-> cccccccabaabac at position 27
.cccccccabaccccccccccccccabacccccccabaabaccabaabacabaabac.cccccccccccccccccccccccc
	rule abaccccccc-> cccccccabaabac at position 24
.cccccccabacccccccccccccccccccccabaabacabaabaccabaabacabaabac.cccccccccccccccccccccccc
	rule abaccccccc-> cccccccabaabac at position 56
.cccccccabacccccccccccccccccccccabaabacabaabaccabaabacabacccccccabaabac.cccccccccccccccccc
	rule abaccccccc-> cccccccabaabac at position 53
.cccccccabacccccccccccccccccccccabaabacabaabaccabaabaccccccccabaabacabaabac.cccccccccccccccccc
	rule abaccccccc-> cccccccabaabac at position 49
.cccccccabacccccccccccccccccccccabaabacabaabaccabacccccccabaabaccabaabacabaabac.cccccccccccccccccc
	rule abaccccccc-> cccccccabaabac at position 46
.cccccccabacccccccccccccccccccccabaabacabaabacccccccccabaabacabaabaccabaabacabaabac.cccccccccccccccccc
	rule abaccccccc-> cccccccabaabac at position 41
.cccccccabacccccccccccccccccccccabaabacabacccccccabaabacccabaabacabaabaccabaabacabaabac.cccccccccccccccccc
	rule abaccccccc-> cccccccabaabac at position 38
.cccccccabacccccccccccccccccccccabaabaccccccccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccccccccccccccc
	rule abaccccccc-> cccccccabaabac at position 34
.cccccccabacccccccccccccccccccccabacccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccccccccccccccc
	rule abaccccccc-> cccccccabaabac at position 31
.cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccccccccccccccc
	rule abaccccccc-> cccccccabaabac at position 94
.cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabacccccccabaabac.cccccccccccc
	rule abaccccccc-> cccccccabaabac at position 91
.cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabaccccccccabaabacabaabac.cccccccccccc
	rule abaccccccc-> cccccccabaabac at position 87
.cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabacccccccabaabaccabaabacabaabac.cccccccccccc
	rule abaccccccc-> cccccccabaabac at position 84
.cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabacccccccccabaabacabaabaccabaabacabaabac.cccccccccccc
	rule abaccccccc-> cccccccabaabac at position 79
.cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabacccccccabaabacccabaabacabaabaccabaabacabaabac.cccccccccccc
	rule abaccccccc-> cccccccabaabac at position 76
.cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabaccccccccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccccccccc
	rule abaccccccc-> cccccccabaabac at position 72
.cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabacccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccccccccc
	rule abaccccccc-> cccccccabaabac at position 69
.cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabaccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccccccccc
	rule abaccccccc-> cccccccabaabac at position 63
.cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabacabacccccccabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccccccccc
	rule abaccccccc-> cccccccabaabac at position 60
.cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabaabaccccccccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccccccccc
	rule abaccccccc-> cccccccabaabac at position 56
.cccccccabaccccccccccccccccccccccccccccabaabacabaabaccabacccccccabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccccccccc
	rule abaccccccc-> cccccccabaabac at position 53
.cccccccabaccccccccccccccccccccccccccccabaabacabaabacccccccccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccccccccc
	rule abaccccccc-> cccccccabaabac at position 48
.cccccccabaccccccccccccccccccccccccccccabaabacabacccccccabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccccccccc
	rule abaccccccc-> cccccccabaabac at position 45
.cccccccabaccccccccccccccccccccccccccccabaabaccccccccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccccccccc
	rule abaccccccc-> cccccccabaabac at position 41
.cccccccabaccccccccccccccccccccccccccccabacccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccccccccc
	rule abaccccccc-> cccccccabaabac at position 38
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccccccccc
	rule abaccccccc-> cccccccabaabac at position 164
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabacccccccabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 161
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabaccccccccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 157
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabacccccccabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 154
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabacccccccccabaabacabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 149
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabacccccccabaabacccabaabacabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 146
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabaccccccccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 142
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabacccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 139
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabaccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 133
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabacccccccabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 130
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabaccccccccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 126
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabacccccccabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 123
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabacccccccccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 118
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabacccccccabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 115
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabaccccccccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 111
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabacccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 108
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 101
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabacccccccabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 98
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabaccccccccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 94
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabacccccccabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 91
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabacccccccccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 86
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabacccccccabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 83
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabaccccccccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 79
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabacccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 76
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabaccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 70
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabacccccccabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 67
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabaabaccccccccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 63
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabaccabacccccccabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 60
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabaabacccccccccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 55
.cccccccabacccccccccccccccccccccccccccccccccccabaabacabacccccccabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 52
.cccccccabacccccccccccccccccccccccccccccccccccabaabaccccccccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 48
.cccccccabacccccccccccccccccccccccccccccccccccabacccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 45
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.cccccc
	rule abaccccccc-> cccccccabaabac at position 298
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabacccccccabaabac.
	rule abaccccccc-> cccccccabaabac at position 295
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabaccccccccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 291
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabacccccccabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 288
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabacccccccccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 283
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabacccccccabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 280
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabaccccccccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 276
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabacccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 273
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabaccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 267
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabacccccccabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 264
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabaccccccccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 260
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabacccccccabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 257
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabacccccccccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 252
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabacccccccabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 249
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabaccccccccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 245
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabacccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 242
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 235
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabacccccccabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 232
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabaccccccccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 228
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabacccccccabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 225
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabacccccccccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 220
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabacccccccabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 217
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabaccccccccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 213
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabacccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 210
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabaccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 204
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabacccccccabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 201
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabaccccccccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 197
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabacccccccabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 194
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabacccccccccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 189
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabacccccccabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 186
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabaccccccccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 182
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabacccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 179
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 171
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabacccccccabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 168
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabaccccccccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 164
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabacccccccabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 161
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabacccccccccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 156
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabacccccccabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 153
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabaccccccccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 149
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabacccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 146
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabaccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 140
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabacccccccabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 137
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabaccccccccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 133
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabacccccccabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 130
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabacccccccccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 125
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabacccccccabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 122
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabaccccccccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 118
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabacccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 115
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 108
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabacccccccabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 105
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabaccccccccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 101
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabacccccccabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 98
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabacccccccccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 93
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabacccccccabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 90
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabaccccccccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 86
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabacccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 83
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabaccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 77
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabacccccccabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 74
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabaccccccccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 70
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabacccccccabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 67
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabaabacccccccccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 62
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabacabacccccccabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 59
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabaabaccccccccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 55
.cccccccabaccccccccccccccccccccccccccccccccccccccccccabacccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.
	rule abaccccccc-> cccccccabaabac at position 52
.cccccccabacccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabac.