1cf20da1-2ea3-4a82-a4f9-b47df83e9c9e
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 31664 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 95407 | artifact.fetch | complete | 1 / 3 | 1 week ago |
| 95408 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 95409 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 95410 | capability.graph | complete | 1 / 3 | 1 week ago |
| 95411 | detector.run | complete | 1 / 3 | 1 week ago |
| 95412 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:1478839] OpenAI Codex v0.77.0 (research preview)
[codex:1478839] --------
[codex:1478839] workdir: /tmp/codex-multi-fp5fup3e
[codex:1478839] model: gpt-5.2-codex
[codex:1478839] provider: openai
[codex:1478839] approval: never
[codex:1478839] sandbox: read-only
[codex:1478839] reasoning effort: xhigh
[codex:1478839] reasoning summaries: auto
[codex:1478839] session id: 019b8c0d-3d1f-70f3-95c5-55264f96344b
[codex:1478839] --------
[codex:1478839] user
[codex:1478839] You are a profit-focused exploit hunter analyzing EVM bytecode. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1478839]
[codex:1478839] Read `BYTECODE_BUNDLE.txt` completely before concluding.
[codex:1478839]
[codex:1478839] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1478839] - Gas inefficiency, code quality, or best practices
[codex:1478839] - Theoretical vulnerabilities without a clear extraction path
[codex:1478839] - Generic footguns (unchecked return values, etc.) unless they enable theft
[codex:1478839] - Issues requiring social engineering or off-chain coordination
[codex:1478839]
[codex:1478839] PATTERNS WORTH INVESTIGATING in bytecode:
[codex:1478839] - CALL/DELEGATECALL with controllable destination or calldata
[codex:1478839] - Value transfers (CALL with non-zero value) without prior CALLER/ORIGIN checks
[codex:1478839] - SSTORE to low slots (0-10) that might be owner/admin storage
[codex:1478839] - ecrecover (signature validation) - look for missing nonce/replay protection
[codex:1478839] - External calls before state updates (reentrancy)
[codex:1478839] - SELFDESTRUCT with controllable beneficiary
[codex:1478839] - Proxy patterns (DELEGATECALL to storage slot) with unprotected upgrade paths
[codex:1478839]
[codex:1478839] For each finding, you MUST explain:
[codex:1478839] 1. The specific bytecode pattern/offsets that indicate the vulnerability
[codex:1478839] 2. The concrete sequence of transactions to extract value
[codex:1478839] 3. Why you believe this is exploitable (not just suspicious)
[codex:1478839]
[codex:1478839] If you cannot identify a concrete profit path from bytecode alone: set no_findings=true.
[codex:1478839] Do NOT hallucinate. Bytecode-only analysis is limited - be honest about uncertainty.
[codex:1478839]
[codex:1478839] Output MUST be valid JSON matching the provided schema.
[codex:1478839] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1478839] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1478839] mcp startup: no servers
[codex:1478839]
[codex:1478839] thinking
[codex:1478839] **Preparing to read instructions**
[codex:1478839] exec
[codex:1478839] /bin/bash -lc ls in /tmp/codex-multi-fp5fup3e succeeded in 5ms:
[codex:1478839] BYTECODE_BUNDLE.txt
[codex:1478839] codex-output-schema.json
[codex:1478839] exec
[codex:1478839] /bin/bash -lc 'cat BYTECODE_BUNDLE.txt' in /tmp/codex-multi-fp5fup3e succeeded in 5ms:
[codex:1478839] Runtime bytecode bundle for best-effort auditing.
[codex:1478839] Note: without verified source, conclusions are low-confidence unless a concrete pattern is visible.
[codex:1478839]
[codex:1478839] FILE: runtime_bytecode.hex
[codex:1478839] 0x6080604052600436106101025760003560e01c80638da5cb5b116100955780639e45622d116100645780639e45622d14610399578063c4c47ea5146103c2578063e38dda31146103ff578063e8078d9414610428578063f2fde38b1461043257610157565b80638da5cb5b1461031257806399d8fe1c1461033d5780639c8f9f23146103475780639dbf5eca1461037057610157565b80636f9fb98a116100d15780636f9fb98a14610254578063715018a61461027f578063740ad12a14610296578063858e5b5f146102d457610157565b80632b7f0923146101a757806335c7e925146101c35780635300f841146101ee5780635312ea8e1461022b57610157565b36610157573373ffffffffffffffffffffffffffffffffffffffff167f88a5966d370b9919b20f3e2c13ff65706f196a4e32cc2c12bf57088f885258743460405161014d91906115f7565b60405180910390a2005b3373ffffffffffffffffffffffffffffffffffffffff167f88a5966d370b9919b20f3e2c13ff65706f196a4e32cc2c12bf57088f885258743460405161019d91906115f7565b60405180910390a2005b6101c160048036038101906101bc91906116a1565b61045b565b005b3480156101cf57600080fd5b506101d861057e565b6040516101e591906115f7565b60405180910390f35b3480156101fa57600080fd5b50610215600480360381019061021091906116f4565b610599565b604051610222919061173c565b60405180910390f35b34801561023757600080fd5b50610252600480360381019061024d9190611757565b6105b9565b005b34801561026057600080fd5b50610269610710565b60405161027691906115f7565b60405180910390f35b34801561028b57600080fd5b50610294610718565b005b3480156102a257600080fd5b506102bd60048036038101906102b89190611784565b61072c565b6040516102cb9291906117c4565b60405180910390f35b3480156102e057600080fd5b506102fb60048036038101906102f69190611784565b6107ef565b6040516103099291906117c4565b60405180910390f35b34801561031e57600080fd5b5061032761082d565b60405161033491906117fc565b60405180910390f35b610345610856565b005b34801561035357600080fd5b5061036e60048036038101906103699190611757565b6108fa565b005b34801561037c57600080fd5b5061039760048036038101906103929190611843565b610c1d565b005b3480156103a557600080fd5b506103c060048036038101906103bb9190611757565b610d28565b005b3480156103ce57600080fd5b506103e960048036038101906103e49190611757565b610ec4565b6040516103f691906115f7565b60405180910390f35b34801561040b57600080fd5b5061042660048036038101906104219190611883565b610edc565b005b610430611177565b005b34801561043e57600080fd5b50610459600480360381019061045491906116f4565b6113b6565b005b61046361143c565b6000469050600034116104ab576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016104a290611933565b60405180910390fd5b600073ffffffffffffffffffffffffffffffffffffffff168373ffffffffffffffffffffffffffffffffffffffff160361051a576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016105119061199f565b60405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff167f3ec4b7e5de4e78d512c0215ccb9f4bc1e894972124e21c7e67ddbbee7193f67882863487876040516105689594939291906119bf565b60405180910390a250610579611482565b505050565b60006004600046815260200190815260200160002054905090565b60036020528060005260406000206000915054906101000a900460ff1681565b6105c161148b565b6000479050600082036105d2578091505b81811015610615576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161060c90611a5e565b60405180910390fd5b60008211610658576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161064f90611aca565b60405180910390fd5b600061066261082d565b73ffffffffffffffffffffffffffffffffffffffff168360405161068590611b1b565b60006040518083038185875af1925050503d80600081146106c2576040519150601f19603f3d011682016040523d82523d6000602084013e6106c7565b606091505b505090508061070b576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161070290611b7c565b60405180910390fd5b505050565b600047905090565b61072061148b565b61072a6000611512565b565b600080600260008573ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600084815260200190815260200160002060000154600260008673ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600085815260200190815260200160002060010160009054906101000a900460ff16915091509250929050565b6002602052816000526040600020602052806000526040600020600091509150508060000154908060010160009054906101000a900460ff16905082565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff16905090565b61085e61148b565b600034116108a1576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161089890611933565b60405180910390fd5b6108a961082d565b73ffffffffffffffffffffffffffffffffffffffff167ffaa9e5e1d2e57a4765aeea832be42689e8549dc75683834da54c5d5589fa036b34426040516108f0929190611b9c565b60405180910390a2565b61090261143c565b6000469050600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082815260200190815260200160002060010160009054906101000a900460ff166109a7576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161099e90611c11565b60405180910390fd5b81600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff1681526020019081526020016000206000838152602001908152602001600020600001541015610a3d576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a3490611c7d565b60405180910390fd5b81471015610a80576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610a7790611ce9565b60405180910390fd5b81600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008381526020019081526020016000206000016000828254610ae39190611d38565b9250508190555081600460008381526020019081526020016000206000828254610b0d9190611d38565b9250508190555060003373ffffffffffffffffffffffffffffffffffffffff1683604051610b3a90611b1b565b60006040518083038185875af1925050503d8060008114610b77576040519150601f19603f3d011682016040523d82523d6000602084013e610b7c565b606091505b5050905080610bc0576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610bb790611b7c565b60405180910390fd5b3373ffffffffffffffffffffffffffffffffffffffff167f96cd817c6329656790ef8fba7675405193677d39619571282f5e21f3a98cd0598385604051610c08929190611b9c565b60405180910390a25050610c1a611482565b50565b610c2561148b565b600073ffffffffffffffffffffffffffffffffffffffff168273ffffffffffffffffffffffffffffffffffffffff1603610c94576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610c8b90611db8565b60405180910390fd5b80600360008473ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060006101000a81548160ff0219169083151502179055507f4b36b2e66f38ed349bec532105790177f1283bcbc094e6cd48565195d3033c438282604051610d1c929190611dd8565b60405180910390a15050565b610d3061148b565b80471015610d73576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610d6a90611a5e565b60405180910390fd5b60008111610db6576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610dad90611933565b60405180910390fd5b6000610dc061082d565b73ffffffffffffffffffffffffffffffffffffffff1682604051610de390611b1b565b60006040518083038185875af1925050503d8060008114610e20576040519150601f19603f3d011682016040523d82523d6000602084013e610e25565b606091505b5050905080610e69576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610e6090611b7c565b60405180910390fd5b610e7161082d565b73ffffffffffffffffffffffffffffffffffffffff167fd31e3d6db5914cfbd51b0e170345df4a1f88d700242a74eebb3bb31366d2a8808342604051610eb8929190611b9c565b60405180910390a25050565b60046020528060005260406000206000915090505481565b600360003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060009054906101000a900460ff16610f68576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610f5f90611e4d565b60405180910390fd5b610f7061143c565b6000469050600073ffffffffffffffffffffffffffffffffffffffff168473ffffffffffffffffffffffffffffffffffffffff1603610fe4576040517f08c379a0000000000000000000000000000000000000000000000000000000008152600401610fdb9061199f565b60405180910390fd5b60008211611027576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161101e90611eb9565b60405180910390fd5b8147101561106a576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161106190611c7d565b60405180910390fd5b60008473ffffffffffffffffffffffffffffffffffffffff168360405161109090611b1b565b60006040518083038185875af1925050503d80600081146110cd576040519150601f19603f3d011682016040523d82523d6000602084013e6110d2565b606091505b5050905080611116576040517f08c379a000000000000000000000000000000000000000000000000000000000815260040161110d90611b7c565b60405180910390fd5b8473ffffffffffffffffffffffffffffffffffffffff167ff2336a4e7a013a8e991976ddf74c10cc2796a3b5284a5352c1719539f745e9dc85848660405161116093929190611ed9565b60405180910390a25050611172611482565b505050565b61117f61143c565b6000469050600034116111c7576040517f08c379a00000000000000000000000000000000000000000000000000000000081526004016111be90611933565b60405180910390fd5b600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600082815260200190815260200160002060010160009054906101000a900460ff166112c657604051806040016040528034815260200160011515815250600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff16815260200190815260200160002060008381526020019081526020016000206000820151816000015560208201518160010160006101000a81548160ff021916908315150217905550905050611331565b34600260003373ffffffffffffffffffffffffffffffffffffffff1673ffffffffffffffffffffffffffffffffffffffff168152602001908152602001600020600083815260200190815260200160002060000160008282546113299190611f10565b925050819055505b346004600083815260200190815260200160002060008282546113549190611f10565b925050819055503373ffffffffffffffffffffffffffffffffffffffff167fac1d76749e5447b7b16f5ab61447e1bd502f3bb4807af3b28e620d1700a6ee4582346040516113a3929190611b9c565b60405180910390a2506113b4611482565b565b6113be61148b565b600073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff16036114305760006040517f1e4fbdf700000000000000000000000000000000000000000000000000000000815260040161142791906117fc565b60405180910390fd5b61143981611512565b50565b600260015403611478576040517f3ee5aeb500000000000000000000000000000000000000000000000000000000815260040160405180910390fd5b6002600181905550565b60018081905550565b6114936115d6565b73ffffffffffffffffffffffffffffffffffffffff166114b161082d565b73ffffffffffffffffffffffffffffffffffffffff1614611510576114d46115d6565b6040517f118cdaa700000000000000000000000000000000000000000000000000000000815260040161150791906117fc565b60405180910390fd5b565b60008060009054906101000a900473ffffffffffffffffffffffffffffffffffffffff169050816000806101000a81548173ffffffffffffffffffffffffffffffffffffffff021916908373ffffffffffffffffffffffffffffffffffffffff1602179055508173ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff167f8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e060405160405180910390a35050565b600033905090565b6000819050919050565b6115f1816115de565b82525050565b600060208201905061160c60008301846115e8565b92915050565b600080fd5b611620816115de565b811461162b57600080fd5b50565b60008135905061163d81611617565b92915050565b600073ffffffffffffffffffffffffffffffffffffffff82169050919050565b600061166e82611643565b9050919050565b61167e81611663565b811461168957600080fd5b50565b60008135905061169b81611675565b92915050565b6000806000606084860312156116ba576116b9611612565b5b60006116c88682870161162e565b93505060206116d98682870161168c565b92505060406116ea8682870161168c565b9150509250925092565b60006020828403121561170a57611709611612565b5b60006117188482850161168c565b91505092915050565b60008115159050919050565b61173681611721565b82525050565b6000602082019050611751600083018461172d565b92915050565b60006020828403121561176d5761176c611612565b5b600061177b8482850161162e565b91505092915050565b6000806040838503121561179b5761179a611612565b5b60006117a98582860161168c565b92505060206117ba8582860161162e565b9150509250929050565b60006040820190506117d960008301856115e8565b6117e6602083018461172d565b9392505050565b6117f681611663565b82525050565b600060208201905061181160008301846117ed565b92915050565b61182081611721565b811461182b57600080fd5b50565b60008135905061183d81611817565b92915050565b6000806040838503121561185a57611859611612565b5b60006118688582860161168c565b92505060206118798582860161182e565b9150509250929050565b60008060006060848603121561189c5761189b611612565b5b60006118aa8682870161168c565b93505060206118bb8682870161162e565b92505060406118cc8682870161162e565b9150509250925092565b600082825260208201905092915050565b7f416d6f756e74206d7573742062652067726561746572207468616e2030000000600082015250565b600061191d601d836118d6565b9150611928826118e7565b602082019050919050565b6000602082019050818103600083015261194c81611910565b9050919050565b7f496e76616c696420726563697069656e74206164647265737300000000000000600082015250565b60006119896019836118d6565b915061199482611953565b602082019050919050565b600060208201905081810360008301526119b88161197c565b9050919050565b600060a0820190506119d460008301886115e8565b6119e160208301876115e8565b6119ee60408301866115e8565b6119fb60608301856117ed565b611a0860808301846117ed565b9695505050505050565b7f496e73756666696369656e742062616c616e6365000000000000000000000000600082015250565b6000611a486014836118d6565b9150611a5382611a12565b602082019050919050565b60006020820190508181036000830152611a7781611a3b565b9050919050565b7f4e6f2045544820746f2077697468647261770000000000000000000000000000600082015250565b6000611ab46012836118d6565b9150611abf82611a7e565b602082019050919050565b60006020820190508181036000830152611ae381611aa7565b9050919050565b600081905092915050565b50565b6000611b05600083611aea565b9150611b1082611af5565b600082019050919050565b6000611b2682611af8565b9150819050919050565b7f455448207472616e73666572206661696c656400000000000000000000000000600082015250565b6000611b666013836118d6565b9150611b7182611b30565b602082019050919050565b60006020820190508181036000830152611b9581611b59565b9050919050565b6000604082019050611bb160008301856115e8565b611bbe60208301846115e8565b9392505050565b7f4e6f206c69717569646974790000000000000000000000000000000000000000600082015250565b6000611bfb600c836118d6565b9150611c0682611bc5565b602082019050919050565b60006020820190508181036000830152611c2a81611bee565b9050919050565b7f496e73756666696369656e74206c697175696469747900000000000000000000600082015250565b6000611c676016836118d6565b9150611c7282611c31565b602082019050919050565b60006020820190508181036000830152611c9681611c5a565b9050919050565b7f496e73756666696369656e7420636f6e74726163742062616c616e6365000000600082015250565b6000611cd3601d836118d6565b9150611cde82611c9d565b602082019050919050565b60006020820190508181036000830152611d0281611cc6565b9050919050565b7f4e487b7100000000000000000000000000000000000000000000000000000000600052601160045260246000fd5b6000611d43826115de565b9150611d4e836115de565b9250828203905081811115611d6657611d65611d09565b5b92915050565b7f496e76616c69642072656c617965722061646472657373000000000000000000600082015250565b6000611da26017836118d6565b9150611dad82611d6c565b602082019050919050565b60006020820190508181036000830152611dd181611d95565b9050919050565b6000604082019050611ded60008301856117ed565b611dfa602083018461172d565b9392505050565b7f4e6f7420617574686f72697a6564000000000000000000000000000000000000600082015250565b6000611e37600e836118d6565b9150611e4282611e01565b602082019050919050565b60006020820190508181036000830152611e6681611e2a565b9050919050565b7f496e76616c696420616d6f756e74000000000000000000000000000000000000600082015250565b6000611ea3600e836118d6565b9150611eae82611e6d565b602082019050919050565b60006020820190508181036000830152611ed281611e96565b9050919050565b6000606082019050611eee60008301866115e8565b611efb60208301856115e8565b611f0860408301846115e8565b949350505050565b6000611f1b826115de565b9150611f26836115de565b9250828201905080821115611f3e57611f3d611d09565b5b9291505056fea26469706673582212207590884b46fee948f8cc9b27e8344ae5f27ff70327f7885b20f1b2a07d11533864736f6c634300081c0033
[codex:1478839]
[codex:1478839]
[codex:1478839]
[codex:1478839]
[codex:1478839]
[codex:1478839] thinking
[codex:1478839] **Analyzing bytecode for vulnerabilities**
[codex:1478839] thinking
[codex:1478839] **Analyzing EVM callvalue logic and event emission**
[codex:1478839] thinking
[codex:1478839] **Analyzing contract functions and parameters**
[codex:1478839] thinking
[codex:1478839] **Clarifying parameter decoding and function roles**
[codex:1478839]
[codex:1478839] I’m carefully verifying whether certain functions take address or uint256 parameters by analyzing calldata decoding and usage patterns. It looks like the suspected address parameter is actually a uint256 amount in many cases, which fits common function signatures like removeLiquidity(uint256 amount). I’m also examining how internal decoding functions delegate to masks and validators to confirm types. This helps me better understand the exact parameter roles and confirms which functions handle amounts versus addresses for withdrawals and liquidity management.
[codex:1478839] thinking
[codex:1478839] **Preparing final analysis report**
[codex:1478839]
[codex:1478839] I’m wrapping up by confirming no delegatecall, selfdestruct, or proxy patterns exist and ensuring all external calls have proper checks. Since no clear exploit path for value extraction appears, I’m assembling the final JSON report indicating no findings, with a concise summary of the safe, access-controlled transfers observed.
[codex:1478839] codex
[codex:1478839] {"no_findings":true,"summary":"Reviewed the runtime bytecode for unprotected value transfers, controllable call targets, upgrade paths, and auth bypasses; no concrete, exploitable profit path is visible from the bytecode alone.","findings":[]}
[codex:1478839] tokens used
[codex:1478839] 38,238
[codex:1478839] {"no_findings":true,"summary":"Reviewed the runtime bytecode for unprotected value transfers, controllable call targets, upgrade paths, and auth bypasses; no concrete, exploitable profit path is visible from the bytecode alone.","findings":[]}
{
"codex": {
"ran_at": "2026-01-05T02:53:25.618169+00:00",
"returncode": 0
},
"summary": "Reviewed the runtime bytecode for unprotected value transfers, controllable call targets, upgrade paths, and auth bypasses; no concrete, exploitable profit path is visible from the bytecode alone.",
"raw_final": {
"summary": "Reviewed the runtime bytecode for unprotected value transfers, controllable call targets, upgrade paths, and auth bypasses; no concrete, exploitable profit path is visible from the bytecode alone.",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0102 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x0095 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x9e45622d 00000024: GT 00000025: PUSH2 0x0064 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0x9e45622d 0000002f: EQ 00000030: PUSH2 0x0399 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xc4c47ea5 0000003a: EQ 0000003b: PUSH2 0x03c2 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe38dda31 00000045: EQ 00000046: PUSH2 0x03ff 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xe8078d94 00000050: EQ 00000051: PUSH2 0x0428 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf2fde38b 0000005b: EQ 0000005c: PUSH2 0x0432 0000005f: JUMPI 00000060: PUSH2 0x0157 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x8da5cb5b 0000006b: EQ 0000006c: PUSH2 0x0312 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0x99d8fe1c 00000076: EQ 00000077: PUSH2 0x033d 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x9c8f9f23 00000081: EQ 00000082: PUSH2 0x0347 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x9dbf5eca 0000008c: EQ 0000008d: PUSH2 0x0370 00000090: JUMPI 00000091: PUSH2 0x0157 00000094: JUMP 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0x6f9fb98a 0000009c: GT 0000009d: PUSH2 0x00d1 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x6f9fb98a 000000a7: EQ 000000a8: PUSH2 0x0254 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x715018a6 000000b2: EQ 000000b3: PUSH2 0x027f 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x740ad12a 000000bd: EQ 000000be: PUSH2 0x0296 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x858e5b5f 000000c8: EQ 000000c9: PUSH2 0x02d4 000000cc: JUMPI 000000cd: PUSH2 0x0157 000000d0: JUMP 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x2b7f0923 000000d8: EQ 000000d9: PUSH2 0x01a7 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x35c7e925 000000e3: EQ 000000e4: PUSH2 0x01c3 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x5300f841 000000ee: EQ 000000ef: PUSH2 0x01ee 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x5312ea8e 000000f9: EQ 000000fa: PUSH2 0x022b 000000fd: JUMPI 000000fe: PUSH2 0x0157 00000101: JUMP 00000102: JUMPDEST 00000103: CALLDATASIZE 00000104: PUSH2 0x0157 00000107: JUMPI 00000108: CALLER 00000109: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000011e: AND 0000011f: PUSH32 0x88a5966d370b9919b20f3e2c13ff65706f196a4e32cc2c12bf57088f88525874 00000140: CALLVALUE 00000141: PUSH1 0x40 00000143: MLOAD 00000144: PUSH2 0x014d 00000147: SWAP2 00000148: SWAP1 00000149: PUSH2 0x15f7 0000014c: JUMP 0000014d: JUMPDEST 0000014e: PUSH1 0x40 00000150: MLOAD 00000151: DUP1 00000152: SWAP2 00000153: SUB 00000154: SWAP1 00000155: LOG2 00000156: STOP 00000157: JUMPDEST 00000158: CALLER 00000159: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000016e: AND 0000016f: PUSH32 0x88a5966d370b9919b20f3e2c13ff65706f196a4e32cc2c12bf57088f88525874 00000190: CALLVALUE 00000191: PUSH1 0x40 00000193: MLOAD 00000194: PUSH2 0x019d 00000197: SWAP2 00000198: SWAP1 00000199: PUSH2 0x15f7 0000019c: JUMP 0000019d: JUMPDEST 0000019e: PUSH1 0x40 000001a0: MLOAD 000001a1: DUP1 000001a2: SWAP2 000001a3: SUB 000001a4: SWAP1 000001a5: LOG2 000001a6: STOP 000001a7: JUMPDEST 000001a8: PUSH2 0x01c1 000001ab: PUSH1 0x04 000001ad: DUP1 000001ae: CALLDATASIZE 000001af: SUB 000001b0: DUP2 000001b1: ADD 000001b2: SWAP1 000001b3: PUSH2 0x01bc 000001b6: SWAP2 000001b7: SWAP1 000001b8: PUSH2 0x16a1 000001bb: JUMP 000001bc: JUMPDEST 000001bd: PUSH2 0x045b 000001c0: JUMP 000001c1: JUMPDEST 000001c2: STOP 000001c3: JUMPDEST 000001c4: CALLVALUE 000001c5: DUP1 000001c6: ISZERO 000001c7: PUSH2 0x01cf 000001ca: JUMPI 000001cb: PUSH1 0x00 000001cd: DUP1 000001ce: REVERT 000001cf: JUMPDEST 000001d0: POP 000001d1: PUSH2 0x01d8 000001d4: PUSH2 0x057e 000001d7: JUMP 000001d8: JUMPDEST 000001d9: PUSH1 0x40 000001db: MLOAD 000001dc: PUSH2 0x01e5 000001df: SWAP2 000001e0: SWAP1 000001e1: PUSH2 0x15f7 000001e4: JUMP 000001e5: JUMPDEST 000001e6: PUSH1 0x40 000001e8: MLOAD 000001e9: DUP1 000001ea: SWAP2 000001eb: SUB 000001ec: SWAP1 000001ed: RETURN 000001ee: JUMPDEST 000001ef: CALLVALUE 000001f0: DUP1 000001f1: ISZERO 000001f2: PUSH2 0x01fa 000001f5: JUMPI 000001f6: PUSH1 0x00 000001f8: DUP1 000001f9: REVERT 000001fa: JUMPDEST 000001fb: POP 000001fc: PUSH2 0x0215 000001ff: PUSH1 0x04 00000201: DUP1 00000202: CALLDATASIZE 00000203: SUB 00000204: DUP2 00000205: ADD 00000206: SWAP1 00000207: PUSH2 0x0210 0000020a: SWAP2 0000020b: SWAP1 0000020c: PUSH2 0x16f4 0000020f: JUMP 00000210: JUMPDEST 00000211: PUSH2 0x0599 00000214: JUMP 00000215: JUMPDEST 00000216: PUSH1 0x40 00000218: MLOAD 00000219: PUSH2 0x0222 0000021c: SWAP2 0000021d: SWAP1 0000021e: PUSH2 0x173c 00000221: JUMP 00000222: JUMPDEST 00000223: PUSH1 0x40 00000225: MLOAD 00000226: DUP1 00000227: SWAP2 00000228: SUB 00000229: SWAP1 0000022a: RETURN 0000022b: JUMPDEST 0000022c: CALLVALUE 0000022d: DUP1 0000022e: ISZERO 0000022f: PUSH2 0x0237 00000232: JUMPI 00000233: PUSH1 0x00 00000235: DUP1 00000236: REVERT 00000237: JUMPDEST 00000238: POP 00000239: PUSH2 0x0252 0000023c: PUSH1 0x04 0000023e: DUP1 0000023f: CALLDATASIZE 00000240: SUB 00000241: DUP2 00000242: ADD 00000243: SWAP1 00000244: PUSH2 0x024d 00000247: SWAP2 00000248: SWAP1 00000249: PUSH2 0x1757 0000024c: JUMP 0000024d: JUMPDEST 0000024e: PUSH2 0x05b9 00000251: JUMP 00000252: JUMPDEST 00000253: STOP 00000254: JUMPDEST 00000255: CALLVALUE 00000256: DUP1 00000257: ISZERO 00000258: PUSH2 0x0260 0000025b: JUMPI 0000025c: PUSH1 0x00 0000025e: DUP1 0000025f: REVERT 00000260: JUMPDEST 00000261: POP 00000262: PUSH2 0x0269 00000265: PUSH2 0x0710 00000268: JUMP 00000269: JUMPDEST 0000026a: PUSH1 0x40 0000026c: MLOAD 0000026d: PUSH2 0x0276 00000270: SWAP2 00000271: SWAP1 00000272: PUSH2 0x15f7 00000275: JUMP 00000276: JUMPDEST 00000277: PUSH1 0x40 00000279: MLOAD 0000027a: DUP1 0000027b: SWAP2 0000027c: SUB 0000027d: SWAP1 0000027e: RETURN 0000027f: JUMPDEST 00000280: CALLVALUE 00000281: DUP1 00000282: ISZERO 00000283: PUSH2 0x028b 00000286: JUMPI 00000287: PUSH1 0x00 00000289: DUP1 0000028a: REVERT 0000028b: JUMPDEST 0000028c: POP 0000028d: PUSH2 0x0294 00000290: PUSH2 0x0718 00000293: JUMP 00000294: JUMPDEST 00000295: STOP 00000296: JUMPDEST 00000297: CALLVALUE 00000298: DUP1 00000299: ISZERO 0000029a: PUSH2 0x02a2 0000029d: JUMPI 0000029e: PUSH1 0x00 000002a0: DUP1 000002a1: REVERT 000002a2: JUMPDEST 000002a3: POP 000002a4: PUSH2 0x02bd 000002a7: PUSH1 0x04 000002a9: DUP1 000002aa: CALLDATASIZE 000002ab: SUB 000002ac: DUP2 000002ad: ADD 000002ae: SWAP1 000002af: PUSH2 0x02b8 000002b2: SWAP2 000002b3: SWAP1 000002b4: PUSH2 0x1784 000002b7: JUMP 000002b8: JUMPDEST 000002b9: PUSH2 0x072c 000002bc: JUMP 000002bd: JUMPDEST 000002be: PUSH1 0x40 000002c0: MLOAD 000002c1: PUSH2 0x02cb 000002c4: SWAP3 000002c5: SWAP2 000002c6: SWAP1 000002c7: PUSH2 0x17c4 000002ca: JUMP 000002cb: JUMPDEST 000002cc: PUSH1 0x40 000002ce: MLOAD 000002cf: DUP1 000002d0: SWAP2 000002d1: SUB 000002d2: SWAP1 000002d3: RETURN 000002d4: JUMPDEST 000002d5: CALLVALUE 000002d6: DUP1 000002d7: ISZERO 000002d8: PUSH2 0x02e0 000002db: JUMPI 000002dc: PUSH1 0x00 000002de: DUP1 000002df: REVERT 000002e0: JUMPDEST 000002e1: POP 000002e2: PUSH2 0x02fb 000002e5: PUSH1 0x04 000002e7: DUP1 000002e8: CALLDATASIZE 000002e9: SUB 000002ea: DUP2 000002eb: ADD 000002ec: SWAP1 000002ed: PUSH2 0x02f6 000002f0: SWAP2 000002f1: SWAP1 000002f2: PUSH2 0x1784 000002f5: JUMP 000002f6: JUMPDEST 000002f7: PUSH2 0x07ef 000002fa: JUMP 000002fb: JUMPDEST 000002fc: PUSH1 0x40 000002fe: MLOAD 000002ff: PUSH2 0x0309 00000302: SWAP3 00000303: SWAP2 00000304: SWAP1 00000305: PUSH2 0x17c4 00000308: JUMP 00000309: JUMPDEST 0000030a: PUSH1 0x40 0000030c: MLOAD 0000030d: DUP1 0000030e: SWAP2 0000030f: SUB 00000310: SWAP1 00000311: RETURN 00000312: JUMPDEST 00000313: CALLVALUE 00000314: DUP1 00000315: ISZERO 00000316: PUSH2 0x031e 00000319: JUMPI 0000031a: PUSH1 0x00 0000031c: DUP1 0000031d: REVERT 0000031e: JUMPDEST 0000031f: POP 00000320: PUSH2 0x0327 00000323: PUSH2 0x082d 00000326: JUMP 00000327: JUMPDEST 00000328: PUSH1 0x40 0000032a: MLOAD 0000032b: PUSH2 0x0334 0000032e: SWAP2 0000032f: SWAP1 00000330: PUSH2 0x17fc 00000333: JUMP 00000334: JUMPDEST 00000335: PUSH1 0x40 00000337: MLOAD 00000338: DUP1 00000339: SWAP2 0000033a: SUB 0000033b: SWAP1 0000033c: RETURN 0000033d: JUMPDEST 0000033e: PUSH2 0x0345 00000341: PUSH2 0x0856 00000344: JUMP 00000345: JUMPDEST 00000346: STOP 00000347: JUMPDEST 00000348: CALLVALUE 00000349: DUP1 0000034a: ISZERO 0000034b: PUSH2 0x0353 0000034e: JUMPI 0000034f: PUSH1 0x00 00000351: DUP1 00000352: REVERT 00000353: JUMPDEST 00000354: POP 00000355: PUSH2 0x036e 00000358: PUSH1 0x04 0000035a: DUP1 0000035b: CALLDATASIZE 0000035c: SUB 0000035d: DUP2 0000035e: ADD 0000035f: SWAP1 00000360: PUSH2 0x0369 00000363: SWAP2 00000364: SWAP1 00000365: PUSH2 0x1757 00000368: JUMP 00000369: JUMPDEST 0000036a: PUSH2 0x08fa 0000036d: JUMP 0000036e: JUMPDEST 0000036f: STOP 00000370: JUMPDEST 00000371: CALLVALUE 00000372: DUP1 00000373: ISZERO 00000374: PUSH2 0x037c 00000377: JUMPI 00000378: PUSH1 0x00 0000037a: DUP1 0000037b: REVERT 0000037c: JUMPDEST 0000037d: POP 0000037e: PUSH2 0x0397 00000381: PUSH1 0x04 00000383: DUP1 00000384: CALLDATASIZE 00000385: SUB 00000386: DUP2 00000387: ADD 00000388: SWAP1 00000389: PUSH2 0x0392 0000038c: SWAP2 0000038d: SWAP1 0000038e: PUSH2 0x1843 00000391: JUMP 00000392: JUMPDEST 00000393: PUSH2 0x0c1d 00000396: JUMP 00000397: JUMPDEST 00000398: STOP 00000399: JUMPDEST 0000039a: CALLVALUE 0000039b: DUP1 0000039c: ISZERO 0000039d: PUSH2 0x03a5 000003a0: JUMPI 000003a1: PUSH1 0x00 000003a3: DUP1 000003a4: REVERT 000003a5: JUMPDEST 000003a6: POP 000003a7: PUSH2 0x03c0 000003aa: PUSH1 0x04 000003ac: DUP1 000003ad: CALLDATASIZE 000003ae: SUB 000003af: DUP2 000003b0: ADD 000003b1: SWAP1 000003b2: PUSH2 0x03bb 000003b5: SWAP2 000003b6: SWAP1 000003b7: PUSH2 0x1757 000003ba: JUMP 000003bb: JUMPDEST 000003bc: PUSH2 0x0d28 000003bf: JUMP 000003c0: JUMPDEST 000003c1: STOP 000003c2: JUMPDEST 000003c3: CALLVALUE 000003c4: DUP1 000003c5: ISZERO 000003c6: PUSH2 0x03ce 000003c9: JUMPI 000003ca: PUSH1 0x00 000003cc: DUP1 000003cd: REVERT 000003ce: JUMPDEST 000003cf: POP 000003d0: PUSH2 0x03e9 000003d3: PUSH1 0x04 000003d5: DUP1 000003d6: CALLDATASIZE 000003d7: SUB 000003d8: DUP2 000003d9: ADD 000003da: SWAP1 000003db: PUSH2 0x03e4 000003de: SWAP2 000003df: SWAP1 000003e0: PUSH2 0x1757 000003e3: JUMP 000003e4: JUMPDEST 000003e5: PUSH2 0x0ec4 000003e8: JUMP 000003e9: JUMPDEST 000003ea: PUSH1 0x40 000003ec: MLOAD 000003ed: PUSH2 0x03f6 000003f0: SWAP2 000003f1: SWAP1 000003f2: PUSH2 0x15f7 000003f5: JUMP 000003f6: JUMPDEST 000003f7: PUSH1 0x40 000003f9: MLOAD 000003fa: DUP1 000003fb: SWAP2 000003fc: SUB 000003fd: SWAP1 000003fe: RETURN 000003ff: JUMPDEST 00000400: CALLVALUE 00000401: DUP1 00000402: ISZERO 00000403: PUSH2 0x040b 00000406: JUMPI 00000407: PUSH1 0x00 00000409: DUP1 0000040a: REVERT 0000040b: JUMPDEST 0000040c: POP 0000040d: PUSH2 0x0426 00000410: PUSH1 0x04 00000412: DUP1 00000413: CALLDATASIZE 00000414: SUB 00000415: DUP2 00000416: ADD 00000417: SWAP1 00000418: PUSH2 0x0421 0000041b: SWAP2 0000041c: SWAP1 0000041d: PUSH2 0x1883 00000420: JUMP 00000421: JUMPDEST 00000422: PUSH2 0x0edc 00000425: JUMP 00000426: JUMPDEST 00000427: STOP 00000428: JUMPDEST 00000429: PUSH2 0x0430 0000042c: PUSH2 0x1177 0000042f: JUMP 00000430: JUMPDEST 00000431: STOP 00000432: JUMPDEST 00000433: CALLVALUE 00000434: DUP1 00000435: ISZERO 00000436: PUSH2 0x043e 00000439: JUMPI 0000043a: PUSH1 0x00 0000043c: DUP1 0000043d: REVERT 0000043e: JUMPDEST 0000043f: POP 00000440: PUSH2 0x0459 00000443: PUSH1 0x04 00000445: DUP1 00000446: CALLDATASIZE 00000447: SUB 00000448: DUP2 00000449: ADD 0000044a: SWAP1 0000044b: PUSH2 0x0454 0000044e: SWAP2 0000044f: SWAP1 00000450: PUSH2 0x16f4 00000453: JUMP 00000454: JUMPDEST 00000455: PUSH2 0x13b6 00000458: JUMP 00000459: JUMPDEST 0000045a: STOP 0000045b: JUMPDEST 0000045c: PUSH2 0x0463 0000045f: PUSH2 0x143c 00000462: JUMP 00000463: JUMPDEST 00000464: PUSH1 0x00 00000466: CHAINID 00000467: SWAP1 00000468: POP 00000469: PUSH1 0x00 0000046b: CALLVALUE 0000046c: GT 0000046d: PUSH2 0x04ab 00000470: JUMPI 00000471: PUSH1 0x40 00000473: MLOAD 00000474: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000495: DUP2 00000496: MSTORE 00000497: PUSH1 0x04 00000499: ADD 0000049a: PUSH2 0x04a2 0000049d: SWAP1 0000049e: PUSH2 0x1933 000004a1: JUMP 000004a2: JUMPDEST 000004a3: PUSH1 0x40 000004a5: MLOAD 000004a6: DUP1 000004a7: SWAP2 000004a8: SUB 000004a9: SWAP1 000004aa: REVERT 000004ab: JUMPDEST 000004ac: PUSH1 0x00 000004ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004c3: AND 000004c4: DUP4 000004c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004da: AND 000004db: SUB 000004dc: PUSH2 0x051a 000004df: JUMPI 000004e0: PUSH1 0x40 000004e2: MLOAD 000004e3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000504: DUP2 00000505: MSTORE 00000506: PUSH1 0x04 00000508: ADD 00000509: PUSH2 0x0511 0000050c: SWAP1 0000050d: PUSH2 0x199f 00000510: JUMP 00000511: JUMPDEST 00000512: PUSH1 0x40 00000514: MLOAD 00000515: DUP1 00000516: SWAP2 00000517: SUB 00000518: SWAP1 00000519: REVERT 0000051a: JUMPDEST 0000051b: CALLER 0000051c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000531: AND 00000532: PUSH32 0x3ec4b7e5de4e78d512c0215ccb9f4bc1e894972124e21c7e67ddbbee7193f678 00000553: DUP3 00000554: DUP7 00000555: CALLVALUE 00000556: DUP8 00000557: DUP8 00000558: PUSH1 0x40 0000055a: MLOAD 0000055b: PUSH2 0x0568 0000055e: SWAP6 0000055f: SWAP5 00000560: SWAP4 00000561: SWAP3 00000562: SWAP2 00000563: SWAP1 00000564: PUSH2 0x19bf 00000567: JUMP 00000568: JUMPDEST 00000569: PUSH1 0x40 0000056b: MLOAD 0000056c: DUP1 0000056d: SWAP2 0000056e: SUB 0000056f: SWAP1 00000570: LOG2 00000571: POP 00000572: PUSH2 0x0579 00000575: PUSH2 0x1482 00000578: JUMP 00000579: JUMPDEST 0000057a: POP 0000057b: POP 0000057c: POP 0000057d: JUMP 0000057e: JUMPDEST 0000057f: PUSH1 0x00 00000581: PUSH1 0x04 00000583: PUSH1 0x00 00000585: CHAINID 00000586: DUP2 00000587: MSTORE 00000588: PUSH1 0x20 0000058a: ADD 0000058b: SWAP1 0000058c: DUP2 0000058d: MSTORE 0000058e: PUSH1 0x20 00000590: ADD 00000591: PUSH1 0x00 00000593: KECCAK256 00000594: SLOAD 00000595: SWAP1 00000596: POP 00000597: SWAP1 00000598: JUMP 00000599: JUMPDEST 0000059a: PUSH1 0x03 0000059c: PUSH1 0x20 0000059e: MSTORE 0000059f: DUP1 000005a0: PUSH1 0x00 000005a2: MSTORE 000005a3: PUSH1 0x40 000005a5: PUSH1 0x00 000005a7: KECCAK256 000005a8: PUSH1 0x00 000005aa: SWAP2 000005ab: POP 000005ac: SLOAD 000005ad: SWAP1 000005ae: PUSH2 0x0100 000005b1: EXP 000005b2: SWAP1 000005b3: DIV 000005b4: PUSH1 0xff 000005b6: AND 000005b7: DUP2 000005b8: JUMP 000005b9: JUMPDEST 000005ba: PUSH2 0x05c1 000005bd: PUSH2 0x148b 000005c0: JUMP 000005c1: JUMPDEST 000005c2: PUSH1 0x00 000005c4: SELFBALANCE 000005c5: SWAP1 000005c6: POP 000005c7: PUSH1 0x00 000005c9: DUP3 000005ca: SUB 000005cb: PUSH2 0x05d2 000005ce: JUMPI 000005cf: DUP1 000005d0: SWAP2 000005d1: POP 000005d2: JUMPDEST 000005d3: DUP2 000005d4: DUP2 000005d5: LT 000005d6: ISZERO 000005d7: PUSH2 0x0615 000005da: JUMPI 000005db: PUSH1 0x40 000005dd: MLOAD 000005de: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000005ff: DUP2 00000600: MSTORE 00000601: PUSH1 0x04 00000603: ADD 00000604: PUSH2 0x060c 00000607: SWAP1 00000608: PUSH2 0x1a5e 0000060b: JUMP 0000060c: JUMPDEST 0000060d: PUSH1 0x40 0000060f: MLOAD 00000610: DUP1 00000611: SWAP2 00000612: SUB 00000613: SWAP1 00000614: REVERT 00000615: JUMPDEST 00000616: PUSH1 0x00 00000618: DUP3 00000619: GT 0000061a: PUSH2 0x0658 0000061d: JUMPI 0000061e: PUSH1 0x40 00000620: MLOAD 00000621: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000642: DUP2 00000643: MSTORE 00000644: PUSH1 0x04 00000646: ADD 00000647: PUSH2 0x064f 0000064a: SWAP1 0000064b: PUSH2 0x1aca 0000064e: JUMP 0000064f: JUMPDEST 00000650: PUSH1 0x40 00000652: MLOAD 00000653: DUP1 00000654: SWAP2 00000655: SUB 00000656: SWAP1 00000657: REVERT 00000658: JUMPDEST 00000659: PUSH1 0x00 0000065b: PUSH2 0x0662 0000065e: PUSH2 0x082d 00000661: JUMP 00000662: JUMPDEST 00000663: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000678: AND 00000679: DUP4 0000067a: PUSH1 0x40 0000067c: MLOAD 0000067d: PUSH2 0x0685 00000680: SWAP1 00000681: PUSH2 0x1b1b 00000684: JUMP 00000685: JUMPDEST 00000686: PUSH1 0x00 00000688: PUSH1 0x40 0000068a: MLOAD 0000068b: DUP1 0000068c: DUP4 0000068d: SUB 0000068e: DUP2 0000068f: DUP6 00000690: DUP8 00000691: GAS 00000692: CALL 00000693: SWAP3 00000694: POP 00000695: POP 00000696: POP 00000697: RETURNDATASIZE 00000698: DUP1 00000699: PUSH1 0x00 0000069b: DUP2 0000069c: EQ 0000069d: PUSH2 0x06c2 000006a0: JUMPI 000006a1: PUSH1 0x40 000006a3: MLOAD 000006a4: SWAP2 000006a5: POP 000006a6: PUSH1 0x1f 000006a8: NOT 000006a9: PUSH1 0x3f 000006ab: RETURNDATASIZE 000006ac: ADD 000006ad: AND 000006ae: DUP3 000006af: ADD 000006b0: PUSH1 0x40 000006b2: MSTORE 000006b3: RETURNDATASIZE 000006b4: DUP3 000006b5: MSTORE 000006b6: RETURNDATASIZE 000006b7: PUSH1 0x00 000006b9: PUSH1 0x20 000006bb: DUP5 000006bc: ADD 000006bd: RETURNDATACOPY 000006be: PUSH2 0x06c7 000006c1: JUMP 000006c2: JUMPDEST 000006c3: PUSH1 0x60 000006c5: SWAP2 000006c6: POP 000006c7: JUMPDEST 000006c8: POP 000006c9: POP 000006ca: SWAP1 000006cb: POP 000006cc: DUP1 000006cd: PUSH2 0x070b 000006d0: JUMPI 000006d1: PUSH1 0x40 000006d3: MLOAD 000006d4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000006f5: DUP2 000006f6: MSTORE 000006f7: PUSH1 0x04 000006f9: ADD 000006fa: PUSH2 0x0702 000006fd: SWAP1 000006fe: PUSH2 0x1b7c 00000701: JUMP 00000702: JUMPDEST 00000703: PUSH1 0x40 00000705: MLOAD 00000706: DUP1 00000707: SWAP2 00000708: SUB 00000709: SWAP1 0000070a: REVERT 0000070b: JUMPDEST 0000070c: POP 0000070d: POP 0000070e: POP 0000070f: JUMP 00000710: JUMPDEST 00000711: PUSH1 0x00 00000713: SELFBALANCE 00000714: SWAP1 00000715: POP 00000716: SWAP1 00000717: JUMP 00000718: JUMPDEST 00000719: PUSH2 0x0720 0000071c: PUSH2 0x148b 0000071f: JUMP 00000720: JUMPDEST 00000721: PUSH2 0x072a 00000724: PUSH1 0x00 00000726: PUSH2 0x1512 00000729: JUMP 0000072a: JUMPDEST 0000072b: JUMP 0000072c: JUMPDEST 0000072d: PUSH1 0x00 0000072f: DUP1 00000730: PUSH1 0x02 00000732: PUSH1 0x00 00000734: DUP6 00000735: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000074a: AND 0000074b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000760: AND 00000761: DUP2 00000762: MSTORE 00000763: PUSH1 0x20 00000765: ADD 00000766: SWAP1 00000767: DUP2 00000768: MSTORE 00000769: PUSH1 0x20 0000076b: ADD 0000076c: PUSH1 0x00 0000076e: KECCAK256 0000076f: PUSH1 0x00 00000771: DUP5 00000772: DUP2 00000773: MSTORE 00000774: PUSH1 0x20 00000776: ADD 00000777: SWAP1 00000778: DUP2 00000779: MSTORE 0000077a: PUSH1 0x20 0000077c: ADD 0000077d: PUSH1 0x00 0000077f: KECCAK256 00000780: PUSH1 0x00 00000782: ADD 00000783: SLOAD 00000784: PUSH1 0x02 00000786: PUSH1 0x00 00000788: DUP7 00000789: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000079e: AND 0000079f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007b4: AND 000007b5: DUP2 000007b6: MSTORE 000007b7: PUSH1 0x20 000007b9: ADD 000007ba: SWAP1 000007bb: DUP2 000007bc: MSTORE 000007bd: PUSH1 0x20 000007bf: ADD 000007c0: PUSH1 0x00 000007c2: KECCAK256 000007c3: PUSH1 0x00 000007c5: DUP6 000007c6: DUP2 000007c7: MSTORE 000007c8: PUSH1 0x20 000007ca: ADD 000007cb: SWAP1 000007cc: DUP2 000007cd: MSTORE 000007ce: PUSH1 0x20 000007d0: ADD 000007d1: PUSH1 0x00 000007d3: KECCAK256 000007d4: PUSH1 0x01 000007d6: ADD 000007d7: PUSH1 0x00 000007d9: SWAP1 000007da: SLOAD 000007db: SWAP1 000007dc: PUSH2 0x0100 000007df: EXP 000007e0: SWAP1 000007e1: DIV 000007e2: PUSH1 0xff 000007e4: AND 000007e5: SWAP2 000007e6: POP 000007e7: SWAP2 000007e8: POP 000007e9: SWAP3 000007ea: POP 000007eb: SWAP3 000007ec: SWAP1 000007ed: POP 000007ee: JUMP 000007ef: JUMPDEST 000007f0: PUSH1 0x02 000007f2: PUSH1 0x20 000007f4: MSTORE 000007f5: DUP2 000007f6: PUSH1 0x00 000007f8: MSTORE 000007f9: PUSH1 0x40 000007fb: PUSH1 0x00 000007fd: KECCAK256 000007fe: PUSH1 0x20 00000800: MSTORE 00000801: DUP1 00000802: PUSH1 0x00 00000804: MSTORE 00000805: PUSH1 0x40 00000807: PUSH1 0x00 00000809: KECCAK256 0000080a: PUSH1 0x00 0000080c: SWAP2 0000080d: POP 0000080e: SWAP2 0000080f: POP 00000810: POP 00000811: DUP1 00000812: PUSH1 0x00 00000814: ADD 00000815: SLOAD 00000816: SWAP1 00000817: DUP1 00000818: PUSH1 0x01 0000081a: ADD 0000081b: PUSH1 0x00 0000081d: SWAP1 0000081e: SLOAD 0000081f: SWAP1 00000820: PUSH2 0x0100 00000823: EXP 00000824: SWAP1 00000825: DIV 00000826: PUSH1 0xff 00000828: AND 00000829: SWAP1 0000082a: POP 0000082b: DUP3 0000082c: JUMP 0000082d: JUMPDEST 0000082e: PUSH1 0x00 00000830: DUP1 00000831: PUSH1 0x00 00000833: SWAP1 00000834: SLOAD 00000835: SWAP1 00000836: PUSH2 0x0100 00000839: EXP 0000083a: SWAP1 0000083b: DIV 0000083c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000851: AND 00000852: SWAP1 00000853: POP 00000854: SWAP1 00000855: JUMP 00000856: JUMPDEST 00000857: PUSH2 0x085e 0000085a: PUSH2 0x148b 0000085d: JUMP 0000085e: JUMPDEST 0000085f: PUSH1 0x00 00000861: CALLVALUE 00000862: GT 00000863: PUSH2 0x08a1 00000866: JUMPI 00000867: PUSH1 0x40 00000869: MLOAD 0000086a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000088b: DUP2 0000088c: MSTORE 0000088d: PUSH1 0x04 0000088f: ADD 00000890: PUSH2 0x0898 00000893: SWAP1 00000894: PUSH2 0x1933 00000897: JUMP 00000898: JUMPDEST 00000899: PUSH1 0x40 0000089b: MLOAD 0000089c: DUP1 0000089d: SWAP2 0000089e: SUB 0000089f: SWAP1 000008a0: REVERT 000008a1: JUMPDEST 000008a2: PUSH2 0x08a9 000008a5: PUSH2 0x082d 000008a8: JUMP 000008a9: JUMPDEST 000008aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008bf: AND 000008c0: PUSH32 0xfaa9e5e1d2e57a4765aeea832be42689e8549dc75683834da54c5d5589fa036b 000008e1: CALLVALUE 000008e2: TIMESTAMP 000008e3: PUSH1 0x40 000008e5: MLOAD 000008e6: PUSH2 0x08f0 000008e9: SWAP3 000008ea: SWAP2 000008eb: SWAP1 000008ec: PUSH2 0x1b9c 000008ef: JUMP 000008f0: JUMPDEST 000008f1: PUSH1 0x40 000008f3: MLOAD 000008f4: DUP1 000008f5: SWAP2 000008f6: SUB 000008f7: SWAP1 000008f8: LOG2 000008f9: JUMP 000008fa: JUMPDEST 000008fb: PUSH2 0x0902 000008fe: PUSH2 0x143c 00000901: JUMP 00000902: JUMPDEST 00000903: PUSH1 0x00 00000905: CHAINID 00000906: SWAP1 00000907: POP 00000908: PUSH1 0x02 0000090a: PUSH1 0x00 0000090c: CALLER 0000090d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000922: AND 00000923: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000938: AND 00000939: DUP2 0000093a: MSTORE 0000093b: PUSH1 0x20 0000093d: ADD 0000093e: SWAP1 0000093f: DUP2 00000940: MSTORE 00000941: PUSH1 0x20 00000943: ADD 00000944: PUSH1 0x00 00000946: KECCAK256 00000947: PUSH1 0x00 00000949: DUP3 0000094a: DUP2 0000094b: MSTORE 0000094c: PUSH1 0x20 0000094e: ADD 0000094f: SWAP1 00000950: DUP2 00000951: MSTORE 00000952: PUSH1 0x20 00000954: ADD 00000955: PUSH1 0x00 00000957: KECCAK256 00000958: PUSH1 0x01 0000095a: ADD 0000095b: PUSH1 0x00 0000095d: SWAP1 0000095e: SLOAD 0000095f: SWAP1 00000960: PUSH2 0x0100 00000963: EXP 00000964: SWAP1 00000965: DIV 00000966: PUSH1 0xff 00000968: AND 00000969: PUSH2 0x09a7 0000096c: JUMPI 0000096d: PUSH1 0x40 0000096f: MLOAD 00000970: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000991: DUP2 00000992: MSTORE 00000993: PUSH1 0x04 00000995: ADD 00000996: PUSH2 0x099e 00000999: SWAP1 0000099a: PUSH2 0x1c11 0000099d: JUMP 0000099e: JUMPDEST 0000099f: PUSH1 0x40 000009a1: MLOAD 000009a2: DUP1 000009a3: SWAP2 000009a4: SUB 000009a5: SWAP1 000009a6: REVERT 000009a7: JUMPDEST 000009a8: DUP2 000009a9: PUSH1 0x02 000009ab: PUSH1 0x00 000009ad: CALLER 000009ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009c3: AND 000009c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009d9: AND 000009da: DUP2 000009db: MSTORE 000009dc: PUSH1 0x20 000009de: ADD 000009df: SWAP1 000009e0: DUP2 000009e1: MSTORE 000009e2: PUSH1 0x20 000009e4: ADD 000009e5: PUSH1 0x00 000009e7: KECCAK256 000009e8: PUSH1 0x00 000009ea: DUP4 000009eb: DUP2 000009ec: MSTORE 000009ed: PUSH1 0x20 000009ef: ADD 000009f0: SWAP1 000009f1: DUP2 000009f2: MSTORE 000009f3: PUSH1 0x20 000009f5: ADD 000009f6: PUSH1 0x00 000009f8: KECCAK256 000009f9: PUSH1 0x00 000009fb: ADD 000009fc: SLOAD 000009fd: LT 000009fe: ISZERO 000009ff: PUSH2 0x0a3d 00000a02: JUMPI 00000a03: PUSH1 0x40 00000a05: MLOAD 00000a06: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a27: DUP2 00000a28: MSTORE 00000a29: PUSH1 0x04 00000a2b: ADD 00000a2c: PUSH2 0x0a34 00000a2f: SWAP1 00000a30: PUSH2 0x1c7d 00000a33: JUMP 00000a34: JUMPDEST 00000a35: PUSH1 0x40 00000a37: MLOAD 00000a38: DUP1 00000a39: SWAP2 00000a3a: SUB 00000a3b: SWAP1 00000a3c: REVERT 00000a3d: JUMPDEST 00000a3e: DUP2 00000a3f: SELFBALANCE 00000a40: LT 00000a41: ISZERO 00000a42: PUSH2 0x0a80 00000a45: JUMPI 00000a46: PUSH1 0x40 00000a48: MLOAD 00000a49: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a6a: DUP2 00000a6b: MSTORE 00000a6c: PUSH1 0x04 00000a6e: ADD 00000a6f: PUSH2 0x0a77 00000a72: SWAP1 00000a73: PUSH2 0x1ce9 00000a76: JUMP 00000a77: JUMPDEST 00000a78: PUSH1 0x40 00000a7a: MLOAD 00000a7b: DUP1 00000a7c: SWAP2 00000a7d: SUB 00000a7e: SWAP1 00000a7f: REVERT 00000a80: JUMPDEST 00000a81: DUP2 00000a82: PUSH1 0x02 00000a84: PUSH1 0x00 00000a86: CALLER 00000a87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a9c: AND 00000a9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ab2: AND 00000ab3: DUP2 00000ab4: MSTORE 00000ab5: PUSH1 0x20 00000ab7: ADD 00000ab8: SWAP1 00000ab9: DUP2 00000aba: MSTORE 00000abb: PUSH1 0x20 00000abd: ADD 00000abe: PUSH1 0x00 00000ac0: KECCAK256 00000ac1: PUSH1 0x00 00000ac3: DUP4 00000ac4: DUP2 00000ac5: MSTORE 00000ac6: PUSH1 0x20 00000ac8: ADD 00000ac9: SWAP1 00000aca: DUP2 00000acb: MSTORE 00000acc: PUSH1 0x20 00000ace: ADD 00000acf: PUSH1 0x00 00000ad1: KECCAK256 00000ad2: PUSH1 0x00 00000ad4: ADD 00000ad5: PUSH1 0x00 00000ad7: DUP3 00000ad8: DUP3 00000ad9: SLOAD 00000ada: PUSH2 0x0ae3 00000add: SWAP2 00000ade: SWAP1 00000adf: PUSH2 0x1d38 00000ae2: JUMP 00000ae3: JUMPDEST 00000ae4: SWAP3 00000ae5: POP 00000ae6: POP 00000ae7: DUP2 00000ae8: SWAP1 00000ae9: SSTORE 00000aea: POP 00000aeb: DUP2 00000aec: PUSH1 0x04 00000aee: PUSH1 0x00 00000af0: DUP4 00000af1: DUP2 00000af2: MSTORE 00000af3: PUSH1 0x20 00000af5: ADD 00000af6: SWAP1 00000af7: DUP2 00000af8: MSTORE 00000af9: PUSH1 0x20 00000afb: ADD 00000afc: PUSH1 0x00 00000afe: KECCAK256 00000aff: PUSH1 0x00 00000b01: DUP3 00000b02: DUP3 00000b03: SLOAD 00000b04: PUSH2 0x0b0d 00000b07: SWAP2 00000b08: SWAP1 00000b09: PUSH2 0x1d38 00000b0c: JUMP 00000b0d: JUMPDEST 00000b0e: SWAP3 00000b0f: POP 00000b10: POP 00000b11: DUP2 00000b12: SWAP1 00000b13: SSTORE 00000b14: POP 00000b15: PUSH1 0x00 00000b17: CALLER 00000b18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b2d: AND 00000b2e: DUP4 00000b2f: PUSH1 0x40 00000b31: MLOAD 00000b32: PUSH2 0x0b3a 00000b35: SWAP1 00000b36: PUSH2 0x1b1b 00000b39: JUMP 00000b3a: JUMPDEST 00000b3b: PUSH1 0x00 00000b3d: PUSH1 0x40 00000b3f: MLOAD 00000b40: DUP1 00000b41: DUP4 00000b42: SUB 00000b43: DUP2 00000b44: DUP6 00000b45: DUP8 00000b46: GAS 00000b47: CALL 00000b48: SWAP3 00000b49: POP 00000b4a: POP 00000b4b: POP 00000b4c: RETURNDATASIZE 00000b4d: DUP1 00000b4e: PUSH1 0x00 00000b50: DUP2 00000b51: EQ 00000b52: PUSH2 0x0b77 00000b55: JUMPI 00000b56: PUSH1 0x40 00000b58: MLOAD 00000b59: SWAP2 00000b5a: POP 00000b5b: PUSH1 0x1f 00000b5d: NOT 00000b5e: PUSH1 0x3f 00000b60: RETURNDATASIZE 00000b61: ADD 00000b62: AND 00000b63: DUP3 00000b64: ADD 00000b65: PUSH1 0x40 00000b67: MSTORE 00000b68: RETURNDATASIZE 00000b69: DUP3 00000b6a: MSTORE 00000b6b: RETURNDATASIZE 00000b6c: PUSH1 0x00 00000b6e: PUSH1 0x20 00000b70: DUP5 00000b71: ADD 00000b72: RETURNDATACOPY 00000b73: PUSH2 0x0b7c 00000b76: JUMP 00000b77: JUMPDEST 00000b78: PUSH1 0x60 00000b7a: SWAP2 00000b7b: POP 00000b7c: JUMPDEST 00000b7d: POP 00000b7e: POP 00000b7f: SWAP1 00000b80: POP 00000b81: DUP1 00000b82: PUSH2 0x0bc0 00000b85: JUMPI 00000b86: PUSH1 0x40 00000b88: MLOAD 00000b89: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000baa: DUP2 00000bab: MSTORE 00000bac: PUSH1 0x04 00000bae: ADD 00000baf: PUSH2 0x0bb7 00000bb2: SWAP1 00000bb3: PUSH2 0x1b7c 00000bb6: JUMP 00000bb7: JUMPDEST 00000bb8: PUSH1 0x40 00000bba: MLOAD 00000bbb: DUP1 00000bbc: SWAP2 00000bbd: SUB 00000bbe: SWAP1 00000bbf: REVERT 00000bc0: JUMPDEST 00000bc1: CALLER 00000bc2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bd7: AND 00000bd8: PUSH32 0x96cd817c6329656790ef8fba7675405193677d39619571282f5e21f3a98cd059 00000bf9: DUP4 00000bfa: DUP6 00000bfb: PUSH1 0x40 00000bfd: MLOAD 00000bfe: PUSH2 0x0c08 00000c01: SWAP3 00000c02: SWAP2 00000c03: SWAP1 00000c04: PUSH2 0x1b9c 00000c07: JUMP 00000c08: JUMPDEST 00000c09: PUSH1 0x40 00000c0b: MLOAD 00000c0c: DUP1 00000c0d: SWAP2 00000c0e: SUB 00000c0f: SWAP1 00000c10: LOG2 00000c11: POP 00000c12: POP 00000c13: PUSH2 0x0c1a 00000c16: PUSH2 0x1482 00000c19: JUMP 00000c1a: JUMPDEST 00000c1b: POP 00000c1c: JUMP 00000c1d: JUMPDEST 00000c1e: PUSH2 0x0c25 00000c21: PUSH2 0x148b 00000c24: JUMP 00000c25: JUMPDEST 00000c26: PUSH1 0x00 00000c28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c3d: AND 00000c3e: DUP3 00000c3f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c54: AND 00000c55: SUB 00000c56: PUSH2 0x0c94 00000c59: JUMPI 00000c5a: PUSH1 0x40 00000c5c: MLOAD 00000c5d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c7e: DUP2 00000c7f: MSTORE 00000c80: PUSH1 0x04 00000c82: ADD 00000c83: PUSH2 0x0c8b 00000c86: SWAP1 00000c87: PUSH2 0x1db8 00000c8a: JUMP 00000c8b: JUMPDEST 00000c8c: PUSH1 0x40 00000c8e: MLOAD 00000c8f: DUP1 00000c90: SWAP2 00000c91: SUB 00000c92: SWAP1 00000c93: REVERT 00000c94: JUMPDEST 00000c95: DUP1 00000c96: PUSH1 0x03 00000c98: PUSH1 0x00 00000c9a: DUP5 00000c9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cb0: AND 00000cb1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cc6: AND 00000cc7: DUP2 00000cc8: MSTORE 00000cc9: PUSH1 0x20 00000ccb: ADD 00000ccc: SWAP1 00000ccd: DUP2 00000cce: MSTORE 00000ccf: PUSH1 0x20 00000cd1: ADD 00000cd2: PUSH1 0x00 00000cd4: KECCAK256 00000cd5: PUSH1 0x00 00000cd7: PUSH2 0x0100 00000cda: EXP 00000cdb: DUP2 00000cdc: SLOAD 00000cdd: DUP2 00000cde: PUSH1 0xff 00000ce0: MUL 00000ce1: NOT 00000ce2: AND 00000ce3: SWAP1 00000ce4: DUP4 00000ce5: ISZERO 00000ce6: ISZERO 00000ce7: MUL 00000ce8: OR 00000ce9: SWAP1 00000cea: SSTORE 00000ceb: POP 00000cec: PUSH32 0x4b36b2e66f38ed349bec532105790177f1283bcbc094e6cd48565195d3033c43 00000d0d: DUP3 00000d0e: DUP3 00000d0f: PUSH1 0x40 00000d11: MLOAD 00000d12: PUSH2 0x0d1c 00000d15: SWAP3 00000d16: SWAP2 00000d17: SWAP1 00000d18: PUSH2 0x1dd8 00000d1b: JUMP 00000d1c: JUMPDEST 00000d1d: PUSH1 0x40 00000d1f: MLOAD 00000d20: DUP1 00000d21: SWAP2 00000d22: SUB 00000d23: SWAP1 00000d24: LOG1 00000d25: POP 00000d26: POP 00000d27: JUMP 00000d28: JUMPDEST 00000d29: PUSH2 0x0d30 00000d2c: PUSH2 0x148b 00000d2f: JUMP 00000d30: JUMPDEST 00000d31: DUP1 00000d32: SELFBALANCE 00000d33: LT 00000d34: ISZERO 00000d35: PUSH2 0x0d73 00000d38: JUMPI 00000d39: PUSH1 0x40 00000d3b: MLOAD 00000d3c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d5d: DUP2 00000d5e: MSTORE 00000d5f: PUSH1 0x04 00000d61: ADD 00000d62: PUSH2 0x0d6a 00000d65: SWAP1 00000d66: PUSH2 0x1a5e 00000d69: JUMP 00000d6a: JUMPDEST 00000d6b: PUSH1 0x40 00000d6d: MLOAD 00000d6e: DUP1 00000d6f: SWAP2 00000d70: SUB 00000d71: SWAP1 00000d72: REVERT 00000d73: JUMPDEST 00000d74: PUSH1 0x00 00000d76: DUP2 00000d77: GT 00000d78: PUSH2 0x0db6 00000d7b: JUMPI 00000d7c: PUSH1 0x40 00000d7e: MLOAD 00000d7f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000da0: DUP2 00000da1: MSTORE 00000da2: PUSH1 0x04 00000da4: ADD 00000da5: PUSH2 0x0dad 00000da8: SWAP1 00000da9: PUSH2 0x1933 00000dac: JUMP 00000dad: JUMPDEST 00000dae: PUSH1 0x40 00000db0: MLOAD 00000db1: DUP1 00000db2: SWAP2 00000db3: SUB 00000db4: SWAP1 00000db5: REVERT 00000db6: JUMPDEST 00000db7: PUSH1 0x00 00000db9: PUSH2 0x0dc0 00000dbc: PUSH2 0x082d 00000dbf: JUMP 00000dc0: JUMPDEST 00000dc1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dd6: AND 00000dd7: DUP3 00000dd8: PUSH1 0x40 00000dda: MLOAD 00000ddb: PUSH2 0x0de3 00000dde: SWAP1 00000ddf: PUSH2 0x1b1b 00000de2: JUMP 00000de3: JUMPDEST 00000de4: PUSH1 0x00 00000de6: PUSH1 0x40 00000de8: MLOAD 00000de9: DUP1 00000dea: DUP4 00000deb: SUB 00000dec: DUP2 00000ded: DUP6 00000dee: DUP8 00000def: GAS 00000df0: CALL 00000df1: SWAP3 00000df2: POP 00000df3: POP 00000df4: POP 00000df5: RETURNDATASIZE 00000df6: DUP1 00000df7: PUSH1 0x00 00000df9: DUP2 00000dfa: EQ 00000dfb: PUSH2 0x0e20 00000dfe: JUMPI 00000dff: PUSH1 0x40 00000e01: MLOAD 00000e02: SWAP2 00000e03: POP 00000e04: PUSH1 0x1f 00000e06: NOT 00000e07: PUSH1 0x3f 00000e09: RETURNDATASIZE 00000e0a: ADD 00000e0b: AND 00000e0c: DUP3 00000e0d: ADD 00000e0e: PUSH1 0x40 00000e10: MSTORE 00000e11: RETURNDATASIZE 00000e12: DUP3 00000e13: MSTORE 00000e14: RETURNDATASIZE 00000e15: PUSH1 0x00 00000e17: PUSH1 0x20 00000e19: DUP5 00000e1a: ADD 00000e1b: RETURNDATACOPY 00000e1c: PUSH2 0x0e25 00000e1f: JUMP 00000e20: JUMPDEST 00000e21: PUSH1 0x60 00000e23: SWAP2 00000e24: POP 00000e25: JUMPDEST 00000e26: POP 00000e27: POP 00000e28: SWAP1 00000e29: POP 00000e2a: DUP1 00000e2b: PUSH2 0x0e69 00000e2e: JUMPI 00000e2f: PUSH1 0x40 00000e31: MLOAD 00000e32: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e53: DUP2 00000e54: MSTORE 00000e55: PUSH1 0x04 00000e57: ADD 00000e58: PUSH2 0x0e60 00000e5b: SWAP1 00000e5c: PUSH2 0x1b7c 00000e5f: JUMP 00000e60: JUMPDEST 00000e61: PUSH1 0x40 00000e63: MLOAD 00000e64: DUP1 00000e65: SWAP2 00000e66: SUB 00000e67: SWAP1 00000e68: REVERT 00000e69: JUMPDEST 00000e6a: PUSH2 0x0e71 00000e6d: PUSH2 0x082d 00000e70: JUMP 00000e71: JUMPDEST 00000e72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e87: AND 00000e88: PUSH32 0xd31e3d6db5914cfbd51b0e170345df4a1f88d700242a74eebb3bb31366d2a880 00000ea9: DUP4 00000eaa: TIMESTAMP 00000eab: PUSH1 0x40 00000ead: MLOAD 00000eae: PUSH2 0x0eb8 00000eb1: SWAP3 00000eb2: SWAP2 00000eb3: SWAP1 00000eb4: PUSH2 0x1b9c 00000eb7: JUMP 00000eb8: JUMPDEST 00000eb9: PUSH1 0x40 00000ebb: MLOAD 00000ebc: DUP1 00000ebd: SWAP2 00000ebe: SUB 00000ebf: SWAP1 00000ec0: LOG2 00000ec1: POP 00000ec2: POP 00000ec3: JUMP 00000ec4: JUMPDEST 00000ec5: PUSH1 0x04 00000ec7: PUSH1 0x20 00000ec9: MSTORE 00000eca: DUP1 00000ecb: PUSH1 0x00 00000ecd: MSTORE 00000ece: PUSH1 0x40 00000ed0: PUSH1 0x00 00000ed2: KECCAK256 00000ed3: PUSH1 0x00 00000ed5: SWAP2 00000ed6: POP 00000ed7: SWAP1 00000ed8: POP 00000ed9: SLOAD 00000eda: DUP2 00000edb: JUMP 00000edc: JUMPDEST 00000edd: PUSH1 0x03 00000edf: PUSH1 0x00 00000ee1: CALLER 00000ee2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ef7: AND 00000ef8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f0d: AND 00000f0e: DUP2 00000f0f: MSTORE 00000f10: PUSH1 0x20 00000f12: ADD 00000f13: SWAP1 00000f14: DUP2 00000f15: MSTORE 00000f16: PUSH1 0x20 00000f18: ADD 00000f19: PUSH1 0x00 00000f1b: KECCAK256 00000f1c: PUSH1 0x00 00000f1e: SWAP1 00000f1f: SLOAD 00000f20: SWAP1 00000f21: PUSH2 0x0100 00000f24: EXP 00000f25: SWAP1 00000f26: DIV 00000f27: PUSH1 0xff 00000f29: AND 00000f2a: PUSH2 0x0f68 00000f2d: JUMPI 00000f2e: PUSH1 0x40 00000f30: MLOAD 00000f31: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000f52: DUP2 00000f53: MSTORE 00000f54: PUSH1 0x04 00000f56: ADD 00000f57: PUSH2 0x0f5f 00000f5a: SWAP1 00000f5b: PUSH2 0x1e4d 00000f5e: JUMP 00000f5f: JUMPDEST 00000f60: PUSH1 0x40 00000f62: MLOAD 00000f63: DUP1 00000f64: SWAP2 00000f65: SUB 00000f66: SWAP1 00000f67: REVERT 00000f68: JUMPDEST 00000f69: PUSH2 0x0f70 00000f6c: PUSH2 0x143c 00000f6f: JUMP 00000f70: JUMPDEST 00000f71: PUSH1 0x00 00000f73: CHAINID 00000f74: SWAP1 00000f75: POP 00000f76: PUSH1 0x00 00000f78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f8d: AND 00000f8e: DUP5 00000f8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fa4: AND 00000fa5: SUB 00000fa6: PUSH2 0x0fe4 00000fa9: JUMPI 00000faa: PUSH1 0x40 00000fac: MLOAD 00000fad: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000fce: DUP2 00000fcf: MSTORE 00000fd0: PUSH1 0x04 00000fd2: ADD 00000fd3: PUSH2 0x0fdb 00000fd6: SWAP1 00000fd7: PUSH2 0x199f 00000fda: JUMP 00000fdb: JUMPDEST 00000fdc: PUSH1 0x40 00000fde: MLOAD 00000fdf: DUP1 00000fe0: SWAP2 00000fe1: SUB 00000fe2: SWAP1 00000fe3: REVERT 00000fe4: JUMPDEST 00000fe5: PUSH1 0x00 00000fe7: DUP3 00000fe8: GT 00000fe9: PUSH2 0x1027 00000fec: JUMPI 00000fed: PUSH1 0x40 00000fef: MLOAD 00000ff0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001011: DUP2 00001012: MSTORE 00001013: PUSH1 0x04 00001015: ADD 00001016: PUSH2 0x101e 00001019: SWAP1 0000101a: PUSH2 0x1eb9 0000101d: JUMP 0000101e: JUMPDEST 0000101f: PUSH1 0x40 00001021: MLOAD 00001022: DUP1 00001023: SWAP2 00001024: SUB 00001025: SWAP1 00001026: REVERT 00001027: JUMPDEST 00001028: DUP2 00001029: SELFBALANCE 0000102a: LT 0000102b: ISZERO 0000102c: PUSH2 0x106a 0000102f: JUMPI 00001030: PUSH1 0x40 00001032: MLOAD 00001033: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001054: DUP2 00001055: MSTORE 00001056: PUSH1 0x04 00001058: ADD 00001059: PUSH2 0x1061 0000105c: SWAP1 0000105d: PUSH2 0x1c7d 00001060: JUMP 00001061: JUMPDEST 00001062: PUSH1 0x40 00001064: MLOAD 00001065: DUP1 00001066: SWAP2 00001067: SUB 00001068: SWAP1 00001069: REVERT 0000106a: JUMPDEST 0000106b: PUSH1 0x00 0000106d: DUP5 0000106e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001083: AND 00001084: DUP4 00001085: PUSH1 0x40 00001087: MLOAD 00001088: PUSH2 0x1090 0000108b: SWAP1 0000108c: PUSH2 0x1b1b 0000108f: JUMP 00001090: JUMPDEST 00001091: PUSH1 0x00 00001093: PUSH1 0x40 00001095: MLOAD 00001096: DUP1 00001097: DUP4 00001098: SUB 00001099: DUP2 0000109a: DUP6 0000109b: DUP8 0000109c: GAS 0000109d: CALL 0000109e: SWAP3 0000109f: POP 000010a0: POP 000010a1: POP 000010a2: RETURNDATASIZE 000010a3: DUP1 000010a4: PUSH1 0x00 000010a6: DUP2 000010a7: EQ 000010a8: PUSH2 0x10cd 000010ab: JUMPI 000010ac: PUSH1 0x40 000010ae: MLOAD 000010af: SWAP2 000010b0: POP 000010b1: PUSH1 0x1f 000010b3: NOT 000010b4: PUSH1 0x3f 000010b6: RETURNDATASIZE 000010b7: ADD 000010b8: AND 000010b9: DUP3 000010ba: ADD 000010bb: PUSH1 0x40 000010bd: MSTORE 000010be: RETURNDATASIZE 000010bf: DUP3 000010c0: MSTORE 000010c1: RETURNDATASIZE 000010c2: PUSH1 0x00 000010c4: PUSH1 0x20 000010c6: DUP5 000010c7: ADD 000010c8: RETURNDATACOPY 000010c9: PUSH2 0x10d2 000010cc: JUMP 000010cd: JUMPDEST 000010ce: PUSH1 0x60 000010d0: SWAP2 000010d1: POP 000010d2: JUMPDEST 000010d3: POP 000010d4: POP 000010d5: SWAP1 000010d6: POP 000010d7: DUP1 000010d8: PUSH2 0x1116 000010db: JUMPI 000010dc: PUSH1 0x40 000010de: MLOAD 000010df: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001100: DUP2 00001101: MSTORE 00001102: PUSH1 0x04 00001104: ADD 00001105: PUSH2 0x110d 00001108: SWAP1 00001109: PUSH2 0x1b7c 0000110c: JUMP 0000110d: JUMPDEST 0000110e: PUSH1 0x40 00001110: MLOAD 00001111: DUP1 00001112: SWAP2 00001113: SUB 00001114: SWAP1 00001115: REVERT 00001116: JUMPDEST 00001117: DUP5 00001118: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000112d: AND 0000112e: PUSH32 0xf2336a4e7a013a8e991976ddf74c10cc2796a3b5284a5352c1719539f745e9dc 0000114f: DUP6 00001150: DUP5 00001151: DUP7 00001152: PUSH1 0x40 00001154: MLOAD 00001155: PUSH2 0x1160 00001158: SWAP4 00001159: SWAP3 0000115a: SWAP2 0000115b: SWAP1 0000115c: PUSH2 0x1ed9 0000115f: JUMP 00001160: JUMPDEST 00001161: PUSH1 0x40 00001163: MLOAD 00001164: DUP1 00001165: SWAP2 00001166: SUB 00001167: SWAP1 00001168: LOG2 00001169: POP 0000116a: POP 0000116b: PUSH2 0x1172 0000116e: PUSH2 0x1482 00001171: JUMP 00001172: JUMPDEST 00001173: POP 00001174: POP 00001175: POP 00001176: JUMP 00001177: JUMPDEST 00001178: PUSH2 0x117f 0000117b: PUSH2 0x143c 0000117e: JUMP 0000117f: JUMPDEST 00001180: PUSH1 0x00 00001182: CHAINID 00001183: SWAP1 00001184: POP 00001185: PUSH1 0x00 00001187: CALLVALUE 00001188: GT 00001189: PUSH2 0x11c7 0000118c: JUMPI 0000118d: PUSH1 0x40 0000118f: MLOAD 00001190: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000011b1: DUP2 000011b2: MSTORE 000011b3: PUSH1 0x04 000011b5: ADD 000011b6: PUSH2 0x11be 000011b9: SWAP1 000011ba: PUSH2 0x1933 000011bd: JUMP 000011be: JUMPDEST 000011bf: PUSH1 0x40 000011c1: MLOAD 000011c2: DUP1 000011c3: SWAP2 000011c4: SUB 000011c5: SWAP1 000011c6: REVERT 000011c7: JUMPDEST 000011c8: PUSH1 0x02 000011ca: PUSH1 0x00 000011cc: CALLER 000011cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011e2: AND 000011e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011f8: AND 000011f9: DUP2 000011fa: MSTORE 000011fb: PUSH1 0x20 000011fd: ADD 000011fe: SWAP1 000011ff: DUP2 00001200: MSTORE 00001201: PUSH1 0x20 00001203: ADD 00001204: PUSH1 0x00 00001206: KECCAK256 00001207: PUSH1 0x00 00001209: DUP3 0000120a: DUP2 0000120b: MSTORE 0000120c: PUSH1 0x20 0000120e: ADD 0000120f: SWAP1 00001210: DUP2 00001211: MSTORE 00001212: PUSH1 0x20 00001214: ADD 00001215: PUSH1 0x00 00001217: KECCAK256 00001218: PUSH1 0x01 0000121a: ADD 0000121b: PUSH1 0x00 0000121d: SWAP1 0000121e: SLOAD 0000121f: SWAP1 00001220: PUSH2 0x0100 00001223: EXP 00001224: SWAP1 00001225: DIV 00001226: PUSH1 0xff 00001228: AND 00001229: PUSH2 0x12c6 0000122c: JUMPI 0000122d: PUSH1 0x40 0000122f: MLOAD 00001230: DUP1 00001231: PUSH1 0x40 00001233: ADD 00001234: PUSH1 0x40 00001236: MSTORE 00001237: DUP1 00001238: CALLVALUE 00001239: DUP2 0000123a: MSTORE 0000123b: PUSH1 0x20 0000123d: ADD 0000123e: PUSH1 0x01 00001240: ISZERO 00001241: ISZERO 00001242: DUP2 00001243: MSTORE 00001244: POP 00001245: PUSH1 0x02 00001247: PUSH1 0x00 00001249: CALLER 0000124a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000125f: AND 00001260: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001275: AND 00001276: DUP2 00001277: MSTORE 00001278: PUSH1 0x20 0000127a: ADD 0000127b: SWAP1 0000127c: DUP2 0000127d: MSTORE 0000127e: PUSH1 0x20 00001280: ADD 00001281: PUSH1 0x00 00001283: KECCAK256 00001284: PUSH1 0x00 00001286: DUP4 00001287: DUP2 00001288: MSTORE 00001289: PUSH1 0x20 0000128b: ADD 0000128c: SWAP1 0000128d: DUP2 0000128e: MSTORE 0000128f: PUSH1 0x20 00001291: ADD 00001292: PUSH1 0x00 00001294: KECCAK256 00001295: PUSH1 0x00 00001297: DUP3 00001298: ADD 00001299: MLOAD 0000129a: DUP2 0000129b: PUSH1 0x00 0000129d: ADD 0000129e: SSTORE 0000129f: PUSH1 0x20 000012a1: DUP3 000012a2: ADD 000012a3: MLOAD 000012a4: DUP2 000012a5: PUSH1 0x01 000012a7: ADD 000012a8: PUSH1 0x00 000012aa: PUSH2 0x0100 000012ad: EXP 000012ae: DUP2 000012af: SLOAD 000012b0: DUP2 000012b1: PUSH1 0xff 000012b3: MUL 000012b4: NOT 000012b5: AND 000012b6: SWAP1 000012b7: DUP4 000012b8: ISZERO 000012b9: ISZERO 000012ba: MUL 000012bb: OR 000012bc: SWAP1 000012bd: SSTORE 000012be: POP 000012bf: SWAP1 000012c0: POP 000012c1: POP 000012c2: PUSH2 0x1331 000012c5: JUMP 000012c6: JUMPDEST 000012c7: CALLVALUE 000012c8: PUSH1 0x02 000012ca: PUSH1 0x00 000012cc: CALLER 000012cd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012e2: AND 000012e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012f8: AND 000012f9: DUP2 000012fa: MSTORE 000012fb: PUSH1 0x20 000012fd: ADD 000012fe: SWAP1 000012ff: DUP2 00001300: MSTORE 00001301: PUSH1 0x20 00001303: ADD 00001304: PUSH1 0x00 00001306: KECCAK256 00001307: PUSH1 0x00 00001309: DUP4 0000130a: DUP2 0000130b: MSTORE 0000130c: PUSH1 0x20 0000130e: ADD 0000130f: SWAP1 00001310: DUP2 00001311: MSTORE 00001312: PUSH1 0x20 00001314: ADD 00001315: PUSH1 0x00 00001317: KECCAK256 00001318: PUSH1 0x00 0000131a: ADD 0000131b: PUSH1 0x00 0000131d: DUP3 0000131e: DUP3 0000131f: SLOAD 00001320: PUSH2 0x1329 00001323: SWAP2 00001324: SWAP1 00001325: PUSH2 0x1f10 00001328: JUMP 00001329: JUMPDEST 0000132a: SWAP3 0000132b: POP 0000132c: POP 0000132d: DUP2 0000132e: SWAP1 0000132f: SSTORE 00001330: POP 00001331: JUMPDEST 00001332: CALLVALUE 00001333: PUSH1 0x04 00001335: PUSH1 0x00 00001337: DUP4 00001338: DUP2 00001339: MSTORE 0000133a: PUSH1 0x20 0000133c: ADD 0000133d: SWAP1 0000133e: DUP2 0000133f: MSTORE 00001340: PUSH1 0x20 00001342: ADD 00001343: PUSH1 0x00 00001345: KECCAK256 00001346: PUSH1 0x00 00001348: DUP3 00001349: DUP3 0000134a: SLOAD 0000134b: PUSH2 0x1354 0000134e: SWAP2 0000134f: SWAP1 00001350: PUSH2 0x1f10 00001353: JUMP 00001354: JUMPDEST 00001355: SWAP3 00001356: POP 00001357: POP 00001358: DUP2 00001359: SWAP1 0000135a: SSTORE 0000135b: POP 0000135c: CALLER 0000135d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001372: AND 00001373: PUSH32 0xac1d76749e5447b7b16f5ab61447e1bd502f3bb4807af3b28e620d1700a6ee45 00001394: DUP3 00001395: CALLVALUE 00001396: PUSH1 0x40 00001398: MLOAD 00001399: PUSH2 0x13a3 0000139c: SWAP3 0000139d: SWAP2 0000139e: SWAP1 0000139f: PUSH2 0x1b9c 000013a2: JUMP 000013a3: JUMPDEST 000013a4: PUSH1 0x40 000013a6: MLOAD 000013a7: DUP1 000013a8: SWAP2 000013a9: SUB 000013aa: SWAP1 000013ab: LOG2 000013ac: POP 000013ad: PUSH2 0x13b4 000013b0: PUSH2 0x1482 000013b3: JUMP 000013b4: JUMPDEST 000013b5: JUMP 000013b6: JUMPDEST 000013b7: PUSH2 0x13be 000013ba: PUSH2 0x148b 000013bd: JUMP 000013be: JUMPDEST 000013bf: PUSH1 0x00 000013c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013d6: AND 000013d7: DUP2 000013d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013ed: AND 000013ee: SUB 000013ef: PUSH2 0x1430 000013f2: JUMPI 000013f3: PUSH1 0x00 000013f5: PUSH1 0x40 000013f7: MLOAD 000013f8: PUSH32 0x1e4fbdf700000000000000000000000000000000000000000000000000000000 00001419: DUP2 0000141a: MSTORE 0000141b: PUSH1 0x04 0000141d: ADD 0000141e: PUSH2 0x1427 00001421: SWAP2 00001422: SWAP1 00001423: PUSH2 0x17fc 00001426: JUMP 00001427: JUMPDEST 00001428: PUSH1 0x40 0000142a: MLOAD 0000142b: DUP1 0000142c: SWAP2 0000142d: SUB 0000142e: SWAP1 0000142f: REVERT 00001430: JUMPDEST 00001431: PUSH2 0x1439 00001434: DUP2 00001435: PUSH2 0x1512 00001438: JUMP 00001439: JUMPDEST 0000143a: POP 0000143b: JUMP 0000143c: JUMPDEST 0000143d: PUSH1 0x02 0000143f: PUSH1 0x01 00001441: SLOAD 00001442: SUB 00001443: PUSH2 0x1478 00001446: JUMPI 00001447: PUSH1 0x40 00001449: MLOAD 0000144a: PUSH32 0x3ee5aeb500000000000000000000000000000000000000000000000000000000 0000146b: DUP2 0000146c: MSTORE 0000146d: PUSH1 0x04 0000146f: ADD 00001470: PUSH1 0x40 00001472: MLOAD 00001473: DUP1 00001474: SWAP2 00001475: SUB 00001476: SWAP1 00001477: REVERT 00001478: JUMPDEST 00001479: PUSH1 0x02 0000147b: PUSH1 0x01 0000147d: DUP2 0000147e: SWAP1 0000147f: SSTORE 00001480: POP 00001481: JUMP 00001482: JUMPDEST 00001483: PUSH1 0x01 00001485: DUP1 00001486: DUP2 00001487: SWAP1 00001488: SSTORE 00001489: POP 0000148a: JUMP 0000148b: JUMPDEST 0000148c: PUSH2 0x1493 0000148f: PUSH2 0x15d6 00001492: JUMP 00001493: JUMPDEST 00001494: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014a9: AND 000014aa: PUSH2 0x14b1 000014ad: PUSH2 0x082d 000014b0: JUMP 000014b1: JUMPDEST 000014b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014c7: AND 000014c8: EQ 000014c9: PUSH2 0x1510 000014cc: JUMPI 000014cd: PUSH2 0x14d4 000014d0: PUSH2 0x15d6 000014d3: JUMP 000014d4: JUMPDEST 000014d5: PUSH1 0x40 000014d7: MLOAD 000014d8: PUSH32 0x118cdaa700000000000000000000000000000000000000000000000000000000 000014f9: DUP2 000014fa: MSTORE 000014fb: PUSH1 0x04 000014fd: ADD 000014fe: PUSH2 0x1507 00001501: SWAP2 00001502: SWAP1 00001503: PUSH2 0x17fc 00001506: JUMP 00001507: JUMPDEST 00001508: PUSH1 0x40 0000150a: MLOAD 0000150b: DUP1 0000150c: SWAP2 0000150d: SUB 0000150e: SWAP1 0000150f: REVERT 00001510: JUMPDEST 00001511: JUMP 00001512: JUMPDEST 00001513: PUSH1 0x00 00001515: DUP1 00001516: PUSH1 0x00 00001518: SWAP1 00001519: SLOAD 0000151a: SWAP1 0000151b: PUSH2 0x0100 0000151e: EXP 0000151f: SWAP1 00001520: DIV 00001521: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001536: AND 00001537: SWAP1 00001538: POP 00001539: DUP2 0000153a: PUSH1 0x00 0000153c: DUP1 0000153d: PUSH2 0x0100 00001540: EXP 00001541: DUP2 00001542: SLOAD 00001543: DUP2 00001544: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001559: MUL 0000155a: NOT 0000155b: AND 0000155c: SWAP1 0000155d: DUP4 0000155e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001573: AND 00001574: MUL 00001575: OR 00001576: SWAP1 00001577: SSTORE 00001578: POP 00001579: DUP2 0000157a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000158f: AND 00001590: DUP2 00001591: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000015a6: AND 000015a7: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000015c8: PUSH1 0x40 000015ca: MLOAD 000015cb: PUSH1 0x40 000015cd: MLOAD 000015ce: DUP1 000015cf: SWAP2 000015d0: SUB 000015d1: SWAP1 000015d2: LOG3 000015d3: POP 000015d4: POP 000015d5: JUMP 000015d6: JUMPDEST 000015d7: PUSH1 0x00 000015d9: CALLER 000015da: SWAP1 000015db: POP 000015dc: SWAP1 000015dd: JUMP 000015de: JUMPDEST 000015df: PUSH1 0x00 000015e1: DUP2 000015e2: SWAP1 000015e3: POP 000015e4: SWAP2 000015e5: SWAP1 000015e6: POP 000015e7: JUMP 000015e8: JUMPDEST 000015e9: PUSH2 0x15f1 000015ec: DUP2 000015ed: PUSH2 0x15de 000015f0: JUMP 000015f1: JUMPDEST 000015f2: DUP3 000015f3: MSTORE 000015f4: POP 000015f5: POP 000015f6: JUMP 000015f7: JUMPDEST 000015f8: PUSH1 0x00 000015fa: PUSH1 0x20 000015fc: DUP3 000015fd: ADD 000015fe: SWAP1 000015ff: POP 00001600: PUSH2 0x160c 00001603: PUSH1 0x00 00001605: DUP4 00001606: ADD 00001607: DUP5 00001608: PUSH2 0x15e8 0000160b: JUMP 0000160c: JUMPDEST 0000160d: SWAP3 0000160e: SWAP2 0000160f: POP 00001610: POP 00001611: JUMP 00001612: JUMPDEST 00001613: PUSH1 0x00 00001615: DUP1 00001616: REVERT 00001617: JUMPDEST 00001618: PUSH2 0x1620 0000161b: DUP2 0000161c: PUSH2 0x15de 0000161f: JUMP 00001620: JUMPDEST 00001621: DUP2 00001622: EQ 00001623: PUSH2 0x162b 00001626: JUMPI 00001627: PUSH1 0x00 00001629: DUP1 0000162a: REVERT 0000162b: JUMPDEST 0000162c: POP 0000162d: JUMP 0000162e: JUMPDEST 0000162f: PUSH1 0x00 00001631: DUP2 00001632: CALLDATALOAD 00001633: SWAP1 00001634: POP 00001635: PUSH2 0x163d 00001638: DUP2 00001639: PUSH2 0x1617 0000163c: JUMP 0000163d: JUMPDEST 0000163e: SWAP3 0000163f: SWAP2 00001640: POP 00001641: POP 00001642: JUMP 00001643: JUMPDEST 00001644: PUSH1 0x00 00001646: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000165b: DUP3 0000165c: AND 0000165d: SWAP1 0000165e: POP 0000165f: SWAP2 00001660: SWAP1 00001661: POP 00001662: JUMP 00001663: JUMPDEST 00001664: PUSH1 0x00 00001666: PUSH2 0x166e 00001669: DUP3 0000166a: PUSH2 0x1643 0000166d: JUMP 0000166e: JUMPDEST 0000166f: SWAP1 00001670: POP 00001671: SWAP2 00001672: SWAP1 00001673: POP 00001674: JUMP 00001675: JUMPDEST 00001676: PUSH2 0x167e 00001679: DUP2 0000167a: PUSH2 0x1663 0000167d: JUMP 0000167e: JUMPDEST 0000167f: DUP2 00001680: EQ 00001681: PUSH2 0x1689 00001684: JUMPI 00001685: PUSH1 0x00 00001687: DUP1 00001688: REVERT 00001689: JUMPDEST 0000168a: POP 0000168b: JUMP 0000168c: JUMPDEST 0000168d: PUSH1 0x00 0000168f: DUP2 00001690: CALLDATALOAD 00001691: SWAP1 00001692: POP 00001693: PUSH2 0x169b 00001696: DUP2 00001697: PUSH2 0x1675 0000169a: JUMP 0000169b: JUMPDEST 0000169c: SWAP3 0000169d: SWAP2 0000169e: POP 0000169f: POP 000016a0: JUMP 000016a1: JUMPDEST 000016a2: PUSH1 0x00 000016a4: DUP1 000016a5: PUSH1 0x00 000016a7: PUSH1 0x60 000016a9: DUP5 000016aa: DUP7 000016ab: SUB 000016ac: SLT 000016ad: ISZERO 000016ae: PUSH2 0x16ba 000016b1: JUMPI 000016b2: PUSH2 0x16b9 000016b5: PUSH2 0x1612 000016b8: JUMP 000016b9: JUMPDEST 000016ba: JUMPDEST 000016bb: PUSH1 0x00 000016bd: PUSH2 0x16c8 000016c0: DUP7 000016c1: DUP3 000016c2: DUP8 000016c3: ADD 000016c4: PUSH2 0x162e 000016c7: JUMP 000016c8: JUMPDEST 000016c9: SWAP4 000016ca: POP 000016cb: POP 000016cc: PUSH1 0x20 000016ce: PUSH2 0x16d9 000016d1: DUP7 000016d2: DUP3 000016d3: DUP8 000016d4: ADD 000016d5: PUSH2 0x168c 000016d8: JUMP 000016d9: JUMPDEST 000016da: SWAP3 000016db: POP 000016dc: POP 000016dd: PUSH1 0x40 000016df: PUSH2 0x16ea 000016e2: DUP7 000016e3: DUP3 000016e4: DUP8 000016e5: ADD 000016e6: PUSH2 0x168c 000016e9: JUMP 000016ea: JUMPDEST 000016eb: SWAP2 000016ec: POP 000016ed: POP 000016ee: SWAP3 000016ef: POP 000016f0: SWAP3 000016f1: POP 000016f2: SWAP3 000016f3: JUMP 000016f4: JUMPDEST 000016f5: PUSH1 0x00 000016f7: PUSH1 0x20 000016f9: DUP3 000016fa: DUP5 000016fb: SUB 000016fc: SLT 000016fd: ISZERO 000016fe: PUSH2 0x170a 00001701: JUMPI 00001702: PUSH2 0x1709 00001705: PUSH2 0x1612 00001708: JUMP 00001709: JUMPDEST 0000170a: JUMPDEST 0000170b: PUSH1 0x00 0000170d: PUSH2 0x1718 00001710: DUP5 00001711: DUP3 00001712: DUP6 00001713: ADD 00001714: PUSH2 0x168c 00001717: JUMP 00001718: JUMPDEST 00001719: SWAP2 0000171a: POP 0000171b: POP 0000171c: SWAP3 0000171d: SWAP2 0000171e: POP 0000171f: POP 00001720: JUMP 00001721: JUMPDEST 00001722: PUSH1 0x00 00001724: DUP2 00001725: ISZERO 00001726: ISZERO 00001727: SWAP1 00001728: POP 00001729: SWAP2 0000172a: SWAP1 0000172b: POP 0000172c: JUMP 0000172d: JUMPDEST 0000172e: PUSH2 0x1736 00001731: DUP2 00001732: PUSH2 0x1721 00001735: JUMP 00001736: JUMPDEST 00001737: DUP3 00001738: MSTORE 00001739: POP 0000173a: POP 0000173b: JUMP 0000173c: JUMPDEST 0000173d: PUSH1 0x00 0000173f: PUSH1 0x20 00001741: DUP3 00001742: ADD 00001743: SWAP1 00001744: POP 00001745: PUSH2 0x1751 00001748: PUSH1 0x00 0000174a: DUP4 0000174b: ADD 0000174c: DUP5 0000174d: PUSH2 0x172d 00001750: JUMP 00001751: JUMPDEST 00001752: SWAP3 00001753: SWAP2 00001754: POP 00001755: POP 00001756: JUMP 00001757: JUMPDEST 00001758: PUSH1 0x00 0000175a: PUSH1 0x20 0000175c: DUP3 0000175d: DUP5 0000175e: SUB 0000175f: SLT 00001760: ISZERO 00001761: PUSH2 0x176d 00001764: JUMPI 00001765: PUSH2 0x176c 00001768: PUSH2 0x1612 0000176b: JUMP 0000176c: JUMPDEST 0000176d: JUMPDEST 0000176e: PUSH1 0x00 00001770: PUSH2 0x177b 00001773: DUP5 00001774: DUP3 00001775: DUP6 00001776: ADD 00001777: PUSH2 0x162e 0000177a: JUMP 0000177b: JUMPDEST 0000177c: SWAP2 0000177d: POP 0000177e: POP 0000177f: SWAP3 00001780: SWAP2 00001781: POP 00001782: POP 00001783: JUMP 00001784: JUMPDEST 00001785: PUSH1 0x00 00001787: DUP1 00001788: PUSH1 0x40 0000178a: DUP4 0000178b: DUP6 0000178c: SUB 0000178d: SLT 0000178e: ISZERO 0000178f: PUSH2 0x179b 00001792: JUMPI 00001793: PUSH2 0x179a 00001796: PUSH2 0x1612 00001799: JUMP 0000179a: JUMPDEST 0000179b: JUMPDEST 0000179c: PUSH1 0x00 0000179e: PUSH2 0x17a9 000017a1: DUP6 000017a2: DUP3 000017a3: DUP7 000017a4: ADD 000017a5: PUSH2 0x168c 000017a8: JUMP 000017a9: JUMPDEST 000017aa: SWAP3 000017ab: POP 000017ac: POP 000017ad: PUSH1 0x20 000017af: PUSH2 0x17ba 000017b2: DUP6 000017b3: DUP3 000017b4: DUP7 000017b5: ADD 000017b6: PUSH2 0x162e 000017b9: JUMP 000017ba: JUMPDEST 000017bb: SWAP2 000017bc: POP 000017bd: POP 000017be: SWAP3 000017bf: POP 000017c0: SWAP3 000017c1: SWAP1 000017c2: POP 000017c3: JUMP 000017c4: JUMPDEST 000017c5: PUSH1 0x00 000017c7: PUSH1 0x40 000017c9: DUP3 000017ca: ADD 000017cb: SWAP1 000017cc: POP 000017cd: PUSH2 0x17d9 000017d0: PUSH1 0x00 000017d2: DUP4 000017d3: ADD 000017d4: DUP6 000017d5: PUSH2 0x15e8 000017d8: JUMP 000017d9: JUMPDEST 000017da: PUSH2 0x17e6 000017dd: PUSH1 0x20 000017df: DUP4 000017e0: ADD 000017e1: DUP5 000017e2: PUSH2 0x172d 000017e5: JUMP 000017e6: JUMPDEST 000017e7: SWAP4 000017e8: SWAP3 000017e9: POP 000017ea: POP 000017eb: POP 000017ec: JUMP 000017ed: JUMPDEST 000017ee: PUSH2 0x17f6 000017f1: DUP2 000017f2: PUSH2 0x1663 000017f5: JUMP 000017f6: JUMPDEST 000017f7: DUP3 000017f8: MSTORE 000017f9: POP 000017fa: POP 000017fb: JUMP 000017fc: JUMPDEST 000017fd: PUSH1 0x00 000017ff: PUSH1 0x20 00001801: DUP3 00001802: ADD 00001803: SWAP1 00001804: POP 00001805: PUSH2 0x1811 00001808: PUSH1 0x00 0000180a: DUP4 0000180b: ADD 0000180c: DUP5 0000180d: PUSH2 0x17ed 00001810: JUMP 00001811: JUMPDEST 00001812: SWAP3 00001813: SWAP2 00001814: POP 00001815: POP 00001816: JUMP 00001817: JUMPDEST 00001818: PUSH2 0x1820 0000181b: DUP2 0000181c: PUSH2 0x1721 0000181f: JUMP 00001820: JUMPDEST 00001821: DUP2 00001822: EQ 00001823: PUSH2 0x182b 00001826: JUMPI 00001827: PUSH1 0x00 00001829: DUP1 0000182a: REVERT 0000182b: JUMPDEST 0000182c: POP 0000182d: JUMP 0000182e: JUMPDEST 0000182f: PUSH1 0x00 00001831: DUP2 00001832: CALLDATALOAD 00001833: SWAP1 00001834: POP 00001835: PUSH2 0x183d 00001838: DUP2 00001839: PUSH2 0x1817 0000183c: JUMP 0000183d: JUMPDEST 0000183e: SWAP3 0000183f: SWAP2 00001840: POP 00001841: POP 00001842: JUMP 00001843: JUMPDEST 00001844: PUSH1 0x00 00001846: DUP1 00001847: PUSH1 0x40 00001849: DUP4 0000184a: DUP6 0000184b: SUB 0000184c: SLT 0000184d: ISZERO 0000184e: PUSH2 0x185a 00001851: JUMPI 00001852: PUSH2 0x1859 00001855: PUSH2 0x1612 00001858: JUMP 00001859: JUMPDEST 0000185a: JUMPDEST 0000185b: PUSH1 0x00 0000185d: PUSH2 0x1868 00001860: DUP6 00001861: DUP3 00001862: DUP7 00001863: ADD 00001864: PUSH2 0x168c 00001867: JUMP 00001868: JUMPDEST 00001869: SWAP3 0000186a: POP 0000186b: POP 0000186c: PUSH1 0x20 0000186e: PUSH2 0x1879 00001871: DUP6 00001872: DUP3 00001873: DUP7 00001874: ADD 00001875: PUSH2 0x182e 00001878: JUMP 00001879: JUMPDEST 0000187a: SWAP2 0000187b: POP 0000187c: POP 0000187d: SWAP3 0000187e: POP 0000187f: SWAP3 00001880: SWAP1 00001881: POP 00001882: JUMP 00001883: JUMPDEST 00001884: PUSH1 0x00 00001886: DUP1 00001887: PUSH1 0x00 00001889: PUSH1 0x60 0000188b: DUP5 0000188c: DUP7 0000188d: SUB 0000188e: SLT 0000188f: ISZERO 00001890: PUSH2 0x189c 00001893: JUMPI 00001894: PUSH2 0x189b 00001897: PUSH2 0x1612 0000189a: JUMP 0000189b: JUMPDEST 0000189c: JUMPDEST 0000189d: PUSH1 0x00 0000189f: PUSH2 0x18aa 000018a2: DUP7 000018a3: DUP3 000018a4: DUP8 000018a5: ADD 000018a6: PUSH2 0x168c 000018a9: JUMP 000018aa: JUMPDEST 000018ab: SWAP4 000018ac: POP 000018ad: POP 000018ae: PUSH1 0x20 000018b0: PUSH2 0x18bb 000018b3: DUP7 000018b4: DUP3 000018b5: DUP8 000018b6: ADD 000018b7: PUSH2 0x162e 000018ba: JUMP 000018bb: JUMPDEST 000018bc: SWAP3 000018bd: POP 000018be: POP 000018bf: PUSH1 0x40 000018c1: PUSH2 0x18cc 000018c4: DUP7 000018c5: DUP3 000018c6: DUP8 000018c7: ADD 000018c8: PUSH2 0x162e 000018cb: JUMP 000018cc: JUMPDEST 000018cd: SWAP2 000018ce: POP 000018cf: POP 000018d0: SWAP3 000018d1: POP 000018d2: SWAP3 000018d3: POP 000018d4: SWAP3 000018d5: JUMP 000018d6: JUMPDEST 000018d7: PUSH1 0x00 000018d9: DUP3 000018da: DUP3 000018db: MSTORE 000018dc: PUSH1 0x20 000018de: DUP3 000018df: ADD 000018e0: SWAP1 000018e1: POP 000018e2: SWAP3 000018e3: SWAP2 000018e4: POP 000018e5: POP 000018e6: JUMP 000018e7: JUMPDEST 000018e8: PUSH32 0x416d6f756e74206d7573742062652067726561746572207468616e2030000000 00001909: PUSH1 0x00 0000190b: DUP3 0000190c: ADD 0000190d: MSTORE 0000190e: POP 0000190f: JUMP 00001910: JUMPDEST 00001911: PUSH1 0x00 00001913: PUSH2 0x191d 00001916: PUSH1 0x1d 00001918: DUP4 00001919: PUSH2 0x18d6 0000191c: JUMP 0000191d: JUMPDEST 0000191e: SWAP2 0000191f: POP 00001920: PUSH2 0x1928 00001923: DUP3 00001924: PUSH2 0x18e7 00001927: JUMP 00001928: JUMPDEST 00001929: PUSH1 0x20 0000192b: DUP3 0000192c: ADD 0000192d: SWAP1 0000192e: POP 0000192f: SWAP2 00001930: SWAP1 00001931: POP 00001932: JUMP 00001933: JUMPDEST 00001934: PUSH1 0x00 00001936: PUSH1 0x20 00001938: DUP3 00001939: ADD 0000193a: SWAP1 0000193b: POP 0000193c: DUP2 0000193d: DUP2 0000193e: SUB 0000193f: PUSH1 0x00 00001941: DUP4 00001942: ADD 00001943: MSTORE 00001944: PUSH2 0x194c 00001947: DUP2 00001948: PUSH2 0x1910 0000194b: JUMP 0000194c: JUMPDEST 0000194d: SWAP1 0000194e: POP 0000194f: SWAP2 00001950: SWAP1 00001951: POP 00001952: JUMP 00001953: JUMPDEST 00001954: PUSH32 0x496e76616c696420726563697069656e74206164647265737300000000000000 00001975: PUSH1 0x00 00001977: DUP3 00001978: ADD 00001979: MSTORE 0000197a: POP 0000197b: JUMP 0000197c: JUMPDEST 0000197d: PUSH1 0x00 0000197f: PUSH2 0x1989 00001982: PUSH1 0x19 00001984: DUP4 00001985: PUSH2 0x18d6 00001988: JUMP 00001989: JUMPDEST 0000198a: SWAP2 0000198b: POP 0000198c: PUSH2 0x1994 0000198f: DUP3 00001990: PUSH2 0x1953 00001993: JUMP 00001994: JUMPDEST 00001995: PUSH1 0x20 00001997: DUP3 00001998: ADD 00001999: SWAP1 0000199a: POP 0000199b: SWAP2 0000199c: SWAP1 0000199d: POP 0000199e: JUMP 0000199f: JUMPDEST 000019a0: PUSH1 0x00 000019a2: PUSH1 0x20 000019a4: DUP3 000019a5: ADD 000019a6: SWAP1 000019a7: POP 000019a8: DUP2 000019a9: DUP2 000019aa: SUB 000019ab: PUSH1 0x00 000019ad: DUP4 000019ae: ADD 000019af: MSTORE 000019b0: PUSH2 0x19b8 000019b3: DUP2 000019b4: PUSH2 0x197c 000019b7: JUMP 000019b8: JUMPDEST 000019b9: SWAP1 000019ba: POP 000019bb: SWAP2 000019bc: SWAP1 000019bd: POP 000019be: JUMP 000019bf: JUMPDEST 000019c0: PUSH1 0x00 000019c2: PUSH1 0xa0 000019c4: DUP3 000019c5: ADD 000019c6: SWAP1 000019c7: POP 000019c8: PUSH2 0x19d4 000019cb: PUSH1 0x00 000019cd: DUP4 000019ce: ADD 000019cf: DUP9 000019d0: PUSH2 0x15e8 000019d3: JUMP 000019d4: JUMPDEST 000019d5: PUSH2 0x19e1 000019d8: PUSH1 0x20 000019da: DUP4 000019db: ADD 000019dc: DUP8 000019dd: PUSH2 0x15e8 000019e0: JUMP 000019e1: JUMPDEST 000019e2: PUSH2 0x19ee 000019e5: PUSH1 0x40 000019e7: DUP4 000019e8: ADD 000019e9: DUP7 000019ea: PUSH2 0x15e8 000019ed: JUMP 000019ee: JUMPDEST 000019ef: PUSH2 0x19fb 000019f2: PUSH1 0x60 000019f4: DUP4 000019f5: ADD 000019f6: DUP6 000019f7: PUSH2 0x17ed 000019fa: JUMP 000019fb: JUMPDEST 000019fc: PUSH2 0x1a08 000019ff: PUSH1 0x80 00001a01: DUP4 00001a02: ADD 00001a03: DUP5 00001a04: PUSH2 0x17ed 00001a07: JUMP 00001a08: JUMPDEST 00001a09: SWAP7 00001a0a: SWAP6 00001a0b: POP 00001a0c: POP 00001a0d: POP 00001a0e: POP 00001a0f: POP 00001a10: POP 00001a11: JUMP 00001a12: JUMPDEST 00001a13: PUSH32 0x496e73756666696369656e742062616c616e6365000000000000000000000000 00001a34: PUSH1 0x00 00001a36: DUP3 00001a37: ADD 00001a38: MSTORE 00001a39: POP 00001a3a: JUMP 00001a3b: JUMPDEST 00001a3c: PUSH1 0x00 00001a3e: PUSH2 0x1a48 00001a41: PUSH1 0x14 00001a43: DUP4 00001a44: PUSH2 0x18d6 00001a47: JUMP 00001a48: JUMPDEST 00001a49: SWAP2 00001a4a: POP 00001a4b: PUSH2 0x1a53 00001a4e: DUP3 00001a4f: PUSH2 0x1a12 00001a52: JUMP 00001a53: JUMPDEST 00001a54: PUSH1 0x20 00001a56: DUP3 00001a57: ADD 00001a58: SWAP1 00001a59: POP 00001a5a: SWAP2 00001a5b: SWAP1 00001a5c: POP 00001a5d: JUMP 00001a5e: JUMPDEST 00001a5f: PUSH1 0x00 00001a61: PUSH1 0x20 00001a63: DUP3 00001a64: ADD 00001a65: SWAP1 00001a66: POP 00001a67: DUP2 00001a68: DUP2 00001a69: SUB 00001a6a: PUSH1 0x00 00001a6c: DUP4 00001a6d: ADD 00001a6e: MSTORE 00001a6f: PUSH2 0x1a77 00001a72: DUP2 00001a73: PUSH2 0x1a3b 00001a76: JUMP 00001a77: JUMPDEST 00001a78: SWAP1 00001a79: POP 00001a7a: SWAP2 00001a7b: SWAP1 00001a7c: POP 00001a7d: JUMP 00001a7e: JUMPDEST 00001a7f: PUSH32 0x4e6f2045544820746f2077697468647261770000000000000000000000000000 00001aa0: PUSH1 0x00 00001aa2: DUP3 00001aa3: ADD 00001aa4: MSTORE 00001aa5: POP 00001aa6: JUMP 00001aa7: JUMPDEST 00001aa8: PUSH1 0x00 00001aaa: PUSH2 0x1ab4 00001aad: PUSH1 0x12 00001aaf: DUP4 00001ab0: PUSH2 0x18d6 00001ab3: JUMP 00001ab4: JUMPDEST 00001ab5: SWAP2 00001ab6: POP 00001ab7: PUSH2 0x1abf 00001aba: DUP3 00001abb: PUSH2 0x1a7e 00001abe: JUMP 00001abf: JUMPDEST 00001ac0: PUSH1 0x20 00001ac2: DUP3 00001ac3: ADD 00001ac4: SWAP1 00001ac5: POP 00001ac6: SWAP2 00001ac7: SWAP1 00001ac8: POP 00001ac9: JUMP 00001aca: JUMPDEST 00001acb: PUSH1 0x00 00001acd: PUSH1 0x20 00001acf: DUP3 00001ad0: ADD 00001ad1: SWAP1 00001ad2: POP 00001ad3: DUP2 00001ad4: DUP2 00001ad5: SUB 00001ad6: PUSH1 0x00 00001ad8: DUP4 00001ad9: ADD 00001ada: MSTORE 00001adb: PUSH2 0x1ae3 00001ade: DUP2 00001adf: PUSH2 0x1aa7 00001ae2: JUMP 00001ae3: JUMPDEST 00001ae4: SWAP1 00001ae5: POP 00001ae6: SWAP2 00001ae7: SWAP1 00001ae8: POP 00001ae9: JUMP 00001aea: JUMPDEST 00001aeb: PUSH1 0x00 00001aed: DUP2 00001aee: SWAP1 00001aef: POP 00001af0: SWAP3 00001af1: SWAP2 00001af2: POP 00001af3: POP 00001af4: JUMP 00001af5: JUMPDEST 00001af6: POP 00001af7: JUMP 00001af8: JUMPDEST 00001af9: PUSH1 0x00 00001afb: PUSH2 0x1b05 00001afe: PUSH1 0x00 00001b00: DUP4 00001b01: PUSH2 0x1aea 00001b04: JUMP 00001b05: JUMPDEST 00001b06: SWAP2 00001b07: POP 00001b08: PUSH2 0x1b10 00001b0b: DUP3 00001b0c: PUSH2 0x1af5 00001b0f: JUMP 00001b10: JUMPDEST 00001b11: PUSH1 0x00 00001b13: DUP3 00001b14: ADD 00001b15: SWAP1 00001b16: POP 00001b17: SWAP2 00001b18: SWAP1 00001b19: POP 00001b1a: JUMP 00001b1b: JUMPDEST 00001b1c: PUSH1 0x00 00001b1e: PUSH2 0x1b26 00001b21: DUP3 00001b22: PUSH2 0x1af8 00001b25: JUMP 00001b26: JUMPDEST 00001b27: SWAP2 00001b28: POP 00001b29: DUP2 00001b2a: SWAP1 00001b2b: POP 00001b2c: SWAP2 00001b2d: SWAP1 00001b2e: POP 00001b2f: JUMP 00001b30: JUMPDEST 00001b31: PUSH32 0x455448207472616e73666572206661696c656400000000000000000000000000 00001b52: PUSH1 0x00 00001b54: DUP3 00001b55: ADD 00001b56: MSTORE 00001b57: POP 00001b58: JUMP 00001b59: JUMPDEST 00001b5a: PUSH1 0x00 00001b5c: PUSH2 0x1b66 00001b5f: PUSH1 0x13 00001b61: DUP4 00001b62: PUSH2 0x18d6 00001b65: JUMP 00001b66: JUMPDEST 00001b67: SWAP2 00001b68: POP 00001b69: PUSH2 0x1b71 00001b6c: DUP3 00001b6d: PUSH2 0x1b30 00001b70: JUMP 00001b71: JUMPDEST 00001b72: PUSH1 0x20 00001b74: DUP3 00001b75: ADD 00001b76: SWAP1 00001b77: POP 00001b78: SWAP2 00001b79: SWAP1 00001b7a: POP 00001b7b: JUMP 00001b7c: JUMPDEST 00001b7d: PUSH1 0x00 00001b7f: PUSH1 0x20 00001b81: DUP3 00001b82: ADD 00001b83: SWAP1 00001b84: POP 00001b85: DUP2 00001b86: DUP2 00001b87: SUB 00001b88: PUSH1 0x00 00001b8a: DUP4 00001b8b: ADD 00001b8c: MSTORE 00001b8d: PUSH2 0x1b95 00001b90: DUP2 00001b91: PUSH2 0x1b59 00001b94: JUMP 00001b95: JUMPDEST 00001b96: SWAP1 00001b97: POP 00001b98: SWAP2 00001b99: SWAP1 00001b9a: POP 00001b9b: JUMP 00001b9c: JUMPDEST 00001b9d: PUSH1 0x00 00001b9f: PUSH1 0x40 00001ba1: DUP3 00001ba2: ADD 00001ba3: SWAP1 00001ba4: POP 00001ba5: PUSH2 0x1bb1 00001ba8: PUSH1 0x00 00001baa: DUP4 00001bab: ADD 00001bac: DUP6 00001bad: PUSH2 0x15e8 00001bb0: JUMP 00001bb1: JUMPDEST 00001bb2: PUSH2 0x1bbe 00001bb5: PUSH1 0x20 00001bb7: DUP4 00001bb8: ADD 00001bb9: DUP5 00001bba: PUSH2 0x15e8 00001bbd: JUMP 00001bbe: JUMPDEST 00001bbf: SWAP4 00001bc0: SWAP3 00001bc1: POP 00001bc2: POP 00001bc3: POP 00001bc4: JUMP 00001bc5: JUMPDEST 00001bc6: PUSH32 0x4e6f206c69717569646974790000000000000000000000000000000000000000 00001be7: PUSH1 0x00 00001be9: DUP3 00001bea: ADD 00001beb: MSTORE 00001bec: POP 00001bed: JUMP 00001bee: JUMPDEST 00001bef: PUSH1 0x00 00001bf1: PUSH2 0x1bfb 00001bf4: PUSH1 0x0c 00001bf6: DUP4 00001bf7: PUSH2 0x18d6 00001bfa: JUMP 00001bfb: JUMPDEST 00001bfc: SWAP2 00001bfd: POP 00001bfe: PUSH2 0x1c06 00001c01: DUP3 00001c02: PUSH2 0x1bc5 00001c05: JUMP 00001c06: JUMPDEST 00001c07: PUSH1 0x20 00001c09: DUP3 00001c0a: ADD 00001c0b: SWAP1 00001c0c: POP 00001c0d: SWAP2 00001c0e: SWAP1 00001c0f: POP 00001c10: JUMP 00001c11: JUMPDEST 00001c12: PUSH1 0x00 00001c14: PUSH1 0x20 00001c16: DUP3 00001c17: ADD 00001c18: SWAP1 00001c19: POP 00001c1a: DUP2 00001c1b: DUP2 00001c1c: SUB 00001c1d: PUSH1 0x00 00001c1f: DUP4 00001c20: ADD 00001c21: MSTORE 00001c22: PUSH2 0x1c2a 00001c25: DUP2 00001c26: PUSH2 0x1bee 00001c29: JUMP 00001c2a: JUMPDEST 00001c2b: SWAP1 00001c2c: POP 00001c2d: SWAP2 00001c2e: SWAP1 00001c2f: POP 00001c30: JUMP 00001c31: JUMPDEST 00001c32: PUSH32 0x496e73756666696369656e74206c697175696469747900000000000000000000 00001c53: PUSH1 0x00 00001c55: DUP3 00001c56: ADD 00001c57: MSTORE 00001c58: POP 00001c59: JUMP 00001c5a: JUMPDEST 00001c5b: PUSH1 0x00 00001c5d: PUSH2 0x1c67 00001c60: PUSH1 0x16 00001c62: DUP4 00001c63: PUSH2 0x18d6 00001c66: JUMP 00001c67: JUMPDEST 00001c68: SWAP2 00001c69: POP 00001c6a: PUSH2 0x1c72 00001c6d: DUP3 00001c6e: PUSH2 0x1c31 00001c71: JUMP 00001c72: JUMPDEST 00001c73: PUSH1 0x20 00001c75: DUP3 00001c76: ADD 00001c77: SWAP1 00001c78: POP 00001c79: SWAP2 00001c7a: SWAP1 00001c7b: POP 00001c7c: JUMP 00001c7d: JUMPDEST 00001c7e: PUSH1 0x00 00001c80: PUSH1 0x20 00001c82: DUP3 00001c83: ADD 00001c84: SWAP1 00001c85: POP 00001c86: DUP2 00001c87: DUP2 00001c88: SUB 00001c89: PUSH1 0x00 00001c8b: DUP4 00001c8c: ADD 00001c8d: MSTORE 00001c8e: PUSH2 0x1c96 00001c91: DUP2 00001c92: PUSH2 0x1c5a 00001c95: JUMP 00001c96: JUMPDEST 00001c97: SWAP1 00001c98: POP 00001c99: SWAP2 00001c9a: SWAP1 00001c9b: POP 00001c9c: JUMP 00001c9d: JUMPDEST 00001c9e: PUSH32 0x496e73756666696369656e7420636f6e74726163742062616c616e6365000000 00001cbf: PUSH1 0x00 00001cc1: DUP3 00001cc2: ADD 00001cc3: MSTORE 00001cc4: POP 00001cc5: JUMP 00001cc6: JUMPDEST 00001cc7: PUSH1 0x00 00001cc9: PUSH2 0x1cd3 00001ccc: PUSH1 0x1d 00001cce: DUP4 00001ccf: PUSH2 0x18d6 00001cd2: JUMP 00001cd3: JUMPDEST 00001cd4: SWAP2 00001cd5: POP 00001cd6: PUSH2 0x1cde 00001cd9: DUP3 00001cda: PUSH2 0x1c9d 00001cdd: JUMP 00001cde: JUMPDEST 00001cdf: PUSH1 0x20 00001ce1: DUP3 00001ce2: ADD 00001ce3: SWAP1 00001ce4: POP 00001ce5: SWAP2 00001ce6: SWAP1 00001ce7: POP 00001ce8: JUMP 00001ce9: JUMPDEST 00001cea: PUSH1 0x00 00001cec: PUSH1 0x20 00001cee: DUP3 00001cef: ADD 00001cf0: SWAP1 00001cf1: POP 00001cf2: DUP2 00001cf3: DUP2 00001cf4: SUB 00001cf5: PUSH1 0x00 00001cf7: DUP4 00001cf8: ADD 00001cf9: MSTORE 00001cfa: PUSH2 0x1d02 00001cfd: DUP2 00001cfe: PUSH2 0x1cc6 00001d01: JUMP 00001d02: JUMPDEST 00001d03: SWAP1 00001d04: POP 00001d05: SWAP2 00001d06: SWAP1 00001d07: POP 00001d08: JUMP 00001d09: JUMPDEST 00001d0a: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00001d2b: PUSH1 0x00 00001d2d: MSTORE 00001d2e: PUSH1 0x11 00001d30: PUSH1 0x04 00001d32: MSTORE 00001d33: PUSH1 0x24 00001d35: PUSH1 0x00 00001d37: REVERT 00001d38: JUMPDEST 00001d39: PUSH1 0x00 00001d3b: PUSH2 0x1d43 00001d3e: DUP3 00001d3f: PUSH2 0x15de 00001d42: JUMP 00001d43: JUMPDEST 00001d44: SWAP2 00001d45: POP 00001d46: PUSH2 0x1d4e 00001d49: DUP4 00001d4a: PUSH2 0x15de 00001d4d: JUMP 00001d4e: JUMPDEST 00001d4f: SWAP3 00001d50: POP 00001d51: DUP3 00001d52: DUP3 00001d53: SUB 00001d54: SWAP1 00001d55: POP 00001d56: DUP2 00001d57: DUP2 00001d58: GT 00001d59: ISZERO 00001d5a: PUSH2 0x1d66 00001d5d: JUMPI 00001d5e: PUSH2 0x1d65 00001d61: PUSH2 0x1d09 00001d64: JUMP 00001d65: JUMPDEST 00001d66: JUMPDEST 00001d67: SWAP3 00001d68: SWAP2 00001d69: POP 00001d6a: POP 00001d6b: JUMP 00001d6c: JUMPDEST 00001d6d: PUSH32 0x496e76616c69642072656c617965722061646472657373000000000000000000 00001d8e: PUSH1 0x00 00001d90: DUP3 00001d91: ADD 00001d92: MSTORE 00001d93: POP 00001d94: JUMP 00001d95: JUMPDEST 00001d96: PUSH1 0x00 00001d98: PUSH2 0x1da2 00001d9b: PUSH1 0x17 00001d9d: DUP4 00001d9e: PUSH2 0x18d6 00001da1: JUMP 00001da2: JUMPDEST 00001da3: SWAP2 00001da4: POP 00001da5: PUSH2 0x1dad 00001da8: DUP3 00001da9: PUSH2 0x1d6c 00001dac: JUMP 00001dad: JUMPDEST 00001dae: PUSH1 0x20 00001db0: DUP3 00001db1: ADD 00001db2: SWAP1 00001db3: POP 00001db4: SWAP2 00001db5: SWAP1 00001db6: POP 00001db7: JUMP 00001db8: JUMPDEST 00001db9: PUSH1 0x00 00001dbb: PUSH1 0x20 00001dbd: DUP3 00001dbe: ADD 00001dbf: SWAP1 00001dc0: POP 00001dc1: DUP2 00001dc2: DUP2 00001dc3: SUB 00001dc4: PUSH1 0x00 00001dc6: DUP4 00001dc7: ADD 00001dc8: MSTORE 00001dc9: PUSH2 0x1dd1 00001dcc: DUP2 00001dcd: PUSH2 0x1d95 00001dd0: JUMP 00001dd1: JUMPDEST 00001dd2: SWAP1 00001dd3: POP 00001dd4: SWAP2 00001dd5: SWAP1 00001dd6: POP 00001dd7: JUMP 00001dd8: JUMPDEST 00001dd9: PUSH1 0x00 00001ddb: PUSH1 0x40 00001ddd: DUP3 00001dde: ADD 00001ddf: SWAP1 00001de0: POP 00001de1: PUSH2 0x1ded 00001de4: PUSH1 0x00 00001de6: DUP4 00001de7: ADD 00001de8: DUP6 00001de9: PUSH2 0x17ed 00001dec: JUMP 00001ded: JUMPDEST 00001dee: PUSH2 0x1dfa 00001df1: PUSH1 0x20 00001df3: DUP4 00001df4: ADD 00001df5: DUP5 00001df6: PUSH2 0x172d 00001df9: JUMP 00001dfa: JUMPDEST 00001dfb: SWAP4 00001dfc: SWAP3 00001dfd: POP 00001dfe: POP 00001dff: POP 00001e00: JUMP 00001e01: JUMPDEST 00001e02: PUSH32 0x4e6f7420617574686f72697a6564000000000000000000000000000000000000 00001e23: PUSH1 0x00 00001e25: DUP3 00001e26: ADD 00001e27: MSTORE 00001e28: POP 00001e29: JUMP 00001e2a: JUMPDEST 00001e2b: PUSH1 0x00 00001e2d: PUSH2 0x1e37 00001e30: PUSH1 0x0e 00001e32: DUP4 00001e33: PUSH2 0x18d6 00001e36: JUMP 00001e37: JUMPDEST 00001e38: SWAP2 00001e39: POP 00001e3a: PUSH2 0x1e42 00001e3d: DUP3 00001e3e: PUSH2 0x1e01 00001e41: JUMP 00001e42: JUMPDEST 00001e43: PUSH1 0x20 00001e45: DUP3 00001e46: ADD 00001e47: SWAP1 00001e48: POP 00001e49: SWAP2 00001e4a: SWAP1 00001e4b: POP 00001e4c: JUMP 00001e4d: JUMPDEST 00001e4e: PUSH1 0x00 00001e50: PUSH1 0x20 00001e52: DUP3 00001e53: ADD 00001e54: SWAP1 00001e55: POP 00001e56: DUP2 00001e57: DUP2 00001e58: SUB 00001e59: PUSH1 0x00 00001e5b: DUP4 00001e5c: ADD 00001e5d: MSTORE 00001e5e: PUSH2 0x1e66 00001e61: DUP2 00001e62: PUSH2 0x1e2a 00001e65: JUMP 00001e66: JUMPDEST 00001e67: SWAP1 00001e68: POP 00001e69: SWAP2 00001e6a: SWAP1 00001e6b: POP 00001e6c: JUMP 00001e6d: JUMPDEST 00001e6e: PUSH32 0x496e76616c696420616d6f756e74000000000000000000000000000000000000 00001e8f: PUSH1 0x00 00001e91: DUP3 00001e92: ADD 00001e93: MSTORE 00001e94: POP 00001e95: JUMP 00001e96: JUMPDEST 00001e97: PUSH1 0x00 00001e99: PUSH2 0x1ea3 00001e9c: PUSH1 0x0e 00001e9e: DUP4 00001e9f: PUSH2 0x18d6 00001ea2: JUMP 00001ea3: JUMPDEST 00001ea4: SWAP2 00001ea5: POP 00001ea6: PUSH2 0x1eae 00001ea9: DUP3 00001eaa: PUSH2 0x1e6d 00001ead: JUMP 00001eae: JUMPDEST 00001eaf: PUSH1 0x20 00001eb1: DUP3 00001eb2: ADD 00001eb3: SWAP1 00001eb4: POP 00001eb5: SWAP2 00001eb6: SWAP1 00001eb7: POP 00001eb8: JUMP 00001eb9: JUMPDEST 00001eba: PUSH1 0x00 00001ebc: PUSH1 0x20 00001ebe: DUP3 00001ebf: ADD 00001ec0: SWAP1 00001ec1: POP 00001ec2: DUP2 00001ec3: DUP2 00001ec4: SUB 00001ec5: PUSH1 0x00 00001ec7: DUP4 00001ec8: ADD 00001ec9: MSTORE 00001eca: PUSH2 0x1ed2 00001ecd: DUP2 00001ece: PUSH2 0x1e96 00001ed1: JUMP 00001ed2: JUMPDEST 00001ed3: SWAP1 00001ed4: POP 00001ed5: SWAP2 00001ed6: SWAP1 00001ed7: POP 00001ed8: JUMP 00001ed9: JUMPDEST 00001eda: PUSH1 0x00 00001edc: PUSH1 0x60 00001ede: DUP3 00001edf: ADD 00001ee0: SWAP1 00001ee1: POP 00001ee2: PUSH2 0x1eee 00001ee5: PUSH1 0x00 00001ee7: DUP4 00001ee8: ADD 00001ee9: DUP7 00001eea: PUSH2 0x15e8 00001eed: JUMP 00001eee: JUMPDEST 00001eef: PUSH2 0x1efb 00001ef2: PUSH1 0x20 00001ef4: DUP4 00001ef5: ADD 00001ef6: DUP6 00001ef7: PUSH2 0x15e8 00001efa: JUMP 00001efb: JUMPDEST 00001efc: PUSH2 0x1f08 00001eff: PUSH1 0x40 00001f01: DUP4 00001f02: ADD 00001f03: DUP5 00001f04: PUSH2 0x15e8 00001f07: JUMP 00001f08: JUMPDEST 00001f09: SWAP5 00001f0a: SWAP4 00001f0b: POP 00001f0c: POP 00001f0d: POP 00001f0e: POP 00001f0f: JUMP 00001f10: JUMPDEST 00001f11: PUSH1 0x00 00001f13: PUSH2 0x1f1b 00001f16: DUP3 00001f17: PUSH2 0x15de 00001f1a: JUMP 00001f1b: JUMPDEST 00001f1c: SWAP2 00001f1d: POP 00001f1e: PUSH2 0x1f26 00001f21: DUP4 00001f22: PUSH2 0x15de 00001f25: JUMP 00001f26: JUMPDEST 00001f27: SWAP3 00001f28: POP 00001f29: DUP3 00001f2a: DUP3 00001f2b: ADD 00001f2c: SWAP1 00001f2d: POP 00001f2e: DUP1 00001f2f: DUP3 00001f30: GT 00001f31: ISZERO 00001f32: PUSH2 0x1f3e 00001f35: JUMPI 00001f36: PUSH2 0x1f3d 00001f39: PUSH2 0x1d09 00001f3c: JUMP 00001f3d: JUMPDEST 00001f3e: JUMPDEST 00001f3f: SWAP3 00001f40: SWAP2 00001f41: POP 00001f42: POP 00001f43: JUMP 00001f44: INVALID 00001f45: LOG2 00001f46: PUSH5 0x6970667358 00001f4c: UNKNOWN(0x22) 00001f4d: SLT 00001f4e: KECCAK256 00001f4f: PUSH22 0x90884b46fee948f8cc9b27e8344ae5f27ff70327f788 00001f66: JUMPDEST 00001f67: KECCAK256 00001f68: CALL 00001f69: UNKNOWN(0xB2) 00001f6a: LOG0 00001f6b: PUSH30
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xf7cf5574fda93d8d618f15929cf02ad526270ebc3ffd9db3b1032b142507af5e
call_targets:
0xffca0febfc9b9c73db9e2b2c5fa453656668a402
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf7cf5574fda93d8d618f15929cf02ad526270ebc3ffd9db3b1032b142507af5e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xffca0febfc9b9c73db9e2b2c5fa453656668a402"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x9e45622d",
"selector": "0x9e45622d",
"calldata_variants": [
"0x9e45622d",
"0x9e45622d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc4c47ea5",
"selector": "0xc4c47ea5",
"calldata_variants": [
"0xc4c47ea5",
"0xc4c47ea50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe38dda31",
"selector": "0xe38dda31",
"calldata_variants": [
"0xe38dda31",
"0xe38dda310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe8078d94",
"selector": "0xe8078d94",
"calldata_variants": [
"0xe8078d94",
"0xe8078d940000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x99d8fe1c",
"selector": "0x99d8fe1c",
"calldata_variants": [
"0x99d8fe1c",
"0x99d8fe1c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9c8f9f23",
"selector": "0x9c8f9f23",
"calldata_variants": [
"0x9c8f9f23",
"0x9c8f9f230000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1682,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2887,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3568,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xf7cf5574fda93d8d618f15929cf02ad526270ebc3ffd9db3b1032b142507af5e
call_targets:
0xffca0febfc9b9c73db9e2b2c5fa453656668a402
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xf7cf5574fda93d8d618f15929cf02ad526270ebc3ffd9db3b1032b142507af5e",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xffca0febfc9b9c73db9e2b2c5fa453656668a402"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x9e45622d",
"selector": "0x9e45622d",
"calldata_variants": [
"0x9e45622d",
"0x9e45622d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc4c47ea5",
"selector": "0xc4c47ea5",
"calldata_variants": [
"0xc4c47ea5",
"0xc4c47ea50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe38dda31",
"selector": "0xe38dda31",
"calldata_variants": [
"0xe38dda31",
"0xe38dda310000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe8078d94",
"selector": "0xe8078d94",
"calldata_variants": [
"0xe8078d94",
"0xe8078d940000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x8da5cb5b",
"selector": "0x8da5cb5b",
"calldata_variants": [
"0x8da5cb5b",
"0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x99d8fe1c",
"selector": "0x99d8fe1c",
"calldata_variants": [
"0x99d8fe1c",
"0x99d8fe1c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9c8f9f23",
"selector": "0x9c8f9f23",
"calldata_variants": [
"0x9c8f9f23",
"0x9c8f9f230000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 1682,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2887,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3568,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|