Analysis Run

[codex:540438] OpenAI Codex v0.77.0 (research preview)
[codex:540438] --------
[codex:540438] workdir: /tmp/codex-multi-tl8hf9u4
[codex:540438] model: gpt-5.2-codex
[codex:540438] provider: openai
[codex:540438] approval: never
[codex:540438] sandbox: read-only
[codex:540438] reasoning effort: xhigh
[codex:540438] reasoning summaries: auto
[codex:540438] session id: 019b6d16-dc80-70d3-b737-b2289c22ff81
[codex:540438] --------
[codex:540438] user
[codex:540438] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:540438] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:540438] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:540438] 
[codex:540438] Scope rules:
[codex:540438] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:540438] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:540438] 
[codex:540438] Output MUST be valid JSON matching the provided schema.
[codex:540438] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:540438] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:540438] 
[codex:540438] Output constraints (IMPORTANT):
[codex:540438] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:540438] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:540438] mcp startup: no servers
[codex:540438] 
[codex:540438] thinking
[codex:540438] **Reading the bundle file**
[codex:540438] exec
[codex:540438] /bin/bash -lc ls in /tmp/codex-multi-tl8hf9u4 succeeded in 5ms:
[codex:540438] AUDIT_BUNDLE.txt
[codex:540438] codex-output-schema.json
[codex:540438] contracts
[codex:540438] 
[codex:540438] thinking
[codex:540438] **Checking AUDIT_BUNDLE.txt**
[codex:540438] exec
[codex:540438] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-tl8hf9u4 succeeded in 5ms:
[codex:540438] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:540438] 
[codex:540438] ================================================================================
[codex:540438] FILE: contracts/Users/daixu/KINE/Codes/kine-protocol/contracts/EIP20Interface.sol
[codex:540438] ================================================================================
[codex:540438] pragma solidity ^0.5.16;
[codex:540438] 
[codex:540438] /**
[codex:540438] Copyright 2020 Compound Labs, Inc.
[codex:540438] Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
[codex:540438] 1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
[codex:540438] 2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
[codex:540438] 3. Neither the name of the copyright holder nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission.
[codex:540438] THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
[codex:540438]  */
[codex:540438] 
[codex:540438] /**
[codex:540438]  * @title ERC 20 Token Standard Interface
[codex:540438]  *  https://eips.ethereum.org/EIPS/eip-20
[codex:540438]  */
[codex:540438] 
[codex:540438] thinking
[codex:540438] **Ensuring complete file reading**
[codex:540438] exec
[codex:540438] /bin/bash -lc 'rg -n "''^FILE:" AUDIT_BUNDLE.txt' in /tmp/codex-multi-tl8hf9u4 succeeded in 6ms:
[codex:540438] 4:FILE: contracts/Users/daixu/KINE/Codes/kine-protocol/contracts/EIP20Interface.sol
[codex:540438] 79:FILE: contracts/Users/daixu/KINE/Codes/kine-protocol/contracts/EIP20NonStandardInterface.sol
[codex:540438] 162:FILE: contracts/Users/daixu/KINE/Codes/kine-protocol/contracts/ErrorReporter.sol
[codex:540438] 230:FILE: contracts/Users/daixu/KINE/Codes/kine-protocol/contracts/Exponential.sol
[codex:540438] 543:FILE: contracts/Users/daixu/KINE/Codes/kine-protocol/contracts/KErc20.sol
[codex:540438] 693:FILE: contracts/Users/daixu/KINE/Codes/kine-protocol/contracts/KErc20Delegate.sol
[codex:540438] 753:FILE: contracts/Users/daixu/KINE/Codes/kine-protocol/contracts/KToken.sol
[codex:540438] 1220:FILE: contracts/Users/daixu/KINE/Codes/kine-protocol/contracts/KTokenInterfaces.sol
[codex:540438] 1404:FILE: contracts/Users/daixu/KINE/Codes/kine-protocol/contracts/KineControllerInterface.sol
[codex:540438] 1507:FILE: contracts/Users/daixu/KINE/Codes/kine-protocol/contracts/KineSafeMath.sol
[codex:540438] 
[codex:540438] thinking
[codex:540438] **Reviewing key Solidity files**
[codex:540438] exec
[codex:540438] /bin/bash -lc "sed -n '230,542p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-tl8hf9u4 succeeded in 5ms:
[codex:540438] FILE: contracts/Users/daixu/KINE/Codes/kine-protocol/contracts/Exponential.sol
[codex:540438] ================================================================================
[codex:540438] pragma solidity ^0.5.16;
[codex:540438] 
[codex:540438] import "./KineSafeMath.sol";
[codex:540438] 
[codex:540438] /**
[codex:540438] Copyright 2020 Compound Labs, Inc.
[codex:540438] Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
[codex:540438] 1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
[codex:540438] 2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
[codex:540438] 3. Neither the name of the copyright holder nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission.
[codex:540438] THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
[codex:540438]  */
[codex:540438] 
[codex:540438] /**
[codex:540438] * Original work from Compound: https://github.com/compound-finance/compound-protocol/blob/master/contracts/Comptroller.sol
[codex:540438] * Modified to work in the Kine system.
[codex:540438] * Main modifications:
[codex:540438] *   1. use SafeMath instead of CarefulMath to fail fast and loudly
[codex:540438] 
[codex:540438] thinking
[codex:540438] **Reviewing KErc20.sol from line 543**
[codex:540438] exec
[codex:540438] /bin/bash -lc "sed -n '543,692p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-tl8hf9u4 succeeded in 5ms:
[codex:540438] FILE: contracts/Users/daixu/KINE/Codes/kine-protocol/contracts/KErc20.sol
[codex:540438] ================================================================================
[codex:540438] pragma solidity ^0.5.16;
[codex:540438] 
[codex:540438] import "./KToken.sol";
[codex:540438] 
[codex:540438] /**
[codex:540438] Copyright 2020 Compound Labs, Inc.
[codex:540438] Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
[codex:540438] 1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
[codex:540438] 2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
[codex:540438] 3. Neither the name of the copyright holder nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission.
[codex:540438] THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
[codex:540438]  */
[codex:540438] 
[codex:540438] /**
[codex:540438] * Original work from Compound: https://github.com/compound-finance/compound-protocol/blob/master/contracts/CErc20.sol
[codex:540438] * Modified to work in the Kine system.
[codex:540438] * Main modifications:
[codex:540438] *   1. removed Comp token related logics.
[codex:540438] 
[codex:540438] thinking
[codex:540438] **Preparing next KErc20Delegate step**
[codex:540438] exec
[codex:540438] /bin/bash -lc "sed -n '693,752p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-tl8hf9u4 succeeded in 6ms:
[codex:540438] FILE: contracts/Users/daixu/KINE/Codes/kine-protocol/contracts/KErc20Delegate.sol
[codex:540438] ================================================================================
[codex:540438] pragma solidity ^0.5.16;
[codex:540438] 
[codex:540438] import "./KErc20.sol";
[codex:540438] 
[codex:540438] /**
[codex:540438] Copyright 2020 Compound Labs, Inc.
[codex:540438] Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
[codex:540438] 1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
[codex:540438] 2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
[codex:540438] 3. Neither the name of the copyright holder nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission.
[codex:540438] THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
[codex:540438]  */
[codex:540438] 
[codex:540438] /**
[codex:540438] * Original work from Compound: https://github.com/compound-finance/compound-protocol/blob/master/contracts/CErc20Delegate.sol
[codex:540438] */
[codex:540438] 
[codex:540438] /**
[codex:540438] 
[codex:540438] thinking
[codex:540438] **Advancing to next token**
[codex:540438] exec
[codex:540438] /bin/bash -lc "sed -n '753,1219p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-tl8hf9u4 succeeded in 5ms:
[codex:540438] FILE: contracts/Users/daixu/KINE/Codes/kine-protocol/contracts/KToken.sol
[codex:540438] ================================================================================
[codex:540438] pragma solidity ^0.5.16;
[codex:540438] 
[codex:540438] import "./KineControllerInterface.sol";
[codex:540438] import "./KTokenInterfaces.sol";
[codex:540438] import "./ErrorReporter.sol";
[codex:540438] import "./Exponential.sol";
[codex:540438] import "./EIP20Interface.sol";
[codex:540438] import "./EIP20NonStandardInterface.sol";
[codex:540438] 
[codex:540438] /**
[codex:540438] Copyright 2020 Compound Labs, Inc.
[codex:540438] Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
[codex:540438] 1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
[codex:540438] 2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
[codex:540438] 3. Neither the name of the copyright holder nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission.
[codex:540438] THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
[codex:540438]  */
[codex:540438] 
[codex:540438] 
[codex:540438] thinking
[codex:540438] **Analyzing KToken security and upgradeability**
[codex:540438] 
[codex:540438] I'm carefully reviewing KToken's core mint, redeem, and transfer logic along with its upgradeability pattern, focusing on reentrancy guards, external calls to controllers, and admin access controls. I notice the usual proxy patterns with potential misdeployment risks if admin isn't set, and subtle implications from underlying tokens with fee-on-transfer behavior, but no direct vulnerabilities jump out. The nonReentrant guard seems well placed, and controller calls are cautiously handled, though some edge cases with external calls and initialization are worth keeping in mind.
[codex:540438] exec
[codex:540438] /bin/bash -lc "sed -n '1219,1506p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-tl8hf9u4 succeeded in 8ms:
[codex:540438] ================================================================================
[codex:540438] FILE: contracts/Users/daixu/KINE/Codes/kine-protocol/contracts/KTokenInterfaces.sol
[codex:540438] ================================================================================
[codex:540438] pragma solidity ^0.5.16;
[codex:540438] 
[codex:540438] import "./KineControllerInterface.sol";
[codex:540438] 
[codex:540438] contract KTokenStorage {
[codex:540438]     /**
[codex:540438]      * @dev Guard variable for re-entrancy checks
[codex:540438]      */
[codex:540438]     bool internal _notEntered;
[codex:540438] 
[codex:540438]     /**
[codex:540438]     * @notice flag that kToken has been initialized;
[codex:540438]     */
[codex:540438]     bool public initialized;
[codex:540438] 
[codex:540438]     /**
[codex:540438]      * @notice EIP-20 token name for this token
[codex:540438] 
[codex:540438] thinking
[codex:540438] **Analyzing contract upgradeability and access controls**
[codex:540438] exec
[codex:540438] /bin/bash -lc "sed -n '1,229p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-tl8hf9u4 succeeded in 6ms:
[codex:540438] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:540438] 
[codex:540438] ================================================================================
[codex:540438] FILE: contracts/Users/daixu/KINE/Codes/kine-protocol/contracts/EIP20Interface.sol
[codex:540438] ================================================================================
[codex:540438] pragma solidity ^0.5.16;
[codex:540438] 
[codex:540438] /**
[codex:540438] Copyright 2020 Compound Labs, Inc.
[codex:540438] Redistribution and use in source and binary forms, with or without modification, are permitted provided that the following conditions are met:
[codex:540438] 1. Redistributions of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
[codex:540438] 2. Redistributions in binary form must reproduce the above copyright notice, this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
[codex:540438] 3. Neither the name of the copyright holder nor the names of its contributors may be used to endorse or promote products derived from this software without specific prior written permission.
[codex:540438] THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
[codex:540438]  */
[codex:540438] 
[codex:540438] /**
[codex:540438]  * @title ERC 20 Token Standard Interface
[codex:540438]  *  https://eips.ethereum.org/EIPS/eip-20
[codex:540438]  */
[codex:540438] 
[codex:540438] thinking
[codex:540438] **Analyzing upgradeability and reentrancy risks**
[codex:540438] 
[codex:540438] I'm carefully reviewing storage layouts, admin protections, and function guards in proxy and delegate contracts to spot upgradeability or reentrancy vulnerabilities. I’m also considering token transfer logic and external calls like delegatecall to ensure no overlooked issues remain.
[codex:540438] exec
[codex:540438] /bin/bash -lc "rg -n \"delegatecall|callcode|delegate\" contracts/Users/daixu/KINE/Codes/kine-protocol/contracts -g '*.sol'" in /tmp/codex-multi-tl8hf9u4 succeeded in 9ms:
[codex:540438] contracts/Users/daixu/KINE/Codes/kine-protocol/contracts/KTokenInterfaces.sol:170:     * @notice Called by the delegator on a delegate to initialize it for duty
[codex:540438] contracts/Users/daixu/KINE/Codes/kine-protocol/contracts/KTokenInterfaces.sol:177:     * @notice Called by the delegator on a delegate to forfeit its responsibility
[codex:540438] contracts/Users/daixu/KINE/Codes/kine-protocol/contracts/KErc20Delegate.sol:20: * @notice KTokens which wrap an EIP-20 underlying and are delegated to
[codex:540438] contracts/Users/daixu/KINE/Codes/kine-protocol/contracts/KErc20Delegate.sol:25:     * @notice Construct an empty delegate
[codex:540438] contracts/Users/daixu/KINE/Codes/kine-protocol/contracts/KErc20Delegate.sol:30:     * @notice Called by the delegator on a delegate to initialize it for duty
[codex:540438] contracts/Users/daixu/KINE/Codes/kine-protocol/contracts/KErc20Delegate.sol:46:     * @notice Called by the delegator on a delegate to forfeit its responsibility
[codex:540438] 
[codex:540438] thinking
[codex:540438] **Preparing final JSON output**
[codex:540438] codex
[codex:540438] {"no_findings":true,"summary":"No exploitable issues found in the first-party contracts within the provided bundle. Core flows use nonReentrant guards and safe transfer wrappers; remaining risk depends on external controller/oracle and any delegator implementation not included.","findings":[]}
[codex:540438] tokens used
[codex:540438] 33,593
[codex:540438] {"no_findings":true,"summary":"No exploitable issues found in the first-party contracts within the provided bundle. Core flows use nonReentrant guards and safe transfer wrappers; remaining risk depends on external controller/oracle and any delegator implementation not included.","findings":[]}

{
    "codex": {
        "ran_at": "2025-12-30T02:32:14.836696+00:00",
        "returncode": 0
    },
    "summary": "No exploitable issues found in the first-party contracts within the provided bundle. Core flows use nonReentrant guards and safe transfer wrappers; remaining risk depends on external controller/oracle and any delegator implementation not included.",
    "raw_final": {
        "summary": "No exploitable issues found in the first-party contracts within the provided bundle. Core flows use nonReentrant guards and safe transfer wrappers; remaining risk depends on external controller/oracle and any delegator implementation not included.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH2 0x0010
0000000b: JUMPI
0000000c: PUSH1 0x00
0000000e: DUP1
0000000f: REVERT
00000010: JUMPDEST
00000011: POP
00000012: PUSH1 0x04
00000014: CALLDATASIZE
00000015: LT
00000016: PUSH2 0x01c4
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x83de424e
00000026: GT
00000027: PUSH2 0x00f9
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xc37f68e2
00000031: GT
00000032: PUSH2 0x0097
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xe9c714f2
0000003c: GT
0000003d: PUSH2 0x0071
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xe9c714f2
00000047: EQ
00000048: PUSH2 0x06b8
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xf6d2ee86
00000052: EQ
00000053: PUSH2 0x06c0
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xf77c4791
0000005d: EQ
0000005e: PUSH2 0x07fe
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xf851a440
00000068: EQ
00000069: PUSH2 0x0806
0000006c: JUMPI
0000006d: PUSH2 0x01c4
00000070: JUMP
00000071: JUMPDEST
00000072: DUP1
00000073: PUSH4 0xc37f68e2
00000078: EQ
00000079: PUSH2 0x062e
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0xdb006a75
00000083: EQ
00000084: PUSH2 0x066d
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xdd62ed3e
0000008e: EQ
0000008f: PUSH2 0x068a
00000092: JUMPI
00000093: PUSH2 0x01c4
00000096: JUMP
00000097: JUMPDEST
00000098: DUP1
00000099: PUSH4 0xa0712d68
0000009e: GT
0000009f: PUSH2 0x00d3
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xa0712d68
000000a9: EQ
000000aa: PUSH2 0x0589
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xa9059cbb
000000b4: EQ
000000b5: PUSH2 0x05a6
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xb2a02ff1
000000bf: EQ
000000c0: PUSH2 0x05d2
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xb71d1a0c
000000ca: EQ
000000cb: PUSH2 0x0608
000000ce: JUMPI
000000cf: PUSH2 0x01c4
000000d2: JUMP
000000d3: JUMPDEST
000000d4: DUP1
000000d5: PUSH4 0x83de424e
000000da: EQ
000000db: PUSH2 0x0414
000000de: JUMPI
000000df: DUP1
000000e0: PUSH4 0x8420ce99
000000e5: EQ
000000e6: PUSH2 0x043a
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0x95d89b41
000000f0: EQ
000000f1: PUSH2 0x0581
000000f4: JUMPI
000000f5: PUSH2 0x01c4
000000f8: JUMP
000000f9: JUMPDEST
000000fa: DUP1
000000fb: PUSH4 0x29d9109c
00000100: GT
00000101: PUSH2 0x0166
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0x56e67728
0000010b: GT
0000010c: PUSH2 0x0140
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0x56e67728
00000116: EQ
00000117: PUSH2 0x033a
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0x5c60da1b
00000121: EQ
00000122: PUSH2 0x03de
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0x6f307dc3
0000012c: EQ
0000012d: PUSH2 0x03e6
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0x70a08231
00000137: EQ
00000138: PUSH2 0x03ee
0000013b: JUMPI
0000013c: PUSH2 0x01c4
0000013f: JUMP
00000140: JUMPDEST
00000141: DUP1
00000142: PUSH4 0x29d9109c
00000147: EQ
00000148: PUSH2 0x030c
0000014b: JUMPI
0000014c: DUP1
0000014d: PUSH4 0x313ce567
00000152: EQ
00000153: PUSH2 0x0314
00000156: JUMPI
00000157: DUP1
00000158: PUSH4 0x3b1d21a2
0000015d: EQ
0000015e: PUSH2 0x0332
00000161: JUMPI
00000162: PUSH2 0x01c4
00000165: JUMP
00000166: JUMPDEST
00000167: DUP1
00000168: PUSH4 0x158ef93e
0000016d: GT
0000016e: PUSH2 0x01a2
00000171: JUMPI
00000172: DUP1
00000173: PUSH4 0x158ef93e
00000178: EQ
00000179: PUSH2 0x0290
0000017c: JUMPI
0000017d: DUP1
0000017e: PUSH4 0x18160ddd
00000183: EQ
00000184: PUSH2 0x0298
00000187: JUMPI
00000188: DUP1
00000189: PUSH4 0x23b872dd
0000018e: EQ
0000018f: PUSH2 0x02b2
00000192: JUMPI
00000193: DUP1
00000194: PUSH4 0x26782247
00000199: EQ
0000019a: PUSH2 0x02e8
0000019d: JUMPI
0000019e: PUSH2 0x01c4
000001a1: JUMP
000001a2: JUMPDEST
000001a3: DUP1
000001a4: PUSH4 0x06fdde03
000001a9: EQ
000001aa: PUSH2 0x01c9
000001ad: JUMPI
000001ae: DUP1
000001af: PUSH4 0x095ea7b3
000001b4: EQ
000001b5: PUSH2 0x0246
000001b8: JUMPI
000001b9: DUP1
000001ba: PUSH4 0x153ab505
000001bf: EQ
000001c0: PUSH2 0x0286
000001c3: JUMPI
000001c4: JUMPDEST
000001c5: PUSH1 0x00
000001c7: DUP1
000001c8: REVERT
000001c9: JUMPDEST
000001ca: PUSH2 0x01d1
000001cd: PUSH2 0x080e
000001d0: JUMP
000001d1: JUMPDEST
000001d2: PUSH1 0x40
000001d4: DUP1
000001d5: MLOAD
000001d6: PUSH1 0x20
000001d8: DUP1
000001d9: DUP3
000001da: MSTORE
000001db: DUP4
000001dc: MLOAD
000001dd: DUP2
000001de: DUP4
000001df: ADD
000001e0: MSTORE
000001e1: DUP4
000001e2: MLOAD
000001e3: SWAP2
000001e4: SWAP3
000001e5: DUP4
000001e6: SWAP3
000001e7: SWAP1
000001e8: DUP4
000001e9: ADD
000001ea: SWAP2
000001eb: DUP6
000001ec: ADD
000001ed: SWAP1
000001ee: DUP1
000001ef: DUP4
000001f0: DUP4
000001f1: PUSH1 0x00
000001f3: JUMPDEST
000001f4: DUP4
000001f5: DUP2
000001f6: LT
000001f7: ISZERO
000001f8: PUSH2 0x020b
000001fb: JUMPI
000001fc: DUP2
000001fd: DUP2
000001fe: ADD
000001ff: MLOAD
00000200: DUP4
00000201: DUP3
00000202: ADD
00000203: MSTORE
00000204: PUSH1 0x20
00000206: ADD
00000207: PUSH2 0x01f3
0000020a: JUMP
0000020b: JUMPDEST
0000020c: POP
0000020d: POP
0000020e: POP
0000020f: POP
00000210: SWAP1
00000211: POP
00000212: SWAP1
00000213: DUP2
00000214: ADD
00000215: SWAP1
00000216: PUSH1 0x1f
00000218: AND
00000219: DUP1
0000021a: ISZERO
0000021b: PUSH2 0x0238
0000021e: JUMPI
0000021f: DUP1
00000220: DUP3
00000221: SUB
00000222: DUP1
00000223: MLOAD
00000224: PUSH1 0x01
00000226: DUP4
00000227: PUSH1 0x20
00000229: SUB
0000022a: PUSH2 0x0100
0000022d: EXP
0000022e: SUB
0000022f: NOT
00000230: AND
00000231: DUP2
00000232: MSTORE
00000233: PUSH1 0x20
00000235: ADD
00000236: SWAP2
00000237: POP
00000238: JUMPDEST
00000239: POP
0000023a: SWAP3
0000023b: POP
0000023c: POP
0000023d: POP
0000023e: PUSH1 0x40
00000240: MLOAD
00000241: DUP1
00000242: SWAP2
00000243: SUB
00000244: SWAP1
00000245: RETURN
00000246: JUMPDEST
00000247: PUSH2 0x0272
0000024a: PUSH1 0x04
0000024c: DUP1
0000024d: CALLDATASIZE
0000024e: SUB
0000024f: PUSH1 0x40
00000251: DUP2
00000252: LT
00000253: ISZERO
00000254: PUSH2 0x025c
00000257: JUMPI
00000258: PUSH1 0x00
0000025a: DUP1
0000025b: REVERT
0000025c: JUMPDEST
0000025d: POP
0000025e: PUSH1 0x01
00000260: PUSH1 0x01
00000262: PUSH1 0xa0
00000264: SHL
00000265: SUB
00000266: DUP2
00000267: CALLDATALOAD
00000268: AND
00000269: SWAP1
0000026a: PUSH1 0x20
0000026c: ADD
0000026d: CALLDATALOAD
0000026e: PUSH2 0x089b
00000271: JUMP
00000272: JUMPDEST
00000273: PUSH1 0x40
00000275: DUP1
00000276: MLOAD
00000277: SWAP2
00000278: ISZERO
00000279: ISZERO
0000027a: DUP3
0000027b: MSTORE
0000027c: MLOAD
0000027d: SWAP1
0000027e: DUP2
0000027f: SWAP1
00000280: SUB
00000281: PUSH1 0x20
00000283: ADD
00000284: SWAP1
00000285: RETURN
00000286: JUMPDEST
00000287: PUSH2 0x028e
0000028a: PUSH2 0x0906
0000028d: JUMP
0000028e: JUMPDEST
0000028f: STOP
00000290: JUMPDEST
00000291: PUSH2 0x0272
00000294: PUSH2 0x0956
00000297: JUMP
00000298: JUMPDEST
00000299: PUSH2 0x02a0
0000029c: PUSH2 0x0964
0000029f: JUMP
000002a0: JUMPDEST
000002a1: PUSH1 0x40
000002a3: DUP1
000002a4: MLOAD
000002a5: SWAP2
000002a6: DUP3
000002a7: MSTORE
000002a8: MLOAD
000002a9: SWAP1
000002aa: DUP2
000002ab: SWAP1
000002ac: SUB
000002ad: PUSH1 0x20
000002af: ADD
000002b0: SWAP1
000002b1: RETURN
000002b2: JUMPDEST
000002b3: PUSH2 0x0272
000002b6: PUSH1 0x04
000002b8: DUP1
000002b9: CALLDATASIZE
000002ba: SUB
000002bb: PUSH1 0x60
000002bd: DUP2
000002be: LT
000002bf: ISZERO
000002c0: PUSH2 0x02c8
000002c3: JUMPI
000002c4: PUSH1 0x00
000002c6: DUP1
000002c7: REVERT
000002c8: JUMPDEST
000002c9: POP
000002ca: PUSH1 0x01
000002cc: PUSH1 0x01
000002ce: PUSH1 0xa0
000002d0: SHL
000002d1: SUB
000002d2: DUP2
000002d3: CALLDATALOAD
000002d4: DUP2
000002d5: AND
000002d6: SWAP2
000002d7: PUSH1 0x20
000002d9: DUP2
000002da: ADD
000002db: CALLDATALOAD
000002dc: SWAP1
000002dd: SWAP2
000002de: AND
000002df: SWAP1
000002e0: PUSH1 0x40
000002e2: ADD
000002e3: CALLDATALOAD
000002e4: PUSH2 0x096a
000002e7: JUMP
000002e8: JUMPDEST
000002e9: PUSH2 0x02f0
000002ec: PUSH2 0x09dc
000002ef: JUMP
000002f0: JUMPDEST
000002f1: PUSH1 0x40
000002f3: DUP1
000002f4: MLOAD
000002f5: PUSH1 0x01
000002f7: PUSH1 0x01
000002f9: PUSH1 0xa0
000002fb: SHL
000002fc: SUB
000002fd: SWAP1
000002fe: SWAP3
000002ff: AND
00000300: DUP3
00000301: MSTORE
00000302: MLOAD
00000303: SWAP1
00000304: DUP2
00000305: SWAP1
00000306: SUB
00000307: PUSH1 0x20
00000309: ADD
0000030a: SWAP1
0000030b: RETURN
0000030c: JUMPDEST
0000030d: PUSH2 0x0272
00000310: PUSH2 0x09eb
00000313: JUMP
00000314: JUMPDEST
00000315: PUSH2 0x031c
00000318: PUSH2 0x09f0
0000031b: JUMP
0000031c: JUMPDEST
0000031d: PUSH1 0x40
0000031f: DUP1
00000320: MLOAD
00000321: PUSH1 0xff
00000323: SWAP1
00000324: SWAP3
00000325: AND
00000326: DUP3
00000327: MSTORE
00000328: MLOAD
00000329: SWAP1
0000032a: DUP2
0000032b: SWAP1
0000032c: SUB
0000032d: PUSH1 0x20
0000032f: ADD
00000330: SWAP1
00000331: RETURN
00000332: JUMPDEST
00000333: PUSH2 0x02a0
00000336: PUSH2 0x09f9
00000339: JUMP
0000033a: JUMPDEST
0000033b: PUSH2 0x028e
0000033e: PUSH1 0x04
00000340: DUP1
00000341: CALLDATASIZE
00000342: SUB
00000343: PUSH1 0x20
00000345: DUP2
00000346: LT
00000347: ISZERO
00000348: PUSH2 0x0350
0000034b: JUMPI
0000034c: PUSH1 0x00
0000034e: DUP1
0000034f: REVERT
00000350: JUMPDEST
00000351: DUP2
00000352: ADD
00000353: SWAP1
00000354: PUSH1 0x20
00000356: DUP2
00000357: ADD
00000358: DUP2
00000359: CALLDATALOAD
0000035a: PUSH1 0x01
0000035c: PUSH1 0x20
0000035e: SHL
0000035f: DUP2
00000360: GT
00000361: ISZERO
00000362: PUSH2 0x036a
00000365: JUMPI
00000366: PUSH1 0x00
00000368: DUP1
00000369: REVERT
0000036a: JUMPDEST
0000036b: DUP3
0000036c: ADD
0000036d: DUP4
0000036e: PUSH1 0x20
00000370: DUP3
00000371: ADD
00000372: GT
00000373: ISZERO
00000374: PUSH2 0x037c
00000377: JUMPI
00000378: PUSH1 0x00
0000037a: DUP1
0000037b: REVERT
0000037c: JUMPDEST
0000037d: DUP1
0000037e: CALLDATALOAD
0000037f: SWAP1
00000380: PUSH1 0x20
00000382: ADD
00000383: SWAP2
00000384: DUP5
00000385: PUSH1 0x01
00000387: DUP4
00000388: MUL
00000389: DUP5
0000038a: ADD
0000038b: GT
0000038c: PUSH1 0x01
0000038e: PUSH1 0x20
00000390: SHL
00000391: DUP4
00000392: GT
00000393: OR
00000394: ISZERO
00000395: PUSH2 0x039d
00000398: JUMPI
00000399: PUSH1 0x00
0000039b: DUP1
0000039c: REVERT
0000039d: JUMPDEST
0000039e: SWAP2
0000039f: SWAP1
000003a0: DUP1
000003a1: DUP1
000003a2: PUSH1 0x1f
000003a4: ADD
000003a5: PUSH1 0x20
000003a7: DUP1
000003a8: SWAP2
000003a9: DIV
000003aa: MUL
000003ab: PUSH1 0x20
000003ad: ADD
000003ae: PUSH1 0x40
000003b0: MLOAD
000003b1: SWAP1
000003b2: DUP2
000003b3: ADD
000003b4: PUSH1 0x40
000003b6: MSTORE
000003b7: DUP1
000003b8: SWAP4
000003b9: SWAP3
000003ba: SWAP2
000003bb: SWAP1
000003bc: DUP2
000003bd: DUP2
000003be: MSTORE
000003bf: PUSH1 0x20
000003c1: ADD
000003c2: DUP4
000003c3: DUP4
000003c4: DUP1
000003c5: DUP3
000003c6: DUP5
000003c7: CALLDATACOPY
000003c8: PUSH1 0x00
000003ca: SWAP3
000003cb: ADD
000003cc: SWAP2
000003cd: SWAP1
000003ce: SWAP2
000003cf: MSTORE
000003d0: POP
000003d1: SWAP3
000003d2: SWAP6
000003d3: POP
000003d4: PUSH2 0x0a09
000003d7: SWAP5
000003d8: POP
000003d9: POP
000003da: POP
000003db: POP
000003dc: POP
000003dd: JUMP
000003de: JUMPDEST
000003df: PUSH2 0x02f0
000003e2: PUSH2 0x0a5a
000003e5: JUMP
000003e6: JUMPDEST
000003e7: PUSH2 0x02f0
000003ea: PUSH2 0x0a69
000003ed: JUMP
000003ee: JUMPDEST
000003ef: PUSH2 0x02a0
000003f2: PUSH1 0x04
000003f4: DUP1
000003f5: CALLDATASIZE
000003f6: SUB
000003f7: PUSH1 0x20
000003f9: DUP2
000003fa: LT
000003fb: ISZERO
000003fc: PUSH2 0x0404
000003ff: JUMPI
00000400: PUSH1 0x00
00000402: DUP1
00000403: REVERT
00000404: JUMPDEST
00000405: POP
00000406: CALLDATALOAD
00000407: PUSH1 0x01
00000409: PUSH1 0x01
0000040b: PUSH1 0xa0
0000040d: SHL
0000040e: SUB
0000040f: AND
00000410: PUSH2 0x0a78
00000413: JUMP
00000414: JUMPDEST
00000415: PUSH2 0x028e
00000418: PUSH1 0x04
0000041a: DUP1
0000041b: CALLDATASIZE
0000041c: SUB
0000041d: PUSH1 0x20
0000041f: DUP2
00000420: LT
00000421: ISZERO
00000422: PUSH2 0x042a
00000425: JUMPI
00000426: PUSH1 0x00
00000428: DUP1
00000429: REVERT
0000042a: JUMPDEST
0000042b: POP
0000042c: CALLDATALOAD
0000042d: PUSH1 0x01
0000042f: PUSH1 0x01
00000431: PUSH1 0xa0
00000433: SHL
00000434: SUB
00000435: AND
00000436: PUSH2 0x0a93
00000439: JUMP
0000043a: JUMPDEST
0000043b: PUSH2 0x028e
0000043e: PUSH1 0x04
00000440: DUP1
00000441: CALLDATASIZE
00000442: SUB
00000443: PUSH1 0xa0
00000445: DUP2
00000446: LT
00000447: ISZERO
00000448: PUSH2 0x0450
0000044b: JUMPI
0000044c: PUSH1 0x00
0000044e: DUP1
0000044f: REVERT
00000450: JUMPDEST
00000451: PUSH1 0x01
00000453: PUSH1 0x01
00000455: PUSH1 0xa0
00000457: SHL
00000458: SUB
00000459: DUP3
0000045a: CALLDATALOAD
0000045b: DUP2
0000045c: AND
0000045d: SWAP3
0000045e: PUSH1 0x20
00000460: DUP2
00000461: ADD
00000462: CALLDATALOAD
00000463: SWAP1
00000464: SWAP2
00000465: AND
00000466: SWAP2
00000467: DUP2
00000468: ADD
00000469: SWAP1
0000046a: PUSH1 0x60
0000046c: DUP2
0000046d: ADD
0000046e: PUSH1 0x40
00000470: DUP3
00000471: ADD
00000472: CALLDATALOAD
00000473: PUSH1 0x01
00000475: PUSH1 0x20
00000477: SHL
00000478: DUP2
00000479: GT
0000047a: ISZERO
0000047b: PUSH2 0x0483
0000047e: JUMPI
0000047f: PUSH1 0x00
00000481: DUP1
00000482: REVERT
00000483: JUMPDEST
00000484: DUP3
00000485: ADD
00000486: DUP4
00000487: PUSH1 0x20
00000489: DUP3
0000048a: ADD
0000048b: GT
0000048c: ISZERO
0000048d: PUSH2 0x0495
00000490: JUMPI
00000491: PUSH1 0x00
00000493: DUP1
00000494: REVERT
00000495: JUMPDEST
00000496: DUP1
00000497: CALLDATALOAD
00000498: SWAP1
00000499: PUSH1 0x20
0000049b: ADD
0000049c: SWAP2
0000049d: DUP5
0000049e: PUSH1 0x01
000004a0: DUP4
000004a1: MUL
000004a2: DUP5
000004a3: ADD
000004a4: GT
000004a5: PUSH1 0x01
000004a7: PUSH1 0x20
000004a9: SHL
000004aa: DUP4
000004ab: GT
000004ac: OR
000004ad: ISZERO
000004ae: PUSH2 0x04b6
000004b1: JUMPI
000004b2: PUSH1 0x00
000004b4: DUP1
000004b5: REVERT
000004b6: JUMPDEST
000004b7: SWAP2
000004b8: SWAP1
000004b9: DUP1
000004ba: DUP1
000004bb: PUSH1 0x1f
000004bd: ADD
000004be: PUSH1 0x20
000004c0: DUP1
000004c1: SWAP2
000004c2: DIV
000004c3: MUL
000004c4: PUSH1 0x20
000004c6: ADD
000004c7: PUSH1 0x40
000004c9: MLOAD
000004ca: SWAP1
000004cb: DUP2
000004cc: ADD
000004cd: PUSH1 0x40
000004cf: MSTORE
000004d0: DUP1
000004d1: SWAP4
000004d2: SWAP3
000004d3: SWAP2
000004d4: SWAP1
000004d5: DUP2
000004d6: DUP2
000004d7: MSTORE
000004d8: PUSH1 0x20
000004da: ADD
000004db: DUP4
000004dc: DUP4
000004dd: DUP1
000004de: DUP3
000004df: DUP5
000004e0: CALLDATACOPY
000004e1: PUSH1 0x00
000004e3: SWAP3
000004e4: ADD
000004e5: SWAP2
000004e6: SWAP1
000004e7: SWAP2
000004e8: MSTORE
000004e9: POP
000004ea: SWAP3
000004eb: SWAP6
000004ec: SWAP5
000004ed: SWAP4
000004ee: PUSH1 0x20
000004f0: DUP2
000004f1: ADD
000004f2: SWAP4
000004f3: POP
000004f4: CALLDATALOAD
000004f5: SWAP2
000004f6: POP
000004f7: POP
000004f8: PUSH1 0x01
000004fa: PUSH1 0x20
000004fc: SHL
000004fd: DUP2
000004fe: GT
000004ff: ISZERO
00000500: PUSH2 0x0508
00000503: JUMPI
00000504: PUSH1 0x00
00000506: DUP1
00000507: REVERT
00000508: JUMPDEST
00000509: DUP3
0000050a: ADD
0000050b: DUP4
0000050c: PUSH1 0x20
0000050e: DUP3
0000050f: ADD
00000510: GT
00000511: ISZERO
00000512: PUSH2 0x051a
00000515: JUMPI
00000516: PUSH1 0x00
00000518: DUP1
00000519: REVERT
0000051a: JUMPDEST
0000051b: DUP1
0000051c: CALLDATALOAD
0000051d: SWAP1
0000051e: PUSH1 0x20
00000520: ADD
00000521: SWAP2
00000522: DUP5
00000523: PUSH1 0x01
00000525: DUP4
00000526: MUL
00000527: DUP5
00000528: ADD
00000529: GT
0000052a: PUSH1 0x01
0000052c: PUSH1 0x20
0000052e: SHL
0000052f: DUP4
00000530: GT
00000531: OR
00000532: ISZERO
00000533: PUSH2 0x053b
00000536: JUMPI
00000537: PUSH1 0x00
00000539: DUP1
0000053a: REVERT
0000053b: JUMPDEST
0000053c: SWAP2
0000053d: SWAP1
0000053e: DUP1
0000053f: DUP1
00000540: PUSH1 0x1f
00000542: ADD
00000543: PUSH1 0x20
00000545: DUP1
00000546: SWAP2
00000547: DIV
00000548: MUL
00000549: PUSH1 0x20
0000054b: ADD
0000054c: PUSH1 0x40
0000054e: MLOAD
0000054f: SWAP1
00000550: DUP2
00000551: ADD
00000552: PUSH1 0x40
00000554: MSTORE
00000555: DUP1
00000556: SWAP4
00000557: SWAP3
00000558: SWAP2
00000559: SWAP1
0000055a: DUP2
0000055b: DUP2
0000055c: MSTORE
0000055d: PUSH1 0x20
0000055f: ADD
00000560: DUP4
00000561: DUP4
00000562: DUP1
00000563: DUP3
00000564: DUP5
00000565: CALLDATACOPY
00000566: PUSH1 0x00
00000568: SWAP3
00000569: ADD
0000056a: SWAP2
0000056b: SWAP1
0000056c: SWAP2
0000056d: MSTORE
0000056e: POP
0000056f: SWAP3
00000570: SWAP6
00000571: POP
00000572: POP
00000573: POP
00000574: SWAP1
00000575: CALLDATALOAD
00000576: PUSH1 0xff
00000578: AND
00000579: SWAP2
0000057a: POP
0000057b: PUSH2 0x0c05
0000057e: SWAP1
0000057f: POP
00000580: JUMP
00000581: JUMPDEST
00000582: PUSH2 0x01d1
00000585: PUSH2 0x0ca0
00000588: JUMP
00000589: JUMPDEST
0000058a: PUSH2 0x02a0
0000058d: PUSH1 0x04
0000058f: DUP1
00000590: CALLDATASIZE
00000591: SUB
00000592: PUSH1 0x20
00000594: DUP2
00000595: LT
00000596: ISZERO
00000597: PUSH2 0x059f
0000059a: JUMPI
0000059b: PUSH1 0x00
0000059d: DUP1
0000059e: REVERT
0000059f: JUMPDEST
000005a0: POP
000005a1: CALLDATALOAD
000005a2: PUSH2 0x0cf8
000005a5: JUMP
000005a6: JUMPDEST
000005a7: PUSH2 0x0272
000005aa: PUSH1 0x04
000005ac: DUP1
000005ad: CALLDATASIZE
000005ae: SUB
000005af: PUSH1 0x40
000005b1: DUP2
000005b2: LT
000005b3: ISZERO
000005b4: PUSH2 0x05bc
000005b7: JUMPI
000005b8: PUSH1 0x00
000005ba: DUP1
000005bb: REVERT
000005bc: JUMPDEST
000005bd: POP
000005be: PUSH1 0x01
000005c0: PUSH1 0x01
000005c2: PUSH1 0xa0
000005c4: SHL
000005c5: SUB
000005c6: DUP2
000005c7: CALLDATALOAD
000005c8: AND
000005c9: SWAP1
000005ca: PUSH1 0x20
000005cc: ADD
000005cd: CALLDATALOAD
000005ce: PUSH2 0x0d09
000005d1: JUMP
000005d2: JUMPDEST
000005d3: PUSH2 0x028e
000005d6: PUSH1 0x04
000005d8: DUP1
000005d9: CALLDATASIZE
000005da: SUB
000005db: PUSH1 0x60
000005dd: DUP2
000005de: LT
000005df: ISZERO
000005e0: PUSH2 0x05e8
000005e3: JUMPI
000005e4: PUSH1 0x00
000005e6: DUP1
000005e7: REVERT
000005e8: JUMPDEST
000005e9: POP
000005ea: PUSH1 0x01
000005ec: PUSH1 0x01
000005ee: PUSH1 0xa0
000005f0: SHL
000005f1: SUB
000005f2: DUP2
000005f3: CALLDATALOAD
000005f4: DUP2
000005f5: AND
000005f6: SWAP2
000005f7: PUSH1 0x20
000005f9: DUP2
000005fa: ADD
000005fb: CALLDATALOAD
000005fc: SWAP1
000005fd: SWAP2
000005fe: AND
000005ff: SWAP1
00000600: PUSH1 0x40
00000602: ADD
00000603: CALLDATALOAD
00000604: PUSH2 0x0d7a
00000607: JUMP
00000608: JUMPDEST
00000609: PUSH2 0x028e
0000060c: PUSH1 0x04
0000060e: DUP1
0000060f: CALLDATASIZE
00000610: SUB
00000611: PUSH1 0x20
00000613: DUP2
00000614: LT
00000615: ISZERO
00000616: PUSH2 0x061e
00000619: JUMPI
0000061a: PUSH1 0x00
0000061c: DUP1
0000061d: REVERT
0000061e: JUMPDEST
0000061f: POP
00000620: CALLDATALOAD
00000621: PUSH1 0x01
00000623: PUSH1 0x01
00000625: PUSH1 0xa0
00000627: SHL
00000628: SUB
00000629: AND
0000062a: PUSH2 0x0de6
0000062d: JUMP
0000062e: JUMPDEST
0000062f: PUSH2 0x0654
00000632: PUSH1 0x04
00000634: DUP1
00000635: CALLDATASIZE
00000636: SUB
00000637: PUSH1 0x20
00000639: DUP2
0000063a: LT
0000063b: ISZERO
0000063c: PUSH2 0x0644
0000063f: JUMPI
00000640: PUSH1 0x00
00000642: DUP1
00000643: REVERT
00000644: JUMPDEST
00000645: POP
00000646: CALLDATALOAD
00000647: PUSH1 0x01
00000649: PUSH1 0x01
0000064b: PUSH1 0xa0
0000064d: SHL
0000064e: SUB
0000064f: AND
00000650: PUSH2 0x0e97
00000653: JUMP
00000654: JUMPDEST
00000655: PUSH1 0x40
00000657: DUP1
00000658: MLOAD
00000659: SWAP3
0000065a: DUP4
0000065b: MSTORE
0000065c: PUSH1 0x20
0000065e: DUP4
0000065f: ADD
00000660: SWAP2
00000661: SWAP1
00000662: SWAP2
00000663: MSTORE
00000664: DUP1
00000665: MLOAD
00000666: SWAP2
00000667: DUP3
00000668: SWAP1
00000669: SUB
0000066a: ADD
0000066b: SWAP1
0000066c: RETURN
0000066d: JUMPDEST
0000066e: PUSH2 0x028e
00000671: PUSH1 0x04
00000673: DUP1
00000674: CALLDATASIZE
00000675: SUB
00000676: PUSH1 0x20
00000678: DUP2
00000679: LT
0000067a: ISZERO
0000067b: PUSH2 0x0683
0000067e: JUMPI
0000067f: PUSH1 0x00
00000681: DUP1
00000682: REVERT
00000683: JUMPDEST
00000684: POP
00000685: CALLDATALOAD
00000686: PUSH2 0x0eb2
00000689: JUMP
0000068a: JUMPDEST
0000068b: PUSH2 0x02a0
0000068e: PUSH1 0x04
00000690: DUP1
00000691: CALLDATASIZE
00000692: SUB
00000693: PUSH1 0x40
00000695: DUP2
00000696: LT
00000697: ISZERO
00000698: PUSH2 0x06a0
0000069b: JUMPI
0000069c: PUSH1 0x00
0000069e: DUP1
0000069f: REVERT
000006a0: JUMPDEST
000006a1: POP
000006a2: PUSH1 0x01
000006a4: PUSH1 0x01
000006a6: PUSH1 0xa0
000006a8: SHL
000006a9: SUB
000006aa: DUP2
000006ab: CALLDATALOAD
000006ac: DUP2
000006ad: AND
000006ae: SWAP2
000006af: PUSH1 0x20
000006b1: ADD
000006b2: CALLDATALOAD
000006b3: AND
000006b4: PUSH2 0x0ebb
000006b7: JUMP
000006b8: JUMPDEST
000006b9: PUSH2 0x028e
000006bc: PUSH2 0x0ee6
000006bf: JUMP
000006c0: JUMPDEST
000006c1: PUSH2 0x028e
000006c4: PUSH1 0x04
000006c6: DUP1
000006c7: CALLDATASIZE
000006c8: SUB
000006c9: PUSH1 0x80
000006cb: DUP2
000006cc: LT
000006cd: ISZERO
000006ce: PUSH2 0x06d6
000006d1: JUMPI
000006d2: PUSH1 0x00
000006d4: DUP1
000006d5: REVERT
000006d6: JUMPDEST
000006d7: PUSH1 0x01
000006d9: PUSH1 0x01
000006db: PUSH1 0xa0
000006dd: SHL
000006de: SUB
000006df: DUP3
000006e0: CALLDATALOAD
000006e1: AND
000006e2: SWAP2
000006e3: SWAP1
000006e4: DUP2
000006e5: ADD
000006e6: SWAP1
000006e7: PUSH1 0x40
000006e9: DUP2
000006ea: ADD
000006eb: PUSH1 0x20
000006ed: DUP3
000006ee: ADD
000006ef: CALLDATALOAD
000006f0: PUSH1 0x01
000006f2: PUSH1 0x20
000006f4: SHL
000006f5: DUP2
000006f6: GT
000006f7: ISZERO
000006f8: PUSH2 0x0700
000006fb: JUMPI
000006fc: PUSH1 0x00
000006fe: DUP1
000006ff: REVERT
00000700: JUMPDEST
00000701: DUP3
00000702: ADD
00000703: DUP4
00000704: PUSH1 0x20
00000706: DUP3
00000707: ADD
00000708: GT
00000709: ISZERO
0000070a: PUSH2 0x0712
0000070d: JUMPI
0000070e: PUSH1 0x00
00000710: DUP1
00000711: REVERT
00000712: JUMPDEST
00000713: DUP1
00000714: CALLDATALOAD
00000715: SWAP1
00000716: PUSH1 0x20
00000718: ADD
00000719: SWAP2
0000071a: DUP5
0000071b: PUSH1 0x01
0000071d: DUP4
0000071e: MUL
0000071f: DUP5
00000720: ADD
00000721: GT
00000722: PUSH1 0x01
00000724: PUSH1 0x20
00000726: SHL
00000727: DUP4
00000728: GT
00000729: OR
0000072a: ISZERO
0000072b: PUSH2 0x0733
0000072e: JUMPI
0000072f: PUSH1 0x00
00000731: DUP1
00000732: REVERT
00000733: JUMPDEST
00000734: SWAP2
00000735: SWAP1
00000736: DUP1
00000737: DUP1
00000738: PUSH1 0x1f
0000073a: ADD
0000073b: PUSH1 0x20
0000073d: DUP1
0000073e: SWAP2
0000073f: DIV
00000740: MUL
00000741: PUSH1 0x20
00000743: ADD
00000744: PUSH1 0x40
00000746: MLOAD
00000747: SWAP1
00000748: DUP2
00000749: ADD
0000074a: PUSH1 0x40
0000074c: MSTORE
0000074d: DUP1
0000074e: SWAP4
0000074f: SWAP3
00000750: SWAP2
00000751: SWAP1
00000752: DUP2
00000753: DUP2
00000754: MSTORE
00000755: PUSH1 0x20
00000757: ADD
00000758: DUP4
00000759: DUP4
0000075a: DUP1
0000075b: DUP3
0000075c: DUP5
0000075d: CALLDATACOPY
0000075e: PUSH1 0x00
00000760: SWAP3
00000761: ADD
00000762: SWAP2
00000763: SWAP1
00000764: SWAP2
00000765: MSTORE
00000766: POP
00000767: SWAP3
00000768: SWAP6
00000769: SWAP5
0000076a: SWAP4
0000076b: PUSH1 0x20
0000076d: DUP2
0000076e: ADD
0000076f: SWAP4
00000770: POP
00000771: CALLDATALOAD
00000772: SWAP2
00000773: POP
00000774: POP
00000775: PUSH1 0x01
00000777: PUSH1 0x20
00000779: SHL
0000077a: DUP2
0000077b: GT
0000077c: ISZERO
0000077d: PUSH2 0x0785
00000780: JUMPI
00000781: PUSH1 0x00
00000783: DUP1
00000784: REVERT
00000785: JUMPDEST
00000786: DUP3
00000787: ADD
00000788: DUP4
00000789: PUSH1 0x20
0000078b: DUP3
0000078c: ADD
0000078d: GT
0000078e: ISZERO
0000078f: PUSH2 0x0797
00000792: JUMPI
00000793: PUSH1 0x00
00000795: DUP1
00000796: REVERT
00000797: JUMPDEST
00000798: DUP1
00000799: CALLDATALOAD
0000079a: SWAP1
0000079b: PUSH1 0x20
0000079d: ADD
0000079e: SWAP2
0000079f: DUP5
000007a0: PUSH1 0x01
000007a2: DUP4
000007a3: MUL
000007a4: DUP5
000007a5: ADD
000007a6: GT
000007a7: PUSH1 0x01
000007a9: PUSH1 0x20
000007ab: SHL
000007ac: DUP4
000007ad: GT
000007ae: OR
000007af: ISZERO
000007b0: PUSH2 0x07b8
000007b3: JUMPI
000007b4: PUSH1 0x00
000007b6: DUP1
000007b7: REVERT
000007b8: JUMPDEST
000007b9: SWAP2
000007ba: SWAP1
000007bb: DUP1
000007bc: DUP1
000007bd: PUSH1 0x1f
000007bf: ADD
000007c0: PUSH1 0x20
000007c2: DUP1
000007c3: SWAP2
000007c4: DIV
000007c5: MUL
000007c6: PUSH1 0x20
000007c8: ADD
000007c9: PUSH1 0x40
000007cb: MLOAD
000007cc: SWAP1
000007cd: DUP2
000007ce: ADD
000007cf: PUSH1 0x40
000007d1: MSTORE
000007d2: DUP1
000007d3: SWAP4
000007d4: SWAP3
000007d5: SWAP2
000007d6: SWAP1
000007d7: DUP2
000007d8: DUP2
000007d9: MSTORE
000007da: PUSH1 0x20
000007dc: ADD
000007dd: DUP4
000007de: DUP4
000007df: DUP1
000007e0: DUP3
000007e1: DUP5
000007e2: CALLDATACOPY
000007e3: PUSH1 0x00
000007e5: SWAP3
000007e6: ADD
000007e7: SWAP2
000007e8: SWAP1
000007e9: SWAP2
000007ea: MSTORE
000007eb: POP
000007ec: SWAP3
000007ed: SWAP6
000007ee: POP
000007ef: POP
000007f0: POP
000007f1: SWAP1
000007f2: CALLDATALOAD
000007f3: PUSH1 0xff
000007f5: AND
000007f6: SWAP2
000007f7: POP
000007f8: PUSH2 0x100a
000007fb: SWAP1
000007fc: POP
000007fd: JUMP
000007fe: JUMPDEST
000007ff: PUSH2 0x02f0
00000802: PUSH2 0x10fe
00000805: JUMP
00000806: JUMPDEST
00000807: PUSH2 0x02f0
0000080a: PUSH2 0x110d
0000080d: JUMP
0000080e: JUMPDEST
0000080f: PUSH1 0x01
00000811: DUP1
00000812: SLOAD
00000813: PUSH1 0x40
00000815: DUP1
00000816: MLOAD
00000817: PUSH1 0x20
00000819: PUSH1 0x02
0000081b: DUP5
0000081c: DUP7
0000081d: AND
0000081e: ISZERO
0000081f: PUSH2 0x0100
00000822: MUL
00000823: PUSH1 0x00
00000825: NOT
00000826: ADD
00000827: SWAP1
00000828: SWAP5
00000829: AND
0000082a: SWAP4
0000082b: SWAP1
0000082c: SWAP4
0000082d: DIV
0000082e: PUSH1 0x1f
00000830: DUP2
00000831: ADD
00000832: DUP5
00000833: SWAP1
00000834: DIV
00000835: DUP5
00000836: MUL
00000837: DUP3
00000838: ADD
00000839: DUP5
0000083a: ADD
0000083b: SWAP1
0000083c: SWAP3
0000083d: MSTORE
0000083e: DUP2
0000083f: DUP2
00000840: MSTORE
00000841: SWAP3
00000842: SWAP2
00000843: DUP4
00000844: ADD
00000845: DUP3
00000846: DUP3
00000847: DUP1
00000848: ISZERO
00000849: PUSH2 0x0893
0000084c: JUMPI
0000084d: DUP1
0000084e: PUSH1 0x1f
00000850: LT
00000851: PUSH2 0x0868
00000854: JUMPI
00000855: PUSH2 0x0100
00000858: DUP1
00000859: DUP4
0000085a: SLOAD
0000085b: DIV
0000085c: MUL
0000085d: DUP4
0000085e: MSTORE
0000085f: SWAP2
00000860: PUSH1 0x20
00000862: ADD
00000863: SWAP2
00000864: PUSH2 0x0893
00000867: JUMP
00000868: JUMPDEST
00000869: DUP3
0000086a: ADD
0000086b: SWAP2
0000086c: SWAP1
0000086d: PUSH1 0x00
0000086f: MSTORE
00000870: PUSH1 0x20
00000872: PUSH1 0x00
00000874: KECCAK256
00000875: SWAP1
00000876: JUMPDEST
00000877: DUP2
00000878: SLOAD
00000879: DUP2
0000087a: MSTORE
0000087b: SWAP1
0000087c: PUSH1 0x01
0000087e: ADD
0000087f: SWAP1
00000880: PUSH1 0x20
00000882: ADD
00000883: DUP1
00000884: DUP4
00000885: GT
00000886: PUSH2 0x0876
00000889: JUMPI
0000088a: DUP3
0000088b: SWAP1
0000088c: SUB
0000088d: PUSH1 0x1f
0000088f: AND
00000890: DUP3
00000891: ADD
00000892: SWAP2
00000893: JUMPDEST
00000894: POP
00000895: POP
00000896: POP
00000897: POP
00000898: POP
00000899: DUP2
0000089a: JUMP
0000089b: JUMPDEST
0000089c: CALLER
0000089d: PUSH1 0x00
0000089f: DUP2
000008a0: DUP2
000008a1: MSTORE
000008a2: PUSH1 0x08
000008a4: PUSH1 0x20
000008a6: SWAP1
000008a7: DUP2
000008a8: MSTORE
000008a9: PUSH1 0x40
000008ab: DUP1
000008ac: DUP4
000008ad: KECCAK256
000008ae: PUSH1 0x01
000008b0: PUSH1 0x01
000008b2: PUSH1 0xa0
000008b4: SHL
000008b5: SUB
000008b6: DUP8
000008b7: AND
000008b8: DUP1
000008b9: DUP6
000008ba: MSTORE
000008bb: SWAP1
000008bc: DUP4
000008bd: MSTORE
000008be: DUP2
000008bf: DUP5
000008c0: KECCAK256
000008c1: DUP7
000008c2: SWAP1
000008c3: SSTORE
000008c4: DUP2
000008c5: MLOAD
000008c6: DUP7
000008c7: DUP2
000008c8: MSTORE
000008c9: SWAP2
000008ca: MLOAD
000008cb: SWAP4
000008cc: SWAP5
000008cd: SWAP4
000008ce: SWAP1
000008cf: SWAP3
000008d0: DUP5
000008d1: SWAP3
000008d2: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000008f3: SWAP3
000008f4: SWAP1
000008f5: DUP2
000008f6: SWAP1
000008f7: SUB
000008f8: SWAP1
000008f9: SWAP2
000008fa: ADD
000008fb: SWAP1
000008fc: LOG3
000008fd: POP
000008fe: PUSH1 0x01
00000900: SWAP4
00000901: SWAP3
00000902: POP
00000903: POP
00000904: POP
00000905: JUMP
00000906: JUMPDEST
00000907: PUSH1 0x03
00000909: SLOAD
0000090a: PUSH2 0x0100
0000090d: SWAP1
0000090e: DIV
0000090f: PUSH1 0x01
00000911: PUSH1 0x01
00000913: PUSH1 0xa0
00000915: SHL
00000916: SUB
00000917: AND
00000918: CALLER
00000919: EQ
0000091a: PUSH2 0x0954
0000091d: JUMPI
0000091e: PUSH1 0x40
00000920: MLOAD
00000921: PUSH3 0x461bcd
00000925: PUSH1 0xe5
00000927: SHL
00000928: DUP2
00000929: MSTORE
0000092a: PUSH1 0x04
0000092c: ADD
0000092d: DUP1
0000092e: DUP1
0000092f: PUSH1 0x20
00000931: ADD
00000932: DUP3
00000933: DUP2
00000934: SUB
00000935: DUP3
00000936: MSTORE
00000937: PUSH1 0x2d
00000939: DUP2
0000093a: MSTORE
0000093b: PUSH1 0x20
0000093d: ADD
0000093e: DUP1
0000093f: PUSH2 0x2892
00000942: PUSH1 0x2d
00000944: SWAP2
00000945: CODECOPY
00000946: PUSH1 0x40
00000948: ADD
00000949: SWAP2
0000094a: POP
0000094b: POP
0000094c: PUSH1 0x40
0000094e: MLOAD
0000094f: DUP1
00000950: SWAP2
00000951: SUB
00000952: SWAP1
00000953: REVERT
00000954: JUMPDEST
00000955: JUMP
00000956: JUMPDEST
00000957: PUSH1 0x00
00000959: SLOAD
0000095a: PUSH2 0x0100
0000095d: SWAP1
0000095e: DIV
0000095f: PUSH1 0xff
00000961: AND
00000962: DUP2
00000963: JUMP
00000964: JUMPDEST
00000965: PUSH1 0x06
00000967: SLOAD
00000968: DUP2
00000969: JUMP
0000096a: JUMPDEST
0000096b: PUSH1 0x00
0000096d: DUP1
0000096e: SLOAD
0000096f: PUSH1 0xff
00000971: AND
00000972: PUSH2 0x09af
00000975: JUMPI
00000976: PUSH1 0x40
00000978: DUP1
00000979: MLOAD
0000097a: PUSH3 0x461bcd
0000097e: PUSH1 0xe5
00000980: SHL
00000981: DUP2
00000982: MSTORE
00000983: PUSH1 0x20
00000985: PUSH1 0x04
00000987: DUP3
00000988: ADD
00000989: MSTORE
0000098a: PUSH1 0x0a
0000098c: PUSH1 0x24
0000098e: DUP3
0000098f: ADD
00000990: MSTORE
00000991: PUSH10 0x1c994b595b9d195c9959
0000099c: PUSH1 0xb2
0000099e: SHL
0000099f: PUSH1 0x44
000009a1: DUP3
000009a2: ADD
000009a3: MSTORE
000009a4: SWAP1
000009a5: MLOAD
000009a6: SWAP1
000009a7: DUP2
000009a8: SWAP1
000009a9: SUB
000009aa: PUSH1 0x64
000009ac: ADD
000009ad: SWAP1
000009ae: REVERT
000009af: JUMPDEST
000009b0: PUSH1 0x00
000009b2: DUP1
000009b3: SLOAD
000009b4: PUSH1 0xff
000009b6: NOT
000009b7: AND
000009b8: SWAP1
000009b9: SSTORE
000009ba: PUSH2 0x09c5
000009bd: CALLER
000009be: DUP6
000009bf: DUP6
000009c0: DUP6
000009c1: PUSH2 0x1121
000009c4: JUMP
000009c5: JUMPDEST
000009c6: POP
000009c7: PUSH1 0x01
000009c9: PUSH1 0x00
000009cb: DUP1
000009cc: SLOAD
000009cd: PUSH1 0xff
000009cf: NOT
000009d0: AND
000009d1: PUSH1 0x01
000009d3: OR
000009d4: SWAP1
000009d5: SSTORE
000009d6: SWAP4
000009d7: SWAP3
000009d8: POP
000009d9: POP
000009da: POP
000009db: JUMP
000009dc: JUMPDEST
000009dd: PUSH1 0x04
000009df: SLOAD
000009e0: PUSH1 0x01
000009e2: PUSH1 0x01
000009e4: PUSH1 0xa0
000009e6: SHL
000009e7: SUB
000009e8: AND
000009e9: DUP2
000009ea: JUMP
000009eb: JUMPDEST
000009ec: PUSH1 0x01
000009ee: DUP2
000009ef: JUMP
000009f0: JUMPDEST
000009f1: PUSH1 0x03
000009f3: SLOAD
000009f4: PUSH1 0xff
000009f6: AND
000009f7: DUP2
000009f8: JUMP
000009f9: JUMPDEST
000009fa: PUSH1 0x00
000009fc: PUSH2 0x0a03
000009ff: PUSH2 0x15e5
00000a02: JUMP
00000a03: JUMPDEST
00000a04: SWAP1
00000a05: POP
00000a06: JUMPDEST
00000a07: SWAP1
00000a08: JUMP
00000a09: JUMPDEST
00000a0a: PUSH1 0x03
00000a0c: SLOAD
00000a0d: PUSH2 0x0100
00000a10: SWAP1
00000a11: DIV
00000a12: PUSH1 0x01
00000a14: PUSH1 0x01
00000a16: PUSH1 0xa0
00000a18: SHL
00000a19: SUB
00000a1a: AND
00000a1b: CALLER
00000a1c: EQ
00000a1d: PUSH2 0x0a57
00000a20: JUMPI
00000a21: PUSH1 0x40
00000a23: MLOAD
00000a24: PUSH3 0x461bcd
00000a28: PUSH1 0xe5
00000a2a: SHL
00000a2b: DUP2
00000a2c: MSTORE
00000a2d: PUSH1 0x04
00000a2f: ADD
00000a30: DUP1
00000a31: DUP1
00000a32: PUSH1 0x20
00000a34: ADD
00000a35: DUP3
00000a36: DUP2
00000a37: SUB
00000a38: DUP3
00000a39: MSTORE
00000a3a: PUSH1 0x2d
00000a3c: DUP2
00000a3d: MSTORE
00000a3e: PUSH1 0x20
00000a40: ADD
00000a41: DUP1
00000a42: PUSH2 0x295a
00000a45: PUSH1 0x2d
00000a47: SWAP2
00000a48: CODECOPY
00000a49: PUSH1 0x40
00000a4b: ADD
00000a4c: SWAP2
00000a4d: POP
00000a4e: POP
00000a4f: PUSH1 0x40
00000a51: MLOAD
00000a52: DUP1
00000a53: SWAP2
00000a54: SUB
00000a55: SWAP1
00000a56: REVERT
00000a57: JUMPDEST
00000a58: POP
00000a59: JUMP
00000a5a: JUMPDEST
00000a5b: PUSH1 0x0a
00000a5d: SLOAD
00000a5e: PUSH1 0x01
00000a60: PUSH1 0x01
00000a62: PUSH1 0xa0
00000a64: SHL
00000a65: SUB
00000a66: AND
00000a67: DUP2
00000a68: JUMP
00000a69: JUMPDEST
00000a6a: PUSH1 0x09
00000a6c: SLOAD
00000a6d: PUSH1 0x01
00000a6f: PUSH1 0x01
00000a71: PUSH1 0xa0
00000a73: SHL
00000a74: SUB
00000a75: AND
00000a76: DUP2
00000a77: JUMP
00000a78: JUMPDEST
00000a79: PUSH1 0x01
00000a7b: PUSH1 0x01
00000a7d: PUSH1 0xa0
00000a7f: SHL
00000a80: SUB
00000a81: AND
00000a82: PUSH1 0x00
00000a84: SWAP1
00000a85: DUP2
00000a86: MSTORE
00000a87: PUSH1 0x07
00000a89: PUSH1 0x20
00000a8b: MSTORE
00000a8c: PUSH1 0x40
00000a8e: SWAP1
00000a8f: KECCAK256
00000a90: SLOAD
00000a91: SWAP1
00000a92: JUMP
00000a93: JUMPDEST
00000a94: PUSH1 0x03
00000a96: SLOAD
00000a97: PUSH2 0x0100
00000a9a: SWAP1
00000a9b: DIV
00000a9c: PUSH1 0x01
00000a9e: PUSH1 0x01
00000aa0: PUSH1 0xa0
00000aa2: SHL
00000aa3: SUB
00000aa4: AND
00000aa5: CALLER
00000aa6: EQ
00000aa7: PUSH2 0x0ae1
00000aaa: JUMPI
00000aab: PUSH1 0x40
00000aad: MLOAD
00000aae: PUSH3 0x461bcd
00000ab2: PUSH1 0xe5
00000ab4: SHL
00000ab5: DUP2
00000ab6: MSTORE
00000ab7: PUSH1 0x04
00000ab9: ADD
00000aba: DUP1
00000abb: DUP1
00000abc: PUSH1 0x20
00000abe: ADD
00000abf: DUP3
00000ac0: DUP2
00000ac1: SUB
00000ac2: DUP3
00000ac3: MSTORE
00000ac4: PUSH1 0x21
00000ac6: DUP2
00000ac7: MSTORE
00000ac8: PUSH1 0x20
00000aca: ADD
00000acb: DUP1
00000acc: PUSH2 0x27d3
00000acf: PUSH1 0x21
00000ad1: SWAP2
00000ad2: CODECOPY
00000ad3: PUSH1 0x40
00000ad5: ADD
00000ad6: SWAP2
00000ad7: POP
00000ad8: POP
00000ad9: PUSH1 0x40
00000adb: MLOAD
00000adc: DUP1
00000add: SWAP2
00000ade: SUB
00000adf: SWAP1
00000ae0: REVERT
00000ae1: JUMPDEST
00000ae2: PUSH1 0x05
00000ae4: SLOAD
00000ae5: PUSH1 0x40
00000ae7: DUP1
00000ae8: MLOAD
00000ae9: PUSH4 0x4e1647fb
00000aee: PUSH1 0xe0
00000af0: SHL
00000af1: DUP2
00000af2: MSTORE
00000af3: SWAP1
00000af4: MLOAD
00000af5: PUSH1 0x01
00000af7: PUSH1 0x01
00000af9: PUSH1 0xa0
00000afb: SHL
00000afc: SUB
00000afd: SWAP3
00000afe: DUP4
00000aff: AND
00000b00: SWAP3
00000b01: DUP5
00000b02: AND
00000b03: SWAP2
00000b04: PUSH4 0x4e1647fb
00000b09: SWAP2
00000b0a: PUSH1 0x04
00000b0c: DUP1
00000b0d: DUP4
00000b0e: ADD
00000b0f: SWAP3
00000b10: PUSH1 0x20
00000b12: SWAP3
00000b13: SWAP2
00000b14: SWAP1
00000b15: DUP3
00000b16: SWAP1
00000b17: SUB
00000b18: ADD
00000b19: DUP2
00000b1a: DUP7
00000b1b: DUP1
00000b1c: EXTCODESIZE
00000b1d: ISZERO
00000b1e: DUP1
00000b1f: ISZERO
00000b20: PUSH2 0x0b28
00000b23: JUMPI
00000b24: PUSH1 0x00
00000b26: DUP1
00000b27: REVERT
00000b28: JUMPDEST
00000b29: POP
00000b2a: GAS
00000b2b: STATICCALL
00000b2c: ISZERO
00000b2d: DUP1
00000b2e: ISZERO
00000b2f: PUSH2 0x0b3c
00000b32: JUMPI
00000b33: RETURNDATASIZE
00000b34: PUSH1 0x00
00000b36: DUP1
00000b37: RETURNDATACOPY
00000b38: RETURNDATASIZE
00000b39: PUSH1 0x00
00000b3b: REVERT
00000b3c: JUMPDEST
00000b3d: POP
00000b3e: POP
00000b3f: POP
00000b40: POP
00000b41: PUSH1 0x40
00000b43: MLOAD
00000b44: RETURNDATASIZE
00000b45: PUSH1 0x20
00000b47: DUP2
00000b48: LT
00000b49: ISZERO
00000b4a: PUSH2 0x0b52
00000b4d: JUMPI
00000b4e: PUSH1 0x00
00000b50: DUP1
00000b51: REVERT
00000b52: JUMPDEST
00000b53: POP
00000b54: MLOAD
00000b55: PUSH2 0x0ba5
00000b58: JUMPI
00000b59: PUSH1 0x40
00000b5b: DUP1
00000b5c: MLOAD
00000b5d: PUSH3 0x461bcd
00000b61: PUSH1 0xe5
00000b63: SHL
00000b64: DUP2
00000b65: MSTORE
00000b66: PUSH1 0x20
00000b68: PUSH1 0x04
00000b6a: DUP3
00000b6b: ADD
00000b6c: MSTORE
00000b6d: PUSH1 0x1c
00000b6f: PUSH1 0x24
00000b71: DUP3
00000b72: ADD
00000b73: MSTORE
00000b74: PUSH32 0x6d61726b6572206d6574686f642072657475726e65642066616c736500000000
00000b95: PUSH1 0x44
00000b97: DUP3
00000b98: ADD
00000b99: MSTORE
00000b9a: SWAP1
00000b9b: MLOAD
00000b9c: SWAP1
00000b9d: DUP2
00000b9e: SWAP1
00000b9f: SUB
00000ba0: PUSH1 0x64
00000ba2: ADD
00000ba3: SWAP1
00000ba4: REVERT
00000ba5: JUMPDEST
00000ba6: PUSH1 0x05
00000ba8: DUP1
00000ba9: SLOAD
00000baa: PUSH1 0x01
00000bac: PUSH1 0x01
00000bae: PUSH1 0xa0
00000bb0: SHL
00000bb1: SUB
00000bb2: NOT
00000bb3: AND
00000bb4: PUSH1 0x01
00000bb6: PUSH1 0x01
00000bb8: PUSH1 0xa0
00000bba: SHL
00000bbb: SUB
00000bbc: DUP5
00000bbd: DUP2
00000bbe: AND
00000bbf: SWAP2
00000bc0: DUP3
00000bc1: OR
00000bc2: SWAP1
00000bc3: SWAP3
00000bc4: SSTORE
00000bc5: PUSH1 0x40
00000bc7: DUP1
00000bc8: MLOAD
00000bc9: SWAP3
00000bca: DUP5
00000bcb: AND
00000bcc: DUP4
00000bcd: MSTORE
00000bce: PUSH1 0x20
00000bd0: DUP4
00000bd1: ADD
00000bd2: SWAP2
00000bd3: SWAP1
00000bd4: SWAP2
00000bd5: MSTORE
00000bd6: DUP1
00000bd7: MLOAD
00000bd8: PUSH32 0xf9b6a28700579d5c8fab50f0ac2dcaa52109b85c369c4f511fcc873330ab6cbb
00000bf9: SWAP3
00000bfa: DUP2
00000bfb: SWAP1
00000bfc: SUB
00000bfd: SWAP1
00000bfe: SWAP2
00000bff: ADD
00000c00: SWAP1
00000c01: LOG1
00000c02: POP
00000c03: POP
00000c04: JUMP
00000c05: JUMPDEST
00000c06: PUSH2 0x0c11
00000c09: DUP5
00000c0a: DUP5
00000c0b: DUP5
00000c0c: DUP5
00000c0d: PUSH2 0x100a
00000c10: JUMP
00000c11: JUMPDEST
00000c12: PUSH1 0x09
00000c14: DUP1
00000c15: SLOAD
00000c16: PUSH1 0x01
00000c18: PUSH1 0x01
00000c1a: PUSH1 0xa0
00000c1c: SHL
00000c1d: SUB
00000c1e: NOT
00000c1f: AND
00000c20: PUSH1 0x01
00000c22: PUSH1 0x01
00000c24: PUSH1 0xa0
00000c26: SHL
00000c27: SUB
00000c28: DUP8
00000c29: DUP2
00000c2a: AND
00000c2b: SWAP2
00000c2c: SWAP1
00000c2d: SWAP2
00000c2e: OR
00000c2f: SWAP2
00000c30: DUP3
00000c31: SWAP1
00000c32: SSTORE
00000c33: PUSH1 0x40
00000c35: DUP1
00000c36: MLOAD
00000c37: PUSH4 0x18160ddd
00000c3c: PUSH1 0xe0
00000c3e: SHL
00000c3f: DUP2
00000c40: MSTORE
00000c41: SWAP1
00000c42: MLOAD
00000c43: SWAP3
00000c44: SWAP1
00000c45: SWAP2
00000c46: AND
00000c47: SWAP2
00000c48: PUSH4 0x18160ddd
00000c4d: SWAP2
00000c4e: PUSH1 0x04
00000c50: DUP1
00000c51: DUP3
00000c52: ADD
00000c53: SWAP3
00000c54: PUSH1 0x20
00000c56: SWAP3
00000c57: SWAP1
00000c58: SWAP2
00000c59: SWAP1
00000c5a: DUP3
00000c5b: SWAP1
00000c5c: SUB
00000c5d: ADD
00000c5e: DUP2
00000c5f: DUP7
00000c60: DUP1
00000c61: EXTCODESIZE
00000c62: ISZERO
00000c63: DUP1
00000c64: ISZERO
00000c65: PUSH2 0x0c6d
00000c68: JUMPI
00000c69: PUSH1 0x00
00000c6b: DUP1
00000c6c: REVERT
00000c6d: JUMPDEST
00000c6e: POP
00000c6f: GAS
00000c70: STATICCALL
00000c71: ISZERO
00000c72: DUP1
00000c73: ISZERO
00000c74: PUSH2 0x0c81
00000c77: JUMPI
00000c78: RETURNDATASIZE
00000c79: PUSH1 0x00
00000c7b: DUP1
00000c7c: RETURNDATACOPY
00000c7d: RETURNDATASIZE
00000c7e: PUSH1 0x00
00000c80: REVERT
00000c81: JUMPDEST
00000c82: POP
00000c83: POP
00000c84: POP
00000c85: POP
00000c86: PUSH1 0x40
00000c88: MLOAD
00000c89: RETURNDATASIZE
00000c8a: PUSH1 0x20
00000c8c: DUP2
00000c8d: LT
00000c8e: ISZERO
00000c8f: PUSH2 0x0c97
00000c92: JUMPI
00000c93: PUSH1 0x00
00000c95: DUP1
00000c96: REVERT
00000c97: JUMPDEST
00000c98: POP
00000c99: POP
00000c9a: POP
00000c9b: POP
00000c9c: POP
00000c9d: POP
00000c9e: POP
00000c9f: JUMP
00000ca0: JUMPDEST
00000ca1: PUSH1 0x02
00000ca3: DUP1
00000ca4: SLOAD
00000ca5: PUSH1 0x40
00000ca7: DUP1
00000ca8: MLOAD
00000ca9: PUSH1 0x20
00000cab: PUSH1 0x01
00000cad: DUP5
00000cae: AND
00000caf: ISZERO
00000cb0: PUSH2 0x0100
00000cb3: MUL
00000cb4: PUSH1 0x00
00000cb6: NOT
00000cb7: ADD
00000cb8: SWAP1
00000cb9: SWAP4
00000cba: AND
00000cbb: DUP5
00000cbc: SWAP1
00000cbd: DIV
00000cbe: PUSH1 0x1f
00000cc0: DUP2
00000cc1: ADD
00000cc2: DUP5
00000cc3: SWAP1
00000cc4: DIV
00000cc5: DUP5
00000cc6: MUL
00000cc7: DUP3
00000cc8: ADD
00000cc9: DUP5
00000cca: ADD
00000ccb: SWAP1
00000ccc: SWAP3
00000ccd: MSTORE
00000cce: DUP2
00000ccf: DUP2
00000cd0: MSTORE
00000cd1: SWAP3
00000cd2: SWAP2
00000cd3: DUP4
00000cd4: ADD
00000cd5: DUP3
00000cd6: DUP3
00000cd7: DUP1
00000cd8: ISZERO
00000cd9: PUSH2 0x0893
00000cdc: JUMPI
00000cdd: DUP1
00000cde: PUSH1 0x1f
00000ce0: LT
00000ce1: PUSH2 0x0868
00000ce4: JUMPI
00000ce5: PUSH2 0x0100
00000ce8: DUP1
00000ce9: DUP4
00000cea: SLOAD
00000ceb: DIV
00000cec: MUL
00000ced: DUP4
00000cee: MSTORE
00000cef: SWAP2
00000cf0: PUSH1 0x20
00000cf2: ADD
00000cf3: SWAP2
00000cf4: PUSH2 0x0893
00000cf7: JUMP
00000cf8: JUMPDEST
00000cf9: PUSH1 0x00
00000cfb: PUSH2 0x0d03
00000cfe: DUP3
00000cff: PUSH2 0x1665
00000d02: JUMP
00000d03: JUMPDEST
00000d04: SWAP3
00000d05: SWAP2
00000d06: POP
00000d07: POP
00000d08: JUMP
00000d09: JUMPDEST
00000d0a: PUSH1 0x00
00000d0c: DUP1
00000d0d: SLOAD
00000d0e: PUSH1 0xff
00000d10: AND
00000d11: PUSH2 0x0d4e
00000d14: JUMPI
00000d15: PUSH1 0x40
00000d17: DUP1
00000d18: MLOAD
00000d19: PUSH3 0x461bcd
00000d1d: PUSH1 0xe5
00000d1f: SHL
00000d20: DUP2
00000d21: MSTORE
00000d22: PUSH1 0x20
00000d24: PUSH1 0x04
00000d26: DUP3
00000d27: ADD
00000d28: MSTORE
00000d29: PUSH1 0x0a
00000d2b: PUSH1 0x24
00000d2d: DUP3
00000d2e: ADD
00000d2f: MSTORE
00000d30: PUSH10 0x1c994b595b9d195c9959
00000d3b: PUSH1 0xb2
00000d3d: SHL
00000d3e: PUSH1 0x44
00000d40: DUP3
00000d41: ADD
00000d42: MSTORE
00000d43: SWAP1
00000d44: MLOAD
00000d45: SWAP1
00000d46: DUP2
00000d47: SWAP1
00000d48: SUB
00000d49: PUSH1 0x64
00000d4b: ADD
00000d4c: SWAP1
00000d4d: REVERT
00000d4e: JUMPDEST
00000d4f: PUSH1 0x00
00000d51: DUP1
00000d52: SLOAD
00000d53: PUSH1 0xff
00000d55: NOT
00000d56: AND
00000d57: SWAP1
00000d58: SSTORE
00000d59: PUSH2 0x0d64
00000d5c: CALLER
00000d5d: DUP1
00000d5e: DUP6
00000d5f: DUP6
00000d60: PUSH2 0x1121
00000d63: JUMP
00000d64: JUMPDEST
00000d65: POP
00000d66: PUSH1 0x01
00000d68: PUSH1 0x00
00000d6a: DUP1
00000d6b: SLOAD
00000d6c: PUSH1 0xff
00000d6e: NOT
00000d6f: AND
00000d70: PUSH1 0x01
00000d72: OR
00000d73: SWAP1
00000d74: SSTORE
00000d75: SWAP3
00000d76: SWAP2
00000d77: POP
00000d78: POP
00000d79: JUMP
00000d7a: JUMPDEST
00000d7b: PUSH1 0x00
00000d7d: SLOAD
00000d7e: PUSH1 0xff
00000d80: AND
00000d81: PUSH2 0x0dbe
00000d84: JUMPI
00000d85: PUSH1 0x40
00000d87: DUP1
00000d88: MLOAD
00000d89: PUSH3 0x461bcd
00000d8d: PUSH1 0xe5
00000d8f: SHL
00000d90: DUP2
00000d91: MSTORE
00000d92: PUSH1 0x20
00000d94: PUSH1 0x04
00000d96: DUP3
00000d97: ADD
00000d98: MSTORE
00000d99: PUSH1 0x0a
00000d9b: PUSH1 0x24
00000d9d: DUP3
00000d9e: ADD
00000d9f: MSTORE
00000da0: PUSH10 0x1c994b595b9d195c9959
00000dab: PUSH1 0xb2
00000dad: SHL
00000dae: PUSH1 0x44
00000db0: DUP3
00000db1: ADD
00000db2: MSTORE
00000db3: SWAP1
00000db4: MLOAD
00000db5: SWAP1
00000db6: DUP2
00000db7: SWAP1
00000db8: SUB
00000db9: PUSH1 0x64
00000dbb: ADD
00000dbc: SWAP1
00000dbd: REVERT
00000dbe: JUMPDEST
00000dbf: PUSH1 0x00
00000dc1: DUP1
00000dc2: SLOAD
00000dc3: PUSH1 0xff
00000dc5: NOT
00000dc6: AND
00000dc7: SWAP1
00000dc8: SSTORE
00000dc9: PUSH2 0x0dd4
00000dcc: CALLER
00000dcd: DUP5
00000dce: DUP5
00000dcf: DUP5
00000dd0: PUSH2 0x16d2
00000dd3: JUMP
00000dd4: JUMPDEST
00000dd5: POP
00000dd6: POP
00000dd7: PUSH1 0x00
00000dd9: DUP1
00000dda: SLOAD
00000ddb: PUSH1 0xff
00000ddd: NOT
00000dde: AND
00000ddf: PUSH1 0x01
00000de1: OR
00000de2: SWAP1
00000de3: SSTORE
00000de4: POP
00000de5: JUMP
00000de6: JUMPDEST
00000de7: PUSH1 0x03
00000de9: SLOAD
00000dea: PUSH2 0x0100
00000ded: SWAP1
00000dee: DIV
00000def: PUSH1 0x01
00000df1: PUSH1 0x01
00000df3: PUSH1 0xa0
00000df5: SHL
00000df6: SUB
00000df7: AND
00000df8: CALLER
00000df9: EQ
00000dfa: PUSH2 0x0e34
00000dfd: JUMPI
00000dfe: PUSH1 0x40
00000e00: MLOAD
00000e01: PUSH3 0x461bcd
00000e05: PUSH1 0xe5
00000e07: SHL
00000e08: DUP2
00000e09: MSTORE
00000e0a: PUSH1 0x04
00000e0c: ADD
00000e0d: DUP1
00000e0e: DUP1
00000e0f: PUSH1 0x20
00000e11: ADD
00000e12: DUP3
00000e13: DUP2
00000e14: SUB
00000e15: DUP3
00000e16: MSTORE
00000e17: PUSH1 0x21
00000e19: DUP2
00000e1a: MSTORE
00000e1b: PUSH1 0x20
00000e1d: ADD
00000e1e: DUP1
00000e1f: PUSH2 0x27d3
00000e22: PUSH1 0x21
00000e24: SWAP2
00000e25: CODECOPY
00000e26: PUSH1 0x40
00000e28: ADD
00000e29: SWAP2
00000e2a: POP
00000e2b: POP
00000e2c: PUSH1 0x40
00000e2e: MLOAD
00000e2f: DUP1
00000e30: SWAP2
00000e31: SUB
00000e32: SWAP1
00000e33: REVERT
00000e34: JUMPDEST
00000e35: PUSH1 0x04
00000e37: DUP1
00000e38: SLOAD
00000e39: PUSH1 0x01
00000e3b: PUSH1 0x01
00000e3d: PUSH1 0xa0
00000e3f: SHL
00000e40: SUB
00000e41: DUP4
00000e42: DUP2
00000e43: AND
00000e44: PUSH1 0x01
00000e46: PUSH1 0x01
00000e48: PUSH1 0xa0
00000e4a: SHL
00000e4b: SUB
00000e4c: NOT
00000e4d: DUP4
00000e4e: AND
00000e4f: DUP2
00000e50: OR
00000e51: SWAP1
00000e52: SWAP4
00000e53: SSTORE
00000e54: PUSH1 0x40
00000e56: DUP1
00000e57: MLOAD
00000e58: SWAP2
00000e59: SWAP1
00000e5a: SWAP3
00000e5b: AND
00000e5c: DUP1
00000e5d: DUP3
00000e5e: MSTORE
00000e5f: PUSH1 0x20
00000e61: DUP3
00000e62: ADD
00000e63: SWAP4
00000e64: SWAP1
00000e65: SWAP4
00000e66: MSTORE
00000e67: DUP2
00000e68: MLOAD
00000e69: PUSH32 0xca4f2f25d0898edd99413412fb94012f9e54ec8142f9b093e7720646a95b16a9
00000e8a: SWAP3
00000e8b: SWAP2
00000e8c: DUP2
00000e8d: SWAP1
00000e8e: SUB
00000e8f: SWAP1
00000e90: SWAP2
00000e91: ADD
00000e92: SWAP1
00000e93: LOG1
00000e94: POP
00000e95: POP
00000e96: JUMP
00000e97: JUMPDEST
00000e98: PUSH1 0x01
00000e9a: PUSH1 0x01
00000e9c: PUSH1 0xa0
00000e9e: SHL
00000e9f: SUB
00000ea0: AND
00000ea1: PUSH1 0x00
00000ea3: SWAP1
00000ea4: DUP2
00000ea5: MSTORE
00000ea6: PUSH1 0x07
00000ea8: PUSH1 0x20
00000eaa: MSTORE
00000eab: PUSH1 0x40
00000ead: DUP2
00000eae: KECCAK256
00000eaf: SLOAD
00000eb0: SWAP2
00000eb1: JUMP
00000eb2: JUMPDEST
00000eb3: PUSH2 0x0a57
00000eb6: DUP2
00000eb7: PUSH2 0x1a80
00000eba: JUMP
00000ebb: JUMPDEST
00000ebc: PUSH1 0x01
00000ebe: PUSH1 0x01
00000ec0: PUSH1 0xa0
00000ec2: SHL
00000ec3: SUB
00000ec4: SWAP2
00000ec5: DUP3
00000ec6: AND
00000ec7: PUSH1 0x00
00000ec9: SWAP1
00000eca: DUP2
00000ecb: MSTORE
00000ecc: PUSH1 0x08
00000ece: PUSH1 0x20
00000ed0: SWAP1
00000ed1: DUP2
00000ed2: MSTORE
00000ed3: PUSH1 0x40
00000ed5: DUP1
00000ed6: DUP4
00000ed7: KECCAK256
00000ed8: SWAP4
00000ed9: SWAP1
00000eda: SWAP5
00000edb: AND
00000edc: DUP3
00000edd: MSTORE
00000ede: SWAP2
00000edf: SWAP1
00000ee0: SWAP2
00000ee1: MSTORE
00000ee2: KECCAK256
00000ee3: SLOAD
00000ee4: SWAP1
00000ee5: JUMP
00000ee6: JUMPDEST
00000ee7: PUSH1 0x04
00000ee9: SLOAD
00000eea: PUSH1 0x01
00000eec: PUSH1 0x01
00000eee: PUSH1 0xa0
00000ef0: SHL
00000ef1: SUB
00000ef2: AND
00000ef3: CALLER
00000ef4: EQ
00000ef5: DUP1
00000ef6: ISZERO
00000ef7: PUSH2 0x0eff
00000efa: JUMPI
00000efb: POP
00000efc: CALLER
00000efd: ISZERO
00000efe: ISZERO
00000eff: JUMPDEST
00000f00: PUSH2 0x0f3f
00000f03: JUMPI
00000f04: PUSH1 0x40
00000f06: DUP1
00000f07: MLOAD
00000f08: PUSH3 0x461bcd
00000f0c: PUSH1 0xe5
00000f0e: SHL
00000f0f: DUP2
00000f10: MSTORE
00000f11: PUSH1 0x20
00000f13: PUSH1 0x04
00000f15: DUP3
00000f16: ADD
00000f17: MSTORE
00000f18: PUSH1 0x0c
00000f1a: PUSH1 0x24
00000f1c: DUP3
00000f1d: ADD
00000f1e: MSTORE
00000f1f: PUSH12 0x1d5b985d5d1a1bdc9a5e9959
00000f2c: PUSH1 0xa2
00000f2e: SHL
00000f2f: PUSH1 0x44
00000f31: DUP3
00000f32: ADD
00000f33: MSTORE
00000f34: SWAP1
00000f35: MLOAD
00000f36: SWAP1
00000f37: DUP2
00000f38: SWAP1
00000f39: SUB
00000f3a: PUSH1 0x64
00000f3c: ADD
00000f3d: SWAP1
00000f3e: REVERT
00000f3f: JUMPDEST
00000f40: PUSH1 0x03
00000f42: DUP1
00000f43: SLOAD
00000f44: PUSH1 0x04
00000f46: DUP1
00000f47: SLOAD
00000f48: PUSH1 0x01
00000f4a: PUSH1 0x01
00000f4c: PUSH1 0xa0
00000f4e: SHL
00000f4f: SUB
00000f50: DUP2
00000f51: DUP2
00000f52: AND
00000f53: PUSH2 0x0100
00000f56: DUP2
00000f57: DUP2
00000f58: MUL
00000f59: PUSH2 0x0100
00000f5c: PUSH1 0x01
00000f5e: PUSH1 0xa8
00000f60: SHL
00000f61: SUB
00000f62: NOT
00000f63: DUP8
00000f64: AND
00000f65: OR
00000f66: SWAP7
00000f67: DUP8
00000f68: SWAP1
00000f69: SSTORE
00000f6a: PUSH1 0x01
00000f6c: PUSH1 0x01
00000f6e: PUSH1 0xa0
00000f70: SHL
00000f71: SUB
00000f72: NOT
00000f73: SWAP1
00000f74: SWAP4
00000f75: AND
00000f76: SWAP1
00000f77: SWAP4
00000f78: SSTORE
00000f79: PUSH1 0x40
00000f7b: DUP1
00000f7c: MLOAD
00000f7d: SWAP5
00000f7e: DUP4
00000f7f: SWAP1
00000f80: DIV
00000f81: DUP3
00000f82: AND
00000f83: DUP1
00000f84: DUP7
00000f85: MSTORE
00000f86: SWAP3
00000f87: SWAP1
00000f88: SWAP6
00000f89: DIV
00000f8a: AND
00000f8b: PUSH1 0x20
00000f8d: DUP5
00000f8e: ADD
00000f8f: MSTORE
00000f90: DUP4
00000f91: MLOAD
00000f92: SWAP1
00000f93: SWAP4
00000f94: SWAP2
00000f95: SWAP3
00000f96: PUSH32 0xf9ffabca9c8276e99321725bcb43fb076a6c66a54b7f21c4e8146d8519b417dc
00000fb7: SWAP3
00000fb8: SWAP1
00000fb9: DUP3
00000fba: SWAP1
00000fbb: SUB
00000fbc: ADD
00000fbd: SWAP1
00000fbe: LOG1
00000fbf: PUSH1 0x04
00000fc1: SLOAD
00000fc2: PUSH1 0x40
00000fc4: DUP1
00000fc5: MLOAD
00000fc6: PUSH1 0x01
00000fc8: PUSH1 0x01
00000fca: PUSH1 0xa0
00000fcc: SHL
00000fcd: SUB
00000fce: DUP1
00000fcf: DUP6
00000fd0: AND
00000fd1: DUP3
00000fd2: MSTORE
00000fd3: SWAP1
00000fd4: SWAP3
00000fd5: AND
00000fd6: PUSH1 0x20
00000fd8: DUP4
00000fd9: ADD
00000fda: MSTORE
00000fdb: DUP1
00000fdc: MLOAD
00000fdd: PUSH32 0xca4f2f25d0898edd99413412fb94012f9e54ec8142f9b093e7720646a95b16a9
00000ffe: SWAP3
00000fff: DUP2
00001000: SWAP1
00001001: SUB
00001002: SWAP1
00001003: SWAP2
00001004: ADD
00001005: SWAP1
00001006: LOG1
00001007: POP
00001008: POP
00001009: JUMP
0000100a: JUMPDEST
0000100b: PUSH1 0x03
0000100d: SLOAD
0000100e: PUSH2 0x0100
00001011: SWAP1
00001012: DIV
00001013: PUSH1 0x01
00001015: PUSH1 0x01
00001017: PUSH1 0xa0
00001019: SHL
0000101a: SUB
0000101b: AND
0000101c: CALLER
0000101d: EQ
0000101e: PUSH2 0x1058
00001021: JUMPI
00001022: PUSH1 0x40
00001024: MLOAD
00001025: PUSH3 0x461bcd
00001029: PUSH1 0xe5
0000102b: SHL
0000102c: DUP2
0000102d: MSTORE
0000102e: PUSH1 0x04
00001030: ADD
00001031: DUP1
00001032: DUP1
00001033: PUSH1 0x20
00001035: ADD
00001036: DUP3
00001037: DUP2
00001038: SUB
00001039: DUP3
0000103a: MSTORE
0000103b: PUSH1 0x24
0000103d: DUP2
0000103e: MSTORE
0000103f: PUSH1 0x20
00001041: ADD
00001042: DUP1
00001043: PUSH2 0x27f4
00001046: PUSH1 0x24
00001048: SWAP2
00001049: CODECOPY
0000104a: PUSH1 0x40
0000104c: ADD
0000104d: SWAP2
0000104e: POP
0000104f: POP
00001050: PUSH1 0x40
00001052: MLOAD
00001053: DUP1
00001054: SWAP2
00001055: SUB
00001056: SWAP1
00001057: REVERT
00001058: JUMPDEST
00001059: PUSH1 0x00
0000105b: SLOAD
0000105c: PUSH2 0x0100
0000105f: SWAP1
00001060: DIV
00001061: PUSH1 0xff
00001063: AND
00001064: ISZERO
00001065: PUSH2 0x109f
00001068: JUMPI
00001069: PUSH1 0x40
0000106b: MLOAD
0000106c: PUSH3 0x461bcd
00001070: PUSH1 0xe5
00001072: SHL
00001073: DUP2
00001074: MSTORE
00001075: PUSH1 0x04
00001077: ADD
00001078: DUP1
00001079: DUP1
0000107a: PUSH1 0x20
0000107c: ADD
0000107d: DUP3
0000107e: DUP2
0000107f: SUB
00001080: DUP3
00001081: MSTORE
00001082: PUSH1 0x23
00001084: DUP2
00001085: MSTORE
00001086: PUSH1 0x20
00001088: ADD
00001089: DUP1
0000108a: PUSH2 0x2818
0000108d: PUSH1 0x23
0000108f: SWAP2
00001090: CODECOPY
00001091: PUSH1 0x40
00001093: ADD
00001094: SWAP2
00001095: POP
00001096: POP
00001097: PUSH1 0x40
00001099: MLOAD
0000109a: DUP1
0000109b: SWAP2
0000109c: SUB
0000109d: SWAP1
0000109e: REVERT
0000109f: JUMPDEST
000010a0: PUSH2 0x10a8
000010a3: DUP5
000010a4: PUSH2 0x0a93
000010a7: JUMP
000010a8: JUMPDEST
000010a9: DUP3
000010aa: MLOAD
000010ab: PUSH2 0x10bb
000010ae: SWAP1
000010af: PUSH1 0x01
000010b1: SWAP1
000010b2: PUSH1 0x20
000010b4: DUP7
000010b5: ADD
000010b6: SWAP1
000010b7: PUSH2 0x26f8
000010ba: JUMP
000010bb: JUMPDEST
000010bc: POP
000010bd: DUP2
000010be: MLOAD
000010bf: PUSH2 0x10cf
000010c2: SWAP1
000010c3: PUSH1 0x02
000010c5: SWAP1
000010c6: PUSH1 0x20
000010c8: DUP6
000010c9: ADD
000010ca: SWAP1
000010cb: PUSH2 0x26f8
000010ce: JUMP
000010cf: JUMPDEST
000010d0: POP
000010d1: PUSH1 0x03
000010d3: DUP1
000010d4: SLOAD
000010d5: PUSH1 0xff
000010d7: SWAP1
000010d8: SWAP3
000010d9: AND
000010da: PUSH1 0xff
000010dc: NOT
000010dd: SWAP3
000010de: DUP4
000010df: AND
000010e0: OR
000010e1: SWAP1
000010e2: SSTORE
000010e3: PUSH1 0x00
000010e5: DUP1
000010e6: SLOAD
000010e7: PUSH2 0xff00
000010ea: NOT
000010eb: SWAP3
000010ec: AND
000010ed: PUSH1 0x01
000010ef: OR
000010f0: SWAP2
000010f1: SWAP1
000010f2: SWAP2
000010f3: AND
000010f4: PUSH2 0x0100
000010f7: OR
000010f8: SWAP1
000010f9: SSTORE
000010fa: POP
000010fb: POP
000010fc: POP
000010fd: JUMP
000010fe: JUMPDEST
000010ff: PUSH1 0x05
00001101: SLOAD
00001102: PUSH1 0x01
00001104: PUSH1 0x01
00001106: PUSH1 0xa0
00001108: SHL
00001109: SUB
0000110a: AND
0000110b: DUP2
0000110c: JUMP
0000110d: JUMPDEST
0000110e: PUSH1 0x03
00001110: SLOAD
00001111: PUSH2 0x0100
00001114: SWAP1
00001115: DIV
00001116: PUSH1 0x01
00001118: PUSH1 0x01
0000111a: PUSH1 0xa0
0000111c: SHL
0000111d: SUB
0000111e: AND
0000111f: DUP2
00001120: JUMP
00001121: JUMPDEST
00001122: PUSH1 0x05
00001124: SLOAD
00001125: PUSH1 0x40
00001127: DUP1
00001128: MLOAD
00001129: PUSH4 0x17b9b84b
0000112e: PUSH1 0xe3
00001130: SHL
00001131: DUP2
00001132: MSTORE
00001133: ADDRESS
00001134: PUSH1 0x04
00001136: DUP3
00001137: ADD
00001138: MSTORE
00001139: PUSH1 0x01
0000113b: PUSH1 0x01
0000113d: PUSH1 0xa0
0000113f: SHL
00001140: SUB
00001141: DUP7
00001142: DUP2
00001143: AND
00001144: PUSH1 0x24
00001146: DUP4
00001147: ADD
00001148: MSTORE
00001149: DUP6
0000114a: DUP2
0000114b: AND
0000114c: PUSH1 0x44
0000114e: DUP4
0000114f: ADD
00001150: MSTORE
00001151: PUSH1 0x64
00001153: DUP3
00001154: ADD
00001155: DUP6
00001156: SWAP1
00001157: MSTORE
00001158: SWAP2
00001159: MLOAD
0000115a: PUSH1 0x00
0000115c: SWAP4
0000115d: PUSH1 0x60
0000115f: SWAP4
00001160: AND
00001161: SWAP2
00001162: PUSH4 0xbdcdc258
00001167: SWAP2
00001168: PUSH1 0x84
0000116a: DUP1
0000116b: DUP4
0000116c: ADD
0000116d: SWAP3
0000116e: DUP8
0000116f: SWAP3
00001170: SWAP2
00001171: SWAP1
00001172: DUP3
00001173: SWAP1
00001174: SUB
00001175: ADD
00001176: DUP2
00001177: DUP4
00001178: DUP8
00001179: DUP1
0000117a: EXTCODESIZE
0000117b: ISZERO
0000117c: DUP1
0000117d: ISZERO
0000117e: PUSH2 0x1186
00001181: JUMPI
00001182: PUSH1 0x00
00001184: DUP1
00001185: REVERT
00001186: JUMPDEST
00001187: POP
00001188: GAS
00001189: CALL
0000118a: ISZERO
0000118b: DUP1
0000118c: ISZERO
0000118d: PUSH2 0x119a
00001190: JUMPI
00001191: RETURNDATASIZE
00001192: PUSH1 0x00
00001194: DUP1
00001195: RETURNDATACOPY
00001196: RETURNDATASIZE
00001197: PUSH1 0x00
00001199: REVERT
0000119a: JUMPDEST
0000119b: POP
0000119c: POP
0000119d: POP
0000119e: POP
0000119f: PUSH1 0x40
000011a1: MLOAD
000011a2: RETURNDATASIZE
000011a3: PUSH1 0x00
000011a5: DUP3
000011a6: RETURNDATACOPY
000011a7: PUSH1 0x1f
000011a9: RETURNDATASIZE
000011aa: SWAP1
000011ab: DUP2
000011ac: ADD
000011ad: PUSH1 0x1f
000011af: NOT
000011b0: AND
000011b1: DUP3
000011b2: ADD
000011b3: PUSH1 0x40
000011b5: SWAP1
000011b6: DUP2
000011b7: MSTORE
000011b8: DUP2
000011b9: LT
000011ba: ISZERO
000011bb: PUSH2 0x11c3
000011be: JUMPI
000011bf: PUSH1 0x00
000011c1: DUP1
000011c2: REVERT
000011c3: JUMPDEST
000011c4: DUP2
000011c5: MLOAD
000011c6: PUSH1 0x20
000011c8: DUP4
000011c9: ADD
000011ca: DUP1
000011cb: MLOAD
000011cc: PUSH1 0x40
000011ce: MLOAD
000011cf: SWAP3
000011d0: SWAP5
000011d1: SWAP3
000011d2: SWAP4
000011d3: DUP4
000011d4: ADD
000011d5: SWAP3
000011d6: SWAP2
000011d7: SWAP1
000011d8: DUP5
000011d9: PUSH1 0x01
000011db: PUSH1 0x20
000011dd: SHL
000011de: DUP3
000011df: GT
000011e0: ISZERO
000011e1: PUSH2 0x11e9
000011e4: JUMPI
000011e5: PUSH1 0x00
000011e7: DUP1
000011e8: REVERT
000011e9: JUMPDEST
000011ea: SWAP1
000011eb: DUP4
000011ec: ADD
000011ed: SWAP1
000011ee: PUSH1 0x20
000011f0: DUP3
000011f1: ADD
000011f2: DUP6
000011f3: DUP2
000011f4: GT
000011f5: ISZERO
000011f6: PUSH2 0x11fe
000011f9: JUMPI
000011fa: PUSH1 0x00
000011fc: DUP1
000011fd: REVERT
000011fe: JUMPDEST
000011ff: DUP3
00001200: MLOAD
00001201: PUSH1 0x01
00001203: PUSH1 0x20
00001205: SHL
00001206: DUP2
00001207: GT
00001208: DUP3
00001209: DUP3
0000120a: ADD
0000120b: DUP9
0000120c: LT
0000120d: OR
0000120e: ISZERO
0000120f: PUSH2 0x1217
00001212: JUMPI
00001213: PUSH1 0x00
00001215: DUP1
00001216: REVERT
00001217: JUMPDEST
00001218: DUP3
00001219: MSTORE
0000121a: POP
0000121b: DUP2
0000121c: MLOAD
0000121d: PUSH1 0x20
0000121f: SWAP2
00001220: DUP3
00001221: ADD
00001222: SWAP3
00001223: SWAP1
00001224: SWAP2
00001225: ADD
00001226: SWAP1
00001227: DUP1
00001228: DUP4
00001229: DUP4
0000122a: PUSH1 0x00
0000122c: JUMPDEST
0000122d: DUP4
0000122e: DUP2
0000122f: LT
00001230: ISZERO
00001231: PUSH2 0x1244
00001234: JUMPI
00001235: DUP2
00001236: DUP2
00001237: ADD
00001238: MLOAD
00001239: DUP4
0000123a: DUP3
0000123b: ADD
0000123c: MSTORE
0000123d: PUSH1 0x20
0000123f: ADD
00001240: PUSH2 0x122c
00001243: JUMP
00001244: JUMPDEST
00001245: POP
00001246: POP
00001247: POP
00001248: POP
00001249: SWAP1
0000124a: POP
0000124b: SWAP1
0000124c: DUP2
0000124d: ADD
0000124e: SWAP1
0000124f: PUSH1 0x1f
00001251: AND
00001252: DUP1
00001253: ISZERO
00001254: PUSH2 0x1271
00001257: JUMPI
00001258: DUP1
00001259: DUP3
0000125a: SUB
0000125b: DUP1
0000125c: MLOAD
0000125d: PUSH1 0x01
0000125f: DUP4
00001260: PUSH1 0x20
00001262: SUB
00001263: PUSH2 0x0100
00001266: EXP
00001267: SUB
00001268: NOT
00001269: AND
0000126a: DUP2
0000126b: MSTORE
0000126c: PUSH1 0x20
0000126e: ADD
0000126f: SWAP2
00001270: POP
00001271: JUMPDEST
00001272: POP
00001273: PUSH1 0x40
00001275: MSTORE
00001276: POP
00001277: POP
00001278: POP
00001279: SWAP2
0000127a: POP
0000127b: SWAP2
0000127c: POP
0000127d: DUP2
0000127e: DUP2
0000127f: SWAP1
00001280: PUSH2 0x1307
00001283: JUMPI
00001284: PUSH1 0x40
00001286: MLOAD
00001287: PUSH3 0x461bcd
0000128b: PUSH1 0xe5
0000128d: SHL
0000128e: DUP2
0000128f: MSTORE
00001290: PUSH1 0x04
00001292: ADD
00001293: DUP1
00001294: DUP1
00001295: PUSH1 0x20
00001297: ADD
00001298: DUP3
00001299: DUP2
0000129a: SUB
0000129b: DUP3
0000129c: MSTORE
0000129d: DUP4
0000129e: DUP2
0000129f: DUP2
000012a0: MLOAD
000012a1: DUP2
000012a2: MSTORE
000012a3: PUSH1 0x20
000012a5: ADD
000012a6: SWAP2
000012a7: POP
000012a8: DUP1
000012a9: MLOAD
000012aa: SWAP1
000012ab: PUSH1 0x20
000012ad: ADD
000012ae: SWAP1
000012af: DUP1
000012b0: DUP4
000012b1: DUP4
000012b2: PUSH1 0x00
000012b4: JUMPDEST
000012b5: DUP4
000012b6: DUP2
000012b7: LT
000012b8: ISZERO
000012b9: PUSH2 0x12cc
000012bc: JUMPI
000012bd: DUP2
000012be: DUP2
000012bf: ADD
000012c0: MLOAD
000012c1: DUP4
000012c2: DUP3
000012c3: ADD
000012c4: MSTORE
000012c5: PUSH1 0x20
000012c7: ADD
000012c8: PUSH2 0x12b4
000012cb: JUMP
000012cc: JUMPDEST
000012cd: POP
000012ce: POP
000012cf: POP
000012d0: POP
000012d1: SWAP1
000012d2: POP
000012d3: SWAP1
000012d4: DUP2
000012d5: ADD
000012d6: SWAP1
000012d7: PUSH1 0x1f
000012d9: AND
000012da: DUP1
000012db: ISZERO
000012dc: PUSH2 0x12f9
000012df: JUMPI
000012e0: DUP1
000012e1: DUP3
000012e2: SUB
000012e3: DUP1
000012e4: MLOAD
000012e5: PUSH1 0x01
000012e7: DUP4
000012e8: PUSH1 0x20
000012ea: SUB
000012eb: PUSH2 0x0100
000012ee: EXP
000012ef: SUB
000012f0: NOT
000012f1: AND
000012f2: DUP2
000012f3: MSTORE
000012f4: PUSH1 0x20
000012f6: ADD
000012f7: SWAP2
000012f8: POP
000012f9: JUMPDEST
000012fa: POP
000012fb: SWAP3
000012fc: POP
000012fd: POP
000012fe: POP
000012ff: PUSH1 0x40
00001301: MLOAD
00001302: DUP1
00001303: SWAP2
00001304: SUB
00001305: SWAP1
00001306: REVERT
00001307: JUMPDEST
00001308: POP
00001309: DUP4
0000130a: PUSH1 0x01
0000130c: PUSH1 0x01
0000130e: PUSH1 0xa0
00001310: SHL
00001311: SUB
00001312: AND
00001313: DUP6
00001314: PUSH1 0x01
00001316: PUSH1 0x01
00001318: PUSH1 0xa0
0000131a: SHL
0000131b: SUB
0000131c: AND
0000131d: EQ
0000131e: ISZERO
0000131f: PUSH1 0x40
00001321: MLOAD
00001322: DUP1
00001323: PUSH1 0x40
00001325: ADD
00001326: PUSH1 0x40
00001328: MSTORE
00001329: DUP1
0000132a: PUSH1 0x09
0000132c: DUP2
0000132d: MSTORE
0000132e: PUSH1 0x20
00001330: ADD
00001331: PUSH9 0x10905117d253941555
0000133b: PUSH1 0xba
0000133d: SHL
0000133e: DUP2
0000133f: MSTORE
00001340: POP
00001341: SWAP1
00001342: PUSH2 0x138c
00001345: JUMPI
00001346: PUSH1 0x40
00001348: MLOAD
00001349: PUSH3 0x461bcd
0000134d: PUSH1 0xe5
0000134f: SHL
00001350: DUP2
00001351: MSTORE
00001352: PUSH1 0x20
00001354: PUSH1 0x04
00001356: DUP3
00001357: ADD
00001358: DUP2
00001359: DUP2
0000135a: MSTORE
0000135b: DUP4
0000135c: MLOAD
0000135d: PUSH1 0x24
0000135f: DUP5
00001360: ADD
00001361: MSTORE
00001362: DUP4
00001363: MLOAD
00001364: SWAP1
00001365: SWAP3
00001366: DUP4
00001367: SWAP3
00001368: PUSH1 0x44
0000136a: SWAP1
0000136b: SWAP2
0000136c: ADD
0000136d: SWAP2
0000136e: SWAP1
0000136f: DUP6
00001370: ADD
00001371: SWAP1
00001372: DUP1
00001373: DUP4
00001374: DUP4
00001375: PUSH1 0x00
00001377: DUP4
00001378: ISZERO
00001379: PUSH2 0x12cc
0000137c: JUMPI
0000137d: DUP2
0000137e: DUP2
0000137f: ADD
00001380: MLOAD
00001381: DUP4
00001382: DUP3
00001383: ADD
00001384: MSTORE
00001385: PUSH1 0x20
00001387: ADD
00001388: PUSH2 0x12b4
0000138b: JUMP
0000138c: JUMPDEST
0000138d: POP
0000138e: PUSH1 0x00
00001390: PUSH1 0x01
00001392: PUSH1 0x01
00001394: PUSH1 0xa0
00001396: SHL
00001397: SUB
00001398: DUP8
00001399: DUP2
0000139a: AND
0000139b: SWAP1
0000139c: DUP8
0000139d: AND
0000139e: EQ
0000139f: ISZERO
000013a0: PUSH2 0x13ac
000013a3: JUMPI
000013a4: POP
000013a5: PUSH1 0x00
000013a7: NOT
000013a8: PUSH2 0x13d4
000013ab: JUMP
000013ac: JUMPDEST
000013ad: POP
000013ae: PUSH1 0x01
000013b0: PUSH1 0x01
000013b2: PUSH1 0xa0
000013b4: SHL
000013b5: SUB
000013b6: DUP1
000013b7: DUP7
000013b8: AND
000013b9: PUSH1 0x00
000013bb: SWAP1
000013bc: DUP2
000013bd: MSTORE
000013be: PUSH1 0x08
000013c0: PUSH1 0x20
000013c2: SWAP1
000013c3: DUP2
000013c4: MSTORE
000013c5: PUSH1 0x40
000013c7: DUP1
000013c8: DUP4
000013c9: KECCAK256
000013ca: SWAP4
000013cb: DUP11
000013cc: AND
000013cd: DUP4
000013ce: MSTORE
000013cf: SWAP3
000013d0: SWAP1
000013d1: MSTORE
000013d2: KECCAK256
000013d3: SLOAD
000013d4: JUMPDEST
000013d5: PUSH1 0x00
000013d7: PUSH2 0x1417
000013da: DUP6
000013db: PUSH1 0x40
000013dd: MLOAD
000013de: DUP1
000013df: PUSH1 0x40
000013e1: ADD
000013e2: PUSH1 0x40
000013e4: MSTORE
000013e5: DUP1
000013e6: PUSH1 0x14
000013e8: DUP2
000013e9: MSTORE
000013ea: PUSH1 0x20
000013ec: ADD
000013ed: PUSH20 0x1514905394d1915497d393d517d0531313d5d151
00001402: PUSH1 0x62
00001404: SHL
00001405: DUP2
00001406: MSTORE
00001407: POP
00001408: DUP5
00001409: PUSH2 0x1ae8
0000140c: SWAP1
0000140d: SWAP3
0000140e: SWAP2
0000140f: SWAP1
00001410: PUSH4 0xffffffff
00001415: AND
00001416: JUMP
00001417: JUMPDEST
00001418: PUSH1 0x40
0000141a: DUP1
0000141b: MLOAD
0000141c: DUP1
0000141d: DUP3
0000141e: ADD
0000141f: DUP3
00001420: MSTORE
00001421: PUSH1 0x13
00001423: DUP2
00001424: MSTORE
00001425: PUSH19 0x0a8a4829ca68c8aa4be9c9ea8be8a9c9eaa8e9
00001439: PUSH1 0x6b
0000143b: SHL
0000143c: PUSH1 0x20
0000143e: DUP1
0000143f: DUP4
00001440: ADD
00001441: SWAP2
00001442: SWAP1
00001443: SWAP2
00001444: MSTORE
00001445: PUSH1 0x01
00001447: PUSH1 0x01
00001449: PUSH1 0xa0
0000144b: SHL
0000144c: SUB
0000144d: DUP12
0000144e: AND
0000144f: PUSH1 0x00
00001451: SWAP1
00001452: DUP2
00001453: MSTORE
00001454: PUSH1 0x07
00001456: SWAP1
00001457: SWAP2
00001458: MSTORE
00001459: SWAP2
0000145a: DUP3
0000145b: KECCAK256
0000145c: SLOAD
0000145d: SWAP3
0000145e: SWAP4
0000145f: POP
00001460: SWAP1
00001461: SWAP2
00001462: PUSH2 0x1472
00001465: SWAP2
00001466: DUP9
00001467: SWAP1
00001468: PUSH4 0xffffffff
0000146d: PUSH2 0x1ae8
00001470: AND
00001471: JUMP
00001472: JUMPDEST
00001473: PUSH1 0x40
00001475: DUP1
00001476: MLOAD
00001477: DUP1
00001478: DUP3
00001479: ADD
0000147a: DUP3
0000147b: MSTORE
0000147c: PUSH1 0x11
0000147e: DUP2
0000147f: MSTORE
00001480: PUSH17 0x0a8a4829ca68c8aa4bea89e9ebe9aaa869
00001492: PUSH1 0x7b
00001494: SHL
00001495: PUSH1 0x20
00001497: DUP1
00001498: DUP4
00001499: ADD
0000149a: SWAP2
0000149b: SWAP1
0000149c: SWAP2
0000149d: MSTORE
0000149e: PUSH1 0x01
000014a0: PUSH1 0x01
000014a2: PUSH1 0xa0
000014a4: SHL
000014a5: SUB
000014a6: DUP12
000014a7: AND
000014a8: PUSH1 0x00
000014aa: SWAP1
000014ab: DUP2
000014ac: MSTORE
000014ad: PUSH1 0x07
000014af: SWAP1
000014b0: SWAP2
000014b1: MSTORE
000014b2: SWAP2
000014b3: DUP3
000014b4: KECCAK256
000014b5: SLOAD
000014b6: SWAP3
000014b7: SWAP4
000014b8: POP
000014b9: SWAP1
000014ba: SWAP2
000014bb: PUSH2 0x14cb
000014be: SWAP2
000014bf: DUP10
000014c0: SWAP1
000014c1: PUSH4 0xffffffff
000014c6: PUSH2 0x1b42
000014c9: AND
000014ca: JUMP
000014cb: JUMPDEST
000014cc: PUSH1 0x01
000014ce: PUSH1 0x01
000014d0: PUSH1 0xa0
000014d2: SHL
000014d3: SUB
000014d4: DUP1
000014d5: DUP12
000014d6: AND
000014d7: PUSH1 0x00
000014d9: SWAP1
000014da: DUP2
000014db: MSTORE
000014dc: PUSH1 0x07
000014de: PUSH1 0x20
000014e0: MSTORE
000014e1: PUSH1 0x40
000014e3: DUP1
000014e4: DUP3
000014e5: KECCAK256
000014e6: DUP7
000014e7: SWAP1
000014e8: SSTORE
000014e9: SWAP2
000014ea: DUP12
000014eb: AND
000014ec: DUP2
000014ed: MSTORE
000014ee: KECCAK256
000014ef: DUP2
000014f0: SWAP1
000014f1: SSTORE
000014f2: SWAP1
000014f3: POP
000014f4: PUSH1 0x00
000014f6: NOT
000014f7: DUP5
000014f8: EQ
000014f9: PUSH2 0x1525
000014fc: JUMPI
000014fd: PUSH1 0x01
000014ff: PUSH1 0x01
00001501: PUSH1 0xa0
00001503: SHL
00001504: SUB
00001505: DUP1
00001506: DUP11
00001507: AND
00001508: PUSH1 0x00
0000150a: SWAP1
0000150b: DUP2
0000150c: MSTORE
0000150d: PUSH1 0x08
0000150f: PUSH1 0x20
00001511: SWAP1
00001512: DUP2
00001513: MSTORE
00001514: PUSH1 0x40
00001516: DUP1
00001517: DUP4
00001518: KECCAK256
00001519: SWAP4
0000151a: DUP15
0000151b: AND
0000151c: DUP4
0000151d: MSTORE
0000151e: SWAP3
0000151f: SWAP1
00001520: MSTORE
00001521: KECCAK256
00001522: DUP4
00001523: SWAP1
00001524: SSTORE
00001525: JUMPDEST
00001526: DUP8
00001527: PUSH1 0x01
00001529: PUSH1 0x01
0000152b: PUSH1 0xa0
0000152d: SHL
0000152e: SUB
0000152f: AND
00001530: DUP10
00001531: PUSH1 0x01
00001533: PUSH1 0x01
00001535: PUSH1 0xa0
00001537: SHL
00001538: SUB
00001539: AND
0000153a: PUSH1 0x00
0000153c: DUP1
0000153d: MLOAD
0000153e: PUSH1 0x20
00001540: PUSH2 0x28ea
00001543: DUP4
00001544: CODECOPY
00001545: DUP2
00001546: MLOAD
00001547: SWAP2
00001548: MSTORE
00001549: DUP10
0000154a: PUSH1 0x40
0000154c: MLOAD
0000154d: DUP1
0000154e: DUP3
0000154f: DUP2
00001550: MSTORE
00001551: PUSH1 0x20
00001553: ADD
00001554: SWAP2
00001555: POP
00001556: POP
00001557: PUSH1 0x40
00001559: MLOAD
0000155a: DUP1
0000155b: SWAP2
0000155c: SUB
0000155d: SWAP1
0000155e: LOG3
0000155f: PUSH1 0x05
00001561: SLOAD
00001562: PUSH1 0x40
00001564: DUP1
00001565: MLOAD
00001566: PUSH4 0x352b4a3f
0000156b: PUSH1 0xe1
0000156d: SHL
0000156e: DUP2
0000156f: MSTORE
00001570: ADDRESS
00001571: PUSH1 0x04
00001573: DUP3
00001574: ADD
00001575: MSTORE
00001576: PUSH1 0x01
00001578: PUSH1 0x01
0000157a: PUSH1 0xa0
0000157c: SHL
0000157d: SUB
0000157e: DUP13
0000157f: DUP2
00001580: AND
00001581: PUSH1 0x24
00001583: DUP4
00001584: ADD
00001585: MSTORE
00001586: DUP12
00001587: DUP2
00001588: AND
00001589: PUSH1 0x44
0000158b: DUP4
0000158c: ADD
0000158d: MSTORE
0000158e: PUSH1 0x64
00001590: DUP3
00001591: ADD
00001592: DUP12
00001593: SWAP1
00001594: MSTORE
00001595: SWAP2
00001596: MLOAD
00001597: SWAP2
00001598: SWAP1
00001599: SWAP3
0000159a: AND
0000159b: SWAP2
0000159c: PUSH4 0x6a56947e
000015a1: SWAP2
000015a2: PUSH1 0x84
000015a4: DUP1
000015a5: DUP4
000015a6: ADD
000015a7: SWAP3
000015a8: PUSH1 0x00
000015aa: SWAP3
000015ab: SWAP2
000015ac: SWAP1
000015ad: DUP3
000015ae: SWAP1
000015af: SUB
000015b0: ADD
000015b1: DUP2
000015b2: DUP4
000015b3: DUP8
000015b4: DUP1
000015b5: EXTCODESIZE
000015b6: ISZERO
000015b7: DUP1
000015b8: ISZERO
000015b9: PUSH2 0x15c1
000015bc: JUMPI
000015bd: PUSH1 0x00
000015bf: DUP1
000015c0: REVERT
000015c1: JUMPDEST
000015c2: POP
000015c3: GAS
000015c4: CALL
000015c5: ISZERO
000015c6: DUP1
000015c7: ISZERO
000015c8: PUSH2 0x15d5
000015cb: JUMPI
000015cc: RETURNDATASIZE
000015cd: PUSH1 0x00
000015cf: DUP1
000015d0: RETURNDATACOPY
000015d1: RETURNDATASIZE
000015d2: PUSH1 0x00
000015d4: REVERT
000015d5: JUMPDEST
000015d6: POP
000015d7: POP
000015d8: POP
000015d9: POP
000015da: POP
000015db: POP
000015dc: POP
000015dd: POP
000015de: POP
000015df: POP
000015e0: POP
000015e1: POP
000015e2: POP
000015e3: POP
000015e4: JUMP
000015e5: JUMPDEST
000015e6: PUSH1 0x09
000015e8: SLOAD
000015e9: PUSH1 0x40
000015eb: DUP1
000015ec: MLOAD
000015ed: PUSH4 0x70a08231
000015f2: PUSH1 0xe0
000015f4: SHL
000015f5: DUP2
000015f6: MSTORE
000015f7: ADDRESS
000015f8: PUSH1 0x04
000015fa: DUP3
000015fb: ADD
000015fc: MSTORE
000015fd: SWAP1
000015fe: MLOAD
000015ff: PUSH1 0x00
00001601: SWAP3
00001602: PUSH1 0x01
00001604: PUSH1 0x01
00001606: PUSH1 0xa0
00001608: SHL
00001609: SUB
0000160a: AND
0000160b: SWAP2
0000160c: DUP3
0000160d: SWAP2
0000160e: PUSH4 0x70a08231
00001613: SWAP2
00001614: PUSH1 0x24
00001616: DUP1
00001617: DUP3
00001618: ADD
00001619: SWAP3
0000161a: PUSH1 0x20
0000161c: SWAP3
0000161d: SWAP1
0000161e: SWAP2
0000161f: SWAP1
00001620: DUP3
00001621: SWAP1
00001622: SUB
00001623: ADD
00001624: DUP2
00001625: DUP7
00001626: DUP1
00001627: EXTCODESIZE
00001628: ISZERO
00001629: DUP1
0000162a: ISZERO
0000162b: PUSH2 0x1633
0000162e: JUMPI
0000162f: PUSH1 0x00
00001631: DUP1
00001632: REVERT
00001633: JUMPDEST
00001634: POP
00001635: GAS
00001636: STATICCALL
00001637: ISZERO
00001638: DUP1
00001639: ISZERO
0000163a: PUSH2 0x1647
0000163d: JUMPI
0000163e: RETURNDATASIZE
0000163f: PUSH1 0x00
00001641: DUP1
00001642: RETURNDATACOPY
00001643: RETURNDATASIZE
00001644: PUSH1 0x00
00001646: REVERT
00001647: JUMPDEST
00001648: POP
00001649: POP
0000164a: POP
0000164b: POP
0000164c: PUSH1 0x40
0000164e: MLOAD
0000164f: RETURNDATASIZE
00001650: PUSH1 0x20
00001652: DUP2
00001653: LT
00001654: ISZERO
00001655: PUSH2 0x165d
00001658: JUMPI
00001659: PUSH1 0x00
0000165b: DUP1
0000165c: REVERT
0000165d: JUMPDEST
0000165e: POP
0000165f: MLOAD
00001660: SWAP2
00001661: POP
00001662: POP
00001663: SWAP1
00001664: JUMP
00001665: JUMPDEST
00001666: PUSH1 0x00
00001668: DUP1
00001669: SLOAD
0000166a: PUSH1 0xff
0000166c: AND
0000166d: PUSH2 0x16aa
00001670: JUMPI
00001671: PUSH1 0x40
00001673: DUP1
00001674: MLOAD
00001675: PUSH3 0x461bcd
00001679: PUSH1 0xe5
0000167b: SHL
0000167c: DUP2
0000167d: MSTORE
0000167e: PUSH1 0x20
00001680: PUSH1 0x04
00001682: DUP3
00001683: ADD
00001684: MSTORE
00001685: PUSH1 0x0a
00001687: PUSH1 0x24
00001689: DUP3
0000168a: ADD
0000168b: MSTORE
0000168c: PUSH10 0x1c994b595b9d195c9959
00001697: PUSH1 0xb2
00001699: SHL
0000169a: PUSH1 0x44
0000169c: DUP3
0000169d: ADD
0000169e: MSTORE
0000169f: SWAP1
000016a0: MLOAD
000016a1: SWAP1
000016a2: DUP2
000016a3: SWAP1
000016a4: SUB
000016a5: PUSH1 0x64
000016a7: ADD
000016a8: SWAP1
000016a9: REVERT
000016aa: JUMPDEST
000016ab: PUSH1 0x00
000016ad: DUP1
000016ae: SLOAD
000016af: PUSH1 0xff
000016b1: NOT
000016b2: AND
000016b3: SWAP1
000016b4: SSTORE
000016b5: PUSH2 0x16be
000016b8: CALLER
000016b9: DUP4
000016ba: PUSH2 0x1ba0
000016bd: JUMP
000016be: JUMPDEST
000016bf: SWAP1
000016c0: POP
000016c1: PUSH1 0x00
000016c3: DUP1
000016c4: SLOAD
000016c5: PUSH1 0xff
000016c7: NOT
000016c8: AND
000016c9: PUSH1 0x01
000016cb: OR
000016cc: SWAP1
000016cd: SSTORE
000016ce: SWAP2
000016cf: SWAP1
000016d0: POP
000016d1: JUMP
000016d2: JUMPDEST
000016d3: PUSH1 0x05
000016d5: SLOAD
000016d6: PUSH1 0x40
000016d8: DUP1
000016d9: MLOAD
000016da: PUSH4 0xd02f7351
000016df: PUSH1 0xe0
000016e1: SHL
000016e2: DUP2
000016e3: MSTORE
000016e4: ADDRESS
000016e5: PUSH1 0x04
000016e7: DUP3
000016e8: ADD
000016e9: MSTORE
000016ea: PUSH1 0x01
000016ec: PUSH1 0x01
000016ee: PUSH1 0xa0
000016f0: SHL
000016f1: SUB
000016f2: DUP8
000016f3: DUP2
000016f4: AND
000016f5: PUSH1 0x24
000016f7: DUP4
000016f8: ADD
000016f9: MSTORE
000016fa: DUP7
000016fb: DUP2
000016fc: AND
000016fd: PUSH1 0x44
000016ff: DUP4
00001700: ADD
00001701: MSTORE
00001702: DUP6
00001703: DUP2
00001704: AND
00001705: PUSH1 0x64
00001707: DUP4
00001708: ADD
00001709: MSTORE
0000170a: PUSH1 0x84
0000170c: DUP3
0000170d: ADD
0000170e: DUP6
0000170f: SWAP1
00001710: MSTORE
00001711: SWAP2
00001712: MLOAD
00001713: PUSH1 0x00
00001715: SWAP4
00001716: PUSH1 0x60
00001718: SWAP4
00001719: AND
0000171a: SWAP2
0000171b: PUSH4 0xd02f7351
00001720: SWAP2
00001721: PUSH1 0xa4
00001723: DUP1
00001724: DUP4
00001725: ADD
00001726: SWAP3
00001727: DUP8
00001728: SWAP3
00001729: SWAP2
0000172a: SWAP1
0000172b: DUP3
0000172c: SWAP1
0000172d: SUB
0000172e: ADD
0000172f: DUP2
00001730: DUP4
00001731: DUP8
00001732: DUP1
00001733: EXTCODESIZE
00001734: ISZERO
00001735: DUP1
00001736: ISZERO
00001737: PUSH2 0x173f
0000173a: JUMPI
0000173b: PUSH1 0x00
0000173d: DUP1
0000173e: REVERT
0000173f: JUMPDEST
00001740: POP
00001741: GAS
00001742: CALL
00001743: ISZERO
00001744: DUP1
00001745: ISZERO
00001746: PUSH2 0x1753
00001749: JUMPI
0000174a: RETURNDATASIZE
0000174b: PUSH1 0x00
0000174d: DUP1
0000174e: RETURNDATACOPY
0000174f: RETURNDATASIZE
00001750: PUSH1 0x00
00001752: REVERT
00001753: JUMPDEST
00001754: POP
00001755: POP
00001756: POP
00001757: POP
00001758: PUSH1 0x40
0000175a: MLOAD
0000175b: RETURNDATASIZE
0000175c: PUSH1 0x00
0000175e: DUP3
0000175f: RETURNDATACOPY
00001760: PUSH1 0x1f
00001762: RETURNDATASIZE
00001763: SWAP1
00001764: DUP2
00001765: ADD
00001766: PUSH1 0x1f
00001768: NOT
00001769: AND
0000176a: DUP3
0000176b: ADD
0000176c: PUSH1 0x40
0000176e: SWAP1
0000176f: DUP2
00001770: MSTORE
00001771: DUP2
00001772: LT
00001773: ISZERO
00001774: PUSH2 0x177c
00001777: JUMPI
00001778: PUSH1 0x00
0000177a: DUP1
0000177b: REVERT
0000177c: JUMPDEST
0000177d: DUP2
0000177e: MLOAD
0000177f: PUSH1 0x20
00001781: DUP4
00001782: ADD
00001783: DUP1
00001784: MLOAD
00001785: PUSH1 0x40
00001787: MLOAD
00001788: SWAP3
00001789: SWAP5
0000178a: SWAP3
0000178b: SWAP4
0000178c: DUP4
0000178d: ADD
0000178e: SWAP3
0000178f: SWAP2
00001790: SWAP1
00001791: DUP5
00001792: PUSH1 0x01
00001794: PUSH1 0x20
00001796: SHL
00001797: DUP3
00001798: GT
00001799: ISZERO
0000179a: PUSH2 0x17a2
0000179d: JUMPI
0000179e: PUSH1 0x00
000017a0: DUP1
000017a1: REVERT
000017a2: JUMPDEST
000017a3: SWAP1
000017a4: DUP4
000017a5: ADD
000017a6: SWAP1
000017a7: PUSH1 0x20
000017a9: DUP3
000017aa: ADD
000017ab: DUP6
000017ac: DUP2
000017ad: GT
000017ae: ISZERO
000017af: PUSH2 0x17b7
000017b2: JUMPI
000017b3: PUSH1 0x00
000017b5: DUP1
000017b6: REVERT
000017b7: JUMPDEST
000017b8: DUP3
000017b9: MLOAD
000017ba: PUSH1 0x01
000017bc: PUSH1 0x20
000017be: SHL
000017bf: DUP2
000017c0: GT
000017c1: DUP3
000017c2: DUP3
000017c3: ADD
000017c4: DUP9
000017c5: LT
000017c6: OR
000017c7: ISZERO
000017c8: PUSH2 0x17d0
000017cb: JUMPI
000017cc: PUSH1 0x00
000017ce: DUP1
000017cf: REVERT
000017d0: JUMPDEST
000017d1: DUP3
000017d2: MSTORE
000017d3: POP
000017d4: DUP2
000017d5: MLOAD
000017d6: PUSH1 0x20
000017d8: SWAP2
000017d9: DUP3
000017da: ADD
000017db: SWAP3
000017dc: SWAP1
000017dd: SWAP2
000017de: ADD
000017df: SWAP1
000017e0: DUP1
000017e1: DUP4
000017e2: DUP4
000017e3: PUSH1 0x00
000017e5: JUMPDEST
000017e6: DUP4
000017e7: DUP2
000017e8: LT
000017e9: ISZERO
000017ea: PUSH2 0x17fd
000017ed: JUMPI
000017ee: DUP2
000017ef: DUP2
000017f0: ADD
000017f1: MLOAD
000017f2: DUP4
000017f3: DUP3
000017f4: ADD
000017f5: MSTORE
000017f6: PUSH1 0x20
000017f8: ADD
000017f9: PUSH2 0x17e5
000017fc: JUMP
000017fd: JUMPDEST
000017fe: POP
000017ff: POP
00001800: POP
00001801: POP
00001802: SWAP1
00001803: POP
00001804: SWAP1
00001805: DUP2
00001806: ADD
00001807: SWAP1
00001808: PUSH1 0x1f
0000180a: AND
0000180b: DUP1
0000180c: ISZERO
0000180d: PUSH2 0x182a
00001810: JUMPI
00001811: DUP1
00001812: DUP3
00001813: SUB
00001814: DUP1
00001815: MLOAD
00001816: PUSH1 0x01
00001818: DUP4
00001819: PUSH1 0x20
0000181b: SUB
0000181c: PUSH2 0x0100
0000181f: EXP
00001820: SUB
00001821: NOT
00001822: AND
00001823: DUP2
00001824: MSTORE
00001825: PUSH1 0x20
00001827: ADD
00001828: SWAP2
00001829: POP
0000182a: JUMPDEST
0000182b: POP
0000182c: PUSH1 0x40
0000182e: MSTORE
0000182f: POP
00001830: POP
00001831: POP
00001832: SWAP2
00001833: POP
00001834: SWAP2
00001835: POP
00001836: DUP2
00001837: DUP2
00001838: SWAP1
00001839: PUSH2 0x1883
0000183c: JUMPI
0000183d: PUSH1 0x40
0000183f: MLOAD
00001840: PUSH3 0x461bcd
00001844: PUSH1 0xe5
00001846: SHL
00001847: DUP2
00001848: MSTORE
00001849: PUSH1 0x20
0000184b: PUSH1 0x04
0000184d: DUP3
0000184e: ADD
0000184f: DUP2
00001850: DUP2
00001851: MSTORE
00001852: DUP4
00001853: MLOAD
00001854: PUSH1 0x24
00001856: DUP5
00001857: ADD
00001858: MSTORE
00001859: DUP4
0000185a: MLOAD
0000185b: SWAP1
0000185c: SWAP3
0000185d: DUP4
0000185e: SWAP3
0000185f: PUSH1 0x44
00001861: SWAP1
00001862: SWAP2
00001863: ADD
00001864: SWAP2
00001865: SWAP1
00001866: DUP6
00001867: ADD
00001868: SWAP1
00001869: DUP1
0000186a: DUP4
0000186b: DUP4
0000186c: PUSH1 0x00
0000186e: DUP4
0000186f: ISZERO
00001870: PUSH2 0x12cc
00001873: JUMPI
00001874: DUP2
00001875: DUP2
00001876: ADD
00001877: MLOAD
00001878: DUP4
00001879: DUP3
0000187a: ADD
0000187b: MSTORE
0000187c: PUSH1 0x20
0000187e: ADD
0000187f: PUSH2 0x12b4
00001882: JUMP
00001883: JUMPDEST
00001884: POP
00001885: DUP5
00001886: PUSH1 0x01
00001888: PUSH1 0x01
0000188a: PUSH1 0xa0
0000188c: SHL
0000188d: SUB
0000188e: AND
0000188f: DUP5
00001890: PUSH1 0x01
00001892: PUSH1 0x01
00001894: PUSH1 0xa0
00001896: SHL
00001897: SUB
00001898: AND
00001899: EQ
0000189a: ISZERO
0000189b: PUSH1 0x40
0000189d: MLOAD
0000189e: DUP1
0000189f: PUSH1 0x40
000018a1: ADD
000018a2: PUSH1 0x40
000018a4: MSTORE
000018a5: DUP1
000018a6: PUSH1 0x14
000018a8: DUP2
000018a9: MSTORE
000018aa: PUSH1 0x20
000018ac: ADD
000018ad: PUSH20 0x24a72b20a624a22fa0a1a1a7aaa72a2fa820a4a9
000018c2: PUSH1 0x61
000018c4: SHL
000018c5: DUP2
000018c6: MSTORE
000018c7: POP
000018c8: SWAP1
000018c9: PUSH2 0x1913
000018cc: JUMPI
000018cd: PUSH1 0x40
000018cf: MLOAD
000018d0: PUSH3 0x461bcd
000018d4: PUSH1 0xe5
000018d6: SHL
000018d7: DUP2
000018d8: MSTORE
000018d9: PUSH1 0x20
000018db: PUSH1 0x04
000018dd: DUP3
000018de: ADD
000018df: DUP2
000018e0: DUP2
000018e1: MSTORE
000018e2: DUP4
000018e3: MLOAD
000018e4: PUSH1 0x24
000018e6: DUP5
000018e7: ADD
000018e8: MSTORE
000018e9: DUP4
000018ea: MLOAD
000018eb: SWAP1
000018ec: SWAP3
000018ed: DUP4
000018ee: SWAP3
000018ef: PUSH1 0x44
000018f1: SWAP1
000018f2: SWAP2
000018f3: ADD
000018f4: SWAP2
000018f5: SWAP1
000018f6: DUP6
000018f7: ADD
000018f8: SWAP1
000018f9: DUP1
000018fa: DUP4
000018fb: DUP4
000018fc: PUSH1 0x00
000018fe: DUP4
000018ff: ISZERO
00001900: PUSH2 0x12cc
00001903: JUMPI
00001904: DUP2
00001905: DUP2
00001906: ADD
00001907: MLOAD
00001908: DUP4
00001909: DUP3
0000190a: ADD
0000190b: MSTORE
0000190c: PUSH1 0x20
0000190e: ADD
0000190f: PUSH2 0x12b4
00001912: JUMP
00001913: JUMPDEST
00001914: POP
00001915: PUSH1 0x00
00001917: PUSH2 0x1959
0000191a: DUP5
0000191b: PUSH1 0x40
0000191d: MLOAD
0000191e: DUP1
0000191f: PUSH1 0x60
00001921: ADD
00001922: PUSH1 0x40
00001924: MSTORE
00001925: DUP1
00001926: PUSH1 0x28
00001928: DUP2
00001929: MSTORE
0000192a: PUSH1 0x20
0000192c: ADD
0000192d: PUSH2 0x2932
00001930: PUSH1 0x28
00001932: SWAP2
00001933: CODECOPY
00001934: PUSH1 0x01
00001936: PUSH1 0x01
00001938: PUSH1 0xa0
0000193a: SHL
0000193b: SUB
0000193c: DUP9
0000193d: AND
0000193e: PUSH1 0x00
00001940: SWAP1
00001941: DUP2
00001942: MSTORE
00001943: PUSH1 0x07
00001945: PUSH1 0x20
00001947: MSTORE
00001948: PUSH1 0x40
0000194a: SWAP1
0000194b: KECCAK256
0000194c: SLOAD
0000194d: SWAP2
0000194e: SWAP1
0000194f: PUSH4 0xffffffff
00001954: PUSH2 0x1ae8
00001957: AND
00001958: JUMP
00001959: JUMPDEST
0000195a: SWAP1
0000195b: POP
0000195c: PUSH1 0x00
0000195e: PUSH2 0x19a0
00001961: DUP6
00001962: PUSH1 0x40
00001964: MLOAD
00001965: DUP1
00001966: PUSH1 0x60
00001968: ADD
00001969: PUSH1 0x40
0000196b: MSTORE
0000196c: DUP1
0000196d: PUSH1 0x28
0000196f: DUP2
00001970: MSTORE
00001971: PUSH1 0x20
00001973: ADD
00001974: PUSH2 0x2987
00001977: PUSH1 0x28
00001979: SWAP2
0000197a: CODECOPY
0000197b: PUSH1 0x01
0000197d: PUSH1 0x01
0000197f: PUSH1 0xa0
00001981: SHL
00001982: SUB
00001983: DUP11
00001984: AND
00001985: PUSH1 0x00
00001987: SWAP1
00001988: DUP2
00001989: MSTORE
0000198a: PUSH1 0x07
0000198c: PUSH1 0x20
0000198e: MSTORE
0000198f: PUSH1 0x40
00001991: SWAP1
00001992: KECCAK256
00001993: SLOAD
00001994: SWAP2
00001995: SWAP1
00001996: PUSH4 0xffffffff
0000199b: PUSH2 0x1b42
0000199e: AND
0000199f: JUMP
000019a0: JUMPDEST
000019a1: PUSH1 0x01
000019a3: PUSH1 0x01
000019a5: PUSH1 0xa0
000019a7: SHL
000019a8: SUB
000019a9: DUP1
000019aa: DUP9
000019ab: AND
000019ac: PUSH1 0x00
000019ae: DUP2
000019af: DUP2
000019b0: MSTORE
000019b1: PUSH1 0x07
000019b3: PUSH1 0x20
000019b5: SWAP1
000019b6: DUP2
000019b7: MSTORE
000019b8: PUSH1 0x40
000019ba: DUP1
000019bb: DUP4
000019bc: KECCAK256
000019bd: DUP9
000019be: SWAP1
000019bf: SSTORE
000019c0: SWAP4
000019c1: DUP13
000019c2: AND
000019c3: DUP1
000019c4: DUP4
000019c5: MSTORE
000019c6: SWAP2
000019c7: DUP5
000019c8: SWAP1
000019c9: KECCAK256
000019ca: DUP6
000019cb: SWAP1
000019cc: SSTORE
000019cd: DUP4
000019ce: MLOAD
000019cf: DUP11
000019d0: DUP2
000019d1: MSTORE
000019d2: SWAP4
000019d3: MLOAD
000019d4: SWAP5
000019d5: SWAP6
000019d6: POP
000019d7: SWAP1
000019d8: SWAP4
000019d9: SWAP2
000019da: SWAP3
000019db: PUSH1 0x00
000019dd: DUP1
000019de: MLOAD
000019df: PUSH1 0x20
000019e1: PUSH2 0x28ea
000019e4: DUP4
000019e5: CODECOPY
000019e6: DUP2
000019e7: MLOAD
000019e8: SWAP2
000019e9: MSTORE
000019ea: SWAP3
000019eb: SWAP1
000019ec: DUP2
000019ed: SWAP1
000019ee: SUB
000019ef: SWAP1
000019f0: SWAP2
000019f1: ADD
000019f2: SWAP1
000019f3: LOG3
000019f4: PUSH1 0x05
000019f6: SLOAD
000019f7: PUSH1 0x40
000019f9: DUP1
000019fa: MLOAD
000019fb: PUSH4 0x6d35bf91
00001a00: PUSH1 0xe0
00001a02: SHL
00001a03: DUP2
00001a04: MSTORE
00001a05: ADDRESS
00001a06: PUSH1 0x04
00001a08: DUP3
00001a09: ADD
00001a0a: MSTORE
00001a0b: PUSH1 0x01
00001a0d: PUSH1 0x01
00001a0f: PUSH1 0xa0
00001a11: SHL
00001a12: SUB
00001a13: DUP12
00001a14: DUP2
00001a15: AND
00001a16: PUSH1 0x24
00001a18: DUP4
00001a19: ADD
00001a1a: MSTORE
00001a1b: DUP11
00001a1c: DUP2
00001a1d: AND
00001a1e: PUSH1 0x44
00001a20: DUP4
00001a21: ADD
00001a22: MSTORE
00001a23: DUP10
00001a24: DUP2
00001a25: AND
00001a26: PUSH1 0x64
00001a28: DUP4
00001a29: ADD
00001a2a: MSTORE
00001a2b: PUSH1 0x84
00001a2d: DUP3
00001a2e: ADD
00001a2f: DUP10
00001a30: SWAP1
00001a31: MSTORE
00001a32: SWAP2
00001a33: MLOAD
00001a34: SWAP2
00001a35: SWAP1
00001a36: SWAP3
00001a37: AND
00001a38: SWAP2
00001a39: PUSH4 0x6d35bf91
00001a3e: SWAP2
00001a3f: PUSH1 0xa4
00001a41: DUP1
00001a42: DUP4
00001a43: ADD
00001a44: SWAP3
00001a45: PUSH1 0x00
00001a47: SWAP3
00001a48: SWAP2
00001a49: SWAP1
00001a4a: DUP3
00001a4b: SWAP1
00001a4c: SUB
00001a4d: ADD
00001a4e: DUP2
00001a4f: DUP4
00001a50: DUP8
00001a51: DUP1
00001a52: EXTCODESIZE
00001a53: ISZERO
00001a54: DUP1
00001a55: ISZERO
00001a56: PUSH2 0x1a5e
00001a59: JUMPI
00001a5a: PUSH1 0x00
00001a5c: DUP1
00001a5d: REVERT
00001a5e: JUMPDEST
00001a5f: POP
00001a60: GAS
00001a61: CALL
00001a62: ISZERO
00001a63: DUP1
00001a64: ISZERO
00001a65: PUSH2 0x1a72
00001a68: JUMPI
00001a69: RETURNDATASIZE
00001a6a: PUSH1 0x00
00001a6c: DUP1
00001a6d: RETURNDATACOPY
00001a6e: RETURNDATASIZE
00001a6f: PUSH1 0x00
00001a71: REVERT
00001a72: JUMPDEST
00001a73: POP
00001a74: POP
00001a75: POP
00001a76: POP
00001a77: POP
00001a78: POP
00001a79: POP
00001a7a: POP
00001a7b: POP
00001a7c: POP
00001a7d: POP
00001a7e: POP
00001a7f: JUMP
00001a80: JUMPDEST
00001a81: PUSH1 0x00
00001a83: SLOAD
00001a84: PUSH1 0xff
00001a86: AND
00001a87: PUSH2 0x1ac4
00001a8a: JUMPI
00001a8b: PUSH1 0x40
00001a8d: DUP1
00001a8e: MLOAD
00001a8f: PUSH3 0x461bcd
00001a93: PUSH1 0xe5
00001a95: SHL
00001a96: DUP2
00001a97: MSTORE
00001a98: PUSH1 0x20
00001a9a: PUSH1 0x04
00001a9c: DUP3
00001a9d: ADD
00001a9e: MSTORE
00001a9f: PUSH1 0x0a
00001aa1: PUSH1 0x24
00001aa3: DUP3
00001aa4: ADD
00001aa5: MSTORE
00001aa6: PUSH10 0x1c994b595b9d195c9959
00001ab1: PUSH1 0xb2
00001ab3: SHL
00001ab4: PUSH1 0x44
00001ab6: DUP3
00001ab7: ADD
00001ab8: MSTORE
00001ab9: SWAP1
00001aba: MLOAD
00001abb: SWAP1
00001abc: DUP2
00001abd: SWAP1
00001abe: SUB
00001abf: PUSH1 0x64
00001ac1: ADD
00001ac2: SWAP1
00001ac3: REVERT
00001ac4: JUMPDEST
00001ac5: PUSH1 0x00
00001ac7: DUP1
00001ac8: SLOAD
00001ac9: PUSH1 0xff
00001acb: NOT
00001acc: AND
00001acd: SWAP1
00001ace: SSTORE
00001acf: PUSH2 0x1ad8
00001ad2: CALLER
00001ad3: DUP3
00001ad4: PUSH2 0x1f0c
00001ad7: JUMP
00001ad8: JUMPDEST
00001ad9: POP
00001ada: PUSH1 0x00
00001adc: DUP1
00001add: SLOAD
00001ade: PUSH1 0xff
00001ae0: NOT
00001ae1: AND
00001ae2: PUSH1 0x01
00001ae4: OR
00001ae5: SWAP1
00001ae6: SSTORE
00001ae7: JUMP
00001ae8: JUMPDEST
00001ae9: PUSH1 0x00
00001aeb: DUP2
00001aec: DUP5
00001aed: DUP5
00001aee: GT
00001aef: ISZERO
00001af0: PUSH2 0x1b3a
00001af3: JUMPI
00001af4: PUSH1 0x40
00001af6: MLOAD
00001af7: PUSH3 0x461bcd
00001afb: PUSH1 0xe5
00001afd: SHL
00001afe: DUP2
00001aff: MSTORE
00001b00: PUSH1 0x20
00001b02: PUSH1 0x04
00001b04: DUP3
00001b05: ADD
00001b06: DUP2
00001b07: DUP2
00001b08: MSTORE
00001b09: DUP4
00001b0a: MLOAD
00001b0b: PUSH1 0x24
00001b0d: DUP5
00001b0e: ADD
00001b0f: MSTORE
00001b10: DUP4
00001b11: MLOAD
00001b12: SWAP1
00001b13: SWAP3
00001b14: DUP4
00001b15: SWAP3
00001b16: PUSH1 0x44
00001b18: SWAP1
00001b19: SWAP2
00001b1a: ADD
00001b1b: SWAP2
00001b1c: SWAP1
00001b1d: DUP6
00001b1e: ADD
00001b1f: SWAP1
00001b20: DUP1
00001b21: DUP4
00001b22: DUP4
00001b23: PUSH1 0x00
00001b25: DUP4
00001b26: ISZERO
00001b27: PUSH2 0x12cc
00001b2a: JUMPI
00001b2b: DUP2
00001b2c: DUP2
00001b2d: ADD
00001b2e: MLOAD
00001b2f: DUP4
00001b30: DUP3
00001b31: ADD
00001b32: MSTORE
00001b33: PUSH1 0x20
00001b35: ADD
00001b36: PUSH2 0x12b4
00001b39: JUMP
00001b3a: JUMPDEST
00001b3b: POP
00001b3c: POP
00001b3d: POP
00001b3e: SWAP1
00001b3f: SUB
00001b40: SWAP1
00001b41: JUMP
00001b42: JUMPDEST
00001b43: PUSH1 0x00
00001b45: DUP4
00001b46: DUP4
00001b47: ADD
00001b48: DUP3
00001b49: DUP6
00001b4a: DUP3
00001b4b: LT
00001b4c: ISZERO
00001b4d: PUSH2 0x1b97
00001b50: JUMPI
00001b51: PUSH1 0x40
00001b53: MLOAD
00001b54: PUSH3 0x461bcd
00001b58: PUSH1 0xe5
00001b5a: SHL
00001b5b: DUP2
00001b5c: MSTORE
00001b5d: PUSH1 0x20
00001b5f: PUSH1 0x04
00001b61: DUP3
00001b62: ADD
00001b63: DUP2
00001b64: DUP2
00001b65: MSTORE
00001b66: DUP4
00001b67: MLOAD
00001b68: PUSH1 0x24
00001b6a: DUP5
00001b6b: ADD
00001b6c: MSTORE
00001b6d: DUP4
00001b6e: MLOAD
00001b6f: SWAP1
00001b70: SWAP3
00001b71: DUP4
00001b72: SWAP3
00001b73: PUSH1 0x44
00001b75: SWAP1
00001b76: SWAP2
00001b77: ADD
00001b78: SWAP2
00001b79: SWAP1
00001b7a: DUP6
00001b7b: ADD
00001b7c: SWAP1
00001b7d: DUP1
00001b7e: DUP4
00001b7f: DUP4
00001b80: PUSH1 0x00
00001b82: DUP4
00001b83: ISZERO
00001b84: PUSH2 0x12cc
00001b87: JUMPI
00001b88: DUP2
00001b89: DUP2
00001b8a: ADD
00001b8b: MLOAD
00001b8c: DUP4
00001b8d: DUP3
00001b8e: ADD
00001b8f: MSTORE
00001b90: PUSH1 0x20
00001b92: ADD
00001b93: PUSH2 0x12b4
00001b96: JUMP
00001b97: JUMPDEST
00001b98: POP
00001b99: SWAP5
00001b9a: SWAP4
00001b9b: POP
00001b9c: POP
00001b9d: POP
00001b9e: POP
00001b9f: JUMP
00001ba0: JUMPDEST
00001ba1: PUSH1 0x05
00001ba3: SLOAD
00001ba4: PUSH1 0x40
00001ba6: DUP1
00001ba7: MLOAD
00001ba8: PUSH4 0x4ef4c3e1
00001bad: PUSH1 0xe0
00001baf: SHL
00001bb0: DUP2
00001bb1: MSTORE
00001bb2: ADDRESS
00001bb3: PUSH1 0x04
00001bb5: DUP3
00001bb6: ADD
00001bb7: MSTORE
00001bb8: PUSH1 0x01
00001bba: PUSH1 0x01
00001bbc: PUSH1 0xa0
00001bbe: SHL
00001bbf: SUB
00001bc0: DUP6
00001bc1: DUP2
00001bc2: AND
00001bc3: PUSH1 0x24
00001bc5: DUP4
00001bc6: ADD
00001bc7: MSTORE
00001bc8: PUSH1 0x44
00001bca: DUP3
00001bcb: ADD
00001bcc: DUP6
00001bcd: SWAP1
00001bce: MSTORE
00001bcf: SWAP2
00001bd0: MLOAD
00001bd1: PUSH1 0x00
00001bd3: SWAP4
00001bd4: DUP5
00001bd5: SWAP4
00001bd6: PUSH1 0x60
00001bd8: SWAP4
00001bd9: SWAP2
00001bda: AND
00001bdb: SWAP2
00001bdc: PUSH4 0x4ef4c3e1
00001be1: SWAP2
00001be2: PUSH1 0x64
00001be4: DUP1
00001be5: DUP3
00001be6: ADD
00001be7: SWAP3
00001be8: DUP8
00001be9: SWAP3
00001bea: SWAP1
00001beb: SWAP2
00001bec: SWAP1
00001bed: DUP3
00001bee: SWAP1
00001bef: SUB
00001bf0: ADD
00001bf1: DUP2
00001bf2: DUP4
00001bf3: DUP8
00001bf4: DUP1
00001bf5: EXTCODESIZE
00001bf6: ISZERO
00001bf7: DUP1
00001bf8: ISZERO
00001bf9: PUSH2 0x1c01
00001bfc: JUMPI
00001bfd: PUSH1 0x00
00001bff: DUP1
00001c00: REVERT
00001c01: JUMPDEST
00001c02: POP
00001c03: GAS
00001c04: CALL
00001c05: ISZERO
00001c06: DUP1
00001c07: ISZERO
00001c08: PUSH2 0x1c15
00001c0b: JUMPI
00001c0c: RETURNDATASIZE
00001c0d: PUSH1 0x00
00001c0f: DUP1
00001c10: RETURNDATACOPY
00001c11: RETURNDATASIZE
00001c12: PUSH1 0x00
00001c14: REVERT
00001c15: JUMPDEST
00001c16: POP
00001c17: POP
00001c18: POP
00001c19: POP
00001c1a: PUSH1 0x40
00001c1c: MLOAD
00001c1d: RETURNDATASIZE
00001c1e: PUSH1 0x00
00001c20: DUP3
00001c21: RETURNDATACOPY
00001c22: PUSH1 0x1f
00001c24: RETURNDATASIZE
00001c25: SWAP1
00001c26: DUP2
00001c27: ADD
00001c28: PUSH1 0x1f
00001c2a: NOT
00001c2b: AND
00001c2c: DUP3
00001c2d: ADD
00001c2e: PUSH1 0x40
00001c30: SWAP1
00001c31: DUP2
00001c32: MSTORE
00001c33: DUP2
00001c34: LT
00001c35: ISZERO
00001c36: PUSH2 0x1c3e
00001c39: JUMPI
00001c3a: PUSH1 0x00
00001c3c: DUP1
00001c3d: REVERT
00001c3e: JUMPDEST
00001c3f: DUP2
00001c40: MLOAD
00001c41: PUSH1 0x20
00001c43: DUP4
00001c44: ADD
00001c45: DUP1
00001c46: MLOAD
00001c47: PUSH1 0x40
00001c49: MLOAD
00001c4a: SWAP3
00001c4b: SWAP5
00001c4c: SWAP3
00001c4d: SWAP4
00001c4e: DUP4
00001c4f: ADD
00001c50: SWAP3
00001c51: SWAP2
00001c52: SWAP1
00001c53: DUP5
00001c54: PUSH1 0x01
00001c56: PUSH1 0x20
00001c58: SHL
00001c59: DUP3
00001c5a: GT
00001c5b: ISZERO
00001c5c: PUSH2 0x1c64
00001c5f: JUMPI
00001c60: PUSH1 0x00
00001c62: DUP1
00001c63: REVERT
00001c64: JUMPDEST
00001c65: SWAP1
00001c66: DUP4
00001c67: ADD
00001c68: SWAP1
00001c69: PUSH1 0x20
00001c6b: DUP3
00001c6c: ADD
00001c6d: DUP6
00001c6e: DUP2
00001c6f: GT
00001c70: ISZERO
00001c71: PUSH2 0x1c79
00001c74: JUMPI
00001c75: PUSH1 0x00
00001c77: DUP1
00001c78: REVERT
00001c79: JUMPDEST
00001c7a: DUP3
00001c7b: MLOAD
00001c7c: PUSH1 0x01
00001c7e: PUSH1 0x20
00001c80: SHL
00001c81: DUP2
00001c82: GT
00001c83: DUP3
00001c84: DUP3
00001c85: ADD
00001c86: DUP9
00001c87: LT
00001c88: OR
00001c89: ISZERO
00001c8a: PUSH2 0x1c92
00001c8d: JUMPI
00001c8e: PUSH1 0x00
00001c90: DUP1
00001c91: REVERT
00001c92: JUMPDEST
00001c93: DUP3
00001c94: MSTORE
00001c95: POP
00001c96: DUP2
00001c97: MLOAD
00001c98: PUSH1 0x20
00001c9a: SWAP2
00001c9b: DUP3
00001c9c: ADD
00001c9d: SWAP3
00001c9e: SWAP1
00001c9f: SWAP2
00001ca0: ADD
00001ca1: SWAP1
00001ca2: DUP1
00001ca3: DUP4
00001ca4: DUP4
00001ca5: PUSH1 0x00
00001ca7: JUMPDEST
00001ca8: DUP4
00001ca9: DUP2
00001caa: LT
00001cab: ISZERO
00001cac: PUSH2 0x1cbf
00001caf: JUMPI
00001cb0: DUP2
00001cb1: DUP2
00001cb2: ADD
00001cb3: MLOAD
00001cb4: DUP4
00001cb5: DUP3
00001cb6: ADD
00001cb7: MSTORE
00001cb8: PUSH1 0x20
00001cba: ADD
00001cbb: PUSH2 0x1ca7
00001cbe: JUMP
00001cbf: JUMPDEST
00001cc0: POP
00001cc1: POP
00001cc2: POP
00001cc3: POP
00001cc4: SWAP1
00001cc5: POP
00001cc6: SWAP1
00001cc7: DUP2
00001cc8: ADD
00001cc9: SWAP1
00001cca: PUSH1 0x1f
00001ccc: AND
00001ccd: DUP1
00001cce: ISZERO
00001ccf: PUSH2 0x1cec
00001cd2: JUMPI
00001cd3: DUP1
00001cd4: DUP3
00001cd5: SUB
00001cd6: DUP1
00001cd7: MLOAD
00001cd8: PUSH1 0x01
00001cda: DUP4
00001cdb: PUSH1 0x20
00001cdd: SUB
00001cde: PUSH2 0x0100
00001ce1: EXP
00001ce2: SUB
00001ce3: NOT
00001ce4: AND
00001ce5: DUP2
00001ce6: MSTORE
00001ce7: PUSH1 0x20
00001ce9: ADD
00001cea: SWAP2
00001ceb: POP
00001cec: JUMPDEST
00001ced: POP
00001cee: PUSH1 0x40
00001cf0: MSTORE
00001cf1: POP
00001cf2: POP
00001cf3: POP
00001cf4: SWAP2
00001cf5: POP
00001cf6: SWAP2
00001cf7: POP
00001cf8: DUP2
00001cf9: DUP2
00001cfa: SWAP1
00001cfb: PUSH2 0x1d45
00001cfe: JUMPI
00001cff: PUSH1 0x40
00001d01: MLOAD
00001d02: PUSH3 0x461bcd
00001d06: PUSH1 0xe5
00001d08: SHL
00001d09: DUP2
00001d0a: MSTORE
00001d0b: PUSH1 0x20
00001d0d: PUSH1 0x04
00001d0f: DUP3
00001d10: ADD
00001d11: DUP2
00001d12: DUP2
00001d13: MSTORE
00001d14: DUP4
00001d15: MLOAD
00001d16: PUSH1 0x24
00001d18: DUP5
00001d19: ADD
00001d1a: MSTORE
00001d1b: DUP4
00001d1c: MLOAD
00001d1d: SWAP1
00001d1e: SWAP3
00001d1f: DUP4
00001d20: SWAP3
00001d21: PUSH1 0x44
00001d23: SWAP1
00001d24: SWAP2
00001d25: ADD
00001d26: SWAP2
00001d27: SWAP1
00001d28: DUP6
00001d29: ADD
00001d2a: SWAP1
00001d2b: DUP1
00001d2c: DUP4
00001d2d: DUP4
00001d2e: PUSH1 0x00
00001d30: DUP4
00001d31: ISZERO
00001d32: PUSH2 0x12cc
00001d35: JUMPI
00001d36: DUP2
00001d37: DUP2
00001d38: ADD
00001d39: MLOAD
00001d3a: DUP4
00001d3b: DUP3
00001d3c: ADD
00001d3d: MSTORE
00001d3e: PUSH1 0x20
00001d40: ADD
00001d41: PUSH2 0x12b4
00001d44: JUMP
00001d45: JUMPDEST
00001d46: POP
00001d47: PUSH2 0x1d4e
00001d4a: PUSH2 0x2776
00001d4d: JUMP
00001d4e: JUMPDEST
00001d4f: PUSH2 0x1d58
00001d52: DUP7
00001d53: DUP7
00001d54: PUSH2 0x2329
00001d57: JUMP
00001d58: JUMPDEST
00001d59: PUSH1 0x60
00001d5b: DUP1
00001d5c: DUP4
00001d5d: ADD
00001d5e: DUP3
00001d5f: SWAP1
00001d60: MSTORE
00001d61: DUP2
00001d62: DUP4
00001d63: MSTORE
00001d64: PUSH1 0x40
00001d66: DUP1
00001d67: MLOAD
00001d68: SWAP2
00001d69: DUP3
00001d6a: ADD
00001d6b: SWAP1
00001d6c: MSTORE
00001d6d: PUSH1 0x28
00001d6f: DUP1
00001d70: DUP3
00001d71: MSTORE
00001d72: PUSH2 0x1d8f
00001d75: SWAP3
00001d76: SWAP2
00001d77: SWAP1
00001d78: PUSH2 0x290a
00001d7b: PUSH1 0x20
00001d7d: DUP4
00001d7e: ADD
00001d7f: CODECOPY
00001d80: PUSH1 0x06
00001d82: SLOAD
00001d83: SWAP2
00001d84: SWAP1
00001d85: PUSH4 0xffffffff
00001d8a: PUSH2 0x1b42
00001d8d: AND
00001d8e: JUMP
00001d8f: JUMPDEST
00001d90: DUP2
00001d91: PUSH1 0x20
00001d93: ADD
00001d94: DUP2
00001d95: DUP2
00001d96: MSTORE
00001d97: POP
00001d98: POP
00001d99: PUSH2 0x1ddf
00001d9c: DUP2
00001d9d: PUSH1 0x00
00001d9f: ADD
00001da0: MLOAD
00001da1: PUSH1 0x40
00001da3: MLOAD
00001da4: DUP1
00001da5: PUSH1 0x60
00001da7: ADD
00001da8: PUSH1 0x40
00001daa: MSTORE
00001dab: DUP1
00001dac: PUSH1 0x2b
00001dae: DUP2
00001daf: MSTORE
00001db0: PUSH1 0x20
00001db2: ADD
00001db3: PUSH2 0x28bf
00001db6: PUSH1 0x2b
00001db8: SWAP2
00001db9: CODECOPY
00001dba: PUSH1 0x01
00001dbc: PUSH1 0x01
00001dbe: PUSH1 0xa0
00001dc0: SHL
00001dc1: SUB
00001dc2: DUP10
00001dc3: AND
00001dc4: PUSH1 0x00
00001dc6: SWAP1
00001dc7: DUP2
00001dc8: MSTORE
00001dc9: PUSH1 0x07
00001dcb: PUSH1 0x20
00001dcd: MSTORE
00001dce: PUSH1 0x40
00001dd0: SWAP1
00001dd1: KECCAK256
00001dd2: SLOAD
00001dd3: SWAP2
00001dd4: SWAP1
00001dd5: PUSH4 0xffffffff
00001dda: PUSH2 0x1b42
00001ddd: AND
00001dde: JUMP
00001ddf: JUMPDEST
00001de0: PUSH1 0x40
00001de2: DUP1
00001de3: DUP4
00001de4: ADD
00001de5: DUP3
00001de6: SWAP1
00001de7: MSTORE
00001de8: PUSH1 0x20
00001dea: DUP1
00001deb: DUP5
00001dec: ADD
00001ded: MLOAD
00001dee: PUSH1 0x06
00001df0: SSTORE
00001df1: PUSH1 0x01
00001df3: PUSH1 0x01
00001df5: PUSH1 0xa0
00001df7: SHL
00001df8: SUB
00001df9: DUP10
00001dfa: AND
00001dfb: PUSH1 0x00
00001dfd: DUP2
00001dfe: DUP2
00001dff: MSTORE
00001e00: PUSH1 0x07
00001e02: DUP4
00001e03: MSTORE
00001e04: DUP4
00001e05: SWAP1
00001e06: KECCAK256
00001e07: SWAP4
00001e08: SWAP1
00001e09: SWAP4
00001e0a: SSTORE
00001e0b: PUSH1 0x60
00001e0d: DUP1
00001e0e: DUP6
00001e0f: ADD
00001e10: MLOAD
00001e11: DUP6
00001e12: MLOAD
00001e13: DUP5
00001e14: MLOAD
00001e15: SWAP6
00001e16: DUP7
00001e17: MSTORE
00001e18: SWAP3
00001e19: DUP6
00001e1a: ADD
00001e1b: MSTORE
00001e1c: DUP4
00001e1d: DUP4
00001e1e: ADD
00001e1f: SWAP2
00001e20: SWAP1
00001e21: SWAP2
00001e22: MSTORE
00001e23: SWAP1
00001e24: MLOAD
00001e25: PUSH32 0x4c209b5fc8ad50758f13e2e1088ba56a560dff690a1c6fef26394f4c03821c4f
00001e46: SWAP3
00001e47: DUP2
00001e48: SWAP1
00001e49: SUB
00001e4a: SWAP1
00001e4b: SWAP2
00001e4c: ADD
00001e4d: SWAP1
00001e4e: LOG1
00001e4f: DUP1
00001e50: MLOAD
00001e51: PUSH1 0x40
00001e53: DUP1
00001e54: MLOAD
00001e55: SWAP2
00001e56: DUP3
00001e57: MSTORE
00001e58: MLOAD
00001e59: PUSH1 0x01
00001e5b: PUSH1 0x01
00001e5d: PUSH1 0xa0
00001e5f: SHL
00001e60: SUB
00001e61: DUP9
00001e62: AND
00001e63: SWAP2
00001e64: ADDRESS
00001e65: SWAP2
00001e66: PUSH1 0x00
00001e68: DUP1
00001e69: MLOAD
00001e6a: PUSH1 0x20
00001e6c: PUSH2 0x28ea
00001e6f: DUP4
00001e70: CODECOPY
00001e71: DUP2
00001e72: MLOAD
00001e73: SWAP2
00001e74: MSTORE
00001e75: SWAP2
00001e76: DUP2
00001e77: SWAP1
00001e78: SUB
00001e79: PUSH1 0x20
00001e7b: ADD
00001e7c: SWAP1
00001e7d: LOG3
00001e7e: PUSH1 0x05
00001e80: SLOAD
00001e81: PUSH1 0x60
00001e83: DUP3
00001e84: ADD
00001e85: MLOAD
00001e86: DUP3
00001e87: MLOAD
00001e88: PUSH1 0x40
00001e8a: DUP1
00001e8b: MLOAD
00001e8c: PUSH4 0x41c728b9
00001e91: PUSH1 0xe0
00001e93: SHL
00001e94: DUP2
00001e95: MSTORE
00001e96: ADDRESS
00001e97: PUSH1 0x04
00001e99: DUP3
00001e9a: ADD
00001e9b: MSTORE
00001e9c: PUSH1 0x01
00001e9e: PUSH1 0x01
00001ea0: PUSH1 0xa0
00001ea2: SHL
00001ea3: SUB
00001ea4: DUP12
00001ea5: DUP2
00001ea6: AND
00001ea7: PUSH1 0x24
00001ea9: DUP4
00001eaa: ADD
00001eab: MSTORE
00001eac: PUSH1 0x44
00001eae: DUP3
00001eaf: ADD
00001eb0: SWAP5
00001eb1: SWAP1
00001eb2: SWAP5
00001eb3: MSTORE
00001eb4: PUSH1 0x64
00001eb6: DUP2
00001eb7: ADD
00001eb8: SWAP3
00001eb9: SWAP1
00001eba: SWAP3
00001ebb: MSTORE
00001ebc: MLOAD
00001ebd: SWAP2
00001ebe: SWAP1
00001ebf: SWAP3
00001ec0: AND
00001ec1: SWAP2
00001ec2: PUSH4 0x41c728b9
00001ec7: SWAP2
00001ec8: PUSH1 0x84
00001eca: DUP1
00001ecb: DUP4
00001ecc: ADD
00001ecd: SWAP3
00001ece: PUSH1 0x00
00001ed0: SWAP3
00001ed1: SWAP2
00001ed2: SWAP1
00001ed3: DUP3
00001ed4: SWAP1
00001ed5: SUB
00001ed6: ADD
00001ed7: DUP2
00001ed8: DUP4
00001ed9: DUP8
00001eda: DUP1
00001edb: EXTCODESIZE
00001edc: ISZERO
00001edd: DUP1
00001ede: ISZERO
00001edf: PUSH2 0x1ee7
00001ee2: JUMPI
00001ee3: PUSH1 0x00
00001ee5: DUP1
00001ee6: REVERT
00001ee7: JUMPDEST
00001ee8: POP
00001ee9: GAS
00001eea: CALL
00001eeb: ISZERO
00001eec: DUP1
00001eed: ISZERO
00001eee: PUSH2 0x1efb
00001ef1: JUMPI
00001ef2: RETURNDATASIZE
00001ef3: PUSH1 0x00
00001ef5: DUP1
00001ef6: RETURNDATACOPY
00001ef7: RETURNDATASIZE
00001ef8: PUSH1 0x00
00001efa: REVERT
00001efb: JUMPDEST
00001efc: POP
00001efd: POP
00001efe: POP
00001eff: POP
00001f00: PUSH1 0x60
00001f02: ADD
00001f03: MLOAD
00001f04: SWAP6
00001f05: SWAP5
00001f06: POP
00001f07: POP
00001f08: POP
00001f09: POP
00001f0a: POP
00001f0b: JUMP
00001f0c: JUMPDEST
00001f0d: DUP1
00001f0e: PUSH2 0x1f5e
00001f11: JUMPI
00001f12: PUSH1 0x40
00001f14: DUP1
00001f15: MLOAD
00001f16: PUSH3 0x461bcd
00001f1a: PUSH1 0xe5
00001f1c: SHL
00001f1d: DUP2
00001f1e: MSTORE
00001f1f: PUSH1 0x20
00001f21: PUSH1 0x04
00001f23: DUP3
00001f24: ADD
00001f25: MSTORE
00001f26: PUSH1 0x1f
00001f28: PUSH1 0x24
00001f2a: DUP3
00001f2b: ADD
00001f2c: MSTORE
00001f2d: PUSH32 0x72656465656d546f6b656e73496e206d757374206e6f74206265207a65726f00
00001f4e: PUSH1 0x44
00001f50: DUP3
00001f51: ADD
00001f52: MSTORE
00001f53: SWAP1
00001f54: MLOAD
00001f55: SWAP1
00001f56: DUP2
00001f57: SWAP1
00001f58: SUB
00001f59: PUSH1 0x64
00001f5b: ADD
00001f5c: SWAP1
00001f5d: REVERT
00001f5e: JUMPDEST
00001f5f: PUSH2 0x1f66
00001f62: PUSH2 0x279e
00001f65: JUMP
00001f66: JUMPDEST
00001f67: PUSH1 0x05
00001f69: SLOAD
00001f6a: PUSH1 0x40
00001f6c: DUP1
00001f6d: MLOAD
00001f6e: PUSH4 0xeabe7d91
00001f73: PUSH1 0xe0
00001f75: SHL
00001f76: DUP2
00001f77: MSTORE
00001f78: ADDRESS
00001f79: PUSH1 0x04
00001f7b: DUP3
00001f7c: ADD
00001f7d: MSTORE
00001f7e: PUSH1 0x01
00001f80: PUSH1 0x01
00001f82: PUSH1 0xa0
00001f84: SHL
00001f85: SUB
00001f86: DUP7
00001f87: DUP2
00001f88: AND
00001f89: PUSH1 0x24
00001f8b: DUP4
00001f8c: ADD
00001f8d: MSTORE
00001f8e: PUSH1 0x44
00001f90: DUP3
00001f91: ADD
00001f92: DUP7
00001f93: SWAP1
00001f94: MSTORE
00001f95: SWAP2
00001f96: MLOAD
00001f97: PUSH1 0x00
00001f99: SWAP4
00001f9a: PUSH1 0x60
00001f9c: SWAP4
00001f9d: AND
00001f9e: SWAP2
00001f9f: PUSH4 0xeabe7d91
00001fa4: SWAP2
00001fa5: PUSH1 0x64
00001fa7: DUP1
00001fa8: DUP4
00001fa9: ADD
00001faa: SWAP3
00001fab: DUP8
00001fac: SWAP3
00001fad: SWAP2
00001fae: SWAP1
00001faf: DUP3
00001fb0: SWAP1
00001fb1: SUB
00001fb2: ADD
00001fb3: DUP2
00001fb4: DUP4
00001fb5: DUP8
00001fb6: DUP1
00001fb7: EXTCODESIZE
00001fb8: ISZERO
00001fb9: DUP1
00001fba: ISZERO
00001fbb: PUSH2 0x1fc3
00001fbe: JUMPI
00001fbf: PUSH1 0x00
00001fc1: DUP1
00001fc2: REVERT
00001fc3: JUMPDEST
00001fc4: POP
00001fc5: GAS
00001fc6: CALL
00001fc7: ISZERO
00001fc8: DUP1
00001fc9: ISZERO
00001fca: PUSH2 0x1fd7
00001fcd: JUMPI
00001fce: RETURNDATASIZE
00001fcf: PUSH1 0x00
00001fd1: DUP1
00001fd2: RETURNDATACOPY
00001fd3: RETURNDATASIZE
00001fd4: PUSH1 0x00
00001fd6: REVERT
00001fd7: JUMPDEST
00001fd8: POP
00001fd9: POP
00001fda: POP
00001fdb: POP
00001fdc: PUSH1 0x40
00001fde: MLOAD
00001fdf: RETURNDATASIZE
00001fe0: PUSH1 0x00
00001fe2: DUP3
00001fe3: RETURNDATACOPY
00001fe4: PUSH1 0x1f
00001fe6: RETURNDATASIZE
00001fe7: SWAP1
00001fe8: DUP2
00001fe9: ADD
00001fea: PUSH1 0x1f
00001fec: NOT
00001fed: AND
00001fee: DUP3
00001fef: ADD
00001ff0: PUSH1 0x40
00001ff2: SWAP1
00001ff3: DUP2
00001ff4: MSTORE
00001ff5: DUP2
00001ff6: LT
00001ff7: ISZERO
00001ff8: PUSH2 0x2000
00001ffb: JUMPI
00001ffc: PUSH1 0x00
00001ffe: DUP1
00001fff: REVERT
00002000: JUMPDEST
00002001: DUP2
00002002: MLOAD
00002003: PUSH1 0x20
00002005: DUP4
00002006: ADD
00002007: DUP1
00002008: MLOAD
00002009: PUSH1 0x40
0000200b: MLOAD
0000200c: SWAP3
0000200d: SWAP5
0000200e: SWAP3
0000200f: SWAP4
00002010: DUP4
00002011: ADD
00002012: SWAP3
00002013: SWAP2
00002014: SWAP1
00002015: DUP5
00002016: PUSH1 0x01
00002018: PUSH1 0x20
0000201a: SHL
0000201b: DUP3
0000201c: GT
0000201d: ISZERO
0000201e: PUSH2 0x2026
00002021: JUMPI
00002022: PUSH1 0x00
00002024: DUP1
00002025: REVERT
00002026: JUMPDEST
00002027: SWAP1
00002028: DUP4
00002029: ADD
0000202a: SWAP1
0000202b: PUSH1 0x20
0000202d: DUP3
0000202e: ADD
0000202f: DUP6
00002030: DUP2
00002031: GT
00002032: ISZERO
00002033: PUSH2 0x203b
00002036: JUMPI
00002037: PUSH1 0x00
00002039: DUP1
0000203a: REVERT
0000203b: JUMPDEST
0000203c: DUP3
0000203d: MLOAD
0000203e: PUSH1 0x01
00002040: PUSH1 0x20
00002042: SHL
00002043: DUP2
00002044: GT
00002045: DUP3
00002046: DUP3
00002047: ADD
00002048: DUP9
00002049: LT
0000204a: OR
0000204b: ISZERO
0000204c: PUSH2 0x2054
0000204f: JUMPI
00002050: PUSH1 0x00
00002052: DUP1
00002053: REVERT
00002054: JUMPDEST
00002055: DUP3
00002056: MSTORE
00002057: POP
00002058: DUP2
00002059: MLOAD
0000205a: PUSH1 0x20
0000205c: SWAP2
0000205d: DUP3
0000205e: ADD
0000205f: SWAP3
00002060: SWAP1
00002061: SWAP2
00002062: ADD
00002063: SWAP1
00002064: DUP1
00002065: DUP4
00002066: DUP4
00002067: PUSH1 0x00
00002069: JUMPDEST
0000206a: DUP4
0000206b: DUP2
0000206c: LT
0000206d: ISZERO
0000206e: PUSH2 0x2081
00002071: JUMPI
00002072: DUP2
00002073: DUP2
00002074: ADD
00002075: MLOAD
00002076: DUP4
00002077: DUP3
00002078: ADD
00002079: MSTORE
0000207a: PUSH1 0x20
0000207c: ADD
0000207d: PUSH2 0x2069
00002080: JUMP
00002081: JUMPDEST
00002082: POP
00002083: POP
00002084: POP
00002085: POP
00002086: SWAP1
00002087: POP
00002088: SWAP1
00002089: DUP2
0000208a: ADD
0000208b: SWAP1
0000208c: PUSH1 0x1f
0000208e: AND
0000208f: DUP1
00002090: ISZERO
00002091: PUSH2 0x20ae
00002094: JUMPI
00002095: DUP1
00002096: DUP3
00002097: SUB
00002098: DUP1
00002099: MLOAD
0000209a: PUSH1 0x01
0000209c: DUP4
0000209d: PUSH1 0x20
0000209f: SUB
000020a0: PUSH2 0x0100
000020a3: EXP
000020a4: SUB
000020a5: NOT
000020a6: AND
000020a7: DUP2
000020a8: MSTORE
000020a9: PUSH1 0x20
000020ab: ADD
000020ac: SWAP2
000020ad: POP
000020ae: JUMPDEST
000020af: POP
000020b0: PUSH1 0x40
000020b2: MSTORE
000020b3: POP
000020b4: POP
000020b5: POP
000020b6: SWAP2
000020b7: POP
000020b8: SWAP2
000020b9: POP
000020ba: DUP2
000020bb: DUP2
000020bc: SWAP1
000020bd: PUSH2 0x2107
000020c0: JUMPI
000020c1: PUSH1 0x40
000020c3: MLOAD
000020c4: PUSH3 0x461bcd
000020c8: PUSH1 0xe5
000020ca: SHL
000020cb: DUP2
000020cc: MSTORE
000020cd: PUSH1 0x20
000020cf: PUSH1 0x04
000020d1: DUP3
000020d2: ADD
000020d3: DUP2
000020d4: DUP2
000020d5: MSTORE
000020d6: DUP4
000020d7: MLOAD
000020d8: PUSH1 0x24
000020da: DUP5
000020db: ADD
000020dc: MSTORE
000020dd: DUP4
000020de: MLOAD
000020df: SWAP1
000020e0: SWAP3
000020e1: DUP4
000020e2: SWAP3
000020e3: PUSH1 0x44
000020e5: SWAP1
000020e6: SWAP2
000020e7: ADD
000020e8: SWAP2
000020e9: SWAP1
000020ea: DUP6
000020eb: ADD
000020ec: SWAP1
000020ed: DUP1
000020ee: DUP4
000020ef: DUP4
000020f0: PUSH1 0x00
000020f2: DUP4
000020f3: ISZERO
000020f4: PUSH2 0x12cc
000020f7: JUMPI
000020f8: DUP2
000020f9: DUP2
000020fa: ADD
000020fb: MLOAD
000020fc: DUP4
000020fd: DUP3
000020fe: ADD
000020ff: MSTORE
00002100: PUSH1 0x20
00002102: ADD
00002103: PUSH2 0x12b4
00002106: JUMP
00002107: JUMPDEST
00002108: POP
00002109: PUSH2 0x2135
0000210c: DUP5
0000210d: PUSH1 0x40
0000210f: MLOAD
00002110: DUP1
00002111: PUSH1 0x60
00002113: ADD
00002114: PUSH1 0x40
00002116: MSTORE
00002117: DUP1
00002118: PUSH1 0x2a
0000211a: DUP2
0000211b: MSTORE
0000211c: PUSH1 0x20
0000211e: ADD
0000211f: PUSH2 0x2868
00002122: PUSH1 0x2a
00002124: SWAP2
00002125: CODECOPY
00002126: PUSH1 0x06
00002128: SLOAD
00002129: SWAP2
0000212a: SWAP1
0000212b: PUSH4 0xffffffff
00002130: PUSH2 0x1ae8
00002133: AND
00002134: JUMP
00002135: JUMPDEST
00002136: DUP4
00002137: MSTORE
00002138: PUSH1 0x40
0000213a: DUP1
0000213b: MLOAD
0000213c: PUSH1 0x60
0000213e: DUP2
0000213f: ADD
00002140: SWAP1
00002141: SWAP2
00002142: MSTORE
00002143: PUSH1 0x2d
00002145: DUP1
00002146: DUP3
00002147: MSTORE
00002148: PUSH2 0x217b
0000214b: SWAP2
0000214c: DUP7
0000214d: SWAP2
0000214e: PUSH2 0x283b
00002151: PUSH1 0x20
00002153: DUP4
00002154: ADD
00002155: CODECOPY
00002156: PUSH1 0x01
00002158: PUSH1 0x01
0000215a: PUSH1 0xa0
0000215c: SHL
0000215d: SUB
0000215e: DUP9
0000215f: AND
00002160: PUSH1 0x00
00002162: SWAP1
00002163: DUP2
00002164: MSTORE
00002165: PUSH1 0x07
00002167: PUSH1 0x20
00002169: MSTORE
0000216a: PUSH1 0x40
0000216c: SWAP1
0000216d: KECCAK256
0000216e: SLOAD
0000216f: SWAP2
00002170: SWAP1
00002171: PUSH4 0xffffffff
00002176: PUSH2 0x1ae8
00002179: AND
0000217a: JUMP
0000217b: JUMPDEST
0000217c: PUSH1 0x20
0000217e: DUP5
0000217f: ADD
00002180: MSTORE
00002181: DUP4
00002182: PUSH2 0x2189
00002185: PUSH2 0x15e5
00002188: JUMP
00002189: JUMPDEST
0000218a: LT
0000218b: ISZERO
0000218c: PUSH1 0x40
0000218e: MLOAD
0000218f: DUP1
00002190: PUSH1 0x40
00002192: ADD
00002193: PUSH1 0x40
00002195: MSTORE
00002196: DUP1
00002197: PUSH1 0x17
00002199: DUP2
0000219a: MSTORE
0000219b: PUSH1 0x20
0000219d: ADD
0000219e: PUSH32 0x544f4b454e5f494e53554646494349454e545f43415348000000000000000000
000021bf: DUP2
000021c0: MSTORE
000021c1: POP
000021c2: SWAP1
000021c3: PUSH2 0x220d
000021c6: JUMPI
000021c7: PUSH1 0x40
000021c9: MLOAD
000021ca: PUSH3 0x461bcd
000021ce: PUSH1 0xe5
000021d0: SHL
000021d1: DUP2
000021d2: MSTORE
000021d3: PUSH1 0x20
000021d5: PUSH1 0x04
000021d7: DUP3
000021d8: ADD
000021d9: DUP2
000021da: DUP2
000021db: MSTORE
000021dc: DUP4
000021dd: MLOAD
000021de: PUSH1 0x24
000021e0: DUP5
000021e1: ADD
000021e2: MSTORE
000021e3: DUP4
000021e4: MLOAD
000021e5: SWAP1
000021e6: SWAP3
000021e7: DUP4
000021e8: SWAP3
000021e9: PUSH1 0x44
000021eb: SWAP1
000021ec: SWAP2
000021ed: ADD
000021ee: SWAP2
000021ef: SWAP1
000021f0: DUP6
000021f1: ADD
000021f2: SWAP1
000021f3: DUP1
000021f4: DUP4
000021f5: DUP4
000021f6: PUSH1 0x00
000021f8: DUP4
000021f9: ISZERO
000021fa: PUSH2 0x12cc
000021fd: JUMPI
000021fe: DUP2
000021ff: DUP2
00002200: ADD
00002201: MLOAD
00002202: DUP4
00002203: DUP3
00002204: ADD
00002205: MSTORE
00002206: PUSH1 0x20
00002208: ADD
00002209: PUSH2 0x12b4
0000220c: JUMP
0000220d: JUMPDEST
0000220e: POP
0000220f: DUP3
00002210: MLOAD
00002211: PUSH1 0x06
00002213: SSTORE
00002214: PUSH1 0x20
00002216: DUP1
00002217: DUP5
00002218: ADD
00002219: MLOAD
0000221a: PUSH1 0x01
0000221c: PUSH1 0x01
0000221e: PUSH1 0xa0
00002220: SHL
00002221: SUB
00002222: DUP8
00002223: AND
00002224: PUSH1 0x00
00002226: SWAP1
00002227: DUP2
00002228: MSTORE
00002229: PUSH1 0x07
0000222b: SWAP1
0000222c: SWAP3
0000222d: MSTORE
0000222e: PUSH1 0x40
00002230: SWAP1
00002231: SWAP2
00002232: KECCAK256
00002233: SSTORE
00002234: PUSH2 0x223d
00002237: DUP6
00002238: DUP6
00002239: PUSH2 0x25d2
0000223c: JUMP
0000223d: JUMPDEST
0000223e: PUSH1 0x40
00002240: DUP1
00002241: MLOAD
00002242: DUP6
00002243: DUP2
00002244: MSTORE
00002245: SWAP1
00002246: MLOAD
00002247: ADDRESS
00002248: SWAP2
00002249: PUSH1 0x01
0000224b: PUSH1 0x01
0000224d: PUSH1 0xa0
0000224f: SHL
00002250: SUB
00002251: DUP9
00002252: AND
00002253: SWAP2
00002254: PUSH1 0x00
00002256: DUP1
00002257: MLOAD
00002258: PUSH1 0x20
0000225a: PUSH2 0x28ea
0000225d: DUP4
0000225e: CODECOPY
0000225f: DUP2
00002260: MLOAD
00002261: SWAP2
00002262: MSTORE
00002263: SWAP2
00002264: DUP2
00002265: SWAP1
00002266: SUB
00002267: PUSH1 0x20
00002269: ADD
0000226a: SWAP1
0000226b: LOG3
0000226c: PUSH1 0x40
0000226e: DUP1
0000226f: MLOAD
00002270: PUSH1 0x01
00002272: PUSH1 0x01
00002274: PUSH1 0xa0
00002276: SHL
00002277: SUB
00002278: DUP8
00002279: AND
0000227a: DUP2
0000227b: MSTORE
0000227c: PUSH1 0x20
0000227e: DUP2
0000227f: ADD
00002280: DUP7
00002281: SWAP1
00002282: MSTORE
00002283: DUP2
00002284: MLOAD
00002285: PUSH32 0x222838db2794d11532d940e8dec38ae307ed0b63cd97c233322e221f998767a6
000022a6: SWAP3
000022a7: SWAP2
000022a8: DUP2
000022a9: SWAP1
000022aa: SUB
000022ab: SWAP1
000022ac: SWAP2
000022ad: ADD
000022ae: SWAP1
000022af: LOG1
000022b0: PUSH1 0x05
000022b2: SLOAD
000022b3: PUSH1 0x40
000022b5: DUP1
000022b6: MLOAD
000022b7: PUSH4 0x0d917613
000022bc: PUSH1 0xe3
000022be: SHL
000022bf: DUP2
000022c0: MSTORE
000022c1: ADDRESS
000022c2: PUSH1 0x04
000022c4: DUP3
000022c5: ADD
000022c6: MSTORE
000022c7: PUSH1 0x01
000022c9: PUSH1 0x01
000022cb: PUSH1 0xa0
000022cd: SHL
000022ce: SUB
000022cf: DUP9
000022d0: DUP2
000022d1: AND
000022d2: PUSH1 0x24
000022d4: DUP4
000022d5: ADD
000022d6: MSTORE
000022d7: PUSH1 0x44
000022d9: DUP3
000022da: ADD
000022db: DUP9
000022dc: SWAP1
000022dd: MSTORE
000022de: SWAP2
000022df: MLOAD
000022e0: SWAP2
000022e1: SWAP1
000022e2: SWAP3
000022e3: AND
000022e4: SWAP2
000022e5: PUSH4 0x6c8bb098
000022ea: SWAP2
000022eb: PUSH1 0x64
000022ed: DUP1
000022ee: DUP4
000022ef: ADD
000022f0: SWAP3
000022f1: PUSH1 0x00
000022f3: SWAP3
000022f4: SWAP2
000022f5: SWAP1
000022f6: DUP3
000022f7: SWAP1
000022f8: SUB
000022f9: ADD
000022fa: DUP2
000022fb: DUP4
000022fc: DUP8
000022fd: DUP1
000022fe: EXTCODESIZE
000022ff: ISZERO
00002300: DUP1
00002301: ISZERO
00002302: PUSH2 0x230a
00002305: JUMPI
00002306: PUSH1 0x00
00002308: DUP1
00002309: REVERT
0000230a: JUMPDEST
0000230b: POP
0000230c: GAS
0000230d: CALL
0000230e: ISZERO
0000230f: DUP1
00002310: ISZERO
00002311: PUSH2 0x231e
00002314: JUMPI
00002315: RETURNDATASIZE
00002316: PUSH1 0x00
00002318: DUP1
00002319: RETURNDATACOPY
0000231a: RETURNDATASIZE
0000231b: PUSH1 0x00
0000231d: REVERT
0000231e: JUMPDEST
0000231f: POP
00002320: POP
00002321: POP
00002322: POP
00002323: POP
00002324: POP
00002325: POP
00002326: POP
00002327: POP
00002328: JUMP
00002329: JUMPDEST
0000232a: PUSH1 0x09
0000232c: SLOAD
0000232d: PUSH1 0x40
0000232f: DUP1
00002330: MLOAD
00002331: PUSH4 0x70a08231
00002336: PUSH1 0xe0
00002338: SHL
00002339: DUP2
0000233a: MSTORE
0000233b: ADDRESS
0000233c: PUSH1 0x04
0000233e: DUP3
0000233f: ADD
00002340: MSTORE
00002341: SWAP1
00002342: MLOAD
00002343: PUSH1 0x00
00002345: SWAP3
00002346: PUSH1 0x01
00002348: PUSH1 0x01
0000234a: PUSH1 0xa0
0000234c: SHL
0000234d: SUB
0000234e: AND
0000234f: SWAP2
00002350: DUP4
00002351: SWAP2
00002352: DUP4
00002353: SWAP2
00002354: PUSH4 0x70a08231
00002359: SWAP2
0000235a: PUSH1 0x24
0000235c: DUP1
0000235d: DUP4
0000235e: ADD
0000235f: SWAP3
00002360: PUSH1 0x20
00002362: SWAP3
00002363: SWAP2
00002364: SWAP1
00002365: DUP3
00002366: SWAP1
00002367: SUB
00002368: ADD
00002369: DUP2
0000236a: DUP7
0000236b: DUP1
0000236c: EXTCODESIZE
0000236d: ISZERO
0000236e: DUP1
0000236f: ISZERO
00002370: PUSH2 0x2378
00002373: JUMPI
00002374: PUSH1 0x00
00002376: DUP1
00002377: REVERT
00002378: JUMPDEST
00002379: POP
0000237a: GAS
0000237b: STATICCALL
0000237c: ISZERO
0000237d: DUP1
0000237e: ISZERO
0000237f: PUSH2 0x238c
00002382: JUMPI
00002383: RETURNDATASIZE
00002384: PUSH1 0x00
00002386: DUP1
00002387: RETURNDATACOPY
00002388: RETURNDATASIZE
00002389: PUSH1 0x00
0000238b: REVERT
0000238c: JUMPDEST
0000238d: POP
0000238e: POP
0000238f: POP
00002390: POP
00002391: PUSH1 0x40
00002393: MLOAD
00002394: RETURNDATASIZE
00002395: PUSH1 0x20
00002397: DUP2
00002398: LT
00002399: ISZERO
0000239a: PUSH2 0x23a2
0000239d: JUMPI
0000239e: PUSH1 0x00
000023a0: DUP1
000023a1: REVERT
000023a2: JUMPDEST
000023a3: POP
000023a4: MLOAD
000023a5: PUSH1 0x40
000023a7: DUP1
000023a8: MLOAD
000023a9: PUSH4 0x23b872dd
000023ae: PUSH1 0xe0
000023b0: SHL
000023b1: DUP2
000023b2: MSTORE
000023b3: PUSH1 0x01
000023b5: PUSH1 0x01
000023b7: PUSH1 0xa0
000023b9: SHL
000023ba: SUB
000023bb: DUP9
000023bc: DUP2
000023bd: AND
000023be: PUSH1 0x04
000023c0: DUP4
000023c1: ADD
000023c2: MSTORE
000023c3: ADDRESS
000023c4: PUSH1 0x24
000023c6: DUP4
000023c7: ADD
000023c8: MSTORE
000023c9: PUSH1 0x44
000023cb: DUP3
000023cc: ADD
000023cd: DUP9
000023ce: SWAP1
000023cf: MSTORE
000023d0: SWAP2
000023d1: MLOAD
000023d2: SWAP3
000023d3: SWAP4
000023d4: POP
000023d5: SWAP1
000023d6: DUP5
000023d7: AND
000023d8: SWAP2
000023d9: PUSH4 0x23b872dd
000023de: SWAP2
000023df: PUSH1 0x64
000023e1: DUP1
000023e2: DUP3
000023e3: ADD
000023e4: SWAP3
000023e5: PUSH1 0x00
000023e7: SWAP3
000023e8: SWAP1
000023e9: SWAP2
000023ea: SWAP1
000023eb: DUP3
000023ec: SWAP1
000023ed: SUB
000023ee: ADD
000023ef: DUP2
000023f0: DUP4
000023f1: DUP8
000023f2: DUP1
000023f3: EXTCODESIZE
000023f4: ISZERO
000023f5: DUP1
000023f6: ISZERO
000023f7: PUSH2 0x23ff
000023fa: JUMPI
000023fb: PUSH1 0x00
000023fd: DUP1
000023fe: REVERT
000023ff: JUMPDEST
00002400: POP
00002401: GAS
00002402: CALL
00002403: ISZERO
00002404: DUP1
00002405: ISZERO
00002406: PUSH2 0x2413
00002409: JUMPI
0000240a: RETURNDATASIZE
0000240b: PUSH1 0x00
0000240d: DUP1
0000240e: RETURNDATACOPY
0000240f: RETURNDATASIZE
00002410: PUSH1 0x00
00002412: REVERT
00002413: JUMPDEST
00002414: POP
00002415: POP
00002416: POP
00002417: POP
00002418: PUSH1 0x00
0000241a: RETURNDATASIZE
0000241b: PUSH1 0x00
0000241d: DUP2
0000241e: EQ
0000241f: PUSH2 0x242f
00002422: JUMPI
00002423: PUSH1 0x20
00002425: DUP2
00002426: EQ
00002427: PUSH2 0x2439
0000242a: JUMPI
0000242b: PUSH1 0x00
0000242d: DUP1
0000242e: REVERT
0000242f: JUMPDEST
00002430: PUSH1 0x00
00002432: NOT
00002433: SWAP2
00002434: POP
00002435: PUSH2 0x2445
00002438: JUMP
00002439: JUMPDEST
0000243a: PUSH1 0x20
0000243c: PUSH1 0x00
0000243e: DUP1
0000243f: RETURNDATACOPY
00002440: PUSH1 0x00
00002442: MLOAD
00002443: SWAP2
00002444: POP
00002445: JUMPDEST
00002446: POP
00002447: PUSH1 0x40
00002449: DUP1
0000244a: MLOAD
0000244b: DUP1
0000244c: DUP3
0000244d: ADD
0000244e: SWAP1
0000244f: SWAP2
00002450: MSTORE
00002451: PUSH1 0x18
00002453: DUP2
00002454: MSTORE
00002455: PUSH32 0x544f4b454e5f5452414e534645525f494e5f4641494c45440000000000000000
00002476: PUSH1 0x20
00002478: DUP3
00002479: ADD
0000247a: MSTORE
0000247b: DUP2
0000247c: PUSH2 0x24c6
0000247f: JUMPI
00002480: PUSH1 0x40
00002482: MLOAD
00002483: PUSH3 0x461bcd
00002487: PUSH1 0xe5
00002489: SHL
0000248a: DUP2
0000248b: MSTORE
0000248c: PUSH1 0x20
0000248e: PUSH1 0x04
00002490: DUP3
00002491: ADD
00002492: DUP2
00002493: DUP2
00002494: MSTORE
00002495: DUP4
00002496: MLOAD
00002497: PUSH1 0x24
00002499: DUP5
0000249a: ADD
0000249b: MSTORE
0000249c: DUP4
0000249d: MLOAD
0000249e: SWAP1
0000249f: SWAP3
000024a0: DUP4
000024a1: SWAP3
000024a2: PUSH1 0x44
000024a4: SWAP1
000024a5: SWAP2
000024a6: ADD
000024a7: SWAP2
000024a8: SWAP1
000024a9: DUP6
000024aa: ADD
000024ab: SWAP1
000024ac: DUP1
000024ad: DUP4
000024ae: DUP4
000024af: PUSH1 0x00
000024b1: DUP4
000024b2: ISZERO
000024b3: PUSH2 0x12cc
000024b6: JUMPI
000024b7: DUP2
000024b8: DUP2
000024b9: ADD
000024ba: MLOAD
000024bb: DUP4
000024bc: DUP3
000024bd: ADD
000024be: MSTORE
000024bf: PUSH1 0x20
000024c1: ADD
000024c2: PUSH2 0x12b4
000024c5: JUMP
000024c6: JUMPDEST
000024c7: POP
000024c8: PUSH1 0x09
000024ca: SLOAD
000024cb: PUSH1 0x40
000024cd: DUP1
000024ce: MLOAD
000024cf: PUSH4 0x70a08231
000024d4: PUSH1 0xe0
000024d6: SHL
000024d7: DUP2
000024d8: MSTORE
000024d9: ADDRESS
000024da: PUSH1 0x04
000024dc: DUP3
000024dd: ADD
000024de: MSTORE
000024df: SWAP1
000024e0: MLOAD
000024e1: PUSH1 0x00
000024e3: SWAP3
000024e4: PUSH1 0x01
000024e6: PUSH1 0x01
000024e8: PUSH1 0xa0
000024ea: SHL
000024eb: SUB
000024ec: AND
000024ed: SWAP2
000024ee: PUSH4 0x70a08231
000024f3: SWAP2
000024f4: PUSH1 0x24
000024f6: DUP1
000024f7: DUP4
000024f8: ADD
000024f9: SWAP3
000024fa: PUSH1 0x20
000024fc: SWAP3
000024fd: SWAP2
000024fe: SWAP1
000024ff: DUP3
00002500: SWAP1
00002501: SUB
00002502: ADD
00002503: DUP2
00002504: DUP7
00002505: DUP1
00002506: EXTCODESIZE
00002507: ISZERO
00002508: DUP1
00002509: ISZERO
0000250a: PUSH2 0x2512
0000250d: JUMPI
0000250e: PUSH1 0x00
00002510: DUP1
00002511: REVERT
00002512: JUMPDEST
00002513: POP
00002514: GAS
00002515: STATICCALL
00002516: ISZERO
00002517: DUP1
00002518: ISZERO
00002519: PUSH2 0x2526
0000251c: JUMPI
0000251d: RETURNDATASIZE
0000251e: PUSH1 0x00
00002520: DUP1
00002521: RETURNDATACOPY
00002522: RETURNDATASIZE
00002523: PUSH1 0x00
00002525: REVERT
00002526: JUMPDEST
00002527: POP
00002528: POP
00002529: POP
0000252a: POP
0000252b: PUSH1 0x40
0000252d: MLOAD
0000252e: RETURNDATASIZE
0000252f: PUSH1 0x20
00002531: DUP2
00002532: LT
00002533: ISZERO
00002534: PUSH2 0x253c
00002537: JUMPI
00002538: PUSH1 0x00
0000253a: DUP1
0000253b: REVERT
0000253c: JUMPDEST
0000253d: POP
0000253e: MLOAD
0000253f: PUSH1 0x40
00002541: DUP1
00002542: MLOAD
00002543: DUP1
00002544: DUP3
00002545: ADD
00002546: SWAP1
00002547: SWAP2
00002548: MSTORE
00002549: PUSH1 0x1a
0000254b: DUP2
0000254c: MSTORE
0000254d: PUSH32 0x544f4b454e5f5452414e534645525f494e5f4f564552464c4f57000000000000
0000256e: PUSH1 0x20
00002570: DUP3
00002571: ADD
00002572: MSTORE
00002573: SWAP1
00002574: SWAP2
00002575: POP
00002576: DUP4
00002577: DUP3
00002578: LT
00002579: ISZERO
0000257a: PUSH2 0x25c4
0000257d: JUMPI
0000257e: PUSH1 0x40
00002580: MLOAD
00002581: PUSH3 0x461bcd
00002585: PUSH1 0xe5
00002587: SHL
00002588: DUP2
00002589: MSTORE
0000258a: PUSH1 0x20
0000258c: PUSH1 0x04
0000258e: DUP3
0000258f: ADD
00002590: DUP2
00002591: DUP2
00002592: MSTORE
00002593: DUP4
00002594: MLOAD
00002595: PUSH1 0x24
00002597: DUP5
00002598: ADD
00002599: MSTORE
0000259a: DUP4
0000259b: MLOAD
0000259c: SWAP1
0000259d: SWAP3
0000259e: DUP4
0000259f: SWAP3
000025a0: PUSH1 0x44
000025a2: SWAP1
000025a3: SWAP2
000025a4: ADD
000025a5: SWAP2
000025a6: SWAP1
000025a7: DUP6
000025a8: ADD
000025a9: SWAP1
000025aa: DUP1
000025ab: DUP4
000025ac: DUP4
000025ad: PUSH1 0x00
000025af: DUP4
000025b0: ISZERO
000025b1: PUSH2 0x12cc
000025b4: JUMPI
000025b5: DUP2
000025b6: DUP2
000025b7: ADD
000025b8: MLOAD
000025b9: DUP4
000025ba: DUP3
000025bb: ADD
000025bc: MSTORE
000025bd: PUSH1 0x20
000025bf: ADD
000025c0: PUSH2 0x12b4
000025c3: JUMP
000025c4: JUMPDEST
000025c5: POP
000025c6: SWAP2
000025c7: SWAP1
000025c8: SWAP2
000025c9: SUB
000025ca: SWAP6
000025cb: SWAP5
000025cc: POP
000025cd: POP
000025ce: POP
000025cf: POP
000025d0: POP
000025d1: JUMP
000025d2: JUMPDEST
000025d3: PUSH1 0x09
000025d5: SLOAD
000025d6: PUSH1 0x40
000025d8: DUP1
000025d9: MLOAD
000025da: PUSH4 0xa9059cbb
000025df: PUSH1 0xe0
000025e1: SHL
000025e2: DUP2
000025e3: MSTORE
000025e4: PUSH1 0x01
000025e6: PUSH1 0x01
000025e8: PUSH1 0xa0
000025ea: SHL
000025eb: SUB
000025ec: DUP6
000025ed: DUP2
000025ee: AND
000025ef: PUSH1 0x04
000025f1: DUP4
000025f2: ADD
000025f3: MSTORE
000025f4: PUSH1 0x24
000025f6: DUP3
000025f7: ADD
000025f8: DUP6
000025f9: SWAP1
000025fa: MSTORE
000025fb: SWAP2
000025fc: MLOAD
000025fd: SWAP2
000025fe: SWAP1
000025ff: SWAP3
00002600: AND
00002601: SWAP2
00002602: DUP3
00002603: SWAP2
00002604: PUSH4 0xa9059cbb
00002609: SWAP2
0000260a: PUSH1 0x44
0000260c: DUP1
0000260d: DUP3
0000260e: ADD
0000260f: SWAP3
00002610: PUSH1 0x00
00002612: SWAP3
00002613: SWAP1
00002614: SWAP2
00002615: SWAP1
00002616: DUP3
00002617: SWAP1
00002618: SUB
00002619: ADD
0000261a: DUP2
0000261b: DUP4
0000261c: DUP8
0000261d: DUP1
0000261e: EXTCODESIZE
0000261f: ISZERO
00002620: DUP1
00002621: ISZERO
00002622: PUSH2 0x262a
00002625: JUMPI
00002626: PUSH1 0x00
00002628: DUP1
00002629: REVERT
0000262a: JUMPDEST
0000262b: POP
0000262c: GAS
0000262d: CALL
0000262e: ISZERO
0000262f: DUP1
00002630: ISZERO
00002631: PUSH2 0x263e
00002634: JUMPI
00002635: RETURNDATASIZE
00002636: PUSH1 0x00
00002638: DUP1
00002639: RETURNDATACOPY
0000263a: RETURNDATASIZE
0000263b: PUSH1 0x00
0000263d: REVERT
0000263e: JUMPDEST
0000263f: POP
00002640: POP
00002641: POP
00002642: POP
00002643: PUSH1 0x00
00002645: RETURNDATASIZE
00002646: PUSH1 0x00
00002648: DUP2
00002649: EQ
0000264a: PUSH2 0x265a
0000264d: JUMPI
0000264e: PUSH1 0x20
00002650: DUP2
00002651: EQ
00002652: PUSH2 0x2664
00002655: JUMPI
00002656: PUSH1 0x00
00002658: DUP1
00002659: REVERT
0000265a: JUMPDEST
0000265b: PUSH1 0x00
0000265d: NOT
0000265e: SWAP2
0000265f: POP
00002660: PUSH2 0x2670
00002663: JUMP
00002664: JUMPDEST
00002665: PUSH1 0x20
00002667: PUSH1 0x00
00002669: DUP1
0000266a: RETURNDATACOPY
0000266b: PUSH1 0x00
0000266d: MLOAD
0000266e: SWAP2
0000266f: POP
00002670: JUMPDEST
00002671: POP
00002672: PUSH1 0x40
00002674: DUP1
00002675: MLOAD
00002676: DUP1
00002677: DUP3
00002678: ADD
00002679: SWAP1
0000267a: SWAP2
0000267b: MSTORE
0000267c: PUSH1 0x19
0000267e: DUP2
0000267f: MSTORE
00002680: PUSH32 0x544f4b454e5f5452414e534645525f4f55545f4641494c454400000000000000
000026a1: PUSH1 0x20
000026a3: DUP3
000026a4: ADD
000026a5: MSTORE
000026a6: DUP2
000026a7: PUSH2 0x26f1
000026aa: JUMPI
000026ab: PUSH1 0x40
000026ad: MLOAD
000026ae: PUSH3 0x461bcd
000026b2: PUSH1 0xe5
000026b4: SHL
000026b5: DUP2
000026b6: MSTORE
000026b7: PUSH1 0x20
000026b9: PUSH1 0x04
000026bb: DUP3
000026bc: ADD
000026bd: DUP2
000026be: DUP2
000026bf: MSTORE
000026c0: DUP4
000026c1: MLOAD
000026c2: PUSH1 0x24
000026c4: DUP5
000026c5: ADD
000026c6: MSTORE
000026c7: DUP4
000026c8: MLOAD
000026c9: SWAP1
000026ca: SWAP3
000026cb: DUP4
000026cc: SWAP3
000026cd: PUSH1 0x44
000026cf: SWAP1
000026d0: SWAP2
000026d1: ADD
000026d2: SWAP2
000026d3: SWAP1
000026d4: DUP6
000026d5: ADD
000026d6: SWAP1
000026d7: DUP1
000026d8: DUP4
000026d9: DUP4
000026da: PUSH1 0x00
000026dc: DUP4
000026dd: ISZERO
000026de: PUSH2 0x12cc
000026e1: JUMPI
000026e2: DUP2
000026e3: DUP2
000026e4: ADD
000026e5: MLOAD
000026e6: DUP4
000026e7: DUP3
000026e8: ADD
000026e9: MSTORE
000026ea: PUSH1 0x20
000026ec: ADD
000026ed: PUSH2 0x12b4
000026f0: JUMP
000026f1: JUMPDEST
000026f2: POP
000026f3: POP
000026f4: POP
000026f5: POP
000026f6: POP
000026f7: JUMP
000026f8: JUMPDEST
000026f9: DUP3
000026fa: DUP1
000026fb: SLOAD
000026fc: PUSH1 0x01
000026fe: DUP2
000026ff: PUSH1 0x01
00002701: AND
00002702: ISZERO
00002703: PUSH2 0x0100
00002706: MUL
00002707: SUB
00002708: AND
00002709: PUSH1 0x02
0000270b: SWAP1
0000270c: DIV
0000270d: SWAP1
0000270e: PUSH1 0x00
00002710: MSTORE
00002711: PUSH1 0x20
00002713: PUSH1 0x00
00002715: KECCAK256
00002716: SWAP1
00002717: PUSH1 0x1f
00002719: ADD
0000271a: PUSH1 0x20
0000271c: SWAP1
0000271d: DIV
0000271e: DUP2
0000271f: ADD
00002720: SWAP3
00002721: DUP3
00002722: PUSH1 0x1f
00002724: LT
00002725: PUSH2 0x2739
00002728: JUMPI
00002729: DUP1
0000272a: MLOAD
0000272b: PUSH1 0xff
0000272d: NOT
0000272e: AND
0000272f: DUP4
00002730: DUP1
00002731: ADD
00002732: OR
00002733: DUP6
00002734: SSTORE
00002735: PUSH2 0x2766
00002738: JUMP
00002739: JUMPDEST
0000273a: DUP3
0000273b: DUP1
0000273c: ADD
0000273d: PUSH1 0x01
0000273f: ADD
00002740: DUP6
00002741: SSTORE
00002742: DUP3
00002743: ISZERO
00002744: PUSH2 0x2766
00002747: JUMPI
00002748: SWAP2
00002749: DUP3
0000274a: ADD
0000274b: JUMPDEST
0000274c: DUP3
0000274d: DUP2
0000274e: GT
0000274f: ISZERO
00002750: PUSH2 0x2766
00002753: JUMPI
00002754: DUP3
00002755: MLOAD
00002756: DUP3
00002757: SSTORE
00002758: SWAP2
00002759: PUSH1 0x20
0000275b: ADD
0000275c: SWAP2
0000275d: SWAP1
0000275e: PUSH1 0x01
00002760: ADD
00002761: SWAP1
00002762: PUSH2 0x274b
00002765: JUMP
00002766: JUMPDEST
00002767: POP
00002768: PUSH2 0x2772
0000276b: SWAP3
0000276c: SWAP2
0000276d: POP
0000276e: PUSH2 0x27b8
00002771: JUMP
00002772: JUMPDEST
00002773: POP
00002774: SWAP1
00002775: JUMP
00002776: JUMPDEST
00002777: PUSH1 0x40
00002779: MLOAD
0000277a: DUP1
0000277b: PUSH1 0x80
0000277d: ADD
0000277e: PUSH1 0x40
00002780: MSTORE
00002781: DUP1
00002782: PUSH1 0x00
00002784: DUP2
00002785: MSTORE
00002786: PUSH1 0x20
00002788: ADD
00002789: PUSH1 0x00
0000278b: DUP2
0000278c: MSTORE
0000278d: PUSH1 0x20
0000278f: ADD
00002790: PUSH1 0x00
00002792: DUP2
00002793: MSTORE
00002794: PUSH1 0x20
00002796: ADD
00002797: PUSH1 0x00
00002799: DUP2
0000279a: MSTORE
0000279b: POP
0000279c: SWAP1
0000279d: JUMP
0000279e: JUMPDEST
0000279f: PUSH1 0x40
000027a1: MLOAD
000027a2: DUP1
000027a3: PUSH1 0x40
000027a5: ADD
000027a6: PUSH1 0x40
000027a8: MSTORE
000027a9: DUP1
000027aa: PUSH1 0x00
000027ac: DUP2
000027ad: MSTORE
000027ae: PUSH1 0x20
000027b0: ADD
000027b1: PUSH1 0x00
000027b3: DUP2
000027b4: MSTORE
000027b5: POP
000027b6: SWAP1
000027b7: JUMP
000027b8: JUMPDEST
000027b9: PUSH2 0x0a06
000027bc: SWAP2
000027bd: SWAP1
000027be: JUMPDEST
000027bf: DUP1
000027c0: DUP3
000027c1: GT
000027c2: ISZERO
000027c3: PUSH2 0x2772
000027c6: JUMPI
000027c7: PUSH1 0x00
000027c9: DUP2
000027ca: SSTORE
000027cb: PUSH1 0x01
000027cd: ADD
000027ce: PUSH2 0x27be
000027d1: JUMP
000027d2: INVALID
000027d3: PUSH16 0x6e6c792061646d696e2063616e206361
000027e4: PUSH13 0x6c20746869732066756e637469
000027f2: PUSH16 0x6e6f6e6c792061646d696e206d617920
00002803: PUSH10 0x6e697469616c697a6520
0000280e: PUSH21 0x6865206d61726b65746d61726b6574206d6179206f
00002824: PUSH15 0x6c7920626520696e697469616c697a
00002834: PUSH6 0x64206f6e6365
0000283b: MSTORE
0000283c: GASLIMIT
0000283d: DIFFICULTY
0000283e: GASLIMIT
0000283f: GASLIMIT
00002840: UNKNOWN(0x4D)
00002841: PUSH0
00002842: UNKNOWN(0x4E)
00002843: GASLIMIT
00002844: JUMPI
00002845: PUSH0
00002846: COINBASE
00002847: NUMBER
00002848: NUMBER
00002849: UNKNOWN(0x4F)
0000284a: SSTORE
0000284b: UNKNOWN(0x4E)
0000284c: SLOAD
0000284d: PUSH0
0000284e: TIMESTAMP
0000284f: COINBASE
00002850: UNKNOWN(0x4C)
00002851: COINBASE
00002852: UNKNOWN(0x4E)
00002853: NUMBER
00002854: GASLIMIT
00002855: PUSH0
00002856: NUMBER
00002857: COINBASE
00002858: UNKNOWN(0x4C)
00002859: NUMBER
0000285a: SSTORE
0000285b: UNKNOWN(0x4C)
0000285c: COINBASE
0000285d: SLOAD
0000285e: BLOBHASH
0000285f: UNKNOWN(0x4F)
00002860: UNKNOWN(0x4E)
00002861: PUSH0
00002862: CHAINID
00002863: COINBASE
00002864: BLOBHASH
00002865: UNKNOWN(0x4C)
00002866: GASLIMIT
00002867: DIFFICULTY
00002868: MSTORE
00002869: GASLIMIT
0000286a: DIFFICULTY
0000286b: GASLIMIT
0000286c: GASLIMIT
0000286d: UNKNOWN(0x4D)
0000286e: PUSH0
0000286f: UNKNOWN(0x4E)
00002870: GASLIMIT
00002871: JUMPI
00002872: PUSH0
00002873: SLOAD
00002874: UNKNOWN(0x4F)
00002875: SLOAD
00002876: COINBASE
00002877: UNKNOWN(0x4C)
00002878: PUSH0
00002879: MSTORE8
0000287a: SSTORE
0000287b: POP
0000287c: POP
0000287d: UNKNOWN(0x4C)
0000287e: MSIZE
0000287f: PUSH0
00002880: NUMBER
00002881: COINBASE
00002882: UNKNOWN(0x4C)
00002883: NUMBER
00002884: SSTORE
00002885: UNKNOWN(0x4C)
00002886: COINBASE
00002887: SLOAD
00002888: BLOBHASH
00002889: UNKNOWN(0x4F)
0000288a: UNKNOWN(0x4E)
0000288b: PUSH0
0000288c: CHAINID
0000288d: COINBASE
0000288e: BLOBHASH
0000288f: UNKNOWN(0x4C)
00002890: GASLIMIT
00002891: DIFFICULTY
00002892: PUSH16 0x6e6c79207468652061646d696e206d61
000028a3: PUSH26 0x2063616c6c205f72657369676e496d706c656d656e746174696f
000028be: PUSH15 0x4d494e545f4e45575f4143434f554e
000028ce: SLOAD
000028cf: PUSH0
000028d0: TIMESTAMP
000028d1: COINBASE
000028d2: UNKNOWN(0x4C)
000028d3: COINBASE
000028d4: UNKNOWN(0x4E)
000028d5: NUMBER
000028d6: GASLIMIT
000028d7: PUSH0
000028d8: NUMBER
000028d9: COINBASE
000028da: UNKNOWN(0x4C)
000028db: NUMBER
000028dc: SSTORE
000028dd: UNKNOWN(0x4C)
000028de: COINBASE
000028df: SLOAD
000028e0: BLOBHASH
000028e1: UNKNOWN(0x4F)
000028e2: UNKNOWN(0x4E)
000028e3: PUSH0
000028e4: CHAINID
000028e5: COINBASE
000028e6: BLOBHASH
000028e7: UNKNOWN(0x4C)
000028e8: GASLIMIT
000028e9: DIFFICULTY
000028ea: UNKNOWN(0xDD)
000028eb: CALLCODE
000028ec: MSTORE
000028ed: UNKNOWN(0xAD)
000028ee: SHL
000028ef: UNKNOWN(0xE2)
000028f0: UNKNOWN(0xC8)
000028f1: SWAP12
000028f2: PUSH10 0xc2b068fc378daa952ba7
000028fd: CALL
000028fe: PUSH4 0xc4a11628
00002903: CREATE2
00002904: GAS
00002905: UNKNOWN(0x4D)
00002906: CREATE2
00002907: UNKNOWN(0x23)
00002908: UNKNOWN(0xB3)
00002909: UNKNOWN(0xEF)
0000290a: UNKNOWN(0x4D)
0000290b: BLOBHASH
0000290c: UNKNOWN(0x4E)
0000290d: SLOAD
0000290e: PUSH0
0000290f: UNKNOWN(0x4E)
00002910: GASLIMIT
00002911: JUMPI
00002912: PUSH0
00002913: SLOAD
00002914: UNKNOWN(0x4F)
00002915: SLOAD
00002916: COINBASE
00002917: UNKNOWN(0x4C)
00002918: PUSH0
00002919: MSTORE8
0000291a: SSTORE
0000291b: POP
0000291c: POP
0000291d: UNKNOWN(0x4C)
0000291e: MSIZE
0000291f: PUSH0
00002920: NUMBER
00002921: COINBASE
00002922: UNKNOWN(0x4C)
00002923: NUMBER
00002924: SSTORE
00002925: UNKNOWN(0x4C)
00002926: COINBASE
00002927: SLOAD
00002928: BLOBHASH
00002929: UNKNOWN(0x4F)
0000292a: UNKNOWN(0x4E)
0000292b: PUSH0
0000292c: CHAINID
0000292d: COINBASE
0000292e: BLOBHASH
0000292f: UNKNOWN(0x4C)
00002930: GASLIMIT
00002931: DIFFICULTY
00002932: UNKNOWN(0x4C)
00002933: BLOBHASH
00002934: MLOAD
00002935: SSTORE
00002936: BLOBHASH
00002937: DIFFICULTY
00002938: COINBASE
00002939: SLOAD
0000293a: GASLIMIT
0000293b: PUSH0
0000293c: MSTORE8
0000293d: GASLIMIT
0000293e: BLOBHASH
0000293f: GAS
00002940: GASLIMIT
00002941: PUSH0
00002942: TIMESTAMP
00002943: COINBASE
00002944: UNKNOWN(0x4C)
00002945: COINBASE
00002946: UNKNOWN(0x4E)
00002947: NUMBER
00002948: GASLIMIT
00002949: PUSH0
0000294a: DIFFICULTY
0000294b: GASLIMIT
0000294c: NUMBER
0000294d: MSTORE
0000294e: GASLIMIT
0000294f: UNKNOWN(0x4D)
00002950: GASLIMIT
00002951: UNKNOWN(0x4E)
00002952: SLOAD
00002953: PUSH0
00002954: CHAINID
00002955: COINBASE
00002956: BLOBHASH
00002957: UNKNOWN(0x4C)
00002958: GASLIMIT
00002959: DIFFICULTY
0000295a: PUSH16 0x6e6c79207468652061646d696e206d61
0000296b: PUSH26 0x2063616c6c205f6265636f6d65496d706c656d656e746174696f
00002986: PUSH15 0x4c49515549444154455f5345495a45
00002996: PUSH0
00002997: TIMESTAMP
00002998: COINBASE
00002999: UNKNOWN(0x4C)
0000299a: COINBASE
0000299b: UNKNOWN(0x4E)
0000299c: NUMBER
0000299d: GASLIMIT
0000299e: PUSH0
0000299f: BLOBHASH
000029a0: UNKNOWN(0x4E)
000029a1: NUMBER
000029a2: MSTORE
000029a3: GASLIMIT
000029a4: UNKNOWN(0x4D)
000029a5: GASLIMIT
000029a6: UNKNOWN(0x4E)
000029a7: SLOAD
000029a8: PUSH0
000029a9: CHAINID
000029aa: COINBASE
000029ab: BLOBHASH
000029ac: UNKNOWN(0x4C)
000029ad: GASLIMIT
000029ae: DIFFICULTY
000029af: LOG2
000029b0: PUSH6 0x627a7a723158
000029b7: KECCAK256
000029b8: RETURNDATACOPY
000029b9: JUMPI
000029ba: LOG3
000029bb: UNKNOWN(0xC6)
000029bc: KECCAK256
000029bd: ADD
000029be: DUP9
000029bf: RETURN
000029c0: UNKNOWN(0xFB)
000029c1: UNKNOWN(0xFB)
000029c2: UNKNOWN(0x24)
000029c3: UNKNOWN(0xE7)
000029c4: PUSH31