[
  {
    "claim": "C1",
    "result": "R1.area_lower_bound",
    "declared": 1.5065108996,
    "observed": 1.5065108996,
    "tolerance": 1e-09,
    "matches": true
  },
  {
    "claim": "C2",
    "result": "R1.components_proven",
    "declared": 617591,
    "observed": 617591,
    "tolerance": 0,
    "matches": true
  },
  {
    "claim": "C2",
    "result": "R1.components_counted",
    "declared": 1234827,
    "observed": 1234827,
    "tolerance": 0,
    "matches": true
  },
  {
    "claim": "C2",
    "result": "R1.area_lower_bound",
    "declared": 1.5065108996,
    "observed": 1.5065108996,
    "tolerance": 1e-09,
    "matches": true
  }
]