43da9f81-474a-4973-bdc7-62143335fb7a
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 |
|---|---|---|---|---|
| 30972 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 94843 | artifact.fetch | failed | 1 / 3 | 1 week ago |
| 94844 | tool.cast_disasm | complete | 1 / 3 | 1 week ago |
| 94845 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 94846 | capability.graph | complete | 1 / 3 | 1 week ago |
| 94847 | detector.run | complete | 1 / 3 | 1 week ago |
| 94848 | validation.fork | complete | 1 / 3 | 1 week ago |
No slither job recorded yet.
[codex:1074968] OpenAI Codex v0.77.0 (research preview)
[codex:1074968] --------
[codex:1074968] workdir: /tmp/codex-multi-km9qpb65
[codex:1074968] model: gpt-5.2-codex
[codex:1074968] provider: openai
[codex:1074968] approval: never
[codex:1074968] sandbox: read-only
[codex:1074968] reasoning effort: xhigh
[codex:1074968] reasoning summaries: auto
[codex:1074968] session id: 019b76cd-bc42-7462-87bd-4afff407e48e
[codex:1074968] --------
[codex:1074968] user
[codex:1074968] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1074968]
[codex:1074968] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1074968]
[codex:1074968] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1074968] - Gas inefficiency, code quality, naming, or best practices
[codex:1074968] - Theoretical vulnerabilities without a clear extraction path
[codex:1074968] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1074968] - Front-running unless it enables theft beyond MEV
[codex:1074968] - DoS, griefing, or issues that don't result in attacker profit
[codex:1074968] - Missing events, view function issues, or informational findings
[codex:1074968]
[codex:1074968] HIGH-VALUE PATTERNS TO HUNT:
[codex:1074968] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1074968] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1074968] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1074968] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1074968] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1074968] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1074968] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1074968] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1074968] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1074968]
[codex:1074968] For each finding, you MUST provide:
[codex:1074968] 1. Exact file and line numbers of vulnerable code
[codex:1074968] 2. Step-by-step exploit transaction sequence
[codex:1074968] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1074968]
[codex:1074968] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1074968]
[codex:1074968] Output MUST be valid JSON matching the provided schema.
[codex:1074968] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1074968] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1074968] mcp startup: no servers
[codex:1074968]
[codex:1074968] thinking
[codex:1074968] **Preparing to read AUDIT_BUNDLE.txt**
[codex:1074968] exec
[codex:1074968] /bin/bash -lc ls in /tmp/codex-multi-km9qpb65 succeeded in 5ms:
[codex:1074968] AUDIT_BUNDLE.txt
[codex:1074968] codex-output-schema.json
[codex:1074968] contracts
[codex:1074968] exec
[codex:1074968] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-km9qpb65 succeeded in 5ms:
[codex:1074968] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1074968]
[codex:1074968] ================================================================================
[codex:1074968] FILE: contracts/var/www/html/boltfork/posley/AirPuff/contracts/LendingVaults/AirPuffLendingETH.sol
[codex:1074968] ================================================================================
[codex:1074968] // SPDX-License-Identifier: UNLICENSED
[codex:1074968] pragma solidity 0.8.21;
[codex:1074968]
[codex:1074968] import "@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol";
[codex:1074968] import "@openzeppelin/contracts/token/ERC20/extensions/ERC4626.sol";
[codex:1074968] import "@openzeppelin/contracts-upgradeable/token/ERC20/extensions/ERC4626Upgradeable.sol";
[codex:1074968] import "@openzeppelin/contracts-upgradeable/utils/math/MathUpgradeable.sol";
[codex:1074968]
[codex:1074968] interface IWETH {
[codex:1074968] function deposit() external payable;
[codex:1074968]
[codex:1074968] function withdraw(uint256) external;
[codex:1074968] }
[codex:1074968]
[codex:1074968] interface IChefIncentivesController {
[codex:1074968]
[codex:1074968] thinking
[codex:1074968] **Analyzing contract for vulnerabilities**
[codex:1074968]
[codex:1074968] I’m digging into the deposit and withdraw logic of the ERC4626Upgradeable contract, checking if ignoring certain parameters creates holes or if reentrancy or accounting bugs exist. I’m especially focused on how totalAsset is tracked versus actual WETH balance, reentrancy risks in withdrawETH, and whether any privileged functions can be exploited to profit without authorization. It’s tricky but I’m zeroing in on concrete exploit paths while considering trusted assumptions about external contracts.
[codex:1074968] exec
[codex:1074968] /bin/bash -lc 'rg --files' in /tmp/codex-multi-km9qpb65 succeeded in 9ms:
[codex:1074968] codex-output-schema.json
[codex:1074968] AUDIT_BUNDLE.txt
[codex:1074968] contracts/@openzeppelin/contracts-upgradeable/interfaces/IERC4626Upgradeable.sol
[codex:1074968] contracts/@openzeppelin/contracts-upgradeable/proxy/utils/Initializable.sol
[codex:1074968] contracts/var/www/html/boltfork/posley/AirPuff/contracts/LendingVaults/AirPuffLendingETH.sol
[codex:1074968] contracts/@openzeppelin/contracts-upgradeable/access/OwnableUpgradeable.sol
[codex:1074968] contracts/@openzeppelin/contracts-upgradeable/token/ERC20/IERC20Upgradeable.sol
[codex:1074968] contracts/@openzeppelin/contracts/interfaces/IERC4626.sol
[codex:1074968] contracts/@openzeppelin/contracts-upgradeable/token/ERC20/utils/SafeERC20Upgradeable.sol
[codex:1074968] contracts/@openzeppelin/contracts-upgradeable/token/ERC20/extensions/ERC4626Upgradeable.sol
[codex:1074968] contracts/@openzeppelin/contracts-upgradeable/token/ERC20/ERC20Upgradeable.sol
[codex:1074968] contracts/@openzeppelin/contracts-upgradeable/token/ERC20/extensions/IERC20PermitUpgradeable.sol
[codex:1074968] contracts/@openzeppelin/contracts-upgradeable/token/ERC20/extensions/IERC20MetadataUpgradeable.sol
[codex:1074968] contracts/@openzeppelin/contracts/utils/math/Math.sol
[codex:1074968] contracts/@openzeppelin/contracts/utils/Address.sol
[codex:1074968] contracts/@openzeppelin/contracts/utils/Context.sol
[codex:1074968] contracts/@openzeppelin/contracts-upgradeable/utils/AddressUpgradeable.sol
[codex:1074968] contracts/@openzeppelin/contracts-upgradeable/utils/ContextUpgradeable.sol
[codex:1074968] contracts/@openzeppelin/contracts-upgradeable/utils/math/MathUpgradeable.sol
[codex:1074968] contracts/@openzeppelin/contracts/token/ERC20/ERC20.sol
[codex:1074968]
[codex:1074968]
[codex:1074968] thinking
[codex:1074968] **Analyzing upgradeable contract risks and token handling**
[codex:1074968]
[codex:1074968] I'm carefully reviewing whether the contract’s external initializer and upgradeable pattern pose concrete exploitable risks, especially proxy hijacking if uninitialized. I'm also scrutinizing token transfer logic for vulnerabilities like minting shares without receiving tokens or reentrancy during withdrawals, while weighing common upgradeable patterns against the need for a clear profit path.
[codex:1074968] thinking
[codex:1074968] **Evaluating token timelock and deposit mechanics**
[codex:1074968]
[codex:1074968] I'm examining whether timelock checks keyed by msg.sender can be bypassed using contract interactions and considering share inflation possibilities from deposit constraints and token behavior. I'm assessing if any loopholes allow profit extraction, focusing on careful interpretation of upgradeable proxy initialization and token transfer assumptions under strict profit-path criteria.
[codex:1074968] codex
[codex:1074968] {"no_findings":true,"summary":"No concrete, exploitable profit path identified in the provided contract under the stated assumptions.","findings":[]}
[codex:1074968] tokens used
[codex:1074968] 22,647
[codex:1074968] {"no_findings":true,"summary":"No concrete, exploitable profit path identified in the provided contract under the stated assumptions.","findings":[]}
{
"codex": {
"ran_at": "2025-12-31T23:48:45.075397+00:00",
"returncode": 0
},
"summary": "No concrete, exploitable profit path identified in the provided contract under the stated assumptions.",
"raw_final": {
"summary": "No concrete, exploitable profit path identified in the provided contract 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 0x02a9 0000000c: JUMPI 0000000d: PUSH0 0000000e: CALLDATALOAD 0000000f: PUSH1 0xe0 00000011: SHR 00000012: DUP1 00000013: PUSH4 0x015cb0a5 00000018: EQ 00000019: PUSH2 0x02b4 0000001c: JUMPI 0000001d: DUP1 0000001e: PUSH4 0x01e1d114 00000023: EQ 00000024: PUSH2 0x02e8 00000027: JUMPI 00000028: DUP1 00000029: PUSH4 0x06fdde03 0000002e: EQ 0000002f: PUSH2 0x030a 00000032: JUMPI 00000033: DUP1 00000034: PUSH4 0x07a2d13a 00000039: EQ 0000003a: PUSH2 0x032b 0000003d: JUMPI 0000003e: DUP1 0000003f: PUSH4 0x095ea7b3 00000044: EQ 00000045: PUSH2 0x034a 00000048: JUMPI 00000049: DUP1 0000004a: PUSH4 0x0a28a477 0000004f: EQ 00000050: PUSH2 0x0369 00000053: JUMPI 00000054: DUP1 00000055: PUSH4 0x0d668087 0000005a: EQ 0000005b: PUSH2 0x0388 0000005e: JUMPI 0000005f: DUP1 00000060: PUSH4 0x1691ae25 00000065: EQ 00000066: PUSH2 0x039d 00000069: JUMPI 0000006a: DUP1 0000006b: PUSH4 0x18160ddd 00000070: EQ 00000071: PUSH2 0x03b1 00000074: JUMPI 00000075: DUP1 00000076: PUSH4 0x1fc8bc5d 0000007b: EQ 0000007c: PUSH2 0x03c5 0000007f: JUMPI 00000080: DUP1 00000081: PUSH4 0x23b872dd 00000086: EQ 00000087: PUSH2 0x03f2 0000008a: JUMPI 0000008b: DUP1 0000008c: PUSH4 0x302b486a 00000091: EQ 00000092: PUSH2 0x0411 00000095: JUMPI 00000096: DUP1 00000097: PUSH4 0x313ce567 0000009c: EQ 0000009d: PUSH2 0x043c 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0x38d52e0f 000000a7: EQ 000000a8: PUSH2 0x0462 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0x39509351 000000b2: EQ 000000b3: PUSH2 0x047f 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0x397eb78c 000000bd: EQ 000000be: PUSH2 0x049e 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0x3fb945db 000000c8: EQ 000000c9: PUSH2 0x04cc 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0x402d267d 000000d3: EQ 000000d4: PUSH2 0x04e1 000000d7: JUMPI 000000d8: DUP1 000000d9: PUSH4 0x422b0ddf 000000de: EQ 000000df: PUSH2 0x0500 000000e2: JUMPI 000000e3: DUP1 000000e4: PUSH4 0x4a417a53 000000e9: EQ 000000ea: PUSH2 0x0521 000000ed: JUMPI 000000ee: DUP1 000000ef: PUSH4 0x4cdad506 000000f4: EQ 000000f5: PUSH2 0x032b 000000f8: JUMPI 000000f9: DUP1 000000fa: PUSH4 0x4ee2c4ce 000000ff: EQ 00000100: PUSH2 0x0535 00000103: JUMPI 00000104: DUP1 00000105: PUSH4 0x6e553f65 0000010a: EQ 0000010b: PUSH2 0x054a 0000010e: JUMPI 0000010f: DUP1 00000110: PUSH4 0x70a08231 00000115: EQ 00000116: PUSH2 0x0569 00000119: JUMPI 0000011a: DUP1 0000011b: PUSH4 0x715018a6 00000120: EQ 00000121: PUSH2 0x0588 00000124: JUMPI 00000125: DUP1 00000126: PUSH4 0x797bf343 0000012b: EQ 0000012c: PUSH2 0x059c 0000012f: JUMPI 00000130: DUP1 00000131: PUSH4 0x8da5cb5b 00000136: EQ 00000137: PUSH2 0x05b0 0000013a: JUMPI 0000013b: DUP1 0000013c: PUSH4 0x90a8c62a 00000141: EQ 00000142: PUSH2 0x05c4 00000145: JUMPI 00000146: DUP1 00000147: PUSH4 0x918f8674 0000014c: EQ 0000014d: PUSH2 0x05d9 00000150: JUMPI 00000151: DUP1 00000152: PUSH4 0x94bf804d 00000157: EQ 00000158: PUSH2 0x05ee 0000015b: JUMPI 0000015c: DUP1 0000015d: PUSH4 0x95d89b41 00000162: EQ 00000163: PUSH2 0x0608 00000166: JUMPI 00000167: DUP1 00000168: PUSH4 0xa457c2d7 0000016d: EQ 0000016e: PUSH2 0x061c 00000171: JUMPI 00000172: DUP1 00000173: PUSH4 0xa9059cbb 00000178: EQ 00000179: PUSH2 0x063b 0000017c: JUMPI 0000017d: DUP1 0000017e: PUSH4 0xab745678 00000183: EQ 00000184: PUSH2 0x0655 00000187: JUMPI 00000188: DUP1 00000189: PUSH4 0xad5c4648 0000018e: EQ 0000018f: PUSH2 0x0681 00000192: JUMPI 00000193: DUP1 00000194: PUSH4 0xae04d45d 00000199: EQ 0000019a: PUSH2 0x06a0 0000019d: JUMPI 0000019e: DUP1 0000019f: PUSH4 0xb1884744 000001a4: EQ 000001a5: PUSH2 0x06bf 000001a8: JUMPI 000001a9: DUP1 000001aa: PUSH4 0xb3d7f6b9 000001af: EQ 000001b0: PUSH2 0x06de 000001b3: JUMPI 000001b4: DUP1 000001b5: PUSH4 0xb3f00674 000001ba: EQ 000001bb: PUSH2 0x06fd 000001be: JUMPI 000001bf: DUP1 000001c0: PUSH4 0xb460af94 000001c5: EQ 000001c6: PUSH2 0x071c 000001c9: JUMPI 000001ca: DUP1 000001cb: PUSH4 0xba087652 000001d0: EQ 000001d1: PUSH2 0x073b 000001d4: JUMPI 000001d5: DUP1 000001d6: PUSH4 0xc4c4f2ee 000001db: EQ 000001dc: PUSH2 0x0755 000001df: JUMPI 000001e0: DUP1 000001e1: PUSH4 0xc4d66de8 000001e6: EQ 000001e7: PUSH2 0x0774 000001ea: JUMPI 000001eb: DUP1 000001ec: PUSH4 0xc63d75b6 000001f1: EQ 000001f2: PUSH2 0x04e1 000001f5: JUMPI 000001f6: DUP1 000001f7: PUSH4 0xc6e6f592 000001fc: EQ 000001fd: PUSH2 0x0793 00000200: JUMPI 00000201: DUP1 00000202: PUSH4 0xce96cb77 00000207: EQ 00000208: PUSH2 0x07b2 0000020b: JUMPI 0000020c: DUP1 0000020d: PUSH4 0xd905777e 00000212: EQ 00000213: PUSH2 0x07d1 00000216: JUMPI 00000217: DUP1 00000218: PUSH4 0xdbbbbc63 0000021d: EQ 0000021e: PUSH2 0x07f0 00000221: JUMPI 00000222: DUP1 00000223: PUSH4 0xdd62ed3e 00000228: EQ 00000229: PUSH2 0x080f 0000022c: JUMPI 0000022d: DUP1 0000022e: PUSH4 0xe420e3db 00000233: EQ 00000234: PUSH2 0x082e 00000237: JUMPI 00000238: DUP1 00000239: PUSH4 0xe73a511c 0000023e: EQ 0000023f: PUSH2 0x084d 00000242: JUMPI 00000243: DUP1 00000244: PUSH4 0xe8d76bce 00000249: EQ 0000024a: PUSH2 0x086c 0000024d: JUMPI 0000024e: DUP1 0000024f: PUSH4 0xeb824c25 00000254: EQ 00000255: PUSH2 0x089a 00000258: JUMPI 00000259: DUP1 0000025a: PUSH4 0xef8b30f7 0000025f: EQ 00000260: PUSH2 0x0793 00000263: JUMPI 00000264: DUP1 00000265: PUSH4 0xf14210a6 0000026a: EQ 0000026b: PUSH2 0x08b9 0000026e: JUMPI 0000026f: DUP1 00000270: PUSH4 0xf2fde38b 00000275: EQ 00000276: PUSH2 0x08d8 00000279: JUMPI 0000027a: DUP1 0000027b: PUSH4 0xf386cfc2 00000280: EQ 00000281: PUSH2 0x08f7 00000284: JUMPI 00000285: DUP1 00000286: PUSH4 0xf6326fb3 0000028b: EQ 0000028c: PUSH2 0x0923 0000028f: JUMPI 00000290: DUP1 00000291: PUSH4 0xf9d33ef7 00000296: EQ 00000297: PUSH2 0x092b 0000029a: JUMPI 0000029b: DUP1 0000029c: PUSH4 0xfc7b9c18 000002a1: EQ 000002a2: PUSH2 0x094a 000002a5: JUMPI 000002a6: PUSH0 000002a7: DUP1 000002a8: REVERT 000002a9: JUMPDEST 000002aa: CALLDATASIZE 000002ab: PUSH2 0x02b0 000002ae: JUMPI 000002af: STOP 000002b0: JUMPDEST 000002b1: PUSH0 000002b2: DUP1 000002b3: REVERT 000002b4: JUMPDEST 000002b5: CALLVALUE 000002b6: DUP1 000002b7: ISZERO 000002b8: PUSH2 0x02bf 000002bb: JUMPI 000002bc: PUSH0 000002bd: DUP1 000002be: REVERT 000002bf: JUMPDEST 000002c0: POP 000002c1: PUSH2 0x02d3 000002c4: PUSH2 0x02ce 000002c7: CALLDATASIZE 000002c8: PUSH1 0x04 000002ca: PUSH2 0x2a15 000002cd: JUMP 000002ce: JUMPDEST 000002cf: PUSH2 0x095f 000002d2: JUMP 000002d3: JUMPDEST 000002d4: PUSH1 0x40 000002d6: MLOAD 000002d7: SWAP1 000002d8: ISZERO 000002d9: ISZERO 000002da: DUP2 000002db: MSTORE 000002dc: PUSH1 0x20 000002de: ADD 000002df: JUMPDEST 000002e0: PUSH1 0x40 000002e2: MLOAD 000002e3: DUP1 000002e4: SWAP2 000002e5: SUB 000002e6: SWAP1 000002e7: RETURN 000002e8: JUMPDEST 000002e9: CALLVALUE 000002ea: DUP1 000002eb: ISZERO 000002ec: PUSH2 0x02f3 000002ef: JUMPI 000002f0: PUSH0 000002f1: DUP1 000002f2: REVERT 000002f3: JUMPDEST 000002f4: POP 000002f5: PUSH2 0x02fc 000002f8: PUSH2 0x0a41 000002fb: JUMP 000002fc: JUMPDEST 000002fd: PUSH1 0x40 000002ff: MLOAD 00000300: SWAP1 00000301: DUP2 00000302: MSTORE 00000303: PUSH1 0x20 00000305: ADD 00000306: PUSH2 0x02df 00000309: JUMP 0000030a: JUMPDEST 0000030b: CALLVALUE 0000030c: DUP1 0000030d: ISZERO 0000030e: PUSH2 0x0315 00000311: JUMPI 00000312: PUSH0 00000313: DUP1 00000314: REVERT 00000315: JUMPDEST 00000316: POP 00000317: PUSH2 0x031e 0000031a: PUSH2 0x0a57 0000031d: JUMP 0000031e: JUMPDEST 0000031f: PUSH1 0x40 00000321: MLOAD 00000322: PUSH2 0x02df 00000325: SWAP2 00000326: SWAP1 00000327: PUSH2 0x2a57 0000032a: JUMP 0000032b: JUMPDEST 0000032c: CALLVALUE 0000032d: DUP1 0000032e: ISZERO 0000032f: PUSH2 0x0336 00000332: JUMPI 00000333: PUSH0 00000334: DUP1 00000335: REVERT 00000336: JUMPDEST 00000337: POP 00000338: PUSH2 0x02fc 0000033b: PUSH2 0x0345 0000033e: CALLDATASIZE 0000033f: PUSH1 0x04 00000341: PUSH2 0x2a89 00000344: JUMP 00000345: JUMPDEST 00000346: PUSH2 0x0ae7 00000349: JUMP 0000034a: JUMPDEST 0000034b: CALLVALUE 0000034c: DUP1 0000034d: ISZERO 0000034e: PUSH2 0x0355 00000351: JUMPI 00000352: PUSH0 00000353: DUP1 00000354: REVERT 00000355: JUMPDEST 00000356: POP 00000357: PUSH2 0x02d3 0000035a: PUSH2 0x0364 0000035d: CALLDATASIZE 0000035e: PUSH1 0x04 00000360: PUSH2 0x2abb 00000363: JUMP 00000364: JUMPDEST 00000365: PUSH2 0x0af2 00000368: JUMP 00000369: JUMPDEST 0000036a: CALLVALUE 0000036b: DUP1 0000036c: ISZERO 0000036d: PUSH2 0x0374 00000370: JUMPI 00000371: PUSH0 00000372: DUP1 00000373: REVERT 00000374: JUMPDEST 00000375: POP 00000376: PUSH2 0x02fc 00000379: PUSH2 0x0383 0000037c: CALLDATASIZE 0000037d: PUSH1 0x04 0000037f: PUSH2 0x2a89 00000382: JUMP 00000383: JUMPDEST 00000384: PUSH2 0x0b09 00000387: JUMP 00000388: JUMPDEST 00000389: CALLVALUE 0000038a: DUP1 0000038b: ISZERO 0000038c: PUSH2 0x0393 0000038f: JUMPI 00000390: PUSH0 00000391: DUP1 00000392: REVERT 00000393: JUMPDEST 00000394: POP 00000395: PUSH2 0x02fc 00000398: PUSH1 0xd5 0000039a: SLOAD 0000039b: DUP2 0000039c: JUMP 0000039d: JUMPDEST 0000039e: CALLVALUE 0000039f: DUP1 000003a0: ISZERO 000003a1: PUSH2 0x03a8 000003a4: JUMPI 000003a5: PUSH0 000003a6: DUP1 000003a7: REVERT 000003a8: JUMPDEST 000003a9: POP 000003aa: PUSH2 0x02fc 000003ad: PUSH2 0x0b15 000003b0: JUMP 000003b1: JUMPDEST 000003b2: CALLVALUE 000003b3: DUP1 000003b4: ISZERO 000003b5: PUSH2 0x03bc 000003b8: JUMPI 000003b9: PUSH0 000003ba: DUP1 000003bb: REVERT 000003bc: JUMPDEST 000003bd: POP 000003be: PUSH1 0x35 000003c0: SLOAD 000003c1: PUSH2 0x02fc 000003c4: JUMP 000003c5: JUMPDEST 000003c6: CALLVALUE 000003c7: DUP1 000003c8: ISZERO 000003c9: PUSH2 0x03d0 000003cc: JUMPI 000003cd: PUSH0 000003ce: DUP1 000003cf: REVERT 000003d0: JUMPDEST 000003d1: POP 000003d2: PUSH2 0x010a 000003d5: SLOAD 000003d6: PUSH2 0x03e5 000003d9: SWAP1 000003da: PUSH1 0x01 000003dc: PUSH1 0x01 000003de: PUSH1 0xa0 000003e0: SHL 000003e1: SUB 000003e2: AND 000003e3: DUP2 000003e4: JUMP 000003e5: JUMPDEST 000003e6: PUSH1 0x40 000003e8: MLOAD 000003e9: PUSH2 0x02df 000003ec: SWAP2 000003ed: SWAP1 000003ee: PUSH2 0x2ae3 000003f1: JUMP 000003f2: JUMPDEST 000003f3: CALLVALUE 000003f4: DUP1 000003f5: ISZERO 000003f6: PUSH2 0x03fd 000003f9: JUMPI 000003fa: PUSH0 000003fb: DUP1 000003fc: REVERT 000003fd: JUMPDEST 000003fe: POP 000003ff: PUSH2 0x02d3 00000402: PUSH2 0x040c 00000405: CALLDATASIZE 00000406: PUSH1 0x04 00000408: PUSH2 0x2af7 0000040b: JUMP 0000040c: JUMPDEST 0000040d: PUSH2 0x0b4b 00000410: JUMP 00000411: JUMPDEST 00000412: CALLVALUE 00000413: DUP1 00000414: ISZERO 00000415: PUSH2 0x041c 00000418: JUMPI 00000419: PUSH0 0000041a: DUP1 0000041b: REVERT 0000041c: JUMPDEST 0000041d: POP 0000041e: PUSH2 0x02fc 00000421: PUSH2 0x042b 00000424: CALLDATASIZE 00000425: PUSH1 0x04 00000427: PUSH2 0x2b30 0000042a: JUMP 0000042b: JUMPDEST 0000042c: PUSH1 0xd2 0000042e: PUSH1 0x20 00000430: MSTORE 00000431: PUSH0 00000432: SWAP1 00000433: DUP2 00000434: MSTORE 00000435: PUSH1 0x40 00000437: SWAP1 00000438: KECCAK256 00000439: SLOAD 0000043a: DUP2 0000043b: JUMP 0000043c: JUMPDEST 0000043d: CALLVALUE 0000043e: DUP1 0000043f: ISZERO 00000440: PUSH2 0x0447 00000443: JUMPI 00000444: PUSH0 00000445: DUP1 00000446: REVERT 00000447: JUMPDEST 00000448: POP 00000449: PUSH2 0x0450 0000044c: PUSH2 0x0b80 0000044f: JUMP 00000450: JUMPDEST 00000451: PUSH1 0x40 00000453: MLOAD 00000454: PUSH1 0xff 00000456: SWAP1 00000457: SWAP2 00000458: AND 00000459: DUP2 0000045a: MSTORE 0000045b: PUSH1 0x20 0000045d: ADD 0000045e: PUSH2 0x02df 00000461: JUMP 00000462: JUMPDEST 00000463: CALLVALUE 00000464: DUP1 00000465: ISZERO 00000466: PUSH2 0x046d 00000469: JUMPI 0000046a: PUSH0 0000046b: DUP1 0000046c: REVERT 0000046d: JUMPDEST 0000046e: POP 0000046f: PUSH1 0x65 00000471: SLOAD 00000472: PUSH1 0x01 00000474: PUSH1 0x01 00000476: PUSH1 0xa0 00000478: SHL 00000479: SUB 0000047a: AND 0000047b: PUSH2 0x03e5 0000047e: JUMP 0000047f: JUMPDEST 00000480: CALLVALUE 00000481: DUP1 00000482: ISZERO 00000483: PUSH2 0x048a 00000486: JUMPI 00000487: PUSH0 00000488: DUP1 00000489: REVERT 0000048a: JUMPDEST 0000048b: POP 0000048c: PUSH2 0x02d3 0000048f: PUSH2 0x0499 00000492: CALLDATASIZE 00000493: PUSH1 0x04 00000495: PUSH2 0x2abb 00000498: JUMP 00000499: JUMPDEST 0000049a: PUSH2 0x0b99 0000049d: JUMP 0000049e: JUMPDEST 0000049f: CALLVALUE 000004a0: DUP1 000004a1: ISZERO 000004a2: PUSH2 0x04a9 000004a5: JUMPI 000004a6: PUSH0 000004a7: DUP1 000004a8: REVERT 000004a9: JUMPDEST 000004aa: POP 000004ab: PUSH2 0x02d3 000004ae: PUSH2 0x04b8 000004b1: CALLDATASIZE 000004b2: PUSH1 0x04 000004b4: PUSH2 0x2b30 000004b7: JUMP 000004b8: JUMPDEST 000004b9: PUSH1 0xd3 000004bb: PUSH1 0x20 000004bd: MSTORE 000004be: PUSH0 000004bf: SWAP1 000004c0: DUP2 000004c1: MSTORE 000004c2: PUSH1 0x40 000004c4: SWAP1 000004c5: KECCAK256 000004c6: SLOAD 000004c7: PUSH1 0xff 000004c9: AND 000004ca: DUP2 000004cb: JUMP 000004cc: JUMPDEST 000004cd: CALLVALUE 000004ce: DUP1 000004cf: ISZERO 000004d0: PUSH2 0x04d7 000004d3: JUMPI 000004d4: PUSH0 000004d5: DUP1 000004d6: REVERT 000004d7: JUMPDEST 000004d8: POP 000004d9: PUSH2 0x02fc 000004dc: PUSH1 0xd1 000004de: SLOAD 000004df: DUP2 000004e0: JUMP 000004e1: JUMPDEST 000004e2: CALLVALUE 000004e3: DUP1 000004e4: ISZERO 000004e5: PUSH2 0x04ec 000004e8: JUMPI 000004e9: PUSH0 000004ea: DUP1 000004eb: REVERT 000004ec: JUMPDEST 000004ed: POP 000004ee: PUSH2 0x02fc 000004f1: PUSH2 0x04fb 000004f4: CALLDATASIZE 000004f5: PUSH1 0x04 000004f7: PUSH2 0x2b30 000004fa: JUMP 000004fb: JUMPDEST 000004fc: PUSH2 0x0bba 000004ff: JUMP 00000500: JUMPDEST 00000501: CALLVALUE 00000502: DUP1 00000503: ISZERO 00000504: PUSH2 0x050b 00000507: JUMPI 00000508: PUSH0 00000509: DUP1 0000050a: REVERT 0000050b: JUMPDEST 0000050c: POP 0000050d: PUSH2 0x051f 00000510: PUSH2 0x051a 00000513: CALLDATASIZE 00000514: PUSH1 0x04 00000516: PUSH2 0x2abb 00000519: JUMP 0000051a: JUMPDEST 0000051b: PUSH2 0x0bc0 0000051e: JUMP 0000051f: JUMPDEST 00000520: STOP 00000521: JUMPDEST 00000522: CALLVALUE 00000523: DUP1 00000524: ISZERO 00000525: PUSH2 0x052c 00000528: JUMPI 00000529: PUSH0 0000052a: DUP1 0000052b: REVERT 0000052c: JUMPDEST 0000052d: POP 0000052e: PUSH2 0x02fc 00000531: PUSH2 0x0c9a 00000534: JUMP 00000535: JUMPDEST 00000536: CALLVALUE 00000537: DUP1 00000538: ISZERO 00000539: PUSH2 0x0540 0000053c: JUMPI 0000053d: PUSH0 0000053e: DUP1 0000053f: REVERT 00000540: JUMPDEST 00000541: POP 00000542: PUSH2 0x02fc 00000545: PUSH1 0xcb 00000547: SLOAD 00000548: DUP2 00000549: JUMP 0000054a: JUMPDEST 0000054b: CALLVALUE 0000054c: DUP1 0000054d: ISZERO 0000054e: PUSH2 0x0555 00000551: JUMPI 00000552: PUSH0 00000553: DUP1 00000554: REVERT 00000555: JUMPDEST 00000556: POP 00000557: PUSH2 0x02fc 0000055a: PUSH2 0x0564 0000055d: CALLDATASIZE 0000055e: PUSH1 0x04 00000560: PUSH2 0x2b49 00000563: JUMP 00000564: JUMPDEST 00000565: PUSH2 0x0cd5 00000568: JUMP 00000569: JUMPDEST 0000056a: CALLVALUE 0000056b: DUP1 0000056c: ISZERO 0000056d: PUSH2 0x0574 00000570: JUMPI 00000571: PUSH0 00000572: DUP1 00000573: REVERT 00000574: JUMPDEST 00000575: POP 00000576: PUSH2 0x02fc 00000579: PUSH2 0x0583 0000057c: CALLDATASIZE 0000057d: PUSH1 0x04 0000057f: PUSH2 0x2b30 00000582: JUMP 00000583: JUMPDEST 00000584: PUSH2 0x0dd7 00000587: JUMP 00000588: JUMPDEST 00000589: CALLVALUE 0000058a: DUP1 0000058b: ISZERO 0000058c: PUSH2 0x0593 0000058f: JUMPI 00000590: PUSH0 00000591: DUP1 00000592: REVERT 00000593: JUMPDEST 00000594: POP 00000595: PUSH2 0x051f 00000598: PUSH2 0x0df1 0000059b: JUMP 0000059c: JUMPDEST 0000059d: CALLVALUE 0000059e: DUP1 0000059f: ISZERO 000005a0: PUSH2 0x05a7 000005a3: JUMPI 000005a4: PUSH0 000005a5: DUP1 000005a6: REVERT 000005a7: JUMPDEST 000005a8: POP 000005a9: PUSH1 0xcd 000005ab: SLOAD 000005ac: PUSH2 0x02fc 000005af: JUMP 000005b0: JUMPDEST 000005b1: CALLVALUE 000005b2: DUP1 000005b3: ISZERO 000005b4: PUSH2 0x05bb 000005b7: JUMPI 000005b8: PUSH0 000005b9: DUP1 000005ba: REVERT 000005bb: JUMPDEST 000005bc: POP 000005bd: PUSH2 0x03e5 000005c0: PUSH2 0x0e04 000005c3: JUMP 000005c4: JUMPDEST 000005c5: CALLVALUE 000005c6: DUP1 000005c7: ISZERO 000005c8: PUSH2 0x05cf 000005cb: JUMPI 000005cc: PUSH0 000005cd: DUP1 000005ce: REVERT 000005cf: JUMPDEST 000005d0: POP 000005d1: PUSH2 0x02fc 000005d4: PUSH1 0xcc 000005d6: SLOAD 000005d7: DUP2 000005d8: JUMP 000005d9: JUMPDEST 000005da: CALLVALUE 000005db: DUP1 000005dc: ISZERO 000005dd: PUSH2 0x05e4 000005e0: JUMPI 000005e1: PUSH0 000005e2: DUP1 000005e3: REVERT 000005e4: JUMPDEST 000005e5: POP 000005e6: PUSH2 0x02fc 000005e9: PUSH2 0x2710 000005ec: DUP2 000005ed: JUMP 000005ee: JUMPDEST 000005ef: CALLVALUE 000005f0: DUP1 000005f1: ISZERO 000005f2: PUSH2 0x05f9 000005f5: JUMPI 000005f6: PUSH0 000005f7: DUP1 000005f8: REVERT 000005f9: JUMPDEST 000005fa: POP 000005fb: PUSH2 0x02fc 000005fe: PUSH2 0x040c 00000601: CALLDATASIZE 00000602: PUSH1 0x04 00000604: PUSH2 0x2b49 00000607: JUMP 00000608: JUMPDEST 00000609: CALLVALUE 0000060a: DUP1 0000060b: ISZERO 0000060c: PUSH2 0x0613 0000060f: JUMPI 00000610: PUSH0 00000611: DUP1 00000612: REVERT 00000613: JUMPDEST 00000614: POP 00000615: PUSH2 0x031e 00000618: PUSH2 0x0e13 0000061b: JUMP 0000061c: JUMPDEST 0000061d: CALLVALUE 0000061e: DUP1 0000061f: ISZERO 00000620: PUSH2 0x0627 00000623: JUMPI 00000624: PUSH0 00000625: DUP1 00000626: REVERT 00000627: JUMPDEST 00000628: POP 00000629: PUSH2 0x02d3 0000062c: PUSH2 0x0636 0000062f: CALLDATASIZE 00000630: PUSH1 0x04 00000632: PUSH2 0x2abb 00000635: JUMP 00000636: JUMPDEST 00000637: PUSH2 0x0e22 0000063a: JUMP 0000063b: JUMPDEST 0000063c: CALLVALUE 0000063d: DUP1 0000063e: ISZERO 0000063f: PUSH2 0x0646 00000642: JUMPI 00000643: PUSH0 00000644: DUP1 00000645: REVERT 00000646: JUMPDEST 00000647: POP 00000648: PUSH2 0x02d3 0000064b: PUSH2 0x040c 0000064e: CALLDATASIZE 0000064f: PUSH1 0x04 00000651: PUSH2 0x2abb 00000654: JUMP 00000655: JUMPDEST 00000656: CALLVALUE 00000657: DUP1 00000658: ISZERO 00000659: PUSH2 0x0660 0000065c: JUMPI 0000065d: PUSH0 0000065e: DUP1 0000065f: REVERT 00000660: JUMPDEST 00000661: POP 00000662: PUSH2 0x02fc 00000665: PUSH2 0x066f 00000668: CALLDATASIZE 00000669: PUSH1 0x04 0000066b: PUSH2 0x2b30 0000066e: JUMP 0000066f: JUMPDEST 00000670: PUSH2 0x0109 00000673: PUSH1 0x20 00000675: MSTORE 00000676: PUSH0 00000677: SWAP1 00000678: DUP2 00000679: MSTORE 0000067a: PUSH1 0x40 0000067c: SWAP1 0000067d: KECCAK256 0000067e: SLOAD 0000067f: DUP2 00000680: JUMP 00000681: JUMPDEST 00000682: CALLVALUE 00000683: DUP1 00000684: ISZERO 00000685: PUSH2 0x068c 00000688: JUMPI 00000689: PUSH0 0000068a: DUP1 0000068b: REVERT 0000068c: JUMPDEST 0000068d: POP 0000068e: PUSH1 0xc9 00000690: SLOAD 00000691: PUSH2 0x03e5 00000694: SWAP1 00000695: PUSH1 0x01 00000697: PUSH1 0x01 00000699: PUSH1 0xa0 0000069b: SHL 0000069c: SUB 0000069d: AND 0000069e: DUP2 0000069f: JUMP 000006a0: JUMPDEST 000006a1: CALLVALUE 000006a2: DUP1 000006a3: ISZERO 000006a4: PUSH2 0x06ab 000006a7: JUMPI 000006a8: PUSH0 000006a9: DUP1 000006aa: REVERT 000006ab: JUMPDEST 000006ac: POP 000006ad: PUSH2 0x051f 000006b0: PUSH2 0x06ba 000006b3: CALLDATASIZE 000006b4: PUSH1 0x04 000006b6: PUSH2 0x2a89 000006b9: JUMP 000006ba: JUMPDEST 000006bb: PUSH2 0x0ea7 000006be: JUMP 000006bf: JUMPDEST 000006c0: CALLVALUE 000006c1: DUP1 000006c2: ISZERO 000006c3: PUSH2 0x06ca 000006c6: JUMPI 000006c7: PUSH0 000006c8: DUP1 000006c9: REVERT 000006ca: JUMPDEST 000006cb: POP 000006cc: PUSH2 0x02d3 000006cf: PUSH2 0x06d9 000006d2: CALLDATASIZE 000006d3: PUSH1 0x04 000006d5: PUSH2 0x2b49 000006d8: JUMP 000006d9: JUMPDEST 000006da: PUSH2 0x0f31 000006dd: JUMP 000006de: JUMPDEST 000006df: CALLVALUE 000006e0: DUP1 000006e1: ISZERO 000006e2: PUSH2 0x06e9 000006e5: JUMPI 000006e6: PUSH0 000006e7: DUP1 000006e8: REVERT 000006e9: JUMPDEST 000006ea: POP 000006eb: PUSH2 0x02fc 000006ee: PUSH2 0x06f8 000006f1: CALLDATASIZE 000006f2: PUSH1 0x04 000006f4: PUSH2 0x2a89 000006f7: JUMP 000006f8: JUMPDEST 000006f9: PUSH2 0x1121 000006fc: JUMP 000006fd: JUMPDEST 000006fe: CALLVALUE 000006ff: DUP1 00000700: ISZERO 00000701: PUSH2 0x0708 00000704: JUMPI 00000705: PUSH0 00000706: DUP1 00000707: REVERT 00000708: JUMPDEST 00000709: POP 0000070a: PUSH1 0xca 0000070c: SLOAD 0000070d: PUSH2 0x03e5 00000710: SWAP1 00000711: PUSH1 0x01 00000713: PUSH1 0x01 00000715: PUSH1 0xa0 00000717: SHL 00000718: SUB 00000719: AND 0000071a: DUP2 0000071b: JUMP 0000071c: JUMPDEST 0000071d: CALLVALUE 0000071e: DUP1 0000071f: ISZERO 00000720: PUSH2 0x0727 00000723: JUMPI 00000724: PUSH0 00000725: DUP1 00000726: REVERT 00000727: JUMPDEST 00000728: POP 00000729: PUSH2 0x02fc 0000072c: PUSH2 0x0736 0000072f: CALLDATASIZE 00000730: PUSH1 0x04 00000732: PUSH2 0x2b73 00000735: JUMP 00000736: JUMPDEST 00000737: PUSH2 0x112d 0000073a: JUMP 0000073b: JUMPDEST 0000073c: CALLVALUE 0000073d: DUP1 0000073e: ISZERO 0000073f: PUSH2 0x0746 00000742: JUMPI 00000743: PUSH0 00000744: DUP1 00000745: REVERT 00000746: JUMPDEST 00000747: POP 00000748: PUSH2 0x02fc 0000074b: PUSH2 0x040c 0000074e: CALLDATASIZE 0000074f: PUSH1 0x04 00000751: PUSH2 0x2b73 00000754: JUMP 00000755: JUMPDEST 00000756: CALLVALUE 00000757: DUP1 00000758: ISZERO 00000759: PUSH2 0x0760 0000075c: JUMPI 0000075d: PUSH0 0000075e: DUP1 0000075f: REVERT 00000760: JUMPDEST 00000761: POP 00000762: PUSH2 0x051f 00000765: PUSH2 0x076f 00000768: CALLDATASIZE 00000769: PUSH1 0x04 0000076b: PUSH2 0x2bb9 0000076e: JUMP 0000076f: JUMPDEST 00000770: PUSH2 0x1316 00000773: JUMP 00000774: JUMPDEST 00000775: CALLVALUE 00000776: DUP1 00000777: ISZERO 00000778: PUSH2 0x077f 0000077b: JUMPI 0000077c: PUSH0 0000077d: DUP1 0000077e: REVERT 0000077f: JUMPDEST 00000780: POP 00000781: PUSH2 0x051f 00000784: PUSH2 0x078e 00000787: CALLDATASIZE 00000788: PUSH1 0x04 0000078a: PUSH2 0x2b30 0000078d: JUMP 0000078e: JUMPDEST 0000078f: PUSH2 0x1370 00000792: JUMP 00000793: JUMPDEST 00000794: CALLVALUE 00000795: DUP1 00000796: ISZERO 00000797: PUSH2 0x079e 0000079a: JUMPI 0000079b: PUSH0 0000079c: DUP1 0000079d: REVERT 0000079e: JUMPDEST 0000079f: POP 000007a0: PUSH2 0x02fc 000007a3: PUSH2 0x07ad 000007a6: CALLDATASIZE 000007a7: PUSH1 0x04 000007a9: PUSH2 0x2a89 000007ac: JUMP 000007ad: JUMPDEST 000007ae: PUSH2 0x1554 000007b1: JUMP 000007b2: JUMPDEST 000007b3: CALLVALUE 000007b4: DUP1 000007b5: ISZERO 000007b6: PUSH2 0x07bd 000007b9: JUMPI 000007ba: PUSH0 000007bb: DUP1 000007bc: REVERT 000007bd: JUMPDEST 000007be: POP 000007bf: PUSH2 0x02fc 000007c2: PUSH2 0x07cc 000007c5: CALLDATASIZE 000007c6: PUSH1 0x04 000007c8: PUSH2 0x2b30 000007cb: JUMP 000007cc: JUMPDEST 000007cd: PUSH2 0x155f 000007d0: JUMP 000007d1: JUMPDEST 000007d2: CALLVALUE 000007d3: DUP1 000007d4: ISZERO 000007d5: PUSH2 0x07dc 000007d8: JUMPI 000007d9: PUSH0 000007da: DUP1 000007db: REVERT 000007dc: JUMPDEST 000007dd: POP 000007de: PUSH2 0x02fc 000007e1: PUSH2 0x07eb 000007e4: CALLDATASIZE 000007e5: PUSH1 0x04 000007e7: PUSH2 0x2b30 000007ea: JUMP 000007eb: JUMPDEST 000007ec: PUSH2 0x1572 000007ef: JUMP 000007f0: JUMPDEST 000007f1: CALLVALUE 000007f2: DUP1 000007f3: ISZERO 000007f4: PUSH2 0x07fb 000007f7: JUMPI 000007f8: PUSH0 000007f9: DUP1 000007fa: REVERT 000007fb: JUMPDEST 000007fc: POP 000007fd: PUSH2 0x051f 00000800: PUSH2 0x080a 00000803: CALLDATASIZE 00000804: PUSH1 0x04 00000806: PUSH2 0x2b30 00000809: JUMP 0000080a: JUMPDEST 0000080b: PUSH2 0x157c 0000080e: JUMP 0000080f: JUMPDEST 00000810: CALLVALUE 00000811: DUP1 00000812: ISZERO 00000813: PUSH2 0x081a 00000816: JUMPI 00000817: PUSH0 00000818: DUP1 00000819: REVERT 0000081a: JUMPDEST 0000081b: POP 0000081c: PUSH2 0x02fc 0000081f: PUSH2 0x0829 00000822: CALLDATASIZE 00000823: PUSH1 0x04 00000825: PUSH2 0x2bee 00000828: JUMP 00000829: JUMPDEST 0000082a: PUSH2 0x15d0 0000082d: JUMP 0000082e: JUMPDEST 0000082f: CALLVALUE 00000830: DUP1 00000831: ISZERO 00000832: PUSH2 0x0839 00000835: JUMPI 00000836: PUSH0 00000837: DUP1 00000838: REVERT 00000839: JUMPDEST 0000083a: POP 0000083b: PUSH2 0x051f 0000083e: PUSH2 0x0848 00000841: CALLDATASIZE 00000842: PUSH1 0x04 00000844: PUSH2 0x2a89 00000847: JUMP 00000848: JUMPDEST 00000849: PUSH2 0x15fa 0000084c: JUMP 0000084d: JUMPDEST 0000084e: CALLVALUE 0000084f: DUP1 00000850: ISZERO 00000851: PUSH2 0x0858 00000854: JUMPI 00000855: PUSH0 00000856: DUP1 00000857: REVERT 00000858: JUMPDEST 00000859: POP 0000085a: PUSH2 0x051f 0000085d: PUSH2 0x0867 00000860: CALLDATASIZE 00000861: PUSH1 0x04 00000863: PUSH2 0x2a89 00000866: JUMP 00000867: JUMPDEST 00000868: PUSH2 0x16b5 0000086b: JUMP 0000086c: JUMPDEST 0000086d: CALLVALUE 0000086e: DUP1 0000086f: ISZERO 00000870: PUSH2 0x0877 00000873: JUMPI 00000874: PUSH0 00000875: DUP1 00000876: REVERT 00000877: JUMPDEST 00000878: POP 00000879: PUSH2 0x02d3 0000087c: PUSH2 0x0886 0000087f: CALLDATASIZE 00000880: PUSH1 0x04 00000882: PUSH2 0x2b30 00000885: JUMP 00000886: JUMPDEST 00000887: PUSH1 0xd4 00000889: PUSH1 0x20 0000088b: MSTORE 0000088c: PUSH0 0000088d: SWAP1 0000088e: DUP2 0000088f: MSTORE 00000890: PUSH1 0x40 00000892: SWAP1 00000893: KECCAK256 00000894: SLOAD 00000895: PUSH1 0xff 00000897: AND 00000898: DUP2 00000899: JUMP 0000089a: JUMPDEST 0000089b: CALLVALUE 0000089c: DUP1 0000089d: ISZERO 0000089e: PUSH2 0x08a5 000008a1: JUMPI 000008a2: PUSH0 000008a3: DUP1 000008a4: REVERT 000008a5: JUMPDEST 000008a6: POP 000008a7: PUSH2 0x051f 000008aa: PUSH2 0x08b4 000008ad: CALLDATASIZE 000008ae: PUSH1 0x04 000008b0: PUSH2 0x2abb 000008b3: JUMP 000008b4: JUMPDEST 000008b5: PUSH2 0x1715 000008b8: JUMP 000008b9: JUMPDEST 000008ba: CALLVALUE 000008bb: DUP1 000008bc: ISZERO 000008bd: PUSH2 0x08c4 000008c0: JUMPI 000008c1: PUSH0 000008c2: DUP1 000008c3: REVERT 000008c4: JUMPDEST 000008c5: POP 000008c6: PUSH2 0x02fc 000008c9: PUSH2 0x08d3 000008cc: CALLDATASIZE 000008cd: PUSH1 0x04 000008cf: PUSH2 0x2a89 000008d2: JUMP 000008d3: JUMPDEST 000008d4: PUSH2 0x17ce 000008d7: JUMP 000008d8: JUMPDEST 000008d9: CALLVALUE 000008da: DUP1 000008db: ISZERO 000008dc: PUSH2 0x08e3 000008df: JUMPI 000008e0: PUSH0 000008e1: DUP1 000008e2: REVERT 000008e3: JUMPDEST 000008e4: POP 000008e5: PUSH2 0x051f 000008e8: PUSH2 0x08f2 000008eb: CALLDATASIZE 000008ec: PUSH1 0x04 000008ee: PUSH2 0x2b30 000008f1: JUMP 000008f2: JUMPDEST 000008f3: PUSH2 0x1ab8 000008f6: JUMP 000008f7: JUMPDEST 000008f8: CALLVALUE 000008f9: DUP1 000008fa: ISZERO 000008fb: PUSH2 0x0902 000008fe: JUMPI 000008ff: PUSH0 00000900: DUP1 00000901: REVERT 00000902: JUMPDEST 00000903: POP 00000904: PUSH2 0x02fc 00000907: PUSH2 0x0911 0000090a: CALLDATASIZE 0000090b: PUSH1 0x04 0000090d: PUSH2 0x2b30 00000910: JUMP 00000911: JUMPDEST 00000912: PUSH2 0x0108 00000915: PUSH1 0x20 00000917: MSTORE 00000918: PUSH0 00000919: SWAP1 0000091a: DUP2 0000091b: MSTORE 0000091c: PUSH1 0x40 0000091e: SWAP1 0000091f: KECCAK256 00000920: SLOAD 00000921: DUP2 00000922: JUMP 00000923: JUMPDEST 00000924: PUSH2 0x02fc 00000927: PUSH2 0x1b31 0000092a: JUMP 0000092b: JUMPDEST 0000092c: CALLVALUE 0000092d: DUP1 0000092e: ISZERO 0000092f: PUSH2 0x0936 00000932: JUMPI 00000933: PUSH0 00000934: DUP1 00000935: REVERT 00000936: JUMPDEST 00000937: POP 00000938: PUSH2 0x051f 0000093b: PUSH2 0x0945 0000093e: CALLDATASIZE 0000093f: PUSH1 0x04 00000941: PUSH2 0x2bb9 00000944: JUMP 00000945: JUMPDEST 00000946: PUSH2 0x1c1f 00000949: JUMP 0000094a: JUMPDEST 0000094b: CALLVALUE 0000094c: DUP1 0000094d: ISZERO 0000094e: PUSH2 0x0955 00000951: JUMPI 00000952: PUSH0 00000953: DUP1 00000954: REVERT 00000955: JUMPDEST 00000956: POP 00000957: PUSH2 0x02fc 0000095a: PUSH1 0xd0 0000095c: SLOAD 0000095d: DUP2 0000095e: JUMP 0000095f: JUMPDEST 00000960: CALLER 00000961: PUSH0 00000962: SWAP1 00000963: DUP2 00000964: MSTORE 00000965: PUSH1 0xd4 00000967: PUSH1 0x20 00000969: MSTORE 0000096a: PUSH1 0x40 0000096c: DUP2 0000096d: KECCAK256 0000096e: SLOAD 0000096f: PUSH1 0xff 00000971: AND 00000972: PUSH2 0x0996 00000975: JUMPI 00000976: PUSH1 0x40 00000978: MLOAD 00000979: PUSH3 0x461bcd 0000097d: PUSH1 0xe5 0000097f: SHL 00000980: DUP2 00000981: MSTORE 00000982: PUSH1 0x04 00000984: ADD 00000985: PUSH2 0x098d 00000988: SWAP1 00000989: PUSH2 0x2c16 0000098c: JUMP 0000098d: JUMPDEST 0000098e: PUSH1 0x40 00000990: MLOAD 00000991: DUP1 00000992: SWAP2 00000993: SUB 00000994: SWAP1 00000995: REVERT 00000996: JUMPDEST 00000997: PUSH1 0xc9 00000999: SLOAD 0000099a: PUSH2 0x09ae 0000099d: SWAP1 0000099e: PUSH1 0x01 000009a0: PUSH1 0x01 000009a2: PUSH1 0xa0 000009a4: SHL 000009a5: SUB 000009a6: AND 000009a7: CALLER 000009a8: ADDRESS 000009a9: DUP6 000009aa: PUSH2 0x1cad 000009ad: JUMP 000009ae: JUMPDEST 000009af: DUP3 000009b0: PUSH1 0xd0 000009b2: SLOAD 000009b3: PUSH2 0x09bc 000009b6: SWAP2 000009b7: SWAP1 000009b8: PUSH2 0x2c58 000009bb: JUMP 000009bc: JUMPDEST 000009bd: PUSH1 0xd0 000009bf: DUP2 000009c0: SWAP1 000009c1: SSTORE 000009c2: POP 000009c3: DUP2 000009c4: PUSH1 0xcd 000009c6: PUSH0 000009c7: DUP3 000009c8: DUP3 000009c9: SLOAD 000009ca: PUSH2 0x09d3 000009cd: SWAP2 000009ce: SWAP1 000009cf: PUSH2 0x2c6b 000009d2: JUMP 000009d3: JUMPDEST 000009d4: SWAP1 000009d5: SWAP2 000009d6: SSTORE 000009d7: POP 000009d8: POP 000009d9: CALLER 000009da: PUSH0 000009db: SWAP1 000009dc: DUP2 000009dd: MSTORE 000009de: PUSH2 0x0109 000009e1: PUSH1 0x20 000009e3: MSTORE 000009e4: PUSH1 0x40 000009e6: DUP2 000009e7: KECCAK256 000009e8: DUP1 000009e9: SLOAD 000009ea: DUP6 000009eb: SWAP3 000009ec: SWAP1 000009ed: PUSH2 0x09f7 000009f0: SWAP1 000009f1: DUP5 000009f2: SWAP1 000009f3: PUSH2 0x2c58 000009f6: JUMP 000009f7: JUMPDEST 000009f8: SWAP1 000009f9: SWAP2 000009fa: SSTORE 000009fb: POP 000009fc: POP 000009fd: PUSH1 0x40 000009ff: DUP1 00000a00: MLOAD 00000a01: DUP5 00000a02: DUP2 00000a03: MSTORE 00000a04: PUSH1 0x20 00000a06: DUP2 00000a07: ADD 00000a08: DUP5 00000a09: SWAP1 00000a0a: MSTORE 00000a0b: CALLER 00000a0c: SWAP2 00000a0d: PUSH32 0x9ba25c7034b6ce546184222311386e26a078a33b4a1d22fd90ad758233045e92 00000a2e: SWAP2 00000a2f: ADD 00000a30: PUSH1 0x40 00000a32: MLOAD 00000a33: DUP1 00000a34: SWAP2 00000a35: SUB 00000a36: SWAP1 00000a37: LOG2 00000a38: POP 00000a39: PUSH1 0x01 00000a3b: JUMPDEST 00000a3c: SWAP3 00000a3d: SWAP2 00000a3e: POP 00000a3f: POP 00000a40: JUMP 00000a41: JUMPDEST 00000a42: PUSH0 00000a43: PUSH1 0xd0 00000a45: SLOAD 00000a46: PUSH1 0xcd 00000a48: SLOAD 00000a49: PUSH2 0x0a52 00000a4c: SWAP2 00000a4d: SWAP1 00000a4e: PUSH2 0x2c6b 00000a51: JUMP 00000a52: JUMPDEST 00000a53: SWAP1 00000a54: POP 00000a55: SWAP1 00000a56: JUMP 00000a57: JUMPDEST 00000a58: PUSH1 0x60 00000a5a: PUSH1 0x36 00000a5c: DUP1 00000a5d: SLOAD 00000a5e: PUSH2 0x0a66 00000a61: SWAP1 00000a62: PUSH2 0x2c7e 00000a65: JUMP 00000a66: JUMPDEST 00000a67: DUP1 00000a68: PUSH1 0x1f 00000a6a: ADD 00000a6b: PUSH1 0x20 00000a6d: DUP1 00000a6e: SWAP2 00000a6f: DIV 00000a70: MUL 00000a71: PUSH1 0x20 00000a73: ADD 00000a74: PUSH1 0x40 00000a76: MLOAD 00000a77: SWAP1 00000a78: DUP2 00000a79: ADD 00000a7a: PUSH1 0x40 00000a7c: MSTORE 00000a7d: DUP1 00000a7e: SWAP3 00000a7f: SWAP2 00000a80: SWAP1 00000a81: DUP2 00000a82: DUP2 00000a83: MSTORE 00000a84: PUSH1 0x20 00000a86: ADD 00000a87: DUP3 00000a88: DUP1 00000a89: SLOAD 00000a8a: PUSH2 0x0a92 00000a8d: SWAP1 00000a8e: PUSH2 0x2c7e 00000a91: JUMP 00000a92: JUMPDEST 00000a93: DUP1 00000a94: ISZERO 00000a95: PUSH2 0x0add 00000a98: JUMPI 00000a99: DUP1 00000a9a: PUSH1 0x1f 00000a9c: LT 00000a9d: PUSH2 0x0ab4 00000aa0: JUMPI 00000aa1: PUSH2 0x0100 00000aa4: DUP1 00000aa5: DUP4 00000aa6: SLOAD 00000aa7: DIV 00000aa8: MUL 00000aa9: DUP4 00000aaa: MSTORE 00000aab: SWAP2 00000aac: PUSH1 0x20 00000aae: ADD 00000aaf: SWAP2 00000ab0: PUSH2 0x0add 00000ab3: JUMP 00000ab4: JUMPDEST 00000ab5: DUP3 00000ab6: ADD 00000ab7: SWAP2 00000ab8: SWAP1 00000ab9: PUSH0 00000aba: MSTORE 00000abb: PUSH1 0x20 00000abd: PUSH0 00000abe: KECCAK256 00000abf: SWAP1 00000ac0: JUMPDEST 00000ac1: DUP2 00000ac2: SLOAD 00000ac3: DUP2 00000ac4: MSTORE 00000ac5: SWAP1 00000ac6: PUSH1 0x01 00000ac8: ADD 00000ac9: SWAP1 00000aca: PUSH1 0x20 00000acc: ADD 00000acd: DUP1 00000ace: DUP4 00000acf: GT 00000ad0: PUSH2 0x0ac0 00000ad3: JUMPI 00000ad4: DUP3 00000ad5: SWAP1 00000ad6: SUB 00000ad7: PUSH1 0x1f 00000ad9: AND 00000ada: DUP3 00000adb: ADD 00000adc: SWAP2 00000add: JUMPDEST 00000ade: POP 00000adf: POP 00000ae0: POP 00000ae1: POP 00000ae2: POP 00000ae3: SWAP1 00000ae4: POP 00000ae5: SWAP1 00000ae6: JUMP 00000ae7: JUMPDEST 00000ae8: PUSH0 00000ae9: PUSH2 0x0a3b 00000aec: DUP3 00000aed: PUSH0 00000aee: PUSH2 0x1d0b 00000af1: JUMP 00000af2: JUMPDEST 00000af3: PUSH0 00000af4: CALLER 00000af5: PUSH2 0x0aff 00000af8: DUP2 00000af9: DUP6 00000afa: DUP6 00000afb: PUSH2 0x1d4a 00000afe: JUMP 00000aff: JUMPDEST 00000b00: POP 00000b01: PUSH1 0x01 00000b03: SWAP4 00000b04: SWAP3 00000b05: POP 00000b06: POP 00000b07: POP 00000b08: JUMP 00000b09: JUMPDEST 00000b0a: PUSH0 00000b0b: PUSH2 0x0a3b 00000b0e: DUP3 00000b0f: PUSH1 0x01 00000b11: PUSH2 0x1e6d 00000b14: JUMP 00000b15: JUMPDEST 00000b16: PUSH0 00000b17: DUP1 00000b18: PUSH2 0x0b1f 00000b1b: PUSH2 0x0a41 00000b1e: JUMP 00000b1f: JUMPDEST 00000b20: PUSH0 00000b21: SUB 00000b22: PUSH2 0x0b2d 00000b25: JUMPI 00000b26: POP 00000b27: POP 00000b28: PUSH1 0xcc 00000b2a: SLOAD 00000b2b: SWAP1 00000b2c: JUMP 00000b2d: JUMPDEST 00000b2e: PUSH2 0x0a3b 00000b31: PUSH1 0xcc 00000b33: SLOAD 00000b34: PUSH2 0x0b3c 00000b37: PUSH1 0x35 00000b39: SLOAD 00000b3a: SWAP1 00000b3b: JUMP 00000b3c: JUMPDEST 00000b3d: PUSH2 0x0b44 00000b40: PUSH2 0x0a41 00000b43: JUMP 00000b44: JUMPDEST 00000b45: SWAP2 00000b46: SWAP1 00000b47: PUSH2 0x1e9c 00000b4a: JUMP 00000b4b: JUMPDEST 00000b4c: PUSH1 0x40 00000b4e: MLOAD 00000b4f: PUSH3 0x461bcd 00000b53: PUSH1 0xe5 00000b55: SHL 00000b56: DUP2 00000b57: MSTORE 00000b58: PUSH1 0x20 00000b5a: PUSH1 0x04 00000b5c: DUP3 00000b5d: ADD 00000b5e: MSTORE 00000b5f: PUSH1 0x08 00000b61: PUSH1 0x24 00000b63: DUP3 00000b64: ADD 00000b65: MSTORE 00000b66: PUSH8 0x139bdd081d5cd959 00000b6f: PUSH1 0xc2 00000b71: SHL 00000b72: PUSH1 0x44 00000b74: DUP3 00000b75: ADD 00000b76: MSTORE 00000b77: PUSH0 00000b78: SWAP1 00000b79: PUSH1 0x64 00000b7b: ADD 00000b7c: PUSH2 0x098d 00000b7f: JUMP 00000b80: JUMPDEST 00000b81: PUSH0 00000b82: DUP1 00000b83: PUSH1 0x65 00000b85: SLOAD 00000b86: PUSH2 0x0a52 00000b89: SWAP2 00000b8a: SWAP1 00000b8b: PUSH1 0x01 00000b8d: PUSH1 0xa0 00000b8f: SHL 00000b90: SWAP1 00000b91: DIV 00000b92: PUSH1 0xff 00000b94: AND 00000b95: PUSH2 0x2cb0 00000b98: JUMP 00000b99: JUMPDEST 00000b9a: PUSH0 00000b9b: CALLER 00000b9c: PUSH2 0x0aff 00000b9f: DUP2 00000ba0: DUP6 00000ba1: DUP6 00000ba2: PUSH2 0x0bab 00000ba5: DUP4 00000ba6: DUP4 00000ba7: PUSH2 0x15d0 00000baa: JUMP 00000bab: JUMPDEST 00000bac: PUSH2 0x0bb5 00000baf: SWAP2 00000bb0: SWAP1 00000bb1: PUSH2 0x2c6b 00000bb4: JUMP 00000bb5: JUMPDEST 00000bb6: PUSH2 0x1d4a 00000bb9: JUMP 00000bba: JUMPDEST 00000bbb: POP 00000bbc: PUSH0 00000bbd: NOT 00000bbe: SWAP1 00000bbf: JUMP 00000bc0: JUMPDEST 00000bc1: PUSH2 0x0bc8 00000bc4: PUSH2 0x1f80 00000bc7: JUMP 00000bc8: JUMPDEST 00000bc9: DUP2 00000bca: PUSH1 0x01 00000bcc: PUSH1 0x01 00000bce: PUSH1 0xa0 00000bd0: SHL 00000bd1: SUB 00000bd2: DUP2 00000bd3: AND 00000bd4: PUSH2 0x0bef 00000bd7: JUMPI 00000bd8: PUSH1 0x40 00000bda: MLOAD 00000bdb: PUSH3 0x461bcd 00000bdf: PUSH1 0xe5 00000be1: SHL 00000be2: DUP2 00000be3: MSTORE 00000be4: PUSH1 0x04 00000be6: ADD 00000be7: PUSH2 0x098d 00000bea: SWAP1 00000beb: PUSH2 0x2cc9 00000bee: JUMP 00000bef: JUMPDEST 00000bf0: PUSH2 0x2710 00000bf3: DUP3 00000bf4: GT 00000bf5: ISZERO 00000bf6: PUSH2 0x0c3b 00000bf9: JUMPI 00000bfa: PUSH1 0x40 00000bfc: MLOAD 00000bfd: PUSH3 0x461bcd 00000c01: PUSH1 0xe5 00000c03: SHL 00000c04: DUP2 00000c05: MSTORE 00000c06: PUSH1 0x20 00000c08: PUSH1 0x04 00000c0a: DUP3 00000c0b: ADD 00000c0c: MSTORE 00000c0d: PUSH1 0x17 00000c0f: PUSH1 0x24 00000c11: DUP3 00000c12: ADD 00000c13: MSTORE 00000c14: PUSH23 0x496e76616c6964207769746864726177616c2066656573 00000c2c: PUSH1 0x48 00000c2e: SHL 00000c2f: PUSH1 0x44 00000c31: DUP3 00000c32: ADD 00000c33: MSTORE 00000c34: PUSH1 0x64 00000c36: ADD 00000c37: PUSH2 0x098d 00000c3a: JUMP 00000c3b: JUMPDEST 00000c3c: PUSH1 0xcb 00000c3e: DUP3 00000c3f: SWAP1 00000c40: SSTORE 00000c41: PUSH1 0xca 00000c43: DUP1 00000c44: SLOAD 00000c45: PUSH1 0x01 00000c47: PUSH1 0x01 00000c49: PUSH1 0xa0 00000c4b: SHL 00000c4c: SUB 00000c4d: NOT 00000c4e: AND 00000c4f: PUSH1 0x01 00000c51: PUSH1 0x01 00000c53: PUSH1 0xa0 00000c55: SHL 00000c56: SUB 00000c57: DUP6 00000c58: AND 00000c59: OR 00000c5a: SWAP1 00000c5b: SSTORE 00000c5c: PUSH1 0x40 00000c5e: MLOAD 00000c5f: PUSH32 0x51e6e26f17be04acb32a2406bbdbd518b8c44f9609ec3e2e7d27ad193c1d3633 00000c80: SWAP1 00000c81: PUSH2 0x0c8d 00000c84: SWAP1 00000c85: DUP6 00000c86: SWAP1 00000c87: DUP6 00000c88: SWAP1 00000c89: PUSH2 0x2cef 00000c8c: JUMP 00000c8d: JUMPDEST 00000c8e: PUSH1 0x40 00000c90: MLOAD 00000c91: DUP1 00000c92: SWAP2 00000c93: SUB 00000c94: SWAP1 00000c95: LOG1 00000c96: POP 00000c97: POP 00000c98: POP 00000c99: JUMP 00000c9a: JUMPDEST 00000c9b: PUSH0 00000c9c: PUSH1 0xd0 00000c9e: SLOAD 00000c9f: PUSH0 00000ca0: EQ 00000ca1: PUSH2 0x0cd0 00000ca4: JUMPI 00000ca5: PUSH2 0x0a52 00000ca8: PUSH8 0x0de0b6b3a7640000 00000cb1: PUSH1 0xd0 00000cb3: SLOAD 00000cb4: PUSH2 0x0cbc 00000cb7: PUSH1 0xcd 00000cb9: SLOAD 00000cba: SWAP1 00000cbb: JUMP 00000cbc: JUMPDEST 00000cbd: PUSH2 0x0cc6 00000cc0: SWAP2 00000cc1: SWAP1 00000cc2: PUSH2 0x2c6b 00000cc5: JUMP 00000cc6: JUMPDEST 00000cc7: PUSH1 0xd0 00000cc9: SLOAD 00000cca: SWAP2 00000ccb: SWAP1 00000ccc: PUSH2 0x1e9c 00000ccf: JUMP 00000cd0: JUMPDEST 00000cd1: POP 00000cd2: PUSH0 00000cd3: SWAP1 00000cd4: JUMP 00000cd5: JUMPDEST 00000cd6: PUSH0 00000cd7: DUP3 00000cd8: PUSH0 00000cd9: DUP2 00000cda: GT 00000cdb: PUSH2 0x0cf6 00000cde: JUMPI 00000cdf: PUSH1 0x40 00000ce1: MLOAD 00000ce2: PUSH3 0x461bcd 00000ce6: PUSH1 0xe5 00000ce8: SHL 00000ce9: DUP2 00000cea: MSTORE 00000ceb: PUSH1 0x04 00000ced: ADD 00000cee: PUSH2 0x098d 00000cf1: SWAP1 00000cf2: PUSH2 0x2d08 00000cf5: JUMP 00000cf6: JUMPDEST 00000cf7: PUSH0 00000cf8: PUSH2 0x0cff 00000cfb: PUSH2 0x0c9a 00000cfe: JUMP 00000cff: JUMPDEST 00000d00: PUSH1 0xc9 00000d02: SLOAD 00000d03: PUSH1 0x40 00000d05: MLOAD 00000d06: PUSH4 0x23b872dd 00000d0b: PUSH1 0xe0 00000d0d: SHL 00000d0e: DUP2 00000d0f: MSTORE 00000d10: SWAP2 00000d11: SWAP3 00000d12: POP 00000d13: PUSH1 0x01 00000d15: PUSH1 0x01 00000d17: PUSH1 0xa0 00000d19: SHL 00000d1a: SUB 00000d1b: AND 00000d1c: SWAP1 00000d1d: PUSH4 0x23b872dd 00000d22: SWAP1 00000d23: PUSH2 0x0d34 00000d26: SWAP1 00000d27: CALLER 00000d28: SWAP1 00000d29: ADDRESS 00000d2a: SWAP1 00000d2b: DUP11 00000d2c: SWAP1 00000d2d: PUSH1 0x04 00000d2f: ADD 00000d30: PUSH2 0x2d29 00000d33: JUMP 00000d34: JUMPDEST 00000d35: PUSH1 0x20 00000d37: PUSH1 0x40 00000d39: MLOAD 00000d3a: DUP1 00000d3b: DUP4 00000d3c: SUB 00000d3d: DUP2 00000d3e: PUSH0 00000d3f: DUP8 00000d40: GAS 00000d41: CALL 00000d42: ISZERO 00000d43: DUP1 00000d44: ISZERO 00000d45: PUSH2 0x0d50 00000d48: JUMPI 00000d49: RETURNDATASIZE 00000d4a: PUSH0 00000d4b: DUP1 00000d4c: RETURNDATACOPY 00000d4d: RETURNDATASIZE 00000d4e: PUSH0 00000d4f: REVERT 00000d50: JUMPDEST 00000d51: POP 00000d52: POP 00000d53: POP 00000d54: POP 00000d55: PUSH1 0x40 00000d57: MLOAD 00000d58: RETURNDATASIZE 00000d59: PUSH1 0x1f 00000d5b: NOT 00000d5c: PUSH1 0x1f 00000d5e: DUP3 00000d5f: ADD 00000d60: AND 00000d61: DUP3 00000d62: ADD 00000d63: DUP1 00000d64: PUSH1 0x40 00000d66: MSTORE 00000d67: POP 00000d68: DUP2 00000d69: ADD 00000d6a: SWAP1 00000d6b: PUSH2 0x0d74 00000d6e: SWAP2 00000d6f: SWAP1 00000d70: PUSH2 0x2d4d 00000d73: JUMP 00000d74: JUMPDEST 00000d75: POP 00000d76: PUSH0 00000d77: PUSH2 0x0d7f 00000d7a: DUP7 00000d7b: PUSH2 0x1554 00000d7e: JUMP 00000d7f: JUMPDEST 00000d80: SWAP1 00000d81: POP 00000d82: PUSH2 0x0d8d 00000d85: CALLER 00000d86: CALLER 00000d87: DUP9 00000d88: DUP5 00000d89: PUSH2 0x1fdf 00000d8c: JUMP 00000d8d: JUMPDEST 00000d8e: PUSH32 0xf3b2a76575670b4eff5a4ad3639d40d32f7ca987adac169e6f9b89a3ab857d27 00000daf: CALLER 00000db0: DUP7 00000db1: DUP9 00000db2: DUP5 00000db3: TIMESTAMP 00000db4: DUP8 00000db5: PUSH1 0x40 00000db7: MLOAD 00000db8: PUSH2 0x0dc6 00000dbb: SWAP7 00000dbc: SWAP6 00000dbd: SWAP5 00000dbe: SWAP4 00000dbf: SWAP3 00000dc0: SWAP2 00000dc1: SWAP1 00000dc2: PUSH2 0x2d68 00000dc5: JUMP 00000dc6: JUMPDEST 00000dc7: PUSH1 0x40 00000dc9: MLOAD 00000dca: DUP1 00000dcb: SWAP2 00000dcc: SUB 00000dcd: SWAP1 00000dce: LOG1 00000dcf: SWAP6 00000dd0: SWAP5 00000dd1: POP 00000dd2: POP 00000dd3: POP 00000dd4: POP 00000dd5: POP 00000dd6: JUMP 00000dd7: JUMPDEST 00000dd8: PUSH1 0x01 00000dda: PUSH1 0x01 00000ddc: PUSH1 0xa0 00000dde: SHL 00000ddf: SUB 00000de0: AND 00000de1: PUSH0 00000de2: SWAP1 00000de3: DUP2 00000de4: MSTORE 00000de5: PUSH1 0x33 00000de7: PUSH1 0x20 00000de9: MSTORE 00000dea: PUSH1 0x40 00000dec: SWAP1 00000ded: KECCAK256 00000dee: SLOAD 00000def: SWAP1 00000df0: JUMP 00000df1: JUMPDEST 00000df2: PUSH2 0x0df9 00000df5: PUSH2 0x1f80 00000df8: JUMP 00000df9: JUMPDEST 00000dfa: PUSH2 0x0e02 00000dfd: PUSH0 00000dfe: PUSH2 0x21a4 00000e01: JUMP 00000e02: JUMPDEST 00000e03: JUMP 00000e04: JUMPDEST 00000e05: PUSH1 0x97 00000e07: SLOAD 00000e08: PUSH1 0x01 00000e0a: PUSH1 0x01 00000e0c: PUSH1 0xa0 00000e0e: SHL 00000e0f: SUB 00000e10: AND 00000e11: SWAP1 00000e12: JUMP 00000e13: JUMPDEST 00000e14: PUSH1 0x60 00000e16: PUSH1 0x37 00000e18: DUP1 00000e19: SLOAD 00000e1a: PUSH2 0x0a66 00000e1d: SWAP1 00000e1e: PUSH2 0x2c7e 00000e21: JUMP 00000e22: JUMPDEST 00000e23: PUSH0 00000e24: CALLER 00000e25: DUP2 00000e26: PUSH2 0x0e2f 00000e29: DUP3 00000e2a: DUP7 00000e2b: PUSH2 0x15d0 00000e2e: JUMP 00000e2f: JUMPDEST 00000e30: SWAP1 00000e31: POP 00000e32: DUP4 00000e33: DUP2 00000e34: LT 00000e35: ISZERO 00000e36: PUSH2 0x0e8f 00000e39: JUMPI 00000e3a: PUSH1 0x40 00000e3c: MLOAD 00000e3d: PUSH3 0x461bcd 00000e41: PUSH1 0xe5 00000e43: SHL 00000e44: DUP2 00000e45: MSTORE 00000e46: PUSH1 0x20 00000e48: PUSH1 0x04 00000e4a: DUP3 00000e4b: ADD 00000e4c: MSTORE 00000e4d: PUSH1 0x25 00000e4f: PUSH1 0x24 00000e51: DUP3 00000e52: ADD 00000e53: MSTORE 00000e54: PUSH32 0x45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77 00000e75: PUSH1 0x44 00000e77: DUP3 00000e78: ADD 00000e79: MSTORE 00000e7a: PUSH5 0x207a65726f 00000e80: PUSH1 0xd8 00000e82: SHL 00000e83: PUSH1 0x64 00000e85: DUP3 00000e86: ADD 00000e87: MSTORE 00000e88: PUSH1 0x84 00000e8a: ADD 00000e8b: PUSH2 0x098d 00000e8e: JUMP 00000e8f: JUMPDEST 00000e90: PUSH2 0x0e9c 00000e93: DUP3 00000e94: DUP7 00000e95: DUP7 00000e96: DUP5 00000e97: SUB 00000e98: PUSH2 0x1d4a 00000e9b: JUMP 00000e9c: JUMPDEST 00000e9d: POP 00000e9e: PUSH1 0x01 00000ea0: SWAP5 00000ea1: SWAP4 00000ea2: POP 00000ea3: POP 00000ea4: POP 00000ea5: POP 00000ea6: JUMP 00000ea7: JUMPDEST 00000ea8: PUSH2 0x0eaf 00000eab: PUSH2 0x1f80 00000eae: JUMP 00000eaf: JUMPDEST 00000eb0: PUSH3 0x015180 00000eb4: DUP2 00000eb5: GT 00000eb6: PUSH2 0x0ef5 00000eb9: JUMPI 00000eba: PUSH1 0x40 00000ebc: MLOAD 00000ebd: PUSH3 0x461bcd 00000ec1: PUSH1 0xe5 00000ec3: SHL 00000ec4: DUP2 00000ec5: MSTORE 00000ec6: PUSH1 0x20 00000ec8: PUSH1 0x04 00000eca: DUP3 00000ecb: ADD 00000ecc: MSTORE 00000ecd: PUSH1 0x11 00000ecf: PUSH1 0x24 00000ed1: DUP3 00000ed2: ADD 00000ed3: MSTORE 00000ed4: PUSH17 0x496e76616c6964206c6f636b2074696d65 00000ee6: PUSH1 0x78 00000ee8: SHL 00000ee9: PUSH1 0x44 00000eeb: DUP3 00000eec: ADD 00000eed: MSTORE 00000eee: PUSH1 0x64 00000ef0: ADD 00000ef1: PUSH2 0x098d 00000ef4: JUMP 00000ef5: JUMPDEST 00000ef6: PUSH1 0xd5 00000ef8: DUP2 00000ef9: SWAP1 00000efa: SSTORE 00000efb: PUSH1 0x40 00000efd: MLOAD 00000efe: DUP2 00000eff: DUP2 00000f00: MSTORE 00000f01: PUSH32 0x41a6f7a07efe36ac8a11a10901396cbbac41e0210de8914c1ca3891288b28f4e 00000f22: SWAP1 00000f23: PUSH1 0x20 00000f25: ADD 00000f26: JUMPDEST 00000f27: PUSH1 0x40 00000f29: MLOAD 00000f2a: DUP1 00000f2b: SWAP2 00000f2c: SUB 00000f2d: SWAP1 00000f2e: LOG1 00000f2f: POP 00000f30: JUMP 00000f31: JUMPDEST 00000f32: CALLER 00000f33: PUSH0 00000f34: SWAP1 00000f35: DUP2 00000f36: MSTORE 00000f37: PUSH1 0xd4 00000f39: PUSH1 0x20 00000f3b: MSTORE 00000f3c: PUSH1 0x40 00000f3e: DUP2 00000f3f: KECCAK256 00000f40: SLOAD 00000f41: PUSH1 0xff 00000f43: AND 00000f44: PUSH2 0x0f5f 00000f47: JUMPI 00000f48: PUSH1 0x40 00000f4a: MLOAD 00000f4b: PUSH3 0x461bcd 00000f4f: PUSH1 0xe5 00000f51: SHL 00000f52: DUP2 00000f53: MSTORE 00000f54: PUSH1 0x04 00000f56: ADD 00000f57: PUSH2 0x098d 00000f5a: SWAP1 00000f5b: PUSH2 0x2c16 00000f5e: JUMP 00000f5f: JUMPDEST 00000f60: PUSH1 0xcd 00000f62: SLOAD 00000f63: DUP4 00000f64: SWAP1 00000f65: DUP2 00000f66: LT 00000f67: PUSH2 0x0fab 00000f6a: JUMPI 00000f6b: PUSH1 0x40 00000f6d: MLOAD 00000f6e: PUSH3 0x461bcd 00000f72: PUSH1 0xe5 00000f74: SHL 00000f75: DUP2 00000f76: MSTORE 00000f77: PUSH1 0x20 00000f79: PUSH1 0x04 00000f7b: DUP3 00000f7c: ADD 00000f7d: MSTORE 00000f7e: PUSH1 0x16 00000f80: PUSH1 0x24 00000f82: DUP3 00000f83: ADD 00000f84: MSTORE 00000f85: PUSH22 0x139bdd08195b9bdd59da08115512081d1bc81b195b99 00000f9c: PUSH1 0x52 00000f9e: SHL 00000f9f: PUSH1 0x44 00000fa1: DUP3 00000fa2: ADD 00000fa3: MSTORE 00000fa4: PUSH1 0x64 00000fa6: ADD 00000fa7: PUSH2 0x098d 00000faa: JUMP 00000fab: JUMPDEST 00000fac: CALLER 00000fad: PUSH0 00000fae: SWAP1 00000faf: DUP2 00000fb0: MSTORE 00000fb1: PUSH2 0x0108 00000fb4: PUSH1 0x20 00000fb6: SWAP1 00000fb7: DUP2 00000fb8: MSTORE 00000fb9: PUSH1 0x40 00000fbb: DUP1 00000fbc: DUP4 00000fbd: KECCAK256 00000fbe: SLOAD 00000fbf: PUSH2 0x0109 00000fc2: SWAP1 00000fc3: SWAP3 00000fc4: MSTORE 00000fc5: SWAP1 00000fc6: SWAP2 00000fc7: KECCAK256 00000fc8: SLOAD 00000fc9: PUSH2 0x0fd3 00000fcc: SWAP1 00000fcd: DUP7 00000fce: SWAP1 00000fcf: PUSH2 0x2c6b 00000fd2: JUMP 00000fd3: JUMPDEST 00000fd4: GT 00000fd5: ISZERO 00000fd6: PUSH2 0x1016 00000fd9: JUMPI 00000fda: PUSH1 0x40 00000fdc: MLOAD 00000fdd: PUSH3 0x461bcd 00000fe1: PUSH1 0xe5 00000fe3: SHL 00000fe4: DUP2 00000fe5: MSTORE 00000fe6: PUSH1 0x20 00000fe8: PUSH1 0x04 00000fea: DUP3 00000feb: ADD 00000fec: MSTORE 00000fed: PUSH1 0x12 00000fef: PUSH1 0x24 00000ff1: DUP3 00000ff2: ADD 00000ff3: MSTORE 00000ff4: PUSH18 0x109bdc9c9bddc818d85c081c995858da1959 00001007: PUSH1 0x72 00001009: SHL 0000100a: PUSH1 0x44 0000100c: DUP3 0000100d: ADD 0000100e: MSTORE 0000100f: PUSH1 0x64 00001011: ADD 00001012: PUSH2 0x098d 00001015: JUMP 00001016: JUMPDEST 00001017: CALLER 00001018: PUSH0 00001019: SWAP1 0000101a: DUP2 0000101b: MSTORE 0000101c: PUSH2 0x0109 0000101f: PUSH1 0x20 00001021: MSTORE 00001022: PUSH1 0x40 00001024: DUP2 00001025: KECCAK256 00001026: DUP1 00001027: SLOAD 00001028: DUP7 00001029: SWAP3 0000102a: SWAP1 0000102b: PUSH2 0x1035 0000102e: SWAP1 0000102f: DUP5 00001030: SWAP1 00001031: PUSH2 0x2c6b 00001034: JUMP 00001035: JUMPDEST 00001036: SWAP3 00001037: POP 00001038: POP 00001039: DUP2 0000103a: SWAP1 0000103b: SSTORE 0000103c: POP 0000103d: DUP4 0000103e: PUSH1 0xd0 00001040: PUSH0 00001041: DUP3 00001042: DUP3 00001043: SLOAD 00001044: PUSH2 0x104d 00001047: SWAP2 00001048: SWAP1 00001049: PUSH2 0x2c6b 0000104c: JUMP 0000104d: JUMPDEST 0000104e: SWAP3 0000104f: POP 00001050: POP 00001051: DUP2 00001052: SWAP1 00001053: SSTORE 00001054: POP 00001055: DUP4 00001056: PUSH1 0xcd 00001058: PUSH0 00001059: DUP3 0000105a: DUP3 0000105b: SLOAD 0000105c: PUSH2 0x1065 0000105f: SWAP2 00001060: SWAP1 00001061: PUSH2 0x2c58 00001064: JUMP 00001065: JUMPDEST 00001066: SWAP1 00001067: SWAP2 00001068: SSTORE 00001069: POP 0000106a: POP 0000106b: PUSH1 0xd1 0000106d: SLOAD 0000106e: PUSH2 0x1075 00001071: PUSH2 0x0c9a 00001074: JUMP 00001075: JUMPDEST 00001076: GT 00001077: ISZERO 00001078: PUSH2 0x10bd 0000107b: JUMPI 0000107c: PUSH1 0x40 0000107e: MLOAD 0000107f: PUSH3 0x461bcd 00001083: PUSH1 0xe5 00001085: SHL 00001086: DUP2 00001087: MSTORE 00001088: PUSH1 0x20 0000108a: PUSH1 0x04 0000108c: DUP3 0000108d: ADD 0000108e: MSTORE 0000108f: PUSH1 0x17 00001091: PUSH1 0x24 00001093: DUP3 00001094: ADD 00001095: MSTORE 00001096: PUSH23 0x098caeccae4c2ceca40e4c2e8d2de40e8dede40d0d2ced 000010ae: PUSH1 0x4b 000010b0: SHL 000010b1: PUSH1 0x44 000010b3: DUP3 000010b4: ADD 000010b5: MSTORE 000010b6: PUSH1 0x64 000010b8: ADD 000010b9: PUSH2 0x098d 000010bc: JUMP 000010bd: JUMPDEST 000010be: PUSH1 0xc9 000010c0: SLOAD 000010c1: PUSH2 0x10d4 000010c4: SWAP1 000010c5: PUSH1 0x01 000010c7: PUSH1 0x01 000010c9: PUSH1 0xa0 000010cb: SHL 000010cc: SUB 000010cd: AND 000010ce: DUP5 000010cf: DUP4 000010d0: PUSH2 0x21f5 000010d3: JUMP 000010d4: JUMPDEST 000010d5: DUP3 000010d6: PUSH1 0x01 000010d8: PUSH1 0x01 000010da: PUSH1 0xa0 000010dc: SHL 000010dd: SUB 000010de: AND 000010df: PUSH32 0x41b123d2493c7b2067b8b7f49cf71532523d83ead11494d793531ece1fd4d046 00001100: DUP3 00001101: PUSH1 0x40 00001103: MLOAD 00001104: PUSH2 0x110f 00001107: SWAP2 00001108: DUP2 00001109: MSTORE 0000110a: PUSH1 0x20 0000110c: ADD 0000110d: SWAP1 0000110e: JUMP 0000110f: JUMPDEST 00001110: PUSH1 0x40 00001112: MLOAD 00001113: DUP1 00001114: SWAP2 00001115: SUB 00001116: SWAP1 00001117: LOG2 00001118: POP 00001119: PUSH1 0x01 0000111b: SWAP4 0000111c: SWAP3 0000111d: POP 0000111e: POP 0000111f: POP 00001120: JUMP 00001121: JUMPDEST 00001122: PUSH0 00001123: PUSH2 0x0a3b 00001126: DUP3 00001127: PUSH1 0x01 00001129: PUSH2 0x1d0b 0000112c: JUMP 0000112d: JUMPDEST 0000112e: PUSH0 0000112f: DUP4 00001130: PUSH0 00001131: DUP2 00001132: GT 00001133: PUSH2 0x114e 00001136: JUMPI 00001137: PUSH1 0x40 00001139: MLOAD 0000113a: PUSH3 0x461bcd 0000113e: PUSH1 0xe5 00001140: SHL 00001141: DUP2 00001142: MSTORE 00001143: PUSH1 0x04 00001145: ADD 00001146: PUSH2 0x098d 00001149: SWAP1 0000114a: PUSH2 0x2d08 0000114d: JUMP 0000114e: JUMPDEST 0000114f: CALLER 00001150: PUSH0 00001151: SWAP1 00001152: DUP2 00001153: MSTORE 00001154: PUSH1 0xd2 00001156: PUSH1 0x20 00001158: MSTORE 00001159: PUSH1 0x40 0000115b: SWAP1 0000115c: KECCAK256 0000115d: SLOAD 0000115e: TIMESTAMP 0000115f: GT 00001160: PUSH2 0x117b 00001163: JUMPI 00001164: PUSH1 0x40 00001166: MLOAD 00001167: PUSH3 0x461bcd 0000116b: PUSH1 0xe5 0000116d: SHL 0000116e: DUP2 0000116f: MSTORE 00001170: PUSH1 0x04 00001172: ADD 00001173: PUSH2 0x098d 00001176: SWAP1 00001177: PUSH2 0x2d9e 0000117a: JUMP 0000117b: JUMPDEST 0000117c: PUSH2 0x1184 0000117f: CALLER 00001180: PUSH2 0x155f 00001183: JUMP 00001184: JUMPDEST 00001185: DUP6 00001186: GT 00001187: ISZERO 00001188: PUSH2 0x11a3 0000118b: JUMPI 0000118c: PUSH1 0x40 0000118e: MLOAD 0000118f: PUSH3 0x461bcd 00001193: PUSH1 0xe5 00001195: SHL 00001196: DUP2 00001197: MSTORE 00001198: PUSH1 0x04 0000119a: ADD 0000119b: PUSH2 0x098d 0000119e: SWAP1 0000119f: PUSH2 0x2dc4 000011a2: JUMP 000011a3: JUMPDEST 000011a4: DUP5 000011a5: PUSH2 0x11ad 000011a8: PUSH1 0xcd 000011aa: SLOAD 000011ab: SWAP1 000011ac: JUMP 000011ad: JUMPDEST 000011ae: LT 000011af: ISZERO 000011b0: PUSH2 0x11cb 000011b3: JUMPI 000011b4: PUSH1 0x40 000011b6: MLOAD 000011b7: PUSH3 0x461bcd 000011bb: PUSH1 0xe5 000011bd: SHL 000011be: DUP2 000011bf: MSTORE 000011c0: PUSH1 0x04 000011c2: ADD 000011c3: PUSH2 0x098d 000011c6: SWAP1 000011c7: PUSH2 0x2dfb 000011ca: JUMP 000011cb: JUMPDEST 000011cc: PUSH0 000011cd: PUSH2 0x11d4 000011d0: PUSH2 0x0c9a 000011d3: JUMP 000011d4: JUMPDEST 000011d5: SWAP1 000011d6: POP 000011d7: PUSH0 000011d8: PUSH2 0x11e0 000011db: DUP8 000011dc: PUSH2 0x0b09 000011df: JUMP 000011e0: JUMPDEST 000011e1: SWAP1 000011e2: POP 000011e3: PUSH0 000011e4: PUSH2 0x2710 000011e7: PUSH1 0xcb 000011e9: SLOAD 000011ea: DUP10 000011eb: PUSH2 0x11f4 000011ee: SWAP2 000011ef: SWAP1 000011f0: PUSH2 0x2e32 000011f3: JUMP 000011f4: JUMPDEST 000011f5: PUSH2 0x11fe 000011f8: SWAP2 000011f9: SWAP1 000011fa: PUSH2 0x2e5d 000011fd: JUMP 000011fe: JUMPDEST 000011ff: SWAP1 00001200: POP 00001201: PUSH0 00001202: PUSH2 0x120b 00001205: DUP3 00001206: DUP11 00001207: PUSH2 0x2c58 0000120a: JUMP 0000120b: JUMPDEST 0000120c: SWAP1 0000120d: POP 0000120e: DUP9 0000120f: PUSH1 0xcd 00001211: PUSH0 00001212: DUP3 00001213: DUP3 00001214: SLOAD 00001215: PUSH2 0x121e 00001218: SWAP2 00001219: SWAP1 0000121a: PUSH2 0x2c58 0000121d: JUMP 0000121e: JUMPDEST 0000121f: SWAP1 00001220: SWAP2 00001221: SSTORE 00001222: POP 00001223: POP 00001224: PUSH1 0xca 00001226: SLOAD 00001227: PUSH1 0xc9 00001229: SLOAD 0000122a: PUSH2 0x1240 0000122d: SWAP2 0000122e: PUSH1 0x01 00001230: PUSH1 0x01 00001232: PUSH1 0xa0 00001234: SHL 00001235: SUB 00001236: SWAP2 00001237: DUP3 00001238: AND 00001239: SWAP2 0000123a: AND 0000123b: DUP5 0000123c: PUSH2 0x21f5 0000123f: JUMP 00001240: JUMPDEST 00001241: PUSH2 0x124d 00001244: CALLER 00001245: CALLER 00001246: CALLER 00001247: DUP5 00001248: DUP8 00001249: PUSH2 0x2219 0000124c: JUMP 0000124d: JUMPDEST 0000124e: PUSH2 0x010a 00001251: SLOAD 00001252: PUSH1 0x01 00001254: PUSH1 0x01 00001256: PUSH1 0xa0 00001258: SHL 00001259: SUB 0000125a: AND 0000125b: ISZERO 0000125c: PUSH2 0x12c6 0000125f: JUMPI 00001260: PUSH2 0x010a 00001263: SLOAD 00001264: PUSH1 0x01 00001266: PUSH1 0x01 00001268: PUSH1 0xa0 0000126a: SHL 0000126b: SUB 0000126c: AND 0000126d: PUSH4 0x90105b42 00001272: CALLER 00001273: PUSH2 0x127b 00001276: DUP2 00001277: PUSH2 0x0dd7 0000127a: JUMP 0000127b: JUMPDEST 0000127c: PUSH1 0x40 0000127e: MLOAD 0000127f: DUP4 00001280: PUSH4 0xffffffff 00001285: AND 00001286: PUSH1 0xe0 00001288: SHL 00001289: DUP2 0000128a: MSTORE 0000128b: PUSH1 0x04 0000128d: ADD 0000128e: PUSH2 0x1298 00001291: SWAP3 00001292: SWAP2 00001293: SWAP1 00001294: PUSH2 0x2cef 00001297: JUMP 00001298: JUMPDEST 00001299: PUSH0 0000129a: PUSH1 0x40 0000129c: MLOAD 0000129d: DUP1 0000129e: DUP4 0000129f: SUB 000012a0: DUP2 000012a1: PUSH0 000012a2: DUP8 000012a3: DUP1 000012a4: EXTCODESIZE 000012a5: ISZERO 000012a6: DUP1 000012a7: ISZERO 000012a8: PUSH2 0x12af 000012ab: JUMPI 000012ac: PUSH0 000012ad: DUP1 000012ae: REVERT 000012af: JUMPDEST 000012b0: POP 000012b1: GAS 000012b2: CALL 000012b3: ISZERO 000012b4: DUP1 000012b5: ISZERO 000012b6: PUSH2 0x12c1 000012b9: JUMPI 000012ba: RETURNDATASIZE 000012bb: PUSH0 000012bc: DUP1 000012bd: RETURNDATACOPY 000012be: RETURNDATASIZE 000012bf: PUSH0 000012c0: REVERT 000012c1: JUMPDEST 000012c2: POP 000012c3: POP 000012c4: POP 000012c5: POP 000012c6: JUMPDEST 000012c7: PUSH32 0x0d34beab7357fa067b59a9186779387ab8d932e5c2912b57e7214d3339065f59 000012e8: CALLER 000012e9: DUP10 000012ea: DUP10 000012eb: DUP13 000012ec: DUP8 000012ed: TIMESTAMP 000012ee: DUP11 000012ef: PUSH1 0x40 000012f1: MLOAD 000012f2: PUSH2 0x1301 000012f5: SWAP8 000012f6: SWAP7 000012f7: SWAP6 000012f8: SWAP5 000012f9: SWAP4 000012fa: SWAP3 000012fb: SWAP2 000012fc: SWAP1 000012fd: PUSH2 0x2e7c 00001300: JUMP 00001301: JUMPDEST 00001302: PUSH1 0x40 00001304: MLOAD 00001305: DUP1 00001306: SWAP2 00001307: SUB 00001308: SWAP1 00001309: LOG1 0000130a: POP 0000130b: SWAP1 0000130c: SWAP8 0000130d: SWAP7 0000130e: POP 0000130f: POP 00001310: POP 00001311: POP 00001312: POP 00001313: POP 00001314: POP 00001315: JUMP 00001316: JUMPDEST 00001317: PUSH2 0x131e 0000131a: PUSH2 0x1f80 0000131d: JUMP 0000131e: JUMPDEST 0000131f: DUP2 00001320: PUSH1 0x01 00001322: PUSH1 0x01 00001324: PUSH1 0xa0 00001326: SHL 00001327: SUB 00001328: DUP2 00001329: AND 0000132a: PUSH2 0x1345 0000132d: JUMPI 0000132e: PUSH1 0x40 00001330: MLOAD 00001331: PUSH3 0x461bcd 00001335: PUSH1 0xe5 00001337: SHL 00001338: DUP2 00001339: MSTORE 0000133a: PUSH1 0x04 0000133c: ADD 0000133d: PUSH2 0x098d 00001340: SWAP1 00001341: PUSH2 0x2cc9 00001344: JUMP 00001345: JUMPDEST 00001346: POP 00001347: PUSH1 0x01 00001349: PUSH1 0x01 0000134b: PUSH1 0xa0 0000134d: SHL 0000134e: SUB 0000134f: SWAP2 00001350: SWAP1 00001351: SWAP2 00001352: AND 00001353: PUSH0 00001354: SWAP1 00001355: DUP2 00001356: MSTORE 00001357: PUSH1 0xd4 00001359: PUSH1 0x20 0000135b: MSTORE 0000135c: PUSH1 0x40 0000135e: SWAP1 0000135f: KECCAK256 00001360: DUP1 00001361: SLOAD 00001362: PUSH1 0xff 00001364: NOT 00001365: AND 00001366: SWAP2 00001367: ISZERO 00001368: ISZERO 00001369: SWAP2 0000136a: SWAP1 0000136b: SWAP2 0000136c: OR 0000136d: SWAP1 0000136e: SSTORE 0000136f: JUMP 00001370: JUMPDEST 00001371: PUSH0 00001372: SLOAD 00001373: PUSH2 0x0100 00001376: SWAP1 00001377: DIV 00001378: PUSH1 0xff 0000137a: AND 0000137b: ISZERO 0000137c: DUP1 0000137d: DUP1 0000137e: ISZERO 0000137f: PUSH2 0x138e 00001382: JUMPI 00001383: POP 00001384: PUSH0 00001385: SLOAD 00001386: PUSH1 0x01 00001388: PUSH1 0xff 0000138a: SWAP1 0000138b: SWAP2 0000138c: AND 0000138d: LT 0000138e: JUMPDEST 0000138f: DUP1 00001390: PUSH2 0x13ae 00001393: JUMPI 00001394: POP 00001395: PUSH2 0x139d 00001398: ADDRESS 00001399: PUSH2 0x22c5 0000139c: JUMP 0000139d: JUMPDEST 0000139e: ISZERO 0000139f: DUP1 000013a0: ISZERO 000013a1: PUSH2 0x13ae 000013a4: JUMPI 000013a5: POP 000013a6: PUSH0 000013a7: SLOAD 000013a8: PUSH1 0xff 000013aa: AND 000013ab: PUSH1 0x01 000013ad: EQ 000013ae: JUMPDEST 000013af: PUSH2 0x1411 000013b2: JUMPI 000013b3: PUSH1 0x40 000013b5: MLOAD 000013b6: PUSH3 0x461bcd 000013ba: PUSH1 0xe5 000013bc: SHL 000013bd: DUP2 000013be: MSTORE 000013bf: PUSH1 0x20 000013c1: PUSH1 0x04 000013c3: DUP3 000013c4: ADD 000013c5: MSTORE 000013c6: PUSH1 0x2e 000013c8: PUSH1 0x24 000013ca: DUP3 000013cb: ADD 000013cc: MSTORE 000013cd: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561 000013ee: PUSH1 0x44 000013f0: DUP3 000013f1: ADD 000013f2: MSTORE 000013f3: PUSH14 0x191e481a5b9a5d1a585b1a5e9959 00001402: PUSH1 0x92 00001404: SHL 00001405: PUSH1 0x64 00001407: DUP3 00001408: ADD 00001409: MSTORE 0000140a: PUSH1 0x84 0000140c: ADD 0000140d: PUSH2 0x098d 00001410: JUMP 00001411: JUMPDEST 00001412: PUSH0 00001413: DUP1 00001414: SLOAD 00001415: PUSH1 0xff 00001417: NOT 00001418: AND 00001419: PUSH1 0x01 0000141b: OR 0000141c: SWAP1 0000141d: SSTORE 0000141e: DUP1 0000141f: ISZERO 00001420: PUSH2 0x1432 00001423: JUMPI 00001424: PUSH0 00001425: DUP1 00001426: SLOAD 00001427: PUSH2 0xff00 0000142a: NOT 0000142b: AND 0000142c: PUSH2 0x0100 0000142f: OR 00001430: SWAP1 00001431: SSTORE 00001432: JUMPDEST 00001433: PUSH1 0x01 00001435: PUSH1 0x01 00001437: PUSH1 0xa0 00001439: SHL 0000143a: SUB 0000143b: DUP3 0000143c: AND 0000143d: PUSH2 0x1458 00001440: JUMPI 00001441: PUSH1 0x40 00001443: MLOAD 00001444: PUSH3 0x461bcd 00001448: PUSH1 0xe5 0000144a: SHL 0000144b: DUP2 0000144c: MSTORE 0000144d: PUSH1 0x04 0000144f: ADD 00001450: PUSH2 0x098d 00001453: SWAP1 00001454: PUSH2 0x2cc9 00001457: JUMP 00001458: JUMPDEST 00001459: PUSH1 0xc9 0000145b: DUP1 0000145c: SLOAD 0000145d: PUSH1 0x01 0000145f: PUSH1 0x01 00001461: PUSH1 0xa0 00001463: SHL 00001464: SUB 00001465: NOT 00001466: SWAP1 00001467: DUP2 00001468: AND 00001469: PUSH1 0x01 0000146b: PUSH1 0x01 0000146d: PUSH1 0xa0 0000146f: SHL 00001470: SUB 00001471: DUP6 00001472: AND 00001473: OR 00001474: SWAP1 00001475: SWAP2 00001476: SSTORE 00001477: PUSH8 0x0de0b6b3a7640000 00001480: PUSH1 0xcc 00001482: SSTORE 00001483: PUSH1 0xca 00001485: DUP1 00001486: SLOAD 00001487: CALLER 00001488: SWAP3 00001489: AND 0000148a: DUP3 0000148b: OR 0000148c: SWAP1 0000148d: SSTORE 0000148e: PUSH0 0000148f: PUSH1 0xd5 00001491: DUP2 00001492: SWAP1 00001493: SSTORE 00001494: SWAP1 00001495: DUP2 00001496: MSTORE 00001497: PUSH1 0xd3 00001499: PUSH1 0x20 0000149b: MSTORE 0000149c: PUSH1 0x40 0000149e: SWAP1 0000149f: KECCAK256 000014a0: DUP1 000014a1: SLOAD 000014a2: PUSH1 0xff 000014a4: NOT 000014a5: AND 000014a6: PUSH1 0x01 000014a8: OR 000014a9: SWAP1 000014aa: SSTORE 000014ab: PUSH2 0x14b2 000014ae: PUSH2 0x22d4 000014b1: JUMP 000014b2: JUMPDEST 000014b3: PUSH2 0x14bb 000014b6: DUP3 000014b7: PUSH2 0x2302 000014ba: JUMP 000014bb: JUMPDEST 000014bc: PUSH2 0x150b 000014bf: PUSH1 0x40 000014c1: MLOAD 000014c2: DUP1 000014c3: PUSH1 0x40 000014c5: ADD 000014c6: PUSH1 0x40 000014c8: MSTORE 000014c9: DUP1 000014ca: PUSH1 0x0b 000014cc: DUP2 000014cd: MSTORE 000014ce: PUSH1 0x20 000014d0: ADD 000014d1: PUSH11 0x22aa2416a0b4b9283ab333 000014dd: PUSH1 0xa9 000014df: SHL 000014e0: DUP2 000014e1: MSTORE 000014e2: POP 000014e3: PUSH1 0x40 000014e5: MLOAD 000014e6: DUP1 000014e7: PUSH1 0x40 000014e9: ADD 000014ea: PUSH1 0x40 000014ec: MSTORE 000014ed: DUP1 000014ee: PUSH1 0x0b 000014f0: DUP2 000014f1: MSTORE 000014f2: PUSH1 0x20 000014f4: ADD 000014f5: PUSH11 0x22aa2416a0b4b9283ab333 00001501: PUSH1 0xa9 00001503: SHL 00001504: DUP2 00001505: MSTORE 00001506: POP 00001507: PUSH2 0x2331 0000150a: JUMP 0000150b: JUMPDEST 0000150c: DUP1 0000150d: ISZERO 0000150e: PUSH2 0x1550 00001511: JUMPI 00001512: PUSH0 00001513: DUP1 00001514: SLOAD 00001515: PUSH2 0xff00 00001518: NOT 00001519: AND 0000151a: SWAP1 0000151b: SSTORE 0000151c: PUSH1 0x40 0000151e: MLOAD 0000151f: PUSH1 0x01 00001521: DUP2 00001522: MSTORE 00001523: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498 00001544: SWAP1 00001545: PUSH1 0x20 00001547: ADD 00001548: PUSH1 0x40 0000154a: MLOAD 0000154b: DUP1 0000154c: SWAP2 0000154d: SUB 0000154e: SWAP1 0000154f: LOG1 00001550: JUMPDEST 00001551: POP 00001552: POP 00001553: JUMP 00001554: JUMPDEST 00001555: PUSH0 00001556: PUSH2 0x0a3b 00001559: DUP3 0000155a: PUSH0 0000155b: PUSH2 0x1e6d 0000155e: JUMP 0000155f: JUMPDEST 00001560: PUSH0 00001561: PUSH2 0x0a3b 00001564: PUSH2 0x156c 00001567: DUP4 00001568: PUSH2 0x0dd7 0000156b: JUMP 0000156c: JUMPDEST 0000156d: PUSH0 0000156e: PUSH2 0x1d0b 00001571: JUMP 00001572: JUMPDEST 00001573: PUSH0 00001574: PUSH2 0x0a3b 00001577: DUP3 00001578: PUSH2 0x0dd7 0000157b: JUMP 0000157c: JUMPDEST 0000157d: PUSH2 0x1584 00001580: PUSH2 0x1f80 00001583: JUMP 00001584: JUMPDEST 00001585: PUSH2 0x010a 00001588: DUP1 00001589: SLOAD 0000158a: PUSH1 0x01 0000158c: PUSH1 0x01 0000158e: PUSH1 0xa0 00001590: SHL 00001591: SUB 00001592: NOT 00001593: AND 00001594: PUSH1 0x01 00001596: PUSH1 0x01 00001598: PUSH1 0xa0 0000159a: SHL 0000159b: SUB 0000159c: DUP4 0000159d: AND 0000159e: OR 0000159f: SWAP1 000015a0: SSTORE 000015a1: PUSH1 0x40 000015a3: MLOAD 000015a4: PUSH32 0x3edc4c109bdc9b34f00f24744f770e8de831fd903d0fc75d4d990d5d81b75b98 000015c5: SWAP1 000015c6: PUSH2 0x0f26 000015c9: SWAP1 000015ca: DUP4 000015cb: SWAP1 000015cc: PUSH2 0x2ae3 000015cf: JUMP 000015d0: JUMPDEST 000015d1: PUSH1 0x01 000015d3: PUSH1 0x01 000015d5: PUSH1 0xa0 000015d7: SHL 000015d8: SUB 000015d9: SWAP2 000015da: DUP3 000015db: AND 000015dc: PUSH0 000015dd: SWAP1 000015de: DUP2 000015df: MSTORE 000015e0: PUSH1 0x34 000015e2: PUSH1 0x20 000015e4: SWAP1 000015e5: DUP2 000015e6: MSTORE 000015e7: PUSH1 0x40 000015e9: DUP1 000015ea: DUP4 000015eb: KECCAK256 000015ec: SWAP4 000015ed: SWAP1 000015ee: SWAP5 000015ef: AND 000015f0: DUP3 000015f1: MSTORE 000015f2: SWAP2 000015f3: SWAP1 000015f4: SWAP2 000015f5: MSTORE 000015f6: KECCAK256 000015f7: SLOAD 000015f8: SWAP1 000015f9: JUMP 000015fa: JUMPDEST 000015fb: CALLER 000015fc: PUSH0 000015fd: SWAP1 000015fe: DUP2 000015ff: MSTORE 00001600: PUSH1 0xd3 00001602: PUSH1 0x20 00001604: MSTORE 00001605: PUSH1 0x40 00001607: SWAP1 00001608: KECCAK256 00001609: SLOAD 0000160a: PUSH1 0xff 0000160c: AND 0000160d: PUSH2 0x1657 00001610: JUMPI 00001611: PUSH1 0x40 00001613: MLOAD 00001614: PUSH3 0x461bcd 00001618: PUSH1 0xe5 0000161a: SHL 0000161b: DUP2 0000161c: MSTORE 0000161d: PUSH1 0x20 0000161f: PUSH1 0x04 00001621: DUP3 00001622: ADD 00001623: MSTORE 00001624: PUSH1 0x1c 00001626: PUSH1 0x24 00001628: DUP3 00001629: ADD 0000162a: MSTORE 0000162b: PUSH28 0x09cdee840c2d8d8deeecac840e8de40d2dcc6e4cadacadce8408aa89 00001648: PUSH1 0x23 0000164a: SHL 0000164b: PUSH1 0x44 0000164d: DUP3 0000164e: ADD 0000164f: MSTORE 00001650: PUSH1 0x64 00001652: ADD 00001653: PUSH2 0x098d 00001656: JUMP 00001657: JUMPDEST 00001658: PUSH1 0xc9 0000165a: SLOAD 0000165b: PUSH2 0x166f 0000165e: SWAP1 0000165f: PUSH1 0x01 00001661: PUSH1 0x01 00001663: PUSH1 0xa0 00001665: SHL 00001666: SUB 00001667: AND 00001668: CALLER 00001669: ADDRESS 0000166a: DUP5 0000166b: PUSH2 0x1cad 0000166e: JUMP 0000166f: JUMPDEST 00001670: DUP1 00001671: PUSH1 0xcd 00001673: PUSH0 00001674: DUP3 00001675: DUP3 00001676: SLOAD 00001677: PUSH2 0x1680 0000167a: SWAP2 0000167b: SWAP1 0000167c: PUSH2 0x2c6b 0000167f: JUMP 00001680: JUMPDEST 00001681: SWAP1 00001682: SWAP2 00001683: SSTORE 00001684: POP 00001685: POP 00001686: PUSH1 0x40 00001688: MLOAD 00001689: DUP2 0000168a: DUP2 0000168b: MSTORE 0000168c: PUSH32 0x6ab324fc2922570f4ce4ed0255169129d74bcd4bbcf54c1be3162b0d1fdc7365 000016ad: SWAP1 000016ae: PUSH1 0x20 000016b0: ADD 000016b1: PUSH2 0x0f26 000016b4: JUMP 000016b5: JUMPDEST 000016b6: PUSH2 0x16bd 000016b9: PUSH2 0x1f80 000016bc: JUMP 000016bd: JUMPDEST 000016be: PUSH8 0x0de0b6b3a7640000 000016c7: DUP2 000016c8: GT 000016c9: ISZERO 000016ca: PUSH2 0x1710 000016cd: JUMPI 000016ce: PUSH1 0x40 000016d0: MLOAD 000016d1: PUSH3 0x461bcd 000016d5: PUSH1 0xe5 000016d7: SHL 000016d8: DUP2 000016d9: MSTORE 000016da: PUSH1 0x20 000016dc: PUSH1 0x04 000016de: DUP3 000016df: ADD 000016e0: MSTORE 000016e1: PUSH1 0x18 000016e3: PUSH1 0x24 000016e5: DUP3 000016e6: ADD 000016e7: MSTORE 000016e8: PUSH24 0x496e76616c6964207574696c697a6174696f6e2072617465 00001701: PUSH1 0x40 00001703: SHL 00001704: PUSH1 0x44 00001706: DUP3 00001707: ADD 00001708: MSTORE 00001709: PUSH1 0x64 0000170b: ADD 0000170c: PUSH2 0x098d 0000170f: JUMP 00001710: JUMPDEST 00001711: PUSH1 0xd1 00001713: SSTORE 00001714: JUMP 00001715: JUMPDEST 00001716: PUSH2 0x171d 00001719: PUSH2 0x1f80 0000171c: JUMP 0000171d: JUMPDEST 0000171e: DUP2 0000171f: PUSH1 0x01 00001721: PUSH1 0x01 00001723: PUSH1 0xa0 00001725: SHL 00001726: SUB 00001727: DUP2 00001728: AND 00001729: PUSH2 0x1744 0000172c: JUMPI 0000172d: PUSH1 0x40 0000172f: MLOAD 00001730: PUSH3 0x461bcd 00001734: PUSH1 0xe5 00001736: SHL 00001737: DUP2 00001738: MSTORE 00001739: PUSH1 0x04 0000173b: ADD 0000173c: PUSH2 0x098d 0000173f: SWAP1 00001740: PUSH2 0x2cc9 00001743: JUMP 00001744: JUMPDEST 00001745: PUSH0 00001746: DUP3 00001747: GT 00001748: PUSH2 0x1781 0000174b: JUMPI 0000174c: PUSH1 0x40 0000174e: MLOAD 0000174f: PUSH3 0x461bcd 00001753: PUSH1 0xe5 00001755: SHL 00001756: DUP2 00001757: MSTORE 00001758: PUSH1 0x20 0000175a: PUSH1 0x04 0000175c: DUP3 0000175d: ADD 0000175e: MSTORE 0000175f: PUSH1 0x0b 00001761: PUSH1 0x24 00001763: DUP3 00001764: ADD 00001765: MSTORE 00001766: PUSH11 0x0496e76616c69642063617 00001772: PUSH1 0xac 00001774: SHL 00001775: PUSH1 0x44 00001777: DUP3 00001778: ADD 00001779: MSTORE 0000177a: PUSH1 0x64 0000177c: ADD 0000177d: PUSH2 0x098d 00001780: JUMP 00001781: JUMPDEST 00001782: PUSH1 0x01 00001784: PUSH1 0x01 00001786: PUSH1 0xa0 00001788: SHL 00001789: SUB 0000178a: DUP4 0000178b: AND 0000178c: PUSH0 0000178d: SWAP1 0000178e: DUP2 0000178f: MSTORE 00001790: PUSH2 0x0108 00001793: PUSH1 0x20 00001795: MSTORE 00001796: PUSH1 0x40 00001798: SWAP1 00001799: DUP2 0000179a: SWAP1 0000179b: KECCAK256 0000179c: DUP4 0000179d: SWAP1 0000179e: SSTORE 0000179f: MLOAD 000017a0: PUSH32 0xc4337e1c0960ac88a59f4bc4c791d1c34c50e4e788068ed19b44e0e02df5ece9 000017c1: SWAP1 000017c2: PUSH2 0x0c8d 000017c5: SWAP1 000017c6: DUP6 000017c7: SWAP1 000017c8: DUP6 000017c9: SWAP1 000017ca: PUSH2 0x2cef 000017cd: JUMP 000017ce: JUMPDEST 000017cf: PUSH0 000017d0: DUP2 000017d1: PUSH0 000017d2: DUP2 000017d3: GT 000017d4: PUSH2 0x17ef 000017d7: JUMPI 000017d8: PUSH1 0x40 000017da: MLOAD 000017db: PUSH3 0x461bcd 000017df: PUSH1 0xe5 000017e1: SHL 000017e2: DUP2 000017e3: MSTORE 000017e4: PUSH1 0x04 000017e6: ADD 000017e7: PUSH2 0x098d 000017ea: SWAP1 000017eb: PUSH2 0x2d08 000017ee: JUMP 000017ef: JUMPDEST 000017f0: CALLER 000017f1: PUSH0 000017f2: SWAP1 000017f3: DUP2 000017f4: MSTORE 000017f5: PUSH1 0xd2 000017f7: PUSH1 0x20 000017f9: MSTORE 000017fa: PUSH1 0x40 000017fc: SWAP1 000017fd: KECCAK256 000017fe: SLOAD 000017ff: TIMESTAMP 00001800: GT 00001801: PUSH2 0x181c 00001804: JUMPI 00001805: PUSH1 0x40 00001807: MLOAD 00001808: PUSH3 0x461bcd 0000180c: PUSH1 0xe5 0000180e: SHL 0000180f: DUP2 00001810: MSTORE 00001811: PUSH1 0x04 00001813: ADD 00001814: PUSH2 0x098d 00001817: SWAP1 00001818: PUSH2 0x2d9e 0000181b: JUMP 0000181c: JUMPDEST 0000181d: PUSH2 0x1825 00001820: CALLER 00001821: PUSH2 0x155f 00001824: JUMP 00001825: JUMPDEST 00001826: DUP4 00001827: GT 00001828: ISZERO 00001829: PUSH2 0x1844 0000182c: JUMPI 0000182d: PUSH1 0x40 0000182f: MLOAD 00001830: PUSH3 0x461bcd 00001834: PUSH1 0xe5 00001836: SHL 00001837: DUP2 00001838: MSTORE 00001839: PUSH1 0x04 0000183b: ADD 0000183c: PUSH2 0x098d 0000183f: SWAP1 00001840: PUSH2 0x2dc4 00001843: JUMP 00001844: JUMPDEST 00001845: DUP3 00001846: PUSH2 0x184e 00001849: PUSH1 0xcd 0000184b: SLOAD 0000184c: SWAP1 0000184d: JUMP 0000184e: JUMPDEST 0000184f: LT 00001850: ISZERO 00001851: PUSH2 0x186c 00001854: JUMPI 00001855: PUSH1 0x40 00001857: MLOAD 00001858: PUSH3 0x461bcd 0000185c: PUSH1 0xe5 0000185e: SHL 0000185f: DUP2 00001860: MSTORE 00001861: PUSH1 0x04 00001863: ADD 00001864: PUSH2 0x098d 00001867: SWAP1 00001868: PUSH2 0x2dfb 0000186b: JUMP 0000186c: JUMPDEST 0000186d: PUSH0 0000186e: PUSH2 0x1875 00001871: PUSH2 0x0c9a 00001874: JUMP 00001875: JUMPDEST 00001876: SWAP1 00001877: POP 00001878: PUSH0 00001879: PUSH2 0x1881 0000187c: DUP6 0000187d: PUSH2 0x0b09 00001880: JUMP 00001881: JUMPDEST 00001882: SWAP1 00001883: POP 00001884: PUSH0 00001885: PUSH2 0x2710 00001888: PUSH1 0xcb 0000188a: SLOAD 0000188b: DUP8 0000188c: PUSH2 0x1895 0000188f: SWAP2 00001890: SWAP1 00001891: PUSH2 0x2e32 00001894: JUMP 00001895: JUMPDEST 00001896: PUSH2 0x189f 00001899: SWAP2 0000189a: SWAP1 0000189b: PUSH2 0x2e5d 0000189e: JUMP 0000189f: JUMPDEST 000018a0: SWAP1 000018a1: POP 000018a2: PUSH0 000018a3: PUSH2 0x18ac 000018a6: DUP3 000018a7: DUP9 000018a8: PUSH2 0x2c58 000018ab: JUMP 000018ac: JUMPDEST 000018ad: SWAP1 000018ae: POP 000018af: PUSH2 0x18b8 000018b2: CALLER 000018b3: DUP5 000018b4: PUSH2 0x23d3 000018b7: JUMP 000018b8: JUMPDEST 000018b9: PUSH1 0xc9 000018bb: SLOAD 000018bc: PUSH1 0x40 000018be: MLOAD 000018bf: PUSH4 0x2e1a7d4d 000018c4: PUSH1 0xe0 000018c6: SHL 000018c7: DUP2 000018c8: MSTORE 000018c9: PUSH1 0x04 000018cb: DUP2 000018cc: ADD 000018cd: DUP10 000018ce: SWAP1 000018cf: MSTORE 000018d0: PUSH1 0x01 000018d2: PUSH1 0x01 000018d4: PUSH1 0xa0 000018d6: SHL 000018d7: SUB 000018d8: SWAP1 000018d9: SWAP2 000018da: AND 000018db: SWAP1 000018dc: PUSH4 0x2e1a7d4d 000018e1: SWAP1 000018e2: PUSH1 0x24 000018e4: ADD 000018e5: PUSH0 000018e6: PUSH1 0x40 000018e8: MLOAD 000018e9: DUP1 000018ea: DUP4 000018eb: SUB 000018ec: DUP2 000018ed: PUSH0 000018ee: DUP8 000018ef: DUP1 000018f0: EXTCODESIZE 000018f1: ISZERO 000018f2: DUP1 000018f3: ISZERO 000018f4: PUSH2 0x18fb 000018f7: JUMPI 000018f8: PUSH0 000018f9: DUP1 000018fa: REVERT 000018fb: JUMPDEST 000018fc: POP 000018fd: GAS 000018fe: CALL 000018ff: ISZERO 00001900: DUP1 00001901: ISZERO 00001902: PUSH2 0x190d 00001905: JUMPI 00001906: RETURNDATASIZE 00001907: PUSH0 00001908: DUP1 00001909: RETURNDATACOPY 0000190a: RETURNDATASIZE 0000190b: PUSH0 0000190c: REVERT 0000190d: JUMPDEST 0000190e: POP 0000190f: POP 00001910: POP 00001911: POP 00001912: DUP7 00001913: PUSH1 0xcd 00001915: PUSH0 00001916: DUP3 00001917: DUP3 00001918: SLOAD 00001919: PUSH2 0x1922 0000191c: SWAP2 0000191d: SWAP1 0000191e: PUSH2 0x2c58 00001921: JUMP 00001922: JUMPDEST 00001923: SWAP1 00001924: SWAP2 00001925: SSTORE 00001926: POP 00001927: POP 00001928: PUSH1 0xca 0000192a: SLOAD 0000192b: PUSH1 0x40 0000192d: MLOAD 0000192e: PUSH1 0x01 00001930: PUSH1 0x01 00001932: PUSH1 0xa0 00001934: SHL 00001935: SUB 00001936: SWAP1 00001937: SWAP2 00001938: AND 00001939: SWAP1 0000193a: DUP4 0000193b: ISZERO 0000193c: PUSH2 0x08fc 0000193f: MUL 00001940: SWAP1 00001941: DUP5 00001942: SWAP1 00001943: PUSH0 00001944: DUP2 00001945: DUP2 00001946: DUP2 00001947: DUP6 00001948: DUP9 00001949: DUP9 0000194a: CALL 0000194b: SWAP4 0000194c: POP 0000194d: POP 0000194e: POP 0000194f: POP 00001950: ISZERO 00001951: DUP1 00001952: ISZERO 00001953: PUSH2 0x195e 00001956: JUMPI 00001957: RETURNDATASIZE 00001958: PUSH0 00001959: DUP1 0000195a: RETURNDATACOPY 0000195b: RETURNDATASIZE 0000195c: PUSH0 0000195d: REVERT 0000195e: JUMPDEST 0000195f: POP 00001960: PUSH2 0x010a 00001963: SLOAD 00001964: PUSH1 0x01 00001966: PUSH1 0x01 00001968: PUSH1 0xa0 0000196a: SHL 0000196b: SUB 0000196c: AND 0000196d: ISZERO 0000196e: PUSH2 0x19d8 00001971: JUMPI 00001972: PUSH2 0x010a 00001975: SLOAD 00001976: PUSH1 0x01 00001978: PUSH1 0x01 0000197a: PUSH1 0xa0 0000197c: SHL 0000197d: SUB 0000197e: AND 0000197f: PUSH4 0x90105b42 00001984: CALLER 00001985: PUSH2 0x198d 00001988: DUP2 00001989: PUSH2 0x0dd7 0000198c: JUMP 0000198d: JUMPDEST 0000198e: PUSH1 0x40 00001990: MLOAD 00001991: DUP4 00001992: PUSH4 0xffffffff 00001997: AND 00001998: PUSH1 0xe0 0000199a: SHL 0000199b: DUP2 0000199c: MSTORE 0000199d: PUSH1 0x04 0000199f: ADD 000019a0: PUSH2 0x19aa 000019a3: SWAP3 000019a4: SWAP2 000019a5: SWAP1 000019a6: PUSH2 0x2cef 000019a9: JUMP 000019aa: JUMPDEST 000019ab: PUSH0 000019ac: PUSH1 0x40 000019ae: MLOAD 000019af: DUP1 000019b0: DUP4 000019b1: SUB 000019b2: DUP2 000019b3: PUSH0 000019b4: DUP8 000019b5: DUP1 000019b6: EXTCODESIZE 000019b7: ISZERO 000019b8: DUP1 000019b9: ISZERO 000019ba: PUSH2 0x19c1 000019bd: JUMPI 000019be: PUSH0 000019bf: DUP1 000019c0: REVERT 000019c1: JUMPDEST 000019c2: POP 000019c3: GAS 000019c4: CALL 000019c5: ISZERO 000019c6: DUP1 000019c7: ISZERO 000019c8: PUSH2 0x19d3 000019cb: JUMPI 000019cc: RETURNDATASIZE 000019cd: PUSH0 000019ce: DUP1 000019cf: RETURNDATACOPY 000019d0: RETURNDATASIZE 000019d1: PUSH0 000019d2: REVERT 000019d3: JUMPDEST 000019d4: POP 000019d5: POP 000019d6: POP 000019d7: POP 000019d8: JUMPDEST 000019d9: PUSH1 0x40 000019db: MLOAD 000019dc: PUSH0 000019dd: SWAP1 000019de: CALLER 000019df: SWAP1 000019e0: DUP4 000019e1: SWAP1 000019e2: DUP4 000019e3: DUP2 000019e4: DUP2 000019e5: DUP2 000019e6: DUP6 000019e7: DUP8 000019e8: GAS 000019e9: CALL 000019ea: SWAP3 000019eb: POP 000019ec: POP 000019ed: POP 000019ee: RETURNDATASIZE 000019ef: DUP1 000019f0: PUSH0 000019f1: DUP2 000019f2: EQ 000019f3: PUSH2 0x1a17 000019f6: JUMPI 000019f7: PUSH1 0x40 000019f9: MLOAD 000019fa: SWAP2 000019fb: POP 000019fc: PUSH1 0x1f 000019fe: NOT 000019ff: PUSH1 0x3f 00001a01: RETURNDATASIZE 00001a02: ADD 00001a03: AND 00001a04: DUP3 00001a05: ADD 00001a06: PUSH1 0x40 00001a08: MSTORE 00001a09: RETURNDATASIZE 00001a0a: DUP3 00001a0b: MSTORE 00001a0c: RETURNDATASIZE 00001a0d: PUSH0 00001a0e: PUSH1 0x20 00001a10: DUP5 00001a11: ADD 00001a12: RETURNDATACOPY 00001a13: PUSH2 0x1a1c 00001a16: JUMP 00001a17: JUMPDEST 00001a18: PUSH1 0x60 00001a1a: SWAP2 00001a1b: POP 00001a1c: JUMPDEST 00001a1d: POP 00001a1e: POP 00001a1f: SWAP1 00001a20: POP 00001a21: DUP1 00001a22: PUSH2 0x1a60 00001a25: JUMPI 00001a26: PUSH1 0x40 00001a28: MLOAD 00001a29: PUSH3 0x461bcd 00001a2d: PUSH1 0xe5 00001a2f: SHL 00001a30: DUP2 00001a31: MSTORE 00001a32: PUSH1 0x20 00001a34: PUSH1 0x04 00001a36: DUP3 00001a37: ADD 00001a38: MSTORE 00001a39: PUSH1 0x10 00001a3b: PUSH1 0x24 00001a3d: DUP3 00001a3e: ADD 00001a3f: MSTORE 00001a40: PUSH16 0x2a3930b739b332b9103330b4b632b217 00001a51: PUSH1 0x81 00001a53: SHL 00001a54: PUSH1 0x44 00001a56: DUP3 00001a57: ADD 00001a58: MSTORE 00001a59: PUSH1 0x64 00001a5b: ADD 00001a5c: PUSH2 0x098d 00001a5f: JUMP 00001a60: JUMPDEST 00001a61: PUSH32 0x0afd4dde64dc7077ea61a956aa2c73070f1f223615cf3a58d8ef9ed2ca71e86f 00001a82: CALLER 00001a83: CALLER 00001a84: CALLER 00001a85: DUP12 00001a86: DUP9 00001a87: TIMESTAMP 00001a88: PUSH2 0x1a8f 00001a8b: PUSH2 0x0c9a 00001a8e: JUMP 00001a8f: JUMPDEST 00001a90: PUSH1 0x40 00001a92: MLOAD 00001a93: PUSH2 0x1aa2 00001a96: SWAP8 00001a97: SWAP7 00001a98: SWAP6 00001a99: SWAP5 00001a9a: SWAP4 00001a9b: SWAP3 00001a9c: SWAP2 00001a9d: SWAP1 00001a9e: PUSH2 0x2e7c 00001aa1: JUMP 00001aa2: JUMPDEST 00001aa3: PUSH1 0x40 00001aa5: MLOAD 00001aa6: DUP1 00001aa7: SWAP2 00001aa8: SUB 00001aa9: SWAP1 00001aaa: LOG1 00001aab: POP 00001aac: SWAP2 00001aad: SWAP5 00001aae: POP 00001aaf: POP 00001ab0: POP 00001ab1: POP 00001ab2: JUMPDEST 00001ab3: POP 00001ab4: SWAP2 00001ab5: SWAP1 00001ab6: POP 00001ab7: JUMP 00001ab8: JUMPDEST 00001ab9: PUSH2 0x1ac0 00001abc: PUSH2 0x1f80 00001abf: JUMP 00001ac0: JUMPDEST 00001ac1: PUSH1 0x01 00001ac3: PUSH1 0x01 00001ac5: PUSH1 0xa0 00001ac7: SHL 00001ac8: SUB 00001ac9: DUP2 00001aca: AND 00001acb: PUSH2 0x1b25 00001ace: JUMPI 00001acf: PUSH1 0x40 00001ad1: MLOAD 00001ad2: PUSH3 0x461bcd 00001ad6: PUSH1 0xe5 00001ad8: SHL 00001ad9: DUP2 00001ada: MSTORE 00001adb: PUSH1 0x20 00001add: PUSH1 0x04 00001adf: DUP3 00001ae0: ADD 00001ae1: MSTORE 00001ae2: PUSH1 0x26 00001ae4: PUSH1 0x24 00001ae6: DUP3 00001ae7: ADD 00001ae8: MSTORE 00001ae9: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061 00001b0a: PUSH1 0x44 00001b0c: DUP3 00001b0d: ADD 00001b0e: MSTORE 00001b0f: PUSH6 0x646472657373 00001b16: PUSH1 0xd0 00001b18: SHL 00001b19: PUSH1 0x64 00001b1b: DUP3 00001b1c: ADD 00001b1d: MSTORE 00001b1e: PUSH1 0x84 00001b20: ADD 00001b21: PUSH2 0x098d 00001b24: JUMP 00001b25: JUMPDEST 00001b26: PUSH2 0x1b2e 00001b29: DUP2 00001b2a: PUSH2 0x21a4 00001b2d: JUMP 00001b2e: JUMPDEST 00001b2f: POP 00001b30: JUMP 00001b31: JUMPDEST 00001b32: PUSH0 00001b33: DUP1 00001b34: PUSH2 0x1b3b 00001b37: PUSH2 0x0c9a 00001b3a: JUMP 00001b3b: JUMPDEST 00001b3c: SWAP1 00001b3d: POP 00001b3e: CALLVALUE 00001b3f: PUSH0 00001b40: PUSH2 0x1b48 00001b43: DUP3 00001b44: PUSH2 0x1554 00001b47: JUMP 00001b48: JUMPDEST 00001b49: SWAP1 00001b4a: POP 00001b4b: PUSH1 0xc9 00001b4d: PUSH0 00001b4e: SWAP1 00001b4f: SLOAD 00001b50: SWAP1 00001b51: PUSH2 0x0100 00001b54: EXP 00001b55: SWAP1 00001b56: DIV 00001b57: PUSH1 0x01 00001b59: PUSH1 0x01 00001b5b: PUSH1 0xa0 00001b5d: SHL 00001b5e: SUB 00001b5f: AND 00001b60: PUSH1 0x01 00001b62: PUSH1 0x01 00001b64: PUSH1 0xa0 00001b66: SHL 00001b67: SUB 00001b68: AND 00001b69: PUSH4 0xd0e30db0 00001b6e: DUP4 00001b6f: PUSH1 0x40 00001b71: MLOAD 00001b72: DUP3 00001b73: PUSH4 0xffffffff 00001b78: AND 00001b79: PUSH1 0xe0 00001b7b: SHL 00001b7c: DUP2 00001b7d: MSTORE 00001b7e: PUSH1 0x04 00001b80: ADD 00001b81: PUSH0 00001b82: PUSH1 0x40 00001b84: MLOAD 00001b85: DUP1 00001b86: DUP4 00001b87: SUB 00001b88: DUP2 00001b89: DUP6 00001b8a: DUP9 00001b8b: DUP1 00001b8c: EXTCODESIZE 00001b8d: ISZERO 00001b8e: DUP1 00001b8f: ISZERO 00001b90: PUSH2 0x1b97 00001b93: JUMPI 00001b94: PUSH0 00001b95: DUP1 00001b96: REVERT 00001b97: JUMPDEST 00001b98: POP 00001b99: GAS 00001b9a: CALL 00001b9b: ISZERO 00001b9c: DUP1 00001b9d: ISZERO 00001b9e: PUSH2 0x1ba9 00001ba1: JUMPI 00001ba2: RETURNDATASIZE 00001ba3: PUSH0 00001ba4: DUP1 00001ba5: RETURNDATACOPY 00001ba6: RETURNDATASIZE 00001ba7: PUSH0 00001ba8: REVERT 00001ba9: JUMPDEST 00001baa: POP 00001bab: POP 00001bac: POP 00001bad: POP 00001bae: POP 00001baf: PUSH2 0x1bc0 00001bb2: PUSH2 0x1bb8 00001bb5: CALLER 00001bb6: SWAP1 00001bb7: JUMP 00001bb8: JUMPDEST 00001bb9: CALLER 00001bba: DUP5 00001bbb: DUP5 00001bbc: PUSH2 0x1fdf 00001bbf: JUMP 00001bc0: JUMPDEST 00001bc1: DUP2 00001bc2: PUSH1 0xce 00001bc4: PUSH0 00001bc5: DUP3 00001bc6: DUP3 00001bc7: SLOAD 00001bc8: PUSH2 0x1bd1 00001bcb: SWAP2 00001bcc: SWAP1 00001bcd: PUSH2 0x2c6b 00001bd0: JUMP 00001bd1: JUMPDEST 00001bd2: SWAP1 00001bd3: SWAP2 00001bd4: SSTORE 00001bd5: POP 00001bd6: POP 00001bd7: PUSH1 0x40 00001bd9: MLOAD 00001bda: PUSH32 0x8c0669c80bc6bb7d75a0bcedec8f7204f77c40647ac2f4b213ff429e3af8d09d 00001bfb: SWAP1 00001bfc: PUSH2 0x1c10 00001bff: SWAP1 00001c00: CALLER 00001c01: SWAP1 00001c02: DUP2 00001c03: SWAP1 00001c04: DUP7 00001c05: SWAP1 00001c06: DUP7 00001c07: SWAP1 00001c08: TIMESTAMP 00001c09: SWAP1 00001c0a: DUP11 00001c0b: SWAP1 00001c0c: PUSH2 0x2d68 00001c0f: JUMP 00001c10: JUMPDEST 00001c11: PUSH1 0x40 00001c13: MLOAD 00001c14: DUP1 00001c15: SWAP2 00001c16: SUB 00001c17: SWAP1 00001c18: LOG1 00001c19: SWAP4 00001c1a: SWAP3 00001c1b: POP 00001c1c: POP 00001c1d: POP 00001c1e: JUMP 00001c1f: JUMPDEST 00001c20: PUSH2 0x1c27 00001c23: PUSH2 0x1f80 00001c26: JUMP 00001c27: JUMPDEST 00001c28: DUP2 00001c29: PUSH1 0x01 00001c2b: PUSH1 0x01 00001c2d: PUSH1 0xa0 00001c2f: SHL 00001c30: SUB 00001c31: DUP2 00001c32: AND 00001c33: PUSH2 0x1c4e 00001c36: JUMPI 00001c37: PUSH1 0x40 00001c39: MLOAD 00001c3a: PUSH3 0x461bcd 00001c3e: PUSH1 0xe5 00001c40: SHL 00001c41: DUP2 00001c42: MSTORE 00001c43: PUSH1 0x04 00001c45: ADD 00001c46: PUSH2 0x098d 00001c49: SWAP1 00001c4a: PUSH2 0x2cc9 00001c4d: JUMP 00001c4e: JUMPDEST 00001c4f: PUSH1 0x01 00001c51: PUSH1 0x01 00001c53: PUSH1 0xa0 00001c55: SHL 00001c56: SUB 00001c57: DUP4 00001c58: AND 00001c59: PUSH0 00001c5a: DUP2 00001c5b: DUP2 00001c5c: MSTORE 00001c5d: PUSH1 0xd3 00001c5f: PUSH1 0x20 00001c61: SWAP1 00001c62: DUP2 00001c63: MSTORE 00001c64: PUSH1 0x40 00001c66: SWAP2 00001c67: DUP3 00001c68: SWAP1 00001c69: KECCAK256 00001c6a: DUP1 00001c6b: SLOAD 00001c6c: PUSH1 0xff 00001c6e: NOT 00001c6f: AND 00001c70: DUP7 00001c71: ISZERO 00001c72: ISZERO 00001c73: SWAP1 00001c74: DUP2 00001c75: OR 00001c76: SWAP1 00001c77: SWAP2 00001c78: SSTORE 00001c79: SWAP2 00001c7a: MLOAD 00001c7b: SWAP2 00001c7c: DUP3 00001c7d: MSTORE 00001c7e: PUSH32 0x1654faf85125411e694fdad729dc22b2b583917b157587351f34968d782b32f7 00001c9f: SWAP2 00001ca0: ADD 00001ca1: PUSH1 0x40 00001ca3: MLOAD 00001ca4: DUP1 00001ca5: SWAP2 00001ca6: SUB 00001ca7: SWAP1 00001ca8: LOG2 00001ca9: POP 00001caa: POP 00001cab: POP 00001cac: JUMP 00001cad: JUMPDEST 00001cae: PUSH2 0x1d05 00001cb1: DUP5 00001cb2: PUSH4 0x23b872dd 00001cb7: PUSH1 0xe0 00001cb9: SHL 00001cba: DUP6 00001cbb: DUP6 00001cbc: DUP6 00001cbd: PUSH1 0x40 00001cbf: MLOAD 00001cc0: PUSH1 0x24 00001cc2: ADD 00001cc3: PUSH2 0x1cce 00001cc6: SWAP4 00001cc7: SWAP3 00001cc8: SWAP2 00001cc9: SWAP1 00001cca: PUSH2 0x2d29 00001ccd: JUMP 00001cce: JUMPDEST 00001ccf: PUSH1 0x40 00001cd1: DUP1 00001cd2: MLOAD 00001cd3: PUSH1 0x1f 00001cd5: NOT 00001cd6: DUP2 00001cd7: DUP5 00001cd8: SUB 00001cd9: ADD 00001cda: DUP2 00001cdb: MSTORE 00001cdc: SWAP2 00001cdd: SWAP1 00001cde: MSTORE 00001cdf: PUSH1 0x20 00001ce1: DUP2 00001ce2: ADD 00001ce3: DUP1 00001ce4: MLOAD 00001ce5: PUSH1 0x01 00001ce7: PUSH1 0x01 00001ce9: PUSH1 0xe0 00001ceb: SHL 00001cec: SUB 00001ced: AND 00001cee: PUSH1 0x01 00001cf0: PUSH1 0x01 00001cf2: PUSH1 0xe0 00001cf4: SHL 00001cf5: SUB 00001cf6: NOT 00001cf7: SWAP1 00001cf8: SWAP4 00001cf9: AND 00001cfa: SWAP3 00001cfb: SWAP1 00001cfc: SWAP3 00001cfd: OR 00001cfe: SWAP1 00001cff: SWAP2 00001d00: MSTORE 00001d01: PUSH2 0x24f2 00001d04: JUMP 00001d05: JUMPDEST 00001d06: POP 00001d07: POP 00001d08: POP 00001d09: POP 00001d0a: JUMP 00001d0b: JUMPDEST 00001d0c: PUSH0 00001d0d: PUSH2 0x1d43 00001d10: PUSH2 0x1d17 00001d13: PUSH2 0x0a41 00001d16: JUMP 00001d17: JUMPDEST 00001d18: PUSH2 0x1d22 00001d1b: SWAP1 00001d1c: PUSH1 0x01 00001d1e: PUSH2 0x2c6b 00001d21: JUMP 00001d22: JUMPDEST 00001d23: PUSH2 0x1d2d 00001d26: PUSH0 00001d27: PUSH1 0x0a 00001d29: PUSH2 0x2f9d 00001d2c: JUMP 00001d2d: JUMPDEST 00001d2e: PUSH1 0x35 00001d30: SLOAD 00001d31: PUSH2 0x1d3a 00001d34: SWAP2 00001d35: SWAP1 00001d36: PUSH2 0x2c6b 00001d39: JUMP 00001d3a: JUMPDEST 00001d3b: DUP6 00001d3c: SWAP2 00001d3d: SWAP1 00001d3e: DUP6 00001d3f: PUSH2 0x25c5 00001d42: JUMP 00001d43: JUMPDEST 00001d44: SWAP4 00001d45: SWAP3 00001d46: POP 00001d47: POP 00001d48: POP 00001d49: JUMP 00001d4a: JUMPDEST 00001d4b: PUSH1 0x01 00001d4d: PUSH1 0x01 00001d4f: PUSH1 0xa0 00001d51: SHL 00001d52: SUB 00001d53: DUP4 00001d54: AND 00001d55: PUSH2 0x1dac 00001d58: JUMPI 00001d59: PUSH1 0x40 00001d5b: MLOAD 00001d5c: PUSH3 0x461bcd 00001d60: PUSH1 0xe5 00001d62: SHL 00001d63: DUP2 00001d64: MSTORE 00001d65: PUSH1 0x20 00001d67: PUSH1 0x04 00001d69: DUP3 00001d6a: ADD 00001d6b: MSTORE 00001d6c: PUSH1 0x24 00001d6e: DUP1 00001d6f: DUP3 00001d70: ADD 00001d71: MSTORE 00001d72: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464 00001d93: PUSH1 0x44 00001d95: DUP3 00001d96: ADD 00001d97: MSTORE 00001d98: PUSH4 0x72657373 00001d9d: PUSH1 0xe0 00001d9f: SHL 00001da0: PUSH1 0x64 00001da2: DUP3 00001da3: ADD 00001da4: MSTORE 00001da5: PUSH1 0x84 00001da7: ADD 00001da8: PUSH2 0x098d 00001dab: JUMP 00001dac: JUMPDEST 00001dad: PUSH1 0x01 00001daf: PUSH1 0x01 00001db1: PUSH1 0xa0 00001db3: SHL 00001db4: SUB 00001db5: DUP3 00001db6: AND 00001db7: PUSH2 0x1e0d 00001dba: JUMPI 00001dbb: PUSH1 0x40 00001dbd: MLOAD 00001dbe: PUSH3 0x461bcd 00001dc2: PUSH1 0xe5 00001dc4: SHL 00001dc5: DUP2 00001dc6: MSTORE 00001dc7: PUSH1 0x20 00001dc9: PUSH1 0x04 00001dcb: DUP3 00001dcc: ADD 00001dcd: MSTORE 00001dce: PUSH1 0x22 00001dd0: PUSH1 0x24 00001dd2: DUP3 00001dd3: ADD 00001dd4: MSTORE 00001dd5: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265 00001df6: PUSH1 0x44 00001df8: DUP3 00001df9: ADD 00001dfa: MSTORE 00001dfb: PUSH2 0x7373 00001dfe: PUSH1 0xf0 00001e00: SHL 00001e01: PUSH1 0x64 00001e03: DUP3 00001e04: ADD 00001e05: MSTORE 00001e06: PUSH1 0x84 00001e08: ADD 00001e09: PUSH2 0x098d 00001e0c: JUMP 00001e0d: JUMPDEST 00001e0e: PUSH1 0x01 00001e10: PUSH1 0x01 00001e12: PUSH1 0xa0 00001e14: SHL 00001e15: SUB 00001e16: DUP4 00001e17: DUP2 00001e18: AND 00001e19: PUSH0 00001e1a: DUP2 00001e1b: DUP2 00001e1c: MSTORE 00001e1d: PUSH1 0x34 00001e1f: PUSH1 0x20 00001e21: SWAP1 00001e22: DUP2 00001e23: MSTORE 00001e24: PUSH1 0x40 00001e26: DUP1 00001e27: DUP4 00001e28: KECCAK256 00001e29: SWAP5 00001e2a: DUP8 00001e2b: AND 00001e2c: DUP1 00001e2d: DUP5 00001e2e: MSTORE 00001e2f: SWAP5 00001e30: DUP3 00001e31: MSTORE 00001e32: SWAP2 00001e33: DUP3 00001e34: SWAP1 00001e35: KECCAK256 00001e36: DUP6 00001e37: SWAP1 00001e38: SSTORE 00001e39: SWAP1 00001e3a: MLOAD 00001e3b: DUP5 00001e3c: DUP2 00001e3d: MSTORE 00001e3e: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 00001e5f: SWAP2 00001e60: ADD 00001e61: PUSH1 0x40 00001e63: MLOAD 00001e64: DUP1 00001e65: SWAP2 00001e66: SUB 00001e67: SWAP1 00001e68: LOG3 00001e69: POP 00001e6a: POP 00001e6b: POP 00001e6c: JUMP 00001e6d: JUMPDEST 00001e6e: PUSH0 00001e6f: PUSH2 0x1d43 00001e72: PUSH2 0x1e7c 00001e75: DUP3 00001e76: PUSH1 0x0a 00001e78: PUSH2 0x2f9d 00001e7b: JUMP 00001e7c: JUMPDEST 00001e7d: PUSH1 0x35 00001e7f: SLOAD 00001e80: PUSH2 0x1e89 00001e83: SWAP2 00001e84: SWAP1 00001e85: PUSH2 0x2c6b 00001e88: JUMP 00001e89: JUMPDEST 00001e8a: PUSH2 0x1e91 00001e8d: PUSH2 0x0a41 00001e90: JUMP 00001e91: JUMPDEST 00001e92: PUSH2 0x1d3a 00001e95: SWAP1 00001e96: PUSH1 0x01 00001e98: PUSH2 0x2c6b 00001e9b: JUMP 00001e9c: JUMPDEST 00001e9d: PUSH0 00001e9e: DUP1 00001e9f: DUP1 00001ea0: PUSH0 00001ea1: NOT 00001ea2: DUP6 00001ea3: DUP8 00001ea4: MULMOD 00001ea5: DUP6 00001ea6: DUP8 00001ea7: MUL 00001ea8: SWAP3 00001ea9: POP 00001eaa: DUP3 00001eab: DUP2 00001eac: LT 00001ead: DUP4 00001eae: DUP3 00001eaf: SUB 00001eb0: SUB 00001eb1: SWAP2 00001eb2: POP 00001eb3: POP 00001eb4: DUP1 00001eb5: PUSH0 00001eb6: SUB 00001eb7: PUSH2 0x1ed3 00001eba: JUMPI 00001ebb: DUP4 00001ebc: DUP3 00001ebd: DUP2 00001ebe: PUSH2 0x1ec9 00001ec1: JUMPI 00001ec2: PUSH2 0x1ec9 00001ec5: PUSH2 0x2e49 00001ec8: JUMP 00001ec9: JUMPDEST 00001eca: DIV 00001ecb: SWAP3 00001ecc: POP 00001ecd: POP 00001ece: POP 00001ecf: PUSH2 0x1d43 00001ed2: JUMP 00001ed3: JUMPDEST 00001ed4: DUP1 00001ed5: DUP5 00001ed6: GT 00001ed7: PUSH2 0x1f1a 00001eda: JUMPI 00001edb: PUSH1 0x40 00001edd: MLOAD 00001ede: PUSH3 0x461bcd 00001ee2: PUSH1 0xe5 00001ee4: SHL 00001ee5: DUP2 00001ee6: MSTORE 00001ee7: PUSH1 0x20 00001ee9: PUSH1 0x04 00001eeb: DUP3 00001eec: ADD 00001eed: MSTORE 00001eee: PUSH1 0x15 00001ef0: PUSH1 0x24 00001ef2: DUP3 00001ef3: ADD 00001ef4: MSTORE 00001ef5: PUSH21 0x4d6174683a206d756c446976206f766572666c6f77 00001f0b: PUSH1 0x58 00001f0d: SHL 00001f0e: PUSH1 0x44 00001f10: DUP3 00001f11: ADD 00001f12: MSTORE 00001f13: PUSH1 0x64 00001f15: ADD 00001f16: PUSH2 0x098d 00001f19: JUMP 00001f1a: JUMPDEST 00001f1b: PUSH0 00001f1c: DUP5 00001f1d: DUP7 00001f1e: DUP9 00001f1f: MULMOD 00001f20: PUSH1 0x02 00001f22: PUSH1 0x03 00001f24: PUSH1 0x01 00001f26: DUP9 00001f27: NOT 00001f28: DUP2 00001f29: ADD 00001f2a: DUP10 00001f2b: AND 00001f2c: SWAP9 00001f2d: DUP10 00001f2e: SWAP1 00001f2f: DIV 00001f30: SWAP2 00001f31: DUP3 00001f32: MUL 00001f33: DUP4 00001f34: XOR 00001f35: DUP1 00001f36: DUP4 00001f37: MUL 00001f38: DUP5 00001f39: SUB 00001f3a: MUL 00001f3b: DUP1 00001f3c: DUP4 00001f3d: MUL 00001f3e: DUP5 00001f3f: SUB 00001f40: MUL 00001f41: DUP1 00001f42: DUP4 00001f43: MUL 00001f44: DUP5 00001f45: SUB 00001f46: MUL 00001f47: DUP1 00001f48: DUP4 00001f49: MUL 00001f4a: DUP5 00001f4b: SUB 00001f4c: MUL 00001f4d: DUP1 00001f4e: DUP4 00001f4f: MUL 00001f50: DUP5 00001f51: SUB 00001f52: MUL 00001f53: SWAP2 00001f54: DUP3 00001f55: MUL 00001f56: SWAP1 00001f57: SWAP3 00001f58: SUB 00001f59: MUL 00001f5a: PUSH0 00001f5b: DUP9 00001f5c: SWAP1 00001f5d: SUB 00001f5e: DUP9 00001f5f: SWAP1 00001f60: DIV 00001f61: SWAP1 00001f62: SWAP2 00001f63: ADD 00001f64: DUP6 00001f65: DUP4 00001f66: GT 00001f67: SWAP1 00001f68: SWAP5 00001f69: SUB 00001f6a: SWAP4 00001f6b: SWAP1 00001f6c: SWAP4 00001f6d: MUL 00001f6e: SWAP4 00001f6f: SUB 00001f70: SWAP5 00001f71: SWAP1 00001f72: SWAP5 00001f73: DIV 00001f74: SWAP2 00001f75: SWAP1 00001f76: SWAP2 00001f77: OR 00001f78: MUL 00001f79: SWAP5 00001f7a: SWAP4 00001f7b: POP 00001f7c: POP 00001f7d: POP 00001f7e: POP 00001f7f: JUMP 00001f80: JUMPDEST 00001f81: CALLER 00001f82: PUSH2 0x1f89 00001f85: PUSH2 0x0e04 00001f88: JUMP 00001f89: JUMPDEST 00001f8a: PUSH1 0x01 00001f8c: PUSH1 0x01 00001f8e: PUSH1 0xa0 00001f90: SHL 00001f91: SUB 00001f92: AND 00001f93: EQ 00001f94: PUSH2 0x0e02 00001f97: JUMPI 00001f98: PUSH1 0x40 00001f9a: MLOAD 00001f9b: PUSH3 0x461bcd 00001f9f: PUSH1 0xe5 00001fa1: SHL 00001fa2: DUP2 00001fa3: MSTORE 00001fa4: PUSH1 0x20 00001fa6: PUSH1 0x04 00001fa8: DUP3 00001fa9: ADD 00001faa: DUP2 00001fab: SWAP1 00001fac: MSTORE 00001fad: PUSH1 0x24 00001faf: DUP3 00001fb0: ADD 00001fb1: MSTORE 00001fb2: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572 00001fd3: PUSH1 0x44 00001fd5: DUP3 00001fd6: ADD 00001fd7: MSTORE 00001fd8: PUSH1 0x64 00001fda: ADD 00001fdb: PUSH2 0x098d 00001fde: JUMP 00001fdf: JUMPDEST 00001fe0: DUP2 00001fe1: PUSH0 00001fe2: DUP2 00001fe3: GT 00001fe4: PUSH2 0x1fff 00001fe7: JUMPI 00001fe8: PUSH1 0x40 00001fea: MLOAD 00001feb: PUSH3 0x461bcd 00001fef: PUSH1 0xe5 00001ff1: SHL 00001ff2: DUP2 00001ff3: MSTORE 00001ff4: PUSH1 0x04 00001ff6: ADD 00001ff7: PUSH2 0x098d 00001ffa: SWAP1 00001ffb: PUSH2 0x2d08 00001ffe: JUMP 00001fff: JUMPDEST 00002000: PUSH2 0x2008 00002003: CALLER 00002004: PUSH2 0x0bba 00002007: JUMP 00002008: JUMPDEST 00002009: DUP4 0000200a: GT 0000200b: ISZERO 0000200c: PUSH2 0x2057 0000200f: JUMPI 00002010: PUSH1 0x40 00002012: MLOAD 00002013: PUSH3 0x461bcd 00002017: PUSH1 0xe5 00002019: SHL 0000201a: DUP2 0000201b: MSTORE 0000201c: PUSH1 0x20 0000201e: PUSH1 0x04 00002020: DUP3 00002021: ADD 00002022: MSTORE 00002023: PUSH1 0x1e 00002025: PUSH1 0x24 00002027: DUP3 00002028: ADD 00002029: MSTORE 0000202a: PUSH32 0x455243343632363a206465706f736974206d6f7265207468616e206d61780000 0000204b: PUSH1 0x44 0000204d: DUP3 0000204e: ADD 0000204f: MSTORE 00002050: PUSH1 0x64 00002052: ADD 00002053: PUSH2 0x098d 00002056: JUMP 00002057: JUMPDEST 00002058: PUSH0 00002059: PUSH2 0x2061 0000205c: PUSH1 0x35 0000205e: SLOAD 0000205f: SWAP1 00002060: JUMP 00002061: JUMPDEST 00002062: PUSH0 00002063: SUB 00002064: PUSH2 0x2115 00002067: JUMPI 00002068: PUSH2 0x03e8 0000206b: DUP5 0000206c: GT 0000206d: PUSH2 0x20b8 00002070: JUMPI 00002071: PUSH1 0x40 00002073: MLOAD 00002074: PUSH3 0x461bcd 00002078: PUSH1 0xe5 0000207a: SHL 0000207b: DUP2 0000207c: MSTORE 0000207d: PUSH1 0x20 0000207f: PUSH1 0x04 00002081: DUP3 00002082: ADD 00002083: DUP2 00002084: SWAP1 00002085: MSTORE 00002086: PUSH1 0x24 00002088: DUP3 00002089: ADD 0000208a: MSTORE 0000208b: PUSH32 0x4e6f7420456e6f7567682053686172657320666f72206669727374206d696e74 000020ac: PUSH1 0x44 000020ae: DUP3 000020af: ADD 000020b0: MSTORE 000020b1: PUSH1 0x64 000020b3: ADD 000020b4: PUSH2 0x098d 000020b7: JUMP 000020b8: JUMPDEST 000020b9: PUSH0 000020ba: PUSH8 0x0de0b6b3a7640000 000020c3: PUSH2 0x20ca 000020c6: PUSH2 0x0b80 000020c9: JUMP 000020ca: JUMPDEST 000020cb: PUSH2 0x20d5 000020ce: SWAP1 000020cf: PUSH1 0x0a 000020d1: PUSH2 0x2f9d 000020d4: JUMP 000020d5: JUMPDEST 000020d6: PUSH2 0x20df 000020d9: SWAP2 000020da: SWAP1 000020db: PUSH2 0x2e5d 000020de: JUMP 000020df: JUMPDEST 000020e0: SWAP1 000020e1: POP 000020e2: DUP1 000020e3: PUSH2 0x20ee 000020e6: PUSH2 0x03e8 000020e9: DUP8 000020ea: PUSH2 0x2c58 000020ed: JUMP 000020ee: JUMPDEST 000020ef: PUSH2 0x20f8 000020f2: SWAP2 000020f3: SWAP1 000020f4: PUSH2 0x2e32 000020f7: JUMP 000020f8: JUMPDEST 000020f9: SWAP2 000020fa: POP 000020fb: PUSH2 0x210f 000020fe: ADDRESS 000020ff: PUSH2 0x210a 00002102: DUP4 00002103: PUSH2 0x03e8 00002106: PUSH2 0x2e32 00002109: JUMP 0000210a: JUMPDEST 0000210b: PUSH2 0x2622 0000210e: JUMP 0000210f: JUMPDEST 00002110: POP 00002111: PUSH2 0x2118 00002114: JUMP 00002115: JUMPDEST 00002116: POP 00002117: DUP2 00002118: JUMPDEST 00002119: PUSH2 0x2122 0000211c: DUP6 0000211d: DUP3 0000211e: PUSH2 0x2622 00002121: JUMP 00002122: JUMPDEST 00002123: DUP4 00002124: PUSH1 0xcd 00002126: PUSH0 00002127: DUP3 00002128: DUP3 00002129: SLOAD 0000212a: PUSH2 0x2133 0000212d: SWAP2 0000212e: SWAP1 0000212f: PUSH2 0x2c6b 00002132: JUMP 00002133: JUMPDEST 00002134: SWAP1 00002135: SWAP2 00002136: SSTORE 00002137: POP 00002138: POP 00002139: PUSH1 0xd5 0000213b: SLOAD 0000213c: PUSH2 0x2145 0000213f: SWAP1 00002140: TIMESTAMP 00002141: PUSH2 0x2c6b 00002144: JUMP 00002145: JUMPDEST 00002146: CALLER 00002147: PUSH0 00002148: DUP2 00002149: DUP2 0000214a: MSTORE 0000214b: PUSH1 0xd2 0000214d: PUSH1 0x20 0000214f: SWAP1 00002150: DUP2 00002151: MSTORE 00002152: PUSH1 0x40 00002154: SWAP2 00002155: DUP3 00002156: SWAP1 00002157: KECCAK256 00002158: SWAP4 00002159: SWAP1 0000215a: SWAP4 0000215b: SSTORE 0000215c: DUP1 0000215d: MLOAD 0000215e: DUP8 0000215f: DUP2 00002160: MSTORE 00002161: SWAP3 00002162: DUP4 00002163: ADD 00002164: DUP5 00002165: SWAP1 00002166: MSTORE 00002167: PUSH1 0x01 00002169: PUSH1 0x01 0000216b: PUSH1 0xa0 0000216d: SHL 0000216e: SUB 0000216f: DUP9 00002170: AND 00002171: SWAP3 00002172: PUSH32 0xdcbc1c05240f31ff3ad067ef1ee35ce4997762752e3a095284754544f4c709d7 00002193: SWAP2 00002194: ADD 00002195: PUSH1 0x40 00002197: MLOAD 00002198: DUP1 00002199: SWAP2 0000219a: SUB 0000219b: SWAP1 0000219c: LOG3 0000219d: POP 0000219e: POP 0000219f: POP 000021a0: POP 000021a1: POP 000021a2: POP 000021a3: JUMP 000021a4: JUMPDEST 000021a5: PUSH1 0x97 000021a7: DUP1 000021a8: SLOAD 000021a9: PUSH1 0x01 000021ab: PUSH1 0x01 000021ad: PUSH1 0xa0 000021af: SHL 000021b0: SUB 000021b1: DUP4 000021b2: DUP2 000021b3: AND 000021b4: PUSH1 0x01 000021b6: PUSH1 0x01 000021b8: PUSH1 0xa0 000021ba: SHL 000021bb: SUB 000021bc: NOT 000021bd: DUP4 000021be: AND 000021bf: DUP2 000021c0: OR 000021c1: SWAP1 000021c2: SWAP4 000021c3: SSTORE 000021c4: PUSH1 0x40 000021c6: MLOAD 000021c7: SWAP2 000021c8: AND 000021c9: SWAP2 000021ca: SWAP1 000021cb: DUP3 000021cc: SWAP1 000021cd: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 000021ee: SWAP1 000021ef: PUSH0 000021f0: SWAP1 000021f1: LOG3 000021f2: POP 000021f3: POP 000021f4: JUMP 000021f5: JUMPDEST 000021f6: PUSH2 0x2214 000021f9: DUP4 000021fa: PUSH4 0xa9059cbb 000021ff: PUSH1 0xe0 00002201: SHL 00002202: DUP5 00002203: DUP5 00002204: PUSH1 0x40 00002206: MLOAD 00002207: PUSH1 0x24 00002209: ADD 0000220a: PUSH2 0x1cce 0000220d: SWAP3 0000220e: SWAP2 0000220f: SWAP1 00002210: PUSH2 0x2cef 00002213: JUMP 00002214: JUMPDEST 00002215: POP 00002216: POP 00002217: POP 00002218: JUMP 00002219: JUMPDEST 0000221a: DUP3 0000221b: PUSH1 0x01 0000221d: PUSH1 0x01 0000221f: PUSH1 0xa0 00002221: SHL 00002222: SUB 00002223: AND 00002224: DUP6 00002225: PUSH1 0x01 00002227: PUSH1 0x01 00002229: PUSH1 0xa0 0000222b: SHL 0000222c: SUB 0000222d: AND 0000222e: EQ 0000222f: PUSH2 0x223d 00002232: JUMPI 00002233: PUSH2 0x223d 00002236: DUP4 00002237: DUP7 00002238: DUP4 00002239: PUSH2 0x2361 0000223c: JUMP 0000223d: JUMPDEST 0000223e: PUSH2 0x2247 00002241: DUP4 00002242: DUP3 00002243: PUSH2 0x23d3 00002246: JUMP 00002247: JUMPDEST 00002248: PUSH1 0x65 0000224a: SLOAD 0000224b: PUSH2 0x225e 0000224e: SWAP1 0000224f: PUSH1 0x01 00002251: PUSH1 0x01 00002253: PUSH1 0xa0 00002255: SHL 00002256: SUB 00002257: AND 00002258: DUP6 00002259: DUP5 0000225a: PUSH2 0x21f5 0000225d: JUMP 0000225e: JUMPDEST 0000225f: DUP3 00002260: PUSH1 0x01 00002262: PUSH1 0x01 00002264: PUSH1 0xa0 00002266: SHL 00002267: SUB 00002268: AND 00002269: DUP5 0000226a: PUSH1 0x01 0000226c: PUSH1 0x01 0000226e: PUSH1 0xa0 00002270: SHL 00002271: SUB 00002272: AND 00002273: DUP7 00002274: PUSH1 0x01 00002276: PUSH1 0x01 00002278: PUSH1 0xa0 0000227a: SHL 0000227b: SUB 0000227c: AND 0000227d: PUSH32 0xfbde797d201c681b91056529119e0b02407c7bb96a4a2c75c01fc9667232c8db 0000229e: DUP6 0000229f: DUP6 000022a0: PUSH1 0x40 000022a2: MLOAD 000022a3: PUSH2 0x22b6 000022a6: SWAP3 000022a7: SWAP2 000022a8: SWAP1 000022a9: SWAP2 000022aa: DUP3 000022ab: MSTORE 000022ac: PUSH1 0x20 000022ae: DUP3 000022af: ADD 000022b0: MSTORE 000022b1: PUSH1 0x40 000022b3: ADD 000022b4: SWAP1 000022b5: JUMP 000022b6: JUMPDEST 000022b7: PUSH1 0x40 000022b9: MLOAD 000022ba: DUP1 000022bb: SWAP2 000022bc: SUB 000022bd: SWAP1 000022be: LOG4 000022bf: POP 000022c0: POP 000022c1: POP 000022c2: POP 000022c3: POP 000022c4: JUMP 000022c5: JUMPDEST 000022c6: PUSH1 0x01 000022c8: PUSH1 0x01 000022ca: PUSH1 0xa0 000022cc: SHL 000022cd: SUB 000022ce: AND 000022cf: EXTCODESIZE 000022d0: ISZERO 000022d1: ISZERO 000022d2: SWAP1 000022d3: JUMP 000022d4: JUMPDEST 000022d5: PUSH0 000022d6: SLOAD 000022d7: PUSH2 0x0100 000022da: SWAP1 000022db: DIV 000022dc: PUSH1 0xff 000022de: AND 000022df: PUSH2 0x22fa 000022e2: JUMPI 000022e3: PUSH1 0x40 000022e5: MLOAD 000022e6: PUSH3 0x461bcd 000022ea: PUSH1 0xe5 000022ec: SHL 000022ed: DUP2 000022ee: MSTORE 000022ef: PUSH1 0x04 000022f1: ADD 000022f2: PUSH2 0x098d 000022f5: SWAP1 000022f6: PUSH2 0x2fab 000022f9: JUMP 000022fa: JUMPDEST 000022fb: PUSH2 0x0e02 000022fe: PUSH2 0x26ce 00002301: JUMP 00002302: JUMPDEST 00002303: PUSH0 00002304: SLOAD 00002305: PUSH2 0x0100 00002308: SWAP1 00002309: DIV 0000230a: PUSH1 0xff 0000230c: AND 0000230d: PUSH2 0x2328 00002310: JUMPI 00002311: PUSH1 0x40 00002313: MLOAD 00002314: PUSH3 0x461bcd 00002318: PUSH1 0xe5 0000231a: SHL 0000231b: DUP2 0000231c: MSTORE 0000231d: PUSH1 0x04 0000231f: ADD 00002320: PUSH2 0x098d 00002323: SWAP1 00002324: PUSH2 0x2fab 00002327: JUMP 00002328: JUMPDEST 00002329: PUSH2 0x1b2e 0000232c: DUP2 0000232d: PUSH2 0x26fd 00002330: JUMP 00002331: JUMPDEST 00002332: PUSH0 00002333: SLOAD 00002334: PUSH2 0x0100 00002337: SWAP1 00002338: DIV 00002339: PUSH1 0xff 0000233b: AND 0000233c: PUSH2 0x2357 0000233f: JUMPI 00002340: PUSH1 0x40 00002342: MLOAD 00002343: PUSH3 0x461bcd 00002347: PUSH1 0xe5 00002349: SHL 0000234a: DUP2 0000234b: MSTORE 0000234c: PUSH1 0x04 0000234e: ADD 0000234f: PUSH2 0x098d 00002352: SWAP1 00002353: PUSH2 0x2fab 00002356: JUMP 00002357: JUMPDEST 00002358: PUSH2 0x1550 0000235b: DUP3 0000235c: DUP3 0000235d: PUSH2 0x2780 00002360: JUMP 00002361: JUMPDEST 00002362: PUSH0 00002363: PUSH2 0x236c 00002366: DUP5 00002367: DUP5 00002368: PUSH2 0x15d0 0000236b: JUMP 0000236c: JUMPDEST 0000236d: SWAP1 0000236e: POP 0000236f: PUSH0 00002370: NOT 00002371: DUP2 00002372: EQ 00002373: PUSH2 0x1d05 00002376: JUMPI 00002377: DUP2 00002378: DUP2 00002379: LT 0000237a: ISZERO 0000237b: PUSH2 0x23c6 0000237e: JUMPI 0000237f: PUSH1 0x40 00002381: MLOAD 00002382: PUSH3 0x461bcd 00002386: PUSH1 0xe5 00002388: SHL 00002389: DUP2 0000238a: MSTORE 0000238b: PUSH1 0x20 0000238d: PUSH1 0x04 0000238f: DUP3 00002390: ADD 00002391: MSTORE 00002392: PUSH1 0x1d 00002394: PUSH1 0x24 00002396: DUP3 00002397: ADD 00002398: MSTORE 00002399: PUSH32 0x45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000 000023ba: PUSH1 0x44 000023bc: DUP3 000023bd: ADD 000023be: MSTORE 000023bf: PUSH1 0x64 000023c1: ADD 000023c2: PUSH2 0x098d 000023c5: JUMP 000023c6: JUMPDEST 000023c7: PUSH2 0x1d05 000023ca: DUP5 000023cb: DUP5 000023cc: DUP5 000023cd: DUP5 000023ce: SUB 000023cf: PUSH2 0x1d4a 000023d2: JUMP 000023d3: JUMPDEST 000023d4: PUSH1 0x01 000023d6: PUSH1 0x01 000023d8: PUSH1 0xa0 000023da: SHL 000023db: SUB 000023dc: DUP3 000023dd: AND 000023de: PUSH2 0x2433 000023e1: JUMPI 000023e2: PUSH1 0x40 000023e4: MLOAD 000023e5: PUSH3 0x461bcd 000023e9: PUSH1 0xe5 000023eb: SHL 000023ec: DUP2 000023ed: MSTORE 000023ee: PUSH1 0x20 000023f0: PUSH1 0x04 000023f2: DUP3 000023f3: ADD 000023f4: MSTORE 000023f5: PUSH1 0x21 000023f7: PUSH1 0x24 000023f9: DUP3 000023fa: ADD 000023fb: MSTORE 000023fc: PUSH32 0x45524332303a206275726e2066726f6d20746865207a65726f20616464726573 0000241d: PUSH1 0x44 0000241f: DUP3 00002420: ADD 00002421: MSTORE 00002422: PUSH1 0x73 00002424: PUSH1 0xf8 00002426: SHL 00002427: PUSH1 0x64 00002429: DUP3 0000242a: ADD 0000242b: MSTORE 0000242c: PUSH1 0x84 0000242e: ADD 0000242f: PUSH2 0x098d 00002432: JUMP 00002433: JUMPDEST 00002434: PUSH1 0x01 00002436: PUSH1 0x01 00002438: PUSH1 0xa0 0000243a: SHL 0000243b: SUB 0000243c: DUP3 0000243d: AND 0000243e: PUSH0 0000243f: SWAP1 00002440: DUP2 00002441: MSTORE 00002442: PUSH1 0x33 00002444: PUSH1 0x20 00002446: MSTORE 00002447: PUSH1 0x40 00002449: SWAP1 0000244a: KECCAK256 0000244b: SLOAD 0000244c: DUP2 0000244d: DUP2 0000244e: LT 0000244f: ISZERO 00002450: PUSH2 0x24a6 00002453: JUMPI 00002454: PUSH1 0x40 00002456: MLOAD 00002457: PUSH3 0x461bcd 0000245b: PUSH1 0xe5 0000245d: SHL 0000245e: DUP2 0000245f: MSTORE 00002460: PUSH1 0x20 00002462: PUSH1 0x04 00002464: DUP3 00002465: ADD 00002466: MSTORE 00002467: PUSH1 0x22 00002469: PUSH1 0x24 0000246b: DUP3 0000246c: ADD 0000246d: MSTORE 0000246e: PUSH32 0x45524332303a206275726e20616d6f756e7420657863656564732062616c616e 0000248f: PUSH1 0x44 00002491: DUP3 00002492: ADD 00002493: MSTORE 00002494: PUSH2 0x6365 00002497: PUSH1 0xf0 00002499: SHL 0000249a: PUSH1 0x64 0000249c: DUP3 0000249d: ADD 0000249e: MSTORE 0000249f: PUSH1 0x84 000024a1: ADD 000024a2: PUSH2 0x098d 000024a5: JUMP 000024a6: JUMPDEST 000024a7: PUSH1 0x01 000024a9: PUSH1 0x01 000024ab: PUSH1 0xa0 000024ad: SHL 000024ae: SUB 000024af: DUP4 000024b0: AND 000024b1: PUSH0 000024b2: DUP2 000024b3: DUP2 000024b4: MSTORE 000024b5: PUSH1 0x33 000024b7: PUSH1 0x20 000024b9: SWAP1 000024ba: DUP2 000024bb: MSTORE 000024bc: PUSH1 0x40 000024be: DUP1 000024bf: DUP4 000024c0: KECCAK256 000024c1: DUP7 000024c2: DUP7 000024c3: SUB 000024c4: SWAP1 000024c5: SSTORE 000024c6: PUSH1 0x35 000024c8: DUP1 000024c9: SLOAD 000024ca: DUP8 000024cb: SWAP1 000024cc: SUB 000024cd: SWAP1 000024ce: SSTORE 000024cf: MLOAD 000024d0: DUP6 000024d1: DUP2 000024d2: MSTORE 000024d3: SWAP2 000024d4: SWAP3 000024d5: SWAP2 000024d6: PUSH0 000024d7: DUP1 000024d8: MLOAD 000024d9: PUSH1 0x20 000024db: PUSH2 0x3159 000024de: DUP4 000024df: CODECOPY 000024e0: DUP2 000024e1: MLOAD 000024e2: SWAP2 000024e3: MSTORE 000024e4: SWAP2 000024e5: ADD 000024e6: PUSH1 0x40 000024e8: MLOAD 000024e9: DUP1 000024ea: SWAP2 000024eb: SUB 000024ec: SWAP1 000024ed: LOG3 000024ee: POP 000024ef: POP 000024f0: POP 000024f1: JUMP 000024f2: JUMPDEST 000024f3: PUSH0 000024f4: PUSH2 0x2546 000024f7: DUP3 000024f8: PUSH1 0x40 000024fa: MLOAD 000024fb: DUP1 000024fc: PUSH1 0x40 000024fe: ADD 000024ff: PUSH1 0x40 00002501: MSTORE 00002502: DUP1 00002503: PUSH1 0x20 00002505: DUP2 00002506: MSTORE 00002507: PUSH1 0x20 00002509: ADD 0000250a: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564 0000252b: DUP2 0000252c: MSTORE 0000252d: POP 0000252e: DUP6 0000252f: PUSH1 0x01 00002531: PUSH1 0x01 00002533: PUSH1 0xa0 00002535: SHL 00002536: SUB 00002537: AND 00002538: PUSH2 0x27bf 0000253b: SWAP1 0000253c: SWAP3 0000253d: SWAP2 0000253e: SWAP1 0000253f: PUSH4 0xffffffff 00002544: AND 00002545: JUMP 00002546: JUMPDEST 00002547: SWAP1 00002548: POP 00002549: DUP1 0000254a: MLOAD 0000254b: PUSH0 0000254c: EQ 0000254d: DUP1 0000254e: PUSH2 0x2566 00002551: JUMPI 00002552: POP 00002553: DUP1 00002554: DUP1 00002555: PUSH1 0x20 00002557: ADD 00002558: SWAP1 00002559: MLOAD 0000255a: DUP2 0000255b: ADD 0000255c: SWAP1 0000255d: PUSH2 0x2566 00002560: SWAP2 00002561: SWAP1 00002562: PUSH2 0x2d4d 00002565: JUMP 00002566: JUMPDEST 00002567: PUSH2 0x2214 0000256a: JUMPI 0000256b: PUSH1 0x40 0000256d: MLOAD 0000256e: PUSH3 0x461bcd 00002572: PUSH1 0xe5 00002574: SHL 00002575: DUP2 00002576: MSTORE 00002577: PUSH1 0x20 00002579: PUSH1 0x04 0000257b: DUP3 0000257c: ADD 0000257d: MSTORE 0000257e: PUSH1 0x2a 00002580: PUSH1 0x24 00002582: DUP3 00002583: ADD 00002584: MSTORE 00002585: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e 000025a6: PUSH1 0x44 000025a8: DUP3 000025a9: ADD 000025aa: MSTORE 000025ab: PUSH10 0x1bdd081cdd58d8d95959 000025b6: PUSH1 0xb2 000025b8: SHL 000025b9: PUSH1 0x64 000025bb: DUP3 000025bc: ADD 000025bd: MSTORE 000025be: PUSH1 0x84 000025c0: ADD 000025c1: PUSH2 0x098d 000025c4: JUMP 000025c5: JUMPDEST 000025c6: PUSH0 000025c7: DUP1 000025c8: PUSH2 0x25d2 000025cb: DUP7 000025cc: DUP7 000025cd: DUP7 000025ce: PUSH2 0x1e9c 000025d1: JUMP 000025d2: JUMPDEST 000025d3: SWAP1 000025d4: POP 000025d5: PUSH1 0x01 000025d7: DUP4 000025d8: PUSH1 0x02 000025da: DUP2 000025db: GT 000025dc: ISZERO 000025dd: PUSH2 0x25e8 000025e0: JUMPI 000025e1: PUSH2 0x25e8 000025e4: PUSH2 0x2ff6 000025e7: JUMP 000025e8: JUMPDEST 000025e9: EQ 000025ea: DUP1 000025eb: ISZERO 000025ec: PUSH2 0x2604 000025ef: JUMPI 000025f0: POP 000025f1: PUSH0 000025f2: DUP5 000025f3: DUP1 000025f4: PUSH2 0x25ff 000025f7: JUMPI 000025f8: PUSH2 0x25ff 000025fb: PUSH2 0x2e49 000025fe: JUMP 000025ff: JUMPDEST 00002600: DUP7 00002601: DUP9 00002602: MULMOD 00002603: GT 00002604: JUMPDEST 00002605: ISZERO 00002606: PUSH2 0x2617 00002609: JUMPI 0000260a: PUSH2 0x2614 0000260d: PUSH1 0x01 0000260f: DUP3 00002610: PUSH2 0x2c6b 00002613: JUMP 00002614: JUMPDEST 00002615: SWAP1 00002616: POP 00002617: JUMPDEST 00002618: SWAP1 00002619: POP 0000261a: JUMPDEST 0000261b: SWAP5 0000261c: SWAP4 0000261d: POP 0000261e: POP 0000261f: POP 00002620: POP 00002621: JUMP 00002622: JUMPDEST 00002623: PUSH1 0x01 00002625: PUSH1 0x01 00002627: PUSH1 0xa0 00002629: SHL 0000262a: SUB 0000262b: DUP3 0000262c: AND 0000262d: PUSH2 0x2678 00002630: JUMPI 00002631: PUSH1 0x40 00002633: MLOAD 00002634: PUSH3 0x461bcd 00002638: PUSH1 0xe5 0000263a: SHL 0000263b: DUP2 0000263c: MSTORE 0000263d: PUSH1 0x20 0000263f: PUSH1 0x04 00002641: DUP3 00002642: ADD 00002643: MSTORE 00002644: PUSH1 0x1f 00002646: PUSH1 0x24 00002648: DUP3 00002649: ADD 0000264a: MSTORE 0000264b: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300 0000266c: PUSH1 0x44 0000266e: DUP3 0000266f: ADD 00002670: MSTORE 00002671: PUSH1 0x64 00002673: ADD 00002674: PUSH2 0x098d 00002677: JUMP 00002678: JUMPDEST 00002679: DUP1 0000267a: PUSH1 0x35 0000267c: PUSH0 0000267d: DUP3 0000267e: DUP3 0000267f: SLOAD 00002680: PUSH2 0x2689 00002683: SWAP2 00002684: SWAP1 00002685: PUSH2 0x2c6b 00002688: JUMP 00002689: JUMPDEST 0000268a: SWAP1 0000268b: SWAP2 0000268c: SSTORE 0000268d: POP 0000268e: POP 0000268f: PUSH1 0x01 00002691: PUSH1 0x01 00002693: PUSH1 0xa0 00002695: SHL 00002696: SUB 00002697: DUP3 00002698: AND 00002699: PUSH0 0000269a: DUP2 0000269b: DUP2 0000269c: MSTORE 0000269d: PUSH1 0x33 0000269f: PUSH1 0x20 000026a1: SWAP1 000026a2: DUP2 000026a3: MSTORE 000026a4: PUSH1 0x40 000026a6: DUP1 000026a7: DUP4 000026a8: KECCAK256 000026a9: DUP1 000026aa: SLOAD 000026ab: DUP7 000026ac: ADD 000026ad: SWAP1 000026ae: SSTORE 000026af: MLOAD 000026b0: DUP5 000026b1: DUP2 000026b2: MSTORE 000026b3: PUSH0 000026b4: DUP1 000026b5: MLOAD 000026b6: PUSH1 0x20 000026b8: PUSH2 0x3159 000026bb: DUP4 000026bc: CODECOPY 000026bd: DUP2 000026be: MLOAD 000026bf: SWAP2 000026c0: MSTORE 000026c1: SWAP2 000026c2: ADD 000026c3: PUSH1 0x40 000026c5: MLOAD 000026c6: DUP1 000026c7: SWAP2 000026c8: SUB 000026c9: SWAP1 000026ca: LOG3 000026cb: POP 000026cc: POP 000026cd: JUMP 000026ce: JUMPDEST 000026cf: PUSH0 000026d0: SLOAD 000026d1: PUSH2 0x0100 000026d4: SWAP1 000026d5: DIV 000026d6: PUSH1 0xff 000026d8: AND 000026d9: PUSH2 0x26f4 000026dc: JUMPI 000026dd: PUSH1 0x40 000026df: MLOAD 000026e0: PUSH3 0x461bcd 000026e4: PUSH1 0xe5 000026e6: SHL 000026e7: DUP2 000026e8: MSTORE 000026e9: PUSH1 0x04 000026eb: ADD 000026ec: PUSH2 0x098d 000026ef: SWAP1 000026f0: PUSH2 0x2fab 000026f3: JUMP 000026f4: JUMPDEST 000026f5: PUSH2 0x0e02 000026f8: CALLER 000026f9: PUSH2 0x21a4 000026fc: JUMP 000026fd: JUMPDEST 000026fe: PUSH0 000026ff: SLOAD 00002700: PUSH2 0x0100 00002703: SWAP1 00002704: DIV 00002705: PUSH1 0xff 00002707: AND 00002708: PUSH2 0x2723 0000270b: JUMPI 0000270c: PUSH1 0x40 0000270e: MLOAD 0000270f: PUSH3 0x461bcd 00002713: PUSH1 0xe5 00002715: SHL 00002716: DUP2 00002717: MSTORE 00002718: PUSH1 0x04 0000271a: ADD 0000271b: PUSH2 0x098d 0000271e: SWAP1 0000271f: PUSH2 0x2fab 00002722: JUMP 00002723: JUMPDEST 00002724: PUSH0 00002725: DUP1 00002726: PUSH2 0x272e 00002729: DUP4 0000272a: PUSH2 0x27cd 0000272d: JUMP 0000272e: JUMPDEST 0000272f: SWAP2 00002730: POP 00002731: SWAP2 00002732: POP 00002733: DUP2 00002734: PUSH2 0x273e 00002737: JUMPI 00002738: PUSH1 0x12 0000273a: PUSH2 0x2740 0000273d: JUMP 0000273e: JUMPDEST 0000273f: DUP1 00002740: JUMPDEST 00002741: PUSH1 0x65 00002743: DUP1 00002744: SLOAD 00002745: PUSH1 0x01 00002747: PUSH1 0x01 00002749: PUSH1 0xa0 0000274b: SHL 0000274c: SUB 0000274d: SWAP1 0000274e: SWAP6 0000274f: AND 00002750: PUSH1 0x01 00002752: PUSH1 0x01 00002754: PUSH1 0xa0 00002756: SHL 00002757: SUB 00002758: NOT 00002759: PUSH1 0xff 0000275b: SWAP4 0000275c: SWAP1 0000275d: SWAP4 0000275e: AND 0000275f: PUSH1 0x01 00002761: PUSH1 0xa0 00002763: SHL 00002764: MUL 00002765: SWAP3 00002766: SWAP1 00002767: SWAP3 00002768: AND 00002769: PUSH1 0x01 0000276b: PUSH1 0x01 0000276d: PUSH1 0xa8 0000276f: SHL 00002770: SUB 00002771: NOT 00002772: SWAP1 00002773: SWAP6 00002774: AND 00002775: SWAP5 00002776: SWAP1 00002777: SWAP5 00002778: OR 00002779: OR 0000277a: SWAP1 0000277b: SWAP3 0000277c: SSTORE 0000277d: POP 0000277e: POP 0000277f: JUMP 00002780: JUMPDEST 00002781: PUSH0 00002782: SLOAD 00002783: PUSH2 0x0100 00002786: SWAP1 00002787: DIV 00002788: PUSH1 0xff 0000278a: AND 0000278b: PUSH2 0x27a6 0000278e: JUMPI 0000278f: PUSH1 0x40 00002791: MLOAD 00002792: PUSH3 0x461bcd 00002796: PUSH1 0xe5 00002798: SHL 00002799: DUP2 0000279a: MSTORE 0000279b: PUSH1 0x04 0000279d: ADD 0000279e: PUSH2 0x098d 000027a1: SWAP1 000027a2: PUSH2 0x2fab 000027a5: JUMP 000027a6: JUMPDEST 000027a7: PUSH1 0x36 000027a9: PUSH2 0x27b2 000027ac: DUP4 000027ad: DUP3 000027ae: PUSH2 0x306b 000027b1: JUMP 000027b2: JUMPDEST 000027b3: POP 000027b4: PUSH1 0x37 000027b6: PUSH2 0x2214 000027b9: DUP3 000027ba: DUP3 000027bb: PUSH2 0x306b 000027be: JUMP 000027bf: JUMPDEST 000027c0: PUSH1 0x60 000027c2: PUSH2 0x261a 000027c5: DUP5 000027c6: DUP5 000027c7: PUSH0 000027c8: DUP6 000027c9: PUSH2 0x28a3 000027cc: JUMP 000027cd: JUMPDEST 000027ce: PUSH1 0x40 000027d0: DUP1 000027d1: MLOAD 000027d2: PUSH1 0x04 000027d4: DUP2 000027d5: MSTORE 000027d6: PUSH1 0x24 000027d8: DUP2 000027d9: ADD 000027da: DUP3 000027db: MSTORE 000027dc: PUSH1 0x20 000027de: DUP2 000027df: ADD 000027e0: DUP1 000027e1: MLOAD 000027e2: PUSH1 0x01 000027e4: PUSH1 0x01 000027e6: PUSH1 0xe0 000027e8: SHL 000027e9: SUB 000027ea: AND 000027eb: PUSH4 0x313ce567 000027f0: PUSH1 0xe0 000027f2: SHL 000027f3: OR 000027f4: SWAP1 000027f5: MSTORE 000027f6: SWAP1 000027f7: MLOAD 000027f8: PUSH0 000027f9: SWAP2 000027fa: DUP3 000027fb: SWAP2 000027fc: DUP3 000027fd: SWAP2 000027fe: DUP3 000027ff: SWAP2 00002800: PUSH1 0x01 00002802: PUSH1 0x01 00002804: PUSH1 0xa0 00002806: SHL 00002807: SUB 00002808: DUP8 00002809: AND 0000280a: SWAP2 0000280b: PUSH2 0x2813 0000280e: SWAP2 0000280f: PUSH2 0x3126 00002812: JUMP 00002813: JUMPDEST 00002814: PUSH0 00002815: PUSH1 0x40 00002817: MLOAD 00002818: DUP1 00002819: DUP4 0000281a: SUB 0000281b: DUP2 0000281c: DUP6 0000281d: GAS 0000281e: STATICCALL 0000281f: SWAP2 00002820: POP 00002821: POP 00002822: RETURNDATASIZE 00002823: DUP1 00002824: PUSH0 00002825: DUP2 00002826: EQ 00002827: PUSH2 0x284b 0000282a: JUMPI 0000282b: PUSH1 0x40 0000282d: MLOAD 0000282e: SWAP2 0000282f: POP 00002830: PUSH1 0x1f 00002832: NOT 00002833: PUSH1 0x3f 00002835: RETURNDATASIZE 00002836: ADD 00002837: AND 00002838: DUP3 00002839: ADD 0000283a: PUSH1 0x40 0000283c: MSTORE 0000283d: RETURNDATASIZE 0000283e: DUP3 0000283f: MSTORE 00002840: RETURNDATASIZE 00002841: PUSH0 00002842: PUSH1 0x20 00002844: DUP5 00002845: ADD 00002846: RETURNDATACOPY 00002847: PUSH2 0x2850 0000284a: JUMP 0000284b: JUMPDEST 0000284c: PUSH1 0x60 0000284e: SWAP2 0000284f: POP 00002850: JUMPDEST 00002851: POP 00002852: SWAP2 00002853: POP 00002854: SWAP2 00002855: POP 00002856: DUP2 00002857: DUP1 00002858: ISZERO 00002859: PUSH2 0x2864 0000285c: JUMPI 0000285d: POP 0000285e: PUSH1 0x20 00002860: DUP2 00002861: MLOAD 00002862: LT 00002863: ISZERO 00002864: JUMPDEST 00002865: ISZERO 00002866: PUSH2 0x2897 00002869: JUMPI 0000286a: PUSH0 0000286b: DUP2 0000286c: DUP1 0000286d: PUSH1 0x20 0000286f: ADD 00002870: SWAP1 00002871: MLOAD 00002872: DUP2 00002873: ADD 00002874: SWAP1 00002875: PUSH2 0x287e 00002878: SWAP2 00002879: SWAP1 0000287a: PUSH2 0x3141 0000287d: JUMP 0000287e: JUMPDEST 0000287f: SWAP1 00002880: POP 00002881: PUSH1 0xff 00002883: DUP2 00002884: GT 00002885: PUSH2 0x2895 00002888: JUMPI 00002889: PUSH1 0x01 0000288b: SWAP7 0000288c: SWAP1 0000288d: SWAP6 0000288e: POP 0000288f: SWAP4 00002890: POP 00002891: POP 00002892: POP 00002893: POP 00002894: JUMP 00002895: JUMPDEST 00002896: POP 00002897: JUMPDEST 00002898: POP 00002899: PUSH0 0000289a: SWAP5 0000289b: DUP6 0000289c: SWAP5 0000289d: POP 0000289e: SWAP3 0000289f: POP 000028a0: POP 000028a1: POP 000028a2: JUMP 000028a3: JUMPDEST 000028a4: PUSH1 0x60 000028a6: DUP3 000028a7: SELFBALANCE 000028a8: LT 000028a9: ISZERO 000028aa: PUSH2 0x2904 000028ad: JUMPI 000028ae: PUSH1 0x40 000028b0: MLOAD 000028b1: PUSH3 0x461bcd 000028b5: PUSH1 0xe5 000028b7: SHL 000028b8: DUP2 000028b9: MSTORE 000028ba: PUSH1 0x20 000028bc: PUSH1 0x04 000028be: DUP3 000028bf: ADD 000028c0: MSTORE 000028c1: PUSH1 0x26 000028c3: PUSH1 0x24 000028c5: DUP3 000028c6: ADD 000028c7: MSTORE 000028c8: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f 000028e9: PUSH1 0x44 000028eb: DUP3 000028ec: ADD 000028ed: MSTORE 000028ee: PUSH6 0x1c8818d85b1b 000028f5: PUSH1 0xd2 000028f7: SHL 000028f8: PUSH1 0x64 000028fa: DUP3 000028fb: ADD 000028fc: MSTORE 000028fd: PUSH1 0x84 000028ff: ADD 00002900: PUSH2 0x098d 00002903: JUMP 00002904: JUMPDEST 00002905: PUSH0 00002906: DUP1 00002907: DUP7 00002908: PUSH1 0x01 0000290a: PUSH1 0x01 0000290c: PUSH1 0xa0 0000290e: SHL 0000290f: SUB 00002910: AND 00002911: DUP6 00002912: DUP8 00002913: PUSH1 0x40 00002915: MLOAD 00002916: PUSH2 0x291f 00002919: SWAP2 0000291a: SWAP1 0000291b: PUSH2 0x3126 0000291e: JUMP 0000291f: JUMPDEST 00002920: PUSH0 00002921: PUSH1 0x40 00002923: MLOAD 00002924: DUP1 00002925: DUP4 00002926: SUB 00002927: DUP2 00002928: DUP6 00002929: DUP8 0000292a: GAS 0000292b: CALL 0000292c: SWAP3 0000292d: POP 0000292e: POP 0000292f: POP 00002930: RETURNDATASIZE 00002931: DUP1 00002932: PUSH0 00002933: DUP2 00002934: EQ 00002935: PUSH2 0x2959 00002938: JUMPI 00002939: PUSH1 0x40 0000293b: MLOAD 0000293c: SWAP2 0000293d: POP 0000293e: PUSH1 0x1f 00002940: NOT 00002941: PUSH1 0x3f 00002943: RETURNDATASIZE 00002944: ADD 00002945: AND 00002946: DUP3 00002947: ADD 00002948: PUSH1 0x40 0000294a: MSTORE 0000294b: RETURNDATASIZE 0000294c: DUP3 0000294d: MSTORE 0000294e: RETURNDATASIZE 0000294f: PUSH0 00002950: PUSH1 0x20 00002952: DUP5 00002953: ADD 00002954: RETURNDATACOPY 00002955: PUSH2 0x295e 00002958: JUMP 00002959: JUMPDEST 0000295a: PUSH1 0x60 0000295c: SWAP2 0000295d: POP 0000295e: JUMPDEST 0000295f: POP 00002960: SWAP2 00002961: POP 00002962: SWAP2 00002963: POP 00002964: PUSH2 0x296f 00002967: DUP8 00002968: DUP4 00002969: DUP4 0000296a: DUP8 0000296b: PUSH2 0x297a 0000296e: JUMP 0000296f: JUMPDEST 00002970: SWAP8 00002971: SWAP7 00002972: POP 00002973: POP 00002974: POP 00002975: POP 00002976: POP 00002977: POP 00002978: POP 00002979: JUMP 0000297a: JUMPDEST 0000297b: PUSH1 0x60 0000297d: DUP4 0000297e: ISZERO 0000297f: PUSH2 0x29e6 00002982: JUMPI 00002983: DUP3 00002984: MLOAD 00002985: PUSH0 00002986: SUB 00002987: PUSH2 0x29df 0000298a: JUMPI 0000298b: PUSH2 0x2993 0000298e: DUP6 0000298f: PUSH2 0x22c5 00002992: JUMP 00002993: JUMPDEST 00002994: PUSH2 0x29df 00002997: JUMPI 00002998: PUSH1 0x40 0000299a: MLOAD 0000299b: PUSH3 0x461bcd 0000299f: PUSH1 0xe5 000029a1: SHL 000029a2: DUP2 000029a3: MSTORE 000029a4: PUSH1 0x20 000029a6: PUSH1 0x04 000029a8: DUP3 000029a9: ADD 000029aa: MSTORE 000029ab: PUSH1 0x1d 000029ad: PUSH1 0x24 000029af: DUP3 000029b0: ADD 000029b1: MSTORE 000029b2: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000 000029d3: PUSH1 0x44 000029d5: DUP3 000029d6: ADD 000029d7: MSTORE 000029d8: PUSH1 0x64 000029da: ADD 000029db: PUSH2 0x098d 000029de: JUMP 000029df: JUMPDEST 000029e0: POP 000029e1: DUP2 000029e2: PUSH2 0x261a 000029e5: JUMP 000029e6: JUMPDEST 000029e7: PUSH2 0x261a 000029ea: DUP4 000029eb: DUP4 000029ec: DUP2 000029ed: MLOAD 000029ee: ISZERO 000029ef: PUSH2 0x29fb 000029f2: JUMPI 000029f3: DUP2 000029f4: MLOAD 000029f5: DUP1 000029f6: DUP4 000029f7: PUSH1 0x20 000029f9: ADD 000029fa: REVERT 000029fb: JUMPDEST 000029fc: DUP1 000029fd: PUSH1 0x40 000029ff: MLOAD 00002a00: PUSH3 0x461bcd 00002a04: PUSH1 0xe5 00002a06: SHL 00002a07: DUP2 00002a08: MSTORE 00002a09: PUSH1 0x04 00002a0b: ADD 00002a0c: PUSH2 0x098d 00002a0f: SWAP2 00002a10: SWAP1 00002a11: PUSH2 0x2a57 00002a14: JUMP 00002a15: JUMPDEST 00002a16: PUSH0 00002a17: DUP1 00002a18: PUSH1 0x40 00002a1a: DUP4 00002a1b: DUP6 00002a1c: SUB 00002a1d: SLT 00002a1e: ISZERO 00002a1f: PUSH2 0x2a26 00002a22: JUMPI 00002a23: PUSH0 00002a24: DUP1 00002a25: REVERT 00002a26: JUMPDEST 00002a27: POP 00002a28: POP 00002a29: DUP1 00002a2a: CALLDATALOAD 00002a2b: SWAP3 00002a2c: PUSH1 0x20 00002a2e: SWAP1 00002a2f: SWAP2 00002a30: ADD 00002a31: CALLDATALOAD 00002a32: SWAP2 00002a33: POP 00002a34: JUMP 00002a35: JUMPDEST 00002a36: PUSH0 00002a37: JUMPDEST 00002a38: DUP4 00002a39: DUP2 00002a3a: LT 00002a3b: ISZERO 00002a3c: PUSH2 0x2a4f 00002a3f: JUMPI 00002a40: DUP2 00002a41: DUP2 00002a42: ADD 00002a43: MLOAD 00002a44: DUP4 00002a45: DUP3 00002a46: ADD 00002a47: MSTORE 00002a48: PUSH1 0x20 00002a4a: ADD 00002a4b: PUSH2 0x2a37 00002a4e: JUMP 00002a4f: JUMPDEST 00002a50: POP 00002a51: POP 00002a52: PUSH0 00002a53: SWAP2 00002a54: ADD 00002a55: MSTORE 00002a56: JUMP 00002a57: JUMPDEST 00002a58: PUSH1 0x20 00002a5a: DUP2 00002a5b: MSTORE 00002a5c: PUSH0 00002a5d: DUP3 00002a5e: MLOAD 00002a5f: DUP1 00002a60: PUSH1 0x20 00002a62: DUP5 00002a63: ADD 00002a64: MSTORE 00002a65: PUSH2 0x2a75 00002a68: DUP2 00002a69: PUSH1 0x40 00002a6b: DUP6 00002a6c: ADD 00002a6d: PUSH1 0x20 00002a6f: DUP8 00002a70: ADD 00002a71: PUSH2 0x2a35 00002a74: JUMP 00002a75: JUMPDEST 00002a76: PUSH1 0x1f 00002a78: ADD 00002a79: PUSH1 0x1f 00002a7b: NOT 00002a7c: AND 00002a7d: SWAP2 00002a7e: SWAP1 00002a7f: SWAP2 00002a80: ADD 00002a81: PUSH1 0x40 00002a83: ADD 00002a84: SWAP3 00002a85: SWAP2 00002a86: POP 00002a87: POP 00002a88: JUMP 00002a89: JUMPDEST 00002a8a: PUSH0 00002a8b: PUSH1 0x20 00002a8d: DUP3 00002a8e: DUP5 00002a8f: SUB 00002a90: SLT 00002a91: ISZERO 00002a92: PUSH2 0x2a99 00002a95: JUMPI 00002a96: PUSH0 00002a97: DUP1 00002a98: REVERT 00002a99: JUMPDEST 00002a9a: POP 00002a9b: CALLDATALOAD 00002a9c: SWAP2 00002a9d: SWAP1 00002a9e: POP 00002a9f: JUMP 00002aa0: JUMPDEST 00002aa1: DUP1 00002aa2: CALLDATALOAD 00002aa3: PUSH1 0x01 00002aa5: PUSH1 0x01 00002aa7: PUSH1 0xa0 00002aa9: SHL 00002aaa: SUB 00002aab: DUP2 00002aac: AND 00002aad: DUP2 00002aae: EQ 00002aaf: PUSH2 0x2ab6 00002ab2: JUMPI 00002ab3: PUSH0 00002ab4: DUP1 00002ab5: REVERT 00002ab6: JUMPDEST 00002ab7: SWAP2 00002ab8: SWAP1 00002ab9: POP 00002aba: JUMP 00002abb: JUMPDEST 00002abc: PUSH0 00002abd: DUP1 00002abe: PUSH1 0x40 00002ac0: DUP4 00002ac1: DUP6 00002ac2: SUB 00002ac3: SLT 00002ac4: ISZERO 00002ac5: PUSH2 0x2acc 00002ac8: JUMPI 00002ac9: PUSH0 00002aca: DUP1 00002acb: REVERT 00002acc: JUMPDEST 00002acd: PUSH2 0x2ad5 00002ad0: DUP4 00002ad1: PUSH2 0x2aa0 00002ad4: JUMP 00002ad5: JUMPDEST 00002ad6: SWAP5 00002ad7: PUSH1 0x20 00002ad9: SWAP4 00002ada: SWAP1 00002adb: SWAP4 00002adc: ADD 00002add: CALLDATALOAD 00002ade: SWAP4 00002adf: POP 00002ae0: POP 00002ae1: POP 00002ae2: JUMP 00002ae3: JUMPDEST 00002ae4: PUSH1 0x01 00002ae6: PUSH1 0x01 00002ae8: PUSH1 0xa0 00002aea: SHL 00002aeb: SUB 00002aec: SWAP2 00002aed: SWAP1 00002aee: SWAP2 00002aef: AND 00002af0: DUP2 00002af1: MSTORE 00002af2: PUSH1 0x20 00002af4: ADD 00002af5: SWAP1 00002af6: JUMP 00002af7: JUMPDEST 00002af8: PUSH0 00002af9: DUP1 00002afa: PUSH0 00002afb: PUSH1 0x60 00002afd: DUP5 00002afe: DUP7 00002aff: SUB 00002b00: SLT 00002b01: ISZERO 00002b02: PUSH2 0x2b09 00002b05: JUMPI 00002b06: PUSH0 00002b07: DUP1 00002b08: REVERT 00002b09: JUMPDEST 00002b0a: PUSH2 0x2b12 00002b0d: DUP5 00002b0e: PUSH2 0x2aa0 00002b11: JUMP 00002b12: JUMPDEST 00002b13: SWAP3 00002b14: POP 00002b15: PUSH2 0x2b20 00002b18: PUSH1 0x20 00002b1a: DUP6 00002b1b: ADD 00002b1c: PUSH2 0x2aa0 00002b1f: JUMP 00002b20: JUMPDEST 00002b21: SWAP2 00002b22: POP 00002b23: PUSH1 0x40 00002b25: DUP5 00002b26: ADD 00002b27: CALLDATALOAD 00002b28: SWAP1 00002b29: POP 00002b2a: SWAP3 00002b2b: POP 00002b2c: SWAP3 00002b2d: POP 00002b2e: SWAP3 00002b2f: JUMP 00002b30: JUMPDEST 00002b31: PUSH0 00002b32: PUSH1 0x20 00002b34: DUP3 00002b35: DUP5 00002b36: SUB 00002b37: SLT 00002b38: ISZERO 00002b39: PUSH2 0x2b40 00002b3c: JUMPI 00002b3d: PUSH0 00002b3e: DUP1 00002b3f: REVERT 00002b40: JUMPDEST 00002b41: PUSH2 0x1d43 00002b44: DUP3 00002b45: PUSH2 0x2aa0 00002b48: JUMP 00002b49: JUMPDEST 00002b4a: PUSH0 00002b4b: DUP1 00002b4c: PUSH1 0x40 00002b4e: DUP4 00002b4f: DUP6 00002b50: SUB 00002b51: SLT 00002b52: ISZERO 00002b53: PUSH2 0x2b5a 00002b56: JUMPI 00002b57: PUSH0 00002b58: DUP1 00002b59: REVERT 00002b5a: JUMPDEST 00002b5b: DUP3 00002b5c: CALLDATALOAD 00002b5d: SWAP2 00002b5e: POP 00002b5f: PUSH2 0x2b6a 00002b62: PUSH1 0x20 00002b64: DUP5 00002b65: ADD 00002b66: PUSH2 0x2aa0 00002b69: JUMP 00002b6a: JUMPDEST 00002b6b: SWAP1 00002b6c: POP 00002b6d: SWAP3 00002b6e: POP 00002b6f: SWAP3 00002b70: SWAP1 00002b71: POP 00002b72: JUMP 00002b73: JUMPDEST 00002b74: PUSH0 00002b75: DUP1 00002b76: PUSH0 00002b77: PUSH1 0x60 00002b79: DUP5 00002b7a: DUP7 00002b7b: SUB 00002b7c: SLT 00002b7d: ISZERO 00002b7e: PUSH2 0x2b85 00002b81: JUMPI 00002b82: PUSH0 00002b83: DUP1 00002b84: REVERT 00002b85: JUMPDEST 00002b86: DUP4 00002b87: CALLDATALOAD 00002b88: SWAP3 00002b89: POP 00002b8a: PUSH2 0x2b95 00002b8d: PUSH1 0x20 00002b8f: DUP6 00002b90: ADD 00002b91: PUSH2 0x2aa0 00002b94: JUMP 00002b95: JUMPDEST 00002b96: SWAP2 00002b97: POP 00002b98: PUSH2 0x2ba3 00002b9b: PUSH1 0x40 00002b9d: DUP6 00002b9e: ADD 00002b9f: PUSH2 0x2aa0 00002ba2: JUMP 00002ba3: JUMPDEST 00002ba4: SWAP1 00002ba5: POP 00002ba6: SWAP3 00002ba7: POP 00002ba8: SWAP3 00002ba9: POP 00002baa: SWAP3 00002bab: JUMP 00002bac: JUMPDEST 00002bad: DUP1 00002bae: ISZERO 00002baf: ISZERO 00002bb0: DUP2 00002bb1: EQ 00002bb2: PUSH2 0x1b2e 00002bb5: JUMPI 00002bb6: PUSH0 00002bb7: DUP1 00002bb8: REVERT 00002bb9: JUMPDEST 00002bba: PUSH0 00002bbb: DUP1 00002bbc: PUSH1 0x40 00002bbe: DUP4 00002bbf: DUP6 00002bc0: SUB 00002bc1: SLT 00002bc2: ISZERO 00002bc3: PUSH2 0x2bca 00002bc6: JUMPI 00002bc7: PUSH0 00002bc8: DUP1 00002bc9: REVERT 00002bca: JUMPDEST 00002bcb: PUSH2 0x2bd3 00002bce: DUP4 00002bcf: PUSH2 0x2aa0 00002bd2: JUMP 00002bd3: JUMPDEST 00002bd4: SWAP2 00002bd5: POP 00002bd6: PUSH1 0x20 00002bd8: DUP4 00002bd9: ADD 00002bda: CALLDATALOAD 00002bdb: PUSH2 0x2be3 00002bde: DUP2 00002bdf: PUSH2 0x2bac 00002be2: JUMP 00002be3: JUMPDEST 00002be4: DUP1 00002be5: SWAP2 00002be6: POP 00002be7: POP 00002be8: SWAP3 00002be9: POP 00002bea: SWAP3 00002beb: SWAP1 00002bec: POP 00002bed: JUMP 00002bee: JUMPDEST 00002bef: PUSH0 00002bf0: DUP1 00002bf1: PUSH1 0x40 00002bf3: DUP4 00002bf4: DUP6 00002bf5: SUB 00002bf6: SLT 00002bf7: ISZERO 00002bf8: PUSH2 0x2bff 00002bfb: JUMPI 00002bfc: PUSH0 00002bfd: DUP1 00002bfe: REVERT 00002bff: JUMPDEST 00002c00: PUSH2 0x2c08 00002c03: DUP4 00002c04: PUSH2 0x2aa0 00002c07: JUMP 00002c08: JUMPDEST 00002c09: SWAP2 00002c0a: POP 00002c0b: PUSH2 0x2b6a 00002c0e: PUSH1 0x20 00002c10: DUP5 00002c11: ADD 00002c12: PUSH2 0x2aa0 00002c15: JUMP 00002c16: JUMPDEST 00002c17: PUSH1 0x20 00002c19: DUP1 00002c1a: DUP3 00002c1b: MSTORE 00002c1c: PUSH1 0x14 00002c1e: SWAP1 00002c1f: DUP3 00002c20: ADD 00002c21: MSTORE 00002c22: PUSH20 0x139bdd08185b88185b1b1bddd959081d985d5b1d 00002c37: PUSH1 0x62 00002c39: SHL 00002c3a: PUSH1 0x40 00002c3c: DUP3 00002c3d: ADD 00002c3e: MSTORE 00002c3f: PUSH1 0x60 00002c41: ADD 00002c42: SWAP1 00002c43: JUMP 00002c44: JUMPDEST 00002c45: PUSH4 0x4e487b71 00002c4a: PUSH1 0xe0 00002c4c: SHL 00002c4d: PUSH0 00002c4e: MSTORE 00002c4f: PUSH1 0x11 00002c51: PUSH1 0x04 00002c53: MSTORE 00002c54: PUSH1 0x24 00002c56: PUSH0 00002c57: REVERT 00002c58: JUMPDEST 00002c59: DUP2 00002c5a: DUP2 00002c5b: SUB 00002c5c: DUP2 00002c5d: DUP2 00002c5e: GT 00002c5f: ISZERO 00002c60: PUSH2 0x0a3b 00002c63: JUMPI 00002c64: PUSH2 0x0a3b 00002c67: PUSH2 0x2c44 00002c6a: JUMP 00002c6b: JUMPDEST 00002c6c: DUP1 00002c6d: DUP3 00002c6e: ADD 00002c6f: DUP1 00002c70: DUP3 00002c71: GT 00002c72: ISZERO 00002c73: PUSH2 0x0a3b 00002c76: JUMPI 00002c77: PUSH2 0x0a3b 00002c7a: PUSH2 0x2c44 00002c7d: JUMP 00002c7e: JUMPDEST 00002c7f: PUSH1 0x01 00002c81: DUP2 00002c82: DUP2 00002c83: SHR 00002c84: SWAP1 00002c85: DUP3 00002c86: AND 00002c87: DUP1 00002c88: PUSH2 0x2c92 00002c8b: JUMPI 00002c8c: PUSH1 0x7f 00002c8e: DUP3 00002c8f: AND 00002c90: SWAP2 00002c91: POP 00002c92: JUMPDEST 00002c93: PUSH1 0x20 00002c95: DUP3 00002c96: LT 00002c97: DUP2 00002c98: SUB 00002c99: PUSH2 0x1ab2 00002c9c: JUMPI 00002c9d: PUSH4 0x4e487b71 00002ca2: PUSH1 0xe0 00002ca4: SHL 00002ca5: PUSH0 00002ca6: MSTORE 00002ca7: PUSH1 0x22 00002ca9: PUSH1 0x04 00002cab: MSTORE 00002cac: PUSH1 0x24 00002cae: PUSH0 00002caf: REVERT 00002cb0: JUMPDEST 00002cb1: PUSH1 0xff 00002cb3: DUP2 00002cb4: DUP2 00002cb5: AND 00002cb6: DUP4 00002cb7: DUP3 00002cb8: AND 00002cb9: ADD 00002cba: SWAP1 00002cbb: DUP2 00002cbc: GT 00002cbd: ISZERO 00002cbe: PUSH2 0x0a3b 00002cc1: JUMPI 00002cc2: PUSH2 0x0a3b 00002cc5: PUSH2 0x2c44 00002cc8: JUMP 00002cc9: JUMPDEST 00002cca: PUSH1 0x20 00002ccc: DUP1 00002ccd: DUP3 00002cce: MSTORE 00002ccf: PUSH1 0x0c 00002cd1: SWAP1 00002cd2: DUP3 00002cd3: ADD 00002cd4: MSTORE 00002cd5: PUSH12 0x5a45524f5f41444452455353 00002ce2: PUSH1 0xa0 00002ce4: SHL 00002ce5: PUSH1 0x40 00002ce7: DUP3 00002ce8: ADD 00002ce9: MSTORE 00002cea: PUSH1 0x60 00002cec: ADD 00002ced: SWAP1 00002cee: JUMP 00002cef: JUMPDEST 00002cf0: PUSH1 0x01 00002cf2: PUSH1 0x01 00002cf4: PUSH1 0xa0 00002cf6: SHL 00002cf7: SUB 00002cf8: SWAP3 00002cf9: SWAP1 00002cfa: SWAP3 00002cfb: AND 00002cfc: DUP3 00002cfd: MSTORE 00002cfe: PUSH1 0x20 00002d00: DUP3 00002d01: ADD 00002d02: MSTORE 00002d03: PUSH1 0x40 00002d05: ADD 00002d06: SWAP1 00002d07: JUMP 00002d08: JUMPDEST 00002d09: PUSH1 0x20 00002d0b: DUP1 00002d0c: DUP3 00002d0d: MSTORE 00002d0e: PUSH1 0x07 00002d10: SWAP1 00002d11: DUP3 00002d12: ADD 00002d13: MSTORE 00002d14: PUSH7 0x056414c55455f3 00002d1c: PUSH1 0xcc 00002d1e: SHL 00002d1f: PUSH1 0x40 00002d21: DUP3 00002d22: ADD 00002d23: MSTORE 00002d24: PUSH1 0x60 00002d26: ADD 00002d27: SWAP1 00002d28: JUMP 00002d29: JUMPDEST 00002d2a: PUSH1 0x01 00002d2c: PUSH1 0x01 00002d2e: PUSH1 0xa0 00002d30: SHL 00002d31: SUB 00002d32: SWAP4 00002d33: DUP5 00002d34: AND 00002d35: DUP2 00002d36: MSTORE 00002d37: SWAP2 00002d38: SWAP1 00002d39: SWAP3 00002d3a: AND 00002d3b: PUSH1 0x20 00002d3d: DUP3 00002d3e: ADD 00002d3f: MSTORE 00002d40: PUSH1 0x40 00002d42: DUP2 00002d43: ADD 00002d44: SWAP2 00002d45: SWAP1 00002d46: SWAP2 00002d47: MSTORE 00002d48: PUSH1 0x60 00002d4a: ADD 00002d4b: SWAP1 00002d4c: JUMP 00002d4d: JUMPDEST 00002d4e: PUSH0 00002d4f: PUSH1 0x20 00002d51: DUP3 00002d52: DUP5 00002d53: SUB 00002d54: SLT 00002d55: ISZERO 00002d56: PUSH2 0x2d5d 00002d59: JUMPI 00002d5a: PUSH0 00002d5b: DUP1 00002d5c: REVERT 00002d5d: JUMPDEST 00002d5e: DUP2 00002d5f: MLOAD 00002d60: PUSH2 0x1d43 00002d63: DUP2 00002d64: PUSH2 0x2bac 00002d67: JUMP 00002d68: JUMPDEST 00002d69: PUSH1 0x01 00002d6b: PUSH1 0x01 00002d6d: PUSH1 0xa0 00002d6f: SHL 00002d70: SUB 00002d71: SWAP7 00002d72: DUP8 00002d73: AND 00002d74: DUP2 00002d75: MSTORE 00002d76: SWAP5 00002d77: SWAP1 00002d78: SWAP6 00002d79: AND 00002d7a: PUSH1 0x20 00002d7c: DUP6 00002d7d: ADD 00002d7e: MSTORE 00002d7f: PUSH1 0x40 00002d81: DUP5 00002d82: ADD 00002d83: SWAP3 00002d84: SWAP1 00002d85: SWAP3 00002d86: MSTORE 00002d87: PUSH1 0x60 00002d89: DUP4 00002d8a: ADD 00002d8b: MSTORE 00002d8c: PUSH1 0x80 00002d8e: DUP3 00002d8f: ADD 00002d90: MSTORE 00002d91: PUSH1 0xa0 00002d93: DUP2 00002d94: ADD 00002d95: SWAP2 00002d96: SWAP1 00002d97: SWAP2 00002d98: MSTORE 00002d99: PUSH1 0xc0 00002d9b: ADD 00002d9c: SWAP1 00002d9d: JUMP 00002d9e: JUMPDEST 00002d9f: PUSH1 0x20 00002da1: DUP1 00002da2: DUP3 00002da3: MSTORE 00002da4: PUSH1 0x0c 00002da6: SWAP1 00002da7: DUP3 00002da8: ADD 00002da9: MSTORE 00002daa: PUSH12 0x14dd1a5b1b081b1bd8dad959 00002db7: PUSH1 0xa2 00002db9: SHL 00002dba: PUSH1 0x40 00002dbc: DUP3 00002dbd: ADD 00002dbe: MSTORE 00002dbf: PUSH1 0x60 00002dc1: ADD 00002dc2: SWAP1 00002dc3: JUMP 00002dc4: JUMPDEST 00002dc5: PUSH1 0x20 00002dc7: DUP1 00002dc8: DUP3 00002dc9: MSTORE 00002dca: PUSH1 0x1f 00002dcc: SWAP1 00002dcd: DUP3 00002dce: ADD 00002dcf: MSTORE 00002dd0: PUSH32 0x455243343632363a207769746864726177206d6f7265207468616e206d617800 00002df1: PUSH1 0x40 00002df3: DUP3 00002df4: ADD 00002df5: MSTORE 00002df6: PUSH1 0x60 00002df8: ADD 00002df9: SWAP1 00002dfa: JUMP 00002dfb: JUMPDEST 00002dfc: PUSH1 0x20 00002dfe: DUP1 00002dff: DUP3 00002e00: MSTORE 00002e01: PUSH1 0x1d 00002e03: SWAP1 00002e04: DUP3 00002e05: ADD 00002e06: MSTORE 00002e07: PUSH32 0x496e73756666696369656e742062616c616e636520696e207661756c74000000 00002e28: PUSH1 0x40 00002e2a: DUP3 00002e2b: ADD 00002e2c: MSTORE 00002e2d: PUSH1 0x60 00002e2f: ADD 00002e30: SWAP1 00002e31: JUMP 00002e32: JUMPDEST 00002e33: DUP1 00002e34: DUP3 00002e35: MUL 00002e36: DUP2 00002e37: ISZERO 00002e38: DUP3 00002e39: DUP3 00002e3a: DIV 00002e3b: DUP5 00002e3c: EQ 00002e3d: OR 00002e3e: PUSH2 0x0a3b 00002e41: JUMPI 00002e42: PUSH2 0x0a3b 00002e45: PUSH2 0x2c44 00002e48: JUMP 00002e49: JUMPDEST 00002e4a: PUSH4 0x4e487b71 00002e4f: PUSH1 0xe0 00002e51: SHL 00002e52: PUSH0 00002e53: MSTORE 00002e54: PUSH1 0x12 00002e56: PUSH1 0x04 00002e58: MSTORE 00002e59: PUSH1 0x24 00002e5b: PUSH0 00002e5c: REVERT 00002e5d: JUMPDEST 00002e5e: PUSH0 00002e5f: DUP3 00002e60: PUSH2 0x2e77 00002e63: JUMPI 00002e64: PUSH4 0x4e487b71 00002e69: PUSH1 0xe0 00002e6b: SHL 00002e6c: PUSH0 00002e6d: MSTORE 00002e6e: PUSH1 0x12 00002e70: PUSH1 0x04 00002e72: MSTORE 00002e73: PUSH1 0x24 00002e75: PUSH0 00002e76: REVERT 00002e77: JUMPDEST 00002e78: POP 00002e79: DIV 00002e7a: SWAP1 00002e7b: JUMP 00002e7c: JUMPDEST 00002e7d: PUSH1 0x01 00002e7f: PUSH1 0x01 00002e81: PUSH1 0xa0 00002e83: SHL 00002e84: SUB 00002e85: SWAP8 00002e86: DUP9 00002e87: AND 00002e88: DUP2 00002e89: MSTORE 00002e8a: SWAP6 00002e8b: DUP8 00002e8c: AND 00002e8d: PUSH1 0x20 00002e8f: DUP8 00002e90: ADD 00002e91: MSTORE 00002e92: SWAP4 00002e93: SWAP1 00002e94: SWAP6 00002e95: AND 00002e96: PUSH1 0x40 00002e98: DUP6 00002e99: ADD 00002e9a: MSTORE 00002e9b: PUSH1 0x60 00002e9d: DUP5 00002e9e: ADD 00002e9f: SWAP2 00002ea0: SWAP1 00002ea1: SWAP2 00002ea2: MSTORE 00002ea3: PUSH1 0x80 00002ea5: DUP4 00002ea6: ADD 00002ea7: MSTORE 00002ea8: PUSH1 0xa0 00002eaa: DUP3 00002eab: ADD 00002eac: SWAP3 00002ead: SWAP1 00002eae: SWAP3 00002eaf: MSTORE 00002eb0: PUSH1 0xc0 00002eb2: DUP2 00002eb3: ADD 00002eb4: SWAP2 00002eb5: SWAP1 00002eb6: SWAP2 00002eb7: MSTORE 00002eb8: PUSH1 0xe0 00002eba: ADD 00002ebb: SWAP1 00002ebc: JUMP 00002ebd: JUMPDEST 00002ebe: PUSH1 0x01 00002ec0: DUP2 00002ec1: DUP2 00002ec2: JUMPDEST 00002ec3: DUP1 00002ec4: DUP6 00002ec5: GT 00002ec6: ISZERO 00002ec7: PUSH2 0x2ef7 00002eca: JUMPI 00002ecb: DUP2 00002ecc: PUSH0 00002ecd: NOT 00002ece: DIV 00002ecf: DUP3 00002ed0: GT 00002ed1: ISZERO 00002ed2: PUSH2 0x2edd 00002ed5: JUMPI 00002ed6: PUSH2 0x2edd 00002ed9: PUSH2 0x2c44 00002edc: JUMP 00002edd: JUMPDEST 00002ede: DUP1 00002edf: DUP6 00002ee0: AND 00002ee1: ISZERO 00002ee2: PUSH2 0x2eea 00002ee5: JUMPI 00002ee6: SWAP2 00002ee7: DUP2 00002ee8: MUL 00002ee9: SWAP2 00002eea: JUMPDEST 00002eeb: SWAP4 00002eec: DUP5 00002eed: SHR 00002eee: SWAP4 00002eef: SWAP1 00002ef0: DUP1 00002ef1: MUL 00002ef2: SWAP1 00002ef3: PUSH2 0x2ec2 00002ef6: JUMP 00002ef7: JUMPDEST 00002ef8: POP 00002ef9: SWAP3 00002efa: POP 00002efb: SWAP3 00002efc: SWAP1 00002efd: POP 00002efe: JUMP 00002eff: JUMPDEST 00002f00: PUSH0 00002f01: DUP3 00002f02: PUSH2 0x2f0d 00002f05: JUMPI 00002f06: POP 00002f07: PUSH1 0x01 00002f09: PUSH2 0x0a3b 00002f0c: JUMP 00002f0d: JUMPDEST 00002f0e: DUP2 00002f0f: PUSH2 0x2f19 00002f12: JUMPI 00002f13: POP 00002f14: PUSH0 00002f15: PUSH2 0x0a3b 00002f18: JUMP 00002f19: JUMPDEST 00002f1a: DUP2 00002f1b: PUSH1 0x01 00002f1d: DUP2 00002f1e: EQ 00002f1f: PUSH2 0x2f2f 00002f22: JUMPI 00002f23: PUSH1 0x02 00002f25: DUP2 00002f26: EQ 00002f27: PUSH2 0x2f39 00002f2a: JUMPI 00002f2b: PUSH2 0x2f55 00002f2e: JUMP 00002f2f: JUMPDEST 00002f30: PUSH1 0x01 00002f32: SWAP2 00002f33: POP 00002f34: POP 00002f35: PUSH2 0x0a3b 00002f38: JUMP 00002f39: JUMPDEST 00002f3a: PUSH1 0xff 00002f3c: DUP5 00002f3d: GT 00002f3e: ISZERO 00002f3f: PUSH2 0x2f4a 00002f42: JUMPI 00002f43: PUSH2 0x2f4a 00002f46: PUSH2 0x2c44 00002f49: JUMP 00002f4a: JUMPDEST 00002f4b: POP 00002f4c: POP 00002f4d: PUSH1 0x01 00002f4f: DUP3 00002f50: SHL 00002f51: PUSH2 0x0a3b 00002f54: JUMP 00002f55: JUMPDEST 00002f56: POP 00002f57: PUSH1 0x20 00002f59: DUP4 00002f5a: LT 00002f5b: PUSH2 0x0133 00002f5e: DUP4 00002f5f: LT 00002f60: AND 00002f61: PUSH1 0x4e 00002f63: DUP5 00002f64: LT 00002f65: PUSH1 0x0b 00002f67: DUP5 00002f68: LT 00002f69: AND 00002f6a: OR 00002f6b: ISZERO 00002f6c: PUSH2 0x2f78 00002f6f: JUMPI 00002f70: POP 00002f71: DUP2 00002f72: DUP2 00002f73: EXP 00002f74: PUSH2 0x0a3b 00002f77: JUMP 00002f78: JUMPDEST 00002f79: PUSH2 0x2f82 00002f7c: DUP4 00002f7d: DUP4 00002f7e: PUSH2 0x2ebd 00002f81: JUMP 00002f82: JUMPDEST 00002f83: DUP1 00002f84: PUSH0 00002f85: NOT 00002f86: DIV 00002f87: DUP3 00002f88: GT 00002f89: ISZERO 00002f8a: PUSH2 0x2f95 00002f8d: JUMPI 00002f8e: PUSH2 0x2f95 00002f91: PUSH2 0x2c44 00002f94: JUMP 00002f95: JUMPDEST 00002f96: MUL 00002f97: SWAP4 00002f98: SWAP3 00002f99: POP 00002f9a: POP 00002f9b: POP 00002f9c: JUMP 00002f9d: JUMPDEST 00002f9e: PUSH0 00002f9f: PUSH2 0x1d43 00002fa2: PUSH1 0xff 00002fa4: DUP5 00002fa5: AND 00002fa6: DUP4 00002fa7: PUSH2 0x2eff 00002faa: JUMP 00002fab: JUMPDEST 00002fac: PUSH1 0x20 00002fae: DUP1 00002faf: DUP3 00002fb0: MSTORE 00002fb1: PUSH1 0x2b 00002fb3: SWAP1 00002fb4: DUP3 00002fb5: ADD 00002fb6: MSTORE 00002fb7: PUSH32 0x496e697469616c697a61626c653a20636f6e7472616374206973206e6f742069 00002fd8: PUSH1 0x40 00002fda: DUP3 00002fdb: ADD 00002fdc: MSTORE 00002fdd: PUSH11 0x6e697469616c697a696e67 00002fe9: PUSH1 0xa8 00002feb: SHL 00002fec: PUSH1 0x60 00002fee: DUP3 00002fef: ADD 00002ff0: MSTORE 00002ff1: PUSH1 0x80 00002ff3: ADD 00002ff4: SWAP1 00002ff5: JUMP 00002ff6: JUMPDEST 00002ff7: PUSH4 0x4e487b71 00002ffc: PUSH1 0xe0 00002ffe: SHL 00002fff: PUSH0 00003000: MSTORE 00003001: PUSH1 0x21 00003003: PUSH1 0x04 00003005: MSTORE 00003006: PUSH1 0x24 00003008: PUSH0 00003009: REVERT 0000300a: JUMPDEST 0000300b: PUSH4 0x4e487b71 00003010: PUSH1 0xe0 00003012: SHL 00003013: PUSH0 00003014: MSTORE 00003015: PUSH1 0x41 00003017: PUSH1 0x04 00003019: MSTORE 0000301a: PUSH1 0x24 0000301c: PUSH0 0000301d: REVERT 0000301e: JUMPDEST 0000301f: PUSH1 0x1f 00003021: DUP3 00003022: GT 00003023: ISZERO 00003024: PUSH2 0x2214 00003027: JUMPI 00003028: PUSH0 00003029: DUP2 0000302a: DUP2 0000302b: MSTORE 0000302c: PUSH1 0x20 0000302e: DUP2 0000302f: KECCAK256 00003030: PUSH1 0x1f 00003032: DUP6 00003033: ADD 00003034: PUSH1 0x05 00003036: SHR 00003037: DUP2 00003038: ADD 00003039: PUSH1 0x20 0000303b: DUP7 0000303c: LT 0000303d: ISZERO 0000303e: PUSH2 0x3044 00003041: JUMPI 00003042: POP 00003043: DUP1 00003044: JUMPDEST 00003045: PUSH1 0x1f 00003047: DUP6 00003048: ADD 00003049: PUSH1 0x05 0000304b: SHR 0000304c: DUP3 0000304d: ADD 0000304e: SWAP2 0000304f: POP 00003050: JUMPDEST 00003051: DUP2 00003052: DUP2 00003053: LT 00003054: ISZERO 00003055: PUSH2 0x3063 00003058: JUMPI 00003059: DUP3 0000305a: DUP2 0000305b: SSTORE 0000305c: PUSH1 0x01 0000305e: ADD 0000305f: PUSH2 0x3050 00003062: JUMP 00003063: JUMPDEST 00003064: POP 00003065: POP 00003066: POP 00003067: POP 00003068: POP 00003069: POP 0000306a: JUMP 0000306b: JUMPDEST 0000306c: DUP2 0000306d: MLOAD 0000306e: PUSH1 0x01 00003070: PUSH1 0x01 00003072: PUSH1 0x40 00003074: SHL 00003075: SUB 00003076: DUP2 00003077: GT 00003078: ISZERO 00003079: PUSH2 0x3084 0000307c: JUMPI 0000307d: PUSH2 0x3084 00003080: PUSH2 0x300a 00003083: JUMP 00003084: JUMPDEST 00003085: PUSH2 0x3098 00003088: DUP2 00003089: PUSH2 0x3092 0000308c: DUP5 0000308d: SLOAD 0000308e: PUSH2 0x2c7e 00003091: JUMP 00003092: JUMPDEST 00003093: DUP5 00003094: PUSH2 0x301e 00003097: JUMP 00003098: JUMPDEST 00003099: PUSH1 0x20 0000309b: DUP1 0000309c: PUSH1 0x1f 0000309e: DUP4 0000309f: GT 000030a0: PUSH1 0x01 000030a2: DUP2 000030a3: EQ 000030a4: PUSH2 0x30cb 000030a7: JUMPI 000030a8: PUSH0 000030a9: DUP5 000030aa: ISZERO 000030ab: PUSH2 0x30b4 000030ae: JUMPI 000030af: POP 000030b0: DUP6 000030b1: DUP4 000030b2: ADD 000030b3: MLOAD 000030b4: JUMPDEST 000030b5: PUSH0 000030b6: NOT 000030b7: PUSH1 0x03 000030b9: DUP7 000030ba: SWAP1 000030bb: SHL 000030bc: SHR 000030bd: NOT 000030be: AND 000030bf: PUSH1 0x01 000030c1: DUP6 000030c2: SWAP1 000030c3: SHL 000030c4: OR 000030c5: DUP6 000030c6: SSTORE 000030c7: PUSH2 0x3063 000030ca: JUMP 000030cb: JUMPDEST 000030cc: PUSH0 000030cd: DUP6 000030ce: DUP2 000030cf: MSTORE 000030d0: PUSH1 0x20 000030d2: DUP2 000030d3: KECCAK256 000030d4: PUSH1 0x1f 000030d6: NOT 000030d7: DUP7 000030d8: AND 000030d9: SWAP2 000030da: JUMPDEST 000030db: DUP3 000030dc: DUP2 000030dd: LT 000030de: ISZERO 000030df: PUSH2 0x30f9 000030e2: JUMPI 000030e3: DUP9 000030e4: DUP7 000030e5: ADD 000030e6: MLOAD 000030e7: DUP3 000030e8: SSTORE 000030e9: SWAP5 000030ea: DUP5 000030eb: ADD 000030ec: SWAP5 000030ed: PUSH1 0x01 000030ef: SWAP1 000030f0: SWAP2 000030f1: ADD 000030f2: SWAP1 000030f3: DUP5 000030f4: ADD 000030f5: PUSH2 0x30da 000030f8: JUMP 000030f9: JUMPDEST 000030fa: POP 000030fb: DUP6 000030fc: DUP3 000030fd: LT 000030fe: ISZERO 000030ff: PUSH2 0x3116 00003102: JUMPI 00003103: DUP8 00003104: DUP6 00003105: ADD 00003106: MLOAD 00003107: PUSH0 00003108: NOT 00003109: PUSH1 0x03 0000310b: DUP9 0000310c: SWAP1 0000310d: SHL 0000310e: PUSH1 0xf8 00003110: AND 00003111: SHR 00003112: NOT 00003113: AND 00003114: DUP2 00003115: SSTORE 00003116: JUMPDEST 00003117: POP 00003118: POP 00003119: POP 0000311a: POP 0000311b: POP 0000311c: PUSH1 0x01 0000311e: SWAP1 0000311f: DUP2 00003120: SHL 00003121: ADD 00003122: SWAP1 00003123: SSTORE 00003124: POP 00003125: JUMP 00003126: JUMPDEST 00003127: PUSH0 00003128: DUP3 00003129: MLOAD 0000312a: PUSH2 0x3137 0000312d: DUP2 0000312e: DUP5 0000312f: PUSH1 0x20 00003131: DUP8 00003132: ADD 00003133: PUSH2 0x2a35 00003136: JUMP 00003137: JUMPDEST 00003138: SWAP2 00003139: SWAP1 0000313a: SWAP2 0000313b: ADD 0000313c: SWAP3 0000313d: SWAP2 0000313e: POP 0000313f: POP 00003140: JUMP 00003141: JUMPDEST 00003142: PUSH0 00003143: PUSH1 0x20 00003145: DUP3 00003146: DUP5 00003147: SUB 00003148: SLT 00003149: ISZERO 0000314a: PUSH2 0x3151 0000314d: JUMPI 0000314e: PUSH0 0000314f: DUP1 00003150: REVERT 00003151: JUMPDEST 00003152: POP 00003153: MLOAD 00003154: SWAP2 00003155: SWAP1 00003156: POP 00003157: JUMP 00003158: INVALID 00003159: UNKNOWN(0xDD) 0000315a: CALLCODE 0000315b: MSTORE 0000315c: UNKNOWN(0xAD) 0000315d: SHL 0000315e: UNKNOWN(0xE2) 0000315f: UNKNOWN(0xC8) 00003160: SWAP12 00003161: PUSH10 0xc2b068fc378daa952ba7 0000316c: CALL 0000316d: PUSH4 0xc4a11628 00003172: CREATE2 00003173: GAS 00003174: UNKNOWN(0x4D) 00003175: CREATE2 00003176: UNKNOWN(0x23) 00003177: UNKNOWN(0xB3) 00003178: UNKNOWN(0xEF) 00003179: LOG2 0000317a: PUSH5 0x6970667358 00003180: UNKNOWN(0x22) 00003181: SLT 00003182: KECCAK256 00003183: UNKNOWN(0x2E) 00003184: LT 00003185: ORIGIN 00003186: UNKNOWN(0xAC) 00003187: PUSH18 0x118669b10e113000402d40a7f96dc726b6da 0000319a: PUSH7 0x30e1f979da0bf0 000031a2: LOG3 000031a3: PUSH5 0x736f6c6343 000031a9: STOP 000031aa: ADDMOD 000031ab: ISZERO 000031ac: STOP 000031ad: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | auth | detector | Authorization based on tx.origin | 70 | no | — |
viewvalidation_json{
"reason": "missing sink mapping",
"status": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x015cb0a5",
"selector": "0x015cb0a5",
"calldata_variants": [
"0x015cb0a5",
"0x015cb0a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x01e1d114",
"selector": "0x01e1d114",
"calldata_variants": [
"0x01e1d114",
"0x01e1d1140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x07a2d13a",
"selector": "0x07a2d13a",
"calldata_variants": [
"0x07a2d13a",
"0x07a2d13a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0a28a477",
"selector": "0x0a28a477",
"calldata_variants": [
"0x0a28a477",
"0x0a28a4770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d668087",
"selector": "0x0d668087",
"calldata_variants": [
"0x0d668087",
"0x0d6680870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1691ae25",
"selector": "0x1691ae25",
"calldata_variants": [
"0x1691ae25",
"0x1691ae250000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"guards_detected": [
{
"pc": 12677,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x124708caf8c861396fc8dca65599436c750ad5f24d67ecff8e4201820a3120f7
call_targets:
0x025347f0e979ca18a3ade6ae917926a937d38ad8
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x124708caf8c861396fc8dca65599436c750ad5f24d67ecff8e4201820a3120f7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x025347f0e979ca18a3ade6ae917926a937d38ad8"
],
"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": "0x015cb0a5",
"selector": "0x015cb0a5",
"calldata_variants": [
"0x015cb0a5",
"0x015cb0a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x01e1d114",
"selector": "0x01e1d114",
"calldata_variants": [
"0x01e1d114",
"0x01e1d1140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x07a2d13a",
"selector": "0x07a2d13a",
"calldata_variants": [
"0x07a2d13a",
"0x07a2d13a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0a28a477",
"selector": "0x0a28a477",
"calldata_variants": [
"0x0a28a477",
"0x0a28a4770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d668087",
"selector": "0x0d668087",
"calldata_variants": [
"0x0d668087",
"0x0d6680870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1691ae25",
"selector": "0x1691ae25",
"calldata_variants": [
"0x1691ae25",
"0x1691ae250000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3393,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4786,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6398,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 10,
"guards_detected": [
{
"pc": 12677,
"type": "tx_origin_used"
}
],
"untrusted_call_count": 10
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x124708caf8c861396fc8dca65599436c750ad5f24d67ecff8e4201820a3120f7
call_targets:
0x025347f0e979ca18a3ade6ae917926a937d38ad8
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x124708caf8c861396fc8dca65599436c750ad5f24d67ecff8e4201820a3120f7",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x025347f0e979ca18a3ade6ae917926a937d38ad8"
],
"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": "0x015cb0a5",
"selector": "0x015cb0a5",
"calldata_variants": [
"0x015cb0a5",
"0x015cb0a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x01e1d114",
"selector": "0x01e1d114",
"calldata_variants": [
"0x01e1d114",
"0x01e1d1140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x07a2d13a",
"selector": "0x07a2d13a",
"calldata_variants": [
"0x07a2d13a",
"0x07a2d13a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0a28a477",
"selector": "0x0a28a477",
"calldata_variants": [
"0x0a28a477",
"0x0a28a4770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d668087",
"selector": "0x0d668087",
"calldata_variants": [
"0x0d668087",
"0x0d6680870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1691ae25",
"selector": "0x1691ae25",
"calldata_variants": [
"0x1691ae25",
"0x1691ae250000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 3393,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4786,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 6398,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 10,
"guards_detected": [
{
"pc": 12677,
"type": "tx_origin_used"
}
]
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0xf71343a4edd728c8ffb2ee45fb7c85704a9add4eb418a0a10ad946dc49078e09
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0xf71343a4edd728c8ffb2ee45fb7c85704a9add4eb418a0a10ad946dc49078e09",
"confirmed": false,
"trace_mode": "structLogs",
"call_targets": null,
"matched_probe": null,
"target_varies": null,
"classification": "no_sink"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0x015cb0a5",
"selector": "0x015cb0a5",
"calldata_variants": [
"0x015cb0a5",
"0x015cb0a50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x01e1d114",
"selector": "0x01e1d114",
"calldata_variants": [
"0x01e1d114",
"0x01e1d1140000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x07a2d13a",
"selector": "0x07a2d13a",
"calldata_variants": [
"0x07a2d13a",
"0x07a2d13a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0a28a477",
"selector": "0x0a28a477",
"calldata_variants": [
"0x0a28a477",
"0x0a28a4770000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0d668087",
"selector": "0x0d668087",
"calldata_variants": [
"0x0d668087",
"0x0d6680870000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x1691ae25",
"selector": "0x1691ae25",
"calldata_variants": [
"0x1691ae25",
"0x1691ae250000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 2
}
|
| low | other | cast | Contract creation opcode present | 60 | no | — |
viewevidence_json{
"notes": "runtime can deploy contracts dynamically via CREATE/CREATE2",
"create_count": 0,
"create2_count": 2
}
|
| info | other | cast | Heavy EXTCODE*/BALANCE usage | 55 | no | — |
viewevidence_json{
"notes": "frequent external code or balance checks; may indicate introspection or validation logic",
"ext_balance_count": 5
}
|