{
  "utf8_readback": true,
  "display_delimiters_even": true,
  "inline_delimiters_even": true,
  "contains_backslash_paren_delimiters": false,
  "contains_backslash_bracket_delimiters": false,
  "pair_tests": "5000/5000 policy classifications",
  "multiwriter_serial_oracle_failures": 0,
  "snapshot_reader_stable": true,
  "predicate_guard_blocks_write_skew": true,
  "report_sha256": "9006a52c3eb68c9200ae80323e75b38729cff4cf770ec9a0875a6c77b4016fe8",
  "patch_sha256": "e8d6b16c94041af4dd2c6f24a0f531da9d2ae252afb6c20197ff9b2d94852609",
  "runtime_sha256": "d47357d86c6a0b2e616cbd6781ae3a754f7b572d5c7ec8bc4a71551d77c806a8",
  "combined_results_sha256": "f33323610d3bfb6183b17b9be47712653336dbb50b1aada53243e475e1eb1704",
  "protocol_sha256": "9610b311aad8a1ac0ddad82942c5d556b0192f8a543881254256dde2dfeebeeb"
}