{
  "Rom File": "Castlevania (U) (PRG0) [!].nes",
  "Expected ROM SHA1": "A31B8BD5B370A9103343C866F3C2B2998E889341",
  "Initial State File": "",
  "Verification State File": "pacifist.final.state",
  "Sequence File": "pacifist.sol"
}
