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-dqcvvef5)
'forge config --json' running
'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-dqcvvef5)
'forge' returned non-zero exit code 1
2026-01-11T08:35:41.347178Z ERROR foundry_compilers_artifacts_solc::sources: error="/tmp/slither-dqcvvef5/lib/openzeppelin-contracts/contracts/utils/math/SafeMath.sol": No such file or directory (os error 2)
stdout: 2026-01-11T08:35:41.348554Z ERROR foundry_compilers_artifacts_solc::sources: error="/tmp/slither-dqcvvef5/lib/openzeppelin-contracts/contracts/security/ReentrancyGuard.sol": No such file or directory (os error 2)
stdout: 2026-01-11T08:35:41.348961Z ERROR foundry_compilers_artifacts_solc::sources: error="/tmp/slither-dqcvvef5/lib/openzeppelin-contracts/contracts/utils/math/SafeMath.sol": No such file or directory (os error 2)
stdout: Unable to resolve imports:
stdout:       "@openzeppelin/contracts/utils/math/SafeMath.sol" in "/tmp/slither-dqcvvef5/contracts/ActivePool.sol"
stdout:       "@openzeppelin/contracts/utils/math/SafeMath.sol" in "/tmp/slither-dqcvvef5/contracts/Dependencies/SafetyTransfer.sol"
stdout:       "@openzeppelin/contracts/security/ReentrancyGuard.sol" in "/tmp/slither-dqcvvef5/contracts/ActivePool.sol"
stdout: with remappings:
stdout:       openzeppelin-contracts/=/tmp/slither-dqcvvef5/lib/openzeppelin-contracts/
stdout:       @openzeppelin/contracts/=/tmp/slither-dqcvvef5/lib/openzeppelin-contracts/contracts/
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
stderr: Encountered invalid solc version in lib/openzeppelin-contracts/contracts/utils/Address.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-dqcvvef5/out/build-info is not a directory.

{"no_findings":false,"summary":"One upgradeability-related risk: the contract uses Initializable but relies on Ownable’s constructor, which is not run behind proxies and can brick initialization.","findings":[{"severity":"low","category":"upgradeability","title":"Ownable constructor not executed in proxy deployments, potentially bricking initialization","exploit_scenario":"If this contract is deployed behind a proxy, Ownable’s constructor will not run and the owner will remain the zero address. Because `setAddresses` is `onlyOwner`, no one can call it, leaving the contract uninitialized and unusable.","recommendation":"Use `OwnableUpgradeable` and call `__Ownable_init()` (or a custom initializer) inside `setAddresses`/initializer logic, or avoid proxy deployment entirely for this contract.","evidence":"ActivePool inherits `Ownable` and `Initializable`, and `setAddresses` is `initializer` + `onlyOwner`, but there is no initializer that sets the owner; `Ownable` only sets it in its constructor.","locations":["contracts/ActivePool.sol"]}]}

OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-e5cpdz8b
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019baba6-03ba-73b1-b0b1-f556499ee4d7
--------
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 'cat AUDIT_BUNDLE.txt' in /tmp/codex-e5cpdz8b succeeded in 7ms:
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: contracts/ActivePool.sol
================================================================================
// SPDX-License-Identifier: MIT

pragma solidity ^0.8.14;
import "@openzeppelin/contracts/utils/math/SafeMath.sol";
import "@openzeppelin/contracts/access/Ownable.sol";
import "@openzeppelin/contracts/token/ERC20/utils/SafeERC20.sol";
import "@openzeppelin/contracts/security/ReentrancyGuard.sol";

import "./Interfaces/IActivePool.sol";
import "./Interfaces/IDefaultPool.sol";
import "./Interfaces/IStabilityPoolManager.sol";
import "./Interfaces/IStabilityPool.sol";
import "./Interfaces/ICollSurplusPool.sol";
import "./Interfaces/IDeposit.sol";

thinking
**Identifying potential upgradeability risk**

I’m analyzing the ActivePool contract and its use of Ownable with Initializable but without an ownership initializer, which can cause the owner to be zero in proxy deployments. This would block calling onlyOwner functions like setAddresses, effectively bricking the contract. While it’s not an immediate exploit, it’s a significant deployment risk worth flagging. Other potential issues, like token decimals handling and reentrancy, appear well-managed or intentional, so the main finding is this upgradeability misconfiguration. I'll prepare a JSON summary highlighting this low-severity upgradeability concern located in contracts/ActivePool.sol.
codex
{"no_findings":false,"summary":"One upgradeability-related risk: the contract uses Initializable but relies on Ownable’s constructor, which is not run behind proxies and can brick initialization.","findings":[{"severity":"low","category":"upgradeability","title":"Ownable constructor not executed in proxy deployments, potentially bricking initialization","exploit_scenario":"If this contract is deployed behind a proxy, Ownable’s constructor will not run and the owner will remain the zero address. Because `setAddresses` is `onlyOwner`, no one can call it, leaving the contract uninitialized and unusable.","recommendation":"Use `OwnableUpgradeable` and call `__Ownable_init()` (or a custom initializer) inside `setAddresses`/initializer logic, or avoid proxy deployment entirely for this contract.","evidence":"ActivePool inherits `Ownable` and `Initializable`, and `setAddresses` is `initializer` + `onlyOwner`, but there is no initializer that sets the owner; `Ownable` only sets it in its constructor.","locations":["contracts/ActivePool.sol"]}]}
tokens used
8,980

{
    "codex": {
        "ran_at": "2026-01-11T06:03:08.216221+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "source",
        "file_count": 19,
        "import_count": 21,
        "first_party_contracts_count": 12
    },
    "summary": "One upgradeability-related risk: the contract uses Initializable but relies on Ownable\u2019s constructor, which is not run behind proxies and can brick initialization.",
    "raw_final": {
        "summary": "One upgradeability-related risk: the contract uses Initializable but relies on Ownable\u2019s constructor, which is not run behind proxies and can brick initialization.",
        "findings": [
            {
                "title": "Ownable constructor not executed in proxy deployments, potentially bricking initialization",
                "category": "upgradeability",
                "evidence": "ActivePool inherits `Ownable` and `Initializable`, and `setAddresses` is `initializer` + `onlyOwner`, but there is no initializer that sets the owner; `Ownable` only sets it in its constructor.",
                "severity": "low",
                "locations": [
                    "contracts/ActivePool.sol"
                ],
                "recommendation": "Use `OwnableUpgradeable` and call `__Ownable_init()` (or a custom initializer) inside `setAddresses`/initializer logic, or avoid proxy deployment entirely for this contract.",
                "exploit_scenario": "If this contract is deployed behind a proxy, Ownable\u2019s constructor will not run and the owner will remain the zero address. Because `setAddresses` is `onlyOwner`, no one can call it, leaving the contract uninitialized and unusable."
            }
        ],
        "no_findings": false
    },
    "no_findings": false,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x010d
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x87c33381
00000019: GT
0000001a: PUSH2 0x0095
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xcda775f9
00000024: GT
00000025: PUSH2 0x0064
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xcda775f9
0000002f: EQ
00000030: PUSH2 0x0415
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd1234da7
0000003a: EQ
0000003b: PUSH2 0x0435
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xeb16f004
00000045: EQ
00000046: PUSH2 0x046b
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf2fde38b
00000050: EQ
00000051: PUSH2 0x048b
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfb24e5f7
0000005b: EQ
0000005c: PUSH2 0x04ab
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x87c33381
0000006b: EQ
0000006c: PUSH2 0x036e
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x8da5cb5b
00000076: EQ
00000077: PUSH2 0x038e
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xa3f4df7e
00000081: EQ
00000082: PUSH2 0x03ac
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xb7f8cf9b
0000008c: EQ
0000008d: PUSH2 0x03ef
00000090: JUMPI
00000091: PUSH1 0x00
00000093: DUP1
00000094: REVERT
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0x5373433f
0000009c: GT
0000009d: PUSH2 0x00dc
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x5373433f
000000a7: EQ
000000a8: PUSH2 0x02b5
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x5a4d28bb
000000b2: EQ
000000b3: PUSH2 0x02f9
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x6cfb6bf9
000000bd: EQ
000000be: PUSH2 0x0319
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x6df996d0
000000c8: EQ
000000c9: PUSH2 0x0339
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x715018a6
000000d3: EQ
000000d4: PUSH2 0x0359
000000d7: JUMPI
000000d8: PUSH1 0x00
000000da: DUP1
000000db: REVERT
000000dc: JUMPDEST
000000dd: DUP1
000000de: PUSH4 0x2f2b4e90
000000e3: EQ
000000e4: PUSH2 0x0205
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x392e53cd
000000ee: EQ
000000ef: PUSH2 0x0242
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x3cc74225
000000f9: EQ
000000fa: PUSH2 0x0273
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x47878f15
00000104: EQ
00000105: PUSH2 0x0293
00000108: JUMPI
00000109: PUSH1 0x00
0000010b: DUP1
0000010c: REVERT
0000010d: JUMPDEST
0000010e: CALLDATASIZE
0000010f: PUSH2 0x0200
00000112: JUMPI
00000113: PUSH1 0x02
00000115: SLOAD
00000116: PUSH3 0x010000
0000011a: SWAP1
0000011b: DIV
0000011c: PUSH1 0x01
0000011e: PUSH1 0x01
00000120: PUSH1 0xa0
00000122: SHL
00000123: SUB
00000124: AND
00000125: CALLER
00000126: EQ
00000127: DUP1
00000128: PUSH2 0x013b
0000012b: JUMPI
0000012c: POP
0000012d: PUSH1 0x05
0000012f: SLOAD
00000130: PUSH1 0x01
00000132: PUSH1 0x01
00000134: PUSH1 0xa0
00000136: SHL
00000137: SUB
00000138: AND
00000139: CALLER
0000013a: EQ
0000013b: JUMPDEST
0000013c: PUSH2 0x0160
0000013f: JUMPI
00000140: PUSH1 0x40
00000142: MLOAD
00000143: PUSH3 0x461bcd
00000147: PUSH1 0xe5
00000149: SHL
0000014a: DUP2
0000014b: MSTORE
0000014c: PUSH1 0x04
0000014e: ADD
0000014f: PUSH2 0x0157
00000152: SWAP1
00000153: PUSH2 0x1551
00000156: JUMP
00000157: JUMPDEST
00000158: PUSH1 0x40
0000015a: MLOAD
0000015b: DUP1
0000015c: SWAP2
0000015d: SUB
0000015e: SWAP1
0000015f: REVERT
00000160: JUMPDEST
00000161: PUSH1 0x00
00000163: DUP1
00000164: MSTORE
00000165: PUSH1 0x08
00000167: PUSH1 0x20
00000169: MSTORE
0000016a: PUSH32 0x5eff886ea0ce6ca488a3d6e336d6c0f75f46d19b42c06ce5ee98e42c96d256c7
0000018b: SLOAD
0000018c: PUSH2 0x0195
0000018f: SWAP1
00000190: CALLVALUE
00000191: PUSH2 0x04cb
00000194: JUMP
00000195: JUMPDEST
00000196: PUSH1 0x00
00000198: DUP1
00000199: DUP1
0000019a: MSTORE
0000019b: PUSH1 0x08
0000019d: PUSH1 0x20
0000019f: SWAP1
000001a0: DUP2
000001a1: MSTORE
000001a2: PUSH32 0x5eff886ea0ce6ca488a3d6e336d6c0f75f46d19b42c06ce5ee98e42c96d256c7
000001c3: DUP4
000001c4: SWAP1
000001c5: SSTORE
000001c6: PUSH1 0x40
000001c8: DUP1
000001c9: MLOAD
000001ca: SWAP3
000001cb: DUP4
000001cc: MSTORE
000001cd: SWAP1
000001ce: DUP3
000001cf: ADD
000001d0: SWAP3
000001d1: SWAP1
000001d2: SWAP3
000001d3: MSTORE
000001d4: PUSH32 0xd9d22224b27bb4fd824c68076d2a2f5ecbe57af6aadc3564516e4d14dd0930f9
000001f5: SWAP2
000001f6: ADD
000001f7: PUSH1 0x40
000001f9: MLOAD
000001fa: DUP1
000001fb: SWAP2
000001fc: SUB
000001fd: SWAP1
000001fe: LOG1
000001ff: STOP
00000200: JUMPDEST
00000201: PUSH1 0x00
00000203: DUP1
00000204: REVERT
00000205: JUMPDEST
00000206: CALLVALUE
00000207: DUP1
00000208: ISZERO
00000209: PUSH2 0x0211
0000020c: JUMPI
0000020d: PUSH1 0x00
0000020f: DUP1
00000210: REVERT
00000211: JUMPDEST
00000212: POP
00000213: PUSH1 0x07
00000215: SLOAD
00000216: PUSH2 0x0225
00000219: SWAP1
0000021a: PUSH1 0x01
0000021c: PUSH1 0x01
0000021e: PUSH1 0xa0
00000220: SHL
00000221: SUB
00000222: AND
00000223: DUP2
00000224: JUMP
00000225: JUMPDEST
00000226: PUSH1 0x40
00000228: MLOAD
00000229: PUSH1 0x01
0000022b: PUSH1 0x01
0000022d: PUSH1 0xa0
0000022f: SHL
00000230: SUB
00000231: SWAP1
00000232: SWAP2
00000233: AND
00000234: DUP2
00000235: MSTORE
00000236: PUSH1 0x20
00000238: ADD
00000239: JUMPDEST
0000023a: PUSH1 0x40
0000023c: MLOAD
0000023d: DUP1
0000023e: SWAP2
0000023f: SUB
00000240: SWAP1
00000241: RETURN
00000242: JUMPDEST
00000243: CALLVALUE
00000244: DUP1
00000245: ISZERO
00000246: PUSH2 0x024e
00000249: JUMPI
0000024a: PUSH1 0x00
0000024c: DUP1
0000024d: REVERT
0000024e: JUMPDEST
0000024f: POP
00000250: PUSH1 0x07
00000252: SLOAD
00000253: PUSH2 0x0263
00000256: SWAP1
00000257: PUSH1 0x01
00000259: PUSH1 0xa0
0000025b: SHL
0000025c: SWAP1
0000025d: DIV
0000025e: PUSH1 0xff
00000260: AND
00000261: DUP2
00000262: JUMP
00000263: JUMPDEST
00000264: PUSH1 0x40
00000266: MLOAD
00000267: SWAP1
00000268: ISZERO
00000269: ISZERO
0000026a: DUP2
0000026b: MSTORE
0000026c: PUSH1 0x20
0000026e: ADD
0000026f: PUSH2 0x0239
00000272: JUMP
00000273: JUMPDEST
00000274: CALLVALUE
00000275: DUP1
00000276: ISZERO
00000277: PUSH2 0x027f
0000027a: JUMPI
0000027b: PUSH1 0x00
0000027d: DUP1
0000027e: REVERT
0000027f: JUMPDEST
00000280: POP
00000281: PUSH1 0x05
00000283: SLOAD
00000284: PUSH2 0x0225
00000287: SWAP1
00000288: PUSH1 0x01
0000028a: PUSH1 0x01
0000028c: PUSH1 0xa0
0000028e: SHL
0000028f: SUB
00000290: AND
00000291: DUP2
00000292: JUMP
00000293: JUMPDEST
00000294: CALLVALUE
00000295: DUP1
00000296: ISZERO
00000297: PUSH2 0x029f
0000029a: JUMPI
0000029b: PUSH1 0x00
0000029d: DUP1
0000029e: REVERT
0000029f: JUMPDEST
000002a0: POP
000002a1: PUSH2 0x02b3
000002a4: PUSH2 0x02ae
000002a7: CALLDATASIZE
000002a8: PUSH1 0x04
000002aa: PUSH2 0x15b7
000002ad: JUMP
000002ae: JUMPDEST
000002af: PUSH2 0x04e0
000002b2: JUMP
000002b3: JUMPDEST
000002b4: STOP
000002b5: JUMPDEST
000002b6: CALLVALUE
000002b7: DUP1
000002b8: ISZERO
000002b9: PUSH2 0x02c1
000002bc: JUMPI
000002bd: PUSH1 0x00
000002bf: DUP1
000002c0: REVERT
000002c1: JUMPDEST
000002c2: POP
000002c3: PUSH2 0x02eb
000002c6: PUSH2 0x02d0
000002c9: CALLDATASIZE
000002ca: PUSH1 0x04
000002cc: PUSH2 0x15f8
000002cf: JUMP
000002d0: JUMPDEST
000002d1: PUSH1 0x01
000002d3: PUSH1 0x01
000002d5: PUSH1 0xa0
000002d7: SHL
000002d8: SUB
000002d9: AND
000002da: PUSH1 0x00
000002dc: SWAP1
000002dd: DUP2
000002de: MSTORE
000002df: PUSH1 0x08
000002e1: PUSH1 0x20
000002e3: MSTORE
000002e4: PUSH1 0x40
000002e6: SWAP1
000002e7: KECCAK256
000002e8: SLOAD
000002e9: SWAP1
000002ea: JUMP
000002eb: JUMPDEST
000002ec: PUSH1 0x40
000002ee: MLOAD
000002ef: SWAP1
000002f0: DUP2
000002f1: MSTORE
000002f2: PUSH1 0x20
000002f4: ADD
000002f5: PUSH2 0x0239
000002f8: JUMP
000002f9: JUMPDEST
000002fa: CALLVALUE
000002fb: DUP1
000002fc: ISZERO
000002fd: PUSH2 0x0305
00000300: JUMPI
00000301: PUSH1 0x00
00000303: DUP1
00000304: REVERT
00000305: JUMPDEST
00000306: POP
00000307: PUSH1 0x03
00000309: SLOAD
0000030a: PUSH2 0x0225
0000030d: SWAP1
0000030e: PUSH1 0x01
00000310: PUSH1 0x01
00000312: PUSH1 0xa0
00000314: SHL
00000315: SUB
00000316: AND
00000317: DUP2
00000318: JUMP
00000319: JUMPDEST
0000031a: CALLVALUE
0000031b: DUP1
0000031c: ISZERO
0000031d: PUSH2 0x0325
00000320: JUMPI
00000321: PUSH1 0x00
00000323: DUP1
00000324: REVERT
00000325: JUMPDEST
00000326: POP
00000327: PUSH2 0x02b3
0000032a: PUSH2 0x0334
0000032d: CALLDATASIZE
0000032e: PUSH1 0x04
00000330: PUSH2 0x1615
00000333: JUMP
00000334: JUMPDEST
00000335: PUSH2 0x0929
00000338: JUMP
00000339: JUMPDEST
0000033a: CALLVALUE
0000033b: DUP1
0000033c: ISZERO
0000033d: PUSH2 0x0345
00000340: JUMPI
00000341: PUSH1 0x00
00000343: DUP1
00000344: REVERT
00000345: JUMPDEST
00000346: POP
00000347: PUSH2 0x02b3
0000034a: PUSH2 0x0354
0000034d: CALLDATASIZE
0000034e: PUSH1 0x04
00000350: PUSH2 0x1697
00000353: JUMP
00000354: JUMPDEST
00000355: PUSH2 0x0c5f
00000358: JUMP
00000359: JUMPDEST
0000035a: CALLVALUE
0000035b: DUP1
0000035c: ISZERO
0000035d: PUSH2 0x0365
00000360: JUMPI
00000361: PUSH1 0x00
00000363: DUP1
00000364: REVERT
00000365: JUMPDEST
00000366: POP
00000367: PUSH2 0x02b3
0000036a: PUSH2 0x0d96
0000036d: JUMP
0000036e: JUMPDEST
0000036f: CALLVALUE
00000370: DUP1
00000371: ISZERO
00000372: PUSH2 0x037a
00000375: JUMPI
00000376: PUSH1 0x00
00000378: DUP1
00000379: REVERT
0000037a: JUMPDEST
0000037b: POP
0000037c: PUSH1 0x04
0000037e: SLOAD
0000037f: PUSH2 0x0225
00000382: SWAP1
00000383: PUSH1 0x01
00000385: PUSH1 0x01
00000387: PUSH1 0xa0
00000389: SHL
0000038a: SUB
0000038b: AND
0000038c: DUP2
0000038d: JUMP
0000038e: JUMPDEST
0000038f: CALLVALUE
00000390: DUP1
00000391: ISZERO
00000392: PUSH2 0x039a
00000395: JUMPI
00000396: PUSH1 0x00
00000398: DUP1
00000399: REVERT
0000039a: JUMPDEST
0000039b: POP
0000039c: PUSH1 0x00
0000039e: SLOAD
0000039f: PUSH1 0x01
000003a1: PUSH1 0x01
000003a3: PUSH1 0xa0
000003a5: SHL
000003a6: SUB
000003a7: AND
000003a8: PUSH2 0x0225
000003ab: JUMP
000003ac: JUMPDEST
000003ad: CALLVALUE
000003ae: DUP1
000003af: ISZERO
000003b0: PUSH2 0x03b8
000003b3: JUMPI
000003b4: PUSH1 0x00
000003b6: DUP1
000003b7: REVERT
000003b8: JUMPDEST
000003b9: POP
000003ba: PUSH2 0x03e2
000003bd: PUSH1 0x40
000003bf: MLOAD
000003c0: DUP1
000003c1: PUSH1 0x40
000003c3: ADD
000003c4: PUSH1 0x40
000003c6: MSTORE
000003c7: DUP1
000003c8: PUSH1 0x0a
000003ca: DUP2
000003cb: MSTORE
000003cc: PUSH1 0x20
000003ce: ADD
000003cf: PUSH10 0x1058dd1a5d99541bdbdb
000003da: PUSH1 0xb2
000003dc: SHL
000003dd: DUP2
000003de: MSTORE
000003df: POP
000003e0: DUP2
000003e1: JUMP
000003e2: JUMPDEST
000003e3: PUSH1 0x40
000003e5: MLOAD
000003e6: PUSH2 0x0239
000003e9: SWAP2
000003ea: SWAP1
000003eb: PUSH2 0x16f3
000003ee: JUMP
000003ef: JUMPDEST
000003f0: CALLVALUE
000003f1: DUP1
000003f2: ISZERO
000003f3: PUSH2 0x03fb
000003f6: JUMPI
000003f7: PUSH1 0x00
000003f9: DUP1
000003fa: REVERT
000003fb: JUMPDEST
000003fc: POP
000003fd: PUSH1 0x02
000003ff: SLOAD
00000400: PUSH2 0x0225
00000403: SWAP1
00000404: PUSH3 0x010000
00000408: SWAP1
00000409: DIV
0000040a: PUSH1 0x01
0000040c: PUSH1 0x01
0000040e: PUSH1 0xa0
00000410: SHL
00000411: SUB
00000412: AND
00000413: DUP2
00000414: JUMP
00000415: JUMPDEST
00000416: CALLVALUE
00000417: DUP1
00000418: ISZERO
00000419: PUSH2 0x0421
0000041c: JUMPI
0000041d: PUSH1 0x00
0000041f: DUP1
00000420: REVERT
00000421: JUMPDEST
00000422: POP
00000423: PUSH1 0x06
00000425: SLOAD
00000426: PUSH2 0x0225
00000429: SWAP1
0000042a: PUSH1 0x01
0000042c: PUSH1 0x01
0000042e: PUSH1 0xa0
00000430: SHL
00000431: SUB
00000432: AND
00000433: DUP2
00000434: JUMP
00000435: JUMPDEST
00000436: CALLVALUE
00000437: DUP1
00000438: ISZERO
00000439: PUSH2 0x0441
0000043c: JUMPI
0000043d: PUSH1 0x00
0000043f: DUP1
00000440: REVERT
00000441: JUMPDEST
00000442: POP
00000443: PUSH2 0x02eb
00000446: PUSH2 0x0450
00000449: CALLDATASIZE
0000044a: PUSH1 0x04
0000044c: PUSH2 0x15f8
0000044f: JUMP
00000450: JUMPDEST
00000451: PUSH1 0x01
00000453: PUSH1 0x01
00000455: PUSH1 0xa0
00000457: SHL
00000458: SUB
00000459: AND
0000045a: PUSH1 0x00
0000045c: SWAP1
0000045d: DUP2
0000045e: MSTORE
0000045f: PUSH1 0x09
00000461: PUSH1 0x20
00000463: MSTORE
00000464: PUSH1 0x40
00000466: SWAP1
00000467: KECCAK256
00000468: SLOAD
00000469: SWAP1
0000046a: JUMP
0000046b: JUMPDEST
0000046c: CALLVALUE
0000046d: DUP1
0000046e: ISZERO
0000046f: PUSH2 0x0477
00000472: JUMPI
00000473: PUSH1 0x00
00000475: DUP1
00000476: REVERT
00000477: JUMPDEST
00000478: POP
00000479: PUSH2 0x02b3
0000047c: PUSH2 0x0486
0000047f: CALLDATASIZE
00000480: PUSH1 0x04
00000482: PUSH2 0x1697
00000485: JUMP
00000486: JUMPDEST
00000487: PUSH2 0x0dcc
0000048a: JUMP
0000048b: JUMPDEST
0000048c: CALLVALUE
0000048d: DUP1
0000048e: ISZERO
0000048f: PUSH2 0x0497
00000492: JUMPI
00000493: PUSH1 0x00
00000495: DUP1
00000496: REVERT
00000497: JUMPDEST
00000498: POP
00000499: PUSH2 0x02b3
0000049c: PUSH2 0x04a6
0000049f: CALLDATASIZE
000004a0: PUSH1 0x04
000004a2: PUSH2 0x15f8
000004a5: JUMP
000004a6: JUMPDEST
000004a7: PUSH2 0x0e86
000004aa: JUMP
000004ab: JUMPDEST
000004ac: CALLVALUE
000004ad: DUP1
000004ae: ISZERO
000004af: PUSH2 0x04b7
000004b2: JUMPI
000004b3: PUSH1 0x00
000004b5: DUP1
000004b6: REVERT
000004b7: JUMPDEST
000004b8: POP
000004b9: PUSH2 0x02b3
000004bc: PUSH2 0x04c6
000004bf: CALLDATASIZE
000004c0: PUSH1 0x04
000004c2: PUSH2 0x1697
000004c5: JUMP
000004c6: JUMPDEST
000004c7: PUSH2 0x0f21
000004ca: JUMP
000004cb: JUMPDEST
000004cc: PUSH1 0x00
000004ce: PUSH2 0x04d7
000004d1: DUP3
000004d2: DUP5
000004d3: PUSH2 0x173c
000004d6: JUMP
000004d7: JUMPDEST
000004d8: SWAP1
000004d9: POP
000004da: JUMPDEST
000004db: SWAP3
000004dc: SWAP2
000004dd: POP
000004de: POP
000004df: JUMP
000004e0: JUMPDEST
000004e1: PUSH1 0x02
000004e3: PUSH1 0x01
000004e5: SLOAD
000004e6: SUB
000004e7: PUSH2 0x0532
000004ea: JUMPI
000004eb: PUSH1 0x40
000004ed: MLOAD
000004ee: PUSH3 0x461bcd
000004f2: PUSH1 0xe5
000004f4: SHL
000004f5: DUP2
000004f6: MSTORE
000004f7: PUSH1 0x20
000004f9: PUSH1 0x04
000004fb: DUP3
000004fc: ADD
000004fd: MSTORE
000004fe: PUSH1 0x1f
00000500: PUSH1 0x24
00000502: DUP3
00000503: ADD
00000504: MSTORE
00000505: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00000526: PUSH1 0x44
00000528: DUP3
00000529: ADD
0000052a: MSTORE
0000052b: PUSH1 0x64
0000052d: ADD
0000052e: PUSH2 0x0157
00000531: JUMP
00000532: JUMPDEST
00000533: PUSH1 0x02
00000535: PUSH1 0x01
00000537: DUP2
00000538: SWAP1
00000539: SSTORE
0000053a: SLOAD
0000053b: PUSH3 0x010000
0000053f: SWAP1
00000540: DIV
00000541: PUSH1 0x01
00000543: PUSH1 0x01
00000545: PUSH1 0xa0
00000547: SHL
00000548: SUB
00000549: AND
0000054a: CALLER
0000054b: EQ
0000054c: DUP1
0000054d: PUSH2 0x0560
00000550: JUMPI
00000551: POP
00000552: PUSH1 0x03
00000554: SLOAD
00000555: PUSH1 0x01
00000557: PUSH1 0x01
00000559: PUSH1 0xa0
0000055b: SHL
0000055c: SUB
0000055d: AND
0000055e: CALLER
0000055f: EQ
00000560: JUMPDEST
00000561: DUP1
00000562: PUSH2 0x0575
00000565: JUMPI
00000566: POP
00000567: PUSH1 0x04
00000569: SLOAD
0000056a: PUSH1 0x01
0000056c: PUSH1 0x01
0000056e: PUSH1 0xa0
00000570: SHL
00000571: SUB
00000572: AND
00000573: CALLER
00000574: EQ
00000575: JUMPDEST
00000576: DUP1
00000577: PUSH2 0x05e7
0000057a: JUMPI
0000057b: POP
0000057c: PUSH1 0x07
0000057e: SLOAD
0000057f: PUSH1 0x40
00000581: MLOAD
00000582: PUSH4 0x3c5f6d8f
00000587: PUSH1 0xe2
00000589: SHL
0000058a: DUP2
0000058b: MSTORE
0000058c: CALLER
0000058d: PUSH1 0x04
0000058f: DUP3
00000590: ADD
00000591: MSTORE
00000592: PUSH1 0x01
00000594: PUSH1 0x01
00000596: PUSH1 0xa0
00000598: SHL
00000599: SUB
0000059a: SWAP1
0000059b: SWAP2
0000059c: AND
0000059d: SWAP1
0000059e: PUSH4 0xf17db63c
000005a3: SWAP1
000005a4: PUSH1 0x24
000005a6: ADD
000005a7: PUSH1 0x20
000005a9: PUSH1 0x40
000005ab: MLOAD
000005ac: DUP1
000005ad: DUP4
000005ae: SUB
000005af: DUP2
000005b0: DUP7
000005b1: GAS
000005b2: STATICCALL
000005b3: ISZERO
000005b4: DUP1
000005b5: ISZERO
000005b6: PUSH2 0x05c3
000005b9: JUMPI
000005ba: RETURNDATASIZE
000005bb: PUSH1 0x00
000005bd: DUP1
000005be: RETURNDATACOPY
000005bf: RETURNDATASIZE
000005c0: PUSH1 0x00
000005c2: REVERT
000005c3: JUMPDEST
000005c4: POP
000005c5: POP
000005c6: POP
000005c7: POP
000005c8: PUSH1 0x40
000005ca: MLOAD
000005cb: RETURNDATASIZE
000005cc: PUSH1 0x1f
000005ce: NOT
000005cf: PUSH1 0x1f
000005d1: DUP3
000005d2: ADD
000005d3: AND
000005d4: DUP3
000005d5: ADD
000005d6: DUP1
000005d7: PUSH1 0x40
000005d9: MSTORE
000005da: POP
000005db: DUP2
000005dc: ADD
000005dd: SWAP1
000005de: PUSH2 0x05e7
000005e1: SWAP2
000005e2: SWAP1
000005e3: PUSH2 0x1754
000005e6: JUMP
000005e7: JUMPDEST
000005e8: PUSH2 0x0603
000005eb: JUMPI
000005ec: PUSH1 0x40
000005ee: MLOAD
000005ef: PUSH3 0x461bcd
000005f3: PUSH1 0xe5
000005f5: SHL
000005f6: DUP2
000005f7: MSTORE
000005f8: PUSH1 0x04
000005fa: ADD
000005fb: PUSH2 0x0157
000005fe: SWAP1
000005ff: PUSH2 0x1776
00000602: JUMP
00000603: JUMPDEST
00000604: PUSH1 0x07
00000606: SLOAD
00000607: PUSH1 0x40
00000609: MLOAD
0000060a: PUSH4 0x3c5f6d8f
0000060f: PUSH1 0xe2
00000611: SHL
00000612: DUP2
00000613: MSTORE
00000614: CALLER
00000615: PUSH1 0x04
00000617: DUP3
00000618: ADD
00000619: MSTORE
0000061a: PUSH1 0x01
0000061c: PUSH1 0x01
0000061e: PUSH1 0xa0
00000620: SHL
00000621: SUB
00000622: SWAP1
00000623: SWAP2
00000624: AND
00000625: SWAP1
00000626: PUSH4 0xf17db63c
0000062b: SWAP1
0000062c: PUSH1 0x24
0000062e: ADD
0000062f: PUSH1 0x20
00000631: PUSH1 0x40
00000633: MLOAD
00000634: DUP1
00000635: DUP4
00000636: SUB
00000637: DUP2
00000638: DUP7
00000639: GAS
0000063a: STATICCALL
0000063b: ISZERO
0000063c: DUP1
0000063d: ISZERO
0000063e: PUSH2 0x064b
00000641: JUMPI
00000642: RETURNDATASIZE
00000643: PUSH1 0x00
00000645: DUP1
00000646: RETURNDATACOPY
00000647: RETURNDATASIZE
00000648: PUSH1 0x00
0000064a: REVERT
0000064b: JUMPDEST
0000064c: POP
0000064d: POP
0000064e: POP
0000064f: POP
00000650: PUSH1 0x40
00000652: MLOAD
00000653: RETURNDATASIZE
00000654: PUSH1 0x1f
00000656: NOT
00000657: PUSH1 0x1f
00000659: DUP3
0000065a: ADD
0000065b: AND
0000065c: DUP3
0000065d: ADD
0000065e: DUP1
0000065f: PUSH1 0x40
00000661: MSTORE
00000662: POP
00000663: DUP2
00000664: ADD
00000665: SWAP1
00000666: PUSH2 0x066f
00000669: SWAP2
0000066a: SWAP1
0000066b: PUSH2 0x1754
0000066e: JUMP
0000066f: JUMPDEST
00000670: ISZERO
00000671: PUSH2 0x06f8
00000674: JUMPI
00000675: PUSH1 0x07
00000677: SLOAD
00000678: PUSH1 0x40
0000067a: MLOAD
0000067b: PUSH4 0x065c20bb
00000680: PUSH1 0xe4
00000682: SHL
00000683: DUP2
00000684: MSTORE
00000685: PUSH1 0x01
00000687: PUSH1 0x01
00000689: PUSH1 0xa0
0000068b: SHL
0000068c: SUB
0000068d: DUP6
0000068e: DUP2
0000068f: AND
00000690: PUSH1 0x04
00000692: DUP4
00000693: ADD
00000694: MSTORE
00000695: CALLER
00000696: SWAP3
00000697: AND
00000698: SWAP1
00000699: PUSH4 0x65c20bb0
0000069e: SWAP1
0000069f: PUSH1 0x24
000006a1: ADD
000006a2: PUSH1 0x20
000006a4: PUSH1 0x40
000006a6: MLOAD
000006a7: DUP1
000006a8: DUP4
000006a9: SUB
000006aa: DUP2
000006ab: DUP7
000006ac: GAS
000006ad: STATICCALL
000006ae: ISZERO
000006af: DUP1
000006b0: ISZERO
000006b1: PUSH2 0x06be
000006b4: JUMPI
000006b5: RETURNDATASIZE
000006b6: PUSH1 0x00
000006b8: DUP1
000006b9: RETURNDATACOPY
000006ba: RETURNDATASIZE
000006bb: PUSH1 0x00
000006bd: REVERT
000006be: JUMPDEST
000006bf: POP
000006c0: POP
000006c1: POP
000006c2: POP
000006c3: PUSH1 0x40
000006c5: MLOAD
000006c6: RETURNDATASIZE
000006c7: PUSH1 0x1f
000006c9: NOT
000006ca: PUSH1 0x1f
000006cc: DUP3
000006cd: ADD
000006ce: AND
000006cf: DUP3
000006d0: ADD
000006d1: DUP1
000006d2: PUSH1 0x40
000006d4: MSTORE
000006d5: POP
000006d6: DUP2
000006d7: ADD
000006d8: SWAP1
000006d9: PUSH2 0x06e2
000006dc: SWAP2
000006dd: SWAP1
000006de: PUSH2 0x17ef
000006e1: JUMP
000006e2: JUMPDEST
000006e3: PUSH1 0x01
000006e5: PUSH1 0x01
000006e7: PUSH1 0xa0
000006e9: SHL
000006ea: SUB
000006eb: AND
000006ec: EQ
000006ed: PUSH2 0x06f8
000006f0: JUMPI
000006f1: PUSH2 0x06f8
000006f4: PUSH2 0x180c
000006f7: JUMP
000006f8: JUMPDEST
000006f9: PUSH1 0x00
000006fb: PUSH2 0x0704
000006fe: DUP5
000006ff: DUP4
00000700: PUSH2 0x1010
00000703: JUMP
00000704: JUMPDEST
00000705: SWAP1
00000706: POP
00000707: DUP1
00000708: PUSH1 0x00
0000070a: SUB
0000070b: PUSH2 0x0714
0000070e: JUMPI
0000070f: POP
00000710: PUSH2 0x0920
00000713: JUMP
00000714: JUMPDEST
00000715: PUSH1 0x01
00000717: PUSH1 0x01
00000719: PUSH1 0xa0
0000071b: SHL
0000071c: SUB
0000071d: DUP5
0000071e: AND
0000071f: PUSH1 0x00
00000721: SWAP1
00000722: DUP2
00000723: MSTORE
00000724: PUSH1 0x08
00000726: PUSH1 0x20
00000728: MSTORE
00000729: PUSH1 0x40
0000072b: SWAP1
0000072c: KECCAK256
0000072d: SLOAD
0000072e: PUSH2 0x0737
00000731: SWAP1
00000732: DUP4
00000733: PUSH2 0x10f1
00000736: JUMP
00000737: JUMPDEST
00000738: PUSH1 0x01
0000073a: PUSH1 0x01
0000073c: PUSH1 0xa0
0000073e: SHL
0000073f: SUB
00000740: DUP6
00000741: AND
00000742: PUSH1 0x00
00000744: DUP2
00000745: DUP2
00000746: MSTORE
00000747: PUSH1 0x08
00000749: PUSH1 0x20
0000074b: MSTORE
0000074c: PUSH1 0x40
0000074e: SWAP1
0000074f: KECCAK256
00000750: SWAP2
00000751: SWAP1
00000752: SWAP2
00000753: SSTORE
00000754: ISZERO
00000755: PUSH2 0x07e2
00000758: JUMPI
00000759: PUSH2 0x076c
0000075c: PUSH1 0x01
0000075e: PUSH1 0x01
00000760: PUSH1 0xa0
00000762: SHL
00000763: SUB
00000764: DUP6
00000765: AND
00000766: DUP5
00000767: DUP4
00000768: PUSH2 0x10fd
0000076b: JUMP
0000076c: JUMPDEST
0000076d: PUSH2 0x0775
00000770: DUP4
00000771: PUSH2 0x1154
00000774: JUMP
00000775: JUMPDEST
00000776: ISZERO
00000777: PUSH2 0x07dd
0000077a: JUMPI
0000077b: PUSH1 0x40
0000077d: MLOAD
0000077e: PUSH4 0x3ac5bc01
00000783: PUSH1 0xe2
00000785: SHL
00000786: DUP2
00000787: MSTORE
00000788: PUSH1 0x01
0000078a: PUSH1 0x01
0000078c: PUSH1 0xa0
0000078e: SHL
0000078f: SUB
00000790: DUP6
00000791: DUP2
00000792: AND
00000793: PUSH1 0x04
00000795: DUP4
00000796: ADD
00000797: MSTORE
00000798: PUSH1 0x24
0000079a: DUP3
0000079b: ADD
0000079c: DUP5
0000079d: SWAP1
0000079e: MSTORE
0000079f: DUP5
000007a0: AND
000007a1: SWAP1
000007a2: PUSH4 0xeb16f004
000007a7: SWAP1
000007a8: PUSH1 0x44
000007aa: ADD
000007ab: PUSH1 0x00
000007ad: PUSH1 0x40
000007af: MLOAD
000007b0: DUP1
000007b1: DUP4
000007b2: SUB
000007b3: DUP2
000007b4: PUSH1 0x00
000007b6: DUP8
000007b7: DUP1
000007b8: EXTCODESIZE
000007b9: ISZERO
000007ba: DUP1
000007bb: ISZERO
000007bc: PUSH2 0x07c4
000007bf: JUMPI
000007c0: PUSH1 0x00
000007c2: DUP1
000007c3: REVERT
000007c4: JUMPDEST
000007c5: POP
000007c6: GAS
000007c7: CALL
000007c8: ISZERO
000007c9: DUP1
000007ca: ISZERO
000007cb: PUSH2 0x07d8
000007ce: JUMPI
000007cf: RETURNDATASIZE
000007d0: PUSH1 0x00
000007d2: DUP1
000007d3: RETURNDATACOPY
000007d4: RETURNDATASIZE
000007d5: PUSH1 0x00
000007d7: REVERT
000007d8: JUMPDEST
000007d9: POP
000007da: POP
000007db: POP
000007dc: POP
000007dd: JUMPDEST
000007de: PUSH2 0x0887
000007e1: JUMP
000007e2: JUMPDEST
000007e3: PUSH1 0x00
000007e5: DUP4
000007e6: PUSH1 0x01
000007e8: PUSH1 0x01
000007ea: PUSH1 0xa0
000007ec: SHL
000007ed: SUB
000007ee: AND
000007ef: DUP4
000007f0: PUSH1 0x40
000007f2: MLOAD
000007f3: PUSH1 0x00
000007f5: PUSH1 0x40
000007f7: MLOAD
000007f8: DUP1
000007f9: DUP4
000007fa: SUB
000007fb: DUP2
000007fc: DUP6
000007fd: DUP8
000007fe: GAS
000007ff: CALL
00000800: SWAP3
00000801: POP
00000802: POP
00000803: POP
00000804: RETURNDATASIZE
00000805: DUP1
00000806: PUSH1 0x00
00000808: DUP2
00000809: EQ
0000080a: PUSH2 0x082f
0000080d: JUMPI
0000080e: PUSH1 0x40
00000810: MLOAD
00000811: SWAP2
00000812: POP
00000813: PUSH1 0x1f
00000815: NOT
00000816: PUSH1 0x3f
00000818: RETURNDATASIZE
00000819: ADD
0000081a: AND
0000081b: DUP3
0000081c: ADD
0000081d: PUSH1 0x40
0000081f: MSTORE
00000820: RETURNDATASIZE
00000821: DUP3
00000822: MSTORE
00000823: RETURNDATASIZE
00000824: PUSH1 0x00
00000826: PUSH1 0x20
00000828: DUP5
00000829: ADD
0000082a: RETURNDATACOPY
0000082b: PUSH2 0x0834
0000082e: JUMP
0000082f: JUMPDEST
00000830: PUSH1 0x60
00000832: SWAP2
00000833: POP
00000834: JUMPDEST
00000835: POP
00000836: POP
00000837: SWAP1
00000838: POP
00000839: DUP1
0000083a: PUSH2 0x0885
0000083d: JUMPI
0000083e: PUSH1 0x40
00000840: MLOAD
00000841: PUSH3 0x461bcd
00000845: PUSH1 0xe5
00000847: SHL
00000848: DUP2
00000849: MSTORE
0000084a: PUSH1 0x20
0000084c: PUSH1 0x04
0000084e: DUP3
0000084f: ADD
00000850: MSTORE
00000851: PUSH1 0x1e
00000853: PUSH1 0x24
00000855: DUP3
00000856: ADD
00000857: MSTORE
00000858: PUSH32 0x416374697665506f6f6c3a2073656e64696e6720455448206661696c65640000
00000879: PUSH1 0x44
0000087b: DUP3
0000087c: ADD
0000087d: MSTORE
0000087e: PUSH1 0x64
00000880: ADD
00000881: PUSH2 0x0157
00000884: JUMP
00000885: JUMPDEST
00000886: POP
00000887: JUMPDEST
00000888: PUSH1 0x01
0000088a: PUSH1 0x01
0000088c: PUSH1 0xa0
0000088e: SHL
0000088f: SUB
00000890: DUP5
00000891: AND
00000892: PUSH1 0x00
00000894: DUP2
00000895: DUP2
00000896: MSTORE
00000897: PUSH1 0x08
00000899: PUSH1 0x20
0000089b: SWAP1
0000089c: DUP2
0000089d: MSTORE
0000089e: PUSH1 0x40
000008a0: SWAP2
000008a1: DUP3
000008a2: SWAP1
000008a3: KECCAK256
000008a4: SLOAD
000008a5: DUP3
000008a6: MLOAD
000008a7: SWAP4
000008a8: DUP5
000008a9: MSTORE
000008aa: SWAP1
000008ab: DUP4
000008ac: ADD
000008ad: MSTORE
000008ae: PUSH32 0xd9d22224b27bb4fd824c68076d2a2f5ecbe57af6aadc3564516e4d14dd0930f9
000008cf: SWAP2
000008d0: ADD
000008d1: PUSH1 0x40
000008d3: MLOAD
000008d4: DUP1
000008d5: SWAP2
000008d6: SUB
000008d7: SWAP1
000008d8: LOG1
000008d9: PUSH1 0x40
000008db: DUP1
000008dc: MLOAD
000008dd: PUSH1 0x01
000008df: PUSH1 0x01
000008e1: PUSH1 0xa0
000008e3: SHL
000008e4: SUB
000008e5: DUP6
000008e6: DUP2
000008e7: AND
000008e8: DUP3
000008e9: MSTORE
000008ea: PUSH1 0x20
000008ec: DUP3
000008ed: ADD
000008ee: DUP5
000008ef: SWAP1
000008f0: MSTORE
000008f1: DUP7
000008f2: AND
000008f3: SWAP2
000008f4: PUSH32 0xf89c3306c782ffbbe4593aa5673e97e9ad6a8c65d240405e8986363fada66392
00000915: SWAP2
00000916: ADD
00000917: PUSH1 0x40
00000919: MLOAD
0000091a: DUP1
0000091b: SWAP2
0000091c: SUB
0000091d: SWAP1
0000091e: LOG2
0000091f: POP
00000920: JUMPDEST
00000921: POP
00000922: POP
00000923: PUSH1 0x01
00000925: DUP1
00000926: SSTORE
00000927: POP
00000928: JUMP
00000929: JUMPDEST
0000092a: PUSH1 0x02
0000092c: SLOAD
0000092d: PUSH2 0x0100
00000930: SWAP1
00000931: DIV
00000932: PUSH1 0xff
00000934: AND
00000935: ISZERO
00000936: DUP1
00000937: DUP1
00000938: ISZERO
00000939: PUSH2 0x0949
0000093c: JUMPI
0000093d: POP
0000093e: PUSH1 0x02
00000940: SLOAD
00000941: PUSH1 0x01
00000943: PUSH1 0xff
00000945: SWAP1
00000946: SWAP2
00000947: AND
00000948: LT
00000949: JUMPDEST
0000094a: DUP1
0000094b: PUSH2 0x0963
0000094e: JUMPI
0000094f: POP
00000950: ADDRESS
00000951: EXTCODESIZE
00000952: ISZERO
00000953: DUP1
00000954: ISZERO
00000955: PUSH2 0x0963
00000958: JUMPI
00000959: POP
0000095a: PUSH1 0x02
0000095c: SLOAD
0000095d: PUSH1 0xff
0000095f: AND
00000960: PUSH1 0x01
00000962: EQ
00000963: JUMPDEST
00000964: PUSH2 0x09c6
00000967: JUMPI
00000968: PUSH1 0x40
0000096a: MLOAD
0000096b: PUSH3 0x461bcd
0000096f: PUSH1 0xe5
00000971: SHL
00000972: DUP2
00000973: MSTORE
00000974: PUSH1 0x20
00000976: PUSH1 0x04
00000978: DUP3
00000979: ADD
0000097a: MSTORE
0000097b: PUSH1 0x2e
0000097d: PUSH1 0x24
0000097f: DUP3
00000980: ADD
00000981: MSTORE
00000982: PUSH32 0x496e697469616c697a61626c653a20636f6e747261637420697320616c726561
000009a3: PUSH1 0x44
000009a5: DUP3
000009a6: ADD
000009a7: MSTORE
000009a8: PUSH14 0x191e481a5b9a5d1a585b1a5e9959
000009b7: PUSH1 0x92
000009b9: SHL
000009ba: PUSH1 0x64
000009bc: DUP3
000009bd: ADD
000009be: MSTORE
000009bf: PUSH1 0x84
000009c1: ADD
000009c2: PUSH2 0x0157
000009c5: JUMP
000009c6: JUMPDEST
000009c7: PUSH1 0x02
000009c9: DUP1
000009ca: SLOAD
000009cb: PUSH1 0xff
000009cd: NOT
000009ce: AND
000009cf: PUSH1 0x01
000009d1: OR
000009d2: SWAP1
000009d3: SSTORE
000009d4: DUP1
000009d5: ISZERO
000009d6: PUSH2 0x09e9
000009d9: JUMPI
000009da: PUSH1 0x02
000009dc: DUP1
000009dd: SLOAD
000009de: PUSH2 0xff00
000009e1: NOT
000009e2: AND
000009e3: PUSH2 0x0100
000009e6: OR
000009e7: SWAP1
000009e8: SSTORE
000009e9: JUMPDEST
000009ea: PUSH1 0x00
000009ec: SLOAD
000009ed: PUSH1 0x01
000009ef: PUSH1 0x01
000009f1: PUSH1 0xa0
000009f3: SHL
000009f4: SUB
000009f5: AND
000009f6: CALLER
000009f7: EQ
000009f8: PUSH2 0x0a13
000009fb: JUMPI
000009fc: PUSH1 0x40
000009fe: MLOAD
000009ff: PUSH3 0x461bcd
00000a03: PUSH1 0xe5
00000a05: SHL
00000a06: DUP2
00000a07: MSTORE
00000a08: PUSH1 0x04
00000a0a: ADD
00000a0b: PUSH2 0x0157
00000a0e: SWAP1
00000a0f: PUSH2 0x1822
00000a12: JUMP
00000a13: JUMPDEST
00000a14: PUSH1 0x07
00000a16: SLOAD
00000a17: PUSH1 0x01
00000a19: PUSH1 0xa0
00000a1b: SHL
00000a1c: SWAP1
00000a1d: DIV
00000a1e: PUSH1 0xff
00000a20: AND
00000a21: ISZERO
00000a22: PUSH2 0x0a63
00000a25: JUMPI
00000a26: PUSH1 0x40
00000a28: MLOAD
00000a29: PUSH3 0x461bcd
00000a2d: PUSH1 0xe5
00000a2f: SHL
00000a30: DUP2
00000a31: MSTORE
00000a32: PUSH1 0x20
00000a34: PUSH1 0x04
00000a36: DUP3
00000a37: ADD
00000a38: MSTORE
00000a39: PUSH1 0x13
00000a3b: PUSH1 0x24
00000a3d: DUP3
00000a3e: ADD
00000a3f: MSTORE
00000a40: PUSH19 0x105b1c9958591e481a5b9a5d1a585b1a5e9959
00000a54: PUSH1 0x6a
00000a56: SHL
00000a57: PUSH1 0x44
00000a59: DUP3
00000a5a: ADD
00000a5b: MSTORE
00000a5c: PUSH1 0x64
00000a5e: ADD
00000a5f: PUSH2 0x0157
00000a62: JUMP
00000a63: JUMPDEST
00000a64: PUSH2 0x0a6c
00000a67: DUP8
00000a68: PUSH2 0x11f4
00000a6b: JUMP
00000a6c: JUMPDEST
00000a6d: PUSH2 0x0a75
00000a70: DUP7
00000a71: PUSH2 0x11f4
00000a74: JUMP
00000a75: JUMPDEST
00000a76: PUSH2 0x0a7e
00000a79: DUP6
00000a7a: PUSH2 0x11f4
00000a7d: JUMP
00000a7e: JUMPDEST
00000a7f: PUSH2 0x0a87
00000a82: DUP5
00000a83: PUSH2 0x11f4
00000a86: JUMP
00000a87: JUMPDEST
00000a88: PUSH2 0x0a90
00000a8b: DUP4
00000a8c: PUSH2 0x11f4
00000a8f: JUMP
00000a90: JUMPDEST
00000a91: PUSH2 0x0a99
00000a94: DUP3
00000a95: PUSH2 0x11f4
00000a98: JUMP
00000a99: JUMPDEST
00000a9a: PUSH1 0x07
00000a9c: DUP1
00000a9d: SLOAD
00000a9e: PUSH1 0x02
00000aa0: DUP1
00000aa1: SLOAD
00000aa2: PUSH3 0x010000
00000aa6: PUSH1 0x01
00000aa8: PUSH1 0xb0
00000aaa: SHL
00000aab: SUB
00000aac: NOT
00000aad: AND
00000aae: PUSH3 0x010000
00000ab2: PUSH1 0x01
00000ab4: PUSH1 0x01
00000ab6: PUSH1 0xa0
00000ab8: SHL
00000ab9: SUB
00000aba: DUP13
00000abb: DUP2
00000abc: AND
00000abd: SWAP2
00000abe: DUP3
00000abf: MUL
00000ac0: SWAP3
00000ac1: SWAP1
00000ac2: SWAP3
00000ac3: OR
00000ac4: SWAP1
00000ac5: SWAP3
00000ac6: SSTORE
00000ac7: PUSH1 0x03
00000ac9: DUP1
00000aca: SLOAD
00000acb: PUSH1 0x01
00000acd: PUSH1 0x01
00000acf: PUSH1 0xa0
00000ad1: SHL
00000ad2: SUB
00000ad3: NOT
00000ad4: SWAP1
00000ad5: DUP2
00000ad6: AND
00000ad7: DUP13
00000ad8: DUP5
00000ad9: AND
00000ada: OR
00000adb: SWAP1
00000adc: SWAP2
00000add: SSTORE
00000ade: PUSH1 0x04
00000ae0: DUP1
00000ae1: SLOAD
00000ae2: DUP3
00000ae3: AND
00000ae4: DUP12
00000ae5: DUP5
00000ae6: AND
00000ae7: OR
00000ae8: SWAP1
00000ae9: SSTORE
00000aea: PUSH1 0x01
00000aec: PUSH1 0xa0
00000aee: SHL
00000aef: PUSH1 0x01
00000af1: PUSH1 0x01
00000af3: PUSH1 0xa8
00000af5: SHL
00000af6: SUB
00000af7: NOT
00000af8: SWAP1
00000af9: SWAP5
00000afa: AND
00000afb: DUP10
00000afc: DUP4
00000afd: AND
00000afe: OR
00000aff: SWAP4
00000b00: SWAP1
00000b01: SWAP4
00000b02: OR
00000b03: SWAP1
00000b04: SWAP4
00000b05: SSTORE
00000b06: PUSH1 0x05
00000b08: DUP1
00000b09: SLOAD
00000b0a: DUP4
00000b0b: AND
00000b0c: DUP8
00000b0d: DUP6
00000b0e: AND
00000b0f: OR
00000b10: SWAP1
00000b11: SSTORE
00000b12: PUSH1 0x06
00000b14: DUP1
00000b15: SLOAD
00000b16: SWAP1
00000b17: SWAP3
00000b18: AND
00000b19: SWAP3
00000b1a: DUP6
00000b1b: AND
00000b1c: SWAP3
00000b1d: SWAP1
00000b1e: SWAP3
00000b1f: OR
00000b20: SWAP1
00000b21: SSTORE
00000b22: PUSH1 0x40
00000b24: MLOAD
00000b25: SWAP1
00000b26: DUP2
00000b27: MSTORE
00000b28: PUSH32 0x3ca631ffcd2a9b5d9ae18543fc82f58eb4ca33af9e6ab01b7a8e95331e6ed985
00000b49: SWAP1
00000b4a: PUSH1 0x20
00000b4c: ADD
00000b4d: PUSH1 0x40
00000b4f: MLOAD
00000b50: DUP1
00000b51: SWAP2
00000b52: SUB
00000b53: SWAP1
00000b54: LOG1
00000b55: PUSH1 0x40
00000b57: MLOAD
00000b58: PUSH1 0x01
00000b5a: PUSH1 0x01
00000b5c: PUSH1 0xa0
00000b5e: SHL
00000b5f: SUB
00000b60: DUP8
00000b61: AND
00000b62: DUP2
00000b63: MSTORE
00000b64: PUSH32 0x143219c9e69b09e07e095fcc889b43d8f46ca892bba65f08dc3a0050869a5678
00000b85: SWAP1
00000b86: PUSH1 0x20
00000b88: ADD
00000b89: PUSH1 0x40
00000b8b: MLOAD
00000b8c: DUP1
00000b8d: SWAP2
00000b8e: SUB
00000b8f: SWAP1
00000b90: LOG1
00000b91: PUSH1 0x40
00000b93: MLOAD
00000b94: PUSH1 0x01
00000b96: PUSH1 0x01
00000b98: PUSH1 0xa0
00000b9a: SHL
00000b9b: SUB
00000b9c: DUP6
00000b9d: AND
00000b9e: DUP2
00000b9f: MSTORE
00000ba0: PUSH32 0x82966d27eea39b038ee0fa30cd16532bb24f6e65d31cb58fb227aa5766cdcc7f
00000bc1: SWAP1
00000bc2: PUSH1 0x20
00000bc4: ADD
00000bc5: PUSH1 0x40
00000bc7: MLOAD
00000bc8: DUP1
00000bc9: SWAP2
00000bca: SUB
00000bcb: SWAP1
00000bcc: LOG1
00000bcd: PUSH1 0x40
00000bcf: MLOAD
00000bd0: PUSH1 0x01
00000bd2: PUSH1 0x01
00000bd4: PUSH1 0xa0
00000bd6: SHL
00000bd7: SUB
00000bd8: DUP5
00000bd9: AND
00000bda: DUP2
00000bdb: MSTORE
00000bdc: PUSH32 0x5ee0cae2f063ed938bb55046f6a932fb6ae792bf43624806bb90abe68a50be9b
00000bfd: SWAP1
00000bfe: PUSH1 0x20
00000c00: ADD
00000c01: PUSH1 0x40
00000c03: MLOAD
00000c04: DUP1
00000c05: SWAP2
00000c06: SUB
00000c07: SWAP1
00000c08: LOG1
00000c09: PUSH2 0x0c10
00000c0c: PUSH2 0x0d96
00000c0f: JUMP
00000c10: JUMPDEST
00000c11: DUP1
00000c12: ISZERO
00000c13: PUSH2 0x0c56
00000c16: JUMPI
00000c17: PUSH1 0x02
00000c19: DUP1
00000c1a: SLOAD
00000c1b: PUSH2 0xff00
00000c1e: NOT
00000c1f: AND
00000c20: SWAP1
00000c21: SSTORE
00000c22: PUSH1 0x40
00000c24: MLOAD
00000c25: PUSH1 0x01
00000c27: DUP2
00000c28: MSTORE
00000c29: PUSH32 0x7f26b83ff96e1f2b6a682f133852f6798a09c465da95921460cefb3847402498
00000c4a: SWAP1
00000c4b: PUSH1 0x20
00000c4d: ADD
00000c4e: PUSH1 0x40
00000c50: MLOAD
00000c51: DUP1
00000c52: SWAP2
00000c53: SUB
00000c54: SWAP1
00000c55: LOG1
00000c56: JUMPDEST
00000c57: POP
00000c58: POP
00000c59: POP
00000c5a: POP
00000c5b: POP
00000c5c: POP
00000c5d: POP
00000c5e: JUMP
00000c5f: JUMPDEST
00000c60: PUSH1 0x02
00000c62: SLOAD
00000c63: PUSH3 0x010000
00000c67: SWAP1
00000c68: DIV
00000c69: PUSH1 0x01
00000c6b: PUSH1 0x01
00000c6d: PUSH1 0xa0
00000c6f: SHL
00000c70: SUB
00000c71: AND
00000c72: CALLER
00000c73: EQ
00000c74: DUP1
00000c75: PUSH2 0x0c88
00000c78: JUMPI
00000c79: POP
00000c7a: PUSH1 0x03
00000c7c: SLOAD
00000c7d: PUSH1 0x01
00000c7f: PUSH1 0x01
00000c81: PUSH1 0xa0
00000c83: SHL
00000c84: SUB
00000c85: AND
00000c86: CALLER
00000c87: EQ
00000c88: JUMPDEST
00000c89: DUP1
00000c8a: PUSH2 0x0c9d
00000c8d: JUMPI
00000c8e: POP
00000c8f: PUSH1 0x04
00000c91: SLOAD
00000c92: PUSH1 0x01
00000c94: PUSH1 0x01
00000c96: PUSH1 0xa0
00000c98: SHL
00000c99: SUB
00000c9a: AND
00000c9b: CALLER
00000c9c: EQ
00000c9d: JUMPDEST
00000c9e: PUSH2 0x0d19
00000ca1: JUMPI
00000ca2: PUSH1 0x40
00000ca4: MLOAD
00000ca5: PUSH3 0x461bcd
00000ca9: PUSH1 0xe5
00000cab: SHL
00000cac: DUP2
00000cad: MSTORE
00000cae: PUSH1 0x20
00000cb0: PUSH1 0x04
00000cb2: DUP3
00000cb3: ADD
00000cb4: MSTORE
00000cb5: PUSH1 0x41
00000cb7: PUSH1 0x24
00000cb9: DUP3
00000cba: ADD
00000cbb: MSTORE
00000cbc: PUSH32 0x416374697665506f6f6c3a2043616c6c6572206973206e65697468657220426f
00000cdd: PUSH1 0x44
00000cdf: DUP3
00000ce0: ADD
00000ce1: MSTORE
00000ce2: PUSH32 0x72726f7765724f7065726174696f6e73206e6f722054726f76654d616e616765
00000d03: PUSH1 0x64
00000d05: DUP3
00000d06: ADD
00000d07: MSTORE
00000d08: PUSH1 0x39
00000d0a: PUSH1 0xf9
00000d0c: SHL
00000d0d: PUSH1 0x84
00000d0f: DUP3
00000d10: ADD
00000d11: MSTORE
00000d12: PUSH1 0xa4
00000d14: ADD
00000d15: PUSH2 0x0157
00000d18: JUMP
00000d19: JUMPDEST
00000d1a: PUSH1 0x01
00000d1c: PUSH1 0x01
00000d1e: PUSH1 0xa0
00000d20: SHL
00000d21: SUB
00000d22: DUP3
00000d23: AND
00000d24: PUSH1 0x00
00000d26: SWAP1
00000d27: DUP2
00000d28: MSTORE
00000d29: PUSH1 0x09
00000d2b: PUSH1 0x20
00000d2d: MSTORE
00000d2e: PUSH1 0x40
00000d30: SWAP1
00000d31: KECCAK256
00000d32: SLOAD
00000d33: PUSH2 0x0d3c
00000d36: SWAP1
00000d37: DUP3
00000d38: PUSH2 0x04cb
00000d3b: JUMP
00000d3c: JUMPDEST
00000d3d: PUSH1 0x01
00000d3f: PUSH1 0x01
00000d41: PUSH1 0xa0
00000d43: SHL
00000d44: SUB
00000d45: DUP4
00000d46: AND
00000d47: PUSH1 0x00
00000d49: DUP2
00000d4a: DUP2
00000d4b: MSTORE
00000d4c: PUSH1 0x09
00000d4e: PUSH1 0x20
00000d50: SWAP1
00000d51: DUP2
00000d52: MSTORE
00000d53: PUSH1 0x40
00000d55: SWAP2
00000d56: DUP3
00000d57: SWAP1
00000d58: KECCAK256
00000d59: DUP5
00000d5a: SWAP1
00000d5b: SSTORE
00000d5c: DUP2
00000d5d: MLOAD
00000d5e: SWAP3
00000d5f: DUP4
00000d60: MSTORE
00000d61: DUP3
00000d62: ADD
00000d63: SWAP3
00000d64: SWAP1
00000d65: SWAP3
00000d66: MSTORE
00000d67: PUSH32 0x792adde77f7d6a9f260ac83294dc199f36af314595e1e3018c7e13f4ff0d682f
00000d88: SWAP2
00000d89: ADD
00000d8a: JUMPDEST
00000d8b: PUSH1 0x40
00000d8d: MLOAD
00000d8e: DUP1
00000d8f: SWAP2
00000d90: SUB
00000d91: SWAP1
00000d92: LOG1
00000d93: POP
00000d94: POP
00000d95: JUMP
00000d96: JUMPDEST
00000d97: PUSH1 0x00
00000d99: SLOAD
00000d9a: PUSH1 0x01
00000d9c: PUSH1 0x01
00000d9e: PUSH1 0xa0
00000da0: SHL
00000da1: SUB
00000da2: AND
00000da3: CALLER
00000da4: EQ
00000da5: PUSH2 0x0dc0
00000da8: JUMPI
00000da9: PUSH1 0x40
00000dab: MLOAD
00000dac: PUSH3 0x461bcd
00000db0: PUSH1 0xe5
00000db2: SHL
00000db3: DUP2
00000db4: MSTORE
00000db5: PUSH1 0x04
00000db7: ADD
00000db8: PUSH2 0x0157
00000dbb: SWAP1
00000dbc: PUSH2 0x1822
00000dbf: JUMP
00000dc0: JUMPDEST
00000dc1: PUSH2 0x0dca
00000dc4: PUSH1 0x00
00000dc6: PUSH2 0x129d
00000dc9: JUMP
00000dca: JUMPDEST
00000dcb: JUMP
00000dcc: JUMPDEST
00000dcd: PUSH1 0x02
00000dcf: SLOAD
00000dd0: PUSH3 0x010000
00000dd4: SWAP1
00000dd5: DIV
00000dd6: PUSH1 0x01
00000dd8: PUSH1 0x01
00000dda: PUSH1 0xa0
00000ddc: SHL
00000ddd: SUB
00000dde: AND
00000ddf: CALLER
00000de0: EQ
00000de1: DUP1
00000de2: PUSH2 0x0df5
00000de5: JUMPI
00000de6: POP
00000de7: PUSH1 0x05
00000de9: SLOAD
00000dea: PUSH1 0x01
00000dec: PUSH1 0x01
00000dee: PUSH1 0xa0
00000df0: SHL
00000df1: SUB
00000df2: AND
00000df3: CALLER
00000df4: EQ
00000df5: JUMPDEST
00000df6: PUSH2 0x0e11
00000df9: JUMPI
00000dfa: PUSH1 0x40
00000dfc: MLOAD
00000dfd: PUSH3 0x461bcd
00000e01: PUSH1 0xe5
00000e03: SHL
00000e04: DUP2
00000e05: MSTORE
00000e06: PUSH1 0x04
00000e08: ADD
00000e09: PUSH2 0x0157
00000e0c: SWAP1
00000e0d: PUSH2 0x1551
00000e10: JUMP
00000e11: JUMPDEST
00000e12: PUSH1 0x01
00000e14: PUSH1 0x01
00000e16: PUSH1 0xa0
00000e18: SHL
00000e19: SUB
00000e1a: DUP3
00000e1b: AND
00000e1c: PUSH1 0x00
00000e1e: SWAP1
00000e1f: DUP2
00000e20: MSTORE
00000e21: PUSH1 0x08
00000e23: PUSH1 0x20
00000e25: MSTORE
00000e26: PUSH1 0x40
00000e28: SWAP1
00000e29: KECCAK256
00000e2a: SLOAD
00000e2b: PUSH2 0x0e34
00000e2e: SWAP1
00000e2f: DUP3
00000e30: PUSH2 0x04cb
00000e33: JUMP
00000e34: JUMPDEST
00000e35: PUSH1 0x01
00000e37: PUSH1 0x01
00000e39: PUSH1 0xa0
00000e3b: SHL
00000e3c: SUB
00000e3d: DUP4
00000e3e: AND
00000e3f: PUSH1 0x00
00000e41: DUP2
00000e42: DUP2
00000e43: MSTORE
00000e44: PUSH1 0x08
00000e46: PUSH1 0x20
00000e48: SWAP1
00000e49: DUP2
00000e4a: MSTORE
00000e4b: PUSH1 0x40
00000e4d: SWAP2
00000e4e: DUP3
00000e4f: SWAP1
00000e50: KECCAK256
00000e51: DUP5
00000e52: SWAP1
00000e53: SSTORE
00000e54: DUP2
00000e55: MLOAD
00000e56: SWAP3
00000e57: DUP4
00000e58: MSTORE
00000e59: DUP3
00000e5a: ADD
00000e5b: SWAP3
00000e5c: SWAP1
00000e5d: SWAP3
00000e5e: MSTORE
00000e5f: PUSH32 0xd9d22224b27bb4fd824c68076d2a2f5ecbe57af6aadc3564516e4d14dd0930f9
00000e80: SWAP2
00000e81: ADD
00000e82: PUSH2 0x0d8a
00000e85: JUMP
00000e86: JUMPDEST
00000e87: PUSH1 0x00
00000e89: SLOAD
00000e8a: PUSH1 0x01
00000e8c: PUSH1 0x01
00000e8e: PUSH1 0xa0
00000e90: SHL
00000e91: SUB
00000e92: AND
00000e93: CALLER
00000e94: EQ
00000e95: PUSH2 0x0eb0
00000e98: JUMPI
00000e99: PUSH1 0x40
00000e9b: MLOAD
00000e9c: PUSH3 0x461bcd
00000ea0: PUSH1 0xe5
00000ea2: SHL
00000ea3: DUP2
00000ea4: MSTORE
00000ea5: PUSH1 0x04
00000ea7: ADD
00000ea8: PUSH2 0x0157
00000eab: SWAP1
00000eac: PUSH2 0x1822
00000eaf: JUMP
00000eb0: JUMPDEST
00000eb1: PUSH1 0x01
00000eb3: PUSH1 0x01
00000eb5: PUSH1 0xa0
00000eb7: SHL
00000eb8: SUB
00000eb9: DUP2
00000eba: AND
00000ebb: PUSH2 0x0f15
00000ebe: JUMPI
00000ebf: PUSH1 0x40
00000ec1: MLOAD
00000ec2: PUSH3 0x461bcd
00000ec6: PUSH1 0xe5
00000ec8: SHL
00000ec9: DUP2
00000eca: MSTORE
00000ecb: PUSH1 0x20
00000ecd: PUSH1 0x04
00000ecf: DUP3
00000ed0: ADD
00000ed1: MSTORE
00000ed2: PUSH1 0x26
00000ed4: PUSH1 0x24
00000ed6: DUP3
00000ed7: ADD
00000ed8: MSTORE
00000ed9: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00000efa: PUSH1 0x44
00000efc: DUP3
00000efd: ADD
00000efe: MSTORE
00000eff: PUSH6 0x646472657373
00000f06: PUSH1 0xd0
00000f08: SHL
00000f09: PUSH1 0x64
00000f0b: DUP3
00000f0c: ADD
00000f0d: MSTORE
00000f0e: PUSH1 0x84
00000f10: ADD
00000f11: PUSH2 0x0157
00000f14: JUMP
00000f15: JUMPDEST
00000f16: PUSH2 0x0f1e
00000f19: DUP2
00000f1a: PUSH2 0x129d
00000f1d: JUMP
00000f1e: JUMPDEST
00000f1f: POP
00000f20: JUMP
00000f21: JUMPDEST
00000f22: PUSH1 0x02
00000f24: SLOAD
00000f25: PUSH3 0x010000
00000f29: SWAP1
00000f2a: DIV
00000f2b: PUSH1 0x01
00000f2d: PUSH1 0x01
00000f2f: PUSH1 0xa0
00000f31: SHL
00000f32: SUB
00000f33: AND
00000f34: CALLER
00000f35: EQ
00000f36: DUP1
00000f37: PUSH2 0x0f4a
00000f3a: JUMPI
00000f3b: POP
00000f3c: PUSH1 0x03
00000f3e: SLOAD
00000f3f: PUSH1 0x01
00000f41: PUSH1 0x01
00000f43: PUSH1 0xa0
00000f45: SHL
00000f46: SUB
00000f47: AND
00000f48: CALLER
00000f49: EQ
00000f4a: JUMPDEST
00000f4b: DUP1
00000f4c: PUSH2 0x0f5f
00000f4f: JUMPI
00000f50: POP
00000f51: PUSH1 0x04
00000f53: SLOAD
00000f54: PUSH1 0x01
00000f56: PUSH1 0x01
00000f58: PUSH1 0xa0
00000f5a: SHL
00000f5b: SUB
00000f5c: AND
00000f5d: CALLER
00000f5e: EQ
00000f5f: JUMPDEST
00000f60: DUP1
00000f61: PUSH2 0x0fd1
00000f64: JUMPI
00000f65: POP
00000f66: PUSH1 0x07
00000f68: SLOAD
00000f69: PUSH1 0x40
00000f6b: MLOAD
00000f6c: PUSH4 0x3c5f6d8f
00000f71: PUSH1 0xe2
00000f73: SHL
00000f74: DUP2
00000f75: MSTORE
00000f76: CALLER
00000f77: PUSH1 0x04
00000f79: DUP3
00000f7a: ADD
00000f7b: MSTORE
00000f7c: PUSH1 0x01
00000f7e: PUSH1 0x01
00000f80: PUSH1 0xa0
00000f82: SHL
00000f83: SUB
00000f84: SWAP1
00000f85: SWAP2
00000f86: AND
00000f87: SWAP1
00000f88: PUSH4 0xf17db63c
00000f8d: SWAP1
00000f8e: PUSH1 0x24
00000f90: ADD
00000f91: PUSH1 0x20
00000f93: PUSH1 0x40
00000f95: MLOAD
00000f96: DUP1
00000f97: DUP4
00000f98: SUB
00000f99: DUP2
00000f9a: DUP7
00000f9b: GAS
00000f9c: STATICCALL
00000f9d: ISZERO
00000f9e: DUP1
00000f9f: ISZERO
00000fa0: PUSH2 0x0fad
00000fa3: JUMPI
00000fa4: RETURNDATASIZE
00000fa5: PUSH1 0x00
00000fa7: DUP1
00000fa8: RETURNDATACOPY
00000fa9: RETURNDATASIZE
00000faa: PUSH1 0x00
00000fac: REVERT
00000fad: JUMPDEST
00000fae: POP
00000faf: POP
00000fb0: POP
00000fb1: POP
00000fb2: PUSH1 0x40
00000fb4: MLOAD
00000fb5: RETURNDATASIZE
00000fb6: PUSH1 0x1f
00000fb8: NOT
00000fb9: PUSH1 0x1f
00000fbb: DUP3
00000fbc: ADD
00000fbd: AND
00000fbe: DUP3
00000fbf: ADD
00000fc0: DUP1
00000fc1: PUSH1 0x40
00000fc3: MSTORE
00000fc4: POP
00000fc5: DUP2
00000fc6: ADD
00000fc7: SWAP1
00000fc8: PUSH2 0x0fd1
00000fcb: SWAP2
00000fcc: SWAP1
00000fcd: PUSH2 0x1754
00000fd0: JUMP
00000fd1: JUMPDEST
00000fd2: PUSH2 0x0fed
00000fd5: JUMPI
00000fd6: PUSH1 0x40
00000fd8: MLOAD
00000fd9: PUSH3 0x461bcd
00000fdd: PUSH1 0xe5
00000fdf: SHL
00000fe0: DUP2
00000fe1: MSTORE
00000fe2: PUSH1 0x04
00000fe4: ADD
00000fe5: PUSH2 0x0157
00000fe8: SWAP1
00000fe9: PUSH2 0x1776
00000fec: JUMP
00000fed: JUMPDEST
00000fee: PUSH1 0x01
00000ff0: PUSH1 0x01
00000ff2: PUSH1 0xa0
00000ff4: SHL
00000ff5: SUB
00000ff6: DUP3
00000ff7: AND
00000ff8: PUSH1 0x00
00000ffa: SWAP1
00000ffb: DUP2
00000ffc: MSTORE
00000ffd: PUSH1 0x09
00000fff: PUSH1 0x20
00001001: MSTORE
00001002: PUSH1 0x40
00001004: SWAP1
00001005: KECCAK256
00001006: SLOAD
00001007: PUSH2 0x0d3c
0000100a: SWAP1
0000100b: DUP3
0000100c: PUSH2 0x10f1
0000100f: JUMP
00001010: JUMPDEST
00001011: PUSH1 0x00
00001013: PUSH1 0x01
00001015: PUSH1 0x01
00001017: PUSH1 0xa0
00001019: SHL
0000101a: SUB
0000101b: DUP4
0000101c: AND
0000101d: PUSH2 0x1027
00001020: JUMPI
00001021: POP
00001022: DUP1
00001023: PUSH2 0x04da
00001026: JUMP
00001027: JUMPDEST
00001028: DUP2
00001029: PUSH1 0x00
0000102b: SUB
0000102c: PUSH2 0x1037
0000102f: JUMPI
00001030: POP
00001031: PUSH1 0x00
00001033: PUSH2 0x04da
00001036: JUMP
00001037: JUMPDEST
00001038: PUSH1 0x00
0000103a: DUP4
0000103b: PUSH1 0x01
0000103d: PUSH1 0x01
0000103f: PUSH1 0xa0
00001041: SHL
00001042: SUB
00001043: AND
00001044: PUSH4 0x313ce567
00001049: PUSH1 0x40
0000104b: MLOAD
0000104c: DUP2
0000104d: PUSH4 0xffffffff
00001052: AND
00001053: PUSH1 0xe0
00001055: SHL
00001056: DUP2
00001057: MSTORE
00001058: PUSH1 0x04
0000105a: ADD
0000105b: PUSH1 0x20
0000105d: PUSH1 0x40
0000105f: MLOAD
00001060: DUP1
00001061: DUP4
00001062: SUB
00001063: DUP2
00001064: DUP7
00001065: GAS
00001066: STATICCALL
00001067: ISZERO
00001068: DUP1
00001069: ISZERO
0000106a: PUSH2 0x1077
0000106d: JUMPI
0000106e: RETURNDATASIZE
0000106f: PUSH1 0x00
00001071: DUP1
00001072: RETURNDATACOPY
00001073: RETURNDATASIZE
00001074: PUSH1 0x00
00001076: REVERT
00001077: JUMPDEST
00001078: POP
00001079: POP
0000107a: POP
0000107b: POP
0000107c: PUSH1 0x40
0000107e: MLOAD
0000107f: RETURNDATASIZE
00001080: PUSH1 0x1f
00001082: NOT
00001083: PUSH1 0x1f
00001085: DUP3
00001086: ADD
00001087: AND
00001088: DUP3
00001089: ADD
0000108a: DUP1
0000108b: PUSH1 0x40
0000108d: MSTORE
0000108e: POP
0000108f: DUP2
00001090: ADD
00001091: SWAP1
00001092: PUSH2 0x109b
00001095: SWAP2
00001096: SWAP1
00001097: PUSH2 0x1857
0000109a: JUMP
0000109b: JUMPDEST
0000109c: SWAP1
0000109d: POP
0000109e: PUSH1 0x12
000010a0: DUP2
000010a1: PUSH1 0xff
000010a3: AND
000010a4: LT
000010a5: ISZERO
000010a6: PUSH2 0x10d1
000010a9: JUMPI
000010aa: PUSH2 0x10c9
000010ad: PUSH2 0x10b7
000010b0: DUP3
000010b1: PUSH1 0x12
000010b3: PUSH2 0x187a
000010b6: JUMP
000010b7: JUMPDEST
000010b8: PUSH2 0x10c2
000010bb: SWAP1
000010bc: PUSH1 0x0a
000010be: PUSH2 0x1981
000010c1: JUMP
000010c2: JUMPDEST
000010c3: DUP5
000010c4: SWAP1
000010c5: PUSH2 0x12ed
000010c8: JUMP
000010c9: JUMPDEST
000010ca: SWAP2
000010cb: POP
000010cc: POP
000010cd: PUSH2 0x04da
000010d0: JUMP
000010d1: JUMPDEST
000010d2: PUSH2 0x10c9
000010d5: PUSH2 0x10df
000010d8: PUSH1 0x12
000010da: DUP4
000010db: PUSH2 0x187a
000010de: JUMP
000010df: JUMPDEST
000010e0: PUSH2 0x10ea
000010e3: SWAP1
000010e4: PUSH1 0x0a
000010e6: PUSH2 0x1981
000010e9: JUMP
000010ea: JUMPDEST
000010eb: DUP5
000010ec: SWAP1
000010ed: PUSH2 0x12f9
000010f0: JUMP
000010f1: JUMPDEST
000010f2: PUSH1 0x00
000010f4: PUSH2 0x04d7
000010f7: DUP3
000010f8: DUP5
000010f9: PUSH2 0x1990
000010fc: JUMP
000010fd: JUMPDEST
000010fe: PUSH1 0x40
00001100: DUP1
00001101: MLOAD
00001102: PUSH1 0x01
00001104: PUSH1 0x01
00001106: PUSH1 0xa0
00001108: SHL
00001109: SUB
0000110a: DUP5
0000110b: AND
0000110c: PUSH1 0x24
0000110e: DUP3
0000110f: ADD
00001110: MSTORE
00001111: PUSH1 0x44
00001113: DUP1
00001114: DUP3
00001115: ADD
00001116: DUP5
00001117: SWAP1
00001118: MSTORE
00001119: DUP3
0000111a: MLOAD
0000111b: DUP1
0000111c: DUP4
0000111d: SUB
0000111e: SWAP1
0000111f: SWAP2
00001120: ADD
00001121: DUP2
00001122: MSTORE
00001123: PUSH1 0x64
00001125: SWAP1
00001126: SWAP2
00001127: ADD
00001128: SWAP1
00001129: SWAP2
0000112a: MSTORE
0000112b: PUSH1 0x20
0000112d: DUP2
0000112e: ADD
0000112f: DUP1
00001130: MLOAD
00001131: PUSH1 0x01
00001133: PUSH1 0x01
00001135: PUSH1 0xe0
00001137: SHL
00001138: SUB
00001139: AND
0000113a: PUSH4 0xa9059cbb
0000113f: PUSH1 0xe0
00001141: SHL
00001142: OR
00001143: SWAP1
00001144: MSTORE
00001145: PUSH2 0x114f
00001148: SWAP1
00001149: DUP5
0000114a: SWAP1
0000114b: PUSH2 0x1305
0000114e: JUMP
0000114f: JUMPDEST
00001150: POP
00001151: POP
00001152: POP
00001153: JUMP
00001154: JUMPDEST
00001155: PUSH1 0x05
00001157: SLOAD
00001158: PUSH1 0x00
0000115a: SWAP1
0000115b: PUSH1 0x01
0000115d: PUSH1 0x01
0000115f: PUSH1 0xa0
00001161: SHL
00001162: SUB
00001163: DUP4
00001164: DUP2
00001165: AND
00001166: SWAP2
00001167: AND
00001168: EQ
00001169: DUP1
0000116a: PUSH2 0x1180
0000116d: JUMPI
0000116e: POP
0000116f: PUSH1 0x06
00001171: SLOAD
00001172: PUSH1 0x01
00001174: PUSH1 0x01
00001176: PUSH1 0xa0
00001178: SHL
00001179: SUB
0000117a: DUP4
0000117b: DUP2
0000117c: AND
0000117d: SWAP2
0000117e: AND
0000117f: EQ
00001180: JUMPDEST
00001181: DUP1
00001182: PUSH2 0x04da
00001185: JUMPI
00001186: POP
00001187: PUSH1 0x07
00001189: SLOAD
0000118a: PUSH1 0x40
0000118c: MLOAD
0000118d: PUSH4 0x3c5f6d8f
00001192: PUSH1 0xe2
00001194: SHL
00001195: DUP2
00001196: MSTORE
00001197: PUSH1 0x01
00001199: PUSH1 0x01
0000119b: PUSH1 0xa0
0000119d: SHL
0000119e: SUB
0000119f: DUP5
000011a0: DUP2
000011a1: AND
000011a2: PUSH1 0x04
000011a4: DUP4
000011a5: ADD
000011a6: MSTORE
000011a7: SWAP1
000011a8: SWAP2
000011a9: AND
000011aa: SWAP1
000011ab: PUSH4 0xf17db63c
000011b0: SWAP1
000011b1: PUSH1 0x24
000011b3: ADD
000011b4: PUSH1 0x20
000011b6: PUSH1 0x40
000011b8: MLOAD
000011b9: DUP1
000011ba: DUP4
000011bb: SUB
000011bc: DUP2
000011bd: DUP7
000011be: GAS
000011bf: STATICCALL
000011c0: ISZERO
000011c1: DUP1
000011c2: ISZERO
000011c3: PUSH2 0x11d0
000011c6: JUMPI
000011c7: RETURNDATASIZE
000011c8: PUSH1 0x00
000011ca: DUP1
000011cb: RETURNDATACOPY
000011cc: RETURNDATASIZE
000011cd: PUSH1 0x00
000011cf: REVERT
000011d0: JUMPDEST
000011d1: POP
000011d2: POP
000011d3: POP
000011d4: POP
000011d5: PUSH1 0x40
000011d7: MLOAD
000011d8: RETURNDATASIZE
000011d9: PUSH1 0x1f
000011db: NOT
000011dc: PUSH1 0x1f
000011de: DUP3
000011df: ADD
000011e0: AND
000011e1: DUP3
000011e2: ADD
000011e3: DUP1
000011e4: PUSH1 0x40
000011e6: MSTORE
000011e7: POP
000011e8: DUP2
000011e9: ADD
000011ea: SWAP1
000011eb: PUSH2 0x04da
000011ee: SWAP2
000011ef: SWAP1
000011f0: PUSH2 0x1754
000011f3: JUMP
000011f4: JUMPDEST
000011f5: PUSH1 0x01
000011f7: PUSH1 0x01
000011f9: PUSH1 0xa0
000011fb: SHL
000011fc: SUB
000011fd: DUP2
000011fe: AND
000011ff: PUSH2 0x124a
00001202: JUMPI
00001203: PUSH1 0x40
00001205: MLOAD
00001206: PUSH3 0x461bcd
0000120a: PUSH1 0xe5
0000120c: SHL
0000120d: DUP2
0000120e: MSTORE
0000120f: PUSH1 0x20
00001211: PUSH1 0x04
00001213: DUP3
00001214: ADD
00001215: MSTORE
00001216: PUSH1 0x1e
00001218: PUSH1 0x24
0000121a: DUP3
0000121b: ADD
0000121c: MSTORE
0000121d: PUSH32 0x4163636f756e742063616e6e6f74206265207a65726f20616464726573730000
0000123e: PUSH1 0x44
00001240: DUP3
00001241: ADD
00001242: MSTORE
00001243: PUSH1 0x64
00001245: ADD
00001246: PUSH2 0x0157
00001249: JUMP
0000124a: JUMPDEST
0000124b: DUP1
0000124c: EXTCODESIZE
0000124d: DUP1
0000124e: PUSH2 0x1299
00001251: JUMPI
00001252: PUSH1 0x40
00001254: MLOAD
00001255: PUSH3 0x461bcd
00001259: PUSH1 0xe5
0000125b: SHL
0000125c: DUP2
0000125d: MSTORE
0000125e: PUSH1 0x20
00001260: PUSH1 0x04
00001262: DUP3
00001263: ADD
00001264: DUP2
00001265: SWAP1
00001266: MSTORE
00001267: PUSH1 0x24
00001269: DUP3
0000126a: ADD
0000126b: MSTORE
0000126c: PUSH32 0x4163636f756e7420636f64652073697a652063616e6e6f74206265207a65726f
0000128d: PUSH1 0x44
0000128f: DUP3
00001290: ADD
00001291: MSTORE
00001292: PUSH1 0x64
00001294: ADD
00001295: PUSH2 0x0157
00001298: JUMP
00001299: JUMPDEST
0000129a: POP
0000129b: POP
0000129c: JUMP
0000129d: JUMPDEST
0000129e: PUSH1 0x00
000012a0: DUP1
000012a1: SLOAD
000012a2: PUSH1 0x01
000012a4: PUSH1 0x01
000012a6: PUSH1 0xa0
000012a8: SHL
000012a9: SUB
000012aa: DUP4
000012ab: DUP2
000012ac: AND
000012ad: PUSH1 0x01
000012af: PUSH1 0x01
000012b1: PUSH1 0xa0
000012b3: SHL
000012b4: SUB
000012b5: NOT
000012b6: DUP4
000012b7: AND
000012b8: DUP2
000012b9: OR
000012ba: DUP5
000012bb: SSTORE
000012bc: PUSH1 0x40
000012be: MLOAD
000012bf: SWAP2
000012c0: SWAP1
000012c1: SWAP3
000012c2: AND
000012c3: SWAP3
000012c4: DUP4
000012c5: SWAP2
000012c6: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000012e7: SWAP2
000012e8: SWAP1
000012e9: LOG3
000012ea: POP
000012eb: POP
000012ec: JUMP
000012ed: JUMPDEST
000012ee: PUSH1 0x00
000012f0: PUSH2 0x04d7
000012f3: DUP3
000012f4: DUP5
000012f5: PUSH2 0x19a7
000012f8: JUMP
000012f9: JUMPDEST
000012fa: PUSH1 0x00
000012fc: PUSH2 0x04d7
000012ff: DUP3
00001300: DUP5
00001301: PUSH2 0x19c9
00001304: JUMP
00001305: JUMPDEST
00001306: PUSH1 0x00
00001308: PUSH2 0x135a
0000130b: DUP3
0000130c: PUSH1 0x40
0000130e: MLOAD
0000130f: DUP1
00001310: PUSH1 0x40
00001312: ADD
00001313: PUSH1 0x40
00001315: MSTORE
00001316: DUP1
00001317: PUSH1 0x20
00001319: DUP2
0000131a: MSTORE
0000131b: PUSH1 0x20
0000131d: ADD
0000131e: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
0000133f: DUP2
00001340: MSTORE
00001341: POP
00001342: DUP6
00001343: PUSH1 0x01
00001345: PUSH1 0x01
00001347: PUSH1 0xa0
00001349: SHL
0000134a: SUB
0000134b: AND
0000134c: PUSH2 0x13d7
0000134f: SWAP1
00001350: SWAP3
00001351: SWAP2
00001352: SWAP1
00001353: PUSH4 0xffffffff
00001358: AND
00001359: JUMP
0000135a: JUMPDEST
0000135b: DUP1
0000135c: MLOAD
0000135d: SWAP1
0000135e: SWAP2
0000135f: POP
00001360: ISZERO
00001361: PUSH2 0x114f
00001364: JUMPI
00001365: DUP1
00001366: DUP1
00001367: PUSH1 0x20
00001369: ADD
0000136a: SWAP1
0000136b: MLOAD
0000136c: DUP2
0000136d: ADD
0000136e: SWAP1
0000136f: PUSH2 0x1378
00001372: SWAP2
00001373: SWAP1
00001374: PUSH2 0x1754
00001377: JUMP
00001378: JUMPDEST
00001379: PUSH2 0x114f
0000137c: JUMPI
0000137d: PUSH1 0x40
0000137f: MLOAD
00001380: PUSH3 0x461bcd
00001384: PUSH1 0xe5
00001386: SHL
00001387: DUP2
00001388: MSTORE
00001389: PUSH1 0x20
0000138b: PUSH1 0x04
0000138d: DUP3
0000138e: ADD
0000138f: MSTORE
00001390: PUSH1 0x2a
00001392: PUSH1 0x24
00001394: DUP3
00001395: ADD
00001396: MSTORE
00001397: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
000013b8: PUSH1 0x44
000013ba: DUP3
000013bb: ADD
000013bc: MSTORE
000013bd: PUSH10 0x1bdd081cdd58d8d95959
000013c8: PUSH1 0xb2
000013ca: SHL
000013cb: PUSH1 0x64
000013cd: DUP3
000013ce: ADD
000013cf: MSTORE
000013d0: PUSH1 0x84
000013d2: ADD
000013d3: PUSH2 0x0157
000013d6: JUMP
000013d7: JUMPDEST
000013d8: PUSH1 0x60
000013da: PUSH2 0x13e6
000013dd: DUP5
000013de: DUP5
000013df: PUSH1 0x00
000013e1: DUP6
000013e2: PUSH2 0x13f0
000013e5: JUMP
000013e6: JUMPDEST
000013e7: SWAP1
000013e8: POP
000013e9: JUMPDEST
000013ea: SWAP4
000013eb: SWAP3
000013ec: POP
000013ed: POP
000013ee: POP
000013ef: JUMP
000013f0: JUMPDEST
000013f1: PUSH1 0x60
000013f3: DUP3
000013f4: SELFBALANCE
000013f5: LT
000013f6: ISZERO
000013f7: PUSH2 0x1451
000013fa: JUMPI
000013fb: PUSH1 0x40
000013fd: MLOAD
000013fe: PUSH3 0x461bcd
00001402: PUSH1 0xe5
00001404: SHL
00001405: DUP2
00001406: MSTORE
00001407: PUSH1 0x20
00001409: PUSH1 0x04
0000140b: DUP3
0000140c: ADD
0000140d: MSTORE
0000140e: PUSH1 0x26
00001410: PUSH1 0x24
00001412: DUP3
00001413: ADD
00001414: MSTORE
00001415: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
00001436: PUSH1 0x44
00001438: DUP3
00001439: ADD
0000143a: MSTORE
0000143b: PUSH6 0x1c8818d85b1b
00001442: PUSH1 0xd2
00001444: SHL
00001445: PUSH1 0x64
00001447: DUP3
00001448: ADD
00001449: MSTORE
0000144a: PUSH1 0x84
0000144c: ADD
0000144d: PUSH2 0x0157
00001450: JUMP
00001451: JUMPDEST
00001452: DUP5
00001453: EXTCODESIZE
00001454: PUSH2 0x149f
00001457: JUMPI
00001458: PUSH1 0x40
0000145a: MLOAD
0000145b: PUSH3 0x461bcd
0000145f: PUSH1 0xe5
00001461: SHL
00001462: DUP2
00001463: MSTORE
00001464: PUSH1 0x20
00001466: PUSH1 0x04
00001468: DUP3
00001469: ADD
0000146a: MSTORE
0000146b: PUSH1 0x1d
0000146d: PUSH1 0x24
0000146f: DUP3
00001470: ADD
00001471: MSTORE
00001472: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
00001493: PUSH1 0x44
00001495: DUP3
00001496: ADD
00001497: MSTORE
00001498: PUSH1 0x64
0000149a: ADD
0000149b: PUSH2 0x0157
0000149e: JUMP
0000149f: JUMPDEST
000014a0: PUSH1 0x00
000014a2: DUP1
000014a3: DUP7
000014a4: PUSH1 0x01
000014a6: PUSH1 0x01
000014a8: PUSH1 0xa0
000014aa: SHL
000014ab: SUB
000014ac: AND
000014ad: DUP6
000014ae: DUP8
000014af: PUSH1 0x40
000014b1: MLOAD
000014b2: PUSH2 0x14bb
000014b5: SWAP2
000014b6: SWAP1
000014b7: PUSH2 0x19e8
000014ba: JUMP
000014bb: JUMPDEST
000014bc: PUSH1 0x00
000014be: PUSH1 0x40
000014c0: MLOAD
000014c1: DUP1
000014c2: DUP4
000014c3: SUB
000014c4: DUP2
000014c5: DUP6
000014c6: DUP8
000014c7: GAS
000014c8: CALL
000014c9: SWAP3
000014ca: POP
000014cb: POP
000014cc: POP
000014cd: RETURNDATASIZE
000014ce: DUP1
000014cf: PUSH1 0x00
000014d1: DUP2
000014d2: EQ
000014d3: PUSH2 0x14f8
000014d6: JUMPI
000014d7: PUSH1 0x40
000014d9: MLOAD
000014da: SWAP2
000014db: POP
000014dc: PUSH1 0x1f
000014de: NOT
000014df: PUSH1 0x3f
000014e1: RETURNDATASIZE
000014e2: ADD
000014e3: AND
000014e4: DUP3
000014e5: ADD
000014e6: PUSH1 0x40
000014e8: MSTORE
000014e9: RETURNDATASIZE
000014ea: DUP3
000014eb: MSTORE
000014ec: RETURNDATASIZE
000014ed: PUSH1 0x00
000014ef: PUSH1 0x20
000014f1: DUP5
000014f2: ADD
000014f3: RETURNDATACOPY
000014f4: PUSH2 0x14fd
000014f7: JUMP
000014f8: JUMPDEST
000014f9: PUSH1 0x60
000014fb: SWAP2
000014fc: POP
000014fd: JUMPDEST
000014fe: POP
000014ff: SWAP2
00001500: POP
00001501: SWAP2
00001502: POP
00001503: PUSH2 0x150d
00001506: DUP3
00001507: DUP3
00001508: DUP7
00001509: PUSH2 0x1518
0000150c: JUMP
0000150d: JUMPDEST
0000150e: SWAP8
0000150f: SWAP7
00001510: POP
00001511: POP
00001512: POP
00001513: POP
00001514: POP
00001515: POP
00001516: POP
00001517: JUMP
00001518: JUMPDEST
00001519: PUSH1 0x60
0000151b: DUP4
0000151c: ISZERO
0000151d: PUSH2 0x1527
00001520: JUMPI
00001521: POP
00001522: DUP2
00001523: PUSH2 0x13e9
00001526: JUMP
00001527: JUMPDEST
00001528: DUP3
00001529: MLOAD
0000152a: ISZERO
0000152b: PUSH2 0x1537
0000152e: JUMPI
0000152f: DUP3
00001530: MLOAD
00001531: DUP1
00001532: DUP5
00001533: PUSH1 0x20
00001535: ADD
00001536: REVERT
00001537: JUMPDEST
00001538: DUP2
00001539: PUSH1 0x40
0000153b: MLOAD
0000153c: PUSH3 0x461bcd
00001540: PUSH1 0xe5
00001542: SHL
00001543: DUP2
00001544: MSTORE
00001545: PUSH1 0x04
00001547: ADD
00001548: PUSH2 0x0157
0000154b: SWAP2
0000154c: SWAP1
0000154d: PUSH2 0x16f3
00001550: JUMP
00001551: JUMPDEST
00001552: PUSH1 0x20
00001554: DUP1
00001555: DUP3
00001556: MSTORE
00001557: PUSH1 0x31
00001559: SWAP1
0000155a: DUP3
0000155b: ADD
0000155c: MSTORE
0000155d: PUSH32 0x416374697665506f6f6c3a2043616c6c6572206973206e65697468657220424f
0000157e: PUSH1 0x40
00001580: DUP3
00001581: ADD
00001582: MSTORE
00001583: PUSH17 0x081b9bdc88111959985d5b1d08141bdbdb
00001595: PUSH1 0x7a
00001597: SHL
00001598: PUSH1 0x60
0000159a: DUP3
0000159b: ADD
0000159c: MSTORE
0000159d: PUSH1 0x80
0000159f: ADD
000015a0: SWAP1
000015a1: JUMP
000015a2: JUMPDEST
000015a3: PUSH1 0x01
000015a5: PUSH1 0x01
000015a7: PUSH1 0xa0
000015a9: SHL
000015aa: SUB
000015ab: DUP2
000015ac: AND
000015ad: DUP2
000015ae: EQ
000015af: PUSH2 0x0f1e
000015b2: JUMPI
000015b3: PUSH1 0x00
000015b5: DUP1
000015b6: REVERT
000015b7: JUMPDEST
000015b8: PUSH1 0x00
000015ba: DUP1
000015bb: PUSH1 0x00
000015bd: PUSH1 0x60
000015bf: DUP5
000015c0: DUP7
000015c1: SUB
000015c2: SLT
000015c3: ISZERO
000015c4: PUSH2 0x15cc
000015c7: JUMPI
000015c8: PUSH1 0x00
000015ca: DUP1
000015cb: REVERT
000015cc: JUMPDEST
000015cd: DUP4
000015ce: CALLDATALOAD
000015cf: PUSH2 0x15d7
000015d2: DUP2
000015d3: PUSH2 0x15a2
000015d6: JUMP
000015d7: JUMPDEST
000015d8: SWAP3
000015d9: POP
000015da: PUSH1 0x20
000015dc: DUP5
000015dd: ADD
000015de: CALLDATALOAD
000015df: PUSH2 0x15e7
000015e2: DUP2
000015e3: PUSH2 0x15a2
000015e6: JUMP
000015e7: JUMPDEST
000015e8: SWAP3
000015e9: SWAP6
000015ea: SWAP3
000015eb: SWAP5
000015ec: POP
000015ed: POP
000015ee: POP
000015ef: PUSH1 0x40
000015f1: SWAP2
000015f2: SWAP1
000015f3: SWAP2
000015f4: ADD
000015f5: CALLDATALOAD
000015f6: SWAP1
000015f7: JUMP
000015f8: JUMPDEST
000015f9: PUSH1 0x00
000015fb: PUSH1 0x20
000015fd: DUP3
000015fe: DUP5
000015ff: SUB
00001600: SLT
00001601: ISZERO
00001602: PUSH2 0x160a
00001605: JUMPI
00001606: PUSH1 0x00
00001608: DUP1
00001609: REVERT
0000160a: JUMPDEST
0000160b: DUP2
0000160c: CALLDATALOAD
0000160d: PUSH2 0x13e9
00001610: DUP2
00001611: PUSH2 0x15a2
00001614: JUMP
00001615: JUMPDEST
00001616: PUSH1 0x00
00001618: DUP1
00001619: PUSH1 0x00
0000161b: DUP1
0000161c: PUSH1 0x00
0000161e: DUP1
0000161f: PUSH1 0xc0
00001621: DUP8
00001622: DUP10
00001623: SUB
00001624: SLT
00001625: ISZERO
00001626: PUSH2 0x162e
00001629: JUMPI
0000162a: PUSH1 0x00
0000162c: DUP1
0000162d: REVERT
0000162e: JUMPDEST
0000162f: DUP7
00001630: CALLDATALOAD
00001631: PUSH2 0x1639
00001634: DUP2
00001635: PUSH2 0x15a2
00001638: JUMP
00001639: JUMPDEST
0000163a: SWAP6
0000163b: POP
0000163c: PUSH1 0x20
0000163e: DUP8
0000163f: ADD
00001640: CALLDATALOAD
00001641: PUSH2 0x1649
00001644: DUP2
00001645: PUSH2 0x15a2
00001648: JUMP
00001649: JUMPDEST
0000164a: SWAP5
0000164b: POP
0000164c: PUSH1 0x40
0000164e: DUP8
0000164f: ADD
00001650: CALLDATALOAD
00001651: PUSH2 0x1659
00001654: DUP2
00001655: PUSH2 0x15a2
00001658: JUMP
00001659: JUMPDEST
0000165a: SWAP4
0000165b: POP
0000165c: PUSH1 0x60
0000165e: DUP8
0000165f: ADD
00001660: CALLDATALOAD
00001661: PUSH2 0x1669
00001664: DUP2
00001665: PUSH2 0x15a2
00001668: JUMP
00001669: JUMPDEST
0000166a: SWAP3
0000166b: POP
0000166c: PUSH1 0x80
0000166e: DUP8
0000166f: ADD
00001670: CALLDATALOAD
00001671: PUSH2 0x1679
00001674: DUP2
00001675: PUSH2 0x15a2
00001678: JUMP
00001679: JUMPDEST
0000167a: SWAP2
0000167b: POP
0000167c: PUSH1 0xa0
0000167e: DUP8
0000167f: ADD
00001680: CALLDATALOAD
00001681: PUSH2 0x1689
00001684: DUP2
00001685: PUSH2 0x15a2
00001688: JUMP
00001689: JUMPDEST
0000168a: DUP1
0000168b: SWAP2
0000168c: POP
0000168d: POP
0000168e: SWAP3
0000168f: SWAP6
00001690: POP
00001691: SWAP3
00001692: SWAP6
00001693: POP
00001694: SWAP3
00001695: SWAP6
00001696: JUMP
00001697: JUMPDEST
00001698: PUSH1 0x00
0000169a: DUP1
0000169b: PUSH1 0x40
0000169d: DUP4
0000169e: DUP6
0000169f: SUB
000016a0: SLT
000016a1: ISZERO
000016a2: PUSH2 0x16aa
000016a5: JUMPI
000016a6: PUSH1 0x00
000016a8: DUP1
000016a9: REVERT
000016aa: JUMPDEST
000016ab: DUP3
000016ac: CALLDATALOAD
000016ad: PUSH2 0x16b5
000016b0: DUP2
000016b1: PUSH2 0x15a2
000016b4: JUMP
000016b5: JUMPDEST
000016b6: SWAP5
000016b7: PUSH1 0x20
000016b9: SWAP4
000016ba: SWAP1
000016bb: SWAP4
000016bc: ADD
000016bd: CALLDATALOAD
000016be: SWAP4
000016bf: POP
000016c0: POP
000016c1: POP
000016c2: JUMP
000016c3: JUMPDEST
000016c4: PUSH1 0x00
000016c6: JUMPDEST
000016c7: DUP4
000016c8: DUP2
000016c9: LT
000016ca: ISZERO
000016cb: PUSH2 0x16de
000016ce: JUMPI
000016cf: DUP2
000016d0: DUP2
000016d1: ADD
000016d2: MLOAD
000016d3: DUP4
000016d4: DUP3
000016d5: ADD
000016d6: MSTORE
000016d7: PUSH1 0x20
000016d9: ADD
000016da: PUSH2 0x16c6
000016dd: JUMP
000016de: JUMPDEST
000016df: DUP4
000016e0: DUP2
000016e1: GT
000016e2: ISZERO
000016e3: PUSH2 0x16ed
000016e6: JUMPI
000016e7: PUSH1 0x00
000016e9: DUP5
000016ea: DUP5
000016eb: ADD
000016ec: MSTORE
000016ed: JUMPDEST
000016ee: POP
000016ef: POP
000016f0: POP
000016f1: POP
000016f2: JUMP
000016f3: JUMPDEST
000016f4: PUSH1 0x20
000016f6: DUP2
000016f7: MSTORE
000016f8: PUSH1 0x00
000016fa: DUP3
000016fb: MLOAD
000016fc: DUP1
000016fd: PUSH1 0x20
000016ff: DUP5
00001700: ADD
00001701: MSTORE
00001702: PUSH2 0x1712
00001705: DUP2
00001706: PUSH1 0x40
00001708: DUP6
00001709: ADD
0000170a: PUSH1 0x20
0000170c: DUP8
0000170d: ADD
0000170e: PUSH2 0x16c3
00001711: JUMP
00001712: JUMPDEST
00001713: PUSH1 0x1f
00001715: ADD
00001716: PUSH1 0x1f
00001718: NOT
00001719: AND
0000171a: SWAP2
0000171b: SWAP1
0000171c: SWAP2
0000171d: ADD
0000171e: PUSH1 0x40
00001720: ADD
00001721: SWAP3
00001722: SWAP2
00001723: POP
00001724: POP
00001725: JUMP
00001726: JUMPDEST
00001727: PUSH4 0x4e487b71
0000172c: PUSH1 0xe0
0000172e: SHL
0000172f: PUSH1 0x00
00001731: MSTORE
00001732: PUSH1 0x11
00001734: PUSH1 0x04
00001736: MSTORE
00001737: PUSH1 0x24
00001739: PUSH1 0x00
0000173b: REVERT
0000173c: JUMPDEST
0000173d: PUSH1 0x00
0000173f: DUP3
00001740: NOT
00001741: DUP3
00001742: GT
00001743: ISZERO
00001744: PUSH2 0x174f
00001747: JUMPI
00001748: PUSH2 0x174f
0000174b: PUSH2 0x1726
0000174e: JUMP
0000174f: JUMPDEST
00001750: POP
00001751: ADD
00001752: SWAP1
00001753: JUMP
00001754: JUMPDEST
00001755: PUSH1 0x00
00001757: PUSH1 0x20
00001759: DUP3
0000175a: DUP5
0000175b: SUB
0000175c: SLT
0000175d: ISZERO
0000175e: PUSH2 0x1766
00001761: JUMPI
00001762: PUSH1 0x00
00001764: DUP1
00001765: REVERT
00001766: JUMPDEST
00001767: DUP2
00001768: MLOAD
00001769: DUP1
0000176a: ISZERO
0000176b: ISZERO
0000176c: DUP2
0000176d: EQ
0000176e: PUSH2 0x13e9
00001771: JUMPI
00001772: PUSH1 0x00
00001774: DUP1
00001775: REVERT
00001776: JUMPDEST
00001777: PUSH1 0x20
00001779: DUP1
0000177a: DUP3
0000177b: MSTORE
0000177c: PUSH1 0x53
0000177e: SWAP1
0000177f: DUP3
00001780: ADD
00001781: MSTORE
00001782: PUSH32 0x416374697665506f6f6c3a2043616c6c6572206973206e65697468657220426f
000017a3: PUSH1 0x40
000017a5: DUP3
000017a6: ADD
000017a7: MSTORE
000017a8: PUSH32 0x72726f7765724f7065726174696f6e73206e6f722054726f76654d616e616765
000017c9: PUSH1 0x60
000017cb: DUP3
000017cc: ADD
000017cd: MSTORE
000017ce: PUSH19 0x1c881b9bdc8814dd18589a5b1a5d1e541bdbdb
000017e2: PUSH1 0x6a
000017e4: SHL
000017e5: PUSH1 0x80
000017e7: DUP3
000017e8: ADD
000017e9: MSTORE
000017ea: PUSH1 0xa0
000017ec: ADD
000017ed: SWAP1
000017ee: JUMP
000017ef: JUMPDEST
000017f0: PUSH1 0x00
000017f2: PUSH1 0x20
000017f4: DUP3
000017f5: DUP5
000017f6: SUB
000017f7: SLT
000017f8: ISZERO
000017f9: PUSH2 0x1801
000017fc: JUMPI
000017fd: PUSH1 0x00
000017ff: DUP1
00001800: REVERT
00001801: JUMPDEST
00001802: DUP2
00001803: MLOAD
00001804: PUSH2 0x13e9
00001807: DUP2
00001808: PUSH2 0x15a2
0000180b: JUMP
0000180c: JUMPDEST
0000180d: PUSH4 0x4e487b71
00001812: PUSH1 0xe0
00001814: SHL
00001815: PUSH1 0x00
00001817: MSTORE
00001818: PUSH1 0x01
0000181a: PUSH1 0x04
0000181c: MSTORE
0000181d: PUSH1 0x24
0000181f: PUSH1 0x00
00001821: REVERT
00001822: JUMPDEST
00001823: PUSH1 0x20
00001825: DUP1
00001826: DUP3
00001827: MSTORE
00001828: DUP2
00001829: DUP2
0000182a: ADD
0000182b: MSTORE
0000182c: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000184d: PUSH1 0x40
0000184f: DUP3
00001850: ADD
00001851: MSTORE
00001852: PUSH1 0x60
00001854: ADD
00001855: SWAP1
00001856: JUMP
00001857: JUMPDEST
00001858: PUSH1 0x00
0000185a: PUSH1 0x20
0000185c: DUP3
0000185d: DUP5
0000185e: SUB
0000185f: SLT
00001860: ISZERO
00001861: PUSH2 0x1869
00001864: JUMPI
00001865: PUSH1 0x00
00001867: DUP1
00001868: REVERT
00001869: JUMPDEST
0000186a: DUP2
0000186b: MLOAD
0000186c: PUSH1 0xff
0000186e: DUP2
0000186f: AND
00001870: DUP2
00001871: EQ
00001872: PUSH2 0x13e9
00001875: JUMPI
00001876: PUSH1 0x00
00001878: DUP1
00001879: REVERT
0000187a: JUMPDEST
0000187b: PUSH1 0x00
0000187d: PUSH1 0xff
0000187f: DUP3
00001880: AND
00001881: PUSH1 0xff
00001883: DUP5
00001884: AND
00001885: DUP1
00001886: DUP3
00001887: LT
00001888: ISZERO
00001889: PUSH2 0x1894
0000188c: JUMPI
0000188d: PUSH2 0x1894
00001890: PUSH2 0x1726
00001893: JUMP
00001894: JUMPDEST
00001895: SWAP1
00001896: SUB
00001897: SWAP4
00001898: SWAP3
00001899: POP
0000189a: POP
0000189b: POP
0000189c: JUMP
0000189d: JUMPDEST
0000189e: PUSH1 0x01
000018a0: DUP2
000018a1: DUP2
000018a2: JUMPDEST
000018a3: DUP1
000018a4: DUP6
000018a5: GT
000018a6: ISZERO
000018a7: PUSH2 0x18d8
000018aa: JUMPI
000018ab: DUP2
000018ac: PUSH1 0x00
000018ae: NOT
000018af: DIV
000018b0: DUP3
000018b1: GT
000018b2: ISZERO
000018b3: PUSH2 0x18be
000018b6: JUMPI
000018b7: PUSH2 0x18be
000018ba: PUSH2 0x1726
000018bd: JUMP
000018be: JUMPDEST
000018bf: DUP1
000018c0: DUP6
000018c1: AND
000018c2: ISZERO
000018c3: PUSH2 0x18cb
000018c6: JUMPI
000018c7: SWAP2
000018c8: DUP2
000018c9: MUL
000018ca: SWAP2
000018cb: JUMPDEST
000018cc: SWAP4
000018cd: DUP5
000018ce: SHR
000018cf: SWAP4
000018d0: SWAP1
000018d1: DUP1
000018d2: MUL
000018d3: SWAP1
000018d4: PUSH2 0x18a2
000018d7: JUMP
000018d8: JUMPDEST
000018d9: POP
000018da: SWAP3
000018db: POP
000018dc: SWAP3
000018dd: SWAP1
000018de: POP
000018df: JUMP
000018e0: JUMPDEST
000018e1: PUSH1 0x00
000018e3: DUP3
000018e4: PUSH2 0x18ef
000018e7: JUMPI
000018e8: POP
000018e9: PUSH1 0x01
000018eb: PUSH2 0x04da
000018ee: JUMP
000018ef: JUMPDEST
000018f0: DUP2
000018f1: PUSH2 0x18fc
000018f4: JUMPI
000018f5: POP
000018f6: PUSH1 0x00
000018f8: PUSH2 0x04da
000018fb: JUMP
000018fc: JUMPDEST
000018fd: DUP2
000018fe: PUSH1 0x01
00001900: DUP2
00001901: EQ
00001902: PUSH2 0x1912
00001905: JUMPI
00001906: PUSH1 0x02
00001908: DUP2
00001909: EQ
0000190a: PUSH2 0x191c
0000190d: JUMPI
0000190e: PUSH2 0x1938
00001911: JUMP
00001912: JUMPDEST
00001913: PUSH1 0x01
00001915: SWAP2
00001916: POP
00001917: POP
00001918: PUSH2 0x04da
0000191b: JUMP
0000191c: JUMPDEST
0000191d: PUSH1 0xff
0000191f: DUP5
00001920: GT
00001921: ISZERO
00001922: PUSH2 0x192d
00001925: JUMPI
00001926: PUSH2 0x192d
00001929: PUSH2 0x1726
0000192c: JUMP
0000192d: JUMPDEST
0000192e: POP
0000192f: POP
00001930: PUSH1 0x01
00001932: DUP3
00001933: SHL
00001934: PUSH2 0x04da
00001937: JUMP
00001938: JUMPDEST
00001939: POP
0000193a: PUSH1 0x20
0000193c: DUP4
0000193d: LT
0000193e: PUSH2 0x0133
00001941: DUP4
00001942: LT
00001943: AND
00001944: PUSH1 0x4e
00001946: DUP5
00001947: LT
00001948: PUSH1 0x0b
0000194a: DUP5
0000194b: LT
0000194c: AND
0000194d: OR
0000194e: ISZERO
0000194f: PUSH2 0x195b
00001952: JUMPI
00001953: POP
00001954: DUP2
00001955: DUP2
00001956: EXP
00001957: PUSH2 0x04da
0000195a: JUMP
0000195b: JUMPDEST
0000195c: PUSH2 0x1965
0000195f: DUP4
00001960: DUP4
00001961: PUSH2 0x189d
00001964: JUMP
00001965: JUMPDEST
00001966: DUP1
00001967: PUSH1 0x00
00001969: NOT
0000196a: DIV
0000196b: DUP3
0000196c: GT
0000196d: ISZERO
0000196e: PUSH2 0x1979
00001971: JUMPI
00001972: PUSH2 0x1979
00001975: PUSH2 0x1726
00001978: JUMP
00001979: JUMPDEST
0000197a: MUL
0000197b: SWAP4
0000197c: SWAP3
0000197d: POP
0000197e: POP
0000197f: POP
00001980: JUMP
00001981: JUMPDEST
00001982: PUSH1 0x00
00001984: PUSH2 0x04d7
00001987: PUSH1 0xff
00001989: DUP5
0000198a: AND
0000198b: DUP4
0000198c: PUSH2 0x18e0
0000198f: JUMP
00001990: JUMPDEST
00001991: PUSH1 0x00
00001993: DUP3
00001994: DUP3
00001995: LT
00001996: ISZERO
00001997: PUSH2 0x19a2
0000199a: JUMPI
0000199b: PUSH2 0x19a2
0000199e: PUSH2 0x1726
000019a1: JUMP
000019a2: JUMPDEST
000019a3: POP
000019a4: SUB
000019a5: SWAP1
000019a6: JUMP
000019a7: JUMPDEST
000019a8: PUSH1 0x00
000019aa: DUP3
000019ab: PUSH2 0x19c4
000019ae: JUMPI
000019af: PUSH4 0x4e487b71
000019b4: PUSH1 0xe0
000019b6: SHL
000019b7: PUSH1 0x00
000019b9: MSTORE
000019ba: PUSH1 0x12
000019bc: PUSH1 0x04
000019be: MSTORE
000019bf: PUSH1 0x24
000019c1: PUSH1 0x00
000019c3: REVERT
000019c4: JUMPDEST
000019c5: POP
000019c6: DIV
000019c7: SWAP1
000019c8: JUMP
000019c9: JUMPDEST
000019ca: PUSH1 0x00
000019cc: DUP2
000019cd: PUSH1 0x00
000019cf: NOT
000019d0: DIV
000019d1: DUP4
000019d2: GT
000019d3: DUP3
000019d4: ISZERO
000019d5: ISZERO
000019d6: AND
000019d7: ISZERO
000019d8: PUSH2 0x19e3
000019db: JUMPI
000019dc: PUSH2 0x19e3
000019df: PUSH2 0x1726
000019e2: JUMP
000019e3: JUMPDEST
000019e4: POP
000019e5: MUL
000019e6: SWAP1
000019e7: JUMP
000019e8: JUMPDEST
000019e9: PUSH1 0x00
000019eb: DUP3
000019ec: MLOAD
000019ed: PUSH2 0x19fa
000019f0: DUP2
000019f1: DUP5
000019f2: PUSH1 0x20
000019f4: DUP8
000019f5: ADD
000019f6: PUSH2 0x16c3
000019f9: JUMP
000019fa: JUMPDEST
000019fb: SWAP2
000019fc: SWAP1
000019fd: SWAP2
000019fe: ADD
000019ff: SWAP3
00001a00: SWAP2
00001a01: POP
00001a02: POP
00001a03: JUMP
00001a04: INVALID
00001a05: LOG2
00001a06: PUSH5 0x6970667358
00001a0c: UNKNOWN(0x22)
00001a0d: SLT
00001a0e: KECCAK256
00001a0f: UNKNOWN(0xB7)
00001a10: UNKNOWN(0xC9)
00001a11: UNKNOWN(0xDC)
00001a12: UNKNOWN(0xF8)
00001a13: SWAP7
00001a14: MCOPY
00001a15: DUP3
00001a16: INVALID
00001a17: DIFFICULTY
00001a18: CALLDATASIZE
00001a19: DUP15
00001a1a: BLOBHASH
00001a1b: UNKNOWN(0xC4)
00001a1c: EXTCODECOPY
00001a1d: PUSH3 0xc84c86
00001a21: CALLVALUE
00001a22: PUSH6 0x074dbdfbb9ee
00001a29: CODECOPY
00001a2a: PUSH26