{
  "utf8_readback": true,
  "display_delimiters_even": true,
  "inline_delimiters_even": true,
  "contains_backslash_paren_delimiters": false,
  "contains_backslash_bracket_delimiters": false,
  "classification_pass": "8000/8000",
  "branch_reconstruction_failures": 0,
  "auto_merge_order_failures": 0,
  "runtime_replay_classification_equal": true,
  "runtime_replay_resolution_equal": true,
  "runtime_replay_independent_checks_equal": true,
  "runtime_replay_baselines_equal": true,
  "report_sha256": "52b475f1ba7851fb1ddb250b9fc14050e0f049d93fff98be7cfd4ccce7f57333",
  "patch_sha256": "90bc4218694d002c78dbb54d7b1a764a6d8537b65d78bc5d982d5c1c25b28a7f",
  "protocol_sha256": "57140f8565833a9470e1476f7b0bc1b723bfa815dfe02a7f19303278eb1504ed",
  "runtime_sha256": "baaec972c52ed0fb02ff1dfe13e5831a57bd89b18c219d415fe8f70844edb6c9",
  "results_sha256": "397f851301ed2489e1142e161e470c6ffdc5fa7039d9844dbba503ed83df6799"
}