/export/starexec/sandbox2/solver/bin/starexec_run_default /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files -------------------------------------------------------------------------------- NO After renaming modulo { b->0, c->1, a->2 }, it remains to prove termination of the 1-rule system { 0 1 0 2 2 2 2 2 2 2 -> 2 2 2 2 2 2 2 2 0 1 0 0 1 0 } Loop of length 128 starting with a string of length 59 using right expansion and the encoding { 0->a, 1->b, ... }: .abaccccccc.ccccccccccccccccccccccccccccccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 0 .ccccccccabaaba.ccccccccccccccccccccccccccccccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 11 .ccccccccabaccccccccabaaba.cccccccccccccccccccccccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 22 .ccccccccabaccccccccabaccccccccabaaba.ccccccccccccccccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 19 .ccccccccabaccccccccccccccccabaabacabaaba.ccccccccccccccccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 37 .ccccccccabaccccccccccccccccabaabacabaccccccccabaaba.cccccccccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 34 .ccccccccabaccccccccccccccccabaabacccccccccabaabacabaaba.cccccccccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 30 .ccccccccabaccccccccccccccccabaccccccccabaabaccabaabacabaaba.cccccccccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 27 .ccccccccabaccccccccccccccccccccccccabaabacabaabaccabaabacabaaba.cccccccccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 60 .ccccccccabaccccccccccccccccccccccccabaabacabaabaccabaabacabaccccccccabaaba.ccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 57 .ccccccccabaccccccccccccccccccccccccabaabacabaabaccabaabacccccccccabaabacabaaba.ccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 53 .ccccccccabaccccccccccccccccccccccccabaabacabaabaccabaccccccccabaabaccabaabacabaaba.ccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 50 .ccccccccabaccccccccccccccccccccccccabaabacabaabaccccccccccabaabacabaabaccabaabacabaaba.ccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 45 .ccccccccabaccccccccccccccccccccccccabaabacabaccccccccabaabacccabaabacabaabaccabaabacabaaba.ccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 42 .ccccccccabaccccccccccccccccccccccccabaabacccccccccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 38 .ccccccccabaccccccccccccccccccccccccabaccccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 35 .ccccccccabaccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccccccccccccccccc rule abaccccccc-> ccccccccabaaba at position 99 .ccccccccabaccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaccccccccabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 96 .ccccccccabaccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacccccccccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 92 .ccccccccabaccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaccccccccabaabaccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 89 .ccccccccabaccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccccccccccabaabacabaabaccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 84 .ccccccccabaccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaccccccccabaabacccabaabacabaabaccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 81 .ccccccccabaccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacccccccccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 77 .ccccccccabaccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaccccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 74 .ccccccccabaccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 68 .ccccccccabaccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaccccccccabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 65 .ccccccccabaccccccccccccccccccccccccccccccccabaabacabaabaccabaabacccccccccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 61 .ccccccccabaccccccccccccccccccccccccccccccccabaabacabaabaccabaccccccccabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 58 .ccccccccabaccccccccccccccccccccccccccccccccabaabacabaabaccccccccccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 53 .ccccccccabaccccccccccccccccccccccccccccccccabaabacabaccccccccabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 50 .ccccccccabaccccccccccccccccccccccccccccccccabaabacccccccccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 46 .ccccccccabaccccccccccccccccccccccccccccccccabaccccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 43 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.cccccccccccccc rule abaccccccc-> ccccccccabaaba at position 170 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaccccccccabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 167 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacccccccccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 163 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaccccccccabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 160 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccccccccccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 155 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaccccccccabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 152 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacccccccccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 148 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaccccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 145 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 139 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaccccccccabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 136 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacccccccccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 132 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaccccccccabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 129 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccccccccccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 124 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaccccccccabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 121 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacccccccccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 117 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaccccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 114 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 107 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaccccccccabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 104 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacccccccccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 100 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaccccccccabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 97 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccccccccccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 92 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaccccccccabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 89 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacccccccccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 85 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaccccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 82 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 76 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaccccccccabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 73 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacccccccccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 69 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaccccccccabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 66 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaabaccccccccccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 61 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacabaccccccccabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 58 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaabacccccccccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 54 .ccccccccabaccccccccccccccccccccccccccccccccccccccccabaccccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 51 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.ccccccc rule abaccccccc-> ccccccccabaaba at position 305 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaccccccccabaaba. rule abaccccccc-> ccccccccabaaba at position 302 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacccccccccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 298 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaccccccccabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 295 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccccccccccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 290 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaccccccccabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 287 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacccccccccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 283 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaccccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 280 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 274 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaccccccccabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 271 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacccccccccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 267 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaccccccccabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 264 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccccccccccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 259 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaccccccccabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 256 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacccccccccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 252 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaccccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 249 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 242 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaccccccccabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 239 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacccccccccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 235 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaccccccccabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 232 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccccccccccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 227 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaccccccccabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 224 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacccccccccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 220 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaccccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 217 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 211 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaccccccccabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 208 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacccccccccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 204 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaccccccccabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 201 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccccccccccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 196 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaccccccccabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 193 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacccccccccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 189 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaccccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 186 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 178 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaccccccccabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 175 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacccccccccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 171 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaccccccccabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 168 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccccccccccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 163 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaccccccccabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 160 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacccccccccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 156 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaccccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 153 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 147 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaccccccccabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 144 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacccccccccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 140 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaccccccccabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 137 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccccccccccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 132 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaccccccccabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 129 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacccccccccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 125 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaccccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 122 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 115 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaccccccccabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 112 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacccccccccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 108 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaccccccccabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 105 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccccccccccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 100 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaccccccccabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 97 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacccccccccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 93 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaccccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 90 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 84 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaccccccccabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 81 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacccccccccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 77 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaccccccccabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 74 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccccccccccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 69 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaccccccccabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 66 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaabacccccccccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 62 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccabaccccccccabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba. rule abaccccccc-> ccccccccabaaba at position 59 .ccccccccabaccccccccccccccccccccccccccccccccccccccccccccccccccccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabacccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaabaccccabaabacabaabaccabaabacabaabacccabaabacabaabaccabaabacabaaba.