/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 1 2 2 2 2 2 2 2 -> 2 2 2 2 2 2 2 2 0 1 1 0 1 1 } Loop of length 128 starting with a string of length 59 using right expansion and the encoding { 0->a, 1->b, ... }: .abbccccccc.ccccccccccccccccccccccccccccccccccccccccccccccccc rule abbccccccc-> ccccccccabbabb at position 0 .ccccccccabbabb.ccccccccccccccccccccccccccccccccccccccccccccccccc rule abbccccccc-> ccccccccabbabb at position 11 .ccccccccabbccccccccabbabb.cccccccccccccccccccccccccccccccccccccccccc rule abbccccccc-> ccccccccabbabb at position 22 .ccccccccabbccccccccabbccccccccabbabb.ccccccccccccccccccccccccccccccccccc rule abbccccccc-> ccccccccabbabb at position 19 .ccccccccabbccccccccccccccccabbabbcabbabb.ccccccccccccccccccccccccccccccccccc rule abbccccccc-> ccccccccabbabb at position 37 .ccccccccabbccccccccccccccccabbabbcabbccccccccabbabb.cccccccccccccccccccccccccccc rule abbccccccc-> ccccccccabbabb at position 34 .ccccccccabbccccccccccccccccabbabbcccccccccabbabbcabbabb.cccccccccccccccccccccccccccc rule abbccccccc-> ccccccccabbabb at position 30 .ccccccccabbccccccccccccccccabbccccccccabbabbccabbabbcabbabb.cccccccccccccccccccccccccccc rule abbccccccc-> ccccccccabbabb at position 27 .ccccccccabbccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabb.cccccccccccccccccccccccccccc rule abbccccccc-> ccccccccabbabb at position 60 .ccccccccabbccccccccccccccccccccccccabbabbcabbabbccabbabbcabbccccccccabbabb.ccccccccccccccccccccc rule abbccccccc-> ccccccccabbabb at position 57 .ccccccccabbccccccccccccccccccccccccabbabbcabbabbccabbabbcccccccccabbabbcabbabb.ccccccccccccccccccccc rule abbccccccc-> ccccccccabbabb at position 53 .ccccccccabbccccccccccccccccccccccccabbabbcabbabbccabbccccccccabbabbccabbabbcabbabb.ccccccccccccccccccccc rule abbccccccc-> ccccccccabbabb at position 50 .ccccccccabbccccccccccccccccccccccccabbabbcabbabbccccccccccabbabbcabbabbccabbabbcabbabb.ccccccccccccccccccccc rule abbccccccc-> ccccccccabbabb at position 45 .ccccccccabbccccccccccccccccccccccccabbabbcabbccccccccabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccccccccccccccccc rule abbccccccc-> ccccccccabbabb at position 42 .ccccccccabbccccccccccccccccccccccccabbabbcccccccccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccccccccccccccccc rule abbccccccc-> ccccccccabbabb at position 38 .ccccccccabbccccccccccccccccccccccccabbccccccccabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccccccccccccccccc rule abbccccccc-> ccccccccabbabb at position 35 .ccccccccabbccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccccccccccccccccc rule abbccccccc-> ccccccccabbabb at position 99 .ccccccccabbccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbccccccccabbabb.cccccccccccccc rule abbccccccc-> ccccccccabbabb at position 96 .ccccccccabbccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcccccccccabbabbcabbabb.cccccccccccccc rule abbccccccc-> ccccccccabbabb at position 92 .ccccccccabbccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbccccccccabbabbccabbabbcabbabb.cccccccccccccc rule abbccccccc-> ccccccccabbabb at position 89 .ccccccccabbccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccccccccccabbabbcabbabbccabbabbcabbabb.cccccccccccccc rule abbccccccc-> ccccccccabbabb at position 84 .ccccccccabbccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbccccccccabbabbcccabbabbcabbabbccabbabbcabbabb.cccccccccccccc rule abbccccccc-> ccccccccabbabb at position 81 .ccccccccabbccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcccccccccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.cccccccccccccc rule abbccccccc-> ccccccccabbabb at position 77 .ccccccccabbccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbccccccccabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.cccccccccccccc rule abbccccccc-> ccccccccabbabb at position 74 .ccccccccabbccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.cccccccccccccc rule abbccccccc-> ccccccccabbabb at position 68 .ccccccccabbccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbccccccccabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.cccccccccccccc rule abbccccccc-> ccccccccabbabb at position 65 .ccccccccabbccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcccccccccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.cccccccccccccc rule abbccccccc-> ccccccccabbabb at position 61 .ccccccccabbccccccccccccccccccccccccccccccccabbabbcabbabbccabbccccccccabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.cccccccccccccc rule abbccccccc-> ccccccccabbabb at position 58 .ccccccccabbccccccccccccccccccccccccccccccccabbabbcabbabbccccccccccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.cccccccccccccc rule abbccccccc-> ccccccccabbabb at position 53 .ccccccccabbccccccccccccccccccccccccccccccccabbabbcabbccccccccabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.cccccccccccccc rule abbccccccc-> ccccccccabbabb at position 50 .ccccccccabbccccccccccccccccccccccccccccccccabbabbcccccccccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.cccccccccccccc rule abbccccccc-> ccccccccabbabb at position 46 .ccccccccabbccccccccccccccccccccccccccccccccabbccccccccabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.cccccccccccccc rule abbccccccc-> ccccccccabbabb at position 43 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.cccccccccccccc rule abbccccccc-> ccccccccabbabb at position 170 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbccccccccabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 167 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcccccccccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 163 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbccccccccabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 160 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccccccccccabbabbcabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 155 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbccccccccabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 152 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcccccccccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 148 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbccccccccabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 145 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 139 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbccccccccabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 136 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcccccccccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 132 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbccccccccabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 129 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccccccccccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 124 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbccccccccabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 121 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcccccccccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 117 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbccccccccabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 114 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 107 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbccccccccabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 104 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcccccccccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 100 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbccccccccabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 97 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccccccccccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 92 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbccccccccabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 89 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcccccccccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 85 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbccccccccabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 82 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 76 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbccccccccabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 73 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcccccccccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 69 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbccccccccabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 66 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccccccccccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 61 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcabbccccccccabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 58 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbabbcccccccccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 54 .ccccccccabbccccccccccccccccccccccccccccccccccccccccabbccccccccabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 51 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.ccccccc rule abbccccccc-> ccccccccabbabb at position 305 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbccccccccabbabb. rule abbccccccc-> ccccccccabbabb at position 302 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcccccccccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 298 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbccccccccabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 295 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccccccccccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 290 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbccccccccabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 287 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcccccccccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 283 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbccccccccabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 280 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 274 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbccccccccabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 271 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcccccccccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 267 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbccccccccabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 264 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccccccccccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 259 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbccccccccabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 256 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcccccccccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 252 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbccccccccabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 249 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 242 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbccccccccabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 239 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcccccccccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 235 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbccccccccabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 232 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccccccccccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 227 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbccccccccabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 224 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcccccccccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 220 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbccccccccabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 217 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 211 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbccccccccabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 208 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcccccccccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 204 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbccccccccabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 201 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccccccccccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 196 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbccccccccabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 193 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcccccccccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 189 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbccccccccabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 186 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 178 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbccccccccabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 175 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcccccccccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 171 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbccccccccabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 168 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccccccccccabbabbcabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 163 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbccccccccabbabbcccabbabbcabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 160 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcccccccccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 156 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbccccccccabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 153 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 147 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbccccccccabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 144 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcccccccccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 140 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbccccccccabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 137 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccccccccccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 132 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbccccccccabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 129 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcccccccccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 125 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbccccccccabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 122 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 115 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbccccccccabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 112 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcccccccccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 108 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbccccccccabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 105 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccccccccccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 100 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbccccccccabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 97 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcccccccccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 93 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbccccccccabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 90 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 84 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbccccccccabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 81 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcccccccccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 77 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbccccccccabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 74 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccccccccccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 69 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbccccccccabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 66 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbabbcccccccccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 62 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccabbccccccccabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb. rule abbccccccc-> ccccccccabbabb at position 59 .ccccccccabbccccccccccccccccccccccccccccccccccccccccccccccccccccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbcccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabbccccabbabbcabbabbccabbabbcabbabbcccabbabbcabbabbccabbabbcabbabb.