[
  {
    "local_id": "C1",
    "type": "replication",
    "core": true,
    "statement": "An independent enumeration of Collatz total-stopping-time delay records for all n in 1..10000000 yields exactly 54 records, the last being n=8400511 with delay 685, matching the published Leavens\u2013Vermeulen / Roosendaal delay-record table on this range.",
    "evidence": [
      {
        "result": "R1.n_records",
        "produced_by": "code/compute_delays.py",
        "tolerance": 0
      },
      {
        "result": "R1.max_delay",
        "produced_by": "code/compute_delays.py",
        "tolerance": 0
      },
      {
        "result": "R1.max_delay_n",
        "produced_by": "code/compute_delays.py",
        "tolerance": 0
      }
    ],
    "depends_on": [],
    "falsified_if": "R1.n_records differs from 54, or R1.max_delay_n differs from 8400511, or R1.max_delay differs from 685",
    "confidence": 0.99
  }
]