/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 0 1 2 2 2 2 2 2 2 ⟶ 2 2 2 2 2 2 2 2 0 0 1 0 0 1 }

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

.aabccccccc.ccccccccccccccccccccccccccccccccccccccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 0
.ccccccccaabaab.ccccccccccccccccccccccccccccccccccccccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 11
.ccccccccaabccccccccaabaab.cccccccccccccccccccccccccccccccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 22
.ccccccccaabccccccccaabccccccccaabaab.ccccccccccccccccccccccccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 19
.ccccccccaabccccccccccccccccaabaabcaabaab.ccccccccccccccccccccccccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 37
.ccccccccaabccccccccccccccccaabaabcaabccccccccaabaab.cccccccccccccccccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 34
.ccccccccaabccccccccccccccccaabaabcccccccccaabaabcaabaab.cccccccccccccccccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 30
.ccccccccaabccccccccccccccccaabccccccccaabaabccaabaabcaabaab.cccccccccccccccccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 27
.ccccccccaabccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaab.cccccccccccccccccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 60
.ccccccccaabccccccccccccccccccccccccaabaabcaabaabccaabaabcaabccccccccaabaab.ccccccccccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 57
.ccccccccaabccccccccccccccccccccccccaabaabcaabaabccaabaabcccccccccaabaabcaabaab.ccccccccccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 53
.ccccccccaabccccccccccccccccccccccccaabaabcaabaabccaabccccccccaabaabccaabaabcaabaab.ccccccccccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 50
.ccccccccaabccccccccccccccccccccccccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaab.ccccccccccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 45
.ccccccccaabccccccccccccccccccccccccaabaabcaabccccccccaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccccccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 42
.ccccccccaabccccccccccccccccccccccccaabaabcccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccccccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 38
.ccccccccaabccccccccccccccccccccccccaabccccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccccccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 35
.ccccccccaabccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccccccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 99
.ccccccccaabccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabccccccccaabaab.cccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 96
.ccccccccaabccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcccccccccaabaabcaabaab.cccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 92
.ccccccccaabccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabccccccccaabaabccaabaabcaabaab.cccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 89
.ccccccccaabccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaab.cccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 84
.ccccccccaabccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabccccccccaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 81
.ccccccccaabccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 77
.ccccccccaabccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabccccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 74
.ccccccccaabccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 68
.ccccccccaabccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabccccccccaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 65
.ccccccccaabccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcccccccccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 61
.ccccccccaabccccccccccccccccccccccccccccccccaabaabcaabaabccaabccccccccaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 58
.ccccccccaabccccccccccccccccccccccccccccccccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 53
.ccccccccaabccccccccccccccccccccccccccccccccaabaabcaabccccccccaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 50
.ccccccccaabccccccccccccccccccccccccccccccccaabaabcccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 46
.ccccccccaabccccccccccccccccccccccccccccccccaabccccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 43
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.cccccccccccccc
	rule aabccccccc-> ccccccccaabaab at position 170
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabccccccccaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 167
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcccccccccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 163
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabccccccccaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 160
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 155
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabccccccccaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 152
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 148
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabccccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 145
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 139
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabccccccccaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 136
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcccccccccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 132
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabccccccccaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 129
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 124
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabccccccccaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 121
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 117
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabccccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 114
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 107
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabccccccccaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 104
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcccccccccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 100
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabccccccccaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 97
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 92
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabccccccccaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 89
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 85
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabccccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 82
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 76
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabccccccccaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 73
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcccccccccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 69
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabccccccccaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 66
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 61
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcaabccccccccaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 58
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabaabcccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 54
.ccccccccaabccccccccccccccccccccccccccccccccccccccccaabccccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 51
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.ccccccc
	rule aabccccccc-> ccccccccaabaab at position 305
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabccccccccaabaab.
	rule aabccccccc-> ccccccccaabaab at position 302
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcccccccccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 298
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabccccccccaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 295
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 290
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabccccccccaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 287
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 283
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabccccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 280
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 274
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabccccccccaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 271
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcccccccccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 267
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabccccccccaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 264
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 259
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabccccccccaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 256
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 252
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabccccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 249
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 242
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabccccccccaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 239
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcccccccccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 235
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabccccccccaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 232
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 227
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabccccccccaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 224
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 220
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabccccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 217
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 211
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabccccccccaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 208
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcccccccccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 204
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabccccccccaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 201
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 196
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabccccccccaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 193
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 189
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabccccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 186
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 178
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabccccccccaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 175
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcccccccccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 171
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabccccccccaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 168
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 163
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabccccccccaabaabcccaabaabcaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 160
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 156
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabccccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 153
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 147
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabccccccccaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 144
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcccccccccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 140
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabccccccccaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 137
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 132
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabccccccccaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 129
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 125
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabccccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 122
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 115
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabccccccccaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 112
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcccccccccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 108
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabccccccccaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 105
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 100
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabccccccccaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 97
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 93
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabccccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 90
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 84
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabccccccccaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 81
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcccccccccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 77
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabccccccccaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 74
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccccccccccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 69
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabccccccccaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 66
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabaabcccccccccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 62
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccaabccccccccaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.
	rule aabccccccc-> ccccccccaabaab at position 59
.ccccccccaabccccccccccccccccccccccccccccccccccccccccccccccccccccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabcccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaabccccaabaabcaabaabccaabaabcaabaabcccaabaabcaabaabccaabaabcaabaab.