Analysis Run

[codex:542023] OpenAI Codex v0.77.0 (research preview)
[codex:542023] --------
[codex:542023] workdir: /tmp/codex-multi-ywbwezep
[codex:542023] model: gpt-5.2-codex
[codex:542023] provider: openai
[codex:542023] approval: never
[codex:542023] sandbox: read-only
[codex:542023] reasoning effort: xhigh
[codex:542023] reasoning summaries: auto
[codex:542023] session id: 019b7f7c-02be-78f3-88a0-5288f6bd2e47
[codex:542023] --------
[codex:542023] user
[codex:542023] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:542023] 
[codex:542023] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:542023] 
[codex:542023] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:542023] - Gas inefficiency, code quality, naming, or best practices
[codex:542023] - Theoretical vulnerabilities without a clear extraction path
[codex:542023] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:542023] - Front-running unless it enables theft beyond MEV
[codex:542023] - DoS, griefing, or issues that don't result in attacker profit
[codex:542023] - Missing events, view function issues, or informational findings
[codex:542023] 
[codex:542023] HIGH-VALUE PATTERNS TO HUNT:
[codex:542023] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:542023] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:542023] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:542023] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:542023] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:542023] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:542023] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:542023] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:542023] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:542023] 
[codex:542023] For each finding, you MUST provide:
[codex:542023] 1. Exact file and line numbers of vulnerable code
[codex:542023] 2. Step-by-step exploit transaction sequence
[codex:542023] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:542023] 
[codex:542023] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:542023] 
[codex:542023] Output MUST be valid JSON matching the provided schema.
[codex:542023] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:542023] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:542023] mcp startup: no servers
[codex:542023] 
[codex:542023] thinking
[codex:542023] **Preparing to read instructions**
[codex:542023] exec
[codex:542023] /bin/bash -lc ls in /tmp/codex-multi-ywbwezep succeeded in 7ms:
[codex:542023] AUDIT_BUNDLE.txt
[codex:542023] codex-output-schema.json
[codex:542023] contracts
[codex:542023] exec
[codex:542023] /bin/bash -lc "sed -n '1,200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-ywbwezep succeeded in 5ms:
[codex:542023] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:542023] 
[codex:542023] ================================================================================
[codex:542023] FILE: contracts/Contract.sol
[codex:542023] ================================================================================
[codex:542023] /**
[codex:542023]  *Submitted for verification at BscScan.com on 2021-02-28
[codex:542023] */
[codex:542023] 
[codex:542023] // SPDX-License-Identifier: MIT
[codex:542023] 
[codex:542023] 
[codex:542023] pragma solidity ^0.8.1;
[codex:542023] library EnumerableSet {
[codex:542023]     // To implement this library for multiple types with as little code
[codex:542023]     // repetition as possible, we write it in terms of a generic Set type with
[codex:542023]     // bytes32 values.
[codex:542023]     // The Set implementation uses private functions, and user-facing
[codex:542023]     // implementations (such as AddressSet) are just wrappers around the
[codex:542023]     // underlying Set.
[codex:542023] 
[codex:542023] thinking
[codex:542023] **Continuing to read AUDIT_BUNDLE**
[codex:542023] exec
[codex:542023] /bin/bash -lc "sed -n '200,400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-ywbwezep succeeded in 5ms:
[codex:542023]     /**
[codex:542023]      * @dev Returns true if the value is in the set. O(1).
[codex:542023]      */
[codex:542023]     function contains(AddressSet storage set, address value) internal view returns (bool) {
[codex:542023]         return _contains(set._inner, bytes32(uint256(uint160(value))));
[codex:542023]     }
[codex:542023] 
[codex:542023]     /**
[codex:542023]      * @dev Returns the number of values in the set. O(1).
[codex:542023]      */
[codex:542023]     function length(AddressSet storage set) internal view returns (uint256) {
[codex:542023]         return _length(set._inner);
[codex:542023]     }
[codex:542023] 
[codex:542023]    /**
[codex:542023]     * @dev Returns the value stored at position `index` in the set. O(1).
[codex:542023]     *
[codex:542023]     * Note that there are no guarantees on the ordering of values inside the
[codex:542023]     * array, and it may change when more values are added or removed.
[codex:542023]     *
[codex:542023] 
[codex:542023] thinking
[codex:542023] **Reviewing core contract in standard libraries**
[codex:542023] exec
[codex:542023] /bin/bash -lc 'rg -n "contract" AUDIT_BUNDLE.txt' in /tmp/codex-multi-ywbwezep succeeded in 7ms:
[codex:542023] 4:FILE: contracts/Contract.sol
[codex:542023] 286:// File: openzeppelin-solidity\contracts\token\ERC20\IERC20.sol
[codex:542023] 362:// File: openzeppelin-solidity\contracts\utils\Address.sol
[codex:542023] 370:     * @dev Returns true if `account` is a contract.
[codex:542023] 375:     * false is an externally-owned account (EOA) and not a contract.
[codex:542023] 381:     *  - a contract in construction
[codex:542023] 382:     *  - an address where a contract will be created
[codex:542023] 383:     *  - an address where a contract lived, but was destroyed
[codex:542023] 402:     * of certain opcodes, possibly making contracts go over the 2300 gas limit
[codex:542023] 434:     * - `target` must be a contract.
[codex:542023] 459:     * - the calling contract must have an ETH balance of at least `value`.
[codex:542023] 480:        require(isContract(target), "Address: call to non-contract");
[codex:542023] 504:contract fETH is IERC20 {
[codex:542023] 
[codex:542023] thinking
[codex:542023] **Navigating around fETH contract**
[codex:542023] exec
[codex:542023] /bin/bash -lc "sed -n '480,800p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-ywbwezep succeeded in 5ms:
[codex:542023]         require(isContract(target), "Address: call to non-contract");
[codex:542023] 
[codex:542023]         // solhint-disable-next-line avoid-low-level-calls
[codex:542023]         (bool success, bytes memory returndata) = target.call{ value: weiValue }(data);
[codex:542023]         if (success) {
[codex:542023]             return returndata;
[codex:542023]         } else {
[codex:542023]             // Look for revert reason and bubble it up if present
[codex:542023]             if (returndata.length > 0) {
[codex:542023]                 // The easiest way to bubble the revert reason is using memory via assembly
[codex:542023] 
[codex:542023]                 // solhint-disable-next-line no-inline-assembly
[codex:542023]                 assembly {
[codex:542023]                     let returndata_size := mload(returndata)
[codex:542023]                     revert(add(32, returndata), returndata_size)
[codex:542023]                 }
[codex:542023]             } else {
[codex:542023]                 revert(errorMessage);
[codex:542023]             }
[codex:542023]         }
[codex:542023] 
[codex:542023] 
[codex:542023] 
[codex:542023] 
[codex:542023] thinking
[codex:542023] **Analyzing token supply and fee mechanics**
[codex:542023] thinking
[codex:542023] **Evaluating fee impacts and supply inconsistencies**
[codex:542023] 
[codex:542023] There is a complex interplay between fees, token supply, and balances here, especially how withdrawal fee components affect total supply versus contract balance. I'm exploring whether leftover supply accrued from fees held by the operator might create discrepancies that could be manipulated. The scenario where a user holding all tokens calls `rBnbToEveryone` to reduce `rBnbSupply` to zero while `tBnbSupply` remains positive could trigger a reset of supply ratios, which might lead to unexpected minting or balance calculations. I'm carefully tracing these edge cases to see if profit extraction is feasible through rounding errors, supply manipulation, or fee redistribution quirks within the reflection mechanism.
[codex:542023] thinking
[codex:542023] **Analyzing rounding effects on supply ratios**
[codex:542023] 
[codex:542023] I’m examining how integer division and rounding in `rBnbSupply` and `tBnbSupply` updates might leave small leftover "dust" balances, especially when total supply becomes very small. This could cause `currentSupply` to reset ratios, which affects deposit and withdrawal calculations. Although these dust amounts seem minor and unlikely to create profitable exploits, they might slightly skew supply ratios in edge cases, so I’m carefully checking if these rounding nuances impact balance consistency or enable subtle manipulations.
[codex:542023] thinking
[codex:542023] **Confirming absence of direct exploits**
[codex:542023] 
[codex:542023] I'm carefully verifying if any combination of rounding, excluded accounts, or supply manipulations enable profit or token inflation, including deposit and withdrawal edge cases. After considering all angles—fees, reflections, access control, and ratio resets—I find no clear path for unauthorized value extraction or unintended token minting. This suggests the contract’s logic holds against profit-based exploits under given constraints.
[codex:542023] exec
[codex:542023] /bin/bash -lc "sed -n '800,1000p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-ywbwezep succeeded in 6ms:
[codex:542023] 
[codex:542023] 
[codex:542023] thinking
[codex:542023] **Preparing final JSON output**
[codex:542023] exec
[codex:542023] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-ywbwezep succeeded in 5ms:
[codex:542023] {"type": "object", "additionalProperties": false, "required": ["no_findings", "summary", "findings"], "properties": {"no_findings": {"type": "boolean"}, "summary": {"type": "string"}, "findings": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["severity", "category", "title", "evidence", "locations", "exploit_scenario", "recommendation"], "properties": {"severity": {"type": "string", "enum": ["info", "low", "medium", "high", "critical"]}, "category": {"type": "string", "enum": ["access_control", "reentrancy", "math", "oracle", "upgradeability", "auth", "other"]}, "title": {"type": "string"}, "exploit_scenario": {"type": "string"}, "recommendation": {"type": "string"}, "evidence": {"type": "string"}, "locations": {"type": "array", "items": {"type": "string"}}}}}}}
[codex:542023] 
[codex:542023] thinking
[codex:542023] **Preparing final JSON output**
[codex:542023] codex
[codex:542023] {"no_findings":true,"summary":"No concrete, exploitable path to extract value found in the audited sources.","findings":[]}
[codex:542023] tokens used
[codex:542023] 23,914
[codex:542023] {"no_findings":true,"summary":"No concrete, exploitable path to extract value found in the audited sources.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-02T16:18:23.859041+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable path to extract value found in the audited sources.",
    "raw_final": {
        "summary": "No concrete, exploitable path to extract value found in the audited sources.",
        "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 0x012e
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x70a08231
00000019: GT
0000001a: PUSH2 0x00ab
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xa9059cbb
00000024: GT
00000025: PUSH2 0x006f
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xa9059cbb
0000002f: EQ
00000030: PUSH2 0x0332
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xb9eb6bda
0000003a: EQ
0000003b: PUSH2 0x0352
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xcba0e996
00000045: EQ
00000046: PUSH2 0x0372
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xd0e30db0
00000050: EQ
00000051: PUSH2 0x0392
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xdd62ed3e
0000005b: EQ
0000005c: PUSH2 0x039a
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xe57f14e1
00000066: EQ
00000067: PUSH2 0x03e0
0000006a: JUMPI
0000006b: PUSH2 0x013d
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0x70a08231
00000076: EQ
00000077: PUSH2 0x0293
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x771282f6
00000081: EQ
00000082: PUSH2 0x02b3
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0x8cf882a4
0000008c: EQ
0000008d: PUSH2 0x02dd
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0x95d89b41
00000097: EQ
00000098: PUSH2 0x02fd
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xa457c2d7
000000a2: EQ
000000a3: PUSH2 0x0312
000000a6: JUMPI
000000a7: PUSH2 0x013d
000000aa: JUMP
000000ab: JUMPDEST
000000ac: DUP1
000000ad: PUSH4 0x23b872dd
000000b2: GT
000000b3: PUSH2 0x00f2
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x23b872dd
000000bd: EQ
000000be: PUSH2 0x01f1
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x2b414264
000000c8: EQ
000000c9: PUSH2 0x0211
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x2e1a7d4d
000000d3: EQ
000000d4: PUSH2 0x0231
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x313ce567
000000de: EQ
000000df: PUSH2 0x0251
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0x39509351
000000e9: EQ
000000ea: PUSH2 0x0273
000000ed: JUMPI
000000ee: PUSH2 0x013d
000000f1: JUMP
000000f2: JUMPDEST
000000f3: DUP1
000000f4: PUSH4 0x06fdde03
000000f9: EQ
000000fa: PUSH2 0x0142
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x095ea7b3
00000104: EQ
00000105: PUSH2 0x016d
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x13114a9d
0000010f: EQ
00000110: PUSH2 0x019d
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x16a2f82a
0000011a: EQ
0000011b: PUSH2 0x01bc
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x18160ddd
00000125: EQ
00000126: PUSH2 0x01dc
00000129: JUMPI
0000012a: PUSH2 0x013d
0000012d: JUMP
0000012e: JUMPDEST
0000012f: CALLDATASIZE
00000130: PUSH2 0x013d
00000133: JUMPI
00000134: PUSH2 0x013b
00000137: PUSH2 0x0400
0000013a: JUMP
0000013b: JUMPDEST
0000013c: STOP
0000013d: JUMPDEST
0000013e: PUSH1 0x00
00000140: DUP1
00000141: REVERT
00000142: JUMPDEST
00000143: CALLVALUE
00000144: DUP1
00000145: ISZERO
00000146: PUSH2 0x014e
00000149: JUMPI
0000014a: PUSH1 0x00
0000014c: DUP1
0000014d: REVERT
0000014e: JUMPDEST
0000014f: POP
00000150: PUSH2 0x0157
00000153: PUSH2 0x05f6
00000156: JUMP
00000157: JUMPDEST
00000158: PUSH1 0x40
0000015a: MLOAD
0000015b: PUSH2 0x0164
0000015e: SWAP2
0000015f: SWAP1
00000160: PUSH2 0x1879
00000163: JUMP
00000164: JUMPDEST
00000165: PUSH1 0x40
00000167: MLOAD
00000168: DUP1
00000169: SWAP2
0000016a: SUB
0000016b: SWAP1
0000016c: RETURN
0000016d: JUMPDEST
0000016e: CALLVALUE
0000016f: DUP1
00000170: ISZERO
00000171: PUSH2 0x0179
00000174: JUMPI
00000175: PUSH1 0x00
00000177: DUP1
00000178: REVERT
00000179: JUMPDEST
0000017a: POP
0000017b: PUSH2 0x018d
0000017e: PUSH2 0x0188
00000181: CALLDATASIZE
00000182: PUSH1 0x04
00000184: PUSH2 0x1838
00000187: JUMP
00000188: JUMPDEST
00000189: PUSH2 0x0688
0000018c: JUMP
0000018d: JUMPDEST
0000018e: PUSH1 0x40
00000190: MLOAD
00000191: SWAP1
00000192: ISZERO
00000193: ISZERO
00000194: DUP2
00000195: MSTORE
00000196: PUSH1 0x20
00000198: ADD
00000199: PUSH2 0x0164
0000019c: JUMP
0000019d: JUMPDEST
0000019e: CALLVALUE
0000019f: DUP1
000001a0: ISZERO
000001a1: PUSH2 0x01a9
000001a4: JUMPI
000001a5: PUSH1 0x00
000001a7: DUP1
000001a8: REVERT
000001a9: JUMPDEST
000001aa: POP
000001ab: PUSH1 0x07
000001ad: SLOAD
000001ae: JUMPDEST
000001af: PUSH1 0x40
000001b1: MLOAD
000001b2: SWAP1
000001b3: DUP2
000001b4: MSTORE
000001b5: PUSH1 0x20
000001b7: ADD
000001b8: PUSH2 0x0164
000001bb: JUMP
000001bc: JUMPDEST
000001bd: CALLVALUE
000001be: DUP1
000001bf: ISZERO
000001c0: PUSH2 0x01c8
000001c3: JUMPI
000001c4: PUSH1 0x00
000001c6: DUP1
000001c7: REVERT
000001c8: JUMPDEST
000001c9: POP
000001ca: PUSH2 0x013b
000001cd: PUSH2 0x01d7
000001d0: CALLDATASIZE
000001d1: PUSH1 0x04
000001d3: PUSH2 0x17b1
000001d6: JUMP
000001d7: JUMPDEST
000001d8: PUSH2 0x069f
000001db: JUMP
000001dc: JUMPDEST
000001dd: CALLVALUE
000001de: DUP1
000001df: ISZERO
000001e0: PUSH2 0x01e8
000001e3: JUMPI
000001e4: PUSH1 0x00
000001e6: DUP1
000001e7: REVERT
000001e8: JUMPDEST
000001e9: POP
000001ea: PUSH1 0x05
000001ec: SLOAD
000001ed: PUSH2 0x01ae
000001f0: JUMP
000001f1: JUMPDEST
000001f2: CALLVALUE
000001f3: DUP1
000001f4: ISZERO
000001f5: PUSH2 0x01fd
000001f8: JUMPI
000001f9: PUSH1 0x00
000001fb: DUP1
000001fc: REVERT
000001fd: JUMPDEST
000001fe: POP
000001ff: PUSH2 0x018d
00000202: PUSH2 0x020c
00000205: CALLDATASIZE
00000206: PUSH1 0x04
00000208: PUSH2 0x17fd
0000020b: JUMP
0000020c: JUMPDEST
0000020d: PUSH2 0x0755
00000210: JUMP
00000211: JUMPDEST
00000212: CALLVALUE
00000213: DUP1
00000214: ISZERO
00000215: PUSH2 0x021d
00000218: JUMPI
00000219: PUSH1 0x00
0000021b: DUP1
0000021c: REVERT
0000021d: JUMPDEST
0000021e: POP
0000021f: PUSH2 0x013b
00000222: PUSH2 0x022c
00000225: CALLDATASIZE
00000226: PUSH1 0x04
00000228: PUSH2 0x17cb
0000022b: JUMP
0000022c: JUMPDEST
0000022d: PUSH2 0x07a7
00000230: JUMP
00000231: JUMPDEST
00000232: CALLVALUE
00000233: DUP1
00000234: ISZERO
00000235: PUSH2 0x023d
00000238: JUMPI
00000239: PUSH1 0x00
0000023b: DUP1
0000023c: REVERT
0000023d: JUMPDEST
0000023e: POP
0000023f: PUSH2 0x013b
00000242: PUSH2 0x024c
00000245: CALLDATASIZE
00000246: PUSH1 0x04
00000248: PUSH2 0x1861
0000024b: JUMP
0000024c: JUMPDEST
0000024d: PUSH2 0x0831
00000250: JUMP
00000251: JUMPDEST
00000252: CALLVALUE
00000253: DUP1
00000254: ISZERO
00000255: PUSH2 0x025d
00000258: JUMPI
00000259: PUSH1 0x00
0000025b: DUP1
0000025c: REVERT
0000025d: JUMPDEST
0000025e: POP
0000025f: PUSH1 0x0a
00000261: SLOAD
00000262: PUSH1 0x40
00000264: MLOAD
00000265: PUSH1 0xff
00000267: SWAP1
00000268: SWAP2
00000269: AND
0000026a: DUP2
0000026b: MSTORE
0000026c: PUSH1 0x20
0000026e: ADD
0000026f: PUSH2 0x0164
00000272: JUMP
00000273: JUMPDEST
00000274: CALLVALUE
00000275: DUP1
00000276: ISZERO
00000277: PUSH2 0x027f
0000027a: JUMPI
0000027b: PUSH1 0x00
0000027d: DUP1
0000027e: REVERT
0000027f: JUMPDEST
00000280: POP
00000281: PUSH2 0x018d
00000284: PUSH2 0x028e
00000287: CALLDATASIZE
00000288: PUSH1 0x04
0000028a: PUSH2 0x1838
0000028d: JUMP
0000028e: JUMPDEST
0000028f: PUSH2 0x0a92
00000292: JUMP
00000293: JUMPDEST
00000294: CALLVALUE
00000295: DUP1
00000296: ISZERO
00000297: PUSH2 0x029f
0000029a: JUMPI
0000029b: PUSH1 0x00
0000029d: DUP1
0000029e: REVERT
0000029f: JUMPDEST
000002a0: POP
000002a1: PUSH2 0x01ae
000002a4: PUSH2 0x02ae
000002a7: CALLDATASIZE
000002a8: PUSH1 0x04
000002aa: PUSH2 0x17b1
000002ad: JUMP
000002ae: JUMPDEST
000002af: PUSH2 0x0ac9
000002b2: JUMP
000002b3: JUMPDEST
000002b4: CALLVALUE
000002b5: DUP1
000002b6: ISZERO
000002b7: PUSH2 0x02bf
000002ba: JUMPI
000002bb: PUSH1 0x00
000002bd: DUP1
000002be: REVERT
000002bf: JUMPDEST
000002c0: POP
000002c1: PUSH2 0x02c8
000002c4: PUSH2 0x0b44
000002c7: JUMP
000002c8: JUMPDEST
000002c9: PUSH1 0x40
000002cb: DUP1
000002cc: MLOAD
000002cd: SWAP3
000002ce: DUP4
000002cf: MSTORE
000002d0: PUSH1 0x20
000002d2: DUP4
000002d3: ADD
000002d4: SWAP2
000002d5: SWAP1
000002d6: SWAP2
000002d7: MSTORE
000002d8: ADD
000002d9: PUSH2 0x0164
000002dc: JUMP
000002dd: JUMPDEST
000002de: CALLVALUE
000002df: DUP1
000002e0: ISZERO
000002e1: PUSH2 0x02e9
000002e4: JUMPI
000002e5: PUSH1 0x00
000002e7: DUP1
000002e8: REVERT
000002e9: JUMPDEST
000002ea: POP
000002eb: PUSH2 0x013b
000002ee: PUSH2 0x02f8
000002f1: CALLDATASIZE
000002f2: PUSH1 0x04
000002f4: PUSH2 0x1861
000002f7: JUMP
000002f8: JUMPDEST
000002f9: PUSH2 0x0cb5
000002fc: JUMP
000002fd: JUMPDEST
000002fe: CALLVALUE
000002ff: DUP1
00000300: ISZERO
00000301: PUSH2 0x0309
00000304: JUMPI
00000305: PUSH1 0x00
00000307: DUP1
00000308: REVERT
00000309: JUMPDEST
0000030a: POP
0000030b: PUSH2 0x0157
0000030e: PUSH2 0x0d8c
00000311: JUMP
00000312: JUMPDEST
00000313: CALLVALUE
00000314: DUP1
00000315: ISZERO
00000316: PUSH2 0x031e
00000319: JUMPI
0000031a: PUSH1 0x00
0000031c: DUP1
0000031d: REVERT
0000031e: JUMPDEST
0000031f: POP
00000320: PUSH2 0x018d
00000323: PUSH2 0x032d
00000326: CALLDATASIZE
00000327: PUSH1 0x04
00000329: PUSH2 0x1838
0000032c: JUMP
0000032d: JUMPDEST
0000032e: PUSH2 0x0d9b
00000331: JUMP
00000332: JUMPDEST
00000333: CALLVALUE
00000334: DUP1
00000335: ISZERO
00000336: PUSH2 0x033e
00000339: JUMPI
0000033a: PUSH1 0x00
0000033c: DUP1
0000033d: REVERT
0000033e: JUMPDEST
0000033f: POP
00000340: PUSH2 0x018d
00000343: PUSH2 0x034d
00000346: CALLDATASIZE
00000347: PUSH1 0x04
00000349: PUSH2 0x1838
0000034c: JUMP
0000034d: JUMPDEST
0000034e: PUSH2 0x0dd2
00000351: JUMP
00000352: JUMPDEST
00000353: CALLVALUE
00000354: DUP1
00000355: ISZERO
00000356: PUSH2 0x035e
00000359: JUMPI
0000035a: PUSH1 0x00
0000035c: DUP1
0000035d: REVERT
0000035e: JUMPDEST
0000035f: POP
00000360: PUSH2 0x01ae
00000363: PUSH2 0x036d
00000366: CALLDATASIZE
00000367: PUSH1 0x04
00000369: PUSH2 0x1861
0000036c: JUMP
0000036d: JUMPDEST
0000036e: PUSH2 0x0ddf
00000371: JUMP
00000372: JUMPDEST
00000373: CALLVALUE
00000374: DUP1
00000375: ISZERO
00000376: PUSH2 0x037e
00000379: JUMPI
0000037a: PUSH1 0x00
0000037c: DUP1
0000037d: REVERT
0000037e: JUMPDEST
0000037f: POP
00000380: PUSH2 0x018d
00000383: PUSH2 0x038d
00000386: CALLDATASIZE
00000387: PUSH1 0x04
00000389: PUSH2 0x17b1
0000038c: JUMP
0000038d: JUMPDEST
0000038e: PUSH2 0x0dfc
00000391: JUMP
00000392: JUMPDEST
00000393: PUSH2 0x013b
00000396: PUSH2 0x0400
00000399: JUMP
0000039a: JUMPDEST
0000039b: CALLVALUE
0000039c: DUP1
0000039d: ISZERO
0000039e: PUSH2 0x03a6
000003a1: JUMPI
000003a2: PUSH1 0x00
000003a4: DUP1
000003a5: REVERT
000003a6: JUMPDEST
000003a7: POP
000003a8: PUSH2 0x01ae
000003ab: PUSH2 0x03b5
000003ae: CALLDATASIZE
000003af: PUSH1 0x04
000003b1: PUSH2 0x17cb
000003b4: JUMP
000003b5: JUMPDEST
000003b6: PUSH1 0x01
000003b8: PUSH1 0x01
000003ba: PUSH1 0xa0
000003bc: SHL
000003bd: SUB
000003be: SWAP2
000003bf: DUP3
000003c0: AND
000003c1: PUSH1 0x00
000003c3: SWAP1
000003c4: DUP2
000003c5: MSTORE
000003c6: PUSH1 0x02
000003c8: PUSH1 0x20
000003ca: SWAP1
000003cb: DUP2
000003cc: MSTORE
000003cd: PUSH1 0x40
000003cf: DUP1
000003d0: DUP4
000003d1: KECCAK256
000003d2: SWAP4
000003d3: SWAP1
000003d4: SWAP5
000003d5: AND
000003d6: DUP3
000003d7: MSTORE
000003d8: SWAP2
000003d9: SWAP1
000003da: SWAP2
000003db: MSTORE
000003dc: KECCAK256
000003dd: SLOAD
000003de: SWAP1
000003df: JUMP
000003e0: JUMPDEST
000003e1: CALLVALUE
000003e2: DUP1
000003e3: ISZERO
000003e4: PUSH2 0x03ec
000003e7: JUMPI
000003e8: PUSH1 0x00
000003ea: DUP1
000003eb: REVERT
000003ec: JUMPDEST
000003ed: POP
000003ee: PUSH2 0x013b
000003f1: PUSH2 0x03fb
000003f4: CALLDATASIZE
000003f5: PUSH1 0x04
000003f7: PUSH2 0x17b1
000003fa: JUMP
000003fb: JUMPDEST
000003fc: PUSH2 0x0e09
000003ff: JUMP
00000400: JUMPDEST
00000401: PUSH1 0x00
00000403: CALLVALUE
00000404: GT
00000405: PUSH2 0x044d
00000408: JUMPI
00000409: PUSH1 0x40
0000040b: MLOAD
0000040c: PUSH3 0x461bcd
00000410: PUSH1 0xe5
00000412: SHL
00000413: DUP2
00000414: MSTORE
00000415: PUSH1 0x20
00000417: PUSH1 0x04
00000419: DUP3
0000041a: ADD
0000041b: MSTORE
0000041c: PUSH1 0x15
0000041e: PUSH1 0x24
00000420: DUP3
00000421: ADD
00000422: MSTORE
00000423: PUSH21 0x63616e2774206465706f736974206e6f7468696e67
00000439: PUSH1 0x58
0000043b: SHL
0000043c: PUSH1 0x44
0000043e: DUP3
0000043f: ADD
00000440: MSTORE
00000441: PUSH1 0x64
00000443: ADD
00000444: JUMPDEST
00000445: PUSH1 0x40
00000447: MLOAD
00000448: DUP1
00000449: SWAP2
0000044a: SUB
0000044b: SWAP1
0000044c: REVERT
0000044d: JUMPDEST
0000044e: PUSH1 0x00
00000450: DUP1
00000451: PUSH2 0x0458
00000454: PUSH2 0x0b44
00000457: JUMP
00000458: JUMPDEST
00000459: SWAP2
0000045a: POP
0000045b: SWAP2
0000045c: POP
0000045d: CALLVALUE
0000045e: PUSH1 0x05
00000460: PUSH1 0x00
00000462: DUP3
00000463: DUP3
00000464: SLOAD
00000465: PUSH2 0x046e
00000468: SWAP2
00000469: SWAP1
0000046a: PUSH2 0x18cc
0000046d: JUMP
0000046e: JUMPDEST
0000046f: SWAP1
00000470: SWAP2
00000471: SSTORE
00000472: POP
00000473: PUSH1 0x00
00000475: SWAP1
00000476: POP
00000477: PUSH2 0x0481
0000047a: PUSH1 0x64
0000047c: CALLVALUE
0000047d: PUSH2 0x18e4
00000480: JUMP
00000481: JUMPDEST
00000482: SWAP1
00000483: POP
00000484: PUSH1 0x00
00000486: PUSH2 0x0490
00000489: PUSH1 0x0a
0000048b: DUP4
0000048c: PUSH2 0x18e4
0000048f: JUMP
00000490: JUMPDEST
00000491: SWAP1
00000492: POP
00000493: PUSH1 0x00
00000495: DUP3
00000496: PUSH2 0x049f
00000499: JUMPI
0000049a: CALLVALUE
0000049b: PUSH2 0x04a9
0000049e: JUMP
0000049f: JUMPDEST
000004a0: PUSH2 0x04a9
000004a3: DUP4
000004a4: CALLVALUE
000004a5: PUSH2 0x1923
000004a8: JUMP
000004a9: JUMPDEST
000004aa: SWAP1
000004ab: POP
000004ac: PUSH2 0x04b4
000004af: CALLER
000004b0: PUSH2 0x0dfc
000004b3: JUMP
000004b4: JUMPDEST
000004b5: ISZERO
000004b6: PUSH2 0x04e8
000004b9: JUMPI
000004ba: PUSH2 0x04c3
000004bd: DUP4
000004be: CALLVALUE
000004bf: PUSH2 0x1923
000004c2: JUMP
000004c3: JUMPDEST
000004c4: CALLER
000004c5: PUSH1 0x00
000004c7: SWAP1
000004c8: DUP2
000004c9: MSTORE
000004ca: PUSH1 0x01
000004cc: PUSH1 0x20
000004ce: MSTORE
000004cf: PUSH1 0x40
000004d1: DUP2
000004d2: KECCAK256
000004d3: DUP1
000004d4: SLOAD
000004d5: SWAP1
000004d6: SWAP2
000004d7: SWAP1
000004d8: PUSH2 0x04e2
000004db: SWAP1
000004dc: DUP5
000004dd: SWAP1
000004de: PUSH2 0x18cc
000004e1: JUMP
000004e2: JUMPDEST
000004e3: SWAP1
000004e4: SWAP2
000004e5: SSTORE
000004e6: POP
000004e7: POP
000004e8: JUMPDEST
000004e9: DUP3
000004ea: PUSH1 0x07
000004ec: PUSH1 0x00
000004ee: DUP3
000004ef: DUP3
000004f0: SLOAD
000004f1: PUSH2 0x04fa
000004f4: SWAP2
000004f5: SWAP1
000004f6: PUSH2 0x18cc
000004f9: JUMP
000004fa: JUMPDEST
000004fb: SWAP1
000004fc: SWAP2
000004fd: SSTORE
000004fe: POP
000004ff: DUP5
00000500: SWAP1
00000501: POP
00000502: PUSH2 0x050b
00000505: DUP7
00000506: DUP5
00000507: PUSH2 0x1904
0000050a: JUMP
0000050b: JUMPDEST
0000050c: PUSH2 0x0515
0000050f: SWAP2
00000510: SWAP1
00000511: PUSH2 0x18e4
00000514: JUMP
00000515: JUMPDEST
00000516: PUSH1 0x0a
00000518: SLOAD
00000519: PUSH2 0x0100
0000051c: SWAP1
0000051d: DIV
0000051e: PUSH1 0x01
00000520: PUSH1 0x01
00000522: PUSH1 0xa0
00000524: SHL
00000525: SUB
00000526: AND
00000527: PUSH1 0x00
00000529: SWAP1
0000052a: DUP2
0000052b: MSTORE
0000052c: PUSH1 0x20
0000052e: DUP2
0000052f: SWAP1
00000530: MSTORE
00000531: PUSH1 0x40
00000533: DUP2
00000534: KECCAK256
00000535: DUP1
00000536: SLOAD
00000537: SWAP1
00000538: SWAP2
00000539: SWAP1
0000053a: PUSH2 0x0544
0000053d: SWAP1
0000053e: DUP5
0000053f: SWAP1
00000540: PUSH2 0x18cc
00000543: JUMP
00000544: JUMPDEST
00000545: SWAP1
00000546: SWAP2
00000547: SSTORE
00000548: POP
00000549: DUP5
0000054a: SWAP1
0000054b: POP
0000054c: DUP6
0000054d: PUSH2 0x0556
00000550: DUP5
00000551: DUP5
00000552: PUSH2 0x18cc
00000555: JUMP
00000556: JUMPDEST
00000557: PUSH2 0x0560
0000055a: SWAP2
0000055b: SWAP1
0000055c: PUSH2 0x1904
0000055f: JUMP
00000560: JUMPDEST
00000561: PUSH2 0x056a
00000564: SWAP2
00000565: SWAP1
00000566: PUSH2 0x18e4
00000569: JUMP
0000056a: JUMPDEST
0000056b: PUSH1 0x06
0000056d: PUSH1 0x00
0000056f: DUP3
00000570: DUP3
00000571: SLOAD
00000572: PUSH2 0x057b
00000575: SWAP2
00000576: SWAP1
00000577: PUSH2 0x18cc
0000057a: JUMP
0000057b: JUMPDEST
0000057c: SWAP1
0000057d: SWAP2
0000057e: SSTORE
0000057f: POP
00000580: DUP5
00000581: SWAP1
00000582: POP
00000583: PUSH2 0x058c
00000586: DUP7
00000587: DUP4
00000588: PUSH2 0x1904
0000058b: JUMP
0000058c: JUMPDEST
0000058d: PUSH2 0x0596
00000590: SWAP2
00000591: SWAP1
00000592: PUSH2 0x18e4
00000595: JUMP
00000596: JUMPDEST
00000597: CALLER
00000598: PUSH1 0x00
0000059a: SWAP1
0000059b: DUP2
0000059c: MSTORE
0000059d: PUSH1 0x20
0000059f: DUP2
000005a0: SWAP1
000005a1: MSTORE
000005a2: PUSH1 0x40
000005a4: DUP2
000005a5: KECCAK256
000005a6: DUP1
000005a7: SLOAD
000005a8: SWAP1
000005a9: SWAP2
000005aa: SWAP1
000005ab: PUSH2 0x05b5
000005ae: SWAP1
000005af: DUP5
000005b0: SWAP1
000005b1: PUSH2 0x18cc
000005b4: JUMP
000005b5: JUMPDEST
000005b6: SWAP1
000005b7: SWAP2
000005b8: SSTORE
000005b9: POP
000005ba: POP
000005bb: PUSH1 0x40
000005bd: MLOAD
000005be: CALLVALUE
000005bf: DUP2
000005c0: MSTORE
000005c1: CALLER
000005c2: SWAP1
000005c3: PUSH32 0xe1fffcc4923d04b559f4d29a8bfc6cda04eb5b0d3c460751c2402c5c5cc9109c
000005e4: SWAP1
000005e5: PUSH1 0x20
000005e7: ADD
000005e8: PUSH1 0x40
000005ea: MLOAD
000005eb: DUP1
000005ec: SWAP2
000005ed: SUB
000005ee: SWAP1
000005ef: LOG2
000005f0: POP
000005f1: POP
000005f2: POP
000005f3: POP
000005f4: POP
000005f5: JUMP
000005f6: JUMPDEST
000005f7: PUSH1 0x60
000005f9: PUSH1 0x08
000005fb: DUP1
000005fc: SLOAD
000005fd: PUSH2 0x0605
00000600: SWAP1
00000601: PUSH2 0x193a
00000604: JUMP
00000605: JUMPDEST
00000606: DUP1
00000607: PUSH1 0x1f
00000609: ADD
0000060a: PUSH1 0x20
0000060c: DUP1
0000060d: SWAP2
0000060e: DIV
0000060f: MUL
00000610: PUSH1 0x20
00000612: ADD
00000613: PUSH1 0x40
00000615: MLOAD
00000616: SWAP1
00000617: DUP2
00000618: ADD
00000619: PUSH1 0x40
0000061b: MSTORE
0000061c: DUP1
0000061d: SWAP3
0000061e: SWAP2
0000061f: SWAP1
00000620: DUP2
00000621: DUP2
00000622: MSTORE
00000623: PUSH1 0x20
00000625: ADD
00000626: DUP3
00000627: DUP1
00000628: SLOAD
00000629: PUSH2 0x0631
0000062c: SWAP1
0000062d: PUSH2 0x193a
00000630: JUMP
00000631: JUMPDEST
00000632: DUP1
00000633: ISZERO
00000634: PUSH2 0x067e
00000637: JUMPI
00000638: DUP1
00000639: PUSH1 0x1f
0000063b: LT
0000063c: PUSH2 0x0653
0000063f: JUMPI
00000640: PUSH2 0x0100
00000643: DUP1
00000644: DUP4
00000645: SLOAD
00000646: DIV
00000647: MUL
00000648: DUP4
00000649: MSTORE
0000064a: SWAP2
0000064b: PUSH1 0x20
0000064d: ADD
0000064e: SWAP2
0000064f: PUSH2 0x067e
00000652: JUMP
00000653: JUMPDEST
00000654: DUP3
00000655: ADD
00000656: SWAP2
00000657: SWAP1
00000658: PUSH1 0x00
0000065a: MSTORE
0000065b: PUSH1 0x20
0000065d: PUSH1 0x00
0000065f: KECCAK256
00000660: SWAP1
00000661: JUMPDEST
00000662: DUP2
00000663: SLOAD
00000664: DUP2
00000665: MSTORE
00000666: SWAP1
00000667: PUSH1 0x01
00000669: ADD
0000066a: SWAP1
0000066b: PUSH1 0x20
0000066d: ADD
0000066e: DUP1
0000066f: DUP4
00000670: GT
00000671: PUSH2 0x0661
00000674: JUMPI
00000675: DUP3
00000676: SWAP1
00000677: SUB
00000678: PUSH1 0x1f
0000067a: AND
0000067b: DUP3
0000067c: ADD
0000067d: SWAP2
0000067e: JUMPDEST
0000067f: POP
00000680: POP
00000681: POP
00000682: POP
00000683: POP
00000684: SWAP1
00000685: POP
00000686: SWAP1
00000687: JUMP
00000688: JUMPDEST
00000689: PUSH1 0x00
0000068b: PUSH2 0x0695
0000068e: CALLER
0000068f: DUP5
00000690: DUP5
00000691: PUSH2 0x0f35
00000694: JUMP
00000695: JUMPDEST
00000696: POP
00000697: PUSH1 0x01
00000699: JUMPDEST
0000069a: SWAP3
0000069b: SWAP2
0000069c: POP
0000069d: POP
0000069e: JUMP
0000069f: JUMPDEST
000006a0: PUSH1 0x0b
000006a2: SLOAD
000006a3: PUSH1 0x01
000006a5: PUSH1 0x01
000006a7: PUSH1 0xa0
000006a9: SHL
000006aa: SUB
000006ab: AND
000006ac: CALLER
000006ad: EQ
000006ae: PUSH2 0x06e3
000006b1: JUMPI
000006b2: PUSH1 0x40
000006b4: MLOAD
000006b5: PUSH3 0x461bcd
000006b9: PUSH1 0xe5
000006bb: SHL
000006bc: DUP2
000006bd: MSTORE
000006be: PUSH1 0x20
000006c0: PUSH1 0x04
000006c2: DUP3
000006c3: ADD
000006c4: MSTORE
000006c5: PUSH1 0x07
000006c7: PUSH1 0x24
000006c9: DUP3
000006ca: ADD
000006cb: MSTORE
000006cc: PUSH7 0x6f70206f6e6c79
000006d4: PUSH1 0xc8
000006d6: SHL
000006d7: PUSH1 0x44
000006d9: DUP3
000006da: ADD
000006db: MSTORE
000006dc: PUSH1 0x64
000006de: ADD
000006df: PUSH2 0x0444
000006e2: JUMP
000006e3: JUMPDEST
000006e4: PUSH2 0x06ee
000006e7: PUSH1 0x03
000006e9: DUP3
000006ea: PUSH2 0x1059
000006ed: JUMP
000006ee: JUMPDEST
000006ef: PUSH2 0x072d
000006f2: JUMPI
000006f3: PUSH1 0x40
000006f5: MLOAD
000006f6: PUSH3 0x461bcd
000006fa: PUSH1 0xe5
000006fc: SHL
000006fd: DUP2
000006fe: MSTORE
000006ff: PUSH1 0x20
00000701: PUSH1 0x04
00000703: DUP3
00000704: ADD
00000705: MSTORE
00000706: PUSH1 0x10
00000708: PUSH1 0x24
0000070a: DUP3
0000070b: ADD
0000070c: MSTORE
0000070d: PUSH16 0x1859191c995cdcc8195e18db1d591959
0000071e: PUSH1 0x82
00000720: SHL
00000721: PUSH1 0x44
00000723: DUP3
00000724: ADD
00000725: MSTORE
00000726: PUSH1 0x64
00000728: ADD
00000729: PUSH2 0x0444
0000072c: JUMP
0000072d: JUMPDEST
0000072e: PUSH1 0x01
00000730: PUSH1 0x01
00000732: PUSH1 0xa0
00000734: SHL
00000735: SUB
00000736: DUP2
00000737: AND
00000738: PUSH1 0x00
0000073a: SWAP1
0000073b: DUP2
0000073c: MSTORE
0000073d: PUSH1 0x01
0000073f: PUSH1 0x20
00000741: MSTORE
00000742: PUSH1 0x40
00000744: DUP2
00000745: KECCAK256
00000746: SSTORE
00000747: PUSH2 0x0751
0000074a: PUSH1 0x03
0000074c: DUP3
0000074d: PUSH2 0x107b
00000750: JUMP
00000751: JUMPDEST
00000752: POP
00000753: POP
00000754: JUMP
00000755: JUMPDEST
00000756: PUSH1 0x00
00000758: PUSH2 0x0762
0000075b: DUP5
0000075c: DUP5
0000075d: DUP5
0000075e: PUSH2 0x1090
00000761: JUMP
00000762: JUMPDEST
00000763: PUSH1 0x01
00000765: PUSH1 0x01
00000767: PUSH1 0xa0
00000769: SHL
0000076a: SUB
0000076b: DUP5
0000076c: AND
0000076d: PUSH1 0x00
0000076f: SWAP1
00000770: DUP2
00000771: MSTORE
00000772: PUSH1 0x02
00000774: PUSH1 0x20
00000776: SWAP1
00000777: DUP2
00000778: MSTORE
00000779: PUSH1 0x40
0000077b: DUP1
0000077c: DUP4
0000077d: KECCAK256
0000077e: CALLER
0000077f: DUP1
00000780: DUP6
00000781: MSTORE
00000782: SWAP3
00000783: MSTORE
00000784: SWAP1
00000785: SWAP2
00000786: KECCAK256
00000787: SLOAD
00000788: PUSH2 0x079d
0000078b: SWAP2
0000078c: DUP7
0000078d: SWAP2
0000078e: PUSH2 0x0798
00000791: SWAP1
00000792: DUP7
00000793: SWAP1
00000794: PUSH2 0x1923
00000797: JUMP
00000798: JUMPDEST
00000799: PUSH2 0x0f35
0000079c: JUMP
0000079d: JUMPDEST
0000079e: POP
0000079f: PUSH1 0x01
000007a1: SWAP4
000007a2: SWAP3
000007a3: POP
000007a4: POP
000007a5: POP
000007a6: JUMP
000007a7: JUMPDEST
000007a8: PUSH1 0x0a
000007aa: SLOAD
000007ab: PUSH2 0x0100
000007ae: SWAP1
000007af: DIV
000007b0: PUSH1 0x01
000007b2: PUSH1 0x01
000007b4: PUSH1 0xa0
000007b6: SHL
000007b7: SUB
000007b8: AND
000007b9: CALLER
000007ba: EQ
000007bb: PUSH2 0x07f9
000007be: JUMPI
000007bf: PUSH1 0x40
000007c1: MLOAD
000007c2: PUSH3 0x461bcd
000007c6: PUSH1 0xe5
000007c8: SHL
000007c9: DUP2
000007ca: MSTORE
000007cb: PUSH1 0x20
000007cd: PUSH1 0x04
000007cf: DUP3
000007d0: ADD
000007d1: MSTORE
000007d2: PUSH1 0x10
000007d4: PUSH1 0x24
000007d6: DUP3
000007d7: ADD
000007d8: MSTORE
000007d9: PUSH16 0x1bdb9b1e481bdc0818d85b8818d85b1b
000007ea: PUSH1 0x82
000007ec: SHL
000007ed: PUSH1 0x44
000007ef: DUP3
000007f0: ADD
000007f1: MSTORE
000007f2: PUSH1 0x64
000007f4: ADD
000007f5: PUSH2 0x0444
000007f8: JUMP
000007f9: JUMPDEST
000007fa: PUSH1 0x0a
000007fc: DUP1
000007fd: SLOAD
000007fe: PUSH2 0x0100
00000801: PUSH1 0x01
00000803: PUSH1 0xa8
00000805: SHL
00000806: SUB
00000807: NOT
00000808: AND
00000809: PUSH2 0x0100
0000080c: PUSH1 0x01
0000080e: PUSH1 0x01
00000810: PUSH1 0xa0
00000812: SHL
00000813: SUB
00000814: SWAP5
00000815: DUP6
00000816: AND
00000817: MUL
00000818: OR
00000819: SWAP1
0000081a: SSTORE
0000081b: PUSH1 0x0b
0000081d: DUP1
0000081e: SLOAD
0000081f: PUSH1 0x01
00000821: PUSH1 0x01
00000823: PUSH1 0xa0
00000825: SHL
00000826: SUB
00000827: NOT
00000828: AND
00000829: SWAP2
0000082a: SWAP1
0000082b: SWAP3
0000082c: AND
0000082d: OR
0000082e: SWAP1
0000082f: SSTORE
00000830: JUMP
00000831: JUMPDEST
00000832: DUP1
00000833: PUSH2 0x083b
00000836: CALLER
00000837: PUSH2 0x0ac9
0000083a: JUMP
0000083b: JUMPDEST
0000083c: LT
0000083d: ISZERO
0000083e: DUP1
0000083f: ISZERO
00000840: PUSH2 0x084b
00000843: JUMPI
00000844: POP
00000845: PUSH1 0x05
00000847: SLOAD
00000848: DUP2
00000849: GT
0000084a: ISZERO
0000084b: JUMPDEST
0000084c: PUSH2 0x0885
0000084f: JUMPI
00000850: PUSH1 0x40
00000852: MLOAD
00000853: PUSH3 0x461bcd
00000857: PUSH1 0xe5
00000859: SHL
0000085a: DUP2
0000085b: MSTORE
0000085c: PUSH1 0x20
0000085e: PUSH1 0x04
00000860: DUP3
00000861: ADD
00000862: MSTORE
00000863: PUSH1 0x0b
00000865: PUSH1 0x24
00000867: DUP3
00000868: ADD
00000869: MSTORE
0000086a: PUSH11 0x1a5b9d985b1a5908185b5d
00000876: PUSH1 0xaa
00000878: SHL
00000879: PUSH1 0x44
0000087b: DUP3
0000087c: ADD
0000087d: MSTORE
0000087e: PUSH1 0x64
00000880: ADD
00000881: PUSH2 0x0444
00000884: JUMP
00000885: JUMPDEST
00000886: PUSH1 0x00
00000888: DUP1
00000889: PUSH2 0x0890
0000088c: PUSH2 0x0b44
0000088f: JUMP
00000890: JUMPDEST
00000891: SWAP1
00000892: SWAP3
00000893: POP
00000894: SWAP1
00000895: POP
00000896: PUSH1 0x00
00000898: PUSH2 0x08a2
0000089b: PUSH1 0x64
0000089d: DUP6
0000089e: PUSH2 0x18e4
000008a1: JUMP
000008a2: JUMPDEST
000008a3: SWAP1
000008a4: POP
000008a5: PUSH1 0x00
000008a7: PUSH2 0x08b1
000008aa: PUSH1 0x08
000008ac: DUP4
000008ad: PUSH2 0x18e4
000008b0: JUMP
000008b1: JUMPDEST
000008b2: SWAP1
000008b3: POP
000008b4: PUSH1 0x00
000008b6: PUSH2 0x08bf
000008b9: DUP4
000008ba: DUP8
000008bb: PUSH2 0x1923
000008be: JUMP
000008bf: JUMPDEST
000008c0: SWAP1
000008c1: POP
000008c2: PUSH2 0x08ca
000008c5: CALLER
000008c6: PUSH2 0x0dfc
000008c9: JUMP
000008ca: JUMPDEST
000008cb: ISZERO
000008cc: PUSH2 0x0933
000008cf: JUMPI
000008d0: CALLER
000008d1: PUSH1 0x00
000008d3: SWAP1
000008d4: DUP2
000008d5: MSTORE
000008d6: PUSH1 0x01
000008d8: PUSH1 0x20
000008da: MSTORE
000008db: PUSH1 0x40
000008dd: DUP2
000008de: KECCAK256
000008df: DUP1
000008e0: SLOAD
000008e1: DUP9
000008e2: SWAP3
000008e3: SWAP1
000008e4: PUSH2 0x08ee
000008e7: SWAP1
000008e8: DUP5
000008e9: SWAP1
000008ea: PUSH2 0x1923
000008ed: JUMP
000008ee: JUMPDEST
000008ef: SWAP1
000008f0: SWAP2
000008f1: SSTORE
000008f2: POP
000008f3: DUP5
000008f4: SWAP1
000008f5: POP
000008f6: PUSH2 0x08ff
000008f9: DUP7
000008fa: DUP9
000008fb: PUSH2 0x1904
000008fe: JUMP
000008ff: JUMPDEST
00000900: PUSH2 0x0909
00000903: SWAP2
00000904: SWAP1
00000905: PUSH2 0x18e4
00000908: JUMP
00000909: JUMPDEST
0000090a: CALLER
0000090b: PUSH1 0x00
0000090d: SWAP1
0000090e: DUP2
0000090f: MSTORE
00000910: PUSH1 0x20
00000912: DUP2
00000913: SWAP1
00000914: MSTORE
00000915: PUSH1 0x40
00000917: DUP2
00000918: KECCAK256
00000919: DUP1
0000091a: SLOAD
0000091b: SWAP1
0000091c: SWAP2
0000091d: SWAP1
0000091e: PUSH2 0x0928
00000921: SWAP1
00000922: DUP5
00000923: SWAP1
00000924: PUSH2 0x1923
00000927: JUMP
00000928: JUMPDEST
00000929: SWAP1
0000092a: SWAP2
0000092b: SSTORE
0000092c: POP
0000092d: PUSH2 0x096d
00000930: SWAP1
00000931: POP
00000932: JUMP
00000933: JUMPDEST
00000934: DUP4
00000935: PUSH2 0x093e
00000938: DUP7
00000939: DUP9
0000093a: PUSH2 0x1904
0000093d: JUMP
0000093e: JUMPDEST
0000093f: PUSH2 0x0948
00000942: SWAP2
00000943: SWAP1
00000944: PUSH2 0x18e4
00000947: JUMP
00000948: JUMPDEST
00000949: CALLER
0000094a: PUSH1 0x00
0000094c: SWAP1
0000094d: DUP2
0000094e: MSTORE
0000094f: PUSH1 0x20
00000951: DUP2
00000952: SWAP1
00000953: MSTORE
00000954: PUSH1 0x40
00000956: DUP2
00000957: KECCAK256
00000958: DUP1
00000959: SLOAD
0000095a: SWAP1
0000095b: SWAP2
0000095c: SWAP1
0000095d: PUSH2 0x0967
00000960: SWAP1
00000961: DUP5
00000962: SWAP1
00000963: PUSH2 0x1923
00000966: JUMP
00000967: JUMPDEST
00000968: SWAP1
00000969: SWAP2
0000096a: SSTORE
0000096b: POP
0000096c: POP
0000096d: JUMPDEST
0000096e: PUSH2 0x0977
00000971: DUP3
00000972: DUP3
00000973: PUSH2 0x18cc
00000976: JUMP
00000977: JUMPDEST
00000978: PUSH1 0x05
0000097a: PUSH1 0x00
0000097c: DUP3
0000097d: DUP3
0000097e: SLOAD
0000097f: PUSH2 0x0988
00000982: SWAP2
00000983: SWAP1
00000984: PUSH2 0x1923
00000987: JUMP
00000988: JUMPDEST
00000989: SWAP1
0000098a: SWAP2
0000098b: SSTORE
0000098c: POP
0000098d: DUP5
0000098e: SWAP1
0000098f: POP
00000990: DUP6
00000991: PUSH2 0x099a
00000994: DUP5
00000995: DUP5
00000996: PUSH2 0x18cc
00000999: JUMP
0000099a: JUMPDEST
0000099b: PUSH2 0x09a4
0000099e: SWAP2
0000099f: SWAP1
000009a0: PUSH2 0x1904
000009a3: JUMP
000009a4: JUMPDEST
000009a5: PUSH2 0x09ae
000009a8: SWAP2
000009a9: SWAP1
000009aa: PUSH2 0x18e4
000009ad: JUMP
000009ae: JUMPDEST
000009af: PUSH1 0x06
000009b1: PUSH1 0x00
000009b3: DUP3
000009b4: DUP3
000009b5: SLOAD
000009b6: PUSH2 0x09bf
000009b9: SWAP2
000009ba: SWAP1
000009bb: PUSH2 0x1923
000009be: JUMP
000009bf: JUMPDEST
000009c0: SWAP1
000009c1: SWAP2
000009c2: SSTORE
000009c3: POP
000009c4: DUP5
000009c5: SWAP1
000009c6: POP
000009c7: PUSH2 0x09d0
000009ca: DUP7
000009cb: DUP5
000009cc: PUSH2 0x1904
000009cf: JUMP
000009d0: JUMPDEST
000009d1: PUSH2 0x09da
000009d4: SWAP2
000009d5: SWAP1
000009d6: PUSH2 0x18e4
000009d9: JUMP
000009da: JUMPDEST
000009db: PUSH1 0x0a
000009dd: SLOAD
000009de: PUSH2 0x0100
000009e1: SWAP1
000009e2: DIV
000009e3: PUSH1 0x01
000009e5: PUSH1 0x01
000009e7: PUSH1 0xa0
000009e9: SHL
000009ea: SUB
000009eb: AND
000009ec: PUSH1 0x00
000009ee: SWAP1
000009ef: DUP2
000009f0: MSTORE
000009f1: PUSH1 0x20
000009f3: DUP2
000009f4: SWAP1
000009f5: MSTORE
000009f6: PUSH1 0x40
000009f8: DUP2
000009f9: KECCAK256
000009fa: DUP1
000009fb: SLOAD
000009fc: SWAP1
000009fd: SWAP2
000009fe: SWAP1
000009ff: PUSH2 0x0a09
00000a02: SWAP1
00000a03: DUP5
00000a04: SWAP1
00000a05: PUSH2 0x18cc
00000a08: JUMP
00000a09: JUMPDEST
00000a0a: SWAP3
00000a0b: POP
00000a0c: POP
00000a0d: DUP2
00000a0e: SWAP1
00000a0f: SSTORE
00000a10: POP
00000a11: DUP2
00000a12: PUSH1 0x07
00000a14: PUSH1 0x00
00000a16: DUP3
00000a17: DUP3
00000a18: SLOAD
00000a19: PUSH2 0x0a22
00000a1c: SWAP2
00000a1d: SWAP1
00000a1e: PUSH2 0x18cc
00000a21: JUMP
00000a22: JUMPDEST
00000a23: SWAP1
00000a24: SWAP2
00000a25: SSTORE
00000a26: POP
00000a27: POP
00000a28: PUSH1 0x40
00000a2a: MLOAD
00000a2b: CALLER
00000a2c: SWAP1
00000a2d: DUP3
00000a2e: ISZERO
00000a2f: PUSH2 0x08fc
00000a32: MUL
00000a33: SWAP1
00000a34: DUP4
00000a35: SWAP1
00000a36: PUSH1 0x00
00000a38: DUP2
00000a39: DUP2
00000a3a: DUP2
00000a3b: DUP6
00000a3c: DUP9
00000a3d: DUP9
00000a3e: CALL
00000a3f: SWAP4
00000a40: POP
00000a41: POP
00000a42: POP
00000a43: POP
00000a44: ISZERO
00000a45: DUP1
00000a46: ISZERO
00000a47: PUSH2 0x0a54
00000a4a: JUMPI
00000a4b: RETURNDATASIZE
00000a4c: PUSH1 0x00
00000a4e: DUP1
00000a4f: RETURNDATACOPY
00000a50: RETURNDATASIZE
00000a51: PUSH1 0x00
00000a53: REVERT
00000a54: JUMPDEST
00000a55: POP
00000a56: PUSH1 0x40
00000a58: MLOAD
00000a59: DUP2
00000a5a: DUP2
00000a5b: MSTORE
00000a5c: CALLER
00000a5d: SWAP1
00000a5e: PUSH32 0x7fcf532c15f0a6db0bd6d0e038bea71d30d808c7d98cb3bf7268a95bf5081b65
00000a7f: SWAP1
00000a80: PUSH1 0x20
00000a82: ADD
00000a83: PUSH1 0x40
00000a85: MLOAD
00000a86: DUP1
00000a87: SWAP2
00000a88: SUB
00000a89: SWAP1
00000a8a: LOG2
00000a8b: POP
00000a8c: POP
00000a8d: POP
00000a8e: POP
00000a8f: POP
00000a90: POP
00000a91: JUMP
00000a92: JUMPDEST
00000a93: CALLER
00000a94: PUSH1 0x00
00000a96: DUP2
00000a97: DUP2
00000a98: MSTORE
00000a99: PUSH1 0x02
00000a9b: PUSH1 0x20
00000a9d: SWAP1
00000a9e: DUP2
00000a9f: MSTORE
00000aa0: PUSH1 0x40
00000aa2: DUP1
00000aa3: DUP4
00000aa4: KECCAK256
00000aa5: PUSH1 0x01
00000aa7: PUSH1 0x01
00000aa9: PUSH1 0xa0
00000aab: SHL
00000aac: SUB
00000aad: DUP8
00000aae: AND
00000aaf: DUP5
00000ab0: MSTORE
00000ab1: SWAP1
00000ab2: SWAP2
00000ab3: MSTORE
00000ab4: DUP2
00000ab5: KECCAK256
00000ab6: SLOAD
00000ab7: SWAP1
00000ab8: SWAP2
00000ab9: PUSH2 0x0695
00000abc: SWAP2
00000abd: DUP6
00000abe: SWAP1
00000abf: PUSH2 0x0798
00000ac2: SWAP1
00000ac3: DUP7
00000ac4: SWAP1
00000ac5: PUSH2 0x18cc
00000ac8: JUMP
00000ac9: JUMPDEST
00000aca: PUSH1 0x00
00000acc: PUSH2 0x0ad6
00000acf: PUSH1 0x03
00000ad1: DUP4
00000ad2: PUSH2 0x1059
00000ad5: JUMP
00000ad6: JUMPDEST
00000ad7: ISZERO
00000ad8: PUSH2 0x0afa
00000adb: JUMPI
00000adc: POP
00000add: PUSH1 0x01
00000adf: PUSH1 0x01
00000ae1: PUSH1 0xa0
00000ae3: SHL
00000ae4: SUB
00000ae5: DUP2
00000ae6: AND
00000ae7: PUSH1 0x00
00000ae9: SWAP1
00000aea: DUP2
00000aeb: MSTORE
00000aec: PUSH1 0x01
00000aee: PUSH1 0x20
00000af0: MSTORE
00000af1: PUSH1 0x40
00000af3: SWAP1
00000af4: KECCAK256
00000af5: SLOAD
00000af6: PUSH2 0x0b3f
00000af9: JUMP
00000afa: JUMPDEST
00000afb: PUSH1 0x00
00000afd: DUP1
00000afe: PUSH2 0x0b05
00000b01: PUSH2 0x0b44
00000b04: JUMP
00000b05: JUMPDEST
00000b06: PUSH1 0x01
00000b08: PUSH1 0x01
00000b0a: PUSH1 0xa0
00000b0c: SHL
00000b0d: SUB
00000b0e: DUP7
00000b0f: AND
00000b10: PUSH1 0x00
00000b12: SWAP1
00000b13: DUP2
00000b14: MSTORE
00000b15: PUSH1 0x20
00000b17: DUP2
00000b18: SWAP1
00000b19: MSTORE
00000b1a: PUSH1 0x40
00000b1c: SWAP1
00000b1d: KECCAK256
00000b1e: SLOAD
00000b1f: SWAP2
00000b20: SWAP4
00000b21: POP
00000b22: SWAP2
00000b23: POP
00000b24: DUP3
00000b25: SWAP1
00000b26: PUSH2 0x0b30
00000b29: SWAP1
00000b2a: DUP4
00000b2b: SWAP1
00000b2c: PUSH2 0x1904
00000b2f: JUMP
00000b30: JUMPDEST
00000b31: PUSH2 0x0b3a
00000b34: SWAP2
00000b35: SWAP1
00000b36: PUSH2 0x18e4
00000b39: JUMP
00000b3a: JUMPDEST
00000b3b: SWAP3
00000b3c: POP
00000b3d: POP
00000b3e: POP
00000b3f: JUMPDEST
00000b40: SWAP2
00000b41: SWAP1
00000b42: POP
00000b43: JUMP
00000b44: JUMPDEST
00000b45: PUSH1 0x00
00000b47: DUP1
00000b48: PUSH1 0x06
00000b4a: SLOAD
00000b4b: PUSH1 0x00
00000b4d: EQ
00000b4e: DUP1
00000b4f: PUSH2 0x0b58
00000b52: JUMPI
00000b53: POP
00000b54: PUSH1 0x05
00000b56: SLOAD
00000b57: ISZERO
00000b58: JUMPDEST
00000b59: ISZERO
00000b5a: PUSH2 0x0b6c
00000b5d: JUMPI
00000b5e: POP
00000b5f: PUSH4 0x3b9aca00
00000b64: SWAP1
00000b65: POP
00000b66: PUSH1 0x01
00000b68: PUSH2 0x0cb1
00000b6b: JUMP
00000b6c: JUMPDEST
00000b6d: PUSH1 0x06
00000b6f: SLOAD
00000b70: PUSH1 0x05
00000b72: SLOAD
00000b73: PUSH1 0x00
00000b75: JUMPDEST
00000b76: PUSH2 0x0b7f
00000b79: PUSH1 0x03
00000b7b: PUSH2 0x14f4
00000b7e: JUMP
00000b7f: JUMPDEST
00000b80: DUP2
00000b81: LT
00000b82: ISZERO
00000b83: PUSH2 0x0c82
00000b86: JUMPI
00000b87: DUP3
00000b88: PUSH1 0x00
00000b8a: DUP1
00000b8b: PUSH2 0x0b95
00000b8e: PUSH1 0x03
00000b90: DUP6
00000b91: PUSH2 0x14fe
00000b94: JUMP
00000b95: JUMPDEST
00000b96: PUSH1 0x01
00000b98: PUSH1 0x01
00000b9a: PUSH1 0xa0
00000b9c: SHL
00000b9d: SUB
00000b9e: AND
00000b9f: PUSH1 0x01
00000ba1: PUSH1 0x01
00000ba3: PUSH1 0xa0
00000ba5: SHL
00000ba6: SUB
00000ba7: AND
00000ba8: DUP2
00000ba9: MSTORE
00000baa: PUSH1 0x20
00000bac: ADD
00000bad: SWAP1
00000bae: DUP2
00000baf: MSTORE
00000bb0: PUSH1 0x20
00000bb2: ADD
00000bb3: PUSH1 0x00
00000bb5: KECCAK256
00000bb6: SLOAD
00000bb7: GT
00000bb8: DUP1
00000bb9: PUSH2 0x0bf0
00000bbc: JUMPI
00000bbd: POP
00000bbe: DUP2
00000bbf: PUSH1 0x01
00000bc1: PUSH1 0x00
00000bc3: PUSH2 0x0bcd
00000bc6: PUSH1 0x03
00000bc8: DUP6
00000bc9: PUSH2 0x14fe
00000bcc: JUMP
00000bcd: JUMPDEST
00000bce: PUSH1 0x01
00000bd0: PUSH1 0x01
00000bd2: PUSH1 0xa0
00000bd4: SHL
00000bd5: SUB
00000bd6: AND
00000bd7: PUSH1 0x01
00000bd9: PUSH1 0x01
00000bdb: PUSH1 0xa0
00000bdd: SHL
00000bde: SUB
00000bdf: AND
00000be0: DUP2
00000be1: MSTORE
00000be2: PUSH1 0x20
00000be4: ADD
00000be5: SWAP1
00000be6: DUP2
00000be7: MSTORE
00000be8: PUSH1 0x20
00000bea: ADD
00000beb: PUSH1 0x00
00000bed: KECCAK256
00000bee: SLOAD
00000bef: GT
00000bf0: JUMPDEST
00000bf1: ISZERO
00000bf2: PUSH2 0x0c07
00000bf5: JUMPI
00000bf6: PUSH1 0x06
00000bf8: SLOAD
00000bf9: PUSH1 0x05
00000bfb: SLOAD
00000bfc: SWAP5
00000bfd: POP
00000bfe: SWAP5
00000bff: POP
00000c00: POP
00000c01: POP
00000c02: POP
00000c03: PUSH2 0x0cb1
00000c06: JUMP
00000c07: JUMPDEST
00000c08: PUSH1 0x00
00000c0a: DUP1
00000c0b: PUSH2 0x0c15
00000c0e: PUSH1 0x03
00000c10: DUP5
00000c11: PUSH2 0x14fe
00000c14: JUMP
00000c15: JUMPDEST
00000c16: PUSH1 0x01
00000c18: PUSH1 0x01
00000c1a: PUSH1 0xa0
00000c1c: SHL
00000c1d: SUB
00000c1e: AND
00000c1f: DUP2
00000c20: MSTORE
00000c21: PUSH1 0x20
00000c23: DUP2
00000c24: ADD
00000c25: SWAP2
00000c26: SWAP1
00000c27: SWAP2
00000c28: MSTORE
00000c29: PUSH1 0x40
00000c2b: ADD
00000c2c: PUSH1 0x00
00000c2e: KECCAK256
00000c2f: SLOAD
00000c30: PUSH2 0x0c39
00000c33: SWAP1
00000c34: DUP5
00000c35: PUSH2 0x1923
00000c38: JUMP
00000c39: JUMPDEST
00000c3a: SWAP3
00000c3b: POP
00000c3c: PUSH1 0x01
00000c3e: PUSH1 0x00
00000c40: PUSH2 0x0c4a
00000c43: PUSH1 0x03
00000c45: DUP5
00000c46: PUSH2 0x14fe
00000c49: JUMP
00000c4a: JUMPDEST
00000c4b: PUSH1 0x01
00000c4d: PUSH1 0x01
00000c4f: PUSH1 0xa0
00000c51: SHL
00000c52: SUB
00000c53: AND
00000c54: DUP2
00000c55: MSTORE
00000c56: PUSH1 0x20
00000c58: DUP2
00000c59: ADD
00000c5a: SWAP2
00000c5b: SWAP1
00000c5c: SWAP2
00000c5d: MSTORE
00000c5e: PUSH1 0x40
00000c60: ADD
00000c61: PUSH1 0x00
00000c63: KECCAK256
00000c64: SLOAD
00000c65: PUSH2 0x0c6e
00000c68: SWAP1
00000c69: DUP4
00000c6a: PUSH2 0x1923
00000c6d: JUMP
00000c6e: JUMPDEST
00000c6f: SWAP2
00000c70: POP
00000c71: DUP1
00000c72: PUSH2 0x0c7a
00000c75: DUP2
00000c76: PUSH2 0x1975
00000c79: JUMP
00000c7a: JUMPDEST
00000c7b: SWAP2
00000c7c: POP
00000c7d: POP
00000c7e: PUSH2 0x0b75
00000c81: JUMP
00000c82: JUMPDEST
00000c83: POP
00000c84: PUSH1 0x05
00000c86: SLOAD
00000c87: PUSH1 0x06
00000c89: SLOAD
00000c8a: PUSH2 0x0c93
00000c8d: SWAP2
00000c8e: SWAP1
00000c8f: PUSH2 0x18e4
00000c92: JUMP
00000c93: JUMPDEST
00000c94: DUP3
00000c95: LT
00000c96: ISZERO
00000c97: PUSH2 0x0cab
00000c9a: JUMPI
00000c9b: PUSH1 0x06
00000c9d: SLOAD
00000c9e: PUSH1 0x05
00000ca0: SLOAD
00000ca1: SWAP4
00000ca2: POP
00000ca3: SWAP4
00000ca4: POP
00000ca5: POP
00000ca6: POP
00000ca7: PUSH2 0x0cb1
00000caa: JUMP
00000cab: JUMPDEST
00000cac: SWAP1
00000cad: SWAP3
00000cae: POP
00000caf: SWAP1
00000cb0: POP
00000cb1: JUMPDEST
00000cb2: SWAP1
00000cb3: SWAP2
00000cb4: JUMP
00000cb5: JUMPDEST
00000cb6: PUSH2 0x0cbe
00000cb9: CALLER
00000cba: PUSH2 0x0dfc
00000cbd: JUMP
00000cbe: JUMPDEST
00000cbf: ISZERO
00000cc0: PUSH2 0x0cf9
00000cc3: JUMPI
00000cc4: PUSH1 0x40
00000cc6: MLOAD
00000cc7: PUSH3 0x461bcd
00000ccb: PUSH1 0xe5
00000ccd: SHL
00000cce: DUP2
00000ccf: MSTORE
00000cd0: PUSH1 0x20
00000cd2: PUSH1 0x04
00000cd4: DUP3
00000cd5: ADD
00000cd6: MSTORE
00000cd7: PUSH1 0x0b
00000cd9: PUSH1 0x24
00000cdb: DUP3
00000cdc: ADD
00000cdd: MSTORE
00000cde: PUSH11 0x1b9bdd08185b1b1bddd959
00000cea: PUSH1 0xaa
00000cec: SHL
00000ced: PUSH1 0x44
00000cef: DUP3
00000cf0: ADD
00000cf1: MSTORE
00000cf2: PUSH1 0x64
00000cf4: ADD
00000cf5: PUSH2 0x0444
00000cf8: JUMP
00000cf9: JUMPDEST
00000cfa: PUSH1 0x00
00000cfc: DUP1
00000cfd: PUSH2 0x0d04
00000d00: PUSH2 0x0b44
00000d03: JUMP
00000d04: JUMPDEST
00000d05: SWAP1
00000d06: SWAP3
00000d07: POP
00000d08: SWAP1
00000d09: POP
00000d0a: DUP1
00000d0b: PUSH2 0x0d14
00000d0e: DUP4
00000d0f: DUP6
00000d10: PUSH2 0x1904
00000d13: JUMP
00000d14: JUMPDEST
00000d15: PUSH2 0x0d1e
00000d18: SWAP2
00000d19: SWAP1
00000d1a: PUSH2 0x18e4
00000d1d: JUMP
00000d1e: JUMPDEST
00000d1f: CALLER
00000d20: PUSH1 0x00
00000d22: SWAP1
00000d23: DUP2
00000d24: MSTORE
00000d25: PUSH1 0x20
00000d27: DUP2
00000d28: SWAP1
00000d29: MSTORE
00000d2a: PUSH1 0x40
00000d2c: DUP2
00000d2d: KECCAK256
00000d2e: DUP1
00000d2f: SLOAD
00000d30: SWAP1
00000d31: SWAP2
00000d32: SWAP1
00000d33: PUSH2 0x0d3d
00000d36: SWAP1
00000d37: DUP5
00000d38: SWAP1
00000d39: PUSH2 0x1923
00000d3c: JUMP
00000d3d: JUMPDEST
00000d3e: SWAP1
00000d3f: SWAP2
00000d40: SSTORE
00000d41: POP
00000d42: DUP2
00000d43: SWAP1
00000d44: POP
00000d45: PUSH2 0x0d4e
00000d48: DUP4
00000d49: DUP6
00000d4a: PUSH2 0x1904
00000d4d: JUMP
00000d4e: JUMPDEST
00000d4f: PUSH2 0x0d58
00000d52: SWAP2
00000d53: SWAP1
00000d54: PUSH2 0x18e4
00000d57: JUMP
00000d58: JUMPDEST
00000d59: PUSH1 0x06
00000d5b: PUSH1 0x00
00000d5d: DUP3
00000d5e: DUP3
00000d5f: SLOAD
00000d60: PUSH2 0x0d69
00000d63: SWAP2
00000d64: SWAP1
00000d65: PUSH2 0x1923
00000d68: JUMP
00000d69: JUMPDEST
00000d6a: SWAP3
00000d6b: POP
00000d6c: POP
00000d6d: DUP2
00000d6e: SWAP1
00000d6f: SSTORE
00000d70: POP
00000d71: DUP3
00000d72: PUSH1 0x07
00000d74: PUSH1 0x00
00000d76: DUP3
00000d77: DUP3
00000d78: SLOAD
00000d79: PUSH2 0x0d82
00000d7c: SWAP2
00000d7d: SWAP1
00000d7e: PUSH2 0x18cc
00000d81: JUMP
00000d82: JUMPDEST
00000d83: SWAP1
00000d84: SWAP2
00000d85: SSTORE
00000d86: POP
00000d87: POP
00000d88: POP
00000d89: POP
00000d8a: POP
00000d8b: JUMP
00000d8c: JUMPDEST
00000d8d: PUSH1 0x60
00000d8f: PUSH1 0x09
00000d91: DUP1
00000d92: SLOAD
00000d93: PUSH2 0x0605
00000d96: SWAP1
00000d97: PUSH2 0x193a
00000d9a: JUMP
00000d9b: JUMPDEST
00000d9c: CALLER
00000d9d: PUSH1 0x00
00000d9f: DUP2
00000da0: DUP2
00000da1: MSTORE
00000da2: PUSH1 0x02
00000da4: PUSH1 0x20
00000da6: SWAP1
00000da7: DUP2
00000da8: MSTORE
00000da9: PUSH1 0x40
00000dab: DUP1
00000dac: DUP4
00000dad: KECCAK256
00000dae: PUSH1 0x01
00000db0: PUSH1 0x01
00000db2: PUSH1 0xa0
00000db4: SHL
00000db5: SUB
00000db6: DUP8
00000db7: AND
00000db8: DUP5
00000db9: MSTORE
00000dba: SWAP1
00000dbb: SWAP2
00000dbc: MSTORE
00000dbd: DUP2
00000dbe: KECCAK256
00000dbf: SLOAD
00000dc0: SWAP1
00000dc1: SWAP2
00000dc2: PUSH2 0x0695
00000dc5: SWAP2
00000dc6: DUP6
00000dc7: SWAP1
00000dc8: PUSH2 0x0798
00000dcb: SWAP1
00000dcc: DUP7
00000dcd: SWAP1
00000dce: PUSH2 0x1923
00000dd1: JUMP
00000dd2: JUMPDEST
00000dd3: PUSH1 0x00
00000dd5: PUSH2 0x0695
00000dd8: CALLER
00000dd9: DUP5
00000dda: DUP5
00000ddb: PUSH2 0x1090
00000dde: JUMP
00000ddf: JUMPDEST
00000de0: PUSH1 0x00
00000de2: DUP1
00000de3: PUSH1 0x00
00000de5: PUSH2 0x0dec
00000de8: PUSH2 0x0b44
00000deb: JUMP
00000dec: JUMPDEST
00000ded: SWAP1
00000dee: SWAP3
00000def: POP
00000df0: SWAP1
00000df1: POP
00000df2: DUP2
00000df3: PUSH2 0x0b30
00000df6: DUP3
00000df7: DUP7
00000df8: PUSH2 0x1904
00000dfb: JUMP
00000dfc: JUMPDEST
00000dfd: PUSH1 0x00
00000dff: PUSH2 0x0699
00000e02: PUSH1 0x03
00000e04: DUP4
00000e05: PUSH2 0x1059
00000e08: JUMP
00000e09: JUMPDEST
00000e0a: PUSH1 0x0b
00000e0c: SLOAD
00000e0d: PUSH1 0x01
00000e0f: PUSH1 0x01
00000e11: PUSH1 0xa0
00000e13: SHL
00000e14: SUB
00000e15: AND
00000e16: CALLER
00000e17: EQ
00000e18: PUSH2 0x0e4d
00000e1b: JUMPI
00000e1c: PUSH1 0x40
00000e1e: MLOAD
00000e1f: PUSH3 0x461bcd
00000e23: PUSH1 0xe5
00000e25: SHL
00000e26: DUP2
00000e27: MSTORE
00000e28: PUSH1 0x20
00000e2a: PUSH1 0x04
00000e2c: DUP3
00000e2d: ADD
00000e2e: MSTORE
00000e2f: PUSH1 0x07
00000e31: PUSH1 0x24
00000e33: DUP3
00000e34: ADD
00000e35: MSTORE
00000e36: PUSH7 0x6f70206f6e6c79
00000e3e: PUSH1 0xc8
00000e40: SHL
00000e41: PUSH1 0x44
00000e43: DUP3
00000e44: ADD
00000e45: MSTORE
00000e46: PUSH1 0x64
00000e48: ADD
00000e49: PUSH2 0x0444
00000e4c: JUMP
00000e4d: JUMPDEST
00000e4e: PUSH2 0x0e58
00000e51: PUSH1 0x03
00000e53: DUP3
00000e54: PUSH2 0x1059
00000e57: JUMP
00000e58: JUMPDEST
00000e59: ISZERO
00000e5a: PUSH2 0x0e98
00000e5d: JUMPI
00000e5e: PUSH1 0x40
00000e60: MLOAD
00000e61: PUSH3 0x461bcd
00000e65: PUSH1 0xe5
00000e67: SHL
00000e68: DUP2
00000e69: MSTORE
00000e6a: PUSH1 0x20
00000e6c: PUSH1 0x04
00000e6e: DUP3
00000e6f: ADD
00000e70: MSTORE
00000e71: PUSH1 0x10
00000e73: PUSH1 0x24
00000e75: DUP3
00000e76: ADD
00000e77: MSTORE
00000e78: PUSH16 0x1859191c995cdcc8195e18db1d591959
00000e89: PUSH1 0x82
00000e8b: SHL
00000e8c: PUSH1 0x44
00000e8e: DUP3
00000e8f: ADD
00000e90: MSTORE
00000e91: PUSH1 0x64
00000e93: ADD
00000e94: PUSH2 0x0444
00000e97: JUMP
00000e98: JUMPDEST
00000e99: PUSH1 0x01
00000e9b: PUSH1 0x01
00000e9d: PUSH1 0xa0
00000e9f: SHL
00000ea0: SUB
00000ea1: DUP2
00000ea2: AND
00000ea3: PUSH1 0x00
00000ea5: SWAP1
00000ea6: DUP2
00000ea7: MSTORE
00000ea8: PUSH1 0x20
00000eaa: DUP2
00000eab: SWAP1
00000eac: MSTORE
00000ead: PUSH1 0x40
00000eaf: SWAP1
00000eb0: KECCAK256
00000eb1: SLOAD
00000eb2: ISZERO
00000eb3: PUSH2 0x0f12
00000eb6: JUMPI
00000eb7: PUSH1 0x00
00000eb9: DUP1
00000eba: PUSH2 0x0ec1
00000ebd: PUSH2 0x0b44
00000ec0: JUMP
00000ec1: JUMPDEST
00000ec2: PUSH1 0x01
00000ec4: PUSH1 0x01
00000ec6: PUSH1 0xa0
00000ec8: SHL
00000ec9: SUB
00000eca: DUP6
00000ecb: AND
00000ecc: PUSH1 0x00
00000ece: SWAP1
00000ecf: DUP2
00000ed0: MSTORE
00000ed1: PUSH1 0x20
00000ed3: DUP2
00000ed4: SWAP1
00000ed5: MSTORE
00000ed6: PUSH1 0x40
00000ed8: SWAP1
00000ed9: KECCAK256
00000eda: SLOAD
00000edb: SWAP2
00000edc: SWAP4
00000edd: POP
00000ede: SWAP2
00000edf: POP
00000ee0: DUP3
00000ee1: SWAP1
00000ee2: PUSH2 0x0eec
00000ee5: SWAP1
00000ee6: DUP4
00000ee7: SWAP1
00000ee8: PUSH2 0x1904
00000eeb: JUMP
00000eec: JUMPDEST
00000eed: PUSH2 0x0ef6
00000ef0: SWAP2
00000ef1: SWAP1
00000ef2: PUSH2 0x18e4
00000ef5: JUMP
00000ef6: JUMPDEST
00000ef7: PUSH1 0x01
00000ef9: PUSH1 0x01
00000efb: PUSH1 0xa0
00000efd: SHL
00000efe: SUB
00000eff: DUP5
00000f00: AND
00000f01: PUSH1 0x00
00000f03: SWAP1
00000f04: DUP2
00000f05: MSTORE
00000f06: PUSH1 0x01
00000f08: PUSH1 0x20
00000f0a: MSTORE
00000f0b: PUSH1 0x40
00000f0d: SWAP1
00000f0e: KECCAK256
00000f0f: SSTORE
00000f10: POP
00000f11: POP
00000f12: JUMPDEST
00000f13: PUSH2 0x0751
00000f16: PUSH1 0x03
00000f18: DUP3
00000f19: JUMPDEST
00000f1a: PUSH1 0x00
00000f1c: PUSH2 0x0f2e
00000f1f: DUP4
00000f20: PUSH1 0x01
00000f22: PUSH1 0x01
00000f24: PUSH1 0xa0
00000f26: SHL
00000f27: SUB
00000f28: DUP5
00000f29: AND
00000f2a: PUSH2 0x150a
00000f2d: JUMP
00000f2e: JUMPDEST
00000f2f: SWAP4
00000f30: SWAP3
00000f31: POP
00000f32: POP
00000f33: POP
00000f34: JUMP
00000f35: JUMPDEST
00000f36: PUSH1 0x01
00000f38: PUSH1 0x01
00000f3a: PUSH1 0xa0
00000f3c: SHL
00000f3d: SUB
00000f3e: DUP4
00000f3f: AND
00000f40: PUSH2 0x0f97
00000f43: JUMPI
00000f44: PUSH1 0x40
00000f46: MLOAD
00000f47: PUSH3 0x461bcd
00000f4b: PUSH1 0xe5
00000f4d: SHL
00000f4e: DUP2
00000f4f: MSTORE
00000f50: PUSH1 0x20
00000f52: PUSH1 0x04
00000f54: DUP3
00000f55: ADD
00000f56: MSTORE
00000f57: PUSH1 0x24
00000f59: DUP1
00000f5a: DUP3
00000f5b: ADD
00000f5c: MSTORE
00000f5d: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
00000f7e: PUSH1 0x44
00000f80: DUP3
00000f81: ADD
00000f82: MSTORE
00000f83: PUSH4 0x72657373
00000f88: PUSH1 0xe0
00000f8a: SHL
00000f8b: PUSH1 0x64
00000f8d: DUP3
00000f8e: ADD
00000f8f: MSTORE
00000f90: PUSH1 0x84
00000f92: ADD
00000f93: PUSH2 0x0444
00000f96: JUMP
00000f97: JUMPDEST
00000f98: PUSH1 0x01
00000f9a: PUSH1 0x01
00000f9c: PUSH1 0xa0
00000f9e: SHL
00000f9f: SUB
00000fa0: DUP3
00000fa1: AND
00000fa2: PUSH2 0x0ff8
00000fa5: JUMPI
00000fa6: PUSH1 0x40
00000fa8: MLOAD
00000fa9: PUSH3 0x461bcd
00000fad: PUSH1 0xe5
00000faf: SHL
00000fb0: DUP2
00000fb1: MSTORE
00000fb2: PUSH1 0x20
00000fb4: PUSH1 0x04
00000fb6: DUP3
00000fb7: ADD
00000fb8: MSTORE
00000fb9: PUSH1 0x22
00000fbb: PUSH1 0x24
00000fbd: DUP3
00000fbe: ADD
00000fbf: MSTORE
00000fc0: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00000fe1: PUSH1 0x44
00000fe3: DUP3
00000fe4: ADD
00000fe5: MSTORE
00000fe6: PUSH2 0x7373
00000fe9: PUSH1 0xf0
00000feb: SHL
00000fec: PUSH1 0x64
00000fee: DUP3
00000fef: ADD
00000ff0: MSTORE
00000ff1: PUSH1 0x84
00000ff3: ADD
00000ff4: PUSH2 0x0444
00000ff7: JUMP
00000ff8: JUMPDEST
00000ff9: PUSH1 0x01
00000ffb: PUSH1 0x01
00000ffd: PUSH1 0xa0
00000fff: SHL
00001000: SUB
00001001: DUP4
00001002: DUP2
00001003: AND
00001004: PUSH1 0x00
00001006: DUP2
00001007: DUP2
00001008: MSTORE
00001009: PUSH1 0x02
0000100b: PUSH1 0x20
0000100d: SWAP1
0000100e: DUP2
0000100f: MSTORE
00001010: PUSH1 0x40
00001012: DUP1
00001013: DUP4
00001014: KECCAK256
00001015: SWAP5
00001016: DUP8
00001017: AND
00001018: DUP1
00001019: DUP5
0000101a: MSTORE
0000101b: SWAP5
0000101c: DUP3
0000101d: MSTORE
0000101e: SWAP2
0000101f: DUP3
00001020: SWAP1
00001021: KECCAK256
00001022: DUP6
00001023: SWAP1
00001024: SSTORE
00001025: SWAP1
00001026: MLOAD
00001027: DUP5
00001028: DUP2
00001029: MSTORE
0000102a: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
0000104b: SWAP2
0000104c: ADD
0000104d: PUSH1 0x40
0000104f: MLOAD
00001050: DUP1
00001051: SWAP2
00001052: SUB
00001053: SWAP1
00001054: LOG3
00001055: POP
00001056: POP
00001057: POP
00001058: JUMP
00001059: JUMPDEST
0000105a: PUSH1 0x01
0000105c: PUSH1 0x01
0000105e: PUSH1 0xa0
00001060: SHL
00001061: SUB
00001062: DUP2
00001063: AND
00001064: PUSH1 0x00
00001066: SWAP1
00001067: DUP2
00001068: MSTORE
00001069: PUSH1 0x01
0000106b: DUP4
0000106c: ADD
0000106d: PUSH1 0x20
0000106f: MSTORE
00001070: PUSH1 0x40
00001072: DUP2
00001073: KECCAK256
00001074: SLOAD
00001075: ISZERO
00001076: ISZERO
00001077: PUSH2 0x0f2e
0000107a: JUMP
0000107b: JUMPDEST
0000107c: PUSH1 0x00
0000107e: PUSH2 0x0f2e
00001081: DUP4
00001082: PUSH1 0x01
00001084: PUSH1 0x01
00001086: PUSH1 0xa0
00001088: SHL
00001089: SUB
0000108a: DUP5
0000108b: AND
0000108c: PUSH2 0x1559
0000108f: JUMP
00001090: JUMPDEST
00001091: PUSH1 0x01
00001093: PUSH1 0x01
00001095: PUSH1 0xa0
00001097: SHL
00001098: SUB
00001099: DUP4
0000109a: AND
0000109b: PUSH2 0x10f4
0000109e: JUMPI
0000109f: PUSH1 0x40
000010a1: MLOAD
000010a2: PUSH3 0x461bcd
000010a6: PUSH1 0xe5
000010a8: SHL
000010a9: DUP2
000010aa: MSTORE
000010ab: PUSH1 0x20
000010ad: PUSH1 0x04
000010af: DUP3
000010b0: ADD
000010b1: MSTORE
000010b2: PUSH1 0x25
000010b4: PUSH1 0x24
000010b6: DUP3
000010b7: ADD
000010b8: MSTORE
000010b9: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
000010da: PUSH1 0x44
000010dc: DUP3
000010dd: ADD
000010de: MSTORE
000010df: PUSH5 0x6472657373
000010e5: PUSH1 0xd8
000010e7: SHL
000010e8: PUSH1 0x64
000010ea: DUP3
000010eb: ADD
000010ec: MSTORE
000010ed: PUSH1 0x84
000010ef: ADD
000010f0: PUSH2 0x0444
000010f3: JUMP
000010f4: JUMPDEST
000010f5: PUSH1 0x01
000010f7: PUSH1 0x01
000010f9: PUSH1 0xa0
000010fb: SHL
000010fc: SUB
000010fd: DUP3
000010fe: AND
000010ff: PUSH2 0x1156
00001102: JUMPI
00001103: PUSH1 0x40
00001105: MLOAD
00001106: PUSH3 0x461bcd
0000110a: PUSH1 0xe5
0000110c: SHL
0000110d: DUP2
0000110e: MSTORE
0000110f: PUSH1 0x20
00001111: PUSH1 0x04
00001113: DUP3
00001114: ADD
00001115: MSTORE
00001116: PUSH1 0x23
00001118: PUSH1 0x24
0000111a: DUP3
0000111b: ADD
0000111c: MSTORE
0000111d: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
0000113e: PUSH1 0x44
00001140: DUP3
00001141: ADD
00001142: MSTORE
00001143: PUSH3 0x657373
00001147: PUSH1 0xe8
00001149: SHL
0000114a: PUSH1 0x64
0000114c: DUP3
0000114d: ADD
0000114e: MSTORE
0000114f: PUSH1 0x84
00001151: ADD
00001152: PUSH2 0x0444
00001155: JUMP
00001156: JUMPDEST
00001157: PUSH1 0x00
00001159: DUP2
0000115a: GT
0000115b: PUSH2 0x11b5
0000115e: JUMPI
0000115f: PUSH1 0x40
00001161: MLOAD
00001162: PUSH3 0x461bcd
00001166: PUSH1 0xe5
00001168: SHL
00001169: DUP2
0000116a: MSTORE
0000116b: PUSH1 0x20
0000116d: PUSH1 0x04
0000116f: DUP3
00001170: ADD
00001171: MSTORE
00001172: PUSH1 0x26
00001174: PUSH1 0x24
00001176: DUP3
00001177: ADD
00001178: MSTORE
00001179: PUSH32 0x5472616e7366657220616d74206d757374206265206772656174657220746861
0000119a: PUSH1 0x44
0000119c: DUP3
0000119d: ADD
0000119e: MSTORE
0000119f: PUSH6 0x6e207a65726f
000011a6: PUSH1 0xd0
000011a8: SHL
000011a9: PUSH1 0x64
000011ab: DUP3
000011ac: ADD
000011ad: MSTORE
000011ae: PUSH1 0x84
000011b0: ADD
000011b1: PUSH2 0x0444
000011b4: JUMP
000011b5: JUMPDEST
000011b6: PUSH1 0x00
000011b8: DUP1
000011b9: PUSH2 0x11c0
000011bc: PUSH2 0x0b44
000011bf: JUMP
000011c0: JUMPDEST
000011c1: SWAP1
000011c2: SWAP3
000011c3: POP
000011c4: SWAP1
000011c5: POP
000011c6: PUSH1 0x00
000011c8: PUSH2 0x11d2
000011cb: PUSH1 0x64
000011cd: DUP6
000011ce: PUSH2 0x18e4
000011d1: JUMP
000011d2: JUMPDEST
000011d3: SWAP1
000011d4: POP
000011d5: PUSH1 0x00
000011d7: PUSH2 0x11e0
000011da: DUP8
000011db: DUP8
000011dc: PUSH2 0x1676
000011df: JUMP
000011e0: JUMPDEST
000011e1: SWAP1
000011e2: POP
000011e3: PUSH1 0x01
000011e5: DUP2
000011e6: PUSH1 0x03
000011e8: DUP2
000011e9: GT
000011ea: ISZERO
000011eb: PUSH2 0x1204
000011ee: JUMPI
000011ef: PUSH4 0x4e487b71
000011f4: PUSH1 0xe0
000011f6: SHL
000011f7: PUSH1 0x00
000011f9: MSTORE
000011fa: PUSH1 0x21
000011fc: PUSH1 0x04
000011fe: MSTORE
000011ff: PUSH1 0x24
00001201: PUSH1 0x00
00001203: REVERT
00001204: JUMPDEST
00001205: EQ
00001206: ISZERO
00001207: PUSH2 0x12d8
0000120a: JUMPI
0000120b: DUP3
0000120c: PUSH2 0x1215
0000120f: DUP6
00001210: DUP8
00001211: PUSH2 0x1904
00001214: JUMP
00001215: JUMPDEST
00001216: PUSH2 0x121f
00001219: SWAP2
0000121a: SWAP1
0000121b: PUSH2 0x18e4
0000121e: JUMP
0000121f: JUMPDEST
00001220: PUSH1 0x01
00001222: PUSH1 0x01
00001224: PUSH1 0xa0
00001226: SHL
00001227: SUB
00001228: DUP9
00001229: AND
0000122a: PUSH1 0x00
0000122c: SWAP1
0000122d: DUP2
0000122e: MSTORE
0000122f: PUSH1 0x20
00001231: DUP2
00001232: SWAP1
00001233: MSTORE
00001234: PUSH1 0x40
00001236: DUP2
00001237: KECCAK256
00001238: DUP1
00001239: SLOAD
0000123a: SWAP1
0000123b: SWAP2
0000123c: SWAP1
0000123d: PUSH2 0x1247
00001240: SWAP1
00001241: DUP5
00001242: SWAP1
00001243: PUSH2 0x1923
00001246: JUMP
00001247: JUMPDEST
00001248: SWAP1
00001249: SWAP2
0000124a: SSTORE
0000124b: POP
0000124c: PUSH2 0x1257
0000124f: SWAP1
00001250: POP
00001251: DUP3
00001252: DUP7
00001253: PUSH2 0x1923
00001256: JUMP
00001257: JUMPDEST
00001258: PUSH1 0x01
0000125a: PUSH1 0x01
0000125c: PUSH1 0xa0
0000125e: SHL
0000125f: SUB
00001260: DUP8
00001261: AND
00001262: PUSH1 0x00
00001264: SWAP1
00001265: DUP2
00001266: MSTORE
00001267: PUSH1 0x01
00001269: PUSH1 0x20
0000126b: MSTORE
0000126c: PUSH1 0x40
0000126e: DUP2
0000126f: KECCAK256
00001270: DUP1
00001271: SLOAD
00001272: SWAP1
00001273: SWAP2
00001274: SWAP1
00001275: PUSH2 0x127f
00001278: SWAP1
00001279: DUP5
0000127a: SWAP1
0000127b: PUSH2 0x18cc
0000127e: JUMP
0000127f: JUMPDEST
00001280: SWAP1
00001281: SWAP2
00001282: SSTORE
00001283: POP
00001284: DUP4
00001285: SWAP1
00001286: POP
00001287: DUP5
00001288: PUSH2 0x1291
0000128b: DUP5
0000128c: DUP9
0000128d: PUSH2 0x1923
00001290: JUMP
00001291: JUMPDEST
00001292: PUSH2 0x129b
00001295: SWAP2
00001296: SWAP1
00001297: PUSH2 0x1904
0000129a: JUMP
0000129b: JUMPDEST
0000129c: PUSH2 0x12a5
0000129f: SWAP2
000012a0: SWAP1
000012a1: PUSH2 0x18e4
000012a4: JUMP
000012a5: JUMPDEST
000012a6: PUSH1 0x01
000012a8: PUSH1 0x01
000012aa: PUSH1 0xa0
000012ac: SHL
000012ad: SUB
000012ae: DUP8
000012af: AND
000012b0: PUSH1 0x00
000012b2: SWAP1
000012b3: DUP2
000012b4: MSTORE
000012b5: PUSH1 0x20
000012b7: DUP2
000012b8: SWAP1
000012b9: MSTORE
000012ba: PUSH1 0x40
000012bc: DUP2
000012bd: KECCAK256
000012be: DUP1
000012bf: SLOAD
000012c0: SWAP1
000012c1: SWAP2
000012c2: SWAP1
000012c3: PUSH2 0x12cd
000012c6: SWAP1
000012c7: DUP5
000012c8: SWAP1
000012c9: PUSH2 0x18cc
000012cc: JUMP
000012cd: JUMPDEST
000012ce: SWAP1
000012cf: SWAP2
000012d0: SSTORE
000012d1: POP
000012d2: PUSH2 0x145d
000012d5: SWAP1
000012d6: POP
000012d7: JUMP
000012d8: JUMPDEST
000012d9: PUSH1 0x00
000012db: DUP2
000012dc: PUSH1 0x03
000012de: DUP2
000012df: GT
000012e0: ISZERO
000012e1: PUSH2 0x12fa
000012e4: JUMPI
000012e5: PUSH4 0x4e487b71
000012ea: PUSH1 0xe0
000012ec: SHL
000012ed: PUSH1 0x00
000012ef: MSTORE
000012f0: PUSH1 0x21
000012f2: PUSH1 0x04
000012f4: MSTORE
000012f5: PUSH1 0x24
000012f7: PUSH1 0x00
000012f9: REVERT
000012fa: JUMPDEST
000012fb: EQ
000012fc: ISZERO
000012fd: PUSH2 0x136b
00001300: JUMPI
00001301: PUSH1 0x01
00001303: PUSH1 0x01
00001305: PUSH1 0xa0
00001307: SHL
00001308: SUB
00001309: DUP8
0000130a: AND
0000130b: PUSH1 0x00
0000130d: SWAP1
0000130e: DUP2
0000130f: MSTORE
00001310: PUSH1 0x01
00001312: PUSH1 0x20
00001314: MSTORE
00001315: PUSH1 0x40
00001317: DUP2
00001318: KECCAK256
00001319: DUP1
0000131a: SLOAD
0000131b: DUP8
0000131c: SWAP3
0000131d: SWAP1
0000131e: PUSH2 0x1328
00001321: SWAP1
00001322: DUP5
00001323: SWAP1
00001324: PUSH2 0x1923
00001327: JUMP
00001328: JUMPDEST
00001329: SWAP1
0000132a: SWAP2
0000132b: SSTORE
0000132c: POP
0000132d: DUP4
0000132e: SWAP1
0000132f: POP
00001330: PUSH2 0x1339
00001333: DUP6
00001334: DUP8
00001335: PUSH2 0x1904
00001338: JUMP
00001339: JUMPDEST
0000133a: PUSH2 0x1343
0000133d: SWAP2
0000133e: SWAP1
0000133f: PUSH2 0x18e4
00001342: JUMP
00001343: JUMPDEST
00001344: PUSH1 0x01
00001346: PUSH1 0x01
00001348: PUSH1 0xa0
0000134a: SHL
0000134b: SUB
0000134c: DUP9
0000134d: AND
0000134e: PUSH1 0x00
00001350: SWAP1
00001351: DUP2
00001352: MSTORE
00001353: PUSH1 0x20
00001355: DUP2
00001356: SWAP1
00001357: MSTORE
00001358: PUSH1 0x40
0000135a: DUP2
0000135b: KECCAK256
0000135c: DUP1
0000135d: SLOAD
0000135e: SWAP1
0000135f: SWAP2
00001360: SWAP1
00001361: PUSH2 0x127f
00001364: SWAP1
00001365: DUP5
00001366: SWAP1
00001367: PUSH2 0x1923
0000136a: JUMP
0000136b: JUMPDEST
0000136c: PUSH1 0x02
0000136e: DUP2
0000136f: PUSH1 0x03
00001371: DUP2
00001372: GT
00001373: ISZERO
00001374: PUSH2 0x138d
00001377: JUMPI
00001378: PUSH4 0x4e487b71
0000137d: PUSH1 0xe0
0000137f: SHL
00001380: PUSH1 0x00
00001382: MSTORE
00001383: PUSH1 0x21
00001385: PUSH1 0x04
00001387: MSTORE
00001388: PUSH1 0x24
0000138a: PUSH1 0x00
0000138c: REVERT
0000138d: JUMPDEST
0000138e: EQ
0000138f: ISZERO
00001390: PUSH2 0x13cc
00001393: JUMPI
00001394: PUSH1 0x01
00001396: PUSH1 0x01
00001398: PUSH1 0xa0
0000139a: SHL
0000139b: SUB
0000139c: DUP8
0000139d: AND
0000139e: PUSH1 0x00
000013a0: SWAP1
000013a1: DUP2
000013a2: MSTORE
000013a3: PUSH1 0x01
000013a5: PUSH1 0x20
000013a7: MSTORE
000013a8: PUSH1 0x40
000013aa: DUP2
000013ab: KECCAK256
000013ac: DUP1
000013ad: SLOAD
000013ae: DUP8
000013af: SWAP3
000013b0: SWAP1
000013b1: PUSH2 0x13bb
000013b4: SWAP1
000013b5: DUP5
000013b6: SWAP1
000013b7: PUSH2 0x1923
000013ba: JUMP
000013bb: JUMPDEST
000013bc: SWAP1
000013bd: SWAP2
000013be: SSTORE
000013bf: POP
000013c0: DUP4
000013c1: SWAP1
000013c2: POP
000013c3: PUSH2 0x1215
000013c6: DUP6
000013c7: DUP8
000013c8: PUSH2 0x1904
000013cb: JUMP
000013cc: JUMPDEST
000013cd: DUP3
000013ce: PUSH2 0x13d7
000013d1: DUP6
000013d2: DUP8
000013d3: PUSH2 0x1904
000013d6: JUMP
000013d7: JUMPDEST
000013d8: PUSH2 0x13e1
000013db: SWAP2
000013dc: SWAP1
000013dd: PUSH2 0x18e4
000013e0: JUMP
000013e1: JUMPDEST
000013e2: PUSH1 0x01
000013e4: PUSH1 0x01
000013e6: PUSH1 0xa0
000013e8: SHL
000013e9: SUB
000013ea: DUP9
000013eb: AND
000013ec: PUSH1 0x00
000013ee: SWAP1
000013ef: DUP2
000013f0: MSTORE
000013f1: PUSH1 0x20
000013f3: DUP2
000013f4: SWAP1
000013f5: MSTORE
000013f6: PUSH1 0x40
000013f8: DUP2
000013f9: KECCAK256
000013fa: DUP1
000013fb: SLOAD
000013fc: SWAP1
000013fd: SWAP2
000013fe: SWAP1
000013ff: PUSH2 0x1409
00001402: SWAP1
00001403: DUP5
00001404: SWAP1
00001405: PUSH2 0x1923
00001408: JUMP
00001409: JUMPDEST
0000140a: SWAP1
0000140b: SWAP2
0000140c: SSTORE
0000140d: POP
0000140e: DUP4
0000140f: SWAP1
00001410: POP
00001411: DUP5
00001412: PUSH2 0x141b
00001415: DUP5
00001416: DUP9
00001417: PUSH2 0x1923
0000141a: JUMP
0000141b: JUMPDEST
0000141c: PUSH2 0x1425
0000141f: SWAP2
00001420: SWAP1
00001421: PUSH2 0x1904
00001424: JUMP
00001425: JUMPDEST
00001426: PUSH2 0x142f
00001429: SWAP2
0000142a: SWAP1
0000142b: PUSH2 0x18e4
0000142e: JUMP
0000142f: JUMPDEST
00001430: PUSH1 0x01
00001432: PUSH1 0x01
00001434: PUSH1 0xa0
00001436: SHL
00001437: SUB
00001438: DUP8
00001439: AND
0000143a: PUSH1 0x00
0000143c: SWAP1
0000143d: DUP2
0000143e: MSTORE
0000143f: PUSH1 0x20
00001441: DUP2
00001442: SWAP1
00001443: MSTORE
00001444: PUSH1 0x40
00001446: DUP2
00001447: KECCAK256
00001448: DUP1
00001449: SLOAD
0000144a: SWAP1
0000144b: SWAP2
0000144c: SWAP1
0000144d: PUSH2 0x1457
00001450: SWAP1
00001451: DUP5
00001452: SWAP1
00001453: PUSH2 0x18cc
00001456: JUMP
00001457: JUMPDEST
00001458: SWAP1
00001459: SWAP2
0000145a: SSTORE
0000145b: POP
0000145c: POP
0000145d: JUMPDEST
0000145e: DUP3
0000145f: PUSH2 0x1468
00001462: DUP6
00001463: DUP5
00001464: PUSH2 0x1904
00001467: JUMP
00001468: JUMPDEST
00001469: PUSH2 0x1472
0000146c: SWAP2
0000146d: SWAP1
0000146e: PUSH2 0x18e4
00001471: JUMP
00001472: JUMPDEST
00001473: PUSH1 0x06
00001475: PUSH1 0x00
00001477: DUP3
00001478: DUP3
00001479: SLOAD
0000147a: PUSH2 0x1483
0000147d: SWAP2
0000147e: SWAP1
0000147f: PUSH2 0x1923
00001482: JUMP
00001483: JUMPDEST
00001484: SWAP3
00001485: POP
00001486: POP
00001487: DUP2
00001488: SWAP1
00001489: SSTORE
0000148a: POP
0000148b: DUP2
0000148c: PUSH1 0x07
0000148e: PUSH1 0x00
00001490: DUP3
00001491: DUP3
00001492: SLOAD
00001493: PUSH2 0x149c
00001496: SWAP2
00001497: SWAP1
00001498: PUSH2 0x18cc
0000149b: JUMP
0000149c: JUMPDEST
0000149d: SWAP1
0000149e: SWAP2
0000149f: SSTORE
000014a0: POP
000014a1: POP
000014a2: PUSH1 0x01
000014a4: PUSH1 0x01
000014a6: PUSH1 0xa0
000014a8: SHL
000014a9: SUB
000014aa: DUP1
000014ab: DUP8
000014ac: AND
000014ad: SWAP1
000014ae: DUP9
000014af: AND
000014b0: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000014d1: PUSH2 0x14da
000014d4: DUP6
000014d5: DUP10
000014d6: PUSH2 0x1923
000014d9: JUMP
000014da: JUMPDEST
000014db: PUSH1 0x40
000014dd: MLOAD
000014de: SWAP1
000014df: DUP2
000014e0: MSTORE
000014e1: PUSH1 0x20
000014e3: ADD
000014e4: PUSH1 0x40
000014e6: MLOAD
000014e7: DUP1
000014e8: SWAP2
000014e9: SUB
000014ea: SWAP1
000014eb: LOG3
000014ec: POP
000014ed: POP
000014ee: POP
000014ef: POP
000014f0: POP
000014f1: POP
000014f2: POP
000014f3: JUMP
000014f4: JUMPDEST
000014f5: PUSH1 0x00
000014f7: PUSH2 0x0699
000014fa: DUP3
000014fb: SLOAD
000014fc: SWAP1
000014fd: JUMP
000014fe: JUMPDEST
000014ff: PUSH1 0x00
00001501: PUSH2 0x0f2e
00001504: DUP4
00001505: DUP4
00001506: PUSH2 0x1706
00001509: JUMP
0000150a: JUMPDEST
0000150b: PUSH1 0x00
0000150d: DUP2
0000150e: DUP2
0000150f: MSTORE
00001510: PUSH1 0x01
00001512: DUP4
00001513: ADD
00001514: PUSH1 0x20
00001516: MSTORE
00001517: PUSH1 0x40
00001519: DUP2
0000151a: KECCAK256
0000151b: SLOAD
0000151c: PUSH2 0x1551
0000151f: JUMPI
00001520: POP
00001521: DUP2
00001522: SLOAD
00001523: PUSH1 0x01
00001525: DUP2
00001526: DUP2
00001527: ADD
00001528: DUP5
00001529: SSTORE
0000152a: PUSH1 0x00
0000152c: DUP5
0000152d: DUP2
0000152e: MSTORE
0000152f: PUSH1 0x20
00001531: DUP1
00001532: DUP3
00001533: KECCAK256
00001534: SWAP1
00001535: SWAP4
00001536: ADD
00001537: DUP5
00001538: SWAP1
00001539: SSTORE
0000153a: DUP5
0000153b: SLOAD
0000153c: DUP5
0000153d: DUP3
0000153e: MSTORE
0000153f: DUP3
00001540: DUP7
00001541: ADD
00001542: SWAP1
00001543: SWAP4
00001544: MSTORE
00001545: PUSH1 0x40
00001547: SWAP1
00001548: KECCAK256
00001549: SWAP2
0000154a: SWAP1
0000154b: SWAP2
0000154c: SSTORE
0000154d: PUSH2 0x0699
00001550: JUMP
00001551: JUMPDEST
00001552: POP
00001553: PUSH1 0x00
00001555: PUSH2 0x0699
00001558: JUMP
00001559: JUMPDEST
0000155a: PUSH1 0x00
0000155c: DUP2
0000155d: DUP2
0000155e: MSTORE
0000155f: PUSH1 0x01
00001561: DUP4
00001562: ADD
00001563: PUSH1 0x20
00001565: MSTORE
00001566: PUSH1 0x40
00001568: DUP2
00001569: KECCAK256
0000156a: SLOAD
0000156b: DUP1
0000156c: ISZERO
0000156d: PUSH2 0x166c
00001570: JUMPI
00001571: PUSH1 0x00
00001573: PUSH2 0x157d
00001576: PUSH1 0x01
00001578: DUP4
00001579: PUSH2 0x1923
0000157c: JUMP
0000157d: JUMPDEST
0000157e: DUP6
0000157f: SLOAD
00001580: SWAP1
00001581: SWAP2
00001582: POP
00001583: PUSH1 0x00
00001585: SWAP1
00001586: PUSH2 0x1591
00001589: SWAP1
0000158a: PUSH1 0x01
0000158c: SWAP1
0000158d: PUSH2 0x1923
00001590: JUMP
00001591: JUMPDEST
00001592: SWAP1
00001593: POP
00001594: PUSH1 0x00
00001596: DUP7
00001597: PUSH1 0x00
00001599: ADD
0000159a: DUP3
0000159b: DUP2
0000159c: SLOAD
0000159d: DUP2
0000159e: LT
0000159f: PUSH2 0x15b8
000015a2: JUMPI
000015a3: PUSH4 0x4e487b71
000015a8: PUSH1 0xe0
000015aa: SHL
000015ab: PUSH1 0x00
000015ad: MSTORE
000015ae: PUSH1 0x32
000015b0: PUSH1 0x04
000015b2: MSTORE
000015b3: PUSH1 0x24
000015b5: PUSH1 0x00
000015b7: REVERT
000015b8: JUMPDEST
000015b9: SWAP1
000015ba: PUSH1 0x00
000015bc: MSTORE
000015bd: PUSH1 0x20
000015bf: PUSH1 0x00
000015c1: KECCAK256
000015c2: ADD
000015c3: SLOAD
000015c4: SWAP1
000015c5: POP
000015c6: DUP1
000015c7: DUP8
000015c8: PUSH1 0x00
000015ca: ADD
000015cb: DUP5
000015cc: DUP2
000015cd: SLOAD
000015ce: DUP2
000015cf: LT
000015d0: PUSH2 0x15e9
000015d3: JUMPI
000015d4: PUSH4 0x4e487b71
000015d9: PUSH1 0xe0
000015db: SHL
000015dc: PUSH1 0x00
000015de: MSTORE
000015df: PUSH1 0x32
000015e1: PUSH1 0x04
000015e3: MSTORE
000015e4: PUSH1 0x24
000015e6: PUSH1 0x00
000015e8: REVERT
000015e9: JUMPDEST
000015ea: PUSH1 0x00
000015ec: SWAP2
000015ed: DUP3
000015ee: MSTORE
000015ef: PUSH1 0x20
000015f1: SWAP1
000015f2: SWAP2
000015f3: KECCAK256
000015f4: ADD
000015f5: SSTORE
000015f6: PUSH2 0x1600
000015f9: DUP4
000015fa: PUSH1 0x01
000015fc: PUSH2 0x18cc
000015ff: JUMP
00001600: JUMPDEST
00001601: PUSH1 0x00
00001603: DUP3
00001604: DUP2
00001605: MSTORE
00001606: PUSH1 0x01
00001608: DUP10
00001609: ADD
0000160a: PUSH1 0x20
0000160c: MSTORE
0000160d: PUSH1 0x40
0000160f: SWAP1
00001610: KECCAK256
00001611: SSTORE
00001612: DUP7
00001613: SLOAD
00001614: DUP8
00001615: SWAP1
00001616: DUP1
00001617: PUSH2 0x1630
0000161a: JUMPI
0000161b: PUSH4 0x4e487b71
00001620: PUSH1 0xe0
00001622: SHL
00001623: PUSH1 0x00
00001625: MSTORE
00001626: PUSH1 0x31
00001628: PUSH1 0x04
0000162a: MSTORE
0000162b: PUSH1 0x24
0000162d: PUSH1 0x00
0000162f: REVERT
00001630: JUMPDEST
00001631: PUSH1 0x01
00001633: SWAP1
00001634: SUB
00001635: DUP2
00001636: DUP2
00001637: SWAP1
00001638: PUSH1 0x00
0000163a: MSTORE
0000163b: PUSH1 0x20
0000163d: PUSH1 0x00
0000163f: KECCAK256
00001640: ADD
00001641: PUSH1 0x00
00001643: SWAP1
00001644: SSTORE
00001645: SWAP1
00001646: SSTORE
00001647: DUP7
00001648: PUSH1 0x01
0000164a: ADD
0000164b: PUSH1 0x00
0000164d: DUP8
0000164e: DUP2
0000164f: MSTORE
00001650: PUSH1 0x20
00001652: ADD
00001653: SWAP1
00001654: DUP2
00001655: MSTORE
00001656: PUSH1 0x20
00001658: ADD
00001659: PUSH1 0x00
0000165b: KECCAK256
0000165c: PUSH1 0x00
0000165e: SWAP1
0000165f: SSTORE
00001660: PUSH1 0x01
00001662: SWAP5
00001663: POP
00001664: POP
00001665: POP
00001666: POP
00001667: POP
00001668: PUSH2 0x0699
0000166b: JUMP
0000166c: JUMPDEST
0000166d: PUSH1 0x00
0000166f: SWAP2
00001670: POP
00001671: POP
00001672: PUSH2 0x0699
00001675: JUMP
00001676: JUMPDEST
00001677: PUSH1 0x00
00001679: DUP1
0000167a: PUSH2 0x1684
0000167d: PUSH1 0x03
0000167f: DUP6
00001680: PUSH2 0x1059
00001683: JUMP
00001684: JUMPDEST
00001685: SWAP1
00001686: POP
00001687: PUSH1 0x00
00001689: PUSH2 0x1693
0000168c: PUSH1 0x03
0000168e: DUP6
0000168f: PUSH2 0x1059
00001692: JUMP
00001693: JUMPDEST
00001694: SWAP1
00001695: POP
00001696: DUP2
00001697: DUP1
00001698: ISZERO
00001699: PUSH2 0x16a0
0000169c: JUMPI
0000169d: POP
0000169e: DUP1
0000169f: ISZERO
000016a0: JUMPDEST
000016a1: ISZERO
000016a2: PUSH2 0x16ae
000016a5: JUMPI
000016a6: PUSH1 0x00
000016a8: SWAP3
000016a9: POP
000016aa: PUSH2 0x16fe
000016ad: JUMP
000016ae: JUMPDEST
000016af: DUP2
000016b0: ISZERO
000016b1: DUP1
000016b2: ISZERO
000016b3: PUSH2 0x16b9
000016b6: JUMPI
000016b7: POP
000016b8: DUP1
000016b9: JUMPDEST
000016ba: ISZERO
000016bb: PUSH2 0x16c7
000016be: JUMPI
000016bf: PUSH1 0x01
000016c1: SWAP3
000016c2: POP
000016c3: PUSH2 0x16fe
000016c6: JUMP
000016c7: JUMPDEST
000016c8: DUP2
000016c9: ISZERO
000016ca: DUP1
000016cb: ISZERO
000016cc: PUSH2 0x16d3
000016cf: JUMPI
000016d0: POP
000016d1: DUP1
000016d2: ISZERO
000016d3: JUMPDEST
000016d4: ISZERO
000016d5: PUSH2 0x16e1
000016d8: JUMPI
000016d9: PUSH1 0x03
000016db: SWAP3
000016dc: POP
000016dd: PUSH2 0x16fe
000016e0: JUMP
000016e1: JUMPDEST
000016e2: DUP2
000016e3: DUP1
000016e4: ISZERO
000016e5: PUSH2 0x16eb
000016e8: JUMPI
000016e9: POP
000016ea: DUP1
000016eb: JUMPDEST
000016ec: ISZERO
000016ed: PUSH2 0x16f9
000016f0: JUMPI
000016f1: PUSH1 0x02
000016f3: SWAP3
000016f4: POP
000016f5: PUSH2 0x16fe
000016f8: JUMP
000016f9: JUMPDEST
000016fa: PUSH1 0x03
000016fc: SWAP3
000016fd: POP
000016fe: JUMPDEST
000016ff: POP
00001700: POP
00001701: SWAP3
00001702: SWAP2
00001703: POP
00001704: POP
00001705: JUMP
00001706: JUMPDEST
00001707: DUP2
00001708: SLOAD
00001709: PUSH1 0x00
0000170b: SWAP1
0000170c: DUP3
0000170d: LT
0000170e: PUSH2 0x1764
00001711: JUMPI
00001712: PUSH1 0x40
00001714: MLOAD
00001715: PUSH3 0x461bcd
00001719: PUSH1 0xe5
0000171b: SHL
0000171c: DUP2
0000171d: MSTORE
0000171e: PUSH1 0x20
00001720: PUSH1 0x04
00001722: DUP3
00001723: ADD
00001724: MSTORE
00001725: PUSH1 0x22
00001727: PUSH1 0x24
00001729: DUP3
0000172a: ADD
0000172b: MSTORE
0000172c: PUSH32 0x456e756d657261626c655365743a20696e646578206f7574206f6620626f756e
0000174d: PUSH1 0x44
0000174f: DUP3
00001750: ADD
00001751: MSTORE
00001752: PUSH2 0x6473
00001755: PUSH1 0xf0
00001757: SHL
00001758: PUSH1 0x64
0000175a: DUP3
0000175b: ADD
0000175c: MSTORE
0000175d: PUSH1 0x84
0000175f: ADD
00001760: PUSH2 0x0444
00001763: JUMP
00001764: JUMPDEST
00001765: DUP3
00001766: PUSH1 0x00
00001768: ADD
00001769: DUP3
0000176a: DUP2
0000176b: SLOAD
0000176c: DUP2
0000176d: LT
0000176e: PUSH2 0x1787
00001771: JUMPI
00001772: PUSH4 0x4e487b71
00001777: PUSH1 0xe0
00001779: SHL
0000177a: PUSH1 0x00
0000177c: MSTORE
0000177d: PUSH1 0x32
0000177f: PUSH1 0x04
00001781: MSTORE
00001782: PUSH1 0x24
00001784: PUSH1 0x00
00001786: REVERT
00001787: JUMPDEST
00001788: SWAP1
00001789: PUSH1 0x00
0000178b: MSTORE
0000178c: PUSH1 0x20
0000178e: PUSH1 0x00
00001790: KECCAK256
00001791: ADD
00001792: SLOAD
00001793: SWAP1
00001794: POP
00001795: SWAP3
00001796: SWAP2
00001797: POP
00001798: POP
00001799: JUMP
0000179a: JUMPDEST
0000179b: DUP1
0000179c: CALLDATALOAD
0000179d: PUSH1 0x01
0000179f: PUSH1 0x01
000017a1: PUSH1 0xa0
000017a3: SHL
000017a4: SUB
000017a5: DUP2
000017a6: AND
000017a7: DUP2
000017a8: EQ
000017a9: PUSH2 0x0b3f
000017ac: JUMPI
000017ad: PUSH1 0x00
000017af: DUP1
000017b0: REVERT
000017b1: JUMPDEST
000017b2: PUSH1 0x00
000017b4: PUSH1 0x20
000017b6: DUP3
000017b7: DUP5
000017b8: SUB
000017b9: SLT
000017ba: ISZERO
000017bb: PUSH2 0x17c2
000017be: JUMPI
000017bf: DUP1
000017c0: DUP2
000017c1: REVERT
000017c2: JUMPDEST
000017c3: PUSH2 0x0f2e
000017c6: DUP3
000017c7: PUSH2 0x179a
000017ca: JUMP
000017cb: JUMPDEST
000017cc: PUSH1 0x00
000017ce: DUP1
000017cf: PUSH1 0x40
000017d1: DUP4
000017d2: DUP6
000017d3: SUB
000017d4: SLT
000017d5: ISZERO
000017d6: PUSH2 0x17dd
000017d9: JUMPI
000017da: DUP1
000017db: DUP2
000017dc: REVERT
000017dd: JUMPDEST
000017de: PUSH2 0x17e6
000017e1: DUP4
000017e2: PUSH2 0x179a
000017e5: JUMP
000017e6: JUMPDEST
000017e7: SWAP2
000017e8: POP
000017e9: PUSH2 0x17f4
000017ec: PUSH1 0x20
000017ee: DUP5
000017ef: ADD
000017f0: PUSH2 0x179a
000017f3: JUMP
000017f4: JUMPDEST
000017f5: SWAP1
000017f6: POP
000017f7: SWAP3
000017f8: POP
000017f9: SWAP3
000017fa: SWAP1
000017fb: POP
000017fc: JUMP
000017fd: JUMPDEST
000017fe: PUSH1 0x00
00001800: DUP1
00001801: PUSH1 0x00
00001803: PUSH1 0x60
00001805: DUP5
00001806: DUP7
00001807: SUB
00001808: SLT
00001809: ISZERO
0000180a: PUSH2 0x1811
0000180d: JUMPI
0000180e: DUP1
0000180f: DUP2
00001810: REVERT
00001811: JUMPDEST
00001812: PUSH2 0x181a
00001815: DUP5
00001816: PUSH2 0x179a
00001819: JUMP
0000181a: JUMPDEST
0000181b: SWAP3
0000181c: POP
0000181d: PUSH2 0x1828
00001820: PUSH1 0x20
00001822: DUP6
00001823: ADD
00001824: PUSH2 0x179a
00001827: JUMP
00001828: JUMPDEST
00001829: SWAP2
0000182a: POP
0000182b: PUSH1 0x40
0000182d: DUP5
0000182e: ADD
0000182f: CALLDATALOAD
00001830: SWAP1
00001831: POP
00001832: SWAP3
00001833: POP
00001834: SWAP3
00001835: POP
00001836: SWAP3
00001837: JUMP
00001838: JUMPDEST
00001839: PUSH1 0x00
0000183b: DUP1
0000183c: PUSH1 0x40
0000183e: DUP4
0000183f: DUP6
00001840: SUB
00001841: SLT
00001842: ISZERO
00001843: PUSH2 0x184a
00001846: JUMPI
00001847: DUP2
00001848: DUP3
00001849: REVERT
0000184a: JUMPDEST
0000184b: PUSH2 0x1853
0000184e: DUP4
0000184f: PUSH2 0x179a
00001852: JUMP
00001853: JUMPDEST
00001854: SWAP5
00001855: PUSH1 0x20
00001857: SWAP4
00001858: SWAP1
00001859: SWAP4
0000185a: ADD
0000185b: CALLDATALOAD
0000185c: SWAP4
0000185d: POP
0000185e: POP
0000185f: POP
00001860: JUMP
00001861: JUMPDEST
00001862: PUSH1 0x00
00001864: PUSH1 0x20
00001866: DUP3
00001867: DUP5
00001868: SUB
00001869: SLT
0000186a: ISZERO
0000186b: PUSH2 0x1872
0000186e: JUMPI
0000186f: DUP1
00001870: DUP2
00001871: REVERT
00001872: JUMPDEST
00001873: POP
00001874: CALLDATALOAD
00001875: SWAP2
00001876: SWAP1
00001877: POP
00001878: JUMP
00001879: JUMPDEST
0000187a: PUSH1 0x00
0000187c: PUSH1 0x20
0000187e: DUP1
0000187f: DUP4
00001880: MSTORE
00001881: DUP4
00001882: MLOAD
00001883: DUP1
00001884: DUP3
00001885: DUP6
00001886: ADD
00001887: MSTORE
00001888: DUP3
00001889: JUMPDEST
0000188a: DUP2
0000188b: DUP2
0000188c: LT
0000188d: ISZERO
0000188e: PUSH2 0x18a5
00001891: JUMPI
00001892: DUP6
00001893: DUP2
00001894: ADD
00001895: DUP4
00001896: ADD
00001897: MLOAD
00001898: DUP6
00001899: DUP3
0000189a: ADD
0000189b: PUSH1 0x40
0000189d: ADD
0000189e: MSTORE
0000189f: DUP3
000018a0: ADD
000018a1: PUSH2 0x1889
000018a4: JUMP
000018a5: JUMPDEST
000018a6: DUP2
000018a7: DUP2
000018a8: GT
000018a9: ISZERO
000018aa: PUSH2 0x18b6
000018ad: JUMPI
000018ae: DUP4
000018af: PUSH1 0x40
000018b1: DUP4
000018b2: DUP8
000018b3: ADD
000018b4: ADD
000018b5: MSTORE
000018b6: JUMPDEST
000018b7: POP
000018b8: PUSH1 0x1f
000018ba: ADD
000018bb: PUSH1 0x1f
000018bd: NOT
000018be: AND
000018bf: SWAP3
000018c0: SWAP1
000018c1: SWAP3
000018c2: ADD
000018c3: PUSH1 0x40
000018c5: ADD
000018c6: SWAP4
000018c7: SWAP3
000018c8: POP
000018c9: POP
000018ca: POP
000018cb: JUMP
000018cc: JUMPDEST
000018cd: PUSH1 0x00
000018cf: DUP3
000018d0: NOT
000018d1: DUP3
000018d2: GT
000018d3: ISZERO
000018d4: PUSH2 0x18df
000018d7: JUMPI
000018d8: PUSH2 0x18df
000018db: PUSH2 0x1990
000018de: JUMP
000018df: JUMPDEST
000018e0: POP
000018e1: ADD
000018e2: SWAP1
000018e3: JUMP
000018e4: JUMPDEST
000018e5: PUSH1 0x00
000018e7: DUP3
000018e8: PUSH2 0x18ff
000018eb: JUMPI
000018ec: PUSH4 0x4e487b71
000018f1: PUSH1 0xe0
000018f3: SHL
000018f4: DUP2
000018f5: MSTORE
000018f6: PUSH1 0x12
000018f8: PUSH1 0x04
000018fa: MSTORE
000018fb: PUSH1 0x24
000018fd: DUP2
000018fe: REVERT
000018ff: JUMPDEST
00001900: POP
00001901: DIV
00001902: SWAP1
00001903: JUMP
00001904: JUMPDEST
00001905: PUSH1 0x00
00001907: DUP2
00001908: PUSH1 0x00
0000190a: NOT
0000190b: DIV
0000190c: DUP4
0000190d: GT
0000190e: DUP3
0000190f: ISZERO
00001910: ISZERO
00001911: AND
00001912: ISZERO
00001913: PUSH2 0x191e
00001916: JUMPI
00001917: PUSH2 0x191e
0000191a: PUSH2 0x1990
0000191d: JUMP
0000191e: JUMPDEST
0000191f: POP
00001920: MUL
00001921: SWAP1
00001922: JUMP
00001923: JUMPDEST
00001924: PUSH1 0x00
00001926: DUP3
00001927: DUP3
00001928: LT
00001929: ISZERO
0000192a: PUSH2 0x1935
0000192d: JUMPI
0000192e: PUSH2 0x1935
00001931: PUSH2 0x1990
00001934: JUMP
00001935: JUMPDEST
00001936: POP
00001937: SUB
00001938: SWAP1
00001939: JUMP
0000193a: JUMPDEST
0000193b: PUSH1 0x01
0000193d: DUP2
0000193e: DUP2
0000193f: SHR
00001940: SWAP1
00001941: DUP3
00001942: AND
00001943: DUP1
00001944: PUSH2 0x194e
00001947: JUMPI
00001948: PUSH1 0x7f
0000194a: DUP3
0000194b: AND
0000194c: SWAP2
0000194d: POP
0000194e: JUMPDEST
0000194f: PUSH1 0x20
00001951: DUP3
00001952: LT
00001953: DUP2
00001954: EQ
00001955: ISZERO
00001956: PUSH2 0x196f
00001959: JUMPI
0000195a: PUSH4 0x4e487b71
0000195f: PUSH1 0xe0
00001961: SHL
00001962: PUSH1 0x00
00001964: MSTORE
00001965: PUSH1 0x22
00001967: PUSH1 0x04
00001969: MSTORE
0000196a: PUSH1 0x24
0000196c: PUSH1 0x00
0000196e: REVERT
0000196f: JUMPDEST
00001970: POP
00001971: SWAP2
00001972: SWAP1
00001973: POP
00001974: JUMP
00001975: JUMPDEST
00001976: PUSH1 0x00
00001978: PUSH1 0x00
0000197a: NOT
0000197b: DUP3
0000197c: EQ
0000197d: ISZERO
0000197e: PUSH2 0x1989
00001981: JUMPI
00001982: PUSH2 0x1989
00001985: PUSH2 0x1990
00001988: JUMP
00001989: JUMPDEST
0000198a: POP
0000198b: PUSH1 0x01
0000198d: ADD
0000198e: SWAP1
0000198f: JUMP
00001990: JUMPDEST
00001991: PUSH4 0x4e487b71
00001996: PUSH1 0xe0
00001998: SHL
00001999: PUSH1 0x00
0000199b: MSTORE
0000199c: PUSH1 0x11
0000199e: PUSH1 0x04
000019a0: MSTORE
000019a1: PUSH1 0x24
000019a3: PUSH1 0x00
000019a5: REVERT
000019a6: INVALID
000019a7: LOG2
000019a8: PUSH5 0x6970667358
000019ae: UNKNOWN(0x22)
000019af: SLT
000019b0: KECCAK256
000019b1: UNKNOWN(0x0D)
000019b2: MSTORE
000019b3: AND
000019b4: SWAP8
000019b5: UNKNOWN(0xD6)
000019b6: UNKNOWN(0xE7)
000019b7: UNKNOWN(0x25)
000019b8: BASEFEE
000019b9: UNKNOWN(0x2B)
000019ba: UNKNOWN(0xDD)
000019bb: PUSH23 0xa2df9bf88279f042a93e0783dcdde9430263647bca6473
000019d3: PUSH16