{
  "scope": "C572\u2013C586",
  "status": "PASS",
  "replayed_steps": 15,
  "check_total": 31,
  "additional_review": "Reduced-denominator necessity and lcm897 verified independently",
  "mutation_guards": "begin and finish replaced before any script execution",
  "rows": [
    {
      "step": 572,
      "checks": 2,
      "journal_sha256": "aa16643fa36d3d74a12b53518ee1c1a8f7d239b1c2aeec8ae1d3633d309d8f7b",
      "script_sha256": "883534e6df22e1ae1d70a137ff1377a8ebcfe3d8bd27430c07d0d18277dcdbe5",
      "status": "PASS"
    },
    {
      "step": 573,
      "checks": 2,
      "journal_sha256": "82ade997859c672d340a25bc1ced16a1189d4f9377407edfbbd2de2963bfa4bf",
      "script_sha256": "808a8dfff49b1cb05c7e1503fde2db01955d3fb5703fbb56174e6a83ccf82097",
      "status": "PASS"
    },
    {
      "step": 574,
      "checks": 2,
      "journal_sha256": "a04287c866c4ec24ae3f3735d7482d0747f2ebebe933a7b766530cf588237156",
      "script_sha256": "67553bb104066ddd2e038a6b2ad6b0e8897908e9716db515ebd75e1e1893ed34",
      "status": "PASS"
    },
    {
      "step": 575,
      "checks": 3,
      "journal_sha256": "31f205ce8a16483fc8ea59dc4f3daff6298cee9537b33678569153513a49ade6",
      "script_sha256": "9a78277ebe535fc10feff6f5474bee2532248512852ca9d3789214696220bec0",
      "status": "PASS"
    },
    {
      "step": 576,
      "checks": 2,
      "journal_sha256": "e99629441764b84e4eac3ad5e1bfeabbd26db83aa4fefeb6fb127742e1df0e15",
      "script_sha256": "cd4556b9864d1b4703ba93b98344014114029cf18b074afdc0090124af421c3e",
      "status": "PASS"
    },
    {
      "step": 577,
      "checks": 2,
      "journal_sha256": "88cd9b5dc99850ab05d347caeb766fe8c88ff162b69afdff3eeba24b96f7d915",
      "script_sha256": "80d2bb0d1068137c22bbfada201d654088c90ac4c34abc2a85590548c110c7f6",
      "status": "PASS"
    },
    {
      "step": 578,
      "checks": 2,
      "journal_sha256": "088e277ef7b0a340e24961449ebca3ef747b3d5450e052b26e62791c6b75150e",
      "script_sha256": "316e865e2a817da127525166bcb7dea7972eefbbc86ae59d21bc1e280d1380bc",
      "status": "PASS"
    },
    {
      "step": 579,
      "checks": 2,
      "journal_sha256": "f35b3a2a68545f56f513bda83959a226e44caa2e583e3aa957f5462812456955",
      "script_sha256": "0992156dea74e548607f2d4ca4c179f01aae5e0fdd4e8492f80cd77e61373809",
      "status": "PASS"
    },
    {
      "step": 580,
      "checks": 2,
      "journal_sha256": "95bbe1ea9f510d0264a4b27625084703fae96220ef810f0d229493c5d84de35f",
      "script_sha256": "a9c42549956ab339ee1ba825adaa7c6d334e3fd813634425f364e4b80aa0dd6c",
      "status": "PASS"
    },
    {
      "step": 581,
      "checks": 2,
      "journal_sha256": "0347560327c725a2bf5d192b07e734a8e52fdb6fe20717351d5a2c735a19762b",
      "script_sha256": "95404cb6545dd2092b9396f8f4fd1e2f2e685c298201e182fdf6508ea5bf656b",
      "status": "PASS"
    },
    {
      "step": 582,
      "checks": 2,
      "journal_sha256": "9c4f9426e3086872cd45e8c18081dfeb2bbbaad8d866b2c79ddfb6c6bb2c76c4",
      "script_sha256": "7219505c5961311680cdcb430a47459fa9a9ffb521438a16c474634c61926d57",
      "status": "PASS"
    },
    {
      "step": 583,
      "checks": 2,
      "journal_sha256": "7024751d78604166458ccd4e467e154a824f6b997a7844e224aad581c35eb6b8",
      "script_sha256": "11ce46b9ab1197b5391c67d7656c9444b87c3dcc9a2d648c9cbbc074a521afa5",
      "status": "PASS"
    },
    {
      "step": 584,
      "checks": 2,
      "journal_sha256": "ad3b60cca190d200cd52bd9664074447e98acdf20bedd49a10fe2074218b9031",
      "script_sha256": "050a744374deabc5f11295692eebdd2c9b6e1dcee080b24970f90a1f1cef6750",
      "status": "PASS"
    },
    {
      "step": 585,
      "checks": 1,
      "journal_sha256": "40910aff11dc7f25c0243d36c65c1bc2623121ef0d282ab407be385cb8dd4c08",
      "script_sha256": "27d6f0640cdc897fd3d83fb0b59cf92dc8efb09595f8b2f8d9d0c17aabaccd4a",
      "status": "PASS"
    },
    {
      "step": 586,
      "checks": 3,
      "journal_sha256": "512b300884f11f09a386de89339f2159011ff73fce2f80bb436d553548622961",
      "script_sha256": "1ff2f4ee43563004263b299f1845400bd3a5b5e2af133337e195db42eb78f624",
      "status": "PASS"
    }
  ]
}