/export/starexec/sandbox/solver/bin/starexec_run_default /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- NO After renaming modulo the bijection { a ↦ 0, b ↦ 1 }, it remains to prove termination of the 1-rule system { 0 1 0 0 0 0 0 0 0 0 ⟶ 0 0 0 0 0 0 0 0 0 0 1 0 1 } Loop of length 128 starting with a string of length 66 using right expansion and the encoding { 0 ↦ a, 1 ↦ b, ... }: .abaaaaaaaa.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 0 .aaaaaaaaaabab.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 11 .aaaaaaaaaabaaaaaaaaaabab.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 22 .aaaaaaaaaabaaaaaaaaaabaaaaaaaaaabab.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 20 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaababaabab.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 36 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaababaabaaaaaaaaaabab.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 34 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaababaaaaaaaaaaababaabab.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 31 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaabaaaaaaaaaababaaababaabab.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 29 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaabab.aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 56 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaabaaaaaaaaaabab.aaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 54 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaaaaaaaaaaababaabab.aaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 51 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaabaaaaaaaaaababaaababaabab.aaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 49 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaaaaaaaaaaababaababaaababaabab.aaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 45 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaababaabaaaaaaaaaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 43 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaababaaaaaaaaaaababaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 40 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaabaaaaaaaaaababaaababaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 38 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 88 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaabaaaaaaaaaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 86 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaaaaaaaaaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 83 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaabaaaaaaaaaababaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 81 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaaaaaaaaaaababaababaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 77 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaabaaaaaaaaaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 75 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaaaaaaaaaaababaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 72 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaabaaaaaaaaaababaaababaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 70 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 65 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaabaaaaaaaaaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 63 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaaaaaaaaaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 60 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaabaaaaaaaaaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 58 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaaaaaaaaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 54 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaabaaaaaaaaaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 52 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaaaaaaaaaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 49 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaaaaaaaaaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 47 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaaaaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 144 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabaaaaaaaaaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 142 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaaaaaaaaaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 139 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaabaaaaaaaaaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 137 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaaaaaaaaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 133 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaabaaaaaaaaaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 131 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaaaaaaaaaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 128 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaabaaaaaaaaaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 126 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 121 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaabaaaaaaaaaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 119 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaaaaaaaaaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 116 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaabaaaaaaaaaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 114 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaaaaaaaaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 110 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaabaaaaaaaaaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 108 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaaaaaaaaaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 105 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaabaaaaaaaaaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 103 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 97 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaabaaaaaaaaaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 95 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaaaaaaaaaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 92 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaabaaaaaaaaaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 90 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaaaaaaaaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 86 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaabaaaaaaaaaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 84 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaaaaaaaaaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 81 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaabaaaaaaaaaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 79 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 74 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaabaaaaaaaaaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 72 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaaaaaaaaaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 69 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaabaaaaaaaaaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 67 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaaaaaaaaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 63 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaabaaaaaaaaaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 61 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaaaaaaaaaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 58 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaaaaaaaaaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 56 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.aaaaaaaa rule abaaaaaaaa-> aaaaaaaaaabab at position 248 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabaaaaaaaaaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 246 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaaaaaaaaaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 243 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaabaaaaaaaaaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 241 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaaaaaaaaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 237 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaabaaaaaaaaaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 235 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaaaaaaaaaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 232 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaabaaaaaaaaaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 230 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 225 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaabaaaaaaaaaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 223 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaaaaaaaaaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 220 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaabaaaaaaaaaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 218 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaaaaaaaaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 214 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaabaaaaaaaaaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 212 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaaaaaaaaaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 209 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaabaaaaaaaaaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 207 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 201 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaabaaaaaaaaaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 199 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaaaaaaaaaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 196 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaabaaaaaaaaaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 194 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaaaaaaaaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 190 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaabaaaaaaaaaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 188 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaaaaaaaaaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 185 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaabaaaaaaaaaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 183 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 178 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaabaaaaaaaaaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 176 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaaaaaaaaaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 173 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaabaaaaaaaaaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 171 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaaaaaaaaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 167 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaabaaaaaaaaaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 165 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaaaaaaaaaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 162 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaabaaaaaaaaaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 160 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 153 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabaaaaaaaaaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 151 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaaaaaaaaaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 148 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaabaaaaaaaaaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 146 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaaaaaaaaaaababaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 142 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaabaaaaaaaaaababaaaababaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 140 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaaaaaaaaaaababaababaaaababaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 137 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaabaaaaaaaaaababaaababaababaaaababaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 135 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 130 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaabaaaaaaaaaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 128 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaaaaaaaaaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 125 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaabaaaaaaaaaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 123 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaaaaaaaaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 119 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaabaaaaaaaaaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 117 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaaaaaaaaaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 114 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaabaaaaaaaaaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 112 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 106 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaabaaaaaaaaaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 104 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaaaaaaaaaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 101 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaabaaaaaaaaaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 99 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaaaaaaaaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 95 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaabaaaaaaaaaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 93 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaaaaaaaaaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 90 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaabaaaaaaaaaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 88 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 83 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaabaaaaaaaaaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 81 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaaaaaaaaaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 78 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaabaaaaaaaaaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 76 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaaaaaaaaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 72 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaabaaaaaaaaaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 70 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaaaaaaaaaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 67 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaabaaaaaaaaaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab. rule abaaaaaaaa-> aaaaaaaaaabab at position 65 .aaaaaaaaaabaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaababaaaaaababaababaaababaababaaaababaababaaababaababaaaaababaababaaababaababaaaababaababaaababaabab.