{
  "class_masks_width3": {
    "a": [
      3,
      3
    ],
    "b": [
      6,
      0
    ],
    "x": [
      0,
      1
    ]
  },
  "class_trace": [
    {
      "char": "a",
      "end": 1,
      "match": null,
      "words": [
        1,
        0
      ]
    },
    {
      "char": "a",
      "end": 2,
      "match": null,
      "words": [
        3,
        0
      ]
    },
    {
      "char": "b",
      "end": 3,
      "match": null,
      "words": [
        6,
        0
      ]
    },
    {
      "char": "x",
      "end": 4,
      "match": null,
      "words": [
        0,
        1
      ]
    },
    {
      "char": "a",
      "end": 5,
      "match": 5,
      "words": [
        1,
        2
      ]
    },
    {
      "char": "a",
      "end": 6,
      "match": null,
      "words": [
        3,
        0
      ]
    },
    {
      "char": "b",
      "end": 7,
      "match": null,
      "words": [
        6,
        0
      ]
    },
    {
      "char": "y",
      "end": 8,
      "match": null,
      "words": [
        0,
        1
      ]
    },
    {
      "char": "a",
      "end": 9,
      "match": 9,
      "words": [
        1,
        2
      ]
    }
  ],
  "counts": {
    "carry_inputs": 5460,
    "cell_inputs": 18,
    "chunk_checks": 1200,
    "class_cases": 64449,
    "class_states": 263934,
    "edit_cases": 47628,
    "edit_columns": 292506,
    "random_cases": 600,
    "refusals": 39
  },
  "edit_trace": {
    "global": [
      {
        "column": [
          0,
          1,
          2,
          3,
          4,
          5
        ],
        "end": 0,
        "mv": [
          0,
          0
        ],
        "pv": [
          7,
          3
        ],
        "score": 5
      },
      {
        "char": "z",
        "column": [
          1,
          1,
          2,
          3,
          4,
          5
        ],
        "detail": {
          "add_carry_out": [
            0,
            0
          ],
          "delta": 0,
          "eq": [
            0,
            0
          ],
          "mh": [
            0,
            0
          ],
          "mh_shift": [
            0,
            0
          ],
          "mv": [
            0,
            0
          ],
          "ph": [
            0,
            0
          ],
          "ph_shift": [
            1,
            0
          ],
          "pv": [
            6,
            3
          ],
          "xh": [
            0,
            0
          ],
          "xv": [
            0,
            0
          ]
        },
        "end": 1,
        "score": 5
      },
      {
        "char": "z",
        "column": [
          2,
          2,
          2,
          3,
          4,
          5
        ],
        "detail": {
          "add_carry_out": [
            0,
            0
          ],
          "delta": 0,
          "eq": [
            0,
            0
          ],
          "mh": [
            0,
            0
          ],
          "mh_shift": [
            0,
            0
          ],
          "mv": [
            0,
            0
          ],
          "ph": [
            1,
            0
          ],
          "ph_shift": [
            3,
            0
          ],
          "pv": [
            4,
            3
          ],
          "xh": [
            0,
            0
          ],
          "xv": [
            0,
            0
          ]
        },
        "end": 2,
        "score": 5
      },
      {
        "char": "a",
        "column": [
          3,
          2,
          3,
          2,
          3,
          4
        ],
        "detail": {
          "add_carry_out": [
            1,
            0
          ],
          "delta": -1,
          "eq": [
            5,
            2
          ],
          "mh": [
            4,
            3
          ],
          "mh_shift": [
            0,
            3
          ],
          "mv": [
            5,
            0
          ],
          "ph": [
            2,
            0
          ],
          "ph_shift": [
            5,
            0
          ],
          "pv": [
            2,
            3
          ],
          "xh": [
            5,
            3
          ],
          "xv": [
            5,
            2
          ]
        },
        "end": 3,
        "score": 4
      },
      {
        "char": "b",
        "column": [
          4,
          3,
          2,
          3,
          2,
          3
        ],
        "detail": {
          "add_carry_out": [
            0,
            0
          ],
          "delta": -1,
          "eq": [
            2,
            1
          ],
          "mh": [
            2,
            3
          ],
          "mh_shift": [
            4,
            2
          ],
          "mv": [
            3,
            1
          ],
          "ph": [
            5,
            0
          ],
          "ph_shift": [
            3,
            1
          ],
          "pv": [
            4,
            2
          ],
          "xh": [
            6,
            3
          ],
          "xv": [
            7,
            1
          ]
        },
        "end": 4,
        "score": 3
      },
      {
        "char": "a",
        "column": [
          5,
          4,
          3,
          2,
          3,
          2
        ],
        "detail": {
          "add_carry_out": [
            1,
            0
          ],
          "delta": -1,
          "eq": [
            5,
            2
          ],
          "mh": [
            4,
            2
          ],
          "mh_shift": [
            0,
            1
          ],
          "mv": [
            7,
            2
          ],
          "ph": [
            3,
            1
          ],
          "ph_shift": [
            7,
            2
          ],
          "pv": [
            0,
            1
          ],
          "xh": [
            5,
            3
          ],
          "xv": [
            7,
            3
          ]
        },
        "end": 5,
        "score": 2
      },
      {
        "char": "b",
        "column": [
          6,
          5,
          4,
          3,
          2,
          3
        ],
        "detail": {
          "add_carry_out": [
            0,
            0
          ],
          "delta": 1,
          "eq": [
            2,
            1
          ],
          "mh": [
            0,
            1
          ],
          "mh_shift": [
            0,
            2
          ],
          "mv": [
            7,
            1
          ],
          "ph": [
            7,
            2
          ],
          "ph_shift": [
            7,
            1
          ],
          "pv": [
            0,
            2
          ],
          "xh": [
            2,
            3
          ],
          "xv": [
            7,
            3
          ]
        },
        "end": 6,
        "score": 3
      },
      {
        "char": "a",
        "column": [
          7,
          6,
          5,
          4,
          3,
          2
        ],
        "detail": {
          "add_carry_out": [
            0,
            0
          ],
          "delta": -1,
          "eq": [
            5,
            2
          ],
          "mh": [
            0,
            2
          ],
          "mh_shift": [
            0,
            0
          ],
          "mv": [
            7,
            3
          ],
          "ph": [
            7,
            1
          ],
          "ph_shift": [
            7,
            3
          ],
          "pv": [
            0,
            0
          ],
          "xh": [
            5,
            2
          ],
          "xv": [
            7,
            3
          ]
        },
        "end": 7,
        "score": 2
      }
    ],
    "infix": [
      {
        "column": [
          0,
          1,
          2,
          3,
          4,
          5
        ],
        "end": 0,
        "mv": [
          0,
          0
        ],
        "pv": [
          7,
          3
        ],
        "score": 5
      },
      {
        "char": "z",
        "column": [
          0,
          1,
          2,
          3,
          4,
          5
        ],
        "detail": {
          "add_carry_out": [
            0,
            0
          ],
          "delta": 0,
          "eq": [
            0,
            0
          ],
          "mh": [
            0,
            0
          ],
          "mh_shift": [
            0,
            0
          ],
          "mv": [
            0,
            0
          ],
          "ph": [
            0,
            0
          ],
          "ph_shift": [
            0,
            0
          ],
          "pv": [
            7,
            3
          ],
          "xh": [
            0,
            0
          ],
          "xv": [
            0,
            0
          ]
        },
        "end": 1,
        "score": 5
      },
      {
        "char": "z",
        "column": [
          0,
          1,
          2,
          3,
          4,
          5
        ],
        "detail": {
          "add_carry_out": [
            0,
            0
          ],
          "delta": 0,
          "eq": [
            0,
            0
          ],
          "mh": [
            0,
            0
          ],
          "mh_shift": [
            0,
            0
          ],
          "mv": [
            0,
            0
          ],
          "ph": [
            0,
            0
          ],
          "ph_shift": [
            0,
            0
          ],
          "pv": [
            7,
            3
          ],
          "xh": [
            0,
            0
          ],
          "xv": [
            0,
            0
          ]
        },
        "end": 2,
        "score": 5
      },
      {
        "char": "a",
        "column": [
          0,
          0,
          1,
          2,
          3,
          4
        ],
        "detail": {
          "add_carry_out": [
            1,
            0
          ],
          "delta": -1,
          "eq": [
            5,
            2
          ],
          "mh": [
            7,
            3
          ],
          "mh_shift": [
            6,
            3
          ],
          "mv": [
            0,
            0
          ],
          "ph": [
            0,
            0
          ],
          "ph_shift": [
            0,
            0
          ],
          "pv": [
            6,
            3
          ],
          "xh": [
            7,
            3
          ],
          "xv": [
            5,
            2
          ]
        },
        "end": 3,
        "score": 4
      },
      {
        "char": "b",
        "column": [
          0,
          1,
          0,
          1,
          2,
          3
        ],
        "detail": {
          "add_carry_out": [
            1,
            0
          ],
          "delta": -1,
          "eq": [
            2,
            1
          ],
          "mh": [
            6,
            3
          ],
          "mh_shift": [
            4,
            3
          ],
          "mv": [
            2,
            0
          ],
          "ph": [
            1,
            0
          ],
          "ph_shift": [
            2,
            0
          ],
          "pv": [
            5,
            3
          ],
          "xh": [
            6,
            3
          ],
          "xv": [
            2,
            1
          ]
        },
        "end": 4,
        "score": 3
      },
      {
        "char": "a",
        "column": [
          0,
          0,
          1,
          0,
          1,
          2
        ],
        "detail": {
          "add_carry_out": [
            1,
            0
          ],
          "delta": -1,
          "eq": [
            5,
            2
          ],
          "mh": [
            5,
            3
          ],
          "mh_shift": [
            2,
            3
          ],
          "mv": [
            4,
            0
          ],
          "ph": [
            2,
            0
          ],
          "ph_shift": [
            4,
            0
          ],
          "pv": [
            2,
            3
          ],
          "xh": [
            7,
            3
          ],
          "xv": [
            7,
            2
          ]
        },
        "end": 5,
        "score": 2
      },
      {
        "char": "b",
        "column": [
          0,
          1,
          0,
          1,
          0,
          1
        ],
        "detail": {
          "add_carry_out": [
            0,
            0
          ],
          "delta": -1,
          "eq": [
            2,
            1
          ],
          "mh": [
            2,
            3
          ],
          "mh_shift": [
            4,
            2
          ],
          "mv": [
            2,
            1
          ],
          "ph": [
            5,
            0
          ],
          "ph_shift": [
            2,
            1
          ],
          "pv": [
            5,
            2
          ],
          "xh": [
            6,
            3
          ],
          "xv": [
            6,
            1
          ]
        },
        "end": 6,
        "score": 1
      },
      {
        "char": "a",
        "column": [
          0,
          0,
          1,
          0,
          1,
          0
        ],
        "detail": {
          "add_carry_out": [
            1,
            0
          ],
          "delta": -1,
          "eq": [
            5,
            2
          ],
          "mh": [
            5,
            2
          ],
          "mh_shift": [
            2,
            1
          ],
          "mv": [
            4,
            2
          ],
          "ph": [
            2,
            1
          ],
          "ph_shift": [
            4,
            2
          ],
          "pv": [
            2,
            1
          ],
          "xh": [
            7,
            3
          ],
          "xv": [
            7,
            3
          ]
        },
        "end": 7,
        "score": 0
      }
    ]
  },
  "mutant_witnesses": {
    "class_compatibility_border": {
      "correct_endpoints": [
        2
      ],
      "pattern": "a[ab]",
      "text": "aba",
      "wrong_endpoints": [
        2,
        3
      ]
    },
    "no_addition_carry": {
      "correct_score": 3,
      "pattern": "abbb",
      "text": "a",
      "width": 3,
      "wrong_score": 4
    },
    "no_restart": {
      "correct_endpoints": [
        1
      ],
      "pattern": "a",
      "text": "a",
      "wrong_endpoints": []
    },
    "no_word_shift_carry": {
      "correct_endpoints": [
        4
      ],
      "pattern": "aaaa",
      "text": "aaaa",
      "width": 3,
      "wrong_endpoints": []
    },
    "wrong_top_boundary": {
      "global_score": 1,
      "infix_score": 0,
      "pattern": "a",
      "text": "ba"
    }
  },
  "status": "PASS"
}