[
  {
    "claim": "C1",
    "result": "R1.mod4.first_loser_lead",
    "declared": 26861,
    "supplied_code_rerun": 26861,
    "independent_verifier": 26861,
    "tolerance": 0,
    "matches": true
  },
  {
    "claim": "C2",
    "result": "R1.mod4.integers_loser_leads",
    "declared": 30624,
    "supplied_code_rerun": 30624,
    "independent_verifier": 30624,
    "tolerance": 0,
    "matches": true
  },
  {
    "claim": "C2",
    "result": "R1.mod4.loser_stretches",
    "declared": 128,
    "supplied_code_rerun": 128,
    "independent_verifier": 128,
    "tolerance": 0,
    "matches": true
  },
  {
    "claim": "C2",
    "result": "R1.mod4.last_loser_lead",
    "declared": 12382326,
    "supplied_code_rerun": 12382326,
    "independent_verifier": 12382326,
    "tolerance": 0,
    "matches": true
  },
  {
    "claim": "C2",
    "result": "R1.mod4.integers_tied",
    "declared": 3866,
    "supplied_code_rerun": 3866,
    "independent_verifier": 3866,
    "tolerance": 0,
    "matches": true
  },
  {
    "claim": "C2",
    "result": "R1.mod4.last_tie",
    "declared": 12424002,
    "supplied_code_rerun": 12424002,
    "independent_verifier": 12424002,
    "tolerance": 0,
    "matches": true
  },
  {
    "claim": "C3",
    "result": "R1.mod4.log_weighted_share_loser_leads",
    "declared": 0.00040587,
    "supplied_code_rerun": 0.00040587,
    "independent_verifier": 0.00040587,
    "tolerance": 2e-09,
    "matches": true
  },
  {
    "claim": "C4",
    "result": "R1.mod3.integers_loser_leads",
    "declared": 0,
    "supplied_code_rerun": 0,
    "independent_verifier": 0,
    "tolerance": 0,
    "matches": true
  },
  {
    "claim": "C4",
    "result": "R1.mod3.integers_tied",
    "declared": 1,
    "supplied_code_rerun": 1,
    "independent_verifier": 1,
    "tolerance": 0,
    "matches": true
  },
  {
    "claim": "C4",
    "result": "R1.mod3.last_tie",
    "declared": 1,
    "supplied_code_rerun": 1,
    "independent_verifier": 1,
    "tolerance": 0,
    "matches": true
  },
  {
    "claim": "C5",
    "result": "R1.mod4.primes_in_winner_class",
    "declared": 2880950,
    "supplied_code_rerun": 2880950,
    "independent_verifier": 2880950,
    "tolerance": 0,
    "matches": true
  },
  {
    "claim": "C5",
    "result": "R1.mod4.primes_in_loser_class",
    "declared": 2880504,
    "supplied_code_rerun": 2880504,
    "independent_verifier": 2880504,
    "tolerance": 0,
    "matches": true
  },
  {
    "claim": "C5",
    "result": "R1.mod3.primes_in_winner_class",
    "declared": 2880937,
    "supplied_code_rerun": 2880937,
    "independent_verifier": 2880937,
    "tolerance": 0,
    "matches": true
  },
  {
    "claim": "C5",
    "result": "R1.mod3.primes_in_loser_class",
    "declared": 2880517,
    "supplied_code_rerun": 2880517,
    "independent_verifier": 2880517,
    "tolerance": 0,
    "matches": true
  }
]