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-dbhi26_a)
'forge config --json' running
'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-dbhi26_a)
'forge' returned non-zero exit code 1
2026-01-12T19:35:25.777051Z ERROR foundry_compilers_artifacts_solc::sources: error="/tmp/slither-dbhi26_a/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-dbhi26_a/contracts/token/HODLToken.sol"
stdout: with remappings:
stdout:       openzeppelin-contracts/=/tmp/slither-dbhi26_a/lib/openzeppelin-contracts/
stdout:       @openzeppelin/contracts/=/tmp/slither-dbhi26_a/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
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-dbhi26_a/out/build-info is not a directory.

{"no_findings":true,"summary":"Reviewed Distributions and HODLToken; no exploitable issues found within the requested focus areas.","findings":[]}

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

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

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

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

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

================================================================================
FILE: contracts/interfaces/IDistributions.sol
================================================================================
// SPDX-License-Identifier: UNLICENSED
pragma solidity 0.8.4;

/**
 * @title IDistributions interface
 * @author DeOrderBook
 * @custom:license Copyright (c) DeOrderBook, 2023 — All Rights Reserved
 * @dev Interface for managing fee and reward distributions
 */
interface IDistributions {
    /**
     * @notice Get the entry fee ratio
     * @dev Returns the current entry fee ratio in basis points (i.e., parts per 10,000)
     * @return The current entry fee ratio
Reconnecting... 1/5



thinking
**Analyzing contract vulnerabilities**
thinking
**Detailing fee and reentrancy concerns**

I’m exploring subtle issues in fee transfers requiring user allowance, potential reentrancy paths via the underlying token’s external calls, and an overflow bug in distribution percentages that can cause misleading fee sums and overcharging. I’m also reflecting on upgradeable contract storage practices and usability quirks around allowance and scaling factors.
thinking
**Summarizing no exploitable vulnerabilities detected**

I reviewed the Distributions and HODLToken contracts thoroughly for reentrancy, access control, upgradeability, math, and external call issues and found no exploitable vulnerabilities within the scoped areas.
codex
{"no_findings":true,"summary":"Reviewed Distributions and HODLToken; no exploitable issues found within the requested focus areas.","findings":[]}
tokens used
15,319

{
    "codex": {
        "ran_at": "2026-01-12T19:23:14.446544+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "source",
        "file_count": 22,
        "import_count": 28,
        "first_party_contracts_count": 3
    },
    "summary": "Reviewed Distributions and HODLToken; no exploitable issues found within the requested focus areas.",
    "raw_final": {
        "summary": "Reviewed Distributions and HODLToken; no exploitable issues found within the requested focus areas.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH2 0x0010
0000000b: JUMPI
0000000c: PUSH1 0x00
0000000e: DUP1
0000000f: REVERT
00000010: JUMPDEST
00000011: POP
00000012: PUSH1 0x04
00000014: CALLDATASIZE
00000015: LT
00000016: PUSH2 0x0158
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x70a08231
00000026: GT
00000027: PUSH2 0x00c3
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xa9059cbb
00000031: GT
00000032: PUSH2 0x007c
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xa9059cbb
0000003c: EQ
0000003d: PUSH2 0x02eb
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xaa545300
00000047: EQ
00000048: PUSH2 0x02fe
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xb6b55f25
00000052: EQ
00000053: PUSH2 0x0312
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xdd62ed3e
0000005d: EQ
0000005e: PUSH2 0x0325
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xe4e940f0
00000068: EQ
00000069: PUSH2 0x035e
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0xf2fde38b
00000073: EQ
00000074: PUSH2 0x0385
00000077: JUMPI
00000078: PUSH1 0x00
0000007a: DUP1
0000007b: REVERT
0000007c: JUMPDEST
0000007d: DUP1
0000007e: PUSH4 0x70a08231
00000083: EQ
00000084: PUSH2 0x0285
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0x715018a6
0000008e: EQ
0000008f: PUSH2 0x02ae
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0x7ffdf53e
00000099: EQ
0000009a: PUSH2 0x02b6
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0x8da5cb5b
000000a4: EQ
000000a5: PUSH2 0x02bf
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0x95d89b41
000000af: EQ
000000b0: PUSH2 0x02d0
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0xa457c2d7
000000ba: EQ
000000bb: PUSH2 0x02d8
000000be: JUMPI
000000bf: PUSH1 0x00
000000c1: DUP1
000000c2: REVERT
000000c3: JUMPDEST
000000c4: DUP1
000000c5: PUSH4 0x2e1a7d4d
000000ca: GT
000000cb: PUSH2 0x0115
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x2e1a7d4d
000000d5: EQ
000000d6: PUSH2 0x01eb
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x2f4f21e2
000000e0: EQ
000000e1: PUSH2 0x01fe
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x310c87cc
000000eb: EQ
000000ec: PUSH2 0x0211
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x313ce567
000000f6: EQ
000000f7: PUSH2 0x023c
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0x39509351
00000101: EQ
00000102: PUSH2 0x024b
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0x6f307dc3
0000010c: EQ
0000010d: PUSH2 0x025e
00000110: JUMPI
00000111: PUSH1 0x00
00000113: DUP1
00000114: REVERT
00000115: JUMPDEST
00000116: DUP1
00000117: PUSH4 0x0184bf90
0000011c: EQ
0000011d: PUSH2 0x015d
00000120: JUMPI
00000121: DUP1
00000122: PUSH4 0x06fdde03
00000127: EQ
00000128: PUSH2 0x0172
0000012b: JUMPI
0000012c: DUP1
0000012d: PUSH4 0x095ea7b3
00000132: EQ
00000133: PUSH2 0x0190
00000136: JUMPI
00000137: DUP1
00000138: PUSH4 0x18160ddd
0000013d: EQ
0000013e: PUSH2 0x01b3
00000141: JUMPI
00000142: DUP1
00000143: PUSH4 0x205c2878
00000148: EQ
00000149: PUSH2 0x01c5
0000014c: JUMPI
0000014d: DUP1
0000014e: PUSH4 0x23b872dd
00000153: EQ
00000154: PUSH2 0x01d8
00000157: JUMPI
00000158: JUMPDEST
00000159: PUSH1 0x00
0000015b: DUP1
0000015c: REVERT
0000015d: JUMPDEST
0000015e: PUSH2 0x0170
00000161: PUSH2 0x016b
00000164: CALLDATASIZE
00000165: PUSH1 0x04
00000167: PUSH2 0x163e
0000016a: JUMP
0000016b: JUMPDEST
0000016c: PUSH2 0x0398
0000016f: JUMP
00000170: JUMPDEST
00000171: STOP
00000172: JUMPDEST
00000173: PUSH2 0x017a
00000176: PUSH2 0x04a3
00000179: JUMP
0000017a: JUMPDEST
0000017b: PUSH1 0x40
0000017d: MLOAD
0000017e: PUSH2 0x0187
00000181: SWAP2
00000182: SWAP1
00000183: PUSH2 0x16fc
00000186: JUMP
00000187: JUMPDEST
00000188: PUSH1 0x40
0000018a: MLOAD
0000018b: DUP1
0000018c: SWAP2
0000018d: SUB
0000018e: SWAP1
0000018f: RETURN
00000190: JUMPDEST
00000191: PUSH2 0x01a3
00000194: PUSH2 0x019e
00000197: CALLDATASIZE
00000198: PUSH1 0x04
0000019a: PUSH2 0x15f7
0000019d: JUMP
0000019e: JUMPDEST
0000019f: PUSH2 0x0535
000001a2: JUMP
000001a3: JUMPDEST
000001a4: PUSH1 0x40
000001a6: MLOAD
000001a7: SWAP1
000001a8: ISZERO
000001a9: ISZERO
000001aa: DUP2
000001ab: MSTORE
000001ac: PUSH1 0x20
000001ae: ADD
000001af: PUSH2 0x0187
000001b2: JUMP
000001b3: JUMPDEST
000001b4: PUSH1 0x02
000001b6: SLOAD
000001b7: JUMPDEST
000001b8: PUSH1 0x40
000001ba: MLOAD
000001bb: SWAP1
000001bc: DUP2
000001bd: MSTORE
000001be: PUSH1 0x20
000001c0: ADD
000001c1: PUSH2 0x0187
000001c4: JUMP
000001c5: JUMPDEST
000001c6: PUSH2 0x01a3
000001c9: PUSH2 0x01d3
000001cc: CALLDATASIZE
000001cd: PUSH1 0x04
000001cf: PUSH2 0x15f7
000001d2: JUMP
000001d3: JUMPDEST
000001d4: PUSH2 0x054c
000001d7: JUMP
000001d8: JUMPDEST
000001d9: PUSH2 0x01a3
000001dc: PUSH2 0x01e6
000001df: CALLDATASIZE
000001e0: PUSH1 0x04
000001e2: PUSH2 0x15b7
000001e5: JUMP
000001e6: JUMPDEST
000001e7: PUSH2 0x0824
000001ea: JUMP
000001eb: JUMPDEST
000001ec: PUSH2 0x01a3
000001ef: PUSH2 0x01f9
000001f2: CALLDATASIZE
000001f3: PUSH1 0x04
000001f5: PUSH2 0x167d
000001f8: JUMP
000001f9: JUMPDEST
000001fa: PUSH2 0x08d0
000001fd: JUMP
000001fe: JUMPDEST
000001ff: PUSH2 0x01a3
00000202: PUSH2 0x020c
00000205: CALLDATASIZE
00000206: PUSH1 0x04
00000208: PUSH2 0x15f7
0000020b: JUMP
0000020c: JUMPDEST
0000020d: PUSH2 0x0972
00000210: JUMP
00000211: JUMPDEST
00000212: PUSH1 0x06
00000214: SLOAD
00000215: PUSH2 0x0224
00000218: SWAP1
00000219: PUSH1 0x01
0000021b: PUSH1 0x01
0000021d: PUSH1 0xa0
0000021f: SHL
00000220: SUB
00000221: AND
00000222: DUP2
00000223: JUMP
00000224: JUMPDEST
00000225: PUSH1 0x40
00000227: MLOAD
00000228: PUSH1 0x01
0000022a: PUSH1 0x01
0000022c: PUSH1 0xa0
0000022e: SHL
0000022f: SUB
00000230: SWAP1
00000231: SWAP2
00000232: AND
00000233: DUP2
00000234: MSTORE
00000235: PUSH1 0x20
00000237: ADD
00000238: PUSH2 0x0187
0000023b: JUMP
0000023c: JUMPDEST
0000023d: PUSH1 0x40
0000023f: MLOAD
00000240: PUSH1 0x12
00000242: DUP2
00000243: MSTORE
00000244: PUSH1 0x20
00000246: ADD
00000247: PUSH2 0x0187
0000024a: JUMP
0000024b: JUMPDEST
0000024c: PUSH2 0x01a3
0000024f: PUSH2 0x0259
00000252: CALLDATASIZE
00000253: PUSH1 0x04
00000255: PUSH2 0x15f7
00000258: JUMP
00000259: JUMPDEST
0000025a: PUSH2 0x0a66
0000025d: JUMP
0000025e: JUMPDEST
0000025f: PUSH2 0x0224
00000262: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000283: DUP2
00000284: JUMP
00000285: JUMPDEST
00000286: PUSH2 0x01b7
00000289: PUSH2 0x0293
0000028c: CALLDATASIZE
0000028d: PUSH1 0x04
0000028f: PUSH2 0x1563
00000292: JUMP
00000293: JUMPDEST
00000294: PUSH1 0x01
00000296: PUSH1 0x01
00000298: PUSH1 0xa0
0000029a: SHL
0000029b: SUB
0000029c: AND
0000029d: PUSH1 0x00
0000029f: SWAP1
000002a0: DUP2
000002a1: MSTORE
000002a2: PUSH1 0x20
000002a4: DUP2
000002a5: SWAP1
000002a6: MSTORE
000002a7: PUSH1 0x40
000002a9: SWAP1
000002aa: KECCAK256
000002ab: SLOAD
000002ac: SWAP1
000002ad: JUMP
000002ae: JUMPDEST
000002af: PUSH2 0x0170
000002b2: PUSH2 0x0aa2
000002b5: JUMP
000002b6: JUMPDEST
000002b7: PUSH2 0x01b7
000002ba: PUSH1 0x07
000002bc: SLOAD
000002bd: DUP2
000002be: JUMP
000002bf: JUMPDEST
000002c0: PUSH1 0x05
000002c2: SLOAD
000002c3: PUSH1 0x01
000002c5: PUSH1 0x01
000002c7: PUSH1 0xa0
000002c9: SHL
000002ca: SUB
000002cb: AND
000002cc: PUSH2 0x0224
000002cf: JUMP
000002d0: JUMPDEST
000002d1: PUSH2 0x017a
000002d4: PUSH2 0x0ad8
000002d7: JUMP
000002d8: JUMPDEST
000002d9: PUSH2 0x01a3
000002dc: PUSH2 0x02e6
000002df: CALLDATASIZE
000002e0: PUSH1 0x04
000002e2: PUSH2 0x15f7
000002e5: JUMP
000002e6: JUMPDEST
000002e7: PUSH2 0x0ae7
000002ea: JUMP
000002eb: JUMPDEST
000002ec: PUSH2 0x01a3
000002ef: PUSH2 0x02f9
000002f2: CALLDATASIZE
000002f3: PUSH1 0x04
000002f5: PUSH2 0x15f7
000002f8: JUMP
000002f9: JUMPDEST
000002fa: PUSH2 0x0b76
000002fd: JUMP
000002fe: JUMPDEST
000002ff: PUSH1 0x05
00000301: SLOAD
00000302: PUSH2 0x01a3
00000305: SWAP1
00000306: PUSH1 0x01
00000308: PUSH1 0xa0
0000030a: SHL
0000030b: SWAP1
0000030c: DIV
0000030d: PUSH1 0xff
0000030f: AND
00000310: DUP2
00000311: JUMP
00000312: JUMPDEST
00000313: PUSH2 0x01a3
00000316: PUSH2 0x0320
00000319: CALLDATASIZE
0000031a: PUSH1 0x04
0000031c: PUSH2 0x167d
0000031f: JUMP
00000320: JUMPDEST
00000321: PUSH2 0x0b83
00000324: JUMP
00000325: JUMPDEST
00000326: PUSH2 0x01b7
00000329: PUSH2 0x0333
0000032c: CALLDATASIZE
0000032d: PUSH1 0x04
0000032f: PUSH2 0x157f
00000332: JUMP
00000333: JUMPDEST
00000334: PUSH1 0x01
00000336: PUSH1 0x01
00000338: PUSH1 0xa0
0000033a: SHL
0000033b: SUB
0000033c: SWAP2
0000033d: DUP3
0000033e: AND
0000033f: PUSH1 0x00
00000341: SWAP1
00000342: DUP2
00000343: MSTORE
00000344: PUSH1 0x01
00000346: PUSH1 0x20
00000348: SWAP1
00000349: DUP2
0000034a: MSTORE
0000034b: PUSH1 0x40
0000034d: DUP1
0000034e: DUP4
0000034f: KECCAK256
00000350: SWAP4
00000351: SWAP1
00000352: SWAP5
00000353: AND
00000354: DUP3
00000355: MSTORE
00000356: SWAP2
00000357: SWAP1
00000358: SWAP2
00000359: MSTORE
0000035a: KECCAK256
0000035b: SLOAD
0000035c: SWAP1
0000035d: JUMP
0000035e: JUMPDEST
0000035f: PUSH2 0x0224
00000362: PUSH32 0x000000000000000000000000349660bc15df1da5d31c1ee8abcef76f05194962
00000383: DUP2
00000384: JUMP
00000385: JUMPDEST
00000386: PUSH2 0x0170
00000389: PUSH2 0x0393
0000038c: CALLDATASIZE
0000038d: PUSH1 0x04
0000038f: PUSH2 0x1563
00000392: JUMP
00000393: JUMPDEST
00000394: PUSH2 0x0b8f
00000397: JUMP
00000398: JUMPDEST
00000399: PUSH1 0x05
0000039b: SLOAD
0000039c: PUSH1 0x01
0000039e: PUSH1 0x01
000003a0: PUSH1 0xa0
000003a2: SHL
000003a3: SUB
000003a4: AND
000003a5: CALLER
000003a6: EQ
000003a7: PUSH2 0x03cb
000003aa: JUMPI
000003ab: PUSH1 0x40
000003ad: MLOAD
000003ae: PUSH3 0x461bcd
000003b2: PUSH1 0xe5
000003b4: SHL
000003b5: DUP2
000003b6: MSTORE
000003b7: PUSH1 0x04
000003b9: ADD
000003ba: PUSH2 0x03c2
000003bd: SWAP1
000003be: PUSH2 0x172f
000003c1: JUMP
000003c2: JUMPDEST
000003c3: PUSH1 0x40
000003c5: MLOAD
000003c6: DUP1
000003c7: SWAP2
000003c8: SUB
000003c9: SWAP1
000003ca: REVERT
000003cb: JUMPDEST
000003cc: DUP2
000003cd: ISZERO
000003ce: PUSH2 0x0484
000003d1: JUMPI
000003d2: PUSH1 0x01
000003d4: PUSH1 0x01
000003d6: PUSH1 0xa0
000003d8: SHL
000003d9: SUB
000003da: DUP2
000003db: AND
000003dc: PUSH2 0x0427
000003df: JUMPI
000003e0: PUSH1 0x40
000003e2: MLOAD
000003e3: PUSH3 0x461bcd
000003e7: PUSH1 0xe5
000003e9: SHL
000003ea: DUP2
000003eb: MSTORE
000003ec: PUSH1 0x20
000003ee: PUSH1 0x04
000003f0: DUP3
000003f1: ADD
000003f2: MSTORE
000003f3: PUSH1 0x1b
000003f5: PUSH1 0x24
000003f7: DUP3
000003f8: ADD
000003f9: MSTORE
000003fa: PUSH32 0x484f444c546f6b656e3a204e4654207a65726f20616464726573730000000000
0000041b: PUSH1 0x44
0000041d: DUP3
0000041e: ADD
0000041f: MSTORE
00000420: PUSH1 0x64
00000422: ADD
00000423: PUSH2 0x03c2
00000426: JUMP
00000427: JUMPDEST
00000428: DUP1
00000429: EXTCODESIZE
0000042a: DUP1
0000042b: PUSH2 0x0467
0000042e: JUMPI
0000042f: PUSH1 0x40
00000431: MLOAD
00000432: PUSH3 0x461bcd
00000436: PUSH1 0xe5
00000438: SHL
00000439: DUP2
0000043a: MSTORE
0000043b: PUSH1 0x20
0000043d: PUSH1 0x04
0000043f: DUP3
00000440: ADD
00000441: MSTORE
00000442: PUSH1 0x0e
00000444: PUSH1 0x24
00000446: DUP3
00000447: ADD
00000448: MSTORE
00000449: PUSH14 0x139bdd08184818dbdb9d1c9858dd
00000458: PUSH1 0x92
0000045a: SHL
0000045b: PUSH1 0x44
0000045d: DUP3
0000045e: ADD
0000045f: MSTORE
00000460: PUSH1 0x64
00000462: ADD
00000463: PUSH2 0x03c2
00000466: JUMP
00000467: JUMPDEST
00000468: POP
00000469: PUSH1 0x06
0000046b: DUP1
0000046c: SLOAD
0000046d: PUSH1 0x01
0000046f: PUSH1 0x01
00000471: PUSH1 0xa0
00000473: SHL
00000474: SUB
00000475: NOT
00000476: AND
00000477: PUSH1 0x01
00000479: PUSH1 0x01
0000047b: PUSH1 0xa0
0000047d: SHL
0000047e: SUB
0000047f: DUP4
00000480: AND
00000481: OR
00000482: SWAP1
00000483: SSTORE
00000484: JUMPDEST
00000485: POP
00000486: PUSH1 0x05
00000488: DUP1
00000489: SLOAD
0000048a: SWAP2
0000048b: ISZERO
0000048c: ISZERO
0000048d: PUSH1 0x01
0000048f: PUSH1 0xa0
00000491: SHL
00000492: MUL
00000493: PUSH1 0xff
00000495: PUSH1 0xa0
00000497: SHL
00000498: NOT
00000499: SWAP1
0000049a: SWAP3
0000049b: AND
0000049c: SWAP2
0000049d: SWAP1
0000049e: SWAP2
0000049f: OR
000004a0: SWAP1
000004a1: SSTORE
000004a2: JUMP
000004a3: JUMPDEST
000004a4: PUSH1 0x60
000004a6: PUSH1 0x03
000004a8: DUP1
000004a9: SLOAD
000004aa: PUSH2 0x04b2
000004ad: SWAP1
000004ae: PUSH2 0x18e9
000004b1: JUMP
000004b2: JUMPDEST
000004b3: DUP1
000004b4: PUSH1 0x1f
000004b6: ADD
000004b7: PUSH1 0x20
000004b9: DUP1
000004ba: SWAP2
000004bb: DIV
000004bc: MUL
000004bd: PUSH1 0x20
000004bf: ADD
000004c0: PUSH1 0x40
000004c2: MLOAD
000004c3: SWAP1
000004c4: DUP2
000004c5: ADD
000004c6: PUSH1 0x40
000004c8: MSTORE
000004c9: DUP1
000004ca: SWAP3
000004cb: SWAP2
000004cc: SWAP1
000004cd: DUP2
000004ce: DUP2
000004cf: MSTORE
000004d0: PUSH1 0x20
000004d2: ADD
000004d3: DUP3
000004d4: DUP1
000004d5: SLOAD
000004d6: PUSH2 0x04de
000004d9: SWAP1
000004da: PUSH2 0x18e9
000004dd: JUMP
000004de: JUMPDEST
000004df: DUP1
000004e0: ISZERO
000004e1: PUSH2 0x052b
000004e4: JUMPI
000004e5: DUP1
000004e6: PUSH1 0x1f
000004e8: LT
000004e9: PUSH2 0x0500
000004ec: JUMPI
000004ed: PUSH2 0x0100
000004f0: DUP1
000004f1: DUP4
000004f2: SLOAD
000004f3: DIV
000004f4: MUL
000004f5: DUP4
000004f6: MSTORE
000004f7: SWAP2
000004f8: PUSH1 0x20
000004fa: ADD
000004fb: SWAP2
000004fc: PUSH2 0x052b
000004ff: JUMP
00000500: JUMPDEST
00000501: DUP3
00000502: ADD
00000503: SWAP2
00000504: SWAP1
00000505: PUSH1 0x00
00000507: MSTORE
00000508: PUSH1 0x20
0000050a: PUSH1 0x00
0000050c: KECCAK256
0000050d: SWAP1
0000050e: JUMPDEST
0000050f: DUP2
00000510: SLOAD
00000511: DUP2
00000512: MSTORE
00000513: SWAP1
00000514: PUSH1 0x01
00000516: ADD
00000517: SWAP1
00000518: PUSH1 0x20
0000051a: ADD
0000051b: DUP1
0000051c: DUP4
0000051d: GT
0000051e: PUSH2 0x050e
00000521: JUMPI
00000522: DUP3
00000523: SWAP1
00000524: SUB
00000525: PUSH1 0x1f
00000527: AND
00000528: DUP3
00000529: ADD
0000052a: SWAP2
0000052b: JUMPDEST
0000052c: POP
0000052d: POP
0000052e: POP
0000052f: POP
00000530: POP
00000531: SWAP1
00000532: POP
00000533: SWAP1
00000534: JUMP
00000535: JUMPDEST
00000536: PUSH1 0x00
00000538: PUSH2 0x0542
0000053b: CALLER
0000053c: DUP5
0000053d: DUP5
0000053e: PUSH2 0x0c2a
00000541: JUMP
00000542: JUMPDEST
00000543: POP
00000544: PUSH1 0x01
00000546: JUMPDEST
00000547: SWAP3
00000548: SWAP2
00000549: POP
0000054a: POP
0000054b: JUMP
0000054c: JUMPDEST
0000054d: PUSH1 0x00
0000054f: DUP1
00000550: PUSH2 0x05fa
00000553: PUSH2 0x2710
00000556: PUSH2 0x05f4
00000559: PUSH32 0x000000000000000000000000349660bc15df1da5d31c1ee8abcef76f05194962
0000057a: PUSH1 0x01
0000057c: PUSH1 0x01
0000057e: PUSH1 0xa0
00000580: SHL
00000581: SUB
00000582: AND
00000583: PUSH4 0xffda6e37
00000588: PUSH1 0x40
0000058a: MLOAD
0000058b: DUP2
0000058c: PUSH4 0xffffffff
00000591: AND
00000592: PUSH1 0xe0
00000594: SHL
00000595: DUP2
00000596: MSTORE
00000597: PUSH1 0x04
00000599: ADD
0000059a: PUSH1 0x20
0000059c: PUSH1 0x40
0000059e: MLOAD
0000059f: DUP1
000005a0: DUP4
000005a1: SUB
000005a2: DUP2
000005a3: DUP7
000005a4: DUP1
000005a5: EXTCODESIZE
000005a6: ISZERO
000005a7: DUP1
000005a8: ISZERO
000005a9: PUSH2 0x05b1
000005ac: JUMPI
000005ad: PUSH1 0x00
000005af: DUP1
000005b0: REVERT
000005b1: JUMPDEST
000005b2: POP
000005b3: GAS
000005b4: STATICCALL
000005b5: ISZERO
000005b6: DUP1
000005b7: ISZERO
000005b8: PUSH2 0x05c5
000005bb: JUMPI
000005bc: RETURNDATASIZE
000005bd: PUSH1 0x00
000005bf: DUP1
000005c0: RETURNDATACOPY
000005c1: RETURNDATASIZE
000005c2: PUSH1 0x00
000005c4: REVERT
000005c5: JUMPDEST
000005c6: POP
000005c7: POP
000005c8: POP
000005c9: POP
000005ca: PUSH1 0x40
000005cc: MLOAD
000005cd: RETURNDATASIZE
000005ce: PUSH1 0x1f
000005d0: NOT
000005d1: PUSH1 0x1f
000005d3: DUP3
000005d4: ADD
000005d5: AND
000005d6: DUP3
000005d7: ADD
000005d8: DUP1
000005d9: PUSH1 0x40
000005db: MSTORE
000005dc: POP
000005dd: DUP2
000005de: ADD
000005df: SWAP1
000005e0: PUSH2 0x05e9
000005e3: SWAP2
000005e4: SWAP1
000005e5: PUSH2 0x165b
000005e8: JUMP
000005e9: JUMPDEST
000005ea: DUP7
000005eb: SWAP1
000005ec: PUSH2 0xffff
000005ef: AND
000005f0: PUSH2 0x0d4f
000005f3: JUMP
000005f4: JUMPDEST
000005f5: SWAP1
000005f6: PUSH2 0x0d5b
000005f9: JUMP
000005fa: JUMPDEST
000005fb: SWAP1
000005fc: POP
000005fd: PUSH1 0x00
000005ff: PUSH2 0x061a
00000602: PUSH1 0x07
00000604: SLOAD
00000605: PUSH1 0x0a
00000607: PUSH2 0x0610
0000060a: SWAP2
0000060b: SWAP1
0000060c: PUSH2 0x17df
0000060f: JUMP
00000610: JUMPDEST
00000611: PUSH2 0x05f4
00000614: DUP7
00000615: DUP6
00000616: PUSH2 0x0d67
00000619: JUMP
0000061a: JUMPDEST
0000061b: SWAP1
0000061c: POP
0000061d: PUSH1 0x00
0000061f: PUSH2 0x064a
00000622: PUSH2 0x063a
00000625: PUSH1 0x07
00000627: SLOAD
00000628: PUSH1 0x0a
0000062a: PUSH2 0x0633
0000062d: SWAP2
0000062e: SWAP1
0000062f: PUSH2 0x17df
00000632: JUMP
00000633: JUMPDEST
00000634: DUP5
00000635: SWAP1
00000636: PUSH2 0x0d4f
00000639: JUMP
0000063a: JUMPDEST
0000063b: PUSH2 0x0644
0000063e: DUP8
0000063f: DUP7
00000640: PUSH2 0x0d67
00000643: JUMP
00000644: JUMPDEST
00000645: SWAP1
00000646: PUSH2 0x0d67
00000649: JUMP
0000064a: JUMPDEST
0000064b: SWAP1
0000064c: POP
0000064d: PUSH1 0x00
0000064f: PUSH2 0x0658
00000652: DUP5
00000653: DUP4
00000654: PUSH2 0x0d73
00000657: JUMP
00000658: JUMPDEST
00000659: SWAP1
0000065a: POP
0000065b: PUSH1 0x00
0000065d: PUSH2 0x0666
00000660: DUP8
00000661: DUP4
00000662: PUSH2 0x0d67
00000665: JUMP
00000666: JUMPDEST
00000667: SWAP1
00000668: POP
00000669: PUSH2 0x0672
0000066c: CALLER
0000066d: DUP3
0000066e: PUSH2 0x0d7f
00000671: JUMP
00000672: JUMPDEST
00000673: PUSH1 0x00
00000675: JUMPDEST
00000676: PUSH32 0x000000000000000000000000349660bc15df1da5d31c1ee8abcef76f05194962
00000697: PUSH1 0x01
00000699: PUSH1 0x01
0000069b: PUSH1 0xa0
0000069d: SHL
0000069e: SUB
0000069f: AND
000006a0: PUSH4 0x49ee1fd5
000006a5: PUSH1 0x40
000006a7: MLOAD
000006a8: DUP2
000006a9: PUSH4 0xffffffff
000006ae: AND
000006af: PUSH1 0xe0
000006b1: SHL
000006b2: DUP2
000006b3: MSTORE
000006b4: PUSH1 0x04
000006b6: ADD
000006b7: PUSH1 0x20
000006b9: PUSH1 0x40
000006bb: MLOAD
000006bc: DUP1
000006bd: DUP4
000006be: SUB
000006bf: DUP2
000006c0: DUP7
000006c1: DUP1
000006c2: EXTCODESIZE
000006c3: ISZERO
000006c4: DUP1
000006c5: ISZERO
000006c6: PUSH2 0x06ce
000006c9: JUMPI
000006ca: PUSH1 0x00
000006cc: DUP1
000006cd: REVERT
000006ce: JUMPDEST
000006cf: POP
000006d0: GAS
000006d1: STATICCALL
000006d2: ISZERO
000006d3: DUP1
000006d4: ISZERO
000006d5: PUSH2 0x06e2
000006d8: JUMPI
000006d9: RETURNDATASIZE
000006da: PUSH1 0x00
000006dc: DUP1
000006dd: RETURNDATACOPY
000006de: RETURNDATASIZE
000006df: PUSH1 0x00
000006e1: REVERT
000006e2: JUMPDEST
000006e3: POP
000006e4: POP
000006e5: POP
000006e6: POP
000006e7: PUSH1 0x40
000006e9: MLOAD
000006ea: RETURNDATASIZE
000006eb: PUSH1 0x1f
000006ed: NOT
000006ee: PUSH1 0x1f
000006f0: DUP3
000006f1: ADD
000006f2: AND
000006f3: DUP3
000006f4: ADD
000006f5: DUP1
000006f6: PUSH1 0x40
000006f8: MSTORE
000006f9: POP
000006fa: DUP2
000006fb: ADD
000006fc: SWAP1
000006fd: PUSH2 0x0706
00000700: SWAP2
00000701: SWAP1
00000702: PUSH2 0x1695
00000705: JUMP
00000706: JUMPDEST
00000707: DUP2
00000708: PUSH1 0xff
0000070a: AND
0000070b: LT
0000070c: ISZERO
0000070d: PUSH2 0x07ea
00000710: JUMPI
00000711: PUSH1 0x40
00000713: MLOAD
00000714: PUSH4 0x1c4c66a9
00000719: PUSH1 0xe1
0000071b: SHL
0000071c: DUP2
0000071d: MSTORE
0000071e: PUSH1 0xff
00000720: DUP3
00000721: AND
00000722: PUSH1 0x04
00000724: DUP3
00000725: ADD
00000726: MSTORE
00000727: PUSH1 0x00
00000729: SWAP1
0000072a: DUP2
0000072b: SWAP1
0000072c: PUSH1 0x01
0000072e: PUSH1 0x01
00000730: PUSH1 0xa0
00000732: SHL
00000733: SUB
00000734: PUSH32 0x000000000000000000000000349660bc15df1da5d31c1ee8abcef76f05194962
00000755: AND
00000756: SWAP1
00000757: PUSH4 0x3898cd52
0000075c: SWAP1
0000075d: PUSH1 0x24
0000075f: ADD
00000760: PUSH1 0x40
00000762: DUP1
00000763: MLOAD
00000764: DUP1
00000765: DUP4
00000766: SUB
00000767: DUP2
00000768: DUP7
00000769: DUP1
0000076a: EXTCODESIZE
0000076b: ISZERO
0000076c: DUP1
0000076d: ISZERO
0000076e: PUSH2 0x0776
00000771: JUMPI
00000772: PUSH1 0x00
00000774: DUP1
00000775: REVERT
00000776: JUMPDEST
00000777: POP
00000778: GAS
00000779: STATICCALL
0000077a: ISZERO
0000077b: DUP1
0000077c: ISZERO
0000077d: PUSH2 0x078a
00000780: JUMPI
00000781: RETURNDATASIZE
00000782: PUSH1 0x00
00000784: DUP1
00000785: RETURNDATACOPY
00000786: RETURNDATASIZE
00000787: PUSH1 0x00
00000789: REVERT
0000078a: JUMPDEST
0000078b: POP
0000078c: POP
0000078d: POP
0000078e: POP
0000078f: PUSH1 0x40
00000791: MLOAD
00000792: RETURNDATASIZE
00000793: PUSH1 0x1f
00000795: NOT
00000796: PUSH1 0x1f
00000798: DUP3
00000799: ADD
0000079a: AND
0000079b: DUP3
0000079c: ADD
0000079d: DUP1
0000079e: PUSH1 0x40
000007a0: MSTORE
000007a1: POP
000007a2: DUP2
000007a3: ADD
000007a4: SWAP1
000007a5: PUSH2 0x07ae
000007a8: SWAP2
000007a9: SWAP1
000007aa: PUSH2 0x16ad
000007ad: JUMP
000007ae: JUMPDEST
000007af: SWAP2
000007b0: POP
000007b1: SWAP2
000007b2: POP
000007b3: PUSH2 0x07d5
000007b6: ADDRESS
000007b7: PUSH2 0x07bd
000007ba: CALLER
000007bb: SWAP1
000007bc: JUMP
000007bd: JUMPDEST
000007be: DUP4
000007bf: PUSH2 0x07d0
000007c2: PUSH1 0x64
000007c4: PUSH2 0x05f4
000007c7: DUP12
000007c8: PUSH1 0xff
000007ca: DUP11
000007cb: AND
000007cc: PUSH2 0x0d4f
000007cf: JUMP
000007d0: JUMPDEST
000007d1: PUSH2 0x0eca
000007d4: JUMP
000007d5: JUMPDEST
000007d6: POP
000007d7: POP
000007d8: DUP1
000007d9: DUP1
000007da: PUSH2 0x07e2
000007dd: SWAP1
000007de: PUSH2 0x1924
000007e1: JUMP
000007e2: JUMPDEST
000007e3: SWAP2
000007e4: POP
000007e5: POP
000007e6: PUSH2 0x0675
000007e9: JUMP
000007ea: JUMPDEST
000007eb: POP
000007ec: PUSH2 0x0816
000007ef: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000810: DUP10
00000811: DUP7
00000812: PUSH2 0x0f3b
00000815: JUMP
00000816: JUMPDEST
00000817: POP
00000818: PUSH1 0x01
0000081a: SWAP8
0000081b: SWAP7
0000081c: POP
0000081d: POP
0000081e: POP
0000081f: POP
00000820: POP
00000821: POP
00000822: POP
00000823: JUMP
00000824: JUMPDEST
00000825: PUSH1 0x00
00000827: PUSH2 0x0831
0000082a: DUP5
0000082b: DUP5
0000082c: DUP5
0000082d: PUSH2 0x0f6b
00000830: JUMP
00000831: JUMPDEST
00000832: PUSH1 0x01
00000834: PUSH1 0x01
00000836: PUSH1 0xa0
00000838: SHL
00000839: SUB
0000083a: DUP5
0000083b: AND
0000083c: PUSH1 0x00
0000083e: SWAP1
0000083f: DUP2
00000840: MSTORE
00000841: PUSH1 0x01
00000843: PUSH1 0x20
00000845: SWAP1
00000846: DUP2
00000847: MSTORE
00000848: PUSH1 0x40
0000084a: DUP1
0000084b: DUP4
0000084c: KECCAK256
0000084d: CALLER
0000084e: DUP5
0000084f: MSTORE
00000850: SWAP1
00000851: SWAP2
00000852: MSTORE
00000853: SWAP1
00000854: KECCAK256
00000855: SLOAD
00000856: DUP3
00000857: DUP2
00000858: LT
00000859: ISZERO
0000085a: PUSH2 0x08b6
0000085d: JUMPI
0000085e: PUSH1 0x40
00000860: MLOAD
00000861: PUSH3 0x461bcd
00000865: PUSH1 0xe5
00000867: SHL
00000868: DUP2
00000869: MSTORE
0000086a: PUSH1 0x20
0000086c: PUSH1 0x04
0000086e: DUP3
0000086f: ADD
00000870: MSTORE
00000871: PUSH1 0x28
00000873: PUSH1 0x24
00000875: DUP3
00000876: ADD
00000877: MSTORE
00000878: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732061
00000899: PUSH1 0x44
0000089b: DUP3
0000089c: ADD
0000089d: MSTORE
0000089e: PUSH8 0x6c6c6f77616e6365
000008a7: PUSH1 0xc0
000008a9: SHL
000008aa: PUSH1 0x64
000008ac: DUP3
000008ad: ADD
000008ae: MSTORE
000008af: PUSH1 0x84
000008b1: ADD
000008b2: PUSH2 0x03c2
000008b5: JUMP
000008b6: JUMPDEST
000008b7: PUSH2 0x08c3
000008ba: DUP6
000008bb: CALLER
000008bc: DUP6
000008bd: DUP5
000008be: SUB
000008bf: PUSH2 0x0c2a
000008c2: JUMP
000008c3: JUMPDEST
000008c4: PUSH1 0x01
000008c6: SWAP2
000008c7: POP
000008c8: POP
000008c9: JUMPDEST
000008ca: SWAP4
000008cb: SWAP3
000008cc: POP
000008cd: POP
000008ce: POP
000008cf: JUMP
000008d0: JUMPDEST
000008d1: PUSH1 0x00
000008d3: CALLER
000008d4: PUSH2 0x091f
000008d7: JUMPI
000008d8: PUSH1 0x40
000008da: MLOAD
000008db: PUSH3 0x461bcd
000008df: PUSH1 0xe5
000008e1: SHL
000008e2: DUP2
000008e3: MSTORE
000008e4: PUSH1 0x20
000008e6: PUSH1 0x04
000008e8: DUP3
000008e9: ADD
000008ea: MSTORE
000008eb: PUSH1 0x17
000008ed: PUSH1 0x24
000008ef: DUP3
000008f0: ADD
000008f1: MSTORE
000008f2: PUSH32 0x484f444c546f6b656e3a207a65726f2061646472657373000000000000000000
00000913: PUSH1 0x44
00000915: DUP3
00000916: ADD
00000917: MSTORE
00000918: PUSH1 0x64
0000091a: ADD
0000091b: PUSH2 0x03c2
0000091e: JUMP
0000091f: JUMPDEST
00000920: PUSH1 0x00
00000922: DUP3
00000923: GT
00000924: PUSH2 0x0968
00000927: JUMPI
00000928: PUSH1 0x40
0000092a: MLOAD
0000092b: PUSH3 0x461bcd
0000092f: PUSH1 0xe5
00000931: SHL
00000932: DUP2
00000933: MSTORE
00000934: PUSH1 0x20
00000936: PUSH1 0x04
00000938: DUP3
00000939: ADD
0000093a: MSTORE
0000093b: PUSH1 0x16
0000093d: PUSH1 0x24
0000093f: DUP3
00000940: ADD
00000941: MSTORE
00000942: PUSH22 0x1213d113151bdad95b8e881e995c9bc8185b5bdd5b9d
00000959: PUSH1 0x52
0000095b: SHL
0000095c: PUSH1 0x44
0000095e: DUP3
0000095f: ADD
00000960: MSTORE
00000961: PUSH1 0x64
00000963: ADD
00000964: PUSH2 0x03c2
00000967: JUMP
00000968: JUMPDEST
00000969: PUSH2 0x0542
0000096c: CALLER
0000096d: DUP4
0000096e: PUSH2 0x054c
00000971: JUMP
00000972: JUMPDEST
00000973: PUSH1 0x00
00000975: DUP1
00000976: DUP3
00000977: GT
00000978: PUSH2 0x09bc
0000097b: JUMPI
0000097c: PUSH1 0x40
0000097e: MLOAD
0000097f: PUSH3 0x461bcd
00000983: PUSH1 0xe5
00000985: SHL
00000986: DUP2
00000987: MSTORE
00000988: PUSH1 0x20
0000098a: PUSH1 0x04
0000098c: DUP3
0000098d: ADD
0000098e: MSTORE
0000098f: PUSH1 0x16
00000991: PUSH1 0x24
00000993: DUP3
00000994: ADD
00000995: MSTORE
00000996: PUSH22 0x1213d113151bdad95b8e881e995c9bc8185b5bdd5b9d
000009ad: PUSH1 0x52
000009af: SHL
000009b0: PUSH1 0x44
000009b2: DUP3
000009b3: ADD
000009b4: MSTORE
000009b5: PUSH1 0x64
000009b7: ADD
000009b8: PUSH2 0x03c2
000009bb: JUMP
000009bc: JUMPDEST
000009bd: PUSH2 0x09c4
000009c0: PUSH2 0x1139
000009c3: JUMP
000009c4: JUMPDEST
000009c5: PUSH2 0x0a10
000009c8: JUMPI
000009c9: PUSH1 0x40
000009cb: MLOAD
000009cc: PUSH3 0x461bcd
000009d0: PUSH1 0xe5
000009d2: SHL
000009d3: DUP2
000009d4: MSTORE
000009d5: PUSH1 0x20
000009d7: PUSH1 0x04
000009d9: DUP3
000009da: ADD
000009db: MSTORE
000009dc: PUSH1 0x1e
000009de: PUSH1 0x24
000009e0: DUP3
000009e1: ADD
000009e2: MSTORE
000009e3: PUSH32 0x484f444c546f6b656e3a20796f7520646f206e6f742068617665204e46540000
00000a04: PUSH1 0x44
00000a06: DUP3
00000a07: ADD
00000a08: MSTORE
00000a09: PUSH1 0x64
00000a0b: ADD
00000a0c: PUSH2 0x03c2
00000a0f: JUMP
00000a10: JUMPDEST
00000a11: PUSH2 0x0a3c
00000a14: PUSH32 0x000000000000000000000000a0b86991c6218b36c1d19d4a2e9eb0ce3606eb48
00000a35: CALLER
00000a36: ADDRESS
00000a37: DUP6
00000a38: PUSH2 0x0eca
00000a3b: JUMP
00000a3c: JUMPDEST
00000a3d: PUSH1 0x00
00000a3f: PUSH2 0x0a50
00000a42: PUSH1 0x07
00000a44: SLOAD
00000a45: PUSH1 0x0a
00000a47: PUSH2 0x0633
00000a4a: SWAP2
00000a4b: SWAP1
00000a4c: PUSH2 0x17df
00000a4f: JUMP
00000a50: JUMPDEST
00000a51: SWAP1
00000a52: POP
00000a53: PUSH2 0x0a5c
00000a56: DUP5
00000a57: DUP3
00000a58: PUSH2 0x11e8
00000a5b: JUMP
00000a5c: JUMPDEST
00000a5d: POP
00000a5e: PUSH1 0x01
00000a60: SWAP4
00000a61: SWAP3
00000a62: POP
00000a63: POP
00000a64: POP
00000a65: JUMP
00000a66: JUMPDEST
00000a67: CALLER
00000a68: PUSH1 0x00
00000a6a: DUP2
00000a6b: DUP2
00000a6c: MSTORE
00000a6d: PUSH1 0x01
00000a6f: PUSH1 0x20
00000a71: SWAP1
00000a72: DUP2
00000a73: MSTORE
00000a74: PUSH1 0x40
00000a76: DUP1
00000a77: DUP4
00000a78: KECCAK256
00000a79: PUSH1 0x01
00000a7b: PUSH1 0x01
00000a7d: PUSH1 0xa0
00000a7f: SHL
00000a80: SUB
00000a81: DUP8
00000a82: AND
00000a83: DUP5
00000a84: MSTORE
00000a85: SWAP1
00000a86: SWAP2
00000a87: MSTORE
00000a88: DUP2
00000a89: KECCAK256
00000a8a: SLOAD
00000a8b: SWAP1
00000a8c: SWAP2
00000a8d: PUSH2 0x0542
00000a90: SWAP2
00000a91: DUP6
00000a92: SWAP1
00000a93: PUSH2 0x0a9d
00000a96: SWAP1
00000a97: DUP7
00000a98: SWAP1
00000a99: PUSH2 0x1764
00000a9c: JUMP
00000a9d: JUMPDEST
00000a9e: PUSH2 0x0c2a
00000aa1: JUMP
00000aa2: JUMPDEST
00000aa3: PUSH1 0x05
00000aa5: SLOAD
00000aa6: PUSH1 0x01
00000aa8: PUSH1 0x01
00000aaa: PUSH1 0xa0
00000aac: SHL
00000aad: SUB
00000aae: AND
00000aaf: CALLER
00000ab0: EQ
00000ab1: PUSH2 0x0acc
00000ab4: JUMPI
00000ab5: PUSH1 0x40
00000ab7: MLOAD
00000ab8: PUSH3 0x461bcd
00000abc: PUSH1 0xe5
00000abe: SHL
00000abf: DUP2
00000ac0: MSTORE
00000ac1: PUSH1 0x04
00000ac3: ADD
00000ac4: PUSH2 0x03c2
00000ac7: SWAP1
00000ac8: PUSH2 0x172f
00000acb: JUMP
00000acc: JUMPDEST
00000acd: PUSH2 0x0ad6
00000ad0: PUSH1 0x00
00000ad2: PUSH2 0x12c7
00000ad5: JUMP
00000ad6: JUMPDEST
00000ad7: JUMP
00000ad8: JUMPDEST
00000ad9: PUSH1 0x60
00000adb: PUSH1 0x04
00000add: DUP1
00000ade: SLOAD
00000adf: PUSH2 0x04b2
00000ae2: SWAP1
00000ae3: PUSH2 0x18e9
00000ae6: JUMP
00000ae7: JUMPDEST
00000ae8: CALLER
00000ae9: PUSH1 0x00
00000aeb: SWAP1
00000aec: DUP2
00000aed: MSTORE
00000aee: PUSH1 0x01
00000af0: PUSH1 0x20
00000af2: SWAP1
00000af3: DUP2
00000af4: MSTORE
00000af5: PUSH1 0x40
00000af7: DUP1
00000af8: DUP4
00000af9: KECCAK256
00000afa: PUSH1 0x01
00000afc: PUSH1 0x01
00000afe: PUSH1 0xa0
00000b00: SHL
00000b01: SUB
00000b02: DUP7
00000b03: AND
00000b04: DUP5
00000b05: MSTORE
00000b06: SWAP1
00000b07: SWAP2
00000b08: MSTORE
00000b09: DUP2
00000b0a: KECCAK256
00000b0b: SLOAD
00000b0c: DUP3
00000b0d: DUP2
00000b0e: LT
00000b0f: ISZERO
00000b10: PUSH2 0x0b69
00000b13: JUMPI
00000b14: PUSH1 0x40
00000b16: MLOAD
00000b17: PUSH3 0x461bcd
00000b1b: PUSH1 0xe5
00000b1d: SHL
00000b1e: DUP2
00000b1f: MSTORE
00000b20: PUSH1 0x20
00000b22: PUSH1 0x04
00000b24: DUP3
00000b25: ADD
00000b26: MSTORE
00000b27: PUSH1 0x25
00000b29: PUSH1 0x24
00000b2b: DUP3
00000b2c: ADD
00000b2d: MSTORE
00000b2e: PUSH32 0x45524332303a2064656372656173656420616c6c6f77616e63652062656c6f77
00000b4f: PUSH1 0x44
00000b51: DUP3
00000b52: ADD
00000b53: MSTORE
00000b54: PUSH5 0x207a65726f
00000b5a: PUSH1 0xd8
00000b5c: SHL
00000b5d: PUSH1 0x64
00000b5f: DUP3
00000b60: ADD
00000b61: MSTORE
00000b62: PUSH1 0x84
00000b64: ADD
00000b65: PUSH2 0x03c2
00000b68: JUMP
00000b69: JUMPDEST
00000b6a: PUSH2 0x0a5c
00000b6d: CALLER
00000b6e: DUP6
00000b6f: DUP6
00000b70: DUP5
00000b71: SUB
00000b72: PUSH2 0x0c2a
00000b75: JUMP
00000b76: JUMPDEST
00000b77: PUSH1 0x00
00000b79: PUSH2 0x0542
00000b7c: CALLER
00000b7d: DUP5
00000b7e: DUP5
00000b7f: PUSH2 0x0f6b
00000b82: JUMP
00000b83: JUMPDEST
00000b84: PUSH1 0x00
00000b86: PUSH2 0x0542
00000b89: CALLER
00000b8a: DUP4
00000b8b: PUSH2 0x0972
00000b8e: JUMP
00000b8f: JUMPDEST
00000b90: PUSH1 0x05
00000b92: SLOAD
00000b93: PUSH1 0x01
00000b95: PUSH1 0x01
00000b97: PUSH1 0xa0
00000b99: SHL
00000b9a: SUB
00000b9b: AND
00000b9c: CALLER
00000b9d: EQ
00000b9e: PUSH2 0x0bb9
00000ba1: JUMPI
00000ba2: PUSH1 0x40
00000ba4: MLOAD
00000ba5: PUSH3 0x461bcd
00000ba9: PUSH1 0xe5
00000bab: SHL
00000bac: DUP2
00000bad: MSTORE
00000bae: PUSH1 0x04
00000bb0: ADD
00000bb1: PUSH2 0x03c2
00000bb4: SWAP1
00000bb5: PUSH2 0x172f
00000bb8: JUMP
00000bb9: JUMPDEST
00000bba: PUSH1 0x01
00000bbc: PUSH1 0x01
00000bbe: PUSH1 0xa0
00000bc0: SHL
00000bc1: SUB
00000bc2: DUP2
00000bc3: AND
00000bc4: PUSH2 0x0c1e
00000bc7: JUMPI
00000bc8: PUSH1 0x40
00000bca: MLOAD
00000bcb: PUSH3 0x461bcd
00000bcf: PUSH1 0xe5
00000bd1: SHL
00000bd2: DUP2
00000bd3: MSTORE
00000bd4: PUSH1 0x20
00000bd6: PUSH1 0x04
00000bd8: DUP3
00000bd9: ADD
00000bda: MSTORE
00000bdb: PUSH1 0x26
00000bdd: PUSH1 0x24
00000bdf: DUP3
00000be0: ADD
00000be1: MSTORE
00000be2: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00000c03: PUSH1 0x44
00000c05: DUP3
00000c06: ADD
00000c07: MSTORE
00000c08: PUSH6 0x646472657373
00000c0f: PUSH1 0xd0
00000c11: SHL
00000c12: PUSH1 0x64
00000c14: DUP3
00000c15: ADD
00000c16: MSTORE
00000c17: PUSH1 0x84
00000c19: ADD
00000c1a: PUSH2 0x03c2
00000c1d: JUMP
00000c1e: JUMPDEST
00000c1f: PUSH2 0x0c27
00000c22: DUP2
00000c23: PUSH2 0x12c7
00000c26: JUMP
00000c27: JUMPDEST
00000c28: POP
00000c29: JUMP
00000c2a: JUMPDEST
00000c2b: PUSH1 0x01
00000c2d: PUSH1 0x01
00000c2f: PUSH1 0xa0
00000c31: SHL
00000c32: SUB
00000c33: DUP4
00000c34: AND
00000c35: PUSH2 0x0c8c
00000c38: JUMPI
00000c39: PUSH1 0x40
00000c3b: MLOAD
00000c3c: PUSH3 0x461bcd
00000c40: PUSH1 0xe5
00000c42: SHL
00000c43: DUP2
00000c44: MSTORE
00000c45: PUSH1 0x20
00000c47: PUSH1 0x04
00000c49: DUP3
00000c4a: ADD
00000c4b: MSTORE
00000c4c: PUSH1 0x24
00000c4e: DUP1
00000c4f: DUP3
00000c50: ADD
00000c51: MSTORE
00000c52: PUSH32 0x45524332303a20617070726f76652066726f6d20746865207a65726f20616464
00000c73: PUSH1 0x44
00000c75: DUP3
00000c76: ADD
00000c77: MSTORE
00000c78: PUSH4 0x72657373
00000c7d: PUSH1 0xe0
00000c7f: SHL
00000c80: PUSH1 0x64
00000c82: DUP3
00000c83: ADD
00000c84: MSTORE
00000c85: PUSH1 0x84
00000c87: ADD
00000c88: PUSH2 0x03c2
00000c8b: JUMP
00000c8c: JUMPDEST
00000c8d: PUSH1 0x01
00000c8f: PUSH1 0x01
00000c91: PUSH1 0xa0
00000c93: SHL
00000c94: SUB
00000c95: DUP3
00000c96: AND
00000c97: PUSH2 0x0ced
00000c9a: JUMPI
00000c9b: PUSH1 0x40
00000c9d: MLOAD
00000c9e: PUSH3 0x461bcd
00000ca2: PUSH1 0xe5
00000ca4: SHL
00000ca5: DUP2
00000ca6: MSTORE
00000ca7: PUSH1 0x20
00000ca9: PUSH1 0x04
00000cab: DUP3
00000cac: ADD
00000cad: MSTORE
00000cae: PUSH1 0x22
00000cb0: PUSH1 0x24
00000cb2: DUP3
00000cb3: ADD
00000cb4: MSTORE
00000cb5: PUSH32 0x45524332303a20617070726f766520746f20746865207a65726f206164647265
00000cd6: PUSH1 0x44
00000cd8: DUP3
00000cd9: ADD
00000cda: MSTORE
00000cdb: PUSH2 0x7373
00000cde: PUSH1 0xf0
00000ce0: SHL
00000ce1: PUSH1 0x64
00000ce3: DUP3
00000ce4: ADD
00000ce5: MSTORE
00000ce6: PUSH1 0x84
00000ce8: ADD
00000ce9: PUSH2 0x03c2
00000cec: JUMP
00000ced: JUMPDEST
00000cee: PUSH1 0x01
00000cf0: PUSH1 0x01
00000cf2: PUSH1 0xa0
00000cf4: SHL
00000cf5: SUB
00000cf6: DUP4
00000cf7: DUP2
00000cf8: AND
00000cf9: PUSH1 0x00
00000cfb: DUP2
00000cfc: DUP2
00000cfd: MSTORE
00000cfe: PUSH1 0x01
00000d00: PUSH1 0x20
00000d02: SWAP1
00000d03: DUP2
00000d04: MSTORE
00000d05: PUSH1 0x40
00000d07: DUP1
00000d08: DUP4
00000d09: KECCAK256
00000d0a: SWAP5
00000d0b: DUP8
00000d0c: AND
00000d0d: DUP1
00000d0e: DUP5
00000d0f: MSTORE
00000d10: SWAP5
00000d11: DUP3
00000d12: MSTORE
00000d13: SWAP2
00000d14: DUP3
00000d15: SWAP1
00000d16: KECCAK256
00000d17: DUP6
00000d18: SWAP1
00000d19: SSTORE
00000d1a: SWAP1
00000d1b: MLOAD
00000d1c: DUP5
00000d1d: DUP2
00000d1e: MSTORE
00000d1f: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000d40: SWAP2
00000d41: ADD
00000d42: JUMPDEST
00000d43: PUSH1 0x40
00000d45: MLOAD
00000d46: DUP1
00000d47: SWAP2
00000d48: SUB
00000d49: SWAP1
00000d4a: LOG3
00000d4b: POP
00000d4c: POP
00000d4d: POP
00000d4e: JUMP
00000d4f: JUMPDEST
00000d50: PUSH1 0x00
00000d52: PUSH2 0x08c9
00000d55: DUP3
00000d56: DUP5
00000d57: PUSH2 0x1887
00000d5a: JUMP
00000d5b: JUMPDEST
00000d5c: PUSH1 0x00
00000d5e: PUSH2 0x08c9
00000d61: DUP3
00000d62: DUP5
00000d63: PUSH2 0x177c
00000d66: JUMP
00000d67: JUMPDEST
00000d68: PUSH1 0x00
00000d6a: PUSH2 0x08c9
00000d6d: DUP3
00000d6e: DUP5
00000d6f: PUSH2 0x18a6
00000d72: JUMP
00000d73: JUMPDEST
00000d74: PUSH1 0x00
00000d76: PUSH2 0x08c9
00000d79: DUP3
00000d7a: DUP5
00000d7b: PUSH2 0x1764
00000d7e: JUMP
00000d7f: JUMPDEST
00000d80: PUSH1 0x01
00000d82: PUSH1 0x01
00000d84: PUSH1 0xa0
00000d86: SHL
00000d87: SUB
00000d88: DUP3
00000d89: AND
00000d8a: PUSH2 0x0ddf
00000d8d: JUMPI
00000d8e: PUSH1 0x40
00000d90: MLOAD
00000d91: PUSH3 0x461bcd
00000d95: PUSH1 0xe5
00000d97: SHL
00000d98: DUP2
00000d99: MSTORE
00000d9a: PUSH1 0x20
00000d9c: PUSH1 0x04
00000d9e: DUP3
00000d9f: ADD
00000da0: MSTORE
00000da1: PUSH1 0x21
00000da3: PUSH1 0x24
00000da5: DUP3
00000da6: ADD
00000da7: MSTORE
00000da8: PUSH32 0x45524332303a206275726e2066726f6d20746865207a65726f20616464726573
00000dc9: PUSH1 0x44
00000dcb: DUP3
00000dcc: ADD
00000dcd: MSTORE
00000dce: PUSH1 0x73
00000dd0: PUSH1 0xf8
00000dd2: SHL
00000dd3: PUSH1 0x64
00000dd5: DUP3
00000dd6: ADD
00000dd7: MSTORE
00000dd8: PUSH1 0x84
00000dda: ADD
00000ddb: PUSH2 0x03c2
00000dde: JUMP
00000ddf: JUMPDEST
00000de0: PUSH1 0x01
00000de2: PUSH1 0x01
00000de4: PUSH1 0xa0
00000de6: SHL
00000de7: SUB
00000de8: DUP3
00000de9: AND
00000dea: PUSH1 0x00
00000dec: SWAP1
00000ded: DUP2
00000dee: MSTORE
00000def: PUSH1 0x20
00000df1: DUP2
00000df2: SWAP1
00000df3: MSTORE
00000df4: PUSH1 0x40
00000df6: SWAP1
00000df7: KECCAK256
00000df8: SLOAD
00000df9: DUP2
00000dfa: DUP2
00000dfb: LT
00000dfc: ISZERO
00000dfd: PUSH2 0x0e53
00000e00: JUMPI
00000e01: PUSH1 0x40
00000e03: MLOAD
00000e04: PUSH3 0x461bcd
00000e08: PUSH1 0xe5
00000e0a: SHL
00000e0b: DUP2
00000e0c: MSTORE
00000e0d: PUSH1 0x20
00000e0f: PUSH1 0x04
00000e11: DUP3
00000e12: ADD
00000e13: MSTORE
00000e14: PUSH1 0x22
00000e16: PUSH1 0x24
00000e18: DUP3
00000e19: ADD
00000e1a: MSTORE
00000e1b: PUSH32 0x45524332303a206275726e20616d6f756e7420657863656564732062616c616e
00000e3c: PUSH1 0x44
00000e3e: DUP3
00000e3f: ADD
00000e40: MSTORE
00000e41: PUSH2 0x6365
00000e44: PUSH1 0xf0
00000e46: SHL
00000e47: PUSH1 0x64
00000e49: DUP3
00000e4a: ADD
00000e4b: MSTORE
00000e4c: PUSH1 0x84
00000e4e: ADD
00000e4f: PUSH2 0x03c2
00000e52: JUMP
00000e53: JUMPDEST
00000e54: PUSH1 0x01
00000e56: PUSH1 0x01
00000e58: PUSH1 0xa0
00000e5a: SHL
00000e5b: SUB
00000e5c: DUP4
00000e5d: AND
00000e5e: PUSH1 0x00
00000e60: SWAP1
00000e61: DUP2
00000e62: MSTORE
00000e63: PUSH1 0x20
00000e65: DUP2
00000e66: SWAP1
00000e67: MSTORE
00000e68: PUSH1 0x40
00000e6a: DUP2
00000e6b: KECCAK256
00000e6c: DUP4
00000e6d: DUP4
00000e6e: SUB
00000e6f: SWAP1
00000e70: SSTORE
00000e71: PUSH1 0x02
00000e73: DUP1
00000e74: SLOAD
00000e75: DUP5
00000e76: SWAP3
00000e77: SWAP1
00000e78: PUSH2 0x0e82
00000e7b: SWAP1
00000e7c: DUP5
00000e7d: SWAP1
00000e7e: PUSH2 0x18a6
00000e81: JUMP
00000e82: JUMPDEST
00000e83: SWAP1
00000e84: SWAP2
00000e85: SSTORE
00000e86: POP
00000e87: POP
00000e88: PUSH1 0x40
00000e8a: MLOAD
00000e8b: DUP3
00000e8c: DUP2
00000e8d: MSTORE
00000e8e: PUSH1 0x00
00000e90: SWAP1
00000e91: PUSH1 0x01
00000e93: PUSH1 0x01
00000e95: PUSH1 0xa0
00000e97: SHL
00000e98: SUB
00000e99: DUP6
00000e9a: AND
00000e9b: SWAP1
00000e9c: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000ebd: SWAP1
00000ebe: PUSH1 0x20
00000ec0: ADD
00000ec1: PUSH2 0x0d42
00000ec4: JUMP
00000ec5: JUMPDEST
00000ec6: POP
00000ec7: POP
00000ec8: POP
00000ec9: JUMP
00000eca: JUMPDEST
00000ecb: PUSH1 0x40
00000ecd: MLOAD
00000ece: PUSH1 0x01
00000ed0: PUSH1 0x01
00000ed2: PUSH1 0xa0
00000ed4: SHL
00000ed5: SUB
00000ed6: DUP1
00000ed7: DUP6
00000ed8: AND
00000ed9: PUSH1 0x24
00000edb: DUP4
00000edc: ADD
00000edd: MSTORE
00000ede: DUP4
00000edf: AND
00000ee0: PUSH1 0x44
00000ee2: DUP3
00000ee3: ADD
00000ee4: MSTORE
00000ee5: PUSH1 0x64
00000ee7: DUP2
00000ee8: ADD
00000ee9: DUP3
00000eea: SWAP1
00000eeb: MSTORE
00000eec: PUSH2 0x0f35
00000eef: SWAP1
00000ef0: DUP6
00000ef1: SWAP1
00000ef2: PUSH4 0x23b872dd
00000ef7: PUSH1 0xe0
00000ef9: SHL
00000efa: SWAP1
00000efb: PUSH1 0x84
00000efd: ADD
00000efe: JUMPDEST
00000eff: PUSH1 0x40
00000f01: DUP1
00000f02: MLOAD
00000f03: PUSH1 0x1f
00000f05: NOT
00000f06: DUP2
00000f07: DUP5
00000f08: SUB
00000f09: ADD
00000f0a: DUP2
00000f0b: MSTORE
00000f0c: SWAP2
00000f0d: SWAP1
00000f0e: MSTORE
00000f0f: PUSH1 0x20
00000f11: DUP2
00000f12: ADD
00000f13: DUP1
00000f14: MLOAD
00000f15: PUSH1 0x01
00000f17: PUSH1 0x01
00000f19: PUSH1 0xe0
00000f1b: SHL
00000f1c: SUB
00000f1d: AND
00000f1e: PUSH1 0x01
00000f20: PUSH1 0x01
00000f22: PUSH1 0xe0
00000f24: SHL
00000f25: SUB
00000f26: NOT
00000f27: SWAP1
00000f28: SWAP4
00000f29: AND
00000f2a: SWAP3
00000f2b: SWAP1
00000f2c: SWAP3
00000f2d: OR
00000f2e: SWAP1
00000f2f: SWAP2
00000f30: MSTORE
00000f31: PUSH2 0x1319
00000f34: JUMP
00000f35: JUMPDEST
00000f36: POP
00000f37: POP
00000f38: POP
00000f39: POP
00000f3a: JUMP
00000f3b: JUMPDEST
00000f3c: PUSH1 0x40
00000f3e: MLOAD
00000f3f: PUSH1 0x01
00000f41: PUSH1 0x01
00000f43: PUSH1 0xa0
00000f45: SHL
00000f46: SUB
00000f47: DUP4
00000f48: AND
00000f49: PUSH1 0x24
00000f4b: DUP3
00000f4c: ADD
00000f4d: MSTORE
00000f4e: PUSH1 0x44
00000f50: DUP2
00000f51: ADD
00000f52: DUP3
00000f53: SWAP1
00000f54: MSTORE
00000f55: PUSH2 0x0ec5
00000f58: SWAP1
00000f59: DUP5
00000f5a: SWAP1
00000f5b: PUSH4 0xa9059cbb
00000f60: PUSH1 0xe0
00000f62: SHL
00000f63: SWAP1
00000f64: PUSH1 0x64
00000f66: ADD
00000f67: PUSH2 0x0efe
00000f6a: JUMP
00000f6b: JUMPDEST
00000f6c: PUSH1 0x01
00000f6e: PUSH1 0x01
00000f70: PUSH1 0xa0
00000f72: SHL
00000f73: SUB
00000f74: DUP4
00000f75: AND
00000f76: PUSH2 0x0fcf
00000f79: JUMPI
00000f7a: PUSH1 0x40
00000f7c: MLOAD
00000f7d: PUSH3 0x461bcd
00000f81: PUSH1 0xe5
00000f83: SHL
00000f84: DUP2
00000f85: MSTORE
00000f86: PUSH1 0x20
00000f88: PUSH1 0x04
00000f8a: DUP3
00000f8b: ADD
00000f8c: MSTORE
00000f8d: PUSH1 0x25
00000f8f: PUSH1 0x24
00000f91: DUP3
00000f92: ADD
00000f93: MSTORE
00000f94: PUSH32 0x45524332303a207472616e736665722066726f6d20746865207a65726f206164
00000fb5: PUSH1 0x44
00000fb7: DUP3
00000fb8: ADD
00000fb9: MSTORE
00000fba: PUSH5 0x6472657373
00000fc0: PUSH1 0xd8
00000fc2: SHL
00000fc3: PUSH1 0x64
00000fc5: DUP3
00000fc6: ADD
00000fc7: MSTORE
00000fc8: PUSH1 0x84
00000fca: ADD
00000fcb: PUSH2 0x03c2
00000fce: JUMP
00000fcf: JUMPDEST
00000fd0: PUSH1 0x01
00000fd2: PUSH1 0x01
00000fd4: PUSH1 0xa0
00000fd6: SHL
00000fd7: SUB
00000fd8: DUP3
00000fd9: AND
00000fda: PUSH2 0x1031
00000fdd: JUMPI
00000fde: PUSH1 0x40
00000fe0: MLOAD
00000fe1: PUSH3 0x461bcd
00000fe5: PUSH1 0xe5
00000fe7: SHL
00000fe8: DUP2
00000fe9: MSTORE
00000fea: PUSH1 0x20
00000fec: PUSH1 0x04
00000fee: DUP3
00000fef: ADD
00000ff0: MSTORE
00000ff1: PUSH1 0x23
00000ff3: PUSH1 0x24
00000ff5: DUP3
00000ff6: ADD
00000ff7: MSTORE
00000ff8: PUSH32 0x45524332303a207472616e7366657220746f20746865207a65726f2061646472
00001019: PUSH1 0x44
0000101b: DUP3
0000101c: ADD
0000101d: MSTORE
0000101e: PUSH3 0x657373
00001022: PUSH1 0xe8
00001024: SHL
00001025: PUSH1 0x64
00001027: DUP3
00001028: ADD
00001029: MSTORE
0000102a: PUSH1 0x84
0000102c: ADD
0000102d: PUSH2 0x03c2
00001030: JUMP
00001031: JUMPDEST
00001032: PUSH1 0x01
00001034: PUSH1 0x01
00001036: PUSH1 0xa0
00001038: SHL
00001039: SUB
0000103a: DUP4
0000103b: AND
0000103c: PUSH1 0x00
0000103e: SWAP1
0000103f: DUP2
00001040: MSTORE
00001041: PUSH1 0x20
00001043: DUP2
00001044: SWAP1
00001045: MSTORE
00001046: PUSH1 0x40
00001048: SWAP1
00001049: KECCAK256
0000104a: SLOAD
0000104b: DUP2
0000104c: DUP2
0000104d: LT
0000104e: ISZERO
0000104f: PUSH2 0x10a9
00001052: JUMPI
00001053: PUSH1 0x40
00001055: MLOAD
00001056: PUSH3 0x461bcd
0000105a: PUSH1 0xe5
0000105c: SHL
0000105d: DUP2
0000105e: MSTORE
0000105f: PUSH1 0x20
00001061: PUSH1 0x04
00001063: DUP3
00001064: ADD
00001065: MSTORE
00001066: PUSH1 0x26
00001068: PUSH1 0x24
0000106a: DUP3
0000106b: ADD
0000106c: MSTORE
0000106d: PUSH32 0x45524332303a207472616e7366657220616d6f756e7420657863656564732062
0000108e: PUSH1 0x44
00001090: DUP3
00001091: ADD
00001092: MSTORE
00001093: PUSH6 0x616c616e6365
0000109a: PUSH1 0xd0
0000109c: SHL
0000109d: PUSH1 0x64
0000109f: DUP3
000010a0: ADD
000010a1: MSTORE
000010a2: PUSH1 0x84
000010a4: ADD
000010a5: PUSH2 0x03c2
000010a8: JUMP
000010a9: JUMPDEST
000010aa: PUSH1 0x01
000010ac: PUSH1 0x01
000010ae: PUSH1 0xa0
000010b0: SHL
000010b1: SUB
000010b2: DUP1
000010b3: DUP6
000010b4: AND
000010b5: PUSH1 0x00
000010b7: SWAP1
000010b8: DUP2
000010b9: MSTORE
000010ba: PUSH1 0x20
000010bc: DUP2
000010bd: SWAP1
000010be: MSTORE
000010bf: PUSH1 0x40
000010c1: DUP1
000010c2: DUP3
000010c3: KECCAK256
000010c4: DUP6
000010c5: DUP6
000010c6: SUB
000010c7: SWAP1
000010c8: SSTORE
000010c9: SWAP2
000010ca: DUP6
000010cb: AND
000010cc: DUP2
000010cd: MSTORE
000010ce: SWAP1
000010cf: DUP2
000010d0: KECCAK256
000010d1: DUP1
000010d2: SLOAD
000010d3: DUP5
000010d4: SWAP3
000010d5: SWAP1
000010d6: PUSH2 0x10e0
000010d9: SWAP1
000010da: DUP5
000010db: SWAP1
000010dc: PUSH2 0x1764
000010df: JUMP
000010e0: JUMPDEST
000010e1: SWAP3
000010e2: POP
000010e3: POP
000010e4: DUP2
000010e5: SWAP1
000010e6: SSTORE
000010e7: POP
000010e8: DUP3
000010e9: PUSH1 0x01
000010eb: PUSH1 0x01
000010ed: PUSH1 0xa0
000010ef: SHL
000010f0: SUB
000010f1: AND
000010f2: DUP5
000010f3: PUSH1 0x01
000010f5: PUSH1 0x01
000010f7: PUSH1 0xa0
000010f9: SHL
000010fa: SUB
000010fb: AND
000010fc: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000111d: DUP5
0000111e: PUSH1 0x40
00001120: MLOAD
00001121: PUSH2 0x112c
00001124: SWAP2
00001125: DUP2
00001126: MSTORE
00001127: PUSH1 0x20
00001129: ADD
0000112a: SWAP1
0000112b: JUMP
0000112c: JUMPDEST
0000112d: PUSH1 0x40
0000112f: MLOAD
00001130: DUP1
00001131: SWAP2
00001132: SUB
00001133: SWAP1
00001134: LOG3
00001135: PUSH2 0x0f35
00001138: JUMP
00001139: JUMPDEST
0000113a: PUSH1 0x05
0000113c: SLOAD
0000113d: PUSH1 0x00
0000113f: SWAP1
00001140: PUSH1 0x01
00001142: PUSH1 0xa0
00001144: SHL
00001145: SWAP1
00001146: DIV
00001147: PUSH1 0xff
00001149: AND
0000114a: ISZERO
0000114b: PUSH2 0x11e2
0000114e: JUMPI
0000114f: PUSH1 0x06
00001151: SLOAD
00001152: PUSH1 0x40
00001154: MLOAD
00001155: PUSH4 0x70a08231
0000115a: PUSH1 0xe0
0000115c: SHL
0000115d: DUP2
0000115e: MSTORE
0000115f: CALLER
00001160: PUSH1 0x04
00001162: DUP3
00001163: ADD
00001164: MSTORE
00001165: PUSH1 0x00
00001167: SWAP2
00001168: PUSH1 0x01
0000116a: PUSH1 0x01
0000116c: PUSH1 0xa0
0000116e: SHL
0000116f: SUB
00001170: AND
00001171: SWAP1
00001172: PUSH4 0x70a08231
00001177: SWAP1
00001178: PUSH1 0x24
0000117a: ADD
0000117b: PUSH1 0x20
0000117d: PUSH1 0x40
0000117f: MLOAD
00001180: DUP1
00001181: DUP4
00001182: SUB
00001183: DUP2
00001184: DUP7
00001185: DUP1
00001186: EXTCODESIZE
00001187: ISZERO
00001188: DUP1
00001189: ISZERO
0000118a: PUSH2 0x1192
0000118d: JUMPI
0000118e: PUSH1 0x00
00001190: DUP1
00001191: REVERT
00001192: JUMPDEST
00001193: POP
00001194: GAS
00001195: STATICCALL
00001196: ISZERO
00001197: DUP1
00001198: ISZERO
00001199: PUSH2 0x11a6
0000119c: JUMPI
0000119d: RETURNDATASIZE
0000119e: PUSH1 0x00
000011a0: DUP1
000011a1: RETURNDATACOPY
000011a2: RETURNDATASIZE
000011a3: PUSH1 0x00
000011a5: REVERT
000011a6: JUMPDEST
000011a7: POP
000011a8: POP
000011a9: POP
000011aa: POP
000011ab: PUSH1 0x40
000011ad: MLOAD
000011ae: RETURNDATASIZE
000011af: PUSH1 0x1f
000011b1: NOT
000011b2: PUSH1 0x1f
000011b4: DUP3
000011b5: ADD
000011b6: AND
000011b7: DUP3
000011b8: ADD
000011b9: DUP1
000011ba: PUSH1 0x40
000011bc: MSTORE
000011bd: POP
000011be: DUP2
000011bf: ADD
000011c0: SWAP1
000011c1: PUSH2 0x11ca
000011c4: SWAP2
000011c5: SWAP1
000011c6: PUSH2 0x1695
000011c9: JUMP
000011ca: JUMPDEST
000011cb: SWAP1
000011cc: POP
000011cd: DUP1
000011ce: ISZERO
000011cf: PUSH2 0x11da
000011d2: JUMPI
000011d3: PUSH1 0x01
000011d5: SWAP2
000011d6: POP
000011d7: POP
000011d8: SWAP1
000011d9: JUMP
000011da: JUMPDEST
000011db: PUSH1 0x00
000011dd: SWAP2
000011de: POP
000011df: POP
000011e0: SWAP1
000011e1: JUMP
000011e2: JUMPDEST
000011e3: POP
000011e4: PUSH1 0x01
000011e6: SWAP1
000011e7: JUMP
000011e8: JUMPDEST
000011e9: PUSH1 0x01
000011eb: PUSH1 0x01
000011ed: PUSH1 0xa0
000011ef: SHL
000011f0: SUB
000011f1: DUP3
000011f2: AND
000011f3: PUSH2 0x123e
000011f6: JUMPI
000011f7: PUSH1 0x40
000011f9: MLOAD
000011fa: PUSH3 0x461bcd
000011fe: PUSH1 0xe5
00001200: SHL
00001201: DUP2
00001202: MSTORE
00001203: PUSH1 0x20
00001205: PUSH1 0x04
00001207: DUP3
00001208: ADD
00001209: MSTORE
0000120a: PUSH1 0x1f
0000120c: PUSH1 0x24
0000120e: DUP3
0000120f: ADD
00001210: MSTORE
00001211: PUSH32 0x45524332303a206d696e7420746f20746865207a65726f206164647265737300
00001232: PUSH1 0x44
00001234: DUP3
00001235: ADD
00001236: MSTORE
00001237: PUSH1 0x64
00001239: ADD
0000123a: PUSH2 0x03c2
0000123d: JUMP
0000123e: JUMPDEST
0000123f: DUP1
00001240: PUSH1 0x02
00001242: PUSH1 0x00
00001244: DUP3
00001245: DUP3
00001246: SLOAD
00001247: PUSH2 0x1250
0000124a: SWAP2
0000124b: SWAP1
0000124c: PUSH2 0x1764
0000124f: JUMP
00001250: JUMPDEST
00001251: SWAP1
00001252: SWAP2
00001253: SSTORE
00001254: POP
00001255: POP
00001256: PUSH1 0x01
00001258: PUSH1 0x01
0000125a: PUSH1 0xa0
0000125c: SHL
0000125d: SUB
0000125e: DUP3
0000125f: AND
00001260: PUSH1 0x00
00001262: SWAP1
00001263: DUP2
00001264: MSTORE
00001265: PUSH1 0x20
00001267: DUP2
00001268: SWAP1
00001269: MSTORE
0000126a: PUSH1 0x40
0000126c: DUP2
0000126d: KECCAK256
0000126e: DUP1
0000126f: SLOAD
00001270: DUP4
00001271: SWAP3
00001272: SWAP1
00001273: PUSH2 0x127d
00001276: SWAP1
00001277: DUP5
00001278: SWAP1
00001279: PUSH2 0x1764
0000127c: JUMP
0000127d: JUMPDEST
0000127e: SWAP1
0000127f: SWAP2
00001280: SSTORE
00001281: POP
00001282: POP
00001283: PUSH1 0x40
00001285: MLOAD
00001286: DUP2
00001287: DUP2
00001288: MSTORE
00001289: PUSH1 0x01
0000128b: PUSH1 0x01
0000128d: PUSH1 0xa0
0000128f: SHL
00001290: SUB
00001291: DUP4
00001292: AND
00001293: SWAP1
00001294: PUSH1 0x00
00001296: SWAP1
00001297: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000012b8: SWAP1
000012b9: PUSH1 0x20
000012bb: ADD
000012bc: PUSH1 0x40
000012be: MLOAD
000012bf: DUP1
000012c0: SWAP2
000012c1: SUB
000012c2: SWAP1
000012c3: LOG3
000012c4: POP
000012c5: POP
000012c6: JUMP
000012c7: JUMPDEST
000012c8: PUSH1 0x05
000012ca: DUP1
000012cb: SLOAD
000012cc: PUSH1 0x01
000012ce: PUSH1 0x01
000012d0: PUSH1 0xa0
000012d2: SHL
000012d3: SUB
000012d4: DUP4
000012d5: DUP2
000012d6: AND
000012d7: PUSH1 0x01
000012d9: PUSH1 0x01
000012db: PUSH1 0xa0
000012dd: SHL
000012de: SUB
000012df: NOT
000012e0: DUP4
000012e1: AND
000012e2: DUP2
000012e3: OR
000012e4: SWAP1
000012e5: SWAP4
000012e6: SSTORE
000012e7: PUSH1 0x40
000012e9: MLOAD
000012ea: SWAP2
000012eb: AND
000012ec: SWAP2
000012ed: SWAP1
000012ee: DUP3
000012ef: SWAP1
000012f0: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001311: SWAP1
00001312: PUSH1 0x00
00001314: SWAP1
00001315: LOG3
00001316: POP
00001317: POP
00001318: JUMP
00001319: JUMPDEST
0000131a: PUSH1 0x00
0000131c: PUSH2 0x136e
0000131f: DUP3
00001320: PUSH1 0x40
00001322: MLOAD
00001323: DUP1
00001324: PUSH1 0x40
00001326: ADD
00001327: PUSH1 0x40
00001329: MSTORE
0000132a: DUP1
0000132b: PUSH1 0x20
0000132d: DUP2
0000132e: MSTORE
0000132f: PUSH1 0x20
00001331: ADD
00001332: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00001353: DUP2
00001354: MSTORE
00001355: POP
00001356: DUP6
00001357: PUSH1 0x01
00001359: PUSH1 0x01
0000135b: PUSH1 0xa0
0000135d: SHL
0000135e: SUB
0000135f: AND
00001360: PUSH2 0x13eb
00001363: SWAP1
00001364: SWAP3
00001365: SWAP2
00001366: SWAP1
00001367: PUSH4 0xffffffff
0000136c: AND
0000136d: JUMP
0000136e: JUMPDEST
0000136f: DUP1
00001370: MLOAD
00001371: SWAP1
00001372: SWAP2
00001373: POP
00001374: ISZERO
00001375: PUSH2 0x0ec5
00001378: JUMPI
00001379: DUP1
0000137a: DUP1
0000137b: PUSH1 0x20
0000137d: ADD
0000137e: SWAP1
0000137f: MLOAD
00001380: DUP2
00001381: ADD
00001382: SWAP1
00001383: PUSH2 0x138c
00001386: SWAP2
00001387: SWAP1
00001388: PUSH2 0x1622
0000138b: JUMP
0000138c: JUMPDEST
0000138d: PUSH2 0x0ec5
00001390: JUMPI
00001391: PUSH1 0x40
00001393: MLOAD
00001394: PUSH3 0x461bcd
00001398: PUSH1 0xe5
0000139a: SHL
0000139b: DUP2
0000139c: MSTORE
0000139d: PUSH1 0x20
0000139f: PUSH1 0x04
000013a1: DUP3
000013a2: ADD
000013a3: MSTORE
000013a4: PUSH1 0x2a
000013a6: PUSH1 0x24
000013a8: DUP3
000013a9: ADD
000013aa: MSTORE
000013ab: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
000013cc: PUSH1 0x44
000013ce: DUP3
000013cf: ADD
000013d0: MSTORE
000013d1: PUSH10 0x1bdd081cdd58d8d95959
000013dc: PUSH1 0xb2
000013de: SHL
000013df: PUSH1 0x64
000013e1: DUP3
000013e2: ADD
000013e3: MSTORE
000013e4: PUSH1 0x84
000013e6: ADD
000013e7: PUSH2 0x03c2
000013ea: JUMP
000013eb: JUMPDEST
000013ec: PUSH1 0x60
000013ee: PUSH2 0x13fa
000013f1: DUP5
000013f2: DUP5
000013f3: PUSH1 0x00
000013f5: DUP6
000013f6: PUSH2 0x1402
000013f9: JUMP
000013fa: JUMPDEST
000013fb: SWAP5
000013fc: SWAP4
000013fd: POP
000013fe: POP
000013ff: POP
00001400: POP
00001401: JUMP
00001402: JUMPDEST
00001403: PUSH1 0x60
00001405: DUP3
00001406: SELFBALANCE
00001407: LT
00001408: ISZERO
00001409: PUSH2 0x1463
0000140c: JUMPI
0000140d: PUSH1 0x40
0000140f: MLOAD
00001410: PUSH3 0x461bcd
00001414: PUSH1 0xe5
00001416: SHL
00001417: DUP2
00001418: MSTORE
00001419: PUSH1 0x20
0000141b: PUSH1 0x04
0000141d: DUP3
0000141e: ADD
0000141f: MSTORE
00001420: PUSH1 0x26
00001422: PUSH1 0x24
00001424: DUP3
00001425: ADD
00001426: MSTORE
00001427: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
00001448: PUSH1 0x44
0000144a: DUP3
0000144b: ADD
0000144c: MSTORE
0000144d: PUSH6 0x1c8818d85b1b
00001454: PUSH1 0xd2
00001456: SHL
00001457: PUSH1 0x64
00001459: DUP3
0000145a: ADD
0000145b: MSTORE
0000145c: PUSH1 0x84
0000145e: ADD
0000145f: PUSH2 0x03c2
00001462: JUMP
00001463: JUMPDEST
00001464: DUP5
00001465: EXTCODESIZE
00001466: PUSH2 0x14b1
00001469: JUMPI
0000146a: PUSH1 0x40
0000146c: MLOAD
0000146d: PUSH3 0x461bcd
00001471: PUSH1 0xe5
00001473: SHL
00001474: DUP2
00001475: MSTORE
00001476: PUSH1 0x20
00001478: PUSH1 0x04
0000147a: DUP3
0000147b: ADD
0000147c: MSTORE
0000147d: PUSH1 0x1d
0000147f: PUSH1 0x24
00001481: DUP3
00001482: ADD
00001483: MSTORE
00001484: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
000014a5: PUSH1 0x44
000014a7: DUP3
000014a8: ADD
000014a9: MSTORE
000014aa: PUSH1 0x64
000014ac: ADD
000014ad: PUSH2 0x03c2
000014b0: JUMP
000014b1: JUMPDEST
000014b2: PUSH1 0x00
000014b4: DUP1
000014b5: DUP7
000014b6: PUSH1 0x01
000014b8: PUSH1 0x01
000014ba: PUSH1 0xa0
000014bc: SHL
000014bd: SUB
000014be: AND
000014bf: DUP6
000014c0: DUP8
000014c1: PUSH1 0x40
000014c3: MLOAD
000014c4: PUSH2 0x14cd
000014c7: SWAP2
000014c8: SWAP1
000014c9: PUSH2 0x16e0
000014cc: JUMP
000014cd: JUMPDEST
000014ce: PUSH1 0x00
000014d0: PUSH1 0x40
000014d2: MLOAD
000014d3: DUP1
000014d4: DUP4
000014d5: SUB
000014d6: DUP2
000014d7: DUP6
000014d8: DUP8
000014d9: GAS
000014da: CALL
000014db: SWAP3
000014dc: POP
000014dd: POP
000014de: POP
000014df: RETURNDATASIZE
000014e0: DUP1
000014e1: PUSH1 0x00
000014e3: DUP2
000014e4: EQ
000014e5: PUSH2 0x150a
000014e8: JUMPI
000014e9: PUSH1 0x40
000014eb: MLOAD
000014ec: SWAP2
000014ed: POP
000014ee: PUSH1 0x1f
000014f0: NOT
000014f1: PUSH1 0x3f
000014f3: RETURNDATASIZE
000014f4: ADD
000014f5: AND
000014f6: DUP3
000014f7: ADD
000014f8: PUSH1 0x40
000014fa: MSTORE
000014fb: RETURNDATASIZE
000014fc: DUP3
000014fd: MSTORE
000014fe: RETURNDATASIZE
000014ff: PUSH1 0x00
00001501: PUSH1 0x20
00001503: DUP5
00001504: ADD
00001505: RETURNDATACOPY
00001506: PUSH2 0x150f
00001509: JUMP
0000150a: JUMPDEST
0000150b: PUSH1 0x60
0000150d: SWAP2
0000150e: POP
0000150f: JUMPDEST
00001510: POP
00001511: SWAP2
00001512: POP
00001513: SWAP2
00001514: POP
00001515: PUSH2 0x151f
00001518: DUP3
00001519: DUP3
0000151a: DUP7
0000151b: PUSH2 0x152a
0000151e: JUMP
0000151f: JUMPDEST
00001520: SWAP8
00001521: SWAP7
00001522: POP
00001523: POP
00001524: POP
00001525: POP
00001526: POP
00001527: POP
00001528: POP
00001529: JUMP
0000152a: JUMPDEST
0000152b: PUSH1 0x60
0000152d: DUP4
0000152e: ISZERO
0000152f: PUSH2 0x1539
00001532: JUMPI
00001533: POP
00001534: DUP2
00001535: PUSH2 0x08c9
00001538: JUMP
00001539: JUMPDEST
0000153a: DUP3
0000153b: MLOAD
0000153c: ISZERO
0000153d: PUSH2 0x1549
00001540: JUMPI
00001541: DUP3
00001542: MLOAD
00001543: DUP1
00001544: DUP5
00001545: PUSH1 0x20
00001547: ADD
00001548: REVERT
00001549: JUMPDEST
0000154a: DUP2
0000154b: PUSH1 0x40
0000154d: MLOAD
0000154e: PUSH3 0x461bcd
00001552: PUSH1 0xe5
00001554: SHL
00001555: DUP2
00001556: MSTORE
00001557: PUSH1 0x04
00001559: ADD
0000155a: PUSH2 0x03c2
0000155d: SWAP2
0000155e: SWAP1
0000155f: PUSH2 0x16fc
00001562: JUMP
00001563: JUMPDEST
00001564: PUSH1 0x00
00001566: PUSH1 0x20
00001568: DUP3
00001569: DUP5
0000156a: SUB
0000156b: SLT
0000156c: ISZERO
0000156d: PUSH2 0x1574
00001570: JUMPI
00001571: DUP1
00001572: DUP2
00001573: REVERT
00001574: JUMPDEST
00001575: DUP2
00001576: CALLDATALOAD
00001577: PUSH2 0x08c9
0000157a: DUP2
0000157b: PUSH2 0x195a
0000157e: JUMP
0000157f: JUMPDEST
00001580: PUSH1 0x00
00001582: DUP1
00001583: PUSH1 0x40
00001585: DUP4
00001586: DUP6
00001587: SUB
00001588: SLT
00001589: ISZERO
0000158a: PUSH2 0x1591
0000158d: JUMPI
0000158e: DUP1
0000158f: DUP2
00001590: REVERT
00001591: JUMPDEST
00001592: DUP3
00001593: CALLDATALOAD
00001594: PUSH2 0x159c
00001597: DUP2
00001598: PUSH2 0x195a
0000159b: JUMP
0000159c: JUMPDEST
0000159d: SWAP2
0000159e: POP
0000159f: PUSH1 0x20
000015a1: DUP4
000015a2: ADD
000015a3: CALLDATALOAD
000015a4: PUSH2 0x15ac
000015a7: DUP2
000015a8: PUSH2 0x195a
000015ab: JUMP
000015ac: JUMPDEST
000015ad: DUP1
000015ae: SWAP2
000015af: POP
000015b0: POP
000015b1: SWAP3
000015b2: POP
000015b3: SWAP3
000015b4: SWAP1
000015b5: POP
000015b6: JUMP
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 0x15cb
000015c7: JUMPI
000015c8: DUP1
000015c9: DUP2
000015ca: REVERT
000015cb: JUMPDEST
000015cc: DUP4
000015cd: CALLDATALOAD
000015ce: PUSH2 0x15d6
000015d1: DUP2
000015d2: PUSH2 0x195a
000015d5: JUMP
000015d6: JUMPDEST
000015d7: SWAP3
000015d8: POP
000015d9: PUSH1 0x20
000015db: DUP5
000015dc: ADD
000015dd: CALLDATALOAD
000015de: PUSH2 0x15e6
000015e1: DUP2
000015e2: PUSH2 0x195a
000015e5: JUMP
000015e6: JUMPDEST
000015e7: SWAP3
000015e8: SWAP6
000015e9: SWAP3
000015ea: SWAP5
000015eb: POP
000015ec: POP
000015ed: POP
000015ee: PUSH1 0x40
000015f0: SWAP2
000015f1: SWAP1
000015f2: SWAP2
000015f3: ADD
000015f4: CALLDATALOAD
000015f5: SWAP1
000015f6: JUMP
000015f7: JUMPDEST
000015f8: PUSH1 0x00
000015fa: DUP1
000015fb: PUSH1 0x40
000015fd: DUP4
000015fe: DUP6
000015ff: SUB
00001600: SLT
00001601: ISZERO
00001602: PUSH2 0x1609
00001605: JUMPI
00001606: DUP2
00001607: DUP3
00001608: REVERT
00001609: JUMPDEST
0000160a: DUP3
0000160b: CALLDATALOAD
0000160c: PUSH2 0x1614
0000160f: DUP2
00001610: PUSH2 0x195a
00001613: JUMP
00001614: JUMPDEST
00001615: SWAP5
00001616: PUSH1 0x20
00001618: SWAP4
00001619: SWAP1
0000161a: SWAP4
0000161b: ADD
0000161c: CALLDATALOAD
0000161d: SWAP4
0000161e: POP
0000161f: POP
00001620: POP
00001621: JUMP
00001622: JUMPDEST
00001623: PUSH1 0x00
00001625: PUSH1 0x20
00001627: DUP3
00001628: DUP5
00001629: SUB
0000162a: SLT
0000162b: ISZERO
0000162c: PUSH2 0x1633
0000162f: JUMPI
00001630: DUP1
00001631: DUP2
00001632: REVERT
00001633: JUMPDEST
00001634: DUP2
00001635: MLOAD
00001636: PUSH2 0x08c9
00001639: DUP2
0000163a: PUSH2 0x196f
0000163d: JUMP
0000163e: JUMPDEST
0000163f: PUSH1 0x00
00001641: DUP1
00001642: PUSH1 0x40
00001644: DUP4
00001645: DUP6
00001646: SUB
00001647: SLT
00001648: ISZERO
00001649: PUSH2 0x1650
0000164c: JUMPI
0000164d: DUP2
0000164e: DUP3
0000164f: REVERT
00001650: JUMPDEST
00001651: DUP3
00001652: CALLDATALOAD
00001653: PUSH2 0x159c
00001656: DUP2
00001657: PUSH2 0x196f
0000165a: JUMP
0000165b: JUMPDEST
0000165c: PUSH1 0x00
0000165e: PUSH1 0x20
00001660: DUP3
00001661: DUP5
00001662: SUB
00001663: SLT
00001664: ISZERO
00001665: PUSH2 0x166c
00001668: JUMPI
00001669: DUP1
0000166a: DUP2
0000166b: REVERT
0000166c: JUMPDEST
0000166d: DUP2
0000166e: MLOAD
0000166f: PUSH2 0xffff
00001672: DUP2
00001673: AND
00001674: DUP2
00001675: EQ
00001676: PUSH2 0x08c9
00001679: JUMPI
0000167a: DUP2
0000167b: DUP3
0000167c: REVERT
0000167d: JUMPDEST
0000167e: PUSH1 0x00
00001680: PUSH1 0x20
00001682: DUP3
00001683: DUP5
00001684: SUB
00001685: SLT
00001686: ISZERO
00001687: PUSH2 0x168e
0000168a: JUMPI
0000168b: DUP1
0000168c: DUP2
0000168d: REVERT
0000168e: JUMPDEST
0000168f: POP
00001690: CALLDATALOAD
00001691: SWAP2
00001692: SWAP1
00001693: POP
00001694: JUMP
00001695: JUMPDEST
00001696: PUSH1 0x00
00001698: PUSH1 0x20
0000169a: DUP3
0000169b: DUP5
0000169c: SUB
0000169d: SLT
0000169e: ISZERO
0000169f: PUSH2 0x16a6
000016a2: JUMPI
000016a3: DUP1
000016a4: DUP2
000016a5: REVERT
000016a6: JUMPDEST
000016a7: POP
000016a8: MLOAD
000016a9: SWAP2
000016aa: SWAP1
000016ab: POP
000016ac: JUMP
000016ad: JUMPDEST
000016ae: PUSH1 0x00
000016b0: DUP1
000016b1: PUSH1 0x40
000016b3: DUP4
000016b4: DUP6
000016b5: SUB
000016b6: SLT
000016b7: ISZERO
000016b8: PUSH2 0x16bf
000016bb: JUMPI
000016bc: DUP2
000016bd: DUP3
000016be: REVERT
000016bf: JUMPDEST
000016c0: DUP3
000016c1: MLOAD
000016c2: PUSH1 0xff
000016c4: DUP2
000016c5: AND
000016c6: DUP2
000016c7: EQ
000016c8: PUSH2 0x16cf
000016cb: JUMPI
000016cc: DUP3
000016cd: DUP4
000016ce: REVERT
000016cf: JUMPDEST
000016d0: PUSH1 0x20
000016d2: DUP5
000016d3: ADD
000016d4: MLOAD
000016d5: SWAP1
000016d6: SWAP3
000016d7: POP
000016d8: PUSH2 0x15ac
000016db: DUP2
000016dc: PUSH2 0x195a
000016df: JUMP
000016e0: JUMPDEST
000016e1: PUSH1 0x00
000016e3: DUP3
000016e4: MLOAD
000016e5: PUSH2 0x16f2
000016e8: DUP2
000016e9: DUP5
000016ea: PUSH1 0x20
000016ec: DUP8
000016ed: ADD
000016ee: PUSH2 0x18bd
000016f1: JUMP
000016f2: JUMPDEST
000016f3: SWAP2
000016f4: SWAP1
000016f5: SWAP2
000016f6: ADD
000016f7: SWAP3
000016f8: SWAP2
000016f9: POP
000016fa: POP
000016fb: JUMP
000016fc: JUMPDEST
000016fd: PUSH1 0x20
000016ff: DUP2
00001700: MSTORE
00001701: PUSH1 0x00
00001703: DUP3
00001704: MLOAD
00001705: DUP1
00001706: PUSH1 0x20
00001708: DUP5
00001709: ADD
0000170a: MSTORE
0000170b: PUSH2 0x171b
0000170e: DUP2
0000170f: PUSH1 0x40
00001711: DUP6
00001712: ADD
00001713: PUSH1 0x20
00001715: DUP8
00001716: ADD
00001717: PUSH2 0x18bd
0000171a: JUMP
0000171b: JUMPDEST
0000171c: PUSH1 0x1f
0000171e: ADD
0000171f: PUSH1 0x1f
00001721: NOT
00001722: AND
00001723: SWAP2
00001724: SWAP1
00001725: SWAP2
00001726: ADD
00001727: PUSH1 0x40
00001729: ADD
0000172a: SWAP3
0000172b: SWAP2
0000172c: POP
0000172d: POP
0000172e: JUMP
0000172f: JUMPDEST
00001730: PUSH1 0x20
00001732: DUP1
00001733: DUP3
00001734: MSTORE
00001735: DUP2
00001736: DUP2
00001737: ADD
00001738: MSTORE
00001739: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
0000175a: PUSH1 0x40
0000175c: DUP3
0000175d: ADD
0000175e: MSTORE
0000175f: PUSH1 0x60
00001761: ADD
00001762: SWAP1
00001763: JUMP
00001764: JUMPDEST
00001765: PUSH1 0x00
00001767: DUP3
00001768: NOT
00001769: DUP3
0000176a: GT
0000176b: ISZERO
0000176c: PUSH2 0x1777
0000176f: JUMPI
00001770: PUSH2 0x1777
00001773: PUSH2 0x1944
00001776: JUMP
00001777: JUMPDEST
00001778: POP
00001779: ADD
0000177a: SWAP1
0000177b: JUMP
0000177c: JUMPDEST
0000177d: PUSH1 0x00
0000177f: DUP3
00001780: PUSH2 0x1797
00001783: JUMPI
00001784: PUSH4 0x4e487b71
00001789: PUSH1 0xe0
0000178b: SHL
0000178c: DUP2
0000178d: MSTORE
0000178e: PUSH1 0x12
00001790: PUSH1 0x04
00001792: MSTORE
00001793: PUSH1 0x24
00001795: DUP2
00001796: REVERT
00001797: JUMPDEST
00001798: POP
00001799: DIV
0000179a: SWAP1
0000179b: JUMP
0000179c: JUMPDEST
0000179d: PUSH1 0x01
0000179f: DUP2
000017a0: DUP2
000017a1: JUMPDEST
000017a2: DUP1
000017a3: DUP6
000017a4: GT
000017a5: ISZERO
000017a6: PUSH2 0x17d7
000017a9: JUMPI
000017aa: DUP2
000017ab: PUSH1 0x00
000017ad: NOT
000017ae: DIV
000017af: DUP3
000017b0: GT
000017b1: ISZERO
000017b2: PUSH2 0x17bd
000017b5: JUMPI
000017b6: PUSH2 0x17bd
000017b9: PUSH2 0x1944
000017bc: JUMP
000017bd: JUMPDEST
000017be: DUP1
000017bf: DUP6
000017c0: AND
000017c1: ISZERO
000017c2: PUSH2 0x17ca
000017c5: JUMPI
000017c6: SWAP2
000017c7: DUP2
000017c8: MUL
000017c9: SWAP2
000017ca: JUMPDEST
000017cb: SWAP4
000017cc: DUP5
000017cd: SHR
000017ce: SWAP4
000017cf: SWAP1
000017d0: DUP1
000017d1: MUL
000017d2: SWAP1
000017d3: PUSH2 0x17a1
000017d6: JUMP
000017d7: JUMPDEST
000017d8: POP
000017d9: SWAP3
000017da: POP
000017db: SWAP3
000017dc: SWAP1
000017dd: POP
000017de: JUMP
000017df: JUMPDEST
000017e0: PUSH1 0x00
000017e2: PUSH2 0x08c9
000017e5: DUP4
000017e6: DUP4
000017e7: PUSH1 0x00
000017e9: DUP3
000017ea: PUSH2 0x17f5
000017ed: JUMPI
000017ee: POP
000017ef: PUSH1 0x01
000017f1: PUSH2 0x0546
000017f4: JUMP
000017f5: JUMPDEST
000017f6: DUP2
000017f7: PUSH2 0x1802
000017fa: JUMPI
000017fb: POP
000017fc: PUSH1 0x00
000017fe: PUSH2 0x0546
00001801: JUMP
00001802: JUMPDEST
00001803: DUP2
00001804: PUSH1 0x01
00001806: DUP2
00001807: EQ
00001808: PUSH2 0x1818
0000180b: JUMPI
0000180c: PUSH1 0x02
0000180e: DUP2
0000180f: EQ
00001810: PUSH2 0x1822
00001813: JUMPI
00001814: PUSH2 0x183e
00001817: JUMP
00001818: JUMPDEST
00001819: PUSH1 0x01
0000181b: SWAP2
0000181c: POP
0000181d: POP
0000181e: PUSH2 0x0546
00001821: JUMP
00001822: JUMPDEST
00001823: PUSH1 0xff
00001825: DUP5
00001826: GT
00001827: ISZERO
00001828: PUSH2 0x1833
0000182b: JUMPI
0000182c: PUSH2 0x1833
0000182f: PUSH2 0x1944
00001832: JUMP
00001833: JUMPDEST
00001834: POP
00001835: POP
00001836: PUSH1 0x01
00001838: DUP3
00001839: SHL
0000183a: PUSH2 0x0546
0000183d: JUMP
0000183e: JUMPDEST
0000183f: POP
00001840: PUSH1 0x20
00001842: DUP4
00001843: LT
00001844: PUSH2 0x0133
00001847: DUP4
00001848: LT
00001849: AND
0000184a: PUSH1 0x4e
0000184c: DUP5
0000184d: LT
0000184e: PUSH1 0x0b
00001850: DUP5
00001851: LT
00001852: AND
00001853: OR
00001854: ISZERO
00001855: PUSH2 0x1861
00001858: JUMPI
00001859: POP
0000185a: DUP2
0000185b: DUP2
0000185c: EXP
0000185d: PUSH2 0x0546
00001860: JUMP
00001861: JUMPDEST
00001862: PUSH2 0x186b
00001865: DUP4
00001866: DUP4
00001867: PUSH2 0x179c
0000186a: JUMP
0000186b: JUMPDEST
0000186c: DUP1
0000186d: PUSH1 0x00
0000186f: NOT
00001870: DIV
00001871: DUP3
00001872: GT
00001873: ISZERO
00001874: PUSH2 0x187f
00001877: JUMPI
00001878: PUSH2 0x187f
0000187b: PUSH2 0x1944
0000187e: JUMP
0000187f: JUMPDEST
00001880: MUL
00001881: SWAP4
00001882: SWAP3
00001883: POP
00001884: POP
00001885: POP
00001886: JUMP
00001887: JUMPDEST
00001888: PUSH1 0x00
0000188a: DUP2
0000188b: PUSH1 0x00
0000188d: NOT
0000188e: DIV
0000188f: DUP4
00001890: GT
00001891: DUP3
00001892: ISZERO
00001893: ISZERO
00001894: AND
00001895: ISZERO
00001896: PUSH2 0x18a1
00001899: JUMPI
0000189a: PUSH2 0x18a1
0000189d: PUSH2 0x1944
000018a0: JUMP
000018a1: JUMPDEST
000018a2: POP
000018a3: MUL
000018a4: SWAP1
000018a5: JUMP
000018a6: JUMPDEST
000018a7: PUSH1 0x00
000018a9: DUP3
000018aa: DUP3
000018ab: LT
000018ac: ISZERO
000018ad: PUSH2 0x18b8
000018b0: JUMPI
000018b1: PUSH2 0x18b8
000018b4: PUSH2 0x1944
000018b7: JUMP
000018b8: JUMPDEST
000018b9: POP
000018ba: SUB
000018bb: SWAP1
000018bc: JUMP
000018bd: JUMPDEST
000018be: PUSH1 0x00
000018c0: JUMPDEST
000018c1: DUP4
000018c2: DUP2
000018c3: LT
000018c4: ISZERO
000018c5: PUSH2 0x18d8
000018c8: JUMPI
000018c9: DUP2
000018ca: DUP2
000018cb: ADD
000018cc: MLOAD
000018cd: DUP4
000018ce: DUP3
000018cf: ADD
000018d0: MSTORE
000018d1: PUSH1 0x20
000018d3: ADD
000018d4: PUSH2 0x18c0
000018d7: JUMP
000018d8: JUMPDEST
000018d9: DUP4
000018da: DUP2
000018db: GT
000018dc: ISZERO
000018dd: PUSH2 0x0f35
000018e0: JUMPI
000018e1: POP
000018e2: POP
000018e3: PUSH1 0x00
000018e5: SWAP2
000018e6: ADD
000018e7: MSTORE
000018e8: JUMP
000018e9: JUMPDEST
000018ea: PUSH1 0x01
000018ec: DUP2
000018ed: DUP2
000018ee: SHR
000018ef: SWAP1
000018f0: DUP3
000018f1: AND
000018f2: DUP1
000018f3: PUSH2 0x18fd
000018f6: JUMPI
000018f7: PUSH1 0x7f
000018f9: DUP3
000018fa: AND
000018fb: SWAP2
000018fc: POP
000018fd: JUMPDEST
000018fe: PUSH1 0x20
00001900: DUP3
00001901: LT
00001902: DUP2
00001903: EQ
00001904: ISZERO
00001905: PUSH2 0x191e
00001908: JUMPI
00001909: PUSH4 0x4e487b71
0000190e: PUSH1 0xe0
00001910: SHL
00001911: PUSH1 0x00
00001913: MSTORE
00001914: PUSH1 0x22
00001916: PUSH1 0x04
00001918: MSTORE
00001919: PUSH1 0x24
0000191b: PUSH1 0x00
0000191d: REVERT
0000191e: JUMPDEST
0000191f: POP
00001920: SWAP2
00001921: SWAP1
00001922: POP
00001923: JUMP
00001924: JUMPDEST
00001925: PUSH1 0x00
00001927: PUSH1 0xff
00001929: DUP3
0000192a: AND
0000192b: PUSH1 0xff
0000192d: DUP2
0000192e: EQ
0000192f: ISZERO
00001930: PUSH2 0x193b
00001933: JUMPI
00001934: PUSH2 0x193b
00001937: PUSH2 0x1944
0000193a: JUMP
0000193b: JUMPDEST
0000193c: PUSH1 0x01
0000193e: ADD
0000193f: SWAP3
00001940: SWAP2
00001941: POP
00001942: POP
00001943: JUMP
00001944: JUMPDEST
00001945: PUSH4 0x4e487b71
0000194a: PUSH1 0xe0
0000194c: SHL
0000194d: PUSH1 0x00
0000194f: MSTORE
00001950: PUSH1 0x11
00001952: PUSH1 0x04
00001954: MSTORE
00001955: PUSH1 0x24
00001957: PUSH1 0x00
00001959: REVERT
0000195a: JUMPDEST
0000195b: PUSH1 0x01
0000195d: PUSH1 0x01
0000195f: PUSH1 0xa0
00001961: SHL
00001962: SUB
00001963: DUP2
00001964: AND
00001965: DUP2
00001966: EQ
00001967: PUSH2 0x0c27
0000196a: JUMPI
0000196b: PUSH1 0x00
0000196d: DUP1
0000196e: REVERT
0000196f: JUMPDEST
00001970: DUP1
00001971: ISZERO
00001972: ISZERO
00001973: DUP2
00001974: EQ
00001975: PUSH2 0x0c27
00001978: JUMPI
00001979: PUSH1 0x00
0000197b: DUP1
0000197c: REVERT
0000197d: INVALID
0000197e: LOG2
0000197f: PUSH5 0x6970667358
00001985: UNKNOWN(0x22)
00001986: SLT
00001987: KECCAK256
00001988: UNKNOWN(0x27)
00001989: PUSH26 0xe4ce5b79c22113f77035e5d20adabf6b3f51b58e19119fa445fe
000019a4: UNKNOWN(0xBD)
000019a5: PUSH0
000019a6: SWAP12
000019a7: RETURNDATASIZE
000019a8: PUSH5 0x736f6c6343
000019ae: STOP
000019af: ADDMOD
000019b0: DIV
000019b1: STOP
000019b2: CALLER