{
  "inputs": {
    "verification_c3_local_descent_json": "docs/artefacts/collatz/c3_local_descent/verification_c3_local_descent_palier2p15.json",
    "clauses_universelles_json": "docs/artefacts/collatz/universal_clauses/palier2p15/clauses_universelles.json"
  },
  "domain": {
    "palier": 15,
    "max_stable_modulus_power": 102
  },
  "counts": {
    "ok_records": 1536,
    "D_exact": 180,
    "F": 1356,
    "D_brother_local": 0
  },
  "ok": true
}