19c4a36d-81d1-4a6b-9c07-b7c039f2ae55
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 |
|---|---|---|---|---|
| 31153 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 76732 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 76733 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 76734 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 76735 | capability.graph | complete | 1 / 3 | 1 week ago |
| 76736 | detector.run | complete | 1 / 3 | 1 week ago |
| 76737 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:708568] OpenAI Codex v0.77.0 (research preview)
[codex:708568] --------
[codex:708568] workdir: /tmp/codex-multi-is8sldqs
[codex:708568] model: gpt-5.2-codex
[codex:708568] provider: openai
[codex:708568] approval: never
[codex:708568] sandbox: read-only
[codex:708568] reasoning effort: xhigh
[codex:708568] reasoning summaries: auto
[codex:708568] session id: 019b7b9b-cc0b-7a72-96e7-089f2378f3ad
[codex:708568] --------
[codex:708568] user
[codex:708568] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:708568]
[codex:708568] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:708568]
[codex:708568] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:708568] - Gas inefficiency, code quality, naming, or best practices
[codex:708568] - Theoretical vulnerabilities without a clear extraction path
[codex:708568] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:708568] - Front-running unless it enables theft beyond MEV
[codex:708568] - DoS, griefing, or issues that don't result in attacker profit
[codex:708568] - Missing events, view function issues, or informational findings
[codex:708568]
[codex:708568] HIGH-VALUE PATTERNS TO HUNT:
[codex:708568] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:708568] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:708568] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:708568] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:708568] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:708568] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:708568] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:708568] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:708568] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:708568]
[codex:708568] For each finding, you MUST provide:
[codex:708568] 1. Exact file and line numbers of vulnerable code
[codex:708568] 2. Step-by-step exploit transaction sequence
[codex:708568] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:708568]
[codex:708568] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:708568]
[codex:708568] Output MUST be valid JSON matching the provided schema.
[codex:708568] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:708568] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:708568] mcp startup: no servers
[codex:708568]
[codex:708568] thinking
[codex:708568] **Starting audit by reading instructions**
[codex:708568] exec
[codex:708568] /bin/bash -lc ls in /tmp/codex-multi-is8sldqs succeeded in 6ms:
[codex:708568] AUDIT_BUNDLE.txt
[codex:708568] codex-output-schema.json
[codex:708568] contracts
[codex:708568] exec
[codex:708568] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-is8sldqs succeeded in 5ms:
[codex:708568] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:708568]
[codex:708568] ================================================================================
[codex:708568] FILE: contracts/contracts/Vault.sol
[codex:708568] ================================================================================
[codex:708568] // SPDX-License-Identifier: MIT
[codex:708568] pragma solidity ^0.8.6;
[codex:708568]
[codex:708568] import "@openzeppelin/contracts-upgradeable/access/AccessControlEnumerableUpgradeable.sol";
[codex:708568] import "@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol";
[codex:708568] import "@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol";
[codex:708568] import "@openzeppelin/contracts-upgradeable/token/ERC20/IERC20Upgradeable.sol";
[codex:708568] import "@openzeppelin/contracts-upgradeable/token/ERC20/utils/SafeERC20Upgradeable.sol";
[codex:708568] import "@openzeppelin/contracts-upgradeable/token/ERC721/IERC721Upgradeable.sol";
[codex:708568] import "@openzeppelin/contracts-upgradeable/token/ERC721/utils/ERC721HolderUpgradeable.sol";
[codex:708568] import "@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol";
[codex:708568] import "@openzeppelin/contracts-upgradeable/proxy/utils/UUPSUpgradeable.sol";
[codex:708568]
[codex:708568] contract Vault is
[codex:708568] Initializable,
[codex:708568]
[codex:708568] thinking
[codex:708568] **Assessing Vault.sol roles and initialization**
[codex:708568]
[codex:708568] I’m carefully reviewing Vault.sol’s role setup and initialization to find any exploitable paths. It looks like only the admin can grant roles, and while the public initializer could be a risk if uninitialized proxies exist, that’s a known pattern and typically prevented. Other checks, like reentrancy and role validations, seem solid, so I find no concrete exploit here. I’ll prepare a JSON summary confirming no findings.
[codex:708568] codex
[codex:708568] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided sources.","findings":[]}
[codex:708568] tokens used
[codex:708568] 7,031
[codex:708568] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided sources.","findings":[]}
{
"codex": {
"ran_at": "2026-01-01T22:09:51.177813+00:00",
"returncode": 0
},
"summary": "No concrete, exploitable profit paths found in the provided sources.",
"raw_final": {
"summary": "No concrete, exploitable profit paths found in the provided sources.",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x016a 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x57a987a3 00000019: GT 0000001a: PUSH2 0x00d1 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0x91d14854 00000024: GT 00000025: PUSH2 0x008a 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xd547741f 0000002f: GT 00000030: PUSH2 0x0064 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xd547741f 0000003a: EQ 0000003b: PUSH2 0x0524 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xe6930a22 00000045: EQ 00000046: PUSH2 0x054d 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xeb14f53e 00000050: EQ 00000051: PUSH2 0x0576 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf2fde38b 0000005b: EQ 0000005c: PUSH2 0x059f 0000005f: JUMPI 00000060: PUSH2 0x0171 00000063: JUMP 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0x91d14854 0000006b: EQ 0000006c: PUSH2 0x047f 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xa217fddf 00000076: EQ 00000077: PUSH2 0x04bc 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xca15c873 00000081: EQ 00000082: PUSH2 0x04e7 00000085: JUMPI 00000086: PUSH2 0x0171 00000089: JUMP 0000008a: JUMPDEST 0000008b: DUP1 0000008c: PUSH4 0x57a987a3 00000091: EQ 00000092: PUSH2 0x0395 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x715018a6 0000009c: EQ 0000009d: PUSH2 0x03be 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x77f050b0 000000a7: EQ 000000a8: PUSH2 0x03d5 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x8129fc1c 000000b2: EQ 000000b3: PUSH2 0x0400 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x8da5cb5b 000000bd: EQ 000000be: PUSH2 0x0417 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x9010d07c 000000c8: EQ 000000c9: PUSH2 0x0442 000000cc: JUMPI 000000cd: PUSH2 0x0171 000000d0: JUMP 000000d1: JUMPDEST 000000d2: DUP1 000000d3: PUSH4 0x36568abe 000000d8: GT 000000d9: PUSH2 0x0123 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0x36568abe 000000e3: EQ 000000e4: PUSH2 0x02a8 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0x3659cfe6 000000ee: EQ 000000ef: PUSH2 0x02d1 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0x3bd8db24 000000f9: EQ 000000fa: PUSH2 0x02fa 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0x429de23b 00000104: EQ 00000105: PUSH2 0x0323 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0x4f1ef286 0000010f: EQ 00000110: PUSH2 0x034e 00000113: JUMPI 00000114: DUP1 00000115: PUSH4 0x52d1902d 0000011a: EQ 0000011b: PUSH2 0x036a 0000011e: JUMPI 0000011f: PUSH2 0x0171 00000122: JUMP 00000123: JUMPDEST 00000124: DUP1 00000125: PUSH4 0x01ffc9a7 0000012a: EQ 0000012b: PUSH2 0x0176 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0x02cba741 00000135: EQ 00000136: PUSH2 0x01b3 00000139: JUMPI 0000013a: DUP1 0000013b: PUSH4 0x05b1137b 00000140: EQ 00000141: PUSH2 0x01dc 00000144: JUMPI 00000145: DUP1 00000146: PUSH4 0x150b7a02 0000014b: EQ 0000014c: PUSH2 0x0205 0000014f: JUMPI 00000150: DUP1 00000151: PUSH4 0x248a9ca3 00000156: EQ 00000157: PUSH2 0x0242 0000015a: JUMPI 0000015b: DUP1 0000015c: PUSH4 0x2f2ff15d 00000161: EQ 00000162: PUSH2 0x027f 00000165: JUMPI 00000166: PUSH2 0x0171 00000169: JUMP 0000016a: JUMPDEST 0000016b: CALLDATASIZE 0000016c: PUSH2 0x0171 0000016f: JUMPI 00000170: STOP 00000171: JUMPDEST 00000172: PUSH1 0x00 00000174: DUP1 00000175: REVERT 00000176: JUMPDEST 00000177: CALLVALUE 00000178: DUP1 00000179: ISZERO 0000017a: PUSH2 0x0182 0000017d: JUMPI 0000017e: PUSH1 0x00 00000180: DUP1 00000181: REVERT 00000182: JUMPDEST 00000183: POP 00000184: PUSH2 0x019d 00000187: PUSH1 0x04 00000189: DUP1 0000018a: CALLDATASIZE 0000018b: SUB 0000018c: DUP2 0000018d: ADD 0000018e: SWAP1 0000018f: PUSH2 0x0198 00000192: SWAP2 00000193: SWAP1 00000194: PUSH2 0x276c 00000197: JUMP 00000198: JUMPDEST 00000199: PUSH2 0x05c8 0000019c: JUMP 0000019d: JUMPDEST 0000019e: PUSH1 0x40 000001a0: MLOAD 000001a1: PUSH2 0x01aa 000001a4: SWAP2 000001a5: SWAP1 000001a6: PUSH2 0x27b4 000001a9: JUMP 000001aa: JUMPDEST 000001ab: PUSH1 0x40 000001ad: MLOAD 000001ae: DUP1 000001af: SWAP2 000001b0: SUB 000001b1: SWAP1 000001b2: RETURN 000001b3: JUMPDEST 000001b4: CALLVALUE 000001b5: DUP1 000001b6: ISZERO 000001b7: PUSH2 0x01bf 000001ba: JUMPI 000001bb: PUSH1 0x00 000001bd: DUP1 000001be: REVERT 000001bf: JUMPDEST 000001c0: POP 000001c1: PUSH2 0x01da 000001c4: PUSH1 0x04 000001c6: DUP1 000001c7: CALLDATASIZE 000001c8: SUB 000001c9: DUP2 000001ca: ADD 000001cb: SWAP1 000001cc: PUSH2 0x01d5 000001cf: SWAP2 000001d0: SWAP1 000001d1: PUSH2 0x28a1 000001d4: JUMP 000001d5: JUMPDEST 000001d6: PUSH2 0x0642 000001d9: JUMP 000001da: JUMPDEST 000001db: STOP 000001dc: JUMPDEST 000001dd: CALLVALUE 000001de: DUP1 000001df: ISZERO 000001e0: PUSH2 0x01e8 000001e3: JUMPI 000001e4: PUSH1 0x00 000001e6: DUP1 000001e7: REVERT 000001e8: JUMPDEST 000001e9: POP 000001ea: PUSH2 0x0203 000001ed: PUSH1 0x04 000001ef: DUP1 000001f0: CALLDATASIZE 000001f1: SUB 000001f2: DUP2 000001f3: ADD 000001f4: SWAP1 000001f5: PUSH2 0x01fe 000001f8: SWAP2 000001f9: SWAP1 000001fa: PUSH2 0x28f4 000001fd: JUMP 000001fe: JUMPDEST 000001ff: PUSH2 0x067d 00000202: JUMP 00000203: JUMPDEST 00000204: STOP 00000205: JUMPDEST 00000206: CALLVALUE 00000207: DUP1 00000208: ISZERO 00000209: PUSH2 0x0211 0000020c: JUMPI 0000020d: PUSH1 0x00 0000020f: DUP1 00000210: REVERT 00000211: JUMPDEST 00000212: POP 00000213: PUSH2 0x022c 00000216: PUSH1 0x04 00000218: DUP1 00000219: CALLDATASIZE 0000021a: SUB 0000021b: DUP2 0000021c: ADD 0000021d: SWAP1 0000021e: PUSH2 0x0227 00000221: SWAP2 00000222: SWAP1 00000223: PUSH2 0x2a7a 00000226: JUMP 00000227: JUMPDEST 00000228: PUSH2 0x06b6 0000022b: JUMP 0000022c: JUMPDEST 0000022d: PUSH1 0x40 0000022f: MLOAD 00000230: PUSH2 0x0239 00000233: SWAP2 00000234: SWAP1 00000235: PUSH2 0x2b0c 00000238: JUMP 00000239: JUMPDEST 0000023a: PUSH1 0x40 0000023c: MLOAD 0000023d: DUP1 0000023e: SWAP2 0000023f: SUB 00000240: SWAP1 00000241: RETURN 00000242: JUMPDEST 00000243: CALLVALUE 00000244: DUP1 00000245: ISZERO 00000246: PUSH2 0x024e 00000249: JUMPI 0000024a: PUSH1 0x00 0000024c: DUP1 0000024d: REVERT 0000024e: JUMPDEST 0000024f: POP 00000250: PUSH2 0x0269 00000253: PUSH1 0x04 00000255: DUP1 00000256: CALLDATASIZE 00000257: SUB 00000258: DUP2 00000259: ADD 0000025a: SWAP1 0000025b: PUSH2 0x0264 0000025e: SWAP2 0000025f: SWAP1 00000260: PUSH2 0x2b5d 00000263: JUMP 00000264: JUMPDEST 00000265: PUSH2 0x06ca 00000268: JUMP 00000269: JUMPDEST 0000026a: PUSH1 0x40 0000026c: MLOAD 0000026d: PUSH2 0x0276 00000270: SWAP2 00000271: SWAP1 00000272: PUSH2 0x2b99 00000275: JUMP 00000276: JUMPDEST 00000277: PUSH1 0x40 00000279: MLOAD 0000027a: DUP1 0000027b: SWAP2 0000027c: SUB 0000027d: SWAP1 0000027e: RETURN 0000027f: JUMPDEST 00000280: CALLVALUE 00000281: DUP1 00000282: ISZERO 00000283: PUSH2 0x028b 00000286: JUMPI 00000287: PUSH1 0x00 00000289: DUP1 0000028a: REVERT 0000028b: JUMPDEST 0000028c: POP 0000028d: PUSH2 0x02a6 00000290: PUSH1 0x04 00000292: DUP1 00000293: CALLDATASIZE 00000294: SUB 00000295: DUP2 00000296: ADD 00000297: SWAP1 00000298: PUSH2 0x02a1 0000029b: SWAP2 0000029c: SWAP1 0000029d: PUSH2 0x2bb4 000002a0: JUMP 000002a1: JUMPDEST 000002a2: PUSH2 0x06ea 000002a5: JUMP 000002a6: JUMPDEST 000002a7: STOP 000002a8: JUMPDEST 000002a9: CALLVALUE 000002aa: DUP1 000002ab: ISZERO 000002ac: PUSH2 0x02b4 000002af: JUMPI 000002b0: PUSH1 0x00 000002b2: DUP1 000002b3: REVERT 000002b4: JUMPDEST 000002b5: POP 000002b6: PUSH2 0x02cf 000002b9: PUSH1 0x04 000002bb: DUP1 000002bc: CALLDATASIZE 000002bd: SUB 000002be: DUP2 000002bf: ADD 000002c0: SWAP1 000002c1: PUSH2 0x02ca 000002c4: SWAP2 000002c5: SWAP1 000002c6: PUSH2 0x2bb4 000002c9: JUMP 000002ca: JUMPDEST 000002cb: PUSH2 0x070b 000002ce: JUMP 000002cf: JUMPDEST 000002d0: STOP 000002d1: JUMPDEST 000002d2: CALLVALUE 000002d3: DUP1 000002d4: ISZERO 000002d5: PUSH2 0x02dd 000002d8: JUMPI 000002d9: PUSH1 0x00 000002db: DUP1 000002dc: REVERT 000002dd: JUMPDEST 000002de: POP 000002df: PUSH2 0x02f8 000002e2: PUSH1 0x04 000002e4: DUP1 000002e5: CALLDATASIZE 000002e6: SUB 000002e7: DUP2 000002e8: ADD 000002e9: SWAP1 000002ea: PUSH2 0x02f3 000002ed: SWAP2 000002ee: SWAP1 000002ef: PUSH2 0x2bf4 000002f2: JUMP 000002f3: JUMPDEST 000002f4: PUSH2 0x078e 000002f7: JUMP 000002f8: JUMPDEST 000002f9: STOP 000002fa: JUMPDEST 000002fb: CALLVALUE 000002fc: DUP1 000002fd: ISZERO 000002fe: PUSH2 0x0306 00000301: JUMPI 00000302: PUSH1 0x00 00000304: DUP1 00000305: REVERT 00000306: JUMPDEST 00000307: POP 00000308: PUSH2 0x0321 0000030b: PUSH1 0x04 0000030d: DUP1 0000030e: CALLDATASIZE 0000030f: SUB 00000310: DUP2 00000311: ADD 00000312: SWAP1 00000313: PUSH2 0x031c 00000316: SWAP2 00000317: SWAP1 00000318: PUSH2 0x2c5f 0000031b: JUMP 0000031c: JUMPDEST 0000031d: PUSH2 0x0917 00000320: JUMP 00000321: JUMPDEST 00000322: STOP 00000323: JUMPDEST 00000324: CALLVALUE 00000325: DUP1 00000326: ISZERO 00000327: PUSH2 0x032f 0000032a: JUMPI 0000032b: PUSH1 0x00 0000032d: DUP1 0000032e: REVERT 0000032f: JUMPDEST 00000330: POP 00000331: PUSH2 0x0338 00000334: PUSH2 0x0952 00000337: JUMP 00000338: JUMPDEST 00000339: PUSH1 0x40 0000033b: MLOAD 0000033c: PUSH2 0x0345 0000033f: SWAP2 00000340: SWAP1 00000341: PUSH2 0x2b99 00000344: JUMP 00000345: JUMPDEST 00000346: PUSH1 0x40 00000348: MLOAD 00000349: DUP1 0000034a: SWAP2 0000034b: SUB 0000034c: SWAP1 0000034d: RETURN 0000034e: JUMPDEST 0000034f: PUSH2 0x0368 00000352: PUSH1 0x04 00000354: DUP1 00000355: CALLDATASIZE 00000356: SUB 00000357: DUP2 00000358: ADD 00000359: SWAP1 0000035a: PUSH2 0x0363 0000035d: SWAP2 0000035e: SWAP1 0000035f: PUSH2 0x2cb2 00000362: JUMP 00000363: JUMPDEST 00000364: PUSH2 0x0976 00000367: JUMP 00000368: JUMPDEST 00000369: STOP 0000036a: JUMPDEST 0000036b: CALLVALUE 0000036c: DUP1 0000036d: ISZERO 0000036e: PUSH2 0x0376 00000371: JUMPI 00000372: PUSH1 0x00 00000374: DUP1 00000375: REVERT 00000376: JUMPDEST 00000377: POP 00000378: PUSH2 0x037f 0000037b: PUSH2 0x0ab3 0000037e: JUMP 0000037f: JUMPDEST 00000380: PUSH1 0x40 00000382: MLOAD 00000383: PUSH2 0x038c 00000386: SWAP2 00000387: SWAP1 00000388: PUSH2 0x2b99 0000038b: JUMP 0000038c: JUMPDEST 0000038d: PUSH1 0x40 0000038f: MLOAD 00000390: DUP1 00000391: SWAP2 00000392: SUB 00000393: SWAP1 00000394: RETURN 00000395: JUMPDEST 00000396: CALLVALUE 00000397: DUP1 00000398: ISZERO 00000399: PUSH2 0x03a1 0000039c: JUMPI 0000039d: PUSH1 0x00 0000039f: DUP1 000003a0: REVERT 000003a1: JUMPDEST 000003a2: POP 000003a3: PUSH2 0x03bc 000003a6: PUSH1 0x04 000003a8: DUP1 000003a9: CALLDATASIZE 000003aa: SUB 000003ab: DUP2 000003ac: ADD 000003ad: SWAP1 000003ae: PUSH2 0x03b7 000003b1: SWAP2 000003b2: SWAP1 000003b3: PUSH2 0x2e1a 000003b6: JUMP 000003b7: JUMPDEST 000003b8: PUSH2 0x0b6c 000003bb: JUMP 000003bc: JUMPDEST 000003bd: STOP 000003be: JUMPDEST 000003bf: CALLVALUE 000003c0: DUP1 000003c1: ISZERO 000003c2: PUSH2 0x03ca 000003c5: JUMPI 000003c6: PUSH1 0x00 000003c8: DUP1 000003c9: REVERT 000003ca: JUMPDEST 000003cb: POP 000003cc: PUSH2 0x03d3 000003cf: PUSH2 0x0d09 000003d2: JUMP 000003d3: JUMPDEST 000003d4: STOP 000003d5: JUMPDEST 000003d6: CALLVALUE 000003d7: DUP1 000003d8: ISZERO 000003d9: PUSH2 0x03e1 000003dc: JUMPI 000003dd: PUSH1 0x00 000003df: DUP1 000003e0: REVERT 000003e1: JUMPDEST 000003e2: POP 000003e3: PUSH2 0x03ea 000003e6: PUSH2 0x0d1d 000003e9: JUMP 000003ea: JUMPDEST 000003eb: PUSH1 0x40 000003ed: MLOAD 000003ee: PUSH2 0x03f7 000003f1: SWAP2 000003f2: SWAP1 000003f3: PUSH2 0x2b99 000003f6: JUMP 000003f7: JUMPDEST 000003f8: PUSH1 0x40 000003fa: MLOAD 000003fb: DUP1 000003fc: SWAP2 000003fd: SUB 000003fe: SWAP1 000003ff: RETURN 00000400: JUMPDEST 00000401: CALLVALUE 00000402: DUP1 00000403: ISZERO 00000404: PUSH2 0x040c 00000407: JUMPI 00000408: PUSH1 0x00 0000040a: DUP1 0000040b: REVERT 0000040c: JUMPDEST 0000040d: POP 0000040e: PUSH2 0x0415 00000411: PUSH2 0x0d41 00000414: JUMP 00000415: JUMPDEST 00000416: STOP 00000417: JUMPDEST 00000418: CALLVALUE 00000419: DUP1 0000041a: ISZERO 0000041b: PUSH2 0x0423 0000041e: JUMPI 0000041f: PUSH1 0x00 00000421: DUP1 00000422: REVERT 00000423: JUMPDEST 00000424: POP 00000425: PUSH2 0x042c 00000428: PUSH2 0x0e9b 0000042b: JUMP 0000042c: JUMPDEST 0000042d: PUSH1 0x40 0000042f: MLOAD 00000430: PUSH2 0x0439 00000433: SWAP2 00000434: SWAP1 00000435: PUSH2 0x2edd 00000438: JUMP 00000439: JUMPDEST 0000043a: PUSH1 0x40 0000043c: MLOAD 0000043d: DUP1 0000043e: SWAP2 0000043f: SUB 00000440: SWAP1 00000441: RETURN 00000442: JUMPDEST 00000443: CALLVALUE 00000444: DUP1 00000445: ISZERO 00000446: PUSH2 0x044e 00000449: JUMPI 0000044a: PUSH1 0x00 0000044c: DUP1 0000044d: REVERT 0000044e: JUMPDEST 0000044f: POP 00000450: PUSH2 0x0469 00000453: PUSH1 0x04 00000455: DUP1 00000456: CALLDATASIZE 00000457: SUB 00000458: DUP2 00000459: ADD 0000045a: SWAP1 0000045b: PUSH2 0x0464 0000045e: SWAP2 0000045f: SWAP1 00000460: PUSH2 0x2ef8 00000463: JUMP 00000464: JUMPDEST 00000465: PUSH2 0x0ec5 00000468: JUMP 00000469: JUMPDEST 0000046a: PUSH1 0x40 0000046c: MLOAD 0000046d: PUSH2 0x0476 00000470: SWAP2 00000471: SWAP1 00000472: PUSH2 0x2edd 00000475: JUMP 00000476: JUMPDEST 00000477: PUSH1 0x40 00000479: MLOAD 0000047a: DUP1 0000047b: SWAP2 0000047c: SUB 0000047d: SWAP1 0000047e: RETURN 0000047f: JUMPDEST 00000480: CALLVALUE 00000481: DUP1 00000482: ISZERO 00000483: PUSH2 0x048b 00000486: JUMPI 00000487: PUSH1 0x00 00000489: DUP1 0000048a: REVERT 0000048b: JUMPDEST 0000048c: POP 0000048d: PUSH2 0x04a6 00000490: PUSH1 0x04 00000492: DUP1 00000493: CALLDATASIZE 00000494: SUB 00000495: DUP2 00000496: ADD 00000497: SWAP1 00000498: PUSH2 0x04a1 0000049b: SWAP2 0000049c: SWAP1 0000049d: PUSH2 0x2bb4 000004a0: JUMP 000004a1: JUMPDEST 000004a2: PUSH2 0x0ef5 000004a5: JUMP 000004a6: JUMPDEST 000004a7: PUSH1 0x40 000004a9: MLOAD 000004aa: PUSH2 0x04b3 000004ad: SWAP2 000004ae: SWAP1 000004af: PUSH2 0x27b4 000004b2: JUMP 000004b3: JUMPDEST 000004b4: PUSH1 0x40 000004b6: MLOAD 000004b7: DUP1 000004b8: SWAP2 000004b9: SUB 000004ba: SWAP1 000004bb: RETURN 000004bc: JUMPDEST 000004bd: CALLVALUE 000004be: DUP1 000004bf: ISZERO 000004c0: PUSH2 0x04c8 000004c3: JUMPI 000004c4: PUSH1 0x00 000004c6: DUP1 000004c7: REVERT 000004c8: JUMPDEST 000004c9: POP 000004ca: PUSH2 0x04d1 000004cd: PUSH2 0x0f60 000004d0: JUMP 000004d1: JUMPDEST 000004d2: PUSH1 0x40 000004d4: MLOAD 000004d5: PUSH2 0x04de 000004d8: SWAP2 000004d9: SWAP1 000004da: PUSH2 0x2b99 000004dd: JUMP 000004de: JUMPDEST 000004df: PUSH1 0x40 000004e1: MLOAD 000004e2: DUP1 000004e3: SWAP2 000004e4: SUB 000004e5: SWAP1 000004e6: RETURN 000004e7: JUMPDEST 000004e8: CALLVALUE 000004e9: DUP1 000004ea: ISZERO 000004eb: PUSH2 0x04f3 000004ee: JUMPI 000004ef: PUSH1 0x00 000004f1: DUP1 000004f2: REVERT 000004f3: JUMPDEST 000004f4: POP 000004f5: PUSH2 0x050e 000004f8: PUSH1 0x04 000004fa: DUP1 000004fb: CALLDATASIZE 000004fc: SUB 000004fd: DUP2 000004fe: ADD 000004ff: SWAP1 00000500: PUSH2 0x0509 00000503: SWAP2 00000504: SWAP1 00000505: PUSH2 0x2b5d 00000508: JUMP 00000509: JUMPDEST 0000050a: PUSH2 0x0f67 0000050d: JUMP 0000050e: JUMPDEST 0000050f: PUSH1 0x40 00000511: MLOAD 00000512: PUSH2 0x051b 00000515: SWAP2 00000516: SWAP1 00000517: PUSH2 0x2f47 0000051a: JUMP 0000051b: JUMPDEST 0000051c: PUSH1 0x40 0000051e: MLOAD 0000051f: DUP1 00000520: SWAP2 00000521: SUB 00000522: SWAP1 00000523: RETURN 00000524: JUMPDEST 00000525: CALLVALUE 00000526: DUP1 00000527: ISZERO 00000528: PUSH2 0x0530 0000052b: JUMPI 0000052c: PUSH1 0x00 0000052e: DUP1 0000052f: REVERT 00000530: JUMPDEST 00000531: POP 00000532: PUSH2 0x054b 00000535: PUSH1 0x04 00000537: DUP1 00000538: CALLDATASIZE 00000539: SUB 0000053a: DUP2 0000053b: ADD 0000053c: SWAP1 0000053d: PUSH2 0x0546 00000540: SWAP2 00000541: SWAP1 00000542: PUSH2 0x2bb4 00000545: JUMP 00000546: JUMPDEST 00000547: PUSH2 0x0f8c 0000054a: JUMP 0000054b: JUMPDEST 0000054c: STOP 0000054d: JUMPDEST 0000054e: CALLVALUE 0000054f: DUP1 00000550: ISZERO 00000551: PUSH2 0x0559 00000554: JUMPI 00000555: PUSH1 0x00 00000557: DUP1 00000558: REVERT 00000559: JUMPDEST 0000055a: POP 0000055b: PUSH2 0x0574 0000055e: PUSH1 0x04 00000560: DUP1 00000561: CALLDATASIZE 00000562: SUB 00000563: DUP2 00000564: ADD 00000565: SWAP1 00000566: PUSH2 0x056f 00000569: SWAP2 0000056a: SWAP1 0000056b: PUSH2 0x2fb8 0000056e: JUMP 0000056f: JUMPDEST 00000570: PUSH2 0x0fad 00000573: JUMP 00000574: JUMPDEST 00000575: STOP 00000576: JUMPDEST 00000577: CALLVALUE 00000578: DUP1 00000579: ISZERO 0000057a: PUSH2 0x0582 0000057d: JUMPI 0000057e: PUSH1 0x00 00000580: DUP1 00000581: REVERT 00000582: JUMPDEST 00000583: POP 00000584: PUSH2 0x059d 00000587: PUSH1 0x04 00000589: DUP1 0000058a: CALLDATASIZE 0000058b: SUB 0000058c: DUP2 0000058d: ADD 0000058e: SWAP1 0000058f: PUSH2 0x0598 00000592: SWAP2 00000593: SWAP1 00000594: PUSH2 0x306c 00000597: JUMP 00000598: JUMPDEST 00000599: PUSH2 0x114a 0000059c: JUMP 0000059d: JUMPDEST 0000059e: STOP 0000059f: JUMPDEST 000005a0: CALLVALUE 000005a1: DUP1 000005a2: ISZERO 000005a3: PUSH2 0x05ab 000005a6: JUMPI 000005a7: PUSH1 0x00 000005a9: DUP1 000005aa: REVERT 000005ab: JUMPDEST 000005ac: POP 000005ad: PUSH2 0x05c6 000005b0: PUSH1 0x04 000005b2: DUP1 000005b3: CALLDATASIZE 000005b4: SUB 000005b5: DUP2 000005b6: ADD 000005b7: SWAP1 000005b8: PUSH2 0x05c1 000005bb: SWAP2 000005bc: SWAP1 000005bd: PUSH2 0x2bf4 000005c0: JUMP 000005c1: JUMPDEST 000005c2: PUSH2 0x1275 000005c5: JUMP 000005c6: JUMPDEST 000005c7: STOP 000005c8: JUMPDEST 000005c9: PUSH1 0x00 000005cb: PUSH32 0x5a05180f00000000000000000000000000000000000000000000000000000000 000005ec: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000609: NOT 0000060a: AND 0000060b: DUP3 0000060c: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000629: NOT 0000062a: AND 0000062b: EQ 0000062c: DUP1 0000062d: PUSH2 0x063b 00000630: JUMPI 00000631: POP 00000632: PUSH2 0x063a 00000635: DUP3 00000636: PUSH2 0x131c 00000639: JUMP 0000063a: JUMPDEST 0000063b: JUMPDEST 0000063c: SWAP1 0000063d: POP 0000063e: SWAP2 0000063f: SWAP1 00000640: POP 00000641: JUMP 00000642: JUMPDEST 00000643: PUSH32 0x8ec07e268e32cae7f300b49ad34f20106d088445cb9d9b2d62cbd864638308b2 00000664: PUSH2 0x066c 00000667: DUP2 00000668: PUSH2 0x1396 0000066b: JUMP 0000066c: JUMPDEST 0000066d: PUSH2 0x0677 00000670: DUP5 00000671: DUP5 00000672: DUP5 00000673: PUSH2 0x13aa 00000676: JUMP 00000677: JUMPDEST 00000678: POP 00000679: POP 0000067a: POP 0000067b: POP 0000067c: JUMP 0000067d: JUMPDEST 0000067e: PUSH32 0x8ec07e268e32cae7f300b49ad34f20106d088445cb9d9b2d62cbd864638308b2 0000069f: PUSH2 0x06a7 000006a2: DUP2 000006a3: PUSH2 0x1396 000006a6: JUMP 000006a7: JUMPDEST 000006a8: PUSH2 0x06b1 000006ab: DUP4 000006ac: DUP4 000006ad: PUSH2 0x1404 000006b0: JUMP 000006b1: JUMPDEST 000006b2: POP 000006b3: POP 000006b4: POP 000006b5: JUMP 000006b6: JUMPDEST 000006b7: PUSH1 0x00 000006b9: PUSH4 0x150b7a02 000006be: PUSH1 0xe0 000006c0: SHL 000006c1: SWAP1 000006c2: POP 000006c3: SWAP5 000006c4: SWAP4 000006c5: POP 000006c6: POP 000006c7: POP 000006c8: POP 000006c9: JUMP 000006ca: JUMPDEST 000006cb: PUSH1 0x00 000006cd: PUSH1 0xfb 000006cf: PUSH1 0x00 000006d1: DUP4 000006d2: DUP2 000006d3: MSTORE 000006d4: PUSH1 0x20 000006d6: ADD 000006d7: SWAP1 000006d8: DUP2 000006d9: MSTORE 000006da: PUSH1 0x20 000006dc: ADD 000006dd: PUSH1 0x00 000006df: KECCAK256 000006e0: PUSH1 0x01 000006e2: ADD 000006e3: SLOAD 000006e4: SWAP1 000006e5: POP 000006e6: SWAP2 000006e7: SWAP1 000006e8: POP 000006e9: JUMP 000006ea: JUMPDEST 000006eb: PUSH2 0x06f3 000006ee: DUP3 000006ef: PUSH2 0x06ca 000006f2: JUMP 000006f3: JUMPDEST 000006f4: PUSH2 0x06fc 000006f7: DUP2 000006f8: PUSH2 0x1396 000006fb: JUMP 000006fc: JUMPDEST 000006fd: PUSH2 0x0706 00000700: DUP4 00000701: DUP4 00000702: PUSH2 0x143c 00000705: JUMP 00000706: JUMPDEST 00000707: POP 00000708: POP 00000709: POP 0000070a: JUMP 0000070b: JUMPDEST 0000070c: PUSH2 0x0713 0000070f: PUSH2 0x1471 00000712: JUMP 00000713: JUMPDEST 00000714: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000729: AND 0000072a: DUP2 0000072b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000740: AND 00000741: EQ 00000742: PUSH2 0x0780 00000745: JUMPI 00000746: PUSH1 0x40 00000748: MLOAD 00000749: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000076a: DUP2 0000076b: MSTORE 0000076c: PUSH1 0x04 0000076e: ADD 0000076f: PUSH2 0x0777 00000772: SWAP1 00000773: PUSH2 0x3170 00000776: JUMP 00000777: JUMPDEST 00000778: PUSH1 0x40 0000077a: MLOAD 0000077b: DUP1 0000077c: SWAP2 0000077d: SUB 0000077e: SWAP1 0000077f: REVERT 00000780: JUMPDEST 00000781: PUSH2 0x078a 00000784: DUP3 00000785: DUP3 00000786: PUSH2 0x1479 00000789: JUMP 0000078a: JUMPDEST 0000078b: POP 0000078c: POP 0000078d: JUMP 0000078e: JUMPDEST 0000078f: PUSH32 0x000000000000000000000000d62dedee92074458b1c31133e6601cb6b87e844b 000007b0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007c5: AND 000007c6: ADDRESS 000007c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007dc: AND 000007dd: EQ 000007de: ISZERO 000007df: PUSH2 0x081d 000007e2: JUMPI 000007e3: PUSH1 0x40 000007e5: MLOAD 000007e6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000807: DUP2 00000808: MSTORE 00000809: PUSH1 0x04 0000080b: ADD 0000080c: PUSH2 0x0814 0000080f: SWAP1 00000810: PUSH2 0x3202 00000813: JUMP 00000814: JUMPDEST 00000815: PUSH1 0x40 00000817: MLOAD 00000818: DUP1 00000819: SWAP2 0000081a: SUB 0000081b: SWAP1 0000081c: REVERT 0000081d: JUMPDEST 0000081e: PUSH32 0x000000000000000000000000d62dedee92074458b1c31133e6601cb6b87e844b 0000083f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000854: AND 00000855: PUSH2 0x085c 00000858: PUSH2 0x14ae 0000085b: JUMP 0000085c: JUMPDEST 0000085d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000872: AND 00000873: EQ 00000874: PUSH2 0x08b2 00000877: JUMPI 00000878: PUSH1 0x40 0000087a: MLOAD 0000087b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000089c: DUP2 0000089d: MSTORE 0000089e: PUSH1 0x04 000008a0: ADD 000008a1: PUSH2 0x08a9 000008a4: SWAP1 000008a5: PUSH2 0x3294 000008a8: JUMP 000008a9: JUMPDEST 000008aa: PUSH1 0x40 000008ac: MLOAD 000008ad: DUP1 000008ae: SWAP2 000008af: SUB 000008b0: SWAP1 000008b1: REVERT 000008b2: JUMPDEST 000008b3: PUSH2 0x08bb 000008b6: DUP2 000008b7: PUSH2 0x1505 000008ba: JUMP 000008bb: JUMPDEST 000008bc: PUSH2 0x0914 000008bf: DUP2 000008c0: PUSH1 0x00 000008c2: PUSH8 0xffffffffffffffff 000008cb: DUP2 000008cc: GT 000008cd: ISZERO 000008ce: PUSH2 0x08da 000008d1: JUMPI 000008d2: PUSH2 0x08d9 000008d5: PUSH2 0x294f 000008d8: JUMP 000008d9: JUMPDEST 000008da: JUMPDEST 000008db: PUSH1 0x40 000008dd: MLOAD 000008de: SWAP1 000008df: DUP1 000008e0: DUP3 000008e1: MSTORE 000008e2: DUP1 000008e3: PUSH1 0x1f 000008e5: ADD 000008e6: PUSH1 0x1f 000008e8: NOT 000008e9: AND 000008ea: PUSH1 0x20 000008ec: ADD 000008ed: DUP3 000008ee: ADD 000008ef: PUSH1 0x40 000008f1: MSTORE 000008f2: DUP1 000008f3: ISZERO 000008f4: PUSH2 0x090c 000008f7: JUMPI 000008f8: DUP2 000008f9: PUSH1 0x20 000008fb: ADD 000008fc: PUSH1 0x01 000008fe: DUP3 000008ff: MUL 00000900: DUP1 00000901: CALLDATASIZE 00000902: DUP4 00000903: CALLDATACOPY 00000904: DUP1 00000905: DUP3 00000906: ADD 00000907: SWAP2 00000908: POP 00000909: POP 0000090a: SWAP1 0000090b: POP 0000090c: JUMPDEST 0000090d: POP 0000090e: PUSH1 0x00 00000910: PUSH2 0x1510 00000913: JUMP 00000914: JUMPDEST 00000915: POP 00000916: JUMP 00000917: JUMPDEST 00000918: PUSH32 0x8ec07e268e32cae7f300b49ad34f20106d088445cb9d9b2d62cbd864638308b2 00000939: PUSH2 0x0941 0000093c: DUP2 0000093d: PUSH2 0x1396 00000940: JUMP 00000941: JUMPDEST 00000942: PUSH2 0x094c 00000945: DUP5 00000946: DUP5 00000947: DUP5 00000948: PUSH2 0x168d 0000094b: JUMP 0000094c: JUMPDEST 0000094d: POP 0000094e: POP 0000094f: POP 00000950: POP 00000951: JUMP 00000952: JUMPDEST 00000953: PUSH32 0x95ed160efa56927d40641b26c79df8395a2e4f8f170168fedfa462234b4c3a46 00000974: DUP2 00000975: JUMP 00000976: JUMPDEST 00000977: PUSH32 0x000000000000000000000000d62dedee92074458b1c31133e6601cb6b87e844b 00000998: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009ad: AND 000009ae: ADDRESS 000009af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009c4: AND 000009c5: EQ 000009c6: ISZERO 000009c7: PUSH2 0x0a05 000009ca: JUMPI 000009cb: PUSH1 0x40 000009cd: MLOAD 000009ce: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000009ef: DUP2 000009f0: MSTORE 000009f1: PUSH1 0x04 000009f3: ADD 000009f4: PUSH2 0x09fc 000009f7: SWAP1 000009f8: PUSH2 0x3202 000009fb: JUMP 000009fc: JUMPDEST 000009fd: PUSH1 0x40 000009ff: MLOAD 00000a00: DUP1 00000a01: SWAP2 00000a02: SUB 00000a03: SWAP1 00000a04: REVERT 00000a05: JUMPDEST 00000a06: PUSH32 0x000000000000000000000000d62dedee92074458b1c31133e6601cb6b87e844b 00000a27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a3c: AND 00000a3d: PUSH2 0x0a44 00000a40: PUSH2 0x14ae 00000a43: JUMP 00000a44: JUMPDEST 00000a45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a5a: AND 00000a5b: EQ 00000a5c: PUSH2 0x0a9a 00000a5f: JUMPI 00000a60: PUSH1 0x40 00000a62: MLOAD 00000a63: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a84: DUP2 00000a85: MSTORE 00000a86: PUSH1 0x04 00000a88: ADD 00000a89: PUSH2 0x0a91 00000a8c: SWAP1 00000a8d: PUSH2 0x3294 00000a90: JUMP 00000a91: JUMPDEST 00000a92: PUSH1 0x40 00000a94: MLOAD 00000a95: DUP1 00000a96: SWAP2 00000a97: SUB 00000a98: SWAP1 00000a99: REVERT 00000a9a: JUMPDEST 00000a9b: PUSH2 0x0aa3 00000a9e: DUP3 00000a9f: PUSH2 0x1505 00000aa2: JUMP 00000aa3: JUMPDEST 00000aa4: PUSH2 0x0aaf 00000aa7: DUP3 00000aa8: DUP3 00000aa9: PUSH1 0x01 00000aab: PUSH2 0x1510 00000aae: JUMP 00000aaf: JUMPDEST 00000ab0: POP 00000ab1: POP 00000ab2: JUMP 00000ab3: JUMPDEST 00000ab4: PUSH1 0x00 00000ab6: PUSH32 0x000000000000000000000000d62dedee92074458b1c31133e6601cb6b87e844b 00000ad7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aec: AND 00000aed: ADDRESS 00000aee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b03: AND 00000b04: EQ 00000b05: PUSH2 0x0b43 00000b08: JUMPI 00000b09: PUSH1 0x40 00000b0b: MLOAD 00000b0c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000b2d: DUP2 00000b2e: MSTORE 00000b2f: PUSH1 0x04 00000b31: ADD 00000b32: PUSH2 0x0b3a 00000b35: SWAP1 00000b36: PUSH2 0x3326 00000b39: JUMP 00000b3a: JUMPDEST 00000b3b: PUSH1 0x40 00000b3d: MLOAD 00000b3e: DUP1 00000b3f: SWAP2 00000b40: SUB 00000b41: SWAP1 00000b42: REVERT 00000b43: JUMPDEST 00000b44: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00000b65: PUSH1 0x00 00000b67: SHL 00000b68: SWAP1 00000b69: POP 00000b6a: SWAP1 00000b6b: JUMP 00000b6c: JUMPDEST 00000b6d: PUSH32 0x8ec07e268e32cae7f300b49ad34f20106d088445cb9d9b2d62cbd864638308b2 00000b8e: PUSH2 0x0b96 00000b91: DUP2 00000b92: PUSH2 0x1396 00000b95: JUMP 00000b96: JUMPDEST 00000b97: DUP5 00000b98: DUP5 00000b99: SWAP1 00000b9a: POP 00000b9b: DUP8 00000b9c: DUP8 00000b9d: SWAP1 00000b9e: POP 00000b9f: EQ 00000ba0: PUSH2 0x0bde 00000ba3: JUMPI 00000ba4: PUSH1 0x40 00000ba6: MLOAD 00000ba7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000bc8: DUP2 00000bc9: MSTORE 00000bca: PUSH1 0x04 00000bcc: ADD 00000bcd: PUSH2 0x0bd5 00000bd0: SWAP1 00000bd1: PUSH2 0x33b8 00000bd4: JUMP 00000bd5: JUMPDEST 00000bd6: PUSH1 0x40 00000bd8: MLOAD 00000bd9: DUP1 00000bda: SWAP2 00000bdb: SUB 00000bdc: SWAP1 00000bdd: REVERT 00000bde: JUMPDEST 00000bdf: DUP3 00000be0: DUP3 00000be1: SWAP1 00000be2: POP 00000be3: DUP6 00000be4: DUP6 00000be5: SWAP1 00000be6: POP 00000be7: EQ 00000be8: PUSH2 0x0c26 00000beb: JUMPI 00000bec: PUSH1 0x40 00000bee: MLOAD 00000bef: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c10: DUP2 00000c11: MSTORE 00000c12: PUSH1 0x04 00000c14: ADD 00000c15: PUSH2 0x0c1d 00000c18: SWAP1 00000c19: PUSH2 0x344a 00000c1c: JUMP 00000c1d: JUMPDEST 00000c1e: PUSH1 0x40 00000c20: MLOAD 00000c21: DUP1 00000c22: SWAP2 00000c23: SUB 00000c24: SWAP1 00000c25: REVERT 00000c26: JUMPDEST 00000c27: PUSH1 0x00 00000c29: DUP6 00000c2a: DUP6 00000c2b: SWAP1 00000c2c: POP 00000c2d: GT 00000c2e: PUSH2 0x0c6c 00000c31: JUMPI 00000c32: PUSH1 0x40 00000c34: MLOAD 00000c35: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000c56: DUP2 00000c57: MSTORE 00000c58: PUSH1 0x04 00000c5a: ADD 00000c5b: PUSH2 0x0c63 00000c5e: SWAP1 00000c5f: PUSH2 0x34dc 00000c62: JUMP 00000c63: JUMPDEST 00000c64: PUSH1 0x40 00000c66: MLOAD 00000c67: DUP1 00000c68: SWAP2 00000c69: SUB 00000c6a: SWAP1 00000c6b: REVERT 00000c6c: JUMPDEST 00000c6d: PUSH1 0x00 00000c6f: JUMPDEST 00000c70: DUP6 00000c71: DUP6 00000c72: SWAP1 00000c73: POP 00000c74: DUP2 00000c75: LT 00000c76: ISZERO 00000c77: PUSH2 0x0cff 00000c7a: JUMPI 00000c7b: PUSH2 0x0cec 00000c7e: DUP9 00000c7f: DUP9 00000c80: DUP4 00000c81: DUP2 00000c82: DUP2 00000c83: LT 00000c84: PUSH2 0x0c90 00000c87: JUMPI 00000c88: PUSH2 0x0c8f 00000c8b: PUSH2 0x34fc 00000c8e: JUMP 00000c8f: JUMPDEST 00000c90: JUMPDEST 00000c91: SWAP1 00000c92: POP 00000c93: PUSH1 0x20 00000c95: MUL 00000c96: ADD 00000c97: PUSH1 0x20 00000c99: DUP2 00000c9a: ADD 00000c9b: SWAP1 00000c9c: PUSH2 0x0ca5 00000c9f: SWAP2 00000ca0: SWAP1 00000ca1: PUSH2 0x352b 00000ca4: JUMP 00000ca5: JUMPDEST 00000ca6: DUP8 00000ca7: DUP8 00000ca8: DUP5 00000ca9: DUP2 00000caa: DUP2 00000cab: LT 00000cac: PUSH2 0x0cb8 00000caf: JUMPI 00000cb0: PUSH2 0x0cb7 00000cb3: PUSH2 0x34fc 00000cb6: JUMP 00000cb7: JUMPDEST 00000cb8: JUMPDEST 00000cb9: SWAP1 00000cba: POP 00000cbb: PUSH1 0x20 00000cbd: MUL 00000cbe: ADD 00000cbf: PUSH1 0x20 00000cc1: DUP2 00000cc2: ADD 00000cc3: SWAP1 00000cc4: PUSH2 0x0ccd 00000cc7: SWAP2 00000cc8: SWAP1 00000cc9: PUSH2 0x2bf4 00000ccc: JUMP 00000ccd: JUMPDEST 00000cce: DUP7 00000ccf: DUP7 00000cd0: DUP6 00000cd1: DUP2 00000cd2: DUP2 00000cd3: LT 00000cd4: PUSH2 0x0ce0 00000cd7: JUMPI 00000cd8: PUSH2 0x0cdf 00000cdb: PUSH2 0x34fc 00000cde: JUMP 00000cdf: JUMPDEST 00000ce0: JUMPDEST 00000ce1: SWAP1 00000ce2: POP 00000ce3: PUSH1 0x20 00000ce5: MUL 00000ce6: ADD 00000ce7: CALLDATALOAD 00000ce8: PUSH2 0x168d 00000ceb: JUMP 00000cec: JUMPDEST 00000ced: DUP1 00000cee: DUP1 00000cef: PUSH2 0x0cf7 00000cf2: SWAP1 00000cf3: PUSH2 0x3587 00000cf6: JUMP 00000cf7: JUMPDEST 00000cf8: SWAP2 00000cf9: POP 00000cfa: POP 00000cfb: PUSH2 0x0c6f 00000cfe: JUMP 00000cff: JUMPDEST 00000d00: POP 00000d01: POP 00000d02: POP 00000d03: POP 00000d04: POP 00000d05: POP 00000d06: POP 00000d07: POP 00000d08: JUMP 00000d09: JUMPDEST 00000d0a: PUSH2 0x0d11 00000d0d: PUSH2 0x172b 00000d10: JUMP 00000d11: JUMPDEST 00000d12: PUSH2 0x0d1b 00000d15: PUSH1 0x00 00000d17: PUSH2 0x17a9 00000d1a: JUMP 00000d1b: JUMPDEST 00000d1c: JUMP 00000d1d: JUMPDEST 00000d1e: PUSH32 0x8ec07e268e32cae7f300b49ad34f20106d088445cb9d9b2d62cbd864638308b2 00000d3f: DUP2 00000d40: JUMP 00000d41: JUMPDEST 00000d42: PUSH1 0x00 00000d44: DUP1 00000d45: PUSH1 0x01 00000d47: SWAP1 00000d48: SLOAD 00000d49: SWAP1 00000d4a: PUSH2 0x0100 00000d4d: EXP 00000d4e: SWAP1 00000d4f: DIV 00000d50: PUSH1 0xff 00000d52: AND 00000d53: ISZERO 00000d54: SWAP1 00000d55: POP 00000d56: DUP1 00000d57: DUP1 00000d58: ISZERO 00000d59: PUSH2 0x0d72 00000d5c: JUMPI 00000d5d: POP 00000d5e: PUSH1 0x01 00000d60: PUSH1 0x00 00000d62: DUP1 00000d63: SLOAD 00000d64: SWAP1 00000d65: PUSH2 0x0100 00000d68: EXP 00000d69: SWAP1 00000d6a: DIV 00000d6b: PUSH1 0xff 00000d6d: AND 00000d6e: PUSH1 0xff 00000d70: AND 00000d71: LT 00000d72: JUMPDEST 00000d73: DUP1 00000d74: PUSH2 0x0d9f 00000d77: JUMPI 00000d78: POP 00000d79: PUSH2 0x0d81 00000d7c: ADDRESS 00000d7d: PUSH2 0x12f9 00000d80: JUMP 00000d81: JUMPDEST 00000d82: ISZERO 00000d83: DUP1 00000d84: ISZERO 00000d85: PUSH2 0x0d9e 00000d88: JUMPI 00000d89: POP 00000d8a: PUSH1 0x01 00000d8c: PUSH1 0x00 00000d8e: DUP1 00000d8f: SLOAD 00000d90: SWAP1 00000d91: PUSH2 0x0100 00000d94: EXP 00000d95: SWAP1 00000d96: DIV 00000d97: PUSH1 0xff 00000d99: AND 00000d9a: PUSH1 0xff 00000d9c: AND 00000d9d: EQ 00000d9e: JUMPDEST 00000d9f: JUMPDEST 00000da0: PUSH2 0x0dde 00000da3: JUMPI 00000da4: PUSH1 0x40 00000da6: MLOAD 00000da7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000dc8: DUP2 00000dc9: MSTORE 00000dca: PUSH1 0x04 00000dcc: ADD 00000dcd: PUSH2 0x0dd5 00000dd0: SWAP1 00000dd1: PUSH2 0x3642 00000dd4: JUMP 00000dd5: JUMPDEST 00000dd6: PUSH1 0x40 00000dd8: MLOAD 00000dd9: DUP1 00000dda: SWAP2 00000ddb: SUB 00000ddc: SWAP1 00000ddd: REVERT 00000dde: JUMPDEST 00000ddf: PUSH1 0x01 00000de1: PUSH1 0x00 00000de3: DUP1 00000de4: PUSH2 0x0100 00000de7: EXP 00000de8: DUP2 00000de9: SLOAD 00000dea: DUP2 00000deb: PUSH1 0xff 00000ded: MUL 00000dee: NOT 00000def: AND 00000df0: SWAP1 00000df1: DUP4 00000df2: PUSH1 0xff 00000df4: AND 00000df5: MUL 00000df6: OR 00000df7: SWAP1 00000df8: SSTORE 00000df9: POP 00000dfa: DUP1 00000dfb: ISZERO 00000dfc: PUSH2 0x0e1b 00000dff: JUMPI 00000e00: PUSH1 0x01 00000e02: PUSH1 0x00 00000e04: PUSH1 0x01 00000e06: PUSH2 0x0100 00000e09: EXP 00000e0a: DUP2 00000e0b: SLOAD 00000e0c: DUP2 00000e0d: PUSH1 0xff 00000e0f: MUL 00000e10: NOT 00000e11: AND 00000e12: SWAP1 00000e13: DUP4 00000e14: ISZERO 00000e15: ISZERO 00000e16: MUL 00000e17: OR 00000e18: SWAP1 00000e19: SSTORE 00000e1a: POP 00000e1b: JUMPDEST 00000e1c: PUSH2 0x0e23 00000e1f: PUSH2 0x186f 00000e22: JUMP 00000e23: JUMPDEST 00000e24: PUSH2 0x0e2b 00000e27: PUSH2 0x18c8 00000e2a: JUMP 00000e2b: JUMPDEST 00000e2c: PUSH2 0x0e3f 00000e2f: PUSH1 0x00 00000e31: DUP1 00000e32: SHL 00000e33: PUSH2 0x0e3a 00000e36: PUSH2 0x1471 00000e39: JUMP 00000e3a: JUMPDEST 00000e3b: PUSH2 0x1919 00000e3e: JUMP 00000e3f: JUMPDEST 00000e40: DUP1 00000e41: ISZERO 00000e42: PUSH2 0x0e98 00000e45: JUMPI 00000e46: PUSH1 0x00 00000e48: DUP1 00000e49: PUSH1 0x01 00000e4b: PUSH2 0x0100 00000e4e: EXP 00000e4f: DUP2 00000e50: SLOAD 00000e51: DUP2 00000e52: PUSH1 0xff 00000e54: MUL 00000e55: NOT 00000e56: AND 00000e57: SWAP1 00000e58: DUP4 00000e59: ISZERO 00000e5a: ISZERO 00000e5b: MUL 00000e5c: OR 00000e5d: SWAP1 00000e5e: SSTORE 00000e5f: POP 00000e60: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498 00000e81: PUSH1 0x01 00000e83: PUSH1 0x40 00000e85: MLOAD 00000e86: PUSH2 0x0e8f 00000e89: SWAP2 00000e8a: SWAP1 00000e8b: PUSH2 0x36b4 00000e8e: JUMP 00000e8f: JUMPDEST 00000e90: PUSH1 0x40 00000e92: MLOAD 00000e93: DUP1 00000e94: SWAP2 00000e95: SUB 00000e96: SWAP1 00000e97: LOG1 00000e98: JUMPDEST 00000e99: POP 00000e9a: JUMP 00000e9b: JUMPDEST 00000e9c: PUSH1 0x00 00000e9e: PUSH1 0x97 00000ea0: PUSH1 0x00 00000ea2: SWAP1 00000ea3: SLOAD 00000ea4: SWAP1 00000ea5: PUSH2 0x0100 00000ea8: EXP 00000ea9: SWAP1 00000eaa: DIV 00000eab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ec0: AND 00000ec1: SWAP1 00000ec2: POP 00000ec3: SWAP1 00000ec4: JUMP 00000ec5: JUMPDEST 00000ec6: PUSH1 0x00 00000ec8: PUSH2 0x0eed 00000ecb: DUP3 00000ecc: PUSH2 0x012d 00000ecf: PUSH1 0x00 00000ed1: DUP7 00000ed2: DUP2 00000ed3: MSTORE 00000ed4: PUSH1 0x20 00000ed6: ADD 00000ed7: SWAP1 00000ed8: DUP2 00000ed9: MSTORE 00000eda: PUSH1 0x20 00000edc: ADD 00000edd: PUSH1 0x00 00000edf: KECCAK256 00000ee0: PUSH2 0x1927 00000ee3: SWAP1 00000ee4: SWAP2 00000ee5: SWAP1 00000ee6: PUSH4 0xffffffff 00000eeb: AND 00000eec: JUMP 00000eed: JUMPDEST 00000eee: SWAP1 00000eef: POP 00000ef0: SWAP3 00000ef1: SWAP2 00000ef2: POP 00000ef3: POP 00000ef4: JUMP 00000ef5: JUMPDEST 00000ef6: PUSH1 0x00 00000ef8: PUSH1 0xfb 00000efa: PUSH1 0x00 00000efc: DUP5 00000efd: DUP2 00000efe: MSTORE 00000eff: PUSH1 0x20 00000f01: ADD 00000f02: SWAP1 00000f03: DUP2 00000f04: MSTORE 00000f05: PUSH1 0x20 00000f07: ADD 00000f08: PUSH1 0x00 00000f0a: KECCAK256 00000f0b: PUSH1 0x00 00000f0d: ADD 00000f0e: PUSH1 0x00 00000f10: DUP4 00000f11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f26: AND 00000f27: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f3c: AND 00000f3d: DUP2 00000f3e: MSTORE 00000f3f: PUSH1 0x20 00000f41: ADD 00000f42: SWAP1 00000f43: DUP2 00000f44: MSTORE 00000f45: PUSH1 0x20 00000f47: ADD 00000f48: PUSH1 0x00 00000f4a: KECCAK256 00000f4b: PUSH1 0x00 00000f4d: SWAP1 00000f4e: SLOAD 00000f4f: SWAP1 00000f50: PUSH2 0x0100 00000f53: EXP 00000f54: SWAP1 00000f55: DIV 00000f56: PUSH1 0xff 00000f58: AND 00000f59: SWAP1 00000f5a: POP 00000f5b: SWAP3 00000f5c: SWAP2 00000f5d: POP 00000f5e: POP 00000f5f: JUMP 00000f60: JUMPDEST 00000f61: PUSH1 0x00 00000f63: DUP1 00000f64: SHL 00000f65: DUP2 00000f66: JUMP 00000f67: JUMPDEST 00000f68: PUSH1 0x00 00000f6a: PUSH2 0x0f85 00000f6d: PUSH2 0x012d 00000f70: PUSH1 0x00 00000f72: DUP5 00000f73: DUP2 00000f74: MSTORE 00000f75: PUSH1 0x20 00000f77: ADD 00000f78: SWAP1 00000f79: DUP2 00000f7a: MSTORE 00000f7b: PUSH1 0x20 00000f7d: ADD 00000f7e: PUSH1 0x00 00000f80: KECCAK256 00000f81: PUSH2 0x1941 00000f84: JUMP 00000f85: JUMPDEST 00000f86: SWAP1 00000f87: POP 00000f88: SWAP2 00000f89: SWAP1 00000f8a: POP 00000f8b: JUMP 00000f8c: JUMPDEST 00000f8d: PUSH2 0x0f95 00000f90: DUP3 00000f91: PUSH2 0x06ca 00000f94: JUMP 00000f95: JUMPDEST 00000f96: PUSH2 0x0f9e 00000f99: DUP2 00000f9a: PUSH2 0x1396 00000f9d: JUMP 00000f9e: JUMPDEST 00000f9f: PUSH2 0x0fa8 00000fa2: DUP4 00000fa3: DUP4 00000fa4: PUSH2 0x1479 00000fa7: JUMP 00000fa8: JUMPDEST 00000fa9: POP 00000faa: POP 00000fab: POP 00000fac: JUMP 00000fad: JUMPDEST 00000fae: PUSH32 0x8ec07e268e32cae7f300b49ad34f20106d088445cb9d9b2d62cbd864638308b2 00000fcf: PUSH2 0x0fd7 00000fd2: DUP2 00000fd3: PUSH2 0x1396 00000fd6: JUMP 00000fd7: JUMPDEST 00000fd8: DUP5 00000fd9: DUP5 00000fda: SWAP1 00000fdb: POP 00000fdc: DUP8 00000fdd: DUP8 00000fde: SWAP1 00000fdf: POP 00000fe0: EQ 00000fe1: PUSH2 0x101f 00000fe4: JUMPI 00000fe5: PUSH1 0x40 00000fe7: MLOAD 00000fe8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001009: DUP2 0000100a: MSTORE 0000100b: PUSH1 0x04 0000100d: ADD 0000100e: PUSH2 0x1016 00001011: SWAP1 00001012: PUSH2 0x3741 00001015: JUMP 00001016: JUMPDEST 00001017: PUSH1 0x40 00001019: MLOAD 0000101a: DUP1 0000101b: SWAP2 0000101c: SUB 0000101d: SWAP1 0000101e: REVERT 0000101f: JUMPDEST 00001020: DUP3 00001021: DUP3 00001022: SWAP1 00001023: POP 00001024: DUP6 00001025: DUP6 00001026: SWAP1 00001027: POP 00001028: EQ 00001029: PUSH2 0x1067 0000102c: JUMPI 0000102d: PUSH1 0x40 0000102f: MLOAD 00001030: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001051: DUP2 00001052: MSTORE 00001053: PUSH1 0x04 00001055: ADD 00001056: PUSH2 0x105e 00001059: SWAP1 0000105a: PUSH2 0x37d3 0000105d: JUMP 0000105e: JUMPDEST 0000105f: PUSH1 0x40 00001061: MLOAD 00001062: DUP1 00001063: SWAP2 00001064: SUB 00001065: SWAP1 00001066: REVERT 00001067: JUMPDEST 00001068: PUSH1 0x00 0000106a: DUP6 0000106b: DUP6 0000106c: SWAP1 0000106d: POP 0000106e: GT 0000106f: PUSH2 0x10ad 00001072: JUMPI 00001073: PUSH1 0x40 00001075: MLOAD 00001076: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001097: DUP2 00001098: MSTORE 00001099: PUSH1 0x04 0000109b: ADD 0000109c: PUSH2 0x10a4 0000109f: SWAP1 000010a0: PUSH2 0x3865 000010a3: JUMP 000010a4: JUMPDEST 000010a5: PUSH1 0x40 000010a7: MLOAD 000010a8: DUP1 000010a9: SWAP2 000010aa: SUB 000010ab: SWAP1 000010ac: REVERT 000010ad: JUMPDEST 000010ae: PUSH1 0x00 000010b0: JUMPDEST 000010b1: DUP6 000010b2: DUP6 000010b3: SWAP1 000010b4: POP 000010b5: DUP2 000010b6: LT 000010b7: ISZERO 000010b8: PUSH2 0x1140 000010bb: JUMPI 000010bc: PUSH2 0x112d 000010bf: DUP9 000010c0: DUP9 000010c1: DUP4 000010c2: DUP2 000010c3: DUP2 000010c4: LT 000010c5: PUSH2 0x10d1 000010c8: JUMPI 000010c9: PUSH2 0x10d0 000010cc: PUSH2 0x34fc 000010cf: JUMP 000010d0: JUMPDEST 000010d1: JUMPDEST 000010d2: SWAP1 000010d3: POP 000010d4: PUSH1 0x20 000010d6: MUL 000010d7: ADD 000010d8: PUSH1 0x20 000010da: DUP2 000010db: ADD 000010dc: SWAP1 000010dd: PUSH2 0x10e6 000010e0: SWAP2 000010e1: SWAP1 000010e2: PUSH2 0x3885 000010e5: JUMP 000010e6: JUMPDEST 000010e7: DUP8 000010e8: DUP8 000010e9: DUP5 000010ea: DUP2 000010eb: DUP2 000010ec: LT 000010ed: PUSH2 0x10f9 000010f0: JUMPI 000010f1: PUSH2 0x10f8 000010f4: PUSH2 0x34fc 000010f7: JUMP 000010f8: JUMPDEST 000010f9: JUMPDEST 000010fa: SWAP1 000010fb: POP 000010fc: PUSH1 0x20 000010fe: MUL 000010ff: ADD 00001100: PUSH1 0x20 00001102: DUP2 00001103: ADD 00001104: SWAP1 00001105: PUSH2 0x110e 00001108: SWAP2 00001109: SWAP1 0000110a: PUSH2 0x2bf4 0000110d: JUMP 0000110e: JUMPDEST 0000110f: DUP7 00001110: DUP7 00001111: DUP6 00001112: DUP2 00001113: DUP2 00001114: LT 00001115: PUSH2 0x1121 00001118: JUMPI 00001119: PUSH2 0x1120 0000111c: PUSH2 0x34fc 0000111f: JUMP 00001120: JUMPDEST 00001121: JUMPDEST 00001122: SWAP1 00001123: POP 00001124: PUSH1 0x20 00001126: MUL 00001127: ADD 00001128: CALLDATALOAD 00001129: PUSH2 0x13aa 0000112c: JUMP 0000112d: JUMPDEST 0000112e: DUP1 0000112f: DUP1 00001130: PUSH2 0x1138 00001133: SWAP1 00001134: PUSH2 0x3587 00001137: JUMP 00001138: JUMPDEST 00001139: SWAP2 0000113a: POP 0000113b: POP 0000113c: PUSH2 0x10b0 0000113f: JUMP 00001140: JUMPDEST 00001141: POP 00001142: POP 00001143: POP 00001144: POP 00001145: POP 00001146: POP 00001147: POP 00001148: POP 00001149: JUMP 0000114a: JUMPDEST 0000114b: PUSH32 0x8ec07e268e32cae7f300b49ad34f20106d088445cb9d9b2d62cbd864638308b2 0000116c: PUSH2 0x1174 0000116f: DUP2 00001170: PUSH2 0x1396 00001173: JUMP 00001174: JUMPDEST 00001175: DUP3 00001176: DUP3 00001177: SWAP1 00001178: POP 00001179: DUP6 0000117a: DUP6 0000117b: SWAP1 0000117c: POP 0000117d: EQ 0000117e: PUSH2 0x11bc 00001181: JUMPI 00001182: PUSH1 0x40 00001184: MLOAD 00001185: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000011a6: DUP2 000011a7: MSTORE 000011a8: PUSH1 0x04 000011aa: ADD 000011ab: PUSH2 0x11b3 000011ae: SWAP1 000011af: PUSH2 0x3924 000011b2: JUMP 000011b3: JUMPDEST 000011b4: PUSH1 0x40 000011b6: MLOAD 000011b7: DUP1 000011b8: SWAP2 000011b9: SUB 000011ba: SWAP1 000011bb: REVERT 000011bc: JUMPDEST 000011bd: PUSH1 0x00 000011bf: DUP6 000011c0: DUP6 000011c1: SWAP1 000011c2: POP 000011c3: GT 000011c4: PUSH2 0x1202 000011c7: JUMPI 000011c8: PUSH1 0x40 000011ca: MLOAD 000011cb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000011ec: DUP2 000011ed: MSTORE 000011ee: PUSH1 0x04 000011f0: ADD 000011f1: PUSH2 0x11f9 000011f4: SWAP1 000011f5: PUSH2 0x39b6 000011f8: JUMP 000011f9: JUMPDEST 000011fa: PUSH1 0x40 000011fc: MLOAD 000011fd: DUP1 000011fe: SWAP2 000011ff: SUB 00001200: SWAP1 00001201: REVERT 00001202: JUMPDEST 00001203: PUSH1 0x00 00001205: JUMPDEST 00001206: DUP6 00001207: DUP6 00001208: SWAP1 00001209: POP 0000120a: DUP2 0000120b: LT 0000120c: ISZERO 0000120d: PUSH2 0x126d 00001210: JUMPI 00001211: PUSH2 0x125a 00001214: DUP7 00001215: DUP7 00001216: DUP4 00001217: DUP2 00001218: DUP2 00001219: LT 0000121a: PUSH2 0x1226 0000121d: JUMPI 0000121e: PUSH2 0x1225 00001221: PUSH2 0x34fc 00001224: JUMP 00001225: JUMPDEST 00001226: JUMPDEST 00001227: SWAP1 00001228: POP 00001229: PUSH1 0x20 0000122b: MUL 0000122c: ADD 0000122d: PUSH1 0x20 0000122f: DUP2 00001230: ADD 00001231: SWAP1 00001232: PUSH2 0x123b 00001235: SWAP2 00001236: SWAP1 00001237: PUSH2 0x2bf4 0000123a: JUMP 0000123b: JUMPDEST 0000123c: DUP6 0000123d: DUP6 0000123e: DUP5 0000123f: DUP2 00001240: DUP2 00001241: LT 00001242: PUSH2 0x124e 00001245: JUMPI 00001246: PUSH2 0x124d 00001249: PUSH2 0x34fc 0000124c: JUMP 0000124d: JUMPDEST 0000124e: JUMPDEST 0000124f: SWAP1 00001250: POP 00001251: PUSH1 0x20 00001253: MUL 00001254: ADD 00001255: CALLDATALOAD 00001256: PUSH2 0x1404 00001259: JUMP 0000125a: JUMPDEST 0000125b: DUP1 0000125c: DUP1 0000125d: PUSH2 0x1265 00001260: SWAP1 00001261: PUSH2 0x3587 00001264: JUMP 00001265: JUMPDEST 00001266: SWAP2 00001267: POP 00001268: POP 00001269: PUSH2 0x1205 0000126c: JUMP 0000126d: JUMPDEST 0000126e: POP 0000126f: POP 00001270: POP 00001271: POP 00001272: POP 00001273: POP 00001274: JUMP 00001275: JUMPDEST 00001276: PUSH2 0x127d 00001279: PUSH2 0x172b 0000127c: JUMP 0000127d: JUMPDEST 0000127e: PUSH1 0x00 00001280: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001295: AND 00001296: DUP2 00001297: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012ac: AND 000012ad: EQ 000012ae: ISZERO 000012af: PUSH2 0x12ed 000012b2: JUMPI 000012b3: PUSH1 0x40 000012b5: MLOAD 000012b6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000012d7: DUP2 000012d8: MSTORE 000012d9: PUSH1 0x04 000012db: ADD 000012dc: PUSH2 0x12e4 000012df: SWAP1 000012e0: PUSH2 0x3a48 000012e3: JUMP 000012e4: JUMPDEST 000012e5: PUSH1 0x40 000012e7: MLOAD 000012e8: DUP1 000012e9: SWAP2 000012ea: SUB 000012eb: SWAP1 000012ec: REVERT 000012ed: JUMPDEST 000012ee: PUSH2 0x12f6 000012f1: DUP2 000012f2: PUSH2 0x17a9 000012f5: JUMP 000012f6: JUMPDEST 000012f7: POP 000012f8: JUMP 000012f9: JUMPDEST 000012fa: PUSH1 0x00 000012fc: DUP1 000012fd: DUP3 000012fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001313: AND 00001314: EXTCODESIZE 00001315: GT 00001316: SWAP1 00001317: POP 00001318: SWAP2 00001319: SWAP1 0000131a: POP 0000131b: JUMP 0000131c: JUMPDEST 0000131d: PUSH1 0x00 0000131f: PUSH32 0x7965db0b00000000000000000000000000000000000000000000000000000000 00001340: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000135d: NOT 0000135e: AND 0000135f: DUP3 00001360: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000137d: NOT 0000137e: AND 0000137f: EQ 00001380: DUP1 00001381: PUSH2 0x138f 00001384: JUMPI 00001385: POP 00001386: PUSH2 0x138e 00001389: DUP3 0000138a: PUSH2 0x1956 0000138d: JUMP 0000138e: JUMPDEST 0000138f: JUMPDEST 00001390: SWAP1 00001391: POP 00001392: SWAP2 00001393: SWAP1 00001394: POP 00001395: JUMP 00001396: JUMPDEST 00001397: PUSH2 0x13a7 0000139a: DUP2 0000139b: PUSH2 0x13a2 0000139e: PUSH2 0x1471 000013a1: JUMP 000013a2: JUMPDEST 000013a3: PUSH2 0x19c0 000013a6: JUMP 000013a7: JUMPDEST 000013a8: POP 000013a9: JUMP 000013aa: JUMPDEST 000013ab: PUSH2 0x13d4 000013ae: PUSH32 0x95ed160efa56927d40641b26c79df8395a2e4f8f170168fedfa462234b4c3a46 000013cf: DUP4 000013d0: PUSH2 0x19c0 000013d3: JUMP 000013d4: JUMPDEST 000013d5: PUSH2 0x13ff 000013d8: DUP3 000013d9: DUP3 000013da: DUP6 000013db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013f0: AND 000013f1: PUSH2 0x1a5d 000013f4: SWAP1 000013f5: SWAP3 000013f6: SWAP2 000013f7: SWAP1 000013f8: PUSH4 0xffffffff 000013fd: AND 000013fe: JUMP 000013ff: JUMPDEST 00001400: POP 00001401: POP 00001402: POP 00001403: JUMP 00001404: JUMPDEST 00001405: PUSH2 0x142e 00001408: PUSH32 0x95ed160efa56927d40641b26c79df8395a2e4f8f170168fedfa462234b4c3a46 00001429: DUP4 0000142a: PUSH2 0x19c0 0000142d: JUMP 0000142e: JUMPDEST 0000142f: PUSH2 0x1438 00001432: DUP3 00001433: DUP3 00001434: PUSH2 0x1ae3 00001437: JUMP 00001438: JUMPDEST 00001439: POP 0000143a: POP 0000143b: JUMP 0000143c: JUMPDEST 0000143d: PUSH2 0x1446 00001440: DUP3 00001441: DUP3 00001442: PUSH2 0x1bd7 00001445: JUMP 00001446: JUMPDEST 00001447: PUSH2 0x146c 0000144a: DUP2 0000144b: PUSH2 0x012d 0000144e: PUSH1 0x00 00001450: DUP6 00001451: DUP2 00001452: MSTORE 00001453: PUSH1 0x20 00001455: ADD 00001456: SWAP1 00001457: DUP2 00001458: MSTORE 00001459: PUSH1 0x20 0000145b: ADD 0000145c: PUSH1 0x00 0000145e: KECCAK256 0000145f: PUSH2 0x1cb8 00001462: SWAP1 00001463: SWAP2 00001464: SWAP1 00001465: PUSH4 0xffffffff 0000146a: AND 0000146b: JUMP 0000146c: JUMPDEST 0000146d: POP 0000146e: POP 0000146f: POP 00001470: JUMP 00001471: JUMPDEST 00001472: PUSH1 0x00 00001474: CALLER 00001475: SWAP1 00001476: POP 00001477: SWAP1 00001478: JUMP 00001479: JUMPDEST 0000147a: PUSH2 0x1483 0000147d: DUP3 0000147e: DUP3 0000147f: PUSH2 0x1ce8 00001482: JUMP 00001483: JUMPDEST 00001484: PUSH2 0x14a9 00001487: DUP2 00001488: PUSH2 0x012d 0000148b: PUSH1 0x00 0000148d: DUP6 0000148e: DUP2 0000148f: MSTORE 00001490: PUSH1 0x20 00001492: ADD 00001493: SWAP1 00001494: DUP2 00001495: MSTORE 00001496: PUSH1 0x20 00001498: ADD 00001499: PUSH1 0x00 0000149b: KECCAK256 0000149c: PUSH2 0x1dca 0000149f: SWAP1 000014a0: SWAP2 000014a1: SWAP1 000014a2: PUSH4 0xffffffff 000014a7: AND 000014a8: JUMP 000014a9: JUMPDEST 000014aa: POP 000014ab: POP 000014ac: POP 000014ad: JUMP 000014ae: JUMPDEST 000014af: PUSH1 0x00 000014b1: PUSH2 0x14dc 000014b4: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 000014d5: PUSH1 0x00 000014d7: SHL 000014d8: PUSH2 0x1dfa 000014db: JUMP 000014dc: JUMPDEST 000014dd: PUSH1 0x00 000014df: ADD 000014e0: PUSH1 0x00 000014e2: SWAP1 000014e3: SLOAD 000014e4: SWAP1 000014e5: PUSH2 0x0100 000014e8: EXP 000014e9: SWAP1 000014ea: DIV 000014eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001500: AND 00001501: SWAP1 00001502: POP 00001503: SWAP1 00001504: JUMP 00001505: JUMPDEST 00001506: PUSH2 0x150d 00001509: PUSH2 0x172b 0000150c: JUMP 0000150d: JUMPDEST 0000150e: POP 0000150f: JUMP 00001510: JUMPDEST 00001511: PUSH2 0x153c 00001514: PUSH32 0x4910fdfa16fed3260ed0e7147f7cc6da11a60208b5b9406d12a635614ffd9143 00001535: PUSH1 0x00 00001537: SHL 00001538: PUSH2 0x1e04 0000153b: JUMP 0000153c: JUMPDEST 0000153d: PUSH1 0x00 0000153f: ADD 00001540: PUSH1 0x00 00001542: SWAP1 00001543: SLOAD 00001544: SWAP1 00001545: PUSH2 0x0100 00001548: EXP 00001549: SWAP1 0000154a: DIV 0000154b: PUSH1 0xff 0000154d: AND 0000154e: ISZERO 0000154f: PUSH2 0x1560 00001552: JUMPI 00001553: PUSH2 0x155b 00001556: DUP4 00001557: PUSH2 0x1e0e 0000155a: JUMP 0000155b: JUMPDEST 0000155c: PUSH2 0x1688 0000155f: JUMP 00001560: JUMPDEST 00001561: DUP3 00001562: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001577: AND 00001578: PUSH4 0x52d1902d 0000157d: PUSH1 0x40 0000157f: MLOAD 00001580: DUP2 00001581: PUSH4 0xffffffff 00001586: AND 00001587: PUSH1 0xe0 00001589: SHL 0000158a: DUP2 0000158b: MSTORE 0000158c: PUSH1 0x04 0000158e: ADD 0000158f: PUSH1 0x20 00001591: PUSH1 0x40 00001593: MLOAD 00001594: DUP1 00001595: DUP4 00001596: SUB 00001597: DUP2 00001598: DUP7 00001599: DUP1 0000159a: EXTCODESIZE 0000159b: ISZERO 0000159c: DUP1 0000159d: ISZERO 0000159e: PUSH2 0x15a6 000015a1: JUMPI 000015a2: PUSH1 0x00 000015a4: DUP1 000015a5: REVERT 000015a6: JUMPDEST 000015a7: POP 000015a8: GAS 000015a9: STATICCALL 000015aa: SWAP3 000015ab: POP 000015ac: POP 000015ad: POP 000015ae: DUP1 000015af: ISZERO 000015b0: PUSH2 0x15d7 000015b3: JUMPI 000015b4: POP 000015b5: PUSH1 0x40 000015b7: MLOAD 000015b8: RETURNDATASIZE 000015b9: PUSH1 0x1f 000015bb: NOT 000015bc: PUSH1 0x1f 000015be: DUP3 000015bf: ADD 000015c0: AND 000015c1: DUP3 000015c2: ADD 000015c3: DUP1 000015c4: PUSH1 0x40 000015c6: MSTORE 000015c7: POP 000015c8: DUP2 000015c9: ADD 000015ca: SWAP1 000015cb: PUSH2 0x15d4 000015ce: SWAP2 000015cf: SWAP1 000015d0: PUSH2 0x3a7d 000015d3: JUMP 000015d4: JUMPDEST 000015d5: PUSH1 0x01 000015d7: JUMPDEST 000015d8: PUSH2 0x1616 000015db: JUMPI 000015dc: PUSH1 0x40 000015de: MLOAD 000015df: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001600: DUP2 00001601: MSTORE 00001602: PUSH1 0x04 00001604: ADD 00001605: PUSH2 0x160d 00001608: SWAP1 00001609: PUSH2 0x3b1c 0000160c: JUMP 0000160d: JUMPDEST 0000160e: PUSH1 0x40 00001610: MLOAD 00001611: DUP1 00001612: SWAP2 00001613: SUB 00001614: SWAP1 00001615: REVERT 00001616: JUMPDEST 00001617: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00001638: PUSH1 0x00 0000163a: SHL 0000163b: DUP2 0000163c: EQ 0000163d: PUSH2 0x167b 00001640: JUMPI 00001641: PUSH1 0x40 00001643: MLOAD 00001644: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001665: DUP2 00001666: MSTORE 00001667: PUSH1 0x04 00001669: ADD 0000166a: PUSH2 0x1672 0000166d: SWAP1 0000166e: PUSH2 0x3bae 00001671: JUMP 00001672: JUMPDEST 00001673: PUSH1 0x40 00001675: MLOAD 00001676: DUP1 00001677: SWAP2 00001678: SUB 00001679: SWAP1 0000167a: REVERT 0000167b: JUMPDEST 0000167c: POP 0000167d: PUSH2 0x1687 00001680: DUP4 00001681: DUP4 00001682: DUP4 00001683: PUSH2 0x1ec7 00001686: JUMP 00001687: JUMPDEST 00001688: JUMPDEST 00001689: POP 0000168a: POP 0000168b: POP 0000168c: JUMP 0000168d: JUMPDEST 0000168e: PUSH2 0x16b7 00001691: PUSH32 0x95ed160efa56927d40641b26c79df8395a2e4f8f170168fedfa462234b4c3a46 000016b2: DUP4 000016b3: PUSH2 0x19c0 000016b6: JUMP 000016b7: JUMPDEST 000016b8: DUP3 000016b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016ce: AND 000016cf: PUSH4 0x42842e0e 000016d4: ADDRESS 000016d5: DUP5 000016d6: DUP5 000016d7: PUSH1 0x40 000016d9: MLOAD 000016da: DUP5 000016db: PUSH4 0xffffffff 000016e0: AND 000016e1: PUSH1 0xe0 000016e3: SHL 000016e4: DUP2 000016e5: MSTORE 000016e6: PUSH1 0x04 000016e8: ADD 000016e9: PUSH2 0x16f4 000016ec: SWAP4 000016ed: SWAP3 000016ee: SWAP2 000016ef: SWAP1 000016f0: PUSH2 0x3bce 000016f3: JUMP 000016f4: JUMPDEST 000016f5: PUSH1 0x00 000016f7: PUSH1 0x40 000016f9: MLOAD 000016fa: DUP1 000016fb: DUP4 000016fc: SUB 000016fd: DUP2 000016fe: PUSH1 0x00 00001700: DUP8 00001701: DUP1 00001702: EXTCODESIZE 00001703: ISZERO 00001704: DUP1 00001705: ISZERO 00001706: PUSH2 0x170e 00001709: JUMPI 0000170a: PUSH1 0x00 0000170c: DUP1 0000170d: REVERT 0000170e: JUMPDEST 0000170f: POP 00001710: GAS 00001711: CALL 00001712: ISZERO 00001713: DUP1 00001714: ISZERO 00001715: PUSH2 0x1722 00001718: JUMPI 00001719: RETURNDATASIZE 0000171a: PUSH1 0x00 0000171c: DUP1 0000171d: RETURNDATACOPY 0000171e: RETURNDATASIZE 0000171f: PUSH1 0x00 00001721: REVERT 00001722: JUMPDEST 00001723: POP 00001724: POP 00001725: POP 00001726: POP 00001727: POP 00001728: POP 00001729: POP 0000172a: JUMP 0000172b: JUMPDEST 0000172c: PUSH2 0x1733 0000172f: PUSH2 0x1471 00001732: JUMP 00001733: JUMPDEST 00001734: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001749: AND 0000174a: PUSH2 0x1751 0000174d: PUSH2 0x0e9b 00001750: JUMP 00001751: JUMPDEST 00001752: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001767: AND 00001768: EQ 00001769: PUSH2 0x17a7 0000176c: JUMPI 0000176d: PUSH1 0x40 0000176f: MLOAD 00001770: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001791: DUP2 00001792: MSTORE 00001793: PUSH1 0x04 00001795: ADD 00001796: PUSH2 0x179e 00001799: SWAP1 0000179a: PUSH2 0x3c51 0000179d: JUMP 0000179e: JUMPDEST 0000179f: PUSH1 0x40 000017a1: MLOAD 000017a2: DUP1 000017a3: SWAP2 000017a4: SUB 000017a5: SWAP1 000017a6: REVERT 000017a7: JUMPDEST 000017a8: JUMP 000017a9: JUMPDEST 000017aa: PUSH1 0x00 000017ac: PUSH1 0x97 000017ae: PUSH1 0x00 000017b0: SWAP1 000017b1: SLOAD 000017b2: SWAP1 000017b3: PUSH2 0x0100 000017b6: EXP 000017b7: SWAP1 000017b8: DIV 000017b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017ce: AND 000017cf: SWAP1 000017d0: POP 000017d1: DUP2 000017d2: PUSH1 0x97 000017d4: PUSH1 0x00 000017d6: PUSH2 0x0100 000017d9: EXP 000017da: DUP2 000017db: SLOAD 000017dc: DUP2 000017dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017f2: MUL 000017f3: NOT 000017f4: AND 000017f5: SWAP1 000017f6: DUP4 000017f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000180c: AND 0000180d: MUL 0000180e: OR 0000180f: SWAP1 00001810: SSTORE 00001811: POP 00001812: DUP2 00001813: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001828: AND 00001829: DUP2 0000182a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000183f: AND 00001840: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001861: PUSH1 0x40 00001863: MLOAD 00001864: PUSH1 0x40 00001866: MLOAD 00001867: DUP1 00001868: SWAP2 00001869: SUB 0000186a: SWAP1 0000186b: LOG3 0000186c: POP 0000186d: POP 0000186e: JUMP 0000186f: JUMPDEST 00001870: PUSH1 0x00 00001872: PUSH1 0x01 00001874: SWAP1 00001875: SLOAD 00001876: SWAP1 00001877: PUSH2 0x0100 0000187a: EXP 0000187b: SWAP1 0000187c: DIV 0000187d: PUSH1 0xff 0000187f: AND 00001880: PUSH2 0x18be 00001883: JUMPI 00001884: PUSH1 0x40 00001886: MLOAD 00001887: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000018a8: DUP2 000018a9: MSTORE 000018aa: PUSH1 0x04 000018ac: ADD 000018ad: PUSH2 0x18b5 000018b0: SWAP1 000018b1: PUSH2 0x3ce3 000018b4: JUMP 000018b5: JUMPDEST 000018b6: PUSH1 0x40 000018b8: MLOAD 000018b9: DUP1 000018ba: SWAP2 000018bb: SUB 000018bc: SWAP1 000018bd: REVERT 000018be: JUMPDEST 000018bf: PUSH2 0x18c6 000018c2: PUSH2 0x1ef3 000018c5: JUMP 000018c6: JUMPDEST 000018c7: JUMP 000018c8: JUMPDEST 000018c9: PUSH1 0x00 000018cb: PUSH1 0x01 000018cd: SWAP1 000018ce: SLOAD 000018cf: SWAP1 000018d0: PUSH2 0x0100 000018d3: EXP 000018d4: SWAP1 000018d5: DIV 000018d6: PUSH1 0xff 000018d8: AND 000018d9: PUSH2 0x1917 000018dc: JUMPI 000018dd: PUSH1 0x40 000018df: MLOAD 000018e0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001901: DUP2 00001902: MSTORE 00001903: PUSH1 0x04 00001905: ADD 00001906: PUSH2 0x190e 00001909: SWAP1 0000190a: PUSH2 0x3ce3 0000190d: JUMP 0000190e: JUMPDEST 0000190f: PUSH1 0x40 00001911: MLOAD 00001912: DUP1 00001913: SWAP2 00001914: SUB 00001915: SWAP1 00001916: REVERT 00001917: JUMPDEST 00001918: JUMP 00001919: JUMPDEST 0000191a: PUSH2 0x1923 0000191d: DUP3 0000191e: DUP3 0000191f: PUSH2 0x143c 00001922: JUMP 00001923: JUMPDEST 00001924: POP 00001925: POP 00001926: JUMP 00001927: JUMPDEST 00001928: PUSH1 0x00 0000192a: PUSH2 0x1936 0000192d: DUP4 0000192e: PUSH1 0x00 00001930: ADD 00001931: DUP4 00001932: PUSH2 0x1f54 00001935: JUMP 00001936: JUMPDEST 00001937: PUSH1 0x00 00001939: SHR 0000193a: SWAP1 0000193b: POP 0000193c: SWAP3 0000193d: SWAP2 0000193e: POP 0000193f: POP 00001940: JUMP 00001941: JUMPDEST 00001942: PUSH1 0x00 00001944: PUSH2 0x194f 00001947: DUP3 00001948: PUSH1 0x00 0000194a: ADD 0000194b: PUSH2 0x1f7f 0000194e: JUMP 0000194f: JUMPDEST 00001950: SWAP1 00001951: POP 00001952: SWAP2 00001953: SWAP1 00001954: POP 00001955: JUMP 00001956: JUMPDEST 00001957: PUSH1 0x00 00001959: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000 0000197a: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001997: NOT 00001998: AND 00001999: DUP3 0000199a: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000019b7: NOT 000019b8: AND 000019b9: EQ 000019ba: SWAP1 000019bb: POP 000019bc: SWAP2 000019bd: SWAP1 000019be: POP 000019bf: JUMP 000019c0: JUMPDEST 000019c1: PUSH2 0x19ca 000019c4: DUP3 000019c5: DUP3 000019c6: PUSH2 0x0ef5 000019c9: JUMP 000019ca: JUMPDEST 000019cb: PUSH2 0x1a59 000019ce: JUMPI 000019cf: PUSH2 0x19ef 000019d2: DUP2 000019d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000019e8: AND 000019e9: PUSH1 0x14 000019eb: PUSH2 0x1f90 000019ee: JUMP 000019ef: JUMPDEST 000019f0: PUSH2 0x19fd 000019f3: DUP4 000019f4: PUSH1 0x00 000019f6: SHR 000019f7: PUSH1 0x20 000019f9: PUSH2 0x1f90 000019fc: JUMP 000019fd: JUMPDEST 000019fe: PUSH1 0x40 00001a00: MLOAD 00001a01: PUSH1 0x20 00001a03: ADD 00001a04: PUSH2 0x1a0e 00001a07: SWAP3 00001a08: SWAP2 00001a09: SWAP1 00001a0a: PUSH2 0x3e15 00001a0d: JUMP 00001a0e: JUMPDEST 00001a0f: PUSH1 0x40 00001a11: MLOAD 00001a12: PUSH1 0x20 00001a14: DUP2 00001a15: DUP4 00001a16: SUB 00001a17: SUB 00001a18: DUP2 00001a19: MSTORE 00001a1a: SWAP1 00001a1b: PUSH1 0x40 00001a1d: MSTORE 00001a1e: PUSH1 0x40 00001a20: MLOAD 00001a21: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001a42: DUP2 00001a43: MSTORE 00001a44: PUSH1 0x04 00001a46: ADD 00001a47: PUSH2 0x1a50 00001a4a: SWAP2 00001a4b: SWAP1 00001a4c: PUSH2 0x3e88 00001a4f: JUMP 00001a50: JUMPDEST 00001a51: PUSH1 0x40 00001a53: MLOAD 00001a54: DUP1 00001a55: SWAP2 00001a56: SUB 00001a57: SWAP1 00001a58: REVERT 00001a59: JUMPDEST 00001a5a: POP 00001a5b: POP 00001a5c: JUMP 00001a5d: JUMPDEST 00001a5e: PUSH2 0x1ade 00001a61: DUP4 00001a62: PUSH4 0xa9059cbb 00001a67: PUSH1 0xe0 00001a69: SHL 00001a6a: DUP5 00001a6b: DUP5 00001a6c: PUSH1 0x40 00001a6e: MLOAD 00001a6f: PUSH1 0x24 00001a71: ADD 00001a72: PUSH2 0x1a7c 00001a75: SWAP3 00001a76: SWAP2 00001a77: SWAP1 00001a78: PUSH2 0x3eaa 00001a7b: JUMP 00001a7c: JUMPDEST 00001a7d: PUSH1 0x40 00001a7f: MLOAD 00001a80: PUSH1 0x20 00001a82: DUP2 00001a83: DUP4 00001a84: SUB 00001a85: SUB 00001a86: DUP2 00001a87: MSTORE 00001a88: SWAP1 00001a89: PUSH1 0x40 00001a8b: MSTORE 00001a8c: SWAP1 00001a8d: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001aaa: NOT 00001aab: AND 00001aac: PUSH1 0x20 00001aae: DUP3 00001aaf: ADD 00001ab0: DUP1 00001ab1: MLOAD 00001ab2: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001acf: DUP4 00001ad0: DUP2 00001ad1: DUP4 00001ad2: AND 00001ad3: OR 00001ad4: DUP4 00001ad5: MSTORE 00001ad6: POP 00001ad7: POP 00001ad8: POP 00001ad9: POP 00001ada: PUSH2 0x21cc 00001add: JUMP 00001ade: JUMPDEST 00001adf: POP 00001ae0: POP 00001ae1: POP 00001ae2: JUMP 00001ae3: JUMPDEST 00001ae4: DUP1 00001ae5: SELFBALANCE 00001ae6: LT 00001ae7: ISZERO 00001ae8: PUSH2 0x1b26 00001aeb: JUMPI 00001aec: PUSH1 0x40 00001aee: MLOAD 00001aef: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001b10: DUP2 00001b11: MSTORE 00001b12: PUSH1 0x04 00001b14: ADD 00001b15: PUSH2 0x1b1d 00001b18: SWAP1 00001b19: PUSH2 0x3f1f 00001b1c: JUMP 00001b1d: JUMPDEST 00001b1e: PUSH1 0x40 00001b20: MLOAD 00001b21: DUP1 00001b22: SWAP2 00001b23: SUB 00001b24: SWAP1 00001b25: REVERT 00001b26: JUMPDEST 00001b27: PUSH1 0x00 00001b29: DUP3 00001b2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b3f: AND 00001b40: DUP3 00001b41: PUSH1 0x40 00001b43: MLOAD 00001b44: PUSH2 0x1b4c 00001b47: SWAP1 00001b48: PUSH2 0x3f70 00001b4b: JUMP 00001b4c: JUMPDEST 00001b4d: PUSH1 0x00 00001b4f: PUSH1 0x40 00001b51: MLOAD 00001b52: DUP1 00001b53: DUP4 00001b54: SUB 00001b55: DUP2 00001b56: DUP6 00001b57: DUP8 00001b58: GAS 00001b59: CALL 00001b5a: SWAP3 00001b5b: POP 00001b5c: POP 00001b5d: POP 00001b5e: RETURNDATASIZE 00001b5f: DUP1 00001b60: PUSH1 0x00 00001b62: DUP2 00001b63: EQ 00001b64: PUSH2 0x1b89 00001b67: JUMPI 00001b68: PUSH1 0x40 00001b6a: MLOAD 00001b6b: SWAP2 00001b6c: POP 00001b6d: PUSH1 0x1f 00001b6f: NOT 00001b70: PUSH1 0x3f 00001b72: RETURNDATASIZE 00001b73: ADD 00001b74: AND 00001b75: DUP3 00001b76: ADD 00001b77: PUSH1 0x40 00001b79: MSTORE 00001b7a: RETURNDATASIZE 00001b7b: DUP3 00001b7c: MSTORE 00001b7d: RETURNDATASIZE 00001b7e: PUSH1 0x00 00001b80: PUSH1 0x20 00001b82: DUP5 00001b83: ADD 00001b84: RETURNDATACOPY 00001b85: PUSH2 0x1b8e 00001b88: JUMP 00001b89: JUMPDEST 00001b8a: PUSH1 0x60 00001b8c: SWAP2 00001b8d: POP 00001b8e: JUMPDEST 00001b8f: POP 00001b90: POP 00001b91: SWAP1 00001b92: POP 00001b93: DUP1 00001b94: PUSH2 0x1bd2 00001b97: JUMPI 00001b98: PUSH1 0x40 00001b9a: MLOAD 00001b9b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001bbc: DUP2 00001bbd: MSTORE 00001bbe: PUSH1 0x04 00001bc0: ADD 00001bc1: PUSH2 0x1bc9 00001bc4: SWAP1 00001bc5: PUSH2 0x3ff7 00001bc8: JUMP 00001bc9: JUMPDEST 00001bca: PUSH1 0x40 00001bcc: MLOAD 00001bcd: DUP1 00001bce: SWAP2 00001bcf: SUB 00001bd0: SWAP1 00001bd1: REVERT 00001bd2: JUMPDEST 00001bd3: POP 00001bd4: POP 00001bd5: POP 00001bd6: JUMP 00001bd7: JUMPDEST 00001bd8: PUSH2 0x1be1 00001bdb: DUP3 00001bdc: DUP3 00001bdd: PUSH2 0x0ef5 00001be0: JUMP 00001be1: JUMPDEST 00001be2: PUSH2 0x1cb4 00001be5: JUMPI 00001be6: PUSH1 0x01 00001be8: PUSH1 0xfb 00001bea: PUSH1 0x00 00001bec: DUP5 00001bed: DUP2 00001bee: MSTORE 00001bef: PUSH1 0x20 00001bf1: ADD 00001bf2: SWAP1 00001bf3: DUP2 00001bf4: MSTORE 00001bf5: PUSH1 0x20 00001bf7: ADD 00001bf8: PUSH1 0x00 00001bfa: KECCAK256 00001bfb: PUSH1 0x00 00001bfd: ADD 00001bfe: PUSH1 0x00 00001c00: DUP4 00001c01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c16: AND 00001c17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c2c: AND 00001c2d: DUP2 00001c2e: MSTORE 00001c2f: PUSH1 0x20 00001c31: ADD 00001c32: SWAP1 00001c33: DUP2 00001c34: MSTORE 00001c35: PUSH1 0x20 00001c37: ADD 00001c38: PUSH1 0x00 00001c3a: KECCAK256 00001c3b: PUSH1 0x00 00001c3d: PUSH2 0x0100 00001c40: EXP 00001c41: DUP2 00001c42: SLOAD 00001c43: DUP2 00001c44: PUSH1 0xff 00001c46: MUL 00001c47: NOT 00001c48: AND 00001c49: SWAP1 00001c4a: DUP4 00001c4b: ISZERO 00001c4c: ISZERO 00001c4d: MUL 00001c4e: OR 00001c4f: SWAP1 00001c50: SSTORE 00001c51: POP 00001c52: PUSH2 0x1c59 00001c55: PUSH2 0x1471 00001c58: JUMP 00001c59: JUMPDEST 00001c5a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c6f: AND 00001c70: DUP2 00001c71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c86: AND 00001c87: DUP4 00001c88: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d 00001ca9: PUSH1 0x40 00001cab: MLOAD 00001cac: PUSH1 0x40 00001cae: MLOAD 00001caf: DUP1 00001cb0: SWAP2 00001cb1: SUB 00001cb2: SWAP1 00001cb3: LOG4 00001cb4: JUMPDEST 00001cb5: POP 00001cb6: POP 00001cb7: JUMP 00001cb8: JUMPDEST 00001cb9: PUSH1 0x00 00001cbb: PUSH2 0x1ce0 00001cbe: DUP4 00001cbf: PUSH1 0x00 00001cc1: ADD 00001cc2: DUP4 00001cc3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cd8: AND 00001cd9: PUSH1 0x00 00001cdb: SHL 00001cdc: PUSH2 0x2293 00001cdf: JUMP 00001ce0: JUMPDEST 00001ce1: SWAP1 00001ce2: POP 00001ce3: SWAP3 00001ce4: SWAP2 00001ce5: POP 00001ce6: POP 00001ce7: JUMP 00001ce8: JUMPDEST 00001ce9: PUSH2 0x1cf2 00001cec: DUP3 00001ced: DUP3 00001cee: PUSH2 0x0ef5 00001cf1: JUMP 00001cf2: JUMPDEST 00001cf3: ISZERO 00001cf4: PUSH2 0x1dc6 00001cf7: JUMPI 00001cf8: PUSH1 0x00 00001cfa: PUSH1 0xfb 00001cfc: PUSH1 0x00 00001cfe: DUP5 00001cff: DUP2 00001d00: MSTORE 00001d01: PUSH1 0x20 00001d03: ADD 00001d04: SWAP1 00001d05: DUP2 00001d06: MSTORE 00001d07: PUSH1 0x20 00001d09: ADD 00001d0a: PUSH1 0x00 00001d0c: KECCAK256 00001d0d: PUSH1 0x00 00001d0f: ADD 00001d10: PUSH1 0x00 00001d12: DUP4 00001d13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d28: AND 00001d29: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d3e: AND 00001d3f: DUP2 00001d40: MSTORE 00001d41: PUSH1 0x20 00001d43: ADD 00001d44: SWAP1 00001d45: DUP2 00001d46: MSTORE 00001d47: PUSH1 0x20 00001d49: ADD 00001d4a: PUSH1 0x00 00001d4c: KECCAK256 00001d4d: PUSH1 0x00 00001d4f: PUSH2 0x0100 00001d52: EXP 00001d53: DUP2 00001d54: SLOAD 00001d55: DUP2 00001d56: PUSH1 0xff 00001d58: MUL 00001d59: NOT 00001d5a: AND 00001d5b: SWAP1 00001d5c: DUP4 00001d5d: ISZERO 00001d5e: ISZERO 00001d5f: MUL 00001d60: OR 00001d61: SWAP1 00001d62: SSTORE 00001d63: POP 00001d64: PUSH2 0x1d6b 00001d67: PUSH2 0x1471 00001d6a: JUMP 00001d6b: JUMPDEST 00001d6c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d81: AND 00001d82: DUP2 00001d83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d98: AND 00001d99: DUP4 00001d9a: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b 00001dbb: PUSH1 0x40 00001dbd: MLOAD 00001dbe: PUSH1 0x40 00001dc0: MLOAD 00001dc1: DUP1 00001dc2: SWAP2 00001dc3: SUB 00001dc4: SWAP1 00001dc5: LOG4 00001dc6: JUMPDEST 00001dc7: POP 00001dc8: POP 00001dc9: JUMP 00001dca: JUMPDEST 00001dcb: PUSH1 0x00 00001dcd: PUSH2 0x1df2 00001dd0: DUP4 00001dd1: PUSH1 0x00 00001dd3: ADD 00001dd4: DUP4 00001dd5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dea: AND 00001deb: PUSH1 0x00 00001ded: SHL 00001dee: PUSH2 0x2303 00001df1: JUMP 00001df2: JUMPDEST 00001df3: SWAP1 00001df4: POP 00001df5: SWAP3 00001df6: SWAP2 00001df7: POP 00001df8: POP 00001df9: JUMP 00001dfa: JUMPDEST 00001dfb: PUSH1 0x00 00001dfd: DUP2 00001dfe: SWAP1 00001dff: POP 00001e00: SWAP2 00001e01: SWAP1 00001e02: POP 00001e03: JUMP 00001e04: JUMPDEST 00001e05: PUSH1 0x00 00001e07: DUP2 00001e08: SWAP1 00001e09: POP 00001e0a: SWAP2 00001e0b: SWAP1 00001e0c: POP 00001e0d: JUMP 00001e0e: JUMPDEST 00001e0f: PUSH2 0x1e17 00001e12: DUP2 00001e13: PUSH2 0x12f9 00001e16: JUMP 00001e17: JUMPDEST 00001e18: PUSH2 0x1e56 00001e1b: JUMPI 00001e1c: PUSH1 0x40 00001e1e: MLOAD 00001e1f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001e40: DUP2 00001e41: MSTORE 00001e42: PUSH1 0x04 00001e44: ADD 00001e45: PUSH2 0x1e4d 00001e48: SWAP1 00001e49: PUSH2 0x4089 00001e4c: JUMP 00001e4d: JUMPDEST 00001e4e: PUSH1 0x40 00001e50: MLOAD 00001e51: DUP1 00001e52: SWAP2 00001e53: SUB 00001e54: SWAP1 00001e55: REVERT 00001e56: JUMPDEST 00001e57: DUP1 00001e58: PUSH2 0x1e83 00001e5b: PUSH32 0x360894a13ba1a3210667c828492db98dca3e2076cc3735a920a3ca505d382bbc 00001e7c: PUSH1 0x00 00001e7e: SHL 00001e7f: PUSH2 0x1dfa 00001e82: JUMP 00001e83: JUMPDEST 00001e84: PUSH1 0x00 00001e86: ADD 00001e87: PUSH1 0x00 00001e89: PUSH2 0x0100 00001e8c: EXP 00001e8d: DUP2 00001e8e: SLOAD 00001e8f: DUP2 00001e90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ea5: MUL 00001ea6: NOT 00001ea7: AND 00001ea8: SWAP1 00001ea9: DUP4 00001eaa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ebf: AND 00001ec0: MUL 00001ec1: OR 00001ec2: SWAP1 00001ec3: SSTORE 00001ec4: POP 00001ec5: POP 00001ec6: JUMP 00001ec7: JUMPDEST 00001ec8: PUSH2 0x1ed0 00001ecb: DUP4 00001ecc: PUSH2 0x2417 00001ecf: JUMP 00001ed0: JUMPDEST 00001ed1: PUSH1 0x00 00001ed3: DUP3 00001ed4: MLOAD 00001ed5: GT 00001ed6: DUP1 00001ed7: PUSH2 0x1edd 00001eda: JUMPI 00001edb: POP 00001edc: DUP1 00001edd: JUMPDEST 00001ede: ISZERO 00001edf: PUSH2 0x1eee 00001ee2: JUMPI 00001ee3: PUSH2 0x1eec 00001ee6: DUP4 00001ee7: DUP4 00001ee8: PUSH2 0x2466 00001eeb: JUMP 00001eec: JUMPDEST 00001eed: POP 00001eee: JUMPDEST 00001eef: POP 00001ef0: POP 00001ef1: POP 00001ef2: JUMP 00001ef3: JUMPDEST 00001ef4: PUSH1 0x00 00001ef6: PUSH1 0x01 00001ef8: SWAP1 00001ef9: SLOAD 00001efa: SWAP1 00001efb: PUSH2 0x0100 00001efe: EXP 00001eff: SWAP1 00001f00: DIV 00001f01: PUSH1 0xff 00001f03: AND 00001f04: PUSH2 0x1f42 00001f07: JUMPI 00001f08: PUSH1 0x40 00001f0a: MLOAD 00001f0b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001f2c: DUP2 00001f2d: MSTORE 00001f2e: PUSH1 0x04 00001f30: ADD 00001f31: PUSH2 0x1f39 00001f34: SWAP1 00001f35: PUSH2 0x3ce3 00001f38: JUMP 00001f39: JUMPDEST 00001f3a: PUSH1 0x40 00001f3c: MLOAD 00001f3d: DUP1 00001f3e: SWAP2 00001f3f: SUB 00001f40: SWAP1 00001f41: REVERT 00001f42: JUMPDEST 00001f43: PUSH2 0x1f52 00001f46: PUSH2 0x1f4d 00001f49: PUSH2 0x1471 00001f4c: JUMP 00001f4d: JUMPDEST 00001f4e: PUSH2 0x17a9 00001f51: JUMP 00001f52: JUMPDEST 00001f53: JUMP 00001f54: JUMPDEST 00001f55: PUSH1 0x00 00001f57: DUP3 00001f58: PUSH1 0x00 00001f5a: ADD 00001f5b: DUP3 00001f5c: DUP2 00001f5d: SLOAD 00001f5e: DUP2 00001f5f: LT 00001f60: PUSH2 0x1f6c 00001f63: JUMPI 00001f64: PUSH2 0x1f6b 00001f67: PUSH2 0x34fc 00001f6a: JUMP 00001f6b: JUMPDEST 00001f6c: JUMPDEST 00001f6d: SWAP1 00001f6e: PUSH1 0x00 00001f70: MSTORE 00001f71: PUSH1 0x20 00001f73: PUSH1 0x00 00001f75: KECCAK256 00001f76: ADD 00001f77: SLOAD 00001f78: SWAP1 00001f79: POP 00001f7a: SWAP3 00001f7b: SWAP2 00001f7c: POP 00001f7d: POP 00001f7e: JUMP 00001f7f: JUMPDEST 00001f80: PUSH1 0x00 00001f82: DUP2 00001f83: PUSH1 0x00 00001f85: ADD 00001f86: DUP1 00001f87: SLOAD 00001f88: SWAP1 00001f89: POP 00001f8a: SWAP1 00001f8b: POP 00001f8c: SWAP2 00001f8d: SWAP1 00001f8e: POP 00001f8f: JUMP 00001f90: JUMPDEST 00001f91: PUSH1 0x60 00001f93: PUSH1 0x00 00001f95: PUSH1 0x02 00001f97: DUP4 00001f98: PUSH1 0x02 00001f9a: PUSH2 0x1fa3 00001f9d: SWAP2 00001f9e: SWAP1 00001f9f: PUSH2 0x40a9 00001fa2: JUMP 00001fa3: JUMPDEST 00001fa4: PUSH2 0x1fad 00001fa7: SWAP2 00001fa8: SWAP1 00001fa9: PUSH2 0x4103 00001fac: JUMP 00001fad: JUMPDEST 00001fae: PUSH8 0xffffffffffffffff 00001fb7: DUP2 00001fb8: GT 00001fb9: ISZERO 00001fba: PUSH2 0x1fc6 00001fbd: JUMPI 00001fbe: PUSH2 0x1fc5 00001fc1: PUSH2 0x294f 00001fc4: JUMP 00001fc5: JUMPDEST 00001fc6: JUMPDEST 00001fc7: PUSH1 0x40 00001fc9: MLOAD 00001fca: SWAP1 00001fcb: DUP1 00001fcc: DUP3 00001fcd: MSTORE 00001fce: DUP1 00001fcf: PUSH1 0x1f 00001fd1: ADD 00001fd2: PUSH1 0x1f 00001fd4: NOT 00001fd5: AND 00001fd6: PUSH1 0x20 00001fd8: ADD 00001fd9: DUP3 00001fda: ADD 00001fdb: PUSH1 0x40 00001fdd: MSTORE 00001fde: DUP1 00001fdf: ISZERO 00001fe0: PUSH2 0x1ff8 00001fe3: JUMPI 00001fe4: DUP2 00001fe5: PUSH1 0x20 00001fe7: ADD 00001fe8: PUSH1 0x01 00001fea: DUP3 00001feb: MUL 00001fec: DUP1 00001fed: CALLDATASIZE 00001fee: DUP4 00001fef: CALLDATACOPY 00001ff0: DUP1 00001ff1: DUP3 00001ff2: ADD 00001ff3: SWAP2 00001ff4: POP 00001ff5: POP 00001ff6: SWAP1 00001ff7: POP 00001ff8: JUMPDEST 00001ff9: POP 00001ffa: SWAP1 00001ffb: POP 00001ffc: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000 0000201d: DUP2 0000201e: PUSH1 0x00 00002020: DUP2 00002021: MLOAD 00002022: DUP2 00002023: LT 00002024: PUSH2 0x2030 00002027: JUMPI 00002028: PUSH2 0x202f 0000202b: PUSH2 0x34fc 0000202e: JUMP 0000202f: JUMPDEST 00002030: JUMPDEST 00002031: PUSH1 0x20 00002033: ADD 00002034: ADD 00002035: SWAP1 00002036: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00002056: NOT 00002057: AND 00002058: SWAP1 00002059: DUP2 0000205a: PUSH1 0x00 0000205c: BYTE 0000205d: SWAP1 0000205e: MSTORE8 0000205f: POP 00002060: PUSH32 0x7800000000000000000000000000000000000000000000000000000000000000 00002081: DUP2 00002082: PUSH1 0x01 00002084: DUP2 00002085: MLOAD 00002086: DUP2 00002087: LT 00002088: PUSH2 0x2094 0000208b: JUMPI 0000208c: PUSH2 0x2093 0000208f: PUSH2 0x34fc 00002092: JUMP 00002093: JUMPDEST 00002094: JUMPDEST 00002095: PUSH1 0x20 00002097: ADD 00002098: ADD 00002099: SWAP1 0000209a: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000020ba: NOT 000020bb: AND 000020bc: SWAP1 000020bd: DUP2 000020be: PUSH1 0x00 000020c0: BYTE 000020c1: SWAP1 000020c2: MSTORE8 000020c3: POP 000020c4: PUSH1 0x00 000020c6: PUSH1 0x01 000020c8: DUP5 000020c9: PUSH1 0x02 000020cb: PUSH2 0x20d4 000020ce: SWAP2 000020cf: SWAP1 000020d0: PUSH2 0x40a9 000020d3: JUMP 000020d4: JUMPDEST 000020d5: PUSH2 0x20de 000020d8: SWAP2 000020d9: SWAP1 000020da: PUSH2 0x4103 000020dd: JUMP 000020de: JUMPDEST 000020df: SWAP1 000020e0: POP 000020e1: JUMPDEST 000020e2: PUSH1 0x01 000020e4: DUP2 000020e5: GT 000020e6: ISZERO 000020e7: PUSH2 0x217e 000020ea: JUMPI 000020eb: PUSH32 0x3031323334353637383961626364656600000000000000000000000000000000 0000210c: PUSH1 0x0f 0000210e: DUP7 0000210f: AND 00002110: PUSH1 0x10 00002112: DUP2 00002113: LT 00002114: PUSH2 0x2120 00002117: JUMPI 00002118: PUSH2 0x211f 0000211b: PUSH2 0x34fc 0000211e: JUMP 0000211f: JUMPDEST 00002120: JUMPDEST 00002121: BYTE 00002122: PUSH1 0xf8 00002124: SHL 00002125: DUP3 00002126: DUP3 00002127: DUP2 00002128: MLOAD 00002129: DUP2 0000212a: LT 0000212b: PUSH2 0x2137 0000212e: JUMPI 0000212f: PUSH2 0x2136 00002132: PUSH2 0x34fc 00002135: JUMP 00002136: JUMPDEST 00002137: JUMPDEST 00002138: PUSH1 0x20 0000213a: ADD 0000213b: ADD 0000213c: SWAP1 0000213d: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000215d: NOT 0000215e: AND 0000215f: SWAP1 00002160: DUP2 00002161: PUSH1 0x00 00002163: BYTE 00002164: SWAP1 00002165: MSTORE8 00002166: POP 00002167: PUSH1 0x04 00002169: DUP6 0000216a: SWAP1 0000216b: SHR 0000216c: SWAP5 0000216d: POP 0000216e: DUP1 0000216f: PUSH2 0x2177 00002172: SWAP1 00002173: PUSH2 0x4159 00002176: JUMP 00002177: JUMPDEST 00002178: SWAP1 00002179: POP 0000217a: PUSH2 0x20e1 0000217d: JUMP 0000217e: JUMPDEST 0000217f: POP 00002180: PUSH1 0x00 00002182: DUP5 00002183: EQ 00002184: PUSH2 0x21c2 00002187: JUMPI 00002188: PUSH1 0x40 0000218a: MLOAD 0000218b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000021ac: DUP2 000021ad: MSTORE 000021ae: PUSH1 0x04 000021b0: ADD 000021b1: PUSH2 0x21b9 000021b4: SWAP1 000021b5: PUSH2 0x41cf 000021b8: JUMP 000021b9: JUMPDEST 000021ba: PUSH1 0x40 000021bc: MLOAD 000021bd: DUP1 000021be: SWAP2 000021bf: SUB 000021c0: SWAP1 000021c1: REVERT 000021c2: JUMPDEST 000021c3: DUP1 000021c4: SWAP2 000021c5: POP 000021c6: POP 000021c7: SWAP3 000021c8: SWAP2 000021c9: POP 000021ca: POP 000021cb: JUMP 000021cc: JUMPDEST 000021cd: PUSH1 0x00 000021cf: PUSH2 0x222e 000021d2: DUP3 000021d3: PUSH1 0x40 000021d5: MLOAD 000021d6: DUP1 000021d7: PUSH1 0x40 000021d9: ADD 000021da: PUSH1 0x40 000021dc: MSTORE 000021dd: DUP1 000021de: PUSH1 0x20 000021e0: DUP2 000021e1: MSTORE 000021e2: PUSH1 0x20 000021e4: ADD 000021e5: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00002206: DUP2 00002207: MSTORE 00002208: POP 00002209: DUP6 0000220a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000221f: AND 00002220: PUSH2 0x254a 00002223: SWAP1 00002224: SWAP3 00002225: SWAP2 00002226: SWAP1 00002227: PUSH4 0xffffffff 0000222c: AND 0000222d: JUMP 0000222e: JUMPDEST 0000222f: SWAP1 00002230: POP 00002231: PUSH1 0x00 00002233: DUP2 00002234: MLOAD 00002235: GT 00002236: ISZERO 00002237: PUSH2 0x228e 0000223a: JUMPI 0000223b: DUP1 0000223c: DUP1 0000223d: PUSH1 0x20 0000223f: ADD 00002240: SWAP1 00002241: MLOAD 00002242: DUP2 00002243: ADD 00002244: SWAP1 00002245: PUSH2 0x224e 00002248: SWAP2 00002249: SWAP1 0000224a: PUSH2 0x421b 0000224d: JUMP 0000224e: JUMPDEST 0000224f: PUSH2 0x228d 00002252: JUMPI 00002253: PUSH1 0x40 00002255: MLOAD 00002256: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002277: DUP2 00002278: MSTORE 00002279: PUSH1 0x04 0000227b: ADD 0000227c: PUSH2 0x2284 0000227f: SWAP1 00002280: PUSH2 0x42ba 00002283: JUMP 00002284: JUMPDEST 00002285: PUSH1 0x40 00002287: MLOAD 00002288: DUP1 00002289: SWAP2 0000228a: SUB 0000228b: SWAP1 0000228c: REVERT 0000228d: JUMPDEST 0000228e: JUMPDEST 0000228f: POP 00002290: POP 00002291: POP 00002292: JUMP 00002293: JUMPDEST 00002294: PUSH1 0x00 00002296: PUSH2 0x229f 00002299: DUP4 0000229a: DUP4 0000229b: PUSH2 0x2562 0000229e: JUMP 0000229f: JUMPDEST 000022a0: PUSH2 0x22f8 000022a3: JUMPI 000022a4: DUP3 000022a5: PUSH1 0x00 000022a7: ADD 000022a8: DUP3 000022a9: SWAP1 000022aa: DUP1 000022ab: PUSH1 0x01 000022ad: DUP2 000022ae: SLOAD 000022af: ADD 000022b0: DUP1 000022b1: DUP3 000022b2: SSTORE 000022b3: DUP1 000022b4: SWAP2 000022b5: POP 000022b6: POP 000022b7: PUSH1 0x01 000022b9: SWAP1 000022ba: SUB 000022bb: SWAP1 000022bc: PUSH1 0x00 000022be: MSTORE 000022bf: PUSH1 0x20 000022c1: PUSH1 0x00 000022c3: KECCAK256 000022c4: ADD 000022c5: PUSH1 0x00 000022c7: SWAP1 000022c8: SWAP2 000022c9: SWAP1 000022ca: SWAP2 000022cb: SWAP1 000022cc: SWAP2 000022cd: POP 000022ce: SSTORE 000022cf: DUP3 000022d0: PUSH1 0x00 000022d2: ADD 000022d3: DUP1 000022d4: SLOAD 000022d5: SWAP1 000022d6: POP 000022d7: DUP4 000022d8: PUSH1 0x01 000022da: ADD 000022db: PUSH1 0x00 000022dd: DUP5 000022de: DUP2 000022df: MSTORE 000022e0: PUSH1 0x20 000022e2: ADD 000022e3: SWAP1 000022e4: DUP2 000022e5: MSTORE 000022e6: PUSH1 0x20 000022e8: ADD 000022e9: PUSH1 0x00 000022eb: KECCAK256 000022ec: DUP2 000022ed: SWAP1 000022ee: SSTORE 000022ef: POP 000022f0: PUSH1 0x01 000022f2: SWAP1 000022f3: POP 000022f4: PUSH2 0x22fd 000022f7: JUMP 000022f8: JUMPDEST 000022f9: PUSH1 0x00 000022fb: SWAP1 000022fc: POP 000022fd: JUMPDEST 000022fe: SWAP3 000022ff: SWAP2 00002300: POP 00002301: POP 00002302: JUMP 00002303: JUMPDEST 00002304: PUSH1 0x00 00002306: DUP1 00002307: DUP4 00002308: PUSH1 0x01 0000230a: ADD 0000230b: PUSH1 0x00 0000230d: DUP5 0000230e: DUP2 0000230f: MSTORE 00002310: PUSH1 0x20 00002312: ADD 00002313: SWAP1 00002314: DUP2 00002315: MSTORE 00002316: PUSH1 0x20 00002318: ADD 00002319: PUSH1 0x00 0000231b: KECCAK256 0000231c: SLOAD 0000231d: SWAP1 0000231e: POP 0000231f: PUSH1 0x00 00002321: DUP2 00002322: EQ 00002323: PUSH2 0x240b 00002326: JUMPI 00002327: PUSH1 0x00 00002329: PUSH1 0x01 0000232b: DUP3 0000232c: PUSH2 0x2335 0000232f: SWAP2 00002330: SWAP1 00002331: PUSH2 0x42da 00002334: JUMP 00002335: JUMPDEST 00002336: SWAP1 00002337: POP 00002338: PUSH1 0x00 0000233a: PUSH1 0x01 0000233c: DUP7 0000233d: PUSH1 0x00 0000233f: ADD 00002340: DUP1 00002341: SLOAD 00002342: SWAP1 00002343: POP 00002344: PUSH2 0x234d 00002347: SWAP2 00002348: SWAP1 00002349: PUSH2 0x42da 0000234c: JUMP 0000234d: JUMPDEST 0000234e: SWAP1 0000234f: POP 00002350: DUP2 00002351: DUP2 00002352: EQ 00002353: PUSH2 0x23bc 00002356: JUMPI 00002357: PUSH1 0x00 00002359: DUP7 0000235a: PUSH1 0x00 0000235c: ADD 0000235d: DUP3 0000235e: DUP2 0000235f: SLOAD 00002360: DUP2 00002361: LT 00002362: PUSH2 0x236e 00002365: JUMPI 00002366: PUSH2 0x236d 00002369: PUSH2 0x34fc 0000236c: JUMP 0000236d: JUMPDEST 0000236e: JUMPDEST 0000236f: SWAP1 00002370: PUSH1 0x00 00002372: MSTORE 00002373: PUSH1 0x20 00002375: PUSH1 0x00 00002377: KECCAK256 00002378: ADD 00002379: SLOAD 0000237a: SWAP1 0000237b: POP 0000237c: DUP1 0000237d: DUP8 0000237e: PUSH1 0x00 00002380: ADD 00002381: DUP5 00002382: DUP2 00002383: SLOAD 00002384: DUP2 00002385: LT 00002386: PUSH2 0x2392 00002389: JUMPI 0000238a: PUSH2 0x2391 0000238d: PUSH2 0x34fc 00002390: JUMP 00002391: JUMPDEST 00002392: JUMPDEST 00002393: SWAP1 00002394: PUSH1 0x00 00002396: MSTORE 00002397: PUSH1 0x20 00002399: PUSH1 0x00 0000239b: KECCAK256 0000239c: ADD 0000239d: DUP2 0000239e: SWAP1 0000239f: SSTORE 000023a0: POP 000023a1: DUP4 000023a2: DUP8 000023a3: PUSH1 0x01 000023a5: ADD 000023a6: PUSH1 0x00 000023a8: DUP4 000023a9: DUP2 000023aa: MSTORE 000023ab: PUSH1 0x20 000023ad: ADD 000023ae: SWAP1 000023af: DUP2 000023b0: MSTORE 000023b1: PUSH1 0x20 000023b3: ADD 000023b4: PUSH1 0x00 000023b6: KECCAK256 000023b7: DUP2 000023b8: SWAP1 000023b9: SSTORE 000023ba: POP 000023bb: POP 000023bc: JUMPDEST 000023bd: DUP6 000023be: PUSH1 0x00 000023c0: ADD 000023c1: DUP1 000023c2: SLOAD 000023c3: DUP1 000023c4: PUSH2 0x23d0 000023c7: JUMPI 000023c8: PUSH2 0x23cf 000023cb: PUSH2 0x430e 000023ce: JUMP 000023cf: JUMPDEST 000023d0: JUMPDEST 000023d1: PUSH1 0x01 000023d3: SWAP1 000023d4: SUB 000023d5: DUP2 000023d6: DUP2 000023d7: SWAP1 000023d8: PUSH1 0x00 000023da: MSTORE 000023db: PUSH1 0x20 000023dd: PUSH1 0x00 000023df: KECCAK256 000023e0: ADD 000023e1: PUSH1 0x00 000023e3: SWAP1 000023e4: SSTORE 000023e5: SWAP1 000023e6: SSTORE 000023e7: DUP6 000023e8: PUSH1 0x01 000023ea: ADD 000023eb: PUSH1 0x00 000023ed: DUP7 000023ee: DUP2 000023ef: MSTORE 000023f0: PUSH1 0x20 000023f2: ADD 000023f3: SWAP1 000023f4: DUP2 000023f5: MSTORE 000023f6: PUSH1 0x20 000023f8: ADD 000023f9: PUSH1 0x00 000023fb: KECCAK256 000023fc: PUSH1 0x00 000023fe: SWAP1 000023ff: SSTORE 00002400: PUSH1 0x01 00002402: SWAP4 00002403: POP 00002404: POP 00002405: POP 00002406: POP 00002407: PUSH2 0x2411 0000240a: JUMP 0000240b: JUMPDEST 0000240c: PUSH1 0x00 0000240e: SWAP2 0000240f: POP 00002410: POP 00002411: JUMPDEST 00002412: SWAP3 00002413: SWAP2 00002414: POP 00002415: POP 00002416: JUMP 00002417: JUMPDEST 00002418: PUSH2 0x2420 0000241b: DUP2 0000241c: PUSH2 0x1e0e 0000241f: JUMP 00002420: JUMPDEST 00002421: DUP1 00002422: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002437: AND 00002438: PUSH32 0xbc7cd75a20ee27fd9adebab32041f755214dbc6bffa90cc0225b39da2e5c2d3b 00002459: PUSH1 0x40 0000245b: MLOAD 0000245c: PUSH1 0x40 0000245e: MLOAD 0000245f: DUP1 00002460: SWAP2 00002461: SUB 00002462: SWAP1 00002463: LOG2 00002464: POP 00002465: JUMP 00002466: JUMPDEST 00002467: PUSH1 0x60 00002469: PUSH2 0x2471 0000246c: DUP4 0000246d: PUSH2 0x12f9 00002470: JUMP 00002471: JUMPDEST 00002472: PUSH2 0x24b0 00002475: JUMPI 00002476: PUSH1 0x40 00002478: MLOAD 00002479: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000249a: DUP2 0000249b: MSTORE 0000249c: PUSH1 0x04 0000249e: ADD 0000249f: PUSH2 0x24a7 000024a2: SWAP1 000024a3: PUSH2 0x43af 000024a6: JUMP 000024a7: JUMPDEST 000024a8: PUSH1 0x40 000024aa: MLOAD 000024ab: DUP1 000024ac: SWAP2 000024ad: SUB 000024ae: SWAP1 000024af: REVERT 000024b0: JUMPDEST 000024b1: PUSH1 0x00 000024b3: DUP1 000024b4: DUP5 000024b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024ca: AND 000024cb: DUP5 000024cc: PUSH1 0x40 000024ce: MLOAD 000024cf: PUSH2 0x24d8 000024d2: SWAP2 000024d3: SWAP1 000024d4: PUSH2 0x440b 000024d7: JUMP 000024d8: JUMPDEST 000024d9: PUSH1 0x00 000024db: PUSH1 0x40 000024dd: MLOAD 000024de: DUP1 000024df: DUP4 000024e0: SUB 000024e1: DUP2 000024e2: DUP6 000024e3: GAS 000024e4: DELEGATECALL 000024e5: SWAP2 000024e6: POP 000024e7: POP 000024e8: RETURNDATASIZE 000024e9: DUP1 000024ea: PUSH1 0x00 000024ec: DUP2 000024ed: EQ 000024ee: PUSH2 0x2513 000024f1: JUMPI 000024f2: PUSH1 0x40 000024f4: MLOAD 000024f5: SWAP2 000024f6: POP 000024f7: PUSH1 0x1f 000024f9: NOT 000024fa: PUSH1 0x3f 000024fc: RETURNDATASIZE 000024fd: ADD 000024fe: AND 000024ff: DUP3 00002500: ADD 00002501: PUSH1 0x40 00002503: MSTORE 00002504: RETURNDATASIZE 00002505: DUP3 00002506: MSTORE 00002507: RETURNDATASIZE 00002508: PUSH1 0x00 0000250a: PUSH1 0x20 0000250c: DUP5 0000250d: ADD 0000250e: RETURNDATACOPY 0000250f: PUSH2 0x2518 00002512: JUMP 00002513: JUMPDEST 00002514: PUSH1 0x60 00002516: SWAP2 00002517: POP 00002518: JUMPDEST 00002519: POP 0000251a: SWAP2 0000251b: POP 0000251c: SWAP2 0000251d: POP 0000251e: PUSH2 0x2540 00002521: DUP3 00002522: DUP3 00002523: PUSH1 0x40 00002525: MLOAD 00002526: DUP1 00002527: PUSH1 0x60 00002529: ADD 0000252a: PUSH1 0x40 0000252c: MSTORE 0000252d: DUP1 0000252e: PUSH1 0x27 00002530: DUP2 00002531: MSTORE 00002532: PUSH1 0x20 00002534: ADD 00002535: PUSH2 0x4521 00002538: PUSH1 0x27 0000253a: SWAP2 0000253b: CODECOPY 0000253c: PUSH2 0x2585 0000253f: JUMP 00002540: JUMPDEST 00002541: SWAP3 00002542: POP 00002543: POP 00002544: POP 00002545: SWAP3 00002546: SWAP2 00002547: POP 00002548: POP 00002549: JUMP 0000254a: JUMPDEST 0000254b: PUSH1 0x60 0000254d: PUSH2 0x2559 00002550: DUP5 00002551: DUP5 00002552: PUSH1 0x00 00002554: DUP6 00002555: PUSH2 0x25ec 00002558: JUMP 00002559: JUMPDEST 0000255a: SWAP1 0000255b: POP 0000255c: SWAP4 0000255d: SWAP3 0000255e: POP 0000255f: POP 00002560: POP 00002561: JUMP 00002562: JUMPDEST 00002563: PUSH1 0x00 00002565: DUP1 00002566: DUP4 00002567: PUSH1 0x01 00002569: ADD 0000256a: PUSH1 0x00 0000256c: DUP5 0000256d: DUP2 0000256e: MSTORE 0000256f: PUSH1 0x20 00002571: ADD 00002572: SWAP1 00002573: DUP2 00002574: MSTORE 00002575: PUSH1 0x20 00002577: ADD 00002578: PUSH1 0x00 0000257a: KECCAK256 0000257b: SLOAD 0000257c: EQ 0000257d: ISZERO 0000257e: SWAP1 0000257f: POP 00002580: SWAP3 00002581: SWAP2 00002582: POP 00002583: POP 00002584: JUMP 00002585: JUMPDEST 00002586: PUSH1 0x60 00002588: DUP4 00002589: ISZERO 0000258a: PUSH2 0x2595 0000258d: JUMPI 0000258e: DUP3 0000258f: SWAP1 00002590: POP 00002591: PUSH2 0x25e5 00002594: JUMP 00002595: JUMPDEST 00002596: PUSH1 0x00 00002598: DUP4 00002599: MLOAD 0000259a: GT 0000259b: ISZERO 0000259c: PUSH2 0x25a8 0000259f: JUMPI 000025a0: DUP3 000025a1: MLOAD 000025a2: DUP1 000025a3: DUP5 000025a4: PUSH1 0x20 000025a6: ADD 000025a7: REVERT 000025a8: JUMPDEST 000025a9: DUP2 000025aa: PUSH1 0x40 000025ac: MLOAD 000025ad: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000025ce: DUP2 000025cf: MSTORE 000025d0: PUSH1 0x04 000025d2: ADD 000025d3: PUSH2 0x25dc 000025d6: SWAP2 000025d7: SWAP1 000025d8: PUSH2 0x3e88 000025db: JUMP 000025dc: JUMPDEST 000025dd: PUSH1 0x40 000025df: MLOAD 000025e0: DUP1 000025e1: SWAP2 000025e2: SUB 000025e3: SWAP1 000025e4: REVERT 000025e5: JUMPDEST 000025e6: SWAP4 000025e7: SWAP3 000025e8: POP 000025e9: POP 000025ea: POP 000025eb: JUMP 000025ec: JUMPDEST 000025ed: PUSH1 0x60 000025ef: DUP3 000025f0: SELFBALANCE 000025f1: LT 000025f2: ISZERO 000025f3: PUSH2 0x2631 000025f6: JUMPI 000025f7: PUSH1 0x40 000025f9: MLOAD 000025fa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000261b: DUP2 0000261c: MSTORE 0000261d: PUSH1 0x04 0000261f: ADD 00002620: PUSH2 0x2628 00002623: SWAP1 00002624: PUSH2 0x4494 00002627: JUMP 00002628: JUMPDEST 00002629: PUSH1 0x40 0000262b: MLOAD 0000262c: DUP1 0000262d: SWAP2 0000262e: SUB 0000262f: SWAP1 00002630: REVERT 00002631: JUMPDEST 00002632: PUSH2 0x263a 00002635: DUP6 00002636: PUSH2 0x12f9 00002639: JUMP 0000263a: JUMPDEST 0000263b: PUSH2 0x2679 0000263e: JUMPI 0000263f: PUSH1 0x40 00002641: MLOAD 00002642: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002663: DUP2 00002664: MSTORE 00002665: PUSH1 0x04 00002667: ADD 00002668: PUSH2 0x2670 0000266b: SWAP1 0000266c: PUSH2 0x4500 0000266f: JUMP 00002670: JUMPDEST 00002671: PUSH1 0x40 00002673: MLOAD 00002674: DUP1 00002675: SWAP2 00002676: SUB 00002677: SWAP1 00002678: REVERT 00002679: JUMPDEST 0000267a: PUSH1 0x00 0000267c: DUP1 0000267d: DUP7 0000267e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002693: AND 00002694: DUP6 00002695: DUP8 00002696: PUSH1 0x40 00002698: MLOAD 00002699: PUSH2 0x26a2 0000269c: SWAP2 0000269d: SWAP1 0000269e: PUSH2 0x440b 000026a1: JUMP 000026a2: JUMPDEST 000026a3: PUSH1 0x00 000026a5: PUSH1 0x40 000026a7: MLOAD 000026a8: DUP1 000026a9: DUP4 000026aa: SUB 000026ab: DUP2 000026ac: DUP6 000026ad: DUP8 000026ae: GAS 000026af: CALL 000026b0: SWAP3 000026b1: POP 000026b2: POP 000026b3: POP 000026b4: RETURNDATASIZE 000026b5: DUP1 000026b6: PUSH1 0x00 000026b8: DUP2 000026b9: EQ 000026ba: PUSH2 0x26df 000026bd: JUMPI 000026be: PUSH1 0x40 000026c0: MLOAD 000026c1: SWAP2 000026c2: POP 000026c3: PUSH1 0x1f 000026c5: NOT 000026c6: PUSH1 0x3f 000026c8: RETURNDATASIZE 000026c9: ADD 000026ca: AND 000026cb: DUP3 000026cc: ADD 000026cd: PUSH1 0x40 000026cf: MSTORE 000026d0: RETURNDATASIZE 000026d1: DUP3 000026d2: MSTORE 000026d3: RETURNDATASIZE 000026d4: PUSH1 0x00 000026d6: PUSH1 0x20 000026d8: DUP5 000026d9: ADD 000026da: RETURNDATACOPY 000026db: PUSH2 0x26e4 000026de: JUMP 000026df: JUMPDEST 000026e0: PUSH1 0x60 000026e2: SWAP2 000026e3: POP 000026e4: JUMPDEST 000026e5: POP 000026e6: SWAP2 000026e7: POP 000026e8: SWAP2 000026e9: POP 000026ea: PUSH2 0x26f4 000026ed: DUP3 000026ee: DUP3 000026ef: DUP7 000026f0: PUSH2 0x2585 000026f3: JUMP 000026f4: JUMPDEST 000026f5: SWAP3 000026f6: POP 000026f7: POP 000026f8: POP 000026f9: SWAP5 000026fa: SWAP4 000026fb: POP 000026fc: POP 000026fd: POP 000026fe: POP 000026ff: JUMP 00002700: JUMPDEST 00002701: PUSH1 0x00 00002703: PUSH1 0x40 00002705: MLOAD 00002706: SWAP1 00002707: POP 00002708: SWAP1 00002709: JUMP 0000270a: JUMPDEST 0000270b: PUSH1 0x00 0000270d: DUP1 0000270e: REVERT 0000270f: JUMPDEST 00002710: PUSH1 0x00 00002712: DUP1 00002713: REVERT 00002714: JUMPDEST 00002715: PUSH1 0x00 00002717: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00002738: DUP3 00002739: AND 0000273a: SWAP1 0000273b: POP 0000273c: SWAP2 0000273d: SWAP1 0000273e: POP 0000273f: JUMP 00002740: JUMPDEST 00002741: PUSH2 0x2749 00002744: DUP2 00002745: PUSH2 0x2714 00002748: JUMP 00002749: JUMPDEST 0000274a: DUP2 0000274b: EQ 0000274c: PUSH2 0x2754 0000274f: JUMPI 00002750: PUSH1 0x00 00002752: DUP1 00002753: REVERT 00002754: JUMPDEST 00002755: POP 00002756: JUMP 00002757: JUMPDEST 00002758: PUSH1 0x00 0000275a: DUP2 0000275b: CALLDATALOAD 0000275c: SWAP1 0000275d: POP 0000275e: PUSH2 0x2766 00002761: DUP2 00002762: PUSH2 0x2740 00002765: JUMP 00002766: JUMPDEST 00002767: SWAP3 00002768: SWAP2 00002769: POP 0000276a: POP 0000276b: JUMP 0000276c: JUMPDEST 0000276d: PUSH1 0x00 0000276f: PUSH1 0x20 00002771: DUP3 00002772: DUP5 00002773: SUB 00002774: SLT 00002775: ISZERO 00002776: PUSH2 0x2782 00002779: JUMPI 0000277a: PUSH2 0x2781 0000277d: PUSH2 0x270a 00002780: JUMP 00002781: JUMPDEST 00002782: JUMPDEST 00002783: PUSH1 0x00 00002785: PUSH2 0x2790 00002788: DUP5 00002789: DUP3 0000278a: DUP6 0000278b: ADD 0000278c: PUSH2 0x2757 0000278f: JUMP 00002790: JUMPDEST 00002791: SWAP2 00002792: POP 00002793: POP 00002794: SWAP3 00002795: SWAP2 00002796: POP 00002797: POP 00002798: JUMP 00002799: JUMPDEST 0000279a: PUSH1 0x00 0000279c: DUP2 0000279d: ISZERO 0000279e: ISZERO 0000279f: SWAP1 000027a0: POP 000027a1: SWAP2 000027a2: SWAP1 000027a3: POP 000027a4: JUMP 000027a5: JUMPDEST 000027a6: PUSH2 0x27ae 000027a9: DUP2 000027aa: PUSH2 0x2799 000027ad: JUMP 000027ae: JUMPDEST 000027af: DUP3 000027b0: MSTORE 000027b1: POP 000027b2: POP 000027b3: JUMP 000027b4: JUMPDEST 000027b5: PUSH1 0x00 000027b7: PUSH1 0x20 000027b9: DUP3 000027ba: ADD 000027bb: SWAP1 000027bc: POP 000027bd: PUSH2 0x27c9 000027c0: PUSH1 0x00 000027c2: DUP4 000027c3: ADD 000027c4: DUP5 000027c5: PUSH2 0x27a5 000027c8: JUMP 000027c9: JUMPDEST 000027ca: SWAP3 000027cb: SWAP2 000027cc: POP 000027cd: POP 000027ce: JUMP 000027cf: JUMPDEST 000027d0: PUSH1 0x00 000027d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000027e7: DUP3 000027e8: AND 000027e9: SWAP1 000027ea: POP 000027eb: SWAP2 000027ec: SWAP1 000027ed: POP 000027ee: JUMP 000027ef: JUMPDEST 000027f0: PUSH1 0x00 000027f2: PUSH2 0x27fa 000027f5: DUP3 000027f6: PUSH2 0x27cf 000027f9: JUMP 000027fa: JUMPDEST 000027fb: SWAP1 000027fc: POP 000027fd: SWAP2 000027fe: SWAP1 000027ff: POP 00002800: JUMP 00002801: JUMPDEST 00002802: PUSH1 0x00 00002804: PUSH2 0x280c 00002807: DUP3 00002808: PUSH2 0x27ef 0000280b: JUMP 0000280c: JUMPDEST 0000280d: SWAP1 0000280e: POP 0000280f: SWAP2 00002810: SWAP1 00002811: POP 00002812: JUMP 00002813: JUMPDEST 00002814: PUSH2 0x281c 00002817: DUP2 00002818: PUSH2 0x2801 0000281b: JUMP 0000281c: JUMPDEST 0000281d: DUP2 0000281e: EQ 0000281f: PUSH2 0x2827 00002822: JUMPI 00002823: PUSH1 0x00 00002825: DUP1 00002826: REVERT 00002827: JUMPDEST 00002828: POP 00002829: JUMP 0000282a: JUMPDEST 0000282b: PUSH1 0x00 0000282d: DUP2 0000282e: CALLDATALOAD 0000282f: SWAP1 00002830: POP 00002831: PUSH2 0x2839 00002834: DUP2 00002835: PUSH2 0x2813 00002838: JUMP 00002839: JUMPDEST 0000283a: SWAP3 0000283b: SWAP2 0000283c: POP 0000283d: POP 0000283e: JUMP 0000283f: JUMPDEST 00002840: PUSH2 0x2848 00002843: DUP2 00002844: PUSH2 0x27ef 00002847: JUMP 00002848: JUMPDEST 00002849: DUP2 0000284a: EQ 0000284b: PUSH2 0x2853 0000284e: JUMPI 0000284f: PUSH1 0x00 00002851: DUP1 00002852: REVERT 00002853: JUMPDEST 00002854: POP 00002855: JUMP 00002856: JUMPDEST 00002857: PUSH1 0x00 00002859: DUP2 0000285a: CALLDATALOAD 0000285b: SWAP1 0000285c: POP 0000285d: PUSH2 0x2865 00002860: DUP2 00002861: PUSH2 0x283f 00002864: JUMP 00002865: JUMPDEST 00002866: SWAP3 00002867: SWAP2 00002868: POP 00002869: POP 0000286a: JUMP 0000286b: JUMPDEST 0000286c: PUSH1 0x00 0000286e: DUP2 0000286f: SWAP1 00002870: POP 00002871: SWAP2 00002872: SWAP1 00002873: POP 00002874: JUMP 00002875: JUMPDEST 00002876: PUSH2 0x287e 00002879: DUP2 0000287a: PUSH2 0x286b 0000287d: JUMP 0000287e: JUMPDEST 0000287f: DUP2 00002880: EQ 00002881: PUSH2 0x2889 00002884: JUMPI 00002885: PUSH1 0x00 00002887: DUP1 00002888: REVERT 00002889: JUMPDEST 0000288a: POP 0000288b: JUMP 0000288c: JUMPDEST 0000288d: PUSH1 0x00 0000288f: DUP2 00002890: CALLDATALOAD 00002891: SWAP1 00002892: POP 00002893: PUSH2 0x289b 00002896: DUP2 00002897: PUSH2 0x2875 0000289a: JUMP 0000289b: JUMPDEST 0000289c: SWAP3 0000289d: SWAP2 0000289e: POP 0000289f: POP 000028a0: JUMP 000028a1: JUMPDEST 000028a2: PUSH1 0x00 000028a4: DUP1 000028a5: PUSH1 0x00 000028a7: PUSH1 0x60 000028a9: DUP5 000028aa: DUP7 000028ab: SUB 000028ac: SLT 000028ad: ISZERO 000028ae: PUSH2 0x28ba 000028b1: JUMPI 000028b2: PUSH2 0x28b9 000028b5: PUSH2 0x270a 000028b8: JUMP 000028b9: JUMPDEST 000028ba: JUMPDEST 000028bb: PUSH1 0x00 000028bd: PUSH2 0x28c8 000028c0: DUP7 000028c1: DUP3 000028c2: DUP8 000028c3: ADD 000028c4: PUSH2 0x282a 000028c7: JUMP 000028c8: JUMPDEST 000028c9: SWAP4 000028ca: POP 000028cb: POP 000028cc: PUSH1 0x20 000028ce: PUSH2 0x28d9 000028d1: DUP7 000028d2: DUP3 000028d3: DUP8 000028d4: ADD 000028d5: PUSH2 0x2856 000028d8: JUMP 000028d9: JUMPDEST 000028da: SWAP3 000028db: POP 000028dc: POP 000028dd: PUSH1 0x40 000028df: PUSH2 0x28ea 000028e2: DUP7 000028e3: DUP3 000028e4: DUP8 000028e5: ADD 000028e6: PUSH2 0x288c 000028e9: JUMP 000028ea: JUMPDEST 000028eb: SWAP2 000028ec: POP 000028ed: POP 000028ee: SWAP3 000028ef: POP 000028f0: SWAP3 000028f1: POP 000028f2: SWAP3 000028f3: JUMP 000028f4: JUMPDEST 000028f5: PUSH1 0x00 000028f7: DUP1 000028f8: PUSH1 0x40 000028fa: DUP4 000028fb: DUP6 000028fc: SUB 000028fd: SLT 000028fe: ISZERO 000028ff: PUSH2 0x290b 00002902: JUMPI 00002903: PUSH2 0x290a 00002906: PUSH2 0x270a 00002909: JUMP 0000290a: JUMPDEST 0000290b: JUMPDEST 0000290c: PUSH1 0x00 0000290e: PUSH2 0x2919 00002911: DUP6 00002912: DUP3 00002913: DUP7 00002914: ADD 00002915: PUSH2 0x2856 00002918: JUMP 00002919: JUMPDEST 0000291a: SWAP3 0000291b: POP 0000291c: POP 0000291d: PUSH1 0x20 0000291f: PUSH2 0x292a 00002922: DUP6 00002923: DUP3 00002924: DUP7 00002925: ADD 00002926: PUSH2 0x288c 00002929: JUMP 0000292a: JUMPDEST 0000292b: SWAP2 0000292c: POP 0000292d: POP 0000292e: SWAP3 0000292f: POP 00002930: SWAP3 00002931: SWAP1 00002932: POP 00002933: JUMP 00002934: JUMPDEST 00002935: PUSH1 0x00 00002937: DUP1 00002938: REVERT 00002939: JUMPDEST 0000293a: PUSH1 0x00 0000293c: DUP1 0000293d: REVERT 0000293e: JUMPDEST 0000293f: PUSH1 0x00 00002941: PUSH1 0x1f 00002943: NOT 00002944: PUSH1 0x1f 00002946: DUP4 00002947: ADD 00002948: AND 00002949: SWAP1 0000294a: POP 0000294b: SWAP2 0000294c: SWAP1 0000294d: POP 0000294e: JUMP 0000294f: JUMPDEST 00002950: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002971: PUSH1 0x00 00002973: MSTORE 00002974: PUSH1 0x41 00002976: PUSH1 0x04 00002978: MSTORE 00002979: PUSH1 0x24 0000297b: PUSH1 0x00 0000297d: REVERT 0000297e: JUMPDEST 0000297f: PUSH2 0x2987 00002982: DUP3 00002983: PUSH2 0x293e 00002986: JUMP 00002987: JUMPDEST 00002988: DUP2 00002989: ADD 0000298a: DUP2 0000298b: DUP2 0000298c: LT 0000298d: PUSH8 0xffffffffffffffff 00002996: DUP3 00002997: GT 00002998: OR 00002999: ISZERO 0000299a: PUSH2 0x29a6 0000299d: JUMPI 0000299e: PUSH2 0x29a5 000029a1: PUSH2 0x294f 000029a4: JUMP 000029a5: JUMPDEST 000029a6: JUMPDEST 000029a7: DUP1 000029a8: PUSH1 0x40 000029aa: MSTORE 000029ab: POP 000029ac: POP 000029ad: POP 000029ae: JUMP 000029af: JUMPDEST 000029b0: PUSH1 0x00 000029b2: PUSH2 0x29b9 000029b5: PUSH2 0x2700 000029b8: JUMP 000029b9: JUMPDEST 000029ba: SWAP1 000029bb: POP 000029bc: PUSH2 0x29c5 000029bf: DUP3 000029c0: DUP3 000029c1: PUSH2 0x297e 000029c4: JUMP 000029c5: JUMPDEST 000029c6: SWAP2 000029c7: SWAP1 000029c8: POP 000029c9: JUMP 000029ca: JUMPDEST 000029cb: PUSH1 0x00 000029cd: PUSH8 0xffffffffffffffff 000029d6: DUP3 000029d7: GT 000029d8: ISZERO 000029d9: PUSH2 0x29e5 000029dc: JUMPI 000029dd: PUSH2 0x29e4 000029e0: PUSH2 0x294f 000029e3: JUMP 000029e4: JUMPDEST 000029e5: JUMPDEST 000029e6: PUSH2 0x29ee 000029e9: DUP3 000029ea: PUSH2 0x293e 000029ed: JUMP 000029ee: JUMPDEST 000029ef: SWAP1 000029f0: POP 000029f1: PUSH1 0x20 000029f3: DUP2 000029f4: ADD 000029f5: SWAP1 000029f6: POP 000029f7: SWAP2 000029f8: SWAP1 000029f9: POP 000029fa: JUMP 000029fb: JUMPDEST 000029fc: DUP3 000029fd: DUP2 000029fe: DUP4 000029ff: CALLDATACOPY 00002a00: PUSH1 0x00 00002a02: DUP4 00002a03: DUP4 00002a04: ADD 00002a05: MSTORE 00002a06: POP 00002a07: POP 00002a08: POP 00002a09: JUMP 00002a0a: JUMPDEST 00002a0b: PUSH1 0x00 00002a0d: PUSH2 0x2a1d 00002a10: PUSH2 0x2a18 00002a13: DUP5 00002a14: PUSH2 0x29ca 00002a17: JUMP 00002a18: JUMPDEST 00002a19: PUSH2 0x29af 00002a1c: JUMP 00002a1d: JUMPDEST 00002a1e: SWAP1 00002a1f: POP 00002a20: DUP3 00002a21: DUP2 00002a22: MSTORE 00002a23: PUSH1 0x20 00002a25: DUP2 00002a26: ADD 00002a27: DUP5 00002a28: DUP5 00002a29: DUP5 00002a2a: ADD 00002a2b: GT 00002a2c: ISZERO 00002a2d: PUSH2 0x2a39 00002a30: JUMPI 00002a31: PUSH2 0x2a38 00002a34: PUSH2 0x2939 00002a37: JUMP 00002a38: JUMPDEST 00002a39: JUMPDEST 00002a3a: PUSH2 0x2a44 00002a3d: DUP5 00002a3e: DUP3 00002a3f: DUP6 00002a40: PUSH2 0x29fb 00002a43: JUMP 00002a44: JUMPDEST 00002a45: POP 00002a46: SWAP4 00002a47: SWAP3 00002a48: POP 00002a49: POP 00002a4a: POP 00002a4b: JUMP 00002a4c: JUMPDEST 00002a4d: PUSH1 0x00 00002a4f: DUP3 00002a50: PUSH1 0x1f 00002a52: DUP4 00002a53: ADD 00002a54: SLT 00002a55: PUSH2 0x2a61 00002a58: JUMPI 00002a59: PUSH2 0x2a60 00002a5c: PUSH2 0x2934 00002a5f: JUMP 00002a60: JUMPDEST 00002a61: JUMPDEST 00002a62: DUP2 00002a63: CALLDATALOAD 00002a64: PUSH2 0x2a71 00002a67: DUP5 00002a68: DUP3 00002a69: PUSH1 0x20 00002a6b: DUP7 00002a6c: ADD 00002a6d: PUSH2 0x2a0a 00002a70: JUMP 00002a71: JUMPDEST 00002a72: SWAP2 00002a73: POP 00002a74: POP 00002a75: SWAP3 00002a76: SWAP2 00002a77: POP 00002a78: POP 00002a79: JUMP 00002a7a: JUMPDEST 00002a7b: PUSH1 0x00 00002a7d: DUP1 00002a7e: PUSH1 0x00 00002a80: DUP1 00002a81: PUSH1 0x80 00002a83: DUP6 00002a84: DUP8 00002a85: SUB 00002a86: SLT 00002a87: ISZERO 00002a88: PUSH2 0x2a94 00002a8b: JUMPI 00002a8c: PUSH2 0x2a93 00002a8f: PUSH2 0x270a 00002a92: JUMP 00002a93: JUMPDEST 00002a94: JUMPDEST 00002a95: PUSH1 0x00 00002a97: PUSH2 0x2aa2 00002a9a: DUP8 00002a9b: DUP3 00002a9c: DUP9 00002a9d: ADD 00002a9e: PUSH2 0x2856 00002aa1: JUMP 00002aa2: JUMPDEST 00002aa3: SWAP5 00002aa4: POP 00002aa5: POP 00002aa6: PUSH1 0x20 00002aa8: PUSH2 0x2ab3 00002aab: DUP8 00002aac: DUP3 00002aad: DUP9 00002aae: ADD 00002aaf: PUSH2 0x2856 00002ab2: JUMP 00002ab3: JUMPDEST 00002ab4: SWAP4 00002ab5: POP 00002ab6: POP 00002ab7: PUSH1 0x40 00002ab9: PUSH2 0x2ac4 00002abc: DUP8 00002abd: DUP3 00002abe: DUP9 00002abf: ADD 00002ac0: PUSH2 0x288c 00002ac3: JUMP 00002ac4: JUMPDEST 00002ac5: SWAP3 00002ac6: POP 00002ac7: POP 00002ac8: PUSH1 0x60 00002aca: DUP6 00002acb: ADD 00002acc: CALLDATALOAD 00002acd: PUSH8 0xffffffffffffffff 00002ad6: DUP2 00002ad7: GT 00002ad8: ISZERO 00002ad9: PUSH2 0x2ae5 00002adc: JUMPI 00002add: PUSH2 0x2ae4 00002ae0: PUSH2 0x270f 00002ae3: JUMP 00002ae4: JUMPDEST 00002ae5: JUMPDEST 00002ae6: PUSH2 0x2af1 00002ae9: DUP8 00002aea: DUP3 00002aeb: DUP9 00002aec: ADD 00002aed: PUSH2 0x2a4c 00002af0: JUMP 00002af1: JUMPDEST 00002af2: SWAP2 00002af3: POP 00002af4: POP 00002af5: SWAP3 00002af6: SWAP6 00002af7: SWAP2 00002af8: SWAP5 00002af9: POP 00002afa: SWAP3 00002afb: POP 00002afc: JUMP 00002afd: JUMPDEST 00002afe: PUSH2 0x2b06 00002b01: DUP2 00002b02: PUSH2 0x2714 00002b05: JUMP 00002b06: JUMPDEST 00002b07: DUP3 00002b08: MSTORE 00002b09: POP 00002b0a: POP 00002b0b: JUMP 00002b0c: JUMPDEST 00002b0d: PUSH1 0x00 00002b0f: PUSH1 0x20 00002b11: DUP3 00002b12: ADD 00002b13: SWAP1 00002b14: POP 00002b15: PUSH2 0x2b21 00002b18: PUSH1 0x00 00002b1a: DUP4 00002b1b: ADD 00002b1c: DUP5 00002b1d: PUSH2 0x2afd 00002b20: JUMP 00002b21: JUMPDEST 00002b22: SWAP3 00002b23: SWAP2 00002b24: POP 00002b25: POP 00002b26: JUMP 00002b27: JUMPDEST 00002b28: PUSH1 0x00 00002b2a: DUP2 00002b2b: SWAP1 00002b2c: POP 00002b2d: SWAP2 00002b2e: SWAP1 00002b2f: POP 00002b30: JUMP 00002b31: JUMPDEST 00002b32: PUSH2 0x2b3a 00002b35: DUP2 00002b36: PUSH2 0x2b27 00002b39: JUMP 00002b3a: JUMPDEST 00002b3b: DUP2 00002b3c: EQ 00002b3d: PUSH2 0x2b45 00002b40: JUMPI 00002b41: PUSH1 0x00 00002b43: DUP1 00002b44: REVERT 00002b45: JUMPDEST 00002b46: POP 00002b47: JUMP 00002b48: JUMPDEST 00002b49: PUSH1 0x00 00002b4b: DUP2 00002b4c: CALLDATALOAD 00002b4d: SWAP1 00002b4e: POP 00002b4f: PUSH2 0x2b57 00002b52: DUP2 00002b53: PUSH2 0x2b31 00002b56: JUMP 00002b57: JUMPDEST 00002b58: SWAP3 00002b59: SWAP2 00002b5a: POP 00002b5b: POP 00002b5c: JUMP 00002b5d: JUMPDEST 00002b5e: PUSH1 0x00 00002b60: PUSH1 0x20 00002b62: DUP3 00002b63: DUP5 00002b64: SUB 00002b65: SLT 00002b66: ISZERO 00002b67: PUSH2 0x2b73 00002b6a: JUMPI 00002b6b: PUSH2 0x2b72 00002b6e: PUSH2 0x270a 00002b71: JUMP 00002b72: JUMPDEST 00002b73: JUMPDEST 00002b74: PUSH1 0x00 00002b76: PUSH2 0x2b81 00002b79: DUP5 00002b7a: DUP3 00002b7b: DUP6 00002b7c: ADD 00002b7d: PUSH2 0x2b48 00002b80: JUMP 00002b81: JUMPDEST 00002b82: SWAP2 00002b83: POP 00002b84: POP 00002b85: SWAP3 00002b86: SWAP2 00002b87: POP 00002b88: POP 00002b89: JUMP 00002b8a: JUMPDEST 00002b8b: PUSH2 0x2b93 00002b8e: DUP2 00002b8f: PUSH2 0x2b27 00002b92: JUMP 00002b93: JUMPDEST 00002b94: DUP3 00002b95: MSTORE 00002b96: POP 00002b97: POP 00002b98: JUMP 00002b99: JUMPDEST 00002b9a: PUSH1 0x00 00002b9c: PUSH1 0x20 00002b9e: DUP3 00002b9f: ADD 00002ba0: SWAP1 00002ba1: POP 00002ba2: PUSH2 0x2bae 00002ba5: PUSH1 0x00 00002ba7: DUP4 00002ba8: ADD 00002ba9: DUP5 00002baa: PUSH2 0x2b8a 00002bad: JUMP 00002bae: JUMPDEST 00002baf: SWAP3 00002bb0: SWAP2 00002bb1: POP 00002bb2: POP 00002bb3: JUMP 00002bb4: JUMPDEST 00002bb5: PUSH1 0x00 00002bb7: DUP1 00002bb8: PUSH1 0x40 00002bba: DUP4 00002bbb: DUP6 00002bbc: SUB 00002bbd: SLT 00002bbe: ISZERO 00002bbf: PUSH2 0x2bcb 00002bc2: JUMPI 00002bc3: PUSH2 0x2bca 00002bc6: PUSH2 0x270a 00002bc9: JUMP 00002bca: JUMPDEST 00002bcb: JUMPDEST 00002bcc: PUSH1 0x00 00002bce: PUSH2 0x2bd9 00002bd1: DUP6 00002bd2: DUP3 00002bd3: DUP7 00002bd4: ADD 00002bd5: PUSH2 0x2b48 00002bd8: JUMP 00002bd9: JUMPDEST 00002bda: SWAP3 00002bdb: POP 00002bdc: POP 00002bdd: PUSH1 0x20 00002bdf: PUSH2 0x2bea 00002be2: DUP6 00002be3: DUP3 00002be4: DUP7 00002be5: ADD 00002be6: PUSH2 0x2856 00002be9: JUMP 00002bea: JUMPDEST 00002beb: SWAP2 00002bec: POP 00002bed: POP 00002bee: SWAP3 00002bef: POP 00002bf0: SWAP3 00002bf1: SWAP1 00002bf2: POP 00002bf3: JUMP 00002bf4: JUMPDEST 00002bf5: PUSH1 0x00 00002bf7: PUSH1 0x20 00002bf9: DUP3 00002bfa: DUP5 00002bfb: SUB 00002bfc: SLT 00002bfd: ISZERO 00002bfe: PUSH2 0x2c0a 00002c01: JUMPI 00002c02: PUSH2 0x2c09 00002c05: PUSH2 0x270a 00002c08: JUMP 00002c09: JUMPDEST 00002c0a: JUMPDEST 00002c0b: PUSH1 0x00 00002c0d: PUSH2 0x2c18 00002c10: DUP5 00002c11: DUP3 00002c12: DUP6 00002c13: ADD 00002c14: PUSH2 0x2856 00002c17: JUMP 00002c18: JUMPDEST 00002c19: SWAP2 00002c1a: POP 00002c1b: POP 00002c1c: SWAP3 00002c1d: SWAP2 00002c1e: POP 00002c1f: POP 00002c20: JUMP 00002c21: JUMPDEST 00002c22: PUSH1 0x00 00002c24: PUSH2 0x2c2c 00002c27: DUP3 00002c28: PUSH2 0x27ef 00002c2b: JUMP 00002c2c: JUMPDEST 00002c2d: SWAP1 00002c2e: POP 00002c2f: SWAP2 00002c30: SWAP1 00002c31: POP 00002c32: JUMP 00002c33: JUMPDEST 00002c34: PUSH2 0x2c3c 00002c37: DUP2 00002c38: PUSH2 0x2c21 00002c3b: JUMP 00002c3c: JUMPDEST 00002c3d: DUP2 00002c3e: EQ 00002c3f: PUSH2 0x2c47 00002c42: JUMPI 00002c43: PUSH1 0x00 00002c45: DUP1 00002c46: REVERT 00002c47: JUMPDEST 00002c48: POP 00002c49: JUMP 00002c4a: JUMPDEST 00002c4b: PUSH1 0x00 00002c4d: DUP2 00002c4e: CALLDATALOAD 00002c4f: SWAP1 00002c50: POP 00002c51: PUSH2 0x2c59 00002c54: DUP2 00002c55: PUSH2 0x2c33 00002c58: JUMP 00002c59: JUMPDEST 00002c5a: SWAP3 00002c5b: SWAP2 00002c5c: POP 00002c5d: POP 00002c5e: JUMP 00002c5f: JUMPDEST 00002c60: PUSH1 0x00 00002c62: DUP1 00002c63: PUSH1 0x00 00002c65: PUSH1 0x60 00002c67: DUP5 00002c68: DUP7 00002c69: SUB 00002c6a: SLT 00002c6b: ISZERO 00002c6c: PUSH2 0x2c78 00002c6f: JUMPI 00002c70: PUSH2 0x2c77 00002c73: PUSH2 0x270a 00002c76: JUMP 00002c77: JUMPDEST 00002c78: JUMPDEST 00002c79: PUSH1 0x00 00002c7b: PUSH2 0x2c86 00002c7e: DUP7 00002c7f: DUP3 00002c80: DUP8 00002c81: ADD 00002c82: PUSH2 0x2c4a 00002c85: JUMP 00002c86: JUMPDEST 00002c87: SWAP4 00002c88: POP 00002c89: POP 00002c8a: PUSH1 0x20 00002c8c: PUSH2 0x2c97 00002c8f: DUP7 00002c90: DUP3 00002c91: DUP8 00002c92: ADD 00002c93: PUSH2 0x2856 00002c96: JUMP 00002c97: JUMPDEST 00002c98: SWAP3 00002c99: POP 00002c9a: POP 00002c9b: PUSH1 0x40 00002c9d: PUSH2 0x2ca8 00002ca0: DUP7 00002ca1: DUP3 00002ca2: DUP8 00002ca3: ADD 00002ca4: PUSH2 0x288c 00002ca7: JUMP 00002ca8: JUMPDEST 00002ca9: SWAP2 00002caa: POP 00002cab: POP 00002cac: SWAP3 00002cad: POP 00002cae: SWAP3 00002caf: POP 00002cb0: SWAP3 00002cb1: JUMP 00002cb2: JUMPDEST 00002cb3: PUSH1 0x00 00002cb5: DUP1 00002cb6: PUSH1 0x40 00002cb8: DUP4 00002cb9: DUP6 00002cba: SUB 00002cbb: SLT 00002cbc: ISZERO 00002cbd: PUSH2 0x2cc9 00002cc0: JUMPI 00002cc1: PUSH2 0x2cc8 00002cc4: PUSH2 0x270a 00002cc7: JUMP 00002cc8: JUMPDEST 00002cc9: JUMPDEST 00002cca: PUSH1 0x00 00002ccc: PUSH2 0x2cd7 00002ccf: DUP6 00002cd0: DUP3 00002cd1: DUP7 00002cd2: ADD 00002cd3: PUSH2 0x2856 00002cd6: JUMP 00002cd7: JUMPDEST 00002cd8: SWAP3 00002cd9: POP 00002cda: POP 00002cdb: PUSH1 0x20 00002cdd: DUP4 00002cde: ADD 00002cdf: CALLDATALOAD 00002ce0: PUSH8 0xffffffffffffffff 00002ce9: DUP2 00002cea: GT 00002ceb: ISZERO 00002cec: PUSH2 0x2cf8 00002cef: JUMPI 00002cf0: PUSH2 0x2cf7 00002cf3: PUSH2 0x270f 00002cf6: JUMP 00002cf7: JUMPDEST 00002cf8: JUMPDEST 00002cf9: PUSH2 0x2d04 00002cfc: DUP6 00002cfd: DUP3 00002cfe: DUP7 00002cff: ADD 00002d00: PUSH2 0x2a4c 00002d03: JUMP 00002d04: JUMPDEST 00002d05: SWAP2 00002d06: POP 00002d07: POP 00002d08: SWAP3 00002d09: POP 00002d0a: SWAP3 00002d0b: SWAP1 00002d0c: POP 00002d0d: JUMP 00002d0e: JUMPDEST 00002d0f: PUSH1 0x00 00002d11: DUP1 00002d12: REVERT 00002d13: JUMPDEST 00002d14: PUSH1 0x00 00002d16: DUP1 00002d17: REVERT 00002d18: JUMPDEST 00002d19: PUSH1 0x00 00002d1b: DUP1 00002d1c: DUP4 00002d1d: PUSH1 0x1f 00002d1f: DUP5 00002d20: ADD 00002d21: SLT 00002d22: PUSH2 0x2d2e 00002d25: JUMPI 00002d26: PUSH2 0x2d2d 00002d29: PUSH2 0x2934 00002d2c: JUMP 00002d2d: JUMPDEST 00002d2e: JUMPDEST 00002d2f: DUP3 00002d30: CALLDATALOAD 00002d31: SWAP1 00002d32: POP 00002d33: PUSH8 0xffffffffffffffff 00002d3c: DUP2 00002d3d: GT 00002d3e: ISZERO 00002d3f: PUSH2 0x2d4b 00002d42: JUMPI 00002d43: PUSH2 0x2d4a 00002d46: PUSH2 0x2d0e 00002d49: JUMP 00002d4a: JUMPDEST 00002d4b: JUMPDEST 00002d4c: PUSH1 0x20 00002d4e: DUP4 00002d4f: ADD 00002d50: SWAP2 00002d51: POP 00002d52: DUP4 00002d53: PUSH1 0x20 00002d55: DUP3 00002d56: MUL 00002d57: DUP4 00002d58: ADD 00002d59: GT 00002d5a: ISZERO 00002d5b: PUSH2 0x2d67 00002d5e: JUMPI 00002d5f: PUSH2 0x2d66 00002d62: PUSH2 0x2d13 00002d65: JUMP 00002d66: JUMPDEST 00002d67: JUMPDEST 00002d68: SWAP3 00002d69: POP 00002d6a: SWAP3 00002d6b: SWAP1 00002d6c: POP 00002d6d: JUMP 00002d6e: JUMPDEST 00002d6f: PUSH1 0x00 00002d71: DUP1 00002d72: DUP4 00002d73: PUSH1 0x1f 00002d75: DUP5 00002d76: ADD 00002d77: SLT 00002d78: PUSH2 0x2d84 00002d7b: JUMPI 00002d7c: PUSH2 0x2d83 00002d7f: PUSH2 0x2934 00002d82: JUMP 00002d83: JUMPDEST 00002d84: JUMPDEST 00002d85: DUP3 00002d86: CALLDATALOAD 00002d87: SWAP1 00002d88: POP 00002d89: PUSH8 0xffffffffffffffff 00002d92: DUP2 00002d93: GT 00002d94: ISZERO 00002d95: PUSH2 0x2da1 00002d98: JUMPI 00002d99: PUSH2 0x2da0 00002d9c: PUSH2 0x2d0e 00002d9f: JUMP 00002da0: JUMPDEST 00002da1: JUMPDEST 00002da2: PUSH1 0x20 00002da4: DUP4 00002da5: ADD 00002da6: SWAP2 00002da7: POP 00002da8: DUP4 00002da9: PUSH1 0x20 00002dab: DUP3 00002dac: MUL 00002dad: DUP4 00002dae: ADD 00002daf: GT 00002db0: ISZERO 00002db1: PUSH2 0x2dbd 00002db4: JUMPI 00002db5: PUSH2 0x2dbc 00002db8: PUSH2 0x2d13 00002dbb: JUMP 00002dbc: JUMPDEST 00002dbd: JUMPDEST 00002dbe: SWAP3 00002dbf: POP 00002dc0: SWAP3 00002dc1: SWAP1 00002dc2: POP 00002dc3: JUMP 00002dc4: JUMPDEST 00002dc5: PUSH1 0x00 00002dc7: DUP1 00002dc8: DUP4 00002dc9: PUSH1 0x1f 00002dcb: DUP5 00002dcc: ADD 00002dcd: SLT 00002dce: PUSH2 0x2dda 00002dd1: JUMPI 00002dd2: PUSH2 0x2dd9 00002dd5: PUSH2 0x2934 00002dd8: JUMP 00002dd9: JUMPDEST 00002dda: JUMPDEST 00002ddb: DUP3 00002ddc: CALLDATALOAD 00002ddd: SWAP1 00002dde: POP 00002ddf: PUSH8 0xffffffffffffffff 00002de8: DUP2 00002de9: GT 00002dea: ISZERO 00002deb: PUSH2 0x2df7 00002dee: JUMPI 00002def: PUSH2 0x2df6 00002df2: PUSH2 0x2d0e 00002df5: JUMP 00002df6: JUMPDEST 00002df7: JUMPDEST 00002df8: PUSH1 0x20 00002dfa: DUP4 00002dfb: ADD 00002dfc: SWAP2 00002dfd: POP 00002dfe: DUP4 00002dff: PUSH1 0x20 00002e01: DUP3 00002e02: MUL 00002e03: DUP4 00002e04: ADD 00002e05: GT 00002e06: ISZERO 00002e07: PUSH2 0x2e13 00002e0a: JUMPI 00002e0b: PUSH2 0x2e12 00002e0e: PUSH2 0x2d13 00002e11: JUMP 00002e12: JUMPDEST 00002e13: JUMPDEST 00002e14: SWAP3 00002e15: POP 00002e16: SWAP3 00002e17: SWAP1 00002e18: POP 00002e19: JUMP 00002e1a: JUMPDEST 00002e1b: PUSH1 0x00 00002e1d: DUP1 00002e1e: PUSH1 0x00 00002e20: DUP1 00002e21: PUSH1 0x00 00002e23: DUP1 00002e24: PUSH1 0x60 00002e26: DUP8 00002e27: DUP10 00002e28: SUB 00002e29: SLT 00002e2a: ISZERO 00002e2b: PUSH2 0x2e37 00002e2e: JUMPI 00002e2f: PUSH2 0x2e36 00002e32: PUSH2 0x270a 00002e35: JUMP 00002e36: JUMPDEST 00002e37: JUMPDEST 00002e38: PUSH1 0x00 00002e3a: DUP8 00002e3b: ADD 00002e3c: CALLDATALOAD 00002e3d: PUSH8 0xffffffffffffffff 00002e46: DUP2 00002e47: GT 00002e48: ISZERO 00002e49: PUSH2 0x2e55 00002e4c: JUMPI 00002e4d: PUSH2 0x2e54 00002e50: PUSH2 0x270f 00002e53: JUMP 00002e54: JUMPDEST 00002e55: JUMPDEST 00002e56: PUSH2 0x2e61 00002e59: DUP10 00002e5a: DUP3 00002e5b: DUP11 00002e5c: ADD 00002e5d: PUSH2 0x2d18 00002e60: JUMP 00002e61: JUMPDEST 00002e62: SWAP7 00002e63: POP 00002e64: SWAP7 00002e65: POP 00002e66: POP 00002e67: PUSH1 0x20 00002e69: DUP8 00002e6a: ADD 00002e6b: CALLDATALOAD 00002e6c: PUSH8 0xffffffffffffffff 00002e75: DUP2 00002e76: GT 00002e77: ISZERO 00002e78: PUSH2 0x2e84 00002e7b: JUMPI 00002e7c: PUSH2 0x2e83 00002e7f: PUSH2 0x270f 00002e82: JUMP 00002e83: JUMPDEST 00002e84: JUMPDEST 00002e85: PUSH2 0x2e90 00002e88: DUP10 00002e89: DUP3 00002e8a: DUP11 00002e8b: ADD 00002e8c: PUSH2 0x2d6e 00002e8f: JUMP 00002e90: JUMPDEST 00002e91: SWAP5 00002e92: POP 00002e93: SWAP5 00002e94: POP 00002e95: POP 00002e96: PUSH1 0x40 00002e98: DUP8 00002e99: ADD 00002e9a: CALLDATALOAD 00002e9b: PUSH8 0xffffffffffffffff 00002ea4: DUP2 00002ea5: GT 00002ea6: ISZERO 00002ea7: PUSH2 0x2eb3 00002eaa: JUMPI 00002eab: PUSH2 0x2eb2 00002eae: PUSH2 0x270f 00002eb1: JUMP 00002eb2: JUMPDEST 00002eb3: JUMPDEST 00002eb4: PUSH2 0x2ebf 00002eb7: DUP10 00002eb8: DUP3 00002eb9: DUP11 00002eba: ADD 00002ebb: PUSH2 0x2dc4 00002ebe: JUMP 00002ebf: JUMPDEST 00002ec0: SWAP3 00002ec1: POP 00002ec2: SWAP3 00002ec3: POP 00002ec4: POP 00002ec5: SWAP3 00002ec6: SWAP6 00002ec7: POP 00002ec8: SWAP3 00002ec9: SWAP6 00002eca: POP 00002ecb: SWAP3 00002ecc: SWAP6 00002ecd: JUMP 00002ece: JUMPDEST 00002ecf: PUSH2 0x2ed7 00002ed2: DUP2 00002ed3: PUSH2 0x27ef 00002ed6: JUMP 00002ed7: JUMPDEST 00002ed8: DUP3 00002ed9: MSTORE 00002eda: POP 00002edb: POP 00002edc: JUMP 00002edd: JUMPDEST 00002ede: PUSH1 0x00 00002ee0: PUSH1 0x20 00002ee2: DUP3 00002ee3: ADD 00002ee4: SWAP1 00002ee5: POP 00002ee6: PUSH2 0x2ef2 00002ee9: PUSH1 0x00 00002eeb: DUP4 00002eec: ADD 00002eed: DUP5 00002eee: PUSH2 0x2ece 00002ef1: JUMP 00002ef2: JUMPDEST 00002ef3: SWAP3 00002ef4: SWAP2 00002ef5: POP 00002ef6: POP 00002ef7: JUMP 00002ef8: JUMPDEST 00002ef9: PUSH1 0x00 00002efb: DUP1 00002efc: PUSH1 0x40 00002efe: DUP4 00002eff: DUP6 00002f00: SUB 00002f01: SLT 00002f02: ISZERO 00002f03: PUSH2 0x2f0f 00002f06: JUMPI 00002f07: PUSH2 0x2f0e 00002f0a: PUSH2 0x270a 00002f0d: JUMP 00002f0e: JUMPDEST 00002f0f: JUMPDEST 00002f10: PUSH1 0x00 00002f12: PUSH2 0x2f1d 00002f15: DUP6 00002f16: DUP3 00002f17: DUP7 00002f18: ADD 00002f19: PUSH2 0x2b48 00002f1c: JUMP 00002f1d: JUMPDEST 00002f1e: SWAP3 00002f1f: POP 00002f20: POP 00002f21: PUSH1 0x20 00002f23: PUSH2 0x2f2e 00002f26: DUP6 00002f27: DUP3 00002f28: DUP7 00002f29: ADD 00002f2a: PUSH2 0x288c 00002f2d: JUMP 00002f2e: JUMPDEST 00002f2f: SWAP2 00002f30: POP 00002f31: POP 00002f32: SWAP3 00002f33: POP 00002f34: SWAP3 00002f35: SWAP1 00002f36: POP 00002f37: JUMP 00002f38: JUMPDEST 00002f39: PUSH2 0x2f41 00002f3c: DUP2 00002f3d: PUSH2 0x286b 00002f40: JUMP 00002f41: JUMPDEST 00002f42: DUP3 00002f43: MSTORE 00002f44: POP 00002f45: POP 00002f46: JUMP 00002f47: JUMPDEST 00002f48: PUSH1 0x00 00002f4a: PUSH1 0x20 00002f4c: DUP3 00002f4d: ADD 00002f4e: SWAP1 00002f4f: POP 00002f50: PUSH2 0x2f5c 00002f53: PUSH1 0x00 00002f55: DUP4 00002f56: ADD 00002f57: DUP5 00002f58: PUSH2 0x2f38 00002f5b: JUMP 00002f5c: JUMPDEST 00002f5d: SWAP3 00002f5e: SWAP2 00002f5f: POP 00002f60: POP 00002f61: JUMP 00002f62: JUMPDEST 00002f63: PUSH1 0x00 00002f65: DUP1 00002f66: DUP4 00002f67: PUSH1 0x1f 00002f69: DUP5 00002f6a: ADD 00002f6b: SLT 00002f6c: PUSH2 0x2f78 00002f6f: JUMPI 00002f70: PUSH2 0x2f77 00002f73: PUSH2 0x2934 00002f76: JUMP 00002f77: JUMPDEST 00002f78: JUMPDEST 00002f79: DUP3 00002f7a: CALLDATALOAD 00002f7b: SWAP1 00002f7c: POP 00002f7d: PUSH8 0xffffffffffffffff 00002f86: DUP2 00002f87: GT 00002f88: ISZERO 00002f89: PUSH2 0x2f95 00002f8c: JUMPI 00002f8d: PUSH2 0x2f94 00002f90: PUSH2 0x2d0e 00002f93: JUMP 00002f94: JUMPDEST 00002f95: JUMPDEST 00002f96: PUSH1 0x20 00002f98: DUP4 00002f99: ADD 00002f9a: SWAP2 00002f9b: POP 00002f9c: DUP4 00002f9d: PUSH1 0x20 00002f9f: DUP3 00002fa0: MUL 00002fa1: DUP4 00002fa2: ADD 00002fa3: GT 00002fa4: ISZERO 00002fa5: PUSH2 0x2fb1 00002fa8: JUMPI 00002fa9: PUSH2 0x2fb0 00002fac: PUSH2 0x2d13 00002faf: JUMP 00002fb0: JUMPDEST 00002fb1: JUMPDEST 00002fb2: SWAP3 00002fb3: POP 00002fb4: SWAP3 00002fb5: SWAP1 00002fb6: POP 00002fb7: JUMP 00002fb8: JUMPDEST 00002fb9: PUSH1 0x00 00002fbb: DUP1 00002fbc: PUSH1 0x00 00002fbe: DUP1 00002fbf: PUSH1 0x00 00002fc1: DUP1 00002fc2: PUSH1 0x60 00002fc4: DUP8 00002fc5: DUP10 00002fc6: SUB 00002fc7: SLT 00002fc8: ISZERO 00002fc9: PUSH2 0x2fd5 00002fcc: JUMPI 00002fcd: PUSH2 0x2fd4 00002fd0: PUSH2 0x270a 00002fd3: JUMP 00002fd4: JUMPDEST 00002fd5: JUMPDEST 00002fd6: PUSH1 0x00 00002fd8: DUP8 00002fd9: ADD 00002fda: CALLDATALOAD 00002fdb: PUSH8 0xffffffffffffffff 00002fe4: DUP2 00002fe5: GT 00002fe6: ISZERO 00002fe7: PUSH2 0x2ff3 00002fea: JUMPI 00002feb: PUSH2 0x2ff2 00002fee: PUSH2 0x270f 00002ff1: JUMP 00002ff2: JUMPDEST 00002ff3: JUMPDEST 00002ff4: PUSH2 0x2fff 00002ff7: DUP10 00002ff8: DUP3 00002ff9: DUP11 00002ffa: ADD 00002ffb: PUSH2 0x2f62 00002ffe: JUMP 00002fff: JUMPDEST 00003000: SWAP7 00003001: POP 00003002: SWAP7 00003003: POP 00003004: POP 00003005: PUSH1 0x20 00003007: DUP8 00003008: ADD 00003009: CALLDATALOAD 0000300a: PUSH8 0xffffffffffffffff 00003013: DUP2 00003014: GT 00003015: ISZERO 00003016: PUSH2 0x3022 00003019: JUMPI 0000301a: PUSH2 0x3021 0000301d: PUSH2 0x270f 00003020: JUMP 00003021: JUMPDEST 00003022: JUMPDEST 00003023: PUSH2 0x302e 00003026: DUP10 00003027: DUP3 00003028: DUP11 00003029: ADD 0000302a: PUSH2 0x2d6e 0000302d: JUMP 0000302e: JUMPDEST 0000302f: SWAP5 00003030: POP 00003031: SWAP5 00003032: POP 00003033: POP 00003034: PUSH1 0x40 00003036: DUP8 00003037: ADD 00003038: CALLDATALOAD 00003039: PUSH8 0xffffffffffffffff 00003042: DUP2 00003043: GT 00003044: ISZERO 00003045: PUSH2 0x3051 00003048: JUMPI 00003049: PUSH2 0x3050 0000304c: PUSH2 0x270f 0000304f: JUMP 00003050: JUMPDEST 00003051: JUMPDEST 00003052: PUSH2 0x305d 00003055: DUP10 00003056: DUP3 00003057: DUP11 00003058: ADD 00003059: PUSH2 0x2dc4 0000305c: JUMP 0000305d: JUMPDEST 0000305e: SWAP3 0000305f: POP 00003060: SWAP3 00003061: POP 00003062: POP 00003063: SWAP3 00003064: SWAP6 00003065: POP 00003066: SWAP3 00003067: SWAP6 00003068: POP 00003069: SWAP3 0000306a: SWAP6 0000306b: JUMP 0000306c: JUMPDEST 0000306d: PUSH1 0x00 0000306f: DUP1 00003070: PUSH1 0x00 00003072: DUP1 00003073: PUSH1 0x40 00003075: DUP6 00003076: DUP8 00003077: SUB 00003078: SLT 00003079: ISZERO 0000307a: PUSH2 0x3086 0000307d: JUMPI 0000307e: PUSH2 0x3085 00003081: PUSH2 0x270a 00003084: JUMP 00003085: JUMPDEST 00003086: JUMPDEST 00003087: PUSH1 0x00 00003089: DUP6 0000308a: ADD 0000308b: CALLDATALOAD 0000308c: PUSH8 0xffffffffffffffff 00003095: DUP2 00003096: GT 00003097: ISZERO 00003098: PUSH2 0x30a4 0000309b: JUMPI 0000309c: PUSH2 0x30a3 0000309f: PUSH2 0x270f 000030a2: JUMP 000030a3: JUMPDEST 000030a4: JUMPDEST 000030a5: PUSH2 0x30b0 000030a8: DUP8 000030a9: DUP3 000030aa: DUP9 000030ab: ADD 000030ac: PUSH2 0x2d6e 000030af: JUMP 000030b0: JUMPDEST 000030b1: SWAP5 000030b2: POP 000030b3: SWAP5 000030b4: POP 000030b5: POP 000030b6: PUSH1 0x20 000030b8: DUP6 000030b9: ADD 000030ba: CALLDATALOAD 000030bb: PUSH8 0xffffffffffffffff 000030c4: DUP2 000030c5: GT 000030c6: ISZERO 000030c7: PUSH2 0x30d3 000030ca: JUMPI 000030cb: PUSH2 0x30d2 000030ce: PUSH2 0x270f 000030d1: JUMP 000030d2: JUMPDEST 000030d3: JUMPDEST 000030d4: PUSH2 0x30df 000030d7: DUP8 000030d8: DUP3 000030d9: DUP9 000030da: ADD 000030db: PUSH2 0x2dc4 000030de: JUMP 000030df: JUMPDEST 000030e0: SWAP3 000030e1: POP 000030e2: SWAP3 000030e3: POP 000030e4: POP 000030e5: SWAP3 000030e6: SWAP6 000030e7: SWAP2 000030e8: SWAP5 000030e9: POP 000030ea: SWAP3 000030eb: POP 000030ec: JUMP 000030ed: JUMPDEST 000030ee: PUSH1 0x00 000030f0: DUP3 000030f1: DUP3 000030f2: MSTORE 000030f3: PUSH1 0x20 000030f5: DUP3 000030f6: ADD 000030f7: SWAP1 000030f8: POP 000030f9: SWAP3 000030fa: SWAP2 000030fb: POP 000030fc: POP 000030fd: JUMP 000030fe: JUMPDEST 000030ff: PUSH32 0x416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e6365 00003120: PUSH1 0x00 00003122: DUP3 00003123: ADD 00003124: MSTORE 00003125: PUSH32 0x20726f6c657320666f722073656c660000000000000000000000000000000000 00003146: PUSH1 0x20 00003148: DUP3 00003149: ADD 0000314a: MSTORE 0000314b: POP 0000314c: JUMP 0000314d: JUMPDEST 0000314e: PUSH1 0x00 00003150: PUSH2 0x315a 00003153: PUSH1 0x2f 00003155: DUP4 00003156: PUSH2 0x30ed 00003159: JUMP 0000315a: JUMPDEST 0000315b: SWAP2 0000315c: POP 0000315d: PUSH2 0x3165 00003160: DUP3 00003161: PUSH2 0x30fe 00003164: JUMP 00003165: JUMPDEST 00003166: PUSH1 0x40 00003168: DUP3 00003169: ADD 0000316a: SWAP1 0000316b: POP 0000316c: SWAP2 0000316d: SWAP1 0000316e: POP 0000316f: JUMP 00003170: JUMPDEST 00003171: PUSH1 0x00 00003173: PUSH1 0x20 00003175: DUP3 00003176: ADD 00003177: SWAP1 00003178: POP 00003179: DUP2 0000317a: DUP2 0000317b: SUB 0000317c: PUSH1 0x00 0000317e: DUP4 0000317f: ADD 00003180: MSTORE 00003181: PUSH2 0x3189 00003184: DUP2 00003185: PUSH2 0x314d 00003188: JUMP 00003189: JUMPDEST 0000318a: SWAP1 0000318b: POP 0000318c: SWAP2 0000318d: SWAP1 0000318e: POP 0000318f: JUMP 00003190: JUMPDEST 00003191: PUSH32 0x46756e6374696f6e206d7573742062652063616c6c6564207468726f75676820 000031b2: PUSH1 0x00 000031b4: DUP3 000031b5: ADD 000031b6: MSTORE 000031b7: PUSH32 0x64656c656761746563616c6c0000000000000000000000000000000000000000 000031d8: PUSH1 0x20 000031da: DUP3 000031db: ADD 000031dc: MSTORE 000031dd: POP 000031de: JUMP 000031df: JUMPDEST 000031e0: PUSH1 0x00 000031e2: PUSH2 0x31ec 000031e5: PUSH1 0x2c 000031e7: DUP4 000031e8: PUSH2 0x30ed 000031eb: JUMP 000031ec: JUMPDEST 000031ed: SWAP2 000031ee: POP 000031ef: PUSH2 0x31f7 000031f2: DUP3 000031f3: PUSH2 0x3190 000031f6: JUMP 000031f7: JUMPDEST 000031f8: PUSH1 0x40 000031fa: DUP3 000031fb: ADD 000031fc: SWAP1 000031fd: POP 000031fe: SWAP2 000031ff: SWAP1 00003200: POP 00003201: JUMP 00003202: JUMPDEST 00003203: PUSH1 0x00 00003205: PUSH1 0x20 00003207: DUP3 00003208: ADD 00003209: SWAP1 0000320a: POP 0000320b: DUP2 0000320c: DUP2 0000320d: SUB 0000320e: PUSH1 0x00 00003210: DUP4 00003211: ADD 00003212: MSTORE 00003213: PUSH2 0x321b 00003216: DUP2 00003217: PUSH2 0x31df 0000321a: JUMP 0000321b: JUMPDEST 0000321c: SWAP1 0000321d: POP 0000321e: SWAP2 0000321f: SWAP1 00003220: POP 00003221: JUMP 00003222: JUMPDEST 00003223: PUSH32 0x46756e6374696f6e206d7573742062652063616c6c6564207468726f75676820 00003244: PUSH1 0x00 00003246: DUP3 00003247: ADD 00003248: MSTORE 00003249: PUSH32 0x6163746976652070726f78790000000000000000000000000000000000000000 0000326a: PUSH1 0x20 0000326c: DUP3 0000326d: ADD 0000326e: MSTORE 0000326f: POP 00003270: JUMP 00003271: JUMPDEST 00003272: PUSH1 0x00 00003274: PUSH2 0x327e 00003277: PUSH1 0x2c 00003279: DUP4 0000327a: PUSH2 0x30ed 0000327d: JUMP 0000327e: JUMPDEST 0000327f: SWAP2 00003280: POP 00003281: PUSH2 0x3289 00003284: DUP3 00003285: PUSH2 0x3222 00003288: JUMP 00003289: JUMPDEST 0000328a: PUSH1 0x40 0000328c: DUP3 0000328d: ADD 0000328e: SWAP1 0000328f: POP 00003290: SWAP2 00003291: SWAP1 00003292: POP 00003293: JUMP 00003294: JUMPDEST 00003295: PUSH1 0x00 00003297: PUSH1 0x20 00003299: DUP3 0000329a: ADD 0000329b: SWAP1 0000329c: POP 0000329d: DUP2 0000329e: DUP2 0000329f: SUB 000032a0: PUSH1 0x00 000032a2: DUP4 000032a3: ADD 000032a4: MSTORE 000032a5: PUSH2 0x32ad 000032a8: DUP2 000032a9: PUSH2 0x3271 000032ac: JUMP 000032ad: JUMPDEST 000032ae: SWAP1 000032af: POP 000032b0: SWAP2 000032b1: SWAP1 000032b2: POP 000032b3: JUMP 000032b4: JUMPDEST 000032b5: PUSH32 0x555550535570677261646561626c653a206d757374206e6f742062652063616c 000032d6: PUSH1 0x00 000032d8: DUP3 000032d9: ADD 000032da: MSTORE 000032db: PUSH32 0x6c6564207468726f7567682064656c656761746563616c6c0000000000000000 000032fc: PUSH1 0x20 000032fe: DUP3 000032ff: ADD 00003300: MSTORE 00003301: POP 00003302: JUMP 00003303: JUMPDEST 00003304: PUSH1 0x00 00003306: PUSH2 0x3310 00003309: PUSH1 0x38 0000330b: DUP4 0000330c: PUSH2 0x30ed 0000330f: JUMP 00003310: JUMPDEST 00003311: SWAP2 00003312: POP 00003313: PUSH2 0x331b 00003316: DUP3 00003317: PUSH2 0x32b4 0000331a: JUMP 0000331b: JUMPDEST 0000331c: PUSH1 0x40 0000331e: DUP3 0000331f: ADD 00003320: SWAP1 00003321: POP 00003322: SWAP2 00003323: SWAP1 00003324: POP 00003325: JUMP 00003326: JUMPDEST 00003327: PUSH1 0x00 00003329: PUSH1 0x20 0000332b: DUP3 0000332c: ADD 0000332d: SWAP1 0000332e: POP 0000332f: DUP2 00003330: DUP2 00003331: SUB 00003332: PUSH1 0x00 00003334: DUP4 00003335: ADD 00003336: MSTORE 00003337: PUSH2 0x333f 0000333a: DUP2 0000333b: PUSH2 0x3303 0000333e: JUMP 0000333f: JUMPDEST 00003340: SWAP1 00003341: POP 00003342: SWAP2 00003343: SWAP1 00003344: POP 00003345: JUMP 00003346: JUMPDEST 00003347: PUSH32 0x5661756c743a3a62617463685472616e736665724572633732313a20746f6b65 00003368: PUSH1 0x00 0000336a: DUP3 0000336b: ADD 0000336c: MSTORE 0000336d: PUSH32 0x6e732f706179656573206c656e677468206d69736d6174636800000000000000 0000338e: PUSH1 0x20 00003390: DUP3 00003391: ADD 00003392: MSTORE 00003393: POP 00003394: JUMP 00003395: JUMPDEST 00003396: PUSH1 0x00 00003398: PUSH2 0x33a2 0000339b: PUSH1 0x39 0000339d: DUP4 0000339e: PUSH2 0x30ed 000033a1: JUMP 000033a2: JUMPDEST 000033a3: SWAP2 000033a4: POP 000033a5: PUSH2 0x33ad 000033a8: DUP3 000033a9: PUSH2 0x3346 000033ac: JUMP 000033ad: JUMPDEST 000033ae: PUSH1 0x40 000033b0: DUP3 000033b1: ADD 000033b2: SWAP1 000033b3: POP 000033b4: SWAP2 000033b5: SWAP1 000033b6: POP 000033b7: JUMP 000033b8: JUMPDEST 000033b9: PUSH1 0x00 000033bb: PUSH1 0x20 000033bd: DUP3 000033be: ADD 000033bf: SWAP1 000033c0: POP 000033c1: DUP2 000033c2: DUP2 000033c3: SUB 000033c4: PUSH1 0x00 000033c6: DUP4 000033c7: ADD 000033c8: MSTORE 000033c9: PUSH2 0x33d1 000033cc: DUP2 000033cd: PUSH2 0x3395 000033d0: JUMP 000033d1: JUMPDEST 000033d2: SWAP1 000033d3: POP 000033d4: SWAP2 000033d5: SWAP1 000033d6: POP 000033d7: JUMP 000033d8: JUMPDEST 000033d9: PUSH32 0x5661756c743a3a62617463685472616e736665724572633732313a2070617965 000033fa: PUSH1 0x00 000033fc: DUP3 000033fd: ADD 000033fe: MSTORE 000033ff: PUSH32 0x65732f746f6b656e496473206c656e677468206d69736d617463680000000000 00003420: PUSH1 0x20 00003422: DUP3 00003423: ADD 00003424: MSTORE 00003425: POP 00003426: JUMP 00003427: JUMPDEST 00003428: PUSH1 0x00 0000342a: PUSH2 0x3434 0000342d: PUSH1 0x3b 0000342f: DUP4 00003430: PUSH2 0x30ed 00003433: JUMP 00003434: JUMPDEST 00003435: SWAP2 00003436: POP 00003437: PUSH2 0x343f 0000343a: DUP3 0000343b: PUSH2 0x33d8 0000343e: JUMP 0000343f: JUMPDEST 00003440: PUSH1 0x40 00003442: DUP3 00003443: ADD 00003444: SWAP1 00003445: POP 00003446: SWAP2 00003447: SWAP1 00003448: POP 00003449: JUMP 0000344a: JUMPDEST 0000344b: PUSH1 0x00 0000344d: PUSH1 0x20 0000344f: DUP3 00003450: ADD 00003451: SWAP1 00003452: POP 00003453: DUP2 00003454: DUP2 00003455: SUB 00003456: PUSH1 0x00 00003458: DUP4 00003459: ADD 0000345a: MSTORE 0000345b: PUSH2 0x3463 0000345e: DUP2 0000345f: PUSH2 0x3427 00003462: JUMP 00003463: JUMPDEST 00003464: SWAP1 00003465: POP 00003466: SWAP2 00003467: SWAP1 00003468: POP 00003469: JUMP 0000346a: JUMPDEST 0000346b: PUSH32 0x5661756c743a3a62617463685472616e736665724572633732313a2070617965 0000348c: PUSH1 0x00 0000348e: DUP3 0000348f: ADD 00003490: MSTORE 00003491: PUSH32 0x6573206c656e677468206d757374206265206774207a65726f00000000000000 000034b2: PUSH1 0x20 000034b4: DUP3 000034b5: ADD 000034b6: MSTORE 000034b7: POP 000034b8: JUMP 000034b9: JUMPDEST 000034ba: PUSH1 0x00 000034bc: PUSH2 0x34c6 000034bf: PUSH1 0x39 000034c1: DUP4 000034c2: PUSH2 0x30ed 000034c5: JUMP 000034c6: JUMPDEST 000034c7: SWAP2 000034c8: POP 000034c9: PUSH2 0x34d1 000034cc: DUP3 000034cd: PUSH2 0x346a 000034d0: JUMP 000034d1: JUMPDEST 000034d2: PUSH1 0x40 000034d4: DUP3 000034d5: ADD 000034d6: SWAP1 000034d7: POP 000034d8: SWAP2 000034d9: SWAP1 000034da: POP 000034db: JUMP 000034dc: JUMPDEST 000034dd: PUSH1 0x00 000034df: PUSH1 0x20 000034e1: DUP3 000034e2: ADD 000034e3: SWAP1 000034e4: POP 000034e5: DUP2 000034e6: DUP2 000034e7: SUB 000034e8: PUSH1 0x00 000034ea: DUP4 000034eb: ADD 000034ec: MSTORE 000034ed: PUSH2 0x34f5 000034f0: DUP2 000034f1: PUSH2 0x34b9 000034f4: JUMP 000034f5: JUMPDEST 000034f6: SWAP1 000034f7: POP 000034f8: SWAP2 000034f9: SWAP1 000034fa: POP 000034fb: JUMP 000034fc: JUMPDEST 000034fd: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000351e: PUSH1 0x00 00003520: MSTORE 00003521: PUSH1 0x32 00003523: PUSH1 0x04 00003525: MSTORE 00003526: PUSH1 0x24 00003528: PUSH1 0x00 0000352a: REVERT 0000352b: JUMPDEST 0000352c: PUSH1 0x00 0000352e: PUSH1 0x20 00003530: DUP3 00003531: DUP5 00003532: SUB 00003533: SLT 00003534: ISZERO 00003535: PUSH2 0x3541 00003538: JUMPI 00003539: PUSH2 0x3540 0000353c: PUSH2 0x270a 0000353f: JUMP 00003540: JUMPDEST 00003541: JUMPDEST 00003542: PUSH1 0x00 00003544: PUSH2 0x354f 00003547: DUP5 00003548: DUP3 00003549: DUP6 0000354a: ADD 0000354b: PUSH2 0x2c4a 0000354e: JUMP 0000354f: JUMPDEST 00003550: SWAP2 00003551: POP 00003552: POP 00003553: SWAP3 00003554: SWAP2 00003555: POP 00003556: POP 00003557: JUMP 00003558: JUMPDEST 00003559: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000357a: PUSH1 0x00 0000357c: MSTORE 0000357d: PUSH1 0x11 0000357f: PUSH1 0x04 00003581: MSTORE 00003582: PUSH1 0x24 00003584: PUSH1 0x00 00003586: REVERT 00003587: JUMPDEST 00003588: PUSH1 0x00 0000358a: PUSH2 0x3592 0000358d: DUP3 0000358e: PUSH2 0x286b 00003591: JUMP 00003592: JUMPDEST 00003593: SWAP2 00003594: POP 00003595: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000035b6: DUP3 000035b7: EQ 000035b8: ISZERO 000035b9: PUSH2 0x35c5 000035bc: JUMPI 000035bd: PUSH2 0x35c4 000035c0: PUSH2 0x3558 000035c3: JUMP 000035c4: JUMPDEST 000035c5: JUMPDEST 000035c6: PUSH1 0x01 000035c8: DUP3 000035c9: ADD 000035ca: SWAP1 000035cb: POP 000035cc: SWAP2 000035cd: SWAP1 000035ce: POP 000035cf: JUMP 000035d0: JUMPDEST 000035d1: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561 000035f2: PUSH1 0x00 000035f4: DUP3 000035f5: ADD 000035f6: MSTORE 000035f7: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000 00003618: PUSH1 0x20 0000361a: DUP3 0000361b: ADD 0000361c: MSTORE 0000361d: POP 0000361e: JUMP 0000361f: JUMPDEST 00003620: PUSH1 0x00 00003622: PUSH2 0x362c 00003625: PUSH1 0x2e 00003627: DUP4 00003628: PUSH2 0x30ed 0000362b: JUMP 0000362c: JUMPDEST 0000362d: SWAP2 0000362e: POP 0000362f: PUSH2 0x3637 00003632: DUP3 00003633: PUSH2 0x35d0 00003636: JUMP 00003637: JUMPDEST 00003638: PUSH1 0x40 0000363a: DUP3 0000363b: ADD 0000363c: SWAP1 0000363d: POP 0000363e: SWAP2 0000363f: SWAP1 00003640: POP 00003641: JUMP 00003642: JUMPDEST 00003643: PUSH1 0x00 00003645: PUSH1 0x20 00003647: DUP3 00003648: ADD 00003649: SWAP1 0000364a: POP 0000364b: DUP2 0000364c: DUP2 0000364d: SUB 0000364e: PUSH1 0x00 00003650: DUP4 00003651: ADD 00003652: MSTORE 00003653: PUSH2 0x365b 00003656: DUP2 00003657: PUSH2 0x361f 0000365a: JUMP 0000365b: JUMPDEST 0000365c: SWAP1 0000365d: POP 0000365e: SWAP2 0000365f: SWAP1 00003660: POP 00003661: JUMP 00003662: JUMPDEST 00003663: PUSH1 0x00 00003665: DUP2 00003666: SWAP1 00003667: POP 00003668: SWAP2 00003669: SWAP1 0000366a: POP 0000366b: JUMP 0000366c: JUMPDEST 0000366d: PUSH1 0x00 0000366f: PUSH1 0xff 00003671: DUP3 00003672: AND 00003673: SWAP1 00003674: POP 00003675: SWAP2 00003676: SWAP1 00003677: POP 00003678: JUMP 00003679: JUMPDEST 0000367a: PUSH1 0x00 0000367c: DUP2 0000367d: SWAP1 0000367e: POP 0000367f: SWAP2 00003680: SWAP1 00003681: POP 00003682: JUMP 00003683: JUMPDEST 00003684: PUSH1 0x00 00003686: PUSH2 0x369e 00003689: PUSH2 0x3699 0000368c: PUSH2 0x3694 0000368f: DUP5 00003690: PUSH2 0x3662 00003693: JUMP 00003694: JUMPDEST 00003695: PUSH2 0x3679 00003698: JUMP 00003699: JUMPDEST 0000369a: PUSH2 0x366c 0000369d: JUMP 0000369e: JUMPDEST 0000369f: SWAP1 000036a0: POP 000036a1: SWAP2 000036a2: SWAP1 000036a3: POP 000036a4: JUMP 000036a5: JUMPDEST 000036a6: PUSH2 0x36ae 000036a9: DUP2 000036aa: PUSH2 0x3683 000036ad: JUMP 000036ae: JUMPDEST 000036af: DUP3 000036b0: MSTORE 000036b1: POP 000036b2: POP 000036b3: JUMP 000036b4: JUMPDEST 000036b5: PUSH1 0x00 000036b7: PUSH1 0x20 000036b9: DUP3 000036ba: ADD 000036bb: SWAP1 000036bc: POP 000036bd: PUSH2 0x36c9 000036c0: PUSH1 0x00 000036c2: DUP4 000036c3: ADD 000036c4: DUP5 000036c5: PUSH2 0x36a5 000036c8: JUMP 000036c9: JUMPDEST 000036ca: SWAP3 000036cb: SWAP2 000036cc: POP 000036cd: POP 000036ce: JUMP 000036cf: JUMPDEST 000036d0: PUSH32 0x5661756c743a3a62617463685472616e7366657245726332303a20746f6b656e 000036f1: PUSH1 0x00 000036f3: DUP3 000036f4: ADD 000036f5: MSTORE 000036f6: PUSH32 0x732f706179656573206c656e677468206d69736d617463680000000000000000 00003717: PUSH1 0x20 00003719: DUP3 0000371a: ADD 0000371b: MSTORE 0000371c: POP 0000371d: JUMP 0000371e: JUMPDEST 0000371f: PUSH1 0x00 00003721: PUSH2 0x372b 00003724: PUSH1 0x38 00003726: DUP4 00003727: PUSH2 0x30ed 0000372a: JUMP 0000372b: JUMPDEST 0000372c: SWAP2 0000372d: POP 0000372e: PUSH2 0x3736 00003731: DUP3 00003732: PUSH2 0x36cf 00003735: JUMP 00003736: JUMPDEST 00003737: PUSH1 0x40 00003739: DUP3 0000373a: ADD 0000373b: SWAP1 0000373c: POP 0000373d: SWAP2 0000373e: SWAP1 0000373f: POP 00003740: JUMP 00003741: JUMPDEST 00003742: PUSH1 0x00 00003744: PUSH1 0x20 00003746: DUP3 00003747: ADD 00003748: SWAP1 00003749: POP 0000374a: DUP2 0000374b: DUP2 0000374c: SUB 0000374d: PUSH1 0x00 0000374f: DUP4 00003750: ADD 00003751: MSTORE 00003752: PUSH2 0x375a 00003755: DUP2 00003756: PUSH2 0x371e 00003759: JUMP 0000375a: JUMPDEST 0000375b: SWAP1 0000375c: POP 0000375d: SWAP2 0000375e: SWAP1 0000375f: POP 00003760: JUMP 00003761: JUMPDEST 00003762: PUSH32 0x5661756c743a3a62617463685472616e7366657245726332303a207061796565 00003783: PUSH1 0x00 00003785: DUP3 00003786: ADD 00003787: MSTORE 00003788: PUSH32 0x732f616d6f756e7473206c656e677468206d69736d6174636800000000000000 000037a9: PUSH1 0x20 000037ab: DUP3 000037ac: ADD 000037ad: MSTORE 000037ae: POP 000037af: JUMP 000037b0: JUMPDEST 000037b1: PUSH1 0x00 000037b3: PUSH2 0x37bd 000037b6: PUSH1 0x39 000037b8: DUP4 000037b9: PUSH2 0x30ed 000037bc: JUMP 000037bd: JUMPDEST 000037be: SWAP2 000037bf: POP 000037c0: PUSH2 0x37c8 000037c3: DUP3 000037c4: PUSH2 0x3761 000037c7: JUMP 000037c8: JUMPDEST 000037c9: PUSH1 0x40 000037cb: DUP3 000037cc: ADD 000037cd: SWAP1 000037ce: POP 000037cf: SWAP2 000037d0: SWAP1 000037d1: POP 000037d2: JUMP 000037d3: JUMPDEST 000037d4: PUSH1 0x00 000037d6: PUSH1 0x20 000037d8: DUP3 000037d9: ADD 000037da: SWAP1 000037db: POP 000037dc: DUP2 000037dd: DUP2 000037de: SUB 000037df: PUSH1 0x00 000037e1: DUP4 000037e2: ADD 000037e3: MSTORE 000037e4: PUSH2 0x37ec 000037e7: DUP2 000037e8: PUSH2 0x37b0 000037eb: JUMP 000037ec: JUMPDEST 000037ed: SWAP1 000037ee: POP 000037ef: SWAP2 000037f0: SWAP1 000037f1: POP 000037f2: JUMP 000037f3: JUMPDEST 000037f4: PUSH32 0x5661756c743a3a62617463685472616e7366657245726332303a207061796565 00003815: PUSH1 0x00 00003817: DUP3 00003818: ADD 00003819: MSTORE 0000381a: PUSH32 0x73206c656e677468206d757374206265206774207a65726f0000000000000000 0000383b: PUSH1 0x20 0000383d: DUP3 0000383e: ADD 0000383f: MSTORE 00003840: POP 00003841: JUMP 00003842: JUMPDEST 00003843: PUSH1 0x00 00003845: PUSH2 0x384f 00003848: PUSH1 0x38 0000384a: DUP4 0000384b: PUSH2 0x30ed 0000384e: JUMP 0000384f: JUMPDEST 00003850: SWAP2 00003851: POP 00003852: PUSH2 0x385a 00003855: DUP3 00003856: PUSH2 0x37f3 00003859: JUMP 0000385a: JUMPDEST 0000385b: PUSH1 0x40 0000385d: DUP3 0000385e: ADD 0000385f: SWAP1 00003860: POP 00003861: SWAP2 00003862: SWAP1 00003863: POP 00003864: JUMP 00003865: JUMPDEST 00003866: PUSH1 0x00 00003868: PUSH1 0x20 0000386a: DUP3 0000386b: ADD 0000386c: SWAP1 0000386d: POP 0000386e: DUP2 0000386f: DUP2 00003870: SUB 00003871: PUSH1 0x00 00003873: DUP4 00003874: ADD 00003875: MSTORE 00003876: PUSH2 0x387e 00003879: DUP2 0000387a: PUSH2 0x3842 0000387d: JUMP 0000387e: JUMPDEST 0000387f: SWAP1 00003880: POP 00003881: SWAP2 00003882: SWAP1 00003883: POP 00003884: JUMP 00003885: JUMPDEST 00003886: PUSH1 0x00 00003888: PUSH1 0x20 0000388a: DUP3 0000388b: DUP5 0000388c: SUB 0000388d: SLT 0000388e: ISZERO 0000388f: PUSH2 0x389b 00003892: JUMPI 00003893: PUSH2 0x389a 00003896: PUSH2 0x270a 00003899: JUMP 0000389a: JUMPDEST 0000389b: JUMPDEST 0000389c: PUSH1 0x00 0000389e: PUSH2 0x38a9 000038a1: DUP5 000038a2: DUP3 000038a3: DUP6 000038a4: ADD 000038a5: PUSH2 0x282a 000038a8: JUMP 000038a9: JUMPDEST 000038aa: SWAP2 000038ab: POP 000038ac: POP 000038ad: SWAP3 000038ae: SWAP2 000038af: POP 000038b0: POP 000038b1: JUMP 000038b2: JUMPDEST 000038b3: PUSH32 0x5661756c743a3a62617463685472616e7366657245746865723a207061796565 000038d4: PUSH1 0x00 000038d6: DUP3 000038d7: ADD 000038d8: MSTORE 000038d9: PUSH32 0x732f616d6f756e7473206c656e677468206d69736d6174636800000000000000 000038fa: PUSH1 0x20 000038fc: DUP3 000038fd: ADD 000038fe: MSTORE 000038ff: POP 00003900: JUMP 00003901: JUMPDEST 00003902: PUSH1 0x00 00003904: PUSH2 0x390e 00003907: PUSH1 0x39 00003909: DUP4 0000390a: PUSH2 0x30ed 0000390d: JUMP 0000390e: JUMPDEST 0000390f: SWAP2 00003910: POP 00003911: PUSH2 0x3919 00003914: DUP3 00003915: PUSH2 0x38b2 00003918: JUMP 00003919: JUMPDEST 0000391a: PUSH1 0x40 0000391c: DUP3 0000391d: ADD 0000391e: SWAP1 0000391f: POP 00003920: SWAP2 00003921: SWAP1 00003922: POP 00003923: JUMP 00003924: JUMPDEST 00003925: PUSH1 0x00 00003927: PUSH1 0x20 00003929: DUP3 0000392a: ADD 0000392b: SWAP1 0000392c: POP 0000392d: DUP2 0000392e: DUP2 0000392f: SUB 00003930: PUSH1 0x00 00003932: DUP4 00003933: ADD 00003934: MSTORE 00003935: PUSH2 0x393d 00003938: DUP2 00003939: PUSH2 0x3901 0000393c: JUMP 0000393d: JUMPDEST 0000393e: SWAP1 0000393f: POP 00003940: SWAP2 00003941: SWAP1 00003942: POP 00003943: JUMP 00003944: JUMPDEST 00003945: PUSH32 0x5661756c743a3a62617463685472616e7366657245746865723a207061796565 00003966: PUSH1 0x00 00003968: DUP3 00003969: ADD 0000396a: MSTORE 0000396b: PUSH32 0x73206c656e677468206d757374206265206774207a65726f0000000000000000 0000398c: PUSH1 0x20 0000398e: DUP3 0000398f: ADD 00003990: MSTORE 00003991: POP 00003992: JUMP 00003993: JUMPDEST 00003994: PUSH1 0x00 00003996: PUSH2 0x39a0 00003999: PUSH1 0x38 0000399b: DUP4 0000399c: PUSH2 0x30ed 0000399f: JUMP 000039a0: JUMPDEST 000039a1: SWAP2 000039a2: POP 000039a3: PUSH2 0x39ab 000039a6: DUP3 000039a7: PUSH2 0x3944 000039aa: JUMP 000039ab: JUMPDEST 000039ac: PUSH1 0x40 000039ae: DUP3 000039af: ADD 000039b0: SWAP1 000039b1: POP 000039b2: SWAP2 000039b3: SWAP1 000039b4: POP 000039b5: JUMP 000039b6: JUMPDEST 000039b7: PUSH1 0x00 000039b9: PUSH1 0x20 000039bb: DUP3 000039bc: ADD 000039bd: SWAP1 000039be: POP 000039bf: DUP2 000039c0: DUP2 000039c1: SUB 000039c2: PUSH1 0x00 000039c4: DUP4 000039c5: ADD 000039c6: MSTORE 000039c7: PUSH2 0x39cf 000039ca: DUP2 000039cb: PUSH2 0x3993 000039ce: JUMP 000039cf: JUMPDEST 000039d0: SWAP1 000039d1: POP 000039d2: SWAP2 000039d3: SWAP1 000039d4: POP 000039d5: JUMP 000039d6: JUMPDEST 000039d7: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 000039f8: PUSH1 0x00 000039fa: DUP3 000039fb: ADD 000039fc: MSTORE 000039fd: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 00003a1e: PUSH1 0x20 00003a20: DUP3 00003a21: ADD 00003a22: MSTORE 00003a23: POP 00003a24: JUMP 00003a25: JUMPDEST 00003a26: PUSH1 0x00 00003a28: PUSH2 0x3a32 00003a2b: PUSH1 0x26 00003a2d: DUP4 00003a2e: PUSH2 0x30ed 00003a31: JUMP 00003a32: JUMPDEST 00003a33: SWAP2 00003a34: POP 00003a35: PUSH2 0x3a3d 00003a38: DUP3 00003a39: PUSH2 0x39d6 00003a3c: JUMP 00003a3d: JUMPDEST 00003a3e: PUSH1 0x40 00003a40: DUP3 00003a41: ADD 00003a42: SWAP1 00003a43: POP 00003a44: SWAP2 00003a45: SWAP1 00003a46: POP 00003a47: JUMP 00003a48: JUMPDEST 00003a49: PUSH1 0x00 00003a4b: PUSH1 0x20 00003a4d: DUP3 00003a4e: ADD 00003a4f: SWAP1 00003a50: POP 00003a51: DUP2 00003a52: DUP2 00003a53: SUB 00003a54: PUSH1 0x00 00003a56: DUP4 00003a57: ADD 00003a58: MSTORE 00003a59: PUSH2 0x3a61 00003a5c: DUP2 00003a5d: PUSH2 0x3a25 00003a60: JUMP 00003a61: JUMPDEST 00003a62: SWAP1 00003a63: POP 00003a64: SWAP2 00003a65: SWAP1 00003a66: POP 00003a67: JUMP 00003a68: JUMPDEST 00003a69: PUSH1 0x00 00003a6b: DUP2 00003a6c: MLOAD 00003a6d: SWAP1 00003a6e: POP 00003a6f: PUSH2 0x3a77 00003a72: DUP2 00003a73: PUSH2 0x2b31 00003a76: JUMP 00003a77: JUMPDEST 00003a78: SWAP3 00003a79: SWAP2 00003a7a: POP 00003a7b: POP 00003a7c: JUMP 00003a7d: JUMPDEST 00003a7e: PUSH1 0x00 00003a80: PUSH1 0x20 00003a82: DUP3 00003a83: DUP5 00003a84: SUB 00003a85: SLT 00003a86: ISZERO 00003a87: PUSH2 0x3a93 00003a8a: JUMPI 00003a8b: PUSH2 0x3a92 00003a8e: PUSH2 0x270a 00003a91: JUMP 00003a92: JUMPDEST 00003a93: JUMPDEST 00003a94: PUSH1 0x00 00003a96: PUSH2 0x3aa1 00003a99: DUP5 00003a9a: DUP3 00003a9b: DUP6 00003a9c: ADD 00003a9d: PUSH2 0x3a68 00003aa0: JUMP 00003aa1: JUMPDEST 00003aa2: SWAP2 00003aa3: POP 00003aa4: POP 00003aa5: SWAP3 00003aa6: SWAP2 00003aa7: POP 00003aa8: POP 00003aa9: JUMP 00003aaa: JUMPDEST 00003aab: PUSH32 0x45524331393637557067726164653a206e657720696d706c656d656e74617469 00003acc: PUSH1 0x00 00003ace: DUP3 00003acf: ADD 00003ad0: MSTORE 00003ad1: PUSH32 0x6f6e206973206e6f742055555053000000000000000000000000000000000000 00003af2: PUSH1 0x20 00003af4: DUP3 00003af5: ADD 00003af6: MSTORE 00003af7: POP 00003af8: JUMP 00003af9: JUMPDEST 00003afa: PUSH1 0x00 00003afc: PUSH2 0x3b06 00003aff: PUSH1 0x2e 00003b01: DUP4 00003b02: PUSH2 0x30ed 00003b05: JUMP 00003b06: JUMPDEST 00003b07: SWAP2 00003b08: POP 00003b09: PUSH2 0x3b11 00003b0c: DUP3 00003b0d: PUSH2 0x3aaa 00003b10: JUMP 00003b11: JUMPDEST 00003b12: PUSH1 0x40 00003b14: DUP3 00003b15: ADD 00003b16: SWAP1 00003b17: POP 00003b18: SWAP2 00003b19: SWAP1 00003b1a: POP 00003b1b: JUMP 00003b1c: JUMPDEST 00003b1d: PUSH1 0x00 00003b1f: PUSH1 0x20 00003b21: DUP3 00003b22: ADD 00003b23: SWAP1 00003b24: POP 00003b25: DUP2 00003b26: DUP2 00003b27: SUB 00003b28: PUSH1 0x00 00003b2a: DUP4 00003b2b: ADD 00003b2c: MSTORE 00003b2d: PUSH2 0x3b35 00003b30: DUP2 00003b31: PUSH2 0x3af9 00003b34: JUMP 00003b35: JUMPDEST 00003b36: SWAP1 00003b37: POP 00003b38: SWAP2 00003b39: SWAP1 00003b3a: POP 00003b3b: JUMP 00003b3c: JUMPDEST 00003b3d: PUSH32 0x45524331393637557067726164653a20756e737570706f727465642070726f78 00003b5e: PUSH1 0x00 00003b60: DUP3 00003b61: ADD 00003b62: MSTORE 00003b63: PUSH32 0x6961626c65555549440000000000000000000000000000000000000000000000 00003b84: PUSH1 0x20 00003b86: DUP3 00003b87: ADD 00003b88: MSTORE 00003b89: POP 00003b8a: JUMP 00003b8b: JUMPDEST 00003b8c: PUSH1 0x00 00003b8e: PUSH2 0x3b98 00003b91: PUSH1 0x29 00003b93: DUP4 00003b94: PUSH2 0x30ed 00003b97: JUMP 00003b98: JUMPDEST 00003b99: SWAP2 00003b9a: POP 00003b9b: PUSH2 0x3ba3 00003b9e: DUP3 00003b9f: PUSH2 0x3b3c 00003ba2: JUMP 00003ba3: JUMPDEST 00003ba4: PUSH1 0x40 00003ba6: DUP3 00003ba7: ADD 00003ba8: SWAP1 00003ba9: POP 00003baa: SWAP2 00003bab: SWAP1 00003bac: POP 00003bad: JUMP 00003bae: JUMPDEST 00003baf: PUSH1 0x00 00003bb1: PUSH1 0x20 00003bb3: DUP3 00003bb4: ADD 00003bb5: SWAP1 00003bb6: POP 00003bb7: DUP2 00003bb8: DUP2 00003bb9: SUB 00003bba: PUSH1 0x00 00003bbc: DUP4 00003bbd: ADD 00003bbe: MSTORE 00003bbf: PUSH2 0x3bc7 00003bc2: DUP2 00003bc3: PUSH2 0x3b8b 00003bc6: JUMP 00003bc7: JUMPDEST 00003bc8: SWAP1 00003bc9: POP 00003bca: SWAP2 00003bcb: SWAP1 00003bcc: POP 00003bcd: JUMP 00003bce: JUMPDEST 00003bcf: PUSH1 0x00 00003bd1: PUSH1 0x60 00003bd3: DUP3 00003bd4: ADD 00003bd5: SWAP1 00003bd6: POP 00003bd7: PUSH2 0x3be3 00003bda: PUSH1 0x00 00003bdc: DUP4 00003bdd: ADD 00003bde: DUP7 00003bdf: PUSH2 0x2ece 00003be2: JUMP 00003be3: JUMPDEST 00003be4: PUSH2 0x3bf0 00003be7: PUSH1 0x20 00003be9: DUP4 00003bea: ADD 00003beb: DUP6 00003bec: PUSH2 0x2ece 00003bef: JUMP 00003bf0: JUMPDEST 00003bf1: PUSH2 0x3bfd 00003bf4: PUSH1 0x40 00003bf6: DUP4 00003bf7: ADD 00003bf8: DUP5 00003bf9: PUSH2 0x2f38 00003bfc: JUMP 00003bfd: JUMPDEST 00003bfe: SWAP5 00003bff: SWAP4 00003c00: POP 00003c01: POP 00003c02: POP 00003c03: POP 00003c04: JUMP 00003c05: JUMPDEST 00003c06: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00003c27: PUSH1 0x00 00003c29: DUP3 00003c2a: ADD 00003c2b: MSTORE 00003c2c: POP 00003c2d: JUMP 00003c2e: JUMPDEST 00003c2f: PUSH1 0x00 00003c31: PUSH2 0x3c3b 00003c34: PUSH1 0x20 00003c36: DUP4 00003c37: PUSH2 0x30ed 00003c3a: JUMP 00003c3b: JUMPDEST 00003c3c: SWAP2 00003c3d: POP 00003c3e: PUSH2 0x3c46 00003c41: DUP3 00003c42: PUSH2 0x3c05 00003c45: JUMP 00003c46: JUMPDEST 00003c47: PUSH1 0x20 00003c49: DUP3 00003c4a: ADD 00003c4b: SWAP1 00003c4c: POP 00003c4d: SWAP2 00003c4e: SWAP1 00003c4f: POP 00003c50: JUMP 00003c51: JUMPDEST 00003c52: PUSH1 0x00 00003c54: PUSH1 0x20 00003c56: DUP3 00003c57: ADD 00003c58: SWAP1 00003c59: POP 00003c5a: DUP2 00003c5b: DUP2 00003c5c: SUB 00003c5d: PUSH1 0x00 00003c5f: DUP4 00003c60: ADD 00003c61: MSTORE 00003c62: PUSH2 0x3c6a 00003c65: DUP2 00003c66: PUSH2 0x3c2e 00003c69: JUMP 00003c6a: JUMPDEST 00003c6b: SWAP1 00003c6c: POP 00003c6d: SWAP2 00003c6e: SWAP1 00003c6f: POP 00003c70: JUMP 00003c71: JUMPDEST 00003c72: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069 00003c93: PUSH1 0x00 00003c95: DUP3 00003c96: ADD 00003c97: MSTORE 00003c98: PUSH32 0x6e697469616c697a696e67000000000000000000000000000000000000000000 00003cb9: PUSH1 0x20 00003cbb: DUP3 00003cbc: ADD 00003cbd: MSTORE 00003cbe: POP 00003cbf: JUMP 00003cc0: JUMPDEST 00003cc1: PUSH1 0x00 00003cc3: PUSH2 0x3ccd 00003cc6: PUSH1 0x2b 00003cc8: DUP4 00003cc9: PUSH2 0x30ed 00003ccc: JUMP 00003ccd: JUMPDEST 00003cce: SWAP2 00003ccf: POP 00003cd0: PUSH2 0x3cd8 00003cd3: DUP3 00003cd4: PUSH2 0x3c71 00003cd7: JUMP 00003cd8: JUMPDEST 00003cd9: PUSH1 0x40 00003cdb: DUP3 00003cdc: ADD 00003cdd: SWAP1 00003cde: POP 00003cdf: SWAP2 00003ce0: SWAP1 00003ce1: POP 00003ce2: JUMP 00003ce3: JUMPDEST 00003ce4: PUSH1 0x00 00003ce6: PUSH1 0x20 00003ce8: DUP3 00003ce9: ADD 00003cea: SWAP1 00003ceb: POP 00003cec: DUP2 00003ced: DUP2 00003cee: SUB 00003cef: PUSH1 0x00 00003cf1: DUP4 00003cf2: ADD 00003cf3: MSTORE 00003cf4: PUSH2 0x3cfc 00003cf7: DUP2 00003cf8: PUSH2 0x3cc0 00003cfb: JUMP 00003cfc: JUMPDEST 00003cfd: SWAP1 00003cfe: POP 00003cff: SWAP2 00003d00: SWAP1 00003d01: POP 00003d02: JUMP 00003d03: JUMPDEST 00003d04: PUSH1 0x00 00003d06: DUP2 00003d07: SWAP1 00003d08: POP 00003d09: SWAP3 00003d0a: SWAP2 00003d0b: POP 00003d0c: POP 00003d0d: JUMP 00003d0e: JUMPDEST 00003d0f: PUSH32 0x416363657373436f6e74726f6c3a206163636f756e7420000000000000000000 00003d30: PUSH1 0x00 00003d32: DUP3 00003d33: ADD 00003d34: MSTORE 00003d35: POP 00003d36: JUMP 00003d37: JUMPDEST 00003d38: PUSH1 0x00 00003d3a: PUSH2 0x3d44 00003d3d: PUSH1 0x17 00003d3f: DUP4 00003d40: PUSH2 0x3d03 00003d43: JUMP 00003d44: JUMPDEST 00003d45: SWAP2 00003d46: POP 00003d47: PUSH2 0x3d4f 00003d4a: DUP3 00003d4b: PUSH2 0x3d0e 00003d4e: JUMP 00003d4f: JUMPDEST 00003d50: PUSH1 0x17 00003d52: DUP3 00003d53: ADD 00003d54: SWAP1 00003d55: POP 00003d56: SWAP2 00003d57: SWAP1 00003d58: POP 00003d59: JUMP 00003d5a: JUMPDEST 00003d5b: PUSH1 0x00 00003d5d: DUP2 00003d5e: MLOAD 00003d5f: SWAP1 00003d60: POP 00003d61: SWAP2 00003d62: SWAP1 00003d63: POP 00003d64: JUMP 00003d65: JUMPDEST 00003d66: PUSH1 0x00 00003d68: JUMPDEST 00003d69: DUP4 00003d6a: DUP2 00003d6b: LT 00003d6c: ISZERO 00003d6d: PUSH2 0x3d83 00003d70: JUMPI 00003d71: DUP1 00003d72: DUP3 00003d73: ADD 00003d74: MLOAD 00003d75: DUP2 00003d76: DUP5 00003d77: ADD 00003d78: MSTORE 00003d79: PUSH1 0x20 00003d7b: DUP2 00003d7c: ADD 00003d7d: SWAP1 00003d7e: POP 00003d7f: PUSH2 0x3d68 00003d82: JUMP 00003d83: JUMPDEST 00003d84: DUP4 00003d85: DUP2 00003d86: GT 00003d87: ISZERO 00003d88: PUSH2 0x3d92 00003d8b: JUMPI 00003d8c: PUSH1 0x00 00003d8e: DUP5 00003d8f: DUP5 00003d90: ADD 00003d91: MSTORE 00003d92: JUMPDEST 00003d93: POP 00003d94: POP 00003d95: POP 00003d96: POP 00003d97: JUMP 00003d98: JUMPDEST 00003d99: PUSH1 0x00 00003d9b: PUSH2 0x3da3 00003d9e: DUP3 00003d9f: PUSH2 0x3d5a 00003da2: JUMP 00003da3: JUMPDEST 00003da4: PUSH2 0x3dad 00003da7: DUP2 00003da8: DUP6 00003da9: PUSH2 0x3d03 00003dac: JUMP 00003dad: JUMPDEST 00003dae: SWAP4 00003daf: POP 00003db0: PUSH2 0x3dbd 00003db3: DUP2 00003db4: DUP6 00003db5: PUSH1 0x20 00003db7: DUP7 00003db8: ADD 00003db9: PUSH2 0x3d65 00003dbc: JUMP 00003dbd: JUMPDEST 00003dbe: DUP1 00003dbf: DUP5 00003dc0: ADD 00003dc1: SWAP2 00003dc2: POP 00003dc3: POP 00003dc4: SWAP3 00003dc5: SWAP2 00003dc6: POP 00003dc7: POP 00003dc8: JUMP 00003dc9: JUMPDEST 00003dca: PUSH32 0x206973206d697373696e6720726f6c6520000000000000000000000000000000 00003deb: PUSH1 0x00 00003ded: DUP3 00003dee: ADD 00003def: MSTORE 00003df0: POP 00003df1: JUMP 00003df2: JUMPDEST 00003df3: PUSH1 0x00 00003df5: PUSH2 0x3dff 00003df8: PUSH1 0x11 00003dfa: DUP4 00003dfb: PUSH2 0x3d03 00003dfe: JUMP 00003dff: JUMPDEST 00003e00: SWAP2 00003e01: POP 00003e02: PUSH2 0x3e0a 00003e05: DUP3 00003e06: PUSH2 0x3dc9 00003e09: JUMP 00003e0a: JUMPDEST 00003e0b: PUSH1 0x11 00003e0d: DUP3 00003e0e: ADD 00003e0f: SWAP1 00003e10: POP 00003e11: SWAP2 00003e12: SWAP1 00003e13: POP 00003e14: JUMP 00003e15: JUMPDEST 00003e16: PUSH1 0x00 00003e18: PUSH2 0x3e20 00003e1b: DUP3 00003e1c: PUSH2 0x3d37 00003e1f: JUMP 00003e20: JUMPDEST 00003e21: SWAP2 00003e22: POP 00003e23: PUSH2 0x3e2c 00003e26: DUP3 00003e27: DUP6 00003e28: PUSH2 0x3d98 00003e2b: JUMP 00003e2c: JUMPDEST 00003e2d: SWAP2 00003e2e: POP 00003e2f: PUSH2 0x3e37 00003e32: DUP3 00003e33: PUSH2 0x3df2 00003e36: JUMP 00003e37: JUMPDEST 00003e38: SWAP2 00003e39: POP 00003e3a: PUSH2 0x3e43 00003e3d: DUP3 00003e3e: DUP5 00003e3f: PUSH2 0x3d98 00003e42: JUMP 00003e43: JUMPDEST 00003e44: SWAP2 00003e45: POP 00003e46: DUP2 00003e47: SWAP1 00003e48: POP 00003e49: SWAP4 00003e4a: SWAP3 00003e4b: POP 00003e4c: POP 00003e4d: POP 00003e4e: JUMP 00003e4f: JUMPDEST 00003e50: PUSH1 0x00 00003e52: PUSH2 0x3e5a 00003e55: DUP3 00003e56: PUSH2 0x3d5a 00003e59: JUMP 00003e5a: JUMPDEST 00003e5b: PUSH2 0x3e64 00003e5e: DUP2 00003e5f: DUP6 00003e60: PUSH2 0x30ed 00003e63: JUMP 00003e64: JUMPDEST 00003e65: SWAP4 00003e66: POP 00003e67: PUSH2 0x3e74 00003e6a: DUP2 00003e6b: DUP6 00003e6c: PUSH1 0x20 00003e6e: DUP7 00003e6f: ADD 00003e70: PUSH2 0x3d65 00003e73: JUMP 00003e74: JUMPDEST 00003e75: PUSH2 0x3e7d 00003e78: DUP2 00003e79: PUSH2 0x293e 00003e7c: JUMP 00003e7d: JUMPDEST 00003e7e: DUP5 00003e7f: ADD 00003e80: SWAP2 00003e81: POP 00003e82: POP 00003e83: SWAP3 00003e84: SWAP2 00003e85: POP 00003e86: POP 00003e87: JUMP 00003e88: JUMPDEST 00003e89: PUSH1 0x00 00003e8b: PUSH1 0x20 00003e8d: DUP3 00003e8e: ADD 00003e8f: SWAP1 00003e90: POP 00003e91: DUP2 00003e92: DUP2 00003e93: SUB 00003e94: PUSH1 0x00 00003e96: DUP4 00003e97: ADD 00003e98: MSTORE 00003e99: PUSH2 0x3ea2 00003e9c: DUP2 00003e9d: DUP5 00003e9e: PUSH2 0x3e4f 00003ea1: JUMP 00003ea2: JUMPDEST 00003ea3: SWAP1 00003ea4: POP 00003ea5: SWAP3 00003ea6: SWAP2 00003ea7: POP 00003ea8: POP 00003ea9: JUMP 00003eaa: JUMPDEST 00003eab: PUSH1 0x00 00003ead: PUSH1 0x40 00003eaf: DUP3 00003eb0: ADD 00003eb1: SWAP1 00003eb2: POP 00003eb3: PUSH2 0x3ebf 00003eb6: PUSH1 0x00 00003eb8: DUP4 00003eb9: ADD 00003eba: DUP6 00003ebb: PUSH2 0x2ece 00003ebe: JUMP 00003ebf: JUMPDEST 00003ec0: PUSH2 0x3ecc 00003ec3: PUSH1 0x20 00003ec5: DUP4 00003ec6: ADD 00003ec7: DUP5 00003ec8: PUSH2 0x2f38 00003ecb: JUMP 00003ecc: JUMPDEST 00003ecd: SWAP4 00003ece: SWAP3 00003ecf: POP 00003ed0: POP 00003ed1: POP 00003ed2: JUMP 00003ed3: JUMPDEST 00003ed4: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e6365000000 00003ef5: PUSH1 0x00 00003ef7: DUP3 00003ef8: ADD 00003ef9: MSTORE 00003efa: POP 00003efb: JUMP 00003efc: JUMPDEST 00003efd: PUSH1 0x00 00003eff: PUSH2 0x3f09 00003f02: PUSH1 0x1d 00003f04: DUP4 00003f05: PUSH2 0x30ed 00003f08: JUMP 00003f09: JUMPDEST 00003f0a: SWAP2 00003f0b: POP 00003f0c: PUSH2 0x3f14 00003f0f: DUP3 00003f10: PUSH2 0x3ed3 00003f13: JUMP 00003f14: JUMPDEST 00003f15: PUSH1 0x20 00003f17: DUP3 00003f18: ADD 00003f19: SWAP1 00003f1a: POP 00003f1b: SWAP2 00003f1c: SWAP1 00003f1d: POP 00003f1e: JUMP 00003f1f: JUMPDEST 00003f20: PUSH1 0x00 00003f22: PUSH1 0x20 00003f24: DUP3 00003f25: ADD 00003f26: SWAP1 00003f27: POP 00003f28: DUP2 00003f29: DUP2 00003f2a: SUB 00003f2b: PUSH1 0x00 00003f2d: DUP4 00003f2e: ADD 00003f2f: MSTORE 00003f30: PUSH2 0x3f38 00003f33: DUP2 00003f34: PUSH2 0x3efc 00003f37: JUMP 00003f38: JUMPDEST 00003f39: SWAP1 00003f3a: POP 00003f3b: SWAP2 00003f3c: SWAP1 00003f3d: POP 00003f3e: JUMP 00003f3f: JUMPDEST 00003f40: PUSH1 0x00 00003f42: DUP2 00003f43: SWAP1 00003f44: POP 00003f45: SWAP3 00003f46: SWAP2 00003f47: POP 00003f48: POP 00003f49: JUMP 00003f4a: JUMPDEST 00003f4b: POP 00003f4c: JUMP 00003f4d: JUMPDEST 00003f4e: PUSH1 0x00 00003f50: PUSH2 0x3f5a 00003f53: PUSH1 0x00 00003f55: DUP4 00003f56: PUSH2 0x3f3f 00003f59: JUMP 00003f5a: JUMPDEST 00003f5b: SWAP2 00003f5c: POP 00003f5d: PUSH2 0x3f65 00003f60: DUP3 00003f61: PUSH2 0x3f4a 00003f64: JUMP 00003f65: JUMPDEST 00003f66: PUSH1 0x00 00003f68: DUP3 00003f69: ADD 00003f6a: SWAP1 00003f6b: POP 00003f6c: SWAP2 00003f6d: SWAP1 00003f6e: POP 00003f6f: JUMP 00003f70: JUMPDEST 00003f71: PUSH1 0x00 00003f73: PUSH2 0x3f7b 00003f76: DUP3 00003f77: PUSH2 0x3f4d 00003f7a: JUMP 00003f7b: JUMPDEST 00003f7c: SWAP2 00003f7d: POP 00003f7e: DUP2 00003f7f: SWAP1 00003f80: POP 00003f81: SWAP2 00003f82: SWAP1 00003f83: POP 00003f84: JUMP 00003f85: JUMPDEST 00003f86: PUSH32 0x416464726573733a20756e61626c6520746f2073656e642076616c75652c2072 00003fa7: PUSH1 0x00 00003fa9: DUP3 00003faa: ADD 00003fab: MSTORE 00003fac: PUSH32 0x6563697069656e74206d61792068617665207265766572746564000000000000 00003fcd: PUSH1 0x20 00003fcf: DUP3 00003fd0: ADD 00003fd1: MSTORE 00003fd2: POP 00003fd3: JUMP 00003fd4: JUMPDEST 00003fd5: PUSH1 0x00 00003fd7: PUSH2 0x3fe1 00003fda: PUSH1 0x3a 00003fdc: DUP4 00003fdd: PUSH2 0x30ed 00003fe0: JUMP 00003fe1: JUMPDEST 00003fe2: SWAP2 00003fe3: POP 00003fe4: PUSH2 0x3fec 00003fe7: DUP3 00003fe8: PUSH2 0x3f85 00003feb: JUMP 00003fec: JUMPDEST 00003fed: PUSH1 0x40 00003fef: DUP3 00003ff0: ADD 00003ff1: SWAP1 00003ff2: POP 00003ff3: SWAP2 00003ff4: SWAP1 00003ff5: POP 00003ff6: JUMP 00003ff7: JUMPDEST 00003ff8: PUSH1 0x00 00003ffa: PUSH1 0x20 00003ffc: DUP3 00003ffd: ADD 00003ffe: SWAP1 00003fff: POP 00004000: DUP2 00004001: DUP2 00004002: SUB 00004003: PUSH1 0x00 00004005: DUP4 00004006: ADD 00004007: MSTORE 00004008: PUSH2 0x4010 0000400b: DUP2 0000400c: PUSH2 0x3fd4 0000400f: JUMP 00004010: JUMPDEST 00004011: SWAP1 00004012: POP 00004013: SWAP2 00004014: SWAP1 00004015: POP 00004016: JUMP 00004017: JUMPDEST 00004018: PUSH32 0x455243313936373a206e657720696d706c656d656e746174696f6e206973206e 00004039: PUSH1 0x00 0000403b: DUP3 0000403c: ADD 0000403d: MSTORE 0000403e: PUSH32 0x6f74206120636f6e747261637400000000000000000000000000000000000000 0000405f: PUSH1 0x20 00004061: DUP3 00004062: ADD 00004063: MSTORE 00004064: POP 00004065: JUMP 00004066: JUMPDEST 00004067: PUSH1 0x00 00004069: PUSH2 0x4073 0000406c: PUSH1 0x2d 0000406e: DUP4 0000406f: PUSH2 0x30ed 00004072: JUMP 00004073: JUMPDEST 00004074: SWAP2 00004075: POP 00004076: PUSH2 0x407e 00004079: DUP3 0000407a: PUSH2 0x4017 0000407d: JUMP 0000407e: JUMPDEST 0000407f: PUSH1 0x40 00004081: DUP3 00004082: ADD 00004083: SWAP1 00004084: POP 00004085: SWAP2 00004086: SWAP1 00004087: POP 00004088: JUMP 00004089: JUMPDEST 0000408a: PUSH1 0x00 0000408c: PUSH1 0x20 0000408e: DUP3 0000408f: ADD 00004090: SWAP1 00004091: POP 00004092: DUP2 00004093: DUP2 00004094: SUB 00004095: PUSH1 0x00 00004097: DUP4 00004098: ADD 00004099: MSTORE 0000409a: PUSH2 0x40a2 0000409d: DUP2 0000409e: PUSH2 0x4066 000040a1: JUMP 000040a2: JUMPDEST 000040a3: SWAP1 000040a4: POP 000040a5: SWAP2 000040a6: SWAP1 000040a7: POP 000040a8: JUMP 000040a9: JUMPDEST 000040aa: PUSH1 0x00 000040ac: PUSH2 0x40b4 000040af: DUP3 000040b0: PUSH2 0x286b 000040b3: JUMP 000040b4: JUMPDEST 000040b5: SWAP2 000040b6: POP 000040b7: PUSH2 0x40bf 000040ba: DUP4 000040bb: PUSH2 0x286b 000040be: JUMP 000040bf: JUMPDEST 000040c0: SWAP3 000040c1: POP 000040c2: DUP2 000040c3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000040e4: DIV 000040e5: DUP4 000040e6: GT 000040e7: DUP3 000040e8: ISZERO 000040e9: ISZERO 000040ea: AND 000040eb: ISZERO 000040ec: PUSH2 0x40f8 000040ef: JUMPI 000040f0: PUSH2 0x40f7 000040f3: PUSH2 0x3558 000040f6: JUMP 000040f7: JUMPDEST 000040f8: JUMPDEST 000040f9: DUP3 000040fa: DUP3 000040fb: MUL 000040fc: SWAP1 000040fd: POP 000040fe: SWAP3 000040ff: SWAP2 00004100: POP 00004101: POP 00004102: JUMP 00004103: JUMPDEST 00004104: PUSH1 0x00 00004106: PUSH2 0x410e 00004109: DUP3 0000410a: PUSH2 0x286b 0000410d: JUMP 0000410e: JUMPDEST 0000410f: SWAP2 00004110: POP 00004111: PUSH2 0x4119 00004114: DUP4 00004115: PUSH2 0x286b 00004118: JUMP 00004119: JUMPDEST 0000411a: SWAP3 0000411b: POP 0000411c: DUP3 0000411d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000413e: SUB 0000413f: DUP3 00004140: GT 00004141: ISZERO 00004142: PUSH2 0x414e 00004145: JUMPI 00004146: PUSH2 0x414d 00004149: PUSH2 0x3558 0000414c: JUMP 0000414d: JUMPDEST 0000414e: JUMPDEST 0000414f: DUP3 00004150: DUP3 00004151: ADD 00004152: SWAP1 00004153: POP 00004154: SWAP3 00004155: SWAP2 00004156: POP 00004157: POP 00004158: JUMP 00004159: JUMPDEST 0000415a: PUSH1 0x00 0000415c: PUSH2 0x4164 0000415f: DUP3 00004160: PUSH2 0x286b 00004163: JUMP 00004164: JUMPDEST 00004165: SWAP2 00004166: POP 00004167: PUSH1 0x00 00004169: DUP3 0000416a: EQ 0000416b: ISZERO 0000416c: PUSH2 0x4178 0000416f: JUMPI 00004170: PUSH2 0x4177 00004173: PUSH2 0x3558 00004176: JUMP 00004177: JUMPDEST 00004178: JUMPDEST 00004179: PUSH1 0x01 0000417b: DUP3 0000417c: SUB 0000417d: SWAP1 0000417e: POP 0000417f: SWAP2 00004180: SWAP1 00004181: POP 00004182: JUMP 00004183: JUMPDEST 00004184: PUSH32 0x537472696e67733a20686578206c656e67746820696e73756666696369656e74 000041a5: PUSH1 0x00 000041a7: DUP3 000041a8: ADD 000041a9: MSTORE 000041aa: POP 000041ab: JUMP 000041ac: JUMPDEST 000041ad: PUSH1 0x00 000041af: PUSH2 0x41b9 000041b2: PUSH1 0x20 000041b4: DUP4 000041b5: PUSH2 0x30ed 000041b8: JUMP 000041b9: JUMPDEST 000041ba: SWAP2 000041bb: POP 000041bc: PUSH2 0x41c4 000041bf: DUP3 000041c0: PUSH2 0x4183 000041c3: JUMP 000041c4: JUMPDEST 000041c5: PUSH1 0x20 000041c7: DUP3 000041c8: ADD 000041c9: SWAP1 000041ca: POP 000041cb: SWAP2 000041cc: SWAP1 000041cd: POP 000041ce: JUMP 000041cf: JUMPDEST 000041d0: PUSH1 0x00 000041d2: PUSH1 0x20 000041d4: DUP3 000041d5: ADD 000041d6: SWAP1 000041d7: POP 000041d8: DUP2 000041d9: DUP2 000041da: SUB 000041db: PUSH1 0x00 000041dd: DUP4 000041de: ADD 000041df: MSTORE 000041e0: PUSH2 0x41e8 000041e3: DUP2 000041e4: PUSH2 0x41ac 000041e7: JUMP 000041e8: JUMPDEST 000041e9: SWAP1 000041ea: POP 000041eb: SWAP2 000041ec: SWAP1 000041ed: POP 000041ee: JUMP 000041ef: JUMPDEST 000041f0: PUSH2 0x41f8 000041f3: DUP2 000041f4: PUSH2 0x2799 000041f7: JUMP 000041f8: JUMPDEST 000041f9: DUP2 000041fa: EQ 000041fb: PUSH2 0x4203 000041fe: JUMPI 000041ff: PUSH1 0x00 00004201: DUP1 00004202: REVERT 00004203: JUMPDEST 00004204: POP 00004205: JUMP 00004206: JUMPDEST 00004207: PUSH1 0x00 00004209: DUP2 0000420a: MLOAD 0000420b: SWAP1 0000420c: POP 0000420d: PUSH2 0x4215 00004210: DUP2 00004211: PUSH2 0x41ef 00004214: JUMP 00004215: JUMPDEST 00004216: SWAP3 00004217: SWAP2 00004218: POP 00004219: POP 0000421a: JUMP 0000421b: JUMPDEST 0000421c: PUSH1 0x00 0000421e: PUSH1 0x20 00004220: DUP3 00004221: DUP5 00004222: SUB 00004223: SLT 00004224: ISZERO 00004225: PUSH2 0x4231 00004228: JUMPI 00004229: PUSH2 0x4230 0000422c: PUSH2 0x270a 0000422f: JUMP 00004230: JUMPDEST 00004231: JUMPDEST 00004232: PUSH1 0x00 00004234: PUSH2 0x423f 00004237: DUP5 00004238: DUP3 00004239: DUP6 0000423a: ADD 0000423b: PUSH2 0x4206 0000423e: JUMP 0000423f: JUMPDEST 00004240: SWAP2 00004241: POP 00004242: POP 00004243: SWAP3 00004244: SWAP2 00004245: POP 00004246: POP 00004247: JUMP 00004248: JUMPDEST 00004249: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 0000426a: PUSH1 0x00 0000426c: DUP3 0000426d: ADD 0000426e: MSTORE 0000426f: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000 00004290: PUSH1 0x20 00004292: DUP3 00004293: ADD 00004294: MSTORE 00004295: POP 00004296: JUMP 00004297: JUMPDEST 00004298: PUSH1 0x00 0000429a: PUSH2 0x42a4 0000429d: PUSH1 0x2a 0000429f: DUP4 000042a0: PUSH2 0x30ed 000042a3: JUMP 000042a4: JUMPDEST 000042a5: SWAP2 000042a6: POP 000042a7: PUSH2 0x42af 000042aa: DUP3 000042ab: PUSH2 0x4248 000042ae: JUMP 000042af: JUMPDEST 000042b0: PUSH1 0x40 000042b2: DUP3 000042b3: ADD 000042b4: SWAP1 000042b5: POP 000042b6: SWAP2 000042b7: SWAP1 000042b8: POP 000042b9: JUMP 000042ba: JUMPDEST 000042bb: PUSH1 0x00 000042bd: PUSH1 0x20 000042bf: DUP3 000042c0: ADD 000042c1: SWAP1 000042c2: POP 000042c3: DUP2 000042c4: DUP2 000042c5: SUB 000042c6: PUSH1 0x00 000042c8: DUP4 000042c9: ADD 000042ca: MSTORE 000042cb: PUSH2 0x42d3 000042ce: DUP2 000042cf: PUSH2 0x4297 000042d2: JUMP 000042d3: JUMPDEST 000042d4: SWAP1 000042d5: POP 000042d6: SWAP2 000042d7: SWAP1 000042d8: POP 000042d9: JUMP 000042da: JUMPDEST 000042db: PUSH1 0x00 000042dd: PUSH2 0x42e5 000042e0: DUP3 000042e1: PUSH2 0x286b 000042e4: JUMP 000042e5: JUMPDEST 000042e6: SWAP2 000042e7: POP 000042e8: PUSH2 0x42f0 000042eb: DUP4 000042ec: PUSH2 0x286b 000042ef: JUMP 000042f0: JUMPDEST 000042f1: SWAP3 000042f2: POP 000042f3: DUP3 000042f4: DUP3 000042f5: LT 000042f6: ISZERO 000042f7: PUSH2 0x4303 000042fa: JUMPI 000042fb: PUSH2 0x4302 000042fe: PUSH2 0x3558 00004301: JUMP 00004302: JUMPDEST 00004303: JUMPDEST 00004304: DUP3 00004305: DUP3 00004306: SUB 00004307: SWAP1 00004308: POP 00004309: SWAP3 0000430a: SWAP2 0000430b: POP 0000430c: POP 0000430d: JUMP 0000430e: JUMPDEST 0000430f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00004330: PUSH1 0x00 00004332: MSTORE 00004333: PUSH1 0x31 00004335: PUSH1 0x04 00004337: MSTORE 00004338: PUSH1 0x24 0000433a: PUSH1 0x00 0000433c: REVERT 0000433d: JUMPDEST 0000433e: PUSH32 0x416464726573733a2064656c65676174652063616c6c20746f206e6f6e2d636f 0000435f: PUSH1 0x00 00004361: DUP3 00004362: ADD 00004363: MSTORE 00004364: PUSH32 0x6e74726163740000000000000000000000000000000000000000000000000000 00004385: PUSH1 0x20 00004387: DUP3 00004388: ADD 00004389: MSTORE 0000438a: POP 0000438b: JUMP 0000438c: JUMPDEST 0000438d: PUSH1 0x00 0000438f: PUSH2 0x4399 00004392: PUSH1 0x26 00004394: DUP4 00004395: PUSH2 0x30ed 00004398: JUMP 00004399: JUMPDEST 0000439a: SWAP2 0000439b: POP 0000439c: PUSH2 0x43a4 0000439f: DUP3 000043a0: PUSH2 0x433d 000043a3: JUMP 000043a4: JUMPDEST 000043a5: PUSH1 0x40 000043a7: DUP3 000043a8: ADD 000043a9: SWAP1 000043aa: POP 000043ab: SWAP2 000043ac: SWAP1 000043ad: POP 000043ae: JUMP 000043af: JUMPDEST 000043b0: PUSH1 0x00 000043b2: PUSH1 0x20 000043b4: DUP3 000043b5: ADD 000043b6: SWAP1 000043b7: POP 000043b8: DUP2 000043b9: DUP2 000043ba: SUB 000043bb: PUSH1 0x00 000043bd: DUP4 000043be: ADD 000043bf: MSTORE 000043c0: PUSH2 0x43c8 000043c3: DUP2 000043c4: PUSH2 0x438c 000043c7: JUMP 000043c8: JUMPDEST 000043c9: SWAP1 000043ca: POP 000043cb: SWAP2 000043cc: SWAP1 000043cd: POP 000043ce: JUMP 000043cf: JUMPDEST 000043d0: PUSH1 0x00 000043d2: DUP2 000043d3: MLOAD 000043d4: SWAP1 000043d5: POP 000043d6: SWAP2 000043d7: SWAP1 000043d8: POP 000043d9: JUMP 000043da: JUMPDEST 000043db: PUSH1 0x00 000043dd: PUSH2 0x43e5 000043e0: DUP3 000043e1: PUSH2 0x43cf 000043e4: JUMP 000043e5: JUMPDEST 000043e6: PUSH2 0x43ef 000043e9: DUP2 000043ea: DUP6 000043eb: PUSH2 0x3f3f 000043ee: JUMP 000043ef: JUMPDEST 000043f0: SWAP4 000043f1: POP 000043f2: PUSH2 0x43ff 000043f5: DUP2 000043f6: DUP6 000043f7: PUSH1 0x20 000043f9: DUP7 000043fa: ADD 000043fb: PUSH2 0x3d65 000043fe: JUMP 000043ff: JUMPDEST 00004400: DUP1 00004401: DUP5 00004402: ADD 00004403: SWAP2 00004404: POP 00004405: POP 00004406: SWAP3 00004407: SWAP2 00004408: POP 00004409: POP 0000440a: JUMP 0000440b: JUMPDEST 0000440c: PUSH1 0x00 0000440e: PUSH2 0x4417 00004411: DUP3 00004412: DUP5 00004413: PUSH2 0x43da 00004416: JUMP 00004417: JUMPDEST 00004418: SWAP2 00004419: POP 0000441a: DUP2 0000441b: SWAP1 0000441c: POP 0000441d: SWAP3 0000441e: SWAP2 0000441f: POP 00004420: POP 00004421: JUMP 00004422: JUMPDEST 00004423: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f 00004444: PUSH1 0x00 00004446: DUP3 00004447: ADD 00004448: MSTORE 00004449: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000 0000446a: PUSH1 0x20 0000446c: DUP3 0000446d: ADD 0000446e: MSTORE 0000446f: POP 00004470: JUMP 00004471: JUMPDEST 00004472: PUSH1 0x00 00004474: PUSH2 0x447e 00004477: PUSH1 0x26 00004479: DUP4 0000447a: PUSH2 0x30ed 0000447d: JUMP 0000447e: JUMPDEST 0000447f: SWAP2 00004480: POP 00004481: PUSH2 0x4489 00004484: DUP3 00004485: PUSH2 0x4422 00004488: JUMP 00004489: JUMPDEST 0000448a: PUSH1 0x40 0000448c: DUP3 0000448d: ADD 0000448e: SWAP1 0000448f: POP 00004490: SWAP2 00004491: SWAP1 00004492: POP 00004493: JUMP 00004494: JUMPDEST 00004495: PUSH1 0x00 00004497: PUSH1 0x20 00004499: DUP3 0000449a: ADD 0000449b: SWAP1 0000449c: POP 0000449d: DUP2 0000449e: DUP2 0000449f: SUB 000044a0: PUSH1 0x00 000044a2: DUP4 000044a3: ADD 000044a4: MSTORE 000044a5: PUSH2 0x44ad 000044a8: DUP2 000044a9: PUSH2 0x4471 000044ac: JUMP 000044ad: JUMPDEST 000044ae: SWAP1 000044af: POP 000044b0: SWAP2 000044b1: SWAP1 000044b2: POP 000044b3: JUMP 000044b4: JUMPDEST 000044b5: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 000044d6: PUSH1 0x00 000044d8: DUP3 000044d9: ADD 000044da: MSTORE 000044db: POP 000044dc: JUMP 000044dd: JUMPDEST 000044de: PUSH1 0x00 000044e0: PUSH2 0x44ea 000044e3: PUSH1 0x1d 000044e5: DUP4 000044e6: PUSH2 0x30ed 000044e9: JUMP 000044ea: JUMPDEST 000044eb: SWAP2 000044ec: POP 000044ed: PUSH2 0x44f5 000044f0: DUP3 000044f1: PUSH2 0x44b4 000044f4: JUMP 000044f5: JUMPDEST 000044f6: PUSH1 0x20 000044f8: DUP3 000044f9: ADD 000044fa: SWAP1 000044fb: POP 000044fc: SWAP2 000044fd: SWAP1 000044fe: POP 000044ff: JUMP 00004500: JUMPDEST 00004501: PUSH1 0x00 00004503: PUSH1 0x20 00004505: DUP3 00004506: ADD 00004507: SWAP1 00004508: POP 00004509: DUP2 0000450a: DUP2 0000450b: SUB 0000450c: PUSH1 0x00 0000450e: DUP4 0000450f: ADD 00004510: MSTORE 00004511: PUSH2 0x4519 00004514: DUP2 00004515: PUSH2 0x44dd 00004518: JUMP 00004519: JUMPDEST 0000451a: SWAP1 0000451b: POP 0000451c: SWAP2 0000451d: SWAP1 0000451e: POP 0000451f: JUMP 00004520: INVALID 00004521: COINBASE 00004522: PUSH5 0x6472657373 00004528: GASPRICE 00004529: KECCAK256 0000452a: PUSH13 0x6f772d6c6576656c2064656c65 00004538: PUSH8 0x6174652063616c6c 00004541: KECCAK256 00004542: PUSH7 0x61696c6564a264 0000454a: PUSH10 0x70667358221220390848 00004555: SELFDESTRUCT 00004556: UNKNOWN(0xC1) 00004557: LOG3 00004558: UNKNOWN(0xEB) 00004559: PUSH2 0xf979 0000455c: UNKNOWN(0xE8) 0000455d: SGT 0000455e: RETURN 0000455f: UNKNOWN(0xAE) 00004560: UNKNOWN(0xE7) 00004561: UNKNOWN(0xE5) 00004562: UNKNOWN(0xDB) 00004563: UNKNOWN(0x4D) 00004564: SDIV 00004565: STATICCALL 00004566: PUSH18 0xfe379d3923aaa9e0acb2cf64736f6c634300 00004579: ADDMOD 0000457a: MULMOD 0000457b: STOP 0000457c: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x7a468137e18f84209462ba146beb7202e650510b05f77c91850c546992bf9a1d
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x7a468137e18f84209462ba146beb7202e650510b05f77c91850c546992bf9a1d",
"confirmed": false,
"trace_mode": "callTracer",
"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": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe6930a22",
"selector": "0xe6930a22",
"calldata_variants": [
"0xe6930a22",
"0xe6930a220000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb14f53e",
"selector": "0xeb14f53e",
"calldata_variants": [
"0xeb14f53e",
"0xeb14f53e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91d14854",
"selector": "0x91d14854",
"calldata_variants": [
"0x91d14854",
"0x91d148540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa217fddf",
"selector": "0xa217fddf",
"calldata_variants": [
"0xa217fddf",
"0xa217fddf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xca15c873",
"selector": "0xca15c873",
"calldata_variants": [
"0xca15c873",
"0xca15c8730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x57a987a3",
"selector": "0x57a987a3",
"calldata_variants": [
"0x57a987a3",
"0x57a987a30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 9444,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| high | other | cast | SELFDESTRUCT present | 85 | no | — |
viewevidence_json{
"notes": "selfdestruct can remove contract code and send funds; review reachability",
"selfdestruct_count": 1
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x216211a9eb5b3a6fa51b6bbdac4b8d0c6ad2fc73e22bc133457bfbb74ad17223
call_targets:
0xd62dedee92074458b1c31133e6601cb6b87e844b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x216211a9eb5b3a6fa51b6bbdac4b8d0c6ad2fc73e22bc133457bfbb74ad17223",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd62dedee92074458b1c31133e6601cb6b87e844b"
],
"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": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe6930a22",
"selector": "0xe6930a22",
"calldata_variants": [
"0xe6930a22",
"0xe6930a220000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb14f53e",
"selector": "0xeb14f53e",
"calldata_variants": [
"0xeb14f53e",
"0xeb14f53e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91d14854",
"selector": "0x91d14854",
"calldata_variants": [
"0x91d14854",
"0x91d148540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa217fddf",
"selector": "0xa217fddf",
"calldata_variants": [
"0xa217fddf",
"0xa217fddf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xca15c873",
"selector": "0xca15c873",
"calldata_variants": [
"0xca15c873",
"0xca15c8730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x57a987a3",
"selector": "0x57a987a3",
"calldata_variants": [
"0x57a987a3",
"0x57a987a30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5905,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7001,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 9903,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [],
"untrusted_call_count": 3
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x216211a9eb5b3a6fa51b6bbdac4b8d0c6ad2fc73e22bc133457bfbb74ad17223
call_targets:
0xd62dedee92074458b1c31133e6601cb6b87e844b
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x216211a9eb5b3a6fa51b6bbdac4b8d0c6ad2fc73e22bc133457bfbb74ad17223",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xd62dedee92074458b1c31133e6601cb6b87e844b"
],
"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": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe6930a22",
"selector": "0xe6930a22",
"calldata_variants": [
"0xe6930a22",
"0xe6930a220000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb14f53e",
"selector": "0xeb14f53e",
"calldata_variants": [
"0xeb14f53e",
"0xeb14f53e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91d14854",
"selector": "0x91d14854",
"calldata_variants": [
"0x91d14854",
"0x91d148540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa217fddf",
"selector": "0xa217fddf",
"calldata_variants": [
"0xa217fddf",
"0xa217fddf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xca15c873",
"selector": "0xca15c873",
"calldata_variants": [
"0xca15c873",
"0xca15c8730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x57a987a3",
"selector": "0x57a987a3",
"calldata_variants": [
"0x57a987a3",
"0x57a987a30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 5905,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 7001,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 9903,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": []
}
|
| high | other | detector | SELFDESTRUCT reachable | 65 | no | no |
viewtrace_id: 0x25e2735c18c6ee7abf50db44a0ac9eeac53543ac8548d72cd1cc7edbe32e9b7d
validation_json{
"sink": "SELFDESTRUCT",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x25e2735c18c6ee7abf50db44a0ac9eeac53543ac8548d72cd1cc7edbe32e9b7d",
"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": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe6930a22",
"selector": "0xe6930a22",
"calldata_variants": [
"0xe6930a22",
"0xe6930a220000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xeb14f53e",
"selector": "0xeb14f53e",
"calldata_variants": [
"0xeb14f53e",
"0xeb14f53e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x91d14854",
"selector": "0x91d14854",
"calldata_variants": [
"0x91d14854",
"0x91d148540000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa217fddf",
"selector": "0xa217fddf",
"calldata_variants": [
"0xa217fddf",
"0xa217fddf0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xca15c873",
"selector": "0xca15c873",
"calldata_variants": [
"0xca15c873",
"0xca15c8730000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x57a987a3",
"selector": "0x57a987a3",
"calldata_variants": [
"0x57a987a3",
"0x57a987a30000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [],
"selfdestruct_count": 1
}
|
| medium | upgradeability | cast | DELEGATECALL present | 80 | no | — |
viewevidence_json{
"notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
"delegatecall_count": 1
}
|