f715ba05-3ea0-4d9e-983a-7fcdb963f4fd
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 |
|---|---|---|---|---|
| 31405 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 77056 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 77057 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 77058 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 77059 | capability.graph | complete | 1 / 3 | 1 week ago |
| 77060 | detector.run | complete | 1 / 3 | 1 week ago |
| 77061 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:716699] OpenAI Codex v0.77.0 (research preview)
[codex:716699] --------
[codex:716699] workdir: /tmp/codex-multi-jrr0ez8j
[codex:716699] model: gpt-5.2-codex
[codex:716699] provider: openai
[codex:716699] approval: never
[codex:716699] sandbox: read-only
[codex:716699] reasoning effort: xhigh
[codex:716699] reasoning summaries: auto
[codex:716699] session id: 019b8143-9230-74f2-8818-90103c7c86b4
[codex:716699] --------
[codex:716699] user
[codex:716699] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:716699]
[codex:716699] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:716699]
[codex:716699] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:716699] - Gas inefficiency, code quality, naming, or best practices
[codex:716699] - Theoretical vulnerabilities without a clear extraction path
[codex:716699] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:716699] - Front-running unless it enables theft beyond MEV
[codex:716699] - DoS, griefing, or issues that don't result in attacker profit
[codex:716699] - Missing events, view function issues, or informational findings
[codex:716699]
[codex:716699] HIGH-VALUE PATTERNS TO HUNT:
[codex:716699] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:716699] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:716699] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:716699] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:716699] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:716699] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:716699] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:716699] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:716699] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:716699]
[codex:716699] For each finding, you MUST provide:
[codex:716699] 1. Exact file and line numbers of vulnerable code
[codex:716699] 2. Step-by-step exploit transaction sequence
[codex:716699] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:716699]
[codex:716699] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:716699]
[codex:716699] Output MUST be valid JSON matching the provided schema.
[codex:716699] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:716699] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:716699] mcp startup: no servers
[codex:716699]
[codex:716699] thinking
[codex:716699] **Preparing to audit by reviewing instructions**
[codex:716699] exec
[codex:716699] /bin/bash -lc ls in /tmp/codex-multi-jrr0ez8j succeeded in 6ms:
[codex:716699] AUDIT_BUNDLE.txt
[codex:716699] codex-output-schema.json
[codex:716699] contracts
[codex:716699]
[codex:716699] thinking
[codex:716699] **Reading AUDIT_BUNDLE.txt**
[codex:716699] exec
[codex:716699] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-jrr0ez8j succeeded in 5ms:
[codex:716699] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:716699]
[codex:716699] ================================================================================
[codex:716699] FILE: contracts/@chainlink/contracts/src/v0.8/VRFConsumerBaseV2.sol
[codex:716699] ================================================================================
[codex:716699] // SPDX-License-Identifier: MIT
[codex:716699] pragma solidity ^0.8.4;
[codex:716699]
[codex:716699] /** ****************************************************************************
[codex:716699] * @notice Interface for contracts using VRF randomness
[codex:716699] * *****************************************************************************
[codex:716699] * @dev PURPOSE
[codex:716699] *
[codex:716699] * @dev Reggie the Random Oracle (not his real job) wants to provide randomness
[codex:716699] * @dev to Vera the verifier in such a way that Vera can be sure he's not
[codex:716699] * @dev making his output up to suit himself. Reggie provides Vera a public key
[codex:716699] * @dev to which he knows the secret key. Each time Vera provides a seed to
[codex:716699] * @dev Reggie, he gives back a value which is computed completely
[codex:716699] * @dev deterministically from the seed and the secret key.
[codex:716699] *
[codex:716699]
[codex:716699] thinking
[codex:716699] **Analyzing Auction Contract Vulnerabilities**
[codex:716699]
[codex:716699] I’m reviewing the auction contract for exploitable profit paths, focusing on reentrancy, bid handling, and auction-ending logic. I notice a likely overcount in quantityAtMaxPrice when updating max-price bids, which could prematurely end auctions, but this seems more like griefing than direct profit extraction. Ownership checks and refund mechanisms appear secure, and no straightforward fund extraction or reentrancy flaws are apparent. I plan to confirm this by checking other contracts in the repo for additional attack surfaces.
[codex:716699] exec
[codex:716699] /bin/bash -lc 'rg --files contracts' in /tmp/codex-multi-jrr0ez8j succeeded in 8ms:
[codex:716699] contracts/@openzeppelin/contracts/security/Pausable.sol
[codex:716699] contracts/@openzeppelin/contracts/access/Ownable.sol
[codex:716699] contracts/contracts/Auction.sol
[codex:716699] contracts/@openzeppelin/contracts/token/ERC20/IERC20.sol
[codex:716699] contracts/@openzeppelin/contracts/utils/Context.sol
[codex:716699] contracts/@openzeppelin/contracts/utils/Address.sol
[codex:716699] contracts/@chainlink/contracts/src/v0.8/VRFConsumerBaseV2.sol
[codex:716699] contracts/@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol
[codex:716699] contracts/@chainlink/contracts/src/v0.8/interfaces/VRFCoordinatorV2Interface.sol
[codex:716699] contracts/@openzeppelin/contracts/utils/cryptography/MerkleProof.sol
[codex:716699]
[codex:716699] thinking
[codex:716699] **Performing detailed audit analysis**
[codex:716699]
[codex:716699] I'm carefully reviewing the auction contract for any concrete exploit paths that would allow extracting ETH, tokens, or NFTs. I'm analyzing bid and refund logic, access controls, potential overflows, and interplay of bid updates with minimum increments, focusing on whether any loopholes could lead to profit. Everything looks secure with no direct exploits; I'll produce a clean JSON report stating no findings as requested.
[codex:716699] codex
[codex:716699] {"no_findings":true,"summary":"No concrete, exploitable paths to extract ETH/tokens/NFTs identified in `contracts/contracts/Auction.sol` under the stated assumptions.","findings":[]}
[codex:716699] tokens used
[codex:716699] 13,114
[codex:716699] {"no_findings":true,"summary":"No concrete, exploitable paths to extract ETH/tokens/NFTs identified in `contracts/contracts/Auction.sol` under the stated assumptions.","findings":[]}
{
"codex": {
"ran_at": "2026-01-03T00:32:14.937771+00:00",
"returncode": 0
},
"summary": "No concrete, exploitable paths to extract ETH/tokens/NFTs identified in `contracts/contracts/Auction.sol` under the stated assumptions.",
"raw_final": {
"summary": "No concrete, exploitable paths to extract ETH/tokens/NFTs identified in `contracts/contracts/Auction.sol` under the stated assumptions.",
"findings": [],
"no_findings": true
},
"no_findings": true,
"schema_version": 1
}
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0297 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8456cb59 00000019: GT 0000001a: PUSH2 0x015a 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xe0549211 00000024: GT 00000025: PUSH2 0x00c1 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xeedcf574 0000002f: GT 00000030: PUSH2 0x007a 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xeedcf574 0000003a: EQ 0000003b: PUSH2 0x0960 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xf14210a6 00000045: EQ 00000046: PUSH2 0x0980 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x09a0 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf624af15 0000005b: EQ 0000005c: PUSH2 0x09c0 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xf9f486d7 00000066: EQ 00000067: PUSH2 0x09f4 0000006a: JUMPI 0000006b: DUP1 0000006c: PUSH4 0xfe67a54b 00000071: EQ 00000072: PUSH2 0x0a09 00000075: JUMPI 00000076: PUSH1 0x00 00000078: DUP1 00000079: REVERT 0000007a: JUMPDEST 0000007b: DUP1 0000007c: PUSH4 0xe0549211 00000081: EQ 00000082: PUSH2 0x084e 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xe283a8b8 0000008c: EQ 0000008d: PUSH2 0x086e 00000090: JUMPI 00000091: DUP1 00000092: PUSH4 0xe5f73d3a 00000097: EQ 00000098: PUSH2 0x0884 0000009b: JUMPI 0000009c: DUP1 0000009d: PUSH4 0xeba1b60b 000000a2: EQ 000000a3: PUSH2 0x08a4 000000a6: JUMPI 000000a7: DUP1 000000a8: PUSH4 0xec89b5e0 000000ad: EQ 000000ae: PUSH2 0x08eb 000000b1: JUMPI 000000b2: DUP1 000000b3: PUSH4 0xed647d21 000000b8: EQ 000000b9: PUSH2 0x091f 000000bc: JUMPI 000000bd: PUSH1 0x00 000000bf: DUP1 000000c0: REVERT 000000c1: JUMPDEST 000000c2: DUP1 000000c3: PUSH4 0xbcba6939 000000c8: GT 000000c9: PUSH2 0x0113 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0xbcba6939 000000d3: EQ 000000d4: PUSH2 0x0799 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0xbfab3db9 000000de: EQ 000000df: PUSH2 0x07b9 000000e2: JUMPI 000000e3: DUP1 000000e4: PUSH4 0xd218d95d 000000e9: EQ 000000ea: PUSH2 0x07ce 000000ed: JUMPI 000000ee: DUP1 000000ef: PUSH4 0xd53c4790 000000f4: EQ 000000f5: PUSH2 0x07ee 000000f8: JUMPI 000000f9: DUP1 000000fa: PUSH4 0xd9c4870e 000000ff: EQ 00000100: PUSH2 0x0804 00000103: JUMPI 00000104: DUP1 00000105: PUSH4 0xdf690509 0000010a: EQ 0000010b: PUSH2 0x0838 0000010e: JUMPI 0000010f: PUSH1 0x00 00000111: DUP1 00000112: REVERT 00000113: JUMPDEST 00000114: DUP1 00000115: PUSH4 0x8456cb59 0000011a: EQ 0000011b: PUSH2 0x06a3 0000011e: JUMPI 0000011f: DUP1 00000120: PUSH4 0x8da5cb5b 00000125: EQ 00000126: PUSH2 0x06b8 00000129: JUMPI 0000012a: DUP1 0000012b: PUSH4 0x9d6a0f28 00000130: EQ 00000131: PUSH2 0x06ea 00000134: JUMPI 00000135: DUP1 00000136: PUSH4 0xa39c44eb 0000013b: EQ 0000013c: PUSH2 0x0744 0000013f: JUMPI 00000140: DUP1 00000141: PUSH4 0xa3e56fa8 00000146: EQ 00000147: PUSH2 0x0759 0000014a: JUMPI 0000014b: DUP1 0000014c: PUSH4 0xb7054007 00000151: EQ 00000152: PUSH2 0x0779 00000155: JUMPI 00000156: PUSH1 0x00 00000158: DUP1 00000159: REVERT 0000015a: JUMPDEST 0000015b: DUP1 0000015c: PUSH4 0x50d9d472 00000161: GT 00000162: PUSH2 0x01fe 00000165: JUMPI 00000166: DUP1 00000167: PUSH4 0x5e62be25 0000016c: GT 0000016d: PUSH2 0x01b7 00000170: JUMPI 00000171: DUP1 00000172: PUSH4 0x5e62be25 00000177: EQ 00000178: PUSH2 0x05fd 0000017b: JUMPI 0000017c: DUP1 0000017d: PUSH4 0x6011cc9f 00000182: EQ 00000183: PUSH2 0x0610 00000186: JUMPI 00000187: DUP1 00000188: PUSH4 0x60529690 0000018d: EQ 0000018e: PUSH2 0x0630 00000191: JUMPI 00000192: DUP1 00000193: PUSH4 0x6b64c769 00000198: EQ 00000199: PUSH2 0x0645 0000019c: JUMPI 0000019d: DUP1 0000019e: PUSH4 0x715018a6 000001a3: EQ 000001a4: PUSH2 0x065a 000001a7: JUMPI 000001a8: DUP1 000001a9: PUSH4 0x7f06cd22 000001ae: EQ 000001af: PUSH2 0x066f 000001b2: JUMPI 000001b3: PUSH1 0x00 000001b5: DUP1 000001b6: REVERT 000001b7: JUMPDEST 000001b8: DUP1 000001b9: PUSH4 0x50d9d472 000001be: EQ 000001bf: PUSH2 0x051a 000001c2: JUMPI 000001c3: DUP1 000001c4: PUSH4 0x510c5d6a 000001c9: EQ 000001ca: PUSH2 0x054e 000001cd: JUMPI 000001ce: DUP1 000001cf: PUSH4 0x5151804a 000001d4: EQ 000001d5: PUSH2 0x0563 000001d8: JUMPI 000001d9: DUP1 000001da: PUSH4 0x598bc486 000001df: EQ 000001e0: PUSH2 0x0587 000001e3: JUMPI 000001e4: DUP1 000001e5: PUSH4 0x5a131edf 000001ea: EQ 000001eb: PUSH2 0x05bd 000001ee: JUMPI 000001ef: DUP1 000001f0: PUSH4 0x5c975abb 000001f5: EQ 000001f6: PUSH2 0x05d2 000001f9: JUMPI 000001fa: PUSH1 0x00 000001fc: DUP1 000001fd: REVERT 000001fe: JUMPDEST 000001ff: DUP1 00000200: PUSH4 0x338bd126 00000205: GT 00000206: PUSH2 0x0250 00000209: JUMPI 0000020a: DUP1 0000020b: PUSH4 0x338bd126 00000210: EQ 00000211: PUSH2 0x0435 00000214: JUMPI 00000215: DUP1 00000216: PUSH4 0x3b7ed734 0000021b: EQ 0000021c: PUSH2 0x0469 0000021f: JUMPI 00000220: DUP1 00000221: PUSH4 0x3f4ba83a 00000226: EQ 00000227: PUSH2 0x049b 0000022a: JUMPI 0000022b: DUP1 0000022c: PUSH4 0x4326a9d6 00000231: EQ 00000232: PUSH2 0x04b0 00000235: JUMPI 00000236: DUP1 00000237: PUSH4 0x44ff81ce 0000023c: EQ 0000023d: PUSH2 0x04e4 00000240: JUMPI 00000241: DUP1 00000242: PUSH4 0x4f245ef7 00000247: EQ 00000248: PUSH2 0x0504 0000024b: JUMPI 0000024c: PUSH1 0x00 0000024e: DUP1 0000024f: REVERT 00000250: JUMPDEST 00000251: DUP1 00000252: PUSH4 0x041d443e 00000257: EQ 00000258: PUSH2 0x038d 0000025b: JUMPI 0000025c: DUP1 0000025d: PUSH4 0x1fe543e3 00000262: EQ 00000263: PUSH2 0x03b6 00000266: JUMPI 00000267: DUP1 00000268: PUSH4 0x203543cb 0000026d: EQ 0000026e: PUSH2 0x03d6 00000271: JUMPI 00000272: DUP1 00000273: PUSH4 0x20c924d4 00000278: EQ 00000279: PUSH2 0x03eb 0000027c: JUMPI 0000027d: DUP1 0000027e: PUSH4 0x211f0036 00000283: EQ 00000284: PUSH2 0x0400 00000287: JUMPI 00000288: DUP1 00000289: PUSH4 0x2ca6d27c 0000028e: EQ 0000028f: PUSH2 0x0420 00000292: JUMPI 00000293: PUSH1 0x00 00000295: DUP1 00000296: REVERT 00000297: JUMPDEST 00000298: CALLDATASIZE 00000299: PUSH2 0x0388 0000029c: JUMPI 0000029d: PUSH1 0x00 0000029f: CALLVALUE 000002a0: GT 000002a1: PUSH2 0x02e5 000002a4: JUMPI 000002a5: PUSH1 0x40 000002a7: MLOAD 000002a8: PUSH3 0x461bcd 000002ac: PUSH1 0xe5 000002ae: SHL 000002af: DUP2 000002b0: MSTORE 000002b1: PUSH1 0x20 000002b3: PUSH1 0x04 000002b5: DUP3 000002b6: ADD 000002b7: MSTORE 000002b8: PUSH1 0x11 000002ba: PUSH1 0x24 000002bc: DUP3 000002bd: ADD 000002be: MSTORE 000002bf: PUSH17 0x139bc8195d1a195c881dd85cc81cd95b9d 000002d1: PUSH1 0x7a 000002d3: SHL 000002d4: PUSH1 0x44 000002d6: DUP3 000002d7: ADD 000002d8: MSTORE 000002d9: PUSH1 0x64 000002db: ADD 000002dc: JUMPDEST 000002dd: PUSH1 0x40 000002df: MLOAD 000002e0: DUP1 000002e1: SWAP2 000002e2: SUB 000002e3: SWAP1 000002e4: REVERT 000002e5: JUMPDEST 000002e6: CALLER 000002e7: PUSH1 0x01 000002e9: PUSH1 0x01 000002eb: PUSH1 0xa0 000002ed: SHL 000002ee: SUB 000002ef: PUSH32 0x0000000000000000000000000b4e6f5c38a5e0fa2ea528bac2055e7304f82fef 00000310: AND 00000311: EQ 00000312: DUP1 00000313: PUSH2 0x0326 00000316: JUMPI 00000317: POP 00000318: PUSH1 0x00 0000031a: SLOAD 0000031b: PUSH1 0x01 0000031d: PUSH1 0x01 0000031f: PUSH1 0xa0 00000321: SHL 00000322: SUB 00000323: AND 00000324: CALLER 00000325: EQ 00000326: JUMPDEST 00000327: PUSH2 0x0386 0000032a: JUMPI 0000032b: PUSH1 0x40 0000032d: MLOAD 0000032e: PUSH3 0x461bcd 00000332: PUSH1 0xe5 00000334: SHL 00000335: DUP2 00000336: MSTORE 00000337: PUSH1 0x20 00000339: PUSH1 0x04 0000033b: DUP3 0000033c: ADD 0000033d: MSTORE 0000033e: PUSH1 0x2b 00000340: PUSH1 0x24 00000342: DUP3 00000343: ADD 00000344: MSTORE 00000345: PUSH32 0x4f6e6c79206f776e6572206f722062656e65666963696172792063616e206675 00000366: PUSH1 0x44 00000368: DUP3 00000369: ADD 0000036a: MSTORE 0000036b: PUSH11 0x1b990818dbdb9d1c9858dd 00000377: PUSH1 0xaa 00000379: SHL 0000037a: PUSH1 0x64 0000037c: DUP3 0000037d: ADD 0000037e: MSTORE 0000037f: PUSH1 0x84 00000381: ADD 00000382: PUSH2 0x02dc 00000385: JUMP 00000386: JUMPDEST 00000387: STOP 00000388: JUMPDEST 00000389: PUSH1 0x00 0000038b: DUP1 0000038c: REVERT 0000038d: JUMPDEST 0000038e: CALLVALUE 0000038f: DUP1 00000390: ISZERO 00000391: PUSH2 0x0399 00000394: JUMPI 00000395: PUSH1 0x00 00000397: DUP1 00000398: REVERT 00000399: JUMPDEST 0000039a: POP 0000039b: PUSH2 0x03a3 0000039e: PUSH1 0x02 000003a0: SLOAD 000003a1: DUP2 000003a2: JUMP 000003a3: JUMPDEST 000003a4: PUSH1 0x40 000003a6: MLOAD 000003a7: SWAP1 000003a8: DUP2 000003a9: MSTORE 000003aa: PUSH1 0x20 000003ac: ADD 000003ad: JUMPDEST 000003ae: PUSH1 0x40 000003b0: MLOAD 000003b1: DUP1 000003b2: SWAP2 000003b3: SUB 000003b4: SWAP1 000003b5: RETURN 000003b6: JUMPDEST 000003b7: CALLVALUE 000003b8: DUP1 000003b9: ISZERO 000003ba: PUSH2 0x03c2 000003bd: JUMPI 000003be: PUSH1 0x00 000003c0: DUP1 000003c1: REVERT 000003c2: JUMPDEST 000003c3: POP 000003c4: PUSH2 0x0386 000003c7: PUSH2 0x03d1 000003ca: CALLDATASIZE 000003cb: PUSH1 0x04 000003cd: PUSH2 0x241f 000003d0: JUMP 000003d1: JUMPDEST 000003d2: PUSH2 0x0a1e 000003d5: JUMP 000003d6: JUMPDEST 000003d7: CALLVALUE 000003d8: DUP1 000003d9: ISZERO 000003da: PUSH2 0x03e2 000003dd: JUMPI 000003de: PUSH1 0x00 000003e0: DUP1 000003e1: REVERT 000003e2: JUMPDEST 000003e3: POP 000003e4: PUSH2 0x03a3 000003e7: PUSH1 0x3c 000003e9: DUP2 000003ea: JUMP 000003eb: JUMPDEST 000003ec: CALLVALUE 000003ed: DUP1 000003ee: ISZERO 000003ef: PUSH2 0x03f7 000003f2: JUMPI 000003f3: PUSH1 0x00 000003f5: DUP1 000003f6: REVERT 000003f7: JUMPDEST 000003f8: POP 000003f9: PUSH2 0x03a3 000003fc: PUSH1 0x01 000003fe: DUP2 000003ff: JUMP 00000400: JUMPDEST 00000401: CALLVALUE 00000402: DUP1 00000403: ISZERO 00000404: PUSH2 0x040c 00000407: JUMPI 00000408: PUSH1 0x00 0000040a: DUP1 0000040b: REVERT 0000040c: JUMPDEST 0000040d: POP 0000040e: PUSH2 0x0386 00000411: PUSH2 0x041b 00000414: CALLDATASIZE 00000415: PUSH1 0x04 00000417: PUSH2 0x24e9 0000041a: JUMP 0000041b: JUMPDEST 0000041c: PUSH2 0x0aa6 0000041f: JUMP 00000420: JUMPDEST 00000421: CALLVALUE 00000422: DUP1 00000423: ISZERO 00000424: PUSH2 0x042c 00000427: JUMPI 00000428: PUSH1 0x00 0000042a: DUP1 0000042b: REVERT 0000042c: JUMPDEST 0000042d: POP 0000042e: PUSH2 0x03a3 00000431: PUSH1 0x02 00000433: DUP2 00000434: JUMP 00000435: JUMPDEST 00000436: CALLVALUE 00000437: DUP1 00000438: ISZERO 00000439: PUSH2 0x0441 0000043c: JUMPI 0000043d: PUSH1 0x00 0000043f: DUP1 00000440: REVERT 00000441: JUMPDEST 00000442: POP 00000443: PUSH2 0x03a3 00000446: PUSH32 0x00000000000000000000000000000000000000000000000003782dace9d90000 00000467: DUP2 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: PUSH1 0x03 00000479: SLOAD 0000047a: PUSH2 0x0486 0000047d: SWAP1 0000047e: PUSH4 0xffffffff 00000483: AND 00000484: DUP2 00000485: JUMP 00000486: JUMPDEST 00000487: PUSH1 0x40 00000489: MLOAD 0000048a: PUSH4 0xffffffff 0000048f: SWAP1 00000490: SWAP2 00000491: AND 00000492: DUP2 00000493: MSTORE 00000494: PUSH1 0x20 00000496: ADD 00000497: PUSH2 0x03ad 0000049a: JUMP 0000049b: JUMPDEST 0000049c: CALLVALUE 0000049d: DUP1 0000049e: ISZERO 0000049f: PUSH2 0x04a7 000004a2: JUMPI 000004a3: PUSH1 0x00 000004a5: DUP1 000004a6: REVERT 000004a7: JUMPDEST 000004a8: POP 000004a9: PUSH2 0x0386 000004ac: PUSH2 0x0e3c 000004af: JUMP 000004b0: JUMPDEST 000004b1: CALLVALUE 000004b2: DUP1 000004b3: ISZERO 000004b4: PUSH2 0x04bc 000004b7: JUMPI 000004b8: PUSH1 0x00 000004ba: DUP1 000004bb: REVERT 000004bc: JUMPDEST 000004bd: POP 000004be: PUSH2 0x03a3 000004c1: PUSH32 0x0000000000000000000000000000000000000000000000001bc16d674ec80000 000004e2: DUP2 000004e3: JUMP 000004e4: JUMPDEST 000004e5: CALLVALUE 000004e6: DUP1 000004e7: ISZERO 000004e8: PUSH2 0x04f0 000004eb: JUMPI 000004ec: PUSH1 0x00 000004ee: DUP1 000004ef: REVERT 000004f0: JUMPDEST 000004f1: POP 000004f2: PUSH2 0x0386 000004f5: PUSH2 0x04ff 000004f8: CALLDATASIZE 000004f9: PUSH1 0x04 000004fb: PUSH2 0x257d 000004fe: JUMP 000004ff: JUMPDEST 00000500: PUSH2 0x0e70 00000503: JUMP 00000504: JUMPDEST 00000505: CALLVALUE 00000506: DUP1 00000507: ISZERO 00000508: PUSH2 0x0510 0000050b: JUMPI 0000050c: PUSH1 0x00 0000050e: DUP1 0000050f: REVERT 00000510: JUMPDEST 00000511: POP 00000512: PUSH2 0x03a3 00000515: PUSH1 0x05 00000517: SLOAD 00000518: DUP2 00000519: JUMP 0000051a: JUMPDEST 0000051b: CALLVALUE 0000051c: DUP1 0000051d: ISZERO 0000051e: PUSH2 0x0526 00000521: JUMPI 00000522: PUSH1 0x00 00000524: DUP1 00000525: REVERT 00000526: JUMPDEST 00000527: POP 00000528: PUSH2 0x03a3 0000052b: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001 0000054c: DUP2 0000054d: JUMP 0000054e: JUMPDEST 0000054f: CALLVALUE 00000550: DUP1 00000551: ISZERO 00000552: PUSH2 0x055a 00000555: JUMPI 00000556: PUSH1 0x00 00000558: DUP1 00000559: REVERT 0000055a: JUMPDEST 0000055b: POP 0000055c: PUSH1 0x08 0000055e: SLOAD 0000055f: PUSH2 0x03a3 00000562: JUMP 00000563: JUMPDEST 00000564: CALLVALUE 00000565: DUP1 00000566: ISZERO 00000567: PUSH2 0x056f 0000056a: JUMPI 0000056b: PUSH1 0x00 0000056d: DUP1 0000056e: REVERT 0000056f: JUMPDEST 00000570: POP 00000571: PUSH1 0x03 00000573: SLOAD 00000574: PUSH2 0x0486 00000577: SWAP1 00000578: PUSH1 0x01 0000057a: PUSH1 0x30 0000057c: SHL 0000057d: SWAP1 0000057e: DIV 0000057f: PUSH4 0xffffffff 00000584: AND 00000585: DUP2 00000586: JUMP 00000587: JUMPDEST 00000588: CALLVALUE 00000589: DUP1 0000058a: ISZERO 0000058b: PUSH2 0x0593 0000058e: JUMPI 0000058f: PUSH1 0x00 00000591: DUP1 00000592: REVERT 00000593: JUMPDEST 00000594: POP 00000595: PUSH1 0x03 00000597: SLOAD 00000598: PUSH2 0x05aa 0000059b: SWAP1 0000059c: PUSH5 0x0100000000 000005a2: SWAP1 000005a3: DIV 000005a4: PUSH2 0xffff 000005a7: AND 000005a8: DUP2 000005a9: JUMP 000005aa: JUMPDEST 000005ab: PUSH1 0x40 000005ad: MLOAD 000005ae: PUSH2 0xffff 000005b1: SWAP1 000005b2: SWAP2 000005b3: AND 000005b4: DUP2 000005b5: MSTORE 000005b6: PUSH1 0x20 000005b8: ADD 000005b9: PUSH2 0x03ad 000005bc: JUMP 000005bd: JUMPDEST 000005be: CALLVALUE 000005bf: DUP1 000005c0: ISZERO 000005c1: PUSH2 0x05c9 000005c4: JUMPI 000005c5: PUSH1 0x00 000005c7: DUP1 000005c8: REVERT 000005c9: JUMPDEST 000005ca: POP 000005cb: PUSH2 0x03a3 000005ce: PUSH1 0xc8 000005d0: DUP2 000005d1: JUMP 000005d2: JUMPDEST 000005d3: CALLVALUE 000005d4: DUP1 000005d5: ISZERO 000005d6: PUSH2 0x05de 000005d9: JUMPI 000005da: PUSH1 0x00 000005dc: DUP1 000005dd: REVERT 000005de: JUMPDEST 000005df: POP 000005e0: PUSH1 0x00 000005e2: SLOAD 000005e3: PUSH1 0x01 000005e5: PUSH1 0xa0 000005e7: SHL 000005e8: SWAP1 000005e9: DIV 000005ea: PUSH1 0xff 000005ec: AND 000005ed: JUMPDEST 000005ee: PUSH1 0x40 000005f0: MLOAD 000005f1: SWAP1 000005f2: ISZERO 000005f3: ISZERO 000005f4: DUP2 000005f5: MSTORE 000005f6: PUSH1 0x20 000005f8: ADD 000005f9: PUSH2 0x03ad 000005fc: JUMP 000005fd: JUMPDEST 000005fe: PUSH2 0x0386 00000601: PUSH2 0x060b 00000604: CALLDATASIZE 00000605: PUSH1 0x04 00000607: PUSH2 0x259a 0000060a: JUMP 0000060b: JUMPDEST 0000060c: PUSH2 0x0ebc 0000060f: JUMP 00000610: JUMPDEST 00000611: CALLVALUE 00000612: DUP1 00000613: ISZERO 00000614: PUSH2 0x061c 00000617: JUMPI 00000618: PUSH1 0x00 0000061a: DUP1 0000061b: REVERT 0000061c: JUMPDEST 0000061d: POP 0000061e: PUSH2 0x0386 00000621: PUSH2 0x062b 00000624: CALLDATASIZE 00000625: PUSH1 0x04 00000627: PUSH2 0x25c6 0000062a: JUMP 0000062b: JUMPDEST 0000062c: PUSH2 0x148a 0000062f: JUMP 00000630: JUMPDEST 00000631: CALLVALUE 00000632: DUP1 00000633: ISZERO 00000634: PUSH2 0x063c 00000637: JUMPI 00000638: PUSH1 0x00 0000063a: DUP1 0000063b: REVERT 0000063c: JUMPDEST 0000063d: POP 0000063e: PUSH2 0x03a3 00000641: PUSH1 0x32 00000643: DUP2 00000644: JUMP 00000645: JUMPDEST 00000646: CALLVALUE 00000647: DUP1 00000648: ISZERO 00000649: PUSH2 0x0651 0000064c: JUMPI 0000064d: PUSH1 0x00 0000064f: DUP1 00000650: REVERT 00000651: JUMPDEST 00000652: POP 00000653: PUSH2 0x0386 00000656: PUSH2 0x14dd 00000659: JUMP 0000065a: JUMPDEST 0000065b: CALLVALUE 0000065c: DUP1 0000065d: ISZERO 0000065e: PUSH2 0x0666 00000661: JUMPI 00000662: PUSH1 0x00 00000664: DUP1 00000665: REVERT 00000666: JUMPDEST 00000667: POP 00000668: PUSH2 0x0386 0000066b: PUSH2 0x15df 0000066e: JUMP 0000066f: JUMPDEST 00000670: CALLVALUE 00000671: DUP1 00000672: ISZERO 00000673: PUSH2 0x067b 00000676: JUMPI 00000677: PUSH1 0x00 00000679: DUP1 0000067a: REVERT 0000067b: JUMPDEST 0000067c: POP 0000067d: PUSH2 0x03a3 00000680: PUSH32 0x00000000000000000000000000000000000000000000000000b1a2bc2ec50000 000006a1: DUP2 000006a2: JUMP 000006a3: JUMPDEST 000006a4: CALLVALUE 000006a5: DUP1 000006a6: ISZERO 000006a7: PUSH2 0x06af 000006aa: JUMPI 000006ab: PUSH1 0x00 000006ad: DUP1 000006ae: REVERT 000006af: JUMPDEST 000006b0: POP 000006b1: PUSH2 0x0386 000006b4: PUSH2 0x1613 000006b7: JUMP 000006b8: JUMPDEST 000006b9: CALLVALUE 000006ba: DUP1 000006bb: ISZERO 000006bc: PUSH2 0x06c4 000006bf: JUMPI 000006c0: PUSH1 0x00 000006c2: DUP1 000006c3: REVERT 000006c4: JUMPDEST 000006c5: POP 000006c6: PUSH1 0x00 000006c8: SLOAD 000006c9: PUSH1 0x01 000006cb: PUSH1 0x01 000006cd: PUSH1 0xa0 000006cf: SHL 000006d0: SUB 000006d1: AND 000006d2: JUMPDEST 000006d3: PUSH1 0x40 000006d5: MLOAD 000006d6: PUSH1 0x01 000006d8: PUSH1 0x01 000006da: PUSH1 0xa0 000006dc: SHL 000006dd: SUB 000006de: SWAP1 000006df: SWAP2 000006e0: AND 000006e1: DUP2 000006e2: MSTORE 000006e3: PUSH1 0x20 000006e5: ADD 000006e6: PUSH2 0x03ad 000006e9: JUMP 000006ea: JUMPDEST 000006eb: CALLVALUE 000006ec: DUP1 000006ed: ISZERO 000006ee: PUSH2 0x06f6 000006f1: JUMPI 000006f2: PUSH1 0x00 000006f4: DUP1 000006f5: REVERT 000006f6: JUMPDEST 000006f7: POP 000006f8: PUSH1 0x40 000006fa: DUP1 000006fb: MLOAD 000006fc: DUP1 000006fd: DUP3 000006fe: ADD 000006ff: DUP3 00000700: MSTORE 00000701: PUSH1 0x00 00000703: DUP1 00000704: DUP3 00000705: MSTORE 00000706: PUSH1 0x20 00000708: SWAP2 00000709: DUP3 0000070a: ADD 0000070b: MSTORE 0000070c: DUP2 0000070d: MLOAD 0000070e: DUP1 0000070f: DUP4 00000710: ADD 00000711: DUP4 00000712: MSTORE 00000713: PUSH1 0x07 00000715: SLOAD 00000716: PUSH1 0xff 00000718: DUP1 00000719: DUP3 0000071a: AND 0000071b: ISZERO 0000071c: ISZERO 0000071d: DUP1 0000071e: DUP5 0000071f: MSTORE 00000720: PUSH2 0x0100 00000723: SWAP1 00000724: SWAP3 00000725: DIV 00000726: AND 00000727: ISZERO 00000728: ISZERO 00000729: SWAP2 0000072a: DUP4 0000072b: ADD 0000072c: SWAP2 0000072d: DUP3 0000072e: MSTORE 0000072f: DUP4 00000730: MLOAD 00000731: SWAP1 00000732: DUP2 00000733: MSTORE 00000734: SWAP1 00000735: MLOAD 00000736: ISZERO 00000737: ISZERO 00000738: SWAP2 00000739: DUP2 0000073a: ADD 0000073b: SWAP2 0000073c: SWAP1 0000073d: SWAP2 0000073e: MSTORE 0000073f: ADD 00000740: PUSH2 0x03ad 00000743: JUMP 00000744: JUMPDEST 00000745: CALLVALUE 00000746: DUP1 00000747: ISZERO 00000748: PUSH2 0x0750 0000074b: JUMPI 0000074c: PUSH1 0x00 0000074e: DUP1 0000074f: REVERT 00000750: JUMPDEST 00000751: POP 00000752: PUSH2 0x05ed 00000755: PUSH2 0x1645 00000758: JUMP 00000759: JUMPDEST 0000075a: CALLVALUE 0000075b: DUP1 0000075c: ISZERO 0000075d: PUSH2 0x0765 00000760: JUMPI 00000761: PUSH1 0x00 00000763: DUP1 00000764: REVERT 00000765: JUMPDEST 00000766: POP 00000767: PUSH1 0x01 00000769: SLOAD 0000076a: PUSH2 0x06d2 0000076d: SWAP1 0000076e: PUSH1 0x01 00000770: PUSH1 0x01 00000772: PUSH1 0xa0 00000774: SHL 00000775: SUB 00000776: AND 00000777: DUP2 00000778: JUMP 00000779: JUMPDEST 0000077a: CALLVALUE 0000077b: DUP1 0000077c: ISZERO 0000077d: PUSH2 0x0785 00000780: JUMPI 00000781: PUSH1 0x00 00000783: DUP1 00000784: REVERT 00000785: JUMPDEST 00000786: POP 00000787: PUSH2 0x0386 0000078a: PUSH2 0x0794 0000078d: CALLDATASIZE 0000078e: PUSH1 0x04 00000790: PUSH2 0x25ec 00000793: JUMP 00000794: JUMPDEST 00000795: PUSH2 0x1654 00000798: JUMP 00000799: JUMPDEST 0000079a: CALLVALUE 0000079b: DUP1 0000079c: ISZERO 0000079d: PUSH2 0x07a5 000007a0: JUMPI 000007a1: PUSH1 0x00 000007a3: DUP1 000007a4: REVERT 000007a5: JUMPDEST 000007a6: POP 000007a7: PUSH2 0x0386 000007aa: PUSH2 0x07b4 000007ad: CALLDATASIZE 000007ae: PUSH1 0x04 000007b0: PUSH2 0x2605 000007b3: JUMP 000007b4: JUMPDEST 000007b5: PUSH2 0x16f7 000007b8: JUMP 000007b9: JUMPDEST 000007ba: CALLVALUE 000007bb: DUP1 000007bc: ISZERO 000007bd: PUSH2 0x07c5 000007c0: JUMPI 000007c1: PUSH1 0x00 000007c3: DUP1 000007c4: REVERT 000007c5: JUMPDEST 000007c6: POP 000007c7: PUSH2 0x0386 000007ca: PUSH2 0x1747 000007cd: JUMP 000007ce: JUMPDEST 000007cf: CALLVALUE 000007d0: DUP1 000007d1: ISZERO 000007d2: PUSH2 0x07da 000007d5: JUMPI 000007d6: PUSH1 0x00 000007d8: DUP1 000007d9: REVERT 000007da: JUMPDEST 000007db: POP 000007dc: PUSH2 0x0386 000007df: PUSH2 0x07e9 000007e2: CALLDATASIZE 000007e3: PUSH1 0x04 000007e5: PUSH2 0x2631 000007e8: JUMP 000007e9: JUMPDEST 000007ea: PUSH2 0x1829 000007ed: JUMP 000007ee: JUMPDEST 000007ef: CALLVALUE 000007f0: DUP1 000007f1: ISZERO 000007f2: PUSH2 0x07fa 000007f5: JUMPI 000007f6: PUSH1 0x00 000007f8: DUP1 000007f9: REVERT 000007fa: JUMPDEST 000007fb: POP 000007fc: PUSH2 0x03a3 000007ff: PUSH1 0x04 00000801: SLOAD 00000802: DUP2 00000803: JUMP 00000804: JUMPDEST 00000805: CALLVALUE 00000806: DUP1 00000807: ISZERO 00000808: PUSH2 0x0810 0000080b: JUMPI 0000080c: PUSH1 0x00 0000080e: DUP1 0000080f: REVERT 00000810: JUMPDEST 00000811: POP 00000812: PUSH2 0x06d2 00000815: PUSH32 0x0000000000000000000000000b4e6f5c38a5e0fa2ea528bac2055e7304f82fef 00000836: DUP2 00000837: JUMP 00000838: JUMPDEST 00000839: CALLVALUE 0000083a: DUP1 0000083b: ISZERO 0000083c: PUSH2 0x0844 0000083f: JUMPI 00000840: PUSH1 0x00 00000842: DUP1 00000843: REVERT 00000844: JUMPDEST 00000845: POP 00000846: PUSH2 0x03a3 00000849: PUSH1 0x06 0000084b: SLOAD 0000084c: DUP2 0000084d: JUMP 0000084e: JUMPDEST 0000084f: CALLVALUE 00000850: DUP1 00000851: ISZERO 00000852: PUSH2 0x085a 00000855: JUMPI 00000856: PUSH1 0x00 00000858: DUP1 00000859: REVERT 0000085a: JUMPDEST 0000085b: POP 0000085c: PUSH2 0x0386 0000085f: PUSH2 0x0869 00000862: CALLDATASIZE 00000863: PUSH1 0x04 00000865: PUSH2 0x25ec 00000868: JUMP 00000869: JUMPDEST 0000086a: PUSH2 0x1881 0000086d: JUMP 0000086e: JUMPDEST 0000086f: CALLVALUE 00000870: DUP1 00000871: ISZERO 00000872: PUSH2 0x087a 00000875: JUMPI 00000876: PUSH1 0x00 00000878: DUP1 00000879: REVERT 0000087a: JUMPDEST 0000087b: POP 0000087c: PUSH2 0x03a3 0000087f: PUSH1 0x09 00000881: SLOAD 00000882: DUP2 00000883: JUMP 00000884: JUMPDEST 00000885: CALLVALUE 00000886: DUP1 00000887: ISZERO 00000888: PUSH2 0x0890 0000088b: JUMPI 0000088c: PUSH1 0x00 0000088e: DUP1 0000088f: REVERT 00000890: JUMPDEST 00000891: POP 00000892: PUSH2 0x0386 00000895: PUSH2 0x089f 00000898: CALLDATASIZE 00000899: PUSH1 0x04 0000089b: PUSH2 0x265b 0000089e: JUMP 0000089f: JUMPDEST 000008a0: PUSH2 0x18b0 000008a3: JUMP 000008a4: JUMPDEST 000008a5: CALLVALUE 000008a6: DUP1 000008a7: ISZERO 000008a8: PUSH2 0x08b0 000008ab: JUMPI 000008ac: PUSH1 0x00 000008ae: DUP1 000008af: REVERT 000008b0: JUMPDEST 000008b1: POP 000008b2: PUSH2 0x08c4 000008b5: PUSH2 0x08bf 000008b8: CALLDATASIZE 000008b9: PUSH1 0x04 000008bb: PUSH2 0x267f 000008be: JUMP 000008bf: JUMPDEST 000008c0: PUSH2 0x18fe 000008c3: JUMP 000008c4: JUMPDEST 000008c5: PUSH1 0x40 000008c7: DUP1 000008c8: MLOAD 000008c9: DUP3 000008ca: MLOAD 000008cb: PUSH1 0x01 000008cd: PUSH1 0x01 000008cf: PUSH1 0x80 000008d1: SHL 000008d2: SUB 000008d3: SWAP1 000008d4: DUP2 000008d5: AND 000008d6: DUP3 000008d7: MSTORE 000008d8: PUSH1 0x20 000008da: SWAP4 000008db: DUP5 000008dc: ADD 000008dd: MLOAD 000008de: AND 000008df: SWAP3 000008e0: DUP2 000008e1: ADD 000008e2: SWAP3 000008e3: SWAP1 000008e4: SWAP3 000008e5: MSTORE 000008e6: ADD 000008e7: PUSH2 0x03ad 000008ea: JUMP 000008eb: JUMPDEST 000008ec: CALLVALUE 000008ed: DUP1 000008ee: ISZERO 000008ef: PUSH2 0x08f7 000008f2: JUMPI 000008f3: PUSH1 0x00 000008f5: DUP1 000008f6: REVERT 000008f7: JUMPDEST 000008f8: POP 000008f9: PUSH2 0x03a3 000008fc: PUSH32 0x00000000000000000000000000000000000000000000000000b1a2bc2ec50000 0000091d: DUP2 0000091e: JUMP 0000091f: JUMPDEST 00000920: CALLVALUE 00000921: DUP1 00000922: ISZERO 00000923: PUSH2 0x092b 00000926: JUMPI 00000927: PUSH1 0x00 00000929: DUP1 0000092a: REVERT 0000092b: JUMPDEST 0000092c: POP 0000092d: PUSH1 0x01 0000092f: SLOAD 00000930: PUSH2 0x0947 00000933: SWAP1 00000934: PUSH1 0x01 00000936: PUSH1 0xa0 00000938: SHL 00000939: SWAP1 0000093a: DIV 0000093b: PUSH8 0xffffffffffffffff 00000944: AND 00000945: DUP2 00000946: JUMP 00000947: JUMPDEST 00000948: PUSH1 0x40 0000094a: MLOAD 0000094b: PUSH8 0xffffffffffffffff 00000954: SWAP1 00000955: SWAP2 00000956: AND 00000957: DUP2 00000958: MSTORE 00000959: PUSH1 0x20 0000095b: ADD 0000095c: PUSH2 0x03ad 0000095f: JUMP 00000960: JUMPDEST 00000961: CALLVALUE 00000962: DUP1 00000963: ISZERO 00000964: PUSH2 0x096c 00000967: JUMPI 00000968: PUSH1 0x00 0000096a: DUP1 0000096b: REVERT 0000096c: JUMPDEST 0000096d: POP 0000096e: PUSH2 0x0386 00000971: PUSH2 0x097b 00000974: CALLDATASIZE 00000975: PUSH1 0x04 00000977: PUSH2 0x25c6 0000097a: JUMP 0000097b: JUMPDEST 0000097c: PUSH2 0x1960 0000097f: JUMP 00000980: JUMPDEST 00000981: CALLVALUE 00000982: DUP1 00000983: ISZERO 00000984: PUSH2 0x098c 00000987: JUMPI 00000988: PUSH1 0x00 0000098a: DUP1 0000098b: REVERT 0000098c: JUMPDEST 0000098d: POP 0000098e: PUSH2 0x0386 00000991: PUSH2 0x099b 00000994: CALLDATASIZE 00000995: PUSH1 0x04 00000997: PUSH2 0x25ec 0000099a: JUMP 0000099b: JUMPDEST 0000099c: PUSH2 0x19a6 0000099f: JUMP 000009a0: JUMPDEST 000009a1: CALLVALUE 000009a2: DUP1 000009a3: ISZERO 000009a4: PUSH2 0x09ac 000009a7: JUMPI 000009a8: PUSH1 0x00 000009aa: DUP1 000009ab: REVERT 000009ac: JUMPDEST 000009ad: POP 000009ae: PUSH2 0x0386 000009b1: PUSH2 0x09bb 000009b4: CALLDATASIZE 000009b5: PUSH1 0x04 000009b7: PUSH2 0x257d 000009ba: JUMP 000009bb: JUMPDEST 000009bc: PUSH2 0x1a85 000009bf: JUMP 000009c0: JUMPDEST 000009c1: CALLVALUE 000009c2: DUP1 000009c3: ISZERO 000009c4: PUSH2 0x09cc 000009c7: JUMPI 000009c8: PUSH1 0x00 000009ca: DUP1 000009cb: REVERT 000009cc: JUMPDEST 000009cd: POP 000009ce: PUSH2 0x03a3 000009d1: PUSH32 0x0000000000000000000000000000000000000000000000000000000000001ebe 000009f2: DUP2 000009f3: JUMP 000009f4: JUMPDEST 000009f5: CALLVALUE 000009f6: DUP1 000009f7: ISZERO 000009f8: PUSH2 0x0a00 000009fb: JUMPI 000009fc: PUSH1 0x00 000009fe: DUP1 000009ff: REVERT 00000a00: JUMPDEST 00000a01: POP 00000a02: PUSH2 0x03a3 00000a05: PUSH1 0x18 00000a07: DUP2 00000a08: JUMP 00000a09: JUMPDEST 00000a0a: CALLVALUE 00000a0b: DUP1 00000a0c: ISZERO 00000a0d: PUSH2 0x0a15 00000a10: JUMPI 00000a11: PUSH1 0x00 00000a13: DUP1 00000a14: REVERT 00000a15: JUMPDEST 00000a16: POP 00000a17: PUSH2 0x0386 00000a1a: PUSH2 0x1b1d 00000a1d: JUMP 00000a1e: JUMPDEST 00000a1f: CALLER 00000a20: PUSH1 0x01 00000a22: PUSH1 0x01 00000a24: PUSH1 0xa0 00000a26: SHL 00000a27: SUB 00000a28: PUSH32 0x000000000000000000000000271682deb8c4e0901d1a1550ad2e64d568e69909 00000a49: AND 00000a4a: EQ 00000a4b: PUSH2 0x0a98 00000a4e: JUMPI 00000a4f: PUSH1 0x40 00000a51: MLOAD 00000a52: PUSH4 0x073e64fd 00000a57: PUSH1 0xe2 00000a59: SHL 00000a5a: DUP2 00000a5b: MSTORE 00000a5c: CALLER 00000a5d: PUSH1 0x04 00000a5f: DUP3 00000a60: ADD 00000a61: MSTORE 00000a62: PUSH1 0x01 00000a64: PUSH1 0x01 00000a66: PUSH1 0xa0 00000a68: SHL 00000a69: SUB 00000a6a: PUSH32 0x000000000000000000000000271682deb8c4e0901d1a1550ad2e64d568e69909 00000a8b: AND 00000a8c: PUSH1 0x24 00000a8e: DUP3 00000a8f: ADD 00000a90: MSTORE 00000a91: PUSH1 0x44 00000a93: ADD 00000a94: PUSH2 0x02dc 00000a97: JUMP 00000a98: JUMPDEST 00000a99: PUSH2 0x0aa2 00000a9c: DUP3 00000a9d: DUP3 00000a9e: PUSH2 0x1bd1 00000aa1: JUMP 00000aa2: JUMPDEST 00000aa3: POP 00000aa4: POP 00000aa5: JUMP 00000aa6: JUMPDEST 00000aa7: PUSH1 0x00 00000aa9: SLOAD 00000aaa: PUSH1 0x01 00000aac: PUSH1 0xa0 00000aae: SHL 00000aaf: SWAP1 00000ab0: DIV 00000ab1: PUSH1 0xff 00000ab3: AND 00000ab4: ISZERO 00000ab5: PUSH2 0x0ad0 00000ab8: JUMPI 00000ab9: PUSH1 0x40 00000abb: MLOAD 00000abc: PUSH3 0x461bcd 00000ac0: PUSH1 0xe5 00000ac2: SHL 00000ac3: DUP2 00000ac4: MSTORE 00000ac5: PUSH1 0x04 00000ac7: ADD 00000ac8: PUSH2 0x02dc 00000acb: SWAP1 00000acc: PUSH2 0x26af 00000acf: JUMP 00000ad0: JUMPDEST 00000ad1: PUSH1 0x07 00000ad3: SLOAD 00000ad4: PUSH2 0x0100 00000ad7: SWAP1 00000ad8: DIV 00000ad9: PUSH1 0xff 00000adb: AND 00000adc: PUSH2 0x0b22 00000adf: JUMPI 00000ae0: PUSH1 0x40 00000ae2: MLOAD 00000ae3: PUSH3 0x461bcd 00000ae7: PUSH1 0xe5 00000ae9: SHL 00000aea: DUP2 00000aeb: MSTORE 00000aec: PUSH1 0x20 00000aee: PUSH1 0x04 00000af0: DUP3 00000af1: ADD 00000af2: MSTORE 00000af3: PUSH1 0x18 00000af5: PUSH1 0x24 00000af7: DUP3 00000af8: ADD 00000af9: MSTORE 00000afa: PUSH24 0x105d58dd1a5bdb881a185cdb89dd08195b991959081e595d 00000b13: PUSH1 0x42 00000b15: SHL 00000b16: PUSH1 0x44 00000b18: DUP3 00000b19: ADD 00000b1a: MSTORE 00000b1b: PUSH1 0x64 00000b1d: ADD 00000b1e: PUSH2 0x02dc 00000b21: JUMP 00000b22: JUMPDEST 00000b23: PUSH1 0x07 00000b25: SLOAD 00000b26: PUSH1 0xff 00000b28: AND 00000b29: PUSH2 0x0b44 00000b2c: JUMPI 00000b2d: PUSH1 0x40 00000b2f: MLOAD 00000b30: PUSH3 0x461bcd 00000b34: PUSH1 0xe5 00000b36: SHL 00000b37: DUP2 00000b38: MSTORE 00000b39: PUSH1 0x04 00000b3b: ADD 00000b3c: PUSH2 0x02dc 00000b3f: SWAP1 00000b40: PUSH2 0x26d9 00000b43: JUMP 00000b44: JUMPDEST 00000b45: PUSH1 0x06 00000b47: SLOAD 00000b48: PUSH1 0x00 00000b4a: SUB 00000b4b: PUSH2 0x0b96 00000b4e: JUMPI 00000b4f: PUSH1 0x40 00000b51: MLOAD 00000b52: PUSH3 0x461bcd 00000b56: PUSH1 0xe5 00000b58: SHL 00000b59: DUP2 00000b5a: MSTORE 00000b5b: PUSH1 0x20 00000b5d: PUSH1 0x04 00000b5f: DUP3 00000b60: ADD 00000b61: MSTORE 00000b62: PUSH1 0x1a 00000b64: PUSH1 0x24 00000b66: DUP3 00000b67: ADD 00000b68: MSTORE 00000b69: PUSH32 0x526566756e64206d65726b6c6520726f6f74206e6f7420736574000000000000 00000b8a: PUSH1 0x44 00000b8c: DUP3 00000b8d: ADD 00000b8e: MSTORE 00000b8f: PUSH1 0x64 00000b91: ADD 00000b92: PUSH2 0x02dc 00000b95: JUMP 00000b96: JUMPDEST 00000b97: CALLER 00000b98: PUSH1 0x00 00000b9a: SWAP1 00000b9b: DUP2 00000b9c: MSTORE 00000b9d: PUSH1 0x0b 00000b9f: PUSH1 0x20 00000ba1: MSTORE 00000ba2: PUSH1 0x40 00000ba4: SWAP1 00000ba5: KECCAK256 00000ba6: SLOAD 00000ba7: PUSH1 0xff 00000ba9: AND 00000baa: ISZERO 00000bab: PUSH2 0x0bee 00000bae: JUMPI 00000baf: PUSH1 0x40 00000bb1: MLOAD 00000bb2: PUSH3 0x461bcd 00000bb6: PUSH1 0xe5 00000bb8: SHL 00000bb9: DUP2 00000bba: MSTORE 00000bbb: PUSH1 0x20 00000bbd: PUSH1 0x04 00000bbf: DUP3 00000bc0: ADD 00000bc1: MSTORE 00000bc2: PUSH1 0x15 00000bc4: PUSH1 0x24 00000bc6: DUP3 00000bc7: ADD 00000bc8: MSTORE 00000bc9: PUSH21 0x1499599d5b9908185b1c9958591e481a5cdcdd5959 00000bdf: PUSH1 0x5a 00000be1: SHL 00000be2: PUSH1 0x44 00000be4: DUP3 00000be5: ADD 00000be6: MSTORE 00000be7: PUSH1 0x64 00000be9: ADD 00000bea: PUSH2 0x02dc 00000bed: JUMP 00000bee: JUMPDEST 00000bef: PUSH1 0x00 00000bf1: PUSH2 0x0bfa 00000bf4: DUP5 00000bf5: CALLER 00000bf6: PUSH2 0x1ced 00000bf9: JUMP 00000bfa: JUMPDEST 00000bfb: SWAP1 00000bfc: POP 00000bfd: PUSH2 0x0c3d 00000c00: DUP4 00000c01: DUP4 00000c02: DUP1 00000c03: DUP1 00000c04: PUSH1 0x20 00000c06: MUL 00000c07: PUSH1 0x20 00000c09: ADD 00000c0a: PUSH1 0x40 00000c0c: MLOAD 00000c0d: SWAP1 00000c0e: DUP2 00000c0f: ADD 00000c10: PUSH1 0x40 00000c12: MSTORE 00000c13: DUP1 00000c14: SWAP4 00000c15: SWAP3 00000c16: SWAP2 00000c17: SWAP1 00000c18: DUP2 00000c19: DUP2 00000c1a: MSTORE 00000c1b: PUSH1 0x20 00000c1d: ADD 00000c1e: DUP4 00000c1f: DUP4 00000c20: PUSH1 0x20 00000c22: MUL 00000c23: DUP1 00000c24: DUP3 00000c25: DUP5 00000c26: CALLDATACOPY 00000c27: PUSH1 0x00 00000c29: SWAP3 00000c2a: ADD 00000c2b: SWAP2 00000c2c: SWAP1 00000c2d: SWAP2 00000c2e: MSTORE 00000c2f: POP 00000c30: POP 00000c31: PUSH1 0x06 00000c33: SLOAD 00000c34: SWAP2 00000c35: POP 00000c36: DUP5 00000c37: SWAP1 00000c38: POP 00000c39: PUSH2 0x1d3b 00000c3c: JUMP 00000c3d: JUMPDEST 00000c3e: PUSH2 0x0c80 00000c41: JUMPI 00000c42: PUSH1 0x40 00000c44: MLOAD 00000c45: PUSH3 0x461bcd 00000c49: PUSH1 0xe5 00000c4b: SHL 00000c4c: DUP2 00000c4d: MSTORE 00000c4e: PUSH1 0x20 00000c50: PUSH1 0x04 00000c52: DUP3 00000c53: ADD 00000c54: MSTORE 00000c55: PUSH1 0x14 00000c57: PUSH1 0x24 00000c59: DUP3 00000c5a: ADD 00000c5b: MSTORE 00000c5c: PUSH20 0x1499599d5b99081c1c9bdbd9881a5b9d985b1a59 00000c71: PUSH1 0x62 00000c73: SHL 00000c74: PUSH1 0x44 00000c76: DUP3 00000c77: ADD 00000c78: MSTORE 00000c79: PUSH1 0x64 00000c7b: ADD 00000c7c: PUSH2 0x02dc 00000c7f: JUMP 00000c80: JUMPDEST 00000c81: PUSH1 0x00 00000c83: DUP1 00000c84: JUMPDEST 00000c85: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001 00000ca6: DUP2 00000ca7: LT 00000ca8: ISZERO 00000ca9: PUSH2 0x0d0f 00000cac: JUMPI 00000cad: PUSH1 0x00 00000caf: PUSH2 0x0cb8 00000cb2: DUP3 00000cb3: CALLER 00000cb4: PUSH2 0x1ced 00000cb7: JUMP 00000cb8: JUMPDEST 00000cb9: PUSH1 0x00 00000cbb: DUP2 00000cbc: DUP2 00000cbd: MSTORE 00000cbe: PUSH1 0x0a 00000cc0: PUSH1 0x20 00000cc2: MSTORE 00000cc3: PUSH1 0x40 00000cc5: SWAP1 00000cc6: KECCAK256 00000cc7: SLOAD 00000cc8: SWAP1 00000cc9: SWAP2 00000cca: POP 00000ccb: PUSH2 0x0ce6 00000cce: SWAP1 00000ccf: PUSH1 0x01 00000cd1: PUSH1 0x01 00000cd3: PUSH1 0x80 00000cd5: SHL 00000cd6: SUB 00000cd7: PUSH1 0x01 00000cd9: PUSH1 0x80 00000cdb: SHL 00000cdc: DUP3 00000cdd: DIV 00000cde: DUP2 00000cdf: AND 00000ce0: SWAP2 00000ce1: AND 00000ce2: PUSH2 0x2726 00000ce5: JUMP 00000ce6: JUMPDEST 00000ce7: PUSH2 0x0cf9 00000cea: SWAP1 00000ceb: PUSH1 0x01 00000ced: PUSH1 0x01 00000cef: PUSH1 0x80 00000cf1: SHL 00000cf2: SUB 00000cf3: AND 00000cf4: DUP5 00000cf5: PUSH2 0x2755 00000cf8: JUMP 00000cf9: JUMPDEST 00000cfa: SWAP3 00000cfb: POP 00000cfc: POP 00000cfd: DUP1 00000cfe: DUP1 00000cff: PUSH2 0x0d07 00000d02: SWAP1 00000d03: PUSH2 0x276d 00000d06: JUMP 00000d07: JUMPDEST 00000d08: SWAP2 00000d09: POP 00000d0a: POP 00000d0b: PUSH2 0x0c84 00000d0e: JUMP 00000d0f: JUMPDEST 00000d10: POP 00000d11: DUP1 00000d12: DUP6 00000d13: GT 00000d14: ISZERO 00000d15: PUSH2 0x0d60 00000d18: JUMPI 00000d19: PUSH1 0x40 00000d1b: MLOAD 00000d1c: PUSH3 0x461bcd 00000d20: PUSH1 0xe5 00000d22: SHL 00000d23: DUP2 00000d24: MSTORE 00000d25: PUSH1 0x20 00000d27: PUSH1 0x04 00000d29: DUP3 00000d2a: ADD 00000d2b: MSTORE 00000d2c: PUSH1 0x1e 00000d2e: PUSH1 0x24 00000d30: DUP3 00000d31: ADD 00000d32: MSTORE 00000d33: PUSH32 0x526566756e64207265717565737420657863656564732062616c616e63650000 00000d54: PUSH1 0x44 00000d56: DUP3 00000d57: ADD 00000d58: MSTORE 00000d59: PUSH1 0x64 00000d5b: ADD 00000d5c: PUSH2 0x02dc 00000d5f: JUMP 00000d60: JUMPDEST 00000d61: CALLER 00000d62: PUSH1 0x00 00000d64: DUP2 00000d65: DUP2 00000d66: MSTORE 00000d67: PUSH1 0x0b 00000d69: PUSH1 0x20 00000d6b: MSTORE 00000d6c: PUSH1 0x40 00000d6e: DUP1 00000d6f: DUP3 00000d70: KECCAK256 00000d71: DUP1 00000d72: SLOAD 00000d73: PUSH1 0xff 00000d75: NOT 00000d76: AND 00000d77: PUSH1 0x01 00000d79: OR 00000d7a: SWAP1 00000d7b: SSTORE 00000d7c: MLOAD 00000d7d: SWAP1 00000d7e: SWAP2 00000d7f: SWAP1 00000d80: DUP8 00000d81: SWAP1 00000d82: DUP4 00000d83: DUP2 00000d84: DUP2 00000d85: DUP2 00000d86: DUP6 00000d87: DUP8 00000d88: GAS 00000d89: CALL 00000d8a: SWAP3 00000d8b: POP 00000d8c: POP 00000d8d: POP 00000d8e: RETURNDATASIZE 00000d8f: DUP1 00000d90: PUSH1 0x00 00000d92: DUP2 00000d93: EQ 00000d94: PUSH2 0x0db9 00000d97: JUMPI 00000d98: PUSH1 0x40 00000d9a: MLOAD 00000d9b: SWAP2 00000d9c: POP 00000d9d: PUSH1 0x1f 00000d9f: NOT 00000da0: PUSH1 0x3f 00000da2: RETURNDATASIZE 00000da3: ADD 00000da4: AND 00000da5: DUP3 00000da6: ADD 00000da7: PUSH1 0x40 00000da9: MSTORE 00000daa: RETURNDATASIZE 00000dab: DUP3 00000dac: MSTORE 00000dad: RETURNDATASIZE 00000dae: PUSH1 0x00 00000db0: PUSH1 0x20 00000db2: DUP5 00000db3: ADD 00000db4: RETURNDATACOPY 00000db5: PUSH2 0x0dbe 00000db8: JUMP 00000db9: JUMPDEST 00000dba: PUSH1 0x60 00000dbc: SWAP2 00000dbd: POP 00000dbe: JUMPDEST 00000dbf: POP 00000dc0: POP 00000dc1: SWAP1 00000dc2: POP 00000dc3: DUP1 00000dc4: PUSH2 0x0dff 00000dc7: JUMPI 00000dc8: PUSH1 0x40 00000dca: MLOAD 00000dcb: PUSH3 0x461bcd 00000dcf: PUSH1 0xe5 00000dd1: SHL 00000dd2: DUP2 00000dd3: MSTORE 00000dd4: PUSH1 0x20 00000dd6: PUSH1 0x04 00000dd8: DUP3 00000dd9: ADD 00000dda: MSTORE 00000ddb: PUSH1 0x0d 00000ddd: PUSH1 0x24 00000ddf: DUP3 00000de0: ADD 00000de1: MSTORE 00000de2: PUSH13 0x1499599d5b990819985a5b1959 00000df0: PUSH1 0x9a 00000df2: SHL 00000df3: PUSH1 0x44 00000df5: DUP3 00000df6: ADD 00000df7: MSTORE 00000df8: PUSH1 0x64 00000dfa: ADD 00000dfb: PUSH2 0x02dc 00000dfe: JUMP 00000dff: JUMPDEST 00000e00: PUSH1 0x40 00000e02: MLOAD 00000e03: DUP7 00000e04: DUP2 00000e05: MSTORE 00000e06: CALLER 00000e07: SWAP1 00000e08: PUSH32 0xa171b6942063c6f2800ce40a780edce37baa2b618571b11eedd1e69e626e7d76 00000e29: SWAP1 00000e2a: PUSH1 0x20 00000e2c: ADD 00000e2d: PUSH1 0x40 00000e2f: MLOAD 00000e30: DUP1 00000e31: SWAP2 00000e32: SUB 00000e33: SWAP1 00000e34: LOG2 00000e35: POP 00000e36: POP 00000e37: POP 00000e38: POP 00000e39: POP 00000e3a: POP 00000e3b: JUMP 00000e3c: JUMPDEST 00000e3d: PUSH1 0x00 00000e3f: SLOAD 00000e40: PUSH1 0x01 00000e42: PUSH1 0x01 00000e44: PUSH1 0xa0 00000e46: SHL 00000e47: SUB 00000e48: AND 00000e49: CALLER 00000e4a: EQ 00000e4b: PUSH2 0x0e66 00000e4e: JUMPI 00000e4f: PUSH1 0x40 00000e51: MLOAD 00000e52: PUSH3 0x461bcd 00000e56: PUSH1 0xe5 00000e58: SHL 00000e59: DUP2 00000e5a: MSTORE 00000e5b: PUSH1 0x04 00000e5d: ADD 00000e5e: PUSH2 0x02dc 00000e61: SWAP1 00000e62: PUSH2 0x2786 00000e65: JUMP 00000e66: JUMPDEST 00000e67: PUSH2 0x0e6e 00000e6a: PUSH2 0x1d53 00000e6d: JUMP 00000e6e: JUMPDEST 00000e6f: JUMP 00000e70: JUMPDEST 00000e71: PUSH1 0x00 00000e73: SLOAD 00000e74: PUSH1 0x01 00000e76: PUSH1 0x01 00000e78: PUSH1 0xa0 00000e7a: SHL 00000e7b: SUB 00000e7c: AND 00000e7d: CALLER 00000e7e: EQ 00000e7f: PUSH2 0x0e9a 00000e82: JUMPI 00000e83: PUSH1 0x40 00000e85: MLOAD 00000e86: PUSH3 0x461bcd 00000e8a: PUSH1 0xe5 00000e8c: SHL 00000e8d: DUP2 00000e8e: MSTORE 00000e8f: PUSH1 0x04 00000e91: ADD 00000e92: PUSH2 0x02dc 00000e95: SWAP1 00000e96: PUSH2 0x2786 00000e99: JUMP 00000e9a: JUMPDEST 00000e9b: PUSH1 0x01 00000e9d: DUP1 00000e9e: SLOAD 00000e9f: PUSH1 0x01 00000ea1: PUSH1 0x01 00000ea3: PUSH1 0xa0 00000ea5: SHL 00000ea6: SUB 00000ea7: NOT 00000ea8: AND 00000ea9: PUSH1 0x01 00000eab: PUSH1 0x01 00000ead: PUSH1 0xa0 00000eaf: SHL 00000eb0: SUB 00000eb1: SWAP3 00000eb2: SWAP1 00000eb3: SWAP3 00000eb4: AND 00000eb5: SWAP2 00000eb6: SWAP1 00000eb7: SWAP2 00000eb8: OR 00000eb9: SWAP1 00000eba: SSTORE 00000ebb: JUMP 00000ebc: JUMPDEST 00000ebd: PUSH1 0x07 00000ebf: SLOAD 00000ec0: PUSH2 0x0100 00000ec3: SWAP1 00000ec4: DIV 00000ec5: PUSH1 0xff 00000ec7: AND 00000ec8: ISZERO 00000ec9: PUSH2 0x0ee4 00000ecc: JUMPI 00000ecd: PUSH1 0x40 00000ecf: MLOAD 00000ed0: PUSH3 0x461bcd 00000ed4: PUSH1 0xe5 00000ed6: SHL 00000ed7: DUP2 00000ed8: MSTORE 00000ed9: PUSH1 0x04 00000edb: ADD 00000edc: PUSH2 0x02dc 00000edf: SWAP1 00000ee0: PUSH2 0x27bb 00000ee3: JUMP 00000ee4: JUMPDEST 00000ee5: PUSH1 0x07 00000ee7: SLOAD 00000ee8: PUSH1 0xff 00000eea: AND 00000eeb: PUSH2 0x0f06 00000eee: JUMPI 00000eef: PUSH1 0x40 00000ef1: MLOAD 00000ef2: PUSH3 0x461bcd 00000ef6: PUSH1 0xe5 00000ef8: SHL 00000ef9: DUP2 00000efa: MSTORE 00000efb: PUSH1 0x04 00000efd: ADD 00000efe: PUSH2 0x02dc 00000f01: SWAP1 00000f02: PUSH2 0x26d9 00000f05: JUMP 00000f06: JUMPDEST 00000f07: PUSH1 0x00 00000f09: SLOAD 00000f0a: PUSH1 0x01 00000f0c: PUSH1 0xa0 00000f0e: SHL 00000f0f: SWAP1 00000f10: DIV 00000f11: PUSH1 0xff 00000f13: AND 00000f14: ISZERO 00000f15: PUSH2 0x0f30 00000f18: JUMPI 00000f19: PUSH1 0x40 00000f1b: MLOAD 00000f1c: PUSH3 0x461bcd 00000f20: PUSH1 0xe5 00000f22: SHL 00000f23: DUP2 00000f24: MSTORE 00000f25: PUSH1 0x04 00000f27: ADD 00000f28: PUSH2 0x02dc 00000f2b: SWAP1 00000f2c: PUSH2 0x26af 00000f2f: JUMP 00000f30: JUMPDEST 00000f31: PUSH1 0x00 00000f33: CALLVALUE 00000f34: GT 00000f35: DUP1 00000f36: ISZERO 00000f37: PUSH2 0x0f5f 00000f3a: JUMPI 00000f3b: POP 00000f3c: PUSH32 0x00000000000000000000000000000000000000000000000000b1a2bc2ec50000 00000f5d: CALLVALUE 00000f5e: LT 00000f5f: JUMPDEST 00000f60: ISZERO 00000f61: PUSH2 0x0fba 00000f64: JUMPI 00000f65: PUSH1 0x40 00000f67: MLOAD 00000f68: PUSH3 0x461bcd 00000f6c: PUSH1 0xe5 00000f6e: SHL 00000f6f: DUP2 00000f70: MSTORE 00000f71: PUSH1 0x20 00000f73: PUSH1 0x04 00000f75: DUP3 00000f76: ADD 00000f77: MSTORE 00000f78: PUSH1 0x25 00000f7a: PUSH1 0x24 00000f7c: DUP3 00000f7d: ADD 00000f7e: MSTORE 00000f7f: PUSH32 0x426964206c6f776572207468616e206d696e696d756d2062696420696e637265 00000fa0: PUSH1 0x44 00000fa2: DUP3 00000fa3: ADD 00000fa4: MSTORE 00000fa5: PUSH5 0x36b2b73a17 00000fab: PUSH1 0xd9 00000fad: SHL 00000fae: PUSH1 0x64 00000fb0: DUP3 00000fb1: ADD 00000fb2: MSTORE 00000fb3: PUSH1 0x84 00000fb5: ADD 00000fb6: PUSH2 0x02dc 00000fb9: JUMP 00000fba: JUMPDEST 00000fbb: PUSH32 0x0000000000000000000000000000000000000000000000000000000000000001 00000fdc: DUP4 00000fdd: LT 00000fde: PUSH2 0x1020 00000fe1: JUMPI 00000fe2: PUSH1 0x40 00000fe4: MLOAD 00000fe5: PUSH3 0x461bcd 00000fe9: PUSH1 0xe5 00000feb: SHL 00000fec: DUP2 00000fed: MSTORE 00000fee: PUSH1 0x20 00000ff0: PUSH1 0x04 00000ff2: DUP3 00000ff3: ADD 00000ff4: MSTORE 00000ff5: PUSH1 0x14 00000ff7: PUSH1 0x24 00000ff9: DUP3 00000ffa: ADD 00000ffb: MSTORE 00000ffc: PUSH20 0x092dcecc2d8d2c840c2eac6e8d2dedc92dcc8caf 00001011: PUSH1 0x63 00001013: SHL 00001014: PUSH1 0x44 00001016: DUP3 00001017: ADD 00001018: MSTORE 00001019: PUSH1 0x64 0000101b: ADD 0000101c: PUSH2 0x02dc 0000101f: JUMP 00001020: JUMPDEST 00001021: PUSH1 0x00 00001023: PUSH2 0x102c 00001026: DUP5 00001027: CALLER 00001028: PUSH2 0x1ced 0000102b: JUMP 0000102c: JUMPDEST 0000102d: PUSH1 0x00 0000102f: DUP2 00001030: DUP2 00001031: MSTORE 00001032: PUSH1 0x0a 00001034: PUSH1 0x20 00001036: MSTORE 00001037: PUSH1 0x40 00001039: DUP2 0000103a: KECCAK256 0000103b: SLOAD 0000103c: SWAP2 0000103d: SWAP3 0000103e: POP 0000103f: PUSH1 0x01 00001041: PUSH1 0x01 00001043: PUSH1 0x80 00001045: SHL 00001046: SUB 00001047: DUP1 00001048: DUP4 00001049: AND 0000104a: SWAP3 0000104b: PUSH1 0x01 0000104d: PUSH1 0x80 0000104f: SHL 00001050: SWAP1 00001051: DIV 00001052: AND 00001053: SWAP1 00001054: PUSH2 0x105d 00001057: DUP3 00001058: DUP5 00001059: PUSH2 0x27f2 0000105c: JUMP 0000105d: JUMPDEST 0000105e: SWAP1 0000105f: POP 00001060: DUP5 00001061: DUP7 00001062: PUSH1 0x00 00001064: PUSH2 0x106d 00001067: CALLVALUE 00001068: DUP6 00001069: PUSH2 0x2755 0000106c: JUMP 0000106d: JUMPDEST 0000106e: SWAP1 0000106f: POP 00001070: PUSH2 0x1099 00001073: PUSH32 0x00000000000000000000000000000000000000000000000000b1a2bc2ec50000 00001094: DUP5 00001095: PUSH2 0x2811 00001098: JUMP 00001099: JUMPDEST 0000109a: ISZERO 0000109b: PUSH2 0x10e6 0000109e: JUMPI 0000109f: PUSH1 0x40 000010a1: MLOAD 000010a2: PUSH3 0x461bcd 000010a6: PUSH1 0xe5 000010a8: SHL 000010a9: DUP2 000010aa: MSTORE 000010ab: PUSH1 0x20 000010ad: PUSH1 0x04 000010af: DUP3 000010b0: ADD 000010b1: MSTORE 000010b2: PUSH1 0x19 000010b4: PUSH1 0x24 000010b6: DUP3 000010b7: ADD 000010b8: MSTORE 000010b9: PUSH32 0x556e6974207072696365207374657020746f6f20736d616c6c00000000000000 000010da: PUSH1 0x44 000010dc: DUP3 000010dd: ADD 000010de: MSTORE 000010df: PUSH1 0x64 000010e1: ADD 000010e2: PUSH2 0x02dc 000010e5: JUMP 000010e6: JUMPDEST 000010e7: PUSH1 0x01 000010e9: DUP3 000010ea: LT 000010eb: ISZERO 000010ec: PUSH2 0x112a 000010ef: JUMPI 000010f0: PUSH1 0x40 000010f2: MLOAD 000010f3: PUSH3 0x461bcd 000010f7: PUSH1 0xe5 000010f9: SHL 000010fa: DUP2 000010fb: MSTORE 000010fc: PUSH1 0x20 000010fe: PUSH1 0x04 00001100: DUP3 00001101: ADD 00001102: MSTORE 00001103: PUSH1 0x10 00001105: PUSH1 0x24 00001107: DUP3 00001108: ADD 00001109: MSTORE 0000110a: PUSH16 0x5175616e7469747920746f6f206c6f77 0000111b: PUSH1 0x80 0000111d: SHL 0000111e: PUSH1 0x44 00001120: DUP3 00001121: ADD 00001122: MSTORE 00001123: PUSH1 0x64 00001125: ADD 00001126: PUSH2 0x02dc 00001129: JUMP 0000112a: JUMPDEST 0000112b: PUSH1 0x32 0000112d: DUP3 0000112e: GT 0000112f: ISZERO 00001130: PUSH2 0x116f 00001133: JUMPI 00001134: PUSH1 0x40 00001136: MLOAD 00001137: PUSH3 0x461bcd 0000113b: PUSH1 0xe5 0000113d: SHL 0000113e: DUP2 0000113f: MSTORE 00001140: PUSH1 0x20 00001142: PUSH1 0x04 00001144: DUP3 00001145: ADD 00001146: MSTORE 00001147: PUSH1 0x11 00001149: PUSH1 0x24 0000114b: DUP3 0000114c: ADD 0000114d: MSTORE 0000114e: PUSH17 0x0a2eac2dce8d2e8f240e8dede40d0d2ced 00001160: PUSH1 0x7b 00001162: SHL 00001163: PUSH1 0x44 00001165: DUP3 00001166: ADD 00001167: MSTORE 00001168: PUSH1 0x64 0000116a: ADD 0000116b: PUSH2 0x02dc 0000116e: JUMP 0000116f: JUMPDEST 00001170: DUP4 00001171: DUP2 00001172: LT 00001173: ISZERO 00001174: PUSH2 0x11bf 00001177: JUMPI 00001178: PUSH1 0x40 0000117a: MLOAD 0000117b: PUSH3 0x461bcd 0000117f: PUSH1 0xe5 00001181: SHL 00001182: DUP2 00001183: MSTORE 00001184: PUSH1 0x20 00001186: PUSH1 0x04 00001188: DUP3 00001189: ADD 0000118a: MSTORE 0000118b: PUSH1 0x18 0000118d: PUSH1 0x24 0000118f: DUP3 00001190: ADD 00001191: MSTORE 00001192: PUSH32 0x42616c616e63652063616e2774206265206c6f77657265640000000000000000 000011b3: PUSH1 0x44 000011b5: DUP3 000011b6: ADD 000011b7: MSTORE 000011b8: PUSH1 0x64 000011ba: ADD 000011bb: PUSH2 0x02dc 000011be: JUMP 000011bf: JUMPDEST 000011c0: DUP6 000011c1: DUP4 000011c2: LT 000011c3: ISZERO 000011c4: PUSH2 0x120f 000011c7: JUMPI 000011c8: PUSH1 0x40 000011ca: MLOAD 000011cb: PUSH3 0x461bcd 000011cf: PUSH1 0xe5 000011d1: SHL 000011d2: DUP2 000011d3: MSTORE 000011d4: PUSH1 0x20 000011d6: PUSH1 0x04 000011d8: DUP3 000011d9: ADD 000011da: MSTORE 000011db: PUSH1 0x1b 000011dd: PUSH1 0x24 000011df: DUP3 000011e0: ADD 000011e1: MSTORE 000011e2: PUSH32 0x556e69742070726963652063616e2774206265206c6f77657265640000000000 00001203: PUSH1 0x44 00001205: DUP3 00001206: ADD 00001207: MSTORE 00001208: PUSH1 0x64 0000120a: ADD 0000120b: PUSH2 0x02dc 0000120e: JUMP 0000120f: JUMPDEST 00001210: DUP1 00001211: PUSH2 0x121a 00001214: DUP5 00001215: DUP5 00001216: PUSH2 0x27f2 00001219: JUMP 0000121a: JUMPDEST 0000121b: EQ 0000121c: PUSH2 0x1273 0000121f: JUMPI 00001220: PUSH1 0x40 00001222: MLOAD 00001223: PUSH3 0x461bcd 00001227: PUSH1 0xe5 00001229: SHL 0000122a: DUP2 0000122b: MSTORE 0000122c: PUSH1 0x20 0000122e: PUSH1 0x04 00001230: DUP3 00001231: ADD 00001232: MSTORE 00001233: PUSH1 0x24 00001235: DUP1 00001236: DUP3 00001237: ADD 00001238: MSTORE 00001239: PUSH32 0x5175616e74697479202a20556e697420507269636520213d20546f74616c2056 0000125a: PUSH1 0x44 0000125c: DUP3 0000125d: ADD 0000125e: MSTORE 0000125f: PUSH4 0x616c7565 00001264: PUSH1 0xe0 00001266: SHL 00001267: PUSH1 0x64 00001269: DUP3 0000126a: ADD 0000126b: MSTORE 0000126c: PUSH1 0x84 0000126e: ADD 0000126f: PUSH2 0x02dc 00001272: JUMP 00001273: JUMPDEST 00001274: PUSH32 0x00000000000000000000000000000000000000000000000003782dace9d90000 00001295: DUP4 00001296: LT 00001297: ISZERO 00001298: PUSH2 0x12dc 0000129b: JUMPI 0000129c: PUSH1 0x40 0000129e: MLOAD 0000129f: PUSH3 0x461bcd 000012a3: PUSH1 0xe5 000012a5: SHL 000012a6: DUP2 000012a7: MSTORE 000012a8: PUSH1 0x20 000012aa: PUSH1 0x04 000012ac: DUP3 000012ad: ADD 000012ae: MSTORE 000012af: PUSH1 0x16 000012b1: PUSH1 0x24 000012b3: DUP3 000012b4: ADD 000012b5: MSTORE 000012b6: PUSH22 0x42696420756e697420707269636520746f6f206c6f77 000012cd: PUSH1 0x50 000012cf: SHL 000012d0: PUSH1 0x44 000012d2: DUP3 000012d3: ADD 000012d4: MSTORE 000012d5: PUSH1 0x64 000012d7: ADD 000012d8: PUSH2 0x02dc 000012db: JUMP 000012dc: JUMPDEST 000012dd: PUSH32 0x0000000000000000000000000000000000000000000000001bc16d674ec80000 000012fe: DUP4 000012ff: GT 00001300: ISZERO 00001301: PUSH2 0x134c 00001304: JUMPI 00001305: PUSH1 0x40 00001307: MLOAD 00001308: PUSH3 0x461bcd 0000130c: PUSH1 0xe5 0000130e: SHL 0000130f: DUP2 00001310: MSTORE 00001311: PUSH1 0x20 00001313: PUSH1 0x04 00001315: DUP3 00001316: ADD 00001317: MSTORE 00001318: PUSH1 0x17 0000131a: PUSH1 0x24 0000131c: DUP3 0000131d: ADD 0000131e: MSTORE 0000131f: PUSH32 0x42696420756e697420707269636520746f6f2068696768000000000000000000 00001340: PUSH1 0x44 00001342: DUP3 00001343: ADD 00001344: MSTORE 00001345: PUSH1 0x64 00001347: ADD 00001348: PUSH2 0x02dc 0000134b: JUMP 0000134c: JUMPDEST 0000134d: DUP3 0000134e: DUP7 0000134f: EQ 00001350: DUP1 00001351: ISZERO 00001352: PUSH2 0x135a 00001355: JUMPI 00001356: POP 00001357: DUP2 00001358: DUP6 00001359: EQ 0000135a: JUMPDEST 0000135b: ISZERO 0000135c: PUSH2 0x13a7 0000135f: JUMPI 00001360: PUSH1 0x40 00001362: MLOAD 00001363: PUSH3 0x461bcd 00001367: PUSH1 0xe5 00001369: SHL 0000136a: DUP2 0000136b: MSTORE 0000136c: PUSH1 0x20 0000136e: PUSH1 0x04 00001370: DUP3 00001371: ADD 00001372: DUP2 00001373: SWAP1 00001374: MSTORE 00001375: PUSH1 0x24 00001377: DUP3 00001378: ADD 00001379: MSTORE 0000137a: PUSH32 0x546869732062696420646f65736e2774206368616e676520616e797468696e67 0000139b: PUSH1 0x44 0000139d: DUP3 0000139e: ADD 0000139f: MSTORE 000013a0: PUSH1 0x64 000013a2: ADD 000013a3: PUSH2 0x02dc 000013a6: JUMP 000013a7: JUMPDEST 000013a8: PUSH32 0x0000000000000000000000000000000000000000000000001bc16d674ec80000 000013c9: DUP4 000013ca: SUB 000013cb: PUSH2 0x13e6 000013ce: JUMPI 000013cf: DUP2 000013d0: PUSH1 0x09 000013d2: PUSH1 0x00 000013d4: DUP3 000013d5: DUP3 000013d6: SLOAD 000013d7: PUSH2 0x13e0 000013da: SWAP2 000013db: SWAP1 000013dc: PUSH2 0x2755 000013df: JUMP 000013e0: JUMPDEST 000013e1: SWAP1 000013e2: SWAP2 000013e3: SSTORE 000013e4: POP 000013e5: POP 000013e6: JUMPDEST 000013e7: PUSH1 0x00 000013e9: DUP8 000013ea: DUP2 000013eb: MSTORE 000013ec: PUSH1 0x0a 000013ee: PUSH1 0x20 000013f0: SWAP1 000013f1: DUP2 000013f2: MSTORE 000013f3: PUSH1 0x40 000013f5: SWAP2 000013f6: DUP3 000013f7: SWAP1 000013f8: KECCAK256 000013f9: PUSH1 0x01 000013fb: PUSH1 0x01 000013fd: PUSH1 0x80 000013ff: SHL 00001400: SUB 00001401: DUP6 00001402: DUP2 00001403: AND 00001404: PUSH1 0x01 00001406: PUSH1 0x80 00001408: SHL 00001409: MUL 0000140a: SWAP1 0000140b: DUP8 0000140c: AND 0000140d: OR 0000140e: SWAP1 0000140f: SSTORE 00001410: PUSH1 0x08 00001412: SLOAD 00001413: DUP3 00001414: MLOAD 00001415: SWAP1 00001416: DUP2 00001417: MSTORE 00001418: SWAP1 00001419: DUP2 0000141a: ADD 0000141b: DUP6 0000141c: SWAP1 0000141d: MSTORE 0000141e: SWAP1 0000141f: DUP2 00001420: ADD 00001421: DUP4 00001422: SWAP1 00001423: MSTORE 00001424: PUSH1 0x60 00001426: DUP2 00001427: ADD 00001428: DUP3 00001429: SWAP1 0000142a: MSTORE 0000142b: CALLER 0000142c: SWAP1 0000142d: DUP12 0000142e: SWAP1 0000142f: DUP10 00001430: SWAP1 00001431: PUSH32 0x873a7b17235b7078b0b53046e05f4271fcef4e1af54cf24fb2395f97f6b8c066 00001452: SWAP1 00001453: PUSH1 0x80 00001455: ADD 00001456: PUSH1 0x40 00001458: MLOAD 00001459: DUP1 0000145a: SWAP2 0000145b: SUB 0000145c: SWAP1 0000145d: LOG4 0000145e: PUSH1 0x01 00001460: PUSH1 0x08 00001462: PUSH1 0x00 00001464: DUP3 00001465: DUP3 00001466: SLOAD 00001467: PUSH2 0x1470 0000146a: SWAP2 0000146b: SWAP1 0000146c: PUSH2 0x2755 0000146f: JUMP 00001470: JUMPDEST 00001471: SWAP1 00001472: SWAP2 00001473: SSTORE 00001474: POP 00001475: PUSH2 0x147e 00001478: SWAP1 00001479: POP 0000147a: PUSH2 0x1df0 0000147d: JUMP 0000147e: JUMPDEST 0000147f: POP 00001480: POP 00001481: POP 00001482: POP 00001483: POP 00001484: POP 00001485: POP 00001486: POP 00001487: POP 00001488: POP 00001489: JUMP 0000148a: JUMPDEST 0000148b: PUSH1 0x00 0000148d: SLOAD 0000148e: PUSH1 0x01 00001490: PUSH1 0x01 00001492: PUSH1 0xa0 00001494: SHL 00001495: SUB 00001496: AND 00001497: CALLER 00001498: EQ 00001499: PUSH2 0x14b4 0000149c: JUMPI 0000149d: PUSH1 0x40 0000149f: MLOAD 000014a0: PUSH3 0x461bcd 000014a4: PUSH1 0xe5 000014a6: SHL 000014a7: DUP2 000014a8: MSTORE 000014a9: PUSH1 0x04 000014ab: ADD 000014ac: PUSH2 0x02dc 000014af: SWAP1 000014b0: PUSH2 0x2786 000014b3: JUMP 000014b4: JUMPDEST 000014b5: PUSH1 0x03 000014b7: DUP1 000014b8: SLOAD 000014b9: PUSH4 0xffffffff 000014be: SWAP1 000014bf: SWAP3 000014c0: AND 000014c1: PUSH1 0x01 000014c3: PUSH1 0x30 000014c5: SHL 000014c6: MUL 000014c7: PUSH10 0xffffffff000000000000 000014d2: NOT 000014d3: SWAP1 000014d4: SWAP3 000014d5: AND 000014d6: SWAP2 000014d7: SWAP1 000014d8: SWAP2 000014d9: OR 000014da: SWAP1 000014db: SSTORE 000014dc: JUMP 000014dd: JUMPDEST 000014de: PUSH1 0x00 000014e0: SLOAD 000014e1: PUSH1 0x01 000014e3: PUSH1 0x01 000014e5: PUSH1 0xa0 000014e7: SHL 000014e8: SUB 000014e9: AND 000014ea: CALLER 000014eb: EQ 000014ec: PUSH2 0x1507 000014ef: JUMPI 000014f0: PUSH1 0x40 000014f2: MLOAD 000014f3: PUSH3 0x461bcd 000014f7: PUSH1 0xe5 000014f9: SHL 000014fa: DUP2 000014fb: MSTORE 000014fc: PUSH1 0x04 000014fe: ADD 000014ff: PUSH2 0x02dc 00001502: SWAP1 00001503: PUSH2 0x2786 00001506: JUMP 00001507: JUMPDEST 00001508: PUSH1 0x07 0000150a: SLOAD 0000150b: PUSH2 0x0100 0000150e: SWAP1 0000150f: DIV 00001510: PUSH1 0xff 00001512: AND 00001513: ISZERO 00001514: PUSH2 0x152f 00001517: JUMPI 00001518: PUSH1 0x40 0000151a: MLOAD 0000151b: PUSH3 0x461bcd 0000151f: PUSH1 0xe5 00001521: SHL 00001522: DUP2 00001523: MSTORE 00001524: PUSH1 0x04 00001526: ADD 00001527: PUSH2 0x02dc 0000152a: SWAP1 0000152b: PUSH2 0x27bb 0000152e: JUMP 0000152f: JUMPDEST 00001530: PUSH1 0x07 00001532: SLOAD 00001533: PUSH1 0xff 00001535: AND 00001536: ISZERO 00001537: PUSH2 0x1582 0000153a: JUMPI 0000153b: PUSH1 0x40 0000153d: MLOAD 0000153e: PUSH3 0x461bcd 00001542: PUSH1 0xe5 00001544: SHL 00001545: DUP2 00001546: MSTORE 00001547: PUSH1 0x20 00001549: PUSH1 0x04 0000154b: DUP3 0000154c: ADD 0000154d: MSTORE 0000154e: PUSH1 0x1b 00001550: PUSH1 0x24 00001552: DUP3 00001553: ADD 00001554: MSTORE 00001555: PUSH32 0x41756374696f6e2068617320616c726561647920737461727465640000000000 00001576: PUSH1 0x44 00001578: DUP3 00001579: ADD 0000157a: MSTORE 0000157b: PUSH1 0x64 0000157d: ADD 0000157e: PUSH2 0x02dc 00001581: JUMP 00001582: JUMPDEST 00001583: PUSH1 0x07 00001585: DUP1 00001586: SLOAD 00001587: PUSH1 0xff 00001589: NOT 0000158a: AND 0000158b: PUSH1 0x01 0000158d: OR 0000158e: SWAP1 0000158f: SSTORE 00001590: TIMESTAMP 00001591: PUSH1 0x05 00001593: SSTORE 00001594: PUSH2 0x15a7 00001597: PUSH1 0x00 00001599: SLOAD 0000159a: PUSH1 0xff 0000159c: PUSH1 0x01 0000159e: PUSH1 0xa0 000015a0: SHL 000015a1: SWAP1 000015a2: SWAP2 000015a3: DIV 000015a4: AND 000015a5: SWAP1 000015a6: JUMP 000015a7: JUMPDEST 000015a8: ISZERO 000015a9: PUSH2 0x15b4 000015ac: JUMPI 000015ad: PUSH2 0x15b4 000015b0: PUSH2 0x0e3c 000015b3: JUMP 000015b4: JUMPDEST 000015b5: PUSH1 0x40 000015b7: MLOAD 000015b8: PUSH32 0xc8f99b9ac2a284b93c3652b9f064a6706724088cdafa9e0a8437c026191b2f03 000015d9: SWAP1 000015da: PUSH1 0x00 000015dc: SWAP1 000015dd: LOG1 000015de: JUMP 000015df: JUMPDEST 000015e0: PUSH1 0x00 000015e2: SLOAD 000015e3: PUSH1 0x01 000015e5: PUSH1 0x01 000015e7: PUSH1 0xa0 000015e9: SHL 000015ea: SUB 000015eb: AND 000015ec: CALLER 000015ed: EQ 000015ee: PUSH2 0x1609 000015f1: JUMPI 000015f2: PUSH1 0x40 000015f4: MLOAD 000015f5: PUSH3 0x461bcd 000015f9: PUSH1 0xe5 000015fb: SHL 000015fc: DUP2 000015fd: MSTORE 000015fe: PUSH1 0x04 00001600: ADD 00001601: PUSH2 0x02dc 00001604: SWAP1 00001605: PUSH2 0x2786 00001608: JUMP 00001609: JUMPDEST 0000160a: PUSH2 0x0e6e 0000160d: PUSH1 0x00 0000160f: PUSH2 0x1e6a 00001612: JUMP 00001613: JUMPDEST 00001614: PUSH1 0x00 00001616: SLOAD 00001617: PUSH1 0x01 00001619: PUSH1 0x01 0000161b: PUSH1 0xa0 0000161d: SHL 0000161e: SUB 0000161f: AND 00001620: CALLER 00001621: EQ 00001622: PUSH2 0x163d 00001625: JUMPI 00001626: PUSH1 0x40 00001628: MLOAD 00001629: PUSH3 0x461bcd 0000162d: PUSH1 0xe5 0000162f: SHL 00001630: DUP2 00001631: MSTORE 00001632: PUSH1 0x04 00001634: ADD 00001635: PUSH2 0x02dc 00001638: SWAP1 00001639: PUSH2 0x2786 0000163c: JUMP 0000163d: JUMPDEST 0000163e: PUSH2 0x0e6e 00001641: PUSH2 0x1eba 00001644: JUMP 00001645: JUMPDEST 00001646: PUSH1 0x00 00001648: PUSH2 0x164f 0000164b: PUSH2 0x1f1f 0000164e: JUMP 0000164f: JUMPDEST 00001650: SWAP1 00001651: POP 00001652: SWAP1 00001653: JUMP 00001654: JUMPDEST 00001655: PUSH1 0x00 00001657: SLOAD 00001658: PUSH1 0x01 0000165a: PUSH1 0x01 0000165c: PUSH1 0xa0 0000165e: SHL 0000165f: SUB 00001660: AND 00001661: CALLER 00001662: EQ 00001663: PUSH2 0x167e 00001666: JUMPI 00001667: PUSH1 0x40 00001669: MLOAD 0000166a: PUSH3 0x461bcd 0000166e: PUSH1 0xe5 00001670: SHL 00001671: DUP2 00001672: MSTORE 00001673: PUSH1 0x04 00001675: ADD 00001676: PUSH2 0x02dc 00001679: SWAP1 0000167a: PUSH2 0x2786 0000167d: JUMP 0000167e: JUMPDEST 0000167f: PUSH1 0x07 00001681: SLOAD 00001682: PUSH2 0x0100 00001685: SWAP1 00001686: DIV 00001687: PUSH1 0xff 00001689: AND 0000168a: PUSH2 0x16d0 0000168d: JUMPI 0000168e: PUSH1 0x40 00001690: MLOAD 00001691: PUSH3 0x461bcd 00001695: PUSH1 0xe5 00001697: SHL 00001698: DUP2 00001699: MSTORE 0000169a: PUSH1 0x20 0000169c: PUSH1 0x04 0000169e: DUP3 0000169f: ADD 000016a0: MSTORE 000016a1: PUSH1 0x18 000016a3: PUSH1 0x24 000016a5: DUP3 000016a6: ADD 000016a7: MSTORE 000016a8: PUSH24 0x105d58dd1a5bdb881a185cdb89dd08195b991959081e595d 000016c1: PUSH1 0x42 000016c3: SHL 000016c4: PUSH1 0x44 000016c6: DUP3 000016c7: ADD 000016c8: MSTORE 000016c9: PUSH1 0x64 000016cb: ADD 000016cc: PUSH2 0x02dc 000016cf: JUMP 000016d0: JUMPDEST 000016d1: PUSH1 0x07 000016d3: SLOAD 000016d4: PUSH1 0xff 000016d6: AND 000016d7: PUSH2 0x16f2 000016da: JUMPI 000016db: PUSH1 0x40 000016dd: MLOAD 000016de: PUSH3 0x461bcd 000016e2: PUSH1 0xe5 000016e4: SHL 000016e5: DUP2 000016e6: MSTORE 000016e7: PUSH1 0x04 000016e9: ADD 000016ea: PUSH2 0x02dc 000016ed: SWAP1 000016ee: PUSH2 0x26d9 000016f1: JUMP 000016f2: JUMPDEST 000016f3: PUSH1 0x06 000016f5: SSTORE 000016f6: JUMP 000016f7: JUMPDEST 000016f8: PUSH1 0x00 000016fa: SLOAD 000016fb: PUSH1 0x01 000016fd: PUSH1 0x01 000016ff: PUSH1 0xa0 00001701: SHL 00001702: SUB 00001703: AND 00001704: CALLER 00001705: EQ 00001706: PUSH2 0x1721 00001709: JUMPI 0000170a: PUSH1 0x40 0000170c: MLOAD 0000170d: PUSH3 0x461bcd 00001711: PUSH1 0xe5 00001713: SHL 00001714: DUP2 00001715: MSTORE 00001716: PUSH1 0x04 00001718: ADD 00001719: PUSH2 0x02dc 0000171c: SWAP1 0000171d: PUSH2 0x2786 00001720: JUMP 00001721: JUMPDEST 00001722: PUSH2 0x0aa2 00001725: PUSH2 0x1736 00001728: PUSH1 0x00 0000172a: SLOAD 0000172b: PUSH1 0x01 0000172d: PUSH1 0x01 0000172f: PUSH1 0xa0 00001731: SHL 00001732: SUB 00001733: AND 00001734: SWAP1 00001735: JUMP 00001736: JUMPDEST 00001737: PUSH1 0x01 00001739: PUSH1 0x01 0000173b: PUSH1 0xa0 0000173d: SHL 0000173e: SUB 0000173f: DUP5 00001740: AND 00001741: SWAP1 00001742: DUP4 00001743: PUSH2 0x1f48 00001746: JUMP 00001747: JUMPDEST 00001748: PUSH1 0x00 0000174a: SLOAD 0000174b: PUSH1 0x01 0000174d: PUSH1 0x01 0000174f: PUSH1 0xa0 00001751: SHL 00001752: SUB 00001753: AND 00001754: CALLER 00001755: EQ 00001756: PUSH2 0x1771 00001759: JUMPI 0000175a: PUSH1 0x40 0000175c: MLOAD 0000175d: PUSH3 0x461bcd 00001761: PUSH1 0xe5 00001763: SHL 00001764: DUP2 00001765: MSTORE 00001766: PUSH1 0x04 00001768: ADD 00001769: PUSH2 0x02dc 0000176c: SWAP1 0000176d: PUSH2 0x2786 00001770: JUMP 00001771: JUMPDEST 00001772: PUSH1 0x00 00001774: PUSH32 0x0000000000000000000000000b4e6f5c38a5e0fa2ea528bac2055e7304f82fef 00001795: PUSH1 0x01 00001797: PUSH1 0x01 00001799: PUSH1 0xa0 0000179b: SHL 0000179c: SUB 0000179d: AND 0000179e: SELFBALANCE 0000179f: PUSH1 0x40 000017a1: MLOAD 000017a2: PUSH1 0x00 000017a4: PUSH1 0x40 000017a6: MLOAD 000017a7: DUP1 000017a8: DUP4 000017a9: SUB 000017aa: DUP2 000017ab: DUP6 000017ac: DUP8 000017ad: GAS 000017ae: CALL 000017af: SWAP3 000017b0: POP 000017b1: POP 000017b2: POP 000017b3: RETURNDATASIZE 000017b4: DUP1 000017b5: PUSH1 0x00 000017b7: DUP2 000017b8: EQ 000017b9: PUSH2 0x17de 000017bc: JUMPI 000017bd: PUSH1 0x40 000017bf: MLOAD 000017c0: SWAP2 000017c1: POP 000017c2: PUSH1 0x1f 000017c4: NOT 000017c5: PUSH1 0x3f 000017c7: RETURNDATASIZE 000017c8: ADD 000017c9: AND 000017ca: DUP3 000017cb: ADD 000017cc: PUSH1 0x40 000017ce: MSTORE 000017cf: RETURNDATASIZE 000017d0: DUP3 000017d1: MSTORE 000017d2: RETURNDATASIZE 000017d3: PUSH1 0x00 000017d5: PUSH1 0x20 000017d7: DUP5 000017d8: ADD 000017d9: RETURNDATACOPY 000017da: PUSH2 0x17e3 000017dd: JUMP 000017de: JUMPDEST 000017df: PUSH1 0x60 000017e1: SWAP2 000017e2: POP 000017e3: JUMPDEST 000017e4: POP 000017e5: POP 000017e6: SWAP1 000017e7: POP 000017e8: DUP1 000017e9: PUSH2 0x1826 000017ec: JUMPI 000017ed: PUSH1 0x40 000017ef: MLOAD 000017f0: PUSH3 0x461bcd 000017f4: PUSH1 0xe5 000017f6: SHL 000017f7: DUP2 000017f8: MSTORE 000017f9: PUSH1 0x20 000017fb: PUSH1 0x04 000017fd: DUP3 000017fe: ADD 000017ff: MSTORE 00001800: PUSH1 0x0f 00001802: PUSH1 0x24 00001804: DUP3 00001805: ADD 00001806: MSTORE 00001807: PUSH15 0x151c985b9cd9995c8819985a5b1959 00001817: PUSH1 0x8a 00001819: SHL 0000181a: PUSH1 0x44 0000181c: DUP3 0000181d: ADD 0000181e: MSTORE 0000181f: PUSH1 0x64 00001821: ADD 00001822: PUSH2 0x02dc 00001825: JUMP 00001826: JUMPDEST 00001827: POP 00001828: JUMP 00001829: JUMPDEST 0000182a: PUSH1 0x00 0000182c: SLOAD 0000182d: PUSH1 0x01 0000182f: PUSH1 0x01 00001831: PUSH1 0xa0 00001833: SHL 00001834: SUB 00001835: AND 00001836: CALLER 00001837: EQ 00001838: PUSH2 0x1853 0000183b: JUMPI 0000183c: PUSH1 0x40 0000183e: MLOAD 0000183f: PUSH3 0x461bcd 00001843: PUSH1 0xe5 00001845: SHL 00001846: DUP2 00001847: MSTORE 00001848: PUSH1 0x04 0000184a: ADD 0000184b: PUSH2 0x02dc 0000184e: SWAP1 0000184f: PUSH2 0x2786 00001852: JUMP 00001853: JUMPDEST 00001854: PUSH1 0x01 00001856: DUP1 00001857: SLOAD 00001858: PUSH8 0xffffffffffffffff 00001861: SWAP1 00001862: SWAP3 00001863: AND 00001864: PUSH1 0x01 00001866: PUSH1 0xa0 00001868: SHL 00001869: MUL 0000186a: PUSH8 0xffffffffffffffff 00001873: PUSH1 0xa0 00001875: SHL 00001876: NOT 00001877: SWAP1 00001878: SWAP3 00001879: AND 0000187a: SWAP2 0000187b: SWAP1 0000187c: SWAP2 0000187d: OR 0000187e: SWAP1 0000187f: SSTORE 00001880: JUMP 00001881: JUMPDEST 00001882: PUSH1 0x00 00001884: SLOAD 00001885: PUSH1 0x01 00001887: PUSH1 0x01 00001889: PUSH1 0xa0 0000188b: SHL 0000188c: SUB 0000188d: AND 0000188e: CALLER 0000188f: EQ 00001890: PUSH2 0x18ab 00001893: JUMPI 00001894: PUSH1 0x40 00001896: MLOAD 00001897: PUSH3 0x461bcd 0000189b: PUSH1 0xe5 0000189d: SHL 0000189e: DUP2 0000189f: MSTORE 000018a0: PUSH1 0x04 000018a2: ADD 000018a3: PUSH2 0x02dc 000018a6: SWAP1 000018a7: PUSH2 0x2786 000018aa: JUMP 000018ab: JUMPDEST 000018ac: PUSH1 0x02 000018ae: SSTORE 000018af: JUMP 000018b0: JUMPDEST 000018b1: PUSH1 0x00 000018b3: SLOAD 000018b4: PUSH1 0x01 000018b6: PUSH1 0x01 000018b8: PUSH1 0xa0 000018ba: SHL 000018bb: SUB 000018bc: AND 000018bd: CALLER 000018be: EQ 000018bf: PUSH2 0x18da 000018c2: JUMPI 000018c3: PUSH1 0x40 000018c5: MLOAD 000018c6: PUSH3 0x461bcd 000018ca: PUSH1 0xe5 000018cc: SHL 000018cd: DUP2 000018ce: MSTORE 000018cf: PUSH1 0x04 000018d1: ADD 000018d2: PUSH2 0x02dc 000018d5: SWAP1 000018d6: PUSH2 0x2786 000018d9: JUMP 000018da: JUMPDEST 000018db: PUSH1 0x03 000018dd: DUP1 000018de: SLOAD 000018df: PUSH2 0xffff 000018e2: SWAP1 000018e3: SWAP3 000018e4: AND 000018e5: PUSH5 0x0100000000 000018eb: MUL 000018ec: PUSH6 0xffff00000000 000018f3: NOT 000018f4: SWAP1 000018f5: SWAP3 000018f6: AND 000018f7: SWAP2 000018f8: SWAP1 000018f9: SWAP2 000018fa: OR 000018fb: SWAP1 000018fc: SSTORE 000018fd: JUMP 000018fe: JUMPDEST 000018ff: PUSH1 0x40 00001901: DUP1 00001902: MLOAD 00001903: DUP1 00001904: DUP3 00001905: ADD 00001906: SWAP1 00001907: SWAP2 00001908: MSTORE 00001909: PUSH1 0x00 0000190b: DUP1 0000190c: DUP3 0000190d: MSTORE 0000190e: PUSH1 0x20 00001910: DUP3 00001911: ADD 00001912: MSTORE 00001913: PUSH1 0x0a 00001915: PUSH1 0x00 00001917: PUSH2 0x1920 0000191a: DUP6 0000191b: DUP6 0000191c: PUSH2 0x1ced 0000191f: JUMP 00001920: JUMPDEST 00001921: DUP2 00001922: MSTORE 00001923: PUSH1 0x20 00001925: DUP1 00001926: DUP3 00001927: ADD 00001928: SWAP3 00001929: SWAP1 0000192a: SWAP3 0000192b: MSTORE 0000192c: PUSH1 0x40 0000192e: SWAP1 0000192f: DUP2 00001930: ADD 00001931: PUSH1 0x00 00001933: KECCAK256 00001934: DUP2 00001935: MLOAD 00001936: DUP1 00001937: DUP4 00001938: ADD 00001939: SWAP1 0000193a: SWAP3 0000193b: MSTORE 0000193c: SLOAD 0000193d: PUSH1 0x01 0000193f: PUSH1 0x01 00001941: PUSH1 0x80 00001943: SHL 00001944: SUB 00001945: DUP1 00001946: DUP3 00001947: AND 00001948: DUP4 00001949: MSTORE 0000194a: PUSH1 0x01 0000194c: PUSH1 0x80 0000194e: SHL 0000194f: SWAP1 00001950: SWAP2 00001951: DIV 00001952: AND 00001953: SWAP2 00001954: DUP2 00001955: ADD 00001956: SWAP2 00001957: SWAP1 00001958: SWAP2 00001959: MSTORE 0000195a: SWAP4 0000195b: SWAP3 0000195c: POP 0000195d: POP 0000195e: POP 0000195f: JUMP 00001960: JUMPDEST 00001961: PUSH1 0x00 00001963: SLOAD 00001964: PUSH1 0x01 00001966: PUSH1 0x01 00001968: PUSH1 0xa0 0000196a: SHL 0000196b: SUB 0000196c: AND 0000196d: CALLER 0000196e: EQ 0000196f: PUSH2 0x198a 00001972: JUMPI 00001973: PUSH1 0x40 00001975: MLOAD 00001976: PUSH3 0x461bcd 0000197a: PUSH1 0xe5 0000197c: SHL 0000197d: DUP2 0000197e: MSTORE 0000197f: PUSH1 0x04 00001981: ADD 00001982: PUSH2 0x02dc 00001985: SWAP1 00001986: PUSH2 0x2786 00001989: JUMP 0000198a: JUMPDEST 0000198b: PUSH1 0x03 0000198d: DUP1 0000198e: SLOAD 0000198f: PUSH4 0xffffffff 00001994: NOT 00001995: AND 00001996: PUSH4 0xffffffff 0000199b: SWAP3 0000199c: SWAP1 0000199d: SWAP3 0000199e: AND 0000199f: SWAP2 000019a0: SWAP1 000019a1: SWAP2 000019a2: OR 000019a3: SWAP1 000019a4: SSTORE 000019a5: JUMP 000019a6: JUMPDEST 000019a7: PUSH1 0x00 000019a9: SLOAD 000019aa: PUSH1 0x01 000019ac: PUSH1 0x01 000019ae: PUSH1 0xa0 000019b0: SHL 000019b1: SUB 000019b2: AND 000019b3: CALLER 000019b4: EQ 000019b5: PUSH2 0x19d0 000019b8: JUMPI 000019b9: PUSH1 0x40 000019bb: MLOAD 000019bc: PUSH3 0x461bcd 000019c0: PUSH1 0xe5 000019c2: SHL 000019c3: DUP2 000019c4: MSTORE 000019c5: PUSH1 0x04 000019c7: ADD 000019c8: PUSH2 0x02dc 000019cb: SWAP1 000019cc: PUSH2 0x2786 000019cf: JUMP 000019d0: JUMPDEST 000019d1: PUSH1 0x00 000019d3: PUSH32 0x0000000000000000000000000b4e6f5c38a5e0fa2ea528bac2055e7304f82fef 000019f4: PUSH1 0x01 000019f6: PUSH1 0x01 000019f8: PUSH1 0xa0 000019fa: SHL 000019fb: SUB 000019fc: AND 000019fd: DUP3 000019fe: PUSH1 0x40 00001a00: MLOAD 00001a01: PUSH1 0x00 00001a03: PUSH1 0x40 00001a05: MLOAD 00001a06: DUP1 00001a07: DUP4 00001a08: SUB 00001a09: DUP2 00001a0a: DUP6 00001a0b: DUP8 00001a0c: GAS 00001a0d: CALL 00001a0e: SWAP3 00001a0f: POP 00001a10: POP 00001a11: POP 00001a12: RETURNDATASIZE 00001a13: DUP1 00001a14: PUSH1 0x00 00001a16: DUP2 00001a17: EQ 00001a18: PUSH2 0x1a3d 00001a1b: JUMPI 00001a1c: PUSH1 0x40 00001a1e: MLOAD 00001a1f: SWAP2 00001a20: POP 00001a21: PUSH1 0x1f 00001a23: NOT 00001a24: PUSH1 0x3f 00001a26: RETURNDATASIZE 00001a27: ADD 00001a28: AND 00001a29: DUP3 00001a2a: ADD 00001a2b: PUSH1 0x40 00001a2d: MSTORE 00001a2e: RETURNDATASIZE 00001a2f: DUP3 00001a30: MSTORE 00001a31: RETURNDATASIZE 00001a32: PUSH1 0x00 00001a34: PUSH1 0x20 00001a36: DUP5 00001a37: ADD 00001a38: RETURNDATACOPY 00001a39: PUSH2 0x1a42 00001a3c: JUMP 00001a3d: JUMPDEST 00001a3e: PUSH1 0x60 00001a40: SWAP2 00001a41: POP 00001a42: JUMPDEST 00001a43: POP 00001a44: POP 00001a45: SWAP1 00001a46: POP 00001a47: DUP1 00001a48: PUSH2 0x0aa2 00001a4b: JUMPI 00001a4c: PUSH1 0x40 00001a4e: MLOAD 00001a4f: PUSH3 0x461bcd 00001a53: PUSH1 0xe5 00001a55: SHL 00001a56: DUP2 00001a57: MSTORE 00001a58: PUSH1 0x20 00001a5a: PUSH1 0x04 00001a5c: DUP3 00001a5d: ADD 00001a5e: MSTORE 00001a5f: PUSH1 0x0f 00001a61: PUSH1 0x24 00001a63: DUP3 00001a64: ADD 00001a65: MSTORE 00001a66: PUSH15 0x151c985b9cd9995c8819985a5b1959 00001a76: PUSH1 0x8a 00001a78: SHL 00001a79: PUSH1 0x44 00001a7b: DUP3 00001a7c: ADD 00001a7d: MSTORE 00001a7e: PUSH1 0x64 00001a80: ADD 00001a81: PUSH2 0x02dc 00001a84: JUMP 00001a85: JUMPDEST 00001a86: PUSH1 0x00 00001a88: SLOAD 00001a89: PUSH1 0x01 00001a8b: PUSH1 0x01 00001a8d: PUSH1 0xa0 00001a8f: SHL 00001a90: SUB 00001a91: AND 00001a92: CALLER 00001a93: EQ 00001a94: PUSH2 0x1aaf 00001a97: JUMPI 00001a98: PUSH1 0x40 00001a9a: MLOAD 00001a9b: PUSH3 0x461bcd 00001a9f: PUSH1 0xe5 00001aa1: SHL 00001aa2: DUP2 00001aa3: MSTORE 00001aa4: PUSH1 0x04 00001aa6: ADD 00001aa7: PUSH2 0x02dc 00001aaa: SWAP1 00001aab: PUSH2 0x2786 00001aae: JUMP 00001aaf: JUMPDEST 00001ab0: PUSH1 0x01 00001ab2: PUSH1 0x01 00001ab4: PUSH1 0xa0 00001ab6: SHL 00001ab7: SUB 00001ab8: DUP2 00001ab9: AND 00001aba: PUSH2 0x1b14 00001abd: JUMPI 00001abe: PUSH1 0x40 00001ac0: MLOAD 00001ac1: PUSH3 0x461bcd 00001ac5: PUSH1 0xe5 00001ac7: SHL 00001ac8: DUP2 00001ac9: MSTORE 00001aca: PUSH1 0x20 00001acc: PUSH1 0x04 00001ace: DUP3 00001acf: ADD 00001ad0: MSTORE 00001ad1: PUSH1 0x26 00001ad3: PUSH1 0x24 00001ad5: DUP3 00001ad6: ADD 00001ad7: MSTORE 00001ad8: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00001af9: PUSH1 0x44 00001afb: DUP3 00001afc: ADD 00001afd: MSTORE 00001afe: PUSH6 0x646472657373 00001b05: PUSH1 0xd0 00001b07: SHL 00001b08: PUSH1 0x64 00001b0a: DUP3 00001b0b: ADD 00001b0c: MSTORE 00001b0d: PUSH1 0x84 00001b0f: ADD 00001b10: PUSH2 0x02dc 00001b13: JUMP 00001b14: JUMPDEST 00001b15: PUSH2 0x1826 00001b18: DUP2 00001b19: PUSH2 0x1e6a 00001b1c: JUMP 00001b1d: JUMPDEST 00001b1e: PUSH1 0x07 00001b20: SLOAD 00001b21: PUSH2 0x0100 00001b24: SWAP1 00001b25: DIV 00001b26: PUSH1 0xff 00001b28: AND 00001b29: ISZERO 00001b2a: PUSH2 0x1b45 00001b2d: JUMPI 00001b2e: PUSH1 0x40 00001b30: MLOAD 00001b31: PUSH3 0x461bcd 00001b35: PUSH1 0xe5 00001b37: SHL 00001b38: DUP2 00001b39: MSTORE 00001b3a: PUSH1 0x04 00001b3c: ADD 00001b3d: PUSH2 0x02dc 00001b40: SWAP1 00001b41: PUSH2 0x27bb 00001b44: JUMP 00001b45: JUMPDEST 00001b46: PUSH1 0x07 00001b48: SLOAD 00001b49: PUSH1 0xff 00001b4b: AND 00001b4c: PUSH2 0x1b67 00001b4f: JUMPI 00001b50: PUSH1 0x40 00001b52: MLOAD 00001b53: PUSH3 0x461bcd 00001b57: PUSH1 0xe5 00001b59: SHL 00001b5a: DUP2 00001b5b: MSTORE 00001b5c: PUSH1 0x04 00001b5e: ADD 00001b5f: PUSH2 0x02dc 00001b62: SWAP1 00001b63: PUSH2 0x26d9 00001b66: JUMP 00001b67: JUMPDEST 00001b68: PUSH2 0x1b6f 00001b6b: PUSH2 0x1f9a 00001b6e: JUMP 00001b6f: JUMPDEST 00001b70: TIMESTAMP 00001b71: LT 00001b72: ISZERO 00001b73: PUSH2 0x1bc9 00001b76: JUMPI 00001b77: PUSH1 0x40 00001b79: MLOAD 00001b7a: PUSH3 0x461bcd 00001b7e: PUSH1 0xe5 00001b80: SHL 00001b81: DUP2 00001b82: MSTORE 00001b83: PUSH1 0x20 00001b85: PUSH1 0x04 00001b87: DUP3 00001b88: ADD 00001b89: MSTORE 00001b8a: PUSH1 0x22 00001b8c: PUSH1 0x24 00001b8e: DUP3 00001b8f: ADD 00001b90: MSTORE 00001b91: PUSH32 0x41756374696f6e2063616e27742062652073746f7070656420756e74696c2064 00001bb2: PUSH1 0x44 00001bb4: DUP3 00001bb5: ADD 00001bb6: MSTORE 00001bb7: PUSH2 0x7565 00001bba: PUSH1 0xf0 00001bbc: SHL 00001bbd: PUSH1 0x64 00001bbf: DUP3 00001bc0: ADD 00001bc1: MSTORE 00001bc2: PUSH1 0x84 00001bc4: ADD 00001bc5: PUSH2 0x02dc 00001bc8: JUMP 00001bc9: JUMPDEST 00001bca: PUSH2 0x0e6e 00001bcd: PUSH2 0x1fb6 00001bd0: JUMP 00001bd1: JUMPDEST 00001bd2: PUSH1 0x00 00001bd4: PUSH2 0x2710 00001bd7: DUP3 00001bd8: PUSH1 0x00 00001bda: DUP2 00001bdb: MLOAD 00001bdc: DUP2 00001bdd: LT 00001bde: PUSH2 0x1be9 00001be1: JUMPI 00001be2: PUSH2 0x1be9 00001be5: PUSH2 0x2833 00001be8: JUMP 00001be9: JUMPDEST 00001bea: PUSH1 0x20 00001bec: MUL 00001bed: PUSH1 0x20 00001bef: ADD 00001bf0: ADD 00001bf1: MLOAD 00001bf2: PUSH2 0x1bfb 00001bf5: SWAP2 00001bf6: SWAP1 00001bf7: PUSH2 0x2811 00001bfa: JUMP 00001bfb: JUMPDEST 00001bfc: SWAP1 00001bfd: POP 00001bfe: DUP3 00001bff: PUSH32 0x9f3dfe0efa24b207b42aad32b527da86eb44e0c0e09e3c22e3a342f444d257e1 00001c20: DUP4 00001c21: PUSH1 0x00 00001c23: DUP2 00001c24: MLOAD 00001c25: DUP2 00001c26: LT 00001c27: PUSH2 0x1c32 00001c2a: JUMPI 00001c2b: PUSH2 0x1c32 00001c2e: PUSH2 0x2833 00001c31: JUMP 00001c32: JUMPDEST 00001c33: PUSH1 0x20 00001c35: MUL 00001c36: PUSH1 0x20 00001c38: ADD 00001c39: ADD 00001c3a: MLOAD 00001c3b: PUSH1 0x40 00001c3d: MLOAD 00001c3e: PUSH2 0x1c49 00001c41: SWAP2 00001c42: DUP2 00001c43: MSTORE 00001c44: PUSH1 0x20 00001c46: ADD 00001c47: SWAP1 00001c48: JUMP 00001c49: JUMPDEST 00001c4a: PUSH1 0x40 00001c4c: MLOAD 00001c4d: DUP1 00001c4e: SWAP2 00001c4f: SUB 00001c50: SWAP1 00001c51: LOG2 00001c52: PUSH2 0x1c59 00001c55: PUSH2 0x1f1f 00001c58: JUMP 00001c59: JUMPDEST 00001c5a: ISZERO 00001c5b: PUSH2 0x1ca9 00001c5e: JUMPI 00001c5f: PUSH1 0xc8 00001c61: DUP2 00001c62: LT 00001c63: ISZERO 00001c64: PUSH2 0x1cae 00001c67: JUMPI 00001c68: PUSH32 0xcce4f3e03656dea44733b631920726be0e854a6ef68a96afc0f61d6e049eeda7 00001c89: PUSH1 0xc8 00001c8b: DUP3 00001c8c: PUSH1 0x40 00001c8e: MLOAD 00001c8f: PUSH2 0x1c99 00001c92: SWAP3 00001c93: SWAP2 00001c94: SWAP1 00001c95: PUSH2 0x2849 00001c98: JUMP 00001c99: JUMPDEST 00001c9a: PUSH1 0x40 00001c9c: MLOAD 00001c9d: DUP1 00001c9e: SWAP2 00001c9f: SUB 00001ca0: SWAP1 00001ca1: LOG1 00001ca2: PUSH2 0x1ca9 00001ca5: PUSH2 0x1fb6 00001ca8: JUMP 00001ca9: JUMPDEST 00001caa: POP 00001cab: POP 00001cac: POP 00001cad: JUMP 00001cae: JUMPDEST 00001caf: PUSH32 0xcce4f3e03656dea44733b631920726be0e854a6ef68a96afc0f61d6e049eeda7 00001cd0: PUSH1 0xc8 00001cd2: DUP3 00001cd3: PUSH1 0x40 00001cd5: MLOAD 00001cd6: PUSH2 0x1ce0 00001cd9: SWAP3 00001cda: SWAP2 00001cdb: SWAP1 00001cdc: PUSH2 0x28b2 00001cdf: JUMP 00001ce0: JUMPDEST 00001ce1: PUSH1 0x40 00001ce3: MLOAD 00001ce4: DUP1 00001ce5: SWAP2 00001ce6: SUB 00001ce7: SWAP1 00001ce8: LOG1 00001ce9: POP 00001cea: POP 00001ceb: POP 00001cec: JUMP 00001ced: JUMPDEST 00001cee: PUSH1 0x00 00001cf0: DUP3 00001cf1: DUP3 00001cf2: PUSH1 0x40 00001cf4: MLOAD 00001cf5: PUSH1 0x20 00001cf7: ADD 00001cf8: PUSH2 0x1d1d 00001cfb: SWAP3 00001cfc: SWAP2 00001cfd: SWAP1 00001cfe: SWAP2 00001cff: DUP3 00001d00: MSTORE 00001d01: PUSH1 0x60 00001d03: SHL 00001d04: PUSH12 0xffffffffffffffffffffffff 00001d11: NOT 00001d12: AND 00001d13: PUSH1 0x20 00001d15: DUP3 00001d16: ADD 00001d17: MSTORE 00001d18: PUSH1 0x34 00001d1a: ADD 00001d1b: SWAP1 00001d1c: JUMP 00001d1d: JUMPDEST 00001d1e: PUSH1 0x40 00001d20: MLOAD 00001d21: PUSH1 0x20 00001d23: DUP2 00001d24: DUP4 00001d25: SUB 00001d26: SUB 00001d27: DUP2 00001d28: MSTORE 00001d29: SWAP1 00001d2a: PUSH1 0x40 00001d2c: MSTORE 00001d2d: DUP1 00001d2e: MLOAD 00001d2f: SWAP1 00001d30: PUSH1 0x20 00001d32: ADD 00001d33: KECCAK256 00001d34: SWAP1 00001d35: POP 00001d36: SWAP3 00001d37: SWAP2 00001d38: POP 00001d39: POP 00001d3a: JUMP 00001d3b: JUMPDEST 00001d3c: PUSH1 0x00 00001d3e: DUP3 00001d3f: PUSH2 0x1d48 00001d42: DUP6 00001d43: DUP5 00001d44: PUSH2 0x205a 00001d47: JUMP 00001d48: JUMPDEST 00001d49: EQ 00001d4a: SWAP1 00001d4b: POP 00001d4c: JUMPDEST 00001d4d: SWAP4 00001d4e: SWAP3 00001d4f: POP 00001d50: POP 00001d51: POP 00001d52: JUMP 00001d53: JUMPDEST 00001d54: PUSH1 0x00 00001d56: SLOAD 00001d57: PUSH1 0x01 00001d59: PUSH1 0xa0 00001d5b: SHL 00001d5c: SWAP1 00001d5d: DIV 00001d5e: PUSH1 0xff 00001d60: AND 00001d61: PUSH2 0x1da3 00001d64: JUMPI 00001d65: PUSH1 0x40 00001d67: MLOAD 00001d68: PUSH3 0x461bcd 00001d6c: PUSH1 0xe5 00001d6e: SHL 00001d6f: DUP2 00001d70: MSTORE 00001d71: PUSH1 0x20 00001d73: PUSH1 0x04 00001d75: DUP3 00001d76: ADD 00001d77: MSTORE 00001d78: PUSH1 0x14 00001d7a: PUSH1 0x24 00001d7c: DUP3 00001d7d: ADD 00001d7e: MSTORE 00001d7f: PUSH20 0x14185d5cd8589b194e881b9bdd081c185d5cd959 00001d94: PUSH1 0x62 00001d96: SHL 00001d97: PUSH1 0x44 00001d99: DUP3 00001d9a: ADD 00001d9b: MSTORE 00001d9c: PUSH1 0x64 00001d9e: ADD 00001d9f: PUSH2 0x02dc 00001da2: JUMP 00001da3: JUMPDEST 00001da4: PUSH1 0x00 00001da6: DUP1 00001da7: SLOAD 00001da8: PUSH1 0xff 00001daa: PUSH1 0xa0 00001dac: SHL 00001dad: NOT 00001dae: AND 00001daf: SWAP1 00001db0: SSTORE 00001db1: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 00001dd2: CALLER 00001dd3: JUMPDEST 00001dd4: PUSH1 0x40 00001dd6: MLOAD 00001dd7: PUSH1 0x01 00001dd9: PUSH1 0x01 00001ddb: PUSH1 0xa0 00001ddd: SHL 00001dde: SUB 00001ddf: SWAP1 00001de0: SWAP2 00001de1: AND 00001de2: DUP2 00001de3: MSTORE 00001de4: PUSH1 0x20 00001de6: ADD 00001de7: PUSH1 0x40 00001de9: MLOAD 00001dea: DUP1 00001deb: SWAP2 00001dec: SUB 00001ded: SWAP1 00001dee: LOG1 00001def: JUMP 00001df0: JUMPDEST 00001df1: PUSH2 0x1df8 00001df4: PUSH2 0x1f9a 00001df7: JUMP 00001df8: JUMPDEST 00001df9: TIMESTAMP 00001dfa: LT 00001dfb: PUSH2 0x1e06 00001dfe: JUMPI 00001dff: PUSH2 0x0e6e 00001e02: PUSH2 0x1fb6 00001e05: JUMP 00001e06: JUMPDEST 00001e07: PUSH1 0x09 00001e09: SLOAD 00001e0a: PUSH32 0x0000000000000000000000000000000000000000000000000000000000001ebe 00001e2b: GT 00001e2c: PUSH2 0x1e37 00001e2f: JUMPI 00001e30: PUSH2 0x0e6e 00001e33: PUSH2 0x1fb6 00001e36: JUMP 00001e37: JUMPDEST 00001e38: PUSH2 0x1e3f 00001e3b: PUSH2 0x1f1f 00001e3e: JUMP 00001e3f: JUMPDEST 00001e40: DUP1 00001e41: ISZERO 00001e42: PUSH2 0x1e59 00001e45: JUMPI 00001e46: POP 00001e47: PUSH1 0x3c 00001e49: PUSH1 0x04 00001e4b: SLOAD 00001e4c: TIMESTAMP 00001e4d: PUSH2 0x1e56 00001e50: SWAP2 00001e51: SWAP1 00001e52: PUSH2 0x291b 00001e55: JUMP 00001e56: JUMPDEST 00001e57: LT 00001e58: ISZERO 00001e59: JUMPDEST 00001e5a: ISZERO 00001e5b: PUSH2 0x0e6e 00001e5e: JUMPI 00001e5f: TIMESTAMP 00001e60: PUSH1 0x04 00001e62: SSTORE 00001e63: PUSH2 0x1826 00001e66: PUSH2 0x2106 00001e69: JUMP 00001e6a: JUMPDEST 00001e6b: PUSH1 0x00 00001e6d: DUP1 00001e6e: SLOAD 00001e6f: PUSH1 0x01 00001e71: PUSH1 0x01 00001e73: PUSH1 0xa0 00001e75: SHL 00001e76: SUB 00001e77: DUP4 00001e78: DUP2 00001e79: AND 00001e7a: PUSH1 0x01 00001e7c: PUSH1 0x01 00001e7e: PUSH1 0xa0 00001e80: SHL 00001e81: SUB 00001e82: NOT 00001e83: DUP4 00001e84: AND 00001e85: DUP2 00001e86: OR 00001e87: DUP5 00001e88: SSTORE 00001e89: PUSH1 0x40 00001e8b: MLOAD 00001e8c: SWAP2 00001e8d: SWAP1 00001e8e: SWAP3 00001e8f: AND 00001e90: SWAP3 00001e91: DUP4 00001e92: SWAP2 00001e93: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00001eb4: SWAP2 00001eb5: SWAP1 00001eb6: LOG3 00001eb7: POP 00001eb8: POP 00001eb9: JUMP 00001eba: JUMPDEST 00001ebb: PUSH1 0x00 00001ebd: SLOAD 00001ebe: PUSH1 0x01 00001ec0: PUSH1 0xa0 00001ec2: SHL 00001ec3: SWAP1 00001ec4: DIV 00001ec5: PUSH1 0xff 00001ec7: AND 00001ec8: ISZERO 00001ec9: PUSH2 0x1ee4 00001ecc: JUMPI 00001ecd: PUSH1 0x40 00001ecf: MLOAD 00001ed0: PUSH3 0x461bcd 00001ed4: PUSH1 0xe5 00001ed6: SHL 00001ed7: DUP2 00001ed8: MSTORE 00001ed9: PUSH1 0x04 00001edb: ADD 00001edc: PUSH2 0x02dc 00001edf: SWAP1 00001ee0: PUSH2 0x26af 00001ee3: JUMP 00001ee4: JUMPDEST 00001ee5: PUSH1 0x00 00001ee7: DUP1 00001ee8: SLOAD 00001ee9: PUSH1 0xff 00001eeb: PUSH1 0xa0 00001eed: SHL 00001eee: NOT 00001eef: AND 00001ef0: PUSH1 0x01 00001ef2: PUSH1 0xa0 00001ef4: SHL 00001ef5: OR 00001ef6: SWAP1 00001ef7: SSTORE 00001ef8: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 00001f19: PUSH2 0x1dd3 00001f1c: CALLER 00001f1d: SWAP1 00001f1e: JUMP 00001f1f: JUMPDEST 00001f20: PUSH1 0x00 00001f22: PUSH2 0x1f2e 00001f25: PUSH1 0x02 00001f27: PUSH2 0x0e10 00001f2a: PUSH2 0x27f2 00001f2d: JUMP 00001f2e: JUMPDEST 00001f2f: PUSH2 0x1f36 00001f32: PUSH2 0x1f9a 00001f35: JUMP 00001f36: JUMPDEST 00001f37: PUSH2 0x1f40 00001f3a: SWAP2 00001f3b: SWAP1 00001f3c: PUSH2 0x291b 00001f3f: JUMP 00001f40: JUMPDEST 00001f41: TIMESTAMP 00001f42: LT 00001f43: ISZERO 00001f44: SWAP1 00001f45: POP 00001f46: SWAP1 00001f47: JUMP 00001f48: JUMPDEST 00001f49: PUSH1 0x40 00001f4b: DUP1 00001f4c: MLOAD 00001f4d: PUSH1 0x01 00001f4f: PUSH1 0x01 00001f51: PUSH1 0xa0 00001f53: SHL 00001f54: SUB 00001f55: DUP5 00001f56: AND 00001f57: PUSH1 0x24 00001f59: DUP3 00001f5a: ADD 00001f5b: MSTORE 00001f5c: PUSH1 0x44 00001f5e: DUP1 00001f5f: DUP3 00001f60: ADD 00001f61: DUP5 00001f62: SWAP1 00001f63: MSTORE 00001f64: DUP3 00001f65: MLOAD 00001f66: DUP1 00001f67: DUP4 00001f68: SUB 00001f69: SWAP1 00001f6a: SWAP2 00001f6b: ADD 00001f6c: DUP2 00001f6d: MSTORE 00001f6e: PUSH1 0x64 00001f70: SWAP1 00001f71: SWAP2 00001f72: ADD 00001f73: SWAP1 00001f74: SWAP2 00001f75: MSTORE 00001f76: PUSH1 0x20 00001f78: DUP2 00001f79: ADD 00001f7a: DUP1 00001f7b: MLOAD 00001f7c: PUSH1 0x01 00001f7e: PUSH1 0x01 00001f80: PUSH1 0xe0 00001f82: SHL 00001f83: SUB 00001f84: AND 00001f85: PUSH4 0xa9059cbb 00001f8a: PUSH1 0xe0 00001f8c: SHL 00001f8d: OR 00001f8e: SWAP1 00001f8f: MSTORE 00001f90: PUSH2 0x1ca9 00001f93: SWAP1 00001f94: DUP5 00001f95: SWAP1 00001f96: PUSH2 0x21bf 00001f99: JUMP 00001f9a: JUMPDEST 00001f9b: PUSH1 0x00 00001f9d: PUSH2 0x1fa9 00001fa0: PUSH1 0x18 00001fa2: PUSH2 0x0e10 00001fa5: PUSH2 0x27f2 00001fa8: JUMP 00001fa9: JUMPDEST 00001faa: PUSH1 0x05 00001fac: SLOAD 00001fad: PUSH2 0x164f 00001fb0: SWAP2 00001fb1: SWAP1 00001fb2: PUSH2 0x2755 00001fb5: JUMP 00001fb6: JUMPDEST 00001fb7: PUSH1 0x07 00001fb9: SLOAD 00001fba: PUSH2 0x0100 00001fbd: SWAP1 00001fbe: DIV 00001fbf: PUSH1 0xff 00001fc1: AND 00001fc2: ISZERO 00001fc3: PUSH2 0x1fde 00001fc6: JUMPI 00001fc7: PUSH1 0x40 00001fc9: MLOAD 00001fca: PUSH3 0x461bcd 00001fce: PUSH1 0xe5 00001fd0: SHL 00001fd1: DUP2 00001fd2: MSTORE 00001fd3: PUSH1 0x04 00001fd5: ADD 00001fd6: PUSH2 0x02dc 00001fd9: SWAP1 00001fda: PUSH2 0x27bb 00001fdd: JUMP 00001fde: JUMPDEST 00001fdf: PUSH1 0x07 00001fe1: SLOAD 00001fe2: PUSH1 0xff 00001fe4: AND 00001fe5: PUSH2 0x2000 00001fe8: JUMPI 00001fe9: PUSH1 0x40 00001feb: MLOAD 00001fec: PUSH3 0x461bcd 00001ff0: PUSH1 0xe5 00001ff2: SHL 00001ff3: DUP2 00001ff4: MSTORE 00001ff5: PUSH1 0x04 00001ff7: ADD 00001ff8: PUSH2 0x02dc 00001ffb: SWAP1 00001ffc: PUSH2 0x26d9 00001fff: JUMP 00002000: JUMPDEST 00002001: PUSH1 0x07 00002003: DUP1 00002004: SLOAD 00002005: PUSH2 0xff00 00002008: NOT 00002009: AND 0000200a: PUSH2 0x0100 0000200d: OR 0000200e: SWAP1 0000200f: SSTORE 00002010: PUSH2 0x2023 00002013: PUSH1 0x00 00002015: SLOAD 00002016: PUSH1 0xff 00002018: PUSH1 0x01 0000201a: PUSH1 0xa0 0000201c: SHL 0000201d: SWAP1 0000201e: SWAP2 0000201f: DIV 00002020: AND 00002021: SWAP1 00002022: JUMP 00002023: JUMPDEST 00002024: PUSH2 0x202f 00002027: JUMPI 00002028: PUSH2 0x202f 0000202b: PUSH2 0x1eba 0000202e: JUMP 0000202f: JUMPDEST 00002030: PUSH1 0x40 00002032: MLOAD 00002033: PUSH32 0xa0e92984607195c326795751263414ee1074526323552e694c90ef2b99ae3f29 00002054: SWAP1 00002055: PUSH1 0x00 00002057: SWAP1 00002058: LOG1 00002059: JUMP 0000205a: JUMPDEST 0000205b: PUSH1 0x00 0000205d: DUP2 0000205e: DUP2 0000205f: JUMPDEST 00002060: DUP5 00002061: MLOAD 00002062: DUP2 00002063: LT 00002064: ISZERO 00002065: PUSH2 0x20fe 00002068: JUMPI 00002069: PUSH1 0x00 0000206b: DUP6 0000206c: DUP3 0000206d: DUP2 0000206e: MLOAD 0000206f: DUP2 00002070: LT 00002071: PUSH2 0x207c 00002074: JUMPI 00002075: PUSH2 0x207c 00002078: PUSH2 0x2833 0000207b: JUMP 0000207c: JUMPDEST 0000207d: PUSH1 0x20 0000207f: MUL 00002080: PUSH1 0x20 00002082: ADD 00002083: ADD 00002084: MLOAD 00002085: SWAP1 00002086: POP 00002087: DUP1 00002088: DUP4 00002089: GT 0000208a: PUSH2 0x20be 0000208d: JUMPI 0000208e: PUSH1 0x40 00002090: DUP1 00002091: MLOAD 00002092: PUSH1 0x20 00002094: DUP2 00002095: ADD 00002096: DUP6 00002097: SWAP1 00002098: MSTORE 00002099: SWAP1 0000209a: DUP2 0000209b: ADD 0000209c: DUP3 0000209d: SWAP1 0000209e: MSTORE 0000209f: PUSH1 0x60 000020a1: ADD 000020a2: PUSH1 0x40 000020a4: MLOAD 000020a5: PUSH1 0x20 000020a7: DUP2 000020a8: DUP4 000020a9: SUB 000020aa: SUB 000020ab: DUP2 000020ac: MSTORE 000020ad: SWAP1 000020ae: PUSH1 0x40 000020b0: MSTORE 000020b1: DUP1 000020b2: MLOAD 000020b3: SWAP1 000020b4: PUSH1 0x20 000020b6: ADD 000020b7: KECCAK256 000020b8: SWAP3 000020b9: POP 000020ba: PUSH2 0x20eb 000020bd: JUMP 000020be: JUMPDEST 000020bf: PUSH1 0x40 000020c1: DUP1 000020c2: MLOAD 000020c3: PUSH1 0x20 000020c5: DUP2 000020c6: ADD 000020c7: DUP4 000020c8: SWAP1 000020c9: MSTORE 000020ca: SWAP1 000020cb: DUP2 000020cc: ADD 000020cd: DUP5 000020ce: SWAP1 000020cf: MSTORE 000020d0: PUSH1 0x60 000020d2: ADD 000020d3: PUSH1 0x40 000020d5: MLOAD 000020d6: PUSH1 0x20 000020d8: DUP2 000020d9: DUP4 000020da: SUB 000020db: SUB 000020dc: DUP2 000020dd: MSTORE 000020de: SWAP1 000020df: PUSH1 0x40 000020e1: MSTORE 000020e2: DUP1 000020e3: MLOAD 000020e4: SWAP1 000020e5: PUSH1 0x20 000020e7: ADD 000020e8: KECCAK256 000020e9: SWAP3 000020ea: POP 000020eb: JUMPDEST 000020ec: POP 000020ed: DUP1 000020ee: PUSH2 0x20f6 000020f1: DUP2 000020f2: PUSH2 0x276d 000020f5: JUMP 000020f6: JUMPDEST 000020f7: SWAP2 000020f8: POP 000020f9: POP 000020fa: PUSH2 0x205f 000020fd: JUMP 000020fe: JUMPDEST 000020ff: POP 00002100: SWAP4 00002101: SWAP3 00002102: POP 00002103: POP 00002104: POP 00002105: JUMP 00002106: JUMPDEST 00002107: PUSH1 0x01 00002109: SLOAD 0000210a: PUSH1 0x02 0000210c: SLOAD 0000210d: PUSH1 0x03 0000210f: SLOAD 00002110: PUSH1 0x40 00002112: MLOAD 00002113: PUSH4 0x05d3b1d3 00002118: PUSH1 0xe4 0000211a: SHL 0000211b: DUP2 0000211c: MSTORE 0000211d: PUSH1 0x04 0000211f: DUP2 00002120: ADD 00002121: SWAP3 00002122: SWAP1 00002123: SWAP3 00002124: MSTORE 00002125: PUSH1 0x01 00002127: PUSH1 0xa0 00002129: SHL 0000212a: DUP4 0000212b: DIV 0000212c: PUSH8 0xffffffffffffffff 00002135: AND 00002136: PUSH1 0x24 00002138: DUP4 00002139: ADD 0000213a: MSTORE 0000213b: PUSH5 0x0100000000 00002141: DUP2 00002142: DIV 00002143: PUSH2 0xffff 00002146: AND 00002147: PUSH1 0x44 00002149: DUP4 0000214a: ADD 0000214b: MSTORE 0000214c: PUSH4 0xffffffff 00002151: DUP1 00002152: DUP3 00002153: AND 00002154: PUSH1 0x64 00002156: DUP5 00002157: ADD 00002158: MSTORE 00002159: PUSH1 0x01 0000215b: PUSH1 0x30 0000215d: SHL 0000215e: SWAP1 0000215f: SWAP2 00002160: DIV 00002161: AND 00002162: PUSH1 0x84 00002164: DUP3 00002165: ADD 00002166: MSTORE 00002167: PUSH1 0x00 00002169: SWAP2 0000216a: PUSH1 0x01 0000216c: PUSH1 0x01 0000216e: PUSH1 0xa0 00002170: SHL 00002171: SUB 00002172: AND 00002173: SWAP1 00002174: PUSH4 0x5d3b1d30 00002179: SWAP1 0000217a: PUSH1 0xa4 0000217c: ADD 0000217d: PUSH1 0x20 0000217f: PUSH1 0x40 00002181: MLOAD 00002182: DUP1 00002183: DUP4 00002184: SUB 00002185: DUP2 00002186: PUSH1 0x00 00002188: DUP8 00002189: GAS 0000218a: CALL 0000218b: ISZERO 0000218c: DUP1 0000218d: ISZERO 0000218e: PUSH2 0x219b 00002191: JUMPI 00002192: RETURNDATASIZE 00002193: PUSH1 0x00 00002195: DUP1 00002196: RETURNDATACOPY 00002197: RETURNDATASIZE 00002198: PUSH1 0x00 0000219a: REVERT 0000219b: JUMPDEST 0000219c: POP 0000219d: POP 0000219e: POP 0000219f: POP 000021a0: PUSH1 0x40 000021a2: MLOAD 000021a3: RETURNDATASIZE 000021a4: PUSH1 0x1f 000021a6: NOT 000021a7: PUSH1 0x1f 000021a9: DUP3 000021aa: ADD 000021ab: AND 000021ac: DUP3 000021ad: ADD 000021ae: DUP1 000021af: PUSH1 0x40 000021b1: MSTORE 000021b2: POP 000021b3: DUP2 000021b4: ADD 000021b5: SWAP1 000021b6: PUSH2 0x164f 000021b9: SWAP2 000021ba: SWAP1 000021bb: PUSH2 0x2932 000021be: JUMP 000021bf: JUMPDEST 000021c0: PUSH1 0x00 000021c2: PUSH2 0x2214 000021c5: DUP3 000021c6: PUSH1 0x40 000021c8: MLOAD 000021c9: DUP1 000021ca: PUSH1 0x40 000021cc: ADD 000021cd: PUSH1 0x40 000021cf: MSTORE 000021d0: DUP1 000021d1: PUSH1 0x20 000021d3: DUP2 000021d4: MSTORE 000021d5: PUSH1 0x20 000021d7: ADD 000021d8: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 000021f9: DUP2 000021fa: MSTORE 000021fb: POP 000021fc: DUP6 000021fd: PUSH1 0x01 000021ff: PUSH1 0x01 00002201: PUSH1 0xa0 00002203: SHL 00002204: SUB 00002205: AND 00002206: PUSH2 0x2291 00002209: SWAP1 0000220a: SWAP3 0000220b: SWAP2 0000220c: SWAP1 0000220d: PUSH4 0xffffffff 00002212: AND 00002213: JUMP 00002214: JUMPDEST 00002215: DUP1 00002216: MLOAD 00002217: SWAP1 00002218: SWAP2 00002219: POP 0000221a: ISZERO 0000221b: PUSH2 0x1ca9 0000221e: JUMPI 0000221f: DUP1 00002220: DUP1 00002221: PUSH1 0x20 00002223: ADD 00002224: SWAP1 00002225: MLOAD 00002226: DUP2 00002227: ADD 00002228: SWAP1 00002229: PUSH2 0x2232 0000222c: SWAP2 0000222d: SWAP1 0000222e: PUSH2 0x294b 00002231: JUMP 00002232: JUMPDEST 00002233: PUSH2 0x1ca9 00002236: JUMPI 00002237: PUSH1 0x40 00002239: MLOAD 0000223a: PUSH3 0x461bcd 0000223e: PUSH1 0xe5 00002240: SHL 00002241: DUP2 00002242: MSTORE 00002243: PUSH1 0x20 00002245: PUSH1 0x04 00002247: DUP3 00002248: ADD 00002249: MSTORE 0000224a: PUSH1 0x2a 0000224c: PUSH1 0x24 0000224e: DUP3 0000224f: ADD 00002250: MSTORE 00002251: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 00002272: PUSH1 0x44 00002274: DUP3 00002275: ADD 00002276: MSTORE 00002277: PUSH10 0x1bdd081cdd58d8d95959 00002282: PUSH1 0xb2 00002284: SHL 00002285: PUSH1 0x64 00002287: DUP3 00002288: ADD 00002289: MSTORE 0000228a: PUSH1 0x84 0000228c: ADD 0000228d: PUSH2 0x02dc 00002290: JUMP 00002291: JUMPDEST 00002292: PUSH1 0x60 00002294: PUSH2 0x22a0 00002297: DUP5 00002298: DUP5 00002299: PUSH1 0x00 0000229b: DUP6 0000229c: PUSH2 0x22a8 0000229f: JUMP 000022a0: JUMPDEST 000022a1: SWAP5 000022a2: SWAP4 000022a3: POP 000022a4: POP 000022a5: POP 000022a6: POP 000022a7: JUMP 000022a8: JUMPDEST 000022a9: PUSH1 0x60 000022ab: DUP3 000022ac: SELFBALANCE 000022ad: LT 000022ae: ISZERO 000022af: PUSH2 0x2309 000022b2: JUMPI 000022b3: PUSH1 0x40 000022b5: MLOAD 000022b6: PUSH3 0x461bcd 000022ba: PUSH1 0xe5 000022bc: SHL 000022bd: DUP2 000022be: MSTORE 000022bf: PUSH1 0x20 000022c1: PUSH1 0x04 000022c3: DUP3 000022c4: ADD 000022c5: MSTORE 000022c6: PUSH1 0x26 000022c8: PUSH1 0x24 000022ca: DUP3 000022cb: ADD 000022cc: MSTORE 000022cd: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f 000022ee: PUSH1 0x44 000022f0: DUP3 000022f1: ADD 000022f2: MSTORE 000022f3: PUSH6 0x1c8818d85b1b 000022fa: PUSH1 0xd2 000022fc: SHL 000022fd: PUSH1 0x64 000022ff: DUP3 00002300: ADD 00002301: MSTORE 00002302: PUSH1 0x84 00002304: ADD 00002305: PUSH2 0x02dc 00002308: JUMP 00002309: JUMPDEST 0000230a: DUP5 0000230b: EXTCODESIZE 0000230c: PUSH2 0x2357 0000230f: JUMPI 00002310: PUSH1 0x40 00002312: MLOAD 00002313: PUSH3 0x461bcd 00002317: PUSH1 0xe5 00002319: SHL 0000231a: DUP2 0000231b: MSTORE 0000231c: PUSH1 0x20 0000231e: PUSH1 0x04 00002320: DUP3 00002321: ADD 00002322: MSTORE 00002323: PUSH1 0x1d 00002325: PUSH1 0x24 00002327: DUP3 00002328: ADD 00002329: MSTORE 0000232a: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 0000234b: PUSH1 0x44 0000234d: DUP3 0000234e: ADD 0000234f: MSTORE 00002350: PUSH1 0x64 00002352: ADD 00002353: PUSH2 0x02dc 00002356: JUMP 00002357: JUMPDEST 00002358: PUSH1 0x00 0000235a: DUP1 0000235b: DUP7 0000235c: PUSH1 0x01 0000235e: PUSH1 0x01 00002360: PUSH1 0xa0 00002362: SHL 00002363: SUB 00002364: AND 00002365: DUP6 00002366: DUP8 00002367: PUSH1 0x40 00002369: MLOAD 0000236a: PUSH2 0x2373 0000236d: SWAP2 0000236e: SWAP1 0000236f: PUSH2 0x299d 00002372: JUMP 00002373: JUMPDEST 00002374: PUSH1 0x00 00002376: PUSH1 0x40 00002378: MLOAD 00002379: DUP1 0000237a: DUP4 0000237b: SUB 0000237c: DUP2 0000237d: DUP6 0000237e: DUP8 0000237f: GAS 00002380: CALL 00002381: SWAP3 00002382: POP 00002383: POP 00002384: POP 00002385: RETURNDATASIZE 00002386: DUP1 00002387: PUSH1 0x00 00002389: DUP2 0000238a: EQ 0000238b: PUSH2 0x23b0 0000238e: JUMPI 0000238f: PUSH1 0x40 00002391: MLOAD 00002392: SWAP2 00002393: POP 00002394: PUSH1 0x1f 00002396: NOT 00002397: PUSH1 0x3f 00002399: RETURNDATASIZE 0000239a: ADD 0000239b: AND 0000239c: DUP3 0000239d: ADD 0000239e: PUSH1 0x40 000023a0: MSTORE 000023a1: RETURNDATASIZE 000023a2: DUP3 000023a3: MSTORE 000023a4: RETURNDATASIZE 000023a5: PUSH1 0x00 000023a7: PUSH1 0x20 000023a9: DUP5 000023aa: ADD 000023ab: RETURNDATACOPY 000023ac: PUSH2 0x23b5 000023af: JUMP 000023b0: JUMPDEST 000023b1: PUSH1 0x60 000023b3: SWAP2 000023b4: POP 000023b5: JUMPDEST 000023b6: POP 000023b7: SWAP2 000023b8: POP 000023b9: SWAP2 000023ba: POP 000023bb: PUSH2 0x23c5 000023be: DUP3 000023bf: DUP3 000023c0: DUP7 000023c1: PUSH2 0x23d0 000023c4: JUMP 000023c5: JUMPDEST 000023c6: SWAP8 000023c7: SWAP7 000023c8: POP 000023c9: POP 000023ca: POP 000023cb: POP 000023cc: POP 000023cd: POP 000023ce: POP 000023cf: JUMP 000023d0: JUMPDEST 000023d1: PUSH1 0x60 000023d3: DUP4 000023d4: ISZERO 000023d5: PUSH2 0x23df 000023d8: JUMPI 000023d9: POP 000023da: DUP2 000023db: PUSH2 0x1d4c 000023de: JUMP 000023df: JUMPDEST 000023e0: DUP3 000023e1: MLOAD 000023e2: ISZERO 000023e3: PUSH2 0x23ef 000023e6: JUMPI 000023e7: DUP3 000023e8: MLOAD 000023e9: DUP1 000023ea: DUP5 000023eb: PUSH1 0x20 000023ed: ADD 000023ee: REVERT 000023ef: JUMPDEST 000023f0: DUP2 000023f1: PUSH1 0x40 000023f3: MLOAD 000023f4: PUSH3 0x461bcd 000023f8: PUSH1 0xe5 000023fa: SHL 000023fb: DUP2 000023fc: MSTORE 000023fd: PUSH1 0x04 000023ff: ADD 00002400: PUSH2 0x02dc 00002403: SWAP2 00002404: SWAP1 00002405: PUSH2 0x29b9 00002408: JUMP 00002409: JUMPDEST 0000240a: PUSH4 0x4e487b71 0000240f: PUSH1 0xe0 00002411: SHL 00002412: PUSH1 0x00 00002414: MSTORE 00002415: PUSH1 0x41 00002417: PUSH1 0x04 00002419: MSTORE 0000241a: PUSH1 0x24 0000241c: PUSH1 0x00 0000241e: REVERT 0000241f: JUMPDEST 00002420: PUSH1 0x00 00002422: DUP1 00002423: PUSH1 0x40 00002425: DUP4 00002426: DUP6 00002427: SUB 00002428: SLT 00002429: ISZERO 0000242a: PUSH2 0x2432 0000242d: JUMPI 0000242e: PUSH1 0x00 00002430: DUP1 00002431: REVERT 00002432: JUMPDEST 00002433: DUP3 00002434: CALLDATALOAD 00002435: SWAP2 00002436: POP 00002437: PUSH1 0x20 00002439: DUP1 0000243a: DUP5 0000243b: ADD 0000243c: CALLDATALOAD 0000243d: PUSH8 0xffffffffffffffff 00002446: DUP1 00002447: DUP3 00002448: GT 00002449: ISZERO 0000244a: PUSH2 0x2452 0000244d: JUMPI 0000244e: PUSH1 0x00 00002450: DUP1 00002451: REVERT 00002452: JUMPDEST 00002453: DUP2 00002454: DUP7 00002455: ADD 00002456: SWAP2 00002457: POP 00002458: DUP7 00002459: PUSH1 0x1f 0000245b: DUP4 0000245c: ADD 0000245d: SLT 0000245e: PUSH2 0x2466 00002461: JUMPI 00002462: PUSH1 0x00 00002464: DUP1 00002465: REVERT 00002466: JUMPDEST 00002467: DUP2 00002468: CALLDATALOAD 00002469: DUP2 0000246a: DUP2 0000246b: GT 0000246c: ISZERO 0000246d: PUSH2 0x2478 00002470: JUMPI 00002471: PUSH2 0x2478 00002474: PUSH2 0x2409 00002477: JUMP 00002478: JUMPDEST 00002479: DUP1 0000247a: PUSH1 0x05 0000247c: SHL 0000247d: PUSH1 0x40 0000247f: MLOAD 00002480: PUSH1 0x1f 00002482: NOT 00002483: PUSH1 0x3f 00002485: DUP4 00002486: ADD 00002487: AND 00002488: DUP2 00002489: ADD 0000248a: DUP2 0000248b: DUP2 0000248c: LT 0000248d: DUP6 0000248e: DUP3 0000248f: GT 00002490: OR 00002491: ISZERO 00002492: PUSH2 0x249d 00002495: JUMPI 00002496: PUSH2 0x249d 00002499: PUSH2 0x2409 0000249c: JUMP 0000249d: JUMPDEST 0000249e: PUSH1 0x40 000024a0: MSTORE 000024a1: SWAP2 000024a2: DUP3 000024a3: MSTORE 000024a4: DUP5 000024a5: DUP3 000024a6: ADD 000024a7: SWAP3 000024a8: POP 000024a9: DUP4 000024aa: DUP2 000024ab: ADD 000024ac: DUP6 000024ad: ADD 000024ae: SWAP2 000024af: DUP10 000024b0: DUP4 000024b1: GT 000024b2: ISZERO 000024b3: PUSH2 0x24bb 000024b6: JUMPI 000024b7: PUSH1 0x00 000024b9: DUP1 000024ba: REVERT 000024bb: JUMPDEST 000024bc: SWAP4 000024bd: DUP6 000024be: ADD 000024bf: SWAP4 000024c0: JUMPDEST 000024c1: DUP3 000024c2: DUP6 000024c3: LT 000024c4: ISZERO 000024c5: PUSH2 0x24d9 000024c8: JUMPI 000024c9: DUP5 000024ca: CALLDATALOAD 000024cb: DUP5 000024cc: MSTORE 000024cd: SWAP4 000024ce: DUP6 000024cf: ADD 000024d0: SWAP4 000024d1: SWAP3 000024d2: DUP6 000024d3: ADD 000024d4: SWAP3 000024d5: PUSH2 0x24c0 000024d8: JUMP 000024d9: JUMPDEST 000024da: DUP1 000024db: SWAP7 000024dc: POP 000024dd: POP 000024de: POP 000024df: POP 000024e0: POP 000024e1: POP 000024e2: POP 000024e3: SWAP3 000024e4: POP 000024e5: SWAP3 000024e6: SWAP1 000024e7: POP 000024e8: JUMP 000024e9: JUMPDEST 000024ea: PUSH1 0x00 000024ec: DUP1 000024ed: PUSH1 0x00 000024ef: PUSH1 0x40 000024f1: DUP5 000024f2: DUP7 000024f3: SUB 000024f4: SLT 000024f5: ISZERO 000024f6: PUSH2 0x24fe 000024f9: JUMPI 000024fa: PUSH1 0x00 000024fc: DUP1 000024fd: REVERT 000024fe: JUMPDEST 000024ff: DUP4 00002500: CALLDATALOAD 00002501: SWAP3 00002502: POP 00002503: PUSH1 0x20 00002505: DUP5 00002506: ADD 00002507: CALLDATALOAD 00002508: PUSH8 0xffffffffffffffff 00002511: DUP1 00002512: DUP3 00002513: GT 00002514: ISZERO 00002515: PUSH2 0x251d 00002518: JUMPI 00002519: PUSH1 0x00 0000251b: DUP1 0000251c: REVERT 0000251d: JUMPDEST 0000251e: DUP2 0000251f: DUP7 00002520: ADD 00002521: SWAP2 00002522: POP 00002523: DUP7 00002524: PUSH1 0x1f 00002526: DUP4 00002527: ADD 00002528: SLT 00002529: PUSH2 0x2531 0000252c: JUMPI 0000252d: PUSH1 0x00 0000252f: DUP1 00002530: REVERT 00002531: JUMPDEST 00002532: DUP2 00002533: CALLDATALOAD 00002534: DUP2 00002535: DUP2 00002536: GT 00002537: ISZERO 00002538: PUSH2 0x2540 0000253b: JUMPI 0000253c: PUSH1 0x00 0000253e: DUP1 0000253f: REVERT 00002540: JUMPDEST 00002541: DUP8 00002542: PUSH1 0x20 00002544: DUP3 00002545: PUSH1 0x05 00002547: SHL 00002548: DUP6 00002549: ADD 0000254a: ADD 0000254b: GT 0000254c: ISZERO 0000254d: PUSH2 0x2555 00002550: JUMPI 00002551: PUSH1 0x00 00002553: DUP1 00002554: REVERT 00002555: JUMPDEST 00002556: PUSH1 0x20 00002558: DUP4 00002559: ADD 0000255a: SWAP5 0000255b: POP 0000255c: DUP1 0000255d: SWAP4 0000255e: POP 0000255f: POP 00002560: POP 00002561: POP 00002562: SWAP3 00002563: POP 00002564: SWAP3 00002565: POP 00002566: SWAP3 00002567: JUMP 00002568: JUMPDEST 00002569: PUSH1 0x01 0000256b: PUSH1 0x01 0000256d: PUSH1 0xa0 0000256f: SHL 00002570: SUB 00002571: DUP2 00002572: AND 00002573: DUP2 00002574: EQ 00002575: PUSH2 0x1826 00002578: JUMPI 00002579: PUSH1 0x00 0000257b: DUP1 0000257c: REVERT 0000257d: JUMPDEST 0000257e: PUSH1 0x00 00002580: PUSH1 0x20 00002582: DUP3 00002583: DUP5 00002584: SUB 00002585: SLT 00002586: ISZERO 00002587: PUSH2 0x258f 0000258a: JUMPI 0000258b: PUSH1 0x00 0000258d: DUP1 0000258e: REVERT 0000258f: JUMPDEST 00002590: DUP2 00002591: CALLDATALOAD 00002592: PUSH2 0x1d4c 00002595: DUP2 00002596: PUSH2 0x2568 00002599: JUMP 0000259a: JUMPDEST 0000259b: PUSH1 0x00 0000259d: DUP1 0000259e: PUSH1 0x00 000025a0: PUSH1 0x60 000025a2: DUP5 000025a3: DUP7 000025a4: SUB 000025a5: SLT 000025a6: ISZERO 000025a7: PUSH2 0x25af 000025aa: JUMPI 000025ab: PUSH1 0x00 000025ad: DUP1 000025ae: REVERT 000025af: JUMPDEST 000025b0: POP 000025b1: POP 000025b2: DUP2 000025b3: CALLDATALOAD 000025b4: SWAP4 000025b5: PUSH1 0x20 000025b7: DUP4 000025b8: ADD 000025b9: CALLDATALOAD 000025ba: SWAP4 000025bb: POP 000025bc: PUSH1 0x40 000025be: SWAP1 000025bf: SWAP3 000025c0: ADD 000025c1: CALLDATALOAD 000025c2: SWAP2 000025c3: SWAP1 000025c4: POP 000025c5: JUMP 000025c6: JUMPDEST 000025c7: PUSH1 0x00 000025c9: PUSH1 0x20 000025cb: DUP3 000025cc: DUP5 000025cd: SUB 000025ce: SLT 000025cf: ISZERO 000025d0: PUSH2 0x25d8 000025d3: JUMPI 000025d4: PUSH1 0x00 000025d6: DUP1 000025d7: REVERT 000025d8: JUMPDEST 000025d9: DUP2 000025da: CALLDATALOAD 000025db: PUSH4 0xffffffff 000025e0: DUP2 000025e1: AND 000025e2: DUP2 000025e3: EQ 000025e4: PUSH2 0x1d4c 000025e7: JUMPI 000025e8: PUSH1 0x00 000025ea: DUP1 000025eb: REVERT 000025ec: JUMPDEST 000025ed: PUSH1 0x00 000025ef: PUSH1 0x20 000025f1: DUP3 000025f2: DUP5 000025f3: SUB 000025f4: SLT 000025f5: ISZERO 000025f6: PUSH2 0x25fe 000025f9: JUMPI 000025fa: PUSH1 0x00 000025fc: DUP1 000025fd: REVERT 000025fe: JUMPDEST 000025ff: POP 00002600: CALLDATALOAD 00002601: SWAP2 00002602: SWAP1 00002603: POP 00002604: JUMP 00002605: JUMPDEST 00002606: PUSH1 0x00 00002608: DUP1 00002609: PUSH1 0x40 0000260b: DUP4 0000260c: DUP6 0000260d: SUB 0000260e: SLT 0000260f: ISZERO 00002610: PUSH2 0x2618 00002613: JUMPI 00002614: PUSH1 0x00 00002616: DUP1 00002617: REVERT 00002618: JUMPDEST 00002619: DUP3 0000261a: CALLDATALOAD 0000261b: PUSH2 0x2623 0000261e: DUP2 0000261f: PUSH2 0x2568 00002622: JUMP 00002623: JUMPDEST 00002624: SWAP5 00002625: PUSH1 0x20 00002627: SWAP4 00002628: SWAP1 00002629: SWAP4 0000262a: ADD 0000262b: CALLDATALOAD 0000262c: SWAP4 0000262d: POP 0000262e: POP 0000262f: POP 00002630: JUMP 00002631: JUMPDEST 00002632: PUSH1 0x00 00002634: PUSH1 0x20 00002636: DUP3 00002637: DUP5 00002638: SUB 00002639: SLT 0000263a: ISZERO 0000263b: PUSH2 0x2643 0000263e: JUMPI 0000263f: PUSH1 0x00 00002641: DUP1 00002642: REVERT 00002643: JUMPDEST 00002644: DUP2 00002645: CALLDATALOAD 00002646: PUSH8 0xffffffffffffffff 0000264f: DUP2 00002650: AND 00002651: DUP2 00002652: EQ 00002653: PUSH2 0x1d4c 00002656: JUMPI 00002657: PUSH1 0x00 00002659: DUP1 0000265a: REVERT 0000265b: JUMPDEST 0000265c: PUSH1 0x00 0000265e: PUSH1 0x20 00002660: DUP3 00002661: DUP5 00002662: SUB 00002663: SLT 00002664: ISZERO 00002665: PUSH2 0x266d 00002668: JUMPI 00002669: PUSH1 0x00 0000266b: DUP1 0000266c: REVERT 0000266d: JUMPDEST 0000266e: DUP2 0000266f: CALLDATALOAD 00002670: PUSH2 0xffff 00002673: DUP2 00002674: AND 00002675: DUP2 00002676: EQ 00002677: PUSH2 0x1d4c 0000267a: JUMPI 0000267b: PUSH1 0x00 0000267d: DUP1 0000267e: REVERT 0000267f: JUMPDEST 00002680: PUSH1 0x00 00002682: DUP1 00002683: PUSH1 0x40 00002685: DUP4 00002686: DUP6 00002687: SUB 00002688: SLT 00002689: ISZERO 0000268a: PUSH2 0x2692 0000268d: JUMPI 0000268e: PUSH1 0x00 00002690: DUP1 00002691: REVERT 00002692: JUMPDEST 00002693: DUP3 00002694: CALLDATALOAD 00002695: SWAP2 00002696: POP 00002697: PUSH1 0x20 00002699: DUP4 0000269a: ADD 0000269b: CALLDATALOAD 0000269c: PUSH2 0x26a4 0000269f: DUP2 000026a0: PUSH2 0x2568 000026a3: JUMP 000026a4: JUMPDEST 000026a5: DUP1 000026a6: SWAP2 000026a7: POP 000026a8: POP 000026a9: SWAP3 000026aa: POP 000026ab: SWAP3 000026ac: SWAP1 000026ad: POP 000026ae: JUMP 000026af: JUMPDEST 000026b0: PUSH1 0x20 000026b2: DUP1 000026b3: DUP3 000026b4: MSTORE 000026b5: PUSH1 0x10 000026b7: SWAP1 000026b8: DUP3 000026b9: ADD 000026ba: MSTORE 000026bb: PUSH16 0x14185d5cd8589b194e881c185d5cd959 000026cc: PUSH1 0x82 000026ce: SHL 000026cf: PUSH1 0x40 000026d1: DUP3 000026d2: ADD 000026d3: MSTORE 000026d4: PUSH1 0x60 000026d6: ADD 000026d7: SWAP1 000026d8: JUMP 000026d9: JUMPDEST 000026da: PUSH1 0x20 000026dc: DUP1 000026dd: DUP3 000026de: MSTORE 000026df: PUSH1 0x1a 000026e1: SWAP1 000026e2: DUP3 000026e3: ADD 000026e4: MSTORE 000026e5: PUSH32 0x41756374696f6e206861736e2774207374617274656420796574000000000000 00002706: PUSH1 0x40 00002708: DUP3 00002709: ADD 0000270a: MSTORE 0000270b: PUSH1 0x60 0000270d: ADD 0000270e: SWAP1 0000270f: JUMP 00002710: JUMPDEST 00002711: PUSH4 0x4e487b71 00002716: PUSH1 0xe0 00002718: SHL 00002719: PUSH1 0x00 0000271b: MSTORE 0000271c: PUSH1 0x11 0000271e: PUSH1 0x04 00002720: MSTORE 00002721: PUSH1 0x24 00002723: PUSH1 0x00 00002725: REVERT 00002726: JUMPDEST 00002727: PUSH1 0x00 00002729: PUSH1 0x01 0000272b: PUSH1 0x01 0000272d: PUSH1 0x80 0000272f: SHL 00002730: SUB 00002731: DUP1 00002732: DUP4 00002733: AND 00002734: DUP2 00002735: DUP6 00002736: AND 00002737: DUP2 00002738: DUP4 00002739: DIV 0000273a: DUP2 0000273b: GT 0000273c: DUP3 0000273d: ISZERO 0000273e: ISZERO 0000273f: AND 00002740: ISZERO 00002741: PUSH2 0x274c 00002744: JUMPI 00002745: PUSH2 0x274c 00002748: PUSH2 0x2710 0000274b: JUMP 0000274c: JUMPDEST 0000274d: MUL 0000274e: SWAP5 0000274f: SWAP4 00002750: POP 00002751: POP 00002752: POP 00002753: POP 00002754: JUMP 00002755: JUMPDEST 00002756: PUSH1 0x00 00002758: DUP3 00002759: NOT 0000275a: DUP3 0000275b: GT 0000275c: ISZERO 0000275d: PUSH2 0x2768 00002760: JUMPI 00002761: PUSH2 0x2768 00002764: PUSH2 0x2710 00002767: JUMP 00002768: JUMPDEST 00002769: POP 0000276a: ADD 0000276b: SWAP1 0000276c: JUMP 0000276d: JUMPDEST 0000276e: PUSH1 0x00 00002770: PUSH1 0x01 00002772: DUP3 00002773: ADD 00002774: PUSH2 0x277f 00002777: JUMPI 00002778: PUSH2 0x277f 0000277b: PUSH2 0x2710 0000277e: JUMP 0000277f: JUMPDEST 00002780: POP 00002781: PUSH1 0x01 00002783: ADD 00002784: SWAP1 00002785: JUMP 00002786: JUMPDEST 00002787: PUSH1 0x20 00002789: DUP1 0000278a: DUP3 0000278b: MSTORE 0000278c: DUP2 0000278d: DUP2 0000278e: ADD 0000278f: MSTORE 00002790: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 000027b1: PUSH1 0x40 000027b3: DUP3 000027b4: ADD 000027b5: MSTORE 000027b6: PUSH1 0x60 000027b8: ADD 000027b9: SWAP1 000027ba: JUMP 000027bb: JUMPDEST 000027bc: PUSH1 0x20 000027be: DUP1 000027bf: DUP3 000027c0: MSTORE 000027c1: PUSH1 0x19 000027c3: SWAP1 000027c4: DUP3 000027c5: ADD 000027c6: MSTORE 000027c7: PUSH32 0x41756374696f6e2068617320616c726561647920656e64656400000000000000 000027e8: PUSH1 0x40 000027ea: DUP3 000027eb: ADD 000027ec: MSTORE 000027ed: PUSH1 0x60 000027ef: ADD 000027f0: SWAP1 000027f1: JUMP 000027f2: JUMPDEST 000027f3: PUSH1 0x00 000027f5: DUP2 000027f6: PUSH1 0x00 000027f8: NOT 000027f9: DIV 000027fa: DUP4 000027fb: GT 000027fc: DUP3 000027fd: ISZERO 000027fe: ISZERO 000027ff: AND 00002800: ISZERO 00002801: PUSH2 0x280c 00002804: JUMPI 00002805: PUSH2 0x280c 00002808: PUSH2 0x2710 0000280b: JUMP 0000280c: JUMPDEST 0000280d: POP 0000280e: MUL 0000280f: SWAP1 00002810: JUMP 00002811: JUMPDEST 00002812: PUSH1 0x00 00002814: DUP3 00002815: PUSH2 0x282e 00002818: JUMPI 00002819: PUSH4 0x4e487b71 0000281e: PUSH1 0xe0 00002820: SHL 00002821: PUSH1 0x00 00002823: MSTORE 00002824: PUSH1 0x12 00002826: PUSH1 0x04 00002828: MSTORE 00002829: PUSH1 0x24 0000282b: PUSH1 0x00 0000282d: REVERT 0000282e: JUMPDEST 0000282f: POP 00002830: MOD 00002831: SWAP1 00002832: JUMP 00002833: JUMPDEST 00002834: PUSH4 0x4e487b71 00002839: PUSH1 0xe0 0000283b: SHL 0000283c: PUSH1 0x00 0000283e: MSTORE 0000283f: PUSH1 0x32 00002841: PUSH1 0x04 00002843: MSTORE 00002844: PUSH1 0x24 00002846: PUSH1 0x00 00002848: REVERT 00002849: JUMPDEST 0000284a: PUSH1 0x80 0000284c: DUP2 0000284d: MSTORE 0000284e: PUSH1 0x00 00002850: PUSH2 0x286d 00002853: PUSH1 0x80 00002855: DUP4 00002856: ADD 00002857: PUSH1 0x04 00002859: DUP2 0000285a: MSTORE 0000285b: PUSH4 0x54696d65 00002860: PUSH1 0xe0 00002862: SHL 00002863: PUSH1 0x20 00002865: DUP3 00002866: ADD 00002867: MSTORE 00002868: PUSH1 0x40 0000286a: ADD 0000286b: SWAP1 0000286c: JUMP 0000286d: JUMPDEST 0000286e: DUP5 0000286f: PUSH1 0x20 00002871: DUP5 00002872: ADD 00002873: MSTORE 00002874: DUP4 00002875: PUSH1 0x40 00002877: DUP5 00002878: ADD 00002879: MSTORE 0000287a: DUP3 0000287b: DUP2 0000287c: SUB 0000287d: PUSH1 0x60 0000287f: DUP5 00002880: ADD 00002881: MSTORE 00002882: PUSH1 0x16 00002884: DUP2 00002885: MSTORE 00002886: PUSH22 0x52616e646f6d20456e643a20656e64696e67206e6f77 0000289d: PUSH1 0x50 0000289f: SHL 000028a0: PUSH1 0x20 000028a2: DUP3 000028a3: ADD 000028a4: MSTORE 000028a5: PUSH1 0x40 000028a7: DUP2 000028a8: ADD 000028a9: SWAP2 000028aa: POP 000028ab: POP 000028ac: SWAP4 000028ad: SWAP3 000028ae: POP 000028af: POP 000028b0: POP 000028b1: JUMP 000028b2: JUMPDEST 000028b3: PUSH1 0x80 000028b5: DUP2 000028b6: MSTORE 000028b7: PUSH1 0x00 000028b9: PUSH2 0x28d6 000028bc: PUSH1 0x80 000028be: DUP4 000028bf: ADD 000028c0: PUSH1 0x04 000028c2: DUP2 000028c3: MSTORE 000028c4: PUSH4 0x54696d65 000028c9: PUSH1 0xe0 000028cb: SHL 000028cc: PUSH1 0x20 000028ce: DUP3 000028cf: ADD 000028d0: MSTORE 000028d1: PUSH1 0x40 000028d3: ADD 000028d4: SWAP1 000028d5: JUMP 000028d6: JUMPDEST 000028d7: DUP5 000028d8: PUSH1 0x20 000028da: DUP5 000028db: ADD 000028dc: MSTORE 000028dd: DUP4 000028de: PUSH1 0x40 000028e0: DUP5 000028e1: ADD 000028e2: MSTORE 000028e3: DUP3 000028e4: DUP2 000028e5: SUB 000028e6: PUSH1 0x60 000028e8: DUP5 000028e9: ADD 000028ea: MSTORE 000028eb: PUSH1 0x16 000028ed: DUP2 000028ee: MSTORE 000028ef: PUSH22 0x52616e646f6d20456e643a20636f6e74696e75696e67 00002906: PUSH1 0x50 00002908: SHL 00002909: PUSH1 0x20 0000290b: DUP3 0000290c: ADD 0000290d: MSTORE 0000290e: PUSH1 0x40 00002910: DUP2 00002911: ADD 00002912: SWAP2 00002913: POP 00002914: POP 00002915: SWAP4 00002916: SWAP3 00002917: POP 00002918: POP 00002919: POP 0000291a: JUMP 0000291b: JUMPDEST 0000291c: PUSH1 0x00 0000291e: DUP3 0000291f: DUP3 00002920: LT 00002921: ISZERO 00002922: PUSH2 0x292d 00002925: JUMPI 00002926: PUSH2 0x292d 00002929: PUSH2 0x2710 0000292c: JUMP 0000292d: JUMPDEST 0000292e: POP 0000292f: SUB 00002930: SWAP1 00002931: JUMP 00002932: JUMPDEST 00002933: PUSH1 0x00 00002935: PUSH1 0x20 00002937: DUP3 00002938: DUP5 00002939: SUB 0000293a: SLT 0000293b: ISZERO 0000293c: PUSH2 0x2944 0000293f: JUMPI 00002940: PUSH1 0x00 00002942: DUP1 00002943: REVERT 00002944: JUMPDEST 00002945: POP 00002946: MLOAD 00002947: SWAP2 00002948: SWAP1 00002949: POP 0000294a: JUMP 0000294b: JUMPDEST 0000294c: PUSH1 0x00 0000294e: PUSH1 0x20 00002950: DUP3 00002951: DUP5 00002952: SUB 00002953: SLT 00002954: ISZERO 00002955: PUSH2 0x295d 00002958: JUMPI 00002959: PUSH1 0x00 0000295b: DUP1 0000295c: REVERT 0000295d: JUMPDEST 0000295e: DUP2 0000295f: MLOAD 00002960: DUP1 00002961: ISZERO 00002962: ISZERO 00002963: DUP2 00002964: EQ 00002965: PUSH2 0x1d4c 00002968: JUMPI 00002969: PUSH1 0x00 0000296b: DUP1 0000296c: REVERT 0000296d: JUMPDEST 0000296e: PUSH1 0x00 00002970: JUMPDEST 00002971: DUP4 00002972: DUP2 00002973: LT 00002974: ISZERO 00002975: PUSH2 0x2988 00002978: JUMPI 00002979: DUP2 0000297a: DUP2 0000297b: ADD 0000297c: MLOAD 0000297d: DUP4 0000297e: DUP3 0000297f: ADD 00002980: MSTORE 00002981: PUSH1 0x20 00002983: ADD 00002984: PUSH2 0x2970 00002987: JUMP 00002988: JUMPDEST 00002989: DUP4 0000298a: DUP2 0000298b: GT 0000298c: ISZERO 0000298d: PUSH2 0x2997 00002990: JUMPI 00002991: PUSH1 0x00 00002993: DUP5 00002994: DUP5 00002995: ADD 00002996: MSTORE 00002997: JUMPDEST 00002998: POP 00002999: POP 0000299a: POP 0000299b: POP 0000299c: JUMP 0000299d: JUMPDEST 0000299e: PUSH1 0x00 000029a0: DUP3 000029a1: MLOAD 000029a2: PUSH2 0x29af 000029a5: DUP2 000029a6: DUP5 000029a7: PUSH1 0x20 000029a9: DUP8 000029aa: ADD 000029ab: PUSH2 0x296d 000029ae: JUMP 000029af: JUMPDEST 000029b0: SWAP2 000029b1: SWAP1 000029b2: SWAP2 000029b3: ADD 000029b4: SWAP3 000029b5: SWAP2 000029b6: POP 000029b7: POP 000029b8: JUMP 000029b9: JUMPDEST 000029ba: PUSH1 0x20 000029bc: DUP2 000029bd: MSTORE 000029be: PUSH1 0x00 000029c0: DUP3 000029c1: MLOAD 000029c2: DUP1 000029c3: PUSH1 0x20 000029c5: DUP5 000029c6: ADD 000029c7: MSTORE 000029c8: PUSH2 0x29d8 000029cb: DUP2 000029cc: PUSH1 0x40 000029ce: DUP6 000029cf: ADD 000029d0: PUSH1 0x20 000029d2: DUP8 000029d3: ADD 000029d4: PUSH2 0x296d 000029d7: JUMP 000029d8: JUMPDEST 000029d9: PUSH1 0x1f 000029db: ADD 000029dc: PUSH1 0x1f 000029de: NOT 000029df: AND 000029e0: SWAP2 000029e1: SWAP1 000029e2: SWAP2 000029e3: ADD 000029e4: PUSH1 0x40 000029e6: ADD 000029e7: SWAP3 000029e8: SWAP2 000029e9: POP 000029ea: POP 000029eb: JUMP 000029ec: INVALID 000029ed: LOG2 000029ee: PUSH5 0x6970667358 000029f4: UNKNOWN(0x22) 000029f5: SLT 000029f6: KECCAK256 000029f7: UNKNOWN(0xBC) 000029f8: UNKNOWN(0xD9) 000029f9: JUMPI 000029fa: TIMESTAMP 000029fb: RETURNDATACOPY 000029fc: CALLDATASIZE 000029fd: CHAINID 000029fe: UNKNOWN(0x29) 000029ff: STATICCALL 00002a00: UNKNOWN(0x4F) 00002a01: UNKNOWN(0xB7) 00002a02: LOG4 00002a03: UNKNOWN(0xDD) 00002a04: SMOD 00002a05: UNKNOWN(0xD4) 00002a06: UNKNOWN(0x21) 00002a07: UNKNOWN(0x4E) 00002a08: UNKNOWN(0xD9) 00002a09: EXTCODESIZE 00002a0a: BLOBBASEFEE 00002a0b: TSTORE 00002a0c: UNKNOWN(0xC5) 00002a0d: UNKNOWN(0xDC) 00002a0e: UNKNOWN(0xB8) 00002a0f: UNKNOWN(0x0C) 00002a10: MSTORE8 00002a11: DELEGATECALL 00002a12: LOG4 00002a13: SWAP2 00002a14: PUSH7 0x98de64736f6c63 00002a1c: NUMBER 00002a1d: STOP 00002a1e: ADDMOD 00002a1f: UNKNOWN(0x0F) 00002a20: STOP 00002a21: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| critical | upgradeability | detector | Untrusted DELEGATECALL target reachable | 70 | no | no |
viewtrace_id: 0x28f125644268495f1168b42a95dea99d3e2b6f86884d9e22f996ef0af9065b6f
validation_json{
"sink": "DELEGATECALL",
"errors": 0,
"status": "unknown",
"attempts": 192,
"trace_id": "0x28f125644268495f1168b42a95dea99d3e2b6f86884d9e22f996ef0af9065b6f",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xeedcf574",
"selector": "0xeedcf574",
"calldata_variants": [
"0xeedcf574",
"0xeedcf5740000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf14210a6",
"selector": "0xf14210a6",
"calldata_variants": [
"0xf14210a6",
"0xf14210a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf624af15",
"selector": "0xf624af15",
"calldata_variants": [
"0xf624af15",
"0xf624af150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf9f486d7",
"selector": "0xf9f486d7",
"calldata_variants": [
"0xf9f486d7",
"0xf9f486d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfe67a54b",
"selector": "0xfe67a54b",
"calldata_variants": [
"0xfe67a54b",
"0xfe67a54b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe0549211",
"selector": "0xe0549211",
"calldata_variants": [
"0xe0549211",
"0xe05492110000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe283a8b8",
"selector": "0xe283a8b8",
"calldata_variants": [
"0xe283a8b8",
"0xe283a8b80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 10769,
"opcode": "DELEGATECALL",
"returndata_checked": null,
"value_expression_category": "n/a",
"target_expression_category": "computed"
}
],
"guards_detected": [],
"delegatecall_count": 1,
"untrusted_delegatecall_count": 1
}
|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x0e7a8cd25b1f8bf23266577c3da9737114c4083027bea4735069a745ceb01961
call_targets:
0x1ecb59aecf1fc5da695242c6e78c2007e775d40f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0e7a8cd25b1f8bf23266577c3da9737114c4083027bea4735069a745ceb01961",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1ecb59aecf1fc5da695242c6e78c2007e775d40f"
],
"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": "0xeedcf574",
"selector": "0xeedcf574",
"calldata_variants": [
"0xeedcf574",
"0xeedcf5740000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf14210a6",
"selector": "0xf14210a6",
"calldata_variants": [
"0xf14210a6",
"0xf14210a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf624af15",
"selector": "0xf624af15",
"calldata_variants": [
"0xf624af15",
"0xf624af150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf9f486d7",
"selector": "0xf9f486d7",
"calldata_variants": [
"0xf9f486d7",
"0xf9f486d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfe67a54b",
"selector": "0xfe67a54b",
"calldata_variants": [
"0xfe67a54b",
"0xfe67a54b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe0549211",
"selector": "0xe0549211",
"calldata_variants": [
"0xe0549211",
"0xe05492110000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe283a8b8",
"selector": "0xe283a8b8",
"calldata_variants": [
"0xe283a8b8",
"0xe283a8b80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3465,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6062,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6669,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 5,
"guards_detected": [],
"untrusted_call_count": 5
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0x0e7a8cd25b1f8bf23266577c3da9737114c4083027bea4735069a745ceb01961
call_targets:
0x1ecb59aecf1fc5da695242c6e78c2007e775d40f
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x0e7a8cd25b1f8bf23266577c3da9737114c4083027bea4735069a745ceb01961",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x1ecb59aecf1fc5da695242c6e78c2007e775d40f"
],
"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": "0xeedcf574",
"selector": "0xeedcf574",
"calldata_variants": [
"0xeedcf574",
"0xeedcf5740000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf14210a6",
"selector": "0xf14210a6",
"calldata_variants": [
"0xf14210a6",
"0xf14210a60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf624af15",
"selector": "0xf624af15",
"calldata_variants": [
"0xf624af15",
"0xf624af150000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf9f486d7",
"selector": "0xf9f486d7",
"calldata_variants": [
"0xf9f486d7",
"0xf9f486d70000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfe67a54b",
"selector": "0xfe67a54b",
"calldata_variants": [
"0xfe67a54b",
"0xfe67a54b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe0549211",
"selector": "0xe0549211",
"calldata_variants": [
"0xe0549211",
"0xe05492110000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe283a8b8",
"selector": "0xe283a8b8",
"calldata_variants": [
"0xe283a8b8",
"0xe283a8b80000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3465,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6062,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6669,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 5,
"guards_detected": []
}
|
| medium | upgradeability | cast | DELEGATECALL present | 80 | no | — |
viewevidence_json{
"notes": "delegatecall enables execution in caller context; common in proxies/upgradeable patterns",
"delegatecall_count": 1
}
|