5f47aefe-a22b-4fd9-8b65-f715a76cc26d
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 |
|---|---|---|---|---|
| 31663 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 95401 | artifact.fetch | complete | 1 / 3 | 1 week ago |
| 95402 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 95403 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 95404 | capability.graph | complete | 1 / 3 | 1 week ago |
| 95405 | detector.run | complete | 1 / 3 | 1 week ago |
| 95406 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:1001793] OpenAI Codex v0.77.0 (research preview)
[codex:1001793] --------
[codex:1001793] workdir: /tmp/codex-multi-hlcrnvz2
[codex:1001793] model: gpt-5.2-codex
[codex:1001793] provider: openai
[codex:1001793] approval: never
[codex:1001793] sandbox: read-only
[codex:1001793] reasoning effort: xhigh
[codex:1001793] reasoning summaries: auto
[codex:1001793] session id: 019b8c0c-6baf-7a10-a0bf-845d2c6ae330
[codex:1001793] --------
[codex:1001793] user
[codex:1001793] 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:1001793]
[codex:1001793] Read `BYTECODE_BUNDLE.txt` completely before concluding.
[codex:1001793]
[codex:1001793] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1001793] - Gas inefficiency, code quality, or best practices
[codex:1001793] - Theoretical vulnerabilities without a clear extraction path
[codex:1001793] - Generic footguns (unchecked return values, etc.) unless they enable theft
[codex:1001793] - Issues requiring social engineering or off-chain coordination
[codex:1001793]
[codex:1001793] PATTERNS WORTH INVESTIGATING in bytecode:
[codex:1001793] - CALL/DELEGATECALL with controllable destination or calldata
[codex:1001793] - Value transfers (CALL with non-zero value) without prior CALLER/ORIGIN checks
[codex:1001793] - SSTORE to low slots (0-10) that might be owner/admin storage
[codex:1001793] - ecrecover (signature validation) - look for missing nonce/replay protection
[codex:1001793] - External calls before state updates (reentrancy)
[codex:1001793] - SELFDESTRUCT with controllable beneficiary
[codex:1001793] - Proxy patterns (DELEGATECALL to storage slot) with unprotected upgrade paths
[codex:1001793]
[codex:1001793] For each finding, you MUST explain:
[codex:1001793] 1. The specific bytecode pattern/offsets that indicate the vulnerability
[codex:1001793] 2. The concrete sequence of transactions to extract value
[codex:1001793] 3. Why you believe this is exploitable (not just suspicious)
[codex:1001793]
[codex:1001793] If you cannot identify a concrete profit path from bytecode alone: set no_findings=true.
[codex:1001793] Do NOT hallucinate. Bytecode-only analysis is limited - be honest about uncertainty.
[codex:1001793]
[codex:1001793] Output MUST be valid JSON matching the provided schema.
[codex:1001793] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1001793] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1001793] mcp startup: no servers
[codex:1001793]
[codex:1001793] thinking
[codex:1001793] **Preparing to read BYTECODE_BUNDLE.txt**
[codex:1001793] exec
[codex:1001793] /bin/bash -lc ls in /tmp/codex-multi-hlcrnvz2 succeeded in 5ms:
[codex:1001793] BYTECODE_BUNDLE.txt
[codex:1001793] codex-output-schema.json
[codex:1001793]
[codex:1001793] thinking
[codex:1001793] **Reading file contents**
[codex:1001793] exec
[codex:1001793] /bin/bash -lc 'cat BYTECODE_BUNDLE.txt' in /tmp/codex-multi-hlcrnvz2 succeeded in 5ms:
[codex:1001793] Runtime bytecode bundle for best-effort auditing.
[codex:1001793] Note: without verified source, conclusions are low-confidence unless a concrete pattern is visible.
[codex:1001793]
[codex:1001793] FILE: runtime_bytecode.hex
[codex:1001793] 0x60806040526004361061014f5760003560e01c806362dd0729116100b6578063c537ad141161006f578063c537ad141461045e578063c8190b4214610488578063cf8304c3146104be578063d2e69e47146104d3578063db421f53146104e8578063f8c8765e1461050b576101b0565b806362dd0729146103605780636a8f414f146103ed578063745400c9146104025780637ebad9771461042c5780638456cb5914610441578063ba5515d314610456576101b0565b80633f4ba83a116101085780633f4ba83a146102b257806349f9faa2146102c757806351f9b086146102f857806353e8b5381461030d57806358c144d1146103225780635c975abb14610337576101b0565b806305352ae6146101b557806307771b83146101dc578063187f06f8146101f15780632d18cf0b146102065780633ccfd60b146102865780633f1447ed1461029d576101b0565b366101b057609d546101619034610556565b609d556099546101719034610556565b6099556040805133815234602082015281517fa65a35275a6d54c0ef4aff4ef8deedc01d639cd481bd4b81371025f62b88d412929181900390910190a1005b600080fd5b3480156101c157600080fd5b506101ca6105b9565b60408051918252519081900360200190f35b3480156101e857600080fd5b506101ca6105bf565b3480156101fd57600080fd5b506101ca6105e1565b34801561021257600080fd5b506102366004803603604081101561022957600080fd5b50803590602001356105e7565b60408051602080825283518183015283519192839290830191858101910280838360005b8381101561027257818101518382015260200161025a565b505050509050019250505060405180910390f35b34801561029257600080fd5b5061029b610728565b005b3480156102a957600080fd5b506101ca610dc1565b3480156102be57600080fd5b5061029b610dc7565b3480156102d357600080fd5b506102dc610e1a565b604080516001600160a01b039092168252519081900360200190f35b34801561030457600080fd5b506101ca610e29565b34801561031957600080fd5b506101ca610e2f565b34801561032e57600080fd5b506101ca610e35565b34801561034357600080fd5b5061034c610e3b565b604080519115158252519081900360200190f35b34801561036c57600080fd5b506103936004803603602081101561038357600080fd5b50356001600160a01b0316610e44565b604080516001600160a01b03909b168b5260208b0199909952898901979097526060890195909552608088019390935260a087019190915260c086015260e085015261010084015261012083015251908190036101400190f35b3480156103f957600080fd5b506102dc610e9f565b34801561040e57600080fd5b5061029b6004803603602081101561042557600080fd5b5035610eae565b34801561043857600080fd5b506102dc611622565b34801561044d57600080fd5b5061029b611631565b61029b6117f6565b34801561046a57600080fd5b5061029b6004803603602081101561048157600080fd5b50356118d1565b34801561049457600080fd5b5061029b600480360360608110156104ab57600080fd5b5080359060208101359060400135611abf565b3480156104ca57600080fd5b506101ca611dcb565b3480156104df57600080fd5b506102dc611dd1565b61029b600480360360408110156104fe57600080fd5b5080359060200135611de0565b34801561051757600080fd5b5061029b6004803603608081101561052e57600080fd5b506001600160a01b038135811691602081013582169160408201358116916060013516612106565b6000828201838110156105b0576040805162461bcd60e51b815260206004820152601b60248201527f536166654d6174683a206164646974696f6e206f766572666c6f770000000000604482015290519081900360640190fd5b90505b92915050565b60995481565b60a1546099546000916105dc91906001600160a01b031631610556565b905090565b609c5481565b60608183111561062d576040805162461bcd60e51b815260206004820152600c60248201526b2bb937b7339034b7383aba1760a11b604482015290519081900360640190fd5b60a05482111561066f576040805162461bcd60e51b81526020600482015260086024820152676f766572666c6f7760c01b604482015290519081900360640190fd5b606083830367ffffffffffffffff8111801561068a57600080fd5b506040519080825280602002602001820160405280156106b4578160200160208202803683370190505b5090506000845b8481101561071e5760a081815481106106d057fe5b9060005260206000200160009054906101000a90046001600160a01b03168383815181106106fa57fe5b6001600160a01b0390921660209283029190910190910152600191820191016106bb565b5090949350505050565b333214610771576040805162461bcd60e51b815260206004820152601260248201527127b7363c903234b932b1ba1031b0b636399760711b604482015290519081900360640190fd5b600260015414156107c9576040805162461bcd60e51b815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c00604482015290519081900360640190fd5b60026001556107d6610e3b565b1561081b576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b336000908152609f602052604090206005810154421015610883576040805162461bcd60e51b815260206004820152601960248201527f746f6b656e7320617265206e6f7420756e6c6f636b2079657400000000000000604482015290519081900360640190fd5b60008160030154116108c65760405162461bcd60e51b8152600401808060200182810382526022815260200180612b1e6022913960400191505060405180910390fd5b60048101541561091d576040805162461bcd60e51b815260206004820152601a60248201527f646f6e74206861766520656e6f7567682066756e647320796574000000000000604482015290519081900360640190fd5b600381015460a254604080516327f502cb60e01b81529051600093926001600160a01b0316916327f502cb916004808301926020929190829003018186803b15801561096857600080fd5b505afa15801561097c573d6000803e3d6000fd5b505050506040513d602081101561099257600080fd5b505115801590610a1a575060a260009054906101000a90046001600160a01b03166001600160a01b031663179b96936040518163ffffffff1660e01b815260040160206040518083038186803b1580156109eb57600080fd5b505afa1580156109ff573d6000803e3d6000fd5b505050506040513d6020811015610a1557600080fd5b505115155b15610c535760a260009054906101000a90046001600160a01b03166001600160a01b03166363a44d0f6040518163ffffffff1660e01b815260040160206040518083038186803b158015610a6d57600080fd5b505afa158015610a81573d6000803e3d6000fd5b505050506040513d6020811015610a9757600080fd5b5051811015610b985760a2546040805163b994a7c560e01b81529051610b91926001600160a01b03169163b994a7c5916004808301926020929190829003018186803b158015610ae657600080fd5b505afa158015610afa573d6000803e3d6000fd5b505050506040513d6020811015610b1057600080fd5b505160a2546040805163179b969360e01b81529051610b8b926001600160a01b03169163179b9693916004808301926020929190829003018186803b158015610b5857600080fd5b505afa158015610b6c573d6000803e3d6000fd5b505050506040513d6020811015610b8257600080fd5b50518490612280565b906122d9565b9150610c53565b60a2546040805163b994a7c560e01b81529051610c50926001600160a01b03169163b994a7c5916004808301926020929190829003018186803b158015610bde57600080fd5b505afa158015610bf2573d6000803e3d6000fd5b505050506040513d6020811015610c0857600080fd5b505160a254604080516327f502cb60e01b81529051610b8b926001600160a01b0316916327f502cb916004808301926020929190829003018186803b158015610b5857600080fd5b91505b6000610c5f8284612340565b6008850154909150610c719082610556565b600885015560028401546009850154610c8991610556565b6009850181905560018501546002860154600887015460408051338152602081019490945283810192909252606083018690526080830185905260a083015260c082019290925290517f84a31d1e97bd0543e1b306ae74373402bfd90d6eb0bca7d6d36cd9af49e8a3329181900360e00190a16000600285018190556003850181905560048501819055600585018190556006850155426007850155609a54610d329083612340565b609a55610d3f338261239d565b60a2546040805163011a412160e61b81529051610db7926001600160a01b0316916346904840916004808301926020929190829003018186803b158015610d8557600080fd5b505afa158015610d99573d6000803e3d6000fd5b505050506040513d6020811015610daf57600080fd5b50518461239d565b5050600180555050565b609a5481565b6097546001600160a01b03163314610e105760405162461bcd60e51b8152600401808060200182810382526025815260200180612bbf6025913960400191505060405180910390fd5b610e18612487565b565b60a1546001600160a01b031681565b609d5481565b60a05490565b609e5481565b60655460ff1690565b609f6020526000908152604090208054600182015460028301546003840154600485015460058601546006870154600788015460088901546009909901546001600160a01b039098169896979596949593949293919290918a565b6097546001600160a01b031681565b333214610ef7576040805162461bcd60e51b815260206004820152601260248201527127b7363c903234b932b1ba1031b0b636399760711b604482015290519081900360640190fd5b60026001541415610f4f576040805162461bcd60e51b815260206004820152601f60248201527f5265656e7472616e637947756172643a207265656e7472616e742063616c6c00604482015290519081900360640190fd5b6002600155610f5c610e3b565b15610fa1576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b60a260009054906101000a90046001600160a01b03166001600160a01b0316635cd1bf276040518163ffffffff1660e01b815260040160206040518083038186803b158015610fef57600080fd5b505afa158015611003573d6000803e3d6000fd5b505050506040513d602081101561101957600080fd5b505160a1546001600160a01b031631106110645760405162461bcd60e51b8152600401808060200182810382526028815260200180612a296028913960400191505060405180910390fd5b60a154604080516370a0823160e01b8152336004820152905183926001600160a01b0316916370a08231916024808301926020929190829003018186803b1580156110ae57600080fd5b505afa1580156110c2573d6000803e3d6000fd5b505050506040513d60208110156110d857600080fd5b505110156111175760405162461bcd60e51b8152600401808060200182810382526028815260200180612b976028913960400191505060405180910390fd5b336000908152609f60205260409020600281015415801561113a57506003810154155b801561114857506004810154155b801561115657506006810154155b801561116457506005810154155b6111b5576040805162461bcd60e51b815260206004820181905260248201527f5573657220616c7265616479206861732061637469766520726571756573742e604482015290519081900360640190fd5b60a15460408051630ea6134d60e31b8152670de0b6b3a76400006004820181905260006024830181905260448301819052925190936001600160a01b0316916375309a68916064808301926020929190829003018186803b15801561121957600080fd5b505afa15801561122d573d6000803e3d6000fd5b505050506040513d602081101561124357600080fd5b50519050600061125782610b8b8588612280565b905060006112636105bf565b60a15460408051632770a7eb60e21b8152336004820152602481018a905290519293506001600160a01b0390911691639dc29fac9160448082019260009290919082900301818387803b1580156112b957600080fd5b505af11580156112cd573d6000803e3d6000fd5b505086546001600160a01b0319163317875550506001808601546112f091610556565b60018601556002850186905560038501829055426006860155600060078601558082111561148c5760a25460408051631a004e5f60e21b81529051611391926001600160a01b031691636801397c916004808301926020929190829003018186803b15801561135e57600080fd5b505afa158015611372573d6000803e3d6000fd5b505050506040513d602081101561138857600080fd5b50514290610556565b60058601556113a08282612340565b60048601819055609b546113b391610556565b609b55845460a0805460018101825560009182527f78fdc8d422c49ced035a9edf18d00d3c6a8d81df210f3e5e448e045e77b41e880180546001600160a01b0319166001600160a01b0393841617905560a15460408051632606688960e11b815291909316803160048301529251634c0cd1129260248084019391929182900301818387803b15801561144557600080fd5b505af1158015611459573d6000803e3d6000fd5b5050609954609a5461146d93509150610556565b609a55609954609c5461147f91610556565b609c5560006099556115a3565b60a25460408051633c64291360e01b815290516114d2926001600160a01b031691633c642913916004808301926020929190829003018186803b15801561135e57600080fd5b600586015560006114e283612527565b9050801561156757609954609a546114f991610556565b609a556000609981905560a15460408051632606688960e11b81526004810185905290516001600160a01b0390921692634c0cd1129260248084019382900301818387803b15801561154a57600080fd5b505af115801561155e573d6000803e3d6000fd5b50505050611588565b6099546115749084612340565b609955609a546115849084610556565b609a555b61159e6115958483612340565b609c5490610556565b609c55505b60018501546002860154600387015460048801546005890154604080513381526020810196909652858101949094526060850192909252608084015260a083015260c08201839052517f7f991f61ca1561f5eec392f9b91513e5643c55c2a55cb32963f4478fb9a8dcbf9181900360e00190a150506001805550505050565b60a2546001600160a01b031681565b609760009054906101000a90046001600160a01b03166001600160a01b0316635f6afd156040518163ffffffff1660e01b815260040160206040518083038186803b15801561167f57600080fd5b505afa158015611693573d6000803e3d6000fd5b505050506040513d60208110156116a957600080fd5b50516040805163288c314960e21b815233600482015290516001600160a01b039092169163a230c52491602480820192602092909190829003018186803b1580156116f357600080fd5b505afa158015611707573d6000803e3d6000fd5b505050506040513d602081101561171d57600080fd5b50518061179d575060985460408051636eab9b3560e11b815233600482015290516001600160a01b039092169163dd57366a91602480820192602092909190829003018186803b15801561177057600080fd5b505afa158015611784573d6000803e3d6000fd5b505050506040513d602081101561179a57600080fd5b50515b6117ee576040805162461bcd60e51b815260206004820152601c60248201527f4f6e6c79206d656d626572732077697468207065726d697373696f6e00000000604482015290519081900360640190fd5b610e18612544565b6117fe610e3b565b15611843576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b60a1546001600160a01b0316331461188c5760405162461bcd60e51b8152600401808060200182810382526029815260200180612aa96029913960400191505060405180910390fd5b609a546118999034610556565b609a556040805134815290517f1529fa67d212fe1a4fb2207e24940649d76f1e9bdb2304fe16d422cf6a73f4a09181900360200190a1565b60985460408051636eab9b3560e11b815233600482015290516001600160a01b039092169163dd57366a91602480820192602092909190829003018186803b15801561191c57600080fd5b505afa158015611930573d6000803e3d6000fd5b505050506040513d602081101561194657600080fd5b50516119835760405162461bcd60e51b8152600401808060200182810382526023815260200180612be46023913960400191505060405180910390fd5b6099548111156119da576040805162461bcd60e51b815260206004820152601960248201527f57726f6e6720616d6f756e7420746f2077697468647261772e00000000000000604482015290519081900360640190fd5b60a2546040805162547de760e91b815290516000926001600160a01b03169163a8fbce00916004808301926020929190829003018186803b158015611a1e57600080fd5b505afa158015611a32573d6000803e3d6000fd5b505050506040513d6020811015611a4857600080fd5b5051609954909150611a5a9083612340565b609955609e54611a6a9083610556565b609e55611a77818361239d565b604080516001600160a01b03831681526020810184905281517fc24f9acd04741112397dd2284af20048f130af39bdbdbe4c3ccc57181979d00f929181900390910190a15050565b60985460408051636eab9b3560e11b815233600482015290516001600160a01b039092169163dd57366a91602480820192602092909190829003018186803b158015611b0a57600080fd5b505afa158015611b1e573d6000803e3d6000fd5b505050506040513d6020811015611b3457600080fd5b5051611b715760405162461bcd60e51b8152600401808060200182810382526023815260200180612be46023913960400191505060405180910390fd5b826099541015611bbc576040805162461bcd60e51b81526020600482015260116024820152702737ba1032b737bab3b410333ab732399760791b604482015290519081900360640190fd5b82609b541015611c13576040805162461bcd60e51b815260206004820152601c60248201527f57726f6e6720616d6f756e7420746f20636c6f73652064656274732e00000000604482015290519081900360640190fd5b82825b82811015611d8457600060a08281548110611c2d57fe5b60009182526020808320909101546001600160a01b0316808352609f9091526040909120600481015491925090808510611cf457611c6b8582612340565b600060048401559450611c7d846125c7565b6001820154600483015460001997880197909501947fb83c037b8908bffab625513e2fec1b1c53e3ec0a64fd8ce18b343e00bc5ab0a2918591611cc08582612340565b604080516001600160a01b0390951685526020850193909352838301919091526060830152519081900360800190a1611d79565b6004820154611d039086612340565b600483018190556001830154600096507fb83c037b8908bffab625513e2fec1b1c53e3ec0a64fd8ce18b343e00bc5ab0a291859190611d428582612340565b604080516001600160a01b0390951685526020850193909352838301919091526060830152519081900360800190a1505050611d84565b505050600101611c16565b50609b54611d929085612340565b609b55609954611da29085612340565b609955609c54611db29085610556565b609c55609a54611dc29085610556565b609a5550505050565b609b5481565b6098546001600160a01b031681565b611de8610e3b565b15611e2d576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b60a1546001600160a01b03163314611e765760405162461bcd60e51b8152600401808060200182810382526029815260200180612aa96029913960400191505060405180910390fd5b609c54609b54611e8591610556565b341115611ecb576040805162461bcd60e51b815260206004820152600f60248201526e77726f6e67206d73672e76616c756560881b604482015290519081900360640190fd5b34825b8281101561205257600060a08281548110611ee557fe5b60009182526020808320909101546001600160a01b0316808352609f9091526040909120600481015491925090808510611f4557611f238582612340565b600060048401559450611f35846125c7565b6000199586019590930192611fd5565b6004820154611f549086612340565b6004830181905582546001840154600097507fb569ea1af65412fb7fc7ce8fc90cff4276a3c91e5c13e9520789184a98e737bd926001600160a01b0390921691611f9e8582612340565b604080516001600160a01b0390951685526020850193909352838301919091526060830152519081900360800190a1505050612052565b8154600183015460048401547fb569ea1af65412fb7fc7ce8fc90cff4276a3c91e5c13e9520789184a98e737bd926001600160a01b031691906120188582612340565b604080516001600160a01b0390951685526020850193909352838301919091526060830152519081900360800190a1505050600101611ece565b50609b543410612066576000609b55612077565b609b546120739034612340565b609b555b80156120df5780609c5410156120be5760405162461bcd60e51b815260040180806020018281038252602b815260200180612af3602b913960400191505060405180910390fd5b6099546120cb9082610556565b609955609c546120db9082612340565b609c555b6120fe816120f834609a5461055690919063ffffffff16565b90612340565b609a55505050565b600054610100900460ff168061211f575061211f6126bb565b8061212d575060005460ff16155b6121685760405162461bcd60e51b815260040180806020018281038252602e815260200180612a51602e913960400191505060405180910390fd5b600054610100900460ff16158015612193576000805460ff1961ff0019909116610100171660011790555b6001600160a01b0383166121d85760405162461bcd60e51b815260040180806020018281038252602b815260200180612b6c602b913960400191505060405180910390fd5b6001600160a01b03821661221d5760405162461bcd60e51b815260040180806020018281038252602c815260200180612b40602c913960400191505060405180910390fd5b61222785856126cc565b60a280546001600160a01b038086166001600160a01b03199283161790925560a180549285169290911691909117905561225f6127c7565b612267612871565b8015612279576000805461ff00191690555b5050505050565b60008261228f575060006105b3565b8282028284828161229c57fe5b04146105b05760405162461bcd60e51b8152600401808060200182810382526021815260200180612ad26021913960400191505060405180910390fd5b600080821161232f576040805162461bcd60e51b815260206004820152601a60248201527f536166654d6174683a206469766973696f6e206279207a65726f000000000000604482015290519081900360640190fd5b81838161233857fe5b049392505050565b600082821115612397576040805162461bcd60e51b815260206004820152601e60248201527f536166654d6174683a207375627472616374696f6e206f766572666c6f770000604482015290519081900360640190fd5b50900390565b804710156123f2576040805162461bcd60e51b815260206004820152601d60248201527f416464726573733a20696e73756666696369656e742062616c616e6365000000604482015290519081900360640190fd5b6040516000906001600160a01b0384169083908381818185875af1925050503d806000811461243d576040519150601f19603f3d011682016040523d82523d6000602084013e612442565b606091505b50509050806124825760405162461bcd60e51b815260040180806020018281038252603a8152602001806129ef603a913960400191505060405180910390fd5b505050565b61248f610e3b565b6124d7576040805162461bcd60e51b815260206004820152601460248201527314185d5cd8589b194e881b9bdd081c185d5cd95960621b604482015290519081900360640190fd5b6065805460ff191690557f5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa61250a61291c565b604080516001600160a01b039092168252519081900360200190a1565b60995460009081908311156105b3576099546105b0908490612340565b61254c610e3b565b15612591576040805162461bcd60e51b815260206004820152601060248201526f14185d5cd8589b194e881c185d5cd95960821b604482015290519081900360640190fd5b6065805460ff191660011790557f62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a25861250a61291c565b60a054811061260c576040805162461bcd60e51b815260206004820152600c60248201526b2bb937b7339034b73232bc1760a11b604482015290519081900360640190fd5b805b60a05461261c906001612340565b81101561268a5760a0816001018154811061263357fe5b60009182526020909120015460a080546001600160a01b03909216918390811061265957fe5b600091825260209091200180546001600160a01b0319166001600160a01b039290921691909117905560010161260e565b5060a080548061269657fe5b600082815260209020810160001990810180546001600160a01b031916905501905550565b60006126c630612920565b15905090565b6001600160a01b0382166127115760405162461bcd60e51b81526004018080602001828103825260238152602001806129cc6023913960400191505060405180910390fd5b6001600160a01b0381166127565760405162461bcd60e51b815260040180806020018281038252602a815260200180612a7f602a913960400191505060405180910390fd5b609780546001600160a01b038085166001600160a01b0319928316179283905560988054858316931692909217918290556040805193821684529116602083015280517f3e8606e62f2e1b31fe8de392ccbcf2e05d32ed928a9257667d53f811447452519281900390910190a15050565b600054610100900460ff16806127e057506127e06126bb565b806127ee575060005460ff16155b6128295760405162461bcd60e51b815260040180806020018281038252602e815260200180612a51602e913960400191505060405180910390fd5b600054610100900460ff16158015612854576000805460ff1961ff0019909116610100171660011790555b61285c612926565b801561286e576000805461ff00191690555b50565b600054610100900460ff168061288a575061288a6126bb565b80612898575060005460ff16155b6128d35760405162461bcd60e51b815260040180806020018281038252602e815260200180612a51602e913960400191505060405180910390fd5b600054610100900460ff161580156128fe576000805460ff1961ff0019909116610100171660011790555b6065805460ff19169055801561286e576000805461ff001916905550565b3390565b3b151590565b600054610100900460ff168061293f575061293f6126bb565b8061294d575060005460ff16155b6129885760405162461bcd60e51b815260040180806020018281038252602e815260200180612a51602e913960400191505060405180910390fd5b600054610100900460ff161580156129b3576000805460ff1961ff0019909116610100171660011790555b60018055801561286e576000805461ff00191690555056fe486f7264436f6e67726573732063616e206e6f74206265203078302061646472657373416464726573733a20756e61626c6520746f2073656e642076616c75652c20726563697069656e74206d6179206861766520726576657274656476616c696461746f72206973206c61756e6368696e672f636c6f73696e672063757272656e746c79496e697469616c697a61626c653a20636f6e747261637420697320616c726561647920696e697469616c697a65644d61696e7461696e65727352656769737472792063616e206e6f7420626520307830206164647265737352657374726963746564206f6e6c7920746f20686f72644554485374616b696e674d616e616765722e536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f77536f6d657468696e672077656e742077726f6e67207769746820617661696c61626c6520616d6f756e742e75736572206469646e74206d616b65207769746864726177616c2072657175657374486f72644554485374616b696e674d616e616765722063616e206e6f742062652030783020616464726573735374616b696e67436f6e66696775726174696f6e2063616e206e6f74206265203078302061646472657373557365722077616e747320746f207769746864726177206d6f7265207468616e206865206861732e486f72643a2052657374726963746564206f6e6c7920746f20486f7264436f6e6772657373486f72643a2052657374726963746564206f6e6c7920746f204d61696e7461696e6572a2646970667358221220ae6e48187cd5e5824daa2d2414c611c3bb1386aaaa15a6e9a86594cf6101a26964736f6c63430007050033
[codex:1001793]
[codex:1001793] thinking
[codex:1001793] **Evaluating bytecode for exploits**
[codex:1001793]
[codex:1001793] I'm carefully analyzing the bytecode for any concrete exploit path that could yield profit, focusing on patterns like unprotected calls, delegatecalls, reentrancy, and initializer functions. Given the presence of common protections like ReentrancyGuard and access checks, and without clear evidence of exploitable paths, I’m leaning toward reporting no findings with a concise JSON summary.
[codex:1001793] codex
[codex:1001793] {"no_findings":true,"summary":"Reviewed BYTECODE_BUNDLE.txt runtime bytecode; no concrete, exploitable value-extraction path (e.g., unprotected delegatecall/call-with-value, selfdestruct, or auth bypass) is visible from bytecode alone.","findings":[]}
[codex:1001793] tokens used
[codex:1001793] 21,567
[codex:1001793] {"no_findings":true,"summary":"Reviewed BYTECODE_BUNDLE.txt runtime bytecode; no concrete, exploitable value-extraction path (e.g., unprotected delegatecall/call-with-value, selfdestruct, or auth bypass) is visible from bytecode alone.","findings":[]}
{
"codex": {
"ran_at": "2026-01-05T02:47:15.526624+00:00",
"returncode": 0
},
"summary": "Reviewed BYTECODE_BUNDLE.txt runtime bytecode; no concrete, exploitable value-extraction path (e.g., unprotected delegatecall/call-with-value, selfdestruct, or auth bypass) is visible from bytecode alone.",
"raw_final": {
"summary": "Reviewed BYTECODE_BUNDLE.txt runtime bytecode; no concrete, exploitable value-extraction path (e.g., unprotected delegatecall/call-with-value, selfdestruct, or auth bypass) is visible from 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 0x014f 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x62dd0729 00000019: GT 0000001a: PUSH2 0x00b6 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc537ad14 00000024: GT 00000025: PUSH2 0x006f 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xc537ad14 0000002f: EQ 00000030: PUSH2 0x045e 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xc8190b42 0000003a: EQ 0000003b: PUSH2 0x0488 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xcf8304c3 00000045: EQ 00000046: PUSH2 0x04be 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xd2e69e47 00000050: EQ 00000051: PUSH2 0x04d3 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xdb421f53 0000005b: EQ 0000005c: PUSH2 0x04e8 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xf8c8765e 00000066: EQ 00000067: PUSH2 0x050b 0000006a: JUMPI 0000006b: PUSH2 0x01b0 0000006e: JUMP 0000006f: JUMPDEST 00000070: DUP1 00000071: PUSH4 0x62dd0729 00000076: EQ 00000077: PUSH2 0x0360 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x6a8f414f 00000081: EQ 00000082: PUSH2 0x03ed 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x745400c9 0000008c: EQ 0000008d: PUSH2 0x0402 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x7ebad977 00000097: EQ 00000098: PUSH2 0x042c 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0x8456cb59 000000a2: EQ 000000a3: PUSH2 0x0441 000000a6: JUMPI 000000a7: DUP1 000000a8: PUSH4 0xba5515d3 000000ad: EQ 000000ae: PUSH2 0x0456 000000b1: JUMPI 000000b2: PUSH2 0x01b0 000000b5: JUMP 000000b6: JUMPDEST 000000b7: DUP1 000000b8: PUSH4 0x3f4ba83a 000000bd: GT 000000be: PUSH2 0x0108 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x3f4ba83a 000000c8: EQ 000000c9: PUSH2 0x02b2 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x49f9faa2 000000d3: EQ 000000d4: PUSH2 0x02c7 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x51f9b086 000000de: EQ 000000df: PUSH2 0x02f8 000000e2: JUMPI 000000e3: DUP1 000000e4: PUSH4 0x53e8b538 000000e9: EQ 000000ea: PUSH2 0x030d 000000ed: JUMPI 000000ee: DUP1 000000ef: PUSH4 0x58c144d1 000000f4: EQ 000000f5: PUSH2 0x0322 000000f8: JUMPI 000000f9: DUP1 000000fa: PUSH4 0x5c975abb 000000ff: EQ 00000100: PUSH2 0x0337 00000103: JUMPI 00000104: PUSH2 0x01b0 00000107: JUMP 00000108: JUMPDEST 00000109: DUP1 0000010a: PUSH4 0x05352ae6 0000010f: EQ 00000110: PUSH2 0x01b5 00000113: JUMPI 00000114: DUP1 00000115: PUSH4 0x07771b83 0000011a: EQ 0000011b: PUSH2 0x01dc 0000011e: JUMPI 0000011f: DUP1 00000120: PUSH4 0x187f06f8 00000125: EQ 00000126: PUSH2 0x01f1 00000129: JUMPI 0000012a: DUP1 0000012b: PUSH4 0x2d18cf0b 00000130: EQ 00000131: PUSH2 0x0206 00000134: JUMPI 00000135: DUP1 00000136: PUSH4 0x3ccfd60b 0000013b: EQ 0000013c: PUSH2 0x0286 0000013f: JUMPI 00000140: DUP1 00000141: PUSH4 0x3f1447ed 00000146: EQ 00000147: PUSH2 0x029d 0000014a: JUMPI 0000014b: PUSH2 0x01b0 0000014e: JUMP 0000014f: JUMPDEST 00000150: CALLDATASIZE 00000151: PUSH2 0x01b0 00000154: JUMPI 00000155: PUSH1 0x9d 00000157: SLOAD 00000158: PUSH2 0x0161 0000015b: SWAP1 0000015c: CALLVALUE 0000015d: PUSH2 0x0556 00000160: JUMP 00000161: JUMPDEST 00000162: PUSH1 0x9d 00000164: SSTORE 00000165: PUSH1 0x99 00000167: SLOAD 00000168: PUSH2 0x0171 0000016b: SWAP1 0000016c: CALLVALUE 0000016d: PUSH2 0x0556 00000170: JUMP 00000171: JUMPDEST 00000172: PUSH1 0x99 00000174: SSTORE 00000175: PUSH1 0x40 00000177: DUP1 00000178: MLOAD 00000179: CALLER 0000017a: DUP2 0000017b: MSTORE 0000017c: CALLVALUE 0000017d: PUSH1 0x20 0000017f: DUP3 00000180: ADD 00000181: MSTORE 00000182: DUP2 00000183: MLOAD 00000184: PUSH32 0xa65a35275a6d54c0ef4aff4ef8deedc01d639cd481bd4b81371025f62b88d412 000001a5: SWAP3 000001a6: SWAP2 000001a7: DUP2 000001a8: SWAP1 000001a9: SUB 000001aa: SWAP1 000001ab: SWAP2 000001ac: ADD 000001ad: SWAP1 000001ae: LOG1 000001af: STOP 000001b0: JUMPDEST 000001b1: PUSH1 0x00 000001b3: DUP1 000001b4: REVERT 000001b5: JUMPDEST 000001b6: CALLVALUE 000001b7: DUP1 000001b8: ISZERO 000001b9: PUSH2 0x01c1 000001bc: JUMPI 000001bd: PUSH1 0x00 000001bf: DUP1 000001c0: REVERT 000001c1: JUMPDEST 000001c2: POP 000001c3: PUSH2 0x01ca 000001c6: PUSH2 0x05b9 000001c9: JUMP 000001ca: JUMPDEST 000001cb: PUSH1 0x40 000001cd: DUP1 000001ce: MLOAD 000001cf: SWAP2 000001d0: DUP3 000001d1: MSTORE 000001d2: MLOAD 000001d3: SWAP1 000001d4: DUP2 000001d5: SWAP1 000001d6: SUB 000001d7: PUSH1 0x20 000001d9: ADD 000001da: SWAP1 000001db: RETURN 000001dc: JUMPDEST 000001dd: CALLVALUE 000001de: DUP1 000001df: ISZERO 000001e0: PUSH2 0x01e8 000001e3: JUMPI 000001e4: PUSH1 0x00 000001e6: DUP1 000001e7: REVERT 000001e8: JUMPDEST 000001e9: POP 000001ea: PUSH2 0x01ca 000001ed: PUSH2 0x05bf 000001f0: JUMP 000001f1: JUMPDEST 000001f2: CALLVALUE 000001f3: DUP1 000001f4: ISZERO 000001f5: PUSH2 0x01fd 000001f8: JUMPI 000001f9: PUSH1 0x00 000001fb: DUP1 000001fc: REVERT 000001fd: JUMPDEST 000001fe: POP 000001ff: PUSH2 0x01ca 00000202: PUSH2 0x05e1 00000205: JUMP 00000206: JUMPDEST 00000207: CALLVALUE 00000208: DUP1 00000209: ISZERO 0000020a: PUSH2 0x0212 0000020d: JUMPI 0000020e: PUSH1 0x00 00000210: DUP1 00000211: REVERT 00000212: JUMPDEST 00000213: POP 00000214: PUSH2 0x0236 00000217: PUSH1 0x04 00000219: DUP1 0000021a: CALLDATASIZE 0000021b: SUB 0000021c: PUSH1 0x40 0000021e: DUP2 0000021f: LT 00000220: ISZERO 00000221: PUSH2 0x0229 00000224: JUMPI 00000225: PUSH1 0x00 00000227: DUP1 00000228: REVERT 00000229: JUMPDEST 0000022a: POP 0000022b: DUP1 0000022c: CALLDATALOAD 0000022d: SWAP1 0000022e: PUSH1 0x20 00000230: ADD 00000231: CALLDATALOAD 00000232: PUSH2 0x05e7 00000235: JUMP 00000236: JUMPDEST 00000237: PUSH1 0x40 00000239: DUP1 0000023a: MLOAD 0000023b: PUSH1 0x20 0000023d: DUP1 0000023e: DUP3 0000023f: MSTORE 00000240: DUP4 00000241: MLOAD 00000242: DUP2 00000243: DUP4 00000244: ADD 00000245: MSTORE 00000246: DUP4 00000247: MLOAD 00000248: SWAP2 00000249: SWAP3 0000024a: DUP4 0000024b: SWAP3 0000024c: SWAP1 0000024d: DUP4 0000024e: ADD 0000024f: SWAP2 00000250: DUP6 00000251: DUP2 00000252: ADD 00000253: SWAP2 00000254: MUL 00000255: DUP1 00000256: DUP4 00000257: DUP4 00000258: PUSH1 0x00 0000025a: JUMPDEST 0000025b: DUP4 0000025c: DUP2 0000025d: LT 0000025e: ISZERO 0000025f: PUSH2 0x0272 00000262: JUMPI 00000263: DUP2 00000264: DUP2 00000265: ADD 00000266: MLOAD 00000267: DUP4 00000268: DUP3 00000269: ADD 0000026a: MSTORE 0000026b: PUSH1 0x20 0000026d: ADD 0000026e: PUSH2 0x025a 00000271: JUMP 00000272: JUMPDEST 00000273: POP 00000274: POP 00000275: POP 00000276: POP 00000277: SWAP1 00000278: POP 00000279: ADD 0000027a: SWAP3 0000027b: POP 0000027c: POP 0000027d: POP 0000027e: PUSH1 0x40 00000280: MLOAD 00000281: DUP1 00000282: SWAP2 00000283: SUB 00000284: SWAP1 00000285: RETURN 00000286: JUMPDEST 00000287: CALLVALUE 00000288: DUP1 00000289: ISZERO 0000028a: PUSH2 0x0292 0000028d: JUMPI 0000028e: PUSH1 0x00 00000290: DUP1 00000291: REVERT 00000292: JUMPDEST 00000293: POP 00000294: PUSH2 0x029b 00000297: PUSH2 0x0728 0000029a: JUMP 0000029b: JUMPDEST 0000029c: STOP 0000029d: JUMPDEST 0000029e: CALLVALUE 0000029f: DUP1 000002a0: ISZERO 000002a1: PUSH2 0x02a9 000002a4: JUMPI 000002a5: PUSH1 0x00 000002a7: DUP1 000002a8: REVERT 000002a9: JUMPDEST 000002aa: POP 000002ab: PUSH2 0x01ca 000002ae: PUSH2 0x0dc1 000002b1: JUMP 000002b2: JUMPDEST 000002b3: CALLVALUE 000002b4: DUP1 000002b5: ISZERO 000002b6: PUSH2 0x02be 000002b9: JUMPI 000002ba: PUSH1 0x00 000002bc: DUP1 000002bd: REVERT 000002be: JUMPDEST 000002bf: POP 000002c0: PUSH2 0x029b 000002c3: PUSH2 0x0dc7 000002c6: JUMP 000002c7: JUMPDEST 000002c8: CALLVALUE 000002c9: DUP1 000002ca: ISZERO 000002cb: PUSH2 0x02d3 000002ce: JUMPI 000002cf: PUSH1 0x00 000002d1: DUP1 000002d2: REVERT 000002d3: JUMPDEST 000002d4: POP 000002d5: PUSH2 0x02dc 000002d8: PUSH2 0x0e1a 000002db: JUMP 000002dc: JUMPDEST 000002dd: PUSH1 0x40 000002df: DUP1 000002e0: MLOAD 000002e1: PUSH1 0x01 000002e3: PUSH1 0x01 000002e5: PUSH1 0xa0 000002e7: SHL 000002e8: SUB 000002e9: SWAP1 000002ea: SWAP3 000002eb: AND 000002ec: DUP3 000002ed: MSTORE 000002ee: MLOAD 000002ef: SWAP1 000002f0: DUP2 000002f1: SWAP1 000002f2: SUB 000002f3: PUSH1 0x20 000002f5: ADD 000002f6: SWAP1 000002f7: RETURN 000002f8: JUMPDEST 000002f9: CALLVALUE 000002fa: DUP1 000002fb: ISZERO 000002fc: PUSH2 0x0304 000002ff: JUMPI 00000300: PUSH1 0x00 00000302: DUP1 00000303: REVERT 00000304: JUMPDEST 00000305: POP 00000306: PUSH2 0x01ca 00000309: PUSH2 0x0e29 0000030c: JUMP 0000030d: JUMPDEST 0000030e: CALLVALUE 0000030f: DUP1 00000310: ISZERO 00000311: PUSH2 0x0319 00000314: JUMPI 00000315: PUSH1 0x00 00000317: DUP1 00000318: REVERT 00000319: JUMPDEST 0000031a: POP 0000031b: PUSH2 0x01ca 0000031e: PUSH2 0x0e2f 00000321: JUMP 00000322: JUMPDEST 00000323: CALLVALUE 00000324: DUP1 00000325: ISZERO 00000326: PUSH2 0x032e 00000329: JUMPI 0000032a: PUSH1 0x00 0000032c: DUP1 0000032d: REVERT 0000032e: JUMPDEST 0000032f: POP 00000330: PUSH2 0x01ca 00000333: PUSH2 0x0e35 00000336: JUMP 00000337: JUMPDEST 00000338: CALLVALUE 00000339: DUP1 0000033a: ISZERO 0000033b: PUSH2 0x0343 0000033e: JUMPI 0000033f: PUSH1 0x00 00000341: DUP1 00000342: REVERT 00000343: JUMPDEST 00000344: POP 00000345: PUSH2 0x034c 00000348: PUSH2 0x0e3b 0000034b: JUMP 0000034c: JUMPDEST 0000034d: PUSH1 0x40 0000034f: DUP1 00000350: MLOAD 00000351: SWAP2 00000352: ISZERO 00000353: ISZERO 00000354: DUP3 00000355: MSTORE 00000356: MLOAD 00000357: SWAP1 00000358: DUP2 00000359: SWAP1 0000035a: SUB 0000035b: PUSH1 0x20 0000035d: ADD 0000035e: SWAP1 0000035f: RETURN 00000360: JUMPDEST 00000361: CALLVALUE 00000362: DUP1 00000363: ISZERO 00000364: PUSH2 0x036c 00000367: JUMPI 00000368: PUSH1 0x00 0000036a: DUP1 0000036b: REVERT 0000036c: JUMPDEST 0000036d: POP 0000036e: PUSH2 0x0393 00000371: PUSH1 0x04 00000373: DUP1 00000374: CALLDATASIZE 00000375: SUB 00000376: PUSH1 0x20 00000378: DUP2 00000379: LT 0000037a: ISZERO 0000037b: PUSH2 0x0383 0000037e: JUMPI 0000037f: PUSH1 0x00 00000381: DUP1 00000382: REVERT 00000383: JUMPDEST 00000384: POP 00000385: CALLDATALOAD 00000386: PUSH1 0x01 00000388: PUSH1 0x01 0000038a: PUSH1 0xa0 0000038c: SHL 0000038d: SUB 0000038e: AND 0000038f: PUSH2 0x0e44 00000392: JUMP 00000393: JUMPDEST 00000394: PUSH1 0x40 00000396: DUP1 00000397: MLOAD 00000398: PUSH1 0x01 0000039a: PUSH1 0x01 0000039c: PUSH1 0xa0 0000039e: SHL 0000039f: SUB 000003a0: SWAP1 000003a1: SWAP12 000003a2: AND 000003a3: DUP12 000003a4: MSTORE 000003a5: PUSH1 0x20 000003a7: DUP12 000003a8: ADD 000003a9: SWAP10 000003aa: SWAP1 000003ab: SWAP10 000003ac: MSTORE 000003ad: DUP10 000003ae: DUP10 000003af: ADD 000003b0: SWAP8 000003b1: SWAP1 000003b2: SWAP8 000003b3: MSTORE 000003b4: PUSH1 0x60 000003b6: DUP10 000003b7: ADD 000003b8: SWAP6 000003b9: SWAP1 000003ba: SWAP6 000003bb: MSTORE 000003bc: PUSH1 0x80 000003be: DUP9 000003bf: ADD 000003c0: SWAP4 000003c1: SWAP1 000003c2: SWAP4 000003c3: MSTORE 000003c4: PUSH1 0xa0 000003c6: DUP8 000003c7: ADD 000003c8: SWAP2 000003c9: SWAP1 000003ca: SWAP2 000003cb: MSTORE 000003cc: PUSH1 0xc0 000003ce: DUP7 000003cf: ADD 000003d0: MSTORE 000003d1: PUSH1 0xe0 000003d3: DUP6 000003d4: ADD 000003d5: MSTORE 000003d6: PUSH2 0x0100 000003d9: DUP5 000003da: ADD 000003db: MSTORE 000003dc: PUSH2 0x0120 000003df: DUP4 000003e0: ADD 000003e1: MSTORE 000003e2: MLOAD 000003e3: SWAP1 000003e4: DUP2 000003e5: SWAP1 000003e6: SUB 000003e7: PUSH2 0x0140 000003ea: ADD 000003eb: SWAP1 000003ec: RETURN 000003ed: JUMPDEST 000003ee: CALLVALUE 000003ef: DUP1 000003f0: ISZERO 000003f1: PUSH2 0x03f9 000003f4: JUMPI 000003f5: PUSH1 0x00 000003f7: DUP1 000003f8: REVERT 000003f9: JUMPDEST 000003fa: POP 000003fb: PUSH2 0x02dc 000003fe: PUSH2 0x0e9f 00000401: JUMP 00000402: JUMPDEST 00000403: CALLVALUE 00000404: DUP1 00000405: ISZERO 00000406: PUSH2 0x040e 00000409: JUMPI 0000040a: PUSH1 0x00 0000040c: DUP1 0000040d: REVERT 0000040e: JUMPDEST 0000040f: POP 00000410: PUSH2 0x029b 00000413: PUSH1 0x04 00000415: DUP1 00000416: CALLDATASIZE 00000417: SUB 00000418: PUSH1 0x20 0000041a: DUP2 0000041b: LT 0000041c: ISZERO 0000041d: PUSH2 0x0425 00000420: JUMPI 00000421: PUSH1 0x00 00000423: DUP1 00000424: REVERT 00000425: JUMPDEST 00000426: POP 00000427: CALLDATALOAD 00000428: PUSH2 0x0eae 0000042b: JUMP 0000042c: JUMPDEST 0000042d: CALLVALUE 0000042e: DUP1 0000042f: ISZERO 00000430: PUSH2 0x0438 00000433: JUMPI 00000434: PUSH1 0x00 00000436: DUP1 00000437: REVERT 00000438: JUMPDEST 00000439: POP 0000043a: PUSH2 0x02dc 0000043d: PUSH2 0x1622 00000440: JUMP 00000441: JUMPDEST 00000442: CALLVALUE 00000443: DUP1 00000444: ISZERO 00000445: PUSH2 0x044d 00000448: JUMPI 00000449: PUSH1 0x00 0000044b: DUP1 0000044c: REVERT 0000044d: JUMPDEST 0000044e: POP 0000044f: PUSH2 0x029b 00000452: PUSH2 0x1631 00000455: JUMP 00000456: JUMPDEST 00000457: PUSH2 0x029b 0000045a: PUSH2 0x17f6 0000045d: JUMP 0000045e: JUMPDEST 0000045f: CALLVALUE 00000460: DUP1 00000461: ISZERO 00000462: PUSH2 0x046a 00000465: JUMPI 00000466: PUSH1 0x00 00000468: DUP1 00000469: REVERT 0000046a: JUMPDEST 0000046b: POP 0000046c: PUSH2 0x029b 0000046f: PUSH1 0x04 00000471: DUP1 00000472: CALLDATASIZE 00000473: SUB 00000474: PUSH1 0x20 00000476: DUP2 00000477: LT 00000478: ISZERO 00000479: PUSH2 0x0481 0000047c: JUMPI 0000047d: PUSH1 0x00 0000047f: DUP1 00000480: REVERT 00000481: JUMPDEST 00000482: POP 00000483: CALLDATALOAD 00000484: PUSH2 0x18d1 00000487: JUMP 00000488: JUMPDEST 00000489: CALLVALUE 0000048a: DUP1 0000048b: ISZERO 0000048c: PUSH2 0x0494 0000048f: JUMPI 00000490: PUSH1 0x00 00000492: DUP1 00000493: REVERT 00000494: JUMPDEST 00000495: POP 00000496: PUSH2 0x029b 00000499: PUSH1 0x04 0000049b: DUP1 0000049c: CALLDATASIZE 0000049d: SUB 0000049e: PUSH1 0x60 000004a0: DUP2 000004a1: LT 000004a2: ISZERO 000004a3: PUSH2 0x04ab 000004a6: JUMPI 000004a7: PUSH1 0x00 000004a9: DUP1 000004aa: REVERT 000004ab: JUMPDEST 000004ac: POP 000004ad: DUP1 000004ae: CALLDATALOAD 000004af: SWAP1 000004b0: PUSH1 0x20 000004b2: DUP2 000004b3: ADD 000004b4: CALLDATALOAD 000004b5: SWAP1 000004b6: PUSH1 0x40 000004b8: ADD 000004b9: CALLDATALOAD 000004ba: PUSH2 0x1abf 000004bd: JUMP 000004be: JUMPDEST 000004bf: CALLVALUE 000004c0: DUP1 000004c1: ISZERO 000004c2: PUSH2 0x04ca 000004c5: JUMPI 000004c6: PUSH1 0x00 000004c8: DUP1 000004c9: REVERT 000004ca: JUMPDEST 000004cb: POP 000004cc: PUSH2 0x01ca 000004cf: PUSH2 0x1dcb 000004d2: JUMP 000004d3: JUMPDEST 000004d4: CALLVALUE 000004d5: DUP1 000004d6: ISZERO 000004d7: PUSH2 0x04df 000004da: JUMPI 000004db: PUSH1 0x00 000004dd: DUP1 000004de: REVERT 000004df: JUMPDEST 000004e0: POP 000004e1: PUSH2 0x02dc 000004e4: PUSH2 0x1dd1 000004e7: JUMP 000004e8: JUMPDEST 000004e9: PUSH2 0x029b 000004ec: PUSH1 0x04 000004ee: DUP1 000004ef: CALLDATASIZE 000004f0: SUB 000004f1: PUSH1 0x40 000004f3: DUP2 000004f4: LT 000004f5: ISZERO 000004f6: PUSH2 0x04fe 000004f9: JUMPI 000004fa: PUSH1 0x00 000004fc: DUP1 000004fd: REVERT 000004fe: JUMPDEST 000004ff: POP 00000500: DUP1 00000501: CALLDATALOAD 00000502: SWAP1 00000503: PUSH1 0x20 00000505: ADD 00000506: CALLDATALOAD 00000507: PUSH2 0x1de0 0000050a: JUMP 0000050b: JUMPDEST 0000050c: CALLVALUE 0000050d: DUP1 0000050e: ISZERO 0000050f: PUSH2 0x0517 00000512: JUMPI 00000513: PUSH1 0x00 00000515: DUP1 00000516: REVERT 00000517: JUMPDEST 00000518: POP 00000519: PUSH2 0x029b 0000051c: PUSH1 0x04 0000051e: DUP1 0000051f: CALLDATASIZE 00000520: SUB 00000521: PUSH1 0x80 00000523: DUP2 00000524: LT 00000525: ISZERO 00000526: PUSH2 0x052e 00000529: JUMPI 0000052a: PUSH1 0x00 0000052c: DUP1 0000052d: REVERT 0000052e: JUMPDEST 0000052f: POP 00000530: PUSH1 0x01 00000532: PUSH1 0x01 00000534: PUSH1 0xa0 00000536: SHL 00000537: SUB 00000538: DUP2 00000539: CALLDATALOAD 0000053a: DUP2 0000053b: AND 0000053c: SWAP2 0000053d: PUSH1 0x20 0000053f: DUP2 00000540: ADD 00000541: CALLDATALOAD 00000542: DUP3 00000543: AND 00000544: SWAP2 00000545: PUSH1 0x40 00000547: DUP3 00000548: ADD 00000549: CALLDATALOAD 0000054a: DUP2 0000054b: AND 0000054c: SWAP2 0000054d: PUSH1 0x60 0000054f: ADD 00000550: CALLDATALOAD 00000551: AND 00000552: PUSH2 0x2106 00000555: JUMP 00000556: JUMPDEST 00000557: PUSH1 0x00 00000559: DUP3 0000055a: DUP3 0000055b: ADD 0000055c: DUP4 0000055d: DUP2 0000055e: LT 0000055f: ISZERO 00000560: PUSH2 0x05b0 00000563: JUMPI 00000564: PUSH1 0x40 00000566: DUP1 00000567: MLOAD 00000568: PUSH3 0x461bcd 0000056c: PUSH1 0xe5 0000056e: SHL 0000056f: DUP2 00000570: MSTORE 00000571: PUSH1 0x20 00000573: PUSH1 0x04 00000575: DUP3 00000576: ADD 00000577: MSTORE 00000578: PUSH1 0x1b 0000057a: PUSH1 0x24 0000057c: DUP3 0000057d: ADD 0000057e: MSTORE 0000057f: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000 000005a0: PUSH1 0x44 000005a2: DUP3 000005a3: ADD 000005a4: MSTORE 000005a5: SWAP1 000005a6: MLOAD 000005a7: SWAP1 000005a8: DUP2 000005a9: SWAP1 000005aa: SUB 000005ab: PUSH1 0x64 000005ad: ADD 000005ae: SWAP1 000005af: REVERT 000005b0: JUMPDEST 000005b1: SWAP1 000005b2: POP 000005b3: JUMPDEST 000005b4: SWAP3 000005b5: SWAP2 000005b6: POP 000005b7: POP 000005b8: JUMP 000005b9: JUMPDEST 000005ba: PUSH1 0x99 000005bc: SLOAD 000005bd: DUP2 000005be: JUMP 000005bf: JUMPDEST 000005c0: PUSH1 0xa1 000005c2: SLOAD 000005c3: PUSH1 0x99 000005c5: SLOAD 000005c6: PUSH1 0x00 000005c8: SWAP2 000005c9: PUSH2 0x05dc 000005cc: SWAP2 000005cd: SWAP1 000005ce: PUSH1 0x01 000005d0: PUSH1 0x01 000005d2: PUSH1 0xa0 000005d4: SHL 000005d5: SUB 000005d6: AND 000005d7: BALANCE 000005d8: PUSH2 0x0556 000005db: JUMP 000005dc: JUMPDEST 000005dd: SWAP1 000005de: POP 000005df: SWAP1 000005e0: JUMP 000005e1: JUMPDEST 000005e2: PUSH1 0x9c 000005e4: SLOAD 000005e5: DUP2 000005e6: JUMP 000005e7: JUMPDEST 000005e8: PUSH1 0x60 000005ea: DUP2 000005eb: DUP4 000005ec: GT 000005ed: ISZERO 000005ee: PUSH2 0x062d 000005f1: JUMPI 000005f2: PUSH1 0x40 000005f4: DUP1 000005f5: MLOAD 000005f6: PUSH3 0x461bcd 000005fa: PUSH1 0xe5 000005fc: SHL 000005fd: DUP2 000005fe: MSTORE 000005ff: PUSH1 0x20 00000601: PUSH1 0x04 00000603: DUP3 00000604: ADD 00000605: MSTORE 00000606: PUSH1 0x0c 00000608: PUSH1 0x24 0000060a: DUP3 0000060b: ADD 0000060c: MSTORE 0000060d: PUSH12 0x2bb937b7339034b7383aba17 0000061a: PUSH1 0xa1 0000061c: SHL 0000061d: PUSH1 0x44 0000061f: DUP3 00000620: ADD 00000621: MSTORE 00000622: SWAP1 00000623: MLOAD 00000624: SWAP1 00000625: DUP2 00000626: SWAP1 00000627: SUB 00000628: PUSH1 0x64 0000062a: ADD 0000062b: SWAP1 0000062c: REVERT 0000062d: JUMPDEST 0000062e: PUSH1 0xa0 00000630: SLOAD 00000631: DUP3 00000632: GT 00000633: ISZERO 00000634: PUSH2 0x066f 00000637: JUMPI 00000638: PUSH1 0x40 0000063a: DUP1 0000063b: MLOAD 0000063c: PUSH3 0x461bcd 00000640: PUSH1 0xe5 00000642: SHL 00000643: DUP2 00000644: MSTORE 00000645: PUSH1 0x20 00000647: PUSH1 0x04 00000649: DUP3 0000064a: ADD 0000064b: MSTORE 0000064c: PUSH1 0x08 0000064e: PUSH1 0x24 00000650: DUP3 00000651: ADD 00000652: MSTORE 00000653: PUSH8 0x6f766572666c6f77 0000065c: PUSH1 0xc0 0000065e: SHL 0000065f: PUSH1 0x44 00000661: DUP3 00000662: ADD 00000663: MSTORE 00000664: SWAP1 00000665: MLOAD 00000666: SWAP1 00000667: DUP2 00000668: SWAP1 00000669: SUB 0000066a: PUSH1 0x64 0000066c: ADD 0000066d: SWAP1 0000066e: REVERT 0000066f: JUMPDEST 00000670: PUSH1 0x60 00000672: DUP4 00000673: DUP4 00000674: SUB 00000675: PUSH8 0xffffffffffffffff 0000067e: DUP2 0000067f: GT 00000680: DUP1 00000681: ISZERO 00000682: PUSH2 0x068a 00000685: JUMPI 00000686: PUSH1 0x00 00000688: DUP1 00000689: REVERT 0000068a: JUMPDEST 0000068b: POP 0000068c: PUSH1 0x40 0000068e: MLOAD 0000068f: SWAP1 00000690: DUP1 00000691: DUP3 00000692: MSTORE 00000693: DUP1 00000694: PUSH1 0x20 00000696: MUL 00000697: PUSH1 0x20 00000699: ADD 0000069a: DUP3 0000069b: ADD 0000069c: PUSH1 0x40 0000069e: MSTORE 0000069f: DUP1 000006a0: ISZERO 000006a1: PUSH2 0x06b4 000006a4: JUMPI 000006a5: DUP2 000006a6: PUSH1 0x20 000006a8: ADD 000006a9: PUSH1 0x20 000006ab: DUP3 000006ac: MUL 000006ad: DUP1 000006ae: CALLDATASIZE 000006af: DUP4 000006b0: CALLDATACOPY 000006b1: ADD 000006b2: SWAP1 000006b3: POP 000006b4: JUMPDEST 000006b5: POP 000006b6: SWAP1 000006b7: POP 000006b8: PUSH1 0x00 000006ba: DUP5 000006bb: JUMPDEST 000006bc: DUP5 000006bd: DUP2 000006be: LT 000006bf: ISZERO 000006c0: PUSH2 0x071e 000006c3: JUMPI 000006c4: PUSH1 0xa0 000006c6: DUP2 000006c7: DUP2 000006c8: SLOAD 000006c9: DUP2 000006ca: LT 000006cb: PUSH2 0x06d0 000006ce: JUMPI 000006cf: INVALID 000006d0: JUMPDEST 000006d1: SWAP1 000006d2: PUSH1 0x00 000006d4: MSTORE 000006d5: PUSH1 0x20 000006d7: PUSH1 0x00 000006d9: KECCAK256 000006da: ADD 000006db: PUSH1 0x00 000006dd: SWAP1 000006de: SLOAD 000006df: SWAP1 000006e0: PUSH2 0x0100 000006e3: EXP 000006e4: SWAP1 000006e5: DIV 000006e6: PUSH1 0x01 000006e8: PUSH1 0x01 000006ea: PUSH1 0xa0 000006ec: SHL 000006ed: SUB 000006ee: AND 000006ef: DUP4 000006f0: DUP4 000006f1: DUP2 000006f2: MLOAD 000006f3: DUP2 000006f4: LT 000006f5: PUSH2 0x06fa 000006f8: JUMPI 000006f9: INVALID 000006fa: JUMPDEST 000006fb: PUSH1 0x01 000006fd: PUSH1 0x01 000006ff: PUSH1 0xa0 00000701: SHL 00000702: SUB 00000703: SWAP1 00000704: SWAP3 00000705: AND 00000706: PUSH1 0x20 00000708: SWAP3 00000709: DUP4 0000070a: MUL 0000070b: SWAP2 0000070c: SWAP1 0000070d: SWAP2 0000070e: ADD 0000070f: SWAP1 00000710: SWAP2 00000711: ADD 00000712: MSTORE 00000713: PUSH1 0x01 00000715: SWAP2 00000716: DUP3 00000717: ADD 00000718: SWAP2 00000719: ADD 0000071a: PUSH2 0x06bb 0000071d: JUMP 0000071e: JUMPDEST 0000071f: POP 00000720: SWAP1 00000721: SWAP5 00000722: SWAP4 00000723: POP 00000724: POP 00000725: POP 00000726: POP 00000727: JUMP 00000728: JUMPDEST 00000729: CALLER 0000072a: ORIGIN 0000072b: EQ 0000072c: PUSH2 0x0771 0000072f: JUMPI 00000730: PUSH1 0x40 00000732: DUP1 00000733: MLOAD 00000734: PUSH3 0x461bcd 00000738: PUSH1 0xe5 0000073a: SHL 0000073b: DUP2 0000073c: MSTORE 0000073d: PUSH1 0x20 0000073f: PUSH1 0x04 00000741: DUP3 00000742: ADD 00000743: MSTORE 00000744: PUSH1 0x12 00000746: PUSH1 0x24 00000748: DUP3 00000749: ADD 0000074a: MSTORE 0000074b: PUSH18 0x27b7363c903234b932b1ba1031b0b6363997 0000075e: PUSH1 0x71 00000760: SHL 00000761: PUSH1 0x44 00000763: DUP3 00000764: ADD 00000765: MSTORE 00000766: SWAP1 00000767: MLOAD 00000768: SWAP1 00000769: DUP2 0000076a: SWAP1 0000076b: SUB 0000076c: PUSH1 0x64 0000076e: ADD 0000076f: SWAP1 00000770: REVERT 00000771: JUMPDEST 00000772: PUSH1 0x02 00000774: PUSH1 0x01 00000776: SLOAD 00000777: EQ 00000778: ISZERO 00000779: PUSH2 0x07c9 0000077c: JUMPI 0000077d: PUSH1 0x40 0000077f: DUP1 00000780: MLOAD 00000781: PUSH3 0x461bcd 00000785: PUSH1 0xe5 00000787: SHL 00000788: DUP2 00000789: MSTORE 0000078a: PUSH1 0x20 0000078c: PUSH1 0x04 0000078e: DUP3 0000078f: ADD 00000790: MSTORE 00000791: PUSH1 0x1f 00000793: PUSH1 0x24 00000795: DUP3 00000796: ADD 00000797: MSTORE 00000798: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 000007b9: PUSH1 0x44 000007bb: DUP3 000007bc: ADD 000007bd: MSTORE 000007be: SWAP1 000007bf: MLOAD 000007c0: SWAP1 000007c1: DUP2 000007c2: SWAP1 000007c3: SUB 000007c4: PUSH1 0x64 000007c6: ADD 000007c7: SWAP1 000007c8: REVERT 000007c9: JUMPDEST 000007ca: PUSH1 0x02 000007cc: PUSH1 0x01 000007ce: SSTORE 000007cf: PUSH2 0x07d6 000007d2: PUSH2 0x0e3b 000007d5: JUMP 000007d6: JUMPDEST 000007d7: ISZERO 000007d8: PUSH2 0x081b 000007db: JUMPI 000007dc: PUSH1 0x40 000007de: DUP1 000007df: MLOAD 000007e0: PUSH3 0x461bcd 000007e4: PUSH1 0xe5 000007e6: SHL 000007e7: DUP2 000007e8: MSTORE 000007e9: PUSH1 0x20 000007eb: PUSH1 0x04 000007ed: DUP3 000007ee: ADD 000007ef: MSTORE 000007f0: PUSH1 0x10 000007f2: PUSH1 0x24 000007f4: DUP3 000007f5: ADD 000007f6: MSTORE 000007f7: PUSH16 0x14185d5cd8589b194e881c185d5cd959 00000808: PUSH1 0x82 0000080a: SHL 0000080b: PUSH1 0x44 0000080d: DUP3 0000080e: ADD 0000080f: MSTORE 00000810: SWAP1 00000811: MLOAD 00000812: SWAP1 00000813: DUP2 00000814: SWAP1 00000815: SUB 00000816: PUSH1 0x64 00000818: ADD 00000819: SWAP1 0000081a: REVERT 0000081b: JUMPDEST 0000081c: CALLER 0000081d: PUSH1 0x00 0000081f: SWAP1 00000820: DUP2 00000821: MSTORE 00000822: PUSH1 0x9f 00000824: PUSH1 0x20 00000826: MSTORE 00000827: PUSH1 0x40 00000829: SWAP1 0000082a: KECCAK256 0000082b: PUSH1 0x05 0000082d: DUP2 0000082e: ADD 0000082f: SLOAD 00000830: TIMESTAMP 00000831: LT 00000832: ISZERO 00000833: PUSH2 0x0883 00000836: JUMPI 00000837: PUSH1 0x40 00000839: DUP1 0000083a: MLOAD 0000083b: PUSH3 0x461bcd 0000083f: PUSH1 0xe5 00000841: SHL 00000842: DUP2 00000843: MSTORE 00000844: PUSH1 0x20 00000846: PUSH1 0x04 00000848: DUP3 00000849: ADD 0000084a: MSTORE 0000084b: PUSH1 0x19 0000084d: PUSH1 0x24 0000084f: DUP3 00000850: ADD 00000851: MSTORE 00000852: PUSH32 0x746f6b656e7320617265206e6f7420756e6c6f636b2079657400000000000000 00000873: PUSH1 0x44 00000875: DUP3 00000876: ADD 00000877: MSTORE 00000878: SWAP1 00000879: MLOAD 0000087a: SWAP1 0000087b: DUP2 0000087c: SWAP1 0000087d: SUB 0000087e: PUSH1 0x64 00000880: ADD 00000881: SWAP1 00000882: REVERT 00000883: JUMPDEST 00000884: PUSH1 0x00 00000886: DUP2 00000887: PUSH1 0x03 00000889: ADD 0000088a: SLOAD 0000088b: GT 0000088c: PUSH2 0x08c6 0000088f: JUMPI 00000890: PUSH1 0x40 00000892: MLOAD 00000893: PUSH3 0x461bcd 00000897: PUSH1 0xe5 00000899: SHL 0000089a: DUP2 0000089b: MSTORE 0000089c: PUSH1 0x04 0000089e: ADD 0000089f: DUP1 000008a0: DUP1 000008a1: PUSH1 0x20 000008a3: ADD 000008a4: DUP3 000008a5: DUP2 000008a6: SUB 000008a7: DUP3 000008a8: MSTORE 000008a9: PUSH1 0x22 000008ab: DUP2 000008ac: MSTORE 000008ad: PUSH1 0x20 000008af: ADD 000008b0: DUP1 000008b1: PUSH2 0x2b1e 000008b4: PUSH1 0x22 000008b6: SWAP2 000008b7: CODECOPY 000008b8: PUSH1 0x40 000008ba: ADD 000008bb: SWAP2 000008bc: POP 000008bd: POP 000008be: PUSH1 0x40 000008c0: MLOAD 000008c1: DUP1 000008c2: SWAP2 000008c3: SUB 000008c4: SWAP1 000008c5: REVERT 000008c6: JUMPDEST 000008c7: PUSH1 0x04 000008c9: DUP2 000008ca: ADD 000008cb: SLOAD 000008cc: ISZERO 000008cd: PUSH2 0x091d 000008d0: JUMPI 000008d1: PUSH1 0x40 000008d3: DUP1 000008d4: MLOAD 000008d5: PUSH3 0x461bcd 000008d9: PUSH1 0xe5 000008db: SHL 000008dc: DUP2 000008dd: MSTORE 000008de: PUSH1 0x20 000008e0: PUSH1 0x04 000008e2: DUP3 000008e3: ADD 000008e4: MSTORE 000008e5: PUSH1 0x1a 000008e7: PUSH1 0x24 000008e9: DUP3 000008ea: ADD 000008eb: MSTORE 000008ec: PUSH32 0x646f6e74206861766520656e6f7567682066756e647320796574000000000000 0000090d: PUSH1 0x44 0000090f: DUP3 00000910: ADD 00000911: MSTORE 00000912: SWAP1 00000913: MLOAD 00000914: SWAP1 00000915: DUP2 00000916: SWAP1 00000917: SUB 00000918: PUSH1 0x64 0000091a: ADD 0000091b: SWAP1 0000091c: REVERT 0000091d: JUMPDEST 0000091e: PUSH1 0x03 00000920: DUP2 00000921: ADD 00000922: SLOAD 00000923: PUSH1 0xa2 00000925: SLOAD 00000926: PUSH1 0x40 00000928: DUP1 00000929: MLOAD 0000092a: PUSH4 0x27f502cb 0000092f: PUSH1 0xe0 00000931: SHL 00000932: DUP2 00000933: MSTORE 00000934: SWAP1 00000935: MLOAD 00000936: PUSH1 0x00 00000938: SWAP4 00000939: SWAP3 0000093a: PUSH1 0x01 0000093c: PUSH1 0x01 0000093e: PUSH1 0xa0 00000940: SHL 00000941: SUB 00000942: AND 00000943: SWAP2 00000944: PUSH4 0x27f502cb 00000949: SWAP2 0000094a: PUSH1 0x04 0000094c: DUP1 0000094d: DUP4 0000094e: ADD 0000094f: SWAP3 00000950: PUSH1 0x20 00000952: SWAP3 00000953: SWAP2 00000954: SWAP1 00000955: DUP3 00000956: SWAP1 00000957: SUB 00000958: ADD 00000959: DUP2 0000095a: DUP7 0000095b: DUP1 0000095c: EXTCODESIZE 0000095d: ISZERO 0000095e: DUP1 0000095f: ISZERO 00000960: PUSH2 0x0968 00000963: JUMPI 00000964: PUSH1 0x00 00000966: DUP1 00000967: REVERT 00000968: JUMPDEST 00000969: POP 0000096a: GAS 0000096b: STATICCALL 0000096c: ISZERO 0000096d: DUP1 0000096e: ISZERO 0000096f: PUSH2 0x097c 00000972: JUMPI 00000973: RETURNDATASIZE 00000974: PUSH1 0x00 00000976: DUP1 00000977: RETURNDATACOPY 00000978: RETURNDATASIZE 00000979: PUSH1 0x00 0000097b: REVERT 0000097c: JUMPDEST 0000097d: POP 0000097e: POP 0000097f: POP 00000980: POP 00000981: PUSH1 0x40 00000983: MLOAD 00000984: RETURNDATASIZE 00000985: PUSH1 0x20 00000987: DUP2 00000988: LT 00000989: ISZERO 0000098a: PUSH2 0x0992 0000098d: JUMPI 0000098e: PUSH1 0x00 00000990: DUP1 00000991: REVERT 00000992: JUMPDEST 00000993: POP 00000994: MLOAD 00000995: ISZERO 00000996: DUP1 00000997: ISZERO 00000998: SWAP1 00000999: PUSH2 0x0a1a 0000099c: JUMPI 0000099d: POP 0000099e: PUSH1 0xa2 000009a0: PUSH1 0x00 000009a2: SWAP1 000009a3: SLOAD 000009a4: SWAP1 000009a5: PUSH2 0x0100 000009a8: EXP 000009a9: SWAP1 000009aa: DIV 000009ab: PUSH1 0x01 000009ad: PUSH1 0x01 000009af: PUSH1 0xa0 000009b1: SHL 000009b2: SUB 000009b3: AND 000009b4: PUSH1 0x01 000009b6: PUSH1 0x01 000009b8: PUSH1 0xa0 000009ba: SHL 000009bb: SUB 000009bc: AND 000009bd: PUSH4 0x179b9693 000009c2: PUSH1 0x40 000009c4: MLOAD 000009c5: DUP2 000009c6: PUSH4 0xffffffff 000009cb: AND 000009cc: PUSH1 0xe0 000009ce: SHL 000009cf: DUP2 000009d0: MSTORE 000009d1: PUSH1 0x04 000009d3: ADD 000009d4: PUSH1 0x20 000009d6: PUSH1 0x40 000009d8: MLOAD 000009d9: DUP1 000009da: DUP4 000009db: SUB 000009dc: DUP2 000009dd: DUP7 000009de: DUP1 000009df: EXTCODESIZE 000009e0: ISZERO 000009e1: DUP1 000009e2: ISZERO 000009e3: PUSH2 0x09eb 000009e6: JUMPI 000009e7: PUSH1 0x00 000009e9: DUP1 000009ea: REVERT 000009eb: JUMPDEST 000009ec: POP 000009ed: GAS 000009ee: STATICCALL 000009ef: ISZERO 000009f0: DUP1 000009f1: ISZERO 000009f2: PUSH2 0x09ff 000009f5: JUMPI 000009f6: RETURNDATASIZE 000009f7: PUSH1 0x00 000009f9: DUP1 000009fa: RETURNDATACOPY 000009fb: RETURNDATASIZE 000009fc: PUSH1 0x00 000009fe: REVERT 000009ff: JUMPDEST 00000a00: POP 00000a01: POP 00000a02: POP 00000a03: POP 00000a04: PUSH1 0x40 00000a06: MLOAD 00000a07: RETURNDATASIZE 00000a08: PUSH1 0x20 00000a0a: DUP2 00000a0b: LT 00000a0c: ISZERO 00000a0d: PUSH2 0x0a15 00000a10: JUMPI 00000a11: PUSH1 0x00 00000a13: DUP1 00000a14: REVERT 00000a15: JUMPDEST 00000a16: POP 00000a17: MLOAD 00000a18: ISZERO 00000a19: ISZERO 00000a1a: JUMPDEST 00000a1b: ISZERO 00000a1c: PUSH2 0x0c53 00000a1f: JUMPI 00000a20: PUSH1 0xa2 00000a22: PUSH1 0x00 00000a24: SWAP1 00000a25: SLOAD 00000a26: SWAP1 00000a27: PUSH2 0x0100 00000a2a: EXP 00000a2b: SWAP1 00000a2c: DIV 00000a2d: PUSH1 0x01 00000a2f: PUSH1 0x01 00000a31: PUSH1 0xa0 00000a33: SHL 00000a34: SUB 00000a35: AND 00000a36: PUSH1 0x01 00000a38: PUSH1 0x01 00000a3a: PUSH1 0xa0 00000a3c: SHL 00000a3d: SUB 00000a3e: AND 00000a3f: PUSH4 0x63a44d0f 00000a44: PUSH1 0x40 00000a46: MLOAD 00000a47: DUP2 00000a48: PUSH4 0xffffffff 00000a4d: AND 00000a4e: PUSH1 0xe0 00000a50: SHL 00000a51: DUP2 00000a52: MSTORE 00000a53: PUSH1 0x04 00000a55: ADD 00000a56: PUSH1 0x20 00000a58: PUSH1 0x40 00000a5a: MLOAD 00000a5b: DUP1 00000a5c: DUP4 00000a5d: SUB 00000a5e: DUP2 00000a5f: DUP7 00000a60: DUP1 00000a61: EXTCODESIZE 00000a62: ISZERO 00000a63: DUP1 00000a64: ISZERO 00000a65: PUSH2 0x0a6d 00000a68: JUMPI 00000a69: PUSH1 0x00 00000a6b: DUP1 00000a6c: REVERT 00000a6d: JUMPDEST 00000a6e: POP 00000a6f: GAS 00000a70: STATICCALL 00000a71: ISZERO 00000a72: DUP1 00000a73: ISZERO 00000a74: PUSH2 0x0a81 00000a77: JUMPI 00000a78: RETURNDATASIZE 00000a79: PUSH1 0x00 00000a7b: DUP1 00000a7c: RETURNDATACOPY 00000a7d: RETURNDATASIZE 00000a7e: PUSH1 0x00 00000a80: REVERT 00000a81: JUMPDEST 00000a82: POP 00000a83: POP 00000a84: POP 00000a85: POP 00000a86: PUSH1 0x40 00000a88: MLOAD 00000a89: RETURNDATASIZE 00000a8a: PUSH1 0x20 00000a8c: DUP2 00000a8d: LT 00000a8e: ISZERO 00000a8f: PUSH2 0x0a97 00000a92: JUMPI 00000a93: PUSH1 0x00 00000a95: DUP1 00000a96: REVERT 00000a97: JUMPDEST 00000a98: POP 00000a99: MLOAD 00000a9a: DUP2 00000a9b: LT 00000a9c: ISZERO 00000a9d: PUSH2 0x0b98 00000aa0: JUMPI 00000aa1: PUSH1 0xa2 00000aa3: SLOAD 00000aa4: PUSH1 0x40 00000aa6: DUP1 00000aa7: MLOAD 00000aa8: PUSH4 0xb994a7c5 00000aad: PUSH1 0xe0 00000aaf: SHL 00000ab0: DUP2 00000ab1: MSTORE 00000ab2: SWAP1 00000ab3: MLOAD 00000ab4: PUSH2 0x0b91 00000ab7: SWAP3 00000ab8: PUSH1 0x01 00000aba: PUSH1 0x01 00000abc: PUSH1 0xa0 00000abe: SHL 00000abf: SUB 00000ac0: AND 00000ac1: SWAP2 00000ac2: PUSH4 0xb994a7c5 00000ac7: SWAP2 00000ac8: PUSH1 0x04 00000aca: DUP1 00000acb: DUP4 00000acc: ADD 00000acd: SWAP3 00000ace: PUSH1 0x20 00000ad0: SWAP3 00000ad1: SWAP2 00000ad2: SWAP1 00000ad3: DUP3 00000ad4: SWAP1 00000ad5: SUB 00000ad6: ADD 00000ad7: DUP2 00000ad8: DUP7 00000ad9: DUP1 00000ada: EXTCODESIZE 00000adb: ISZERO 00000adc: DUP1 00000add: ISZERO 00000ade: PUSH2 0x0ae6 00000ae1: JUMPI 00000ae2: PUSH1 0x00 00000ae4: DUP1 00000ae5: REVERT 00000ae6: JUMPDEST 00000ae7: POP 00000ae8: GAS 00000ae9: STATICCALL 00000aea: ISZERO 00000aeb: DUP1 00000aec: ISZERO 00000aed: PUSH2 0x0afa 00000af0: JUMPI 00000af1: RETURNDATASIZE 00000af2: PUSH1 0x00 00000af4: DUP1 00000af5: RETURNDATACOPY 00000af6: RETURNDATASIZE 00000af7: PUSH1 0x00 00000af9: REVERT 00000afa: JUMPDEST 00000afb: POP 00000afc: POP 00000afd: POP 00000afe: POP 00000aff: PUSH1 0x40 00000b01: MLOAD 00000b02: RETURNDATASIZE 00000b03: PUSH1 0x20 00000b05: DUP2 00000b06: LT 00000b07: ISZERO 00000b08: PUSH2 0x0b10 00000b0b: JUMPI 00000b0c: PUSH1 0x00 00000b0e: DUP1 00000b0f: REVERT 00000b10: JUMPDEST 00000b11: POP 00000b12: MLOAD 00000b13: PUSH1 0xa2 00000b15: SLOAD 00000b16: PUSH1 0x40 00000b18: DUP1 00000b19: MLOAD 00000b1a: PUSH4 0x179b9693 00000b1f: PUSH1 0xe0 00000b21: SHL 00000b22: DUP2 00000b23: MSTORE 00000b24: SWAP1 00000b25: MLOAD 00000b26: PUSH2 0x0b8b 00000b29: SWAP3 00000b2a: PUSH1 0x01 00000b2c: PUSH1 0x01 00000b2e: PUSH1 0xa0 00000b30: SHL 00000b31: SUB 00000b32: AND 00000b33: SWAP2 00000b34: PUSH4 0x179b9693 00000b39: SWAP2 00000b3a: PUSH1 0x04 00000b3c: DUP1 00000b3d: DUP4 00000b3e: ADD 00000b3f: SWAP3 00000b40: PUSH1 0x20 00000b42: SWAP3 00000b43: SWAP2 00000b44: SWAP1 00000b45: DUP3 00000b46: SWAP1 00000b47: SUB 00000b48: ADD 00000b49: DUP2 00000b4a: DUP7 00000b4b: DUP1 00000b4c: EXTCODESIZE 00000b4d: ISZERO 00000b4e: DUP1 00000b4f: ISZERO 00000b50: PUSH2 0x0b58 00000b53: JUMPI 00000b54: PUSH1 0x00 00000b56: DUP1 00000b57: REVERT 00000b58: JUMPDEST 00000b59: POP 00000b5a: GAS 00000b5b: STATICCALL 00000b5c: ISZERO 00000b5d: DUP1 00000b5e: ISZERO 00000b5f: PUSH2 0x0b6c 00000b62: JUMPI 00000b63: RETURNDATASIZE 00000b64: PUSH1 0x00 00000b66: DUP1 00000b67: RETURNDATACOPY 00000b68: RETURNDATASIZE 00000b69: PUSH1 0x00 00000b6b: REVERT 00000b6c: JUMPDEST 00000b6d: POP 00000b6e: POP 00000b6f: POP 00000b70: POP 00000b71: PUSH1 0x40 00000b73: MLOAD 00000b74: RETURNDATASIZE 00000b75: PUSH1 0x20 00000b77: DUP2 00000b78: LT 00000b79: ISZERO 00000b7a: PUSH2 0x0b82 00000b7d: JUMPI 00000b7e: PUSH1 0x00 00000b80: DUP1 00000b81: REVERT 00000b82: JUMPDEST 00000b83: POP 00000b84: MLOAD 00000b85: DUP5 00000b86: SWAP1 00000b87: PUSH2 0x2280 00000b8a: JUMP 00000b8b: JUMPDEST 00000b8c: SWAP1 00000b8d: PUSH2 0x22d9 00000b90: JUMP 00000b91: JUMPDEST 00000b92: SWAP2 00000b93: POP 00000b94: PUSH2 0x0c53 00000b97: JUMP 00000b98: JUMPDEST 00000b99: PUSH1 0xa2 00000b9b: SLOAD 00000b9c: PUSH1 0x40 00000b9e: DUP1 00000b9f: MLOAD 00000ba0: PUSH4 0xb994a7c5 00000ba5: PUSH1 0xe0 00000ba7: SHL 00000ba8: DUP2 00000ba9: MSTORE 00000baa: SWAP1 00000bab: MLOAD 00000bac: PUSH2 0x0c50 00000baf: SWAP3 00000bb0: PUSH1 0x01 00000bb2: PUSH1 0x01 00000bb4: PUSH1 0xa0 00000bb6: SHL 00000bb7: SUB 00000bb8: AND 00000bb9: SWAP2 00000bba: PUSH4 0xb994a7c5 00000bbf: SWAP2 00000bc0: PUSH1 0x04 00000bc2: DUP1 00000bc3: DUP4 00000bc4: ADD 00000bc5: SWAP3 00000bc6: PUSH1 0x20 00000bc8: SWAP3 00000bc9: SWAP2 00000bca: SWAP1 00000bcb: DUP3 00000bcc: SWAP1 00000bcd: SUB 00000bce: ADD 00000bcf: DUP2 00000bd0: DUP7 00000bd1: DUP1 00000bd2: EXTCODESIZE 00000bd3: ISZERO 00000bd4: DUP1 00000bd5: ISZERO 00000bd6: PUSH2 0x0bde 00000bd9: JUMPI 00000bda: PUSH1 0x00 00000bdc: DUP1 00000bdd: REVERT 00000bde: JUMPDEST 00000bdf: POP 00000be0: GAS 00000be1: STATICCALL 00000be2: ISZERO 00000be3: DUP1 00000be4: ISZERO 00000be5: PUSH2 0x0bf2 00000be8: JUMPI 00000be9: RETURNDATASIZE 00000bea: PUSH1 0x00 00000bec: DUP1 00000bed: RETURNDATACOPY 00000bee: RETURNDATASIZE 00000bef: PUSH1 0x00 00000bf1: REVERT 00000bf2: JUMPDEST 00000bf3: POP 00000bf4: POP 00000bf5: POP 00000bf6: POP 00000bf7: PUSH1 0x40 00000bf9: MLOAD 00000bfa: RETURNDATASIZE 00000bfb: PUSH1 0x20 00000bfd: DUP2 00000bfe: LT 00000bff: ISZERO 00000c00: PUSH2 0x0c08 00000c03: JUMPI 00000c04: PUSH1 0x00 00000c06: DUP1 00000c07: REVERT 00000c08: JUMPDEST 00000c09: POP 00000c0a: MLOAD 00000c0b: PUSH1 0xa2 00000c0d: SLOAD 00000c0e: PUSH1 0x40 00000c10: DUP1 00000c11: MLOAD 00000c12: PUSH4 0x27f502cb 00000c17: PUSH1 0xe0 00000c19: SHL 00000c1a: DUP2 00000c1b: MSTORE 00000c1c: SWAP1 00000c1d: MLOAD 00000c1e: PUSH2 0x0b8b 00000c21: SWAP3 00000c22: PUSH1 0x01 00000c24: PUSH1 0x01 00000c26: PUSH1 0xa0 00000c28: SHL 00000c29: SUB 00000c2a: AND 00000c2b: SWAP2 00000c2c: PUSH4 0x27f502cb 00000c31: SWAP2 00000c32: PUSH1 0x04 00000c34: DUP1 00000c35: DUP4 00000c36: ADD 00000c37: SWAP3 00000c38: PUSH1 0x20 00000c3a: SWAP3 00000c3b: SWAP2 00000c3c: SWAP1 00000c3d: DUP3 00000c3e: SWAP1 00000c3f: SUB 00000c40: ADD 00000c41: DUP2 00000c42: DUP7 00000c43: DUP1 00000c44: EXTCODESIZE 00000c45: ISZERO 00000c46: DUP1 00000c47: ISZERO 00000c48: PUSH2 0x0b58 00000c4b: JUMPI 00000c4c: PUSH1 0x00 00000c4e: DUP1 00000c4f: REVERT 00000c50: JUMPDEST 00000c51: SWAP2 00000c52: POP 00000c53: JUMPDEST 00000c54: PUSH1 0x00 00000c56: PUSH2 0x0c5f 00000c59: DUP3 00000c5a: DUP5 00000c5b: PUSH2 0x2340 00000c5e: JUMP 00000c5f: JUMPDEST 00000c60: PUSH1 0x08 00000c62: DUP6 00000c63: ADD 00000c64: SLOAD 00000c65: SWAP1 00000c66: SWAP2 00000c67: POP 00000c68: PUSH2 0x0c71 00000c6b: SWAP1 00000c6c: DUP3 00000c6d: PUSH2 0x0556 00000c70: JUMP 00000c71: JUMPDEST 00000c72: PUSH1 0x08 00000c74: DUP6 00000c75: ADD 00000c76: SSTORE 00000c77: PUSH1 0x02 00000c79: DUP5 00000c7a: ADD 00000c7b: SLOAD 00000c7c: PUSH1 0x09 00000c7e: DUP6 00000c7f: ADD 00000c80: SLOAD 00000c81: PUSH2 0x0c89 00000c84: SWAP2 00000c85: PUSH2 0x0556 00000c88: JUMP 00000c89: JUMPDEST 00000c8a: PUSH1 0x09 00000c8c: DUP6 00000c8d: ADD 00000c8e: DUP2 00000c8f: SWAP1 00000c90: SSTORE 00000c91: PUSH1 0x01 00000c93: DUP6 00000c94: ADD 00000c95: SLOAD 00000c96: PUSH1 0x02 00000c98: DUP7 00000c99: ADD 00000c9a: SLOAD 00000c9b: PUSH1 0x08 00000c9d: DUP8 00000c9e: ADD 00000c9f: SLOAD 00000ca0: PUSH1 0x40 00000ca2: DUP1 00000ca3: MLOAD 00000ca4: CALLER 00000ca5: DUP2 00000ca6: MSTORE 00000ca7: PUSH1 0x20 00000ca9: DUP2 00000caa: ADD 00000cab: SWAP5 00000cac: SWAP1 00000cad: SWAP5 00000cae: MSTORE 00000caf: DUP4 00000cb0: DUP2 00000cb1: ADD 00000cb2: SWAP3 00000cb3: SWAP1 00000cb4: SWAP3 00000cb5: MSTORE 00000cb6: PUSH1 0x60 00000cb8: DUP4 00000cb9: ADD 00000cba: DUP7 00000cbb: SWAP1 00000cbc: MSTORE 00000cbd: PUSH1 0x80 00000cbf: DUP4 00000cc0: ADD 00000cc1: DUP6 00000cc2: SWAP1 00000cc3: MSTORE 00000cc4: PUSH1 0xa0 00000cc6: DUP4 00000cc7: ADD 00000cc8: MSTORE 00000cc9: PUSH1 0xc0 00000ccb: DUP3 00000ccc: ADD 00000ccd: SWAP3 00000cce: SWAP1 00000ccf: SWAP3 00000cd0: MSTORE 00000cd1: SWAP1 00000cd2: MLOAD 00000cd3: PUSH32 0x84a31d1e97bd0543e1b306ae74373402bfd90d6eb0bca7d6d36cd9af49e8a332 00000cf4: SWAP2 00000cf5: DUP2 00000cf6: SWAP1 00000cf7: SUB 00000cf8: PUSH1 0xe0 00000cfa: ADD 00000cfb: SWAP1 00000cfc: LOG1 00000cfd: PUSH1 0x00 00000cff: PUSH1 0x02 00000d01: DUP6 00000d02: ADD 00000d03: DUP2 00000d04: SWAP1 00000d05: SSTORE 00000d06: PUSH1 0x03 00000d08: DUP6 00000d09: ADD 00000d0a: DUP2 00000d0b: SWAP1 00000d0c: SSTORE 00000d0d: PUSH1 0x04 00000d0f: DUP6 00000d10: ADD 00000d11: DUP2 00000d12: SWAP1 00000d13: SSTORE 00000d14: PUSH1 0x05 00000d16: DUP6 00000d17: ADD 00000d18: DUP2 00000d19: SWAP1 00000d1a: SSTORE 00000d1b: PUSH1 0x06 00000d1d: DUP6 00000d1e: ADD 00000d1f: SSTORE 00000d20: TIMESTAMP 00000d21: PUSH1 0x07 00000d23: DUP6 00000d24: ADD 00000d25: SSTORE 00000d26: PUSH1 0x9a 00000d28: SLOAD 00000d29: PUSH2 0x0d32 00000d2c: SWAP1 00000d2d: DUP4 00000d2e: PUSH2 0x2340 00000d31: JUMP 00000d32: JUMPDEST 00000d33: PUSH1 0x9a 00000d35: SSTORE 00000d36: PUSH2 0x0d3f 00000d39: CALLER 00000d3a: DUP3 00000d3b: PUSH2 0x239d 00000d3e: JUMP 00000d3f: JUMPDEST 00000d40: PUSH1 0xa2 00000d42: SLOAD 00000d43: PUSH1 0x40 00000d45: DUP1 00000d46: MLOAD 00000d47: PUSH4 0x011a4121 00000d4c: PUSH1 0xe6 00000d4e: SHL 00000d4f: DUP2 00000d50: MSTORE 00000d51: SWAP1 00000d52: MLOAD 00000d53: PUSH2 0x0db7 00000d56: SWAP3 00000d57: PUSH1 0x01 00000d59: PUSH1 0x01 00000d5b: PUSH1 0xa0 00000d5d: SHL 00000d5e: SUB 00000d5f: AND 00000d60: SWAP2 00000d61: PUSH4 0x46904840 00000d66: SWAP2 00000d67: PUSH1 0x04 00000d69: DUP1 00000d6a: DUP4 00000d6b: ADD 00000d6c: SWAP3 00000d6d: PUSH1 0x20 00000d6f: SWAP3 00000d70: SWAP2 00000d71: SWAP1 00000d72: DUP3 00000d73: SWAP1 00000d74: SUB 00000d75: ADD 00000d76: DUP2 00000d77: DUP7 00000d78: DUP1 00000d79: EXTCODESIZE 00000d7a: ISZERO 00000d7b: DUP1 00000d7c: ISZERO 00000d7d: PUSH2 0x0d85 00000d80: JUMPI 00000d81: PUSH1 0x00 00000d83: DUP1 00000d84: REVERT 00000d85: JUMPDEST 00000d86: POP 00000d87: GAS 00000d88: STATICCALL 00000d89: ISZERO 00000d8a: DUP1 00000d8b: ISZERO 00000d8c: PUSH2 0x0d99 00000d8f: JUMPI 00000d90: RETURNDATASIZE 00000d91: PUSH1 0x00 00000d93: DUP1 00000d94: RETURNDATACOPY 00000d95: RETURNDATASIZE 00000d96: PUSH1 0x00 00000d98: REVERT 00000d99: JUMPDEST 00000d9a: POP 00000d9b: POP 00000d9c: POP 00000d9d: POP 00000d9e: PUSH1 0x40 00000da0: MLOAD 00000da1: RETURNDATASIZE 00000da2: PUSH1 0x20 00000da4: DUP2 00000da5: LT 00000da6: ISZERO 00000da7: PUSH2 0x0daf 00000daa: JUMPI 00000dab: PUSH1 0x00 00000dad: DUP1 00000dae: REVERT 00000daf: JUMPDEST 00000db0: POP 00000db1: MLOAD 00000db2: DUP5 00000db3: PUSH2 0x239d 00000db6: JUMP 00000db7: JUMPDEST 00000db8: POP 00000db9: POP 00000dba: PUSH1 0x01 00000dbc: DUP1 00000dbd: SSTORE 00000dbe: POP 00000dbf: POP 00000dc0: JUMP 00000dc1: JUMPDEST 00000dc2: PUSH1 0x9a 00000dc4: SLOAD 00000dc5: DUP2 00000dc6: JUMP 00000dc7: JUMPDEST 00000dc8: PUSH1 0x97 00000dca: SLOAD 00000dcb: PUSH1 0x01 00000dcd: PUSH1 0x01 00000dcf: PUSH1 0xa0 00000dd1: SHL 00000dd2: SUB 00000dd3: AND 00000dd4: CALLER 00000dd5: EQ 00000dd6: PUSH2 0x0e10 00000dd9: JUMPI 00000dda: PUSH1 0x40 00000ddc: MLOAD 00000ddd: PUSH3 0x461bcd 00000de1: PUSH1 0xe5 00000de3: SHL 00000de4: DUP2 00000de5: MSTORE 00000de6: PUSH1 0x04 00000de8: ADD 00000de9: DUP1 00000dea: DUP1 00000deb: PUSH1 0x20 00000ded: ADD 00000dee: DUP3 00000def: DUP2 00000df0: SUB 00000df1: DUP3 00000df2: MSTORE 00000df3: PUSH1 0x25 00000df5: DUP2 00000df6: MSTORE 00000df7: PUSH1 0x20 00000df9: ADD 00000dfa: DUP1 00000dfb: PUSH2 0x2bbf 00000dfe: PUSH1 0x25 00000e00: SWAP2 00000e01: CODECOPY 00000e02: PUSH1 0x40 00000e04: ADD 00000e05: SWAP2 00000e06: POP 00000e07: POP 00000e08: PUSH1 0x40 00000e0a: MLOAD 00000e0b: DUP1 00000e0c: SWAP2 00000e0d: SUB 00000e0e: SWAP1 00000e0f: REVERT 00000e10: JUMPDEST 00000e11: PUSH2 0x0e18 00000e14: PUSH2 0x2487 00000e17: JUMP 00000e18: JUMPDEST 00000e19: JUMP 00000e1a: JUMPDEST 00000e1b: PUSH1 0xa1 00000e1d: SLOAD 00000e1e: PUSH1 0x01 00000e20: PUSH1 0x01 00000e22: PUSH1 0xa0 00000e24: SHL 00000e25: SUB 00000e26: AND 00000e27: DUP2 00000e28: JUMP 00000e29: JUMPDEST 00000e2a: PUSH1 0x9d 00000e2c: SLOAD 00000e2d: DUP2 00000e2e: JUMP 00000e2f: JUMPDEST 00000e30: PUSH1 0xa0 00000e32: SLOAD 00000e33: SWAP1 00000e34: JUMP 00000e35: JUMPDEST 00000e36: PUSH1 0x9e 00000e38: SLOAD 00000e39: DUP2 00000e3a: JUMP 00000e3b: JUMPDEST 00000e3c: PUSH1 0x65 00000e3e: SLOAD 00000e3f: PUSH1 0xff 00000e41: AND 00000e42: SWAP1 00000e43: JUMP 00000e44: JUMPDEST 00000e45: PUSH1 0x9f 00000e47: PUSH1 0x20 00000e49: MSTORE 00000e4a: PUSH1 0x00 00000e4c: SWAP1 00000e4d: DUP2 00000e4e: MSTORE 00000e4f: PUSH1 0x40 00000e51: SWAP1 00000e52: KECCAK256 00000e53: DUP1 00000e54: SLOAD 00000e55: PUSH1 0x01 00000e57: DUP3 00000e58: ADD 00000e59: SLOAD 00000e5a: PUSH1 0x02 00000e5c: DUP4 00000e5d: ADD 00000e5e: SLOAD 00000e5f: PUSH1 0x03 00000e61: DUP5 00000e62: ADD 00000e63: SLOAD 00000e64: PUSH1 0x04 00000e66: DUP6 00000e67: ADD 00000e68: SLOAD 00000e69: PUSH1 0x05 00000e6b: DUP7 00000e6c: ADD 00000e6d: SLOAD 00000e6e: PUSH1 0x06 00000e70: DUP8 00000e71: ADD 00000e72: SLOAD 00000e73: PUSH1 0x07 00000e75: DUP9 00000e76: ADD 00000e77: SLOAD 00000e78: PUSH1 0x08 00000e7a: DUP10 00000e7b: ADD 00000e7c: SLOAD 00000e7d: PUSH1 0x09 00000e7f: SWAP1 00000e80: SWAP10 00000e81: ADD 00000e82: SLOAD 00000e83: PUSH1 0x01 00000e85: PUSH1 0x01 00000e87: PUSH1 0xa0 00000e89: SHL 00000e8a: SUB 00000e8b: SWAP1 00000e8c: SWAP9 00000e8d: AND 00000e8e: SWAP9 00000e8f: SWAP7 00000e90: SWAP8 00000e91: SWAP6 00000e92: SWAP7 00000e93: SWAP5 00000e94: SWAP6 00000e95: SWAP4 00000e96: SWAP5 00000e97: SWAP3 00000e98: SWAP4 00000e99: SWAP2 00000e9a: SWAP3 00000e9b: SWAP1 00000e9c: SWAP2 00000e9d: DUP11 00000e9e: JUMP 00000e9f: JUMPDEST 00000ea0: PUSH1 0x97 00000ea2: SLOAD 00000ea3: PUSH1 0x01 00000ea5: PUSH1 0x01 00000ea7: PUSH1 0xa0 00000ea9: SHL 00000eaa: SUB 00000eab: AND 00000eac: DUP2 00000ead: JUMP 00000eae: JUMPDEST 00000eaf: CALLER 00000eb0: ORIGIN 00000eb1: EQ 00000eb2: PUSH2 0x0ef7 00000eb5: JUMPI 00000eb6: PUSH1 0x40 00000eb8: DUP1 00000eb9: MLOAD 00000eba: PUSH3 0x461bcd 00000ebe: PUSH1 0xe5 00000ec0: SHL 00000ec1: DUP2 00000ec2: MSTORE 00000ec3: PUSH1 0x20 00000ec5: PUSH1 0x04 00000ec7: DUP3 00000ec8: ADD 00000ec9: MSTORE 00000eca: PUSH1 0x12 00000ecc: PUSH1 0x24 00000ece: DUP3 00000ecf: ADD 00000ed0: MSTORE 00000ed1: PUSH18 0x27b7363c903234b932b1ba1031b0b6363997 00000ee4: PUSH1 0x71 00000ee6: SHL 00000ee7: PUSH1 0x44 00000ee9: DUP3 00000eea: ADD 00000eeb: MSTORE 00000eec: SWAP1 00000eed: MLOAD 00000eee: SWAP1 00000eef: DUP2 00000ef0: SWAP1 00000ef1: SUB 00000ef2: PUSH1 0x64 00000ef4: ADD 00000ef5: SWAP1 00000ef6: REVERT 00000ef7: JUMPDEST 00000ef8: PUSH1 0x02 00000efa: PUSH1 0x01 00000efc: SLOAD 00000efd: EQ 00000efe: ISZERO 00000eff: PUSH2 0x0f4f 00000f02: JUMPI 00000f03: PUSH1 0x40 00000f05: DUP1 00000f06: MLOAD 00000f07: PUSH3 0x461bcd 00000f0b: PUSH1 0xe5 00000f0d: SHL 00000f0e: DUP2 00000f0f: MSTORE 00000f10: PUSH1 0x20 00000f12: PUSH1 0x04 00000f14: DUP3 00000f15: ADD 00000f16: MSTORE 00000f17: PUSH1 0x1f 00000f19: PUSH1 0x24 00000f1b: DUP3 00000f1c: ADD 00000f1d: MSTORE 00000f1e: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00000f3f: PUSH1 0x44 00000f41: DUP3 00000f42: ADD 00000f43: MSTORE 00000f44: SWAP1 00000f45: MLOAD 00000f46: SWAP1 00000f47: DUP2 00000f48: SWAP1 00000f49: SUB 00000f4a: PUSH1 0x64 00000f4c: ADD 00000f4d: SWAP1 00000f4e: REVERT 00000f4f: JUMPDEST 00000f50: PUSH1 0x02 00000f52: PUSH1 0x01 00000f54: SSTORE 00000f55: PUSH2 0x0f5c 00000f58: PUSH2 0x0e3b 00000f5b: JUMP 00000f5c: JUMPDEST 00000f5d: ISZERO 00000f5e: PUSH2 0x0fa1 00000f61: JUMPI 00000f62: PUSH1 0x40 00000f64: DUP1 00000f65: MLOAD 00000f66: PUSH3 0x461bcd 00000f6a: PUSH1 0xe5 00000f6c: SHL 00000f6d: DUP2 00000f6e: MSTORE 00000f6f: PUSH1 0x20 00000f71: PUSH1 0x04 00000f73: DUP3 00000f74: ADD 00000f75: MSTORE 00000f76: PUSH1 0x10 00000f78: PUSH1 0x24 00000f7a: DUP3 00000f7b: ADD 00000f7c: MSTORE 00000f7d: PUSH16 0x14185d5cd8589b194e881c185d5cd959 00000f8e: PUSH1 0x82 00000f90: SHL 00000f91: PUSH1 0x44 00000f93: DUP3 00000f94: ADD 00000f95: MSTORE 00000f96: SWAP1 00000f97: MLOAD 00000f98: SWAP1 00000f99: DUP2 00000f9a: SWAP1 00000f9b: SUB 00000f9c: PUSH1 0x64 00000f9e: ADD 00000f9f: SWAP1 00000fa0: REVERT 00000fa1: JUMPDEST 00000fa2: PUSH1 0xa2 00000fa4: PUSH1 0x00 00000fa6: SWAP1 00000fa7: SLOAD 00000fa8: SWAP1 00000fa9: PUSH2 0x0100 00000fac: EXP 00000fad: SWAP1 00000fae: DIV 00000faf: PUSH1 0x01 00000fb1: PUSH1 0x01 00000fb3: PUSH1 0xa0 00000fb5: SHL 00000fb6: SUB 00000fb7: AND 00000fb8: PUSH1 0x01 00000fba: PUSH1 0x01 00000fbc: PUSH1 0xa0 00000fbe: SHL 00000fbf: SUB 00000fc0: AND 00000fc1: PUSH4 0x5cd1bf27 00000fc6: PUSH1 0x40 00000fc8: MLOAD 00000fc9: DUP2 00000fca: PUSH4 0xffffffff 00000fcf: AND 00000fd0: PUSH1 0xe0 00000fd2: SHL 00000fd3: DUP2 00000fd4: MSTORE 00000fd5: PUSH1 0x04 00000fd7: ADD 00000fd8: PUSH1 0x20 00000fda: PUSH1 0x40 00000fdc: MLOAD 00000fdd: DUP1 00000fde: DUP4 00000fdf: SUB 00000fe0: DUP2 00000fe1: DUP7 00000fe2: DUP1 00000fe3: EXTCODESIZE 00000fe4: ISZERO 00000fe5: DUP1 00000fe6: ISZERO 00000fe7: PUSH2 0x0fef 00000fea: JUMPI 00000feb: PUSH1 0x00 00000fed: DUP1 00000fee: REVERT 00000fef: JUMPDEST 00000ff0: POP 00000ff1: GAS 00000ff2: STATICCALL 00000ff3: ISZERO 00000ff4: DUP1 00000ff5: ISZERO 00000ff6: PUSH2 0x1003 00000ff9: JUMPI 00000ffa: RETURNDATASIZE 00000ffb: PUSH1 0x00 00000ffd: DUP1 00000ffe: RETURNDATACOPY 00000fff: RETURNDATASIZE 00001000: PUSH1 0x00 00001002: REVERT 00001003: JUMPDEST 00001004: POP 00001005: POP 00001006: POP 00001007: POP 00001008: PUSH1 0x40 0000100a: MLOAD 0000100b: RETURNDATASIZE 0000100c: PUSH1 0x20 0000100e: DUP2 0000100f: LT 00001010: ISZERO 00001011: PUSH2 0x1019 00001014: JUMPI 00001015: PUSH1 0x00 00001017: DUP1 00001018: REVERT 00001019: JUMPDEST 0000101a: POP 0000101b: MLOAD 0000101c: PUSH1 0xa1 0000101e: SLOAD 0000101f: PUSH1 0x01 00001021: PUSH1 0x01 00001023: PUSH1 0xa0 00001025: SHL 00001026: SUB 00001027: AND 00001028: BALANCE 00001029: LT 0000102a: PUSH2 0x1064 0000102d: JUMPI 0000102e: PUSH1 0x40 00001030: MLOAD 00001031: PUSH3 0x461bcd 00001035: PUSH1 0xe5 00001037: SHL 00001038: DUP2 00001039: MSTORE 0000103a: PUSH1 0x04 0000103c: ADD 0000103d: DUP1 0000103e: DUP1 0000103f: PUSH1 0x20 00001041: ADD 00001042: DUP3 00001043: DUP2 00001044: SUB 00001045: DUP3 00001046: MSTORE 00001047: PUSH1 0x28 00001049: DUP2 0000104a: MSTORE 0000104b: PUSH1 0x20 0000104d: ADD 0000104e: DUP1 0000104f: PUSH2 0x2a29 00001052: PUSH1 0x28 00001054: SWAP2 00001055: CODECOPY 00001056: PUSH1 0x40 00001058: ADD 00001059: SWAP2 0000105a: POP 0000105b: POP 0000105c: PUSH1 0x40 0000105e: MLOAD 0000105f: DUP1 00001060: SWAP2 00001061: SUB 00001062: SWAP1 00001063: REVERT 00001064: JUMPDEST 00001065: PUSH1 0xa1 00001067: SLOAD 00001068: PUSH1 0x40 0000106a: DUP1 0000106b: MLOAD 0000106c: PUSH4 0x70a08231 00001071: PUSH1 0xe0 00001073: SHL 00001074: DUP2 00001075: MSTORE 00001076: CALLER 00001077: PUSH1 0x04 00001079: DUP3 0000107a: ADD 0000107b: MSTORE 0000107c: SWAP1 0000107d: MLOAD 0000107e: DUP4 0000107f: SWAP3 00001080: PUSH1 0x01 00001082: PUSH1 0x01 00001084: PUSH1 0xa0 00001086: SHL 00001087: SUB 00001088: AND 00001089: SWAP2 0000108a: PUSH4 0x70a08231 0000108f: SWAP2 00001090: PUSH1 0x24 00001092: DUP1 00001093: DUP4 00001094: ADD 00001095: SWAP3 00001096: PUSH1 0x20 00001098: SWAP3 00001099: SWAP2 0000109a: SWAP1 0000109b: DUP3 0000109c: SWAP1 0000109d: SUB 0000109e: ADD 0000109f: DUP2 000010a0: DUP7 000010a1: DUP1 000010a2: EXTCODESIZE 000010a3: ISZERO 000010a4: DUP1 000010a5: ISZERO 000010a6: PUSH2 0x10ae 000010a9: JUMPI 000010aa: PUSH1 0x00 000010ac: DUP1 000010ad: REVERT 000010ae: JUMPDEST 000010af: POP 000010b0: GAS 000010b1: STATICCALL 000010b2: ISZERO 000010b3: DUP1 000010b4: ISZERO 000010b5: PUSH2 0x10c2 000010b8: JUMPI 000010b9: RETURNDATASIZE 000010ba: PUSH1 0x00 000010bc: DUP1 000010bd: RETURNDATACOPY 000010be: RETURNDATASIZE 000010bf: PUSH1 0x00 000010c1: REVERT 000010c2: JUMPDEST 000010c3: POP 000010c4: POP 000010c5: POP 000010c6: POP 000010c7: PUSH1 0x40 000010c9: MLOAD 000010ca: RETURNDATASIZE 000010cb: PUSH1 0x20 000010cd: DUP2 000010ce: LT 000010cf: ISZERO 000010d0: PUSH2 0x10d8 000010d3: JUMPI 000010d4: PUSH1 0x00 000010d6: DUP1 000010d7: REVERT 000010d8: JUMPDEST 000010d9: POP 000010da: MLOAD 000010db: LT 000010dc: ISZERO 000010dd: PUSH2 0x1117 000010e0: JUMPI 000010e1: PUSH1 0x40 000010e3: MLOAD 000010e4: PUSH3 0x461bcd 000010e8: PUSH1 0xe5 000010ea: SHL 000010eb: DUP2 000010ec: MSTORE 000010ed: PUSH1 0x04 000010ef: ADD 000010f0: DUP1 000010f1: DUP1 000010f2: PUSH1 0x20 000010f4: ADD 000010f5: DUP3 000010f6: DUP2 000010f7: SUB 000010f8: DUP3 000010f9: MSTORE 000010fa: PUSH1 0x28 000010fc: DUP2 000010fd: MSTORE 000010fe: PUSH1 0x20 00001100: ADD 00001101: DUP1 00001102: PUSH2 0x2b97 00001105: PUSH1 0x28 00001107: SWAP2 00001108: CODECOPY 00001109: PUSH1 0x40 0000110b: ADD 0000110c: SWAP2 0000110d: POP 0000110e: POP 0000110f: PUSH1 0x40 00001111: MLOAD 00001112: DUP1 00001113: SWAP2 00001114: SUB 00001115: SWAP1 00001116: REVERT 00001117: JUMPDEST 00001118: CALLER 00001119: PUSH1 0x00 0000111b: SWAP1 0000111c: DUP2 0000111d: MSTORE 0000111e: PUSH1 0x9f 00001120: PUSH1 0x20 00001122: MSTORE 00001123: PUSH1 0x40 00001125: SWAP1 00001126: KECCAK256 00001127: PUSH1 0x02 00001129: DUP2 0000112a: ADD 0000112b: SLOAD 0000112c: ISZERO 0000112d: DUP1 0000112e: ISZERO 0000112f: PUSH2 0x113a 00001132: JUMPI 00001133: POP 00001134: PUSH1 0x03 00001136: DUP2 00001137: ADD 00001138: SLOAD 00001139: ISZERO 0000113a: JUMPDEST 0000113b: DUP1 0000113c: ISZERO 0000113d: PUSH2 0x1148 00001140: JUMPI 00001141: POP 00001142: PUSH1 0x04 00001144: DUP2 00001145: ADD 00001146: SLOAD 00001147: ISZERO 00001148: JUMPDEST 00001149: DUP1 0000114a: ISZERO 0000114b: PUSH2 0x1156 0000114e: JUMPI 0000114f: POP 00001150: PUSH1 0x06 00001152: DUP2 00001153: ADD 00001154: SLOAD 00001155: ISZERO 00001156: JUMPDEST 00001157: DUP1 00001158: ISZERO 00001159: PUSH2 0x1164 0000115c: JUMPI 0000115d: POP 0000115e: PUSH1 0x05 00001160: DUP2 00001161: ADD 00001162: SLOAD 00001163: ISZERO 00001164: JUMPDEST 00001165: PUSH2 0x11b5 00001168: JUMPI 00001169: PUSH1 0x40 0000116b: DUP1 0000116c: MLOAD 0000116d: PUSH3 0x461bcd 00001171: PUSH1 0xe5 00001173: SHL 00001174: DUP2 00001175: MSTORE 00001176: PUSH1 0x20 00001178: PUSH1 0x04 0000117a: DUP3 0000117b: ADD 0000117c: DUP2 0000117d: SWAP1 0000117e: MSTORE 0000117f: PUSH1 0x24 00001181: DUP3 00001182: ADD 00001183: MSTORE 00001184: PUSH32 0x5573657220616c7265616479206861732061637469766520726571756573742e 000011a5: PUSH1 0x44 000011a7: DUP3 000011a8: ADD 000011a9: MSTORE 000011aa: SWAP1 000011ab: MLOAD 000011ac: SWAP1 000011ad: DUP2 000011ae: SWAP1 000011af: SUB 000011b0: PUSH1 0x64 000011b2: ADD 000011b3: SWAP1 000011b4: REVERT 000011b5: JUMPDEST 000011b6: PUSH1 0xa1 000011b8: SLOAD 000011b9: PUSH1 0x40 000011bb: DUP1 000011bc: MLOAD 000011bd: PUSH4 0x0ea6134d 000011c2: PUSH1 0xe3 000011c4: SHL 000011c5: DUP2 000011c6: MSTORE 000011c7: PUSH8 0x0de0b6b3a7640000 000011d0: PUSH1 0x04 000011d2: DUP3 000011d3: ADD 000011d4: DUP2 000011d5: SWAP1 000011d6: MSTORE 000011d7: PUSH1 0x00 000011d9: PUSH1 0x24 000011db: DUP4 000011dc: ADD 000011dd: DUP2 000011de: SWAP1 000011df: MSTORE 000011e0: PUSH1 0x44 000011e2: DUP4 000011e3: ADD 000011e4: DUP2 000011e5: SWAP1 000011e6: MSTORE 000011e7: SWAP3 000011e8: MLOAD 000011e9: SWAP1 000011ea: SWAP4 000011eb: PUSH1 0x01 000011ed: PUSH1 0x01 000011ef: PUSH1 0xa0 000011f1: SHL 000011f2: SUB 000011f3: AND 000011f4: SWAP2 000011f5: PUSH4 0x75309a68 000011fa: SWAP2 000011fb: PUSH1 0x64 000011fd: DUP1 000011fe: DUP4 000011ff: ADD 00001200: SWAP3 00001201: PUSH1 0x20 00001203: SWAP3 00001204: SWAP2 00001205: SWAP1 00001206: DUP3 00001207: SWAP1 00001208: SUB 00001209: ADD 0000120a: DUP2 0000120b: DUP7 0000120c: DUP1 0000120d: EXTCODESIZE 0000120e: ISZERO 0000120f: DUP1 00001210: ISZERO 00001211: PUSH2 0x1219 00001214: JUMPI 00001215: PUSH1 0x00 00001217: DUP1 00001218: REVERT 00001219: JUMPDEST 0000121a: POP 0000121b: GAS 0000121c: STATICCALL 0000121d: ISZERO 0000121e: DUP1 0000121f: ISZERO 00001220: PUSH2 0x122d 00001223: JUMPI 00001224: RETURNDATASIZE 00001225: PUSH1 0x00 00001227: DUP1 00001228: RETURNDATACOPY 00001229: RETURNDATASIZE 0000122a: PUSH1 0x00 0000122c: REVERT 0000122d: JUMPDEST 0000122e: POP 0000122f: POP 00001230: POP 00001231: POP 00001232: PUSH1 0x40 00001234: MLOAD 00001235: RETURNDATASIZE 00001236: PUSH1 0x20 00001238: DUP2 00001239: LT 0000123a: ISZERO 0000123b: PUSH2 0x1243 0000123e: JUMPI 0000123f: PUSH1 0x00 00001241: DUP1 00001242: REVERT 00001243: JUMPDEST 00001244: POP 00001245: MLOAD 00001246: SWAP1 00001247: POP 00001248: PUSH1 0x00 0000124a: PUSH2 0x1257 0000124d: DUP3 0000124e: PUSH2 0x0b8b 00001251: DUP6 00001252: DUP9 00001253: PUSH2 0x2280 00001256: JUMP 00001257: JUMPDEST 00001258: SWAP1 00001259: POP 0000125a: PUSH1 0x00 0000125c: PUSH2 0x1263 0000125f: PUSH2 0x05bf 00001262: JUMP 00001263: JUMPDEST 00001264: PUSH1 0xa1 00001266: SLOAD 00001267: PUSH1 0x40 00001269: DUP1 0000126a: MLOAD 0000126b: PUSH4 0x2770a7eb 00001270: PUSH1 0xe2 00001272: SHL 00001273: DUP2 00001274: MSTORE 00001275: CALLER 00001276: PUSH1 0x04 00001278: DUP3 00001279: ADD 0000127a: MSTORE 0000127b: PUSH1 0x24 0000127d: DUP2 0000127e: ADD 0000127f: DUP11 00001280: SWAP1 00001281: MSTORE 00001282: SWAP1 00001283: MLOAD 00001284: SWAP3 00001285: SWAP4 00001286: POP 00001287: PUSH1 0x01 00001289: PUSH1 0x01 0000128b: PUSH1 0xa0 0000128d: SHL 0000128e: SUB 0000128f: SWAP1 00001290: SWAP2 00001291: AND 00001292: SWAP2 00001293: PUSH4 0x9dc29fac 00001298: SWAP2 00001299: PUSH1 0x44 0000129b: DUP1 0000129c: DUP3 0000129d: ADD 0000129e: SWAP3 0000129f: PUSH1 0x00 000012a1: SWAP3 000012a2: SWAP1 000012a3: SWAP2 000012a4: SWAP1 000012a5: DUP3 000012a6: SWAP1 000012a7: SUB 000012a8: ADD 000012a9: DUP2 000012aa: DUP4 000012ab: DUP8 000012ac: DUP1 000012ad: EXTCODESIZE 000012ae: ISZERO 000012af: DUP1 000012b0: ISZERO 000012b1: PUSH2 0x12b9 000012b4: JUMPI 000012b5: PUSH1 0x00 000012b7: DUP1 000012b8: REVERT 000012b9: JUMPDEST 000012ba: POP 000012bb: GAS 000012bc: CALL 000012bd: ISZERO 000012be: DUP1 000012bf: ISZERO 000012c0: PUSH2 0x12cd 000012c3: JUMPI 000012c4: RETURNDATASIZE 000012c5: PUSH1 0x00 000012c7: DUP1 000012c8: RETURNDATACOPY 000012c9: RETURNDATASIZE 000012ca: PUSH1 0x00 000012cc: REVERT 000012cd: JUMPDEST 000012ce: POP 000012cf: POP 000012d0: DUP7 000012d1: SLOAD 000012d2: PUSH1 0x01 000012d4: PUSH1 0x01 000012d6: PUSH1 0xa0 000012d8: SHL 000012d9: SUB 000012da: NOT 000012db: AND 000012dc: CALLER 000012dd: OR 000012de: DUP8 000012df: SSTORE 000012e0: POP 000012e1: POP 000012e2: PUSH1 0x01 000012e4: DUP1 000012e5: DUP7 000012e6: ADD 000012e7: SLOAD 000012e8: PUSH2 0x12f0 000012eb: SWAP2 000012ec: PUSH2 0x0556 000012ef: JUMP 000012f0: JUMPDEST 000012f1: PUSH1 0x01 000012f3: DUP7 000012f4: ADD 000012f5: SSTORE 000012f6: PUSH1 0x02 000012f8: DUP6 000012f9: ADD 000012fa: DUP7 000012fb: SWAP1 000012fc: SSTORE 000012fd: PUSH1 0x03 000012ff: DUP6 00001300: ADD 00001301: DUP3 00001302: SWAP1 00001303: SSTORE 00001304: TIMESTAMP 00001305: PUSH1 0x06 00001307: DUP7 00001308: ADD 00001309: SSTORE 0000130a: PUSH1 0x00 0000130c: PUSH1 0x07 0000130e: DUP7 0000130f: ADD 00001310: SSTORE 00001311: DUP1 00001312: DUP3 00001313: GT 00001314: ISZERO 00001315: PUSH2 0x148c 00001318: JUMPI 00001319: PUSH1 0xa2 0000131b: SLOAD 0000131c: PUSH1 0x40 0000131e: DUP1 0000131f: MLOAD 00001320: PUSH4 0x1a004e5f 00001325: PUSH1 0xe2 00001327: SHL 00001328: DUP2 00001329: MSTORE 0000132a: SWAP1 0000132b: MLOAD 0000132c: PUSH2 0x1391 0000132f: SWAP3 00001330: PUSH1 0x01 00001332: PUSH1 0x01 00001334: PUSH1 0xa0 00001336: SHL 00001337: SUB 00001338: AND 00001339: SWAP2 0000133a: PUSH4 0x6801397c 0000133f: SWAP2 00001340: PUSH1 0x04 00001342: DUP1 00001343: DUP4 00001344: ADD 00001345: SWAP3 00001346: PUSH1 0x20 00001348: SWAP3 00001349: SWAP2 0000134a: SWAP1 0000134b: DUP3 0000134c: SWAP1 0000134d: SUB 0000134e: ADD 0000134f: DUP2 00001350: DUP7 00001351: DUP1 00001352: EXTCODESIZE 00001353: ISZERO 00001354: DUP1 00001355: ISZERO 00001356: PUSH2 0x135e 00001359: JUMPI 0000135a: PUSH1 0x00 0000135c: DUP1 0000135d: REVERT 0000135e: JUMPDEST 0000135f: POP 00001360: GAS 00001361: STATICCALL 00001362: ISZERO 00001363: DUP1 00001364: ISZERO 00001365: PUSH2 0x1372 00001368: JUMPI 00001369: RETURNDATASIZE 0000136a: PUSH1 0x00 0000136c: DUP1 0000136d: RETURNDATACOPY 0000136e: RETURNDATASIZE 0000136f: PUSH1 0x00 00001371: REVERT 00001372: JUMPDEST 00001373: POP 00001374: POP 00001375: POP 00001376: POP 00001377: PUSH1 0x40 00001379: MLOAD 0000137a: RETURNDATASIZE 0000137b: PUSH1 0x20 0000137d: DUP2 0000137e: LT 0000137f: ISZERO 00001380: PUSH2 0x1388 00001383: JUMPI 00001384: PUSH1 0x00 00001386: DUP1 00001387: REVERT 00001388: JUMPDEST 00001389: POP 0000138a: MLOAD 0000138b: TIMESTAMP 0000138c: SWAP1 0000138d: PUSH2 0x0556 00001390: JUMP 00001391: JUMPDEST 00001392: PUSH1 0x05 00001394: DUP7 00001395: ADD 00001396: SSTORE 00001397: PUSH2 0x13a0 0000139a: DUP3 0000139b: DUP3 0000139c: PUSH2 0x2340 0000139f: JUMP 000013a0: JUMPDEST 000013a1: PUSH1 0x04 000013a3: DUP7 000013a4: ADD 000013a5: DUP2 000013a6: SWAP1 000013a7: SSTORE 000013a8: PUSH1 0x9b 000013aa: SLOAD 000013ab: PUSH2 0x13b3 000013ae: SWAP2 000013af: PUSH2 0x0556 000013b2: JUMP 000013b3: JUMPDEST 000013b4: PUSH1 0x9b 000013b6: SSTORE 000013b7: DUP5 000013b8: SLOAD 000013b9: PUSH1 0xa0 000013bb: DUP1 000013bc: SLOAD 000013bd: PUSH1 0x01 000013bf: DUP2 000013c0: ADD 000013c1: DUP3 000013c2: SSTORE 000013c3: PUSH1 0x00 000013c5: SWAP2 000013c6: DUP3 000013c7: MSTORE 000013c8: PUSH32 0x78fdc8d422c49ced035a9edf18d00d3c6a8d81df210f3e5e448e045e77b41e88 000013e9: ADD 000013ea: DUP1 000013eb: SLOAD 000013ec: PUSH1 0x01 000013ee: PUSH1 0x01 000013f0: PUSH1 0xa0 000013f2: SHL 000013f3: SUB 000013f4: NOT 000013f5: AND 000013f6: PUSH1 0x01 000013f8: PUSH1 0x01 000013fa: PUSH1 0xa0 000013fc: SHL 000013fd: SUB 000013fe: SWAP4 000013ff: DUP5 00001400: AND 00001401: OR 00001402: SWAP1 00001403: SSTORE 00001404: PUSH1 0xa1 00001406: SLOAD 00001407: PUSH1 0x40 00001409: DUP1 0000140a: MLOAD 0000140b: PUSH4 0x26066889 00001410: PUSH1 0xe1 00001412: SHL 00001413: DUP2 00001414: MSTORE 00001415: SWAP2 00001416: SWAP1 00001417: SWAP4 00001418: AND 00001419: DUP1 0000141a: BALANCE 0000141b: PUSH1 0x04 0000141d: DUP4 0000141e: ADD 0000141f: MSTORE 00001420: SWAP3 00001421: MLOAD 00001422: PUSH4 0x4c0cd112 00001427: SWAP3 00001428: PUSH1 0x24 0000142a: DUP1 0000142b: DUP5 0000142c: ADD 0000142d: SWAP4 0000142e: SWAP2 0000142f: SWAP3 00001430: SWAP2 00001431: DUP3 00001432: SWAP1 00001433: SUB 00001434: ADD 00001435: DUP2 00001436: DUP4 00001437: DUP8 00001438: DUP1 00001439: EXTCODESIZE 0000143a: ISZERO 0000143b: DUP1 0000143c: ISZERO 0000143d: PUSH2 0x1445 00001440: JUMPI 00001441: PUSH1 0x00 00001443: DUP1 00001444: REVERT 00001445: JUMPDEST 00001446: POP 00001447: GAS 00001448: CALL 00001449: ISZERO 0000144a: DUP1 0000144b: ISZERO 0000144c: PUSH2 0x1459 0000144f: JUMPI 00001450: RETURNDATASIZE 00001451: PUSH1 0x00 00001453: DUP1 00001454: RETURNDATACOPY 00001455: RETURNDATASIZE 00001456: PUSH1 0x00 00001458: REVERT 00001459: JUMPDEST 0000145a: POP 0000145b: POP 0000145c: PUSH1 0x99 0000145e: SLOAD 0000145f: PUSH1 0x9a 00001461: SLOAD 00001462: PUSH2 0x146d 00001465: SWAP4 00001466: POP 00001467: SWAP2 00001468: POP 00001469: PUSH2 0x0556 0000146c: JUMP 0000146d: JUMPDEST 0000146e: PUSH1 0x9a 00001470: SSTORE 00001471: PUSH1 0x99 00001473: SLOAD 00001474: PUSH1 0x9c 00001476: SLOAD 00001477: PUSH2 0x147f 0000147a: SWAP2 0000147b: PUSH2 0x0556 0000147e: JUMP 0000147f: JUMPDEST 00001480: PUSH1 0x9c 00001482: SSTORE 00001483: PUSH1 0x00 00001485: PUSH1 0x99 00001487: SSTORE 00001488: PUSH2 0x15a3 0000148b: JUMP 0000148c: JUMPDEST 0000148d: PUSH1 0xa2 0000148f: SLOAD 00001490: PUSH1 0x40 00001492: DUP1 00001493: MLOAD 00001494: PUSH4 0x3c642913 00001499: PUSH1 0xe0 0000149b: SHL 0000149c: DUP2 0000149d: MSTORE 0000149e: SWAP1 0000149f: MLOAD 000014a0: PUSH2 0x14d2 000014a3: SWAP3 000014a4: PUSH1 0x01 000014a6: PUSH1 0x01 000014a8: PUSH1 0xa0 000014aa: SHL 000014ab: SUB 000014ac: AND 000014ad: SWAP2 000014ae: PUSH4 0x3c642913 000014b3: SWAP2 000014b4: PUSH1 0x04 000014b6: DUP1 000014b7: DUP4 000014b8: ADD 000014b9: SWAP3 000014ba: PUSH1 0x20 000014bc: SWAP3 000014bd: SWAP2 000014be: SWAP1 000014bf: DUP3 000014c0: SWAP1 000014c1: SUB 000014c2: ADD 000014c3: DUP2 000014c4: DUP7 000014c5: DUP1 000014c6: EXTCODESIZE 000014c7: ISZERO 000014c8: DUP1 000014c9: ISZERO 000014ca: PUSH2 0x135e 000014cd: JUMPI 000014ce: PUSH1 0x00 000014d0: DUP1 000014d1: REVERT 000014d2: JUMPDEST 000014d3: PUSH1 0x05 000014d5: DUP7 000014d6: ADD 000014d7: SSTORE 000014d8: PUSH1 0x00 000014da: PUSH2 0x14e2 000014dd: DUP4 000014de: PUSH2 0x2527 000014e1: JUMP 000014e2: JUMPDEST 000014e3: SWAP1 000014e4: POP 000014e5: DUP1 000014e6: ISZERO 000014e7: PUSH2 0x1567 000014ea: JUMPI 000014eb: PUSH1 0x99 000014ed: SLOAD 000014ee: PUSH1 0x9a 000014f0: SLOAD 000014f1: PUSH2 0x14f9 000014f4: SWAP2 000014f5: PUSH2 0x0556 000014f8: JUMP 000014f9: JUMPDEST 000014fa: PUSH1 0x9a 000014fc: SSTORE 000014fd: PUSH1 0x00 000014ff: PUSH1 0x99 00001501: DUP2 00001502: SWAP1 00001503: SSTORE 00001504: PUSH1 0xa1 00001506: SLOAD 00001507: PUSH1 0x40 00001509: DUP1 0000150a: MLOAD 0000150b: PUSH4 0x26066889 00001510: PUSH1 0xe1 00001512: SHL 00001513: DUP2 00001514: MSTORE 00001515: PUSH1 0x04 00001517: DUP2 00001518: ADD 00001519: DUP6 0000151a: SWAP1 0000151b: MSTORE 0000151c: SWAP1 0000151d: MLOAD 0000151e: PUSH1 0x01 00001520: PUSH1 0x01 00001522: PUSH1 0xa0 00001524: SHL 00001525: SUB 00001526: SWAP1 00001527: SWAP3 00001528: AND 00001529: SWAP3 0000152a: PUSH4 0x4c0cd112 0000152f: SWAP3 00001530: PUSH1 0x24 00001532: DUP1 00001533: DUP5 00001534: ADD 00001535: SWAP4 00001536: DUP3 00001537: SWAP1 00001538: SUB 00001539: ADD 0000153a: DUP2 0000153b: DUP4 0000153c: DUP8 0000153d: DUP1 0000153e: EXTCODESIZE 0000153f: ISZERO 00001540: DUP1 00001541: ISZERO 00001542: PUSH2 0x154a 00001545: JUMPI 00001546: PUSH1 0x00 00001548: DUP1 00001549: REVERT 0000154a: JUMPDEST 0000154b: POP 0000154c: GAS 0000154d: CALL 0000154e: ISZERO 0000154f: DUP1 00001550: ISZERO 00001551: PUSH2 0x155e 00001554: JUMPI 00001555: RETURNDATASIZE 00001556: PUSH1 0x00 00001558: DUP1 00001559: RETURNDATACOPY 0000155a: RETURNDATASIZE 0000155b: PUSH1 0x00 0000155d: REVERT 0000155e: JUMPDEST 0000155f: POP 00001560: POP 00001561: POP 00001562: POP 00001563: PUSH2 0x1588 00001566: JUMP 00001567: JUMPDEST 00001568: PUSH1 0x99 0000156a: SLOAD 0000156b: PUSH2 0x1574 0000156e: SWAP1 0000156f: DUP5 00001570: PUSH2 0x2340 00001573: JUMP 00001574: JUMPDEST 00001575: PUSH1 0x99 00001577: SSTORE 00001578: PUSH1 0x9a 0000157a: SLOAD 0000157b: PUSH2 0x1584 0000157e: SWAP1 0000157f: DUP5 00001580: PUSH2 0x0556 00001583: JUMP 00001584: JUMPDEST 00001585: PUSH1 0x9a 00001587: SSTORE 00001588: JUMPDEST 00001589: PUSH2 0x159e 0000158c: PUSH2 0x1595 0000158f: DUP5 00001590: DUP4 00001591: PUSH2 0x2340 00001594: JUMP 00001595: JUMPDEST 00001596: PUSH1 0x9c 00001598: SLOAD 00001599: SWAP1 0000159a: PUSH2 0x0556 0000159d: JUMP 0000159e: JUMPDEST 0000159f: PUSH1 0x9c 000015a1: SSTORE 000015a2: POP 000015a3: JUMPDEST 000015a4: PUSH1 0x01 000015a6: DUP6 000015a7: ADD 000015a8: SLOAD 000015a9: PUSH1 0x02 000015ab: DUP7 000015ac: ADD 000015ad: SLOAD 000015ae: PUSH1 0x03 000015b0: DUP8 000015b1: ADD 000015b2: SLOAD 000015b3: PUSH1 0x04 000015b5: DUP9 000015b6: ADD 000015b7: SLOAD 000015b8: PUSH1 0x05 000015ba: DUP10 000015bb: ADD 000015bc: SLOAD 000015bd: PUSH1 0x40 000015bf: DUP1 000015c0: MLOAD 000015c1: CALLER 000015c2: DUP2 000015c3: MSTORE 000015c4: PUSH1 0x20 000015c6: DUP2 000015c7: ADD 000015c8: SWAP7 000015c9: SWAP1 000015ca: SWAP7 000015cb: MSTORE 000015cc: DUP6 000015cd: DUP2 000015ce: ADD 000015cf: SWAP5 000015d0: SWAP1 000015d1: SWAP5 000015d2: MSTORE 000015d3: PUSH1 0x60 000015d5: DUP6 000015d6: ADD 000015d7: SWAP3 000015d8: SWAP1 000015d9: SWAP3 000015da: MSTORE 000015db: PUSH1 0x80 000015dd: DUP5 000015de: ADD 000015df: MSTORE 000015e0: PUSH1 0xa0 000015e2: DUP4 000015e3: ADD 000015e4: MSTORE 000015e5: PUSH1 0xc0 000015e7: DUP3 000015e8: ADD 000015e9: DUP4 000015ea: SWAP1 000015eb: MSTORE 000015ec: MLOAD 000015ed: PUSH32 0x7f991f61ca1561f5eec392f9b91513e5643c55c2a55cb32963f4478fb9a8dcbf 0000160e: SWAP2 0000160f: DUP2 00001610: SWAP1 00001611: SUB 00001612: PUSH1 0xe0 00001614: ADD 00001615: SWAP1 00001616: LOG1 00001617: POP 00001618: POP 00001619: PUSH1 0x01 0000161b: DUP1 0000161c: SSTORE 0000161d: POP 0000161e: POP 0000161f: POP 00001620: POP 00001621: JUMP 00001622: JUMPDEST 00001623: PUSH1 0xa2 00001625: SLOAD 00001626: PUSH1 0x01 00001628: PUSH1 0x01 0000162a: PUSH1 0xa0 0000162c: SHL 0000162d: SUB 0000162e: AND 0000162f: DUP2 00001630: JUMP 00001631: JUMPDEST 00001632: PUSH1 0x97 00001634: PUSH1 0x00 00001636: SWAP1 00001637: SLOAD 00001638: SWAP1 00001639: PUSH2 0x0100 0000163c: EXP 0000163d: SWAP1 0000163e: DIV 0000163f: PUSH1 0x01 00001641: PUSH1 0x01 00001643: PUSH1 0xa0 00001645: SHL 00001646: SUB 00001647: AND 00001648: PUSH1 0x01 0000164a: PUSH1 0x01 0000164c: PUSH1 0xa0 0000164e: SHL 0000164f: SUB 00001650: AND 00001651: PUSH4 0x5f6afd15 00001656: PUSH1 0x40 00001658: MLOAD 00001659: DUP2 0000165a: PUSH4 0xffffffff 0000165f: AND 00001660: PUSH1 0xe0 00001662: SHL 00001663: DUP2 00001664: MSTORE 00001665: PUSH1 0x04 00001667: ADD 00001668: PUSH1 0x20 0000166a: PUSH1 0x40 0000166c: MLOAD 0000166d: DUP1 0000166e: DUP4 0000166f: SUB 00001670: DUP2 00001671: DUP7 00001672: DUP1 00001673: EXTCODESIZE 00001674: ISZERO 00001675: DUP1 00001676: ISZERO 00001677: PUSH2 0x167f 0000167a: JUMPI 0000167b: PUSH1 0x00 0000167d: DUP1 0000167e: REVERT 0000167f: JUMPDEST 00001680: POP 00001681: GAS 00001682: STATICCALL 00001683: ISZERO 00001684: DUP1 00001685: ISZERO 00001686: PUSH2 0x1693 00001689: JUMPI 0000168a: RETURNDATASIZE 0000168b: PUSH1 0x00 0000168d: DUP1 0000168e: RETURNDATACOPY 0000168f: RETURNDATASIZE 00001690: PUSH1 0x00 00001692: REVERT 00001693: JUMPDEST 00001694: POP 00001695: POP 00001696: POP 00001697: POP 00001698: PUSH1 0x40 0000169a: MLOAD 0000169b: RETURNDATASIZE 0000169c: PUSH1 0x20 0000169e: DUP2 0000169f: LT 000016a0: ISZERO 000016a1: PUSH2 0x16a9 000016a4: JUMPI 000016a5: PUSH1 0x00 000016a7: DUP1 000016a8: REVERT 000016a9: JUMPDEST 000016aa: POP 000016ab: MLOAD 000016ac: PUSH1 0x40 000016ae: DUP1 000016af: MLOAD 000016b0: PUSH4 0x288c3149 000016b5: PUSH1 0xe2 000016b7: SHL 000016b8: DUP2 000016b9: MSTORE 000016ba: CALLER 000016bb: PUSH1 0x04 000016bd: DUP3 000016be: ADD 000016bf: MSTORE 000016c0: SWAP1 000016c1: MLOAD 000016c2: PUSH1 0x01 000016c4: PUSH1 0x01 000016c6: PUSH1 0xa0 000016c8: SHL 000016c9: SUB 000016ca: SWAP1 000016cb: SWAP3 000016cc: AND 000016cd: SWAP2 000016ce: PUSH4 0xa230c524 000016d3: SWAP2 000016d4: PUSH1 0x24 000016d6: DUP1 000016d7: DUP3 000016d8: ADD 000016d9: SWAP3 000016da: PUSH1 0x20 000016dc: SWAP3 000016dd: SWAP1 000016de: SWAP2 000016df: SWAP1 000016e0: DUP3 000016e1: SWAP1 000016e2: SUB 000016e3: ADD 000016e4: DUP2 000016e5: DUP7 000016e6: DUP1 000016e7: EXTCODESIZE 000016e8: ISZERO 000016e9: DUP1 000016ea: ISZERO 000016eb: PUSH2 0x16f3 000016ee: JUMPI 000016ef: PUSH1 0x00 000016f1: DUP1 000016f2: REVERT 000016f3: JUMPDEST 000016f4: POP 000016f5: GAS 000016f6: STATICCALL 000016f7: ISZERO 000016f8: DUP1 000016f9: ISZERO 000016fa: PUSH2 0x1707 000016fd: JUMPI 000016fe: RETURNDATASIZE 000016ff: PUSH1 0x00 00001701: DUP1 00001702: RETURNDATACOPY 00001703: RETURNDATASIZE 00001704: PUSH1 0x00 00001706: REVERT 00001707: JUMPDEST 00001708: POP 00001709: POP 0000170a: POP 0000170b: POP 0000170c: PUSH1 0x40 0000170e: MLOAD 0000170f: RETURNDATASIZE 00001710: PUSH1 0x20 00001712: DUP2 00001713: LT 00001714: ISZERO 00001715: PUSH2 0x171d 00001718: JUMPI 00001719: PUSH1 0x00 0000171b: DUP1 0000171c: REVERT 0000171d: JUMPDEST 0000171e: POP 0000171f: MLOAD 00001720: DUP1 00001721: PUSH2 0x179d 00001724: JUMPI 00001725: POP 00001726: PUSH1 0x98 00001728: SLOAD 00001729: PUSH1 0x40 0000172b: DUP1 0000172c: MLOAD 0000172d: PUSH4 0x6eab9b35 00001732: PUSH1 0xe1 00001734: SHL 00001735: DUP2 00001736: MSTORE 00001737: CALLER 00001738: PUSH1 0x04 0000173a: DUP3 0000173b: ADD 0000173c: MSTORE 0000173d: SWAP1 0000173e: MLOAD 0000173f: PUSH1 0x01 00001741: PUSH1 0x01 00001743: PUSH1 0xa0 00001745: SHL 00001746: SUB 00001747: SWAP1 00001748: SWAP3 00001749: AND 0000174a: SWAP2 0000174b: PUSH4 0xdd57366a 00001750: SWAP2 00001751: PUSH1 0x24 00001753: DUP1 00001754: DUP3 00001755: ADD 00001756: SWAP3 00001757: PUSH1 0x20 00001759: SWAP3 0000175a: SWAP1 0000175b: SWAP2 0000175c: SWAP1 0000175d: DUP3 0000175e: SWAP1 0000175f: SUB 00001760: ADD 00001761: DUP2 00001762: DUP7 00001763: DUP1 00001764: EXTCODESIZE 00001765: ISZERO 00001766: DUP1 00001767: ISZERO 00001768: PUSH2 0x1770 0000176b: JUMPI 0000176c: PUSH1 0x00 0000176e: DUP1 0000176f: REVERT 00001770: JUMPDEST 00001771: POP 00001772: GAS 00001773: STATICCALL 00001774: ISZERO 00001775: DUP1 00001776: ISZERO 00001777: PUSH2 0x1784 0000177a: JUMPI 0000177b: RETURNDATASIZE 0000177c: PUSH1 0x00 0000177e: DUP1 0000177f: RETURNDATACOPY 00001780: RETURNDATASIZE 00001781: PUSH1 0x00 00001783: REVERT 00001784: JUMPDEST 00001785: POP 00001786: POP 00001787: POP 00001788: POP 00001789: PUSH1 0x40 0000178b: MLOAD 0000178c: RETURNDATASIZE 0000178d: PUSH1 0x20 0000178f: DUP2 00001790: LT 00001791: ISZERO 00001792: PUSH2 0x179a 00001795: JUMPI 00001796: PUSH1 0x00 00001798: DUP1 00001799: REVERT 0000179a: JUMPDEST 0000179b: POP 0000179c: MLOAD 0000179d: JUMPDEST 0000179e: PUSH2 0x17ee 000017a1: JUMPI 000017a2: PUSH1 0x40 000017a4: DUP1 000017a5: MLOAD 000017a6: PUSH3 0x461bcd 000017aa: PUSH1 0xe5 000017ac: SHL 000017ad: DUP2 000017ae: MSTORE 000017af: PUSH1 0x20 000017b1: PUSH1 0x04 000017b3: DUP3 000017b4: ADD 000017b5: MSTORE 000017b6: PUSH1 0x1c 000017b8: PUSH1 0x24 000017ba: DUP3 000017bb: ADD 000017bc: MSTORE 000017bd: PUSH32 0x4f6e6c79206d656d626572732077697468207065726d697373696f6e00000000 000017de: PUSH1 0x44 000017e0: DUP3 000017e1: ADD 000017e2: MSTORE 000017e3: SWAP1 000017e4: MLOAD 000017e5: SWAP1 000017e6: DUP2 000017e7: SWAP1 000017e8: SUB 000017e9: PUSH1 0x64 000017eb: ADD 000017ec: SWAP1 000017ed: REVERT 000017ee: JUMPDEST 000017ef: PUSH2 0x0e18 000017f2: PUSH2 0x2544 000017f5: JUMP 000017f6: JUMPDEST 000017f7: PUSH2 0x17fe 000017fa: PUSH2 0x0e3b 000017fd: JUMP 000017fe: JUMPDEST 000017ff: ISZERO 00001800: PUSH2 0x1843 00001803: JUMPI 00001804: PUSH1 0x40 00001806: DUP1 00001807: MLOAD 00001808: PUSH3 0x461bcd 0000180c: PUSH1 0xe5 0000180e: SHL 0000180f: DUP2 00001810: MSTORE 00001811: PUSH1 0x20 00001813: PUSH1 0x04 00001815: DUP3 00001816: ADD 00001817: MSTORE 00001818: PUSH1 0x10 0000181a: PUSH1 0x24 0000181c: DUP3 0000181d: ADD 0000181e: MSTORE 0000181f: PUSH16 0x14185d5cd8589b194e881c185d5cd959 00001830: PUSH1 0x82 00001832: SHL 00001833: PUSH1 0x44 00001835: DUP3 00001836: ADD 00001837: MSTORE 00001838: SWAP1 00001839: MLOAD 0000183a: SWAP1 0000183b: DUP2 0000183c: SWAP1 0000183d: SUB 0000183e: PUSH1 0x64 00001840: ADD 00001841: SWAP1 00001842: REVERT 00001843: JUMPDEST 00001844: PUSH1 0xa1 00001846: SLOAD 00001847: PUSH1 0x01 00001849: PUSH1 0x01 0000184b: PUSH1 0xa0 0000184d: SHL 0000184e: SUB 0000184f: AND 00001850: CALLER 00001851: EQ 00001852: PUSH2 0x188c 00001855: JUMPI 00001856: PUSH1 0x40 00001858: MLOAD 00001859: PUSH3 0x461bcd 0000185d: PUSH1 0xe5 0000185f: SHL 00001860: DUP2 00001861: MSTORE 00001862: PUSH1 0x04 00001864: ADD 00001865: DUP1 00001866: DUP1 00001867: PUSH1 0x20 00001869: ADD 0000186a: DUP3 0000186b: DUP2 0000186c: SUB 0000186d: DUP3 0000186e: MSTORE 0000186f: PUSH1 0x29 00001871: DUP2 00001872: MSTORE 00001873: PUSH1 0x20 00001875: ADD 00001876: DUP1 00001877: PUSH2 0x2aa9 0000187a: PUSH1 0x29 0000187c: SWAP2 0000187d: CODECOPY 0000187e: PUSH1 0x40 00001880: ADD 00001881: SWAP2 00001882: POP 00001883: POP 00001884: PUSH1 0x40 00001886: MLOAD 00001887: DUP1 00001888: SWAP2 00001889: SUB 0000188a: SWAP1 0000188b: REVERT 0000188c: JUMPDEST 0000188d: PUSH1 0x9a 0000188f: SLOAD 00001890: PUSH2 0x1899 00001893: SWAP1 00001894: CALLVALUE 00001895: PUSH2 0x0556 00001898: JUMP 00001899: JUMPDEST 0000189a: PUSH1 0x9a 0000189c: SSTORE 0000189d: PUSH1 0x40 0000189f: DUP1 000018a0: MLOAD 000018a1: CALLVALUE 000018a2: DUP2 000018a3: MSTORE 000018a4: SWAP1 000018a5: MLOAD 000018a6: PUSH32 0x1529fa67d212fe1a4fb2207e24940649d76f1e9bdb2304fe16d422cf6a73f4a0 000018c7: SWAP2 000018c8: DUP2 000018c9: SWAP1 000018ca: SUB 000018cb: PUSH1 0x20 000018cd: ADD 000018ce: SWAP1 000018cf: LOG1 000018d0: JUMP 000018d1: JUMPDEST 000018d2: PUSH1 0x98 000018d4: SLOAD 000018d5: PUSH1 0x40 000018d7: DUP1 000018d8: MLOAD 000018d9: PUSH4 0x6eab9b35 000018de: PUSH1 0xe1 000018e0: SHL 000018e1: DUP2 000018e2: MSTORE 000018e3: CALLER 000018e4: PUSH1 0x04 000018e6: DUP3 000018e7: ADD 000018e8: MSTORE 000018e9: SWAP1 000018ea: MLOAD 000018eb: PUSH1 0x01 000018ed: PUSH1 0x01 000018ef: PUSH1 0xa0 000018f1: SHL 000018f2: SUB 000018f3: SWAP1 000018f4: SWAP3 000018f5: AND 000018f6: SWAP2 000018f7: PUSH4 0xdd57366a 000018fc: SWAP2 000018fd: PUSH1 0x24 000018ff: DUP1 00001900: DUP3 00001901: ADD 00001902: SWAP3 00001903: PUSH1 0x20 00001905: SWAP3 00001906: SWAP1 00001907: SWAP2 00001908: SWAP1 00001909: DUP3 0000190a: SWAP1 0000190b: SUB 0000190c: ADD 0000190d: DUP2 0000190e: DUP7 0000190f: DUP1 00001910: EXTCODESIZE 00001911: ISZERO 00001912: DUP1 00001913: ISZERO 00001914: PUSH2 0x191c 00001917: JUMPI 00001918: PUSH1 0x00 0000191a: DUP1 0000191b: REVERT 0000191c: JUMPDEST 0000191d: POP 0000191e: GAS 0000191f: STATICCALL 00001920: ISZERO 00001921: DUP1 00001922: ISZERO 00001923: PUSH2 0x1930 00001926: JUMPI 00001927: RETURNDATASIZE 00001928: PUSH1 0x00 0000192a: DUP1 0000192b: RETURNDATACOPY 0000192c: RETURNDATASIZE 0000192d: PUSH1 0x00 0000192f: REVERT 00001930: JUMPDEST 00001931: POP 00001932: POP 00001933: POP 00001934: POP 00001935: PUSH1 0x40 00001937: MLOAD 00001938: RETURNDATASIZE 00001939: PUSH1 0x20 0000193b: DUP2 0000193c: LT 0000193d: ISZERO 0000193e: PUSH2 0x1946 00001941: JUMPI 00001942: PUSH1 0x00 00001944: DUP1 00001945: REVERT 00001946: JUMPDEST 00001947: POP 00001948: MLOAD 00001949: PUSH2 0x1983 0000194c: JUMPI 0000194d: PUSH1 0x40 0000194f: MLOAD 00001950: PUSH3 0x461bcd 00001954: PUSH1 0xe5 00001956: SHL 00001957: DUP2 00001958: MSTORE 00001959: PUSH1 0x04 0000195b: ADD 0000195c: DUP1 0000195d: DUP1 0000195e: PUSH1 0x20 00001960: ADD 00001961: DUP3 00001962: DUP2 00001963: SUB 00001964: DUP3 00001965: MSTORE 00001966: PUSH1 0x23 00001968: DUP2 00001969: MSTORE 0000196a: PUSH1 0x20 0000196c: ADD 0000196d: DUP1 0000196e: PUSH2 0x2be4 00001971: PUSH1 0x23 00001973: SWAP2 00001974: CODECOPY 00001975: PUSH1 0x40 00001977: ADD 00001978: SWAP2 00001979: POP 0000197a: POP 0000197b: PUSH1 0x40 0000197d: MLOAD 0000197e: DUP1 0000197f: SWAP2 00001980: SUB 00001981: SWAP1 00001982: REVERT 00001983: JUMPDEST 00001984: PUSH1 0x99 00001986: SLOAD 00001987: DUP2 00001988: GT 00001989: ISZERO 0000198a: PUSH2 0x19da 0000198d: JUMPI 0000198e: PUSH1 0x40 00001990: DUP1 00001991: MLOAD 00001992: PUSH3 0x461bcd 00001996: PUSH1 0xe5 00001998: SHL 00001999: DUP2 0000199a: MSTORE 0000199b: PUSH1 0x20 0000199d: PUSH1 0x04 0000199f: DUP3 000019a0: ADD 000019a1: MSTORE 000019a2: PUSH1 0x19 000019a4: PUSH1 0x24 000019a6: DUP3 000019a7: ADD 000019a8: MSTORE 000019a9: PUSH32 0x57726f6e6720616d6f756e7420746f2077697468647261772e00000000000000 000019ca: PUSH1 0x44 000019cc: DUP3 000019cd: ADD 000019ce: MSTORE 000019cf: SWAP1 000019d0: MLOAD 000019d1: SWAP1 000019d2: DUP2 000019d3: SWAP1 000019d4: SUB 000019d5: PUSH1 0x64 000019d7: ADD 000019d8: SWAP1 000019d9: REVERT 000019da: JUMPDEST 000019db: PUSH1 0xa2 000019dd: SLOAD 000019de: PUSH1 0x40 000019e0: DUP1 000019e1: MLOAD 000019e2: PUSH3 0x547de7 000019e6: PUSH1 0xe9 000019e8: SHL 000019e9: DUP2 000019ea: MSTORE 000019eb: SWAP1 000019ec: MLOAD 000019ed: PUSH1 0x00 000019ef: SWAP3 000019f0: PUSH1 0x01 000019f2: PUSH1 0x01 000019f4: PUSH1 0xa0 000019f6: SHL 000019f7: SUB 000019f8: AND 000019f9: SWAP2 000019fa: PUSH4 0xa8fbce00 000019ff: SWAP2 00001a00: PUSH1 0x04 00001a02: DUP1 00001a03: DUP4 00001a04: ADD 00001a05: SWAP3 00001a06: PUSH1 0x20 00001a08: SWAP3 00001a09: SWAP2 00001a0a: SWAP1 00001a0b: DUP3 00001a0c: SWAP1 00001a0d: SUB 00001a0e: ADD 00001a0f: DUP2 00001a10: DUP7 00001a11: DUP1 00001a12: EXTCODESIZE 00001a13: ISZERO 00001a14: DUP1 00001a15: ISZERO 00001a16: PUSH2 0x1a1e 00001a19: JUMPI 00001a1a: PUSH1 0x00 00001a1c: DUP1 00001a1d: REVERT 00001a1e: JUMPDEST 00001a1f: POP 00001a20: GAS 00001a21: STATICCALL 00001a22: ISZERO 00001a23: DUP1 00001a24: ISZERO 00001a25: PUSH2 0x1a32 00001a28: JUMPI 00001a29: RETURNDATASIZE 00001a2a: PUSH1 0x00 00001a2c: DUP1 00001a2d: RETURNDATACOPY 00001a2e: RETURNDATASIZE 00001a2f: PUSH1 0x00 00001a31: REVERT 00001a32: JUMPDEST 00001a33: POP 00001a34: POP 00001a35: POP 00001a36: POP 00001a37: PUSH1 0x40 00001a39: MLOAD 00001a3a: RETURNDATASIZE 00001a3b: PUSH1 0x20 00001a3d: DUP2 00001a3e: LT 00001a3f: ISZERO 00001a40: PUSH2 0x1a48 00001a43: JUMPI 00001a44: PUSH1 0x00 00001a46: DUP1 00001a47: REVERT 00001a48: JUMPDEST 00001a49: POP 00001a4a: MLOAD 00001a4b: PUSH1 0x99 00001a4d: SLOAD 00001a4e: SWAP1 00001a4f: SWAP2 00001a50: POP 00001a51: PUSH2 0x1a5a 00001a54: SWAP1 00001a55: DUP4 00001a56: PUSH2 0x2340 00001a59: JUMP 00001a5a: JUMPDEST 00001a5b: PUSH1 0x99 00001a5d: SSTORE 00001a5e: PUSH1 0x9e 00001a60: SLOAD 00001a61: PUSH2 0x1a6a 00001a64: SWAP1 00001a65: DUP4 00001a66: PUSH2 0x0556 00001a69: JUMP 00001a6a: JUMPDEST 00001a6b: PUSH1 0x9e 00001a6d: SSTORE 00001a6e: PUSH2 0x1a77 00001a71: DUP2 00001a72: DUP4 00001a73: PUSH2 0x239d 00001a76: JUMP 00001a77: JUMPDEST 00001a78: PUSH1 0x40 00001a7a: DUP1 00001a7b: MLOAD 00001a7c: PUSH1 0x01 00001a7e: PUSH1 0x01 00001a80: PUSH1 0xa0 00001a82: SHL 00001a83: SUB 00001a84: DUP4 00001a85: AND 00001a86: DUP2 00001a87: MSTORE 00001a88: PUSH1 0x20 00001a8a: DUP2 00001a8b: ADD 00001a8c: DUP5 00001a8d: SWAP1 00001a8e: MSTORE 00001a8f: DUP2 00001a90: MLOAD 00001a91: PUSH32 0xc24f9acd04741112397dd2284af20048f130af39bdbdbe4c3ccc57181979d00f 00001ab2: SWAP3 00001ab3: SWAP2 00001ab4: DUP2 00001ab5: SWAP1 00001ab6: SUB 00001ab7: SWAP1 00001ab8: SWAP2 00001ab9: ADD 00001aba: SWAP1 00001abb: LOG1 00001abc: POP 00001abd: POP 00001abe: JUMP 00001abf: JUMPDEST 00001ac0: PUSH1 0x98 00001ac2: SLOAD 00001ac3: PUSH1 0x40 00001ac5: DUP1 00001ac6: MLOAD 00001ac7: PUSH4 0x6eab9b35 00001acc: PUSH1 0xe1 00001ace: SHL 00001acf: DUP2 00001ad0: MSTORE 00001ad1: CALLER 00001ad2: PUSH1 0x04 00001ad4: DUP3 00001ad5: ADD 00001ad6: MSTORE 00001ad7: SWAP1 00001ad8: MLOAD 00001ad9: PUSH1 0x01 00001adb: PUSH1 0x01 00001add: PUSH1 0xa0 00001adf: SHL 00001ae0: SUB 00001ae1: SWAP1 00001ae2: SWAP3 00001ae3: AND 00001ae4: SWAP2 00001ae5: PUSH4 0xdd57366a 00001aea: SWAP2 00001aeb: PUSH1 0x24 00001aed: DUP1 00001aee: DUP3 00001aef: ADD 00001af0: SWAP3 00001af1: PUSH1 0x20 00001af3: SWAP3 00001af4: SWAP1 00001af5: SWAP2 00001af6: SWAP1 00001af7: DUP3 00001af8: SWAP1 00001af9: SUB 00001afa: ADD 00001afb: DUP2 00001afc: DUP7 00001afd: DUP1 00001afe: EXTCODESIZE 00001aff: ISZERO 00001b00: DUP1 00001b01: ISZERO 00001b02: PUSH2 0x1b0a 00001b05: JUMPI 00001b06: PUSH1 0x00 00001b08: DUP1 00001b09: REVERT 00001b0a: JUMPDEST 00001b0b: POP 00001b0c: GAS 00001b0d: STATICCALL 00001b0e: ISZERO 00001b0f: DUP1 00001b10: ISZERO 00001b11: PUSH2 0x1b1e 00001b14: JUMPI 00001b15: RETURNDATASIZE 00001b16: PUSH1 0x00 00001b18: DUP1 00001b19: RETURNDATACOPY 00001b1a: RETURNDATASIZE 00001b1b: PUSH1 0x00 00001b1d: REVERT 00001b1e: JUMPDEST 00001b1f: POP 00001b20: POP 00001b21: POP 00001b22: POP 00001b23: PUSH1 0x40 00001b25: MLOAD 00001b26: RETURNDATASIZE 00001b27: PUSH1 0x20 00001b29: DUP2 00001b2a: LT 00001b2b: ISZERO 00001b2c: PUSH2 0x1b34 00001b2f: JUMPI 00001b30: PUSH1 0x00 00001b32: DUP1 00001b33: REVERT 00001b34: JUMPDEST 00001b35: POP 00001b36: MLOAD 00001b37: PUSH2 0x1b71 00001b3a: JUMPI 00001b3b: PUSH1 0x40 00001b3d: MLOAD 00001b3e: PUSH3 0x461bcd 00001b42: PUSH1 0xe5 00001b44: SHL 00001b45: DUP2 00001b46: MSTORE 00001b47: PUSH1 0x04 00001b49: ADD 00001b4a: DUP1 00001b4b: DUP1 00001b4c: PUSH1 0x20 00001b4e: ADD 00001b4f: DUP3 00001b50: DUP2 00001b51: SUB 00001b52: DUP3 00001b53: MSTORE 00001b54: PUSH1 0x23 00001b56: DUP2 00001b57: MSTORE 00001b58: PUSH1 0x20 00001b5a: ADD 00001b5b: DUP1 00001b5c: PUSH2 0x2be4 00001b5f: PUSH1 0x23 00001b61: SWAP2 00001b62: CODECOPY 00001b63: PUSH1 0x40 00001b65: ADD 00001b66: SWAP2 00001b67: POP 00001b68: POP 00001b69: PUSH1 0x40 00001b6b: MLOAD 00001b6c: DUP1 00001b6d: SWAP2 00001b6e: SUB 00001b6f: SWAP1 00001b70: REVERT 00001b71: JUMPDEST 00001b72: DUP3 00001b73: PUSH1 0x99 00001b75: SLOAD 00001b76: LT 00001b77: ISZERO 00001b78: PUSH2 0x1bbc 00001b7b: JUMPI 00001b7c: PUSH1 0x40 00001b7e: DUP1 00001b7f: MLOAD 00001b80: PUSH3 0x461bcd 00001b84: PUSH1 0xe5 00001b86: SHL 00001b87: DUP2 00001b88: MSTORE 00001b89: PUSH1 0x20 00001b8b: PUSH1 0x04 00001b8d: DUP3 00001b8e: ADD 00001b8f: MSTORE 00001b90: PUSH1 0x11 00001b92: PUSH1 0x24 00001b94: DUP3 00001b95: ADD 00001b96: MSTORE 00001b97: PUSH17 0x2737ba1032b737bab3b410333ab7323997 00001ba9: PUSH1 0x79 00001bab: SHL 00001bac: PUSH1 0x44 00001bae: DUP3 00001baf: ADD 00001bb0: MSTORE 00001bb1: SWAP1 00001bb2: MLOAD 00001bb3: SWAP1 00001bb4: DUP2 00001bb5: SWAP1 00001bb6: SUB 00001bb7: PUSH1 0x64 00001bb9: ADD 00001bba: SWAP1 00001bbb: REVERT 00001bbc: JUMPDEST 00001bbd: DUP3 00001bbe: PUSH1 0x9b 00001bc0: SLOAD 00001bc1: LT 00001bc2: ISZERO 00001bc3: PUSH2 0x1c13 00001bc6: JUMPI 00001bc7: PUSH1 0x40 00001bc9: DUP1 00001bca: MLOAD 00001bcb: PUSH3 0x461bcd 00001bcf: PUSH1 0xe5 00001bd1: SHL 00001bd2: DUP2 00001bd3: MSTORE 00001bd4: PUSH1 0x20 00001bd6: PUSH1 0x04 00001bd8: DUP3 00001bd9: ADD 00001bda: MSTORE 00001bdb: PUSH1 0x1c 00001bdd: PUSH1 0x24 00001bdf: DUP3 00001be0: ADD 00001be1: MSTORE 00001be2: PUSH32 0x57726f6e6720616d6f756e7420746f20636c6f73652064656274732e00000000 00001c03: PUSH1 0x44 00001c05: DUP3 00001c06: ADD 00001c07: MSTORE 00001c08: SWAP1 00001c09: MLOAD 00001c0a: SWAP1 00001c0b: DUP2 00001c0c: SWAP1 00001c0d: SUB 00001c0e: PUSH1 0x64 00001c10: ADD 00001c11: SWAP1 00001c12: REVERT 00001c13: JUMPDEST 00001c14: DUP3 00001c15: DUP3 00001c16: JUMPDEST 00001c17: DUP3 00001c18: DUP2 00001c19: LT 00001c1a: ISZERO 00001c1b: PUSH2 0x1d84 00001c1e: JUMPI 00001c1f: PUSH1 0x00 00001c21: PUSH1 0xa0 00001c23: DUP3 00001c24: DUP2 00001c25: SLOAD 00001c26: DUP2 00001c27: LT 00001c28: PUSH2 0x1c2d 00001c2b: JUMPI 00001c2c: INVALID 00001c2d: JUMPDEST 00001c2e: PUSH1 0x00 00001c30: SWAP2 00001c31: DUP3 00001c32: MSTORE 00001c33: PUSH1 0x20 00001c35: DUP1 00001c36: DUP4 00001c37: KECCAK256 00001c38: SWAP1 00001c39: SWAP2 00001c3a: ADD 00001c3b: SLOAD 00001c3c: PUSH1 0x01 00001c3e: PUSH1 0x01 00001c40: PUSH1 0xa0 00001c42: SHL 00001c43: SUB 00001c44: AND 00001c45: DUP1 00001c46: DUP4 00001c47: MSTORE 00001c48: PUSH1 0x9f 00001c4a: SWAP1 00001c4b: SWAP2 00001c4c: MSTORE 00001c4d: PUSH1 0x40 00001c4f: SWAP1 00001c50: SWAP2 00001c51: KECCAK256 00001c52: PUSH1 0x04 00001c54: DUP2 00001c55: ADD 00001c56: SLOAD 00001c57: SWAP2 00001c58: SWAP3 00001c59: POP 00001c5a: SWAP1 00001c5b: DUP1 00001c5c: DUP6 00001c5d: LT 00001c5e: PUSH2 0x1cf4 00001c61: JUMPI 00001c62: PUSH2 0x1c6b 00001c65: DUP6 00001c66: DUP3 00001c67: PUSH2 0x2340 00001c6a: JUMP 00001c6b: JUMPDEST 00001c6c: PUSH1 0x00 00001c6e: PUSH1 0x04 00001c70: DUP5 00001c71: ADD 00001c72: SSTORE 00001c73: SWAP5 00001c74: POP 00001c75: PUSH2 0x1c7d 00001c78: DUP5 00001c79: PUSH2 0x25c7 00001c7c: JUMP 00001c7d: JUMPDEST 00001c7e: PUSH1 0x01 00001c80: DUP3 00001c81: ADD 00001c82: SLOAD 00001c83: PUSH1 0x04 00001c85: DUP4 00001c86: ADD 00001c87: SLOAD 00001c88: PUSH1 0x00 00001c8a: NOT 00001c8b: SWAP8 00001c8c: DUP9 00001c8d: ADD 00001c8e: SWAP8 00001c8f: SWAP1 00001c90: SWAP6 00001c91: ADD 00001c92: SWAP5 00001c93: PUSH32 0xb83c037b8908bffab625513e2fec1b1c53e3ec0a64fd8ce18b343e00bc5ab0a2 00001cb4: SWAP2 00001cb5: DUP6 00001cb6: SWAP2 00001cb7: PUSH2 0x1cc0 00001cba: DUP6 00001cbb: DUP3 00001cbc: PUSH2 0x2340 00001cbf: JUMP 00001cc0: JUMPDEST 00001cc1: PUSH1 0x40 00001cc3: DUP1 00001cc4: MLOAD 00001cc5: PUSH1 0x01 00001cc7: PUSH1 0x01 00001cc9: PUSH1 0xa0 00001ccb: SHL 00001ccc: SUB 00001ccd: SWAP1 00001cce: SWAP6 00001ccf: AND 00001cd0: DUP6 00001cd1: MSTORE 00001cd2: PUSH1 0x20 00001cd4: DUP6 00001cd5: ADD 00001cd6: SWAP4 00001cd7: SWAP1 00001cd8: SWAP4 00001cd9: MSTORE 00001cda: DUP4 00001cdb: DUP4 00001cdc: ADD 00001cdd: SWAP2 00001cde: SWAP1 00001cdf: SWAP2 00001ce0: MSTORE 00001ce1: PUSH1 0x60 00001ce3: DUP4 00001ce4: ADD 00001ce5: MSTORE 00001ce6: MLOAD 00001ce7: SWAP1 00001ce8: DUP2 00001ce9: SWAP1 00001cea: SUB 00001ceb: PUSH1 0x80 00001ced: ADD 00001cee: SWAP1 00001cef: LOG1 00001cf0: PUSH2 0x1d79 00001cf3: JUMP 00001cf4: JUMPDEST 00001cf5: PUSH1 0x04 00001cf7: DUP3 00001cf8: ADD 00001cf9: SLOAD 00001cfa: PUSH2 0x1d03 00001cfd: SWAP1 00001cfe: DUP7 00001cff: PUSH2 0x2340 00001d02: JUMP 00001d03: JUMPDEST 00001d04: PUSH1 0x04 00001d06: DUP4 00001d07: ADD 00001d08: DUP2 00001d09: SWAP1 00001d0a: SSTORE 00001d0b: PUSH1 0x01 00001d0d: DUP4 00001d0e: ADD 00001d0f: SLOAD 00001d10: PUSH1 0x00 00001d12: SWAP7 00001d13: POP 00001d14: PUSH32 0xb83c037b8908bffab625513e2fec1b1c53e3ec0a64fd8ce18b343e00bc5ab0a2 00001d35: SWAP2 00001d36: DUP6 00001d37: SWAP2 00001d38: SWAP1 00001d39: PUSH2 0x1d42 00001d3c: DUP6 00001d3d: DUP3 00001d3e: PUSH2 0x2340 00001d41: JUMP 00001d42: JUMPDEST 00001d43: PUSH1 0x40 00001d45: DUP1 00001d46: MLOAD 00001d47: PUSH1 0x01 00001d49: PUSH1 0x01 00001d4b: PUSH1 0xa0 00001d4d: SHL 00001d4e: SUB 00001d4f: SWAP1 00001d50: SWAP6 00001d51: AND 00001d52: DUP6 00001d53: MSTORE 00001d54: PUSH1 0x20 00001d56: DUP6 00001d57: ADD 00001d58: SWAP4 00001d59: SWAP1 00001d5a: SWAP4 00001d5b: MSTORE 00001d5c: DUP4 00001d5d: DUP4 00001d5e: ADD 00001d5f: SWAP2 00001d60: SWAP1 00001d61: SWAP2 00001d62: MSTORE 00001d63: PUSH1 0x60 00001d65: DUP4 00001d66: ADD 00001d67: MSTORE 00001d68: MLOAD 00001d69: SWAP1 00001d6a: DUP2 00001d6b: SWAP1 00001d6c: SUB 00001d6d: PUSH1 0x80 00001d6f: ADD 00001d70: SWAP1 00001d71: LOG1 00001d72: POP 00001d73: POP 00001d74: POP 00001d75: PUSH2 0x1d84 00001d78: JUMP 00001d79: JUMPDEST 00001d7a: POP 00001d7b: POP 00001d7c: POP 00001d7d: PUSH1 0x01 00001d7f: ADD 00001d80: PUSH2 0x1c16 00001d83: JUMP 00001d84: JUMPDEST 00001d85: POP 00001d86: PUSH1 0x9b 00001d88: SLOAD 00001d89: PUSH2 0x1d92 00001d8c: SWAP1 00001d8d: DUP6 00001d8e: PUSH2 0x2340 00001d91: JUMP 00001d92: JUMPDEST 00001d93: PUSH1 0x9b 00001d95: SSTORE 00001d96: PUSH1 0x99 00001d98: SLOAD 00001d99: PUSH2 0x1da2 00001d9c: SWAP1 00001d9d: DUP6 00001d9e: PUSH2 0x2340 00001da1: JUMP 00001da2: JUMPDEST 00001da3: PUSH1 0x99 00001da5: SSTORE 00001da6: PUSH1 0x9c 00001da8: SLOAD 00001da9: PUSH2 0x1db2 00001dac: SWAP1 00001dad: DUP6 00001dae: PUSH2 0x0556 00001db1: JUMP 00001db2: JUMPDEST 00001db3: PUSH1 0x9c 00001db5: SSTORE 00001db6: PUSH1 0x9a 00001db8: SLOAD 00001db9: PUSH2 0x1dc2 00001dbc: SWAP1 00001dbd: DUP6 00001dbe: PUSH2 0x0556 00001dc1: JUMP 00001dc2: JUMPDEST 00001dc3: PUSH1 0x9a 00001dc5: SSTORE 00001dc6: POP 00001dc7: POP 00001dc8: POP 00001dc9: POP 00001dca: JUMP 00001dcb: JUMPDEST 00001dcc: PUSH1 0x9b 00001dce: SLOAD 00001dcf: DUP2 00001dd0: JUMP 00001dd1: JUMPDEST 00001dd2: PUSH1 0x98 00001dd4: SLOAD 00001dd5: PUSH1 0x01 00001dd7: PUSH1 0x01 00001dd9: PUSH1 0xa0 00001ddb: SHL 00001ddc: SUB 00001ddd: AND 00001dde: DUP2 00001ddf: JUMP 00001de0: JUMPDEST 00001de1: PUSH2 0x1de8 00001de4: PUSH2 0x0e3b 00001de7: JUMP 00001de8: JUMPDEST 00001de9: ISZERO 00001dea: PUSH2 0x1e2d 00001ded: JUMPI 00001dee: PUSH1 0x40 00001df0: DUP1 00001df1: MLOAD 00001df2: PUSH3 0x461bcd 00001df6: PUSH1 0xe5 00001df8: SHL 00001df9: DUP2 00001dfa: MSTORE 00001dfb: PUSH1 0x20 00001dfd: PUSH1 0x04 00001dff: DUP3 00001e00: ADD 00001e01: MSTORE 00001e02: PUSH1 0x10 00001e04: PUSH1 0x24 00001e06: DUP3 00001e07: ADD 00001e08: MSTORE 00001e09: PUSH16 0x14185d5cd8589b194e881c185d5cd959 00001e1a: PUSH1 0x82 00001e1c: SHL 00001e1d: PUSH1 0x44 00001e1f: DUP3 00001e20: ADD 00001e21: MSTORE 00001e22: SWAP1 00001e23: MLOAD 00001e24: SWAP1 00001e25: DUP2 00001e26: SWAP1 00001e27: SUB 00001e28: PUSH1 0x64 00001e2a: ADD 00001e2b: SWAP1 00001e2c: REVERT 00001e2d: JUMPDEST 00001e2e: PUSH1 0xa1 00001e30: SLOAD 00001e31: PUSH1 0x01 00001e33: PUSH1 0x01 00001e35: PUSH1 0xa0 00001e37: SHL 00001e38: SUB 00001e39: AND 00001e3a: CALLER 00001e3b: EQ 00001e3c: PUSH2 0x1e76 00001e3f: JUMPI 00001e40: PUSH1 0x40 00001e42: MLOAD 00001e43: PUSH3 0x461bcd 00001e47: PUSH1 0xe5 00001e49: SHL 00001e4a: DUP2 00001e4b: MSTORE 00001e4c: PUSH1 0x04 00001e4e: ADD 00001e4f: DUP1 00001e50: DUP1 00001e51: PUSH1 0x20 00001e53: ADD 00001e54: DUP3 00001e55: DUP2 00001e56: SUB 00001e57: DUP3 00001e58: MSTORE 00001e59: PUSH1 0x29 00001e5b: DUP2 00001e5c: MSTORE 00001e5d: PUSH1 0x20 00001e5f: ADD 00001e60: DUP1 00001e61: PUSH2 0x2aa9 00001e64: PUSH1 0x29 00001e66: SWAP2 00001e67: CODECOPY 00001e68: PUSH1 0x40 00001e6a: ADD 00001e6b: SWAP2 00001e6c: POP 00001e6d: POP 00001e6e: PUSH1 0x40 00001e70: MLOAD 00001e71: DUP1 00001e72: SWAP2 00001e73: SUB 00001e74: SWAP1 00001e75: REVERT 00001e76: JUMPDEST 00001e77: PUSH1 0x9c 00001e79: SLOAD 00001e7a: PUSH1 0x9b 00001e7c: SLOAD 00001e7d: PUSH2 0x1e85 00001e80: SWAP2 00001e81: PUSH2 0x0556 00001e84: JUMP 00001e85: JUMPDEST 00001e86: CALLVALUE 00001e87: GT 00001e88: ISZERO 00001e89: PUSH2 0x1ecb 00001e8c: JUMPI 00001e8d: PUSH1 0x40 00001e8f: DUP1 00001e90: MLOAD 00001e91: PUSH3 0x461bcd 00001e95: PUSH1 0xe5 00001e97: SHL 00001e98: DUP2 00001e99: MSTORE 00001e9a: PUSH1 0x20 00001e9c: PUSH1 0x04 00001e9e: DUP3 00001e9f: ADD 00001ea0: MSTORE 00001ea1: PUSH1 0x0f 00001ea3: PUSH1 0x24 00001ea5: DUP3 00001ea6: ADD 00001ea7: MSTORE 00001ea8: PUSH15 0x77726f6e67206d73672e76616c7565 00001eb8: PUSH1 0x88 00001eba: SHL 00001ebb: PUSH1 0x44 00001ebd: DUP3 00001ebe: ADD 00001ebf: MSTORE 00001ec0: SWAP1 00001ec1: MLOAD 00001ec2: SWAP1 00001ec3: DUP2 00001ec4: SWAP1 00001ec5: SUB 00001ec6: PUSH1 0x64 00001ec8: ADD 00001ec9: SWAP1 00001eca: REVERT 00001ecb: JUMPDEST 00001ecc: CALLVALUE 00001ecd: DUP3 00001ece: JUMPDEST 00001ecf: DUP3 00001ed0: DUP2 00001ed1: LT 00001ed2: ISZERO 00001ed3: PUSH2 0x2052 00001ed6: JUMPI 00001ed7: PUSH1 0x00 00001ed9: PUSH1 0xa0 00001edb: DUP3 00001edc: DUP2 00001edd: SLOAD 00001ede: DUP2 00001edf: LT 00001ee0: PUSH2 0x1ee5 00001ee3: JUMPI 00001ee4: INVALID 00001ee5: JUMPDEST 00001ee6: PUSH1 0x00 00001ee8: SWAP2 00001ee9: DUP3 00001eea: MSTORE 00001eeb: PUSH1 0x20 00001eed: DUP1 00001eee: DUP4 00001eef: KECCAK256 00001ef0: SWAP1 00001ef1: SWAP2 00001ef2: ADD 00001ef3: SLOAD 00001ef4: PUSH1 0x01 00001ef6: PUSH1 0x01 00001ef8: PUSH1 0xa0 00001efa: SHL 00001efb: SUB 00001efc: AND 00001efd: DUP1 00001efe: DUP4 00001eff: MSTORE 00001f00: PUSH1 0x9f 00001f02: SWAP1 00001f03: SWAP2 00001f04: MSTORE 00001f05: PUSH1 0x40 00001f07: SWAP1 00001f08: SWAP2 00001f09: KECCAK256 00001f0a: PUSH1 0x04 00001f0c: DUP2 00001f0d: ADD 00001f0e: SLOAD 00001f0f: SWAP2 00001f10: SWAP3 00001f11: POP 00001f12: SWAP1 00001f13: DUP1 00001f14: DUP6 00001f15: LT 00001f16: PUSH2 0x1f45 00001f19: JUMPI 00001f1a: PUSH2 0x1f23 00001f1d: DUP6 00001f1e: DUP3 00001f1f: PUSH2 0x2340 00001f22: JUMP 00001f23: JUMPDEST 00001f24: PUSH1 0x00 00001f26: PUSH1 0x04 00001f28: DUP5 00001f29: ADD 00001f2a: SSTORE 00001f2b: SWAP5 00001f2c: POP 00001f2d: PUSH2 0x1f35 00001f30: DUP5 00001f31: PUSH2 0x25c7 00001f34: JUMP 00001f35: JUMPDEST 00001f36: PUSH1 0x00 00001f38: NOT 00001f39: SWAP6 00001f3a: DUP7 00001f3b: ADD 00001f3c: SWAP6 00001f3d: SWAP1 00001f3e: SWAP4 00001f3f: ADD 00001f40: SWAP3 00001f41: PUSH2 0x1fd5 00001f44: JUMP 00001f45: JUMPDEST 00001f46: PUSH1 0x04 00001f48: DUP3 00001f49: ADD 00001f4a: SLOAD 00001f4b: PUSH2 0x1f54 00001f4e: SWAP1 00001f4f: DUP7 00001f50: PUSH2 0x2340 00001f53: JUMP 00001f54: JUMPDEST 00001f55: PUSH1 0x04 00001f57: DUP4 00001f58: ADD 00001f59: DUP2 00001f5a: SWAP1 00001f5b: SSTORE 00001f5c: DUP3 00001f5d: SLOAD 00001f5e: PUSH1 0x01 00001f60: DUP5 00001f61: ADD 00001f62: SLOAD 00001f63: PUSH1 0x00 00001f65: SWAP8 00001f66: POP 00001f67: PUSH32 0xb569ea1af65412fb7fc7ce8fc90cff4276a3c91e5c13e9520789184a98e737bd 00001f88: SWAP3 00001f89: PUSH1 0x01 00001f8b: PUSH1 0x01 00001f8d: PUSH1 0xa0 00001f8f: SHL 00001f90: SUB 00001f91: SWAP1 00001f92: SWAP3 00001f93: AND 00001f94: SWAP2 00001f95: PUSH2 0x1f9e 00001f98: DUP6 00001f99: DUP3 00001f9a: PUSH2 0x2340 00001f9d: JUMP 00001f9e: JUMPDEST 00001f9f: PUSH1 0x40 00001fa1: DUP1 00001fa2: MLOAD 00001fa3: PUSH1 0x01 00001fa5: PUSH1 0x01 00001fa7: PUSH1 0xa0 00001fa9: SHL 00001faa: SUB 00001fab: SWAP1 00001fac: SWAP6 00001fad: AND 00001fae: DUP6 00001faf: MSTORE 00001fb0: PUSH1 0x20 00001fb2: DUP6 00001fb3: ADD 00001fb4: SWAP4 00001fb5: SWAP1 00001fb6: SWAP4 00001fb7: MSTORE 00001fb8: DUP4 00001fb9: DUP4 00001fba: ADD 00001fbb: SWAP2 00001fbc: SWAP1 00001fbd: SWAP2 00001fbe: MSTORE 00001fbf: PUSH1 0x60 00001fc1: DUP4 00001fc2: ADD 00001fc3: MSTORE 00001fc4: MLOAD 00001fc5: SWAP1 00001fc6: DUP2 00001fc7: SWAP1 00001fc8: SUB 00001fc9: PUSH1 0x80 00001fcb: ADD 00001fcc: SWAP1 00001fcd: LOG1 00001fce: POP 00001fcf: POP 00001fd0: POP 00001fd1: PUSH2 0x2052 00001fd4: JUMP 00001fd5: JUMPDEST 00001fd6: DUP2 00001fd7: SLOAD 00001fd8: PUSH1 0x01 00001fda: DUP4 00001fdb: ADD 00001fdc: SLOAD 00001fdd: PUSH1 0x04 00001fdf: DUP5 00001fe0: ADD 00001fe1: SLOAD 00001fe2: PUSH32 0xb569ea1af65412fb7fc7ce8fc90cff4276a3c91e5c13e9520789184a98e737bd 00002003: SWAP3 00002004: PUSH1 0x01 00002006: PUSH1 0x01 00002008: PUSH1 0xa0 0000200a: SHL 0000200b: SUB 0000200c: AND 0000200d: SWAP2 0000200e: SWAP1 0000200f: PUSH2 0x2018 00002012: DUP6 00002013: DUP3 00002014: PUSH2 0x2340 00002017: JUMP 00002018: JUMPDEST 00002019: PUSH1 0x40 0000201b: DUP1 0000201c: MLOAD 0000201d: PUSH1 0x01 0000201f: PUSH1 0x01 00002021: PUSH1 0xa0 00002023: SHL 00002024: SUB 00002025: SWAP1 00002026: SWAP6 00002027: AND 00002028: DUP6 00002029: MSTORE 0000202a: PUSH1 0x20 0000202c: DUP6 0000202d: ADD 0000202e: SWAP4 0000202f: SWAP1 00002030: SWAP4 00002031: MSTORE 00002032: DUP4 00002033: DUP4 00002034: ADD 00002035: SWAP2 00002036: SWAP1 00002037: SWAP2 00002038: MSTORE 00002039: PUSH1 0x60 0000203b: DUP4 0000203c: ADD 0000203d: MSTORE 0000203e: MLOAD 0000203f: SWAP1 00002040: DUP2 00002041: SWAP1 00002042: SUB 00002043: PUSH1 0x80 00002045: ADD 00002046: SWAP1 00002047: LOG1 00002048: POP 00002049: POP 0000204a: POP 0000204b: PUSH1 0x01 0000204d: ADD 0000204e: PUSH2 0x1ece 00002051: JUMP 00002052: JUMPDEST 00002053: POP 00002054: PUSH1 0x9b 00002056: SLOAD 00002057: CALLVALUE 00002058: LT 00002059: PUSH2 0x2066 0000205c: JUMPI 0000205d: PUSH1 0x00 0000205f: PUSH1 0x9b 00002061: SSTORE 00002062: PUSH2 0x2077 00002065: JUMP 00002066: JUMPDEST 00002067: PUSH1 0x9b 00002069: SLOAD 0000206a: PUSH2 0x2073 0000206d: SWAP1 0000206e: CALLVALUE 0000206f: PUSH2 0x2340 00002072: JUMP 00002073: JUMPDEST 00002074: PUSH1 0x9b 00002076: SSTORE 00002077: JUMPDEST 00002078: DUP1 00002079: ISZERO 0000207a: PUSH2 0x20df 0000207d: JUMPI 0000207e: DUP1 0000207f: PUSH1 0x9c 00002081: SLOAD 00002082: LT 00002083: ISZERO 00002084: PUSH2 0x20be 00002087: JUMPI 00002088: PUSH1 0x40 0000208a: MLOAD 0000208b: PUSH3 0x461bcd 0000208f: PUSH1 0xe5 00002091: SHL 00002092: DUP2 00002093: MSTORE 00002094: PUSH1 0x04 00002096: ADD 00002097: DUP1 00002098: DUP1 00002099: PUSH1 0x20 0000209b: ADD 0000209c: DUP3 0000209d: DUP2 0000209e: SUB 0000209f: DUP3 000020a0: MSTORE 000020a1: PUSH1 0x2b 000020a3: DUP2 000020a4: MSTORE 000020a5: PUSH1 0x20 000020a7: ADD 000020a8: DUP1 000020a9: PUSH2 0x2af3 000020ac: PUSH1 0x2b 000020ae: SWAP2 000020af: CODECOPY 000020b0: PUSH1 0x40 000020b2: ADD 000020b3: SWAP2 000020b4: POP 000020b5: POP 000020b6: PUSH1 0x40 000020b8: MLOAD 000020b9: DUP1 000020ba: SWAP2 000020bb: SUB 000020bc: SWAP1 000020bd: REVERT 000020be: JUMPDEST 000020bf: PUSH1 0x99 000020c1: SLOAD 000020c2: PUSH2 0x20cb 000020c5: SWAP1 000020c6: DUP3 000020c7: PUSH2 0x0556 000020ca: JUMP 000020cb: JUMPDEST 000020cc: PUSH1 0x99 000020ce: SSTORE 000020cf: PUSH1 0x9c 000020d1: SLOAD 000020d2: PUSH2 0x20db 000020d5: SWAP1 000020d6: DUP3 000020d7: PUSH2 0x2340 000020da: JUMP 000020db: JUMPDEST 000020dc: PUSH1 0x9c 000020de: SSTORE 000020df: JUMPDEST 000020e0: PUSH2 0x20fe 000020e3: DUP2 000020e4: PUSH2 0x20f8 000020e7: CALLVALUE 000020e8: PUSH1 0x9a 000020ea: SLOAD 000020eb: PUSH2 0x0556 000020ee: SWAP1 000020ef: SWAP2 000020f0: SWAP1 000020f1: PUSH4 0xffffffff 000020f6: AND 000020f7: JUMP 000020f8: JUMPDEST 000020f9: SWAP1 000020fa: PUSH2 0x2340 000020fd: JUMP 000020fe: JUMPDEST 000020ff: PUSH1 0x9a 00002101: SSTORE 00002102: POP 00002103: POP 00002104: POP 00002105: JUMP 00002106: JUMPDEST 00002107: PUSH1 0x00 00002109: SLOAD 0000210a: PUSH2 0x0100 0000210d: SWAP1 0000210e: DIV 0000210f: PUSH1 0xff 00002111: AND 00002112: DUP1 00002113: PUSH2 0x211f 00002116: JUMPI 00002117: POP 00002118: PUSH2 0x211f 0000211b: PUSH2 0x26bb 0000211e: JUMP 0000211f: JUMPDEST 00002120: DUP1 00002121: PUSH2 0x212d 00002124: JUMPI 00002125: POP 00002126: PUSH1 0x00 00002128: SLOAD 00002129: PUSH1 0xff 0000212b: AND 0000212c: ISZERO 0000212d: JUMPDEST 0000212e: PUSH2 0x2168 00002131: JUMPI 00002132: PUSH1 0x40 00002134: MLOAD 00002135: PUSH3 0x461bcd 00002139: PUSH1 0xe5 0000213b: SHL 0000213c: DUP2 0000213d: MSTORE 0000213e: PUSH1 0x04 00002140: ADD 00002141: DUP1 00002142: DUP1 00002143: PUSH1 0x20 00002145: ADD 00002146: DUP3 00002147: DUP2 00002148: SUB 00002149: DUP3 0000214a: MSTORE 0000214b: PUSH1 0x2e 0000214d: DUP2 0000214e: MSTORE 0000214f: PUSH1 0x20 00002151: ADD 00002152: DUP1 00002153: PUSH2 0x2a51 00002156: PUSH1 0x2e 00002158: SWAP2 00002159: CODECOPY 0000215a: PUSH1 0x40 0000215c: ADD 0000215d: SWAP2 0000215e: POP 0000215f: POP 00002160: PUSH1 0x40 00002162: MLOAD 00002163: DUP1 00002164: SWAP2 00002165: SUB 00002166: SWAP1 00002167: REVERT 00002168: JUMPDEST 00002169: PUSH1 0x00 0000216b: SLOAD 0000216c: PUSH2 0x0100 0000216f: SWAP1 00002170: DIV 00002171: PUSH1 0xff 00002173: AND 00002174: ISZERO 00002175: DUP1 00002176: ISZERO 00002177: PUSH2 0x2193 0000217a: JUMPI 0000217b: PUSH1 0x00 0000217d: DUP1 0000217e: SLOAD 0000217f: PUSH1 0xff 00002181: NOT 00002182: PUSH2 0xff00 00002185: NOT 00002186: SWAP1 00002187: SWAP2 00002188: AND 00002189: PUSH2 0x0100 0000218c: OR 0000218d: AND 0000218e: PUSH1 0x01 00002190: OR 00002191: SWAP1 00002192: SSTORE 00002193: JUMPDEST 00002194: PUSH1 0x01 00002196: PUSH1 0x01 00002198: PUSH1 0xa0 0000219a: SHL 0000219b: SUB 0000219c: DUP4 0000219d: AND 0000219e: PUSH2 0x21d8 000021a1: JUMPI 000021a2: PUSH1 0x40 000021a4: MLOAD 000021a5: PUSH3 0x461bcd 000021a9: PUSH1 0xe5 000021ab: SHL 000021ac: DUP2 000021ad: MSTORE 000021ae: PUSH1 0x04 000021b0: ADD 000021b1: DUP1 000021b2: DUP1 000021b3: PUSH1 0x20 000021b5: ADD 000021b6: DUP3 000021b7: DUP2 000021b8: SUB 000021b9: DUP3 000021ba: MSTORE 000021bb: PUSH1 0x2b 000021bd: DUP2 000021be: MSTORE 000021bf: PUSH1 0x20 000021c1: ADD 000021c2: DUP1 000021c3: PUSH2 0x2b6c 000021c6: PUSH1 0x2b 000021c8: SWAP2 000021c9: CODECOPY 000021ca: PUSH1 0x40 000021cc: ADD 000021cd: SWAP2 000021ce: POP 000021cf: POP 000021d0: PUSH1 0x40 000021d2: MLOAD 000021d3: DUP1 000021d4: SWAP2 000021d5: SUB 000021d6: SWAP1 000021d7: REVERT 000021d8: JUMPDEST 000021d9: PUSH1 0x01 000021db: PUSH1 0x01 000021dd: PUSH1 0xa0 000021df: SHL 000021e0: SUB 000021e1: DUP3 000021e2: AND 000021e3: PUSH2 0x221d 000021e6: JUMPI 000021e7: PUSH1 0x40 000021e9: MLOAD 000021ea: PUSH3 0x461bcd 000021ee: PUSH1 0xe5 000021f0: SHL 000021f1: DUP2 000021f2: MSTORE 000021f3: PUSH1 0x04 000021f5: ADD 000021f6: DUP1 000021f7: DUP1 000021f8: PUSH1 0x20 000021fa: ADD 000021fb: DUP3 000021fc: DUP2 000021fd: SUB 000021fe: DUP3 000021ff: MSTORE 00002200: PUSH1 0x2c 00002202: DUP2 00002203: MSTORE 00002204: PUSH1 0x20 00002206: ADD 00002207: DUP1 00002208: PUSH2 0x2b40 0000220b: PUSH1 0x2c 0000220d: SWAP2 0000220e: CODECOPY 0000220f: PUSH1 0x40 00002211: ADD 00002212: SWAP2 00002213: POP 00002214: POP 00002215: PUSH1 0x40 00002217: MLOAD 00002218: DUP1 00002219: SWAP2 0000221a: SUB 0000221b: SWAP1 0000221c: REVERT 0000221d: JUMPDEST 0000221e: PUSH2 0x2227 00002221: DUP6 00002222: DUP6 00002223: PUSH2 0x26cc 00002226: JUMP 00002227: JUMPDEST 00002228: PUSH1 0xa2 0000222a: DUP1 0000222b: SLOAD 0000222c: PUSH1 0x01 0000222e: PUSH1 0x01 00002230: PUSH1 0xa0 00002232: SHL 00002233: SUB 00002234: DUP1 00002235: DUP7 00002236: AND 00002237: PUSH1 0x01 00002239: PUSH1 0x01 0000223b: PUSH1 0xa0 0000223d: SHL 0000223e: SUB 0000223f: NOT 00002240: SWAP3 00002241: DUP4 00002242: AND 00002243: OR 00002244: SWAP1 00002245: SWAP3 00002246: SSTORE 00002247: PUSH1 0xa1 00002249: DUP1 0000224a: SLOAD 0000224b: SWAP3 0000224c: DUP6 0000224d: AND 0000224e: SWAP3 0000224f: SWAP1 00002250: SWAP2 00002251: AND 00002252: SWAP2 00002253: SWAP1 00002254: SWAP2 00002255: OR 00002256: SWAP1 00002257: SSTORE 00002258: PUSH2 0x225f 0000225b: PUSH2 0x27c7 0000225e: JUMP 0000225f: JUMPDEST 00002260: PUSH2 0x2267 00002263: PUSH2 0x2871 00002266: JUMP 00002267: JUMPDEST 00002268: DUP1 00002269: ISZERO 0000226a: PUSH2 0x2279 0000226d: JUMPI 0000226e: PUSH1 0x00 00002270: DUP1 00002271: SLOAD 00002272: PUSH2 0xff00 00002275: NOT 00002276: AND 00002277: SWAP1 00002278: SSTORE 00002279: JUMPDEST 0000227a: POP 0000227b: POP 0000227c: POP 0000227d: POP 0000227e: POP 0000227f: JUMP 00002280: JUMPDEST 00002281: PUSH1 0x00 00002283: DUP3 00002284: PUSH2 0x228f 00002287: JUMPI 00002288: POP 00002289: PUSH1 0x00 0000228b: PUSH2 0x05b3 0000228e: JUMP 0000228f: JUMPDEST 00002290: DUP3 00002291: DUP3 00002292: MUL 00002293: DUP3 00002294: DUP5 00002295: DUP3 00002296: DUP2 00002297: PUSH2 0x229c 0000229a: JUMPI 0000229b: INVALID 0000229c: JUMPDEST 0000229d: DIV 0000229e: EQ 0000229f: PUSH2 0x05b0 000022a2: JUMPI 000022a3: PUSH1 0x40 000022a5: MLOAD 000022a6: PUSH3 0x461bcd 000022aa: PUSH1 0xe5 000022ac: SHL 000022ad: DUP2 000022ae: MSTORE 000022af: PUSH1 0x04 000022b1: ADD 000022b2: DUP1 000022b3: DUP1 000022b4: PUSH1 0x20 000022b6: ADD 000022b7: DUP3 000022b8: DUP2 000022b9: SUB 000022ba: DUP3 000022bb: MSTORE 000022bc: PUSH1 0x21 000022be: DUP2 000022bf: MSTORE 000022c0: PUSH1 0x20 000022c2: ADD 000022c3: DUP1 000022c4: PUSH2 0x2ad2 000022c7: PUSH1 0x21 000022c9: SWAP2 000022ca: CODECOPY 000022cb: PUSH1 0x40 000022cd: ADD 000022ce: SWAP2 000022cf: POP 000022d0: POP 000022d1: PUSH1 0x40 000022d3: MLOAD 000022d4: DUP1 000022d5: SWAP2 000022d6: SUB 000022d7: SWAP1 000022d8: REVERT 000022d9: JUMPDEST 000022da: PUSH1 0x00 000022dc: DUP1 000022dd: DUP3 000022de: GT 000022df: PUSH2 0x232f 000022e2: JUMPI 000022e3: PUSH1 0x40 000022e5: DUP1 000022e6: MLOAD 000022e7: PUSH3 0x461bcd 000022eb: PUSH1 0xe5 000022ed: SHL 000022ee: DUP2 000022ef: MSTORE 000022f0: PUSH1 0x20 000022f2: PUSH1 0x04 000022f4: DUP3 000022f5: ADD 000022f6: MSTORE 000022f7: PUSH1 0x1a 000022f9: PUSH1 0x24 000022fb: DUP3 000022fc: ADD 000022fd: MSTORE 000022fe: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000 0000231f: PUSH1 0x44 00002321: DUP3 00002322: ADD 00002323: MSTORE 00002324: SWAP1 00002325: MLOAD 00002326: SWAP1 00002327: DUP2 00002328: SWAP1 00002329: SUB 0000232a: PUSH1 0x64 0000232c: ADD 0000232d: SWAP1 0000232e: REVERT 0000232f: JUMPDEST 00002330: DUP2 00002331: DUP4 00002332: DUP2 00002333: PUSH2 0x2338 00002336: JUMPI 00002337: INVALID 00002338: JUMPDEST 00002339: DIV 0000233a: SWAP4 0000233b: SWAP3 0000233c: POP 0000233d: POP 0000233e: POP 0000233f: JUMP 00002340: JUMPDEST 00002341: PUSH1 0x00 00002343: DUP3 00002344: DUP3 00002345: GT 00002346: ISZERO 00002347: PUSH2 0x2397 0000234a: JUMPI 0000234b: PUSH1 0x40 0000234d: DUP1 0000234e: MLOAD 0000234f: PUSH3 0x461bcd 00002353: PUSH1 0xe5 00002355: SHL 00002356: DUP2 00002357: MSTORE 00002358: PUSH1 0x20 0000235a: PUSH1 0x04 0000235c: DUP3 0000235d: ADD 0000235e: MSTORE 0000235f: PUSH1 0x1e 00002361: PUSH1 0x24 00002363: DUP3 00002364: ADD 00002365: MSTORE 00002366: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000 00002387: PUSH1 0x44 00002389: DUP3 0000238a: ADD 0000238b: MSTORE 0000238c: SWAP1 0000238d: MLOAD 0000238e: SWAP1 0000238f: DUP2 00002390: SWAP1 00002391: SUB 00002392: PUSH1 0x64 00002394: ADD 00002395: SWAP1 00002396: REVERT 00002397: JUMPDEST 00002398: POP 00002399: SWAP1 0000239a: SUB 0000239b: SWAP1 0000239c: JUMP 0000239d: JUMPDEST 0000239e: DUP1 0000239f: SELFBALANCE 000023a0: LT 000023a1: ISZERO 000023a2: PUSH2 0x23f2 000023a5: JUMPI 000023a6: PUSH1 0x40 000023a8: DUP1 000023a9: MLOAD 000023aa: PUSH3 0x461bcd 000023ae: PUSH1 0xe5 000023b0: SHL 000023b1: DUP2 000023b2: MSTORE 000023b3: PUSH1 0x20 000023b5: PUSH1 0x04 000023b7: DUP3 000023b8: ADD 000023b9: MSTORE 000023ba: PUSH1 0x1d 000023bc: PUSH1 0x24 000023be: DUP3 000023bf: ADD 000023c0: MSTORE 000023c1: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 000023e2: PUSH1 0x44 000023e4: DUP3 000023e5: ADD 000023e6: MSTORE 000023e7: SWAP1 000023e8: MLOAD 000023e9: SWAP1 000023ea: DUP2 000023eb: SWAP1 000023ec: SUB 000023ed: PUSH1 0x64 000023ef: ADD 000023f0: SWAP1 000023f1: REVERT 000023f2: JUMPDEST 000023f3: PUSH1 0x40 000023f5: MLOAD 000023f6: PUSH1 0x00 000023f8: SWAP1 000023f9: PUSH1 0x01 000023fb: PUSH1 0x01 000023fd: PUSH1 0xa0 000023ff: SHL 00002400: SUB 00002401: DUP5 00002402: AND 00002403: SWAP1 00002404: DUP4 00002405: SWAP1 00002406: DUP4 00002407: DUP2 00002408: DUP2 00002409: DUP2 0000240a: DUP6 0000240b: DUP8 0000240c: GAS 0000240d: CALL 0000240e: SWAP3 0000240f: POP 00002410: POP 00002411: POP 00002412: RETURNDATASIZE 00002413: DUP1 00002414: PUSH1 0x00 00002416: DUP2 00002417: EQ 00002418: PUSH2 0x243d 0000241b: JUMPI 0000241c: PUSH1 0x40 0000241e: MLOAD 0000241f: SWAP2 00002420: POP 00002421: PUSH1 0x1f 00002423: NOT 00002424: PUSH1 0x3f 00002426: RETURNDATASIZE 00002427: ADD 00002428: AND 00002429: DUP3 0000242a: ADD 0000242b: PUSH1 0x40 0000242d: MSTORE 0000242e: RETURNDATASIZE 0000242f: DUP3 00002430: MSTORE 00002431: RETURNDATASIZE 00002432: PUSH1 0x00 00002434: PUSH1 0x20 00002436: DUP5 00002437: ADD 00002438: RETURNDATACOPY 00002439: PUSH2 0x2442 0000243c: JUMP 0000243d: JUMPDEST 0000243e: PUSH1 0x60 00002440: SWAP2 00002441: POP 00002442: JUMPDEST 00002443: POP 00002444: POP 00002445: SWAP1 00002446: POP 00002447: DUP1 00002448: PUSH2 0x2482 0000244b: JUMPI 0000244c: PUSH1 0x40 0000244e: MLOAD 0000244f: PUSH3 0x461bcd 00002453: PUSH1 0xe5 00002455: SHL 00002456: DUP2 00002457: MSTORE 00002458: PUSH1 0x04 0000245a: ADD 0000245b: DUP1 0000245c: DUP1 0000245d: PUSH1 0x20 0000245f: ADD 00002460: DUP3 00002461: DUP2 00002462: SUB 00002463: DUP3 00002464: MSTORE 00002465: PUSH1 0x3a 00002467: DUP2 00002468: MSTORE 00002469: PUSH1 0x20 0000246b: ADD 0000246c: DUP1 0000246d: PUSH2 0x29ef 00002470: PUSH1 0x3a 00002472: SWAP2 00002473: CODECOPY 00002474: PUSH1 0x40 00002476: ADD 00002477: SWAP2 00002478: POP 00002479: POP 0000247a: PUSH1 0x40 0000247c: MLOAD 0000247d: DUP1 0000247e: SWAP2 0000247f: SUB 00002480: SWAP1 00002481: REVERT 00002482: JUMPDEST 00002483: POP 00002484: POP 00002485: POP 00002486: JUMP 00002487: JUMPDEST 00002488: PUSH2 0x248f 0000248b: PUSH2 0x0e3b 0000248e: JUMP 0000248f: JUMPDEST 00002490: PUSH2 0x24d7 00002493: JUMPI 00002494: PUSH1 0x40 00002496: DUP1 00002497: MLOAD 00002498: PUSH3 0x461bcd 0000249c: PUSH1 0xe5 0000249e: SHL 0000249f: DUP2 000024a0: MSTORE 000024a1: PUSH1 0x20 000024a3: PUSH1 0x04 000024a5: DUP3 000024a6: ADD 000024a7: MSTORE 000024a8: PUSH1 0x14 000024aa: PUSH1 0x24 000024ac: DUP3 000024ad: ADD 000024ae: MSTORE 000024af: PUSH20 0x14185d5cd8589b194e881b9bdd081c185d5cd959 000024c4: PUSH1 0x62 000024c6: SHL 000024c7: PUSH1 0x44 000024c9: DUP3 000024ca: ADD 000024cb: MSTORE 000024cc: SWAP1 000024cd: MLOAD 000024ce: SWAP1 000024cf: DUP2 000024d0: SWAP1 000024d1: SUB 000024d2: PUSH1 0x64 000024d4: ADD 000024d5: SWAP1 000024d6: REVERT 000024d7: JUMPDEST 000024d8: PUSH1 0x65 000024da: DUP1 000024db: SLOAD 000024dc: PUSH1 0xff 000024de: NOT 000024df: AND 000024e0: SWAP1 000024e1: SSTORE 000024e2: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 00002503: PUSH2 0x250a 00002506: PUSH2 0x291c 00002509: JUMP 0000250a: JUMPDEST 0000250b: PUSH1 0x40 0000250d: DUP1 0000250e: MLOAD 0000250f: PUSH1 0x01 00002511: PUSH1 0x01 00002513: PUSH1 0xa0 00002515: SHL 00002516: SUB 00002517: SWAP1 00002518: SWAP3 00002519: AND 0000251a: DUP3 0000251b: MSTORE 0000251c: MLOAD 0000251d: SWAP1 0000251e: DUP2 0000251f: SWAP1 00002520: SUB 00002521: PUSH1 0x20 00002523: ADD 00002524: SWAP1 00002525: LOG1 00002526: JUMP 00002527: JUMPDEST 00002528: PUSH1 0x99 0000252a: SLOAD 0000252b: PUSH1 0x00 0000252d: SWAP1 0000252e: DUP2 0000252f: SWAP1 00002530: DUP4 00002531: GT 00002532: ISZERO 00002533: PUSH2 0x05b3 00002536: JUMPI 00002537: PUSH1 0x99 00002539: SLOAD 0000253a: PUSH2 0x05b0 0000253d: SWAP1 0000253e: DUP5 0000253f: SWAP1 00002540: PUSH2 0x2340 00002543: JUMP 00002544: JUMPDEST 00002545: PUSH2 0x254c 00002548: PUSH2 0x0e3b 0000254b: JUMP 0000254c: JUMPDEST 0000254d: ISZERO 0000254e: PUSH2 0x2591 00002551: JUMPI 00002552: PUSH1 0x40 00002554: DUP1 00002555: MLOAD 00002556: PUSH3 0x461bcd 0000255a: PUSH1 0xe5 0000255c: SHL 0000255d: DUP2 0000255e: MSTORE 0000255f: PUSH1 0x20 00002561: PUSH1 0x04 00002563: DUP3 00002564: ADD 00002565: MSTORE 00002566: PUSH1 0x10 00002568: PUSH1 0x24 0000256a: DUP3 0000256b: ADD 0000256c: MSTORE 0000256d: PUSH16 0x14185d5cd8589b194e881c185d5cd959 0000257e: PUSH1 0x82 00002580: SHL 00002581: PUSH1 0x44 00002583: DUP3 00002584: ADD 00002585: MSTORE 00002586: SWAP1 00002587: MLOAD 00002588: SWAP1 00002589: DUP2 0000258a: SWAP1 0000258b: SUB 0000258c: PUSH1 0x64 0000258e: ADD 0000258f: SWAP1 00002590: REVERT 00002591: JUMPDEST 00002592: PUSH1 0x65 00002594: DUP1 00002595: SLOAD 00002596: PUSH1 0xff 00002598: NOT 00002599: AND 0000259a: PUSH1 0x01 0000259c: OR 0000259d: SWAP1 0000259e: SSTORE 0000259f: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 000025c0: PUSH2 0x250a 000025c3: PUSH2 0x291c 000025c6: JUMP 000025c7: JUMPDEST 000025c8: PUSH1 0xa0 000025ca: SLOAD 000025cb: DUP2 000025cc: LT 000025cd: PUSH2 0x260c 000025d0: JUMPI 000025d1: PUSH1 0x40 000025d3: DUP1 000025d4: MLOAD 000025d5: PUSH3 0x461bcd 000025d9: PUSH1 0xe5 000025db: SHL 000025dc: DUP2 000025dd: MSTORE 000025de: PUSH1 0x20 000025e0: PUSH1 0x04 000025e2: DUP3 000025e3: ADD 000025e4: MSTORE 000025e5: PUSH1 0x0c 000025e7: PUSH1 0x24 000025e9: DUP3 000025ea: ADD 000025eb: MSTORE 000025ec: PUSH12 0x2bb937b7339034b73232bc17 000025f9: PUSH1 0xa1 000025fb: SHL 000025fc: PUSH1 0x44 000025fe: DUP3 000025ff: ADD 00002600: MSTORE 00002601: SWAP1 00002602: MLOAD 00002603: SWAP1 00002604: DUP2 00002605: SWAP1 00002606: SUB 00002607: PUSH1 0x64 00002609: ADD 0000260a: SWAP1 0000260b: REVERT 0000260c: JUMPDEST 0000260d: DUP1 0000260e: JUMPDEST 0000260f: PUSH1 0xa0 00002611: SLOAD 00002612: PUSH2 0x261c 00002615: SWAP1 00002616: PUSH1 0x01 00002618: PUSH2 0x2340 0000261b: JUMP 0000261c: JUMPDEST 0000261d: DUP2 0000261e: LT 0000261f: ISZERO 00002620: PUSH2 0x268a 00002623: JUMPI 00002624: PUSH1 0xa0 00002626: DUP2 00002627: PUSH1 0x01 00002629: ADD 0000262a: DUP2 0000262b: SLOAD 0000262c: DUP2 0000262d: LT 0000262e: PUSH2 0x2633 00002631: JUMPI 00002632: INVALID 00002633: JUMPDEST 00002634: PUSH1 0x00 00002636: SWAP2 00002637: DUP3 00002638: MSTORE 00002639: PUSH1 0x20 0000263b: SWAP1 0000263c: SWAP2 0000263d: KECCAK256 0000263e: ADD 0000263f: SLOAD 00002640: PUSH1 0xa0 00002642: DUP1 00002643: SLOAD 00002644: PUSH1 0x01 00002646: PUSH1 0x01 00002648: PUSH1 0xa0 0000264a: SHL 0000264b: SUB 0000264c: SWAP1 0000264d: SWAP3 0000264e: AND 0000264f: SWAP2 00002650: DUP4 00002651: SWAP1 00002652: DUP2 00002653: LT 00002654: PUSH2 0x2659 00002657: JUMPI 00002658: INVALID 00002659: JUMPDEST 0000265a: PUSH1 0x00 0000265c: SWAP2 0000265d: DUP3 0000265e: MSTORE 0000265f: PUSH1 0x20 00002661: SWAP1 00002662: SWAP2 00002663: KECCAK256 00002664: ADD 00002665: DUP1 00002666: SLOAD 00002667: PUSH1 0x01 00002669: PUSH1 0x01 0000266b: PUSH1 0xa0 0000266d: SHL 0000266e: SUB 0000266f: NOT 00002670: AND 00002671: PUSH1 0x01 00002673: PUSH1 0x01 00002675: PUSH1 0xa0 00002677: SHL 00002678: SUB 00002679: SWAP3 0000267a: SWAP1 0000267b: SWAP3 0000267c: AND 0000267d: SWAP2 0000267e: SWAP1 0000267f: SWAP2 00002680: OR 00002681: SWAP1 00002682: SSTORE 00002683: PUSH1 0x01 00002685: ADD 00002686: PUSH2 0x260e 00002689: JUMP 0000268a: JUMPDEST 0000268b: POP 0000268c: PUSH1 0xa0 0000268e: DUP1 0000268f: SLOAD 00002690: DUP1 00002691: PUSH2 0x2696 00002694: JUMPI 00002695: INVALID 00002696: JUMPDEST 00002697: PUSH1 0x00 00002699: DUP3 0000269a: DUP2 0000269b: MSTORE 0000269c: PUSH1 0x20 0000269e: SWAP1 0000269f: KECCAK256 000026a0: DUP2 000026a1: ADD 000026a2: PUSH1 0x00 000026a4: NOT 000026a5: SWAP1 000026a6: DUP2 000026a7: ADD 000026a8: DUP1 000026a9: SLOAD 000026aa: PUSH1 0x01 000026ac: PUSH1 0x01 000026ae: PUSH1 0xa0 000026b0: SHL 000026b1: SUB 000026b2: NOT 000026b3: AND 000026b4: SWAP1 000026b5: SSTORE 000026b6: ADD 000026b7: SWAP1 000026b8: SSTORE 000026b9: POP 000026ba: JUMP 000026bb: JUMPDEST 000026bc: PUSH1 0x00 000026be: PUSH2 0x26c6 000026c1: ADDRESS 000026c2: PUSH2 0x2920 000026c5: JUMP 000026c6: JUMPDEST 000026c7: ISZERO 000026c8: SWAP1 000026c9: POP 000026ca: SWAP1 000026cb: JUMP 000026cc: JUMPDEST 000026cd: PUSH1 0x01 000026cf: PUSH1 0x01 000026d1: PUSH1 0xa0 000026d3: SHL 000026d4: SUB 000026d5: DUP3 000026d6: AND 000026d7: PUSH2 0x2711 000026da: JUMPI 000026db: PUSH1 0x40 000026dd: MLOAD 000026de: PUSH3 0x461bcd 000026e2: PUSH1 0xe5 000026e4: SHL 000026e5: DUP2 000026e6: MSTORE 000026e7: PUSH1 0x04 000026e9: ADD 000026ea: DUP1 000026eb: DUP1 000026ec: PUSH1 0x20 000026ee: ADD 000026ef: DUP3 000026f0: DUP2 000026f1: SUB 000026f2: DUP3 000026f3: MSTORE 000026f4: PUSH1 0x23 000026f6: DUP2 000026f7: MSTORE 000026f8: PUSH1 0x20 000026fa: ADD 000026fb: DUP1 000026fc: PUSH2 0x29cc 000026ff: PUSH1 0x23 00002701: SWAP2 00002702: CODECOPY 00002703: PUSH1 0x40 00002705: ADD 00002706: SWAP2 00002707: POP 00002708: POP 00002709: PUSH1 0x40 0000270b: MLOAD 0000270c: DUP1 0000270d: SWAP2 0000270e: SUB 0000270f: SWAP1 00002710: REVERT 00002711: JUMPDEST 00002712: PUSH1 0x01 00002714: PUSH1 0x01 00002716: PUSH1 0xa0 00002718: SHL 00002719: SUB 0000271a: DUP2 0000271b: AND 0000271c: PUSH2 0x2756 0000271f: JUMPI 00002720: PUSH1 0x40 00002722: MLOAD 00002723: PUSH3 0x461bcd 00002727: PUSH1 0xe5 00002729: SHL 0000272a: DUP2 0000272b: MSTORE 0000272c: PUSH1 0x04 0000272e: ADD 0000272f: DUP1 00002730: DUP1 00002731: PUSH1 0x20 00002733: ADD 00002734: DUP3 00002735: DUP2 00002736: SUB 00002737: DUP3 00002738: MSTORE 00002739: PUSH1 0x2a 0000273b: DUP2 0000273c: MSTORE 0000273d: PUSH1 0x20 0000273f: ADD 00002740: DUP1 00002741: PUSH2 0x2a7f 00002744: PUSH1 0x2a 00002746: SWAP2 00002747: CODECOPY 00002748: PUSH1 0x40 0000274a: ADD 0000274b: SWAP2 0000274c: POP 0000274d: POP 0000274e: PUSH1 0x40 00002750: MLOAD 00002751: DUP1 00002752: SWAP2 00002753: SUB 00002754: SWAP1 00002755: REVERT 00002756: JUMPDEST 00002757: PUSH1 0x97 00002759: DUP1 0000275a: SLOAD 0000275b: PUSH1 0x01 0000275d: PUSH1 0x01 0000275f: PUSH1 0xa0 00002761: SHL 00002762: SUB 00002763: DUP1 00002764: DUP6 00002765: AND 00002766: PUSH1 0x01 00002768: PUSH1 0x01 0000276a: PUSH1 0xa0 0000276c: SHL 0000276d: SUB 0000276e: NOT 0000276f: SWAP3 00002770: DUP4 00002771: AND 00002772: OR 00002773: SWAP3 00002774: DUP4 00002775: SWAP1 00002776: SSTORE 00002777: PUSH1 0x98 00002779: DUP1 0000277a: SLOAD 0000277b: DUP6 0000277c: DUP4 0000277d: AND 0000277e: SWAP4 0000277f: AND 00002780: SWAP3 00002781: SWAP1 00002782: SWAP3 00002783: OR 00002784: SWAP2 00002785: DUP3 00002786: SWAP1 00002787: SSTORE 00002788: PUSH1 0x40 0000278a: DUP1 0000278b: MLOAD 0000278c: SWAP4 0000278d: DUP3 0000278e: AND 0000278f: DUP5 00002790: MSTORE 00002791: SWAP2 00002792: AND 00002793: PUSH1 0x20 00002795: DUP4 00002796: ADD 00002797: MSTORE 00002798: DUP1 00002799: MLOAD 0000279a: PUSH32 0x3e8606e62f2e1b31fe8de392ccbcf2e05d32ed928a9257667d53f81144745251 000027bb: SWAP3 000027bc: DUP2 000027bd: SWAP1 000027be: SUB 000027bf: SWAP1 000027c0: SWAP2 000027c1: ADD 000027c2: SWAP1 000027c3: LOG1 000027c4: POP 000027c5: POP 000027c6: JUMP 000027c7: JUMPDEST 000027c8: PUSH1 0x00 000027ca: SLOAD 000027cb: PUSH2 0x0100 000027ce: SWAP1 000027cf: DIV 000027d0: PUSH1 0xff 000027d2: AND 000027d3: DUP1 000027d4: PUSH2 0x27e0 000027d7: JUMPI 000027d8: POP 000027d9: PUSH2 0x27e0 000027dc: PUSH2 0x26bb 000027df: JUMP 000027e0: JUMPDEST 000027e1: DUP1 000027e2: PUSH2 0x27ee 000027e5: JUMPI 000027e6: POP 000027e7: PUSH1 0x00 000027e9: SLOAD 000027ea: PUSH1 0xff 000027ec: AND 000027ed: ISZERO 000027ee: JUMPDEST 000027ef: PUSH2 0x2829 000027f2: JUMPI 000027f3: PUSH1 0x40 000027f5: MLOAD 000027f6: PUSH3 0x461bcd 000027fa: PUSH1 0xe5 000027fc: SHL 000027fd: DUP2 000027fe: MSTORE 000027ff: PUSH1 0x04 00002801: ADD 00002802: DUP1 00002803: DUP1 00002804: PUSH1 0x20 00002806: ADD 00002807: DUP3 00002808: DUP2 00002809: SUB 0000280a: DUP3 0000280b: MSTORE 0000280c: PUSH1 0x2e 0000280e: DUP2 0000280f: MSTORE 00002810: PUSH1 0x20 00002812: ADD 00002813: DUP1 00002814: PUSH2 0x2a51 00002817: PUSH1 0x2e 00002819: SWAP2 0000281a: CODECOPY 0000281b: PUSH1 0x40 0000281d: ADD 0000281e: SWAP2 0000281f: POP 00002820: POP 00002821: PUSH1 0x40 00002823: MLOAD 00002824: DUP1 00002825: SWAP2 00002826: SUB 00002827: SWAP1 00002828: REVERT 00002829: JUMPDEST 0000282a: PUSH1 0x00 0000282c: SLOAD 0000282d: PUSH2 0x0100 00002830: SWAP1 00002831: DIV 00002832: PUSH1 0xff 00002834: AND 00002835: ISZERO 00002836: DUP1 00002837: ISZERO 00002838: PUSH2 0x2854 0000283b: JUMPI 0000283c: PUSH1 0x00 0000283e: DUP1 0000283f: SLOAD 00002840: PUSH1 0xff 00002842: NOT 00002843: PUSH2 0xff00 00002846: NOT 00002847: SWAP1 00002848: SWAP2 00002849: AND 0000284a: PUSH2 0x0100 0000284d: OR 0000284e: AND 0000284f: PUSH1 0x01 00002851: OR 00002852: SWAP1 00002853: SSTORE 00002854: JUMPDEST 00002855: PUSH2 0x285c 00002858: PUSH2 0x2926 0000285b: JUMP 0000285c: JUMPDEST 0000285d: DUP1 0000285e: ISZERO 0000285f: PUSH2 0x286e 00002862: JUMPI 00002863: PUSH1 0x00 00002865: DUP1 00002866: SLOAD 00002867: PUSH2 0xff00 0000286a: NOT 0000286b: AND 0000286c: SWAP1 0000286d: SSTORE 0000286e: JUMPDEST 0000286f: POP 00002870: JUMP 00002871: JUMPDEST 00002872: PUSH1 0x00 00002874: SLOAD 00002875: PUSH2 0x0100 00002878: SWAP1 00002879: DIV 0000287a: PUSH1 0xff 0000287c: AND 0000287d: DUP1 0000287e: PUSH2 0x288a 00002881: JUMPI 00002882: POP 00002883: PUSH2 0x288a 00002886: PUSH2 0x26bb 00002889: JUMP 0000288a: JUMPDEST 0000288b: DUP1 0000288c: PUSH2 0x2898 0000288f: JUMPI 00002890: POP 00002891: PUSH1 0x00 00002893: SLOAD 00002894: PUSH1 0xff 00002896: AND 00002897: ISZERO 00002898: JUMPDEST 00002899: PUSH2 0x28d3 0000289c: JUMPI 0000289d: PUSH1 0x40 0000289f: MLOAD 000028a0: PUSH3 0x461bcd 000028a4: PUSH1 0xe5 000028a6: SHL 000028a7: DUP2 000028a8: MSTORE 000028a9: PUSH1 0x04 000028ab: ADD 000028ac: DUP1 000028ad: DUP1 000028ae: PUSH1 0x20 000028b0: ADD 000028b1: DUP3 000028b2: DUP2 000028b3: SUB 000028b4: DUP3 000028b5: MSTORE 000028b6: PUSH1 0x2e 000028b8: DUP2 000028b9: MSTORE 000028ba: PUSH1 0x20 000028bc: ADD 000028bd: DUP1 000028be: PUSH2 0x2a51 000028c1: PUSH1 0x2e 000028c3: SWAP2 000028c4: CODECOPY 000028c5: PUSH1 0x40 000028c7: ADD 000028c8: SWAP2 000028c9: POP 000028ca: POP 000028cb: PUSH1 0x40 000028cd: MLOAD 000028ce: DUP1 000028cf: SWAP2 000028d0: SUB 000028d1: SWAP1 000028d2: REVERT 000028d3: JUMPDEST 000028d4: PUSH1 0x00 000028d6: SLOAD 000028d7: PUSH2 0x0100 000028da: SWAP1 000028db: DIV 000028dc: PUSH1 0xff 000028de: AND 000028df: ISZERO 000028e0: DUP1 000028e1: ISZERO 000028e2: PUSH2 0x28fe 000028e5: JUMPI 000028e6: PUSH1 0x00 000028e8: DUP1 000028e9: SLOAD 000028ea: PUSH1 0xff 000028ec: NOT 000028ed: PUSH2 0xff00 000028f0: NOT 000028f1: SWAP1 000028f2: SWAP2 000028f3: AND 000028f4: PUSH2 0x0100 000028f7: OR 000028f8: AND 000028f9: PUSH1 0x01 000028fb: OR 000028fc: SWAP1 000028fd: SSTORE 000028fe: JUMPDEST 000028ff: PUSH1 0x65 00002901: DUP1 00002902: SLOAD 00002903: PUSH1 0xff 00002905: NOT 00002906: AND 00002907: SWAP1 00002908: SSTORE 00002909: DUP1 0000290a: ISZERO 0000290b: PUSH2 0x286e 0000290e: JUMPI 0000290f: PUSH1 0x00 00002911: DUP1 00002912: SLOAD 00002913: PUSH2 0xff00 00002916: NOT 00002917: AND 00002918: SWAP1 00002919: SSTORE 0000291a: POP 0000291b: JUMP 0000291c: JUMPDEST 0000291d: CALLER 0000291e: SWAP1 0000291f: JUMP 00002920: JUMPDEST 00002921: EXTCODESIZE 00002922: ISZERO 00002923: ISZERO 00002924: SWAP1 00002925: JUMP 00002926: JUMPDEST 00002927: PUSH1 0x00 00002929: SLOAD 0000292a: PUSH2 0x0100 0000292d: SWAP1 0000292e: DIV 0000292f: PUSH1 0xff 00002931: AND 00002932: DUP1 00002933: PUSH2 0x293f 00002936: JUMPI 00002937: POP 00002938: PUSH2 0x293f 0000293b: PUSH2 0x26bb 0000293e: JUMP 0000293f: JUMPDEST 00002940: DUP1 00002941: PUSH2 0x294d 00002944: JUMPI 00002945: POP 00002946: PUSH1 0x00 00002948: SLOAD 00002949: PUSH1 0xff 0000294b: AND 0000294c: ISZERO 0000294d: JUMPDEST 0000294e: PUSH2 0x2988 00002951: JUMPI 00002952: PUSH1 0x40 00002954: MLOAD 00002955: PUSH3 0x461bcd 00002959: PUSH1 0xe5 0000295b: SHL 0000295c: DUP2 0000295d: MSTORE 0000295e: PUSH1 0x04 00002960: ADD 00002961: DUP1 00002962: DUP1 00002963: PUSH1 0x20 00002965: ADD 00002966: DUP3 00002967: DUP2 00002968: SUB 00002969: DUP3 0000296a: MSTORE 0000296b: PUSH1 0x2e 0000296d: DUP2 0000296e: MSTORE 0000296f: PUSH1 0x20 00002971: ADD 00002972: DUP1 00002973: PUSH2 0x2a51 00002976: PUSH1 0x2e 00002978: SWAP2 00002979: CODECOPY 0000297a: PUSH1 0x40 0000297c: ADD 0000297d: SWAP2 0000297e: POP 0000297f: POP 00002980: PUSH1 0x40 00002982: MLOAD 00002983: DUP1 00002984: SWAP2 00002985: SUB 00002986: SWAP1 00002987: REVERT 00002988: JUMPDEST 00002989: PUSH1 0x00 0000298b: SLOAD 0000298c: PUSH2 0x0100 0000298f: SWAP1 00002990: DIV 00002991: PUSH1 0xff 00002993: AND 00002994: ISZERO 00002995: DUP1 00002996: ISZERO 00002997: PUSH2 0x29b3 0000299a: JUMPI 0000299b: PUSH1 0x00 0000299d: DUP1 0000299e: SLOAD 0000299f: PUSH1 0xff 000029a1: NOT 000029a2: PUSH2 0xff00 000029a5: NOT 000029a6: SWAP1 000029a7: SWAP2 000029a8: AND 000029a9: PUSH2 0x0100 000029ac: OR 000029ad: AND 000029ae: PUSH1 0x01 000029b0: OR 000029b1: SWAP1 000029b2: SSTORE 000029b3: JUMPDEST 000029b4: PUSH1 0x01 000029b6: DUP1 000029b7: SSTORE 000029b8: DUP1 000029b9: ISZERO 000029ba: PUSH2 0x286e 000029bd: JUMPI 000029be: PUSH1 0x00 000029c0: DUP1 000029c1: SLOAD 000029c2: PUSH2 0xff00 000029c5: NOT 000029c6: AND 000029c7: SWAP1 000029c8: SSTORE 000029c9: POP 000029ca: JUMP 000029cb: INVALID 000029cc: BASEFEE 000029cd: PUSH16 0x7264436f6e67726573732063616e206e 000029de: PUSH16 0x74206265203078302061646472657373 000029ef: COINBASE 000029f0: PUSH5 0x6472657373 000029f6: GASPRICE 000029f7: KECCAK256 000029f8: PUSH22 0x6e61626c6520746f2073656e642076616c75652c2072 00002a0f: PUSH6 0x63697069656e 00002a16: PUSH21 0x206d6179206861766520726576657274656476616c 00002a2c: PUSH10 0x6461746f72206973206c 00002a37: PUSH2 0x756e 00002a3a: PUSH4 0x68696e67 00002a3f: UNKNOWN(0x2F) 00002a40: PUSH4 0x6c6f7369 00002a45: PUSH15 0x672063757272656e746c79496e6974 00002a55: PUSH10 0x616c697a61626c653a20 00002a60: PUSH4 0x6f6e7472 00002a65: PUSH2 0x6374 00002a68: KECCAK256 00002a69: PUSH10 0x7320616c726561647920 00002a74: PUSH10 0x6e697469616c697a6564 00002a7f: UNKNOWN(0x4D) 00002a80: PUSH2 0x696e 00002a83: PUSH21 0x61696e65727352656769737472792063616e206e6f 00002a99: PUSH21 0x206265203078302061646472657373526573747269 00002aaf: PUSH4 0x74656420 00002ab4: PUSH16 0x6e6c7920746f20686f72644554485374 00002ac5: PUSH2 0x6b69 00002ac8: PUSH15 0x674d616e616765722e536166654d61 00002ad8: PUSH21 0x683a206d756c7469706c69636174696f6e206f7665 00002aee: PUSH19 0x666c6f77536f6d657468696e672077656e7420 00002b02: PUSH24 0x726f6e67207769746820617661696c61626c6520616d6f75 00002b1b: PUSH15 0x742e75736572206469646e74206d61 00002b2b: PUSH12 0x65207769746864726177616c 00002b38: KECCAK256 00002b39: PUSH19 0x657175657374486f72644554485374616b696e 00002b4d: PUSH8 0x4d616e6167657220 00002b56: PUSH4 0x616e206e 00002b5b: PUSH16 0x74206265203078302061646472657373 00002b6c: MSTORE8 00002b6d: PUSH21 0x616b696e67436f6e66696775726174696f6e206361 00002b83: PUSH15 0x206e6f742062652030783020616464 00002b93: PUSH19 0x657373557365722077616e747320746f207769 00002ba7: PUSH21 0x6864726177206d6f7265207468616e206865206861 00002bbd: PUSH20 0x2e486f72643a2052657374726963746564206f6e 00002bd2: PUSH13 0x7920746f20486f7264436f6e67 00002be0: PUSH19 0x657373486f72643a2052657374726963746564 00002bf4: KECCAK256 00002bf5: PUSH16 0x6e6c7920746f204d61696e7461696e65 00002c06: PUSH19 0xa2646970667358221220ae6e48187cd5e5824d 00002c1a: UNKNOWN(0xAA) 00002c1b: UNKNOWN(0x2D) 00002c1c: UNKNOWN(0x24) 00002c1d: EQ 00002c1e: UNKNOWN(0xC6) 00002c1f: GT 00002c20: UNKNOWN(0xC3) 00002c21: UNKNOWN(0xBB) 00002c22: SGT 00002c23: DUP7 00002c24: UNKNOWN(0xAA) 00002c25: UNKNOWN(0xAA) 00002c26: ISZERO 00002c27: UNKNOWN(0xA6) 00002c28: UNKNOWN(0xE9) 00002c29: UNKNOWN(0xA8) 00002c2a: PUSH6 0x94cf6101a269 00002c31: PUSH5 0x736f6c6343 00002c37: STOP 00002c38: SMOD 00002c39: SDIV 00002c3a: STOP 00002c3b: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xc537ad14",
"selector": "0xc537ad14",
"calldata_variants": [
"0xc537ad14",
"0xc537ad140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc8190b42",
"selector": "0xc8190b42",
"calldata_variants": [
"0xc8190b42",
"0xc8190b420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcf8304c3",
"selector": "0xcf8304c3",
"calldata_variants": [
"0xcf8304c3",
"0xcf8304c30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd2e69e47",
"selector": "0xd2e69e47",
"calldata_variants": [
"0xd2e69e47",
"0xd2e69e470000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb421f53",
"selector": "0xdb421f53",
"calldata_variants": [
"0xdb421f53",
"0xdb421f530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8c8765e",
"selector": "0xf8c8765e",
"calldata_variants": [
"0xf8c8765e",
"0xf8c8765e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x62dd0729",
"selector": "0x62dd0729",
"calldata_variants": [
"0x62dd0729",
"0x62dd07290000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6a8f414f",
"selector": "0x6a8f414f",
"calldata_variants": [
"0x6a8f414f",
"0x6a8f414f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 1835,
"type": "tx_origin_used"
},
{
"pc": 3761,
"type": "tx_origin_used"
},
{
"pc": 1834,
"type": "tx_origin_used"
},
{
"pc": 3760,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x1cad48cdadec6efcb69c85cf242453cd1d1bdc9e8a62b30e4110f66b6a9bd4df
call_targets:
0xc01e449a0ea5ecd68668e0e7e914f425044764c6
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1cad48cdadec6efcb69c85cf242453cd1d1bdc9e8a62b30e4110f66b6a9bd4df",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc01e449a0ea5ecd68668e0e7e914f425044764c6"
],
"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": "0xc537ad14",
"selector": "0xc537ad14",
"calldata_variants": [
"0xc537ad14",
"0xc537ad140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc8190b42",
"selector": "0xc8190b42",
"calldata_variants": [
"0xc8190b42",
"0xc8190b420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcf8304c3",
"selector": "0xcf8304c3",
"calldata_variants": [
"0xcf8304c3",
"0xcf8304c30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd2e69e47",
"selector": "0xd2e69e47",
"calldata_variants": [
"0xd2e69e47",
"0xd2e69e470000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb421f53",
"selector": "0xdb421f53",
"calldata_variants": [
"0xdb421f53",
"0xdb421f530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8c8765e",
"selector": "0xf8c8765e",
"calldata_variants": [
"0xf8c8765e",
"0xf8c8765e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x62dd0729",
"selector": "0x62dd0729",
"calldata_variants": [
"0x62dd0729",
"0x62dd07290000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6a8f414f",
"selector": "0x6a8f414f",
"calldata_variants": [
"0x6a8f414f",
"0x6a8f414f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4796,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5192,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5453,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [
{
"pc": 1835,
"type": "tx_origin_used"
},
{
"pc": 3761,
"type": "tx_origin_used"
},
{
"pc": 1834,
"type": "tx_origin_used"
},
{
"pc": 3760,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 4
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x1cad48cdadec6efcb69c85cf242453cd1d1bdc9e8a62b30e4110f66b6a9bd4df
call_targets:
0xc01e449a0ea5ecd68668e0e7e914f425044764c6
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1cad48cdadec6efcb69c85cf242453cd1d1bdc9e8a62b30e4110f66b6a9bd4df",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xc01e449a0ea5ecd68668e0e7e914f425044764c6"
],
"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": "0xc537ad14",
"selector": "0xc537ad14",
"calldata_variants": [
"0xc537ad14",
"0xc537ad140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc8190b42",
"selector": "0xc8190b42",
"calldata_variants": [
"0xc8190b42",
"0xc8190b420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xcf8304c3",
"selector": "0xcf8304c3",
"calldata_variants": [
"0xcf8304c3",
"0xcf8304c30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd2e69e47",
"selector": "0xd2e69e47",
"calldata_variants": [
"0xd2e69e47",
"0xd2e69e470000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb421f53",
"selector": "0xdb421f53",
"calldata_variants": [
"0xdb421f53",
"0xdb421f530000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf8c8765e",
"selector": "0xf8c8765e",
"calldata_variants": [
"0xf8c8765e",
"0xf8c8765e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x62dd0729",
"selector": "0x62dd0729",
"calldata_variants": [
"0x62dd0729",
"0x62dd07290000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x6a8f414f",
"selector": "0x6a8f414f",
"calldata_variants": [
"0x6a8f414f",
"0x6a8f414f0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4796,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5192,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5453,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": [
{
"pc": 1835,
"type": "tx_origin_used"
},
{
"pc": 3761,
"type": "tx_origin_used"
},
{
"pc": 1834,
"type": "tx_origin_used"
},
{
"pc": 3760,
"type": "tx_origin_used"
}
]
}
|
| info | other | cast | Heavy EXTCODE*/BALANCE usage | 55 | no | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 26
}
|
| info | other | cast | Heavy CALL-family usage | 55 | no | — |
viewevidence_json{
"notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
"call_family_count": 21
}
|