{
  "tested_cases": 11,
  "minimum_precision_agreement": 136.04143458776056,
  "stored_values_checked": 7,
  "max_stored_distance_ulp": 0.3495686579166958,
  "outside_catalogue": [
    "-8",
    "1",
    "8",
    "125"
  ],
  "minimum_cubic_agreement": 124.88050653449801,
  "original_tested_program_sha256": "b0e739ee17864bb5c68d16b772e1305024bea0ca0144227c3afe6aebd474e3ca",
  "final_program_sha256": "68da31594e9d01a0984dee295740b3b64f2a9de30f8a7c7a8b5e6776644f12f3",
  "executable_AST_unchanged": true
}