{
  "status": "PASS",
  "numeric_checks": "Q_limit_errors [9.118720853614148, 4.832216817107276, 0.9955441121557927, 0.499051313876454, 0.0999962971879373, 0.010003583705714603]\nQ_integral_identity_worst 4.816995903133451e-08\nchain_countermodel True\nexception_algebra True\nsource_delimiters True\nPASS",
  "utf8": "PASS",
  "canonical_math_delimiters": "PASS",
  "json_parse": "PASS",
  "csv_parse": "PASS",
  "RH_PROVED": false,
  "RH_DISPROVED": false,
  "F-RH-017-v2": "OPEN_ARITHMETIC"
}