2b9b3b2a-6fd5-4736-8da6-902034bea5f6
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 31163 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 76792 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 76793 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 76794 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 76795 | capability.graph | complete | 1 / 3 | 1 week ago |
| 76796 | detector.run | complete | 1 / 3 | 1 week ago |
| 76797 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:669265] OpenAI Codex v0.77.0 (research preview)
[codex:669265] --------
[codex:669265] workdir: /tmp/codex-multi-vew7jwlc
[codex:669265] model: gpt-5.2-codex
[codex:669265] provider: openai
[codex:669265] approval: never
[codex:669265] sandbox: read-only
[codex:669265] reasoning effort: xhigh
[codex:669265] reasoning summaries: auto
[codex:669265] session id: 019b7c38-e8cf-7b23-9839-dc270af0d90c
[codex:669265] --------
[codex:669265] user
[codex:669265] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:669265]
[codex:669265] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:669265]
[codex:669265] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:669265] - Gas inefficiency, code quality, naming, or best practices
[codex:669265] - Theoretical vulnerabilities without a clear extraction path
[codex:669265] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:669265] - Front-running unless it enables theft beyond MEV
[codex:669265] - DoS, griefing, or issues that don't result in attacker profit
[codex:669265] - Missing events, view function issues, or informational findings
[codex:669265]
[codex:669265] HIGH-VALUE PATTERNS TO HUNT:
[codex:669265] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:669265] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:669265] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:669265] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:669265] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:669265] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:669265] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:669265] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:669265] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:669265]
[codex:669265] For each finding, you MUST provide:
[codex:669265] 1. Exact file and line numbers of vulnerable code
[codex:669265] 2. Step-by-step exploit transaction sequence
[codex:669265] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:669265]
[codex:669265] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:669265]
[codex:669265] Output MUST be valid JSON matching the provided schema.
[codex:669265] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:669265] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:669265] mcp startup: no servers
[codex:669265]
[codex:669265] thinking
[codex:669265] **Preparing to read AUDIT_BUNDLE.txt**
[codex:669265] exec
[codex:669265] /bin/bash -lc ls in /tmp/codex-multi-vew7jwlc succeeded in 6ms:
[codex:669265] AUDIT_BUNDLE.txt
[codex:669265] codex-output-schema.json
[codex:669265] contracts
[codex:669265]
[codex:669265] thinking
[codex:669265] **Reading AUDIT_BUNDLE.txt**
[codex:669265] exec
[codex:669265] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-vew7jwlc succeeded in 5ms:
[codex:669265] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:669265]
[codex:669265] ================================================================================
[codex:669265] FILE: contracts/@bancor/token-governance/contracts/IClaimable.sol
[codex:669265] ================================================================================
[codex:669265] // SPDX-License-Identifier: MIT
[codex:669265] pragma solidity >=0.6.12;
[codex:669265]
[codex:669265] /// @title Claimable contract interface
[codex:669265] interface IClaimable {
[codex:669265] function owner() external view returns (address);
[codex:669265]
[codex:669265] function transferOwnership(address newOwner) external;
[codex:669265]
[codex:669265] function acceptOwnership() external;
[codex:669265] }
[codex:669265]
[codex:669265] ================================================================================
[codex:669265] FILE: contracts/@bancor/token-governance/contracts/IMintableToken.sol
[codex:669265] ================================================================================
[codex:669265]
[codex:669265]
[codex:669265] thinking
[codex:669265] **Evaluating initialization and role vulnerabilities**
[codex:669265] thinking
[codex:669265] **Assessing reentrancy and initialization timing risks**
[codex:669265] exec
[codex:669265] /bin/bash -lc 'rg -n "initialize|initializer|_disableInitializers|postUpgrade" -S contracts' in /tmp/codex-multi-vew7jwlc succeeded in 9ms:
[codex:669265] contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol:11: * external initializer function, usually called `initialize`. It then becomes necessary to protect this initializer
[codex:669265] contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol:12: * function so it can only be called once. The {initializer} modifier provided by this contract will have this effect.
[codex:669265] contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol:14: * TIP: To avoid leaving the proxy in an uninitialized state, the initializer function should be called as early as
[codex:669265] contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol:17: * CAUTION: When used with inheritance, manual care must be taken to not invoke a parent initializer twice, or to ensure
[codex:669265] contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol:18: * that all initializers are idempotent. This is not verified automatically as constructors are by Solidity.
[codex:669265] contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol:22: * Avoid leaving a contract uninitialized.
[codex:669265] contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol:24: * An uninitialized contract can be taken over by an attacker. This applies to both a proxy and its implementation
[codex:669265] contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol:25: * contract, which may impact the proxy. To initialize the implementation contract, you can either invoke the
[codex:669265] contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol:26: * initializer manually, or you can include a constructor to automatically mark it as initialized when it is deployed:
[codex:669265] contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol:31: * constructor() initializer {}
[codex:669265] contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol:37: * @dev Indicates that the contract has been initialized.
[codex:669265] contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol:39: bool private _initialized;
[codex:669265] contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol:42: * @dev Indicates that the contract is in the process of being initialized.
[codex:669265] contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol:47: * @dev Modifier to protect an initializer function from being invoked twice.
[codex:669265] contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol:49: modifier initializer() {
[codex:669265] contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol:50: // If the contract is initializing we ignore whether _initialized is set in order to support multiple
[codex:669265] contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol:53: require(_initializing ? _isConstructor() : !_initialized, "Initializable: contract is already initialized");
[codex:669265] contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol:58: _initialized = true;
[codex:669265] contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol:70: * {initializer} modifier, directly or indirectly.
[codex:669265] contracts/contracts/vaults/MasterVault.sol:40: * @dev fully initializes the contract and its parents
[codex:669265]
[codex:669265] thinking
[codex:669265] **Analyzing security and access control**
[codex:669265]
[codex:669265] I'm carefully reviewing the contract's initialization, role assignments, and access control mechanisms to see if any real exploit path exists. After examining token handling, reentrancy protections, and upgrade hooks like `postUpgrade`, I find no concrete vulnerability to report per the user's strict criteria. I'm preparing a JSON response indicating no findings while ensuring compliance with the requested schema and instructions.
[codex:669265] codex
[codex:669265] {"no_findings":true,"summary":"No concrete, exploitable profit paths identified in AUDIT_BUNDLE.txt.","findings":[]}
[codex:669265] tokens used
[codex:669265] 19,021
[codex:669265] {"no_findings":true,"summary":"No concrete, exploitable profit paths identified in AUDIT_BUNDLE.txt.","findings":[]}
{
"codex": {
"ran_at": "2026-01-02T01:02:54.786029+00:00",
"returncode": 0
},
"summary": "No concrete, exploitable profit paths identified in AUDIT_BUNDLE.txt.",
"raw_final": {
"summary": "No concrete, exploitable profit paths identified in AUDIT_BUNDLE.txt.",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0139 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x9010d07c 00000019: GT 0000001a: PUSH2 0x00ab 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xa217fddf 00000024: GT 00000025: PUSH2 0x006f 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xa217fddf 0000002f: EQ 00000030: PUSH2 0x0379 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xb187bd26 0000003a: EQ 0000003b: PUSH2 0x038e 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xc878ab33 00000045: EQ 00000046: PUSH2 0x03a3 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xca15c873 00000050: EQ 00000051: PUSH2 0x03d6 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xce46e046 0000005b: EQ 0000005c: PUSH2 0x03f6 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xd547741f 00000066: EQ 00000067: PUSH2 0x040a 0000006a: JUMPI 0000006b: PUSH1 0x00 0000006d: DUP1 0000006e: REVERT 0000006f: JUMPDEST 00000070: DUP1 00000071: PUSH4 0x9010d07c 00000076: EQ 00000077: PUSH2 0x02ad 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0x91d14854 00000081: EQ 00000082: PUSH2 0x02e5 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0x92bd95ea 0000008c: EQ 0000008d: PUSH2 0x0305 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0x93867fb5 00000097: EQ 00000098: PUSH2 0x0338 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0x9dc29fac 000000a2: EQ 000000a3: PUSH2 0x0359 000000a6: JUMPI 000000a7: PUSH1 0x00 000000a9: DUP1 000000aa: REVERT 000000ab: JUMPDEST 000000ac: DUP1 000000ad: PUSH4 0x3f4ba83a 000000b2: GT 000000b3: PUSH2 0x00fd 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x3f4ba83a 000000bd: EQ 000000be: PUSH2 0x021a 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x54fd4d50 000000c8: EQ 000000c9: PUSH2 0x022f 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x5c975abb 000000d3: EQ 000000d4: PUSH2 0x024b 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x8129fc1c 000000de: EQ 000000df: PUSH2 0x0263 000000e2: JUMPI 000000e3: DUP1 000000e4: PUSH4 0x8456cb59 000000e9: EQ 000000ea: PUSH2 0x0278 000000ed: JUMPI 000000ee: DUP1 000000ef: PUSH4 0x8cd2403d 000000f4: EQ 000000f5: PUSH2 0x028d 000000f8: JUMPI 000000f9: PUSH1 0x00 000000fb: DUP1 000000fc: REVERT 000000fd: JUMPDEST 000000fe: DUP1 000000ff: PUSH4 0x01ffc9a7 00000104: EQ 00000105: PUSH2 0x0147 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x1c20fadd 0000010f: EQ 00000110: PUSH2 0x017c 00000113: JUMPI 00000114: DUP1 00000115: PUSH4 0x248a9ca3 0000011a: EQ 0000011b: PUSH2 0x019c 0000011e: JUMPI 0000011f: DUP1 00000120: PUSH4 0x2f2ff15d 00000125: EQ 00000126: PUSH2 0x01da 00000129: JUMPI 0000012a: DUP1 0000012b: PUSH4 0x36568abe 00000130: EQ 00000131: PUSH2 0x01fa 00000134: JUMPI 00000135: PUSH1 0x00 00000137: DUP1 00000138: REVERT 00000139: JUMPDEST 0000013a: CALLDATASIZE 0000013b: PUSH2 0x0142 0000013e: JUMPI 0000013f: STOP 00000140: JUMPDEST 00000141: STOP 00000142: JUMPDEST 00000143: PUSH1 0x00 00000145: DUP1 00000146: REVERT 00000147: JUMPDEST 00000148: CALLVALUE 00000149: DUP1 0000014a: ISZERO 0000014b: PUSH2 0x0153 0000014e: JUMPI 0000014f: PUSH1 0x00 00000151: DUP1 00000152: REVERT 00000153: JUMPDEST 00000154: POP 00000155: PUSH2 0x0167 00000158: PUSH2 0x0162 0000015b: CALLDATASIZE 0000015c: PUSH1 0x04 0000015e: PUSH2 0x193f 00000161: JUMP 00000162: JUMPDEST 00000163: PUSH2 0x042a 00000166: JUMP 00000167: JUMPDEST 00000168: PUSH1 0x40 0000016a: MLOAD 0000016b: SWAP1 0000016c: ISZERO 0000016d: ISZERO 0000016e: DUP2 0000016f: MSTORE 00000170: PUSH1 0x20 00000172: ADD 00000173: JUMPDEST 00000174: PUSH1 0x40 00000176: MLOAD 00000177: DUP1 00000178: SWAP2 00000179: SUB 0000017a: SWAP1 0000017b: RETURN 0000017c: JUMPDEST 0000017d: CALLVALUE 0000017e: DUP1 0000017f: ISZERO 00000180: PUSH2 0x0188 00000183: JUMPI 00000184: PUSH1 0x00 00000186: DUP1 00000187: REVERT 00000188: JUMPDEST 00000189: POP 0000018a: PUSH2 0x0140 0000018d: PUSH2 0x0197 00000190: CALLDATASIZE 00000191: PUSH1 0x04 00000193: PUSH2 0x197e 00000196: JUMP 00000197: JUMPDEST 00000198: PUSH2 0x0455 0000019b: JUMP 0000019c: JUMPDEST 0000019d: CALLVALUE 0000019e: DUP1 0000019f: ISZERO 000001a0: PUSH2 0x01a8 000001a3: JUMPI 000001a4: PUSH1 0x00 000001a6: DUP1 000001a7: REVERT 000001a8: JUMPDEST 000001a9: POP 000001aa: PUSH2 0x01cc 000001ad: PUSH2 0x01b7 000001b0: CALLDATASIZE 000001b1: PUSH1 0x04 000001b3: PUSH2 0x19bf 000001b6: JUMP 000001b7: JUMPDEST 000001b8: PUSH1 0x00 000001ba: SWAP1 000001bb: DUP2 000001bc: MSTORE 000001bd: PUSH1 0x65 000001bf: PUSH1 0x20 000001c1: MSTORE 000001c2: PUSH1 0x40 000001c4: SWAP1 000001c5: KECCAK256 000001c6: PUSH1 0x01 000001c8: ADD 000001c9: SLOAD 000001ca: SWAP1 000001cb: JUMP 000001cc: JUMPDEST 000001cd: PUSH1 0x40 000001cf: MLOAD 000001d0: SWAP1 000001d1: DUP2 000001d2: MSTORE 000001d3: PUSH1 0x20 000001d5: ADD 000001d6: PUSH2 0x0173 000001d9: JUMP 000001da: JUMPDEST 000001db: CALLVALUE 000001dc: DUP1 000001dd: ISZERO 000001de: PUSH2 0x01e6 000001e1: JUMPI 000001e2: PUSH1 0x00 000001e4: DUP1 000001e5: REVERT 000001e6: JUMPDEST 000001e7: POP 000001e8: PUSH2 0x0140 000001eb: PUSH2 0x01f5 000001ee: CALLDATASIZE 000001ef: PUSH1 0x04 000001f1: PUSH2 0x19d8 000001f4: JUMP 000001f5: JUMPDEST 000001f6: PUSH2 0x05cb 000001f9: JUMP 000001fa: JUMPDEST 000001fb: CALLVALUE 000001fc: DUP1 000001fd: ISZERO 000001fe: PUSH2 0x0206 00000201: JUMPI 00000202: PUSH1 0x00 00000204: DUP1 00000205: REVERT 00000206: JUMPDEST 00000207: POP 00000208: PUSH2 0x0140 0000020b: PUSH2 0x0215 0000020e: CALLDATASIZE 0000020f: PUSH1 0x04 00000211: PUSH2 0x19d8 00000214: JUMP 00000215: JUMPDEST 00000216: PUSH2 0x05f6 00000219: JUMP 0000021a: JUMPDEST 0000021b: CALLVALUE 0000021c: DUP1 0000021d: ISZERO 0000021e: PUSH2 0x0226 00000221: JUMPI 00000222: PUSH1 0x00 00000224: DUP1 00000225: REVERT 00000226: JUMPDEST 00000227: POP 00000228: PUSH2 0x0140 0000022b: PUSH2 0x0674 0000022e: JUMP 0000022f: JUMPDEST 00000230: CALLVALUE 00000231: DUP1 00000232: ISZERO 00000233: PUSH2 0x023b 00000236: JUMPI 00000237: PUSH1 0x00 00000239: DUP1 0000023a: REVERT 0000023b: JUMPDEST 0000023c: POP 0000023d: PUSH1 0x40 0000023f: MLOAD 00000240: PUSH1 0x01 00000242: DUP2 00000243: MSTORE 00000244: PUSH1 0x20 00000246: ADD 00000247: PUSH2 0x0173 0000024a: JUMP 0000024b: JUMPDEST 0000024c: CALLVALUE 0000024d: DUP1 0000024e: ISZERO 0000024f: PUSH2 0x0257 00000252: JUMPI 00000253: PUSH1 0x00 00000255: DUP1 00000256: REVERT 00000257: JUMPDEST 00000258: POP 00000259: PUSH1 0xfb 0000025b: SLOAD 0000025c: PUSH1 0xff 0000025e: AND 0000025f: PUSH2 0x0167 00000262: JUMP 00000263: JUMPDEST 00000264: CALLVALUE 00000265: DUP1 00000266: ISZERO 00000267: PUSH2 0x026f 0000026a: JUMPI 0000026b: PUSH1 0x00 0000026d: DUP1 0000026e: REVERT 0000026f: JUMPDEST 00000270: POP 00000271: PUSH2 0x0140 00000274: PUSH2 0x0696 00000277: JUMP 00000278: JUMPDEST 00000279: CALLVALUE 0000027a: DUP1 0000027b: ISZERO 0000027c: PUSH2 0x0284 0000027f: JUMPI 00000280: PUSH1 0x00 00000282: DUP1 00000283: REVERT 00000284: JUMPDEST 00000285: POP 00000286: PUSH2 0x0140 00000289: PUSH2 0x0757 0000028c: JUMP 0000028d: JUMPDEST 0000028e: CALLVALUE 0000028f: DUP1 00000290: ISZERO 00000291: PUSH2 0x0299 00000294: JUMPI 00000295: PUSH1 0x00 00000297: DUP1 00000298: REVERT 00000299: JUMPDEST 0000029a: POP 0000029b: PUSH2 0x0140 0000029e: PUSH2 0x02a8 000002a1: CALLDATASIZE 000002a2: PUSH1 0x04 000002a4: PUSH2 0x1a08 000002a7: JUMP 000002a8: JUMPDEST 000002a9: PUSH2 0x0777 000002ac: JUMP 000002ad: JUMPDEST 000002ae: CALLVALUE 000002af: DUP1 000002b0: ISZERO 000002b1: PUSH2 0x02b9 000002b4: JUMPI 000002b5: PUSH1 0x00 000002b7: DUP1 000002b8: REVERT 000002b9: JUMPDEST 000002ba: POP 000002bb: PUSH2 0x02cd 000002be: PUSH2 0x02c8 000002c1: CALLDATASIZE 000002c2: PUSH1 0x04 000002c4: PUSH2 0x1a7a 000002c7: JUMP 000002c8: JUMPDEST 000002c9: PUSH2 0x07c8 000002cc: JUMP 000002cd: JUMPDEST 000002ce: PUSH1 0x40 000002d0: MLOAD 000002d1: PUSH1 0x01 000002d3: PUSH1 0x01 000002d5: PUSH1 0xa0 000002d7: SHL 000002d8: SUB 000002d9: SWAP1 000002da: SWAP2 000002db: AND 000002dc: DUP2 000002dd: MSTORE 000002de: PUSH1 0x20 000002e0: ADD 000002e1: PUSH2 0x0173 000002e4: JUMP 000002e5: JUMPDEST 000002e6: CALLVALUE 000002e7: DUP1 000002e8: ISZERO 000002e9: PUSH2 0x02f1 000002ec: JUMPI 000002ed: PUSH1 0x00 000002ef: DUP1 000002f0: REVERT 000002f1: JUMPDEST 000002f2: POP 000002f3: PUSH2 0x0167 000002f6: PUSH2 0x0300 000002f9: CALLDATASIZE 000002fa: PUSH1 0x04 000002fc: PUSH2 0x19d8 000002ff: JUMP 00000300: JUMPDEST 00000301: PUSH2 0x07e7 00000304: JUMP 00000305: JUMPDEST 00000306: CALLVALUE 00000307: DUP1 00000308: ISZERO 00000309: PUSH2 0x0311 0000030c: JUMPI 0000030d: PUSH1 0x00 0000030f: DUP1 00000310: REVERT 00000311: JUMPDEST 00000312: POP 00000313: PUSH32 0x89ce14d20697a788f57260f7690044299bde7ea88cfb7e43d120a0c031f1ffc1 00000334: PUSH2 0x01cc 00000337: JUMP 00000338: JUMPDEST 00000339: CALLVALUE 0000033a: DUP1 0000033b: ISZERO 0000033c: PUSH2 0x0344 0000033f: JUMPI 00000340: PUSH1 0x00 00000342: DUP1 00000343: REVERT 00000344: JUMPDEST 00000345: POP 00000346: PUSH1 0x00 00000348: DUP1 00000349: MLOAD 0000034a: PUSH1 0x20 0000034c: PUSH2 0x1d33 0000034f: DUP4 00000350: CODECOPY 00000351: DUP2 00000352: MLOAD 00000353: SWAP2 00000354: MSTORE 00000355: PUSH2 0x01cc 00000358: JUMP 00000359: JUMPDEST 0000035a: CALLVALUE 0000035b: DUP1 0000035c: ISZERO 0000035d: PUSH2 0x0365 00000360: JUMPI 00000361: PUSH1 0x00 00000363: DUP1 00000364: REVERT 00000365: JUMPDEST 00000366: POP 00000367: PUSH2 0x0140 0000036a: PUSH2 0x0374 0000036d: CALLDATASIZE 0000036e: PUSH1 0x04 00000370: PUSH2 0x1a9c 00000373: JUMP 00000374: JUMPDEST 00000375: PUSH2 0x0812 00000378: JUMP 00000379: JUMPDEST 0000037a: CALLVALUE 0000037b: DUP1 0000037c: ISZERO 0000037d: PUSH2 0x0385 00000380: JUMPI 00000381: PUSH1 0x00 00000383: DUP1 00000384: REVERT 00000385: JUMPDEST 00000386: POP 00000387: PUSH2 0x01cc 0000038a: PUSH1 0x00 0000038c: DUP2 0000038d: JUMP 0000038e: JUMPDEST 0000038f: CALLVALUE 00000390: DUP1 00000391: ISZERO 00000392: PUSH2 0x039a 00000395: JUMPI 00000396: PUSH1 0x00 00000398: DUP1 00000399: REVERT 0000039a: JUMPDEST 0000039b: POP 0000039c: PUSH2 0x0167 0000039f: PUSH2 0x0adc 000003a2: JUMP 000003a3: JUMPDEST 000003a4: CALLVALUE 000003a5: DUP1 000003a6: ISZERO 000003a7: PUSH2 0x03af 000003aa: JUMPI 000003ab: PUSH1 0x00 000003ad: DUP1 000003ae: REVERT 000003af: JUMPDEST 000003b0: POP 000003b1: PUSH32 0x4cbb5676e6e25e1a3b8a36de10472bcac96f97bd8dd87af6f330881b84739eb8 000003d2: PUSH2 0x01cc 000003d5: JUMP 000003d6: JUMPDEST 000003d7: CALLVALUE 000003d8: DUP1 000003d9: ISZERO 000003da: PUSH2 0x03e2 000003dd: JUMPI 000003de: PUSH1 0x00 000003e0: DUP1 000003e1: REVERT 000003e2: JUMPDEST 000003e3: POP 000003e4: PUSH2 0x01cc 000003e7: PUSH2 0x03f1 000003ea: CALLDATASIZE 000003eb: PUSH1 0x04 000003ed: PUSH2 0x19bf 000003f0: JUMP 000003f1: JUMPDEST 000003f2: PUSH2 0x0aef 000003f5: JUMP 000003f6: JUMPDEST 000003f7: CALLVALUE 000003f8: DUP1 000003f9: ISZERO 000003fa: PUSH2 0x0402 000003fd: JUMPI 000003fe: PUSH1 0x00 00000400: DUP1 00000401: REVERT 00000402: JUMPDEST 00000403: POP 00000404: PUSH1 0x01 00000406: PUSH2 0x0167 00000409: JUMP 0000040a: JUMPDEST 0000040b: CALLVALUE 0000040c: DUP1 0000040d: ISZERO 0000040e: PUSH2 0x0416 00000411: JUMPI 00000412: PUSH1 0x00 00000414: DUP1 00000415: REVERT 00000416: JUMPDEST 00000417: POP 00000418: PUSH2 0x0140 0000041b: PUSH2 0x0425 0000041e: CALLDATASIZE 0000041f: PUSH1 0x04 00000421: PUSH2 0x19d8 00000424: JUMP 00000425: JUMPDEST 00000426: PUSH2 0x0b06 00000429: JUMP 0000042a: JUMPDEST 0000042b: PUSH1 0x00 0000042d: PUSH1 0x01 0000042f: PUSH1 0x01 00000431: PUSH1 0xe0 00000433: SHL 00000434: SUB 00000435: NOT 00000436: DUP3 00000437: AND 00000438: PUSH4 0x5a05180f 0000043d: PUSH1 0xe0 0000043f: SHL 00000440: EQ 00000441: DUP1 00000442: PUSH2 0x044f 00000445: JUMPI 00000446: POP 00000447: PUSH2 0x044f 0000044a: DUP3 0000044b: PUSH2 0x0b2c 0000044e: JUMP 0000044f: JUMPDEST 00000450: SWAP3 00000451: SWAP2 00000452: POP 00000453: POP 00000454: JUMP 00000455: JUMPDEST 00000456: DUP2 00000457: PUSH2 0x045f 0000045a: DUP2 0000045b: PUSH2 0x0b61 0000045e: JUMP 0000045f: JUMPDEST 00000460: PUSH1 0x02 00000462: PUSH2 0x012d 00000465: SLOAD 00000466: SUB 00000467: PUSH2 0x04b7 0000046a: JUMPI 0000046b: PUSH1 0x40 0000046d: MLOAD 0000046e: PUSH3 0x461bcd 00000472: PUSH1 0xe5 00000474: SHL 00000475: DUP2 00000476: MSTORE 00000477: PUSH1 0x20 00000479: PUSH1 0x04 0000047b: DUP3 0000047c: ADD 0000047d: MSTORE 0000047e: PUSH1 0x1f 00000480: PUSH1 0x24 00000482: DUP3 00000483: ADD 00000484: MSTORE 00000485: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 000004a6: PUSH1 0x44 000004a8: DUP3 000004a9: ADD 000004aa: MSTORE 000004ab: PUSH1 0x64 000004ad: ADD 000004ae: JUMPDEST 000004af: PUSH1 0x40 000004b1: MLOAD 000004b2: DUP1 000004b3: SWAP2 000004b4: SUB 000004b5: SWAP1 000004b6: REVERT 000004b7: JUMPDEST 000004b8: PUSH1 0x02 000004ba: PUSH2 0x012d 000004bd: SSTORE 000004be: PUSH1 0xfb 000004c0: SLOAD 000004c1: PUSH1 0xff 000004c3: AND 000004c4: ISZERO 000004c5: PUSH2 0x04e0 000004c8: JUMPI 000004c9: PUSH1 0x40 000004cb: MLOAD 000004cc: PUSH3 0x461bcd 000004d0: PUSH1 0xe5 000004d2: SHL 000004d3: DUP2 000004d4: MSTORE 000004d5: PUSH1 0x04 000004d7: ADD 000004d8: PUSH2 0x04ae 000004db: SWAP1 000004dc: PUSH2 0x1ac8 000004df: JUMP 000004e0: JUMPDEST 000004e1: CALLER 000004e2: DUP5 000004e3: DUP5 000004e4: DUP5 000004e5: PUSH2 0x04f0 000004e8: DUP5 000004e9: DUP5 000004ea: DUP5 000004eb: DUP5 000004ec: PUSH2 0x0b88 000004ef: JUMP 000004f0: JUMPDEST 000004f1: PUSH2 0x050d 000004f4: JUMPI 000004f5: PUSH1 0x40 000004f7: MLOAD 000004f8: PUSH4 0x4ca88867 000004fd: PUSH1 0xe0 000004ff: SHL 00000500: DUP2 00000501: MSTORE 00000502: PUSH1 0x04 00000504: ADD 00000505: PUSH1 0x40 00000507: MLOAD 00000508: DUP1 00000509: SWAP2 0000050a: SUB 0000050b: SWAP1 0000050c: REVERT 0000050d: JUMPDEST 0000050e: DUP6 0000050f: ISZERO 00000510: PUSH2 0x05bb 00000513: JUMPI 00000514: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00000529: PUSH1 0x01 0000052b: PUSH1 0x01 0000052d: PUSH1 0xa0 0000052f: SHL 00000530: SUB 00000531: DUP10 00000532: AND 00000533: SUB 00000534: PUSH2 0x054f 00000537: JUMPI 00000538: PUSH2 0x054a 0000053b: PUSH1 0x01 0000053d: PUSH1 0x01 0000053f: PUSH1 0xa0 00000541: SHL 00000542: SUB 00000543: DUP9 00000544: AND 00000545: DUP8 00000546: PUSH2 0x0c24 00000549: JUMP 0000054a: JUMPDEST 0000054b: PUSH2 0x0563 0000054e: JUMP 0000054f: JUMPDEST 00000550: PUSH2 0x0563 00000553: PUSH1 0x01 00000555: PUSH1 0x01 00000557: PUSH1 0xa0 00000559: SHL 0000055a: SUB 0000055b: DUP10 0000055c: AND 0000055d: DUP9 0000055e: DUP9 0000055f: PUSH2 0x0d3d 00000562: JUMP 00000563: JUMPDEST 00000564: DUP7 00000565: PUSH1 0x01 00000567: PUSH1 0x01 00000569: PUSH1 0xa0 0000056b: SHL 0000056c: SUB 0000056d: AND 0000056e: CALLER 0000056f: PUSH1 0x01 00000571: PUSH1 0x01 00000573: PUSH1 0xa0 00000575: SHL 00000576: SUB 00000577: AND 00000578: DUP10 00000579: PUSH1 0x01 0000057b: PUSH1 0x01 0000057d: PUSH1 0xa0 0000057f: SHL 00000580: SUB 00000581: AND 00000582: PUSH32 0xc322efa58c9cb2c39cfffdac61d35c8643f5cbf13c6a7d0034de2cf18923aff3 000005a3: DUP10 000005a4: PUSH1 0x40 000005a6: MLOAD 000005a7: PUSH2 0x05b2 000005aa: SWAP2 000005ab: DUP2 000005ac: MSTORE 000005ad: PUSH1 0x20 000005af: ADD 000005b0: SWAP1 000005b1: JUMP 000005b2: JUMPDEST 000005b3: PUSH1 0x40 000005b5: MLOAD 000005b6: DUP1 000005b7: SWAP2 000005b8: SUB 000005b9: SWAP1 000005ba: LOG4 000005bb: JUMPDEST 000005bc: POP 000005bd: POP 000005be: PUSH1 0x01 000005c0: PUSH2 0x012d 000005c3: SSTORE 000005c4: POP 000005c5: POP 000005c6: POP 000005c7: POP 000005c8: POP 000005c9: POP 000005ca: JUMP 000005cb: JUMPDEST 000005cc: PUSH1 0x00 000005ce: DUP3 000005cf: DUP2 000005d0: MSTORE 000005d1: PUSH1 0x65 000005d3: PUSH1 0x20 000005d5: MSTORE 000005d6: PUSH1 0x40 000005d8: SWAP1 000005d9: KECCAK256 000005da: PUSH1 0x01 000005dc: ADD 000005dd: SLOAD 000005de: PUSH2 0x05e7 000005e1: DUP2 000005e2: CALLER 000005e3: PUSH2 0x0dbe 000005e6: JUMP 000005e7: JUMPDEST 000005e8: PUSH2 0x05f1 000005eb: DUP4 000005ec: DUP4 000005ed: PUSH2 0x0e22 000005f0: JUMP 000005f1: JUMPDEST 000005f2: POP 000005f3: POP 000005f4: POP 000005f5: JUMP 000005f6: JUMPDEST 000005f7: PUSH1 0x01 000005f9: PUSH1 0x01 000005fb: PUSH1 0xa0 000005fd: SHL 000005fe: SUB 000005ff: DUP2 00000600: AND 00000601: CALLER 00000602: EQ 00000603: PUSH2 0x0666 00000606: JUMPI 00000607: PUSH1 0x40 00000609: MLOAD 0000060a: PUSH3 0x461bcd 0000060e: PUSH1 0xe5 00000610: SHL 00000611: DUP2 00000612: MSTORE 00000613: PUSH1 0x20 00000615: PUSH1 0x04 00000617: DUP3 00000618: ADD 00000619: MSTORE 0000061a: PUSH1 0x2f 0000061c: PUSH1 0x24 0000061e: DUP3 0000061f: ADD 00000620: MSTORE 00000621: PUSH32 0x416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e6365 00000642: PUSH1 0x44 00000644: DUP3 00000645: ADD 00000646: MSTORE 00000647: PUSH15 0x103937b632b9903337b91039b2b633 00000657: PUSH1 0x89 00000659: SHL 0000065a: PUSH1 0x64 0000065c: DUP3 0000065d: ADD 0000065e: MSTORE 0000065f: PUSH1 0x84 00000661: ADD 00000662: PUSH2 0x04ae 00000665: JUMP 00000666: JUMPDEST 00000667: PUSH2 0x0670 0000066a: DUP3 0000066b: DUP3 0000066c: PUSH2 0x0e44 0000066f: JUMP 00000670: JUMPDEST 00000671: POP 00000672: POP 00000673: JUMP 00000674: JUMPDEST 00000675: PUSH2 0x068c 00000678: PUSH1 0x00 0000067a: DUP1 0000067b: MLOAD 0000067c: PUSH1 0x20 0000067e: PUSH2 0x1d33 00000681: DUP4 00000682: CODECOPY 00000683: DUP2 00000684: MLOAD 00000685: SWAP2 00000686: MSTORE 00000687: CALLER 00000688: PUSH2 0x0e66 0000068b: JUMP 0000068c: JUMPDEST 0000068d: PUSH2 0x0694 00000690: PUSH2 0x0e8d 00000693: JUMP 00000694: JUMPDEST 00000695: JUMP 00000696: JUMPDEST 00000697: PUSH1 0x00 00000699: SLOAD 0000069a: PUSH2 0x0100 0000069d: SWAP1 0000069e: DIV 0000069f: PUSH1 0xff 000006a1: AND 000006a2: PUSH2 0x06b1 000006a5: JUMPI 000006a6: PUSH1 0x00 000006a8: SLOAD 000006a9: PUSH1 0xff 000006ab: AND 000006ac: ISZERO 000006ad: PUSH2 0x06b5 000006b0: JUMP 000006b1: JUMPDEST 000006b2: ADDRESS 000006b3: EXTCODESIZE 000006b4: ISZERO 000006b5: JUMPDEST 000006b6: PUSH2 0x0718 000006b9: JUMPI 000006ba: PUSH1 0x40 000006bc: MLOAD 000006bd: PUSH3 0x461bcd 000006c1: PUSH1 0xe5 000006c3: SHL 000006c4: DUP2 000006c5: MSTORE 000006c6: PUSH1 0x20 000006c8: PUSH1 0x04 000006ca: DUP3 000006cb: ADD 000006cc: MSTORE 000006cd: PUSH1 0x2e 000006cf: PUSH1 0x24 000006d1: DUP3 000006d2: ADD 000006d3: MSTORE 000006d4: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561 000006f5: PUSH1 0x44 000006f7: DUP3 000006f8: ADD 000006f9: MSTORE 000006fa: PUSH14 0x191e481a5b9a5d1a585b1a5e9959 00000709: PUSH1 0x92 0000070b: SHL 0000070c: PUSH1 0x64 0000070e: DUP3 0000070f: ADD 00000710: MSTORE 00000711: PUSH1 0x84 00000713: ADD 00000714: PUSH2 0x04ae 00000717: JUMP 00000718: JUMPDEST 00000719: PUSH1 0x00 0000071b: SLOAD 0000071c: PUSH2 0x0100 0000071f: SWAP1 00000720: DIV 00000721: PUSH1 0xff 00000723: AND 00000724: ISZERO 00000725: DUP1 00000726: ISZERO 00000727: PUSH2 0x073a 0000072a: JUMPI 0000072b: PUSH1 0x00 0000072d: DUP1 0000072e: SLOAD 0000072f: PUSH2 0xffff 00000732: NOT 00000733: AND 00000734: PUSH2 0x0101 00000737: OR 00000738: SWAP1 00000739: SSTORE 0000073a: JUMPDEST 0000073b: PUSH2 0x0742 0000073e: PUSH2 0x0f20 00000741: JUMP 00000742: JUMPDEST 00000743: DUP1 00000744: ISZERO 00000745: PUSH2 0x0754 00000748: JUMPI 00000749: PUSH1 0x00 0000074b: DUP1 0000074c: SLOAD 0000074d: PUSH2 0xff00 00000750: NOT 00000751: AND 00000752: SWAP1 00000753: SSTORE 00000754: JUMPDEST 00000755: POP 00000756: JUMP 00000757: JUMPDEST 00000758: PUSH2 0x076f 0000075b: PUSH1 0x00 0000075d: DUP1 0000075e: MLOAD 0000075f: PUSH1 0x20 00000761: PUSH2 0x1d33 00000764: DUP4 00000765: CODECOPY 00000766: DUP2 00000767: MLOAD 00000768: SWAP2 00000769: MSTORE 0000076a: CALLER 0000076b: PUSH2 0x0e66 0000076e: JUMP 0000076f: JUMPDEST 00000770: PUSH2 0x0694 00000773: PUSH2 0x0f57 00000776: JUMP 00000777: JUMPDEST 00000778: PUSH1 0xc9 0000077a: SLOAD 0000077b: PUSH1 0x00 0000077d: SWAP1 0000077e: PUSH2 0x078c 00000781: SWAP1 00000782: PUSH2 0xffff 00000785: AND 00000786: PUSH1 0x01 00000788: PUSH2 0x1b08 0000078b: JUMP 0000078c: JUMPDEST 0000078d: SWAP1 0000078e: POP 0000078f: PUSH2 0xffff 00000792: DUP2 00000793: AND 00000794: PUSH1 0x01 00000796: EQ 00000797: PUSH2 0x07b2 0000079a: JUMPI 0000079b: PUSH1 0x40 0000079d: MLOAD 0000079e: PUSH3 0xdc149f 000007a2: PUSH1 0xe4 000007a4: SHL 000007a5: DUP2 000007a6: MSTORE 000007a7: PUSH1 0x04 000007a9: ADD 000007aa: PUSH1 0x40 000007ac: MLOAD 000007ad: DUP1 000007ae: SWAP2 000007af: SUB 000007b0: SWAP1 000007b1: REVERT 000007b2: JUMPDEST 000007b3: PUSH1 0xc9 000007b5: DUP1 000007b6: SLOAD 000007b7: PUSH2 0xffff 000007ba: NOT 000007bb: AND 000007bc: PUSH2 0xffff 000007bf: DUP4 000007c0: AND 000007c1: OR 000007c2: SWAP1 000007c3: SSTORE 000007c4: POP 000007c5: POP 000007c6: POP 000007c7: JUMP 000007c8: JUMPDEST 000007c9: PUSH1 0x00 000007cb: DUP3 000007cc: DUP2 000007cd: MSTORE 000007ce: PUSH1 0x97 000007d0: PUSH1 0x20 000007d2: MSTORE 000007d3: PUSH1 0x40 000007d5: DUP2 000007d6: KECCAK256 000007d7: PUSH2 0x07e0 000007da: SWAP1 000007db: DUP4 000007dc: PUSH2 0x0faf 000007df: JUMP 000007e0: JUMPDEST 000007e1: SWAP4 000007e2: SWAP3 000007e3: POP 000007e4: POP 000007e5: POP 000007e6: JUMP 000007e7: JUMPDEST 000007e8: PUSH1 0x00 000007ea: SWAP2 000007eb: DUP3 000007ec: MSTORE 000007ed: PUSH1 0x65 000007ef: PUSH1 0x20 000007f1: SWAP1 000007f2: DUP2 000007f3: MSTORE 000007f4: PUSH1 0x40 000007f6: DUP1 000007f7: DUP5 000007f8: KECCAK256 000007f9: PUSH1 0x01 000007fb: PUSH1 0x01 000007fd: PUSH1 0xa0 000007ff: SHL 00000800: SUB 00000801: SWAP4 00000802: SWAP1 00000803: SWAP4 00000804: AND 00000805: DUP5 00000806: MSTORE 00000807: SWAP2 00000808: SWAP1 00000809: MSTORE 0000080a: SWAP1 0000080b: KECCAK256 0000080c: SLOAD 0000080d: PUSH1 0xff 0000080f: AND 00000810: SWAP1 00000811: JUMP 00000812: JUMPDEST 00000813: PUSH1 0x02 00000815: PUSH2 0x012d 00000818: SLOAD 00000819: SUB 0000081a: PUSH2 0x0865 0000081d: JUMPI 0000081e: PUSH1 0x40 00000820: MLOAD 00000821: PUSH3 0x461bcd 00000825: PUSH1 0xe5 00000827: SHL 00000828: DUP2 00000829: MSTORE 0000082a: PUSH1 0x20 0000082c: PUSH1 0x04 0000082e: DUP3 0000082f: ADD 00000830: MSTORE 00000831: PUSH1 0x1f 00000833: PUSH1 0x24 00000835: DUP3 00000836: ADD 00000837: MSTORE 00000838: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 00000859: PUSH1 0x44 0000085b: DUP3 0000085c: ADD 0000085d: MSTORE 0000085e: PUSH1 0x64 00000860: ADD 00000861: PUSH2 0x04ae 00000864: JUMP 00000865: JUMPDEST 00000866: PUSH1 0x02 00000868: PUSH2 0x012d 0000086b: SSTORE 0000086c: PUSH1 0xfb 0000086e: SLOAD 0000086f: PUSH1 0xff 00000871: AND 00000872: ISZERO 00000873: PUSH2 0x088e 00000876: JUMPI 00000877: PUSH1 0x40 00000879: MLOAD 0000087a: PUSH3 0x461bcd 0000087e: PUSH1 0xe5 00000880: SHL 00000881: DUP2 00000882: MSTORE 00000883: PUSH1 0x04 00000885: ADD 00000886: PUSH2 0x04ae 00000889: SWAP1 0000088a: PUSH2 0x1ac8 0000088d: JUMP 0000088e: JUMPDEST 0000088f: CALLER 00000890: DUP3 00000891: PUSH1 0x00 00000893: DUP4 00000894: PUSH2 0x089f 00000897: DUP5 00000898: DUP5 00000899: DUP5 0000089a: DUP5 0000089b: PUSH2 0x0b88 0000089e: JUMP 0000089f: JUMPDEST 000008a0: PUSH2 0x08bc 000008a3: JUMPI 000008a4: PUSH1 0x40 000008a6: MLOAD 000008a7: PUSH4 0x4ca88867 000008ac: PUSH1 0xe0 000008ae: SHL 000008af: DUP2 000008b0: MSTORE 000008b1: PUSH1 0x04 000008b3: ADD 000008b4: PUSH1 0x40 000008b6: MLOAD 000008b7: DUP1 000008b8: SWAP2 000008b9: SUB 000008ba: SWAP1 000008bb: REVERT 000008bc: JUMPDEST 000008bd: DUP5 000008be: ISZERO 000008bf: PUSH2 0x0ace 000008c2: JUMPI 000008c3: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 000008d8: PUSH1 0x01 000008da: PUSH1 0x01 000008dc: PUSH1 0xa0 000008de: SHL 000008df: SUB 000008e0: DUP8 000008e1: AND 000008e2: SUB 000008e3: PUSH2 0x08ff 000008e6: JUMPI 000008e7: PUSH1 0x40 000008e9: MLOAD 000008ea: PUSH4 0xc1ab6dc1 000008ef: PUSH1 0xe0 000008f1: SHL 000008f2: DUP2 000008f3: MSTORE 000008f4: PUSH1 0x04 000008f6: ADD 000008f7: PUSH1 0x40 000008f9: MLOAD 000008fa: DUP1 000008fb: SWAP2 000008fc: SUB 000008fd: SWAP1 000008fe: REVERT 000008ff: JUMPDEST 00000900: PUSH1 0x01 00000902: PUSH1 0x01 00000904: PUSH1 0xa0 00000906: SHL 00000907: SUB 00000908: PUSH32 0x0000000000000000000000001f573d6fb3f13d689ff844b4ce37794d79a7ff1c 00000929: DUP2 0000092a: AND 0000092b: SWAP1 0000092c: DUP8 0000092d: AND 0000092e: SUB 0000092f: PUSH2 0x09b2 00000932: JUMPI 00000933: PUSH1 0x40 00000935: MLOAD 00000936: PUSH4 0x0852cd8d 0000093b: PUSH1 0xe3 0000093d: SHL 0000093e: DUP2 0000093f: MSTORE 00000940: PUSH1 0x04 00000942: DUP2 00000943: ADD 00000944: DUP7 00000945: SWAP1 00000946: MSTORE 00000947: PUSH32 0x000000000000000000000000a489c2b5b36835a327851ab917a80562b5afc244 00000968: PUSH1 0x01 0000096a: PUSH1 0x01 0000096c: PUSH1 0xa0 0000096e: SHL 0000096f: SUB 00000970: AND 00000971: SWAP1 00000972: PUSH4 0x42966c68 00000977: SWAP1 00000978: PUSH1 0x24 0000097a: ADD 0000097b: JUMPDEST 0000097c: PUSH1 0x00 0000097e: PUSH1 0x40 00000980: MLOAD 00000981: DUP1 00000982: DUP4 00000983: SUB 00000984: DUP2 00000985: PUSH1 0x00 00000987: DUP8 00000988: DUP1 00000989: EXTCODESIZE 0000098a: ISZERO 0000098b: DUP1 0000098c: ISZERO 0000098d: PUSH2 0x0995 00000990: JUMPI 00000991: PUSH1 0x00 00000993: DUP1 00000994: REVERT 00000995: JUMPDEST 00000996: POP 00000997: GAS 00000998: CALL 00000999: ISZERO 0000099a: DUP1 0000099b: ISZERO 0000099c: PUSH2 0x09a9 0000099f: JUMPI 000009a0: RETURNDATASIZE 000009a1: PUSH1 0x00 000009a3: DUP1 000009a4: RETURNDATACOPY 000009a5: RETURNDATASIZE 000009a6: PUSH1 0x00 000009a8: REVERT 000009a9: JUMPDEST 000009aa: POP 000009ab: POP 000009ac: POP 000009ad: POP 000009ae: PUSH2 0x0a8d 000009b1: JUMP 000009b2: JUMPDEST 000009b3: PUSH1 0x01 000009b5: PUSH1 0x01 000009b7: PUSH1 0xa0 000009b9: SHL 000009ba: SUB 000009bb: PUSH32 0x00000000000000000000000048fb253446873234f2febbf9bdeaa72d9d387f94 000009dc: DUP2 000009dd: AND 000009de: SWAP1 000009df: DUP8 000009e0: AND 000009e1: SUB 000009e2: PUSH2 0x0a32 000009e5: JUMPI 000009e6: PUSH1 0x40 000009e8: MLOAD 000009e9: PUSH4 0x0852cd8d 000009ee: PUSH1 0xe3 000009f0: SHL 000009f1: DUP2 000009f2: MSTORE 000009f3: PUSH1 0x04 000009f5: DUP2 000009f6: ADD 000009f7: DUP7 000009f8: SWAP1 000009f9: MSTORE 000009fa: PUSH32 0x0000000000000000000000000887ae1251e180d7d453aedebee26e1639f20113 00000a1b: PUSH1 0x01 00000a1d: PUSH1 0x01 00000a1f: PUSH1 0xa0 00000a21: SHL 00000a22: SUB 00000a23: AND 00000a24: SWAP1 00000a25: PUSH4 0x42966c68 00000a2a: SWAP1 00000a2b: PUSH1 0x24 00000a2d: ADD 00000a2e: PUSH2 0x097b 00000a31: JUMP 00000a32: JUMPDEST 00000a33: PUSH1 0x40 00000a35: MLOAD 00000a36: PUSH4 0x0852cd8d 00000a3b: PUSH1 0xe3 00000a3d: SHL 00000a3e: DUP2 00000a3f: MSTORE 00000a40: PUSH1 0x04 00000a42: DUP2 00000a43: ADD 00000a44: DUP7 00000a45: SWAP1 00000a46: MSTORE 00000a47: PUSH1 0x01 00000a49: PUSH1 0x01 00000a4b: PUSH1 0xa0 00000a4d: SHL 00000a4e: SUB 00000a4f: DUP8 00000a50: AND 00000a51: SWAP1 00000a52: PUSH4 0x42966c68 00000a57: SWAP1 00000a58: PUSH1 0x24 00000a5a: ADD 00000a5b: PUSH1 0x00 00000a5d: PUSH1 0x40 00000a5f: MLOAD 00000a60: DUP1 00000a61: DUP4 00000a62: SUB 00000a63: DUP2 00000a64: PUSH1 0x00 00000a66: DUP8 00000a67: DUP1 00000a68: EXTCODESIZE 00000a69: ISZERO 00000a6a: DUP1 00000a6b: ISZERO 00000a6c: PUSH2 0x0a74 00000a6f: JUMPI 00000a70: PUSH1 0x00 00000a72: DUP1 00000a73: REVERT 00000a74: JUMPDEST 00000a75: POP 00000a76: GAS 00000a77: CALL 00000a78: ISZERO 00000a79: DUP1 00000a7a: ISZERO 00000a7b: PUSH2 0x0a88 00000a7e: JUMPI 00000a7f: RETURNDATASIZE 00000a80: PUSH1 0x00 00000a82: DUP1 00000a83: RETURNDATACOPY 00000a84: RETURNDATASIZE 00000a85: PUSH1 0x00 00000a87: REVERT 00000a88: JUMPDEST 00000a89: POP 00000a8a: POP 00000a8b: POP 00000a8c: POP 00000a8d: JUMPDEST 00000a8e: PUSH1 0x40 00000a90: MLOAD 00000a91: DUP6 00000a92: DUP2 00000a93: MSTORE 00000a94: CALLER 00000a95: SWAP1 00000a96: PUSH1 0x01 00000a98: PUSH1 0x01 00000a9a: PUSH1 0xa0 00000a9c: SHL 00000a9d: SUB 00000a9e: DUP9 00000a9f: AND 00000aa0: SWAP1 00000aa1: PUSH32 0xd3fda22e13f8cb743a9ceaca6e14022b6677188d20f3c3047f5c9033e07a4e87 00000ac2: SWAP1 00000ac3: PUSH1 0x20 00000ac5: ADD 00000ac6: PUSH1 0x40 00000ac8: MLOAD 00000ac9: DUP1 00000aca: SWAP2 00000acb: SUB 00000acc: SWAP1 00000acd: LOG3 00000ace: JUMPDEST 00000acf: POP 00000ad0: POP 00000ad1: PUSH1 0x01 00000ad3: PUSH2 0x012d 00000ad6: SSTORE 00000ad7: POP 00000ad8: POP 00000ad9: POP 00000ada: POP 00000adb: JUMP 00000adc: JUMPDEST 00000add: PUSH1 0x00 00000adf: PUSH2 0x0aea 00000ae2: PUSH1 0xfb 00000ae4: SLOAD 00000ae5: PUSH1 0xff 00000ae7: AND 00000ae8: SWAP1 00000ae9: JUMP 00000aea: JUMPDEST 00000aeb: SWAP1 00000aec: POP 00000aed: SWAP1 00000aee: JUMP 00000aef: JUMPDEST 00000af0: PUSH1 0x00 00000af2: DUP2 00000af3: DUP2 00000af4: MSTORE 00000af5: PUSH1 0x97 00000af7: PUSH1 0x20 00000af9: MSTORE 00000afa: PUSH1 0x40 00000afc: DUP2 00000afd: KECCAK256 00000afe: PUSH2 0x044f 00000b01: SWAP1 00000b02: PUSH2 0x0fbb 00000b05: JUMP 00000b06: JUMPDEST 00000b07: PUSH1 0x00 00000b09: DUP3 00000b0a: DUP2 00000b0b: MSTORE 00000b0c: PUSH1 0x65 00000b0e: PUSH1 0x20 00000b10: MSTORE 00000b11: PUSH1 0x40 00000b13: SWAP1 00000b14: KECCAK256 00000b15: PUSH1 0x01 00000b17: ADD 00000b18: SLOAD 00000b19: PUSH2 0x0b22 00000b1c: DUP2 00000b1d: CALLER 00000b1e: PUSH2 0x0dbe 00000b21: JUMP 00000b22: JUMPDEST 00000b23: PUSH2 0x05f1 00000b26: DUP4 00000b27: DUP4 00000b28: PUSH2 0x0e44 00000b2b: JUMP 00000b2c: JUMPDEST 00000b2d: PUSH1 0x00 00000b2f: PUSH1 0x01 00000b31: PUSH1 0x01 00000b33: PUSH1 0xe0 00000b35: SHL 00000b36: SUB 00000b37: NOT 00000b38: DUP3 00000b39: AND 00000b3a: PUSH4 0x7965db0b 00000b3f: PUSH1 0xe0 00000b41: SHL 00000b42: EQ 00000b43: DUP1 00000b44: PUSH2 0x044f 00000b47: JUMPI 00000b48: POP 00000b49: PUSH4 0x01ffc9a7 00000b4e: PUSH1 0xe0 00000b50: SHL 00000b51: PUSH1 0x01 00000b53: PUSH1 0x01 00000b55: PUSH1 0xe0 00000b57: SHL 00000b58: SUB 00000b59: NOT 00000b5a: DUP4 00000b5b: AND 00000b5c: EQ 00000b5d: PUSH2 0x044f 00000b60: JUMP 00000b61: JUMPDEST 00000b62: PUSH1 0x01 00000b64: PUSH1 0x01 00000b66: PUSH1 0xa0 00000b68: SHL 00000b69: SUB 00000b6a: DUP2 00000b6b: AND 00000b6c: PUSH2 0x0754 00000b6f: JUMPI 00000b70: PUSH1 0x40 00000b72: MLOAD 00000b73: PUSH4 0xe6c4247b 00000b78: PUSH1 0xe0 00000b7a: SHL 00000b7b: DUP2 00000b7c: MSTORE 00000b7d: PUSH1 0x04 00000b7f: ADD 00000b80: PUSH1 0x40 00000b82: MLOAD 00000b83: DUP1 00000b84: SWAP2 00000b85: SUB 00000b86: SWAP1 00000b87: REVERT 00000b88: JUMPDEST 00000b89: PUSH1 0x00 00000b8b: PUSH32 0x0000000000000000000000001f573d6fb3f13d689ff844b4ce37794d79a7ff1c 00000bac: PUSH1 0x01 00000bae: PUSH1 0x01 00000bb0: PUSH1 0xa0 00000bb2: SHL 00000bb3: SUB 00000bb4: SWAP1 00000bb5: DUP2 00000bb6: AND 00000bb7: SWAP1 00000bb8: DUP6 00000bb9: AND 00000bba: EQ 00000bbb: DUP1 00000bbc: ISZERO 00000bbd: PUSH2 0x0beb 00000bc0: JUMPI 00000bc1: POP 00000bc2: PUSH2 0x0beb 00000bc5: PUSH32 0x4cbb5676e6e25e1a3b8a36de10472bcac96f97bd8dd87af6f330881b84739eb8 00000be6: DUP7 00000be7: PUSH2 0x07e7 00000bea: JUMP 00000beb: JUMPDEST 00000bec: DUP1 00000bed: PUSH2 0x0c1b 00000bf0: JUMPI 00000bf1: POP 00000bf2: PUSH2 0x0c1b 00000bf5: PUSH32 0x89ce14d20697a788f57260f7690044299bde7ea88cfb7e43d120a0c031f1ffc1 00000c16: DUP7 00000c17: PUSH2 0x07e7 00000c1a: JUMP 00000c1b: JUMPDEST 00000c1c: SWAP6 00000c1d: SWAP5 00000c1e: POP 00000c1f: POP 00000c20: POP 00000c21: POP 00000c22: POP 00000c23: JUMP 00000c24: JUMPDEST 00000c25: DUP1 00000c26: SELFBALANCE 00000c27: LT 00000c28: ISZERO 00000c29: PUSH2 0x0c74 00000c2c: JUMPI 00000c2d: PUSH1 0x40 00000c2f: MLOAD 00000c30: PUSH3 0x461bcd 00000c34: PUSH1 0xe5 00000c36: SHL 00000c37: DUP2 00000c38: MSTORE 00000c39: PUSH1 0x20 00000c3b: PUSH1 0x04 00000c3d: DUP3 00000c3e: ADD 00000c3f: MSTORE 00000c40: PUSH1 0x1d 00000c42: PUSH1 0x24 00000c44: DUP3 00000c45: ADD 00000c46: MSTORE 00000c47: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 00000c68: PUSH1 0x44 00000c6a: DUP3 00000c6b: ADD 00000c6c: MSTORE 00000c6d: PUSH1 0x64 00000c6f: ADD 00000c70: PUSH2 0x04ae 00000c73: JUMP 00000c74: JUMPDEST 00000c75: PUSH1 0x00 00000c77: DUP3 00000c78: PUSH1 0x01 00000c7a: PUSH1 0x01 00000c7c: PUSH1 0xa0 00000c7e: SHL 00000c7f: SUB 00000c80: AND 00000c81: DUP3 00000c82: PUSH1 0x40 00000c84: MLOAD 00000c85: PUSH1 0x00 00000c87: PUSH1 0x40 00000c89: MLOAD 00000c8a: DUP1 00000c8b: DUP4 00000c8c: SUB 00000c8d: DUP2 00000c8e: DUP6 00000c8f: DUP8 00000c90: GAS 00000c91: CALL 00000c92: SWAP3 00000c93: POP 00000c94: POP 00000c95: POP 00000c96: RETURNDATASIZE 00000c97: DUP1 00000c98: PUSH1 0x00 00000c9a: DUP2 00000c9b: EQ 00000c9c: PUSH2 0x0cc1 00000c9f: JUMPI 00000ca0: PUSH1 0x40 00000ca2: MLOAD 00000ca3: SWAP2 00000ca4: POP 00000ca5: PUSH1 0x1f 00000ca7: NOT 00000ca8: PUSH1 0x3f 00000caa: RETURNDATASIZE 00000cab: ADD 00000cac: AND 00000cad: DUP3 00000cae: ADD 00000caf: PUSH1 0x40 00000cb1: MSTORE 00000cb2: RETURNDATASIZE 00000cb3: DUP3 00000cb4: MSTORE 00000cb5: RETURNDATASIZE 00000cb6: PUSH1 0x00 00000cb8: PUSH1 0x20 00000cba: DUP5 00000cbb: ADD 00000cbc: RETURNDATACOPY 00000cbd: PUSH2 0x0cc6 00000cc0: JUMP 00000cc1: JUMPDEST 00000cc2: PUSH1 0x60 00000cc4: SWAP2 00000cc5: POP 00000cc6: JUMPDEST 00000cc7: POP 00000cc8: POP 00000cc9: SWAP1 00000cca: POP 00000ccb: DUP1 00000ccc: PUSH2 0x05f1 00000ccf: JUMPI 00000cd0: PUSH1 0x40 00000cd2: MLOAD 00000cd3: PUSH3 0x461bcd 00000cd7: PUSH1 0xe5 00000cd9: SHL 00000cda: DUP2 00000cdb: MSTORE 00000cdc: PUSH1 0x20 00000cde: PUSH1 0x04 00000ce0: DUP3 00000ce1: ADD 00000ce2: MSTORE 00000ce3: PUSH1 0x3a 00000ce5: PUSH1 0x24 00000ce7: DUP3 00000ce8: ADD 00000ce9: MSTORE 00000cea: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 00000d0b: PUSH1 0x44 00000d0d: DUP3 00000d0e: ADD 00000d0f: MSTORE 00000d10: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000 00000d31: PUSH1 0x64 00000d33: DUP3 00000d34: ADD 00000d35: MSTORE 00000d36: PUSH1 0x84 00000d38: ADD 00000d39: PUSH2 0x04ae 00000d3c: JUMP 00000d3d: JUMPDEST 00000d3e: DUP1 00000d3f: PUSH1 0x00 00000d41: SUB 00000d42: PUSH2 0x0d4a 00000d45: JUMPI 00000d46: POP 00000d47: POP 00000d48: POP 00000d49: JUMP 00000d4a: JUMPDEST 00000d4b: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00000d60: PUSH1 0x01 00000d62: PUSH1 0x01 00000d64: PUSH1 0xa0 00000d66: SHL 00000d67: SUB 00000d68: DUP5 00000d69: AND 00000d6a: SUB 00000d6b: PUSH2 0x0daa 00000d6e: JUMPI 00000d6f: PUSH1 0x40 00000d71: MLOAD 00000d72: PUSH1 0x01 00000d74: PUSH1 0x01 00000d76: PUSH1 0xa0 00000d78: SHL 00000d79: SUB 00000d7a: DUP4 00000d7b: AND 00000d7c: SWAP1 00000d7d: DUP3 00000d7e: ISZERO 00000d7f: PUSH2 0x08fc 00000d82: MUL 00000d83: SWAP1 00000d84: DUP4 00000d85: SWAP1 00000d86: PUSH1 0x00 00000d88: DUP2 00000d89: DUP2 00000d8a: DUP2 00000d8b: DUP6 00000d8c: DUP9 00000d8d: DUP9 00000d8e: CALL 00000d8f: SWAP4 00000d90: POP 00000d91: POP 00000d92: POP 00000d93: POP 00000d94: ISZERO 00000d95: DUP1 00000d96: ISZERO 00000d97: PUSH2 0x0da4 00000d9a: JUMPI 00000d9b: RETURNDATASIZE 00000d9c: PUSH1 0x00 00000d9e: DUP1 00000d9f: RETURNDATACOPY 00000da0: RETURNDATASIZE 00000da1: PUSH1 0x00 00000da3: REVERT 00000da4: JUMPDEST 00000da5: POP 00000da6: POP 00000da7: POP 00000da8: POP 00000da9: JUMP 00000daa: JUMPDEST 00000dab: PUSH2 0x05f1 00000dae: PUSH1 0x01 00000db0: PUSH1 0x01 00000db2: PUSH1 0xa0 00000db4: SHL 00000db5: SUB 00000db6: DUP5 00000db7: AND 00000db8: DUP4 00000db9: DUP4 00000dba: PUSH2 0x0fc5 00000dbd: JUMP 00000dbe: JUMPDEST 00000dbf: PUSH2 0x0dc8 00000dc2: DUP3 00000dc3: DUP3 00000dc4: PUSH2 0x07e7 00000dc7: JUMP 00000dc8: JUMPDEST 00000dc9: PUSH2 0x0670 00000dcc: JUMPI 00000dcd: PUSH2 0x0de0 00000dd0: DUP2 00000dd1: PUSH1 0x01 00000dd3: PUSH1 0x01 00000dd5: PUSH1 0xa0 00000dd7: SHL 00000dd8: SUB 00000dd9: AND 00000dda: PUSH1 0x14 00000ddc: PUSH2 0x1017 00000ddf: JUMP 00000de0: JUMPDEST 00000de1: PUSH2 0x0deb 00000de4: DUP4 00000de5: PUSH1 0x20 00000de7: PUSH2 0x1017 00000dea: JUMP 00000deb: JUMPDEST 00000dec: PUSH1 0x40 00000dee: MLOAD 00000def: PUSH1 0x20 00000df1: ADD 00000df2: PUSH2 0x0dfc 00000df5: SWAP3 00000df6: SWAP2 00000df7: SWAP1 00000df8: PUSH2 0x1b5a 00000dfb: JUMP 00000dfc: JUMPDEST 00000dfd: PUSH1 0x40 00000dff: DUP1 00000e00: MLOAD 00000e01: PUSH1 0x1f 00000e03: NOT 00000e04: DUP2 00000e05: DUP5 00000e06: SUB 00000e07: ADD 00000e08: DUP2 00000e09: MSTORE 00000e0a: SWAP1 00000e0b: DUP3 00000e0c: SWAP1 00000e0d: MSTORE 00000e0e: PUSH3 0x461bcd 00000e12: PUSH1 0xe5 00000e14: SHL 00000e15: DUP3 00000e16: MSTORE 00000e17: PUSH2 0x04ae 00000e1a: SWAP2 00000e1b: PUSH1 0x04 00000e1d: ADD 00000e1e: PUSH2 0x1bcf 00000e21: JUMP 00000e22: JUMPDEST 00000e23: PUSH2 0x0e2c 00000e26: DUP3 00000e27: DUP3 00000e28: PUSH2 0x11b3 00000e2b: JUMP 00000e2c: JUMPDEST 00000e2d: PUSH1 0x00 00000e2f: DUP3 00000e30: DUP2 00000e31: MSTORE 00000e32: PUSH1 0x97 00000e34: PUSH1 0x20 00000e36: MSTORE 00000e37: PUSH1 0x40 00000e39: SWAP1 00000e3a: KECCAK256 00000e3b: PUSH2 0x05f1 00000e3e: SWAP1 00000e3f: DUP3 00000e40: PUSH2 0x1239 00000e43: JUMP 00000e44: JUMPDEST 00000e45: PUSH2 0x0e4e 00000e48: DUP3 00000e49: DUP3 00000e4a: PUSH2 0x124e 00000e4d: JUMP 00000e4e: JUMPDEST 00000e4f: PUSH1 0x00 00000e51: DUP3 00000e52: DUP2 00000e53: MSTORE 00000e54: PUSH1 0x97 00000e56: PUSH1 0x20 00000e58: MSTORE 00000e59: PUSH1 0x40 00000e5b: SWAP1 00000e5c: KECCAK256 00000e5d: PUSH2 0x05f1 00000e60: SWAP1 00000e61: DUP3 00000e62: PUSH2 0x12b5 00000e65: JUMP 00000e66: JUMPDEST 00000e67: PUSH2 0x0e70 00000e6a: DUP3 00000e6b: DUP3 00000e6c: PUSH2 0x07e7 00000e6f: JUMP 00000e70: JUMPDEST 00000e71: PUSH2 0x0670 00000e74: JUMPI 00000e75: PUSH1 0x40 00000e77: MLOAD 00000e78: PUSH4 0x4ca88867 00000e7d: PUSH1 0xe0 00000e7f: SHL 00000e80: DUP2 00000e81: MSTORE 00000e82: PUSH1 0x04 00000e84: ADD 00000e85: PUSH1 0x40 00000e87: MLOAD 00000e88: DUP1 00000e89: SWAP2 00000e8a: SUB 00000e8b: SWAP1 00000e8c: REVERT 00000e8d: JUMPDEST 00000e8e: PUSH1 0xfb 00000e90: SLOAD 00000e91: PUSH1 0xff 00000e93: AND 00000e94: PUSH2 0x0ed6 00000e97: JUMPI 00000e98: PUSH1 0x40 00000e9a: MLOAD 00000e9b: PUSH3 0x461bcd 00000e9f: PUSH1 0xe5 00000ea1: SHL 00000ea2: DUP2 00000ea3: MSTORE 00000ea4: PUSH1 0x20 00000ea6: PUSH1 0x04 00000ea8: DUP3 00000ea9: ADD 00000eaa: MSTORE 00000eab: PUSH1 0x14 00000ead: PUSH1 0x24 00000eaf: DUP3 00000eb0: ADD 00000eb1: MSTORE 00000eb2: PUSH20 0x14185d5cd8589b194e881b9bdd081c185d5cd959 00000ec7: PUSH1 0x62 00000ec9: SHL 00000eca: PUSH1 0x44 00000ecc: DUP3 00000ecd: ADD 00000ece: MSTORE 00000ecf: PUSH1 0x64 00000ed1: ADD 00000ed2: PUSH2 0x04ae 00000ed5: JUMP 00000ed6: JUMPDEST 00000ed7: PUSH1 0xfb 00000ed9: DUP1 00000eda: SLOAD 00000edb: PUSH1 0xff 00000edd: NOT 00000ede: AND 00000edf: SWAP1 00000ee0: SSTORE 00000ee1: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 00000f02: CALLER 00000f03: JUMPDEST 00000f04: PUSH1 0x40 00000f06: MLOAD 00000f07: PUSH1 0x01 00000f09: PUSH1 0x01 00000f0b: PUSH1 0xa0 00000f0d: SHL 00000f0e: SUB 00000f0f: SWAP1 00000f10: SWAP2 00000f11: AND 00000f12: DUP2 00000f13: MSTORE 00000f14: PUSH1 0x20 00000f16: ADD 00000f17: PUSH1 0x40 00000f19: MLOAD 00000f1a: DUP1 00000f1b: SWAP2 00000f1c: SUB 00000f1d: SWAP1 00000f1e: LOG1 00000f1f: JUMP 00000f20: JUMPDEST 00000f21: PUSH1 0x00 00000f23: SLOAD 00000f24: PUSH2 0x0100 00000f27: SWAP1 00000f28: DIV 00000f29: PUSH1 0xff 00000f2b: AND 00000f2c: PUSH2 0x0f47 00000f2f: JUMPI 00000f30: PUSH1 0x40 00000f32: MLOAD 00000f33: PUSH3 0x461bcd 00000f37: PUSH1 0xe5 00000f39: SHL 00000f3a: DUP2 00000f3b: MSTORE 00000f3c: PUSH1 0x04 00000f3e: ADD 00000f3f: PUSH2 0x04ae 00000f42: SWAP1 00000f43: PUSH2 0x1c02 00000f46: JUMP 00000f47: JUMPDEST 00000f48: PUSH2 0x0f4f 00000f4b: PUSH2 0x12ca 00000f4e: JUMP 00000f4f: JUMPDEST 00000f50: PUSH2 0x0694 00000f53: PUSH2 0x1311 00000f56: JUMP 00000f57: JUMPDEST 00000f58: PUSH1 0xfb 00000f5a: SLOAD 00000f5b: PUSH1 0xff 00000f5d: AND 00000f5e: ISZERO 00000f5f: PUSH2 0x0f7a 00000f62: JUMPI 00000f63: PUSH1 0x40 00000f65: MLOAD 00000f66: PUSH3 0x461bcd 00000f6a: PUSH1 0xe5 00000f6c: SHL 00000f6d: DUP2 00000f6e: MSTORE 00000f6f: PUSH1 0x04 00000f71: ADD 00000f72: PUSH2 0x04ae 00000f75: SWAP1 00000f76: PUSH2 0x1ac8 00000f79: JUMP 00000f7a: JUMPDEST 00000f7b: PUSH1 0xfb 00000f7d: DUP1 00000f7e: SLOAD 00000f7f: PUSH1 0xff 00000f81: NOT 00000f82: AND 00000f83: PUSH1 0x01 00000f85: OR 00000f86: SWAP1 00000f87: SSTORE 00000f88: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 00000fa9: PUSH2 0x0f03 00000fac: CALLER 00000fad: SWAP1 00000fae: JUMP 00000faf: JUMPDEST 00000fb0: PUSH1 0x00 00000fb2: PUSH2 0x07e0 00000fb5: DUP4 00000fb6: DUP4 00000fb7: PUSH2 0x13a8 00000fba: JUMP 00000fbb: JUMPDEST 00000fbc: PUSH1 0x00 00000fbe: PUSH2 0x044f 00000fc1: DUP3 00000fc2: SLOAD 00000fc3: SWAP1 00000fc4: JUMP 00000fc5: JUMPDEST 00000fc6: PUSH1 0x40 00000fc8: DUP1 00000fc9: MLOAD 00000fca: PUSH1 0x01 00000fcc: PUSH1 0x01 00000fce: PUSH1 0xa0 00000fd0: SHL 00000fd1: SUB 00000fd2: DUP5 00000fd3: AND 00000fd4: PUSH1 0x24 00000fd6: DUP3 00000fd7: ADD 00000fd8: MSTORE 00000fd9: PUSH1 0x44 00000fdb: DUP1 00000fdc: DUP3 00000fdd: ADD 00000fde: DUP5 00000fdf: SWAP1 00000fe0: MSTORE 00000fe1: DUP3 00000fe2: MLOAD 00000fe3: DUP1 00000fe4: DUP4 00000fe5: SUB 00000fe6: SWAP1 00000fe7: SWAP2 00000fe8: ADD 00000fe9: DUP2 00000fea: MSTORE 00000feb: PUSH1 0x64 00000fed: SWAP1 00000fee: SWAP2 00000fef: ADD 00000ff0: SWAP1 00000ff1: SWAP2 00000ff2: MSTORE 00000ff3: PUSH1 0x20 00000ff5: DUP2 00000ff6: ADD 00000ff7: DUP1 00000ff8: MLOAD 00000ff9: PUSH1 0x01 00000ffb: PUSH1 0x01 00000ffd: PUSH1 0xe0 00000fff: SHL 00001000: SUB 00001001: AND 00001002: PUSH4 0xa9059cbb 00001007: PUSH1 0xe0 00001009: SHL 0000100a: OR 0000100b: SWAP1 0000100c: MSTORE 0000100d: PUSH2 0x05f1 00001010: SWAP1 00001011: DUP5 00001012: SWAP1 00001013: PUSH2 0x13d2 00001016: JUMP 00001017: JUMPDEST 00001018: PUSH1 0x60 0000101a: PUSH1 0x00 0000101c: PUSH2 0x1026 0000101f: DUP4 00001020: PUSH1 0x02 00001022: PUSH2 0x1c4d 00001025: JUMP 00001026: JUMPDEST 00001027: PUSH2 0x1031 0000102a: SWAP1 0000102b: PUSH1 0x02 0000102d: PUSH2 0x1c6c 00001030: JUMP 00001031: JUMPDEST 00001032: PUSH8 0xffffffffffffffff 0000103b: DUP2 0000103c: GT 0000103d: ISZERO 0000103e: PUSH2 0x1049 00001041: JUMPI 00001042: PUSH2 0x1049 00001045: PUSH2 0x1c84 00001048: JUMP 00001049: JUMPDEST 0000104a: PUSH1 0x40 0000104c: MLOAD 0000104d: SWAP1 0000104e: DUP1 0000104f: DUP3 00001050: MSTORE 00001051: DUP1 00001052: PUSH1 0x1f 00001054: ADD 00001055: PUSH1 0x1f 00001057: NOT 00001058: AND 00001059: PUSH1 0x20 0000105b: ADD 0000105c: DUP3 0000105d: ADD 0000105e: PUSH1 0x40 00001060: MSTORE 00001061: DUP1 00001062: ISZERO 00001063: PUSH2 0x1073 00001066: JUMPI 00001067: PUSH1 0x20 00001069: DUP3 0000106a: ADD 0000106b: DUP2 0000106c: DUP1 0000106d: CALLDATASIZE 0000106e: DUP4 0000106f: CALLDATACOPY 00001070: ADD 00001071: SWAP1 00001072: POP 00001073: JUMPDEST 00001074: POP 00001075: SWAP1 00001076: POP 00001077: PUSH1 0x03 00001079: PUSH1 0xfc 0000107b: SHL 0000107c: DUP2 0000107d: PUSH1 0x00 0000107f: DUP2 00001080: MLOAD 00001081: DUP2 00001082: LT 00001083: PUSH2 0x108e 00001086: JUMPI 00001087: PUSH2 0x108e 0000108a: PUSH2 0x1c9a 0000108d: JUMP 0000108e: JUMPDEST 0000108f: PUSH1 0x20 00001091: ADD 00001092: ADD 00001093: SWAP1 00001094: PUSH1 0x01 00001096: PUSH1 0x01 00001098: PUSH1 0xf8 0000109a: SHL 0000109b: SUB 0000109c: NOT 0000109d: AND 0000109e: SWAP1 0000109f: DUP2 000010a0: PUSH1 0x00 000010a2: BYTE 000010a3: SWAP1 000010a4: MSTORE8 000010a5: POP 000010a6: PUSH1 0x0f 000010a8: PUSH1 0xfb 000010aa: SHL 000010ab: DUP2 000010ac: PUSH1 0x01 000010ae: DUP2 000010af: MLOAD 000010b0: DUP2 000010b1: LT 000010b2: PUSH2 0x10bd 000010b5: JUMPI 000010b6: PUSH2 0x10bd 000010b9: PUSH2 0x1c9a 000010bc: JUMP 000010bd: JUMPDEST 000010be: PUSH1 0x20 000010c0: ADD 000010c1: ADD 000010c2: SWAP1 000010c3: PUSH1 0x01 000010c5: PUSH1 0x01 000010c7: PUSH1 0xf8 000010c9: SHL 000010ca: SUB 000010cb: NOT 000010cc: AND 000010cd: SWAP1 000010ce: DUP2 000010cf: PUSH1 0x00 000010d1: BYTE 000010d2: SWAP1 000010d3: MSTORE8 000010d4: POP 000010d5: PUSH1 0x00 000010d7: PUSH2 0x10e1 000010da: DUP5 000010db: PUSH1 0x02 000010dd: PUSH2 0x1c4d 000010e0: JUMP 000010e1: JUMPDEST 000010e2: PUSH2 0x10ec 000010e5: SWAP1 000010e6: PUSH1 0x01 000010e8: PUSH2 0x1c6c 000010eb: JUMP 000010ec: JUMPDEST 000010ed: SWAP1 000010ee: POP 000010ef: JUMPDEST 000010f0: PUSH1 0x01 000010f2: DUP2 000010f3: GT 000010f4: ISZERO 000010f5: PUSH2 0x1164 000010f8: JUMPI 000010f9: PUSH16 0x181899199a1a9b1b9c1cb0b131b232b3 0000110a: PUSH1 0x81 0000110c: SHL 0000110d: DUP6 0000110e: PUSH1 0x0f 00001110: AND 00001111: PUSH1 0x10 00001113: DUP2 00001114: LT 00001115: PUSH2 0x1120 00001118: JUMPI 00001119: PUSH2 0x1120 0000111c: PUSH2 0x1c9a 0000111f: JUMP 00001120: JUMPDEST 00001121: BYTE 00001122: PUSH1 0xf8 00001124: SHL 00001125: DUP3 00001126: DUP3 00001127: DUP2 00001128: MLOAD 00001129: DUP2 0000112a: LT 0000112b: PUSH2 0x1136 0000112e: JUMPI 0000112f: PUSH2 0x1136 00001132: PUSH2 0x1c9a 00001135: JUMP 00001136: JUMPDEST 00001137: PUSH1 0x20 00001139: ADD 0000113a: ADD 0000113b: SWAP1 0000113c: PUSH1 0x01 0000113e: PUSH1 0x01 00001140: PUSH1 0xf8 00001142: SHL 00001143: SUB 00001144: NOT 00001145: AND 00001146: SWAP1 00001147: DUP2 00001148: PUSH1 0x00 0000114a: BYTE 0000114b: SWAP1 0000114c: MSTORE8 0000114d: POP 0000114e: PUSH1 0x04 00001150: SWAP5 00001151: SWAP1 00001152: SWAP5 00001153: SHR 00001154: SWAP4 00001155: PUSH2 0x115d 00001158: DUP2 00001159: PUSH2 0x1cb0 0000115c: JUMP 0000115d: JUMPDEST 0000115e: SWAP1 0000115f: POP 00001160: PUSH2 0x10ef 00001163: JUMP 00001164: JUMPDEST 00001165: POP 00001166: DUP4 00001167: ISZERO 00001168: PUSH2 0x07e0 0000116b: JUMPI 0000116c: PUSH1 0x40 0000116e: MLOAD 0000116f: PUSH3 0x461bcd 00001173: PUSH1 0xe5 00001175: SHL 00001176: DUP2 00001177: MSTORE 00001178: PUSH1 0x20 0000117a: PUSH1 0x04 0000117c: DUP3 0000117d: ADD 0000117e: DUP2 0000117f: SWAP1 00001180: MSTORE 00001181: PUSH1 0x24 00001183: DUP3 00001184: ADD 00001185: MSTORE 00001186: PUSH32 0x537472696e67733a20686578206c656e67746820696e73756666696369656e74 000011a7: PUSH1 0x44 000011a9: DUP3 000011aa: ADD 000011ab: MSTORE 000011ac: PUSH1 0x64 000011ae: ADD 000011af: PUSH2 0x04ae 000011b2: JUMP 000011b3: JUMPDEST 000011b4: PUSH2 0x11bd 000011b7: DUP3 000011b8: DUP3 000011b9: PUSH2 0x07e7 000011bc: JUMP 000011bd: JUMPDEST 000011be: PUSH2 0x0670 000011c1: JUMPI 000011c2: PUSH1 0x00 000011c4: DUP3 000011c5: DUP2 000011c6: MSTORE 000011c7: PUSH1 0x65 000011c9: PUSH1 0x20 000011cb: SWAP1 000011cc: DUP2 000011cd: MSTORE 000011ce: PUSH1 0x40 000011d0: DUP1 000011d1: DUP4 000011d2: KECCAK256 000011d3: PUSH1 0x01 000011d5: PUSH1 0x01 000011d7: PUSH1 0xa0 000011d9: SHL 000011da: SUB 000011db: DUP6 000011dc: AND 000011dd: DUP5 000011de: MSTORE 000011df: SWAP1 000011e0: SWAP2 000011e1: MSTORE 000011e2: SWAP1 000011e3: KECCAK256 000011e4: DUP1 000011e5: SLOAD 000011e6: PUSH1 0xff 000011e8: NOT 000011e9: AND 000011ea: PUSH1 0x01 000011ec: OR 000011ed: SWAP1 000011ee: SSTORE 000011ef: PUSH2 0x11f5 000011f2: CALLER 000011f3: SWAP1 000011f4: JUMP 000011f5: JUMPDEST 000011f6: PUSH1 0x01 000011f8: PUSH1 0x01 000011fa: PUSH1 0xa0 000011fc: SHL 000011fd: SUB 000011fe: AND 000011ff: DUP2 00001200: PUSH1 0x01 00001202: PUSH1 0x01 00001204: PUSH1 0xa0 00001206: SHL 00001207: SUB 00001208: AND 00001209: DUP4 0000120a: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d 0000122b: PUSH1 0x40 0000122d: MLOAD 0000122e: PUSH1 0x40 00001230: MLOAD 00001231: DUP1 00001232: SWAP2 00001233: SUB 00001234: SWAP1 00001235: LOG4 00001236: POP 00001237: POP 00001238: JUMP 00001239: JUMPDEST 0000123a: PUSH1 0x00 0000123c: PUSH2 0x07e0 0000123f: DUP4 00001240: PUSH1 0x01 00001242: PUSH1 0x01 00001244: PUSH1 0xa0 00001246: SHL 00001247: SUB 00001248: DUP5 00001249: AND 0000124a: PUSH2 0x14a4 0000124d: JUMP 0000124e: JUMPDEST 0000124f: PUSH2 0x1258 00001252: DUP3 00001253: DUP3 00001254: PUSH2 0x07e7 00001257: JUMP 00001258: JUMPDEST 00001259: ISZERO 0000125a: PUSH2 0x0670 0000125d: JUMPI 0000125e: PUSH1 0x00 00001260: DUP3 00001261: DUP2 00001262: MSTORE 00001263: PUSH1 0x65 00001265: PUSH1 0x20 00001267: SWAP1 00001268: DUP2 00001269: MSTORE 0000126a: PUSH1 0x40 0000126c: DUP1 0000126d: DUP4 0000126e: KECCAK256 0000126f: PUSH1 0x01 00001271: PUSH1 0x01 00001273: PUSH1 0xa0 00001275: SHL 00001276: SUB 00001277: DUP6 00001278: AND 00001279: DUP1 0000127a: DUP6 0000127b: MSTORE 0000127c: SWAP3 0000127d: MSTORE 0000127e: DUP1 0000127f: DUP4 00001280: KECCAK256 00001281: DUP1 00001282: SLOAD 00001283: PUSH1 0xff 00001285: NOT 00001286: AND 00001287: SWAP1 00001288: SSTORE 00001289: MLOAD 0000128a: CALLER 0000128b: SWAP3 0000128c: DUP6 0000128d: SWAP2 0000128e: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b 000012af: SWAP2 000012b0: SWAP1 000012b1: LOG4 000012b2: POP 000012b3: POP 000012b4: JUMP 000012b5: JUMPDEST 000012b6: PUSH1 0x00 000012b8: PUSH2 0x07e0 000012bb: DUP4 000012bc: PUSH1 0x01 000012be: PUSH1 0x01 000012c0: PUSH1 0xa0 000012c2: SHL 000012c3: SUB 000012c4: DUP5 000012c5: AND 000012c6: PUSH2 0x14f3 000012c9: JUMP 000012ca: JUMPDEST 000012cb: PUSH1 0x00 000012cd: SLOAD 000012ce: PUSH2 0x0100 000012d1: SWAP1 000012d2: DIV 000012d3: PUSH1 0xff 000012d5: AND 000012d6: PUSH2 0x12f1 000012d9: JUMPI 000012da: PUSH1 0x40 000012dc: MLOAD 000012dd: PUSH3 0x461bcd 000012e1: PUSH1 0xe5 000012e3: SHL 000012e4: DUP2 000012e5: MSTORE 000012e6: PUSH1 0x04 000012e8: ADD 000012e9: PUSH2 0x04ae 000012ec: SWAP1 000012ed: PUSH2 0x1c02 000012f0: JUMP 000012f1: JUMPDEST 000012f2: PUSH2 0x12f9 000012f5: PUSH2 0x15e6 000012f8: JUMP 000012f9: JUMPDEST 000012fa: PUSH2 0x1301 000012fd: PUSH2 0x161d 00001300: JUMP 00001301: JUMPDEST 00001302: PUSH2 0x1309 00001305: PUSH2 0x164c 00001308: JUMP 00001309: JUMPDEST 0000130a: PUSH2 0x0694 0000130d: PUSH2 0x167b 00001310: JUMP 00001311: JUMPDEST 00001312: PUSH1 0x00 00001314: SLOAD 00001315: PUSH2 0x0100 00001318: SWAP1 00001319: DIV 0000131a: PUSH1 0xff 0000131c: AND 0000131d: PUSH2 0x1338 00001320: JUMPI 00001321: PUSH1 0x40 00001323: MLOAD 00001324: PUSH3 0x461bcd 00001328: PUSH1 0xe5 0000132a: SHL 0000132b: DUP2 0000132c: MSTORE 0000132d: PUSH1 0x04 0000132f: ADD 00001330: PUSH2 0x04ae 00001333: SWAP1 00001334: PUSH2 0x1c02 00001337: JUMP 00001338: JUMPDEST 00001339: PUSH2 0x1370 0000133c: PUSH32 0x89ce14d20697a788f57260f7690044299bde7ea88cfb7e43d120a0c031f1ffc1 0000135d: PUSH1 0x00 0000135f: DUP1 00001360: MLOAD 00001361: PUSH1 0x20 00001363: PUSH2 0x1d33 00001366: DUP4 00001367: CODECOPY 00001368: DUP2 00001369: MLOAD 0000136a: SWAP2 0000136b: MSTORE 0000136c: PUSH2 0x16a2 0000136f: JUMP 00001370: JUMPDEST 00001371: PUSH2 0x0694 00001374: PUSH32 0x4cbb5676e6e25e1a3b8a36de10472bcac96f97bd8dd87af6f330881b84739eb8 00001395: PUSH1 0x00 00001397: DUP1 00001398: MLOAD 00001399: PUSH1 0x20 0000139b: PUSH2 0x1d33 0000139e: DUP4 0000139f: CODECOPY 000013a0: DUP2 000013a1: MLOAD 000013a2: SWAP2 000013a3: MSTORE 000013a4: PUSH2 0x16a2 000013a7: JUMP 000013a8: JUMPDEST 000013a9: PUSH1 0x00 000013ab: DUP3 000013ac: PUSH1 0x00 000013ae: ADD 000013af: DUP3 000013b0: DUP2 000013b1: SLOAD 000013b2: DUP2 000013b3: LT 000013b4: PUSH2 0x13bf 000013b7: JUMPI 000013b8: PUSH2 0x13bf 000013bb: PUSH2 0x1c9a 000013be: JUMP 000013bf: JUMPDEST 000013c0: SWAP1 000013c1: PUSH1 0x00 000013c3: MSTORE 000013c4: PUSH1 0x20 000013c6: PUSH1 0x00 000013c8: KECCAK256 000013c9: ADD 000013ca: SLOAD 000013cb: SWAP1 000013cc: POP 000013cd: SWAP3 000013ce: SWAP2 000013cf: POP 000013d0: POP 000013d1: JUMP 000013d2: JUMPDEST 000013d3: PUSH1 0x00 000013d5: PUSH2 0x1427 000013d8: DUP3 000013d9: PUSH1 0x40 000013db: MLOAD 000013dc: DUP1 000013dd: PUSH1 0x40 000013df: ADD 000013e0: PUSH1 0x40 000013e2: MSTORE 000013e3: DUP1 000013e4: PUSH1 0x20 000013e6: DUP2 000013e7: MSTORE 000013e8: PUSH1 0x20 000013ea: ADD 000013eb: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 0000140c: DUP2 0000140d: MSTORE 0000140e: POP 0000140f: DUP6 00001410: PUSH1 0x01 00001412: PUSH1 0x01 00001414: PUSH1 0xa0 00001416: SHL 00001417: SUB 00001418: AND 00001419: PUSH2 0x16ed 0000141c: SWAP1 0000141d: SWAP3 0000141e: SWAP2 0000141f: SWAP1 00001420: PUSH4 0xffffffff 00001425: AND 00001426: JUMP 00001427: JUMPDEST 00001428: DUP1 00001429: MLOAD 0000142a: SWAP1 0000142b: SWAP2 0000142c: POP 0000142d: ISZERO 0000142e: PUSH2 0x05f1 00001431: JUMPI 00001432: DUP1 00001433: DUP1 00001434: PUSH1 0x20 00001436: ADD 00001437: SWAP1 00001438: MLOAD 00001439: DUP2 0000143a: ADD 0000143b: SWAP1 0000143c: PUSH2 0x1445 0000143f: SWAP2 00001440: SWAP1 00001441: PUSH2 0x1cc7 00001444: JUMP 00001445: JUMPDEST 00001446: PUSH2 0x05f1 00001449: JUMPI 0000144a: PUSH1 0x40 0000144c: MLOAD 0000144d: PUSH3 0x461bcd 00001451: PUSH1 0xe5 00001453: SHL 00001454: DUP2 00001455: MSTORE 00001456: PUSH1 0x20 00001458: PUSH1 0x04 0000145a: DUP3 0000145b: ADD 0000145c: MSTORE 0000145d: PUSH1 0x2a 0000145f: PUSH1 0x24 00001461: DUP3 00001462: ADD 00001463: MSTORE 00001464: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00001485: PUSH1 0x44 00001487: DUP3 00001488: ADD 00001489: MSTORE 0000148a: PUSH10 0x1bdd081cdd58d8d95959 00001495: PUSH1 0xb2 00001497: SHL 00001498: PUSH1 0x64 0000149a: DUP3 0000149b: ADD 0000149c: MSTORE 0000149d: PUSH1 0x84 0000149f: ADD 000014a0: PUSH2 0x04ae 000014a3: JUMP 000014a4: JUMPDEST 000014a5: PUSH1 0x00 000014a7: DUP2 000014a8: DUP2 000014a9: MSTORE 000014aa: PUSH1 0x01 000014ac: DUP4 000014ad: ADD 000014ae: PUSH1 0x20 000014b0: MSTORE 000014b1: PUSH1 0x40 000014b3: DUP2 000014b4: KECCAK256 000014b5: SLOAD 000014b6: PUSH2 0x14eb 000014b9: JUMPI 000014ba: POP 000014bb: DUP2 000014bc: SLOAD 000014bd: PUSH1 0x01 000014bf: DUP2 000014c0: DUP2 000014c1: ADD 000014c2: DUP5 000014c3: SSTORE 000014c4: PUSH1 0x00 000014c6: DUP5 000014c7: DUP2 000014c8: MSTORE 000014c9: PUSH1 0x20 000014cb: DUP1 000014cc: DUP3 000014cd: KECCAK256 000014ce: SWAP1 000014cf: SWAP4 000014d0: ADD 000014d1: DUP5 000014d2: SWAP1 000014d3: SSTORE 000014d4: DUP5 000014d5: SLOAD 000014d6: DUP5 000014d7: DUP3 000014d8: MSTORE 000014d9: DUP3 000014da: DUP7 000014db: ADD 000014dc: SWAP1 000014dd: SWAP4 000014de: MSTORE 000014df: PUSH1 0x40 000014e1: SWAP1 000014e2: KECCAK256 000014e3: SWAP2 000014e4: SWAP1 000014e5: SWAP2 000014e6: SSTORE 000014e7: PUSH2 0x044f 000014ea: JUMP 000014eb: JUMPDEST 000014ec: POP 000014ed: PUSH1 0x00 000014ef: PUSH2 0x044f 000014f2: JUMP 000014f3: JUMPDEST 000014f4: PUSH1 0x00 000014f6: DUP2 000014f7: DUP2 000014f8: MSTORE 000014f9: PUSH1 0x01 000014fb: DUP4 000014fc: ADD 000014fd: PUSH1 0x20 000014ff: MSTORE 00001500: PUSH1 0x40 00001502: DUP2 00001503: KECCAK256 00001504: SLOAD 00001505: DUP1 00001506: ISZERO 00001507: PUSH2 0x15dc 0000150a: JUMPI 0000150b: PUSH1 0x00 0000150d: PUSH2 0x1517 00001510: PUSH1 0x01 00001512: DUP4 00001513: PUSH2 0x1ce9 00001516: JUMP 00001517: JUMPDEST 00001518: DUP6 00001519: SLOAD 0000151a: SWAP1 0000151b: SWAP2 0000151c: POP 0000151d: PUSH1 0x00 0000151f: SWAP1 00001520: PUSH2 0x152b 00001523: SWAP1 00001524: PUSH1 0x01 00001526: SWAP1 00001527: PUSH2 0x1ce9 0000152a: JUMP 0000152b: JUMPDEST 0000152c: SWAP1 0000152d: POP 0000152e: DUP2 0000152f: DUP2 00001530: EQ 00001531: PUSH2 0x1590 00001534: JUMPI 00001535: PUSH1 0x00 00001537: DUP7 00001538: PUSH1 0x00 0000153a: ADD 0000153b: DUP3 0000153c: DUP2 0000153d: SLOAD 0000153e: DUP2 0000153f: LT 00001540: PUSH2 0x154b 00001543: JUMPI 00001544: PUSH2 0x154b 00001547: PUSH2 0x1c9a 0000154a: JUMP 0000154b: JUMPDEST 0000154c: SWAP1 0000154d: PUSH1 0x00 0000154f: MSTORE 00001550: PUSH1 0x20 00001552: PUSH1 0x00 00001554: KECCAK256 00001555: ADD 00001556: SLOAD 00001557: SWAP1 00001558: POP 00001559: DUP1 0000155a: DUP8 0000155b: PUSH1 0x00 0000155d: ADD 0000155e: DUP5 0000155f: DUP2 00001560: SLOAD 00001561: DUP2 00001562: LT 00001563: PUSH2 0x156e 00001566: JUMPI 00001567: PUSH2 0x156e 0000156a: PUSH2 0x1c9a 0000156d: JUMP 0000156e: JUMPDEST 0000156f: PUSH1 0x00 00001571: SWAP2 00001572: DUP3 00001573: MSTORE 00001574: PUSH1 0x20 00001576: DUP1 00001577: DUP4 00001578: KECCAK256 00001579: SWAP1 0000157a: SWAP2 0000157b: ADD 0000157c: SWAP3 0000157d: SWAP1 0000157e: SWAP3 0000157f: SSTORE 00001580: SWAP2 00001581: DUP3 00001582: MSTORE 00001583: PUSH1 0x01 00001585: DUP9 00001586: ADD 00001587: SWAP1 00001588: MSTORE 00001589: PUSH1 0x40 0000158b: SWAP1 0000158c: KECCAK256 0000158d: DUP4 0000158e: SWAP1 0000158f: SSTORE 00001590: JUMPDEST 00001591: DUP6 00001592: SLOAD 00001593: DUP7 00001594: SWAP1 00001595: DUP1 00001596: PUSH2 0x15a1 00001599: JUMPI 0000159a: PUSH2 0x15a1 0000159d: PUSH2 0x1d00 000015a0: JUMP 000015a1: JUMPDEST 000015a2: PUSH1 0x01 000015a4: SWAP1 000015a5: SUB 000015a6: DUP2 000015a7: DUP2 000015a8: SWAP1 000015a9: PUSH1 0x00 000015ab: MSTORE 000015ac: PUSH1 0x20 000015ae: PUSH1 0x00 000015b0: KECCAK256 000015b1: ADD 000015b2: PUSH1 0x00 000015b4: SWAP1 000015b5: SSTORE 000015b6: SWAP1 000015b7: SSTORE 000015b8: DUP6 000015b9: PUSH1 0x01 000015bb: ADD 000015bc: PUSH1 0x00 000015be: DUP7 000015bf: DUP2 000015c0: MSTORE 000015c1: PUSH1 0x20 000015c3: ADD 000015c4: SWAP1 000015c5: DUP2 000015c6: MSTORE 000015c7: PUSH1 0x20 000015c9: ADD 000015ca: PUSH1 0x00 000015cc: KECCAK256 000015cd: PUSH1 0x00 000015cf: SWAP1 000015d0: SSTORE 000015d1: PUSH1 0x01 000015d3: SWAP4 000015d4: POP 000015d5: POP 000015d6: POP 000015d7: POP 000015d8: PUSH2 0x044f 000015db: JUMP 000015dc: JUMPDEST 000015dd: PUSH1 0x00 000015df: SWAP2 000015e0: POP 000015e1: POP 000015e2: PUSH2 0x044f 000015e5: JUMP 000015e6: JUMPDEST 000015e7: PUSH1 0x00 000015e9: SLOAD 000015ea: PUSH2 0x0100 000015ed: SWAP1 000015ee: DIV 000015ef: PUSH1 0xff 000015f1: AND 000015f2: PUSH2 0x160d 000015f5: JUMPI 000015f6: PUSH1 0x40 000015f8: MLOAD 000015f9: PUSH3 0x461bcd 000015fd: PUSH1 0xe5 000015ff: SHL 00001600: DUP2 00001601: MSTORE 00001602: PUSH1 0x04 00001604: ADD 00001605: PUSH2 0x04ae 00001608: SWAP1 00001609: PUSH2 0x1c02 0000160c: JUMP 0000160d: JUMPDEST 0000160e: PUSH2 0x1615 00001611: PUSH2 0x167b 00001614: JUMP 00001615: JUMPDEST 00001616: PUSH2 0x0694 00001619: PUSH2 0x1704 0000161c: JUMP 0000161d: JUMPDEST 0000161e: PUSH1 0x00 00001620: SLOAD 00001621: PUSH2 0x0100 00001624: SWAP1 00001625: DIV 00001626: PUSH1 0xff 00001628: AND 00001629: PUSH2 0x1644 0000162c: JUMPI 0000162d: PUSH1 0x40 0000162f: MLOAD 00001630: PUSH3 0x461bcd 00001634: PUSH1 0xe5 00001636: SHL 00001637: DUP2 00001638: MSTORE 00001639: PUSH1 0x04 0000163b: ADD 0000163c: PUSH2 0x04ae 0000163f: SWAP1 00001640: PUSH2 0x1c02 00001643: JUMP 00001644: JUMPDEST 00001645: PUSH2 0x0694 00001648: PUSH2 0x1769 0000164b: JUMP 0000164c: JUMPDEST 0000164d: PUSH1 0x00 0000164f: SLOAD 00001650: PUSH2 0x0100 00001653: SWAP1 00001654: DIV 00001655: PUSH1 0xff 00001657: AND 00001658: PUSH2 0x1673 0000165b: JUMPI 0000165c: PUSH1 0x40 0000165e: MLOAD 0000165f: PUSH3 0x461bcd 00001663: PUSH1 0xe5 00001665: SHL 00001666: DUP2 00001667: MSTORE 00001668: PUSH1 0x04 0000166a: ADD 0000166b: PUSH2 0x04ae 0000166e: SWAP1 0000166f: PUSH2 0x1c02 00001672: JUMP 00001673: JUMPDEST 00001674: PUSH2 0x0694 00001677: PUSH2 0x179c 0000167a: JUMP 0000167b: JUMPDEST 0000167c: PUSH1 0x00 0000167e: SLOAD 0000167f: PUSH2 0x0100 00001682: SWAP1 00001683: DIV 00001684: PUSH1 0xff 00001686: AND 00001687: PUSH2 0x0694 0000168a: JUMPI 0000168b: PUSH1 0x40 0000168d: MLOAD 0000168e: PUSH3 0x461bcd 00001692: PUSH1 0xe5 00001694: SHL 00001695: DUP2 00001696: MSTORE 00001697: PUSH1 0x04 00001699: ADD 0000169a: PUSH2 0x04ae 0000169d: SWAP1 0000169e: PUSH2 0x1c02 000016a1: JUMP 000016a2: JUMPDEST 000016a3: PUSH1 0x00 000016a5: DUP3 000016a6: DUP2 000016a7: MSTORE 000016a8: PUSH1 0x65 000016aa: PUSH1 0x20 000016ac: MSTORE 000016ad: PUSH1 0x40 000016af: DUP1 000016b0: DUP3 000016b1: KECCAK256 000016b2: PUSH1 0x01 000016b4: ADD 000016b5: DUP1 000016b6: SLOAD 000016b7: SWAP1 000016b8: DUP5 000016b9: SWAP1 000016ba: SSTORE 000016bb: SWAP1 000016bc: MLOAD 000016bd: SWAP1 000016be: SWAP2 000016bf: DUP4 000016c0: SWAP2 000016c1: DUP4 000016c2: SWAP2 000016c3: DUP7 000016c4: SWAP2 000016c5: PUSH32 0xbd79b86ffe0ab8e8776151514217cd7cacd52c909f66475c3af44e129f0b00ff 000016e6: SWAP2 000016e7: SWAP1 000016e8: LOG4 000016e9: POP 000016ea: POP 000016eb: POP 000016ec: JUMP 000016ed: JUMPDEST 000016ee: PUSH1 0x60 000016f0: PUSH2 0x16fc 000016f3: DUP5 000016f4: DUP5 000016f5: PUSH1 0x00 000016f7: DUP6 000016f8: PUSH2 0x17cb 000016fb: JUMP 000016fc: JUMPDEST 000016fd: SWAP5 000016fe: SWAP4 000016ff: POP 00001700: POP 00001701: POP 00001702: POP 00001703: JUMP 00001704: JUMPDEST 00001705: PUSH1 0x00 00001707: SLOAD 00001708: PUSH2 0x0100 0000170b: SWAP1 0000170c: DIV 0000170d: PUSH1 0xff 0000170f: AND 00001710: PUSH2 0x172b 00001713: JUMPI 00001714: PUSH1 0x40 00001716: MLOAD 00001717: PUSH3 0x461bcd 0000171b: PUSH1 0xe5 0000171d: SHL 0000171e: DUP2 0000171f: MSTORE 00001720: PUSH1 0x04 00001722: ADD 00001723: PUSH2 0x04ae 00001726: SWAP1 00001727: PUSH2 0x1c02 0000172a: JUMP 0000172b: JUMPDEST 0000172c: PUSH1 0xc9 0000172e: DUP1 0000172f: SLOAD 00001730: PUSH2 0xffff 00001733: NOT 00001734: AND 00001735: PUSH1 0x01 00001737: OR 00001738: SWAP1 00001739: SSTORE 0000173a: PUSH2 0x1751 0000173d: PUSH1 0x00 0000173f: DUP1 00001740: MLOAD 00001741: PUSH1 0x20 00001743: PUSH2 0x1d33 00001746: DUP4 00001747: CODECOPY 00001748: DUP2 00001749: MLOAD 0000174a: SWAP2 0000174b: MSTORE 0000174c: DUP1 0000174d: PUSH2 0x16a2 00001750: JUMP 00001751: JUMPDEST 00001752: PUSH2 0x0694 00001755: PUSH1 0x00 00001757: DUP1 00001758: MLOAD 00001759: PUSH1 0x20 0000175b: PUSH2 0x1d33 0000175e: DUP4 0000175f: CODECOPY 00001760: DUP2 00001761: MLOAD 00001762: SWAP2 00001763: MSTORE 00001764: CALLER 00001765: PUSH2 0x18fc 00001768: JUMP 00001769: JUMPDEST 0000176a: PUSH1 0x00 0000176c: SLOAD 0000176d: PUSH2 0x0100 00001770: SWAP1 00001771: DIV 00001772: PUSH1 0xff 00001774: AND 00001775: PUSH2 0x1790 00001778: JUMPI 00001779: PUSH1 0x40 0000177b: MLOAD 0000177c: PUSH3 0x461bcd 00001780: PUSH1 0xe5 00001782: SHL 00001783: DUP2 00001784: MSTORE 00001785: PUSH1 0x04 00001787: ADD 00001788: PUSH2 0x04ae 0000178b: SWAP1 0000178c: PUSH2 0x1c02 0000178f: JUMP 00001790: JUMPDEST 00001791: PUSH1 0xfb 00001793: DUP1 00001794: SLOAD 00001795: PUSH1 0xff 00001797: NOT 00001798: AND 00001799: SWAP1 0000179a: SSTORE 0000179b: JUMP 0000179c: JUMPDEST 0000179d: PUSH1 0x00 0000179f: SLOAD 000017a0: PUSH2 0x0100 000017a3: SWAP1 000017a4: DIV 000017a5: PUSH1 0xff 000017a7: AND 000017a8: PUSH2 0x17c3 000017ab: JUMPI 000017ac: PUSH1 0x40 000017ae: MLOAD 000017af: PUSH3 0x461bcd 000017b3: PUSH1 0xe5 000017b5: SHL 000017b6: DUP2 000017b7: MSTORE 000017b8: PUSH1 0x04 000017ba: ADD 000017bb: PUSH2 0x04ae 000017be: SWAP1 000017bf: PUSH2 0x1c02 000017c2: JUMP 000017c3: JUMPDEST 000017c4: PUSH1 0x01 000017c6: PUSH2 0x012d 000017c9: SSTORE 000017ca: JUMP 000017cb: JUMPDEST 000017cc: PUSH1 0x60 000017ce: DUP3 000017cf: SELFBALANCE 000017d0: LT 000017d1: ISZERO 000017d2: PUSH2 0x182c 000017d5: JUMPI 000017d6: PUSH1 0x40 000017d8: MLOAD 000017d9: PUSH3 0x461bcd 000017dd: PUSH1 0xe5 000017df: SHL 000017e0: DUP2 000017e1: MSTORE 000017e2: PUSH1 0x20 000017e4: PUSH1 0x04 000017e6: DUP3 000017e7: ADD 000017e8: MSTORE 000017e9: PUSH1 0x26 000017eb: PUSH1 0x24 000017ed: DUP3 000017ee: ADD 000017ef: MSTORE 000017f0: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f 00001811: PUSH1 0x44 00001813: DUP3 00001814: ADD 00001815: MSTORE 00001816: PUSH6 0x1c8818d85b1b 0000181d: PUSH1 0xd2 0000181f: SHL 00001820: PUSH1 0x64 00001822: DUP3 00001823: ADD 00001824: MSTORE 00001825: PUSH1 0x84 00001827: ADD 00001828: PUSH2 0x04ae 0000182b: JUMP 0000182c: JUMPDEST 0000182d: PUSH1 0x01 0000182f: PUSH1 0x01 00001831: PUSH1 0xa0 00001833: SHL 00001834: SUB 00001835: DUP6 00001836: AND 00001837: EXTCODESIZE 00001838: PUSH2 0x1883 0000183b: JUMPI 0000183c: PUSH1 0x40 0000183e: MLOAD 0000183f: PUSH3 0x461bcd 00001843: PUSH1 0xe5 00001845: SHL 00001846: DUP2 00001847: MSTORE 00001848: PUSH1 0x20 0000184a: PUSH1 0x04 0000184c: DUP3 0000184d: ADD 0000184e: MSTORE 0000184f: PUSH1 0x1d 00001851: PUSH1 0x24 00001853: DUP3 00001854: ADD 00001855: MSTORE 00001856: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 00001877: PUSH1 0x44 00001879: DUP3 0000187a: ADD 0000187b: MSTORE 0000187c: PUSH1 0x64 0000187e: ADD 0000187f: PUSH2 0x04ae 00001882: JUMP 00001883: JUMPDEST 00001884: PUSH1 0x00 00001886: DUP1 00001887: DUP7 00001888: PUSH1 0x01 0000188a: PUSH1 0x01 0000188c: PUSH1 0xa0 0000188e: SHL 0000188f: SUB 00001890: AND 00001891: DUP6 00001892: DUP8 00001893: PUSH1 0x40 00001895: MLOAD 00001896: PUSH2 0x189f 00001899: SWAP2 0000189a: SWAP1 0000189b: PUSH2 0x1d16 0000189e: JUMP 0000189f: JUMPDEST 000018a0: PUSH1 0x00 000018a2: PUSH1 0x40 000018a4: MLOAD 000018a5: DUP1 000018a6: DUP4 000018a7: SUB 000018a8: DUP2 000018a9: DUP6 000018aa: DUP8 000018ab: GAS 000018ac: CALL 000018ad: SWAP3 000018ae: POP 000018af: POP 000018b0: POP 000018b1: RETURNDATASIZE 000018b2: DUP1 000018b3: PUSH1 0x00 000018b5: DUP2 000018b6: EQ 000018b7: PUSH2 0x18dc 000018ba: JUMPI 000018bb: PUSH1 0x40 000018bd: MLOAD 000018be: SWAP2 000018bf: POP 000018c0: PUSH1 0x1f 000018c2: NOT 000018c3: PUSH1 0x3f 000018c5: RETURNDATASIZE 000018c6: ADD 000018c7: AND 000018c8: DUP3 000018c9: ADD 000018ca: PUSH1 0x40 000018cc: MSTORE 000018cd: RETURNDATASIZE 000018ce: DUP3 000018cf: MSTORE 000018d0: RETURNDATASIZE 000018d1: PUSH1 0x00 000018d3: PUSH1 0x20 000018d5: DUP5 000018d6: ADD 000018d7: RETURNDATACOPY 000018d8: PUSH2 0x18e1 000018db: JUMP 000018dc: JUMPDEST 000018dd: PUSH1 0x60 000018df: SWAP2 000018e0: POP 000018e1: JUMPDEST 000018e2: POP 000018e3: SWAP2 000018e4: POP 000018e5: SWAP2 000018e6: POP 000018e7: PUSH2 0x18f1 000018ea: DUP3 000018eb: DUP3 000018ec: DUP7 000018ed: PUSH2 0x1906 000018f0: JUMP 000018f1: JUMPDEST 000018f2: SWAP8 000018f3: SWAP7 000018f4: POP 000018f5: POP 000018f6: POP 000018f7: POP 000018f8: POP 000018f9: POP 000018fa: POP 000018fb: JUMP 000018fc: JUMPDEST 000018fd: PUSH2 0x0670 00001900: DUP3 00001901: DUP3 00001902: PUSH2 0x0e22 00001905: JUMP 00001906: JUMPDEST 00001907: PUSH1 0x60 00001909: DUP4 0000190a: ISZERO 0000190b: PUSH2 0x1915 0000190e: JUMPI 0000190f: POP 00001910: DUP2 00001911: PUSH2 0x07e0 00001914: JUMP 00001915: JUMPDEST 00001916: DUP3 00001917: MLOAD 00001918: ISZERO 00001919: PUSH2 0x1925 0000191c: JUMPI 0000191d: DUP3 0000191e: MLOAD 0000191f: DUP1 00001920: DUP5 00001921: PUSH1 0x20 00001923: ADD 00001924: REVERT 00001925: JUMPDEST 00001926: DUP2 00001927: PUSH1 0x40 00001929: MLOAD 0000192a: PUSH3 0x461bcd 0000192e: PUSH1 0xe5 00001930: SHL 00001931: DUP2 00001932: MSTORE 00001933: PUSH1 0x04 00001935: ADD 00001936: PUSH2 0x04ae 00001939: SWAP2 0000193a: SWAP1 0000193b: PUSH2 0x1bcf 0000193e: JUMP 0000193f: JUMPDEST 00001940: PUSH1 0x00 00001942: PUSH1 0x20 00001944: DUP3 00001945: DUP5 00001946: SUB 00001947: SLT 00001948: ISZERO 00001949: PUSH2 0x1951 0000194c: JUMPI 0000194d: PUSH1 0x00 0000194f: DUP1 00001950: REVERT 00001951: JUMPDEST 00001952: DUP2 00001953: CALLDATALOAD 00001954: PUSH1 0x01 00001956: PUSH1 0x01 00001958: PUSH1 0xe0 0000195a: SHL 0000195b: SUB 0000195c: NOT 0000195d: DUP2 0000195e: AND 0000195f: DUP2 00001960: EQ 00001961: PUSH2 0x07e0 00001964: JUMPI 00001965: PUSH1 0x00 00001967: DUP1 00001968: REVERT 00001969: JUMPDEST 0000196a: PUSH1 0x01 0000196c: PUSH1 0x01 0000196e: PUSH1 0xa0 00001970: SHL 00001971: SUB 00001972: DUP2 00001973: AND 00001974: DUP2 00001975: EQ 00001976: PUSH2 0x0754 00001979: JUMPI 0000197a: PUSH1 0x00 0000197c: DUP1 0000197d: REVERT 0000197e: JUMPDEST 0000197f: PUSH1 0x00 00001981: DUP1 00001982: PUSH1 0x00 00001984: PUSH1 0x60 00001986: DUP5 00001987: DUP7 00001988: SUB 00001989: SLT 0000198a: ISZERO 0000198b: PUSH2 0x1993 0000198e: JUMPI 0000198f: PUSH1 0x00 00001991: DUP1 00001992: REVERT 00001993: JUMPDEST 00001994: DUP4 00001995: CALLDATALOAD 00001996: PUSH2 0x199e 00001999: DUP2 0000199a: PUSH2 0x1969 0000199d: JUMP 0000199e: JUMPDEST 0000199f: SWAP3 000019a0: POP 000019a1: PUSH1 0x20 000019a3: DUP5 000019a4: ADD 000019a5: CALLDATALOAD 000019a6: PUSH2 0x19ae 000019a9: DUP2 000019aa: PUSH2 0x1969 000019ad: JUMP 000019ae: JUMPDEST 000019af: SWAP3 000019b0: SWAP6 000019b1: SWAP3 000019b2: SWAP5 000019b3: POP 000019b4: POP 000019b5: POP 000019b6: PUSH1 0x40 000019b8: SWAP2 000019b9: SWAP1 000019ba: SWAP2 000019bb: ADD 000019bc: CALLDATALOAD 000019bd: SWAP1 000019be: JUMP 000019bf: JUMPDEST 000019c0: PUSH1 0x00 000019c2: PUSH1 0x20 000019c4: DUP3 000019c5: DUP5 000019c6: SUB 000019c7: SLT 000019c8: ISZERO 000019c9: PUSH2 0x19d1 000019cc: JUMPI 000019cd: PUSH1 0x00 000019cf: DUP1 000019d0: REVERT 000019d1: JUMPDEST 000019d2: POP 000019d3: CALLDATALOAD 000019d4: SWAP2 000019d5: SWAP1 000019d6: POP 000019d7: JUMP 000019d8: JUMPDEST 000019d9: PUSH1 0x00 000019db: DUP1 000019dc: PUSH1 0x40 000019de: DUP4 000019df: DUP6 000019e0: SUB 000019e1: SLT 000019e2: ISZERO 000019e3: PUSH2 0x19eb 000019e6: JUMPI 000019e7: PUSH1 0x00 000019e9: DUP1 000019ea: REVERT 000019eb: JUMPDEST 000019ec: DUP3 000019ed: CALLDATALOAD 000019ee: SWAP2 000019ef: POP 000019f0: PUSH1 0x20 000019f2: DUP4 000019f3: ADD 000019f4: CALLDATALOAD 000019f5: PUSH2 0x19fd 000019f8: DUP2 000019f9: PUSH2 0x1969 000019fc: JUMP 000019fd: JUMPDEST 000019fe: DUP1 000019ff: SWAP2 00001a00: POP 00001a01: POP 00001a02: SWAP3 00001a03: POP 00001a04: SWAP3 00001a05: SWAP1 00001a06: POP 00001a07: JUMP 00001a08: JUMPDEST 00001a09: PUSH1 0x00 00001a0b: DUP1 00001a0c: PUSH1 0x20 00001a0e: DUP4 00001a0f: DUP6 00001a10: SUB 00001a11: SLT 00001a12: ISZERO 00001a13: PUSH2 0x1a1b 00001a16: JUMPI 00001a17: PUSH1 0x00 00001a19: DUP1 00001a1a: REVERT 00001a1b: JUMPDEST 00001a1c: DUP3 00001a1d: CALLDATALOAD 00001a1e: PUSH8 0xffffffffffffffff 00001a27: DUP1 00001a28: DUP3 00001a29: GT 00001a2a: ISZERO 00001a2b: PUSH2 0x1a33 00001a2e: JUMPI 00001a2f: PUSH1 0x00 00001a31: DUP1 00001a32: REVERT 00001a33: JUMPDEST 00001a34: DUP2 00001a35: DUP6 00001a36: ADD 00001a37: SWAP2 00001a38: POP 00001a39: DUP6 00001a3a: PUSH1 0x1f 00001a3c: DUP4 00001a3d: ADD 00001a3e: SLT 00001a3f: PUSH2 0x1a47 00001a42: JUMPI 00001a43: PUSH1 0x00 00001a45: DUP1 00001a46: REVERT 00001a47: JUMPDEST 00001a48: DUP2 00001a49: CALLDATALOAD 00001a4a: DUP2 00001a4b: DUP2 00001a4c: GT 00001a4d: ISZERO 00001a4e: PUSH2 0x1a56 00001a51: JUMPI 00001a52: PUSH1 0x00 00001a54: DUP1 00001a55: REVERT 00001a56: JUMPDEST 00001a57: DUP7 00001a58: PUSH1 0x20 00001a5a: DUP3 00001a5b: DUP6 00001a5c: ADD 00001a5d: ADD 00001a5e: GT 00001a5f: ISZERO 00001a60: PUSH2 0x1a68 00001a63: JUMPI 00001a64: PUSH1 0x00 00001a66: DUP1 00001a67: REVERT 00001a68: JUMPDEST 00001a69: PUSH1 0x20 00001a6b: SWAP3 00001a6c: SWAP1 00001a6d: SWAP3 00001a6e: ADD 00001a6f: SWAP7 00001a70: SWAP2 00001a71: SWAP6 00001a72: POP 00001a73: SWAP1 00001a74: SWAP4 00001a75: POP 00001a76: POP 00001a77: POP 00001a78: POP 00001a79: JUMP 00001a7a: JUMPDEST 00001a7b: PUSH1 0x00 00001a7d: DUP1 00001a7e: PUSH1 0x40 00001a80: DUP4 00001a81: DUP6 00001a82: SUB 00001a83: SLT 00001a84: ISZERO 00001a85: PUSH2 0x1a8d 00001a88: JUMPI 00001a89: PUSH1 0x00 00001a8b: DUP1 00001a8c: REVERT 00001a8d: JUMPDEST 00001a8e: POP 00001a8f: POP 00001a90: DUP1 00001a91: CALLDATALOAD 00001a92: SWAP3 00001a93: PUSH1 0x20 00001a95: SWAP1 00001a96: SWAP2 00001a97: ADD 00001a98: CALLDATALOAD 00001a99: SWAP2 00001a9a: POP 00001a9b: JUMP 00001a9c: JUMPDEST 00001a9d: PUSH1 0x00 00001a9f: DUP1 00001aa0: PUSH1 0x40 00001aa2: DUP4 00001aa3: DUP6 00001aa4: SUB 00001aa5: SLT 00001aa6: ISZERO 00001aa7: PUSH2 0x1aaf 00001aaa: JUMPI 00001aab: PUSH1 0x00 00001aad: DUP1 00001aae: REVERT 00001aaf: JUMPDEST 00001ab0: DUP3 00001ab1: CALLDATALOAD 00001ab2: PUSH2 0x1aba 00001ab5: DUP2 00001ab6: PUSH2 0x1969 00001ab9: JUMP 00001aba: JUMPDEST 00001abb: SWAP5 00001abc: PUSH1 0x20 00001abe: SWAP4 00001abf: SWAP1 00001ac0: SWAP4 00001ac1: ADD 00001ac2: CALLDATALOAD 00001ac3: SWAP4 00001ac4: POP 00001ac5: POP 00001ac6: POP 00001ac7: JUMP 00001ac8: JUMPDEST 00001ac9: PUSH1 0x20 00001acb: DUP1 00001acc: DUP3 00001acd: MSTORE 00001ace: PUSH1 0x10 00001ad0: SWAP1 00001ad1: DUP3 00001ad2: ADD 00001ad3: MSTORE 00001ad4: PUSH16 0x14185d5cd8589b194e881c185d5cd959 00001ae5: PUSH1 0x82 00001ae7: SHL 00001ae8: PUSH1 0x40 00001aea: DUP3 00001aeb: ADD 00001aec: MSTORE 00001aed: PUSH1 0x60 00001aef: ADD 00001af0: SWAP1 00001af1: JUMP 00001af2: JUMPDEST 00001af3: PUSH4 0x4e487b71 00001af8: PUSH1 0xe0 00001afa: SHL 00001afb: PUSH1 0x00 00001afd: MSTORE 00001afe: PUSH1 0x11 00001b00: PUSH1 0x04 00001b02: MSTORE 00001b03: PUSH1 0x24 00001b05: PUSH1 0x00 00001b07: REVERT 00001b08: JUMPDEST 00001b09: PUSH1 0x00 00001b0b: PUSH2 0xffff 00001b0e: DUP1 00001b0f: DUP4 00001b10: AND 00001b11: DUP2 00001b12: DUP6 00001b13: AND 00001b14: DUP1 00001b15: DUP4 00001b16: SUB 00001b17: DUP3 00001b18: GT 00001b19: ISZERO 00001b1a: PUSH2 0x1b25 00001b1d: JUMPI 00001b1e: PUSH2 0x1b25 00001b21: PUSH2 0x1af2 00001b24: JUMP 00001b25: JUMPDEST 00001b26: ADD 00001b27: SWAP5 00001b28: SWAP4 00001b29: POP 00001b2a: POP 00001b2b: POP 00001b2c: POP 00001b2d: JUMP 00001b2e: JUMPDEST 00001b2f: PUSH1 0x00 00001b31: JUMPDEST 00001b32: DUP4 00001b33: DUP2 00001b34: LT 00001b35: ISZERO 00001b36: PUSH2 0x1b49 00001b39: JUMPI 00001b3a: DUP2 00001b3b: DUP2 00001b3c: ADD 00001b3d: MLOAD 00001b3e: DUP4 00001b3f: DUP3 00001b40: ADD 00001b41: MSTORE 00001b42: PUSH1 0x20 00001b44: ADD 00001b45: PUSH2 0x1b31 00001b48: JUMP 00001b49: JUMPDEST 00001b4a: DUP4 00001b4b: DUP2 00001b4c: GT 00001b4d: ISZERO 00001b4e: PUSH2 0x0da4 00001b51: JUMPI 00001b52: POP 00001b53: POP 00001b54: PUSH1 0x00 00001b56: SWAP2 00001b57: ADD 00001b58: MSTORE 00001b59: JUMP 00001b5a: JUMPDEST 00001b5b: PUSH32 0x416363657373436f6e74726f6c3a206163636f756e7420000000000000000000 00001b7c: DUP2 00001b7d: MSTORE 00001b7e: PUSH1 0x00 00001b80: DUP4 00001b81: MLOAD 00001b82: PUSH2 0x1b92 00001b85: DUP2 00001b86: PUSH1 0x17 00001b88: DUP6 00001b89: ADD 00001b8a: PUSH1 0x20 00001b8c: DUP9 00001b8d: ADD 00001b8e: PUSH2 0x1b2e 00001b91: JUMP 00001b92: JUMPDEST 00001b93: PUSH17 0x01034b99036b4b9b9b4b733903937b6329 00001ba5: PUSH1 0x7d 00001ba7: SHL 00001ba8: PUSH1 0x17 00001baa: SWAP2 00001bab: DUP5 00001bac: ADD 00001bad: SWAP2 00001bae: DUP3 00001baf: ADD 00001bb0: MSTORE 00001bb1: DUP4 00001bb2: MLOAD 00001bb3: PUSH2 0x1bc3 00001bb6: DUP2 00001bb7: PUSH1 0x28 00001bb9: DUP5 00001bba: ADD 00001bbb: PUSH1 0x20 00001bbd: DUP9 00001bbe: ADD 00001bbf: PUSH2 0x1b2e 00001bc2: JUMP 00001bc3: JUMPDEST 00001bc4: ADD 00001bc5: PUSH1 0x28 00001bc7: ADD 00001bc8: SWAP5 00001bc9: SWAP4 00001bca: POP 00001bcb: POP 00001bcc: POP 00001bcd: POP 00001bce: JUMP 00001bcf: JUMPDEST 00001bd0: PUSH1 0x20 00001bd2: DUP2 00001bd3: MSTORE 00001bd4: PUSH1 0x00 00001bd6: DUP3 00001bd7: MLOAD 00001bd8: DUP1 00001bd9: PUSH1 0x20 00001bdb: DUP5 00001bdc: ADD 00001bdd: MSTORE 00001bde: PUSH2 0x1bee 00001be1: DUP2 00001be2: PUSH1 0x40 00001be4: DUP6 00001be5: ADD 00001be6: PUSH1 0x20 00001be8: DUP8 00001be9: ADD 00001bea: PUSH2 0x1b2e 00001bed: JUMP 00001bee: JUMPDEST 00001bef: PUSH1 0x1f 00001bf1: ADD 00001bf2: PUSH1 0x1f 00001bf4: NOT 00001bf5: AND 00001bf6: SWAP2 00001bf7: SWAP1 00001bf8: SWAP2 00001bf9: ADD 00001bfa: PUSH1 0x40 00001bfc: ADD 00001bfd: SWAP3 00001bfe: SWAP2 00001bff: POP 00001c00: POP 00001c01: JUMP 00001c02: JUMPDEST 00001c03: PUSH1 0x20 00001c05: DUP1 00001c06: DUP3 00001c07: MSTORE 00001c08: PUSH1 0x2b 00001c0a: SWAP1 00001c0b: DUP3 00001c0c: ADD 00001c0d: MSTORE 00001c0e: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069 00001c2f: PUSH1 0x40 00001c31: DUP3 00001c32: ADD 00001c33: MSTORE 00001c34: PUSH11 0x6e697469616c697a696e67 00001c40: PUSH1 0xa8 00001c42: SHL 00001c43: PUSH1 0x60 00001c45: DUP3 00001c46: ADD 00001c47: MSTORE 00001c48: PUSH1 0x80 00001c4a: ADD 00001c4b: SWAP1 00001c4c: JUMP 00001c4d: JUMPDEST 00001c4e: PUSH1 0x00 00001c50: DUP2 00001c51: PUSH1 0x00 00001c53: NOT 00001c54: DIV 00001c55: DUP4 00001c56: GT 00001c57: DUP3 00001c58: ISZERO 00001c59: ISZERO 00001c5a: AND 00001c5b: ISZERO 00001c5c: PUSH2 0x1c67 00001c5f: JUMPI 00001c60: PUSH2 0x1c67 00001c63: PUSH2 0x1af2 00001c66: JUMP 00001c67: JUMPDEST 00001c68: POP 00001c69: MUL 00001c6a: SWAP1 00001c6b: JUMP 00001c6c: JUMPDEST 00001c6d: PUSH1 0x00 00001c6f: DUP3 00001c70: NOT 00001c71: DUP3 00001c72: GT 00001c73: ISZERO 00001c74: PUSH2 0x1c7f 00001c77: JUMPI 00001c78: PUSH2 0x1c7f 00001c7b: PUSH2 0x1af2 00001c7e: JUMP 00001c7f: JUMPDEST 00001c80: POP 00001c81: ADD 00001c82: SWAP1 00001c83: JUMP 00001c84: JUMPDEST 00001c85: PUSH4 0x4e487b71 00001c8a: PUSH1 0xe0 00001c8c: SHL 00001c8d: PUSH1 0x00 00001c8f: MSTORE 00001c90: PUSH1 0x41 00001c92: PUSH1 0x04 00001c94: MSTORE 00001c95: PUSH1 0x24 00001c97: PUSH1 0x00 00001c99: REVERT 00001c9a: JUMPDEST 00001c9b: PUSH4 0x4e487b71 00001ca0: PUSH1 0xe0 00001ca2: SHL 00001ca3: PUSH1 0x00 00001ca5: MSTORE 00001ca6: PUSH1 0x32 00001ca8: PUSH1 0x04 00001caa: MSTORE 00001cab: PUSH1 0x24 00001cad: PUSH1 0x00 00001caf: REVERT 00001cb0: JUMPDEST 00001cb1: PUSH1 0x00 00001cb3: DUP2 00001cb4: PUSH2 0x1cbf 00001cb7: JUMPI 00001cb8: PUSH2 0x1cbf 00001cbb: PUSH2 0x1af2 00001cbe: JUMP 00001cbf: JUMPDEST 00001cc0: POP 00001cc1: PUSH1 0x00 00001cc3: NOT 00001cc4: ADD 00001cc5: SWAP1 00001cc6: JUMP 00001cc7: JUMPDEST 00001cc8: PUSH1 0x00 00001cca: PUSH1 0x20 00001ccc: DUP3 00001ccd: DUP5 00001cce: SUB 00001ccf: SLT 00001cd0: ISZERO 00001cd1: PUSH2 0x1cd9 00001cd4: JUMPI 00001cd5: PUSH1 0x00 00001cd7: DUP1 00001cd8: REVERT 00001cd9: JUMPDEST 00001cda: DUP2 00001cdb: MLOAD 00001cdc: DUP1 00001cdd: ISZERO 00001cde: ISZERO 00001cdf: DUP2 00001ce0: EQ 00001ce1: PUSH2 0x07e0 00001ce4: JUMPI 00001ce5: PUSH1 0x00 00001ce7: DUP1 00001ce8: REVERT 00001ce9: JUMPDEST 00001cea: PUSH1 0x00 00001cec: DUP3 00001ced: DUP3 00001cee: LT 00001cef: ISZERO 00001cf0: PUSH2 0x1cfb 00001cf3: JUMPI 00001cf4: PUSH2 0x1cfb 00001cf7: PUSH2 0x1af2 00001cfa: JUMP 00001cfb: JUMPDEST 00001cfc: POP 00001cfd: SUB 00001cfe: SWAP1 00001cff: JUMP 00001d00: JUMPDEST 00001d01: PUSH4 0x4e487b71 00001d06: PUSH1 0xe0 00001d08: SHL 00001d09: PUSH1 0x00 00001d0b: MSTORE 00001d0c: PUSH1 0x31 00001d0e: PUSH1 0x04 00001d10: MSTORE 00001d11: PUSH1 0x24 00001d13: PUSH1 0x00 00001d15: REVERT 00001d16: JUMPDEST 00001d17: PUSH1 0x00 00001d19: DUP3 00001d1a: MLOAD 00001d1b: PUSH2 0x1d28 00001d1e: DUP2 00001d1f: DUP5 00001d20: PUSH1 0x20 00001d22: DUP8 00001d23: ADD 00001d24: PUSH2 0x1b2e 00001d27: JUMP 00001d28: JUMPDEST 00001d29: SWAP2 00001d2a: SWAP1 00001d2b: SWAP2 00001d2c: ADD 00001d2d: SWAP3 00001d2e: SWAP2 00001d2f: POP 00001d30: POP 00001d31: JUMP 00001d32: INVALID 00001d33: UNKNOWN(0x21) 00001d34: PUSH19 0x861495e7b85edac73e3cd5fbb42dd675baadf6 00001d48: UNKNOWN(0x27) 00001d49: PUSH19 0x0e687bcfdaca025096a164736f6c634300080d 00001d5d: STOP 00001d5e: EXP
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xdb1d20bc2a8163388a1f39ed35f6630defced68af238613e91a150fa3793d250
call_targets:
0xf3b685d24f84b6eeeeee334250cf73ade1f10144
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xdb1d20bc2a8163388a1f39ed35f6630defced68af238613e91a150fa3793d250",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf3b685d24f84b6eeeeee334250cf73ade1f10144"
],
"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": "0xa217fddf",
"selector": "0xa217fddf",
"calldata_variants": [
"0xa217fddf",
"0xa217fddf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb187bd26",
"selector": "0xb187bd26",
"calldata_variants": [
"0xb187bd26",
"0xb187bd260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc878ab33",
"selector": "0xc878ab33",
"calldata_variants": [
"0xc878ab33",
"0xc878ab330000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xca15c873",
"selector": "0xca15c873",
"calldata_variants": [
"0xca15c873",
"0xca15c8730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce46e046",
"selector": "0xce46e046",
"calldata_variants": [
"0xce46e046",
"0xce46e0460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9010d07c",
"selector": "0x9010d07c",
"calldata_variants": [
"0x9010d07c",
"0x9010d07c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91d14854",
"selector": "0x91d14854",
"calldata_variants": [
"0x91d14854",
"0x91d148540000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2456,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2679,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3217,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xdb1d20bc2a8163388a1f39ed35f6630defced68af238613e91a150fa3793d250
call_targets:
0xf3b685d24f84b6eeeeee334250cf73ade1f10144
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xdb1d20bc2a8163388a1f39ed35f6630defced68af238613e91a150fa3793d250",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xf3b685d24f84b6eeeeee334250cf73ade1f10144"
],
"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": "0xa217fddf",
"selector": "0xa217fddf",
"calldata_variants": [
"0xa217fddf",
"0xa217fddf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb187bd26",
"selector": "0xb187bd26",
"calldata_variants": [
"0xb187bd26",
"0xb187bd260000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc878ab33",
"selector": "0xc878ab33",
"calldata_variants": [
"0xc878ab33",
"0xc878ab330000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xca15c873",
"selector": "0xca15c873",
"calldata_variants": [
"0xca15c873",
"0xca15c8730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xce46e046",
"selector": "0xce46e046",
"calldata_variants": [
"0xce46e046",
"0xce46e0460000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x9010d07c",
"selector": "0x9010d07c",
"calldata_variants": [
"0x9010d07c",
"0x9010d07c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91d14854",
"selector": "0x91d14854",
"calldata_variants": [
"0x91d14854",
"0x91d148540000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2456,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2679,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3217,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|