a22fec5b-f39d-4ff2-9175-c5dce822003f
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 |
|---|---|---|---|---|
| 31037 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 76036 | artifact.fetch | failed | 1 / 3 | 2 weeks ago |
| 76037 | tool.cast_disasm | complete | 1 / 3 | 2 weeks ago |
| 76038 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 76039 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 76040 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 76041 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
[codex:611382] OpenAI Codex v0.77.0 (research preview)
[codex:611382] --------
[codex:611382] workdir: /tmp/codex-multi-33rmts7u
[codex:611382] model: gpt-5.2-codex
[codex:611382] provider: openai
[codex:611382] approval: never
[codex:611382] sandbox: read-only
[codex:611382] reasoning effort: xhigh
[codex:611382] reasoning summaries: auto
[codex:611382] session id: 019b79f1-f4f6-7f10-9d5a-1734b210dfc6
[codex:611382] --------
[codex:611382] user
[codex:611382] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:611382]
[codex:611382] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:611382]
[codex:611382] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:611382] - Gas inefficiency, code quality, naming, or best practices
[codex:611382] - Theoretical vulnerabilities without a clear extraction path
[codex:611382] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:611382] - Front-running unless it enables theft beyond MEV
[codex:611382] - DoS, griefing, or issues that don't result in attacker profit
[codex:611382] - Missing events, view function issues, or informational findings
[codex:611382]
[codex:611382] HIGH-VALUE PATTERNS TO HUNT:
[codex:611382] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:611382] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:611382] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:611382] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:611382] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:611382] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:611382] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:611382] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:611382] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:611382]
[codex:611382] For each finding, you MUST provide:
[codex:611382] 1. Exact file and line numbers of vulnerable code
[codex:611382] 2. Step-by-step exploit transaction sequence
[codex:611382] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:611382]
[codex:611382] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:611382]
[codex:611382] Output MUST be valid JSON matching the provided schema.
[codex:611382] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:611382] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:611382] mcp startup: no servers
[codex:611382]
[codex:611382] thinking
[codex:611382] **Reading AUDIT_BUNDLE.txt**
[codex:611382] exec
[codex:611382] /bin/bash -lc ls in /tmp/codex-multi-33rmts7u succeeded in 5ms:
[codex:611382] AUDIT_BUNDLE.txt
[codex:611382] codex-output-schema.json
[codex:611382] contracts
[codex:611382] exec
[codex:611382] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-33rmts7u succeeded in 5ms:
[codex:611382] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:611382]
[codex:611382] ================================================================================
[codex:611382] FILE: contracts/contracts/ERC721Permit.sol
[codex:611382] ================================================================================
[codex:611382] // SPDX-License-Identifier: MIT
[codex:611382]
[codex:611382] pragma solidity ^0.8.0;
[codex:611382]
[codex:611382] import "./interfaces/IERC721Permit.sol";
[codex:611382] import "@openzeppelin/contracts/token/ERC721/ERC721.sol";
[codex:611382] import "@openzeppelin/contracts/utils/cryptography/draft-EIP712.sol";
[codex:611382] import "@openzeppelin/contracts/utils/cryptography/ECDSA.sol";
[codex:611382] import "@openzeppelin/contracts/utils/Counters.sol";
[codex:611382]
[codex:611382] /**
[codex:611382] * @dev Implementation of the ERC721 Permit extension allowing approvals to be made via signatures, as defined in
[codex:611382] * https://eips.ethereum.org/EIPS/eip-2612[EIP-2612].
[codex:611382] *
[codex:611382] * See https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/utils/cryptography/draft-EIP712.sol
[codex:611382]
[codex:611382] thinking
[codex:611382] **Analyzing potential vulnerabilities**
[codex:611382] codex
[codex:611382] {"no_findings":true,"summary":"No concrete, exploitable profit path identified in the provided contracts.","findings":[]}
[codex:611382] tokens used
[codex:611382] 18,833
[codex:611382] {"no_findings":true,"summary":"No concrete, exploitable profit path identified in the provided contracts.","findings":[]}
{
"codex": {
"ran_at": "2026-01-01T14:25:08.831075+00:00",
"returncode": 0
},
"summary": "No concrete, exploitable profit path identified in the provided contracts.",
"raw_final": {
"summary": "No concrete, exploitable profit path identified in the provided contracts.",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: CALLVALUE 00000006: DUP1 00000007: ISZERO 00000008: PUSH2 0x0010 0000000b: JUMPI 0000000c: PUSH1 0x00 0000000e: DUP1 0000000f: REVERT 00000010: JUMPDEST 00000011: POP 00000012: PUSH1 0x04 00000014: CALLDATASIZE 00000015: LT 00000016: PUSH2 0x0198 00000019: JUMPI 0000001a: PUSH1 0x00 0000001c: CALLDATALOAD 0000001d: PUSH1 0xe0 0000001f: SHR 00000020: DUP1 00000021: PUSH4 0x8456cb59 00000026: GT 00000027: PUSH2 0x00e3 0000002a: JUMPI 0000002b: DUP1 0000002c: PUSH4 0xb2016bd4 00000031: GT 00000032: PUSH2 0x008c 00000035: JUMPI 00000036: DUP1 00000037: PUSH4 0xe2684747 0000003c: GT 0000003d: PUSH2 0x0066 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0xe2684747 00000047: EQ 00000048: PUSH2 0x03d6 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0xf93554ae 00000052: EQ 00000053: PUSH2 0x03fd 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0xff7aab80 0000005d: EQ 0000005e: PUSH2 0x0424 00000061: JUMPI 00000062: PUSH1 0x00 00000064: DUP1 00000065: REVERT 00000066: JUMPDEST 00000067: DUP1 00000068: PUSH4 0xb2016bd4 0000006d: EQ 0000006e: PUSH2 0x0383 00000071: JUMPI 00000072: DUP1 00000073: PUSH4 0xbf848f81 00000078: EQ 00000079: PUSH2 0x03a3 0000007c: JUMPI 0000007d: DUP1 0000007e: PUSH4 0xd547741f 00000083: EQ 00000084: PUSH2 0x03c3 00000087: JUMPI 00000088: PUSH1 0x00 0000008a: DUP1 0000008b: REVERT 0000008c: JUMPDEST 0000008d: DUP1 0000008e: PUSH4 0xa125142b 00000093: GT 00000094: PUSH2 0x00bd 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0xa125142b 0000009e: EQ 0000009f: PUSH2 0x0341 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0xa217fddf 000000a9: EQ 000000aa: PUSH2 0x0368 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0xa4b7eeaf 000000b4: EQ 000000b5: PUSH2 0x0370 000000b8: JUMPI 000000b9: PUSH1 0x00 000000bb: DUP1 000000bc: REVERT 000000bd: JUMPDEST 000000be: DUP1 000000bf: PUSH4 0x8456cb59 000000c4: EQ 000000c5: PUSH2 0x02e2 000000c8: JUMPI 000000c9: DUP1 000000ca: PUSH4 0x8f81c508 000000cf: EQ 000000d0: PUSH2 0x02ea 000000d3: JUMPI 000000d4: DUP1 000000d5: PUSH4 0x91d14854 000000da: EQ 000000db: PUSH2 0x02fd 000000de: JUMPI 000000df: PUSH1 0x00 000000e1: DUP1 000000e2: REVERT 000000e3: JUMPDEST 000000e4: DUP1 000000e5: PUSH4 0x379607f5 000000ea: GT 000000eb: PUSH2 0x0145 000000ee: JUMPI 000000ef: DUP1 000000f0: PUSH4 0x504006ca 000000f5: GT 000000f6: PUSH2 0x011f 000000f9: JUMPI 000000fa: DUP1 000000fb: PUSH4 0x504006ca 00000100: EQ 00000101: PUSH2 0x0272 00000104: JUMPI 00000105: DUP1 00000106: PUSH4 0x5c975abb 0000010b: EQ 0000010c: PUSH2 0x0292 0000010f: JUMPI 00000110: DUP1 00000111: PUSH4 0x6999b377 00000116: EQ 00000117: PUSH2 0x029d 0000011a: JUMPI 0000011b: PUSH1 0x00 0000011d: DUP1 0000011e: REVERT 0000011f: JUMPDEST 00000120: DUP1 00000121: PUSH4 0x379607f5 00000126: EQ 00000127: PUSH2 0x0244 0000012a: JUMPI 0000012b: DUP1 0000012c: PUSH4 0x3ed4c678 00000131: EQ 00000132: PUSH2 0x0257 00000135: JUMPI 00000136: DUP1 00000137: PUSH4 0x3f4ba83a 0000013c: EQ 0000013d: PUSH2 0x026a 00000140: JUMPI 00000141: PUSH1 0x00 00000143: DUP1 00000144: REVERT 00000145: JUMPDEST 00000146: DUP1 00000147: PUSH4 0x2f2ff15d 0000014c: GT 0000014d: PUSH2 0x0176 00000150: JUMPI 00000151: DUP1 00000152: PUSH4 0x2f2ff15d 00000157: EQ 00000158: PUSH2 0x020b 0000015b: JUMPI 0000015c: DUP1 0000015d: PUSH4 0x36568abe 00000162: EQ 00000163: PUSH2 0x021e 00000166: JUMPI 00000167: DUP1 00000168: PUSH4 0x371fd8e6 0000016d: EQ 0000016e: PUSH2 0x0231 00000171: JUMPI 00000172: PUSH1 0x00 00000174: DUP1 00000175: REVERT 00000176: JUMPDEST 00000177: DUP1 00000178: PUSH4 0x01ffc9a7 0000017d: EQ 0000017e: PUSH2 0x019d 00000181: JUMPI 00000182: DUP1 00000183: PUSH4 0x15a0ea6a 00000188: EQ 00000189: PUSH2 0x01c5 0000018c: JUMPI 0000018d: DUP1 0000018e: PUSH4 0x248a9ca3 00000193: EQ 00000194: PUSH2 0x01da 00000197: JUMPI 00000198: JUMPDEST 00000199: PUSH1 0x00 0000019b: DUP1 0000019c: REVERT 0000019d: JUMPDEST 0000019e: PUSH2 0x01b0 000001a1: PUSH2 0x01ab 000001a4: CALLDATASIZE 000001a5: PUSH1 0x04 000001a7: PUSH2 0x2a5e 000001aa: JUMP 000001ab: JUMPDEST 000001ac: PUSH2 0x0444 000001af: JUMP 000001b0: JUMPDEST 000001b1: PUSH1 0x40 000001b3: MLOAD 000001b4: SWAP1 000001b5: ISZERO 000001b6: ISZERO 000001b7: DUP2 000001b8: MSTORE 000001b9: PUSH1 0x20 000001bb: ADD 000001bc: JUMPDEST 000001bd: PUSH1 0x40 000001bf: MLOAD 000001c0: DUP1 000001c1: SWAP2 000001c2: SUB 000001c3: SWAP1 000001c4: RETURN 000001c5: JUMPDEST 000001c6: PUSH2 0x01d8 000001c9: PUSH2 0x01d3 000001cc: CALLDATASIZE 000001cd: PUSH1 0x04 000001cf: PUSH2 0x2aa0 000001d2: JUMP 000001d3: JUMPDEST 000001d4: PUSH2 0x04dd 000001d7: JUMP 000001d8: JUMPDEST 000001d9: STOP 000001da: JUMPDEST 000001db: PUSH2 0x01fd 000001de: PUSH2 0x01e8 000001e1: CALLDATASIZE 000001e2: PUSH1 0x04 000001e4: PUSH2 0x2a15 000001e7: JUMP 000001e8: JUMPDEST 000001e9: PUSH1 0x00 000001eb: SWAP1 000001ec: DUP2 000001ed: MSTORE 000001ee: PUSH1 0x20 000001f0: DUP2 000001f1: SWAP1 000001f2: MSTORE 000001f3: PUSH1 0x40 000001f5: SWAP1 000001f6: KECCAK256 000001f7: PUSH1 0x01 000001f9: ADD 000001fa: SLOAD 000001fb: SWAP1 000001fc: JUMP 000001fd: JUMPDEST 000001fe: PUSH1 0x40 00000200: MLOAD 00000201: SWAP1 00000202: DUP2 00000203: MSTORE 00000204: PUSH1 0x20 00000206: ADD 00000207: PUSH2 0x01bc 0000020a: JUMP 0000020b: JUMPDEST 0000020c: PUSH2 0x01d8 0000020f: PUSH2 0x0219 00000212: CALLDATASIZE 00000213: PUSH1 0x04 00000215: PUSH2 0x2a2e 00000218: JUMP 00000219: JUMPDEST 0000021a: PUSH2 0x0625 0000021d: JUMP 0000021e: JUMPDEST 0000021f: PUSH2 0x01d8 00000222: PUSH2 0x022c 00000225: CALLDATASIZE 00000226: PUSH1 0x04 00000228: PUSH2 0x2a2e 0000022b: JUMP 0000022c: JUMPDEST 0000022d: PUSH2 0x0650 00000230: JUMP 00000231: JUMPDEST 00000232: PUSH2 0x01d8 00000235: PUSH2 0x023f 00000238: CALLDATASIZE 00000239: PUSH1 0x04 0000023b: PUSH2 0x2a15 0000023e: JUMP 0000023f: JUMPDEST 00000240: PUSH2 0x0708 00000243: JUMP 00000244: JUMPDEST 00000245: PUSH2 0x01d8 00000248: PUSH2 0x0252 0000024b: CALLDATASIZE 0000024c: PUSH1 0x04 0000024e: PUSH2 0x2a15 00000251: JUMP 00000252: JUMPDEST 00000253: PUSH2 0x0cb6 00000256: JUMP 00000257: JUMPDEST 00000258: PUSH2 0x01d8 0000025b: PUSH2 0x0265 0000025e: CALLDATASIZE 0000025f: PUSH1 0x04 00000261: PUSH2 0x2aa0 00000264: JUMP 00000265: JUMPDEST 00000266: PUSH2 0x1238 00000269: JUMP 0000026a: JUMPDEST 0000026b: PUSH2 0x01d8 0000026e: PUSH2 0x12ab 00000271: JUMP 00000272: JUMPDEST 00000273: PUSH2 0x0285 00000276: PUSH2 0x0280 00000279: CALLDATASIZE 0000027a: PUSH1 0x04 0000027c: PUSH2 0x2a15 0000027f: JUMP 00000280: JUMPDEST 00000281: PUSH2 0x12c2 00000284: JUMP 00000285: JUMPDEST 00000286: PUSH1 0x40 00000288: MLOAD 00000289: PUSH2 0x01bc 0000028c: SWAP2 0000028d: SWAP1 0000028e: PUSH2 0x2cb4 00000291: JUMP 00000292: JUMPDEST 00000293: PUSH1 0x01 00000295: SLOAD 00000296: PUSH1 0xff 00000298: AND 00000299: PUSH2 0x01b0 0000029c: JUMP 0000029d: JUMPDEST 0000029e: PUSH1 0x08 000002a0: SLOAD 000002a1: PUSH2 0x02bd 000002a4: SWAP1 000002a5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002ba: AND 000002bb: DUP2 000002bc: JUMP 000002bd: JUMPDEST 000002be: PUSH1 0x40 000002c0: MLOAD 000002c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002d6: SWAP1 000002d7: SWAP2 000002d8: AND 000002d9: DUP2 000002da: MSTORE 000002db: PUSH1 0x20 000002dd: ADD 000002de: PUSH2 0x01bc 000002e1: JUMP 000002e2: JUMPDEST 000002e3: PUSH2 0x01d8 000002e6: PUSH2 0x1390 000002e9: JUMP 000002ea: JUMPDEST 000002eb: PUSH2 0x01fd 000002ee: PUSH2 0x02f8 000002f1: CALLDATASIZE 000002f2: PUSH1 0x04 000002f4: PUSH2 0x2abd 000002f7: JUMP 000002f8: JUMPDEST 000002f9: PUSH2 0x13a4 000002fc: JUMP 000002fd: JUMPDEST 000002fe: PUSH2 0x01b0 00000301: PUSH2 0x030b 00000304: CALLDATASIZE 00000305: PUSH1 0x04 00000307: PUSH2 0x2a2e 0000030a: JUMP 0000030b: JUMPDEST 0000030c: PUSH1 0x00 0000030e: SWAP2 0000030f: DUP3 00000310: MSTORE 00000311: PUSH1 0x20 00000313: DUP3 00000314: DUP2 00000315: MSTORE 00000316: PUSH1 0x40 00000318: DUP1 00000319: DUP5 0000031a: KECCAK256 0000031b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000330: SWAP4 00000331: SWAP1 00000332: SWAP4 00000333: AND 00000334: DUP5 00000335: MSTORE 00000336: SWAP2 00000337: SWAP1 00000338: MSTORE 00000339: SWAP1 0000033a: KECCAK256 0000033b: SLOAD 0000033c: PUSH1 0xff 0000033e: AND 0000033f: SWAP1 00000340: JUMP 00000341: JUMPDEST 00000342: PUSH2 0x01fd 00000345: PUSH32 0x59abfac6520ec36a6556b2a4dd949cc40007459bcd5cd2507f1e5cc77b6bc97e 00000366: DUP2 00000367: JUMP 00000368: JUMPDEST 00000369: PUSH2 0x01fd 0000036c: PUSH1 0x00 0000036e: DUP2 0000036f: JUMP 00000370: JUMPDEST 00000371: PUSH2 0x01d8 00000374: PUSH2 0x037e 00000377: CALLDATASIZE 00000378: PUSH1 0x04 0000037a: PUSH2 0x29b2 0000037d: JUMP 0000037e: JUMPDEST 0000037f: PUSH2 0x1737 00000382: JUMP 00000383: JUMPDEST 00000384: PUSH1 0x07 00000386: SLOAD 00000387: PUSH2 0x02bd 0000038a: SWAP1 0000038b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003a0: AND 000003a1: DUP2 000003a2: JUMP 000003a3: JUMPDEST 000003a4: PUSH1 0x05 000003a6: SLOAD 000003a7: PUSH2 0x02bd 000003aa: SWAP1 000003ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000003c0: AND 000003c1: DUP2 000003c2: JUMP 000003c3: JUMPDEST 000003c4: PUSH2 0x01d8 000003c7: PUSH2 0x03d1 000003ca: CALLDATASIZE 000003cb: PUSH1 0x04 000003cd: PUSH2 0x2a2e 000003d0: JUMP 000003d1: JUMPDEST 000003d2: PUSH2 0x1d71 000003d5: JUMP 000003d6: JUMPDEST 000003d7: PUSH2 0x01fd 000003da: PUSH32 0x9c60024347074fd9de2c1e36003080d22dbc76a41ef87444d21e361bcb39118e 000003fb: DUP2 000003fc: JUMP 000003fd: JUMPDEST 000003fe: PUSH2 0x01fd 00000401: PUSH32 0x8dd046eb6fe22791cf064df41dbfc76ef240a563550f519aac88255bd8c2d3bb 00000422: DUP2 00000423: JUMP 00000424: JUMPDEST 00000425: PUSH1 0x06 00000427: SLOAD 00000428: PUSH2 0x02bd 0000042b: SWAP1 0000042c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000441: AND 00000442: DUP2 00000443: JUMP 00000444: JUMPDEST 00000445: PUSH1 0x00 00000447: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00000468: DUP3 00000469: AND 0000046a: PUSH32 0x7965db0b00000000000000000000000000000000000000000000000000000000 0000048b: EQ 0000048c: DUP1 0000048d: PUSH2 0x04d7 00000490: JUMPI 00000491: POP 00000492: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000 000004b3: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 000004d4: DUP4 000004d5: AND 000004d6: EQ 000004d7: JUMPDEST 000004d8: SWAP3 000004d9: SWAP2 000004da: POP 000004db: POP 000004dc: JUMP 000004dd: JUMPDEST 000004de: PUSH32 0x8dd046eb6fe22791cf064df41dbfc76ef240a563550f519aac88255bd8c2d3bb 000004ff: PUSH2 0x0508 00000502: DUP2 00000503: CALLER 00000504: PUSH2 0x1da0 00000507: JUMP 00000508: JUMPDEST 00000509: PUSH1 0x40 0000050b: MLOAD 0000050c: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 0000052d: DUP2 0000052e: MSTORE 0000052f: ADDRESS 00000530: PUSH1 0x04 00000532: DUP3 00000533: ADD 00000534: MSTORE 00000535: PUSH1 0x00 00000537: SWAP1 00000538: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000054d: DUP5 0000054e: AND 0000054f: SWAP1 00000550: PUSH4 0x70a08231 00000555: SWAP1 00000556: PUSH1 0x24 00000558: ADD 00000559: PUSH1 0x20 0000055b: PUSH1 0x40 0000055d: MLOAD 0000055e: DUP1 0000055f: DUP4 00000560: SUB 00000561: DUP2 00000562: DUP7 00000563: DUP1 00000564: EXTCODESIZE 00000565: ISZERO 00000566: DUP1 00000567: ISZERO 00000568: PUSH2 0x0570 0000056b: JUMPI 0000056c: PUSH1 0x00 0000056e: DUP1 0000056f: REVERT 00000570: JUMPDEST 00000571: POP 00000572: GAS 00000573: STATICCALL 00000574: ISZERO 00000575: DUP1 00000576: ISZERO 00000577: PUSH2 0x0584 0000057a: JUMPI 0000057b: RETURNDATASIZE 0000057c: PUSH1 0x00 0000057e: DUP1 0000057f: RETURNDATACOPY 00000580: RETURNDATASIZE 00000581: PUSH1 0x00 00000583: REVERT 00000584: JUMPDEST 00000585: POP 00000586: POP 00000587: POP 00000588: POP 00000589: PUSH1 0x40 0000058b: MLOAD 0000058c: RETURNDATASIZE 0000058d: PUSH1 0x1f 0000058f: NOT 00000590: PUSH1 0x1f 00000592: DUP3 00000593: ADD 00000594: AND 00000595: DUP3 00000596: ADD 00000597: DUP1 00000598: PUSH1 0x40 0000059a: MSTORE 0000059b: POP 0000059c: DUP2 0000059d: ADD 0000059e: SWAP1 0000059f: PUSH2 0x05a8 000005a2: SWAP2 000005a3: SWAP1 000005a4: PUSH2 0x2b72 000005a7: JUMP 000005a8: JUMPDEST 000005a9: SWAP1 000005aa: POP 000005ab: PUSH2 0x05cb 000005ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005c3: DUP5 000005c4: AND 000005c5: CALLER 000005c6: DUP4 000005c7: PUSH2 0x1e70 000005ca: JUMP 000005cb: JUMPDEST 000005cc: PUSH1 0x40 000005ce: DUP1 000005cf: MLOAD 000005d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005e5: DUP6 000005e6: AND 000005e7: DUP2 000005e8: MSTORE 000005e9: CALLER 000005ea: PUSH1 0x20 000005ec: DUP3 000005ed: ADD 000005ee: MSTORE 000005ef: DUP1 000005f0: DUP3 000005f1: ADD 000005f2: DUP4 000005f3: SWAP1 000005f4: MSTORE 000005f5: SWAP1 000005f6: MLOAD 000005f7: PUSH32 0xfe3464cd748424446c37877c28ce5b700222c5bc9f90d908afcc4e5cb22707ff 00000618: SWAP2 00000619: DUP2 0000061a: SWAP1 0000061b: SUB 0000061c: PUSH1 0x60 0000061e: ADD 0000061f: SWAP1 00000620: LOG1 00000621: POP 00000622: POP 00000623: POP 00000624: JUMP 00000625: JUMPDEST 00000626: PUSH1 0x00 00000628: DUP3 00000629: DUP2 0000062a: MSTORE 0000062b: PUSH1 0x20 0000062d: DUP2 0000062e: SWAP1 0000062f: MSTORE 00000630: PUSH1 0x40 00000632: SWAP1 00000633: KECCAK256 00000634: PUSH1 0x01 00000636: ADD 00000637: SLOAD 00000638: PUSH2 0x0641 0000063b: DUP2 0000063c: CALLER 0000063d: PUSH2 0x1da0 00000640: JUMP 00000641: JUMPDEST 00000642: PUSH2 0x064b 00000645: DUP4 00000646: DUP4 00000647: PUSH2 0x1f44 0000064a: JUMP 0000064b: JUMPDEST 0000064c: POP 0000064d: POP 0000064e: POP 0000064f: JUMP 00000650: JUMPDEST 00000651: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000666: DUP2 00000667: AND 00000668: CALLER 00000669: EQ 0000066a: PUSH2 0x06fa 0000066d: JUMPI 0000066e: PUSH1 0x40 00000670: MLOAD 00000671: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000692: DUP2 00000693: MSTORE 00000694: PUSH1 0x20 00000696: PUSH1 0x04 00000698: DUP3 00000699: ADD 0000069a: MSTORE 0000069b: PUSH1 0x2f 0000069d: PUSH1 0x24 0000069f: DUP3 000006a0: ADD 000006a1: MSTORE 000006a2: PUSH32 0x416363657373436f6e74726f6c3a2063616e206f6e6c792072656e6f756e6365 000006c3: PUSH1 0x44 000006c5: DUP3 000006c6: ADD 000006c7: MSTORE 000006c8: PUSH32 0x20726f6c657320666f722073656c660000000000000000000000000000000000 000006e9: PUSH1 0x64 000006eb: DUP3 000006ec: ADD 000006ed: MSTORE 000006ee: PUSH1 0x84 000006f0: ADD 000006f1: JUMPDEST 000006f2: PUSH1 0x40 000006f4: MLOAD 000006f5: DUP1 000006f6: SWAP2 000006f7: SUB 000006f8: SWAP1 000006f9: REVERT 000006fa: JUMPDEST 000006fb: PUSH2 0x0704 000006fe: DUP3 000006ff: DUP3 00000700: PUSH2 0x2034 00000703: JUMP 00000704: JUMPDEST 00000705: POP 00000706: POP 00000707: JUMP 00000708: JUMPDEST 00000709: PUSH32 0x9c60024347074fd9de2c1e36003080d22dbc76a41ef87444d21e361bcb39118e 0000072a: PUSH2 0x0733 0000072d: DUP2 0000072e: CALLER 0000072f: PUSH2 0x1da0 00000732: JUMP 00000733: JUMPDEST 00000734: PUSH1 0x00 00000736: DUP3 00000737: DUP2 00000738: MSTORE 00000739: PUSH1 0x03 0000073b: PUSH1 0x20 0000073d: DUP2 0000073e: DUP2 0000073f: MSTORE 00000740: PUSH1 0x40 00000742: DUP1 00000743: DUP5 00000744: KECCAK256 00000745: DUP2 00000746: MLOAD 00000747: PUSH1 0xa0 00000749: DUP1 0000074a: DUP3 0000074b: ADD 0000074c: DUP5 0000074d: MSTORE 0000074e: DUP3 0000074f: SLOAD 00000750: DUP3 00000751: MSTORE 00000752: PUSH1 0x01 00000754: DUP4 00000755: ADD 00000756: SLOAD 00000757: DUP3 00000758: DUP7 00000759: ADD 0000075a: MSTORE 0000075b: DUP4 0000075c: MLOAD 0000075d: SWAP1 0000075e: DUP2 0000075f: ADD 00000760: DUP5 00000761: MSTORE 00000762: PUSH1 0x02 00000764: DUP4 00000765: ADD 00000766: SLOAD 00000767: DUP2 00000768: MSTORE 00000769: SWAP5 0000076a: DUP3 0000076b: ADD 0000076c: SLOAD 0000076d: SWAP4 0000076e: DUP6 0000076f: ADD 00000770: SWAP4 00000771: SWAP1 00000772: SWAP4 00000773: MSTORE 00000774: PUSH1 0x04 00000776: DUP1 00000777: DUP3 00000778: ADD 00000779: SLOAD 0000077a: DUP6 0000077b: DUP5 0000077c: ADD 0000077d: MSTORE 0000077e: PUSH1 0x05 00000780: DUP3 00000781: ADD 00000782: SLOAD 00000783: PUSH1 0x60 00000785: DUP1 00000786: DUP8 00000787: ADD 00000788: SWAP2 00000789: SWAP1 0000078a: SWAP2 0000078b: MSTORE 0000078c: PUSH1 0x06 0000078e: DUP4 0000078f: ADD 00000790: SLOAD 00000791: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007a6: AND 000007a7: PUSH1 0x80 000007a9: DUP8 000007aa: ADD 000007ab: MSTORE 000007ac: SWAP3 000007ad: DUP5 000007ae: ADD 000007af: SWAP5 000007b0: SWAP1 000007b1: SWAP5 000007b2: MSTORE 000007b3: PUSH1 0x07 000007b5: DUP2 000007b6: ADD 000007b7: SLOAD 000007b8: SWAP3 000007b9: SWAP4 000007ba: SWAP1 000007bb: SWAP3 000007bc: SWAP2 000007bd: DUP5 000007be: ADD 000007bf: SWAP2 000007c0: PUSH1 0xff 000007c2: AND 000007c3: SWAP1 000007c4: DUP2 000007c5: GT 000007c6: ISZERO 000007c7: PUSH2 0x07d2 000007ca: JUMPI 000007cb: PUSH2 0x07d2 000007ce: PUSH2 0x2ed2 000007d1: JUMP 000007d2: JUMPDEST 000007d3: PUSH1 0x04 000007d5: DUP2 000007d6: GT 000007d7: ISZERO 000007d8: PUSH2 0x07e3 000007db: JUMPI 000007dc: PUSH2 0x07e3 000007df: PUSH2 0x2ed2 000007e2: JUMP 000007e3: JUMPDEST 000007e4: DUP2 000007e5: MSTORE 000007e6: PUSH1 0x08 000007e8: SWAP2 000007e9: SWAP1 000007ea: SWAP2 000007eb: ADD 000007ec: SLOAD 000007ed: PUSH1 0x20 000007ef: SWAP1 000007f0: SWAP2 000007f1: ADD 000007f2: MSTORE 000007f3: SWAP1 000007f4: POP 000007f5: PUSH1 0x02 000007f7: DUP2 000007f8: PUSH1 0x60 000007fa: ADD 000007fb: MLOAD 000007fc: PUSH1 0x04 000007fe: DUP2 000007ff: GT 00000800: ISZERO 00000801: PUSH2 0x080c 00000804: JUMPI 00000805: PUSH2 0x080c 00000808: PUSH2 0x2ed2 0000080b: JUMP 0000080c: JUMPDEST 0000080d: EQ 0000080e: PUSH2 0x0899 00000811: JUMPI 00000812: PUSH1 0x40 00000814: MLOAD 00000815: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000836: DUP2 00000837: MSTORE 00000838: PUSH1 0x20 0000083a: PUSH1 0x04 0000083c: DUP3 0000083d: ADD 0000083e: MSTORE 0000083f: PUSH1 0x23 00000841: PUSH1 0x24 00000843: DUP3 00000844: ADD 00000845: MSTORE 00000846: PUSH32 0x4c6f616e436f72653a3a72657061793a20496e76616c6964206c6f616e207374 00000867: PUSH1 0x44 00000869: DUP3 0000086a: ADD 0000086b: MSTORE 0000086c: PUSH32 0x6174650000000000000000000000000000000000000000000000000000000000 0000088d: PUSH1 0x64 0000088f: DUP3 00000890: ADD 00000891: MSTORE 00000892: PUSH1 0x84 00000894: ADD 00000895: PUSH2 0x06f1 00000898: JUMP 00000899: JUMPDEST 0000089a: PUSH1 0x00 0000089c: PUSH2 0x08be 0000089f: DUP3 000008a0: PUSH1 0x40 000008a2: ADD 000008a3: MLOAD 000008a4: PUSH1 0x40 000008a6: ADD 000008a7: MLOAD 000008a8: DUP4 000008a9: PUSH1 0x40 000008ab: ADD 000008ac: MLOAD 000008ad: PUSH1 0x20 000008af: ADD 000008b0: MLOAD 000008b1: PUSH2 0x20eb 000008b4: SWAP1 000008b5: SWAP2 000008b6: SWAP1 000008b7: PUSH4 0xffffffff 000008bc: AND 000008bd: JUMP 000008be: JUMPDEST 000008bf: SWAP1 000008c0: POP 000008c1: PUSH2 0x08eb 000008c4: CALLER 000008c5: PUSH1 0x40 000008c7: DUP5 000008c8: ADD 000008c9: MLOAD 000008ca: PUSH1 0x80 000008cc: ADD 000008cd: MLOAD 000008ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008e3: AND 000008e4: SWAP1 000008e5: ADDRESS 000008e6: DUP5 000008e7: PUSH2 0x20fe 000008ea: JUMP 000008eb: JUMPDEST 000008ec: PUSH1 0x06 000008ee: SLOAD 000008ef: PUSH1 0x20 000008f1: DUP4 000008f2: ADD 000008f3: MLOAD 000008f4: PUSH1 0x40 000008f6: MLOAD 000008f7: PUSH32 0x6352211e00000000000000000000000000000000000000000000000000000000 00000918: DUP2 00000919: MSTORE 0000091a: PUSH1 0x04 0000091c: DUP2 0000091d: ADD 0000091e: SWAP2 0000091f: SWAP1 00000920: SWAP2 00000921: MSTORE 00000922: PUSH1 0x00 00000924: SWAP2 00000925: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000093a: AND 0000093b: SWAP1 0000093c: PUSH4 0x6352211e 00000941: SWAP1 00000942: PUSH1 0x24 00000944: ADD 00000945: PUSH1 0x20 00000947: PUSH1 0x40 00000949: MLOAD 0000094a: DUP1 0000094b: DUP4 0000094c: SUB 0000094d: DUP2 0000094e: DUP7 0000094f: DUP1 00000950: EXTCODESIZE 00000951: ISZERO 00000952: DUP1 00000953: ISZERO 00000954: PUSH2 0x095c 00000957: JUMPI 00000958: PUSH1 0x00 0000095a: DUP1 0000095b: REVERT 0000095c: JUMPDEST 0000095d: POP 0000095e: GAS 0000095f: STATICCALL 00000960: ISZERO 00000961: DUP1 00000962: ISZERO 00000963: PUSH2 0x0970 00000966: JUMPI 00000967: RETURNDATASIZE 00000968: PUSH1 0x00 0000096a: DUP1 0000096b: RETURNDATACOPY 0000096c: RETURNDATASIZE 0000096d: PUSH1 0x00 0000096f: REVERT 00000970: JUMPDEST 00000971: POP 00000972: POP 00000973: POP 00000974: POP 00000975: PUSH1 0x40 00000977: MLOAD 00000978: RETURNDATASIZE 00000979: PUSH1 0x1f 0000097b: NOT 0000097c: PUSH1 0x1f 0000097e: DUP3 0000097f: ADD 00000980: AND 00000981: DUP3 00000982: ADD 00000983: DUP1 00000984: PUSH1 0x40 00000986: MSTORE 00000987: POP 00000988: DUP2 00000989: ADD 0000098a: SWAP1 0000098b: PUSH2 0x0994 0000098e: SWAP2 0000098f: SWAP1 00000990: PUSH2 0x2995 00000993: JUMP 00000994: JUMPDEST 00000995: PUSH1 0x05 00000997: SLOAD 00000998: DUP5 00000999: MLOAD 0000099a: PUSH1 0x40 0000099c: MLOAD 0000099d: PUSH32 0x6352211e00000000000000000000000000000000000000000000000000000000 000009be: DUP2 000009bf: MSTORE 000009c0: SWAP3 000009c1: SWAP4 000009c2: POP 000009c3: PUSH1 0x00 000009c5: SWAP3 000009c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009db: SWAP1 000009dc: SWAP3 000009dd: AND 000009de: SWAP2 000009df: PUSH4 0x6352211e 000009e4: SWAP2 000009e5: PUSH2 0x09f4 000009e8: SWAP2 000009e9: PUSH1 0x04 000009eb: ADD 000009ec: SWAP1 000009ed: DUP2 000009ee: MSTORE 000009ef: PUSH1 0x20 000009f1: ADD 000009f2: SWAP1 000009f3: JUMP 000009f4: JUMPDEST 000009f5: PUSH1 0x20 000009f7: PUSH1 0x40 000009f9: MLOAD 000009fa: DUP1 000009fb: DUP4 000009fc: SUB 000009fd: DUP2 000009fe: DUP7 000009ff: DUP1 00000a00: EXTCODESIZE 00000a01: ISZERO 00000a02: DUP1 00000a03: ISZERO 00000a04: PUSH2 0x0a0c 00000a07: JUMPI 00000a08: PUSH1 0x00 00000a0a: DUP1 00000a0b: REVERT 00000a0c: JUMPDEST 00000a0d: POP 00000a0e: GAS 00000a0f: STATICCALL 00000a10: ISZERO 00000a11: DUP1 00000a12: ISZERO 00000a13: PUSH2 0x0a20 00000a16: JUMPI 00000a17: RETURNDATASIZE 00000a18: PUSH1 0x00 00000a1a: DUP1 00000a1b: RETURNDATACOPY 00000a1c: RETURNDATASIZE 00000a1d: PUSH1 0x00 00000a1f: REVERT 00000a20: JUMPDEST 00000a21: POP 00000a22: POP 00000a23: POP 00000a24: POP 00000a25: PUSH1 0x40 00000a27: MLOAD 00000a28: RETURNDATASIZE 00000a29: PUSH1 0x1f 00000a2b: NOT 00000a2c: PUSH1 0x1f 00000a2e: DUP3 00000a2f: ADD 00000a30: AND 00000a31: DUP3 00000a32: ADD 00000a33: DUP1 00000a34: PUSH1 0x40 00000a36: MSTORE 00000a37: POP 00000a38: DUP2 00000a39: ADD 00000a3a: SWAP1 00000a3b: PUSH2 0x0a44 00000a3e: SWAP2 00000a3f: SWAP1 00000a40: PUSH2 0x2995 00000a43: JUMP 00000a44: JUMPDEST 00000a45: PUSH1 0x00 00000a47: DUP8 00000a48: DUP2 00000a49: MSTORE 00000a4a: PUSH1 0x03 00000a4c: PUSH1 0x20 00000a4e: DUP2 00000a4f: DUP2 00000a50: MSTORE 00000a51: PUSH1 0x40 00000a53: DUP1 00000a54: DUP5 00000a55: KECCAK256 00000a56: PUSH1 0x07 00000a58: ADD 00000a59: DUP1 00000a5a: SLOAD 00000a5b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00000a7c: SWAP1 00000a7d: DUP2 00000a7e: AND 00000a7f: SWAP1 00000a80: SWAP5 00000a81: OR 00000a82: SWAP1 00000a83: SSTORE 00000a84: DUP9 00000a85: DUP2 00000a86: ADD 00000a87: MLOAD 00000a88: PUSH1 0x60 00000a8a: ADD 00000a8b: MLOAD 00000a8c: DUP5 00000a8d: MSTORE 00000a8e: PUSH1 0x04 00000a90: DUP1 00000a91: DUP4 00000a92: MSTORE 00000a93: DUP2 00000a94: DUP6 00000a95: KECCAK256 00000a96: DUP1 00000a97: SLOAD 00000a98: SWAP1 00000a99: SWAP5 00000a9a: AND 00000a9b: SWAP1 00000a9c: SWAP4 00000a9d: SSTORE 00000a9e: PUSH1 0x06 00000aa0: SLOAD 00000aa1: SWAP2 00000aa2: DUP10 00000aa3: ADD 00000aa4: MLOAD 00000aa5: DUP2 00000aa6: MLOAD 00000aa7: PUSH32 0x42966c6800000000000000000000000000000000000000000000000000000000 00000ac8: DUP2 00000ac9: MSTORE 00000aca: SWAP4 00000acb: DUP5 00000acc: ADD 00000acd: MSTORE 00000ace: MLOAD 00000acf: SWAP4 00000ad0: SWAP5 00000ad1: POP 00000ad2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ae7: AND 00000ae8: SWAP3 00000ae9: PUSH4 0x42966c68 00000aee: SWAP3 00000aef: PUSH1 0x24 00000af1: DUP1 00000af2: DUP5 00000af3: ADD 00000af4: SWAP4 00000af5: SWAP2 00000af6: SWAP3 00000af7: SWAP2 00000af8: DUP3 00000af9: SWAP1 00000afa: SUB 00000afb: ADD 00000afc: DUP2 00000afd: DUP4 00000afe: DUP8 00000aff: DUP1 00000b00: EXTCODESIZE 00000b01: ISZERO 00000b02: DUP1 00000b03: ISZERO 00000b04: PUSH2 0x0b0c 00000b07: JUMPI 00000b08: PUSH1 0x00 00000b0a: DUP1 00000b0b: REVERT 00000b0c: JUMPDEST 00000b0d: POP 00000b0e: GAS 00000b0f: CALL 00000b10: ISZERO 00000b11: DUP1 00000b12: ISZERO 00000b13: PUSH2 0x0b20 00000b16: JUMPI 00000b17: RETURNDATASIZE 00000b18: PUSH1 0x00 00000b1a: DUP1 00000b1b: RETURNDATACOPY 00000b1c: RETURNDATASIZE 00000b1d: PUSH1 0x00 00000b1f: REVERT 00000b20: JUMPDEST 00000b21: POP 00000b22: POP 00000b23: PUSH1 0x05 00000b25: SLOAD 00000b26: DUP7 00000b27: MLOAD 00000b28: PUSH1 0x40 00000b2a: MLOAD 00000b2b: PUSH32 0x42966c6800000000000000000000000000000000000000000000000000000000 00000b4c: DUP2 00000b4d: MSTORE 00000b4e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b63: SWAP1 00000b64: SWAP3 00000b65: AND 00000b66: SWAP4 00000b67: POP 00000b68: PUSH4 0x42966c68 00000b6d: SWAP3 00000b6e: POP 00000b6f: PUSH2 0x0b7e 00000b72: SWAP2 00000b73: PUSH1 0x04 00000b75: ADD 00000b76: SWAP1 00000b77: DUP2 00000b78: MSTORE 00000b79: PUSH1 0x20 00000b7b: ADD 00000b7c: SWAP1 00000b7d: JUMP 00000b7e: JUMPDEST 00000b7f: PUSH1 0x00 00000b81: PUSH1 0x40 00000b83: MLOAD 00000b84: DUP1 00000b85: DUP4 00000b86: SUB 00000b87: DUP2 00000b88: PUSH1 0x00 00000b8a: DUP8 00000b8b: DUP1 00000b8c: EXTCODESIZE 00000b8d: ISZERO 00000b8e: DUP1 00000b8f: ISZERO 00000b90: PUSH2 0x0b98 00000b93: JUMPI 00000b94: PUSH1 0x00 00000b96: DUP1 00000b97: REVERT 00000b98: JUMPDEST 00000b99: POP 00000b9a: GAS 00000b9b: CALL 00000b9c: ISZERO 00000b9d: DUP1 00000b9e: ISZERO 00000b9f: PUSH2 0x0bac 00000ba2: JUMPI 00000ba3: RETURNDATASIZE 00000ba4: PUSH1 0x00 00000ba6: DUP1 00000ba7: RETURNDATACOPY 00000ba8: RETURNDATASIZE 00000ba9: PUSH1 0x00 00000bab: REVERT 00000bac: JUMPDEST 00000bad: POP 00000bae: POP 00000baf: POP 00000bb0: PUSH1 0x40 00000bb2: DUP6 00000bb3: ADD 00000bb4: MLOAD 00000bb5: PUSH1 0x80 00000bb7: ADD 00000bb8: MLOAD 00000bb9: PUSH2 0x0bda 00000bbc: SWAP2 00000bbd: POP 00000bbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bd3: AND 00000bd4: DUP4 00000bd5: DUP6 00000bd6: PUSH2 0x1e70 00000bd9: JUMP 00000bda: JUMPDEST 00000bdb: PUSH1 0x07 00000bdd: SLOAD 00000bde: PUSH1 0x40 00000be0: DUP6 00000be1: DUP2 00000be2: ADD 00000be3: MLOAD 00000be4: PUSH1 0x60 00000be6: ADD 00000be7: MLOAD 00000be8: SWAP1 00000be9: MLOAD 00000bea: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000 00000c0b: DUP2 00000c0c: MSTORE 00000c0d: ADDRESS 00000c0e: PUSH1 0x04 00000c10: DUP3 00000c11: ADD 00000c12: MSTORE 00000c13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c28: DUP5 00000c29: DUP2 00000c2a: AND 00000c2b: PUSH1 0x24 00000c2d: DUP4 00000c2e: ADD 00000c2f: MSTORE 00000c30: PUSH1 0x44 00000c32: DUP3 00000c33: ADD 00000c34: SWAP3 00000c35: SWAP1 00000c36: SWAP3 00000c37: MSTORE 00000c38: SWAP2 00000c39: AND 00000c3a: SWAP1 00000c3b: PUSH4 0x23b872dd 00000c40: SWAP1 00000c41: PUSH1 0x64 00000c43: ADD 00000c44: PUSH1 0x00 00000c46: PUSH1 0x40 00000c48: MLOAD 00000c49: DUP1 00000c4a: DUP4 00000c4b: SUB 00000c4c: DUP2 00000c4d: PUSH1 0x00 00000c4f: DUP8 00000c50: DUP1 00000c51: EXTCODESIZE 00000c52: ISZERO 00000c53: DUP1 00000c54: ISZERO 00000c55: PUSH2 0x0c5d 00000c58: JUMPI 00000c59: PUSH1 0x00 00000c5b: DUP1 00000c5c: REVERT 00000c5d: JUMPDEST 00000c5e: POP 00000c5f: GAS 00000c60: CALL 00000c61: ISZERO 00000c62: DUP1 00000c63: ISZERO 00000c64: PUSH2 0x0c71 00000c67: JUMPI 00000c68: RETURNDATASIZE 00000c69: PUSH1 0x00 00000c6b: DUP1 00000c6c: RETURNDATACOPY 00000c6d: RETURNDATASIZE 00000c6e: PUSH1 0x00 00000c70: REVERT 00000c71: JUMPDEST 00000c72: POP 00000c73: POP 00000c74: POP 00000c75: POP 00000c76: PUSH32 0x9a7851747cd7ffb3fe0a32caf3da48b31f27cebe131267051640f8b72fc47186 00000c97: DUP7 00000c98: PUSH1 0x40 00000c9a: MLOAD 00000c9b: PUSH2 0x0ca6 00000c9e: SWAP2 00000c9f: DUP2 00000ca0: MSTORE 00000ca1: PUSH1 0x20 00000ca3: ADD 00000ca4: SWAP1 00000ca5: JUMP 00000ca6: JUMPDEST 00000ca7: PUSH1 0x40 00000ca9: MLOAD 00000caa: DUP1 00000cab: SWAP2 00000cac: SUB 00000cad: SWAP1 00000cae: LOG1 00000caf: POP 00000cb0: POP 00000cb1: POP 00000cb2: POP 00000cb3: POP 00000cb4: POP 00000cb5: JUMP 00000cb6: JUMPDEST 00000cb7: PUSH1 0x01 00000cb9: SLOAD 00000cba: PUSH1 0xff 00000cbc: AND 00000cbd: ISZERO 00000cbe: PUSH2 0x0d23 00000cc1: JUMPI 00000cc2: PUSH1 0x40 00000cc4: MLOAD 00000cc5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ce6: DUP2 00000ce7: MSTORE 00000ce8: PUSH1 0x20 00000cea: PUSH1 0x04 00000cec: DUP3 00000ced: ADD 00000cee: MSTORE 00000cef: PUSH1 0x10 00000cf1: PUSH1 0x24 00000cf3: DUP3 00000cf4: ADD 00000cf5: MSTORE 00000cf6: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000 00000d17: PUSH1 0x44 00000d19: DUP3 00000d1a: ADD 00000d1b: MSTORE 00000d1c: PUSH1 0x64 00000d1e: ADD 00000d1f: PUSH2 0x06f1 00000d22: JUMP 00000d23: JUMPDEST 00000d24: PUSH32 0x9c60024347074fd9de2c1e36003080d22dbc76a41ef87444d21e361bcb39118e 00000d45: PUSH2 0x0d4e 00000d48: DUP2 00000d49: CALLER 00000d4a: PUSH2 0x1da0 00000d4d: JUMP 00000d4e: JUMPDEST 00000d4f: PUSH1 0x00 00000d51: DUP3 00000d52: DUP2 00000d53: MSTORE 00000d54: PUSH1 0x03 00000d56: PUSH1 0x20 00000d58: DUP2 00000d59: DUP2 00000d5a: MSTORE 00000d5b: PUSH1 0x40 00000d5d: DUP1 00000d5e: DUP5 00000d5f: KECCAK256 00000d60: DUP2 00000d61: MLOAD 00000d62: PUSH1 0xa0 00000d64: DUP1 00000d65: DUP3 00000d66: ADD 00000d67: DUP5 00000d68: MSTORE 00000d69: DUP3 00000d6a: SLOAD 00000d6b: DUP3 00000d6c: MSTORE 00000d6d: PUSH1 0x01 00000d6f: DUP4 00000d70: ADD 00000d71: SLOAD 00000d72: DUP3 00000d73: DUP7 00000d74: ADD 00000d75: MSTORE 00000d76: DUP4 00000d77: MLOAD 00000d78: SWAP1 00000d79: DUP2 00000d7a: ADD 00000d7b: DUP5 00000d7c: MSTORE 00000d7d: PUSH1 0x02 00000d7f: DUP4 00000d80: ADD 00000d81: SLOAD 00000d82: DUP2 00000d83: MSTORE 00000d84: SWAP5 00000d85: DUP3 00000d86: ADD 00000d87: SLOAD 00000d88: SWAP4 00000d89: DUP6 00000d8a: ADD 00000d8b: SWAP4 00000d8c: SWAP1 00000d8d: SWAP4 00000d8e: MSTORE 00000d8f: PUSH1 0x04 00000d91: DUP1 00000d92: DUP3 00000d93: ADD 00000d94: SLOAD 00000d95: DUP6 00000d96: DUP5 00000d97: ADD 00000d98: MSTORE 00000d99: PUSH1 0x05 00000d9b: DUP3 00000d9c: ADD 00000d9d: SLOAD 00000d9e: PUSH1 0x60 00000da0: DUP1 00000da1: DUP8 00000da2: ADD 00000da3: SWAP2 00000da4: SWAP1 00000da5: SWAP2 00000da6: MSTORE 00000da7: PUSH1 0x06 00000da9: DUP4 00000daa: ADD 00000dab: SLOAD 00000dac: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000dc1: AND 00000dc2: PUSH1 0x80 00000dc4: DUP8 00000dc5: ADD 00000dc6: MSTORE 00000dc7: SWAP3 00000dc8: DUP5 00000dc9: ADD 00000dca: SWAP5 00000dcb: SWAP1 00000dcc: SWAP5 00000dcd: MSTORE 00000dce: PUSH1 0x07 00000dd0: DUP2 00000dd1: ADD 00000dd2: SLOAD 00000dd3: SWAP3 00000dd4: SWAP4 00000dd5: SWAP1 00000dd6: SWAP3 00000dd7: SWAP2 00000dd8: DUP5 00000dd9: ADD 00000dda: SWAP2 00000ddb: PUSH1 0xff 00000ddd: AND 00000dde: SWAP1 00000ddf: DUP2 00000de0: GT 00000de1: ISZERO 00000de2: PUSH2 0x0ded 00000de5: JUMPI 00000de6: PUSH2 0x0ded 00000de9: PUSH2 0x2ed2 00000dec: JUMP 00000ded: JUMPDEST 00000dee: PUSH1 0x04 00000df0: DUP2 00000df1: GT 00000df2: ISZERO 00000df3: PUSH2 0x0dfe 00000df6: JUMPI 00000df7: PUSH2 0x0dfe 00000dfa: PUSH2 0x2ed2 00000dfd: JUMP 00000dfe: JUMPDEST 00000dff: DUP2 00000e00: MSTORE 00000e01: PUSH1 0x08 00000e03: SWAP2 00000e04: SWAP1 00000e05: SWAP2 00000e06: ADD 00000e07: SLOAD 00000e08: PUSH1 0x20 00000e0a: SWAP1 00000e0b: SWAP2 00000e0c: ADD 00000e0d: MSTORE 00000e0e: SWAP1 00000e0f: POP 00000e10: PUSH1 0x02 00000e12: DUP2 00000e13: PUSH1 0x60 00000e15: ADD 00000e16: MLOAD 00000e17: PUSH1 0x04 00000e19: DUP2 00000e1a: GT 00000e1b: ISZERO 00000e1c: PUSH2 0x0e27 00000e1f: JUMPI 00000e20: PUSH2 0x0e27 00000e23: PUSH2 0x2ed2 00000e26: JUMP 00000e27: JUMPDEST 00000e28: EQ 00000e29: PUSH2 0x0eb4 00000e2c: JUMPI 00000e2d: PUSH1 0x40 00000e2f: MLOAD 00000e30: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000e51: DUP2 00000e52: MSTORE 00000e53: PUSH1 0x20 00000e55: PUSH1 0x04 00000e57: DUP3 00000e58: ADD 00000e59: MSTORE 00000e5a: PUSH1 0x23 00000e5c: PUSH1 0x24 00000e5e: DUP3 00000e5f: ADD 00000e60: MSTORE 00000e61: PUSH32 0x4c6f616e436f72653a3a636c61696d3a20496e76616c6964206c6f616e207374 00000e82: PUSH1 0x44 00000e84: DUP3 00000e85: ADD 00000e86: MSTORE 00000e87: PUSH32 0x6174650000000000000000000000000000000000000000000000000000000000 00000ea8: PUSH1 0x64 00000eaa: DUP3 00000eab: ADD 00000eac: MSTORE 00000ead: PUSH1 0x84 00000eaf: ADD 00000eb0: PUSH2 0x06f1 00000eb3: JUMP 00000eb4: JUMPDEST 00000eb5: TIMESTAMP 00000eb6: DUP2 00000eb7: PUSH1 0x80 00000eb9: ADD 00000eba: MLOAD 00000ebb: LT 00000ebc: PUSH2 0x0f47 00000ebf: JUMPI 00000ec0: PUSH1 0x40 00000ec2: MLOAD 00000ec3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000ee4: DUP2 00000ee5: MSTORE 00000ee6: PUSH1 0x20 00000ee8: PUSH1 0x04 00000eea: DUP3 00000eeb: ADD 00000eec: MSTORE 00000eed: PUSH1 0x21 00000eef: PUSH1 0x24 00000ef1: DUP3 00000ef2: ADD 00000ef3: MSTORE 00000ef4: PUSH32 0x4c6f616e436f72653a3a636c61696d3a204c6f616e206e6f7420657870697265 00000f15: PUSH1 0x44 00000f17: DUP3 00000f18: ADD 00000f19: MSTORE 00000f1a: PUSH32 0x6400000000000000000000000000000000000000000000000000000000000000 00000f3b: PUSH1 0x64 00000f3d: DUP3 00000f3e: ADD 00000f3f: MSTORE 00000f40: PUSH1 0x84 00000f42: ADD 00000f43: PUSH2 0x06f1 00000f46: JUMP 00000f47: JUMPDEST 00000f48: PUSH1 0x06 00000f4a: SLOAD 00000f4b: PUSH1 0x20 00000f4d: DUP3 00000f4e: ADD 00000f4f: MLOAD 00000f50: PUSH1 0x40 00000f52: MLOAD 00000f53: PUSH32 0x6352211e00000000000000000000000000000000000000000000000000000000 00000f74: DUP2 00000f75: MSTORE 00000f76: PUSH1 0x04 00000f78: DUP2 00000f79: ADD 00000f7a: SWAP2 00000f7b: SWAP1 00000f7c: SWAP2 00000f7d: MSTORE 00000f7e: PUSH1 0x00 00000f80: SWAP2 00000f81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f96: AND 00000f97: SWAP1 00000f98: PUSH4 0x6352211e 00000f9d: SWAP1 00000f9e: PUSH1 0x24 00000fa0: ADD 00000fa1: PUSH1 0x20 00000fa3: PUSH1 0x40 00000fa5: MLOAD 00000fa6: DUP1 00000fa7: DUP4 00000fa8: SUB 00000fa9: DUP2 00000faa: DUP7 00000fab: DUP1 00000fac: EXTCODESIZE 00000fad: ISZERO 00000fae: DUP1 00000faf: ISZERO 00000fb0: PUSH2 0x0fb8 00000fb3: JUMPI 00000fb4: PUSH1 0x00 00000fb6: DUP1 00000fb7: REVERT 00000fb8: JUMPDEST 00000fb9: POP 00000fba: GAS 00000fbb: STATICCALL 00000fbc: ISZERO 00000fbd: DUP1 00000fbe: ISZERO 00000fbf: PUSH2 0x0fcc 00000fc2: JUMPI 00000fc3: RETURNDATASIZE 00000fc4: PUSH1 0x00 00000fc6: DUP1 00000fc7: RETURNDATACOPY 00000fc8: RETURNDATASIZE 00000fc9: PUSH1 0x00 00000fcb: REVERT 00000fcc: JUMPDEST 00000fcd: POP 00000fce: POP 00000fcf: POP 00000fd0: POP 00000fd1: PUSH1 0x40 00000fd3: MLOAD 00000fd4: RETURNDATASIZE 00000fd5: PUSH1 0x1f 00000fd7: NOT 00000fd8: PUSH1 0x1f 00000fda: DUP3 00000fdb: ADD 00000fdc: AND 00000fdd: DUP3 00000fde: ADD 00000fdf: DUP1 00000fe0: PUSH1 0x40 00000fe2: MSTORE 00000fe3: POP 00000fe4: DUP2 00000fe5: ADD 00000fe6: SWAP1 00000fe7: PUSH2 0x0ff0 00000fea: SWAP2 00000feb: SWAP1 00000fec: PUSH2 0x2995 00000fef: JUMP 00000ff0: JUMPDEST 00000ff1: PUSH1 0x00 00000ff3: DUP6 00000ff4: DUP2 00000ff5: MSTORE 00000ff6: PUSH1 0x03 00000ff8: PUSH1 0x20 00000ffa: SWAP1 00000ffb: DUP2 00000ffc: MSTORE 00000ffd: PUSH1 0x40 00000fff: DUP1 00001000: DUP4 00001001: KECCAK256 00001002: PUSH1 0x07 00001004: ADD 00001005: DUP1 00001006: SLOAD 00001007: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00001028: SWAP1 00001029: DUP2 0000102a: AND 0000102b: PUSH1 0x04 0000102d: SWAP1 0000102e: DUP2 0000102f: OR 00001030: SWAP1 00001031: SWAP3 00001032: SSTORE 00001033: DUP8 00001034: DUP4 00001035: ADD 00001036: MLOAD 00001037: PUSH1 0x60 00001039: ADD 0000103a: MLOAD 0000103b: DUP6 0000103c: MSTORE 0000103d: DUP2 0000103e: DUP5 0000103f: MSTORE 00001040: SWAP4 00001041: DUP3 00001042: SWAP1 00001043: KECCAK256 00001044: DUP1 00001045: SLOAD 00001046: SWAP1 00001047: SWAP5 00001048: AND 00001049: SWAP1 0000104a: SWAP4 0000104b: SSTORE 0000104c: PUSH1 0x06 0000104e: SLOAD 0000104f: SWAP2 00001050: DUP7 00001051: ADD 00001052: MLOAD 00001053: SWAP1 00001054: MLOAD 00001055: PUSH32 0x42966c6800000000000000000000000000000000000000000000000000000000 00001076: DUP2 00001077: MSTORE 00001078: SWAP3 00001079: DUP4 0000107a: ADD 0000107b: MSTORE 0000107c: SWAP2 0000107d: SWAP3 0000107e: POP 0000107f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001094: SWAP1 00001095: SWAP2 00001096: AND 00001097: SWAP1 00001098: PUSH4 0x42966c68 0000109d: SWAP1 0000109e: PUSH1 0x24 000010a0: ADD 000010a1: PUSH1 0x00 000010a3: PUSH1 0x40 000010a5: MLOAD 000010a6: DUP1 000010a7: DUP4 000010a8: SUB 000010a9: DUP2 000010aa: PUSH1 0x00 000010ac: DUP8 000010ad: DUP1 000010ae: EXTCODESIZE 000010af: ISZERO 000010b0: DUP1 000010b1: ISZERO 000010b2: PUSH2 0x10ba 000010b5: JUMPI 000010b6: PUSH1 0x00 000010b8: DUP1 000010b9: REVERT 000010ba: JUMPDEST 000010bb: POP 000010bc: GAS 000010bd: CALL 000010be: ISZERO 000010bf: DUP1 000010c0: ISZERO 000010c1: PUSH2 0x10ce 000010c4: JUMPI 000010c5: RETURNDATASIZE 000010c6: PUSH1 0x00 000010c8: DUP1 000010c9: RETURNDATACOPY 000010ca: RETURNDATASIZE 000010cb: PUSH1 0x00 000010cd: REVERT 000010ce: JUMPDEST 000010cf: POP 000010d0: POP 000010d1: PUSH1 0x05 000010d3: SLOAD 000010d4: DUP5 000010d5: MLOAD 000010d6: PUSH1 0x40 000010d8: MLOAD 000010d9: PUSH32 0x42966c6800000000000000000000000000000000000000000000000000000000 000010fa: DUP2 000010fb: MSTORE 000010fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001111: SWAP1 00001112: SWAP3 00001113: AND 00001114: SWAP4 00001115: POP 00001116: PUSH4 0x42966c68 0000111b: SWAP3 0000111c: POP 0000111d: PUSH2 0x112c 00001120: SWAP2 00001121: PUSH1 0x04 00001123: ADD 00001124: SWAP1 00001125: DUP2 00001126: MSTORE 00001127: PUSH1 0x20 00001129: ADD 0000112a: SWAP1 0000112b: JUMP 0000112c: JUMPDEST 0000112d: PUSH1 0x00 0000112f: PUSH1 0x40 00001131: MLOAD 00001132: DUP1 00001133: DUP4 00001134: SUB 00001135: DUP2 00001136: PUSH1 0x00 00001138: DUP8 00001139: DUP1 0000113a: EXTCODESIZE 0000113b: ISZERO 0000113c: DUP1 0000113d: ISZERO 0000113e: PUSH2 0x1146 00001141: JUMPI 00001142: PUSH1 0x00 00001144: DUP1 00001145: REVERT 00001146: JUMPDEST 00001147: POP 00001148: GAS 00001149: CALL 0000114a: ISZERO 0000114b: DUP1 0000114c: ISZERO 0000114d: PUSH2 0x115a 00001150: JUMPI 00001151: RETURNDATASIZE 00001152: PUSH1 0x00 00001154: DUP1 00001155: RETURNDATACOPY 00001156: RETURNDATASIZE 00001157: PUSH1 0x00 00001159: REVERT 0000115a: JUMPDEST 0000115b: POP 0000115c: POP 0000115d: PUSH1 0x07 0000115f: SLOAD 00001160: PUSH1 0x40 00001162: DUP6 00001163: DUP2 00001164: ADD 00001165: MLOAD 00001166: PUSH1 0x60 00001168: ADD 00001169: MLOAD 0000116a: SWAP1 0000116b: MLOAD 0000116c: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000 0000118d: DUP2 0000118e: MSTORE 0000118f: ADDRESS 00001190: PUSH1 0x04 00001192: DUP3 00001193: ADD 00001194: MSTORE 00001195: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011aa: DUP7 000011ab: DUP2 000011ac: AND 000011ad: PUSH1 0x24 000011af: DUP4 000011b0: ADD 000011b1: MSTORE 000011b2: PUSH1 0x44 000011b4: DUP3 000011b5: ADD 000011b6: SWAP3 000011b7: SWAP1 000011b8: SWAP3 000011b9: MSTORE 000011ba: SWAP2 000011bb: AND 000011bc: SWAP3 000011bd: POP 000011be: PUSH4 0x23b872dd 000011c3: SWAP2 000011c4: POP 000011c5: PUSH1 0x64 000011c7: ADD 000011c8: PUSH1 0x00 000011ca: PUSH1 0x40 000011cc: MLOAD 000011cd: DUP1 000011ce: DUP4 000011cf: SUB 000011d0: DUP2 000011d1: PUSH1 0x00 000011d3: DUP8 000011d4: DUP1 000011d5: EXTCODESIZE 000011d6: ISZERO 000011d7: DUP1 000011d8: ISZERO 000011d9: PUSH2 0x11e1 000011dc: JUMPI 000011dd: PUSH1 0x00 000011df: DUP1 000011e0: REVERT 000011e1: JUMPDEST 000011e2: POP 000011e3: GAS 000011e4: CALL 000011e5: ISZERO 000011e6: DUP1 000011e7: ISZERO 000011e8: PUSH2 0x11f5 000011eb: JUMPI 000011ec: RETURNDATASIZE 000011ed: PUSH1 0x00 000011ef: DUP1 000011f0: RETURNDATACOPY 000011f1: RETURNDATASIZE 000011f2: PUSH1 0x00 000011f4: REVERT 000011f5: JUMPDEST 000011f6: POP 000011f7: POP 000011f8: POP 000011f9: POP 000011fa: PUSH32 0xb15e438728b48d46c9a5505713e60ff50c80559f4523c8f99a246a2069a8684a 0000121b: DUP5 0000121c: PUSH1 0x40 0000121e: MLOAD 0000121f: PUSH2 0x122a 00001222: SWAP2 00001223: DUP2 00001224: MSTORE 00001225: PUSH1 0x20 00001227: ADD 00001228: SWAP1 00001229: JUMP 0000122a: JUMPDEST 0000122b: PUSH1 0x40 0000122d: MLOAD 0000122e: DUP1 0000122f: SWAP2 00001230: SUB 00001231: SWAP1 00001232: LOG1 00001233: POP 00001234: POP 00001235: POP 00001236: POP 00001237: JUMP 00001238: JUMPDEST 00001239: PUSH32 0x8dd046eb6fe22791cf064df41dbfc76ef240a563550f519aac88255bd8c2d3bb 0000125a: PUSH2 0x1263 0000125d: DUP2 0000125e: CALLER 0000125f: PUSH2 0x1da0 00001262: JUMP 00001263: JUMPDEST 00001264: POP 00001265: PUSH1 0x08 00001267: DUP1 00001268: SLOAD 00001269: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 0000128a: AND 0000128b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012a0: SWAP3 000012a1: SWAP1 000012a2: SWAP3 000012a3: AND 000012a4: SWAP2 000012a5: SWAP1 000012a6: SWAP2 000012a7: OR 000012a8: SWAP1 000012a9: SSTORE 000012aa: JUMP 000012ab: JUMPDEST 000012ac: PUSH1 0x00 000012ae: PUSH2 0x12b7 000012b1: DUP2 000012b2: CALLER 000012b3: PUSH2 0x1da0 000012b6: JUMP 000012b7: JUMPDEST 000012b8: PUSH2 0x12bf 000012bb: PUSH2 0x2162 000012be: JUMP 000012bf: JUMPDEST 000012c0: POP 000012c1: JUMP 000012c2: JUMPDEST 000012c3: PUSH2 0x12ca 000012c6: PUSH2 0x2920 000012c9: JUMP 000012ca: JUMPDEST 000012cb: PUSH1 0x00 000012cd: DUP3 000012ce: DUP2 000012cf: MSTORE 000012d0: PUSH1 0x03 000012d2: PUSH1 0x20 000012d4: DUP2 000012d5: DUP2 000012d6: MSTORE 000012d7: PUSH1 0x40 000012d9: SWAP3 000012da: DUP4 000012db: SWAP1 000012dc: KECCAK256 000012dd: DUP4 000012de: MLOAD 000012df: PUSH1 0xa0 000012e1: DUP1 000012e2: DUP3 000012e3: ADD 000012e4: DUP7 000012e5: MSTORE 000012e6: DUP3 000012e7: SLOAD 000012e8: DUP3 000012e9: MSTORE 000012ea: PUSH1 0x01 000012ec: DUP4 000012ed: ADD 000012ee: SLOAD 000012ef: DUP3 000012f0: DUP6 000012f1: ADD 000012f2: MSTORE 000012f3: DUP6 000012f4: MLOAD 000012f5: SWAP1 000012f6: DUP2 000012f7: ADD 000012f8: DUP7 000012f9: MSTORE 000012fa: PUSH1 0x02 000012fc: DUP4 000012fd: ADD 000012fe: SLOAD 000012ff: DUP2 00001300: MSTORE 00001301: SWAP4 00001302: DUP3 00001303: ADD 00001304: SLOAD 00001305: SWAP3 00001306: DUP5 00001307: ADD 00001308: SWAP3 00001309: SWAP1 0000130a: SWAP3 0000130b: MSTORE 0000130c: PUSH1 0x04 0000130e: DUP1 0000130f: DUP3 00001310: ADD 00001311: SLOAD 00001312: DUP5 00001313: DUP7 00001314: ADD 00001315: MSTORE 00001316: PUSH1 0x05 00001318: DUP3 00001319: ADD 0000131a: SLOAD 0000131b: PUSH1 0x60 0000131d: DUP1 0000131e: DUP7 0000131f: ADD 00001320: SWAP2 00001321: SWAP1 00001322: SWAP2 00001323: MSTORE 00001324: PUSH1 0x06 00001326: DUP4 00001327: ADD 00001328: SLOAD 00001329: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000133e: AND 0000133f: PUSH1 0x80 00001341: DUP7 00001342: ADD 00001343: MSTORE 00001344: SWAP5 00001345: DUP4 00001346: ADD 00001347: SWAP4 00001348: SWAP1 00001349: SWAP4 0000134a: MSTORE 0000134b: PUSH1 0x07 0000134d: DUP2 0000134e: ADD 0000134f: SLOAD 00001350: SWAP2 00001351: SWAP4 00001352: SWAP1 00001353: SWAP3 00001354: SWAP1 00001355: DUP5 00001356: ADD 00001357: SWAP2 00001358: PUSH1 0xff 0000135a: AND 0000135b: SWAP1 0000135c: DUP2 0000135d: GT 0000135e: ISZERO 0000135f: PUSH2 0x136a 00001362: JUMPI 00001363: PUSH2 0x136a 00001366: PUSH2 0x2ed2 00001369: JUMP 0000136a: JUMPDEST 0000136b: PUSH1 0x04 0000136d: DUP2 0000136e: GT 0000136f: ISZERO 00001370: PUSH2 0x137b 00001373: JUMPI 00001374: PUSH2 0x137b 00001377: PUSH2 0x2ed2 0000137a: JUMP 0000137b: JUMPDEST 0000137c: DUP2 0000137d: MSTORE 0000137e: PUSH1 0x20 00001380: ADD 00001381: PUSH1 0x08 00001383: DUP3 00001384: ADD 00001385: SLOAD 00001386: DUP2 00001387: MSTORE 00001388: POP 00001389: POP 0000138a: SWAP1 0000138b: POP 0000138c: SWAP2 0000138d: SWAP1 0000138e: POP 0000138f: JUMP 00001390: JUMPDEST 00001391: PUSH1 0x00 00001393: PUSH2 0x139c 00001396: DUP2 00001397: CALLER 00001398: PUSH2 0x1da0 0000139b: JUMP 0000139c: JUMPDEST 0000139d: PUSH2 0x12bf 000013a0: PUSH2 0x2243 000013a3: JUMP 000013a4: JUMPDEST 000013a5: PUSH1 0x00 000013a7: PUSH2 0x13b2 000013aa: PUSH1 0x01 000013ac: SLOAD 000013ad: PUSH1 0xff 000013af: AND 000013b0: SWAP1 000013b1: JUMP 000013b2: JUMPDEST 000013b3: ISZERO 000013b4: PUSH2 0x1419 000013b7: JUMPI 000013b8: PUSH1 0x40 000013ba: MLOAD 000013bb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000013dc: DUP2 000013dd: MSTORE 000013de: PUSH1 0x20 000013e0: PUSH1 0x04 000013e2: DUP3 000013e3: ADD 000013e4: MSTORE 000013e5: PUSH1 0x10 000013e7: PUSH1 0x24 000013e9: DUP3 000013ea: ADD 000013eb: MSTORE 000013ec: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000 0000140d: PUSH1 0x44 0000140f: DUP3 00001410: ADD 00001411: MSTORE 00001412: PUSH1 0x64 00001414: ADD 00001415: PUSH2 0x06f1 00001418: JUMP 00001419: JUMPDEST 0000141a: PUSH32 0x59abfac6520ec36a6556b2a4dd949cc40007459bcd5cd2507f1e5cc77b6bc97e 0000143b: PUSH2 0x1444 0000143e: DUP2 0000143f: CALLER 00001440: PUSH2 0x1da0 00001443: JUMP 00001444: JUMPDEST 00001445: DUP3 00001446: CALLDATALOAD 00001447: PUSH2 0x14d2 0000144a: JUMPI 0000144b: PUSH1 0x40 0000144d: MLOAD 0000144e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000146f: DUP2 00001470: MSTORE 00001471: PUSH1 0x20 00001473: PUSH1 0x04 00001475: DUP3 00001476: ADD 00001477: MSTORE 00001478: PUSH1 0x29 0000147a: PUSH1 0x24 0000147c: DUP3 0000147d: ADD 0000147e: MSTORE 0000147f: PUSH32 0x4c6f616e436f72653a3a6372656174653a204c6f616e20697320616c72656164 000014a0: PUSH1 0x44 000014a2: DUP3 000014a3: ADD 000014a4: MSTORE 000014a5: PUSH32 0x7920657870697265640000000000000000000000000000000000000000000000 000014c6: PUSH1 0x64 000014c8: DUP3 000014c9: ADD 000014ca: MSTORE 000014cb: PUSH1 0x84 000014cd: ADD 000014ce: PUSH2 0x06f1 000014d1: JUMP 000014d2: JUMPDEST 000014d3: PUSH1 0x60 000014d5: DUP4 000014d6: ADD 000014d7: CALLDATALOAD 000014d8: PUSH1 0x00 000014da: SWAP1 000014db: DUP2 000014dc: MSTORE 000014dd: PUSH1 0x04 000014df: PUSH1 0x20 000014e1: MSTORE 000014e2: PUSH1 0x40 000014e4: SWAP1 000014e5: KECCAK256 000014e6: SLOAD 000014e7: PUSH1 0xff 000014e9: AND 000014ea: ISZERO 000014eb: PUSH2 0x1576 000014ee: JUMPI 000014ef: PUSH1 0x40 000014f1: MLOAD 000014f2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001513: DUP2 00001514: MSTORE 00001515: PUSH1 0x20 00001517: PUSH1 0x04 00001519: DUP3 0000151a: ADD 0000151b: MSTORE 0000151c: PUSH1 0x31 0000151e: PUSH1 0x24 00001520: DUP3 00001521: ADD 00001522: MSTORE 00001523: PUSH32 0x4c6f616e436f72653a3a6372656174653a20436f6c6c61746572616c20746f6b 00001544: PUSH1 0x44 00001546: DUP3 00001547: ADD 00001548: MSTORE 00001549: PUSH32 0x656e20616c726561647920696e20757365000000000000000000000000000000 0000156a: PUSH1 0x64 0000156c: DUP3 0000156d: ADD 0000156e: MSTORE 0000156f: PUSH1 0x84 00001571: ADD 00001572: PUSH2 0x06f1 00001575: JUMP 00001576: JUMPDEST 00001577: PUSH1 0x02 00001579: SLOAD 0000157a: SWAP2 0000157b: POP 0000157c: PUSH2 0x1589 0000157f: PUSH1 0x02 00001581: DUP1 00001582: SLOAD 00001583: PUSH1 0x01 00001585: ADD 00001586: SWAP1 00001587: SSTORE 00001588: JUMP 00001589: JUMPDEST 0000158a: PUSH1 0x40 0000158c: DUP1 0000158d: MLOAD 0000158e: PUSH1 0xa0 00001590: DUP2 00001591: ADD 00001592: DUP3 00001593: MSTORE 00001594: PUSH1 0x00 00001596: DUP1 00001597: DUP3 00001598: MSTORE 00001599: PUSH1 0x20 0000159b: DUP3 0000159c: ADD 0000159d: MSTORE 0000159e: SWAP1 0000159f: DUP2 000015a0: ADD 000015a1: PUSH2 0x15af 000015a4: CALLDATASIZE 000015a5: DUP7 000015a6: SWAP1 000015a7: SUB 000015a8: DUP7 000015a9: ADD 000015aa: DUP7 000015ab: PUSH2 0x2ad5 000015ae: JUMP 000015af: JUMPDEST 000015b0: DUP2 000015b1: MSTORE 000015b2: PUSH1 0x20 000015b4: ADD 000015b5: PUSH1 0x01 000015b7: DUP2 000015b8: MSTORE 000015b9: PUSH1 0x20 000015bb: ADD 000015bc: PUSH2 0x15c6 000015bf: DUP6 000015c0: CALLDATALOAD 000015c1: TIMESTAMP 000015c2: PUSH2 0x2d9b 000015c5: JUMP 000015c6: JUMPDEST 000015c7: SWAP1 000015c8: MSTORE 000015c9: PUSH1 0x00 000015cb: DUP4 000015cc: DUP2 000015cd: MSTORE 000015ce: PUSH1 0x03 000015d0: PUSH1 0x20 000015d2: DUP2 000015d3: DUP2 000015d4: MSTORE 000015d5: PUSH1 0x40 000015d7: SWAP3 000015d8: DUP4 000015d9: SWAP1 000015da: KECCAK256 000015db: DUP5 000015dc: MLOAD 000015dd: DUP2 000015de: SSTORE 000015df: DUP5 000015e0: DUP3 000015e1: ADD 000015e2: MLOAD 000015e3: PUSH1 0x01 000015e5: DUP1 000015e6: DUP4 000015e7: ADD 000015e8: SWAP2 000015e9: SWAP1 000015ea: SWAP2 000015eb: SSTORE 000015ec: DUP6 000015ed: DUP6 000015ee: ADD 000015ef: MLOAD 000015f0: DUP1 000015f1: MLOAD 000015f2: PUSH1 0x02 000015f4: DUP5 000015f5: ADD 000015f6: SSTORE 000015f7: SWAP3 000015f8: DUP4 000015f9: ADD 000015fa: MLOAD 000015fb: SWAP4 000015fc: DUP3 000015fd: ADD 000015fe: SWAP4 000015ff: SWAP1 00001600: SWAP4 00001601: SSTORE 00001602: SWAP3 00001603: DUP2 00001604: ADD 00001605: MLOAD 00001606: PUSH1 0x04 00001608: DUP1 00001609: DUP6 0000160a: ADD 0000160b: SWAP2 0000160c: SWAP1 0000160d: SWAP2 0000160e: SSTORE 0000160f: PUSH1 0x60 00001611: DUP1 00001612: DUP4 00001613: ADD 00001614: MLOAD 00001615: PUSH1 0x05 00001617: DUP7 00001618: ADD 00001619: SSTORE 0000161a: PUSH1 0x80 0000161c: SWAP1 0000161d: SWAP3 0000161e: ADD 0000161f: MLOAD 00001620: PUSH1 0x06 00001622: DUP6 00001623: ADD 00001624: DUP1 00001625: SLOAD 00001626: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00001647: AND 00001648: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000165d: SWAP1 0000165e: SWAP3 0000165f: AND 00001660: SWAP2 00001661: SWAP1 00001662: SWAP2 00001663: OR 00001664: SWAP1 00001665: SSTORE 00001666: SWAP1 00001667: DUP5 00001668: ADD 00001669: MLOAD 0000166a: PUSH1 0x07 0000166c: DUP5 0000166d: ADD 0000166e: DUP1 0000166f: SLOAD 00001670: SWAP2 00001671: SWAP4 00001672: SWAP1 00001673: SWAP3 00001674: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00001695: SWAP1 00001696: SWAP3 00001697: AND 00001698: SWAP2 00001699: DUP5 0000169a: SWAP1 0000169b: DUP2 0000169c: GT 0000169d: ISZERO 0000169e: PUSH2 0x16a9 000016a1: JUMPI 000016a2: PUSH2 0x16a9 000016a5: PUSH2 0x2ed2 000016a8: JUMP 000016a9: JUMPDEST 000016aa: MUL 000016ab: OR 000016ac: SWAP1 000016ad: SSTORE 000016ae: POP 000016af: PUSH1 0x80 000016b1: SWAP2 000016b2: SWAP1 000016b3: SWAP2 000016b4: ADD 000016b5: MLOAD 000016b6: PUSH1 0x08 000016b8: SWAP1 000016b9: SWAP2 000016ba: ADD 000016bb: SSTORE 000016bc: PUSH1 0x60 000016be: DUP4 000016bf: ADD 000016c0: CALLDATALOAD 000016c1: PUSH1 0x00 000016c3: SWAP1 000016c4: DUP2 000016c5: MSTORE 000016c6: PUSH1 0x04 000016c8: PUSH1 0x20 000016ca: MSTORE 000016cb: PUSH1 0x40 000016cd: SWAP1 000016ce: DUP2 000016cf: SWAP1 000016d0: KECCAK256 000016d1: DUP1 000016d2: SLOAD 000016d3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 000016f4: AND 000016f5: PUSH1 0x01 000016f7: OR 000016f8: SWAP1 000016f9: SSTORE 000016fa: MLOAD 000016fb: PUSH32 0xf4e2f5ba558476e035046e0d563522d7a889c5e5de95a111272d163aefec83ec 0000171c: SWAP1 0000171d: PUSH2 0x1729 00001720: SWAP1 00001721: DUP6 00001722: SWAP1 00001723: DUP6 00001724: SWAP1 00001725: PUSH2 0x2d3a 00001728: JUMP 00001729: JUMPDEST 0000172a: PUSH1 0x40 0000172c: MLOAD 0000172d: DUP1 0000172e: SWAP2 0000172f: SUB 00001730: SWAP1 00001731: LOG1 00001732: POP 00001733: SWAP2 00001734: SWAP1 00001735: POP 00001736: JUMP 00001737: JUMPDEST 00001738: PUSH1 0x01 0000173a: SLOAD 0000173b: PUSH1 0xff 0000173d: AND 0000173e: ISZERO 0000173f: PUSH2 0x17a4 00001742: JUMPI 00001743: PUSH1 0x40 00001745: MLOAD 00001746: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001767: DUP2 00001768: MSTORE 00001769: PUSH1 0x20 0000176b: PUSH1 0x04 0000176d: DUP3 0000176e: ADD 0000176f: MSTORE 00001770: PUSH1 0x10 00001772: PUSH1 0x24 00001774: DUP3 00001775: ADD 00001776: MSTORE 00001777: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000 00001798: PUSH1 0x44 0000179a: DUP3 0000179b: ADD 0000179c: MSTORE 0000179d: PUSH1 0x64 0000179f: ADD 000017a0: PUSH2 0x06f1 000017a3: JUMP 000017a4: JUMPDEST 000017a5: PUSH32 0x59abfac6520ec36a6556b2a4dd949cc40007459bcd5cd2507f1e5cc77b6bc97e 000017c6: PUSH2 0x17cf 000017c9: DUP2 000017ca: CALLER 000017cb: PUSH2 0x1da0 000017ce: JUMP 000017cf: JUMPDEST 000017d0: PUSH1 0x00 000017d2: DUP3 000017d3: DUP2 000017d4: MSTORE 000017d5: PUSH1 0x03 000017d7: PUSH1 0x20 000017d9: DUP2 000017da: DUP2 000017db: MSTORE 000017dc: PUSH1 0x40 000017de: DUP1 000017df: DUP5 000017e0: KECCAK256 000017e1: DUP2 000017e2: MLOAD 000017e3: PUSH1 0xa0 000017e5: DUP1 000017e6: DUP3 000017e7: ADD 000017e8: DUP5 000017e9: MSTORE 000017ea: DUP3 000017eb: SLOAD 000017ec: DUP3 000017ed: MSTORE 000017ee: PUSH1 0x01 000017f0: DUP4 000017f1: ADD 000017f2: SLOAD 000017f3: DUP3 000017f4: DUP7 000017f5: ADD 000017f6: MSTORE 000017f7: DUP4 000017f8: MLOAD 000017f9: SWAP1 000017fa: DUP2 000017fb: ADD 000017fc: DUP5 000017fd: MSTORE 000017fe: PUSH1 0x02 00001800: DUP4 00001801: ADD 00001802: SLOAD 00001803: DUP2 00001804: MSTORE 00001805: SWAP5 00001806: DUP3 00001807: ADD 00001808: SLOAD 00001809: SWAP4 0000180a: DUP6 0000180b: ADD 0000180c: SWAP4 0000180d: SWAP1 0000180e: SWAP4 0000180f: MSTORE 00001810: PUSH1 0x04 00001812: DUP1 00001813: DUP3 00001814: ADD 00001815: SLOAD 00001816: DUP6 00001817: DUP5 00001818: ADD 00001819: MSTORE 0000181a: PUSH1 0x05 0000181c: DUP3 0000181d: ADD 0000181e: SLOAD 0000181f: PUSH1 0x60 00001821: DUP1 00001822: DUP8 00001823: ADD 00001824: SWAP2 00001825: SWAP1 00001826: SWAP2 00001827: MSTORE 00001828: PUSH1 0x06 0000182a: DUP4 0000182b: ADD 0000182c: SLOAD 0000182d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001842: AND 00001843: PUSH1 0x80 00001845: DUP8 00001846: ADD 00001847: MSTORE 00001848: SWAP3 00001849: DUP5 0000184a: ADD 0000184b: SWAP5 0000184c: SWAP1 0000184d: SWAP5 0000184e: MSTORE 0000184f: PUSH1 0x07 00001851: DUP2 00001852: ADD 00001853: SLOAD 00001854: SWAP3 00001855: SWAP4 00001856: SWAP1 00001857: SWAP3 00001858: SWAP2 00001859: DUP5 0000185a: ADD 0000185b: SWAP2 0000185c: PUSH1 0xff 0000185e: AND 0000185f: SWAP1 00001860: DUP2 00001861: GT 00001862: ISZERO 00001863: PUSH2 0x186e 00001866: JUMPI 00001867: PUSH2 0x186e 0000186a: PUSH2 0x2ed2 0000186d: JUMP 0000186e: JUMPDEST 0000186f: PUSH1 0x04 00001871: DUP2 00001872: GT 00001873: ISZERO 00001874: PUSH2 0x187f 00001877: JUMPI 00001878: PUSH2 0x187f 0000187b: PUSH2 0x2ed2 0000187e: JUMP 0000187f: JUMPDEST 00001880: DUP2 00001881: MSTORE 00001882: PUSH1 0x08 00001884: SWAP2 00001885: SWAP1 00001886: SWAP2 00001887: ADD 00001888: SLOAD 00001889: PUSH1 0x20 0000188b: SWAP1 0000188c: SWAP2 0000188d: ADD 0000188e: MSTORE 0000188f: SWAP1 00001890: POP 00001891: PUSH1 0x01 00001893: DUP2 00001894: PUSH1 0x60 00001896: ADD 00001897: MLOAD 00001898: PUSH1 0x04 0000189a: DUP2 0000189b: GT 0000189c: ISZERO 0000189d: PUSH2 0x18a8 000018a0: JUMPI 000018a1: PUSH2 0x18a8 000018a4: PUSH2 0x2ed2 000018a7: JUMP 000018a8: JUMPDEST 000018a9: EQ 000018aa: PUSH2 0x1935 000018ad: JUMPI 000018ae: PUSH1 0x40 000018b0: MLOAD 000018b1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000018d2: DUP2 000018d3: MSTORE 000018d4: PUSH1 0x20 000018d6: PUSH1 0x04 000018d8: DUP3 000018d9: ADD 000018da: MSTORE 000018db: PUSH1 0x23 000018dd: PUSH1 0x24 000018df: DUP3 000018e0: ADD 000018e1: MSTORE 000018e2: PUSH32 0x4c6f616e436f72653a3a73746172743a20496e76616c6964206c6f616e207374 00001903: PUSH1 0x44 00001905: DUP3 00001906: ADD 00001907: MSTORE 00001908: PUSH32 0x6174650000000000000000000000000000000000000000000000000000000000 00001929: PUSH1 0x64 0000192b: DUP3 0000192c: ADD 0000192d: MSTORE 0000192e: PUSH1 0x84 00001930: ADD 00001931: PUSH2 0x06f1 00001934: JUMP 00001935: JUMPDEST 00001936: PUSH1 0x07 00001938: SLOAD 00001939: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000194e: AND 0000194f: PUSH4 0x23b872dd 00001954: CALLER 00001955: PUSH1 0x40 00001957: DUP1 00001958: DUP6 00001959: ADD 0000195a: MLOAD 0000195b: PUSH1 0x60 0000195d: ADD 0000195e: MLOAD 0000195f: SWAP1 00001960: MLOAD 00001961: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00001982: PUSH1 0xe0 00001984: DUP6 00001985: SWAP1 00001986: SHL 00001987: AND 00001988: DUP2 00001989: MSTORE 0000198a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000199f: SWAP1 000019a0: SWAP3 000019a1: AND 000019a2: PUSH1 0x04 000019a4: DUP4 000019a5: ADD 000019a6: MSTORE 000019a7: ADDRESS 000019a8: PUSH1 0x24 000019aa: DUP4 000019ab: ADD 000019ac: MSTORE 000019ad: PUSH1 0x44 000019af: DUP3 000019b0: ADD 000019b1: MSTORE 000019b2: PUSH1 0x64 000019b4: ADD 000019b5: PUSH1 0x00 000019b7: PUSH1 0x40 000019b9: MLOAD 000019ba: DUP1 000019bb: DUP4 000019bc: SUB 000019bd: DUP2 000019be: PUSH1 0x00 000019c0: DUP8 000019c1: DUP1 000019c2: EXTCODESIZE 000019c3: ISZERO 000019c4: DUP1 000019c5: ISZERO 000019c6: PUSH2 0x19ce 000019c9: JUMPI 000019ca: PUSH1 0x00 000019cc: DUP1 000019cd: REVERT 000019ce: JUMPDEST 000019cf: POP 000019d0: GAS 000019d1: CALL 000019d2: ISZERO 000019d3: DUP1 000019d4: ISZERO 000019d5: PUSH2 0x19e2 000019d8: JUMPI 000019d9: RETURNDATASIZE 000019da: PUSH1 0x00 000019dc: DUP1 000019dd: RETURNDATACOPY 000019de: RETURNDATASIZE 000019df: PUSH1 0x00 000019e1: REVERT 000019e2: JUMPDEST 000019e3: POP 000019e4: POP 000019e5: POP 000019e6: POP 000019e7: PUSH2 0x1a1f 000019ea: PUSH2 0x19f0 000019ed: CALLER 000019ee: SWAP1 000019ef: JUMP 000019f0: JUMPDEST 000019f1: PUSH1 0x40 000019f3: DUP4 000019f4: ADD 000019f5: MLOAD 000019f6: PUSH1 0x20 000019f8: DUP2 000019f9: ADD 000019fa: MLOAD 000019fb: PUSH1 0x80 000019fd: SWAP1 000019fe: SWAP2 000019ff: ADD 00001a00: MLOAD 00001a01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a16: AND 00001a17: SWAP2 00001a18: SWAP1 00001a19: ADDRESS 00001a1a: SWAP1 00001a1b: PUSH2 0x20fe 00001a1e: JUMP 00001a1f: JUMPDEST 00001a20: PUSH1 0x00 00001a22: DUP4 00001a23: DUP2 00001a24: MSTORE 00001a25: PUSH1 0x03 00001a27: PUSH1 0x20 00001a29: MSTORE 00001a2a: PUSH1 0x40 00001a2c: DUP1 00001a2d: DUP3 00001a2e: KECCAK256 00001a2f: PUSH1 0x07 00001a31: ADD 00001a32: DUP1 00001a33: SLOAD 00001a34: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00001a55: AND 00001a56: PUSH1 0x02 00001a58: OR 00001a59: SWAP1 00001a5a: SSTORE 00001a5b: PUSH1 0x05 00001a5d: SLOAD 00001a5e: SWAP1 00001a5f: MLOAD 00001a60: PUSH32 0x40c10f1900000000000000000000000000000000000000000000000000000000 00001a81: DUP2 00001a82: MSTORE 00001a83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001a98: DUP8 00001a99: DUP2 00001a9a: AND 00001a9b: PUSH1 0x04 00001a9d: DUP4 00001a9e: ADD 00001a9f: MSTORE 00001aa0: PUSH1 0x24 00001aa2: DUP3 00001aa3: ADD 00001aa4: DUP8 00001aa5: SWAP1 00001aa6: MSTORE 00001aa7: SWAP1 00001aa8: SWAP2 00001aa9: AND 00001aaa: SWAP1 00001aab: PUSH4 0x40c10f19 00001ab0: SWAP1 00001ab1: PUSH1 0x44 00001ab3: ADD 00001ab4: PUSH1 0x20 00001ab6: PUSH1 0x40 00001ab8: MLOAD 00001ab9: DUP1 00001aba: DUP4 00001abb: SUB 00001abc: DUP2 00001abd: PUSH1 0x00 00001abf: DUP8 00001ac0: DUP1 00001ac1: EXTCODESIZE 00001ac2: ISZERO 00001ac3: DUP1 00001ac4: ISZERO 00001ac5: PUSH2 0x1acd 00001ac8: JUMPI 00001ac9: PUSH1 0x00 00001acb: DUP1 00001acc: REVERT 00001acd: JUMPDEST 00001ace: POP 00001acf: GAS 00001ad0: CALL 00001ad1: ISZERO 00001ad2: DUP1 00001ad3: ISZERO 00001ad4: PUSH2 0x1ae1 00001ad7: JUMPI 00001ad8: RETURNDATASIZE 00001ad9: PUSH1 0x00 00001adb: DUP1 00001adc: RETURNDATACOPY 00001add: RETURNDATASIZE 00001ade: PUSH1 0x00 00001ae0: REVERT 00001ae1: JUMPDEST 00001ae2: POP 00001ae3: POP 00001ae4: POP 00001ae5: POP 00001ae6: PUSH1 0x40 00001ae8: MLOAD 00001ae9: RETURNDATASIZE 00001aea: PUSH1 0x1f 00001aec: NOT 00001aed: PUSH1 0x1f 00001aef: DUP3 00001af0: ADD 00001af1: AND 00001af2: DUP3 00001af3: ADD 00001af4: DUP1 00001af5: PUSH1 0x40 00001af7: MSTORE 00001af8: POP 00001af9: DUP2 00001afa: ADD 00001afb: SWAP1 00001afc: PUSH2 0x1b05 00001aff: SWAP2 00001b00: SWAP1 00001b01: PUSH2 0x2b72 00001b04: JUMP 00001b05: JUMPDEST 00001b06: PUSH1 0x06 00001b08: SLOAD 00001b09: PUSH1 0x40 00001b0b: MLOAD 00001b0c: PUSH32 0x40c10f1900000000000000000000000000000000000000000000000000000000 00001b2d: DUP2 00001b2e: MSTORE 00001b2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001b44: DUP10 00001b45: DUP2 00001b46: AND 00001b47: PUSH1 0x04 00001b49: DUP4 00001b4a: ADD 00001b4b: MSTORE 00001b4c: PUSH1 0x24 00001b4e: DUP3 00001b4f: ADD 00001b50: DUP9 00001b51: SWAP1 00001b52: MSTORE 00001b53: SWAP3 00001b54: SWAP4 00001b55: POP 00001b56: PUSH1 0x00 00001b58: SWAP3 00001b59: SWAP1 00001b5a: SWAP2 00001b5b: AND 00001b5c: SWAP1 00001b5d: PUSH4 0x40c10f19 00001b62: SWAP1 00001b63: PUSH1 0x44 00001b65: ADD 00001b66: PUSH1 0x20 00001b68: PUSH1 0x40 00001b6a: MLOAD 00001b6b: DUP1 00001b6c: DUP4 00001b6d: SUB 00001b6e: DUP2 00001b6f: PUSH1 0x00 00001b71: DUP8 00001b72: DUP1 00001b73: EXTCODESIZE 00001b74: ISZERO 00001b75: DUP1 00001b76: ISZERO 00001b77: PUSH2 0x1b7f 00001b7a: JUMPI 00001b7b: PUSH1 0x00 00001b7d: DUP1 00001b7e: REVERT 00001b7f: JUMPDEST 00001b80: POP 00001b81: GAS 00001b82: CALL 00001b83: ISZERO 00001b84: DUP1 00001b85: ISZERO 00001b86: PUSH2 0x1b93 00001b89: JUMPI 00001b8a: RETURNDATASIZE 00001b8b: PUSH1 0x00 00001b8d: DUP1 00001b8e: RETURNDATACOPY 00001b8f: RETURNDATASIZE 00001b90: PUSH1 0x00 00001b92: REVERT 00001b93: JUMPDEST 00001b94: POP 00001b95: POP 00001b96: POP 00001b97: POP 00001b98: PUSH1 0x40 00001b9a: MLOAD 00001b9b: RETURNDATASIZE 00001b9c: PUSH1 0x1f 00001b9e: NOT 00001b9f: PUSH1 0x1f 00001ba1: DUP3 00001ba2: ADD 00001ba3: AND 00001ba4: DUP3 00001ba5: ADD 00001ba6: DUP1 00001ba7: PUSH1 0x40 00001ba9: MSTORE 00001baa: POP 00001bab: DUP2 00001bac: ADD 00001bad: SWAP1 00001bae: PUSH2 0x1bb7 00001bb1: SWAP2 00001bb2: SWAP1 00001bb3: PUSH2 0x2b72 00001bb6: JUMP 00001bb7: JUMPDEST 00001bb8: SWAP1 00001bb9: POP 00001bba: PUSH1 0x40 00001bbc: MLOAD 00001bbd: DUP1 00001bbe: PUSH1 0xa0 00001bc0: ADD 00001bc1: PUSH1 0x40 00001bc3: MSTORE 00001bc4: DUP1 00001bc5: DUP4 00001bc6: DUP2 00001bc7: MSTORE 00001bc8: PUSH1 0x20 00001bca: ADD 00001bcb: DUP3 00001bcc: DUP2 00001bcd: MSTORE 00001bce: PUSH1 0x20 00001bd0: ADD 00001bd1: DUP5 00001bd2: PUSH1 0x40 00001bd4: ADD 00001bd5: MLOAD 00001bd6: DUP2 00001bd7: MSTORE 00001bd8: PUSH1 0x20 00001bda: ADD 00001bdb: PUSH1 0x02 00001bdd: PUSH1 0x04 00001bdf: DUP2 00001be0: GT 00001be1: ISZERO 00001be2: PUSH2 0x1bed 00001be5: JUMPI 00001be6: PUSH2 0x1bed 00001be9: PUSH2 0x2ed2 00001bec: JUMP 00001bed: JUMPDEST 00001bee: DUP2 00001bef: MSTORE 00001bf0: PUSH1 0x20 00001bf2: ADD 00001bf3: DUP5 00001bf4: PUSH1 0x80 00001bf6: ADD 00001bf7: MLOAD 00001bf8: DUP2 00001bf9: MSTORE 00001bfa: POP 00001bfb: PUSH1 0x03 00001bfd: PUSH1 0x00 00001bff: DUP8 00001c00: DUP2 00001c01: MSTORE 00001c02: PUSH1 0x20 00001c04: ADD 00001c05: SWAP1 00001c06: DUP2 00001c07: MSTORE 00001c08: PUSH1 0x20 00001c0a: ADD 00001c0b: PUSH1 0x00 00001c0d: KECCAK256 00001c0e: PUSH1 0x00 00001c10: DUP3 00001c11: ADD 00001c12: MLOAD 00001c13: DUP2 00001c14: PUSH1 0x00 00001c16: ADD 00001c17: SSTORE 00001c18: PUSH1 0x20 00001c1a: DUP3 00001c1b: ADD 00001c1c: MLOAD 00001c1d: DUP2 00001c1e: PUSH1 0x01 00001c20: ADD 00001c21: SSTORE 00001c22: PUSH1 0x40 00001c24: DUP3 00001c25: ADD 00001c26: MLOAD 00001c27: DUP2 00001c28: PUSH1 0x02 00001c2a: ADD 00001c2b: PUSH1 0x00 00001c2d: DUP3 00001c2e: ADD 00001c2f: MLOAD 00001c30: DUP2 00001c31: PUSH1 0x00 00001c33: ADD 00001c34: SSTORE 00001c35: PUSH1 0x20 00001c37: DUP3 00001c38: ADD 00001c39: MLOAD 00001c3a: DUP2 00001c3b: PUSH1 0x01 00001c3d: ADD 00001c3e: SSTORE 00001c3f: PUSH1 0x40 00001c41: DUP3 00001c42: ADD 00001c43: MLOAD 00001c44: DUP2 00001c45: PUSH1 0x02 00001c47: ADD 00001c48: SSTORE 00001c49: PUSH1 0x60 00001c4b: DUP3 00001c4c: ADD 00001c4d: MLOAD 00001c4e: DUP2 00001c4f: PUSH1 0x03 00001c51: ADD 00001c52: SSTORE 00001c53: PUSH1 0x80 00001c55: DUP3 00001c56: ADD 00001c57: MLOAD 00001c58: DUP2 00001c59: PUSH1 0x04 00001c5b: ADD 00001c5c: PUSH1 0x00 00001c5e: PUSH2 0x0100 00001c61: EXP 00001c62: DUP2 00001c63: SLOAD 00001c64: DUP2 00001c65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c7a: MUL 00001c7b: NOT 00001c7c: AND 00001c7d: SWAP1 00001c7e: DUP4 00001c7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c94: AND 00001c95: MUL 00001c96: OR 00001c97: SWAP1 00001c98: SSTORE 00001c99: POP 00001c9a: POP 00001c9b: POP 00001c9c: PUSH1 0x60 00001c9e: DUP3 00001c9f: ADD 00001ca0: MLOAD 00001ca1: DUP2 00001ca2: PUSH1 0x07 00001ca4: ADD 00001ca5: PUSH1 0x00 00001ca7: PUSH2 0x0100 00001caa: EXP 00001cab: DUP2 00001cac: SLOAD 00001cad: DUP2 00001cae: PUSH1 0xff 00001cb0: MUL 00001cb1: NOT 00001cb2: AND 00001cb3: SWAP1 00001cb4: DUP4 00001cb5: PUSH1 0x04 00001cb7: DUP2 00001cb8: GT 00001cb9: ISZERO 00001cba: PUSH2 0x1cc5 00001cbd: JUMPI 00001cbe: PUSH2 0x1cc5 00001cc1: PUSH2 0x2ed2 00001cc4: JUMP 00001cc5: JUMPDEST 00001cc6: MUL 00001cc7: OR 00001cc8: SWAP1 00001cc9: SSTORE 00001cca: POP 00001ccb: PUSH1 0x80 00001ccd: DUP3 00001cce: ADD 00001ccf: MLOAD 00001cd0: DUP2 00001cd1: PUSH1 0x08 00001cd3: ADD 00001cd4: SSTORE 00001cd5: SWAP1 00001cd6: POP 00001cd7: POP 00001cd8: PUSH2 0x1d12 00001cdb: DUP7 00001cdc: PUSH2 0x1cec 00001cdf: DUP6 00001ce0: PUSH1 0x40 00001ce2: ADD 00001ce3: MLOAD 00001ce4: PUSH1 0x20 00001ce6: ADD 00001ce7: MLOAD 00001ce8: PUSH2 0x2301 00001ceb: JUMP 00001cec: JUMPDEST 00001ced: PUSH1 0x40 00001cef: DUP7 00001cf0: ADD 00001cf1: MLOAD 00001cf2: PUSH1 0x80 00001cf4: ADD 00001cf5: MLOAD 00001cf6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d0b: AND 00001d0c: SWAP2 00001d0d: SWAP1 00001d0e: PUSH2 0x1e70 00001d11: JUMP 00001d12: JUMPDEST 00001d13: PUSH1 0x40 00001d15: DUP1 00001d16: MLOAD 00001d17: DUP7 00001d18: DUP2 00001d19: MSTORE 00001d1a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001d2f: DUP10 00001d30: DUP2 00001d31: AND 00001d32: PUSH1 0x20 00001d34: DUP4 00001d35: ADD 00001d36: MSTORE 00001d37: DUP9 00001d38: AND 00001d39: DUP2 00001d3a: DUP4 00001d3b: ADD 00001d3c: MSTORE 00001d3d: SWAP1 00001d3e: MLOAD 00001d3f: PUSH32 0x80058ebfadf3969c68465e37d0ca6f1647cd2ef5b7a73f5bd388f25be77ed981 00001d60: SWAP2 00001d61: DUP2 00001d62: SWAP1 00001d63: SUB 00001d64: PUSH1 0x60 00001d66: ADD 00001d67: SWAP1 00001d68: LOG1 00001d69: POP 00001d6a: POP 00001d6b: POP 00001d6c: POP 00001d6d: POP 00001d6e: POP 00001d6f: POP 00001d70: JUMP 00001d71: JUMPDEST 00001d72: PUSH1 0x00 00001d74: DUP3 00001d75: DUP2 00001d76: MSTORE 00001d77: PUSH1 0x20 00001d79: DUP2 00001d7a: SWAP1 00001d7b: MSTORE 00001d7c: PUSH1 0x40 00001d7e: SWAP1 00001d7f: KECCAK256 00001d80: PUSH1 0x01 00001d82: ADD 00001d83: SLOAD 00001d84: PUSH2 0x1d8d 00001d87: DUP2 00001d88: CALLER 00001d89: PUSH2 0x1da0 00001d8c: JUMP 00001d8d: JUMPDEST 00001d8e: PUSH2 0x064b 00001d91: DUP4 00001d92: DUP4 00001d93: PUSH2 0x2034 00001d96: JUMP 00001d97: JUMPDEST 00001d98: DUP1 00001d99: SLOAD 00001d9a: PUSH1 0x01 00001d9c: ADD 00001d9d: SWAP1 00001d9e: SSTORE 00001d9f: JUMP 00001da0: JUMPDEST 00001da1: PUSH1 0x00 00001da3: DUP3 00001da4: DUP2 00001da5: MSTORE 00001da6: PUSH1 0x20 00001da8: DUP2 00001da9: DUP2 00001daa: MSTORE 00001dab: PUSH1 0x40 00001dad: DUP1 00001dae: DUP4 00001daf: KECCAK256 00001db0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001dc5: DUP6 00001dc6: AND 00001dc7: DUP5 00001dc8: MSTORE 00001dc9: SWAP1 00001dca: SWAP2 00001dcb: MSTORE 00001dcc: SWAP1 00001dcd: KECCAK256 00001dce: SLOAD 00001dcf: PUSH1 0xff 00001dd1: AND 00001dd2: PUSH2 0x0704 00001dd5: JUMPI 00001dd6: PUSH2 0x1df6 00001dd9: DUP2 00001dda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001def: AND 00001df0: PUSH1 0x14 00001df2: PUSH2 0x23c3 00001df5: JUMP 00001df6: JUMPDEST 00001df7: PUSH2 0x1e01 00001dfa: DUP4 00001dfb: PUSH1 0x20 00001dfd: PUSH2 0x23c3 00001e00: JUMP 00001e01: JUMPDEST 00001e02: PUSH1 0x40 00001e04: MLOAD 00001e05: PUSH1 0x20 00001e07: ADD 00001e08: PUSH2 0x1e12 00001e0b: SWAP3 00001e0c: SWAP2 00001e0d: SWAP1 00001e0e: PUSH2 0x2be2 00001e11: JUMP 00001e12: JUMPDEST 00001e13: PUSH1 0x40 00001e15: DUP1 00001e16: MLOAD 00001e17: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001e38: DUP2 00001e39: DUP5 00001e3a: SUB 00001e3b: ADD 00001e3c: DUP2 00001e3d: MSTORE 00001e3e: SWAP1 00001e3f: DUP3 00001e40: SWAP1 00001e41: MSTORE 00001e42: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001e63: DUP3 00001e64: MSTORE 00001e65: PUSH2 0x06f1 00001e68: SWAP2 00001e69: PUSH1 0x04 00001e6b: ADD 00001e6c: PUSH2 0x2c63 00001e6f: JUMP 00001e70: JUMPDEST 00001e71: PUSH1 0x40 00001e73: MLOAD 00001e74: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e89: DUP4 00001e8a: AND 00001e8b: PUSH1 0x24 00001e8d: DUP3 00001e8e: ADD 00001e8f: MSTORE 00001e90: PUSH1 0x44 00001e92: DUP2 00001e93: ADD 00001e94: DUP3 00001e95: SWAP1 00001e96: MSTORE 00001e97: PUSH2 0x064b 00001e9a: SWAP1 00001e9b: DUP5 00001e9c: SWAP1 00001e9d: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 00001ebe: SWAP1 00001ebf: PUSH1 0x64 00001ec1: ADD 00001ec2: JUMPDEST 00001ec3: PUSH1 0x40 00001ec5: DUP1 00001ec6: MLOAD 00001ec7: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00001ee8: DUP2 00001ee9: DUP5 00001eea: SUB 00001eeb: ADD 00001eec: DUP2 00001eed: MSTORE 00001eee: SWAP2 00001eef: SWAP1 00001ef0: MSTORE 00001ef1: PUSH1 0x20 00001ef3: DUP2 00001ef4: ADD 00001ef5: DUP1 00001ef6: MLOAD 00001ef7: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001f14: AND 00001f15: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00001f36: SWAP1 00001f37: SWAP4 00001f38: AND 00001f39: SWAP3 00001f3a: SWAP1 00001f3b: SWAP3 00001f3c: OR 00001f3d: SWAP1 00001f3e: SWAP2 00001f3f: MSTORE 00001f40: PUSH2 0x2606 00001f43: JUMP 00001f44: JUMPDEST 00001f45: PUSH1 0x00 00001f47: DUP3 00001f48: DUP2 00001f49: MSTORE 00001f4a: PUSH1 0x20 00001f4c: DUP2 00001f4d: DUP2 00001f4e: MSTORE 00001f4f: PUSH1 0x40 00001f51: DUP1 00001f52: DUP4 00001f53: KECCAK256 00001f54: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f69: DUP6 00001f6a: AND 00001f6b: DUP5 00001f6c: MSTORE 00001f6d: SWAP1 00001f6e: SWAP2 00001f6f: MSTORE 00001f70: SWAP1 00001f71: KECCAK256 00001f72: SLOAD 00001f73: PUSH1 0xff 00001f75: AND 00001f76: PUSH2 0x0704 00001f79: JUMPI 00001f7a: PUSH1 0x00 00001f7c: DUP3 00001f7d: DUP2 00001f7e: MSTORE 00001f7f: PUSH1 0x20 00001f81: DUP2 00001f82: DUP2 00001f83: MSTORE 00001f84: PUSH1 0x40 00001f86: DUP1 00001f87: DUP4 00001f88: KECCAK256 00001f89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f9e: DUP6 00001f9f: AND 00001fa0: DUP5 00001fa1: MSTORE 00001fa2: SWAP1 00001fa3: SWAP2 00001fa4: MSTORE 00001fa5: SWAP1 00001fa6: KECCAK256 00001fa7: DUP1 00001fa8: SLOAD 00001fa9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 00001fca: AND 00001fcb: PUSH1 0x01 00001fcd: OR 00001fce: SWAP1 00001fcf: SSTORE 00001fd0: PUSH2 0x1fd6 00001fd3: CALLER 00001fd4: SWAP1 00001fd5: JUMP 00001fd6: JUMPDEST 00001fd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fec: AND 00001fed: DUP2 00001fee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002003: AND 00002004: DUP4 00002005: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d 00002026: PUSH1 0x40 00002028: MLOAD 00002029: PUSH1 0x40 0000202b: MLOAD 0000202c: DUP1 0000202d: SWAP2 0000202e: SUB 0000202f: SWAP1 00002030: LOG4 00002031: POP 00002032: POP 00002033: JUMP 00002034: JUMPDEST 00002035: PUSH1 0x00 00002037: DUP3 00002038: DUP2 00002039: MSTORE 0000203a: PUSH1 0x20 0000203c: DUP2 0000203d: DUP2 0000203e: MSTORE 0000203f: PUSH1 0x40 00002041: DUP1 00002042: DUP4 00002043: KECCAK256 00002044: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002059: DUP6 0000205a: AND 0000205b: DUP5 0000205c: MSTORE 0000205d: SWAP1 0000205e: SWAP2 0000205f: MSTORE 00002060: SWAP1 00002061: KECCAK256 00002062: SLOAD 00002063: PUSH1 0xff 00002065: AND 00002066: ISZERO 00002067: PUSH2 0x0704 0000206a: JUMPI 0000206b: PUSH1 0x00 0000206d: DUP3 0000206e: DUP2 0000206f: MSTORE 00002070: PUSH1 0x20 00002072: DUP2 00002073: DUP2 00002074: MSTORE 00002075: PUSH1 0x40 00002077: DUP1 00002078: DUP4 00002079: KECCAK256 0000207a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000208f: DUP6 00002090: AND 00002091: DUP1 00002092: DUP6 00002093: MSTORE 00002094: SWAP3 00002095: MSTORE 00002096: DUP1 00002097: DUP4 00002098: KECCAK256 00002099: DUP1 0000209a: SLOAD 0000209b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 000020bc: AND 000020bd: SWAP1 000020be: SSTORE 000020bf: MLOAD 000020c0: CALLER 000020c1: SWAP3 000020c2: DUP6 000020c3: SWAP2 000020c4: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b 000020e5: SWAP2 000020e6: SWAP1 000020e7: LOG4 000020e8: POP 000020e9: POP 000020ea: JUMP 000020eb: JUMPDEST 000020ec: PUSH1 0x00 000020ee: PUSH2 0x20f7 000020f1: DUP3 000020f2: DUP5 000020f3: PUSH2 0x2d9b 000020f6: JUMP 000020f7: JUMPDEST 000020f8: SWAP4 000020f9: SWAP3 000020fa: POP 000020fb: POP 000020fc: POP 000020fd: JUMP 000020fe: JUMPDEST 000020ff: PUSH1 0x40 00002101: MLOAD 00002102: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002117: DUP1 00002118: DUP6 00002119: AND 0000211a: PUSH1 0x24 0000211c: DUP4 0000211d: ADD 0000211e: MSTORE 0000211f: DUP4 00002120: AND 00002121: PUSH1 0x44 00002123: DUP3 00002124: ADD 00002125: MSTORE 00002126: PUSH1 0x64 00002128: DUP2 00002129: ADD 0000212a: DUP3 0000212b: SWAP1 0000212c: MSTORE 0000212d: PUSH2 0x215c 00002130: SWAP1 00002131: DUP6 00002132: SWAP1 00002133: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000 00002154: SWAP1 00002155: PUSH1 0x84 00002157: ADD 00002158: PUSH2 0x1ec2 0000215b: JUMP 0000215c: JUMPDEST 0000215d: POP 0000215e: POP 0000215f: POP 00002160: POP 00002161: JUMP 00002162: JUMPDEST 00002163: PUSH1 0x01 00002165: SLOAD 00002166: PUSH1 0xff 00002168: AND 00002169: PUSH2 0x21ce 0000216c: JUMPI 0000216d: PUSH1 0x40 0000216f: MLOAD 00002170: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002191: DUP2 00002192: MSTORE 00002193: PUSH1 0x20 00002195: PUSH1 0x04 00002197: DUP3 00002198: ADD 00002199: MSTORE 0000219a: PUSH1 0x14 0000219c: PUSH1 0x24 0000219e: DUP3 0000219f: ADD 000021a0: MSTORE 000021a1: PUSH32 0x5061757361626c653a206e6f7420706175736564000000000000000000000000 000021c2: PUSH1 0x44 000021c4: DUP3 000021c5: ADD 000021c6: MSTORE 000021c7: PUSH1 0x64 000021c9: ADD 000021ca: PUSH2 0x06f1 000021cd: JUMP 000021ce: JUMPDEST 000021cf: PUSH1 0x01 000021d1: DUP1 000021d2: SLOAD 000021d3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 000021f4: AND 000021f5: SWAP1 000021f6: SSTORE 000021f7: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 00002218: CALLER 00002219: JUMPDEST 0000221a: PUSH1 0x40 0000221c: MLOAD 0000221d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002232: SWAP1 00002233: SWAP2 00002234: AND 00002235: DUP2 00002236: MSTORE 00002237: PUSH1 0x20 00002239: ADD 0000223a: PUSH1 0x40 0000223c: MLOAD 0000223d: DUP1 0000223e: SWAP2 0000223f: SUB 00002240: SWAP1 00002241: LOG1 00002242: JUMP 00002243: JUMPDEST 00002244: PUSH1 0x01 00002246: SLOAD 00002247: PUSH1 0xff 00002249: AND 0000224a: ISZERO 0000224b: PUSH2 0x22b0 0000224e: JUMPI 0000224f: PUSH1 0x40 00002251: MLOAD 00002252: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002273: DUP2 00002274: MSTORE 00002275: PUSH1 0x20 00002277: PUSH1 0x04 00002279: DUP3 0000227a: ADD 0000227b: MSTORE 0000227c: PUSH1 0x10 0000227e: PUSH1 0x24 00002280: DUP3 00002281: ADD 00002282: MSTORE 00002283: PUSH32 0x5061757361626c653a2070617573656400000000000000000000000000000000 000022a4: PUSH1 0x44 000022a6: DUP3 000022a7: ADD 000022a8: MSTORE 000022a9: PUSH1 0x64 000022ab: ADD 000022ac: PUSH2 0x06f1 000022af: JUMP 000022b0: JUMPDEST 000022b1: PUSH1 0x01 000022b3: DUP1 000022b4: SLOAD 000022b5: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 000022d6: AND 000022d7: DUP2 000022d8: OR 000022d9: SWAP1 000022da: SSTORE 000022db: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 000022fc: CALLER 000022fd: PUSH2 0x2219 00002300: JUMP 00002301: JUMPDEST 00002302: PUSH1 0x00 00002304: PUSH2 0x04d7 00002307: PUSH2 0x23bc 0000230a: PUSH2 0x2710 0000230d: PUSH2 0x23b6 00002310: PUSH1 0x08 00002312: PUSH1 0x00 00002314: SWAP1 00002315: SLOAD 00002316: SWAP1 00002317: PUSH2 0x0100 0000231a: EXP 0000231b: SWAP1 0000231c: DIV 0000231d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002332: AND 00002333: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002348: AND 00002349: PUSH4 0xfc2e39a6 0000234e: PUSH1 0x40 00002350: MLOAD 00002351: DUP2 00002352: PUSH4 0xffffffff 00002357: AND 00002358: PUSH1 0xe0 0000235a: SHL 0000235b: DUP2 0000235c: MSTORE 0000235d: PUSH1 0x04 0000235f: ADD 00002360: PUSH1 0x20 00002362: PUSH1 0x40 00002364: MLOAD 00002365: DUP1 00002366: DUP4 00002367: SUB 00002368: DUP2 00002369: DUP7 0000236a: DUP1 0000236b: EXTCODESIZE 0000236c: ISZERO 0000236d: DUP1 0000236e: ISZERO 0000236f: PUSH2 0x2377 00002372: JUMPI 00002373: PUSH1 0x00 00002375: DUP1 00002376: REVERT 00002377: JUMPDEST 00002378: POP 00002379: GAS 0000237a: STATICCALL 0000237b: ISZERO 0000237c: DUP1 0000237d: ISZERO 0000237e: PUSH2 0x238b 00002381: JUMPI 00002382: RETURNDATASIZE 00002383: PUSH1 0x00 00002385: DUP1 00002386: RETURNDATACOPY 00002387: RETURNDATASIZE 00002388: PUSH1 0x00 0000238a: REVERT 0000238b: JUMPDEST 0000238c: POP 0000238d: POP 0000238e: POP 0000238f: POP 00002390: PUSH1 0x40 00002392: MLOAD 00002393: RETURNDATASIZE 00002394: PUSH1 0x1f 00002396: NOT 00002397: PUSH1 0x1f 00002399: DUP3 0000239a: ADD 0000239b: AND 0000239c: DUP3 0000239d: ADD 0000239e: DUP1 0000239f: PUSH1 0x40 000023a1: MSTORE 000023a2: POP 000023a3: DUP2 000023a4: ADD 000023a5: SWAP1 000023a6: PUSH2 0x23af 000023a9: SWAP2 000023aa: SWAP1 000023ab: PUSH2 0x2b72 000023ae: JUMP 000023af: JUMPDEST 000023b0: DUP7 000023b1: SWAP1 000023b2: PUSH2 0x2712 000023b5: JUMP 000023b6: JUMPDEST 000023b7: SWAP1 000023b8: PUSH2 0x271e 000023bb: JUMP 000023bc: JUMPDEST 000023bd: DUP4 000023be: SWAP1 000023bf: PUSH2 0x272a 000023c2: JUMP 000023c3: JUMPDEST 000023c4: PUSH1 0x60 000023c6: PUSH1 0x00 000023c8: PUSH2 0x23d2 000023cb: DUP4 000023cc: PUSH1 0x02 000023ce: PUSH2 0x2dee 000023d1: JUMP 000023d2: JUMPDEST 000023d3: PUSH2 0x23dd 000023d6: SWAP1 000023d7: PUSH1 0x02 000023d9: PUSH2 0x2d9b 000023dc: JUMP 000023dd: JUMPDEST 000023de: PUSH8 0xffffffffffffffff 000023e7: DUP2 000023e8: GT 000023e9: ISZERO 000023ea: PUSH2 0x23f5 000023ed: JUMPI 000023ee: PUSH2 0x23f5 000023f1: PUSH2 0x2f30 000023f4: JUMP 000023f5: JUMPDEST 000023f6: PUSH1 0x40 000023f8: MLOAD 000023f9: SWAP1 000023fa: DUP1 000023fb: DUP3 000023fc: MSTORE 000023fd: DUP1 000023fe: PUSH1 0x1f 00002400: ADD 00002401: PUSH1 0x1f 00002403: NOT 00002404: AND 00002405: PUSH1 0x20 00002407: ADD 00002408: DUP3 00002409: ADD 0000240a: PUSH1 0x40 0000240c: MSTORE 0000240d: DUP1 0000240e: ISZERO 0000240f: PUSH2 0x241f 00002412: JUMPI 00002413: PUSH1 0x20 00002415: DUP3 00002416: ADD 00002417: DUP2 00002418: DUP1 00002419: CALLDATASIZE 0000241a: DUP4 0000241b: CALLDATACOPY 0000241c: ADD 0000241d: SWAP1 0000241e: POP 0000241f: JUMPDEST 00002420: POP 00002421: SWAP1 00002422: POP 00002423: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000 00002444: DUP2 00002445: PUSH1 0x00 00002447: DUP2 00002448: MLOAD 00002449: DUP2 0000244a: LT 0000244b: PUSH2 0x2456 0000244e: JUMPI 0000244f: PUSH2 0x2456 00002452: PUSH2 0x2f01 00002455: JUMP 00002456: JUMPDEST 00002457: PUSH1 0x20 00002459: ADD 0000245a: ADD 0000245b: SWAP1 0000245c: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000247c: NOT 0000247d: AND 0000247e: SWAP1 0000247f: DUP2 00002480: PUSH1 0x00 00002482: BYTE 00002483: SWAP1 00002484: MSTORE8 00002485: POP 00002486: PUSH32 0x7800000000000000000000000000000000000000000000000000000000000000 000024a7: DUP2 000024a8: PUSH1 0x01 000024aa: DUP2 000024ab: MLOAD 000024ac: DUP2 000024ad: LT 000024ae: PUSH2 0x24b9 000024b1: JUMPI 000024b2: PUSH2 0x24b9 000024b5: PUSH2 0x2f01 000024b8: JUMP 000024b9: JUMPDEST 000024ba: PUSH1 0x20 000024bc: ADD 000024bd: ADD 000024be: SWAP1 000024bf: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000024df: NOT 000024e0: AND 000024e1: SWAP1 000024e2: DUP2 000024e3: PUSH1 0x00 000024e5: BYTE 000024e6: SWAP1 000024e7: MSTORE8 000024e8: POP 000024e9: PUSH1 0x00 000024eb: PUSH2 0x24f5 000024ee: DUP5 000024ef: PUSH1 0x02 000024f1: PUSH2 0x2dee 000024f4: JUMP 000024f5: JUMPDEST 000024f6: PUSH2 0x2500 000024f9: SWAP1 000024fa: PUSH1 0x01 000024fc: PUSH2 0x2d9b 000024ff: JUMP 00002500: JUMPDEST 00002501: SWAP1 00002502: POP 00002503: JUMPDEST 00002504: PUSH1 0x01 00002506: DUP2 00002507: GT 00002508: ISZERO 00002509: PUSH2 0x259d 0000250c: JUMPI 0000250d: PUSH32 0x3031323334353637383961626364656600000000000000000000000000000000 0000252e: DUP6 0000252f: PUSH1 0x0f 00002531: AND 00002532: PUSH1 0x10 00002534: DUP2 00002535: LT 00002536: PUSH2 0x2541 00002539: JUMPI 0000253a: PUSH2 0x2541 0000253d: PUSH2 0x2f01 00002540: JUMP 00002541: JUMPDEST 00002542: BYTE 00002543: PUSH1 0xf8 00002545: SHL 00002546: DUP3 00002547: DUP3 00002548: DUP2 00002549: MLOAD 0000254a: DUP2 0000254b: LT 0000254c: PUSH2 0x2557 0000254f: JUMPI 00002550: PUSH2 0x2557 00002553: PUSH2 0x2f01 00002556: JUMP 00002557: JUMPDEST 00002558: PUSH1 0x20 0000255a: ADD 0000255b: ADD 0000255c: SWAP1 0000255d: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000257d: NOT 0000257e: AND 0000257f: SWAP1 00002580: DUP2 00002581: PUSH1 0x00 00002583: BYTE 00002584: SWAP1 00002585: MSTORE8 00002586: POP 00002587: PUSH1 0x04 00002589: SWAP5 0000258a: SWAP1 0000258b: SWAP5 0000258c: SHR 0000258d: SWAP4 0000258e: PUSH2 0x2596 00002591: DUP2 00002592: PUSH2 0x2e6e 00002595: JUMP 00002596: JUMPDEST 00002597: SWAP1 00002598: POP 00002599: PUSH2 0x2503 0000259c: JUMP 0000259d: JUMPDEST 0000259e: POP 0000259f: DUP4 000025a0: ISZERO 000025a1: PUSH2 0x20f7 000025a4: JUMPI 000025a5: PUSH1 0x40 000025a7: MLOAD 000025a8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000025c9: DUP2 000025ca: MSTORE 000025cb: PUSH1 0x20 000025cd: PUSH1 0x04 000025cf: DUP3 000025d0: ADD 000025d1: DUP2 000025d2: SWAP1 000025d3: MSTORE 000025d4: PUSH1 0x24 000025d6: DUP3 000025d7: ADD 000025d8: MSTORE 000025d9: PUSH32 0x537472696e67733a20686578206c656e67746820696e73756666696369656e74 000025fa: PUSH1 0x44 000025fc: DUP3 000025fd: ADD 000025fe: MSTORE 000025ff: PUSH1 0x64 00002601: ADD 00002602: PUSH2 0x06f1 00002605: JUMP 00002606: JUMPDEST 00002607: PUSH1 0x00 00002609: PUSH2 0x2668 0000260c: DUP3 0000260d: PUSH1 0x40 0000260f: MLOAD 00002610: DUP1 00002611: PUSH1 0x40 00002613: ADD 00002614: PUSH1 0x40 00002616: MSTORE 00002617: DUP1 00002618: PUSH1 0x20 0000261a: DUP2 0000261b: MSTORE 0000261c: PUSH1 0x20 0000261e: ADD 0000261f: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 00002640: DUP2 00002641: MSTORE 00002642: POP 00002643: DUP6 00002644: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002659: AND 0000265a: PUSH2 0x2736 0000265d: SWAP1 0000265e: SWAP3 0000265f: SWAP2 00002660: SWAP1 00002661: PUSH4 0xffffffff 00002666: AND 00002667: JUMP 00002668: JUMPDEST 00002669: DUP1 0000266a: MLOAD 0000266b: SWAP1 0000266c: SWAP2 0000266d: POP 0000266e: ISZERO 0000266f: PUSH2 0x064b 00002672: JUMPI 00002673: DUP1 00002674: DUP1 00002675: PUSH1 0x20 00002677: ADD 00002678: SWAP1 00002679: MLOAD 0000267a: DUP2 0000267b: ADD 0000267c: SWAP1 0000267d: PUSH2 0x2686 00002680: SWAP2 00002681: SWAP1 00002682: PUSH2 0x29f3 00002685: JUMP 00002686: JUMPDEST 00002687: PUSH2 0x064b 0000268a: JUMPI 0000268b: PUSH1 0x40 0000268d: MLOAD 0000268e: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000026af: DUP2 000026b0: MSTORE 000026b1: PUSH1 0x20 000026b3: PUSH1 0x04 000026b5: DUP3 000026b6: ADD 000026b7: MSTORE 000026b8: PUSH1 0x2a 000026ba: PUSH1 0x24 000026bc: DUP3 000026bd: ADD 000026be: MSTORE 000026bf: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 000026e0: PUSH1 0x44 000026e2: DUP3 000026e3: ADD 000026e4: MSTORE 000026e5: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000 00002706: PUSH1 0x64 00002708: DUP3 00002709: ADD 0000270a: MSTORE 0000270b: PUSH1 0x84 0000270d: ADD 0000270e: PUSH2 0x06f1 00002711: JUMP 00002712: JUMPDEST 00002713: PUSH1 0x00 00002715: PUSH2 0x20f7 00002718: DUP3 00002719: DUP5 0000271a: PUSH2 0x2dee 0000271d: JUMP 0000271e: JUMPDEST 0000271f: PUSH1 0x00 00002721: PUSH2 0x20f7 00002724: DUP3 00002725: DUP5 00002726: PUSH2 0x2db3 00002729: JUMP 0000272a: JUMPDEST 0000272b: PUSH1 0x00 0000272d: PUSH2 0x20f7 00002730: DUP3 00002731: DUP5 00002732: PUSH2 0x2e2b 00002735: JUMP 00002736: JUMPDEST 00002737: PUSH1 0x60 00002739: PUSH2 0x2745 0000273c: DUP5 0000273d: DUP5 0000273e: PUSH1 0x00 00002740: DUP6 00002741: PUSH2 0x274d 00002744: JUMP 00002745: JUMPDEST 00002746: SWAP5 00002747: SWAP4 00002748: POP 00002749: POP 0000274a: POP 0000274b: POP 0000274c: JUMP 0000274d: JUMPDEST 0000274e: PUSH1 0x60 00002750: DUP3 00002751: SELFBALANCE 00002752: LT 00002753: ISZERO 00002754: PUSH2 0x27df 00002757: JUMPI 00002758: PUSH1 0x40 0000275a: MLOAD 0000275b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000277c: DUP2 0000277d: MSTORE 0000277e: PUSH1 0x20 00002780: PUSH1 0x04 00002782: DUP3 00002783: ADD 00002784: MSTORE 00002785: PUSH1 0x26 00002787: PUSH1 0x24 00002789: DUP3 0000278a: ADD 0000278b: MSTORE 0000278c: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f 000027ad: PUSH1 0x44 000027af: DUP3 000027b0: ADD 000027b1: MSTORE 000027b2: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000 000027d3: PUSH1 0x64 000027d5: DUP3 000027d6: ADD 000027d7: MSTORE 000027d8: PUSH1 0x84 000027da: ADD 000027db: PUSH2 0x06f1 000027de: JUMP 000027df: JUMPDEST 000027e0: DUP5 000027e1: EXTCODESIZE 000027e2: PUSH2 0x2847 000027e5: JUMPI 000027e6: PUSH1 0x40 000027e8: MLOAD 000027e9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000280a: DUP2 0000280b: MSTORE 0000280c: PUSH1 0x20 0000280e: PUSH1 0x04 00002810: DUP3 00002811: ADD 00002812: MSTORE 00002813: PUSH1 0x1d 00002815: PUSH1 0x24 00002817: DUP3 00002818: ADD 00002819: MSTORE 0000281a: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 0000283b: PUSH1 0x44 0000283d: DUP3 0000283e: ADD 0000283f: MSTORE 00002840: PUSH1 0x64 00002842: ADD 00002843: PUSH2 0x06f1 00002846: JUMP 00002847: JUMPDEST 00002848: PUSH1 0x00 0000284a: DUP1 0000284b: DUP7 0000284c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002861: AND 00002862: DUP6 00002863: DUP8 00002864: PUSH1 0x40 00002866: MLOAD 00002867: PUSH2 0x2870 0000286a: SWAP2 0000286b: SWAP1 0000286c: PUSH2 0x2bc6 0000286f: JUMP 00002870: JUMPDEST 00002871: PUSH1 0x00 00002873: PUSH1 0x40 00002875: MLOAD 00002876: DUP1 00002877: DUP4 00002878: SUB 00002879: DUP2 0000287a: DUP6 0000287b: DUP8 0000287c: GAS 0000287d: CALL 0000287e: SWAP3 0000287f: POP 00002880: POP 00002881: POP 00002882: RETURNDATASIZE 00002883: DUP1 00002884: PUSH1 0x00 00002886: DUP2 00002887: EQ 00002888: PUSH2 0x28ad 0000288b: JUMPI 0000288c: PUSH1 0x40 0000288e: MLOAD 0000288f: SWAP2 00002890: POP 00002891: PUSH1 0x1f 00002893: NOT 00002894: PUSH1 0x3f 00002896: RETURNDATASIZE 00002897: ADD 00002898: AND 00002899: DUP3 0000289a: ADD 0000289b: PUSH1 0x40 0000289d: MSTORE 0000289e: RETURNDATASIZE 0000289f: DUP3 000028a0: MSTORE 000028a1: RETURNDATASIZE 000028a2: PUSH1 0x00 000028a4: PUSH1 0x20 000028a6: DUP5 000028a7: ADD 000028a8: RETURNDATACOPY 000028a9: PUSH2 0x28b2 000028ac: JUMP 000028ad: JUMPDEST 000028ae: PUSH1 0x60 000028b0: SWAP2 000028b1: POP 000028b2: JUMPDEST 000028b3: POP 000028b4: SWAP2 000028b5: POP 000028b6: SWAP2 000028b7: POP 000028b8: PUSH2 0x28c2 000028bb: DUP3 000028bc: DUP3 000028bd: DUP7 000028be: PUSH2 0x28cd 000028c1: JUMP 000028c2: JUMPDEST 000028c3: SWAP8 000028c4: SWAP7 000028c5: POP 000028c6: POP 000028c7: POP 000028c8: POP 000028c9: POP 000028ca: POP 000028cb: POP 000028cc: JUMP 000028cd: JUMPDEST 000028ce: PUSH1 0x60 000028d0: DUP4 000028d1: ISZERO 000028d2: PUSH2 0x28dc 000028d5: JUMPI 000028d6: POP 000028d7: DUP2 000028d8: PUSH2 0x20f7 000028db: JUMP 000028dc: JUMPDEST 000028dd: DUP3 000028de: MLOAD 000028df: ISZERO 000028e0: PUSH2 0x28ec 000028e3: JUMPI 000028e4: DUP3 000028e5: MLOAD 000028e6: DUP1 000028e7: DUP5 000028e8: PUSH1 0x20 000028ea: ADD 000028eb: REVERT 000028ec: JUMPDEST 000028ed: DUP2 000028ee: PUSH1 0x40 000028f0: MLOAD 000028f1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002912: DUP2 00002913: MSTORE 00002914: PUSH1 0x04 00002916: ADD 00002917: PUSH2 0x06f1 0000291a: SWAP2 0000291b: SWAP1 0000291c: PUSH2 0x2c63 0000291f: JUMP 00002920: JUMPDEST 00002921: PUSH1 0x40 00002923: MLOAD 00002924: DUP1 00002925: PUSH1 0xa0 00002927: ADD 00002928: PUSH1 0x40 0000292a: MSTORE 0000292b: DUP1 0000292c: PUSH1 0x00 0000292e: DUP2 0000292f: MSTORE 00002930: PUSH1 0x20 00002932: ADD 00002933: PUSH1 0x00 00002935: DUP2 00002936: MSTORE 00002937: PUSH1 0x20 00002939: ADD 0000293a: PUSH2 0x2981 0000293d: PUSH1 0x40 0000293f: MLOAD 00002940: DUP1 00002941: PUSH1 0xa0 00002943: ADD 00002944: PUSH1 0x40 00002946: MSTORE 00002947: DUP1 00002948: PUSH1 0x00 0000294a: DUP2 0000294b: MSTORE 0000294c: PUSH1 0x20 0000294e: ADD 0000294f: PUSH1 0x00 00002951: DUP2 00002952: MSTORE 00002953: PUSH1 0x20 00002955: ADD 00002956: PUSH1 0x00 00002958: DUP2 00002959: MSTORE 0000295a: PUSH1 0x20 0000295c: ADD 0000295d: PUSH1 0x00 0000295f: DUP2 00002960: MSTORE 00002961: PUSH1 0x20 00002963: ADD 00002964: PUSH1 0x00 00002966: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000297b: AND 0000297c: DUP2 0000297d: MSTORE 0000297e: POP 0000297f: SWAP1 00002980: JUMP 00002981: JUMPDEST 00002982: DUP2 00002983: MSTORE 00002984: PUSH1 0x20 00002986: ADD 00002987: PUSH1 0x00 00002989: DUP2 0000298a: MSTORE 0000298b: PUSH1 0x20 0000298d: ADD 0000298e: PUSH1 0x00 00002990: DUP2 00002991: MSTORE 00002992: POP 00002993: SWAP1 00002994: JUMP 00002995: JUMPDEST 00002996: PUSH1 0x00 00002998: PUSH1 0x20 0000299a: DUP3 0000299b: DUP5 0000299c: SUB 0000299d: SLT 0000299e: ISZERO 0000299f: PUSH2 0x29a7 000029a2: JUMPI 000029a3: PUSH1 0x00 000029a5: DUP1 000029a6: REVERT 000029a7: JUMPDEST 000029a8: DUP2 000029a9: MLOAD 000029aa: PUSH2 0x20f7 000029ad: DUP2 000029ae: PUSH2 0x2f5f 000029b1: JUMP 000029b2: JUMPDEST 000029b3: PUSH1 0x00 000029b5: DUP1 000029b6: PUSH1 0x00 000029b8: PUSH1 0x60 000029ba: DUP5 000029bb: DUP7 000029bc: SUB 000029bd: SLT 000029be: ISZERO 000029bf: PUSH2 0x29c7 000029c2: JUMPI 000029c3: PUSH1 0x00 000029c5: DUP1 000029c6: REVERT 000029c7: JUMPDEST 000029c8: DUP4 000029c9: CALLDATALOAD 000029ca: PUSH2 0x29d2 000029cd: DUP2 000029ce: PUSH2 0x2f5f 000029d1: JUMP 000029d2: JUMPDEST 000029d3: SWAP3 000029d4: POP 000029d5: PUSH1 0x20 000029d7: DUP5 000029d8: ADD 000029d9: CALLDATALOAD 000029da: PUSH2 0x29e2 000029dd: DUP2 000029de: PUSH2 0x2f5f 000029e1: JUMP 000029e2: JUMPDEST 000029e3: SWAP3 000029e4: SWAP6 000029e5: SWAP3 000029e6: SWAP5 000029e7: POP 000029e8: POP 000029e9: POP 000029ea: PUSH1 0x40 000029ec: SWAP2 000029ed: SWAP1 000029ee: SWAP2 000029ef: ADD 000029f0: CALLDATALOAD 000029f1: SWAP1 000029f2: JUMP 000029f3: JUMPDEST 000029f4: PUSH1 0x00 000029f6: PUSH1 0x20 000029f8: DUP3 000029f9: DUP5 000029fa: SUB 000029fb: SLT 000029fc: ISZERO 000029fd: PUSH2 0x2a05 00002a00: JUMPI 00002a01: PUSH1 0x00 00002a03: DUP1 00002a04: REVERT 00002a05: JUMPDEST 00002a06: DUP2 00002a07: MLOAD 00002a08: DUP1 00002a09: ISZERO 00002a0a: ISZERO 00002a0b: DUP2 00002a0c: EQ 00002a0d: PUSH2 0x20f7 00002a10: JUMPI 00002a11: PUSH1 0x00 00002a13: DUP1 00002a14: REVERT 00002a15: JUMPDEST 00002a16: PUSH1 0x00 00002a18: PUSH1 0x20 00002a1a: DUP3 00002a1b: DUP5 00002a1c: SUB 00002a1d: SLT 00002a1e: ISZERO 00002a1f: PUSH2 0x2a27 00002a22: JUMPI 00002a23: PUSH1 0x00 00002a25: DUP1 00002a26: REVERT 00002a27: JUMPDEST 00002a28: POP 00002a29: CALLDATALOAD 00002a2a: SWAP2 00002a2b: SWAP1 00002a2c: POP 00002a2d: JUMP 00002a2e: JUMPDEST 00002a2f: PUSH1 0x00 00002a31: DUP1 00002a32: PUSH1 0x40 00002a34: DUP4 00002a35: DUP6 00002a36: SUB 00002a37: SLT 00002a38: ISZERO 00002a39: PUSH2 0x2a41 00002a3c: JUMPI 00002a3d: PUSH1 0x00 00002a3f: DUP1 00002a40: REVERT 00002a41: JUMPDEST 00002a42: DUP3 00002a43: CALLDATALOAD 00002a44: SWAP2 00002a45: POP 00002a46: PUSH1 0x20 00002a48: DUP4 00002a49: ADD 00002a4a: CALLDATALOAD 00002a4b: PUSH2 0x2a53 00002a4e: DUP2 00002a4f: PUSH2 0x2f5f 00002a52: JUMP 00002a53: JUMPDEST 00002a54: DUP1 00002a55: SWAP2 00002a56: POP 00002a57: POP 00002a58: SWAP3 00002a59: POP 00002a5a: SWAP3 00002a5b: SWAP1 00002a5c: POP 00002a5d: JUMP 00002a5e: JUMPDEST 00002a5f: PUSH1 0x00 00002a61: PUSH1 0x20 00002a63: DUP3 00002a64: DUP5 00002a65: SUB 00002a66: SLT 00002a67: ISZERO 00002a68: PUSH2 0x2a70 00002a6b: JUMPI 00002a6c: PUSH1 0x00 00002a6e: DUP1 00002a6f: REVERT 00002a70: JUMPDEST 00002a71: DUP2 00002a72: CALLDATALOAD 00002a73: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00002a94: DUP2 00002a95: AND 00002a96: DUP2 00002a97: EQ 00002a98: PUSH2 0x20f7 00002a9b: JUMPI 00002a9c: PUSH1 0x00 00002a9e: DUP1 00002a9f: REVERT 00002aa0: JUMPDEST 00002aa1: PUSH1 0x00 00002aa3: PUSH1 0x20 00002aa5: DUP3 00002aa6: DUP5 00002aa7: SUB 00002aa8: SLT 00002aa9: ISZERO 00002aaa: PUSH2 0x2ab2 00002aad: JUMPI 00002aae: PUSH1 0x00 00002ab0: DUP1 00002ab1: REVERT 00002ab2: JUMPDEST 00002ab3: DUP2 00002ab4: CALLDATALOAD 00002ab5: PUSH2 0x20f7 00002ab8: DUP2 00002ab9: PUSH2 0x2f5f 00002abc: JUMP 00002abd: JUMPDEST 00002abe: PUSH1 0x00 00002ac0: PUSH1 0xa0 00002ac2: DUP3 00002ac3: DUP5 00002ac4: SUB 00002ac5: SLT 00002ac6: ISZERO 00002ac7: PUSH2 0x2acf 00002aca: JUMPI 00002acb: PUSH1 0x00 00002acd: DUP1 00002ace: REVERT 00002acf: JUMPDEST 00002ad0: POP 00002ad1: SWAP2 00002ad2: SWAP1 00002ad3: POP 00002ad4: JUMP 00002ad5: JUMPDEST 00002ad6: PUSH1 0x00 00002ad8: PUSH1 0xa0 00002ada: DUP3 00002adb: DUP5 00002adc: SUB 00002add: SLT 00002ade: ISZERO 00002adf: PUSH2 0x2ae7 00002ae2: JUMPI 00002ae3: PUSH1 0x00 00002ae5: DUP1 00002ae6: REVERT 00002ae7: JUMPDEST 00002ae8: PUSH1 0x40 00002aea: MLOAD 00002aeb: PUSH1 0xa0 00002aed: DUP2 00002aee: ADD 00002aef: DUP2 00002af0: DUP2 00002af1: LT 00002af2: PUSH8 0xffffffffffffffff 00002afb: DUP3 00002afc: GT 00002afd: OR 00002afe: ISZERO 00002aff: PUSH2 0x2b31 00002b02: JUMPI 00002b03: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002b24: PUSH1 0x00 00002b26: MSTORE 00002b27: PUSH1 0x41 00002b29: PUSH1 0x04 00002b2b: MSTORE 00002b2c: PUSH1 0x24 00002b2e: PUSH1 0x00 00002b30: REVERT 00002b31: JUMPDEST 00002b32: DUP1 00002b33: PUSH1 0x40 00002b35: MSTORE 00002b36: POP 00002b37: DUP3 00002b38: CALLDATALOAD 00002b39: DUP2 00002b3a: MSTORE 00002b3b: PUSH1 0x20 00002b3d: DUP4 00002b3e: ADD 00002b3f: CALLDATALOAD 00002b40: PUSH1 0x20 00002b42: DUP3 00002b43: ADD 00002b44: MSTORE 00002b45: PUSH1 0x40 00002b47: DUP4 00002b48: ADD 00002b49: CALLDATALOAD 00002b4a: PUSH1 0x40 00002b4c: DUP3 00002b4d: ADD 00002b4e: MSTORE 00002b4f: PUSH1 0x60 00002b51: DUP4 00002b52: ADD 00002b53: CALLDATALOAD 00002b54: PUSH1 0x60 00002b56: DUP3 00002b57: ADD 00002b58: MSTORE 00002b59: PUSH1 0x80 00002b5b: DUP4 00002b5c: ADD 00002b5d: CALLDATALOAD 00002b5e: PUSH2 0x2b66 00002b61: DUP2 00002b62: PUSH2 0x2f5f 00002b65: JUMP 00002b66: JUMPDEST 00002b67: PUSH1 0x80 00002b69: DUP3 00002b6a: ADD 00002b6b: MSTORE 00002b6c: SWAP4 00002b6d: SWAP3 00002b6e: POP 00002b6f: POP 00002b70: POP 00002b71: JUMP 00002b72: JUMPDEST 00002b73: PUSH1 0x00 00002b75: PUSH1 0x20 00002b77: DUP3 00002b78: DUP5 00002b79: SUB 00002b7a: SLT 00002b7b: ISZERO 00002b7c: PUSH2 0x2b84 00002b7f: JUMPI 00002b80: PUSH1 0x00 00002b82: DUP1 00002b83: REVERT 00002b84: JUMPDEST 00002b85: POP 00002b86: MLOAD 00002b87: SWAP2 00002b88: SWAP1 00002b89: POP 00002b8a: JUMP 00002b8b: JUMPDEST 00002b8c: PUSH1 0x05 00002b8e: DUP2 00002b8f: LT 00002b90: PUSH2 0x2bc2 00002b93: JUMPI 00002b94: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002bb5: PUSH1 0x00 00002bb7: MSTORE 00002bb8: PUSH1 0x21 00002bba: PUSH1 0x04 00002bbc: MSTORE 00002bbd: PUSH1 0x24 00002bbf: PUSH1 0x00 00002bc1: REVERT 00002bc2: JUMPDEST 00002bc3: SWAP1 00002bc4: MSTORE 00002bc5: JUMP 00002bc6: JUMPDEST 00002bc7: PUSH1 0x00 00002bc9: DUP3 00002bca: MLOAD 00002bcb: PUSH2 0x2bd8 00002bce: DUP2 00002bcf: DUP5 00002bd0: PUSH1 0x20 00002bd2: DUP8 00002bd3: ADD 00002bd4: PUSH2 0x2e42 00002bd7: JUMP 00002bd8: JUMPDEST 00002bd9: SWAP2 00002bda: SWAP1 00002bdb: SWAP2 00002bdc: ADD 00002bdd: SWAP3 00002bde: SWAP2 00002bdf: POP 00002be0: POP 00002be1: JUMP 00002be2: JUMPDEST 00002be3: PUSH32 0x416363657373436f6e74726f6c3a206163636f756e7420000000000000000000 00002c04: DUP2 00002c05: MSTORE 00002c06: PUSH1 0x00 00002c08: DUP4 00002c09: MLOAD 00002c0a: PUSH2 0x2c1a 00002c0d: DUP2 00002c0e: PUSH1 0x17 00002c10: DUP6 00002c11: ADD 00002c12: PUSH1 0x20 00002c14: DUP9 00002c15: ADD 00002c16: PUSH2 0x2e42 00002c19: JUMP 00002c1a: JUMPDEST 00002c1b: PUSH32 0x206973206d697373696e6720726f6c6520000000000000000000000000000000 00002c3c: PUSH1 0x17 00002c3e: SWAP2 00002c3f: DUP5 00002c40: ADD 00002c41: SWAP2 00002c42: DUP3 00002c43: ADD 00002c44: MSTORE 00002c45: DUP4 00002c46: MLOAD 00002c47: PUSH2 0x2c57 00002c4a: DUP2 00002c4b: PUSH1 0x28 00002c4d: DUP5 00002c4e: ADD 00002c4f: PUSH1 0x20 00002c51: DUP9 00002c52: ADD 00002c53: PUSH2 0x2e42 00002c56: JUMP 00002c57: JUMPDEST 00002c58: ADD 00002c59: PUSH1 0x28 00002c5b: ADD 00002c5c: SWAP5 00002c5d: SWAP4 00002c5e: POP 00002c5f: POP 00002c60: POP 00002c61: POP 00002c62: JUMP 00002c63: JUMPDEST 00002c64: PUSH1 0x20 00002c66: DUP2 00002c67: MSTORE 00002c68: PUSH1 0x00 00002c6a: DUP3 00002c6b: MLOAD 00002c6c: DUP1 00002c6d: PUSH1 0x20 00002c6f: DUP5 00002c70: ADD 00002c71: MSTORE 00002c72: PUSH2 0x2c82 00002c75: DUP2 00002c76: PUSH1 0x40 00002c78: DUP6 00002c79: ADD 00002c7a: PUSH1 0x20 00002c7c: DUP8 00002c7d: ADD 00002c7e: PUSH2 0x2e42 00002c81: JUMP 00002c82: JUMPDEST 00002c83: PUSH1 0x1f 00002c85: ADD 00002c86: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00002ca7: AND 00002ca8: SWAP2 00002ca9: SWAP1 00002caa: SWAP2 00002cab: ADD 00002cac: PUSH1 0x40 00002cae: ADD 00002caf: SWAP3 00002cb0: SWAP2 00002cb1: POP 00002cb2: POP 00002cb3: JUMP 00002cb4: JUMPDEST 00002cb5: PUSH1 0x00 00002cb7: PUSH2 0x0120 00002cba: DUP3 00002cbb: ADD 00002cbc: SWAP1 00002cbd: POP 00002cbe: DUP3 00002cbf: MLOAD 00002cc0: DUP3 00002cc1: MSTORE 00002cc2: PUSH1 0x20 00002cc4: DUP4 00002cc5: ADD 00002cc6: MLOAD 00002cc7: PUSH1 0x20 00002cc9: DUP4 00002cca: ADD 00002ccb: MSTORE 00002ccc: PUSH1 0x40 00002cce: DUP4 00002ccf: ADD 00002cd0: MLOAD 00002cd1: DUP1 00002cd2: MLOAD 00002cd3: PUSH1 0x40 00002cd5: DUP5 00002cd6: ADD 00002cd7: MSTORE 00002cd8: PUSH1 0x20 00002cda: DUP2 00002cdb: ADD 00002cdc: MLOAD 00002cdd: PUSH1 0x60 00002cdf: DUP5 00002ce0: ADD 00002ce1: MSTORE 00002ce2: PUSH1 0x40 00002ce4: DUP2 00002ce5: ADD 00002ce6: MLOAD 00002ce7: PUSH1 0x80 00002ce9: DUP5 00002cea: ADD 00002ceb: MSTORE 00002cec: PUSH1 0x60 00002cee: DUP2 00002cef: ADD 00002cf0: MLOAD 00002cf1: PUSH1 0xa0 00002cf3: DUP5 00002cf4: ADD 00002cf5: MSTORE 00002cf6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d0b: PUSH1 0x80 00002d0d: DUP3 00002d0e: ADD 00002d0f: MLOAD 00002d10: AND 00002d11: PUSH1 0xc0 00002d13: DUP5 00002d14: ADD 00002d15: MSTORE 00002d16: POP 00002d17: PUSH1 0x60 00002d19: DUP4 00002d1a: ADD 00002d1b: MLOAD 00002d1c: PUSH2 0x2d28 00002d1f: PUSH1 0xe0 00002d21: DUP5 00002d22: ADD 00002d23: DUP3 00002d24: PUSH2 0x2b8b 00002d27: JUMP 00002d28: JUMPDEST 00002d29: POP 00002d2a: PUSH1 0x80 00002d2c: DUP4 00002d2d: ADD 00002d2e: MLOAD 00002d2f: PUSH2 0x0100 00002d32: DUP4 00002d33: ADD 00002d34: MSTORE 00002d35: SWAP3 00002d36: SWAP2 00002d37: POP 00002d38: POP 00002d39: JUMP 00002d3a: JUMPDEST 00002d3b: PUSH1 0x00 00002d3d: PUSH1 0xc0 00002d3f: DUP3 00002d40: ADD 00002d41: SWAP1 00002d42: POP 00002d43: DUP4 00002d44: CALLDATALOAD 00002d45: DUP3 00002d46: MSTORE 00002d47: PUSH1 0x20 00002d49: DUP5 00002d4a: ADD 00002d4b: CALLDATALOAD 00002d4c: PUSH1 0x20 00002d4e: DUP4 00002d4f: ADD 00002d50: MSTORE 00002d51: PUSH1 0x40 00002d53: DUP5 00002d54: ADD 00002d55: CALLDATALOAD 00002d56: PUSH1 0x40 00002d58: DUP4 00002d59: ADD 00002d5a: MSTORE 00002d5b: PUSH1 0x60 00002d5d: DUP5 00002d5e: ADD 00002d5f: CALLDATALOAD 00002d60: PUSH1 0x60 00002d62: DUP4 00002d63: ADD 00002d64: MSTORE 00002d65: PUSH1 0x80 00002d67: DUP5 00002d68: ADD 00002d69: CALLDATALOAD 00002d6a: PUSH2 0x2d72 00002d6d: DUP2 00002d6e: PUSH2 0x2f5f 00002d71: JUMP 00002d72: JUMPDEST 00002d73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d88: AND 00002d89: PUSH1 0x80 00002d8b: DUP4 00002d8c: ADD 00002d8d: MSTORE 00002d8e: PUSH1 0xa0 00002d90: SWAP1 00002d91: SWAP2 00002d92: ADD 00002d93: SWAP2 00002d94: SWAP1 00002d95: SWAP2 00002d96: MSTORE 00002d97: SWAP2 00002d98: SWAP1 00002d99: POP 00002d9a: JUMP 00002d9b: JUMPDEST 00002d9c: PUSH1 0x00 00002d9e: DUP3 00002d9f: NOT 00002da0: DUP3 00002da1: GT 00002da2: ISZERO 00002da3: PUSH2 0x2dae 00002da6: JUMPI 00002da7: PUSH2 0x2dae 00002daa: PUSH2 0x2ea3 00002dad: JUMP 00002dae: JUMPDEST 00002daf: POP 00002db0: ADD 00002db1: SWAP1 00002db2: JUMP 00002db3: JUMPDEST 00002db4: PUSH1 0x00 00002db6: DUP3 00002db7: PUSH2 0x2de9 00002dba: JUMPI 00002dbb: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002ddc: PUSH1 0x00 00002dde: MSTORE 00002ddf: PUSH1 0x12 00002de1: PUSH1 0x04 00002de3: MSTORE 00002de4: PUSH1 0x24 00002de6: PUSH1 0x00 00002de8: REVERT 00002de9: JUMPDEST 00002dea: POP 00002deb: DIV 00002dec: SWAP1 00002ded: JUMP 00002dee: JUMPDEST 00002def: PUSH1 0x00 00002df1: DUP2 00002df2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00002e13: DIV 00002e14: DUP4 00002e15: GT 00002e16: DUP3 00002e17: ISZERO 00002e18: ISZERO 00002e19: AND 00002e1a: ISZERO 00002e1b: PUSH2 0x2e26 00002e1e: JUMPI 00002e1f: PUSH2 0x2e26 00002e22: PUSH2 0x2ea3 00002e25: JUMP 00002e26: JUMPDEST 00002e27: POP 00002e28: MUL 00002e29: SWAP1 00002e2a: JUMP 00002e2b: JUMPDEST 00002e2c: PUSH1 0x00 00002e2e: DUP3 00002e2f: DUP3 00002e30: LT 00002e31: ISZERO 00002e32: PUSH2 0x2e3d 00002e35: JUMPI 00002e36: PUSH2 0x2e3d 00002e39: PUSH2 0x2ea3 00002e3c: JUMP 00002e3d: JUMPDEST 00002e3e: POP 00002e3f: SUB 00002e40: SWAP1 00002e41: JUMP 00002e42: JUMPDEST 00002e43: PUSH1 0x00 00002e45: JUMPDEST 00002e46: DUP4 00002e47: DUP2 00002e48: LT 00002e49: ISZERO 00002e4a: PUSH2 0x2e5d 00002e4d: JUMPI 00002e4e: DUP2 00002e4f: DUP2 00002e50: ADD 00002e51: MLOAD 00002e52: DUP4 00002e53: DUP3 00002e54: ADD 00002e55: MSTORE 00002e56: PUSH1 0x20 00002e58: ADD 00002e59: PUSH2 0x2e45 00002e5c: JUMP 00002e5d: JUMPDEST 00002e5e: DUP4 00002e5f: DUP2 00002e60: GT 00002e61: ISZERO 00002e62: PUSH2 0x215c 00002e65: JUMPI 00002e66: POP 00002e67: POP 00002e68: PUSH1 0x00 00002e6a: SWAP2 00002e6b: ADD 00002e6c: MSTORE 00002e6d: JUMP 00002e6e: JUMPDEST 00002e6f: PUSH1 0x00 00002e71: DUP2 00002e72: PUSH2 0x2e7d 00002e75: JUMPI 00002e76: PUSH2 0x2e7d 00002e79: PUSH2 0x2ea3 00002e7c: JUMP 00002e7d: JUMPDEST 00002e7e: POP 00002e7f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00002ea0: ADD 00002ea1: SWAP1 00002ea2: JUMP 00002ea3: JUMPDEST 00002ea4: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002ec5: PUSH1 0x00 00002ec7: MSTORE 00002ec8: PUSH1 0x11 00002eca: PUSH1 0x04 00002ecc: MSTORE 00002ecd: PUSH1 0x24 00002ecf: PUSH1 0x00 00002ed1: REVERT 00002ed2: JUMPDEST 00002ed3: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002ef4: PUSH1 0x00 00002ef6: MSTORE 00002ef7: PUSH1 0x21 00002ef9: PUSH1 0x04 00002efb: MSTORE 00002efc: PUSH1 0x24 00002efe: PUSH1 0x00 00002f00: REVERT 00002f01: JUMPDEST 00002f02: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002f23: PUSH1 0x00 00002f25: MSTORE 00002f26: PUSH1 0x32 00002f28: PUSH1 0x04 00002f2a: MSTORE 00002f2b: PUSH1 0x24 00002f2d: PUSH1 0x00 00002f2f: REVERT 00002f30: JUMPDEST 00002f31: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00002f52: PUSH1 0x00 00002f54: MSTORE 00002f55: PUSH1 0x41 00002f57: PUSH1 0x04 00002f59: MSTORE 00002f5a: PUSH1 0x24 00002f5c: PUSH1 0x00 00002f5e: REVERT 00002f5f: JUMPDEST 00002f60: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002f75: DUP2 00002f76: AND 00002f77: DUP2 00002f78: EQ 00002f79: PUSH2 0x12bf 00002f7c: JUMPI 00002f7d: PUSH1 0x00 00002f7f: DUP1 00002f80: REVERT 00002f81: INVALID 00002f82: LOG1 00002f83: PUSH5 0x736f6c6343 00002f89: STOP 00002f8a: ADDMOD 00002f8b: SDIV 00002f8c: STOP 00002f8d: EXP
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x95ddd82bc58c390638770601adc1d51371a25aa7c0ee59806cc3aedb9577bf2f
call_targets:
0x606e4a441290314aeaf494194467fd2bb844064a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x95ddd82bc58c390638770601adc1d51371a25aa7c0ee59806cc3aedb9577bf2f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x606e4a441290314aeaf494194467fd2bb844064a"
],
"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": "0xe2684747",
"selector": "0xe2684747",
"calldata_variants": [
"0xe2684747",
"0xe26847470000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf93554ae",
"selector": "0xf93554ae",
"calldata_variants": [
"0xf93554ae",
"0xf93554ae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xff7aab80",
"selector": "0xff7aab80",
"calldata_variants": [
"0xff7aab80",
"0xff7aab800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb2016bd4",
"selector": "0xb2016bd4",
"calldata_variants": [
"0xb2016bd4",
"0xb2016bd40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf848f81",
"selector": "0xbf848f81",
"calldata_variants": [
"0xbf848f81",
"0xbf848f810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa125142b",
"selector": "0xa125142b",
"calldata_variants": [
"0xa125142b",
"0xa125142b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa217fddf",
"selector": "0xa217fddf",
"calldata_variants": [
"0xa217fddf",
"0xa217fddf0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2831,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2971,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3168,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 10,
"guards_detected": []
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x95ddd82bc58c390638770601adc1d51371a25aa7c0ee59806cc3aedb9577bf2f
call_targets:
0x606e4a441290314aeaf494194467fd2bb844064a
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x95ddd82bc58c390638770601adc1d51371a25aa7c0ee59806cc3aedb9577bf2f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x606e4a441290314aeaf494194467fd2bb844064a"
],
"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": "0xe2684747",
"selector": "0xe2684747",
"calldata_variants": [
"0xe2684747",
"0xe26847470000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf93554ae",
"selector": "0xf93554ae",
"calldata_variants": [
"0xf93554ae",
"0xf93554ae0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xff7aab80",
"selector": "0xff7aab80",
"calldata_variants": [
"0xff7aab80",
"0xff7aab800000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xb2016bd4",
"selector": "0xb2016bd4",
"calldata_variants": [
"0xb2016bd4",
"0xb2016bd40000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xbf848f81",
"selector": "0xbf848f81",
"calldata_variants": [
"0xbf848f81",
"0xbf848f810000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd547741f",
"selector": "0xd547741f",
"calldata_variants": [
"0xd547741f",
"0xd547741f0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa125142b",
"selector": "0xa125142b",
"calldata_variants": [
"0xa125142b",
"0xa125142b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xa217fddf",
"selector": "0xa217fddf",
"calldata_variants": [
"0xa217fddf",
"0xa217fddf0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2831,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2971,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3168,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 10,
"guards_detected": [],
"untrusted_call_count": 10
}
|
| info | other | cast | Heavy EXTCODE*/BALANCE usage | 55 | no | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 15
}
|
| info | other | cast | Heavy CALL-family usage | 55 | no | — |
viewevidence_json{
"notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
"call_family_count": 15
}
|