{
  "compressed": {
    "status": "complete",
    "exact_feasible": true,
    "exact_index_subset_count": 1832624140942590534,
    "witness": [
      "i0",
      "i1",
      "i2",
      "i3",
      "i4",
      "i5",
      "i6",
      "i7",
      "i8",
      "i9",
      "i10",
      "i11",
      "i12",
      "i13",
      "i14",
      "i15",
      "i16",
      "i17",
      "i18",
      "i19",
      "i20",
      "i21",
      "i22",
      "i23",
      "i24",
      "i25",
      "i26",
      "i27",
      "i28",
      "i29",
      "i30",
      "i31"
    ],
    "method": "distinct_sum_MITM",
    "n": 64,
    "target": 32,
    "proposed_subset_audit": null,
    "limits": {
      "items": 64,
      "stored_sum_records": 50000,
      "generation_and_probe_work": 2000000
    },
    "source_connection": {
      "family": "138",
      "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
      "faster_source_algorithm_implemented": false,
      "lower_space_source_algorithm_implemented": false
    },
    "source_proof_verification": "not_run",
    "formal_program_verification": "not_run",
    "input_sha256": "65e793c932aeb3715c182c319039550c0848d39fd8a58d09875b9565b98872e1",
    "interpretation": "Conventional exact disjoint-half enumeration with optional equal-sum compression. Counts preserve distinct original index subsets, including repeated values. Caps count sum records and generation/probe work, excluding input/runtime objects and native sorting scratch/comparisons; they are not byte, wall-time or word-RAM guarantees. No signed amounts, tolerance, dates, mandatory choices, priorities or ledger actions are modeled.",
    "work": 2145,
    "peak_stored_sum_records": 98,
    "left_final_records": 33,
    "right_final_records": 33,
    "completion_basis": "complete_disjoint_half_enumeration_with_multiplicity"
  },
  "occurrence": {
    "status": "budget_exceeded",
    "exact_feasible": null,
    "exact_index_subset_count": null,
    "witness": null,
    "method": "occurrence_MITM",
    "n": 64,
    "target": 32,
    "proposed_subset_audit": null,
    "limits": {
      "items": 64,
      "stored_sum_records": 50000,
      "generation_and_probe_work": 2000000
    },
    "source_connection": {
      "family": "138",
      "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb",
      "faster_source_algorithm_implemented": false,
      "lower_space_source_algorithm_implemented": false
    },
    "source_proof_verification": "not_run",
    "formal_program_verification": "not_run",
    "input_sha256": "65e793c932aeb3715c182c319039550c0848d39fd8a58d09875b9565b98872e1",
    "interpretation": "Conventional exact disjoint-half enumeration with optional equal-sum compression. Counts preserve distinct original index subsets, including repeated values. Caps count sum records and generation/probe work, excluding input/runtime objects and native sorting scratch/comparisons; they are not byte, wall-time or word-RAM guarantees. No signed amounts, tolerance, dates, mandatory choices, priorities or ledger actions are modeled.",
    "reason": "Stored sum-record budget exhausted",
    "work": 82767,
    "peak_stored_sum_records": 50000
  },
  "independent_binomial_count": 1832624140942590534
}