019c0eab-751d-710b-a0ed-2dd3476bcc5f
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 |
|---|---|---|---|---|
| 42401 | artifact.fetch | complete | 1 / 3 | 2 months ago |
| 42402 | proxy.resolve | complete | 1 / 3 | 2 months ago |
| 42403 | tool.cast_disasm | complete | 1 / 3 | 2 months ago |
| 42404 | analysis.bundle | complete | 1 / 3 | 2 months ago |
| 42405 | capability.graph | complete | 1 / 3 | 2 months ago |
| 42406 | detector.run | complete | 1 / 3 | 2 months ago |
| 42407 | validation.fork | complete | 1 / 3 | 2 months ago |
| 42500 | report.consolidate | complete | 1 / 6 | 2 months ago |
{
"status": "not_proxy"
}
No slither job recorded yet.
{"no_findings":false,"summary":"One upgradeability footgun: an uninitialized proxy can be claimed by any caller via initialize.","findings":[{"severity":"low","category":"upgradeability","title":"Uninitialized proxy can be taken over via public initialize","exploit_scenario":"If a proxy is deployed without calling initialize in the same transaction, any external caller can invoke initialize and set themselves as owner, minting the genesis shard to themselves and gaining full control over token URI delegate and shard operations.","recommendation":"Ensure proxy deployment always calls initialize atomically (e.g., via constructor data or deploy-and-call pattern). Consider adding an initializer access pattern (e.g., onlyProxy + initializer with deployer-set admin) or a factory that initializes immediately.","evidence":"initialize is external and only protected by initializer; no access control is enforced before _transferOwnership.","locations":["contracts/Shardwallet.sol:117"]}]}
OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-ml5mmf4z
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019c0fc8-cb4f-76f1-ac5c-bd210af949f7
--------
user
You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
Scope rules:
- You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party Solidity sources in this workspace.
- Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
- If there are only dependency files and no first-party sources, set no_findings=true and explain in summary.
Output MUST be valid JSON matching the provided schema.
- If you find nothing meaningful: set no_findings=true and findings=[].
- Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
Output constraints (IMPORTANT):
- severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
- category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
Keep summary short and concrete.
mcp startup: no servers
exec
/bin/bash -lc 'cat /tmp/codex-ml5mmf4z/AUDIT_BUNDLE.txt' in /tmp/codex-ml5mmf4z succeeded in 9ms:
This file concatenates the full contents of first-party Solidity sources for auditing.
Do not treat dependency code under lib/ or @openzeppelin/ as first-party.
================================================================================
FILE: contracts/ERC721TokenUriDelegate.sol
================================================================================
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.0;
import "@openzeppelin/contracts/access/Ownable.sol";
import "@openzeppelin/contracts/token/ERC721/ERC721.sol";
import "./ITokenUriDelegate.sol";
abstract contract ERC721TokenUriDelegate is ERC721, Ownable {
ITokenUriDelegate private tokenUriDelegate_;
function setTokenUriDelegate(ITokenUriDelegate delegate) public onlyOwner {
tokenUriDelegate_ = delegate;
}
exec
/bin/bash -lc "nl -ba /tmp/codex-ml5mmf4z/contracts/Shardwallet.sol | sed -n '90,170p'" in /tmp/codex-ml5mmf4z succeeded in 7ms:
90
91 mapping(IERC20 => uint256) distributed_;
92
93 string name_;
94 string symbol_;
95
96 /// Emitted when the given parent shards are reforged into one or more
97 /// children with a new distribution of shares.
98 event Reforging(
99 uint256[] parents,
100 uint256 firstChildId,
101 uint24[] childrenSharesMicros
102 );
103
104 /// Emitted when a shardbearer claims revenues for a given currency. This
105 /// event is emitted even when the `amount` is zero (though in that case no
106 /// call to transfer ether or ERC-20s will actually be made).
107 event Claim(
108 uint256 indexed tokenId,
109 IERC20 indexed currency,
codex
{"no_findings":false,"summary":"One upgradeability footgun: an uninitialized proxy can be claimed by any caller via initialize.","findings":[{"severity":"low","category":"upgradeability","title":"Uninitialized proxy can be taken over via public initialize","exploit_scenario":"If a proxy is deployed without calling initialize in the same transaction, any external caller can invoke initialize and set themselves as owner, minting the genesis shard to themselves and gaining full control over token URI delegate and shard operations.","recommendation":"Ensure proxy deployment always calls initialize atomically (e.g., via constructor data or deploy-and-call pattern). Consider adding an initializer access pattern (e.g., onlyProxy + initializer with deployer-set admin) or a factory that initializes immediately.","evidence":"initialize is external and only protected by initializer; no access control is enforced before _transferOwnership.","locations":["contracts/Shardwallet.sol:117"]}]}
tokens used
11,218
{
"codex": {
"ran_at": "2026-01-30T16:43:19.282373+00:00",
"returncode": 0
},
"project": {
"mode": "source",
"file_count": 17,
"import_count": 20,
"first_party_contracts_count": 3
},
"summary": "One upgradeability footgun: an uninitialized proxy can be claimed by any caller via initialize.",
"raw_final": {
"summary": "One upgradeability footgun: an uninitialized proxy can be claimed by any caller via initialize.",
"findings": [
{
"title": "Uninitialized proxy can be taken over via public initialize",
"category": "upgradeability",
"evidence": "initialize is external and only protected by initializer; no access control is enforced before _transferOwnership.",
"severity": "low",
"locations": [
"contracts/Shardwallet.sol:117"
],
"recommendation": "Ensure proxy deployment always calls initialize atomically (e.g., via constructor data or deploy-and-call pattern). Consider adding an initializer access pattern (e.g., onlyProxy + initializer with deployer-set admin) or a factory that initializes immediately.",
"exploit_scenario": "If a proxy is deployed without calling initialize in the same transaction, any external caller can invoke initialize and set themselves as owner, minting the genesis shard to themselves and gaining full control over token URI delegate and shard operations."
}
],
"no_findings": false
},
"no_findings": false,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x021d 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x6352211e 00000019: GT 0000001a: PUSH2 0x011d 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xc620c3fb 00000024: GT 00000025: PUSH2 0x00b0 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xde62d842 0000002f: GT 00000030: PUSH2 0x007f 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xef981c93 0000003a: GT 0000003b: PUSH2 0x0064 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xef981c93 00000045: EQ 00000046: PUSH2 0x075e 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x077e 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf85cfc51 0000005b: EQ 0000005c: PUSH2 0x079e 0000005f: JUMPI 00000060: PUSH1 0x00 00000062: DUP1 00000063: REVERT 00000064: JUMPDEST 00000065: DUP1 00000066: PUSH4 0xde62d842 0000006b: EQ 0000006c: PUSH2 0x06cf 0000006f: JUMPI 00000070: DUP1 00000071: PUSH4 0xe985e9c5 00000076: EQ 00000077: PUSH2 0x0708 0000007a: JUMPI 0000007b: PUSH1 0x00 0000007d: DUP1 0000007e: REVERT 0000007f: JUMPDEST 00000080: DUP1 00000081: PUSH4 0xc620c3fb 00000086: EQ 00000087: PUSH2 0x0629 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0xc87b56dd 00000091: EQ 00000092: PUSH2 0x0649 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0xdb038102 0000009c: EQ 0000009d: PUSH2 0x0669 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0xde4e61c3 000000a7: EQ 000000a8: PUSH2 0x0689 000000ab: JUMPI 000000ac: PUSH1 0x00 000000ae: DUP1 000000af: REVERT 000000b0: JUMPDEST 000000b1: DUP1 000000b2: PUSH4 0x90657147 000000b7: GT 000000b8: PUSH2 0x00ec 000000bb: JUMPI 000000bc: DUP1 000000bd: PUSH4 0x90657147 000000c2: EQ 000000c3: PUSH2 0x05b4 000000c6: JUMPI 000000c7: DUP1 000000c8: PUSH4 0x95d89b41 000000cd: EQ 000000ce: PUSH2 0x05d4 000000d1: JUMPI 000000d2: DUP1 000000d3: PUSH4 0xa22cb465 000000d8: EQ 000000d9: PUSH2 0x05e9 000000dc: JUMPI 000000dd: DUP1 000000de: PUSH4 0xb88d4fde 000000e3: EQ 000000e4: PUSH2 0x0609 000000e7: JUMPI 000000e8: PUSH1 0x00 000000ea: DUP1 000000eb: REVERT 000000ec: JUMPDEST 000000ed: DUP1 000000ee: PUSH4 0x6352211e 000000f3: EQ 000000f4: PUSH2 0x0534 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x70a08231 000000fe: EQ 000000ff: PUSH2 0x0554 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0x715018a6 00000109: EQ 0000010a: PUSH2 0x0574 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0x8da5cb5b 00000114: EQ 00000115: PUSH2 0x0589 00000118: JUMPI 00000119: PUSH1 0x00 0000011b: DUP1 0000011c: REVERT 0000011d: JUMPDEST 0000011e: DUP1 0000011f: PUSH4 0x23b872dd 00000124: GT 00000125: PUSH2 0x01b0 00000128: JUMPI 00000129: DUP1 0000012a: PUSH4 0x2f745c59 0000012f: GT 00000130: PUSH2 0x017f 00000133: JUMPI 00000134: DUP1 00000135: PUSH4 0x42842e0e 0000013a: GT 0000013b: PUSH2 0x0164 0000013e: JUMPI 0000013f: DUP1 00000140: PUSH4 0x42842e0e 00000145: EQ 00000146: PUSH2 0x04c9 00000149: JUMPI 0000014a: DUP1 0000014b: PUSH4 0x4dc2d4b4 00000150: EQ 00000151: PUSH2 0x04e9 00000154: JUMPI 00000155: DUP1 00000156: PUSH4 0x4f6ccce7 0000015b: EQ 0000015c: PUSH2 0x0514 0000015f: JUMPI 00000160: PUSH1 0x00 00000162: DUP1 00000163: REVERT 00000164: JUMPDEST 00000165: DUP1 00000166: PUSH4 0x2f745c59 0000016b: EQ 0000016c: PUSH2 0x0489 0000016f: JUMPI 00000170: DUP1 00000171: PUSH4 0x32902aef 00000176: EQ 00000177: PUSH2 0x04a9 0000017a: JUMPI 0000017b: PUSH1 0x00 0000017d: DUP1 0000017e: REVERT 0000017f: JUMPDEST 00000180: DUP1 00000181: PUSH4 0x23b872dd 00000186: EQ 00000187: PUSH2 0x03d9 0000018a: JUMPI 0000018b: DUP1 0000018c: PUSH4 0x23cdb5aa 00000191: EQ 00000192: PUSH2 0x03f9 00000195: JUMPI 00000196: DUP1 00000197: PUSH4 0x242a0087 0000019c: EQ 0000019d: PUSH2 0x043c 000001a0: JUMPI 000001a1: DUP1 000001a2: PUSH4 0x29c21176 000001a7: EQ 000001a8: PUSH2 0x0469 000001ab: JUMPI 000001ac: PUSH1 0x00 000001ae: DUP1 000001af: REVERT 000001b0: JUMPDEST 000001b1: DUP1 000001b2: PUSH4 0x101b166c 000001b7: GT 000001b8: PUSH2 0x01ec 000001bb: JUMPI 000001bc: DUP1 000001bd: PUSH4 0x101b166c 000001c2: EQ 000001c3: PUSH2 0x02e7 000001c6: JUMPI 000001c7: DUP1 000001c8: PUSH4 0x15fd0691 000001cd: EQ 000001ce: PUSH2 0x0376 000001d1: JUMPI 000001d2: DUP1 000001d3: PUSH4 0x18160ddd 000001d8: EQ 000001d9: PUSH2 0x03a4 000001dc: JUMPI 000001dd: DUP1 000001de: PUSH4 0x1a20f1c2 000001e3: EQ 000001e4: PUSH2 0x03b9 000001e7: JUMPI 000001e8: PUSH1 0x00 000001ea: DUP1 000001eb: REVERT 000001ec: JUMPDEST 000001ed: DUP1 000001ee: PUSH4 0x01ffc9a7 000001f3: EQ 000001f4: PUSH2 0x0229 000001f7: JUMPI 000001f8: DUP1 000001f9: PUSH4 0x06fdde03 000001fe: EQ 000001ff: PUSH2 0x025e 00000202: JUMPI 00000203: DUP1 00000204: PUSH4 0x081812fc 00000209: EQ 0000020a: PUSH2 0x0280 0000020d: JUMPI 0000020e: DUP1 0000020f: PUSH4 0x095ea7b3 00000214: EQ 00000215: PUSH2 0x02c5 00000218: JUMPI 00000219: PUSH1 0x00 0000021b: DUP1 0000021c: REVERT 0000021d: JUMPDEST 0000021e: CALLDATASIZE 0000021f: PUSH2 0x0224 00000222: JUMPI 00000223: STOP 00000224: JUMPDEST 00000225: PUSH1 0x00 00000227: DUP1 00000228: REVERT 00000229: JUMPDEST 0000022a: CALLVALUE 0000022b: DUP1 0000022c: ISZERO 0000022d: PUSH2 0x0235 00000230: JUMPI 00000231: PUSH1 0x00 00000233: DUP1 00000234: REVERT 00000235: JUMPDEST 00000236: POP 00000237: PUSH2 0x0249 0000023a: PUSH2 0x0244 0000023d: CALLDATASIZE 0000023e: PUSH1 0x04 00000240: PUSH2 0x3a3d 00000243: JUMP 00000244: JUMPDEST 00000245: PUSH2 0x07d5 00000248: JUMP 00000249: JUMPDEST 0000024a: PUSH1 0x40 0000024c: MLOAD 0000024d: SWAP1 0000024e: ISZERO 0000024f: ISZERO 00000250: DUP2 00000251: MSTORE 00000252: PUSH1 0x20 00000254: ADD 00000255: JUMPDEST 00000256: PUSH1 0x40 00000258: MLOAD 00000259: DUP1 0000025a: SWAP2 0000025b: SUB 0000025c: SWAP1 0000025d: RETURN 0000025e: JUMPDEST 0000025f: CALLVALUE 00000260: DUP1 00000261: ISZERO 00000262: PUSH2 0x026a 00000265: JUMPI 00000266: PUSH1 0x00 00000268: DUP1 00000269: REVERT 0000026a: JUMPDEST 0000026b: POP 0000026c: PUSH2 0x0273 0000026f: PUSH2 0x07e6 00000272: JUMP 00000273: JUMPDEST 00000274: PUSH1 0x40 00000276: MLOAD 00000277: PUSH2 0x0255 0000027a: SWAP2 0000027b: SWAP1 0000027c: PUSH2 0x3ad0 0000027f: JUMP 00000280: JUMPDEST 00000281: CALLVALUE 00000282: DUP1 00000283: ISZERO 00000284: PUSH2 0x028c 00000287: JUMPI 00000288: PUSH1 0x00 0000028a: DUP1 0000028b: REVERT 0000028c: JUMPDEST 0000028d: POP 0000028e: PUSH2 0x02a0 00000291: PUSH2 0x029b 00000294: CALLDATASIZE 00000295: PUSH1 0x04 00000297: PUSH2 0x3ae3 0000029a: JUMP 0000029b: JUMPDEST 0000029c: PUSH2 0x0878 0000029f: JUMP 000002a0: JUMPDEST 000002a1: PUSH1 0x40 000002a3: MLOAD 000002a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002b9: SWAP1 000002ba: SWAP2 000002bb: AND 000002bc: DUP2 000002bd: MSTORE 000002be: PUSH1 0x20 000002c0: ADD 000002c1: PUSH2 0x0255 000002c4: JUMP 000002c5: JUMPDEST 000002c6: CALLVALUE 000002c7: DUP1 000002c8: ISZERO 000002c9: PUSH2 0x02d1 000002cc: JUMPI 000002cd: PUSH1 0x00 000002cf: DUP1 000002d0: REVERT 000002d1: JUMPDEST 000002d2: POP 000002d3: PUSH2 0x02e5 000002d6: PUSH2 0x02e0 000002d9: CALLDATASIZE 000002da: PUSH1 0x04 000002dc: PUSH2 0x3b1e 000002df: JUMP 000002e0: JUMPDEST 000002e1: PUSH2 0x0957 000002e4: JUMP 000002e5: JUMPDEST 000002e6: STOP 000002e7: JUMPDEST 000002e8: CALLVALUE 000002e9: DUP1 000002ea: ISZERO 000002eb: PUSH2 0x02f3 000002ee: JUMPI 000002ef: PUSH1 0x00 000002f1: DUP1 000002f2: REVERT 000002f3: JUMPDEST 000002f4: POP 000002f5: PUSH2 0x0361 000002f8: PUSH2 0x0302 000002fb: CALLDATASIZE 000002fc: PUSH1 0x04 000002fe: PUSH2 0x3ae3 00000301: JUMP 00000302: JUMPDEST 00000303: PUSH1 0x00 00000305: SWAP1 00000306: DUP2 00000307: MSTORE 00000308: PUSH1 0x0d 0000030a: PUSH1 0x20 0000030c: SWAP1 0000030d: DUP2 0000030e: MSTORE 0000030f: PUSH1 0x40 00000311: SWAP2 00000312: DUP3 00000313: SWAP1 00000314: KECCAK256 00000315: DUP3 00000316: MLOAD 00000317: PUSH1 0x60 00000319: DUP2 0000031a: ADD 0000031b: DUP5 0000031c: MSTORE 0000031d: DUP2 0000031e: SLOAD 0000031f: PUSH3 0xffffff 00000323: DUP2 00000324: AND 00000325: DUP3 00000326: MSTORE 00000327: PUSH4 0x01000000 0000032c: SWAP1 0000032d: DIV 0000032e: PUSH29 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 0000034c: AND 0000034d: SWAP3 0000034e: DUP2 0000034f: ADD 00000350: DUP4 00000351: SWAP1 00000352: MSTORE 00000353: PUSH1 0x01 00000355: SWAP1 00000356: SWAP2 00000357: ADD 00000358: SLOAD 00000359: SWAP3 0000035a: ADD 0000035b: DUP3 0000035c: SWAP1 0000035d: MSTORE 0000035e: SWAP1 0000035f: SWAP2 00000360: JUMP 00000361: JUMPDEST 00000362: PUSH1 0x40 00000364: DUP1 00000365: MLOAD 00000366: SWAP3 00000367: DUP4 00000368: MSTORE 00000369: PUSH1 0x20 0000036b: DUP4 0000036c: ADD 0000036d: SWAP2 0000036e: SWAP1 0000036f: SWAP2 00000370: MSTORE 00000371: ADD 00000372: PUSH2 0x0255 00000375: JUMP 00000376: JUMPDEST 00000377: CALLVALUE 00000378: DUP1 00000379: ISZERO 0000037a: PUSH2 0x0382 0000037d: JUMPI 0000037e: PUSH1 0x00 00000380: DUP1 00000381: REVERT 00000382: JUMPDEST 00000383: POP 00000384: PUSH2 0x0396 00000387: PUSH2 0x0391 0000038a: CALLDATASIZE 0000038b: PUSH1 0x04 0000038d: PUSH2 0x3cbc 00000390: JUMP 00000391: JUMPDEST 00000392: PUSH2 0x0ae4 00000395: JUMP 00000396: JUMPDEST 00000397: PUSH1 0x40 00000399: MLOAD 0000039a: SWAP1 0000039b: DUP2 0000039c: MSTORE 0000039d: PUSH1 0x20 0000039f: ADD 000003a0: PUSH2 0x0255 000003a3: JUMP 000003a4: JUMPDEST 000003a5: CALLVALUE 000003a6: DUP1 000003a7: ISZERO 000003a8: PUSH2 0x03b0 000003ab: JUMPI 000003ac: PUSH1 0x00 000003ae: DUP1 000003af: REVERT 000003b0: JUMPDEST 000003b1: POP 000003b2: PUSH1 0x0a 000003b4: SLOAD 000003b5: PUSH2 0x0396 000003b8: JUMP 000003b9: JUMPDEST 000003ba: CALLVALUE 000003bb: DUP1 000003bc: ISZERO 000003bd: PUSH2 0x03c5 000003c0: JUMPI 000003c1: PUSH1 0x00 000003c3: DUP1 000003c4: REVERT 000003c5: JUMPDEST 000003c6: POP 000003c7: PUSH2 0x0396 000003ca: PUSH2 0x03d4 000003cd: CALLDATASIZE 000003ce: PUSH1 0x04 000003d0: PUSH2 0x3d03 000003d3: JUMP 000003d4: JUMPDEST 000003d5: PUSH2 0x0b3b 000003d8: JUMP 000003d9: JUMPDEST 000003da: CALLVALUE 000003db: DUP1 000003dc: ISZERO 000003dd: PUSH2 0x03e5 000003e0: JUMPI 000003e1: PUSH1 0x00 000003e3: DUP1 000003e4: REVERT 000003e5: JUMPDEST 000003e6: POP 000003e7: PUSH2 0x02e5 000003ea: PUSH2 0x03f4 000003ed: CALLDATASIZE 000003ee: PUSH1 0x04 000003f0: PUSH2 0x3daf 000003f3: JUMP 000003f4: JUMPDEST 000003f5: PUSH2 0x0cd8 000003f8: JUMP 000003f9: JUMPDEST 000003fa: CALLVALUE 000003fb: DUP1 000003fc: ISZERO 000003fd: PUSH2 0x0405 00000400: JUMPI 00000401: PUSH1 0x00 00000403: DUP1 00000404: REVERT 00000405: JUMPDEST 00000406: POP 00000407: PUSH2 0x0396 0000040a: PUSH2 0x0414 0000040d: CALLDATASIZE 0000040e: PUSH1 0x04 00000410: PUSH2 0x3df0 00000413: JUMP 00000414: JUMPDEST 00000415: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000042a: AND 0000042b: PUSH1 0x00 0000042d: SWAP1 0000042e: DUP2 0000042f: MSTORE 00000430: PUSH1 0x10 00000432: PUSH1 0x20 00000434: MSTORE 00000435: PUSH1 0x40 00000437: SWAP1 00000438: KECCAK256 00000439: SLOAD 0000043a: SWAP1 0000043b: JUMP 0000043c: JUMPDEST 0000043d: CALLVALUE 0000043e: DUP1 0000043f: ISZERO 00000440: PUSH2 0x0448 00000443: JUMPI 00000444: PUSH1 0x00 00000446: DUP1 00000447: REVERT 00000448: JUMPDEST 00000449: POP 0000044a: PUSH2 0x045c 0000044d: PUSH2 0x0457 00000450: CALLDATASIZE 00000451: PUSH1 0x04 00000453: PUSH2 0x3ae3 00000456: JUMP 00000457: JUMPDEST 00000458: PUSH2 0x0d79 0000045b: JUMP 0000045c: JUMPDEST 0000045d: PUSH1 0x40 0000045f: MLOAD 00000460: PUSH2 0x0255 00000463: SWAP2 00000464: SWAP1 00000465: PUSH2 0x3e48 00000468: JUMP 00000469: JUMPDEST 0000046a: CALLVALUE 0000046b: DUP1 0000046c: ISZERO 0000046d: PUSH2 0x0475 00000470: JUMPI 00000471: PUSH1 0x00 00000473: DUP1 00000474: REVERT 00000475: JUMPDEST 00000476: POP 00000477: PUSH2 0x0396 0000047a: PUSH2 0x0484 0000047d: CALLDATASIZE 0000047e: PUSH1 0x04 00000480: PUSH2 0x3eb6 00000483: JUMP 00000484: JUMPDEST 00000485: PUSH2 0x0e85 00000488: JUMP 00000489: JUMPDEST 0000048a: CALLVALUE 0000048b: DUP1 0000048c: ISZERO 0000048d: PUSH2 0x0495 00000490: JUMPI 00000491: PUSH1 0x00 00000493: DUP1 00000494: REVERT 00000495: JUMPDEST 00000496: POP 00000497: PUSH2 0x0396 0000049a: PUSH2 0x04a4 0000049d: CALLDATASIZE 0000049e: PUSH1 0x04 000004a0: PUSH2 0x3b1e 000004a3: JUMP 000004a4: JUMPDEST 000004a5: PUSH2 0x1341 000004a8: JUMP 000004a9: JUMPDEST 000004aa: CALLVALUE 000004ab: DUP1 000004ac: ISZERO 000004ad: PUSH2 0x04b5 000004b0: JUMPI 000004b1: PUSH1 0x00 000004b3: DUP1 000004b4: REVERT 000004b5: JUMPDEST 000004b6: POP 000004b7: PUSH2 0x0396 000004ba: PUSH2 0x04c4 000004bd: CALLDATASIZE 000004be: PUSH1 0x04 000004c0: PUSH2 0x3f10 000004c3: JUMP 000004c4: JUMPDEST 000004c5: PUSH2 0x1410 000004c8: JUMP 000004c9: JUMPDEST 000004ca: CALLVALUE 000004cb: DUP1 000004cc: ISZERO 000004cd: PUSH2 0x04d5 000004d0: JUMPI 000004d1: PUSH1 0x00 000004d3: DUP1 000004d4: REVERT 000004d5: JUMPDEST 000004d6: POP 000004d7: PUSH2 0x02e5 000004da: PUSH2 0x04e4 000004dd: CALLDATASIZE 000004de: PUSH1 0x04 000004e0: PUSH2 0x3daf 000004e3: JUMP 000004e4: JUMPDEST 000004e5: PUSH2 0x16da 000004e8: JUMP 000004e9: JUMPDEST 000004ea: CALLVALUE 000004eb: DUP1 000004ec: ISZERO 000004ed: PUSH2 0x04f5 000004f0: JUMPI 000004f1: PUSH1 0x00 000004f3: DUP1 000004f4: REVERT 000004f5: JUMPDEST 000004f6: POP 000004f7: PUSH1 0x07 000004f9: SLOAD 000004fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000050f: AND 00000510: PUSH2 0x02a0 00000513: JUMP 00000514: JUMPDEST 00000515: CALLVALUE 00000516: DUP1 00000517: ISZERO 00000518: PUSH2 0x0520 0000051b: JUMPI 0000051c: PUSH1 0x00 0000051e: DUP1 0000051f: REVERT 00000520: JUMPDEST 00000521: POP 00000522: PUSH2 0x0396 00000525: PUSH2 0x052f 00000528: CALLDATASIZE 00000529: PUSH1 0x04 0000052b: PUSH2 0x3ae3 0000052e: JUMP 0000052f: JUMPDEST 00000530: PUSH2 0x16f5 00000533: JUMP 00000534: JUMPDEST 00000535: CALLVALUE 00000536: DUP1 00000537: ISZERO 00000538: PUSH2 0x0540 0000053b: JUMPI 0000053c: PUSH1 0x00 0000053e: DUP1 0000053f: REVERT 00000540: JUMPDEST 00000541: POP 00000542: PUSH2 0x02a0 00000545: PUSH2 0x054f 00000548: CALLDATASIZE 00000549: PUSH1 0x04 0000054b: PUSH2 0x3ae3 0000054e: JUMP 0000054f: JUMPDEST 00000550: PUSH2 0x17b3 00000553: JUMP 00000554: JUMPDEST 00000555: CALLVALUE 00000556: DUP1 00000557: ISZERO 00000558: PUSH2 0x0560 0000055b: JUMPI 0000055c: PUSH1 0x00 0000055e: DUP1 0000055f: REVERT 00000560: JUMPDEST 00000561: POP 00000562: PUSH2 0x0396 00000565: PUSH2 0x056f 00000568: CALLDATASIZE 00000569: PUSH1 0x04 0000056b: PUSH2 0x3df0 0000056e: JUMP 0000056f: JUMPDEST 00000570: PUSH2 0x1865 00000573: JUMP 00000574: JUMPDEST 00000575: CALLVALUE 00000576: DUP1 00000577: ISZERO 00000578: PUSH2 0x0580 0000057b: JUMPI 0000057c: PUSH1 0x00 0000057e: DUP1 0000057f: REVERT 00000580: JUMPDEST 00000581: POP 00000582: PUSH2 0x02e5 00000585: PUSH2 0x1933 00000588: JUMP 00000589: JUMPDEST 0000058a: CALLVALUE 0000058b: DUP1 0000058c: ISZERO 0000058d: PUSH2 0x0595 00000590: JUMPI 00000591: PUSH1 0x00 00000593: DUP1 00000594: REVERT 00000595: JUMPDEST 00000596: POP 00000597: PUSH1 0x06 00000599: SLOAD 0000059a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005af: AND 000005b0: PUSH2 0x02a0 000005b3: JUMP 000005b4: JUMPDEST 000005b5: CALLVALUE 000005b6: DUP1 000005b7: ISZERO 000005b8: PUSH2 0x05c0 000005bb: JUMPI 000005bc: PUSH1 0x00 000005be: DUP1 000005bf: REVERT 000005c0: JUMPDEST 000005c1: POP 000005c2: PUSH2 0x02e5 000005c5: PUSH2 0x05cf 000005c8: CALLDATASIZE 000005c9: PUSH1 0x04 000005cb: PUSH2 0x3f82 000005ce: JUMP 000005cf: JUMPDEST 000005d0: PUSH2 0x19c0 000005d3: JUMP 000005d4: JUMPDEST 000005d5: CALLVALUE 000005d6: DUP1 000005d7: ISZERO 000005d8: PUSH2 0x05e0 000005db: JUMPI 000005dc: PUSH1 0x00 000005de: DUP1 000005df: REVERT 000005e0: JUMPDEST 000005e1: POP 000005e2: PUSH2 0x0273 000005e5: PUSH2 0x1b57 000005e8: JUMP 000005e9: JUMPDEST 000005ea: CALLVALUE 000005eb: DUP1 000005ec: ISZERO 000005ed: PUSH2 0x05f5 000005f0: JUMPI 000005f1: PUSH1 0x00 000005f3: DUP1 000005f4: REVERT 000005f5: JUMPDEST 000005f6: POP 000005f7: PUSH2 0x02e5 000005fa: PUSH2 0x0604 000005fd: CALLDATASIZE 000005fe: PUSH1 0x04 00000600: PUSH2 0x4013 00000603: JUMP 00000604: JUMPDEST 00000605: PUSH2 0x1b66 00000608: JUMP 00000609: JUMPDEST 0000060a: CALLVALUE 0000060b: DUP1 0000060c: ISZERO 0000060d: PUSH2 0x0615 00000610: JUMPI 00000611: PUSH1 0x00 00000613: DUP1 00000614: REVERT 00000615: JUMPDEST 00000616: POP 00000617: PUSH2 0x02e5 0000061a: PUSH2 0x0624 0000061d: CALLDATASIZE 0000061e: PUSH1 0x04 00000620: PUSH2 0x4087 00000623: JUMP 00000624: JUMPDEST 00000625: PUSH2 0x1b75 00000628: JUMP 00000629: JUMPDEST 0000062a: CALLVALUE 0000062b: DUP1 0000062c: ISZERO 0000062d: PUSH2 0x0635 00000630: JUMPI 00000631: PUSH1 0x00 00000633: DUP1 00000634: REVERT 00000635: JUMPDEST 00000636: POP 00000637: PUSH2 0x02e5 0000063a: PUSH2 0x0644 0000063d: CALLDATASIZE 0000063e: PUSH1 0x04 00000640: PUSH2 0x3df0 00000643: JUMP 00000644: JUMPDEST 00000645: PUSH2 0x1c1d 00000648: JUMP 00000649: JUMPDEST 0000064a: CALLVALUE 0000064b: DUP1 0000064c: ISZERO 0000064d: PUSH2 0x0655 00000650: JUMPI 00000651: PUSH1 0x00 00000653: DUP1 00000654: REVERT 00000655: JUMPDEST 00000656: POP 00000657: PUSH2 0x0273 0000065a: PUSH2 0x0664 0000065d: CALLDATASIZE 0000065e: PUSH1 0x04 00000660: PUSH2 0x3ae3 00000663: JUMP 00000664: JUMPDEST 00000665: PUSH2 0x1ce5 00000668: JUMP 00000669: JUMPDEST 0000066a: CALLVALUE 0000066b: DUP1 0000066c: ISZERO 0000066d: PUSH2 0x0675 00000670: JUMPI 00000671: PUSH1 0x00 00000673: DUP1 00000674: REVERT 00000675: JUMPDEST 00000676: POP 00000677: PUSH2 0x045c 0000067a: PUSH2 0x0684 0000067d: CALLDATASIZE 0000067e: PUSH1 0x04 00000680: PUSH2 0x4176 00000683: JUMP 00000684: JUMPDEST 00000685: PUSH2 0x1cf0 00000688: JUMP 00000689: JUMPDEST 0000068a: CALLVALUE 0000068b: DUP1 0000068c: ISZERO 0000068d: PUSH2 0x0695 00000690: JUMPI 00000691: PUSH1 0x00 00000693: DUP1 00000694: REVERT 00000695: JUMPDEST 00000696: POP 00000697: PUSH2 0x06bb 0000069a: PUSH2 0x06a4 0000069d: CALLDATASIZE 0000069e: PUSH1 0x04 000006a0: PUSH2 0x3ae3 000006a3: JUMP 000006a4: JUMPDEST 000006a5: PUSH1 0x00 000006a7: SWAP1 000006a8: DUP2 000006a9: MSTORE 000006aa: PUSH1 0x0d 000006ac: PUSH1 0x20 000006ae: MSTORE 000006af: PUSH1 0x40 000006b1: SWAP1 000006b2: KECCAK256 000006b3: SLOAD 000006b4: PUSH3 0xffffff 000006b8: AND 000006b9: SWAP1 000006ba: JUMP 000006bb: JUMPDEST 000006bc: PUSH1 0x40 000006be: MLOAD 000006bf: PUSH3 0xffffff 000006c3: SWAP1 000006c4: SWAP2 000006c5: AND 000006c6: DUP2 000006c7: MSTORE 000006c8: PUSH1 0x20 000006ca: ADD 000006cb: PUSH2 0x0255 000006ce: JUMP 000006cf: JUMPDEST 000006d0: CALLVALUE 000006d1: DUP1 000006d2: ISZERO 000006d3: PUSH2 0x06db 000006d6: JUMPI 000006d7: PUSH1 0x00 000006d9: DUP1 000006da: REVERT 000006db: JUMPDEST 000006dc: POP 000006dd: PUSH2 0x06ef 000006e0: PUSH2 0x06ea 000006e3: CALLDATASIZE 000006e4: PUSH1 0x04 000006e6: PUSH2 0x41e6 000006e9: JUMP 000006ea: JUMPDEST 000006eb: PUSH2 0x1dae 000006ee: JUMP 000006ef: JUMPDEST 000006f0: PUSH1 0x40 000006f2: DUP1 000006f3: MLOAD 000006f4: SWAP3 000006f5: DUP4 000006f6: MSTORE 000006f7: PUSH3 0xffffff 000006fb: SWAP1 000006fc: SWAP2 000006fd: AND 000006fe: PUSH1 0x20 00000700: DUP4 00000701: ADD 00000702: MSTORE 00000703: ADD 00000704: PUSH2 0x0255 00000707: JUMP 00000708: JUMPDEST 00000709: CALLVALUE 0000070a: DUP1 0000070b: ISZERO 0000070c: PUSH2 0x0714 0000070f: JUMPI 00000710: PUSH1 0x00 00000712: DUP1 00000713: REVERT 00000714: JUMPDEST 00000715: POP 00000716: PUSH2 0x0249 00000719: PUSH2 0x0723 0000071c: CALLDATASIZE 0000071d: PUSH1 0x04 0000071f: PUSH2 0x421b 00000722: JUMP 00000723: JUMPDEST 00000724: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000739: SWAP2 0000073a: DUP3 0000073b: AND 0000073c: PUSH1 0x00 0000073e: SWAP1 0000073f: DUP2 00000740: MSTORE 00000741: PUSH1 0x05 00000743: PUSH1 0x20 00000745: SWAP1 00000746: DUP2 00000747: MSTORE 00000748: PUSH1 0x40 0000074a: DUP1 0000074b: DUP4 0000074c: KECCAK256 0000074d: SWAP4 0000074e: SWAP1 0000074f: SWAP5 00000750: AND 00000751: DUP3 00000752: MSTORE 00000753: SWAP2 00000754: SWAP1 00000755: SWAP2 00000756: MSTORE 00000757: KECCAK256 00000758: SLOAD 00000759: PUSH1 0xff 0000075b: AND 0000075c: SWAP1 0000075d: JUMP 0000075e: JUMPDEST 0000075f: CALLVALUE 00000760: DUP1 00000761: ISZERO 00000762: PUSH2 0x076a 00000765: JUMPI 00000766: PUSH1 0x00 00000768: DUP1 00000769: REVERT 0000076a: JUMPDEST 0000076b: POP 0000076c: PUSH2 0x045c 0000076f: PUSH2 0x0779 00000772: CALLDATASIZE 00000773: PUSH1 0x04 00000775: PUSH2 0x4249 00000778: JUMP 00000779: JUMPDEST 0000077a: PUSH2 0x1ef7 0000077d: JUMP 0000077e: JUMPDEST 0000077f: CALLVALUE 00000780: DUP1 00000781: ISZERO 00000782: PUSH2 0x078a 00000785: JUMPI 00000786: PUSH1 0x00 00000788: DUP1 00000789: REVERT 0000078a: JUMPDEST 0000078b: POP 0000078c: PUSH2 0x02e5 0000078f: PUSH2 0x0799 00000792: CALLDATASIZE 00000793: PUSH1 0x04 00000795: PUSH2 0x3df0 00000798: JUMP 00000799: JUMPDEST 0000079a: PUSH2 0x1f0f 0000079d: JUMP 0000079e: JUMPDEST 0000079f: CALLVALUE 000007a0: DUP1 000007a1: ISZERO 000007a2: PUSH2 0x07aa 000007a5: JUMPI 000007a6: PUSH1 0x00 000007a8: DUP1 000007a9: REVERT 000007aa: JUMPDEST 000007ab: POP 000007ac: PUSH2 0x07be 000007af: PUSH2 0x07b9 000007b2: CALLDATASIZE 000007b3: PUSH1 0x04 000007b5: PUSH2 0x3f10 000007b8: JUMP 000007b9: JUMPDEST 000007ba: PUSH2 0x203f 000007bd: JUMP 000007be: JUMPDEST 000007bf: PUSH1 0x40 000007c1: DUP1 000007c2: MLOAD 000007c3: SWAP3 000007c4: ISZERO 000007c5: ISZERO 000007c6: DUP4 000007c7: MSTORE 000007c8: PUSH1 0x20 000007ca: DUP4 000007cb: ADD 000007cc: SWAP2 000007cd: SWAP1 000007ce: SWAP2 000007cf: MSTORE 000007d0: ADD 000007d1: PUSH2 0x0255 000007d4: JUMP 000007d5: JUMPDEST 000007d6: PUSH1 0x00 000007d8: PUSH2 0x07e0 000007db: DUP3 000007dc: PUSH2 0x20b8 000007df: JUMP 000007e0: JUMPDEST 000007e1: SWAP3 000007e2: SWAP2 000007e3: POP 000007e4: POP 000007e5: JUMP 000007e6: JUMPDEST 000007e7: PUSH1 0x60 000007e9: PUSH1 0x11 000007eb: DUP1 000007ec: SLOAD 000007ed: PUSH2 0x07f5 000007f0: SWAP1 000007f1: PUSH2 0x42a7 000007f4: JUMP 000007f5: JUMPDEST 000007f6: DUP1 000007f7: PUSH1 0x1f 000007f9: ADD 000007fa: PUSH1 0x20 000007fc: DUP1 000007fd: SWAP2 000007fe: DIV 000007ff: MUL 00000800: PUSH1 0x20 00000802: ADD 00000803: PUSH1 0x40 00000805: MLOAD 00000806: SWAP1 00000807: DUP2 00000808: ADD 00000809: PUSH1 0x40 0000080b: MSTORE 0000080c: DUP1 0000080d: SWAP3 0000080e: SWAP2 0000080f: SWAP1 00000810: DUP2 00000811: DUP2 00000812: MSTORE 00000813: PUSH1 0x20 00000815: ADD 00000816: DUP3 00000817: DUP1 00000818: SLOAD 00000819: PUSH2 0x0821 0000081c: SWAP1 0000081d: PUSH2 0x42a7 00000820: JUMP 00000821: JUMPDEST 00000822: DUP1 00000823: ISZERO 00000824: PUSH2 0x086e 00000827: JUMPI 00000828: DUP1 00000829: PUSH1 0x1f 0000082b: LT 0000082c: PUSH2 0x0843 0000082f: JUMPI 00000830: PUSH2 0x0100 00000833: DUP1 00000834: DUP4 00000835: SLOAD 00000836: DIV 00000837: MUL 00000838: DUP4 00000839: MSTORE 0000083a: SWAP2 0000083b: PUSH1 0x20 0000083d: ADD 0000083e: SWAP2 0000083f: PUSH2 0x086e 00000842: JUMP 00000843: JUMPDEST 00000844: DUP3 00000845: ADD 00000846: SWAP2 00000847: SWAP1 00000848: PUSH1 0x00 0000084a: MSTORE 0000084b: PUSH1 0x20 0000084d: PUSH1 0x00 0000084f: KECCAK256 00000850: SWAP1 00000851: JUMPDEST 00000852: DUP2 00000853: SLOAD 00000854: DUP2 00000855: MSTORE 00000856: SWAP1 00000857: PUSH1 0x01 00000859: ADD 0000085a: SWAP1 0000085b: PUSH1 0x20 0000085d: ADD 0000085e: DUP1 0000085f: DUP4 00000860: GT 00000861: PUSH2 0x0851 00000864: JUMPI 00000865: DUP3 00000866: SWAP1 00000867: SUB 00000868: PUSH1 0x1f 0000086a: AND 0000086b: DUP3 0000086c: ADD 0000086d: SWAP2 0000086e: JUMPDEST 0000086f: POP 00000870: POP 00000871: POP 00000872: POP 00000873: POP 00000874: SWAP1 00000875: POP 00000876: SWAP1 00000877: JUMP 00000878: JUMPDEST 00000879: PUSH1 0x00 0000087b: DUP2 0000087c: DUP2 0000087d: MSTORE 0000087e: PUSH1 0x02 00000880: PUSH1 0x20 00000882: MSTORE 00000883: PUSH1 0x40 00000885: DUP2 00000886: KECCAK256 00000887: SLOAD 00000888: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000089d: AND 0000089e: PUSH2 0x092e 000008a1: JUMPI 000008a2: PUSH1 0x40 000008a4: MLOAD 000008a5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000008c6: DUP2 000008c7: MSTORE 000008c8: PUSH1 0x20 000008ca: PUSH1 0x04 000008cc: DUP3 000008cd: ADD 000008ce: MSTORE 000008cf: PUSH1 0x2c 000008d1: PUSH1 0x24 000008d3: DUP3 000008d4: ADD 000008d5: MSTORE 000008d6: PUSH32 0x4552433732313a20617070726f76656420717565727920666f72206e6f6e6578 000008f7: PUSH1 0x44 000008f9: DUP3 000008fa: ADD 000008fb: MSTORE 000008fc: PUSH32 0x697374656e7420746f6b656e0000000000000000000000000000000000000000 0000091d: PUSH1 0x64 0000091f: DUP3 00000920: ADD 00000921: MSTORE 00000922: PUSH1 0x84 00000924: ADD 00000925: JUMPDEST 00000926: PUSH1 0x40 00000928: MLOAD 00000929: DUP1 0000092a: SWAP2 0000092b: SUB 0000092c: SWAP1 0000092d: REVERT 0000092e: JUMPDEST 0000092f: POP 00000930: PUSH1 0x00 00000932: SWAP1 00000933: DUP2 00000934: MSTORE 00000935: PUSH1 0x04 00000937: PUSH1 0x20 00000939: MSTORE 0000093a: PUSH1 0x40 0000093c: SWAP1 0000093d: KECCAK256 0000093e: SLOAD 0000093f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000954: AND 00000955: SWAP1 00000956: JUMP 00000957: JUMPDEST 00000958: PUSH1 0x00 0000095a: PUSH2 0x0962 0000095d: DUP3 0000095e: PUSH2 0x17b3 00000961: JUMP 00000962: JUMPDEST 00000963: SWAP1 00000964: POP 00000965: DUP1 00000966: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000097b: AND 0000097c: DUP4 0000097d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000992: AND 00000993: EQ 00000994: ISZERO 00000995: PUSH2 0x0a20 00000998: JUMPI 00000999: PUSH1 0x40 0000099b: MLOAD 0000099c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000009bd: DUP2 000009be: MSTORE 000009bf: PUSH1 0x20 000009c1: PUSH1 0x04 000009c3: DUP3 000009c4: ADD 000009c5: MSTORE 000009c6: PUSH1 0x21 000009c8: PUSH1 0x24 000009ca: DUP3 000009cb: ADD 000009cc: MSTORE 000009cd: PUSH32 0x4552433732313a20617070726f76616c20746f2063757272656e74206f776e65 000009ee: PUSH1 0x44 000009f0: DUP3 000009f1: ADD 000009f2: MSTORE 000009f3: PUSH32 0x7200000000000000000000000000000000000000000000000000000000000000 00000a14: PUSH1 0x64 00000a16: DUP3 00000a17: ADD 00000a18: MSTORE 00000a19: PUSH1 0x84 00000a1b: ADD 00000a1c: PUSH2 0x0925 00000a1f: JUMP 00000a20: JUMPDEST 00000a21: CALLER 00000a22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a37: DUP3 00000a38: AND 00000a39: EQ 00000a3a: DUP1 00000a3b: PUSH2 0x0a49 00000a3e: JUMPI 00000a3f: POP 00000a40: PUSH2 0x0a49 00000a43: DUP2 00000a44: CALLER 00000a45: PUSH2 0x0723 00000a48: JUMP 00000a49: JUMPDEST 00000a4a: PUSH2 0x0ad5 00000a4d: JUMPI 00000a4e: PUSH1 0x40 00000a50: MLOAD 00000a51: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000a72: DUP2 00000a73: MSTORE 00000a74: PUSH1 0x20 00000a76: PUSH1 0x04 00000a78: DUP3 00000a79: ADD 00000a7a: MSTORE 00000a7b: PUSH1 0x38 00000a7d: PUSH1 0x24 00000a7f: DUP3 00000a80: ADD 00000a81: MSTORE 00000a82: PUSH32 0x4552433732313a20617070726f76652063616c6c6572206973206e6f74206f77 00000aa3: PUSH1 0x44 00000aa5: DUP3 00000aa6: ADD 00000aa7: MSTORE 00000aa8: PUSH32 0x6e6572206e6f7220617070726f76656420666f7220616c6c0000000000000000 00000ac9: PUSH1 0x64 00000acb: DUP3 00000acc: ADD 00000acd: MSTORE 00000ace: PUSH1 0x84 00000ad0: ADD 00000ad1: PUSH2 0x0925 00000ad4: JUMP 00000ad5: JUMPDEST 00000ad6: PUSH2 0x0adf 00000ad9: DUP4 00000ada: DUP4 00000adb: PUSH2 0x210e 00000ade: JUMP 00000adf: JUMPDEST 00000ae0: POP 00000ae1: POP 00000ae2: POP 00000ae3: JUMP 00000ae4: JUMPDEST 00000ae5: PUSH1 0x40 00000ae7: DUP1 00000ae8: MLOAD 00000ae9: PUSH1 0x01 00000aeb: DUP1 00000aec: DUP3 00000aed: MSTORE 00000aee: DUP2 00000aef: DUP4 00000af0: ADD 00000af1: SWAP1 00000af2: SWAP3 00000af3: MSTORE 00000af4: PUSH1 0x00 00000af6: SWAP2 00000af7: DUP3 00000af8: SWAP2 00000af9: SWAP1 00000afa: PUSH1 0x20 00000afc: DUP1 00000afd: DUP4 00000afe: ADD 00000aff: SWAP1 00000b00: DUP1 00000b01: CALLDATASIZE 00000b02: DUP4 00000b03: CALLDATACOPY 00000b04: ADD 00000b05: SWAP1 00000b06: POP 00000b07: POP 00000b08: SWAP1 00000b09: POP 00000b0a: DUP4 00000b0b: DUP2 00000b0c: PUSH1 0x00 00000b0e: DUP2 00000b0f: MLOAD 00000b10: DUP2 00000b11: LT 00000b12: PUSH2 0x0b1d 00000b15: JUMPI 00000b16: PUSH2 0x0b1d 00000b19: PUSH2 0x42fb 00000b1c: JUMP 00000b1d: JUMPDEST 00000b1e: PUSH1 0x20 00000b20: MUL 00000b21: PUSH1 0x20 00000b23: ADD 00000b24: ADD 00000b25: DUP2 00000b26: DUP2 00000b27: MSTORE 00000b28: POP 00000b29: POP 00000b2a: PUSH2 0x0b33 00000b2d: DUP2 00000b2e: DUP5 00000b2f: PUSH2 0x0e85 00000b32: JUMP 00000b33: JUMPDEST 00000b34: SWAP5 00000b35: SWAP4 00000b36: POP 00000b37: POP 00000b38: POP 00000b39: POP 00000b3a: JUMP 00000b3b: JUMPDEST 00000b3c: DUP2 00000b3d: MLOAD 00000b3e: PUSH1 0x00 00000b40: SWAP1 00000b41: DUP2 00000b42: DUP1 00000b43: JUMPDEST 00000b44: DUP3 00000b45: DUP2 00000b46: LT 00000b47: ISZERO 00000b48: PUSH2 0x0b87 00000b4b: JUMPI 00000b4c: DUP6 00000b4d: DUP2 00000b4e: DUP2 00000b4f: MLOAD 00000b50: DUP2 00000b51: LT 00000b52: PUSH2 0x0b5d 00000b55: JUMPI 00000b56: PUSH2 0x0b5d 00000b59: PUSH2 0x42fb 00000b5c: JUMP 00000b5d: JUMPDEST 00000b5e: PUSH1 0x20 00000b60: MUL 00000b61: PUSH1 0x20 00000b63: ADD 00000b64: ADD 00000b65: MLOAD 00000b66: PUSH3 0xffffff 00000b6a: AND 00000b6b: DUP3 00000b6c: PUSH2 0x0b75 00000b6f: SWAP2 00000b70: SWAP1 00000b71: PUSH2 0x4359 00000b74: JUMP 00000b75: JUMPDEST 00000b76: SWAP2 00000b77: POP 00000b78: PUSH2 0x0b80 00000b7b: DUP2 00000b7c: PUSH2 0x4371 00000b7f: JUMP 00000b80: JUMPDEST 00000b81: SWAP1 00000b82: POP 00000b83: PUSH2 0x0b43 00000b86: JUMP 00000b87: JUMPDEST 00000b88: POP 00000b89: PUSH1 0x00 00000b8b: DUP6 00000b8c: DUP6 00000b8d: DUP2 00000b8e: MLOAD 00000b8f: DUP2 00000b90: LT 00000b91: PUSH2 0x0b9c 00000b94: JUMPI 00000b95: PUSH2 0x0b9c 00000b98: PUSH2 0x42fb 00000b9b: JUMP 00000b9c: JUMPDEST 00000b9d: PUSH1 0x20 00000b9f: MUL 00000ba0: PUSH1 0x20 00000ba2: ADD 00000ba3: ADD 00000ba4: MLOAD 00000ba5: PUSH3 0xffffff 00000ba9: AND 00000baa: DUP8 00000bab: PUSH2 0x0bb4 00000bae: SWAP2 00000baf: SWAP1 00000bb0: PUSH2 0x43aa 00000bb3: JUMP 00000bb4: JUMPDEST 00000bb5: SWAP1 00000bb6: POP 00000bb7: PUSH1 0x00 00000bb9: PUSH2 0x0bc2 00000bbc: DUP4 00000bbd: DUP4 00000bbe: PUSH2 0x43e7 00000bc1: JUMP 00000bc2: JUMPDEST 00000bc3: SWAP1 00000bc4: POP 00000bc5: PUSH1 0x00 00000bc7: PUSH2 0x0bd0 00000bca: DUP5 00000bcb: DUP4 00000bcc: PUSH2 0x43aa 00000bcf: JUMP 00000bd0: JUMPDEST 00000bd1: PUSH2 0x0bda 00000bd4: SWAP1 00000bd5: DUP5 00000bd6: PUSH2 0x4422 00000bd9: JUMP 00000bda: JUMPDEST 00000bdb: SWAP1 00000bdc: POP 00000bdd: DUP1 00000bde: PUSH2 0x0bed 00000be1: JUMPI 00000be2: POP 00000be3: SWAP4 00000be4: POP 00000be5: PUSH2 0x0cd1 00000be8: SWAP3 00000be9: POP 00000bea: POP 00000beb: POP 00000bec: JUMP 00000bed: JUMPDEST 00000bee: DUP1 00000bef: PUSH1 0x00 00000bf1: DUP1 00000bf2: JUMPDEST 00000bf3: DUP8 00000bf4: DUP2 00000bf5: LT 00000bf6: ISZERO 00000bf7: PUSH2 0x0ca3 00000bfa: JUMPI 00000bfb: DUP10 00000bfc: DUP2 00000bfd: EQ 00000bfe: ISZERO 00000bff: PUSH2 0x0c07 00000c02: JUMPI 00000c03: PUSH2 0x0c93 00000c06: JUMP 00000c07: JUMPDEST 00000c08: PUSH1 0x00 00000c0a: DUP12 00000c0b: DUP3 00000c0c: DUP2 00000c0d: MLOAD 00000c0e: DUP2 00000c0f: LT 00000c10: PUSH2 0x0c1b 00000c13: JUMPI 00000c14: PUSH2 0x0c1b 00000c17: PUSH2 0x42fb 00000c1a: JUMP 00000c1b: JUMPDEST 00000c1c: PUSH1 0x20 00000c1e: MUL 00000c1f: PUSH1 0x20 00000c21: ADD 00000c22: ADD 00000c23: MLOAD 00000c24: PUSH3 0xffffff 00000c28: AND 00000c29: DUP14 00000c2a: PUSH2 0x0c33 00000c2d: SWAP2 00000c2e: SWAP1 00000c2f: PUSH2 0x43aa 00000c32: JUMP 00000c33: JUMPDEST 00000c34: SWAP1 00000c35: POP 00000c36: PUSH1 0x00 00000c38: PUSH2 0x0c41 00000c3b: DUP10 00000c3c: DUP4 00000c3d: PUSH2 0x43e7 00000c40: JUMP 00000c41: JUMPDEST 00000c42: SWAP1 00000c43: POP 00000c44: PUSH1 0x00 00000c46: PUSH2 0x0c4f 00000c49: DUP11 00000c4a: DUP4 00000c4b: PUSH2 0x43aa 00000c4e: JUMP 00000c4f: JUMPDEST 00000c50: PUSH2 0x0c59 00000c53: SWAP1 00000c54: DUP5 00000c55: PUSH2 0x4422 00000c58: JUMP 00000c59: JUMPDEST 00000c5a: SWAP1 00000c5b: POP 00000c5c: PUSH2 0x0c65 00000c5f: DUP2 00000c60: DUP8 00000c61: PUSH2 0x4359 00000c64: JUMP 00000c65: JUMPDEST 00000c66: SWAP6 00000c67: POP 00000c68: DUP7 00000c69: DUP2 00000c6a: GT 00000c6b: DUP1 00000c6c: PUSH2 0x0c7e 00000c6f: JUMPI 00000c70: POP 00000c71: DUP7 00000c72: DUP2 00000c73: EQ 00000c74: DUP1 00000c75: ISZERO 00000c76: PUSH2 0x0c7e 00000c79: JUMPI 00000c7a: POP 00000c7b: DUP13 00000c7c: DUP5 00000c7d: GT 00000c7e: JUMPDEST 00000c7f: ISZERO 00000c80: PUSH2 0x0c8f 00000c83: JUMPI 00000c84: PUSH2 0x0c8c 00000c87: DUP6 00000c88: PUSH2 0x4371 00000c8b: JUMP 00000c8c: JUMPDEST 00000c8d: SWAP5 00000c8e: POP 00000c8f: JUMPDEST 00000c90: POP 00000c91: POP 00000c92: POP 00000c93: JUMPDEST 00000c94: PUSH2 0x0c9c 00000c97: DUP2 00000c98: PUSH2 0x4371 00000c9b: JUMP 00000c9c: JUMPDEST 00000c9d: SWAP1 00000c9e: POP 00000c9f: PUSH2 0x0bf2 00000ca2: JUMP 00000ca3: JUMPDEST 00000ca4: POP 00000ca5: PUSH1 0x00 00000ca7: PUSH2 0x0cb0 00000caa: DUP8 00000cab: DUP5 00000cac: PUSH2 0x43e7 00000caf: JUMP 00000cb0: JUMPDEST 00000cb1: SWAP1 00000cb2: POP 00000cb3: DUP1 00000cb4: DUP3 00000cb5: LT 00000cb6: ISZERO 00000cb7: PUSH2 0x0cc6 00000cba: JUMPI 00000cbb: PUSH2 0x0cc3 00000cbe: DUP6 00000cbf: PUSH2 0x4371 00000cc2: JUMP 00000cc3: JUMPDEST 00000cc4: SWAP5 00000cc5: POP 00000cc6: JUMPDEST 00000cc7: POP 00000cc8: SWAP3 00000cc9: SWAP7 00000cca: POP 00000ccb: POP 00000ccc: POP 00000ccd: POP 00000cce: POP 00000ccf: POP 00000cd0: POP 00000cd1: JUMPDEST 00000cd2: SWAP4 00000cd3: SWAP3 00000cd4: POP 00000cd5: POP 00000cd6: POP 00000cd7: JUMP 00000cd8: JUMPDEST 00000cd9: PUSH2 0x0ce2 00000cdc: CALLER 00000cdd: DUP3 00000cde: PUSH2 0x21ae 00000ce1: JUMP 00000ce2: JUMPDEST 00000ce3: PUSH2 0x0d6e 00000ce6: JUMPI 00000ce7: PUSH1 0x40 00000ce9: MLOAD 00000cea: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000d0b: DUP2 00000d0c: MSTORE 00000d0d: PUSH1 0x20 00000d0f: PUSH1 0x04 00000d11: DUP3 00000d12: ADD 00000d13: MSTORE 00000d14: PUSH1 0x31 00000d16: PUSH1 0x24 00000d18: DUP3 00000d19: ADD 00000d1a: MSTORE 00000d1b: PUSH32 0x4552433732313a207472616e736665722063616c6c6572206973206e6f74206f 00000d3c: PUSH1 0x44 00000d3e: DUP3 00000d3f: ADD 00000d40: MSTORE 00000d41: PUSH32 0x776e6572206e6f7220617070726f766564000000000000000000000000000000 00000d62: PUSH1 0x64 00000d64: DUP3 00000d65: ADD 00000d66: MSTORE 00000d67: PUSH1 0x84 00000d69: ADD 00000d6a: PUSH2 0x0925 00000d6d: JUMP 00000d6e: JUMPDEST 00000d6f: PUSH2 0x0adf 00000d72: DUP4 00000d73: DUP4 00000d74: DUP4 00000d75: PUSH2 0x231d 00000d78: JUMP 00000d79: JUMPDEST 00000d7a: PUSH1 0x00 00000d7c: DUP2 00000d7d: DUP2 00000d7e: MSTORE 00000d7f: PUSH1 0x0d 00000d81: PUSH1 0x20 00000d83: SWAP1 00000d84: DUP2 00000d85: MSTORE 00000d86: PUSH1 0x40 00000d88: DUP1 00000d89: DUP4 00000d8a: KECCAK256 00000d8b: PUSH1 0x01 00000d8d: ADD 00000d8e: SLOAD 00000d8f: DUP4 00000d90: MSTORE 00000d91: PUSH1 0x0e 00000d93: DUP3 00000d94: MSTORE 00000d95: DUP1 00000d96: DUP4 00000d97: KECCAK256 00000d98: DUP1 00000d99: SLOAD 00000d9a: DUP3 00000d9b: MLOAD 00000d9c: DUP2 00000d9d: DUP6 00000d9e: MUL 00000d9f: DUP2 00000da0: ADD 00000da1: DUP6 00000da2: ADD 00000da3: SWAP1 00000da4: SWAP4 00000da5: MSTORE 00000da6: DUP1 00000da7: DUP4 00000da8: MSTORE 00000da9: PUSH1 0x60 00000dab: SWAP5 00000dac: SWAP4 00000dad: DUP4 00000dae: ADD 00000daf: DUP3 00000db0: DUP3 00000db1: DUP1 00000db2: ISZERO 00000db3: PUSH2 0x0ddb 00000db6: JUMPI 00000db7: PUSH1 0x20 00000db9: MUL 00000dba: DUP3 00000dbb: ADD 00000dbc: SWAP2 00000dbd: SWAP1 00000dbe: PUSH1 0x00 00000dc0: MSTORE 00000dc1: PUSH1 0x20 00000dc3: PUSH1 0x00 00000dc5: KECCAK256 00000dc6: SWAP1 00000dc7: JUMPDEST 00000dc8: DUP2 00000dc9: SLOAD 00000dca: DUP2 00000dcb: MSTORE 00000dcc: PUSH1 0x20 00000dce: ADD 00000dcf: SWAP1 00000dd0: PUSH1 0x01 00000dd2: ADD 00000dd3: SWAP1 00000dd4: DUP1 00000dd5: DUP4 00000dd6: GT 00000dd7: PUSH2 0x0dc7 00000dda: JUMPI 00000ddb: JUMPDEST 00000ddc: POP 00000ddd: POP 00000dde: POP 00000ddf: POP 00000de0: POP 00000de1: SWAP1 00000de2: POP 00000de3: PUSH1 0x00 00000de5: DUP2 00000de6: MLOAD 00000de7: PUSH8 0xffffffffffffffff 00000df0: DUP2 00000df1: GT 00000df2: ISZERO 00000df3: PUSH2 0x0dfe 00000df6: JUMPI 00000df7: PUSH2 0x0dfe 00000dfa: PUSH2 0x3b4a 00000dfd: JUMP 00000dfe: JUMPDEST 00000dff: PUSH1 0x40 00000e01: MLOAD 00000e02: SWAP1 00000e03: DUP1 00000e04: DUP3 00000e05: MSTORE 00000e06: DUP1 00000e07: PUSH1 0x20 00000e09: MUL 00000e0a: PUSH1 0x20 00000e0c: ADD 00000e0d: DUP3 00000e0e: ADD 00000e0f: PUSH1 0x40 00000e11: MSTORE 00000e12: DUP1 00000e13: ISZERO 00000e14: PUSH2 0x0e27 00000e17: JUMPI 00000e18: DUP2 00000e19: PUSH1 0x20 00000e1b: ADD 00000e1c: PUSH1 0x20 00000e1e: DUP3 00000e1f: MUL 00000e20: DUP1 00000e21: CALLDATASIZE 00000e22: DUP4 00000e23: CALLDATACOPY 00000e24: ADD 00000e25: SWAP1 00000e26: POP 00000e27: JUMPDEST 00000e28: POP 00000e29: SWAP1 00000e2a: POP 00000e2b: PUSH1 0x00 00000e2d: JUMPDEST 00000e2e: DUP2 00000e2f: MLOAD 00000e30: DUP2 00000e31: LT 00000e32: ISZERO 00000e33: PUSH2 0x0e7d 00000e36: JUMPI 00000e37: DUP3 00000e38: DUP2 00000e39: DUP2 00000e3a: MLOAD 00000e3b: DUP2 00000e3c: LT 00000e3d: PUSH2 0x0e48 00000e40: JUMPI 00000e41: PUSH2 0x0e48 00000e44: PUSH2 0x42fb 00000e47: JUMP 00000e48: JUMPDEST 00000e49: PUSH1 0x20 00000e4b: MUL 00000e4c: PUSH1 0x20 00000e4e: ADD 00000e4f: ADD 00000e50: MLOAD 00000e51: DUP3 00000e52: DUP3 00000e53: DUP2 00000e54: MLOAD 00000e55: DUP2 00000e56: LT 00000e57: PUSH2 0x0e62 00000e5a: JUMPI 00000e5b: PUSH2 0x0e62 00000e5e: PUSH2 0x42fb 00000e61: JUMP 00000e62: JUMPDEST 00000e63: PUSH1 0x20 00000e65: SWAP1 00000e66: DUP2 00000e67: MUL 00000e68: SWAP2 00000e69: SWAP1 00000e6a: SWAP2 00000e6b: ADD 00000e6c: ADD 00000e6d: MSTORE 00000e6e: PUSH2 0x0e76 00000e71: DUP2 00000e72: PUSH2 0x4371 00000e75: JUMP 00000e76: JUMPDEST 00000e77: SWAP1 00000e78: POP 00000e79: PUSH2 0x0e2d 00000e7c: JUMP 00000e7d: JUMPDEST 00000e7e: POP 00000e7f: SWAP4 00000e80: SWAP3 00000e81: POP 00000e82: POP 00000e83: POP 00000e84: JUMP 00000e85: JUMPDEST 00000e86: PUSH1 0x00 00000e88: DUP3 00000e89: MLOAD 00000e8a: PUSH1 0x00 00000e8c: EQ 00000e8d: ISZERO 00000e8e: PUSH2 0x0ef3 00000e91: JUMPI 00000e92: PUSH1 0x40 00000e94: MLOAD 00000e95: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000eb6: DUP2 00000eb7: MSTORE 00000eb8: PUSH1 0x20 00000eba: PUSH1 0x04 00000ebc: DUP3 00000ebd: ADD 00000ebe: MSTORE 00000ebf: PUSH1 0x17 00000ec1: PUSH1 0x24 00000ec3: DUP3 00000ec4: ADD 00000ec5: MSTORE 00000ec6: PUSH32 0x536861726477616c6c65743a206e6f20706172656e7473000000000000000000 00000ee7: PUSH1 0x44 00000ee9: DUP3 00000eea: ADD 00000eeb: MSTORE 00000eec: PUSH1 0x64 00000eee: ADD 00000eef: PUSH2 0x0925 00000ef2: JUMP 00000ef3: JUMPDEST 00000ef4: DUP2 00000ef5: MLOAD 00000ef6: PUSH29 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00000f14: LT 00000f15: ISZERO 00000f16: PUSH2 0x0f1e 00000f19: JUMPI 00000f1a: PUSH1 0x00 00000f1c: DUP1 00000f1d: REVERT 00000f1e: JUMPDEST 00000f1f: PUSH1 0x0c 00000f21: SLOAD 00000f22: DUP3 00000f23: MLOAD 00000f24: PUSH2 0x0f2d 00000f27: SWAP1 00000f28: DUP3 00000f29: PUSH2 0x4359 00000f2c: JUMP 00000f2d: JUMPDEST 00000f2e: PUSH1 0x0c 00000f30: SSTORE 00000f31: PUSH1 0x00 00000f33: DUP2 00000f34: DUP2 00000f35: MSTORE 00000f36: PUSH1 0x0e 00000f38: PUSH1 0x20 00000f3a: SWAP1 00000f3b: DUP2 00000f3c: MSTORE 00000f3d: PUSH1 0x40 00000f3f: SWAP1 00000f40: SWAP2 00000f41: KECCAK256 00000f42: DUP6 00000f43: MLOAD 00000f44: PUSH2 0x0f4f 00000f47: SWAP3 00000f48: DUP8 00000f49: ADD 00000f4a: SWAP1 00000f4b: PUSH2 0x391d 00000f4e: JUMP 00000f4f: JUMPDEST 00000f50: POP 00000f51: PUSH1 0x00 00000f53: DUP1 00000f54: JUMPDEST 00000f55: DUP6 00000f56: MLOAD 00000f57: DUP2 00000f58: LT 00000f59: ISZERO 00000f5a: PUSH2 0x1026 00000f5d: JUMPI 00000f5e: PUSH1 0x00 00000f60: DUP7 00000f61: DUP3 00000f62: DUP2 00000f63: MLOAD 00000f64: DUP2 00000f65: LT 00000f66: PUSH2 0x0f71 00000f69: JUMPI 00000f6a: PUSH2 0x0f71 00000f6d: PUSH2 0x42fb 00000f70: JUMP 00000f71: JUMPDEST 00000f72: PUSH1 0x20 00000f74: MUL 00000f75: PUSH1 0x20 00000f77: ADD 00000f78: ADD 00000f79: MLOAD 00000f7a: SWAP1 00000f7b: POP 00000f7c: PUSH2 0x0f85 00000f7f: CALLER 00000f80: DUP3 00000f81: PUSH2 0x21ae 00000f84: JUMP 00000f85: JUMPDEST 00000f86: PUSH2 0x0feb 00000f89: JUMPI 00000f8a: PUSH1 0x40 00000f8c: MLOAD 00000f8d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00000fae: DUP2 00000faf: MSTORE 00000fb0: PUSH1 0x20 00000fb2: PUSH1 0x04 00000fb4: DUP3 00000fb5: ADD 00000fb6: MSTORE 00000fb7: PUSH1 0x19 00000fb9: PUSH1 0x24 00000fbb: DUP3 00000fbc: ADD 00000fbd: MSTORE 00000fbe: PUSH32 0x536861726477616c6c65743a20756e617574686f72697a656400000000000000 00000fdf: PUSH1 0x44 00000fe1: DUP3 00000fe2: ADD 00000fe3: MSTORE 00000fe4: PUSH1 0x64 00000fe6: ADD 00000fe7: PUSH2 0x0925 00000fea: JUMP 00000feb: JUMPDEST 00000fec: PUSH2 0x0ff4 00000fef: DUP2 00000ff0: PUSH2 0x258f 00000ff3: JUMP 00000ff4: JUMPDEST 00000ff5: PUSH1 0x00 00000ff7: DUP2 00000ff8: DUP2 00000ff9: MSTORE 00000ffa: PUSH1 0x0d 00000ffc: PUSH1 0x20 00000ffe: MSTORE 00000fff: PUSH1 0x40 00001001: SWAP1 00001002: KECCAK256 00001003: SLOAD 00001004: PUSH2 0x1012 00001007: SWAP1 00001008: PUSH3 0xffffff 0000100c: AND 0000100d: DUP5 0000100e: PUSH2 0x4439 00001011: JUMP 00001012: JUMPDEST 00001013: SWAP3 00001014: POP 00001015: POP 00001016: DUP1 00001017: PUSH2 0x101f 0000101a: SWAP1 0000101b: PUSH2 0x4371 0000101e: JUMP 0000101f: JUMPDEST 00001020: SWAP1 00001021: POP 00001022: PUSH2 0x0f54 00001025: JUMP 00001026: JUMPDEST 00001027: POP 00001028: PUSH1 0x00 0000102a: DUP5 0000102b: MLOAD 0000102c: PUSH8 0xffffffffffffffff 00001035: DUP2 00001036: GT 00001037: ISZERO 00001038: PUSH2 0x1043 0000103b: JUMPI 0000103c: PUSH2 0x1043 0000103f: PUSH2 0x3b4a 00001042: JUMP 00001043: JUMPDEST 00001044: PUSH1 0x40 00001046: MLOAD 00001047: SWAP1 00001048: DUP1 00001049: DUP3 0000104a: MSTORE 0000104b: DUP1 0000104c: PUSH1 0x20 0000104e: MUL 0000104f: PUSH1 0x20 00001051: ADD 00001052: DUP3 00001053: ADD 00001054: PUSH1 0x40 00001056: MSTORE 00001057: DUP1 00001058: ISZERO 00001059: PUSH2 0x106c 0000105c: JUMPI 0000105d: DUP2 0000105e: PUSH1 0x20 00001060: ADD 00001061: PUSH1 0x20 00001063: DUP3 00001064: MUL 00001065: DUP1 00001066: CALLDATASIZE 00001067: DUP4 00001068: CALLDATACOPY 00001069: ADD 0000106a: SWAP1 0000106b: POP 0000106c: JUMPDEST 0000106d: POP 0000106e: SWAP1 0000106f: POP 00001070: DUP3 00001071: PUSH1 0x00 00001073: JUMPDEST 00001074: DUP7 00001075: MLOAD 00001076: DUP2 00001077: LT 00001078: ISZERO 00001079: PUSH2 0x123c 0000107c: JUMPI 0000107d: PUSH1 0x00 0000107f: DUP8 00001080: DUP3 00001081: DUP2 00001082: MLOAD 00001083: DUP2 00001084: LT 00001085: PUSH2 0x1090 00001088: JUMPI 00001089: PUSH2 0x1090 0000108c: PUSH2 0x42fb 0000108f: JUMP 00001090: JUMPDEST 00001091: PUSH1 0x20 00001093: MUL 00001094: PUSH1 0x20 00001096: ADD 00001097: ADD 00001098: MLOAD 00001099: PUSH1 0x00 0000109b: ADD 0000109c: MLOAD 0000109d: SWAP1 0000109e: POP 0000109f: DUP1 000010a0: PUSH3 0xffffff 000010a4: AND 000010a5: PUSH1 0x00 000010a7: EQ 000010a8: ISZERO 000010a9: PUSH2 0x110e 000010ac: JUMPI 000010ad: PUSH1 0x40 000010af: MLOAD 000010b0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000010d1: DUP2 000010d2: MSTORE 000010d3: PUSH1 0x20 000010d5: PUSH1 0x04 000010d7: DUP3 000010d8: ADD 000010d9: MSTORE 000010da: PUSH1 0x17 000010dc: PUSH1 0x24 000010de: DUP3 000010df: ADD 000010e0: MSTORE 000010e1: PUSH32 0x536861726477616c6c65743a206e756c6c207368617265000000000000000000 00001102: PUSH1 0x44 00001104: DUP3 00001105: ADD 00001106: MSTORE 00001107: PUSH1 0x64 00001109: ADD 0000110a: PUSH2 0x0925 0000110d: JUMP 0000110e: JUMPDEST 0000110f: DUP5 00001110: PUSH3 0xffffff 00001114: AND 00001115: DUP2 00001116: PUSH3 0xffffff 0000111a: AND 0000111b: GT 0000111c: ISZERO 0000111d: PUSH2 0x1182 00001120: JUMPI 00001121: PUSH1 0x40 00001123: MLOAD 00001124: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001145: DUP2 00001146: MSTORE 00001147: PUSH1 0x20 00001149: PUSH1 0x04 0000114b: DUP3 0000114c: ADD 0000114d: MSTORE 0000114e: PUSH1 0x1c 00001150: PUSH1 0x24 00001152: DUP3 00001153: ADD 00001154: MSTORE 00001155: PUSH32 0x536861726477616c6c65743a20736861726520746f6f206c6172676500000000 00001176: PUSH1 0x44 00001178: DUP3 00001179: ADD 0000117a: MSTORE 0000117b: PUSH1 0x64 0000117d: ADD 0000117e: PUSH2 0x0925 00001181: JUMP 00001182: JUMPDEST 00001183: PUSH2 0x118c 00001186: DUP2 00001187: DUP7 00001188: PUSH2 0x4460 0000118b: JUMP 0000118c: JUMPDEST 0000118d: SWAP5 0000118e: POP 0000118f: DUP1 00001190: DUP5 00001191: DUP4 00001192: DUP2 00001193: MLOAD 00001194: DUP2 00001195: LT 00001196: PUSH2 0x11a1 00001199: JUMPI 0000119a: PUSH2 0x11a1 0000119d: PUSH2 0x42fb 000011a0: JUMP 000011a1: JUMPDEST 000011a2: PUSH3 0xffffff 000011a6: SWAP3 000011a7: DUP4 000011a8: AND 000011a9: PUSH1 0x20 000011ab: SWAP2 000011ac: DUP3 000011ad: MUL 000011ae: SWAP3 000011af: SWAP1 000011b0: SWAP3 000011b1: ADD 000011b2: DUP2 000011b3: ADD 000011b4: SWAP2 000011b5: SWAP1 000011b6: SWAP2 000011b7: MSTORE 000011b8: PUSH1 0x40 000011ba: DUP1 000011bb: MLOAD 000011bc: PUSH1 0x60 000011be: DUP2 000011bf: ADD 000011c0: DUP3 000011c1: MSTORE 000011c2: DUP5 000011c3: DUP5 000011c4: AND 000011c5: DUP2 000011c6: MSTORE 000011c7: DUP12 000011c8: MLOAD 000011c9: PUSH29 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000011e7: SWAP1 000011e8: DUP2 000011e9: AND 000011ea: DUP3 000011eb: DUP6 000011ec: ADD 000011ed: SWAP1 000011ee: DUP2 000011ef: MSTORE 000011f0: DUP3 000011f1: DUP5 000011f2: ADD 000011f3: DUP13 000011f4: DUP2 000011f5: MSTORE 000011f6: PUSH1 0x00 000011f8: DUP11 000011f9: DUP2 000011fa: MSTORE 000011fb: PUSH1 0x0d 000011fd: SWAP1 000011fe: SWAP7 000011ff: MSTORE 00001200: SWAP4 00001201: SWAP1 00001202: SWAP5 00001203: KECCAK256 00001204: SWAP2 00001205: MLOAD 00001206: SWAP4 00001207: MLOAD 00001208: AND 00001209: PUSH4 0x01000000 0000120e: MUL 0000120f: SWAP3 00001210: SWAP1 00001211: SWAP4 00001212: AND 00001213: SWAP2 00001214: SWAP1 00001215: SWAP2 00001216: OR 00001217: DUP3 00001218: SSTORE 00001219: MLOAD 0000121a: PUSH1 0x01 0000121c: SWAP1 0000121d: SWAP2 0000121e: ADD 0000121f: SSTORE 00001220: PUSH2 0x1228 00001223: DUP4 00001224: PUSH2 0x4371 00001227: JUMP 00001228: JUMPDEST 00001229: SWAP3 0000122a: POP 0000122b: POP 0000122c: DUP1 0000122d: PUSH2 0x1235 00001230: SWAP1 00001231: PUSH2 0x4371 00001234: JUMP 00001235: JUMPDEST 00001236: SWAP1 00001237: POP 00001238: PUSH2 0x1073 0000123b: JUMP 0000123c: JUMPDEST 0000123d: POP 0000123e: PUSH3 0xffffff 00001242: DUP4 00001243: AND 00001244: ISZERO 00001245: PUSH2 0x12aa 00001248: JUMPI 00001249: PUSH1 0x40 0000124b: MLOAD 0000124c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000126d: DUP2 0000126e: MSTORE 0000126f: PUSH1 0x20 00001271: PUSH1 0x04 00001273: DUP3 00001274: ADD 00001275: MSTORE 00001276: PUSH1 0x1c 00001278: PUSH1 0x24 0000127a: DUP3 0000127b: ADD 0000127c: MSTORE 0000127d: PUSH32 0x536861726477616c6c65743a20736861726520746f6f20736d616c6c00000000 0000129e: PUSH1 0x44 000012a0: DUP3 000012a1: ADD 000012a2: MSTORE 000012a3: PUSH1 0x64 000012a5: ADD 000012a6: PUSH2 0x0925 000012a9: JUMP 000012aa: JUMPDEST 000012ab: PUSH32 0xe3ac79fef3b280ad3daaef2cc74e5bdf501b73b95afb1fdc9eee0a4bf56f8d1e 000012cc: DUP8 000012cd: DUP6 000012ce: DUP5 000012cf: PUSH1 0x40 000012d1: MLOAD 000012d2: PUSH2 0x12dd 000012d5: SWAP4 000012d6: SWAP3 000012d7: SWAP2 000012d8: SWAP1 000012d9: PUSH2 0x4484 000012dc: JUMP 000012dd: JUMPDEST 000012de: PUSH1 0x40 000012e0: MLOAD 000012e1: DUP1 000012e2: SWAP2 000012e3: SUB 000012e4: SWAP1 000012e5: LOG1 000012e6: POP 000012e7: DUP3 000012e8: PUSH1 0x00 000012ea: JUMPDEST 000012eb: DUP7 000012ec: MLOAD 000012ed: DUP2 000012ee: LT 000012ef: ISZERO 000012f0: PUSH2 0x1335 000012f3: JUMPI 000012f4: PUSH2 0x131a 000012f7: DUP8 000012f8: DUP3 000012f9: DUP2 000012fa: MLOAD 000012fb: DUP2 000012fc: LT 000012fd: PUSH2 0x1308 00001300: JUMPI 00001301: PUSH2 0x1308 00001304: PUSH2 0x42fb 00001307: JUMP 00001308: JUMPDEST 00001309: PUSH1 0x20 0000130b: MUL 0000130c: PUSH1 0x20 0000130e: ADD 0000130f: ADD 00001310: MLOAD 00001311: PUSH1 0x20 00001313: ADD 00001314: MLOAD 00001315: DUP4 00001316: PUSH2 0x2668 00001319: JUMP 0000131a: JUMPDEST 0000131b: PUSH2 0x1323 0000131e: DUP3 0000131f: PUSH2 0x4371 00001322: JUMP 00001323: JUMPDEST 00001324: SWAP2 00001325: POP 00001326: PUSH2 0x132e 00001329: DUP2 0000132a: PUSH2 0x4371 0000132d: JUMP 0000132e: JUMPDEST 0000132f: SWAP1 00001330: POP 00001331: PUSH2 0x12ea 00001334: JUMP 00001335: JUMPDEST 00001336: POP 00001337: SWAP3 00001338: SWAP7 00001339: SWAP6 0000133a: POP 0000133b: POP 0000133c: POP 0000133d: POP 0000133e: POP 0000133f: POP 00001340: JUMP 00001341: JUMPDEST 00001342: PUSH1 0x00 00001344: PUSH2 0x134c 00001347: DUP4 00001348: PUSH2 0x1865 0000134b: JUMP 0000134c: JUMPDEST 0000134d: DUP3 0000134e: LT 0000134f: PUSH2 0x13da 00001352: JUMPI 00001353: PUSH1 0x40 00001355: MLOAD 00001356: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001377: DUP2 00001378: MSTORE 00001379: PUSH1 0x20 0000137b: PUSH1 0x04 0000137d: DUP3 0000137e: ADD 0000137f: MSTORE 00001380: PUSH1 0x2b 00001382: PUSH1 0x24 00001384: DUP3 00001385: ADD 00001386: MSTORE 00001387: PUSH32 0x455243373231456e756d657261626c653a206f776e657220696e646578206f75 000013a8: PUSH1 0x44 000013aa: DUP3 000013ab: ADD 000013ac: MSTORE 000013ad: PUSH32 0x74206f6620626f756e6473000000000000000000000000000000000000000000 000013ce: PUSH1 0x64 000013d0: DUP3 000013d1: ADD 000013d2: MSTORE 000013d3: PUSH1 0x84 000013d5: ADD 000013d6: PUSH2 0x0925 000013d9: JUMP 000013da: JUMPDEST 000013db: POP 000013dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013f1: SWAP2 000013f2: SWAP1 000013f3: SWAP2 000013f4: AND 000013f5: PUSH1 0x00 000013f7: SWAP1 000013f8: DUP2 000013f9: MSTORE 000013fa: PUSH1 0x08 000013fc: PUSH1 0x20 000013fe: SWAP1 000013ff: DUP2 00001400: MSTORE 00001401: PUSH1 0x40 00001403: DUP1 00001404: DUP4 00001405: KECCAK256 00001406: SWAP4 00001407: DUP4 00001408: MSTORE 00001409: SWAP3 0000140a: SWAP1 0000140b: MSTORE 0000140c: KECCAK256 0000140d: SLOAD 0000140e: SWAP1 0000140f: JUMP 00001410: JUMPDEST 00001411: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001426: DUP2 00001427: AND 00001428: PUSH1 0x00 0000142a: SWAP1 0000142b: DUP2 0000142c: MSTORE 0000142d: PUSH1 0x0f 0000142f: PUSH1 0x20 00001431: SWAP1 00001432: DUP2 00001433: MSTORE 00001434: PUSH1 0x40 00001436: DUP1 00001437: DUP4 00001438: KECCAK256 00001439: DUP6 0000143a: DUP5 0000143b: MSTORE 0000143c: SWAP1 0000143d: SWAP2 0000143e: MSTORE 0000143f: DUP2 00001440: KECCAK256 00001441: SLOAD 00001442: DUP1 00001443: ISZERO 00001444: PUSH2 0x1458 00001447: JUMPI 00001448: PUSH2 0x1450 0000144b: DUP2 0000144c: PUSH2 0x2682 0000144f: JUMP 00001450: JUMPDEST 00001451: SWAP2 00001452: POP 00001453: POP 00001454: PUSH2 0x07e0 00001457: JUMP 00001458: JUMPDEST 00001459: POP 0000145a: DUP3 0000145b: PUSH1 0x01 0000145d: EQ 0000145e: ISZERO 0000145f: PUSH2 0x146a 00001462: JUMPI 00001463: POP 00001464: PUSH1 0x00 00001466: PUSH2 0x07e0 00001469: JUMP 0000146a: JUMPDEST 0000146b: PUSH1 0x00 0000146d: DUP4 0000146e: DUP2 0000146f: MSTORE 00001470: PUSH1 0x0d 00001472: PUSH1 0x20 00001474: SWAP1 00001475: DUP2 00001476: MSTORE 00001477: PUSH1 0x40 00001479: SWAP2 0000147a: DUP3 0000147b: SWAP1 0000147c: KECCAK256 0000147d: DUP3 0000147e: MLOAD 0000147f: PUSH1 0x60 00001481: DUP2 00001482: ADD 00001483: DUP5 00001484: MSTORE 00001485: DUP2 00001486: SLOAD 00001487: PUSH3 0xffffff 0000148b: DUP2 0000148c: AND 0000148d: DUP1 0000148e: DUP4 0000148f: MSTORE 00001490: PUSH4 0x01000000 00001495: SWAP1 00001496: SWAP2 00001497: DIV 00001498: PUSH29 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000014b6: AND 000014b7: SWAP4 000014b8: DUP3 000014b9: ADD 000014ba: SWAP4 000014bb: SWAP1 000014bc: SWAP4 000014bd: MSTORE 000014be: PUSH1 0x01 000014c0: SWAP1 000014c1: SWAP2 000014c2: ADD 000014c3: SLOAD 000014c4: SWAP3 000014c5: DUP2 000014c6: ADD 000014c7: SWAP3 000014c8: SWAP1 000014c9: SWAP3 000014ca: MSTORE 000014cb: PUSH2 0x14d8 000014ce: JUMPI 000014cf: PUSH1 0x00 000014d1: SWAP2 000014d2: POP 000014d3: POP 000014d4: PUSH2 0x07e0 000014d7: JUMP 000014d8: JUMPDEST 000014d9: PUSH1 0x40 000014db: DUP2 000014dc: ADD 000014dd: MLOAD 000014de: PUSH1 0x20 000014e0: DUP3 000014e1: ADD 000014e2: MLOAD 000014e3: PUSH29 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001501: AND 00001502: PUSH1 0x00 00001504: PUSH2 0x150d 00001507: DUP4 00001508: DUP9 00001509: PUSH2 0x4422 0000150c: JUMP 0000150d: JUMPDEST 0000150e: PUSH1 0x00 00001510: DUP5 00001511: DUP2 00001512: MSTORE 00001513: PUSH1 0x0e 00001515: PUSH1 0x20 00001517: SWAP1 00001518: DUP2 00001519: MSTORE 0000151a: PUSH1 0x40 0000151c: DUP1 0000151d: DUP4 0000151e: KECCAK256 0000151f: DUP1 00001520: SLOAD 00001521: DUP3 00001522: MLOAD 00001523: DUP2 00001524: DUP6 00001525: MUL 00001526: DUP2 00001527: ADD 00001528: DUP6 00001529: ADD 0000152a: SWAP1 0000152b: SWAP4 0000152c: MSTORE 0000152d: DUP1 0000152e: DUP4 0000152f: MSTORE 00001530: SWAP5 00001531: SWAP6 00001532: POP 00001533: SWAP3 00001534: SWAP4 00001535: SWAP1 00001536: SWAP3 00001537: SWAP2 00001538: DUP4 00001539: ADD 0000153a: DUP3 0000153b: DUP3 0000153c: DUP1 0000153d: ISZERO 0000153e: PUSH2 0x1566 00001541: JUMPI 00001542: PUSH1 0x20 00001544: MUL 00001545: DUP3 00001546: ADD 00001547: SWAP2 00001548: SWAP1 00001549: PUSH1 0x00 0000154b: MSTORE 0000154c: PUSH1 0x20 0000154e: PUSH1 0x00 00001550: KECCAK256 00001551: SWAP1 00001552: JUMPDEST 00001553: DUP2 00001554: SLOAD 00001555: DUP2 00001556: MSTORE 00001557: PUSH1 0x20 00001559: ADD 0000155a: SWAP1 0000155b: PUSH1 0x01 0000155d: ADD 0000155e: SWAP1 0000155f: DUP1 00001560: DUP4 00001561: GT 00001562: PUSH2 0x1552 00001565: JUMPI 00001566: JUMPDEST 00001567: POP 00001568: POP 00001569: POP 0000156a: POP 0000156b: POP 0000156c: SWAP1 0000156d: POP 0000156e: PUSH1 0x00 00001570: DUP1 00001571: JUMPDEST 00001572: DUP3 00001573: MLOAD 00001574: DUP2 00001575: LT 00001576: ISZERO 00001577: PUSH2 0x15b9 0000157a: JUMPI 0000157b: PUSH2 0x159d 0000157e: DUP4 0000157f: DUP3 00001580: DUP2 00001581: MLOAD 00001582: DUP2 00001583: LT 00001584: PUSH2 0x158f 00001587: JUMPI 00001588: PUSH2 0x158f 0000158b: PUSH2 0x42fb 0000158e: JUMP 0000158f: JUMPDEST 00001590: PUSH1 0x20 00001592: MUL 00001593: PUSH1 0x20 00001595: ADD 00001596: ADD 00001597: MLOAD 00001598: DUP11 00001599: PUSH2 0x1410 0000159c: JUMP 0000159d: JUMPDEST 0000159e: PUSH2 0x15a7 000015a1: SWAP1 000015a2: DUP4 000015a3: PUSH2 0x4359 000015a6: JUMP 000015a7: JUMPDEST 000015a8: SWAP2 000015a9: POP 000015aa: PUSH2 0x15b2 000015ad: DUP2 000015ae: PUSH2 0x4371 000015b1: JUMP 000015b2: JUMPDEST 000015b3: SWAP1 000015b4: POP 000015b5: PUSH2 0x1571 000015b8: JUMP 000015b9: JUMPDEST 000015ba: POP 000015bb: PUSH1 0x00 000015bd: DUP5 000015be: PUSH8 0xffffffffffffffff 000015c7: DUP2 000015c8: GT 000015c9: ISZERO 000015ca: PUSH2 0x15d5 000015cd: JUMPI 000015ce: PUSH2 0x15d5 000015d1: PUSH2 0x3b4a 000015d4: JUMP 000015d5: JUMPDEST 000015d6: PUSH1 0x40 000015d8: MLOAD 000015d9: SWAP1 000015da: DUP1 000015db: DUP3 000015dc: MSTORE 000015dd: DUP1 000015de: PUSH1 0x20 000015e0: MUL 000015e1: PUSH1 0x20 000015e3: ADD 000015e4: DUP3 000015e5: ADD 000015e6: PUSH1 0x40 000015e8: MSTORE 000015e9: DUP1 000015ea: ISZERO 000015eb: PUSH2 0x15fe 000015ee: JUMPI 000015ef: DUP2 000015f0: PUSH1 0x20 000015f2: ADD 000015f3: PUSH1 0x20 000015f5: DUP3 000015f6: MUL 000015f7: DUP1 000015f8: CALLDATASIZE 000015f9: DUP4 000015fa: CALLDATACOPY 000015fb: ADD 000015fc: SWAP1 000015fd: POP 000015fe: JUMPDEST 000015ff: POP 00001600: SWAP1 00001601: POP 00001602: PUSH1 0x00 00001604: JUMPDEST 00001605: DUP6 00001606: DUP2 00001607: LT 00001608: ISZERO 00001609: PUSH2 0x1681 0000160c: JUMPI 0000160d: PUSH1 0x00 0000160f: DUP1 00001610: PUSH2 0x1619 00001613: DUP4 00001614: DUP11 00001615: PUSH2 0x4359 00001618: JUMP 00001619: JUMPDEST 0000161a: SWAP1 0000161b: POP 0000161c: DUP13 0000161d: DUP2 0000161e: EQ 0000161f: ISZERO 00001620: PUSH2 0x162c 00001623: JUMPI 00001624: DUP10 00001625: MLOAD 00001626: SWAP2 00001627: POP 00001628: PUSH2 0x1643 0000162b: JUMP 0000162c: JUMPDEST 0000162d: PUSH1 0x00 0000162f: DUP2 00001630: DUP2 00001631: MSTORE 00001632: PUSH1 0x0d 00001634: PUSH1 0x20 00001636: MSTORE 00001637: PUSH1 0x40 00001639: SWAP1 0000163a: KECCAK256 0000163b: SLOAD 0000163c: PUSH3 0xffffff 00001640: AND 00001641: SWAP2 00001642: POP 00001643: JUMPDEST 00001644: DUP2 00001645: DUP5 00001646: DUP5 00001647: DUP2 00001648: MLOAD 00001649: DUP2 0000164a: LT 0000164b: PUSH2 0x1656 0000164e: JUMPI 0000164f: PUSH2 0x1656 00001652: PUSH2 0x42fb 00001655: JUMP 00001656: JUMPDEST 00001657: PUSH1 0x20 00001659: MUL 0000165a: PUSH1 0x20 0000165c: ADD 0000165d: ADD 0000165e: SWAP1 0000165f: PUSH3 0xffffff 00001663: AND 00001664: SWAP1 00001665: DUP2 00001666: PUSH3 0xffffff 0000166a: AND 0000166b: DUP2 0000166c: MSTORE 0000166d: POP 0000166e: POP 0000166f: POP 00001670: POP 00001671: DUP1 00001672: PUSH2 0x167a 00001675: SWAP1 00001676: PUSH2 0x4371 00001679: JUMP 0000167a: JUMPDEST 0000167b: SWAP1 0000167c: POP 0000167d: PUSH2 0x1604 00001680: JUMP 00001681: JUMPDEST 00001682: POP 00001683: PUSH1 0x00 00001685: PUSH2 0x168f 00001688: DUP4 00001689: DUP4 0000168a: DUP8 0000168b: PUSH2 0x0b3b 0000168e: JUMP 0000168f: JUMPDEST 00001690: SWAP1 00001691: POP 00001692: PUSH2 0x169a 00001695: DUP2 00001696: PUSH2 0x268f 00001699: JUMP 0000169a: JUMPDEST 0000169b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000016b0: DUP12 000016b1: AND 000016b2: PUSH1 0x00 000016b4: SWAP1 000016b5: DUP2 000016b6: MSTORE 000016b7: PUSH1 0x0f 000016b9: PUSH1 0x20 000016bb: SWAP1 000016bc: DUP2 000016bd: MSTORE 000016be: PUSH1 0x40 000016c0: DUP1 000016c1: DUP4 000016c2: KECCAK256 000016c3: DUP16 000016c4: DUP5 000016c5: MSTORE 000016c6: SWAP1 000016c7: SWAP2 000016c8: MSTORE 000016c9: SWAP1 000016ca: KECCAK256 000016cb: SSTORE 000016cc: SWAP8 000016cd: POP 000016ce: POP 000016cf: POP 000016d0: POP 000016d1: POP 000016d2: POP 000016d3: POP 000016d4: POP 000016d5: SWAP3 000016d6: SWAP2 000016d7: POP 000016d8: POP 000016d9: JUMP 000016da: JUMPDEST 000016db: PUSH2 0x0adf 000016de: DUP4 000016df: DUP4 000016e0: DUP4 000016e1: PUSH1 0x40 000016e3: MLOAD 000016e4: DUP1 000016e5: PUSH1 0x20 000016e7: ADD 000016e8: PUSH1 0x40 000016ea: MSTORE 000016eb: DUP1 000016ec: PUSH1 0x00 000016ee: DUP2 000016ef: MSTORE 000016f0: POP 000016f1: PUSH2 0x1b75 000016f4: JUMP 000016f5: JUMPDEST 000016f6: PUSH1 0x00 000016f8: PUSH2 0x1700 000016fb: PUSH1 0x0a 000016fd: SLOAD 000016fe: SWAP1 000016ff: JUMP 00001700: JUMPDEST 00001701: DUP3 00001702: LT 00001703: PUSH2 0x178e 00001706: JUMPI 00001707: PUSH1 0x40 00001709: MLOAD 0000170a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000172b: DUP2 0000172c: MSTORE 0000172d: PUSH1 0x20 0000172f: PUSH1 0x04 00001731: DUP3 00001732: ADD 00001733: MSTORE 00001734: PUSH1 0x2c 00001736: PUSH1 0x24 00001738: DUP3 00001739: ADD 0000173a: MSTORE 0000173b: PUSH32 0x455243373231456e756d657261626c653a20676c6f62616c20696e646578206f 0000175c: PUSH1 0x44 0000175e: DUP3 0000175f: ADD 00001760: MSTORE 00001761: PUSH32 0x7574206f6620626f756e64730000000000000000000000000000000000000000 00001782: PUSH1 0x64 00001784: DUP3 00001785: ADD 00001786: MSTORE 00001787: PUSH1 0x84 00001789: ADD 0000178a: PUSH2 0x0925 0000178d: JUMP 0000178e: JUMPDEST 0000178f: PUSH1 0x0a 00001791: DUP3 00001792: DUP2 00001793: SLOAD 00001794: DUP2 00001795: LT 00001796: PUSH2 0x17a1 00001799: JUMPI 0000179a: PUSH2 0x17a1 0000179d: PUSH2 0x42fb 000017a0: JUMP 000017a1: JUMPDEST 000017a2: SWAP1 000017a3: PUSH1 0x00 000017a5: MSTORE 000017a6: PUSH1 0x20 000017a8: PUSH1 0x00 000017aa: KECCAK256 000017ab: ADD 000017ac: SLOAD 000017ad: SWAP1 000017ae: POP 000017af: SWAP2 000017b0: SWAP1 000017b1: POP 000017b2: JUMP 000017b3: JUMPDEST 000017b4: PUSH1 0x00 000017b6: DUP2 000017b7: DUP2 000017b8: MSTORE 000017b9: PUSH1 0x02 000017bb: PUSH1 0x20 000017bd: MSTORE 000017be: PUSH1 0x40 000017c0: DUP2 000017c1: KECCAK256 000017c2: SLOAD 000017c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000017d8: AND 000017d9: DUP1 000017da: PUSH2 0x07e0 000017dd: JUMPI 000017de: PUSH1 0x40 000017e0: MLOAD 000017e1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001802: DUP2 00001803: MSTORE 00001804: PUSH1 0x20 00001806: PUSH1 0x04 00001808: DUP3 00001809: ADD 0000180a: MSTORE 0000180b: PUSH1 0x29 0000180d: PUSH1 0x24 0000180f: DUP3 00001810: ADD 00001811: MSTORE 00001812: PUSH32 0x4552433732313a206f776e657220717565727920666f72206e6f6e6578697374 00001833: PUSH1 0x44 00001835: DUP3 00001836: ADD 00001837: MSTORE 00001838: PUSH32 0x656e7420746f6b656e0000000000000000000000000000000000000000000000 00001859: PUSH1 0x64 0000185b: DUP3 0000185c: ADD 0000185d: MSTORE 0000185e: PUSH1 0x84 00001860: ADD 00001861: PUSH2 0x0925 00001864: JUMP 00001865: JUMPDEST 00001866: PUSH1 0x00 00001868: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000187d: DUP3 0000187e: AND 0000187f: PUSH2 0x190a 00001882: JUMPI 00001883: PUSH1 0x40 00001885: MLOAD 00001886: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000018a7: DUP2 000018a8: MSTORE 000018a9: PUSH1 0x20 000018ab: PUSH1 0x04 000018ad: DUP3 000018ae: ADD 000018af: MSTORE 000018b0: PUSH1 0x2a 000018b2: PUSH1 0x24 000018b4: DUP3 000018b5: ADD 000018b6: MSTORE 000018b7: PUSH32 0x4552433732313a2062616c616e636520717565727920666f7220746865207a65 000018d8: PUSH1 0x44 000018da: DUP3 000018db: ADD 000018dc: MSTORE 000018dd: PUSH32 0x726f206164647265737300000000000000000000000000000000000000000000 000018fe: PUSH1 0x64 00001900: DUP3 00001901: ADD 00001902: MSTORE 00001903: PUSH1 0x84 00001905: ADD 00001906: PUSH2 0x0925 00001909: JUMP 0000190a: JUMPDEST 0000190b: POP 0000190c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001921: AND 00001922: PUSH1 0x00 00001924: SWAP1 00001925: DUP2 00001926: MSTORE 00001927: PUSH1 0x03 00001929: PUSH1 0x20 0000192b: MSTORE 0000192c: PUSH1 0x40 0000192e: SWAP1 0000192f: KECCAK256 00001930: SLOAD 00001931: SWAP1 00001932: JUMP 00001933: JUMPDEST 00001934: PUSH1 0x06 00001936: SLOAD 00001937: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000194c: AND 0000194d: CALLER 0000194e: EQ 0000194f: PUSH2 0x19b4 00001952: JUMPI 00001953: PUSH1 0x40 00001955: MLOAD 00001956: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001977: DUP2 00001978: MSTORE 00001979: PUSH1 0x20 0000197b: PUSH1 0x04 0000197d: DUP3 0000197e: ADD 0000197f: DUP2 00001980: SWAP1 00001981: MSTORE 00001982: PUSH1 0x24 00001984: DUP3 00001985: ADD 00001986: MSTORE 00001987: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000019a8: PUSH1 0x44 000019aa: DUP3 000019ab: ADD 000019ac: MSTORE 000019ad: PUSH1 0x64 000019af: ADD 000019b0: PUSH2 0x0925 000019b3: JUMP 000019b4: JUMPDEST 000019b5: PUSH2 0x19be 000019b8: PUSH1 0x00 000019ba: PUSH2 0x269c 000019bd: JUMP 000019be: JUMPDEST 000019bf: JUMP 000019c0: JUMPDEST 000019c1: PUSH1 0x00 000019c3: PUSH2 0x19cc 000019c6: PUSH1 0x01 000019c8: PUSH2 0x2713 000019cb: JUMP 000019cc: JUMPDEST 000019cd: SWAP1 000019ce: POP 000019cf: DUP1 000019d0: ISZERO 000019d1: PUSH2 0x1a15 000019d4: JUMPI 000019d5: PUSH1 0x06 000019d7: DUP1 000019d8: SLOAD 000019d9: PUSH32 0xffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffff 000019fa: AND 000019fb: PUSH22 0x01000000000000000000000000000000000000000000 00001a12: OR 00001a13: SWAP1 00001a14: SSTORE 00001a15: JUMPDEST 00001a16: PUSH2 0x1a1e 00001a19: DUP7 00001a1a: PUSH2 0x269c 00001a1d: JUMP 00001a1e: JUMPDEST 00001a1f: PUSH2 0x1a2a 00001a22: PUSH1 0x11 00001a24: DUP7 00001a25: DUP7 00001a26: PUSH2 0x3968 00001a29: JUMP 00001a2a: JUMPDEST 00001a2b: POP 00001a2c: PUSH2 0x1a37 00001a2f: PUSH1 0x12 00001a31: DUP5 00001a32: DUP5 00001a33: PUSH2 0x3968 00001a36: JUMP 00001a37: JUMPDEST 00001a38: POP 00001a39: PUSH1 0x02 00001a3b: PUSH1 0x0c 00001a3d: SSTORE 00001a3e: PUSH1 0x40 00001a40: DUP1 00001a41: MLOAD 00001a42: PUSH1 0x60 00001a44: DUP2 00001a45: ADD 00001a46: DUP3 00001a47: MSTORE 00001a48: PUSH3 0x0f4240 00001a4c: DUP2 00001a4d: MSTORE 00001a4e: PUSH1 0x01 00001a50: PUSH1 0x20 00001a52: DUP1 00001a53: DUP4 00001a54: ADD 00001a55: DUP3 00001a56: DUP2 00001a57: MSTORE 00001a58: SWAP4 00001a59: DUP4 00001a5a: ADD 00001a5b: DUP3 00001a5c: DUP2 00001a5d: MSTORE 00001a5e: PUSH1 0x00 00001a60: DUP4 00001a61: SWAP1 00001a62: MSTORE 00001a63: PUSH1 0x0d 00001a65: SWAP1 00001a66: SWAP2 00001a67: MSTORE 00001a68: SWAP2 00001a69: MLOAD 00001a6a: SWAP3 00001a6b: MLOAD 00001a6c: PUSH29 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00001a8a: AND 00001a8b: PUSH4 0x01000000 00001a90: MUL 00001a91: PUSH3 0xffffff 00001a95: SWAP4 00001a96: SWAP1 00001a97: SWAP4 00001a98: AND 00001a99: SWAP3 00001a9a: SWAP1 00001a9b: SWAP3 00001a9c: OR 00001a9d: PUSH32 0xfd54ff1ed53f34a900b24c5ba64f85761163b5d82d98a47b9bd80e45466993c5 00001abe: SSTORE 00001abf: MLOAD 00001ac0: PUSH32 0xfd54ff1ed53f34a900b24c5ba64f85761163b5d82d98a47b9bd80e45466993c6 00001ae1: SSTORE 00001ae2: PUSH2 0x1aec 00001ae5: SWAP1 00001ae6: DUP8 00001ae7: SWAP1 00001ae8: PUSH2 0x2668 00001aeb: JUMP 00001aec: JUMPDEST 00001aed: DUP1 00001aee: ISZERO 00001aef: PUSH2 0x1b4f 00001af2: JUMPI 00001af3: PUSH1 0x06 00001af5: DUP1 00001af6: SLOAD 00001af7: PUSH32 0xffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffffff 00001b18: AND 00001b19: SWAP1 00001b1a: SSTORE 00001b1b: PUSH1 0x40 00001b1d: MLOAD 00001b1e: PUSH1 0x01 00001b20: DUP2 00001b21: MSTORE 00001b22: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498 00001b43: SWAP1 00001b44: PUSH1 0x20 00001b46: ADD 00001b47: PUSH1 0x40 00001b49: MLOAD 00001b4a: DUP1 00001b4b: SWAP2 00001b4c: SUB 00001b4d: SWAP1 00001b4e: LOG1 00001b4f: JUMPDEST 00001b50: POP 00001b51: POP 00001b52: POP 00001b53: POP 00001b54: POP 00001b55: POP 00001b56: JUMP 00001b57: JUMPDEST 00001b58: PUSH1 0x60 00001b5a: PUSH1 0x12 00001b5c: DUP1 00001b5d: SLOAD 00001b5e: PUSH2 0x07f5 00001b61: SWAP1 00001b62: PUSH2 0x42a7 00001b65: JUMP 00001b66: JUMPDEST 00001b67: PUSH2 0x1b71 00001b6a: CALLER 00001b6b: DUP4 00001b6c: DUP4 00001b6d: PUSH2 0x28e4 00001b70: JUMP 00001b71: JUMPDEST 00001b72: POP 00001b73: POP 00001b74: JUMP 00001b75: JUMPDEST 00001b76: PUSH2 0x1b7f 00001b79: CALLER 00001b7a: DUP4 00001b7b: PUSH2 0x21ae 00001b7e: JUMP 00001b7f: JUMPDEST 00001b80: PUSH2 0x1c0b 00001b83: JUMPI 00001b84: PUSH1 0x40 00001b86: MLOAD 00001b87: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001ba8: DUP2 00001ba9: MSTORE 00001baa: PUSH1 0x20 00001bac: PUSH1 0x04 00001bae: DUP3 00001baf: ADD 00001bb0: MSTORE 00001bb1: PUSH1 0x31 00001bb3: PUSH1 0x24 00001bb5: DUP3 00001bb6: ADD 00001bb7: MSTORE 00001bb8: PUSH32 0x4552433732313a207472616e736665722063616c6c6572206973206e6f74206f 00001bd9: PUSH1 0x44 00001bdb: DUP3 00001bdc: ADD 00001bdd: MSTORE 00001bde: PUSH32 0x776e6572206e6f7220617070726f766564000000000000000000000000000000 00001bff: PUSH1 0x64 00001c01: DUP3 00001c02: ADD 00001c03: MSTORE 00001c04: PUSH1 0x84 00001c06: ADD 00001c07: PUSH2 0x0925 00001c0a: JUMP 00001c0b: JUMPDEST 00001c0c: PUSH2 0x1c17 00001c0f: DUP5 00001c10: DUP5 00001c11: DUP5 00001c12: DUP5 00001c13: PUSH2 0x2a12 00001c16: JUMP 00001c17: JUMPDEST 00001c18: POP 00001c19: POP 00001c1a: POP 00001c1b: POP 00001c1c: JUMP 00001c1d: JUMPDEST 00001c1e: PUSH1 0x06 00001c20: SLOAD 00001c21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001c36: AND 00001c37: CALLER 00001c38: EQ 00001c39: PUSH2 0x1c9e 00001c3c: JUMPI 00001c3d: PUSH1 0x40 00001c3f: MLOAD 00001c40: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001c61: DUP2 00001c62: MSTORE 00001c63: PUSH1 0x20 00001c65: PUSH1 0x04 00001c67: DUP3 00001c68: ADD 00001c69: DUP2 00001c6a: SWAP1 00001c6b: MSTORE 00001c6c: PUSH1 0x24 00001c6e: DUP3 00001c6f: ADD 00001c70: MSTORE 00001c71: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001c92: PUSH1 0x44 00001c94: DUP3 00001c95: ADD 00001c96: MSTORE 00001c97: PUSH1 0x64 00001c99: ADD 00001c9a: PUSH2 0x0925 00001c9d: JUMP 00001c9e: JUMPDEST 00001c9f: PUSH1 0x07 00001ca1: DUP1 00001ca2: SLOAD 00001ca3: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00001cc4: AND 00001cc5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001cda: SWAP3 00001cdb: SWAP1 00001cdc: SWAP3 00001cdd: AND 00001cde: SWAP2 00001cdf: SWAP1 00001ce0: SWAP2 00001ce1: OR 00001ce2: SWAP1 00001ce3: SSTORE 00001ce4: JUMP 00001ce5: JUMPDEST 00001ce6: PUSH1 0x60 00001ce8: PUSH2 0x07e0 00001ceb: DUP3 00001cec: PUSH2 0x2ab5 00001cef: JUMP 00001cf0: JUMPDEST 00001cf1: PUSH1 0x60 00001cf3: PUSH1 0x00 00001cf5: DUP5 00001cf6: PUSH8 0xffffffffffffffff 00001cff: DUP2 00001d00: GT 00001d01: ISZERO 00001d02: PUSH2 0x1d0d 00001d05: JUMPI 00001d06: PUSH2 0x1d0d 00001d09: PUSH2 0x3b4a 00001d0c: JUMP 00001d0d: JUMPDEST 00001d0e: PUSH1 0x40 00001d10: MLOAD 00001d11: SWAP1 00001d12: DUP1 00001d13: DUP3 00001d14: MSTORE 00001d15: DUP1 00001d16: PUSH1 0x20 00001d18: MUL 00001d19: PUSH1 0x20 00001d1b: ADD 00001d1c: DUP3 00001d1d: ADD 00001d1e: PUSH1 0x40 00001d20: MSTORE 00001d21: DUP1 00001d22: ISZERO 00001d23: PUSH2 0x1d36 00001d26: JUMPI 00001d27: DUP2 00001d28: PUSH1 0x20 00001d2a: ADD 00001d2b: PUSH1 0x20 00001d2d: DUP3 00001d2e: MUL 00001d2f: DUP1 00001d30: CALLDATASIZE 00001d31: DUP4 00001d32: CALLDATACOPY 00001d33: ADD 00001d34: SWAP1 00001d35: POP 00001d36: JUMPDEST 00001d37: POP 00001d38: SWAP1 00001d39: POP 00001d3a: PUSH1 0x00 00001d3c: JUMPDEST 00001d3d: DUP6 00001d3e: DUP2 00001d3f: LT 00001d40: ISZERO 00001d41: PUSH2 0x1da3 00001d44: JUMPI 00001d45: PUSH2 0x1d76 00001d48: DUP9 00001d49: DUP9 00001d4a: DUP9 00001d4b: DUP5 00001d4c: DUP2 00001d4d: DUP2 00001d4e: LT 00001d4f: PUSH2 0x1d5a 00001d52: JUMPI 00001d53: PUSH2 0x1d5a 00001d56: PUSH2 0x42fb 00001d59: JUMP 00001d5a: JUMPDEST 00001d5b: SWAP1 00001d5c: POP 00001d5d: PUSH1 0x20 00001d5f: MUL 00001d60: ADD 00001d61: PUSH1 0x20 00001d63: DUP2 00001d64: ADD 00001d65: SWAP1 00001d66: PUSH2 0x1d6f 00001d69: SWAP2 00001d6a: SWAP1 00001d6b: PUSH2 0x3df0 00001d6e: JUMP 00001d6f: JUMPDEST 00001d70: DUP8 00001d71: DUP8 00001d72: PUSH2 0x2c37 00001d75: JUMP 00001d76: JUMPDEST 00001d77: DUP3 00001d78: DUP3 00001d79: DUP2 00001d7a: MLOAD 00001d7b: DUP2 00001d7c: LT 00001d7d: PUSH2 0x1d88 00001d80: JUMPI 00001d81: PUSH2 0x1d88 00001d84: PUSH2 0x42fb 00001d87: JUMP 00001d88: JUMPDEST 00001d89: PUSH1 0x20 00001d8b: SWAP1 00001d8c: DUP2 00001d8d: MUL 00001d8e: SWAP2 00001d8f: SWAP1 00001d90: SWAP2 00001d91: ADD 00001d92: ADD 00001d93: MSTORE 00001d94: PUSH2 0x1d9c 00001d97: DUP2 00001d98: PUSH2 0x4371 00001d9b: JUMP 00001d9c: JUMPDEST 00001d9d: SWAP1 00001d9e: POP 00001d9f: PUSH2 0x1d3c 00001da2: JUMP 00001da3: JUMPDEST 00001da4: POP 00001da5: SWAP7 00001da6: SWAP6 00001da7: POP 00001da8: POP 00001da9: POP 00001daa: POP 00001dab: POP 00001dac: POP 00001dad: JUMP 00001dae: JUMPDEST 00001daf: PUSH1 0x00 00001db1: DUP1 00001db2: PUSH1 0x00 00001db4: DUP1 00001db5: JUMPDEST 00001db6: DUP5 00001db7: MLOAD 00001db8: DUP2 00001db9: LT 00001dba: ISZERO 00001dbb: PUSH2 0x1e10 00001dbe: JUMPI 00001dbf: PUSH1 0x0d 00001dc1: PUSH1 0x00 00001dc3: DUP7 00001dc4: DUP4 00001dc5: DUP2 00001dc6: MLOAD 00001dc7: DUP2 00001dc8: LT 00001dc9: PUSH2 0x1dd4 00001dcc: JUMPI 00001dcd: PUSH2 0x1dd4 00001dd0: PUSH2 0x42fb 00001dd3: JUMP 00001dd4: JUMPDEST 00001dd5: PUSH1 0x20 00001dd7: SWAP1 00001dd8: DUP2 00001dd9: MUL 00001dda: SWAP2 00001ddb: SWAP1 00001ddc: SWAP2 00001ddd: ADD 00001dde: DUP2 00001ddf: ADD 00001de0: MLOAD 00001de1: DUP3 00001de2: MSTORE 00001de3: DUP2 00001de4: ADD 00001de5: SWAP2 00001de6: SWAP1 00001de7: SWAP2 00001de8: MSTORE 00001de9: PUSH1 0x40 00001deb: ADD 00001dec: PUSH1 0x00 00001dee: KECCAK256 00001def: SLOAD 00001df0: PUSH2 0x1dfe 00001df3: SWAP1 00001df4: PUSH3 0xffffff 00001df8: AND 00001df9: DUP4 00001dfa: PUSH2 0x4359 00001dfd: JUMP 00001dfe: JUMPDEST 00001dff: SWAP2 00001e00: POP 00001e01: PUSH2 0x1e09 00001e04: DUP2 00001e05: PUSH2 0x4371 00001e08: JUMP 00001e09: JUMPDEST 00001e0a: SWAP1 00001e0b: POP 00001e0c: PUSH2 0x1db5 00001e0f: JUMP 00001e10: JUMPDEST 00001e11: POP 00001e12: PUSH1 0x40 00001e14: DUP1 00001e15: MLOAD 00001e16: PUSH1 0x01 00001e18: DUP1 00001e19: DUP3 00001e1a: MSTORE 00001e1b: DUP2 00001e1c: DUP4 00001e1d: ADD 00001e1e: SWAP1 00001e1f: SWAP3 00001e20: MSTORE 00001e21: SWAP2 00001e22: SWAP3 00001e23: POP 00001e24: DUP3 00001e25: SWAP2 00001e26: PUSH1 0x00 00001e28: SWAP2 00001e29: DUP2 00001e2a: PUSH1 0x20 00001e2c: ADD 00001e2d: JUMPDEST 00001e2e: PUSH1 0x40 00001e30: DUP1 00001e31: MLOAD 00001e32: DUP1 00001e33: DUP3 00001e34: ADD 00001e35: SWAP1 00001e36: SWAP2 00001e37: MSTORE 00001e38: PUSH1 0x00 00001e3a: DUP1 00001e3b: DUP3 00001e3c: MSTORE 00001e3d: PUSH1 0x20 00001e3f: DUP3 00001e40: ADD 00001e41: MSTORE 00001e42: DUP2 00001e43: MSTORE 00001e44: PUSH1 0x20 00001e46: ADD 00001e47: SWAP1 00001e48: PUSH1 0x01 00001e4a: SWAP1 00001e4b: SUB 00001e4c: SWAP1 00001e4d: DUP2 00001e4e: PUSH2 0x1e2d 00001e51: JUMPI 00001e52: SWAP1 00001e53: POP 00001e54: POP 00001e55: SWAP1 00001e56: POP 00001e57: CALLER 00001e58: DUP2 00001e59: PUSH1 0x00 00001e5b: DUP2 00001e5c: MLOAD 00001e5d: DUP2 00001e5e: LT 00001e5f: PUSH2 0x1e6a 00001e62: JUMPI 00001e63: PUSH2 0x1e6a 00001e66: PUSH2 0x42fb 00001e69: JUMP 00001e6a: JUMPDEST 00001e6b: PUSH1 0x20 00001e6d: MUL 00001e6e: PUSH1 0x20 00001e70: ADD 00001e71: ADD 00001e72: MLOAD 00001e73: PUSH1 0x20 00001e75: ADD 00001e76: SWAP1 00001e77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001e8c: AND 00001e8d: SWAP1 00001e8e: DUP2 00001e8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001ea4: AND 00001ea5: DUP2 00001ea6: MSTORE 00001ea7: POP 00001ea8: POP 00001ea9: DUP3 00001eaa: DUP2 00001eab: PUSH1 0x00 00001ead: DUP2 00001eae: MLOAD 00001eaf: DUP2 00001eb0: LT 00001eb1: PUSH2 0x1ebc 00001eb4: JUMPI 00001eb5: PUSH2 0x1ebc 00001eb8: PUSH2 0x42fb 00001ebb: JUMP 00001ebc: JUMPDEST 00001ebd: PUSH1 0x20 00001ebf: SWAP1 00001ec0: DUP2 00001ec1: MUL 00001ec2: SWAP2 00001ec3: SWAP1 00001ec4: SWAP2 00001ec5: ADD 00001ec6: ADD 00001ec7: MLOAD 00001ec8: PUSH3 0xffffff 00001ecc: SWAP1 00001ecd: SWAP2 00001ece: AND 00001ecf: SWAP1 00001ed0: MSTORE 00001ed1: PUSH2 0x1eda 00001ed4: DUP6 00001ed5: DUP3 00001ed6: PUSH2 0x0e85 00001ed9: JUMP 00001eda: JUMPDEST 00001edb: SWAP4 00001edc: POP 00001edd: DUP3 00001ede: PUSH3 0xffffff 00001ee2: AND 00001ee3: DUP3 00001ee4: EQ 00001ee5: PUSH2 0x1ef0 00001ee8: JUMPI 00001ee9: PUSH2 0x1ef0 00001eec: PUSH2 0x44e5 00001eef: JUMP 00001ef0: JUMPDEST 00001ef1: POP 00001ef2: POP 00001ef3: SWAP2 00001ef4: POP 00001ef5: SWAP2 00001ef6: JUMP 00001ef7: JUMPDEST 00001ef8: PUSH1 0x60 00001efa: PUSH2 0x1f06 00001efd: DUP6 00001efe: DUP6 00001eff: DUP6 00001f00: CALLER 00001f01: DUP7 00001f02: PUSH2 0x1cf0 00001f05: JUMP 00001f06: JUMPDEST 00001f07: SWAP6 00001f08: SWAP5 00001f09: POP 00001f0a: POP 00001f0b: POP 00001f0c: POP 00001f0d: POP 00001f0e: JUMP 00001f0f: JUMPDEST 00001f10: PUSH1 0x06 00001f12: SLOAD 00001f13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001f28: AND 00001f29: CALLER 00001f2a: EQ 00001f2b: PUSH2 0x1f90 00001f2e: JUMPI 00001f2f: PUSH1 0x40 00001f31: MLOAD 00001f32: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001f53: DUP2 00001f54: MSTORE 00001f55: PUSH1 0x20 00001f57: PUSH1 0x04 00001f59: DUP3 00001f5a: ADD 00001f5b: DUP2 00001f5c: SWAP1 00001f5d: MSTORE 00001f5e: PUSH1 0x24 00001f60: DUP3 00001f61: ADD 00001f62: MSTORE 00001f63: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001f84: PUSH1 0x44 00001f86: DUP3 00001f87: ADD 00001f88: MSTORE 00001f89: PUSH1 0x64 00001f8b: ADD 00001f8c: PUSH2 0x0925 00001f8f: JUMP 00001f90: JUMPDEST 00001f91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001fa6: DUP2 00001fa7: AND 00001fa8: PUSH2 0x2033 00001fab: JUMPI 00001fac: PUSH1 0x40 00001fae: MLOAD 00001faf: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00001fd0: DUP2 00001fd1: MSTORE 00001fd2: PUSH1 0x20 00001fd4: PUSH1 0x04 00001fd6: DUP3 00001fd7: ADD 00001fd8: MSTORE 00001fd9: PUSH1 0x26 00001fdb: PUSH1 0x24 00001fdd: DUP3 00001fde: ADD 00001fdf: MSTORE 00001fe0: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00002001: PUSH1 0x44 00002003: DUP3 00002004: ADD 00002005: MSTORE 00002006: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000 00002027: PUSH1 0x64 00002029: DUP3 0000202a: ADD 0000202b: MSTORE 0000202c: PUSH1 0x84 0000202e: ADD 0000202f: PUSH2 0x0925 00002032: JUMP 00002033: JUMPDEST 00002034: PUSH2 0x203c 00002037: DUP2 00002038: PUSH2 0x269c 0000203b: JUMP 0000203c: JUMPDEST 0000203d: POP 0000203e: JUMP 0000203f: JUMPDEST 00002040: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002055: DUP2 00002056: AND 00002057: PUSH1 0x00 00002059: SWAP1 0000205a: DUP2 0000205b: MSTORE 0000205c: PUSH1 0x0f 0000205e: PUSH1 0x20 00002060: SWAP1 00002061: DUP2 00002062: MSTORE 00002063: PUSH1 0x40 00002065: DUP1 00002066: DUP4 00002067: KECCAK256 00002068: DUP6 00002069: DUP5 0000206a: MSTORE 0000206b: SWAP1 0000206c: SWAP2 0000206d: MSTORE 0000206e: DUP2 0000206f: KECCAK256 00002070: SLOAD 00002071: DUP2 00002072: SWAP1 00002073: DUP1 00002074: PUSH2 0x2084 00002077: JUMPI 00002078: PUSH1 0x00 0000207a: DUP1 0000207b: SWAP3 0000207c: POP 0000207d: SWAP3 0000207e: POP 0000207f: POP 00002080: PUSH2 0x2095 00002083: JUMP 00002084: JUMPDEST 00002085: PUSH1 0x01 00002087: PUSH2 0x208f 0000208a: DUP3 0000208b: PUSH2 0x2682 0000208e: JUMP 0000208f: JUMPDEST 00002090: SWAP3 00002091: POP 00002092: SWAP3 00002093: POP 00002094: POP 00002095: JUMPDEST 00002096: SWAP3 00002097: POP 00002098: SWAP3 00002099: SWAP1 0000209a: POP 0000209b: JUMP 0000209c: JUMPDEST 0000209d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000020b2: AND 000020b3: EXTCODESIZE 000020b4: ISZERO 000020b5: ISZERO 000020b6: SWAP1 000020b7: JUMP 000020b8: JUMPDEST 000020b9: PUSH1 0x00 000020bb: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 000020dc: DUP3 000020dd: AND 000020de: PUSH32 0x780e9d6300000000000000000000000000000000000000000000000000000000 000020ff: EQ 00002100: DUP1 00002101: PUSH2 0x07e0 00002104: JUMPI 00002105: POP 00002106: PUSH2 0x07e0 00002109: DUP3 0000210a: PUSH2 0x3105 0000210d: JUMP 0000210e: JUMPDEST 0000210f: PUSH1 0x00 00002111: DUP2 00002112: DUP2 00002113: MSTORE 00002114: PUSH1 0x04 00002116: PUSH1 0x20 00002118: MSTORE 00002119: PUSH1 0x40 0000211b: SWAP1 0000211c: KECCAK256 0000211d: DUP1 0000211e: SLOAD 0000211f: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00002140: AND 00002141: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002156: DUP5 00002157: AND 00002158: SWAP1 00002159: DUP2 0000215a: OR 0000215b: SWAP1 0000215c: SWAP2 0000215d: SSTORE 0000215e: DUP2 0000215f: SWAP1 00002160: PUSH2 0x2168 00002163: DUP3 00002164: PUSH2 0x17b3 00002167: JUMP 00002168: JUMPDEST 00002169: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000217e: AND 0000217f: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000021a0: PUSH1 0x40 000021a2: MLOAD 000021a3: PUSH1 0x40 000021a5: MLOAD 000021a6: DUP1 000021a7: SWAP2 000021a8: SUB 000021a9: SWAP1 000021aa: LOG4 000021ab: POP 000021ac: POP 000021ad: JUMP 000021ae: JUMPDEST 000021af: PUSH1 0x00 000021b1: DUP2 000021b2: DUP2 000021b3: MSTORE 000021b4: PUSH1 0x02 000021b6: PUSH1 0x20 000021b8: MSTORE 000021b9: PUSH1 0x40 000021bb: DUP2 000021bc: KECCAK256 000021bd: SLOAD 000021be: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000021d3: AND 000021d4: PUSH2 0x225f 000021d7: JUMPI 000021d8: PUSH1 0x40 000021da: MLOAD 000021db: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000021fc: DUP2 000021fd: MSTORE 000021fe: PUSH1 0x20 00002200: PUSH1 0x04 00002202: DUP3 00002203: ADD 00002204: MSTORE 00002205: PUSH1 0x2c 00002207: PUSH1 0x24 00002209: DUP3 0000220a: ADD 0000220b: MSTORE 0000220c: PUSH32 0x4552433732313a206f70657261746f7220717565727920666f72206e6f6e6578 0000222d: PUSH1 0x44 0000222f: DUP3 00002230: ADD 00002231: MSTORE 00002232: PUSH32 0x697374656e7420746f6b656e0000000000000000000000000000000000000000 00002253: PUSH1 0x64 00002255: DUP3 00002256: ADD 00002257: MSTORE 00002258: PUSH1 0x84 0000225a: ADD 0000225b: PUSH2 0x0925 0000225e: JUMP 0000225f: JUMPDEST 00002260: PUSH1 0x00 00002262: PUSH2 0x226a 00002265: DUP4 00002266: PUSH2 0x17b3 00002269: JUMP 0000226a: JUMPDEST 0000226b: SWAP1 0000226c: POP 0000226d: DUP1 0000226e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002283: AND 00002284: DUP5 00002285: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000229a: AND 0000229b: EQ 0000229c: DUP1 0000229d: PUSH2 0x22d8 000022a0: JUMPI 000022a1: POP 000022a2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022b7: DUP1 000022b8: DUP3 000022b9: AND 000022ba: PUSH1 0x00 000022bc: SWAP1 000022bd: DUP2 000022be: MSTORE 000022bf: PUSH1 0x05 000022c1: PUSH1 0x20 000022c3: SWAP1 000022c4: DUP2 000022c5: MSTORE 000022c6: PUSH1 0x40 000022c8: DUP1 000022c9: DUP4 000022ca: KECCAK256 000022cb: SWAP4 000022cc: DUP9 000022cd: AND 000022ce: DUP4 000022cf: MSTORE 000022d0: SWAP3 000022d1: SWAP1 000022d2: MSTORE 000022d3: KECCAK256 000022d4: SLOAD 000022d5: PUSH1 0xff 000022d7: AND 000022d8: JUMPDEST 000022d9: DUP1 000022da: PUSH2 0x0b33 000022dd: JUMPI 000022de: POP 000022df: DUP4 000022e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000022f5: AND 000022f6: PUSH2 0x22fe 000022f9: DUP5 000022fa: PUSH2 0x0878 000022fd: JUMP 000022fe: JUMPDEST 000022ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002314: AND 00002315: EQ 00002316: SWAP5 00002317: SWAP4 00002318: POP 00002319: POP 0000231a: POP 0000231b: POP 0000231c: JUMP 0000231d: JUMPDEST 0000231e: DUP3 0000231f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002334: AND 00002335: PUSH2 0x233d 00002338: DUP3 00002339: PUSH2 0x17b3 0000233c: JUMP 0000233d: JUMPDEST 0000233e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002353: AND 00002354: EQ 00002355: PUSH2 0x23e0 00002358: JUMPI 00002359: PUSH1 0x40 0000235b: MLOAD 0000235c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000237d: DUP2 0000237e: MSTORE 0000237f: PUSH1 0x20 00002381: PUSH1 0x04 00002383: DUP3 00002384: ADD 00002385: MSTORE 00002386: PUSH1 0x25 00002388: PUSH1 0x24 0000238a: DUP3 0000238b: ADD 0000238c: MSTORE 0000238d: PUSH32 0x4552433732313a207472616e736665722066726f6d20696e636f727265637420 000023ae: PUSH1 0x44 000023b0: DUP3 000023b1: ADD 000023b2: MSTORE 000023b3: PUSH32 0x6f776e6572000000000000000000000000000000000000000000000000000000 000023d4: PUSH1 0x64 000023d6: DUP3 000023d7: ADD 000023d8: MSTORE 000023d9: PUSH1 0x84 000023db: ADD 000023dc: PUSH2 0x0925 000023df: JUMP 000023e0: JUMPDEST 000023e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000023f6: DUP3 000023f7: AND 000023f8: PUSH2 0x2482 000023fb: JUMPI 000023fc: PUSH1 0x40 000023fe: MLOAD 000023ff: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002420: DUP2 00002421: MSTORE 00002422: PUSH1 0x20 00002424: PUSH1 0x04 00002426: DUP3 00002427: ADD 00002428: MSTORE 00002429: PUSH1 0x24 0000242b: DUP1 0000242c: DUP3 0000242d: ADD 0000242e: MSTORE 0000242f: PUSH32 0x4552433732313a207472616e7366657220746f20746865207a65726f20616464 00002450: PUSH1 0x44 00002452: DUP3 00002453: ADD 00002454: MSTORE 00002455: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000 00002476: PUSH1 0x64 00002478: DUP3 00002479: ADD 0000247a: MSTORE 0000247b: PUSH1 0x84 0000247d: ADD 0000247e: PUSH2 0x0925 00002481: JUMP 00002482: JUMPDEST 00002483: PUSH2 0x248d 00002486: DUP4 00002487: DUP4 00002488: DUP4 00002489: PUSH2 0x31e8 0000248c: JUMP 0000248d: JUMPDEST 0000248e: PUSH2 0x2498 00002491: PUSH1 0x00 00002493: DUP3 00002494: PUSH2 0x210e 00002497: JUMP 00002498: JUMPDEST 00002499: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024ae: DUP4 000024af: AND 000024b0: PUSH1 0x00 000024b2: SWAP1 000024b3: DUP2 000024b4: MSTORE 000024b5: PUSH1 0x03 000024b7: PUSH1 0x20 000024b9: MSTORE 000024ba: PUSH1 0x40 000024bc: DUP2 000024bd: KECCAK256 000024be: DUP1 000024bf: SLOAD 000024c0: PUSH1 0x01 000024c2: SWAP3 000024c3: SWAP1 000024c4: PUSH2 0x24ce 000024c7: SWAP1 000024c8: DUP5 000024c9: SWAP1 000024ca: PUSH2 0x4422 000024cd: JUMP 000024ce: JUMPDEST 000024cf: SWAP1 000024d0: SWAP2 000024d1: SSTORE 000024d2: POP 000024d3: POP 000024d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000024e9: DUP3 000024ea: AND 000024eb: PUSH1 0x00 000024ed: SWAP1 000024ee: DUP2 000024ef: MSTORE 000024f0: PUSH1 0x03 000024f2: PUSH1 0x20 000024f4: MSTORE 000024f5: PUSH1 0x40 000024f7: DUP2 000024f8: KECCAK256 000024f9: DUP1 000024fa: SLOAD 000024fb: PUSH1 0x01 000024fd: SWAP3 000024fe: SWAP1 000024ff: PUSH2 0x2509 00002502: SWAP1 00002503: DUP5 00002504: SWAP1 00002505: PUSH2 0x4359 00002508: JUMP 00002509: JUMPDEST 0000250a: SWAP1 0000250b: SWAP2 0000250c: SSTORE 0000250d: POP 0000250e: POP 0000250f: PUSH1 0x00 00002511: DUP2 00002512: DUP2 00002513: MSTORE 00002514: PUSH1 0x02 00002516: PUSH1 0x20 00002518: MSTORE 00002519: PUSH1 0x40 0000251b: DUP1 0000251c: DUP3 0000251d: KECCAK256 0000251e: DUP1 0000251f: SLOAD 00002520: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00002541: AND 00002542: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002557: DUP7 00002558: DUP2 00002559: AND 0000255a: SWAP2 0000255b: DUP3 0000255c: OR 0000255d: SWAP1 0000255e: SWAP3 0000255f: SSTORE 00002560: SWAP2 00002561: MLOAD 00002562: DUP5 00002563: SWAP4 00002564: SWAP2 00002565: DUP8 00002566: AND 00002567: SWAP2 00002568: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00002589: SWAP2 0000258a: LOG4 0000258b: POP 0000258c: POP 0000258d: POP 0000258e: JUMP 0000258f: JUMPDEST 00002590: PUSH1 0x00 00002592: PUSH2 0x259a 00002595: DUP3 00002596: PUSH2 0x17b3 00002599: JUMP 0000259a: JUMPDEST 0000259b: SWAP1 0000259c: POP 0000259d: PUSH2 0x25a8 000025a0: DUP2 000025a1: PUSH1 0x00 000025a3: DUP5 000025a4: PUSH2 0x31e8 000025a7: JUMP 000025a8: JUMPDEST 000025a9: PUSH2 0x25b3 000025ac: PUSH1 0x00 000025ae: DUP4 000025af: PUSH2 0x210e 000025b2: JUMP 000025b3: JUMPDEST 000025b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000025c9: DUP2 000025ca: AND 000025cb: PUSH1 0x00 000025cd: SWAP1 000025ce: DUP2 000025cf: MSTORE 000025d0: PUSH1 0x03 000025d2: PUSH1 0x20 000025d4: MSTORE 000025d5: PUSH1 0x40 000025d7: DUP2 000025d8: KECCAK256 000025d9: DUP1 000025da: SLOAD 000025db: PUSH1 0x01 000025dd: SWAP3 000025de: SWAP1 000025df: PUSH2 0x25e9 000025e2: SWAP1 000025e3: DUP5 000025e4: SWAP1 000025e5: PUSH2 0x4422 000025e8: JUMP 000025e9: JUMPDEST 000025ea: SWAP1 000025eb: SWAP2 000025ec: SSTORE 000025ed: POP 000025ee: POP 000025ef: PUSH1 0x00 000025f1: DUP3 000025f2: DUP2 000025f3: MSTORE 000025f4: PUSH1 0x02 000025f6: PUSH1 0x20 000025f8: MSTORE 000025f9: PUSH1 0x40 000025fb: DUP1 000025fc: DUP3 000025fd: KECCAK256 000025fe: DUP1 000025ff: SLOAD 00002600: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 00002621: AND 00002622: SWAP1 00002623: SSTORE 00002624: MLOAD 00002625: DUP4 00002626: SWAP2 00002627: SWAP1 00002628: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000263d: DUP5 0000263e: AND 0000263f: SWAP1 00002640: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00002661: SWAP1 00002662: DUP4 00002663: SWAP1 00002664: LOG4 00002665: POP 00002666: POP 00002667: JUMP 00002668: JUMPDEST 00002669: PUSH2 0x1b71 0000266c: DUP3 0000266d: DUP3 0000266e: PUSH1 0x40 00002670: MLOAD 00002671: DUP1 00002672: PUSH1 0x20 00002674: ADD 00002675: PUSH1 0x40 00002677: MSTORE 00002678: DUP1 00002679: PUSH1 0x00 0000267b: DUP2 0000267c: MSTORE 0000267d: POP 0000267e: PUSH2 0x31f3 00002681: JUMP 00002682: JUMPDEST 00002683: PUSH1 0x00 00002685: PUSH2 0x07e0 00002688: PUSH1 0x01 0000268a: DUP4 0000268b: PUSH2 0x4422 0000268e: JUMP 0000268f: JUMPDEST 00002690: PUSH1 0x00 00002692: PUSH2 0x07e0 00002695: DUP3 00002696: PUSH1 0x01 00002698: PUSH2 0x4359 0000269b: JUMP 0000269c: JUMPDEST 0000269d: PUSH1 0x06 0000269f: DUP1 000026a0: SLOAD 000026a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000026b6: DUP4 000026b7: DUP2 000026b8: AND 000026b9: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 000026da: DUP4 000026db: AND 000026dc: DUP2 000026dd: OR 000026de: SWAP1 000026df: SWAP4 000026e0: SSTORE 000026e1: PUSH1 0x40 000026e3: MLOAD 000026e4: SWAP2 000026e5: AND 000026e6: SWAP2 000026e7: SWAP1 000026e8: DUP3 000026e9: SWAP1 000026ea: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 0000270b: SWAP1 0000270c: PUSH1 0x00 0000270e: SWAP1 0000270f: LOG3 00002710: POP 00002711: POP 00002712: JUMP 00002713: JUMPDEST 00002714: PUSH1 0x06 00002716: SLOAD 00002717: PUSH1 0x00 00002719: SWAP1 0000271a: PUSH22 0x01000000000000000000000000000000000000000000 00002731: SWAP1 00002732: DIV 00002733: PUSH1 0xff 00002735: AND 00002736: ISZERO 00002737: PUSH2 0x27e0 0000273a: JUMPI 0000273b: DUP2 0000273c: PUSH1 0xff 0000273e: AND 0000273f: PUSH1 0x01 00002741: EQ 00002742: DUP1 00002743: ISZERO 00002744: PUSH2 0x274c 00002747: JUMPI 00002748: POP 00002749: ADDRESS 0000274a: EXTCODESIZE 0000274b: ISZERO 0000274c: JUMPDEST 0000274d: PUSH2 0x27d8 00002750: JUMPI 00002751: PUSH1 0x40 00002753: MLOAD 00002754: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002775: DUP2 00002776: MSTORE 00002777: PUSH1 0x20 00002779: PUSH1 0x04 0000277b: DUP3 0000277c: ADD 0000277d: MSTORE 0000277e: PUSH1 0x2e 00002780: PUSH1 0x24 00002782: DUP3 00002783: ADD 00002784: MSTORE 00002785: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561 000027a6: PUSH1 0x44 000027a8: DUP3 000027a9: ADD 000027aa: MSTORE 000027ab: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000 000027cc: PUSH1 0x64 000027ce: DUP3 000027cf: ADD 000027d0: MSTORE 000027d1: PUSH1 0x84 000027d3: ADD 000027d4: PUSH2 0x0925 000027d7: JUMP 000027d8: JUMPDEST 000027d9: POP 000027da: PUSH1 0x00 000027dc: SWAP2 000027dd: SWAP1 000027de: POP 000027df: JUMP 000027e0: JUMPDEST 000027e1: PUSH1 0x06 000027e3: SLOAD 000027e4: PUSH1 0xff 000027e6: DUP1 000027e7: DUP5 000027e8: AND 000027e9: PUSH21 0x010000000000000000000000000000000000000000 000027ff: SWAP1 00002800: SWAP3 00002801: DIV 00002802: AND 00002803: LT 00002804: PUSH2 0x288f 00002807: JUMPI 00002808: PUSH1 0x40 0000280a: MLOAD 0000280b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000282c: DUP2 0000282d: MSTORE 0000282e: PUSH1 0x20 00002830: PUSH1 0x04 00002832: DUP3 00002833: ADD 00002834: MSTORE 00002835: PUSH1 0x2e 00002837: PUSH1 0x24 00002839: DUP3 0000283a: ADD 0000283b: MSTORE 0000283c: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561 0000285d: PUSH1 0x44 0000285f: DUP3 00002860: ADD 00002861: MSTORE 00002862: PUSH32 0x647920696e697469616c697a6564000000000000000000000000000000000000 00002883: PUSH1 0x64 00002885: DUP3 00002886: ADD 00002887: MSTORE 00002888: PUSH1 0x84 0000288a: ADD 0000288b: PUSH2 0x0925 0000288e: JUMP 0000288f: JUMPDEST 00002890: POP 00002891: PUSH1 0x06 00002893: DUP1 00002894: SLOAD 00002895: PUSH1 0xff 00002897: SWAP1 00002898: SWAP3 00002899: AND 0000289a: PUSH21 0x010000000000000000000000000000000000000000 000028b0: MUL 000028b1: PUSH32 0xffffffffffffffffffffff00ffffffffffffffffffffffffffffffffffffffff 000028d2: SWAP1 000028d3: SWAP3 000028d4: AND 000028d5: SWAP2 000028d6: SWAP1 000028d7: SWAP2 000028d8: OR 000028d9: SWAP1 000028da: SSTORE 000028db: PUSH1 0x01 000028dd: SWAP1 000028de: JUMP 000028df: JUMPDEST 000028e0: SWAP2 000028e1: SWAP1 000028e2: POP 000028e3: JUMP 000028e4: JUMPDEST 000028e5: DUP2 000028e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000028fb: AND 000028fc: DUP4 000028fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002912: AND 00002913: EQ 00002914: ISZERO 00002915: PUSH2 0x297a 00002918: JUMPI 00002919: PUSH1 0x40 0000291b: MLOAD 0000291c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 0000293d: DUP2 0000293e: MSTORE 0000293f: PUSH1 0x20 00002941: PUSH1 0x04 00002943: DUP3 00002944: ADD 00002945: MSTORE 00002946: PUSH1 0x19 00002948: PUSH1 0x24 0000294a: DUP3 0000294b: ADD 0000294c: MSTORE 0000294d: PUSH32 0x4552433732313a20617070726f766520746f2063616c6c657200000000000000 0000296e: PUSH1 0x44 00002970: DUP3 00002971: ADD 00002972: MSTORE 00002973: PUSH1 0x64 00002975: ADD 00002976: PUSH2 0x0925 00002979: JUMP 0000297a: JUMPDEST 0000297b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002990: DUP4 00002991: DUP2 00002992: AND 00002993: PUSH1 0x00 00002995: DUP2 00002996: DUP2 00002997: MSTORE 00002998: PUSH1 0x05 0000299a: PUSH1 0x20 0000299c: SWAP1 0000299d: DUP2 0000299e: MSTORE 0000299f: PUSH1 0x40 000029a1: DUP1 000029a2: DUP4 000029a3: KECCAK256 000029a4: SWAP5 000029a5: DUP8 000029a6: AND 000029a7: DUP1 000029a8: DUP5 000029a9: MSTORE 000029aa: SWAP5 000029ab: DUP3 000029ac: MSTORE 000029ad: SWAP2 000029ae: DUP3 000029af: SWAP1 000029b0: KECCAK256 000029b1: DUP1 000029b2: SLOAD 000029b3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 000029d4: AND 000029d5: DUP7 000029d6: ISZERO 000029d7: ISZERO 000029d8: SWAP1 000029d9: DUP2 000029da: OR 000029db: SWAP1 000029dc: SWAP2 000029dd: SSTORE 000029de: SWAP2 000029df: MLOAD 000029e0: SWAP2 000029e1: DUP3 000029e2: MSTORE 000029e3: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31 00002a04: SWAP2 00002a05: ADD 00002a06: PUSH1 0x40 00002a08: MLOAD 00002a09: DUP1 00002a0a: SWAP2 00002a0b: SUB 00002a0c: SWAP1 00002a0d: LOG3 00002a0e: POP 00002a0f: POP 00002a10: POP 00002a11: JUMP 00002a12: JUMPDEST 00002a13: PUSH2 0x2a1d 00002a16: DUP5 00002a17: DUP5 00002a18: DUP5 00002a19: PUSH2 0x231d 00002a1c: JUMP 00002a1d: JUMPDEST 00002a1e: PUSH2 0x2a29 00002a21: DUP5 00002a22: DUP5 00002a23: DUP5 00002a24: DUP5 00002a25: PUSH2 0x3296 00002a28: JUMP 00002a29: JUMPDEST 00002a2a: PUSH2 0x1c17 00002a2d: JUMPI 00002a2e: PUSH1 0x40 00002a30: MLOAD 00002a31: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002a52: DUP2 00002a53: MSTORE 00002a54: PUSH1 0x20 00002a56: PUSH1 0x04 00002a58: DUP3 00002a59: ADD 00002a5a: MSTORE 00002a5b: PUSH1 0x32 00002a5d: PUSH1 0x24 00002a5f: DUP3 00002a60: ADD 00002a61: MSTORE 00002a62: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265 00002a83: PUSH1 0x44 00002a85: DUP3 00002a86: ADD 00002a87: MSTORE 00002a88: PUSH32 0x63656976657220696d706c656d656e7465720000000000000000000000000000 00002aa9: PUSH1 0x64 00002aab: DUP3 00002aac: ADD 00002aad: MSTORE 00002aae: PUSH1 0x84 00002ab0: ADD 00002ab1: PUSH2 0x0925 00002ab4: JUMP 00002ab5: JUMPDEST 00002ab6: PUSH1 0x00 00002ab8: DUP2 00002ab9: DUP2 00002aba: MSTORE 00002abb: PUSH1 0x02 00002abd: PUSH1 0x20 00002abf: MSTORE 00002ac0: PUSH1 0x40 00002ac2: SWAP1 00002ac3: KECCAK256 00002ac4: SLOAD 00002ac5: PUSH1 0x60 00002ac7: SWAP1 00002ac8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002add: AND 00002ade: PUSH2 0x2b43 00002ae1: JUMPI 00002ae2: PUSH1 0x40 00002ae4: MLOAD 00002ae5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002b06: DUP2 00002b07: MSTORE 00002b08: PUSH1 0x20 00002b0a: PUSH1 0x04 00002b0c: DUP3 00002b0d: ADD 00002b0e: MSTORE 00002b0f: PUSH1 0x18 00002b11: PUSH1 0x24 00002b13: DUP3 00002b14: ADD 00002b15: MSTORE 00002b16: PUSH32 0x4552433732313a20696e76616c696420746f6b656e2049440000000000000000 00002b37: PUSH1 0x44 00002b39: DUP3 00002b3a: ADD 00002b3b: MSTORE 00002b3c: PUSH1 0x64 00002b3e: ADD 00002b3f: PUSH2 0x0925 00002b42: JUMP 00002b43: JUMPDEST 00002b44: PUSH1 0x07 00002b46: SLOAD 00002b47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002b5c: AND 00002b5d: DUP1 00002b5e: PUSH2 0x2b77 00002b61: JUMPI 00002b62: POP 00002b63: POP 00002b64: PUSH1 0x40 00002b66: DUP1 00002b67: MLOAD 00002b68: PUSH1 0x20 00002b6a: DUP2 00002b6b: ADD 00002b6c: SWAP1 00002b6d: SWAP2 00002b6e: MSTORE 00002b6f: PUSH1 0x00 00002b71: DUP2 00002b72: MSTORE 00002b73: SWAP2 00002b74: SWAP1 00002b75: POP 00002b76: JUMP 00002b77: JUMPDEST 00002b78: PUSH1 0x40 00002b7a: MLOAD 00002b7b: PUSH32 0xc87b56dd00000000000000000000000000000000000000000000000000000000 00002b9c: DUP2 00002b9d: MSTORE 00002b9e: PUSH1 0x04 00002ba0: DUP2 00002ba1: ADD 00002ba2: DUP5 00002ba3: SWAP1 00002ba4: MSTORE 00002ba5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002bba: DUP3 00002bbb: AND 00002bbc: SWAP1 00002bbd: PUSH4 0xc87b56dd 00002bc2: SWAP1 00002bc3: PUSH1 0x24 00002bc5: ADD 00002bc6: PUSH1 0x00 00002bc8: PUSH1 0x40 00002bca: MLOAD 00002bcb: DUP1 00002bcc: DUP4 00002bcd: SUB 00002bce: DUP2 00002bcf: DUP7 00002bd0: DUP1 00002bd1: EXTCODESIZE 00002bd2: ISZERO 00002bd3: DUP1 00002bd4: ISZERO 00002bd5: PUSH2 0x2bdd 00002bd8: JUMPI 00002bd9: PUSH1 0x00 00002bdb: DUP1 00002bdc: REVERT 00002bdd: JUMPDEST 00002bde: POP 00002bdf: GAS 00002be0: STATICCALL 00002be1: ISZERO 00002be2: DUP1 00002be3: ISZERO 00002be4: PUSH2 0x2bf1 00002be7: JUMPI 00002be8: RETURNDATASIZE 00002be9: PUSH1 0x00 00002beb: DUP1 00002bec: RETURNDATACOPY 00002bed: RETURNDATASIZE 00002bee: PUSH1 0x00 00002bf0: REVERT 00002bf1: JUMPDEST 00002bf2: POP 00002bf3: POP 00002bf4: POP 00002bf5: POP 00002bf6: PUSH1 0x40 00002bf8: MLOAD 00002bf9: RETURNDATASIZE 00002bfa: PUSH1 0x00 00002bfc: DUP3 00002bfd: RETURNDATACOPY 00002bfe: PUSH1 0x1f 00002c00: RETURNDATASIZE 00002c01: SWAP1 00002c02: DUP2 00002c03: ADD 00002c04: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00002c25: AND 00002c26: DUP3 00002c27: ADD 00002c28: PUSH1 0x40 00002c2a: MSTORE 00002c2b: PUSH2 0x0cd1 00002c2e: SWAP2 00002c2f: SWAP1 00002c30: DUP2 00002c31: ADD 00002c32: SWAP1 00002c33: PUSH2 0x4514 00002c36: JUMP 00002c37: JUMPDEST 00002c38: PUSH1 0x00 00002c3a: PUSH3 0x0f4240 00002c3e: PUSH3 0xffffff 00002c42: DUP4 00002c43: AND 00002c44: GT 00002c45: ISZERO 00002c46: PUSH2 0x2cab 00002c49: JUMPI 00002c4a: PUSH1 0x40 00002c4c: MLOAD 00002c4d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002c6e: DUP2 00002c6f: MSTORE 00002c70: PUSH1 0x20 00002c72: PUSH1 0x04 00002c74: DUP3 00002c75: ADD 00002c76: MSTORE 00002c77: PUSH1 0x1f 00002c79: PUSH1 0x24 00002c7b: DUP3 00002c7c: ADD 00002c7d: MSTORE 00002c7e: PUSH32 0x536861726477616c6c65743a206672616374696f6e20746f6f206c6172676500 00002c9f: PUSH1 0x44 00002ca1: DUP3 00002ca2: ADD 00002ca3: MSTORE 00002ca4: PUSH1 0x64 00002ca6: ADD 00002ca7: PUSH2 0x0925 00002caa: JUMP 00002cab: JUMPDEST 00002cac: PUSH2 0x2cb5 00002caf: CALLER 00002cb0: DUP7 00002cb1: PUSH2 0x21ae 00002cb4: JUMP 00002cb5: JUMPDEST 00002cb6: PUSH2 0x2d1b 00002cb9: JUMPI 00002cba: PUSH1 0x40 00002cbc: MLOAD 00002cbd: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00002cde: DUP2 00002cdf: MSTORE 00002ce0: PUSH1 0x20 00002ce2: PUSH1 0x04 00002ce4: DUP3 00002ce5: ADD 00002ce6: MSTORE 00002ce7: PUSH1 0x19 00002ce9: PUSH1 0x24 00002ceb: DUP3 00002cec: ADD 00002ced: MSTORE 00002cee: PUSH32 0x536861726477616c6c65743a20756e617574686f72697a656400000000000000 00002d0f: PUSH1 0x44 00002d11: DUP3 00002d12: ADD 00002d13: MSTORE 00002d14: PUSH1 0x64 00002d16: ADD 00002d17: PUSH2 0x0925 00002d1a: JUMP 00002d1b: JUMPDEST 00002d1c: PUSH1 0x00 00002d1e: DUP6 00002d1f: DUP2 00002d20: MSTORE 00002d21: PUSH1 0x0d 00002d23: PUSH1 0x20 00002d25: MSTORE 00002d26: PUSH1 0x40 00002d28: DUP2 00002d29: KECCAK256 00002d2a: SLOAD 00002d2b: PUSH3 0xffffff 00002d2f: AND 00002d30: SWAP1 00002d31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d46: DUP7 00002d47: AND 00002d48: PUSH2 0x2d52 00002d4b: JUMPI 00002d4c: POP 00002d4d: SELFBALANCE 00002d4e: PUSH2 0x2df2 00002d51: JUMP 00002d52: JUMPDEST 00002d53: PUSH1 0x40 00002d55: MLOAD 00002d56: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000 00002d77: DUP2 00002d78: MSTORE 00002d79: ADDRESS 00002d7a: PUSH1 0x04 00002d7c: DUP3 00002d7d: ADD 00002d7e: MSTORE 00002d7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002d94: DUP8 00002d95: AND 00002d96: SWAP1 00002d97: PUSH4 0x70a08231 00002d9c: SWAP1 00002d9d: PUSH1 0x24 00002d9f: ADD 00002da0: PUSH1 0x20 00002da2: PUSH1 0x40 00002da4: MLOAD 00002da5: DUP1 00002da6: DUP4 00002da7: SUB 00002da8: DUP2 00002da9: DUP7 00002daa: DUP1 00002dab: EXTCODESIZE 00002dac: ISZERO 00002dad: DUP1 00002dae: ISZERO 00002daf: PUSH2 0x2db7 00002db2: JUMPI 00002db3: PUSH1 0x00 00002db5: DUP1 00002db6: REVERT 00002db7: JUMPDEST 00002db8: POP 00002db9: GAS 00002dba: STATICCALL 00002dbb: ISZERO 00002dbc: DUP1 00002dbd: ISZERO 00002dbe: PUSH2 0x2dcb 00002dc1: JUMPI 00002dc2: RETURNDATASIZE 00002dc3: PUSH1 0x00 00002dc5: DUP1 00002dc6: RETURNDATACOPY 00002dc7: RETURNDATASIZE 00002dc8: PUSH1 0x00 00002dca: REVERT 00002dcb: JUMPDEST 00002dcc: POP 00002dcd: POP 00002dce: POP 00002dcf: POP 00002dd0: PUSH1 0x40 00002dd2: MLOAD 00002dd3: RETURNDATASIZE 00002dd4: PUSH1 0x1f 00002dd6: NOT 00002dd7: PUSH1 0x1f 00002dd9: DUP3 00002dda: ADD 00002ddb: AND 00002ddc: DUP3 00002ddd: ADD 00002dde: DUP1 00002ddf: PUSH1 0x40 00002de1: MSTORE 00002de2: POP 00002de3: DUP2 00002de4: ADD 00002de5: SWAP1 00002de6: PUSH2 0x2def 00002de9: SWAP2 00002dea: SWAP1 00002deb: PUSH2 0x4582 00002dee: JUMP 00002def: JUMPDEST 00002df0: SWAP1 00002df1: POP 00002df2: JUMPDEST 00002df3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002e08: DUP7 00002e09: AND 00002e0a: PUSH1 0x00 00002e0c: SWAP1 00002e0d: DUP2 00002e0e: MSTORE 00002e0f: PUSH1 0x10 00002e11: PUSH1 0x20 00002e13: MSTORE 00002e14: PUSH1 0x40 00002e16: DUP2 00002e17: KECCAK256 00002e18: SLOAD 00002e19: SWAP1 00002e1a: PUSH2 0x2e23 00002e1d: DUP3 00002e1e: DUP5 00002e1f: PUSH2 0x4359 00002e22: JUMP 00002e23: JUMPDEST 00002e24: SWAP1 00002e25: POP 00002e26: PUSH1 0x00 00002e28: PUSH3 0x0f4240 00002e2c: PUSH2 0x2e3a 00002e2f: PUSH3 0xffffff 00002e33: DUP8 00002e34: AND 00002e35: DUP5 00002e36: PUSH2 0x43aa 00002e39: JUMP 00002e3a: JUMPDEST 00002e3b: PUSH2 0x2e44 00002e3e: SWAP2 00002e3f: SWAP1 00002e40: PUSH2 0x43e7 00002e43: JUMP 00002e44: JUMPDEST 00002e45: SWAP1 00002e46: POP 00002e47: PUSH1 0x00 00002e49: PUSH2 0x2e52 00002e4c: DUP12 00002e4d: DUP12 00002e4e: PUSH2 0x1410 00002e51: JUMP 00002e52: JUMPDEST 00002e53: SWAP1 00002e54: POP 00002e55: PUSH1 0x00 00002e57: DUP2 00002e58: DUP4 00002e59: GT 00002e5a: ISZERO 00002e5b: PUSH2 0x2e94 00002e5e: JUMPI 00002e5f: PUSH2 0x2e68 00002e62: DUP3 00002e63: DUP5 00002e64: PUSH2 0x4422 00002e67: JUMP 00002e68: JUMPDEST 00002e69: SWAP1 00002e6a: POP 00002e6b: PUSH3 0x0f4240 00002e6f: PUSH2 0x2e7d 00002e72: PUSH3 0xffffff 00002e76: DUP12 00002e77: AND 00002e78: DUP4 00002e79: PUSH2 0x43aa 00002e7c: JUMP 00002e7d: JUMPDEST 00002e7e: PUSH2 0x2e87 00002e81: SWAP2 00002e82: SWAP1 00002e83: PUSH2 0x43e7 00002e86: JUMP 00002e87: JUMPDEST 00002e88: SWAP1 00002e89: POP 00002e8a: DUP6 00002e8b: DUP2 00002e8c: GT 00002e8d: ISZERO 00002e8e: PUSH2 0x2e94 00002e91: JUMPI 00002e92: POP 00002e93: DUP5 00002e94: JUMPDEST 00002e95: DUP11 00002e96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002eab: AND 00002eac: DUP13 00002ead: PUSH32 0x3ed1528b0fdc7c5207c1bf935e34a667e13656b9ed165260c522be0bc544f303 00002ece: DUP4 00002ecf: PUSH1 0x40 00002ed1: MLOAD 00002ed2: PUSH2 0x2edd 00002ed5: SWAP2 00002ed6: DUP2 00002ed7: MSTORE 00002ed8: PUSH1 0x20 00002eda: ADD 00002edb: SWAP1 00002edc: JUMP 00002edd: JUMPDEST 00002ede: PUSH1 0x40 00002ee0: MLOAD 00002ee1: DUP1 00002ee2: SWAP2 00002ee3: SUB 00002ee4: SWAP1 00002ee5: LOG3 00002ee6: DUP1 00002ee7: PUSH2 0x2efa 00002eea: JUMPI 00002eeb: PUSH1 0x00 00002eed: SWAP8 00002eee: POP 00002eef: POP 00002ef0: POP 00002ef1: POP 00002ef2: POP 00002ef3: POP 00002ef4: POP 00002ef5: POP 00002ef6: PUSH2 0x0b33 00002ef9: JUMP 00002efa: JUMPDEST 00002efb: PUSH1 0x00 00002efd: PUSH2 0x2f06 00002f00: DUP3 00002f01: DUP5 00002f02: PUSH2 0x4359 00002f05: JUMP 00002f06: JUMPDEST 00002f07: SWAP1 00002f08: POP 00002f09: PUSH2 0x2f11 00002f0c: DUP2 00002f0d: PUSH2 0x268f 00002f10: JUMP 00002f11: JUMPDEST 00002f12: PUSH1 0x0f 00002f14: PUSH1 0x00 00002f16: DUP15 00002f17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002f2c: AND 00002f2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002f42: AND 00002f43: DUP2 00002f44: MSTORE 00002f45: PUSH1 0x20 00002f47: ADD 00002f48: SWAP1 00002f49: DUP2 00002f4a: MSTORE 00002f4b: PUSH1 0x20 00002f4d: ADD 00002f4e: PUSH1 0x00 00002f50: KECCAK256 00002f51: PUSH1 0x00 00002f53: DUP16 00002f54: DUP2 00002f55: MSTORE 00002f56: PUSH1 0x20 00002f58: ADD 00002f59: SWAP1 00002f5a: DUP2 00002f5b: MSTORE 00002f5c: PUSH1 0x20 00002f5e: ADD 00002f5f: PUSH1 0x00 00002f61: KECCAK256 00002f62: DUP2 00002f63: SWAP1 00002f64: SSTORE 00002f65: POP 00002f66: DUP2 00002f67: DUP7 00002f68: PUSH2 0x2f71 00002f6b: SWAP2 00002f6c: SWAP1 00002f6d: PUSH2 0x4359 00002f70: JUMP 00002f71: JUMPDEST 00002f72: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002f87: DUP14 00002f88: AND 00002f89: PUSH1 0x00 00002f8b: DUP2 00002f8c: DUP2 00002f8d: MSTORE 00002f8e: PUSH1 0x10 00002f90: PUSH1 0x20 00002f92: MSTORE 00002f93: PUSH1 0x40 00002f95: SWAP1 00002f96: KECCAK256 00002f97: SWAP2 00002f98: SWAP1 00002f99: SWAP2 00002f9a: SSTORE 00002f9b: PUSH2 0x2fe7 00002f9e: JUMPI 00002f9f: PUSH1 0x40 00002fa1: MLOAD 00002fa2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00002fb7: DUP13 00002fb8: AND 00002fb9: SWAP1 00002fba: DUP4 00002fbb: ISZERO 00002fbc: PUSH2 0x08fc 00002fbf: MUL 00002fc0: SWAP1 00002fc1: DUP5 00002fc2: SWAP1 00002fc3: PUSH1 0x00 00002fc5: DUP2 00002fc6: DUP2 00002fc7: DUP2 00002fc8: DUP6 00002fc9: DUP9 00002fca: DUP9 00002fcb: CALL 00002fcc: SWAP4 00002fcd: POP 00002fce: POP 00002fcf: POP 00002fd0: POP 00002fd1: ISZERO 00002fd2: DUP1 00002fd3: ISZERO 00002fd4: PUSH2 0x2fe1 00002fd7: JUMPI 00002fd8: RETURNDATASIZE 00002fd9: PUSH1 0x00 00002fdb: DUP1 00002fdc: RETURNDATACOPY 00002fdd: RETURNDATASIZE 00002fde: PUSH1 0x00 00002fe0: REVERT 00002fe1: JUMPDEST 00002fe2: POP 00002fe3: PUSH2 0x30f5 00002fe6: JUMP 00002fe7: JUMPDEST 00002fe8: PUSH1 0x40 00002fea: MLOAD 00002feb: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000 0000300c: DUP2 0000300d: MSTORE 0000300e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003023: DUP13 00003024: DUP2 00003025: AND 00003026: PUSH1 0x04 00003028: DUP4 00003029: ADD 0000302a: MSTORE 0000302b: PUSH1 0x24 0000302d: DUP3 0000302e: ADD 0000302f: DUP5 00003030: SWAP1 00003031: MSTORE 00003032: DUP14 00003033: AND 00003034: SWAP1 00003035: PUSH4 0xa9059cbb 0000303a: SWAP1 0000303b: PUSH1 0x44 0000303d: ADD 0000303e: PUSH1 0x20 00003040: PUSH1 0x40 00003042: MLOAD 00003043: DUP1 00003044: DUP4 00003045: SUB 00003046: DUP2 00003047: PUSH1 0x00 00003049: DUP8 0000304a: DUP1 0000304b: EXTCODESIZE 0000304c: ISZERO 0000304d: DUP1 0000304e: ISZERO 0000304f: PUSH2 0x3057 00003052: JUMPI 00003053: PUSH1 0x00 00003055: DUP1 00003056: REVERT 00003057: JUMPDEST 00003058: POP 00003059: GAS 0000305a: CALL 0000305b: ISZERO 0000305c: DUP1 0000305d: ISZERO 0000305e: PUSH2 0x306b 00003061: JUMPI 00003062: RETURNDATASIZE 00003063: PUSH1 0x00 00003065: DUP1 00003066: RETURNDATACOPY 00003067: RETURNDATASIZE 00003068: PUSH1 0x00 0000306a: REVERT 0000306b: JUMPDEST 0000306c: POP 0000306d: POP 0000306e: POP 0000306f: POP 00003070: PUSH1 0x40 00003072: MLOAD 00003073: RETURNDATASIZE 00003074: PUSH1 0x1f 00003076: NOT 00003077: PUSH1 0x1f 00003079: DUP3 0000307a: ADD 0000307b: AND 0000307c: DUP3 0000307d: ADD 0000307e: DUP1 0000307f: PUSH1 0x40 00003081: MSTORE 00003082: POP 00003083: DUP2 00003084: ADD 00003085: SWAP1 00003086: PUSH2 0x308f 00003089: SWAP2 0000308a: SWAP1 0000308b: PUSH2 0x459b 0000308e: JUMP 0000308f: JUMPDEST 00003090: PUSH2 0x30f5 00003093: JUMPI 00003094: PUSH1 0x40 00003096: MLOAD 00003097: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000030b8: DUP2 000030b9: MSTORE 000030ba: PUSH1 0x20 000030bc: PUSH1 0x04 000030be: DUP3 000030bf: ADD 000030c0: MSTORE 000030c1: PUSH1 0x1c 000030c3: PUSH1 0x24 000030c5: DUP3 000030c6: ADD 000030c7: MSTORE 000030c8: PUSH32 0x536861726477616c6c65743a207472616e73666572206661696c656400000000 000030e9: PUSH1 0x44 000030eb: DUP3 000030ec: ADD 000030ed: MSTORE 000030ee: PUSH1 0x64 000030f0: ADD 000030f1: PUSH2 0x0925 000030f4: JUMP 000030f5: JUMPDEST 000030f6: POP 000030f7: SWAP12 000030f8: SWAP11 000030f9: POP 000030fa: POP 000030fb: POP 000030fc: POP 000030fd: POP 000030fe: POP 000030ff: POP 00003100: POP 00003101: POP 00003102: POP 00003103: POP 00003104: JUMP 00003105: JUMPDEST 00003106: PUSH1 0x00 00003108: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00003129: DUP3 0000312a: AND 0000312b: PUSH32 0x80ac58cd00000000000000000000000000000000000000000000000000000000 0000314c: EQ 0000314d: DUP1 0000314e: PUSH2 0x3198 00003151: JUMPI 00003152: POP 00003153: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00003174: DUP3 00003175: AND 00003176: PUSH32 0x5b5e139f00000000000000000000000000000000000000000000000000000000 00003197: EQ 00003198: JUMPDEST 00003199: DUP1 0000319a: PUSH2 0x07e0 0000319d: JUMPI 0000319e: POP 0000319f: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000 000031c0: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 000031e1: DUP4 000031e2: AND 000031e3: EQ 000031e4: PUSH2 0x07e0 000031e7: JUMP 000031e8: JUMPDEST 000031e9: PUSH2 0x0adf 000031ec: DUP4 000031ed: DUP4 000031ee: DUP4 000031ef: PUSH2 0x3492 000031f2: JUMP 000031f3: JUMPDEST 000031f4: PUSH2 0x31fd 000031f7: DUP4 000031f8: DUP4 000031f9: PUSH2 0x3598 000031fc: JUMP 000031fd: JUMPDEST 000031fe: PUSH2 0x320a 00003201: PUSH1 0x00 00003203: DUP5 00003204: DUP5 00003205: DUP5 00003206: PUSH2 0x3296 00003209: JUMP 0000320a: JUMPDEST 0000320b: PUSH2 0x0adf 0000320e: JUMPI 0000320f: PUSH1 0x40 00003211: MLOAD 00003212: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00003233: DUP2 00003234: MSTORE 00003235: PUSH1 0x20 00003237: PUSH1 0x04 00003239: DUP3 0000323a: ADD 0000323b: MSTORE 0000323c: PUSH1 0x32 0000323e: PUSH1 0x24 00003240: DUP3 00003241: ADD 00003242: MSTORE 00003243: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265 00003264: PUSH1 0x44 00003266: DUP3 00003267: ADD 00003268: MSTORE 00003269: PUSH32 0x63656976657220696d706c656d656e7465720000000000000000000000000000 0000328a: PUSH1 0x64 0000328c: DUP3 0000328d: ADD 0000328e: MSTORE 0000328f: PUSH1 0x84 00003291: ADD 00003292: PUSH2 0x0925 00003295: JUMP 00003296: JUMPDEST 00003297: PUSH1 0x00 00003299: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000032ae: DUP5 000032af: AND 000032b0: EXTCODESIZE 000032b1: ISZERO 000032b2: PUSH2 0x348a 000032b5: JUMPI 000032b6: PUSH1 0x40 000032b8: MLOAD 000032b9: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000 000032da: DUP2 000032db: MSTORE 000032dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000032f1: DUP6 000032f2: AND 000032f3: SWAP1 000032f4: PUSH4 0x150b7a02 000032f9: SWAP1 000032fa: PUSH2 0x330d 000032fd: SWAP1 000032fe: CALLER 000032ff: SWAP1 00003300: DUP10 00003301: SWAP1 00003302: DUP9 00003303: SWAP1 00003304: DUP9 00003305: SWAP1 00003306: PUSH1 0x04 00003308: ADD 00003309: PUSH2 0x45b8 0000330c: JUMP 0000330d: JUMPDEST 0000330e: PUSH1 0x20 00003310: PUSH1 0x40 00003312: MLOAD 00003313: DUP1 00003314: DUP4 00003315: SUB 00003316: DUP2 00003317: PUSH1 0x00 00003319: DUP8 0000331a: DUP1 0000331b: EXTCODESIZE 0000331c: ISZERO 0000331d: DUP1 0000331e: ISZERO 0000331f: PUSH2 0x3327 00003322: JUMPI 00003323: PUSH1 0x00 00003325: DUP1 00003326: REVERT 00003327: JUMPDEST 00003328: POP 00003329: GAS 0000332a: CALL 0000332b: SWAP3 0000332c: POP 0000332d: POP 0000332e: POP 0000332f: DUP1 00003330: ISZERO 00003331: PUSH2 0x3375 00003334: JUMPI 00003335: POP 00003336: PUSH1 0x40 00003338: DUP1 00003339: MLOAD 0000333a: PUSH1 0x1f 0000333c: RETURNDATASIZE 0000333d: SWAP1 0000333e: DUP2 0000333f: ADD 00003340: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00003361: AND 00003362: DUP3 00003363: ADD 00003364: SWAP1 00003365: SWAP3 00003366: MSTORE 00003367: PUSH2 0x3372 0000336a: SWAP2 0000336b: DUP2 0000336c: ADD 0000336d: SWAP1 0000336e: PUSH2 0x4601 00003371: JUMP 00003372: JUMPDEST 00003373: PUSH1 0x01 00003375: JUMPDEST 00003376: PUSH2 0x343f 00003379: JUMPI 0000337a: RETURNDATASIZE 0000337b: DUP1 0000337c: DUP1 0000337d: ISZERO 0000337e: PUSH2 0x33a3 00003381: JUMPI 00003382: PUSH1 0x40 00003384: MLOAD 00003385: SWAP2 00003386: POP 00003387: PUSH1 0x1f 00003389: NOT 0000338a: PUSH1 0x3f 0000338c: RETURNDATASIZE 0000338d: ADD 0000338e: AND 0000338f: DUP3 00003390: ADD 00003391: PUSH1 0x40 00003393: MSTORE 00003394: RETURNDATASIZE 00003395: DUP3 00003396: MSTORE 00003397: RETURNDATASIZE 00003398: PUSH1 0x00 0000339a: PUSH1 0x20 0000339c: DUP5 0000339d: ADD 0000339e: RETURNDATACOPY 0000339f: PUSH2 0x33a8 000033a2: JUMP 000033a3: JUMPDEST 000033a4: PUSH1 0x60 000033a6: SWAP2 000033a7: POP 000033a8: JUMPDEST 000033a9: POP 000033aa: DUP1 000033ab: MLOAD 000033ac: PUSH2 0x3437 000033af: JUMPI 000033b0: PUSH1 0x40 000033b2: MLOAD 000033b3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000033d4: DUP2 000033d5: MSTORE 000033d6: PUSH1 0x20 000033d8: PUSH1 0x04 000033da: DUP3 000033db: ADD 000033dc: MSTORE 000033dd: PUSH1 0x32 000033df: PUSH1 0x24 000033e1: DUP3 000033e2: ADD 000033e3: MSTORE 000033e4: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265 00003405: PUSH1 0x44 00003407: DUP3 00003408: ADD 00003409: MSTORE 0000340a: PUSH32 0x63656976657220696d706c656d656e7465720000000000000000000000000000 0000342b: PUSH1 0x64 0000342d: DUP3 0000342e: ADD 0000342f: MSTORE 00003430: PUSH1 0x84 00003432: ADD 00003433: PUSH2 0x0925 00003436: JUMP 00003437: JUMPDEST 00003438: DUP1 00003439: MLOAD 0000343a: DUP2 0000343b: PUSH1 0x20 0000343d: ADD 0000343e: REVERT 0000343f: JUMPDEST 00003440: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00003461: AND 00003462: PUSH32 0x150b7a0200000000000000000000000000000000000000000000000000000000 00003483: EQ 00003484: SWAP1 00003485: POP 00003486: PUSH2 0x0b33 00003489: JUMP 0000348a: JUMPDEST 0000348b: POP 0000348c: PUSH1 0x01 0000348e: PUSH2 0x0b33 00003491: JUMP 00003492: JUMPDEST 00003493: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000034a8: DUP4 000034a9: AND 000034aa: PUSH2 0x34fa 000034ad: JUMPI 000034ae: PUSH2 0x34f5 000034b1: DUP2 000034b2: PUSH1 0x0a 000034b4: DUP1 000034b5: SLOAD 000034b6: PUSH1 0x00 000034b8: DUP4 000034b9: DUP2 000034ba: MSTORE 000034bb: PUSH1 0x0b 000034bd: PUSH1 0x20 000034bf: MSTORE 000034c0: PUSH1 0x40 000034c2: DUP2 000034c3: KECCAK256 000034c4: DUP3 000034c5: SWAP1 000034c6: SSTORE 000034c7: PUSH1 0x01 000034c9: DUP3 000034ca: ADD 000034cb: DUP4 000034cc: SSTORE 000034cd: SWAP2 000034ce: SWAP1 000034cf: SWAP2 000034d0: MSTORE 000034d1: PUSH32 0xc65a7bb8d6351c1cf70c95a316cc6a92839c986682d98bc35f958f4883f9d2a8 000034f2: ADD 000034f3: SSTORE 000034f4: JUMP 000034f5: JUMPDEST 000034f6: PUSH2 0x3537 000034f9: JUMP 000034fa: JUMPDEST 000034fb: DUP2 000034fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003511: AND 00003512: DUP4 00003513: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003528: AND 00003529: EQ 0000352a: PUSH2 0x3537 0000352d: JUMPI 0000352e: PUSH2 0x3537 00003531: DUP4 00003532: DUP3 00003533: PUSH2 0x3766 00003536: JUMP 00003537: JUMPDEST 00003538: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000354d: DUP3 0000354e: AND 0000354f: PUSH2 0x355b 00003552: JUMPI 00003553: PUSH2 0x0adf 00003556: DUP2 00003557: PUSH2 0x381d 0000355a: JUMP 0000355b: JUMPDEST 0000355c: DUP3 0000355d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003572: AND 00003573: DUP3 00003574: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003589: AND 0000358a: EQ 0000358b: PUSH2 0x0adf 0000358e: JUMPI 0000358f: PUSH2 0x0adf 00003592: DUP3 00003593: DUP3 00003594: PUSH2 0x38cc 00003597: JUMP 00003598: JUMPDEST 00003599: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000035ae: DUP3 000035af: AND 000035b0: PUSH2 0x3615 000035b3: JUMPI 000035b4: PUSH1 0x40 000035b6: MLOAD 000035b7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 000035d8: DUP2 000035d9: MSTORE 000035da: PUSH1 0x20 000035dc: PUSH1 0x04 000035de: DUP3 000035df: ADD 000035e0: DUP2 000035e1: SWAP1 000035e2: MSTORE 000035e3: PUSH1 0x24 000035e5: DUP3 000035e6: ADD 000035e7: MSTORE 000035e8: PUSH32 0x4552433732313a206d696e7420746f20746865207a65726f2061646472657373 00003609: PUSH1 0x44 0000360b: DUP3 0000360c: ADD 0000360d: MSTORE 0000360e: PUSH1 0x64 00003610: ADD 00003611: PUSH2 0x0925 00003614: JUMP 00003615: JUMPDEST 00003616: PUSH1 0x00 00003618: DUP2 00003619: DUP2 0000361a: MSTORE 0000361b: PUSH1 0x02 0000361d: PUSH1 0x20 0000361f: MSTORE 00003620: PUSH1 0x40 00003622: SWAP1 00003623: KECCAK256 00003624: SLOAD 00003625: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000363a: AND 0000363b: ISZERO 0000363c: PUSH2 0x36a1 0000363f: JUMPI 00003640: PUSH1 0x40 00003642: MLOAD 00003643: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000 00003664: DUP2 00003665: MSTORE 00003666: PUSH1 0x20 00003668: PUSH1 0x04 0000366a: DUP3 0000366b: ADD 0000366c: MSTORE 0000366d: PUSH1 0x1c 0000366f: PUSH1 0x24 00003671: DUP3 00003672: ADD 00003673: MSTORE 00003674: PUSH32 0x4552433732313a20746f6b656e20616c7265616479206d696e74656400000000 00003695: PUSH1 0x44 00003697: DUP3 00003698: ADD 00003699: MSTORE 0000369a: PUSH1 0x64 0000369c: ADD 0000369d: PUSH2 0x0925 000036a0: JUMP 000036a1: JUMPDEST 000036a2: PUSH2 0x36ad 000036a5: PUSH1 0x00 000036a7: DUP4 000036a8: DUP4 000036a9: PUSH2 0x31e8 000036ac: JUMP 000036ad: JUMPDEST 000036ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000036c3: DUP3 000036c4: AND 000036c5: PUSH1 0x00 000036c7: SWAP1 000036c8: DUP2 000036c9: MSTORE 000036ca: PUSH1 0x03 000036cc: PUSH1 0x20 000036ce: MSTORE 000036cf: PUSH1 0x40 000036d1: DUP2 000036d2: KECCAK256 000036d3: DUP1 000036d4: SLOAD 000036d5: PUSH1 0x01 000036d7: SWAP3 000036d8: SWAP1 000036d9: PUSH2 0x36e3 000036dc: SWAP1 000036dd: DUP5 000036de: SWAP1 000036df: PUSH2 0x4359 000036e2: JUMP 000036e3: JUMPDEST 000036e4: SWAP1 000036e5: SWAP2 000036e6: SSTORE 000036e7: POP 000036e8: POP 000036e9: PUSH1 0x00 000036eb: DUP2 000036ec: DUP2 000036ed: MSTORE 000036ee: PUSH1 0x02 000036f0: PUSH1 0x20 000036f2: MSTORE 000036f3: PUSH1 0x40 000036f5: DUP1 000036f6: DUP3 000036f7: KECCAK256 000036f8: DUP1 000036f9: SLOAD 000036fa: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000 0000371b: AND 0000371c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003731: DUP7 00003732: AND 00003733: SWAP1 00003734: DUP2 00003735: OR 00003736: SWAP1 00003737: SWAP2 00003738: SSTORE 00003739: SWAP1 0000373a: MLOAD 0000373b: DUP4 0000373c: SWAP3 0000373d: SWAP1 0000373e: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 0000375f: SWAP1 00003760: DUP3 00003761: SWAP1 00003762: LOG4 00003763: POP 00003764: POP 00003765: JUMP 00003766: JUMPDEST 00003767: PUSH1 0x00 00003769: PUSH1 0x01 0000376b: PUSH2 0x3773 0000376e: DUP5 0000376f: PUSH2 0x1865 00003772: JUMP 00003773: JUMPDEST 00003774: PUSH2 0x377d 00003777: SWAP2 00003778: SWAP1 00003779: PUSH2 0x4422 0000377c: JUMP 0000377d: JUMPDEST 0000377e: PUSH1 0x00 00003780: DUP4 00003781: DUP2 00003782: MSTORE 00003783: PUSH1 0x09 00003785: PUSH1 0x20 00003787: MSTORE 00003788: PUSH1 0x40 0000378a: SWAP1 0000378b: KECCAK256 0000378c: SLOAD 0000378d: SWAP1 0000378e: SWAP2 0000378f: POP 00003790: DUP1 00003791: DUP3 00003792: EQ 00003793: PUSH2 0x37dd 00003796: JUMPI 00003797: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000037ac: DUP5 000037ad: AND 000037ae: PUSH1 0x00 000037b0: SWAP1 000037b1: DUP2 000037b2: MSTORE 000037b3: PUSH1 0x08 000037b5: PUSH1 0x20 000037b7: SWAP1 000037b8: DUP2 000037b9: MSTORE 000037ba: PUSH1 0x40 000037bc: DUP1 000037bd: DUP4 000037be: KECCAK256 000037bf: DUP6 000037c0: DUP5 000037c1: MSTORE 000037c2: DUP3 000037c3: MSTORE 000037c4: DUP1 000037c5: DUP4 000037c6: KECCAK256 000037c7: SLOAD 000037c8: DUP5 000037c9: DUP5 000037ca: MSTORE 000037cb: DUP2 000037cc: DUP5 000037cd: KECCAK256 000037ce: DUP2 000037cf: SWAP1 000037d0: SSTORE 000037d1: DUP4 000037d2: MSTORE 000037d3: PUSH1 0x09 000037d5: SWAP1 000037d6: SWAP2 000037d7: MSTORE 000037d8: SWAP1 000037d9: KECCAK256 000037da: DUP2 000037db: SWAP1 000037dc: SSTORE 000037dd: JUMPDEST 000037de: POP 000037df: PUSH1 0x00 000037e1: SWAP2 000037e2: DUP3 000037e3: MSTORE 000037e4: PUSH1 0x09 000037e6: PUSH1 0x20 000037e8: SWAP1 000037e9: DUP2 000037ea: MSTORE 000037eb: PUSH1 0x40 000037ed: DUP1 000037ee: DUP5 000037ef: KECCAK256 000037f0: DUP5 000037f1: SWAP1 000037f2: SSTORE 000037f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003808: SWAP1 00003809: SWAP5 0000380a: AND 0000380b: DUP4 0000380c: MSTORE 0000380d: PUSH1 0x08 0000380f: DUP2 00003810: MSTORE 00003811: DUP4 00003812: DUP4 00003813: KECCAK256 00003814: SWAP2 00003815: DUP4 00003816: MSTORE 00003817: MSTORE 00003818: SWAP1 00003819: DUP2 0000381a: KECCAK256 0000381b: SSTORE 0000381c: JUMP 0000381d: JUMPDEST 0000381e: PUSH1 0x0a 00003820: SLOAD 00003821: PUSH1 0x00 00003823: SWAP1 00003824: PUSH2 0x382f 00003827: SWAP1 00003828: PUSH1 0x01 0000382a: SWAP1 0000382b: PUSH2 0x4422 0000382e: JUMP 0000382f: JUMPDEST 00003830: PUSH1 0x00 00003832: DUP4 00003833: DUP2 00003834: MSTORE 00003835: PUSH1 0x0b 00003837: PUSH1 0x20 00003839: MSTORE 0000383a: PUSH1 0x40 0000383c: DUP2 0000383d: KECCAK256 0000383e: SLOAD 0000383f: PUSH1 0x0a 00003841: DUP1 00003842: SLOAD 00003843: SWAP4 00003844: SWAP5 00003845: POP 00003846: SWAP1 00003847: SWAP3 00003848: DUP5 00003849: SWAP1 0000384a: DUP2 0000384b: LT 0000384c: PUSH2 0x3857 0000384f: JUMPI 00003850: PUSH2 0x3857 00003853: PUSH2 0x42fb 00003856: JUMP 00003857: JUMPDEST 00003858: SWAP1 00003859: PUSH1 0x00 0000385b: MSTORE 0000385c: PUSH1 0x20 0000385e: PUSH1 0x00 00003860: KECCAK256 00003861: ADD 00003862: SLOAD 00003863: SWAP1 00003864: POP 00003865: DUP1 00003866: PUSH1 0x0a 00003868: DUP4 00003869: DUP2 0000386a: SLOAD 0000386b: DUP2 0000386c: LT 0000386d: PUSH2 0x3878 00003870: JUMPI 00003871: PUSH2 0x3878 00003874: PUSH2 0x42fb 00003877: JUMP 00003878: JUMPDEST 00003879: PUSH1 0x00 0000387b: SWAP2 0000387c: DUP3 0000387d: MSTORE 0000387e: PUSH1 0x20 00003880: DUP1 00003881: DUP4 00003882: KECCAK256 00003883: SWAP1 00003884: SWAP2 00003885: ADD 00003886: SWAP3 00003887: SWAP1 00003888: SWAP3 00003889: SSTORE 0000388a: DUP3 0000388b: DUP2 0000388c: MSTORE 0000388d: PUSH1 0x0b 0000388f: SWAP1 00003890: SWAP2 00003891: MSTORE 00003892: PUSH1 0x40 00003894: DUP1 00003895: DUP3 00003896: KECCAK256 00003897: DUP5 00003898: SWAP1 00003899: SSTORE 0000389a: DUP6 0000389b: DUP3 0000389c: MSTORE 0000389d: DUP2 0000389e: KECCAK256 0000389f: SSTORE 000038a0: PUSH1 0x0a 000038a2: DUP1 000038a3: SLOAD 000038a4: DUP1 000038a5: PUSH2 0x38b0 000038a8: JUMPI 000038a9: PUSH2 0x38b0 000038ac: PUSH2 0x461e 000038af: JUMP 000038b0: JUMPDEST 000038b1: PUSH1 0x01 000038b3: SWAP1 000038b4: SUB 000038b5: DUP2 000038b6: DUP2 000038b7: SWAP1 000038b8: PUSH1 0x00 000038ba: MSTORE 000038bb: PUSH1 0x20 000038bd: PUSH1 0x00 000038bf: KECCAK256 000038c0: ADD 000038c1: PUSH1 0x00 000038c3: SWAP1 000038c4: SSTORE 000038c5: SWAP1 000038c6: SSTORE 000038c7: POP 000038c8: POP 000038c9: POP 000038ca: POP 000038cb: JUMP 000038cc: JUMPDEST 000038cd: PUSH1 0x00 000038cf: PUSH2 0x38d7 000038d2: DUP4 000038d3: PUSH2 0x1865 000038d6: JUMP 000038d7: JUMPDEST 000038d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000038ed: SWAP1 000038ee: SWAP4 000038ef: AND 000038f0: PUSH1 0x00 000038f2: SWAP1 000038f3: DUP2 000038f4: MSTORE 000038f5: PUSH1 0x08 000038f7: PUSH1 0x20 000038f9: SWAP1 000038fa: DUP2 000038fb: MSTORE 000038fc: PUSH1 0x40 000038fe: DUP1 000038ff: DUP4 00003900: KECCAK256 00003901: DUP7 00003902: DUP5 00003903: MSTORE 00003904: DUP3 00003905: MSTORE 00003906: DUP1 00003907: DUP4 00003908: KECCAK256 00003909: DUP6 0000390a: SWAP1 0000390b: SSTORE 0000390c: SWAP4 0000390d: DUP3 0000390e: MSTORE 0000390f: PUSH1 0x09 00003911: SWAP1 00003912: MSTORE 00003913: SWAP2 00003914: SWAP1 00003915: SWAP2 00003916: KECCAK256 00003917: SWAP2 00003918: SWAP1 00003919: SWAP2 0000391a: SSTORE 0000391b: POP 0000391c: JUMP 0000391d: JUMPDEST 0000391e: DUP3 0000391f: DUP1 00003920: SLOAD 00003921: DUP3 00003922: DUP3 00003923: SSTORE 00003924: SWAP1 00003925: PUSH1 0x00 00003927: MSTORE 00003928: PUSH1 0x20 0000392a: PUSH1 0x00 0000392c: KECCAK256 0000392d: SWAP1 0000392e: DUP2 0000392f: ADD 00003930: SWAP3 00003931: DUP3 00003932: ISZERO 00003933: PUSH2 0x3958 00003936: JUMPI 00003937: SWAP2 00003938: PUSH1 0x20 0000393a: MUL 0000393b: DUP3 0000393c: ADD 0000393d: JUMPDEST 0000393e: DUP3 0000393f: DUP2 00003940: GT 00003941: ISZERO 00003942: PUSH2 0x3958 00003945: JUMPI 00003946: DUP3 00003947: MLOAD 00003948: DUP3 00003949: SSTORE 0000394a: SWAP2 0000394b: PUSH1 0x20 0000394d: ADD 0000394e: SWAP2 0000394f: SWAP1 00003950: PUSH1 0x01 00003952: ADD 00003953: SWAP1 00003954: PUSH2 0x393d 00003957: JUMP 00003958: JUMPDEST 00003959: POP 0000395a: PUSH2 0x3964 0000395d: SWAP3 0000395e: SWAP2 0000395f: POP 00003960: PUSH2 0x39fa 00003963: JUMP 00003964: JUMPDEST 00003965: POP 00003966: SWAP1 00003967: JUMP 00003968: JUMPDEST 00003969: DUP3 0000396a: DUP1 0000396b: SLOAD 0000396c: PUSH2 0x3974 0000396f: SWAP1 00003970: PUSH2 0x42a7 00003973: JUMP 00003974: JUMPDEST 00003975: SWAP1 00003976: PUSH1 0x00 00003978: MSTORE 00003979: PUSH1 0x20 0000397b: PUSH1 0x00 0000397d: KECCAK256 0000397e: SWAP1 0000397f: PUSH1 0x1f 00003981: ADD 00003982: PUSH1 0x20 00003984: SWAP1 00003985: DIV 00003986: DUP2 00003987: ADD 00003988: SWAP3 00003989: DUP3 0000398a: PUSH2 0x3996 0000398d: JUMPI 0000398e: PUSH1 0x00 00003990: DUP6 00003991: SSTORE 00003992: PUSH2 0x3958 00003995: JUMP 00003996: JUMPDEST 00003997: DUP3 00003998: PUSH1 0x1f 0000399a: LT 0000399b: PUSH2 0x39cd 0000399e: JUMPI 0000399f: DUP3 000039a0: DUP1 000039a1: ADD 000039a2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00 000039c3: DUP3 000039c4: CALLDATALOAD 000039c5: AND 000039c6: OR 000039c7: DUP6 000039c8: SSTORE 000039c9: PUSH2 0x3958 000039cc: JUMP 000039cd: JUMPDEST 000039ce: DUP3 000039cf: DUP1 000039d0: ADD 000039d1: PUSH1 0x01 000039d3: ADD 000039d4: DUP6 000039d5: SSTORE 000039d6: DUP3 000039d7: ISZERO 000039d8: PUSH2 0x3958 000039db: JUMPI 000039dc: SWAP2 000039dd: DUP3 000039de: ADD 000039df: JUMPDEST 000039e0: DUP3 000039e1: DUP2 000039e2: GT 000039e3: ISZERO 000039e4: PUSH2 0x3958 000039e7: JUMPI 000039e8: DUP3 000039e9: CALLDATALOAD 000039ea: DUP3 000039eb: SSTORE 000039ec: SWAP2 000039ed: PUSH1 0x20 000039ef: ADD 000039f0: SWAP2 000039f1: SWAP1 000039f2: PUSH1 0x01 000039f4: ADD 000039f5: SWAP1 000039f6: PUSH2 0x39df 000039f9: JUMP 000039fa: JUMPDEST 000039fb: JUMPDEST 000039fc: DUP1 000039fd: DUP3 000039fe: GT 000039ff: ISZERO 00003a00: PUSH2 0x3964 00003a03: JUMPI 00003a04: PUSH1 0x00 00003a06: DUP2 00003a07: SSTORE 00003a08: PUSH1 0x01 00003a0a: ADD 00003a0b: PUSH2 0x39fb 00003a0e: JUMP 00003a0f: JUMPDEST 00003a10: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000 00003a31: DUP2 00003a32: AND 00003a33: DUP2 00003a34: EQ 00003a35: PUSH2 0x203c 00003a38: JUMPI 00003a39: PUSH1 0x00 00003a3b: DUP1 00003a3c: REVERT 00003a3d: JUMPDEST 00003a3e: PUSH1 0x00 00003a40: PUSH1 0x20 00003a42: DUP3 00003a43: DUP5 00003a44: SUB 00003a45: SLT 00003a46: ISZERO 00003a47: PUSH2 0x3a4f 00003a4a: JUMPI 00003a4b: PUSH1 0x00 00003a4d: DUP1 00003a4e: REVERT 00003a4f: JUMPDEST 00003a50: DUP2 00003a51: CALLDATALOAD 00003a52: PUSH2 0x0cd1 00003a55: DUP2 00003a56: PUSH2 0x3a0f 00003a59: JUMP 00003a5a: JUMPDEST 00003a5b: PUSH1 0x00 00003a5d: JUMPDEST 00003a5e: DUP4 00003a5f: DUP2 00003a60: LT 00003a61: ISZERO 00003a62: PUSH2 0x3a75 00003a65: JUMPI 00003a66: DUP2 00003a67: DUP2 00003a68: ADD 00003a69: MLOAD 00003a6a: DUP4 00003a6b: DUP3 00003a6c: ADD 00003a6d: MSTORE 00003a6e: PUSH1 0x20 00003a70: ADD 00003a71: PUSH2 0x3a5d 00003a74: JUMP 00003a75: JUMPDEST 00003a76: DUP4 00003a77: DUP2 00003a78: GT 00003a79: ISZERO 00003a7a: PUSH2 0x1c17 00003a7d: JUMPI 00003a7e: POP 00003a7f: POP 00003a80: PUSH1 0x00 00003a82: SWAP2 00003a83: ADD 00003a84: MSTORE 00003a85: JUMP 00003a86: JUMPDEST 00003a87: PUSH1 0x00 00003a89: DUP2 00003a8a: MLOAD 00003a8b: DUP1 00003a8c: DUP5 00003a8d: MSTORE 00003a8e: PUSH2 0x3a9e 00003a91: DUP2 00003a92: PUSH1 0x20 00003a94: DUP7 00003a95: ADD 00003a96: PUSH1 0x20 00003a98: DUP7 00003a99: ADD 00003a9a: PUSH2 0x3a5a 00003a9d: JUMP 00003a9e: JUMPDEST 00003a9f: PUSH1 0x1f 00003aa1: ADD 00003aa2: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00003ac3: AND 00003ac4: SWAP3 00003ac5: SWAP1 00003ac6: SWAP3 00003ac7: ADD 00003ac8: PUSH1 0x20 00003aca: ADD 00003acb: SWAP3 00003acc: SWAP2 00003acd: POP 00003ace: POP 00003acf: JUMP 00003ad0: JUMPDEST 00003ad1: PUSH1 0x20 00003ad3: DUP2 00003ad4: MSTORE 00003ad5: PUSH1 0x00 00003ad7: PUSH2 0x0cd1 00003ada: PUSH1 0x20 00003adc: DUP4 00003add: ADD 00003ade: DUP5 00003adf: PUSH2 0x3a86 00003ae2: JUMP 00003ae3: JUMPDEST 00003ae4: PUSH1 0x00 00003ae6: PUSH1 0x20 00003ae8: DUP3 00003ae9: DUP5 00003aea: SUB 00003aeb: SLT 00003aec: ISZERO 00003aed: PUSH2 0x3af5 00003af0: JUMPI 00003af1: PUSH1 0x00 00003af3: DUP1 00003af4: REVERT 00003af5: JUMPDEST 00003af6: POP 00003af7: CALLDATALOAD 00003af8: SWAP2 00003af9: SWAP1 00003afa: POP 00003afb: JUMP 00003afc: JUMPDEST 00003afd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00003b12: DUP2 00003b13: AND 00003b14: DUP2 00003b15: EQ 00003b16: PUSH2 0x203c 00003b19: JUMPI 00003b1a: PUSH1 0x00 00003b1c: DUP1 00003b1d: REVERT 00003b1e: JUMPDEST 00003b1f: PUSH1 0x00 00003b21: DUP1 00003b22: PUSH1 0x40 00003b24: DUP4 00003b25: DUP6 00003b26: SUB 00003b27: SLT 00003b28: ISZERO 00003b29: PUSH2 0x3b31 00003b2c: JUMPI 00003b2d: PUSH1 0x00 00003b2f: DUP1 00003b30: REVERT 00003b31: JUMPDEST 00003b32: DUP3 00003b33: CALLDATALOAD 00003b34: PUSH2 0x3b3c 00003b37: DUP2 00003b38: PUSH2 0x3afc 00003b3b: JUMP 00003b3c: JUMPDEST 00003b3d: SWAP5 00003b3e: PUSH1 0x20 00003b40: SWAP4 00003b41: SWAP1 00003b42: SWAP4 00003b43: ADD 00003b44: CALLDATALOAD 00003b45: SWAP4 00003b46: POP 00003b47: POP 00003b48: POP 00003b49: JUMP 00003b4a: JUMPDEST 00003b4b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00003b6c: PUSH1 0x00 00003b6e: MSTORE 00003b6f: PUSH1 0x41 00003b71: PUSH1 0x04 00003b73: MSTORE 00003b74: PUSH1 0x24 00003b76: PUSH1 0x00 00003b78: REVERT 00003b79: JUMPDEST 00003b7a: PUSH1 0x40 00003b7c: DUP1 00003b7d: MLOAD 00003b7e: SWAP1 00003b7f: DUP2 00003b80: ADD 00003b81: PUSH8 0xffffffffffffffff 00003b8a: DUP2 00003b8b: GT 00003b8c: DUP3 00003b8d: DUP3 00003b8e: LT 00003b8f: OR 00003b90: ISZERO 00003b91: PUSH2 0x3b9c 00003b94: JUMPI 00003b95: PUSH2 0x3b9c 00003b98: PUSH2 0x3b4a 00003b9b: JUMP 00003b9c: JUMPDEST 00003b9d: PUSH1 0x40 00003b9f: MSTORE 00003ba0: SWAP1 00003ba1: JUMP 00003ba2: JUMPDEST 00003ba3: PUSH1 0x40 00003ba5: MLOAD 00003ba6: PUSH1 0x1f 00003ba8: DUP3 00003ba9: ADD 00003baa: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00003bcb: AND 00003bcc: DUP2 00003bcd: ADD 00003bce: PUSH8 0xffffffffffffffff 00003bd7: DUP2 00003bd8: GT 00003bd9: DUP3 00003bda: DUP3 00003bdb: LT 00003bdc: OR 00003bdd: ISZERO 00003bde: PUSH2 0x3be9 00003be1: JUMPI 00003be2: PUSH2 0x3be9 00003be5: PUSH2 0x3b4a 00003be8: JUMP 00003be9: JUMPDEST 00003bea: PUSH1 0x40 00003bec: MSTORE 00003bed: SWAP2 00003bee: SWAP1 00003bef: POP 00003bf0: JUMP 00003bf1: JUMPDEST 00003bf2: PUSH1 0x00 00003bf4: PUSH8 0xffffffffffffffff 00003bfd: DUP3 00003bfe: GT 00003bff: ISZERO 00003c00: PUSH2 0x3c0b 00003c03: JUMPI 00003c04: PUSH2 0x3c0b 00003c07: PUSH2 0x3b4a 00003c0a: JUMP 00003c0b: JUMPDEST 00003c0c: POP 00003c0d: PUSH1 0x05 00003c0f: SHL 00003c10: PUSH1 0x20 00003c12: ADD 00003c13: SWAP1 00003c14: JUMP 00003c15: JUMPDEST 00003c16: DUP1 00003c17: CALLDATALOAD 00003c18: PUSH3 0xffffff 00003c1c: DUP2 00003c1d: AND 00003c1e: DUP2 00003c1f: EQ 00003c20: PUSH2 0x28df 00003c23: JUMPI 00003c24: PUSH1 0x00 00003c26: DUP1 00003c27: REVERT 00003c28: JUMPDEST 00003c29: PUSH1 0x00 00003c2b: DUP3 00003c2c: PUSH1 0x1f 00003c2e: DUP4 00003c2f: ADD 00003c30: SLT 00003c31: PUSH2 0x3c39 00003c34: JUMPI 00003c35: PUSH1 0x00 00003c37: DUP1 00003c38: REVERT 00003c39: JUMPDEST 00003c3a: DUP2 00003c3b: CALLDATALOAD 00003c3c: PUSH1 0x20 00003c3e: PUSH2 0x3c4e 00003c41: PUSH2 0x3c49 00003c44: DUP4 00003c45: PUSH2 0x3bf1 00003c48: JUMP 00003c49: JUMPDEST 00003c4a: PUSH2 0x3ba2 00003c4d: JUMP 00003c4e: JUMPDEST 00003c4f: DUP3 00003c50: DUP2 00003c51: MSTORE 00003c52: PUSH1 0x06 00003c54: SWAP3 00003c55: SWAP1 00003c56: SWAP3 00003c57: SHL 00003c58: DUP5 00003c59: ADD 00003c5a: DUP2 00003c5b: ADD 00003c5c: SWAP2 00003c5d: DUP2 00003c5e: DUP2 00003c5f: ADD 00003c60: SWAP1 00003c61: DUP7 00003c62: DUP5 00003c63: GT 00003c64: ISZERO 00003c65: PUSH2 0x3c6d 00003c68: JUMPI 00003c69: PUSH1 0x00 00003c6b: DUP1 00003c6c: REVERT 00003c6d: JUMPDEST 00003c6e: DUP3 00003c6f: DUP7 00003c70: ADD 00003c71: JUMPDEST 00003c72: DUP5 00003c73: DUP2 00003c74: LT 00003c75: ISZERO 00003c76: PUSH2 0x1da3 00003c79: JUMPI 00003c7a: PUSH1 0x40 00003c7c: DUP2 00003c7d: DUP10 00003c7e: SUB 00003c7f: SLT 00003c80: ISZERO 00003c81: PUSH2 0x3c8a 00003c84: JUMPI 00003c85: PUSH1 0x00 00003c87: DUP1 00003c88: DUP2 00003c89: REVERT 00003c8a: JUMPDEST 00003c8b: PUSH2 0x3c92 00003c8e: PUSH2 0x3b79 00003c91: JUMP 00003c92: JUMPDEST 00003c93: PUSH2 0x3c9b 00003c96: DUP3 00003c97: PUSH2 0x3c15 00003c9a: JUMP 00003c9b: JUMPDEST 00003c9c: DUP2 00003c9d: MSTORE 00003c9e: DUP5 00003c9f: DUP3 00003ca0: ADD 00003ca1: CALLDATALOAD 00003ca2: PUSH2 0x3caa 00003ca5: DUP2 00003ca6: PUSH2 0x3afc 00003ca9: JUMP 00003caa: JUMPDEST 00003cab: DUP2 00003cac: DUP7 00003cad: ADD 00003cae: MSTORE 00003caf: DUP4 00003cb0: MSTORE 00003cb1: SWAP2 00003cb2: DUP4 00003cb3: ADD 00003cb4: SWAP2 00003cb5: PUSH1 0x40 00003cb7: ADD 00003cb8: PUSH2 0x3c71 00003cbb: JUMP 00003cbc: JUMPDEST 00003cbd: PUSH1 0x00 00003cbf: DUP1 00003cc0: PUSH1 0x40 00003cc2: DUP4 00003cc3: DUP6 00003cc4: SUB 00003cc5: SLT 00003cc6: ISZERO 00003cc7: PUSH2 0x3ccf 00003cca: JUMPI 00003ccb: PUSH1 0x00 00003ccd: DUP1 00003cce: REVERT 00003ccf: JUMPDEST 00003cd0: DUP3 00003cd1: CALLDATALOAD 00003cd2: SWAP2 00003cd3: POP 00003cd4: PUSH1 0x20 00003cd6: DUP4 00003cd7: ADD 00003cd8: CALLDATALOAD 00003cd9: PUSH8 0xffffffffffffffff 00003ce2: DUP2 00003ce3: GT 00003ce4: ISZERO 00003ce5: PUSH2 0x3ced 00003ce8: JUMPI 00003ce9: PUSH1 0x00 00003ceb: DUP1 00003cec: REVERT 00003ced: JUMPDEST 00003cee: PUSH2 0x3cf9 00003cf1: DUP6 00003cf2: DUP3 00003cf3: DUP7 00003cf4: ADD 00003cf5: PUSH2 0x3c28 00003cf8: JUMP 00003cf9: JUMPDEST 00003cfa: SWAP2 00003cfb: POP 00003cfc: POP 00003cfd: SWAP3 00003cfe: POP 00003cff: SWAP3 00003d00: SWAP1 00003d01: POP 00003d02: JUMP 00003d03: JUMPDEST 00003d04: PUSH1 0x00 00003d06: DUP1 00003d07: PUSH1 0x00 00003d09: PUSH1 0x60 00003d0b: DUP5 00003d0c: DUP7 00003d0d: SUB 00003d0e: SLT 00003d0f: ISZERO 00003d10: PUSH2 0x3d18 00003d13: JUMPI 00003d14: PUSH1 0x00 00003d16: DUP1 00003d17: REVERT 00003d18: JUMPDEST 00003d19: DUP4 00003d1a: CALLDATALOAD 00003d1b: SWAP3 00003d1c: POP 00003d1d: PUSH1 0x20 00003d1f: DUP1 00003d20: DUP6 00003d21: ADD 00003d22: CALLDATALOAD 00003d23: PUSH8 0xffffffffffffffff 00003d2c: DUP2 00003d2d: GT 00003d2e: ISZERO 00003d2f: PUSH2 0x3d37 00003d32: JUMPI 00003d33: PUSH1 0x00 00003d35: DUP1 00003d36: REVERT 00003d37: JUMPDEST 00003d38: DUP6 00003d39: ADD 00003d3a: PUSH1 0x1f 00003d3c: DUP2 00003d3d: ADD 00003d3e: DUP8 00003d3f: SGT 00003d40: PUSH2 0x3d48 00003d43: JUMPI 00003d44: PUSH1 0x00 00003d46: DUP1 00003d47: REVERT 00003d48: JUMPDEST 00003d49: DUP1 00003d4a: CALLDATALOAD 00003d4b: PUSH2 0x3d56 00003d4e: PUSH2 0x3c49 00003d51: DUP3 00003d52: PUSH2 0x3bf1 00003d55: JUMP 00003d56: JUMPDEST 00003d57: DUP2 00003d58: DUP2 00003d59: MSTORE 00003d5a: PUSH1 0x05 00003d5c: SWAP2 00003d5d: SWAP1 00003d5e: SWAP2 00003d5f: SHL 00003d60: DUP3 00003d61: ADD 00003d62: DUP4 00003d63: ADD 00003d64: SWAP1 00003d65: DUP4 00003d66: DUP2 00003d67: ADD 00003d68: SWAP1 00003d69: DUP10 00003d6a: DUP4 00003d6b: GT 00003d6c: ISZERO 00003d6d: PUSH2 0x3d75 00003d70: JUMPI 00003d71: PUSH1 0x00 00003d73: DUP1 00003d74: REVERT 00003d75: JUMPDEST 00003d76: SWAP3 00003d77: DUP5 00003d78: ADD 00003d79: SWAP3 00003d7a: JUMPDEST 00003d7b: DUP3 00003d7c: DUP5 00003d7d: LT 00003d7e: ISZERO 00003d7f: PUSH2 0x3d9a 00003d82: JUMPI 00003d83: PUSH2 0x3d8b 00003d86: DUP5 00003d87: PUSH2 0x3c15 00003d8a: JUMP 00003d8b: JUMPDEST 00003d8c: DUP3 00003d8d: MSTORE 00003d8e: SWAP3 00003d8f: DUP5 00003d90: ADD 00003d91: SWAP3 00003d92: SWAP1 00003d93: DUP5 00003d94: ADD 00003d95: SWAP1 00003d96: PUSH2 0x3d7a 00003d99: JUMP 00003d9a: JUMPDEST 00003d9b: SWAP7 00003d9c: SWAP10 00003d9d: SWAP7 00003d9e: SWAP9 00003d9f: POP 00003da0: POP 00003da1: POP 00003da2: POP 00003da3: PUSH1 0x40 00003da5: SWAP5 00003da6: SWAP1 00003da7: SWAP5 00003da8: ADD 00003da9: CALLDATALOAD 00003daa: SWAP4 00003dab: POP 00003dac: POP 00003dad: POP 00003dae: JUMP 00003daf: JUMPDEST 00003db0: PUSH1 0x00 00003db2: DUP1 00003db3: PUSH1 0x00 00003db5: PUSH1 0x60 00003db7: DUP5 00003db8: DUP7 00003db9: SUB 00003dba: SLT 00003dbb: ISZERO 00003dbc: PUSH2 0x3dc4 00003dbf: JUMPI 00003dc0: PUSH1 0x00 00003dc2: DUP1 00003dc3: REVERT 00003dc4: JUMPDEST 00003dc5: DUP4 00003dc6: CALLDATALOAD 00003dc7: PUSH2 0x3dcf 00003dca: DUP2 00003dcb: PUSH2 0x3afc 00003dce: JUMP 00003dcf: JUMPDEST 00003dd0: SWAP3 00003dd1: POP 00003dd2: PUSH1 0x20 00003dd4: DUP5 00003dd5: ADD 00003dd6: CALLDATALOAD 00003dd7: PUSH2 0x3ddf 00003dda: DUP2 00003ddb: PUSH2 0x3afc 00003dde: JUMP 00003ddf: JUMPDEST 00003de0: SWAP3 00003de1: SWAP6 00003de2: SWAP3 00003de3: SWAP5 00003de4: POP 00003de5: POP 00003de6: POP 00003de7: PUSH1 0x40 00003de9: SWAP2 00003dea: SWAP1 00003deb: SWAP2 00003dec: ADD 00003ded: CALLDATALOAD 00003dee: SWAP1 00003def: JUMP 00003df0: JUMPDEST 00003df1: PUSH1 0x00 00003df3: PUSH1 0x20 00003df5: DUP3 00003df6: DUP5 00003df7: SUB 00003df8: SLT 00003df9: ISZERO 00003dfa: PUSH2 0x3e02 00003dfd: JUMPI 00003dfe: PUSH1 0x00 00003e00: DUP1 00003e01: REVERT 00003e02: JUMPDEST 00003e03: DUP2 00003e04: CALLDATALOAD 00003e05: PUSH2 0x0cd1 00003e08: DUP2 00003e09: PUSH2 0x3afc 00003e0c: JUMP 00003e0d: JUMPDEST 00003e0e: PUSH1 0x00 00003e10: DUP2 00003e11: MLOAD 00003e12: DUP1 00003e13: DUP5 00003e14: MSTORE 00003e15: PUSH1 0x20 00003e17: DUP1 00003e18: DUP6 00003e19: ADD 00003e1a: SWAP5 00003e1b: POP 00003e1c: DUP1 00003e1d: DUP5 00003e1e: ADD 00003e1f: PUSH1 0x00 00003e21: JUMPDEST 00003e22: DUP4 00003e23: DUP2 00003e24: LT 00003e25: ISZERO 00003e26: PUSH2 0x3e3d 00003e29: JUMPI 00003e2a: DUP2 00003e2b: MLOAD 00003e2c: DUP8 00003e2d: MSTORE 00003e2e: SWAP6 00003e2f: DUP3 00003e30: ADD 00003e31: SWAP6 00003e32: SWAP1 00003e33: DUP3 00003e34: ADD 00003e35: SWAP1 00003e36: PUSH1 0x01 00003e38: ADD 00003e39: PUSH2 0x3e21 00003e3c: JUMP 00003e3d: JUMPDEST 00003e3e: POP 00003e3f: SWAP5 00003e40: SWAP6 00003e41: SWAP5 00003e42: POP 00003e43: POP 00003e44: POP 00003e45: POP 00003e46: POP 00003e47: JUMP 00003e48: JUMPDEST 00003e49: PUSH1 0x20 00003e4b: DUP2 00003e4c: MSTORE 00003e4d: PUSH1 0x00 00003e4f: PUSH2 0x0cd1 00003e52: PUSH1 0x20 00003e54: DUP4 00003e55: ADD 00003e56: DUP5 00003e57: PUSH2 0x3e0d 00003e5a: JUMP 00003e5b: JUMPDEST 00003e5c: PUSH1 0x00 00003e5e: DUP3 00003e5f: PUSH1 0x1f 00003e61: DUP4 00003e62: ADD 00003e63: SLT 00003e64: PUSH2 0x3e6c 00003e67: JUMPI 00003e68: PUSH1 0x00 00003e6a: DUP1 00003e6b: REVERT 00003e6c: JUMPDEST 00003e6d: DUP2 00003e6e: CALLDATALOAD 00003e6f: PUSH1 0x20 00003e71: PUSH2 0x3e7c 00003e74: PUSH2 0x3c49 00003e77: DUP4 00003e78: PUSH2 0x3bf1 00003e7b: JUMP 00003e7c: JUMPDEST 00003e7d: DUP3 00003e7e: DUP2 00003e7f: MSTORE 00003e80: PUSH1 0x05 00003e82: SWAP3 00003e83: SWAP1 00003e84: SWAP3 00003e85: SHL 00003e86: DUP5 00003e87: ADD 00003e88: DUP2 00003e89: ADD 00003e8a: SWAP2 00003e8b: DUP2 00003e8c: DUP2 00003e8d: ADD 00003e8e: SWAP1 00003e8f: DUP7 00003e90: DUP5 00003e91: GT 00003e92: ISZERO 00003e93: PUSH2 0x3e9b 00003e96: JUMPI 00003e97: PUSH1 0x00 00003e99: DUP1 00003e9a: REVERT 00003e9b: JUMPDEST 00003e9c: DUP3 00003e9d: DUP7 00003e9e: ADD 00003e9f: JUMPDEST 00003ea0: DUP5 00003ea1: DUP2 00003ea2: LT 00003ea3: ISZERO 00003ea4: PUSH2 0x1da3 00003ea7: JUMPI 00003ea8: DUP1 00003ea9: CALLDATALOAD 00003eaa: DUP4 00003eab: MSTORE 00003eac: SWAP2 00003ead: DUP4 00003eae: ADD 00003eaf: SWAP2 00003eb0: DUP4 00003eb1: ADD 00003eb2: PUSH2 0x3e9f 00003eb5: JUMP 00003eb6: JUMPDEST 00003eb7: PUSH1 0x00 00003eb9: DUP1 00003eba: PUSH1 0x40 00003ebc: DUP4 00003ebd: DUP6 00003ebe: SUB 00003ebf: SLT 00003ec0: ISZERO 00003ec1: PUSH2 0x3ec9 00003ec4: JUMPI 00003ec5: PUSH1 0x00 00003ec7: DUP1 00003ec8: REVERT 00003ec9: JUMPDEST 00003eca: DUP3 00003ecb: CALLDATALOAD 00003ecc: PUSH8 0xffffffffffffffff 00003ed5: DUP1 00003ed6: DUP3 00003ed7: GT 00003ed8: ISZERO 00003ed9: PUSH2 0x3ee1 00003edc: JUMPI 00003edd: PUSH1 0x00 00003edf: DUP1 00003ee0: REVERT 00003ee1: JUMPDEST 00003ee2: PUSH2 0x3eed 00003ee5: DUP7 00003ee6: DUP4 00003ee7: DUP8 00003ee8: ADD 00003ee9: PUSH2 0x3e5b 00003eec: JUMP 00003eed: JUMPDEST 00003eee: SWAP4 00003eef: POP 00003ef0: PUSH1 0x20 00003ef2: DUP6 00003ef3: ADD 00003ef4: CALLDATALOAD 00003ef5: SWAP2 00003ef6: POP 00003ef7: DUP1 00003ef8: DUP3 00003ef9: GT 00003efa: ISZERO 00003efb: PUSH2 0x3f03 00003efe: JUMPI 00003eff: PUSH1 0x00 00003f01: DUP1 00003f02: REVERT 00003f03: JUMPDEST 00003f04: POP 00003f05: PUSH2 0x3cf9 00003f08: DUP6 00003f09: DUP3 00003f0a: DUP7 00003f0b: ADD 00003f0c: PUSH2 0x3c28 00003f0f: JUMP 00003f10: JUMPDEST 00003f11: PUSH1 0x00 00003f13: DUP1 00003f14: PUSH1 0x40 00003f16: DUP4 00003f17: DUP6 00003f18: SUB 00003f19: SLT 00003f1a: ISZERO 00003f1b: PUSH2 0x3f23 00003f1e: JUMPI 00003f1f: PUSH1 0x00 00003f21: DUP1 00003f22: REVERT 00003f23: JUMPDEST 00003f24: DUP3 00003f25: CALLDATALOAD 00003f26: SWAP2 00003f27: POP 00003f28: PUSH1 0x20 00003f2a: DUP4 00003f2b: ADD 00003f2c: CALLDATALOAD 00003f2d: PUSH2 0x3f35 00003f30: DUP2 00003f31: PUSH2 0x3afc 00003f34: JUMP 00003f35: JUMPDEST 00003f36: DUP1 00003f37: SWAP2 00003f38: POP 00003f39: POP 00003f3a: SWAP3 00003f3b: POP 00003f3c: SWAP3 00003f3d: SWAP1 00003f3e: POP 00003f3f: JUMP 00003f40: JUMPDEST 00003f41: PUSH1 0x00 00003f43: DUP1 00003f44: DUP4 00003f45: PUSH1 0x1f 00003f47: DUP5 00003f48: ADD 00003f49: SLT 00003f4a: PUSH2 0x3f52 00003f4d: JUMPI 00003f4e: PUSH1 0x00 00003f50: DUP1 00003f51: REVERT 00003f52: JUMPDEST 00003f53: POP 00003f54: DUP2 00003f55: CALLDATALOAD 00003f56: PUSH8 0xffffffffffffffff 00003f5f: DUP2 00003f60: GT 00003f61: ISZERO 00003f62: PUSH2 0x3f6a 00003f65: JUMPI 00003f66: PUSH1 0x00 00003f68: DUP1 00003f69: REVERT 00003f6a: JUMPDEST 00003f6b: PUSH1 0x20 00003f6d: DUP4 00003f6e: ADD 00003f6f: SWAP2 00003f70: POP 00003f71: DUP4 00003f72: PUSH1 0x20 00003f74: DUP3 00003f75: DUP6 00003f76: ADD 00003f77: ADD 00003f78: GT 00003f79: ISZERO 00003f7a: PUSH2 0x2095 00003f7d: JUMPI 00003f7e: PUSH1 0x00 00003f80: DUP1 00003f81: REVERT 00003f82: JUMPDEST 00003f83: PUSH1 0x00 00003f85: DUP1 00003f86: PUSH1 0x00 00003f88: DUP1 00003f89: PUSH1 0x00 00003f8b: PUSH1 0x60 00003f8d: DUP7 00003f8e: DUP9 00003f8f: SUB 00003f90: SLT 00003f91: ISZERO 00003f92: PUSH2 0x3f9a 00003f95: JUMPI 00003f96: PUSH1 0x00 00003f98: DUP1 00003f99: REVERT 00003f9a: JUMPDEST 00003f9b: DUP6 00003f9c: CALLDATALOAD 00003f9d: PUSH2 0x3fa5 00003fa0: DUP2 00003fa1: PUSH2 0x3afc 00003fa4: JUMP 00003fa5: JUMPDEST 00003fa6: SWAP5 00003fa7: POP 00003fa8: PUSH1 0x20 00003faa: DUP7 00003fab: ADD 00003fac: CALLDATALOAD 00003fad: PUSH8 0xffffffffffffffff 00003fb6: DUP1 00003fb7: DUP3 00003fb8: GT 00003fb9: ISZERO 00003fba: PUSH2 0x3fc2 00003fbd: JUMPI 00003fbe: PUSH1 0x00 00003fc0: DUP1 00003fc1: REVERT 00003fc2: JUMPDEST 00003fc3: PUSH2 0x3fce 00003fc6: DUP10 00003fc7: DUP4 00003fc8: DUP11 00003fc9: ADD 00003fca: PUSH2 0x3f40 00003fcd: JUMP 00003fce: JUMPDEST 00003fcf: SWAP1 00003fd0: SWAP7 00003fd1: POP 00003fd2: SWAP5 00003fd3: POP 00003fd4: PUSH1 0x40 00003fd6: DUP9 00003fd7: ADD 00003fd8: CALLDATALOAD 00003fd9: SWAP2 00003fda: POP 00003fdb: DUP1 00003fdc: DUP3 00003fdd: GT 00003fde: ISZERO 00003fdf: PUSH2 0x3fe7 00003fe2: JUMPI 00003fe3: PUSH1 0x00 00003fe5: DUP1 00003fe6: REVERT 00003fe7: JUMPDEST 00003fe8: POP 00003fe9: PUSH2 0x3ff4 00003fec: DUP9 00003fed: DUP3 00003fee: DUP10 00003fef: ADD 00003ff0: PUSH2 0x3f40 00003ff3: JUMP 00003ff4: JUMPDEST 00003ff5: SWAP7 00003ff6: SWAP10 00003ff7: SWAP6 00003ff8: SWAP9 00003ff9: POP 00003ffa: SWAP4 00003ffb: SWAP7 00003ffc: POP 00003ffd: SWAP3 00003ffe: SWAP5 00003fff: SWAP4 00004000: SWAP3 00004001: POP 00004002: POP 00004003: POP 00004004: JUMP 00004005: JUMPDEST 00004006: DUP1 00004007: ISZERO 00004008: ISZERO 00004009: DUP2 0000400a: EQ 0000400b: PUSH2 0x203c 0000400e: JUMPI 0000400f: PUSH1 0x00 00004011: DUP1 00004012: REVERT 00004013: JUMPDEST 00004014: PUSH1 0x00 00004016: DUP1 00004017: PUSH1 0x40 00004019: DUP4 0000401a: DUP6 0000401b: SUB 0000401c: SLT 0000401d: ISZERO 0000401e: PUSH2 0x4026 00004021: JUMPI 00004022: PUSH1 0x00 00004024: DUP1 00004025: REVERT 00004026: JUMPDEST 00004027: DUP3 00004028: CALLDATALOAD 00004029: PUSH2 0x4031 0000402c: DUP2 0000402d: PUSH2 0x3afc 00004030: JUMP 00004031: JUMPDEST 00004032: SWAP2 00004033: POP 00004034: PUSH1 0x20 00004036: DUP4 00004037: ADD 00004038: CALLDATALOAD 00004039: PUSH2 0x3f35 0000403c: DUP2 0000403d: PUSH2 0x4005 00004040: JUMP 00004041: JUMPDEST 00004042: PUSH1 0x00 00004044: PUSH8 0xffffffffffffffff 0000404d: DUP3 0000404e: GT 0000404f: ISZERO 00004050: PUSH2 0x405b 00004053: JUMPI 00004054: PUSH2 0x405b 00004057: PUSH2 0x3b4a 0000405a: JUMP 0000405b: JUMPDEST 0000405c: POP 0000405d: PUSH1 0x1f 0000405f: ADD 00004060: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0 00004081: AND 00004082: PUSH1 0x20 00004084: ADD 00004085: SWAP1 00004086: JUMP 00004087: JUMPDEST 00004088: PUSH1 0x00 0000408a: DUP1 0000408b: PUSH1 0x00 0000408d: DUP1 0000408e: PUSH1 0x80 00004090: DUP6 00004091: DUP8 00004092: SUB 00004093: SLT 00004094: ISZERO 00004095: PUSH2 0x409d 00004098: JUMPI 00004099: PUSH1 0x00 0000409b: DUP1 0000409c: REVERT 0000409d: JUMPDEST 0000409e: DUP5 0000409f: CALLDATALOAD 000040a0: PUSH2 0x40a8 000040a3: DUP2 000040a4: PUSH2 0x3afc 000040a7: JUMP 000040a8: JUMPDEST 000040a9: SWAP4 000040aa: POP 000040ab: PUSH1 0x20 000040ad: DUP6 000040ae: ADD 000040af: CALLDATALOAD 000040b0: PUSH2 0x40b8 000040b3: DUP2 000040b4: PUSH2 0x3afc 000040b7: JUMP 000040b8: JUMPDEST 000040b9: SWAP3 000040ba: POP 000040bb: PUSH1 0x40 000040bd: DUP6 000040be: ADD 000040bf: CALLDATALOAD 000040c0: SWAP2 000040c1: POP 000040c2: PUSH1 0x60 000040c4: DUP6 000040c5: ADD 000040c6: CALLDATALOAD 000040c7: PUSH8 0xffffffffffffffff 000040d0: DUP2 000040d1: GT 000040d2: ISZERO 000040d3: PUSH2 0x40db 000040d6: JUMPI 000040d7: PUSH1 0x00 000040d9: DUP1 000040da: REVERT 000040db: JUMPDEST 000040dc: DUP6 000040dd: ADD 000040de: PUSH1 0x1f 000040e0: DUP2 000040e1: ADD 000040e2: DUP8 000040e3: SGT 000040e4: PUSH2 0x40ec 000040e7: JUMPI 000040e8: PUSH1 0x00 000040ea: DUP1 000040eb: REVERT 000040ec: JUMPDEST 000040ed: DUP1 000040ee: CALLDATALOAD 000040ef: PUSH2 0x40fa 000040f2: PUSH2 0x3c49 000040f5: DUP3 000040f6: PUSH2 0x4041 000040f9: JUMP 000040fa: JUMPDEST 000040fb: DUP2 000040fc: DUP2 000040fd: MSTORE 000040fe: DUP9 000040ff: PUSH1 0x20 00004101: DUP4 00004102: DUP6 00004103: ADD 00004104: ADD 00004105: GT 00004106: ISZERO 00004107: PUSH2 0x410f 0000410a: JUMPI 0000410b: PUSH1 0x00 0000410d: DUP1 0000410e: REVERT 0000410f: JUMPDEST 00004110: DUP2 00004111: PUSH1 0x20 00004113: DUP5 00004114: ADD 00004115: PUSH1 0x20 00004117: DUP4 00004118: ADD 00004119: CALLDATACOPY 0000411a: PUSH1 0x00 0000411c: PUSH1 0x20 0000411e: DUP4 0000411f: DUP4 00004120: ADD 00004121: ADD 00004122: MSTORE 00004123: DUP1 00004124: SWAP4 00004125: POP 00004126: POP 00004127: POP 00004128: POP 00004129: SWAP3 0000412a: SWAP6 0000412b: SWAP2 0000412c: SWAP5 0000412d: POP 0000412e: SWAP3 0000412f: POP 00004130: JUMP 00004131: JUMPDEST 00004132: PUSH1 0x00 00004134: DUP1 00004135: DUP4 00004136: PUSH1 0x1f 00004138: DUP5 00004139: ADD 0000413a: SLT 0000413b: PUSH2 0x4143 0000413e: JUMPI 0000413f: PUSH1 0x00 00004141: DUP1 00004142: REVERT 00004143: JUMPDEST 00004144: POP 00004145: DUP2 00004146: CALLDATALOAD 00004147: PUSH8 0xffffffffffffffff 00004150: DUP2 00004151: GT 00004152: ISZERO 00004153: PUSH2 0x415b 00004156: JUMPI 00004157: PUSH1 0x00 00004159: DUP1 0000415a: REVERT 0000415b: JUMPDEST 0000415c: PUSH1 0x20 0000415e: DUP4 0000415f: ADD 00004160: SWAP2 00004161: POP 00004162: DUP4 00004163: PUSH1 0x20 00004165: DUP3 00004166: PUSH1 0x05 00004168: SHL 00004169: DUP6 0000416a: ADD 0000416b: ADD 0000416c: GT 0000416d: ISZERO 0000416e: PUSH2 0x2095 00004171: JUMPI 00004172: PUSH1 0x00 00004174: DUP1 00004175: REVERT 00004176: JUMPDEST 00004177: PUSH1 0x00 00004179: DUP1 0000417a: PUSH1 0x00 0000417c: DUP1 0000417d: PUSH1 0x00 0000417f: PUSH1 0x80 00004181: DUP7 00004182: DUP9 00004183: SUB 00004184: SLT 00004185: ISZERO 00004186: PUSH2 0x418e 00004189: JUMPI 0000418a: PUSH1 0x00 0000418c: DUP1 0000418d: REVERT 0000418e: JUMPDEST 0000418f: DUP6 00004190: CALLDATALOAD 00004191: SWAP5 00004192: POP 00004193: PUSH1 0x20 00004195: DUP7 00004196: ADD 00004197: CALLDATALOAD 00004198: PUSH8 0xffffffffffffffff 000041a1: DUP2 000041a2: GT 000041a3: ISZERO 000041a4: PUSH2 0x41ac 000041a7: JUMPI 000041a8: PUSH1 0x00 000041aa: DUP1 000041ab: REVERT 000041ac: JUMPDEST 000041ad: PUSH2 0x41b8 000041b0: DUP9 000041b1: DUP3 000041b2: DUP10 000041b3: ADD 000041b4: PUSH2 0x4131 000041b7: JUMP 000041b8: JUMPDEST 000041b9: SWAP1 000041ba: SWAP6 000041bb: POP 000041bc: SWAP4 000041bd: POP 000041be: POP 000041bf: PUSH1 0x40 000041c1: DUP7 000041c2: ADD 000041c3: CALLDATALOAD 000041c4: PUSH2 0x41cc 000041c7: DUP2 000041c8: PUSH2 0x3afc 000041cb: JUMP 000041cc: JUMPDEST 000041cd: SWAP2 000041ce: POP 000041cf: PUSH2 0x41da 000041d2: PUSH1 0x60 000041d4: DUP8 000041d5: ADD 000041d6: PUSH2 0x3c15 000041d9: JUMP 000041da: JUMPDEST 000041db: SWAP1 000041dc: POP 000041dd: SWAP3 000041de: SWAP6 000041df: POP 000041e0: SWAP3 000041e1: SWAP6 000041e2: SWAP1 000041e3: SWAP4 000041e4: POP 000041e5: JUMP 000041e6: JUMPDEST 000041e7: PUSH1 0x00 000041e9: PUSH1 0x20 000041eb: DUP3 000041ec: DUP5 000041ed: SUB 000041ee: SLT 000041ef: ISZERO 000041f0: PUSH2 0x41f8 000041f3: JUMPI 000041f4: PUSH1 0x00 000041f6: DUP1 000041f7: REVERT 000041f8: JUMPDEST 000041f9: DUP2 000041fa: CALLDATALOAD 000041fb: PUSH8 0xffffffffffffffff 00004204: DUP2 00004205: GT 00004206: ISZERO 00004207: PUSH2 0x420f 0000420a: JUMPI 0000420b: PUSH1 0x00 0000420d: DUP1 0000420e: REVERT 0000420f: JUMPDEST 00004210: PUSH2 0x0b33 00004213: DUP5 00004214: DUP3 00004215: DUP6 00004216: ADD 00004217: PUSH2 0x3e5b 0000421a: JUMP 0000421b: JUMPDEST 0000421c: PUSH1 0x00 0000421e: DUP1 0000421f: PUSH1 0x40 00004221: DUP4 00004222: DUP6 00004223: SUB 00004224: SLT 00004225: ISZERO 00004226: PUSH2 0x422e 00004229: JUMPI 0000422a: PUSH1 0x00 0000422c: DUP1 0000422d: REVERT 0000422e: JUMPDEST 0000422f: DUP3 00004230: CALLDATALOAD 00004231: PUSH2 0x4239 00004234: DUP2 00004235: PUSH2 0x3afc 00004238: JUMP 00004239: JUMPDEST 0000423a: SWAP2 0000423b: POP 0000423c: PUSH1 0x20 0000423e: DUP4 0000423f: ADD 00004240: CALLDATALOAD 00004241: PUSH2 0x3f35 00004244: DUP2 00004245: PUSH2 0x3afc 00004248: JUMP 00004249: JUMPDEST 0000424a: PUSH1 0x00 0000424c: DUP1 0000424d: PUSH1 0x00 0000424f: DUP1 00004250: PUSH1 0x60 00004252: DUP6 00004253: DUP8 00004254: SUB 00004255: SLT 00004256: ISZERO 00004257: PUSH2 0x425f 0000425a: JUMPI 0000425b: PUSH1 0x00 0000425d: DUP1 0000425e: REVERT 0000425f: JUMPDEST 00004260: DUP5 00004261: CALLDATALOAD 00004262: SWAP4 00004263: POP 00004264: PUSH1 0x20 00004266: DUP6 00004267: ADD 00004268: CALLDATALOAD 00004269: PUSH8 0xffffffffffffffff 00004272: DUP2 00004273: GT 00004274: ISZERO 00004275: PUSH2 0x427d 00004278: JUMPI 00004279: PUSH1 0x00 0000427b: DUP1 0000427c: REVERT 0000427d: JUMPDEST 0000427e: PUSH2 0x4289 00004281: DUP8 00004282: DUP3 00004283: DUP9 00004284: ADD 00004285: PUSH2 0x4131 00004288: JUMP 00004289: JUMPDEST 0000428a: SWAP1 0000428b: SWAP5 0000428c: POP 0000428d: SWAP3 0000428e: POP 0000428f: PUSH2 0x429c 00004292: SWAP1 00004293: POP 00004294: PUSH1 0x40 00004296: DUP7 00004297: ADD 00004298: PUSH2 0x3c15 0000429b: JUMP 0000429c: JUMPDEST 0000429d: SWAP1 0000429e: POP 0000429f: SWAP3 000042a0: SWAP6 000042a1: SWAP2 000042a2: SWAP5 000042a3: POP 000042a4: SWAP3 000042a5: POP 000042a6: JUMP 000042a7: JUMPDEST 000042a8: PUSH1 0x01 000042aa: DUP2 000042ab: DUP2 000042ac: SHR 000042ad: SWAP1 000042ae: DUP3 000042af: AND 000042b0: DUP1 000042b1: PUSH2 0x42bb 000042b4: JUMPI 000042b5: PUSH1 0x7f 000042b7: DUP3 000042b8: AND 000042b9: SWAP2 000042ba: POP 000042bb: JUMPDEST 000042bc: PUSH1 0x20 000042be: DUP3 000042bf: LT 000042c0: DUP2 000042c1: EQ 000042c2: ISZERO 000042c3: PUSH2 0x42f5 000042c6: JUMPI 000042c7: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 000042e8: PUSH1 0x00 000042ea: MSTORE 000042eb: PUSH1 0x22 000042ed: PUSH1 0x04 000042ef: MSTORE 000042f0: PUSH1 0x24 000042f2: PUSH1 0x00 000042f4: REVERT 000042f5: JUMPDEST 000042f6: POP 000042f7: SWAP2 000042f8: SWAP1 000042f9: POP 000042fa: JUMP 000042fb: JUMPDEST 000042fc: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000431d: PUSH1 0x00 0000431f: MSTORE 00004320: PUSH1 0x32 00004322: PUSH1 0x04 00004324: MSTORE 00004325: PUSH1 0x24 00004327: PUSH1 0x00 00004329: REVERT 0000432a: JUMPDEST 0000432b: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 0000434c: PUSH1 0x00 0000434e: MSTORE 0000434f: PUSH1 0x11 00004351: PUSH1 0x04 00004353: MSTORE 00004354: PUSH1 0x24 00004356: PUSH1 0x00 00004358: REVERT 00004359: JUMPDEST 0000435a: PUSH1 0x00 0000435c: DUP3 0000435d: NOT 0000435e: DUP3 0000435f: GT 00004360: ISZERO 00004361: PUSH2 0x436c 00004364: JUMPI 00004365: PUSH2 0x436c 00004368: PUSH2 0x432a 0000436b: JUMP 0000436c: JUMPDEST 0000436d: POP 0000436e: ADD 0000436f: SWAP1 00004370: JUMP 00004371: JUMPDEST 00004372: PUSH1 0x00 00004374: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 00004395: DUP3 00004396: EQ 00004397: ISZERO 00004398: PUSH2 0x43a3 0000439b: JUMPI 0000439c: PUSH2 0x43a3 0000439f: PUSH2 0x432a 000043a2: JUMP 000043a3: JUMPDEST 000043a4: POP 000043a5: PUSH1 0x01 000043a7: ADD 000043a8: SWAP1 000043a9: JUMP 000043aa: JUMPDEST 000043ab: PUSH1 0x00 000043ad: DUP2 000043ae: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff 000043cf: DIV 000043d0: DUP4 000043d1: GT 000043d2: DUP3 000043d3: ISZERO 000043d4: ISZERO 000043d5: AND 000043d6: ISZERO 000043d7: PUSH2 0x43e2 000043da: JUMPI 000043db: PUSH2 0x43e2 000043de: PUSH2 0x432a 000043e1: JUMP 000043e2: JUMPDEST 000043e3: POP 000043e4: MUL 000043e5: SWAP1 000043e6: JUMP 000043e7: JUMPDEST 000043e8: PUSH1 0x00 000043ea: DUP3 000043eb: PUSH2 0x441d 000043ee: JUMPI 000043ef: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00004410: PUSH1 0x00 00004412: MSTORE 00004413: PUSH1 0x12 00004415: PUSH1 0x04 00004417: MSTORE 00004418: PUSH1 0x24 0000441a: PUSH1 0x00 0000441c: REVERT 0000441d: JUMPDEST 0000441e: POP 0000441f: DIV 00004420: SWAP1 00004421: JUMP 00004422: JUMPDEST 00004423: PUSH1 0x00 00004425: DUP3 00004426: DUP3 00004427: LT 00004428: ISZERO 00004429: PUSH2 0x4434 0000442c: JUMPI 0000442d: PUSH2 0x4434 00004430: PUSH2 0x432a 00004433: JUMP 00004434: JUMPDEST 00004435: POP 00004436: SUB 00004437: SWAP1 00004438: JUMP 00004439: JUMPDEST 0000443a: PUSH1 0x00 0000443c: PUSH3 0xffffff 00004440: DUP1 00004441: DUP4 00004442: AND 00004443: DUP2 00004444: DUP6 00004445: AND 00004446: DUP1 00004447: DUP4 00004448: SUB 00004449: DUP3 0000444a: GT 0000444b: ISZERO 0000444c: PUSH2 0x4457 0000444f: JUMPI 00004450: PUSH2 0x4457 00004453: PUSH2 0x432a 00004456: JUMP 00004457: JUMPDEST 00004458: ADD 00004459: SWAP5 0000445a: SWAP4 0000445b: POP 0000445c: POP 0000445d: POP 0000445e: POP 0000445f: JUMP 00004460: JUMPDEST 00004461: PUSH1 0x00 00004463: PUSH3 0xffffff 00004467: DUP4 00004468: DUP2 00004469: AND 0000446a: SWAP1 0000446b: DUP4 0000446c: AND 0000446d: DUP2 0000446e: DUP2 0000446f: LT 00004470: ISZERO 00004471: PUSH2 0x447c 00004474: JUMPI 00004475: PUSH2 0x447c 00004478: PUSH2 0x432a 0000447b: JUMP 0000447c: JUMPDEST 0000447d: SUB 0000447e: SWAP4 0000447f: SWAP3 00004480: POP 00004481: POP 00004482: POP 00004483: JUMP 00004484: JUMPDEST 00004485: PUSH1 0x60 00004487: DUP2 00004488: MSTORE 00004489: PUSH1 0x00 0000448b: PUSH2 0x4497 0000448e: PUSH1 0x60 00004490: DUP4 00004491: ADD 00004492: DUP7 00004493: PUSH2 0x3e0d 00004496: JUMP 00004497: JUMPDEST 00004498: PUSH1 0x20 0000449a: DUP4 0000449b: DUP2 0000449c: ADD 0000449d: DUP7 0000449e: SWAP1 0000449f: MSTORE 000044a0: DUP4 000044a1: DUP3 000044a2: SUB 000044a3: PUSH1 0x40 000044a5: DUP6 000044a6: ADD 000044a7: MSTORE 000044a8: DUP5 000044a9: MLOAD 000044aa: DUP1 000044ab: DUP4 000044ac: MSTORE 000044ad: DUP6 000044ae: DUP3 000044af: ADD 000044b0: SWAP3 000044b1: DUP3 000044b2: ADD 000044b3: SWAP1 000044b4: PUSH1 0x00 000044b6: JUMPDEST 000044b7: DUP2 000044b8: DUP2 000044b9: LT 000044ba: ISZERO 000044bb: PUSH2 0x44d7 000044be: JUMPI 000044bf: DUP5 000044c0: MLOAD 000044c1: PUSH3 0xffffff 000044c5: AND 000044c6: DUP4 000044c7: MSTORE 000044c8: SWAP4 000044c9: DUP4 000044ca: ADD 000044cb: SWAP4 000044cc: SWAP2 000044cd: DUP4 000044ce: ADD 000044cf: SWAP2 000044d0: PUSH1 0x01 000044d2: ADD 000044d3: PUSH2 0x44b6 000044d6: JUMP 000044d7: JUMPDEST 000044d8: POP 000044d9: SWAP1 000044da: SWAP9 000044db: SWAP8 000044dc: POP 000044dd: POP 000044de: POP 000044df: POP 000044e0: POP 000044e1: POP 000044e2: POP 000044e3: POP 000044e4: JUMP 000044e5: JUMPDEST 000044e6: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00004507: PUSH1 0x00 00004509: MSTORE 0000450a: PUSH1 0x01 0000450c: PUSH1 0x04 0000450e: MSTORE 0000450f: PUSH1 0x24 00004511: PUSH1 0x00 00004513: REVERT 00004514: JUMPDEST 00004515: PUSH1 0x00 00004517: PUSH1 0x20 00004519: DUP3 0000451a: DUP5 0000451b: SUB 0000451c: SLT 0000451d: ISZERO 0000451e: PUSH2 0x4526 00004521: JUMPI 00004522: PUSH1 0x00 00004524: DUP1 00004525: REVERT 00004526: JUMPDEST 00004527: DUP2 00004528: MLOAD 00004529: PUSH8 0xffffffffffffffff 00004532: DUP2 00004533: GT 00004534: ISZERO 00004535: PUSH2 0x453d 00004538: JUMPI 00004539: PUSH1 0x00 0000453b: DUP1 0000453c: REVERT 0000453d: JUMPDEST 0000453e: DUP3 0000453f: ADD 00004540: PUSH1 0x1f 00004542: DUP2 00004543: ADD 00004544: DUP5 00004545: SGT 00004546: PUSH2 0x454e 00004549: JUMPI 0000454a: PUSH1 0x00 0000454c: DUP1 0000454d: REVERT 0000454e: JUMPDEST 0000454f: DUP1 00004550: MLOAD 00004551: PUSH2 0x455c 00004554: PUSH2 0x3c49 00004557: DUP3 00004558: PUSH2 0x4041 0000455b: JUMP 0000455c: JUMPDEST 0000455d: DUP2 0000455e: DUP2 0000455f: MSTORE 00004560: DUP6 00004561: PUSH1 0x20 00004563: DUP4 00004564: DUP6 00004565: ADD 00004566: ADD 00004567: GT 00004568: ISZERO 00004569: PUSH2 0x4571 0000456c: JUMPI 0000456d: PUSH1 0x00 0000456f: DUP1 00004570: REVERT 00004571: JUMPDEST 00004572: PUSH2 0x1f06 00004575: DUP3 00004576: PUSH1 0x20 00004578: DUP4 00004579: ADD 0000457a: PUSH1 0x20 0000457c: DUP7 0000457d: ADD 0000457e: PUSH2 0x3a5a 00004581: JUMP 00004582: JUMPDEST 00004583: PUSH1 0x00 00004585: PUSH1 0x20 00004587: DUP3 00004588: DUP5 00004589: SUB 0000458a: SLT 0000458b: ISZERO 0000458c: PUSH2 0x4594 0000458f: JUMPI 00004590: PUSH1 0x00 00004592: DUP1 00004593: REVERT 00004594: JUMPDEST 00004595: POP 00004596: MLOAD 00004597: SWAP2 00004598: SWAP1 00004599: POP 0000459a: JUMP 0000459b: JUMPDEST 0000459c: PUSH1 0x00 0000459e: PUSH1 0x20 000045a0: DUP3 000045a1: DUP5 000045a2: SUB 000045a3: SLT 000045a4: ISZERO 000045a5: PUSH2 0x45ad 000045a8: JUMPI 000045a9: PUSH1 0x00 000045ab: DUP1 000045ac: REVERT 000045ad: JUMPDEST 000045ae: DUP2 000045af: MLOAD 000045b0: PUSH2 0x0cd1 000045b3: DUP2 000045b4: PUSH2 0x4005 000045b7: JUMP 000045b8: JUMPDEST 000045b9: PUSH1 0x00 000045bb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000045d0: DUP1 000045d1: DUP8 000045d2: AND 000045d3: DUP4 000045d4: MSTORE 000045d5: DUP1 000045d6: DUP7 000045d7: AND 000045d8: PUSH1 0x20 000045da: DUP5 000045db: ADD 000045dc: MSTORE 000045dd: POP 000045de: DUP4 000045df: PUSH1 0x40 000045e1: DUP4 000045e2: ADD 000045e3: MSTORE 000045e4: PUSH1 0x80 000045e6: PUSH1 0x60 000045e8: DUP4 000045e9: ADD 000045ea: MSTORE 000045eb: PUSH2 0x45f7 000045ee: PUSH1 0x80 000045f0: DUP4 000045f1: ADD 000045f2: DUP5 000045f3: PUSH2 0x3a86 000045f6: JUMP 000045f7: JUMPDEST 000045f8: SWAP7 000045f9: SWAP6 000045fa: POP 000045fb: POP 000045fc: POP 000045fd: POP 000045fe: POP 000045ff: POP 00004600: JUMP 00004601: JUMPDEST 00004602: PUSH1 0x00 00004604: PUSH1 0x20 00004606: DUP3 00004607: DUP5 00004608: SUB 00004609: SLT 0000460a: ISZERO 0000460b: PUSH2 0x4613 0000460e: JUMPI 0000460f: PUSH1 0x00 00004611: DUP1 00004612: REVERT 00004613: JUMPDEST 00004614: DUP2 00004615: MLOAD 00004616: PUSH2 0x0cd1 00004619: DUP2 0000461a: PUSH2 0x3a0f 0000461d: JUMP 0000461e: JUMPDEST 0000461f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000 00004640: PUSH1 0x00 00004642: MSTORE 00004643: PUSH1 0x31 00004645: PUSH1 0x04 00004647: MSTORE 00004648: PUSH1 0x24 0000464a: PUSH1 0x00 0000464c: REVERT 0000464d: INVALID 0000464e: LOG2 0000464f: PUSH5 0x6970667358 00004655: UNKNOWN(0x22) 00004656: SLT 00004657: KECCAK256 00004658: UNKNOWN(0x2F) 00004659: UNKNOWN(0x2B) 0000465a: PUSH14 0x9a2036562e42faa4973393e7f2f1 00004669: DUP5 0000466a: SLOAD 0000466b: UNKNOWN(0x26) 0000466c: CHAINID 0000466d: UNKNOWN(0xC5) 0000466e: SWAP15 0000466f: DUP8 00004670: UNKNOWN(0xD0) 00004671: UNKNOWN(0x26) 00004672: PUSH12 0xdf39e8187d64736f6c634300 0000467f: ADDMOD 00004680: MULMOD 00004681: STOP 00004682: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0xdd747d5a68576dad72ea0bbd36f8ad69ccb1889b9bc8d023e25db5eac90c3a14
call_targets:
0x0cfeac50835edfb3d5e9b08abd9011298e54eab1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xdd747d5a68576dad72ea0bbd36f8ad69ccb1889b9bc8d023e25db5eac90c3a14",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0cfeac50835edfb3d5e9b08abd9011298e54eab1"
],
"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": "0xef981c93",
"selector": "0xef981c93",
"calldata_variants": [
"0xef981c93",
"0xef981c930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf85cfc51",
"selector": "0xf85cfc51",
"calldata_variants": [
"0xf85cfc51",
"0xf85cfc510000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xde62d842",
"selector": "0xde62d842",
"calldata_variants": [
"0xde62d842",
"0xde62d8420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc620c3fb",
"selector": "0xc620c3fb",
"calldata_variants": [
"0xc620c3fb",
"0xc620c3fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb038102",
"selector": "0xdb038102",
"calldata_variants": [
"0xdb038102",
"0xdb0381020000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 12235,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 12378,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 13098,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 3,
"guards_detected": [
{
"pc": 2593,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 3
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0xdd747d5a68576dad72ea0bbd36f8ad69ccb1889b9bc8d023e25db5eac90c3a14
call_targets:
0x0cfeac50835edfb3d5e9b08abd9011298e54eab1
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xdd747d5a68576dad72ea0bbd36f8ad69ccb1889b9bc8d023e25db5eac90c3a14",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0cfeac50835edfb3d5e9b08abd9011298e54eab1"
],
"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": "0xef981c93",
"selector": "0xef981c93",
"calldata_variants": [
"0xef981c93",
"0xef981c930000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf85cfc51",
"selector": "0xf85cfc51",
"calldata_variants": [
"0xf85cfc51",
"0xf85cfc510000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xde62d842",
"selector": "0xde62d842",
"calldata_variants": [
"0xde62d842",
"0xde62d8420000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe985e9c5",
"selector": "0xe985e9c5",
"calldata_variants": [
"0xe985e9c5",
"0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc620c3fb",
"selector": "0xc620c3fb",
"calldata_variants": [
"0xc620c3fb",
"0xc620c3fb0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xc87b56dd",
"selector": "0xc87b56dd",
"calldata_variants": [
"0xc87b56dd",
"0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdb038102",
"selector": "0xdb038102",
"calldata_variants": [
"0xdb038102",
"0xdb0381020000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 12235,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 12378,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 13098,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 3,
"guards_detected": [
{
"pc": 2593,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|
| low | upgradeability | codex | Uninitialized proxy can be taken over via public initialize | 65 | no | — |
viewevidence_json{
"evidence": "initialize is external and only protected by initializer; no access control is enforced before _transferOwnership.",
"locations": [
"contracts/Shardwallet.sol:117"
],
"recommendation": "Ensure proxy deployment always calls initialize atomically (e.g., via constructor data or deploy-and-call pattern). Consider adding an initializer access pattern (e.g., onlyProxy + initializer with deployer-set admin) or a factory that initializes immediately.",
"exploit_scenario": "If a proxy is deployed without calling initialize in the same transaction, any external caller can invoke initialize and set themselves as owner, minting the genesis shard to themselves and gaining full control over token URI delegate and shard operations."
}
|
| 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": 7
}
|