{
  "files": [
    "contracts/tokens/CollectibleV1.sol",
    "certora/harness/CollectibleV1Harness.sol",
    "contracts/tokens/OwnerToken.sol",
    "contracts/tokens/MasterToken.sol"
  ],
  "msg": "Verifying CollectibleV1.sol",
  "rule_sanity": "basic",
  "verify": "CollectibleV1Harness:certora/specs/CollectibleV1.spec",
  "link": ["CollectibleV1Harness:ownerToken=OwnerToken", "CollectibleV1Harness:masterToken=MasterToken"],
  "packages": ["@openzeppelin=lib/openzeppelin-contracts"],
  "optimistic_loop": true,
  "loop_iter": "3"
}