{
  "edit": {
    "hirschberg_script_same_input": [
      [
        "=",
        "C",
        "C"
      ],
      [
        "=",
        "A",
        "A"
      ],
      [
        "D",
        "C",
        ""
      ],
      [
        "=",
        "T",
        "T"
      ],
      [
        "I",
        "",
        "C"
      ],
      [
        "=",
        "U",
        "U"
      ],
      [
        "=",
        "S",
        "S"
      ]
    ],
    "source": "CACTUS",
    "target": "CATCUS",
    "table": [
      [
        0,
        1,
        2,
        3,
        4,
        5,
        6
      ],
      [
        1,
        0,
        1,
        2,
        3,
        4,
        5
      ],
      [
        2,
        1,
        0,
        1,
        2,
        3,
        4
      ],
      [
        3,
        2,
        1,
        1,
        1,
        2,
        3
      ],
      [
        4,
        3,
        2,
        1,
        2,
        2,
        3
      ],
      [
        5,
        4,
        3,
        2,
        2,
        2,
        3
      ],
      [
        6,
        5,
        4,
        3,
        3,
        3,
        2
      ]
    ],
    "script": [
      [
        "=",
        "C",
        "C"
      ],
      [
        "=",
        "A",
        "A"
      ],
      [
        "S",
        "C",
        "T"
      ],
      [
        "S",
        "T",
        "C"
      ],
      [
        "=",
        "U",
        "U"
      ],
      [
        "=",
        "S",
        "S"
      ]
    ],
    "distance": 2
  },
  "hirschberg": {
    "source": "CABACDA",
    "target": "ABCDA",
    "script": [
      [
        "D",
        "C",
        ""
      ],
      [
        "=",
        "A",
        "A"
      ],
      [
        "=",
        "B",
        "B"
      ],
      [
        "D",
        "A",
        ""
      ],
      [
        "=",
        "C",
        "C"
      ],
      [
        "=",
        "D",
        "D"
      ],
      [
        "=",
        "A",
        "A"
      ]
    ],
    "distance": 2,
    "splits": [
      {
        "A": [
          0,
          7
        ],
        "B": [
          0,
          5
        ],
        "middle": 3,
        "forward": [
          3,
          2,
          1,
          2,
          3,
          4
        ],
        "reverse_indexed": [
          1,
          1,
          1,
          2,
          3,
          4
        ],
        "sum": [
          4,
          3,
          2,
          4,
          6,
          8
        ],
        "split": 2
      },
      {
        "A": [
          0,
          3
        ],
        "B": [
          0,
          2
        ],
        "middle": 1,
        "forward": [
          1,
          1,
          2
        ],
        "reverse_indexed": [
          0,
          1,
          2
        ],
        "sum": [
          1,
          2,
          4
        ],
        "split": 0
      },
      {
        "A": [
          1,
          3
        ],
        "B": [
          0,
          2
        ],
        "middle": 2,
        "forward": [
          1,
          0,
          1
        ],
        "reverse_indexed": [
          1,
          0,
          1
        ],
        "sum": [
          2,
          0,
          2
        ],
        "split": 1
      },
      {
        "A": [
          3,
          7
        ],
        "B": [
          2,
          5
        ],
        "middle": 5,
        "forward": [
          2,
          1,
          2,
          3
        ],
        "reverse_indexed": [
          1,
          0,
          1,
          2
        ],
        "sum": [
          3,
          1,
          3,
          5
        ],
        "split": 3
      },
      {
        "A": [
          5,
          7
        ],
        "B": [
          3,
          5
        ],
        "middle": 6,
        "forward": [
          1,
          0,
          1
        ],
        "reverse_indexed": [
          1,
          0,
          1
        ],
        "sum": [
          2,
          0,
          2
        ],
        "split": 4
      }
    ],
    "resources": {
      "DP_work_array_cells_bound_excluding_optional_trace": 18,
      "max_recursion_depth": 3,
      "DP_cells_computed_above_base": 61,
      "swapped_to_use_shorter_width": false
    }
  },
  "myers": {
    "source": "ABCDA",
    "target": "BACDEA",
    "distance": 3,
    "script": [
      [
        "I",
        "",
        "B"
      ],
      [
        "=",
        "A",
        "A"
      ],
      [
        "D",
        "B",
        ""
      ],
      [
        "=",
        "C",
        "C"
      ],
      [
        "=",
        "D",
        "D"
      ],
      [
        "I",
        "",
        "E"
      ],
      [
        "=",
        "A",
        "A"
      ]
    ],
    "frontiers": [
      {
        "0": 0
      },
      {
        "-1": 1,
        "1": 2
      },
      {
        "-2": 1,
        "0": 4,
        "2": 3
      },
      {
        "-3": 1,
        "-1": 5
      }
    ],
    "choices": [
      {
        "0": {
          "previous_diagonal": null,
          "operation": null,
          "snake_start": [
            0,
            0
          ],
          "end": [
            0,
            0
          ]
        }
      },
      {
        "-1": {
          "previous_diagonal": 0,
          "operation": "I",
          "snake_start": [
            0,
            1
          ],
          "end": [
            1,
            2
          ]
        },
        "1": {
          "previous_diagonal": 0,
          "operation": "D",
          "snake_start": [
            1,
            0
          ],
          "end": [
            2,
            1
          ]
        }
      },
      {
        "-2": {
          "previous_diagonal": -1,
          "operation": "I",
          "snake_start": [
            1,
            3
          ],
          "end": [
            1,
            3
          ]
        },
        "0": {
          "previous_diagonal": -1,
          "operation": "D",
          "snake_start": [
            2,
            2
          ],
          "end": [
            4,
            4
          ]
        },
        "2": {
          "previous_diagonal": 1,
          "operation": "D",
          "snake_start": [
            3,
            1
          ],
          "end": [
            3,
            1
          ]
        }
      },
      {
        "-3": {
          "previous_diagonal": -2,
          "operation": "I",
          "snake_start": [
            1,
            4
          ],
          "end": [
            1,
            4
          ]
        },
        "-1": {
          "previous_diagonal": 0,
          "operation": "I",
          "snake_start": [
            4,
            5
          ],
          "end": [
            5,
            6
          ]
        }
      }
    ]
  },
  "myers_boundary_pruning": {
    "source": "ab",
    "target": "baaa",
    "frontiers": [
      {
        "0": 0
      },
      {
        "-1": 1,
        "1": 2
      },
      {
        "-2": 1,
        "0": 2
      },
      {
        "-3": 1,
        "-1": 2
      },
      {
        "-2": 2
      }
    ],
    "distance": 4,
    "omitted_reachable_point": [
      2,
      0
    ],
    "reason": "A shorter exact-layer state exists but its completion costs two more edits than the retained boundary path."
  },
  "myers_retirement": [
    {
      "source": "abbaaa",
      "target": "bba",
      "distance": 3,
      "retained_states": 8,
      "disjoint_same_diagonal_scans": true
    },
    {
      "source": "abbabb",
      "target": "bbaa",
      "distance": 4,
      "retained_states": 12,
      "disjoint_same_diagonal_scans": true
    },
    {
      "source": "",
      "target": "",
      "distance": 0,
      "retained_states": 1,
      "disjoint_same_diagonal_scans": true
    },
    {
      "source": "",
      "target": "AB",
      "distance": 2,
      "retained_states": 3,
      "disjoint_same_diagonal_scans": true
    },
    {
      "source": "AB",
      "target": "",
      "distance": 2,
      "retained_states": 3,
      "disjoint_same_diagonal_scans": true
    }
  ],
  "matrix_boundaries": {
    "monge_squared_distance": [
      [
        1,
        1,
        16,
        36
      ],
      [
        9,
        1,
        4,
        16
      ],
      [
        36,
        16,
        1,
        1
      ]
    ],
    "ordinary_monotone_not_total": [
      [
        0,
        3,
        1
      ],
      [
        0,
        1,
        3
      ]
    ],
    "total_not_monge": [
      [
        0,
        2
      ],
      [
        1,
        4
      ]
    ],
    "leftmost_tie_counterexample_to_weak_implication": [
      [
        0,
        0
      ],
      [
        0,
        1
      ]
    ]
  },
  "smawk": {
    "matrix": [
      [
        0,
        2,
        4,
        11,
        15,
        26,
        36
      ],
      [
        4,
        2,
        0,
        3,
        3,
        10,
        16
      ],
      [
        9,
        5,
        1,
        2,
        0,
        5,
        9
      ],
      [
        25,
        17,
        9,
        6,
        0,
        1,
        1
      ],
      [
        36,
        26,
        16,
        11,
        3,
        2,
        0
      ]
    ],
    "argmins": [
      0,
      2,
      4,
      4,
      6
    ],
    "oracle_calls": 36,
    "history": [
      {
        "event": "pop-column",
        "row": 1,
        "old": 1,
        "new": 2,
        "rows": [
          0,
          1,
          2,
          3,
          4
        ]
      },
      {
        "event": "pop-column",
        "row": 2,
        "old": 3,
        "new": 4,
        "rows": [
          0,
          1,
          2,
          3,
          4
        ]
      },
      {
        "event": "reduced",
        "rows": [
          0,
          1,
          2,
          3,
          4
        ],
        "columns": [
          0,
          2,
          4,
          5,
          6
        ]
      },
      {
        "event": "pop-column",
        "row": 1,
        "old": 0,
        "new": 2,
        "rows": [
          1,
          3
        ]
      },
      {
        "event": "discard-column",
        "column": 5,
        "rows": [
          1,
          3
        ]
      },
      {
        "event": "discard-column",
        "column": 6,
        "rows": [
          1,
          3
        ]
      },
      {
        "event": "reduced",
        "rows": [
          1,
          3
        ],
        "columns": [
          2,
          4
        ]
      },
      {
        "event": "pop-column",
        "row": 3,
        "old": 2,
        "new": 4,
        "rows": [
          3
        ]
      },
      {
        "event": "reduced",
        "rows": [
          3
        ],
        "columns": [
          4
        ]
      },
      {
        "event": "interpolate",
        "row": 3,
        "columns": [
          4
        ],
        "answer": 4
      },
      {
        "event": "interpolate",
        "row": 1,
        "columns": [
          2,
          4
        ],
        "answer": 2
      },
      {
        "event": "interpolate",
        "row": 0,
        "columns": [
          0,
          2
        ],
        "answer": 0
      },
      {
        "event": "interpolate",
        "row": 2,
        "columns": [
          2,
          4
        ],
        "answer": 4
      },
      {
        "event": "interpolate",
        "row": 4,
        "columns": [
          4,
          5,
          6
        ],
        "answer": 6
      }
    ]
  },
  "capstone": {
    "workloads": [
      2,
      0,
      3,
      1,
      4,
      2,
      0,
      5,
      1,
      3,
      2,
      1
    ],
    "prefixes": [
      0,
      2,
      2,
      5,
      6,
      10,
      12,
      12,
      17,
      18,
      21,
      23,
      24
    ],
    "layers": 4,
    "table": [
      [
        0,
        "inf",
        "inf",
        "inf",
        "inf",
        "inf",
        "inf",
        "inf",
        "inf",
        "inf",
        "inf",
        "inf",
        "inf"
      ],
      [
        "inf",
        4,
        4,
        25,
        36,
        100,
        144,
        144,
        289,
        324,
        441,
        529,
        576
      ],
      [
        "inf",
        "inf",
        4,
        13,
        20,
        50,
        72,
        72,
        149,
        164,
        221,
        265,
        288
      ],
      [
        "inf",
        "inf",
        "inf",
        13,
        14,
        36,
        54,
        54,
        97,
        108,
        153,
        185,
        198
      ],
      [
        "inf",
        "inf",
        "inf",
        "inf",
        14,
        30,
        40,
        40,
        79,
        90,
        113,
        133,
        144
      ]
    ],
    "argmins": [
      [
        null,
        null,
        null,
        null,
        null,
        null,
        null,
        null,
        null,
        null,
        null,
        null,
        null
      ],
      [
        null,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0
      ],
      [
        null,
        null,
        1,
        1,
        1,
        3,
        4,
        4,
        5,
        5,
        5,
        6,
        6
      ],
      [
        null,
        null,
        null,
        2,
        3,
        4,
        5,
        5,
        6,
        6,
        6,
        8,
        8
      ],
      [
        null,
        null,
        null,
        null,
        3,
        4,
        5,
        5,
        6,
        6,
        8,
        8,
        9
      ]
    ],
    "optimum": 144,
    "cuts": [
      4,
      6,
      9,
      12
    ],
    "methods": {
      "brute": {
        "counts_by_layer": [
          90,
          77,
          65,
          54
        ],
        "count_unit": "oracle_calls",
        "cuts": [
          4,
          6,
          9,
          12
        ],
        "events": []
      },
      "divide": {
        "counts_by_layer": [
          58,
          49,
          39,
          35
        ],
        "count_unit": "oracle_calls",
        "cuts": [
          4,
          6,
          9,
          12
        ],
        "events": [
          {
            "layer": 1,
            "rows": [
              1,
              12
            ],
            "middle": 6,
            "allowed": [
              0,
              5
            ],
            "choice": 0
          },
          {
            "layer": 1,
            "rows": [
              1,
              5
            ],
            "middle": 3,
            "allowed": [
              0,
              0
            ],
            "choice": 0
          },
          {
            "layer": 1,
            "rows": [
              1,
              2
            ],
            "middle": 1,
            "allowed": [
              0,
              0
            ],
            "choice": 0
          },
          {
            "layer": 1,
            "rows": [
              2,
              2
            ],
            "middle": 2,
            "allowed": [
              0,
              0
            ],
            "choice": 0
          },
          {
            "layer": 1,
            "rows": [
              4,
              5
            ],
            "middle": 4,
            "allowed": [
              0,
              0
            ],
            "choice": 0
          },
          {
            "layer": 1,
            "rows": [
              5,
              5
            ],
            "middle": 5,
            "allowed": [
              0,
              0
            ],
            "choice": 0
          },
          {
            "layer": 1,
            "rows": [
              7,
              12
            ],
            "middle": 9,
            "allowed": [
              0,
              8
            ],
            "choice": 0
          },
          {
            "layer": 1,
            "rows": [
              7,
              8
            ],
            "middle": 7,
            "allowed": [
              0,
              0
            ],
            "choice": 0
          },
          {
            "layer": 1,
            "rows": [
              8,
              8
            ],
            "middle": 8,
            "allowed": [
              0,
              0
            ],
            "choice": 0
          },
          {
            "layer": 1,
            "rows": [
              10,
              12
            ],
            "middle": 11,
            "allowed": [
              0,
              10
            ],
            "choice": 0
          },
          {
            "layer": 1,
            "rows": [
              10,
              10
            ],
            "middle": 10,
            "allowed": [
              0,
              0
            ],
            "choice": 0
          },
          {
            "layer": 1,
            "rows": [
              12,
              12
            ],
            "middle": 12,
            "allowed": [
              0,
              11
            ],
            "choice": 0
          },
          {
            "layer": 2,
            "rows": [
              2,
              12
            ],
            "middle": 7,
            "allowed": [
              1,
              6
            ],
            "choice": 4
          },
          {
            "layer": 2,
            "rows": [
              2,
              6
            ],
            "middle": 4,
            "allowed": [
              1,
              3
            ],
            "choice": 1
          },
          {
            "layer": 2,
            "rows": [
              2,
              3
            ],
            "middle": 2,
            "allowed": [
              1,
              1
            ],
            "choice": 1
          },
          {
            "layer": 2,
            "rows": [
              3,
              3
            ],
            "middle": 3,
            "allowed": [
              1,
              1
            ],
            "choice": 1
          },
          {
            "layer": 2,
            "rows": [
              5,
              6
            ],
            "middle": 5,
            "allowed": [
              1,
              4
            ],
            "choice": 3
          },
          {
            "layer": 2,
            "rows": [
              6,
              6
            ],
            "middle": 6,
            "allowed": [
              3,
              4
            ],
            "choice": 4
          },
          {
            "layer": 2,
            "rows": [
              8,
              12
            ],
            "middle": 10,
            "allowed": [
              4,
              9
            ],
            "choice": 5
          },
          {
            "layer": 2,
            "rows": [
              8,
              9
            ],
            "middle": 8,
            "allowed": [
              4,
              5
            ],
            "choice": 5
          },
          {
            "layer": 2,
            "rows": [
              9,
              9
            ],
            "middle": 9,
            "allowed": [
              5,
              5
            ],
            "choice": 5
          },
          {
            "layer": 2,
            "rows": [
              11,
              12
            ],
            "middle": 11,
            "allowed": [
              5,
              10
            ],
            "choice": 6
          },
          {
            "layer": 2,
            "rows": [
              12,
              12
            ],
            "middle": 12,
            "allowed": [
              6,
              11
            ],
            "choice": 6
          },
          {
            "layer": 3,
            "rows": [
              3,
              12
            ],
            "middle": 7,
            "allowed": [
              2,
              6
            ],
            "choice": 5
          },
          {
            "layer": 3,
            "rows": [
              3,
              6
            ],
            "middle": 4,
            "allowed": [
              2,
              3
            ],
            "choice": 3
          },
          {
            "layer": 3,
            "rows": [
              3,
              3
            ],
            "middle": 3,
            "allowed": [
              2,
              2
            ],
            "choice": 2
          },
          {
            "layer": 3,
            "rows": [
              5,
              6
            ],
            "middle": 5,
            "allowed": [
              3,
              4
            ],
            "choice": 4
          },
          {
            "layer": 3,
            "rows": [
              6,
              6
            ],
            "middle": 6,
            "allowed": [
              4,
              5
            ],
            "choice": 5
          },
          {
            "layer": 3,
            "rows": [
              8,
              12
            ],
            "middle": 10,
            "allowed": [
              5,
              9
            ],
            "choice": 6
          },
          {
            "layer": 3,
            "rows": [
              8,
              9
            ],
            "middle": 8,
            "allowed": [
              5,
              6
            ],
            "choice": 6
          },
          {
            "layer": 3,
            "rows": [
              9,
              9
            ],
            "middle": 9,
            "allowed": [
              6,
              6
            ],
            "choice": 6
          },
          {
            "layer": 3,
            "rows": [
              11,
              12
            ],
            "middle": 11,
            "allowed": [
              6,
              10
            ],
            "choice": 8
          },
          {
            "layer": 3,
            "rows": [
              12,
              12
            ],
            "middle": 12,
            "allowed": [
              8,
              11
            ],
            "choice": 8
          },
          {
            "layer": 4,
            "rows": [
              4,
              12
            ],
            "middle": 8,
            "allowed": [
              3,
              7
            ],
            "choice": 6
          },
          {
            "layer": 4,
            "rows": [
              4,
              7
            ],
            "middle": 5,
            "allowed": [
              3,
              4
            ],
            "choice": 4
          },
          {
            "layer": 4,
            "rows": [
              4,
              4
            ],
            "middle": 4,
            "allowed": [
              3,
              3
            ],
            "choice": 3
          },
          {
            "layer": 4,
            "rows": [
              6,
              7
            ],
            "middle": 6,
            "allowed": [
              4,
              5
            ],
            "choice": 5
          },
          {
            "layer": 4,
            "rows": [
              7,
              7
            ],
            "middle": 7,
            "allowed": [
              5,
              6
            ],
            "choice": 5
          },
          {
            "layer": 4,
            "rows": [
              9,
              12
            ],
            "middle": 10,
            "allowed": [
              6,
              9
            ],
            "choice": 8
          },
          {
            "layer": 4,
            "rows": [
              9,
              9
            ],
            "middle": 9,
            "allowed": [
              6,
              8
            ],
            "choice": 6
          },
          {
            "layer": 4,
            "rows": [
              11,
              12
            ],
            "middle": 11,
            "allowed": [
              8,
              10
            ],
            "choice": 8
          },
          {
            "layer": 4,
            "rows": [
              12,
              12
            ],
            "middle": 12,
            "allowed": [
              8,
              11
            ],
            "choice": 9
          }
        ]
      },
      "smawk": {
        "counts_by_layer": [
          84,
          91,
          79,
          74
        ],
        "count_unit": "oracle_calls",
        "cuts": [
          4,
          6,
          9,
          12
        ],
        "events": []
      },
      "cht": {
        "counts_by_layer": [
          0,
          20,
          13,
          13
        ],
        "count_unit": "line_pair_or_redundancy_comparisons",
        "cuts": [
          4,
          6,
          9,
          12
        ],
        "events": []
      },
      "lichao": {
        "counts_by_layer": [
          12,
          91,
          74,
          63
        ],
        "count_unit": "line_pair_or_redundancy_comparisons",
        "cuts": [
          4,
          6,
          9,
          12
        ],
        "events": []
      }
    }
  },
  "knuth": {
    "frequencies": [
      3,
      1,
      4,
      2
    ],
    "cost_table": [
      [
        0,
        3,
        5,
        13,
        17
      ],
      [
        0,
        0,
        1,
        6,
        10
      ],
      [
        0,
        0,
        0,
        4,
        8
      ],
      [
        0,
        0,
        0,
        0,
        2
      ],
      [
        0,
        0,
        0,
        0,
        0
      ]
    ],
    "roots": [
      [
        null,
        0,
        0,
        2,
        2
      ],
      [
        null,
        null,
        1,
        2,
        2
      ],
      [
        null,
        null,
        null,
        2,
        2
      ],
      [
        null,
        null,
        null,
        null,
        3
      ],
      [
        null,
        null,
        null,
        null,
        null
      ]
    ],
    "history": [
      {
        "interval": [
          0,
          1
        ],
        "candidates": [
          0,
          0
        ],
        "root": 0,
        "cost": 3
      },
      {
        "interval": [
          1,
          2
        ],
        "candidates": [
          1,
          1
        ],
        "root": 1,
        "cost": 1
      },
      {
        "interval": [
          2,
          3
        ],
        "candidates": [
          2,
          2
        ],
        "root": 2,
        "cost": 4
      },
      {
        "interval": [
          3,
          4
        ],
        "candidates": [
          3,
          3
        ],
        "root": 3,
        "cost": 2
      },
      {
        "interval": [
          0,
          2
        ],
        "candidates": [
          0,
          1
        ],
        "root": 0,
        "cost": 5
      },
      {
        "interval": [
          1,
          3
        ],
        "candidates": [
          1,
          2
        ],
        "root": 2,
        "cost": 6
      },
      {
        "interval": [
          2,
          4
        ],
        "candidates": [
          2,
          3
        ],
        "root": 2,
        "cost": 8
      },
      {
        "interval": [
          0,
          3
        ],
        "candidates": [
          0,
          2
        ],
        "root": 2,
        "cost": 13
      },
      {
        "interval": [
          1,
          4
        ],
        "candidates": [
          2,
          2
        ],
        "root": 2,
        "cost": 10
      },
      {
        "interval": [
          0,
          4
        ],
        "candidates": [
          2,
          2
        ],
        "root": 2,
        "cost": 17
      }
    ],
    "cubic_candidates": 20,
    "optimized_candidates": 15
  },
  "cht": {
    "lines": [
      [
        4,
        0,
        0
      ],
      [
        2,
        5,
        1
      ],
      [
        0,
        6,
        2
      ]
    ],
    "queries": [
      -2,
      0,
      2,
      4
    ],
    "answers": [
      [
        -8,
        0
      ],
      [
        0,
        0
      ],
      [
        6,
        2
      ],
      [
        6,
        2
      ]
    ],
    "history": [
      [
        "insert",
        [
          4,
          0,
          0
        ],
        [
          [
            4,
            0,
            0
          ]
        ]
      ],
      [
        "insert",
        [
          2,
          5,
          1
        ],
        [
          [
            4,
            0,
            0
          ],
          [
            2,
            5,
            1
          ]
        ]
      ],
      [
        "redundant",
        [
          2,
          5,
          1
        ],
        [
          0,
          6,
          2
        ]
      ],
      [
        "insert",
        [
          0,
          6,
          2
        ],
        [
          [
            4,
            0,
            0
          ],
          [
            0,
            6,
            2
          ]
        ]
      ],
      [
        "query",
        -2,
        [
          4,
          0,
          0
        ]
      ],
      [
        "query",
        0,
        [
          4,
          0,
          0
        ]
      ],
      [
        "query-pop",
        2,
        [
          4,
          0,
          0
        ]
      ],
      [
        "query",
        2,
        [
          0,
          6,
          2
        ]
      ],
      [
        "query",
        4,
        [
          0,
          6,
          2
        ]
      ]
    ]
  },
  "li_chao": {
    "coordinates": [
      -3,
      -1,
      0,
      2,
      5
    ],
    "lines": [
      [
        2,
        3,
        0
      ],
      [
        -1,
        1,
        1
      ],
      [
        0,
        3,
        2
      ]
    ],
    "answers": [
      [
        -3,
        0
      ],
      [
        1,
        0
      ],
      [
        1,
        1
      ],
      [
        -1,
        1
      ],
      [
        -4,
        1
      ]
    ],
    "nodes": {
      "1": [
        -1,
        1,
        1
      ],
      "2": [
        2,
        3,
        0
      ],
      "5": [
        0,
        3,
        2
      ]
    },
    "history": [
      [
        "store",
        1,
        0,
        5,
        [
          2,
          3,
          0
        ]
      ],
      [
        "swap-mid",
        1,
        0,
        5,
        [
          -1,
          1,
          1
        ],
        [
          2,
          3,
          0
        ]
      ],
      [
        "store",
        2,
        0,
        2,
        [
          2,
          3,
          0
        ]
      ],
      [
        "store",
        5,
        1,
        2,
        [
          0,
          3,
          2
        ]
      ],
      [
        "query",
        -3,
        [
          1,
          2,
          4
        ],
        [
          -3,
          0
        ]
      ],
      [
        "query",
        -1,
        [
          1,
          2,
          5
        ],
        [
          1,
          0
        ]
      ],
      [
        "query",
        0,
        [
          1,
          3,
          6
        ],
        [
          1,
          1
        ]
      ],
      [
        "query",
        2,
        [
          1,
          3,
          7,
          14
        ],
        [
          -1,
          1
        ]
      ],
      [
        "query",
        5,
        [
          1,
          3,
          7,
          15
        ],
        [
          -4,
          1
        ]
      ]
    ]
  },
  "matrix_chain_boundary": {
    "dimensions": [
      2,
      3,
      2,
      10,
      1
    ],
    "costs": [
      [
        0,
        12,
        52,
        32
      ],
      [
        0,
        0,
        60,
        26
      ],
      [
        0,
        0,
        0,
        20
      ],
      [
        0,
        0,
        0,
        0
      ]
    ],
    "split_after_zero_based_matrix": [
      [
        null,
        0,
        1,
        0
      ],
      [
        null,
        null,
        1,
        1
      ],
      [
        null,
        null,
        null,
        2
      ],
      [
        null,
        null,
        null,
        null
      ]
    ]
  },
  "negative_workload_counterexample": {
    "workloads": [
      -1,
      -2,
      -2,
      2
    ],
    "prefixes": [
      0,
      -1,
      -3,
      -5,
      -3
    ],
    "argmins": [
      null,
      null,
      1,
      2,
      1
    ],
    "brute": [
      "inf",
      "inf",
      5,
      13,
      5
    ],
    "invalid_divide_result": [
      "inf",
      "inf",
      5,
      13,
      9
    ],
    "li_chao_result": [
      "inf",
      "inf",
      5,
      13,
      5
    ]
  },
  "cross_checks": {
    "string_pairs": 961,
    "nonnegative_partition_instances": 120,
    "nonnegative_BST_instances": 1092,
    "line_insert_query_checks": 12760,
    "exhaustive_2_by_3_totally_monotone": 383,
    "monotone_line_query_checks": 2000
  },
  "cht_empty_queries": {
    "before_insertion": [
      "inf",
      "inf"
    ],
    "after_insertion_at_same_x": [
      3,
      0
    ],
    "after_next_insertion_at_larger_x": [
      4,
      1
    ],
    "decreasing_query_rejected": true,
    "history": [
      [
        "query-empty",
        0
      ],
      [
        "insert",
        [
          2,
          3,
          0
        ],
        [
          [
            2,
            3,
            0
          ]
        ]
      ],
      [
        "query",
        0,
        [
          2,
          3,
          0
        ]
      ],
      [
        "insert",
        [
          0,
          4,
          1
        ],
        [
          [
            2,
            3,
            0
          ],
          [
            0,
            4,
            1
          ]
        ]
      ],
      [
        "query-pop",
        2,
        [
          2,
          3,
          0
        ]
      ],
      [
        "query",
        2,
        [
          0,
          4,
          1
        ]
      ]
    ]
  }
}