ed683952-5f56-40de-98ed-60f5ec73f6f8
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 |
|---|---|---|---|---|
| 31506 | report.consolidate | complete | 1 / 1 | 3 months ago |
| 77662 | artifact.fetch | failed | 1 / 3 | 2 weeks ago |
| 77663 | tool.cast_disasm | complete | 1 / 3 | 2 weeks ago |
| 77664 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 77665 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 77666 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 77667 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
[codex:533572] OpenAI Codex v0.77.0 (research preview)
[codex:533572] --------
[codex:533572] workdir: /tmp/codex-multi-v1dzl78e
[codex:533572] model: gpt-5.2-codex
[codex:533572] provider: openai
[codex:533572] approval: never
[codex:533572] sandbox: read-only
[codex:533572] reasoning effort: xhigh
[codex:533572] reasoning summaries: auto
[codex:533572] session id: 019b868e-429a-79b3-ac59-26f266f5f2ec
[codex:533572] --------
[codex:533572] user
[codex:533572] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:533572]
[codex:533572] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:533572]
[codex:533572] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:533572] - Gas inefficiency, code quality, naming, or best practices
[codex:533572] - Theoretical vulnerabilities without a clear extraction path
[codex:533572] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:533572] - Front-running unless it enables theft beyond MEV
[codex:533572] - DoS, griefing, or issues that don't result in attacker profit
[codex:533572] - Missing events, view function issues, or informational findings
[codex:533572]
[codex:533572] HIGH-VALUE PATTERNS TO HUNT:
[codex:533572] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:533572] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:533572] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:533572] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:533572] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:533572] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:533572] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:533572] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:533572] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:533572]
[codex:533572] For each finding, you MUST provide:
[codex:533572] 1. Exact file and line numbers of vulnerable code
[codex:533572] 2. Step-by-step exploit transaction sequence
[codex:533572] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:533572]
[codex:533572] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:533572]
[codex:533572] Output MUST be valid JSON matching the provided schema.
[codex:533572] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:533572] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:533572] mcp startup: no servers
[codex:533572]
[codex:533572] thinking
[codex:533572] **Preparing to read instructions**
[codex:533572] exec
[codex:533572] /bin/bash -lc ls in /tmp/codex-multi-v1dzl78e succeeded in 5ms:
[codex:533572] AUDIT_BUNDLE.txt
[codex:533572] codex-output-schema.json
[codex:533572] contracts
[codex:533572] exec
[codex:533572] /bin/bash -lc 'rg -n "" AUDIT_BUNDLE.txt' in /tmp/codex-multi-v1dzl78e succeeded in 7ms:
[codex:533572] 1:This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:533572] 2:
[codex:533572] 3:================================================================================
[codex:533572] 4:FILE: contracts/Contract.sol
[codex:533572] 5:================================================================================
[codex:533572] 6:// SPDX-License-Identifier: Bprotocol Foundation (Bancor) LICENSE
[codex:533572] 7:
[codex:533572] 8:// File: solidity/contracts/utility/interfaces/IOwned.sol
[codex:533572] 9:
[codex:533572] 10:pragma solidity 0.6.12;
[codex:533572] 11:
[codex:533572] 12:/*
[codex:533572] 13: Owned contract interface
[codex:533572] 14:*/
[codex:533572] 15:interface IOwned {
[codex:533572] 16: // this function isn't since the compiler emits automatically generated getter functions as external
[codex:533572] 17: function owner() external view returns (address);
[codex:533572] 18:
[codex:533572] 19: function transferOwnership(address _newOwner) external;
[codex:533572] 20: function acceptOwnership() external;
[codex:533572]
[codex:533572] thinking
[codex:533572] **Investigating potential exploit paths**
[codex:533572] exec
[codex:533572] /bin/bash -lc "sed -n '700,1150p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-v1dzl78e succeeded in 5ms:
[codex:533572] /**
[codex:533572] * @dev triggered when the converter is activated
[codex:533572] *
[codex:533572] * @param _type converter type
[codex:533572] * @param _anchor converter anchor
[codex:533572] * @param _activated true if the converter was activated, false if it was deactivated
[codex:533572] */
[codex:533572] event Activation(uint16 indexed _type, IConverterAnchor indexed _anchor, bool indexed _activated);
[codex:533572]
[codex:533572] /**
[codex:533572] * @dev triggered when a conversion between two tokens occurs
[codex:533572] *
[codex:533572] * @param _fromToken source ERC20 token
[codex:533572] * @param _toToken target ERC20 token
[codex:533572] * @param _trader wallet that initiated the trade
[codex:533572] * @param _amount amount converted, in the source token
[codex:533572] * @param _return amount returned, minus conversion fee
[codex:533572] * @param _conversionFee conversion fee
[codex:533572] */
[codex:533572] event Conversion(
[codex:533572]
[codex:533572] thinking
[codex:533572] **Continuing with synchronization steps**
[codex:533572] exec
[codex:533572] /bin/bash -lc "sed -n '1150,1450p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-v1dzl78e succeeded in 5ms:
[codex:533572] */
[codex:533572] function syncReserveBalance(IERC20Token _reserveToken) internal validReserve(_reserveToken) {
[codex:533572] if (_reserveToken == ETH_RESERVE_ADDRESS)
[codex:533572] reserves[_reserveToken].balance = address(this).balance;
[codex:533572] else
[codex:533572] reserves[_reserveToken].balance = _reserveToken.balanceOf(address(this));
[codex:533572] }
[codex:533572]
[codex:533572] /**
[codex:533572] * @dev syncs all stored reserve balances
[codex:533572] */
[codex:533572] function syncReserveBalances() internal {
[codex:533572] uint256 reserveCount = reserveTokens.length;
[codex:533572] for (uint256 i = 0; i < reserveCount; i++)
[codex:533572] syncReserveBalance(reserveTokens[i]);
[codex:533572] }
[codex:533572]
[codex:533572] /**
[codex:533572] * @dev helper, dispatches the Conversion event
[codex:533572] *
[codex:533572]
[codex:533572]
[codex:533572]
[codex:533572] thinking
[codex:533572] **Analyzing potential reserve balance manipulation**
[codex:533572] thinking
[codex:533572] **Evaluating bonding curve initialization and registry update risks**
[codex:533572]
[codex:533572] I’m working through how pre-funded reserves affect the initial token pricing when total supply is zero, revealing a scenario where the first buyer might capture existing reserve tokens at a favorable rate. I’m also considering the implications of the `updateRegistry` function being callable by anyone if a certain flag is false, potentially allowing registry changes depending on external control. This feels like a nuanced edge case worth exploring further!
[codex:533572] thinking
[codex:533572] **Reviewing reentrancy and token transfer safeguards**
[codex:533572]
[codex:533572] I’m checking how reentrancy protections apply, especially around ETH transfers and token callbacks, and verifying that key functions like withdrawals have proper access controls. I’m also considering fee-on-transfer tokens and how balance tracking might impact conversions, while preparing to look deeper into TokenHolder and related contracts for any unchecked token transfers.
[codex:533572] exec
[codex:533572] /bin/bash -lc "rg -n \"contract TokenHolder|withdrawTokens\\(\" -n AUDIT_BUNDLE.txt" in /tmp/codex-multi-v1dzl78e succeeded in 7ms:
[codex:533572] 98: function withdrawTokens(IERC20Token _token, address _to, uint256 _amount) external;
[codex:533572] 560: function withdrawTokens(IERC20Token _token, address _to, uint256 _amount) external;
[codex:533572] 582:contract TokenHolder is ITokenHolder, TokenHandler, Owned, Utils {
[codex:533572] 591: function withdrawTokens(IERC20Token _token, address _to, uint256 _amount)
[codex:533572] 963: function withdrawTokens(IERC20Token _token, address _to, uint256 _amount)
[codex:533572] 975: super.withdrawTokens(_token, _to, _amount);
[codex:533572] 1718: function withdrawTokens(IERC20Token _token, address _to, uint256 _amount)
[codex:533572] 1724: TokenHolder.withdrawTokens(_token, _to, _amount);
[codex:533572] exec
[codex:533572] /bin/bash -lc "sed -n '520,700p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-v1dzl78e succeeded in 5ms:
[codex:533572] /**
[codex:533572] * @dev executes the ERC20 token's `transfer` function and reverts upon failure
[codex:533572] * the main purpose of this function is to prevent a non standard ERC20 token
[codex:533572] * from failing silently
[codex:533572] *
[codex:533572] * @param _token ERC20 token address
[codex:533572] * @param _to target address
[codex:533572] * @param _value transfer amount
[codex:533572] */
[codex:533572] function safeTransfer(IERC20Token _token, address _to, uint256 _value) internal {
[codex:533572] (bool success, bytes memory data) = address(_token).call(abi.encodeWithSelector(TRANSFER_FUNC_SELECTOR, _to, _value));
[codex:533572] require(success && (data.length == 0 || abi.decode(data, (bool))), 'ERR_TRANSFER_FAILED');
[codex:533572] }
[codex:533572]
[codex:533572] /**
[codex:533572] * @dev executes the ERC20 token's `transferFrom` function and reverts upon failure
[codex:533572] * the main purpose of this function is to prevent a non standard ERC20 token
[codex:533572] * from failing silently
[codex:533572] *
[codex:533572] * @param _token ERC20 token address
[codex:533572]
[codex:533572] thinking
[codex:533572] **Concluding no exploitable profit paths**
[codex:533572]
[codex:533572] I've carefully examined ownership restrictions, public functions, token transfers, and reentrancy protections across contracts, looking for any concrete profit-extracting vulnerabilities. No unprotected functions enable unauthorized fund withdrawals or registry hijacking, and conversion logic appears secure against manipulation. After thorough scanning, I conclude there is no exploitable profit path here and will output the required JSON accordingly.
[codex:533572] codex
[codex:533572] {"no_findings":true,"summary":"No concrete, exploitable profit path found after reviewing AUDIT_BUNDLE.txt.","findings":[]}
[codex:533572] tokens used
[codex:533572] 33,462
[codex:533572] {"no_findings":true,"summary":"No concrete, exploitable profit path found after reviewing AUDIT_BUNDLE.txt.","findings":[]}
{
"codex": {
"ran_at": "2026-01-04T01:14:00.462825+00:00",
"returncode": 0
},
"summary": "No concrete, exploitable profit path found after reviewing AUDIT_BUNDLE.txt.",
"raw_final": {
"summary": "No concrete, exploitable profit path found after reviewing AUDIT_BUNDLE.txt.",
"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 0x0303 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH1 0xe0 00000012: SHR 00000013: DUP1 00000014: PUSH4 0x8da5cb5b 00000019: GT 0000001a: PUSH2 0x0190 0000001d: JUMPI 0000001e: DUP1 0000001f: PUSH4 0xd260529c 00000024: GT 00000025: PUSH2 0x00dc 00000028: JUMPI 00000029: DUP1 0000002a: PUSH4 0xd8959512 0000002f: GT 00000030: PUSH2 0x0095 00000033: JUMPI 00000034: DUP1 00000035: PUSH4 0xecbca55d 0000003a: GT 0000003b: PUSH2 0x006f 0000003e: JUMPI 0000003f: DUP1 00000040: PUSH4 0xecbca55d 00000045: EQ 00000046: PUSH2 0x0b09 00000049: JUMPI 0000004a: DUP1 0000004b: PUSH4 0xf2fde38b 00000050: EQ 00000051: PUSH2 0x0b39 00000054: JUMPI 00000055: DUP1 00000056: PUSH4 0xf95e146c 0000005b: EQ 0000005c: PUSH2 0x0b6c 0000005f: JUMPI 00000060: DUP1 00000061: PUSH4 0xfc0c546a 00000066: EQ 00000067: PUSH2 0x0b81 0000006a: JUMPI 0000006b: PUSH2 0x039a 0000006e: JUMP 0000006f: JUMPDEST 00000070: DUP1 00000071: PUSH4 0xd8959512 00000076: EQ 00000077: PUSH2 0x0a5d 0000007a: JUMPI 0000007b: DUP1 0000007c: PUSH4 0xdc8de379 00000081: EQ 00000082: PUSH2 0x0a90 00000085: JUMPI 00000086: DUP1 00000087: PUSH4 0xe8dc12ff 0000008c: EQ 0000008d: PUSH2 0x0ac3 00000090: JUMPI 00000091: PUSH2 0x039a 00000094: JUMP 00000095: JUMPDEST 00000096: DUP1 00000097: PUSH4 0xd260529c 0000009c: EQ 0000009d: PUSH2 0x09a3 000000a0: JUMPI 000000a1: DUP1 000000a2: PUSH4 0xd3fb73b4 000000a7: EQ 000000a8: PUSH2 0x09b8 000000ab: JUMPI 000000ac: DUP1 000000ad: PUSH4 0xd4ee1d90 000000b2: EQ 000000b3: PUSH2 0x09cd 000000b6: JUMPI 000000b7: DUP1 000000b8: PUSH4 0xd55ec697 000000bd: EQ 000000be: PUSH2 0x09e2 000000c1: JUMPI 000000c2: DUP1 000000c3: PUSH4 0xd66bd524 000000c8: EQ 000000c9: PUSH2 0x09f7 000000cc: JUMPI 000000cd: DUP1 000000ce: PUSH4 0xd79604c2 000000d3: EQ 000000d4: PUSH2 0x0a2a 000000d7: JUMPI 000000d8: PUSH2 0x039a 000000db: JUMP 000000dc: JUMPDEST 000000dd: DUP1 000000de: PUSH4 0xbf754558 000000e3: GT 000000e4: PUSH2 0x0149 000000e7: JUMPI 000000e8: DUP1 000000e9: PUSH4 0xc9be579b 000000ee: GT 000000ef: PUSH2 0x0123 000000f2: JUMPI 000000f3: DUP1 000000f4: PUSH4 0xc9be579b 000000f9: EQ 000000fa: PUSH2 0x0907 000000fd: JUMPI 000000fe: DUP1 000000ff: PUSH4 0xcdc91c69 00000104: EQ 00000105: PUSH2 0x0931 00000108: JUMPI 00000109: DUP1 0000010a: PUSH4 0xd031370b 0000010f: EQ 00000110: PUSH2 0x0946 00000113: JUMPI 00000114: DUP1 00000115: PUSH4 0xd146d31d 0000011a: EQ 0000011b: PUSH2 0x0970 0000011e: JUMPI 0000011f: PUSH2 0x039a 00000122: JUMP 00000123: JUMPDEST 00000124: DUP1 00000125: PUSH4 0xbf754558 0000012a: EQ 0000012b: PUSH2 0x08ad 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0xc3e8dfa8 00000135: EQ 00000136: PUSH2 0x08c2 00000139: JUMPI 0000013a: DUP1 0000013b: PUSH4 0xc45d3d92 00000140: EQ 00000141: PUSH2 0x08f2 00000144: JUMPI 00000145: PUSH2 0x039a 00000148: JUMP 00000149: JUMPDEST 0000014a: DUP1 0000014b: PUSH4 0x8da5cb5b 00000150: EQ 00000151: PUSH2 0x07e6 00000154: JUMPI 00000155: DUP1 00000156: PUSH4 0x94c275ad 0000015b: EQ 0000015c: PUSH2 0x07fb 0000015f: JUMPI 00000160: DUP1 00000161: PUSH4 0x9b99a8e2 00000166: EQ 00000167: PUSH2 0x0810 0000016a: JUMPI 0000016b: DUP1 0000016c: PUSH4 0xad161582 00000171: EQ 00000172: PUSH2 0x0825 00000175: JUMPI 00000176: DUP1 00000177: PUSH4 0xaf94b8d8 0000017c: EQ 0000017d: PUSH2 0x0855 00000180: JUMPI 00000181: DUP1 00000182: PUSH4 0xb4a176d3 00000187: EQ 00000188: PUSH2 0x0898 0000018b: JUMPI 0000018c: PUSH2 0x039a 0000018f: JUMP 00000190: JUMPDEST 00000191: DUP1 00000192: PUSH4 0x49d10b64 00000197: GT 00000198: PUSH2 0x024f 0000019b: JUMPI 0000019c: DUP1 0000019d: PUSH4 0x67b6d57c 000001a2: GT 000001a3: PUSH2 0x0208 000001a6: JUMPI 000001a7: DUP1 000001a8: PUSH4 0x70b0aec5 000001ad: GT 000001ae: PUSH2 0x01e2 000001b1: JUMPI 000001b2: DUP1 000001b3: PUSH4 0x70b0aec5 000001b8: EQ 000001b9: PUSH2 0x0780 000001bc: JUMPI 000001bd: DUP1 000001be: PUSH4 0x71f52bf3 000001c3: EQ 000001c4: PUSH2 0x07a7 000001c7: JUMPI 000001c8: DUP1 000001c9: PUSH4 0x79ba5097 000001ce: EQ 000001cf: PUSH2 0x07bc 000001d2: JUMPI 000001d3: DUP1 000001d4: PUSH4 0x7b103999 000001d9: EQ 000001da: PUSH2 0x07d1 000001dd: JUMPI 000001de: PUSH2 0x039a 000001e1: JUMP 000001e2: JUMPDEST 000001e3: DUP1 000001e4: PUSH4 0x67b6d57c 000001e9: EQ 000001ea: PUSH2 0x06db 000001ed: JUMPI 000001ee: DUP1 000001ef: PUSH4 0x690d8320 000001f4: EQ 000001f5: PUSH2 0x070e 000001f8: JUMPI 000001f9: DUP1 000001fa: PUSH4 0x6a49d2c4 000001ff: EQ 00000200: PUSH2 0x0741 00000203: JUMPI 00000204: PUSH2 0x039a 00000207: JUMP 00000208: JUMPDEST 00000209: DUP1 0000020a: PUSH4 0x49d10b64 0000020f: EQ 00000210: PUSH2 0x0611 00000213: JUMPI 00000214: DUP1 00000215: PUSH4 0x4af80f0e 0000021a: EQ 0000021b: PUSH2 0x0626 0000021e: JUMPI 0000021f: DUP1 00000220: PUSH4 0x54fd4d50 00000225: EQ 00000226: PUSH2 0x0659 00000229: JUMPI 0000022a: DUP1 0000022b: PUSH4 0x579cd3ca 00000230: EQ 00000231: PUSH2 0x066e 00000234: JUMPI 00000235: DUP1 00000236: PUSH4 0x5e35359e 0000023b: EQ 0000023c: PUSH2 0x0683 0000023f: JUMPI 00000240: DUP1 00000241: PUSH4 0x61cd756e 00000246: EQ 00000247: PUSH2 0x06c6 0000024a: JUMPI 0000024b: PUSH2 0x039a 0000024e: JUMP 0000024f: JUMPDEST 00000250: DUP1 00000251: PUSH4 0x1e1401f8 00000256: GT 00000257: PUSH2 0x02bc 0000025a: JUMPI 0000025b: DUP1 0000025c: PUSH4 0x2fe8a6ad 00000261: GT 00000262: PUSH2 0x0296 00000265: JUMPI 00000266: DUP1 00000267: PUSH4 0x2fe8a6ad 0000026c: EQ 0000026d: PUSH2 0x05a6 00000270: JUMPI 00000271: DUP1 00000272: PUSH4 0x38a5e016 00000277: EQ 00000278: PUSH2 0x05bb 0000027b: JUMPI 0000027c: DUP1 0000027d: PUSH4 0x3e8ff43f 00000282: EQ 00000283: PUSH2 0x05d0 00000286: JUMPI 00000287: DUP1 00000288: PUSH4 0x40bf2fb7 0000028d: EQ 0000028e: PUSH2 0x05fc 00000291: JUMPI 00000292: PUSH2 0x039a 00000295: JUMP 00000296: JUMPDEST 00000297: DUP1 00000298: PUSH4 0x1e1401f8 0000029d: EQ 0000029e: PUSH2 0x0502 000002a1: JUMPI 000002a2: DUP1 000002a3: PUSH4 0x21e6b53d 000002a8: EQ 000002a9: PUSH2 0x055e 000002ac: JUMPI 000002ad: DUP1 000002ae: PUSH4 0x22f3e2d4 000002b3: EQ 000002b4: PUSH2 0x0591 000002b7: JUMPI 000002b8: PUSH2 0x039a 000002bb: JUMP 000002bc: JUMPDEST 000002bd: DUP1 000002be: PUSH4 0x024c7ec7 000002c3: EQ 000002c4: PUSH2 0x039f 000002c7: JUMPI 000002c8: DUP1 000002c9: PUSH4 0x0c7d5cd8 000002ce: EQ 000002cf: PUSH2 0x03cb 000002d2: JUMPI 000002d3: DUP1 000002d4: PUSH4 0x0e53aae9 000002d9: EQ 000002da: PUSH2 0x03f9 000002dd: JUMPI 000002de: DUP1 000002df: PUSH4 0x12c2aca4 000002e4: EQ 000002e5: PUSH2 0x0460 000002e8: JUMPI 000002e9: DUP1 000002ea: PUSH4 0x19b64015 000002ef: EQ 000002f0: PUSH2 0x0489 000002f3: JUMPI 000002f4: DUP1 000002f5: PUSH4 0x1cfab290 000002fa: EQ 000002fb: PUSH2 0x04cf 000002fe: JUMPI 000002ff: PUSH2 0x039a 00000302: JUMP 00000303: JUMPDEST 00000304: CALLDATASIZE 00000305: PUSH2 0x039a 00000308: JUMPI 00000309: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 0000031e: PUSH1 0x00 00000320: MSTORE 00000321: PUSH1 0x07 00000323: PUSH1 0x20 00000325: MSTORE 00000326: PUSH32 0xb2084a3e4595ccf007fb44245853374aaf0de960074375e8e0fb334712e94d0f 00000347: SLOAD 00000348: PUSH1 0x01 0000034a: PUSH1 0x30 0000034c: SHL 0000034d: SWAP1 0000034e: DIV 0000034f: PUSH1 0xff 00000351: AND 00000352: PUSH2 0x0398 00000355: JUMPI 00000356: PUSH1 0x40 00000358: DUP1 00000359: MLOAD 0000035a: PUSH3 0x461bcd 0000035e: PUSH1 0xe5 00000360: SHL 00000361: DUP2 00000362: MSTORE 00000363: PUSH1 0x20 00000365: PUSH1 0x04 00000367: DUP3 00000368: ADD 00000369: MSTORE 0000036a: PUSH1 0x13 0000036c: PUSH1 0x24 0000036e: DUP3 0000036f: ADD 00000370: MSTORE 00000371: PUSH19 0x4552525f494e56414c49445f52455345525645 00000385: PUSH1 0x68 00000387: SHL 00000388: PUSH1 0x44 0000038a: DUP3 0000038b: ADD 0000038c: MSTORE 0000038d: SWAP1 0000038e: MLOAD 0000038f: SWAP1 00000390: DUP2 00000391: SWAP1 00000392: SUB 00000393: PUSH1 0x64 00000395: ADD 00000396: SWAP1 00000397: REVERT 00000398: JUMPDEST 00000399: STOP 0000039a: JUMPDEST 0000039b: PUSH1 0x00 0000039d: DUP1 0000039e: REVERT 0000039f: JUMPDEST 000003a0: CALLVALUE 000003a1: DUP1 000003a2: ISZERO 000003a3: PUSH2 0x03ab 000003a6: JUMPI 000003a7: PUSH1 0x00 000003a9: DUP1 000003aa: REVERT 000003ab: JUMPDEST 000003ac: POP 000003ad: PUSH2 0x0398 000003b0: PUSH1 0x04 000003b2: DUP1 000003b3: CALLDATASIZE 000003b4: SUB 000003b5: PUSH1 0x20 000003b7: DUP2 000003b8: LT 000003b9: ISZERO 000003ba: PUSH2 0x03c2 000003bd: JUMPI 000003be: PUSH1 0x00 000003c0: DUP1 000003c1: REVERT 000003c2: JUMPDEST 000003c3: POP 000003c4: CALLDATALOAD 000003c5: ISZERO 000003c6: ISZERO 000003c7: PUSH2 0x0b96 000003ca: JUMP 000003cb: JUMPDEST 000003cc: CALLVALUE 000003cd: DUP1 000003ce: ISZERO 000003cf: PUSH2 0x03d7 000003d2: JUMPI 000003d3: PUSH1 0x00 000003d5: DUP1 000003d6: REVERT 000003d7: JUMPDEST 000003d8: POP 000003d9: PUSH2 0x03e0 000003dc: PUSH2 0x0bbc 000003df: JUMP 000003e0: JUMPDEST 000003e1: PUSH1 0x40 000003e3: DUP1 000003e4: MLOAD 000003e5: PUSH4 0xffffffff 000003ea: SWAP1 000003eb: SWAP3 000003ec: AND 000003ed: DUP3 000003ee: MSTORE 000003ef: MLOAD 000003f0: SWAP1 000003f1: DUP2 000003f2: SWAP1 000003f3: SUB 000003f4: PUSH1 0x20 000003f6: ADD 000003f7: SWAP1 000003f8: RETURN 000003f9: JUMPDEST 000003fa: CALLVALUE 000003fb: DUP1 000003fc: ISZERO 000003fd: PUSH2 0x0405 00000400: JUMPI 00000401: PUSH1 0x00 00000403: DUP1 00000404: REVERT 00000405: JUMPDEST 00000406: POP 00000407: PUSH2 0x042c 0000040a: PUSH1 0x04 0000040c: DUP1 0000040d: CALLDATASIZE 0000040e: SUB 0000040f: PUSH1 0x20 00000411: DUP2 00000412: LT 00000413: ISZERO 00000414: PUSH2 0x041c 00000417: JUMPI 00000418: PUSH1 0x00 0000041a: DUP1 0000041b: REVERT 0000041c: JUMPDEST 0000041d: POP 0000041e: CALLDATALOAD 0000041f: PUSH1 0x01 00000421: PUSH1 0x01 00000423: PUSH1 0xa0 00000425: SHL 00000426: SUB 00000427: AND 00000428: PUSH2 0x0bc8 0000042b: JUMP 0000042c: JUMPDEST 0000042d: PUSH1 0x40 0000042f: DUP1 00000430: MLOAD 00000431: SWAP6 00000432: DUP7 00000433: MSTORE 00000434: PUSH4 0xffffffff 00000439: SWAP1 0000043a: SWAP5 0000043b: AND 0000043c: PUSH1 0x20 0000043e: DUP7 0000043f: ADD 00000440: MSTORE 00000441: SWAP2 00000442: ISZERO 00000443: ISZERO 00000444: DUP5 00000445: DUP5 00000446: ADD 00000447: MSTORE 00000448: ISZERO 00000449: ISZERO 0000044a: PUSH1 0x60 0000044c: DUP5 0000044d: ADD 0000044e: MSTORE 0000044f: ISZERO 00000450: ISZERO 00000451: PUSH1 0x80 00000453: DUP4 00000454: ADD 00000455: MSTORE 00000456: MLOAD 00000457: SWAP1 00000458: DUP2 00000459: SWAP1 0000045a: SUB 0000045b: PUSH1 0xa0 0000045d: ADD 0000045e: SWAP1 0000045f: RETURN 00000460: JUMPDEST 00000461: CALLVALUE 00000462: DUP1 00000463: ISZERO 00000464: PUSH2 0x046c 00000467: JUMPI 00000468: PUSH1 0x00 0000046a: DUP1 0000046b: REVERT 0000046c: JUMPDEST 0000046d: POP 0000046e: PUSH2 0x0475 00000471: PUSH2 0x0c60 00000474: JUMP 00000475: JUMPDEST 00000476: PUSH1 0x40 00000478: DUP1 00000479: MLOAD 0000047a: SWAP2 0000047b: ISZERO 0000047c: ISZERO 0000047d: DUP3 0000047e: MSTORE 0000047f: MLOAD 00000480: SWAP1 00000481: DUP2 00000482: SWAP1 00000483: SUB 00000484: PUSH1 0x20 00000486: ADD 00000487: SWAP1 00000488: RETURN 00000489: JUMPDEST 0000048a: CALLVALUE 0000048b: DUP1 0000048c: ISZERO 0000048d: PUSH2 0x0495 00000490: JUMPI 00000491: PUSH1 0x00 00000493: DUP1 00000494: REVERT 00000495: JUMPDEST 00000496: POP 00000497: PUSH2 0x04b3 0000049a: PUSH1 0x04 0000049c: DUP1 0000049d: CALLDATASIZE 0000049e: SUB 0000049f: PUSH1 0x20 000004a1: DUP2 000004a2: LT 000004a3: ISZERO 000004a4: PUSH2 0x04ac 000004a7: JUMPI 000004a8: PUSH1 0x00 000004aa: DUP1 000004ab: REVERT 000004ac: JUMPDEST 000004ad: POP 000004ae: CALLDATALOAD 000004af: PUSH2 0x0cac 000004b2: JUMP 000004b3: JUMPDEST 000004b4: PUSH1 0x40 000004b6: DUP1 000004b7: MLOAD 000004b8: PUSH1 0x01 000004ba: PUSH1 0x01 000004bc: PUSH1 0xa0 000004be: SHL 000004bf: SUB 000004c0: SWAP1 000004c1: SWAP3 000004c2: AND 000004c3: DUP3 000004c4: MSTORE 000004c5: MLOAD 000004c6: SWAP1 000004c7: DUP2 000004c8: SWAP1 000004c9: SUB 000004ca: PUSH1 0x20 000004cc: ADD 000004cd: SWAP1 000004ce: RETURN 000004cf: JUMPDEST 000004d0: CALLVALUE 000004d1: DUP1 000004d2: ISZERO 000004d3: PUSH2 0x04db 000004d6: JUMPI 000004d7: PUSH1 0x00 000004d9: DUP1 000004da: REVERT 000004db: JUMPDEST 000004dc: POP 000004dd: PUSH2 0x03e0 000004e0: PUSH1 0x04 000004e2: DUP1 000004e3: CALLDATASIZE 000004e4: SUB 000004e5: PUSH1 0x20 000004e7: DUP2 000004e8: LT 000004e9: ISZERO 000004ea: PUSH2 0x04f2 000004ed: JUMPI 000004ee: PUSH1 0x00 000004f0: DUP1 000004f1: REVERT 000004f2: JUMPDEST 000004f3: POP 000004f4: CALLDATALOAD 000004f5: PUSH1 0x01 000004f7: PUSH1 0x01 000004f9: PUSH1 0xa0 000004fb: SHL 000004fc: SUB 000004fd: AND 000004fe: PUSH2 0x0cd6 00000501: JUMP 00000502: JUMPDEST 00000503: CALLVALUE 00000504: DUP1 00000505: ISZERO 00000506: PUSH2 0x050e 00000509: JUMPI 0000050a: PUSH1 0x00 0000050c: DUP1 0000050d: REVERT 0000050e: JUMPDEST 0000050f: POP 00000510: PUSH2 0x0545 00000513: PUSH1 0x04 00000515: DUP1 00000516: CALLDATASIZE 00000517: SUB 00000518: PUSH1 0x60 0000051a: DUP2 0000051b: LT 0000051c: ISZERO 0000051d: PUSH2 0x0525 00000520: JUMPI 00000521: PUSH1 0x00 00000523: DUP1 00000524: REVERT 00000525: JUMPDEST 00000526: POP 00000527: PUSH1 0x01 00000529: PUSH1 0x01 0000052b: PUSH1 0xa0 0000052d: SHL 0000052e: SUB 0000052f: DUP2 00000530: CALLDATALOAD 00000531: DUP2 00000532: AND 00000533: SWAP2 00000534: PUSH1 0x20 00000536: DUP2 00000537: ADD 00000538: CALLDATALOAD 00000539: SWAP1 0000053a: SWAP2 0000053b: AND 0000053c: SWAP1 0000053d: PUSH1 0x40 0000053f: ADD 00000540: CALLDATALOAD 00000541: PUSH2 0x0d08 00000544: JUMP 00000545: JUMPDEST 00000546: PUSH1 0x40 00000548: DUP1 00000549: MLOAD 0000054a: SWAP3 0000054b: DUP4 0000054c: MSTORE 0000054d: PUSH1 0x20 0000054f: DUP4 00000550: ADD 00000551: SWAP2 00000552: SWAP1 00000553: SWAP2 00000554: MSTORE 00000555: DUP1 00000556: MLOAD 00000557: SWAP2 00000558: DUP3 00000559: SWAP1 0000055a: SUB 0000055b: ADD 0000055c: SWAP1 0000055d: RETURN 0000055e: JUMPDEST 0000055f: CALLVALUE 00000560: DUP1 00000561: ISZERO 00000562: PUSH2 0x056a 00000565: JUMPI 00000566: PUSH1 0x00 00000568: DUP1 00000569: REVERT 0000056a: JUMPDEST 0000056b: POP 0000056c: PUSH2 0x0398 0000056f: PUSH1 0x04 00000571: DUP1 00000572: CALLDATASIZE 00000573: SUB 00000574: PUSH1 0x20 00000576: DUP2 00000577: LT 00000578: ISZERO 00000579: PUSH2 0x0581 0000057c: JUMPI 0000057d: PUSH1 0x00 0000057f: DUP1 00000580: REVERT 00000581: JUMPDEST 00000582: POP 00000583: CALLDATALOAD 00000584: PUSH1 0x01 00000586: PUSH1 0x01 00000588: PUSH1 0xa0 0000058a: SHL 0000058b: SUB 0000058c: AND 0000058d: PUSH2 0x0d23 00000590: JUMP 00000591: JUMPDEST 00000592: CALLVALUE 00000593: DUP1 00000594: ISZERO 00000595: PUSH2 0x059d 00000598: JUMPI 00000599: PUSH1 0x00 0000059b: DUP1 0000059c: REVERT 0000059d: JUMPDEST 0000059e: POP 0000059f: PUSH2 0x0475 000005a2: PUSH2 0x0d37 000005a5: JUMP 000005a6: JUMPDEST 000005a7: CALLVALUE 000005a8: DUP1 000005a9: ISZERO 000005aa: PUSH2 0x05b2 000005ad: JUMPI 000005ae: PUSH1 0x00 000005b0: DUP1 000005b1: REVERT 000005b2: JUMPDEST 000005b3: POP 000005b4: PUSH2 0x0475 000005b7: PUSH2 0x0db6 000005ba: JUMP 000005bb: JUMPDEST 000005bc: CALLVALUE 000005bd: DUP1 000005be: ISZERO 000005bf: PUSH2 0x05c7 000005c2: JUMPI 000005c3: PUSH1 0x00 000005c5: DUP1 000005c6: REVERT 000005c7: JUMPDEST 000005c8: POP 000005c9: PUSH2 0x0398 000005cc: PUSH2 0x0dc6 000005cf: JUMP 000005d0: JUMPDEST 000005d1: CALLVALUE 000005d2: DUP1 000005d3: ISZERO 000005d4: PUSH2 0x05dc 000005d7: JUMPI 000005d8: PUSH1 0x00 000005da: DUP1 000005db: REVERT 000005dc: JUMPDEST 000005dd: POP 000005de: PUSH2 0x05e5 000005e1: PUSH2 0x0dd8 000005e4: JUMP 000005e5: JUMPDEST 000005e6: PUSH1 0x40 000005e8: DUP1 000005e9: MLOAD 000005ea: PUSH2 0xffff 000005ed: SWAP1 000005ee: SWAP3 000005ef: AND 000005f0: DUP3 000005f1: MSTORE 000005f2: MLOAD 000005f3: SWAP1 000005f4: DUP2 000005f5: SWAP1 000005f6: SUB 000005f7: PUSH1 0x20 000005f9: ADD 000005fa: SWAP1 000005fb: RETURN 000005fc: JUMPDEST 000005fd: CALLVALUE 000005fe: DUP1 000005ff: ISZERO 00000600: PUSH2 0x0608 00000603: JUMPI 00000604: PUSH1 0x00 00000606: DUP1 00000607: REVERT 00000608: JUMPDEST 00000609: POP 0000060a: PUSH2 0x03e0 0000060d: PUSH2 0x0ddd 00000610: JUMP 00000611: JUMPDEST 00000612: CALLVALUE 00000613: DUP1 00000614: ISZERO 00000615: PUSH2 0x061d 00000618: JUMPI 00000619: PUSH1 0x00 0000061b: DUP1 0000061c: REVERT 0000061d: JUMPDEST 0000061e: POP 0000061f: PUSH2 0x0398 00000622: PUSH2 0x0df0 00000625: JUMP 00000626: JUMPDEST 00000627: CALLVALUE 00000628: DUP1 00000629: ISZERO 0000062a: PUSH2 0x0632 0000062d: JUMPI 0000062e: PUSH1 0x00 00000630: DUP1 00000631: REVERT 00000632: JUMPDEST 00000633: POP 00000634: PUSH2 0x0398 00000637: PUSH1 0x04 00000639: DUP1 0000063a: CALLDATASIZE 0000063b: SUB 0000063c: PUSH1 0x20 0000063e: DUP2 0000063f: LT 00000640: ISZERO 00000641: PUSH2 0x0649 00000644: JUMPI 00000645: PUSH1 0x00 00000647: DUP1 00000648: REVERT 00000649: JUMPDEST 0000064a: POP 0000064b: CALLDATALOAD 0000064c: PUSH1 0x01 0000064e: PUSH1 0x01 00000650: PUSH1 0xa0 00000652: SHL 00000653: SUB 00000654: AND 00000655: PUSH2 0x0ff8 00000658: JUMP 00000659: JUMPDEST 0000065a: CALLVALUE 0000065b: DUP1 0000065c: ISZERO 0000065d: PUSH2 0x0665 00000660: JUMPI 00000661: PUSH1 0x00 00000663: DUP1 00000664: REVERT 00000665: JUMPDEST 00000666: POP 00000667: PUSH2 0x05e5 0000066a: PUSH2 0x102d 0000066d: JUMP 0000066e: JUMPDEST 0000066f: CALLVALUE 00000670: DUP1 00000671: ISZERO 00000672: PUSH2 0x067a 00000675: JUMPI 00000676: PUSH1 0x00 00000678: DUP1 00000679: REVERT 0000067a: JUMPDEST 0000067b: POP 0000067c: PUSH2 0x03e0 0000067f: PUSH2 0x1032 00000682: JUMP 00000683: JUMPDEST 00000684: CALLVALUE 00000685: DUP1 00000686: ISZERO 00000687: PUSH2 0x068f 0000068a: JUMPI 0000068b: PUSH1 0x00 0000068d: DUP1 0000068e: REVERT 0000068f: JUMPDEST 00000690: POP 00000691: PUSH2 0x0398 00000694: PUSH1 0x04 00000696: DUP1 00000697: CALLDATASIZE 00000698: SUB 00000699: PUSH1 0x60 0000069b: DUP2 0000069c: LT 0000069d: ISZERO 0000069e: PUSH2 0x06a6 000006a1: JUMPI 000006a2: PUSH1 0x00 000006a4: DUP1 000006a5: REVERT 000006a6: JUMPDEST 000006a7: POP 000006a8: PUSH1 0x01 000006aa: PUSH1 0x01 000006ac: PUSH1 0xa0 000006ae: SHL 000006af: SUB 000006b0: DUP2 000006b1: CALLDATALOAD 000006b2: DUP2 000006b3: AND 000006b4: SWAP2 000006b5: PUSH1 0x20 000006b7: DUP2 000006b8: ADD 000006b9: CALLDATALOAD 000006ba: SWAP1 000006bb: SWAP2 000006bc: AND 000006bd: SWAP1 000006be: PUSH1 0x40 000006c0: ADD 000006c1: CALLDATALOAD 000006c2: PUSH2 0x1045 000006c5: JUMP 000006c6: JUMPDEST 000006c7: CALLVALUE 000006c8: DUP1 000006c9: ISZERO 000006ca: PUSH2 0x06d2 000006cd: JUMPI 000006ce: PUSH1 0x00 000006d0: DUP1 000006d1: REVERT 000006d2: JUMPDEST 000006d3: POP 000006d4: PUSH2 0x04b3 000006d7: PUSH2 0x10b9 000006da: JUMP 000006db: JUMPDEST 000006dc: CALLVALUE 000006dd: DUP1 000006de: ISZERO 000006df: PUSH2 0x06e7 000006e2: JUMPI 000006e3: PUSH1 0x00 000006e5: DUP1 000006e6: REVERT 000006e7: JUMPDEST 000006e8: POP 000006e9: PUSH2 0x0398 000006ec: PUSH1 0x04 000006ee: DUP1 000006ef: CALLDATASIZE 000006f0: SUB 000006f1: PUSH1 0x20 000006f3: DUP2 000006f4: LT 000006f5: ISZERO 000006f6: PUSH2 0x06fe 000006f9: JUMPI 000006fa: PUSH1 0x00 000006fc: DUP1 000006fd: REVERT 000006fe: JUMPDEST 000006ff: POP 00000700: CALLDATALOAD 00000701: PUSH1 0x01 00000703: PUSH1 0x01 00000705: PUSH1 0xa0 00000707: SHL 00000708: SUB 00000709: AND 0000070a: PUSH2 0x10c8 0000070d: JUMP 0000070e: JUMPDEST 0000070f: CALLVALUE 00000710: DUP1 00000711: ISZERO 00000712: PUSH2 0x071a 00000715: JUMPI 00000716: PUSH1 0x00 00000718: DUP1 00000719: REVERT 0000071a: JUMPDEST 0000071b: POP 0000071c: PUSH2 0x0398 0000071f: PUSH1 0x04 00000721: DUP1 00000722: CALLDATASIZE 00000723: SUB 00000724: PUSH1 0x20 00000726: DUP2 00000727: LT 00000728: ISZERO 00000729: PUSH2 0x0731 0000072c: JUMPI 0000072d: PUSH1 0x00 0000072f: DUP1 00000730: REVERT 00000731: JUMPDEST 00000732: POP 00000733: CALLDATALOAD 00000734: PUSH1 0x01 00000736: PUSH1 0x01 00000738: PUSH1 0xa0 0000073a: SHL 0000073b: SUB 0000073c: AND 0000073d: PUSH2 0x114f 00000740: JUMP 00000741: JUMPDEST 00000742: CALLVALUE 00000743: DUP1 00000744: ISZERO 00000745: PUSH2 0x074d 00000748: JUMPI 00000749: PUSH1 0x00 0000074b: DUP1 0000074c: REVERT 0000074d: JUMPDEST 0000074e: POP 0000074f: PUSH2 0x0398 00000752: PUSH1 0x04 00000754: DUP1 00000755: CALLDATASIZE 00000756: SUB 00000757: PUSH1 0x40 00000759: DUP2 0000075a: LT 0000075b: ISZERO 0000075c: PUSH2 0x0764 0000075f: JUMPI 00000760: PUSH1 0x00 00000762: DUP1 00000763: REVERT 00000764: JUMPDEST 00000765: POP 00000766: DUP1 00000767: CALLDATALOAD 00000768: PUSH1 0x01 0000076a: PUSH1 0x01 0000076c: PUSH1 0xa0 0000076e: SHL 0000076f: SUB 00000770: AND 00000771: SWAP1 00000772: PUSH1 0x20 00000774: ADD 00000775: CALLDATALOAD 00000776: PUSH4 0xffffffff 0000077b: AND 0000077c: PUSH2 0x11f4 0000077f: JUMP 00000780: JUMPDEST 00000781: CALLVALUE 00000782: DUP1 00000783: ISZERO 00000784: PUSH2 0x078c 00000787: JUMPI 00000788: PUSH1 0x00 0000078a: DUP1 0000078b: REVERT 0000078c: JUMPDEST 0000078d: POP 0000078e: PUSH2 0x0795 00000791: PUSH2 0x1264 00000794: JUMP 00000795: JUMPDEST 00000796: PUSH1 0x40 00000798: DUP1 00000799: MLOAD 0000079a: SWAP2 0000079b: DUP3 0000079c: MSTORE 0000079d: MLOAD 0000079e: SWAP1 0000079f: DUP2 000007a0: SWAP1 000007a1: SUB 000007a2: PUSH1 0x20 000007a4: ADD 000007a5: SWAP1 000007a6: RETURN 000007a7: JUMPDEST 000007a8: CALLVALUE 000007a9: DUP1 000007aa: ISZERO 000007ab: PUSH2 0x07b3 000007ae: JUMPI 000007af: PUSH1 0x00 000007b1: DUP1 000007b2: REVERT 000007b3: JUMPDEST 000007b4: POP 000007b5: PUSH2 0x05e5 000007b8: PUSH2 0x126a 000007bb: JUMP 000007bc: JUMPDEST 000007bd: CALLVALUE 000007be: DUP1 000007bf: ISZERO 000007c0: PUSH2 0x07c8 000007c3: JUMPI 000007c4: PUSH1 0x00 000007c6: DUP1 000007c7: REVERT 000007c8: JUMPDEST 000007c9: POP 000007ca: PUSH2 0x0398 000007cd: PUSH2 0x1279 000007d0: JUMP 000007d1: JUMPDEST 000007d2: CALLVALUE 000007d3: DUP1 000007d4: ISZERO 000007d5: PUSH2 0x07dd 000007d8: JUMPI 000007d9: PUSH1 0x00 000007db: DUP1 000007dc: REVERT 000007dd: JUMPDEST 000007de: POP 000007df: PUSH2 0x04b3 000007e2: PUSH2 0x1330 000007e5: JUMP 000007e6: JUMPDEST 000007e7: CALLVALUE 000007e8: DUP1 000007e9: ISZERO 000007ea: PUSH2 0x07f2 000007ed: JUMPI 000007ee: PUSH1 0x00 000007f0: DUP1 000007f1: REVERT 000007f2: JUMPDEST 000007f3: POP 000007f4: PUSH2 0x04b3 000007f7: PUSH2 0x133f 000007fa: JUMP 000007fb: JUMPDEST 000007fc: CALLVALUE 000007fd: DUP1 000007fe: ISZERO 000007ff: PUSH2 0x0807 00000802: JUMPI 00000803: PUSH1 0x00 00000805: DUP1 00000806: REVERT 00000807: JUMPDEST 00000808: POP 00000809: PUSH2 0x03e0 0000080c: PUSH2 0x134e 0000080f: JUMP 00000810: JUMPDEST 00000811: CALLVALUE 00000812: DUP1 00000813: ISZERO 00000814: PUSH2 0x081c 00000817: JUMPI 00000818: PUSH1 0x00 0000081a: DUP1 0000081b: REVERT 0000081c: JUMPDEST 0000081d: POP 0000081e: PUSH2 0x05e5 00000821: PUSH2 0x1362 00000824: JUMP 00000825: JUMPDEST 00000826: CALLVALUE 00000827: DUP1 00000828: ISZERO 00000829: PUSH2 0x0831 0000082c: JUMPI 0000082d: PUSH1 0x00 0000082f: DUP1 00000830: REVERT 00000831: JUMPDEST 00000832: POP 00000833: PUSH2 0x0398 00000836: PUSH1 0x04 00000838: DUP1 00000839: CALLDATASIZE 0000083a: SUB 0000083b: PUSH1 0x20 0000083d: DUP2 0000083e: LT 0000083f: ISZERO 00000840: PUSH2 0x0848 00000843: JUMPI 00000844: PUSH1 0x00 00000846: DUP1 00000847: REVERT 00000848: JUMPDEST 00000849: POP 0000084a: CALLDATALOAD 0000084b: PUSH4 0xffffffff 00000850: AND 00000851: PUSH2 0x1368 00000854: JUMP 00000855: JUMPDEST 00000856: CALLVALUE 00000857: DUP1 00000858: ISZERO 00000859: PUSH2 0x0861 0000085c: JUMPI 0000085d: PUSH1 0x00 0000085f: DUP1 00000860: REVERT 00000861: JUMPDEST 00000862: POP 00000863: PUSH2 0x0545 00000866: PUSH1 0x04 00000868: DUP1 00000869: CALLDATASIZE 0000086a: SUB 0000086b: PUSH1 0x60 0000086d: DUP2 0000086e: LT 0000086f: ISZERO 00000870: PUSH2 0x0878 00000873: JUMPI 00000874: PUSH1 0x00 00000876: DUP1 00000877: REVERT 00000878: JUMPDEST 00000879: POP 0000087a: PUSH1 0x01 0000087c: PUSH1 0x01 0000087e: PUSH1 0xa0 00000880: SHL 00000881: SUB 00000882: DUP2 00000883: CALLDATALOAD 00000884: DUP2 00000885: AND 00000886: SWAP2 00000887: PUSH1 0x20 00000889: DUP2 0000088a: ADD 0000088b: CALLDATALOAD 0000088c: SWAP1 0000088d: SWAP2 0000088e: AND 0000088f: SWAP1 00000890: PUSH1 0x40 00000892: ADD 00000893: CALLDATALOAD 00000894: PUSH2 0x139e 00000897: JUMP 00000898: JUMPDEST 00000899: CALLVALUE 0000089a: DUP1 0000089b: ISZERO 0000089c: PUSH2 0x08a4 0000089f: JUMPI 000008a0: PUSH1 0x00 000008a2: DUP1 000008a3: REVERT 000008a4: JUMPDEST 000008a5: POP 000008a6: PUSH2 0x0398 000008a9: PUSH2 0x1487 000008ac: JUMP 000008ad: JUMPDEST 000008ae: CALLVALUE 000008af: DUP1 000008b0: ISZERO 000008b1: PUSH2 0x08b9 000008b4: JUMPI 000008b5: PUSH1 0x00 000008b7: DUP1 000008b8: REVERT 000008b9: JUMPDEST 000008ba: POP 000008bb: PUSH2 0x0475 000008be: PUSH2 0x14b3 000008c1: JUMP 000008c2: JUMPDEST 000008c3: CALLVALUE 000008c4: DUP1 000008c5: ISZERO 000008c6: PUSH2 0x08ce 000008c9: JUMPI 000008ca: PUSH1 0x00 000008cc: DUP1 000008cd: REVERT 000008ce: JUMPDEST 000008cf: POP 000008d0: PUSH2 0x0398 000008d3: PUSH1 0x04 000008d5: DUP1 000008d6: CALLDATASIZE 000008d7: SUB 000008d8: PUSH1 0x20 000008da: DUP2 000008db: LT 000008dc: ISZERO 000008dd: PUSH2 0x08e5 000008e0: JUMPI 000008e1: PUSH1 0x00 000008e3: DUP1 000008e4: REVERT 000008e5: JUMPDEST 000008e6: POP 000008e7: CALLDATALOAD 000008e8: PUSH4 0xffffffff 000008ed: AND 000008ee: PUSH2 0x14b8 000008f1: JUMP 000008f2: JUMPDEST 000008f3: CALLVALUE 000008f4: DUP1 000008f5: ISZERO 000008f6: PUSH2 0x08fe 000008f9: JUMPI 000008fa: PUSH1 0x00 000008fc: DUP1 000008fd: REVERT 000008fe: JUMPDEST 000008ff: POP 00000900: PUSH2 0x04b3 00000903: PUSH2 0x14ee 00000906: JUMP 00000907: JUMPDEST 00000908: CALLVALUE 00000909: DUP1 0000090a: ISZERO 0000090b: PUSH2 0x0913 0000090e: JUMPI 0000090f: PUSH1 0x00 00000911: DUP1 00000912: REVERT 00000913: JUMPDEST 00000914: POP 00000915: PUSH2 0x0398 00000918: PUSH1 0x04 0000091a: DUP1 0000091b: CALLDATASIZE 0000091c: SUB 0000091d: PUSH1 0x20 0000091f: DUP2 00000920: LT 00000921: ISZERO 00000922: PUSH2 0x092a 00000925: JUMPI 00000926: PUSH1 0x00 00000928: DUP1 00000929: REVERT 0000092a: JUMPDEST 0000092b: POP 0000092c: CALLDATALOAD 0000092d: PUSH2 0x14fd 00000930: JUMP 00000931: JUMPDEST 00000932: CALLVALUE 00000933: DUP1 00000934: ISZERO 00000935: PUSH2 0x093d 00000938: JUMPI 00000939: PUSH1 0x00 0000093b: DUP1 0000093c: REVERT 0000093d: JUMPDEST 0000093e: POP 0000093f: PUSH2 0x0398 00000942: PUSH2 0x1512 00000945: JUMP 00000946: JUMPDEST 00000947: CALLVALUE 00000948: DUP1 00000949: ISZERO 0000094a: PUSH2 0x0952 0000094d: JUMPI 0000094e: PUSH1 0x00 00000950: DUP1 00000951: REVERT 00000952: JUMPDEST 00000953: POP 00000954: PUSH2 0x04b3 00000957: PUSH1 0x04 00000959: DUP1 0000095a: CALLDATASIZE 0000095b: SUB 0000095c: PUSH1 0x20 0000095e: DUP2 0000095f: LT 00000960: ISZERO 00000961: PUSH2 0x0969 00000964: JUMPI 00000965: PUSH1 0x00 00000967: DUP1 00000968: REVERT 00000969: JUMPDEST 0000096a: POP 0000096b: CALLDATALOAD 0000096c: PUSH2 0x156b 0000096f: JUMP 00000970: JUMPDEST 00000971: CALLVALUE 00000972: DUP1 00000973: ISZERO 00000974: PUSH2 0x097c 00000977: JUMPI 00000978: PUSH1 0x00 0000097a: DUP1 0000097b: REVERT 0000097c: JUMPDEST 0000097d: POP 0000097e: PUSH2 0x0795 00000981: PUSH1 0x04 00000983: DUP1 00000984: CALLDATASIZE 00000985: SUB 00000986: PUSH1 0x20 00000988: DUP2 00000989: LT 0000098a: ISZERO 0000098b: PUSH2 0x0993 0000098e: JUMPI 0000098f: PUSH1 0x00 00000991: DUP1 00000992: REVERT 00000993: JUMPDEST 00000994: POP 00000995: CALLDATALOAD 00000996: PUSH1 0x01 00000998: PUSH1 0x01 0000099a: PUSH1 0xa0 0000099c: SHL 0000099d: SUB 0000099e: AND 0000099f: PUSH2 0x1592 000009a2: JUMP 000009a3: JUMPDEST 000009a4: CALLVALUE 000009a5: DUP1 000009a6: ISZERO 000009a7: PUSH2 0x09af 000009aa: JUMPI 000009ab: PUSH1 0x00 000009ad: DUP1 000009ae: REVERT 000009af: JUMPDEST 000009b0: POP 000009b1: PUSH2 0x0475 000009b4: PUSH2 0x15dc 000009b7: JUMP 000009b8: JUMPDEST 000009b9: CALLVALUE 000009ba: DUP1 000009bb: ISZERO 000009bc: PUSH2 0x09c4 000009bf: JUMPI 000009c0: PUSH1 0x00 000009c2: DUP1 000009c3: REVERT 000009c4: JUMPDEST 000009c5: POP 000009c6: PUSH2 0x04b3 000009c9: PUSH2 0x15e1 000009cc: JUMP 000009cd: JUMPDEST 000009ce: CALLVALUE 000009cf: DUP1 000009d0: ISZERO 000009d1: PUSH2 0x09d9 000009d4: JUMPI 000009d5: PUSH1 0x00 000009d7: DUP1 000009d8: REVERT 000009d9: JUMPDEST 000009da: POP 000009db: PUSH2 0x04b3 000009de: PUSH2 0x15f0 000009e1: JUMP 000009e2: JUMPDEST 000009e3: CALLVALUE 000009e4: DUP1 000009e5: ISZERO 000009e6: PUSH2 0x09ee 000009e9: JUMPI 000009ea: PUSH1 0x00 000009ec: DUP1 000009ed: REVERT 000009ee: JUMPDEST 000009ef: POP 000009f0: PUSH2 0x0398 000009f3: PUSH2 0x15ff 000009f6: JUMP 000009f7: JUMPDEST 000009f8: CALLVALUE 000009f9: DUP1 000009fa: ISZERO 000009fb: PUSH2 0x0a03 000009fe: JUMPI 000009ff: PUSH1 0x00 00000a01: DUP1 00000a02: REVERT 00000a03: JUMPDEST 00000a04: POP 00000a05: PUSH2 0x042c 00000a08: PUSH1 0x04 00000a0a: DUP1 00000a0b: CALLDATASIZE 00000a0c: SUB 00000a0d: PUSH1 0x20 00000a0f: DUP2 00000a10: LT 00000a11: ISZERO 00000a12: PUSH2 0x0a1a 00000a15: JUMPI 00000a16: PUSH1 0x00 00000a18: DUP1 00000a19: REVERT 00000a1a: JUMPDEST 00000a1b: POP 00000a1c: CALLDATALOAD 00000a1d: PUSH1 0x01 00000a1f: PUSH1 0x01 00000a21: PUSH1 0xa0 00000a23: SHL 00000a24: SUB 00000a25: AND 00000a26: PUSH2 0x16ed 00000a29: JUMP 00000a2a: JUMPDEST 00000a2b: CALLVALUE 00000a2c: DUP1 00000a2d: ISZERO 00000a2e: PUSH2 0x0a36 00000a31: JUMPI 00000a32: PUSH1 0x00 00000a34: DUP1 00000a35: REVERT 00000a36: JUMPDEST 00000a37: POP 00000a38: PUSH2 0x0398 00000a3b: PUSH1 0x04 00000a3d: DUP1 00000a3e: CALLDATASIZE 00000a3f: SUB 00000a40: PUSH1 0x20 00000a42: DUP2 00000a43: LT 00000a44: ISZERO 00000a45: PUSH2 0x0a4d 00000a48: JUMPI 00000a49: PUSH1 0x00 00000a4b: DUP1 00000a4c: REVERT 00000a4d: JUMPDEST 00000a4e: POP 00000a4f: CALLDATALOAD 00000a50: PUSH1 0x01 00000a52: PUSH1 0x01 00000a54: PUSH1 0xa0 00000a56: SHL 00000a57: SUB 00000a58: AND 00000a59: PUSH2 0x1730 00000a5c: JUMP 00000a5d: JUMPDEST 00000a5e: CALLVALUE 00000a5f: DUP1 00000a60: ISZERO 00000a61: PUSH2 0x0a69 00000a64: JUMPI 00000a65: PUSH1 0x00 00000a67: DUP1 00000a68: REVERT 00000a69: JUMPDEST 00000a6a: POP 00000a6b: PUSH2 0x0795 00000a6e: PUSH1 0x04 00000a70: DUP1 00000a71: CALLDATASIZE 00000a72: SUB 00000a73: PUSH1 0x20 00000a75: DUP2 00000a76: LT 00000a77: ISZERO 00000a78: PUSH2 0x0a80 00000a7b: JUMPI 00000a7c: PUSH1 0x00 00000a7e: DUP1 00000a7f: REVERT 00000a80: JUMPDEST 00000a81: POP 00000a82: CALLDATALOAD 00000a83: PUSH1 0x01 00000a85: PUSH1 0x01 00000a87: PUSH1 0xa0 00000a89: SHL 00000a8a: SUB 00000a8b: AND 00000a8c: PUSH2 0x19a9 00000a8f: JUMP 00000a90: JUMPDEST 00000a91: CALLVALUE 00000a92: DUP1 00000a93: ISZERO 00000a94: PUSH2 0x0a9c 00000a97: JUMPI 00000a98: PUSH1 0x00 00000a9a: DUP1 00000a9b: REVERT 00000a9c: JUMPDEST 00000a9d: POP 00000a9e: PUSH2 0x0795 00000aa1: PUSH1 0x04 00000aa3: DUP1 00000aa4: CALLDATASIZE 00000aa5: SUB 00000aa6: PUSH1 0x20 00000aa8: DUP2 00000aa9: LT 00000aaa: ISZERO 00000aab: PUSH2 0x0ab3 00000aae: JUMPI 00000aaf: PUSH1 0x00 00000ab1: DUP1 00000ab2: REVERT 00000ab3: JUMPDEST 00000ab4: POP 00000ab5: CALLDATALOAD 00000ab6: PUSH1 0x01 00000ab8: PUSH1 0x01 00000aba: PUSH1 0xa0 00000abc: SHL 00000abd: SUB 00000abe: AND 00000abf: PUSH2 0x19ba 00000ac2: JUMP 00000ac3: JUMPDEST 00000ac4: PUSH2 0x0795 00000ac7: PUSH1 0x04 00000ac9: DUP1 00000aca: CALLDATASIZE 00000acb: SUB 00000acc: PUSH1 0xa0 00000ace: DUP2 00000acf: LT 00000ad0: ISZERO 00000ad1: PUSH2 0x0ad9 00000ad4: JUMPI 00000ad5: PUSH1 0x00 00000ad7: DUP1 00000ad8: REVERT 00000ad9: JUMPDEST 00000ada: POP 00000adb: PUSH1 0x01 00000add: PUSH1 0x01 00000adf: PUSH1 0xa0 00000ae1: SHL 00000ae2: SUB 00000ae3: DUP2 00000ae4: CALLDATALOAD 00000ae5: DUP2 00000ae6: AND 00000ae7: SWAP2 00000ae8: PUSH1 0x20 00000aea: DUP2 00000aeb: ADD 00000aec: CALLDATALOAD 00000aed: DUP3 00000aee: AND 00000aef: SWAP2 00000af0: PUSH1 0x40 00000af2: DUP3 00000af3: ADD 00000af4: CALLDATALOAD 00000af5: SWAP2 00000af6: PUSH1 0x60 00000af8: DUP2 00000af9: ADD 00000afa: CALLDATALOAD 00000afb: DUP3 00000afc: AND 00000afd: SWAP2 00000afe: PUSH1 0x80 00000b00: SWAP1 00000b01: SWAP2 00000b02: ADD 00000b03: CALLDATALOAD 00000b04: AND 00000b05: PUSH2 0x19e3 00000b08: JUMP 00000b09: JUMPDEST 00000b0a: CALLVALUE 00000b0b: DUP1 00000b0c: ISZERO 00000b0d: PUSH2 0x0b15 00000b10: JUMPI 00000b11: PUSH1 0x00 00000b13: DUP1 00000b14: REVERT 00000b15: JUMPDEST 00000b16: POP 00000b17: PUSH2 0x0398 00000b1a: PUSH1 0x04 00000b1c: DUP1 00000b1d: CALLDATASIZE 00000b1e: SUB 00000b1f: PUSH1 0x20 00000b21: DUP2 00000b22: LT 00000b23: ISZERO 00000b24: PUSH2 0x0b2c 00000b27: JUMPI 00000b28: PUSH1 0x00 00000b2a: DUP1 00000b2b: REVERT 00000b2c: JUMPDEST 00000b2d: POP 00000b2e: CALLDATALOAD 00000b2f: PUSH4 0xffffffff 00000b34: AND 00000b35: PUSH2 0x1bf3 00000b38: JUMP 00000b39: JUMPDEST 00000b3a: CALLVALUE 00000b3b: DUP1 00000b3c: ISZERO 00000b3d: PUSH2 0x0b45 00000b40: JUMPI 00000b41: PUSH1 0x00 00000b43: DUP1 00000b44: REVERT 00000b45: JUMPDEST 00000b46: POP 00000b47: PUSH2 0x0398 00000b4a: PUSH1 0x04 00000b4c: DUP1 00000b4d: CALLDATASIZE 00000b4e: SUB 00000b4f: PUSH1 0x20 00000b51: DUP2 00000b52: LT 00000b53: ISZERO 00000b54: PUSH2 0x0b5c 00000b57: JUMPI 00000b58: PUSH1 0x00 00000b5a: DUP1 00000b5b: REVERT 00000b5c: JUMPDEST 00000b5d: POP 00000b5e: CALLDATALOAD 00000b5f: PUSH1 0x01 00000b61: PUSH1 0x01 00000b63: PUSH1 0xa0 00000b65: SHL 00000b66: SUB 00000b67: AND 00000b68: PUSH2 0x1cdb 00000b6b: JUMP 00000b6c: JUMPDEST 00000b6d: CALLVALUE 00000b6e: DUP1 00000b6f: ISZERO 00000b70: PUSH2 0x0b78 00000b73: JUMPI 00000b74: PUSH1 0x00 00000b76: DUP1 00000b77: REVERT 00000b78: JUMPDEST 00000b79: POP 00000b7a: PUSH2 0x03e0 00000b7d: PUSH2 0x1d59 00000b80: JUMP 00000b81: JUMPDEST 00000b82: CALLVALUE 00000b83: DUP1 00000b84: ISZERO 00000b85: PUSH2 0x0b8d 00000b88: JUMPI 00000b89: PUSH1 0x00 00000b8b: DUP1 00000b8c: REVERT 00000b8d: JUMPDEST 00000b8e: POP 00000b8f: PUSH2 0x04b3 00000b92: PUSH2 0x1d6c 00000b95: JUMP 00000b96: JUMPDEST 00000b97: PUSH2 0x0b9e 00000b9a: PUSH2 0x1d7b 00000b9d: JUMP 00000b9e: JUMPDEST 00000b9f: PUSH1 0x03 00000ba1: DUP1 00000ba2: SLOAD 00000ba3: SWAP2 00000ba4: ISZERO 00000ba5: ISZERO 00000ba6: PUSH1 0x01 00000ba8: PUSH1 0xa0 00000baa: SHL 00000bab: MUL 00000bac: PUSH1 0xff 00000bae: PUSH1 0xa0 00000bb0: SHL 00000bb1: NOT 00000bb2: SWAP1 00000bb3: SWAP3 00000bb4: AND 00000bb5: SWAP2 00000bb6: SWAP1 00000bb7: SWAP2 00000bb8: OR 00000bb9: SWAP1 00000bba: SSTORE 00000bbb: JUMP 00000bbc: JUMPDEST 00000bbd: PUSH1 0x08 00000bbf: SLOAD 00000bc0: PUSH4 0xffffffff 00000bc5: AND 00000bc6: DUP2 00000bc7: JUMP 00000bc8: JUMPDEST 00000bc9: PUSH1 0x00 00000bcb: DUP1 00000bcc: PUSH1 0x00 00000bce: DUP1 00000bcf: PUSH1 0x00 00000bd1: PUSH2 0x0bd8 00000bd4: PUSH2 0x32b5 00000bd7: JUMP 00000bd8: JUMPDEST 00000bd9: POP 00000bda: POP 00000bdb: POP 00000bdc: POP 00000bdd: PUSH1 0x01 00000bdf: PUSH1 0x01 00000be1: PUSH1 0xa0 00000be3: SHL 00000be4: SUB 00000be5: SWAP3 00000be6: SWAP1 00000be7: SWAP3 00000be8: AND 00000be9: PUSH1 0x00 00000beb: SWAP1 00000bec: DUP2 00000bed: MSTORE 00000bee: PUSH1 0x07 00000bf0: PUSH1 0x20 00000bf2: SWAP1 00000bf3: DUP2 00000bf4: MSTORE 00000bf5: PUSH1 0x40 00000bf7: DUP1 00000bf8: DUP4 00000bf9: KECCAK256 00000bfa: DUP2 00000bfb: MLOAD 00000bfc: PUSH1 0xa0 00000bfe: DUP2 00000bff: ADD 00000c00: DUP4 00000c01: MSTORE 00000c02: DUP2 00000c03: SLOAD 00000c04: DUP1 00000c05: DUP3 00000c06: MSTORE 00000c07: PUSH1 0x01 00000c09: SWAP1 00000c0a: SWAP3 00000c0b: ADD 00000c0c: SLOAD 00000c0d: PUSH4 0xffffffff 00000c12: DUP2 00000c13: AND 00000c14: SWAP5 00000c15: DUP3 00000c16: ADD 00000c17: DUP6 00000c18: SWAP1 00000c19: MSTORE 00000c1a: PUSH1 0xff 00000c1c: PUSH5 0x0100000000 00000c22: DUP3 00000c23: DIV 00000c24: DUP2 00000c25: AND 00000c26: ISZERO 00000c27: ISZERO 00000c28: SWAP5 00000c29: DUP4 00000c2a: ADD 00000c2b: SWAP5 00000c2c: SWAP1 00000c2d: SWAP5 00000c2e: MSTORE 00000c2f: PUSH6 0x010000000000 00000c36: DUP2 00000c37: DIV 00000c38: DUP5 00000c39: AND 00000c3a: ISZERO 00000c3b: ISZERO 00000c3c: PUSH1 0x60 00000c3e: DUP4 00000c3f: ADD 00000c40: MSTORE 00000c41: PUSH1 0x01 00000c43: PUSH1 0x30 00000c45: SHL 00000c46: SWAP1 00000c47: DIV 00000c48: SWAP1 00000c49: SWAP3 00000c4a: AND 00000c4b: ISZERO 00000c4c: ISZERO 00000c4d: PUSH1 0x80 00000c4f: SWAP1 00000c50: SWAP3 00000c51: ADD 00000c52: DUP3 00000c53: SWAP1 00000c54: MSTORE 00000c55: SWAP6 00000c56: SWAP2 00000c57: SWAP5 00000c58: POP 00000c59: SWAP2 00000c5a: SWAP3 00000c5b: POP 00000c5c: DUP3 00000c5d: SWAP2 00000c5e: SWAP1 00000c5f: JUMP 00000c60: JUMPDEST 00000c61: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00000c76: PUSH1 0x00 00000c78: MSTORE 00000c79: PUSH1 0x07 00000c7b: PUSH1 0x20 00000c7d: MSTORE 00000c7e: PUSH32 0xb2084a3e4595ccf007fb44245853374aaf0de960074375e8e0fb334712e94d0f 00000c9f: SLOAD 00000ca0: PUSH1 0x01 00000ca2: PUSH1 0x30 00000ca4: SHL 00000ca5: SWAP1 00000ca6: DIV 00000ca7: PUSH1 0xff 00000ca9: AND 00000caa: SWAP1 00000cab: JUMP 00000cac: JUMPDEST 00000cad: PUSH1 0x00 00000caf: PUSH1 0x06 00000cb1: DUP3 00000cb2: DUP2 00000cb3: SLOAD 00000cb4: DUP2 00000cb5: LT 00000cb6: PUSH2 0x0cbb 00000cb9: JUMPI 00000cba: INVALID 00000cbb: JUMPDEST 00000cbc: PUSH1 0x00 00000cbe: SWAP2 00000cbf: DUP3 00000cc0: MSTORE 00000cc1: PUSH1 0x20 00000cc3: SWAP1 00000cc4: SWAP2 00000cc5: KECCAK256 00000cc6: ADD 00000cc7: SLOAD 00000cc8: PUSH1 0x01 00000cca: PUSH1 0x01 00000ccc: PUSH1 0xa0 00000cce: SHL 00000ccf: SUB 00000cd0: AND 00000cd1: SWAP3 00000cd2: SWAP2 00000cd3: POP 00000cd4: POP 00000cd5: JUMP 00000cd6: JUMPDEST 00000cd7: PUSH1 0x00 00000cd9: DUP2 00000cda: PUSH2 0x0ce2 00000cdd: DUP2 00000cde: PUSH2 0x1dce 00000ce1: JUMP 00000ce2: JUMPDEST 00000ce3: POP 00000ce4: POP 00000ce5: PUSH1 0x01 00000ce7: PUSH1 0x01 00000ce9: PUSH1 0xa0 00000ceb: SHL 00000cec: SUB 00000ced: AND 00000cee: PUSH1 0x00 00000cf0: SWAP1 00000cf1: DUP2 00000cf2: MSTORE 00000cf3: PUSH1 0x07 00000cf5: PUSH1 0x20 00000cf7: MSTORE 00000cf8: PUSH1 0x40 00000cfa: SWAP1 00000cfb: KECCAK256 00000cfc: PUSH1 0x01 00000cfe: ADD 00000cff: SLOAD 00000d00: PUSH4 0xffffffff 00000d05: AND 00000d06: SWAP1 00000d07: JUMP 00000d08: JUMPDEST 00000d09: PUSH1 0x00 00000d0b: DUP1 00000d0c: PUSH2 0x0d16 00000d0f: DUP6 00000d10: DUP6 00000d11: DUP6 00000d12: PUSH2 0x139e 00000d15: JUMP 00000d16: JUMPDEST 00000d17: SWAP2 00000d18: POP 00000d19: SWAP2 00000d1a: POP 00000d1b: JUMPDEST 00000d1c: SWAP4 00000d1d: POP 00000d1e: SWAP4 00000d1f: SWAP2 00000d20: POP 00000d21: POP 00000d22: JUMP 00000d23: JUMPDEST 00000d24: PUSH2 0x0d2b 00000d27: PUSH2 0x1d7b 00000d2a: JUMP 00000d2b: JUMPDEST 00000d2c: PUSH2 0x0d34 00000d2f: DUP2 00000d30: PUSH2 0x10c8 00000d33: JUMP 00000d34: JUMPDEST 00000d35: POP 00000d36: JUMP 00000d37: JUMPDEST 00000d38: PUSH1 0x04 00000d3a: DUP1 00000d3b: SLOAD 00000d3c: PUSH1 0x40 00000d3e: DUP1 00000d3f: MLOAD 00000d40: PUSH4 0x8da5cb5b 00000d45: PUSH1 0xe0 00000d47: SHL 00000d48: DUP2 00000d49: MSTORE 00000d4a: SWAP1 00000d4b: MLOAD 00000d4c: PUSH1 0x00 00000d4e: SWAP4 00000d4f: ADDRESS 00000d50: SWAP4 00000d51: PUSH1 0x01 00000d53: PUSH1 0x01 00000d55: PUSH1 0xa0 00000d57: SHL 00000d58: SUB 00000d59: AND 00000d5a: SWAP3 00000d5b: PUSH4 0x8da5cb5b 00000d60: SWAP3 00000d61: DUP2 00000d62: DUP4 00000d63: ADD 00000d64: SWAP3 00000d65: PUSH1 0x20 00000d67: SWAP3 00000d68: DUP3 00000d69: SWAP1 00000d6a: SUB 00000d6b: ADD 00000d6c: DUP2 00000d6d: DUP7 00000d6e: DUP1 00000d6f: EXTCODESIZE 00000d70: ISZERO 00000d71: DUP1 00000d72: ISZERO 00000d73: PUSH2 0x0d7b 00000d76: JUMPI 00000d77: PUSH1 0x00 00000d79: DUP1 00000d7a: REVERT 00000d7b: JUMPDEST 00000d7c: POP 00000d7d: GAS 00000d7e: STATICCALL 00000d7f: ISZERO 00000d80: DUP1 00000d81: ISZERO 00000d82: PUSH2 0x0d8f 00000d85: JUMPI 00000d86: RETURNDATASIZE 00000d87: PUSH1 0x00 00000d89: DUP1 00000d8a: RETURNDATACOPY 00000d8b: RETURNDATASIZE 00000d8c: PUSH1 0x00 00000d8e: REVERT 00000d8f: JUMPDEST 00000d90: POP 00000d91: POP 00000d92: POP 00000d93: POP 00000d94: PUSH1 0x40 00000d96: MLOAD 00000d97: RETURNDATASIZE 00000d98: PUSH1 0x20 00000d9a: DUP2 00000d9b: LT 00000d9c: ISZERO 00000d9d: PUSH2 0x0da5 00000da0: JUMPI 00000da1: PUSH1 0x00 00000da3: DUP1 00000da4: REVERT 00000da5: JUMPDEST 00000da6: POP 00000da7: MLOAD 00000da8: PUSH1 0x01 00000daa: PUSH1 0x01 00000dac: PUSH1 0xa0 00000dae: SHL 00000daf: SUB 00000db0: AND 00000db1: EQ 00000db2: SWAP1 00000db3: POP 00000db4: SWAP1 00000db5: JUMP 00000db6: JUMPDEST 00000db7: PUSH1 0x03 00000db9: SLOAD 00000dba: PUSH1 0x01 00000dbc: PUSH1 0xa0 00000dbe: SHL 00000dbf: SWAP1 00000dc0: DIV 00000dc1: PUSH1 0xff 00000dc3: AND 00000dc4: DUP2 00000dc5: JUMP 00000dc6: JUMPDEST 00000dc7: PUSH2 0x0dce 00000dca: PUSH2 0x1d7b 00000dcd: JUMP 00000dce: JUMPDEST 00000dcf: PUSH2 0x0dd6 00000dd2: PUSH2 0x1512 00000dd5: JUMP 00000dd6: JUMPDEST 00000dd7: JUMP 00000dd8: JUMPDEST 00000dd9: PUSH1 0x00 00000ddb: SWAP1 00000ddc: JUMP 00000ddd: JUMPDEST 00000dde: PUSH1 0x08 00000de0: SLOAD 00000de1: PUSH1 0x01 00000de3: PUSH1 0x60 00000de5: SHL 00000de6: SWAP1 00000de7: DIV 00000de8: PUSH4 0xffffffff 00000ded: AND 00000dee: DUP2 00000def: JUMP 00000df0: JUMPDEST 00000df1: PUSH1 0x00 00000df3: SLOAD 00000df4: PUSH1 0x01 00000df6: PUSH1 0x01 00000df8: PUSH1 0xa0 00000dfa: SHL 00000dfb: SUB 00000dfc: AND 00000dfd: CALLER 00000dfe: EQ 00000dff: DUP1 00000e00: PUSH2 0x0e13 00000e03: JUMPI 00000e04: POP 00000e05: PUSH1 0x03 00000e07: SLOAD 00000e08: PUSH1 0x01 00000e0a: PUSH1 0xa0 00000e0c: SHL 00000e0d: SWAP1 00000e0e: DIV 00000e0f: PUSH1 0xff 00000e11: AND 00000e12: ISZERO 00000e13: JUMPDEST 00000e14: PUSH2 0x0e58 00000e17: JUMPI 00000e18: PUSH1 0x40 00000e1a: DUP1 00000e1b: MLOAD 00000e1c: PUSH3 0x461bcd 00000e20: PUSH1 0xe5 00000e22: SHL 00000e23: DUP2 00000e24: MSTORE 00000e25: PUSH1 0x20 00000e27: PUSH1 0x04 00000e29: DUP3 00000e2a: ADD 00000e2b: MSTORE 00000e2c: PUSH1 0x11 00000e2e: PUSH1 0x24 00000e30: DUP3 00000e31: ADD 00000e32: MSTORE 00000e33: PUSH17 0x11549497d050d0d154d4d7d11153925151 00000e45: PUSH1 0x7a 00000e47: SHL 00000e48: PUSH1 0x44 00000e4a: DUP3 00000e4b: ADD 00000e4c: MSTORE 00000e4d: SWAP1 00000e4e: MLOAD 00000e4f: SWAP1 00000e50: DUP2 00000e51: SWAP1 00000e52: SUB 00000e53: PUSH1 0x64 00000e55: ADD 00000e56: SWAP1 00000e57: REVERT 00000e58: JUMPDEST 00000e59: PUSH1 0x00 00000e5b: PUSH2 0x0e76 00000e5e: PUSH16 0x436f6e74726163745265676973747279 00000e6f: PUSH1 0x80 00000e71: SHL 00000e72: PUSH2 0x1e3b 00000e75: JUMP 00000e76: JUMPDEST 00000e77: PUSH1 0x02 00000e79: SLOAD 00000e7a: SWAP1 00000e7b: SWAP2 00000e7c: POP 00000e7d: PUSH1 0x01 00000e7f: PUSH1 0x01 00000e81: PUSH1 0xa0 00000e83: SHL 00000e84: SUB 00000e85: DUP1 00000e86: DUP4 00000e87: AND 00000e88: SWAP2 00000e89: AND 00000e8a: EQ 00000e8b: DUP1 00000e8c: ISZERO 00000e8d: SWAP1 00000e8e: PUSH2 0x0e9f 00000e91: JUMPI 00000e92: POP 00000e93: PUSH1 0x01 00000e95: PUSH1 0x01 00000e97: PUSH1 0xa0 00000e99: SHL 00000e9a: SUB 00000e9b: DUP2 00000e9c: AND 00000e9d: ISZERO 00000e9e: ISZERO 00000e9f: JUMPDEST 00000ea0: PUSH2 0x0ee7 00000ea3: JUMPI 00000ea4: PUSH1 0x40 00000ea6: DUP1 00000ea7: MLOAD 00000ea8: PUSH3 0x461bcd 00000eac: PUSH1 0xe5 00000eae: SHL 00000eaf: DUP2 00000eb0: MSTORE 00000eb1: PUSH1 0x20 00000eb3: PUSH1 0x04 00000eb5: DUP3 00000eb6: ADD 00000eb7: MSTORE 00000eb8: PUSH1 0x14 00000eba: PUSH1 0x24 00000ebc: DUP3 00000ebd: ADD 00000ebe: MSTORE 00000ebf: PUSH20 0x4552525f494e56414c49445f5245474953545259 00000ed4: PUSH1 0x60 00000ed6: SHL 00000ed7: PUSH1 0x44 00000ed9: DUP3 00000eda: ADD 00000edb: MSTORE 00000edc: SWAP1 00000edd: MLOAD 00000ede: SWAP1 00000edf: DUP2 00000ee0: SWAP1 00000ee1: SUB 00000ee2: PUSH1 0x64 00000ee4: ADD 00000ee5: SWAP1 00000ee6: REVERT 00000ee7: JUMPDEST 00000ee8: PUSH1 0x00 00000eea: PUSH1 0x01 00000eec: PUSH1 0x01 00000eee: PUSH1 0xa0 00000ef0: SHL 00000ef1: SUB 00000ef2: AND 00000ef3: DUP2 00000ef4: PUSH1 0x01 00000ef6: PUSH1 0x01 00000ef8: PUSH1 0xa0 00000efa: SHL 00000efb: SUB 00000efc: AND 00000efd: PUSH4 0xbb34534c 00000f02: PUSH16 0x436f6e74726163745265676973747279 00000f13: PUSH1 0x80 00000f15: SHL 00000f16: PUSH1 0x40 00000f18: MLOAD 00000f19: DUP3 00000f1a: PUSH4 0xffffffff 00000f1f: AND 00000f20: PUSH1 0xe0 00000f22: SHL 00000f23: DUP2 00000f24: MSTORE 00000f25: PUSH1 0x04 00000f27: ADD 00000f28: DUP1 00000f29: DUP3 00000f2a: DUP2 00000f2b: MSTORE 00000f2c: PUSH1 0x20 00000f2e: ADD 00000f2f: SWAP2 00000f30: POP 00000f31: POP 00000f32: PUSH1 0x20 00000f34: PUSH1 0x40 00000f36: MLOAD 00000f37: DUP1 00000f38: DUP4 00000f39: SUB 00000f3a: DUP2 00000f3b: DUP7 00000f3c: DUP1 00000f3d: EXTCODESIZE 00000f3e: ISZERO 00000f3f: DUP1 00000f40: ISZERO 00000f41: PUSH2 0x0f49 00000f44: JUMPI 00000f45: PUSH1 0x00 00000f47: DUP1 00000f48: REVERT 00000f49: JUMPDEST 00000f4a: POP 00000f4b: GAS 00000f4c: STATICCALL 00000f4d: ISZERO 00000f4e: DUP1 00000f4f: ISZERO 00000f50: PUSH2 0x0f5d 00000f53: JUMPI 00000f54: RETURNDATASIZE 00000f55: PUSH1 0x00 00000f57: DUP1 00000f58: RETURNDATACOPY 00000f59: RETURNDATASIZE 00000f5a: PUSH1 0x00 00000f5c: REVERT 00000f5d: JUMPDEST 00000f5e: POP 00000f5f: POP 00000f60: POP 00000f61: POP 00000f62: PUSH1 0x40 00000f64: MLOAD 00000f65: RETURNDATASIZE 00000f66: PUSH1 0x20 00000f68: DUP2 00000f69: LT 00000f6a: ISZERO 00000f6b: PUSH2 0x0f73 00000f6e: JUMPI 00000f6f: PUSH1 0x00 00000f71: DUP1 00000f72: REVERT 00000f73: JUMPDEST 00000f74: POP 00000f75: MLOAD 00000f76: PUSH1 0x01 00000f78: PUSH1 0x01 00000f7a: PUSH1 0xa0 00000f7c: SHL 00000f7d: SUB 00000f7e: AND 00000f7f: EQ 00000f80: ISZERO 00000f81: PUSH2 0x0fc8 00000f84: JUMPI 00000f85: PUSH1 0x40 00000f87: DUP1 00000f88: MLOAD 00000f89: PUSH3 0x461bcd 00000f8d: PUSH1 0xe5 00000f8f: SHL 00000f90: DUP2 00000f91: MSTORE 00000f92: PUSH1 0x20 00000f94: PUSH1 0x04 00000f96: DUP3 00000f97: ADD 00000f98: MSTORE 00000f99: PUSH1 0x14 00000f9b: PUSH1 0x24 00000f9d: DUP3 00000f9e: ADD 00000f9f: MSTORE 00000fa0: PUSH20 0x4552525f494e56414c49445f5245474953545259 00000fb5: PUSH1 0x60 00000fb7: SHL 00000fb8: PUSH1 0x44 00000fba: DUP3 00000fbb: ADD 00000fbc: MSTORE 00000fbd: SWAP1 00000fbe: MLOAD 00000fbf: SWAP1 00000fc0: DUP2 00000fc1: SWAP1 00000fc2: SUB 00000fc3: PUSH1 0x64 00000fc5: ADD 00000fc6: SWAP1 00000fc7: REVERT 00000fc8: JUMPDEST 00000fc9: PUSH1 0x02 00000fcb: DUP1 00000fcc: SLOAD 00000fcd: PUSH1 0x03 00000fcf: DUP1 00000fd0: SLOAD 00000fd1: PUSH1 0x01 00000fd3: PUSH1 0x01 00000fd5: PUSH1 0xa0 00000fd7: SHL 00000fd8: SUB 00000fd9: DUP1 00000fda: DUP5 00000fdb: AND 00000fdc: PUSH1 0x01 00000fde: PUSH1 0x01 00000fe0: PUSH1 0xa0 00000fe2: SHL 00000fe3: SUB 00000fe4: NOT 00000fe5: SWAP3 00000fe6: DUP4 00000fe7: AND 00000fe8: OR 00000fe9: SWAP1 00000fea: SWAP3 00000feb: SSTORE 00000fec: SWAP1 00000fed: SWAP2 00000fee: AND 00000fef: SWAP3 00000ff0: AND 00000ff1: SWAP2 00000ff2: SWAP1 00000ff3: SWAP2 00000ff4: OR 00000ff5: SWAP1 00000ff6: SSTORE 00000ff7: JUMP 00000ff8: JUMPDEST 00000ff9: PUSH2 0x1000 00000ffc: PUSH2 0x1d7b 00000fff: JUMP 00001000: JUMPDEST 00001001: DUP1 00001002: PUSH2 0x100a 00001005: DUP2 00001006: PUSH2 0x1eb9 00001009: JUMP 0000100a: JUMPDEST 0000100b: POP 0000100c: PUSH1 0x05 0000100e: DUP1 0000100f: SLOAD 00001010: PUSH1 0x01 00001012: PUSH1 0x01 00001014: PUSH1 0xa0 00001016: SHL 00001017: SUB 00001018: NOT 00001019: AND 0000101a: PUSH1 0x01 0000101c: PUSH1 0x01 0000101e: PUSH1 0xa0 00001020: SHL 00001021: SUB 00001022: SWAP3 00001023: SWAP1 00001024: SWAP3 00001025: AND 00001026: SWAP2 00001027: SWAP1 00001028: SWAP2 00001029: OR 0000102a: SWAP1 0000102b: SSTORE 0000102c: JUMP 0000102d: JUMPDEST 0000102e: PUSH1 0x28 00001030: DUP2 00001031: JUMP 00001032: JUMPDEST 00001033: PUSH1 0x08 00001035: SLOAD 00001036: PUSH1 0x01 00001038: PUSH1 0x40 0000103a: SHL 0000103b: SWAP1 0000103c: DIV 0000103d: PUSH4 0xffffffff 00001042: AND 00001043: DUP2 00001044: JUMP 00001045: JUMPDEST 00001046: PUSH2 0x104d 00001049: PUSH2 0x1f0d 0000104c: JUMP 0000104d: JUMPDEST 0000104e: PUSH1 0x03 00001050: DUP1 00001051: SLOAD 00001052: PUSH1 0xff 00001054: PUSH1 0xa8 00001056: SHL 00001057: NOT 00001058: AND 00001059: PUSH1 0x01 0000105b: PUSH1 0xa8 0000105d: SHL 0000105e: OR 0000105f: SWAP1 00001060: SSTORE 00001061: PUSH2 0x1068 00001064: PUSH2 0x1d7b 00001067: JUMP 00001068: JUMPDEST 00001069: PUSH2 0x1073 0000106c: DUP4 0000106d: DUP4 0000106e: DUP4 0000106f: PUSH2 0x1f5d 00001072: JUMP 00001073: JUMPDEST 00001074: PUSH1 0x01 00001076: PUSH1 0x01 00001078: PUSH1 0xa0 0000107a: SHL 0000107b: SUB 0000107c: DUP4 0000107d: AND 0000107e: PUSH1 0x00 00001080: SWAP1 00001081: DUP2 00001082: MSTORE 00001083: PUSH1 0x07 00001085: PUSH1 0x20 00001087: MSTORE 00001088: PUSH1 0x40 0000108a: SWAP1 0000108b: KECCAK256 0000108c: PUSH1 0x01 0000108e: ADD 0000108f: SLOAD 00001090: PUSH1 0x01 00001092: PUSH1 0x30 00001094: SHL 00001095: SWAP1 00001096: DIV 00001097: PUSH1 0xff 00001099: AND 0000109a: ISZERO 0000109b: PUSH2 0x10a7 0000109e: JUMPI 0000109f: PUSH2 0x10a7 000010a2: DUP4 000010a3: PUSH2 0x1f96 000010a6: JUMP 000010a7: JUMPDEST 000010a8: POP 000010a9: POP 000010aa: PUSH1 0x03 000010ac: DUP1 000010ad: SLOAD 000010ae: PUSH1 0xff 000010b0: PUSH1 0xa8 000010b2: SHL 000010b3: NOT 000010b4: AND 000010b5: SWAP1 000010b6: SSTORE 000010b7: POP 000010b8: JUMP 000010b9: JUMPDEST 000010ba: PUSH1 0x03 000010bc: SLOAD 000010bd: PUSH1 0x01 000010bf: PUSH1 0x01 000010c1: PUSH1 0xa0 000010c3: SHL 000010c4: SUB 000010c5: AND 000010c6: DUP2 000010c7: JUMP 000010c8: JUMPDEST 000010c9: PUSH2 0x10d0 000010cc: PUSH2 0x1d7b 000010cf: JUMP 000010d0: JUMPDEST 000010d1: PUSH1 0x04 000010d3: PUSH1 0x00 000010d5: SWAP1 000010d6: SLOAD 000010d7: SWAP1 000010d8: PUSH2 0x0100 000010db: EXP 000010dc: SWAP1 000010dd: DIV 000010de: PUSH1 0x01 000010e0: PUSH1 0x01 000010e2: PUSH1 0xa0 000010e4: SHL 000010e5: SUB 000010e6: AND 000010e7: PUSH1 0x01 000010e9: PUSH1 0x01 000010eb: PUSH1 0xa0 000010ed: SHL 000010ee: SUB 000010ef: AND 000010f0: PUSH4 0xf2fde38b 000010f5: DUP3 000010f6: PUSH1 0x40 000010f8: MLOAD 000010f9: DUP3 000010fa: PUSH4 0xffffffff 000010ff: AND 00001100: PUSH1 0xe0 00001102: SHL 00001103: DUP2 00001104: MSTORE 00001105: PUSH1 0x04 00001107: ADD 00001108: DUP1 00001109: DUP3 0000110a: PUSH1 0x01 0000110c: PUSH1 0x01 0000110e: PUSH1 0xa0 00001110: SHL 00001111: SUB 00001112: AND 00001113: DUP2 00001114: MSTORE 00001115: PUSH1 0x20 00001117: ADD 00001118: SWAP2 00001119: POP 0000111a: POP 0000111b: PUSH1 0x00 0000111d: PUSH1 0x40 0000111f: MLOAD 00001120: DUP1 00001121: DUP4 00001122: SUB 00001123: DUP2 00001124: PUSH1 0x00 00001126: DUP8 00001127: DUP1 00001128: EXTCODESIZE 00001129: ISZERO 0000112a: DUP1 0000112b: ISZERO 0000112c: PUSH2 0x1134 0000112f: JUMPI 00001130: PUSH1 0x00 00001132: DUP1 00001133: REVERT 00001134: JUMPDEST 00001135: POP 00001136: GAS 00001137: CALL 00001138: ISZERO 00001139: DUP1 0000113a: ISZERO 0000113b: PUSH2 0x1148 0000113e: JUMPI 0000113f: RETURNDATASIZE 00001140: PUSH1 0x00 00001142: DUP1 00001143: RETURNDATACOPY 00001144: RETURNDATASIZE 00001145: PUSH1 0x00 00001147: REVERT 00001148: JUMPDEST 00001149: POP 0000114a: POP 0000114b: POP 0000114c: POP 0000114d: POP 0000114e: JUMP 0000114f: JUMPDEST 00001150: PUSH2 0x1157 00001153: PUSH2 0x1f0d 00001156: JUMP 00001157: JUMPDEST 00001158: PUSH1 0x03 0000115a: DUP1 0000115b: SLOAD 0000115c: PUSH1 0xff 0000115e: PUSH1 0xa8 00001160: SHL 00001161: NOT 00001162: AND 00001163: PUSH1 0x01 00001165: PUSH1 0xa8 00001167: SHL 00001168: OR 00001169: SWAP1 0000116a: SSTORE 0000116b: PUSH2 0x1172 0000116e: PUSH2 0x1d7b 00001171: JUMP 00001172: JUMPDEST 00001173: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00001188: PUSH2 0x1190 0000118b: DUP2 0000118c: PUSH2 0x1dce 0000118f: JUMP 00001190: JUMPDEST 00001191: PUSH1 0x40 00001193: MLOAD 00001194: PUSH1 0x01 00001196: PUSH1 0x01 00001198: PUSH1 0xa0 0000119a: SHL 0000119b: SUB 0000119c: DUP4 0000119d: AND 0000119e: SWAP1 0000119f: SELFBALANCE 000011a0: DUP1 000011a1: ISZERO 000011a2: PUSH2 0x08fc 000011a5: MUL 000011a6: SWAP2 000011a7: PUSH1 0x00 000011a9: DUP2 000011aa: DUP2 000011ab: DUP2 000011ac: DUP6 000011ad: DUP9 000011ae: DUP9 000011af: CALL 000011b0: SWAP4 000011b1: POP 000011b2: POP 000011b3: POP 000011b4: POP 000011b5: ISZERO 000011b6: DUP1 000011b7: ISZERO 000011b8: PUSH2 0x11c5 000011bb: JUMPI 000011bc: RETURNDATASIZE 000011bd: PUSH1 0x00 000011bf: DUP1 000011c0: RETURNDATACOPY 000011c1: RETURNDATASIZE 000011c2: PUSH1 0x00 000011c4: REVERT 000011c5: JUMPDEST 000011c6: POP 000011c7: PUSH2 0x11e3 000011ca: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 000011df: PUSH2 0x1f96 000011e2: JUMP 000011e3: JUMPDEST 000011e4: POP 000011e5: POP 000011e6: PUSH1 0x03 000011e8: DUP1 000011e9: SLOAD 000011ea: PUSH1 0xff 000011ec: PUSH1 0xa8 000011ee: SHL 000011ef: NOT 000011f0: AND 000011f1: SWAP1 000011f2: SSTORE 000011f3: JUMP 000011f4: JUMPDEST 000011f5: PUSH2 0x11fc 000011f8: PUSH2 0x1d7b 000011fb: JUMP 000011fc: JUMPDEST 000011fd: PUSH2 0x1204 00001200: PUSH2 0x1362 00001203: JUMP 00001204: JUMPDEST 00001205: PUSH2 0xffff 00001208: AND 00001209: ISZERO 0000120a: PUSH2 0x1256 0000120d: JUMPI 0000120e: PUSH1 0x40 00001210: DUP1 00001211: MLOAD 00001212: PUSH3 0x461bcd 00001216: PUSH1 0xe5 00001218: SHL 00001219: DUP2 0000121a: MSTORE 0000121b: PUSH1 0x20 0000121d: PUSH1 0x04 0000121f: DUP3 00001220: ADD 00001221: MSTORE 00001222: PUSH1 0x19 00001224: PUSH1 0x24 00001226: DUP3 00001227: ADD 00001228: MSTORE 00001229: PUSH25 0x11549497d253959053125117d49154d154959157d0d3d55395 00001243: PUSH1 0x3a 00001245: SHL 00001246: PUSH1 0x44 00001248: DUP3 00001249: ADD 0000124a: MSTORE 0000124b: SWAP1 0000124c: MLOAD 0000124d: SWAP1 0000124e: DUP2 0000124f: SWAP1 00001250: SUB 00001251: PUSH1 0x64 00001253: ADD 00001254: SWAP1 00001255: REVERT 00001256: JUMPDEST 00001257: PUSH2 0x1260 0000125a: DUP3 0000125b: DUP3 0000125c: PUSH2 0x2074 0000125f: JUMP 00001260: JUMPDEST 00001261: POP 00001262: POP 00001263: JUMP 00001264: JUMPDEST 00001265: PUSH1 0x09 00001267: SLOAD 00001268: DUP2 00001269: JUMP 0000126a: JUMPDEST 0000126b: PUSH1 0x00 0000126d: PUSH2 0x1274 00001270: PUSH2 0x1362 00001273: JUMP 00001274: JUMPDEST 00001275: SWAP1 00001276: POP 00001277: SWAP1 00001278: JUMP 00001279: JUMPDEST 0000127a: PUSH1 0x01 0000127c: SLOAD 0000127d: PUSH1 0x01 0000127f: PUSH1 0x01 00001281: PUSH1 0xa0 00001283: SHL 00001284: SUB 00001285: AND 00001286: CALLER 00001287: EQ 00001288: PUSH2 0x12cc 0000128b: JUMPI 0000128c: PUSH1 0x40 0000128e: DUP1 0000128f: MLOAD 00001290: PUSH3 0x461bcd 00001294: PUSH1 0xe5 00001296: SHL 00001297: DUP2 00001298: MSTORE 00001299: PUSH1 0x20 0000129b: PUSH1 0x04 0000129d: DUP3 0000129e: ADD 0000129f: MSTORE 000012a0: PUSH1 0x11 000012a2: PUSH1 0x24 000012a4: DUP3 000012a5: ADD 000012a6: MSTORE 000012a7: PUSH17 0x11549497d050d0d154d4d7d11153925151 000012b9: PUSH1 0x7a 000012bb: SHL 000012bc: PUSH1 0x44 000012be: DUP3 000012bf: ADD 000012c0: MSTORE 000012c1: SWAP1 000012c2: MLOAD 000012c3: SWAP1 000012c4: DUP2 000012c5: SWAP1 000012c6: SUB 000012c7: PUSH1 0x64 000012c9: ADD 000012ca: SWAP1 000012cb: REVERT 000012cc: JUMPDEST 000012cd: PUSH1 0x01 000012cf: SLOAD 000012d0: PUSH1 0x00 000012d2: DUP1 000012d3: SLOAD 000012d4: PUSH1 0x40 000012d6: MLOAD 000012d7: PUSH1 0x01 000012d9: PUSH1 0x01 000012db: PUSH1 0xa0 000012dd: SHL 000012de: SUB 000012df: SWAP4 000012e0: DUP5 000012e1: AND 000012e2: SWAP4 000012e3: SWAP1 000012e4: SWAP2 000012e5: AND 000012e6: SWAP2 000012e7: PUSH32 0x343765429aea5a34b3ff6a3785a98a5abb2597aca87bfbb58632c173d585373a 00001308: SWAP2 00001309: LOG3 0000130a: PUSH1 0x01 0000130c: DUP1 0000130d: SLOAD 0000130e: PUSH1 0x00 00001310: DUP1 00001311: SLOAD 00001312: PUSH1 0x01 00001314: PUSH1 0x01 00001316: PUSH1 0xa0 00001318: SHL 00001319: SUB 0000131a: NOT 0000131b: SWAP1 0000131c: DUP2 0000131d: AND 0000131e: PUSH1 0x01 00001320: PUSH1 0x01 00001322: PUSH1 0xa0 00001324: SHL 00001325: SUB 00001326: DUP5 00001327: AND 00001328: OR 00001329: SWAP1 0000132a: SWAP2 0000132b: SSTORE 0000132c: AND 0000132d: SWAP1 0000132e: SSTORE 0000132f: JUMP 00001330: JUMPDEST 00001331: PUSH1 0x02 00001333: SLOAD 00001334: PUSH1 0x01 00001336: PUSH1 0x01 00001338: PUSH1 0xa0 0000133a: SHL 0000133b: SUB 0000133c: AND 0000133d: DUP2 0000133e: JUMP 0000133f: JUMPDEST 00001340: PUSH1 0x00 00001342: SLOAD 00001343: PUSH1 0x01 00001345: PUSH1 0x01 00001347: PUSH1 0xa0 00001349: SHL 0000134a: SUB 0000134b: AND 0000134c: DUP2 0000134d: JUMP 0000134e: JUMPDEST 0000134f: PUSH1 0x08 00001351: SLOAD 00001352: PUSH5 0x0100000000 00001358: SWAP1 00001359: DIV 0000135a: PUSH4 0xffffffff 0000135f: AND 00001360: DUP2 00001361: JUMP 00001362: JUMPDEST 00001363: PUSH1 0x06 00001365: SLOAD 00001366: SWAP1 00001367: JUMP 00001368: JUMPDEST 00001369: PUSH2 0x1370 0000136c: PUSH2 0x1d7b 0000136f: JUMP 00001370: JUMPDEST 00001371: PUSH2 0x1378 00001374: PUSH2 0x2293 00001377: JUMP 00001378: JUMPDEST 00001379: PUSH1 0x08 0000137b: DUP1 0000137c: SLOAD 0000137d: PUSH4 0xffffffff 00001382: SWAP1 00001383: SWAP3 00001384: AND 00001385: PUSH1 0x01 00001387: PUSH1 0x80 00001389: SHL 0000138a: MUL 0000138b: PUSH4 0xffffffff 00001390: PUSH1 0x80 00001392: SHL 00001393: NOT 00001394: SWAP1 00001395: SWAP3 00001396: AND 00001397: SWAP2 00001398: SWAP1 00001399: SWAP2 0000139a: OR 0000139b: SWAP1 0000139c: SSTORE 0000139d: JUMP 0000139e: JUMPDEST 0000139f: PUSH1 0x04 000013a1: SLOAD 000013a2: PUSH1 0x00 000013a4: SWAP1 000013a5: DUP2 000013a6: SWAP1 000013a7: PUSH1 0x01 000013a9: PUSH1 0x01 000013ab: PUSH1 0xa0 000013ad: SHL 000013ae: SUB 000013af: DUP6 000013b0: DUP2 000013b1: AND 000013b2: SWAP2 000013b3: AND 000013b4: EQ 000013b5: DUP1 000013b6: ISZERO 000013b7: PUSH2 0x13e2 000013ba: JUMPI 000013bb: POP 000013bc: PUSH1 0x01 000013be: PUSH1 0x01 000013c0: PUSH1 0xa0 000013c2: SHL 000013c3: SUB 000013c4: DUP6 000013c5: AND 000013c6: PUSH1 0x00 000013c8: SWAP1 000013c9: DUP2 000013ca: MSTORE 000013cb: PUSH1 0x07 000013cd: PUSH1 0x20 000013cf: MSTORE 000013d0: PUSH1 0x40 000013d2: SWAP1 000013d3: KECCAK256 000013d4: PUSH1 0x01 000013d6: ADD 000013d7: SLOAD 000013d8: PUSH1 0x01 000013da: PUSH1 0x30 000013dc: SHL 000013dd: SWAP1 000013de: DIV 000013df: PUSH1 0xff 000013e1: AND 000013e2: JUMPDEST 000013e3: ISZERO 000013e4: PUSH2 0x13f9 000013e7: JUMPI 000013e8: PUSH2 0x13f0 000013eb: DUP4 000013ec: PUSH2 0x22da 000013ef: JUMP 000013f0: JUMPDEST 000013f1: SWAP2 000013f2: POP 000013f3: SWAP2 000013f4: POP 000013f5: PUSH2 0x0d1b 000013f8: JUMP 000013f9: JUMPDEST 000013fa: PUSH1 0x04 000013fc: SLOAD 000013fd: PUSH1 0x01 000013ff: PUSH1 0x01 00001401: PUSH1 0xa0 00001403: SHL 00001404: SUB 00001405: DUP7 00001406: DUP2 00001407: AND 00001408: SWAP2 00001409: AND 0000140a: EQ 0000140b: DUP1 0000140c: ISZERO 0000140d: PUSH2 0x1438 00001410: JUMPI 00001411: POP 00001412: PUSH1 0x01 00001414: PUSH1 0x01 00001416: PUSH1 0xa0 00001418: SHL 00001419: SUB 0000141a: DUP5 0000141b: AND 0000141c: PUSH1 0x00 0000141e: SWAP1 0000141f: DUP2 00001420: MSTORE 00001421: PUSH1 0x07 00001423: PUSH1 0x20 00001425: MSTORE 00001426: PUSH1 0x40 00001428: SWAP1 00001429: KECCAK256 0000142a: PUSH1 0x01 0000142c: ADD 0000142d: SLOAD 0000142e: PUSH1 0x01 00001430: PUSH1 0x30 00001432: SHL 00001433: SWAP1 00001434: DIV 00001435: PUSH1 0xff 00001437: AND 00001438: JUMPDEST 00001439: ISZERO 0000143a: PUSH2 0x1446 0000143d: JUMPI 0000143e: PUSH2 0x13f0 00001441: DUP4 00001442: PUSH2 0x24c6 00001445: JUMP 00001446: JUMPDEST 00001447: PUSH1 0x40 00001449: DUP1 0000144a: MLOAD 0000144b: PUSH3 0x461bcd 0000144f: PUSH1 0xe5 00001451: SHL 00001452: DUP2 00001453: MSTORE 00001454: PUSH1 0x20 00001456: PUSH1 0x04 00001458: DUP3 00001459: ADD 0000145a: MSTORE 0000145b: PUSH1 0x11 0000145d: PUSH1 0x24 0000145f: DUP3 00001460: ADD 00001461: MSTORE 00001462: PUSH17 0x22a9292fa4a72b20a624a22faa27a5a2a7 00001474: PUSH1 0x79 00001476: SHL 00001477: PUSH1 0x44 00001479: DUP3 0000147a: ADD 0000147b: MSTORE 0000147c: SWAP1 0000147d: MLOAD 0000147e: SWAP1 0000147f: DUP2 00001480: SWAP1 00001481: SUB 00001482: PUSH1 0x64 00001484: ADD 00001485: SWAP1 00001486: REVERT 00001487: JUMPDEST 00001488: PUSH2 0x148f 0000148b: PUSH2 0x1d7b 0000148e: JUMP 0000148f: JUMPDEST 00001490: PUSH1 0x03 00001492: SLOAD 00001493: PUSH1 0x02 00001495: DUP1 00001496: SLOAD 00001497: PUSH1 0x01 00001499: PUSH1 0x01 0000149b: PUSH1 0xa0 0000149d: SHL 0000149e: SUB 0000149f: NOT 000014a0: AND 000014a1: PUSH1 0x01 000014a3: PUSH1 0x01 000014a5: PUSH1 0xa0 000014a7: SHL 000014a8: SUB 000014a9: SWAP1 000014aa: SWAP3 000014ab: AND 000014ac: SWAP2 000014ad: SWAP1 000014ae: SWAP2 000014af: OR 000014b0: SWAP1 000014b1: SSTORE 000014b2: JUMP 000014b3: JUMPDEST 000014b4: PUSH1 0x01 000014b6: DUP2 000014b7: JUMP 000014b8: JUMPDEST 000014b9: PUSH2 0x14c0 000014bc: PUSH2 0x1d7b 000014bf: JUMP 000014c0: JUMPDEST 000014c1: PUSH2 0x14c8 000014c4: PUSH2 0x2293 000014c7: JUMP 000014c8: JUMPDEST 000014c9: PUSH1 0x08 000014cb: DUP1 000014cc: SLOAD 000014cd: PUSH4 0xffffffff 000014d2: SWAP1 000014d3: SWAP3 000014d4: AND 000014d5: PUSH1 0x01 000014d7: PUSH1 0x60 000014d9: SHL 000014da: MUL 000014db: PUSH4 0xffffffff 000014e0: PUSH1 0x60 000014e2: SHL 000014e3: NOT 000014e4: SWAP1 000014e5: SWAP3 000014e6: AND 000014e7: SWAP2 000014e8: SWAP1 000014e9: SWAP2 000014ea: OR 000014eb: SWAP1 000014ec: SSTORE 000014ed: JUMP 000014ee: JUMPDEST 000014ef: PUSH1 0x05 000014f1: SLOAD 000014f2: PUSH1 0x01 000014f4: PUSH1 0x01 000014f6: PUSH1 0xa0 000014f8: SHL 000014f9: SUB 000014fa: AND 000014fb: DUP2 000014fc: JUMP 000014fd: JUMPDEST 000014fe: PUSH2 0x1505 00001501: PUSH2 0x1d7b 00001504: JUMP 00001505: JUMPDEST 00001506: PUSH2 0x150d 00001509: PUSH2 0x2293 0000150c: JUMP 0000150d: JUMPDEST 0000150e: PUSH1 0x09 00001510: SSTORE 00001511: JUMP 00001512: JUMPDEST 00001513: PUSH2 0x151a 00001516: PUSH2 0x1d7b 00001519: JUMP 0000151a: JUMPDEST 0000151b: PUSH2 0x1522 0000151e: PUSH2 0x25ba 00001521: JUMP 00001522: JUMPDEST 00001523: PUSH1 0x04 00001525: SLOAD 00001526: PUSH1 0x01 00001528: SWAP1 00001529: PUSH1 0x01 0000152b: PUSH1 0x01 0000152d: PUSH1 0xa0 0000152f: SHL 00001530: SUB 00001531: AND 00001532: PUSH2 0x1539 00001535: PUSH2 0x0dd8 00001538: JUMP 00001539: JUMPDEST 0000153a: PUSH2 0xffff 0000153d: AND 0000153e: PUSH32 0x6b08c2e2c9969e55a647a764db9b554d64dc42f1a704da11a6d5b129ad163f2c 0000155f: PUSH1 0x40 00001561: MLOAD 00001562: PUSH1 0x40 00001564: MLOAD 00001565: DUP1 00001566: SWAP2 00001567: SUB 00001568: SWAP1 00001569: LOG4 0000156a: JUMP 0000156b: JUMPDEST 0000156c: PUSH1 0x06 0000156e: DUP2 0000156f: DUP2 00001570: SLOAD 00001571: DUP2 00001572: LT 00001573: PUSH2 0x1578 00001576: JUMPI 00001577: INVALID 00001578: JUMPDEST 00001579: PUSH1 0x00 0000157b: SWAP2 0000157c: DUP3 0000157d: MSTORE 0000157e: PUSH1 0x20 00001580: SWAP1 00001581: SWAP2 00001582: KECCAK256 00001583: ADD 00001584: SLOAD 00001585: PUSH1 0x01 00001587: PUSH1 0x01 00001589: PUSH1 0xa0 0000158b: SHL 0000158c: SUB 0000158d: AND 0000158e: SWAP1 0000158f: POP 00001590: DUP2 00001591: JUMP 00001592: JUMPDEST 00001593: PUSH1 0x01 00001595: PUSH1 0x01 00001597: PUSH1 0xa0 00001599: SHL 0000159a: SUB 0000159b: DUP2 0000159c: AND 0000159d: PUSH1 0x00 0000159f: SWAP1 000015a0: DUP2 000015a1: MSTORE 000015a2: PUSH1 0x07 000015a4: PUSH1 0x20 000015a6: MSTORE 000015a7: PUSH1 0x40 000015a9: DUP2 000015aa: KECCAK256 000015ab: PUSH1 0x01 000015ad: DUP2 000015ae: ADD 000015af: SLOAD 000015b0: PUSH2 0x15d5 000015b3: SWAP1 000015b4: PUSH4 0xffffffff 000015b9: AND 000015ba: PUSH2 0x15cf 000015bd: PUSH3 0x0f4240 000015c1: PUSH2 0x15c9 000015c4: DUP8 000015c5: PUSH2 0x19ba 000015c8: JUMP 000015c9: JUMPDEST 000015ca: SWAP1 000015cb: PUSH2 0x2681 000015ce: JUMP 000015cf: JUMPDEST 000015d0: SWAP1 000015d1: PUSH2 0x26df 000015d4: JUMP 000015d5: JUMPDEST 000015d6: SWAP4 000015d7: SWAP3 000015d8: POP 000015d9: POP 000015da: POP 000015db: JUMP 000015dc: JUMPDEST 000015dd: PUSH1 0x01 000015df: SWAP1 000015e0: JUMP 000015e1: JUMPDEST 000015e2: PUSH1 0x04 000015e4: SLOAD 000015e5: PUSH1 0x01 000015e7: PUSH1 0x01 000015e9: PUSH1 0xa0 000015eb: SHL 000015ec: SUB 000015ed: AND 000015ee: DUP2 000015ef: JUMP 000015f0: JUMPDEST 000015f1: PUSH1 0x01 000015f3: SLOAD 000015f4: PUSH1 0x01 000015f6: PUSH1 0x01 000015f8: PUSH1 0xa0 000015fa: SHL 000015fb: SUB 000015fc: AND 000015fd: DUP2 000015fe: JUMP 000015ff: JUMPDEST 00001600: PUSH2 0x1607 00001603: PUSH2 0x1d7b 00001606: JUMP 00001607: JUMPDEST 00001608: PUSH1 0x00 0000160a: PUSH2 0x1632 0000160d: PUSH32 0x42616e636f72436f6e7665727465725570677261646572000000000000000000 0000162e: PUSH2 0x1e3b 00001631: JUMP 00001632: JUMPDEST 00001633: PUSH1 0x04 00001635: SLOAD 00001636: SWAP1 00001637: SWAP2 00001638: POP 00001639: PUSH1 0x00 0000163b: SWAP1 0000163c: PUSH1 0x01 0000163e: PUSH1 0x01 00001640: PUSH1 0xa0 00001642: SHL 00001643: SUB 00001644: AND 00001645: PUSH2 0x164c 00001648: PUSH2 0x0dd8 0000164b: JUMP 0000164c: JUMPDEST 0000164d: PUSH2 0xffff 00001650: AND 00001651: PUSH32 0x6b08c2e2c9969e55a647a764db9b554d64dc42f1a704da11a6d5b129ad163f2c 00001672: PUSH1 0x40 00001674: MLOAD 00001675: PUSH1 0x40 00001677: MLOAD 00001678: DUP1 00001679: SWAP2 0000167a: SUB 0000167b: SWAP1 0000167c: LOG4 0000167d: PUSH2 0x1685 00001680: DUP2 00001681: PUSH2 0x1cdb 00001684: JUMP 00001685: JUMPDEST 00001686: PUSH1 0x40 00001688: DUP1 00001689: MLOAD 0000168a: PUSH4 0x487ac64b 0000168f: PUSH1 0xe1 00001691: SHL 00001692: DUP2 00001693: MSTORE 00001694: PUSH1 0x28 00001696: PUSH1 0x04 00001698: DUP3 00001699: ADD 0000169a: MSTORE 0000169b: SWAP1 0000169c: MLOAD 0000169d: PUSH1 0x01 0000169f: PUSH1 0x01 000016a1: PUSH1 0xa0 000016a3: SHL 000016a4: SUB 000016a5: DUP4 000016a6: AND 000016a7: SWAP2 000016a8: PUSH4 0x90f58c96 000016ad: SWAP2 000016ae: PUSH1 0x24 000016b0: DUP1 000016b1: DUP4 000016b2: ADD 000016b3: SWAP3 000016b4: PUSH1 0x00 000016b6: SWAP3 000016b7: SWAP2 000016b8: SWAP1 000016b9: DUP3 000016ba: SWAP1 000016bb: SUB 000016bc: ADD 000016bd: DUP2 000016be: DUP4 000016bf: DUP8 000016c0: DUP1 000016c1: EXTCODESIZE 000016c2: ISZERO 000016c3: DUP1 000016c4: ISZERO 000016c5: PUSH2 0x16cd 000016c8: JUMPI 000016c9: PUSH1 0x00 000016cb: DUP1 000016cc: REVERT 000016cd: JUMPDEST 000016ce: POP 000016cf: GAS 000016d0: CALL 000016d1: ISZERO 000016d2: DUP1 000016d3: ISZERO 000016d4: PUSH2 0x16e1 000016d7: JUMPI 000016d8: RETURNDATASIZE 000016d9: PUSH1 0x00 000016db: DUP1 000016dc: RETURNDATACOPY 000016dd: RETURNDATASIZE 000016de: PUSH1 0x00 000016e0: REVERT 000016e1: JUMPDEST 000016e2: POP 000016e3: POP 000016e4: POP 000016e5: POP 000016e6: PUSH2 0x0d34 000016e9: PUSH2 0x1279 000016ec: JUMP 000016ed: JUMPDEST 000016ee: PUSH1 0x07 000016f0: PUSH1 0x20 000016f2: MSTORE 000016f3: PUSH1 0x00 000016f5: SWAP1 000016f6: DUP2 000016f7: MSTORE 000016f8: PUSH1 0x40 000016fa: SWAP1 000016fb: KECCAK256 000016fc: DUP1 000016fd: SLOAD 000016fe: PUSH1 0x01 00001700: SWAP1 00001701: SWAP2 00001702: ADD 00001703: SLOAD 00001704: PUSH4 0xffffffff 00001709: DUP2 0000170a: AND 0000170b: SWAP1 0000170c: PUSH1 0xff 0000170e: PUSH5 0x0100000000 00001714: DUP3 00001715: DIV 00001716: DUP2 00001717: AND 00001718: SWAP2 00001719: PUSH6 0x010000000000 00001720: DUP2 00001721: DIV 00001722: DUP3 00001723: AND 00001724: SWAP2 00001725: PUSH1 0x01 00001727: PUSH1 0x30 00001729: SHL 0000172a: SWAP1 0000172b: SWAP2 0000172c: DIV 0000172d: AND 0000172e: DUP6 0000172f: JUMP 00001730: JUMPDEST 00001731: DUP1 00001732: PUSH2 0x173a 00001735: DUP2 00001736: PUSH2 0x1dce 00001739: JUMP 0000173a: JUMPDEST 0000173b: PUSH2 0x1742 0000173e: PUSH2 0x1d7b 00001741: JUMP 00001742: JUMPDEST 00001743: PUSH1 0x00 00001745: PUSH2 0x174d 00001748: DUP4 00001749: PUSH2 0x1592 0000174c: JUMP 0000174d: JUMPDEST 0000174e: SWAP1 0000174f: POP 00001750: PUSH2 0x1766 00001753: PUSH1 0x09 00001755: SLOAD 00001756: PUSH1 0x0a 00001758: SLOAD 00001759: PUSH2 0x273e 0000175c: SWAP1 0000175d: SWAP2 0000175e: SWAP1 0000175f: PUSH4 0xffffffff 00001764: AND 00001765: JUMP 00001766: JUMPDEST 00001767: DUP2 00001768: GT 00001769: PUSH2 0x17b9 0000176c: JUMPI 0000176d: PUSH1 0x40 0000176f: DUP1 00001770: MLOAD 00001771: PUSH3 0x461bcd 00001775: PUSH1 0xe5 00001777: SHL 00001778: DUP2 00001779: MSTORE 0000177a: PUSH1 0x20 0000177c: PUSH1 0x04 0000177e: DUP3 0000177f: ADD 00001780: MSTORE 00001781: PUSH1 0x1e 00001783: PUSH1 0x24 00001785: DUP3 00001786: ADD 00001787: MSTORE 00001788: PUSH32 0x4552525f4d41524b45545f4341505f42454c4f575f5448524553484f4c440000 000017a9: PUSH1 0x44 000017ab: DUP3 000017ac: ADD 000017ad: MSTORE 000017ae: SWAP1 000017af: MLOAD 000017b0: SWAP1 000017b1: DUP2 000017b2: SWAP1 000017b3: SUB 000017b4: PUSH1 0x64 000017b6: ADD 000017b7: SWAP1 000017b8: REVERT 000017b9: JUMPDEST 000017ba: PUSH1 0x01 000017bc: PUSH1 0x01 000017be: PUSH1 0xa0 000017c0: SHL 000017c1: SUB 000017c2: DUP4 000017c3: AND 000017c4: PUSH1 0x00 000017c6: SWAP1 000017c7: DUP2 000017c8: MSTORE 000017c9: PUSH1 0x07 000017cb: PUSH1 0x20 000017cd: MSTORE 000017ce: PUSH1 0x40 000017d0: DUP2 000017d1: KECCAK256 000017d2: PUSH1 0x08 000017d4: SLOAD 000017d5: PUSH1 0x01 000017d7: DUP3 000017d8: ADD 000017d9: SLOAD 000017da: SWAP2 000017db: SWAP3 000017dc: SWAP2 000017dd: PUSH2 0x17fa 000017e0: SWAP2 000017e1: PUSH4 0xffffffff 000017e6: SWAP2 000017e7: DUP3 000017e8: AND 000017e9: SWAP2 000017ea: PUSH1 0x01 000017ec: PUSH1 0x80 000017ee: SHL 000017ef: SWAP1 000017f0: SWAP2 000017f1: DIV 000017f2: DUP2 000017f3: AND 000017f4: SWAP1 000017f5: PUSH2 0x2787 000017f8: AND 000017f9: JUMP 000017fa: JUMPDEST 000017fb: PUSH1 0x01 000017fd: DUP4 000017fe: ADD 000017ff: SLOAD 00001800: PUSH1 0x08 00001802: SLOAD 00001803: SWAP2 00001804: SWAP3 00001805: POP 00001806: PUSH4 0xffffffff 0000180b: SWAP1 0000180c: DUP2 0000180d: AND 0000180e: SWAP2 0000180f: PUSH1 0x01 00001811: PUSH1 0x60 00001813: SHL 00001814: SWAP1 00001815: DIV 00001816: AND 00001817: DUP3 00001818: LT 00001819: ISZERO 0000181a: PUSH2 0x1867 0000181d: JUMPI 0000181e: PUSH1 0x40 00001820: DUP1 00001821: MLOAD 00001822: PUSH3 0x461bcd 00001826: PUSH1 0xe5 00001828: SHL 00001829: DUP2 0000182a: MSTORE 0000182b: PUSH1 0x20 0000182d: PUSH1 0x04 0000182f: DUP3 00001830: ADD 00001831: MSTORE 00001832: PUSH1 0x1a 00001834: PUSH1 0x24 00001836: DUP3 00001837: ADD 00001838: MSTORE 00001839: PUSH26 0x11549497d253959053125117d49154d154959157d5d15251d215 00001854: PUSH1 0x32 00001856: SHL 00001857: PUSH1 0x44 00001859: DUP3 0000185a: ADD 0000185b: MSTORE 0000185c: SWAP1 0000185d: MLOAD 0000185e: SWAP1 0000185f: DUP2 00001860: SWAP1 00001861: SUB 00001862: PUSH1 0x64 00001864: ADD 00001865: SWAP1 00001866: REVERT 00001867: JUMPDEST 00001868: PUSH1 0x01 0000186a: DUP4 0000186b: ADD 0000186c: SLOAD 0000186d: PUSH1 0x00 0000186f: SWAP1 00001870: PUSH2 0x189b 00001873: SWAP1 00001874: PUSH2 0x1891 00001877: SWAP1 00001878: PUSH4 0xffffffff 0000187d: SWAP1 0000187e: DUP2 0000187f: AND 00001880: SWAP1 00001881: PUSH2 0x15cf 00001884: SWAP1 00001885: DUP8 00001886: SWAP1 00001887: PUSH3 0x0f4240 0000188b: SWAP1 0000188c: PUSH2 0x2681 0000188f: AND 00001890: JUMP 00001891: JUMPDEST 00001892: PUSH3 0x0f4240 00001896: SWAP1 00001897: PUSH2 0x2787 0000189a: JUMP 0000189b: JUMPDEST 0000189c: PUSH1 0x01 0000189e: DUP6 0000189f: ADD 000018a0: DUP1 000018a1: SLOAD 000018a2: PUSH4 0xffffffff 000018a7: DUP7 000018a8: AND 000018a9: PUSH4 0xffffffff 000018ae: NOT 000018af: SWAP2 000018b0: DUP3 000018b1: AND 000018b2: DUP2 000018b3: OR 000018b4: SWAP1 000018b5: SWAP3 000018b6: SSTORE 000018b7: PUSH1 0x08 000018b9: DUP1 000018ba: SLOAD 000018bb: SWAP1 000018bc: SWAP2 000018bd: AND 000018be: SWAP1 000018bf: SWAP2 000018c0: OR 000018c1: SWAP1 000018c2: SSTORE 000018c3: SWAP1 000018c4: POP 000018c5: DUP3 000018c6: PUSH1 0x00 000018c8: PUSH2 0x18db 000018cb: PUSH3 0x0f4240 000018cf: PUSH2 0x15cf 000018d2: DUP6 000018d3: PUSH2 0x15c9 000018d6: DUP14 000018d7: PUSH2 0x19ba 000018da: JUMP 000018db: JUMPDEST 000018dc: SWAP1 000018dd: POP 000018de: PUSH1 0x01 000018e0: PUSH1 0x01 000018e2: PUSH1 0xa0 000018e4: SHL 000018e5: SUB 000018e6: DUP10 000018e7: AND 000018e8: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 000018fd: EQ 000018fe: ISZERO 000018ff: PUSH2 0x1935 00001902: JUMPI 00001903: PUSH1 0x40 00001905: MLOAD 00001906: CALLER 00001907: SWAP1 00001908: DUP3 00001909: ISZERO 0000190a: PUSH2 0x08fc 0000190d: MUL 0000190e: SWAP1 0000190f: DUP4 00001910: SWAP1 00001911: PUSH1 0x00 00001913: DUP2 00001914: DUP2 00001915: DUP2 00001916: DUP6 00001917: DUP9 00001918: DUP9 00001919: CALL 0000191a: SWAP4 0000191b: POP 0000191c: POP 0000191d: POP 0000191e: POP 0000191f: ISZERO 00001920: DUP1 00001921: ISZERO 00001922: PUSH2 0x192f 00001925: JUMPI 00001926: RETURNDATASIZE 00001927: PUSH1 0x00 00001929: DUP1 0000192a: RETURNDATACOPY 0000192b: RETURNDATASIZE 0000192c: PUSH1 0x00 0000192e: REVERT 0000192f: JUMPDEST 00001930: POP 00001931: PUSH2 0x1940 00001934: JUMP 00001935: JUMPDEST 00001936: PUSH2 0x1940 00001939: DUP10 0000193a: CALLER 0000193b: DUP4 0000193c: PUSH2 0x27d4 0000193f: JUMP 00001940: JUMPDEST 00001941: PUSH1 0x0a 00001943: DUP8 00001944: SWAP1 00001945: SSTORE 00001946: PUSH2 0x194e 00001949: DUP10 0000194a: PUSH2 0x1f96 0000194d: JUMP 0000194e: JUMPDEST 0000194f: DUP6 00001950: SLOAD 00001951: PUSH1 0x40 00001953: DUP1 00001954: MLOAD 00001955: PUSH4 0xffffffff 0000195a: DUP1 0000195b: DUP9 0000195c: AND 0000195d: DUP3 0000195e: MSTORE 0000195f: DUP6 00001960: AND 00001961: PUSH1 0x20 00001963: DUP3 00001964: ADD 00001965: MSTORE 00001966: DUP1 00001967: DUP3 00001968: ADD 00001969: DUP7 0000196a: SWAP1 0000196b: MSTORE 0000196c: PUSH1 0x60 0000196e: DUP2 0000196f: ADD 00001970: SWAP3 00001971: SWAP1 00001972: SWAP3 00001973: MSTORE 00001974: MLOAD 00001975: PUSH32 0xdb546a099d5772cc83680ebd46cf464225ffd886eda63ba6c11095aa1422f75d 00001996: SWAP2 00001997: DUP2 00001998: SWAP1 00001999: SUB 0000199a: PUSH1 0x80 0000199c: ADD 0000199d: SWAP1 0000199e: LOG1 0000199f: POP 000019a0: POP 000019a1: POP 000019a2: POP 000019a3: POP 000019a4: POP 000019a5: POP 000019a6: POP 000019a7: POP 000019a8: JUMP 000019a9: JUMPDEST 000019aa: PUSH1 0x00 000019ac: PUSH2 0x19b4 000019af: DUP3 000019b0: PUSH2 0x19ba 000019b3: JUMP 000019b4: JUMPDEST 000019b5: SWAP3 000019b6: SWAP2 000019b7: POP 000019b8: POP 000019b9: JUMP 000019ba: JUMPDEST 000019bb: PUSH1 0x00 000019bd: DUP2 000019be: PUSH2 0x19c6 000019c1: DUP2 000019c2: PUSH2 0x1dce 000019c5: JUMP 000019c6: JUMPDEST 000019c7: POP 000019c8: POP 000019c9: PUSH1 0x01 000019cb: PUSH1 0x01 000019cd: PUSH1 0xa0 000019cf: SHL 000019d0: SUB 000019d1: AND 000019d2: PUSH1 0x00 000019d4: SWAP1 000019d5: DUP2 000019d6: MSTORE 000019d7: PUSH1 0x07 000019d9: PUSH1 0x20 000019db: MSTORE 000019dc: PUSH1 0x40 000019de: SWAP1 000019df: KECCAK256 000019e0: SLOAD 000019e1: SWAP1 000019e2: JUMP 000019e3: JUMPDEST 000019e4: PUSH1 0x00 000019e6: PUSH2 0x19ed 000019e9: PUSH2 0x1f0d 000019ec: JUMP 000019ed: JUMPDEST 000019ee: PUSH1 0x03 000019f0: DUP1 000019f1: SLOAD 000019f2: PUSH1 0xff 000019f4: PUSH1 0xa8 000019f6: SHL 000019f7: NOT 000019f8: AND 000019f9: PUSH1 0x01 000019fb: PUSH1 0xa8 000019fd: SHL 000019fe: OR 000019ff: SWAP1 00001a00: SSTORE 00001a01: PUSH13 0x42616e636f724e6574776f726b 00001a0f: PUSH1 0x98 00001a11: SHL 00001a12: PUSH2 0x1a1a 00001a15: DUP2 00001a16: PUSH2 0x292d 00001a19: JUMP 00001a1a: JUMPDEST 00001a1b: DUP6 00001a1c: PUSH1 0x01 00001a1e: PUSH1 0x01 00001a20: PUSH1 0xa0 00001a22: SHL 00001a23: SUB 00001a24: AND 00001a25: DUP8 00001a26: PUSH1 0x01 00001a28: PUSH1 0x01 00001a2a: PUSH1 0xa0 00001a2c: SHL 00001a2d: SUB 00001a2e: AND 00001a2f: EQ 00001a30: ISZERO 00001a31: PUSH2 0x1a7a 00001a34: JUMPI 00001a35: PUSH1 0x40 00001a37: DUP1 00001a38: MLOAD 00001a39: PUSH3 0x461bcd 00001a3d: PUSH1 0xe5 00001a3f: SHL 00001a40: DUP2 00001a41: MSTORE 00001a42: PUSH1 0x20 00001a44: PUSH1 0x04 00001a46: DUP3 00001a47: ADD 00001a48: MSTORE 00001a49: PUSH1 0x16 00001a4b: PUSH1 0x24 00001a4d: DUP3 00001a4e: ADD 00001a4f: MSTORE 00001a50: PUSH22 0x11549497d4d0535157d4d3d55490d157d5105491d155 00001a67: PUSH1 0x52 00001a69: SHL 00001a6a: PUSH1 0x44 00001a6c: DUP3 00001a6d: ADD 00001a6e: MSTORE 00001a6f: SWAP1 00001a70: MLOAD 00001a71: SWAP1 00001a72: DUP2 00001a73: SWAP1 00001a74: SUB 00001a75: PUSH1 0x64 00001a77: ADD 00001a78: SWAP1 00001a79: REVERT 00001a7a: JUMPDEST 00001a7b: PUSH1 0x05 00001a7d: SLOAD 00001a7e: PUSH1 0x01 00001a80: PUSH1 0x01 00001a82: PUSH1 0xa0 00001a84: SHL 00001a85: SUB 00001a86: AND 00001a87: ISZERO 00001a88: DUP1 00001a89: PUSH2 0x1b87 00001a8c: JUMPI 00001a8d: POP 00001a8e: PUSH1 0x05 00001a90: SLOAD 00001a91: PUSH1 0x40 00001a93: DUP1 00001a94: MLOAD 00001a95: PUSH4 0x3af32abf 00001a9a: PUSH1 0xe0 00001a9c: SHL 00001a9d: DUP2 00001a9e: MSTORE 00001a9f: PUSH1 0x01 00001aa1: PUSH1 0x01 00001aa3: PUSH1 0xa0 00001aa5: SHL 00001aa6: SUB 00001aa7: DUP8 00001aa8: DUP2 00001aa9: AND 00001aaa: PUSH1 0x04 00001aac: DUP4 00001aad: ADD 00001aae: MSTORE 00001aaf: SWAP2 00001ab0: MLOAD 00001ab1: SWAP2 00001ab2: SWAP1 00001ab3: SWAP3 00001ab4: AND 00001ab5: SWAP2 00001ab6: PUSH4 0x3af32abf 00001abb: SWAP2 00001abc: PUSH1 0x24 00001abe: DUP1 00001abf: DUP4 00001ac0: ADD 00001ac1: SWAP3 00001ac2: PUSH1 0x20 00001ac4: SWAP3 00001ac5: SWAP2 00001ac6: SWAP1 00001ac7: DUP3 00001ac8: SWAP1 00001ac9: SUB 00001aca: ADD 00001acb: DUP2 00001acc: DUP7 00001acd: DUP1 00001ace: EXTCODESIZE 00001acf: ISZERO 00001ad0: DUP1 00001ad1: ISZERO 00001ad2: PUSH2 0x1ada 00001ad5: JUMPI 00001ad6: PUSH1 0x00 00001ad8: DUP1 00001ad9: REVERT 00001ada: JUMPDEST 00001adb: POP 00001adc: GAS 00001add: STATICCALL 00001ade: ISZERO 00001adf: DUP1 00001ae0: ISZERO 00001ae1: PUSH2 0x1aee 00001ae4: JUMPI 00001ae5: RETURNDATASIZE 00001ae6: PUSH1 0x00 00001ae8: DUP1 00001ae9: RETURNDATACOPY 00001aea: RETURNDATASIZE 00001aeb: PUSH1 0x00 00001aed: REVERT 00001aee: JUMPDEST 00001aef: POP 00001af0: POP 00001af1: POP 00001af2: POP 00001af3: PUSH1 0x40 00001af5: MLOAD 00001af6: RETURNDATASIZE 00001af7: PUSH1 0x20 00001af9: DUP2 00001afa: LT 00001afb: ISZERO 00001afc: PUSH2 0x1b04 00001aff: JUMPI 00001b00: PUSH1 0x00 00001b02: DUP1 00001b03: REVERT 00001b04: JUMPDEST 00001b05: POP 00001b06: MLOAD 00001b07: DUP1 00001b08: ISZERO 00001b09: PUSH2 0x1b87 00001b0c: JUMPI 00001b0d: POP 00001b0e: PUSH1 0x05 00001b10: SLOAD 00001b11: PUSH1 0x40 00001b13: DUP1 00001b14: MLOAD 00001b15: PUSH4 0x3af32abf 00001b1a: PUSH1 0xe0 00001b1c: SHL 00001b1d: DUP2 00001b1e: MSTORE 00001b1f: PUSH1 0x01 00001b21: PUSH1 0x01 00001b23: PUSH1 0xa0 00001b25: SHL 00001b26: SUB 00001b27: DUP7 00001b28: DUP2 00001b29: AND 00001b2a: PUSH1 0x04 00001b2c: DUP4 00001b2d: ADD 00001b2e: MSTORE 00001b2f: SWAP2 00001b30: MLOAD 00001b31: SWAP2 00001b32: SWAP1 00001b33: SWAP3 00001b34: AND 00001b35: SWAP2 00001b36: PUSH4 0x3af32abf 00001b3b: SWAP2 00001b3c: PUSH1 0x24 00001b3e: DUP1 00001b3f: DUP4 00001b40: ADD 00001b41: SWAP3 00001b42: PUSH1 0x20 00001b44: SWAP3 00001b45: SWAP2 00001b46: SWAP1 00001b47: DUP3 00001b48: SWAP1 00001b49: SUB 00001b4a: ADD 00001b4b: DUP2 00001b4c: DUP7 00001b4d: DUP1 00001b4e: EXTCODESIZE 00001b4f: ISZERO 00001b50: DUP1 00001b51: ISZERO 00001b52: PUSH2 0x1b5a 00001b55: JUMPI 00001b56: PUSH1 0x00 00001b58: DUP1 00001b59: REVERT 00001b5a: JUMPDEST 00001b5b: POP 00001b5c: GAS 00001b5d: STATICCALL 00001b5e: ISZERO 00001b5f: DUP1 00001b60: ISZERO 00001b61: PUSH2 0x1b6e 00001b64: JUMPI 00001b65: RETURNDATASIZE 00001b66: PUSH1 0x00 00001b68: DUP1 00001b69: RETURNDATACOPY 00001b6a: RETURNDATASIZE 00001b6b: PUSH1 0x00 00001b6d: REVERT 00001b6e: JUMPDEST 00001b6f: POP 00001b70: POP 00001b71: POP 00001b72: POP 00001b73: PUSH1 0x40 00001b75: MLOAD 00001b76: RETURNDATASIZE 00001b77: PUSH1 0x20 00001b79: DUP2 00001b7a: LT 00001b7b: ISZERO 00001b7c: PUSH2 0x1b84 00001b7f: JUMPI 00001b80: PUSH1 0x00 00001b82: DUP1 00001b83: REVERT 00001b84: JUMPDEST 00001b85: POP 00001b86: MLOAD 00001b87: JUMPDEST 00001b88: PUSH2 0x1bce 00001b8b: JUMPI 00001b8c: PUSH1 0x40 00001b8e: DUP1 00001b8f: MLOAD 00001b90: PUSH3 0x461bcd 00001b94: PUSH1 0xe5 00001b96: SHL 00001b97: DUP2 00001b98: MSTORE 00001b99: PUSH1 0x20 00001b9b: PUSH1 0x04 00001b9d: DUP3 00001b9e: ADD 00001b9f: MSTORE 00001ba0: PUSH1 0x13 00001ba2: PUSH1 0x24 00001ba4: DUP3 00001ba5: ADD 00001ba6: MSTORE 00001ba7: PUSH19 0x11549497d393d517d5d2125511531254d51151 00001bbb: PUSH1 0x6a 00001bbd: SHL 00001bbe: PUSH1 0x44 00001bc0: DUP3 00001bc1: ADD 00001bc2: MSTORE 00001bc3: SWAP1 00001bc4: MLOAD 00001bc5: SWAP1 00001bc6: DUP2 00001bc7: SWAP1 00001bc8: SUB 00001bc9: PUSH1 0x64 00001bcb: ADD 00001bcc: SWAP1 00001bcd: REVERT 00001bce: JUMPDEST 00001bcf: PUSH2 0x1bdb 00001bd2: DUP8 00001bd3: DUP8 00001bd4: DUP8 00001bd5: DUP8 00001bd6: DUP8 00001bd7: PUSH2 0x298f 00001bda: JUMP 00001bdb: JUMPDEST 00001bdc: PUSH1 0x03 00001bde: DUP1 00001bdf: SLOAD 00001be0: PUSH1 0xff 00001be2: PUSH1 0xa8 00001be4: SHL 00001be5: NOT 00001be6: AND 00001be7: SWAP1 00001be8: SSTORE 00001be9: SWAP8 00001bea: SWAP7 00001beb: POP 00001bec: POP 00001bed: POP 00001bee: POP 00001bef: POP 00001bf0: POP 00001bf1: POP 00001bf2: JUMP 00001bf3: JUMPDEST 00001bf4: PUSH2 0x1bfb 00001bf7: PUSH2 0x1d7b 00001bfa: JUMP 00001bfb: JUMPDEST 00001bfc: PUSH1 0x08 00001bfe: SLOAD 00001bff: PUSH4 0xffffffff 00001c04: PUSH5 0x0100000000 00001c0a: SWAP1 00001c0b: SWAP2 00001c0c: DIV 00001c0d: DUP2 00001c0e: AND 00001c0f: SWAP1 00001c10: DUP3 00001c11: AND 00001c12: GT 00001c13: ISZERO 00001c14: PUSH2 0x1c64 00001c17: JUMPI 00001c18: PUSH1 0x40 00001c1a: DUP1 00001c1b: MLOAD 00001c1c: PUSH3 0x461bcd 00001c20: PUSH1 0xe5 00001c22: SHL 00001c23: DUP2 00001c24: MSTORE 00001c25: PUSH1 0x20 00001c27: PUSH1 0x04 00001c29: DUP3 00001c2a: ADD 00001c2b: MSTORE 00001c2c: PUSH1 0x1a 00001c2e: PUSH1 0x24 00001c30: DUP3 00001c31: ADD 00001c32: MSTORE 00001c33: PUSH32 0x4552525f494e56414c49445f434f4e56455253494f4e5f464545000000000000 00001c54: PUSH1 0x44 00001c56: DUP3 00001c57: ADD 00001c58: MSTORE 00001c59: SWAP1 00001c5a: MLOAD 00001c5b: SWAP1 00001c5c: DUP2 00001c5d: SWAP1 00001c5e: SUB 00001c5f: PUSH1 0x64 00001c61: ADD 00001c62: SWAP1 00001c63: REVERT 00001c64: JUMPDEST 00001c65: PUSH1 0x08 00001c67: SLOAD 00001c68: PUSH1 0x40 00001c6a: DUP1 00001c6b: MLOAD 00001c6c: PUSH4 0xffffffff 00001c71: PUSH1 0x01 00001c73: PUSH1 0x40 00001c75: SHL 00001c76: SWAP1 00001c77: SWAP4 00001c78: DIV 00001c79: DUP4 00001c7a: AND 00001c7b: DUP2 00001c7c: MSTORE 00001c7d: SWAP2 00001c7e: DUP4 00001c7f: AND 00001c80: PUSH1 0x20 00001c82: DUP4 00001c83: ADD 00001c84: MSTORE 00001c85: DUP1 00001c86: MLOAD 00001c87: PUSH32 0x81cd2ffb37dd237c0e4e2a3de5265fcf9deb43d3e7801e80db9f1ccfba7ee600 00001ca8: SWAP3 00001ca9: DUP2 00001caa: SWAP1 00001cab: SUB 00001cac: SWAP1 00001cad: SWAP2 00001cae: ADD 00001caf: SWAP1 00001cb0: LOG1 00001cb1: PUSH1 0x08 00001cb3: DUP1 00001cb4: SLOAD 00001cb5: PUSH4 0xffffffff 00001cba: SWAP1 00001cbb: SWAP3 00001cbc: AND 00001cbd: PUSH1 0x01 00001cbf: PUSH1 0x40 00001cc1: SHL 00001cc2: MUL 00001cc3: PUSH12 0xffffffff0000000000000000 00001cd0: NOT 00001cd1: SWAP1 00001cd2: SWAP3 00001cd3: AND 00001cd4: SWAP2 00001cd5: SWAP1 00001cd6: SWAP2 00001cd7: OR 00001cd8: SWAP1 00001cd9: SSTORE 00001cda: JUMP 00001cdb: JUMPDEST 00001cdc: PUSH2 0x1ce3 00001cdf: PUSH2 0x1d7b 00001ce2: JUMP 00001ce3: JUMPDEST 00001ce4: PUSH1 0x00 00001ce6: SLOAD 00001ce7: PUSH1 0x01 00001ce9: PUSH1 0x01 00001ceb: PUSH1 0xa0 00001ced: SHL 00001cee: SUB 00001cef: DUP3 00001cf0: DUP2 00001cf1: AND 00001cf2: SWAP2 00001cf3: AND 00001cf4: EQ 00001cf5: ISZERO 00001cf6: PUSH2 0x1d37 00001cf9: JUMPI 00001cfa: PUSH1 0x40 00001cfc: DUP1 00001cfd: MLOAD 00001cfe: PUSH3 0x461bcd 00001d02: PUSH1 0xe5 00001d04: SHL 00001d05: DUP2 00001d06: MSTORE 00001d07: PUSH1 0x20 00001d09: PUSH1 0x04 00001d0b: DUP3 00001d0c: ADD 00001d0d: MSTORE 00001d0e: PUSH1 0x0e 00001d10: PUSH1 0x24 00001d12: DUP3 00001d13: ADD 00001d14: MSTORE 00001d15: PUSH14 0x22a9292fa9a0a6a2afa7aba722a9 00001d24: PUSH1 0x91 00001d26: SHL 00001d27: PUSH1 0x44 00001d29: DUP3 00001d2a: ADD 00001d2b: MSTORE 00001d2c: SWAP1 00001d2d: MLOAD 00001d2e: SWAP1 00001d2f: DUP2 00001d30: SWAP1 00001d31: SUB 00001d32: PUSH1 0x64 00001d34: ADD 00001d35: SWAP1 00001d36: REVERT 00001d37: JUMPDEST 00001d38: PUSH1 0x01 00001d3a: DUP1 00001d3b: SLOAD 00001d3c: PUSH1 0x01 00001d3e: PUSH1 0x01 00001d40: PUSH1 0xa0 00001d42: SHL 00001d43: SUB 00001d44: NOT 00001d45: AND 00001d46: PUSH1 0x01 00001d48: PUSH1 0x01 00001d4a: PUSH1 0xa0 00001d4c: SHL 00001d4d: SUB 00001d4e: SWAP3 00001d4f: SWAP1 00001d50: SWAP3 00001d51: AND 00001d52: SWAP2 00001d53: SWAP1 00001d54: SWAP2 00001d55: OR 00001d56: SWAP1 00001d57: SSTORE 00001d58: JUMP 00001d59: JUMPDEST 00001d5a: PUSH1 0x08 00001d5c: SLOAD 00001d5d: PUSH1 0x01 00001d5f: PUSH1 0x80 00001d61: SHL 00001d62: SWAP1 00001d63: DIV 00001d64: PUSH4 0xffffffff 00001d69: AND 00001d6a: DUP2 00001d6b: JUMP 00001d6c: JUMPDEST 00001d6d: PUSH1 0x04 00001d6f: SLOAD 00001d70: PUSH1 0x01 00001d72: PUSH1 0x01 00001d74: PUSH1 0xa0 00001d76: SHL 00001d77: SUB 00001d78: AND 00001d79: SWAP1 00001d7a: JUMP 00001d7b: JUMPDEST 00001d7c: PUSH1 0x00 00001d7e: SLOAD 00001d7f: PUSH1 0x01 00001d81: PUSH1 0x01 00001d83: PUSH1 0xa0 00001d85: SHL 00001d86: SUB 00001d87: AND 00001d88: CALLER 00001d89: EQ 00001d8a: PUSH2 0x0dd6 00001d8d: JUMPI 00001d8e: PUSH1 0x40 00001d90: DUP1 00001d91: MLOAD 00001d92: PUSH3 0x461bcd 00001d96: PUSH1 0xe5 00001d98: SHL 00001d99: DUP2 00001d9a: MSTORE 00001d9b: PUSH1 0x20 00001d9d: PUSH1 0x04 00001d9f: DUP3 00001da0: ADD 00001da1: MSTORE 00001da2: PUSH1 0x11 00001da4: PUSH1 0x24 00001da6: DUP3 00001da7: ADD 00001da8: MSTORE 00001da9: PUSH17 0x11549497d050d0d154d4d7d11153925151 00001dbb: PUSH1 0x7a 00001dbd: SHL 00001dbe: PUSH1 0x44 00001dc0: DUP3 00001dc1: ADD 00001dc2: MSTORE 00001dc3: SWAP1 00001dc4: MLOAD 00001dc5: SWAP1 00001dc6: DUP2 00001dc7: SWAP1 00001dc8: SUB 00001dc9: PUSH1 0x64 00001dcb: ADD 00001dcc: SWAP1 00001dcd: REVERT 00001dce: JUMPDEST 00001dcf: PUSH1 0x01 00001dd1: PUSH1 0x01 00001dd3: PUSH1 0xa0 00001dd5: SHL 00001dd6: SUB 00001dd7: DUP2 00001dd8: AND 00001dd9: PUSH1 0x00 00001ddb: SWAP1 00001ddc: DUP2 00001ddd: MSTORE 00001dde: PUSH1 0x07 00001de0: PUSH1 0x20 00001de2: MSTORE 00001de3: PUSH1 0x40 00001de5: SWAP1 00001de6: KECCAK256 00001de7: PUSH1 0x01 00001de9: ADD 00001dea: SLOAD 00001deb: PUSH1 0x01 00001ded: PUSH1 0x30 00001def: SHL 00001df0: SWAP1 00001df1: DIV 00001df2: PUSH1 0xff 00001df4: AND 00001df5: PUSH2 0x0d34 00001df8: JUMPI 00001df9: PUSH1 0x40 00001dfb: DUP1 00001dfc: MLOAD 00001dfd: PUSH3 0x461bcd 00001e01: PUSH1 0xe5 00001e03: SHL 00001e04: DUP2 00001e05: MSTORE 00001e06: PUSH1 0x20 00001e08: PUSH1 0x04 00001e0a: DUP3 00001e0b: ADD 00001e0c: MSTORE 00001e0d: PUSH1 0x13 00001e0f: PUSH1 0x24 00001e11: DUP3 00001e12: ADD 00001e13: MSTORE 00001e14: PUSH19 0x4552525f494e56414c49445f52455345525645 00001e28: PUSH1 0x68 00001e2a: SHL 00001e2b: PUSH1 0x44 00001e2d: DUP3 00001e2e: ADD 00001e2f: MSTORE 00001e30: SWAP1 00001e31: MLOAD 00001e32: SWAP1 00001e33: DUP2 00001e34: SWAP1 00001e35: SUB 00001e36: PUSH1 0x64 00001e38: ADD 00001e39: SWAP1 00001e3a: REVERT 00001e3b: JUMPDEST 00001e3c: PUSH1 0x02 00001e3e: SLOAD 00001e3f: PUSH1 0x40 00001e41: DUP1 00001e42: MLOAD 00001e43: PUSH4 0x2ecd14d3 00001e48: PUSH1 0xe2 00001e4a: SHL 00001e4b: DUP2 00001e4c: MSTORE 00001e4d: PUSH1 0x04 00001e4f: DUP2 00001e50: ADD 00001e51: DUP5 00001e52: SWAP1 00001e53: MSTORE 00001e54: SWAP1 00001e55: MLOAD 00001e56: PUSH1 0x00 00001e58: SWAP3 00001e59: PUSH1 0x01 00001e5b: PUSH1 0x01 00001e5d: PUSH1 0xa0 00001e5f: SHL 00001e60: SUB 00001e61: AND 00001e62: SWAP2 00001e63: PUSH4 0xbb34534c 00001e68: SWAP2 00001e69: PUSH1 0x24 00001e6b: DUP1 00001e6c: DUP4 00001e6d: ADD 00001e6e: SWAP3 00001e6f: PUSH1 0x20 00001e71: SWAP3 00001e72: SWAP2 00001e73: SWAP1 00001e74: DUP3 00001e75: SWAP1 00001e76: SUB 00001e77: ADD 00001e78: DUP2 00001e79: DUP7 00001e7a: DUP1 00001e7b: EXTCODESIZE 00001e7c: ISZERO 00001e7d: DUP1 00001e7e: ISZERO 00001e7f: PUSH2 0x1e87 00001e82: JUMPI 00001e83: PUSH1 0x00 00001e85: DUP1 00001e86: REVERT 00001e87: JUMPDEST 00001e88: POP 00001e89: GAS 00001e8a: STATICCALL 00001e8b: ISZERO 00001e8c: DUP1 00001e8d: ISZERO 00001e8e: PUSH2 0x1e9b 00001e91: JUMPI 00001e92: RETURNDATASIZE 00001e93: PUSH1 0x00 00001e95: DUP1 00001e96: RETURNDATACOPY 00001e97: RETURNDATASIZE 00001e98: PUSH1 0x00 00001e9a: REVERT 00001e9b: JUMPDEST 00001e9c: POP 00001e9d: POP 00001e9e: POP 00001e9f: POP 00001ea0: PUSH1 0x40 00001ea2: MLOAD 00001ea3: RETURNDATASIZE 00001ea4: PUSH1 0x20 00001ea6: DUP2 00001ea7: LT 00001ea8: ISZERO 00001ea9: PUSH2 0x1eb1 00001eac: JUMPI 00001ead: PUSH1 0x00 00001eaf: DUP1 00001eb0: REVERT 00001eb1: JUMPDEST 00001eb2: POP 00001eb3: MLOAD 00001eb4: SWAP3 00001eb5: SWAP2 00001eb6: POP 00001eb7: POP 00001eb8: JUMP 00001eb9: JUMPDEST 00001eba: PUSH1 0x01 00001ebc: PUSH1 0x01 00001ebe: PUSH1 0xa0 00001ec0: SHL 00001ec1: SUB 00001ec2: DUP2 00001ec3: AND 00001ec4: ADDRESS 00001ec5: EQ 00001ec6: ISZERO 00001ec7: PUSH2 0x0d34 00001eca: JUMPI 00001ecb: PUSH1 0x40 00001ecd: DUP1 00001ece: MLOAD 00001ecf: PUSH3 0x461bcd 00001ed3: PUSH1 0xe5 00001ed5: SHL 00001ed6: DUP2 00001ed7: MSTORE 00001ed8: PUSH1 0x20 00001eda: PUSH1 0x04 00001edc: DUP3 00001edd: ADD 00001ede: MSTORE 00001edf: PUSH1 0x13 00001ee1: PUSH1 0x24 00001ee3: DUP3 00001ee4: ADD 00001ee5: MSTORE 00001ee6: PUSH19 0x22a9292fa0a2222922a9a9afa4a9afa9a2a623 00001efa: PUSH1 0x69 00001efc: SHL 00001efd: PUSH1 0x44 00001eff: DUP3 00001f00: ADD 00001f01: MSTORE 00001f02: SWAP1 00001f03: MLOAD 00001f04: SWAP1 00001f05: DUP2 00001f06: SWAP1 00001f07: SUB 00001f08: PUSH1 0x64 00001f0a: ADD 00001f0b: SWAP1 00001f0c: REVERT 00001f0d: JUMPDEST 00001f0e: PUSH1 0x03 00001f10: SLOAD 00001f11: PUSH1 0x01 00001f13: PUSH1 0xa8 00001f15: SHL 00001f16: SWAP1 00001f17: DIV 00001f18: PUSH1 0xff 00001f1a: AND 00001f1b: ISZERO 00001f1c: PUSH2 0x0dd6 00001f1f: JUMPI 00001f20: PUSH1 0x40 00001f22: DUP1 00001f23: MLOAD 00001f24: PUSH3 0x461bcd 00001f28: PUSH1 0xe5 00001f2a: SHL 00001f2b: DUP2 00001f2c: MSTORE 00001f2d: PUSH1 0x20 00001f2f: PUSH1 0x04 00001f31: DUP3 00001f32: ADD 00001f33: MSTORE 00001f34: PUSH1 0x0e 00001f36: PUSH1 0x24 00001f38: DUP3 00001f39: ADD 00001f3a: MSTORE 00001f3b: PUSH14 0x4552525f5245454e5452414e4359 00001f4a: PUSH1 0x90 00001f4c: SHL 00001f4d: PUSH1 0x44 00001f4f: DUP3 00001f50: ADD 00001f51: MSTORE 00001f52: SWAP1 00001f53: MLOAD 00001f54: SWAP1 00001f55: DUP2 00001f56: SWAP1 00001f57: SUB 00001f58: PUSH1 0x64 00001f5a: ADD 00001f5b: SWAP1 00001f5c: REVERT 00001f5d: JUMPDEST 00001f5e: PUSH2 0x1f65 00001f61: PUSH2 0x1d7b 00001f64: JUMP 00001f65: JUMPDEST 00001f66: DUP3 00001f67: PUSH2 0x1f6f 00001f6a: DUP2 00001f6b: PUSH2 0x2b52 00001f6e: JUMP 00001f6f: JUMPDEST 00001f70: DUP3 00001f71: PUSH2 0x1f79 00001f74: DUP2 00001f75: PUSH2 0x2b52 00001f78: JUMP 00001f79: JUMPDEST 00001f7a: DUP4 00001f7b: PUSH2 0x1f83 00001f7e: DUP2 00001f7f: PUSH2 0x1eb9 00001f82: JUMP 00001f83: JUMPDEST 00001f84: PUSH2 0x1f8e 00001f87: DUP7 00001f88: DUP7 00001f89: DUP7 00001f8a: PUSH2 0x27d4 00001f8d: JUMP 00001f8e: JUMPDEST 00001f8f: POP 00001f90: POP 00001f91: POP 00001f92: POP 00001f93: POP 00001f94: POP 00001f95: JUMP 00001f96: JUMPDEST 00001f97: DUP1 00001f98: PUSH2 0x1fa0 00001f9b: DUP2 00001f9c: PUSH2 0x1dce 00001f9f: JUMP 00001fa0: JUMPDEST 00001fa1: PUSH1 0x01 00001fa3: PUSH1 0x01 00001fa5: PUSH1 0xa0 00001fa7: SHL 00001fa8: SUB 00001fa9: DUP3 00001faa: AND 00001fab: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00001fc0: EQ 00001fc1: ISZERO 00001fc2: PUSH2 0x1fe5 00001fc5: JUMPI 00001fc6: PUSH1 0x01 00001fc8: PUSH1 0x01 00001fca: PUSH1 0xa0 00001fcc: SHL 00001fcd: SUB 00001fce: DUP3 00001fcf: AND 00001fd0: PUSH1 0x00 00001fd2: SWAP1 00001fd3: DUP2 00001fd4: MSTORE 00001fd5: PUSH1 0x07 00001fd7: PUSH1 0x20 00001fd9: MSTORE 00001fda: PUSH1 0x40 00001fdc: SWAP1 00001fdd: KECCAK256 00001fde: SELFBALANCE 00001fdf: SWAP1 00001fe0: SSTORE 00001fe1: PUSH2 0x1260 00001fe4: JUMP 00001fe5: JUMPDEST 00001fe6: PUSH1 0x40 00001fe8: DUP1 00001fe9: MLOAD 00001fea: PUSH4 0x70a08231 00001fef: PUSH1 0xe0 00001ff1: SHL 00001ff2: DUP2 00001ff3: MSTORE 00001ff4: ADDRESS 00001ff5: PUSH1 0x04 00001ff7: DUP3 00001ff8: ADD 00001ff9: MSTORE 00001ffa: SWAP1 00001ffb: MLOAD 00001ffc: PUSH1 0x01 00001ffe: PUSH1 0x01 00002000: PUSH1 0xa0 00002002: SHL 00002003: SUB 00002004: DUP5 00002005: AND 00002006: SWAP2 00002007: PUSH4 0x70a08231 0000200c: SWAP2 0000200d: PUSH1 0x24 0000200f: DUP1 00002010: DUP4 00002011: ADD 00002012: SWAP3 00002013: PUSH1 0x20 00002015: SWAP3 00002016: SWAP2 00002017: SWAP1 00002018: DUP3 00002019: SWAP1 0000201a: SUB 0000201b: ADD 0000201c: DUP2 0000201d: DUP7 0000201e: DUP1 0000201f: EXTCODESIZE 00002020: ISZERO 00002021: DUP1 00002022: ISZERO 00002023: PUSH2 0x202b 00002026: JUMPI 00002027: PUSH1 0x00 00002029: DUP1 0000202a: REVERT 0000202b: JUMPDEST 0000202c: POP 0000202d: GAS 0000202e: STATICCALL 0000202f: ISZERO 00002030: DUP1 00002031: ISZERO 00002032: PUSH2 0x203f 00002035: JUMPI 00002036: RETURNDATASIZE 00002037: PUSH1 0x00 00002039: DUP1 0000203a: RETURNDATACOPY 0000203b: RETURNDATASIZE 0000203c: PUSH1 0x00 0000203e: REVERT 0000203f: JUMPDEST 00002040: POP 00002041: POP 00002042: POP 00002043: POP 00002044: PUSH1 0x40 00002046: MLOAD 00002047: RETURNDATASIZE 00002048: PUSH1 0x20 0000204a: DUP2 0000204b: LT 0000204c: ISZERO 0000204d: PUSH2 0x2055 00002050: JUMPI 00002051: PUSH1 0x00 00002053: DUP1 00002054: REVERT 00002055: JUMPDEST 00002056: POP 00002057: MLOAD 00002058: PUSH1 0x01 0000205a: PUSH1 0x01 0000205c: PUSH1 0xa0 0000205e: SHL 0000205f: SUB 00002060: DUP4 00002061: AND 00002062: PUSH1 0x00 00002064: SWAP1 00002065: DUP2 00002066: MSTORE 00002067: PUSH1 0x07 00002069: PUSH1 0x20 0000206b: MSTORE 0000206c: PUSH1 0x40 0000206e: SWAP1 0000206f: KECCAK256 00002070: SSTORE 00002071: POP 00002072: POP 00002073: JUMP 00002074: JUMPDEST 00002075: PUSH2 0x207c 00002078: PUSH2 0x1d7b 0000207b: JUMP 0000207c: JUMPDEST 0000207d: PUSH2 0x2084 00002080: PUSH2 0x2293 00002083: JUMP 00002084: JUMPDEST 00002085: DUP2 00002086: PUSH2 0x208e 00002089: DUP2 0000208a: PUSH2 0x2b52 0000208d: JUMP 0000208e: JUMPDEST 0000208f: DUP3 00002090: PUSH2 0x2098 00002093: DUP2 00002094: PUSH2 0x1eb9 00002097: JUMP 00002098: JUMPDEST 00002099: DUP3 0000209a: PUSH2 0x20a2 0000209d: DUP2 0000209e: PUSH2 0x2ba3 000020a1: JUMP 000020a2: JUMPDEST 000020a3: PUSH1 0x04 000020a5: SLOAD 000020a6: PUSH1 0x01 000020a8: PUSH1 0x01 000020aa: PUSH1 0xa0 000020ac: SHL 000020ad: SUB 000020ae: DUP7 000020af: DUP2 000020b0: AND 000020b1: SWAP2 000020b2: AND 000020b3: EQ 000020b4: DUP1 000020b5: ISZERO 000020b6: SWAP1 000020b7: PUSH2 0x20e3 000020ba: JUMPI 000020bb: POP 000020bc: PUSH1 0x01 000020be: PUSH1 0x01 000020c0: PUSH1 0xa0 000020c2: SHL 000020c3: SUB 000020c4: DUP6 000020c5: AND 000020c6: PUSH1 0x00 000020c8: SWAP1 000020c9: DUP2 000020ca: MSTORE 000020cb: PUSH1 0x07 000020cd: PUSH1 0x20 000020cf: MSTORE 000020d0: PUSH1 0x40 000020d2: SWAP1 000020d3: KECCAK256 000020d4: PUSH1 0x01 000020d6: ADD 000020d7: SLOAD 000020d8: PUSH1 0x01 000020da: PUSH1 0x30 000020dc: SHL 000020dd: SWAP1 000020de: DIV 000020df: PUSH1 0xff 000020e1: AND 000020e2: ISZERO 000020e3: JUMPDEST 000020e4: PUSH2 0x212a 000020e7: JUMPI 000020e8: PUSH1 0x40 000020ea: DUP1 000020eb: MLOAD 000020ec: PUSH3 0x461bcd 000020f0: PUSH1 0xe5 000020f2: SHL 000020f3: DUP2 000020f4: MSTORE 000020f5: PUSH1 0x20 000020f7: PUSH1 0x04 000020f9: DUP3 000020fa: ADD 000020fb: MSTORE 000020fc: PUSH1 0x13 000020fe: PUSH1 0x24 00002100: DUP3 00002101: ADD 00002102: MSTORE 00002103: PUSH19 0x4552525f494e56414c49445f52455345525645 00002117: PUSH1 0x68 00002119: SHL 0000211a: PUSH1 0x44 0000211c: DUP3 0000211d: ADD 0000211e: MSTORE 0000211f: SWAP1 00002120: MLOAD 00002121: SWAP1 00002122: DUP2 00002123: SWAP1 00002124: SUB 00002125: PUSH1 0x64 00002127: ADD 00002128: SWAP1 00002129: REVERT 0000212a: JUMPDEST 0000212b: PUSH1 0x08 0000212d: SLOAD 0000212e: PUSH4 0xffffffff 00002133: SWAP1 00002134: DUP2 00002135: AND 00002136: PUSH3 0x0f4240 0000213a: SUB 0000213b: DUP2 0000213c: AND 0000213d: SWAP1 0000213e: DUP6 0000213f: AND 00002140: GT 00002141: ISZERO 00002142: PUSH2 0x218f 00002145: JUMPI 00002146: PUSH1 0x40 00002148: DUP1 00002149: MLOAD 0000214a: PUSH3 0x461bcd 0000214e: PUSH1 0xe5 00002150: SHL 00002151: DUP2 00002152: MSTORE 00002153: PUSH1 0x20 00002155: PUSH1 0x04 00002157: DUP3 00002158: ADD 00002159: MSTORE 0000215a: PUSH1 0x1a 0000215c: PUSH1 0x24 0000215e: DUP3 0000215f: ADD 00002160: MSTORE 00002161: PUSH26 0x11549497d253959053125117d49154d154959157d5d15251d215 0000217c: PUSH1 0x32 0000217e: SHL 0000217f: PUSH1 0x44 00002181: DUP3 00002182: ADD 00002183: MSTORE 00002184: SWAP1 00002185: MLOAD 00002186: SWAP1 00002187: DUP2 00002188: SWAP1 00002189: SUB 0000218a: PUSH1 0x64 0000218c: ADD 0000218d: SWAP1 0000218e: REVERT 0000218f: JUMPDEST 00002190: PUSH2 0xffff 00002193: PUSH2 0x219a 00002196: PUSH2 0x1362 00002199: JUMP 0000219a: JUMPDEST 0000219b: PUSH2 0xffff 0000219e: AND 0000219f: LT 000021a0: PUSH2 0x21ec 000021a3: JUMPI 000021a4: PUSH1 0x40 000021a6: DUP1 000021a7: MLOAD 000021a8: PUSH3 0x461bcd 000021ac: PUSH1 0xe5 000021ae: SHL 000021af: DUP2 000021b0: MSTORE 000021b1: PUSH1 0x20 000021b3: PUSH1 0x04 000021b5: DUP3 000021b6: ADD 000021b7: MSTORE 000021b8: PUSH1 0x19 000021ba: PUSH1 0x24 000021bc: DUP3 000021bd: ADD 000021be: MSTORE 000021bf: PUSH25 0x11549497d253959053125117d49154d154959157d0d3d55395 000021d9: PUSH1 0x3a 000021db: SHL 000021dc: PUSH1 0x44 000021de: DUP3 000021df: ADD 000021e0: MSTORE 000021e1: SWAP1 000021e2: MLOAD 000021e3: SWAP1 000021e4: DUP2 000021e5: SWAP1 000021e6: SUB 000021e7: PUSH1 0x64 000021e9: ADD 000021ea: SWAP1 000021eb: REVERT 000021ec: JUMPDEST 000021ed: POP 000021ee: POP 000021ef: POP 000021f0: PUSH1 0x01 000021f2: PUSH1 0x01 000021f4: PUSH1 0xa0 000021f6: SHL 000021f7: SUB 000021f8: SWAP1 000021f9: SWAP2 000021fa: AND 000021fb: PUSH1 0x00 000021fd: DUP2 000021fe: DUP2 000021ff: MSTORE 00002200: PUSH1 0x07 00002202: PUSH1 0x20 00002204: MSTORE 00002205: PUSH1 0x40 00002207: DUP2 00002208: KECCAK256 00002209: DUP2 0000220a: DUP2 0000220b: SSTORE 0000220c: PUSH1 0x01 0000220e: SWAP1 0000220f: DUP2 00002210: ADD 00002211: DUP1 00002212: SLOAD 00002213: PUSH7 0xff000000000000 0000221b: NOT 0000221c: PUSH4 0xffffffff 00002221: DUP1 00002222: DUP9 00002223: AND 00002224: PUSH4 0xffffffff 00002229: NOT 0000222a: SWAP4 0000222b: DUP5 0000222c: AND 0000222d: OR 0000222e: SWAP2 0000222f: SWAP1 00002230: SWAP2 00002231: AND 00002232: PUSH1 0x01 00002234: PUSH1 0x30 00002236: SHL 00002237: OR 00002238: SWAP1 00002239: SWAP3 0000223a: SSTORE 0000223b: PUSH1 0x06 0000223d: DUP1 0000223e: SLOAD 0000223f: SWAP4 00002240: DUP5 00002241: ADD 00002242: DUP2 00002243: SSTORE 00002244: SWAP1 00002245: SWAP4 00002246: MSTORE 00002247: PUSH32 0xf652222313e28459528d920b65115c16c04f3efc82aaedc97be59f3f377c0d3f 00002268: SWAP1 00002269: SWAP2 0000226a: ADD 0000226b: DUP1 0000226c: SLOAD 0000226d: PUSH1 0x01 0000226f: PUSH1 0x01 00002271: PUSH1 0xa0 00002273: SHL 00002274: SUB 00002275: NOT 00002276: AND 00002277: SWAP1 00002278: SWAP4 00002279: OR 0000227a: SWAP1 0000227b: SWAP3 0000227c: SSTORE 0000227d: PUSH1 0x08 0000227f: DUP1 00002280: SLOAD 00002281: DUP1 00002282: DUP5 00002283: AND 00002284: SWAP1 00002285: SWAP5 00002286: ADD 00002287: SWAP1 00002288: SWAP3 00002289: AND 0000228a: SWAP3 0000228b: AND 0000228c: SWAP2 0000228d: SWAP1 0000228e: SWAP2 0000228f: OR 00002290: SWAP1 00002291: SSTORE 00002292: JUMP 00002293: JUMPDEST 00002294: PUSH2 0x229b 00002297: PUSH2 0x0d37 0000229a: JUMP 0000229b: JUMPDEST 0000229c: ISZERO 0000229d: PUSH2 0x0dd6 000022a0: JUMPI 000022a1: PUSH1 0x40 000022a3: DUP1 000022a4: MLOAD 000022a5: PUSH3 0x461bcd 000022a9: PUSH1 0xe5 000022ab: SHL 000022ac: DUP2 000022ad: MSTORE 000022ae: PUSH1 0x20 000022b0: PUSH1 0x04 000022b2: DUP3 000022b3: ADD 000022b4: MSTORE 000022b5: PUSH1 0x0a 000022b7: PUSH1 0x24 000022b9: DUP3 000022ba: ADD 000022bb: MSTORE 000022bc: PUSH10 0x4552525f414354495645 000022c7: PUSH1 0xb0 000022c9: SHL 000022ca: PUSH1 0x44 000022cc: DUP3 000022cd: ADD 000022ce: MSTORE 000022cf: SWAP1 000022d0: MLOAD 000022d1: SWAP1 000022d2: DUP2 000022d3: SWAP1 000022d4: SUB 000022d5: PUSH1 0x64 000022d7: ADD 000022d8: SWAP1 000022d9: REVERT 000022da: JUMPDEST 000022db: PUSH1 0x00 000022dd: DUP1 000022de: PUSH2 0x22e5 000022e1: PUSH2 0x2c10 000022e4: JUMP 000022e5: JUMPDEST 000022e6: PUSH1 0x00 000022e8: PUSH1 0x04 000022ea: PUSH1 0x00 000022ec: SWAP1 000022ed: SLOAD 000022ee: SWAP1 000022ef: PUSH2 0x0100 000022f2: EXP 000022f3: SWAP1 000022f4: DIV 000022f5: PUSH1 0x01 000022f7: PUSH1 0x01 000022f9: PUSH1 0xa0 000022fb: SHL 000022fc: SUB 000022fd: AND 000022fe: PUSH1 0x01 00002300: PUSH1 0x01 00002302: PUSH1 0xa0 00002304: SHL 00002305: SUB 00002306: AND 00002307: PUSH4 0x18160ddd 0000230c: PUSH1 0x40 0000230e: MLOAD 0000230f: DUP2 00002310: PUSH4 0xffffffff 00002315: AND 00002316: PUSH1 0xe0 00002318: SHL 00002319: DUP2 0000231a: MSTORE 0000231b: PUSH1 0x04 0000231d: ADD 0000231e: PUSH1 0x20 00002320: PUSH1 0x40 00002322: MLOAD 00002323: DUP1 00002324: DUP4 00002325: SUB 00002326: DUP2 00002327: DUP7 00002328: DUP1 00002329: EXTCODESIZE 0000232a: ISZERO 0000232b: DUP1 0000232c: ISZERO 0000232d: PUSH2 0x2335 00002330: JUMPI 00002331: PUSH1 0x00 00002333: DUP1 00002334: REVERT 00002335: JUMPDEST 00002336: POP 00002337: GAS 00002338: STATICCALL 00002339: ISZERO 0000233a: DUP1 0000233b: ISZERO 0000233c: PUSH2 0x2349 0000233f: JUMPI 00002340: RETURNDATASIZE 00002341: PUSH1 0x00 00002343: DUP1 00002344: RETURNDATACOPY 00002345: RETURNDATASIZE 00002346: PUSH1 0x00 00002348: REVERT 00002349: JUMPDEST 0000234a: POP 0000234b: POP 0000234c: POP 0000234d: POP 0000234e: PUSH1 0x40 00002350: MLOAD 00002351: RETURNDATASIZE 00002352: PUSH1 0x20 00002354: DUP2 00002355: LT 00002356: ISZERO 00002357: PUSH2 0x235f 0000235a: JUMPI 0000235b: PUSH1 0x00 0000235d: DUP1 0000235e: REVERT 0000235f: JUMPDEST 00002360: POP 00002361: MLOAD 00002362: PUSH1 0x06 00002364: DUP1 00002365: SLOAD 00002366: SWAP2 00002367: SWAP3 00002368: POP 00002369: PUSH1 0x00 0000236b: SWAP2 0000236c: DUP3 0000236d: SWAP1 0000236e: PUSH2 0x2373 00002371: JUMPI 00002372: INVALID 00002373: JUMPDEST 00002374: PUSH1 0x00 00002376: SWAP2 00002377: DUP3 00002378: MSTORE 00002379: PUSH1 0x20 0000237b: SWAP1 0000237c: SWAP2 0000237d: KECCAK256 0000237e: ADD 0000237f: SLOAD 00002380: PUSH1 0x01 00002382: PUSH1 0x01 00002384: PUSH1 0xa0 00002386: SHL 00002387: SUB 00002388: AND 00002389: SWAP1 0000238a: POP 0000238b: DUP2 0000238c: PUSH2 0x23d6 0000238f: JUMPI 00002390: PUSH1 0x01 00002392: PUSH1 0x01 00002394: PUSH1 0xa0 00002396: SHL 00002397: SUB 00002398: DUP2 00002399: AND 0000239a: PUSH1 0x00 0000239c: SWAP1 0000239d: DUP2 0000239e: MSTORE 0000239f: PUSH1 0x07 000023a1: PUSH1 0x20 000023a3: MSTORE 000023a4: PUSH1 0x40 000023a6: SWAP1 000023a7: KECCAK256 000023a8: PUSH1 0x01 000023aa: ADD 000023ab: SLOAD 000023ac: PUSH2 0x23c9 000023af: SWAP1 000023b0: PUSH4 0xffffffff 000023b5: SWAP1 000023b6: DUP2 000023b7: AND 000023b8: SWAP1 000023b9: PUSH2 0x15cf 000023bc: SWAP1 000023bd: DUP9 000023be: SWAP1 000023bf: PUSH3 0x0f4240 000023c3: SWAP1 000023c4: PUSH2 0x2681 000023c7: AND 000023c8: JUMP 000023c9: JUMPDEST 000023ca: PUSH1 0x00 000023cc: SWAP4 000023cd: POP 000023ce: SWAP4 000023cf: POP 000023d0: POP 000023d1: POP 000023d2: PUSH2 0x24c1 000023d5: JUMP 000023d6: JUMPDEST 000023d7: PUSH1 0x00 000023d9: PUSH2 0x23f1 000023dc: PUSH13 0x42616e636f72466f726d756c61 000023ea: PUSH1 0x98 000023ec: SHL 000023ed: PUSH2 0x1e3b 000023f0: JUMP 000023f1: JUMPDEST 000023f2: PUSH1 0x01 000023f4: PUSH1 0x01 000023f6: PUSH1 0xa0 000023f8: SHL 000023f9: SUB 000023fa: AND 000023fb: PUSH4 0xf3250fe2 00002400: DUP5 00002401: PUSH2 0x2409 00002404: DUP6 00002405: PUSH2 0x19ba 00002408: JUMP 00002409: JUMPDEST 0000240a: PUSH1 0x01 0000240c: PUSH1 0x01 0000240e: PUSH1 0xa0 00002410: SHL 00002411: SUB 00002412: DUP7 00002413: AND 00002414: PUSH1 0x00 00002416: SWAP1 00002417: DUP2 00002418: MSTORE 00002419: PUSH1 0x07 0000241b: PUSH1 0x20 0000241d: SWAP1 0000241e: DUP2 0000241f: MSTORE 00002420: PUSH1 0x40 00002422: SWAP2 00002423: DUP3 00002424: SWAP1 00002425: KECCAK256 00002426: PUSH1 0x01 00002428: ADD 00002429: SLOAD 0000242a: DUP3 0000242b: MLOAD 0000242c: PUSH1 0x01 0000242e: PUSH1 0x01 00002430: PUSH1 0xe0 00002432: SHL 00002433: SUB 00002434: NOT 00002435: PUSH1 0xe0 00002437: DUP9 00002438: SWAP1 00002439: SHL 0000243a: AND 0000243b: DUP2 0000243c: MSTORE 0000243d: PUSH1 0x04 0000243f: DUP2 00002440: ADD 00002441: SWAP6 00002442: SWAP1 00002443: SWAP6 00002444: MSTORE 00002445: PUSH1 0x24 00002447: DUP6 00002448: ADD 00002449: SWAP4 0000244a: SWAP1 0000244b: SWAP4 0000244c: MSTORE 0000244d: PUSH4 0xffffffff 00002452: SWAP1 00002453: SWAP3 00002454: AND 00002455: PUSH1 0x44 00002457: DUP5 00002458: ADD 00002459: MSTORE 0000245a: PUSH1 0x64 0000245c: DUP4 0000245d: ADD 0000245e: DUP12 0000245f: SWAP1 00002460: MSTORE 00002461: MLOAD 00002462: PUSH1 0x84 00002464: DUP1 00002465: DUP5 00002466: ADD 00002467: SWAP4 00002468: DUP3 00002469: SWAP1 0000246a: SUB 0000246b: ADD 0000246c: DUP2 0000246d: DUP7 0000246e: DUP1 0000246f: EXTCODESIZE 00002470: ISZERO 00002471: DUP1 00002472: ISZERO 00002473: PUSH2 0x247b 00002476: JUMPI 00002477: PUSH1 0x00 00002479: DUP1 0000247a: REVERT 0000247b: JUMPDEST 0000247c: POP 0000247d: GAS 0000247e: STATICCALL 0000247f: ISZERO 00002480: DUP1 00002481: ISZERO 00002482: PUSH2 0x248f 00002485: JUMPI 00002486: RETURNDATASIZE 00002487: PUSH1 0x00 00002489: DUP1 0000248a: RETURNDATACOPY 0000248b: RETURNDATASIZE 0000248c: PUSH1 0x00 0000248e: REVERT 0000248f: JUMPDEST 00002490: POP 00002491: POP 00002492: POP 00002493: POP 00002494: PUSH1 0x40 00002496: MLOAD 00002497: RETURNDATASIZE 00002498: PUSH1 0x20 0000249a: DUP2 0000249b: LT 0000249c: ISZERO 0000249d: PUSH2 0x24a5 000024a0: JUMPI 000024a1: PUSH1 0x00 000024a3: DUP1 000024a4: REVERT 000024a5: JUMPDEST 000024a6: POP 000024a7: MLOAD 000024a8: SWAP1 000024a9: POP 000024aa: PUSH1 0x00 000024ac: PUSH2 0x24b4 000024af: DUP3 000024b0: PUSH2 0x2c58 000024b3: JUMP 000024b4: JUMPDEST 000024b5: SWAP2 000024b6: DUP3 000024b7: SWAP1 000024b8: SUB 000024b9: SWAP6 000024ba: POP 000024bb: SWAP1 000024bc: SWAP4 000024bd: POP 000024be: POP 000024bf: POP 000024c0: POP 000024c1: JUMPDEST 000024c2: SWAP2 000024c3: POP 000024c4: SWAP2 000024c5: JUMP 000024c6: JUMPDEST 000024c7: PUSH1 0x00 000024c9: DUP1 000024ca: PUSH2 0x24d1 000024cd: PUSH2 0x2c10 000024d0: JUMP 000024d1: JUMPDEST 000024d2: PUSH1 0x00 000024d4: PUSH1 0x04 000024d6: PUSH1 0x00 000024d8: SWAP1 000024d9: SLOAD 000024da: SWAP1 000024db: PUSH2 0x0100 000024de: EXP 000024df: SWAP1 000024e0: DIV 000024e1: PUSH1 0x01 000024e3: PUSH1 0x01 000024e5: PUSH1 0xa0 000024e7: SHL 000024e8: SUB 000024e9: AND 000024ea: PUSH1 0x01 000024ec: PUSH1 0x01 000024ee: PUSH1 0xa0 000024f0: SHL 000024f1: SUB 000024f2: AND 000024f3: PUSH4 0x18160ddd 000024f8: PUSH1 0x40 000024fa: MLOAD 000024fb: DUP2 000024fc: PUSH4 0xffffffff 00002501: AND 00002502: PUSH1 0xe0 00002504: SHL 00002505: DUP2 00002506: MSTORE 00002507: PUSH1 0x04 00002509: ADD 0000250a: PUSH1 0x20 0000250c: PUSH1 0x40 0000250e: MLOAD 0000250f: DUP1 00002510: DUP4 00002511: SUB 00002512: DUP2 00002513: DUP7 00002514: DUP1 00002515: EXTCODESIZE 00002516: ISZERO 00002517: DUP1 00002518: ISZERO 00002519: PUSH2 0x2521 0000251c: JUMPI 0000251d: PUSH1 0x00 0000251f: DUP1 00002520: REVERT 00002521: JUMPDEST 00002522: POP 00002523: GAS 00002524: STATICCALL 00002525: ISZERO 00002526: DUP1 00002527: ISZERO 00002528: PUSH2 0x2535 0000252b: JUMPI 0000252c: RETURNDATASIZE 0000252d: PUSH1 0x00 0000252f: DUP1 00002530: RETURNDATACOPY 00002531: RETURNDATASIZE 00002532: PUSH1 0x00 00002534: REVERT 00002535: JUMPDEST 00002536: POP 00002537: POP 00002538: POP 00002539: POP 0000253a: PUSH1 0x40 0000253c: MLOAD 0000253d: RETURNDATASIZE 0000253e: PUSH1 0x20 00002540: DUP2 00002541: LT 00002542: ISZERO 00002543: PUSH2 0x254b 00002546: JUMPI 00002547: PUSH1 0x00 00002549: DUP1 0000254a: REVERT 0000254b: JUMPDEST 0000254c: POP 0000254d: MLOAD 0000254e: PUSH1 0x06 00002550: DUP1 00002551: SLOAD 00002552: SWAP2 00002553: SWAP3 00002554: POP 00002555: PUSH1 0x00 00002557: SWAP2 00002558: DUP3 00002559: SWAP1 0000255a: PUSH2 0x255f 0000255d: JUMPI 0000255e: INVALID 0000255f: JUMPDEST 00002560: PUSH1 0x00 00002562: SWAP2 00002563: DUP3 00002564: MSTORE 00002565: PUSH1 0x20 00002567: SWAP1 00002568: SWAP2 00002569: KECCAK256 0000256a: ADD 0000256b: SLOAD 0000256c: PUSH1 0x01 0000256e: PUSH1 0x01 00002570: PUSH1 0xa0 00002572: SHL 00002573: SUB 00002574: AND 00002575: SWAP1 00002576: POP 00002577: DUP2 00002578: DUP6 00002579: EQ 0000257a: ISZERO 0000257b: PUSH2 0x2587 0000257e: JUMPI 0000257f: PUSH2 0x23c9 00002582: DUP2 00002583: PUSH2 0x19ba 00002586: JUMP 00002587: JUMPDEST 00002588: PUSH1 0x00 0000258a: PUSH2 0x25a2 0000258d: PUSH13 0x42616e636f72466f726d756c61 0000259b: PUSH1 0x98 0000259d: SHL 0000259e: PUSH2 0x1e3b 000025a1: JUMP 000025a2: JUMPDEST 000025a3: PUSH1 0x01 000025a5: PUSH1 0x01 000025a7: PUSH1 0xa0 000025a9: SHL 000025aa: SUB 000025ab: AND 000025ac: PUSH4 0x76cf0b56 000025b1: DUP5 000025b2: PUSH2 0x2409 000025b5: DUP6 000025b6: PUSH2 0x19ba 000025b9: JUMP 000025ba: JUMPDEST 000025bb: PUSH2 0x25c2 000025be: PUSH2 0x1d7b 000025c1: JUMP 000025c2: JUMPDEST 000025c3: PUSH1 0x00 000025c5: PUSH2 0x25cc 000025c8: PUSH2 0x1362 000025cb: JUMP 000025cc: JUMPDEST 000025cd: PUSH2 0xffff 000025d0: AND 000025d1: GT 000025d2: PUSH2 0x261e 000025d5: JUMPI 000025d6: PUSH1 0x40 000025d8: DUP1 000025d9: MLOAD 000025da: PUSH3 0x461bcd 000025de: PUSH1 0xe5 000025e0: SHL 000025e1: DUP2 000025e2: MSTORE 000025e3: PUSH1 0x20 000025e5: PUSH1 0x04 000025e7: DUP3 000025e8: ADD 000025e9: MSTORE 000025ea: PUSH1 0x19 000025ec: PUSH1 0x24 000025ee: DUP3 000025ef: ADD 000025f0: MSTORE 000025f1: PUSH25 0x11549497d253959053125117d49154d154959157d0d3d55395 0000260b: PUSH1 0x3a 0000260d: SHL 0000260e: PUSH1 0x44 00002610: DUP3 00002611: ADD 00002612: MSTORE 00002613: SWAP1 00002614: MLOAD 00002615: SWAP1 00002616: DUP2 00002617: SWAP1 00002618: SUB 00002619: PUSH1 0x64 0000261b: ADD 0000261c: SWAP1 0000261d: REVERT 0000261e: JUMPDEST 0000261f: PUSH1 0x04 00002621: DUP1 00002622: SLOAD 00002623: PUSH1 0x40 00002625: DUP1 00002626: MLOAD 00002627: PUSH4 0x79ba5097 0000262c: PUSH1 0xe0 0000262e: SHL 0000262f: DUP2 00002630: MSTORE 00002631: SWAP1 00002632: MLOAD 00002633: PUSH1 0x01 00002635: PUSH1 0x01 00002637: PUSH1 0xa0 00002639: SHL 0000263a: SUB 0000263b: SWAP1 0000263c: SWAP3 0000263d: AND 0000263e: SWAP3 0000263f: PUSH4 0x79ba5097 00002644: SWAP3 00002645: DUP3 00002646: DUP3 00002647: ADD 00002648: SWAP3 00002649: PUSH1 0x00 0000264b: SWAP3 0000264c: SWAP1 0000264d: DUP3 0000264e: SWAP1 0000264f: SUB 00002650: ADD 00002651: DUP2 00002652: DUP4 00002653: DUP8 00002654: DUP1 00002655: EXTCODESIZE 00002656: ISZERO 00002657: DUP1 00002658: ISZERO 00002659: PUSH2 0x2661 0000265c: JUMPI 0000265d: PUSH1 0x00 0000265f: DUP1 00002660: REVERT 00002661: JUMPDEST 00002662: POP 00002663: GAS 00002664: CALL 00002665: ISZERO 00002666: DUP1 00002667: ISZERO 00002668: PUSH2 0x2675 0000266b: JUMPI 0000266c: RETURNDATASIZE 0000266d: PUSH1 0x00 0000266f: DUP1 00002670: RETURNDATACOPY 00002671: RETURNDATASIZE 00002672: PUSH1 0x00 00002674: REVERT 00002675: JUMPDEST 00002676: POP 00002677: POP 00002678: POP 00002679: POP 0000267a: PUSH2 0x0dd6 0000267d: PUSH2 0x2c83 00002680: JUMP 00002681: JUMPDEST 00002682: PUSH1 0x00 00002684: DUP3 00002685: PUSH2 0x2690 00002688: JUMPI 00002689: POP 0000268a: PUSH1 0x00 0000268c: PUSH2 0x19b4 0000268f: JUMP 00002690: JUMPDEST 00002691: DUP3 00002692: DUP3 00002693: MUL 00002694: DUP3 00002695: DUP5 00002696: DUP3 00002697: DUP2 00002698: PUSH2 0x269d 0000269b: JUMPI 0000269c: INVALID 0000269d: JUMPDEST 0000269e: DIV 0000269f: EQ 000026a0: PUSH2 0x15d5 000026a3: JUMPI 000026a4: PUSH1 0x40 000026a6: DUP1 000026a7: MLOAD 000026a8: PUSH3 0x461bcd 000026ac: PUSH1 0xe5 000026ae: SHL 000026af: DUP2 000026b0: MSTORE 000026b1: PUSH1 0x20 000026b3: PUSH1 0x04 000026b5: DUP3 000026b6: ADD 000026b7: MSTORE 000026b8: PUSH1 0x0c 000026ba: PUSH1 0x24 000026bc: DUP3 000026bd: ADD 000026be: MSTORE 000026bf: PUSH12 0x4552525f4f564552464c4f57 000026cc: PUSH1 0xa0 000026ce: SHL 000026cf: PUSH1 0x44 000026d1: DUP3 000026d2: ADD 000026d3: MSTORE 000026d4: SWAP1 000026d5: MLOAD 000026d6: SWAP1 000026d7: DUP2 000026d8: SWAP1 000026d9: SUB 000026da: PUSH1 0x64 000026dc: ADD 000026dd: SWAP1 000026de: REVERT 000026df: JUMPDEST 000026e0: PUSH1 0x00 000026e2: DUP1 000026e3: DUP3 000026e4: GT 000026e5: PUSH2 0x272a 000026e8: JUMPI 000026e9: PUSH1 0x40 000026eb: DUP1 000026ec: MLOAD 000026ed: PUSH3 0x461bcd 000026f1: PUSH1 0xe5 000026f3: SHL 000026f4: DUP2 000026f5: MSTORE 000026f6: PUSH1 0x20 000026f8: PUSH1 0x04 000026fa: DUP3 000026fb: ADD 000026fc: MSTORE 000026fd: PUSH1 0x12 000026ff: PUSH1 0x24 00002701: DUP3 00002702: ADD 00002703: MSTORE 00002704: PUSH18 0x4552525f4449564944455f42595f5a45524f 00002717: PUSH1 0x70 00002719: SHL 0000271a: PUSH1 0x44 0000271c: DUP3 0000271d: ADD 0000271e: MSTORE 0000271f: SWAP1 00002720: MLOAD 00002721: SWAP1 00002722: DUP2 00002723: SWAP1 00002724: SUB 00002725: PUSH1 0x64 00002727: ADD 00002728: SWAP1 00002729: REVERT 0000272a: JUMPDEST 0000272b: PUSH1 0x00 0000272d: DUP3 0000272e: DUP5 0000272f: DUP2 00002730: PUSH2 0x2735 00002733: JUMPI 00002734: INVALID 00002735: JUMPDEST 00002736: DIV 00002737: SWAP5 00002738: SWAP4 00002739: POP 0000273a: POP 0000273b: POP 0000273c: POP 0000273d: JUMP 0000273e: JUMPDEST 0000273f: PUSH1 0x00 00002741: DUP3 00002742: DUP3 00002743: ADD 00002744: DUP4 00002745: DUP2 00002746: LT 00002747: ISZERO 00002748: PUSH2 0x15d5 0000274b: JUMPI 0000274c: PUSH1 0x40 0000274e: DUP1 0000274f: MLOAD 00002750: PUSH3 0x461bcd 00002754: PUSH1 0xe5 00002756: SHL 00002757: DUP2 00002758: MSTORE 00002759: PUSH1 0x20 0000275b: PUSH1 0x04 0000275d: DUP3 0000275e: ADD 0000275f: MSTORE 00002760: PUSH1 0x0c 00002762: PUSH1 0x24 00002764: DUP3 00002765: ADD 00002766: MSTORE 00002767: PUSH12 0x4552525f4f564552464c4f57 00002774: PUSH1 0xa0 00002776: SHL 00002777: PUSH1 0x44 00002779: DUP3 0000277a: ADD 0000277b: MSTORE 0000277c: SWAP1 0000277d: MLOAD 0000277e: SWAP1 0000277f: DUP2 00002780: SWAP1 00002781: SUB 00002782: PUSH1 0x64 00002784: ADD 00002785: SWAP1 00002786: REVERT 00002787: JUMPDEST 00002788: PUSH1 0x00 0000278a: DUP2 0000278b: DUP4 0000278c: LT 0000278d: ISZERO 0000278e: PUSH2 0x27ce 00002791: JUMPI 00002792: PUSH1 0x40 00002794: DUP1 00002795: MLOAD 00002796: PUSH3 0x461bcd 0000279a: PUSH1 0xe5 0000279c: SHL 0000279d: DUP2 0000279e: MSTORE 0000279f: PUSH1 0x20 000027a1: PUSH1 0x04 000027a3: DUP3 000027a4: ADD 000027a5: MSTORE 000027a6: PUSH1 0x0d 000027a8: PUSH1 0x24 000027aa: DUP3 000027ab: ADD 000027ac: MSTORE 000027ad: PUSH13 0x4552525f554e444552464c4f57 000027bb: PUSH1 0x98 000027bd: SHL 000027be: PUSH1 0x44 000027c0: DUP3 000027c1: ADD 000027c2: MSTORE 000027c3: SWAP1 000027c4: MLOAD 000027c5: SWAP1 000027c6: DUP2 000027c7: SWAP1 000027c8: SUB 000027c9: PUSH1 0x64 000027cb: ADD 000027cc: SWAP1 000027cd: REVERT 000027ce: JUMPDEST 000027cf: POP 000027d0: SWAP1 000027d1: SUB 000027d2: SWAP1 000027d3: JUMP 000027d4: JUMPDEST 000027d5: PUSH1 0x40 000027d7: DUP1 000027d8: MLOAD 000027d9: PUSH1 0x01 000027db: PUSH1 0x01 000027dd: PUSH1 0xa0 000027df: SHL 000027e0: SUB 000027e1: DUP5 000027e2: DUP2 000027e3: AND 000027e4: PUSH1 0x24 000027e6: DUP4 000027e7: ADD 000027e8: MSTORE 000027e9: PUSH1 0x44 000027eb: DUP1 000027ec: DUP4 000027ed: ADD 000027ee: DUP6 000027ef: SWAP1 000027f0: MSTORE 000027f1: DUP4 000027f2: MLOAD 000027f3: DUP1 000027f4: DUP5 000027f5: SUB 000027f6: SWAP1 000027f7: SWAP2 000027f8: ADD 000027f9: DUP2 000027fa: MSTORE 000027fb: PUSH1 0x64 000027fd: SWAP1 000027fe: SWAP3 000027ff: ADD 00002800: DUP4 00002801: MSTORE 00002802: PUSH1 0x20 00002804: DUP3 00002805: ADD 00002806: DUP1 00002807: MLOAD 00002808: PUSH1 0x01 0000280a: PUSH1 0x01 0000280c: PUSH1 0xe0 0000280e: SHL 0000280f: SUB 00002810: AND 00002811: PUSH4 0xa9059cbb 00002816: PUSH1 0xe0 00002818: SHL 00002819: OR 0000281a: DUP2 0000281b: MSTORE 0000281c: SWAP3 0000281d: MLOAD 0000281e: DUP3 0000281f: MLOAD 00002820: PUSH1 0x00 00002822: SWAP5 00002823: PUSH1 0x60 00002825: SWAP5 00002826: SWAP4 00002827: DUP10 00002828: AND 00002829: SWAP4 0000282a: SWAP3 0000282b: SWAP2 0000282c: DUP3 0000282d: SWAP2 0000282e: SWAP1 0000282f: DUP1 00002830: DUP4 00002831: DUP4 00002832: JUMPDEST 00002833: PUSH1 0x20 00002835: DUP4 00002836: LT 00002837: PUSH2 0x2851 0000283a: JUMPI 0000283b: DUP1 0000283c: MLOAD 0000283d: DUP3 0000283e: MSTORE 0000283f: PUSH1 0x1f 00002841: NOT 00002842: SWAP1 00002843: SWAP3 00002844: ADD 00002845: SWAP2 00002846: PUSH1 0x20 00002848: SWAP2 00002849: DUP3 0000284a: ADD 0000284b: SWAP2 0000284c: ADD 0000284d: PUSH2 0x2832 00002850: JUMP 00002851: JUMPDEST 00002852: PUSH1 0x01 00002854: DUP4 00002855: PUSH1 0x20 00002857: SUB 00002858: PUSH2 0x0100 0000285b: EXP 0000285c: SUB 0000285d: DUP1 0000285e: NOT 0000285f: DUP3 00002860: MLOAD 00002861: AND 00002862: DUP2 00002863: DUP5 00002864: MLOAD 00002865: AND 00002866: DUP1 00002867: DUP3 00002868: OR 00002869: DUP6 0000286a: MSTORE 0000286b: POP 0000286c: POP 0000286d: POP 0000286e: POP 0000286f: POP 00002870: POP 00002871: SWAP1 00002872: POP 00002873: ADD 00002874: SWAP2 00002875: POP 00002876: POP 00002877: PUSH1 0x00 00002879: PUSH1 0x40 0000287b: MLOAD 0000287c: DUP1 0000287d: DUP4 0000287e: SUB 0000287f: DUP2 00002880: PUSH1 0x00 00002882: DUP7 00002883: GAS 00002884: CALL 00002885: SWAP2 00002886: POP 00002887: POP 00002888: RETURNDATASIZE 00002889: DUP1 0000288a: PUSH1 0x00 0000288c: DUP2 0000288d: EQ 0000288e: PUSH2 0x28b3 00002891: JUMPI 00002892: PUSH1 0x40 00002894: MLOAD 00002895: SWAP2 00002896: POP 00002897: PUSH1 0x1f 00002899: NOT 0000289a: PUSH1 0x3f 0000289c: RETURNDATASIZE 0000289d: ADD 0000289e: AND 0000289f: DUP3 000028a0: ADD 000028a1: PUSH1 0x40 000028a3: MSTORE 000028a4: RETURNDATASIZE 000028a5: DUP3 000028a6: MSTORE 000028a7: RETURNDATASIZE 000028a8: PUSH1 0x00 000028aa: PUSH1 0x20 000028ac: DUP5 000028ad: ADD 000028ae: RETURNDATACOPY 000028af: PUSH2 0x28b8 000028b2: JUMP 000028b3: JUMPDEST 000028b4: PUSH1 0x60 000028b6: SWAP2 000028b7: POP 000028b8: JUMPDEST 000028b9: POP 000028ba: SWAP2 000028bb: POP 000028bc: SWAP2 000028bd: POP 000028be: DUP2 000028bf: DUP1 000028c0: ISZERO 000028c1: PUSH2 0x28e6 000028c4: JUMPI 000028c5: POP 000028c6: DUP1 000028c7: MLOAD 000028c8: ISZERO 000028c9: DUP1 000028ca: PUSH2 0x28e6 000028cd: JUMPI 000028ce: POP 000028cf: DUP1 000028d0: DUP1 000028d1: PUSH1 0x20 000028d3: ADD 000028d4: SWAP1 000028d5: MLOAD 000028d6: PUSH1 0x20 000028d8: DUP2 000028d9: LT 000028da: ISZERO 000028db: PUSH2 0x28e3 000028de: JUMPI 000028df: PUSH1 0x00 000028e1: DUP1 000028e2: REVERT 000028e3: JUMPDEST 000028e4: POP 000028e5: MLOAD 000028e6: JUMPDEST 000028e7: PUSH2 0x1148 000028ea: JUMPI 000028eb: PUSH1 0x40 000028ed: DUP1 000028ee: MLOAD 000028ef: PUSH3 0x461bcd 000028f3: PUSH1 0xe5 000028f5: SHL 000028f6: DUP2 000028f7: MSTORE 000028f8: PUSH1 0x20 000028fa: PUSH1 0x04 000028fc: DUP3 000028fd: ADD 000028fe: MSTORE 000028ff: PUSH1 0x13 00002901: PUSH1 0x24 00002903: DUP3 00002904: ADD 00002905: MSTORE 00002906: PUSH19 0x11549497d514905394d1915497d19052531151 0000291a: PUSH1 0x6a 0000291c: SHL 0000291d: PUSH1 0x44 0000291f: DUP3 00002920: ADD 00002921: MSTORE 00002922: SWAP1 00002923: MLOAD 00002924: SWAP1 00002925: DUP2 00002926: SWAP1 00002927: SUB 00002928: PUSH1 0x64 0000292a: ADD 0000292b: SWAP1 0000292c: REVERT 0000292d: JUMPDEST 0000292e: PUSH2 0x2936 00002931: DUP2 00002932: PUSH2 0x1e3b 00002935: JUMP 00002936: JUMPDEST 00002937: PUSH1 0x01 00002939: PUSH1 0x01 0000293b: PUSH1 0xa0 0000293d: SHL 0000293e: SUB 0000293f: AND 00002940: CALLER 00002941: PUSH1 0x01 00002943: PUSH1 0x01 00002945: PUSH1 0xa0 00002947: SHL 00002948: SUB 00002949: AND 0000294a: EQ 0000294b: PUSH2 0x0d34 0000294e: JUMPI 0000294f: PUSH1 0x40 00002951: DUP1 00002952: MLOAD 00002953: PUSH3 0x461bcd 00002957: PUSH1 0xe5 00002959: SHL 0000295a: DUP2 0000295b: MSTORE 0000295c: PUSH1 0x20 0000295e: PUSH1 0x04 00002960: DUP3 00002961: ADD 00002962: MSTORE 00002963: PUSH1 0x11 00002965: PUSH1 0x24 00002967: DUP3 00002968: ADD 00002969: MSTORE 0000296a: PUSH17 0x11549497d050d0d154d4d7d11153925151 0000297c: PUSH1 0x7a 0000297e: SHL 0000297f: PUSH1 0x44 00002981: DUP3 00002982: ADD 00002983: MSTORE 00002984: SWAP1 00002985: MLOAD 00002986: SWAP1 00002987: DUP2 00002988: SWAP1 00002989: SUB 0000298a: PUSH1 0x64 0000298c: ADD 0000298d: SWAP1 0000298e: REVERT 0000298f: JUMPDEST 00002990: PUSH1 0x04 00002992: SLOAD 00002993: PUSH1 0x00 00002995: SWAP1 00002996: DUP2 00002997: SWAP1 00002998: DUP2 00002999: SWAP1 0000299a: PUSH1 0x01 0000299c: PUSH1 0x01 0000299e: PUSH1 0xa0 000029a0: SHL 000029a1: SUB 000029a2: DUP9 000029a3: DUP2 000029a4: AND 000029a5: SWAP2 000029a6: AND 000029a7: EQ 000029a8: DUP1 000029a9: ISZERO 000029aa: PUSH2 0x29d5 000029ad: JUMPI 000029ae: POP 000029af: PUSH1 0x01 000029b1: PUSH1 0x01 000029b3: PUSH1 0xa0 000029b5: SHL 000029b6: SUB 000029b7: DUP9 000029b8: AND 000029b9: PUSH1 0x00 000029bb: SWAP1 000029bc: DUP2 000029bd: MSTORE 000029be: PUSH1 0x07 000029c0: PUSH1 0x20 000029c2: MSTORE 000029c3: PUSH1 0x40 000029c5: SWAP1 000029c6: KECCAK256 000029c7: PUSH1 0x01 000029c9: ADD 000029ca: SLOAD 000029cb: PUSH1 0x01 000029cd: PUSH1 0x30 000029cf: SHL 000029d0: SWAP1 000029d1: DIV 000029d2: PUSH1 0xff 000029d4: AND 000029d5: JUMPDEST 000029d6: ISZERO 000029d7: PUSH2 0x29ee 000029da: JUMPI 000029db: POP 000029dc: DUP7 000029dd: PUSH2 0x29e7 000029e0: DUP7 000029e1: DUP7 000029e2: DUP7 000029e3: PUSH2 0x2cc3 000029e6: JUMP 000029e7: JUMPDEST 000029e8: SWAP2 000029e9: POP 000029ea: PUSH2 0x2a3f 000029ed: JUMP 000029ee: JUMPDEST 000029ef: PUSH1 0x04 000029f1: SLOAD 000029f2: PUSH1 0x01 000029f4: PUSH1 0x01 000029f6: PUSH1 0xa0 000029f8: SHL 000029f9: SUB 000029fa: DUP10 000029fb: DUP2 000029fc: AND 000029fd: SWAP2 000029fe: AND 000029ff: EQ 00002a00: DUP1 00002a01: ISZERO 00002a02: PUSH2 0x2a2d 00002a05: JUMPI 00002a06: POP 00002a07: PUSH1 0x01 00002a09: PUSH1 0x01 00002a0b: PUSH1 0xa0 00002a0d: SHL 00002a0e: SUB 00002a0f: DUP8 00002a10: AND 00002a11: PUSH1 0x00 00002a13: SWAP1 00002a14: DUP2 00002a15: MSTORE 00002a16: PUSH1 0x07 00002a18: PUSH1 0x20 00002a1a: MSTORE 00002a1b: PUSH1 0x40 00002a1d: SWAP1 00002a1e: KECCAK256 00002a1f: PUSH1 0x01 00002a21: ADD 00002a22: SLOAD 00002a23: PUSH1 0x01 00002a25: PUSH1 0x30 00002a27: SHL 00002a28: SWAP1 00002a29: DIV 00002a2a: PUSH1 0xff 00002a2c: AND 00002a2d: JUMPDEST 00002a2e: ISZERO 00002a2f: PUSH2 0x1446 00002a32: JUMPI 00002a33: POP 00002a34: DUP6 00002a35: PUSH2 0x29e7 00002a38: DUP7 00002a39: DUP7 00002a3a: DUP7 00002a3b: PUSH2 0x2f37 00002a3e: JUMP 00002a3f: JUMPDEST 00002a40: PUSH1 0x00 00002a42: PUSH1 0x04 00002a44: PUSH1 0x00 00002a46: SWAP1 00002a47: SLOAD 00002a48: SWAP1 00002a49: PUSH2 0x0100 00002a4c: EXP 00002a4d: SWAP1 00002a4e: DIV 00002a4f: PUSH1 0x01 00002a51: PUSH1 0x01 00002a53: PUSH1 0xa0 00002a55: SHL 00002a56: SUB 00002a57: AND 00002a58: PUSH1 0x01 00002a5a: PUSH1 0x01 00002a5c: PUSH1 0xa0 00002a5e: SHL 00002a5f: SUB 00002a60: AND 00002a61: PUSH4 0x18160ddd 00002a66: PUSH1 0x40 00002a68: MLOAD 00002a69: DUP2 00002a6a: PUSH4 0xffffffff 00002a6f: AND 00002a70: PUSH1 0xe0 00002a72: SHL 00002a73: DUP2 00002a74: MSTORE 00002a75: PUSH1 0x04 00002a77: ADD 00002a78: PUSH1 0x20 00002a7a: PUSH1 0x40 00002a7c: MLOAD 00002a7d: DUP1 00002a7e: DUP4 00002a7f: SUB 00002a80: DUP2 00002a81: DUP7 00002a82: DUP1 00002a83: EXTCODESIZE 00002a84: ISZERO 00002a85: DUP1 00002a86: ISZERO 00002a87: PUSH2 0x2a8f 00002a8a: JUMPI 00002a8b: PUSH1 0x00 00002a8d: DUP1 00002a8e: REVERT 00002a8f: JUMPDEST 00002a90: POP 00002a91: GAS 00002a92: STATICCALL 00002a93: ISZERO 00002a94: DUP1 00002a95: ISZERO 00002a96: PUSH2 0x2aa3 00002a99: JUMPI 00002a9a: RETURNDATASIZE 00002a9b: PUSH1 0x00 00002a9d: DUP1 00002a9e: RETURNDATACOPY 00002a9f: RETURNDATASIZE 00002aa0: PUSH1 0x00 00002aa2: REVERT 00002aa3: JUMPDEST 00002aa4: POP 00002aa5: POP 00002aa6: POP 00002aa7: POP 00002aa8: PUSH1 0x40 00002aaa: MLOAD 00002aab: RETURNDATASIZE 00002aac: PUSH1 0x20 00002aae: DUP2 00002aaf: LT 00002ab0: ISZERO 00002ab1: PUSH2 0x2ab9 00002ab4: JUMPI 00002ab5: PUSH1 0x00 00002ab7: DUP1 00002ab8: REVERT 00002ab9: JUMPDEST 00002aba: POP 00002abb: MLOAD 00002abc: PUSH1 0x01 00002abe: PUSH1 0x01 00002ac0: PUSH1 0xa0 00002ac2: SHL 00002ac3: SUB 00002ac4: DUP1 00002ac5: DUP5 00002ac6: AND 00002ac7: PUSH1 0x00 00002ac9: DUP2 00002aca: DUP2 00002acb: MSTORE 00002acc: PUSH1 0x07 00002ace: PUSH1 0x20 00002ad0: MSTORE 00002ad1: PUSH1 0x40 00002ad3: SWAP1 00002ad4: KECCAK256 00002ad5: PUSH1 0x01 00002ad7: ADD 00002ad8: SLOAD 00002ad9: PUSH1 0x04 00002adb: SLOAD 00002adc: SWAP4 00002add: SWAP5 00002ade: POP 00002adf: PUSH4 0xffffffff 00002ae4: AND 00002ae5: SWAP3 00002ae6: SWAP1 00002ae7: SWAP2 00002ae8: AND 00002ae9: PUSH32 0x77f29993cf2c084e726f7e802da0719d6a0ade3e204badc7a3ffd57ecb768c24 00002b0a: PUSH2 0x2b19 00002b0d: PUSH3 0x0f4240 00002b11: PUSH2 0x15c9 00002b14: DUP9 00002b15: PUSH2 0x19ba 00002b18: JUMP 00002b19: JUMPDEST 00002b1a: PUSH2 0x2b2c 00002b1d: DUP7 00002b1e: PUSH4 0xffffffff 00002b23: DUP1 00002b24: DUP9 00002b25: AND 00002b26: SWAP1 00002b27: PUSH2 0x2681 00002b2a: AND 00002b2b: JUMP 00002b2c: JUMPDEST 00002b2d: PUSH1 0x40 00002b2f: DUP1 00002b30: MLOAD 00002b31: SWAP3 00002b32: DUP4 00002b33: MSTORE 00002b34: PUSH1 0x20 00002b36: DUP4 00002b37: ADD 00002b38: SWAP2 00002b39: SWAP1 00002b3a: SWAP2 00002b3b: MSTORE 00002b3c: DUP1 00002b3d: MLOAD 00002b3e: SWAP2 00002b3f: DUP3 00002b40: SWAP1 00002b41: SUB 00002b42: ADD 00002b43: SWAP1 00002b44: LOG3 00002b45: POP 00002b46: SWAP2 00002b47: SWAP9 00002b48: SWAP8 00002b49: POP 00002b4a: POP 00002b4b: POP 00002b4c: POP 00002b4d: POP 00002b4e: POP 00002b4f: POP 00002b50: POP 00002b51: JUMP 00002b52: JUMPDEST 00002b53: PUSH1 0x01 00002b55: PUSH1 0x01 00002b57: PUSH1 0xa0 00002b59: SHL 00002b5a: SUB 00002b5b: DUP2 00002b5c: AND 00002b5d: PUSH2 0x0d34 00002b60: JUMPI 00002b61: PUSH1 0x40 00002b63: DUP1 00002b64: MLOAD 00002b65: PUSH3 0x461bcd 00002b69: PUSH1 0xe5 00002b6b: SHL 00002b6c: DUP2 00002b6d: MSTORE 00002b6e: PUSH1 0x20 00002b70: PUSH1 0x04 00002b72: DUP3 00002b73: ADD 00002b74: MSTORE 00002b75: PUSH1 0x13 00002b77: PUSH1 0x24 00002b79: DUP3 00002b7a: ADD 00002b7b: MSTORE 00002b7c: PUSH19 0x4552525f494e56414c49445f41444452455353 00002b90: PUSH1 0x68 00002b92: SHL 00002b93: PUSH1 0x44 00002b95: DUP3 00002b96: ADD 00002b97: MSTORE 00002b98: SWAP1 00002b99: MLOAD 00002b9a: SWAP1 00002b9b: DUP2 00002b9c: SWAP1 00002b9d: SUB 00002b9e: PUSH1 0x64 00002ba0: ADD 00002ba1: SWAP1 00002ba2: REVERT 00002ba3: JUMPDEST 00002ba4: PUSH1 0x00 00002ba6: DUP2 00002ba7: PUSH4 0xffffffff 00002bac: AND 00002bad: GT 00002bae: DUP1 00002baf: ISZERO 00002bb0: PUSH2 0x2bc2 00002bb3: JUMPI 00002bb4: POP 00002bb5: PUSH3 0x0f4240 00002bb9: PUSH4 0xffffffff 00002bbe: DUP3 00002bbf: AND 00002bc0: GT 00002bc1: ISZERO 00002bc2: JUMPDEST 00002bc3: PUSH2 0x0d34 00002bc6: JUMPI 00002bc7: PUSH1 0x40 00002bc9: DUP1 00002bca: MLOAD 00002bcb: PUSH3 0x461bcd 00002bcf: PUSH1 0xe5 00002bd1: SHL 00002bd2: DUP2 00002bd3: MSTORE 00002bd4: PUSH1 0x20 00002bd6: PUSH1 0x04 00002bd8: DUP3 00002bd9: ADD 00002bda: MSTORE 00002bdb: PUSH1 0x1a 00002bdd: PUSH1 0x24 00002bdf: DUP3 00002be0: ADD 00002be1: MSTORE 00002be2: PUSH26 0x11549497d253959053125117d49154d154959157d5d15251d215 00002bfd: PUSH1 0x32 00002bff: SHL 00002c00: PUSH1 0x44 00002c02: DUP3 00002c03: ADD 00002c04: MSTORE 00002c05: SWAP1 00002c06: MLOAD 00002c07: SWAP1 00002c08: DUP2 00002c09: SWAP1 00002c0a: SUB 00002c0b: PUSH1 0x64 00002c0d: ADD 00002c0e: SWAP1 00002c0f: REVERT 00002c10: JUMPDEST 00002c11: PUSH2 0x2c18 00002c14: PUSH2 0x0d37 00002c17: JUMP 00002c18: JUMPDEST 00002c19: PUSH2 0x0dd6 00002c1c: JUMPI 00002c1d: PUSH1 0x40 00002c1f: DUP1 00002c20: MLOAD 00002c21: PUSH3 0x461bcd 00002c25: PUSH1 0xe5 00002c27: SHL 00002c28: DUP2 00002c29: MSTORE 00002c2a: PUSH1 0x20 00002c2c: PUSH1 0x04 00002c2e: DUP3 00002c2f: ADD 00002c30: MSTORE 00002c31: PUSH1 0x0c 00002c33: PUSH1 0x24 00002c35: DUP3 00002c36: ADD 00002c37: MSTORE 00002c38: PUSH12 0x4552525f494e414354495645 00002c45: PUSH1 0xa0 00002c47: SHL 00002c48: PUSH1 0x44 00002c4a: DUP3 00002c4b: ADD 00002c4c: MSTORE 00002c4d: SWAP1 00002c4e: MLOAD 00002c4f: SWAP1 00002c50: DUP2 00002c51: SWAP1 00002c52: SUB 00002c53: PUSH1 0x64 00002c55: ADD 00002c56: SWAP1 00002c57: REVERT 00002c58: JUMPDEST 00002c59: PUSH1 0x08 00002c5b: SLOAD 00002c5c: PUSH1 0x00 00002c5e: SWAP1 00002c5f: PUSH2 0x19b4 00002c62: SWAP1 00002c63: PUSH3 0x0f4240 00002c67: SWAP1 00002c68: PUSH2 0x15cf 00002c6b: SWAP1 00002c6c: DUP6 00002c6d: SWAP1 00002c6e: PUSH1 0x01 00002c70: PUSH1 0x40 00002c72: SHL 00002c73: SWAP1 00002c74: DIV 00002c75: PUSH4 0xffffffff 00002c7a: SWAP1 00002c7b: DUP2 00002c7c: AND 00002c7d: SWAP1 00002c7e: PUSH2 0x2681 00002c81: AND 00002c82: JUMP 00002c83: JUMPDEST 00002c84: PUSH1 0x06 00002c86: SLOAD 00002c87: PUSH1 0x00 00002c89: JUMPDEST 00002c8a: DUP2 00002c8b: DUP2 00002c8c: LT 00002c8d: ISZERO 00002c8e: PUSH2 0x1260 00002c91: JUMPI 00002c92: PUSH2 0x2cbb 00002c95: PUSH1 0x06 00002c97: DUP3 00002c98: DUP2 00002c99: SLOAD 00002c9a: DUP2 00002c9b: LT 00002c9c: PUSH2 0x2ca1 00002c9f: JUMPI 00002ca0: INVALID 00002ca1: JUMPDEST 00002ca2: PUSH1 0x00 00002ca4: SWAP2 00002ca5: DUP3 00002ca6: MSTORE 00002ca7: PUSH1 0x20 00002ca9: SWAP1 00002caa: SWAP2 00002cab: KECCAK256 00002cac: ADD 00002cad: SLOAD 00002cae: PUSH1 0x01 00002cb0: PUSH1 0x01 00002cb2: PUSH1 0xa0 00002cb4: SHL 00002cb5: SUB 00002cb6: AND 00002cb7: PUSH2 0x1f96 00002cba: JUMP 00002cbb: JUMPDEST 00002cbc: PUSH1 0x01 00002cbe: ADD 00002cbf: PUSH2 0x2c89 00002cc2: JUMP 00002cc3: JUMPDEST 00002cc4: PUSH1 0x00 00002cc6: DUP1 00002cc7: PUSH1 0x00 00002cc9: PUSH2 0x2cd1 00002ccc: DUP7 00002ccd: PUSH2 0x22da 00002cd0: JUMP 00002cd1: JUMPDEST 00002cd2: SWAP2 00002cd3: POP 00002cd4: SWAP2 00002cd5: POP 00002cd6: DUP2 00002cd7: PUSH1 0x00 00002cd9: EQ 00002cda: ISZERO 00002cdb: PUSH2 0x2d24 00002cde: JUMPI 00002cdf: PUSH1 0x40 00002ce1: DUP1 00002ce2: MLOAD 00002ce3: PUSH3 0x461bcd 00002ce7: PUSH1 0xe5 00002ce9: SHL 00002cea: DUP2 00002ceb: MSTORE 00002cec: PUSH1 0x20 00002cee: PUSH1 0x04 00002cf0: DUP3 00002cf1: ADD 00002cf2: MSTORE 00002cf3: PUSH1 0x16 00002cf5: PUSH1 0x24 00002cf7: DUP3 00002cf8: ADD 00002cf9: MSTORE 00002cfa: PUSH22 0x11549497d6915493d7d5105491d15517d05353d55395 00002d11: PUSH1 0x52 00002d13: SHL 00002d14: PUSH1 0x44 00002d16: DUP3 00002d17: ADD 00002d18: MSTORE 00002d19: SWAP1 00002d1a: MLOAD 00002d1b: SWAP1 00002d1c: DUP2 00002d1d: SWAP1 00002d1e: SUB 00002d1f: PUSH1 0x64 00002d21: ADD 00002d22: SWAP1 00002d23: REVERT 00002d24: JUMPDEST 00002d25: PUSH1 0x00 00002d27: PUSH1 0x06 00002d29: PUSH1 0x00 00002d2b: DUP2 00002d2c: SLOAD 00002d2d: DUP2 00002d2e: LT 00002d2f: PUSH2 0x2d34 00002d32: JUMPI 00002d33: INVALID 00002d34: JUMPDEST 00002d35: PUSH1 0x00 00002d37: SWAP2 00002d38: DUP3 00002d39: MSTORE 00002d3a: PUSH1 0x20 00002d3c: SWAP1 00002d3d: SWAP2 00002d3e: KECCAK256 00002d3f: ADD 00002d40: SLOAD 00002d41: PUSH1 0x01 00002d43: PUSH1 0x01 00002d45: PUSH1 0xa0 00002d47: SHL 00002d48: SUB 00002d49: AND 00002d4a: SWAP1 00002d4b: POP 00002d4c: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 00002d61: DUP2 00002d62: EQ 00002d63: ISZERO 00002d64: PUSH2 0x2dc0 00002d67: JUMPI 00002d68: DUP7 00002d69: CALLVALUE 00002d6a: EQ 00002d6b: PUSH2 0x2dbb 00002d6e: JUMPI 00002d6f: PUSH1 0x40 00002d71: DUP1 00002d72: MLOAD 00002d73: PUSH3 0x461bcd 00002d77: PUSH1 0xe5 00002d79: SHL 00002d7a: DUP2 00002d7b: MSTORE 00002d7c: PUSH1 0x20 00002d7e: PUSH1 0x04 00002d80: DUP3 00002d81: ADD 00002d82: MSTORE 00002d83: PUSH1 0x17 00002d85: PUSH1 0x24 00002d87: DUP3 00002d88: ADD 00002d89: MSTORE 00002d8a: PUSH32 0x4552525f4554485f414d4f554e545f4d49534d41544348000000000000000000 00002dab: PUSH1 0x44 00002dad: DUP3 00002dae: ADD 00002daf: MSTORE 00002db0: SWAP1 00002db1: MLOAD 00002db2: SWAP1 00002db3: DUP2 00002db4: SWAP1 00002db5: SUB 00002db6: PUSH1 0x64 00002db8: ADD 00002db9: SWAP1 00002dba: REVERT 00002dbb: JUMPDEST 00002dbc: PUSH2 0x2e97 00002dbf: JUMP 00002dc0: JUMPDEST 00002dc1: CALLVALUE 00002dc2: ISZERO 00002dc3: DUP1 00002dc4: ISZERO 00002dc5: PUSH2 0x2e51 00002dc8: JUMPI 00002dc9: POP 00002dca: DUP7 00002dcb: PUSH2 0x2e4e 00002dce: PUSH2 0x2dd6 00002dd1: DUP4 00002dd2: PUSH2 0x19ba 00002dd5: JUMP 00002dd6: JUMPDEST 00002dd7: PUSH1 0x40 00002dd9: DUP1 00002dda: MLOAD 00002ddb: PUSH4 0x70a08231 00002de0: PUSH1 0xe0 00002de2: SHL 00002de3: DUP2 00002de4: MSTORE 00002de5: ADDRESS 00002de6: PUSH1 0x04 00002de8: DUP3 00002de9: ADD 00002dea: MSTORE 00002deb: SWAP1 00002dec: MLOAD 00002ded: PUSH1 0x01 00002def: PUSH1 0x01 00002df1: PUSH1 0xa0 00002df3: SHL 00002df4: SUB 00002df5: DUP7 00002df6: AND 00002df7: SWAP2 00002df8: PUSH4 0x70a08231 00002dfd: SWAP2 00002dfe: PUSH1 0x24 00002e00: DUP1 00002e01: DUP4 00002e02: ADD 00002e03: SWAP3 00002e04: PUSH1 0x20 00002e06: SWAP3 00002e07: SWAP2 00002e08: SWAP1 00002e09: DUP3 00002e0a: SWAP1 00002e0b: SUB 00002e0c: ADD 00002e0d: DUP2 00002e0e: DUP7 00002e0f: DUP1 00002e10: EXTCODESIZE 00002e11: ISZERO 00002e12: DUP1 00002e13: ISZERO 00002e14: PUSH2 0x2e1c 00002e17: JUMPI 00002e18: PUSH1 0x00 00002e1a: DUP1 00002e1b: REVERT 00002e1c: JUMPDEST 00002e1d: POP 00002e1e: GAS 00002e1f: STATICCALL 00002e20: ISZERO 00002e21: DUP1 00002e22: ISZERO 00002e23: PUSH2 0x2e30 00002e26: JUMPI 00002e27: RETURNDATASIZE 00002e28: PUSH1 0x00 00002e2a: DUP1 00002e2b: RETURNDATACOPY 00002e2c: RETURNDATASIZE 00002e2d: PUSH1 0x00 00002e2f: REVERT 00002e30: JUMPDEST 00002e31: POP 00002e32: POP 00002e33: POP 00002e34: POP 00002e35: PUSH1 0x40 00002e37: MLOAD 00002e38: RETURNDATASIZE 00002e39: PUSH1 0x20 00002e3b: DUP2 00002e3c: LT 00002e3d: ISZERO 00002e3e: PUSH2 0x2e46 00002e41: JUMPI 00002e42: PUSH1 0x00 00002e44: DUP1 00002e45: REVERT 00002e46: JUMPDEST 00002e47: POP 00002e48: MLOAD 00002e49: SWAP1 00002e4a: PUSH2 0x2787 00002e4d: JUMP 00002e4e: JUMPDEST 00002e4f: LT 00002e50: ISZERO 00002e51: JUMPDEST 00002e52: PUSH2 0x2e97 00002e55: JUMPI 00002e56: PUSH1 0x40 00002e58: DUP1 00002e59: MLOAD 00002e5a: PUSH3 0x461bcd 00002e5e: PUSH1 0xe5 00002e60: SHL 00002e61: DUP2 00002e62: MSTORE 00002e63: PUSH1 0x20 00002e65: PUSH1 0x04 00002e67: DUP3 00002e68: ADD 00002e69: MSTORE 00002e6a: PUSH1 0x12 00002e6c: PUSH1 0x24 00002e6e: DUP3 00002e6f: ADD 00002e70: MSTORE 00002e71: PUSH18 0x11549497d253959053125117d05353d55395 00002e84: PUSH1 0x72 00002e86: SHL 00002e87: PUSH1 0x44 00002e89: DUP3 00002e8a: ADD 00002e8b: MSTORE 00002e8c: SWAP1 00002e8d: MLOAD 00002e8e: SWAP1 00002e8f: DUP2 00002e90: SWAP1 00002e91: SUB 00002e92: PUSH1 0x64 00002e94: ADD 00002e95: SWAP1 00002e96: REVERT 00002e97: JUMPDEST 00002e98: PUSH2 0x2ea0 00002e9b: DUP2 00002e9c: PUSH2 0x1f96 00002e9f: JUMP 00002ea0: JUMPDEST 00002ea1: PUSH1 0x04 00002ea3: DUP1 00002ea4: SLOAD 00002ea5: PUSH1 0x40 00002ea7: DUP1 00002ea8: MLOAD 00002ea9: PUSH4 0x219e412d 00002eae: PUSH1 0xe2 00002eb0: SHL 00002eb1: DUP2 00002eb2: MSTORE 00002eb3: PUSH1 0x01 00002eb5: PUSH1 0x01 00002eb7: PUSH1 0xa0 00002eb9: SHL 00002eba: SUB 00002ebb: DUP10 00002ebc: DUP2 00002ebd: AND 00002ebe: SWAP5 00002ebf: DUP3 00002ec0: ADD 00002ec1: SWAP5 00002ec2: SWAP1 00002ec3: SWAP5 00002ec4: MSTORE 00002ec5: PUSH1 0x24 00002ec7: DUP2 00002ec8: ADD 00002ec9: DUP8 00002eca: SWAP1 00002ecb: MSTORE 00002ecc: SWAP1 00002ecd: MLOAD 00002ece: SWAP3 00002ecf: SWAP1 00002ed0: SWAP2 00002ed1: AND 00002ed2: SWAP2 00002ed3: PUSH4 0x867904b4 00002ed8: SWAP2 00002ed9: PUSH1 0x44 00002edb: DUP1 00002edc: DUP3 00002edd: ADD 00002ede: SWAP3 00002edf: PUSH1 0x00 00002ee1: SWAP3 00002ee2: SWAP1 00002ee3: SWAP2 00002ee4: SWAP1 00002ee5: DUP3 00002ee6: SWAP1 00002ee7: SUB 00002ee8: ADD 00002ee9: DUP2 00002eea: DUP4 00002eeb: DUP8 00002eec: DUP1 00002eed: EXTCODESIZE 00002eee: ISZERO 00002eef: DUP1 00002ef0: ISZERO 00002ef1: PUSH2 0x2ef9 00002ef4: JUMPI 00002ef5: PUSH1 0x00 00002ef7: DUP1 00002ef8: REVERT 00002ef9: JUMPDEST 00002efa: POP 00002efb: GAS 00002efc: CALL 00002efd: ISZERO 00002efe: DUP1 00002eff: ISZERO 00002f00: PUSH2 0x2f0d 00002f03: JUMPI 00002f04: RETURNDATASIZE 00002f05: PUSH1 0x00 00002f07: DUP1 00002f08: RETURNDATACOPY 00002f09: RETURNDATASIZE 00002f0a: PUSH1 0x00 00002f0c: REVERT 00002f0d: JUMPDEST 00002f0e: POP 00002f0f: POP 00002f10: PUSH1 0x04 00002f12: SLOAD 00002f13: PUSH2 0x2f2c 00002f16: SWAP3 00002f17: POP 00002f18: DUP4 00002f19: SWAP2 00002f1a: POP 00002f1b: PUSH1 0x01 00002f1d: PUSH1 0x01 00002f1f: PUSH1 0xa0 00002f21: SHL 00002f22: SUB 00002f23: AND 00002f24: DUP9 00002f25: DUP11 00002f26: DUP8 00002f27: DUP8 00002f28: PUSH2 0x324c 00002f2b: JUMP 00002f2c: JUMPDEST 00002f2d: POP 00002f2e: SWAP1 00002f2f: SWAP6 00002f30: SWAP5 00002f31: POP 00002f32: POP 00002f33: POP 00002f34: POP 00002f35: POP 00002f36: JUMP 00002f37: JUMPDEST 00002f38: PUSH1 0x04 00002f3a: DUP1 00002f3b: SLOAD 00002f3c: PUSH1 0x40 00002f3e: DUP1 00002f3f: MLOAD 00002f40: PUSH4 0x70a08231 00002f45: PUSH1 0xe0 00002f47: SHL 00002f48: DUP2 00002f49: MSTORE 00002f4a: ADDRESS 00002f4b: SWAP4 00002f4c: DUP2 00002f4d: ADD 00002f4e: SWAP4 00002f4f: SWAP1 00002f50: SWAP4 00002f51: MSTORE 00002f52: MLOAD 00002f53: PUSH1 0x00 00002f55: SWAP3 00002f56: PUSH1 0x01 00002f58: PUSH1 0x01 00002f5a: PUSH1 0xa0 00002f5c: SHL 00002f5d: SUB 00002f5e: SWAP1 00002f5f: SWAP3 00002f60: AND 00002f61: SWAP2 00002f62: PUSH4 0x70a08231 00002f67: SWAP2 00002f68: PUSH1 0x24 00002f6a: DUP1 00002f6b: DUP4 00002f6c: ADD 00002f6d: SWAP3 00002f6e: PUSH1 0x20 00002f70: SWAP3 00002f71: SWAP2 00002f72: SWAP1 00002f73: DUP3 00002f74: SWAP1 00002f75: SUB 00002f76: ADD 00002f77: DUP2 00002f78: DUP7 00002f79: DUP1 00002f7a: EXTCODESIZE 00002f7b: ISZERO 00002f7c: DUP1 00002f7d: ISZERO 00002f7e: PUSH2 0x2f86 00002f81: JUMPI 00002f82: PUSH1 0x00 00002f84: DUP1 00002f85: REVERT 00002f86: JUMPDEST 00002f87: POP 00002f88: GAS 00002f89: STATICCALL 00002f8a: ISZERO 00002f8b: DUP1 00002f8c: ISZERO 00002f8d: PUSH2 0x2f9a 00002f90: JUMPI 00002f91: RETURNDATASIZE 00002f92: PUSH1 0x00 00002f94: DUP1 00002f95: RETURNDATACOPY 00002f96: RETURNDATASIZE 00002f97: PUSH1 0x00 00002f99: REVERT 00002f9a: JUMPDEST 00002f9b: POP 00002f9c: POP 00002f9d: POP 00002f9e: POP 00002f9f: PUSH1 0x40 00002fa1: MLOAD 00002fa2: RETURNDATASIZE 00002fa3: PUSH1 0x20 00002fa5: DUP2 00002fa6: LT 00002fa7: ISZERO 00002fa8: PUSH2 0x2fb0 00002fab: JUMPI 00002fac: PUSH1 0x00 00002fae: DUP1 00002faf: REVERT 00002fb0: JUMPDEST 00002fb1: POP 00002fb2: MLOAD 00002fb3: DUP5 00002fb4: GT 00002fb5: ISZERO 00002fb6: PUSH2 0x2ffb 00002fb9: JUMPI 00002fba: PUSH1 0x40 00002fbc: DUP1 00002fbd: MLOAD 00002fbe: PUSH3 0x461bcd 00002fc2: PUSH1 0xe5 00002fc4: SHL 00002fc5: DUP2 00002fc6: MSTORE 00002fc7: PUSH1 0x20 00002fc9: PUSH1 0x04 00002fcb: DUP3 00002fcc: ADD 00002fcd: MSTORE 00002fce: PUSH1 0x12 00002fd0: PUSH1 0x24 00002fd2: DUP3 00002fd3: ADD 00002fd4: MSTORE 00002fd5: PUSH18 0x11549497d253959053125117d05353d55395 00002fe8: PUSH1 0x72 00002fea: SHL 00002feb: PUSH1 0x44 00002fed: DUP3 00002fee: ADD 00002fef: MSTORE 00002ff0: SWAP1 00002ff1: MLOAD 00002ff2: SWAP1 00002ff3: DUP2 00002ff4: SWAP1 00002ff5: SUB 00002ff6: PUSH1 0x64 00002ff8: ADD 00002ff9: SWAP1 00002ffa: REVERT 00002ffb: JUMPDEST 00002ffc: PUSH1 0x00 00002ffe: DUP1 00002fff: PUSH2 0x3007 00003002: DUP7 00003003: PUSH2 0x24c6 00003006: JUMP 00003007: JUMPDEST 00003008: SWAP2 00003009: POP 0000300a: SWAP2 0000300b: POP 0000300c: DUP2 0000300d: PUSH1 0x00 0000300f: EQ 00003010: ISZERO 00003011: PUSH2 0x305a 00003014: JUMPI 00003015: PUSH1 0x40 00003017: DUP1 00003018: MLOAD 00003019: PUSH3 0x461bcd 0000301d: PUSH1 0xe5 0000301f: SHL 00003020: DUP2 00003021: MSTORE 00003022: PUSH1 0x20 00003024: PUSH1 0x04 00003026: DUP3 00003027: ADD 00003028: MSTORE 00003029: PUSH1 0x16 0000302b: PUSH1 0x24 0000302d: DUP3 0000302e: ADD 0000302f: MSTORE 00003030: PUSH22 0x11549497d6915493d7d5105491d15517d05353d55395 00003047: PUSH1 0x52 00003049: SHL 0000304a: PUSH1 0x44 0000304c: DUP3 0000304d: ADD 0000304e: MSTORE 0000304f: SWAP1 00003050: MLOAD 00003051: SWAP1 00003052: DUP2 00003053: SWAP1 00003054: SUB 00003055: PUSH1 0x64 00003057: ADD 00003058: SWAP1 00003059: REVERT 0000305a: JUMPDEST 0000305b: PUSH1 0x00 0000305d: PUSH1 0x06 0000305f: PUSH1 0x00 00003061: DUP2 00003062: SLOAD 00003063: DUP2 00003064: LT 00003065: PUSH2 0x306a 00003068: JUMPI 00003069: INVALID 0000306a: JUMPDEST 0000306b: PUSH1 0x00 0000306d: SWAP2 0000306e: DUP3 0000306f: MSTORE 00003070: PUSH1 0x20 00003072: DUP1 00003073: DUP4 00003074: KECCAK256 00003075: SWAP1 00003076: SWAP2 00003077: ADD 00003078: SLOAD 00003079: PUSH1 0x04 0000307b: DUP1 0000307c: SLOAD 0000307d: PUSH1 0x40 0000307f: DUP1 00003080: MLOAD 00003081: PUSH4 0x18160ddd 00003086: PUSH1 0xe0 00003088: SHL 00003089: DUP2 0000308a: MSTORE 0000308b: SWAP1 0000308c: MLOAD 0000308d: PUSH1 0x01 0000308f: PUSH1 0x01 00003091: PUSH1 0xa0 00003093: SHL 00003094: SUB 00003095: SWAP5 00003096: DUP6 00003097: AND 00003098: SWAP8 00003099: POP 0000309a: SWAP2 0000309b: SWAP1 0000309c: SWAP4 0000309d: AND 0000309e: SWAP4 0000309f: PUSH4 0x18160ddd 000030a4: SWAP4 000030a5: DUP1 000030a6: DUP5 000030a7: ADD 000030a8: SWAP4 000030a9: SWAP2 000030aa: SWAP3 000030ab: SWAP2 000030ac: SWAP1 000030ad: DUP3 000030ae: SWAP1 000030af: SUB 000030b0: ADD 000030b1: DUP2 000030b2: DUP7 000030b3: DUP1 000030b4: EXTCODESIZE 000030b5: ISZERO 000030b6: DUP1 000030b7: ISZERO 000030b8: PUSH2 0x30c0 000030bb: JUMPI 000030bc: PUSH1 0x00 000030be: DUP1 000030bf: REVERT 000030c0: JUMPDEST 000030c1: POP 000030c2: GAS 000030c3: STATICCALL 000030c4: ISZERO 000030c5: DUP1 000030c6: ISZERO 000030c7: PUSH2 0x30d4 000030ca: JUMPI 000030cb: RETURNDATASIZE 000030cc: PUSH1 0x00 000030ce: DUP1 000030cf: RETURNDATACOPY 000030d0: RETURNDATASIZE 000030d1: PUSH1 0x00 000030d3: REVERT 000030d4: JUMPDEST 000030d5: POP 000030d6: POP 000030d7: POP 000030d8: POP 000030d9: PUSH1 0x40 000030db: MLOAD 000030dc: RETURNDATASIZE 000030dd: PUSH1 0x20 000030df: DUP2 000030e0: LT 000030e1: ISZERO 000030e2: PUSH2 0x30ea 000030e5: JUMPI 000030e6: PUSH1 0x00 000030e8: DUP1 000030e9: REVERT 000030ea: JUMPDEST 000030eb: POP 000030ec: MLOAD 000030ed: SWAP1 000030ee: POP 000030ef: PUSH1 0x00 000030f1: PUSH2 0x30f9 000030f4: DUP4 000030f5: PUSH2 0x19ba 000030f8: JUMP 000030f9: JUMPDEST 000030fa: SWAP1 000030fb: POP 000030fc: DUP1 000030fd: DUP6 000030fe: LT 000030ff: DUP1 00003100: PUSH2 0x3112 00003103: JUMPI 00003104: POP 00003105: DUP1 00003106: DUP6 00003107: EQ 00003108: DUP1 00003109: ISZERO 0000310a: PUSH2 0x3112 0000310d: JUMPI 0000310e: POP 0000310f: DUP2 00003110: DUP10 00003111: EQ 00003112: JUMPDEST 00003113: PUSH2 0x3118 00003116: JUMPI 00003117: INVALID 00003118: JUMPDEST 00003119: PUSH1 0x04 0000311b: DUP1 0000311c: SLOAD 0000311d: PUSH1 0x40 0000311f: DUP1 00003120: MLOAD 00003121: PUSH4 0xa24835d1 00003126: PUSH1 0xe0 00003128: SHL 00003129: DUP2 0000312a: MSTORE 0000312b: ADDRESS 0000312c: SWAP4 0000312d: DUP2 0000312e: ADD 0000312f: SWAP4 00003130: SWAP1 00003131: SWAP4 00003132: MSTORE 00003133: PUSH1 0x24 00003135: DUP4 00003136: ADD 00003137: DUP13 00003138: SWAP1 00003139: MSTORE 0000313a: MLOAD 0000313b: PUSH1 0x01 0000313d: PUSH1 0x01 0000313f: PUSH1 0xa0 00003141: SHL 00003142: SUB 00003143: SWAP1 00003144: SWAP2 00003145: AND 00003146: SWAP2 00003147: PUSH4 0xa24835d1 0000314c: SWAP2 0000314d: PUSH1 0x44 0000314f: DUP1 00003150: DUP4 00003151: ADD 00003152: SWAP3 00003153: PUSH1 0x00 00003155: SWAP3 00003156: SWAP2 00003157: SWAP1 00003158: DUP3 00003159: SWAP1 0000315a: SUB 0000315b: ADD 0000315c: DUP2 0000315d: DUP4 0000315e: DUP8 0000315f: DUP1 00003160: EXTCODESIZE 00003161: ISZERO 00003162: DUP1 00003163: ISZERO 00003164: PUSH2 0x316c 00003167: JUMPI 00003168: PUSH1 0x00 0000316a: DUP1 0000316b: REVERT 0000316c: JUMPDEST 0000316d: POP 0000316e: GAS 0000316f: CALL 00003170: ISZERO 00003171: DUP1 00003172: ISZERO 00003173: PUSH2 0x3180 00003176: JUMPI 00003177: RETURNDATASIZE 00003178: PUSH1 0x00 0000317a: DUP1 0000317b: RETURNDATACOPY 0000317c: RETURNDATASIZE 0000317d: PUSH1 0x00 0000317f: REVERT 00003180: JUMPDEST 00003181: POP 00003182: POP 00003183: POP 00003184: PUSH1 0x01 00003186: PUSH1 0x01 00003188: PUSH1 0xa0 0000318a: SHL 0000318b: SUB 0000318c: DUP5 0000318d: AND 0000318e: PUSH1 0x00 00003190: SWAP1 00003191: DUP2 00003192: MSTORE 00003193: PUSH1 0x07 00003195: PUSH1 0x20 00003197: MSTORE 00003198: PUSH1 0x40 0000319a: SWAP1 0000319b: KECCAK256 0000319c: SLOAD 0000319d: PUSH2 0x31a7 000031a0: SWAP2 000031a1: POP 000031a2: DUP7 000031a3: PUSH2 0x2787 000031a6: JUMP 000031a7: JUMPDEST 000031a8: PUSH1 0x01 000031aa: PUSH1 0x01 000031ac: PUSH1 0xa0 000031ae: SHL 000031af: SUB 000031b0: DUP5 000031b1: AND 000031b2: PUSH1 0x00 000031b4: DUP2 000031b5: DUP2 000031b6: MSTORE 000031b7: PUSH1 0x07 000031b9: PUSH1 0x20 000031bb: MSTORE 000031bc: PUSH1 0x40 000031be: SWAP1 000031bf: KECCAK256 000031c0: SWAP2 000031c1: SWAP1 000031c2: SWAP2 000031c3: SSTORE 000031c4: PUSH20 0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee 000031d9: EQ 000031da: ISZERO 000031db: PUSH2 0x321a 000031de: JUMPI 000031df: PUSH1 0x40 000031e1: MLOAD 000031e2: PUSH1 0x01 000031e4: PUSH1 0x01 000031e6: PUSH1 0xa0 000031e8: SHL 000031e9: SUB 000031ea: DUP9 000031eb: AND 000031ec: SWAP1 000031ed: DUP7 000031ee: ISZERO 000031ef: PUSH2 0x08fc 000031f2: MUL 000031f3: SWAP1 000031f4: DUP8 000031f5: SWAP1 000031f6: PUSH1 0x00 000031f8: DUP2 000031f9: DUP2 000031fa: DUP2 000031fb: DUP6 000031fc: DUP9 000031fd: DUP9 000031fe: CALL 000031ff: SWAP4 00003200: POP 00003201: POP 00003202: POP 00003203: POP 00003204: ISZERO 00003205: DUP1 00003206: ISZERO 00003207: PUSH2 0x3214 0000320a: JUMPI 0000320b: RETURNDATASIZE 0000320c: PUSH1 0x00 0000320e: DUP1 0000320f: RETURNDATACOPY 00003210: RETURNDATASIZE 00003211: PUSH1 0x00 00003213: REVERT 00003214: JUMPDEST 00003215: POP 00003216: PUSH2 0x3225 00003219: JUMP 0000321a: JUMPDEST 0000321b: PUSH2 0x3225 0000321e: DUP4 0000321f: DUP9 00003220: DUP8 00003221: PUSH2 0x27d4 00003224: JUMP 00003225: JUMPDEST 00003226: PUSH1 0x04 00003228: SLOAD 00003229: PUSH2 0x323f 0000322c: SWAP1 0000322d: PUSH1 0x01 0000322f: PUSH1 0x01 00003231: PUSH1 0xa0 00003233: SHL 00003234: SUB 00003235: AND 00003236: DUP5 00003237: DUP11 00003238: DUP13 00003239: DUP10 0000323a: DUP10 0000323b: PUSH2 0x324c 0000323e: JUMP 0000323f: JUMPDEST 00003240: POP 00003241: SWAP3 00003242: SWAP8 00003243: SWAP7 00003244: POP 00003245: POP 00003246: POP 00003247: POP 00003248: POP 00003249: POP 0000324a: POP 0000324b: JUMP 0000324c: JUMPDEST 0000324d: PUSH1 0x01 0000324f: PUSH1 0xff 00003251: SHL 00003252: DUP2 00003253: LT 00003254: PUSH2 0x3259 00003257: JUMPI 00003258: INVALID 00003259: JUMPDEST 0000325a: PUSH1 0x40 0000325c: DUP1 0000325d: MLOAD 0000325e: DUP5 0000325f: DUP2 00003260: MSTORE 00003261: PUSH1 0x20 00003263: DUP2 00003264: ADD 00003265: DUP5 00003266: SWAP1 00003267: MSTORE 00003268: DUP1 00003269: DUP3 0000326a: ADD 0000326b: DUP4 0000326c: SWAP1 0000326d: MSTORE 0000326e: SWAP1 0000326f: MLOAD 00003270: PUSH1 0x01 00003272: PUSH1 0x01 00003274: PUSH1 0xa0 00003276: SHL 00003277: SUB 00003278: DUP1 00003279: DUP8 0000327a: AND 0000327b: SWAP3 0000327c: DUP9 0000327d: DUP3 0000327e: AND 0000327f: SWAP3 00003280: SWAP2 00003281: DUP11 00003282: AND 00003283: SWAP2 00003284: PUSH32 0x276856b36cbc45526a0ba64f44611557a2a8b68662c5388e9fe6d72e86e1c8cb 000032a5: SWAP2 000032a6: DUP2 000032a7: SWAP1 000032a8: SUB 000032a9: PUSH1 0x60 000032ab: ADD 000032ac: SWAP1 000032ad: LOG4 000032ae: POP 000032af: POP 000032b0: POP 000032b1: POP 000032b2: POP 000032b3: POP 000032b4: JUMP 000032b5: JUMPDEST 000032b6: PUSH1 0x40 000032b8: DUP1 000032b9: MLOAD 000032ba: PUSH1 0xa0 000032bc: DUP2 000032bd: ADD 000032be: DUP3 000032bf: MSTORE 000032c0: PUSH1 0x00 000032c2: DUP1 000032c3: DUP3 000032c4: MSTORE 000032c5: PUSH1 0x20 000032c7: DUP3 000032c8: ADD 000032c9: DUP2 000032ca: SWAP1 000032cb: MSTORE 000032cc: SWAP2 000032cd: DUP2 000032ce: ADD 000032cf: DUP3 000032d0: SWAP1 000032d1: MSTORE 000032d2: PUSH1 0x60 000032d4: DUP2 000032d5: ADD 000032d6: DUP3 000032d7: SWAP1 000032d8: MSTORE 000032d9: PUSH1 0x80 000032db: DUP2 000032dc: ADD 000032dd: SWAP2 000032de: SWAP1 000032df: SWAP2 000032e0: MSTORE 000032e1: SWAP1 000032e2: JUMP 000032e3: INVALID 000032e4: LOG2 000032e5: PUSH5 0x6970667358 000032eb: UNKNOWN(0x22) 000032ec: SLT 000032ed: KECCAK256 000032ee: UNKNOWN(0xF8) 000032ef: UNKNOWN(0xC1) 000032f0: UNKNOWN(0xE0) 000032f1: UNKNOWN(0xE2) 000032f2: UNKNOWN(0xEC) 000032f3: CODECOPY 000032f4: POP 000032f5: LOG0 000032f6: UNKNOWN(0xCA) 000032f7: ADD 000032f8: UNKNOWN(0xAC) 000032f9: STOP 000032fa: EXTCODESIZE 000032fb: UNKNOWN(0x4D) 000032fc: PUSH23 0x7e4ea2e2eae30ec9a7a322bddc5ae37a1164736f6c6343 00003314: STOP 00003315: MOD 00003316: UNKNOWN(0x0C) 00003317: STOP 00003318: CALLER
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xef97f2171d74987d6e4f9a9d0fa140f7b78f8ba6a66d6efca5c3c067d4562224
call_targets:
0x0337184a497565a9bd8e300dad50270cd367f206
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xef97f2171d74987d6e4f9a9d0fa140f7b78f8ba6a66d6efca5c3c067d4562224",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0337184a497565a9bd8e300dad50270cd367f206"
],
"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": "0xecbca55d",
"selector": "0xecbca55d",
"calldata_variants": [
"0xecbca55d",
"0xecbca55d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf95e146c",
"selector": "0xf95e146c",
"calldata_variants": [
"0xf95e146c",
"0xf95e146c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd8959512",
"selector": "0xd8959512",
"calldata_variants": [
"0xd8959512",
"0xd89595120000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdc8de379",
"selector": "0xdc8de379",
"calldata_variants": [
"0xdc8de379",
"0xdc8de3790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe8dc12ff",
"selector": "0xe8dc12ff",
"calldata_variants": [
"0xe8dc12ff",
"0xe8dc12ff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd260529c",
"selector": "0xd260529c",
"calldata_variants": [
"0xd260529c",
"0xd260529c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4407,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4527,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5840,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 9,
"guards_detected": [],
"untrusted_call_count": 9
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xef97f2171d74987d6e4f9a9d0fa140f7b78f8ba6a66d6efca5c3c067d4562224
call_targets:
0x0337184a497565a9bd8e300dad50270cd367f206
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xef97f2171d74987d6e4f9a9d0fa140f7b78f8ba6a66d6efca5c3c067d4562224",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0337184a497565a9bd8e300dad50270cd367f206"
],
"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": "0xecbca55d",
"selector": "0xecbca55d",
"calldata_variants": [
"0xecbca55d",
"0xecbca55d0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf2fde38b",
"selector": "0xf2fde38b",
"calldata_variants": [
"0xf2fde38b",
"0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xf95e146c",
"selector": "0xf95e146c",
"calldata_variants": [
"0xf95e146c",
"0xf95e146c0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xfc0c546a",
"selector": "0xfc0c546a",
"calldata_variants": [
"0xfc0c546a",
"0xfc0c546a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd8959512",
"selector": "0xd8959512",
"calldata_variants": [
"0xd8959512",
"0xd89595120000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xdc8de379",
"selector": "0xdc8de379",
"calldata_variants": [
"0xdc8de379",
"0xdc8de3790000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xe8dc12ff",
"selector": "0xe8dc12ff",
"calldata_variants": [
"0xe8dc12ff",
"0xe8dc12ff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0xd260529c",
"selector": "0xd260529c",
"calldata_variants": [
"0xd260529c",
"0xd260529c0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 4407,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 4527,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 5840,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 9,
"guards_detected": []
}
|
| 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": 19
}
|
| info | other | cast | Heavy CALL-family usage | 55 | no | — |
viewevidence_json{
"notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
"call_family_count": 22
}
|