Analysis Run

[codex:1474161] OpenAI Codex v0.77.0 (research preview)
[codex:1474161] --------
[codex:1474161] workdir: /tmp/codex-multi-js13xxey
[codex:1474161] model: gpt-5.2-codex
[codex:1474161] provider: openai
[codex:1474161] approval: never
[codex:1474161] sandbox: read-only
[codex:1474161] reasoning effort: xhigh
[codex:1474161] reasoning summaries: auto
[codex:1474161] session id: 019b819f-b75c-7183-bc3a-ca182fe8c323
[codex:1474161] --------
[codex:1474161] user
[codex:1474161] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1474161] 
[codex:1474161] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1474161] 
[codex:1474161] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1474161] - Gas inefficiency, code quality, naming, or best practices
[codex:1474161] - Theoretical vulnerabilities without a clear extraction path
[codex:1474161] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1474161] - Front-running unless it enables theft beyond MEV
[codex:1474161] - DoS, griefing, or issues that don't result in attacker profit
[codex:1474161] - Missing events, view function issues, or informational findings
[codex:1474161] 
[codex:1474161] HIGH-VALUE PATTERNS TO HUNT:
[codex:1474161] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1474161] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1474161] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1474161] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1474161] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1474161] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1474161] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1474161] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1474161] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1474161] 
[codex:1474161] For each finding, you MUST provide:
[codex:1474161] 1. Exact file and line numbers of vulnerable code
[codex:1474161] 2. Step-by-step exploit transaction sequence
[codex:1474161] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1474161] 
[codex:1474161] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1474161] 
[codex:1474161] Output MUST be valid JSON matching the provided schema.
[codex:1474161] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1474161] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1474161] mcp startup: no servers
[codex:1474161] 
[codex:1474161] thinking
[codex:1474161] **Preparing to read instructions**
[codex:1474161] exec
[codex:1474161] /bin/bash -lc ls in /tmp/codex-multi-js13xxey succeeded in 5ms:
[codex:1474161] AUDIT_BUNDLE.txt
[codex:1474161] codex-output-schema.json
[codex:1474161] contracts
[codex:1474161] 
[codex:1474161] thinking
[codex:1474161] **Reading AUDIT_BUNDLE.txt**
[codex:1474161] exec
[codex:1474161] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-js13xxey succeeded in 9ms:
[codex:1474161] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1474161] 
[codex:1474161] ================================================================================
[codex:1474161] FILE: contracts/src/Pausable.sol
[codex:1474161] ================================================================================
[codex:1474161] // SPDX-License-Identifier: MIT
[codex:1474161] pragma solidity ^0.8.30;
[codex:1474161] 
[codex:1474161] import {Ownable} from "solady/auth/Ownable.sol";
[codex:1474161] 
[codex:1474161] contract Pausable is Ownable {
[codex:1474161]     event Pause();
[codex:1474161]     event Unpause();
[codex:1474161] 
[codex:1474161]     bool public paused = false;
[codex:1474161] 
[codex:1474161]     /**
[codex:1474161]      * @dev Modifier to make a function callable only when the contract is not paused.
[codex:1474161]      */
[codex:1474161]     modifier whenNotPaused() {
[codex:1474161] 
[codex:1474161] thinking
[codex:1474161] **Evaluating potential exploits and reentrancy risks**
[codex:1474161] 
[codex:1474161] I'm carefully reviewing the contract’s mint and redeem flows for reentrancy vulnerabilities and profit extraction paths, focusing on safeTransferETH usage, price curve calculations, supply vs effectiveSupply distinctions, and access controls. I’m also analyzing whether token locking or surplus manipulation could yield an exploit, while noting trusted libraries unless clearly misused. Overall, I’m probing if any attacker could gain ETH or tokens via reentrancy, arithmetic quirks, or protocol fee handling.
[codex:1474161] exec
[codex:1474161] /bin/bash -lc 'rg --files' in /tmp/codex-multi-js13xxey succeeded in 10ms:
[codex:1474161] codex-output-schema.json
[codex:1474161] AUDIT_BUNDLE.txt
[codex:1474161] contracts/src/PunkStrategyToken.sol
[codex:1474161] contracts/src/Pausable.sol
[codex:1474161] contracts/src/lib/QuadraticCurve.sol
[codex:1474161] contracts/src/lib/QuadraticCurveSpread.sol
[codex:1474161] contracts/lib/solady/src/tokens/ERC20.sol
[codex:1474161] contracts/lib/solady/src/auth/Ownable.sol
[codex:1474161] contracts/lib/solady/src/utils/SafeTransferLib.sol
[codex:1474161] contracts/lib/solady/src/utils/FixedPointMathLib.sol
[codex:1474161] 
[codex:1474161] thinking
[codex:1474161] **Evaluating first-party libraries in contracts/src/lib**
[codex:1474161] exec
[codex:1474161] /bin/bash -lc "sed -n '1,200p' contracts/src/lib/QuadraticCurve.sol" in /tmp/codex-multi-js13xxey succeeded in 6ms:
[codex:1474161] // SPDX-License-Identifier: MIT
[codex:1474161] pragma solidity ^0.8.30;
[codex:1474161] 
[codex:1474161] import {FixedPointMathLib} from "solady/utils/FixedPointMathLib.sol";
[codex:1474161] 
[codex:1474161] /// @notice Quadratic bonding curve helpers for mint/redeem style flows.
[codex:1474161] /// price(s) = p0 + k * s²
[codex:1474161] library QuadraticCurve {
[codex:1474161]     using FixedPointMathLib for uint256;
[codex:1474161] 
[codex:1474161]     /// @notice WAD-scaled curve parameters
[codex:1474161]     struct Params {
[codex:1474161]         uint128 p0;
[codex:1474161]         uint128 k;
[codex:1474161]     }
[codex:1474161] 
[codex:1474161]     /// @notice Reserve required to mint `tokenOut`
[codex:1474161]     /// @dev reserveIn = p0 * tokenOut + k * (supply² * tokenOut + supply * tokenOut² + tokenOut³/3)
[codex:1474161]     /// @dev (round UP)
[codex:1474161]     function reserveInForTokenOut(Params memory P, uint256 supply, uint256 tokenOut)
[codex:1474161] 
[codex:1474161] thinking
[codex:1474161] **Comparing QuadraticCurve functions**
[codex:1474161] exec
[codex:1474161] /bin/bash -lc "sed -n '1,200p' contracts/src/lib/QuadraticCurveSpread.sol" in /tmp/codex-multi-js13xxey succeeded in 5ms:
[codex:1474161] // SPDX-License-Identifier: MIT
[codex:1474161] pragma solidity ^0.8.30;
[codex:1474161] 
[codex:1474161] import {FixedPointMathLib} from "solady/utils/FixedPointMathLib.sol";
[codex:1474161] import {QuadraticCurve} from "./QuadraticCurve.sol";
[codex:1474161] 
[codex:1474161] library QuadraticCurveSpread {
[codex:1474161]     using FixedPointMathLib for uint256;
[codex:1474161]     using QuadraticCurve for QuadraticCurve.Params;
[codex:1474161] 
[codex:1474161]     /// @notice WAD-scaled curve parameters
[codex:1474161]     struct Params {
[codex:1474161]         QuadraticCurve.Params p;
[codex:1474161]         uint128 buySpread;
[codex:1474161]         uint128 sellSpread;
[codex:1474161]     }
[codex:1474161] 
[codex:1474161]     function reserveInForTokenOut(Params memory P, uint256 supply, uint256 tokenOut)
[codex:1474161]         internal
[codex:1474161]         pure
[codex:1474161] 
[codex:1474161] thinking
[codex:1474161] **Analyzing potential overflow and rounding exploits**
[codex:1474161] 
[codex:1474161] I'm checking if the use of WAD math and rounding in the mint and redeem functions introduces any exploitable profit, focusing on how buy and sell spreads, protocol fees, and rounding interact. So far, the mint-redeem cycle looks solvent, but I'm curious if arithmetic overflows or subtle rounding differences could leak value or allow free minting.
[codex:1474161] exec
[codex:1474161] /bin/bash -lc 'rg -n "function mulWad" -n contracts/lib/solady/src/utils/FixedPointMathLib.sol' in /tmp/codex-multi-js13xxey succeeded in 6ms:
[codex:1474161] 64:    function mulWad(uint256 x, uint256 y) internal pure returns (uint256 z) {
[codex:1474161] 109:    function mulWadUp(uint256 x, uint256 y) internal pure returns (uint256 z) {
[codex:1474161] exec
[codex:1474161] /bin/bash -lc "sed -n '1,160p' contracts/lib/solady/src/utils/FixedPointMathLib.sol" in /tmp/codex-multi-js13xxey succeeded in 5ms:
[codex:1474161] // SPDX-License-Identifier: MIT
[codex:1474161] pragma solidity ^0.8.4;
[codex:1474161] 
[codex:1474161] /// @notice Arithmetic library with operations for fixed-point numbers.
[codex:1474161] /// @author Solady (https://github.com/vectorized/solady/blob/main/src/utils/FixedPointMathLib.sol)
[codex:1474161] /// @author Modified from Solmate (https://github.com/transmissions11/solmate/blob/main/src/utils/FixedPointMathLib.sol)
[codex:1474161] library FixedPointMathLib {
[codex:1474161]     /*´:°•.°+.*•´.*:˚.°*.˚•´.°:°•.°•.*•´.*:˚.°*.˚•´.°:°•.°+.*•´.*:*/
[codex:1474161]     /*                       CUSTOM ERRORS                        */
[codex:1474161]     /*.•°:°.´+˚.*°.˚:*.´•*.+°.•°:´*.´•*.•°.•°:°.´:•˚°.*°.˚:*.´+°.•*/
[codex:1474161] 
[codex:1474161]     /// @dev The operation failed, as the output exceeds the maximum value of uint256.
[codex:1474161]     error ExpOverflow();
[codex:1474161] 
[codex:1474161]     /// @dev The operation failed, as the output exceeds the maximum value of uint256.
[codex:1474161]     error FactorialOverflow();
[codex:1474161] 
[codex:1474161]     /// @dev The operation failed, due to an overflow.
[codex:1474161]     error RPowOverflow();
[codex:1474161] 
[codex:1474161] 
[codex:1474161] 
[codex:1474161] thinking
[codex:1474161] **Analyzing potential overflow and reentrancy risks**
[codex:1474161] thinking
[codex:1474161] **Evaluating access control and reentrancy scenarios**
[codex:1474161] 
[codex:1474161] There's a lot to unpack here! I'm looking closely at how permissions like onlyStrategy and onlyOwner control important actions, and how reentrancy is handled during ETH transfers. I'm also checking how allowances, paused state, and rounding in pricing might affect contract behavior, especially around surplus withdrawals and mint/redeem flows. The multiple inheritance of Ownable and Pausable catches my eye because of potential storage layout quirks, so I examine if that opens any gaps. Overall, I’m making sure no subtle path exists for unauthorized ETH extraction or token manipulation.
[codex:1474161] exec
[codex:1474161] /bin/bash -lc "sed -n '1,200p' contracts/lib/solady/src/auth/Ownable.sol" in /tmp/codex-multi-js13xxey succeeded in 5ms:
[codex:1474161] // SPDX-License-Identifier: MIT
[codex:1474161] pragma solidity ^0.8.4;
[codex:1474161] 
[codex:1474161] /// @notice Simple single owner authorization mixin.
[codex:1474161] /// @author Solady (https://github.com/vectorized/solady/blob/main/src/auth/Ownable.sol)
[codex:1474161] ///
[codex:1474161] /// @dev Note:
[codex:1474161] /// This implementation does NOT auto-initialize the owner to `msg.sender`.
[codex:1474161] /// You MUST call the `_initializeOwner` in the constructor / initializer.
[codex:1474161] ///
[codex:1474161] /// While the ownable portion follows
[codex:1474161] /// [EIP-173](https://eips.ethereum.org/EIPS/eip-173) for compatibility,
[codex:1474161] /// the nomenclature for the 2-step ownership handover may be unique to this codebase.
[codex:1474161] abstract contract Ownable {
[codex:1474161]     /*´:°•.°+.*•´.*:˚.°*.˚•´.°:°•.°•.*•´.*:˚.°*.˚•´.°:°•.°+.*•´.*:*/
[codex:1474161]     /*                       CUSTOM ERRORS                        */
[codex:1474161]     /*.•°:°.´+˚.*°.˚:*.´•*.+°.•°:´*.´•*.•°.•°:°.´:•˚°.*°.˚:*.´+°.•*/
[codex:1474161] 
[codex:1474161]     /// @dev The caller is not authorized to call the function.
[codex:1474161]     error Unauthorized();
[codex:1474161] 
[codex:1474161] thinking
[codex:1474161] **Preparing final JSON output**
[codex:1474161] 
[codex:1474161] I'm carefully reviewing the security aspects and confirming no exploitable profit paths exist in the contract. Since the user wants only concrete, exploitable issues reported, I'll produce valid JSON with no_findings true, a concise summary, and an empty findings array per the required schema.
[codex:1474161] codex
[codex:1474161] {"no_findings":true,"summary":"No concrete, exploitable profit-extraction paths identified in the provided contracts.","findings":[]}
[codex:1474161] tokens used
[codex:1474161] 23,878
[codex:1474161] {"no_findings":true,"summary":"No concrete, exploitable profit-extraction paths identified in the provided contracts.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-03T02:15:28.586026+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit-extraction paths identified in the provided contracts.",
    "raw_final": {
        "summary": "No concrete, exploitable profit-extraction paths identified in the provided contracts.",
        "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 0x02b9
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0x7165485d
00000018: GT
00000019: PUSH2 0x0170
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0xb3d7f6b9
00000023: GT
00000024: PUSH2 0x00d1
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0xd505accf
0000002e: GT
0000002f: PUSH2 0x0087
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0xf04e283e
00000039: GT
0000003a: PUSH2 0x0062
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0xf04e283e
00000044: EQ
00000045: PUSH2 0x0881
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0xf2fde38b
0000004f: EQ
00000050: PUSH2 0x0894
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0xfee81cf4
0000005a: EQ
0000005b: PUSH2 0x08a7
0000005e: JUMPI
0000005f: PUSH0
00000060: PUSH0
00000061: REVERT
00000062: JUMPDEST
00000063: DUP1
00000064: PUSH4 0xd505accf
00000069: EQ
0000006a: PUSH2 0x0824
0000006d: JUMPI
0000006e: DUP1
0000006f: PUSH4 0xdd62ed3e
00000074: EQ
00000075: PUSH2 0x0843
00000078: JUMPI
00000079: DUP1
0000007a: PUSH4 0xe521cb92
0000007f: EQ
00000080: PUSH2 0x0862
00000083: JUMPI
00000084: PUSH0
00000085: PUSH0
00000086: REVERT
00000087: JUMPDEST
00000088: DUP1
00000089: PUSH4 0xca5c7b91
0000008e: GT
0000008f: PUSH2 0x00b7
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0xca5c7b91
00000099: EQ
0000009a: PUSH2 0x07cc
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0xcd3293de
000000a4: EQ
000000a5: PUSH2 0x07f1
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0xcf7ce1bb
000000af: EQ
000000b0: PUSH2 0x0805
000000b3: JUMPI
000000b4: PUSH0
000000b5: PUSH0
000000b6: REVERT
000000b7: JUMPDEST
000000b8: DUP1
000000b9: PUSH4 0xb3d7f6b9
000000be: EQ
000000bf: PUSH2 0x0798
000000c2: JUMPI
000000c3: DUP1
000000c4: PUSH4 0xbe378228
000000c9: EQ
000000ca: PUSH2 0x07b7
000000cd: JUMPI
000000ce: PUSH0
000000cf: PUSH0
000000d0: REVERT
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x94bf804d
000000d8: GT
000000d9: PUSH2 0x0126
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x9f40a7b3
000000e3: GT
000000e4: PUSH2 0x010c
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x9f40a7b3
000000ee: EQ
000000ef: PUSH2 0x0747
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0xa8c62e76
000000f9: EQ
000000fa: PUSH2 0x075a
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0xa9059cbb
00000104: EQ
00000105: PUSH2 0x0779
00000108: JUMPI
00000109: PUSH0
0000010a: PUSH0
0000010b: REVERT
0000010c: JUMPDEST
0000010d: DUP1
0000010e: PUSH4 0x94bf804d
00000113: EQ
00000114: PUSH2 0x06ef
00000117: JUMPI
00000118: DUP1
00000119: PUSH4 0x95d89b41
0000011e: EQ
0000011f: PUSH2 0x0702
00000122: JUMPI
00000123: PUSH0
00000124: PUSH0
00000125: REVERT
00000126: JUMPDEST
00000127: DUP1
00000128: PUSH4 0x8456cb59
0000012d: GT
0000012e: PUSH2 0x0156
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0x8456cb59
00000138: EQ
00000139: PUSH2 0x06af
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0x8da5cb5b
00000143: EQ
00000144: PUSH2 0x06c3
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0x8fc47093
0000014e: EQ
0000014f: PUSH2 0x06db
00000152: JUMPI
00000153: PUSH0
00000154: PUSH0
00000155: REVERT
00000156: JUMPDEST
00000157: DUP1
00000158: PUSH4 0x7165485d
0000015d: EQ
0000015e: PUSH2 0x05fd
00000161: JUMPI
00000162: DUP1
00000163: PUSH4 0x7ecebe00
00000168: EQ
00000169: PUSH2 0x067e
0000016c: JUMPI
0000016d: PUSH0
0000016e: PUSH0
0000016f: REVERT
00000170: JUMPDEST
00000171: DUP1
00000172: PUSH4 0x3644e515
00000177: GT
00000178: PUSH2 0x021a
0000017b: JUMPI
0000017c: DUP1
0000017d: PUSH4 0x5c975abb
00000182: GT
00000183: PUSH2 0x01d0
00000186: JUMPI
00000187: DUP1
00000188: PUSH4 0x66dfbfb4
0000018d: GT
0000018e: PUSH2 0x01b6
00000191: JUMPI
00000192: DUP1
00000193: PUSH4 0x66dfbfb4
00000198: EQ
00000199: PUSH2 0x05a5
0000019c: JUMPI
0000019d: DUP1
0000019e: PUSH4 0x70a08231
000001a3: EQ
000001a4: PUSH2 0x05c4
000001a7: JUMPI
000001a8: DUP1
000001a9: PUSH4 0x715018a6
000001ae: EQ
000001af: PUSH2 0x05f5
000001b2: JUMPI
000001b3: PUSH0
000001b4: PUSH0
000001b5: REVERT
000001b6: JUMPDEST
000001b7: DUP1
000001b8: PUSH4 0x5c975abb
000001bd: EQ
000001be: PUSH2 0x056e
000001c1: JUMPI
000001c2: DUP1
000001c3: PUSH4 0x64df049e
000001c8: EQ
000001c9: PUSH2 0x0586
000001cc: JUMPI
000001cd: PUSH0
000001ce: PUSH0
000001cf: REVERT
000001d0: JUMPDEST
000001d1: DUP1
000001d2: PUSH4 0x4cdad506
000001d7: GT
000001d8: PUSH2 0x0200
000001db: JUMPI
000001dc: DUP1
000001dd: PUSH4 0x4cdad506
000001e2: EQ
000001e3: PUSH2 0x051a
000001e6: JUMPI
000001e7: DUP1
000001e8: PUSH4 0x4e6fd6c4
000001ed: EQ
000001ee: PUSH2 0x0539
000001f1: JUMPI
000001f2: DUP1
000001f3: PUSH4 0x54d1f13d
000001f8: EQ
000001f9: PUSH2 0x0566
000001fc: JUMPI
000001fd: PUSH0
000001fe: PUSH0
000001ff: REVERT
00000200: JUMPDEST
00000201: DUP1
00000202: PUSH4 0x3644e515
00000207: EQ
00000208: PUSH2 0x043c
0000020b: JUMPI
0000020c: DUP1
0000020d: PUSH4 0x3f4ba83a
00000212: EQ
00000213: PUSH2 0x0506
00000216: JUMPI
00000217: PUSH0
00000218: PUSH0
00000219: REVERT
0000021a: JUMPDEST
0000021b: DUP1
0000021c: PUSH4 0x25692962
00000221: GT
00000222: PUSH2 0x026f
00000225: JUMPI
00000226: DUP1
00000227: PUSH4 0x313ce567
0000022c: GT
0000022d: PUSH2 0x0255
00000230: JUMPI
00000231: DUP1
00000232: PUSH4 0x313ce567
00000237: EQ
00000238: PUSH2 0x03e4
0000023b: JUMPI
0000023c: DUP1
0000023d: PUSH4 0x32cb6b0c
00000242: EQ
00000243: PUSH2 0x03ff
00000246: JUMPI
00000247: DUP1
00000248: PUSH4 0x33a100ca
0000024d: EQ
0000024e: PUSH2 0x041d
00000251: JUMPI
00000252: PUSH0
00000253: PUSH0
00000254: REVERT
00000255: JUMPDEST
00000256: DUP1
00000257: PUSH4 0x25692962
0000025c: EQ
0000025d: PUSH2 0x03a7
00000260: JUMPI
00000261: DUP1
00000262: PUSH4 0x2d11c58a
00000267: EQ
00000268: PUSH2 0x03b1
0000026b: JUMPI
0000026c: PUSH0
0000026d: PUSH0
0000026e: REVERT
0000026f: JUMPDEST
00000270: DUP1
00000271: PUSH4 0x13888565
00000276: GT
00000277: PUSH2 0x029f
0000027a: JUMPI
0000027b: DUP1
0000027c: PUSH4 0x13888565
00000281: EQ
00000282: PUSH2 0x034a
00000285: JUMPI
00000286: DUP1
00000287: PUSH4 0x18160ddd
0000028c: EQ
0000028d: PUSH2 0x036c
00000290: JUMPI
00000291: DUP1
00000292: PUSH4 0x23b872dd
00000297: EQ
00000298: PUSH2 0x0388
0000029b: JUMPI
0000029c: PUSH0
0000029d: PUSH0
0000029e: REVERT
0000029f: JUMPDEST
000002a0: DUP1
000002a1: PUSH4 0x06fdde03
000002a6: EQ
000002a7: PUSH2 0x02c4
000002aa: JUMPI
000002ab: DUP1
000002ac: PUSH4 0x095ea7b3
000002b1: EQ
000002b2: PUSH2 0x031b
000002b5: JUMPI
000002b6: PUSH0
000002b7: PUSH0
000002b8: REVERT
000002b9: JUMPDEST
000002ba: CALLDATASIZE
000002bb: PUSH2 0x02c0
000002be: JUMPI
000002bf: STOP
000002c0: JUMPDEST
000002c1: PUSH0
000002c2: PUSH0
000002c3: REVERT
000002c4: JUMPDEST
000002c5: CALLVALUE
000002c6: DUP1
000002c7: ISZERO
000002c8: PUSH2 0x02cf
000002cb: JUMPI
000002cc: PUSH0
000002cd: PUSH0
000002ce: REVERT
000002cf: JUMPDEST
000002d0: POP
000002d1: PUSH1 0x40
000002d3: DUP1
000002d4: MLOAD
000002d5: DUP1
000002d6: DUP3
000002d7: ADD
000002d8: SWAP1
000002d9: SWAP2
000002da: MSTORE
000002db: PUSH1 0x1b
000002dd: DUP2
000002de: MSTORE
000002df: PUSH32 0x50756e6b2041756374696f6e20537472617465677920546f6b656e0000000000
00000300: PUSH1 0x20
00000302: DUP3
00000303: ADD
00000304: MSTORE
00000305: JUMPDEST
00000306: PUSH1 0x40
00000308: MLOAD
00000309: PUSH2 0x0312
0000030c: SWAP2
0000030d: SWAP1
0000030e: PUSH2 0x1b5a
00000311: JUMP
00000312: JUMPDEST
00000313: PUSH1 0x40
00000315: MLOAD
00000316: DUP1
00000317: SWAP2
00000318: SUB
00000319: SWAP1
0000031a: RETURN
0000031b: JUMPDEST
0000031c: CALLVALUE
0000031d: DUP1
0000031e: ISZERO
0000031f: PUSH2 0x0326
00000322: JUMPI
00000323: PUSH0
00000324: PUSH0
00000325: REVERT
00000326: JUMPDEST
00000327: POP
00000328: PUSH2 0x033a
0000032b: PUSH2 0x0335
0000032e: CALLDATASIZE
0000032f: PUSH1 0x04
00000331: PUSH2 0x1baa
00000334: JUMP
00000335: JUMPDEST
00000336: PUSH2 0x08d8
00000339: JUMP
0000033a: JUMPDEST
0000033b: PUSH1 0x40
0000033d: MLOAD
0000033e: SWAP1
0000033f: ISZERO
00000340: ISZERO
00000341: DUP2
00000342: MSTORE
00000343: PUSH1 0x20
00000345: ADD
00000346: PUSH2 0x0312
00000349: JUMP
0000034a: JUMPDEST
0000034b: CALLVALUE
0000034c: DUP1
0000034d: ISZERO
0000034e: PUSH2 0x0355
00000351: JUMPI
00000352: PUSH0
00000353: PUSH0
00000354: REVERT
00000355: JUMPDEST
00000356: POP
00000357: PUSH2 0x035e
0000035a: PUSH2 0x0958
0000035d: JUMP
0000035e: JUMPDEST
0000035f: PUSH1 0x40
00000361: MLOAD
00000362: SWAP1
00000363: DUP2
00000364: MSTORE
00000365: PUSH1 0x20
00000367: ADD
00000368: PUSH2 0x0312
0000036b: JUMP
0000036c: JUMPDEST
0000036d: CALLVALUE
0000036e: DUP1
0000036f: ISZERO
00000370: PUSH2 0x0377
00000373: JUMPI
00000374: PUSH0
00000375: PUSH0
00000376: REVERT
00000377: JUMPDEST
00000378: POP
00000379: PUSH9 0x05345cdf77eb68f44c
00000383: SLOAD
00000384: PUSH2 0x035e
00000387: JUMP
00000388: JUMPDEST
00000389: CALLVALUE
0000038a: DUP1
0000038b: ISZERO
0000038c: PUSH2 0x0393
0000038f: JUMPI
00000390: PUSH0
00000391: PUSH0
00000392: REVERT
00000393: JUMPDEST
00000394: POP
00000395: PUSH2 0x033a
00000398: PUSH2 0x03a2
0000039b: CALLDATASIZE
0000039c: PUSH1 0x04
0000039e: PUSH2 0x1bd2
000003a1: JUMP
000003a2: JUMPDEST
000003a3: PUSH2 0x0a0e
000003a6: JUMP
000003a7: JUMPDEST
000003a8: PUSH2 0x03af
000003ab: PUSH2 0x0add
000003ae: JUMP
000003af: JUMPDEST
000003b0: STOP
000003b1: JUMPDEST
000003b2: CALLVALUE
000003b3: DUP1
000003b4: ISZERO
000003b5: PUSH2 0x03bc
000003b8: JUMPI
000003b9: PUSH0
000003ba: PUSH0
000003bb: REVERT
000003bc: JUMPDEST
000003bd: POP
000003be: PUSH2 0x03cc
000003c1: PUSH8 0x016345785d8a0000
000003ca: DUP2
000003cb: JUMP
000003cc: JUMPDEST
000003cd: PUSH1 0x40
000003cf: MLOAD
000003d0: PUSH1 0x01
000003d2: PUSH1 0x01
000003d4: PUSH1 0x80
000003d6: SHL
000003d7: SUB
000003d8: SWAP1
000003d9: SWAP2
000003da: AND
000003db: DUP2
000003dc: MSTORE
000003dd: PUSH1 0x20
000003df: ADD
000003e0: PUSH2 0x0312
000003e3: JUMP
000003e4: JUMPDEST
000003e5: CALLVALUE
000003e6: DUP1
000003e7: ISZERO
000003e8: PUSH2 0x03ef
000003eb: JUMPI
000003ec: PUSH0
000003ed: PUSH0
000003ee: REVERT
000003ef: JUMPDEST
000003f0: POP
000003f1: PUSH1 0x40
000003f3: MLOAD
000003f4: PUSH1 0x12
000003f6: DUP2
000003f7: MSTORE
000003f8: PUSH1 0x20
000003fa: ADD
000003fb: PUSH2 0x0312
000003fe: JUMP
000003ff: JUMPDEST
00000400: CALLVALUE
00000401: DUP1
00000402: ISZERO
00000403: PUSH2 0x040a
00000406: JUMPI
00000407: PUSH0
00000408: PUSH0
00000409: REVERT
0000040a: JUMPDEST
0000040b: POP
0000040c: PUSH2 0x035e
0000040f: PUSH11 0x115eec47f6cf7e35000000
0000041b: DUP2
0000041c: JUMP
0000041d: JUMPDEST
0000041e: CALLVALUE
0000041f: DUP1
00000420: ISZERO
00000421: PUSH2 0x0428
00000424: JUMPI
00000425: PUSH0
00000426: PUSH0
00000427: REVERT
00000428: JUMPDEST
00000429: POP
0000042a: PUSH2 0x03af
0000042d: PUSH2 0x0437
00000430: CALLDATASIZE
00000431: PUSH1 0x04
00000433: PUSH2 0x1c0c
00000436: JUMP
00000437: JUMPDEST
00000438: PUSH2 0x0b2a
0000043b: JUMP
0000043c: JUMPDEST
0000043d: CALLVALUE
0000043e: DUP1
0000043f: ISZERO
00000440: PUSH2 0x0447
00000443: JUMPI
00000444: PUSH0
00000445: PUSH0
00000446: REVERT
00000447: JUMPDEST
00000448: POP
00000449: PUSH1 0x40
0000044b: DUP1
0000044c: MLOAD
0000044d: DUP1
0000044e: DUP3
0000044f: ADD
00000450: DUP3
00000451: MSTORE
00000452: PUSH1 0x1b
00000454: DUP2
00000455: MSTORE
00000456: PUSH32 0x50756e6b2041756374696f6e20537472617465677920546f6b656e0000000000
00000477: PUSH1 0x20
00000479: SWAP2
0000047a: DUP3
0000047b: ADD
0000047c: MSTORE
0000047d: DUP2
0000047e: MLOAD
0000047f: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f
000004a0: DUP2
000004a1: MSTORE
000004a2: PUSH32 0x8d0cc87bd19c6bbd9646ec05ff02d054dd9ec26b29b96228f6d79ff07ac8339b
000004c3: SWAP2
000004c4: DUP2
000004c5: ADD
000004c6: SWAP2
000004c7: SWAP1
000004c8: SWAP2
000004c9: MSTORE
000004ca: PUSH32 0xc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6
000004eb: SWAP2
000004ec: DUP2
000004ed: ADD
000004ee: SWAP2
000004ef: SWAP1
000004f0: SWAP2
000004f1: MSTORE
000004f2: CHAINID
000004f3: PUSH1 0x60
000004f5: DUP3
000004f6: ADD
000004f7: MSTORE
000004f8: ADDRESS
000004f9: PUSH1 0x80
000004fb: DUP3
000004fc: ADD
000004fd: MSTORE
000004fe: PUSH1 0xa0
00000500: SWAP1
00000501: KECCAK256
00000502: PUSH2 0x035e
00000505: JUMP
00000506: JUMPDEST
00000507: CALLVALUE
00000508: DUP1
00000509: ISZERO
0000050a: PUSH2 0x0511
0000050d: JUMPI
0000050e: PUSH0
0000050f: PUSH0
00000510: REVERT
00000511: JUMPDEST
00000512: POP
00000513: PUSH2 0x03af
00000516: PUSH2 0x0b88
00000519: JUMP
0000051a: JUMPDEST
0000051b: CALLVALUE
0000051c: DUP1
0000051d: ISZERO
0000051e: PUSH2 0x0525
00000521: JUMPI
00000522: PUSH0
00000523: PUSH0
00000524: REVERT
00000525: JUMPDEST
00000526: POP
00000527: PUSH2 0x035e
0000052a: PUSH2 0x0534
0000052d: CALLDATASIZE
0000052e: PUSH1 0x04
00000530: PUSH2 0x1c25
00000533: JUMP
00000534: JUMPDEST
00000535: PUSH2 0x0bcf
00000538: JUMP
00000539: JUMPDEST
0000053a: CALLVALUE
0000053b: DUP1
0000053c: ISZERO
0000053d: PUSH2 0x0544
00000540: JUMPI
00000541: PUSH0
00000542: PUSH0
00000543: REVERT
00000544: JUMPDEST
00000545: POP
00000546: PUSH2 0x054e
00000549: PUSH2 0xdead
0000054c: DUP2
0000054d: JUMP
0000054e: JUMPDEST
0000054f: PUSH1 0x40
00000551: MLOAD
00000552: PUSH1 0x01
00000554: PUSH1 0x01
00000556: PUSH1 0xa0
00000558: SHL
00000559: SUB
0000055a: SWAP1
0000055b: SWAP2
0000055c: AND
0000055d: DUP2
0000055e: MSTORE
0000055f: PUSH1 0x20
00000561: ADD
00000562: PUSH2 0x0312
00000565: JUMP
00000566: JUMPDEST
00000567: PUSH2 0x03af
0000056a: PUSH2 0x0bea
0000056d: JUMP
0000056e: JUMPDEST
0000056f: CALLVALUE
00000570: DUP1
00000571: ISZERO
00000572: PUSH2 0x0579
00000575: JUMPI
00000576: PUSH0
00000577: PUSH0
00000578: REVERT
00000579: JUMPDEST
0000057a: POP
0000057b: PUSH0
0000057c: SLOAD
0000057d: PUSH2 0x033a
00000580: SWAP1
00000581: PUSH1 0xff
00000583: AND
00000584: DUP2
00000585: JUMP
00000586: JUMPDEST
00000587: CALLVALUE
00000588: DUP1
00000589: ISZERO
0000058a: PUSH2 0x0591
0000058d: JUMPI
0000058e: PUSH0
0000058f: PUSH0
00000590: REVERT
00000591: JUMPDEST
00000592: POP
00000593: PUSH1 0x03
00000595: SLOAD
00000596: PUSH2 0x054e
00000599: SWAP1
0000059a: PUSH1 0x01
0000059c: PUSH1 0x01
0000059e: PUSH1 0xa0
000005a0: SHL
000005a1: SUB
000005a2: AND
000005a3: DUP2
000005a4: JUMP
000005a5: JUMPDEST
000005a6: CALLVALUE
000005a7: DUP1
000005a8: ISZERO
000005a9: PUSH2 0x05b0
000005ac: JUMPI
000005ad: PUSH0
000005ae: PUSH0
000005af: REVERT
000005b0: JUMPDEST
000005b1: POP
000005b2: PUSH2 0x03af
000005b5: PUSH2 0x05bf
000005b8: CALLDATASIZE
000005b9: PUSH1 0x04
000005bb: PUSH2 0x1c3c
000005be: JUMP
000005bf: JUMPDEST
000005c0: PUSH2 0x0c23
000005c3: JUMP
000005c4: JUMPDEST
000005c5: CALLVALUE
000005c6: DUP1
000005c7: ISZERO
000005c8: PUSH2 0x05cf
000005cb: JUMPI
000005cc: PUSH0
000005cd: PUSH0
000005ce: REVERT
000005cf: JUMPDEST
000005d0: POP
000005d1: PUSH2 0x035e
000005d4: PUSH2 0x05de
000005d7: CALLDATASIZE
000005d8: PUSH1 0x04
000005da: PUSH2 0x1c0c
000005dd: JUMP
000005de: JUMPDEST
000005df: PUSH4 0x87a211a2
000005e4: PUSH1 0x0c
000005e6: SWAP1
000005e7: DUP2
000005e8: MSTORE
000005e9: PUSH0
000005ea: SWAP2
000005eb: SWAP1
000005ec: SWAP2
000005ed: MSTORE
000005ee: PUSH1 0x20
000005f0: SWAP1
000005f1: KECCAK256
000005f2: SLOAD
000005f3: SWAP1
000005f4: JUMP
000005f5: JUMPDEST
000005f6: PUSH2 0x03af
000005f9: PUSH2 0x0cd8
000005fc: JUMP
000005fd: JUMPDEST
000005fe: CALLVALUE
000005ff: DUP1
00000600: ISZERO
00000601: PUSH2 0x0608
00000604: JUMPI
00000605: PUSH0
00000606: PUSH0
00000607: REVERT
00000608: JUMPDEST
00000609: POP
0000060a: PUSH1 0x40
0000060c: DUP1
0000060d: MLOAD
0000060e: DUP1
0000060f: DUP3
00000610: ADD
00000611: SWAP1
00000612: SWAP2
00000613: MSTORE
00000614: PUSH1 0x01
00000616: SLOAD
00000617: PUSH1 0x01
00000619: PUSH1 0x01
0000061b: PUSH1 0x80
0000061d: SHL
0000061e: SUB
0000061f: DUP1
00000620: DUP3
00000621: AND
00000622: DUP4
00000623: MSTORE
00000624: PUSH1 0x01
00000626: PUSH1 0x80
00000628: SHL
00000629: SWAP2
0000062a: DUP3
0000062b: SWAP1
0000062c: DIV
0000062d: DUP2
0000062e: AND
0000062f: PUSH1 0x20
00000631: DUP5
00000632: ADD
00000633: MSTORE
00000634: PUSH1 0x02
00000636: SLOAD
00000637: PUSH2 0x0645
0000063a: SWAP4
0000063b: SWAP3
0000063c: DUP2
0000063d: DUP4
0000063e: AND
0000063f: SWAP3
00000640: SWAP2
00000641: DIV
00000642: AND
00000643: DUP4
00000644: JUMP
00000645: JUMPDEST
00000646: PUSH1 0x40
00000648: DUP1
00000649: MLOAD
0000064a: DUP5
0000064b: MLOAD
0000064c: PUSH1 0x01
0000064e: PUSH1 0x01
00000650: PUSH1 0x80
00000652: SHL
00000653: SUB
00000654: SWAP1
00000655: DUP2
00000656: AND
00000657: DUP3
00000658: MSTORE
00000659: PUSH1 0x20
0000065b: SWAP6
0000065c: DUP7
0000065d: ADD
0000065e: MLOAD
0000065f: DUP2
00000660: AND
00000661: SWAP6
00000662: DUP3
00000663: ADD
00000664: SWAP6
00000665: SWAP1
00000666: SWAP6
00000667: MSTORE
00000668: SWAP3
00000669: DUP5
0000066a: AND
0000066b: SWAP1
0000066c: DUP4
0000066d: ADD
0000066e: MSTORE
0000066f: SWAP1
00000670: SWAP2
00000671: AND
00000672: PUSH1 0x60
00000674: DUP3
00000675: ADD
00000676: MSTORE
00000677: PUSH1 0x80
00000679: ADD
0000067a: PUSH2 0x0312
0000067d: JUMP
0000067e: JUMPDEST
0000067f: CALLVALUE
00000680: DUP1
00000681: ISZERO
00000682: PUSH2 0x0689
00000685: JUMPI
00000686: PUSH0
00000687: PUSH0
00000688: REVERT
00000689: JUMPDEST
0000068a: POP
0000068b: PUSH2 0x035e
0000068e: PUSH2 0x0698
00000691: CALLDATASIZE
00000692: PUSH1 0x04
00000694: PUSH2 0x1c0c
00000697: JUMP
00000698: JUMPDEST
00000699: PUSH4 0x38377508
0000069e: PUSH1 0x0c
000006a0: SWAP1
000006a1: DUP2
000006a2: MSTORE
000006a3: PUSH0
000006a4: SWAP2
000006a5: SWAP1
000006a6: SWAP2
000006a7: MSTORE
000006a8: PUSH1 0x20
000006aa: SWAP1
000006ab: KECCAK256
000006ac: SLOAD
000006ad: SWAP1
000006ae: JUMP
000006af: JUMPDEST
000006b0: CALLVALUE
000006b1: DUP1
000006b2: ISZERO
000006b3: PUSH2 0x06ba
000006b6: JUMPI
000006b7: PUSH0
000006b8: PUSH0
000006b9: REVERT
000006ba: JUMPDEST
000006bb: POP
000006bc: PUSH2 0x03af
000006bf: PUSH2 0x0ceb
000006c2: JUMP
000006c3: JUMPDEST
000006c4: CALLVALUE
000006c5: DUP1
000006c6: ISZERO
000006c7: PUSH2 0x06ce
000006ca: JUMPI
000006cb: PUSH0
000006cc: PUSH0
000006cd: REVERT
000006ce: JUMPDEST
000006cf: POP
000006d0: PUSH4 0x8b78c6d8
000006d5: NOT
000006d6: SLOAD
000006d7: PUSH2 0x054e
000006da: JUMP
000006db: JUMPDEST
000006dc: CALLVALUE
000006dd: DUP1
000006de: ISZERO
000006df: PUSH2 0x06e6
000006e2: JUMPI
000006e3: PUSH0
000006e4: PUSH0
000006e5: REVERT
000006e6: JUMPDEST
000006e7: POP
000006e8: PUSH2 0x035e
000006eb: PUSH2 0x0d36
000006ee: JUMP
000006ef: JUMPDEST
000006f0: PUSH2 0x03af
000006f3: PUSH2 0x06fd
000006f6: CALLDATASIZE
000006f7: PUSH1 0x04
000006f9: PUSH2 0x1c3c
000006fc: JUMP
000006fd: JUMPDEST
000006fe: PUSH2 0x0d6b
00000701: JUMP
00000702: JUMPDEST
00000703: CALLVALUE
00000704: DUP1
00000705: ISZERO
00000706: PUSH2 0x070d
00000709: JUMPI
0000070a: PUSH0
0000070b: PUSH0
0000070c: REVERT
0000070d: JUMPDEST
0000070e: POP
0000070f: PUSH1 0x40
00000711: DUP1
00000712: MLOAD
00000713: DUP1
00000714: DUP3
00000715: ADD
00000716: SWAP1
00000717: SWAP2
00000718: MSTORE
00000719: PUSH1 0x04
0000071b: DUP2
0000071c: MSTORE
0000071d: PUSH32 0x5041535400000000000000000000000000000000000000000000000000000000
0000073e: PUSH1 0x20
00000740: DUP3
00000741: ADD
00000742: MSTORE
00000743: PUSH2 0x0305
00000746: JUMP
00000747: JUMPDEST
00000748: PUSH2 0x03af
0000074b: PUSH2 0x0755
0000074e: CALLDATASIZE
0000074f: PUSH1 0x04
00000751: PUSH2 0x1c66
00000754: JUMP
00000755: JUMPDEST
00000756: PUSH2 0x0f0c
00000759: JUMP
0000075a: JUMPDEST
0000075b: CALLVALUE
0000075c: DUP1
0000075d: ISZERO
0000075e: PUSH2 0x0765
00000761: JUMPI
00000762: PUSH0
00000763: PUSH0
00000764: REVERT
00000765: JUMPDEST
00000766: POP
00000767: PUSH1 0x04
00000769: SLOAD
0000076a: PUSH2 0x054e
0000076d: SWAP1
0000076e: PUSH1 0x01
00000770: PUSH1 0x01
00000772: PUSH1 0xa0
00000774: SHL
00000775: SUB
00000776: AND
00000777: DUP2
00000778: JUMP
00000779: JUMPDEST
0000077a: CALLVALUE
0000077b: DUP1
0000077c: ISZERO
0000077d: PUSH2 0x0784
00000780: JUMPI
00000781: PUSH0
00000782: PUSH0
00000783: REVERT
00000784: JUMPDEST
00000785: POP
00000786: PUSH2 0x033a
00000789: PUSH2 0x0793
0000078c: CALLDATASIZE
0000078d: PUSH1 0x04
0000078f: PUSH2 0x1baa
00000792: JUMP
00000793: JUMPDEST
00000794: PUSH2 0x1043
00000797: JUMP
00000798: JUMPDEST
00000799: CALLVALUE
0000079a: DUP1
0000079b: ISZERO
0000079c: PUSH2 0x07a3
0000079f: JUMPI
000007a0: PUSH0
000007a1: PUSH0
000007a2: REVERT
000007a3: JUMPDEST
000007a4: POP
000007a5: PUSH2 0x035e
000007a8: PUSH2 0x07b2
000007ab: CALLDATASIZE
000007ac: PUSH1 0x04
000007ae: PUSH2 0x1c25
000007b1: JUMP
000007b2: JUMPDEST
000007b3: PUSH2 0x10ba
000007b6: JUMP
000007b7: JUMPDEST
000007b8: CALLVALUE
000007b9: DUP1
000007ba: ISZERO
000007bb: PUSH2 0x07c2
000007be: JUMPI
000007bf: PUSH0
000007c0: PUSH0
000007c1: REVERT
000007c2: JUMPDEST
000007c3: POP
000007c4: PUSH2 0x035e
000007c7: PUSH2 0x07d0
000007ca: DUP2
000007cb: JUMP
000007cc: JUMPDEST
000007cd: CALLVALUE
000007ce: DUP1
000007cf: ISZERO
000007d0: PUSH2 0x07d7
000007d3: JUMPI
000007d4: PUSH0
000007d5: PUSH0
000007d6: REVERT
000007d7: JUMPDEST
000007d8: POP
000007d9: PUSH4 0x87a211a2
000007de: PUSH1 0x0c
000007e0: SWAP1
000007e1: DUP2
000007e2: MSTORE
000007e3: PUSH2 0xdead
000007e6: PUSH0
000007e7: MSTORE
000007e8: PUSH1 0x20
000007ea: SWAP1
000007eb: KECCAK256
000007ec: SLOAD
000007ed: PUSH2 0x035e
000007f0: JUMP
000007f1: JUMPDEST
000007f2: CALLVALUE
000007f3: DUP1
000007f4: ISZERO
000007f5: PUSH2 0x07fc
000007f8: JUMPI
000007f9: PUSH0
000007fa: PUSH0
000007fb: REVERT
000007fc: JUMPDEST
000007fd: POP
000007fe: PUSH2 0x035e
00000801: PUSH2 0x10d5
00000804: JUMP
00000805: JUMPDEST
00000806: CALLVALUE
00000807: DUP1
00000808: ISZERO
00000809: PUSH2 0x0810
0000080c: JUMPI
0000080d: PUSH0
0000080e: PUSH0
0000080f: REVERT
00000810: JUMPDEST
00000811: POP
00000812: PUSH2 0x03af
00000815: PUSH2 0x081f
00000818: CALLDATASIZE
00000819: PUSH1 0x04
0000081b: PUSH2 0x1c25
0000081e: JUMP
0000081f: JUMPDEST
00000820: PUSH2 0x10f7
00000823: JUMP
00000824: JUMPDEST
00000825: CALLVALUE
00000826: DUP1
00000827: ISZERO
00000828: PUSH2 0x082f
0000082b: JUMPI
0000082c: PUSH0
0000082d: PUSH0
0000082e: REVERT
0000082f: JUMPDEST
00000830: POP
00000831: PUSH2 0x03af
00000834: PUSH2 0x083e
00000837: CALLDATASIZE
00000838: PUSH1 0x04
0000083a: PUSH2 0x1ca7
0000083d: JUMP
0000083e: JUMPDEST
0000083f: PUSH2 0x1203
00000842: JUMP
00000843: JUMPDEST
00000844: CALLVALUE
00000845: DUP1
00000846: ISZERO
00000847: PUSH2 0x084e
0000084a: JUMPI
0000084b: PUSH0
0000084c: PUSH0
0000084d: REVERT
0000084e: JUMPDEST
0000084f: POP
00000850: PUSH2 0x035e
00000853: PUSH2 0x085d
00000856: CALLDATASIZE
00000857: PUSH1 0x04
00000859: PUSH2 0x1d14
0000085c: JUMP
0000085d: JUMPDEST
0000085e: PUSH2 0x140c
00000861: JUMP
00000862: JUMPDEST
00000863: CALLVALUE
00000864: DUP1
00000865: ISZERO
00000866: PUSH2 0x086d
00000869: JUMPI
0000086a: PUSH0
0000086b: PUSH0
0000086c: REVERT
0000086d: JUMPDEST
0000086e: POP
0000086f: PUSH2 0x03af
00000872: PUSH2 0x087c
00000875: CALLDATASIZE
00000876: PUSH1 0x04
00000878: PUSH2 0x1c0c
0000087b: JUMP
0000087c: JUMPDEST
0000087d: PUSH2 0x1450
00000880: JUMP
00000881: JUMPDEST
00000882: PUSH2 0x03af
00000885: PUSH2 0x088f
00000888: CALLDATASIZE
00000889: PUSH1 0x04
0000088b: PUSH2 0x1c0c
0000088e: JUMP
0000088f: JUMPDEST
00000890: PUSH2 0x1487
00000893: JUMP
00000894: JUMPDEST
00000895: PUSH2 0x03af
00000898: PUSH2 0x08a2
0000089b: CALLDATASIZE
0000089c: PUSH1 0x04
0000089e: PUSH2 0x1c0c
000008a1: JUMP
000008a2: JUMPDEST
000008a3: PUSH2 0x14c4
000008a6: JUMP
000008a7: JUMPDEST
000008a8: CALLVALUE
000008a9: DUP1
000008aa: ISZERO
000008ab: PUSH2 0x08b2
000008ae: JUMPI
000008af: PUSH0
000008b0: PUSH0
000008b1: REVERT
000008b2: JUMPDEST
000008b3: POP
000008b4: PUSH2 0x035e
000008b7: PUSH2 0x08c1
000008ba: CALLDATASIZE
000008bb: PUSH1 0x04
000008bd: PUSH2 0x1c0c
000008c0: JUMP
000008c1: JUMPDEST
000008c2: PUSH4 0x389a75e1
000008c7: PUSH1 0x0c
000008c9: SWAP1
000008ca: DUP2
000008cb: MSTORE
000008cc: PUSH0
000008cd: SWAP2
000008ce: SWAP1
000008cf: SWAP2
000008d0: MSTORE
000008d1: PUSH1 0x20
000008d3: SWAP1
000008d4: KECCAK256
000008d5: SLOAD
000008d6: SWAP1
000008d7: JUMP
000008d8: JUMPDEST
000008d9: PUSH0
000008da: PUSH1 0x01
000008dc: PUSH1 0x01
000008de: PUSH1 0xa0
000008e0: SHL
000008e1: SUB
000008e2: DUP4
000008e3: AND
000008e4: PUSH15 0x22d473030f116ddee9f6b43ac78ba3
000008f4: XOR
000008f5: DUP3
000008f6: NOT
000008f7: ISZERO
000008f8: OR
000008f9: PUSH2 0x0909
000008fc: JUMPI
000008fd: PUSH4 0x3f68539a
00000902: PUSH0
00000903: MSTORE
00000904: PUSH1 0x04
00000906: PUSH1 0x1c
00000908: REVERT
00000909: JUMPDEST
0000090a: DUP3
0000090b: PUSH1 0x20
0000090d: MSTORE
0000090e: PUSH4 0x7f5e9f20
00000913: PUSH1 0x0c
00000915: MSTORE
00000916: CALLER
00000917: PUSH0
00000918: MSTORE
00000919: DUP2
0000091a: PUSH1 0x34
0000091c: PUSH1 0x0c
0000091e: KECCAK256
0000091f: SSTORE
00000920: DUP2
00000921: PUSH0
00000922: MSTORE
00000923: PUSH1 0x2c
00000925: MLOAD
00000926: PUSH1 0x60
00000928: SHR
00000929: CALLER
0000092a: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
0000094b: PUSH1 0x20
0000094d: PUSH0
0000094e: LOG3
0000094f: POP
00000950: PUSH1 0x01
00000952: JUMPDEST
00000953: SWAP3
00000954: SWAP2
00000955: POP
00000956: POP
00000957: JUMP
00000958: JUMPDEST
00000959: PUSH0
0000095a: SELFBALANCE
0000095b: DUP2
0000095c: PUSH2 0x096c
0000095f: PUSH9 0x05345cdf77eb68f44c
00000969: SLOAD
0000096a: SWAP1
0000096b: JUMP
0000096c: JUMPDEST
0000096d: SWAP1
0000096e: POP
0000096f: PUSH0
00000970: PUSH2 0x0977
00000973: PUSH2 0x0d36
00000976: JUMP
00000977: JUMPDEST
00000978: SWAP1
00000979: POP
0000097a: PUSH0
0000097b: PUSH2 0x0984
0000097e: DUP4
0000097f: DUP4
00000980: PUSH2 0x14ea
00000983: JUMP
00000984: JUMPDEST
00000985: PUSH1 0x40
00000987: DUP1
00000988: MLOAD
00000989: DUP1
0000098a: DUP3
0000098b: ADD
0000098c: SWAP1
0000098d: SWAP2
0000098e: MSTORE
0000098f: PUSH1 0x01
00000991: SLOAD
00000992: PUSH1 0x01
00000994: PUSH1 0x01
00000996: PUSH1 0x80
00000998: SHL
00000999: SUB
0000099a: DUP1
0000099b: DUP3
0000099c: AND
0000099d: DUP4
0000099e: MSTORE
0000099f: PUSH1 0x01
000009a1: PUSH1 0x80
000009a3: SHL
000009a4: SWAP1
000009a5: SWAP2
000009a6: DIV
000009a7: AND
000009a8: PUSH1 0x20
000009aa: DUP3
000009ab: ADD
000009ac: MSTORE
000009ad: SWAP1
000009ae: SWAP2
000009af: POP
000009b0: PUSH0
000009b1: SWAP1
000009b2: PUSH2 0x09bc
000009b5: SWAP1
000009b6: DUP6
000009b7: DUP6
000009b8: PUSH2 0x1595
000009bb: JUMP
000009bc: JUMPDEST
000009bd: SWAP1
000009be: POP
000009bf: PUSH0
000009c0: PUSH2 0x2710
000009c3: PUSH2 0x09ce
000009c6: PUSH2 0x07d0
000009c9: DUP3
000009ca: PUSH2 0x1d50
000009cd: JUMP
000009ce: JUMPDEST
000009cf: PUSH2 0x09d8
000009d2: DUP6
000009d3: DUP6
000009d4: PUSH2 0x1d50
000009d7: JUMP
000009d8: JUMPDEST
000009d9: PUSH2 0x09e2
000009dc: SWAP2
000009dd: SWAP1
000009de: PUSH2 0x1d63
000009e1: JUMP
000009e2: JUMPDEST
000009e3: PUSH2 0x09ec
000009e6: SWAP2
000009e7: SWAP1
000009e8: PUSH2 0x1d7a
000009eb: JUMP
000009ec: JUMPDEST
000009ed: SWAP1
000009ee: POP
000009ef: DUP1
000009f0: PUSH2 0x09f9
000009f3: DUP5
000009f4: DUP9
000009f5: PUSH2 0x1d50
000009f8: JUMP
000009f9: JUMPDEST
000009fa: PUSH2 0x0a03
000009fd: SWAP2
000009fe: SWAP1
000009ff: PUSH2 0x1d50
00000a02: JUMP
00000a03: JUMPDEST
00000a04: SWAP7
00000a05: POP
00000a06: POP
00000a07: POP
00000a08: POP
00000a09: POP
00000a0a: POP
00000a0b: POP
00000a0c: SWAP1
00000a0d: JUMP
00000a0e: JUMPDEST
00000a0f: PUSH0
00000a10: DUP4
00000a11: PUSH1 0x60
00000a13: SHL
00000a14: PUSH15 0x22d473030f116ddee9f6b43ac78ba3
00000a24: CALLER
00000a25: EQ
00000a26: PUSH2 0x0a63
00000a29: JUMPI
00000a2a: CALLER
00000a2b: PUSH1 0x20
00000a2d: MSTORE
00000a2e: PUSH4 0x7f5e9f20
00000a33: DUP2
00000a34: OR
00000a35: PUSH1 0x0c
00000a37: MSTORE
00000a38: PUSH1 0x34
00000a3a: PUSH1 0x0c
00000a3c: KECCAK256
00000a3d: DUP1
00000a3e: SLOAD
00000a3f: DUP1
00000a40: NOT
00000a41: ISZERO
00000a42: PUSH2 0x0a60
00000a45: JUMPI
00000a46: DUP1
00000a47: DUP6
00000a48: GT
00000a49: ISZERO
00000a4a: PUSH2 0x0a5a
00000a4d: JUMPI
00000a4e: PUSH4 0x13be252b
00000a53: PUSH0
00000a54: MSTORE
00000a55: PUSH1 0x04
00000a57: PUSH1 0x1c
00000a59: REVERT
00000a5a: JUMPDEST
00000a5b: DUP5
00000a5c: DUP2
00000a5d: SUB
00000a5e: DUP3
00000a5f: SSTORE
00000a60: JUMPDEST
00000a61: POP
00000a62: POP
00000a63: JUMPDEST
00000a64: PUSH4 0x87a211a2
00000a69: DUP2
00000a6a: OR
00000a6b: PUSH1 0x0c
00000a6d: MSTORE
00000a6e: PUSH1 0x20
00000a70: PUSH1 0x0c
00000a72: KECCAK256
00000a73: DUP1
00000a74: SLOAD
00000a75: DUP1
00000a76: DUP6
00000a77: GT
00000a78: ISZERO
00000a79: PUSH2 0x0a89
00000a7c: JUMPI
00000a7d: PUSH4 0xf4d678b8
00000a82: PUSH0
00000a83: MSTORE
00000a84: PUSH1 0x04
00000a86: PUSH1 0x1c
00000a88: REVERT
00000a89: JUMPDEST
00000a8a: DUP5
00000a8b: DUP2
00000a8c: SUB
00000a8d: DUP3
00000a8e: SSTORE
00000a8f: POP
00000a90: POP
00000a91: DUP4
00000a92: PUSH0
00000a93: MSTORE
00000a94: PUSH1 0x20
00000a96: PUSH1 0x0c
00000a98: KECCAK256
00000a99: DUP4
00000a9a: DUP2
00000a9b: SLOAD
00000a9c: ADD
00000a9d: DUP2
00000a9e: SSTORE
00000a9f: POP
00000aa0: DUP3
00000aa1: PUSH1 0x20
00000aa3: MSTORE
00000aa4: PUSH1 0x0c
00000aa6: MLOAD
00000aa7: PUSH1 0x60
00000aa9: SHR
00000aaa: DUP2
00000aab: PUSH1 0x60
00000aad: SHR
00000aae: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000acf: PUSH1 0x20
00000ad1: DUP1
00000ad2: LOG3
00000ad3: POP
00000ad4: POP
00000ad5: PUSH1 0x01
00000ad7: SWAP4
00000ad8: SWAP3
00000ad9: POP
00000ada: POP
00000adb: POP
00000adc: JUMP
00000add: JUMPDEST
00000ade: PUSH0
00000adf: PUSH3 0x02a300
00000ae3: PUSH8 0xffffffffffffffff
00000aec: AND
00000aed: TIMESTAMP
00000aee: ADD
00000aef: SWAP1
00000af0: POP
00000af1: PUSH4 0x389a75e1
00000af6: PUSH1 0x0c
00000af8: MSTORE
00000af9: CALLER
00000afa: PUSH0
00000afb: MSTORE
00000afc: DUP1
00000afd: PUSH1 0x20
00000aff: PUSH1 0x0c
00000b01: KECCAK256
00000b02: SSTORE
00000b03: CALLER
00000b04: PUSH32 0xdbf36a107da19e49527a7176a1babf963b4b0ff8cde35ee35d6cd8f1f9ac7e1d
00000b25: PUSH0
00000b26: PUSH0
00000b27: LOG2
00000b28: POP
00000b29: JUMP
00000b2a: JUMPDEST
00000b2b: PUSH2 0x0b32
00000b2e: PUSH2 0x1676
00000b31: JUMP
00000b32: JUMPDEST
00000b33: PUSH1 0x04
00000b35: DUP1
00000b36: SLOAD
00000b37: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b4c: NOT
00000b4d: AND
00000b4e: PUSH1 0x01
00000b50: PUSH1 0x01
00000b52: PUSH1 0xa0
00000b54: SHL
00000b55: SUB
00000b56: DUP4
00000b57: AND
00000b58: SWAP1
00000b59: DUP2
00000b5a: OR
00000b5b: SWAP1
00000b5c: SWAP2
00000b5d: SSTORE
00000b5e: PUSH1 0x40
00000b60: MLOAD
00000b61: PUSH32 0x4da9c22c924692646a21cf1f423781ae3285198dc22e8a6912835d3272b90b3c
00000b82: SWAP1
00000b83: PUSH0
00000b84: SWAP1
00000b85: LOG2
00000b86: POP
00000b87: JUMP
00000b88: JUMPDEST
00000b89: PUSH2 0x0b90
00000b8c: PUSH2 0x1676
00000b8f: JUMP
00000b90: JUMPDEST
00000b91: PUSH0
00000b92: SLOAD
00000b93: PUSH1 0xff
00000b95: AND
00000b96: PUSH2 0x0b9d
00000b99: JUMPI
00000b9a: PUSH0
00000b9b: PUSH0
00000b9c: REVERT
00000b9d: JUMPDEST
00000b9e: PUSH0
00000b9f: DUP1
00000ba0: SLOAD
00000ba1: PUSH1 0xff
00000ba3: NOT
00000ba4: AND
00000ba5: DUP2
00000ba6: SSTORE
00000ba7: PUSH1 0x40
00000ba9: MLOAD
00000baa: PUSH32 0x7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b33
00000bcb: SWAP2
00000bcc: SWAP1
00000bcd: LOG1
00000bce: JUMP
00000bcf: JUMPDEST
00000bd0: PUSH0
00000bd1: PUSH2 0x0952
00000bd4: PUSH2 0x0be4
00000bd7: PUSH9 0x05345cdf77eb68f44c
00000be1: SLOAD
00000be2: SWAP1
00000be3: JUMP
00000be4: JUMPDEST
00000be5: DUP4
00000be6: PUSH2 0x14ea
00000be9: JUMP
00000bea: JUMPDEST
00000beb: PUSH4 0x389a75e1
00000bf0: PUSH1 0x0c
00000bf2: MSTORE
00000bf3: CALLER
00000bf4: PUSH0
00000bf5: MSTORE
00000bf6: PUSH0
00000bf7: PUSH1 0x20
00000bf9: PUSH1 0x0c
00000bfb: KECCAK256
00000bfc: SSTORE
00000bfd: CALLER
00000bfe: PUSH32 0xfa7b8eab7da67f412cc9575ed43464468f9bfbae89d1675917346ca6d8fe3c92
00000c1f: PUSH0
00000c20: PUSH0
00000c21: LOG2
00000c22: JUMP
00000c23: JUMPDEST
00000c24: PUSH0
00000c25: DUP3
00000c26: GT
00000c27: PUSH2 0x0c6c
00000c2a: JUMPI
00000c2b: PUSH1 0x40
00000c2d: MLOAD
00000c2e: PUSH3 0x461bcd
00000c32: PUSH1 0xe5
00000c34: SHL
00000c35: DUP2
00000c36: MSTORE
00000c37: PUSH1 0x20
00000c39: PUSH1 0x04
00000c3b: DUP3
00000c3c: ADD
00000c3d: MSTORE
00000c3e: PUSH1 0x12
00000c40: PUSH1 0x24
00000c42: DUP3
00000c43: ADD
00000c44: MSTORE
00000c45: PUSH18 0x0416d6f756e74206d757374206265203e203
00000c58: PUSH1 0x74
00000c5a: SHL
00000c5b: PUSH1 0x44
00000c5d: DUP3
00000c5e: ADD
00000c5f: MSTORE
00000c60: PUSH1 0x64
00000c62: ADD
00000c63: JUMPDEST
00000c64: PUSH1 0x40
00000c66: MLOAD
00000c67: DUP1
00000c68: SWAP2
00000c69: SUB
00000c6a: SWAP1
00000c6b: REVERT
00000c6c: JUMPDEST
00000c6d: CALLER
00000c6e: PUSH1 0x01
00000c70: PUSH1 0x01
00000c72: PUSH1 0xa0
00000c74: SHL
00000c75: SUB
00000c76: DUP3
00000c77: AND
00000c78: EQ
00000c79: PUSH2 0x0c87
00000c7c: JUMPI
00000c7d: PUSH2 0x0c87
00000c80: DUP2
00000c81: CALLER
00000c82: DUP5
00000c83: PUSH2 0x1690
00000c86: JUMP
00000c87: JUMPDEST
00000c88: PUSH2 0x0c94
00000c8b: DUP2
00000c8c: PUSH2 0xdead
00000c8f: DUP5
00000c90: PUSH2 0x16f1
00000c93: JUMP
00000c94: JUMPDEST
00000c95: PUSH1 0x40
00000c97: MLOAD
00000c98: DUP3
00000c99: DUP2
00000c9a: MSTORE
00000c9b: PUSH1 0x01
00000c9d: PUSH1 0x01
00000c9f: PUSH1 0xa0
00000ca1: SHL
00000ca2: SUB
00000ca3: DUP3
00000ca4: AND
00000ca5: SWAP1
00000ca6: CALLER
00000ca7: SWAP1
00000ca8: PUSH32 0xec36c0364d931187a76cf66d7eee08fad0ec2e8b7458a8d8b26b36769d4d13f3
00000cc9: SWAP1
00000cca: PUSH1 0x20
00000ccc: ADD
00000ccd: PUSH1 0x40
00000ccf: MLOAD
00000cd0: DUP1
00000cd1: SWAP2
00000cd2: SUB
00000cd3: SWAP1
00000cd4: LOG3
00000cd5: POP
00000cd6: POP
00000cd7: JUMP
00000cd8: JUMPDEST
00000cd9: PUSH2 0x0ce0
00000cdc: PUSH2 0x1676
00000cdf: JUMP
00000ce0: JUMPDEST
00000ce1: PUSH2 0x0ce9
00000ce4: PUSH0
00000ce5: PUSH2 0x176a
00000ce8: JUMP
00000ce9: JUMPDEST
00000cea: JUMP
00000ceb: JUMPDEST
00000cec: PUSH2 0x0cf3
00000cef: PUSH2 0x1676
00000cf2: JUMP
00000cf3: JUMPDEST
00000cf4: PUSH0
00000cf5: SLOAD
00000cf6: PUSH1 0xff
00000cf8: AND
00000cf9: ISZERO
00000cfa: PUSH2 0x0d01
00000cfd: JUMPI
00000cfe: PUSH0
00000cff: PUSH0
00000d00: REVERT
00000d01: JUMPDEST
00000d02: PUSH0
00000d03: DUP1
00000d04: SLOAD
00000d05: PUSH1 0xff
00000d07: NOT
00000d08: AND
00000d09: PUSH1 0x01
00000d0b: OR
00000d0c: DUP2
00000d0d: SSTORE
00000d0e: PUSH1 0x40
00000d10: MLOAD
00000d11: PUSH32 0x6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff625
00000d32: SWAP2
00000d33: SWAP1
00000d34: LOG1
00000d35: JUMP
00000d36: JUMPDEST
00000d37: PUSH0
00000d38: PUSH2 0x0d51
00000d3b: PUSH4 0x87a211a2
00000d40: PUSH1 0x0c
00000d42: SWAP1
00000d43: DUP2
00000d44: MSTORE
00000d45: PUSH2 0xdead
00000d48: PUSH0
00000d49: MSTORE
00000d4a: PUSH1 0x20
00000d4c: SWAP1
00000d4d: KECCAK256
00000d4e: SLOAD
00000d4f: SWAP1
00000d50: JUMP
00000d51: JUMPDEST
00000d52: PUSH9 0x05345cdf77eb68f44c
00000d5c: SLOAD
00000d5d: PUSH2 0x0d66
00000d60: SWAP2
00000d61: SWAP1
00000d62: PUSH2 0x1d50
00000d65: JUMP
00000d66: JUMPDEST
00000d67: SWAP1
00000d68: POP
00000d69: SWAP1
00000d6a: JUMP
00000d6b: JUMPDEST
00000d6c: PUSH0
00000d6d: SLOAD
00000d6e: PUSH1 0xff
00000d70: AND
00000d71: ISZERO
00000d72: PUSH2 0x0d79
00000d75: JUMPI
00000d76: PUSH0
00000d77: PUSH0
00000d78: REVERT
00000d79: JUMPDEST
00000d7a: PUSH0
00000d7b: DUP3
00000d7c: GT
00000d7d: PUSH2 0x0dbd
00000d80: JUMPI
00000d81: PUSH1 0x40
00000d83: MLOAD
00000d84: PUSH3 0x461bcd
00000d88: PUSH1 0xe5
00000d8a: SHL
00000d8b: DUP2
00000d8c: MSTORE
00000d8d: PUSH1 0x20
00000d8f: PUSH1 0x04
00000d91: DUP3
00000d92: ADD
00000d93: MSTORE
00000d94: PUSH1 0x12
00000d96: PUSH1 0x24
00000d98: DUP3
00000d99: ADD
00000d9a: MSTORE
00000d9b: PUSH18 0x0416d6f756e74206d757374206265203e203
00000dae: PUSH1 0x74
00000db0: SHL
00000db1: PUSH1 0x44
00000db3: DUP3
00000db4: ADD
00000db5: MSTORE
00000db6: PUSH1 0x64
00000db8: ADD
00000db9: PUSH2 0x0c63
00000dbc: JUMP
00000dbd: JUMPDEST
00000dbe: PUSH0
00000dbf: PUSH2 0x0dcf
00000dc2: PUSH9 0x05345cdf77eb68f44c
00000dcc: SLOAD
00000dcd: SWAP1
00000dce: JUMP
00000dcf: JUMPDEST
00000dd0: SWAP1
00000dd1: POP
00000dd2: PUSH11 0x115eec47f6cf7e35000000
00000dde: PUSH2 0x0de7
00000de1: DUP5
00000de2: DUP4
00000de3: PUSH2 0x1d99
00000de6: JUMP
00000de7: JUMPDEST
00000de8: GT
00000de9: ISZERO
00000dea: PUSH2 0x0e35
00000ded: JUMPI
00000dee: PUSH1 0x40
00000df0: MLOAD
00000df1: PUSH3 0x461bcd
00000df5: PUSH1 0xe5
00000df7: SHL
00000df8: DUP2
00000df9: MSTORE
00000dfa: PUSH1 0x20
00000dfc: PUSH1 0x04
00000dfe: DUP3
00000dff: ADD
00000e00: MSTORE
00000e01: PUSH1 0x12
00000e03: PUSH1 0x24
00000e05: DUP3
00000e06: ADD
00000e07: MSTORE
00000e08: PUSH32 0x4d617820737570706c7920726561636865640000000000000000000000000000
00000e29: PUSH1 0x44
00000e2b: DUP3
00000e2c: ADD
00000e2d: MSTORE
00000e2e: PUSH1 0x64
00000e30: ADD
00000e31: PUSH2 0x0c63
00000e34: JUMP
00000e35: JUMPDEST
00000e36: PUSH0
00000e37: PUSH2 0x0e40
00000e3a: DUP3
00000e3b: DUP6
00000e3c: PUSH2 0x17a7
00000e3f: JUMP
00000e40: JUMPDEST
00000e41: SWAP1
00000e42: POP
00000e43: DUP1
00000e44: CALLVALUE
00000e45: LT
00000e46: ISZERO
00000e47: PUSH2 0x0e92
00000e4a: JUMPI
00000e4b: PUSH1 0x40
00000e4d: MLOAD
00000e4e: PUSH3 0x461bcd
00000e52: PUSH1 0xe5
00000e54: SHL
00000e55: DUP2
00000e56: MSTORE
00000e57: PUSH1 0x20
00000e59: PUSH1 0x04
00000e5b: DUP3
00000e5c: ADD
00000e5d: MSTORE
00000e5e: PUSH1 0x10
00000e60: PUSH1 0x24
00000e62: DUP3
00000e63: ADD
00000e64: MSTORE
00000e65: PUSH32 0x496e73756666696369656e742045544800000000000000000000000000000000
00000e86: PUSH1 0x44
00000e88: DUP3
00000e89: ADD
00000e8a: MSTORE
00000e8b: PUSH1 0x64
00000e8d: ADD
00000e8e: PUSH2 0x0c63
00000e91: JUMP
00000e92: JUMPDEST
00000e93: PUSH0
00000e94: PUSH2 0x0e9d
00000e97: DUP4
00000e98: DUP7
00000e99: PUSH2 0x185f
00000e9c: JUMP
00000e9d: JUMPDEST
00000e9e: SWAP1
00000e9f: POP
00000ea0: PUSH2 0x0ea9
00000ea3: DUP5
00000ea4: DUP7
00000ea5: PUSH2 0x18b0
00000ea8: JUMP
00000ea9: JUMPDEST
00000eaa: PUSH1 0x40
00000eac: DUP1
00000ead: MLOAD
00000eae: DUP4
00000eaf: DUP2
00000eb0: MSTORE
00000eb1: PUSH1 0x20
00000eb3: DUP2
00000eb4: ADD
00000eb5: DUP8
00000eb6: SWAP1
00000eb7: MSTORE
00000eb8: PUSH1 0x01
00000eba: PUSH1 0x01
00000ebc: PUSH1 0xa0
00000ebe: SHL
00000ebf: SUB
00000ec0: DUP7
00000ec1: AND
00000ec2: SWAP2
00000ec3: CALLER
00000ec4: SWAP2
00000ec5: PUSH32 0x2f00e3cdd69a77be7ed215ec7b2a36784dd158f921fca79ac29deffa353fe6ee
00000ee6: SWAP2
00000ee7: ADD
00000ee8: PUSH1 0x40
00000eea: MLOAD
00000eeb: DUP1
00000eec: SWAP2
00000eed: SUB
00000eee: SWAP1
00000eef: LOG3
00000ef0: PUSH1 0x03
00000ef2: SLOAD
00000ef3: PUSH2 0x0f05
00000ef6: SWAP1
00000ef7: PUSH1 0x01
00000ef9: PUSH1 0x01
00000efb: PUSH1 0xa0
00000efd: SHL
00000efe: SUB
00000eff: AND
00000f00: DUP3
00000f01: PUSH2 0x192d
00000f04: JUMP
00000f05: JUMPDEST
00000f06: POP
00000f07: POP
00000f08: POP
00000f09: POP
00000f0a: POP
00000f0b: JUMP
00000f0c: JUMPDEST
00000f0d: PUSH0
00000f0e: DUP5
00000f0f: GT
00000f10: PUSH2 0x0f50
00000f13: JUMPI
00000f14: PUSH1 0x40
00000f16: MLOAD
00000f17: PUSH3 0x461bcd
00000f1b: PUSH1 0xe5
00000f1d: SHL
00000f1e: DUP2
00000f1f: MSTORE
00000f20: PUSH1 0x20
00000f22: PUSH1 0x04
00000f24: DUP3
00000f25: ADD
00000f26: MSTORE
00000f27: PUSH1 0x12
00000f29: PUSH1 0x24
00000f2b: DUP3
00000f2c: ADD
00000f2d: MSTORE
00000f2e: PUSH18 0x0416d6f756e74206d757374206265203e203
00000f41: PUSH1 0x74
00000f43: SHL
00000f44: PUSH1 0x44
00000f46: DUP3
00000f47: ADD
00000f48: MSTORE
00000f49: PUSH1 0x64
00000f4b: ADD
00000f4c: PUSH2 0x0c63
00000f4f: JUMP
00000f50: JUMPDEST
00000f51: PUSH0
00000f52: PUSH2 0x0f62
00000f55: PUSH9 0x05345cdf77eb68f44c
00000f5f: SLOAD
00000f60: SWAP1
00000f61: JUMP
00000f62: JUMPDEST
00000f63: SWAP1
00000f64: POP
00000f65: PUSH0
00000f66: PUSH2 0x0f6f
00000f69: DUP3
00000f6a: DUP8
00000f6b: PUSH2 0x14ea
00000f6e: JUMP
00000f6f: JUMPDEST
00000f70: SWAP1
00000f71: POP
00000f72: DUP3
00000f73: DUP2
00000f74: LT
00000f75: ISZERO
00000f76: PUSH2 0x0fc1
00000f79: JUMPI
00000f7a: PUSH1 0x40
00000f7c: MLOAD
00000f7d: PUSH3 0x461bcd
00000f81: PUSH1 0xe5
00000f83: SHL
00000f84: DUP2
00000f85: MSTORE
00000f86: PUSH1 0x20
00000f88: PUSH1 0x04
00000f8a: DUP3
00000f8b: ADD
00000f8c: MSTORE
00000f8d: PUSH1 0x1a
00000f8f: PUSH1 0x24
00000f91: DUP3
00000f92: ADD
00000f93: MSTORE
00000f94: PUSH32 0x496e73756666696369656e74206f757470757420616d6f756e74000000000000
00000fb5: PUSH1 0x44
00000fb7: DUP3
00000fb8: ADD
00000fb9: MSTORE
00000fba: PUSH1 0x64
00000fbc: ADD
00000fbd: PUSH2 0x0c63
00000fc0: JUMP
00000fc1: JUMPDEST
00000fc2: CALLER
00000fc3: PUSH1 0x01
00000fc5: PUSH1 0x01
00000fc7: PUSH1 0xa0
00000fc9: SHL
00000fca: SUB
00000fcb: DUP7
00000fcc: AND
00000fcd: EQ
00000fce: PUSH2 0x0fdc
00000fd1: JUMPI
00000fd2: PUSH2 0x0fdc
00000fd5: DUP6
00000fd6: CALLER
00000fd7: DUP9
00000fd8: PUSH2 0x1690
00000fdb: JUMP
00000fdc: JUMPDEST
00000fdd: PUSH2 0x0fe6
00000fe0: DUP6
00000fe1: DUP8
00000fe2: PUSH2 0x1946
00000fe5: JUMP
00000fe6: JUMPDEST
00000fe7: PUSH1 0x40
00000fe9: DUP1
00000fea: MLOAD
00000feb: DUP3
00000fec: DUP2
00000fed: MSTORE
00000fee: PUSH1 0x20
00000ff0: DUP2
00000ff1: ADD
00000ff2: DUP9
00000ff3: SWAP1
00000ff4: MSTORE
00000ff5: PUSH1 0x01
00000ff7: PUSH1 0x01
00000ff9: PUSH1 0xa0
00000ffb: SHL
00000ffc: SUB
00000ffd: DUP1
00000ffe: DUP8
00000fff: AND
00001000: SWAP3
00001001: SWAP1
00001002: DUP9
00001003: AND
00001004: SWAP2
00001005: CALLER
00001006: SWAP2
00001007: PUSH32 0xaee47cdf925cf525fdae94f9777ee5a06cac37e1c41220d0a8a89ed154f62d1c
00001028: SWAP2
00001029: ADD
0000102a: PUSH1 0x40
0000102c: MLOAD
0000102d: DUP1
0000102e: SWAP2
0000102f: SUB
00001030: SWAP1
00001031: LOG4
00001032: PUSH2 0x103b
00001035: DUP5
00001036: DUP3
00001037: PUSH2 0x192d
0000103a: JUMP
0000103b: JUMPDEST
0000103c: POP
0000103d: POP
0000103e: POP
0000103f: POP
00001040: POP
00001041: POP
00001042: JUMP
00001043: JUMPDEST
00001044: PUSH0
00001045: PUSH4 0x87a211a2
0000104a: PUSH1 0x0c
0000104c: MSTORE
0000104d: CALLER
0000104e: PUSH0
0000104f: MSTORE
00001050: PUSH1 0x20
00001052: PUSH1 0x0c
00001054: KECCAK256
00001055: DUP1
00001056: SLOAD
00001057: DUP1
00001058: DUP5
00001059: GT
0000105a: ISZERO
0000105b: PUSH2 0x106b
0000105e: JUMPI
0000105f: PUSH4 0xf4d678b8
00001064: PUSH0
00001065: MSTORE
00001066: PUSH1 0x04
00001068: PUSH1 0x1c
0000106a: REVERT
0000106b: JUMPDEST
0000106c: DUP4
0000106d: DUP2
0000106e: SUB
0000106f: DUP3
00001070: SSTORE
00001071: POP
00001072: POP
00001073: DUP3
00001074: PUSH0
00001075: MSTORE
00001076: PUSH1 0x20
00001078: PUSH1 0x0c
0000107a: KECCAK256
0000107b: DUP3
0000107c: DUP2
0000107d: SLOAD
0000107e: ADD
0000107f: DUP2
00001080: SSTORE
00001081: POP
00001082: DUP2
00001083: PUSH1 0x20
00001085: MSTORE
00001086: PUSH1 0x0c
00001088: MLOAD
00001089: PUSH1 0x60
0000108b: SHR
0000108c: CALLER
0000108d: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000010ae: PUSH1 0x20
000010b0: DUP1
000010b1: LOG3
000010b2: POP
000010b3: PUSH1 0x01
000010b5: SWAP3
000010b6: SWAP2
000010b7: POP
000010b8: POP
000010b9: JUMP
000010ba: JUMPDEST
000010bb: PUSH0
000010bc: PUSH2 0x0952
000010bf: PUSH2 0x10cf
000010c2: PUSH9 0x05345cdf77eb68f44c
000010cc: SLOAD
000010cd: SWAP1
000010ce: JUMP
000010cf: JUMPDEST
000010d0: DUP4
000010d1: PUSH2 0x17a7
000010d4: JUMP
000010d5: JUMPDEST
000010d6: PUSH0
000010d7: PUSH2 0x0d66
000010da: PUSH2 0x10ea
000010dd: PUSH9 0x05345cdf77eb68f44c
000010e7: SLOAD
000010e8: SWAP1
000010e9: JUMP
000010ea: JUMPDEST
000010eb: PUSH2 0x10f2
000010ee: PUSH2 0x0d36
000010f1: JUMP
000010f2: JUMPDEST
000010f3: PUSH2 0x14ea
000010f6: JUMP
000010f7: JUMPDEST
000010f8: PUSH1 0x04
000010fa: SLOAD
000010fb: PUSH1 0x01
000010fd: PUSH1 0x01
000010ff: PUSH1 0xa0
00001101: SHL
00001102: SUB
00001103: AND
00001104: CALLER
00001105: EQ
00001106: PUSH2 0x1151
00001109: JUMPI
0000110a: PUSH1 0x40
0000110c: MLOAD
0000110d: PUSH3 0x461bcd
00001111: PUSH1 0xe5
00001113: SHL
00001114: DUP2
00001115: MSTORE
00001116: PUSH1 0x20
00001118: PUSH1 0x04
0000111a: DUP3
0000111b: ADD
0000111c: MSTORE
0000111d: PUSH1 0x0d
0000111f: PUSH1 0x24
00001121: DUP3
00001122: ADD
00001123: MSTORE
00001124: PUSH32 0x4f6e6c7920737472617465677900000000000000000000000000000000000000
00001145: PUSH1 0x44
00001147: DUP3
00001148: ADD
00001149: MSTORE
0000114a: PUSH1 0x64
0000114c: ADD
0000114d: PUSH2 0x0c63
00001150: JUMP
00001151: JUMPDEST
00001152: PUSH2 0x1159
00001155: PUSH2 0x0958
00001158: JUMP
00001159: JUMPDEST
0000115a: DUP2
0000115b: GT
0000115c: ISZERO
0000115d: PUSH2 0x11a8
00001160: JUMPI
00001161: PUSH1 0x40
00001163: MLOAD
00001164: PUSH3 0x461bcd
00001168: PUSH1 0xe5
0000116a: SHL
0000116b: DUP2
0000116c: MSTORE
0000116d: PUSH1 0x20
0000116f: PUSH1 0x04
00001171: DUP3
00001172: ADD
00001173: MSTORE
00001174: PUSH1 0x14
00001176: PUSH1 0x24
00001178: DUP3
00001179: ADD
0000117a: MSTORE
0000117b: PUSH32 0x496e73756666696369656e7420737572706c7573000000000000000000000000
0000119c: PUSH1 0x44
0000119e: DUP3
0000119f: ADD
000011a0: MSTORE
000011a1: PUSH1 0x64
000011a3: ADD
000011a4: PUSH2 0x0c63
000011a7: JUMP
000011a8: JUMPDEST
000011a9: PUSH1 0x04
000011ab: SLOAD
000011ac: PUSH2 0x11be
000011af: SWAP1
000011b0: PUSH1 0x01
000011b2: PUSH1 0x01
000011b4: PUSH1 0xa0
000011b6: SHL
000011b7: SUB
000011b8: AND
000011b9: DUP3
000011ba: PUSH2 0x192d
000011bd: JUMP
000011be: JUMPDEST
000011bf: PUSH1 0x04
000011c1: SLOAD
000011c2: PUSH1 0x40
000011c4: MLOAD
000011c5: DUP3
000011c6: DUP2
000011c7: MSTORE
000011c8: PUSH1 0x01
000011ca: PUSH1 0x01
000011cc: PUSH1 0xa0
000011ce: SHL
000011cf: SUB
000011d0: SWAP1
000011d1: SWAP2
000011d2: AND
000011d3: SWAP1
000011d4: PUSH32 0x3f3a89ae16464aa5ded41c6a7f375c82002761229c09b70556346c606708eb65
000011f5: SWAP1
000011f6: PUSH1 0x20
000011f8: ADD
000011f9: PUSH1 0x40
000011fb: MLOAD
000011fc: DUP1
000011fd: SWAP2
000011fe: SUB
000011ff: SWAP1
00001200: LOG2
00001201: POP
00001202: JUMP
00001203: JUMPDEST
00001204: PUSH1 0x01
00001206: PUSH1 0x01
00001208: PUSH1 0xa0
0000120a: SHL
0000120b: SUB
0000120c: DUP7
0000120d: AND
0000120e: PUSH15 0x22d473030f116ddee9f6b43ac78ba3
0000121e: XOR
0000121f: DUP6
00001220: NOT
00001221: ISZERO
00001222: OR
00001223: PUSH2 0x1233
00001226: JUMPI
00001227: PUSH4 0x3f68539a
0000122c: PUSH0
0000122d: MSTORE
0000122e: PUSH1 0x04
00001230: PUSH1 0x1c
00001232: REVERT
00001233: JUMPDEST
00001234: PUSH1 0x40
00001236: DUP1
00001237: MLOAD
00001238: DUP1
00001239: DUP3
0000123a: ADD
0000123b: SWAP1
0000123c: SWAP2
0000123d: MSTORE
0000123e: PUSH1 0x1b
00001240: DUP2
00001241: MSTORE
00001242: PUSH32 0x50756e6b2041756374696f6e20537472617465677920546f6b656e0000000000
00001263: PUSH1 0x20
00001265: SWAP1
00001266: SWAP2
00001267: ADD
00001268: MSTORE
00001269: PUSH32 0x8d0cc87bd19c6bbd9646ec05ff02d054dd9ec26b29b96228f6d79ff07ac8339b
0000128a: PUSH32 0xc89efdaa54c0f20c7adf612882df0950f5a951637e0307cdcb4c672f298b8bc6
000012ab: TIMESTAMP
000012ac: DUP7
000012ad: LT
000012ae: ISZERO
000012af: PUSH2 0x12bf
000012b2: JUMPI
000012b3: PUSH4 0x1a15a3cc
000012b8: PUSH0
000012b9: MSTORE
000012ba: PUSH1 0x04
000012bc: PUSH1 0x1c
000012be: REVERT
000012bf: JUMPDEST
000012c0: PUSH1 0x40
000012c2: MLOAD
000012c3: DUP10
000012c4: PUSH1 0x60
000012c6: SHL
000012c7: PUSH1 0x60
000012c9: SHR
000012ca: SWAP10
000012cb: POP
000012cc: DUP9
000012cd: PUSH1 0x60
000012cf: SHL
000012d0: PUSH1 0x60
000012d2: SHR
000012d3: SWAP9
000012d4: POP
000012d5: PUSH6 0x383775081901
000012dc: PUSH1 0x0e
000012de: MSTORE
000012df: DUP10
000012e0: PUSH0
000012e1: MSTORE
000012e2: PUSH1 0x20
000012e4: PUSH1 0x0c
000012e6: KECCAK256
000012e7: DUP1
000012e8: SLOAD
000012e9: PUSH32 0x8b73c3c69bb8fe3d512ecc4cf759cc79239f7b179b0ffacaa9a75d522b39400f
0000130a: DUP4
0000130b: MSTORE
0000130c: DUP5
0000130d: PUSH1 0x20
0000130f: DUP5
00001310: ADD
00001311: MSTORE
00001312: DUP4
00001313: PUSH1 0x40
00001315: DUP5
00001316: ADD
00001317: MSTORE
00001318: CHAINID
00001319: PUSH1 0x60
0000131b: DUP5
0000131c: ADD
0000131d: MSTORE
0000131e: ADDRESS
0000131f: PUSH1 0x80
00001321: DUP5
00001322: ADD
00001323: MSTORE
00001324: PUSH1 0xa0
00001326: DUP4
00001327: KECCAK256
00001328: PUSH1 0x2e
0000132a: MSTORE
0000132b: PUSH32 0x6e71edae12b1b97f4d1f60370fef10105fa2faae0126114a169c64845d6126c9
0000134c: DUP4
0000134d: MSTORE
0000134e: DUP12
0000134f: PUSH1 0x20
00001351: DUP5
00001352: ADD
00001353: MSTORE
00001354: DUP11
00001355: PUSH1 0x40
00001357: DUP5
00001358: ADD
00001359: MSTORE
0000135a: DUP10
0000135b: PUSH1 0x60
0000135d: DUP5
0000135e: ADD
0000135f: MSTORE
00001360: DUP1
00001361: PUSH1 0x80
00001363: DUP5
00001364: ADD
00001365: MSTORE
00001366: DUP9
00001367: PUSH1 0xa0
00001369: DUP5
0000136a: ADD
0000136b: MSTORE
0000136c: PUSH1 0xc0
0000136e: DUP4
0000136f: KECCAK256
00001370: PUSH1 0x4e
00001372: MSTORE
00001373: PUSH1 0x42
00001375: PUSH1 0x2c
00001377: KECCAK256
00001378: PUSH0
00001379: MSTORE
0000137a: DUP8
0000137b: PUSH1 0xff
0000137d: AND
0000137e: PUSH1 0x20
00001380: MSTORE
00001381: DUP7
00001382: PUSH1 0x40
00001384: MSTORE
00001385: DUP6
00001386: PUSH1 0x60
00001388: MSTORE
00001389: PUSH1 0x20
0000138b: DUP1
0000138c: PUSH1 0x80
0000138e: PUSH0
0000138f: PUSH1 0x01
00001391: GAS
00001392: STATICCALL
00001393: DUP13
00001394: RETURNDATASIZE
00001395: MLOAD
00001396: EQ
00001397: PUSH2 0x13a7
0000139a: JUMPI
0000139b: PUSH4 0xddafbaef
000013a0: PUSH0
000013a1: MSTORE
000013a2: PUSH1 0x04
000013a4: PUSH1 0x1c
000013a6: REVERT
000013a7: JUMPDEST
000013a8: ADD
000013a9: SWAP1
000013aa: SSTORE
000013ab: PUSH24 0x7f5e9f200000000000000000000000000000000000000000
000013c4: DUP10
000013c5: OR
000013c6: PUSH1 0x40
000013c8: MSTORE
000013c9: PUSH1 0x34
000013cb: PUSH1 0x2c
000013cd: KECCAK256
000013ce: DUP9
000013cf: SWAP1
000013d0: SSTORE
000013d1: DUP9
000013d2: DUP11
000013d3: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000013f4: PUSH1 0x20
000013f6: PUSH1 0x60
000013f8: DUP6
000013f9: ADD
000013fa: LOG3
000013fb: PUSH1 0x40
000013fd: MSTORE
000013fe: POP
000013ff: POP
00001400: PUSH0
00001401: PUSH1 0x60
00001403: MSTORE
00001404: POP
00001405: POP
00001406: POP
00001407: POP
00001408: POP
00001409: POP
0000140a: POP
0000140b: JUMP
0000140c: JUMPDEST
0000140d: PUSH0
0000140e: PUSH15 0x22d473030f116ddee9f6b43ac78ba2
0000141e: NOT
0000141f: PUSH1 0x01
00001421: PUSH1 0x01
00001423: PUSH1 0xa0
00001425: SHL
00001426: SUB
00001427: DUP4
00001428: AND
00001429: ADD
0000142a: PUSH2 0x1435
0000142d: JUMPI
0000142e: POP
0000142f: PUSH0
00001430: NOT
00001431: PUSH2 0x0952
00001434: JUMP
00001435: JUMPDEST
00001436: POP
00001437: PUSH1 0x20
00001439: MSTORE
0000143a: PUSH4 0x7f5e9f20
0000143f: PUSH1 0x0c
00001441: SWAP1
00001442: DUP2
00001443: MSTORE
00001444: PUSH0
00001445: SWAP2
00001446: SWAP1
00001447: SWAP2
00001448: MSTORE
00001449: PUSH1 0x34
0000144b: SWAP1
0000144c: KECCAK256
0000144d: SLOAD
0000144e: SWAP1
0000144f: JUMP
00001450: JUMPDEST
00001451: PUSH2 0x1458
00001454: PUSH2 0x1676
00001457: JUMP
00001458: JUMPDEST
00001459: PUSH1 0x03
0000145b: DUP1
0000145c: SLOAD
0000145d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001472: NOT
00001473: AND
00001474: PUSH1 0x01
00001476: PUSH1 0x01
00001478: PUSH1 0xa0
0000147a: SHL
0000147b: SUB
0000147c: SWAP3
0000147d: SWAP1
0000147e: SWAP3
0000147f: AND
00001480: SWAP2
00001481: SWAP1
00001482: SWAP2
00001483: OR
00001484: SWAP1
00001485: SSTORE
00001486: JUMP
00001487: JUMPDEST
00001488: PUSH2 0x148f
0000148b: PUSH2 0x1676
0000148e: JUMP
0000148f: JUMPDEST
00001490: PUSH4 0x389a75e1
00001495: PUSH1 0x0c
00001497: MSTORE
00001498: DUP1
00001499: PUSH0
0000149a: MSTORE
0000149b: PUSH1 0x20
0000149d: PUSH1 0x0c
0000149f: KECCAK256
000014a0: DUP1
000014a1: SLOAD
000014a2: TIMESTAMP
000014a3: GT
000014a4: ISZERO
000014a5: PUSH2 0x14b5
000014a8: JUMPI
000014a9: PUSH4 0x6f5e8818
000014ae: PUSH0
000014af: MSTORE
000014b0: PUSH1 0x04
000014b2: PUSH1 0x1c
000014b4: REVERT
000014b5: JUMPDEST
000014b6: PUSH0
000014b7: SWAP1
000014b8: SSTORE
000014b9: PUSH2 0x14c1
000014bc: DUP2
000014bd: PUSH2 0x176a
000014c0: JUMP
000014c1: JUMPDEST
000014c2: POP
000014c3: JUMP
000014c4: JUMPDEST
000014c5: PUSH2 0x14cc
000014c8: PUSH2 0x1676
000014cb: JUMP
000014cc: JUMPDEST
000014cd: DUP1
000014ce: PUSH1 0x60
000014d0: SHL
000014d1: PUSH2 0x14e1
000014d4: JUMPI
000014d5: PUSH4 0x7448fbae
000014da: PUSH0
000014db: MSTORE
000014dc: PUSH1 0x04
000014de: PUSH1 0x1c
000014e0: REVERT
000014e1: JUMPDEST
000014e2: PUSH2 0x14c1
000014e5: DUP2
000014e6: PUSH2 0x176a
000014e9: JUMP
000014ea: JUMPDEST
000014eb: PUSH0
000014ec: DUP2
000014ed: DUP4
000014ee: LT
000014ef: ISZERO
000014f0: PUSH2 0x153b
000014f3: JUMPI
000014f4: PUSH1 0x40
000014f6: MLOAD
000014f7: PUSH3 0x461bcd
000014fb: PUSH1 0xe5
000014fd: SHL
000014fe: DUP2
000014ff: MSTORE
00001500: PUSH1 0x20
00001502: PUSH1 0x04
00001504: DUP3
00001505: ADD
00001506: MSTORE
00001507: PUSH1 0x13
00001509: PUSH1 0x24
0000150b: DUP3
0000150c: ADD
0000150d: MSTORE
0000150e: PUSH32 0x496e73756666696369656e7420737570706c7900000000000000000000000000
0000152f: PUSH1 0x44
00001531: DUP3
00001532: ADD
00001533: MSTORE
00001534: PUSH1 0x64
00001536: ADD
00001537: PUSH2 0x0c63
0000153a: JUMP
0000153b: JUMPDEST
0000153c: PUSH1 0x40
0000153e: DUP1
0000153f: MLOAD
00001540: PUSH1 0xa0
00001542: DUP2
00001543: ADD
00001544: DUP3
00001545: MSTORE
00001546: PUSH1 0x01
00001548: SLOAD
00001549: PUSH1 0x01
0000154b: PUSH1 0x01
0000154d: PUSH1 0x80
0000154f: SHL
00001550: SUB
00001551: DUP1
00001552: DUP3
00001553: AND
00001554: PUSH1 0x60
00001556: DUP5
00001557: ADD
00001558: SWAP1
00001559: DUP2
0000155a: MSTORE
0000155b: PUSH1 0x01
0000155d: PUSH1 0x80
0000155f: SHL
00001560: SWAP3
00001561: DUP4
00001562: SWAP1
00001563: DIV
00001564: DUP3
00001565: AND
00001566: PUSH1 0x80
00001568: DUP6
00001569: ADD
0000156a: MSTORE
0000156b: DUP4
0000156c: MSTORE
0000156d: PUSH1 0x02
0000156f: SLOAD
00001570: DUP1
00001571: DUP3
00001572: AND
00001573: PUSH1 0x20
00001575: DUP6
00001576: ADD
00001577: MSTORE
00001578: SWAP2
00001579: SWAP1
0000157a: SWAP2
0000157b: DIV
0000157c: AND
0000157d: SWAP2
0000157e: DUP2
0000157f: ADD
00001580: SWAP2
00001581: SWAP1
00001582: SWAP2
00001583: MSTORE
00001584: PUSH2 0x158e
00001587: SWAP1
00001588: DUP5
00001589: DUP5
0000158a: PUSH2 0x19ba
0000158d: JUMP
0000158e: JUMPDEST
0000158f: SWAP4
00001590: SWAP3
00001591: POP
00001592: POP
00001593: POP
00001594: JUMP
00001595: JUMPDEST
00001596: DUP3
00001597: MLOAD
00001598: PUSH0
00001599: SWAP1
0000159a: DUP2
0000159b: SWAP1
0000159c: PUSH2 0x15af
0000159f: SWAP1
000015a0: DUP5
000015a1: SWAP1
000015a2: PUSH1 0x01
000015a4: PUSH1 0x01
000015a6: PUSH1 0x80
000015a8: SHL
000015a9: SUB
000015aa: AND
000015ab: PUSH2 0x19f4
000015ae: JUMP
000015af: JUMPDEST
000015b0: SWAP1
000015b1: POP
000015b2: PUSH0
000015b3: PUSH2 0x15bc
000015b6: DUP6
000015b7: DUP1
000015b8: PUSH2 0x19f4
000015bb: JUMP
000015bc: JUMPDEST
000015bd: SWAP1
000015be: POP
000015bf: PUSH0
000015c0: PUSH2 0x15c9
000015c3: DUP3
000015c4: DUP7
000015c5: PUSH2 0x19f4
000015c8: JUMP
000015c9: JUMPDEST
000015ca: SWAP1
000015cb: POP
000015cc: PUSH0
000015cd: PUSH2 0x15d6
000015d0: DUP7
000015d1: DUP1
000015d2: PUSH2 0x19f4
000015d5: JUMP
000015d6: JUMPDEST
000015d7: SWAP1
000015d8: POP
000015d9: PUSH0
000015da: PUSH2 0x15e3
000015dd: DUP9
000015de: DUP4
000015df: PUSH2 0x19f4
000015e2: JUMP
000015e3: JUMPDEST
000015e4: SWAP1
000015e5: POP
000015e6: PUSH0
000015e7: PUSH2 0x15fa
000015ea: DUP9
000015eb: PUSH2 0x15f4
000015ee: DUP2
000015ef: DUP1
000015f0: PUSH2 0x19f4
000015f3: JUMP
000015f4: JUMPDEST
000015f5: SWAP1
000015f6: PUSH2 0x19f4
000015f9: JUMP
000015fa: JUMPDEST
000015fb: SWAP1
000015fc: POP
000015fd: PUSH0
000015fe: PUSH2 0x1610
00001601: PUSH1 0x03
00001603: PUSH8 0x0de0b6b3a7640000
0000160c: PUSH2 0x1d7a
0000160f: JUMP
00001610: JUMPDEST
00001611: SWAP1
00001612: POP
00001613: PUSH0
00001614: PUSH2 0x161d
00001617: DUP4
00001618: DUP4
00001619: PUSH2 0x19f4
0000161c: JUMP
0000161d: JUMPDEST
0000161e: SWAP1
0000161f: POP
00001620: PUSH0
00001621: DUP2
00001622: PUSH2 0x162b
00001625: DUP7
00001626: DUP10
00001627: PUSH2 0x1d50
0000162a: JUMP
0000162b: JUMPDEST
0000162c: PUSH2 0x1635
0000162f: SWAP2
00001630: SWAP1
00001631: PUSH2 0x1d99
00001634: JUMP
00001635: JUMPDEST
00001636: SWAP1
00001637: POP
00001638: PUSH0
00001639: PUSH2 0x1658
0000163c: DUP15
0000163d: PUSH1 0x20
0000163f: ADD
00001640: MLOAD
00001641: PUSH1 0x01
00001643: PUSH1 0x01
00001645: PUSH1 0x80
00001647: SHL
00001648: SUB
00001649: AND
0000164a: DUP4
0000164b: PUSH2 0x19f4
0000164e: SWAP1
0000164f: SWAP2
00001650: SWAP1
00001651: PUSH4 0xffffffff
00001656: AND
00001657: JUMP
00001658: JUMPDEST
00001659: SWAP1
0000165a: POP
0000165b: PUSH2 0x1664
0000165e: DUP2
0000165f: DUP12
00001660: PUSH2 0x1d99
00001663: JUMP
00001664: JUMPDEST
00001665: SWAP15
00001666: SWAP14
00001667: POP
00001668: POP
00001669: POP
0000166a: POP
0000166b: POP
0000166c: POP
0000166d: POP
0000166e: POP
0000166f: POP
00001670: POP
00001671: POP
00001672: POP
00001673: POP
00001674: POP
00001675: JUMP
00001676: JUMPDEST
00001677: PUSH4 0x8b78c6d8
0000167c: NOT
0000167d: SLOAD
0000167e: CALLER
0000167f: EQ
00001680: PUSH2 0x0ce9
00001683: JUMPI
00001684: PUSH4 0x82b42900
00001689: PUSH0
0000168a: MSTORE
0000168b: PUSH1 0x04
0000168d: PUSH1 0x1c
0000168f: REVERT
00001690: JUMPDEST
00001691: PUSH15 0x22d473030f116ddee9f6b43ac78ba2
000016a1: NOT
000016a2: PUSH1 0x01
000016a4: PUSH1 0x01
000016a6: PUSH1 0xa0
000016a8: SHL
000016a9: SUB
000016aa: DUP4
000016ab: AND
000016ac: ADD
000016ad: PUSH2 0x16b5
000016b0: JUMPI
000016b1: POP
000016b2: POP
000016b3: POP
000016b4: JUMP
000016b5: JUMPDEST
000016b6: DUP2
000016b7: PUSH1 0x20
000016b9: MSTORE
000016ba: PUSH4 0x7f5e9f20
000016bf: PUSH1 0x0c
000016c1: MSTORE
000016c2: DUP3
000016c3: PUSH0
000016c4: MSTORE
000016c5: PUSH1 0x34
000016c7: PUSH1 0x0c
000016c9: KECCAK256
000016ca: DUP1
000016cb: SLOAD
000016cc: DUP1
000016cd: NOT
000016ce: ISZERO
000016cf: PUSH2 0x0f05
000016d2: JUMPI
000016d3: DUP1
000016d4: DUP4
000016d5: GT
000016d6: ISZERO
000016d7: PUSH2 0x16e7
000016da: JUMPI
000016db: PUSH4 0x13be252b
000016e0: PUSH0
000016e1: MSTORE
000016e2: PUSH1 0x04
000016e4: PUSH1 0x1c
000016e6: REVERT
000016e7: JUMPDEST
000016e8: SWAP2
000016e9: SWAP1
000016ea: SWAP2
000016eb: SUB
000016ec: SWAP1
000016ed: SSTORE
000016ee: POP
000016ef: POP
000016f0: JUMP
000016f1: JUMPDEST
000016f2: DUP3
000016f3: PUSH1 0x60
000016f5: SHL
000016f6: PUSH4 0x87a211a2
000016fb: DUP2
000016fc: OR
000016fd: PUSH1 0x0c
000016ff: MSTORE
00001700: PUSH1 0x20
00001702: PUSH1 0x0c
00001704: KECCAK256
00001705: DUP1
00001706: SLOAD
00001707: DUP1
00001708: DUP5
00001709: GT
0000170a: ISZERO
0000170b: PUSH2 0x171b
0000170e: JUMPI
0000170f: PUSH4 0xf4d678b8
00001714: PUSH0
00001715: MSTORE
00001716: PUSH1 0x04
00001718: PUSH1 0x1c
0000171a: REVERT
0000171b: JUMPDEST
0000171c: DUP4
0000171d: DUP2
0000171e: SUB
0000171f: DUP3
00001720: SSTORE
00001721: POP
00001722: POP
00001723: DUP3
00001724: PUSH0
00001725: MSTORE
00001726: PUSH1 0x20
00001728: PUSH1 0x0c
0000172a: KECCAK256
0000172b: DUP3
0000172c: DUP2
0000172d: SLOAD
0000172e: ADD
0000172f: DUP2
00001730: SSTORE
00001731: POP
00001732: DUP2
00001733: PUSH1 0x20
00001735: MSTORE
00001736: PUSH1 0x0c
00001738: MLOAD
00001739: PUSH1 0x60
0000173b: SHR
0000173c: DUP2
0000173d: PUSH1 0x60
0000173f: SHR
00001740: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001761: PUSH1 0x20
00001763: DUP1
00001764: LOG3
00001765: POP
00001766: POP
00001767: POP
00001768: POP
00001769: JUMP
0000176a: JUMPDEST
0000176b: PUSH4 0x8b78c6d8
00001770: NOT
00001771: DUP1
00001772: SLOAD
00001773: PUSH1 0x01
00001775: PUSH1 0x01
00001777: PUSH1 0xa0
00001779: SHL
0000177a: SUB
0000177b: SWAP1
0000177c: SWAP3
0000177d: AND
0000177e: SWAP2
0000177f: DUP3
00001780: SWAP1
00001781: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000017a2: PUSH0
000017a3: DUP1
000017a4: LOG3
000017a5: SSTORE
000017a6: JUMP
000017a7: JUMPDEST
000017a8: PUSH0
000017a9: PUSH11 0x115eec47f6cf7e35000000
000017b5: PUSH2 0x17be
000017b8: DUP4
000017b9: DUP6
000017ba: PUSH2 0x1d99
000017bd: JUMP
000017be: JUMPDEST
000017bf: GT
000017c0: ISZERO
000017c1: PUSH2 0x180c
000017c4: JUMPI
000017c5: PUSH1 0x40
000017c7: MLOAD
000017c8: PUSH3 0x461bcd
000017cc: PUSH1 0xe5
000017ce: SHL
000017cf: DUP2
000017d0: MSTORE
000017d1: PUSH1 0x20
000017d3: PUSH1 0x04
000017d5: DUP3
000017d6: ADD
000017d7: MSTORE
000017d8: PUSH1 0x12
000017da: PUSH1 0x24
000017dc: DUP3
000017dd: ADD
000017de: MSTORE
000017df: PUSH32 0x4d617820737570706c7920726561636865640000000000000000000000000000
00001800: PUSH1 0x44
00001802: DUP3
00001803: ADD
00001804: MSTORE
00001805: PUSH1 0x64
00001807: ADD
00001808: PUSH2 0x0c63
0000180b: JUMP
0000180c: JUMPDEST
0000180d: PUSH1 0x40
0000180f: DUP1
00001810: MLOAD
00001811: PUSH1 0xa0
00001813: DUP2
00001814: ADD
00001815: DUP3
00001816: MSTORE
00001817: PUSH1 0x01
00001819: SLOAD
0000181a: PUSH1 0x01
0000181c: PUSH1 0x01
0000181e: PUSH1 0x80
00001820: SHL
00001821: SUB
00001822: DUP1
00001823: DUP3
00001824: AND
00001825: PUSH1 0x60
00001827: DUP5
00001828: ADD
00001829: SWAP1
0000182a: DUP2
0000182b: MSTORE
0000182c: PUSH1 0x01
0000182e: PUSH1 0x80
00001830: SHL
00001831: SWAP3
00001832: DUP4
00001833: SWAP1
00001834: DIV
00001835: DUP3
00001836: AND
00001837: PUSH1 0x80
00001839: DUP6
0000183a: ADD
0000183b: MSTORE
0000183c: DUP4
0000183d: MSTORE
0000183e: PUSH1 0x02
00001840: SLOAD
00001841: DUP1
00001842: DUP3
00001843: AND
00001844: PUSH1 0x20
00001846: DUP6
00001847: ADD
00001848: MSTORE
00001849: SWAP2
0000184a: SWAP1
0000184b: SWAP2
0000184c: DIV
0000184d: AND
0000184e: SWAP2
0000184f: DUP2
00001850: ADD
00001851: SWAP2
00001852: SWAP1
00001853: SWAP2
00001854: MSTORE
00001855: PUSH2 0x158e
00001858: SWAP1
00001859: DUP5
0000185a: DUP5
0000185b: PUSH2 0x1a23
0000185e: JUMP
0000185f: JUMPDEST
00001860: PUSH0
00001861: PUSH0
00001862: PUSH2 0x186b
00001865: DUP5
00001866: DUP5
00001867: PUSH2 0x17a7
0000186a: JUMP
0000186b: JUMPDEST
0000186c: SWAP1
0000186d: POP
0000186e: PUSH0
0000186f: PUSH2 0x1881
00001872: PUSH2 0x187b
00001875: DUP6
00001876: DUP8
00001877: PUSH2 0x1d99
0000187a: JUMP
0000187b: JUMPDEST
0000187c: DUP6
0000187d: PUSH2 0x14ea
00001880: JUMP
00001881: JUMPDEST
00001882: SWAP1
00001883: POP
00001884: PUSH2 0x2710
00001887: PUSH2 0x07d0
0000188a: PUSH2 0x1893
0000188d: DUP4
0000188e: DUP6
0000188f: PUSH2 0x1d50
00001892: JUMP
00001893: JUMPDEST
00001894: PUSH2 0x189d
00001897: SWAP2
00001898: SWAP1
00001899: PUSH2 0x1d63
0000189c: JUMP
0000189d: JUMPDEST
0000189e: PUSH2 0x18a7
000018a1: SWAP2
000018a2: SWAP1
000018a3: PUSH2 0x1d7a
000018a6: JUMP
000018a7: JUMPDEST
000018a8: SWAP6
000018a9: SWAP5
000018aa: POP
000018ab: POP
000018ac: POP
000018ad: POP
000018ae: POP
000018af: JUMP
000018b0: JUMPDEST
000018b1: PUSH9 0x05345cdf77eb68f44c
000018bb: SLOAD
000018bc: DUP2
000018bd: DUP2
000018be: ADD
000018bf: DUP2
000018c0: DUP2
000018c1: LT
000018c2: ISZERO
000018c3: PUSH2 0x18d3
000018c6: JUMPI
000018c7: PUSH4 0xe5cfe957
000018cc: PUSH0
000018cd: MSTORE
000018ce: PUSH1 0x04
000018d0: PUSH1 0x1c
000018d2: REVERT
000018d3: JUMPDEST
000018d4: DUP1
000018d5: PUSH9 0x05345cdf77eb68f44c
000018df: SSTORE
000018e0: POP
000018e1: POP
000018e2: PUSH4 0x87a211a2
000018e7: PUSH1 0x0c
000018e9: MSTORE
000018ea: DUP2
000018eb: PUSH0
000018ec: MSTORE
000018ed: PUSH1 0x20
000018ef: PUSH1 0x0c
000018f1: KECCAK256
000018f2: DUP2
000018f3: DUP2
000018f4: SLOAD
000018f5: ADD
000018f6: DUP2
000018f7: SSTORE
000018f8: POP
000018f9: DUP1
000018fa: PUSH1 0x20
000018fc: MSTORE
000018fd: PUSH1 0x0c
000018ff: MLOAD
00001900: PUSH1 0x60
00001902: SHR
00001903: PUSH0
00001904: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001925: PUSH1 0x20
00001927: DUP1
00001928: LOG3
00001929: JUMPDEST
0000192a: POP
0000192b: POP
0000192c: JUMP
0000192d: JUMPDEST
0000192e: PUSH0
0000192f: CODESIZE
00001930: PUSH0
00001931: CODESIZE
00001932: DUP5
00001933: DUP7
00001934: GAS
00001935: CALL
00001936: PUSH2 0x1929
00001939: JUMPI
0000193a: PUSH4 0xb12d13eb
0000193f: PUSH0
00001940: MSTORE
00001941: PUSH1 0x04
00001943: PUSH1 0x1c
00001945: REVERT
00001946: JUMPDEST
00001947: PUSH4 0x87a211a2
0000194c: PUSH1 0x0c
0000194e: MSTORE
0000194f: DUP2
00001950: PUSH0
00001951: MSTORE
00001952: PUSH1 0x20
00001954: PUSH1 0x0c
00001956: KECCAK256
00001957: DUP1
00001958: SLOAD
00001959: DUP1
0000195a: DUP4
0000195b: GT
0000195c: ISZERO
0000195d: PUSH2 0x196d
00001960: JUMPI
00001961: PUSH4 0xf4d678b8
00001966: PUSH0
00001967: MSTORE
00001968: PUSH1 0x04
0000196a: PUSH1 0x1c
0000196c: REVERT
0000196d: JUMPDEST
0000196e: DUP3
0000196f: SWAP1
00001970: SUB
00001971: SWAP1
00001972: SSTORE
00001973: PUSH9 0x05345cdf77eb68f44c
0000197d: DUP1
0000197e: SLOAD
0000197f: DUP3
00001980: SWAP1
00001981: SUB
00001982: SWAP1
00001983: SSTORE
00001984: PUSH0
00001985: DUP2
00001986: DUP2
00001987: MSTORE
00001988: PUSH1 0x01
0000198a: PUSH1 0x01
0000198c: PUSH1 0xa0
0000198e: SHL
0000198f: SUB
00001990: DUP4
00001991: AND
00001992: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000019b3: PUSH1 0x20
000019b5: DUP4
000019b6: LOG3
000019b7: POP
000019b8: POP
000019b9: JUMP
000019ba: JUMPDEST
000019bb: DUP3
000019bc: MLOAD
000019bd: PUSH0
000019be: SWAP1
000019bf: DUP2
000019c0: SWAP1
000019c1: PUSH2 0x19cb
000019c4: SWAP1
000019c5: DUP6
000019c6: DUP6
000019c7: PUSH2 0x1595
000019ca: JUMP
000019cb: JUMPDEST
000019cc: SWAP1
000019cd: POP
000019ce: PUSH2 0x18a7
000019d1: DUP6
000019d2: PUSH1 0x40
000019d4: ADD
000019d5: MLOAD
000019d6: PUSH1 0x01
000019d8: PUSH1 0x01
000019da: PUSH1 0x80
000019dc: SHL
000019dd: SUB
000019de: AND
000019df: PUSH8 0x0de0b6b3a7640000
000019e8: PUSH2 0x19f1
000019eb: SWAP2
000019ec: SWAP1
000019ed: PUSH2 0x1d50
000019f0: JUMP
000019f1: JUMPDEST
000019f2: DUP3
000019f3: SWAP1
000019f4: JUMPDEST
000019f5: PUSH0
000019f6: DUP2
000019f7: PUSH0
000019f8: NOT
000019f9: DIV
000019fa: DUP4
000019fb: GT
000019fc: ISZERO
000019fd: PUSH2 0x1a13
00001a00: JUMPI
00001a01: DUP2
00001a02: ISZERO
00001a03: PUSH2 0x1a13
00001a06: JUMPI
00001a07: PUSH4 0xbac65e5b
00001a0c: PUSH0
00001a0d: MSTORE
00001a0e: PUSH1 0x04
00001a10: PUSH1 0x1c
00001a12: REVERT
00001a13: JUMPDEST
00001a14: POP
00001a15: PUSH8 0x0de0b6b3a7640000
00001a1e: SWAP2
00001a1f: MUL
00001a20: DIV
00001a21: SWAP1
00001a22: JUMP
00001a23: JUMPDEST
00001a24: DUP3
00001a25: MLOAD
00001a26: PUSH0
00001a27: SWAP1
00001a28: DUP2
00001a29: SWAP1
00001a2a: PUSH2 0x1a34
00001a2d: SWAP1
00001a2e: DUP6
00001a2f: DUP6
00001a30: PUSH2 0x1a61
00001a33: JUMP
00001a34: JUMPDEST
00001a35: SWAP1
00001a36: POP
00001a37: PUSH2 0x18a7
00001a3a: DUP6
00001a3b: PUSH1 0x20
00001a3d: ADD
00001a3e: MLOAD
00001a3f: PUSH1 0x01
00001a41: PUSH1 0x01
00001a43: PUSH1 0x80
00001a45: SHL
00001a46: SUB
00001a47: AND
00001a48: PUSH8 0x0de0b6b3a7640000
00001a51: PUSH2 0x1a5a
00001a54: SWAP2
00001a55: SWAP1
00001a56: PUSH2 0x1d99
00001a59: JUMP
00001a5a: JUMPDEST
00001a5b: DUP3
00001a5c: SWAP1
00001a5d: PUSH2 0x1b24
00001a60: JUMP
00001a61: JUMPDEST
00001a62: DUP3
00001a63: MLOAD
00001a64: PUSH0
00001a65: SWAP1
00001a66: DUP2
00001a67: SWAP1
00001a68: PUSH2 0x1a7b
00001a6b: SWAP1
00001a6c: DUP5
00001a6d: SWAP1
00001a6e: PUSH1 0x01
00001a70: PUSH1 0x01
00001a72: PUSH1 0x80
00001a74: SHL
00001a75: SUB
00001a76: AND
00001a77: PUSH2 0x1b24
00001a7a: JUMP
00001a7b: JUMPDEST
00001a7c: SWAP1
00001a7d: POP
00001a7e: PUSH0
00001a7f: PUSH2 0x1a88
00001a82: DUP6
00001a83: DUP1
00001a84: PUSH2 0x1b24
00001a87: JUMP
00001a88: JUMPDEST
00001a89: SWAP1
00001a8a: POP
00001a8b: PUSH0
00001a8c: PUSH2 0x1a95
00001a8f: DUP3
00001a90: DUP7
00001a91: PUSH2 0x1b24
00001a94: JUMP
00001a95: JUMPDEST
00001a96: SWAP1
00001a97: POP
00001a98: PUSH0
00001a99: PUSH2 0x1aa2
00001a9c: DUP7
00001a9d: DUP1
00001a9e: PUSH2 0x1b24
00001aa1: JUMP
00001aa2: JUMPDEST
00001aa3: SWAP1
00001aa4: POP
00001aa5: PUSH0
00001aa6: PUSH2 0x1aaf
00001aa9: DUP9
00001aaa: DUP4
00001aab: PUSH2 0x1b24
00001aae: JUMP
00001aaf: JUMPDEST
00001ab0: SWAP1
00001ab1: POP
00001ab2: PUSH0
00001ab3: PUSH2 0x1ac6
00001ab6: DUP9
00001ab7: PUSH2 0x1ac0
00001aba: DUP2
00001abb: DUP1
00001abc: PUSH2 0x1b24
00001abf: JUMP
00001ac0: JUMPDEST
00001ac1: SWAP1
00001ac2: PUSH2 0x1b24
00001ac5: JUMP
00001ac6: JUMPDEST
00001ac7: SWAP1
00001ac8: POP
00001ac9: PUSH0
00001aca: PUSH2 0x1adc
00001acd: PUSH1 0x03
00001acf: PUSH8 0x0de0b6b3a7640000
00001ad8: PUSH2 0x1d7a
00001adb: JUMP
00001adc: JUMPDEST
00001add: SWAP1
00001ade: POP
00001adf: PUSH0
00001ae0: PUSH2 0x1ae9
00001ae3: DUP4
00001ae4: DUP4
00001ae5: PUSH2 0x1b24
00001ae8: JUMP
00001ae9: JUMPDEST
00001aea: SWAP1
00001aeb: POP
00001aec: PUSH0
00001aed: DUP2
00001aee: PUSH2 0x1af7
00001af1: DUP7
00001af2: DUP10
00001af3: PUSH2 0x1d99
00001af6: JUMP
00001af7: JUMPDEST
00001af8: PUSH2 0x1b01
00001afb: SWAP2
00001afc: SWAP1
00001afd: PUSH2 0x1d99
00001b00: JUMP
00001b01: JUMPDEST
00001b02: SWAP1
00001b03: POP
00001b04: PUSH0
00001b05: PUSH2 0x1658
00001b08: DUP15
00001b09: PUSH1 0x20
00001b0b: ADD
00001b0c: MLOAD
00001b0d: PUSH1 0x01
00001b0f: PUSH1 0x01
00001b11: PUSH1 0x80
00001b13: SHL
00001b14: SUB
00001b15: AND
00001b16: DUP4
00001b17: PUSH2 0x1b24
00001b1a: SWAP1
00001b1b: SWAP2
00001b1c: SWAP1
00001b1d: PUSH4 0xffffffff
00001b22: AND
00001b23: JUMP
00001b24: JUMPDEST
00001b25: DUP2
00001b26: DUP2
00001b27: MUL
00001b28: DUP2
00001b29: DUP2
00001b2a: DIV
00001b2b: DUP4
00001b2c: EQ
00001b2d: PUSH2 0x1b43
00001b30: JUMPI
00001b31: DUP2
00001b32: ISZERO
00001b33: PUSH2 0x1b43
00001b36: JUMPI
00001b37: PUSH4 0xbac65e5b
00001b3c: PUSH0
00001b3d: MSTORE
00001b3e: PUSH1 0x04
00001b40: PUSH1 0x1c
00001b42: REVERT
00001b43: JUMPDEST
00001b44: PUSH8 0x0de0b6b3a7640000
00001b4d: DUP1
00001b4e: DUP3
00001b4f: MOD
00001b50: ISZERO
00001b51: ISZERO
00001b52: SWAP2
00001b53: DIV
00001b54: ADD
00001b55: SWAP3
00001b56: SWAP2
00001b57: POP
00001b58: POP
00001b59: JUMP
00001b5a: JUMPDEST
00001b5b: PUSH1 0x20
00001b5d: DUP2
00001b5e: MSTORE
00001b5f: PUSH0
00001b60: DUP3
00001b61: MLOAD
00001b62: DUP1
00001b63: PUSH1 0x20
00001b65: DUP5
00001b66: ADD
00001b67: MSTORE
00001b68: DUP1
00001b69: PUSH1 0x20
00001b6b: DUP6
00001b6c: ADD
00001b6d: PUSH1 0x40
00001b6f: DUP6
00001b70: ADD
00001b71: MCOPY
00001b72: PUSH0
00001b73: PUSH1 0x40
00001b75: DUP3
00001b76: DUP6
00001b77: ADD
00001b78: ADD
00001b79: MSTORE
00001b7a: PUSH1 0x40
00001b7c: PUSH1 0x1f
00001b7e: NOT
00001b7f: PUSH1 0x1f
00001b81: DUP4
00001b82: ADD
00001b83: AND
00001b84: DUP5
00001b85: ADD
00001b86: ADD
00001b87: SWAP2
00001b88: POP
00001b89: POP
00001b8a: SWAP3
00001b8b: SWAP2
00001b8c: POP
00001b8d: POP
00001b8e: JUMP
00001b8f: JUMPDEST
00001b90: DUP1
00001b91: CALLDATALOAD
00001b92: PUSH1 0x01
00001b94: PUSH1 0x01
00001b96: PUSH1 0xa0
00001b98: SHL
00001b99: SUB
00001b9a: DUP2
00001b9b: AND
00001b9c: DUP2
00001b9d: EQ
00001b9e: PUSH2 0x1ba5
00001ba1: JUMPI
00001ba2: PUSH0
00001ba3: PUSH0
00001ba4: REVERT
00001ba5: JUMPDEST
00001ba6: SWAP2
00001ba7: SWAP1
00001ba8: POP
00001ba9: JUMP
00001baa: JUMPDEST
00001bab: PUSH0
00001bac: PUSH0
00001bad: PUSH1 0x40
00001baf: DUP4
00001bb0: DUP6
00001bb1: SUB
00001bb2: SLT
00001bb3: ISZERO
00001bb4: PUSH2 0x1bbb
00001bb7: JUMPI
00001bb8: PUSH0
00001bb9: PUSH0
00001bba: REVERT
00001bbb: JUMPDEST
00001bbc: PUSH2 0x1bc4
00001bbf: DUP4
00001bc0: PUSH2 0x1b8f
00001bc3: JUMP
00001bc4: JUMPDEST
00001bc5: SWAP5
00001bc6: PUSH1 0x20
00001bc8: SWAP4
00001bc9: SWAP1
00001bca: SWAP4
00001bcb: ADD
00001bcc: CALLDATALOAD
00001bcd: SWAP4
00001bce: POP
00001bcf: POP
00001bd0: POP
00001bd1: JUMP
00001bd2: JUMPDEST
00001bd3: PUSH0
00001bd4: PUSH0
00001bd5: PUSH0
00001bd6: PUSH1 0x60
00001bd8: DUP5
00001bd9: DUP7
00001bda: SUB
00001bdb: SLT
00001bdc: ISZERO
00001bdd: PUSH2 0x1be4
00001be0: JUMPI
00001be1: PUSH0
00001be2: PUSH0
00001be3: REVERT
00001be4: JUMPDEST
00001be5: PUSH2 0x1bed
00001be8: DUP5
00001be9: PUSH2 0x1b8f
00001bec: JUMP
00001bed: JUMPDEST
00001bee: SWAP3
00001bef: POP
00001bf0: PUSH2 0x1bfb
00001bf3: PUSH1 0x20
00001bf5: DUP6
00001bf6: ADD
00001bf7: PUSH2 0x1b8f
00001bfa: JUMP
00001bfb: JUMPDEST
00001bfc: SWAP3
00001bfd: SWAP6
00001bfe: SWAP3
00001bff: SWAP5
00001c00: POP
00001c01: POP
00001c02: POP
00001c03: PUSH1 0x40
00001c05: SWAP2
00001c06: SWAP1
00001c07: SWAP2
00001c08: ADD
00001c09: CALLDATALOAD
00001c0a: SWAP1
00001c0b: JUMP
00001c0c: JUMPDEST
00001c0d: PUSH0
00001c0e: PUSH1 0x20
00001c10: DUP3
00001c11: DUP5
00001c12: SUB
00001c13: SLT
00001c14: ISZERO
00001c15: PUSH2 0x1c1c
00001c18: JUMPI
00001c19: PUSH0
00001c1a: PUSH0
00001c1b: REVERT
00001c1c: JUMPDEST
00001c1d: PUSH2 0x158e
00001c20: DUP3
00001c21: PUSH2 0x1b8f
00001c24: JUMP
00001c25: JUMPDEST
00001c26: PUSH0
00001c27: PUSH1 0x20
00001c29: DUP3
00001c2a: DUP5
00001c2b: SUB
00001c2c: SLT
00001c2d: ISZERO
00001c2e: PUSH2 0x1c35
00001c31: JUMPI
00001c32: PUSH0
00001c33: PUSH0
00001c34: REVERT
00001c35: JUMPDEST
00001c36: POP
00001c37: CALLDATALOAD
00001c38: SWAP2
00001c39: SWAP1
00001c3a: POP
00001c3b: JUMP
00001c3c: JUMPDEST
00001c3d: PUSH0
00001c3e: PUSH0
00001c3f: PUSH1 0x40
00001c41: DUP4
00001c42: DUP6
00001c43: SUB
00001c44: SLT
00001c45: ISZERO
00001c46: PUSH2 0x1c4d
00001c49: JUMPI
00001c4a: PUSH0
00001c4b: PUSH0
00001c4c: REVERT
00001c4d: JUMPDEST
00001c4e: DUP3
00001c4f: CALLDATALOAD
00001c50: SWAP2
00001c51: POP
00001c52: PUSH2 0x1c5d
00001c55: PUSH1 0x20
00001c57: DUP5
00001c58: ADD
00001c59: PUSH2 0x1b8f
00001c5c: JUMP
00001c5d: JUMPDEST
00001c5e: SWAP1
00001c5f: POP
00001c60: SWAP3
00001c61: POP
00001c62: SWAP3
00001c63: SWAP1
00001c64: POP
00001c65: JUMP
00001c66: JUMPDEST
00001c67: PUSH0
00001c68: PUSH0
00001c69: PUSH0
00001c6a: PUSH0
00001c6b: PUSH1 0x80
00001c6d: DUP6
00001c6e: DUP8
00001c6f: SUB
00001c70: SLT
00001c71: ISZERO
00001c72: PUSH2 0x1c79
00001c75: JUMPI
00001c76: PUSH0
00001c77: PUSH0
00001c78: REVERT
00001c79: JUMPDEST
00001c7a: DUP5
00001c7b: CALLDATALOAD
00001c7c: SWAP4
00001c7d: POP
00001c7e: PUSH2 0x1c89
00001c81: PUSH1 0x20
00001c83: DUP7
00001c84: ADD
00001c85: PUSH2 0x1b8f
00001c88: JUMP
00001c89: JUMPDEST
00001c8a: SWAP3
00001c8b: POP
00001c8c: PUSH2 0x1c97
00001c8f: PUSH1 0x40
00001c91: DUP7
00001c92: ADD
00001c93: PUSH2 0x1b8f
00001c96: JUMP
00001c97: JUMPDEST
00001c98: SWAP4
00001c99: SWAP7
00001c9a: SWAP3
00001c9b: SWAP6
00001c9c: POP
00001c9d: SWAP3
00001c9e: SWAP4
00001c9f: PUSH1 0x60
00001ca1: ADD
00001ca2: CALLDATALOAD
00001ca3: SWAP3
00001ca4: POP
00001ca5: POP
00001ca6: JUMP
00001ca7: JUMPDEST
00001ca8: PUSH0
00001ca9: PUSH0
00001caa: PUSH0
00001cab: PUSH0
00001cac: PUSH0
00001cad: PUSH0
00001cae: PUSH0
00001caf: PUSH1 0xe0
00001cb1: DUP9
00001cb2: DUP11
00001cb3: SUB
00001cb4: SLT
00001cb5: ISZERO
00001cb6: PUSH2 0x1cbd
00001cb9: JUMPI
00001cba: PUSH0
00001cbb: PUSH0
00001cbc: REVERT
00001cbd: JUMPDEST
00001cbe: PUSH2 0x1cc6
00001cc1: DUP9
00001cc2: PUSH2 0x1b8f
00001cc5: JUMP
00001cc6: JUMPDEST
00001cc7: SWAP7
00001cc8: POP
00001cc9: PUSH2 0x1cd4
00001ccc: PUSH1 0x20
00001cce: DUP10
00001ccf: ADD
00001cd0: PUSH2 0x1b8f
00001cd3: JUMP
00001cd4: JUMPDEST
00001cd5: SWAP6
00001cd6: POP
00001cd7: PUSH1 0x40
00001cd9: DUP9
00001cda: ADD
00001cdb: CALLDATALOAD
00001cdc: SWAP5
00001cdd: POP
00001cde: PUSH1 0x60
00001ce0: DUP9
00001ce1: ADD
00001ce2: CALLDATALOAD
00001ce3: SWAP4
00001ce4: POP
00001ce5: PUSH1 0x80
00001ce7: DUP9
00001ce8: ADD
00001ce9: CALLDATALOAD
00001cea: PUSH1 0xff
00001cec: DUP2
00001ced: AND
00001cee: DUP2
00001cef: EQ
00001cf0: PUSH2 0x1cf7
00001cf3: JUMPI
00001cf4: PUSH0
00001cf5: PUSH0
00001cf6: REVERT
00001cf7: JUMPDEST
00001cf8: SWAP7
00001cf9: SWAP10
00001cfa: SWAP6
00001cfb: SWAP9
00001cfc: POP
00001cfd: SWAP4
00001cfe: SWAP7
00001cff: SWAP3
00001d00: SWAP6
00001d01: SWAP5
00001d02: PUSH1 0xa0
00001d04: DUP5
00001d05: ADD
00001d06: CALLDATALOAD
00001d07: SWAP5
00001d08: POP
00001d09: PUSH1 0xc0
00001d0b: SWAP1
00001d0c: SWAP4
00001d0d: ADD
00001d0e: CALLDATALOAD
00001d0f: SWAP3
00001d10: SWAP2
00001d11: POP
00001d12: POP
00001d13: JUMP
00001d14: JUMPDEST
00001d15: PUSH0
00001d16: PUSH0
00001d17: PUSH1 0x40
00001d19: DUP4
00001d1a: DUP6
00001d1b: SUB
00001d1c: SLT
00001d1d: ISZERO
00001d1e: PUSH2 0x1d25
00001d21: JUMPI
00001d22: PUSH0
00001d23: PUSH0
00001d24: REVERT
00001d25: JUMPDEST
00001d26: PUSH2 0x1d2e
00001d29: DUP4
00001d2a: PUSH2 0x1b8f
00001d2d: JUMP
00001d2e: JUMPDEST
00001d2f: SWAP2
00001d30: POP
00001d31: PUSH2 0x1c5d
00001d34: PUSH1 0x20
00001d36: DUP5
00001d37: ADD
00001d38: PUSH2 0x1b8f
00001d3b: JUMP
00001d3c: JUMPDEST
00001d3d: PUSH4 0x4e487b71
00001d42: PUSH1 0xe0
00001d44: SHL
00001d45: PUSH0
00001d46: MSTORE
00001d47: PUSH1 0x11
00001d49: PUSH1 0x04
00001d4b: MSTORE
00001d4c: PUSH1 0x24
00001d4e: PUSH0
00001d4f: REVERT
00001d50: JUMPDEST
00001d51: DUP2
00001d52: DUP2
00001d53: SUB
00001d54: DUP2
00001d55: DUP2
00001d56: GT
00001d57: ISZERO
00001d58: PUSH2 0x0952
00001d5b: JUMPI
00001d5c: PUSH2 0x0952
00001d5f: PUSH2 0x1d3c
00001d62: JUMP
00001d63: JUMPDEST
00001d64: DUP1
00001d65: DUP3
00001d66: MUL
00001d67: DUP2
00001d68: ISZERO
00001d69: DUP3
00001d6a: DUP3
00001d6b: DIV
00001d6c: DUP5
00001d6d: EQ
00001d6e: OR
00001d6f: PUSH2 0x0952
00001d72: JUMPI
00001d73: PUSH2 0x0952
00001d76: PUSH2 0x1d3c
00001d79: JUMP
00001d7a: JUMPDEST
00001d7b: PUSH0
00001d7c: DUP3
00001d7d: PUSH2 0x1d94
00001d80: JUMPI
00001d81: PUSH4 0x4e487b71
00001d86: PUSH1 0xe0
00001d88: SHL
00001d89: PUSH0
00001d8a: MSTORE
00001d8b: PUSH1 0x12
00001d8d: PUSH1 0x04
00001d8f: MSTORE
00001d90: PUSH1 0x24
00001d92: PUSH0
00001d93: REVERT
00001d94: JUMPDEST
00001d95: POP
00001d96: DIV
00001d97: SWAP1
00001d98: JUMP
00001d99: JUMPDEST
00001d9a: DUP1
00001d9b: DUP3
00001d9c: ADD
00001d9d: DUP1
00001d9e: DUP3
00001d9f: GT
00001da0: ISZERO
00001da1: PUSH2 0x0952
00001da4: JUMPI
00001da5: PUSH2 0x0952
00001da8: PUSH2 0x1d3c
00001dab: JUMP
00001dac: INVALID
00001dad: LOG2
00001dae: PUSH5 0x6970667358
00001db4: UNKNOWN(0x22)
00001db5: SLT
00001db6: KECCAK256
00001db7: UNKNOWN(0xBD)
00001db8: JUMPDEST
00001db9: UNKNOWN(0xC0)
00001dba: CALLDATACOPY
00001dbb: COINBASE
00001dbc: UNKNOWN(0xD5)
00001dbd: SHR
00001dbe: UNKNOWN(0xB1)
00001dbf: UNKNOWN(0x0E)
00001dc0: UNKNOWN(0x25)
00001dc1: UNKNOWN(0xB2)
00001dc2: UNKNOWN(0xE0)
00001dc3: SWAP6
00001dc4: UNKNOWN(0xA9)
00001dc5: SWAP5
00001dc6: SWAP13
00001dc7: INVALID
00001dc8: LOG2
00001dc9: DUP10
00001dca: UNKNOWN(0xC3)
00001dcb: UNKNOWN(0xAD)
00001dcc: UNKNOWN(0xA9)
00001dcd: UNKNOWN(0xD9)
00001dce: LOG4
00001dcf: UNKNOWN(0xD3)
00001dd0: NUMBER
00001dd1: PUSH11 0x86598dc35c64736f6c6343
00001ddd: STOP
00001dde: ADDMOD
00001ddf: CLZ
00001de0: STOP
00001de1: CALLER