TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

5f47aefe-a22b-4fd9-8b65-f715a76cc26d

complete
Chain ID
1
Address
Block Number
Created
Mon, Jan 5, 2026 2:47 AM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

Confirmed
0
Validated
0
Source
Bytecode only
Review Backing
Not yet
Best current signal
Authorization based on tx.origin
crit 0 high 0 proxy context implementation known
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
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

Artifact

Runtime bytecode: available
Creation TX:
Deployer:
Proxy: yes
Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
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.
View stderr
[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":[]}
Metadata
{
    "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
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
21
EXT*/BALANCE
26
Total opcodes
7168
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output
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

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth detector Authorization based on tx.origin 70 no
view
validation_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
view
trace_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
view
trace_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
view
evidence_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
view
evidence_json
{
    "notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
    "call_family_count": 21
}