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-1qduo3xs)
'forge config --json' running
'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-1qduo3xs)
'forge' returned non-zero exit code 1
2026-01-12T03:32:47.934397Z ERROR foundry_compilers_artifacts_solc::sources: error="/tmp/slither-1qduo3xs/lib/openzeppelin-contracts/contracts/security/ReentrancyGuard.sol": No such file or directory (os error 2)
stdout: Unable to resolve imports:
stdout:       "@openzeppelin/contracts/security/ReentrancyGuard.sol" in "/tmp/slither-1qduo3xs/src/contracts/tokens/yieldTHOR.sol"
stdout: with remappings:
stdout:       openzeppelin-contracts/=/tmp/slither-1qduo3xs/lib/openzeppelin-contracts/
stdout:       @openzeppelin/contracts/=/tmp/slither-1qduo3xs/lib/openzeppelin-contracts/contracts/
Error: Encountered invalid solc version in lib/openzeppelin-contracts/contracts/token/ERC20/ERC20.sol: No solc version exists that matches the version requirement: ^0.8.20
stderr: Encountered invalid solc version in lib/openzeppelin-contracts/contracts/token/ERC20/ERC20.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-1qduo3xs/out/build-info is not a directory.

{"no_findings":true,"summary":"Reviewed first-party contracts in `src/contracts/tokens/`; no exploitable issues found within the requested categories. Logic is straightforward ERC20 share mint/burn with reward accounting and nonReentrant protection on external token transfers.","findings":[]}

OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-d0gutv_0
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019bb010-c7f3-7732-838e-60222403c959
--------
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
**Preparing to read instructions and audit file**
exec
/bin/bash -lc ls in /tmp/codex-d0gutv_0 succeeded in 6ms:
AUDIT_BUNDLE.txt
codex-output-schema.json
@openzeppelin
src
exec
/bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-d0gutv_0 succeeded in 5ms:
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: src/contracts/tokens/uTHOR.sol
================================================================================
// SPDX-License-Identifier: MIT
pragma solidity ^0.8.17;

import {yieldTHOR} from "./yieldTHOR.sol";

contract uTHOR is yieldTHOR {
    constructor(
        address asset,
        address reward
    ) yieldTHOR("UsdcTHOR", "uTHOR", asset, reward) {}
}

================================================================================
FILE: src/contracts/tokens/yieldTHOR.sol



thinking
**Identifying reward accounting and rounding risks**

I'm auditing yieldTHOR's ERC20 share token logic, focusing on how asset balances and rewards are tracked. The contract treats totalAssets as totalSupply 1:1, which ignores direct asset transfers or fee-on-transfer tokens, risking share price inaccuracies or insolvency. The rewardDebt accounting uses int256 with floor-based rounding, which can cause rewardDebt to exceed accumulated rewards due to subtle rounding mismatches, leading to negative pending rewards that underflow to huge uint256 values and may block claims. While reentrancy protections cover most cases, potential issues with fee-on-transfer tokens and rounding edge cases remain tricky and can cause denial-of-service scenarios or accounting inconsistencies but likely not direct exploits. Overall, this looks like a complex but mostly known risk pattern rooted in integer rounding and token behavior assumptions.
thinking
**Analyzing integer conversions and rewardDebt behavior**

I'm examining how Solidity handles conversions between signed and unsigned integers in reward calculations, confirming that explicit casts wrap without revert, which can cause huge pending reward values due to two's complement wrapping. The code's use of int256 for rewardDebt allows negative values deliberately to track owed rewards after shares are transferred out, enabling correct claims post-transfer. I’m also checking if large accRewardPerShare values could overflow int256 conversions but find these scenarios unlikely in practice. The rounding and rewardDebt adjustment mechanisms appear to handle edge cases gracefully, with minor rounding discrepancies not causing major issues. Overall, negative rewardDebt is an intended design to allow claiming after share transfers, and no unsafe integer overflows or unchecked external calls seem apparent here.
thinking
**Preparing final assessment report**

I'm wrapping up the audit with a careful review of potential minting and reentrancy scenarios, including ERC777 token behaviors, and confirming no exploitable issues stand out. Now I’ll produce a concise JSON summary stating no findings, with a brief overview of my focus and conclusions.
codex
{"no_findings":true,"summary":"Reviewed first-party contracts in `src/contracts/tokens/`; no exploitable issues found within the requested categories. Logic is straightforward ERC20 share mint/burn with reward accounting and nonReentrant protection on external token transfers.","findings":[]}
tokens used
19,453

{
    "codex": {
        "ran_at": "2026-01-12T02:40:18.662395+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "source",
        "file_count": 10,
        "import_count": 11,
        "first_party_contracts_count": 2
    },
    "summary": "Reviewed first-party contracts in `src/contracts/tokens/`; no exploitable issues found within the requested categories. Logic is straightforward ERC20 share mint/burn with reward accounting and nonReentrant protection on external token transfers.",
    "raw_final": {
        "summary": "Reviewed first-party contracts in `src/contracts/tokens/`; no exploitable issues found within the requested categories. Logic is straightforward ERC20 share mint/burn with reward accounting and nonReentrant protection on external token transfers.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: DUP2
00000005: DUP2
00000006: MSTORE
00000007: PUSH1 0x04
00000009: SWAP1
0000000a: DUP2
0000000b: CALLDATASIZE
0000000c: LT
0000000d: ISZERO
0000000e: PUSH2 0x0016
00000011: JUMPI
00000012: PUSH1 0x00
00000014: DUP1
00000015: REVERT
00000016: JUMPDEST
00000017: PUSH1 0x00
00000019: SWAP2
0000001a: DUP3
0000001b: CALLDATALOAD
0000001c: PUSH1 0xe0
0000001e: SHR
0000001f: SWAP4
00000020: DUP5
00000021: PUSH4 0x01e1d114
00000026: EQ
00000027: PUSH2 0x09dc
0000002a: JUMPI
0000002b: POP
0000002c: DUP4
0000002d: PUSH4 0x06fdde03
00000032: EQ
00000033: PUSH2 0x08e3
00000036: JUMPI
00000037: DUP4
00000038: PUSH4 0x07a2d13a
0000003d: EQ
0000003e: PUSH2 0x0192
00000041: JUMPI
00000042: DUP4
00000043: PUSH4 0x095ea7b3
00000048: EQ
00000049: PUSH2 0x08ba
0000004c: JUMPI
0000004d: DUP4
0000004e: PUSH4 0x0a28a477
00000053: EQ
00000054: PUSH2 0x0192
00000057: JUMPI
00000058: DUP4
00000059: PUSH4 0x18160ddd
0000005e: EQ
0000005f: PUSH2 0x089c
00000062: JUMPI
00000063: DUP4
00000064: PUSH4 0x228cb733
00000069: EQ
0000006a: PUSH2 0x0859
0000006d: JUMPI
0000006e: DUP4
0000006f: PUSH4 0x23b872dd
00000074: EQ
00000075: PUSH2 0x0790
00000078: JUMPI
00000079: DUP4
0000007a: PUSH4 0x313ce567
0000007f: EQ
00000080: PUSH2 0x0775
00000083: JUMPI
00000084: DUP4
00000085: PUSH4 0x372500ab
0000008a: EQ
0000008b: PUSH2 0x06b9
0000008e: JUMPI
0000008f: DUP4
00000090: PUSH4 0x38d52e0f
00000095: EQ
00000096: PUSH2 0x0676
00000099: JUMPI
0000009a: DUP4
0000009b: PUSH4 0x39509351
000000a0: EQ
000000a1: PUSH2 0x0627
000000a4: JUMPI
000000a5: DUP4
000000a6: PUSH4 0x402914f5
000000ab: EQ
000000ac: PUSH2 0x05ca
000000af: JUMPI
000000b0: DUP4
000000b1: PUSH4 0x402d267d
000000b6: EQ
000000b7: PUSH2 0x01e7
000000ba: JUMPI
000000bb: DUP4
000000bc: PUSH4 0x4cdad506
000000c1: EQ
000000c2: PUSH2 0x0192
000000c5: JUMPI
000000c6: DUP4
000000c7: PUSH4 0x5873eb9b
000000cc: EQ
000000cd: PUSH2 0x0593
000000d0: JUMPI
000000d1: DUP4
000000d2: PUSH4 0x6e553f65
000000d7: EQ
000000d8: PUSH2 0x03f4
000000db: JUMPI
000000dc: DUP4
000000dd: PUSH4 0x70a08231
000000e2: EQ
000000e3: PUSH2 0x0551
000000e6: JUMPI
000000e7: DUP4
000000e8: PUSH4 0x8bdf67f2
000000ed: EQ
000000ee: PUSH2 0x0441
000000f1: JUMPI
000000f2: DUP4
000000f3: PUSH4 0x939d6237
000000f8: EQ
000000f9: PUSH2 0x0423
000000fc: JUMPI
000000fd: DUP4
000000fe: PUSH4 0x94bf804d
00000103: EQ
00000104: PUSH2 0x03f4
00000107: JUMPI
00000108: DUP4
00000109: PUSH4 0x95d89b41
0000010e: EQ
0000010f: PUSH2 0x02ef
00000112: JUMPI
00000113: DUP4
00000114: PUSH4 0xa457c2d7
00000119: EQ
0000011a: PUSH2 0x0249
0000011d: JUMPI
0000011e: POP
0000011f: DUP3
00000120: PUSH4 0xa9059cbb
00000125: EQ
00000126: PUSH2 0x021a
00000129: JUMPI
0000012a: DUP3
0000012b: PUSH4 0xb3d7f6b9
00000130: EQ
00000131: PUSH2 0x0192
00000134: JUMPI
00000135: DUP3
00000136: PUSH4 0xb460af94
0000013b: EQ
0000013c: PUSH2 0x01ec
0000013f: JUMPI
00000140: DUP3
00000141: PUSH4 0xba087652
00000146: EQ
00000147: PUSH2 0x01ec
0000014a: JUMPI
0000014b: DUP3
0000014c: PUSH4 0xc63d75b6
00000151: EQ
00000152: PUSH2 0x01e7
00000155: JUMPI
00000156: DUP3
00000157: PUSH4 0xc6e6f592
0000015c: EQ
0000015d: PUSH2 0x0192
00000160: JUMPI
00000161: DUP3
00000162: PUSH4 0xce96cb77
00000167: EQ
00000168: PUSH2 0x01e2
0000016b: JUMPI
0000016c: DUP3
0000016d: PUSH4 0xd905777e
00000172: EQ
00000173: PUSH2 0x01e2
00000176: JUMPI
00000177: DUP3
00000178: PUSH4 0xdd62ed3e
0000017d: EQ
0000017e: PUSH2 0x0197
00000181: JUMPI
00000182: POP
00000183: POP
00000184: PUSH4 0xef8b30f7
00000189: EQ
0000018a: PUSH2 0x0192
0000018d: JUMPI
0000018e: PUSH1 0x00
00000190: DUP1
00000191: REVERT
00000192: JUMPDEST
00000193: PUSH2 0x0a41
00000196: JUMP
00000197: JUMPDEST
00000198: CALLVALUE
00000199: PUSH2 0x01de
0000019c: JUMPI
0000019d: DUP1
0000019e: PUSH1 0x03
000001a0: NOT
000001a1: CALLDATASIZE
000001a2: ADD
000001a3: SLT
000001a4: PUSH2 0x01de
000001a7: JUMPI
000001a8: DUP1
000001a9: PUSH1 0x20
000001ab: SWAP3
000001ac: PUSH2 0x01b3
000001af: PUSH2 0x0a63
000001b2: JUMP
000001b3: JUMPDEST
000001b4: PUSH2 0x01bb
000001b7: PUSH2 0x0a79
000001ba: JUMP
000001bb: JUMPDEST
000001bc: PUSH1 0x01
000001be: PUSH1 0x01
000001c0: PUSH1 0xa0
000001c2: SHL
000001c3: SUB
000001c4: SWAP2
000001c5: DUP3
000001c6: AND
000001c7: DUP4
000001c8: MSTORE
000001c9: PUSH1 0x01
000001cb: DUP7
000001cc: MSTORE
000001cd: DUP4
000001ce: DUP4
000001cf: KECCAK256
000001d0: SWAP2
000001d1: AND
000001d2: DUP3
000001d3: MSTORE
000001d4: DUP5
000001d5: MSTORE
000001d6: KECCAK256
000001d7: SLOAD
000001d8: SWAP1
000001d9: MLOAD
000001da: SWAP1
000001db: DUP2
000001dc: MSTORE
000001dd: RETURN
000001de: JUMPDEST
000001df: POP
000001e0: DUP1
000001e1: REVERT
000001e2: JUMPDEST
000001e3: PUSH2 0x0aea
000001e6: JUMP
000001e7: JUMPDEST
000001e8: PUSH2 0x0a8f
000001eb: JUMP
000001ec: JUMPDEST
000001ed: CALLVALUE
000001ee: PUSH2 0x01de
000001f1: JUMPI
000001f2: PUSH1 0x20
000001f4: SWAP1
000001f5: PUSH2 0x020e
000001f8: PUSH2 0x0200
000001fb: CALLDATASIZE
000001fc: PUSH2 0x0ab5
000001ff: JUMP
00000200: JUMPDEST
00000201: SWAP2
00000202: PUSH2 0x0209
00000205: PUSH2 0x1219
00000208: JUMP
00000209: JUMPDEST
0000020a: PUSH2 0x0cf9
0000020d: JUMP
0000020e: JUMPDEST
0000020f: SWAP1
00000210: PUSH1 0x01
00000212: PUSH1 0x05
00000214: SSTORE
00000215: MLOAD
00000216: SWAP1
00000217: DUP2
00000218: MSTORE
00000219: RETURN
0000021a: JUMPDEST
0000021b: CALLVALUE
0000021c: PUSH2 0x01de
0000021f: JUMPI
00000220: DUP1
00000221: PUSH1 0x03
00000223: NOT
00000224: CALLDATASIZE
00000225: ADD
00000226: SLT
00000227: PUSH2 0x01de
0000022a: JUMPI
0000022b: PUSH1 0x20
0000022d: SWAP1
0000022e: PUSH2 0x0242
00000231: PUSH2 0x0238
00000234: PUSH2 0x0a63
00000237: JUMP
00000238: JUMPDEST
00000239: PUSH1 0x24
0000023b: CALLDATALOAD
0000023c: SWAP1
0000023d: CALLER
0000023e: PUSH2 0x1041
00000241: JUMP
00000242: JUMPDEST
00000243: MLOAD
00000244: PUSH1 0x01
00000246: DUP2
00000247: MSTORE
00000248: RETURN
00000249: JUMPDEST
0000024a: DUP3
0000024b: CALLVALUE
0000024c: PUSH2 0x02ec
0000024f: JUMPI
00000250: DUP3
00000251: PUSH1 0x03
00000253: NOT
00000254: CALLDATASIZE
00000255: ADD
00000256: SLT
00000257: PUSH2 0x02ec
0000025a: JUMPI
0000025b: PUSH2 0x0262
0000025e: PUSH2 0x0a63
00000261: JUMP
00000262: JUMPDEST
00000263: SWAP2
00000264: DUP4
00000265: PUSH1 0x24
00000267: CALLDATALOAD
00000268: SWAP3
00000269: CALLER
0000026a: DUP2
0000026b: MSTORE
0000026c: PUSH1 0x01
0000026e: PUSH1 0x20
00000270: MSTORE
00000271: DUP2
00000272: DUP2
00000273: KECCAK256
00000274: PUSH1 0x01
00000276: DUP1
00000277: PUSH1 0xa0
00000279: SHL
0000027a: SUB
0000027b: DUP7
0000027c: AND
0000027d: DUP3
0000027e: MSTORE
0000027f: PUSH1 0x20
00000281: MSTORE
00000282: KECCAK256
00000283: SLOAD
00000284: SWAP1
00000285: DUP3
00000286: DUP3
00000287: LT
00000288: PUSH2 0x029b
0000028b: JUMPI
0000028c: PUSH1 0x20
0000028e: DUP6
0000028f: PUSH2 0x0242
00000292: DUP6
00000293: DUP6
00000294: SUB
00000295: DUP8
00000296: CALLER
00000297: PUSH2 0x0f3f
0000029a: JUMP
0000029b: JUMPDEST
0000029c: PUSH1 0x84
0000029e: SWAP1
0000029f: PUSH1 0x20
000002a1: DUP7
000002a2: MLOAD
000002a3: SWAP2
000002a4: PUSH3 0x461bcd
000002a8: PUSH1 0xe5
000002aa: SHL
000002ab: DUP4
000002ac: MSTORE
000002ad: DUP3
000002ae: ADD
000002af: MSTORE
000002b0: PUSH1 0x25
000002b2: PUSH1 0x24
000002b4: DUP3
000002b5: ADD
000002b6: MSTORE
000002b7: PUSH32 0x45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77
000002d8: PUSH1 0x44
000002da: DUP3
000002db: ADD
000002dc: MSTORE
000002dd: PUSH5 0x207a65726f
000002e3: PUSH1 0xd8
000002e5: SHL
000002e6: PUSH1 0x64
000002e8: DUP3
000002e9: ADD
000002ea: MSTORE
000002eb: REVERT
000002ec: JUMPDEST
000002ed: DUP1
000002ee: REVERT
000002ef: JUMPDEST
000002f0: SWAP3
000002f1: POP
000002f2: CALLVALUE
000002f3: PUSH2 0x01de
000002f6: JUMPI
000002f7: DUP2
000002f8: PUSH1 0x03
000002fa: NOT
000002fb: CALLDATASIZE
000002fc: ADD
000002fd: SLT
000002fe: PUSH2 0x01de
00000301: JUMPI
00000302: DUP1
00000303: MLOAD
00000304: SWAP2
00000305: DUP1
00000306: SWAP4
00000307: DUP1
00000308: SLOAD
00000309: SWAP2
0000030a: PUSH1 0x01
0000030c: SWAP1
0000030d: DUP4
0000030e: PUSH1 0x01
00000310: SHR
00000311: SWAP3
00000312: PUSH1 0x01
00000314: DUP6
00000315: AND
00000316: SWAP5
00000317: DUP6
00000318: ISZERO
00000319: PUSH2 0x03ea
0000031c: JUMPI
0000031d: JUMPDEST
0000031e: PUSH1 0x20
00000320: SWAP6
00000321: DUP7
00000322: DUP7
00000323: LT
00000324: DUP2
00000325: EQ
00000326: PUSH2 0x03d7
00000329: JUMPI
0000032a: DUP6
0000032b: DUP10
0000032c: MSTORE
0000032d: SWAP1
0000032e: DUP2
0000032f: ISZERO
00000330: PUSH2 0x03b3
00000333: JUMPI
00000334: POP
00000335: PUSH1 0x01
00000337: EQ
00000338: PUSH2 0x035b
0000033b: JUMPI
0000033c: JUMPDEST
0000033d: PUSH2 0x0357
00000340: DUP8
00000341: DUP8
00000342: PUSH2 0x034d
00000345: DUP3
00000346: DUP13
00000347: SUB
00000348: DUP4
00000349: PUSH2 0x0b10
0000034c: JUMP
0000034d: JUMPDEST
0000034e: MLOAD
0000034f: SWAP2
00000350: DUP3
00000351: SWAP2
00000352: DUP3
00000353: PUSH2 0x09f8
00000356: JUMP
00000357: JUMPDEST
00000358: SUB
00000359: SWAP1
0000035a: RETURN
0000035b: JUMPDEST
0000035c: DUP2
0000035d: MSTORE
0000035e: SWAP3
0000035f: SWAP6
00000360: POP
00000361: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19b
00000382: JUMPDEST
00000383: DUP3
00000384: DUP5
00000385: LT
00000386: PUSH2 0x03a0
00000389: JUMPI
0000038a: POP
0000038b: POP
0000038c: POP
0000038d: DUP3
0000038e: PUSH2 0x0357
00000391: SWAP5
00000392: PUSH2 0x034d
00000395: SWAP3
00000396: DUP3
00000397: ADD
00000398: ADD
00000399: SWAP5
0000039a: CODESIZE
0000039b: DUP1
0000039c: PUSH2 0x033c
0000039f: JUMP
000003a0: JUMPDEST
000003a1: DUP1
000003a2: SLOAD
000003a3: DUP7
000003a4: DUP6
000003a5: ADD
000003a6: DUP9
000003a7: ADD
000003a8: MSTORE
000003a9: SWAP3
000003aa: DUP7
000003ab: ADD
000003ac: SWAP3
000003ad: DUP2
000003ae: ADD
000003af: PUSH2 0x0382
000003b2: JUMP
000003b3: JUMPDEST
000003b4: PUSH1 0xff
000003b6: NOT
000003b7: AND
000003b8: DUP9
000003b9: DUP8
000003ba: ADD
000003bb: MSTORE
000003bc: POP
000003bd: POP
000003be: POP
000003bf: POP
000003c0: ISZERO
000003c1: ISZERO
000003c2: PUSH1 0x05
000003c4: SHL
000003c5: DUP4
000003c6: ADD
000003c7: ADD
000003c8: SWAP3
000003c9: POP
000003ca: PUSH2 0x034d
000003cd: DUP3
000003ce: PUSH2 0x0357
000003d1: CODESIZE
000003d2: DUP1
000003d3: PUSH2 0x033c
000003d6: JUMP
000003d7: JUMPDEST
000003d8: PUSH4 0x4e487b71
000003dd: PUSH1 0xe0
000003df: SHL
000003e0: DUP5
000003e1: MSTORE
000003e2: PUSH1 0x22
000003e4: DUP4
000003e5: MSTORE
000003e6: PUSH1 0x24
000003e8: DUP5
000003e9: REVERT
000003ea: JUMPDEST
000003eb: SWAP4
000003ec: PUSH1 0x7f
000003ee: AND
000003ef: SWAP4
000003f0: PUSH2 0x031d
000003f3: JUMP
000003f4: JUMPDEST
000003f5: SWAP2
000003f6: CALLVALUE
000003f7: PUSH2 0x02ec
000003fa: JUMPI
000003fb: DUP2
000003fc: PUSH1 0x03
000003fe: NOT
000003ff: CALLDATASIZE
00000400: ADD
00000401: SLT
00000402: PUSH2 0x02ec
00000405: JUMPI
00000406: POP
00000407: PUSH2 0x020e
0000040a: PUSH1 0x20
0000040c: SWAP3
0000040d: PUSH2 0x0414
00000410: PUSH2 0x0a79
00000413: JUMP
00000414: JUMPDEST
00000415: SWAP1
00000416: PUSH2 0x041d
00000419: PUSH2 0x1219
0000041c: JUMP
0000041d: JUMPDEST
0000041e: CALLDATALOAD
0000041f: PUSH2 0x0b97
00000422: JUMP
00000423: JUMPDEST
00000424: POP
00000425: CALLVALUE
00000426: PUSH2 0x01de
00000429: JUMPI
0000042a: DUP2
0000042b: PUSH1 0x03
0000042d: NOT
0000042e: CALLDATASIZE
0000042f: ADD
00000430: SLT
00000431: PUSH2 0x01de
00000434: JUMPI
00000435: PUSH1 0x20
00000437: SWAP1
00000438: PUSH1 0x06
0000043a: SLOAD
0000043b: SWAP1
0000043c: MLOAD
0000043d: SWAP1
0000043e: DUP2
0000043f: MSTORE
00000440: RETURN
00000441: JUMPDEST
00000442: SWAP3
00000443: POP
00000444: CALLVALUE
00000445: PUSH2 0x01de
00000448: JUMPI
00000449: PUSH1 0x20
0000044b: CALLDATASIZE
0000044c: PUSH1 0x03
0000044e: NOT
0000044f: ADD
00000450: SLT
00000451: PUSH2 0x01de
00000454: JUMPI
00000455: DUP3
00000456: CALLDATALOAD
00000457: SWAP1
00000458: PUSH2 0x045f
0000045b: PUSH2 0x1219
0000045e: JUMP
0000045f: JUMPDEST
00000460: PUSH1 0x02
00000462: SLOAD
00000463: ISZERO
00000464: PUSH2 0x0523
00000467: JUMPI
00000468: PUSH2 0x0493
0000046b: DUP3
0000046c: ADDRESS
0000046d: CALLER
0000046e: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
0000048f: PUSH2 0x12c1
00000492: JUMP
00000493: JUMPDEST
00000494: PUSH1 0x06
00000496: SLOAD
00000497: PUSH10 0xd3c21bcecceda1000000
000004a2: DUP1
000004a3: DUP5
000004a4: MUL
000004a5: SWAP1
000004a6: DUP5
000004a7: DUP3
000004a8: DIV
000004a9: EQ
000004aa: DUP5
000004ab: ISZERO
000004ac: OR
000004ad: ISZERO
000004ae: PUSH2 0x0510
000004b1: JUMPI
000004b2: PUSH1 0x02
000004b4: SLOAD
000004b5: SWAP1
000004b6: DUP2
000004b7: ISZERO
000004b8: PUSH2 0x04fd
000004bb: JUMPI
000004bc: PUSH32 0x4e9221f2cca6ca0397acc6004ea0b716798254f5abcf53924fab34f0373e5d4e
000004dd: SWAP5
000004de: SWAP3
000004df: PUSH1 0x20
000004e1: SWAP5
000004e2: SWAP3
000004e3: PUSH2 0x04ed
000004e6: SWAP3
000004e7: DIV
000004e8: SWAP1
000004e9: PUSH2 0x0b8a
000004ec: JUMP
000004ed: JUMPDEST
000004ee: PUSH1 0x06
000004f0: SSTORE
000004f1: MLOAD
000004f2: SWAP1
000004f3: DUP2
000004f4: MSTORE
000004f5: LOG1
000004f6: PUSH1 0x01
000004f8: PUSH1 0x05
000004fa: SSTORE
000004fb: DUP1
000004fc: RETURN
000004fd: JUMPDEST
000004fe: PUSH4 0x4e487b71
00000503: PUSH1 0xe0
00000505: SHL
00000506: DUP7
00000507: MSTORE
00000508: PUSH1 0x12
0000050a: DUP8
0000050b: MSTORE
0000050c: PUSH1 0x24
0000050e: DUP7
0000050f: REVERT
00000510: JUMPDEST
00000511: PUSH4 0x4e487b71
00000516: PUSH1 0xe0
00000518: SHL
00000519: DUP6
0000051a: MSTORE
0000051b: PUSH1 0x11
0000051d: DUP7
0000051e: MSTORE
0000051f: PUSH1 0x24
00000521: DUP6
00000522: REVERT
00000523: JUMPDEST
00000524: MLOAD
00000525: PUSH3 0x461bcd
00000529: PUSH1 0xe5
0000052b: SHL
0000052c: DUP2
0000052d: MSTORE
0000052e: PUSH1 0x20
00000530: DUP2
00000531: DUP6
00000532: ADD
00000533: MSTORE
00000534: PUSH1 0x09
00000536: PUSH1 0x24
00000538: DUP3
00000539: ADD
0000053a: MSTORE
0000053b: PUSH9 0x4e4f5f534841524553
00000545: PUSH1 0xb8
00000547: SHL
00000548: PUSH1 0x44
0000054a: DUP3
0000054b: ADD
0000054c: MSTORE
0000054d: PUSH1 0x64
0000054f: SWAP1
00000550: REVERT
00000551: JUMPDEST
00000552: POP
00000553: CALLVALUE
00000554: PUSH2 0x01de
00000557: JUMPI
00000558: PUSH1 0x20
0000055a: CALLDATASIZE
0000055b: PUSH1 0x03
0000055d: NOT
0000055e: ADD
0000055f: SLT
00000560: PUSH2 0x01de
00000563: JUMPI
00000564: PUSH1 0x20
00000566: SWAP1
00000567: PUSH2 0x058c
0000056a: PUSH2 0x0571
0000056d: PUSH2 0x0a63
00000570: JUMP
00000571: JUMPDEST
00000572: PUSH1 0x01
00000574: PUSH1 0x01
00000576: PUSH1 0xa0
00000578: SHL
00000579: SUB
0000057a: AND
0000057b: PUSH1 0x00
0000057d: SWAP1
0000057e: DUP2
0000057f: MSTORE
00000580: PUSH1 0x20
00000582: DUP2
00000583: SWAP1
00000584: MSTORE
00000585: PUSH1 0x40
00000587: SWAP1
00000588: KECCAK256
00000589: SLOAD
0000058a: SWAP1
0000058b: JUMP
0000058c: JUMPDEST
0000058d: SWAP1
0000058e: MLOAD
0000058f: SWAP1
00000590: DUP2
00000591: MSTORE
00000592: RETURN
00000593: JUMPDEST
00000594: POP
00000595: CALLVALUE
00000596: PUSH2 0x01de
00000599: JUMPI
0000059a: PUSH1 0x20
0000059c: CALLDATASIZE
0000059d: PUSH1 0x03
0000059f: NOT
000005a0: ADD
000005a1: SLT
000005a2: PUSH2 0x01de
000005a5: JUMPI
000005a6: PUSH1 0x20
000005a8: SWAP2
000005a9: DUP2
000005aa: SWAP1
000005ab: PUSH1 0x01
000005ad: PUSH1 0x01
000005af: PUSH1 0xa0
000005b1: SHL
000005b2: SUB
000005b3: PUSH2 0x05ba
000005b6: PUSH2 0x0a63
000005b9: JUMP
000005ba: JUMPDEST
000005bb: AND
000005bc: DUP2
000005bd: MSTORE
000005be: PUSH1 0x07
000005c0: DUP5
000005c1: MSTORE
000005c2: KECCAK256
000005c3: SLOAD
000005c4: SWAP1
000005c5: MLOAD
000005c6: SWAP1
000005c7: DUP2
000005c8: MSTORE
000005c9: RETURN
000005ca: JUMPDEST
000005cb: POP
000005cc: CALLVALUE
000005cd: PUSH2 0x01de
000005d0: JUMPI
000005d1: PUSH1 0x20
000005d3: CALLDATASIZE
000005d4: PUSH1 0x03
000005d6: NOT
000005d7: ADD
000005d8: SLT
000005d9: PUSH2 0x01de
000005dc: JUMPI
000005dd: PUSH1 0x20
000005df: SWAP2
000005e0: PUSH2 0x058c
000005e3: SWAP1
000005e4: DUP3
000005e5: PUSH1 0x01
000005e7: PUSH1 0x01
000005e9: PUSH1 0xa0
000005eb: SHL
000005ec: SUB
000005ed: PUSH2 0x05f4
000005f0: PUSH2 0x0a63
000005f3: JUMP
000005f4: JUMPDEST
000005f5: AND
000005f6: SWAP2
000005f7: DUP3
000005f8: DUP2
000005f9: MSTORE
000005fa: DUP1
000005fb: DUP7
000005fc: MSTORE
000005fd: PUSH10 0xd3c21bcecceda1000000
00000608: PUSH2 0x0617
0000060b: DUP4
0000060c: DUP4
0000060d: KECCAK256
0000060e: SLOAD
0000060f: PUSH1 0x06
00000611: SLOAD
00000612: SWAP1
00000613: PUSH2 0x0b48
00000616: JUMP
00000617: JUMPDEST
00000618: DIV
00000619: SWAP3
0000061a: DUP2
0000061b: MSTORE
0000061c: PUSH1 0x07
0000061e: DUP7
0000061f: MSTORE
00000620: KECCAK256
00000621: SLOAD
00000622: SWAP1
00000623: PUSH2 0x0b71
00000626: JUMP
00000627: JUMPDEST
00000628: POP
00000629: CALLVALUE
0000062a: PUSH2 0x01de
0000062d: JUMPI
0000062e: DUP1
0000062f: PUSH1 0x03
00000631: NOT
00000632: CALLDATASIZE
00000633: ADD
00000634: SLT
00000635: PUSH2 0x01de
00000638: JUMPI
00000639: PUSH2 0x0242
0000063c: PUSH1 0x20
0000063e: SWAP3
0000063f: PUSH2 0x066f
00000642: PUSH2 0x0649
00000645: PUSH2 0x0a63
00000648: JUMP
00000649: JUMPDEST
0000064a: CALLER
0000064b: DUP4
0000064c: MSTORE
0000064d: PUSH1 0x01
0000064f: DUP7
00000650: MSTORE
00000651: DUP5
00000652: DUP4
00000653: KECCAK256
00000654: PUSH1 0x01
00000656: PUSH1 0x01
00000658: PUSH1 0xa0
0000065a: SHL
0000065b: SUB
0000065c: DUP3
0000065d: AND
0000065e: DUP5
0000065f: MSTORE
00000660: DUP7
00000661: MSTORE
00000662: SWAP2
00000663: DUP5
00000664: SWAP1
00000665: KECCAK256
00000666: SLOAD
00000667: PUSH1 0x24
00000669: CALLDATALOAD
0000066a: SWAP1
0000066b: PUSH2 0x0b8a
0000066e: JUMP
0000066f: JUMPDEST
00000670: SWAP1
00000671: CALLER
00000672: PUSH2 0x0f3f
00000675: JUMP
00000676: JUMPDEST
00000677: POP
00000678: CALLVALUE
00000679: PUSH2 0x01de
0000067c: JUMPI
0000067d: DUP2
0000067e: PUSH1 0x03
00000680: NOT
00000681: CALLDATASIZE
00000682: ADD
00000683: SLT
00000684: PUSH2 0x01de
00000687: JUMPI
00000688: MLOAD
00000689: PUSH32 0x000000000000000000000000a5f2211b9b8170f694421f2046281775e8468044
000006aa: PUSH1 0x01
000006ac: PUSH1 0x01
000006ae: PUSH1 0xa0
000006b0: SHL
000006b1: SUB
000006b2: AND
000006b3: DUP2
000006b4: MSTORE
000006b5: PUSH1 0x20
000006b7: SWAP1
000006b8: RETURN
000006b9: JUMPDEST
000006ba: POP
000006bb: CALLVALUE
000006bc: PUSH2 0x01de
000006bf: JUMPI
000006c0: DUP2
000006c1: PUSH1 0x03
000006c3: NOT
000006c4: CALLDATASIZE
000006c5: ADD
000006c6: SLT
000006c7: PUSH2 0x01de
000006ca: JUMPI
000006cb: PUSH2 0x06d2
000006ce: PUSH2 0x1219
000006d1: JUMP
000006d2: JUMPDEST
000006d3: CALLER
000006d4: DUP3
000006d5: MSTORE
000006d6: DUP2
000006d7: PUSH1 0x20
000006d9: MSTORE
000006da: PUSH10 0xd3c21bcecceda1000000
000006e5: PUSH2 0x06f4
000006e8: DUP3
000006e9: DUP5
000006ea: KECCAK256
000006eb: SLOAD
000006ec: PUSH1 0x06
000006ee: SLOAD
000006ef: SWAP1
000006f0: PUSH2 0x0b48
000006f3: JUMP
000006f4: JUMPDEST
000006f5: DIV
000006f6: SWAP1
000006f7: CALLER
000006f8: DUP4
000006f9: MSTORE
000006fa: PUSH1 0x07
000006fc: PUSH1 0x20
000006fe: MSTORE
000006ff: PUSH2 0x070b
00000702: DUP2
00000703: DUP5
00000704: KECCAK256
00000705: SLOAD
00000706: DUP4
00000707: PUSH2 0x0b71
0000070a: JUMP
0000070b: JUMPDEST
0000070c: SWAP2
0000070d: CALLER
0000070e: DUP5
0000070f: MSTORE
00000710: PUSH1 0x07
00000712: PUSH1 0x20
00000714: MSTORE
00000715: DUP2
00000716: DUP5
00000717: KECCAK256
00000718: SSTORE
00000719: PUSH2 0x0743
0000071c: DUP3
0000071d: CALLER
0000071e: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
0000073f: PUSH2 0x126f
00000742: JUMP
00000743: JUMPDEST
00000744: MLOAD
00000745: SWAP1
00000746: DUP2
00000747: MSTORE
00000748: PUSH32 0x106f923f993c2149d49b4255ff723acafa1f2d94393f561d3eda32ae348f7241
00000769: PUSH1 0x20
0000076b: CALLER
0000076c: SWAP3
0000076d: LOG2
0000076e: PUSH1 0x01
00000770: PUSH1 0x05
00000772: SSTORE
00000773: DUP1
00000774: RETURN
00000775: JUMPDEST
00000776: POP
00000777: CALLVALUE
00000778: PUSH2 0x01de
0000077b: JUMPI
0000077c: DUP2
0000077d: PUSH1 0x03
0000077f: NOT
00000780: CALLDATASIZE
00000781: ADD
00000782: SLT
00000783: PUSH2 0x01de
00000786: JUMPI
00000787: PUSH1 0x20
00000789: SWAP1
0000078a: MLOAD
0000078b: PUSH1 0x12
0000078d: DUP2
0000078e: MSTORE
0000078f: RETURN
00000790: JUMPDEST
00000791: DUP3
00000792: SWAP1
00000793: CALLVALUE
00000794: PUSH2 0x01de
00000797: JUMPI
00000798: PUSH1 0x60
0000079a: CALLDATASIZE
0000079b: PUSH1 0x03
0000079d: NOT
0000079e: ADD
0000079f: SLT
000007a0: PUSH2 0x01de
000007a3: JUMPI
000007a4: PUSH2 0x07ab
000007a7: PUSH2 0x0a63
000007aa: JUMP
000007ab: JUMPDEST
000007ac: PUSH2 0x07b3
000007af: PUSH2 0x0a79
000007b2: JUMP
000007b3: JUMPDEST
000007b4: SWAP2
000007b5: DUP5
000007b6: PUSH1 0x44
000007b8: CALLDATALOAD
000007b9: SWAP5
000007ba: PUSH1 0x01
000007bc: DUP1
000007bd: PUSH1 0xa0
000007bf: SHL
000007c0: SUB
000007c1: DUP5
000007c2: AND
000007c3: DUP2
000007c4: MSTORE
000007c5: PUSH1 0x01
000007c7: PUSH1 0x20
000007c9: MSTORE
000007ca: DUP2
000007cb: DUP2
000007cc: KECCAK256
000007cd: CALLER
000007ce: DUP3
000007cf: MSTORE
000007d0: PUSH1 0x20
000007d2: MSTORE
000007d3: KECCAK256
000007d4: SLOAD
000007d5: SWAP1
000007d6: PUSH1 0x00
000007d8: NOT
000007d9: DUP3
000007da: SUB
000007db: PUSH2 0x07ed
000007de: JUMPI
000007df: JUMPDEST
000007e0: PUSH1 0x20
000007e2: DUP7
000007e3: PUSH2 0x0242
000007e6: DUP8
000007e7: DUP8
000007e8: DUP8
000007e9: PUSH2 0x1041
000007ec: JUMP
000007ed: JUMPDEST
000007ee: DUP5
000007ef: DUP3
000007f0: LT
000007f1: PUSH2 0x0816
000007f4: JUMPI
000007f5: POP
000007f6: SWAP2
000007f7: DUP4
000007f8: SWAP2
000007f9: PUSH2 0x080b
000007fc: PUSH1 0x20
000007fe: SWAP7
000007ff: SWAP6
00000800: PUSH2 0x0242
00000803: SWAP6
00000804: SUB
00000805: CALLER
00000806: DUP4
00000807: PUSH2 0x0f3f
0000080a: JUMP
0000080b: JUMPDEST
0000080c: SWAP2
0000080d: SWAP4
0000080e: SWAP5
0000080f: DUP2
00000810: SWAP4
00000811: POP
00000812: PUSH2 0x07df
00000815: JUMP
00000816: JUMPDEST
00000817: PUSH1 0x64
00000819: SWAP1
0000081a: PUSH1 0x20
0000081c: DUP8
0000081d: MLOAD
0000081e: SWAP2
0000081f: PUSH3 0x461bcd
00000823: PUSH1 0xe5
00000825: SHL
00000826: DUP4
00000827: MSTORE
00000828: DUP3
00000829: ADD
0000082a: MSTORE
0000082b: PUSH1 0x1d
0000082d: PUSH1 0x24
0000082f: DUP3
00000830: ADD
00000831: MSTORE
00000832: PUSH32 0x45524332303a20696e73756666696369656e7420616c6c6f77616e6365000000
00000853: PUSH1 0x44
00000855: DUP3
00000856: ADD
00000857: MSTORE
00000858: REVERT
00000859: JUMPDEST
0000085a: POP
0000085b: CALLVALUE
0000085c: PUSH2 0x01de
0000085f: JUMPI
00000860: DUP2
00000861: PUSH1 0x03
00000863: NOT
00000864: CALLDATASIZE
00000865: ADD
00000866: SLT
00000867: PUSH2 0x01de
0000086a: JUMPI
0000086b: MLOAD
0000086c: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
0000088d: PUSH1 0x01
0000088f: PUSH1 0x01
00000891: PUSH1 0xa0
00000893: SHL
00000894: SUB
00000895: AND
00000896: DUP2
00000897: MSTORE
00000898: PUSH1 0x20
0000089a: SWAP1
0000089b: RETURN
0000089c: JUMPDEST
0000089d: POP
0000089e: CALLVALUE
0000089f: PUSH2 0x01de
000008a2: JUMPI
000008a3: DUP2
000008a4: PUSH1 0x03
000008a6: NOT
000008a7: CALLDATASIZE
000008a8: ADD
000008a9: SLT
000008aa: PUSH2 0x01de
000008ad: JUMPI
000008ae: PUSH1 0x20
000008b0: SWAP1
000008b1: PUSH1 0x02
000008b3: SLOAD
000008b4: SWAP1
000008b5: MLOAD
000008b6: SWAP1
000008b7: DUP2
000008b8: MSTORE
000008b9: RETURN
000008ba: JUMPDEST
000008bb: POP
000008bc: CALLVALUE
000008bd: PUSH2 0x01de
000008c0: JUMPI
000008c1: DUP1
000008c2: PUSH1 0x03
000008c4: NOT
000008c5: CALLDATASIZE
000008c6: ADD
000008c7: SLT
000008c8: PUSH2 0x01de
000008cb: JUMPI
000008cc: PUSH1 0x20
000008ce: SWAP1
000008cf: PUSH2 0x0242
000008d2: PUSH2 0x08d9
000008d5: PUSH2 0x0a63
000008d8: JUMP
000008d9: JUMPDEST
000008da: PUSH1 0x24
000008dc: CALLDATALOAD
000008dd: SWAP1
000008de: CALLER
000008df: PUSH2 0x0f3f
000008e2: JUMP
000008e3: JUMPDEST
000008e4: SWAP1
000008e5: CALLVALUE
000008e6: PUSH2 0x09d8
000008e9: JUMPI
000008ea: DUP3
000008eb: PUSH1 0x03
000008ed: NOT
000008ee: CALLDATASIZE
000008ef: ADD
000008f0: SLT
000008f1: PUSH2 0x09d8
000008f4: JUMPI
000008f5: DUP1
000008f6: MLOAD
000008f7: SWAP2
000008f8: DUP4
000008f9: PUSH1 0x03
000008fb: SLOAD
000008fc: SWAP1
000008fd: PUSH1 0x01
000008ff: SWAP1
00000900: DUP3
00000901: PUSH1 0x01
00000903: SHR
00000904: SWAP3
00000905: PUSH1 0x01
00000907: DUP2
00000908: AND
00000909: DUP1
0000090a: ISZERO
0000090b: PUSH2 0x09ce
0000090e: JUMPI
0000090f: JUMPDEST
00000910: PUSH1 0x20
00000912: SWAP6
00000913: DUP7
00000914: DUP7
00000915: LT
00000916: DUP3
00000917: EQ
00000918: PUSH2 0x09bb
0000091b: JUMPI
0000091c: POP
0000091d: DUP5
0000091e: DUP9
0000091f: MSTORE
00000920: SWAP1
00000921: DUP2
00000922: ISZERO
00000923: PUSH2 0x0999
00000926: JUMPI
00000927: POP
00000928: PUSH1 0x01
0000092a: EQ
0000092b: PUSH2 0x0940
0000092e: JUMPI
0000092f: JUMPDEST
00000930: PUSH2 0x0357
00000933: DUP7
00000934: DUP7
00000935: PUSH2 0x034d
00000938: DUP3
00000939: DUP12
0000093a: SUB
0000093b: DUP4
0000093c: PUSH2 0x0b10
0000093f: JUMP
00000940: JUMPDEST
00000941: SWAP3
00000942: SWAP6
00000943: POP
00000944: PUSH1 0x03
00000946: DUP4
00000947: MSTORE
00000948: PUSH32 0xc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85b
00000969: JUMPDEST
0000096a: DUP3
0000096b: DUP5
0000096c: LT
0000096d: PUSH2 0x0986
00000970: JUMPI
00000971: POP
00000972: POP
00000973: POP
00000974: DUP3
00000975: PUSH2 0x0357
00000978: SWAP5
00000979: PUSH2 0x034d
0000097c: SWAP3
0000097d: DUP3
0000097e: ADD
0000097f: ADD
00000980: SWAP5
00000981: DUP7
00000982: PUSH2 0x092f
00000985: JUMP
00000986: JUMPDEST
00000987: DUP1
00000988: SLOAD
00000989: DUP7
0000098a: DUP6
0000098b: ADD
0000098c: DUP9
0000098d: ADD
0000098e: MSTORE
0000098f: SWAP3
00000990: DUP7
00000991: ADD
00000992: SWAP3
00000993: DUP2
00000994: ADD
00000995: PUSH2 0x0969
00000998: JUMP
00000999: JUMPDEST
0000099a: PUSH1 0xff
0000099c: NOT
0000099d: AND
0000099e: DUP8
0000099f: DUP7
000009a0: ADD
000009a1: MSTORE
000009a2: POP
000009a3: POP
000009a4: POP
000009a5: ISZERO
000009a6: ISZERO
000009a7: PUSH1 0x05
000009a9: SHL
000009aa: DUP4
000009ab: ADD
000009ac: ADD
000009ad: SWAP3
000009ae: POP
000009af: PUSH2 0x034d
000009b2: DUP3
000009b3: PUSH2 0x0357
000009b6: DUP7
000009b7: PUSH2 0x092f
000009ba: JUMP
000009bb: JUMPDEST
000009bc: PUSH4 0x4e487b71
000009c1: PUSH1 0xe0
000009c3: SHL
000009c4: DUP5
000009c5: MSTORE
000009c6: PUSH1 0x22
000009c8: SWAP1
000009c9: MSTORE
000009ca: PUSH1 0x24
000009cc: DUP4
000009cd: REVERT
000009ce: JUMPDEST
000009cf: SWAP4
000009d0: PUSH1 0x7f
000009d2: AND
000009d3: SWAP4
000009d4: PUSH2 0x090f
000009d7: JUMP
000009d8: JUMPDEST
000009d9: DUP3
000009da: DUP1
000009db: REVERT
000009dc: JUMPDEST
000009dd: DUP4
000009de: SWAP1
000009df: CALLVALUE
000009e0: PUSH2 0x01de
000009e3: JUMPI
000009e4: DUP2
000009e5: PUSH1 0x03
000009e7: NOT
000009e8: CALLDATASIZE
000009e9: ADD
000009ea: SLT
000009eb: PUSH2 0x01de
000009ee: JUMPI
000009ef: PUSH1 0x20
000009f1: SWAP1
000009f2: PUSH1 0x02
000009f4: SLOAD
000009f5: DUP2
000009f6: MSTORE
000009f7: RETURN
000009f8: JUMPDEST
000009f9: PUSH1 0x20
000009fb: DUP1
000009fc: DUP3
000009fd: MSTORE
000009fe: DUP3
000009ff: MLOAD
00000a00: DUP2
00000a01: DUP4
00000a02: ADD
00000a03: DUP2
00000a04: SWAP1
00000a05: MSTORE
00000a06: SWAP1
00000a07: SWAP4
00000a08: SWAP3
00000a09: PUSH1 0x00
00000a0b: JUMPDEST
00000a0c: DUP3
00000a0d: DUP2
00000a0e: LT
00000a0f: PUSH2 0x0a2d
00000a12: JUMPI
00000a13: POP
00000a14: POP
00000a15: PUSH1 0x40
00000a17: SWAP3
00000a18: SWAP4
00000a19: POP
00000a1a: PUSH1 0x00
00000a1c: DUP4
00000a1d: DUP3
00000a1e: DUP5
00000a1f: ADD
00000a20: ADD
00000a21: MSTORE
00000a22: PUSH1 0x1f
00000a24: DUP1
00000a25: NOT
00000a26: SWAP2
00000a27: ADD
00000a28: AND
00000a29: ADD
00000a2a: ADD
00000a2b: SWAP1
00000a2c: JUMP
00000a2d: JUMPDEST
00000a2e: DUP2
00000a2f: DUP2
00000a30: ADD
00000a31: DUP7
00000a32: ADD
00000a33: MLOAD
00000a34: DUP5
00000a35: DUP3
00000a36: ADD
00000a37: PUSH1 0x40
00000a39: ADD
00000a3a: MSTORE
00000a3b: DUP6
00000a3c: ADD
00000a3d: PUSH2 0x0a0b
00000a40: JUMP
00000a41: JUMPDEST
00000a42: CALLVALUE
00000a43: PUSH2 0x0a5e
00000a46: JUMPI
00000a47: PUSH1 0x20
00000a49: CALLDATASIZE
00000a4a: PUSH1 0x03
00000a4c: NOT
00000a4d: ADD
00000a4e: SLT
00000a4f: PUSH2 0x0a5e
00000a52: JUMPI
00000a53: PUSH1 0x20
00000a55: PUSH1 0x40
00000a57: MLOAD
00000a58: PUSH1 0x04
00000a5a: CALLDATALOAD
00000a5b: DUP2
00000a5c: MSTORE
00000a5d: RETURN
00000a5e: JUMPDEST
00000a5f: PUSH1 0x00
00000a61: DUP1
00000a62: REVERT
00000a63: JUMPDEST
00000a64: PUSH1 0x04
00000a66: CALLDATALOAD
00000a67: SWAP1
00000a68: PUSH1 0x01
00000a6a: PUSH1 0x01
00000a6c: PUSH1 0xa0
00000a6e: SHL
00000a6f: SUB
00000a70: DUP3
00000a71: AND
00000a72: DUP3
00000a73: SUB
00000a74: PUSH2 0x0a5e
00000a77: JUMPI
00000a78: JUMP
00000a79: JUMPDEST
00000a7a: PUSH1 0x24
00000a7c: CALLDATALOAD
00000a7d: SWAP1
00000a7e: PUSH1 0x01
00000a80: PUSH1 0x01
00000a82: PUSH1 0xa0
00000a84: SHL
00000a85: SUB
00000a86: DUP3
00000a87: AND
00000a88: DUP3
00000a89: SUB
00000a8a: PUSH2 0x0a5e
00000a8d: JUMPI
00000a8e: JUMP
00000a8f: JUMPDEST
00000a90: CALLVALUE
00000a91: PUSH2 0x0a5e
00000a94: JUMPI
00000a95: PUSH1 0x20
00000a97: CALLDATASIZE
00000a98: PUSH1 0x03
00000a9a: NOT
00000a9b: ADD
00000a9c: SLT
00000a9d: PUSH2 0x0a5e
00000aa0: JUMPI
00000aa1: PUSH2 0x0aa8
00000aa4: PUSH2 0x0a63
00000aa7: JUMP
00000aa8: JUMPDEST
00000aa9: POP
00000aaa: PUSH1 0x20
00000aac: PUSH1 0x40
00000aae: MLOAD
00000aaf: PUSH1 0x00
00000ab1: NOT
00000ab2: DUP2
00000ab3: MSTORE
00000ab4: RETURN
00000ab5: JUMPDEST
00000ab6: PUSH1 0x60
00000ab8: SWAP1
00000ab9: PUSH1 0x03
00000abb: NOT
00000abc: ADD
00000abd: SLT
00000abe: PUSH2 0x0a5e
00000ac1: JUMPI
00000ac2: PUSH1 0x04
00000ac4: CALLDATALOAD
00000ac5: SWAP1
00000ac6: PUSH1 0x01
00000ac8: PUSH1 0x01
00000aca: PUSH1 0xa0
00000acc: SHL
00000acd: SUB
00000ace: SWAP1
00000acf: PUSH1 0x24
00000ad1: CALLDATALOAD
00000ad2: DUP3
00000ad3: DUP2
00000ad4: AND
00000ad5: DUP2
00000ad6: SUB
00000ad7: PUSH2 0x0a5e
00000ada: JUMPI
00000adb: SWAP2
00000adc: PUSH1 0x44
00000ade: CALLDATALOAD
00000adf: SWAP1
00000ae0: DUP2
00000ae1: AND
00000ae2: DUP2
00000ae3: SUB
00000ae4: PUSH2 0x0a5e
00000ae7: JUMPI
00000ae8: SWAP1
00000ae9: JUMP
00000aea: JUMPDEST
00000aeb: CALLVALUE
00000aec: PUSH2 0x0a5e
00000aef: JUMPI
00000af0: PUSH1 0x20
00000af2: CALLDATASIZE
00000af3: PUSH1 0x03
00000af5: NOT
00000af6: ADD
00000af7: SLT
00000af8: PUSH2 0x0a5e
00000afb: JUMPI
00000afc: PUSH1 0x20
00000afe: PUSH2 0x0b08
00000b01: PUSH2 0x0571
00000b04: PUSH2 0x0a63
00000b07: JUMP
00000b08: JUMPDEST
00000b09: PUSH1 0x40
00000b0b: MLOAD
00000b0c: SWAP1
00000b0d: DUP2
00000b0e: MSTORE
00000b0f: RETURN
00000b10: JUMPDEST
00000b11: SWAP1
00000b12: PUSH1 0x1f
00000b14: DUP1
00000b15: NOT
00000b16: SWAP2
00000b17: ADD
00000b18: AND
00000b19: DUP2
00000b1a: ADD
00000b1b: SWAP1
00000b1c: DUP2
00000b1d: LT
00000b1e: PUSH8 0xffffffffffffffff
00000b27: DUP3
00000b28: GT
00000b29: OR
00000b2a: PUSH2 0x0b32
00000b2d: JUMPI
00000b2e: PUSH1 0x40
00000b30: MSTORE
00000b31: JUMP
00000b32: JUMPDEST
00000b33: PUSH4 0x4e487b71
00000b38: PUSH1 0xe0
00000b3a: SHL
00000b3b: PUSH1 0x00
00000b3d: MSTORE
00000b3e: PUSH1 0x41
00000b40: PUSH1 0x04
00000b42: MSTORE
00000b43: PUSH1 0x24
00000b45: PUSH1 0x00
00000b47: REVERT
00000b48: JUMPDEST
00000b49: DUP2
00000b4a: DUP2
00000b4b: MUL
00000b4c: SWAP3
00000b4d: SWAP2
00000b4e: DUP2
00000b4f: ISZERO
00000b50: SWAP2
00000b51: DUP5
00000b52: DIV
00000b53: EQ
00000b54: OR
00000b55: ISZERO
00000b56: PUSH2 0x0b5b
00000b59: JUMPI
00000b5a: JUMP
00000b5b: JUMPDEST
00000b5c: PUSH4 0x4e487b71
00000b61: PUSH1 0xe0
00000b63: SHL
00000b64: PUSH1 0x00
00000b66: MSTORE
00000b67: PUSH1 0x11
00000b69: PUSH1 0x04
00000b6b: MSTORE
00000b6c: PUSH1 0x24
00000b6e: PUSH1 0x00
00000b70: REVERT
00000b71: JUMPDEST
00000b72: DUP2
00000b73: DUP2
00000b74: SUB
00000b75: SWAP3
00000b76: SWAP2
00000b77: PUSH1 0x00
00000b79: SGT
00000b7a: DUP1
00000b7b: ISZERO
00000b7c: DUP3
00000b7d: DUP6
00000b7e: SGT
00000b7f: AND
00000b80: SWAP2
00000b81: DUP5
00000b82: SLT
00000b83: AND
00000b84: OR
00000b85: PUSH2 0x0b5b
00000b88: JUMPI
00000b89: JUMP
00000b8a: JUMPDEST
00000b8b: SWAP2
00000b8c: SWAP1
00000b8d: DUP3
00000b8e: ADD
00000b8f: DUP1
00000b90: SWAP3
00000b91: GT
00000b92: PUSH2 0x0b5b
00000b95: JUMPI
00000b96: JUMP
00000b97: JUMPDEST
00000b98: SWAP2
00000b99: SWAP1
00000b9a: DUP3
00000b9b: SWAP1
00000b9c: PUSH2 0x0bc7
00000b9f: DUP3
00000ba0: ADDRESS
00000ba1: CALLER
00000ba2: PUSH32 0x000000000000000000000000a5f2211b9b8170f694421f2046281775e8468044
00000bc3: PUSH2 0x12c1
00000bc6: JUMP
00000bc7: JUMPDEST
00000bc8: PUSH1 0x01
00000bca: PUSH1 0x01
00000bcc: PUSH1 0xa0
00000bce: SHL
00000bcf: SUB
00000bd0: AND
00000bd1: SWAP1
00000bd2: DUP2
00000bd3: ISZERO
00000bd4: PUSH2 0x0cb4
00000bd7: JUMPI
00000bd8: PUSH1 0x00
00000bda: DUP3
00000bdb: DUP2
00000bdc: MSTORE
00000bdd: PUSH1 0x07
00000bdf: PUSH1 0x20
00000be1: MSTORE
00000be2: PUSH1 0x40
00000be4: SWAP1
00000be5: DUP2
00000be6: DUP2
00000be7: KECCAK256
00000be8: SLOAD
00000be9: PUSH10 0xd3c21bcecceda1000000
00000bf4: PUSH2 0x0bff
00000bf7: PUSH1 0x06
00000bf9: SLOAD
00000bfa: DUP7
00000bfb: PUSH2 0x0b48
00000bfe: JUMP
00000bff: JUMPDEST
00000c00: DIV
00000c01: SWAP1
00000c02: DUP3
00000c03: DUP3
00000c04: DUP3
00000c05: ADD
00000c06: SWAP3
00000c07: DUP4
00000c08: SLT
00000c09: SWAP2
00000c0a: SLT
00000c0b: SWAP1
00000c0c: DUP1
00000c0d: ISZERO
00000c0e: DUP3
00000c0f: AND
00000c10: SWAP2
00000c11: ISZERO
00000c12: AND
00000c13: OR
00000c14: PUSH2 0x0ca0
00000c17: JUMPI
00000c18: DUP2
00000c19: DUP6
00000c1a: SWAP2
00000c1b: DUP3
00000c1c: PUSH32 0xdcbc1c05240f31ff3ad067ef1ee35ce4997762752e3a095284754544f4c709d7
00000c3d: SWAP6
00000c3e: SWAP5
00000c3f: MSTORE
00000c40: PUSH1 0x07
00000c42: PUSH1 0x20
00000c44: MSTORE
00000c45: DUP4
00000c46: DUP3
00000c47: KECCAK256
00000c48: SSTORE
00000c49: PUSH2 0x0c54
00000c4c: DUP6
00000c4d: PUSH1 0x02
00000c4f: SLOAD
00000c50: PUSH2 0x0b8a
00000c53: JUMP
00000c54: JUMPDEST
00000c55: PUSH1 0x02
00000c57: SSTORE
00000c58: DUP2
00000c59: DUP2
00000c5a: MSTORE
00000c5b: DUP1
00000c5c: PUSH1 0x20
00000c5e: MSTORE
00000c5f: DUP3
00000c60: DUP2
00000c61: KECCAK256
00000c62: DUP6
00000c63: DUP2
00000c64: SLOAD
00000c65: ADD
00000c66: SWAP1
00000c67: SSTORE
00000c68: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000c89: PUSH1 0x20
00000c8b: DUP5
00000c8c: MLOAD
00000c8d: DUP8
00000c8e: DUP2
00000c8f: MSTORE
00000c90: LOG3
00000c91: DUP1
00000c92: MLOAD
00000c93: SWAP3
00000c94: DUP1
00000c95: DUP5
00000c96: MSTORE
00000c97: PUSH1 0x20
00000c99: DUP5
00000c9a: ADD
00000c9b: MSTORE
00000c9c: CALLER
00000c9d: SWAP3
00000c9e: LOG3
00000c9f: JUMP
00000ca0: JUMPDEST
00000ca1: PUSH4 0x4e487b71
00000ca6: PUSH1 0xe0
00000ca8: SHL
00000ca9: DUP3
00000caa: MSTORE
00000cab: PUSH1 0x11
00000cad: PUSH1 0x04
00000caf: MSTORE
00000cb0: PUSH1 0x24
00000cb2: DUP3
00000cb3: REVERT
00000cb4: JUMPDEST
00000cb5: PUSH1 0x40
00000cb7: MLOAD
00000cb8: PUSH3 0x461bcd
00000cbc: PUSH1 0xe5
00000cbe: SHL
00000cbf: DUP2
00000cc0: MSTORE
00000cc1: PUSH1 0x20
00000cc3: PUSH1 0x04
00000cc5: DUP3
00000cc6: ADD
00000cc7: MSTORE
00000cc8: PUSH1 0x1f
00000cca: PUSH1 0x24
00000ccc: DUP3
00000ccd: ADD
00000cce: MSTORE
00000ccf: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
00000cf0: PUSH1 0x44
00000cf2: DUP3
00000cf3: ADD
00000cf4: MSTORE
00000cf5: PUSH1 0x64
00000cf7: SWAP1
00000cf8: REVERT
00000cf9: JUMPDEST
00000cfa: SWAP3
00000cfb: SWAP2
00000cfc: DUP4
00000cfd: PUSH1 0x01
00000cff: DUP1
00000d00: PUSH1 0xa0
00000d02: SHL
00000d03: SUB
00000d04: DUP1
00000d05: DUP4
00000d06: AND
00000d07: SWAP4
00000d08: PUSH1 0x00
00000d0a: SWAP3
00000d0b: DUP6
00000d0c: DUP5
00000d0d: MSTORE
00000d0e: PUSH1 0x20
00000d10: SWAP4
00000d11: DUP1
00000d12: DUP6
00000d13: MSTORE
00000d14: PUSH1 0x40
00000d16: SWAP6
00000d17: DUP3
00000d18: DUP8
00000d19: DUP4
00000d1a: KECCAK256
00000d1b: SLOAD
00000d1c: LT
00000d1d: PUSH2 0x0f04
00000d20: JUMPI
00000d21: DUP8
00000d22: CALLER
00000d23: SUB
00000d24: PUSH2 0x0eaf
00000d27: JUMPI
00000d28: JUMPDEST
00000d29: POP
00000d2a: DUP7
00000d2b: ISZERO
00000d2c: PUSH2 0x0e61
00000d2f: JUMPI
00000d30: DUP7
00000d31: DUP2
00000d32: MSTORE
00000d33: PUSH1 0x07
00000d35: DUP6
00000d36: MSTORE
00000d37: PUSH2 0x0d5b
00000d3a: DUP7
00000d3b: DUP3
00000d3c: KECCAK256
00000d3d: SLOAD
00000d3e: PUSH10 0xd3c21bcecceda1000000
00000d49: PUSH2 0x0d54
00000d4c: PUSH1 0x06
00000d4e: SLOAD
00000d4f: DUP7
00000d50: PUSH2 0x0b48
00000d53: JUMP
00000d54: JUMPDEST
00000d55: DIV
00000d56: SWAP1
00000d57: PUSH2 0x0b71
00000d5a: JUMP
00000d5b: JUMPDEST
00000d5c: DUP8
00000d5d: DUP3
00000d5e: MSTORE
00000d5f: PUSH1 0x07
00000d61: DUP7
00000d62: MSTORE
00000d63: DUP7
00000d64: DUP3
00000d65: KECCAK256
00000d66: SSTORE
00000d67: DUP1
00000d68: DUP6
00000d69: MSTORE
00000d6a: DUP6
00000d6b: DUP2
00000d6c: KECCAK256
00000d6d: SLOAD
00000d6e: DUP3
00000d6f: DUP2
00000d70: LT
00000d71: PUSH2 0x0e12
00000d74: JUMPI
00000d75: SWAP1
00000d76: DUP3
00000d77: PUSH32 0xfbde797d201c681b91056529119e0b02407c7bb96a4a2c75c01fc9667232c8db
00000d98: SWAP6
00000d99: SWAP5
00000d9a: SWAP4
00000d9b: SWAP3
00000d9c: DUP10
00000d9d: DUP4
00000d9e: MSTORE
00000d9f: DUP3
00000da0: DUP9
00000da1: MSTORE
00000da2: SUB
00000da3: DUP8
00000da4: DUP3
00000da5: KECCAK256
00000da6: SSTORE
00000da7: DUP2
00000da8: PUSH1 0x02
00000daa: SLOAD
00000dab: SUB
00000dac: PUSH1 0x02
00000dae: SSTORE
00000daf: DUP8
00000db0: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000dd1: DUP8
00000dd2: DUP10
00000dd3: MLOAD
00000dd4: DUP6
00000dd5: DUP2
00000dd6: MSTORE
00000dd7: LOG3
00000dd8: PUSH2 0x0e02
00000ddb: DUP2
00000ddc: DUP4
00000ddd: PUSH32 0x000000000000000000000000a5f2211b9b8170f694421f2046281775e8468044
00000dfe: PUSH2 0x126f
00000e01: JUMP
00000e02: JUMPDEST
00000e03: DUP6
00000e04: MLOAD
00000e05: SWAP5
00000e06: DUP2
00000e07: DUP7
00000e08: MSTORE
00000e09: DUP6
00000e0a: ADD
00000e0b: MSTORE
00000e0c: AND
00000e0d: SWAP3
00000e0e: CALLER
00000e0f: SWAP3
00000e10: LOG4
00000e11: JUMP
00000e12: JUMPDEST
00000e13: DUP7
00000e14: MLOAD
00000e15: PUSH3 0x461bcd
00000e19: PUSH1 0xe5
00000e1b: SHL
00000e1c: DUP2
00000e1d: MSTORE
00000e1e: PUSH1 0x04
00000e20: DUP2
00000e21: ADD
00000e22: DUP8
00000e23: SWAP1
00000e24: MSTORE
00000e25: PUSH1 0x22
00000e27: PUSH1 0x24
00000e29: DUP3
00000e2a: ADD
00000e2b: MSTORE
00000e2c: PUSH32 0x45524332303a206275726e20616d6f756e7420657863656564732062616c616e
00000e4d: PUSH1 0x44
00000e4f: DUP3
00000e50: ADD
00000e51: MSTORE
00000e52: PUSH2 0x6365
00000e55: PUSH1 0xf0
00000e57: SHL
00000e58: PUSH1 0x64
00000e5a: DUP3
00000e5b: ADD
00000e5c: MSTORE
00000e5d: PUSH1 0x84
00000e5f: SWAP1
00000e60: REVERT
00000e61: JUMPDEST
00000e62: DUP6
00000e63: MLOAD
00000e64: PUSH3 0x461bcd
00000e68: PUSH1 0xe5
00000e6a: SHL
00000e6b: DUP2
00000e6c: MSTORE
00000e6d: PUSH1 0x04
00000e6f: DUP2
00000e70: ADD
00000e71: DUP7
00000e72: SWAP1
00000e73: MSTORE
00000e74: PUSH1 0x21
00000e76: PUSH1 0x24
00000e78: DUP3
00000e79: ADD
00000e7a: MSTORE
00000e7b: PUSH32 0x45524332303a206275726e2066726f6d20746865207a65726f20616464726573
00000e9c: PUSH1 0x44
00000e9e: DUP3
00000e9f: ADD
00000ea0: MSTORE
00000ea1: PUSH1 0x73
00000ea3: PUSH1 0xf8
00000ea5: SHL
00000ea6: PUSH1 0x64
00000ea8: DUP3
00000ea9: ADD
00000eaa: MSTORE
00000eab: PUSH1 0x84
00000ead: SWAP1
00000eae: REVERT
00000eaf: JUMPDEST
00000eb0: DUP8
00000eb1: DUP3
00000eb2: MSTORE
00000eb3: PUSH1 0x01
00000eb5: DUP7
00000eb6: MSTORE
00000eb7: DUP7
00000eb8: DUP3
00000eb9: KECCAK256
00000eba: CALLER
00000ebb: DUP4
00000ebc: MSTORE
00000ebd: DUP7
00000ebe: MSTORE
00000ebf: DUP7
00000ec0: DUP3
00000ec1: KECCAK256
00000ec2: SLOAD
00000ec3: SWAP1
00000ec4: PUSH1 0x00
00000ec6: NOT
00000ec7: DUP3
00000ec8: SUB
00000ec9: PUSH2 0x0ed3
00000ecc: JUMPI
00000ecd: JUMPDEST
00000ece: POP
00000ecf: PUSH2 0x0d28
00000ed2: JUMP
00000ed3: JUMPDEST
00000ed4: DUP4
00000ed5: DUP3
00000ed6: SUB
00000ed7: SWAP2
00000ed8: DUP3
00000ed9: GT
00000eda: PUSH2 0x0ef0
00000edd: JUMPI
00000ede: SWAP1
00000edf: PUSH2 0x0ee9
00000ee2: SWAP2
00000ee3: CALLER
00000ee4: SWAP1
00000ee5: PUSH2 0x0f3f
00000ee8: JUMP
00000ee9: JUMPDEST
00000eea: CODESIZE
00000eeb: DUP1
00000eec: PUSH2 0x0ecd
00000eef: JUMP
00000ef0: JUMPDEST
00000ef1: PUSH4 0x4e487b71
00000ef6: PUSH1 0xe0
00000ef8: SHL
00000ef9: DUP4
00000efa: MSTORE
00000efb: PUSH1 0x11
00000efd: PUSH1 0x04
00000eff: MSTORE
00000f00: PUSH1 0x24
00000f02: DUP4
00000f03: REVERT
00000f04: JUMPDEST
00000f05: DUP7
00000f06: MLOAD
00000f07: PUSH3 0x461bcd
00000f0b: PUSH1 0xe5
00000f0d: SHL
00000f0e: DUP2
00000f0f: MSTORE
00000f10: PUSH1 0x04
00000f12: DUP2
00000f13: ADD
00000f14: DUP8
00000f15: SWAP1
00000f16: MSTORE
00000f17: PUSH1 0x14
00000f19: PUSH1 0x24
00000f1b: DUP3
00000f1c: ADD
00000f1d: MSTORE
00000f1e: PUSH20 0x494e53554646494349454e545f42414c414e4345
00000f33: PUSH1 0x60
00000f35: SHL
00000f36: PUSH1 0x44
00000f38: DUP3
00000f39: ADD
00000f3a: MSTORE
00000f3b: PUSH1 0x64
00000f3d: SWAP1
00000f3e: REVERT
00000f3f: JUMPDEST
00000f40: PUSH1 0x01
00000f42: PUSH1 0x01
00000f44: PUSH1 0xa0
00000f46: SHL
00000f47: SUB
00000f48: SWAP1
00000f49: DUP2
00000f4a: AND
00000f4b: SWAP2
00000f4c: DUP3
00000f4d: ISZERO
00000f4e: PUSH2 0x0ff0
00000f51: JUMPI
00000f52: AND
00000f53: SWAP2
00000f54: DUP3
00000f55: ISZERO
00000f56: PUSH2 0x0fa0
00000f59: JUMPI
00000f5a: PUSH1 0x20
00000f5c: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000f7d: SWAP2
00000f7e: DUP4
00000f7f: PUSH1 0x00
00000f81: MSTORE
00000f82: PUSH1 0x01
00000f84: DUP3
00000f85: MSTORE
00000f86: PUSH1 0x40
00000f88: PUSH1 0x00
00000f8a: KECCAK256
00000f8b: DUP6
00000f8c: PUSH1 0x00
00000f8e: MSTORE
00000f8f: DUP3
00000f90: MSTORE
00000f91: DUP1
00000f92: PUSH1 0x40
00000f94: PUSH1 0x00
00000f96: KECCAK256
00000f97: SSTORE
00000f98: PUSH1 0x40
00000f9a: MLOAD
00000f9b: SWAP1
00000f9c: DUP2
00000f9d: MSTORE
00000f9e: LOG3
00000f9f: JUMP
00000fa0: JUMPDEST
00000fa1: PUSH1 0x40
00000fa3: MLOAD
00000fa4: PUSH3 0x461bcd
00000fa8: PUSH1 0xe5
00000faa: SHL
00000fab: DUP2
00000fac: MSTORE
00000fad: PUSH1 0x20
00000faf: PUSH1 0x04
00000fb1: DUP3
00000fb2: ADD
00000fb3: MSTORE
00000fb4: PUSH1 0x22
00000fb6: PUSH1 0x24
00000fb8: DUP3
00000fb9: ADD
00000fba: MSTORE
00000fbb: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00000fdc: PUSH1 0x44
00000fde: DUP3
00000fdf: ADD
00000fe0: MSTORE
00000fe1: PUSH2 0x7373
00000fe4: PUSH1 0xf0
00000fe6: SHL
00000fe7: PUSH1 0x64
00000fe9: DUP3
00000fea: ADD
00000feb: MSTORE
00000fec: PUSH1 0x84
00000fee: SWAP1
00000fef: REVERT
00000ff0: JUMPDEST
00000ff1: PUSH1 0x40
00000ff3: MLOAD
00000ff4: PUSH3 0x461bcd
00000ff8: PUSH1 0xe5
00000ffa: SHL
00000ffb: DUP2
00000ffc: MSTORE
00000ffd: PUSH1 0x20
00000fff: PUSH1 0x04
00001001: DUP3
00001002: ADD
00001003: MSTORE
00001004: PUSH1 0x24
00001006: DUP1
00001007: DUP3
00001008: ADD
00001009: MSTORE
0000100a: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
0000102b: PUSH1 0x44
0000102d: DUP3
0000102e: ADD
0000102f: MSTORE
00001030: PUSH4 0x72657373
00001035: PUSH1 0xe0
00001037: SHL
00001038: PUSH1 0x64
0000103a: DUP3
0000103b: ADD
0000103c: MSTORE
0000103d: PUSH1 0x84
0000103f: SWAP1
00001040: REVERT
00001041: JUMPDEST
00001042: PUSH1 0x01
00001044: PUSH1 0x01
00001046: PUSH1 0xa0
00001048: SHL
00001049: SUB
0000104a: SWAP1
0000104b: DUP2
0000104c: AND
0000104d: SWAP2
0000104e: DUP3
0000104f: ISZERO
00001050: PUSH2 0x11c6
00001053: JUMPI
00001054: AND
00001055: SWAP2
00001056: DUP3
00001057: ISZERO
00001058: PUSH2 0x1175
0000105b: JUMPI
0000105c: PUSH1 0x00
0000105e: SWAP1
0000105f: DUP3
00001060: DUP3
00001061: MSTORE
00001062: PUSH1 0x20
00001064: SWAP2
00001065: PUSH1 0x07
00001067: DUP4
00001068: MSTORE
00001069: PUSH1 0x40
0000106b: SWAP1
0000106c: DUP2
0000106d: DUP2
0000106e: KECCAK256
0000106f: SLOAD
00001070: PUSH2 0x108b
00001073: PUSH10 0xd3c21bcecceda1000000
0000107e: SWAP2
0000107f: DUP3
00001080: PUSH2 0x0d54
00001083: PUSH1 0x06
00001085: SLOAD
00001086: DUP9
00001087: PUSH2 0x0b48
0000108a: JUMP
0000108b: JUMPDEST
0000108c: DUP7
0000108d: DUP4
0000108e: MSTORE
0000108f: PUSH1 0x07
00001091: DUP7
00001092: MSTORE
00001093: DUP4
00001094: DUP4
00001095: KECCAK256
00001096: SSTORE
00001097: DUP7
00001098: DUP3
00001099: MSTORE
0000109a: DUP3
0000109b: DUP3
0000109c: KECCAK256
0000109d: SLOAD
0000109e: SWAP1
0000109f: PUSH2 0x10aa
000010a2: PUSH1 0x06
000010a4: SLOAD
000010a5: DUP7
000010a6: PUSH2 0x0b48
000010a9: JUMP
000010aa: JUMPDEST
000010ab: DIV
000010ac: SWAP1
000010ad: DUP3
000010ae: DUP3
000010af: DUP3
000010b0: ADD
000010b1: SWAP3
000010b2: DUP4
000010b3: SLT
000010b4: SWAP2
000010b5: SLT
000010b6: SWAP1
000010b7: DUP1
000010b8: ISZERO
000010b9: DUP3
000010ba: AND
000010bb: SWAP2
000010bc: ISZERO
000010bd: AND
000010be: OR
000010bf: PUSH2 0x0ca0
000010c2: JUMPI
000010c3: DUP7
000010c4: DUP3
000010c5: MSTORE
000010c6: PUSH1 0x07
000010c8: DUP6
000010c9: MSTORE
000010ca: DUP3
000010cb: DUP3
000010cc: KECCAK256
000010cd: SSTORE
000010ce: DUP5
000010cf: DUP2
000010d0: MSTORE
000010d1: DUP1
000010d2: DUP5
000010d3: MSTORE
000010d4: DUP2
000010d5: DUP2
000010d6: KECCAK256
000010d7: SLOAD
000010d8: DUP4
000010d9: DUP2
000010da: LT
000010db: PUSH2 0x1122
000010de: JUMPI
000010df: SWAP2
000010e0: DUP2
000010e1: DUP5
000010e2: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001103: SWAP7
00001104: SWAP6
00001105: SWAP5
00001106: DUP9
00001107: DUP5
00001108: SWAP6
00001109: MSTORE
0000110a: DUP3
0000110b: DUP8
0000110c: MSTORE
0000110d: SUB
0000110e: DUP3
0000110f: DUP3
00001110: KECCAK256
00001111: SSTORE
00001112: DUP8
00001113: DUP2
00001114: MSTORE
00001115: KECCAK256
00001116: DUP3
00001117: DUP2
00001118: SLOAD
00001119: ADD
0000111a: SWAP1
0000111b: SSTORE
0000111c: MLOAD
0000111d: SWAP1
0000111e: DUP2
0000111f: MSTORE
00001120: LOG3
00001121: JUMP
00001122: JUMPDEST
00001123: DUP3
00001124: MLOAD
00001125: PUSH3 0x461bcd
00001129: PUSH1 0xe5
0000112b: SHL
0000112c: DUP2
0000112d: MSTORE
0000112e: PUSH1 0x04
00001130: DUP2
00001131: ADD
00001132: DUP7
00001133: SWAP1
00001134: MSTORE
00001135: PUSH1 0x26
00001137: PUSH1 0x24
00001139: DUP3
0000113a: ADD
0000113b: MSTORE
0000113c: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732062
0000115d: PUSH1 0x44
0000115f: DUP3
00001160: ADD
00001161: MSTORE
00001162: PUSH6 0x616c616e6365
00001169: PUSH1 0xd0
0000116b: SHL
0000116c: PUSH1 0x64
0000116e: DUP3
0000116f: ADD
00001170: MSTORE
00001171: PUSH1 0x84
00001173: SWAP1
00001174: REVERT
00001175: JUMPDEST
00001176: PUSH1 0x40
00001178: MLOAD
00001179: PUSH3 0x461bcd
0000117d: PUSH1 0xe5
0000117f: SHL
00001180: DUP2
00001181: MSTORE
00001182: PUSH1 0x20
00001184: PUSH1 0x04
00001186: DUP3
00001187: ADD
00001188: MSTORE
00001189: PUSH1 0x23
0000118b: PUSH1 0x24
0000118d: DUP3
0000118e: ADD
0000118f: MSTORE
00001190: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
000011b1: PUSH1 0x44
000011b3: DUP3
000011b4: ADD
000011b5: MSTORE
000011b6: PUSH3 0x657373
000011ba: PUSH1 0xe8
000011bc: SHL
000011bd: PUSH1 0x64
000011bf: DUP3
000011c0: ADD
000011c1: MSTORE
000011c2: PUSH1 0x84
000011c4: SWAP1
000011c5: REVERT
000011c6: JUMPDEST
000011c7: PUSH1 0x40
000011c9: MLOAD
000011ca: PUSH3 0x461bcd
000011ce: PUSH1 0xe5
000011d0: SHL
000011d1: DUP2
000011d2: MSTORE
000011d3: PUSH1 0x20
000011d5: PUSH1 0x04
000011d7: DUP3
000011d8: ADD
000011d9: MSTORE
000011da: PUSH1 0x25
000011dc: PUSH1 0x24
000011de: DUP3
000011df: ADD
000011e0: MSTORE
000011e1: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
00001202: PUSH1 0x44
00001204: DUP3
00001205: ADD
00001206: MSTORE
00001207: PUSH5 0x6472657373
0000120d: PUSH1 0xd8
0000120f: SHL
00001210: PUSH1 0x64
00001212: DUP3
00001213: ADD
00001214: MSTORE
00001215: PUSH1 0x84
00001217: SWAP1
00001218: REVERT
00001219: JUMPDEST
0000121a: PUSH1 0x02
0000121c: PUSH1 0x05
0000121e: SLOAD
0000121f: EQ
00001220: PUSH2 0x122a
00001223: JUMPI
00001224: PUSH1 0x02
00001226: PUSH1 0x05
00001228: SSTORE
00001229: JUMP
0000122a: JUMPDEST
0000122b: PUSH1 0x40
0000122d: MLOAD
0000122e: PUSH3 0x461bcd
00001232: PUSH1 0xe5
00001234: SHL
00001235: DUP2
00001236: MSTORE
00001237: PUSH1 0x20
00001239: PUSH1 0x04
0000123b: DUP3
0000123c: ADD
0000123d: MSTORE
0000123e: PUSH1 0x1f
00001240: PUSH1 0x24
00001242: DUP3
00001243: ADD
00001244: MSTORE
00001245: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00001266: PUSH1 0x44
00001268: DUP3
00001269: ADD
0000126a: MSTORE
0000126b: PUSH1 0x64
0000126d: SWAP1
0000126e: REVERT
0000126f: JUMPDEST
00001270: PUSH1 0x40
00001272: MLOAD
00001273: PUSH4 0xa9059cbb
00001278: PUSH1 0xe0
0000127a: SHL
0000127b: PUSH1 0x20
0000127d: DUP3
0000127e: ADD
0000127f: MSTORE
00001280: PUSH1 0x01
00001282: PUSH1 0x01
00001284: PUSH1 0xa0
00001286: SHL
00001287: SUB
00001288: SWAP1
00001289: SWAP3
0000128a: AND
0000128b: PUSH1 0x24
0000128d: DUP4
0000128e: ADD
0000128f: MSTORE
00001290: PUSH1 0x44
00001292: DUP1
00001293: DUP4
00001294: ADD
00001295: SWAP4
00001296: SWAP1
00001297: SWAP4
00001298: MSTORE
00001299: SWAP2
0000129a: DUP2
0000129b: MSTORE
0000129c: PUSH1 0x80
0000129e: DUP2
0000129f: ADD
000012a0: SWAP2
000012a1: PUSH8 0xffffffffffffffff
000012aa: DUP4
000012ab: GT
000012ac: DUP3
000012ad: DUP5
000012ae: LT
000012af: OR
000012b0: PUSH2 0x0b32
000012b3: JUMPI
000012b4: PUSH2 0x12bf
000012b7: SWAP3
000012b8: PUSH1 0x40
000012ba: MSTORE
000012bb: PUSH2 0x1316
000012be: JUMP
000012bf: JUMPDEST
000012c0: JUMP
000012c1: JUMPDEST
000012c2: PUSH1 0x40
000012c4: MLOAD
000012c5: PUSH4 0x23b872dd
000012ca: PUSH1 0xe0
000012cc: SHL
000012cd: PUSH1 0x20
000012cf: DUP3
000012d0: ADD
000012d1: MSTORE
000012d2: PUSH1 0x01
000012d4: PUSH1 0x01
000012d6: PUSH1 0xa0
000012d8: SHL
000012d9: SUB
000012da: SWAP3
000012db: DUP4
000012dc: AND
000012dd: PUSH1 0x24
000012df: DUP3
000012e0: ADD
000012e1: MSTORE
000012e2: SWAP3
000012e3: SWAP1
000012e4: SWAP2
000012e5: AND
000012e6: PUSH1 0x44
000012e8: DUP4
000012e9: ADD
000012ea: MSTORE
000012eb: PUSH1 0x64
000012ed: DUP1
000012ee: DUP4
000012ef: ADD
000012f0: SWAP4
000012f1: SWAP1
000012f2: SWAP4
000012f3: MSTORE
000012f4: SWAP2
000012f5: DUP2
000012f6: MSTORE
000012f7: PUSH1 0xa0
000012f9: DUP2
000012fa: ADD
000012fb: SWAP2
000012fc: DUP2
000012fd: DUP4
000012fe: LT
000012ff: PUSH8 0xffffffffffffffff
00001308: DUP5
00001309: GT
0000130a: OR
0000130b: PUSH2 0x0b32
0000130e: JUMPI
0000130f: PUSH2 0x12bf
00001312: SWAP3
00001313: PUSH1 0x40
00001315: MSTORE
00001316: JUMPDEST
00001317: PUSH1 0x01
00001319: DUP1
0000131a: PUSH1 0xa0
0000131c: SHL
0000131d: SUB
0000131e: AND
0000131f: SWAP1
00001320: PUSH1 0x40
00001322: MLOAD
00001323: PUSH1 0x40
00001325: DUP2
00001326: ADD
00001327: PUSH8 0xffffffffffffffff
00001330: SWAP1
00001331: DUP3
00001332: DUP2
00001333: LT
00001334: DUP3
00001335: DUP3
00001336: GT
00001337: OR
00001338: PUSH2 0x0b32
0000133b: JUMPI
0000133c: PUSH1 0x40
0000133e: MSTORE
0000133f: PUSH1 0x20
00001341: SWAP4
00001342: DUP5
00001343: DUP4
00001344: MSTORE
00001345: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00001366: DUP6
00001367: DUP5
00001368: ADD
00001369: MSTORE
0000136a: PUSH1 0x00
0000136c: DUP1
0000136d: DUP6
0000136e: DUP8
0000136f: DUP3
00001370: SWAP8
00001371: MLOAD
00001372: SWAP2
00001373: ADD
00001374: DUP3
00001375: DUP6
00001376: GAS
00001377: CALL
00001378: SWAP1
00001379: RETURNDATASIZE
0000137a: ISZERO
0000137b: PUSH2 0x145b
0000137e: JUMPI
0000137f: RETURNDATASIZE
00001380: SWAP3
00001381: DUP4
00001382: GT
00001383: PUSH2 0x1447
00001386: JUMPI
00001387: SWAP1
00001388: PUSH2 0x13b1
0000138b: SWAP4
0000138c: SWAP3
0000138d: SWAP2
0000138e: PUSH1 0x40
00001390: MLOAD
00001391: SWAP3
00001392: PUSH2 0x13a4
00001395: DUP9
00001396: PUSH1 0x1f
00001398: NOT
00001399: PUSH1 0x1f
0000139b: DUP5
0000139c: ADD
0000139d: AND
0000139e: ADD
0000139f: DUP6
000013a0: PUSH2 0x0b10
000013a3: JUMP
000013a4: JUMPDEST
000013a5: DUP4
000013a6: MSTORE
000013a7: RETURNDATASIZE
000013a8: DUP7
000013a9: DUP9
000013aa: DUP6
000013ab: ADD
000013ac: RETURNDATACOPY
000013ad: PUSH2 0x1466
000013b0: JUMP
000013b1: JUMPDEST
000013b2: DUP1
000013b3: MLOAD
000013b4: SWAP2
000013b5: DUP3
000013b6: ISZERO
000013b7: SWAP2
000013b8: DUP5
000013b9: DUP4
000013ba: ISZERO
000013bb: PUSH2 0x1423
000013be: JUMPI
000013bf: JUMPDEST
000013c0: POP
000013c1: POP
000013c2: POP
000013c3: SWAP1
000013c4: POP
000013c5: ISZERO
000013c6: PUSH2 0x13cc
000013c9: JUMPI
000013ca: POP
000013cb: JUMP
000013cc: JUMPDEST
000013cd: PUSH1 0x84
000013cf: SWAP1
000013d0: PUSH1 0x40
000013d2: MLOAD
000013d3: SWAP1
000013d4: PUSH3 0x461bcd
000013d8: PUSH1 0xe5
000013da: SHL
000013db: DUP3
000013dc: MSTORE
000013dd: PUSH1 0x04
000013df: DUP3
000013e0: ADD
000013e1: MSTORE
000013e2: PUSH1 0x2a
000013e4: PUSH1 0x24
000013e6: DUP3
000013e7: ADD
000013e8: MSTORE
000013e9: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
0000140a: PUSH1 0x44
0000140c: DUP3
0000140d: ADD
0000140e: MSTORE
0000140f: PUSH10 0x1bdd081cdd58d8d95959
0000141a: PUSH1 0xb2
0000141c: SHL
0000141d: PUSH1 0x64
0000141f: DUP3
00001420: ADD
00001421: MSTORE
00001422: REVERT
00001423: JUMPDEST
00001424: SWAP2
00001425: SWAP4
00001426: DUP2
00001427: DUP1
00001428: SWAP5
00001429: POP
0000142a: ADD
0000142b: SUB
0000142c: SLT
0000142d: PUSH2 0x01de
00001430: JUMPI
00001431: DUP3
00001432: ADD
00001433: MLOAD
00001434: SWAP1
00001435: DUP2
00001436: ISZERO
00001437: ISZERO
00001438: DUP3
00001439: SUB
0000143a: PUSH2 0x02ec
0000143d: JUMPI
0000143e: POP
0000143f: DUP1
00001440: CODESIZE
00001441: DUP1
00001442: DUP5
00001443: PUSH2 0x13bf
00001446: JUMP
00001447: JUMPDEST
00001448: PUSH4 0x4e487b71
0000144d: PUSH1 0xe0
0000144f: SHL
00001450: DUP6
00001451: MSTORE
00001452: PUSH1 0x41
00001454: PUSH1 0x04
00001456: MSTORE
00001457: PUSH1 0x24
00001459: DUP6
0000145a: REVERT
0000145b: JUMPDEST
0000145c: SWAP1
0000145d: PUSH2 0x13b1
00001460: SWAP4
00001461: SWAP3
00001462: POP
00001463: PUSH1 0x60
00001465: SWAP2
00001466: JUMPDEST
00001467: SWAP2
00001468: SWAP3
00001469: SWAP1
0000146a: ISZERO
0000146b: PUSH2 0x14c8
0000146e: JUMPI
0000146f: POP
00001470: DUP2
00001471: MLOAD
00001472: ISZERO
00001473: PUSH2 0x147a
00001476: JUMPI
00001477: POP
00001478: SWAP1
00001479: JUMP
0000147a: JUMPDEST
0000147b: EXTCODESIZE
0000147c: ISZERO
0000147d: PUSH2 0x1483
00001480: JUMPI
00001481: SWAP1
00001482: JUMP
00001483: JUMPDEST
00001484: PUSH1 0x40
00001486: MLOAD
00001487: PUSH3 0x461bcd
0000148b: PUSH1 0xe5
0000148d: SHL
0000148e: DUP2
0000148f: MSTORE
00001490: PUSH1 0x20
00001492: PUSH1 0x04
00001494: DUP3
00001495: ADD
00001496: MSTORE
00001497: PUSH1 0x1d
00001499: PUSH1 0x24
0000149b: DUP3
0000149c: ADD
0000149d: MSTORE
0000149e: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
000014bf: PUSH1 0x44
000014c1: DUP3
000014c2: ADD
000014c3: MSTORE
000014c4: PUSH1 0x64
000014c6: SWAP1
000014c7: REVERT
000014c8: JUMPDEST
000014c9: DUP3
000014ca: MLOAD
000014cb: SWAP1
000014cc: SWAP2
000014cd: POP
000014ce: ISZERO
000014cf: PUSH2 0x14db
000014d2: JUMPI
000014d3: POP
000014d4: DUP1
000014d5: MLOAD
000014d6: SWAP1
000014d7: PUSH1 0x20
000014d9: ADD
000014da: REVERT
000014db: JUMPDEST
000014dc: PUSH1 0x40
000014de: MLOAD
000014df: PUSH3 0x461bcd
000014e3: PUSH1 0xe5
000014e5: SHL
000014e6: DUP2
000014e7: MSTORE
000014e8: SWAP1
000014e9: DUP2
000014ea: SWAP1
000014eb: PUSH2 0x14f7
000014ee: SWAP1
000014ef: PUSH1 0x04
000014f1: DUP4
000014f2: ADD
000014f3: PUSH2 0x09f8
000014f6: JUMP
000014f7: JUMPDEST
000014f8: SUB
000014f9: SWAP1
000014fa: REVERT
000014fb: INVALID
000014fc: LOG2
000014fd: PUSH5 0x6970667358
00001503: UNKNOWN(0x22)
00001504: SLT
00001505: KECCAK256
00001506: MULMOD
00001507: PUSH3 0x0ef067
0000150b: UNKNOWN(0x2E)
0000150c: UNKNOWN(0xBF)
0000150d: DUP2
0000150e: UNKNOWN(0xAA)
0000150f: DUP15
00001510: UNKNOWN(0xB2)
00001511: UNKNOWN(0x24)
00001512: TSTORE
00001513: RETURNDATACOPY
00001514: UNKNOWN(0x27)
00001515: BLOBHASH
00001516: SUB
00001517: DUP14
00001518: UNKNOWN(0x2A)
00001519: UNKNOWN(0xF6)
0000151a: DUP5
0000151b: UNKNOWN(0xC7)
0000151c: CREATE2
0000151d: UNKNOWN(0xE1)
0000151e: CLZ
0000151f: JUMPDEST
00001520: PUSH27