{
  "status": "REAL16_POINTS_AND2_AGGREGATES_MATCH_B_BITS_FLOAT53_REDS_PRESERVED",
  "assertions": 456,
  "mutants_rejected": 8,
  "raw_sha256": "c91a2b9bb76e87a794f300da79c251c7027285ca8570eb3d3ba2a690324ed8c3",
  "events": 321,
  "REAL_points": 16,
  "REAL_aggregates": 2,
  "FLOAT53_point_reds": [
    "ORACLE-40-S",
    "ORACLE-40-OS",
    "ORACLE-01-S",
    "ORACLE-01-OS"
  ],
  "FLOAT53_aggregate_reds": [
    "OS-A1"
  ],
  "DDL": 2,
  "INSERT": 20,
  "rollbacks": 18,
  "diagnostics": 112,
  "object0": true,
  "natural": 0,
  "HTTP": 0
}