61a988d2-8177-4bc3-8301-d2689eaf36e1
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 |
|---|---|---|---|---|
| 31571 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 78053 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 78054 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 78055 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 78056 | capability.graph | complete | 1 / 3 | 1 week ago |
| 78057 | detector.run | complete | 1 / 3 | 1 week ago |
| 78058 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:128190] OpenAI Codex v0.77.0 (research preview)
[codex:128190] --------
[codex:128190] workdir: /tmp/codex-multi-xqh48nel
[codex:128190] model: gpt-5.2-codex
[codex:128190] provider: openai
[codex:128190] approval: never
[codex:128190] sandbox: read-only
[codex:128190] reasoning effort: xhigh
[codex:128190] reasoning summaries: auto
[codex:128190] session id: 019b8789-a83c-7771-bb41-ea3418e78694
[codex:128190] --------
[codex:128190] user
[codex:128190] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:128190]
[codex:128190] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:128190]
[codex:128190] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:128190] - Gas inefficiency, code quality, naming, or best practices
[codex:128190] - Theoretical vulnerabilities without a clear extraction path
[codex:128190] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:128190] - Front-running unless it enables theft beyond MEV
[codex:128190] - DoS, griefing, or issues that don't result in attacker profit
[codex:128190] - Missing events, view function issues, or informational findings
[codex:128190]
[codex:128190] HIGH-VALUE PATTERNS TO HUNT:
[codex:128190] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:128190] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:128190] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:128190] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:128190] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:128190] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:128190] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:128190] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:128190] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:128190]
[codex:128190] For each finding, you MUST provide:
[codex:128190] 1. Exact file and line numbers of vulnerable code
[codex:128190] 2. Step-by-step exploit transaction sequence
[codex:128190] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:128190]
[codex:128190] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:128190]
[codex:128190] Output MUST be valid JSON matching the provided schema.
[codex:128190] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:128190] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:128190] mcp startup: no servers
[codex:128190]
[codex:128190] thinking
[codex:128190] **Checking for skill triggers and reading AUDIT_BUNDLE.txt**
[codex:128190] exec
[codex:128190] /bin/bash -lc ls in /tmp/codex-multi-xqh48nel succeeded in 5ms:
[codex:128190] AUDIT_BUNDLE.txt
[codex:128190] codex-output-schema.json
[codex:128190] contracts
[codex:128190] exec
[codex:128190] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-xqh48nel succeeded in 5ms:
[codex:128190] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:128190]
[codex:128190] ================================================================================
[codex:128190] FILE: contracts/Contract.sol
[codex:128190] ================================================================================
[codex:128190] pragma solidity ^0.4.4;
[codex:128190]
[codex:128190] /// @title Multisignature wallet - Allows multiple parties to agree on transactions before execution.
[codex:128190] /// @author Stefan George - <stefan.george@consensys.net>
[codex:128190] contract MultiSigWallet {
[codex:128190]
[codex:128190] uint constant public MAX_OWNER_COUNT = 50;
[codex:128190]
[codex:128190] event Confirmation(address indexed sender, uint indexed transactionId);
[codex:128190] event Revocation(address indexed sender, uint indexed transactionId);
[codex:128190] event Submission(uint indexed transactionId);
[codex:128190] event Execution(uint indexed transactionId);
[codex:128190] event ExecutionFailure(uint indexed transactionId);
[codex:128190] event Deposit(address indexed sender, uint value);
[codex:128190] event OwnerAddition(address indexed owner);
[codex:128190]
[codex:128190] thinking
[codex:128190] **Analyzing multisig wallet for exploits**
[codex:128190]
[codex:128190] I'm carefully examining the classic multisig wallet code from Solidity 0.4.4, focusing on submitTransaction, executeTransaction, daily limits, and reentrancy paths to find possible vulnerabilities. While anyone can execute certain transactions under the daily limit, only owners can create them, so profit extraction by outsiders looks unlikely. I’m also checking for reentrancy, overflow, and transaction existence issues but find no concrete exploit paths that would let an attacker steal funds or bypass controls. Overall, this feels like a thorough security review that concludes no exploitable profit vectors exist.
[codex:128190] codex
[codex:128190] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided contracts.","findings":[]}
[codex:128190] tokens used
[codex:128190] 7,546
[codex:128190] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided contracts.","findings":[]}
{
"codex": {
"ran_at": "2026-01-04T05:45:59.909772+00:00",
"returncode": 0
},
"summary": "No concrete, exploitable profit paths found in the provided contracts.",
"raw_final": {
"summary": "No concrete, exploitable profit paths found in the provided contracts.",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x60 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLDATASIZE 00000006: ISZERO 00000007: PUSH2 0x0151 0000000a: JUMPI 0000000b: PUSH4 0xffffffff 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: PUSH1 0x00 00000030: CALLDATALOAD 00000031: DIV 00000032: AND 00000033: PUSH4 0x025e7c27 00000038: DUP2 00000039: EQ 0000003a: PUSH2 0x019c 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0x173825d9 00000044: EQ 00000045: PUSH2 0x01ce 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0x20ea8d86 0000004f: EQ 00000050: PUSH2 0x01ef 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0x2f54bf6e 0000005a: EQ 0000005b: PUSH2 0x0207 0000005e: JUMPI 0000005f: DUP1 00000060: PUSH4 0x3411c81c 00000065: EQ 00000066: PUSH2 0x023a 00000069: JUMPI 0000006a: DUP1 0000006b: PUSH4 0x4bc9fdc2 00000070: EQ 00000071: PUSH2 0x0270 00000074: JUMPI 00000075: DUP1 00000076: PUSH4 0x54741525 0000007b: EQ 0000007c: PUSH2 0x0295 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x67eeba0c 00000086: EQ 00000087: PUSH2 0x02c4 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x6b0c932d 00000091: EQ 00000092: PUSH2 0x02e9 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x7065cb48 0000009c: EQ 0000009d: PUSH2 0x030e 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x784547a7 000000a7: EQ 000000a8: PUSH2 0x032f 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x8b51d13f 000000b2: EQ 000000b3: PUSH2 0x0359 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x9ace38c2 000000bd: EQ 000000be: PUSH2 0x0381 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xa0e67e2b 000000c8: EQ 000000c9: PUSH2 0x0440 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0xa8abe69a 000000d3: EQ 000000d4: PUSH2 0x04a7 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0xb5dc40c3 000000de: EQ 000000df: PUSH2 0x051e 000000e2: JUMPI 000000e3: DUP1 000000e4: PUSH4 0xb77bf600 000000e9: EQ 000000ea: PUSH2 0x0588 000000ed: JUMPI 000000ee: DUP1 000000ef: PUSH4 0xba51a6df 000000f4: EQ 000000f5: PUSH2 0x05ad 000000f8: JUMPI 000000f9: DUP1 000000fa: PUSH4 0xc01a8c84 000000ff: EQ 00000100: PUSH2 0x05c5 00000103: JUMPI 00000104: DUP1 00000105: PUSH4 0xc6427474 0000010a: EQ 0000010b: PUSH2 0x05dd 0000010e: JUMPI 0000010f: DUP1 00000110: PUSH4 0xcea08621 00000115: EQ 00000116: PUSH2 0x0654 00000119: JUMPI 0000011a: DUP1 0000011b: PUSH4 0xd74f8edd 00000120: EQ 00000121: PUSH2 0x066c 00000124: JUMPI 00000125: DUP1 00000126: PUSH4 0xdc8452cd 0000012b: EQ 0000012c: PUSH2 0x0691 0000012f: JUMPI 00000130: DUP1 00000131: PUSH4 0xe20056e6 00000136: EQ 00000137: PUSH2 0x06b6 0000013a: JUMPI 0000013b: DUP1 0000013c: PUSH4 0xee22610b 00000141: EQ 00000142: PUSH2 0x06dd 00000145: JUMPI 00000146: DUP1 00000147: PUSH4 0xf059cf2b 0000014c: EQ 0000014d: PUSH2 0x06f5 00000150: JUMPI 00000151: JUMPDEST 00000152: JUMPDEST 00000153: PUSH1 0x00 00000155: CALLVALUE 00000156: GT 00000157: ISZERO 00000158: PUSH2 0x0199 0000015b: JUMPI 0000015c: CALLER 0000015d: PUSH1 0x01 0000015f: PUSH1 0xa0 00000161: PUSH1 0x02 00000163: EXP 00000164: SUB 00000165: AND 00000166: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c 00000187: CALLVALUE 00000188: PUSH1 0x40 0000018a: MLOAD 0000018b: SWAP1 0000018c: DUP2 0000018d: MSTORE 0000018e: PUSH1 0x20 00000190: ADD 00000191: PUSH1 0x40 00000193: MLOAD 00000194: DUP1 00000195: SWAP2 00000196: SUB 00000197: SWAP1 00000198: LOG2 00000199: JUMPDEST 0000019a: JUMPDEST 0000019b: STOP 0000019c: JUMPDEST 0000019d: CALLVALUE 0000019e: ISZERO 0000019f: PUSH2 0x01a7 000001a2: JUMPI 000001a3: PUSH1 0x00 000001a5: DUP1 000001a6: REVERT 000001a7: JUMPDEST 000001a8: PUSH2 0x01b2 000001ab: PUSH1 0x04 000001ad: CALLDATALOAD 000001ae: PUSH2 0x071a 000001b1: JUMP 000001b2: JUMPDEST 000001b3: PUSH1 0x40 000001b5: MLOAD 000001b6: PUSH1 0x01 000001b8: PUSH1 0xa0 000001ba: PUSH1 0x02 000001bc: EXP 000001bd: SUB 000001be: SWAP1 000001bf: SWAP2 000001c0: AND 000001c1: DUP2 000001c2: MSTORE 000001c3: PUSH1 0x20 000001c5: ADD 000001c6: PUSH1 0x40 000001c8: MLOAD 000001c9: DUP1 000001ca: SWAP2 000001cb: SUB 000001cc: SWAP1 000001cd: RETURN 000001ce: JUMPDEST 000001cf: CALLVALUE 000001d0: ISZERO 000001d1: PUSH2 0x01d9 000001d4: JUMPI 000001d5: PUSH1 0x00 000001d7: DUP1 000001d8: REVERT 000001d9: JUMPDEST 000001da: PUSH2 0x0199 000001dd: PUSH1 0x01 000001df: PUSH1 0xa0 000001e1: PUSH1 0x02 000001e3: EXP 000001e4: SUB 000001e5: PUSH1 0x04 000001e7: CALLDATALOAD 000001e8: AND 000001e9: PUSH2 0x074c 000001ec: JUMP 000001ed: JUMPDEST 000001ee: STOP 000001ef: JUMPDEST 000001f0: CALLVALUE 000001f1: ISZERO 000001f2: PUSH2 0x01fa 000001f5: JUMPI 000001f6: PUSH1 0x00 000001f8: DUP1 000001f9: REVERT 000001fa: JUMPDEST 000001fb: PUSH2 0x0199 000001fe: PUSH1 0x04 00000200: CALLDATALOAD 00000201: PUSH2 0x08fd 00000204: JUMP 00000205: JUMPDEST 00000206: STOP 00000207: JUMPDEST 00000208: CALLVALUE 00000209: ISZERO 0000020a: PUSH2 0x0212 0000020d: JUMPI 0000020e: PUSH1 0x00 00000210: DUP1 00000211: REVERT 00000212: JUMPDEST 00000213: PUSH2 0x0226 00000216: PUSH1 0x01 00000218: PUSH1 0xa0 0000021a: PUSH1 0x02 0000021c: EXP 0000021d: SUB 0000021e: PUSH1 0x04 00000220: CALLDATALOAD 00000221: AND 00000222: PUSH2 0x09df 00000225: JUMP 00000226: JUMPDEST 00000227: PUSH1 0x40 00000229: MLOAD 0000022a: SWAP1 0000022b: ISZERO 0000022c: ISZERO 0000022d: DUP2 0000022e: MSTORE 0000022f: PUSH1 0x20 00000231: ADD 00000232: PUSH1 0x40 00000234: MLOAD 00000235: DUP1 00000236: SWAP2 00000237: SUB 00000238: SWAP1 00000239: RETURN 0000023a: JUMPDEST 0000023b: CALLVALUE 0000023c: ISZERO 0000023d: PUSH2 0x0245 00000240: JUMPI 00000241: PUSH1 0x00 00000243: DUP1 00000244: REVERT 00000245: JUMPDEST 00000246: PUSH2 0x0226 00000249: PUSH1 0x04 0000024b: CALLDATALOAD 0000024c: PUSH1 0x01 0000024e: PUSH1 0xa0 00000250: PUSH1 0x02 00000252: EXP 00000253: SUB 00000254: PUSH1 0x24 00000256: CALLDATALOAD 00000257: AND 00000258: PUSH2 0x09f4 0000025b: JUMP 0000025c: JUMPDEST 0000025d: PUSH1 0x40 0000025f: MLOAD 00000260: SWAP1 00000261: ISZERO 00000262: ISZERO 00000263: DUP2 00000264: MSTORE 00000265: PUSH1 0x20 00000267: ADD 00000268: PUSH1 0x40 0000026a: MLOAD 0000026b: DUP1 0000026c: SWAP2 0000026d: SUB 0000026e: SWAP1 0000026f: RETURN 00000270: JUMPDEST 00000271: CALLVALUE 00000272: ISZERO 00000273: PUSH2 0x027b 00000276: JUMPI 00000277: PUSH1 0x00 00000279: DUP1 0000027a: REVERT 0000027b: JUMPDEST 0000027c: PUSH2 0x0283 0000027f: PUSH2 0x0a14 00000282: JUMP 00000283: JUMPDEST 00000284: PUSH1 0x40 00000286: MLOAD 00000287: SWAP1 00000288: DUP2 00000289: MSTORE 0000028a: PUSH1 0x20 0000028c: ADD 0000028d: PUSH1 0x40 0000028f: MLOAD 00000290: DUP1 00000291: SWAP2 00000292: SUB 00000293: SWAP1 00000294: RETURN 00000295: JUMPDEST 00000296: CALLVALUE 00000297: ISZERO 00000298: PUSH2 0x02a0 0000029b: JUMPI 0000029c: PUSH1 0x00 0000029e: DUP1 0000029f: REVERT 000002a0: JUMPDEST 000002a1: PUSH2 0x0283 000002a4: PUSH1 0x04 000002a6: CALLDATALOAD 000002a7: ISZERO 000002a8: ISZERO 000002a9: PUSH1 0x24 000002ab: CALLDATALOAD 000002ac: ISZERO 000002ad: ISZERO 000002ae: PUSH2 0x0a4e 000002b1: JUMP 000002b2: JUMPDEST 000002b3: PUSH1 0x40 000002b5: MLOAD 000002b6: SWAP1 000002b7: DUP2 000002b8: MSTORE 000002b9: PUSH1 0x20 000002bb: ADD 000002bc: PUSH1 0x40 000002be: MLOAD 000002bf: DUP1 000002c0: SWAP2 000002c1: SUB 000002c2: SWAP1 000002c3: RETURN 000002c4: JUMPDEST 000002c5: CALLVALUE 000002c6: ISZERO 000002c7: PUSH2 0x02cf 000002ca: JUMPI 000002cb: PUSH1 0x00 000002cd: DUP1 000002ce: REVERT 000002cf: JUMPDEST 000002d0: PUSH2 0x0283 000002d3: PUSH2 0x0abd 000002d6: JUMP 000002d7: JUMPDEST 000002d8: PUSH1 0x40 000002da: MLOAD 000002db: SWAP1 000002dc: DUP2 000002dd: MSTORE 000002de: PUSH1 0x20 000002e0: ADD 000002e1: PUSH1 0x40 000002e3: MLOAD 000002e4: DUP1 000002e5: SWAP2 000002e6: SUB 000002e7: SWAP1 000002e8: RETURN 000002e9: JUMPDEST 000002ea: CALLVALUE 000002eb: ISZERO 000002ec: PUSH2 0x02f4 000002ef: JUMPI 000002f0: PUSH1 0x00 000002f2: DUP1 000002f3: REVERT 000002f4: JUMPDEST 000002f5: PUSH2 0x0283 000002f8: PUSH2 0x0ac3 000002fb: JUMP 000002fc: JUMPDEST 000002fd: PUSH1 0x40 000002ff: MLOAD 00000300: SWAP1 00000301: DUP2 00000302: MSTORE 00000303: PUSH1 0x20 00000305: ADD 00000306: PUSH1 0x40 00000308: MLOAD 00000309: DUP1 0000030a: SWAP2 0000030b: SUB 0000030c: SWAP1 0000030d: RETURN 0000030e: JUMPDEST 0000030f: CALLVALUE 00000310: ISZERO 00000311: PUSH2 0x0319 00000314: JUMPI 00000315: PUSH1 0x00 00000317: DUP1 00000318: REVERT 00000319: JUMPDEST 0000031a: PUSH2 0x0199 0000031d: PUSH1 0x01 0000031f: PUSH1 0xa0 00000321: PUSH1 0x02 00000323: EXP 00000324: SUB 00000325: PUSH1 0x04 00000327: CALLDATALOAD 00000328: AND 00000329: PUSH2 0x0ac9 0000032c: JUMP 0000032d: JUMPDEST 0000032e: STOP 0000032f: JUMPDEST 00000330: CALLVALUE 00000331: ISZERO 00000332: PUSH2 0x033a 00000335: JUMPI 00000336: PUSH1 0x00 00000338: DUP1 00000339: REVERT 0000033a: JUMPDEST 0000033b: PUSH2 0x0226 0000033e: PUSH1 0x04 00000340: CALLDATALOAD 00000341: PUSH2 0x0bfe 00000344: JUMP 00000345: JUMPDEST 00000346: PUSH1 0x40 00000348: MLOAD 00000349: SWAP1 0000034a: ISZERO 0000034b: ISZERO 0000034c: DUP2 0000034d: MSTORE 0000034e: PUSH1 0x20 00000350: ADD 00000351: PUSH1 0x40 00000353: MLOAD 00000354: DUP1 00000355: SWAP2 00000356: SUB 00000357: SWAP1 00000358: RETURN 00000359: JUMPDEST 0000035a: CALLVALUE 0000035b: ISZERO 0000035c: PUSH2 0x0364 0000035f: JUMPI 00000360: PUSH1 0x00 00000362: DUP1 00000363: REVERT 00000364: JUMPDEST 00000365: PUSH2 0x0283 00000368: PUSH1 0x04 0000036a: CALLDATALOAD 0000036b: PUSH2 0x0c92 0000036e: JUMP 0000036f: JUMPDEST 00000370: PUSH1 0x40 00000372: MLOAD 00000373: SWAP1 00000374: DUP2 00000375: MSTORE 00000376: PUSH1 0x20 00000378: ADD 00000379: PUSH1 0x40 0000037b: MLOAD 0000037c: DUP1 0000037d: SWAP2 0000037e: SUB 0000037f: SWAP1 00000380: RETURN 00000381: JUMPDEST 00000382: CALLVALUE 00000383: ISZERO 00000384: PUSH2 0x038c 00000387: JUMPI 00000388: PUSH1 0x00 0000038a: DUP1 0000038b: REVERT 0000038c: JUMPDEST 0000038d: PUSH2 0x0397 00000390: PUSH1 0x04 00000392: CALLDATALOAD 00000393: PUSH2 0x0d11 00000396: JUMP 00000397: JUMPDEST 00000398: PUSH1 0x40 0000039a: MLOAD 0000039b: PUSH1 0x01 0000039d: PUSH1 0xa0 0000039f: PUSH1 0x02 000003a1: EXP 000003a2: SUB 000003a3: DUP6 000003a4: AND 000003a5: DUP2 000003a6: MSTORE 000003a7: PUSH1 0x20 000003a9: DUP2 000003aa: ADD 000003ab: DUP5 000003ac: SWAP1 000003ad: MSTORE 000003ae: DUP2 000003af: ISZERO 000003b0: ISZERO 000003b1: PUSH1 0x60 000003b3: DUP3 000003b4: ADD 000003b5: MSTORE 000003b6: PUSH1 0x80 000003b8: PUSH1 0x40 000003ba: DUP3 000003bb: ADD 000003bc: DUP2 000003bd: DUP2 000003be: MSTORE 000003bf: DUP5 000003c0: SLOAD 000003c1: PUSH1 0x02 000003c3: PUSH1 0x00 000003c5: NOT 000003c6: PUSH2 0x0100 000003c9: PUSH1 0x01 000003cb: DUP5 000003cc: AND 000003cd: ISZERO 000003ce: MUL 000003cf: ADD 000003d0: SWAP1 000003d1: SWAP2 000003d2: AND 000003d3: DIV 000003d4: SWAP2 000003d5: DUP4 000003d6: ADD 000003d7: DUP3 000003d8: SWAP1 000003d9: MSTORE 000003da: SWAP1 000003db: PUSH1 0xa0 000003dd: DUP4 000003de: ADD 000003df: SWAP1 000003e0: DUP6 000003e1: SWAP1 000003e2: DUP1 000003e3: ISZERO 000003e4: PUSH2 0x042e 000003e7: JUMPI 000003e8: DUP1 000003e9: PUSH1 0x1f 000003eb: LT 000003ec: PUSH2 0x0403 000003ef: JUMPI 000003f0: PUSH2 0x0100 000003f3: DUP1 000003f4: DUP4 000003f5: SLOAD 000003f6: DIV 000003f7: MUL 000003f8: DUP4 000003f9: MSTORE 000003fa: SWAP2 000003fb: PUSH1 0x20 000003fd: ADD 000003fe: SWAP2 000003ff: PUSH2 0x042e 00000402: JUMP 00000403: JUMPDEST 00000404: DUP3 00000405: ADD 00000406: SWAP2 00000407: SWAP1 00000408: PUSH1 0x00 0000040a: MSTORE 0000040b: PUSH1 0x20 0000040d: PUSH1 0x00 0000040f: KECCAK256 00000410: SWAP1 00000411: JUMPDEST 00000412: DUP2 00000413: SLOAD 00000414: DUP2 00000415: MSTORE 00000416: SWAP1 00000417: PUSH1 0x01 00000419: ADD 0000041a: SWAP1 0000041b: PUSH1 0x20 0000041d: ADD 0000041e: DUP1 0000041f: DUP4 00000420: GT 00000421: PUSH2 0x0411 00000424: JUMPI 00000425: DUP3 00000426: SWAP1 00000427: SUB 00000428: PUSH1 0x1f 0000042a: AND 0000042b: DUP3 0000042c: ADD 0000042d: SWAP2 0000042e: JUMPDEST 0000042f: POP 00000430: POP 00000431: SWAP6 00000432: POP 00000433: POP 00000434: POP 00000435: POP 00000436: POP 00000437: POP 00000438: PUSH1 0x40 0000043a: MLOAD 0000043b: DUP1 0000043c: SWAP2 0000043d: SUB 0000043e: SWAP1 0000043f: RETURN 00000440: JUMPDEST 00000441: CALLVALUE 00000442: ISZERO 00000443: PUSH2 0x044b 00000446: JUMPI 00000447: PUSH1 0x00 00000449: DUP1 0000044a: REVERT 0000044b: JUMPDEST 0000044c: PUSH2 0x0453 0000044f: PUSH2 0x0d45 00000452: JUMP 00000453: JUMPDEST 00000454: PUSH1 0x40 00000456: MLOAD 00000457: PUSH1 0x20 00000459: DUP1 0000045a: DUP3 0000045b: MSTORE 0000045c: DUP2 0000045d: SWAP1 0000045e: DUP2 0000045f: ADD 00000460: DUP4 00000461: DUP2 00000462: DUP2 00000463: MLOAD 00000464: DUP2 00000465: MSTORE 00000466: PUSH1 0x20 00000468: ADD 00000469: SWAP2 0000046a: POP 0000046b: DUP1 0000046c: MLOAD 0000046d: SWAP1 0000046e: PUSH1 0x20 00000470: ADD 00000471: SWAP1 00000472: PUSH1 0x20 00000474: MUL 00000475: DUP1 00000476: DUP4 00000477: DUP4 00000478: PUSH1 0x00 0000047a: JUMPDEST 0000047b: DUP4 0000047c: DUP2 0000047d: LT 0000047e: ISZERO 0000047f: PUSH2 0x0493 00000482: JUMPI 00000483: DUP1 00000484: DUP3 00000485: ADD 00000486: MLOAD 00000487: DUP2 00000488: DUP5 00000489: ADD 0000048a: MSTORE 0000048b: JUMPDEST 0000048c: PUSH1 0x20 0000048e: ADD 0000048f: PUSH2 0x047a 00000492: JUMP 00000493: JUMPDEST 00000494: POP 00000495: POP 00000496: POP 00000497: POP 00000498: SWAP1 00000499: POP 0000049a: ADD 0000049b: SWAP3 0000049c: POP 0000049d: POP 0000049e: POP 0000049f: PUSH1 0x40 000004a1: MLOAD 000004a2: DUP1 000004a3: SWAP2 000004a4: SUB 000004a5: SWAP1 000004a6: RETURN 000004a7: JUMPDEST 000004a8: CALLVALUE 000004a9: ISZERO 000004aa: PUSH2 0x04b2 000004ad: JUMPI 000004ae: PUSH1 0x00 000004b0: DUP1 000004b1: REVERT 000004b2: JUMPDEST 000004b3: PUSH2 0x0453 000004b6: PUSH1 0x04 000004b8: CALLDATALOAD 000004b9: PUSH1 0x24 000004bb: CALLDATALOAD 000004bc: PUSH1 0x44 000004be: CALLDATALOAD 000004bf: ISZERO 000004c0: ISZERO 000004c1: PUSH1 0x64 000004c3: CALLDATALOAD 000004c4: ISZERO 000004c5: ISZERO 000004c6: PUSH2 0x0dae 000004c9: JUMP 000004ca: JUMPDEST 000004cb: PUSH1 0x40 000004cd: MLOAD 000004ce: PUSH1 0x20 000004d0: DUP1 000004d1: DUP3 000004d2: MSTORE 000004d3: DUP2 000004d4: SWAP1 000004d5: DUP2 000004d6: ADD 000004d7: DUP4 000004d8: DUP2 000004d9: DUP2 000004da: MLOAD 000004db: DUP2 000004dc: MSTORE 000004dd: PUSH1 0x20 000004df: ADD 000004e0: SWAP2 000004e1: POP 000004e2: DUP1 000004e3: MLOAD 000004e4: SWAP1 000004e5: PUSH1 0x20 000004e7: ADD 000004e8: SWAP1 000004e9: PUSH1 0x20 000004eb: MUL 000004ec: DUP1 000004ed: DUP4 000004ee: DUP4 000004ef: PUSH1 0x00 000004f1: JUMPDEST 000004f2: DUP4 000004f3: DUP2 000004f4: LT 000004f5: ISZERO 000004f6: PUSH2 0x0493 000004f9: JUMPI 000004fa: DUP1 000004fb: DUP3 000004fc: ADD 000004fd: MLOAD 000004fe: DUP2 000004ff: DUP5 00000500: ADD 00000501: MSTORE 00000502: JUMPDEST 00000503: PUSH1 0x20 00000505: ADD 00000506: PUSH2 0x047a 00000509: JUMP 0000050a: JUMPDEST 0000050b: POP 0000050c: POP 0000050d: POP 0000050e: POP 0000050f: SWAP1 00000510: POP 00000511: ADD 00000512: SWAP3 00000513: POP 00000514: POP 00000515: POP 00000516: PUSH1 0x40 00000518: MLOAD 00000519: DUP1 0000051a: SWAP2 0000051b: SUB 0000051c: SWAP1 0000051d: RETURN 0000051e: JUMPDEST 0000051f: CALLVALUE 00000520: ISZERO 00000521: PUSH2 0x0529 00000524: JUMPI 00000525: PUSH1 0x00 00000527: DUP1 00000528: REVERT 00000529: JUMPDEST 0000052a: PUSH2 0x0453 0000052d: PUSH1 0x04 0000052f: CALLDATALOAD 00000530: PUSH2 0x0edc 00000533: JUMP 00000534: JUMPDEST 00000535: PUSH1 0x40 00000537: MLOAD 00000538: PUSH1 0x20 0000053a: DUP1 0000053b: DUP3 0000053c: MSTORE 0000053d: DUP2 0000053e: SWAP1 0000053f: DUP2 00000540: ADD 00000541: DUP4 00000542: DUP2 00000543: DUP2 00000544: MLOAD 00000545: DUP2 00000546: MSTORE 00000547: PUSH1 0x20 00000549: ADD 0000054a: SWAP2 0000054b: POP 0000054c: DUP1 0000054d: MLOAD 0000054e: SWAP1 0000054f: PUSH1 0x20 00000551: ADD 00000552: SWAP1 00000553: PUSH1 0x20 00000555: MUL 00000556: DUP1 00000557: DUP4 00000558: DUP4 00000559: PUSH1 0x00 0000055b: JUMPDEST 0000055c: DUP4 0000055d: DUP2 0000055e: LT 0000055f: ISZERO 00000560: PUSH2 0x0493 00000563: JUMPI 00000564: DUP1 00000565: DUP3 00000566: ADD 00000567: MLOAD 00000568: DUP2 00000569: DUP5 0000056a: ADD 0000056b: MSTORE 0000056c: JUMPDEST 0000056d: PUSH1 0x20 0000056f: ADD 00000570: PUSH2 0x047a 00000573: JUMP 00000574: JUMPDEST 00000575: POP 00000576: POP 00000577: POP 00000578: POP 00000579: SWAP1 0000057a: POP 0000057b: ADD 0000057c: SWAP3 0000057d: POP 0000057e: POP 0000057f: POP 00000580: PUSH1 0x40 00000582: MLOAD 00000583: DUP1 00000584: SWAP2 00000585: SUB 00000586: SWAP1 00000587: RETURN 00000588: JUMPDEST 00000589: CALLVALUE 0000058a: ISZERO 0000058b: PUSH2 0x0593 0000058e: JUMPI 0000058f: PUSH1 0x00 00000591: DUP1 00000592: REVERT 00000593: JUMPDEST 00000594: PUSH2 0x0283 00000597: PUSH2 0x105e 0000059a: JUMP 0000059b: JUMPDEST 0000059c: PUSH1 0x40 0000059e: MLOAD 0000059f: SWAP1 000005a0: DUP2 000005a1: MSTORE 000005a2: PUSH1 0x20 000005a4: ADD 000005a5: PUSH1 0x40 000005a7: MLOAD 000005a8: DUP1 000005a9: SWAP2 000005aa: SUB 000005ab: SWAP1 000005ac: RETURN 000005ad: JUMPDEST 000005ae: CALLVALUE 000005af: ISZERO 000005b0: PUSH2 0x05b8 000005b3: JUMPI 000005b4: PUSH1 0x00 000005b6: DUP1 000005b7: REVERT 000005b8: JUMPDEST 000005b9: PUSH2 0x0199 000005bc: PUSH1 0x04 000005be: CALLDATALOAD 000005bf: PUSH2 0x1064 000005c2: JUMP 000005c3: JUMPDEST 000005c4: STOP 000005c5: JUMPDEST 000005c6: CALLVALUE 000005c7: ISZERO 000005c8: PUSH2 0x05d0 000005cb: JUMPI 000005cc: PUSH1 0x00 000005ce: DUP1 000005cf: REVERT 000005d0: JUMPDEST 000005d1: PUSH2 0x0199 000005d4: PUSH1 0x04 000005d6: CALLDATALOAD 000005d7: PUSH2 0x10f2 000005da: JUMP 000005db: JUMPDEST 000005dc: STOP 000005dd: JUMPDEST 000005de: CALLVALUE 000005df: ISZERO 000005e0: PUSH2 0x05e8 000005e3: JUMPI 000005e4: PUSH1 0x00 000005e6: DUP1 000005e7: REVERT 000005e8: JUMPDEST 000005e9: PUSH2 0x0283 000005ec: PUSH1 0x04 000005ee: DUP1 000005ef: CALLDATALOAD 000005f0: PUSH1 0x01 000005f2: PUSH1 0xa0 000005f4: PUSH1 0x02 000005f6: EXP 000005f7: SUB 000005f8: AND 000005f9: SWAP1 000005fa: PUSH1 0x24 000005fc: DUP1 000005fd: CALLDATALOAD 000005fe: SWAP2 000005ff: SWAP1 00000600: PUSH1 0x64 00000602: SWAP1 00000603: PUSH1 0x44 00000605: CALLDATALOAD 00000606: SWAP1 00000607: DUP2 00000608: ADD 00000609: SWAP1 0000060a: DUP4 0000060b: ADD 0000060c: CALLDATALOAD 0000060d: DUP1 0000060e: PUSH1 0x20 00000610: PUSH1 0x1f 00000612: DUP3 00000613: ADD 00000614: DUP2 00000615: SWAP1 00000616: DIV 00000617: DUP2 00000618: MUL 00000619: ADD 0000061a: PUSH1 0x40 0000061c: MLOAD 0000061d: SWAP1 0000061e: DUP2 0000061f: ADD 00000620: PUSH1 0x40 00000622: MSTORE 00000623: DUP2 00000624: DUP2 00000625: MSTORE 00000626: SWAP3 00000627: SWAP2 00000628: SWAP1 00000629: PUSH1 0x20 0000062b: DUP5 0000062c: ADD 0000062d: DUP4 0000062e: DUP4 0000062f: DUP1 00000630: DUP3 00000631: DUP5 00000632: CALLDATACOPY 00000633: POP 00000634: SWAP5 00000635: SWAP7 00000636: POP 00000637: PUSH2 0x11e4 0000063a: SWAP6 0000063b: POP 0000063c: POP 0000063d: POP 0000063e: POP 0000063f: POP 00000640: POP 00000641: JUMP 00000642: JUMPDEST 00000643: PUSH1 0x40 00000645: MLOAD 00000646: SWAP1 00000647: DUP2 00000648: MSTORE 00000649: PUSH1 0x20 0000064b: ADD 0000064c: PUSH1 0x40 0000064e: MLOAD 0000064f: DUP1 00000650: SWAP2 00000651: SUB 00000652: SWAP1 00000653: RETURN 00000654: JUMPDEST 00000655: CALLVALUE 00000656: ISZERO 00000657: PUSH2 0x065f 0000065a: JUMPI 0000065b: PUSH1 0x00 0000065d: DUP1 0000065e: REVERT 0000065f: JUMPDEST 00000660: PUSH2 0x0199 00000663: PUSH1 0x04 00000665: CALLDATALOAD 00000666: PUSH2 0x1204 00000669: JUMP 0000066a: JUMPDEST 0000066b: STOP 0000066c: JUMPDEST 0000066d: CALLVALUE 0000066e: ISZERO 0000066f: PUSH2 0x0677 00000672: JUMPI 00000673: PUSH1 0x00 00000675: DUP1 00000676: REVERT 00000677: JUMPDEST 00000678: PUSH2 0x0283 0000067b: PUSH2 0x1261 0000067e: JUMP 0000067f: JUMPDEST 00000680: PUSH1 0x40 00000682: MLOAD 00000683: SWAP1 00000684: DUP2 00000685: MSTORE 00000686: PUSH1 0x20 00000688: ADD 00000689: PUSH1 0x40 0000068b: MLOAD 0000068c: DUP1 0000068d: SWAP2 0000068e: SUB 0000068f: SWAP1 00000690: RETURN 00000691: JUMPDEST 00000692: CALLVALUE 00000693: ISZERO 00000694: PUSH2 0x069c 00000697: JUMPI 00000698: PUSH1 0x00 0000069a: DUP1 0000069b: REVERT 0000069c: JUMPDEST 0000069d: PUSH2 0x0283 000006a0: PUSH2 0x1266 000006a3: JUMP 000006a4: JUMPDEST 000006a5: PUSH1 0x40 000006a7: MLOAD 000006a8: SWAP1 000006a9: DUP2 000006aa: MSTORE 000006ab: PUSH1 0x20 000006ad: ADD 000006ae: PUSH1 0x40 000006b0: MLOAD 000006b1: DUP1 000006b2: SWAP2 000006b3: SUB 000006b4: SWAP1 000006b5: RETURN 000006b6: JUMPDEST 000006b7: CALLVALUE 000006b8: ISZERO 000006b9: PUSH2 0x06c1 000006bc: JUMPI 000006bd: PUSH1 0x00 000006bf: DUP1 000006c0: REVERT 000006c1: JUMPDEST 000006c2: PUSH2 0x0199 000006c5: PUSH1 0x01 000006c7: PUSH1 0xa0 000006c9: PUSH1 0x02 000006cb: EXP 000006cc: SUB 000006cd: PUSH1 0x04 000006cf: CALLDATALOAD 000006d0: DUP2 000006d1: AND 000006d2: SWAP1 000006d3: PUSH1 0x24 000006d5: CALLDATALOAD 000006d6: AND 000006d7: PUSH2 0x126c 000006da: JUMP 000006db: JUMPDEST 000006dc: STOP 000006dd: JUMPDEST 000006de: CALLVALUE 000006df: ISZERO 000006e0: PUSH2 0x06e8 000006e3: JUMPI 000006e4: PUSH1 0x00 000006e6: DUP1 000006e7: REVERT 000006e8: JUMPDEST 000006e9: PUSH2 0x0199 000006ec: PUSH1 0x04 000006ee: CALLDATALOAD 000006ef: PUSH2 0x142d 000006f2: JUMP 000006f3: JUMPDEST 000006f4: STOP 000006f5: JUMPDEST 000006f6: CALLVALUE 000006f7: ISZERO 000006f8: PUSH2 0x0700 000006fb: JUMPI 000006fc: PUSH1 0x00 000006fe: DUP1 000006ff: REVERT 00000700: JUMPDEST 00000701: PUSH2 0x0283 00000704: PUSH2 0x15ef 00000707: JUMP 00000708: JUMPDEST 00000709: PUSH1 0x40 0000070b: MLOAD 0000070c: SWAP1 0000070d: DUP2 0000070e: MSTORE 0000070f: PUSH1 0x20 00000711: ADD 00000712: PUSH1 0x40 00000714: MLOAD 00000715: DUP1 00000716: SWAP2 00000717: SUB 00000718: SWAP1 00000719: RETURN 0000071a: JUMPDEST 0000071b: PUSH1 0x03 0000071d: DUP1 0000071e: SLOAD 0000071f: DUP3 00000720: SWAP1 00000721: DUP2 00000722: LT 00000723: PUSH2 0x0728 00000726: JUMPI 00000727: INVALID 00000728: JUMPDEST 00000729: SWAP1 0000072a: PUSH1 0x00 0000072c: MSTORE 0000072d: PUSH1 0x20 0000072f: PUSH1 0x00 00000731: KECCAK256 00000732: SWAP1 00000733: ADD 00000734: PUSH1 0x00 00000736: JUMPDEST 00000737: SWAP2 00000738: POP 00000739: SLOAD 0000073a: SWAP1 0000073b: PUSH2 0x0100 0000073e: EXP 0000073f: SWAP1 00000740: DIV 00000741: PUSH1 0x01 00000743: PUSH1 0xa0 00000745: PUSH1 0x02 00000747: EXP 00000748: SUB 00000749: AND 0000074a: DUP2 0000074b: JUMP 0000074c: JUMPDEST 0000074d: PUSH1 0x00 0000074f: ADDRESS 00000750: PUSH1 0x01 00000752: PUSH1 0xa0 00000754: PUSH1 0x02 00000756: EXP 00000757: SUB 00000758: AND 00000759: CALLER 0000075a: PUSH1 0x01 0000075c: PUSH1 0xa0 0000075e: PUSH1 0x02 00000760: EXP 00000761: SUB 00000762: AND 00000763: EQ 00000764: ISZERO 00000765: ISZERO 00000766: PUSH2 0x076e 00000769: JUMPI 0000076a: PUSH1 0x00 0000076c: DUP1 0000076d: REVERT 0000076e: JUMPDEST 0000076f: PUSH1 0x01 00000771: PUSH1 0xa0 00000773: PUSH1 0x02 00000775: EXP 00000776: SUB 00000777: DUP3 00000778: AND 00000779: PUSH1 0x00 0000077b: SWAP1 0000077c: DUP2 0000077d: MSTORE 0000077e: PUSH1 0x02 00000780: PUSH1 0x20 00000782: MSTORE 00000783: PUSH1 0x40 00000785: SWAP1 00000786: KECCAK256 00000787: SLOAD 00000788: DUP3 00000789: SWAP1 0000078a: PUSH1 0xff 0000078c: AND 0000078d: ISZERO 0000078e: ISZERO 0000078f: PUSH2 0x0797 00000792: JUMPI 00000793: PUSH1 0x00 00000795: DUP1 00000796: REVERT 00000797: JUMPDEST 00000798: PUSH1 0x01 0000079a: PUSH1 0xa0 0000079c: PUSH1 0x02 0000079e: EXP 0000079f: SUB 000007a0: DUP4 000007a1: AND 000007a2: PUSH1 0x00 000007a4: SWAP1 000007a5: DUP2 000007a6: MSTORE 000007a7: PUSH1 0x02 000007a9: PUSH1 0x20 000007ab: MSTORE 000007ac: PUSH1 0x40 000007ae: DUP2 000007af: KECCAK256 000007b0: DUP1 000007b1: SLOAD 000007b2: PUSH1 0xff 000007b4: NOT 000007b5: AND 000007b6: SWAP1 000007b7: SSTORE 000007b8: SWAP2 000007b9: POP 000007ba: JUMPDEST 000007bb: PUSH1 0x03 000007bd: SLOAD 000007be: PUSH1 0x00 000007c0: NOT 000007c1: ADD 000007c2: DUP3 000007c3: LT 000007c4: ISZERO 000007c5: PUSH2 0x0892 000007c8: JUMPI 000007c9: DUP3 000007ca: PUSH1 0x01 000007cc: PUSH1 0xa0 000007ce: PUSH1 0x02 000007d0: EXP 000007d1: SUB 000007d2: AND 000007d3: PUSH1 0x03 000007d5: DUP4 000007d6: DUP2 000007d7: SLOAD 000007d8: DUP2 000007d9: LT 000007da: ISZERO 000007db: ISZERO 000007dc: PUSH2 0x07e1 000007df: JUMPI 000007e0: INVALID 000007e1: JUMPDEST 000007e2: SWAP1 000007e3: PUSH1 0x00 000007e5: MSTORE 000007e6: PUSH1 0x20 000007e8: PUSH1 0x00 000007ea: KECCAK256 000007eb: SWAP1 000007ec: ADD 000007ed: PUSH1 0x00 000007ef: JUMPDEST 000007f0: SWAP1 000007f1: SLOAD 000007f2: SWAP1 000007f3: PUSH2 0x0100 000007f6: EXP 000007f7: SWAP1 000007f8: DIV 000007f9: PUSH1 0x01 000007fb: PUSH1 0xa0 000007fd: PUSH1 0x02 000007ff: EXP 00000800: SUB 00000801: AND 00000802: PUSH1 0x01 00000804: PUSH1 0xa0 00000806: PUSH1 0x02 00000808: EXP 00000809: SUB 0000080a: AND 0000080b: EQ 0000080c: ISZERO 0000080d: PUSH2 0x0886 00000810: JUMPI 00000811: PUSH1 0x03 00000813: DUP1 00000814: SLOAD 00000815: PUSH1 0x00 00000817: NOT 00000818: DUP2 00000819: ADD 0000081a: SWAP1 0000081b: DUP2 0000081c: LT 0000081d: PUSH2 0x0822 00000820: JUMPI 00000821: INVALID 00000822: JUMPDEST 00000823: SWAP1 00000824: PUSH1 0x00 00000826: MSTORE 00000827: PUSH1 0x20 00000829: PUSH1 0x00 0000082b: KECCAK256 0000082c: SWAP1 0000082d: ADD 0000082e: PUSH1 0x00 00000830: JUMPDEST 00000831: SWAP1 00000832: SLOAD 00000833: SWAP1 00000834: PUSH2 0x0100 00000837: EXP 00000838: SWAP1 00000839: DIV 0000083a: PUSH1 0x01 0000083c: PUSH1 0xa0 0000083e: PUSH1 0x02 00000840: EXP 00000841: SUB 00000842: AND 00000843: PUSH1 0x03 00000845: DUP4 00000846: DUP2 00000847: SLOAD 00000848: DUP2 00000849: LT 0000084a: ISZERO 0000084b: ISZERO 0000084c: PUSH2 0x0851 0000084f: JUMPI 00000850: INVALID 00000851: JUMPDEST 00000852: SWAP1 00000853: PUSH1 0x00 00000855: MSTORE 00000856: PUSH1 0x20 00000858: PUSH1 0x00 0000085a: KECCAK256 0000085b: SWAP1 0000085c: ADD 0000085d: PUSH1 0x00 0000085f: JUMPDEST 00000860: PUSH2 0x0100 00000863: EXP 00000864: DUP2 00000865: SLOAD 00000866: DUP2 00000867: PUSH1 0x01 00000869: PUSH1 0xa0 0000086b: PUSH1 0x02 0000086d: EXP 0000086e: SUB 0000086f: MUL 00000870: NOT 00000871: AND 00000872: SWAP1 00000873: DUP4 00000874: PUSH1 0x01 00000876: PUSH1 0xa0 00000878: PUSH1 0x02 0000087a: EXP 0000087b: SUB 0000087c: AND 0000087d: MUL 0000087e: OR 0000087f: SWAP1 00000880: SSTORE 00000881: POP 00000882: PUSH2 0x0892 00000885: JUMP 00000886: JUMPDEST 00000887: JUMPDEST 00000888: PUSH1 0x01 0000088a: SWAP1 0000088b: SWAP2 0000088c: ADD 0000088d: SWAP1 0000088e: PUSH2 0x07ba 00000891: JUMP 00000892: JUMPDEST 00000893: PUSH1 0x03 00000895: DUP1 00000896: SLOAD 00000897: PUSH1 0x00 00000899: NOT 0000089a: ADD 0000089b: SWAP1 0000089c: PUSH2 0x08a5 0000089f: SWAP1 000008a0: DUP3 000008a1: PUSH2 0x173c 000008a4: JUMP 000008a5: JUMPDEST 000008a6: POP 000008a7: PUSH1 0x03 000008a9: SLOAD 000008aa: PUSH1 0x04 000008ac: SLOAD 000008ad: GT 000008ae: ISZERO 000008af: PUSH2 0x08be 000008b2: JUMPI 000008b3: PUSH1 0x03 000008b5: SLOAD 000008b6: PUSH2 0x08be 000008b9: SWAP1 000008ba: PUSH2 0x1064 000008bd: JUMP 000008be: JUMPDEST 000008bf: JUMPDEST 000008c0: DUP3 000008c1: PUSH1 0x01 000008c3: PUSH1 0xa0 000008c5: PUSH1 0x02 000008c7: EXP 000008c8: SUB 000008c9: AND 000008ca: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90 000008eb: PUSH1 0x40 000008ed: MLOAD 000008ee: PUSH1 0x40 000008f0: MLOAD 000008f1: DUP1 000008f2: SWAP2 000008f3: SUB 000008f4: SWAP1 000008f5: LOG2 000008f6: JUMPDEST 000008f7: JUMPDEST 000008f8: POP 000008f9: JUMPDEST 000008fa: POP 000008fb: POP 000008fc: JUMP 000008fd: JUMPDEST 000008fe: CALLER 000008ff: PUSH1 0x01 00000901: PUSH1 0xa0 00000903: PUSH1 0x02 00000905: EXP 00000906: SUB 00000907: DUP2 00000908: AND 00000909: PUSH1 0x00 0000090b: SWAP1 0000090c: DUP2 0000090d: MSTORE 0000090e: PUSH1 0x02 00000910: PUSH1 0x20 00000912: MSTORE 00000913: PUSH1 0x40 00000915: SWAP1 00000916: KECCAK256 00000917: SLOAD 00000918: PUSH1 0xff 0000091a: AND 0000091b: ISZERO 0000091c: ISZERO 0000091d: PUSH2 0x0925 00000920: JUMPI 00000921: PUSH1 0x00 00000923: DUP1 00000924: REVERT 00000925: JUMPDEST 00000926: PUSH1 0x00 00000928: DUP3 00000929: DUP2 0000092a: MSTORE 0000092b: PUSH1 0x01 0000092d: PUSH1 0x20 0000092f: SWAP1 00000930: DUP2 00000931: MSTORE 00000932: PUSH1 0x40 00000934: DUP1 00000935: DUP4 00000936: KECCAK256 00000937: CALLER 00000938: PUSH1 0x01 0000093a: PUSH1 0xa0 0000093c: PUSH1 0x02 0000093e: EXP 0000093f: SUB 00000940: DUP2 00000941: AND 00000942: DUP6 00000943: MSTORE 00000944: SWAP3 00000945: MSTORE 00000946: SWAP1 00000947: SWAP2 00000948: KECCAK256 00000949: SLOAD 0000094a: DUP4 0000094b: SWAP2 0000094c: SWAP1 0000094d: PUSH1 0xff 0000094f: AND 00000950: ISZERO 00000951: ISZERO 00000952: PUSH2 0x095a 00000955: JUMPI 00000956: PUSH1 0x00 00000958: DUP1 00000959: REVERT 0000095a: JUMPDEST 0000095b: PUSH1 0x00 0000095d: DUP5 0000095e: DUP2 0000095f: MSTORE 00000960: PUSH1 0x20 00000962: DUP2 00000963: SWAP1 00000964: MSTORE 00000965: PUSH1 0x40 00000967: SWAP1 00000968: KECCAK256 00000969: PUSH1 0x03 0000096b: ADD 0000096c: SLOAD 0000096d: DUP5 0000096e: SWAP1 0000096f: PUSH1 0xff 00000971: AND 00000972: ISZERO 00000973: PUSH2 0x097b 00000976: JUMPI 00000977: PUSH1 0x00 00000979: DUP1 0000097a: REVERT 0000097b: JUMPDEST 0000097c: PUSH1 0x00 0000097e: DUP6 0000097f: DUP2 00000980: MSTORE 00000981: PUSH1 0x01 00000983: PUSH1 0x20 00000985: SWAP1 00000986: DUP2 00000987: MSTORE 00000988: PUSH1 0x40 0000098a: DUP1 0000098b: DUP4 0000098c: KECCAK256 0000098d: PUSH1 0x01 0000098f: PUSH1 0xa0 00000991: PUSH1 0x02 00000993: EXP 00000994: SUB 00000995: CALLER 00000996: AND 00000997: DUP1 00000998: DUP6 00000999: MSTORE 0000099a: SWAP3 0000099b: MSTORE 0000099c: SWAP2 0000099d: DUP3 0000099e: SWAP1 0000099f: KECCAK256 000009a0: DUP1 000009a1: SLOAD 000009a2: PUSH1 0xff 000009a4: NOT 000009a5: AND 000009a6: SWAP1 000009a7: SSTORE 000009a8: DUP7 000009a9: SWAP2 000009aa: PUSH32 0xf6a317157440607f36269043eb55f1287a5a19ba2216afeab88cd46cbcfb88e9 000009cb: SWAP1 000009cc: MLOAD 000009cd: PUSH1 0x40 000009cf: MLOAD 000009d0: DUP1 000009d1: SWAP2 000009d2: SUB 000009d3: SWAP1 000009d4: LOG3 000009d5: JUMPDEST 000009d6: JUMPDEST 000009d7: POP 000009d8: JUMPDEST 000009d9: POP 000009da: POP 000009db: JUMPDEST 000009dc: POP 000009dd: POP 000009de: JUMP 000009df: JUMPDEST 000009e0: PUSH1 0x02 000009e2: PUSH1 0x20 000009e4: MSTORE 000009e5: PUSH1 0x00 000009e7: SWAP1 000009e8: DUP2 000009e9: MSTORE 000009ea: PUSH1 0x40 000009ec: SWAP1 000009ed: KECCAK256 000009ee: SLOAD 000009ef: PUSH1 0xff 000009f1: AND 000009f2: DUP2 000009f3: JUMP 000009f4: JUMPDEST 000009f5: PUSH1 0x01 000009f7: PUSH1 0x20 000009f9: SWAP1 000009fa: DUP2 000009fb: MSTORE 000009fc: PUSH1 0x00 000009fe: SWAP3 000009ff: DUP4 00000a00: MSTORE 00000a01: PUSH1 0x40 00000a03: DUP1 00000a04: DUP5 00000a05: KECCAK256 00000a06: SWAP1 00000a07: SWAP2 00000a08: MSTORE 00000a09: SWAP1 00000a0a: DUP3 00000a0b: MSTORE 00000a0c: SWAP1 00000a0d: KECCAK256 00000a0e: SLOAD 00000a0f: PUSH1 0xff 00000a11: AND 00000a12: DUP2 00000a13: JUMP 00000a14: JUMPDEST 00000a15: PUSH1 0x00 00000a17: PUSH1 0x07 00000a19: SLOAD 00000a1a: PUSH3 0x015180 00000a1e: ADD 00000a1f: TIMESTAMP 00000a20: GT 00000a21: ISZERO 00000a22: PUSH2 0x0a2e 00000a25: JUMPI 00000a26: POP 00000a27: PUSH1 0x06 00000a29: SLOAD 00000a2a: PUSH2 0x0a4b 00000a2d: JUMP 00000a2e: JUMPDEST 00000a2f: PUSH1 0x08 00000a31: SLOAD 00000a32: PUSH1 0x06 00000a34: SLOAD 00000a35: LT 00000a36: ISZERO 00000a37: PUSH2 0x0a42 00000a3a: JUMPI 00000a3b: POP 00000a3c: PUSH1 0x00 00000a3e: PUSH2 0x0a4b 00000a41: JUMP 00000a42: JUMPDEST 00000a43: POP 00000a44: PUSH1 0x08 00000a46: SLOAD 00000a47: PUSH1 0x06 00000a49: SLOAD 00000a4a: SUB 00000a4b: JUMPDEST 00000a4c: SWAP1 00000a4d: JUMP 00000a4e: JUMPDEST 00000a4f: PUSH1 0x00 00000a51: DUP1 00000a52: JUMPDEST 00000a53: PUSH1 0x05 00000a55: SLOAD 00000a56: DUP2 00000a57: LT 00000a58: ISZERO 00000a59: PUSH2 0x0ab5 00000a5c: JUMPI 00000a5d: DUP4 00000a5e: DUP1 00000a5f: ISZERO 00000a60: PUSH2 0x0a7b 00000a63: JUMPI 00000a64: POP 00000a65: PUSH1 0x00 00000a67: DUP2 00000a68: DUP2 00000a69: MSTORE 00000a6a: PUSH1 0x20 00000a6c: DUP2 00000a6d: SWAP1 00000a6e: MSTORE 00000a6f: PUSH1 0x40 00000a71: SWAP1 00000a72: KECCAK256 00000a73: PUSH1 0x03 00000a75: ADD 00000a76: SLOAD 00000a77: PUSH1 0xff 00000a79: AND 00000a7a: ISZERO 00000a7b: JUMPDEST 00000a7c: DUP1 00000a7d: PUSH2 0x0a9f 00000a80: JUMPI 00000a81: POP 00000a82: DUP3 00000a83: DUP1 00000a84: ISZERO 00000a85: PUSH2 0x0a9f 00000a88: JUMPI 00000a89: POP 00000a8a: PUSH1 0x00 00000a8c: DUP2 00000a8d: DUP2 00000a8e: MSTORE 00000a8f: PUSH1 0x20 00000a91: DUP2 00000a92: SWAP1 00000a93: MSTORE 00000a94: PUSH1 0x40 00000a96: SWAP1 00000a97: KECCAK256 00000a98: PUSH1 0x03 00000a9a: ADD 00000a9b: SLOAD 00000a9c: PUSH1 0xff 00000a9e: AND 00000a9f: JUMPDEST 00000aa0: JUMPDEST 00000aa1: ISZERO 00000aa2: PUSH2 0x0aac 00000aa5: JUMPI 00000aa6: PUSH1 0x01 00000aa8: DUP3 00000aa9: ADD 00000aaa: SWAP2 00000aab: POP 00000aac: JUMPDEST 00000aad: JUMPDEST 00000aae: PUSH1 0x01 00000ab0: ADD 00000ab1: PUSH2 0x0a52 00000ab4: JUMP 00000ab5: JUMPDEST 00000ab6: JUMPDEST 00000ab7: POP 00000ab8: SWAP3 00000ab9: SWAP2 00000aba: POP 00000abb: POP 00000abc: JUMP 00000abd: JUMPDEST 00000abe: PUSH1 0x06 00000ac0: SLOAD 00000ac1: DUP2 00000ac2: JUMP 00000ac3: JUMPDEST 00000ac4: PUSH1 0x07 00000ac6: SLOAD 00000ac7: DUP2 00000ac8: JUMP 00000ac9: JUMPDEST 00000aca: ADDRESS 00000acb: PUSH1 0x01 00000acd: PUSH1 0xa0 00000acf: PUSH1 0x02 00000ad1: EXP 00000ad2: SUB 00000ad3: AND 00000ad4: CALLER 00000ad5: PUSH1 0x01 00000ad7: PUSH1 0xa0 00000ad9: PUSH1 0x02 00000adb: EXP 00000adc: SUB 00000add: AND 00000ade: EQ 00000adf: ISZERO 00000ae0: ISZERO 00000ae1: PUSH2 0x0ae9 00000ae4: JUMPI 00000ae5: PUSH1 0x00 00000ae7: DUP1 00000ae8: REVERT 00000ae9: JUMPDEST 00000aea: PUSH1 0x01 00000aec: PUSH1 0xa0 00000aee: PUSH1 0x02 00000af0: EXP 00000af1: SUB 00000af2: DUP2 00000af3: AND 00000af4: PUSH1 0x00 00000af6: SWAP1 00000af7: DUP2 00000af8: MSTORE 00000af9: PUSH1 0x02 00000afb: PUSH1 0x20 00000afd: MSTORE 00000afe: PUSH1 0x40 00000b00: SWAP1 00000b01: KECCAK256 00000b02: SLOAD 00000b03: DUP2 00000b04: SWAP1 00000b05: PUSH1 0xff 00000b07: AND 00000b08: ISZERO 00000b09: PUSH2 0x0b11 00000b0c: JUMPI 00000b0d: PUSH1 0x00 00000b0f: DUP1 00000b10: REVERT 00000b11: JUMPDEST 00000b12: DUP2 00000b13: PUSH1 0x01 00000b15: PUSH1 0xa0 00000b17: PUSH1 0x02 00000b19: EXP 00000b1a: SUB 00000b1b: DUP2 00000b1c: AND 00000b1d: ISZERO 00000b1e: ISZERO 00000b1f: PUSH2 0x0b27 00000b22: JUMPI 00000b23: PUSH1 0x00 00000b25: DUP1 00000b26: REVERT 00000b27: JUMPDEST 00000b28: PUSH1 0x03 00000b2a: DUP1 00000b2b: SLOAD 00000b2c: SWAP1 00000b2d: POP 00000b2e: PUSH1 0x01 00000b30: ADD 00000b31: PUSH1 0x04 00000b33: SLOAD 00000b34: PUSH1 0x32 00000b36: DUP3 00000b37: GT 00000b38: DUP1 00000b39: PUSH2 0x0b41 00000b3c: JUMPI 00000b3d: POP 00000b3e: DUP2 00000b3f: DUP2 00000b40: GT 00000b41: JUMPDEST 00000b42: DUP1 00000b43: PUSH2 0x0b4a 00000b46: JUMPI 00000b47: POP 00000b48: DUP1 00000b49: ISZERO 00000b4a: JUMPDEST 00000b4b: DUP1 00000b4c: PUSH2 0x0b53 00000b4f: JUMPI 00000b50: POP 00000b51: DUP2 00000b52: ISZERO 00000b53: JUMPDEST 00000b54: ISZERO 00000b55: PUSH2 0x0b5d 00000b58: JUMPI 00000b59: PUSH1 0x00 00000b5b: DUP1 00000b5c: REVERT 00000b5d: JUMPDEST 00000b5e: PUSH1 0x01 00000b60: PUSH1 0xa0 00000b62: PUSH1 0x02 00000b64: EXP 00000b65: SUB 00000b66: DUP6 00000b67: AND 00000b68: PUSH1 0x00 00000b6a: SWAP1 00000b6b: DUP2 00000b6c: MSTORE 00000b6d: PUSH1 0x02 00000b6f: PUSH1 0x20 00000b71: MSTORE 00000b72: PUSH1 0x40 00000b74: SWAP1 00000b75: KECCAK256 00000b76: DUP1 00000b77: SLOAD 00000b78: PUSH1 0xff 00000b7a: NOT 00000b7b: AND 00000b7c: PUSH1 0x01 00000b7e: SWAP1 00000b7f: DUP2 00000b80: OR 00000b81: SWAP1 00000b82: SWAP2 00000b83: SSTORE 00000b84: PUSH1 0x03 00000b86: DUP1 00000b87: SLOAD 00000b88: SWAP1 00000b89: SWAP2 00000b8a: DUP2 00000b8b: ADD 00000b8c: PUSH2 0x0b95 00000b8f: DUP4 00000b90: DUP3 00000b91: PUSH2 0x173c 00000b94: JUMP 00000b95: JUMPDEST 00000b96: SWAP2 00000b97: PUSH1 0x00 00000b99: MSTORE 00000b9a: PUSH1 0x20 00000b9c: PUSH1 0x00 00000b9e: KECCAK256 00000b9f: SWAP1 00000ba0: ADD 00000ba1: PUSH1 0x00 00000ba3: JUMPDEST 00000ba4: DUP2 00000ba5: SLOAD 00000ba6: PUSH1 0x01 00000ba8: PUSH1 0xa0 00000baa: PUSH1 0x02 00000bac: EXP 00000bad: SUB 00000bae: DUP1 00000baf: DUP11 00000bb0: AND 00000bb1: PUSH2 0x0100 00000bb4: SWAP4 00000bb5: SWAP1 00000bb6: SWAP4 00000bb7: EXP 00000bb8: DUP4 00000bb9: DUP2 00000bba: MUL 00000bbb: SWAP2 00000bbc: MUL 00000bbd: NOT 00000bbe: SWAP1 00000bbf: SWAP2 00000bc0: AND 00000bc1: OR 00000bc2: SWAP1 00000bc3: SWAP2 00000bc4: SSTORE 00000bc5: SWAP1 00000bc6: POP 00000bc7: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d 00000be8: PUSH1 0x40 00000bea: MLOAD 00000beb: PUSH1 0x40 00000bed: MLOAD 00000bee: DUP1 00000bef: SWAP2 00000bf0: SUB 00000bf1: SWAP1 00000bf2: LOG2 00000bf3: JUMPDEST 00000bf4: JUMPDEST 00000bf5: POP 00000bf6: POP 00000bf7: JUMPDEST 00000bf8: POP 00000bf9: JUMPDEST 00000bfa: POP 00000bfb: JUMPDEST 00000bfc: POP 00000bfd: JUMP 00000bfe: JUMPDEST 00000bff: PUSH1 0x00 00000c01: DUP1 00000c02: DUP1 00000c03: JUMPDEST 00000c04: PUSH1 0x03 00000c06: SLOAD 00000c07: DUP2 00000c08: LT 00000c09: ISZERO 00000c0a: PUSH2 0x0c8a 00000c0d: JUMPI 00000c0e: PUSH1 0x00 00000c10: DUP5 00000c11: DUP2 00000c12: MSTORE 00000c13: PUSH1 0x01 00000c15: PUSH1 0x20 00000c17: MSTORE 00000c18: PUSH1 0x40 00000c1a: DUP2 00000c1b: KECCAK256 00000c1c: PUSH1 0x03 00000c1e: DUP1 00000c1f: SLOAD 00000c20: SWAP2 00000c21: SWAP3 00000c22: SWAP2 00000c23: DUP5 00000c24: SWAP1 00000c25: DUP2 00000c26: LT 00000c27: PUSH2 0x0c2c 00000c2a: JUMPI 00000c2b: INVALID 00000c2c: JUMPDEST 00000c2d: SWAP1 00000c2e: PUSH1 0x00 00000c30: MSTORE 00000c31: PUSH1 0x20 00000c33: PUSH1 0x00 00000c35: KECCAK256 00000c36: SWAP1 00000c37: ADD 00000c38: PUSH1 0x00 00000c3a: JUMPDEST 00000c3b: SWAP1 00000c3c: SLOAD 00000c3d: PUSH1 0x01 00000c3f: PUSH1 0xa0 00000c41: PUSH1 0x02 00000c43: EXP 00000c44: SUB 00000c45: PUSH2 0x0100 00000c48: SWAP3 00000c49: SWAP1 00000c4a: SWAP3 00000c4b: EXP 00000c4c: SWAP1 00000c4d: DIV 00000c4e: AND 00000c4f: DUP2 00000c50: MSTORE 00000c51: PUSH1 0x20 00000c53: DUP2 00000c54: ADD 00000c55: SWAP2 00000c56: SWAP1 00000c57: SWAP2 00000c58: MSTORE 00000c59: PUSH1 0x40 00000c5b: ADD 00000c5c: PUSH1 0x00 00000c5e: KECCAK256 00000c5f: SLOAD 00000c60: PUSH1 0xff 00000c62: AND 00000c63: ISZERO 00000c64: PUSH2 0x0c6e 00000c67: JUMPI 00000c68: PUSH1 0x01 00000c6a: DUP3 00000c6b: ADD 00000c6c: SWAP2 00000c6d: POP 00000c6e: JUMPDEST 00000c6f: PUSH1 0x04 00000c71: SLOAD 00000c72: DUP3 00000c73: EQ 00000c74: ISZERO 00000c75: PUSH2 0x0c81 00000c78: JUMPI 00000c79: PUSH1 0x01 00000c7b: SWAP3 00000c7c: POP 00000c7d: PUSH2 0x0c8a 00000c80: JUMP 00000c81: JUMPDEST 00000c82: JUMPDEST 00000c83: PUSH1 0x01 00000c85: ADD 00000c86: PUSH2 0x0c03 00000c89: JUMP 00000c8a: JUMPDEST 00000c8b: JUMPDEST 00000c8c: POP 00000c8d: POP 00000c8e: SWAP2 00000c8f: SWAP1 00000c90: POP 00000c91: JUMP 00000c92: JUMPDEST 00000c93: PUSH1 0x00 00000c95: DUP1 00000c96: JUMPDEST 00000c97: PUSH1 0x03 00000c99: SLOAD 00000c9a: DUP2 00000c9b: LT 00000c9c: ISZERO 00000c9d: PUSH2 0x0d0a 00000ca0: JUMPI 00000ca1: PUSH1 0x00 00000ca3: DUP4 00000ca4: DUP2 00000ca5: MSTORE 00000ca6: PUSH1 0x01 00000ca8: PUSH1 0x20 00000caa: MSTORE 00000cab: PUSH1 0x40 00000cad: DUP2 00000cae: KECCAK256 00000caf: PUSH1 0x03 00000cb1: DUP1 00000cb2: SLOAD 00000cb3: SWAP2 00000cb4: SWAP3 00000cb5: SWAP2 00000cb6: DUP5 00000cb7: SWAP1 00000cb8: DUP2 00000cb9: LT 00000cba: PUSH2 0x0cbf 00000cbd: JUMPI 00000cbe: INVALID 00000cbf: JUMPDEST 00000cc0: SWAP1 00000cc1: PUSH1 0x00 00000cc3: MSTORE 00000cc4: PUSH1 0x20 00000cc6: PUSH1 0x00 00000cc8: KECCAK256 00000cc9: SWAP1 00000cca: ADD 00000ccb: PUSH1 0x00 00000ccd: JUMPDEST 00000cce: SWAP1 00000ccf: SLOAD 00000cd0: PUSH1 0x01 00000cd2: PUSH1 0xa0 00000cd4: PUSH1 0x02 00000cd6: EXP 00000cd7: SUB 00000cd8: PUSH2 0x0100 00000cdb: SWAP3 00000cdc: SWAP1 00000cdd: SWAP3 00000cde: EXP 00000cdf: SWAP1 00000ce0: DIV 00000ce1: AND 00000ce2: DUP2 00000ce3: MSTORE 00000ce4: PUSH1 0x20 00000ce6: DUP2 00000ce7: ADD 00000ce8: SWAP2 00000ce9: SWAP1 00000cea: SWAP2 00000ceb: MSTORE 00000cec: PUSH1 0x40 00000cee: ADD 00000cef: PUSH1 0x00 00000cf1: KECCAK256 00000cf2: SLOAD 00000cf3: PUSH1 0xff 00000cf5: AND 00000cf6: ISZERO 00000cf7: PUSH2 0x0d01 00000cfa: JUMPI 00000cfb: PUSH1 0x01 00000cfd: DUP3 00000cfe: ADD 00000cff: SWAP2 00000d00: POP 00000d01: JUMPDEST 00000d02: JUMPDEST 00000d03: PUSH1 0x01 00000d05: ADD 00000d06: PUSH2 0x0c96 00000d09: JUMP 00000d0a: JUMPDEST 00000d0b: JUMPDEST 00000d0c: POP 00000d0d: SWAP2 00000d0e: SWAP1 00000d0f: POP 00000d10: JUMP 00000d11: JUMPDEST 00000d12: PUSH1 0x00 00000d14: PUSH1 0x20 00000d16: DUP2 00000d17: SWAP1 00000d18: MSTORE 00000d19: SWAP1 00000d1a: DUP2 00000d1b: MSTORE 00000d1c: PUSH1 0x40 00000d1e: SWAP1 00000d1f: KECCAK256 00000d20: DUP1 00000d21: SLOAD 00000d22: PUSH1 0x01 00000d24: DUP3 00000d25: ADD 00000d26: SLOAD 00000d27: PUSH1 0x03 00000d29: DUP4 00000d2a: ADD 00000d2b: SLOAD 00000d2c: PUSH1 0x01 00000d2e: PUSH1 0xa0 00000d30: PUSH1 0x02 00000d32: EXP 00000d33: SUB 00000d34: SWAP1 00000d35: SWAP3 00000d36: AND 00000d37: SWAP3 00000d38: SWAP1 00000d39: SWAP2 00000d3a: PUSH1 0x02 00000d3c: SWAP1 00000d3d: SWAP2 00000d3e: ADD 00000d3f: SWAP1 00000d40: PUSH1 0xff 00000d42: AND 00000d43: DUP5 00000d44: JUMP 00000d45: JUMPDEST 00000d46: PUSH2 0x0d4d 00000d49: PUSH2 0x1790 00000d4c: JUMP 00000d4d: JUMPDEST 00000d4e: PUSH1 0x03 00000d50: DUP1 00000d51: SLOAD 00000d52: DUP1 00000d53: PUSH1 0x20 00000d55: MUL 00000d56: PUSH1 0x20 00000d58: ADD 00000d59: PUSH1 0x40 00000d5b: MLOAD 00000d5c: SWAP1 00000d5d: DUP2 00000d5e: ADD 00000d5f: PUSH1 0x40 00000d61: MSTORE 00000d62: DUP1 00000d63: SWAP3 00000d64: SWAP2 00000d65: SWAP1 00000d66: DUP2 00000d67: DUP2 00000d68: MSTORE 00000d69: PUSH1 0x20 00000d6b: ADD 00000d6c: DUP3 00000d6d: DUP1 00000d6e: SLOAD 00000d6f: DUP1 00000d70: ISZERO 00000d71: PUSH2 0x0da3 00000d74: JUMPI 00000d75: PUSH1 0x20 00000d77: MUL 00000d78: DUP3 00000d79: ADD 00000d7a: SWAP2 00000d7b: SWAP1 00000d7c: PUSH1 0x00 00000d7e: MSTORE 00000d7f: PUSH1 0x20 00000d81: PUSH1 0x00 00000d83: KECCAK256 00000d84: SWAP1 00000d85: JUMPDEST 00000d86: DUP2 00000d87: SLOAD 00000d88: PUSH1 0x01 00000d8a: PUSH1 0xa0 00000d8c: PUSH1 0x02 00000d8e: EXP 00000d8f: SUB 00000d90: AND 00000d91: DUP2 00000d92: MSTORE 00000d93: PUSH1 0x01 00000d95: SWAP1 00000d96: SWAP2 00000d97: ADD 00000d98: SWAP1 00000d99: PUSH1 0x20 00000d9b: ADD 00000d9c: DUP1 00000d9d: DUP4 00000d9e: GT 00000d9f: PUSH2 0x0d85 00000da2: JUMPI 00000da3: JUMPDEST 00000da4: POP 00000da5: POP 00000da6: POP 00000da7: POP 00000da8: POP 00000da9: SWAP1 00000daa: POP 00000dab: JUMPDEST 00000dac: SWAP1 00000dad: JUMP 00000dae: JUMPDEST 00000daf: PUSH2 0x0db6 00000db2: PUSH2 0x1790 00000db5: JUMP 00000db6: JUMPDEST 00000db7: PUSH2 0x0dbe 00000dba: PUSH2 0x1790 00000dbd: JUMP 00000dbe: JUMPDEST 00000dbf: PUSH1 0x00 00000dc1: DUP1 00000dc2: PUSH1 0x05 00000dc4: SLOAD 00000dc5: PUSH1 0x40 00000dc7: MLOAD 00000dc8: DUP1 00000dc9: MSIZE 00000dca: LT 00000dcb: PUSH2 0x0dd1 00000dce: JUMPI 00000dcf: POP 00000dd0: MSIZE 00000dd1: JUMPDEST 00000dd2: SWAP1 00000dd3: DUP1 00000dd4: DUP3 00000dd5: MSTORE 00000dd6: DUP1 00000dd7: PUSH1 0x20 00000dd9: MUL 00000dda: PUSH1 0x20 00000ddc: ADD 00000ddd: DUP3 00000dde: ADD 00000ddf: PUSH1 0x40 00000de1: MSTORE 00000de2: JUMPDEST 00000de3: POP 00000de4: SWAP3 00000de5: POP 00000de6: PUSH1 0x00 00000de8: SWAP2 00000de9: POP 00000dea: PUSH1 0x00 00000dec: SWAP1 00000ded: POP 00000dee: JUMPDEST 00000def: PUSH1 0x05 00000df1: SLOAD 00000df2: DUP2 00000df3: LT 00000df4: ISZERO 00000df5: PUSH2 0x0e69 00000df8: JUMPI 00000df9: DUP6 00000dfa: DUP1 00000dfb: ISZERO 00000dfc: PUSH2 0x0e17 00000dff: JUMPI 00000e00: POP 00000e01: PUSH1 0x00 00000e03: DUP2 00000e04: DUP2 00000e05: MSTORE 00000e06: PUSH1 0x20 00000e08: DUP2 00000e09: SWAP1 00000e0a: MSTORE 00000e0b: PUSH1 0x40 00000e0d: SWAP1 00000e0e: KECCAK256 00000e0f: PUSH1 0x03 00000e11: ADD 00000e12: SLOAD 00000e13: PUSH1 0xff 00000e15: AND 00000e16: ISZERO 00000e17: JUMPDEST 00000e18: DUP1 00000e19: PUSH2 0x0e3b 00000e1c: JUMPI 00000e1d: POP 00000e1e: DUP5 00000e1f: DUP1 00000e20: ISZERO 00000e21: PUSH2 0x0e3b 00000e24: JUMPI 00000e25: POP 00000e26: PUSH1 0x00 00000e28: DUP2 00000e29: DUP2 00000e2a: MSTORE 00000e2b: PUSH1 0x20 00000e2d: DUP2 00000e2e: SWAP1 00000e2f: MSTORE 00000e30: PUSH1 0x40 00000e32: SWAP1 00000e33: KECCAK256 00000e34: PUSH1 0x03 00000e36: ADD 00000e37: SLOAD 00000e38: PUSH1 0xff 00000e3a: AND 00000e3b: JUMPDEST 00000e3c: JUMPDEST 00000e3d: ISZERO 00000e3e: PUSH2 0x0e60 00000e41: JUMPI 00000e42: DUP1 00000e43: DUP4 00000e44: DUP4 00000e45: DUP2 00000e46: MLOAD 00000e47: DUP2 00000e48: LT 00000e49: PUSH2 0x0e4e 00000e4c: JUMPI 00000e4d: INVALID 00000e4e: JUMPDEST 00000e4f: PUSH1 0x20 00000e51: SWAP1 00000e52: DUP2 00000e53: MUL 00000e54: SWAP1 00000e55: SWAP2 00000e56: ADD 00000e57: ADD 00000e58: MSTORE 00000e59: PUSH1 0x01 00000e5b: SWAP2 00000e5c: SWAP1 00000e5d: SWAP2 00000e5e: ADD 00000e5f: SWAP1 00000e60: JUMPDEST 00000e61: JUMPDEST 00000e62: PUSH1 0x01 00000e64: ADD 00000e65: PUSH2 0x0dee 00000e68: JUMP 00000e69: JUMPDEST 00000e6a: DUP8 00000e6b: DUP8 00000e6c: SUB 00000e6d: PUSH1 0x40 00000e6f: MLOAD 00000e70: DUP1 00000e71: MSIZE 00000e72: LT 00000e73: PUSH2 0x0e79 00000e76: JUMPI 00000e77: POP 00000e78: MSIZE 00000e79: JUMPDEST 00000e7a: SWAP1 00000e7b: DUP1 00000e7c: DUP3 00000e7d: MSTORE 00000e7e: DUP1 00000e7f: PUSH1 0x20 00000e81: MUL 00000e82: PUSH1 0x20 00000e84: ADD 00000e85: DUP3 00000e86: ADD 00000e87: PUSH1 0x40 00000e89: MSTORE 00000e8a: JUMPDEST 00000e8b: POP 00000e8c: SWAP4 00000e8d: POP 00000e8e: DUP8 00000e8f: SWAP1 00000e90: POP 00000e91: JUMPDEST 00000e92: DUP7 00000e93: DUP2 00000e94: LT 00000e95: ISZERO 00000e96: PUSH2 0x0ed0 00000e99: JUMPI 00000e9a: DUP3 00000e9b: DUP2 00000e9c: DUP2 00000e9d: MLOAD 00000e9e: DUP2 00000e9f: LT 00000ea0: PUSH2 0x0ea5 00000ea3: JUMPI 00000ea4: INVALID 00000ea5: JUMPDEST 00000ea6: SWAP1 00000ea7: PUSH1 0x20 00000ea9: ADD 00000eaa: SWAP1 00000eab: PUSH1 0x20 00000ead: MUL 00000eae: ADD 00000eaf: MLOAD 00000eb0: DUP5 00000eb1: DUP10 00000eb2: DUP4 00000eb3: SUB 00000eb4: DUP2 00000eb5: MLOAD 00000eb6: DUP2 00000eb7: LT 00000eb8: PUSH2 0x0ebd 00000ebb: JUMPI 00000ebc: INVALID 00000ebd: JUMPDEST 00000ebe: PUSH1 0x20 00000ec0: SWAP1 00000ec1: DUP2 00000ec2: MUL 00000ec3: SWAP1 00000ec4: SWAP2 00000ec5: ADD 00000ec6: ADD 00000ec7: MSTORE 00000ec8: JUMPDEST 00000ec9: PUSH1 0x01 00000ecb: ADD 00000ecc: PUSH2 0x0e91 00000ecf: JUMP 00000ed0: JUMPDEST 00000ed1: JUMPDEST 00000ed2: POP 00000ed3: POP 00000ed4: POP 00000ed5: SWAP5 00000ed6: SWAP4 00000ed7: POP 00000ed8: POP 00000ed9: POP 00000eda: POP 00000edb: JUMP 00000edc: JUMPDEST 00000edd: PUSH2 0x0ee4 00000ee0: PUSH2 0x1790 00000ee3: JUMP 00000ee4: JUMPDEST 00000ee5: PUSH2 0x0eec 00000ee8: PUSH2 0x1790 00000eeb: JUMP 00000eec: JUMPDEST 00000eed: PUSH1 0x03 00000eef: SLOAD 00000ef0: PUSH1 0x00 00000ef2: SWAP1 00000ef3: DUP2 00000ef4: SWAP1 00000ef5: PUSH1 0x40 00000ef7: MLOAD 00000ef8: DUP1 00000ef9: MSIZE 00000efa: LT 00000efb: PUSH2 0x0f01 00000efe: JUMPI 00000eff: POP 00000f00: MSIZE 00000f01: JUMPDEST 00000f02: SWAP1 00000f03: DUP1 00000f04: DUP3 00000f05: MSTORE 00000f06: DUP1 00000f07: PUSH1 0x20 00000f09: MUL 00000f0a: PUSH1 0x20 00000f0c: ADD 00000f0d: DUP3 00000f0e: ADD 00000f0f: PUSH1 0x40 00000f11: MSTORE 00000f12: JUMPDEST 00000f13: POP 00000f14: SWAP3 00000f15: POP 00000f16: PUSH1 0x00 00000f18: SWAP2 00000f19: POP 00000f1a: PUSH1 0x00 00000f1c: SWAP1 00000f1d: POP 00000f1e: JUMPDEST 00000f1f: PUSH1 0x03 00000f21: SLOAD 00000f22: DUP2 00000f23: LT 00000f24: ISZERO 00000f25: PUSH2 0x0fe4 00000f28: JUMPI 00000f29: PUSH1 0x00 00000f2b: DUP6 00000f2c: DUP2 00000f2d: MSTORE 00000f2e: PUSH1 0x01 00000f30: PUSH1 0x20 00000f32: MSTORE 00000f33: PUSH1 0x40 00000f35: DUP2 00000f36: KECCAK256 00000f37: PUSH1 0x03 00000f39: DUP1 00000f3a: SLOAD 00000f3b: SWAP2 00000f3c: SWAP3 00000f3d: SWAP2 00000f3e: DUP5 00000f3f: SWAP1 00000f40: DUP2 00000f41: LT 00000f42: PUSH2 0x0f47 00000f45: JUMPI 00000f46: INVALID 00000f47: JUMPDEST 00000f48: SWAP1 00000f49: PUSH1 0x00 00000f4b: MSTORE 00000f4c: PUSH1 0x20 00000f4e: PUSH1 0x00 00000f50: KECCAK256 00000f51: SWAP1 00000f52: ADD 00000f53: PUSH1 0x00 00000f55: JUMPDEST 00000f56: SWAP1 00000f57: SLOAD 00000f58: PUSH1 0x01 00000f5a: PUSH1 0xa0 00000f5c: PUSH1 0x02 00000f5e: EXP 00000f5f: SUB 00000f60: PUSH2 0x0100 00000f63: SWAP3 00000f64: SWAP1 00000f65: SWAP3 00000f66: EXP 00000f67: SWAP1 00000f68: DIV 00000f69: AND 00000f6a: DUP2 00000f6b: MSTORE 00000f6c: PUSH1 0x20 00000f6e: DUP2 00000f6f: ADD 00000f70: SWAP2 00000f71: SWAP1 00000f72: SWAP2 00000f73: MSTORE 00000f74: PUSH1 0x40 00000f76: ADD 00000f77: PUSH1 0x00 00000f79: KECCAK256 00000f7a: SLOAD 00000f7b: PUSH1 0xff 00000f7d: AND 00000f7e: ISZERO 00000f7f: PUSH2 0x0fdb 00000f82: JUMPI 00000f83: PUSH1 0x03 00000f85: DUP1 00000f86: SLOAD 00000f87: DUP3 00000f88: SWAP1 00000f89: DUP2 00000f8a: LT 00000f8b: PUSH2 0x0f90 00000f8e: JUMPI 00000f8f: INVALID 00000f90: JUMPDEST 00000f91: SWAP1 00000f92: PUSH1 0x00 00000f94: MSTORE 00000f95: PUSH1 0x20 00000f97: PUSH1 0x00 00000f99: KECCAK256 00000f9a: SWAP1 00000f9b: ADD 00000f9c: PUSH1 0x00 00000f9e: JUMPDEST 00000f9f: SWAP1 00000fa0: SLOAD 00000fa1: SWAP1 00000fa2: PUSH2 0x0100 00000fa5: EXP 00000fa6: SWAP1 00000fa7: DIV 00000fa8: PUSH1 0x01 00000faa: PUSH1 0xa0 00000fac: PUSH1 0x02 00000fae: EXP 00000faf: SUB 00000fb0: AND 00000fb1: DUP4 00000fb2: DUP4 00000fb3: DUP2 00000fb4: MLOAD 00000fb5: DUP2 00000fb6: LT 00000fb7: PUSH2 0x0fbc 00000fba: JUMPI 00000fbb: INVALID 00000fbc: JUMPDEST 00000fbd: PUSH1 0x01 00000fbf: PUSH1 0xa0 00000fc1: PUSH1 0x02 00000fc3: EXP 00000fc4: SUB 00000fc5: SWAP1 00000fc6: SWAP3 00000fc7: AND 00000fc8: PUSH1 0x20 00000fca: SWAP3 00000fcb: DUP4 00000fcc: MUL 00000fcd: SWAP1 00000fce: SWAP2 00000fcf: ADD 00000fd0: SWAP1 00000fd1: SWAP2 00000fd2: ADD 00000fd3: MSTORE 00000fd4: PUSH1 0x01 00000fd6: SWAP2 00000fd7: SWAP1 00000fd8: SWAP2 00000fd9: ADD 00000fda: SWAP1 00000fdb: JUMPDEST 00000fdc: JUMPDEST 00000fdd: PUSH1 0x01 00000fdf: ADD 00000fe0: PUSH2 0x0f1e 00000fe3: JUMP 00000fe4: JUMPDEST 00000fe5: DUP2 00000fe6: PUSH1 0x40 00000fe8: MLOAD 00000fe9: DUP1 00000fea: MSIZE 00000feb: LT 00000fec: PUSH2 0x0ff2 00000fef: JUMPI 00000ff0: POP 00000ff1: MSIZE 00000ff2: JUMPDEST 00000ff3: SWAP1 00000ff4: DUP1 00000ff5: DUP3 00000ff6: MSTORE 00000ff7: DUP1 00000ff8: PUSH1 0x20 00000ffa: MUL 00000ffb: PUSH1 0x20 00000ffd: ADD 00000ffe: DUP3 00000fff: ADD 00001000: PUSH1 0x40 00001002: MSTORE 00001003: JUMPDEST 00001004: POP 00001005: SWAP4 00001006: POP 00001007: PUSH1 0x00 00001009: SWAP1 0000100a: POP 0000100b: JUMPDEST 0000100c: DUP2 0000100d: DUP2 0000100e: LT 0000100f: ISZERO 00001010: PUSH2 0x1055 00001013: JUMPI 00001014: DUP3 00001015: DUP2 00001016: DUP2 00001017: MLOAD 00001018: DUP2 00001019: LT 0000101a: PUSH2 0x101f 0000101d: JUMPI 0000101e: INVALID 0000101f: JUMPDEST 00001020: SWAP1 00001021: PUSH1 0x20 00001023: ADD 00001024: SWAP1 00001025: PUSH1 0x20 00001027: MUL 00001028: ADD 00001029: MLOAD 0000102a: DUP5 0000102b: DUP3 0000102c: DUP2 0000102d: MLOAD 0000102e: DUP2 0000102f: LT 00001030: PUSH2 0x1035 00001033: JUMPI 00001034: INVALID 00001035: JUMPDEST 00001036: PUSH1 0x01 00001038: PUSH1 0xa0 0000103a: PUSH1 0x02 0000103c: EXP 0000103d: SUB 0000103e: SWAP1 0000103f: SWAP3 00001040: AND 00001041: PUSH1 0x20 00001043: SWAP3 00001044: DUP4 00001045: MUL 00001046: SWAP1 00001047: SWAP2 00001048: ADD 00001049: SWAP1 0000104a: SWAP2 0000104b: ADD 0000104c: MSTORE 0000104d: JUMPDEST 0000104e: PUSH1 0x01 00001050: ADD 00001051: PUSH2 0x100b 00001054: JUMP 00001055: JUMPDEST 00001056: JUMPDEST 00001057: POP 00001058: POP 00001059: POP 0000105a: SWAP2 0000105b: SWAP1 0000105c: POP 0000105d: JUMP 0000105e: JUMPDEST 0000105f: PUSH1 0x05 00001061: SLOAD 00001062: DUP2 00001063: JUMP 00001064: JUMPDEST 00001065: ADDRESS 00001066: PUSH1 0x01 00001068: PUSH1 0xa0 0000106a: PUSH1 0x02 0000106c: EXP 0000106d: SUB 0000106e: AND 0000106f: CALLER 00001070: PUSH1 0x01 00001072: PUSH1 0xa0 00001074: PUSH1 0x02 00001076: EXP 00001077: SUB 00001078: AND 00001079: EQ 0000107a: ISZERO 0000107b: ISZERO 0000107c: PUSH2 0x1084 0000107f: JUMPI 00001080: PUSH1 0x00 00001082: DUP1 00001083: REVERT 00001084: JUMPDEST 00001085: PUSH1 0x03 00001087: SLOAD 00001088: DUP2 00001089: PUSH1 0x32 0000108b: DUP3 0000108c: GT 0000108d: DUP1 0000108e: PUSH2 0x1096 00001091: JUMPI 00001092: POP 00001093: DUP2 00001094: DUP2 00001095: GT 00001096: JUMPDEST 00001097: DUP1 00001098: PUSH2 0x109f 0000109b: JUMPI 0000109c: POP 0000109d: DUP1 0000109e: ISZERO 0000109f: JUMPDEST 000010a0: DUP1 000010a1: PUSH2 0x10a8 000010a4: JUMPI 000010a5: POP 000010a6: DUP2 000010a7: ISZERO 000010a8: JUMPDEST 000010a9: ISZERO 000010aa: PUSH2 0x10b2 000010ad: JUMPI 000010ae: PUSH1 0x00 000010b0: DUP1 000010b1: REVERT 000010b2: JUMPDEST 000010b3: PUSH1 0x04 000010b5: DUP4 000010b6: SWAP1 000010b7: SSTORE 000010b8: PUSH32 0xa3f1ee9126a074d9326c682f561767f710e927faa811f7a99829d49dc421797a 000010d9: DUP4 000010da: PUSH1 0x40 000010dc: MLOAD 000010dd: SWAP1 000010de: DUP2 000010df: MSTORE 000010e0: PUSH1 0x20 000010e2: ADD 000010e3: PUSH1 0x40 000010e5: MLOAD 000010e6: DUP1 000010e7: SWAP2 000010e8: SUB 000010e9: SWAP1 000010ea: LOG1 000010eb: JUMPDEST 000010ec: JUMPDEST 000010ed: POP 000010ee: POP 000010ef: JUMPDEST 000010f0: POP 000010f1: JUMP 000010f2: JUMPDEST 000010f3: CALLER 000010f4: PUSH1 0x01 000010f6: PUSH1 0xa0 000010f8: PUSH1 0x02 000010fa: EXP 000010fb: SUB 000010fc: DUP2 000010fd: AND 000010fe: PUSH1 0x00 00001100: SWAP1 00001101: DUP2 00001102: MSTORE 00001103: PUSH1 0x02 00001105: PUSH1 0x20 00001107: MSTORE 00001108: PUSH1 0x40 0000110a: SWAP1 0000110b: KECCAK256 0000110c: SLOAD 0000110d: PUSH1 0xff 0000110f: AND 00001110: ISZERO 00001111: ISZERO 00001112: PUSH2 0x111a 00001115: JUMPI 00001116: PUSH1 0x00 00001118: DUP1 00001119: REVERT 0000111a: JUMPDEST 0000111b: PUSH1 0x00 0000111d: DUP3 0000111e: DUP2 0000111f: MSTORE 00001120: PUSH1 0x20 00001122: DUP2 00001123: SWAP1 00001124: MSTORE 00001125: PUSH1 0x40 00001127: SWAP1 00001128: KECCAK256 00001129: SLOAD 0000112a: DUP3 0000112b: SWAP1 0000112c: PUSH1 0x01 0000112e: PUSH1 0xa0 00001130: PUSH1 0x02 00001132: EXP 00001133: SUB 00001134: AND 00001135: ISZERO 00001136: ISZERO 00001137: PUSH2 0x113f 0000113a: JUMPI 0000113b: PUSH1 0x00 0000113d: DUP1 0000113e: REVERT 0000113f: JUMPDEST 00001140: PUSH1 0x00 00001142: DUP4 00001143: DUP2 00001144: MSTORE 00001145: PUSH1 0x01 00001147: PUSH1 0x20 00001149: SWAP1 0000114a: DUP2 0000114b: MSTORE 0000114c: PUSH1 0x40 0000114e: DUP1 0000114f: DUP4 00001150: KECCAK256 00001151: CALLER 00001152: PUSH1 0x01 00001154: PUSH1 0xa0 00001156: PUSH1 0x02 00001158: EXP 00001159: SUB 0000115a: DUP2 0000115b: AND 0000115c: DUP6 0000115d: MSTORE 0000115e: SWAP3 0000115f: MSTORE 00001160: SWAP1 00001161: SWAP2 00001162: KECCAK256 00001163: SLOAD 00001164: DUP5 00001165: SWAP2 00001166: SWAP1 00001167: PUSH1 0xff 00001169: AND 0000116a: ISZERO 0000116b: PUSH2 0x1173 0000116e: JUMPI 0000116f: PUSH1 0x00 00001171: DUP1 00001172: REVERT 00001173: JUMPDEST 00001174: PUSH1 0x00 00001176: DUP6 00001177: DUP2 00001178: MSTORE 00001179: PUSH1 0x01 0000117b: PUSH1 0x20 0000117d: DUP2 0000117e: DUP2 0000117f: MSTORE 00001180: PUSH1 0x40 00001182: DUP1 00001183: DUP5 00001184: KECCAK256 00001185: PUSH1 0x01 00001187: PUSH1 0xa0 00001189: PUSH1 0x02 0000118b: EXP 0000118c: SUB 0000118d: CALLER 0000118e: AND 0000118f: DUP1 00001190: DUP7 00001191: MSTORE 00001192: SWAP3 00001193: MSTORE 00001194: SWAP3 00001195: DUP4 00001196: SWAP1 00001197: KECCAK256 00001198: DUP1 00001199: SLOAD 0000119a: PUSH1 0xff 0000119c: NOT 0000119d: AND 0000119e: SWAP1 0000119f: SWAP3 000011a0: OR 000011a1: SWAP1 000011a2: SWAP2 000011a3: SSTORE 000011a4: DUP7 000011a5: SWAP2 000011a6: PUSH32 0x4a504a94899432a9846e1aa406dceb1bcfd538bb839071d49d1e5e23f5be30ef 000011c7: SWAP1 000011c8: MLOAD 000011c9: PUSH1 0x40 000011cb: MLOAD 000011cc: DUP1 000011cd: SWAP2 000011ce: SUB 000011cf: SWAP1 000011d0: LOG3 000011d1: PUSH2 0x09d5 000011d4: DUP6 000011d5: PUSH2 0x142d 000011d8: JUMP 000011d9: JUMPDEST 000011da: JUMPDEST 000011db: JUMPDEST 000011dc: POP 000011dd: POP 000011de: JUMPDEST 000011df: POP 000011e0: JUMPDEST 000011e1: POP 000011e2: POP 000011e3: JUMP 000011e4: JUMPDEST 000011e5: PUSH1 0x00 000011e7: PUSH2 0x11f1 000011ea: DUP5 000011eb: DUP5 000011ec: DUP5 000011ed: PUSH2 0x15f5 000011f0: JUMP 000011f1: JUMPDEST 000011f2: SWAP1 000011f3: POP 000011f4: PUSH2 0x11fc 000011f7: DUP2 000011f8: PUSH2 0x10f2 000011fb: JUMP 000011fc: JUMPDEST 000011fd: JUMPDEST 000011fe: SWAP4 000011ff: SWAP3 00001200: POP 00001201: POP 00001202: POP 00001203: JUMP 00001204: JUMPDEST 00001205: ADDRESS 00001206: PUSH1 0x01 00001208: PUSH1 0xa0 0000120a: PUSH1 0x02 0000120c: EXP 0000120d: SUB 0000120e: AND 0000120f: CALLER 00001210: PUSH1 0x01 00001212: PUSH1 0xa0 00001214: PUSH1 0x02 00001216: EXP 00001217: SUB 00001218: AND 00001219: EQ 0000121a: ISZERO 0000121b: ISZERO 0000121c: PUSH2 0x1224 0000121f: JUMPI 00001220: PUSH1 0x00 00001222: DUP1 00001223: REVERT 00001224: JUMPDEST 00001225: PUSH1 0x06 00001227: DUP2 00001228: SWAP1 00001229: SSTORE 0000122a: PUSH32 0xc71bdc6afaf9b1aa90a7078191d4fc1adf3bf680fca3183697df6b0dc226bca2 0000124b: DUP2 0000124c: PUSH1 0x40 0000124e: MLOAD 0000124f: SWAP1 00001250: DUP2 00001251: MSTORE 00001252: PUSH1 0x20 00001254: ADD 00001255: PUSH1 0x40 00001257: MLOAD 00001258: DUP1 00001259: SWAP2 0000125a: SUB 0000125b: SWAP1 0000125c: LOG1 0000125d: JUMPDEST 0000125e: JUMPDEST 0000125f: POP 00001260: JUMP 00001261: JUMPDEST 00001262: PUSH1 0x32 00001264: DUP2 00001265: JUMP 00001266: JUMPDEST 00001267: PUSH1 0x04 00001269: SLOAD 0000126a: DUP2 0000126b: JUMP 0000126c: JUMPDEST 0000126d: PUSH1 0x00 0000126f: ADDRESS 00001270: PUSH1 0x01 00001272: PUSH1 0xa0 00001274: PUSH1 0x02 00001276: EXP 00001277: SUB 00001278: AND 00001279: CALLER 0000127a: PUSH1 0x01 0000127c: PUSH1 0xa0 0000127e: PUSH1 0x02 00001280: EXP 00001281: SUB 00001282: AND 00001283: EQ 00001284: ISZERO 00001285: ISZERO 00001286: PUSH2 0x128e 00001289: JUMPI 0000128a: PUSH1 0x00 0000128c: DUP1 0000128d: REVERT 0000128e: JUMPDEST 0000128f: PUSH1 0x01 00001291: PUSH1 0xa0 00001293: PUSH1 0x02 00001295: EXP 00001296: SUB 00001297: DUP4 00001298: AND 00001299: PUSH1 0x00 0000129b: SWAP1 0000129c: DUP2 0000129d: MSTORE 0000129e: PUSH1 0x02 000012a0: PUSH1 0x20 000012a2: MSTORE 000012a3: PUSH1 0x40 000012a5: SWAP1 000012a6: KECCAK256 000012a7: SLOAD 000012a8: DUP4 000012a9: SWAP1 000012aa: PUSH1 0xff 000012ac: AND 000012ad: ISZERO 000012ae: ISZERO 000012af: PUSH2 0x12b7 000012b2: JUMPI 000012b3: PUSH1 0x00 000012b5: DUP1 000012b6: REVERT 000012b7: JUMPDEST 000012b8: PUSH1 0x01 000012ba: PUSH1 0xa0 000012bc: PUSH1 0x02 000012be: EXP 000012bf: SUB 000012c0: DUP4 000012c1: AND 000012c2: PUSH1 0x00 000012c4: SWAP1 000012c5: DUP2 000012c6: MSTORE 000012c7: PUSH1 0x02 000012c9: PUSH1 0x20 000012cb: MSTORE 000012cc: PUSH1 0x40 000012ce: SWAP1 000012cf: KECCAK256 000012d0: SLOAD 000012d1: DUP4 000012d2: SWAP1 000012d3: PUSH1 0xff 000012d5: AND 000012d6: ISZERO 000012d7: PUSH2 0x12df 000012da: JUMPI 000012db: PUSH1 0x00 000012dd: DUP1 000012de: REVERT 000012df: JUMPDEST 000012e0: PUSH1 0x00 000012e2: SWAP3 000012e3: POP 000012e4: JUMPDEST 000012e5: PUSH1 0x03 000012e7: SLOAD 000012e8: DUP4 000012e9: LT 000012ea: ISZERO 000012eb: PUSH2 0x1387 000012ee: JUMPI 000012ef: DUP5 000012f0: PUSH1 0x01 000012f2: PUSH1 0xa0 000012f4: PUSH1 0x02 000012f6: EXP 000012f7: SUB 000012f8: AND 000012f9: PUSH1 0x03 000012fb: DUP5 000012fc: DUP2 000012fd: SLOAD 000012fe: DUP2 000012ff: LT 00001300: ISZERO 00001301: ISZERO 00001302: PUSH2 0x1307 00001305: JUMPI 00001306: INVALID 00001307: JUMPDEST 00001308: SWAP1 00001309: PUSH1 0x00 0000130b: MSTORE 0000130c: PUSH1 0x20 0000130e: PUSH1 0x00 00001310: KECCAK256 00001311: SWAP1 00001312: ADD 00001313: PUSH1 0x00 00001315: JUMPDEST 00001316: SWAP1 00001317: SLOAD 00001318: SWAP1 00001319: PUSH2 0x0100 0000131c: EXP 0000131d: SWAP1 0000131e: DIV 0000131f: PUSH1 0x01 00001321: PUSH1 0xa0 00001323: PUSH1 0x02 00001325: EXP 00001326: SUB 00001327: AND 00001328: PUSH1 0x01 0000132a: PUSH1 0xa0 0000132c: PUSH1 0x02 0000132e: EXP 0000132f: SUB 00001330: AND 00001331: EQ 00001332: ISZERO 00001333: PUSH2 0x137b 00001336: JUMPI 00001337: DUP4 00001338: PUSH1 0x03 0000133a: DUP5 0000133b: DUP2 0000133c: SLOAD 0000133d: DUP2 0000133e: LT 0000133f: ISZERO 00001340: ISZERO 00001341: PUSH2 0x1346 00001344: JUMPI 00001345: INVALID 00001346: JUMPDEST 00001347: SWAP1 00001348: PUSH1 0x00 0000134a: MSTORE 0000134b: PUSH1 0x20 0000134d: PUSH1 0x00 0000134f: KECCAK256 00001350: SWAP1 00001351: ADD 00001352: PUSH1 0x00 00001354: JUMPDEST 00001355: PUSH2 0x0100 00001358: EXP 00001359: DUP2 0000135a: SLOAD 0000135b: DUP2 0000135c: PUSH1 0x01 0000135e: PUSH1 0xa0 00001360: PUSH1 0x02 00001362: EXP 00001363: SUB 00001364: MUL 00001365: NOT 00001366: AND 00001367: SWAP1 00001368: DUP4 00001369: PUSH1 0x01 0000136b: PUSH1 0xa0 0000136d: PUSH1 0x02 0000136f: EXP 00001370: SUB 00001371: AND 00001372: MUL 00001373: OR 00001374: SWAP1 00001375: SSTORE 00001376: POP 00001377: PUSH2 0x1387 0000137a: JUMP 0000137b: JUMPDEST 0000137c: JUMPDEST 0000137d: PUSH1 0x01 0000137f: SWAP1 00001380: SWAP3 00001381: ADD 00001382: SWAP2 00001383: PUSH2 0x12e4 00001386: JUMP 00001387: JUMPDEST 00001388: PUSH1 0x01 0000138a: PUSH1 0xa0 0000138c: PUSH1 0x02 0000138e: EXP 0000138f: SUB 00001390: DUP1 00001391: DUP7 00001392: AND 00001393: PUSH1 0x00 00001395: DUP2 00001396: DUP2 00001397: MSTORE 00001398: PUSH1 0x02 0000139a: PUSH1 0x20 0000139c: MSTORE 0000139d: PUSH1 0x40 0000139f: DUP1 000013a0: DUP3 000013a1: KECCAK256 000013a2: DUP1 000013a3: SLOAD 000013a4: PUSH1 0xff 000013a6: NOT 000013a7: SWAP1 000013a8: DUP2 000013a9: AND 000013aa: SWAP1 000013ab: SWAP2 000013ac: SSTORE 000013ad: SWAP4 000013ae: DUP9 000013af: AND 000013b0: DUP3 000013b1: MSTORE 000013b2: SWAP1 000013b3: DUP2 000013b4: SWAP1 000013b5: KECCAK256 000013b6: DUP1 000013b7: SLOAD 000013b8: SWAP1 000013b9: SWAP4 000013ba: AND 000013bb: PUSH1 0x01 000013bd: OR 000013be: SWAP1 000013bf: SWAP3 000013c0: SSTORE 000013c1: SWAP1 000013c2: PUSH32 0x8001553a916ef2f495d26a907cc54d96ed840d7bda71e73194bf5a9df7a76b90 000013e3: SWAP1 000013e4: MLOAD 000013e5: PUSH1 0x40 000013e7: MLOAD 000013e8: DUP1 000013e9: SWAP2 000013ea: SUB 000013eb: SWAP1 000013ec: LOG2 000013ed: DUP4 000013ee: PUSH1 0x01 000013f0: PUSH1 0xa0 000013f2: PUSH1 0x02 000013f4: EXP 000013f5: SUB 000013f6: AND 000013f7: PUSH32 0xf39e6e1eb0edcf53c221607b54b00cd28f3196fed0a24994dc308b8f611b682d 00001418: PUSH1 0x40 0000141a: MLOAD 0000141b: PUSH1 0x40 0000141d: MLOAD 0000141e: DUP1 0000141f: SWAP2 00001420: SUB 00001421: SWAP1 00001422: LOG2 00001423: JUMPDEST 00001424: JUMPDEST 00001425: POP 00001426: JUMPDEST 00001427: POP 00001428: JUMPDEST 00001429: POP 0000142a: POP 0000142b: POP 0000142c: JUMP 0000142d: JUMPDEST 0000142e: PUSH1 0x00 00001430: DUP2 00001431: DUP2 00001432: MSTORE 00001433: PUSH1 0x20 00001435: DUP2 00001436: SWAP1 00001437: MSTORE 00001438: PUSH1 0x40 0000143a: DUP2 0000143b: KECCAK256 0000143c: PUSH1 0x03 0000143e: ADD 0000143f: SLOAD 00001440: DUP2 00001441: SWAP1 00001442: DUP4 00001443: SWAP1 00001444: PUSH1 0xff 00001446: AND 00001447: ISZERO 00001448: PUSH2 0x1450 0000144b: JUMPI 0000144c: PUSH1 0x00 0000144e: DUP1 0000144f: REVERT 00001450: JUMPDEST 00001451: PUSH1 0x00 00001453: DUP5 00001454: DUP2 00001455: MSTORE 00001456: PUSH1 0x20 00001458: DUP2 00001459: SWAP1 0000145a: MSTORE 0000145b: PUSH1 0x40 0000145d: SWAP1 0000145e: KECCAK256 0000145f: SWAP3 00001460: POP 00001461: PUSH2 0x1469 00001464: DUP5 00001465: PUSH2 0x0bfe 00001468: JUMP 00001469: JUMPDEST 0000146a: SWAP2 0000146b: POP 0000146c: DUP2 0000146d: DUP1 0000146e: PUSH2 0x149c 00001471: JUMPI 00001472: POP 00001473: PUSH1 0x02 00001475: DUP1 00001476: DUP5 00001477: ADD 00001478: SLOAD 00001479: PUSH1 0x00 0000147b: NOT 0000147c: PUSH2 0x0100 0000147f: PUSH1 0x01 00001481: DUP4 00001482: AND 00001483: ISZERO 00001484: MUL 00001485: ADD 00001486: AND 00001487: DIV 00001488: ISZERO 00001489: DUP1 0000148a: ISZERO 0000148b: PUSH2 0x149c 0000148e: JUMPI 0000148f: POP 00001490: PUSH2 0x149c 00001493: DUP4 00001494: PUSH1 0x01 00001496: ADD 00001497: SLOAD 00001498: PUSH2 0x16f4 0000149b: JUMP 0000149c: JUMPDEST 0000149d: JUMPDEST 0000149e: JUMPDEST 0000149f: ISZERO 000014a0: PUSH2 0x09d8 000014a3: JUMPI 000014a4: PUSH1 0x03 000014a6: DUP4 000014a7: ADD 000014a8: DUP1 000014a9: SLOAD 000014aa: PUSH1 0xff 000014ac: NOT 000014ad: AND 000014ae: PUSH1 0x01 000014b0: OR 000014b1: SWAP1 000014b2: SSTORE 000014b3: DUP2 000014b4: ISZERO 000014b5: ISZERO 000014b6: PUSH2 0x14c8 000014b9: JUMPI 000014ba: PUSH1 0x01 000014bc: DUP4 000014bd: ADD 000014be: SLOAD 000014bf: PUSH1 0x08 000014c1: DUP1 000014c2: SLOAD 000014c3: SWAP1 000014c4: SWAP2 000014c5: ADD 000014c6: SWAP1 000014c7: SSTORE 000014c8: JUMPDEST 000014c9: DUP3 000014ca: SLOAD 000014cb: PUSH1 0x01 000014cd: DUP5 000014ce: ADD 000014cf: SLOAD 000014d0: PUSH1 0x01 000014d2: PUSH1 0xa0 000014d4: PUSH1 0x02 000014d6: EXP 000014d7: SUB 000014d8: SWAP1 000014d9: SWAP2 000014da: AND 000014db: SWAP1 000014dc: PUSH1 0x02 000014de: DUP6 000014df: ADD 000014e0: PUSH1 0x40 000014e2: MLOAD 000014e3: DUP1 000014e4: DUP3 000014e5: DUP1 000014e6: SLOAD 000014e7: PUSH1 0x01 000014e9: DUP2 000014ea: PUSH1 0x01 000014ec: AND 000014ed: ISZERO 000014ee: PUSH2 0x0100 000014f1: MUL 000014f2: SUB 000014f3: AND 000014f4: PUSH1 0x02 000014f6: SWAP1 000014f7: DIV 000014f8: DUP1 000014f9: ISZERO 000014fa: PUSH2 0x1544 000014fd: JUMPI 000014fe: DUP1 000014ff: PUSH1 0x1f 00001501: LT 00001502: PUSH2 0x1519 00001505: JUMPI 00001506: PUSH2 0x0100 00001509: DUP1 0000150a: DUP4 0000150b: SLOAD 0000150c: DIV 0000150d: MUL 0000150e: DUP4 0000150f: MSTORE 00001510: SWAP2 00001511: PUSH1 0x20 00001513: ADD 00001514: SWAP2 00001515: PUSH2 0x1544 00001518: JUMP 00001519: JUMPDEST 0000151a: DUP3 0000151b: ADD 0000151c: SWAP2 0000151d: SWAP1 0000151e: PUSH1 0x00 00001520: MSTORE 00001521: PUSH1 0x20 00001523: PUSH1 0x00 00001525: KECCAK256 00001526: SWAP1 00001527: JUMPDEST 00001528: DUP2 00001529: SLOAD 0000152a: DUP2 0000152b: MSTORE 0000152c: SWAP1 0000152d: PUSH1 0x01 0000152f: ADD 00001530: SWAP1 00001531: PUSH1 0x20 00001533: ADD 00001534: DUP1 00001535: DUP4 00001536: GT 00001537: PUSH2 0x1527 0000153a: JUMPI 0000153b: DUP3 0000153c: SWAP1 0000153d: SUB 0000153e: PUSH1 0x1f 00001540: AND 00001541: DUP3 00001542: ADD 00001543: SWAP2 00001544: JUMPDEST 00001545: POP 00001546: POP 00001547: SWAP2 00001548: POP 00001549: POP 0000154a: PUSH1 0x00 0000154c: PUSH1 0x40 0000154e: MLOAD 0000154f: DUP1 00001550: DUP4 00001551: SUB 00001552: DUP2 00001553: DUP6 00001554: DUP8 00001555: PUSH2 0x8796 00001558: GAS 00001559: SUB 0000155a: CALL 0000155b: SWAP3 0000155c: POP 0000155d: POP 0000155e: POP 0000155f: ISZERO 00001560: PUSH2 0x1595 00001563: JUMPI 00001564: DUP4 00001565: PUSH32 0x33e13ecb54c3076d8e8bb8c2881800a4d972b792045ffae98fdf46df365fed75 00001586: PUSH1 0x40 00001588: MLOAD 00001589: PUSH1 0x40 0000158b: MLOAD 0000158c: DUP1 0000158d: SWAP2 0000158e: SUB 0000158f: SWAP1 00001590: LOG2 00001591: PUSH2 0x09d8 00001594: JUMP 00001595: JUMPDEST 00001596: DUP4 00001597: PUSH32 0x526441bb6c1aba3c9a4a6ca1d6545da9c2333c8c48343ef398eb858d72b79236 000015b8: PUSH1 0x40 000015ba: MLOAD 000015bb: PUSH1 0x40 000015bd: MLOAD 000015be: DUP1 000015bf: SWAP2 000015c0: SUB 000015c1: SWAP1 000015c2: LOG2 000015c3: PUSH1 0x03 000015c5: DUP4 000015c6: ADD 000015c7: DUP1 000015c8: SLOAD 000015c9: PUSH1 0xff 000015cb: NOT 000015cc: AND 000015cd: SWAP1 000015ce: SSTORE 000015cf: DUP2 000015d0: ISZERO 000015d1: ISZERO 000015d2: PUSH2 0x09d8 000015d5: JUMPI 000015d6: PUSH1 0x01 000015d8: DUP4 000015d9: ADD 000015da: SLOAD 000015db: PUSH1 0x08 000015dd: DUP1 000015de: SLOAD 000015df: SWAP2 000015e0: SWAP1 000015e1: SWAP2 000015e2: SUB 000015e3: SWAP1 000015e4: SSTORE 000015e5: JUMPDEST 000015e6: JUMPDEST 000015e7: JUMPDEST 000015e8: JUMPDEST 000015e9: JUMPDEST 000015ea: POP 000015eb: POP 000015ec: POP 000015ed: POP 000015ee: JUMP 000015ef: JUMPDEST 000015f0: PUSH1 0x08 000015f2: SLOAD 000015f3: DUP2 000015f4: JUMP 000015f5: JUMPDEST 000015f6: PUSH1 0x00 000015f8: DUP4 000015f9: PUSH1 0x01 000015fb: PUSH1 0xa0 000015fd: PUSH1 0x02 000015ff: EXP 00001600: SUB 00001601: DUP2 00001602: AND 00001603: ISZERO 00001604: ISZERO 00001605: PUSH2 0x160d 00001608: JUMPI 00001609: PUSH1 0x00 0000160b: DUP1 0000160c: REVERT 0000160d: JUMPDEST 0000160e: PUSH1 0x05 00001610: SLOAD 00001611: SWAP2 00001612: POP 00001613: PUSH1 0x80 00001615: PUSH1 0x40 00001617: MLOAD 00001618: SWAP1 00001619: DUP2 0000161a: ADD 0000161b: PUSH1 0x40 0000161d: SWAP1 0000161e: DUP2 0000161f: MSTORE 00001620: PUSH1 0x01 00001622: PUSH1 0xa0 00001624: PUSH1 0x02 00001626: EXP 00001627: SUB 00001628: DUP8 00001629: AND 0000162a: DUP3 0000162b: MSTORE 0000162c: PUSH1 0x20 0000162e: DUP1 0000162f: DUP4 00001630: ADD 00001631: DUP8 00001632: SWAP1 00001633: MSTORE 00001634: DUP2 00001635: DUP4 00001636: ADD 00001637: DUP7 00001638: SWAP1 00001639: MSTORE 0000163a: PUSH1 0x00 0000163c: PUSH1 0x60 0000163e: DUP5 0000163f: ADD 00001640: DUP2 00001641: SWAP1 00001642: MSTORE 00001643: DUP6 00001644: DUP2 00001645: MSTORE 00001646: SWAP1 00001647: DUP2 00001648: SWAP1 00001649: MSTORE 0000164a: KECCAK256 0000164b: DUP2 0000164c: MLOAD 0000164d: DUP2 0000164e: SLOAD 0000164f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001664: NOT 00001665: AND 00001666: PUSH1 0x01 00001668: PUSH1 0xa0 0000166a: PUSH1 0x02 0000166c: EXP 0000166d: SUB 0000166e: SWAP2 0000166f: SWAP1 00001670: SWAP2 00001671: AND 00001672: OR 00001673: DUP2 00001674: SSTORE 00001675: PUSH1 0x20 00001677: DUP3 00001678: ADD 00001679: MLOAD 0000167a: DUP2 0000167b: PUSH1 0x01 0000167d: ADD 0000167e: SSTORE 0000167f: PUSH1 0x40 00001681: DUP3 00001682: ADD 00001683: MLOAD 00001684: DUP2 00001685: PUSH1 0x02 00001687: ADD 00001688: SWAP1 00001689: DUP1 0000168a: MLOAD 0000168b: PUSH2 0x1698 0000168e: SWAP3 0000168f: SWAP2 00001690: PUSH1 0x20 00001692: ADD 00001693: SWAP1 00001694: PUSH2 0x17b4 00001697: JUMP 00001698: JUMPDEST 00001699: POP 0000169a: PUSH1 0x60 0000169c: DUP3 0000169d: ADD 0000169e: MLOAD 0000169f: PUSH1 0x03 000016a1: SWAP2 000016a2: SWAP1 000016a3: SWAP2 000016a4: ADD 000016a5: DUP1 000016a6: SLOAD 000016a7: PUSH1 0xff 000016a9: NOT 000016aa: AND 000016ab: SWAP2 000016ac: ISZERO 000016ad: ISZERO 000016ae: SWAP2 000016af: SWAP1 000016b0: SWAP2 000016b1: OR 000016b2: SWAP1 000016b3: SSTORE 000016b4: POP 000016b5: PUSH1 0x05 000016b7: DUP1 000016b8: SLOAD 000016b9: PUSH1 0x01 000016bb: ADD 000016bc: SWAP1 000016bd: SSTORE 000016be: DUP2 000016bf: PUSH32 0xc0ba8fe4b176c1714197d43b9cc6bcf797a4a7461c5fe8d0ef6e184ae7601e51 000016e0: PUSH1 0x40 000016e2: MLOAD 000016e3: PUSH1 0x40 000016e5: MLOAD 000016e6: DUP1 000016e7: SWAP2 000016e8: SUB 000016e9: SWAP1 000016ea: LOG2 000016eb: JUMPDEST 000016ec: JUMPDEST 000016ed: POP 000016ee: SWAP4 000016ef: SWAP3 000016f0: POP 000016f1: POP 000016f2: POP 000016f3: JUMP 000016f4: JUMPDEST 000016f5: PUSH1 0x00 000016f7: PUSH1 0x07 000016f9: SLOAD 000016fa: PUSH3 0x015180 000016fe: ADD 000016ff: TIMESTAMP 00001700: GT 00001701: ISZERO 00001702: PUSH2 0x170f 00001705: JUMPI 00001706: TIMESTAMP 00001707: PUSH1 0x07 00001709: SSTORE 0000170a: PUSH1 0x00 0000170c: PUSH1 0x08 0000170e: SSTORE 0000170f: JUMPDEST 00001710: PUSH1 0x06 00001712: SLOAD 00001713: DUP3 00001714: PUSH1 0x08 00001716: SLOAD 00001717: ADD 00001718: GT 00001719: DUP1 0000171a: PUSH2 0x1726 0000171d: JUMPI 0000171e: POP 0000171f: PUSH1 0x08 00001721: SLOAD 00001722: DUP3 00001723: DUP2 00001724: ADD 00001725: LT 00001726: JUMPDEST 00001727: ISZERO 00001728: PUSH2 0x1733 0000172b: JUMPI 0000172c: POP 0000172d: PUSH1 0x00 0000172f: PUSH2 0x1737 00001732: JUMP 00001733: JUMPDEST 00001734: POP 00001735: PUSH1 0x01 00001737: JUMPDEST 00001738: SWAP2 00001739: SWAP1 0000173a: POP 0000173b: JUMP 0000173c: JUMPDEST 0000173d: DUP2 0000173e: SLOAD 0000173f: DUP2 00001740: DUP4 00001741: SSTORE 00001742: DUP2 00001743: DUP2 00001744: ISZERO 00001745: GT 00001746: PUSH2 0x08f6 00001749: JUMPI 0000174a: PUSH1 0x00 0000174c: DUP4 0000174d: DUP2 0000174e: MSTORE 0000174f: PUSH1 0x20 00001751: SWAP1 00001752: KECCAK256 00001753: PUSH2 0x08f6 00001756: SWAP2 00001757: DUP2 00001758: ADD 00001759: SWAP1 0000175a: DUP4 0000175b: ADD 0000175c: PUSH2 0x1833 0000175f: JUMP 00001760: JUMPDEST 00001761: JUMPDEST 00001762: POP 00001763: POP 00001764: POP 00001765: JUMP 00001766: JUMPDEST 00001767: DUP2 00001768: SLOAD 00001769: DUP2 0000176a: DUP4 0000176b: SSTORE 0000176c: DUP2 0000176d: DUP2 0000176e: ISZERO 0000176f: GT 00001770: PUSH2 0x08f6 00001773: JUMPI 00001774: PUSH1 0x00 00001776: DUP4 00001777: DUP2 00001778: MSTORE 00001779: PUSH1 0x20 0000177b: SWAP1 0000177c: KECCAK256 0000177d: PUSH2 0x08f6 00001780: SWAP2 00001781: DUP2 00001782: ADD 00001783: SWAP1 00001784: DUP4 00001785: ADD 00001786: PUSH2 0x1833 00001789: JUMP 0000178a: JUMPDEST 0000178b: JUMPDEST 0000178c: POP 0000178d: POP 0000178e: POP 0000178f: JUMP 00001790: JUMPDEST 00001791: PUSH1 0x20 00001793: PUSH1 0x40 00001795: MLOAD 00001796: SWAP1 00001797: DUP2 00001798: ADD 00001799: PUSH1 0x40 0000179b: MSTORE 0000179c: PUSH1 0x00 0000179e: DUP2 0000179f: MSTORE 000017a0: SWAP1 000017a1: JUMP 000017a2: JUMPDEST 000017a3: PUSH1 0x20 000017a5: PUSH1 0x40 000017a7: MLOAD 000017a8: SWAP1 000017a9: DUP2 000017aa: ADD 000017ab: PUSH1 0x40 000017ad: MSTORE 000017ae: PUSH1 0x00 000017b0: DUP2 000017b1: MSTORE 000017b2: SWAP1 000017b3: JUMP 000017b4: JUMPDEST 000017b5: DUP3 000017b6: DUP1 000017b7: SLOAD 000017b8: PUSH1 0x01 000017ba: DUP2 000017bb: PUSH1 0x01 000017bd: AND 000017be: ISZERO 000017bf: PUSH2 0x0100 000017c2: MUL 000017c3: SUB 000017c4: AND 000017c5: PUSH1 0x02 000017c7: SWAP1 000017c8: DIV 000017c9: SWAP1 000017ca: PUSH1 0x00 000017cc: MSTORE 000017cd: PUSH1 0x20 000017cf: PUSH1 0x00 000017d1: KECCAK256 000017d2: SWAP1 000017d3: PUSH1 0x1f 000017d5: ADD 000017d6: PUSH1 0x20 000017d8: SWAP1 000017d9: DIV 000017da: DUP2 000017db: ADD 000017dc: SWAP3 000017dd: DUP3 000017de: PUSH1 0x1f 000017e0: LT 000017e1: PUSH2 0x17f5 000017e4: JUMPI 000017e5: DUP1 000017e6: MLOAD 000017e7: PUSH1 0xff 000017e9: NOT 000017ea: AND 000017eb: DUP4 000017ec: DUP1 000017ed: ADD 000017ee: OR 000017ef: DUP6 000017f0: SSTORE 000017f1: PUSH2 0x1822 000017f4: JUMP 000017f5: JUMPDEST 000017f6: DUP3 000017f7: DUP1 000017f8: ADD 000017f9: PUSH1 0x01 000017fb: ADD 000017fc: DUP6 000017fd: SSTORE 000017fe: DUP3 000017ff: ISZERO 00001800: PUSH2 0x1822 00001803: JUMPI 00001804: SWAP2 00001805: DUP3 00001806: ADD 00001807: JUMPDEST 00001808: DUP3 00001809: DUP2 0000180a: GT 0000180b: ISZERO 0000180c: PUSH2 0x1822 0000180f: JUMPI 00001810: DUP3 00001811: MLOAD 00001812: DUP3 00001813: SSTORE 00001814: SWAP2 00001815: PUSH1 0x20 00001817: ADD 00001818: SWAP2 00001819: SWAP1 0000181a: PUSH1 0x01 0000181c: ADD 0000181d: SWAP1 0000181e: PUSH2 0x1807 00001821: JUMP 00001822: JUMPDEST 00001823: JUMPDEST 00001824: POP 00001825: PUSH2 0x182f 00001828: SWAP3 00001829: SWAP2 0000182a: POP 0000182b: PUSH2 0x1833 0000182e: JUMP 0000182f: JUMPDEST 00001830: POP 00001831: SWAP1 00001832: JUMP 00001833: JUMPDEST 00001834: PUSH2 0x0a4b 00001837: SWAP2 00001838: SWAP1 00001839: JUMPDEST 0000183a: DUP1 0000183b: DUP3 0000183c: GT 0000183d: ISZERO 0000183e: PUSH2 0x182f 00001841: JUMPI 00001842: PUSH1 0x00 00001844: DUP2 00001845: SSTORE 00001846: PUSH1 0x01 00001848: ADD 00001849: PUSH2 0x1839 0000184c: JUMP 0000184d: JUMPDEST 0000184e: POP 0000184f: SWAP1 00001850: JUMP 00001851: JUMPDEST 00001852: SWAP1 00001853: JUMP 00001854: STOP 00001855: LOG1 00001856: PUSH6 0x627a7a723058 0000185d: KECCAK256 0000185e: UNKNOWN(0xE1) 0000185f: UNKNOWN(0xEE) 00001860: UNKNOWN(0xC9) 00001861: UNKNOWN(0xC8) 00001862: PUSH1 0x05 00001864: CREATE2 00001865: UNKNOWN(0xDD) 00001866: UNKNOWN(0xEC) 00001867: UNKNOWN(0x4B) 00001868: GT 00001869: TIMESTAMP 0000186a: UNKNOWN(0xCF) 0000186b: SLOAD 0000186c: EQ 0000186d: UNKNOWN(0xB2) 0000186e: UNKNOWN(0xE8) 0000186f: BLOBHASH 00001870: EXP 00001871: PUSH26
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xeb3cf652f48bc3c8c445a9a4976b5043830e70c7b401796fe277012343387c54
call_targets:
0xbc1ab7f58a95cf307ba5ee18cf06b7ed0120da7a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xeb3cf652f48bc3c8c445a9a4976b5043830e70c7b401796fe277012343387c54",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xbc1ab7f58a95cf307ba5ee18cf06b7ed0120da7a"
],
"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": "0x025e7c27",
"selector": "0x025e7c27",
"calldata_variants": [
"0x025e7c27",
"0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x20ea8d86",
"selector": "0x20ea8d86",
"calldata_variants": [
"0x20ea8d86",
"0x20ea8d860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3411c81c",
"selector": "0x3411c81c",
"calldata_variants": [
"0x3411c81c",
"0x3411c81c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4bc9fdc2",
"selector": "0x4bc9fdc2",
"calldata_variants": [
"0x4bc9fdc2",
"0x4bc9fdc20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54741525",
"selector": "0x54741525",
"calldata_variants": [
"0x54741525",
"0x547415250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x67eeba0c",
"selector": "0x67eeba0c",
"calldata_variants": [
"0x67eeba0c",
"0x67eeba0c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5466,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xeb3cf652f48bc3c8c445a9a4976b5043830e70c7b401796fe277012343387c54
call_targets:
0xbc1ab7f58a95cf307ba5ee18cf06b7ed0120da7a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xeb3cf652f48bc3c8c445a9a4976b5043830e70c7b401796fe277012343387c54",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xbc1ab7f58a95cf307ba5ee18cf06b7ed0120da7a"
],
"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": "0x025e7c27",
"selector": "0x025e7c27",
"calldata_variants": [
"0x025e7c27",
"0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x20ea8d86",
"selector": "0x20ea8d86",
"calldata_variants": [
"0x20ea8d86",
"0x20ea8d860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3411c81c",
"selector": "0x3411c81c",
"calldata_variants": [
"0x3411c81c",
"0x3411c81c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4bc9fdc2",
"selector": "0x4bc9fdc2",
"calldata_variants": [
"0x4bc9fdc2",
"0x4bc9fdc20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54741525",
"selector": "0x54741525",
"calldata_variants": [
"0x54741525",
"0x547415250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x67eeba0c",
"selector": "0x67eeba0c",
"calldata_variants": [
"0x67eeba0c",
"0x67eeba0c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5466,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0xd8617ee9d1cd4c2b73d647f63119b62da420a8ce17477ee8732cd33a70e64a15
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0xd8617ee9d1cd4c2b73d647f63119b62da420a8ce17477ee8732cd33a70e64a15",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x025e7c27",
"selector": "0x025e7c27",
"calldata_variants": [
"0x025e7c27",
"0x025e7c270000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x173825d9",
"selector": "0x173825d9",
"calldata_variants": [
"0x173825d9",
"0x173825d90000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x20ea8d86",
"selector": "0x20ea8d86",
"calldata_variants": [
"0x20ea8d86",
"0x20ea8d860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f54bf6e",
"selector": "0x2f54bf6e",
"calldata_variants": [
"0x2f54bf6e",
"0x2f54bf6e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3411c81c",
"selector": "0x3411c81c",
"calldata_variants": [
"0x3411c81c",
"0x3411c81c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x4bc9fdc2",
"selector": "0x4bc9fdc2",
"calldata_variants": [
"0x4bc9fdc2",
"0x4bc9fdc20000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x54741525",
"selector": "0x54741525",
"calldata_variants": [
"0x54741525",
"0x547415250000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x67eeba0c",
"selector": "0x67eeba0c",
"calldata_variants": [
"0x67eeba0c",
"0x67eeba0c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 1
}
|
| low | other | cast | Contract creation opcode present | 60 | no | — |
viewevidence_json{
"notes": "runtime can deploy contracts dynamically via CREATE/CREATE2",
"create_count": 0,
"create2_count": 1
}
|