{ "files": [ "certora/harnesses/ERC721Harness.sol", "certora/harnesses/ERC721ReceiverHarness.sol" ], "optimistic_loop": true, "process": "emv", "url_visibility": "public", "verify": "ERC721Harness:certora/specs/ERC721.spec" }