[
  {
    "local_claim": "C1",
    "result": "R1.share_below_low.wald",
    "declared": 0.463088,
    "independent": 0.463088,
    "tolerance": 1e-06,
    "agrees": true
  },
  {
    "local_claim": "C1",
    "result": "R1.share_below_nominal.wald",
    "declared": 0.923027,
    "independent": 0.923027,
    "tolerance": 1e-06,
    "agrees": true
  },
  {
    "local_claim": "C2",
    "result": "R1.share_below_low.wilson",
    "declared": 0.032981,
    "independent": 0.032981,
    "tolerance": 1e-06,
    "agrees": true
  },
  {
    "local_claim": "C2",
    "result": "R1.share_below_low.agresti_coull",
    "declared": 0.003681,
    "independent": 0.003681,
    "tolerance": 1e-06,
    "agrees": true
  },
  {
    "local_claim": "C2",
    "result": "R1.mean_coverage.wilson",
    "declared": 0.952036,
    "independent": 0.952036,
    "tolerance": 1e-06,
    "agrees": true
  },
  {
    "local_claim": "C2",
    "result": "R1.mean_coverage.agresti_coull",
    "declared": 0.958695,
    "independent": 0.958695,
    "tolerance": 1e-06,
    "agrees": true
  },
  {
    "local_claim": "C2",
    "result": "R1.mean_coverage.wald",
    "declared": 0.88228,
    "independent": 0.88228,
    "tolerance": 1e-06,
    "agrees": true
  },
  {
    "local_claim": "C3",
    "result": "R1.min_coverage.clopper_pearson",
    "declared": 0.9502,
    "independent": 0.9502,
    "tolerance": 1e-06,
    "agrees": true
  },
  {
    "local_claim": "C3",
    "result": "R1.mean_coverage.clopper_pearson",
    "declared": 0.970942,
    "independent": 0.970942,
    "tolerance": 1e-06,
    "agrees": true
  },
  {
    "local_claim": "C4",
    "result": "R1.wald_at_fixed_p.p_0_2.largest_drop.from_n",
    "declared": 14,
    "independent": 14,
    "tolerance": 0,
    "agrees": true
  },
  {
    "local_claim": "C4",
    "result": "R1.wald_at_fixed_p.p_0_2.largest_drop.from",
    "declared": 0.94441,
    "independent": 0.94441,
    "tolerance": 1e-06,
    "agrees": true
  },
  {
    "local_claim": "C4",
    "result": "R1.wald_at_fixed_p.p_0_2.largest_drop.to",
    "declared": 0.814815,
    "independent": 0.814815,
    "tolerance": 1e-06,
    "agrees": true
  },
  {
    "local_claim": "C4",
    "result": "R1.wald_at_fixed_p.p_0_05.largest_drop.from_n",
    "declared": 58,
    "independent": 58,
    "tolerance": 0,
    "agrees": true
  },
  {
    "local_claim": "C4",
    "result": "R1.wald_at_fixed_p.p_0_05.largest_drop.from",
    "declared": 0.946709,
    "independent": 0.946709,
    "tolerance": 1e-06,
    "agrees": true
  },
  {
    "local_claim": "C4",
    "result": "R1.wald_at_fixed_p.p_0_05.largest_drop.to",
    "declared": 0.798385,
    "independent": 0.798385,
    "tolerance": 1e-06,
    "agrees": true
  },
  {
    "local_claim": "C5",
    "result": "R1.wald_at_fixed_p.p_0_01.at_n_max",
    "declared": 0.633433,
    "independent": 0.633433,
    "tolerance": 1e-06,
    "agrees": true
  },
  {
    "local_claim": "C5",
    "result": "R1.wald_at_fixed_p.p_0_05.at_n_max",
    "declared": 0.877463,
    "independent": 0.877463,
    "tolerance": 1e-06,
    "agrees": true
  }
]
