Analysis Run

Traceback (most recent call last):
  File "/var/www/tripwire/worker/worker.py", line 198, in main
    payload = dispatch_job(job_type, job_id, job_meta, run_data, config, laravel_client)
  File "/var/www/tripwire/worker/worker.py", line 114, in dispatch_job
    return slither_run.run(job_id, job_meta, run_data, config, log, laravel_client)
           ~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/worker/jobs/slither_run.py", line 1084, in run
    stdout_text, stderr_text, result_json = _run_slither(
                                            ~~~~~~~~~~~~^
        workspace,
        ^^^^^^^^^^
    ...<4 lines>...
        target_path=target_path,
        ^^^^^^^^^^^^^^^^^^^^^^^^
    )
    ^
  File "/var/www/tripwire/worker/jobs/slither_run.py", line 958, in _run_slither
    raise RuntimeError(f"slither failed (exit {result.returncode}): {stderr_text or stdout_text}")
RuntimeError: slither failed (exit 1): 'forge clean' running (wd: /tmp/slither-q7lx2ifh)
'forge config --json' running
'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-q7lx2ifh)
'forge' returned non-zero exit code 1
Error: Encountered invalid solc version in lib/openzeppelin-contracts/contracts/access/Ownable.sol: No solc version exists that matches the version requirement: ^0.8.20
Traceback (most recent call last):
  File "/var/www/tripwire/.venv/bin/slither", line 10, in <module>
    sys.exit(main())
             ~~~~^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 776, in main
    main_impl(all_detector_classes=detectors, all_printer_classes=printers)
    ~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 882, in main_impl
    ) = process_all(filename, args, detector_classes, printer_classes)
        ~~~~~~~~~~~^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/slither/__main__.py", line 96, in process_all
    compilations = compile_all(target, **vars(args))
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 722, in compile_all
    compilations.append(CryticCompile(target, **kwargs))
                        ~~~~~~~~~~~~~^^^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 211, in __init__
    self._compile(**kwargs)
    ~~~~~~~~~~~~~^^^^^^^^^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/crytic_compile.py", line 633, in _compile
    self._platform.compile(self, **kwargs)
    ~~~~~~~~~~~~~~~~~~~~~~^^^^^^^^^^^^^^^^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/platform/foundry.py", line 102, in compile
    hardhat_like_parsing(
    ~~~~~~~~~~~~~~~~~~~~^
        crytic_compile, str(self._target), build_directory, str(self._project_root)
        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
    )
    ^
  File "/var/www/tripwire/.venv/lib/python3.13/site-packages/crytic_compile/platform/hardhat.py", line 52, in hardhat_like_parsing
    raise InvalidCompilation(txt)
crytic_compile.platform.exceptions.InvalidCompilation: Compilation failed. Can you run build command?
/tmp/slither-q7lx2ifh/out/build-info is not a directory.

{"no_findings":true,"summary":"Reviewed first-party sources in AUDIT_BUNDLE.txt (Relayer and test/mock plus interfaces). No exploitable vulnerabilities found in scope under the requested categories.","findings":[]}

OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-oua4pczp
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019babda-7500-7af2-bc56-66a97e52759e
--------
user
You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.

Scope rules:
- You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party Solidity sources in this workspace.
- Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
- If there are only dependency files and no first-party sources, set no_findings=true and explain in summary.

Output MUST be valid JSON matching the provided schema.
- If you find nothing meaningful: set no_findings=true and findings=[].
- Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.

Output constraints (IMPORTANT):
- severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
- category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
Keep summary short and concrete.
mcp startup: no servers

thinking
**Reading AUDIT_BUNDLE file**
exec
/bin/bash -lc ls in /tmp/codex-oua4pczp succeeded in 7ms:
AUDIT_BUNDLE.txt
codex-output-schema.json
contracts
@mimic-fi
@openzeppelin
exec
/bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-oua4pczp succeeded in 6ms:
This file concatenates the full contents of first-party Solidity sources for auditing.
Do not treat dependency code under lib/ or @openzeppelin/ as first-party.

================================================================================
FILE: @mimic-fi/v3-authorizer/contracts/interfaces/IAuthorized.sol
================================================================================
// SPDX-License-Identifier: GPL-3.0-or-later
// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.

// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.

// You should have received a copy of the GNU General Public License
// along with this program.  If not, see <http://www.gnu.org/licenses/>.


thinking
**Planning to read large file in chunks**
exec
/bin/bash -lc 'wc -l AUDIT_BUNDLE.txt' in /tmp/codex-oua4pczp succeeded in 5ms:
1499 AUDIT_BUNDLE.txt

thinking
**Planning segmented file reading**
exec
/bin/bash -lc "sed -n '1,200p' AUDIT_BUNDLE.txt" in /tmp/codex-oua4pczp succeeded in 9ms:
This file concatenates the full contents of first-party Solidity sources for auditing.
Do not treat dependency code under lib/ or @openzeppelin/ as first-party.

================================================================================
FILE: @mimic-fi/v3-authorizer/contracts/interfaces/IAuthorized.sol
================================================================================
// SPDX-License-Identifier: GPL-3.0-or-later
// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.

// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.

// You should have received a copy of the GNU General Public License
// along with this program.  If not, see <http://www.gnu.org/licenses/>.


thinking
**Pausing to review more content**
exec
/bin/bash -lc "sed -n '200,400p' AUDIT_BUNDLE.txt" in /tmp/codex-oua4pczp succeeded in 6ms:
     * @param connector Address of the connector being queried
     */
    function isConnectorCheckIgnored(address connector) external view returns (bool);

    /**
     * @dev Tells the balance to a balance connector for a token
     * @param id Balance connector identifier
     * @param token Address of the token querying the balance connector for
     */
    function getBalanceConnector(bytes32 id, address token) external view returns (uint256);

    /**
     * @dev Tells whether someone has any permission over the smart vault
     */
    function hasPermissions(address who) external view returns (bool);

    /**
     * @dev Pauses a smart vault
     */
    function pause() external;

thinking
**Continuing file inspection**
exec
/bin/bash -lc "sed -n '400,600p' AUDIT_BUNDLE.txt" in /tmp/codex-oua4pczp succeeded in 6ms:
    /**
     * @dev Tells the address from where the token amounts to execute this task are fetched.
     * This address must the the Smart Vault in case the previous balance connector is set.
     */
    function getTokensSource() external view returns (address);

    /**
     * @dev Tells the amount a task should use for a token
     * @param token Address of the token being queried
     */
    function getTaskAmount(address token) external view returns (uint256);

    /**
     * @dev Sets the balance connector IDs
     * @param previous Balance connector id of the previous task in the workflow
     * @param next Balance connector id of the next task in the workflow
     */
    function setBalanceConnectors(bytes32 previous, bytes32 next) external;
}


thinking
**Continuing reading**
exec
/bin/bash -lc "sed -n '600,800p' AUDIT_BUNDLE.txt" in /tmp/codex-oua4pczp succeeded in 7ms:
    /**
     * @dev Tells the time-lock expiration timestamp
     */
    function timeLockExpiration() external view returns (uint256);

    /**
     * @dev Tells the time-lock execution period
     */
    function timeLockExecutionPeriod() external view returns (uint256);

    /**
     * @dev Sets the time-lock delay
     * @param delay New delay to be set
     */
    function setTimeLockDelay(uint256 delay) external;

    /**
     * @dev Sets the time-lock expiration timestamp
     * @param expiration New expiration timestamp to be set
     */

thinking
**Continuing reading content**
exec
/bin/bash -lc "sed -n '800,1000p' AUDIT_BUNDLE.txt" in /tmp/codex-oua4pczp succeeded in 5ms:

================================================================================
FILE: @mimic-fi/v3-tasks/contracts/interfaces/base/IVolumeLimitedTask.sol
================================================================================
// SPDX-License-Identifier: GPL-3.0-or-later
// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.

// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.

// You should have received a copy of the GNU General Public License
// along with this program.  If not, see <http://www.gnu.org/licenses/>.

pragma solidity >=0.8.0;


thinking
**Reviewing code sections 1000-1499**
exec
/bin/bash -lc "sed -n '1000,1200p' AUDIT_BUNDLE.txt" in /tmp/codex-oua4pczp succeeded in 6ms:
        getSmartVaultCollector[smartVault] = collector;
        emit SmartVaultCollectorSet(smartVault, collector);
    }

    /**
     * @dev Sets a maximum quota for a smart vault
     * @param smartVault Address of smart vault to set a maximum quota for
     * @param maxQuota Maximum quota to be set for the given smart vault
     */
    function setSmartVaultMaxQuota(address smartVault, uint256 maxQuota) external override onlyOwner {
        getSmartVaultMaxQuota[smartVault] = maxQuota;
        emit SmartVaultMaxQuotaSet(smartVault, maxQuota);
    }

    /**
     * @dev Deposits native tokens for a given smart vault. First, it will pay part of the quota if any.
     * @param smartVault Address of smart vault to deposit balance for
     * @param amount Amount of native tokens to be deposited, must match msg.value
     */
    function deposit(address smartVault, uint256 amount) external payable override {

thinking
**Scrolling through content**
exec
/bin/bash -lc "sed -n '1200,1400p' AUDIT_BUNDLE.txt" in /tmp/codex-oua4pczp succeeded in 8ms:
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.

// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
// GNU General Public License for more details.

// You should have received a copy of the GNU General Public License
// along with this program.  If not, see <http://www.gnu.org/licenses/>.

pragma solidity >=0.8.0;

/**
 * @dev Relayer interface
 */
interface IRelayer {
    /**
     * @dev The token is zero
     */

thinking
**Continuing line review to 1499**
exec
/bin/bash -lc "sed -n '1400,1499p' AUDIT_BUNDLE.txt" in /tmp/codex-oua4pczp succeeded in 6ms:
    /**
     * @dev Tells the collector address applicable for a smart vault
     * @param smartVault Address of the smart vault being queried
     */
    function getApplicableCollector(address smartVault) external view returns (address);

    /**
     * @dev Configures an external executor
     * @param executor Address of the executor to be set
     * @param allowed Whether the given executor should be allowed or not
     */
    function setExecutor(address executor, bool allowed) external;

    /**
     * @dev Sets the default collector
     * @param collector Address of the new default collector to be set
     */
    function setDefaultCollector(address collector) external;

    /**

thinking
**Analyzing Relayer contract for vulnerabilities**

I’m reviewing the Relayer contract as the main first-party logic, focusing on typical risks like reentrancy, access control, and unchecked calls. I’m checking how external calls, gas reimbursements, and executor permissions interact, noting that dependencies are mostly interfaces without logic. Overall, I see careful state updates before calls and proper handling, with no clear exploitable issues found so far, so I’m preparing to summarize these findings accordingly.
codex
{"no_findings":true,"summary":"Reviewed first-party sources in AUDIT_BUNDLE.txt (Relayer and test/mock plus interfaces). No exploitable vulnerabilities found in scope under the requested categories.","findings":[]}
tokens used
36,104

{
    "codex": {
        "ran_at": "2026-01-11T07:00:56.491775+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "source",
        "file_count": 18,
        "import_count": 19,
        "first_party_contracts_count": 12
    },
    "summary": "Reviewed first-party sources in AUDIT_BUNDLE.txt (Relayer and test/mock plus interfaces). No exploitable vulnerabilities found in scope under the requested categories.",
    "raw_final": {
        "summary": "Reviewed first-party sources in AUDIT_BUNDLE.txt (Relayer and test/mock plus interfaces). No exploitable vulnerabilities found in scope under the requested categories.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x015f
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x7d701102
00000019: GT
0000001a: PUSH2 0x00c0
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xd6291234
00000024: GT
00000025: PUSH2 0x0074
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe9764799
0000002f: GT
00000030: PUSH2 0x0059
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe9764799
0000003a: EQ
0000003b: PUSH2 0x03eb
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf2fde38b
00000045: EQ
00000046: PUSH2 0x040b
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf46ca4e4
00000050: EQ
00000051: PUSH2 0x042b
00000054: JUMPI
00000055: PUSH1 0x00
00000057: DUP1
00000058: REVERT
00000059: JUMPDEST
0000005a: DUP1
0000005b: PUSH4 0xd6291234
00000060: EQ
00000061: PUSH2 0x039e
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0xdc9fc0d2
0000006b: EQ
0000006c: PUSH2 0x03cb
0000006f: JUMPI
00000070: PUSH1 0x00
00000072: DUP1
00000073: REVERT
00000074: JUMPDEST
00000075: DUP1
00000076: PUSH4 0xb3120853
0000007b: GT
0000007c: PUSH2 0x00a5
0000007f: JUMPI
00000080: DUP1
00000081: PUSH4 0xb3120853
00000086: EQ
00000087: PUSH2 0x0331
0000008a: JUMPI
0000008b: DUP1
0000008c: PUSH4 0xd05c2c94
00000091: EQ
00000092: PUSH2 0x0351
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0xd581ae93
0000009c: EQ
0000009d: PUSH2 0x0371
000000a0: JUMPI
000000a1: PUSH1 0x00
000000a3: DUP1
000000a4: REVERT
000000a5: JUMPDEST
000000a6: DUP1
000000a7: PUSH4 0x7d701102
000000ac: EQ
000000ad: PUSH2 0x02d3
000000b0: JUMPI
000000b1: DUP1
000000b2: PUSH4 0x8da5cb5b
000000b7: EQ
000000b8: PUSH2 0x0313
000000bb: JUMPI
000000bc: PUSH1 0x00
000000be: DUP1
000000bf: REVERT
000000c0: JUMPDEST
000000c1: DUP1
000000c2: PUSH4 0x389aa342
000000c7: GT
000000c8: PUSH2 0x0117
000000cb: JUMPI
000000cc: DUP1
000000cd: PUSH4 0x586171a0
000000d2: GT
000000d3: PUSH2 0x00fc
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x586171a0
000000dd: EQ
000000de: PUSH2 0x027e
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x6ccae054
000000e8: EQ
000000e9: PUSH2 0x029e
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x715018a6
000000f3: EQ
000000f4: PUSH2 0x02be
000000f7: JUMPI
000000f8: PUSH1 0x00
000000fa: DUP1
000000fb: REVERT
000000fc: JUMPDEST
000000fd: DUP1
000000fe: PUSH4 0x389aa342
00000103: EQ
00000104: PUSH2 0x0254
00000107: JUMPI
00000108: DUP1
00000109: PUSH4 0x47e7ef24
0000010e: EQ
0000010f: PUSH2 0x026b
00000112: JUMPI
00000113: PUSH1 0x00
00000115: DUP1
00000116: REVERT
00000117: JUMPDEST
00000118: DUP1
00000119: PUSH4 0x1e1bff3f
0000011e: GT
0000011f: PUSH2 0x0148
00000122: JUMPI
00000123: DUP1
00000124: PUSH4 0x1e1bff3f
00000129: EQ
0000012a: PUSH2 0x01f2
0000012d: JUMPI
0000012e: DUP1
0000012f: PUSH4 0x2e1a7d4d
00000134: EQ
00000135: PUSH2 0x0214
00000138: JUMPI
00000139: DUP1
0000013a: PUSH4 0x3738ea52
0000013f: EQ
00000140: PUSH2 0x0234
00000143: JUMPI
00000144: PUSH1 0x00
00000146: DUP1
00000147: REVERT
00000148: JUMPDEST
00000149: DUP1
0000014a: PUSH4 0x151ac3a8
0000014f: EQ
00000150: PUSH2 0x0164
00000153: JUMPI
00000154: DUP1
00000155: PUSH4 0x16f91b8f
0000015a: EQ
0000015b: PUSH2 0x01a4
0000015e: JUMPI
0000015f: JUMPDEST
00000160: PUSH1 0x00
00000162: DUP1
00000163: REVERT
00000164: JUMPDEST
00000165: CALLVALUE
00000166: DUP1
00000167: ISZERO
00000168: PUSH2 0x0170
0000016b: JUMPI
0000016c: PUSH1 0x00
0000016e: DUP1
0000016f: REVERT
00000170: JUMPDEST
00000171: POP
00000172: PUSH2 0x0191
00000175: PUSH2 0x017f
00000178: CALLDATASIZE
00000179: PUSH1 0x04
0000017b: PUSH2 0x17c3
0000017e: JUMP
0000017f: JUMPDEST
00000180: PUSH1 0x05
00000182: PUSH1 0x20
00000184: MSTORE
00000185: PUSH1 0x00
00000187: SWAP1
00000188: DUP2
00000189: MSTORE
0000018a: PUSH1 0x40
0000018c: SWAP1
0000018d: KECCAK256
0000018e: SLOAD
0000018f: DUP2
00000190: JUMP
00000191: JUMPDEST
00000192: PUSH1 0x40
00000194: MLOAD
00000195: SWAP1
00000196: DUP2
00000197: MSTORE
00000198: PUSH1 0x20
0000019a: ADD
0000019b: JUMPDEST
0000019c: PUSH1 0x40
0000019e: MLOAD
0000019f: DUP1
000001a0: SWAP2
000001a1: SUB
000001a2: SWAP1
000001a3: RETURN
000001a4: JUMPDEST
000001a5: CALLVALUE
000001a6: DUP1
000001a7: ISZERO
000001a8: PUSH2 0x01b0
000001ab: JUMPI
000001ac: PUSH1 0x00
000001ae: DUP1
000001af: REVERT
000001b0: JUMPDEST
000001b1: POP
000001b2: PUSH2 0x01da
000001b5: PUSH2 0x01bf
000001b8: CALLDATASIZE
000001b9: PUSH1 0x04
000001bb: PUSH2 0x17c3
000001be: JUMP
000001bf: JUMPDEST
000001c0: PUSH1 0x04
000001c2: PUSH1 0x20
000001c4: MSTORE
000001c5: PUSH1 0x00
000001c7: SWAP1
000001c8: DUP2
000001c9: MSTORE
000001ca: PUSH1 0x40
000001cc: SWAP1
000001cd: KECCAK256
000001ce: SLOAD
000001cf: PUSH1 0x01
000001d1: PUSH1 0x01
000001d3: PUSH1 0xa0
000001d5: SHL
000001d6: SUB
000001d7: AND
000001d8: DUP2
000001d9: JUMP
000001da: JUMPDEST
000001db: PUSH1 0x40
000001dd: MLOAD
000001de: PUSH1 0x01
000001e0: PUSH1 0x01
000001e2: PUSH1 0xa0
000001e4: SHL
000001e5: SUB
000001e6: SWAP1
000001e7: SWAP2
000001e8: AND
000001e9: DUP2
000001ea: MSTORE
000001eb: PUSH1 0x20
000001ed: ADD
000001ee: PUSH2 0x019b
000001f1: JUMP
000001f2: JUMPDEST
000001f3: CALLVALUE
000001f4: DUP1
000001f5: ISZERO
000001f6: PUSH2 0x01fe
000001f9: JUMPI
000001fa: PUSH1 0x00
000001fc: DUP1
000001fd: REVERT
000001fe: JUMPDEST
000001ff: POP
00000200: PUSH2 0x0212
00000203: PUSH2 0x020d
00000206: CALLDATASIZE
00000207: PUSH1 0x04
00000209: PUSH2 0x17fe
0000020c: JUMP
0000020d: JUMPDEST
0000020e: PUSH2 0x044b
00000211: JUMP
00000212: JUMPDEST
00000213: STOP
00000214: JUMPDEST
00000215: CALLVALUE
00000216: DUP1
00000217: ISZERO
00000218: PUSH2 0x0220
0000021b: JUMPI
0000021c: PUSH1 0x00
0000021e: DUP1
0000021f: REVERT
00000220: JUMPDEST
00000221: POP
00000222: PUSH2 0x0212
00000225: PUSH2 0x022f
00000228: CALLDATASIZE
00000229: PUSH1 0x04
0000022b: PUSH2 0x1837
0000022e: JUMP
0000022f: JUMPDEST
00000230: PUSH2 0x0461
00000233: JUMP
00000234: JUMPDEST
00000235: CALLVALUE
00000236: DUP1
00000237: ISZERO
00000238: PUSH2 0x0240
0000023b: JUMPI
0000023c: PUSH1 0x00
0000023e: DUP1
0000023f: REVERT
00000240: JUMPDEST
00000241: POP
00000242: PUSH2 0x0212
00000245: PUSH2 0x024f
00000248: CALLDATASIZE
00000249: PUSH1 0x04
0000024b: PUSH2 0x1850
0000024e: JUMP
0000024f: JUMPDEST
00000250: PUSH2 0x05a8
00000253: JUMP
00000254: JUMPDEST
00000255: CALLVALUE
00000256: DUP1
00000257: ISZERO
00000258: PUSH2 0x0260
0000025b: JUMPI
0000025c: PUSH1 0x00
0000025e: DUP1
0000025f: REVERT
00000260: JUMPDEST
00000261: POP
00000262: PUSH2 0x0191
00000265: PUSH3 0x011364
00000269: DUP2
0000026a: JUMP
0000026b: JUMPDEST
0000026c: PUSH2 0x0212
0000026f: PUSH2 0x0279
00000272: CALLDATASIZE
00000273: PUSH1 0x04
00000275: PUSH2 0x187e
00000278: JUMP
00000279: JUMPDEST
0000027a: PUSH2 0x065f
0000027d: JUMP
0000027e: JUMPDEST
0000027f: CALLVALUE
00000280: DUP1
00000281: ISZERO
00000282: PUSH2 0x028a
00000285: JUMPI
00000286: PUSH1 0x00
00000288: DUP1
00000289: REVERT
0000028a: JUMPDEST
0000028b: POP
0000028c: PUSH2 0x01da
0000028f: PUSH2 0x0299
00000292: CALLDATASIZE
00000293: PUSH1 0x04
00000295: PUSH2 0x17c3
00000298: JUMP
00000299: JUMPDEST
0000029a: PUSH2 0x0731
0000029d: JUMP
0000029e: JUMPDEST
0000029f: CALLVALUE
000002a0: DUP1
000002a1: ISZERO
000002a2: PUSH2 0x02aa
000002a5: JUMPI
000002a6: PUSH1 0x00
000002a8: DUP1
000002a9: REVERT
000002aa: JUMPDEST
000002ab: POP
000002ac: PUSH2 0x0212
000002af: PUSH2 0x02b9
000002b2: CALLDATASIZE
000002b3: PUSH1 0x04
000002b5: PUSH2 0x18aa
000002b8: JUMP
000002b9: JUMPDEST
000002ba: PUSH2 0x076d
000002bd: JUMP
000002be: JUMPDEST
000002bf: CALLVALUE
000002c0: DUP1
000002c1: ISZERO
000002c2: PUSH2 0x02ca
000002c5: JUMPI
000002c6: PUSH1 0x00
000002c8: DUP1
000002c9: REVERT
000002ca: JUMPDEST
000002cb: POP
000002cc: PUSH2 0x0212
000002cf: PUSH2 0x0895
000002d2: JUMP
000002d3: JUMPDEST
000002d4: CALLVALUE
000002d5: DUP1
000002d6: ISZERO
000002d7: PUSH2 0x02df
000002da: JUMPI
000002db: PUSH1 0x00
000002dd: DUP1
000002de: REVERT
000002df: JUMPDEST
000002e0: POP
000002e1: PUSH2 0x0303
000002e4: PUSH2 0x02ee
000002e7: CALLDATASIZE
000002e8: PUSH1 0x04
000002ea: PUSH2 0x17c3
000002ed: JUMP
000002ee: JUMPDEST
000002ef: PUSH1 0x02
000002f1: PUSH1 0x20
000002f3: MSTORE
000002f4: PUSH1 0x00
000002f6: SWAP1
000002f7: DUP2
000002f8: MSTORE
000002f9: PUSH1 0x40
000002fb: SWAP1
000002fc: KECCAK256
000002fd: SLOAD
000002fe: PUSH1 0xff
00000300: AND
00000301: DUP2
00000302: JUMP
00000303: JUMPDEST
00000304: PUSH1 0x40
00000306: MLOAD
00000307: SWAP1
00000308: ISZERO
00000309: ISZERO
0000030a: DUP2
0000030b: MSTORE
0000030c: PUSH1 0x20
0000030e: ADD
0000030f: PUSH2 0x019b
00000312: JUMP
00000313: JUMPDEST
00000314: CALLVALUE
00000315: DUP1
00000316: ISZERO
00000317: PUSH2 0x031f
0000031a: JUMPI
0000031b: PUSH1 0x00
0000031d: DUP1
0000031e: REVERT
0000031f: JUMPDEST
00000320: POP
00000321: PUSH1 0x00
00000323: SLOAD
00000324: PUSH1 0x01
00000326: PUSH1 0x01
00000328: PUSH1 0xa0
0000032a: SHL
0000032b: SUB
0000032c: AND
0000032d: PUSH2 0x01da
00000330: JUMP
00000331: JUMPDEST
00000332: CALLVALUE
00000333: DUP1
00000334: ISZERO
00000335: PUSH2 0x033d
00000338: JUMPI
00000339: PUSH1 0x00
0000033b: DUP1
0000033c: REVERT
0000033d: JUMPDEST
0000033e: POP
0000033f: PUSH2 0x0212
00000342: PUSH2 0x034c
00000345: CALLDATASIZE
00000346: PUSH1 0x04
00000348: PUSH2 0x17c3
0000034b: JUMP
0000034c: JUMPDEST
0000034d: PUSH2 0x08a9
00000350: JUMP
00000351: JUMPDEST
00000352: CALLVALUE
00000353: DUP1
00000354: ISZERO
00000355: PUSH2 0x035d
00000358: JUMPI
00000359: PUSH1 0x00
0000035b: DUP1
0000035c: REVERT
0000035d: JUMPDEST
0000035e: POP
0000035f: PUSH2 0x0212
00000362: PUSH2 0x036c
00000365: CALLDATASIZE
00000366: PUSH1 0x04
00000368: PUSH2 0x1a94
0000036b: JUMP
0000036c: JUMPDEST
0000036d: PUSH2 0x08bd
00000370: JUMP
00000371: JUMPDEST
00000372: CALLVALUE
00000373: DUP1
00000374: ISZERO
00000375: PUSH2 0x037d
00000378: JUMPI
00000379: PUSH1 0x00
0000037b: DUP1
0000037c: REVERT
0000037d: JUMPDEST
0000037e: POP
0000037f: PUSH2 0x0191
00000382: PUSH2 0x038c
00000385: CALLDATASIZE
00000386: PUSH1 0x04
00000388: PUSH2 0x17c3
0000038b: JUMP
0000038c: JUMPDEST
0000038d: PUSH1 0x03
0000038f: PUSH1 0x20
00000391: MSTORE
00000392: PUSH1 0x00
00000394: SWAP1
00000395: DUP2
00000396: MSTORE
00000397: PUSH1 0x40
00000399: SWAP1
0000039a: KECCAK256
0000039b: SLOAD
0000039c: DUP2
0000039d: JUMP
0000039e: JUMPDEST
0000039f: CALLVALUE
000003a0: DUP1
000003a1: ISZERO
000003a2: PUSH2 0x03aa
000003a5: JUMPI
000003a6: PUSH1 0x00
000003a8: DUP1
000003a9: REVERT
000003aa: JUMPDEST
000003ab: POP
000003ac: PUSH2 0x0191
000003af: PUSH2 0x03b9
000003b2: CALLDATASIZE
000003b3: PUSH1 0x04
000003b5: PUSH2 0x17c3
000003b8: JUMP
000003b9: JUMPDEST
000003ba: PUSH1 0x06
000003bc: PUSH1 0x20
000003be: MSTORE
000003bf: PUSH1 0x00
000003c1: SWAP1
000003c2: DUP2
000003c3: MSTORE
000003c4: PUSH1 0x40
000003c6: SWAP1
000003c7: KECCAK256
000003c8: SLOAD
000003c9: DUP2
000003ca: JUMP
000003cb: JUMPDEST
000003cc: CALLVALUE
000003cd: DUP1
000003ce: ISZERO
000003cf: PUSH2 0x03d7
000003d2: JUMPI
000003d3: PUSH1 0x00
000003d5: DUP1
000003d6: REVERT
000003d7: JUMPDEST
000003d8: POP
000003d9: PUSH2 0x0212
000003dc: PUSH2 0x03e6
000003df: CALLDATASIZE
000003e0: PUSH1 0x04
000003e2: PUSH2 0x187e
000003e5: JUMP
000003e6: JUMPDEST
000003e7: PUSH2 0x08ce
000003ea: JUMP
000003eb: JUMPDEST
000003ec: CALLVALUE
000003ed: DUP1
000003ee: ISZERO
000003ef: PUSH2 0x03f7
000003f2: JUMPI
000003f3: PUSH1 0x00
000003f5: DUP1
000003f6: REVERT
000003f7: JUMPDEST
000003f8: POP
000003f9: PUSH2 0x0212
000003fc: PUSH2 0x0406
000003ff: CALLDATASIZE
00000400: PUSH1 0x04
00000402: PUSH2 0x1a94
00000405: JUMP
00000406: JUMPDEST
00000407: PUSH2 0x092f
0000040a: JUMP
0000040b: JUMPDEST
0000040c: CALLVALUE
0000040d: DUP1
0000040e: ISZERO
0000040f: PUSH2 0x0417
00000412: JUMPI
00000413: PUSH1 0x00
00000415: DUP1
00000416: REVERT
00000417: JUMPDEST
00000418: POP
00000419: PUSH2 0x0212
0000041c: PUSH2 0x0426
0000041f: CALLDATASIZE
00000420: PUSH1 0x04
00000422: PUSH2 0x17c3
00000425: JUMP
00000426: JUMPDEST
00000427: PUSH2 0x096d
0000042a: JUMP
0000042b: JUMPDEST
0000042c: CALLVALUE
0000042d: DUP1
0000042e: ISZERO
0000042f: PUSH2 0x0437
00000432: JUMPI
00000433: PUSH1 0x00
00000435: DUP1
00000436: REVERT
00000437: JUMPDEST
00000438: POP
00000439: PUSH1 0x01
0000043b: SLOAD
0000043c: PUSH2 0x01da
0000043f: SWAP1
00000440: PUSH1 0x01
00000442: PUSH1 0x01
00000444: PUSH1 0xa0
00000446: SHL
00000447: SUB
00000448: AND
00000449: DUP2
0000044a: JUMP
0000044b: JUMPDEST
0000044c: PUSH2 0x0453
0000044f: PUSH2 0x0a14
00000452: JUMP
00000453: JUMPDEST
00000454: PUSH2 0x045d
00000457: DUP3
00000458: DUP3
00000459: PUSH2 0x0a88
0000045c: JUMP
0000045d: JUMPDEST
0000045e: POP
0000045f: POP
00000460: JUMP
00000461: JUMPDEST
00000462: CALLER
00000463: PUSH1 0x00
00000465: SWAP1
00000466: DUP2
00000467: MSTORE
00000468: PUSH1 0x03
0000046a: PUSH1 0x20
0000046c: MSTORE
0000046d: PUSH1 0x40
0000046f: SWAP1
00000470: KECCAK256
00000471: SLOAD
00000472: DUP1
00000473: DUP3
00000474: GT
00000475: ISZERO
00000476: PUSH2 0x04c0
00000479: JUMPI
0000047a: PUSH1 0x40
0000047c: MLOAD
0000047d: PUSH32 0x4e4cd2e600000000000000000000000000000000000000000000000000000000
0000049e: DUP2
0000049f: MSTORE
000004a0: CALLER
000004a1: PUSH1 0x04
000004a3: DUP3
000004a4: ADD
000004a5: MSTORE
000004a6: PUSH1 0x24
000004a8: DUP2
000004a9: ADD
000004aa: DUP3
000004ab: SWAP1
000004ac: MSTORE
000004ad: PUSH1 0x44
000004af: DUP2
000004b0: ADD
000004b1: DUP4
000004b2: SWAP1
000004b3: MSTORE
000004b4: PUSH1 0x64
000004b6: ADD
000004b7: JUMPDEST
000004b8: PUSH1 0x40
000004ba: MLOAD
000004bb: DUP1
000004bc: SWAP2
000004bd: SUB
000004be: SWAP1
000004bf: REVERT
000004c0: JUMPDEST
000004c1: PUSH2 0x04ca
000004c4: DUP3
000004c5: DUP3
000004c6: PUSH2 0x1b95
000004c9: JUMP
000004ca: JUMPDEST
000004cb: CALLER
000004cc: PUSH1 0x00
000004ce: DUP2
000004cf: DUP2
000004d0: MSTORE
000004d1: PUSH1 0x03
000004d3: PUSH1 0x20
000004d5: MSTORE
000004d6: PUSH1 0x40
000004d8: SWAP1
000004d9: DUP2
000004da: SWAP1
000004db: KECCAK256
000004dc: SWAP3
000004dd: SWAP1
000004de: SWAP3
000004df: SSTORE
000004e0: SWAP1
000004e1: MLOAD
000004e2: PUSH32 0x7084f5476618d8e60b11ef0d7d3f06914655adb8793e28ff7f018d4c76d505d5
00000503: SWAP1
00000504: PUSH2 0x0510
00000507: SWAP1
00000508: DUP6
00000509: DUP2
0000050a: MSTORE
0000050b: PUSH1 0x20
0000050d: ADD
0000050e: SWAP1
0000050f: JUMP
00000510: JUMPDEST
00000511: PUSH1 0x40
00000513: MLOAD
00000514: DUP1
00000515: SWAP2
00000516: SUB
00000517: SWAP1
00000518: LOG2
00000519: PUSH1 0x40
0000051b: MLOAD
0000051c: PUSH1 0x00
0000051e: SWAP1
0000051f: CALLER
00000520: SWAP1
00000521: DUP5
00000522: SWAP1
00000523: DUP4
00000524: DUP2
00000525: DUP2
00000526: DUP2
00000527: DUP6
00000528: DUP8
00000529: GAS
0000052a: CALL
0000052b: SWAP3
0000052c: POP
0000052d: POP
0000052e: POP
0000052f: RETURNDATASIZE
00000530: DUP1
00000531: PUSH1 0x00
00000533: DUP2
00000534: EQ
00000535: PUSH2 0x055a
00000538: JUMPI
00000539: PUSH1 0x40
0000053b: MLOAD
0000053c: SWAP2
0000053d: POP
0000053e: PUSH1 0x1f
00000540: NOT
00000541: PUSH1 0x3f
00000543: RETURNDATASIZE
00000544: ADD
00000545: AND
00000546: DUP3
00000547: ADD
00000548: PUSH1 0x40
0000054a: MSTORE
0000054b: RETURNDATASIZE
0000054c: DUP3
0000054d: MSTORE
0000054e: RETURNDATASIZE
0000054f: PUSH1 0x00
00000551: PUSH1 0x20
00000553: DUP5
00000554: ADD
00000555: RETURNDATACOPY
00000556: PUSH2 0x055f
00000559: JUMP
0000055a: JUMPDEST
0000055b: PUSH1 0x60
0000055d: SWAP2
0000055e: POP
0000055f: JUMPDEST
00000560: POP
00000561: POP
00000562: SWAP1
00000563: POP
00000564: DUP1
00000565: PUSH2 0x05a3
00000568: JUMPI
00000569: PUSH1 0x40
0000056b: MLOAD
0000056c: PUSH32 0x9e2673b300000000000000000000000000000000000000000000000000000000
0000058d: DUP2
0000058e: MSTORE
0000058f: CALLER
00000590: PUSH1 0x04
00000592: DUP3
00000593: ADD
00000594: MSTORE
00000595: PUSH1 0x24
00000597: DUP2
00000598: ADD
00000599: DUP5
0000059a: SWAP1
0000059b: MSTORE
0000059c: PUSH1 0x44
0000059e: ADD
0000059f: PUSH2 0x04b7
000005a2: JUMP
000005a3: JUMPDEST
000005a4: POP
000005a5: POP
000005a6: POP
000005a7: JUMP
000005a8: JUMPDEST
000005a9: PUSH2 0x05b0
000005ac: PUSH2 0x0a14
000005af: JUMP
000005b0: JUMPDEST
000005b1: PUSH1 0x01
000005b3: PUSH1 0x01
000005b5: PUSH1 0xa0
000005b7: SHL
000005b8: SUB
000005b9: DUP2
000005ba: AND
000005bb: PUSH2 0x05f0
000005be: JUMPI
000005bf: PUSH1 0x40
000005c1: MLOAD
000005c2: PUSH32 0xe044c84500000000000000000000000000000000000000000000000000000000
000005e3: DUP2
000005e4: MSTORE
000005e5: PUSH1 0x04
000005e7: ADD
000005e8: PUSH1 0x40
000005ea: MLOAD
000005eb: DUP1
000005ec: SWAP2
000005ed: SUB
000005ee: SWAP1
000005ef: REVERT
000005f0: JUMPDEST
000005f1: PUSH1 0x01
000005f3: PUSH1 0x01
000005f5: PUSH1 0xa0
000005f7: SHL
000005f8: SUB
000005f9: DUP3
000005fa: DUP2
000005fb: AND
000005fc: PUSH1 0x00
000005fe: DUP2
000005ff: DUP2
00000600: MSTORE
00000601: PUSH1 0x04
00000603: PUSH1 0x20
00000605: MSTORE
00000606: PUSH1 0x40
00000608: DUP1
00000609: DUP3
0000060a: KECCAK256
0000060b: DUP1
0000060c: SLOAD
0000060d: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
0000062e: AND
0000062f: SWAP5
00000630: DUP7
00000631: AND
00000632: SWAP5
00000633: DUP6
00000634: OR
00000635: SWAP1
00000636: SSTORE
00000637: MLOAD
00000638: PUSH32 0x0d446d315256b8ce0010028b95bcdb8f8ff5534f0a7546c573296f8d8ccfeab7
00000659: SWAP2
0000065a: SWAP1
0000065b: LOG3
0000065c: POP
0000065d: POP
0000065e: JUMP
0000065f: JUMPDEST
00000660: DUP1
00000661: CALLVALUE
00000662: EQ
00000663: PUSH2 0x06a1
00000666: JUMPI
00000667: PUSH1 0x40
00000669: MLOAD
0000066a: PUSH32 0x4006281000000000000000000000000000000000000000000000000000000000
0000068b: DUP2
0000068c: MSTORE
0000068d: CALLVALUE
0000068e: PUSH1 0x04
00000690: DUP3
00000691: ADD
00000692: MSTORE
00000693: PUSH1 0x24
00000695: DUP2
00000696: ADD
00000697: DUP3
00000698: SWAP1
00000699: MSTORE
0000069a: PUSH1 0x44
0000069c: ADD
0000069d: PUSH2 0x04b7
000006a0: JUMP
000006a1: JUMPDEST
000006a2: PUSH1 0x00
000006a4: PUSH2 0x06ad
000006a7: DUP4
000006a8: DUP4
000006a9: PUSH2 0x0b3e
000006ac: JUMP
000006ad: JUMPDEST
000006ae: SWAP1
000006af: POP
000006b0: PUSH1 0x00
000006b2: PUSH2 0x06bb
000006b5: DUP3
000006b6: DUP5
000006b7: PUSH2 0x1b95
000006ba: JUMP
000006bb: JUMPDEST
000006bc: PUSH1 0x01
000006be: PUSH1 0x01
000006c0: PUSH1 0xa0
000006c2: SHL
000006c3: SUB
000006c4: DUP6
000006c5: AND
000006c6: PUSH1 0x00
000006c8: SWAP1
000006c9: DUP2
000006ca: MSTORE
000006cb: PUSH1 0x03
000006cd: PUSH1 0x20
000006cf: MSTORE
000006d0: PUSH1 0x40
000006d2: DUP2
000006d3: KECCAK256
000006d4: DUP1
000006d5: SLOAD
000006d6: SWAP3
000006d7: SWAP4
000006d8: POP
000006d9: DUP4
000006da: SWAP3
000006db: SWAP1
000006dc: SWAP2
000006dd: SWAP1
000006de: PUSH2 0x06e8
000006e1: SWAP1
000006e2: DUP5
000006e3: SWAP1
000006e4: PUSH2 0x1ba8
000006e7: JUMP
000006e8: JUMPDEST
000006e9: SWAP1
000006ea: SWAP2
000006eb: SSTORE
000006ec: POP
000006ed: POP
000006ee: PUSH1 0x40
000006f0: MLOAD
000006f1: DUP2
000006f2: DUP2
000006f3: MSTORE
000006f4: PUSH1 0x01
000006f6: PUSH1 0x01
000006f8: PUSH1 0xa0
000006fa: SHL
000006fb: SUB
000006fc: DUP6
000006fd: AND
000006fe: SWAP1
000006ff: PUSH32 0x2da466a7b24304f47e87fa2e1e5a81b9831ce54fec19055ce277ca2f39ba42c4
00000720: SWAP1
00000721: PUSH1 0x20
00000723: ADD
00000724: PUSH1 0x40
00000726: MLOAD
00000727: DUP1
00000728: SWAP2
00000729: SUB
0000072a: SWAP1
0000072b: LOG2
0000072c: POP
0000072d: POP
0000072e: POP
0000072f: POP
00000730: JUMP
00000731: JUMPDEST
00000732: PUSH1 0x01
00000734: PUSH1 0x01
00000736: PUSH1 0xa0
00000738: SHL
00000739: SUB
0000073a: DUP1
0000073b: DUP3
0000073c: AND
0000073d: PUSH1 0x00
0000073f: SWAP1
00000740: DUP2
00000741: MSTORE
00000742: PUSH1 0x04
00000744: PUSH1 0x20
00000746: MSTORE
00000747: PUSH1 0x40
00000749: DUP2
0000074a: KECCAK256
0000074b: SLOAD
0000074c: SWAP1
0000074d: SWAP2
0000074e: AND
0000074f: DUP1
00000750: PUSH2 0x0764
00000753: JUMPI
00000754: PUSH1 0x01
00000756: SLOAD
00000757: PUSH1 0x01
00000759: PUSH1 0x01
0000075b: PUSH1 0xa0
0000075d: SHL
0000075e: SUB
0000075f: AND
00000760: PUSH2 0x0766
00000763: JUMP
00000764: JUMPDEST
00000765: DUP1
00000766: JUMPDEST
00000767: SWAP4
00000768: SWAP3
00000769: POP
0000076a: POP
0000076b: POP
0000076c: JUMP
0000076d: JUMPDEST
0000076e: PUSH2 0x0775
00000771: PUSH2 0x0a14
00000774: JUMP
00000775: JUMPDEST
00000776: PUSH1 0x01
00000778: PUSH1 0x01
0000077a: PUSH1 0xa0
0000077c: SHL
0000077d: SUB
0000077e: DUP4
0000077f: AND
00000780: PUSH2 0x07b5
00000783: JUMPI
00000784: PUSH1 0x40
00000786: MLOAD
00000787: PUSH32 0xf179a02100000000000000000000000000000000000000000000000000000000
000007a8: DUP2
000007a9: MSTORE
000007aa: PUSH1 0x04
000007ac: ADD
000007ad: PUSH1 0x40
000007af: MLOAD
000007b0: DUP1
000007b1: SWAP2
000007b2: SUB
000007b3: SWAP1
000007b4: REVERT
000007b5: JUMPDEST
000007b6: PUSH1 0x01
000007b8: PUSH1 0x01
000007ba: PUSH1 0xa0
000007bc: SHL
000007bd: SUB
000007be: DUP3
000007bf: AND
000007c0: PUSH2 0x07f5
000007c3: JUMPI
000007c4: PUSH1 0x40
000007c6: MLOAD
000007c7: PUSH32 0x0a38b94900000000000000000000000000000000000000000000000000000000
000007e8: DUP2
000007e9: MSTORE
000007ea: PUSH1 0x04
000007ec: ADD
000007ed: PUSH1 0x40
000007ef: MLOAD
000007f0: DUP1
000007f1: SWAP2
000007f2: SUB
000007f3: SWAP1
000007f4: REVERT
000007f5: JUMPDEST
000007f6: DUP1
000007f7: PUSH1 0x00
000007f9: SUB
000007fa: PUSH2 0x082f
000007fd: JUMPI
000007fe: PUSH1 0x40
00000800: MLOAD
00000801: PUSH32 0x26b97ea400000000000000000000000000000000000000000000000000000000
00000822: DUP2
00000823: MSTORE
00000824: PUSH1 0x04
00000826: ADD
00000827: PUSH1 0x40
00000829: MLOAD
0000082a: DUP1
0000082b: SWAP2
0000082c: SUB
0000082d: SWAP1
0000082e: REVERT
0000082f: JUMPDEST
00000830: PUSH2 0x0843
00000833: PUSH1 0x01
00000835: PUSH1 0x01
00000837: PUSH1 0xa0
00000839: SHL
0000083a: SUB
0000083b: DUP5
0000083c: AND
0000083d: DUP4
0000083e: DUP4
0000083f: PUSH2 0x0c03
00000842: JUMP
00000843: JUMPDEST
00000844: DUP2
00000845: PUSH1 0x01
00000847: PUSH1 0x01
00000849: PUSH1 0xa0
0000084b: SHL
0000084c: SUB
0000084d: AND
0000084e: DUP4
0000084f: PUSH1 0x01
00000851: PUSH1 0x01
00000853: PUSH1 0xa0
00000855: SHL
00000856: SUB
00000857: AND
00000858: PUSH32 0xed2837b80b3489773c5f1ed30dd2884b4c90dbf7b87428ea03c49b24ef59a805
00000879: DUP4
0000087a: PUSH1 0x40
0000087c: MLOAD
0000087d: PUSH2 0x0888
00000880: SWAP2
00000881: DUP2
00000882: MSTORE
00000883: PUSH1 0x20
00000885: ADD
00000886: SWAP1
00000887: JUMP
00000888: JUMPDEST
00000889: PUSH1 0x40
0000088b: MLOAD
0000088c: DUP1
0000088d: SWAP2
0000088e: SUB
0000088f: SWAP1
00000890: LOG3
00000891: POP
00000892: POP
00000893: POP
00000894: JUMP
00000895: JUMPDEST
00000896: PUSH2 0x089d
00000899: PUSH2 0x0a14
0000089c: JUMP
0000089d: JUMPDEST
0000089e: PUSH2 0x08a7
000008a1: PUSH1 0x00
000008a3: PUSH2 0x0c83
000008a6: JUMP
000008a7: JUMPDEST
000008a8: JUMP
000008a9: JUMPDEST
000008aa: PUSH2 0x08b1
000008ad: PUSH2 0x0a14
000008b0: JUMP
000008b1: JUMPDEST
000008b2: PUSH2 0x08ba
000008b5: DUP2
000008b6: PUSH2 0x0ceb
000008b9: JUMP
000008ba: JUMPDEST
000008bb: POP
000008bc: JUMP
000008bd: JUMPDEST
000008be: PUSH2 0x08c8
000008c1: DUP4
000008c2: DUP4
000008c3: DUP4
000008c4: PUSH2 0x0d8d
000008c7: JUMP
000008c8: JUMPDEST
000008c9: POP
000008ca: POP
000008cb: POP
000008cc: POP
000008cd: JUMP
000008ce: JUMPDEST
000008cf: PUSH2 0x08d6
000008d2: PUSH2 0x0a14
000008d5: JUMP
000008d6: JUMPDEST
000008d7: PUSH1 0x01
000008d9: PUSH1 0x01
000008db: PUSH1 0xa0
000008dd: SHL
000008de: SUB
000008df: DUP3
000008e0: AND
000008e1: PUSH1 0x00
000008e3: DUP2
000008e4: DUP2
000008e5: MSTORE
000008e6: PUSH1 0x05
000008e8: PUSH1 0x20
000008ea: MSTORE
000008eb: PUSH1 0x40
000008ed: SWAP1
000008ee: DUP2
000008ef: SWAP1
000008f0: KECCAK256
000008f1: DUP4
000008f2: SWAP1
000008f3: SSTORE
000008f4: MLOAD
000008f5: PUSH32 0xac2d1a21b245ceb74d21ba8d4bbe0ae6d14473563f17aae4958afe3253ed603f
00000916: SWAP1
00000917: PUSH2 0x0923
0000091a: SWAP1
0000091b: DUP5
0000091c: DUP2
0000091d: MSTORE
0000091e: PUSH1 0x20
00000920: ADD
00000921: SWAP1
00000922: JUMP
00000923: JUMPDEST
00000924: PUSH1 0x40
00000926: MLOAD
00000927: DUP1
00000928: SWAP2
00000929: SUB
0000092a: SWAP1
0000092b: LOG2
0000092c: POP
0000092d: POP
0000092e: JUMP
0000092f: JUMPDEST
00000930: PUSH2 0x093a
00000933: DUP4
00000934: DUP4
00000935: DUP4
00000936: PUSH2 0x0d8d
00000939: JUMP
0000093a: JUMPDEST
0000093b: PUSH1 0x40
0000093d: MLOAD
0000093e: PUSH32 0xf7dce39300000000000000000000000000000000000000000000000000000000
0000095f: DUP2
00000960: MSTORE
00000961: PUSH1 0x04
00000963: ADD
00000964: PUSH2 0x04b7
00000967: SWAP2
00000968: SWAP1
00000969: PUSH2 0x1c29
0000096c: JUMP
0000096d: JUMPDEST
0000096e: PUSH2 0x0975
00000971: PUSH2 0x0a14
00000974: JUMP
00000975: JUMPDEST
00000976: PUSH1 0x01
00000978: PUSH1 0x01
0000097a: PUSH1 0xa0
0000097c: SHL
0000097d: SUB
0000097e: DUP2
0000097f: AND
00000980: PUSH2 0x0a0b
00000983: JUMPI
00000984: PUSH1 0x40
00000986: MLOAD
00000987: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009a8: DUP2
000009a9: MSTORE
000009aa: PUSH1 0x20
000009ac: PUSH1 0x04
000009ae: DUP3
000009af: ADD
000009b0: MSTORE
000009b1: PUSH1 0x26
000009b3: PUSH1 0x24
000009b5: DUP3
000009b6: ADD
000009b7: MSTORE
000009b8: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
000009d9: PUSH1 0x44
000009db: DUP3
000009dc: ADD
000009dd: MSTORE
000009de: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
000009ff: PUSH1 0x64
00000a01: DUP3
00000a02: ADD
00000a03: MSTORE
00000a04: PUSH1 0x84
00000a06: ADD
00000a07: PUSH2 0x04b7
00000a0a: JUMP
00000a0b: JUMPDEST
00000a0c: PUSH2 0x08ba
00000a0f: DUP2
00000a10: PUSH2 0x0c83
00000a13: JUMP
00000a14: JUMPDEST
00000a15: PUSH1 0x00
00000a17: SLOAD
00000a18: PUSH1 0x01
00000a1a: PUSH1 0x01
00000a1c: PUSH1 0xa0
00000a1e: SHL
00000a1f: SUB
00000a20: AND
00000a21: CALLER
00000a22: EQ
00000a23: PUSH2 0x08a7
00000a26: JUMPI
00000a27: PUSH1 0x40
00000a29: MLOAD
00000a2a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a4b: DUP2
00000a4c: MSTORE
00000a4d: PUSH1 0x20
00000a4f: PUSH1 0x04
00000a51: DUP3
00000a52: ADD
00000a53: DUP2
00000a54: SWAP1
00000a55: MSTORE
00000a56: PUSH1 0x24
00000a58: DUP3
00000a59: ADD
00000a5a: MSTORE
00000a5b: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00000a7c: PUSH1 0x44
00000a7e: DUP3
00000a7f: ADD
00000a80: MSTORE
00000a81: PUSH1 0x64
00000a83: ADD
00000a84: PUSH2 0x04b7
00000a87: JUMP
00000a88: JUMPDEST
00000a89: PUSH1 0x01
00000a8b: PUSH1 0x01
00000a8d: PUSH1 0xa0
00000a8f: SHL
00000a90: SUB
00000a91: DUP3
00000a92: AND
00000a93: PUSH2 0x0ac8
00000a96: JUMPI
00000a97: PUSH1 0x40
00000a99: MLOAD
00000a9a: PUSH32 0xac9bae2c00000000000000000000000000000000000000000000000000000000
00000abb: DUP2
00000abc: MSTORE
00000abd: PUSH1 0x04
00000abf: ADD
00000ac0: PUSH1 0x40
00000ac2: MLOAD
00000ac3: DUP1
00000ac4: SWAP2
00000ac5: SUB
00000ac6: SWAP1
00000ac7: REVERT
00000ac8: JUMPDEST
00000ac9: PUSH1 0x01
00000acb: PUSH1 0x01
00000acd: PUSH1 0xa0
00000acf: SHL
00000ad0: SUB
00000ad1: DUP3
00000ad2: AND
00000ad3: PUSH1 0x00
00000ad5: DUP2
00000ad6: DUP2
00000ad7: MSTORE
00000ad8: PUSH1 0x02
00000ada: PUSH1 0x20
00000adc: SWAP1
00000add: DUP2
00000ade: MSTORE
00000adf: PUSH1 0x40
00000ae1: SWAP2
00000ae2: DUP3
00000ae3: SWAP1
00000ae4: KECCAK256
00000ae5: DUP1
00000ae6: SLOAD
00000ae7: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff00
00000b08: AND
00000b09: DUP6
00000b0a: ISZERO
00000b0b: ISZERO
00000b0c: SWAP1
00000b0d: DUP2
00000b0e: OR
00000b0f: SWAP1
00000b10: SWAP2
00000b11: SSTORE
00000b12: SWAP2
00000b13: MLOAD
00000b14: SWAP2
00000b15: DUP3
00000b16: MSTORE
00000b17: PUSH32 0x278b09622564dd3991fe7744514513d64ea2c8ed2b2b9ec1150ad964fde80a99
00000b38: SWAP2
00000b39: ADD
00000b3a: PUSH2 0x0923
00000b3d: JUMP
00000b3e: JUMPDEST
00000b3f: PUSH1 0x01
00000b41: PUSH1 0x01
00000b43: PUSH1 0xa0
00000b45: SHL
00000b46: SUB
00000b47: DUP3
00000b48: AND
00000b49: PUSH1 0x00
00000b4b: SWAP1
00000b4c: DUP2
00000b4d: MSTORE
00000b4e: PUSH1 0x06
00000b50: PUSH1 0x20
00000b52: MSTORE
00000b53: PUSH1 0x40
00000b55: DUP2
00000b56: KECCAK256
00000b57: SLOAD
00000b58: DUP1
00000b59: DUP3
00000b5a: SUB
00000b5b: PUSH2 0x0b68
00000b5e: JUMPI
00000b5f: PUSH1 0x00
00000b61: SWAP2
00000b62: POP
00000b63: POP
00000b64: PUSH2 0x0bfd
00000b67: JUMP
00000b68: JUMPDEST
00000b69: DUP1
00000b6a: DUP4
00000b6b: GT
00000b6c: ISZERO
00000b6d: PUSH2 0x0b91
00000b70: JUMPI
00000b71: PUSH1 0x01
00000b73: PUSH1 0x01
00000b75: PUSH1 0xa0
00000b77: SHL
00000b78: SUB
00000b79: DUP5
00000b7a: AND
00000b7b: PUSH1 0x00
00000b7d: SWAP1
00000b7e: DUP2
00000b7f: MSTORE
00000b80: PUSH1 0x06
00000b82: PUSH1 0x20
00000b84: MSTORE
00000b85: PUSH1 0x40
00000b87: DUP2
00000b88: KECCAK256
00000b89: SSTORE
00000b8a: SWAP1
00000b8b: POP
00000b8c: DUP1
00000b8d: PUSH2 0x0bb8
00000b90: JUMP
00000b91: JUMPDEST
00000b92: PUSH2 0x0b9b
00000b95: DUP4
00000b96: DUP3
00000b97: PUSH2 0x1b95
00000b9a: JUMP
00000b9b: JUMPDEST
00000b9c: PUSH1 0x01
00000b9e: PUSH1 0x01
00000ba0: PUSH1 0xa0
00000ba2: SHL
00000ba3: SUB
00000ba4: DUP6
00000ba5: AND
00000ba6: PUSH1 0x00
00000ba8: SWAP1
00000ba9: DUP2
00000baa: MSTORE
00000bab: PUSH1 0x06
00000bad: PUSH1 0x20
00000baf: MSTORE
00000bb0: PUSH1 0x40
00000bb2: SWAP1
00000bb3: KECCAK256
00000bb4: SSTORE
00000bb5: DUP3
00000bb6: SWAP2
00000bb7: POP
00000bb8: JUMPDEST
00000bb9: DUP4
00000bba: PUSH1 0x01
00000bbc: PUSH1 0x01
00000bbe: PUSH1 0xa0
00000bc0: SHL
00000bc1: SUB
00000bc2: AND
00000bc3: PUSH32 0xadde402c2cbae39776ebbb17c3619b0df48792f0ae294012433667cc4f30aa90
00000be4: DUP4
00000be5: PUSH1 0x40
00000be7: MLOAD
00000be8: PUSH2 0x0bf3
00000beb: SWAP2
00000bec: DUP2
00000bed: MSTORE
00000bee: PUSH1 0x20
00000bf0: ADD
00000bf1: SWAP1
00000bf2: JUMP
00000bf3: JUMPDEST
00000bf4: PUSH1 0x40
00000bf6: MLOAD
00000bf7: DUP1
00000bf8: SWAP2
00000bf9: SUB
00000bfa: SWAP1
00000bfb: LOG2
00000bfc: POP
00000bfd: JUMPDEST
00000bfe: SWAP3
00000bff: SWAP2
00000c00: POP
00000c01: POP
00000c02: JUMP
00000c03: JUMPDEST
00000c04: PUSH1 0x40
00000c06: DUP1
00000c07: MLOAD
00000c08: PUSH1 0x01
00000c0a: PUSH1 0x01
00000c0c: PUSH1 0xa0
00000c0e: SHL
00000c0f: SUB
00000c10: DUP5
00000c11: AND
00000c12: PUSH1 0x24
00000c14: DUP3
00000c15: ADD
00000c16: MSTORE
00000c17: PUSH1 0x44
00000c19: DUP1
00000c1a: DUP3
00000c1b: ADD
00000c1c: DUP5
00000c1d: SWAP1
00000c1e: MSTORE
00000c1f: DUP3
00000c20: MLOAD
00000c21: DUP1
00000c22: DUP4
00000c23: SUB
00000c24: SWAP1
00000c25: SWAP2
00000c26: ADD
00000c27: DUP2
00000c28: MSTORE
00000c29: PUSH1 0x64
00000c2b: SWAP1
00000c2c: SWAP2
00000c2d: ADD
00000c2e: SWAP1
00000c2f: SWAP2
00000c30: MSTORE
00000c31: PUSH1 0x20
00000c33: DUP2
00000c34: ADD
00000c35: DUP1
00000c36: MLOAD
00000c37: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000c54: AND
00000c55: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00000c76: OR
00000c77: SWAP1
00000c78: MSTORE
00000c79: PUSH2 0x05a3
00000c7c: SWAP1
00000c7d: DUP5
00000c7e: SWAP1
00000c7f: PUSH2 0x129a
00000c82: JUMP
00000c83: JUMPDEST
00000c84: PUSH1 0x00
00000c86: DUP1
00000c87: SLOAD
00000c88: PUSH1 0x01
00000c8a: PUSH1 0x01
00000c8c: PUSH1 0xa0
00000c8e: SHL
00000c8f: SUB
00000c90: DUP4
00000c91: DUP2
00000c92: AND
00000c93: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000cb4: DUP4
00000cb5: AND
00000cb6: DUP2
00000cb7: OR
00000cb8: DUP5
00000cb9: SSTORE
00000cba: PUSH1 0x40
00000cbc: MLOAD
00000cbd: SWAP2
00000cbe: SWAP1
00000cbf: SWAP3
00000cc0: AND
00000cc1: SWAP3
00000cc2: DUP4
00000cc3: SWAP2
00000cc4: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000ce5: SWAP2
00000ce6: SWAP1
00000ce7: LOG3
00000ce8: POP
00000ce9: POP
00000cea: JUMP
00000ceb: JUMPDEST
00000cec: PUSH1 0x01
00000cee: PUSH1 0x01
00000cf0: PUSH1 0xa0
00000cf2: SHL
00000cf3: SUB
00000cf4: DUP2
00000cf5: AND
00000cf6: PUSH2 0x0d2b
00000cf9: JUMPI
00000cfa: PUSH1 0x40
00000cfc: MLOAD
00000cfd: PUSH32 0xe044c84500000000000000000000000000000000000000000000000000000000
00000d1e: DUP2
00000d1f: MSTORE
00000d20: PUSH1 0x04
00000d22: ADD
00000d23: PUSH1 0x40
00000d25: MLOAD
00000d26: DUP1
00000d27: SWAP2
00000d28: SUB
00000d29: SWAP1
00000d2a: REVERT
00000d2b: JUMPDEST
00000d2c: PUSH1 0x01
00000d2e: DUP1
00000d2f: SLOAD
00000d30: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00000d51: AND
00000d52: PUSH1 0x01
00000d54: PUSH1 0x01
00000d56: PUSH1 0xa0
00000d58: SHL
00000d59: SUB
00000d5a: DUP4
00000d5b: AND
00000d5c: SWAP1
00000d5d: DUP2
00000d5e: OR
00000d5f: SWAP1
00000d60: SWAP2
00000d61: SSTORE
00000d62: PUSH1 0x40
00000d64: MLOAD
00000d65: PUSH32 0xc0021c55037758881ecb38510bbc7a75898649236006215fa3ee18e3ac8c718e
00000d86: SWAP1
00000d87: PUSH1 0x00
00000d89: SWAP1
00000d8a: LOG2
00000d8b: POP
00000d8c: JUMP
00000d8d: JUMPDEST
00000d8e: CALLER
00000d8f: PUSH1 0x00
00000d91: SWAP1
00000d92: DUP2
00000d93: MSTORE
00000d94: PUSH1 0x02
00000d96: PUSH1 0x20
00000d98: MSTORE
00000d99: PUSH1 0x40
00000d9b: SWAP1
00000d9c: KECCAK256
00000d9d: SLOAD
00000d9e: PUSH1 0x60
00000da0: SWAP1
00000da1: PUSH1 0xff
00000da3: AND
00000da4: PUSH2 0x0ddb
00000da7: JUMPI
00000da8: PUSH1 0x40
00000daa: MLOAD
00000dab: PUSH32 0x8b8ed3d400000000000000000000000000000000000000000000000000000000
00000dcc: DUP2
00000dcd: MSTORE
00000dce: CALLER
00000dcf: PUSH1 0x04
00000dd1: DUP3
00000dd2: ADD
00000dd3: MSTORE
00000dd4: PUSH1 0x24
00000dd6: ADD
00000dd7: PUSH2 0x04b7
00000dda: JUMP
00000ddb: JUMPDEST
00000ddc: DUP4
00000ddd: MLOAD
00000dde: PUSH1 0x00
00000de0: SUB
00000de1: PUSH2 0x0e16
00000de4: JUMPI
00000de5: PUSH1 0x40
00000de7: MLOAD
00000de8: PUSH32 0x0e4bc11400000000000000000000000000000000000000000000000000000000
00000e09: DUP2
00000e0a: MSTORE
00000e0b: PUSH1 0x04
00000e0d: ADD
00000e0e: PUSH1 0x40
00000e10: MLOAD
00000e11: DUP1
00000e12: SWAP2
00000e13: SUB
00000e14: SWAP1
00000e15: REVERT
00000e16: JUMPDEST
00000e17: DUP3
00000e18: MLOAD
00000e19: DUP5
00000e1a: MLOAD
00000e1b: EQ
00000e1c: PUSH2 0x0e51
00000e1f: JUMPI
00000e20: PUSH1 0x40
00000e22: MLOAD
00000e23: PUSH32 0x9c2136e400000000000000000000000000000000000000000000000000000000
00000e44: DUP2
00000e45: MSTORE
00000e46: PUSH1 0x04
00000e48: ADD
00000e49: PUSH1 0x40
00000e4b: MLOAD
00000e4c: DUP1
00000e4d: SWAP2
00000e4e: SUB
00000e4f: SWAP1
00000e50: REVERT
00000e51: JUMPDEST
00000e52: PUSH1 0x00
00000e54: PUSH3 0x011364
00000e58: SWAP1
00000e59: POP
00000e5a: PUSH1 0x00
00000e5c: DUP6
00000e5d: PUSH1 0x00
00000e5f: DUP2
00000e60: MLOAD
00000e61: DUP2
00000e62: LT
00000e63: PUSH2 0x0e6e
00000e66: JUMPI
00000e67: PUSH2 0x0e6e
00000e6a: PUSH2 0x1cbd
00000e6d: JUMP
00000e6e: JUMPDEST
00000e6f: PUSH1 0x20
00000e71: MUL
00000e72: PUSH1 0x20
00000e74: ADD
00000e75: ADD
00000e76: MLOAD
00000e77: PUSH1 0x01
00000e79: PUSH1 0x01
00000e7b: PUSH1 0xa0
00000e7d: SHL
00000e7e: SUB
00000e7f: AND
00000e80: PUSH4 0x4fd49efd
00000e85: PUSH1 0x40
00000e87: MLOAD
00000e88: DUP2
00000e89: PUSH4 0xffffffff
00000e8e: AND
00000e8f: PUSH1 0xe0
00000e91: SHL
00000e92: DUP2
00000e93: MSTORE
00000e94: PUSH1 0x04
00000e96: ADD
00000e97: PUSH1 0x20
00000e99: PUSH1 0x40
00000e9b: MLOAD
00000e9c: DUP1
00000e9d: DUP4
00000e9e: SUB
00000e9f: DUP2
00000ea0: DUP7
00000ea1: GAS
00000ea2: STATICCALL
00000ea3: ISZERO
00000ea4: DUP1
00000ea5: ISZERO
00000ea6: PUSH2 0x0eb3
00000ea9: JUMPI
00000eaa: RETURNDATASIZE
00000eab: PUSH1 0x00
00000ead: DUP1
00000eae: RETURNDATACOPY
00000eaf: RETURNDATASIZE
00000eb0: PUSH1 0x00
00000eb2: REVERT
00000eb3: JUMPDEST
00000eb4: POP
00000eb5: POP
00000eb6: POP
00000eb7: POP
00000eb8: PUSH1 0x40
00000eba: MLOAD
00000ebb: RETURNDATASIZE
00000ebc: PUSH1 0x1f
00000ebe: NOT
00000ebf: PUSH1 0x1f
00000ec1: DUP3
00000ec2: ADD
00000ec3: AND
00000ec4: DUP3
00000ec5: ADD
00000ec6: DUP1
00000ec7: PUSH1 0x40
00000ec9: MSTORE
00000eca: POP
00000ecb: DUP2
00000ecc: ADD
00000ecd: SWAP1
00000ece: PUSH2 0x0ed7
00000ed1: SWAP2
00000ed2: SWAP1
00000ed3: PUSH2 0x1cec
00000ed6: JUMP
00000ed7: JUMPDEST
00000ed8: SWAP1
00000ed9: POP
00000eda: DUP6
00000edb: MLOAD
00000edc: PUSH8 0xffffffffffffffff
00000ee5: DUP2
00000ee6: GT
00000ee7: ISZERO
00000ee8: PUSH2 0x0ef3
00000eeb: JUMPI
00000eec: PUSH2 0x0ef3
00000eef: PUSH2 0x18eb
00000ef2: JUMP
00000ef3: JUMPDEST
00000ef4: PUSH1 0x40
00000ef6: MLOAD
00000ef7: SWAP1
00000ef8: DUP1
00000ef9: DUP3
00000efa: MSTORE
00000efb: DUP1
00000efc: PUSH1 0x20
00000efe: MUL
00000eff: PUSH1 0x20
00000f01: ADD
00000f02: DUP3
00000f03: ADD
00000f04: PUSH1 0x40
00000f06: MSTORE
00000f07: DUP1
00000f08: ISZERO
00000f09: PUSH2 0x0f39
00000f0c: JUMPI
00000f0d: DUP2
00000f0e: PUSH1 0x20
00000f10: ADD
00000f11: JUMPDEST
00000f12: PUSH1 0x40
00000f14: DUP1
00000f15: MLOAD
00000f16: DUP1
00000f17: DUP3
00000f18: ADD
00000f19: SWAP1
00000f1a: SWAP2
00000f1b: MSTORE
00000f1c: PUSH1 0x00
00000f1e: DUP2
00000f1f: MSTORE
00000f20: PUSH1 0x60
00000f22: PUSH1 0x20
00000f24: DUP3
00000f25: ADD
00000f26: MSTORE
00000f27: DUP2
00000f28: MSTORE
00000f29: PUSH1 0x20
00000f2b: ADD
00000f2c: SWAP1
00000f2d: PUSH1 0x01
00000f2f: SWAP1
00000f30: SUB
00000f31: SWAP1
00000f32: DUP2
00000f33: PUSH2 0x0f11
00000f36: JUMPI
00000f37: SWAP1
00000f38: POP
00000f39: JUMPDEST
00000f3a: POP
00000f3b: SWAP3
00000f3c: POP
00000f3d: PUSH1 0x00
00000f3f: JUMPDEST
00000f40: DUP7
00000f41: MLOAD
00000f42: DUP2
00000f43: LT
00000f44: ISZERO
00000f45: PUSH2 0x1277
00000f48: JUMPI
00000f49: PUSH1 0x00
00000f4b: GAS
00000f4c: SWAP1
00000f4d: POP
00000f4e: PUSH1 0x00
00000f50: DUP9
00000f51: DUP4
00000f52: DUP2
00000f53: MLOAD
00000f54: DUP2
00000f55: LT
00000f56: PUSH2 0x0f61
00000f59: JUMPI
00000f5a: PUSH2 0x0f61
00000f5d: PUSH2 0x1cbd
00000f60: JUMP
00000f61: JUMPDEST
00000f62: PUSH1 0x20
00000f64: MUL
00000f65: PUSH1 0x20
00000f67: ADD
00000f68: ADD
00000f69: MLOAD
00000f6a: SWAP1
00000f6b: POP
00000f6c: PUSH1 0x00
00000f6e: DUP2
00000f6f: PUSH1 0x01
00000f71: PUSH1 0x01
00000f73: PUSH1 0xa0
00000f75: SHL
00000f76: SUB
00000f77: AND
00000f78: PUSH4 0x4fd49efd
00000f7d: PUSH1 0x40
00000f7f: MLOAD
00000f80: DUP2
00000f81: PUSH4 0xffffffff
00000f86: AND
00000f87: PUSH1 0xe0
00000f89: SHL
00000f8a: DUP2
00000f8b: MSTORE
00000f8c: PUSH1 0x04
00000f8e: ADD
00000f8f: PUSH1 0x20
00000f91: PUSH1 0x40
00000f93: MLOAD
00000f94: DUP1
00000f95: DUP4
00000f96: SUB
00000f97: DUP2
00000f98: DUP7
00000f99: GAS
00000f9a: STATICCALL
00000f9b: ISZERO
00000f9c: DUP1
00000f9d: ISZERO
00000f9e: PUSH2 0x0fab
00000fa1: JUMPI
00000fa2: RETURNDATASIZE
00000fa3: PUSH1 0x00
00000fa5: DUP1
00000fa6: RETURNDATACOPY
00000fa7: RETURNDATASIZE
00000fa8: PUSH1 0x00
00000faa: REVERT
00000fab: JUMPDEST
00000fac: POP
00000fad: POP
00000fae: POP
00000faf: POP
00000fb0: PUSH1 0x40
00000fb2: MLOAD
00000fb3: RETURNDATASIZE
00000fb4: PUSH1 0x1f
00000fb6: NOT
00000fb7: PUSH1 0x1f
00000fb9: DUP3
00000fba: ADD
00000fbb: AND
00000fbc: DUP3
00000fbd: ADD
00000fbe: DUP1
00000fbf: PUSH1 0x40
00000fc1: MSTORE
00000fc2: POP
00000fc3: DUP2
00000fc4: ADD
00000fc5: SWAP1
00000fc6: PUSH2 0x0fcf
00000fc9: SWAP2
00000fca: SWAP1
00000fcb: PUSH2 0x1cec
00000fce: JUMP
00000fcf: JUMPDEST
00000fd0: SWAP1
00000fd1: POP
00000fd2: DUP5
00000fd3: PUSH1 0x01
00000fd5: PUSH1 0x01
00000fd7: PUSH1 0xa0
00000fd9: SHL
00000fda: SUB
00000fdb: AND
00000fdc: DUP2
00000fdd: PUSH1 0x01
00000fdf: PUSH1 0x01
00000fe1: PUSH1 0xa0
00000fe3: SHL
00000fe4: SUB
00000fe5: AND
00000fe6: EQ
00000fe7: PUSH2 0x1037
00000fea: JUMPI
00000feb: PUSH1 0x40
00000fed: MLOAD
00000fee: PUSH32 0xb6bc943700000000000000000000000000000000000000000000000000000000
0000100f: DUP2
00001010: MSTORE
00001011: PUSH1 0x01
00001013: PUSH1 0x01
00001015: PUSH1 0xa0
00001017: SHL
00001018: SUB
00001019: DUP1
0000101a: DUP5
0000101b: AND
0000101c: PUSH1 0x04
0000101e: DUP4
0000101f: ADD
00001020: MSTORE
00001021: DUP1
00001022: DUP4
00001023: AND
00001024: PUSH1 0x24
00001026: DUP4
00001027: ADD
00001028: MSTORE
00001029: DUP7
0000102a: AND
0000102b: PUSH1 0x44
0000102d: DUP3
0000102e: ADD
0000102f: MSTORE
00001030: PUSH1 0x64
00001032: ADD
00001033: PUSH2 0x04b7
00001036: JUMP
00001037: JUMPDEST
00001038: PUSH1 0x40
0000103a: MLOAD
0000103b: PUSH32 0x1ffa27f900000000000000000000000000000000000000000000000000000000
0000105c: DUP2
0000105d: MSTORE
0000105e: PUSH1 0x01
00001060: PUSH1 0x01
00001062: PUSH1 0xa0
00001064: SHL
00001065: SUB
00001066: DUP4
00001067: DUP2
00001068: AND
00001069: PUSH1 0x04
0000106b: DUP4
0000106c: ADD
0000106d: MSTORE
0000106e: PUSH1 0x00
00001070: SWAP2
00001071: SWAP1
00001072: DUP8
00001073: AND
00001074: SWAP1
00001075: PUSH4 0x1ffa27f9
0000107a: SWAP1
0000107b: PUSH1 0x24
0000107d: ADD
0000107e: PUSH1 0x20
00001080: PUSH1 0x40
00001082: MLOAD
00001083: DUP1
00001084: DUP4
00001085: SUB
00001086: DUP2
00001087: DUP7
00001088: GAS
00001089: STATICCALL
0000108a: ISZERO
0000108b: DUP1
0000108c: ISZERO
0000108d: PUSH2 0x109a
00001090: JUMPI
00001091: RETURNDATASIZE
00001092: PUSH1 0x00
00001094: DUP1
00001095: RETURNDATACOPY
00001096: RETURNDATASIZE
00001097: PUSH1 0x00
00001099: REVERT
0000109a: JUMPDEST
0000109b: POP
0000109c: POP
0000109d: POP
0000109e: POP
0000109f: PUSH1 0x40
000010a1: MLOAD
000010a2: RETURNDATASIZE
000010a3: PUSH1 0x1f
000010a5: NOT
000010a6: PUSH1 0x1f
000010a8: DUP3
000010a9: ADD
000010aa: AND
000010ab: DUP3
000010ac: ADD
000010ad: DUP1
000010ae: PUSH1 0x40
000010b0: MSTORE
000010b1: POP
000010b2: DUP2
000010b3: ADD
000010b4: SWAP1
000010b5: PUSH2 0x10be
000010b8: SWAP2
000010b9: SWAP1
000010ba: PUSH2 0x1d09
000010bd: JUMP
000010be: JUMPDEST
000010bf: SWAP1
000010c0: POP
000010c1: DUP1
000010c2: PUSH2 0x110a
000010c5: JUMPI
000010c6: PUSH1 0x40
000010c8: MLOAD
000010c9: PUSH32 0x0482fe1400000000000000000000000000000000000000000000000000000000
000010ea: DUP2
000010eb: MSTORE
000010ec: PUSH1 0x01
000010ee: PUSH1 0x01
000010f0: PUSH1 0xa0
000010f2: SHL
000010f3: SUB
000010f4: DUP1
000010f5: DUP6
000010f6: AND
000010f7: PUSH1 0x04
000010f9: DUP4
000010fa: ADD
000010fb: MSTORE
000010fc: DUP8
000010fd: AND
000010fe: PUSH1 0x24
00001100: DUP3
00001101: ADD
00001102: MSTORE
00001103: PUSH1 0x44
00001105: ADD
00001106: PUSH2 0x04b7
00001109: JUMP
0000110a: JUMPDEST
0000110b: PUSH1 0x00
0000110d: DUP1
0000110e: DUP5
0000110f: PUSH1 0x01
00001111: PUSH1 0x01
00001113: PUSH1 0xa0
00001115: SHL
00001116: SUB
00001117: AND
00001118: DUP13
00001119: DUP9
0000111a: DUP2
0000111b: MLOAD
0000111c: DUP2
0000111d: LT
0000111e: PUSH2 0x1129
00001121: JUMPI
00001122: PUSH2 0x1129
00001125: PUSH2 0x1cbd
00001128: JUMP
00001129: JUMPDEST
0000112a: PUSH1 0x20
0000112c: MUL
0000112d: PUSH1 0x20
0000112f: ADD
00001130: ADD
00001131: MLOAD
00001132: PUSH1 0x40
00001134: MLOAD
00001135: PUSH2 0x113e
00001138: SWAP2
00001139: SWAP1
0000113a: PUSH2 0x1d26
0000113d: JUMP
0000113e: JUMPDEST
0000113f: PUSH1 0x00
00001141: PUSH1 0x40
00001143: MLOAD
00001144: DUP1
00001145: DUP4
00001146: SUB
00001147: DUP2
00001148: PUSH1 0x00
0000114a: DUP7
0000114b: GAS
0000114c: CALL
0000114d: SWAP2
0000114e: POP
0000114f: POP
00001150: RETURNDATASIZE
00001151: DUP1
00001152: PUSH1 0x00
00001154: DUP2
00001155: EQ
00001156: PUSH2 0x117b
00001159: JUMPI
0000115a: PUSH1 0x40
0000115c: MLOAD
0000115d: SWAP2
0000115e: POP
0000115f: PUSH1 0x1f
00001161: NOT
00001162: PUSH1 0x3f
00001164: RETURNDATASIZE
00001165: ADD
00001166: AND
00001167: DUP3
00001168: ADD
00001169: PUSH1 0x40
0000116b: MSTORE
0000116c: RETURNDATASIZE
0000116d: DUP3
0000116e: MSTORE
0000116f: RETURNDATASIZE
00001170: PUSH1 0x00
00001172: PUSH1 0x20
00001174: DUP5
00001175: ADD
00001176: RETURNDATACOPY
00001177: PUSH2 0x1180
0000117a: JUMP
0000117b: JUMPDEST
0000117c: PUSH1 0x60
0000117e: SWAP2
0000117f: POP
00001180: JUMPDEST
00001181: POP
00001182: SWAP2
00001183: POP
00001184: SWAP2
00001185: POP
00001186: PUSH1 0x40
00001188: MLOAD
00001189: DUP1
0000118a: PUSH1 0x40
0000118c: ADD
0000118d: PUSH1 0x40
0000118f: MSTORE
00001190: DUP1
00001191: DUP4
00001192: ISZERO
00001193: ISZERO
00001194: DUP2
00001195: MSTORE
00001196: PUSH1 0x20
00001198: ADD
00001199: DUP3
0000119a: DUP2
0000119b: MSTORE
0000119c: POP
0000119d: DUP11
0000119e: DUP9
0000119f: DUP2
000011a0: MLOAD
000011a1: DUP2
000011a2: LT
000011a3: PUSH2 0x11ae
000011a6: JUMPI
000011a7: PUSH2 0x11ae
000011aa: PUSH2 0x1cbd
000011ad: JUMP
000011ae: JUMPDEST
000011af: PUSH1 0x20
000011b1: MUL
000011b2: PUSH1 0x20
000011b4: ADD
000011b5: ADD
000011b6: DUP2
000011b7: SWAP1
000011b8: MSTORE
000011b9: POP
000011ba: PUSH1 0x00
000011bc: GAS
000011bd: PUSH2 0x11c6
000011c0: SWAP1
000011c1: DUP9
000011c2: PUSH2 0x1b95
000011c5: JUMP
000011c6: JUMPDEST
000011c7: SWAP1
000011c8: POP
000011c9: PUSH2 0x11d2
000011cc: DUP2
000011cd: DUP12
000011ce: PUSH2 0x1ba8
000011d1: JUMP
000011d2: JUMPDEST
000011d3: SWAP10
000011d4: POP
000011d5: DUP6
000011d6: PUSH1 0x01
000011d8: PUSH1 0x01
000011da: PUSH1 0xa0
000011dc: SHL
000011dd: SUB
000011de: AND
000011df: DUP10
000011e0: PUSH1 0x01
000011e2: PUSH1 0x01
000011e4: PUSH1 0xa0
000011e6: SHL
000011e7: SUB
000011e8: AND
000011e9: PUSH32 0x20e6470760a122f57acdfd383093a746ee742adcbc9ffbbdd00f4d29aff42612
0000120a: DUP16
0000120b: DUP12
0000120c: DUP2
0000120d: MLOAD
0000120e: DUP2
0000120f: LT
00001210: PUSH2 0x121b
00001213: JUMPI
00001214: PUSH2 0x121b
00001217: PUSH2 0x1cbd
0000121a: JUMP
0000121b: JUMPDEST
0000121c: PUSH1 0x20
0000121e: MUL
0000121f: PUSH1 0x20
00001221: ADD
00001222: ADD
00001223: MLOAD
00001224: DUP7
00001225: DUP7
00001226: DUP7
00001227: DUP15
00001228: PUSH1 0x40
0000122a: MLOAD
0000122b: PUSH2 0x1238
0000122e: SWAP6
0000122f: SWAP5
00001230: SWAP4
00001231: SWAP3
00001232: SWAP2
00001233: SWAP1
00001234: PUSH2 0x1d42
00001237: JUMP
00001238: JUMPDEST
00001239: PUSH1 0x40
0000123b: MLOAD
0000123c: DUP1
0000123d: SWAP2
0000123e: SUB
0000123f: SWAP1
00001240: LOG3
00001241: DUP3
00001242: ISZERO
00001243: DUP1
00001244: ISZERO
00001245: PUSH2 0x124c
00001248: JUMPI
00001249: POP
0000124a: DUP12
0000124b: ISZERO
0000124c: JUMPDEST
0000124d: ISZERO
0000124e: PUSH2 0x125d
00001251: JUMPI
00001252: POP
00001253: POP
00001254: POP
00001255: POP
00001256: POP
00001257: POP
00001258: POP
00001259: PUSH2 0x1277
0000125c: JUMP
0000125d: JUMPDEST
0000125e: POP
0000125f: POP
00001260: POP
00001261: POP
00001262: POP
00001263: POP
00001264: POP
00001265: DUP1
00001266: DUP1
00001267: PUSH2 0x126f
0000126a: SWAP1
0000126b: PUSH2 0x1d84
0000126e: JUMP
0000126f: JUMPDEST
00001270: SWAP2
00001271: POP
00001272: POP
00001273: PUSH2 0x0f3f
00001276: JUMP
00001277: JUMPDEST
00001278: POP
00001279: PUSH1 0x00
0000127b: PUSH2 0x1284
0000127e: GASPRICE
0000127f: DUP5
00001280: PUSH2 0x1dbc
00001283: JUMP
00001284: JUMPDEST
00001285: SWAP1
00001286: POP
00001287: PUSH2 0x1290
0000128a: DUP3
0000128b: DUP3
0000128c: PUSH2 0x1399
0000128f: JUMP
00001290: JUMPDEST
00001291: POP
00001292: POP
00001293: POP
00001294: SWAP4
00001295: SWAP3
00001296: POP
00001297: POP
00001298: POP
00001299: JUMP
0000129a: JUMPDEST
0000129b: PUSH1 0x00
0000129d: PUSH2 0x12ef
000012a0: DUP3
000012a1: PUSH1 0x40
000012a3: MLOAD
000012a4: DUP1
000012a5: PUSH1 0x40
000012a7: ADD
000012a8: PUSH1 0x40
000012aa: MSTORE
000012ab: DUP1
000012ac: PUSH1 0x20
000012ae: DUP2
000012af: MSTORE
000012b0: PUSH1 0x20
000012b2: ADD
000012b3: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
000012d4: DUP2
000012d5: MSTORE
000012d6: POP
000012d7: DUP6
000012d8: PUSH1 0x01
000012da: PUSH1 0x01
000012dc: PUSH1 0xa0
000012de: SHL
000012df: SUB
000012e0: AND
000012e1: PUSH2 0x15c8
000012e4: SWAP1
000012e5: SWAP3
000012e6: SWAP2
000012e7: SWAP1
000012e8: PUSH4 0xffffffff
000012ed: AND
000012ee: JUMP
000012ef: JUMPDEST
000012f0: DUP1
000012f1: MLOAD
000012f2: SWAP1
000012f3: SWAP2
000012f4: POP
000012f5: ISZERO
000012f6: PUSH2 0x05a3
000012f9: JUMPI
000012fa: DUP1
000012fb: DUP1
000012fc: PUSH1 0x20
000012fe: ADD
000012ff: SWAP1
00001300: MLOAD
00001301: DUP2
00001302: ADD
00001303: SWAP1
00001304: PUSH2 0x130d
00001307: SWAP2
00001308: SWAP1
00001309: PUSH2 0x1d09
0000130c: JUMP
0000130d: JUMPDEST
0000130e: PUSH2 0x05a3
00001311: JUMPI
00001312: PUSH1 0x40
00001314: MLOAD
00001315: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001336: DUP2
00001337: MSTORE
00001338: PUSH1 0x20
0000133a: PUSH1 0x04
0000133c: DUP3
0000133d: ADD
0000133e: MSTORE
0000133f: PUSH1 0x2a
00001341: PUSH1 0x24
00001343: DUP3
00001344: ADD
00001345: MSTORE
00001346: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
00001367: PUSH1 0x44
00001369: DUP3
0000136a: ADD
0000136b: MSTORE
0000136c: PUSH32 0x6f74207375636365656400000000000000000000000000000000000000000000
0000138d: PUSH1 0x64
0000138f: DUP3
00001390: ADD
00001391: MSTORE
00001392: PUSH1 0x84
00001394: ADD
00001395: PUSH2 0x04b7
00001398: JUMP
00001399: JUMPDEST
0000139a: PUSH1 0x01
0000139c: PUSH1 0x01
0000139e: PUSH1 0xa0
000013a0: SHL
000013a1: SUB
000013a2: DUP3
000013a3: AND
000013a4: PUSH1 0x00
000013a6: SWAP1
000013a7: DUP2
000013a8: MSTORE
000013a9: PUSH1 0x03
000013ab: PUSH1 0x20
000013ad: SWAP1
000013ae: DUP2
000013af: MSTORE
000013b0: PUSH1 0x40
000013b2: DUP1
000013b3: DUP4
000013b4: KECCAK256
000013b5: SLOAD
000013b6: PUSH1 0x05
000013b8: DUP4
000013b9: MSTORE
000013ba: DUP2
000013bb: DUP5
000013bc: KECCAK256
000013bd: SLOAD
000013be: PUSH1 0x06
000013c0: SWAP1
000013c1: SWAP4
000013c2: MSTORE
000013c3: SWAP1
000013c4: DUP4
000013c5: KECCAK256
000013c6: SLOAD
000013c7: SWAP1
000013c8: SWAP3
000013c9: DUP3
000013ca: DUP3
000013cb: LT
000013cc: ISZERO
000013cd: PUSH2 0x13df
000013d0: JUMPI
000013d1: PUSH2 0x13da
000013d4: DUP3
000013d5: DUP5
000013d6: PUSH2 0x1b95
000013d9: JUMP
000013da: JUMPDEST
000013db: PUSH2 0x13e2
000013de: JUMP
000013df: JUMPDEST
000013e0: PUSH1 0x00
000013e2: JUMPDEST
000013e3: SWAP1
000013e4: POP
000013e5: PUSH1 0x00
000013e7: PUSH2 0x13f0
000013ea: DUP3
000013eb: DUP7
000013ec: PUSH2 0x1ba8
000013ef: JUMP
000013f0: JUMPDEST
000013f1: DUP7
000013f2: GT
000013f3: ISZERO
000013f4: SWAP1
000013f5: POP
000013f6: DUP1
000013f7: PUSH2 0x144c
000013fa: JUMPI
000013fb: PUSH1 0x40
000013fd: MLOAD
000013fe: PUSH32 0x836df07f00000000000000000000000000000000000000000000000000000000
0000141f: DUP2
00001420: MSTORE
00001421: PUSH1 0x01
00001423: PUSH1 0x01
00001425: PUSH1 0xa0
00001427: SHL
00001428: SUB
00001429: DUP9
0000142a: AND
0000142b: PUSH1 0x04
0000142d: DUP3
0000142e: ADD
0000142f: MSTORE
00001430: PUSH1 0x24
00001432: DUP2
00001433: ADD
00001434: DUP7
00001435: SWAP1
00001436: MSTORE
00001437: PUSH1 0x44
00001439: DUP2
0000143a: ADD
0000143b: DUP4
0000143c: SWAP1
0000143d: MSTORE
0000143e: PUSH1 0x64
00001440: DUP2
00001441: ADD
00001442: DUP8
00001443: SWAP1
00001444: MSTORE
00001445: PUSH1 0x84
00001447: ADD
00001448: PUSH2 0x04b7
0000144b: JUMP
0000144c: JUMPDEST
0000144d: PUSH1 0x00
0000144f: DUP7
00001450: DUP7
00001451: LT
00001452: PUSH2 0x147d
00001455: JUMPI
00001456: PUSH2 0x145f
00001459: DUP8
0000145a: DUP8
0000145b: PUSH2 0x1b95
0000145e: JUMP
0000145f: JUMPDEST
00001460: PUSH1 0x01
00001462: PUSH1 0x01
00001464: PUSH1 0xa0
00001466: SHL
00001467: SUB
00001468: DUP10
00001469: AND
0000146a: PUSH1 0x00
0000146c: SWAP1
0000146d: DUP2
0000146e: MSTORE
0000146f: PUSH1 0x03
00001471: PUSH1 0x20
00001473: MSTORE
00001474: PUSH1 0x40
00001476: SWAP1
00001477: KECCAK256
00001478: SSTORE
00001479: PUSH2 0x14c6
0000147c: JUMP
0000147d: JUMPDEST
0000147e: PUSH2 0x1487
00001481: DUP7
00001482: DUP9
00001483: PUSH2 0x1b95
00001486: JUMP
00001487: JUMPDEST
00001488: PUSH1 0x01
0000148a: PUSH1 0x01
0000148c: PUSH1 0xa0
0000148e: SHL
0000148f: SUB
00001490: DUP10
00001491: AND
00001492: PUSH1 0x00
00001494: SWAP1
00001495: DUP2
00001496: MSTORE
00001497: PUSH1 0x03
00001499: PUSH1 0x20
0000149b: MSTORE
0000149c: PUSH1 0x40
0000149e: DUP2
0000149f: KECCAK256
000014a0: SSTORE
000014a1: SWAP1
000014a2: POP
000014a3: PUSH2 0x14ac
000014a6: DUP2
000014a7: DUP6
000014a8: PUSH2 0x1ba8
000014ab: JUMP
000014ac: JUMPDEST
000014ad: PUSH1 0x01
000014af: PUSH1 0x01
000014b1: PUSH1 0xa0
000014b3: SHL
000014b4: SUB
000014b5: DUP10
000014b6: AND
000014b7: PUSH1 0x00
000014b9: SWAP1
000014ba: DUP2
000014bb: MSTORE
000014bc: PUSH1 0x06
000014be: PUSH1 0x20
000014c0: MSTORE
000014c1: PUSH1 0x40
000014c3: SWAP1
000014c4: KECCAK256
000014c5: SSTORE
000014c6: JUMPDEST
000014c7: PUSH1 0x00
000014c9: PUSH2 0x14d1
000014cc: DUP10
000014cd: PUSH2 0x0731
000014d0: JUMP
000014d1: JUMPDEST
000014d2: PUSH1 0x01
000014d4: PUSH1 0x01
000014d6: PUSH1 0xa0
000014d8: SHL
000014d9: SUB
000014da: AND
000014db: PUSH2 0x14e4
000014de: DUP4
000014df: DUP11
000014e0: PUSH2 0x1b95
000014e3: JUMP
000014e4: JUMPDEST
000014e5: PUSH1 0x40
000014e7: MLOAD
000014e8: PUSH1 0x00
000014ea: DUP2
000014eb: DUP2
000014ec: DUP2
000014ed: DUP6
000014ee: DUP8
000014ef: GAS
000014f0: CALL
000014f1: SWAP3
000014f2: POP
000014f3: POP
000014f4: POP
000014f5: RETURNDATASIZE
000014f6: DUP1
000014f7: PUSH1 0x00
000014f9: DUP2
000014fa: EQ
000014fb: PUSH2 0x1520
000014fe: JUMPI
000014ff: PUSH1 0x40
00001501: MLOAD
00001502: SWAP2
00001503: POP
00001504: PUSH1 0x1f
00001506: NOT
00001507: PUSH1 0x3f
00001509: RETURNDATASIZE
0000150a: ADD
0000150b: AND
0000150c: DUP3
0000150d: ADD
0000150e: PUSH1 0x40
00001510: MSTORE
00001511: RETURNDATASIZE
00001512: DUP3
00001513: MSTORE
00001514: RETURNDATASIZE
00001515: PUSH1 0x00
00001517: PUSH1 0x20
00001519: DUP5
0000151a: ADD
0000151b: RETURNDATACOPY
0000151c: PUSH2 0x1525
0000151f: JUMP
00001520: JUMPDEST
00001521: PUSH1 0x60
00001523: SWAP2
00001524: POP
00001525: JUMPDEST
00001526: POP
00001527: POP
00001528: SWAP1
00001529: POP
0000152a: DUP1
0000152b: PUSH2 0x1579
0000152e: JUMPI
0000152f: PUSH1 0x40
00001531: MLOAD
00001532: PUSH32 0x236adc7600000000000000000000000000000000000000000000000000000000
00001553: DUP2
00001554: MSTORE
00001555: PUSH1 0x01
00001557: PUSH1 0x01
00001559: PUSH1 0xa0
0000155b: SHL
0000155c: SUB
0000155d: DUP11
0000155e: AND
0000155f: PUSH1 0x04
00001561: DUP3
00001562: ADD
00001563: MSTORE
00001564: PUSH1 0x24
00001566: DUP2
00001567: ADD
00001568: DUP10
00001569: SWAP1
0000156a: MSTORE
0000156b: PUSH1 0x44
0000156d: DUP2
0000156e: ADD
0000156f: DUP4
00001570: SWAP1
00001571: MSTORE
00001572: PUSH1 0x64
00001574: ADD
00001575: PUSH2 0x04b7
00001578: JUMP
00001579: JUMPDEST
0000157a: PUSH1 0x40
0000157c: DUP1
0000157d: MLOAD
0000157e: DUP10
0000157f: DUP2
00001580: MSTORE
00001581: PUSH1 0x20
00001583: DUP2
00001584: ADD
00001585: DUP5
00001586: SWAP1
00001587: MSTORE
00001588: PUSH1 0x01
0000158a: PUSH1 0x01
0000158c: PUSH1 0xa0
0000158e: SHL
0000158f: SUB
00001590: DUP12
00001591: AND
00001592: SWAP2
00001593: PUSH32 0xc34a4660c18505a3cc0299553e73cd78f1de9b3ae9714a1dddd2fea59fa50f8f
000015b4: SWAP2
000015b5: ADD
000015b6: PUSH1 0x40
000015b8: MLOAD
000015b9: DUP1
000015ba: SWAP2
000015bb: SUB
000015bc: SWAP1
000015bd: LOG2
000015be: POP
000015bf: POP
000015c0: POP
000015c1: POP
000015c2: POP
000015c3: POP
000015c4: POP
000015c5: POP
000015c6: POP
000015c7: JUMP
000015c8: JUMPDEST
000015c9: PUSH1 0x60
000015cb: PUSH2 0x15d7
000015ce: DUP5
000015cf: DUP5
000015d0: PUSH1 0x00
000015d2: DUP6
000015d3: PUSH2 0x15df
000015d6: JUMP
000015d7: JUMPDEST
000015d8: SWAP5
000015d9: SWAP4
000015da: POP
000015db: POP
000015dc: POP
000015dd: POP
000015de: JUMP
000015df: JUMPDEST
000015e0: PUSH1 0x60
000015e2: DUP3
000015e3: SELFBALANCE
000015e4: LT
000015e5: ISZERO
000015e6: PUSH2 0x1671
000015e9: JUMPI
000015ea: PUSH1 0x40
000015ec: MLOAD
000015ed: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000160e: DUP2
0000160f: MSTORE
00001610: PUSH1 0x20
00001612: PUSH1 0x04
00001614: DUP3
00001615: ADD
00001616: MSTORE
00001617: PUSH1 0x26
00001619: PUSH1 0x24
0000161b: DUP3
0000161c: ADD
0000161d: MSTORE
0000161e: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
0000163f: PUSH1 0x44
00001641: DUP3
00001642: ADD
00001643: MSTORE
00001644: PUSH32 0x722063616c6c0000000000000000000000000000000000000000000000000000
00001665: PUSH1 0x64
00001667: DUP3
00001668: ADD
00001669: MSTORE
0000166a: PUSH1 0x84
0000166c: ADD
0000166d: PUSH2 0x04b7
00001670: JUMP
00001671: JUMPDEST
00001672: PUSH1 0x01
00001674: PUSH1 0x01
00001676: PUSH1 0xa0
00001678: SHL
00001679: SUB
0000167a: DUP6
0000167b: AND
0000167c: EXTCODESIZE
0000167d: PUSH2 0x16e2
00001680: JUMPI
00001681: PUSH1 0x40
00001683: MLOAD
00001684: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016a5: DUP2
000016a6: MSTORE
000016a7: PUSH1 0x20
000016a9: PUSH1 0x04
000016ab: DUP3
000016ac: ADD
000016ad: MSTORE
000016ae: PUSH1 0x1d
000016b0: PUSH1 0x24
000016b2: DUP3
000016b3: ADD
000016b4: MSTORE
000016b5: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
000016d6: PUSH1 0x44
000016d8: DUP3
000016d9: ADD
000016da: MSTORE
000016db: PUSH1 0x64
000016dd: ADD
000016de: PUSH2 0x04b7
000016e1: JUMP
000016e2: JUMPDEST
000016e3: PUSH1 0x00
000016e5: DUP1
000016e6: DUP7
000016e7: PUSH1 0x01
000016e9: PUSH1 0x01
000016eb: PUSH1 0xa0
000016ed: SHL
000016ee: SUB
000016ef: AND
000016f0: DUP6
000016f1: DUP8
000016f2: PUSH1 0x40
000016f4: MLOAD
000016f5: PUSH2 0x16fe
000016f8: SWAP2
000016f9: SWAP1
000016fa: PUSH2 0x1d26
000016fd: JUMP
000016fe: JUMPDEST
000016ff: PUSH1 0x00
00001701: PUSH1 0x40
00001703: MLOAD
00001704: DUP1
00001705: DUP4
00001706: SUB
00001707: DUP2
00001708: DUP6
00001709: DUP8
0000170a: GAS
0000170b: CALL
0000170c: SWAP3
0000170d: POP
0000170e: POP
0000170f: POP
00001710: RETURNDATASIZE
00001711: DUP1
00001712: PUSH1 0x00
00001714: DUP2
00001715: EQ
00001716: PUSH2 0x173b
00001719: JUMPI
0000171a: PUSH1 0x40
0000171c: MLOAD
0000171d: SWAP2
0000171e: POP
0000171f: PUSH1 0x1f
00001721: NOT
00001722: PUSH1 0x3f
00001724: RETURNDATASIZE
00001725: ADD
00001726: AND
00001727: DUP3
00001728: ADD
00001729: PUSH1 0x40
0000172b: MSTORE
0000172c: RETURNDATASIZE
0000172d: DUP3
0000172e: MSTORE
0000172f: RETURNDATASIZE
00001730: PUSH1 0x00
00001732: PUSH1 0x20
00001734: DUP5
00001735: ADD
00001736: RETURNDATACOPY
00001737: PUSH2 0x1740
0000173a: JUMP
0000173b: JUMPDEST
0000173c: PUSH1 0x60
0000173e: SWAP2
0000173f: POP
00001740: JUMPDEST
00001741: POP
00001742: SWAP2
00001743: POP
00001744: SWAP2
00001745: POP
00001746: PUSH2 0x1750
00001749: DUP3
0000174a: DUP3
0000174b: DUP7
0000174c: PUSH2 0x175b
0000174f: JUMP
00001750: JUMPDEST
00001751: SWAP8
00001752: SWAP7
00001753: POP
00001754: POP
00001755: POP
00001756: POP
00001757: POP
00001758: POP
00001759: POP
0000175a: JUMP
0000175b: JUMPDEST
0000175c: PUSH1 0x60
0000175e: DUP4
0000175f: ISZERO
00001760: PUSH2 0x176a
00001763: JUMPI
00001764: POP
00001765: DUP2
00001766: PUSH2 0x0766
00001769: JUMP
0000176a: JUMPDEST
0000176b: DUP3
0000176c: MLOAD
0000176d: ISZERO
0000176e: PUSH2 0x177a
00001771: JUMPI
00001772: DUP3
00001773: MLOAD
00001774: DUP1
00001775: DUP5
00001776: PUSH1 0x20
00001778: ADD
00001779: REVERT
0000177a: JUMPDEST
0000177b: DUP2
0000177c: PUSH1 0x40
0000177e: MLOAD
0000177f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000017a0: DUP2
000017a1: MSTORE
000017a2: PUSH1 0x04
000017a4: ADD
000017a5: PUSH2 0x04b7
000017a8: SWAP2
000017a9: SWAP1
000017aa: PUSH2 0x1dd3
000017ad: JUMP
000017ae: JUMPDEST
000017af: PUSH1 0x01
000017b1: PUSH1 0x01
000017b3: PUSH1 0xa0
000017b5: SHL
000017b6: SUB
000017b7: DUP2
000017b8: AND
000017b9: DUP2
000017ba: EQ
000017bb: PUSH2 0x08ba
000017be: JUMPI
000017bf: PUSH1 0x00
000017c1: DUP1
000017c2: REVERT
000017c3: JUMPDEST
000017c4: PUSH1 0x00
000017c6: PUSH1 0x20
000017c8: DUP3
000017c9: DUP5
000017ca: SUB
000017cb: SLT
000017cc: ISZERO
000017cd: PUSH2 0x17d5
000017d0: JUMPI
000017d1: PUSH1 0x00
000017d3: DUP1
000017d4: REVERT
000017d5: JUMPDEST
000017d6: DUP2
000017d7: CALLDATALOAD
000017d8: PUSH2 0x0766
000017db: DUP2
000017dc: PUSH2 0x17ae
000017df: JUMP
000017e0: JUMPDEST
000017e1: DUP1
000017e2: ISZERO
000017e3: ISZERO
000017e4: DUP2
000017e5: EQ
000017e6: PUSH2 0x08ba
000017e9: JUMPI
000017ea: PUSH1 0x00
000017ec: DUP1
000017ed: REVERT
000017ee: JUMPDEST
000017ef: DUP1
000017f0: CALLDATALOAD
000017f1: PUSH2 0x17f9
000017f4: DUP2
000017f5: PUSH2 0x17e0
000017f8: JUMP
000017f9: JUMPDEST
000017fa: SWAP2
000017fb: SWAP1
000017fc: POP
000017fd: JUMP
000017fe: JUMPDEST
000017ff: PUSH1 0x00
00001801: DUP1
00001802: PUSH1 0x40
00001804: DUP4
00001805: DUP6
00001806: SUB
00001807: SLT
00001808: ISZERO
00001809: PUSH2 0x1811
0000180c: JUMPI
0000180d: PUSH1 0x00
0000180f: DUP1
00001810: REVERT
00001811: JUMPDEST
00001812: DUP3
00001813: CALLDATALOAD
00001814: PUSH2 0x181c
00001817: DUP2
00001818: PUSH2 0x17ae
0000181b: JUMP
0000181c: JUMPDEST
0000181d: SWAP2
0000181e: POP
0000181f: PUSH1 0x20
00001821: DUP4
00001822: ADD
00001823: CALLDATALOAD
00001824: PUSH2 0x182c
00001827: DUP2
00001828: PUSH2 0x17e0
0000182b: JUMP
0000182c: JUMPDEST
0000182d: DUP1
0000182e: SWAP2
0000182f: POP
00001830: POP
00001831: SWAP3
00001832: POP
00001833: SWAP3
00001834: SWAP1
00001835: POP
00001836: JUMP
00001837: JUMPDEST
00001838: PUSH1 0x00
0000183a: PUSH1 0x20
0000183c: DUP3
0000183d: DUP5
0000183e: SUB
0000183f: SLT
00001840: ISZERO
00001841: PUSH2 0x1849
00001844: JUMPI
00001845: PUSH1 0x00
00001847: DUP1
00001848: REVERT
00001849: JUMPDEST
0000184a: POP
0000184b: CALLDATALOAD
0000184c: SWAP2
0000184d: SWAP1
0000184e: POP
0000184f: JUMP
00001850: JUMPDEST
00001851: PUSH1 0x00
00001853: DUP1
00001854: PUSH1 0x40
00001856: DUP4
00001857: DUP6
00001858: SUB
00001859: SLT
0000185a: ISZERO
0000185b: PUSH2 0x1863
0000185e: JUMPI
0000185f: PUSH1 0x00
00001861: DUP1
00001862: REVERT
00001863: JUMPDEST
00001864: DUP3
00001865: CALLDATALOAD
00001866: PUSH2 0x186e
00001869: DUP2
0000186a: PUSH2 0x17ae
0000186d: JUMP
0000186e: JUMPDEST
0000186f: SWAP2
00001870: POP
00001871: PUSH1 0x20
00001873: DUP4
00001874: ADD
00001875: CALLDATALOAD
00001876: PUSH2 0x182c
00001879: DUP2
0000187a: PUSH2 0x17ae
0000187d: JUMP
0000187e: JUMPDEST
0000187f: PUSH1 0x00
00001881: DUP1
00001882: PUSH1 0x40
00001884: DUP4
00001885: DUP6
00001886: SUB
00001887: SLT
00001888: ISZERO
00001889: PUSH2 0x1891
0000188c: JUMPI
0000188d: PUSH1 0x00
0000188f: DUP1
00001890: REVERT
00001891: JUMPDEST
00001892: DUP3
00001893: CALLDATALOAD
00001894: PUSH2 0x189c
00001897: DUP2
00001898: PUSH2 0x17ae
0000189b: JUMP
0000189c: JUMPDEST
0000189d: SWAP5
0000189e: PUSH1 0x20
000018a0: SWAP4
000018a1: SWAP1
000018a2: SWAP4
000018a3: ADD
000018a4: CALLDATALOAD
000018a5: SWAP4
000018a6: POP
000018a7: POP
000018a8: POP
000018a9: JUMP
000018aa: JUMPDEST
000018ab: PUSH1 0x00
000018ad: DUP1
000018ae: PUSH1 0x00
000018b0: PUSH1 0x60
000018b2: DUP5
000018b3: DUP7
000018b4: SUB
000018b5: SLT
000018b6: ISZERO
000018b7: PUSH2 0x18bf
000018ba: JUMPI
000018bb: PUSH1 0x00
000018bd: DUP1
000018be: REVERT
000018bf: JUMPDEST
000018c0: DUP4
000018c1: CALLDATALOAD
000018c2: PUSH2 0x18ca
000018c5: DUP2
000018c6: PUSH2 0x17ae
000018c9: JUMP
000018ca: JUMPDEST
000018cb: SWAP3
000018cc: POP
000018cd: PUSH1 0x20
000018cf: DUP5
000018d0: ADD
000018d1: CALLDATALOAD
000018d2: PUSH2 0x18da
000018d5: DUP2
000018d6: PUSH2 0x17ae
000018d9: JUMP
000018da: JUMPDEST
000018db: SWAP3
000018dc: SWAP6
000018dd: SWAP3
000018de: SWAP5
000018df: POP
000018e0: POP
000018e1: POP
000018e2: PUSH1 0x40
000018e4: SWAP2
000018e5: SWAP1
000018e6: SWAP2
000018e7: ADD
000018e8: CALLDATALOAD
000018e9: SWAP1
000018ea: JUMP
000018eb: JUMPDEST
000018ec: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000190d: PUSH1 0x00
0000190f: MSTORE
00001910: PUSH1 0x41
00001912: PUSH1 0x04
00001914: MSTORE
00001915: PUSH1 0x24
00001917: PUSH1 0x00
00001919: REVERT
0000191a: JUMPDEST
0000191b: PUSH1 0x40
0000191d: MLOAD
0000191e: PUSH1 0x1f
00001920: DUP3
00001921: ADD
00001922: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001943: AND
00001944: DUP2
00001945: ADD
00001946: PUSH8 0xffffffffffffffff
0000194f: DUP2
00001950: GT
00001951: DUP3
00001952: DUP3
00001953: LT
00001954: OR
00001955: ISZERO
00001956: PUSH2 0x1961
00001959: JUMPI
0000195a: PUSH2 0x1961
0000195d: PUSH2 0x18eb
00001960: JUMP
00001961: JUMPDEST
00001962: PUSH1 0x40
00001964: MSTORE
00001965: SWAP2
00001966: SWAP1
00001967: POP
00001968: JUMP
00001969: JUMPDEST
0000196a: PUSH1 0x00
0000196c: PUSH8 0xffffffffffffffff
00001975: DUP3
00001976: GT
00001977: ISZERO
00001978: PUSH2 0x1983
0000197b: JUMPI
0000197c: PUSH2 0x1983
0000197f: PUSH2 0x18eb
00001982: JUMP
00001983: JUMPDEST
00001984: POP
00001985: PUSH1 0x05
00001987: SHL
00001988: PUSH1 0x20
0000198a: ADD
0000198b: SWAP1
0000198c: JUMP
0000198d: JUMPDEST
0000198e: PUSH1 0x00
00001990: PUSH1 0x1f
00001992: DUP4
00001993: DUP2
00001994: DUP5
00001995: ADD
00001996: SLT
00001997: PUSH2 0x199f
0000199a: JUMPI
0000199b: PUSH1 0x00
0000199d: DUP1
0000199e: REVERT
0000199f: JUMPDEST
000019a0: DUP3
000019a1: CALLDATALOAD
000019a2: PUSH1 0x20
000019a4: PUSH2 0x19b4
000019a7: PUSH2 0x19af
000019aa: DUP4
000019ab: PUSH2 0x1969
000019ae: JUMP
000019af: JUMPDEST
000019b0: PUSH2 0x191a
000019b3: JUMP
000019b4: JUMPDEST
000019b5: DUP3
000019b6: DUP2
000019b7: MSTORE
000019b8: PUSH1 0x05
000019ba: SWAP3
000019bb: SWAP1
000019bc: SWAP3
000019bd: SHL
000019be: DUP6
000019bf: ADD
000019c0: DUP2
000019c1: ADD
000019c2: SWAP2
000019c3: DUP2
000019c4: DUP2
000019c5: ADD
000019c6: SWAP1
000019c7: DUP8
000019c8: DUP5
000019c9: GT
000019ca: ISZERO
000019cb: PUSH2 0x19d3
000019ce: JUMPI
000019cf: PUSH1 0x00
000019d1: DUP1
000019d2: REVERT
000019d3: JUMPDEST
000019d4: DUP3
000019d5: DUP8
000019d6: ADD
000019d7: JUMPDEST
000019d8: DUP5
000019d9: DUP2
000019da: LT
000019db: ISZERO
000019dc: PUSH2 0x1a88
000019df: JUMPI
000019e0: DUP1
000019e1: CALLDATALOAD
000019e2: PUSH8 0xffffffffffffffff
000019eb: DUP1
000019ec: DUP3
000019ed: GT
000019ee: ISZERO
000019ef: PUSH2 0x19f8
000019f2: JUMPI
000019f3: PUSH1 0x00
000019f5: DUP1
000019f6: DUP2
000019f7: REVERT
000019f8: JUMPDEST
000019f9: DUP2
000019fa: DUP11
000019fb: ADD
000019fc: SWAP2
000019fd: POP
000019fe: DUP11
000019ff: PUSH1 0x3f
00001a01: DUP4
00001a02: ADD
00001a03: SLT
00001a04: PUSH2 0x1a0d
00001a07: JUMPI
00001a08: PUSH1 0x00
00001a0a: DUP1
00001a0b: DUP2
00001a0c: REVERT
00001a0d: JUMPDEST
00001a0e: DUP6
00001a0f: DUP3
00001a10: ADD
00001a11: CALLDATALOAD
00001a12: PUSH1 0x40
00001a14: DUP3
00001a15: DUP3
00001a16: GT
00001a17: ISZERO
00001a18: PUSH2 0x1a23
00001a1b: JUMPI
00001a1c: PUSH2 0x1a23
00001a1f: PUSH2 0x18eb
00001a22: JUMP
00001a23: JUMPDEST
00001a24: PUSH2 0x1a52
00001a27: DUP9
00001a28: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001a49: DUP13
00001a4a: DUP6
00001a4b: ADD
00001a4c: AND
00001a4d: ADD
00001a4e: PUSH2 0x191a
00001a51: JUMP
00001a52: JUMPDEST
00001a53: SWAP3
00001a54: POP
00001a55: DUP2
00001a56: DUP4
00001a57: MSTORE
00001a58: DUP13
00001a59: DUP2
00001a5a: DUP4
00001a5b: DUP7
00001a5c: ADD
00001a5d: ADD
00001a5e: GT
00001a5f: ISZERO
00001a60: PUSH2 0x1a69
00001a63: JUMPI
00001a64: PUSH1 0x00
00001a66: DUP1
00001a67: DUP2
00001a68: REVERT
00001a69: JUMPDEST
00001a6a: DUP2
00001a6b: DUP2
00001a6c: DUP6
00001a6d: ADD
00001a6e: DUP10
00001a6f: DUP6
00001a70: ADD
00001a71: CALLDATACOPY
00001a72: POP
00001a73: PUSH1 0x00
00001a75: SWAP1
00001a76: DUP3
00001a77: ADD
00001a78: DUP8
00001a79: ADD
00001a7a: MSTORE
00001a7b: DUP5
00001a7c: MSTORE
00001a7d: POP
00001a7e: SWAP2
00001a7f: DUP4
00001a80: ADD
00001a81: SWAP2
00001a82: DUP4
00001a83: ADD
00001a84: PUSH2 0x19d7
00001a87: JUMP
00001a88: JUMPDEST
00001a89: POP
00001a8a: SWAP8
00001a8b: SWAP7
00001a8c: POP
00001a8d: POP
00001a8e: POP
00001a8f: POP
00001a90: POP
00001a91: POP
00001a92: POP
00001a93: JUMP
00001a94: JUMPDEST
00001a95: PUSH1 0x00
00001a97: DUP1
00001a98: PUSH1 0x00
00001a9a: PUSH1 0x60
00001a9c: DUP5
00001a9d: DUP7
00001a9e: SUB
00001a9f: SLT
00001aa0: ISZERO
00001aa1: PUSH2 0x1aa9
00001aa4: JUMPI
00001aa5: PUSH1 0x00
00001aa7: DUP1
00001aa8: REVERT
00001aa9: JUMPDEST
00001aaa: DUP4
00001aab: CALLDATALOAD
00001aac: PUSH8 0xffffffffffffffff
00001ab5: DUP1
00001ab6: DUP3
00001ab7: GT
00001ab8: ISZERO
00001ab9: PUSH2 0x1ac1
00001abc: JUMPI
00001abd: PUSH1 0x00
00001abf: DUP1
00001ac0: REVERT
00001ac1: JUMPDEST
00001ac2: DUP2
00001ac3: DUP7
00001ac4: ADD
00001ac5: SWAP2
00001ac6: POP
00001ac7: DUP7
00001ac8: PUSH1 0x1f
00001aca: DUP4
00001acb: ADD
00001acc: SLT
00001acd: PUSH2 0x1ad5
00001ad0: JUMPI
00001ad1: PUSH1 0x00
00001ad3: DUP1
00001ad4: REVERT
00001ad5: JUMPDEST
00001ad6: DUP2
00001ad7: CALLDATALOAD
00001ad8: PUSH1 0x20
00001ada: PUSH2 0x1ae5
00001add: PUSH2 0x19af
00001ae0: DUP4
00001ae1: PUSH2 0x1969
00001ae4: JUMP
00001ae5: JUMPDEST
00001ae6: DUP3
00001ae7: DUP2
00001ae8: MSTORE
00001ae9: PUSH1 0x05
00001aeb: SWAP3
00001aec: SWAP1
00001aed: SWAP3
00001aee: SHL
00001aef: DUP5
00001af0: ADD
00001af1: DUP2
00001af2: ADD
00001af3: SWAP2
00001af4: DUP2
00001af5: DUP2
00001af6: ADD
00001af7: SWAP1
00001af8: DUP11
00001af9: DUP5
00001afa: GT
00001afb: ISZERO
00001afc: PUSH2 0x1b04
00001aff: JUMPI
00001b00: PUSH1 0x00
00001b02: DUP1
00001b03: REVERT
00001b04: JUMPDEST
00001b05: SWAP5
00001b06: DUP3
00001b07: ADD
00001b08: SWAP5
00001b09: JUMPDEST
00001b0a: DUP4
00001b0b: DUP7
00001b0c: LT
00001b0d: ISZERO
00001b0e: PUSH2 0x1b2b
00001b11: JUMPI
00001b12: DUP6
00001b13: CALLDATALOAD
00001b14: PUSH2 0x1b1c
00001b17: DUP2
00001b18: PUSH2 0x17ae
00001b1b: JUMP
00001b1c: JUMPDEST
00001b1d: DUP3
00001b1e: MSTORE
00001b1f: SWAP5
00001b20: DUP3
00001b21: ADD
00001b22: SWAP5
00001b23: SWAP1
00001b24: DUP3
00001b25: ADD
00001b26: SWAP1
00001b27: PUSH2 0x1b09
00001b2a: JUMP
00001b2b: JUMPDEST
00001b2c: SWAP8
00001b2d: POP
00001b2e: POP
00001b2f: DUP8
00001b30: ADD
00001b31: CALLDATALOAD
00001b32: SWAP3
00001b33: POP
00001b34: POP
00001b35: DUP1
00001b36: DUP3
00001b37: GT
00001b38: ISZERO
00001b39: PUSH2 0x1b41
00001b3c: JUMPI
00001b3d: PUSH1 0x00
00001b3f: DUP1
00001b40: REVERT
00001b41: JUMPDEST
00001b42: POP
00001b43: PUSH2 0x1b4e
00001b46: DUP7
00001b47: DUP3
00001b48: DUP8
00001b49: ADD
00001b4a: PUSH2 0x198d
00001b4d: JUMP
00001b4e: JUMPDEST
00001b4f: SWAP3
00001b50: POP
00001b51: POP
00001b52: PUSH2 0x1b5d
00001b55: PUSH1 0x40
00001b57: DUP6
00001b58: ADD
00001b59: PUSH2 0x17ee
00001b5c: JUMP
00001b5d: JUMPDEST
00001b5e: SWAP1
00001b5f: POP
00001b60: SWAP3
00001b61: POP
00001b62: SWAP3
00001b63: POP
00001b64: SWAP3
00001b65: JUMP
00001b66: JUMPDEST
00001b67: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001b88: PUSH1 0x00
00001b8a: MSTORE
00001b8b: PUSH1 0x11
00001b8d: PUSH1 0x04
00001b8f: MSTORE
00001b90: PUSH1 0x24
00001b92: PUSH1 0x00
00001b94: REVERT
00001b95: JUMPDEST
00001b96: DUP2
00001b97: DUP2
00001b98: SUB
00001b99: DUP2
00001b9a: DUP2
00001b9b: GT
00001b9c: ISZERO
00001b9d: PUSH2 0x0bfd
00001ba0: JUMPI
00001ba1: PUSH2 0x0bfd
00001ba4: PUSH2 0x1b66
00001ba7: JUMP
00001ba8: JUMPDEST
00001ba9: DUP1
00001baa: DUP3
00001bab: ADD
00001bac: DUP1
00001bad: DUP3
00001bae: GT
00001baf: ISZERO
00001bb0: PUSH2 0x0bfd
00001bb3: JUMPI
00001bb4: PUSH2 0x0bfd
00001bb7: PUSH2 0x1b66
00001bba: JUMP
00001bbb: JUMPDEST
00001bbc: PUSH1 0x00
00001bbe: JUMPDEST
00001bbf: DUP4
00001bc0: DUP2
00001bc1: LT
00001bc2: ISZERO
00001bc3: PUSH2 0x1bd6
00001bc6: JUMPI
00001bc7: DUP2
00001bc8: DUP2
00001bc9: ADD
00001bca: MLOAD
00001bcb: DUP4
00001bcc: DUP3
00001bcd: ADD
00001bce: MSTORE
00001bcf: PUSH1 0x20
00001bd1: ADD
00001bd2: PUSH2 0x1bbe
00001bd5: JUMP
00001bd6: JUMPDEST
00001bd7: POP
00001bd8: POP
00001bd9: PUSH1 0x00
00001bdb: SWAP2
00001bdc: ADD
00001bdd: MSTORE
00001bde: JUMP
00001bdf: JUMPDEST
00001be0: PUSH1 0x00
00001be2: DUP2
00001be3: MLOAD
00001be4: DUP1
00001be5: DUP5
00001be6: MSTORE
00001be7: PUSH2 0x1bf7
00001bea: DUP2
00001beb: PUSH1 0x20
00001bed: DUP7
00001bee: ADD
00001bef: PUSH1 0x20
00001bf1: DUP7
00001bf2: ADD
00001bf3: PUSH2 0x1bbb
00001bf6: JUMP
00001bf7: JUMPDEST
00001bf8: PUSH1 0x1f
00001bfa: ADD
00001bfb: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
00001c1c: AND
00001c1d: SWAP3
00001c1e: SWAP1
00001c1f: SWAP3
00001c20: ADD
00001c21: PUSH1 0x20
00001c23: ADD
00001c24: SWAP3
00001c25: SWAP2
00001c26: POP
00001c27: POP
00001c28: JUMP
00001c29: JUMPDEST
00001c2a: PUSH1 0x00
00001c2c: PUSH1 0x20
00001c2e: DUP1
00001c2f: DUP4
00001c30: ADD
00001c31: DUP2
00001c32: DUP5
00001c33: MSTORE
00001c34: DUP1
00001c35: DUP6
00001c36: MLOAD
00001c37: DUP1
00001c38: DUP4
00001c39: MSTORE
00001c3a: PUSH1 0x40
00001c3c: SWAP3
00001c3d: POP
00001c3e: DUP3
00001c3f: DUP7
00001c40: ADD
00001c41: SWAP2
00001c42: POP
00001c43: DUP3
00001c44: DUP2
00001c45: PUSH1 0x05
00001c47: SHL
00001c48: DUP8
00001c49: ADD
00001c4a: ADD
00001c4b: DUP5
00001c4c: DUP9
00001c4d: ADD
00001c4e: PUSH1 0x00
00001c50: JUMPDEST
00001c51: DUP4
00001c52: DUP2
00001c53: LT
00001c54: ISZERO
00001c55: PUSH2 0x1caf
00001c58: JUMPI
00001c59: DUP9
00001c5a: DUP4
00001c5b: SUB
00001c5c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffc0
00001c7d: ADD
00001c7e: DUP6
00001c7f: MSTORE
00001c80: DUP2
00001c81: MLOAD
00001c82: DUP1
00001c83: MLOAD
00001c84: ISZERO
00001c85: ISZERO
00001c86: DUP5
00001c87: MSTORE
00001c88: DUP8
00001c89: ADD
00001c8a: MLOAD
00001c8b: DUP8
00001c8c: DUP5
00001c8d: ADD
00001c8e: DUP8
00001c8f: SWAP1
00001c90: MSTORE
00001c91: PUSH2 0x1c9c
00001c94: DUP8
00001c95: DUP6
00001c96: ADD
00001c97: DUP3
00001c98: PUSH2 0x1bdf
00001c9b: JUMP
00001c9c: JUMPDEST
00001c9d: SWAP6
00001c9e: DUP9
00001c9f: ADD
00001ca0: SWAP6
00001ca1: SWAP4
00001ca2: POP
00001ca3: POP
00001ca4: SWAP1
00001ca5: DUP7
00001ca6: ADD
00001ca7: SWAP1
00001ca8: PUSH1 0x01
00001caa: ADD
00001cab: PUSH2 0x1c50
00001cae: JUMP
00001caf: JUMPDEST
00001cb0: POP
00001cb1: SWAP1
00001cb2: SWAP9
00001cb3: SWAP8
00001cb4: POP
00001cb5: POP
00001cb6: POP
00001cb7: POP
00001cb8: POP
00001cb9: POP
00001cba: POP
00001cbb: POP
00001cbc: JUMP
00001cbd: JUMPDEST
00001cbe: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001cdf: PUSH1 0x00
00001ce1: MSTORE
00001ce2: PUSH1 0x32
00001ce4: PUSH1 0x04
00001ce6: MSTORE
00001ce7: PUSH1 0x24
00001ce9: PUSH1 0x00
00001ceb: REVERT
00001cec: JUMPDEST
00001ced: PUSH1 0x00
00001cef: PUSH1 0x20
00001cf1: DUP3
00001cf2: DUP5
00001cf3: SUB
00001cf4: SLT
00001cf5: ISZERO
00001cf6: PUSH2 0x1cfe
00001cf9: JUMPI
00001cfa: PUSH1 0x00
00001cfc: DUP1
00001cfd: REVERT
00001cfe: JUMPDEST
00001cff: DUP2
00001d00: MLOAD
00001d01: PUSH2 0x0766
00001d04: DUP2
00001d05: PUSH2 0x17ae
00001d08: JUMP
00001d09: JUMPDEST
00001d0a: PUSH1 0x00
00001d0c: PUSH1 0x20
00001d0e: DUP3
00001d0f: DUP5
00001d10: SUB
00001d11: SLT
00001d12: ISZERO
00001d13: PUSH2 0x1d1b
00001d16: JUMPI
00001d17: PUSH1 0x00
00001d19: DUP1
00001d1a: REVERT
00001d1b: JUMPDEST
00001d1c: DUP2
00001d1d: MLOAD
00001d1e: PUSH2 0x0766
00001d21: DUP2
00001d22: PUSH2 0x17e0
00001d25: JUMP
00001d26: JUMPDEST
00001d27: PUSH1 0x00
00001d29: DUP3
00001d2a: MLOAD
00001d2b: PUSH2 0x1d38
00001d2e: DUP2
00001d2f: DUP5
00001d30: PUSH1 0x20
00001d32: DUP8
00001d33: ADD
00001d34: PUSH2 0x1bbb
00001d37: JUMP
00001d38: JUMPDEST
00001d39: SWAP2
00001d3a: SWAP1
00001d3b: SWAP2
00001d3c: ADD
00001d3d: SWAP3
00001d3e: SWAP2
00001d3f: POP
00001d40: POP
00001d41: JUMP
00001d42: JUMPDEST
00001d43: PUSH1 0xa0
00001d45: DUP2
00001d46: MSTORE
00001d47: PUSH1 0x00
00001d49: PUSH2 0x1d55
00001d4c: PUSH1 0xa0
00001d4e: DUP4
00001d4f: ADD
00001d50: DUP9
00001d51: PUSH2 0x1bdf
00001d54: JUMP
00001d55: JUMPDEST
00001d56: DUP7
00001d57: ISZERO
00001d58: ISZERO
00001d59: PUSH1 0x20
00001d5b: DUP5
00001d5c: ADD
00001d5d: MSTORE
00001d5e: DUP3
00001d5f: DUP2
00001d60: SUB
00001d61: PUSH1 0x40
00001d63: DUP5
00001d64: ADD
00001d65: MSTORE
00001d66: PUSH2 0x1d6f
00001d69: DUP2
00001d6a: DUP8
00001d6b: PUSH2 0x1bdf
00001d6e: JUMP
00001d6f: JUMPDEST
00001d70: PUSH1 0x60
00001d72: DUP5
00001d73: ADD
00001d74: SWAP6
00001d75: SWAP1
00001d76: SWAP6
00001d77: MSTORE
00001d78: POP
00001d79: POP
00001d7a: PUSH1 0x80
00001d7c: ADD
00001d7d: MSTORE
00001d7e: SWAP4
00001d7f: SWAP3
00001d80: POP
00001d81: POP
00001d82: POP
00001d83: JUMP
00001d84: JUMPDEST
00001d85: PUSH1 0x00
00001d87: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001da8: DUP3
00001da9: SUB
00001daa: PUSH2 0x1db5
00001dad: JUMPI
00001dae: PUSH2 0x1db5
00001db1: PUSH2 0x1b66
00001db4: JUMP
00001db5: JUMPDEST
00001db6: POP
00001db7: PUSH1 0x01
00001db9: ADD
00001dba: SWAP1
00001dbb: JUMP
00001dbc: JUMPDEST
00001dbd: DUP1
00001dbe: DUP3
00001dbf: MUL
00001dc0: DUP2
00001dc1: ISZERO
00001dc2: DUP3
00001dc3: DUP3
00001dc4: DIV
00001dc5: DUP5
00001dc6: EQ
00001dc7: OR
00001dc8: PUSH2 0x0bfd
00001dcb: JUMPI
00001dcc: PUSH2 0x0bfd
00001dcf: PUSH2 0x1b66
00001dd2: JUMP
00001dd3: JUMPDEST
00001dd4: PUSH1 0x20
00001dd6: DUP2
00001dd7: MSTORE
00001dd8: PUSH1 0x00
00001dda: PUSH2 0x0766
00001ddd: PUSH1 0x20
00001ddf: DUP4
00001de0: ADD
00001de1: DUP5
00001de2: PUSH2 0x1bdf
00001de5: JUMP
00001de6: INVALID
00001de7: LOG2
00001de8: PUSH5 0x6970667358
00001dee: UNKNOWN(0x22)
00001def: SLT
00001df0: KECCAK256
00001df1: UNKNOWN(0xB1)
00001df2: XOR
00001df3: UNKNOWN(0x2E)
00001df4: SWAP14
00001df5: UNKNOWN(0xED)
00001df6: RETURNDATASIZE
00001df7: SHR
00001df8: UNKNOWN(0x1F)
00001df9: BLOCKHASH
00001dfa: UNKNOWN(0xCB)
00001dfb: PUSH9 0x582c06dd1473aecabf
00001e05: UNKNOWN(0xEA)
00001e06: PUSH2 0xdb03
00001e09: UNKNOWN(0x2A)
00001e0a: UNKNOWN(0xAC)
00001e0b: SWAP10
00001e0c: UNKNOWN(0xEC)
00001e0d: MSIZE
00001e0e: PUSH5 0xef4a64736f
00001e14: PUSH13