14ec2a7f-3bf4-4c0c-b3b4-73c2723b9617
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 |
|---|---|---|---|---|
| 30399 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 74578 | artifact.fetch | failed | 1 / 3 | 2 weeks ago |
| 74579 | tool.cast_disasm | complete | 1 / 3 | 2 weeks ago |
| 74580 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 74581 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 74582 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 74583 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
[codex:908853] OpenAI Codex v0.77.0 (research preview)
[codex:908853] --------
[codex:908853] workdir: /tmp/codex-multi-61lgxhbf
[codex:908853] model: gpt-5.2-codex
[codex:908853] provider: openai
[codex:908853] approval: never
[codex:908853] sandbox: read-only
[codex:908853] reasoning effort: xhigh
[codex:908853] reasoning summaries: auto
[codex:908853] session id: 019b683d-c0a0-7c02-9b9e-688a7d8c6960
[codex:908853] --------
[codex:908853] user
[codex:908853] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:908853] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:908853] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:908853]
[codex:908853] Scope rules:
[codex:908853] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:908853] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:908853]
[codex:908853] Output MUST be valid JSON matching the provided schema.
[codex:908853] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:908853] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:908853]
[codex:908853] Output constraints (IMPORTANT):
[codex:908853] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:908853] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:908853] mcp startup: no servers
[codex:908853]
[codex:908853] thinking
[codex:908853] **Preparing to read AUDIT_BUNDLE.txt**
[codex:908853] exec
[codex:908853] /bin/bash -lc ls in /tmp/codex-multi-61lgxhbf succeeded in 5ms:
[codex:908853] AUDIT_BUNDLE.txt
[codex:908853] codex-output-schema.json
[codex:908853] contracts
[codex:908853] exec
[codex:908853] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-61lgxhbf succeeded in 7ms:
[codex:908853] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:908853]
[codex:908853] ================================================================================
[codex:908853] FILE: contracts/@openzeppelin/contracts/access/AccessControl.sol
[codex:908853] ================================================================================
[codex:908853] // SPDX-License-Identifier: MIT
[codex:908853] // OpenZeppelin Contracts (last updated v4.9.0) (access/AccessControl.sol)
[codex:908853]
[codex:908853] pragma solidity ^0.8.0;
[codex:908853]
[codex:908853] import "./IAccessControl.sol";
[codex:908853] import "../utils/Context.sol";
[codex:908853] import "../utils/Strings.sol";
[codex:908853] import "../utils/introspection/ERC165.sol";
[codex:908853]
[codex:908853] /**
[codex:908853] * @dev Contract module that allows children to implement role-based access
[codex:908853] * control mechanisms. This is a lightweight version that doesn't allow enumerating role
[codex:908853] * members except through off-chain means by accessing the contract event logs. Some
[codex:908853] * applications may benefit from on-chain enumerability, for those cases see
[codex:908853]
[codex:908853] thinking
[codex:908853] **Summarizing audit results**
[codex:908853]
[codex:908853] I reviewed the RewardDistributor contract carefully—from access controls to reentrancy, merkle proof validation, and token transfer logic—and found no exploitable vulnerabilities. The admin is trusted, and while some fields are unused or configurations could cause administrative errors, there are no security risks or flaws that I can identify. I'll prepare a JSON stating no findings and a concise summary.
[codex:908853] codex
[codex:908853] {"no_findings":true,"summary":"Reviewed first-party Solidity sources in AUDIT_BUNDLE.txt; no exploitable issues identified in scope (reentrancy, access control, upgradeability, signature validation, oracle manipulation, accounting/invariant, external call patterns, unchecked returns, delegatecall).","findings":[]}
[codex:908853] tokens used
[codex:908853] 21,499
[codex:908853] {"no_findings":true,"summary":"Reviewed first-party Solidity sources in AUDIT_BUNDLE.txt; no exploitable issues identified in scope (reentrancy, access control, upgradeability, signature validation, oracle manipulation, accounting/invariant, external call patterns, unchecked returns, delegatecall).","findings":[]}
{
"codex": {
"ran_at": "2025-12-29T03:55:02.326473+00:00",
"returncode": 0
},
"summary": "Reviewed first-party Solidity sources in AUDIT_BUNDLE.txt; no exploitable issues identified in scope (reentrancy, access control, upgradeability, signature validation, oracle manipulation, accounting/invariant, external call patterns, unchecked returns, delegatecall).",
"raw_final": {
"summary": "Reviewed first-party Solidity sources in AUDIT_BUNDLE.txt; no exploitable issues identified in scope (reentrancy, access control, upgradeability, signature validation, oracle manipulation, accounting/invariant, external call patterns, unchecked returns, delegatecall).",
"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: ISZERO 0000000a: PUSH2 0x0018 0000000d: JUMPI 0000000e: JUMPDEST 0000000f: PUSH2 0x0016 00000012: PUSH2 0x03a0 00000015: JUMP 00000016: JUMPDEST 00000017: STOP 00000018: JUMPDEST 00000019: PUSH1 0x00 0000001b: CALLDATALOAD 0000001c: PUSH1 0xe0 0000001e: SHR 0000001f: DUP1 00000020: PUSH4 0x01ffc9a7 00000025: EQ 00000026: PUSH2 0x0376 00000029: JUMPI 0000002a: DUP1 0000002b: PUSH4 0x248a9ca3 00000030: EQ 00000031: PUSH2 0x034c 00000034: JUMPI 00000035: DUP1 00000036: PUSH4 0x2f2ff15d 0000003b: EQ 0000003c: PUSH2 0x0324 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x33f642f6 00000046: EQ 00000047: PUSH2 0x02fa 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x36568abe 00000051: EQ 00000052: PUSH2 0x02d2 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x56853398 0000005c: EQ 0000005d: PUSH2 0x02aa 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x5c975abb 00000067: EQ 00000068: PUSH2 0x0280 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x7fdba5f6 00000072: EQ 00000073: PUSH2 0x0256 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x91d14854 0000007d: EQ 0000007e: PUSH2 0x0219 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x938d967a 00000088: EQ 00000089: PUSH2 0x01d9 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x960d264d 00000093: EQ 00000094: PUSH2 0x01b2 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xa217fddf 0000009e: EQ 0000009f: PUSH2 0x0188 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xcdb88ad1 000000a9: EQ 000000aa: PUSH2 0x0161 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xd547741f 000000b4: EQ 000000b5: PUSH2 0x0139 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0xdf45c752 000000bf: EQ 000000c0: PUSH2 0x0111 000000c3: JUMPI 000000c4: PUSH4 0xdfcae622 000000c9: EQ 000000ca: PUSH2 0x00d2 000000cd: JUMPI 000000ce: PUSH2 0x000e 000000d1: JUMP 000000d2: JUMPDEST 000000d3: CALLVALUE 000000d4: PUSH2 0x0104 000000d7: JUMPI 000000d8: JUMPDEST 000000d9: PUSH2 0x0100 000000dc: PUSH2 0x00ef 000000df: PUSH2 0x00e9 000000e2: CALLDATASIZE 000000e3: PUSH1 0x04 000000e5: PUSH2 0x044d 000000e8: JUMP 000000e9: JUMPDEST 000000ea: SWAP1 000000eb: PUSH2 0x070d 000000ee: JUMP 000000ef: JUMPDEST 000000f0: PUSH1 0x40 000000f2: MLOAD 000000f3: JUMPDEST 000000f4: SWAP2 000000f5: DUP3 000000f6: SWAP2 000000f7: DUP3 000000f8: SWAP1 000000f9: DUP2 000000fa: MSTORE 000000fb: PUSH1 0x20 000000fd: ADD 000000fe: SWAP1 000000ff: JUMP 00000100: JUMPDEST 00000101: SUB 00000102: SWAP1 00000103: RETURN 00000104: JUMPDEST 00000105: PUSH2 0x010c 00000108: PUSH2 0x03a0 0000010b: JUMP 0000010c: JUMPDEST 0000010d: PUSH2 0x00d8 00000110: JUMP 00000111: JUMPDEST 00000112: POP 00000113: CALLVALUE 00000114: PUSH2 0x012c 00000117: JUMPI 00000118: JUMPDEST 00000119: PUSH2 0x0016 0000011c: PUSH2 0x0126 0000011f: CALLDATASIZE 00000120: PUSH1 0x04 00000122: PUSH2 0x069a 00000125: JUMP 00000126: JUMPDEST 00000127: SWAP1 00000128: PUSH2 0x137a 0000012b: JUMP 0000012c: JUMPDEST 0000012d: PUSH2 0x0134 00000130: PUSH2 0x03a0 00000133: JUMP 00000134: JUMPDEST 00000135: PUSH2 0x0118 00000138: JUMP 00000139: JUMPDEST 0000013a: POP 0000013b: CALLVALUE 0000013c: PUSH2 0x0154 0000013f: JUMPI 00000140: JUMPDEST 00000141: PUSH2 0x0016 00000144: PUSH2 0x014e 00000147: CALLDATASIZE 00000148: PUSH1 0x04 0000014a: PUSH2 0x044d 0000014d: JUMP 0000014e: JUMPDEST 0000014f: SWAP1 00000150: PUSH2 0x09e1 00000153: JUMP 00000154: JUMPDEST 00000155: PUSH2 0x015c 00000158: PUSH2 0x03a0 0000015b: JUMP 0000015c: JUMPDEST 0000015d: PUSH2 0x0140 00000160: JUMP 00000161: JUMPDEST 00000162: POP 00000163: CALLVALUE 00000164: PUSH2 0x017b 00000167: JUMPI 00000168: JUMPDEST 00000169: PUSH2 0x0016 0000016c: PUSH2 0x0176 0000016f: CALLDATASIZE 00000170: PUSH1 0x04 00000172: PUSH2 0x062d 00000175: JUMP 00000176: JUMPDEST 00000177: PUSH2 0x13a8 0000017a: JUMP 0000017b: JUMPDEST 0000017c: PUSH2 0x0183 0000017f: PUSH2 0x03a0 00000182: JUMP 00000183: JUMPDEST 00000184: PUSH2 0x0168 00000187: JUMP 00000188: JUMPDEST 00000189: POP 0000018a: CALLVALUE 0000018b: PUSH2 0x01a5 0000018e: JUMPI 0000018f: JUMPDEST 00000190: PUSH2 0x019a 00000193: CALLDATASIZE 00000194: PUSH1 0x04 00000196: PUSH2 0x047e 00000199: JUMP 0000019a: JUMPDEST 0000019b: PUSH2 0x0100 0000019e: PUSH2 0x00ef 000001a1: PUSH2 0x0610 000001a4: JUMP 000001a5: JUMPDEST 000001a6: PUSH2 0x01ad 000001a9: PUSH2 0x03a0 000001ac: JUMP 000001ad: JUMPDEST 000001ae: PUSH2 0x018f 000001b1: JUMP 000001b2: JUMPDEST 000001b3: POP 000001b4: CALLVALUE 000001b5: PUSH2 0x01cc 000001b8: JUMPI 000001b9: JUMPDEST 000001ba: PUSH2 0x0016 000001bd: PUSH2 0x01c7 000001c0: CALLDATASIZE 000001c1: PUSH1 0x04 000001c3: PUSH2 0x0404 000001c6: JUMP 000001c7: JUMPDEST 000001c8: PUSH2 0x14d5 000001cb: JUMP 000001cc: JUMPDEST 000001cd: PUSH2 0x01d4 000001d0: PUSH2 0x03a0 000001d3: JUMP 000001d4: JUMPDEST 000001d5: PUSH2 0x01b9 000001d8: JUMP 000001d9: JUMPDEST 000001da: POP 000001db: CALLVALUE 000001dc: PUSH2 0x020c 000001df: JUMPI 000001e0: JUMPDEST 000001e1: PUSH2 0x0100 000001e4: PUSH2 0x01f6 000001e7: PUSH2 0x01f1 000001ea: CALLDATASIZE 000001eb: PUSH1 0x04 000001ed: PUSH2 0x0404 000001f0: JUMP 000001f1: JUMPDEST 000001f2: PUSH2 0x0587 000001f5: JUMP 000001f6: JUMPDEST 000001f7: SWAP1 000001f8: PUSH2 0x0203 000001fb: SWAP5 000001fc: SWAP3 000001fd: SWAP5 000001fe: PUSH1 0x40 00000200: MLOAD 00000201: SWAP1 00000202: JUMP 00000203: JUMPDEST 00000204: SWAP5 00000205: DUP6 00000206: SWAP5 00000207: DUP6 00000208: PUSH2 0x05ca 0000020b: JUMP 0000020c: JUMPDEST 0000020d: PUSH2 0x0214 00000210: PUSH2 0x03a0 00000213: JUMP 00000214: JUMPDEST 00000215: PUSH2 0x01e0 00000218: JUMP 00000219: JUMPDEST 0000021a: POP 0000021b: CALLVALUE 0000021c: PUSH2 0x0249 0000021f: JUMPI 00000220: JUMPDEST 00000221: PUSH2 0x0100 00000224: PUSH2 0x0237 00000227: PUSH2 0x0231 0000022a: CALLDATASIZE 0000022b: PUSH1 0x04 0000022d: PUSH2 0x044d 00000230: JUMP 00000231: JUMPDEST 00000232: SWAP1 00000233: PUSH2 0x077b 00000236: JUMP 00000237: JUMPDEST 00000238: PUSH1 0x40 0000023a: MLOAD 0000023b: SWAP2 0000023c: DUP3 0000023d: SWAP2 0000023e: DUP3 0000023f: SWAP1 00000240: ISZERO 00000241: ISZERO 00000242: DUP2 00000243: MSTORE 00000244: PUSH1 0x20 00000246: ADD 00000247: SWAP1 00000248: JUMP 00000249: JUMPDEST 0000024a: PUSH2 0x0251 0000024d: PUSH2 0x03a0 00000250: JUMP 00000251: JUMPDEST 00000252: PUSH2 0x0220 00000255: JUMP 00000256: JUMPDEST 00000257: POP 00000258: CALLVALUE 00000259: PUSH2 0x0273 0000025c: JUMPI 0000025d: JUMPDEST 0000025e: PUSH2 0x0268 00000261: CALLDATASIZE 00000262: PUSH1 0x04 00000264: PUSH2 0x047e 00000267: JUMP 00000268: JUMPDEST 00000269: PUSH2 0x0100 0000026c: PUSH2 0x00ef 0000026f: PUSH2 0x055e 00000272: JUMP 00000273: JUMPDEST 00000274: PUSH2 0x027b 00000277: PUSH2 0x03a0 0000027a: JUMP 0000027b: JUMPDEST 0000027c: PUSH2 0x025d 0000027f: JUMP 00000280: JUMPDEST 00000281: POP 00000282: CALLVALUE 00000283: PUSH2 0x029d 00000286: JUMPI 00000287: JUMPDEST 00000288: PUSH2 0x0292 0000028b: CALLDATASIZE 0000028c: PUSH1 0x04 0000028e: PUSH2 0x047e 00000291: JUMP 00000292: JUMPDEST 00000293: PUSH2 0x0100 00000296: PUSH2 0x0237 00000299: PUSH2 0x0b6f 0000029c: JUMP 0000029d: JUMPDEST 0000029e: PUSH2 0x02a5 000002a1: PUSH2 0x03a0 000002a4: JUMP 000002a5: JUMPDEST 000002a6: PUSH2 0x0287 000002a9: JUMP 000002aa: JUMPDEST 000002ab: POP 000002ac: CALLVALUE 000002ad: PUSH2 0x02c5 000002b0: JUMPI 000002b1: JUMPDEST 000002b2: PUSH2 0x0016 000002b5: PUSH2 0x02bf 000002b8: CALLDATASIZE 000002b9: PUSH1 0x04 000002bb: PUSH2 0x04ff 000002be: JUMP 000002bf: JUMPDEST 000002c0: SWAP1 000002c1: PUSH2 0x1040 000002c4: JUMP 000002c5: JUMPDEST 000002c6: PUSH2 0x02cd 000002c9: PUSH2 0x03a0 000002cc: JUMP 000002cd: JUMPDEST 000002ce: PUSH2 0x02b1 000002d1: JUMP 000002d2: JUMPDEST 000002d3: POP 000002d4: CALLVALUE 000002d5: PUSH2 0x02ed 000002d8: JUMPI 000002d9: JUMPDEST 000002da: PUSH2 0x0016 000002dd: PUSH2 0x02e7 000002e0: CALLDATASIZE 000002e1: PUSH1 0x04 000002e3: PUSH2 0x044d 000002e6: JUMP 000002e7: JUMPDEST 000002e8: SWAP1 000002e9: PUSH2 0x0a50 000002ec: JUMP 000002ed: JUMPDEST 000002ee: PUSH2 0x02f5 000002f1: PUSH2 0x03a0 000002f4: JUMP 000002f5: JUMPDEST 000002f6: PUSH2 0x02d9 000002f9: JUMP 000002fa: JUMPDEST 000002fb: POP 000002fc: CALLVALUE 000002fd: PUSH2 0x0317 00000300: JUMPI 00000301: JUMPDEST 00000302: PUSH2 0x030c 00000305: CALLDATASIZE 00000306: PUSH1 0x04 00000308: PUSH2 0x047e 0000030b: JUMP 0000030c: JUMPDEST 0000030d: PUSH2 0x0100 00000310: PUSH2 0x00ef 00000313: PUSH2 0x04a7 00000316: JUMP 00000317: JUMPDEST 00000318: PUSH2 0x031f 0000031b: PUSH2 0x03a0 0000031e: JUMP 0000031f: JUMPDEST 00000320: PUSH2 0x0301 00000323: JUMP 00000324: JUMPDEST 00000325: POP 00000326: CALLVALUE 00000327: PUSH2 0x033f 0000032a: JUMPI 0000032b: JUMPDEST 0000032c: PUSH2 0x0016 0000032f: PUSH2 0x0339 00000332: CALLDATASIZE 00000333: PUSH1 0x04 00000335: PUSH2 0x044d 00000338: JUMP 00000339: JUMPDEST 0000033a: SWAP1 0000033b: PUSH2 0x07d9 0000033e: JUMP 0000033f: JUMPDEST 00000340: PUSH2 0x0347 00000343: PUSH2 0x03a0 00000346: JUMP 00000347: JUMPDEST 00000348: PUSH2 0x032b 0000034b: JUMP 0000034c: JUMPDEST 0000034d: POP 0000034e: CALLVALUE 0000034f: PUSH2 0x0369 00000352: JUMPI 00000353: JUMPDEST 00000354: PUSH2 0x0100 00000357: PUSH2 0x00ef 0000035a: PUSH2 0x0364 0000035d: CALLDATASIZE 0000035e: PUSH1 0x04 00000360: PUSH2 0x0404 00000363: JUMP 00000364: JUMPDEST 00000365: PUSH2 0x079a 00000368: JUMP 00000369: JUMPDEST 0000036a: PUSH2 0x0371 0000036d: PUSH2 0x03a0 00000370: JUMP 00000371: JUMPDEST 00000372: PUSH2 0x0353 00000375: JUMP 00000376: JUMPDEST 00000377: POP 00000378: CALLVALUE 00000379: PUSH2 0x0393 0000037c: JUMPI 0000037d: JUMPDEST 0000037e: PUSH2 0x0100 00000381: PUSH2 0x0237 00000384: PUSH2 0x038e 00000387: CALLDATASIZE 00000388: PUSH1 0x04 0000038a: PUSH2 0x03c9 0000038d: JUMP 0000038e: JUMPDEST 0000038f: PUSH2 0x072c 00000392: JUMP 00000393: JUMPDEST 00000394: PUSH2 0x039b 00000397: PUSH2 0x03a0 0000039a: JUMP 0000039b: JUMPDEST 0000039c: PUSH2 0x037d 0000039f: JUMP 000003a0: JUMPDEST 000003a1: POP 000003a2: PUSH1 0x00 000003a4: DUP1 000003a5: REVERT 000003a6: JUMPDEST 000003a7: PUSH1 0x01 000003a9: PUSH1 0x01 000003ab: PUSH1 0xe0 000003ad: SHL 000003ae: SUB 000003af: NOT 000003b0: DUP2 000003b1: AND 000003b2: JUMPDEST 000003b3: EQ 000003b4: ISZERO 000003b5: PUSH2 0x03a0 000003b8: JUMPI 000003b9: JUMP 000003ba: JUMPDEST 000003bb: SWAP1 000003bc: POP 000003bd: CALLDATALOAD 000003be: SWAP1 000003bf: PUSH2 0x03c7 000003c2: DUP3 000003c3: PUSH2 0x03a6 000003c6: JUMP 000003c7: JUMPDEST 000003c8: JUMP 000003c9: JUMPDEST 000003ca: SWAP1 000003cb: PUSH2 0x03dd 000003ce: SWAP2 000003cf: PUSH1 0x20 000003d1: DUP2 000003d2: DUP4 000003d3: SUB 000003d4: SLT 000003d5: PUSH2 0x03e0 000003d8: JUMPI 000003d9: PUSH2 0x03ba 000003dc: JUMP 000003dd: JUMPDEST 000003de: SWAP1 000003df: JUMP 000003e0: JUMPDEST 000003e1: PUSH2 0x03e8 000003e4: PUSH2 0x03a0 000003e7: JUMP 000003e8: JUMPDEST 000003e9: PUSH2 0x03ba 000003ec: JUMP 000003ed: JUMPDEST 000003ee: SWAP1 000003ef: MSTORE 000003f0: JUMP 000003f1: JUMPDEST 000003f2: DUP1 000003f3: PUSH2 0x03b2 000003f6: JUMP 000003f7: JUMPDEST 000003f8: SWAP1 000003f9: POP 000003fa: CALLDATALOAD 000003fb: SWAP1 000003fc: PUSH2 0x03c7 000003ff: DUP3 00000400: PUSH2 0x03f1 00000403: JUMP 00000404: JUMPDEST 00000405: SWAP1 00000406: PUSH2 0x03dd 00000409: SWAP2 0000040a: PUSH1 0x20 0000040c: DUP2 0000040d: DUP4 0000040e: SUB 0000040f: SLT 00000410: PUSH2 0x0418 00000413: JUMPI 00000414: PUSH2 0x03f7 00000417: JUMP 00000418: JUMPDEST 00000419: PUSH2 0x0420 0000041c: PUSH2 0x03a0 0000041f: JUMP 00000420: JUMPDEST 00000421: PUSH2 0x03f7 00000424: JUMP 00000425: JUMPDEST 00000426: PUSH1 0x01 00000428: PUSH1 0x01 0000042a: PUSH1 0xa0 0000042c: SHL 0000042d: SUB 0000042e: AND 0000042f: SWAP1 00000430: JUMP 00000431: JUMPDEST 00000432: PUSH1 0x01 00000434: PUSH1 0x01 00000436: PUSH1 0xa0 00000438: SHL 00000439: SUB 0000043a: DUP2 0000043b: AND 0000043c: PUSH2 0x03b2 0000043f: JUMP 00000440: JUMPDEST 00000441: SWAP1 00000442: POP 00000443: CALLDATALOAD 00000444: SWAP1 00000445: PUSH2 0x03c7 00000448: DUP3 00000449: PUSH2 0x0431 0000044c: JUMP 0000044d: JUMPDEST 0000044e: SWAP2 0000044f: SWAP1 00000450: PUSH2 0x03dd 00000453: SWAP1 00000454: PUSH1 0x40 00000456: DUP5 00000457: DUP3 00000458: SUB 00000459: SLT 0000045a: PUSH2 0x0471 0000045d: JUMPI 0000045e: JUMPDEST 0000045f: PUSH2 0x0468 00000462: DUP2 00000463: DUP6 00000464: PUSH2 0x03f7 00000467: JUMP 00000468: JUMPDEST 00000469: SWAP4 0000046a: PUSH1 0x20 0000046c: ADD 0000046d: PUSH2 0x0440 00000470: JUMP 00000471: JUMPDEST 00000472: PUSH2 0x0479 00000475: PUSH2 0x03a0 00000478: JUMP 00000479: JUMPDEST 0000047a: PUSH2 0x045e 0000047d: JUMP 0000047e: JUMPDEST 0000047f: PUSH1 0x00 00000481: SWAP2 00000482: SUB 00000483: SLT 00000484: PUSH2 0x0489 00000487: JUMPI 00000488: JUMP 00000489: JUMPDEST 0000048a: PUSH2 0x03c7 0000048d: PUSH2 0x03a0 00000490: JUMP 00000491: JUMPDEST 00000492: PUSH2 0x03dd 00000495: SWAP2 00000496: PUSH1 0x08 00000498: MUL 00000499: SHR 0000049a: DUP2 0000049b: JUMP 0000049c: JUMPDEST 0000049d: SWAP1 0000049e: PUSH2 0x03dd 000004a1: SWAP2 000004a2: SLOAD 000004a3: PUSH2 0x0491 000004a6: JUMP 000004a7: JUMPDEST 000004a8: PUSH2 0x03dd 000004ab: PUSH1 0x00 000004ad: PUSH1 0x05 000004af: PUSH2 0x049c 000004b2: JUMP 000004b3: JUMPDEST 000004b4: SWAP1 000004b5: SWAP2 000004b6: DUP3 000004b7: PUSH1 0x1f 000004b9: DUP4 000004ba: ADD 000004bb: SLT 000004bc: ISZERO 000004bd: PUSH2 0x04f2 000004c0: JUMPI 000004c1: JUMPDEST 000004c2: PUSH1 0x20 000004c4: DUP3 000004c5: CALLDATALOAD 000004c6: SWAP3 000004c7: PUSH8 0xffffffffffffffff 000004d0: DUP5 000004d1: GT 000004d2: PUSH2 0x04e5 000004d5: JUMPI 000004d6: JUMPDEST 000004d7: ADD 000004d8: SWAP3 000004d9: PUSH1 0x20 000004db: DUP4 000004dc: MUL 000004dd: DUP5 000004de: ADD 000004df: GT 000004e0: PUSH2 0x0489 000004e3: JUMPI 000004e4: JUMP 000004e5: JUMPDEST 000004e6: PUSH2 0x04ed 000004e9: PUSH2 0x03a0 000004ec: JUMP 000004ed: JUMPDEST 000004ee: PUSH2 0x04d6 000004f1: JUMP 000004f2: JUMPDEST 000004f3: PUSH2 0x04fa 000004f6: PUSH2 0x03a0 000004f9: JUMP 000004fa: JUMPDEST 000004fb: PUSH2 0x04c1 000004fe: JUMP 000004ff: JUMPDEST 00000500: SWAP1 00000501: PUSH2 0x0528 00000504: SWAP2 00000505: PUSH1 0x20 00000507: DUP2 00000508: DUP4 00000509: SUB 0000050a: SLT 0000050b: PUSH2 0x0539 0000050e: JUMPI 0000050f: JUMPDEST 00000510: DUP1 00000511: CALLDATALOAD 00000512: SWAP1 00000513: PUSH8 0xffffffffffffffff 0000051c: DUP3 0000051d: GT 0000051e: PUSH2 0x052c 00000521: JUMPI 00000522: JUMPDEST 00000523: ADD 00000524: PUSH2 0x04b3 00000527: JUMP 00000528: JUMPDEST 00000529: SWAP1 0000052a: SWAP2 0000052b: JUMP 0000052c: JUMPDEST 0000052d: PUSH2 0x0534 00000530: PUSH2 0x03a0 00000533: JUMP 00000534: JUMPDEST 00000535: PUSH2 0x0522 00000538: JUMP 00000539: JUMPDEST 0000053a: PUSH2 0x0541 0000053d: PUSH2 0x03a0 00000540: JUMP 00000541: JUMPDEST 00000542: PUSH2 0x050f 00000545: JUMP 00000546: JUMPDEST 00000547: PUSH2 0x03dd 0000054a: PUSH2 0x03dd 0000054d: PUSH2 0x03dd 00000550: SWAP3 00000551: SWAP1 00000552: JUMP 00000553: JUMPDEST 00000554: PUSH2 0x03dd 00000557: PUSH2 0x2a30 0000055a: PUSH2 0x0546 0000055d: JUMP 0000055e: JUMPDEST 0000055f: PUSH2 0x03dd 00000562: PUSH2 0x0553 00000565: JUMP 00000566: JUMPDEST 00000567: SWAP1 00000568: JUMPDEST 00000569: PUSH1 0x00 0000056b: MSTORE 0000056c: PUSH1 0x20 0000056e: MSTORE 0000056f: PUSH1 0x40 00000571: PUSH1 0x00 00000573: KECCAK256 00000574: SWAP1 00000575: JUMP 00000576: JUMPDEST 00000577: PUSH2 0x03dd 0000057a: SWAP1 0000057b: DUP2 0000057c: JUMP 0000057d: JUMPDEST 0000057e: PUSH2 0x03dd 00000581: SWAP1 00000582: SLOAD 00000583: PUSH2 0x0576 00000586: JUMP 00000587: JUMPDEST 00000588: PUSH2 0x0592 0000058b: SWAP1 0000058c: PUSH1 0x03 0000058e: PUSH2 0x0566 00000591: JUMP 00000592: JUMPDEST 00000593: SWAP1 00000594: PUSH2 0x05a4 00000597: DUP3 00000598: SLOAD 00000599: PUSH1 0x01 0000059b: PUSH1 0x01 0000059d: PUSH1 0xa0 0000059f: SHL 000005a0: SUB 000005a1: AND 000005a2: SWAP1 000005a3: JUMP 000005a4: JUMPDEST 000005a5: SWAP2 000005a6: PUSH2 0x05b1 000005a9: PUSH1 0x01 000005ab: DUP3 000005ac: ADD 000005ad: PUSH2 0x057d 000005b0: JUMP 000005b1: JUMPDEST 000005b2: SWAP2 000005b3: PUSH2 0x03dd 000005b6: PUSH1 0x03 000005b8: PUSH2 0x05c3 000005bb: PUSH1 0x02 000005bd: DUP6 000005be: ADD 000005bf: PUSH2 0x057d 000005c2: JUMP 000005c3: JUMPDEST 000005c4: SWAP4 000005c5: ADD 000005c6: PUSH2 0x057d 000005c9: JUMP 000005ca: JUMPDEST 000005cb: PUSH2 0x0602 000005ce: PUSH2 0x03c7 000005d1: SWAP5 000005d2: PUSH2 0x05fb 000005d5: PUSH1 0x60 000005d7: SWAP5 000005d8: SWAP9 000005d9: SWAP8 000005da: SWAP6 000005db: PUSH2 0x05f4 000005de: PUSH1 0x80 000005e0: DUP7 000005e1: ADD 000005e2: SWAP11 000005e3: PUSH1 0x00 000005e5: DUP8 000005e6: ADD 000005e7: SWAP1 000005e8: PUSH1 0x01 000005ea: PUSH1 0x01 000005ec: PUSH1 0xa0 000005ee: SHL 000005ef: SUB 000005f0: AND 000005f1: SWAP1 000005f2: MSTORE 000005f3: JUMP 000005f4: JUMPDEST 000005f5: PUSH1 0x20 000005f7: DUP6 000005f8: ADD 000005f9: MSTORE 000005fa: JUMP 000005fb: JUMPDEST 000005fc: PUSH1 0x40 000005fe: DUP4 000005ff: ADD 00000600: MSTORE 00000601: JUMP 00000602: JUMPDEST 00000603: ADD 00000604: MSTORE 00000605: JUMP 00000606: JUMPDEST 00000607: PUSH2 0x03dd 0000060a: PUSH1 0x00 0000060c: PUSH2 0x0546 0000060f: JUMP 00000610: JUMPDEST 00000611: PUSH2 0x03dd 00000614: PUSH2 0x0606 00000617: JUMP 00000618: JUMPDEST 00000619: DUP1 0000061a: ISZERO 0000061b: ISZERO 0000061c: PUSH2 0x03b2 0000061f: JUMP 00000620: JUMPDEST 00000621: SWAP1 00000622: POP 00000623: CALLDATALOAD 00000624: SWAP1 00000625: PUSH2 0x03c7 00000628: DUP3 00000629: PUSH2 0x0618 0000062c: JUMP 0000062d: JUMPDEST 0000062e: SWAP1 0000062f: PUSH2 0x03dd 00000632: SWAP2 00000633: PUSH1 0x20 00000635: DUP2 00000636: DUP4 00000637: SUB 00000638: SLT 00000639: PUSH2 0x0641 0000063c: JUMPI 0000063d: PUSH2 0x0620 00000640: JUMP 00000641: JUMPDEST 00000642: PUSH2 0x0649 00000645: PUSH2 0x03a0 00000648: JUMP 00000649: JUMPDEST 0000064a: PUSH2 0x0620 0000064d: JUMP 0000064e: JUMPDEST 0000064f: SWAP1 00000650: SWAP2 00000651: DUP3 00000652: PUSH1 0x1f 00000654: DUP4 00000655: ADD 00000656: SLT 00000657: ISZERO 00000658: PUSH2 0x068d 0000065b: JUMPI 0000065c: JUMPDEST 0000065d: PUSH1 0x20 0000065f: DUP3 00000660: CALLDATALOAD 00000661: SWAP3 00000662: PUSH8 0xffffffffffffffff 0000066b: DUP5 0000066c: GT 0000066d: PUSH2 0x0680 00000670: JUMPI 00000671: JUMPDEST 00000672: ADD 00000673: SWAP3 00000674: PUSH1 0x80 00000676: DUP4 00000677: MUL 00000678: DUP5 00000679: ADD 0000067a: GT 0000067b: PUSH2 0x0489 0000067e: JUMPI 0000067f: JUMP 00000680: JUMPDEST 00000681: PUSH2 0x0688 00000684: PUSH2 0x03a0 00000687: JUMP 00000688: JUMPDEST 00000689: PUSH2 0x0671 0000068c: JUMP 0000068d: JUMPDEST 0000068e: PUSH2 0x0695 00000691: PUSH2 0x03a0 00000694: JUMP 00000695: JUMPDEST 00000696: PUSH2 0x065c 00000699: JUMP 0000069a: JUMPDEST 0000069b: SWAP1 0000069c: PUSH2 0x0528 0000069f: SWAP2 000006a0: PUSH1 0x20 000006a2: DUP2 000006a3: DUP4 000006a4: SUB 000006a5: SLT 000006a6: PUSH2 0x06d0 000006a9: JUMPI 000006aa: JUMPDEST 000006ab: DUP1 000006ac: CALLDATALOAD 000006ad: SWAP1 000006ae: PUSH8 0xffffffffffffffff 000006b7: DUP3 000006b8: GT 000006b9: PUSH2 0x06c3 000006bc: JUMPI 000006bd: JUMPDEST 000006be: ADD 000006bf: PUSH2 0x064e 000006c2: JUMP 000006c3: JUMPDEST 000006c4: PUSH2 0x06cb 000006c7: PUSH2 0x03a0 000006ca: JUMP 000006cb: JUMPDEST 000006cc: PUSH2 0x06bd 000006cf: JUMP 000006d0: JUMPDEST 000006d1: PUSH2 0x06d8 000006d4: PUSH2 0x03a0 000006d7: JUMP 000006d8: JUMPDEST 000006d9: PUSH2 0x06aa 000006dc: JUMP 000006dd: JUMPDEST 000006de: PUSH2 0x03dd 000006e1: SWAP1 000006e2: PUSH2 0x0425 000006e5: SWAP1 000006e6: PUSH1 0x01 000006e8: PUSH1 0x01 000006ea: PUSH1 0xa0 000006ec: SHL 000006ed: SUB 000006ee: AND 000006ef: DUP3 000006f0: JUMP 000006f1: JUMPDEST 000006f2: PUSH2 0x03dd 000006f5: SWAP1 000006f6: PUSH2 0x06dd 000006f9: JUMP 000006fa: JUMPDEST 000006fb: PUSH2 0x03dd 000006fe: SWAP1 000006ff: PUSH2 0x06f1 00000702: JUMP 00000703: JUMPDEST 00000704: SWAP1 00000705: PUSH2 0x0568 00000708: SWAP1 00000709: PUSH2 0x06fa 0000070c: JUMP 0000070d: JUMPDEST 0000070e: PUSH2 0x0727 00000711: PUSH2 0x03dd 00000714: SWAP3 00000715: PUSH2 0x0722 00000718: PUSH1 0x04 0000071a: SWAP4 0000071b: PUSH1 0x00 0000071d: SWAP5 0000071e: PUSH2 0x0566 00000721: JUMP 00000722: JUMPDEST 00000723: PUSH2 0x0703 00000726: JUMP 00000727: JUMPDEST 00000728: PUSH2 0x049c 0000072b: JUMP 0000072c: JUMPDEST 0000072d: PUSH4 0x7965db0b 00000732: PUSH1 0xe0 00000734: SHL 00000735: PUSH1 0x01 00000737: PUSH1 0x01 00000739: PUSH1 0xe0 0000073b: SHL 0000073c: SUB 0000073d: NOT 0000073e: DUP3 0000073f: AND 00000740: EQ 00000741: SWAP1 00000742: DUP2 00000743: ISZERO 00000744: PUSH2 0x074b 00000747: JUMPI 00000748: POP 00000749: SWAP1 0000074a: JUMP 0000074b: JUMPDEST 0000074c: PUSH2 0x03dd 0000074f: SWAP2 00000750: POP 00000751: PUSH1 0x01 00000753: PUSH1 0x01 00000755: PUSH1 0xe0 00000757: SHL 00000758: SUB 00000759: NOT 0000075a: AND 0000075b: PUSH4 0x01ffc9a7 00000760: PUSH1 0xe0 00000762: SHL 00000763: EQ 00000764: SWAP1 00000765: JUMP 00000766: JUMPDEST 00000767: PUSH2 0x03dd 0000076a: SWAP1 0000076b: JUMPDEST 0000076c: PUSH1 0xff 0000076e: AND 0000076f: SWAP1 00000770: JUMP 00000771: JUMPDEST 00000772: PUSH2 0x03dd 00000775: SWAP1 00000776: SLOAD 00000777: PUSH2 0x0766 0000077a: JUMP 0000077b: JUMPDEST 0000077c: PUSH2 0x03dd 0000077f: SWAP2 00000780: PUSH2 0x0795 00000783: SWAP2 00000784: PUSH2 0x078f 00000787: PUSH1 0x00 00000789: SWAP2 0000078a: DUP3 0000078b: PUSH2 0x0566 0000078e: JUMP 0000078f: JUMPDEST 00000790: ADD 00000791: PUSH2 0x0703 00000794: JUMP 00000795: JUMPDEST 00000796: PUSH2 0x0771 00000799: JUMP 0000079a: JUMPDEST 0000079b: PUSH1 0x01 0000079d: PUSH2 0x07b3 000007a0: PUSH2 0x03dd 000007a3: SWAP3 000007a4: PUSH2 0x07ab 000007a7: PUSH1 0x00 000007a9: SWAP1 000007aa: JUMP 000007ab: JUMPDEST 000007ac: POP 000007ad: PUSH1 0x00 000007af: PUSH2 0x0566 000007b2: JUMP 000007b3: JUMPDEST 000007b4: ADD 000007b5: PUSH2 0x057d 000007b8: JUMP 000007b9: JUMPDEST 000007ba: SWAP1 000007bb: PUSH2 0x03c7 000007be: SWAP2 000007bf: PUSH2 0x07cf 000007c2: PUSH2 0x07ca 000007c5: DUP3 000007c6: PUSH2 0x079a 000007c9: JUMP 000007ca: JUMPDEST 000007cb: PUSH2 0x07e3 000007ce: JUMP 000007cf: JUMPDEST 000007d0: SWAP1 000007d1: PUSH2 0x03c7 000007d4: SWAP2 000007d5: PUSH2 0x0aa0 000007d8: JUMP 000007d9: JUMPDEST 000007da: SWAP1 000007db: PUSH2 0x03c7 000007de: SWAP2 000007df: PUSH2 0x07b9 000007e2: JUMP 000007e3: JUMPDEST 000007e4: PUSH2 0x03c7 000007e7: SWAP1 000007e8: CALLER 000007e9: SWAP1 000007ea: PUSH2 0x0937 000007ed: JUMP 000007ee: JUMPDEST 000007ef: PUSH2 0x03dd 000007f2: SWAP1 000007f3: PUSH2 0x0546 000007f6: JUMP 000007f7: JUMPDEST 000007f8: ADD 000007f9: SWAP1 000007fa: JUMP 000007fb: JUMPDEST 000007fc: SWAP2 000007fd: DUP1 000007fe: SWAP2 000007ff: SWAP3 00000800: PUSH1 0x00 00000802: SWAP1 00000803: JUMPDEST 00000804: DUP3 00000805: DUP3 00000806: LT 00000807: PUSH2 0x081b 0000080a: JUMPI 0000080b: POP 0000080c: GT 0000080d: PUSH2 0x0814 00000810: JUMPI 00000811: POP 00000812: POP 00000813: JUMP 00000814: JUMPDEST 00000815: PUSH1 0x00 00000817: SWAP2 00000818: ADD 00000819: MSTORE 0000081a: JUMP 0000081b: JUMPDEST 0000081c: SWAP2 0000081d: POP 0000081e: DUP1 0000081f: PUSH1 0x20 00000821: SWAP2 00000822: DUP4 00000823: ADD 00000824: MLOAD 00000825: DUP2 00000826: DUP7 00000827: ADD 00000828: MSTORE 00000829: ADD 0000082a: DUP3 0000082b: SWAP2 0000082c: PUSH2 0x0803 0000082f: JUMP 00000830: JUMPDEST 00000831: PUSH2 0x07f7 00000834: PUSH2 0x0848 00000837: SWAP3 00000838: PUSH1 0x20 0000083a: SWAP3 0000083b: PUSH2 0x0842 0000083e: DUP2 0000083f: MLOAD 00000840: SWAP1 00000841: JUMP 00000842: JUMPDEST 00000843: SWAP5 00000844: DUP6 00000845: SWAP3 00000846: SWAP1 00000847: JUMP 00000848: JUMPDEST 00000849: SWAP4 0000084a: DUP5 0000084b: SWAP2 0000084c: ADD 0000084d: PUSH2 0x07fb 00000850: JUMP 00000851: JUMPDEST 00000852: PUSH2 0x088f 00000855: PUSH2 0x03dd 00000858: SWAP4 00000859: SWAP3 0000085a: PUSH2 0x0889 0000085d: PUSH2 0x0889 00000860: SWAP4 00000861: PUSH32 0x416363657373436f6e74726f6c3a206163636f756e7420000000000000000000 00000882: DUP2 00000883: MSTORE 00000884: PUSH1 0x17 00000886: ADD 00000887: SWAP1 00000888: JUMP 00000889: JUMPDEST 0000088a: SWAP1 0000088b: PUSH2 0x0830 0000088e: JUMP 0000088f: JUMPDEST 00000890: PUSH17 0x01034b99036b4b9b9b4b733903937b6329 000008a2: PUSH1 0x7d 000008a4: SHL 000008a5: DUP2 000008a6: MSTORE 000008a7: PUSH1 0x11 000008a9: ADD 000008aa: SWAP1 000008ab: JUMP 000008ac: JUMPDEST 000008ad: PUSH1 0x1f 000008af: ADD 000008b0: PUSH1 0x1f 000008b2: NOT 000008b3: AND 000008b4: SWAP1 000008b5: JUMP 000008b6: JUMPDEST 000008b7: POP 000008b8: PUSH4 0x4e487b71 000008bd: PUSH1 0xe0 000008bf: SHL 000008c0: PUSH1 0x00 000008c2: MSTORE 000008c3: PUSH1 0x41 000008c5: PUSH1 0x04 000008c7: MSTORE 000008c8: PUSH1 0x24 000008ca: PUSH1 0x00 000008cc: REVERT 000008cd: JUMPDEST 000008ce: SWAP1 000008cf: PUSH1 0x1f 000008d1: ADD 000008d2: PUSH1 0x1f 000008d4: NOT 000008d5: AND 000008d6: DUP2 000008d7: ADD 000008d8: SWAP1 000008d9: DUP2 000008da: LT 000008db: PUSH8 0xffffffffffffffff 000008e4: DUP3 000008e5: GT 000008e6: OR 000008e7: PUSH2 0x08ef 000008ea: JUMPI 000008eb: PUSH1 0x40 000008ed: MSTORE 000008ee: JUMP 000008ef: JUMPDEST 000008f0: PUSH2 0x08f7 000008f3: PUSH2 0x08b6 000008f6: JUMP 000008f7: JUMPDEST 000008f8: PUSH1 0x40 000008fa: MSTORE 000008fb: JUMP 000008fc: JUMPDEST 000008fd: PUSH2 0x091d 00000900: PUSH2 0x08ac 00000903: PUSH1 0x20 00000905: SWAP4 00000906: PUSH2 0x07f7 00000909: SWAP4 0000090a: PUSH2 0x0911 0000090d: DUP2 0000090e: MLOAD 0000090f: SWAP1 00000910: JUMP 00000911: JUMPDEST 00000912: DUP1 00000913: DUP4 00000914: MSTORE 00000915: SWAP4 00000916: DUP5 00000917: SWAP3 00000918: PUSH1 0x20 0000091a: ADD 0000091b: SWAP1 0000091c: JUMP 0000091d: JUMPDEST 0000091e: SWAP6 0000091f: DUP7 00000920: SWAP2 00000921: ADD 00000922: PUSH2 0x07fb 00000925: JUMP 00000926: JUMPDEST 00000927: PUSH1 0x20 00000929: DUP1 0000092a: DUP3 0000092b: MSTORE 0000092c: PUSH2 0x03dd 0000092f: SWAP3 00000930: SWAP2 00000931: ADD 00000932: SWAP1 00000933: PUSH2 0x08fc 00000936: JUMP 00000937: JUMPDEST 00000938: SWAP1 00000939: PUSH2 0x0949 0000093c: PUSH2 0x0945 0000093f: DUP3 00000940: DUP5 00000941: PUSH2 0x077b 00000944: JUMP 00000945: JUMPDEST 00000946: ISZERO 00000947: SWAP1 00000948: JUMP 00000949: JUMPDEST 0000094a: PUSH2 0x0951 0000094d: JUMPI 0000094e: POP 0000094f: POP 00000950: JUMP 00000951: JUMPDEST 00000952: PUSH2 0x09c2 00000955: SWAP3 00000956: POP 00000957: SWAP1 00000958: PUSH2 0x03dd 0000095b: PUSH2 0x096f 0000095e: PUSH2 0x0969 00000961: PUSH2 0x09a9 00000964: SWAP5 00000965: PUSH2 0x0e78 00000968: JUMP 00000969: JUMPDEST 0000096a: SWAP3 0000096b: PUSH2 0x07ee 0000096e: JUMP 0000096f: JUMPDEST 00000970: PUSH2 0x0984 00000973: PUSH1 0x20 00000975: SWAP2 00000976: PUSH2 0x097e 00000979: DUP4 0000097a: PUSH2 0x0546 0000097d: JUMP 0000097e: JUMPDEST 0000097f: SWAP1 00000980: PUSH2 0x0d18 00000983: JUMP 00000984: JUMPDEST 00000985: SWAP3 00000986: PUSH2 0x099d 00000989: PUSH2 0x0991 0000098c: PUSH1 0x40 0000098e: MLOAD 0000098f: SWAP1 00000990: JUMP 00000991: JUMPDEST 00000992: SWAP5 00000993: DUP6 00000994: SWAP4 00000995: DUP5 00000996: ADD 00000997: SWAP3 00000998: DUP4 00000999: PUSH2 0x0851 0000099c: JUMP 0000099d: JUMPDEST 0000099e: SWAP1 0000099f: DUP2 000009a0: SUB 000009a1: DUP3 000009a2: MSTORE 000009a3: SUB 000009a4: DUP3 000009a5: PUSH2 0x08cd 000009a8: JUMP 000009a9: JUMPDEST 000009aa: PUSH1 0x40 000009ac: MLOAD 000009ad: JUMPDEST 000009ae: PUSH3 0x461bcd 000009b2: PUSH1 0xe5 000009b4: SHL 000009b5: DUP2 000009b6: MSTORE 000009b7: SWAP2 000009b8: DUP3 000009b9: SWAP2 000009ba: PUSH1 0x04 000009bc: DUP4 000009bd: ADD 000009be: PUSH2 0x0926 000009c1: JUMP 000009c2: JUMPDEST 000009c3: SUB 000009c4: SWAP1 000009c5: REVERT 000009c6: JUMPDEST 000009c7: SWAP1 000009c8: PUSH2 0x03c7 000009cb: SWAP2 000009cc: PUSH2 0x09d7 000009cf: PUSH2 0x07ca 000009d2: DUP3 000009d3: PUSH2 0x079a 000009d6: JUMP 000009d7: JUMPDEST 000009d8: SWAP1 000009d9: PUSH2 0x03c7 000009dc: SWAP2 000009dd: PUSH2 0x0b18 000009e0: JUMP 000009e1: JUMPDEST 000009e2: SWAP1 000009e3: PUSH2 0x03c7 000009e6: SWAP2 000009e7: PUSH2 0x09c6 000009ea: JUMP 000009eb: JUMPDEST 000009ec: ISZERO 000009ed: PUSH2 0x09f2 000009f0: JUMPI 000009f1: JUMP 000009f2: JUMPDEST 000009f3: POP 000009f4: PUSH1 0x40 000009f6: MLOAD 000009f7: PUSH3 0x461bcd 000009fb: PUSH1 0xe5 000009fd: SHL 000009fe: DUP2 000009ff: MSTORE 00000a00: PUSH1 0x20 00000a02: PUSH1 0x04 00000a04: DUP3 00000a05: ADD 00000a06: MSTORE 00000a07: PUSH1 0x2f 00000a09: PUSH1 0x24 00000a0b: DUP3 00000a0c: ADD 00000a0d: MSTORE 00000a0e: PUSH32 0x416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e6365 00000a2f: PUSH1 0x44 00000a31: DUP3 00000a32: ADD 00000a33: MSTORE 00000a34: PUSH15 0x103937b632b9903337b91039b2b633 00000a44: PUSH1 0x89 00000a46: SHL 00000a47: PUSH1 0x64 00000a49: DUP3 00000a4a: ADD 00000a4b: MSTORE 00000a4c: PUSH1 0x84 00000a4e: SWAP1 00000a4f: REVERT 00000a50: JUMPDEST 00000a51: PUSH2 0x03c7 00000a54: SWAP2 00000a55: SWAP1 00000a56: PUSH2 0x0a71 00000a59: PUSH2 0x0a61 00000a5c: CALLER 00000a5d: PUSH2 0x0425 00000a60: JUMP 00000a61: JUMPDEST 00000a62: PUSH1 0x01 00000a64: PUSH1 0x01 00000a66: PUSH1 0xa0 00000a68: SHL 00000a69: SUB 00000a6a: DUP5 00000a6b: AND 00000a6c: EQ 00000a6d: PUSH2 0x09eb 00000a70: JUMP 00000a71: JUMPDEST 00000a72: PUSH2 0x0b18 00000a75: JUMP 00000a76: JUMPDEST 00000a77: SWAP1 00000a78: PUSH1 0xff 00000a7a: SWAP1 00000a7b: JUMPDEST 00000a7c: SWAP2 00000a7d: DUP2 00000a7e: NOT 00000a7f: AND 00000a80: SWAP2 00000a81: AND 00000a82: OR 00000a83: SWAP1 00000a84: JUMP 00000a85: JUMPDEST 00000a86: SWAP1 00000a87: PUSH2 0x0a95 00000a8a: PUSH2 0x03dd 00000a8d: PUSH2 0x0a9c 00000a90: SWAP3 00000a91: ISZERO 00000a92: ISZERO 00000a93: SWAP1 00000a94: JUMP 00000a95: JUMPDEST 00000a96: DUP3 00000a97: SLOAD 00000a98: PUSH2 0x0a76 00000a9b: JUMP 00000a9c: JUMPDEST 00000a9d: SWAP1 00000a9e: SSTORE 00000a9f: JUMP 00000aa0: JUMPDEST 00000aa1: SWAP1 00000aa2: PUSH2 0x0aae 00000aa5: PUSH2 0x0945 00000aa8: DUP3 00000aa9: DUP5 00000aaa: PUSH2 0x077b 00000aad: JUMP 00000aae: JUMPDEST 00000aaf: PUSH2 0x0ab6 00000ab2: JUMPI 00000ab3: POP 00000ab4: POP 00000ab5: JUMP 00000ab6: JUMPDEST 00000ab7: PUSH2 0x0ad0 00000aba: PUSH1 0x01 00000abc: PUSH2 0x0acb 00000abf: DUP4 00000ac0: PUSH1 0x00 00000ac2: PUSH2 0x078f 00000ac5: DUP8 00000ac6: DUP3 00000ac7: PUSH2 0x0566 00000aca: JUMP 00000acb: JUMPDEST 00000acc: PUSH2 0x0a85 00000acf: JUMP 00000ad0: JUMPDEST 00000ad1: CALLER 00000ad2: SWAP1 00000ad3: PUSH2 0x0b06 00000ad6: PUSH2 0x0b00 00000ad9: PUSH2 0x0b00 00000adc: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d 00000afd: SWAP6 00000afe: SWAP1 00000aff: JUMP 00000b00: JUMPDEST 00000b01: SWAP3 00000b02: PUSH2 0x06fa 00000b05: JUMP 00000b06: JUMPDEST 00000b07: SWAP3 00000b08: PUSH2 0x0b10 00000b0b: PUSH1 0x40 00000b0d: MLOAD 00000b0e: SWAP1 00000b0f: JUMP 00000b10: JUMPDEST 00000b11: DUP1 00000b12: DUP1 00000b13: JUMPDEST 00000b14: SUB 00000b15: SWAP1 00000b16: LOG4 00000b17: JUMP 00000b18: JUMPDEST 00000b19: SWAP1 00000b1a: PUSH2 0x0b23 00000b1d: DUP2 00000b1e: DUP4 00000b1f: PUSH2 0x077b 00000b22: JUMP 00000b23: JUMPDEST 00000b24: PUSH2 0x0b2b 00000b27: JUMPI 00000b28: POP 00000b29: POP 00000b2a: JUMP 00000b2b: JUMPDEST 00000b2c: PUSH2 0x0b3f 00000b2f: PUSH1 0x00 00000b31: PUSH2 0x0acb 00000b34: DUP4 00000b35: DUP3 00000b36: PUSH2 0x078f 00000b39: DUP8 00000b3a: DUP3 00000b3b: PUSH2 0x0566 00000b3e: JUMP 00000b3f: JUMPDEST 00000b40: CALLER 00000b41: SWAP1 00000b42: PUSH2 0x0b06 00000b45: PUSH2 0x0b00 00000b48: PUSH2 0x0b00 00000b4b: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b 00000b6c: SWAP6 00000b6d: SWAP1 00000b6e: JUMP 00000b6f: JUMPDEST 00000b70: PUSH2 0x03dd 00000b73: PUSH1 0x02 00000b75: PUSH2 0x0771 00000b78: JUMP 00000b79: JUMPDEST 00000b7a: POP 00000b7b: PUSH4 0x4e487b71 00000b80: PUSH1 0xe0 00000b82: SHL 00000b83: PUSH1 0x00 00000b85: MSTORE 00000b86: PUSH1 0x11 00000b88: PUSH1 0x04 00000b8a: MSTORE 00000b8b: PUSH1 0x24 00000b8d: PUSH1 0x00 00000b8f: REVERT 00000b90: JUMPDEST 00000b91: SWAP1 00000b92: PUSH2 0x0b9a 00000b95: JUMP 00000b96: JUMPDEST 00000b97: SWAP2 00000b98: SWAP1 00000b99: JUMP 00000b9a: JUMPDEST 00000b9b: SWAP1 00000b9c: DUP1 00000b9d: PUSH1 0x00 00000b9f: NOT 00000ba0: DIV 00000ba1: DUP3 00000ba2: GT 00000ba3: DUP2 00000ba4: ISZERO 00000ba5: ISZERO 00000ba6: AND 00000ba7: PUSH2 0x0bae 00000baa: JUMPI 00000bab: MUL 00000bac: SWAP1 00000bad: JUMP 00000bae: JUMPDEST 00000baf: PUSH2 0x0bb6 00000bb2: PUSH2 0x0b79 00000bb5: JUMP 00000bb6: JUMPDEST 00000bb7: MUL 00000bb8: SWAP1 00000bb9: JUMP 00000bba: JUMPDEST 00000bbb: DUP2 00000bbc: NOT 00000bbd: DUP2 00000bbe: GT 00000bbf: PUSH2 0x0bc6 00000bc2: JUMPI 00000bc3: ADD 00000bc4: SWAP1 00000bc5: JUMP 00000bc6: JUMPDEST 00000bc7: PUSH2 0x07f7 00000bca: PUSH2 0x0b79 00000bcd: JUMP 00000bce: JUMPDEST 00000bcf: SWAP1 00000bd0: PUSH2 0x03c7 00000bd3: PUSH2 0x0bdb 00000bd6: PUSH1 0x40 00000bd8: MLOAD 00000bd9: SWAP1 00000bda: JUMP 00000bdb: JUMPDEST 00000bdc: SWAP3 00000bdd: DUP4 00000bde: PUSH2 0x08cd 00000be1: JUMP 00000be2: JUMPDEST 00000be3: PUSH2 0x07f7 00000be6: PUSH1 0x20 00000be8: SWAP2 00000be9: PUSH8 0xffffffffffffffff 00000bf2: DUP2 00000bf3: GT 00000bf4: PUSH2 0x0c01 00000bf7: JUMPI 00000bf8: PUSH1 0x1f 00000bfa: ADD 00000bfb: PUSH1 0x1f 00000bfd: NOT 00000bfe: AND 00000bff: SWAP1 00000c00: JUMP 00000c01: JUMPDEST 00000c02: PUSH2 0x08ac 00000c05: PUSH2 0x08b6 00000c08: JUMP 00000c09: JUMPDEST 00000c0a: SWAP1 00000c0b: PUSH2 0x0c1b 00000c0e: PUSH2 0x0c16 00000c11: DUP4 00000c12: PUSH2 0x0be2 00000c15: JUMP 00000c16: JUMPDEST 00000c17: PUSH2 0x0bce 00000c1a: JUMP 00000c1b: JUMPDEST 00000c1c: SWAP2 00000c1d: DUP3 00000c1e: MSTORE 00000c1f: JUMP 00000c20: JUMPDEST 00000c21: CALLDATASIZE 00000c22: SWAP1 00000c23: CALLDATACOPY 00000c24: JUMP 00000c25: JUMPDEST 00000c26: SWAP1 00000c27: PUSH2 0x03c7 00000c2a: PUSH2 0x0c3b 00000c2d: PUSH2 0x0c35 00000c30: DUP5 00000c31: PUSH2 0x0c09 00000c34: JUMP 00000c35: JUMPDEST 00000c36: SWAP4 00000c37: PUSH2 0x0be2 00000c3a: JUMP 00000c3b: JUMPDEST 00000c3c: PUSH1 0x1f 00000c3e: NOT 00000c3f: ADD 00000c40: PUSH1 0x20 00000c42: DUP5 00000c43: ADD 00000c44: PUSH2 0x0c20 00000c47: JUMP 00000c48: JUMPDEST 00000c49: POP 00000c4a: PUSH4 0x4e487b71 00000c4f: PUSH1 0xe0 00000c51: SHL 00000c52: PUSH1 0x00 00000c54: MSTORE 00000c55: PUSH1 0x32 00000c57: PUSH1 0x04 00000c59: MSTORE 00000c5a: PUSH1 0x24 00000c5c: PUSH1 0x00 00000c5e: REVERT 00000c5f: JUMPDEST 00000c60: SWAP1 00000c61: PUSH1 0x01 00000c63: PUSH1 0x20 00000c65: SWAP2 00000c66: PUSH2 0x0c6d 00000c69: DUP5 00000c6a: MLOAD 00000c6b: SWAP1 00000c6c: JUMP 00000c6d: JUMPDEST 00000c6e: DUP2 00000c6f: LT 00000c70: ISZERO 00000c71: PUSH2 0x0c7b 00000c74: JUMPI 00000c75: JUMPDEST 00000c76: MUL 00000c77: ADD 00000c78: ADD 00000c79: SWAP1 00000c7a: JUMP 00000c7b: JUMPDEST 00000c7c: PUSH2 0x0c83 00000c7f: PUSH2 0x0c48 00000c82: JUMP 00000c83: JUMPDEST 00000c84: PUSH2 0x0c75 00000c87: JUMP 00000c88: JUMPDEST 00000c89: PUSH1 0x01 00000c8b: SWAP1 00000c8c: DUP1 00000c8d: ISZERO 00000c8e: PUSH2 0x0c95 00000c91: JUMPI 00000c92: SUB 00000c93: SWAP1 00000c94: JUMP 00000c95: JUMPDEST 00000c96: PUSH2 0x0c9d 00000c99: PUSH2 0x0b79 00000c9c: JUMP 00000c9d: JUMPDEST 00000c9e: SUB 00000c9f: SWAP1 00000ca0: JUMP 00000ca1: JUMPDEST 00000ca2: PUSH2 0x076b 00000ca5: PUSH2 0x03dd 00000ca8: PUSH2 0x03dd 00000cab: SWAP3 00000cac: SWAP1 00000cad: JUMP 00000cae: JUMPDEST 00000caf: PUSH2 0x03dd 00000cb2: SWAP1 00000cb3: PUSH2 0x0cc2 00000cb6: PUSH2 0x0b96 00000cb9: PUSH2 0x03dd 00000cbc: SWAP5 00000cbd: PUSH1 0xff 00000cbf: AND 00000cc0: SWAP1 00000cc1: JUMP 00000cc2: JUMPDEST 00000cc3: SWAP1 00000cc4: SHR 00000cc5: SWAP1 00000cc6: JUMP 00000cc7: JUMPDEST 00000cc8: ISZERO 00000cc9: PUSH2 0x0cce 00000ccc: JUMPI 00000ccd: JUMP 00000cce: JUMPDEST 00000ccf: POP 00000cd0: PUSH1 0x40 00000cd2: MLOAD 00000cd3: PUSH3 0x461bcd 00000cd7: PUSH1 0xe5 00000cd9: SHL 00000cda: DUP2 00000cdb: MSTORE 00000cdc: DUP1 00000cdd: PUSH2 0x09c2 00000ce0: PUSH1 0x04 00000ce2: DUP3 00000ce3: ADD 00000ce4: PUSH1 0x20 00000ce6: DUP1 00000ce7: DUP3 00000ce8: MSTORE 00000ce9: DUP2 00000cea: DUP2 00000ceb: ADD 00000cec: MSTORE 00000ced: PUSH32 0x537472696e67733a20686578206c656e67746820696e73756666696369656e74 00000d0e: PUSH1 0x40 00000d10: DUP3 00000d11: ADD 00000d12: MSTORE 00000d13: PUSH1 0x60 00000d15: ADD 00000d16: SWAP1 00000d17: JUMP 00000d18: JUMPDEST 00000d19: SWAP2 00000d1a: SWAP1 00000d1b: PUSH1 0x02 00000d1d: SWAP1 00000d1e: PUSH2 0x0d49 00000d21: PUSH2 0x0d44 00000d24: PUSH2 0x0d35 00000d27: DUP4 00000d28: PUSH2 0x0d30 00000d2b: DUP7 00000d2c: PUSH2 0x0546 00000d2f: JUMP 00000d30: JUMPDEST 00000d31: PUSH2 0x0b90 00000d34: JUMP 00000d35: JUMPDEST 00000d36: PUSH2 0x0d3e 00000d39: DUP6 00000d3a: PUSH2 0x0546 00000d3d: JUMP 00000d3e: JUMPDEST 00000d3f: SWAP1 00000d40: PUSH2 0x0bba 00000d43: JUMP 00000d44: JUMPDEST 00000d45: PUSH2 0x0c25 00000d48: JUMP 00000d49: JUMPDEST 00000d4a: SWAP2 00000d4b: PUSH1 0x00 00000d4d: SWAP2 00000d4e: PUSH1 0x30 00000d50: PUSH2 0x0d61 00000d53: PUSH2 0x0d5b 00000d56: DUP6 00000d57: PUSH2 0x0546 00000d5a: JUMP 00000d5b: JUMPDEST 00000d5c: DUP7 00000d5d: PUSH2 0x0c5f 00000d60: JUMP 00000d61: JUMPDEST 00000d62: MSTORE8 00000d63: PUSH2 0x0d99 00000d66: PUSH2 0x0d90 00000d69: PUSH1 0x0f 00000d6b: PUSH1 0xfb 00000d6d: SHL 00000d6e: SWAP3 00000d6f: PUSH2 0x0d30 00000d72: PUSH1 0x01 00000d74: SWAP6 00000d75: DUP7 00000d76: SWAP6 00000d77: DUP9 00000d78: BYTE 00000d79: PUSH2 0x0d8a 00000d7c: PUSH2 0x0d84 00000d7f: DUP9 00000d80: PUSH2 0x0546 00000d83: JUMP 00000d84: JUMPDEST 00000d85: DUP12 00000d86: PUSH2 0x0c5f 00000d89: JUMP 00000d8a: JUMPDEST 00000d8b: MSTORE8 00000d8c: PUSH2 0x0546 00000d8f: JUMP 00000d90: JUMPDEST 00000d91: PUSH2 0x0d3e 00000d94: DUP4 00000d95: PUSH2 0x0546 00000d98: JUMP 00000d99: JUMPDEST 00000d9a: SWAP2 00000d9b: JUMPDEST 00000d9c: PUSH2 0x0dbc 00000d9f: JUMPI 00000da0: JUMPDEST 00000da1: POP 00000da2: POP 00000da3: PUSH2 0x03dd 00000da6: SWAP3 00000da7: SWAP4 00000da8: PUSH2 0x0db6 00000dab: PUSH2 0x0b96 00000dae: PUSH2 0x03dd 00000db1: SWAP4 00000db2: PUSH2 0x0546 00000db5: JUMP 00000db6: JUMPDEST 00000db7: EQ 00000db8: PUSH2 0x0cc7 00000dbb: JUMP 00000dbc: JUMPDEST 00000dbd: SWAP1 00000dbe: SWAP5 00000dbf: PUSH2 0x0dc7 00000dc2: DUP3 00000dc3: PUSH2 0x0546 00000dc6: JUMP 00000dc7: JUMPDEST 00000dc8: DUP7 00000dc9: GT 00000dca: ISZERO 00000dcb: PUSH2 0x0e46 00000dce: JUMPI 00000dcf: PUSH2 0x0e33 00000dd2: PUSH2 0x0e2d 00000dd5: DUP4 00000dd6: SWAP3 00000dd7: PUSH2 0x0e10 00000dda: PUSH2 0x0df3 00000ddd: PUSH16 0x181899199a1a9b1b9c1cb0b131b232b3 00000dee: PUSH1 0x81 00000df0: SHL 00000df1: SWAP1 00000df2: JUMP 00000df3: JUMPDEST 00000df4: PUSH2 0x0dfd 00000df7: PUSH1 0x0f 00000df9: PUSH2 0x0546 00000dfc: JUMP 00000dfd: JUMPDEST 00000dfe: DUP4 00000dff: AND 00000e00: PUSH1 0x10 00000e02: DUP2 00000e03: LT 00000e04: ISZERO 00000e05: PUSH2 0x0e39 00000e08: JUMPI 00000e09: JUMPDEST 00000e0a: BYTE 00000e0b: PUSH1 0xf8 00000e0d: SHL 00000e0e: SWAP1 00000e0f: JUMP 00000e10: JUMPDEST 00000e11: DUP7 00000e12: BYTE 00000e13: PUSH2 0x0e1c 00000e16: DUP11 00000e17: DUP10 00000e18: PUSH2 0x0c5f 00000e1b: JUMP 00000e1c: JUMPDEST 00000e1d: MSTORE8 00000e1e: PUSH2 0x0e27 00000e21: PUSH1 0x04 00000e23: PUSH2 0x0ca1 00000e26: JUMP 00000e27: JUMPDEST 00000e28: SWAP1 00000e29: PUSH2 0x0cae 00000e2c: JUMP 00000e2d: JUMPDEST 00000e2e: SWAP7 00000e2f: PUSH2 0x0c88 00000e32: JUMP 00000e33: JUMPDEST 00000e34: SWAP2 00000e35: PUSH2 0x0d9b 00000e38: JUMP 00000e39: JUMPDEST 00000e3a: PUSH2 0x0e41 00000e3d: PUSH2 0x0c48 00000e40: JUMP 00000e41: JUMPDEST 00000e42: PUSH2 0x0e09 00000e45: JUMP 00000e46: JUMPDEST 00000e47: SWAP5 00000e48: PUSH2 0x0da0 00000e4b: JUMP 00000e4c: JUMPDEST 00000e4d: PUSH2 0x03dd 00000e50: SWAP1 00000e51: DUP2 00000e52: SWAP1 00000e53: PUSH1 0x01 00000e55: PUSH1 0x01 00000e57: PUSH1 0xa0 00000e59: SHL 00000e5a: SUB 00000e5b: AND 00000e5c: DUP2 00000e5d: JUMP 00000e5e: JUMPDEST 00000e5f: PUSH2 0x03dd 00000e62: PUSH1 0x14 00000e64: PUSH2 0x0ca1 00000e67: JUMP 00000e68: JUMPDEST 00000e69: PUSH2 0x03dd 00000e6c: PUSH2 0x03dd 00000e6f: PUSH2 0x03dd 00000e72: SWAP3 00000e73: PUSH1 0xff 00000e75: AND 00000e76: SWAP1 00000e77: JUMP 00000e78: JUMPDEST 00000e79: PUSH2 0x0e95 00000e7c: PUSH2 0x0e90 00000e7f: PUSH2 0x03dd 00000e82: SWAP3 00000e83: PUSH2 0x0e8a 00000e86: PUSH1 0x60 00000e88: SWAP1 00000e89: JUMP 00000e8a: JUMPDEST 00000e8b: POP 00000e8c: PUSH2 0x06f1 00000e8f: JUMP 00000e90: JUMPDEST 00000e91: PUSH2 0x0e4c 00000e94: JUMP 00000e95: JUMPDEST 00000e96: PUSH2 0x097e 00000e99: PUSH2 0x0ea0 00000e9c: PUSH2 0x0e5e 00000e9f: JUMP 00000ea0: JUMPDEST 00000ea1: PUSH2 0x0e68 00000ea4: JUMP 00000ea5: JUMPDEST 00000ea6: EQ 00000ea7: SWAP1 00000ea8: JUMP 00000ea9: JUMPDEST 00000eaa: SWAP1 00000eab: PUSH2 0x0ebb 00000eae: SWAP2 00000eaf: PUSH2 0x0eb6 00000eb2: PUSH2 0x1115 00000eb5: JUMP 00000eb6: JUMPDEST 00000eb7: PUSH2 0x0ec3 00000eba: JUMP 00000ebb: JUMPDEST 00000ebc: PUSH2 0x03c7 00000ebf: PUSH2 0x1147 00000ec2: JUMP 00000ec3: JUMPDEST 00000ec4: SWAP1 00000ec5: PUSH2 0x03c7 00000ec8: SWAP2 00000ec9: PUSH2 0x0ed0 00000ecc: PUSH2 0x108a 00000ecf: JUMP 00000ed0: JUMPDEST 00000ed1: PUSH2 0x0f80 00000ed4: JUMP 00000ed5: JUMPDEST 00000ed6: SWAP1 00000ed7: CALLDATALOAD 00000ed8: SWAP1 00000ed9: PUSH1 0x7e 00000edb: NOT 00000edc: CALLDATASIZE 00000edd: DUP3 00000ede: SWAP1 00000edf: SUB 00000ee0: ADD 00000ee1: DUP3 00000ee2: SLT 00000ee3: ISZERO 00000ee4: PUSH2 0x0eeb 00000ee7: JUMPI 00000ee8: ADD 00000ee9: SWAP1 00000eea: JUMP 00000eeb: JUMPDEST 00000eec: PUSH2 0x07f7 00000eef: PUSH2 0x03a0 00000ef2: JUMP 00000ef3: JUMPDEST 00000ef4: SWAP1 00000ef5: PUSH2 0x03dd 00000ef8: SWAP3 00000ef9: PUSH1 0x20 00000efb: SWAP2 00000efc: DUP2 00000efd: LT 00000efe: ISZERO 00000eff: PUSH2 0x0f0c 00000f02: JUMPI 00000f03: JUMPDEST 00000f04: MUL 00000f05: DUP2 00000f06: ADD 00000f07: SWAP1 00000f08: PUSH2 0x0ed5 00000f0b: JUMP 00000f0c: JUMPDEST 00000f0d: PUSH2 0x0f14 00000f10: PUSH2 0x0c48 00000f13: JUMP 00000f14: JUMPDEST 00000f15: PUSH2 0x0f03 00000f18: JUMP 00000f19: JUMPDEST 00000f1a: CALLDATALOAD 00000f1b: PUSH2 0x03dd 00000f1e: DUP2 00000f1f: PUSH2 0x03f1 00000f22: JUMP 00000f23: JUMPDEST 00000f24: CALLDATALOAD 00000f25: PUSH2 0x03dd 00000f28: DUP2 00000f29: PUSH2 0x0431 00000f2c: JUMP 00000f2d: JUMPDEST 00000f2e: SWAP1 00000f2f: CALLDATALOAD 00000f30: SWAP1 00000f31: PUSH1 0x1e 00000f33: NOT 00000f34: CALLDATASIZE 00000f35: DUP3 00000f36: SWAP1 00000f37: SUB 00000f38: ADD 00000f39: DUP3 00000f3a: SLT 00000f3b: ISZERO 00000f3c: PUSH2 0x0f73 00000f3f: JUMPI 00000f40: JUMPDEST 00000f41: ADD 00000f42: PUSH1 0x20 00000f44: DUP2 00000f45: CALLDATALOAD 00000f46: SWAP2 00000f47: PUSH8 0xffffffffffffffff 00000f50: DUP4 00000f51: GT 00000f52: PUSH2 0x0f66 00000f55: JUMPI 00000f56: JUMPDEST 00000f57: ADD 00000f58: SWAP2 00000f59: PUSH1 0x20 00000f5b: DUP3 00000f5c: MUL 00000f5d: CALLDATASIZE 00000f5e: SUB 00000f5f: DUP4 00000f60: SGT 00000f61: PUSH2 0x0489 00000f64: JUMPI 00000f65: JUMP 00000f66: JUMPDEST 00000f67: PUSH2 0x0f6e 00000f6a: PUSH2 0x03a0 00000f6d: JUMP 00000f6e: JUMPDEST 00000f6f: PUSH2 0x0f56 00000f72: JUMP 00000f73: JUMPDEST 00000f74: PUSH2 0x0f7b 00000f77: PUSH2 0x03a0 00000f7a: JUMP 00000f7b: JUMPDEST 00000f7c: PUSH2 0x0f40 00000f7f: JUMP 00000f80: JUMPDEST 00000f81: SWAP1 00000f82: SWAP2 00000f83: SWAP1 00000f84: DUP3 00000f85: SWAP2 00000f86: PUSH1 0x00 00000f88: SWAP1 00000f89: PUSH2 0x0f91 00000f8c: DUP3 00000f8d: PUSH2 0x0546 00000f90: JUMP 00000f91: JUMPDEST 00000f92: DUP5 00000f93: EQ 00000f94: PUSH2 0x1023 00000f97: JUMPI 00000f98: PUSH1 0x00 00000f9a: JUMPDEST 00000f9b: DUP5 00000f9c: JUMPDEST 00000f9d: DUP2 00000f9e: LT 00000f9f: ISZERO 00000fa0: PUSH2 0x101b 00000fa3: JUMPI 00000fa4: PUSH2 0x1014 00000fa7: DUP2 00000fa8: PUSH2 0x100e 00000fab: DUP7 00000fac: DUP1 00000fad: DUP11 00000fae: PUSH2 0x1006 00000fb1: PUSH2 0x0ffc 00000fb4: DUP7 00000fb5: PUSH2 0x0ff5 00000fb8: PUSH1 0x40 00000fba: PUSH2 0x0fdd 00000fbd: DUP4 00000fbe: DUP16 00000fbf: PUSH2 0x0fef 00000fc2: PUSH2 0x0f9c 00000fc5: SWAP16 00000fc6: PUSH2 0x0fe9 00000fc9: DUP2 00000fca: DUP13 00000fcb: PUSH2 0x0fe3 00000fce: DUP16 00000fcf: SWAP7 00000fd0: PUSH2 0x0fdd 00000fd3: PUSH1 0x20 00000fd5: SWAP7 00000fd6: DUP5 00000fd7: DUP1 00000fd8: SWAP11 00000fd9: PUSH2 0x0ef3 00000fdc: JUMP 00000fdd: JUMPDEST 00000fde: ADD 00000fdf: PUSH2 0x0f19 00000fe2: JUMP 00000fe3: JUMPDEST 00000fe4: SWAP15 00000fe5: PUSH2 0x0ef3 00000fe8: JUMP 00000fe9: JUMPDEST 00000fea: ADD 00000feb: PUSH2 0x0f23 00000fee: JUMP 00000fef: JUMPDEST 00000ff0: SWAP11 00000ff1: PUSH2 0x0ef3 00000ff4: JUMP 00000ff5: JUMPDEST 00000ff6: SWAP4 00000ff7: DUP14 00000ff8: PUSH2 0x0ef3 00000ffb: JUMP 00000ffc: JUMPDEST 00000ffd: PUSH1 0x60 00000fff: DUP2 00001000: ADD 00001001: SWAP1 00001002: PUSH2 0x0f2d 00001005: JUMP 00001006: JUMPDEST 00001007: SWAP4 00001008: SWAP1 00001009: SWAP3 0000100a: PUSH2 0x1583 0000100d: JUMP 0000100e: JUMPDEST 0000100f: PUSH1 0x01 00001011: ADD 00001012: SWAP1 00001013: JUMP 00001014: JUMPDEST 00001015: SWAP1 00001016: POP 00001017: PUSH2 0x0f9a 0000101a: JUMP 0000101b: JUMPDEST 0000101c: POP 0000101d: SWAP4 0000101e: POP 0000101f: POP 00001020: POP 00001021: POP 00001022: JUMP 00001023: JUMPDEST 00001024: POP 00001025: POP 00001026: POP 00001027: POP 00001028: POP 00001029: PUSH2 0x1031 0000102c: PUSH1 0x40 0000102e: MLOAD 0000102f: SWAP1 00001030: JUMP 00001031: JUMPDEST 00001032: PUSH4 0x1ec5aa51 00001037: PUSH1 0xe0 00001039: SHL 0000103a: DUP2 0000103b: MSTORE 0000103c: PUSH1 0x04 0000103e: SWAP1 0000103f: REVERT 00001040: JUMPDEST 00001041: SWAP1 00001042: PUSH2 0x03c7 00001045: SWAP2 00001046: PUSH2 0x0ea9 00001049: JUMP 0000104a: JUMPDEST 0000104b: ISZERO 0000104c: PUSH2 0x1051 0000104f: JUMPI 00001050: JUMP 00001051: JUMPDEST 00001052: POP 00001053: PUSH1 0x40 00001055: MLOAD 00001056: PUSH3 0x461bcd 0000105a: PUSH1 0xe5 0000105c: SHL 0000105d: DUP2 0000105e: MSTORE 0000105f: PUSH1 0x20 00001061: PUSH1 0x04 00001063: DUP3 00001064: ADD 00001065: MSTORE 00001066: PUSH1 0x10 00001068: PUSH1 0x24 0000106a: DUP3 0000106b: ADD 0000106c: MSTORE 0000106d: PUSH16 0x14185d5cd8589b194e881c185d5cd959 0000107e: PUSH1 0x82 00001080: SHL 00001081: PUSH1 0x44 00001083: DUP3 00001084: ADD 00001085: MSTORE 00001086: PUSH1 0x64 00001088: SWAP1 00001089: REVERT 0000108a: JUMPDEST 0000108b: PUSH2 0x03c7 0000108e: PUSH2 0x1098 00001091: PUSH2 0x0945 00001094: PUSH2 0x0b6f 00001097: JUMP 00001098: JUMPDEST 00001099: PUSH2 0x104a 0000109c: JUMP 0000109d: JUMPDEST 0000109e: PUSH2 0x03dd 000010a1: PUSH1 0x02 000010a3: PUSH2 0x0546 000010a6: JUMP 000010a7: JUMPDEST 000010a8: ISZERO 000010a9: PUSH2 0x10ae 000010ac: JUMPI 000010ad: JUMP 000010ae: JUMPDEST 000010af: POP 000010b0: PUSH1 0x40 000010b2: MLOAD 000010b3: PUSH3 0x461bcd 000010b7: PUSH1 0xe5 000010b9: SHL 000010ba: DUP2 000010bb: MSTORE 000010bc: PUSH1 0x20 000010be: PUSH1 0x04 000010c0: DUP3 000010c1: ADD 000010c2: MSTORE 000010c3: PUSH1 0x1f 000010c5: PUSH1 0x24 000010c7: DUP3 000010c8: ADD 000010c9: MSTORE 000010ca: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00 000010eb: PUSH1 0x44 000010ed: DUP3 000010ee: ADD 000010ef: MSTORE 000010f0: PUSH1 0x64 000010f2: SWAP1 000010f3: REVERT 000010f4: JUMPDEST 000010f5: SWAP1 000010f6: PUSH1 0x00 000010f8: NOT 000010f9: SWAP1 000010fa: PUSH2 0x0a7b 000010fd: JUMP 000010fe: JUMPDEST 000010ff: SWAP1 00001100: PUSH2 0x110e 00001103: PUSH2 0x03dd 00001106: PUSH2 0x0a9c 00001109: SWAP3 0000110a: PUSH2 0x0546 0000110d: JUMP 0000110e: JUMPDEST 0000110f: DUP3 00001110: SLOAD 00001111: PUSH2 0x10f4 00001114: JUMP 00001115: JUMPDEST 00001116: PUSH2 0x03c7 00001119: PUSH2 0x1122 0000111c: PUSH1 0x01 0000111e: PUSH2 0x057d 00001121: JUMP 00001122: JUMPDEST 00001123: PUSH2 0x1136 00001126: PUSH2 0x112d 00001129: PUSH2 0x109d 0000112c: JUMP 0000112d: JUMPDEST 0000112e: SWAP2 0000112f: DUP3 00001130: EQ 00001131: ISZERO 00001132: PUSH2 0x10a7 00001135: JUMP 00001136: JUMPDEST 00001137: PUSH1 0x01 00001139: PUSH2 0x10fe 0000113c: JUMP 0000113d: JUMPDEST 0000113e: PUSH2 0x03dd 00001141: PUSH1 0x01 00001143: PUSH2 0x0546 00001146: JUMP 00001147: JUMPDEST 00001148: PUSH2 0x03c7 0000114b: PUSH2 0x1136 0000114e: PUSH2 0x113d 00001151: JUMP 00001152: JUMPDEST 00001153: SWAP1 00001154: PUSH2 0x03c7 00001157: SWAP2 00001158: PUSH2 0x1162 0000115b: PUSH2 0x07ca 0000115e: PUSH2 0x0606 00001161: JUMP 00001162: JUMPDEST 00001163: PUSH2 0x11eb 00001166: JUMP 00001167: JUMPDEST 00001168: SWAP2 00001169: PUSH1 0x80 0000116b: SWAP2 0000116c: DUP2 0000116d: LT 0000116e: ISZERO 0000116f: PUSH2 0x1177 00001172: JUMPI 00001173: MUL 00001174: ADD 00001175: SWAP1 00001176: JUMP 00001177: JUMPDEST 00001178: PUSH2 0x117f 0000117b: PUSH2 0x0c48 0000117e: JUMP 0000117f: JUMPDEST 00001180: MUL 00001181: ADD 00001182: SWAP1 00001183: JUMP 00001184: JUMPDEST 00001185: SWAP1 00001186: PUSH2 0x110e 00001189: PUSH2 0x03dd 0000118c: PUSH2 0x0a9c 0000118f: SWAP3 00001190: SWAP1 00001191: JUMP 00001192: JUMPDEST 00001193: PUSH2 0x0425 00001196: PUSH2 0x03dd 00001199: PUSH2 0x03dd 0000119c: SWAP3 0000119d: SWAP1 0000119e: JUMP 0000119f: JUMPDEST 000011a0: PUSH2 0x03dd 000011a3: SWAP1 000011a4: PUSH2 0x1192 000011a7: JUMP 000011a8: JUMPDEST 000011a9: SWAP1 000011aa: PUSH1 0x01 000011ac: PUSH1 0x01 000011ae: PUSH1 0xa0 000011b0: SHL 000011b1: SUB 000011b2: SWAP1 000011b3: PUSH2 0x0a7b 000011b6: JUMP 000011b7: JUMPDEST 000011b8: SWAP1 000011b9: PUSH2 0x11c7 000011bc: PUSH2 0x03dd 000011bf: PUSH2 0x0a9c 000011c2: SWAP3 000011c3: PUSH2 0x06fa 000011c6: JUMP 000011c7: JUMPDEST 000011c8: DUP3 000011c9: SLOAD 000011ca: PUSH2 0x11a8 000011cd: JUMP 000011ce: JUMPDEST 000011cf: SWAP1 000011d0: DUP2 000011d1: MSTORE 000011d2: PUSH1 0x60 000011d4: DUP2 000011d5: ADD 000011d6: SWAP4 000011d7: SWAP3 000011d8: PUSH2 0x03c7 000011db: SWAP3 000011dc: SWAP1 000011dd: SWAP2 000011de: PUSH1 0x40 000011e0: SWAP2 000011e1: PUSH2 0x0602 000011e4: SWAP1 000011e5: PUSH1 0x20 000011e7: DUP4 000011e8: ADD 000011e9: MSTORE 000011ea: JUMP 000011eb: JUMPDEST 000011ec: SWAP2 000011ed: DUP2 000011ee: PUSH1 0x00 000011f0: SWAP4 000011f1: PUSH2 0x11f9 000011f4: DUP6 000011f5: PUSH2 0x0546 000011f8: JUMP 000011f9: JUMPDEST 000011fa: DUP5 000011fb: EQ 000011fc: PUSH2 0x135d 000011ff: JUMPI 00001200: PUSH2 0x120d 00001203: TIMESTAMP 00001204: PUSH2 0x0d3e 00001207: PUSH1 0x05 00001209: PUSH2 0x057d 0000120c: JUMP 0000120d: JUMPDEST 0000120e: SWAP3 0000120f: PUSH1 0x00 00001211: JUMPDEST 00001212: DUP6 00001213: JUMPDEST 00001214: DUP2 00001215: LT 00001216: ISZERO 00001217: PUSH2 0x1354 0000121a: JUMPI 0000121b: PUSH2 0x1225 0000121e: DUP2 0000121f: DUP6 00001220: DUP6 00001221: PUSH2 0x1167 00001224: JUMP 00001225: JUMPDEST 00001226: DUP1 00001227: DUP9 00001228: ADD 00001229: SWAP2 0000122a: PUSH1 0x03 0000122c: PUSH2 0x1234 0000122f: DUP5 00001230: PUSH2 0x0f19 00001233: JUMP 00001234: JUMPDEST 00001235: PUSH2 0x123e 00001238: SWAP1 00001239: DUP3 0000123a: PUSH2 0x0566 0000123d: JUMP 0000123e: JUMPDEST 0000123f: DUP11 00001240: PUSH1 0x40 00001242: DUP6 00001243: ADD 00001244: SWAP2 00001245: PUSH2 0x124d 00001248: DUP4 00001249: PUSH2 0x0f19 0000124c: JUMP 0000124d: JUMPDEST 0000124e: PUSH2 0x125a 00001251: SWAP1 00001252: PUSH1 0x01 00001254: DUP4 00001255: ADD 00001256: PUSH2 0x1184 00001259: JUMP 0000125a: JUMPDEST 0000125b: DUP11 0000125c: PUSH1 0x60 0000125e: DUP8 0000125f: ADD 00001260: SWAP5 00001261: PUSH2 0x1269 00001264: DUP7 00001265: PUSH2 0x0f19 00001268: JUMP 00001269: JUMPDEST 0000126a: PUSH2 0x1276 0000126d: SWAP1 0000126e: PUSH1 0x02 00001270: DUP6 00001271: ADD 00001272: PUSH2 0x1184 00001275: JUMP 00001276: JUMPDEST 00001277: DUP3 00001278: ADD 00001279: SWAP1 0000127a: PUSH2 0x1282 0000127d: SWAP2 0000127e: PUSH2 0x10fe 00001281: JUMP 00001282: JUMPDEST 00001283: ADD 00001284: SWAP4 00001285: PUSH2 0x1295 00001288: DUP6 00001289: SLOAD 0000128a: PUSH1 0x01 0000128c: PUSH1 0x01 0000128e: PUSH1 0xa0 00001290: SHL 00001291: SUB 00001292: AND 00001293: SWAP1 00001294: JUMP 00001295: JUMPDEST 00001296: PUSH2 0x129e 00001299: DUP14 0000129a: PUSH2 0x119f 0000129d: JUMP 0000129e: JUMPDEST 0000129f: PUSH1 0x01 000012a1: PUSH1 0x01 000012a3: PUSH1 0xa0 000012a5: SHL 000012a6: SUB 000012a7: AND 000012a8: SWAP1 000012a9: PUSH1 0x01 000012ab: PUSH1 0x01 000012ad: PUSH1 0xa0 000012af: SHL 000012b0: SUB 000012b1: AND 000012b2: EQ 000012b3: PUSH2 0x12db 000012b6: PUSH2 0x12db 000012b9: PUSH1 0x20 000012bb: PUSH2 0x12d4 000012be: PUSH2 0x1213 000012c1: SWAP11 000012c2: PUSH2 0x1332 000012c5: SWAP11 000012c6: PUSH2 0x12e1 000012c9: SWAP7 000012ca: PUSH2 0x1339 000012cd: JUMPI 000012ce: JUMPDEST 000012cf: POP 000012d0: PUSH2 0x0f19 000012d3: JUMP 000012d4: JUMPDEST 000012d5: SWAP5 000012d6: ADD 000012d7: PUSH2 0x0f23 000012da: JUMP 000012db: JUMPDEST 000012dc: SWAP4 000012dd: PUSH2 0x0f19 000012e0: JUMP 000012e1: JUMPDEST 000012e2: PUSH2 0x1312 000012e5: PUSH2 0x130c 000012e8: PUSH32 0x1d0b6716ec306cca1346fdec2c918d00831bd1239f2d28acf62e94f2373355fc 00001309: SWAP4 0000130a: SWAP1 0000130b: JUMP 0000130c: JUMPDEST 0000130d: SWAP4 0000130e: PUSH2 0x06fa 00001311: JUMP 00001312: JUMPDEST 00001313: SWAP4 00001314: PUSH2 0x1329 00001317: DUP13 00001318: PUSH2 0x1320 0000131b: PUSH1 0x40 0000131d: MLOAD 0000131e: SWAP1 0000131f: JUMP 00001320: JUMPDEST 00001321: SWAP4 00001322: DUP5 00001323: SWAP4 00001324: DUP5 00001325: PUSH2 0x11ce 00001328: JUMP 00001329: JUMPDEST 0000132a: SUB 0000132b: SWAP1 0000132c: LOG3 0000132d: PUSH1 0x01 0000132f: ADD 00001330: SWAP1 00001331: JUMP 00001332: JUMPDEST 00001333: SWAP1 00001334: POP 00001335: PUSH2 0x1211 00001338: JUMP 00001339: JUMPDEST 0000133a: PUSH2 0x134e 0000133d: SWAP1 0000133e: PUSH2 0x1348 00001341: DUP6 00001342: DUP11 00001343: ADD 00001344: PUSH2 0x0f23 00001347: JUMP 00001348: JUMPDEST 00001349: SWAP1 0000134a: PUSH2 0x11b7 0000134d: JUMP 0000134e: JUMPDEST 0000134f: CODESIZE 00001350: PUSH2 0x12ce 00001353: JUMP 00001354: JUMPDEST 00001355: POP 00001356: SWAP5 00001357: POP 00001358: POP 00001359: POP 0000135a: POP 0000135b: POP 0000135c: JUMP 0000135d: JUMPDEST 0000135e: POP 0000135f: POP 00001360: POP 00001361: POP 00001362: POP 00001363: PUSH2 0x136b 00001366: PUSH1 0x40 00001368: MLOAD 00001369: SWAP1 0000136a: JUMP 0000136b: JUMPDEST 0000136c: PUSH4 0x0d16b833 00001371: PUSH1 0xe3 00001373: SHL 00001374: DUP2 00001375: MSTORE 00001376: PUSH1 0x04 00001378: SWAP1 00001379: REVERT 0000137a: JUMPDEST 0000137b: SWAP1 0000137c: PUSH2 0x03c7 0000137f: SWAP2 00001380: PUSH2 0x1152 00001383: JUMP 00001384: JUMPDEST 00001385: PUSH2 0x03c7 00001388: SWAP1 00001389: PUSH2 0x1393 0000138c: PUSH2 0x07ca 0000138f: PUSH2 0x0606 00001392: JUMP 00001393: JUMPDEST 00001394: ISZERO 00001395: PUSH2 0x13a0 00001398: JUMPI 00001399: PUSH2 0x03c7 0000139c: PUSH2 0x1413 0000139f: JUMP 000013a0: JUMPDEST 000013a1: PUSH2 0x03c7 000013a4: PUSH2 0x1461 000013a7: JUMP 000013a8: JUMPDEST 000013a9: PUSH2 0x03c7 000013ac: SWAP1 000013ad: PUSH2 0x1384 000013b0: JUMP 000013b1: JUMPDEST 000013b2: PUSH2 0x13b9 000013b5: PUSH2 0x108a 000013b8: JUMP 000013b9: JUMPDEST 000013ba: PUSH2 0x03c7 000013bd: PUSH2 0x13c8 000013c0: PUSH1 0x01 000013c2: PUSH1 0x02 000013c4: PUSH2 0x0a85 000013c7: JUMP 000013c8: JUMPDEST 000013c9: CALLER 000013ca: PUSH2 0x140e 000013cd: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 000013ee: SWAP2 000013ef: PUSH2 0x13f7 000013f2: PUSH1 0x40 000013f4: MLOAD 000013f5: SWAP1 000013f6: JUMP 000013f7: JUMPDEST 000013f8: SWAP2 000013f9: DUP3 000013fa: SWAP2 000013fb: DUP3 000013fc: PUSH1 0x01 000013fe: PUSH1 0x01 00001400: PUSH1 0xa0 00001402: SHL 00001403: SUB 00001404: SWAP1 00001405: SWAP2 00001406: AND 00001407: DUP2 00001408: MSTORE 00001409: PUSH1 0x20 0000140b: ADD 0000140c: SWAP1 0000140d: JUMP 0000140e: JUMPDEST 0000140f: SUB 00001410: SWAP1 00001411: LOG1 00001412: JUMP 00001413: JUMPDEST 00001414: PUSH2 0x03c7 00001417: PUSH2 0x13b1 0000141a: JUMP 0000141b: JUMPDEST 0000141c: PUSH2 0x1423 0000141f: PUSH2 0x14ad 00001422: JUMP 00001423: JUMPDEST 00001424: PUSH2 0x03c7 00001427: PUSH2 0x1432 0000142a: PUSH1 0x00 0000142c: PUSH1 0x02 0000142e: PUSH2 0x0a85 00001431: JUMP 00001432: JUMPDEST 00001433: CALLER 00001434: PUSH2 0x140e 00001437: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 00001458: SWAP2 00001459: PUSH2 0x13f7 0000145c: PUSH1 0x40 0000145e: MLOAD 0000145f: SWAP1 00001460: JUMP 00001461: JUMPDEST 00001462: PUSH2 0x03c7 00001465: PUSH2 0x141b 00001468: JUMP 00001469: JUMPDEST 0000146a: ISZERO 0000146b: PUSH2 0x1470 0000146e: JUMPI 0000146f: JUMP 00001470: JUMPDEST 00001471: POP 00001472: PUSH1 0x40 00001474: MLOAD 00001475: PUSH3 0x461bcd 00001479: PUSH1 0xe5 0000147b: SHL 0000147c: DUP2 0000147d: MSTORE 0000147e: PUSH1 0x20 00001480: PUSH1 0x04 00001482: DUP3 00001483: ADD 00001484: MSTORE 00001485: PUSH1 0x14 00001487: PUSH1 0x24 00001489: DUP3 0000148a: ADD 0000148b: MSTORE 0000148c: PUSH20 0x14185d5cd8589b194e881b9bdd081c185d5cd959 000014a1: PUSH1 0x62 000014a3: SHL 000014a4: PUSH1 0x44 000014a6: DUP3 000014a7: ADD 000014a8: MSTORE 000014a9: PUSH1 0x64 000014ab: SWAP1 000014ac: REVERT 000014ad: JUMPDEST 000014ae: PUSH2 0x03c7 000014b1: PUSH2 0x14b8 000014b4: PUSH2 0x0b6f 000014b7: JUMP 000014b8: JUMPDEST 000014b9: PUSH2 0x1469 000014bc: JUMP 000014bd: JUMPDEST 000014be: PUSH2 0x03c7 000014c1: SWAP1 000014c2: PUSH2 0x14cc 000014c5: PUSH2 0x07ca 000014c8: PUSH2 0x0606 000014cb: JUMP 000014cc: JUMPDEST 000014cd: PUSH2 0x03c7 000014d0: SWAP1 000014d1: PUSH2 0x1b27 000014d4: JUMP 000014d5: JUMPDEST 000014d6: PUSH2 0x03c7 000014d9: SWAP1 000014da: PUSH2 0x14bd 000014dd: JUMP 000014de: JUMPDEST 000014df: PUSH2 0x03dd 000014e2: PUSH1 0x80 000014e4: PUSH2 0x0bce 000014e7: JUMP 000014e8: JUMPDEST 000014e9: SWAP1 000014ea: PUSH2 0x03c7 000014ed: PUSH2 0x1547 000014f0: PUSH1 0x03 000014f2: PUSH2 0x14f9 000014f5: PUSH2 0x14de 000014f8: JUMP 000014f9: JUMPDEST 000014fa: SWAP5 000014fb: PUSH2 0x151b 000014fe: PUSH2 0x150e 00001501: DUP3 00001502: SLOAD 00001503: PUSH1 0x01 00001505: PUSH1 0x01 00001507: PUSH1 0xa0 00001509: SHL 0000150a: SUB 0000150b: AND 0000150c: SWAP1 0000150d: JUMP 0000150e: JUMPDEST 0000150f: PUSH1 0x01 00001511: PUSH1 0x01 00001513: PUSH1 0xa0 00001515: SHL 00001516: SUB 00001517: AND 00001518: DUP8 00001519: MSTORE 0000151a: JUMP 0000151b: JUMPDEST 0000151c: PUSH2 0x1531 0000151f: PUSH2 0x152a 00001522: PUSH1 0x01 00001524: DUP4 00001525: ADD 00001526: PUSH2 0x057d 00001529: JUMP 0000152a: JUMPDEST 0000152b: PUSH1 0x20 0000152d: DUP9 0000152e: ADD 0000152f: MSTORE 00001530: JUMP 00001531: JUMPDEST 00001532: PUSH2 0x07b3 00001535: PUSH2 0x1540 00001538: PUSH1 0x02 0000153a: DUP4 0000153b: ADD 0000153c: PUSH2 0x057d 0000153f: JUMP 00001540: JUMPDEST 00001541: PUSH1 0x40 00001543: DUP9 00001544: ADD 00001545: MSTORE 00001546: JUMP 00001547: JUMPDEST 00001548: PUSH1 0x60 0000154a: DUP5 0000154b: ADD 0000154c: MSTORE 0000154d: JUMP 0000154e: JUMPDEST 0000154f: PUSH2 0x03dd 00001552: SWAP1 00001553: PUSH2 0x14e8 00001556: JUMP 00001557: JUMPDEST 00001558: PUSH2 0x03ed 0000155b: SWAP1 0000155c: PUSH1 0x01 0000155e: PUSH1 0x01 00001560: PUSH1 0xa0 00001562: SHL 00001563: SUB 00001564: AND 00001565: PUSH1 0x60 00001567: SHL 00001568: SWAP1 00001569: JUMP 0000156a: JUMPDEST 0000156b: PUSH1 0x14 0000156d: DUP2 0000156e: PUSH2 0x157d 00001571: PUSH2 0x07f7 00001574: SWAP4 00001575: PUSH1 0x20 00001577: SWAP7 00001578: SWAP6 00001579: PUSH2 0x1557 0000157c: JUMP 0000157d: JUMPDEST 0000157e: ADD 0000157f: SWAP2 00001580: DUP3 00001581: MSTORE 00001582: JUMP 00001583: JUMPDEST 00001584: SWAP2 00001585: SWAP4 00001586: SWAP3 00001587: SWAP1 00001588: SWAP3 00001589: PUSH2 0x159b 0000158c: PUSH2 0x1596 0000158f: DUP5 00001590: PUSH1 0x03 00001592: PUSH2 0x0566 00001595: JUMP 00001596: JUMPDEST 00001597: PUSH2 0x154e 0000159a: JUMP 0000159b: JUMPDEST 0000159c: SWAP1 0000159d: PUSH1 0x20 0000159f: DUP3 000015a0: ADD 000015a1: SWAP1 000015a2: PUSH2 0x15a9 000015a5: DUP3 000015a6: MLOAD 000015a7: SWAP1 000015a8: JUMP 000015a9: JUMPDEST 000015aa: SWAP4 000015ab: PUSH1 0x00 000015ad: SWAP5 000015ae: PUSH2 0x15b9 000015b1: PUSH2 0x0b96 000015b4: DUP8 000015b5: PUSH2 0x0546 000015b8: JUMP 000015b9: JUMPDEST 000015ba: EQ 000015bb: PUSH2 0x16fd 000015be: JUMPI 000015bf: PUSH1 0x60 000015c1: DUP5 000015c2: ADD 000015c3: MLOAD 000015c4: TIMESTAMP 000015c5: LT 000015c6: PUSH2 0x16dc 000015c9: JUMPI 000015ca: PUSH2 0x0945 000015cd: PUSH2 0x1632 000015d0: SWAP2 000015d1: DUP8 000015d2: SWAP4 000015d3: PUSH2 0x15fb 000015d6: PUSH2 0x15f6 000015d9: DUP13 000015da: PUSH2 0x15f1 000015dd: PUSH2 0x15ec 000015e0: DUP15 000015e1: PUSH2 0x0722 000015e4: PUSH1 0x04 000015e6: SWAP12 000015e7: DUP13 000015e8: PUSH2 0x0566 000015eb: JUMP 000015ec: JUMPDEST 000015ed: PUSH2 0x057d 000015f0: JUMP 000015f1: JUMPDEST 000015f2: PUSH2 0x0bba 000015f5: JUMP 000015f6: JUMPDEST 000015f7: SWAP7 000015f8: MLOAD 000015f9: SWAP1 000015fa: JUMP 000015fb: JUMPDEST 000015fc: SWAP1 000015fd: PUSH2 0x1605 00001600: PUSH1 0x40 00001602: MLOAD 00001603: SWAP1 00001604: JUMP 00001605: JUMPDEST 00001606: PUSH2 0x1619 00001609: DUP2 0000160a: DUP14 0000160b: PUSH2 0x099d 0000160e: DUP12 0000160f: PUSH1 0x20 00001611: DUP5 00001612: ADD 00001613: SWAP3 00001614: DUP4 00001615: PUSH2 0x156a 00001618: JUMP 00001619: JUMPDEST 0000161a: PUSH2 0x162b 0000161d: PUSH2 0x1624 00001620: DUP3 00001621: MLOAD 00001622: SWAP1 00001623: JUMP 00001624: JUMPDEST 00001625: SWAP2 00001626: PUSH1 0x20 00001628: ADD 00001629: SWAP1 0000162a: JUMP 0000162b: JUMPDEST 0000162c: KECCAK256 0000162d: SWAP3 0000162e: PUSH2 0x1a74 00001631: JUMP 00001632: JUMPDEST 00001633: PUSH2 0x16b5 00001636: JUMPI 00001637: PUSH2 0x1660 0000163a: SWAP4 0000163b: SWAP3 0000163c: SWAP2 0000163d: PUSH2 0x164d 00001640: DUP8 00001641: PUSH2 0x0722 00001644: DUP9 00001645: PUSH2 0x1652 00001648: SWAP6 00001649: PUSH2 0x0566 0000164c: JUMP 0000164d: JUMPDEST 0000164e: PUSH2 0x10fe 00001651: JUMP 00001652: JUMPDEST 00001653: ADD 00001654: MLOAD 00001655: PUSH1 0x01 00001657: PUSH1 0x01 00001659: PUSH1 0xa0 0000165b: SHL 0000165c: SUB 0000165d: AND 0000165e: SWAP1 0000165f: JUMP 00001660: JUMPDEST 00001661: SWAP1 00001662: PUSH2 0x1674 00001665: DUP5 00001666: DUP5 00001667: PUSH2 0x166f 0000166a: DUP6 0000166b: PUSH2 0x06fa 0000166e: JUMP 0000166f: JUMPDEST 00001670: PUSH2 0x1761 00001673: JUMP 00001674: JUMPDEST 00001675: PUSH2 0x0b13 00001678: PUSH2 0x16ab 0000167b: PUSH2 0x16a5 0000167e: PUSH2 0x16a5 00001681: PUSH32 0x5eb306c17229e0da0cbf33aae2020ca276e63db4818b8060786e49ae51623110 000016a2: SWAP5 000016a3: SWAP1 000016a4: JUMP 000016a5: JUMPDEST 000016a6: SWAP5 000016a7: PUSH2 0x06fa 000016aa: JUMP 000016ab: JUMPDEST 000016ac: SWAP5 000016ad: PUSH2 0x00f3 000016b0: PUSH1 0x40 000016b2: MLOAD 000016b3: SWAP1 000016b4: JUMP 000016b5: JUMPDEST 000016b6: SWAP6 000016b7: POP 000016b8: POP 000016b9: POP 000016ba: POP 000016bb: POP 000016bc: POP 000016bd: PUSH2 0x09c2 000016c0: SWAP2 000016c1: POP 000016c2: PUSH2 0x16ca 000016c5: PUSH1 0x40 000016c7: MLOAD 000016c8: SWAP1 000016c9: JUMP 000016ca: JUMPDEST 000016cb: PUSH4 0x09bde339 000016d0: PUSH1 0xe0 000016d2: SHL 000016d3: DUP2 000016d4: MSTORE 000016d5: SWAP2 000016d6: DUP3 000016d7: SWAP2 000016d8: DUP3 000016d9: ADD 000016da: SWAP1 000016db: JUMP 000016dc: JUMPDEST 000016dd: POP 000016de: POP 000016df: POP 000016e0: POP 000016e1: POP 000016e2: POP 000016e3: POP 000016e4: POP 000016e5: POP 000016e6: PUSH2 0x16ee 000016e9: PUSH1 0x40 000016eb: MLOAD 000016ec: SWAP1 000016ed: JUMP 000016ee: JUMPDEST 000016ef: PUSH4 0x0995309b 000016f4: PUSH1 0xe0 000016f6: SHL 000016f7: DUP2 000016f8: MSTORE 000016f9: PUSH1 0x04 000016fb: SWAP1 000016fc: REVERT 000016fd: JUMPDEST 000016fe: POP 000016ff: POP 00001700: POP 00001701: POP 00001702: POP 00001703: POP 00001704: POP 00001705: POP 00001706: POP 00001707: PUSH2 0x170f 0000170a: PUSH1 0x40 0000170c: MLOAD 0000170d: SWAP1 0000170e: JUMP 0000170f: JUMPDEST 00001710: PUSH4 0x9dd854d3 00001715: PUSH1 0xe0 00001717: SHL 00001718: DUP2 00001719: MSTORE 0000171a: PUSH1 0x04 0000171c: SWAP1 0000171d: REVERT 0000171e: JUMPDEST 0000171f: PUSH2 0x1737 00001722: PUSH2 0x1731 00001725: PUSH2 0x03dd 00001728: SWAP3 00001729: PUSH4 0xffffffff 0000172e: AND 0000172f: SWAP1 00001730: JUMP 00001731: JUMPDEST 00001732: PUSH1 0xe0 00001734: SHL 00001735: SWAP1 00001736: JUMP 00001737: JUMPDEST 00001738: PUSH1 0x01 0000173a: PUSH1 0x01 0000173c: PUSH1 0xe0 0000173e: SHL 0000173f: SUB 00001740: NOT 00001741: AND 00001742: SWAP1 00001743: JUMP 00001744: JUMPDEST 00001745: PUSH1 0x01 00001747: PUSH1 0x01 00001749: PUSH1 0xa0 0000174b: SHL 0000174c: SUB 0000174d: SWAP1 0000174e: SWAP2 0000174f: AND 00001750: DUP2 00001751: MSTORE 00001752: PUSH1 0x40 00001754: DUP2 00001755: ADD 00001756: SWAP3 00001757: SWAP2 00001758: PUSH2 0x03c7 0000175b: SWAP2 0000175c: PUSH1 0x20 0000175e: ADD 0000175f: MSTORE 00001760: JUMP 00001761: JUMPDEST 00001762: PUSH2 0x17a4 00001765: PUSH1 0x04 00001767: SWAP3 00001768: PUSH2 0x1795 0000176b: PUSH2 0x03c7 0000176e: SWAP6 0000176f: PUSH2 0x177b 00001772: PUSH4 0xa9059cbb 00001777: PUSH2 0x171e 0000177a: JUMP 0000177b: JUMPDEST 0000177c: SWAP3 0000177d: PUSH2 0x1785 00001780: PUSH1 0x40 00001782: MLOAD 00001783: SWAP1 00001784: JUMP 00001785: JUMPDEST 00001786: SWAP7 00001787: DUP8 00001788: SWAP5 00001789: PUSH1 0x20 0000178b: DUP7 0000178c: ADD 0000178d: SWAP1 0000178e: DUP2 0000178f: MSTORE 00001790: ADD 00001791: PUSH2 0x1744 00001794: JUMP 00001795: JUMPDEST 00001796: PUSH1 0x20 00001798: DUP3 00001799: ADD 0000179a: DUP2 0000179b: SUB 0000179c: DUP3 0000179d: MSTORE 0000179e: SUB 0000179f: DUP4 000017a0: PUSH2 0x08cd 000017a3: JUMP 000017a4: JUMPDEST 000017a5: PUSH2 0x1872 000017a8: JUMP 000017a9: JUMPDEST 000017aa: PUSH2 0x17b3 000017ad: PUSH1 0x20 000017af: PUSH2 0x0c09 000017b2: JUMP 000017b3: JUMPDEST 000017b4: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 000017d5: PUSH1 0x20 000017d7: DUP3 000017d8: ADD 000017d9: MSTORE 000017da: SWAP1 000017db: JUMP 000017dc: JUMPDEST 000017dd: PUSH2 0x03dd 000017e0: PUSH2 0x17a9 000017e3: JUMP 000017e4: JUMPDEST 000017e5: SWAP1 000017e6: POP 000017e7: MLOAD 000017e8: SWAP1 000017e9: PUSH2 0x03c7 000017ec: DUP3 000017ed: PUSH2 0x0618 000017f0: JUMP 000017f1: JUMPDEST 000017f2: SWAP1 000017f3: PUSH2 0x03dd 000017f6: SWAP2 000017f7: PUSH1 0x20 000017f9: DUP2 000017fa: DUP4 000017fb: SUB 000017fc: SLT 000017fd: PUSH2 0x1805 00001800: JUMPI 00001801: PUSH2 0x17e4 00001804: JUMP 00001805: JUMPDEST 00001806: PUSH2 0x180d 00001809: PUSH2 0x03a0 0000180c: JUMP 0000180d: JUMPDEST 0000180e: PUSH2 0x17e4 00001811: JUMP 00001812: JUMPDEST 00001813: ISZERO 00001814: PUSH2 0x1819 00001817: JUMPI 00001818: JUMP 00001819: JUMPDEST 0000181a: POP 0000181b: PUSH1 0x40 0000181d: MLOAD 0000181e: PUSH3 0x461bcd 00001822: PUSH1 0xe5 00001824: SHL 00001825: DUP2 00001826: MSTORE 00001827: PUSH1 0x20 00001829: PUSH1 0x04 0000182b: DUP3 0000182c: ADD 0000182d: MSTORE 0000182e: PUSH1 0x2a 00001830: PUSH1 0x24 00001832: DUP3 00001833: ADD 00001834: MSTORE 00001835: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00001856: PUSH1 0x44 00001858: DUP3 00001859: ADD 0000185a: MSTORE 0000185b: PUSH10 0x1bdd081cdd58d8d95959 00001866: PUSH1 0xb2 00001868: SHL 00001869: PUSH1 0x64 0000186b: DUP3 0000186c: ADD 0000186d: MSTORE 0000186e: PUSH1 0x84 00001870: SWAP1 00001871: REVERT 00001872: JUMPDEST 00001873: PUSH2 0x03c7 00001876: SWAP2 00001877: PUSH2 0x1882 0000187a: PUSH2 0x1891 0000187d: SWAP3 0000187e: PUSH2 0x06fa 00001881: JUMP 00001882: JUMPDEST 00001883: SWAP1 00001884: PUSH2 0x188b 00001887: PUSH2 0x17dc 0000188a: JUMP 0000188b: JUMPDEST 0000188c: SWAP2 0000188d: PUSH2 0x18cf 00001890: JUMP 00001891: JUMPDEST 00001892: DUP1 00001893: MLOAD 00001894: PUSH2 0x18a0 00001897: PUSH2 0x0b96 0000189a: PUSH1 0x00 0000189c: PUSH2 0x0546 0000189f: JUMP 000018a0: JUMPDEST 000018a1: EQ 000018a2: SWAP1 000018a3: DUP2 000018a4: ISZERO 000018a5: PUSH2 0x18af 000018a8: JUMPI 000018a9: JUMPDEST 000018aa: POP 000018ab: PUSH2 0x1812 000018ae: JUMP 000018af: JUMPDEST 000018b0: PUSH2 0x18c9 000018b3: SWAP2 000018b4: POP 000018b5: PUSH1 0x20 000018b7: PUSH2 0x18be 000018ba: DUP3 000018bb: MLOAD 000018bc: SWAP1 000018bd: JUMP 000018be: JUMPDEST 000018bf: DUP2 000018c0: DUP4 000018c1: ADD 000018c2: ADD 000018c3: SWAP2 000018c4: ADD 000018c5: PUSH2 0x17f1 000018c8: JUMP 000018c9: JUMPDEST 000018ca: CODESIZE 000018cb: PUSH2 0x18a9 000018ce: JUMP 000018cf: JUMPDEST 000018d0: PUSH2 0x03dd 000018d3: SWAP3 000018d4: SWAP2 000018d5: PUSH2 0x18de 000018d8: PUSH1 0x00 000018da: PUSH2 0x0546 000018dd: JUMP 000018de: JUMPDEST 000018df: SWAP2 000018e0: PUSH2 0x195f 000018e3: JUMP 000018e4: JUMPDEST 000018e5: ISZERO 000018e6: PUSH2 0x18eb 000018e9: JUMPI 000018ea: JUMP 000018eb: JUMPDEST 000018ec: POP 000018ed: PUSH1 0x40 000018ef: MLOAD 000018f0: PUSH3 0x461bcd 000018f4: PUSH1 0xe5 000018f6: SHL 000018f7: DUP2 000018f8: MSTORE 000018f9: PUSH1 0x20 000018fb: PUSH1 0x04 000018fd: DUP3 000018fe: ADD 000018ff: MSTORE 00001900: PUSH1 0x26 00001902: PUSH1 0x24 00001904: DUP3 00001905: ADD 00001906: MSTORE 00001907: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f 00001928: PUSH1 0x44 0000192a: DUP3 0000192b: ADD 0000192c: MSTORE 0000192d: PUSH6 0x1c8818d85b1b 00001934: PUSH1 0xd2 00001936: SHL 00001937: PUSH1 0x64 00001939: DUP3 0000193a: ADD 0000193b: MSTORE 0000193c: PUSH1 0x84 0000193e: SWAP1 0000193f: REVERT 00001940: JUMPDEST 00001941: RETURNDATASIZE 00001942: ISZERO 00001943: PUSH2 0x195a 00001946: JUMPI 00001947: PUSH2 0x194f 0000194a: RETURNDATASIZE 0000194b: PUSH2 0x0c09 0000194e: JUMP 0000194f: JUMPDEST 00001950: SWAP1 00001951: RETURNDATASIZE 00001952: PUSH1 0x00 00001954: PUSH1 0x20 00001956: DUP5 00001957: ADD 00001958: RETURNDATACOPY 00001959: JUMP 0000195a: JUMPDEST 0000195b: PUSH1 0x60 0000195d: SWAP1 0000195e: JUMP 0000195f: JUMPDEST 00001960: SWAP1 00001961: PUSH1 0x00 00001963: PUSH2 0x03dd 00001966: SWAP5 00001967: SWAP4 00001968: DUP2 00001969: SWAP3 0000196a: PUSH2 0x1971 0000196d: PUSH1 0x60 0000196f: SWAP1 00001970: JUMP 00001971: JUMPDEST 00001972: POP 00001973: PUSH2 0x1988 00001976: PUSH2 0x197e 00001979: ADDRESS 0000197a: PUSH2 0x06fa 0000197d: JUMP 0000197e: JUMPDEST 0000197f: DUP4 00001980: SWAP1 00001981: BALANCE 00001982: LT 00001983: ISZERO 00001984: PUSH2 0x18e4 00001987: JUMP 00001988: JUMPDEST 00001989: PUSH1 0x20 0000198b: DUP2 0000198c: ADD 0000198d: SWAP1 0000198e: MLOAD 0000198f: SWAP2 00001990: DUP6 00001991: GAS 00001992: CALL 00001993: PUSH2 0x199a 00001996: PUSH2 0x1940 00001999: JUMP 0000199a: JUMPDEST 0000199b: SWAP2 0000199c: PUSH2 0x19ed 0000199f: JUMP 000019a0: JUMPDEST 000019a1: ISZERO 000019a2: PUSH2 0x19a7 000019a5: JUMPI 000019a6: JUMP 000019a7: JUMPDEST 000019a8: POP 000019a9: PUSH1 0x40 000019ab: MLOAD 000019ac: PUSH3 0x461bcd 000019b0: PUSH1 0xe5 000019b2: SHL 000019b3: DUP2 000019b4: MSTORE 000019b5: PUSH1 0x20 000019b7: PUSH1 0x04 000019b9: DUP3 000019ba: ADD 000019bb: MSTORE 000019bc: PUSH1 0x1d 000019be: PUSH1 0x24 000019c0: DUP3 000019c1: ADD 000019c2: MSTORE 000019c3: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 000019e4: PUSH1 0x44 000019e6: DUP3 000019e7: ADD 000019e8: MSTORE 000019e9: PUSH1 0x64 000019eb: SWAP1 000019ec: REVERT 000019ed: JUMPDEST 000019ee: SWAP2 000019ef: SWAP3 000019f0: PUSH1 0x60 000019f2: SWAP2 000019f3: ISZERO 000019f4: PUSH2 0x1a22 000019f7: JUMPI 000019f8: POP 000019f9: POP 000019fa: DUP2 000019fb: MLOAD 000019fc: PUSH2 0x1a08 000019ff: PUSH2 0x0b96 00001a02: PUSH1 0x00 00001a04: PUSH2 0x0546 00001a07: JUMP 00001a08: JUMPDEST 00001a09: EQ 00001a0a: PUSH2 0x1a11 00001a0d: JUMPI 00001a0e: POP 00001a0f: SWAP1 00001a10: JUMP 00001a11: JUMPDEST 00001a12: PUSH2 0x1a1d 00001a15: PUSH2 0x03dd 00001a18: SWAP2 00001a19: PUSH2 0x1a2f 00001a1c: JUMP 00001a1d: JUMPDEST 00001a1e: PUSH2 0x19a0 00001a21: JUMP 00001a22: JUMPDEST 00001a23: SWAP1 00001a24: SWAP4 00001a25: SWAP3 00001a26: PUSH2 0x03c7 00001a29: SWAP3 00001a2a: POP 00001a2b: PUSH2 0x1a41 00001a2e: JUMP 00001a2f: JUMPDEST 00001a30: EXTCODESIZE 00001a31: PUSH2 0x1a3d 00001a34: PUSH2 0x0b96 00001a37: PUSH1 0x00 00001a39: PUSH2 0x0546 00001a3c: JUMP 00001a3d: JUMPDEST 00001a3e: GT 00001a3f: SWAP1 00001a40: JUMP 00001a41: JUMPDEST 00001a42: SWAP2 00001a43: POP 00001a44: PUSH2 0x1a4b 00001a47: DUP3 00001a48: MLOAD 00001a49: SWAP1 00001a4a: JUMP 00001a4b: JUMPDEST 00001a4c: PUSH2 0x1a58 00001a4f: PUSH2 0x0b96 00001a52: PUSH1 0x00 00001a54: PUSH2 0x0546 00001a57: JUMP 00001a58: JUMPDEST 00001a59: GT 00001a5a: ISZERO 00001a5b: PUSH2 0x1a67 00001a5e: JUMPI 00001a5f: POP 00001a60: DUP1 00001a61: MLOAD 00001a62: SWAP1 00001a63: PUSH1 0x20 00001a65: ADD 00001a66: REVERT 00001a67: JUMPDEST 00001a68: PUSH1 0x40 00001a6a: MLOAD 00001a6b: PUSH2 0x09c2 00001a6e: SWAP3 00001a6f: POP 00001a70: PUSH2 0x09ad 00001a73: JUMP 00001a74: JUMPDEST 00001a75: PUSH2 0x0ea5 00001a78: SWAP3 00001a79: SWAP4 00001a7a: PUSH2 0x0b96 00001a7d: SWAP3 00001a7e: PUSH2 0x1a8f 00001a81: SWAP3 00001a82: PUSH2 0x1a89 00001a85: PUSH1 0x00 00001a87: SWAP1 00001a88: JUMP 00001a89: JUMPDEST 00001a8a: POP 00001a8b: PUSH2 0x1ab3 00001a8e: JUMP 00001a8f: JUMPDEST 00001a90: SWAP3 00001a91: SWAP1 00001a92: JUMP 00001a93: JUMPDEST 00001a94: PUSH1 0x01 00001a96: SWAP1 00001a97: PUSH1 0x00 00001a99: NOT 00001a9a: DUP2 00001a9b: EQ 00001a9c: PUSH2 0x0bc6 00001a9f: JUMPI 00001aa0: ADD 00001aa1: SWAP1 00001aa2: JUMP 00001aa3: JUMPDEST 00001aa4: SWAP2 00001aa5: PUSH1 0x20 00001aa7: SWAP2 00001aa8: DUP2 00001aa9: LT 00001aaa: ISZERO 00001aab: PUSH2 0x1177 00001aae: JUMPI 00001aaf: MUL 00001ab0: ADD 00001ab1: SWAP1 00001ab2: JUMP 00001ab3: JUMPDEST 00001ab4: PUSH2 0x1abd 00001ab7: PUSH1 0x00 00001ab9: PUSH2 0x0546 00001abc: JUMP 00001abd: JUMPDEST 00001abe: SWAP3 00001abf: JUMPDEST 00001ac0: DUP3 00001ac1: DUP5 00001ac2: LT 00001ac3: ISZERO 00001ac4: PUSH2 0x1af3 00001ac7: JUMPI 00001ac8: PUSH2 0x1ae7 00001acb: PUSH2 0x1aed 00001ace: SWAP2 00001acf: PUSH2 0x1ae1 00001ad2: PUSH2 0x1adc 00001ad5: DUP8 00001ad6: DUP8 00001ad7: DUP8 00001ad8: PUSH2 0x1aa3 00001adb: JUMP 00001adc: JUMPDEST 00001add: PUSH2 0x0f19 00001ae0: JUMP 00001ae1: JUMPDEST 00001ae2: SWAP1 00001ae3: PUSH2 0x1afa 00001ae6: JUMP 00001ae7: JUMPDEST 00001ae8: SWAP4 00001ae9: PUSH2 0x1a93 00001aec: JUMP 00001aed: JUMPDEST 00001aee: SWAP3 00001aef: PUSH2 0x1abf 00001af2: JUMP 00001af3: JUMPDEST 00001af4: SWAP3 00001af5: POP 00001af6: POP 00001af7: POP 00001af8: SWAP1 00001af9: JUMP 00001afa: JUMPDEST 00001afb: DUP2 00001afc: DUP2 00001afd: LT 00001afe: ISZERO 00001aff: PUSH2 0x1b15 00001b02: JUMPI 00001b03: SWAP1 00001b04: PUSH2 0x03dd 00001b07: SWAP2 00001b08: PUSH1 0x00 00001b0a: MSTORE 00001b0b: PUSH1 0x20 00001b0d: MSTORE 00001b0e: PUSH1 0x40 00001b10: PUSH1 0x00 00001b12: KECCAK256 00001b13: SWAP1 00001b14: JUMP 00001b15: JUMPDEST 00001b16: PUSH2 0x03dd 00001b19: SWAP2 00001b1a: PUSH1 0x00 00001b1c: MSTORE 00001b1d: PUSH1 0x20 00001b1f: MSTORE 00001b20: PUSH1 0x40 00001b22: PUSH1 0x00 00001b24: KECCAK256 00001b25: SWAP1 00001b26: JUMP 00001b27: JUMPDEST 00001b28: PUSH2 0x1b32 00001b2b: PUSH2 0x03dd 00001b2e: PUSH2 0x0553 00001b31: JUMP 00001b32: JUMPDEST 00001b33: DUP2 00001b34: LT 00001b35: PUSH2 0x1b71 00001b38: JUMPI 00001b39: PUSH2 0x1b43 00001b3c: DUP2 00001b3d: PUSH1 0x05 00001b3f: PUSH2 0x10fe 00001b42: JUMP 00001b43: JUMPDEST 00001b44: PUSH2 0x140e 00001b47: PUSH32 0x676dc704f22ddab12a141690a96616ef0128413803c63394aba7ffe658681a16 00001b68: SWAP2 00001b69: PUSH2 0x00f3 00001b6c: PUSH1 0x40 00001b6e: MLOAD 00001b6f: SWAP1 00001b70: JUMP 00001b71: JUMPDEST 00001b72: POP 00001b73: POP 00001b74: PUSH1 0x40 00001b76: MLOAD 00001b77: PUSH4 0x67e00a07 00001b7c: PUSH1 0xe0 00001b7e: SHL 00001b7f: DUP2 00001b80: MSTORE 00001b81: PUSH1 0x04 00001b83: SWAP1 00001b84: REVERT 00001b85: INVALID 00001b86: LOG3 00001b87: PUSH5 0x6970667358 00001b8d: UNKNOWN(0x22) 00001b8e: SLT 00001b8f: KECCAK256 00001b90: MULMOD 00001b91: DUP13 00001b92: DUP6 00001b93: DUP10 00001b94: PUSH16 0x984387d7574e3e86c10295d197ef42b6 00001ba5: DUP11 00001ba6: UNKNOWN(0xE1) 00001ba7: SWAP14 00001ba8: BALANCE 00001ba9: UNKNOWN(0xD5) 00001baa: UNKNOWN(0xE6) 00001bab: PUSH4 0xf0bd83d7 00001bb0: PUSH13 0x6578706572696d656e74616cf5 00001bbe: PUSH5 0x736f6c6343 00001bc4: STOP 00001bc5: ADDMOD 00001bc6: UNKNOWN(0x0C) 00001bc7: STOP 00001bc8: COINBASE
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xb9b1ed79ef5e784dd321e59817d9bd3440829d1230d263d0baa33eb5030e4675
call_targets:
0xa9b08b4ceec1ef29edec7f9c94583270337d6416
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb9b1ed79ef5e784dd321e59817d9bd3440829d1230d263d0baa33eb5030e4675",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa9b08b4ceec1ef29edec7f9c94583270337d6416"
],
"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": "0x01ffc9a7",
"selector": "0x01ffc9a7",
"calldata_variants": [
"0x01ffc9a7",
"0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x248a9ca3",
"selector": "0x248a9ca3",
"calldata_variants": [
"0x248a9ca3",
"0x248a9ca30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f2ff15d",
"selector": "0x2f2ff15d",
"calldata_variants": [
"0x2f2ff15d",
"0x2f2ff15d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x33f642f6",
"selector": "0x33f642f6",
"calldata_variants": [
"0x33f642f6",
"0x33f642f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x36568abe",
"selector": "0x36568abe",
"calldata_variants": [
"0x36568abe",
"0x36568abe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x56853398",
"selector": "0x56853398",
"calldata_variants": [
"0x56853398",
"0x568533980000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c975abb",
"selector": "0x5c975abb",
"calldata_variants": [
"0x5c975abb",
"0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7fdba5f6",
"selector": "0x7fdba5f6",
"calldata_variants": [
"0x7fdba5f6",
"0x7fdba5f60000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 6546,
"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: 0xb9b1ed79ef5e784dd321e59817d9bd3440829d1230d263d0baa33eb5030e4675
call_targets:
0xa9b08b4ceec1ef29edec7f9c94583270337d6416
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xb9b1ed79ef5e784dd321e59817d9bd3440829d1230d263d0baa33eb5030e4675",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xa9b08b4ceec1ef29edec7f9c94583270337d6416"
],
"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": "0x01ffc9a7",
"selector": "0x01ffc9a7",
"calldata_variants": [
"0x01ffc9a7",
"0x01ffc9a70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x248a9ca3",
"selector": "0x248a9ca3",
"calldata_variants": [
"0x248a9ca3",
"0x248a9ca30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2f2ff15d",
"selector": "0x2f2ff15d",
"calldata_variants": [
"0x2f2ff15d",
"0x2f2ff15d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x33f642f6",
"selector": "0x33f642f6",
"calldata_variants": [
"0x33f642f6",
"0x33f642f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x36568abe",
"selector": "0x36568abe",
"calldata_variants": [
"0x36568abe",
"0x36568abe0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x56853398",
"selector": "0x56853398",
"calldata_variants": [
"0x56853398",
"0x568533980000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5c975abb",
"selector": "0x5c975abb",
"calldata_variants": [
"0x5c975abb",
"0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x7fdba5f6",
"selector": "0x7fdba5f6",
"calldata_variants": [
"0x7fdba5f6",
"0x7fdba5f60000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 6546,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|