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

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

.abcbcbcbcb.cbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 0
.bcbcbcbcbcaaab.cbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 12
.bcbcbcbcbcaabcbcbcbcbcaaab.cbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 24
.bcbcbcbcbcaabcbcbcbcbcaabcbcbcbcbcaaab.cbcbcbcbcbcbcbcbcbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 23
.bcbcbcbcbcaabcbcbcbcbcabcbcbcbcbcaaabcaaab.cbcbcbcbcbcbcbcbcbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 22
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcaaabcaaabcaaab.cbcbcbcbcbcbcbcbcbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 44
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcaaabcaaabcaabcbcbcbcbcaaab.cbcbcbcbcbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 43
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcaaabcaaabcabcbcbcbcbcaaabcaaab.cbcbcbcbcbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 42
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcaaabcaaabcbcbcbcbcbcaaabcaaabcaaab.cbcbcbcbcbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 39
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcaaabcaabcbcbcbcbcaaabcbcaaabcaaabcaaab.cbcbcbcbcbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 38
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcaaabcabcbcbcbcbcaaabcaaabcbcaaabcaaabcaaab.cbcbcbcbcbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 37
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcaaabcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaab.cbcbcbcbcbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 34
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcaabcbcbcbcbcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.cbcbcbcbcbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 33
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcabcbcbcbcbcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.cbcbcbcbcbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 32
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.cbcbcbcbcbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 88
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaabcbcbcbcbcaaab.cbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 87
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcabcbcbcbcbcaaabcaaab.cbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 86
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcbcbcbcbcbcaaabcaaabcaaab.cbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 83
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaabcbcbcbcbcaaabcbcaaabcaaabcaaab.cbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 82
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcabcbcbcbcbcaaabcaaabcbcaaabcaaabcaaab.cbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 81
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaab.cbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 78
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaabcbcbcbcbcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.cbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 77
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcabcbcbcbcbcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.cbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 76
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.cbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 71
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaabcbcbcbcbcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.cbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 70
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcabcbcbcbcbcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.cbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 69
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcbcbcbcbcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.cbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 66
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaabcbcbcbcbcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.cbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 65
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcabcbcbcbcbcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.cbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 64
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.cbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 61
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaabcbcbcbcbcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.cbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 60
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcabcbcbcbcbcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.cbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 59
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.cbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 54
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaabcbcbcbcbcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.cbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 53
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcabcbcbcbcbcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.cbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 52
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcbcbcbcbcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.cbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 49
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaabcbcbcbcbcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.cbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 48
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcabcbcbcbcbcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.cbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 47
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.cbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 44
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaabcbcbcbcbcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.cbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 43
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcabcbcbcbcbcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.cbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 42
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.cbcbcbcb
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 204
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaabcbcbcbcbcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 203
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcabcbcbcbcbcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 202
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcbcbcbcbcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 199
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaabcbcbcbcbcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 198
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcabcbcbcbcbcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 197
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 194
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaabcbcbcbcbcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 193
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcabcbcbcbcbcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 192
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 187
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaabcbcbcbcbcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 186
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcabcbcbcbcbcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 185
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcbcbcbcbcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 182
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaabcbcbcbcbcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 181
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcabcbcbcbcbcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 180
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 177
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaabcbcbcbcbcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 176
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcabcbcbcbcbcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 175
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 170
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaabcbcbcbcbcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 169
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcabcbcbcbcbcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 168
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcbcbcbcbcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 165
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaabcbcbcbcbcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 164
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcabcbcbcbcbcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 163
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 160
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaabcbcbcbcbcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 159
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcabcbcbcbcbcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 158
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 151
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaabcbcbcbcbcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 150
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcabcbcbcbcbcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 149
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcbcbcbcbcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 146
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaabcbcbcbcbcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 145
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcabcbcbcbcbcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 144
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 141
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaabcbcbcbcbcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 140
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcabcbcbcbcbcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 139
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 134
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaabcbcbcbcbcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 133
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcabcbcbcbcbcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 132
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcbcbcbcbcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 129
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaabcbcbcbcbcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 128
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcabcbcbcbcbcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 127
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 124
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaabcbcbcbcbcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 123
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcabcbcbcbcbcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 122
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 117
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaabcbcbcbcbcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 116
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcabcbcbcbcbcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 115
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcbcbcbcbcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 112
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaabcbcbcbcbcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 111
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcabcbcbcbcbcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 110
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 107
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaabcbcbcbcbcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 106
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcabcbcbcbcbcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 105
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 98
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaabcbcbcbcbcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 97
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcabcbcbcbcbcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 96
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcbcbcbcbcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 93
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaabcbcbcbcbcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 92
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcabcbcbcbcbcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 91
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 88
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaabcbcbcbcbcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 87
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcabcbcbcbcbcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 86
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 81
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaabcbcbcbcbcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 80
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcabcbcbcbcbcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 79
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcbcbcbcbcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 76
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaabcbcbcbcbcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 75
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcabcbcbcbcbcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 74
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 71
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaabcbcbcbcbcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 70
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcabcbcbcbcbcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 69
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 64
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaabcbcbcbcbcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 63
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcabcbcbcbcbcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 62
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcbcbcbcbcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 59
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaabcbcbcbcbcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 58
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcabcbcbcbcbcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 57
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 54
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaabcbcbcbcbcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 53
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcabcbcbcbcbcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.
	rule abcbcbcbcb-> bcbcbcbcbcaaab at position 52
.bcbcbcbcbcaabcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcbcaaabcaaabcaaabcbcaaabcaaabcaaabcbcaaabcaaabcaaab.