Tripwire

Find contracts. Test them. Review real vulns.

Analysis Run

019be3d6-850e-7305-9d5a-dfc520772720

failed

Chain ID

Address

0xe7bd0fc7fc27a8b813647c8defe114f1463228b7

Block Number

—

Created

Thu, Jan 22, 2026 3:54 AM

Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

back to vulns open contract

Confirmed

Validated

Source

Verified

Review Backing

Not yet

Best current signal

Untrusted CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

1. Read the findings table first. Ignore raw jobs until the result looks real.

2. Confirm attacker control, not just the existence of a sink.

3. Confirm money or privilege impact.

4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
41163	artifact.fetch	complete	1 / 3	2 months ago
41164	proxy.resolve	complete	1 / 3	2 months ago
41165	tool.cast_disasm	complete	1 / 3	2 months ago
41166	analysis.bundle	complete	1 / 3	2 months ago
41167	capability.graph	complete	1 / 3	2 months ago
41168	detector.run	complete	1 / 3	2 months ago
41169	validation.fork	complete	1 / 3	2 months ago
41444	report.consolidate	complete	1 / 6	2 months ago
41445	tool.slither	failed	2 / 2	2 months ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no not_proxy

Implementation:

—

Verified Source: yes

Proxy evidence

{
    "status": "not_proxy"
}

Slither

tool.slither

Status

failed slither failed (exit 1): 'forge clean' running (wd: /tmp/slither-xkc0pxdt) 'forge config --json' running 'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-xkc0pxdt) 'forge' returned non-zero exit code 1 Error: Encountered invalid solc version in lib/openzeppelin-contracts/contracts/token/ERC721/ERC721.sol: No solc version exists that matches the version requirement: ^0.8.24 stderr: Encountered invalid solc version in lib/openzeppelin-contracts/contracts/token/common/ERC2981.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-xkc0pxdt/out/build-info is not a directory.

Attempts

2 / 2

Findings

Solc

—

View stderr

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-xkc0pxdt)
'forge config --json' running
'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-xkc0pxdt)
'forge' returned non-zero exit code 1
Error: Encountered invalid solc version in lib/openzeppelin-contracts/contracts/token/ERC721/ERC721.sol: No solc version exists that matches the version requirement: ^0.8.24
stderr: Encountered invalid solc version in lib/openzeppelin-contracts/contracts/token/common/ERC2981.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-xkc0pxdt/out/build-info is not a directory.

Codex

report.consolidate

Job Status

complete

Attempts

1 / 6

Findings

No findings?

yes

Summary

Reviewed first-party contracts in AUDIT_BUNDLE.txt; no exploitable issues found in minting, fund transfers, or royalty logic as implemented.

View stdout

{"no_findings":true,"summary":"Reviewed first-party contracts in AUDIT_BUNDLE.txt; no exploitable issues found in minting, fund transfers, or royalty logic as implemented.","findings":[]}

View stderr

OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-7t5geoh_
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019be4aa-86c0-75c0-932e-55d6927f85c2
--------
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 audit Solidity skills**

I'll read the AUDIT_BUNDLE.txt to understand the included Solidity audit skills before proceeding.
exec
/bin/bash -lc ls in /tmp/codex-7t5geoh_ succeeded in 7ms:
AUDIT_BUNDLE.txt
codex-output-schema.json
contracts
interfaces
libraries
@openzeppelin
exec
/bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-7t5geoh_ 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/AbstractRoyalties.sol
================================================================================
// SPDX-License-Identifier: MIT

pragma solidity 0.8.14;

import "../libraries/LibPart.sol";

abstract contract AbstractRoyalties {
  mapping (uint256 => LibPart.Part[]) internal royalties;

  function _saveRoyalties(uint256 id, LibPart.Part[] memory _royalties) internal {
    uint256 totalValue;
    for (uint i = 0; i < _royalties.length; i++) {
      require(_royalties[i].account != address(0x0), "Recipient should be present");
      require(_royalties[i].value != 0, "Royalty value should be positive");


thinking
**Analyzing reentrancy and access controls**

The transferToNGO function is publicly callable but appears safe from reentrancy since balance is zeroed before the call. The buy function may allow reentrancy via onERC721Received, but minting requires new token IDs and exact payment, limiting abuse despite reentrancy opportunities.
thinking
**Confirming no exploitable issues**

After detailed analysis, no exploitable vulnerabilities were found in minting, transfers, or royalties given current usage and access controls; noted potential DoS if NGO set to malicious contract but owner-controlled, so not exploitable.
codex
{"no_findings":true,"summary":"Reviewed first-party contracts in AUDIT_BUNDLE.txt; no exploitable issues found in minting, fund transfers, or royalty logic as implemented.","findings":[]}
tokens used
10,240

Metadata

{
    "codex": {
        "ran_at": "2026-01-22T07:46:35.333578+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "source",
        "file_count": 21,
        "import_count": 27,
        "first_party_contracts_count": 7
    },
    "summary": "Reviewed first-party contracts in AUDIT_BUNDLE.txt; no exploitable issues found in minting, fund transfers, or royalty logic as implemented.",
    "raw_final": {
        "summary": "Reviewed first-party contracts in AUDIT_BUNDLE.txt; no exploitable issues found in minting, fund transfers, or royalty logic as implemented.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm

Delegatecall

Selfdestruct

CREATE2

CALL-family (heavy)

EXT*/BALANCE

Total opcodes

8296

Flags

No heuristic flags raised.

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x019c
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8da5cb5b
00000019: GT
0000001a: PUSH2 0x00ec
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb88d4fde
00000024: GT
00000025: PUSH2 0x008a
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd96a094a
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd96a094a
0000003a: EQ
0000003b: PUSH2 0x05c5
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe8a3d485
00000045: EQ
00000046: PUSH2 0x05e1
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe985e9c5
00000050: EQ
00000051: PUSH2 0x060c
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x0649
0000005f: JUMPI
00000060: PUSH2 0x019c
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xb88d4fde
0000006b: EQ
0000006c: PUSH2 0x0522
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xc87b56dd
00000076: EQ
00000077: PUSH2 0x054b
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xcad96cca
00000081: EQ
00000082: PUSH2 0x0588
00000085: JUMPI
00000086: PUSH2 0x019c
00000089: JUMP
0000008a: JUMPDEST
0000008b: DUP1
0000008c: PUSH4 0x95d89b41
00000091: GT
00000092: PUSH2 0x00c6
00000095: JUMPI
00000096: DUP1
00000097: PUSH4 0x95d89b41
0000009c: EQ
0000009d: PUSH2 0x0478
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0xa035b1fe
000000a7: EQ
000000a8: PUSH2 0x04a3
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0xa113074b
000000b2: EQ
000000b3: PUSH2 0x04ce
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xa22cb465
000000bd: EQ
000000be: PUSH2 0x04f9
000000c1: JUMPI
000000c2: PUSH2 0x019c
000000c5: JUMP
000000c6: JUMPDEST
000000c7: DUP1
000000c8: PUSH4 0x8da5cb5b
000000cd: EQ
000000ce: PUSH2 0x03f9
000000d1: JUMPI
000000d2: DUP1
000000d3: PUSH4 0x91b7f5ed
000000d8: EQ
000000d9: PUSH2 0x0424
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x91cca3db
000000e3: EQ
000000e4: PUSH2 0x044d
000000e7: JUMPI
000000e8: PUSH2 0x019c
000000eb: JUMP
000000ec: JUMPDEST
000000ed: DUP1
000000ee: PUSH4 0x2a55205a
000000f3: GT
000000f4: PUSH2 0x0159
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x55f804b3
000000fe: GT
000000ff: PUSH2 0x0133
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x55f804b3
00000109: EQ
0000010a: PUSH2 0x033f
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x6352211e
00000114: EQ
00000115: PUSH2 0x0368
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x70a08231
0000011f: EQ
00000120: PUSH2 0x03a5
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x715018a6
0000012a: EQ
0000012b: PUSH2 0x03e2
0000012e: JUMPI
0000012f: PUSH2 0x019c
00000132: JUMP
00000133: JUMPDEST
00000134: DUP1
00000135: PUSH4 0x2a55205a
0000013a: EQ
0000013b: PUSH2 0x02af
0000013e: JUMPI
0000013f: DUP1
00000140: PUSH4 0x42833e47
00000145: EQ
00000146: PUSH2 0x02ed
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0x42842e0e
00000150: EQ
00000151: PUSH2 0x0316
00000154: JUMPI
00000155: PUSH2 0x019c
00000158: JUMP
00000159: JUMPDEST
0000015a: DUP1
0000015b: PUSH4 0x01ffc9a7
00000160: EQ
00000161: PUSH2 0x01a1
00000164: JUMPI
00000165: DUP1
00000166: PUSH4 0x06fdde03
0000016b: EQ
0000016c: PUSH2 0x01de
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0x081812fc
00000176: EQ
00000177: PUSH2 0x0209
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0x095ea7b3
00000181: EQ
00000182: PUSH2 0x0246
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x192bf966
0000018c: EQ
0000018d: PUSH2 0x026f
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0x23b872dd
00000197: EQ
00000198: PUSH2 0x0286
0000019b: JUMPI
0000019c: JUMPDEST
0000019d: PUSH1 0x00
0000019f: DUP1
000001a0: REVERT
000001a1: JUMPDEST
000001a2: CALLVALUE
000001a3: DUP1
000001a4: ISZERO
000001a5: PUSH2 0x01ad
000001a8: JUMPI
000001a9: PUSH1 0x00
000001ab: DUP1
000001ac: REVERT
000001ad: JUMPDEST
000001ae: POP
000001af: PUSH2 0x01c8
000001b2: PUSH1 0x04
000001b4: DUP1
000001b5: CALLDATASIZE
000001b6: SUB
000001b7: DUP2
000001b8: ADD
000001b9: SWAP1
000001ba: PUSH2 0x01c3
000001bd: SWAP2
000001be: SWAP1
000001bf: PUSH2 0x298d
000001c2: JUMP
000001c3: JUMPDEST
000001c4: PUSH2 0x0672
000001c7: JUMP
000001c8: JUMPDEST
000001c9: PUSH1 0x40
000001cb: MLOAD
000001cc: PUSH2 0x01d5
000001cf: SWAP2
000001d0: SWAP1
000001d1: PUSH2 0x29d5
000001d4: JUMP
000001d5: JUMPDEST
000001d6: PUSH1 0x40
000001d8: MLOAD
000001d9: DUP1
000001da: SWAP2
000001db: SUB
000001dc: SWAP1
000001dd: RETURN
000001de: JUMPDEST
000001df: CALLVALUE
000001e0: DUP1
000001e1: ISZERO
000001e2: PUSH2 0x01ea
000001e5: JUMPI
000001e6: PUSH1 0x00
000001e8: DUP1
000001e9: REVERT
000001ea: JUMPDEST
000001eb: POP
000001ec: PUSH2 0x01f3
000001ef: PUSH2 0x0684
000001f2: JUMP
000001f3: JUMPDEST
000001f4: PUSH1 0x40
000001f6: MLOAD
000001f7: PUSH2 0x0200
000001fa: SWAP2
000001fb: SWAP1
000001fc: PUSH2 0x2a89
000001ff: JUMP
00000200: JUMPDEST
00000201: PUSH1 0x40
00000203: MLOAD
00000204: DUP1
00000205: SWAP2
00000206: SUB
00000207: SWAP1
00000208: RETURN
00000209: JUMPDEST
0000020a: CALLVALUE
0000020b: DUP1
0000020c: ISZERO
0000020d: PUSH2 0x0215
00000210: JUMPI
00000211: PUSH1 0x00
00000213: DUP1
00000214: REVERT
00000215: JUMPDEST
00000216: POP
00000217: PUSH2 0x0230
0000021a: PUSH1 0x04
0000021c: DUP1
0000021d: CALLDATASIZE
0000021e: SUB
0000021f: DUP2
00000220: ADD
00000221: SWAP1
00000222: PUSH2 0x022b
00000225: SWAP2
00000226: SWAP1
00000227: PUSH2 0x2ae1
0000022a: JUMP
0000022b: JUMPDEST
0000022c: PUSH2 0x0716
0000022f: JUMP
00000230: JUMPDEST
00000231: PUSH1 0x40
00000233: MLOAD
00000234: PUSH2 0x023d
00000237: SWAP2
00000238: SWAP1
00000239: PUSH2 0x2b4f
0000023c: JUMP
0000023d: JUMPDEST
0000023e: PUSH1 0x40
00000240: MLOAD
00000241: DUP1
00000242: SWAP2
00000243: SUB
00000244: SWAP1
00000245: RETURN
00000246: JUMPDEST
00000247: CALLVALUE
00000248: DUP1
00000249: ISZERO
0000024a: PUSH2 0x0252
0000024d: JUMPI
0000024e: PUSH1 0x00
00000250: DUP1
00000251: REVERT
00000252: JUMPDEST
00000253: POP
00000254: PUSH2 0x026d
00000257: PUSH1 0x04
00000259: DUP1
0000025a: CALLDATASIZE
0000025b: SUB
0000025c: DUP2
0000025d: ADD
0000025e: SWAP1
0000025f: PUSH2 0x0268
00000262: SWAP2
00000263: SWAP1
00000264: PUSH2 0x2b96
00000267: JUMP
00000268: JUMPDEST
00000269: PUSH2 0x079b
0000026c: JUMP
0000026d: JUMPDEST
0000026e: STOP
0000026f: JUMPDEST
00000270: CALLVALUE
00000271: DUP1
00000272: ISZERO
00000273: PUSH2 0x027b
00000276: JUMPI
00000277: PUSH1 0x00
00000279: DUP1
0000027a: REVERT
0000027b: JUMPDEST
0000027c: POP
0000027d: PUSH2 0x0284
00000280: PUSH2 0x08b2
00000283: JUMP
00000284: JUMPDEST
00000285: STOP
00000286: JUMPDEST
00000287: CALLVALUE
00000288: DUP1
00000289: ISZERO
0000028a: PUSH2 0x0292
0000028d: JUMPI
0000028e: PUSH1 0x00
00000290: DUP1
00000291: REVERT
00000292: JUMPDEST
00000293: POP
00000294: PUSH2 0x02ad
00000297: PUSH1 0x04
00000299: DUP1
0000029a: CALLDATASIZE
0000029b: SUB
0000029c: DUP2
0000029d: ADD
0000029e: SWAP1
0000029f: PUSH2 0x02a8
000002a2: SWAP2
000002a3: SWAP1
000002a4: PUSH2 0x2bd6
000002a7: JUMP
000002a8: JUMPDEST
000002a9: PUSH2 0x0a33
000002ac: JUMP
000002ad: JUMPDEST
000002ae: STOP
000002af: JUMPDEST
000002b0: CALLVALUE
000002b1: DUP1
000002b2: ISZERO
000002b3: PUSH2 0x02bb
000002b6: JUMPI
000002b7: PUSH1 0x00
000002b9: DUP1
000002ba: REVERT
000002bb: JUMPDEST
000002bc: POP
000002bd: PUSH2 0x02d6
000002c0: PUSH1 0x04
000002c2: DUP1
000002c3: CALLDATASIZE
000002c4: SUB
000002c5: DUP2
000002c6: ADD
000002c7: SWAP1
000002c8: PUSH2 0x02d1
000002cb: SWAP2
000002cc: SWAP1
000002cd: PUSH2 0x2c29
000002d0: JUMP
000002d1: JUMPDEST
000002d2: PUSH2 0x0a93
000002d5: JUMP
000002d6: JUMPDEST
000002d7: PUSH1 0x40
000002d9: MLOAD
000002da: PUSH2 0x02e4
000002dd: SWAP3
000002de: SWAP2
000002df: SWAP1
000002e0: PUSH2 0x2c78
000002e3: JUMP
000002e4: JUMPDEST
000002e5: PUSH1 0x40
000002e7: MLOAD
000002e8: DUP1
000002e9: SWAP2
000002ea: SUB
000002eb: SWAP1
000002ec: RETURN
000002ed: JUMPDEST
000002ee: CALLVALUE
000002ef: DUP1
000002f0: ISZERO
000002f1: PUSH2 0x02f9
000002f4: JUMPI
000002f5: PUSH1 0x00
000002f7: DUP1
000002f8: REVERT
000002f9: JUMPDEST
000002fa: POP
000002fb: PUSH2 0x0314
000002fe: PUSH1 0x04
00000300: DUP1
00000301: CALLDATASIZE
00000302: SUB
00000303: DUP2
00000304: ADD
00000305: SWAP1
00000306: PUSH2 0x030f
00000309: SWAP2
0000030a: SWAP1
0000030b: PUSH2 0x2ca1
0000030e: JUMP
0000030f: JUMPDEST
00000310: PUSH2 0x0c68
00000313: JUMP
00000314: JUMPDEST
00000315: STOP
00000316: JUMPDEST
00000317: CALLVALUE
00000318: DUP1
00000319: ISZERO
0000031a: PUSH2 0x0322
0000031d: JUMPI
0000031e: PUSH1 0x00
00000320: DUP1
00000321: REVERT
00000322: JUMPDEST
00000323: POP
00000324: PUSH2 0x033d
00000327: PUSH1 0x04
00000329: DUP1
0000032a: CALLDATASIZE
0000032b: SUB
0000032c: DUP2
0000032d: ADD
0000032e: SWAP1
0000032f: PUSH2 0x0338
00000332: SWAP2
00000333: SWAP1
00000334: PUSH2 0x2bd6
00000337: JUMP
00000338: JUMPDEST
00000339: PUSH2 0x0d34
0000033c: JUMP
0000033d: JUMPDEST
0000033e: STOP
0000033f: JUMPDEST
00000340: CALLVALUE
00000341: DUP1
00000342: ISZERO
00000343: PUSH2 0x034b
00000346: JUMPI
00000347: PUSH1 0x00
00000349: DUP1
0000034a: REVERT
0000034b: JUMPDEST
0000034c: POP
0000034d: PUSH2 0x0366
00000350: PUSH1 0x04
00000352: DUP1
00000353: CALLDATASIZE
00000354: SUB
00000355: DUP2
00000356: ADD
00000357: SWAP1
00000358: PUSH2 0x0361
0000035b: SWAP2
0000035c: SWAP1
0000035d: PUSH2 0x2d33
00000360: JUMP
00000361: JUMPDEST
00000362: PUSH2 0x0d54
00000365: JUMP
00000366: JUMPDEST
00000367: STOP
00000368: JUMPDEST
00000369: CALLVALUE
0000036a: DUP1
0000036b: ISZERO
0000036c: PUSH2 0x0374
0000036f: JUMPI
00000370: PUSH1 0x00
00000372: DUP1
00000373: REVERT
00000374: JUMPDEST
00000375: POP
00000376: PUSH2 0x038f
00000379: PUSH1 0x04
0000037b: DUP1
0000037c: CALLDATASIZE
0000037d: SUB
0000037e: DUP2
0000037f: ADD
00000380: SWAP1
00000381: PUSH2 0x038a
00000384: SWAP2
00000385: SWAP1
00000386: PUSH2 0x2ae1
00000389: JUMP
0000038a: JUMPDEST
0000038b: PUSH2 0x0de6
0000038e: JUMP
0000038f: JUMPDEST
00000390: PUSH1 0x40
00000392: MLOAD
00000393: PUSH2 0x039c
00000396: SWAP2
00000397: SWAP1
00000398: PUSH2 0x2b4f
0000039b: JUMP
0000039c: JUMPDEST
0000039d: PUSH1 0x40
0000039f: MLOAD
000003a0: DUP1
000003a1: SWAP2
000003a2: SUB
000003a3: SWAP1
000003a4: RETURN
000003a5: JUMPDEST
000003a6: CALLVALUE
000003a7: DUP1
000003a8: ISZERO
000003a9: PUSH2 0x03b1
000003ac: JUMPI
000003ad: PUSH1 0x00
000003af: DUP1
000003b0: REVERT
000003b1: JUMPDEST
000003b2: POP
000003b3: PUSH2 0x03cc
000003b6: PUSH1 0x04
000003b8: DUP1
000003b9: CALLDATASIZE
000003ba: SUB
000003bb: DUP2
000003bc: ADD
000003bd: SWAP1
000003be: PUSH2 0x03c7
000003c1: SWAP2
000003c2: SWAP1
000003c3: PUSH2 0x2ca1
000003c6: JUMP
000003c7: JUMPDEST
000003c8: PUSH2 0x0e97
000003cb: JUMP
000003cc: JUMPDEST
000003cd: PUSH1 0x40
000003cf: MLOAD
000003d0: PUSH2 0x03d9
000003d3: SWAP2
000003d4: SWAP1
000003d5: PUSH2 0x2d80
000003d8: JUMP
000003d9: JUMPDEST
000003da: PUSH1 0x40
000003dc: MLOAD
000003dd: DUP1
000003de: SWAP2
000003df: SUB
000003e0: SWAP1
000003e1: RETURN
000003e2: JUMPDEST
000003e3: CALLVALUE
000003e4: DUP1
000003e5: ISZERO
000003e6: PUSH2 0x03ee
000003e9: JUMPI
000003ea: PUSH1 0x00
000003ec: DUP1
000003ed: REVERT
000003ee: JUMPDEST
000003ef: POP
000003f0: PUSH2 0x03f7
000003f3: PUSH2 0x0f4e
000003f6: JUMP
000003f7: JUMPDEST
000003f8: STOP
000003f9: JUMPDEST
000003fa: CALLVALUE
000003fb: DUP1
000003fc: ISZERO
000003fd: PUSH2 0x0405
00000400: JUMPI
00000401: PUSH1 0x00
00000403: DUP1
00000404: REVERT
00000405: JUMPDEST
00000406: POP
00000407: PUSH2 0x040e
0000040a: PUSH2 0x0fd6
0000040d: JUMP
0000040e: JUMPDEST
0000040f: PUSH1 0x40
00000411: MLOAD
00000412: PUSH2 0x041b
00000415: SWAP2
00000416: SWAP1
00000417: PUSH2 0x2b4f
0000041a: JUMP
0000041b: JUMPDEST
0000041c: PUSH1 0x40
0000041e: MLOAD
0000041f: DUP1
00000420: SWAP2
00000421: SUB
00000422: SWAP1
00000423: RETURN
00000424: JUMPDEST
00000425: CALLVALUE
00000426: DUP1
00000427: ISZERO
00000428: PUSH2 0x0430
0000042b: JUMPI
0000042c: PUSH1 0x00
0000042e: DUP1
0000042f: REVERT
00000430: JUMPDEST
00000431: POP
00000432: PUSH2 0x044b
00000435: PUSH1 0x04
00000437: DUP1
00000438: CALLDATASIZE
00000439: SUB
0000043a: DUP2
0000043b: ADD
0000043c: SWAP1
0000043d: PUSH2 0x0446
00000440: SWAP2
00000441: SWAP1
00000442: PUSH2 0x2ae1
00000445: JUMP
00000446: JUMPDEST
00000447: PUSH2 0x1000
0000044a: JUMP
0000044b: JUMPDEST
0000044c: STOP
0000044d: JUMPDEST
0000044e: CALLVALUE
0000044f: DUP1
00000450: ISZERO
00000451: PUSH2 0x0459
00000454: JUMPI
00000455: PUSH1 0x00
00000457: DUP1
00000458: REVERT
00000459: JUMPDEST
0000045a: POP
0000045b: PUSH2 0x0462
0000045e: PUSH2 0x1086
00000461: JUMP
00000462: JUMPDEST
00000463: PUSH1 0x40
00000465: MLOAD
00000466: PUSH2 0x046f
00000469: SWAP2
0000046a: SWAP1
0000046b: PUSH2 0x2b4f
0000046e: JUMP
0000046f: JUMPDEST
00000470: PUSH1 0x40
00000472: MLOAD
00000473: DUP1
00000474: SWAP2
00000475: SUB
00000476: SWAP1
00000477: RETURN
00000478: JUMPDEST
00000479: CALLVALUE
0000047a: DUP1
0000047b: ISZERO
0000047c: PUSH2 0x0484
0000047f: JUMPI
00000480: PUSH1 0x00
00000482: DUP1
00000483: REVERT
00000484: JUMPDEST
00000485: POP
00000486: PUSH2 0x048d
00000489: PUSH2 0x10ac
0000048c: JUMP
0000048d: JUMPDEST
0000048e: PUSH1 0x40
00000490: MLOAD
00000491: PUSH2 0x049a
00000494: SWAP2
00000495: SWAP1
00000496: PUSH2 0x2a89
00000499: JUMP
0000049a: JUMPDEST
0000049b: PUSH1 0x40
0000049d: MLOAD
0000049e: DUP1
0000049f: SWAP2
000004a0: SUB
000004a1: SWAP1
000004a2: RETURN
000004a3: JUMPDEST
000004a4: CALLVALUE
000004a5: DUP1
000004a6: ISZERO
000004a7: PUSH2 0x04af
000004aa: JUMPI
000004ab: PUSH1 0x00
000004ad: DUP1
000004ae: REVERT
000004af: JUMPDEST
000004b0: POP
000004b1: PUSH2 0x04b8
000004b4: PUSH2 0x113e
000004b7: JUMP
000004b8: JUMPDEST
000004b9: PUSH1 0x40
000004bb: MLOAD
000004bc: PUSH2 0x04c5
000004bf: SWAP2
000004c0: SWAP1
000004c1: PUSH2 0x2d80
000004c4: JUMP
000004c5: JUMPDEST
000004c6: PUSH1 0x40
000004c8: MLOAD
000004c9: DUP1
000004ca: SWAP2
000004cb: SUB
000004cc: SWAP1
000004cd: RETURN
000004ce: JUMPDEST
000004cf: CALLVALUE
000004d0: DUP1
000004d1: ISZERO
000004d2: PUSH2 0x04da
000004d5: JUMPI
000004d6: PUSH1 0x00
000004d8: DUP1
000004d9: REVERT
000004da: JUMPDEST
000004db: POP
000004dc: PUSH2 0x04e3
000004df: PUSH2 0x1148
000004e2: JUMP
000004e3: JUMPDEST
000004e4: PUSH1 0x40
000004e6: MLOAD
000004e7: PUSH2 0x04f0
000004ea: SWAP2
000004eb: SWAP1
000004ec: PUSH2 0x2b4f
000004ef: JUMP
000004f0: JUMPDEST
000004f1: PUSH1 0x40
000004f3: MLOAD
000004f4: DUP1
000004f5: SWAP2
000004f6: SUB
000004f7: SWAP1
000004f8: RETURN
000004f9: JUMPDEST
000004fa: CALLVALUE
000004fb: DUP1
000004fc: ISZERO
000004fd: PUSH2 0x0505
00000500: JUMPI
00000501: PUSH1 0x00
00000503: DUP1
00000504: REVERT
00000505: JUMPDEST
00000506: POP
00000507: PUSH2 0x0520
0000050a: PUSH1 0x04
0000050c: DUP1
0000050d: CALLDATASIZE
0000050e: SUB
0000050f: DUP2
00000510: ADD
00000511: SWAP1
00000512: PUSH2 0x051b
00000515: SWAP2
00000516: SWAP1
00000517: PUSH2 0x2dc7
0000051a: JUMP
0000051b: JUMPDEST
0000051c: PUSH2 0x116e
0000051f: JUMP
00000520: JUMPDEST
00000521: STOP
00000522: JUMPDEST
00000523: CALLVALUE
00000524: DUP1
00000525: ISZERO
00000526: PUSH2 0x052e
00000529: JUMPI
0000052a: PUSH1 0x00
0000052c: DUP1
0000052d: REVERT
0000052e: JUMPDEST
0000052f: POP
00000530: PUSH2 0x0549
00000533: PUSH1 0x04
00000535: DUP1
00000536: CALLDATASIZE
00000537: SUB
00000538: DUP2
00000539: ADD
0000053a: SWAP1
0000053b: PUSH2 0x0544
0000053e: SWAP2
0000053f: SWAP1
00000540: PUSH2 0x2f37
00000543: JUMP
00000544: JUMPDEST
00000545: PUSH2 0x1184
00000548: JUMP
00000549: JUMPDEST
0000054a: STOP
0000054b: JUMPDEST
0000054c: CALLVALUE
0000054d: DUP1
0000054e: ISZERO
0000054f: PUSH2 0x0557
00000552: JUMPI
00000553: PUSH1 0x00
00000555: DUP1
00000556: REVERT
00000557: JUMPDEST
00000558: POP
00000559: PUSH2 0x0572
0000055c: PUSH1 0x04
0000055e: DUP1
0000055f: CALLDATASIZE
00000560: SUB
00000561: DUP2
00000562: ADD
00000563: SWAP1
00000564: PUSH2 0x056d
00000567: SWAP2
00000568: SWAP1
00000569: PUSH2 0x2ae1
0000056c: JUMP
0000056d: JUMPDEST
0000056e: PUSH2 0x11e6
00000571: JUMP
00000572: JUMPDEST
00000573: PUSH1 0x40
00000575: MLOAD
00000576: PUSH2 0x057f
00000579: SWAP2
0000057a: SWAP1
0000057b: PUSH2 0x2a89
0000057e: JUMP
0000057f: JUMPDEST
00000580: PUSH1 0x40
00000582: MLOAD
00000583: DUP1
00000584: SWAP2
00000585: SUB
00000586: SWAP1
00000587: RETURN
00000588: JUMPDEST
00000589: CALLVALUE
0000058a: DUP1
0000058b: ISZERO
0000058c: PUSH2 0x0594
0000058f: JUMPI
00000590: PUSH1 0x00
00000592: DUP1
00000593: REVERT
00000594: JUMPDEST
00000595: POP
00000596: PUSH2 0x05af
00000599: PUSH1 0x04
0000059b: DUP1
0000059c: CALLDATASIZE
0000059d: SUB
0000059e: DUP2
0000059f: ADD
000005a0: SWAP1
000005a1: PUSH2 0x05aa
000005a4: SWAP2
000005a5: SWAP1
000005a6: PUSH2 0x2ae1
000005a9: JUMP
000005aa: JUMPDEST
000005ab: PUSH2 0x128d
000005ae: JUMP
000005af: JUMPDEST
000005b0: PUSH1 0x40
000005b2: MLOAD
000005b3: PUSH2 0x05bc
000005b6: SWAP2
000005b7: SWAP1
000005b8: PUSH2 0x30e0
000005bb: JUMP
000005bc: JUMPDEST
000005bd: PUSH1 0x40
000005bf: MLOAD
000005c0: DUP1
000005c1: SWAP2
000005c2: SUB
000005c3: SWAP1
000005c4: RETURN
000005c5: JUMPDEST
000005c6: PUSH2 0x05df
000005c9: PUSH1 0x04
000005cb: DUP1
000005cc: CALLDATASIZE
000005cd: SUB
000005ce: DUP2
000005cf: ADD
000005d0: SWAP1
000005d1: PUSH2 0x05da
000005d4: SWAP2
000005d5: SWAP1
000005d6: PUSH2 0x2ae1
000005d9: JUMP
000005da: JUMPDEST
000005db: PUSH2 0x138e
000005de: JUMP
000005df: JUMPDEST
000005e0: STOP
000005e1: JUMPDEST
000005e2: CALLVALUE
000005e3: DUP1
000005e4: ISZERO
000005e5: PUSH2 0x05ed
000005e8: JUMPI
000005e9: PUSH1 0x00
000005eb: DUP1
000005ec: REVERT
000005ed: JUMPDEST
000005ee: POP
000005ef: PUSH2 0x05f6
000005f2: PUSH2 0x1473
000005f5: JUMP
000005f6: JUMPDEST
000005f7: PUSH1 0x40
000005f9: MLOAD
000005fa: PUSH2 0x0603
000005fd: SWAP2
000005fe: SWAP1
000005ff: PUSH2 0x2a89
00000602: JUMP
00000603: JUMPDEST
00000604: PUSH1 0x40
00000606: MLOAD
00000607: DUP1
00000608: SWAP2
00000609: SUB
0000060a: SWAP1
0000060b: RETURN
0000060c: JUMPDEST
0000060d: CALLVALUE
0000060e: DUP1
0000060f: ISZERO
00000610: PUSH2 0x0618
00000613: JUMPI
00000614: PUSH1 0x00
00000616: DUP1
00000617: REVERT
00000618: JUMPDEST
00000619: POP
0000061a: PUSH2 0x0633
0000061d: PUSH1 0x04
0000061f: DUP1
00000620: CALLDATASIZE
00000621: SUB
00000622: DUP2
00000623: ADD
00000624: SWAP1
00000625: PUSH2 0x062e
00000628: SWAP2
00000629: SWAP1
0000062a: PUSH2 0x3102
0000062d: JUMP
0000062e: JUMPDEST
0000062f: PUSH2 0x149b
00000632: JUMP
00000633: JUMPDEST
00000634: PUSH1 0x40
00000636: MLOAD
00000637: PUSH2 0x0640
0000063a: SWAP2
0000063b: SWAP1
0000063c: PUSH2 0x29d5
0000063f: JUMP
00000640: JUMPDEST
00000641: PUSH1 0x40
00000643: MLOAD
00000644: DUP1
00000645: SWAP2
00000646: SUB
00000647: SWAP1
00000648: RETURN
00000649: JUMPDEST
0000064a: CALLVALUE
0000064b: DUP1
0000064c: ISZERO
0000064d: PUSH2 0x0655
00000650: JUMPI
00000651: PUSH1 0x00
00000653: DUP1
00000654: REVERT
00000655: JUMPDEST
00000656: POP
00000657: PUSH2 0x0670
0000065a: PUSH1 0x04
0000065c: DUP1
0000065d: CALLDATASIZE
0000065e: SUB
0000065f: DUP2
00000660: ADD
00000661: SWAP1
00000662: PUSH2 0x066b
00000665: SWAP2
00000666: SWAP1
00000667: PUSH2 0x2ca1
0000066a: JUMP
0000066b: JUMPDEST
0000066c: PUSH2 0x152f
0000066f: JUMP
00000670: JUMPDEST
00000671: STOP
00000672: JUMPDEST
00000673: PUSH1 0x00
00000675: PUSH2 0x067d
00000678: DUP3
00000679: PUSH2 0x1649
0000067c: JUMP
0000067d: JUMPDEST
0000067e: SWAP1
0000067f: POP
00000680: SWAP2
00000681: SWAP1
00000682: POP
00000683: JUMP
00000684: JUMPDEST
00000685: PUSH1 0x60
00000687: PUSH1 0x01
00000689: DUP1
0000068a: SLOAD
0000068b: PUSH2 0x0693
0000068e: SWAP1
0000068f: PUSH2 0x3171
00000692: JUMP
00000693: JUMPDEST
00000694: DUP1
00000695: PUSH1 0x1f
00000697: ADD
00000698: PUSH1 0x20
0000069a: DUP1
0000069b: SWAP2
0000069c: DIV
0000069d: MUL
0000069e: PUSH1 0x20
000006a0: ADD
000006a1: PUSH1 0x40
000006a3: MLOAD
000006a4: SWAP1
000006a5: DUP2
000006a6: ADD
000006a7: PUSH1 0x40
000006a9: MSTORE
000006aa: DUP1
000006ab: SWAP3
000006ac: SWAP2
000006ad: SWAP1
000006ae: DUP2
000006af: DUP2
000006b0: MSTORE
000006b1: PUSH1 0x20
000006b3: ADD
000006b4: DUP3
000006b5: DUP1
000006b6: SLOAD
000006b7: PUSH2 0x06bf
000006ba: SWAP1
000006bb: PUSH2 0x3171
000006be: JUMP
000006bf: JUMPDEST
000006c0: DUP1
000006c1: ISZERO
000006c2: PUSH2 0x070c
000006c5: JUMPI
000006c6: DUP1
000006c7: PUSH1 0x1f
000006c9: LT
000006ca: PUSH2 0x06e1
000006cd: JUMPI
000006ce: PUSH2 0x0100
000006d1: DUP1
000006d2: DUP4
000006d3: SLOAD
000006d4: DIV
000006d5: MUL
000006d6: DUP4
000006d7: MSTORE
000006d8: SWAP2
000006d9: PUSH1 0x20
000006db: ADD
000006dc: SWAP2
000006dd: PUSH2 0x070c
000006e0: JUMP
000006e1: JUMPDEST
000006e2: DUP3
000006e3: ADD
000006e4: SWAP2
000006e5: SWAP1
000006e6: PUSH1 0x00
000006e8: MSTORE
000006e9: PUSH1 0x20
000006eb: PUSH1 0x00
000006ed: KECCAK256
000006ee: SWAP1
000006ef: JUMPDEST
000006f0: DUP2
000006f1: SLOAD
000006f2: DUP2
000006f3: MSTORE
000006f4: SWAP1
000006f5: PUSH1 0x01
000006f7: ADD
000006f8: SWAP1
000006f9: PUSH1 0x20
000006fb: ADD
000006fc: DUP1
000006fd: DUP4
000006fe: GT
000006ff: PUSH2 0x06ef
00000702: JUMPI
00000703: DUP3
00000704: SWAP1
00000705: SUB
00000706: PUSH1 0x1f
00000708: AND
00000709: DUP3
0000070a: ADD
0000070b: SWAP2
0000070c: JUMPDEST
0000070d: POP
0000070e: POP
0000070f: POP
00000710: POP
00000711: POP
00000712: SWAP1
00000713: POP
00000714: SWAP1
00000715: JUMP
00000716: JUMPDEST
00000717: PUSH1 0x00
00000719: PUSH2 0x0721
0000071c: DUP3
0000071d: PUSH2 0x165b
00000720: JUMP
00000721: JUMPDEST
00000722: PUSH2 0x0760
00000725: JUMPI
00000726: PUSH1 0x40
00000728: MLOAD
00000729: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000074a: DUP2
0000074b: MSTORE
0000074c: PUSH1 0x04
0000074e: ADD
0000074f: PUSH2 0x0757
00000752: SWAP1
00000753: PUSH2 0x3214
00000756: JUMP
00000757: JUMPDEST
00000758: PUSH1 0x40
0000075a: MLOAD
0000075b: DUP1
0000075c: SWAP2
0000075d: SUB
0000075e: SWAP1
0000075f: REVERT
00000760: JUMPDEST
00000761: PUSH1 0x05
00000763: PUSH1 0x00
00000765: DUP4
00000766: DUP2
00000767: MSTORE
00000768: PUSH1 0x20
0000076a: ADD
0000076b: SWAP1
0000076c: DUP2
0000076d: MSTORE
0000076e: PUSH1 0x20
00000770: ADD
00000771: PUSH1 0x00
00000773: KECCAK256
00000774: PUSH1 0x00
00000776: SWAP1
00000777: SLOAD
00000778: SWAP1
00000779: PUSH2 0x0100
0000077c: EXP
0000077d: SWAP1
0000077e: DIV
0000077f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000794: AND
00000795: SWAP1
00000796: POP
00000797: SWAP2
00000798: SWAP1
00000799: POP
0000079a: JUMP
0000079b: JUMPDEST
0000079c: PUSH1 0x00
0000079e: PUSH2 0x07a6
000007a1: DUP3
000007a2: PUSH2 0x0de6
000007a5: JUMP
000007a6: JUMPDEST
000007a7: SWAP1
000007a8: POP
000007a9: DUP1
000007aa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007bf: AND
000007c0: DUP4
000007c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007d6: AND
000007d7: SUB
000007d8: PUSH2 0x0816
000007db: JUMPI
000007dc: PUSH1 0x40
000007de: MLOAD
000007df: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000800: DUP2
00000801: MSTORE
00000802: PUSH1 0x04
00000804: ADD
00000805: PUSH2 0x080d
00000808: SWAP1
00000809: PUSH2 0x32a6
0000080c: JUMP
0000080d: JUMPDEST
0000080e: PUSH1 0x40
00000810: MLOAD
00000811: DUP1
00000812: SWAP2
00000813: SUB
00000814: SWAP1
00000815: REVERT
00000816: JUMPDEST
00000817: DUP1
00000818: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000082d: AND
0000082e: PUSH2 0x0835
00000831: PUSH2 0x16c7
00000834: JUMP
00000835: JUMPDEST
00000836: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000084b: AND
0000084c: EQ
0000084d: DUP1
0000084e: PUSH2 0x0864
00000851: JUMPI
00000852: POP
00000853: PUSH2 0x0863
00000856: DUP2
00000857: PUSH2 0x085e
0000085a: PUSH2 0x16c7
0000085d: JUMP
0000085e: JUMPDEST
0000085f: PUSH2 0x149b
00000862: JUMP
00000863: JUMPDEST
00000864: JUMPDEST
00000865: PUSH2 0x08a3
00000868: JUMPI
00000869: PUSH1 0x40
0000086b: MLOAD
0000086c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000088d: DUP2
0000088e: MSTORE
0000088f: PUSH1 0x04
00000891: ADD
00000892: PUSH2 0x089a
00000895: SWAP1
00000896: PUSH2 0x3338
00000899: JUMP
0000089a: JUMPDEST
0000089b: PUSH1 0x40
0000089d: MLOAD
0000089e: DUP1
0000089f: SWAP2
000008a0: SUB
000008a1: SWAP1
000008a2: REVERT
000008a3: JUMPDEST
000008a4: PUSH2 0x08ad
000008a7: DUP4
000008a8: DUP4
000008a9: PUSH2 0x16cf
000008ac: JUMP
000008ad: JUMPDEST
000008ae: POP
000008af: POP
000008b0: POP
000008b1: JUMP
000008b2: JUMPDEST
000008b3: PUSH1 0x00
000008b5: SELFBALANCE
000008b6: SWAP1
000008b7: POP
000008b8: PUSH1 0x00
000008ba: DUP2
000008bb: GT
000008bc: PUSH2 0x08fa
000008bf: JUMPI
000008c0: PUSH1 0x40
000008c2: MLOAD
000008c3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000008e4: DUP2
000008e5: MSTORE
000008e6: PUSH1 0x04
000008e8: ADD
000008e9: PUSH2 0x08f1
000008ec: SWAP1
000008ed: PUSH2 0x33a4
000008f0: JUMP
000008f1: JUMPDEST
000008f2: PUSH1 0x40
000008f4: MLOAD
000008f5: DUP1
000008f6: SWAP2
000008f7: SUB
000008f8: SWAP1
000008f9: REVERT
000008fa: JUMPDEST
000008fb: PUSH1 0x00
000008fd: PUSH1 0x0c
000008ff: PUSH1 0x00
00000901: SWAP1
00000902: SLOAD
00000903: SWAP1
00000904: PUSH2 0x0100
00000907: EXP
00000908: SWAP1
00000909: DIV
0000090a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000091f: AND
00000920: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000935: AND
00000936: DUP3
00000937: PUSH1 0x40
00000939: MLOAD
0000093a: PUSH2 0x0942
0000093d: SWAP1
0000093e: PUSH2 0x33f5
00000941: JUMP
00000942: JUMPDEST
00000943: PUSH1 0x00
00000945: PUSH1 0x40
00000947: MLOAD
00000948: DUP1
00000949: DUP4
0000094a: SUB
0000094b: DUP2
0000094c: DUP6
0000094d: DUP8
0000094e: GAS
0000094f: CALL
00000950: SWAP3
00000951: POP
00000952: POP
00000953: POP
00000954: RETURNDATASIZE
00000955: DUP1
00000956: PUSH1 0x00
00000958: DUP2
00000959: EQ
0000095a: PUSH2 0x097f
0000095d: JUMPI
0000095e: PUSH1 0x40
00000960: MLOAD
00000961: SWAP2
00000962: POP
00000963: PUSH1 0x1f
00000965: NOT
00000966: PUSH1 0x3f
00000968: RETURNDATASIZE
00000969: ADD
0000096a: AND
0000096b: DUP3
0000096c: ADD
0000096d: PUSH1 0x40
0000096f: MSTORE
00000970: RETURNDATASIZE
00000971: DUP3
00000972: MSTORE
00000973: RETURNDATASIZE
00000974: PUSH1 0x00
00000976: PUSH1 0x20
00000978: DUP5
00000979: ADD
0000097a: RETURNDATACOPY
0000097b: PUSH2 0x0984
0000097e: JUMP
0000097f: JUMPDEST
00000980: PUSH1 0x60
00000982: SWAP2
00000983: POP
00000984: JUMPDEST
00000985: POP
00000986: POP
00000987: SWAP1
00000988: POP
00000989: DUP1
0000098a: PUSH2 0x09c8
0000098d: JUMPI
0000098e: PUSH1 0x40
00000990: MLOAD
00000991: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009b2: DUP2
000009b3: MSTORE
000009b4: PUSH1 0x04
000009b6: ADD
000009b7: PUSH2 0x09bf
000009ba: SWAP1
000009bb: PUSH2 0x3456
000009be: JUMP
000009bf: JUMPDEST
000009c0: PUSH1 0x40
000009c2: MLOAD
000009c3: DUP1
000009c4: SWAP2
000009c5: SUB
000009c6: SWAP1
000009c7: REVERT
000009c8: JUMPDEST
000009c9: TIMESTAMP
000009ca: DUP3
000009cb: PUSH1 0x0c
000009cd: PUSH1 0x00
000009cf: SWAP1
000009d0: SLOAD
000009d1: SWAP1
000009d2: PUSH2 0x0100
000009d5: EXP
000009d6: SWAP1
000009d7: DIV
000009d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ed: AND
000009ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a03: AND
00000a04: PUSH32 0xba7ecb522c937ff62554ee538358fd8b9bbfbf5b44c9127b30734573608ba569
00000a25: PUSH1 0x40
00000a27: MLOAD
00000a28: PUSH1 0x40
00000a2a: MLOAD
00000a2b: DUP1
00000a2c: SWAP2
00000a2d: SUB
00000a2e: SWAP1
00000a2f: LOG4
00000a30: POP
00000a31: POP
00000a32: JUMP
00000a33: JUMPDEST
00000a34: PUSH2 0x0a44
00000a37: PUSH2 0x0a3e
00000a3a: PUSH2 0x16c7
00000a3d: JUMP
00000a3e: JUMPDEST
00000a3f: DUP3
00000a40: PUSH2 0x1788
00000a43: JUMP
00000a44: JUMPDEST
00000a45: PUSH2 0x0a83
00000a48: JUMPI
00000a49: PUSH1 0x40
00000a4b: MLOAD
00000a4c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a6d: DUP2
00000a6e: MSTORE
00000a6f: PUSH1 0x04
00000a71: ADD
00000a72: PUSH2 0x0a7a
00000a75: SWAP1
00000a76: PUSH2 0x34e8
00000a79: JUMP
00000a7a: JUMPDEST
00000a7b: PUSH1 0x40
00000a7d: MLOAD
00000a7e: DUP1
00000a7f: SWAP2
00000a80: SUB
00000a81: SWAP1
00000a82: REVERT
00000a83: JUMPDEST
00000a84: PUSH2 0x0a8e
00000a87: DUP4
00000a88: DUP4
00000a89: DUP4
00000a8a: PUSH2 0x1866
00000a8d: JUMP
00000a8e: JUMPDEST
00000a8f: POP
00000a90: POP
00000a91: POP
00000a92: JUMP
00000a93: JUMPDEST
00000a94: PUSH1 0x00
00000a96: DUP1
00000a97: PUSH1 0x00
00000a99: DUP1
00000a9a: PUSH1 0x00
00000a9c: DUP7
00000a9d: DUP2
00000a9e: MSTORE
00000a9f: PUSH1 0x20
00000aa1: ADD
00000aa2: SWAP1
00000aa3: DUP2
00000aa4: MSTORE
00000aa5: PUSH1 0x20
00000aa7: ADD
00000aa8: PUSH1 0x00
00000aaa: KECCAK256
00000aab: DUP1
00000aac: SLOAD
00000aad: SWAP1
00000aae: POP
00000aaf: SUB
00000ab0: PUSH2 0x0ac6
00000ab3: JUMPI
00000ab4: PUSH2 0x0abd
00000ab7: DUP5
00000ab8: DUP5
00000ab9: PUSH2 0x1acc
00000abc: JUMP
00000abd: JUMPDEST
00000abe: SWAP2
00000abf: POP
00000ac0: SWAP2
00000ac1: POP
00000ac2: PUSH2 0x0c61
00000ac5: JUMP
00000ac6: JUMPDEST
00000ac7: PUSH1 0x00
00000ac9: DUP1
00000aca: PUSH1 0x00
00000acc: DUP7
00000acd: DUP2
00000ace: MSTORE
00000acf: PUSH1 0x20
00000ad1: ADD
00000ad2: SWAP1
00000ad3: DUP2
00000ad4: MSTORE
00000ad5: PUSH1 0x20
00000ad7: ADD
00000ad8: PUSH1 0x00
00000ada: KECCAK256
00000adb: DUP1
00000adc: SLOAD
00000add: DUP1
00000ade: PUSH1 0x20
00000ae0: MUL
00000ae1: PUSH1 0x20
00000ae3: ADD
00000ae4: PUSH1 0x40
00000ae6: MLOAD
00000ae7: SWAP1
00000ae8: DUP2
00000ae9: ADD
00000aea: PUSH1 0x40
00000aec: MSTORE
00000aed: DUP1
00000aee: SWAP3
00000aef: SWAP2
00000af0: SWAP1
00000af1: DUP2
00000af2: DUP2
00000af3: MSTORE
00000af4: PUSH1 0x20
00000af6: ADD
00000af7: PUSH1 0x00
00000af9: SWAP1
00000afa: JUMPDEST
00000afb: DUP3
00000afc: DUP3
00000afd: LT
00000afe: ISZERO
00000aff: PUSH2 0x0bbc
00000b02: JUMPI
00000b03: DUP4
00000b04: DUP3
00000b05: SWAP1
00000b06: PUSH1 0x00
00000b08: MSTORE
00000b09: PUSH1 0x20
00000b0b: PUSH1 0x00
00000b0d: KECCAK256
00000b0e: ADD
00000b0f: PUSH1 0x40
00000b11: MLOAD
00000b12: DUP1
00000b13: PUSH1 0x40
00000b15: ADD
00000b16: PUSH1 0x40
00000b18: MSTORE
00000b19: SWAP1
00000b1a: DUP2
00000b1b: PUSH1 0x00
00000b1d: DUP3
00000b1e: ADD
00000b1f: PUSH1 0x00
00000b21: SWAP1
00000b22: SLOAD
00000b23: SWAP1
00000b24: PUSH2 0x0100
00000b27: EXP
00000b28: SWAP1
00000b29: DIV
00000b2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b3f: AND
00000b40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b55: AND
00000b56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b6b: AND
00000b6c: DUP2
00000b6d: MSTORE
00000b6e: PUSH1 0x20
00000b70: ADD
00000b71: PUSH1 0x00
00000b73: DUP3
00000b74: ADD
00000b75: PUSH1 0x14
00000b77: SWAP1
00000b78: SLOAD
00000b79: SWAP1
00000b7a: PUSH2 0x0100
00000b7d: EXP
00000b7e: SWAP1
00000b7f: DIV
00000b80: PUSH12 0xffffffffffffffffffffffff
00000b8d: AND
00000b8e: PUSH12 0xffffffffffffffffffffffff
00000b9b: AND
00000b9c: PUSH12 0xffffffffffffffffffffffff
00000ba9: AND
00000baa: DUP2
00000bab: MSTORE
00000bac: POP
00000bad: POP
00000bae: DUP2
00000baf: MSTORE
00000bb0: PUSH1 0x20
00000bb2: ADD
00000bb3: SWAP1
00000bb4: PUSH1 0x01
00000bb6: ADD
00000bb7: SWAP1
00000bb8: PUSH2 0x0afa
00000bbb: JUMP
00000bbc: JUMPDEST
00000bbd: POP
00000bbe: POP
00000bbf: POP
00000bc0: POP
00000bc1: SWAP1
00000bc2: POP
00000bc3: DUP1
00000bc4: PUSH1 0x00
00000bc6: DUP2
00000bc7: MLOAD
00000bc8: DUP2
00000bc9: LT
00000bca: PUSH2 0x0bd6
00000bcd: JUMPI
00000bce: PUSH2 0x0bd5
00000bd1: PUSH2 0x3508
00000bd4: JUMP
00000bd5: JUMPDEST
00000bd6: JUMPDEST
00000bd7: PUSH1 0x20
00000bd9: MUL
00000bda: PUSH1 0x20
00000bdc: ADD
00000bdd: ADD
00000bde: MLOAD
00000bdf: PUSH1 0x00
00000be1: ADD
00000be2: MLOAD
00000be3: SWAP3
00000be4: POP
00000be5: PUSH1 0x00
00000be7: DUP1
00000be8: PUSH1 0x00
00000bea: SWAP1
00000beb: POP
00000bec: JUMPDEST
00000bed: DUP3
00000bee: MLOAD
00000bef: DUP2
00000bf0: LT
00000bf1: ISZERO
00000bf2: PUSH2 0x0c42
00000bf5: JUMPI
00000bf6: DUP3
00000bf7: DUP2
00000bf8: DUP2
00000bf9: MLOAD
00000bfa: DUP2
00000bfb: LT
00000bfc: PUSH2 0x0c08
00000bff: JUMPI
00000c00: PUSH2 0x0c07
00000c03: PUSH2 0x3508
00000c06: JUMP
00000c07: JUMPDEST
00000c08: JUMPDEST
00000c09: PUSH1 0x20
00000c0b: MUL
00000c0c: PUSH1 0x20
00000c0e: ADD
00000c0f: ADD
00000c10: MLOAD
00000c11: PUSH1 0x20
00000c13: ADD
00000c14: MLOAD
00000c15: PUSH12 0xffffffffffffffffffffffff
00000c22: AND
00000c23: DUP3
00000c24: PUSH2 0x0c2d
00000c27: SWAP2
00000c28: SWAP1
00000c29: PUSH2 0x3566
00000c2c: JUMP
00000c2d: JUMPDEST
00000c2e: SWAP2
00000c2f: POP
00000c30: DUP1
00000c31: DUP1
00000c32: PUSH2 0x0c3a
00000c35: SWAP1
00000c36: PUSH2 0x35bc
00000c39: JUMP
00000c3a: JUMPDEST
00000c3b: SWAP2
00000c3c: POP
00000c3d: POP
00000c3e: PUSH2 0x0bec
00000c41: JUMP
00000c42: JUMPDEST
00000c43: POP
00000c44: PUSH2 0x2710
00000c47: DUP6
00000c48: DUP3
00000c49: PUSH2 0x0c52
00000c4c: SWAP2
00000c4d: SWAP1
00000c4e: PUSH2 0x3604
00000c51: JUMP
00000c52: JUMPDEST
00000c53: PUSH2 0x0c5c
00000c56: SWAP2
00000c57: SWAP1
00000c58: PUSH2 0x368d
00000c5b: JUMP
00000c5c: JUMPDEST
00000c5d: SWAP3
00000c5e: POP
00000c5f: POP
00000c60: POP
00000c61: JUMPDEST
00000c62: SWAP3
00000c63: POP
00000c64: SWAP3
00000c65: SWAP1
00000c66: POP
00000c67: JUMP
00000c68: JUMPDEST
00000c69: PUSH2 0x0c70
00000c6c: PUSH2 0x16c7
00000c6f: JUMP
00000c70: JUMPDEST
00000c71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c86: AND
00000c87: PUSH2 0x0c8e
00000c8a: PUSH2 0x0fd6
00000c8d: JUMP
00000c8e: JUMPDEST
00000c8f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ca4: AND
00000ca5: EQ
00000ca6: PUSH2 0x0ce4
00000ca9: JUMPI
00000caa: PUSH1 0x40
00000cac: MLOAD
00000cad: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000cce: DUP2
00000ccf: MSTORE
00000cd0: PUSH1 0x04
00000cd2: ADD
00000cd3: PUSH2 0x0cdb
00000cd6: SWAP1
00000cd7: PUSH2 0x370a
00000cda: JUMP
00000cdb: JUMPDEST
00000cdc: PUSH1 0x40
00000cde: MLOAD
00000cdf: DUP1
00000ce0: SWAP2
00000ce1: SUB
00000ce2: SWAP1
00000ce3: REVERT
00000ce4: JUMPDEST
00000ce5: DUP1
00000ce6: PUSH1 0x0c
00000ce8: PUSH1 0x00
00000cea: PUSH2 0x0100
00000ced: EXP
00000cee: DUP2
00000cef: SLOAD
00000cf0: DUP2
00000cf1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d06: MUL
00000d07: NOT
00000d08: AND
00000d09: SWAP1
00000d0a: DUP4
00000d0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d20: AND
00000d21: MUL
00000d22: OR
00000d23: SWAP1
00000d24: SSTORE
00000d25: POP
00000d26: PUSH2 0x0d31
00000d29: DUP2
00000d2a: PUSH2 0x03e8
00000d2d: PUSH2 0x1cb6
00000d30: JUMP
00000d31: JUMPDEST
00000d32: POP
00000d33: JUMP
00000d34: JUMPDEST
00000d35: PUSH2 0x0d4f
00000d38: DUP4
00000d39: DUP4
00000d3a: DUP4
00000d3b: PUSH1 0x40
00000d3d: MLOAD
00000d3e: DUP1
00000d3f: PUSH1 0x20
00000d41: ADD
00000d42: PUSH1 0x40
00000d44: MSTORE
00000d45: DUP1
00000d46: PUSH1 0x00
00000d48: DUP2
00000d49: MSTORE
00000d4a: POP
00000d4b: PUSH2 0x1184
00000d4e: JUMP
00000d4f: JUMPDEST
00000d50: POP
00000d51: POP
00000d52: POP
00000d53: JUMP
00000d54: JUMPDEST
00000d55: PUSH2 0x0d5c
00000d58: PUSH2 0x16c7
00000d5b: JUMP
00000d5c: JUMPDEST
00000d5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d72: AND
00000d73: PUSH2 0x0d7a
00000d76: PUSH2 0x0fd6
00000d79: JUMP
00000d7a: JUMPDEST
00000d7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d90: AND
00000d91: EQ
00000d92: PUSH2 0x0dd0
00000d95: JUMPI
00000d96: PUSH1 0x40
00000d98: MLOAD
00000d99: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000dba: DUP2
00000dbb: MSTORE
00000dbc: PUSH1 0x04
00000dbe: ADD
00000dbf: PUSH2 0x0dc7
00000dc2: SWAP1
00000dc3: PUSH2 0x370a
00000dc6: JUMP
00000dc7: JUMPDEST
00000dc8: PUSH1 0x40
00000dca: MLOAD
00000dcb: DUP1
00000dcc: SWAP2
00000dcd: SUB
00000dce: SWAP1
00000dcf: REVERT
00000dd0: JUMPDEST
00000dd1: DUP2
00000dd2: DUP2
00000dd3: PUSH1 0x0a
00000dd5: SWAP2
00000dd6: SWAP1
00000dd7: PUSH2 0x0de1
00000dda: SWAP3
00000ddb: SWAP2
00000ddc: SWAP1
00000ddd: PUSH2 0x287e
00000de0: JUMP
00000de1: JUMPDEST
00000de2: POP
00000de3: POP
00000de4: POP
00000de5: JUMP
00000de6: JUMPDEST
00000de7: PUSH1 0x00
00000de9: DUP1
00000dea: PUSH1 0x03
00000dec: PUSH1 0x00
00000dee: DUP5
00000def: DUP2
00000df0: MSTORE
00000df1: PUSH1 0x20
00000df3: ADD
00000df4: SWAP1
00000df5: DUP2
00000df6: MSTORE
00000df7: PUSH1 0x20
00000df9: ADD
00000dfa: PUSH1 0x00
00000dfc: KECCAK256
00000dfd: PUSH1 0x00
00000dff: SWAP1
00000e00: SLOAD
00000e01: SWAP1
00000e02: PUSH2 0x0100
00000e05: EXP
00000e06: SWAP1
00000e07: DIV
00000e08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e1d: AND
00000e1e: SWAP1
00000e1f: POP
00000e20: PUSH1 0x00
00000e22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e37: AND
00000e38: DUP2
00000e39: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e4e: AND
00000e4f: SUB
00000e50: PUSH2 0x0e8e
00000e53: JUMPI
00000e54: PUSH1 0x40
00000e56: MLOAD
00000e57: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e78: DUP2
00000e79: MSTORE
00000e7a: PUSH1 0x04
00000e7c: ADD
00000e7d: PUSH2 0x0e85
00000e80: SWAP1
00000e81: PUSH2 0x379c
00000e84: JUMP
00000e85: JUMPDEST
00000e86: PUSH1 0x40
00000e88: MLOAD
00000e89: DUP1
00000e8a: SWAP2
00000e8b: SUB
00000e8c: SWAP1
00000e8d: REVERT
00000e8e: JUMPDEST
00000e8f: DUP1
00000e90: SWAP2
00000e91: POP
00000e92: POP
00000e93: SWAP2
00000e94: SWAP1
00000e95: POP
00000e96: JUMP
00000e97: JUMPDEST
00000e98: PUSH1 0x00
00000e9a: DUP1
00000e9b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eb0: AND
00000eb1: DUP3
00000eb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ec7: AND
00000ec8: SUB
00000ec9: PUSH2 0x0f07
00000ecc: JUMPI
00000ecd: PUSH1 0x40
00000ecf: MLOAD
00000ed0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ef1: DUP2
00000ef2: MSTORE
00000ef3: PUSH1 0x04
00000ef5: ADD
00000ef6: PUSH2 0x0efe
00000ef9: SWAP1
00000efa: PUSH2 0x382e
00000efd: JUMP
00000efe: JUMPDEST
00000eff: PUSH1 0x40
00000f01: MLOAD
00000f02: DUP1
00000f03: SWAP2
00000f04: SUB
00000f05: SWAP1
00000f06: REVERT
00000f07: JUMPDEST
00000f08: PUSH1 0x04
00000f0a: PUSH1 0x00
00000f0c: DUP4
00000f0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f22: AND
00000f23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f38: AND
00000f39: DUP2
00000f3a: MSTORE
00000f3b: PUSH1 0x20
00000f3d: ADD
00000f3e: SWAP1
00000f3f: DUP2
00000f40: MSTORE
00000f41: PUSH1 0x20
00000f43: ADD
00000f44: PUSH1 0x00
00000f46: KECCAK256
00000f47: SLOAD
00000f48: SWAP1
00000f49: POP
00000f4a: SWAP2
00000f4b: SWAP1
00000f4c: POP
00000f4d: JUMP
00000f4e: JUMPDEST
00000f4f: PUSH2 0x0f56
00000f52: PUSH2 0x16c7
00000f55: JUMP
00000f56: JUMPDEST
00000f57: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f6c: AND
00000f6d: PUSH2 0x0f74
00000f70: PUSH2 0x0fd6
00000f73: JUMP
00000f74: JUMPDEST
00000f75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f8a: AND
00000f8b: EQ
00000f8c: PUSH2 0x0fca
00000f8f: JUMPI
00000f90: PUSH1 0x40
00000f92: MLOAD
00000f93: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000fb4: DUP2
00000fb5: MSTORE
00000fb6: PUSH1 0x04
00000fb8: ADD
00000fb9: PUSH2 0x0fc1
00000fbc: SWAP1
00000fbd: PUSH2 0x370a
00000fc0: JUMP
00000fc1: JUMPDEST
00000fc2: PUSH1 0x40
00000fc4: MLOAD
00000fc5: DUP1
00000fc6: SWAP2
00000fc7: SUB
00000fc8: SWAP1
00000fc9: REVERT
00000fca: JUMPDEST
00000fcb: PUSH2 0x0fd4
00000fce: PUSH1 0x00
00000fd0: PUSH2 0x1e4b
00000fd3: JUMP
00000fd4: JUMPDEST
00000fd5: JUMP
00000fd6: JUMPDEST
00000fd7: PUSH1 0x00
00000fd9: PUSH1 0x07
00000fdb: PUSH1 0x00
00000fdd: SWAP1
00000fde: SLOAD
00000fdf: SWAP1
00000fe0: PUSH2 0x0100
00000fe3: EXP
00000fe4: SWAP1
00000fe5: DIV
00000fe6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ffb: AND
00000ffc: SWAP1
00000ffd: POP
00000ffe: SWAP1
00000fff: JUMP
00001000: JUMPDEST
00001001: PUSH2 0x1008
00001004: PUSH2 0x16c7
00001007: JUMP
00001008: JUMPDEST
00001009: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000101e: AND
0000101f: PUSH2 0x1026
00001022: PUSH2 0x0fd6
00001025: JUMP
00001026: JUMPDEST
00001027: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000103c: AND
0000103d: EQ
0000103e: PUSH2 0x107c
00001041: JUMPI
00001042: PUSH1 0x40
00001044: MLOAD
00001045: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001066: DUP2
00001067: MSTORE
00001068: PUSH1 0x04
0000106a: ADD
0000106b: PUSH2 0x1073
0000106e: SWAP1
0000106f: PUSH2 0x370a
00001072: JUMP
00001073: JUMPDEST
00001074: PUSH1 0x40
00001076: MLOAD
00001077: DUP1
00001078: SWAP2
00001079: SUB
0000107a: SWAP1
0000107b: REVERT
0000107c: JUMPDEST
0000107d: DUP1
0000107e: PUSH1 0x0b
00001080: DUP2
00001081: SWAP1
00001082: SSTORE
00001083: POP
00001084: POP
00001085: JUMP
00001086: JUMPDEST
00001087: PUSH1 0x0d
00001089: PUSH1 0x00
0000108b: SWAP1
0000108c: SLOAD
0000108d: SWAP1
0000108e: PUSH2 0x0100
00001091: EXP
00001092: SWAP1
00001093: DIV
00001094: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010a9: AND
000010aa: DUP2
000010ab: JUMP
000010ac: JUMPDEST
000010ad: PUSH1 0x60
000010af: PUSH1 0x02
000010b1: DUP1
000010b2: SLOAD
000010b3: PUSH2 0x10bb
000010b6: SWAP1
000010b7: PUSH2 0x3171
000010ba: JUMP
000010bb: JUMPDEST
000010bc: DUP1
000010bd: PUSH1 0x1f
000010bf: ADD
000010c0: PUSH1 0x20
000010c2: DUP1
000010c3: SWAP2
000010c4: DIV
000010c5: MUL
000010c6: PUSH1 0x20
000010c8: ADD
000010c9: PUSH1 0x40
000010cb: MLOAD
000010cc: SWAP1
000010cd: DUP2
000010ce: ADD
000010cf: PUSH1 0x40
000010d1: MSTORE
000010d2: DUP1
000010d3: SWAP3
000010d4: SWAP2
000010d5: SWAP1
000010d6: DUP2
000010d7: DUP2
000010d8: MSTORE
000010d9: PUSH1 0x20
000010db: ADD
000010dc: DUP3
000010dd: DUP1
000010de: SLOAD
000010df: PUSH2 0x10e7
000010e2: SWAP1
000010e3: PUSH2 0x3171
000010e6: JUMP
000010e7: JUMPDEST
000010e8: DUP1
000010e9: ISZERO
000010ea: PUSH2 0x1134
000010ed: JUMPI
000010ee: DUP1
000010ef: PUSH1 0x1f
000010f1: LT
000010f2: PUSH2 0x1109
000010f5: JUMPI
000010f6: PUSH2 0x0100
000010f9: DUP1
000010fa: DUP4
000010fb: SLOAD
000010fc: DIV
000010fd: MUL
000010fe: DUP4
000010ff: MSTORE
00001100: SWAP2
00001101: PUSH1 0x20
00001103: ADD
00001104: SWAP2
00001105: PUSH2 0x1134
00001108: JUMP
00001109: JUMPDEST
0000110a: DUP3
0000110b: ADD
0000110c: SWAP2
0000110d: SWAP1
0000110e: PUSH1 0x00
00001110: MSTORE
00001111: PUSH1 0x20
00001113: PUSH1 0x00
00001115: KECCAK256
00001116: SWAP1
00001117: JUMPDEST
00001118: DUP2
00001119: SLOAD
0000111a: DUP2
0000111b: MSTORE
0000111c: SWAP1
0000111d: PUSH1 0x01
0000111f: ADD
00001120: SWAP1
00001121: PUSH1 0x20
00001123: ADD
00001124: DUP1
00001125: DUP4
00001126: GT
00001127: PUSH2 0x1117
0000112a: JUMPI
0000112b: DUP3
0000112c: SWAP1
0000112d: SUB
0000112e: PUSH1 0x1f
00001130: AND
00001131: DUP3
00001132: ADD
00001133: SWAP2
00001134: JUMPDEST
00001135: POP
00001136: POP
00001137: POP
00001138: POP
00001139: POP
0000113a: SWAP1
0000113b: POP
0000113c: SWAP1
0000113d: JUMP
0000113e: JUMPDEST
0000113f: PUSH1 0x00
00001141: PUSH1 0x0b
00001143: SLOAD
00001144: SWAP1
00001145: POP
00001146: SWAP1
00001147: JUMP
00001148: JUMPDEST
00001149: PUSH1 0x0c
0000114b: PUSH1 0x00
0000114d: SWAP1
0000114e: SLOAD
0000114f: SWAP1
00001150: PUSH2 0x0100
00001153: EXP
00001154: SWAP1
00001155: DIV
00001156: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000116b: AND
0000116c: DUP2
0000116d: JUMP
0000116e: JUMPDEST
0000116f: PUSH2 0x1180
00001172: PUSH2 0x1179
00001175: PUSH2 0x16c7
00001178: JUMP
00001179: JUMPDEST
0000117a: DUP4
0000117b: DUP4
0000117c: PUSH2 0x1f11
0000117f: JUMP
00001180: JUMPDEST
00001181: POP
00001182: POP
00001183: JUMP
00001184: JUMPDEST
00001185: PUSH2 0x1195
00001188: PUSH2 0x118f
0000118b: PUSH2 0x16c7
0000118e: JUMP
0000118f: JUMPDEST
00001190: DUP4
00001191: PUSH2 0x1788
00001194: JUMP
00001195: JUMPDEST
00001196: PUSH2 0x11d4
00001199: JUMPI
0000119a: PUSH1 0x40
0000119c: MLOAD
0000119d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011be: DUP2
000011bf: MSTORE
000011c0: PUSH1 0x04
000011c2: ADD
000011c3: PUSH2 0x11cb
000011c6: SWAP1
000011c7: PUSH2 0x34e8
000011ca: JUMP
000011cb: JUMPDEST
000011cc: PUSH1 0x40
000011ce: MLOAD
000011cf: DUP1
000011d0: SWAP2
000011d1: SUB
000011d2: SWAP1
000011d3: REVERT
000011d4: JUMPDEST
000011d5: PUSH2 0x11e0
000011d8: DUP5
000011d9: DUP5
000011da: DUP5
000011db: DUP5
000011dc: PUSH2 0x207d
000011df: JUMP
000011e0: JUMPDEST
000011e1: POP
000011e2: POP
000011e3: POP
000011e4: POP
000011e5: JUMP
000011e6: JUMPDEST
000011e7: PUSH1 0x60
000011e9: PUSH2 0x11f1
000011ec: DUP3
000011ed: PUSH2 0x165b
000011f0: JUMP
000011f1: JUMPDEST
000011f2: PUSH2 0x1230
000011f5: JUMPI
000011f6: PUSH1 0x40
000011f8: MLOAD
000011f9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000121a: DUP2
0000121b: MSTORE
0000121c: PUSH1 0x04
0000121e: ADD
0000121f: PUSH2 0x1227
00001222: SWAP1
00001223: PUSH2 0x38c0
00001226: JUMP
00001227: JUMPDEST
00001228: PUSH1 0x40
0000122a: MLOAD
0000122b: DUP1
0000122c: SWAP2
0000122d: SUB
0000122e: SWAP1
0000122f: REVERT
00001230: JUMPDEST
00001231: PUSH1 0x00
00001233: PUSH2 0x123a
00001236: PUSH2 0x20d9
00001239: JUMP
0000123a: JUMPDEST
0000123b: SWAP1
0000123c: POP
0000123d: PUSH1 0x00
0000123f: DUP2
00001240: MLOAD
00001241: GT
00001242: PUSH2 0x125a
00001245: JUMPI
00001246: PUSH1 0x40
00001248: MLOAD
00001249: DUP1
0000124a: PUSH1 0x20
0000124c: ADD
0000124d: PUSH1 0x40
0000124f: MSTORE
00001250: DUP1
00001251: PUSH1 0x00
00001253: DUP2
00001254: MSTORE
00001255: POP
00001256: PUSH2 0x1285
00001259: JUMP
0000125a: JUMPDEST
0000125b: DUP1
0000125c: PUSH2 0x1264
0000125f: DUP5
00001260: PUSH2 0x216b
00001263: JUMP
00001264: JUMPDEST
00001265: PUSH1 0x40
00001267: MLOAD
00001268: PUSH1 0x20
0000126a: ADD
0000126b: PUSH2 0x1275
0000126e: SWAP3
0000126f: SWAP2
00001270: SWAP1
00001271: PUSH2 0x391c
00001274: JUMP
00001275: JUMPDEST
00001276: PUSH1 0x40
00001278: MLOAD
00001279: PUSH1 0x20
0000127b: DUP2
0000127c: DUP4
0000127d: SUB
0000127e: SUB
0000127f: DUP2
00001280: MSTORE
00001281: SWAP1
00001282: PUSH1 0x40
00001284: MSTORE
00001285: JUMPDEST
00001286: SWAP2
00001287: POP
00001288: POP
00001289: SWAP2
0000128a: SWAP1
0000128b: POP
0000128c: JUMP
0000128d: JUMPDEST
0000128e: PUSH1 0x60
00001290: PUSH1 0x00
00001292: DUP1
00001293: DUP4
00001294: DUP2
00001295: MSTORE
00001296: PUSH1 0x20
00001298: ADD
00001299: SWAP1
0000129a: DUP2
0000129b: MSTORE
0000129c: PUSH1 0x20
0000129e: ADD
0000129f: PUSH1 0x00
000012a1: KECCAK256
000012a2: DUP1
000012a3: SLOAD
000012a4: DUP1
000012a5: PUSH1 0x20
000012a7: MUL
000012a8: PUSH1 0x20
000012aa: ADD
000012ab: PUSH1 0x40
000012ad: MLOAD
000012ae: SWAP1
000012af: DUP2
000012b0: ADD
000012b1: PUSH1 0x40
000012b3: MSTORE
000012b4: DUP1
000012b5: SWAP3
000012b6: SWAP2
000012b7: SWAP1
000012b8: DUP2
000012b9: DUP2
000012ba: MSTORE
000012bb: PUSH1 0x20
000012bd: ADD
000012be: PUSH1 0x00
000012c0: SWAP1
000012c1: JUMPDEST
000012c2: DUP3
000012c3: DUP3
000012c4: LT
000012c5: ISZERO
000012c6: PUSH2 0x1383
000012c9: JUMPI
000012ca: DUP4
000012cb: DUP3
000012cc: SWAP1
000012cd: PUSH1 0x00
000012cf: MSTORE
000012d0: PUSH1 0x20
000012d2: PUSH1 0x00
000012d4: KECCAK256
000012d5: ADD
000012d6: PUSH1 0x40
000012d8: MLOAD
000012d9: DUP1
000012da: PUSH1 0x40
000012dc: ADD
000012dd: PUSH1 0x40
000012df: MSTORE
000012e0: SWAP1
000012e1: DUP2
000012e2: PUSH1 0x00
000012e4: DUP3
000012e5: ADD
000012e6: PUSH1 0x00
000012e8: SWAP1
000012e9: SLOAD
000012ea: SWAP1
000012eb: PUSH2 0x0100
000012ee: EXP
000012ef: SWAP1
000012f0: DIV
000012f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001306: AND
00001307: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000131c: AND
0000131d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001332: AND
00001333: DUP2
00001334: MSTORE
00001335: PUSH1 0x20
00001337: ADD
00001338: PUSH1 0x00
0000133a: DUP3
0000133b: ADD
0000133c: PUSH1 0x14
0000133e: SWAP1
0000133f: SLOAD
00001340: SWAP1
00001341: PUSH2 0x0100
00001344: EXP
00001345: SWAP1
00001346: DIV
00001347: PUSH12 0xffffffffffffffffffffffff
00001354: AND
00001355: PUSH12 0xffffffffffffffffffffffff
00001362: AND
00001363: PUSH12 0xffffffffffffffffffffffff
00001370: AND
00001371: DUP2
00001372: MSTORE
00001373: POP
00001374: POP
00001375: DUP2
00001376: MSTORE
00001377: PUSH1 0x20
00001379: ADD
0000137a: SWAP1
0000137b: PUSH1 0x01
0000137d: ADD
0000137e: SWAP1
0000137f: PUSH2 0x12c1
00001382: JUMP
00001383: JUMPDEST
00001384: POP
00001385: POP
00001386: POP
00001387: POP
00001388: SWAP1
00001389: POP
0000138a: SWAP2
0000138b: SWAP1
0000138c: POP
0000138d: JUMP
0000138e: JUMPDEST
0000138f: PUSH1 0x00
00001391: DUP2
00001392: GT
00001393: DUP1
00001394: ISZERO
00001395: PUSH2 0x139e
00001398: JUMPI
00001399: POP
0000139a: PUSH1 0x19
0000139c: DUP2
0000139d: LT
0000139e: JUMPDEST
0000139f: PUSH2 0x13dd
000013a2: JUMPI
000013a3: PUSH1 0x40
000013a5: MLOAD
000013a6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000013c7: DUP2
000013c8: MSTORE
000013c9: PUSH1 0x04
000013cb: ADD
000013cc: PUSH2 0x13d4
000013cf: SWAP1
000013d0: PUSH2 0x398c
000013d3: JUMP
000013d4: JUMPDEST
000013d5: PUSH1 0x40
000013d7: MLOAD
000013d8: DUP1
000013d9: SWAP2
000013da: SUB
000013db: SWAP1
000013dc: REVERT
000013dd: JUMPDEST
000013de: PUSH1 0x0b
000013e0: SLOAD
000013e1: CALLVALUE
000013e2: EQ
000013e3: PUSH2 0x1421
000013e6: JUMPI
000013e7: PUSH1 0x40
000013e9: MLOAD
000013ea: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000140b: DUP2
0000140c: MSTORE
0000140d: PUSH1 0x04
0000140f: ADD
00001410: PUSH2 0x1418
00001413: SWAP1
00001414: PUSH2 0x39f8
00001417: JUMP
00001418: JUMPDEST
00001419: PUSH1 0x40
0000141b: MLOAD
0000141c: DUP1
0000141d: SWAP2
0000141e: SUB
0000141f: SWAP1
00001420: REVERT
00001421: JUMPDEST
00001422: PUSH2 0x142b
00001425: CALLER
00001426: DUP3
00001427: PUSH2 0x22cb
0000142a: JUMP
0000142b: JUMPDEST
0000142c: TIMESTAMP
0000142d: CALLER
0000142e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001443: AND
00001444: DUP3
00001445: PUSH32 0x9b9322562a425e363b0c2f80fc966e9c4f48ac3b5c2d1527d75829c8f505ec96
00001466: PUSH1 0x40
00001468: MLOAD
00001469: PUSH1 0x40
0000146b: MLOAD
0000146c: DUP1
0000146d: SWAP2
0000146e: SUB
0000146f: SWAP1
00001470: LOG4
00001471: POP
00001472: JUMP
00001473: JUMPDEST
00001474: PUSH1 0x60
00001476: PUSH1 0x0a
00001478: PUSH1 0x40
0000147a: MLOAD
0000147b: PUSH1 0x20
0000147d: ADD
0000147e: PUSH2 0x1487
00001481: SWAP2
00001482: SWAP1
00001483: PUSH2 0x3af8
00001486: JUMP
00001487: JUMPDEST
00001488: PUSH1 0x40
0000148a: MLOAD
0000148b: PUSH1 0x20
0000148d: DUP2
0000148e: DUP4
0000148f: SUB
00001490: SUB
00001491: DUP2
00001492: MSTORE
00001493: SWAP1
00001494: PUSH1 0x40
00001496: MSTORE
00001497: SWAP1
00001498: POP
00001499: SWAP1
0000149a: JUMP
0000149b: JUMPDEST
0000149c: PUSH1 0x00
0000149e: PUSH1 0x06
000014a0: PUSH1 0x00
000014a2: DUP5
000014a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014b8: AND
000014b9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014ce: AND
000014cf: DUP2
000014d0: MSTORE
000014d1: PUSH1 0x20
000014d3: ADD
000014d4: SWAP1
000014d5: DUP2
000014d6: MSTORE
000014d7: PUSH1 0x20
000014d9: ADD
000014da: PUSH1 0x00
000014dc: KECCAK256
000014dd: PUSH1 0x00
000014df: DUP4
000014e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014f5: AND
000014f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000150b: AND
0000150c: DUP2
0000150d: MSTORE
0000150e: PUSH1 0x20
00001510: ADD
00001511: SWAP1
00001512: DUP2
00001513: MSTORE
00001514: PUSH1 0x20
00001516: ADD
00001517: PUSH1 0x00
00001519: KECCAK256
0000151a: PUSH1 0x00
0000151c: SWAP1
0000151d: SLOAD
0000151e: SWAP1
0000151f: PUSH2 0x0100
00001522: EXP
00001523: SWAP1
00001524: DIV
00001525: PUSH1 0xff
00001527: AND
00001528: SWAP1
00001529: POP
0000152a: SWAP3
0000152b: SWAP2
0000152c: POP
0000152d: POP
0000152e: JUMP
0000152f: JUMPDEST
00001530: PUSH2 0x1537
00001533: PUSH2 0x16c7
00001536: JUMP
00001537: JUMPDEST
00001538: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000154d: AND
0000154e: PUSH2 0x1555
00001551: PUSH2 0x0fd6
00001554: JUMP
00001555: JUMPDEST
00001556: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000156b: AND
0000156c: EQ
0000156d: PUSH2 0x15ab
00001570: JUMPI
00001571: PUSH1 0x40
00001573: MLOAD
00001574: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001595: DUP2
00001596: MSTORE
00001597: PUSH1 0x04
00001599: ADD
0000159a: PUSH2 0x15a2
0000159d: SWAP1
0000159e: PUSH2 0x370a
000015a1: JUMP
000015a2: JUMPDEST
000015a3: PUSH1 0x40
000015a5: MLOAD
000015a6: DUP1
000015a7: SWAP2
000015a8: SUB
000015a9: SWAP1
000015aa: REVERT
000015ab: JUMPDEST
000015ac: PUSH1 0x00
000015ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015c3: AND
000015c4: DUP2
000015c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015da: AND
000015db: SUB
000015dc: PUSH2 0x161a
000015df: JUMPI
000015e0: PUSH1 0x40
000015e2: MLOAD
000015e3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001604: DUP2
00001605: MSTORE
00001606: PUSH1 0x04
00001608: ADD
00001609: PUSH2 0x1611
0000160c: SWAP1
0000160d: PUSH2 0x3b8c
00001610: JUMP
00001611: JUMPDEST
00001612: PUSH1 0x40
00001614: MLOAD
00001615: DUP1
00001616: SWAP2
00001617: SUB
00001618: SWAP1
00001619: REVERT
0000161a: JUMPDEST
0000161b: PUSH2 0x1623
0000161e: DUP2
0000161f: PUSH2 0x1e4b
00001622: JUMP
00001623: JUMPDEST
00001624: POP
00001625: JUMP
00001626: JUMPDEST
00001627: PUSH1 0x00
00001629: DUP1
0000162a: DUP3
0000162b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001640: AND
00001641: EXTCODESIZE
00001642: GT
00001643: SWAP1
00001644: POP
00001645: SWAP2
00001646: SWAP1
00001647: POP
00001648: JUMP
00001649: JUMPDEST
0000164a: PUSH1 0x00
0000164c: PUSH2 0x1654
0000164f: DUP3
00001650: PUSH2 0x22e9
00001653: JUMP
00001654: JUMPDEST
00001655: SWAP1
00001656: POP
00001657: SWAP2
00001658: SWAP1
00001659: POP
0000165a: JUMP
0000165b: JUMPDEST
0000165c: PUSH1 0x00
0000165e: DUP1
0000165f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001674: AND
00001675: PUSH1 0x03
00001677: PUSH1 0x00
00001679: DUP5
0000167a: DUP2
0000167b: MSTORE
0000167c: PUSH1 0x20
0000167e: ADD
0000167f: SWAP1
00001680: DUP2
00001681: MSTORE
00001682: PUSH1 0x20
00001684: ADD
00001685: PUSH1 0x00
00001687: KECCAK256
00001688: PUSH1 0x00
0000168a: SWAP1
0000168b: SLOAD
0000168c: SWAP1
0000168d: PUSH2 0x0100
00001690: EXP
00001691: SWAP1
00001692: DIV
00001693: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016a8: AND
000016a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016be: AND
000016bf: EQ
000016c0: ISZERO
000016c1: SWAP1
000016c2: POP
000016c3: SWAP2
000016c4: SWAP1
000016c5: POP
000016c6: JUMP
000016c7: JUMPDEST
000016c8: PUSH1 0x00
000016ca: CALLER
000016cb: SWAP1
000016cc: POP
000016cd: SWAP1
000016ce: JUMP
000016cf: JUMPDEST
000016d0: DUP2
000016d1: PUSH1 0x05
000016d3: PUSH1 0x00
000016d5: DUP4
000016d6: DUP2
000016d7: MSTORE
000016d8: PUSH1 0x20
000016da: ADD
000016db: SWAP1
000016dc: DUP2
000016dd: MSTORE
000016de: PUSH1 0x20
000016e0: ADD
000016e1: PUSH1 0x00
000016e3: KECCAK256
000016e4: PUSH1 0x00
000016e6: PUSH2 0x0100
000016e9: EXP
000016ea: DUP2
000016eb: SLOAD
000016ec: DUP2
000016ed: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001702: MUL
00001703: NOT
00001704: AND
00001705: SWAP1
00001706: DUP4
00001707: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000171c: AND
0000171d: MUL
0000171e: OR
0000171f: SWAP1
00001720: SSTORE
00001721: POP
00001722: DUP1
00001723: DUP3
00001724: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001739: AND
0000173a: PUSH2 0x1742
0000173d: DUP4
0000173e: PUSH2 0x0de6
00001741: JUMP
00001742: JUMPDEST
00001743: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001758: AND
00001759: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
0000177a: PUSH1 0x40
0000177c: MLOAD
0000177d: PUSH1 0x40
0000177f: MLOAD
00001780: DUP1
00001781: SWAP2
00001782: SUB
00001783: SWAP1
00001784: LOG4
00001785: POP
00001786: POP
00001787: JUMP
00001788: JUMPDEST
00001789: PUSH1 0x00
0000178b: PUSH2 0x1793
0000178e: DUP3
0000178f: PUSH2 0x165b
00001792: JUMP
00001793: JUMPDEST
00001794: PUSH2 0x17d2
00001797: JUMPI
00001798: PUSH1 0x40
0000179a: MLOAD
0000179b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000017bc: DUP2
000017bd: MSTORE
000017be: PUSH1 0x04
000017c0: ADD
000017c1: PUSH2 0x17c9
000017c4: SWAP1
000017c5: PUSH2 0x3c1e
000017c8: JUMP
000017c9: JUMPDEST
000017ca: PUSH1 0x40
000017cc: MLOAD
000017cd: DUP1
000017ce: SWAP2
000017cf: SUB
000017d0: SWAP1
000017d1: REVERT
000017d2: JUMPDEST
000017d3: PUSH1 0x00
000017d5: PUSH2 0x17dd
000017d8: DUP4
000017d9: PUSH2 0x0de6
000017dc: JUMP
000017dd: JUMPDEST
000017de: SWAP1
000017df: POP
000017e0: DUP1
000017e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017f6: AND
000017f7: DUP5
000017f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000180d: AND
0000180e: EQ
0000180f: DUP1
00001810: PUSH2 0x181f
00001813: JUMPI
00001814: POP
00001815: PUSH2 0x181e
00001818: DUP2
00001819: DUP6
0000181a: PUSH2 0x149b
0000181d: JUMP
0000181e: JUMPDEST
0000181f: JUMPDEST
00001820: DUP1
00001821: PUSH2 0x185d
00001824: JUMPI
00001825: POP
00001826: DUP4
00001827: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000183c: AND
0000183d: PUSH2 0x1845
00001840: DUP5
00001841: PUSH2 0x0716
00001844: JUMP
00001845: JUMPDEST
00001846: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000185b: AND
0000185c: EQ
0000185d: JUMPDEST
0000185e: SWAP2
0000185f: POP
00001860: POP
00001861: SWAP3
00001862: SWAP2
00001863: POP
00001864: POP
00001865: JUMP
00001866: JUMPDEST
00001867: DUP3
00001868: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000187d: AND
0000187e: PUSH2 0x1886
00001881: DUP3
00001882: PUSH2 0x0de6
00001885: JUMP
00001886: JUMPDEST
00001887: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000189c: AND
0000189d: EQ
0000189e: PUSH2 0x18dc
000018a1: JUMPI
000018a2: PUSH1 0x40
000018a4: MLOAD
000018a5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018c6: DUP2
000018c7: MSTORE
000018c8: PUSH1 0x04
000018ca: ADD
000018cb: PUSH2 0x18d3
000018ce: SWAP1
000018cf: PUSH2 0x3cb0
000018d2: JUMP
000018d3: JUMPDEST
000018d4: PUSH1 0x40
000018d6: MLOAD
000018d7: DUP1
000018d8: SWAP2
000018d9: SUB
000018da: SWAP1
000018db: REVERT
000018dc: JUMPDEST
000018dd: PUSH1 0x00
000018df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018f4: AND
000018f5: DUP3
000018f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000190b: AND
0000190c: SUB
0000190d: PUSH2 0x194b
00001910: JUMPI
00001911: PUSH1 0x40
00001913: MLOAD
00001914: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001935: DUP2
00001936: MSTORE
00001937: PUSH1 0x04
00001939: ADD
0000193a: PUSH2 0x1942
0000193d: SWAP1
0000193e: PUSH2 0x3d42
00001941: JUMP
00001942: JUMPDEST
00001943: PUSH1 0x40
00001945: MLOAD
00001946: DUP1
00001947: SWAP2
00001948: SUB
00001949: SWAP1
0000194a: REVERT
0000194b: JUMPDEST
0000194c: PUSH2 0x1956
0000194f: DUP4
00001950: DUP4
00001951: DUP4
00001952: PUSH2 0x2363
00001955: JUMP
00001956: JUMPDEST
00001957: PUSH2 0x1961
0000195a: PUSH1 0x00
0000195c: DUP3
0000195d: PUSH2 0x16cf
00001960: JUMP
00001961: JUMPDEST
00001962: PUSH1 0x01
00001964: PUSH1 0x04
00001966: PUSH1 0x00
00001968: DUP6
00001969: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000197e: AND
0000197f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001994: AND
00001995: DUP2
00001996: MSTORE
00001997: PUSH1 0x20
00001999: ADD
0000199a: SWAP1
0000199b: DUP2
0000199c: MSTORE
0000199d: PUSH1 0x20
0000199f: ADD
000019a0: PUSH1 0x00
000019a2: KECCAK256
000019a3: PUSH1 0x00
000019a5: DUP3
000019a6: DUP3
000019a7: SLOAD
000019a8: PUSH2 0x19b1
000019ab: SWAP2
000019ac: SWAP1
000019ad: PUSH2 0x3d62
000019b0: JUMP
000019b1: JUMPDEST
000019b2: SWAP3
000019b3: POP
000019b4: POP
000019b5: DUP2
000019b6: SWAP1
000019b7: SSTORE
000019b8: POP
000019b9: PUSH1 0x01
000019bb: PUSH1 0x04
000019bd: PUSH1 0x00
000019bf: DUP5
000019c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019d5: AND
000019d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019eb: AND
000019ec: DUP2
000019ed: MSTORE
000019ee: PUSH1 0x20
000019f0: ADD
000019f1: SWAP1
000019f2: DUP2
000019f3: MSTORE
000019f4: PUSH1 0x20
000019f6: ADD
000019f7: PUSH1 0x00
000019f9: KECCAK256
000019fa: PUSH1 0x00
000019fc: DUP3
000019fd: DUP3
000019fe: SLOAD
000019ff: PUSH2 0x1a08
00001a02: SWAP2
00001a03: SWAP1
00001a04: PUSH2 0x3566
00001a07: JUMP
00001a08: JUMPDEST
00001a09: SWAP3
00001a0a: POP
00001a0b: POP
00001a0c: DUP2
00001a0d: SWAP1
00001a0e: SSTORE
00001a0f: POP
00001a10: DUP2
00001a11: PUSH1 0x03
00001a13: PUSH1 0x00
00001a15: DUP4
00001a16: DUP2
00001a17: MSTORE
00001a18: PUSH1 0x20
00001a1a: ADD
00001a1b: SWAP1
00001a1c: DUP2
00001a1d: MSTORE
00001a1e: PUSH1 0x20
00001a20: ADD
00001a21: PUSH1 0x00
00001a23: KECCAK256
00001a24: PUSH1 0x00
00001a26: PUSH2 0x0100
00001a29: EXP
00001a2a: DUP2
00001a2b: SLOAD
00001a2c: DUP2
00001a2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a42: MUL
00001a43: NOT
00001a44: AND
00001a45: SWAP1
00001a46: DUP4
00001a47: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a5c: AND
00001a5d: MUL
00001a5e: OR
00001a5f: SWAP1
00001a60: SSTORE
00001a61: POP
00001a62: DUP1
00001a63: DUP3
00001a64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a79: AND
00001a7a: DUP5
00001a7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a90: AND
00001a91: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001ab2: PUSH1 0x40
00001ab4: MLOAD
00001ab5: PUSH1 0x40
00001ab7: MLOAD
00001ab8: DUP1
00001ab9: SWAP2
00001aba: SUB
00001abb: SWAP1
00001abc: LOG4
00001abd: PUSH2 0x1ac7
00001ac0: DUP4
00001ac1: DUP4
00001ac2: DUP4
00001ac3: PUSH2 0x2368
00001ac6: JUMP
00001ac7: JUMPDEST
00001ac8: POP
00001ac9: POP
00001aca: POP
00001acb: JUMP
00001acc: JUMPDEST
00001acd: PUSH1 0x00
00001acf: DUP1
00001ad0: PUSH1 0x00
00001ad2: PUSH1 0x09
00001ad4: PUSH1 0x00
00001ad6: DUP7
00001ad7: DUP2
00001ad8: MSTORE
00001ad9: PUSH1 0x20
00001adb: ADD
00001adc: SWAP1
00001add: DUP2
00001ade: MSTORE
00001adf: PUSH1 0x20
00001ae1: ADD
00001ae2: PUSH1 0x00
00001ae4: KECCAK256
00001ae5: PUSH1 0x40
00001ae7: MLOAD
00001ae8: DUP1
00001ae9: PUSH1 0x40
00001aeb: ADD
00001aec: PUSH1 0x40
00001aee: MSTORE
00001aef: SWAP1
00001af0: DUP2
00001af1: PUSH1 0x00
00001af3: DUP3
00001af4: ADD
00001af5: PUSH1 0x00
00001af7: SWAP1
00001af8: SLOAD
00001af9: SWAP1
00001afa: PUSH2 0x0100
00001afd: EXP
00001afe: SWAP1
00001aff: DIV
00001b00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b15: AND
00001b16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b2b: AND
00001b2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b41: AND
00001b42: DUP2
00001b43: MSTORE
00001b44: PUSH1 0x20
00001b46: ADD
00001b47: PUSH1 0x00
00001b49: DUP3
00001b4a: ADD
00001b4b: PUSH1 0x14
00001b4d: SWAP1
00001b4e: SLOAD
00001b4f: SWAP1
00001b50: PUSH2 0x0100
00001b53: EXP
00001b54: SWAP1
00001b55: DIV
00001b56: PUSH12 0xffffffffffffffffffffffff
00001b63: AND
00001b64: PUSH12 0xffffffffffffffffffffffff
00001b71: AND
00001b72: PUSH12 0xffffffffffffffffffffffff
00001b7f: AND
00001b80: DUP2
00001b81: MSTORE
00001b82: POP
00001b83: POP
00001b84: SWAP1
00001b85: POP
00001b86: PUSH1 0x00
00001b88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b9d: AND
00001b9e: DUP2
00001b9f: PUSH1 0x00
00001ba1: ADD
00001ba2: MLOAD
00001ba3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bb8: AND
00001bb9: SUB
00001bba: PUSH2 0x1c61
00001bbd: JUMPI
00001bbe: PUSH1 0x08
00001bc0: PUSH1 0x40
00001bc2: MLOAD
00001bc3: DUP1
00001bc4: PUSH1 0x40
00001bc6: ADD
00001bc7: PUSH1 0x40
00001bc9: MSTORE
00001bca: SWAP1
00001bcb: DUP2
00001bcc: PUSH1 0x00
00001bce: DUP3
00001bcf: ADD
00001bd0: PUSH1 0x00
00001bd2: SWAP1
00001bd3: SLOAD
00001bd4: SWAP1
00001bd5: PUSH2 0x0100
00001bd8: EXP
00001bd9: SWAP1
00001bda: DIV
00001bdb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bf0: AND
00001bf1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c06: AND
00001c07: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c1c: AND
00001c1d: DUP2
00001c1e: MSTORE
00001c1f: PUSH1 0x20
00001c21: ADD
00001c22: PUSH1 0x00
00001c24: DUP3
00001c25: ADD
00001c26: PUSH1 0x14
00001c28: SWAP1
00001c29: SLOAD
00001c2a: SWAP1
00001c2b: PUSH2 0x0100
00001c2e: EXP
00001c2f: SWAP1
00001c30: DIV
00001c31: PUSH12 0xffffffffffffffffffffffff
00001c3e: AND
00001c3f: PUSH12 0xffffffffffffffffffffffff
00001c4c: AND
00001c4d: PUSH12 0xffffffffffffffffffffffff
00001c5a: AND
00001c5b: DUP2
00001c5c: MSTORE
00001c5d: POP
00001c5e: POP
00001c5f: SWAP1
00001c60: POP
00001c61: JUMPDEST
00001c62: PUSH1 0x00
00001c64: PUSH2 0x1c6b
00001c67: PUSH2 0x236d
00001c6a: JUMP
00001c6b: JUMPDEST
00001c6c: PUSH12 0xffffffffffffffffffffffff
00001c79: AND
00001c7a: DUP3
00001c7b: PUSH1 0x20
00001c7d: ADD
00001c7e: MLOAD
00001c7f: PUSH12 0xffffffffffffffffffffffff
00001c8c: AND
00001c8d: DUP7
00001c8e: PUSH2 0x1c97
00001c91: SWAP2
00001c92: SWAP1
00001c93: PUSH2 0x3604
00001c96: JUMP
00001c97: JUMPDEST
00001c98: PUSH2 0x1ca1
00001c9b: SWAP2
00001c9c: SWAP1
00001c9d: PUSH2 0x368d
00001ca0: JUMP
00001ca1: JUMPDEST
00001ca2: SWAP1
00001ca3: POP
00001ca4: DUP2
00001ca5: PUSH1 0x00
00001ca7: ADD
00001ca8: MLOAD
00001ca9: DUP2
00001caa: SWAP4
00001cab: POP
00001cac: SWAP4
00001cad: POP
00001cae: POP
00001caf: POP
00001cb0: SWAP3
00001cb1: POP
00001cb2: SWAP3
00001cb3: SWAP1
00001cb4: POP
00001cb5: JUMP
00001cb6: JUMPDEST
00001cb7: PUSH2 0x1cbe
00001cba: PUSH2 0x236d
00001cbd: JUMP
00001cbe: JUMPDEST
00001cbf: PUSH12 0xffffffffffffffffffffffff
00001ccc: AND
00001ccd: DUP2
00001cce: PUSH12 0xffffffffffffffffffffffff
00001cdb: AND
00001cdc: GT
00001cdd: ISZERO
00001cde: PUSH2 0x1d1c
00001ce1: JUMPI
00001ce2: PUSH1 0x40
00001ce4: MLOAD
00001ce5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d06: DUP2
00001d07: MSTORE
00001d08: PUSH1 0x04
00001d0a: ADD
00001d0b: PUSH2 0x1d13
00001d0e: SWAP1
00001d0f: PUSH2 0x3e08
00001d12: JUMP
00001d13: JUMPDEST
00001d14: PUSH1 0x40
00001d16: MLOAD
00001d17: DUP1
00001d18: SWAP2
00001d19: SUB
00001d1a: SWAP1
00001d1b: REVERT
00001d1c: JUMPDEST
00001d1d: PUSH1 0x00
00001d1f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d34: AND
00001d35: DUP3
00001d36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d4b: AND
00001d4c: SUB
00001d4d: PUSH2 0x1d8b
00001d50: JUMPI
00001d51: PUSH1 0x40
00001d53: MLOAD
00001d54: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001d75: DUP2
00001d76: MSTORE
00001d77: PUSH1 0x04
00001d79: ADD
00001d7a: PUSH2 0x1d82
00001d7d: SWAP1
00001d7e: PUSH2 0x3e74
00001d81: JUMP
00001d82: JUMPDEST
00001d83: PUSH1 0x40
00001d85: MLOAD
00001d86: DUP1
00001d87: SWAP2
00001d88: SUB
00001d89: SWAP1
00001d8a: REVERT
00001d8b: JUMPDEST
00001d8c: PUSH1 0x40
00001d8e: MLOAD
00001d8f: DUP1
00001d90: PUSH1 0x40
00001d92: ADD
00001d93: PUSH1 0x40
00001d95: MSTORE
00001d96: DUP1
00001d97: DUP4
00001d98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dad: AND
00001dae: DUP2
00001daf: MSTORE
00001db0: PUSH1 0x20
00001db2: ADD
00001db3: DUP3
00001db4: PUSH12 0xffffffffffffffffffffffff
00001dc1: AND
00001dc2: DUP2
00001dc3: MSTORE
00001dc4: POP
00001dc5: PUSH1 0x08
00001dc7: PUSH1 0x00
00001dc9: DUP3
00001dca: ADD
00001dcb: MLOAD
00001dcc: DUP2
00001dcd: PUSH1 0x00
00001dcf: ADD
00001dd0: PUSH1 0x00
00001dd2: PUSH2 0x0100
00001dd5: EXP
00001dd6: DUP2
00001dd7: SLOAD
00001dd8: DUP2
00001dd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dee: MUL
00001def: NOT
00001df0: AND
00001df1: SWAP1
00001df2: DUP4
00001df3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e08: AND
00001e09: MUL
00001e0a: OR
00001e0b: SWAP1
00001e0c: SSTORE
00001e0d: POP
00001e0e: PUSH1 0x20
00001e10: DUP3
00001e11: ADD
00001e12: MLOAD
00001e13: DUP2
00001e14: PUSH1 0x00
00001e16: ADD
00001e17: PUSH1 0x14
00001e19: PUSH2 0x0100
00001e1c: EXP
00001e1d: DUP2
00001e1e: SLOAD
00001e1f: DUP2
00001e20: PUSH12 0xffffffffffffffffffffffff
00001e2d: MUL
00001e2e: NOT
00001e2f: AND
00001e30: SWAP1
00001e31: DUP4
00001e32: PUSH12 0xffffffffffffffffffffffff
00001e3f: AND
00001e40: MUL
00001e41: OR
00001e42: SWAP1
00001e43: SSTORE
00001e44: POP
00001e45: SWAP1
00001e46: POP
00001e47: POP
00001e48: POP
00001e49: POP
00001e4a: JUMP
00001e4b: JUMPDEST
00001e4c: PUSH1 0x00
00001e4e: PUSH1 0x07
00001e50: PUSH1 0x00
00001e52: SWAP1
00001e53: SLOAD
00001e54: SWAP1
00001e55: PUSH2 0x0100
00001e58: EXP
00001e59: SWAP1
00001e5a: DIV
00001e5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e70: AND
00001e71: SWAP1
00001e72: POP
00001e73: DUP2
00001e74: PUSH1 0x07
00001e76: PUSH1 0x00
00001e78: PUSH2 0x0100
00001e7b: EXP
00001e7c: DUP2
00001e7d: SLOAD
00001e7e: DUP2
00001e7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e94: MUL
00001e95: NOT
00001e96: AND
00001e97: SWAP1
00001e98: DUP4
00001e99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eae: AND
00001eaf: MUL
00001eb0: OR
00001eb1: SWAP1
00001eb2: SSTORE
00001eb3: POP
00001eb4: DUP2
00001eb5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eca: AND
00001ecb: DUP2
00001ecc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ee1: AND
00001ee2: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001f03: PUSH1 0x40
00001f05: MLOAD
00001f06: PUSH1 0x40
00001f08: MLOAD
00001f09: DUP1
00001f0a: SWAP2
00001f0b: SUB
00001f0c: SWAP1
00001f0d: LOG3
00001f0e: POP
00001f0f: POP
00001f10: JUMP
00001f11: JUMPDEST
00001f12: DUP2
00001f13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f28: AND
00001f29: DUP4
00001f2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f3f: AND
00001f40: SUB
00001f41: PUSH2 0x1f7f
00001f44: JUMPI
00001f45: PUSH1 0x40
00001f47: MLOAD
00001f48: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f69: DUP2
00001f6a: MSTORE
00001f6b: PUSH1 0x04
00001f6d: ADD
00001f6e: PUSH2 0x1f76
00001f71: SWAP1
00001f72: PUSH2 0x3ee0
00001f75: JUMP
00001f76: JUMPDEST
00001f77: PUSH1 0x40
00001f79: MLOAD
00001f7a: DUP1
00001f7b: SWAP2
00001f7c: SUB
00001f7d: SWAP1
00001f7e: REVERT
00001f7f: JUMPDEST
00001f80: DUP1
00001f81: PUSH1 0x06
00001f83: PUSH1 0x00
00001f85: DUP6
00001f86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f9b: AND
00001f9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fb1: AND
00001fb2: DUP2
00001fb3: MSTORE
00001fb4: PUSH1 0x20
00001fb6: ADD
00001fb7: SWAP1
00001fb8: DUP2
00001fb9: MSTORE
00001fba: PUSH1 0x20
00001fbc: ADD
00001fbd: PUSH1 0x00
00001fbf: KECCAK256
00001fc0: PUSH1 0x00
00001fc2: DUP5
00001fc3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fd8: AND
00001fd9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fee: AND
00001fef: DUP2
00001ff0: MSTORE
00001ff1: PUSH1 0x20
00001ff3: ADD
00001ff4: SWAP1
00001ff5: DUP2
00001ff6: MSTORE
00001ff7: PUSH1 0x20
00001ff9: ADD
00001ffa: PUSH1 0x00
00001ffc: KECCAK256
00001ffd: PUSH1 0x00
00001fff: PUSH2 0x0100
00002002: EXP
00002003: DUP2
00002004: SLOAD
00002005: DUP2
00002006: PUSH1 0xff
00002008: MUL
00002009: NOT
0000200a: AND
0000200b: SWAP1
0000200c: DUP4
0000200d: ISZERO
0000200e: ISZERO
0000200f: MUL
00002010: OR
00002011: SWAP1
00002012: SSTORE
00002013: POP
00002014: DUP2
00002015: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000202a: AND
0000202b: DUP4
0000202c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002041: AND
00002042: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00002063: DUP4
00002064: PUSH1 0x40
00002066: MLOAD
00002067: PUSH2 0x2070
0000206a: SWAP2
0000206b: SWAP1
0000206c: PUSH2 0x29d5
0000206f: JUMP
00002070: JUMPDEST
00002071: PUSH1 0x40
00002073: MLOAD
00002074: DUP1
00002075: SWAP2
00002076: SUB
00002077: SWAP1
00002078: LOG3
00002079: POP
0000207a: POP
0000207b: POP
0000207c: JUMP
0000207d: JUMPDEST
0000207e: PUSH2 0x2088
00002081: DUP5
00002082: DUP5
00002083: DUP5
00002084: PUSH2 0x1866
00002087: JUMP
00002088: JUMPDEST
00002089: PUSH2 0x2094
0000208c: DUP5
0000208d: DUP5
0000208e: DUP5
0000208f: DUP5
00002090: PUSH2 0x2377
00002093: JUMP
00002094: JUMPDEST
00002095: PUSH2 0x20d3
00002098: JUMPI
00002099: PUSH1 0x40
0000209b: MLOAD
0000209c: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000020bd: DUP2
000020be: MSTORE
000020bf: PUSH1 0x04
000020c1: ADD
000020c2: PUSH2 0x20ca
000020c5: SWAP1
000020c6: PUSH2 0x3f72
000020c9: JUMP
000020ca: JUMPDEST
000020cb: PUSH1 0x40
000020cd: MLOAD
000020ce: DUP1
000020cf: SWAP2
000020d0: SUB
000020d1: SWAP1
000020d2: REVERT
000020d3: JUMPDEST
000020d4: POP
000020d5: POP
000020d6: POP
000020d7: POP
000020d8: JUMP
000020d9: JUMPDEST
000020da: PUSH1 0x60
000020dc: PUSH1 0x0a
000020de: DUP1
000020df: SLOAD
000020e0: PUSH2 0x20e8
000020e3: SWAP1
000020e4: PUSH2 0x3171
000020e7: JUMP
000020e8: JUMPDEST
000020e9: DUP1
000020ea: PUSH1 0x1f
000020ec: ADD
000020ed: PUSH1 0x20
000020ef: DUP1
000020f0: SWAP2
000020f1: DIV
000020f2: MUL
000020f3: PUSH1 0x20
000020f5: ADD
000020f6: PUSH1 0x40
000020f8: MLOAD
000020f9: SWAP1
000020fa: DUP2
000020fb: ADD
000020fc: PUSH1 0x40
000020fe: MSTORE
000020ff: DUP1
00002100: SWAP3
00002101: SWAP2
00002102: SWAP1
00002103: DUP2
00002104: DUP2
00002105: MSTORE
00002106: PUSH1 0x20
00002108: ADD
00002109: DUP3
0000210a: DUP1
0000210b: SLOAD
0000210c: PUSH2 0x2114
0000210f: SWAP1
00002110: PUSH2 0x3171
00002113: JUMP
00002114: JUMPDEST
00002115: DUP1
00002116: ISZERO
00002117: PUSH2 0x2161
0000211a: JUMPI
0000211b: DUP1
0000211c: PUSH1 0x1f
0000211e: LT
0000211f: PUSH2 0x2136
00002122: JUMPI
00002123: PUSH2 0x0100
00002126: DUP1
00002127: DUP4
00002128: SLOAD
00002129: DIV
0000212a: MUL
0000212b: DUP4
0000212c: MSTORE
0000212d: SWAP2
0000212e: PUSH1 0x20
00002130: ADD
00002131: SWAP2
00002132: PUSH2 0x2161
00002135: JUMP
00002136: JUMPDEST
00002137: DUP3
00002138: ADD
00002139: SWAP2
0000213a: SWAP1
0000213b: PUSH1 0x00
0000213d: MSTORE
0000213e: PUSH1 0x20
00002140: PUSH1 0x00
00002142: KECCAK256
00002143: SWAP1
00002144: JUMPDEST
00002145: DUP2
00002146: SLOAD
00002147: DUP2
00002148: MSTORE
00002149: SWAP1
0000214a: PUSH1 0x01
0000214c: ADD
0000214d: SWAP1
0000214e: PUSH1 0x20
00002150: ADD
00002151: DUP1
00002152: DUP4
00002153: GT
00002154: PUSH2 0x2144
00002157: JUMPI
00002158: DUP3
00002159: SWAP1
0000215a: SUB
0000215b: PUSH1 0x1f
0000215d: AND
0000215e: DUP3
0000215f: ADD
00002160: SWAP2
00002161: JUMPDEST
00002162: POP
00002163: POP
00002164: POP
00002165: POP
00002166: POP
00002167: SWAP1
00002168: POP
00002169: SWAP1
0000216a: JUMP
0000216b: JUMPDEST
0000216c: PUSH1 0x60
0000216e: PUSH1 0x00
00002170: DUP3
00002171: SUB
00002172: PUSH2 0x21b2
00002175: JUMPI
00002176: PUSH1 0x40
00002178: MLOAD
00002179: DUP1
0000217a: PUSH1 0x40
0000217c: ADD
0000217d: PUSH1 0x40
0000217f: MSTORE
00002180: DUP1
00002181: PUSH1 0x01
00002183: DUP2
00002184: MSTORE
00002185: PUSH1 0x20
00002187: ADD
00002188: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
000021a9: DUP2
000021aa: MSTORE
000021ab: POP
000021ac: SWAP1
000021ad: POP
000021ae: PUSH2 0x22c6
000021b1: JUMP
000021b2: JUMPDEST
000021b3: PUSH1 0x00
000021b5: DUP3
000021b6: SWAP1
000021b7: POP
000021b8: PUSH1 0x00
000021ba: JUMPDEST
000021bb: PUSH1 0x00
000021bd: DUP3
000021be: EQ
000021bf: PUSH2 0x21e4
000021c2: JUMPI
000021c3: DUP1
000021c4: DUP1
000021c5: PUSH2 0x21cd
000021c8: SWAP1
000021c9: PUSH2 0x35bc
000021cc: JUMP
000021cd: JUMPDEST
000021ce: SWAP2
000021cf: POP
000021d0: POP
000021d1: PUSH1 0x0a
000021d3: DUP3
000021d4: PUSH2 0x21dd
000021d7: SWAP2
000021d8: SWAP1
000021d9: PUSH2 0x368d
000021dc: JUMP
000021dd: JUMPDEST
000021de: SWAP2
000021df: POP
000021e0: PUSH2 0x21ba
000021e3: JUMP
000021e4: JUMPDEST
000021e5: PUSH1 0x00
000021e7: DUP2
000021e8: PUSH8 0xffffffffffffffff
000021f1: DUP2
000021f2: GT
000021f3: ISZERO
000021f4: PUSH2 0x2200
000021f7: JUMPI
000021f8: PUSH2 0x21ff
000021fb: PUSH2 0x2e0c
000021fe: JUMP
000021ff: JUMPDEST
00002200: JUMPDEST
00002201: PUSH1 0x40
00002203: MLOAD
00002204: SWAP1
00002205: DUP1
00002206: DUP3
00002207: MSTORE
00002208: DUP1
00002209: PUSH1 0x1f
0000220b: ADD
0000220c: PUSH1 0x1f
0000220e: NOT
0000220f: AND
00002210: PUSH1 0x20
00002212: ADD
00002213: DUP3
00002214: ADD
00002215: PUSH1 0x40
00002217: MSTORE
00002218: DUP1
00002219: ISZERO
0000221a: PUSH2 0x2232
0000221d: JUMPI
0000221e: DUP2
0000221f: PUSH1 0x20
00002221: ADD
00002222: PUSH1 0x01
00002224: DUP3
00002225: MUL
00002226: DUP1
00002227: CALLDATASIZE
00002228: DUP4
00002229: CALLDATACOPY
0000222a: DUP1
0000222b: DUP3
0000222c: ADD
0000222d: SWAP2
0000222e: POP
0000222f: POP
00002230: SWAP1
00002231: POP
00002232: JUMPDEST
00002233: POP
00002234: SWAP1
00002235: POP
00002236: JUMPDEST
00002237: PUSH1 0x00
00002239: DUP6
0000223a: EQ
0000223b: PUSH2 0x22bf
0000223e: JUMPI
0000223f: PUSH1 0x01
00002241: DUP3
00002242: PUSH2 0x224b
00002245: SWAP2
00002246: SWAP1
00002247: PUSH2 0x3d62
0000224a: JUMP
0000224b: JUMPDEST
0000224c: SWAP2
0000224d: POP
0000224e: PUSH1 0x0a
00002250: DUP6
00002251: PUSH2 0x225a
00002254: SWAP2
00002255: SWAP1
00002256: PUSH2 0x3f92
00002259: JUMP
0000225a: JUMPDEST
0000225b: PUSH1 0x30
0000225d: PUSH2 0x2266
00002260: SWAP2
00002261: SWAP1
00002262: PUSH2 0x3566
00002265: JUMP
00002266: JUMPDEST
00002267: PUSH1 0xf8
00002269: SHL
0000226a: DUP2
0000226b: DUP4
0000226c: DUP2
0000226d: MLOAD
0000226e: DUP2
0000226f: LT
00002270: PUSH2 0x227c
00002273: JUMPI
00002274: PUSH2 0x227b
00002277: PUSH2 0x3508
0000227a: JUMP
0000227b: JUMPDEST
0000227c: JUMPDEST
0000227d: PUSH1 0x20
0000227f: ADD
00002280: ADD
00002281: SWAP1
00002282: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000022a2: NOT
000022a3: AND
000022a4: SWAP1
000022a5: DUP2
000022a6: PUSH1 0x00
000022a8: BYTE
000022a9: SWAP1
000022aa: MSTORE8
000022ab: POP
000022ac: PUSH1 0x0a
000022ae: DUP6
000022af: PUSH2 0x22b8
000022b2: SWAP2
000022b3: SWAP1
000022b4: PUSH2 0x368d
000022b7: JUMP
000022b8: JUMPDEST
000022b9: SWAP5
000022ba: POP
000022bb: PUSH2 0x2236
000022be: JUMP
000022bf: JUMPDEST
000022c0: DUP1
000022c1: SWAP4
000022c2: POP
000022c3: POP
000022c4: POP
000022c5: POP
000022c6: JUMPDEST
000022c7: SWAP2
000022c8: SWAP1
000022c9: POP
000022ca: JUMP
000022cb: JUMPDEST
000022cc: PUSH2 0x22e5
000022cf: DUP3
000022d0: DUP3
000022d1: PUSH1 0x40
000022d3: MLOAD
000022d4: DUP1
000022d5: PUSH1 0x20
000022d7: ADD
000022d8: PUSH1 0x40
000022da: MSTORE
000022db: DUP1
000022dc: PUSH1 0x00
000022de: DUP2
000022df: MSTORE
000022e0: POP
000022e1: PUSH2 0x24fe
000022e4: JUMP
000022e5: JUMPDEST
000022e6: POP
000022e7: POP
000022e8: JUMP
000022e9: JUMPDEST
000022ea: PUSH1 0x00
000022ec: PUSH32 0x2a55205a00000000000000000000000000000000000000000000000000000000
0000230d: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000232a: NOT
0000232b: AND
0000232c: DUP3
0000232d: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000234a: NOT
0000234b: AND
0000234c: EQ
0000234d: DUP1
0000234e: PUSH2 0x235c
00002351: JUMPI
00002352: POP
00002353: PUSH2 0x235b
00002356: DUP3
00002357: PUSH2 0x2559
0000235a: JUMP
0000235b: JUMPDEST
0000235c: JUMPDEST
0000235d: SWAP1
0000235e: POP
0000235f: SWAP2
00002360: SWAP1
00002361: POP
00002362: JUMP
00002363: JUMPDEST
00002364: POP
00002365: POP
00002366: POP
00002367: JUMP
00002368: JUMPDEST
00002369: POP
0000236a: POP
0000236b: POP
0000236c: JUMP
0000236d: JUMPDEST
0000236e: PUSH1 0x00
00002370: PUSH2 0x2710
00002373: SWAP1
00002374: POP
00002375: SWAP1
00002376: JUMP
00002377: JUMPDEST
00002378: PUSH1 0x00
0000237a: PUSH2 0x2398
0000237d: DUP5
0000237e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002393: AND
00002394: PUSH2 0x1626
00002397: JUMP
00002398: JUMPDEST
00002399: ISZERO
0000239a: PUSH2 0x24f1
0000239d: JUMPI
0000239e: DUP4
0000239f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023b4: AND
000023b5: PUSH4 0x150b7a02
000023ba: PUSH2 0x23c1
000023bd: PUSH2 0x16c7
000023c0: JUMP
000023c1: JUMPDEST
000023c2: DUP8
000023c3: DUP7
000023c4: DUP7
000023c5: PUSH1 0x40
000023c7: MLOAD
000023c8: DUP6
000023c9: PUSH4 0xffffffff
000023ce: AND
000023cf: PUSH1 0xe0
000023d1: SHL
000023d2: DUP2
000023d3: MSTORE
000023d4: PUSH1 0x04
000023d6: ADD
000023d7: PUSH2 0x23e3
000023da: SWAP5
000023db: SWAP4
000023dc: SWAP3
000023dd: SWAP2
000023de: SWAP1
000023df: PUSH2 0x4018
000023e2: JUMP
000023e3: JUMPDEST
000023e4: PUSH1 0x20
000023e6: PUSH1 0x40
000023e8: MLOAD
000023e9: DUP1
000023ea: DUP4
000023eb: SUB
000023ec: DUP2
000023ed: PUSH1 0x00
000023ef: DUP8
000023f0: GAS
000023f1: CALL
000023f2: SWAP3
000023f3: POP
000023f4: POP
000023f5: POP
000023f6: DUP1
000023f7: ISZERO
000023f8: PUSH2 0x241f
000023fb: JUMPI
000023fc: POP
000023fd: PUSH1 0x40
000023ff: MLOAD
00002400: RETURNDATASIZE
00002401: PUSH1 0x1f
00002403: NOT
00002404: PUSH1 0x1f
00002406: DUP3
00002407: ADD
00002408: AND
00002409: DUP3
0000240a: ADD
0000240b: DUP1
0000240c: PUSH1 0x40
0000240e: MSTORE
0000240f: POP
00002410: DUP2
00002411: ADD
00002412: SWAP1
00002413: PUSH2 0x241c
00002416: SWAP2
00002417: SWAP1
00002418: PUSH2 0x4079
0000241b: JUMP
0000241c: JUMPDEST
0000241d: PUSH1 0x01
0000241f: JUMPDEST
00002420: PUSH2 0x24a1
00002423: JUMPI
00002424: RETURNDATASIZE
00002425: DUP1
00002426: PUSH1 0x00
00002428: DUP2
00002429: EQ
0000242a: PUSH2 0x244f
0000242d: JUMPI
0000242e: PUSH1 0x40
00002430: MLOAD
00002431: SWAP2
00002432: POP
00002433: PUSH1 0x1f
00002435: NOT
00002436: PUSH1 0x3f
00002438: RETURNDATASIZE
00002439: ADD
0000243a: AND
0000243b: DUP3
0000243c: ADD
0000243d: PUSH1 0x40
0000243f: MSTORE
00002440: RETURNDATASIZE
00002441: DUP3
00002442: MSTORE
00002443: RETURNDATASIZE
00002444: PUSH1 0x00
00002446: PUSH1 0x20
00002448: DUP5
00002449: ADD
0000244a: RETURNDATACOPY
0000244b: PUSH2 0x2454
0000244e: JUMP
0000244f: JUMPDEST
00002450: PUSH1 0x60
00002452: SWAP2
00002453: POP
00002454: JUMPDEST
00002455: POP
00002456: PUSH1 0x00
00002458: DUP2
00002459: MLOAD
0000245a: SUB
0000245b: PUSH2 0x2499
0000245e: JUMPI
0000245f: PUSH1 0x40
00002461: MLOAD
00002462: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002483: DUP2
00002484: MSTORE
00002485: PUSH1 0x04
00002487: ADD
00002488: PUSH2 0x2490
0000248b: SWAP1
0000248c: PUSH2 0x3f72
0000248f: JUMP
00002490: JUMPDEST
00002491: PUSH1 0x40
00002493: MLOAD
00002494: DUP1
00002495: SWAP2
00002496: SUB
00002497: SWAP1
00002498: REVERT
00002499: JUMPDEST
0000249a: DUP1
0000249b: MLOAD
0000249c: DUP2
0000249d: PUSH1 0x20
0000249f: ADD
000024a0: REVERT
000024a1: JUMPDEST
000024a2: PUSH4 0x150b7a02
000024a7: PUSH1 0xe0
000024a9: SHL
000024aa: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000024c7: NOT
000024c8: AND
000024c9: DUP2
000024ca: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000024e7: NOT
000024e8: AND
000024e9: EQ
000024ea: SWAP2
000024eb: POP
000024ec: POP
000024ed: PUSH2 0x24f6
000024f0: JUMP
000024f1: JUMPDEST
000024f2: PUSH1 0x01
000024f4: SWAP1
000024f5: POP
000024f6: JUMPDEST
000024f7: SWAP5
000024f8: SWAP4
000024f9: POP
000024fa: POP
000024fb: POP
000024fc: POP
000024fd: JUMP
000024fe: JUMPDEST
000024ff: PUSH2 0x2508
00002502: DUP4
00002503: DUP4
00002504: PUSH2 0x263b
00002507: JUMP
00002508: JUMPDEST
00002509: PUSH2 0x2515
0000250c: PUSH1 0x00
0000250e: DUP5
0000250f: DUP5
00002510: DUP5
00002511: PUSH2 0x2377
00002514: JUMP
00002515: JUMPDEST
00002516: PUSH2 0x2554
00002519: JUMPI
0000251a: PUSH1 0x40
0000251c: MLOAD
0000251d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000253e: DUP2
0000253f: MSTORE
00002540: PUSH1 0x04
00002542: ADD
00002543: PUSH2 0x254b
00002546: SWAP1
00002547: PUSH2 0x3f72
0000254a: JUMP
0000254b: JUMPDEST
0000254c: PUSH1 0x40
0000254e: MLOAD
0000254f: DUP1
00002550: SWAP2
00002551: SUB
00002552: SWAP1
00002553: REVERT
00002554: JUMPDEST
00002555: POP
00002556: POP
00002557: POP
00002558: JUMP
00002559: JUMPDEST
0000255a: PUSH1 0x00
0000255c: PUSH32 0x80ac58cd00000000000000000000000000000000000000000000000000000000
0000257d: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000259a: NOT
0000259b: AND
0000259c: DUP3
0000259d: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000025ba: NOT
000025bb: AND
000025bc: EQ
000025bd: DUP1
000025be: PUSH2 0x2624
000025c1: JUMPI
000025c2: POP
000025c3: PUSH32 0x5b5e139f00000000000000000000000000000000000000000000000000000000
000025e4: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002601: NOT
00002602: AND
00002603: DUP3
00002604: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002621: NOT
00002622: AND
00002623: EQ
00002624: JUMPDEST
00002625: DUP1
00002626: PUSH2 0x2634
00002629: JUMPI
0000262a: POP
0000262b: PUSH2 0x2633
0000262e: DUP3
0000262f: PUSH2 0x2814
00002632: JUMP
00002633: JUMPDEST
00002634: JUMPDEST
00002635: SWAP1
00002636: POP
00002637: SWAP2
00002638: SWAP1
00002639: POP
0000263a: JUMP
0000263b: JUMPDEST
0000263c: PUSH1 0x00
0000263e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002653: AND
00002654: DUP3
00002655: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000266a: AND
0000266b: SUB
0000266c: PUSH2 0x26aa
0000266f: JUMPI
00002670: PUSH1 0x40
00002672: MLOAD
00002673: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002694: DUP2
00002695: MSTORE
00002696: PUSH1 0x04
00002698: ADD
00002699: PUSH2 0x26a1
0000269c: SWAP1
0000269d: PUSH2 0x40f2
000026a0: JUMP
000026a1: JUMPDEST
000026a2: PUSH1 0x40
000026a4: MLOAD
000026a5: DUP1
000026a6: SWAP2
000026a7: SUB
000026a8: SWAP1
000026a9: REVERT
000026aa: JUMPDEST
000026ab: PUSH2 0x26b3
000026ae: DUP2
000026af: PUSH2 0x165b
000026b2: JUMP
000026b3: JUMPDEST
000026b4: ISZERO
000026b5: PUSH2 0x26f3
000026b8: JUMPI
000026b9: PUSH1 0x40
000026bb: MLOAD
000026bc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000026dd: DUP2
000026de: MSTORE
000026df: PUSH1 0x04
000026e1: ADD
000026e2: PUSH2 0x26ea
000026e5: SWAP1
000026e6: PUSH2 0x415e
000026e9: JUMP
000026ea: JUMPDEST
000026eb: PUSH1 0x40
000026ed: MLOAD
000026ee: DUP1
000026ef: SWAP2
000026f0: SUB
000026f1: SWAP1
000026f2: REVERT
000026f3: JUMPDEST
000026f4: PUSH2 0x26ff
000026f7: PUSH1 0x00
000026f9: DUP4
000026fa: DUP4
000026fb: PUSH2 0x2363
000026fe: JUMP
000026ff: JUMPDEST
00002700: PUSH1 0x01
00002702: PUSH1 0x04
00002704: PUSH1 0x00
00002706: DUP5
00002707: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000271c: AND
0000271d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002732: AND
00002733: DUP2
00002734: MSTORE
00002735: PUSH1 0x20
00002737: ADD
00002738: SWAP1
00002739: DUP2
0000273a: MSTORE
0000273b: PUSH1 0x20
0000273d: ADD
0000273e: PUSH1 0x00
00002740: KECCAK256
00002741: PUSH1 0x00
00002743: DUP3
00002744: DUP3
00002745: SLOAD
00002746: PUSH2 0x274f
00002749: SWAP2
0000274a: SWAP1
0000274b: PUSH2 0x3566
0000274e: JUMP
0000274f: JUMPDEST
00002750: SWAP3
00002751: POP
00002752: POP
00002753: DUP2
00002754: SWAP1
00002755: SSTORE
00002756: POP
00002757: DUP2
00002758: PUSH1 0x03
0000275a: PUSH1 0x00
0000275c: DUP4
0000275d: DUP2
0000275e: MSTORE
0000275f: PUSH1 0x20
00002761: ADD
00002762: SWAP1
00002763: DUP2
00002764: MSTORE
00002765: PUSH1 0x20
00002767: ADD
00002768: PUSH1 0x00
0000276a: KECCAK256
0000276b: PUSH1 0x00
0000276d: PUSH2 0x0100
00002770: EXP
00002771: DUP2
00002772: SLOAD
00002773: DUP2
00002774: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002789: MUL
0000278a: NOT
0000278b: AND
0000278c: SWAP1
0000278d: DUP4
0000278e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027a3: AND
000027a4: MUL
000027a5: OR
000027a6: SWAP1
000027a7: SSTORE
000027a8: POP
000027a9: DUP1
000027aa: DUP3
000027ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027c0: AND
000027c1: PUSH1 0x00
000027c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027d8: AND
000027d9: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000027fa: PUSH1 0x40
000027fc: MLOAD
000027fd: PUSH1 0x40
000027ff: MLOAD
00002800: DUP1
00002801: SWAP2
00002802: SUB
00002803: SWAP1
00002804: LOG4
00002805: PUSH2 0x2810
00002808: PUSH1 0x00
0000280a: DUP4
0000280b: DUP4
0000280c: PUSH2 0x2368
0000280f: JUMP
00002810: JUMPDEST
00002811: POP
00002812: POP
00002813: JUMP
00002814: JUMPDEST
00002815: PUSH1 0x00
00002817: PUSH32 0x01ffc9a700000000000000000000000000000000000000000000000000000000
00002838: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002855: NOT
00002856: AND
00002857: DUP3
00002858: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002875: NOT
00002876: AND
00002877: EQ
00002878: SWAP1
00002879: POP
0000287a: SWAP2
0000287b: SWAP1
0000287c: POP
0000287d: JUMP
0000287e: JUMPDEST
0000287f: DUP3
00002880: DUP1
00002881: SLOAD
00002882: PUSH2 0x288a
00002885: SWAP1
00002886: PUSH2 0x3171
00002889: JUMP
0000288a: JUMPDEST
0000288b: SWAP1
0000288c: PUSH1 0x00
0000288e: MSTORE
0000288f: PUSH1 0x20
00002891: PUSH1 0x00
00002893: KECCAK256
00002894: SWAP1
00002895: PUSH1 0x1f
00002897: ADD
00002898: PUSH1 0x20
0000289a: SWAP1
0000289b: DIV
0000289c: DUP2
0000289d: ADD
0000289e: SWAP3
0000289f: DUP3
000028a0: PUSH2 0x28ac
000028a3: JUMPI
000028a4: PUSH1 0x00
000028a6: DUP6
000028a7: SSTORE
000028a8: PUSH2 0x28f3
000028ab: JUMP
000028ac: JUMPDEST
000028ad: DUP3
000028ae: PUSH1 0x1f
000028b0: LT
000028b1: PUSH2 0x28c5
000028b4: JUMPI
000028b5: DUP1
000028b6: CALLDATALOAD
000028b7: PUSH1 0xff
000028b9: NOT
000028ba: AND
000028bb: DUP4
000028bc: DUP1
000028bd: ADD
000028be: OR
000028bf: DUP6
000028c0: SSTORE
000028c1: PUSH2 0x28f3
000028c4: JUMP
000028c5: JUMPDEST
000028c6: DUP3
000028c7: DUP1
000028c8: ADD
000028c9: PUSH1 0x01
000028cb: ADD
000028cc: DUP6
000028cd: SSTORE
000028ce: DUP3
000028cf: ISZERO
000028d0: PUSH2 0x28f3
000028d3: JUMPI
000028d4: SWAP2
000028d5: DUP3
000028d6: ADD
000028d7: JUMPDEST
000028d8: DUP3
000028d9: DUP2
000028da: GT
000028db: ISZERO
000028dc: PUSH2 0x28f2
000028df: JUMPI
000028e0: DUP3
000028e1: CALLDATALOAD
000028e2: DUP3
000028e3: SSTORE
000028e4: SWAP2
000028e5: PUSH1 0x20
000028e7: ADD
000028e8: SWAP2
000028e9: SWAP1
000028ea: PUSH1 0x01
000028ec: ADD
000028ed: SWAP1
000028ee: PUSH2 0x28d7
000028f1: JUMP
000028f2: JUMPDEST
000028f3: JUMPDEST
000028f4: POP
000028f5: SWAP1
000028f6: POP
000028f7: PUSH2 0x2900
000028fa: SWAP2
000028fb: SWAP1
000028fc: PUSH2 0x2904
000028ff: JUMP
00002900: JUMPDEST
00002901: POP
00002902: SWAP1
00002903: JUMP
00002904: JUMPDEST
00002905: JUMPDEST
00002906: DUP1
00002907: DUP3
00002908: GT
00002909: ISZERO
0000290a: PUSH2 0x291d
0000290d: JUMPI
0000290e: PUSH1 0x00
00002910: DUP2
00002911: PUSH1 0x00
00002913: SWAP1
00002914: SSTORE
00002915: POP
00002916: PUSH1 0x01
00002918: ADD
00002919: PUSH2 0x2905
0000291c: JUMP
0000291d: JUMPDEST
0000291e: POP
0000291f: SWAP1
00002920: JUMP
00002921: JUMPDEST
00002922: PUSH1 0x00
00002924: PUSH1 0x40
00002926: MLOAD
00002927: SWAP1
00002928: POP
00002929: SWAP1
0000292a: JUMP
0000292b: JUMPDEST
0000292c: PUSH1 0x00
0000292e: DUP1
0000292f: REVERT
00002930: JUMPDEST
00002931: PUSH1 0x00
00002933: DUP1
00002934: REVERT
00002935: JUMPDEST
00002936: PUSH1 0x00
00002938: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00002959: DUP3
0000295a: AND
0000295b: SWAP1
0000295c: POP
0000295d: SWAP2
0000295e: SWAP1
0000295f: POP
00002960: JUMP
00002961: JUMPDEST
00002962: PUSH2 0x296a
00002965: DUP2
00002966: PUSH2 0x2935
00002969: JUMP
0000296a: JUMPDEST
0000296b: DUP2
0000296c: EQ
0000296d: PUSH2 0x2975
00002970: JUMPI
00002971: PUSH1 0x00
00002973: DUP1
00002974: REVERT
00002975: JUMPDEST
00002976: POP
00002977: JUMP
00002978: JUMPDEST
00002979: PUSH1 0x00
0000297b: DUP2
0000297c: CALLDATALOAD
0000297d: SWAP1
0000297e: POP
0000297f: PUSH2 0x2987
00002982: DUP2
00002983: PUSH2 0x2961
00002986: JUMP
00002987: JUMPDEST
00002988: SWAP3
00002989: SWAP2
0000298a: POP
0000298b: POP
0000298c: JUMP
0000298d: JUMPDEST
0000298e: PUSH1 0x00
00002990: PUSH1 0x20
00002992: DUP3
00002993: DUP5
00002994: SUB
00002995: SLT
00002996: ISZERO
00002997: PUSH2 0x29a3
0000299a: JUMPI
0000299b: PUSH2 0x29a2
0000299e: PUSH2 0x292b
000029a1: JUMP
000029a2: JUMPDEST
000029a3: JUMPDEST
000029a4: PUSH1 0x00
000029a6: PUSH2 0x29b1
000029a9: DUP5
000029aa: DUP3
000029ab: DUP6
000029ac: ADD
000029ad: PUSH2 0x2978
000029b0: JUMP
000029b1: JUMPDEST
000029b2: SWAP2
000029b3: POP
000029b4: POP
000029b5: SWAP3
000029b6: SWAP2
000029b7: POP
000029b8: POP
000029b9: JUMP
000029ba: JUMPDEST
000029bb: PUSH1 0x00
000029bd: DUP2
000029be: ISZERO
000029bf: ISZERO
000029c0: SWAP1
000029c1: POP
000029c2: SWAP2
000029c3: SWAP1
000029c4: POP
000029c5: JUMP
000029c6: JUMPDEST
000029c7: PUSH2 0x29cf
000029ca: DUP2
000029cb: PUSH2 0x29ba
000029ce: JUMP
000029cf: JUMPDEST
000029d0: DUP3
000029d1: MSTORE
000029d2: POP
000029d3: POP
000029d4: JUMP
000029d5: JUMPDEST
000029d6: PUSH1 0x00
000029d8: PUSH1 0x20
000029da: DUP3
000029db: ADD
000029dc: SWAP1
000029dd: POP
000029de: PUSH2 0x29ea
000029e1: PUSH1 0x00
000029e3: DUP4
000029e4: ADD
000029e5: DUP5
000029e6: PUSH2 0x29c6
000029e9: JUMP
000029ea: JUMPDEST
000029eb: SWAP3
000029ec: SWAP2
000029ed: POP
000029ee: POP
000029ef: JUMP
000029f0: JUMPDEST
000029f1: PUSH1 0x00
000029f3: DUP2
000029f4: MLOAD
000029f5: SWAP1
000029f6: POP
000029f7: SWAP2
000029f8: SWAP1
000029f9: POP
000029fa: JUMP
000029fb: JUMPDEST
000029fc: PUSH1 0x00
000029fe: DUP3
000029ff: DUP3
00002a00: MSTORE
00002a01: PUSH1 0x20
00002a03: DUP3
00002a04: ADD
00002a05: SWAP1
00002a06: POP
00002a07: SWAP3
00002a08: SWAP2
00002a09: POP
00002a0a: POP
00002a0b: JUMP
00002a0c: JUMPDEST
00002a0d: PUSH1 0x00
00002a0f: JUMPDEST
00002a10: DUP4
00002a11: DUP2
00002a12: LT
00002a13: ISZERO
00002a14: PUSH2 0x2a2a
00002a17: JUMPI
00002a18: DUP1
00002a19: DUP3
00002a1a: ADD
00002a1b: MLOAD
00002a1c: DUP2
00002a1d: DUP5
00002a1e: ADD
00002a1f: MSTORE
00002a20: PUSH1 0x20
00002a22: DUP2
00002a23: ADD
00002a24: SWAP1
00002a25: POP
00002a26: PUSH2 0x2a0f
00002a29: JUMP
00002a2a: JUMPDEST
00002a2b: DUP4
00002a2c: DUP2
00002a2d: GT
00002a2e: ISZERO
00002a2f: PUSH2 0x2a39
00002a32: JUMPI
00002a33: PUSH1 0x00
00002a35: DUP5
00002a36: DUP5
00002a37: ADD
00002a38: MSTORE
00002a39: JUMPDEST
00002a3a: POP
00002a3b: POP
00002a3c: POP
00002a3d: POP
00002a3e: JUMP
00002a3f: JUMPDEST
00002a40: PUSH1 0x00
00002a42: PUSH1 0x1f
00002a44: NOT
00002a45: PUSH1 0x1f
00002a47: DUP4
00002a48: ADD
00002a49: AND
00002a4a: SWAP1
00002a4b: POP
00002a4c: SWAP2
00002a4d: SWAP1
00002a4e: POP
00002a4f: JUMP
00002a50: JUMPDEST
00002a51: PUSH1 0x00
00002a53: PUSH2 0x2a5b
00002a56: DUP3
00002a57: PUSH2 0x29f0
00002a5a: JUMP
00002a5b: JUMPDEST
00002a5c: PUSH2 0x2a65
00002a5f: DUP2
00002a60: DUP6
00002a61: PUSH2 0x29fb
00002a64: JUMP
00002a65: JUMPDEST
00002a66: SWAP4
00002a67: POP
00002a68: PUSH2 0x2a75
00002a6b: DUP2
00002a6c: DUP6
00002a6d: PUSH1 0x20
00002a6f: DUP7
00002a70: ADD
00002a71: PUSH2 0x2a0c
00002a74: JUMP
00002a75: JUMPDEST
00002a76: PUSH2 0x2a7e
00002a79: DUP2
00002a7a: PUSH2 0x2a3f
00002a7d: JUMP
00002a7e: JUMPDEST
00002a7f: DUP5
00002a80: ADD
00002a81: SWAP2
00002a82: POP
00002a83: POP
00002a84: SWAP3
00002a85: SWAP2
00002a86: POP
00002a87: POP
00002a88: JUMP
00002a89: JUMPDEST
00002a8a: PUSH1 0x00
00002a8c: PUSH1 0x20
00002a8e: DUP3
00002a8f: ADD
00002a90: SWAP1
00002a91: POP
00002a92: DUP2
00002a93: DUP2
00002a94: SUB
00002a95: PUSH1 0x00
00002a97: DUP4
00002a98: ADD
00002a99: MSTORE
00002a9a: PUSH2 0x2aa3
00002a9d: DUP2
00002a9e: DUP5
00002a9f: PUSH2 0x2a50
00002aa2: JUMP
00002aa3: JUMPDEST
00002aa4: SWAP1
00002aa5: POP
00002aa6: SWAP3
00002aa7: SWAP2
00002aa8: POP
00002aa9: POP
00002aaa: JUMP
00002aab: JUMPDEST
00002aac: PUSH1 0x00
00002aae: DUP2
00002aaf: SWAP1
00002ab0: POP
00002ab1: SWAP2
00002ab2: SWAP1
00002ab3: POP
00002ab4: JUMP
00002ab5: JUMPDEST
00002ab6: PUSH2 0x2abe
00002ab9: DUP2
00002aba: PUSH2 0x2aab
00002abd: JUMP
00002abe: JUMPDEST
00002abf: DUP2
00002ac0: EQ
00002ac1: PUSH2 0x2ac9
00002ac4: JUMPI
00002ac5: PUSH1 0x00
00002ac7: DUP1
00002ac8: REVERT
00002ac9: JUMPDEST
00002aca: POP
00002acb: JUMP
00002acc: JUMPDEST
00002acd: PUSH1 0x00
00002acf: DUP2
00002ad0: CALLDATALOAD
00002ad1: SWAP1
00002ad2: POP
00002ad3: PUSH2 0x2adb
00002ad6: DUP2
00002ad7: PUSH2 0x2ab5
00002ada: JUMP
00002adb: JUMPDEST
00002adc: SWAP3
00002add: SWAP2
00002ade: POP
00002adf: POP
00002ae0: JUMP
00002ae1: JUMPDEST
00002ae2: PUSH1 0x00
00002ae4: PUSH1 0x20
00002ae6: DUP3
00002ae7: DUP5
00002ae8: SUB
00002ae9: SLT
00002aea: ISZERO
00002aeb: PUSH2 0x2af7
00002aee: JUMPI
00002aef: PUSH2 0x2af6
00002af2: PUSH2 0x292b
00002af5: JUMP
00002af6: JUMPDEST
00002af7: JUMPDEST
00002af8: PUSH1 0x00
00002afa: PUSH2 0x2b05
00002afd: DUP5
00002afe: DUP3
00002aff: DUP6
00002b00: ADD
00002b01: PUSH2 0x2acc
00002b04: JUMP
00002b05: JUMPDEST
00002b06: SWAP2
00002b07: POP
00002b08: POP
00002b09: SWAP3
00002b0a: SWAP2
00002b0b: POP
00002b0c: POP
00002b0d: JUMP
00002b0e: JUMPDEST
00002b0f: PUSH1 0x00
00002b11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b26: DUP3
00002b27: AND
00002b28: SWAP1
00002b29: POP
00002b2a: SWAP2
00002b2b: SWAP1
00002b2c: POP
00002b2d: JUMP
00002b2e: JUMPDEST
00002b2f: PUSH1 0x00
00002b31: PUSH2 0x2b39
00002b34: DUP3
00002b35: PUSH2 0x2b0e
00002b38: JUMP
00002b39: JUMPDEST
00002b3a: SWAP1
00002b3b: POP
00002b3c: SWAP2
00002b3d: SWAP1
00002b3e: POP
00002b3f: JUMP
00002b40: JUMPDEST
00002b41: PUSH2 0x2b49
00002b44: DUP2
00002b45: PUSH2 0x2b2e
00002b48: JUMP
00002b49: JUMPDEST
00002b4a: DUP3
00002b4b: MSTORE
00002b4c: POP
00002b4d: POP
00002b4e: JUMP
00002b4f: JUMPDEST
00002b50: PUSH1 0x00
00002b52: PUSH1 0x20
00002b54: DUP3
00002b55: ADD
00002b56: SWAP1
00002b57: POP
00002b58: PUSH2 0x2b64
00002b5b: PUSH1 0x00
00002b5d: DUP4
00002b5e: ADD
00002b5f: DUP5
00002b60: PUSH2 0x2b40
00002b63: JUMP
00002b64: JUMPDEST
00002b65: SWAP3
00002b66: SWAP2
00002b67: POP
00002b68: POP
00002b69: JUMP
00002b6a: JUMPDEST
00002b6b: PUSH2 0x2b73
00002b6e: DUP2
00002b6f: PUSH2 0x2b2e
00002b72: JUMP
00002b73: JUMPDEST
00002b74: DUP2
00002b75: EQ
00002b76: PUSH2 0x2b7e
00002b79: JUMPI
00002b7a: PUSH1 0x00
00002b7c: DUP1
00002b7d: REVERT
00002b7e: JUMPDEST
00002b7f: POP
00002b80: JUMP
00002b81: JUMPDEST
00002b82: PUSH1 0x00
00002b84: DUP2
00002b85: CALLDATALOAD
00002b86: SWAP1
00002b87: POP
00002b88: PUSH2 0x2b90
00002b8b: DUP2
00002b8c: PUSH2 0x2b6a
00002b8f: JUMP
00002b90: JUMPDEST
00002b91: SWAP3
00002b92: SWAP2
00002b93: POP
00002b94: POP
00002b95: JUMP
00002b96: JUMPDEST
00002b97: PUSH1 0x00
00002b99: DUP1
00002b9a: PUSH1 0x40
00002b9c: DUP4
00002b9d: DUP6
00002b9e: SUB
00002b9f: SLT
00002ba0: ISZERO
00002ba1: PUSH2 0x2bad
00002ba4: JUMPI
00002ba5: PUSH2 0x2bac
00002ba8: PUSH2 0x292b
00002bab: JUMP
00002bac: JUMPDEST
00002bad: JUMPDEST
00002bae: PUSH1 0x00
00002bb0: PUSH2 0x2bbb
00002bb3: DUP6
00002bb4: DUP3
00002bb5: DUP7
00002bb6: ADD
00002bb7: PUSH2 0x2b81
00002bba: JUMP
00002bbb: JUMPDEST
00002bbc: SWAP3
00002bbd: POP
00002bbe: POP
00002bbf: PUSH1 0x20
00002bc1: PUSH2 0x2bcc
00002bc4: DUP6
00002bc5: DUP3
00002bc6: DUP7
00002bc7: ADD
00002bc8: PUSH2 0x2acc
00002bcb: JUMP
00002bcc: JUMPDEST
00002bcd: SWAP2
00002bce: POP
00002bcf: POP
00002bd0: SWAP3
00002bd1: POP
00002bd2: SWAP3
00002bd3: SWAP1
00002bd4: POP
00002bd5: JUMP
00002bd6: JUMPDEST
00002bd7: PUSH1 0x00
00002bd9: DUP1
00002bda: PUSH1 0x00
00002bdc: PUSH1 0x60
00002bde: DUP5
00002bdf: DUP7
00002be0: SUB
00002be1: SLT
00002be2: ISZERO
00002be3: PUSH2 0x2bef
00002be6: JUMPI
00002be7: PUSH2 0x2bee
00002bea: PUSH2 0x292b
00002bed: JUMP
00002bee: JUMPDEST
00002bef: JUMPDEST
00002bf0: PUSH1 0x00
00002bf2: PUSH2 0x2bfd
00002bf5: DUP7
00002bf6: DUP3
00002bf7: DUP8
00002bf8: ADD
00002bf9: PUSH2 0x2b81
00002bfc: JUMP
00002bfd: JUMPDEST
00002bfe: SWAP4
00002bff: POP
00002c00: POP
00002c01: PUSH1 0x20
00002c03: PUSH2 0x2c0e
00002c06: DUP7
00002c07: DUP3
00002c08: DUP8
00002c09: ADD
00002c0a: PUSH2 0x2b81
00002c0d: JUMP
00002c0e: JUMPDEST
00002c0f: SWAP3
00002c10: POP
00002c11: POP
00002c12: PUSH1 0x40
00002c14: PUSH2 0x2c1f
00002c17: DUP7
00002c18: DUP3
00002c19: DUP8
00002c1a: ADD
00002c1b: PUSH2 0x2acc
00002c1e: JUMP
00002c1f: JUMPDEST
00002c20: SWAP2
00002c21: POP
00002c22: POP
00002c23: SWAP3
00002c24: POP
00002c25: SWAP3
00002c26: POP
00002c27: SWAP3
00002c28: JUMP
00002c29: JUMPDEST
00002c2a: PUSH1 0x00
00002c2c: DUP1
00002c2d: PUSH1 0x40
00002c2f: DUP4
00002c30: DUP6
00002c31: SUB
00002c32: SLT
00002c33: ISZERO
00002c34: PUSH2 0x2c40
00002c37: JUMPI
00002c38: PUSH2 0x2c3f
00002c3b: PUSH2 0x292b
00002c3e: JUMP
00002c3f: JUMPDEST
00002c40: JUMPDEST
00002c41: PUSH1 0x00
00002c43: PUSH2 0x2c4e
00002c46: DUP6
00002c47: DUP3
00002c48: DUP7
00002c49: ADD
00002c4a: PUSH2 0x2acc
00002c4d: JUMP
00002c4e: JUMPDEST
00002c4f: SWAP3
00002c50: POP
00002c51: POP
00002c52: PUSH1 0x20
00002c54: PUSH2 0x2c5f
00002c57: DUP6
00002c58: DUP3
00002c59: DUP7
00002c5a: ADD
00002c5b: PUSH2 0x2acc
00002c5e: JUMP
00002c5f: JUMPDEST
00002c60: SWAP2
00002c61: POP
00002c62: POP
00002c63: SWAP3
00002c64: POP
00002c65: SWAP3
00002c66: SWAP1
00002c67: POP
00002c68: JUMP
00002c69: JUMPDEST
00002c6a: PUSH2 0x2c72
00002c6d: DUP2
00002c6e: PUSH2 0x2aab
00002c71: JUMP
00002c72: JUMPDEST
00002c73: DUP3
00002c74: MSTORE
00002c75: POP
00002c76: POP
00002c77: JUMP
00002c78: JUMPDEST
00002c79: PUSH1 0x00
00002c7b: PUSH1 0x40
00002c7d: DUP3
00002c7e: ADD
00002c7f: SWAP1
00002c80: POP
00002c81: PUSH2 0x2c8d
00002c84: PUSH1 0x00
00002c86: DUP4
00002c87: ADD
00002c88: DUP6
00002c89: PUSH2 0x2b40
00002c8c: JUMP
00002c8d: JUMPDEST
00002c8e: PUSH2 0x2c9a
00002c91: PUSH1 0x20
00002c93: DUP4
00002c94: ADD
00002c95: DUP5
00002c96: PUSH2 0x2c69
00002c99: JUMP
00002c9a: JUMPDEST
00002c9b: SWAP4
00002c9c: SWAP3
00002c9d: POP
00002c9e: POP
00002c9f: POP
00002ca0: JUMP
00002ca1: JUMPDEST
00002ca2: PUSH1 0x00
00002ca4: PUSH1 0x20
00002ca6: DUP3
00002ca7: DUP5
00002ca8: SUB
00002ca9: SLT
00002caa: ISZERO
00002cab: PUSH2 0x2cb7
00002cae: JUMPI
00002caf: PUSH2 0x2cb6
00002cb2: PUSH2 0x292b
00002cb5: JUMP
00002cb6: JUMPDEST
00002cb7: JUMPDEST
00002cb8: PUSH1 0x00
00002cba: PUSH2 0x2cc5
00002cbd: DUP5
00002cbe: DUP3
00002cbf: DUP6
00002cc0: ADD
00002cc1: PUSH2 0x2b81
00002cc4: JUMP
00002cc5: JUMPDEST
00002cc6: SWAP2
00002cc7: POP
00002cc8: POP
00002cc9: SWAP3
00002cca: SWAP2
00002ccb: POP
00002ccc: POP
00002ccd: JUMP
00002cce: JUMPDEST
00002ccf: PUSH1 0x00
00002cd1: DUP1
00002cd2: REVERT
00002cd3: JUMPDEST
00002cd4: PUSH1 0x00
00002cd6: DUP1
00002cd7: REVERT
00002cd8: JUMPDEST
00002cd9: PUSH1 0x00
00002cdb: DUP1
00002cdc: REVERT
00002cdd: JUMPDEST
00002cde: PUSH1 0x00
00002ce0: DUP1
00002ce1: DUP4
00002ce2: PUSH1 0x1f
00002ce4: DUP5
00002ce5: ADD
00002ce6: SLT
00002ce7: PUSH2 0x2cf3
00002cea: JUMPI
00002ceb: PUSH2 0x2cf2
00002cee: PUSH2 0x2cce
00002cf1: JUMP
00002cf2: JUMPDEST
00002cf3: JUMPDEST
00002cf4: DUP3
00002cf5: CALLDATALOAD
00002cf6: SWAP1
00002cf7: POP
00002cf8: PUSH8 0xffffffffffffffff
00002d01: DUP2
00002d02: GT
00002d03: ISZERO
00002d04: PUSH2 0x2d10
00002d07: JUMPI
00002d08: PUSH2 0x2d0f
00002d0b: PUSH2 0x2cd3
00002d0e: JUMP
00002d0f: JUMPDEST
00002d10: JUMPDEST
00002d11: PUSH1 0x20
00002d13: DUP4
00002d14: ADD
00002d15: SWAP2
00002d16: POP
00002d17: DUP4
00002d18: PUSH1 0x01
00002d1a: DUP3
00002d1b: MUL
00002d1c: DUP4
00002d1d: ADD
00002d1e: GT
00002d1f: ISZERO
00002d20: PUSH2 0x2d2c
00002d23: JUMPI
00002d24: PUSH2 0x2d2b
00002d27: PUSH2 0x2cd8
00002d2a: JUMP
00002d2b: JUMPDEST
00002d2c: JUMPDEST
00002d2d: SWAP3
00002d2e: POP
00002d2f: SWAP3
00002d30: SWAP1
00002d31: POP
00002d32: JUMP
00002d33: JUMPDEST
00002d34: PUSH1 0x00
00002d36: DUP1
00002d37: PUSH1 0x20
00002d39: DUP4
00002d3a: DUP6
00002d3b: SUB
00002d3c: SLT
00002d3d: ISZERO
00002d3e: PUSH2 0x2d4a
00002d41: JUMPI
00002d42: PUSH2 0x2d49
00002d45: PUSH2 0x292b
00002d48: JUMP
00002d49: JUMPDEST
00002d4a: JUMPDEST
00002d4b: PUSH1 0x00
00002d4d: DUP4
00002d4e: ADD
00002d4f: CALLDATALOAD
00002d50: PUSH8 0xffffffffffffffff
00002d59: DUP2
00002d5a: GT
00002d5b: ISZERO
00002d5c: PUSH2 0x2d68
00002d5f: JUMPI
00002d60: PUSH2 0x2d67
00002d63: PUSH2 0x2930
00002d66: JUMP
00002d67: JUMPDEST
00002d68: JUMPDEST
00002d69: PUSH2 0x2d74
00002d6c: DUP6
00002d6d: DUP3
00002d6e: DUP7
00002d6f: ADD
00002d70: PUSH2 0x2cdd
00002d73: JUMP
00002d74: JUMPDEST
00002d75: SWAP3
00002d76: POP
00002d77: SWAP3
00002d78: POP
00002d79: POP
00002d7a: SWAP3
00002d7b: POP
00002d7c: SWAP3
00002d7d: SWAP1
00002d7e: POP
00002d7f: JUMP
00002d80: JUMPDEST
00002d81: PUSH1 0x00
00002d83: PUSH1 0x20
00002d85: DUP3
00002d86: ADD
00002d87: SWAP1
00002d88: POP
00002d89: PUSH2 0x2d95
00002d8c: PUSH1 0x00
00002d8e: DUP4
00002d8f: ADD
00002d90: DUP5
00002d91: PUSH2 0x2c69
00002d94: JUMP
00002d95: JUMPDEST
00002d96: SWAP3
00002d97: SWAP2
00002d98: POP
00002d99: POP
00002d9a: JUMP
00002d9b: JUMPDEST
00002d9c: PUSH2 0x2da4
00002d9f: DUP2
00002da0: PUSH2 0x29ba
00002da3: JUMP
00002da4: JUMPDEST
00002da5: DUP2
00002da6: EQ
00002da7: PUSH2 0x2daf
00002daa: JUMPI
00002dab: PUSH1 0x00
00002dad: DUP1
00002dae: REVERT
00002daf: JUMPDEST
00002db0: POP
00002db1: JUMP
00002db2: JUMPDEST
00002db3: PUSH1 0x00
00002db5: DUP2
00002db6: CALLDATALOAD
00002db7: SWAP1
00002db8: POP
00002db9: PUSH2 0x2dc1
00002dbc: DUP2
00002dbd: PUSH2 0x2d9b
00002dc0: JUMP
00002dc1: JUMPDEST
00002dc2: SWAP3
00002dc3: SWAP2
00002dc4: POP
00002dc5: POP
00002dc6: JUMP
00002dc7: JUMPDEST
00002dc8: PUSH1 0x00
00002dca: DUP1
00002dcb: PUSH1 0x40
00002dcd: DUP4
00002dce: DUP6
00002dcf: SUB
00002dd0: SLT
00002dd1: ISZERO
00002dd2: PUSH2 0x2dde
00002dd5: JUMPI
00002dd6: PUSH2 0x2ddd
00002dd9: PUSH2 0x292b
00002ddc: JUMP
00002ddd: JUMPDEST
00002dde: JUMPDEST
00002ddf: PUSH1 0x00
00002de1: PUSH2 0x2dec
00002de4: DUP6
00002de5: DUP3
00002de6: DUP7
00002de7: ADD
00002de8: PUSH2 0x2b81
00002deb: JUMP
00002dec: JUMPDEST
00002ded: SWAP3
00002dee: POP
00002def: POP
00002df0: PUSH1 0x20
00002df2: PUSH2 0x2dfd
00002df5: DUP6
00002df6: DUP3
00002df7: DUP7
00002df8: ADD
00002df9: PUSH2 0x2db2
00002dfc: JUMP
00002dfd: JUMPDEST
00002dfe: SWAP2
00002dff: POP
00002e00: POP
00002e01: SWAP3
00002e02: POP
00002e03: SWAP3
00002e04: SWAP1
00002e05: POP
00002e06: JUMP
00002e07: JUMPDEST
00002e08: PUSH1 0x00
00002e0a: DUP1
00002e0b: REVERT
00002e0c: JUMPDEST
00002e0d: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002e2e: PUSH1 0x00
00002e30: MSTORE
00002e31: PUSH1 0x41
00002e33: PUSH1 0x04
00002e35: MSTORE
00002e36: PUSH1 0x24
00002e38: PUSH1 0x00
00002e3a: REVERT
00002e3b: JUMPDEST
00002e3c: PUSH2 0x2e44
00002e3f: DUP3
00002e40: PUSH2 0x2a3f
00002e43: JUMP
00002e44: JUMPDEST
00002e45: DUP2
00002e46: ADD
00002e47: DUP2
00002e48: DUP2
00002e49: LT
00002e4a: PUSH8 0xffffffffffffffff
00002e53: DUP3
00002e54: GT
00002e55: OR
00002e56: ISZERO
00002e57: PUSH2 0x2e63
00002e5a: JUMPI
00002e5b: PUSH2 0x2e62
00002e5e: PUSH2 0x2e0c
00002e61: JUMP
00002e62: JUMPDEST
00002e63: JUMPDEST
00002e64: DUP1
00002e65: PUSH1 0x40
00002e67: MSTORE
00002e68: POP
00002e69: POP
00002e6a: POP
00002e6b: JUMP
00002e6c: JUMPDEST
00002e6d: PUSH1 0x00
00002e6f: PUSH2 0x2e76
00002e72: PUSH2 0x2921
00002e75: JUMP
00002e76: JUMPDEST
00002e77: SWAP1
00002e78: POP
00002e79: PUSH2 0x2e82
00002e7c: DUP3
00002e7d: DUP3
00002e7e: PUSH2 0x2e3b
00002e81: JUMP
00002e82: JUMPDEST
00002e83: SWAP2
00002e84: SWAP1
00002e85: POP
00002e86: JUMP
00002e87: JUMPDEST
00002e88: PUSH1 0x00
00002e8a: PUSH8 0xffffffffffffffff
00002e93: DUP3
00002e94: GT
00002e95: ISZERO
00002e96: PUSH2 0x2ea2
00002e99: JUMPI
00002e9a: PUSH2 0x2ea1
00002e9d: PUSH2 0x2e0c
00002ea0: JUMP
00002ea1: JUMPDEST
00002ea2: JUMPDEST
00002ea3: PUSH2 0x2eab
00002ea6: DUP3
00002ea7: PUSH2 0x2a3f
00002eaa: JUMP
00002eab: JUMPDEST
00002eac: SWAP1
00002ead: POP
00002eae: PUSH1 0x20
00002eb0: DUP2
00002eb1: ADD
00002eb2: SWAP1
00002eb3: POP
00002eb4: SWAP2
00002eb5: SWAP1
00002eb6: POP
00002eb7: JUMP
00002eb8: JUMPDEST
00002eb9: DUP3
00002eba: DUP2
00002ebb: DUP4
00002ebc: CALLDATACOPY
00002ebd: PUSH1 0x00
00002ebf: DUP4
00002ec0: DUP4
00002ec1: ADD
00002ec2: MSTORE
00002ec3: POP
00002ec4: POP
00002ec5: POP
00002ec6: JUMP
00002ec7: JUMPDEST
00002ec8: PUSH1 0x00
00002eca: PUSH2 0x2eda
00002ecd: PUSH2 0x2ed5
00002ed0: DUP5
00002ed1: PUSH2 0x2e87
00002ed4: JUMP
00002ed5: JUMPDEST
00002ed6: PUSH2 0x2e6c
00002ed9: JUMP
00002eda: JUMPDEST
00002edb: SWAP1
00002edc: POP
00002edd: DUP3
00002ede: DUP2
00002edf: MSTORE
00002ee0: PUSH1 0x20
00002ee2: DUP2
00002ee3: ADD
00002ee4: DUP5
00002ee5: DUP5
00002ee6: DUP5
00002ee7: ADD
00002ee8: GT
00002ee9: ISZERO
00002eea: PUSH2 0x2ef6
00002eed: JUMPI
00002eee: PUSH2 0x2ef5
00002ef1: PUSH2 0x2e07
00002ef4: JUMP
00002ef5: JUMPDEST
00002ef6: JUMPDEST
00002ef7: PUSH2 0x2f01
00002efa: DUP5
00002efb: DUP3
00002efc: DUP6
00002efd: PUSH2 0x2eb8
00002f00: JUMP
00002f01: JUMPDEST
00002f02: POP
00002f03: SWAP4
00002f04: SWAP3
00002f05: POP
00002f06: POP
00002f07: POP
00002f08: JUMP
00002f09: JUMPDEST
00002f0a: PUSH1 0x00
00002f0c: DUP3
00002f0d: PUSH1 0x1f
00002f0f: DUP4
00002f10: ADD
00002f11: SLT
00002f12: PUSH2 0x2f1e
00002f15: JUMPI
00002f16: PUSH2 0x2f1d
00002f19: PUSH2 0x2cce
00002f1c: JUMP
00002f1d: JUMPDEST
00002f1e: JUMPDEST
00002f1f: DUP2
00002f20: CALLDATALOAD
00002f21: PUSH2 0x2f2e
00002f24: DUP5
00002f25: DUP3
00002f26: PUSH1 0x20
00002f28: DUP7
00002f29: ADD
00002f2a: PUSH2 0x2ec7
00002f2d: JUMP
00002f2e: JUMPDEST
00002f2f: SWAP2
00002f30: POP
00002f31: POP
00002f32: SWAP3
00002f33: SWAP2
00002f34: POP
00002f35: POP
00002f36: JUMP
00002f37: JUMPDEST
00002f38: PUSH1 0x00
00002f3a: DUP1
00002f3b: PUSH1 0x00
00002f3d: DUP1
00002f3e: PUSH1 0x80
00002f40: DUP6
00002f41: DUP8
00002f42: SUB
00002f43: SLT
00002f44: ISZERO
00002f45: PUSH2 0x2f51
00002f48: JUMPI
00002f49: PUSH2 0x2f50
00002f4c: PUSH2 0x292b
00002f4f: JUMP
00002f50: JUMPDEST
00002f51: JUMPDEST
00002f52: PUSH1 0x00
00002f54: PUSH2 0x2f5f
00002f57: DUP8
00002f58: DUP3
00002f59: DUP9
00002f5a: ADD
00002f5b: PUSH2 0x2b81
00002f5e: JUMP
00002f5f: JUMPDEST
00002f60: SWAP5
00002f61: POP
00002f62: POP
00002f63: PUSH1 0x20
00002f65: PUSH2 0x2f70
00002f68: DUP8
00002f69: DUP3
00002f6a: DUP9
00002f6b: ADD
00002f6c: PUSH2 0x2b81
00002f6f: JUMP
00002f70: JUMPDEST
00002f71: SWAP4
00002f72: POP
00002f73: POP
00002f74: PUSH1 0x40
00002f76: PUSH2 0x2f81
00002f79: DUP8
00002f7a: DUP3
00002f7b: DUP9
00002f7c: ADD
00002f7d: PUSH2 0x2acc
00002f80: JUMP
00002f81: JUMPDEST
00002f82: SWAP3
00002f83: POP
00002f84: POP
00002f85: PUSH1 0x60
00002f87: DUP6
00002f88: ADD
00002f89: CALLDATALOAD
00002f8a: PUSH8 0xffffffffffffffff
00002f93: DUP2
00002f94: GT
00002f95: ISZERO
00002f96: PUSH2 0x2fa2
00002f99: JUMPI
00002f9a: PUSH2 0x2fa1
00002f9d: PUSH2 0x2930
00002fa0: JUMP
00002fa1: JUMPDEST
00002fa2: JUMPDEST
00002fa3: PUSH2 0x2fae
00002fa6: DUP8
00002fa7: DUP3
00002fa8: DUP9
00002fa9: ADD
00002faa: PUSH2 0x2f09
00002fad: JUMP
00002fae: JUMPDEST
00002faf: SWAP2
00002fb0: POP
00002fb1: POP
00002fb2: SWAP3
00002fb3: SWAP6
00002fb4: SWAP2
00002fb5: SWAP5
00002fb6: POP
00002fb7: SWAP3
00002fb8: POP
00002fb9: JUMP
00002fba: JUMPDEST
00002fbb: PUSH1 0x00
00002fbd: DUP2
00002fbe: MLOAD
00002fbf: SWAP1
00002fc0: POP
00002fc1: SWAP2
00002fc2: SWAP1
00002fc3: POP
00002fc4: JUMP
00002fc5: JUMPDEST
00002fc6: PUSH1 0x00
00002fc8: DUP3
00002fc9: DUP3
00002fca: MSTORE
00002fcb: PUSH1 0x20
00002fcd: DUP3
00002fce: ADD
00002fcf: SWAP1
00002fd0: POP
00002fd1: SWAP3
00002fd2: SWAP2
00002fd3: POP
00002fd4: POP
00002fd5: JUMP
00002fd6: JUMPDEST
00002fd7: PUSH1 0x00
00002fd9: DUP2
00002fda: SWAP1
00002fdb: POP
00002fdc: PUSH1 0x20
00002fde: DUP3
00002fdf: ADD
00002fe0: SWAP1
00002fe1: POP
00002fe2: SWAP2
00002fe3: SWAP1
00002fe4: POP
00002fe5: JUMP
00002fe6: JUMPDEST
00002fe7: PUSH1 0x00
00002fe9: PUSH2 0x2ff1
00002fec: DUP3
00002fed: PUSH2 0x2b0e
00002ff0: JUMP
00002ff1: JUMPDEST
00002ff2: SWAP1
00002ff3: POP
00002ff4: SWAP2
00002ff5: SWAP1
00002ff6: POP
00002ff7: JUMP
00002ff8: JUMPDEST
00002ff9: PUSH2 0x3001
00002ffc: DUP2
00002ffd: PUSH2 0x2fe6
00003000: JUMP
00003001: JUMPDEST
00003002: DUP3
00003003: MSTORE
00003004: POP
00003005: POP
00003006: JUMP
00003007: JUMPDEST
00003008: PUSH1 0x00
0000300a: PUSH12 0xffffffffffffffffffffffff
00003017: DUP3
00003018: AND
00003019: SWAP1
0000301a: POP
0000301b: SWAP2
0000301c: SWAP1
0000301d: POP
0000301e: JUMP
0000301f: JUMPDEST
00003020: PUSH2 0x3028
00003023: DUP2
00003024: PUSH2 0x3007
00003027: JUMP
00003028: JUMPDEST
00003029: DUP3
0000302a: MSTORE
0000302b: POP
0000302c: POP
0000302d: JUMP
0000302e: JUMPDEST
0000302f: PUSH1 0x40
00003031: DUP3
00003032: ADD
00003033: PUSH1 0x00
00003035: DUP3
00003036: ADD
00003037: MLOAD
00003038: PUSH2 0x3044
0000303b: PUSH1 0x00
0000303d: DUP6
0000303e: ADD
0000303f: DUP3
00003040: PUSH2 0x2ff8
00003043: JUMP
00003044: JUMPDEST
00003045: POP
00003046: PUSH1 0x20
00003048: DUP3
00003049: ADD
0000304a: MLOAD
0000304b: PUSH2 0x3057
0000304e: PUSH1 0x20
00003050: DUP6
00003051: ADD
00003052: DUP3
00003053: PUSH2 0x301f
00003056: JUMP
00003057: JUMPDEST
00003058: POP
00003059: POP
0000305a: POP
0000305b: POP
0000305c: JUMP
0000305d: JUMPDEST
0000305e: PUSH1 0x00
00003060: PUSH2 0x3069
00003063: DUP4
00003064: DUP4
00003065: PUSH2 0x302e
00003068: JUMP
00003069: JUMPDEST
0000306a: PUSH1 0x40
0000306c: DUP4
0000306d: ADD
0000306e: SWAP1
0000306f: POP
00003070: SWAP3
00003071: SWAP2
00003072: POP
00003073: POP
00003074: JUMP
00003075: JUMPDEST
00003076: PUSH1 0x00
00003078: PUSH1 0x20
0000307a: DUP3
0000307b: ADD
0000307c: SWAP1
0000307d: POP
0000307e: SWAP2
0000307f: SWAP1
00003080: POP
00003081: JUMP
00003082: JUMPDEST
00003083: PUSH1 0x00
00003085: PUSH2 0x308d
00003088: DUP3
00003089: PUSH2 0x2fba
0000308c: JUMP
0000308d: JUMPDEST
0000308e: PUSH2 0x3097
00003091: DUP2
00003092: DUP6
00003093: PUSH2 0x2fc5
00003096: JUMP
00003097: JUMPDEST
00003098: SWAP4
00003099: POP
0000309a: PUSH2 0x30a2
0000309d: DUP4
0000309e: PUSH2 0x2fd6
000030a1: JUMP
000030a2: JUMPDEST
000030a3: DUP1
000030a4: PUSH1 0x00
000030a6: JUMPDEST
000030a7: DUP4
000030a8: DUP2
000030a9: LT
000030aa: ISZERO
000030ab: PUSH2 0x30d3
000030ae: JUMPI
000030af: DUP2
000030b0: MLOAD
000030b1: PUSH2 0x30ba
000030b4: DUP9
000030b5: DUP3
000030b6: PUSH2 0x305d
000030b9: JUMP
000030ba: JUMPDEST
000030bb: SWAP8
000030bc: POP
000030bd: PUSH2 0x30c5
000030c0: DUP4
000030c1: PUSH2 0x3075
000030c4: JUMP
000030c5: JUMPDEST
000030c6: SWAP3
000030c7: POP
000030c8: POP
000030c9: PUSH1 0x01
000030cb: DUP2
000030cc: ADD
000030cd: SWAP1
000030ce: POP
000030cf: PUSH2 0x30a6
000030d2: JUMP
000030d3: JUMPDEST
000030d4: POP
000030d5: DUP6
000030d6: SWAP4
000030d7: POP
000030d8: POP
000030d9: POP
000030da: POP
000030db: SWAP3
000030dc: SWAP2
000030dd: POP
000030de: POP
000030df: JUMP
000030e0: JUMPDEST
000030e1: PUSH1 0x00
000030e3: PUSH1 0x20
000030e5: DUP3
000030e6: ADD
000030e7: SWAP1
000030e8: POP
000030e9: DUP2
000030ea: DUP2
000030eb: SUB
000030ec: PUSH1 0x00
000030ee: DUP4
000030ef: ADD
000030f0: MSTORE
000030f1: PUSH2 0x30fa
000030f4: DUP2
000030f5: DUP5
000030f6: PUSH2 0x3082
000030f9: JUMP
000030fa: JUMPDEST
000030fb: SWAP1
000030fc: POP
000030fd: SWAP3
000030fe: SWAP2
000030ff: POP
00003100: POP
00003101: JUMP
00003102: JUMPDEST
00003103: PUSH1 0x00
00003105: DUP1
00003106: PUSH1 0x40
00003108: DUP4
00003109: DUP6
0000310a: SUB
0000310b: SLT
0000310c: ISZERO
0000310d: PUSH2 0x3119
00003110: JUMPI
00003111: PUSH2 0x3118
00003114: PUSH2 0x292b
00003117: JUMP
00003118: JUMPDEST
00003119: JUMPDEST
0000311a: PUSH1 0x00
0000311c: PUSH2 0x3127
0000311f: DUP6
00003120: DUP3
00003121: DUP7
00003122: ADD
00003123: PUSH2 0x2b81
00003126: JUMP
00003127: JUMPDEST
00003128: SWAP3
00003129: POP
0000312a: POP
0000312b: PUSH1 0x20
0000312d: PUSH2 0x3138
00003130: DUP6
00003131: DUP3
00003132: DUP7
00003133: ADD
00003134: PUSH2 0x2b81
00003137: JUMP
00003138: JUMPDEST
00003139: SWAP2
0000313a: POP
0000313b: POP
0000313c: SWAP3
0000313d: POP
0000313e: SWAP3
0000313f: SWAP1
00003140: POP
00003141: JUMP
00003142: JUMPDEST
00003143: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003164: PUSH1 0x00
00003166: MSTORE
00003167: PUSH1 0x22
00003169: PUSH1 0x04
0000316b: MSTORE
0000316c: PUSH1 0x24
0000316e: PUSH1 0x00
00003170: REVERT
00003171: JUMPDEST
00003172: PUSH1 0x00
00003174: PUSH1 0x02
00003176: DUP3
00003177: DIV
00003178: SWAP1
00003179: POP
0000317a: PUSH1 0x01
0000317c: DUP3
0000317d: AND
0000317e: DUP1
0000317f: PUSH2 0x3189
00003182: JUMPI
00003183: PUSH1 0x7f
00003185: DUP3
00003186: AND
00003187: SWAP2
00003188: POP
00003189: JUMPDEST
0000318a: PUSH1 0x20
0000318c: DUP3
0000318d: LT
0000318e: DUP2
0000318f: SUB
00003190: PUSH2 0x319c
00003193: JUMPI
00003194: PUSH2 0x319b
00003197: PUSH2 0x3142
0000319a: JUMP
0000319b: JUMPDEST
0000319c: JUMPDEST
0000319d: POP
0000319e: SWAP2
0000319f: SWAP1
000031a0: POP
000031a1: JUMP
000031a2: JUMPDEST
000031a3: PUSH32 0x4552433732313a20617070726f76656420717565727920666f72206e6f6e6578
000031c4: PUSH1 0x00
000031c6: DUP3
000031c7: ADD
000031c8: MSTORE
000031c9: PUSH32 0x697374656e7420746f6b656e0000000000000000000000000000000000000000
000031ea: PUSH1 0x20
000031ec: DUP3
000031ed: ADD
000031ee: MSTORE
000031ef: POP
000031f0: JUMP
000031f1: JUMPDEST
000031f2: PUSH1 0x00
000031f4: PUSH2 0x31fe
000031f7: PUSH1 0x2c
000031f9: DUP4
000031fa: PUSH2 0x29fb
000031fd: JUMP
000031fe: JUMPDEST
000031ff: SWAP2
00003200: POP
00003201: PUSH2 0x3209
00003204: DUP3
00003205: PUSH2 0x31a2
00003208: JUMP
00003209: JUMPDEST
0000320a: PUSH1 0x40
0000320c: DUP3
0000320d: ADD
0000320e: SWAP1
0000320f: POP
00003210: SWAP2
00003211: SWAP1
00003212: POP
00003213: JUMP
00003214: JUMPDEST
00003215: PUSH1 0x00
00003217: PUSH1 0x20
00003219: DUP3
0000321a: ADD
0000321b: SWAP1
0000321c: POP
0000321d: DUP2
0000321e: DUP2
0000321f: SUB
00003220: PUSH1 0x00
00003222: DUP4
00003223: ADD
00003224: MSTORE
00003225: PUSH2 0x322d
00003228: DUP2
00003229: PUSH2 0x31f1
0000322c: JUMP
0000322d: JUMPDEST
0000322e: SWAP1
0000322f: POP
00003230: SWAP2
00003231: SWAP1
00003232: POP
00003233: JUMP
00003234: JUMPDEST
00003235: PUSH32 0x4552433732313a20617070726f76616c20746f2063757272656e74206f776e65
00003256: PUSH1 0x00
00003258: DUP3
00003259: ADD
0000325a: MSTORE
0000325b: PUSH32 0x7200000000000000000000000000000000000000000000000000000000000000
0000327c: PUSH1 0x20
0000327e: DUP3
0000327f: ADD
00003280: MSTORE
00003281: POP
00003282: JUMP
00003283: JUMPDEST
00003284: PUSH1 0x00
00003286: PUSH2 0x3290
00003289: PUSH1 0x21
0000328b: DUP4
0000328c: PUSH2 0x29fb
0000328f: JUMP
00003290: JUMPDEST
00003291: SWAP2
00003292: POP
00003293: PUSH2 0x329b
00003296: DUP3
00003297: PUSH2 0x3234
0000329a: JUMP
0000329b: JUMPDEST
0000329c: PUSH1 0x40
0000329e: DUP3
0000329f: ADD
000032a0: SWAP1
000032a1: POP
000032a2: SWAP2
000032a3: SWAP1
000032a4: POP
000032a5: JUMP
000032a6: JUMPDEST
000032a7: PUSH1 0x00
000032a9: PUSH1 0x20
000032ab: DUP3
000032ac: ADD
000032ad: SWAP1
000032ae: POP
000032af: DUP2
000032b0: DUP2
000032b1: SUB
000032b2: PUSH1 0x00
000032b4: DUP4
000032b5: ADD
000032b6: MSTORE
000032b7: PUSH2 0x32bf
000032ba: DUP2
000032bb: PUSH2 0x3283
000032be: JUMP
000032bf: JUMPDEST
000032c0: SWAP1
000032c1: POP
000032c2: SWAP2
000032c3: SWAP1
000032c4: POP
000032c5: JUMP
000032c6: JUMPDEST
000032c7: PUSH32 0x4552433732313a20617070726f76652063616c6c6572206973206e6f74206f77
000032e8: PUSH1 0x00
000032ea: DUP3
000032eb: ADD
000032ec: MSTORE
000032ed: PUSH32 0x6e6572206e6f7220617070726f76656420666f7220616c6c0000000000000000
0000330e: PUSH1 0x20
00003310: DUP3
00003311: ADD
00003312: MSTORE
00003313: POP
00003314: JUMP
00003315: JUMPDEST
00003316: PUSH1 0x00
00003318: PUSH2 0x3322
0000331b: PUSH1 0x38
0000331d: DUP4
0000331e: PUSH2 0x29fb
00003321: JUMP
00003322: JUMPDEST
00003323: SWAP2
00003324: POP
00003325: PUSH2 0x332d
00003328: DUP3
00003329: PUSH2 0x32c6
0000332c: JUMP
0000332d: JUMPDEST
0000332e: PUSH1 0x40
00003330: DUP3
00003331: ADD
00003332: SWAP1
00003333: POP
00003334: SWAP2
00003335: SWAP1
00003336: POP
00003337: JUMP
00003338: JUMPDEST
00003339: PUSH1 0x00
0000333b: PUSH1 0x20
0000333d: DUP3
0000333e: ADD
0000333f: SWAP1
00003340: POP
00003341: DUP2
00003342: DUP2
00003343: SUB
00003344: PUSH1 0x00
00003346: DUP4
00003347: ADD
00003348: MSTORE
00003349: PUSH2 0x3351
0000334c: DUP2
0000334d: PUSH2 0x3315
00003350: JUMP
00003351: JUMPDEST
00003352: SWAP1
00003353: POP
00003354: SWAP2
00003355: SWAP1
00003356: POP
00003357: JUMP
00003358: JUMPDEST
00003359: PUSH32 0x4e6f2066756e647320746f2073656e6400000000000000000000000000000000
0000337a: PUSH1 0x00
0000337c: DUP3
0000337d: ADD
0000337e: MSTORE
0000337f: POP
00003380: JUMP
00003381: JUMPDEST
00003382: PUSH1 0x00
00003384: PUSH2 0x338e
00003387: PUSH1 0x10
00003389: DUP4
0000338a: PUSH2 0x29fb
0000338d: JUMP
0000338e: JUMPDEST
0000338f: SWAP2
00003390: POP
00003391: PUSH2 0x3399
00003394: DUP3
00003395: PUSH2 0x3358
00003398: JUMP
00003399: JUMPDEST
0000339a: PUSH1 0x20
0000339c: DUP3
0000339d: ADD
0000339e: SWAP1
0000339f: POP
000033a0: SWAP2
000033a1: SWAP1
000033a2: POP
000033a3: JUMP
000033a4: JUMPDEST
000033a5: PUSH1 0x00
000033a7: PUSH1 0x20
000033a9: DUP3
000033aa: ADD
000033ab: SWAP1
000033ac: POP
000033ad: DUP2
000033ae: DUP2
000033af: SUB
000033b0: PUSH1 0x00
000033b2: DUP4
000033b3: ADD
000033b4: MSTORE
000033b5: PUSH2 0x33bd
000033b8: DUP2
000033b9: PUSH2 0x3381
000033bc: JUMP
000033bd: JUMPDEST
000033be: SWAP1
000033bf: POP
000033c0: SWAP2
000033c1: SWAP1
000033c2: POP
000033c3: JUMP
000033c4: JUMPDEST
000033c5: PUSH1 0x00
000033c7: DUP2
000033c8: SWAP1
000033c9: POP
000033ca: SWAP3
000033cb: SWAP2
000033cc: POP
000033cd: POP
000033ce: JUMP
000033cf: JUMPDEST
000033d0: POP
000033d1: JUMP
000033d2: JUMPDEST
000033d3: PUSH1 0x00
000033d5: PUSH2 0x33df
000033d8: PUSH1 0x00
000033da: DUP4
000033db: PUSH2 0x33c4
000033de: JUMP
000033df: JUMPDEST
000033e0: SWAP2
000033e1: POP
000033e2: PUSH2 0x33ea
000033e5: DUP3
000033e6: PUSH2 0x33cf
000033e9: JUMP
000033ea: JUMPDEST
000033eb: PUSH1 0x00
000033ed: DUP3
000033ee: ADD
000033ef: SWAP1
000033f0: POP
000033f1: SWAP2
000033f2: SWAP1
000033f3: POP
000033f4: JUMP
000033f5: JUMPDEST
000033f6: PUSH1 0x00
000033f8: PUSH2 0x3400
000033fb: DUP3
000033fc: PUSH2 0x33d2
000033ff: JUMP
00003400: JUMPDEST
00003401: SWAP2
00003402: POP
00003403: DUP2
00003404: SWAP1
00003405: POP
00003406: SWAP2
00003407: SWAP1
00003408: POP
00003409: JUMP
0000340a: JUMPDEST
0000340b: PUSH32 0x436f756c64206e6f742070726f63657373207061796d656e7400000000000000
0000342c: PUSH1 0x00
0000342e: DUP3
0000342f: ADD
00003430: MSTORE
00003431: POP
00003432: JUMP
00003433: JUMPDEST
00003434: PUSH1 0x00
00003436: PUSH2 0x3440
00003439: PUSH1 0x19
0000343b: DUP4
0000343c: PUSH2 0x29fb
0000343f: JUMP
00003440: JUMPDEST
00003441: SWAP2
00003442: POP
00003443: PUSH2 0x344b
00003446: DUP3
00003447: PUSH2 0x340a
0000344a: JUMP
0000344b: JUMPDEST
0000344c: PUSH1 0x20
0000344e: DUP3
0000344f: ADD
00003450: SWAP1
00003451: POP
00003452: SWAP2
00003453: SWAP1
00003454: POP
00003455: JUMP
00003456: JUMPDEST
00003457: PUSH1 0x00
00003459: PUSH1 0x20
0000345b: DUP3
0000345c: ADD
0000345d: SWAP1
0000345e: POP
0000345f: DUP2
00003460: DUP2
00003461: SUB
00003462: PUSH1 0x00
00003464: DUP4
00003465: ADD
00003466: MSTORE
00003467: PUSH2 0x346f
0000346a: DUP2
0000346b: PUSH2 0x3433
0000346e: JUMP
0000346f: JUMPDEST
00003470: SWAP1
00003471: POP
00003472: SWAP2
00003473: SWAP1
00003474: POP
00003475: JUMP
00003476: JUMPDEST
00003477: PUSH32 0x4552433732313a207472616e736665722063616c6c6572206973206e6f74206f
00003498: PUSH1 0x00
0000349a: DUP3
0000349b: ADD
0000349c: MSTORE
0000349d: PUSH32 0x776e6572206e6f7220617070726f766564000000000000000000000000000000
000034be: PUSH1 0x20
000034c0: DUP3
000034c1: ADD
000034c2: MSTORE
000034c3: POP
000034c4: JUMP
000034c5: JUMPDEST
000034c6: PUSH1 0x00
000034c8: PUSH2 0x34d2
000034cb: PUSH1 0x31
000034cd: DUP4
000034ce: PUSH2 0x29fb
000034d1: JUMP
000034d2: JUMPDEST
000034d3: SWAP2
000034d4: POP
000034d5: PUSH2 0x34dd
000034d8: DUP3
000034d9: PUSH2 0x3476
000034dc: JUMP
000034dd: JUMPDEST
000034de: PUSH1 0x40
000034e0: DUP3
000034e1: ADD
000034e2: SWAP1
000034e3: POP
000034e4: SWAP2
000034e5: SWAP1
000034e6: POP
000034e7: JUMP
000034e8: JUMPDEST
000034e9: PUSH1 0x00
000034eb: PUSH1 0x20
000034ed: DUP3
000034ee: ADD
000034ef: SWAP1
000034f0: POP
000034f1: DUP2
000034f2: DUP2
000034f3: SUB
000034f4: PUSH1 0x00
000034f6: DUP4
000034f7: ADD
000034f8: MSTORE
000034f9: PUSH2 0x3501
000034fc: DUP2
000034fd: PUSH2 0x34c5
00003500: JUMP
00003501: JUMPDEST
00003502: SWAP1
00003503: POP
00003504: SWAP2
00003505: SWAP1
00003506: POP
00003507: JUMP
00003508: JUMPDEST
00003509: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000352a: PUSH1 0x00
0000352c: MSTORE
0000352d: PUSH1 0x32
0000352f: PUSH1 0x04
00003531: MSTORE
00003532: PUSH1 0x24
00003534: PUSH1 0x00
00003536: REVERT
00003537: JUMPDEST
00003538: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003559: PUSH1 0x00
0000355b: MSTORE
0000355c: PUSH1 0x11
0000355e: PUSH1 0x04
00003560: MSTORE
00003561: PUSH1 0x24
00003563: PUSH1 0x00
00003565: REVERT
00003566: JUMPDEST
00003567: PUSH1 0x00
00003569: PUSH2 0x3571
0000356c: DUP3
0000356d: PUSH2 0x2aab
00003570: JUMP
00003571: JUMPDEST
00003572: SWAP2
00003573: POP
00003574: PUSH2 0x357c
00003577: DUP4
00003578: PUSH2 0x2aab
0000357b: JUMP
0000357c: JUMPDEST
0000357d: SWAP3
0000357e: POP
0000357f: DUP3
00003580: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000035a1: SUB
000035a2: DUP3
000035a3: GT
000035a4: ISZERO
000035a5: PUSH2 0x35b1
000035a8: JUMPI
000035a9: PUSH2 0x35b0
000035ac: PUSH2 0x3537
000035af: JUMP
000035b0: JUMPDEST
000035b1: JUMPDEST
000035b2: DUP3
000035b3: DUP3
000035b4: ADD
000035b5: SWAP1
000035b6: POP
000035b7: SWAP3
000035b8: SWAP2
000035b9: POP
000035ba: POP
000035bb: JUMP
000035bc: JUMPDEST
000035bd: PUSH1 0x00
000035bf: PUSH2 0x35c7
000035c2: DUP3
000035c3: PUSH2 0x2aab
000035c6: JUMP
000035c7: JUMPDEST
000035c8: SWAP2
000035c9: POP
000035ca: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000035eb: DUP3
000035ec: SUB
000035ed: PUSH2 0x35f9
000035f0: JUMPI
000035f1: PUSH2 0x35f8
000035f4: PUSH2 0x3537
000035f7: JUMP
000035f8: JUMPDEST
000035f9: JUMPDEST
000035fa: PUSH1 0x01
000035fc: DUP3
000035fd: ADD
000035fe: SWAP1
000035ff: POP
00003600: SWAP2
00003601: SWAP1
00003602: POP
00003603: JUMP
00003604: JUMPDEST
00003605: PUSH1 0x00
00003607: PUSH2 0x360f
0000360a: DUP3
0000360b: PUSH2 0x2aab
0000360e: JUMP
0000360f: JUMPDEST
00003610: SWAP2
00003611: POP
00003612: PUSH2 0x361a
00003615: DUP4
00003616: PUSH2 0x2aab
00003619: JUMP
0000361a: JUMPDEST
0000361b: SWAP3
0000361c: POP
0000361d: DUP2
0000361e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000363f: DIV
00003640: DUP4
00003641: GT
00003642: DUP3
00003643: ISZERO
00003644: ISZERO
00003645: AND
00003646: ISZERO
00003647: PUSH2 0x3653
0000364a: JUMPI
0000364b: PUSH2 0x3652
0000364e: PUSH2 0x3537
00003651: JUMP
00003652: JUMPDEST
00003653: JUMPDEST
00003654: DUP3
00003655: DUP3
00003656: MUL
00003657: SWAP1
00003658: POP
00003659: SWAP3
0000365a: SWAP2
0000365b: POP
0000365c: POP
0000365d: JUMP
0000365e: JUMPDEST
0000365f: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00003680: PUSH1 0x00
00003682: MSTORE
00003683: PUSH1 0x12
00003685: PUSH1 0x04
00003687: MSTORE
00003688: PUSH1 0x24
0000368a: PUSH1 0x00
0000368c: REVERT
0000368d: JUMPDEST
0000368e: PUSH1 0x00
00003690: PUSH2 0x3698
00003693: DUP3
00003694: PUSH2 0x2aab
00003697: JUMP
00003698: JUMPDEST
00003699: SWAP2
0000369a: POP
0000369b: PUSH2 0x36a3
0000369e: DUP4
0000369f: PUSH2 0x2aab
000036a2: JUMP
000036a3: JUMPDEST
000036a4: SWAP3
000036a5: POP
000036a6: DUP3
000036a7: PUSH2 0x36b3
000036aa: JUMPI
000036ab: PUSH2 0x36b2
000036ae: PUSH2 0x365e
000036b1: JUMP
000036b2: JUMPDEST
000036b3: JUMPDEST
000036b4: DUP3
000036b5: DUP3
000036b6: DIV
000036b7: SWAP1
000036b8: POP
000036b9: SWAP3
000036ba: SWAP2
000036bb: POP
000036bc: POP
000036bd: JUMP
000036be: JUMPDEST
000036bf: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
000036e0: PUSH1 0x00
000036e2: DUP3
000036e3: ADD
000036e4: MSTORE
000036e5: POP
000036e6: JUMP
000036e7: JUMPDEST
000036e8: PUSH1 0x00
000036ea: PUSH2 0x36f4
000036ed: PUSH1 0x20
000036ef: DUP4
000036f0: PUSH2 0x29fb
000036f3: JUMP
000036f4: JUMPDEST
000036f5: SWAP2
000036f6: POP
000036f7: PUSH2 0x36ff
000036fa: DUP3
000036fb: PUSH2 0x36be
000036fe: JUMP
000036ff: JUMPDEST
00003700: PUSH1 0x20
00003702: DUP3
00003703: ADD
00003704: SWAP1
00003705: POP
00003706: SWAP2
00003707: SWAP1
00003708: POP
00003709: JUMP
0000370a: JUMPDEST
0000370b: PUSH1 0x00
0000370d: PUSH1 0x20
0000370f: DUP3
00003710: ADD
00003711: SWAP1
00003712: POP
00003713: DUP2
00003714: DUP2
00003715: SUB
00003716: PUSH1 0x00
00003718: DUP4
00003719: ADD
0000371a: MSTORE
0000371b: PUSH2 0x3723
0000371e: DUP2
0000371f: PUSH2 0x36e7
00003722: JUMP
00003723: JUMPDEST
00003724: SWAP1
00003725: POP
00003726: SWAP2
00003727: SWAP1
00003728: POP
00003729: JUMP
0000372a: JUMPDEST
0000372b: PUSH32 0x4552433732313a206f776e657220717565727920666f72206e6f6e6578697374
0000374c: PUSH1 0x00
0000374e: DUP3
0000374f: ADD
00003750: MSTORE
00003751: PUSH32 0x656e7420746f6b656e0000000000000000000000000000000000000000000000
00003772: PUSH1 0x20
00003774: DUP3
00003775: ADD
00003776: MSTORE
00003777: POP
00003778: JUMP
00003779: JUMPDEST
0000377a: PUSH1 0x00
0000377c: PUSH2 0x3786
0000377f: PUSH1 0x29
00003781: DUP4
00003782: PUSH2 0x29fb
00003785: JUMP
00003786: JUMPDEST
00003787: SWAP2
00003788: POP
00003789: PUSH2 0x3791
0000378c: DUP3
0000378d: PUSH2 0x372a
00003790: JUMP
00003791: JUMPDEST
00003792: PUSH1 0x40
00003794: DUP3
00003795: ADD
00003796: SWAP1
00003797: POP
00003798: SWAP2
00003799: SWAP1
0000379a: POP
0000379b: JUMP
0000379c: JUMPDEST
0000379d: PUSH1 0x00
0000379f: PUSH1 0x20
000037a1: DUP3
000037a2: ADD
000037a3: SWAP1
000037a4: POP
000037a5: DUP2
000037a6: DUP2
000037a7: SUB
000037a8: PUSH1 0x00
000037aa: DUP4
000037ab: ADD
000037ac: MSTORE
000037ad: PUSH2 0x37b5
000037b0: DUP2
000037b1: PUSH2 0x3779
000037b4: JUMP
000037b5: JUMPDEST
000037b6: SWAP1
000037b7: POP
000037b8: SWAP2
000037b9: SWAP1
000037ba: POP
000037bb: JUMP
000037bc: JUMPDEST
000037bd: PUSH32 0x4552433732313a2062616c616e636520717565727920666f7220746865207a65
000037de: PUSH1 0x00
000037e0: DUP3
000037e1: ADD
000037e2: MSTORE
000037e3: PUSH32 0x726f206164647265737300000000000000000000000000000000000000000000
00003804: PUSH1 0x20
00003806: DUP3
00003807: ADD
00003808: MSTORE
00003809: POP
0000380a: JUMP
0000380b: JUMPDEST
0000380c: PUSH1 0x00
0000380e: PUSH2 0x3818
00003811: PUSH1 0x2a
00003813: DUP4
00003814: PUSH2 0x29fb
00003817: JUMP
00003818: JUMPDEST
00003819: SWAP2
0000381a: POP
0000381b: PUSH2 0x3823
0000381e: DUP3
0000381f: PUSH2 0x37bc
00003822: JUMP
00003823: JUMPDEST
00003824: PUSH1 0x40
00003826: DUP3
00003827: ADD
00003828: SWAP1
00003829: POP
0000382a: SWAP2
0000382b: SWAP1
0000382c: POP
0000382d: JUMP
0000382e: JUMPDEST
0000382f: PUSH1 0x00
00003831: PUSH1 0x20
00003833: DUP3
00003834: ADD
00003835: SWAP1
00003836: POP
00003837: DUP2
00003838: DUP2
00003839: SUB
0000383a: PUSH1 0x00
0000383c: DUP4
0000383d: ADD
0000383e: MSTORE
0000383f: PUSH2 0x3847
00003842: DUP2
00003843: PUSH2 0x380b
00003846: JUMP
00003847: JUMPDEST
00003848: SWAP1
00003849: POP
0000384a: SWAP2
0000384b: SWAP1
0000384c: POP
0000384d: JUMP
0000384e: JUMPDEST
0000384f: PUSH32 0x4552433732314d657461646174613a2055524920717565727920666f72206e6f
00003870: PUSH1 0x00
00003872: DUP3
00003873: ADD
00003874: MSTORE
00003875: PUSH32 0x6e6578697374656e7420746f6b656e0000000000000000000000000000000000
00003896: PUSH1 0x20
00003898: DUP3
00003899: ADD
0000389a: MSTORE
0000389b: POP
0000389c: JUMP
0000389d: JUMPDEST
0000389e: PUSH1 0x00
000038a0: PUSH2 0x38aa
000038a3: PUSH1 0x2f
000038a5: DUP4
000038a6: PUSH2 0x29fb
000038a9: JUMP
000038aa: JUMPDEST
000038ab: SWAP2
000038ac: POP
000038ad: PUSH2 0x38b5
000038b0: DUP3
000038b1: PUSH2 0x384e
000038b4: JUMP
000038b5: JUMPDEST
000038b6: PUSH1 0x40
000038b8: DUP3
000038b9: ADD
000038ba: SWAP1
000038bb: POP
000038bc: SWAP2
000038bd: SWAP1
000038be: POP
000038bf: JUMP
000038c0: JUMPDEST
000038c1: PUSH1 0x00
000038c3: PUSH1 0x20
000038c5: DUP3
000038c6: ADD
000038c7: SWAP1
000038c8: POP
000038c9: DUP2
000038ca: DUP2
000038cb: SUB
000038cc: PUSH1 0x00
000038ce: DUP4
000038cf: ADD
000038d0: MSTORE
000038d1: PUSH2 0x38d9
000038d4: DUP2
000038d5: PUSH2 0x389d
000038d8: JUMP
000038d9: JUMPDEST
000038da: SWAP1
000038db: POP
000038dc: SWAP2
000038dd: SWAP1
000038de: POP
000038df: JUMP
000038e0: JUMPDEST
000038e1: PUSH1 0x00
000038e3: DUP2
000038e4: SWAP1
000038e5: POP
000038e6: SWAP3
000038e7: SWAP2
000038e8: POP
000038e9: POP
000038ea: JUMP
000038eb: JUMPDEST
000038ec: PUSH1 0x00
000038ee: PUSH2 0x38f6
000038f1: DUP3
000038f2: PUSH2 0x29f0
000038f5: JUMP
000038f6: JUMPDEST
000038f7: PUSH2 0x3900
000038fa: DUP2
000038fb: DUP6
000038fc: PUSH2 0x38e0
000038ff: JUMP
00003900: JUMPDEST
00003901: SWAP4
00003902: POP
00003903: PUSH2 0x3910
00003906: DUP2
00003907: DUP6
00003908: PUSH1 0x20
0000390a: DUP7
0000390b: ADD
0000390c: PUSH2 0x2a0c
0000390f: JUMP
00003910: JUMPDEST
00003911: DUP1
00003912: DUP5
00003913: ADD
00003914: SWAP2
00003915: POP
00003916: POP
00003917: SWAP3
00003918: SWAP2
00003919: POP
0000391a: POP
0000391b: JUMP
0000391c: JUMPDEST
0000391d: PUSH1 0x00
0000391f: PUSH2 0x3928
00003922: DUP3
00003923: DUP6
00003924: PUSH2 0x38eb
00003927: JUMP
00003928: JUMPDEST
00003929: SWAP2
0000392a: POP
0000392b: PUSH2 0x3934
0000392e: DUP3
0000392f: DUP5
00003930: PUSH2 0x38eb
00003933: JUMP
00003934: JUMPDEST
00003935: SWAP2
00003936: POP
00003937: DUP2
00003938: SWAP1
00003939: POP
0000393a: SWAP4
0000393b: SWAP3
0000393c: POP
0000393d: POP
0000393e: POP
0000393f: JUMP
00003940: JUMPDEST
00003941: PUSH32 0x5468617420746f6b656e20646f6573206e6f7420657869737400000000000000
00003962: PUSH1 0x00
00003964: DUP3
00003965: ADD
00003966: MSTORE
00003967: POP
00003968: JUMP
00003969: JUMPDEST
0000396a: PUSH1 0x00
0000396c: PUSH2 0x3976
0000396f: PUSH1 0x19
00003971: DUP4
00003972: PUSH2 0x29fb
00003975: JUMP
00003976: JUMPDEST
00003977: SWAP2
00003978: POP
00003979: PUSH2 0x3981
0000397c: DUP3
0000397d: PUSH2 0x3940
00003980: JUMP
00003981: JUMPDEST
00003982: PUSH1 0x20
00003984: DUP3
00003985: ADD
00003986: SWAP1
00003987: POP
00003988: SWAP2
00003989: SWAP1
0000398a: POP
0000398b: JUMP
0000398c: JUMPDEST
0000398d: PUSH1 0x00
0000398f: PUSH1 0x20
00003991: DUP3
00003992: ADD
00003993: SWAP1
00003994: POP
00003995: DUP2
00003996: DUP2
00003997: SUB
00003998: PUSH1 0x00
0000399a: DUP4
0000399b: ADD
0000399c: MSTORE
0000399d: PUSH2 0x39a5
000039a0: DUP2
000039a1: PUSH2 0x3969
000039a4: JUMP
000039a5: JUMPDEST
000039a6: SWAP1
000039a7: POP
000039a8: SWAP2
000039a9: SWAP1
000039aa: POP
000039ab: JUMP
000039ac: JUMPDEST
000039ad: PUSH32 0x596f75206d7573742073656e642074686520726967687420616d6f756e740000
000039ce: PUSH1 0x00
000039d0: DUP3
000039d1: ADD
000039d2: MSTORE
000039d3: POP
000039d4: JUMP
000039d5: JUMPDEST
000039d6: PUSH1 0x00
000039d8: PUSH2 0x39e2
000039db: PUSH1 0x1e
000039dd: DUP4
000039de: PUSH2 0x29fb
000039e1: JUMP
000039e2: JUMPDEST
000039e3: SWAP2
000039e4: POP
000039e5: PUSH2 0x39ed
000039e8: DUP3
000039e9: PUSH2 0x39ac
000039ec: JUMP
000039ed: JUMPDEST
000039ee: PUSH1 0x20
000039f0: DUP3
000039f1: ADD
000039f2: SWAP1
000039f3: POP
000039f4: SWAP2
000039f5: SWAP1
000039f6: POP
000039f7: JUMP
000039f8: JUMPDEST
000039f9: PUSH1 0x00
000039fb: PUSH1 0x20
000039fd: DUP3
000039fe: ADD
000039ff: SWAP1
00003a00: POP
00003a01: DUP2
00003a02: DUP2
00003a03: SUB
00003a04: PUSH1 0x00
00003a06: DUP4
00003a07: ADD
00003a08: MSTORE
00003a09: PUSH2 0x3a11
00003a0c: DUP2
00003a0d: PUSH2 0x39d5
00003a10: JUMP
00003a11: JUMPDEST
00003a12: SWAP1
00003a13: POP
00003a14: SWAP2
00003a15: SWAP1
00003a16: POP
00003a17: JUMP
00003a18: JUMPDEST
00003a19: PUSH1 0x00
00003a1b: DUP2
00003a1c: SWAP1
00003a1d: POP
00003a1e: DUP2
00003a1f: PUSH1 0x00
00003a21: MSTORE
00003a22: PUSH1 0x20
00003a24: PUSH1 0x00
00003a26: KECCAK256
00003a27: SWAP1
00003a28: POP
00003a29: SWAP2
00003a2a: SWAP1
00003a2b: POP
00003a2c: JUMP
00003a2d: JUMPDEST
00003a2e: PUSH1 0x00
00003a30: DUP2
00003a31: SLOAD
00003a32: PUSH2 0x3a3a
00003a35: DUP2
00003a36: PUSH2 0x3171
00003a39: JUMP
00003a3a: JUMPDEST
00003a3b: PUSH2 0x3a44
00003a3e: DUP2
00003a3f: DUP7
00003a40: PUSH2 0x38e0
00003a43: JUMP
00003a44: JUMPDEST
00003a45: SWAP5
00003a46: POP
00003a47: PUSH1 0x01
00003a49: DUP3
00003a4a: AND
00003a4b: PUSH1 0x00
00003a4d: DUP2
00003a4e: EQ
00003a4f: PUSH2 0x3a5f
00003a52: JUMPI
00003a53: PUSH1 0x01
00003a55: DUP2
00003a56: EQ
00003a57: PUSH2 0x3a70
00003a5a: JUMPI
00003a5b: PUSH2 0x3aa3
00003a5e: JUMP
00003a5f: JUMPDEST
00003a60: PUSH1 0xff
00003a62: NOT
00003a63: DUP4
00003a64: AND
00003a65: DUP7
00003a66: MSTORE
00003a67: DUP2
00003a68: DUP7
00003a69: ADD
00003a6a: SWAP4
00003a6b: POP
00003a6c: PUSH2 0x3aa3
00003a6f: JUMP
00003a70: JUMPDEST
00003a71: PUSH2 0x3a79
00003a74: DUP6
00003a75: PUSH2 0x3a18
00003a78: JUMP
00003a79: JUMPDEST
00003a7a: PUSH1 0x00
00003a7c: JUMPDEST
00003a7d: DUP4
00003a7e: DUP2
00003a7f: LT
00003a80: ISZERO
00003a81: PUSH2 0x3a9b
00003a84: JUMPI
00003a85: DUP2
00003a86: SLOAD
00003a87: DUP2
00003a88: DUP10
00003a89: ADD
00003a8a: MSTORE
00003a8b: PUSH1 0x01
00003a8d: DUP3
00003a8e: ADD
00003a8f: SWAP2
00003a90: POP
00003a91: PUSH1 0x20
00003a93: DUP2
00003a94: ADD
00003a95: SWAP1
00003a96: POP
00003a97: PUSH2 0x3a7c
00003a9a: JUMP
00003a9b: JUMPDEST
00003a9c: DUP4
00003a9d: DUP9
00003a9e: ADD
00003a9f: SWAP6
00003aa0: POP
00003aa1: POP
00003aa2: POP
00003aa3: JUMPDEST
00003aa4: POP
00003aa5: POP
00003aa6: POP
00003aa7: SWAP3
00003aa8: SWAP2
00003aa9: POP
00003aaa: POP
00003aab: JUMP
00003aac: JUMPDEST
00003aad: PUSH32 0x636f6e7472616374000000000000000000000000000000000000000000000000
00003ace: PUSH1 0x00
00003ad0: DUP3
00003ad1: ADD
00003ad2: MSTORE
00003ad3: POP
00003ad4: JUMP
00003ad5: JUMPDEST
00003ad6: PUSH1 0x00
00003ad8: PUSH2 0x3ae2
00003adb: PUSH1 0x08
00003add: DUP4
00003ade: PUSH2 0x38e0
00003ae1: JUMP
00003ae2: JUMPDEST
00003ae3: SWAP2
00003ae4: POP
00003ae5: PUSH2 0x3aed
00003ae8: DUP3
00003ae9: PUSH2 0x3aac
00003aec: JUMP
00003aed: JUMPDEST
00003aee: PUSH1 0x08
00003af0: DUP3
00003af1: ADD
00003af2: SWAP1
00003af3: POP
00003af4: SWAP2
00003af5: SWAP1
00003af6: POP
00003af7: JUMP
00003af8: JUMPDEST
00003af9: PUSH1 0x00
00003afb: PUSH2 0x3b04
00003afe: DUP3
00003aff: DUP5
00003b00: PUSH2 0x3a2d
00003b03: JUMP
00003b04: JUMPDEST
00003b05: SWAP2
00003b06: POP
00003b07: PUSH2 0x3b0f
00003b0a: DUP3
00003b0b: PUSH2 0x3ad5
00003b0e: JUMP
00003b0f: JUMPDEST
00003b10: SWAP2
00003b11: POP
00003b12: DUP2
00003b13: SWAP1
00003b14: POP
00003b15: SWAP3
00003b16: SWAP2
00003b17: POP
00003b18: POP
00003b19: JUMP
00003b1a: JUMPDEST
00003b1b: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00003b3c: PUSH1 0x00
00003b3e: DUP3
00003b3f: ADD
00003b40: MSTORE
00003b41: PUSH32 0x6464726573730000000000000000000000000000000000000000000000000000
00003b62: PUSH1 0x20
00003b64: DUP3
00003b65: ADD
00003b66: MSTORE
00003b67: POP
00003b68: JUMP
00003b69: JUMPDEST
00003b6a: PUSH1 0x00
00003b6c: PUSH2 0x3b76
00003b6f: PUSH1 0x26
00003b71: DUP4
00003b72: PUSH2 0x29fb
00003b75: JUMP
00003b76: JUMPDEST
00003b77: SWAP2
00003b78: POP
00003b79: PUSH2 0x3b81
00003b7c: DUP3
00003b7d: PUSH2 0x3b1a
00003b80: JUMP
00003b81: JUMPDEST
00003b82: PUSH1 0x40
00003b84: DUP3
00003b85: ADD
00003b86: SWAP1
00003b87: POP
00003b88: SWAP2
00003b89: SWAP1
00003b8a: POP
00003b8b: JUMP
00003b8c: JUMPDEST
00003b8d: PUSH1 0x00
00003b8f: PUSH1 0x20
00003b91: DUP3
00003b92: ADD
00003b93: SWAP1
00003b94: POP
00003b95: DUP2
00003b96: DUP2
00003b97: SUB
00003b98: PUSH1 0x00
00003b9a: DUP4
00003b9b: ADD
00003b9c: MSTORE
00003b9d: PUSH2 0x3ba5
00003ba0: DUP2
00003ba1: PUSH2 0x3b69
00003ba4: JUMP
00003ba5: JUMPDEST
00003ba6: SWAP1
00003ba7: POP
00003ba8: SWAP2
00003ba9: SWAP1
00003baa: POP
00003bab: JUMP
00003bac: JUMPDEST
00003bad: PUSH32 0x4552433732313a206f70657261746f7220717565727920666f72206e6f6e6578
00003bce: PUSH1 0x00
00003bd0: DUP3
00003bd1: ADD
00003bd2: MSTORE
00003bd3: PUSH32 0x697374656e7420746f6b656e0000000000000000000000000000000000000000
00003bf4: PUSH1 0x20
00003bf6: DUP3
00003bf7: ADD
00003bf8: MSTORE
00003bf9: POP
00003bfa: JUMP
00003bfb: JUMPDEST
00003bfc: PUSH1 0x00
00003bfe: PUSH2 0x3c08
00003c01: PUSH1 0x2c
00003c03: DUP4
00003c04: PUSH2 0x29fb
00003c07: JUMP
00003c08: JUMPDEST
00003c09: SWAP2
00003c0a: POP
00003c0b: PUSH2 0x3c13
00003c0e: DUP3
00003c0f: PUSH2 0x3bac
00003c12: JUMP
00003c13: JUMPDEST
00003c14: PUSH1 0x40
00003c16: DUP3
00003c17: ADD
00003c18: SWAP1
00003c19: POP
00003c1a: SWAP2
00003c1b: SWAP1
00003c1c: POP
00003c1d: JUMP
00003c1e: JUMPDEST
00003c1f: PUSH1 0x00
00003c21: PUSH1 0x20
00003c23: DUP3
00003c24: ADD
00003c25: SWAP1
00003c26: POP
00003c27: DUP2
00003c28: DUP2
00003c29: SUB
00003c2a: PUSH1 0x00
00003c2c: DUP4
00003c2d: ADD
00003c2e: MSTORE
00003c2f: PUSH2 0x3c37
00003c32: DUP2
00003c33: PUSH2 0x3bfb
00003c36: JUMP
00003c37: JUMPDEST
00003c38: SWAP1
00003c39: POP
00003c3a: SWAP2
00003c3b: SWAP1
00003c3c: POP
00003c3d: JUMP
00003c3e: JUMPDEST
00003c3f: PUSH32 0x4552433732313a207472616e736665722066726f6d20696e636f727265637420
00003c60: PUSH1 0x00
00003c62: DUP3
00003c63: ADD
00003c64: MSTORE
00003c65: PUSH32 0x6f776e6572000000000000000000000000000000000000000000000000000000
00003c86: PUSH1 0x20
00003c88: DUP3
00003c89: ADD
00003c8a: MSTORE
00003c8b: POP
00003c8c: JUMP
00003c8d: JUMPDEST
00003c8e: PUSH1 0x00
00003c90: PUSH2 0x3c9a
00003c93: PUSH1 0x25
00003c95: DUP4
00003c96: PUSH2 0x29fb
00003c99: JUMP
00003c9a: JUMPDEST
00003c9b: SWAP2
00003c9c: POP
00003c9d: PUSH2 0x3ca5
00003ca0: DUP3
00003ca1: PUSH2 0x3c3e
00003ca4: JUMP
00003ca5: JUMPDEST
00003ca6: PUSH1 0x40
00003ca8: DUP3
00003ca9: ADD
00003caa: SWAP1
00003cab: POP
00003cac: SWAP2
00003cad: SWAP1
00003cae: POP
00003caf: JUMP
00003cb0: JUMPDEST
00003cb1: PUSH1 0x00
00003cb3: PUSH1 0x20
00003cb5: DUP3
00003cb6: ADD
00003cb7: SWAP1
00003cb8: POP
00003cb9: DUP2
00003cba: DUP2
00003cbb: SUB
00003cbc: PUSH1 0x00
00003cbe: DUP4
00003cbf: ADD
00003cc0: MSTORE
00003cc1: PUSH2 0x3cc9
00003cc4: DUP2
00003cc5: PUSH2 0x3c8d
00003cc8: JUMP
00003cc9: JUMPDEST
00003cca: SWAP1
00003ccb: POP
00003ccc: SWAP2
00003ccd: SWAP1
00003cce: POP
00003ccf: JUMP
00003cd0: JUMPDEST
00003cd1: PUSH32 0x4552433732313a207472616e7366657220746f20746865207a65726f20616464
00003cf2: PUSH1 0x00
00003cf4: DUP3
00003cf5: ADD
00003cf6: MSTORE
00003cf7: PUSH32 0x7265737300000000000000000000000000000000000000000000000000000000
00003d18: PUSH1 0x20
00003d1a: DUP3
00003d1b: ADD
00003d1c: MSTORE
00003d1d: POP
00003d1e: JUMP
00003d1f: JUMPDEST
00003d20: PUSH1 0x00
00003d22: PUSH2 0x3d2c
00003d25: PUSH1 0x24
00003d27: DUP4
00003d28: PUSH2 0x29fb
00003d2b: JUMP
00003d2c: JUMPDEST
00003d2d: SWAP2
00003d2e: POP
00003d2f: PUSH2 0x3d37
00003d32: DUP3
00003d33: PUSH2 0x3cd0
00003d36: JUMP
00003d37: JUMPDEST
00003d38: PUSH1 0x40
00003d3a: DUP3
00003d3b: ADD
00003d3c: SWAP1
00003d3d: POP
00003d3e: SWAP2
00003d3f: SWAP1
00003d40: POP
00003d41: JUMP
00003d42: JUMPDEST
00003d43: PUSH1 0x00
00003d45: PUSH1 0x20
00003d47: DUP3
00003d48: ADD
00003d49: SWAP1
00003d4a: POP
00003d4b: DUP2
00003d4c: DUP2
00003d4d: SUB
00003d4e: PUSH1 0x00
00003d50: DUP4
00003d51: ADD
00003d52: MSTORE
00003d53: PUSH2 0x3d5b
00003d56: DUP2
00003d57: PUSH2 0x3d1f
00003d5a: JUMP
00003d5b: JUMPDEST
00003d5c: SWAP1
00003d5d: POP
00003d5e: SWAP2
00003d5f: SWAP1
00003d60: POP
00003d61: JUMP
00003d62: JUMPDEST
00003d63: PUSH1 0x00
00003d65: PUSH2 0x3d6d
00003d68: DUP3
00003d69: PUSH2 0x2aab
00003d6c: JUMP
00003d6d: JUMPDEST
00003d6e: SWAP2
00003d6f: POP
00003d70: PUSH2 0x3d78
00003d73: DUP4
00003d74: PUSH2 0x2aab
00003d77: JUMP
00003d78: JUMPDEST
00003d79: SWAP3
00003d7a: POP
00003d7b: DUP3
00003d7c: DUP3
00003d7d: LT
00003d7e: ISZERO
00003d7f: PUSH2 0x3d8b
00003d82: JUMPI
00003d83: PUSH2 0x3d8a
00003d86: PUSH2 0x3537
00003d89: JUMP
00003d8a: JUMPDEST
00003d8b: JUMPDEST
00003d8c: DUP3
00003d8d: DUP3
00003d8e: SUB
00003d8f: SWAP1
00003d90: POP
00003d91: SWAP3
00003d92: SWAP2
00003d93: POP
00003d94: POP
00003d95: JUMP
00003d96: JUMPDEST
00003d97: PUSH32 0x455243323938313a20726f79616c7479206665652077696c6c20657863656564
00003db8: PUSH1 0x00
00003dba: DUP3
00003dbb: ADD
00003dbc: MSTORE
00003dbd: PUSH32 0x2073616c65507269636500000000000000000000000000000000000000000000
00003dde: PUSH1 0x20
00003de0: DUP3
00003de1: ADD
00003de2: MSTORE
00003de3: POP
00003de4: JUMP
00003de5: JUMPDEST
00003de6: PUSH1 0x00
00003de8: PUSH2 0x3df2
00003deb: PUSH1 0x2a
00003ded: DUP4
00003dee: PUSH2 0x29fb
00003df1: JUMP
00003df2: JUMPDEST
00003df3: SWAP2
00003df4: POP
00003df5: PUSH2 0x3dfd
00003df8: DUP3
00003df9: PUSH2 0x3d96
00003dfc: JUMP
00003dfd: JUMPDEST
00003dfe: PUSH1 0x40
00003e00: DUP3
00003e01: ADD
00003e02: SWAP1
00003e03: POP
00003e04: SWAP2
00003e05: SWAP1
00003e06: POP
00003e07: JUMP
00003e08: JUMPDEST
00003e09: PUSH1 0x00
00003e0b: PUSH1 0x20
00003e0d: DUP3
00003e0e: ADD
00003e0f: SWAP1
00003e10: POP
00003e11: DUP2
00003e12: DUP2
00003e13: SUB
00003e14: PUSH1 0x00
00003e16: DUP4
00003e17: ADD
00003e18: MSTORE
00003e19: PUSH2 0x3e21
00003e1c: DUP2
00003e1d: PUSH2 0x3de5
00003e20: JUMP
00003e21: JUMPDEST
00003e22: SWAP1
00003e23: POP
00003e24: SWAP2
00003e25: SWAP1
00003e26: POP
00003e27: JUMP
00003e28: JUMPDEST
00003e29: PUSH32 0x455243323938313a20696e76616c696420726563656976657200000000000000
00003e4a: PUSH1 0x00
00003e4c: DUP3
00003e4d: ADD
00003e4e: MSTORE
00003e4f: POP
00003e50: JUMP
00003e51: JUMPDEST
00003e52: PUSH1 0x00
00003e54: PUSH2 0x3e5e
00003e57: PUSH1 0x19
00003e59: DUP4
00003e5a: PUSH2 0x29fb
00003e5d: JUMP
00003e5e: JUMPDEST
00003e5f: SWAP2
00003e60: POP
00003e61: PUSH2 0x3e69
00003e64: DUP3
00003e65: PUSH2 0x3e28
00003e68: JUMP
00003e69: JUMPDEST
00003e6a: PUSH1 0x20
00003e6c: DUP3
00003e6d: ADD
00003e6e: SWAP1
00003e6f: POP
00003e70: SWAP2
00003e71: SWAP1
00003e72: POP
00003e73: JUMP
00003e74: JUMPDEST
00003e75: PUSH1 0x00
00003e77: PUSH1 0x20
00003e79: DUP3
00003e7a: ADD
00003e7b: SWAP1
00003e7c: POP
00003e7d: DUP2
00003e7e: DUP2
00003e7f: SUB
00003e80: PUSH1 0x00
00003e82: DUP4
00003e83: ADD
00003e84: MSTORE
00003e85: PUSH2 0x3e8d
00003e88: DUP2
00003e89: PUSH2 0x3e51
00003e8c: JUMP
00003e8d: JUMPDEST
00003e8e: SWAP1
00003e8f: POP
00003e90: SWAP2
00003e91: SWAP1
00003e92: POP
00003e93: JUMP
00003e94: JUMPDEST
00003e95: PUSH32 0x4552433732313a20617070726f766520746f2063616c6c657200000000000000
00003eb6: PUSH1 0x00
00003eb8: DUP3
00003eb9: ADD
00003eba: MSTORE
00003ebb: POP
00003ebc: JUMP
00003ebd: JUMPDEST
00003ebe: PUSH1 0x00
00003ec0: PUSH2 0x3eca
00003ec3: PUSH1 0x19
00003ec5: DUP4
00003ec6: PUSH2 0x29fb
00003ec9: JUMP
00003eca: JUMPDEST
00003ecb: SWAP2
00003ecc: POP
00003ecd: PUSH2 0x3ed5
00003ed0: DUP3
00003ed1: PUSH2 0x3e94
00003ed4: JUMP
00003ed5: JUMPDEST
00003ed6: PUSH1 0x20
00003ed8: DUP3
00003ed9: ADD
00003eda: SWAP1
00003edb: POP
00003edc: SWAP2
00003edd: SWAP1
00003ede: POP
00003edf: JUMP
00003ee0: JUMPDEST
00003ee1: PUSH1 0x00
00003ee3: PUSH1 0x20
00003ee5: DUP3
00003ee6: ADD
00003ee7: SWAP1
00003ee8: POP
00003ee9: DUP2
00003eea: DUP2
00003eeb: SUB
00003eec: PUSH1 0x00
00003eee: DUP4
00003eef: ADD
00003ef0: MSTORE
00003ef1: PUSH2 0x3ef9
00003ef4: DUP2
00003ef5: PUSH2 0x3ebd
00003ef8: JUMP
00003ef9: JUMPDEST
00003efa: SWAP1
00003efb: POP
00003efc: SWAP2
00003efd: SWAP1
00003efe: POP
00003eff: JUMP
00003f00: JUMPDEST
00003f01: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
00003f22: PUSH1 0x00
00003f24: DUP3
00003f25: ADD
00003f26: MSTORE
00003f27: PUSH32 0x63656976657220696d706c656d656e7465720000000000000000000000000000
00003f48: PUSH1 0x20
00003f4a: DUP3
00003f4b: ADD
00003f4c: MSTORE
00003f4d: POP
00003f4e: JUMP
00003f4f: JUMPDEST
00003f50: PUSH1 0x00
00003f52: PUSH2 0x3f5c
00003f55: PUSH1 0x32
00003f57: DUP4
00003f58: PUSH2 0x29fb
00003f5b: JUMP
00003f5c: JUMPDEST
00003f5d: SWAP2
00003f5e: POP
00003f5f: PUSH2 0x3f67
00003f62: DUP3
00003f63: PUSH2 0x3f00
00003f66: JUMP
00003f67: JUMPDEST
00003f68: PUSH1 0x40
00003f6a: DUP3
00003f6b: ADD
00003f6c: SWAP1
00003f6d: POP
00003f6e: SWAP2
00003f6f: SWAP1
00003f70: POP
00003f71: JUMP
00003f72: JUMPDEST
00003f73: PUSH1 0x00
00003f75: PUSH1 0x20
00003f77: DUP3
00003f78: ADD
00003f79: SWAP1
00003f7a: POP
00003f7b: DUP2
00003f7c: DUP2
00003f7d: SUB
00003f7e: PUSH1 0x00
00003f80: DUP4
00003f81: ADD
00003f82: MSTORE
00003f83: PUSH2 0x3f8b
00003f86: DUP2
00003f87: PUSH2 0x3f4f
00003f8a: JUMP
00003f8b: JUMPDEST
00003f8c: SWAP1
00003f8d: POP
00003f8e: SWAP2
00003f8f: SWAP1
00003f90: POP
00003f91: JUMP
00003f92: JUMPDEST
00003f93: PUSH1 0x00
00003f95: PUSH2 0x3f9d
00003f98: DUP3
00003f99: PUSH2 0x2aab
00003f9c: JUMP
00003f9d: JUMPDEST
00003f9e: SWAP2
00003f9f: POP
00003fa0: PUSH2 0x3fa8
00003fa3: DUP4
00003fa4: PUSH2 0x2aab
00003fa7: JUMP
00003fa8: JUMPDEST
00003fa9: SWAP3
00003faa: POP
00003fab: DUP3
00003fac: PUSH2 0x3fb8
00003faf: JUMPI
00003fb0: PUSH2 0x3fb7
00003fb3: PUSH2 0x365e
00003fb6: JUMP
00003fb7: JUMPDEST
00003fb8: JUMPDEST
00003fb9: DUP3
00003fba: DUP3
00003fbb: MOD
00003fbc: SWAP1
00003fbd: POP
00003fbe: SWAP3
00003fbf: SWAP2
00003fc0: POP
00003fc1: POP
00003fc2: JUMP
00003fc3: JUMPDEST
00003fc4: PUSH1 0x00
00003fc6: DUP2
00003fc7: MLOAD
00003fc8: SWAP1
00003fc9: POP
00003fca: SWAP2
00003fcb: SWAP1
00003fcc: POP
00003fcd: JUMP
00003fce: JUMPDEST
00003fcf: PUSH1 0x00
00003fd1: DUP3
00003fd2: DUP3
00003fd3: MSTORE
00003fd4: PUSH1 0x20
00003fd6: DUP3
00003fd7: ADD
00003fd8: SWAP1
00003fd9: POP
00003fda: SWAP3
00003fdb: SWAP2
00003fdc: POP
00003fdd: POP
00003fde: JUMP
00003fdf: JUMPDEST
00003fe0: PUSH1 0x00
00003fe2: PUSH2 0x3fea
00003fe5: DUP3
00003fe6: PUSH2 0x3fc3
00003fe9: JUMP
00003fea: JUMPDEST
00003feb: PUSH2 0x3ff4
00003fee: DUP2
00003fef: DUP6
00003ff0: PUSH2 0x3fce
00003ff3: JUMP
00003ff4: JUMPDEST
00003ff5: SWAP4
00003ff6: POP
00003ff7: PUSH2 0x4004
00003ffa: DUP2
00003ffb: DUP6
00003ffc: PUSH1 0x20
00003ffe: DUP7
00003fff: ADD
00004000: PUSH2 0x2a0c
00004003: JUMP
00004004: JUMPDEST
00004005: PUSH2 0x400d
00004008: DUP2
00004009: PUSH2 0x2a3f
0000400c: JUMP
0000400d: JUMPDEST
0000400e: DUP5
0000400f: ADD
00004010: SWAP2
00004011: POP
00004012: POP
00004013: SWAP3
00004014: SWAP2
00004015: POP
00004016: POP
00004017: JUMP
00004018: JUMPDEST
00004019: PUSH1 0x00
0000401b: PUSH1 0x80
0000401d: DUP3
0000401e: ADD
0000401f: SWAP1
00004020: POP
00004021: PUSH2 0x402d
00004024: PUSH1 0x00
00004026: DUP4
00004027: ADD
00004028: DUP8
00004029: PUSH2 0x2b40
0000402c: JUMP
0000402d: JUMPDEST
0000402e: PUSH2 0x403a
00004031: PUSH1 0x20
00004033: DUP4
00004034: ADD
00004035: DUP7
00004036: PUSH2 0x2b40
00004039: JUMP
0000403a: JUMPDEST
0000403b: PUSH2 0x4047
0000403e: PUSH1 0x40
00004040: DUP4
00004041: ADD
00004042: DUP6
00004043: PUSH2 0x2c69
00004046: JUMP
00004047: JUMPDEST
00004048: DUP2
00004049: DUP2
0000404a: SUB
0000404b: PUSH1 0x60
0000404d: DUP4
0000404e: ADD
0000404f: MSTORE
00004050: PUSH2 0x4059
00004053: DUP2
00004054: DUP5
00004055: PUSH2 0x3fdf
00004058: JUMP
00004059: JUMPDEST
0000405a: SWAP1
0000405b: POP
0000405c: SWAP6
0000405d: SWAP5
0000405e: POP
0000405f: POP
00004060: POP
00004061: POP
00004062: POP
00004063: JUMP
00004064: JUMPDEST
00004065: PUSH1 0x00
00004067: DUP2
00004068: MLOAD
00004069: SWAP1
0000406a: POP
0000406b: PUSH2 0x4073
0000406e: DUP2
0000406f: PUSH2 0x2961
00004072: JUMP
00004073: JUMPDEST
00004074: SWAP3
00004075: SWAP2
00004076: POP
00004077: POP
00004078: JUMP
00004079: JUMPDEST
0000407a: PUSH1 0x00
0000407c: PUSH1 0x20
0000407e: DUP3
0000407f: DUP5
00004080: SUB
00004081: SLT
00004082: ISZERO
00004083: PUSH2 0x408f
00004086: JUMPI
00004087: PUSH2 0x408e
0000408a: PUSH2 0x292b
0000408d: JUMP
0000408e: JUMPDEST
0000408f: JUMPDEST
00004090: PUSH1 0x00
00004092: PUSH2 0x409d
00004095: DUP5
00004096: DUP3
00004097: DUP6
00004098: ADD
00004099: PUSH2 0x4064
0000409c: JUMP
0000409d: JUMPDEST
0000409e: SWAP2
0000409f: POP
000040a0: POP
000040a1: SWAP3
000040a2: SWAP2
000040a3: POP
000040a4: POP
000040a5: JUMP
000040a6: JUMPDEST
000040a7: PUSH32 0x4552433732313a206d696e7420746f20746865207a65726f2061646472657373
000040c8: PUSH1 0x00
000040ca: DUP3
000040cb: ADD
000040cc: MSTORE
000040cd: POP
000040ce: JUMP
000040cf: JUMPDEST
000040d0: PUSH1 0x00
000040d2: PUSH2 0x40dc
000040d5: PUSH1 0x20
000040d7: DUP4
000040d8: PUSH2 0x29fb
000040db: JUMP
000040dc: JUMPDEST
000040dd: SWAP2
000040de: POP
000040df: PUSH2 0x40e7
000040e2: DUP3
000040e3: PUSH2 0x40a6
000040e6: JUMP
000040e7: JUMPDEST
000040e8: PUSH1 0x20
000040ea: DUP3
000040eb: ADD
000040ec: SWAP1
000040ed: POP
000040ee: SWAP2
000040ef: SWAP1
000040f0: POP
000040f1: JUMP
000040f2: JUMPDEST
000040f3: PUSH1 0x00
000040f5: PUSH1 0x20
000040f7: DUP3
000040f8: ADD
000040f9: SWAP1
000040fa: POP
000040fb: DUP2
000040fc: DUP2
000040fd: SUB
000040fe: PUSH1 0x00
00004100: DUP4
00004101: ADD
00004102: MSTORE
00004103: PUSH2 0x410b
00004106: DUP2
00004107: PUSH2 0x40cf
0000410a: JUMP
0000410b: JUMPDEST
0000410c: SWAP1
0000410d: POP
0000410e: SWAP2
0000410f: SWAP1
00004110: POP
00004111: JUMP
00004112: JUMPDEST
00004113: PUSH32 0x4552433732313a20746f6b656e20616c7265616479206d696e74656400000000
00004134: PUSH1 0x00
00004136: DUP3
00004137: ADD
00004138: MSTORE
00004139: POP
0000413a: JUMP
0000413b: JUMPDEST
0000413c: PUSH1 0x00
0000413e: PUSH2 0x4148
00004141: PUSH1 0x1c
00004143: DUP4
00004144: PUSH2 0x29fb
00004147: JUMP
00004148: JUMPDEST
00004149: SWAP2
0000414a: POP
0000414b: PUSH2 0x4153
0000414e: DUP3
0000414f: PUSH2 0x4112
00004152: JUMP
00004153: JUMPDEST
00004154: PUSH1 0x20
00004156: DUP3
00004157: ADD
00004158: SWAP1
00004159: POP
0000415a: SWAP2
0000415b: SWAP1
0000415c: POP
0000415d: JUMP
0000415e: JUMPDEST
0000415f: PUSH1 0x00
00004161: PUSH1 0x20
00004163: DUP3
00004164: ADD
00004165: SWAP1
00004166: POP
00004167: DUP2
00004168: DUP2
00004169: SUB
0000416a: PUSH1 0x00
0000416c: DUP4
0000416d: ADD
0000416e: MSTORE
0000416f: PUSH2 0x4177
00004172: DUP2
00004173: PUSH2 0x413b
00004176: JUMP
00004177: JUMPDEST
00004178: SWAP1
00004179: POP
0000417a: SWAP2
0000417b: SWAP1
0000417c: POP
0000417d: JUMP
0000417e: INVALID
0000417f: LOG2
00004180: PUSH5 0x6970667358
00004186: UNKNOWN(0x22)
00004187: SLT
00004188: KECCAK256
00004189: ADDRESS
0000418a: UNKNOWN(0xCF)
0000418b: LOG2
0000418c: SWAP1
0000418d: UNKNOWN(0xD9)
0000418e: UNKNOWN(0xF7)
0000418f: UNKNOWN(0xA7)
00004190: PUSH23 0xb05a1200c6f17ede6d543aea7c3f8a59634542c5c317c9
000041a8: SIGNEXTEND
000041a9: PUSH5 0x736f6c6343
000041af: STOP
000041b0: ADDMOD
000041b1: UNKNOWN(0x0E)
000041b2: STOP
000041b3: CALLER

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0xb04960cb310266c2c61139bf436e9cb58af9be8c0804dd1b91cff760870f8b7f call_targets: 0xe7bd0fc7fc27a8b813647c8defe114f1463228b7 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xb04960cb310266c2c61139bf436e9cb58af9be8c0804dd1b91cff760870f8b7f", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xe7bd0fc7fc27a8b813647c8defe114f1463228b7" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xd96a094a", "selector": "0xd96a094a", "calldata_variants": [ "0xd96a094a", "0xd96a094a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe8a3d485", "selector": "0xe8a3d485", "calldata_variants": [ "0xe8a3d485", "0xe8a3d4850000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb88d4fde", "selector": "0xb88d4fde", "calldata_variants": [ "0xb88d4fde", "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc87b56dd", "selector": "0xc87b56dd", "calldata_variants": [ "0xc87b56dd", "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcad96cca", "selector": "0xcad96cca", "calldata_variants": [ "0xcad96cca", "0xcad96cca0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x95d89b41", "selector": "0x95d89b41", "calldata_variants": [ "0x95d89b41", "0x95d89b410000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2383, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 9201, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [], "untrusted_call_count": 2 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0xb04960cb310266c2c61139bf436e9cb58af9be8c0804dd1b91cff760870f8b7f call_targets: 0xe7bd0fc7fc27a8b813647c8defe114f1463228b7 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xb04960cb310266c2c61139bf436e9cb58af9be8c0804dd1b91cff760870f8b7f", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xe7bd0fc7fc27a8b813647c8defe114f1463228b7" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xd96a094a", "selector": "0xd96a094a", "calldata_variants": [ "0xd96a094a", "0xd96a094a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe8a3d485", "selector": "0xe8a3d485", "calldata_variants": [ "0xe8a3d485", "0xe8a3d4850000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb88d4fde", "selector": "0xb88d4fde", "calldata_variants": [ "0xb88d4fde", "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc87b56dd", "selector": "0xc87b56dd", "calldata_variants": [ "0xc87b56dd", "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xcad96cca", "selector": "0xcad96cca", "calldata_variants": [ "0xcad96cca", "0xcad96cca0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x95d89b41", "selector": "0x95d89b41", "calldata_variants": [ "0x95d89b41", "0x95d89b410000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 2383, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 9201, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [] }

Severity