Analysis Run

019bb377-6a17-732b-a015-14994307c7fa

failed

Chain ID

1

Address

0x77fba179c79de5b7653f68b5039af940ada60ce0

Block Number

—

Created

Mon, Jan 12, 2026 6:28 PM

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

0

Validated

0

Source

Verified

Review Backing

Not yet

Best current signal

Authorization based on tx.origin

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
39930	artifact.fetch	complete	1 / 3	3 months ago
39931	proxy.resolve	complete	1 / 3	3 months ago
39932	tool.cast_disasm	complete	1 / 3	3 months ago
39933	analysis.bundle	complete	1 / 3	3 months ago
39934	capability.graph	complete	1 / 3	3 months ago
39935	detector.run	complete	1 / 3	3 months ago
39936	validation.fork	complete	1 / 3	3 months ago
39991	report.consolidate	complete	1 / 6	3 months ago
39992	tool.slither	failed	2 / 2	3 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-osep94j4) 'forge config --json' running 'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-osep94j4) 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-osep94j4/out/build-info is not a directory.

Attempts

2 / 2

Findings

0

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-osep94j4)
'forge config --json' running
'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-osep94j4)
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-osep94j4/out/build-info is not a directory.

Codex

report.consolidate

Job Status

complete

Attempts

1 / 6

Findings

0

No findings?

yes

Summary

Reviewed the first-party Forth.sol token and did not identify exploitable issues in the focus areas (reentrancy, access control, upgradeability, signature validation, oracle manipulation, accounting/invariant breaks, external call patterns, unchecked returns, delegatecall).

View stdout

{"no_findings":true,"summary":"Reviewed the first-party Forth.sol token and did not identify exploitable issues in the focus areas (reentrancy, access control, upgradeability, signature validation, oracle manipulation, accounting/invariant breaks, external call patterns, unchecked returns, delegatecall).","findings":[]}

View stderr

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

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

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

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

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

================================================================================
FILE: Forth.sol
================================================================================
// SPDX-License-Identifier: BSD-3-Clause

pragma solidity 0.6.11;
pragma experimental ABIEncoderV2;

import "./SafeMath.sol";

contract Forth {
    /// @notice EIP-20 token name for this token
    string public constant name = "Ampleforth Governance";

    /// @notice EIP-20 token symbol for this token
    string public constant symbol = "FORTH";


thinking
**Analyzing Forth.sol for vulnerabilities**

I'm carefully reviewing Forth.sol to identify potential issues like nonce handling before signature checks, signature malleability risks, minting controls, and access restrictions. Most aspects, including revert behavior on failed requires and safe96 usage, look solid. The main note is the missing EIP-2 malleability enforcement, which could allow front-running but is low risk. Overall, I find no significant vulnerabilities and will output no_findings true with a brief summary.
codex
{"no_findings":true,"summary":"Reviewed the first-party Forth.sol token and did not identify exploitable issues in the focus areas (reentrancy, access control, upgradeability, signature validation, oracle manipulation, accounting/invariant breaks, external call patterns, unchecked returns, delegatecall).","findings":[]}
tokens used
12,594

Metadata

{
    "codex": {
        "ran_at": "2026-01-12T19:27:00.957669+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "source",
        "file_count": 2,
        "import_count": 1,
        "first_party_contracts_count": 2
    },
    "summary": "Reviewed the first-party Forth.sol token and did not identify exploitable issues in the focus areas (reentrancy, access control, upgradeability, signature validation, oracle manipulation, accounting/invariant breaks, external call patterns, unchecked returns, delegatecall).",
    "raw_final": {
        "summary": "Reviewed the first-party Forth.sol token and did not identify exploitable issues in the focus areas (reentrancy, access control, upgradeability, signature validation, oracle manipulation, accounting/invariant breaks, external call patterns, unchecked returns, delegatecall).",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

2

EXT*/BALANCE

0

Total opcodes

5301

Flags

No heuristic flags raised.

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLVALUE
00000006: DUP1
00000007: ISZERO
00000008: PUSH2 0x0010
0000000b: JUMPI
0000000c: PUSH1 0x00
0000000e: DUP1
0000000f: REVERT
00000010: JUMPDEST
00000011: POP
00000012: PUSH1 0x04
00000014: CALLDATASIZE
00000015: LT
00000016: PUSH2 0x01cf
00000019: JUMPI
0000001a: PUSH1 0x00
0000001c: CALLDATALOAD
0000001d: PUSH1 0xe0
0000001f: SHR
00000020: DUP1
00000021: PUSH4 0x6fcfff45
00000026: GT
00000027: PUSH2 0x0104
0000002a: JUMPI
0000002b: DUP1
0000002c: PUSH4 0xa9059cbb
00000031: GT
00000032: PUSH2 0x00a2
00000035: JUMPI
00000036: DUP1
00000037: PUSH4 0xdd62ed3e
0000003c: GT
0000003d: PUSH2 0x0071
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0xdd62ed3e
00000047: EQ
00000048: PUSH2 0x03a7
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0xe7a324dc
00000052: EQ
00000053: PUSH2 0x03ba
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0xf1127ed8
0000005d: EQ
0000005e: PUSH2 0x03c2
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0xfca3b5aa
00000068: EQ
00000069: PUSH2 0x03e3
0000006c: JUMPI
0000006d: PUSH2 0x01cf
00000070: JUMP
00000071: JUMPDEST
00000072: DUP1
00000073: PUSH4 0xa9059cbb
00000078: EQ
00000079: PUSH2 0x035b
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0xb4b5ea57
00000083: EQ
00000084: PUSH2 0x036e
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0xc3cda520
0000008e: EQ
0000008f: PUSH2 0x0381
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0xd505accf
00000099: EQ
0000009a: PUSH2 0x0394
0000009d: JUMPI
0000009e: PUSH2 0x01cf
000000a1: JUMP
000000a2: JUMPDEST
000000a3: DUP1
000000a4: PUSH4 0x782d6fe1
000000a9: GT
000000aa: PUSH2 0x00de
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x782d6fe1
000000b4: EQ
000000b5: PUSH2 0x030d
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x79cc6790
000000bf: EQ
000000c0: PUSH2 0x032d
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x7ecebe00
000000ca: EQ
000000cb: PUSH2 0x0340
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x95d89b41
000000d5: EQ
000000d6: PUSH2 0x0353
000000d9: JUMPI
000000da: PUSH2 0x01cf
000000dd: JUMP
000000de: JUMPDEST
000000df: DUP1
000000e0: PUSH4 0x6fcfff45
000000e5: EQ
000000e6: PUSH2 0x02df
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0x70a08231
000000f0: EQ
000000f1: PUSH2 0x02f2
000000f4: JUMPI
000000f5: DUP1
000000f6: PUSH4 0x76c71ca1
000000fb: EQ
000000fc: PUSH2 0x0305
000000ff: JUMPI
00000100: PUSH2 0x01cf
00000103: JUMP
00000104: JUMPDEST
00000105: DUP1
00000106: PUSH4 0x30b36cef
0000010b: GT
0000010c: PUSH2 0x0171
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0x42966c68
00000116: GT
00000117: PUSH2 0x014b
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0x42966c68
00000121: EQ
00000122: PUSH2 0x0291
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0x587cde1e
0000012c: EQ
0000012d: PUSH2 0x02a4
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0x5c11d62f
00000137: EQ
00000138: PUSH2 0x02b7
0000013b: JUMPI
0000013c: DUP1
0000013d: PUSH4 0x5c19a95c
00000142: EQ
00000143: PUSH2 0x02cc
00000146: JUMPI
00000147: PUSH2 0x01cf
0000014a: JUMP
0000014b: JUMPDEST
0000014c: DUP1
0000014d: PUSH4 0x30b36cef
00000152: EQ
00000153: PUSH2 0x025f
00000156: JUMPI
00000157: DUP1
00000158: PUSH4 0x313ce567
0000015d: EQ
0000015e: PUSH2 0x0267
00000161: JUMPI
00000162: DUP1
00000163: PUSH4 0x40c10f19
00000168: EQ
00000169: PUSH2 0x027c
0000016c: JUMPI
0000016d: PUSH2 0x01cf
00000170: JUMP
00000171: JUMPDEST
00000172: DUP1
00000173: PUSH4 0x18160ddd
00000178: GT
00000179: PUSH2 0x01ad
0000017c: JUMPI
0000017d: DUP1
0000017e: PUSH4 0x18160ddd
00000183: EQ
00000184: PUSH2 0x0227
00000187: JUMPI
00000188: DUP1
00000189: PUSH4 0x20606b70
0000018e: EQ
0000018f: PUSH2 0x023c
00000192: JUMPI
00000193: DUP1
00000194: PUSH4 0x23b872dd
00000199: EQ
0000019a: PUSH2 0x0244
0000019d: JUMPI
0000019e: DUP1
0000019f: PUSH4 0x30adf81f
000001a4: EQ
000001a5: PUSH2 0x0257
000001a8: JUMPI
000001a9: PUSH2 0x01cf
000001ac: JUMP
000001ad: JUMPDEST
000001ae: DUP1
000001af: PUSH4 0x06fdde03
000001b4: EQ
000001b5: PUSH2 0x01d4
000001b8: JUMPI
000001b9: DUP1
000001ba: PUSH4 0x07546172
000001bf: EQ
000001c0: PUSH2 0x01f2
000001c3: JUMPI
000001c4: DUP1
000001c5: PUSH4 0x095ea7b3
000001ca: EQ
000001cb: PUSH2 0x0207
000001ce: JUMPI
000001cf: JUMPDEST
000001d0: PUSH1 0x00
000001d2: DUP1
000001d3: REVERT
000001d4: JUMPDEST
000001d5: PUSH2 0x01dc
000001d8: PUSH2 0x03f6
000001db: JUMP
000001dc: JUMPDEST
000001dd: PUSH1 0x40
000001df: MLOAD
000001e0: PUSH2 0x01e9
000001e3: SWAP2
000001e4: SWAP1
000001e5: PUSH2 0x28db
000001e8: JUMP
000001e9: JUMPDEST
000001ea: PUSH1 0x40
000001ec: MLOAD
000001ed: DUP1
000001ee: SWAP2
000001ef: SUB
000001f0: SWAP1
000001f1: RETURN
000001f2: JUMPDEST
000001f3: PUSH2 0x01fa
000001f6: PUSH2 0x042f
000001f9: JUMP
000001fa: JUMPDEST
000001fb: PUSH1 0x40
000001fd: MLOAD
000001fe: PUSH2 0x01e9
00000201: SWAP2
00000202: SWAP1
00000203: PUSH2 0x27be
00000206: JUMP
00000207: JUMPDEST
00000208: PUSH2 0x021a
0000020b: PUSH2 0x0215
0000020e: CALLDATASIZE
0000020f: PUSH1 0x04
00000211: PUSH2 0x2575
00000214: JUMP
00000215: JUMPDEST
00000216: PUSH2 0x044b
00000219: JUMP
0000021a: JUMPDEST
0000021b: PUSH1 0x40
0000021d: MLOAD
0000021e: PUSH2 0x01e9
00000221: SWAP2
00000222: SWAP1
00000223: PUSH2 0x2806
00000226: JUMP
00000227: JUMPDEST
00000228: PUSH2 0x022f
0000022b: PUSH2 0x055c
0000022e: JUMP
0000022f: JUMPDEST
00000230: PUSH1 0x40
00000232: MLOAD
00000233: PUSH2 0x01e9
00000236: SWAP2
00000237: SWAP1
00000238: PUSH2 0x2811
0000023b: JUMP
0000023c: JUMPDEST
0000023d: PUSH2 0x022f
00000240: PUSH2 0x0562
00000243: JUMP
00000244: JUMPDEST
00000245: PUSH2 0x021a
00000248: PUSH2 0x0252
0000024b: CALLDATASIZE
0000024c: PUSH1 0x04
0000024e: PUSH2 0x24c9
00000251: JUMP
00000252: JUMPDEST
00000253: PUSH2 0x0579
00000256: JUMP
00000257: JUMPDEST
00000258: PUSH2 0x022f
0000025b: PUSH2 0x071b
0000025e: JUMP
0000025f: JUMPDEST
00000260: PUSH2 0x022f
00000263: PUSH2 0x0727
00000266: JUMP
00000267: JUMPDEST
00000268: PUSH2 0x026f
0000026b: PUSH2 0x072d
0000026e: JUMP
0000026f: JUMPDEST
00000270: PUSH1 0x40
00000272: MLOAD
00000273: PUSH2 0x01e9
00000276: SWAP2
00000277: SWAP1
00000278: PUSH2 0x2f23
0000027b: JUMP
0000027c: JUMPDEST
0000027d: PUSH2 0x028f
00000280: PUSH2 0x028a
00000283: CALLDATASIZE
00000284: PUSH1 0x04
00000286: PUSH2 0x2575
00000289: JUMP
0000028a: JUMPDEST
0000028b: PUSH2 0x0732
0000028e: JUMP
0000028f: JUMPDEST
00000290: STOP
00000291: JUMPDEST
00000292: PUSH2 0x028f
00000295: PUSH2 0x029f
00000298: CALLDATASIZE
00000299: PUSH1 0x04
0000029b: PUSH2 0x2637
0000029e: JUMP
0000029f: JUMPDEST
000002a0: PUSH2 0x0a33
000002a3: JUMP
000002a4: JUMPDEST
000002a5: PUSH2 0x01fa
000002a8: PUSH2 0x02b2
000002ab: CALLDATASIZE
000002ac: PUSH1 0x04
000002ae: PUSH2 0x247a
000002b1: JUMP
000002b2: JUMPDEST
000002b3: PUSH2 0x0a67
000002b6: JUMP
000002b7: JUMPDEST
000002b8: PUSH2 0x02bf
000002bb: PUSH2 0x0a8f
000002be: JUMP
000002bf: JUMPDEST
000002c0: PUSH1 0x40
000002c2: MLOAD
000002c3: PUSH2 0x01e9
000002c6: SWAP2
000002c7: SWAP1
000002c8: PUSH2 0x2eee
000002cb: JUMP
000002cc: JUMPDEST
000002cd: PUSH2 0x028f
000002d0: PUSH2 0x02da
000002d3: CALLDATASIZE
000002d4: PUSH1 0x04
000002d6: PUSH2 0x247a
000002d9: JUMP
000002da: JUMPDEST
000002db: PUSH2 0x0a97
000002de: JUMP
000002df: JUMPDEST
000002e0: PUSH2 0x02bf
000002e3: PUSH2 0x02ed
000002e6: CALLDATASIZE
000002e7: PUSH1 0x04
000002e9: PUSH2 0x247a
000002ec: JUMP
000002ed: JUMPDEST
000002ee: PUSH2 0x0aa4
000002f1: JUMP
000002f2: JUMPDEST
000002f3: PUSH2 0x022f
000002f6: PUSH2 0x0300
000002f9: CALLDATASIZE
000002fa: PUSH1 0x04
000002fc: PUSH2 0x247a
000002ff: JUMP
00000300: JUMPDEST
00000301: PUSH2 0x0abc
00000304: JUMP
00000305: JUMPDEST
00000306: PUSH2 0x026f
00000309: PUSH2 0x0af2
0000030c: JUMP
0000030d: JUMPDEST
0000030e: PUSH2 0x0320
00000311: PUSH2 0x031b
00000314: CALLDATASIZE
00000315: PUSH1 0x04
00000317: PUSH2 0x2575
0000031a: JUMP
0000031b: JUMPDEST
0000031c: PUSH2 0x0af7
0000031f: JUMP
00000320: JUMPDEST
00000321: PUSH1 0x40
00000323: MLOAD
00000324: PUSH2 0x01e9
00000327: SWAP2
00000328: SWAP1
00000329: PUSH2 0x2f31
0000032c: JUMP
0000032d: JUMPDEST
0000032e: PUSH2 0x028f
00000331: PUSH2 0x033b
00000334: CALLDATASIZE
00000335: PUSH1 0x04
00000337: PUSH2 0x2575
0000033a: JUMP
0000033b: JUMPDEST
0000033c: PUSH2 0x0dd9
0000033f: JUMP
00000340: JUMPDEST
00000341: PUSH2 0x022f
00000344: PUSH2 0x034e
00000347: CALLDATASIZE
00000348: PUSH1 0x04
0000034a: PUSH2 0x247a
0000034d: JUMP
0000034e: JUMPDEST
0000034f: PUSH2 0x0f11
00000352: JUMP
00000353: JUMPDEST
00000354: PUSH2 0x01dc
00000357: PUSH2 0x0f23
0000035a: JUMP
0000035b: JUMPDEST
0000035c: PUSH2 0x021a
0000035f: PUSH2 0x0369
00000362: CALLDATASIZE
00000363: PUSH1 0x04
00000365: PUSH2 0x2575
00000368: JUMP
00000369: JUMPDEST
0000036a: PUSH2 0x0f5c
0000036d: JUMP
0000036e: JUMPDEST
0000036f: PUSH2 0x0320
00000372: PUSH2 0x037c
00000375: CALLDATASIZE
00000376: PUSH1 0x04
00000378: PUSH2 0x247a
0000037b: JUMP
0000037c: JUMPDEST
0000037d: PUSH2 0x0f98
00000380: JUMP
00000381: JUMPDEST
00000382: PUSH2 0x028f
00000385: PUSH2 0x038f
00000388: CALLDATASIZE
00000389: PUSH1 0x04
0000038b: PUSH2 0x259f
0000038e: JUMP
0000038f: JUMPDEST
00000390: PUSH2 0x1047
00000393: JUMP
00000394: JUMPDEST
00000395: PUSH2 0x028f
00000398: PUSH2 0x03a2
0000039b: CALLDATASIZE
0000039c: PUSH1 0x04
0000039e: PUSH2 0x2509
000003a1: JUMP
000003a2: JUMPDEST
000003a3: PUSH2 0x12cc
000003a6: JUMP
000003a7: JUMPDEST
000003a8: PUSH2 0x022f
000003ab: PUSH2 0x03b5
000003ae: CALLDATASIZE
000003af: PUSH1 0x04
000003b1: PUSH2 0x2495
000003b4: JUMP
000003b5: JUMPDEST
000003b6: PUSH2 0x16ed
000003b9: JUMP
000003ba: JUMPDEST
000003bb: PUSH2 0x022f
000003be: PUSH2 0x1733
000003c1: JUMP
000003c2: JUMPDEST
000003c3: PUSH2 0x03d5
000003c6: PUSH2 0x03d0
000003c9: CALLDATASIZE
000003ca: PUSH1 0x04
000003cc: PUSH2 0x25f8
000003cf: JUMP
000003d0: JUMPDEST
000003d1: PUSH2 0x173f
000003d4: JUMP
000003d5: JUMPDEST
000003d6: PUSH1 0x40
000003d8: MLOAD
000003d9: PUSH2 0x01e9
000003dc: SWAP3
000003dd: SWAP2
000003de: SWAP1
000003df: PUSH2 0x2eff
000003e2: JUMP
000003e3: JUMPDEST
000003e4: PUSH2 0x028f
000003e7: PUSH2 0x03f1
000003ea: CALLDATASIZE
000003eb: PUSH1 0x04
000003ed: PUSH2 0x247a
000003f0: JUMP
000003f1: JUMPDEST
000003f2: PUSH2 0x177a
000003f5: JUMP
000003f6: JUMPDEST
000003f7: PUSH1 0x40
000003f9: MLOAD
000003fa: DUP1
000003fb: PUSH1 0x40
000003fd: ADD
000003fe: PUSH1 0x40
00000400: MSTORE
00000401: DUP1
00000402: PUSH1 0x15
00000404: DUP2
00000405: MSTORE
00000406: PUSH1 0x20
00000408: ADD
00000409: PUSH32 0x416d706c65666f72746820476f7665726e616e63650000000000000000000000
0000042a: DUP2
0000042b: MSTORE
0000042c: POP
0000042d: DUP2
0000042e: JUMP
0000042f: JUMPDEST
00000430: PUSH1 0x01
00000432: SLOAD
00000433: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000448: AND
00000449: DUP2
0000044a: JUMP
0000044b: JUMPDEST
0000044c: PUSH1 0x00
0000044e: DUP1
0000044f: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000470: DUP4
00000471: EQ
00000472: ISZERO
00000473: PUSH2 0x0489
00000476: JUMPI
00000477: POP
00000478: PUSH12 0xffffffffffffffffffffffff
00000485: PUSH2 0x04ae
00000488: JUMP
00000489: JUMPDEST
0000048a: PUSH2 0x04ab
0000048d: DUP4
0000048e: PUSH1 0x40
00000490: MLOAD
00000491: DUP1
00000492: PUSH1 0x60
00000494: ADD
00000495: PUSH1 0x40
00000497: MSTORE
00000498: DUP1
00000499: PUSH1 0x26
0000049b: DUP2
0000049c: MSTORE
0000049d: PUSH1 0x20
0000049f: ADD
000004a0: PUSH2 0x303f
000004a3: PUSH1 0x26
000004a5: SWAP2
000004a6: CODECOPY
000004a7: PUSH2 0x1866
000004aa: JUMP
000004ab: JUMPDEST
000004ac: SWAP1
000004ad: POP
000004ae: JUMPDEST
000004af: CALLER
000004b0: PUSH1 0x00
000004b2: DUP2
000004b3: DUP2
000004b4: MSTORE
000004b5: PUSH1 0x03
000004b7: PUSH1 0x20
000004b9: SWAP1
000004ba: DUP2
000004bb: MSTORE
000004bc: PUSH1 0x40
000004be: DUP1
000004bf: DUP4
000004c0: KECCAK256
000004c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004d6: DUP10
000004d7: AND
000004d8: DUP1
000004d9: DUP6
000004da: MSTORE
000004db: SWAP3
000004dc: MSTORE
000004dd: SWAP2
000004de: DUP3
000004df: SWAP1
000004e0: KECCAK256
000004e1: DUP1
000004e2: SLOAD
000004e3: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000
00000504: AND
00000505: PUSH12 0xffffffffffffffffffffffff
00000512: DUP7
00000513: AND
00000514: OR
00000515: SWAP1
00000516: SSTORE
00000517: SWAP1
00000518: MLOAD
00000519: SWAP1
0000051a: SWAP2
0000051b: SWAP1
0000051c: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
0000053d: SWAP1
0000053e: PUSH2 0x0548
00000541: SWAP1
00000542: DUP6
00000543: SWAP1
00000544: PUSH2 0x2f31
00000547: JUMP
00000548: JUMPDEST
00000549: PUSH1 0x40
0000054b: MLOAD
0000054c: DUP1
0000054d: SWAP2
0000054e: SUB
0000054f: SWAP1
00000550: LOG3
00000551: PUSH1 0x01
00000553: SWAP2
00000554: POP
00000555: POP
00000556: JUMPDEST
00000557: SWAP3
00000558: SWAP2
00000559: POP
0000055a: POP
0000055b: JUMP
0000055c: JUMPDEST
0000055d: PUSH1 0x00
0000055f: SLOAD
00000560: DUP2
00000561: JUMP
00000562: JUMPDEST
00000563: PUSH1 0x40
00000565: MLOAD
00000566: PUSH2 0x056e
00000569: SWAP1
0000056a: PUSH2 0x26fa
0000056d: JUMP
0000056e: JUMPDEST
0000056f: PUSH1 0x40
00000571: MLOAD
00000572: DUP1
00000573: SWAP2
00000574: SUB
00000575: SWAP1
00000576: KECCAK256
00000577: DUP2
00000578: JUMP
00000579: JUMPDEST
0000057a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000058f: DUP4
00000590: AND
00000591: PUSH1 0x00
00000593: SWAP1
00000594: DUP2
00000595: MSTORE
00000596: PUSH1 0x03
00000598: PUSH1 0x20
0000059a: SWAP1
0000059b: DUP2
0000059c: MSTORE
0000059d: PUSH1 0x40
0000059f: DUP1
000005a0: DUP4
000005a1: KECCAK256
000005a2: CALLER
000005a3: DUP1
000005a4: DUP6
000005a5: MSTORE
000005a6: SWAP1
000005a7: DUP4
000005a8: MSTORE
000005a9: DUP2
000005aa: DUP5
000005ab: KECCAK256
000005ac: SLOAD
000005ad: DUP3
000005ae: MLOAD
000005af: PUSH1 0x60
000005b1: DUP2
000005b2: ADD
000005b3: SWAP1
000005b4: SWAP4
000005b5: MSTORE
000005b6: PUSH1 0x26
000005b8: DUP1
000005b9: DUP5
000005ba: MSTORE
000005bb: SWAP2
000005bc: SWAP4
000005bd: PUSH12 0xffffffffffffffffffffffff
000005ca: SWAP1
000005cb: SWAP2
000005cc: AND
000005cd: SWAP3
000005ce: DUP6
000005cf: SWAP3
000005d0: PUSH2 0x05e3
000005d3: SWAP3
000005d4: DUP9
000005d5: SWAP3
000005d6: SWAP2
000005d7: SWAP1
000005d8: PUSH2 0x303f
000005db: SWAP1
000005dc: DUP4
000005dd: ADD
000005de: CODECOPY
000005df: PUSH2 0x1866
000005e2: JUMP
000005e3: JUMPDEST
000005e4: SWAP1
000005e5: POP
000005e6: DUP7
000005e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005fc: AND
000005fd: DUP4
000005fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000613: AND
00000614: EQ
00000615: ISZERO
00000616: DUP1
00000617: ISZERO
00000618: PUSH2 0x062f
0000061b: JUMPI
0000061c: POP
0000061d: PUSH12 0xffffffffffffffffffffffff
0000062a: DUP3
0000062b: DUP2
0000062c: AND
0000062d: EQ
0000062e: ISZERO
0000062f: JUMPDEST
00000630: ISZERO
00000631: PUSH2 0x0703
00000634: JUMPI
00000635: PUSH1 0x00
00000637: PUSH2 0x0659
0000063a: DUP4
0000063b: DUP4
0000063c: PUSH1 0x40
0000063e: MLOAD
0000063f: DUP1
00000640: PUSH1 0x60
00000642: ADD
00000643: PUSH1 0x40
00000645: MSTORE
00000646: DUP1
00000647: PUSH1 0x3e
00000649: DUP2
0000064a: MSTORE
0000064b: PUSH1 0x20
0000064d: ADD
0000064e: PUSH2 0x3001
00000651: PUSH1 0x3e
00000653: SWAP2
00000654: CODECOPY
00000655: PUSH2 0x18b8
00000658: JUMP
00000659: JUMPDEST
0000065a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000066f: DUP10
00000670: DUP2
00000671: AND
00000672: PUSH1 0x00
00000674: DUP2
00000675: DUP2
00000676: MSTORE
00000677: PUSH1 0x03
00000679: PUSH1 0x20
0000067b: SWAP1
0000067c: DUP2
0000067d: MSTORE
0000067e: PUSH1 0x40
00000680: DUP1
00000681: DUP4
00000682: KECCAK256
00000683: SWAP5
00000684: DUP11
00000685: AND
00000686: DUP1
00000687: DUP5
00000688: MSTORE
00000689: SWAP5
0000068a: SWAP1
0000068b: SWAP2
0000068c: MSTORE
0000068d: SWAP1
0000068e: DUP2
0000068f: SWAP1
00000690: KECCAK256
00000691: DUP1
00000692: SLOAD
00000693: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000
000006b4: AND
000006b5: PUSH12 0xffffffffffffffffffffffff
000006c2: DUP7
000006c3: AND
000006c4: OR
000006c5: SWAP1
000006c6: SSTORE
000006c7: MLOAD
000006c8: SWAP3
000006c9: SWAP4
000006ca: POP
000006cb: SWAP1
000006cc: SWAP2
000006cd: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000006ee: SWAP1
000006ef: PUSH2 0x06f9
000006f2: SWAP1
000006f3: DUP6
000006f4: SWAP1
000006f5: PUSH2 0x2f31
000006f8: JUMP
000006f9: JUMPDEST
000006fa: PUSH1 0x40
000006fc: MLOAD
000006fd: DUP1
000006fe: SWAP2
000006ff: SUB
00000700: SWAP1
00000701: LOG3
00000702: POP
00000703: JUMPDEST
00000704: PUSH2 0x070e
00000707: DUP8
00000708: DUP8
00000709: DUP4
0000070a: PUSH2 0x191b
0000070d: JUMP
0000070e: JUMPDEST
0000070f: POP
00000710: PUSH1 0x01
00000712: SWAP7
00000713: SWAP6
00000714: POP
00000715: POP
00000716: POP
00000717: POP
00000718: POP
00000719: POP
0000071a: JUMP
0000071b: JUMPDEST
0000071c: PUSH1 0x40
0000071e: MLOAD
0000071f: PUSH2 0x056e
00000722: SWAP1
00000723: PUSH2 0x2685
00000726: JUMP
00000727: JUMPDEST
00000728: PUSH1 0x02
0000072a: SLOAD
0000072b: DUP2
0000072c: JUMP
0000072d: JUMPDEST
0000072e: PUSH1 0x12
00000730: DUP2
00000731: JUMP
00000732: JUMPDEST
00000733: PUSH1 0x01
00000735: SLOAD
00000736: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000074b: AND
0000074c: CALLER
0000074d: EQ
0000074e: PUSH2 0x078c
00000751: JUMPI
00000752: PUSH1 0x40
00000754: MLOAD
00000755: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000776: DUP2
00000777: MSTORE
00000778: PUSH1 0x04
0000077a: ADD
0000077b: PUSH2 0x0783
0000077e: SWAP1
0000077f: PUSH2 0x2b2e
00000782: JUMP
00000783: JUMPDEST
00000784: PUSH1 0x40
00000786: MLOAD
00000787: DUP1
00000788: SWAP2
00000789: SUB
0000078a: SWAP1
0000078b: REVERT
0000078c: JUMPDEST
0000078d: PUSH1 0x02
0000078f: SLOAD
00000790: TIMESTAMP
00000791: LT
00000792: ISZERO
00000793: PUSH2 0x07c8
00000796: JUMPI
00000797: PUSH1 0x40
00000799: MLOAD
0000079a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000007bb: DUP2
000007bc: MSTORE
000007bd: PUSH1 0x04
000007bf: ADD
000007c0: PUSH2 0x0783
000007c3: SWAP1
000007c4: PUSH2 0x2d43
000007c7: JUMP
000007c8: JUMPDEST
000007c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007de: DUP3
000007df: AND
000007e0: PUSH2 0x0815
000007e3: JUMPI
000007e4: PUSH1 0x40
000007e6: MLOAD
000007e7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000808: DUP2
00000809: MSTORE
0000080a: PUSH1 0x04
0000080c: ADD
0000080d: PUSH2 0x0783
00000810: SWAP1
00000811: PUSH2 0x2da0
00000814: JUMP
00000815: JUMPDEST
00000816: PUSH2 0x0823
00000819: TIMESTAMP
0000081a: PUSH4 0x01e13380
0000081f: PUSH2 0x1b87
00000822: JUMP
00000823: JUMPDEST
00000824: PUSH1 0x02
00000826: DUP2
00000827: SWAP1
00000828: SSTORE
00000829: POP
0000082a: PUSH1 0x00
0000082c: PUSH2 0x084d
0000082f: DUP3
00000830: PUSH1 0x40
00000832: MLOAD
00000833: DUP1
00000834: PUSH1 0x60
00000836: ADD
00000837: PUSH1 0x40
00000839: MSTORE
0000083a: DUP1
0000083b: PUSH1 0x23
0000083d: DUP2
0000083e: MSTORE
0000083f: PUSH1 0x20
00000841: ADD
00000842: PUSH2 0x31eb
00000845: PUSH1 0x23
00000847: SWAP2
00000848: CODECOPY
00000849: PUSH2 0x1866
0000084c: JUMP
0000084d: JUMPDEST
0000084e: SWAP1
0000084f: POP
00000850: PUSH2 0x0869
00000853: PUSH2 0x0862
00000856: PUSH1 0x00
00000858: SLOAD
00000859: PUSH1 0x02
0000085b: PUSH1 0xff
0000085d: AND
0000085e: PUSH2 0x1bc6
00000861: JUMP
00000862: JUMPDEST
00000863: PUSH1 0x64
00000865: PUSH2 0x1c1a
00000868: JUMP
00000869: JUMPDEST
0000086a: DUP2
0000086b: PUSH12 0xffffffffffffffffffffffff
00000878: AND
00000879: GT
0000087a: ISZERO
0000087b: PUSH2 0x08b0
0000087e: JUMPI
0000087f: PUSH1 0x40
00000881: MLOAD
00000882: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000008a3: DUP2
000008a4: MSTORE
000008a5: PUSH1 0x04
000008a7: ADD
000008a8: PUSH2 0x0783
000008ab: SWAP1
000008ac: PUSH2 0x2b8b
000008af: JUMP
000008b0: JUMPDEST
000008b1: PUSH1 0x00
000008b3: PUSH2 0x08d6
000008b6: PUSH1 0x00
000008b8: SLOAD
000008b9: PUSH1 0x40
000008bb: MLOAD
000008bc: DUP1
000008bd: PUSH1 0x60
000008bf: ADD
000008c0: PUSH1 0x40
000008c2: MSTORE
000008c3: DUP1
000008c4: PUSH1 0x2b
000008c6: DUP2
000008c7: MSTORE
000008c8: PUSH1 0x20
000008ca: ADD
000008cb: PUSH2 0x3265
000008ce: PUSH1 0x2b
000008d0: SWAP2
000008d1: CODECOPY
000008d2: PUSH2 0x1866
000008d5: JUMP
000008d6: JUMPDEST
000008d7: SWAP1
000008d8: POP
000008d9: PUSH2 0x08fb
000008dc: DUP2
000008dd: DUP4
000008de: PUSH1 0x40
000008e0: MLOAD
000008e1: DUP1
000008e2: PUSH1 0x60
000008e4: ADD
000008e5: PUSH1 0x40
000008e7: MSTORE
000008e8: DUP1
000008e9: PUSH1 0x2c
000008eb: DUP2
000008ec: MSTORE
000008ed: PUSH1 0x20
000008ef: ADD
000008f0: PUSH2 0x2f8c
000008f3: PUSH1 0x2c
000008f5: SWAP2
000008f6: CODECOPY
000008f7: PUSH2 0x1c66
000008fa: JUMP
000008fb: JUMPDEST
000008fc: PUSH12 0xffffffffffffffffffffffff
00000909: SWAP1
0000090a: DUP2
0000090b: AND
0000090c: PUSH1 0x00
0000090e: SWAP1
0000090f: DUP2
00000910: SSTORE
00000911: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000926: DUP7
00000927: AND
00000928: DUP2
00000929: MSTORE
0000092a: PUSH1 0x04
0000092c: PUSH1 0x20
0000092e: SWAP1
0000092f: DUP2
00000930: MSTORE
00000931: PUSH1 0x40
00000933: SWAP2
00000934: DUP3
00000935: SWAP1
00000936: KECCAK256
00000937: SLOAD
00000938: DUP3
00000939: MLOAD
0000093a: PUSH1 0x60
0000093c: DUP2
0000093d: ADD
0000093e: SWAP1
0000093f: SWAP4
00000940: MSTORE
00000941: PUSH1 0x26
00000943: DUP1
00000944: DUP5
00000945: MSTORE
00000946: PUSH2 0x095f
00000949: SWAP5
0000094a: SWAP2
0000094b: SWAP1
0000094c: SWAP2
0000094d: AND
0000094e: SWAP3
0000094f: DUP7
00000950: SWAP3
00000951: SWAP1
00000952: SWAP2
00000953: SWAP1
00000954: PUSH2 0x323f
00000957: SWAP1
00000958: DUP4
00000959: ADD
0000095a: CODECOPY
0000095b: PUSH2 0x1c66
0000095e: JUMP
0000095f: JUMPDEST
00000960: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000975: DUP6
00000976: AND
00000977: PUSH1 0x00
00000979: DUP2
0000097a: DUP2
0000097b: MSTORE
0000097c: PUSH1 0x04
0000097e: PUSH1 0x20
00000980: MSTORE
00000981: PUSH1 0x40
00000983: DUP1
00000984: DUP3
00000985: KECCAK256
00000986: DUP1
00000987: SLOAD
00000988: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000
000009a9: AND
000009aa: PUSH12 0xffffffffffffffffffffffff
000009b7: SWAP6
000009b8: SWAP1
000009b9: SWAP6
000009ba: AND
000009bb: SWAP5
000009bc: SWAP1
000009bd: SWAP5
000009be: OR
000009bf: SWAP1
000009c0: SWAP4
000009c1: SSTORE
000009c2: SWAP2
000009c3: MLOAD
000009c4: SWAP1
000009c5: SWAP2
000009c6: SWAP1
000009c7: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000009e8: SWAP1
000009e9: PUSH2 0x09f3
000009ec: SWAP1
000009ed: DUP7
000009ee: SWAP1
000009ef: PUSH2 0x2f31
000009f2: JUMP
000009f3: JUMPDEST
000009f4: PUSH1 0x40
000009f6: MLOAD
000009f7: DUP1
000009f8: SWAP2
000009f9: SUB
000009fa: SWAP1
000009fb: LOG3
000009fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a11: DUP1
00000a12: DUP6
00000a13: AND
00000a14: PUSH1 0x00
00000a16: SWAP1
00000a17: DUP2
00000a18: MSTORE
00000a19: PUSH1 0x05
00000a1b: PUSH1 0x20
00000a1d: MSTORE
00000a1e: PUSH1 0x40
00000a20: DUP2
00000a21: KECCAK256
00000a22: SLOAD
00000a23: PUSH2 0x0a2d
00000a26: SWAP3
00000a27: AND
00000a28: DUP5
00000a29: PUSH2 0x1cc1
00000a2c: JUMP
00000a2d: JUMPDEST
00000a2e: POP
00000a2f: POP
00000a30: POP
00000a31: POP
00000a32: JUMP
00000a33: JUMPDEST
00000a34: PUSH1 0x00
00000a36: PUSH2 0x0a57
00000a39: DUP3
00000a3a: PUSH1 0x40
00000a3c: MLOAD
00000a3d: DUP1
00000a3e: PUSH1 0x60
00000a40: ADD
00000a41: PUSH1 0x40
00000a43: MSTORE
00000a44: DUP1
00000a45: PUSH1 0x26
00000a47: DUP2
00000a48: MSTORE
00000a49: PUSH1 0x20
00000a4b: ADD
00000a4c: PUSH2 0x3065
00000a4f: PUSH1 0x26
00000a51: SWAP2
00000a52: CODECOPY
00000a53: PUSH2 0x1866
00000a56: JUMP
00000a57: JUMPDEST
00000a58: SWAP1
00000a59: POP
00000a5a: PUSH2 0x0a63
00000a5d: CALLER
00000a5e: DUP3
00000a5f: PUSH2 0x1f08
00000a62: JUMP
00000a63: JUMPDEST
00000a64: POP
00000a65: POP
00000a66: JUMP
00000a67: JUMPDEST
00000a68: PUSH1 0x05
00000a6a: PUSH1 0x20
00000a6c: MSTORE
00000a6d: PUSH1 0x00
00000a6f: SWAP1
00000a70: DUP2
00000a71: MSTORE
00000a72: PUSH1 0x40
00000a74: SWAP1
00000a75: KECCAK256
00000a76: SLOAD
00000a77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a8c: AND
00000a8d: DUP2
00000a8e: JUMP
00000a8f: JUMPDEST
00000a90: PUSH4 0x01e13380
00000a95: DUP2
00000a96: JUMP
00000a97: JUMPDEST
00000a98: PUSH2 0x0aa1
00000a9b: CALLER
00000a9c: DUP3
00000a9d: PUSH2 0x20d0
00000aa0: JUMP
00000aa1: JUMPDEST
00000aa2: POP
00000aa3: JUMP
00000aa4: JUMPDEST
00000aa5: PUSH1 0x07
00000aa7: PUSH1 0x20
00000aa9: MSTORE
00000aaa: PUSH1 0x00
00000aac: SWAP1
00000aad: DUP2
00000aae: MSTORE
00000aaf: PUSH1 0x40
00000ab1: SWAP1
00000ab2: KECCAK256
00000ab3: SLOAD
00000ab4: PUSH4 0xffffffff
00000ab9: AND
00000aba: DUP2
00000abb: JUMP
00000abc: JUMPDEST
00000abd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ad2: AND
00000ad3: PUSH1 0x00
00000ad5: SWAP1
00000ad6: DUP2
00000ad7: MSTORE
00000ad8: PUSH1 0x04
00000ada: PUSH1 0x20
00000adc: MSTORE
00000add: PUSH1 0x40
00000adf: SWAP1
00000ae0: KECCAK256
00000ae1: SLOAD
00000ae2: PUSH12 0xffffffffffffffffffffffff
00000aef: AND
00000af0: SWAP1
00000af1: JUMP
00000af2: JUMPDEST
00000af3: PUSH1 0x02
00000af5: DUP2
00000af6: JUMP
00000af7: JUMPDEST
00000af8: PUSH1 0x00
00000afa: NUMBER
00000afb: DUP3
00000afc: LT
00000afd: PUSH2 0x0b32
00000b00: JUMPI
00000b01: PUSH1 0x40
00000b03: MLOAD
00000b04: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b25: DUP2
00000b26: MSTORE
00000b27: PUSH1 0x04
00000b29: ADD
00000b2a: PUSH2 0x0783
00000b2d: SWAP1
00000b2e: PUSH2 0x2bc2
00000b31: JUMP
00000b32: JUMPDEST
00000b33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b48: DUP4
00000b49: AND
00000b4a: PUSH1 0x00
00000b4c: SWAP1
00000b4d: DUP2
00000b4e: MSTORE
00000b4f: PUSH1 0x07
00000b51: PUSH1 0x20
00000b53: MSTORE
00000b54: PUSH1 0x40
00000b56: SWAP1
00000b57: KECCAK256
00000b58: SLOAD
00000b59: PUSH4 0xffffffff
00000b5e: AND
00000b5f: DUP1
00000b60: PUSH2 0x0b6d
00000b63: JUMPI
00000b64: PUSH1 0x00
00000b66: SWAP2
00000b67: POP
00000b68: POP
00000b69: PUSH2 0x0556
00000b6c: JUMP
00000b6d: JUMPDEST
00000b6e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b83: DUP5
00000b84: AND
00000b85: PUSH1 0x00
00000b87: SWAP1
00000b88: DUP2
00000b89: MSTORE
00000b8a: PUSH1 0x06
00000b8c: PUSH1 0x20
00000b8e: SWAP1
00000b8f: DUP2
00000b90: MSTORE
00000b91: PUSH1 0x40
00000b93: DUP1
00000b94: DUP4
00000b95: KECCAK256
00000b96: PUSH4 0xffffffff
00000b9b: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000bbc: DUP7
00000bbd: ADD
00000bbe: DUP2
00000bbf: AND
00000bc0: DUP6
00000bc1: MSTORE
00000bc2: SWAP3
00000bc3: MSTORE
00000bc4: SWAP1
00000bc5: SWAP2
00000bc6: KECCAK256
00000bc7: SLOAD
00000bc8: AND
00000bc9: DUP4
00000bca: LT
00000bcb: PUSH2 0x0c45
00000bce: JUMPI
00000bcf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000be4: DUP5
00000be5: AND
00000be6: PUSH1 0x00
00000be8: SWAP1
00000be9: DUP2
00000bea: MSTORE
00000beb: PUSH1 0x06
00000bed: PUSH1 0x20
00000bef: SWAP1
00000bf0: DUP2
00000bf1: MSTORE
00000bf2: PUSH1 0x40
00000bf4: DUP1
00000bf5: DUP4
00000bf6: KECCAK256
00000bf7: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000c18: SWAP5
00000c19: SWAP1
00000c1a: SWAP5
00000c1b: ADD
00000c1c: PUSH4 0xffffffff
00000c21: AND
00000c22: DUP4
00000c23: MSTORE
00000c24: SWAP3
00000c25: SWAP1
00000c26: MSTORE
00000c27: KECCAK256
00000c28: SLOAD
00000c29: PUSH5 0x0100000000
00000c2f: SWAP1
00000c30: DIV
00000c31: PUSH12 0xffffffffffffffffffffffff
00000c3e: AND
00000c3f: SWAP1
00000c40: POP
00000c41: PUSH2 0x0556
00000c44: JUMP
00000c45: JUMPDEST
00000c46: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c5b: DUP5
00000c5c: AND
00000c5d: PUSH1 0x00
00000c5f: SWAP1
00000c60: DUP2
00000c61: MSTORE
00000c62: PUSH1 0x06
00000c64: PUSH1 0x20
00000c66: SWAP1
00000c67: DUP2
00000c68: MSTORE
00000c69: PUSH1 0x40
00000c6b: DUP1
00000c6c: DUP4
00000c6d: KECCAK256
00000c6e: DUP4
00000c6f: DUP1
00000c70: MSTORE
00000c71: SWAP1
00000c72: SWAP2
00000c73: MSTORE
00000c74: SWAP1
00000c75: KECCAK256
00000c76: SLOAD
00000c77: PUSH4 0xffffffff
00000c7c: AND
00000c7d: DUP4
00000c7e: LT
00000c7f: ISZERO
00000c80: PUSH2 0x0c8d
00000c83: JUMPI
00000c84: PUSH1 0x00
00000c86: SWAP2
00000c87: POP
00000c88: POP
00000c89: PUSH2 0x0556
00000c8c: JUMP
00000c8d: JUMPDEST
00000c8e: PUSH1 0x00
00000c90: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000cb1: DUP3
00000cb2: ADD
00000cb3: JUMPDEST
00000cb4: DUP2
00000cb5: PUSH4 0xffffffff
00000cba: AND
00000cbb: DUP2
00000cbc: PUSH4 0xffffffff
00000cc1: AND
00000cc2: GT
00000cc3: ISZERO
00000cc4: PUSH2 0x0d81
00000cc7: JUMPI
00000cc8: PUSH1 0x02
00000cca: DUP3
00000ccb: DUP3
00000ccc: SUB
00000ccd: PUSH4 0xffffffff
00000cd2: AND
00000cd3: DIV
00000cd4: DUP2
00000cd5: SUB
00000cd6: PUSH2 0x0cdd
00000cd9: PUSH2 0x242e
00000cdc: JUMP
00000cdd: JUMPDEST
00000cde: POP
00000cdf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cf4: DUP8
00000cf5: AND
00000cf6: PUSH1 0x00
00000cf8: SWAP1
00000cf9: DUP2
00000cfa: MSTORE
00000cfb: PUSH1 0x06
00000cfd: PUSH1 0x20
00000cff: SWAP1
00000d00: DUP2
00000d01: MSTORE
00000d02: PUSH1 0x40
00000d04: DUP1
00000d05: DUP4
00000d06: KECCAK256
00000d07: PUSH4 0xffffffff
00000d0c: DUP6
00000d0d: DUP2
00000d0e: AND
00000d0f: DUP6
00000d10: MSTORE
00000d11: SWAP1
00000d12: DUP4
00000d13: MSTORE
00000d14: SWAP3
00000d15: DUP2
00000d16: SWAP1
00000d17: KECCAK256
00000d18: DUP2
00000d19: MLOAD
00000d1a: DUP1
00000d1b: DUP4
00000d1c: ADD
00000d1d: SWAP1
00000d1e: SWAP3
00000d1f: MSTORE
00000d20: SLOAD
00000d21: SWAP3
00000d22: DUP4
00000d23: AND
00000d24: DUP1
00000d25: DUP3
00000d26: MSTORE
00000d27: PUSH5 0x0100000000
00000d2d: SWAP1
00000d2e: SWAP4
00000d2f: DIV
00000d30: PUSH12 0xffffffffffffffffffffffff
00000d3d: AND
00000d3e: SWAP2
00000d3f: DUP2
00000d40: ADD
00000d41: SWAP2
00000d42: SWAP1
00000d43: SWAP2
00000d44: MSTORE
00000d45: SWAP1
00000d46: DUP8
00000d47: EQ
00000d48: ISZERO
00000d49: PUSH2 0x0d5c
00000d4c: JUMPI
00000d4d: PUSH1 0x20
00000d4f: ADD
00000d50: MLOAD
00000d51: SWAP5
00000d52: POP
00000d53: PUSH2 0x0556
00000d56: SWAP4
00000d57: POP
00000d58: POP
00000d59: POP
00000d5a: POP
00000d5b: JUMP
00000d5c: JUMPDEST
00000d5d: DUP1
00000d5e: MLOAD
00000d5f: PUSH4 0xffffffff
00000d64: AND
00000d65: DUP8
00000d66: GT
00000d67: ISZERO
00000d68: PUSH2 0x0d73
00000d6b: JUMPI
00000d6c: DUP2
00000d6d: SWAP4
00000d6e: POP
00000d6f: PUSH2 0x0d7a
00000d72: JUMP
00000d73: JUMPDEST
00000d74: PUSH1 0x01
00000d76: DUP3
00000d77: SUB
00000d78: SWAP3
00000d79: POP
00000d7a: JUMPDEST
00000d7b: POP
00000d7c: POP
00000d7d: PUSH2 0x0cb3
00000d80: JUMP
00000d81: JUMPDEST
00000d82: POP
00000d83: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d98: DUP6
00000d99: AND
00000d9a: PUSH1 0x00
00000d9c: SWAP1
00000d9d: DUP2
00000d9e: MSTORE
00000d9f: PUSH1 0x06
00000da1: PUSH1 0x20
00000da3: SWAP1
00000da4: DUP2
00000da5: MSTORE
00000da6: PUSH1 0x40
00000da8: DUP1
00000da9: DUP4
00000daa: KECCAK256
00000dab: PUSH4 0xffffffff
00000db0: SWAP1
00000db1: SWAP5
00000db2: AND
00000db3: DUP4
00000db4: MSTORE
00000db5: SWAP3
00000db6: SWAP1
00000db7: MSTORE
00000db8: KECCAK256
00000db9: SLOAD
00000dba: PUSH12 0xffffffffffffffffffffffff
00000dc7: PUSH5 0x0100000000
00000dcd: SWAP1
00000dce: SWAP2
00000dcf: DIV
00000dd0: AND
00000dd1: SWAP2
00000dd2: POP
00000dd3: POP
00000dd4: SWAP3
00000dd5: SWAP2
00000dd6: POP
00000dd7: POP
00000dd8: JUMP
00000dd9: JUMPDEST
00000dda: PUSH1 0x00
00000ddc: PUSH2 0x0dfd
00000ddf: DUP3
00000de0: PUSH1 0x40
00000de2: MLOAD
00000de3: DUP1
00000de4: PUSH1 0x60
00000de6: ADD
00000de7: PUSH1 0x40
00000de9: MSTORE
00000dea: DUP1
00000deb: PUSH1 0x2a
00000ded: DUP2
00000dee: MSTORE
00000def: PUSH1 0x20
00000df1: ADD
00000df2: PUSH2 0x3198
00000df5: PUSH1 0x2a
00000df7: SWAP2
00000df8: CODECOPY
00000df9: PUSH2 0x1866
00000dfc: JUMP
00000dfd: JUMPDEST
00000dfe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e13: DUP5
00000e14: AND
00000e15: PUSH1 0x00
00000e17: SWAP1
00000e18: DUP2
00000e19: MSTORE
00000e1a: PUSH1 0x03
00000e1c: PUSH1 0x20
00000e1e: SWAP1
00000e1f: DUP2
00000e20: MSTORE
00000e21: PUSH1 0x40
00000e23: DUP1
00000e24: DUP4
00000e25: KECCAK256
00000e26: CALLER
00000e27: DUP5
00000e28: MSTORE
00000e29: DUP3
00000e2a: MSTORE
00000e2b: DUP1
00000e2c: DUP4
00000e2d: KECCAK256
00000e2e: SLOAD
00000e2f: DUP2
00000e30: MLOAD
00000e31: PUSH1 0x60
00000e33: DUP2
00000e34: ADD
00000e35: SWAP1
00000e36: SWAP3
00000e37: MSTORE
00000e38: PUSH1 0x29
00000e3a: DUP1
00000e3b: DUP4
00000e3c: MSTORE
00000e3d: SWAP5
00000e3e: SWAP6
00000e3f: POP
00000e40: SWAP3
00000e41: SWAP4
00000e42: PUSH2 0x0e64
00000e45: SWAP4
00000e46: PUSH12 0xffffffffffffffffffffffff
00000e53: AND
00000e54: SWAP3
00000e55: DUP7
00000e56: SWAP3
00000e57: SWAP2
00000e58: SWAP1
00000e59: PUSH2 0x311f
00000e5c: SWAP1
00000e5d: DUP4
00000e5e: ADD
00000e5f: CODECOPY
00000e60: PUSH2 0x18b8
00000e63: JUMP
00000e64: JUMPDEST
00000e65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e7a: DUP6
00000e7b: AND
00000e7c: PUSH1 0x00
00000e7e: DUP2
00000e7f: DUP2
00000e80: MSTORE
00000e81: PUSH1 0x03
00000e83: PUSH1 0x20
00000e85: SWAP1
00000e86: DUP2
00000e87: MSTORE
00000e88: PUSH1 0x40
00000e8a: DUP1
00000e8b: DUP4
00000e8c: KECCAK256
00000e8d: CALLER
00000e8e: DUP1
00000e8f: DUP6
00000e90: MSTORE
00000e91: SWAP3
00000e92: MSTORE
00000e93: SWAP2
00000e94: DUP3
00000e95: SWAP1
00000e96: KECCAK256
00000e97: DUP1
00000e98: SLOAD
00000e99: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000
00000eba: AND
00000ebb: PUSH12 0xffffffffffffffffffffffff
00000ec8: DUP7
00000ec9: AND
00000eca: OR
00000ecb: SWAP1
00000ecc: SSTORE
00000ecd: SWAP1
00000ece: MLOAD
00000ecf: SWAP3
00000ed0: SWAP4
00000ed1: POP
00000ed2: SWAP2
00000ed3: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000ef4: SWAP1
00000ef5: PUSH2 0x0eff
00000ef8: SWAP1
00000ef9: DUP6
00000efa: SWAP1
00000efb: PUSH2 0x2f31
00000efe: JUMP
00000eff: JUMPDEST
00000f00: PUSH1 0x40
00000f02: MLOAD
00000f03: DUP1
00000f04: SWAP2
00000f05: SUB
00000f06: SWAP1
00000f07: LOG3
00000f08: PUSH2 0x0a2d
00000f0b: DUP5
00000f0c: DUP4
00000f0d: PUSH2 0x1f08
00000f10: JUMP
00000f11: JUMPDEST
00000f12: PUSH1 0x08
00000f14: PUSH1 0x20
00000f16: MSTORE
00000f17: PUSH1 0x00
00000f19: SWAP1
00000f1a: DUP2
00000f1b: MSTORE
00000f1c: PUSH1 0x40
00000f1e: SWAP1
00000f1f: KECCAK256
00000f20: SLOAD
00000f21: DUP2
00000f22: JUMP
00000f23: JUMPDEST
00000f24: PUSH1 0x40
00000f26: MLOAD
00000f27: DUP1
00000f28: PUSH1 0x40
00000f2a: ADD
00000f2b: PUSH1 0x40
00000f2d: MSTORE
00000f2e: DUP1
00000f2f: PUSH1 0x05
00000f31: DUP2
00000f32: MSTORE
00000f33: PUSH1 0x20
00000f35: ADD
00000f36: PUSH32 0x464f525448000000000000000000000000000000000000000000000000000000
00000f57: DUP2
00000f58: MSTORE
00000f59: POP
00000f5a: DUP2
00000f5b: JUMP
00000f5c: JUMPDEST
00000f5d: PUSH1 0x00
00000f5f: DUP1
00000f60: PUSH2 0x0f81
00000f63: DUP4
00000f64: PUSH1 0x40
00000f66: MLOAD
00000f67: DUP1
00000f68: PUSH1 0x60
00000f6a: ADD
00000f6b: PUSH1 0x40
00000f6d: MSTORE
00000f6e: DUP1
00000f6f: PUSH1 0x27
00000f71: DUP2
00000f72: MSTORE
00000f73: PUSH1 0x20
00000f75: ADD
00000f76: PUSH2 0x3290
00000f79: PUSH1 0x27
00000f7b: SWAP2
00000f7c: CODECOPY
00000f7d: PUSH2 0x1866
00000f80: JUMP
00000f81: JUMPDEST
00000f82: SWAP1
00000f83: POP
00000f84: PUSH2 0x0f8e
00000f87: CALLER
00000f88: DUP6
00000f89: DUP4
00000f8a: PUSH2 0x191b
00000f8d: JUMP
00000f8e: JUMPDEST
00000f8f: POP
00000f90: PUSH1 0x01
00000f92: SWAP4
00000f93: SWAP3
00000f94: POP
00000f95: POP
00000f96: POP
00000f97: JUMP
00000f98: JUMPDEST
00000f99: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fae: DUP2
00000faf: AND
00000fb0: PUSH1 0x00
00000fb2: SWAP1
00000fb3: DUP2
00000fb4: MSTORE
00000fb5: PUSH1 0x07
00000fb7: PUSH1 0x20
00000fb9: MSTORE
00000fba: PUSH1 0x40
00000fbc: DUP2
00000fbd: KECCAK256
00000fbe: SLOAD
00000fbf: PUSH4 0xffffffff
00000fc4: AND
00000fc5: DUP1
00000fc6: PUSH2 0x0fd0
00000fc9: JUMPI
00000fca: PUSH1 0x00
00000fcc: PUSH2 0x1040
00000fcf: JUMP
00000fd0: JUMPDEST
00000fd1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fe6: DUP4
00000fe7: AND
00000fe8: PUSH1 0x00
00000fea: SWAP1
00000feb: DUP2
00000fec: MSTORE
00000fed: PUSH1 0x06
00000fef: PUSH1 0x20
00000ff1: SWAP1
00000ff2: DUP2
00000ff3: MSTORE
00000ff4: PUSH1 0x40
00000ff6: DUP1
00000ff7: DUP4
00000ff8: KECCAK256
00000ff9: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000101a: DUP6
0000101b: ADD
0000101c: PUSH4 0xffffffff
00001021: AND
00001022: DUP5
00001023: MSTORE
00001024: SWAP1
00001025: SWAP2
00001026: MSTORE
00001027: SWAP1
00001028: KECCAK256
00001029: SLOAD
0000102a: PUSH5 0x0100000000
00001030: SWAP1
00001031: DIV
00001032: PUSH12 0xffffffffffffffffffffffff
0000103f: AND
00001040: JUMPDEST
00001041: SWAP4
00001042: SWAP3
00001043: POP
00001044: POP
00001045: POP
00001046: JUMP
00001047: JUMPDEST
00001048: PUSH1 0x00
0000104a: PUSH1 0x40
0000104c: MLOAD
0000104d: PUSH2 0x1055
00001050: SWAP1
00001051: PUSH2 0x26fa
00001054: JUMP
00001055: JUMPDEST
00001056: PUSH1 0x40
00001058: DUP1
00001059: MLOAD
0000105a: SWAP2
0000105b: DUP3
0000105c: SWAP1
0000105d: SUB
0000105e: DUP3
0000105f: KECCAK256
00001060: DUP3
00001061: DUP3
00001062: ADD
00001063: SWAP1
00001064: SWAP2
00001065: MSTORE
00001066: PUSH1 0x15
00001068: DUP3
00001069: MSTORE
0000106a: PUSH32 0x416d706c65666f72746820476f7665726e616e63650000000000000000000000
0000108b: PUSH1 0x20
0000108d: SWAP1
0000108e: SWAP3
0000108f: ADD
00001090: SWAP2
00001091: SWAP1
00001092: SWAP2
00001093: MSTORE
00001094: PUSH32 0x8074a57fc3df0f85e9fde9508c19e931785a115c70c33d274f41a392070a74fc
000010b5: PUSH2 0x10bc
000010b8: PUSH2 0x217e
000010bb: JUMP
000010bc: JUMPDEST
000010bd: ADDRESS
000010be: PUSH1 0x40
000010c0: MLOAD
000010c1: PUSH1 0x20
000010c3: ADD
000010c4: PUSH2 0x10d0
000010c7: SWAP5
000010c8: SWAP4
000010c9: SWAP3
000010ca: SWAP2
000010cb: SWAP1
000010cc: PUSH2 0x288c
000010cf: JUMP
000010d0: JUMPDEST
000010d1: PUSH1 0x40
000010d3: MLOAD
000010d4: PUSH1 0x20
000010d6: DUP2
000010d7: DUP4
000010d8: SUB
000010d9: SUB
000010da: DUP2
000010db: MSTORE
000010dc: SWAP1
000010dd: PUSH1 0x40
000010df: MSTORE
000010e0: DUP1
000010e1: MLOAD
000010e2: SWAP1
000010e3: PUSH1 0x20
000010e5: ADD
000010e6: KECCAK256
000010e7: SWAP1
000010e8: POP
000010e9: PUSH1 0x00
000010eb: PUSH1 0x40
000010ed: MLOAD
000010ee: PUSH2 0x10f6
000010f1: SWAP1
000010f2: PUSH2 0x276f
000010f5: JUMP
000010f6: JUMPDEST
000010f7: PUSH1 0x40
000010f9: MLOAD
000010fa: SWAP1
000010fb: DUP2
000010fc: SWAP1
000010fd: SUB
000010fe: DUP2
000010ff: KECCAK256
00001100: PUSH2 0x1111
00001103: SWAP2
00001104: DUP11
00001105: SWAP1
00001106: DUP11
00001107: SWAP1
00001108: DUP11
00001109: SWAP1
0000110a: PUSH1 0x20
0000110c: ADD
0000110d: PUSH2 0x285b
00001110: JUMP
00001111: JUMPDEST
00001112: PUSH1 0x40
00001114: MLOAD
00001115: PUSH1 0x20
00001117: DUP2
00001118: DUP4
00001119: SUB
0000111a: SUB
0000111b: DUP2
0000111c: MSTORE
0000111d: SWAP1
0000111e: PUSH1 0x40
00001120: MSTORE
00001121: DUP1
00001122: MLOAD
00001123: SWAP1
00001124: PUSH1 0x20
00001126: ADD
00001127: KECCAK256
00001128: SWAP1
00001129: POP
0000112a: PUSH1 0x00
0000112c: DUP3
0000112d: DUP3
0000112e: PUSH1 0x40
00001130: MLOAD
00001131: PUSH1 0x20
00001133: ADD
00001134: PUSH2 0x113e
00001137: SWAP3
00001138: SWAP2
00001139: SWAP1
0000113a: PUSH2 0x264f
0000113d: JUMP
0000113e: JUMPDEST
0000113f: PUSH1 0x40
00001141: MLOAD
00001142: PUSH1 0x20
00001144: DUP2
00001145: DUP4
00001146: SUB
00001147: SUB
00001148: DUP2
00001149: MSTORE
0000114a: SWAP1
0000114b: PUSH1 0x40
0000114d: MSTORE
0000114e: DUP1
0000114f: MLOAD
00001150: SWAP1
00001151: PUSH1 0x20
00001153: ADD
00001154: KECCAK256
00001155: SWAP1
00001156: POP
00001157: PUSH1 0x00
00001159: PUSH1 0x01
0000115b: DUP3
0000115c: DUP9
0000115d: DUP9
0000115e: DUP9
0000115f: PUSH1 0x40
00001161: MLOAD
00001162: PUSH1 0x00
00001164: DUP2
00001165: MSTORE
00001166: PUSH1 0x20
00001168: ADD
00001169: PUSH1 0x40
0000116b: MSTORE
0000116c: PUSH1 0x40
0000116e: MLOAD
0000116f: PUSH2 0x117b
00001172: SWAP5
00001173: SWAP4
00001174: SWAP3
00001175: SWAP2
00001176: SWAP1
00001177: PUSH2 0x28bd
0000117a: JUMP
0000117b: JUMPDEST
0000117c: PUSH1 0x20
0000117e: PUSH1 0x40
00001180: MLOAD
00001181: PUSH1 0x20
00001183: DUP2
00001184: SUB
00001185: SWAP1
00001186: DUP1
00001187: DUP5
00001188: SUB
00001189: SWAP1
0000118a: DUP6
0000118b: GAS
0000118c: STATICCALL
0000118d: ISZERO
0000118e: DUP1
0000118f: ISZERO
00001190: PUSH2 0x119d
00001193: JUMPI
00001194: RETURNDATASIZE
00001195: PUSH1 0x00
00001197: DUP1
00001198: RETURNDATACOPY
00001199: RETURNDATASIZE
0000119a: PUSH1 0x00
0000119c: REVERT
0000119d: JUMPDEST
0000119e: POP
0000119f: POP
000011a0: PUSH1 0x40
000011a2: MLOAD
000011a3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000011c4: ADD
000011c5: MLOAD
000011c6: SWAP2
000011c7: POP
000011c8: POP
000011c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011de: DUP2
000011df: AND
000011e0: PUSH2 0x1215
000011e3: JUMPI
000011e4: PUSH1 0x40
000011e6: MLOAD
000011e7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001208: DUP2
00001209: MSTORE
0000120a: PUSH1 0x04
0000120c: ADD
0000120d: PUSH2 0x0783
00001210: SWAP1
00001211: PUSH2 0x2a3d
00001214: JUMP
00001215: JUMPDEST
00001216: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000122b: DUP2
0000122c: AND
0000122d: PUSH1 0x00
0000122f: SWAP1
00001230: DUP2
00001231: MSTORE
00001232: PUSH1 0x08
00001234: PUSH1 0x20
00001236: MSTORE
00001237: PUSH1 0x40
00001239: SWAP1
0000123a: KECCAK256
0000123b: DUP1
0000123c: SLOAD
0000123d: PUSH1 0x01
0000123f: DUP2
00001240: ADD
00001241: SWAP1
00001242: SWAP2
00001243: SSTORE
00001244: DUP10
00001245: EQ
00001246: PUSH2 0x127b
00001249: JUMPI
0000124a: PUSH1 0x40
0000124c: MLOAD
0000124d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000126e: DUP2
0000126f: MSTORE
00001270: PUSH1 0x04
00001272: ADD
00001273: PUSH2 0x0783
00001276: SWAP1
00001277: PUSH2 0x294c
0000127a: JUMP
0000127b: JUMPDEST
0000127c: DUP8
0000127d: TIMESTAMP
0000127e: GT
0000127f: ISZERO
00001280: PUSH2 0x12b5
00001283: JUMPI
00001284: PUSH1 0x40
00001286: MLOAD
00001287: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000012a8: DUP2
000012a9: MSTORE
000012aa: PUSH1 0x04
000012ac: ADD
000012ad: PUSH2 0x0783
000012b0: SWAP1
000012b1: PUSH2 0x2e91
000012b4: JUMP
000012b5: JUMPDEST
000012b6: PUSH2 0x12bf
000012b9: DUP2
000012ba: DUP12
000012bb: PUSH2 0x20d0
000012be: JUMP
000012bf: JUMPDEST
000012c0: POP
000012c1: POP
000012c2: POP
000012c3: POP
000012c4: JUMPDEST
000012c5: POP
000012c6: POP
000012c7: POP
000012c8: POP
000012c9: POP
000012ca: POP
000012cb: JUMP
000012cc: JUMPDEST
000012cd: PUSH1 0x00
000012cf: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000012f0: DUP7
000012f1: EQ
000012f2: ISZERO
000012f3: PUSH2 0x1309
000012f6: JUMPI
000012f7: POP
000012f8: PUSH12 0xffffffffffffffffffffffff
00001305: PUSH2 0x132e
00001308: JUMP
00001309: JUMPDEST
0000130a: PUSH2 0x132b
0000130d: DUP7
0000130e: PUSH1 0x40
00001310: MLOAD
00001311: DUP1
00001312: PUSH1 0x60
00001314: ADD
00001315: PUSH1 0x40
00001317: MSTORE
00001318: DUP1
00001319: PUSH1 0x25
0000131b: DUP2
0000131c: MSTORE
0000131d: PUSH1 0x20
0000131f: ADD
00001320: PUSH2 0x2fdc
00001323: PUSH1 0x25
00001325: SWAP2
00001326: CODECOPY
00001327: PUSH2 0x1866
0000132a: JUMP
0000132b: JUMPDEST
0000132c: SWAP1
0000132d: POP
0000132e: JUMPDEST
0000132f: PUSH1 0x00
00001331: PUSH1 0x40
00001333: MLOAD
00001334: PUSH2 0x133c
00001337: SWAP1
00001338: PUSH2 0x26fa
0000133b: JUMP
0000133c: JUMPDEST
0000133d: PUSH1 0x40
0000133f: DUP1
00001340: MLOAD
00001341: SWAP2
00001342: DUP3
00001343: SWAP1
00001344: SUB
00001345: DUP3
00001346: KECCAK256
00001347: DUP3
00001348: DUP3
00001349: ADD
0000134a: SWAP1
0000134b: SWAP2
0000134c: MSTORE
0000134d: PUSH1 0x15
0000134f: DUP3
00001350: MSTORE
00001351: PUSH32 0x416d706c65666f72746820476f7665726e616e63650000000000000000000000
00001372: PUSH1 0x20
00001374: SWAP1
00001375: SWAP3
00001376: ADD
00001377: SWAP2
00001378: SWAP1
00001379: SWAP2
0000137a: MSTORE
0000137b: PUSH32 0x8074a57fc3df0f85e9fde9508c19e931785a115c70c33d274f41a392070a74fc
0000139c: PUSH2 0x13a3
0000139f: PUSH2 0x217e
000013a2: JUMP
000013a3: JUMPDEST
000013a4: ADDRESS
000013a5: PUSH1 0x40
000013a7: MLOAD
000013a8: PUSH1 0x20
000013aa: ADD
000013ab: PUSH2 0x13b7
000013ae: SWAP5
000013af: SWAP4
000013b0: SWAP3
000013b1: SWAP2
000013b2: SWAP1
000013b3: PUSH2 0x288c
000013b6: JUMP
000013b7: JUMPDEST
000013b8: PUSH1 0x40
000013ba: MLOAD
000013bb: PUSH1 0x20
000013bd: DUP2
000013be: DUP4
000013bf: SUB
000013c0: SUB
000013c1: DUP2
000013c2: MSTORE
000013c3: SWAP1
000013c4: PUSH1 0x40
000013c6: MSTORE
000013c7: DUP1
000013c8: MLOAD
000013c9: SWAP1
000013ca: PUSH1 0x20
000013cc: ADD
000013cd: KECCAK256
000013ce: SWAP1
000013cf: POP
000013d0: PUSH1 0x00
000013d2: PUSH1 0x40
000013d4: MLOAD
000013d5: PUSH2 0x13dd
000013d8: SWAP1
000013d9: PUSH2 0x2685
000013dc: JUMP
000013dd: JUMPDEST
000013de: PUSH1 0x40
000013e0: DUP1
000013e1: MLOAD
000013e2: SWAP2
000013e3: DUP3
000013e4: SWAP1
000013e5: SUB
000013e6: DUP3
000013e7: KECCAK256
000013e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013fd: DUP14
000013fe: AND
000013ff: PUSH1 0x00
00001401: SWAP1
00001402: DUP2
00001403: MSTORE
00001404: PUSH1 0x08
00001406: PUSH1 0x20
00001408: SWAP1
00001409: DUP2
0000140a: MSTORE
0000140b: SWAP3
0000140c: SWAP1
0000140d: KECCAK256
0000140e: DUP1
0000140f: SLOAD
00001410: PUSH1 0x01
00001412: DUP2
00001413: ADD
00001414: SWAP1
00001415: SWAP2
00001416: SSTORE
00001417: PUSH2 0x142c
0000141a: SWAP4
0000141b: SWAP2
0000141c: SWAP3
0000141d: DUP15
0000141e: SWAP3
0000141f: DUP15
00001420: SWAP3
00001421: DUP15
00001422: SWAP3
00001423: SWAP1
00001424: SWAP2
00001425: DUP15
00001426: SWAP2
00001427: ADD
00001428: PUSH2 0x281a
0000142b: JUMP
0000142c: JUMPDEST
0000142d: PUSH1 0x40
0000142f: MLOAD
00001430: PUSH1 0x20
00001432: DUP2
00001433: DUP4
00001434: SUB
00001435: SUB
00001436: DUP2
00001437: MSTORE
00001438: SWAP1
00001439: PUSH1 0x40
0000143b: MSTORE
0000143c: DUP1
0000143d: MLOAD
0000143e: SWAP1
0000143f: PUSH1 0x20
00001441: ADD
00001442: KECCAK256
00001443: SWAP1
00001444: POP
00001445: PUSH1 0x00
00001447: DUP3
00001448: DUP3
00001449: PUSH1 0x40
0000144b: MLOAD
0000144c: PUSH1 0x20
0000144e: ADD
0000144f: PUSH2 0x1459
00001452: SWAP3
00001453: SWAP2
00001454: SWAP1
00001455: PUSH2 0x264f
00001458: JUMP
00001459: JUMPDEST
0000145a: PUSH1 0x40
0000145c: MLOAD
0000145d: PUSH1 0x20
0000145f: DUP2
00001460: DUP4
00001461: SUB
00001462: SUB
00001463: DUP2
00001464: MSTORE
00001465: SWAP1
00001466: PUSH1 0x40
00001468: MSTORE
00001469: DUP1
0000146a: MLOAD
0000146b: SWAP1
0000146c: PUSH1 0x20
0000146e: ADD
0000146f: KECCAK256
00001470: SWAP1
00001471: POP
00001472: PUSH1 0x00
00001474: PUSH1 0x01
00001476: DUP3
00001477: DUP10
00001478: DUP10
00001479: DUP10
0000147a: PUSH1 0x40
0000147c: MLOAD
0000147d: PUSH1 0x00
0000147f: DUP2
00001480: MSTORE
00001481: PUSH1 0x20
00001483: ADD
00001484: PUSH1 0x40
00001486: MSTORE
00001487: PUSH1 0x40
00001489: MLOAD
0000148a: PUSH2 0x1496
0000148d: SWAP5
0000148e: SWAP4
0000148f: SWAP3
00001490: SWAP2
00001491: SWAP1
00001492: PUSH2 0x28bd
00001495: JUMP
00001496: JUMPDEST
00001497: PUSH1 0x20
00001499: PUSH1 0x40
0000149b: MLOAD
0000149c: PUSH1 0x20
0000149e: DUP2
0000149f: SUB
000014a0: SWAP1
000014a1: DUP1
000014a2: DUP5
000014a3: SUB
000014a4: SWAP1
000014a5: DUP6
000014a6: GAS
000014a7: STATICCALL
000014a8: ISZERO
000014a9: DUP1
000014aa: ISZERO
000014ab: PUSH2 0x14b8
000014ae: JUMPI
000014af: RETURNDATASIZE
000014b0: PUSH1 0x00
000014b2: DUP1
000014b3: RETURNDATACOPY
000014b4: RETURNDATASIZE
000014b5: PUSH1 0x00
000014b7: REVERT
000014b8: JUMPDEST
000014b9: POP
000014ba: POP
000014bb: PUSH1 0x40
000014bd: MLOAD
000014be: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
000014df: ADD
000014e0: MLOAD
000014e1: SWAP2
000014e2: POP
000014e3: POP
000014e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014f9: DUP2
000014fa: AND
000014fb: PUSH2 0x1530
000014fe: JUMPI
000014ff: PUSH1 0x40
00001501: MLOAD
00001502: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001523: DUP2
00001524: MSTORE
00001525: PUSH1 0x04
00001527: ADD
00001528: PUSH2 0x0783
0000152b: SWAP1
0000152c: PUSH2 0x2d0e
0000152f: JUMP
00001530: JUMPDEST
00001531: DUP12
00001532: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001547: AND
00001548: DUP2
00001549: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000155e: AND
0000155f: EQ
00001560: PUSH2 0x1595
00001563: JUMPI
00001564: PUSH1 0x40
00001566: MLOAD
00001567: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001588: DUP2
00001589: MSTORE
0000158a: PUSH1 0x04
0000158c: ADD
0000158d: PUSH2 0x0783
00001590: SWAP1
00001591: PUSH2 0x2e5a
00001594: JUMP
00001595: JUMPDEST
00001596: DUP9
00001597: TIMESTAMP
00001598: GT
00001599: ISZERO
0000159a: PUSH2 0x15cf
0000159d: JUMPI
0000159e: PUSH1 0x40
000015a0: MLOAD
000015a1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000015c2: DUP2
000015c3: MSTORE
000015c4: PUSH1 0x04
000015c6: ADD
000015c7: PUSH2 0x0783
000015ca: SWAP1
000015cb: PUSH2 0x2c1f
000015ce: JUMP
000015cf: JUMPDEST
000015d0: DUP5
000015d1: PUSH1 0x03
000015d3: PUSH1 0x00
000015d5: DUP15
000015d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015eb: AND
000015ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001601: AND
00001602: DUP2
00001603: MSTORE
00001604: PUSH1 0x20
00001606: ADD
00001607: SWAP1
00001608: DUP2
00001609: MSTORE
0000160a: PUSH1 0x20
0000160c: ADD
0000160d: PUSH1 0x00
0000160f: KECCAK256
00001610: PUSH1 0x00
00001612: DUP14
00001613: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001628: AND
00001629: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000163e: AND
0000163f: DUP2
00001640: MSTORE
00001641: PUSH1 0x20
00001643: ADD
00001644: SWAP1
00001645: DUP2
00001646: MSTORE
00001647: PUSH1 0x20
00001649: ADD
0000164a: PUSH1 0x00
0000164c: KECCAK256
0000164d: PUSH1 0x00
0000164f: PUSH2 0x0100
00001652: EXP
00001653: DUP2
00001654: SLOAD
00001655: DUP2
00001656: PUSH12 0xffffffffffffffffffffffff
00001663: MUL
00001664: NOT
00001665: AND
00001666: SWAP1
00001667: DUP4
00001668: PUSH12 0xffffffffffffffffffffffff
00001675: AND
00001676: MUL
00001677: OR
00001678: SWAP1
00001679: SSTORE
0000167a: POP
0000167b: DUP11
0000167c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001691: AND
00001692: DUP13
00001693: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016a8: AND
000016a9: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
000016ca: DUP8
000016cb: PUSH1 0x40
000016cd: MLOAD
000016ce: PUSH2 0x16d7
000016d1: SWAP2
000016d2: SWAP1
000016d3: PUSH2 0x2f31
000016d6: JUMP
000016d7: JUMPDEST
000016d8: PUSH1 0x40
000016da: MLOAD
000016db: DUP1
000016dc: SWAP2
000016dd: SUB
000016de: SWAP1
000016df: LOG3
000016e0: POP
000016e1: POP
000016e2: POP
000016e3: POP
000016e4: POP
000016e5: POP
000016e6: POP
000016e7: POP
000016e8: POP
000016e9: POP
000016ea: POP
000016eb: POP
000016ec: JUMP
000016ed: JUMPDEST
000016ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001703: SWAP2
00001704: DUP3
00001705: AND
00001706: PUSH1 0x00
00001708: SWAP1
00001709: DUP2
0000170a: MSTORE
0000170b: PUSH1 0x03
0000170d: PUSH1 0x20
0000170f: SWAP1
00001710: DUP2
00001711: MSTORE
00001712: PUSH1 0x40
00001714: DUP1
00001715: DUP4
00001716: KECCAK256
00001717: SWAP4
00001718: SWAP1
00001719: SWAP5
0000171a: AND
0000171b: DUP3
0000171c: MSTORE
0000171d: SWAP2
0000171e: SWAP1
0000171f: SWAP2
00001720: MSTORE
00001721: KECCAK256
00001722: SLOAD
00001723: PUSH12 0xffffffffffffffffffffffff
00001730: AND
00001731: SWAP1
00001732: JUMP
00001733: JUMPDEST
00001734: PUSH1 0x40
00001736: MLOAD
00001737: PUSH2 0x056e
0000173a: SWAP1
0000173b: PUSH2 0x276f
0000173e: JUMP
0000173f: JUMPDEST
00001740: PUSH1 0x06
00001742: PUSH1 0x20
00001744: SWAP1
00001745: DUP2
00001746: MSTORE
00001747: PUSH1 0x00
00001749: SWAP3
0000174a: DUP4
0000174b: MSTORE
0000174c: PUSH1 0x40
0000174e: DUP1
0000174f: DUP5
00001750: KECCAK256
00001751: SWAP1
00001752: SWAP2
00001753: MSTORE
00001754: SWAP1
00001755: DUP3
00001756: MSTORE
00001757: SWAP1
00001758: KECCAK256
00001759: SLOAD
0000175a: PUSH4 0xffffffff
0000175f: DUP2
00001760: AND
00001761: SWAP1
00001762: PUSH5 0x0100000000
00001768: SWAP1
00001769: DIV
0000176a: PUSH12 0xffffffffffffffffffffffff
00001777: AND
00001778: DUP3
00001779: JUMP
0000177a: JUMPDEST
0000177b: PUSH1 0x01
0000177d: SLOAD
0000177e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001793: AND
00001794: CALLER
00001795: EQ
00001796: PUSH2 0x17cb
00001799: JUMPI
0000179a: PUSH1 0x40
0000179c: MLOAD
0000179d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000017be: DUP2
000017bf: MSTORE
000017c0: PUSH1 0x04
000017c2: ADD
000017c3: PUSH2 0x0783
000017c6: SWAP1
000017c7: PUSH2 0x29a9
000017ca: JUMP
000017cb: JUMPDEST
000017cc: PUSH1 0x01
000017ce: SLOAD
000017cf: PUSH1 0x40
000017d1: MLOAD
000017d2: PUSH32 0x3b0007eb941cf645526cbb3a4fdaecda9d28ce4843167d9263b536a1f1edc0f6
000017f3: SWAP2
000017f4: PUSH2 0x1817
000017f7: SWAP2
000017f8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000180d: SWAP1
0000180e: SWAP2
0000180f: AND
00001810: SWAP1
00001811: DUP5
00001812: SWAP1
00001813: PUSH2 0x27df
00001816: JUMP
00001817: JUMPDEST
00001818: PUSH1 0x40
0000181a: MLOAD
0000181b: DUP1
0000181c: SWAP2
0000181d: SUB
0000181e: SWAP1
0000181f: LOG1
00001820: PUSH1 0x01
00001822: DUP1
00001823: SLOAD
00001824: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
00001845: AND
00001846: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000185b: SWAP3
0000185c: SWAP1
0000185d: SWAP3
0000185e: AND
0000185f: SWAP2
00001860: SWAP1
00001861: SWAP2
00001862: OR
00001863: SWAP1
00001864: SSTORE
00001865: JUMP
00001866: JUMPDEST
00001867: PUSH1 0x00
00001869: DUP2
0000186a: PUSH13 0x01000000000000000000000000
00001878: DUP5
00001879: LT
0000187a: PUSH2 0x18b0
0000187d: JUMPI
0000187e: PUSH1 0x40
00001880: MLOAD
00001881: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000018a2: DUP2
000018a3: MSTORE
000018a4: PUSH1 0x04
000018a6: ADD
000018a7: PUSH2 0x0783
000018aa: SWAP2
000018ab: SWAP1
000018ac: PUSH2 0x28db
000018af: JUMP
000018b0: JUMPDEST
000018b1: POP
000018b2: SWAP2
000018b3: SWAP3
000018b4: SWAP2
000018b5: POP
000018b6: POP
000018b7: JUMP
000018b8: JUMPDEST
000018b9: PUSH1 0x00
000018bb: DUP4
000018bc: PUSH12 0xffffffffffffffffffffffff
000018c9: AND
000018ca: DUP4
000018cb: PUSH12 0xffffffffffffffffffffffff
000018d8: AND
000018d9: GT
000018da: ISZERO
000018db: DUP3
000018dc: SWAP1
000018dd: PUSH2 0x1913
000018e0: JUMPI
000018e1: PUSH1 0x40
000018e3: MLOAD
000018e4: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001905: DUP2
00001906: MSTORE
00001907: PUSH1 0x04
00001909: ADD
0000190a: PUSH2 0x0783
0000190d: SWAP2
0000190e: SWAP1
0000190f: PUSH2 0x28db
00001912: JUMP
00001913: JUMPDEST
00001914: POP
00001915: POP
00001916: POP
00001917: SWAP1
00001918: SUB
00001919: SWAP1
0000191a: JUMP
0000191b: JUMPDEST
0000191c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001931: DUP4
00001932: AND
00001933: PUSH2 0x1968
00001936: JUMPI
00001937: PUSH1 0x40
00001939: MLOAD
0000193a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000195b: DUP2
0000195c: MSTORE
0000195d: PUSH1 0x04
0000195f: ADD
00001960: PUSH2 0x0783
00001963: SWAP1
00001964: PUSH2 0x2ad1
00001967: JUMP
00001968: JUMPDEST
00001969: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000197e: DUP3
0000197f: AND
00001980: PUSH2 0x19b5
00001983: JUMPI
00001984: PUSH1 0x40
00001986: MLOAD
00001987: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000019a8: DUP2
000019a9: MSTORE
000019aa: PUSH1 0x04
000019ac: ADD
000019ad: PUSH2 0x0783
000019b0: SWAP1
000019b1: PUSH2 0x2dfd
000019b4: JUMP
000019b5: JUMPDEST
000019b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019cb: DUP4
000019cc: AND
000019cd: PUSH1 0x00
000019cf: SWAP1
000019d0: DUP2
000019d1: MSTORE
000019d2: PUSH1 0x04
000019d4: PUSH1 0x20
000019d6: SWAP1
000019d7: DUP2
000019d8: MSTORE
000019d9: PUSH1 0x40
000019db: SWAP2
000019dc: DUP3
000019dd: SWAP1
000019de: KECCAK256
000019df: SLOAD
000019e0: DUP3
000019e1: MLOAD
000019e2: PUSH1 0x60
000019e4: DUP2
000019e5: ADD
000019e6: SWAP1
000019e7: SWAP4
000019e8: MSTORE
000019e9: PUSH1 0x37
000019eb: DUP1
000019ec: DUP5
000019ed: MSTORE
000019ee: PUSH2 0x1a12
000019f1: SWAP4
000019f2: PUSH12 0xffffffffffffffffffffffff
000019ff: SWAP1
00001a00: SWAP3
00001a01: AND
00001a02: SWAP3
00001a03: DUP6
00001a04: SWAP3
00001a05: SWAP2
00001a06: SWAP1
00001a07: PUSH2 0x30c0
00001a0a: SWAP1
00001a0b: DUP4
00001a0c: ADD
00001a0d: CODECOPY
00001a0e: PUSH2 0x18b8
00001a11: JUMP
00001a12: JUMPDEST
00001a13: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a28: DUP5
00001a29: DUP2
00001a2a: AND
00001a2b: PUSH1 0x00
00001a2d: SWAP1
00001a2e: DUP2
00001a2f: MSTORE
00001a30: PUSH1 0x04
00001a32: PUSH1 0x20
00001a34: SWAP1
00001a35: DUP2
00001a36: MSTORE
00001a37: PUSH1 0x40
00001a39: DUP1
00001a3a: DUP4
00001a3b: KECCAK256
00001a3c: DUP1
00001a3d: SLOAD
00001a3e: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000
00001a5f: AND
00001a60: PUSH12 0xffffffffffffffffffffffff
00001a6d: SWAP7
00001a6e: DUP8
00001a6f: AND
00001a70: OR
00001a71: SWAP1
00001a72: SSTORE
00001a73: SWAP3
00001a74: DUP7
00001a75: AND
00001a76: DUP3
00001a77: MSTORE
00001a78: SWAP1
00001a79: DUP3
00001a7a: SWAP1
00001a7b: KECCAK256
00001a7c: SLOAD
00001a7d: DUP3
00001a7e: MLOAD
00001a7f: PUSH1 0x60
00001a81: DUP2
00001a82: ADD
00001a83: SWAP1
00001a84: SWAP4
00001a85: MSTORE
00001a86: PUSH1 0x31
00001a88: DUP1
00001a89: DUP5
00001a8a: MSTORE
00001a8b: PUSH2 0x1aa4
00001a8e: SWAP5
00001a8f: SWAP2
00001a90: SWAP1
00001a91: SWAP2
00001a92: AND
00001a93: SWAP3
00001a94: DUP6
00001a95: SWAP3
00001a96: SWAP1
00001a97: SWAP2
00001a98: SWAP1
00001a99: PUSH2 0x320e
00001a9c: SWAP1
00001a9d: DUP4
00001a9e: ADD
00001a9f: CODECOPY
00001aa0: PUSH2 0x1c66
00001aa3: JUMP
00001aa4: JUMPDEST
00001aa5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aba: DUP4
00001abb: DUP2
00001abc: AND
00001abd: PUSH1 0x00
00001abf: DUP2
00001ac0: DUP2
00001ac1: MSTORE
00001ac2: PUSH1 0x04
00001ac4: PUSH1 0x20
00001ac6: MSTORE
00001ac7: PUSH1 0x40
00001ac9: SWAP1
00001aca: DUP2
00001acb: SWAP1
00001acc: KECCAK256
00001acd: DUP1
00001ace: SLOAD
00001acf: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000
00001af0: AND
00001af1: PUSH12 0xffffffffffffffffffffffff
00001afe: SWAP6
00001aff: SWAP1
00001b00: SWAP6
00001b01: AND
00001b02: SWAP5
00001b03: SWAP1
00001b04: SWAP5
00001b05: OR
00001b06: SWAP1
00001b07: SWAP4
00001b08: SSTORE
00001b09: SWAP2
00001b0a: MLOAD
00001b0b: SWAP1
00001b0c: DUP6
00001b0d: AND
00001b0e: SWAP1
00001b0f: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001b30: SWAP1
00001b31: PUSH2 0x1b3b
00001b34: SWAP1
00001b35: DUP6
00001b36: SWAP1
00001b37: PUSH2 0x2f31
00001b3a: JUMP
00001b3b: JUMPDEST
00001b3c: PUSH1 0x40
00001b3e: MLOAD
00001b3f: DUP1
00001b40: SWAP2
00001b41: SUB
00001b42: SWAP1
00001b43: LOG3
00001b44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b59: DUP1
00001b5a: DUP5
00001b5b: AND
00001b5c: PUSH1 0x00
00001b5e: SWAP1
00001b5f: DUP2
00001b60: MSTORE
00001b61: PUSH1 0x05
00001b63: PUSH1 0x20
00001b65: MSTORE
00001b66: PUSH1 0x40
00001b68: DUP1
00001b69: DUP3
00001b6a: KECCAK256
00001b6b: SLOAD
00001b6c: DUP6
00001b6d: DUP5
00001b6e: AND
00001b6f: DUP4
00001b70: MSTORE
00001b71: SWAP2
00001b72: KECCAK256
00001b73: SLOAD
00001b74: PUSH2 0x1b82
00001b77: SWAP3
00001b78: SWAP2
00001b79: DUP3
00001b7a: AND
00001b7b: SWAP2
00001b7c: AND
00001b7d: DUP4
00001b7e: PUSH2 0x1cc1
00001b81: JUMP
00001b82: JUMPDEST
00001b83: POP
00001b84: POP
00001b85: POP
00001b86: JUMP
00001b87: JUMPDEST
00001b88: PUSH1 0x00
00001b8a: DUP3
00001b8b: DUP3
00001b8c: ADD
00001b8d: DUP4
00001b8e: DUP2
00001b8f: LT
00001b90: ISZERO
00001b91: PUSH2 0x1040
00001b94: JUMPI
00001b95: PUSH1 0x40
00001b97: MLOAD
00001b98: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001bb9: DUP2
00001bba: MSTORE
00001bbb: PUSH1 0x04
00001bbd: ADD
00001bbe: PUSH2 0x0783
00001bc1: SWAP1
00001bc2: PUSH2 0x2a06
00001bc5: JUMP
00001bc6: JUMPDEST
00001bc7: PUSH1 0x00
00001bc9: DUP3
00001bca: PUSH2 0x1bd5
00001bcd: JUMPI
00001bce: POP
00001bcf: PUSH1 0x00
00001bd1: PUSH2 0x0556
00001bd4: JUMP
00001bd5: JUMPDEST
00001bd6: DUP3
00001bd7: DUP3
00001bd8: MUL
00001bd9: DUP3
00001bda: DUP5
00001bdb: DUP3
00001bdc: DUP2
00001bdd: PUSH2 0x1be2
00001be0: JUMPI
00001be1: INVALID
00001be2: JUMPDEST
00001be3: DIV
00001be4: EQ
00001be5: PUSH2 0x1040
00001be8: JUMPI
00001be9: PUSH1 0x40
00001beb: MLOAD
00001bec: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c0d: DUP2
00001c0e: MSTORE
00001c0f: PUSH1 0x04
00001c11: ADD
00001c12: PUSH2 0x0783
00001c15: SWAP1
00001c16: PUSH2 0x2c54
00001c19: JUMP
00001c1a: JUMPDEST
00001c1b: PUSH1 0x00
00001c1d: DUP1
00001c1e: DUP3
00001c1f: GT
00001c20: PUSH2 0x1c55
00001c23: JUMPI
00001c24: PUSH1 0x40
00001c26: MLOAD
00001c27: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001c48: DUP2
00001c49: MSTORE
00001c4a: PUSH1 0x04
00001c4c: ADD
00001c4d: PUSH2 0x0783
00001c50: SWAP1
00001c51: PUSH2 0x2a9a
00001c54: JUMP
00001c55: JUMPDEST
00001c56: DUP2
00001c57: DUP4
00001c58: DUP2
00001c59: PUSH2 0x1c5e
00001c5c: JUMPI
00001c5d: INVALID
00001c5e: JUMPDEST
00001c5f: DIV
00001c60: SWAP4
00001c61: SWAP3
00001c62: POP
00001c63: POP
00001c64: POP
00001c65: JUMP
00001c66: JUMPDEST
00001c67: PUSH1 0x00
00001c69: DUP4
00001c6a: DUP4
00001c6b: ADD
00001c6c: DUP3
00001c6d: PUSH12 0xffffffffffffffffffffffff
00001c7a: DUP1
00001c7b: DUP8
00001c7c: AND
00001c7d: SWAP1
00001c7e: DUP4
00001c7f: AND
00001c80: LT
00001c81: ISZERO
00001c82: PUSH2 0x1cb8
00001c85: JUMPI
00001c86: PUSH1 0x40
00001c88: MLOAD
00001c89: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001caa: DUP2
00001cab: MSTORE
00001cac: PUSH1 0x04
00001cae: ADD
00001caf: PUSH2 0x0783
00001cb2: SWAP2
00001cb3: SWAP1
00001cb4: PUSH2 0x28db
00001cb7: JUMP
00001cb8: JUMPDEST
00001cb9: POP
00001cba: SWAP5
00001cbb: SWAP4
00001cbc: POP
00001cbd: POP
00001cbe: POP
00001cbf: POP
00001cc0: JUMP
00001cc1: JUMPDEST
00001cc2: DUP2
00001cc3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cd8: AND
00001cd9: DUP4
00001cda: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cef: AND
00001cf0: EQ
00001cf1: ISZERO
00001cf2: DUP1
00001cf3: ISZERO
00001cf4: PUSH2 0x1d0b
00001cf7: JUMPI
00001cf8: POP
00001cf9: PUSH1 0x00
00001cfb: DUP2
00001cfc: PUSH12 0xffffffffffffffffffffffff
00001d09: AND
00001d0a: GT
00001d0b: JUMPDEST
00001d0c: ISZERO
00001d0d: PUSH2 0x1b82
00001d10: JUMPI
00001d11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d26: DUP4
00001d27: AND
00001d28: ISZERO
00001d29: PUSH2 0x1e0e
00001d2c: JUMPI
00001d2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d42: DUP4
00001d43: AND
00001d44: PUSH1 0x00
00001d46: SWAP1
00001d47: DUP2
00001d48: MSTORE
00001d49: PUSH1 0x07
00001d4b: PUSH1 0x20
00001d4d: MSTORE
00001d4e: PUSH1 0x40
00001d50: DUP2
00001d51: KECCAK256
00001d52: SLOAD
00001d53: PUSH4 0xffffffff
00001d58: AND
00001d59: SWAP1
00001d5a: DUP2
00001d5b: PUSH2 0x1d65
00001d5e: JUMPI
00001d5f: PUSH1 0x00
00001d61: PUSH2 0x1dd5
00001d64: JUMP
00001d65: JUMPDEST
00001d66: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d7b: DUP6
00001d7c: AND
00001d7d: PUSH1 0x00
00001d7f: SWAP1
00001d80: DUP2
00001d81: MSTORE
00001d82: PUSH1 0x06
00001d84: PUSH1 0x20
00001d86: SWAP1
00001d87: DUP2
00001d88: MSTORE
00001d89: PUSH1 0x40
00001d8b: DUP1
00001d8c: DUP4
00001d8d: KECCAK256
00001d8e: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001daf: DUP7
00001db0: ADD
00001db1: PUSH4 0xffffffff
00001db6: AND
00001db7: DUP5
00001db8: MSTORE
00001db9: SWAP1
00001dba: SWAP2
00001dbb: MSTORE
00001dbc: SWAP1
00001dbd: KECCAK256
00001dbe: SLOAD
00001dbf: PUSH5 0x0100000000
00001dc5: SWAP1
00001dc6: DIV
00001dc7: PUSH12 0xffffffffffffffffffffffff
00001dd4: AND
00001dd5: JUMPDEST
00001dd6: SWAP1
00001dd7: POP
00001dd8: PUSH1 0x00
00001dda: PUSH2 0x1dfc
00001ddd: DUP3
00001dde: DUP6
00001ddf: PUSH1 0x40
00001de1: MLOAD
00001de2: DUP1
00001de3: PUSH1 0x60
00001de5: ADD
00001de6: PUSH1 0x40
00001de8: MSTORE
00001de9: DUP1
00001dea: PUSH1 0x29
00001dec: DUP2
00001ded: MSTORE
00001dee: PUSH1 0x20
00001df0: ADD
00001df1: PUSH2 0x31c2
00001df4: PUSH1 0x29
00001df6: SWAP2
00001df7: CODECOPY
00001df8: PUSH2 0x18b8
00001dfb: JUMP
00001dfc: JUMPDEST
00001dfd: SWAP1
00001dfe: POP
00001dff: PUSH2 0x1e0a
00001e02: DUP7
00001e03: DUP5
00001e04: DUP5
00001e05: DUP5
00001e06: PUSH2 0x2182
00001e09: JUMP
00001e0a: JUMPDEST
00001e0b: POP
00001e0c: POP
00001e0d: POP
00001e0e: JUMPDEST
00001e0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e24: DUP3
00001e25: AND
00001e26: ISZERO
00001e27: PUSH2 0x1b82
00001e2a: JUMPI
00001e2b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e40: DUP3
00001e41: AND
00001e42: PUSH1 0x00
00001e44: SWAP1
00001e45: DUP2
00001e46: MSTORE
00001e47: PUSH1 0x07
00001e49: PUSH1 0x20
00001e4b: MSTORE
00001e4c: PUSH1 0x40
00001e4e: DUP2
00001e4f: KECCAK256
00001e50: SLOAD
00001e51: PUSH4 0xffffffff
00001e56: AND
00001e57: SWAP1
00001e58: DUP2
00001e59: PUSH2 0x1e63
00001e5c: JUMPI
00001e5d: PUSH1 0x00
00001e5f: PUSH2 0x1ed3
00001e62: JUMP
00001e63: JUMPDEST
00001e64: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e79: DUP5
00001e7a: AND
00001e7b: PUSH1 0x00
00001e7d: SWAP1
00001e7e: DUP2
00001e7f: MSTORE
00001e80: PUSH1 0x06
00001e82: PUSH1 0x20
00001e84: SWAP1
00001e85: DUP2
00001e86: MSTORE
00001e87: PUSH1 0x40
00001e89: DUP1
00001e8a: DUP4
00001e8b: KECCAK256
00001e8c: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001ead: DUP7
00001eae: ADD
00001eaf: PUSH4 0xffffffff
00001eb4: AND
00001eb5: DUP5
00001eb6: MSTORE
00001eb7: SWAP1
00001eb8: SWAP2
00001eb9: MSTORE
00001eba: SWAP1
00001ebb: KECCAK256
00001ebc: SLOAD
00001ebd: PUSH5 0x0100000000
00001ec3: SWAP1
00001ec4: DIV
00001ec5: PUSH12 0xffffffffffffffffffffffff
00001ed2: AND
00001ed3: JUMPDEST
00001ed4: SWAP1
00001ed5: POP
00001ed6: PUSH1 0x00
00001ed8: PUSH2 0x1efa
00001edb: DUP3
00001edc: DUP6
00001edd: PUSH1 0x40
00001edf: MLOAD
00001ee0: DUP1
00001ee1: PUSH1 0x60
00001ee3: ADD
00001ee4: PUSH1 0x40
00001ee6: MSTORE
00001ee7: DUP1
00001ee8: PUSH1 0x28
00001eea: DUP2
00001eeb: MSTORE
00001eec: PUSH1 0x20
00001eee: ADD
00001eef: PUSH2 0x30f7
00001ef2: PUSH1 0x28
00001ef4: SWAP2
00001ef5: CODECOPY
00001ef6: PUSH2 0x1c66
00001ef9: JUMP
00001efa: JUMPDEST
00001efb: SWAP1
00001efc: POP
00001efd: PUSH2 0x12c4
00001f00: DUP6
00001f01: DUP5
00001f02: DUP5
00001f03: DUP5
00001f04: PUSH2 0x2182
00001f07: JUMP
00001f08: JUMPDEST
00001f09: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f1e: DUP3
00001f1f: AND
00001f20: PUSH2 0x1f55
00001f23: JUMPI
00001f24: PUSH1 0x40
00001f26: MLOAD
00001f27: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001f48: DUP2
00001f49: MSTORE
00001f4a: PUSH1 0x04
00001f4c: ADD
00001f4d: PUSH2 0x0783
00001f50: SWAP1
00001f51: PUSH2 0x2cb1
00001f54: JUMP
00001f55: JUMPDEST
00001f56: PUSH1 0x00
00001f58: PUSH2 0x1f7b
00001f5b: PUSH1 0x00
00001f5d: SLOAD
00001f5e: PUSH1 0x40
00001f60: MLOAD
00001f61: DUP1
00001f62: PUSH1 0x60
00001f64: ADD
00001f65: PUSH1 0x40
00001f67: MSTORE
00001f68: DUP1
00001f69: PUSH1 0x28
00001f6b: DUP2
00001f6c: MSTORE
00001f6d: PUSH1 0x20
00001f6f: ADD
00001f70: PUSH2 0x3170
00001f73: PUSH1 0x28
00001f75: SWAP2
00001f76: CODECOPY
00001f77: PUSH2 0x1866
00001f7a: JUMP
00001f7b: JUMPDEST
00001f7c: SWAP1
00001f7d: POP
00001f7e: PUSH2 0x1fa0
00001f81: DUP2
00001f82: DUP4
00001f83: PUSH1 0x40
00001f85: MLOAD
00001f86: DUP1
00001f87: PUSH1 0x60
00001f89: ADD
00001f8a: PUSH1 0x40
00001f8c: MSTORE
00001f8d: DUP1
00001f8e: PUSH1 0x28
00001f90: DUP2
00001f91: MSTORE
00001f92: PUSH1 0x20
00001f94: ADD
00001f95: PUSH2 0x3148
00001f98: PUSH1 0x28
00001f9a: SWAP2
00001f9b: CODECOPY
00001f9c: PUSH2 0x18b8
00001f9f: JUMP
00001fa0: JUMPDEST
00001fa1: PUSH12 0xffffffffffffffffffffffff
00001fae: SWAP1
00001faf: DUP2
00001fb0: AND
00001fb1: PUSH1 0x00
00001fb3: SWAP1
00001fb4: DUP2
00001fb5: SSTORE
00001fb6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fcb: DUP6
00001fcc: AND
00001fcd: DUP2
00001fce: MSTORE
00001fcf: PUSH1 0x04
00001fd1: PUSH1 0x20
00001fd3: SWAP1
00001fd4: DUP2
00001fd5: MSTORE
00001fd6: PUSH1 0x40
00001fd8: SWAP2
00001fd9: DUP3
00001fda: SWAP1
00001fdb: KECCAK256
00001fdc: SLOAD
00001fdd: DUP3
00001fde: MLOAD
00001fdf: PUSH1 0x60
00001fe1: DUP2
00001fe2: ADD
00001fe3: SWAP1
00001fe4: SWAP4
00001fe5: MSTORE
00001fe6: PUSH1 0x24
00001fe8: DUP1
00001fe9: DUP5
00001fea: MSTORE
00001feb: PUSH2 0x2004
00001fee: SWAP5
00001fef: SWAP2
00001ff0: SWAP1
00001ff1: SWAP2
00001ff2: AND
00001ff3: SWAP3
00001ff4: DUP7
00001ff5: SWAP3
00001ff6: SWAP1
00001ff7: SWAP2
00001ff8: SWAP1
00001ff9: PUSH2 0x2fb8
00001ffc: SWAP1
00001ffd: DUP4
00001ffe: ADD
00001fff: CODECOPY
00002000: PUSH2 0x18b8
00002003: JUMP
00002004: JUMPDEST
00002005: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000201a: DUP5
0000201b: AND
0000201c: PUSH1 0x00
0000201e: DUP2
0000201f: DUP2
00002020: MSTORE
00002021: PUSH1 0x04
00002023: PUSH1 0x20
00002025: MSTORE
00002026: PUSH1 0x40
00002028: DUP1
00002029: DUP3
0000202a: KECCAK256
0000202b: DUP1
0000202c: SLOAD
0000202d: PUSH32 0xffffffffffffffffffffffffffffffffffffffff000000000000000000000000
0000204e: AND
0000204f: PUSH12 0xffffffffffffffffffffffff
0000205c: SWAP6
0000205d: SWAP1
0000205e: SWAP6
0000205f: AND
00002060: SWAP5
00002061: SWAP1
00002062: SWAP5
00002063: OR
00002064: SWAP1
00002065: SWAP4
00002066: SSTORE
00002067: SWAP2
00002068: MLOAD
00002069: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000208a: SWAP1
0000208b: PUSH2 0x2095
0000208e: SWAP1
0000208f: DUP7
00002090: SWAP1
00002091: PUSH2 0x2f31
00002094: JUMP
00002095: JUMPDEST
00002096: PUSH1 0x40
00002098: MLOAD
00002099: DUP1
0000209a: SWAP2
0000209b: SUB
0000209c: SWAP1
0000209d: LOG3
0000209e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020b3: DUP1
000020b4: DUP5
000020b5: AND
000020b6: PUSH1 0x00
000020b8: SWAP1
000020b9: DUP2
000020ba: MSTORE
000020bb: PUSH1 0x05
000020bd: PUSH1 0x20
000020bf: MSTORE
000020c0: PUSH1 0x40
000020c2: DUP2
000020c3: KECCAK256
000020c4: SLOAD
000020c5: PUSH2 0x1b82
000020c8: SWAP3
000020c9: AND
000020ca: SWAP1
000020cb: DUP5
000020cc: PUSH2 0x1cc1
000020cf: JUMP
000020d0: JUMPDEST
000020d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020e6: DUP1
000020e7: DUP4
000020e8: AND
000020e9: PUSH1 0x00
000020eb: DUP2
000020ec: DUP2
000020ed: MSTORE
000020ee: PUSH1 0x05
000020f0: PUSH1 0x20
000020f2: DUP2
000020f3: DUP2
000020f4: MSTORE
000020f5: PUSH1 0x40
000020f7: DUP1
000020f8: DUP5
000020f9: KECCAK256
000020fa: DUP1
000020fb: SLOAD
000020fc: PUSH1 0x04
000020fe: DUP5
000020ff: MSTORE
00002100: DUP3
00002101: DUP7
00002102: KECCAK256
00002103: SLOAD
00002104: SWAP5
00002105: SWAP1
00002106: SWAP4
00002107: MSTORE
00002108: DUP8
00002109: DUP8
0000210a: AND
0000210b: PUSH32 0xffffffffffffffffffffffff0000000000000000000000000000000000000000
0000212c: DUP5
0000212d: AND
0000212e: DUP2
0000212f: OR
00002130: SWAP1
00002131: SWAP2
00002132: SSTORE
00002133: SWAP1
00002134: MLOAD
00002135: SWAP2
00002136: SWAP1
00002137: SWAP6
00002138: AND
00002139: SWAP5
0000213a: PUSH12 0xffffffffffffffffffffffff
00002147: SWAP1
00002148: SWAP3
00002149: AND
0000214a: SWAP4
0000214b: SWAP2
0000214c: SWAP3
0000214d: DUP6
0000214e: SWAP3
0000214f: SWAP2
00002150: PUSH32 0x3134e8a2e6d97e929a7e54011ea5485d7d196dd5f0ba4d4ef95803e8e3fc257f
00002171: SWAP2
00002172: SWAP1
00002173: LOG4
00002174: PUSH2 0x0a2d
00002177: DUP3
00002178: DUP5
00002179: DUP4
0000217a: PUSH2 0x1cc1
0000217d: JUMP
0000217e: JUMPDEST
0000217f: CHAINID
00002180: SWAP1
00002181: JUMP
00002182: JUMPDEST
00002183: PUSH1 0x00
00002185: PUSH2 0x21a6
00002188: NUMBER
00002189: PUSH1 0x40
0000218b: MLOAD
0000218c: DUP1
0000218d: PUSH1 0x60
0000218f: ADD
00002190: PUSH1 0x40
00002192: MSTORE
00002193: DUP1
00002194: PUSH1 0x35
00002196: DUP2
00002197: MSTORE
00002198: PUSH1 0x20
0000219a: ADD
0000219b: PUSH2 0x308b
0000219e: PUSH1 0x35
000021a0: SWAP2
000021a1: CODECOPY
000021a2: PUSH2 0x23ec
000021a5: JUMP
000021a6: JUMPDEST
000021a7: SWAP1
000021a8: POP
000021a9: PUSH1 0x00
000021ab: DUP5
000021ac: PUSH4 0xffffffff
000021b1: AND
000021b2: GT
000021b3: DUP1
000021b4: ISZERO
000021b5: PUSH2 0x221a
000021b8: JUMPI
000021b9: POP
000021ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000021cf: DUP6
000021d0: AND
000021d1: PUSH1 0x00
000021d3: SWAP1
000021d4: DUP2
000021d5: MSTORE
000021d6: PUSH1 0x06
000021d8: PUSH1 0x20
000021da: SWAP1
000021db: DUP2
000021dc: MSTORE
000021dd: PUSH1 0x40
000021df: DUP1
000021e0: DUP4
000021e1: KECCAK256
000021e2: PUSH4 0xffffffff
000021e7: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002208: DUP10
00002209: ADD
0000220a: DUP2
0000220b: AND
0000220c: DUP6
0000220d: MSTORE
0000220e: SWAP3
0000220f: MSTORE
00002210: SWAP1
00002211: SWAP2
00002212: KECCAK256
00002213: SLOAD
00002214: DUP3
00002215: DUP3
00002216: AND
00002217: SWAP2
00002218: AND
00002219: EQ
0000221a: JUMPDEST
0000221b: ISZERO
0000221c: PUSH2 0x22b9
0000221f: JUMPI
00002220: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002235: DUP6
00002236: AND
00002237: PUSH1 0x00
00002239: SWAP1
0000223a: DUP2
0000223b: MSTORE
0000223c: PUSH1 0x06
0000223e: PUSH1 0x20
00002240: SWAP1
00002241: DUP2
00002242: MSTORE
00002243: PUSH1 0x40
00002245: DUP1
00002246: DUP4
00002247: KECCAK256
00002248: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002269: DUP9
0000226a: ADD
0000226b: PUSH4 0xffffffff
00002270: AND
00002271: DUP5
00002272: MSTORE
00002273: SWAP1
00002274: SWAP2
00002275: MSTORE
00002276: SWAP1
00002277: KECCAK256
00002278: DUP1
00002279: SLOAD
0000227a: PUSH32 0xffffffffffffffffffffffffffffffff000000000000000000000000ffffffff
0000229b: AND
0000229c: PUSH5 0x0100000000
000022a2: PUSH12 0xffffffffffffffffffffffff
000022af: DUP6
000022b0: AND
000022b1: MUL
000022b2: OR
000022b3: SWAP1
000022b4: SSTORE
000022b5: PUSH2 0x2395
000022b8: JUMP
000022b9: JUMPDEST
000022ba: PUSH1 0x40
000022bc: DUP1
000022bd: MLOAD
000022be: DUP1
000022bf: DUP3
000022c0: ADD
000022c1: DUP3
000022c2: MSTORE
000022c3: PUSH4 0xffffffff
000022c8: DUP1
000022c9: DUP5
000022ca: AND
000022cb: DUP3
000022cc: MSTORE
000022cd: PUSH12 0xffffffffffffffffffffffff
000022da: DUP1
000022db: DUP7
000022dc: AND
000022dd: PUSH1 0x20
000022df: DUP1
000022e0: DUP6
000022e1: ADD
000022e2: SWAP2
000022e3: DUP3
000022e4: MSTORE
000022e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022fa: DUP12
000022fb: AND
000022fc: PUSH1 0x00
000022fe: DUP2
000022ff: DUP2
00002300: MSTORE
00002301: PUSH1 0x06
00002303: DUP4
00002304: MSTORE
00002305: DUP8
00002306: DUP2
00002307: KECCAK256
00002308: DUP13
00002309: DUP8
0000230a: AND
0000230b: DUP3
0000230c: MSTORE
0000230d: DUP4
0000230e: MSTORE
0000230f: DUP8
00002310: DUP2
00002311: KECCAK256
00002312: SWAP7
00002313: MLOAD
00002314: DUP8
00002315: SLOAD
00002316: SWAP5
00002317: MLOAD
00002318: SWAP1
00002319: SWAP6
0000231a: AND
0000231b: PUSH5 0x0100000000
00002321: MUL
00002322: PUSH32 0xffffffffffffffffffffffffffffffff000000000000000000000000ffffffff
00002343: SWAP6
00002344: DUP8
00002345: AND
00002346: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff00000000
00002367: SWAP6
00002368: DUP7
00002369: AND
0000236a: OR
0000236b: SWAP6
0000236c: SWAP1
0000236d: SWAP6
0000236e: AND
0000236f: SWAP5
00002370: SWAP1
00002371: SWAP5
00002372: OR
00002373: SWAP1
00002374: SWAP6
00002375: SSTORE
00002376: SWAP4
00002377: DUP3
00002378: MSTORE
00002379: PUSH1 0x07
0000237b: SWAP1
0000237c: SWAP4
0000237d: MSTORE
0000237e: SWAP3
0000237f: SWAP1
00002380: SWAP3
00002381: KECCAK256
00002382: DUP1
00002383: SLOAD
00002384: PUSH1 0x01
00002386: DUP9
00002387: ADD
00002388: SWAP1
00002389: SWAP4
0000238a: AND
0000238b: SWAP3
0000238c: SWAP1
0000238d: SWAP2
0000238e: AND
0000238f: SWAP2
00002390: SWAP1
00002391: SWAP2
00002392: OR
00002393: SWAP1
00002394: SSTORE
00002395: JUMPDEST
00002396: DUP5
00002397: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000023ac: AND
000023ad: PUSH32 0xdec2bacdd2f05b59de34da9b523dff8be42e5e38e818c82fdb0bae774387a724
000023ce: DUP5
000023cf: DUP5
000023d0: PUSH1 0x40
000023d2: MLOAD
000023d3: PUSH2 0x23dd
000023d6: SWAP3
000023d7: SWAP2
000023d8: SWAP1
000023d9: PUSH2 0x2f4a
000023dc: JUMP
000023dd: JUMPDEST
000023de: PUSH1 0x40
000023e0: MLOAD
000023e1: DUP1
000023e2: SWAP2
000023e3: SUB
000023e4: SWAP1
000023e5: LOG2
000023e6: POP
000023e7: POP
000023e8: POP
000023e9: POP
000023ea: POP
000023eb: JUMP
000023ec: JUMPDEST
000023ed: PUSH1 0x00
000023ef: DUP2
000023f0: PUSH5 0x0100000000
000023f6: DUP5
000023f7: LT
000023f8: PUSH2 0x18b0
000023fb: JUMPI
000023fc: PUSH1 0x40
000023fe: MLOAD
000023ff: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002420: DUP2
00002421: MSTORE
00002422: PUSH1 0x04
00002424: ADD
00002425: PUSH2 0x0783
00002428: SWAP2
00002429: SWAP1
0000242a: PUSH2 0x28db
0000242d: JUMP
0000242e: JUMPDEST
0000242f: PUSH1 0x40
00002431: DUP1
00002432: MLOAD
00002433: DUP1
00002434: DUP3
00002435: ADD
00002436: SWAP1
00002437: SWAP2
00002438: MSTORE
00002439: PUSH1 0x00
0000243b: DUP1
0000243c: DUP3
0000243d: MSTORE
0000243e: PUSH1 0x20
00002440: DUP3
00002441: ADD
00002442: MSTORE
00002443: SWAP1
00002444: JUMP
00002445: JUMPDEST
00002446: DUP1
00002447: CALLDATALOAD
00002448: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000245d: DUP2
0000245e: AND
0000245f: DUP2
00002460: EQ
00002461: PUSH2 0x0556
00002464: JUMPI
00002465: PUSH1 0x00
00002467: DUP1
00002468: REVERT
00002469: JUMPDEST
0000246a: DUP1
0000246b: CALLDATALOAD
0000246c: PUSH1 0xff
0000246e: DUP2
0000246f: AND
00002470: DUP2
00002471: EQ
00002472: PUSH2 0x0556
00002475: JUMPI
00002476: PUSH1 0x00
00002478: DUP1
00002479: REVERT
0000247a: JUMPDEST
0000247b: PUSH1 0x00
0000247d: PUSH1 0x20
0000247f: DUP3
00002480: DUP5
00002481: SUB
00002482: SLT
00002483: ISZERO
00002484: PUSH2 0x248b
00002487: JUMPI
00002488: DUP1
00002489: DUP2
0000248a: REVERT
0000248b: JUMPDEST
0000248c: PUSH2 0x1040
0000248f: DUP4
00002490: DUP4
00002491: PUSH2 0x2445
00002494: JUMP
00002495: JUMPDEST
00002496: PUSH1 0x00
00002498: DUP1
00002499: PUSH1 0x40
0000249b: DUP4
0000249c: DUP6
0000249d: SUB
0000249e: SLT
0000249f: ISZERO
000024a0: PUSH2 0x24a7
000024a3: JUMPI
000024a4: DUP1
000024a5: DUP2
000024a6: REVERT
000024a7: JUMPDEST
000024a8: PUSH2 0x24b1
000024ab: DUP5
000024ac: DUP5
000024ad: PUSH2 0x2445
000024b0: JUMP
000024b1: JUMPDEST
000024b2: SWAP2
000024b3: POP
000024b4: PUSH2 0x24c0
000024b7: DUP5
000024b8: PUSH1 0x20
000024ba: DUP6
000024bb: ADD
000024bc: PUSH2 0x2445
000024bf: JUMP
000024c0: JUMPDEST
000024c1: SWAP1
000024c2: POP
000024c3: SWAP3
000024c4: POP
000024c5: SWAP3
000024c6: SWAP1
000024c7: POP
000024c8: JUMP
000024c9: JUMPDEST
000024ca: PUSH1 0x00
000024cc: DUP1
000024cd: PUSH1 0x00
000024cf: PUSH1 0x60
000024d1: DUP5
000024d2: DUP7
000024d3: SUB
000024d4: SLT
000024d5: ISZERO
000024d6: PUSH2 0x24dd
000024d9: JUMPI
000024da: DUP1
000024db: DUP2
000024dc: REVERT
000024dd: JUMPDEST
000024de: DUP4
000024df: CALLDATALOAD
000024e0: PUSH2 0x24e8
000024e3: DUP2
000024e4: PUSH2 0x2f69
000024e7: JUMP
000024e8: JUMPDEST
000024e9: SWAP3
000024ea: POP
000024eb: PUSH1 0x20
000024ed: DUP5
000024ee: ADD
000024ef: CALLDATALOAD
000024f0: PUSH2 0x24f8
000024f3: DUP2
000024f4: PUSH2 0x2f69
000024f7: JUMP
000024f8: JUMPDEST
000024f9: SWAP3
000024fa: SWAP6
000024fb: SWAP3
000024fc: SWAP5
000024fd: POP
000024fe: POP
000024ff: POP
00002500: PUSH1 0x40
00002502: SWAP2
00002503: SWAP1
00002504: SWAP2
00002505: ADD
00002506: CALLDATALOAD
00002507: SWAP1
00002508: JUMP
00002509: JUMPDEST
0000250a: PUSH1 0x00
0000250c: DUP1
0000250d: PUSH1 0x00
0000250f: DUP1
00002510: PUSH1 0x00
00002512: DUP1
00002513: PUSH1 0x00
00002515: PUSH1 0xe0
00002517: DUP9
00002518: DUP11
00002519: SUB
0000251a: SLT
0000251b: ISZERO
0000251c: PUSH2 0x2523
0000251f: JUMPI
00002520: DUP3
00002521: DUP4
00002522: REVERT
00002523: JUMPDEST
00002524: PUSH2 0x252d
00002527: DUP10
00002528: DUP10
00002529: PUSH2 0x2445
0000252c: JUMP
0000252d: JUMPDEST
0000252e: SWAP7
0000252f: POP
00002530: PUSH2 0x253c
00002533: DUP10
00002534: PUSH1 0x20
00002536: DUP11
00002537: ADD
00002538: PUSH2 0x2445
0000253b: JUMP
0000253c: JUMPDEST
0000253d: SWAP6
0000253e: POP
0000253f: PUSH1 0x40
00002541: DUP9
00002542: ADD
00002543: CALLDATALOAD
00002544: SWAP5
00002545: POP
00002546: PUSH1 0x60
00002548: DUP9
00002549: ADD
0000254a: CALLDATALOAD
0000254b: SWAP4
0000254c: POP
0000254d: PUSH2 0x2559
00002550: DUP10
00002551: PUSH1 0x80
00002553: DUP11
00002554: ADD
00002555: PUSH2 0x2469
00002558: JUMP
00002559: JUMPDEST
0000255a: SWAP3
0000255b: POP
0000255c: PUSH1 0xa0
0000255e: DUP9
0000255f: ADD
00002560: CALLDATALOAD
00002561: SWAP2
00002562: POP
00002563: PUSH1 0xc0
00002565: DUP9
00002566: ADD
00002567: CALLDATALOAD
00002568: SWAP1
00002569: POP
0000256a: SWAP3
0000256b: SWAP6
0000256c: SWAP9
0000256d: SWAP2
0000256e: SWAP5
0000256f: SWAP8
00002570: POP
00002571: SWAP3
00002572: SWAP6
00002573: POP
00002574: JUMP
00002575: JUMPDEST
00002576: PUSH1 0x00
00002578: DUP1
00002579: PUSH1 0x40
0000257b: DUP4
0000257c: DUP6
0000257d: SUB
0000257e: SLT
0000257f: ISZERO
00002580: PUSH2 0x2587
00002583: JUMPI
00002584: DUP2
00002585: DUP3
00002586: REVERT
00002587: JUMPDEST
00002588: PUSH2 0x2591
0000258b: DUP5
0000258c: DUP5
0000258d: PUSH2 0x2445
00002590: JUMP
00002591: JUMPDEST
00002592: SWAP5
00002593: PUSH1 0x20
00002595: SWAP4
00002596: SWAP1
00002597: SWAP4
00002598: ADD
00002599: CALLDATALOAD
0000259a: SWAP4
0000259b: POP
0000259c: POP
0000259d: POP
0000259e: JUMP
0000259f: JUMPDEST
000025a0: PUSH1 0x00
000025a2: DUP1
000025a3: PUSH1 0x00
000025a5: DUP1
000025a6: PUSH1 0x00
000025a8: DUP1
000025a9: PUSH1 0xc0
000025ab: DUP8
000025ac: DUP10
000025ad: SUB
000025ae: SLT
000025af: ISZERO
000025b0: PUSH2 0x25b7
000025b3: JUMPI
000025b4: DUP2
000025b5: DUP3
000025b6: REVERT
000025b7: JUMPDEST
000025b8: PUSH2 0x25c1
000025bb: DUP9
000025bc: DUP9
000025bd: PUSH2 0x2445
000025c0: JUMP
000025c1: JUMPDEST
000025c2: SWAP6
000025c3: POP
000025c4: PUSH1 0x20
000025c6: DUP8
000025c7: ADD
000025c8: CALLDATALOAD
000025c9: SWAP5
000025ca: POP
000025cb: PUSH1 0x40
000025cd: DUP8
000025ce: ADD
000025cf: CALLDATALOAD
000025d0: SWAP4
000025d1: POP
000025d2: PUSH2 0x25de
000025d5: DUP9
000025d6: PUSH1 0x60
000025d8: DUP10
000025d9: ADD
000025da: PUSH2 0x2469
000025dd: JUMP
000025de: JUMPDEST
000025df: SWAP3
000025e0: POP
000025e1: PUSH1 0x80
000025e3: DUP8
000025e4: ADD
000025e5: CALLDATALOAD
000025e6: SWAP2
000025e7: POP
000025e8: PUSH1 0xa0
000025ea: DUP8
000025eb: ADD
000025ec: CALLDATALOAD
000025ed: SWAP1
000025ee: POP
000025ef: SWAP3
000025f0: SWAP6
000025f1: POP
000025f2: SWAP3
000025f3: SWAP6
000025f4: POP
000025f5: SWAP3
000025f6: SWAP6
000025f7: JUMP
000025f8: JUMPDEST
000025f9: PUSH1 0x00
000025fb: DUP1
000025fc: PUSH1 0x40
000025fe: DUP4
000025ff: DUP6
00002600: SUB
00002601: SLT
00002602: ISZERO
00002603: PUSH2 0x260a
00002606: JUMPI
00002607: DUP2
00002608: DUP3
00002609: REVERT
0000260a: JUMPDEST
0000260b: PUSH2 0x2614
0000260e: DUP5
0000260f: DUP5
00002610: PUSH2 0x2445
00002613: JUMP
00002614: JUMPDEST
00002615: SWAP2
00002616: POP
00002617: PUSH1 0x20
00002619: DUP4
0000261a: ADD
0000261b: CALLDATALOAD
0000261c: PUSH4 0xffffffff
00002621: DUP2
00002622: AND
00002623: DUP2
00002624: EQ
00002625: PUSH2 0x262c
00002628: JUMPI
00002629: DUP2
0000262a: DUP3
0000262b: REVERT
0000262c: JUMPDEST
0000262d: DUP1
0000262e: SWAP2
0000262f: POP
00002630: POP
00002631: SWAP3
00002632: POP
00002633: SWAP3
00002634: SWAP1
00002635: POP
00002636: JUMP
00002637: JUMPDEST
00002638: PUSH1 0x00
0000263a: PUSH1 0x20
0000263c: DUP3
0000263d: DUP5
0000263e: SUB
0000263f: SLT
00002640: ISZERO
00002641: PUSH2 0x2648
00002644: JUMPI
00002645: DUP1
00002646: DUP2
00002647: REVERT
00002648: JUMPDEST
00002649: POP
0000264a: CALLDATALOAD
0000264b: SWAP2
0000264c: SWAP1
0000264d: POP
0000264e: JUMP
0000264f: JUMPDEST
00002650: PUSH32 0x1901000000000000000000000000000000000000000000000000000000000000
00002671: DUP2
00002672: MSTORE
00002673: PUSH1 0x02
00002675: DUP2
00002676: ADD
00002677: SWAP3
00002678: SWAP1
00002679: SWAP3
0000267a: MSTORE
0000267b: PUSH1 0x22
0000267d: DUP3
0000267e: ADD
0000267f: MSTORE
00002680: PUSH1 0x42
00002682: ADD
00002683: SWAP1
00002684: JUMP
00002685: JUMPDEST
00002686: PUSH32 0x5065726d69742861646472657373206f776e65722c6164647265737320737065
000026a7: DUP2
000026a8: MSTORE
000026a9: PUSH32 0x6e6465722c75696e743235362076616c75652c75696e74323536206e6f6e6365
000026ca: PUSH1 0x20
000026cc: DUP3
000026cd: ADD
000026ce: MSTORE
000026cf: PUSH32 0x2c75696e7432353620646561646c696e65290000000000000000000000000000
000026f0: PUSH1 0x40
000026f2: DUP3
000026f3: ADD
000026f4: MSTORE
000026f5: PUSH1 0x52
000026f7: ADD
000026f8: SWAP1
000026f9: JUMP
000026fa: JUMPDEST
000026fb: PUSH32 0x454950373132446f6d61696e28737472696e67206e616d652c75696e74323536
0000271c: DUP2
0000271d: MSTORE
0000271e: PUSH32 0x20636861696e49642c6164647265737320766572696679696e67436f6e747261
0000273f: PUSH1 0x20
00002741: DUP3
00002742: ADD
00002743: MSTORE
00002744: PUSH32 0x6374290000000000000000000000000000000000000000000000000000000000
00002765: PUSH1 0x40
00002767: DUP3
00002768: ADD
00002769: MSTORE
0000276a: PUSH1 0x43
0000276c: ADD
0000276d: SWAP1
0000276e: JUMP
0000276f: JUMPDEST
00002770: PUSH32 0x44656c65676174696f6e28616464726573732064656c6567617465652c75696e
00002791: DUP2
00002792: MSTORE
00002793: PUSH32 0x74323536206e6f6e63652c75696e743235362065787069727929000000000000
000027b4: PUSH1 0x20
000027b6: DUP3
000027b7: ADD
000027b8: MSTORE
000027b9: PUSH1 0x3a
000027bb: ADD
000027bc: SWAP1
000027bd: JUMP
000027be: JUMPDEST
000027bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027d4: SWAP2
000027d5: SWAP1
000027d6: SWAP2
000027d7: AND
000027d8: DUP2
000027d9: MSTORE
000027da: PUSH1 0x20
000027dc: ADD
000027dd: SWAP1
000027de: JUMP
000027df: JUMPDEST
000027e0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027f5: SWAP3
000027f6: DUP4
000027f7: AND
000027f8: DUP2
000027f9: MSTORE
000027fa: SWAP2
000027fb: AND
000027fc: PUSH1 0x20
000027fe: DUP3
000027ff: ADD
00002800: MSTORE
00002801: PUSH1 0x40
00002803: ADD
00002804: SWAP1
00002805: JUMP
00002806: JUMPDEST
00002807: SWAP1
00002808: ISZERO
00002809: ISZERO
0000280a: DUP2
0000280b: MSTORE
0000280c: PUSH1 0x20
0000280e: ADD
0000280f: SWAP1
00002810: JUMP
00002811: JUMPDEST
00002812: SWAP1
00002813: DUP2
00002814: MSTORE
00002815: PUSH1 0x20
00002817: ADD
00002818: SWAP1
00002819: JUMP
0000281a: JUMPDEST
0000281b: SWAP6
0000281c: DUP7
0000281d: MSTORE
0000281e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002833: SWAP5
00002834: DUP6
00002835: AND
00002836: PUSH1 0x20
00002838: DUP8
00002839: ADD
0000283a: MSTORE
0000283b: SWAP3
0000283c: SWAP1
0000283d: SWAP4
0000283e: AND
0000283f: PUSH1 0x40
00002841: DUP6
00002842: ADD
00002843: MSTORE
00002844: PUSH1 0x60
00002846: DUP5
00002847: ADD
00002848: MSTORE
00002849: PUSH1 0x80
0000284b: DUP4
0000284c: ADD
0000284d: SWAP2
0000284e: SWAP1
0000284f: SWAP2
00002850: MSTORE
00002851: PUSH1 0xa0
00002853: DUP3
00002854: ADD
00002855: MSTORE
00002856: PUSH1 0xc0
00002858: ADD
00002859: SWAP1
0000285a: JUMP
0000285b: JUMPDEST
0000285c: SWAP4
0000285d: DUP5
0000285e: MSTORE
0000285f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002874: SWAP3
00002875: SWAP1
00002876: SWAP3
00002877: AND
00002878: PUSH1 0x20
0000287a: DUP5
0000287b: ADD
0000287c: MSTORE
0000287d: PUSH1 0x40
0000287f: DUP4
00002880: ADD
00002881: MSTORE
00002882: PUSH1 0x60
00002884: DUP3
00002885: ADD
00002886: MSTORE
00002887: PUSH1 0x80
00002889: ADD
0000288a: SWAP1
0000288b: JUMP
0000288c: JUMPDEST
0000288d: SWAP4
0000288e: DUP5
0000288f: MSTORE
00002890: PUSH1 0x20
00002892: DUP5
00002893: ADD
00002894: SWAP3
00002895: SWAP1
00002896: SWAP3
00002897: MSTORE
00002898: PUSH1 0x40
0000289a: DUP4
0000289b: ADD
0000289c: MSTORE
0000289d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028b2: AND
000028b3: PUSH1 0x60
000028b5: DUP3
000028b6: ADD
000028b7: MSTORE
000028b8: PUSH1 0x80
000028ba: ADD
000028bb: SWAP1
000028bc: JUMP
000028bd: JUMPDEST
000028be: SWAP4
000028bf: DUP5
000028c0: MSTORE
000028c1: PUSH1 0xff
000028c3: SWAP3
000028c4: SWAP1
000028c5: SWAP3
000028c6: AND
000028c7: PUSH1 0x20
000028c9: DUP5
000028ca: ADD
000028cb: MSTORE
000028cc: PUSH1 0x40
000028ce: DUP4
000028cf: ADD
000028d0: MSTORE
000028d1: PUSH1 0x60
000028d3: DUP3
000028d4: ADD
000028d5: MSTORE
000028d6: PUSH1 0x80
000028d8: ADD
000028d9: SWAP1
000028da: JUMP
000028db: JUMPDEST
000028dc: PUSH1 0x00
000028de: PUSH1 0x20
000028e0: DUP1
000028e1: DUP4
000028e2: MSTORE
000028e3: DUP4
000028e4: MLOAD
000028e5: DUP1
000028e6: DUP3
000028e7: DUP6
000028e8: ADD
000028e9: MSTORE
000028ea: DUP3
000028eb: JUMPDEST
000028ec: DUP2
000028ed: DUP2
000028ee: LT
000028ef: ISZERO
000028f0: PUSH2 0x2907
000028f3: JUMPI
000028f4: DUP6
000028f5: DUP2
000028f6: ADD
000028f7: DUP4
000028f8: ADD
000028f9: MLOAD
000028fa: DUP6
000028fb: DUP3
000028fc: ADD
000028fd: PUSH1 0x40
000028ff: ADD
00002900: MSTORE
00002901: DUP3
00002902: ADD
00002903: PUSH2 0x28eb
00002906: JUMP
00002907: JUMPDEST
00002908: DUP2
00002909: DUP2
0000290a: GT
0000290b: ISZERO
0000290c: PUSH2 0x2918
0000290f: JUMPI
00002910: DUP4
00002911: PUSH1 0x40
00002913: DUP4
00002914: DUP8
00002915: ADD
00002916: ADD
00002917: MSTORE
00002918: JUMPDEST
00002919: POP
0000291a: PUSH1 0x1f
0000291c: ADD
0000291d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0
0000293e: AND
0000293f: SWAP3
00002940: SWAP1
00002941: SWAP3
00002942: ADD
00002943: PUSH1 0x40
00002945: ADD
00002946: SWAP4
00002947: SWAP3
00002948: POP
00002949: POP
0000294a: POP
0000294b: JUMP
0000294c: JUMPDEST
0000294d: PUSH1 0x20
0000294f: DUP1
00002950: DUP3
00002951: MSTORE
00002952: PUSH1 0x23
00002954: SWAP1
00002955: DUP3
00002956: ADD
00002957: MSTORE
00002958: PUSH32 0x466f7274683a3a64656c656761746542795369673a20696e76616c6964206e6f
00002979: PUSH1 0x40
0000297b: DUP3
0000297c: ADD
0000297d: MSTORE
0000297e: PUSH32 0x6e63650000000000000000000000000000000000000000000000000000000000
0000299f: PUSH1 0x60
000029a1: DUP3
000029a2: ADD
000029a3: MSTORE
000029a4: PUSH1 0x80
000029a6: ADD
000029a7: SWAP1
000029a8: JUMP
000029a9: JUMPDEST
000029aa: PUSH1 0x20
000029ac: DUP1
000029ad: DUP3
000029ae: MSTORE
000029af: PUSH1 0x3f
000029b1: SWAP1
000029b2: DUP3
000029b3: ADD
000029b4: MSTORE
000029b5: PUSH32 0x466f7274683a3a7365744d696e7465723a206f6e6c7920746865206d696e7465
000029d6: PUSH1 0x40
000029d8: DUP3
000029d9: ADD
000029da: MSTORE
000029db: PUSH32 0x722063616e206368616e676520746865206d696e746572206164647265737300
000029fc: PUSH1 0x60
000029fe: DUP3
000029ff: ADD
00002a00: MSTORE
00002a01: PUSH1 0x80
00002a03: ADD
00002a04: SWAP1
00002a05: JUMP
00002a06: JUMPDEST
00002a07: PUSH1 0x20
00002a09: DUP1
00002a0a: DUP3
00002a0b: MSTORE
00002a0c: PUSH1 0x1b
00002a0e: SWAP1
00002a0f: DUP3
00002a10: ADD
00002a11: MSTORE
00002a12: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00002a33: PUSH1 0x40
00002a35: DUP3
00002a36: ADD
00002a37: MSTORE
00002a38: PUSH1 0x60
00002a3a: ADD
00002a3b: SWAP1
00002a3c: JUMP
00002a3d: JUMPDEST
00002a3e: PUSH1 0x20
00002a40: DUP1
00002a41: DUP3
00002a42: MSTORE
00002a43: PUSH1 0x27
00002a45: SWAP1
00002a46: DUP3
00002a47: ADD
00002a48: MSTORE
00002a49: PUSH32 0x466f7274683a3a64656c656761746542795369673a20696e76616c6964207369
00002a6a: PUSH1 0x40
00002a6c: DUP3
00002a6d: ADD
00002a6e: MSTORE
00002a6f: PUSH32 0x676e617475726500000000000000000000000000000000000000000000000000
00002a90: PUSH1 0x60
00002a92: DUP3
00002a93: ADD
00002a94: MSTORE
00002a95: PUSH1 0x80
00002a97: ADD
00002a98: SWAP1
00002a99: JUMP
00002a9a: JUMPDEST
00002a9b: PUSH1 0x20
00002a9d: DUP1
00002a9e: DUP3
00002a9f: MSTORE
00002aa0: PUSH1 0x1a
00002aa2: SWAP1
00002aa3: DUP3
00002aa4: ADD
00002aa5: MSTORE
00002aa6: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00002ac7: PUSH1 0x40
00002ac9: DUP3
00002aca: ADD
00002acb: MSTORE
00002acc: PUSH1 0x60
00002ace: ADD
00002acf: SWAP1
00002ad0: JUMP
00002ad1: JUMPDEST
00002ad2: PUSH1 0x20
00002ad4: DUP1
00002ad5: DUP3
00002ad6: MSTORE
00002ad7: PUSH1 0x3d
00002ad9: SWAP1
00002ada: DUP3
00002adb: ADD
00002adc: MSTORE
00002add: PUSH32 0x466f7274683a3a5f7472616e73666572546f6b656e733a2063616e6e6f742074
00002afe: PUSH1 0x40
00002b00: DUP3
00002b01: ADD
00002b02: MSTORE
00002b03: PUSH32 0x72616e736665722066726f6d20746865207a65726f2061646472657373000000
00002b24: PUSH1 0x60
00002b26: DUP3
00002b27: ADD
00002b28: MSTORE
00002b29: PUSH1 0x80
00002b2b: ADD
00002b2c: SWAP1
00002b2d: JUMP
00002b2e: JUMPDEST
00002b2f: PUSH1 0x20
00002b31: DUP1
00002b32: DUP3
00002b33: MSTORE
00002b34: PUSH1 0x25
00002b36: SWAP1
00002b37: DUP3
00002b38: ADD
00002b39: MSTORE
00002b3a: PUSH32 0x466f7274683a3a6d696e743a206f6e6c7920746865206d696e7465722063616e
00002b5b: PUSH1 0x40
00002b5d: DUP3
00002b5e: ADD
00002b5f: MSTORE
00002b60: PUSH32 0x206d696e74000000000000000000000000000000000000000000000000000000
00002b81: PUSH1 0x60
00002b83: DUP3
00002b84: ADD
00002b85: MSTORE
00002b86: PUSH1 0x80
00002b88: ADD
00002b89: SWAP1
00002b8a: JUMP
00002b8b: JUMPDEST
00002b8c: PUSH1 0x20
00002b8e: DUP1
00002b8f: DUP3
00002b90: MSTORE
00002b91: PUSH1 0x1e
00002b93: SWAP1
00002b94: DUP3
00002b95: ADD
00002b96: MSTORE
00002b97: PUSH32 0x466f7274683a3a6d696e743a206578636565646564206d696e74206361700000
00002bb8: PUSH1 0x40
00002bba: DUP3
00002bbb: ADD
00002bbc: MSTORE
00002bbd: PUSH1 0x60
00002bbf: ADD
00002bc0: SWAP1
00002bc1: JUMP
00002bc2: JUMPDEST
00002bc3: PUSH1 0x20
00002bc5: DUP1
00002bc6: DUP3
00002bc7: MSTORE
00002bc8: PUSH1 0x28
00002bca: SWAP1
00002bcb: DUP3
00002bcc: ADD
00002bcd: MSTORE
00002bce: PUSH32 0x466f7274683a3a6765745072696f72566f7465733a206e6f7420796574206465
00002bef: PUSH1 0x40
00002bf1: DUP3
00002bf2: ADD
00002bf3: MSTORE
00002bf4: PUSH32 0x7465726d696e6564000000000000000000000000000000000000000000000000
00002c15: PUSH1 0x60
00002c17: DUP3
00002c18: ADD
00002c19: MSTORE
00002c1a: PUSH1 0x80
00002c1c: ADD
00002c1d: SWAP1
00002c1e: JUMP
00002c1f: JUMPDEST
00002c20: PUSH1 0x20
00002c22: DUP1
00002c23: DUP3
00002c24: MSTORE
00002c25: DUP2
00002c26: DUP2
00002c27: ADD
00002c28: MSTORE
00002c29: PUSH32 0x466f7274683a3a7065726d69743a207369676e61747572652065787069726564
00002c4a: PUSH1 0x40
00002c4c: DUP3
00002c4d: ADD
00002c4e: MSTORE
00002c4f: PUSH1 0x60
00002c51: ADD
00002c52: SWAP1
00002c53: JUMP
00002c54: JUMPDEST
00002c55: PUSH1 0x20
00002c57: DUP1
00002c58: DUP3
00002c59: MSTORE
00002c5a: PUSH1 0x21
00002c5c: SWAP1
00002c5d: DUP3
00002c5e: ADD
00002c5f: MSTORE
00002c60: PUSH32 0x536166654d6174683a206d756c7469706c69636174696f6e206f766572666c6f
00002c81: PUSH1 0x40
00002c83: DUP3
00002c84: ADD
00002c85: MSTORE
00002c86: PUSH32 0x7700000000000000000000000000000000000000000000000000000000000000
00002ca7: PUSH1 0x60
00002ca9: DUP3
00002caa: ADD
00002cab: MSTORE
00002cac: PUSH1 0x80
00002cae: ADD
00002caf: SWAP1
00002cb0: JUMP
00002cb1: JUMPDEST
00002cb2: PUSH1 0x20
00002cb4: DUP1
00002cb5: DUP3
00002cb6: MSTORE
00002cb7: PUSH1 0x28
00002cb9: SWAP1
00002cba: DUP3
00002cbb: ADD
00002cbc: MSTORE
00002cbd: PUSH32 0x466f7274683a3a5f6275726e3a206275726e2066726f6d20746865207a65726f
00002cde: PUSH1 0x40
00002ce0: DUP3
00002ce1: ADD
00002ce2: MSTORE
00002ce3: PUSH32 0x2061646472657373000000000000000000000000000000000000000000000000
00002d04: PUSH1 0x60
00002d06: DUP3
00002d07: ADD
00002d08: MSTORE
00002d09: PUSH1 0x80
00002d0b: ADD
00002d0c: SWAP1
00002d0d: JUMP
00002d0e: JUMPDEST
00002d0f: PUSH1 0x20
00002d11: DUP1
00002d12: DUP3
00002d13: MSTORE
00002d14: DUP2
00002d15: DUP2
00002d16: ADD
00002d17: MSTORE
00002d18: PUSH32 0x466f7274683a3a7065726d69743a20696e76616c6964207369676e6174757265
00002d39: PUSH1 0x40
00002d3b: DUP3
00002d3c: ADD
00002d3d: MSTORE
00002d3e: PUSH1 0x60
00002d40: ADD
00002d41: SWAP1
00002d42: JUMP
00002d43: JUMPDEST
00002d44: PUSH1 0x20
00002d46: DUP1
00002d47: DUP3
00002d48: MSTORE
00002d49: PUSH1 0x24
00002d4b: SWAP1
00002d4c: DUP3
00002d4d: ADD
00002d4e: MSTORE
00002d4f: PUSH32 0x466f7274683a3a6d696e743a206d696e74696e67206e6f7420616c6c6f776564
00002d70: PUSH1 0x40
00002d72: DUP3
00002d73: ADD
00002d74: MSTORE
00002d75: PUSH32 0x2079657400000000000000000000000000000000000000000000000000000000
00002d96: PUSH1 0x60
00002d98: DUP3
00002d99: ADD
00002d9a: MSTORE
00002d9b: PUSH1 0x80
00002d9d: ADD
00002d9e: SWAP1
00002d9f: JUMP
00002da0: JUMPDEST
00002da1: PUSH1 0x20
00002da3: DUP1
00002da4: DUP3
00002da5: MSTORE
00002da6: PUSH1 0x30
00002da8: SWAP1
00002da9: DUP3
00002daa: ADD
00002dab: MSTORE
00002dac: PUSH32 0x466f7274683a3a6d696e743a2063616e6e6f74207472616e7366657220746f20
00002dcd: PUSH1 0x40
00002dcf: DUP3
00002dd0: ADD
00002dd1: MSTORE
00002dd2: PUSH32 0x746865207a65726f206164647265737300000000000000000000000000000000
00002df3: PUSH1 0x60
00002df5: DUP3
00002df6: ADD
00002df7: MSTORE
00002df8: PUSH1 0x80
00002dfa: ADD
00002dfb: SWAP1
00002dfc: JUMP
00002dfd: JUMPDEST
00002dfe: PUSH1 0x20
00002e00: DUP1
00002e01: DUP3
00002e02: MSTORE
00002e03: PUSH1 0x3b
00002e05: SWAP1
00002e06: DUP3
00002e07: ADD
00002e08: MSTORE
00002e09: PUSH32 0x466f7274683a3a5f7472616e73666572546f6b656e733a2063616e6e6f742074
00002e2a: PUSH1 0x40
00002e2c: DUP3
00002e2d: ADD
00002e2e: MSTORE
00002e2f: PUSH32 0x72616e7366657220746f20746865207a65726f20616464726573730000000000
00002e50: PUSH1 0x60
00002e52: DUP3
00002e53: ADD
00002e54: MSTORE
00002e55: PUSH1 0x80
00002e57: ADD
00002e58: SWAP1
00002e59: JUMP
00002e5a: JUMPDEST
00002e5b: PUSH1 0x20
00002e5d: DUP1
00002e5e: DUP3
00002e5f: MSTORE
00002e60: PUSH1 0x1b
00002e62: SWAP1
00002e63: DUP3
00002e64: ADD
00002e65: MSTORE
00002e66: PUSH32 0x466f7274683a3a7065726d69743a20756e617574686f72697a65640000000000
00002e87: PUSH1 0x40
00002e89: DUP3
00002e8a: ADD
00002e8b: MSTORE
00002e8c: PUSH1 0x60
00002e8e: ADD
00002e8f: SWAP1
00002e90: JUMP
00002e91: JUMPDEST
00002e92: PUSH1 0x20
00002e94: DUP1
00002e95: DUP3
00002e96: MSTORE
00002e97: PUSH1 0x27
00002e99: SWAP1
00002e9a: DUP3
00002e9b: ADD
00002e9c: MSTORE
00002e9d: PUSH32 0x466f7274683a3a64656c656761746542795369673a207369676e617475726520
00002ebe: PUSH1 0x40
00002ec0: DUP3
00002ec1: ADD
00002ec2: MSTORE
00002ec3: PUSH32 0x6578706972656400000000000000000000000000000000000000000000000000
00002ee4: PUSH1 0x60
00002ee6: DUP3
00002ee7: ADD
00002ee8: MSTORE
00002ee9: PUSH1 0x80
00002eeb: ADD
00002eec: SWAP1
00002eed: JUMP
00002eee: JUMPDEST
00002eef: PUSH4 0xffffffff
00002ef4: SWAP2
00002ef5: SWAP1
00002ef6: SWAP2
00002ef7: AND
00002ef8: DUP2
00002ef9: MSTORE
00002efa: PUSH1 0x20
00002efc: ADD
00002efd: SWAP1
00002efe: JUMP
00002eff: JUMPDEST
00002f00: PUSH4 0xffffffff
00002f05: SWAP3
00002f06: SWAP1
00002f07: SWAP3
00002f08: AND
00002f09: DUP3
00002f0a: MSTORE
00002f0b: PUSH12 0xffffffffffffffffffffffff
00002f18: AND
00002f19: PUSH1 0x20
00002f1b: DUP3
00002f1c: ADD
00002f1d: MSTORE
00002f1e: PUSH1 0x40
00002f20: ADD
00002f21: SWAP1
00002f22: JUMP
00002f23: JUMPDEST
00002f24: PUSH1 0xff
00002f26: SWAP2
00002f27: SWAP1
00002f28: SWAP2
00002f29: AND
00002f2a: DUP2
00002f2b: MSTORE
00002f2c: PUSH1 0x20
00002f2e: ADD
00002f2f: SWAP1
00002f30: JUMP
00002f31: JUMPDEST
00002f32: PUSH12 0xffffffffffffffffffffffff
00002f3f: SWAP2
00002f40: SWAP1
00002f41: SWAP2
00002f42: AND
00002f43: DUP2
00002f44: MSTORE
00002f45: PUSH1 0x20
00002f47: ADD
00002f48: SWAP1
00002f49: JUMP
00002f4a: JUMPDEST
00002f4b: PUSH12 0xffffffffffffffffffffffff
00002f58: SWAP3
00002f59: DUP4
00002f5a: AND
00002f5b: DUP2
00002f5c: MSTORE
00002f5d: SWAP2
00002f5e: AND
00002f5f: PUSH1 0x20
00002f61: DUP3
00002f62: ADD
00002f63: MSTORE
00002f64: PUSH1 0x40
00002f66: ADD
00002f67: SWAP1
00002f68: JUMP
00002f69: JUMPDEST
00002f6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f7f: DUP2
00002f80: AND
00002f81: DUP2
00002f82: EQ
00002f83: PUSH2 0x0aa1
00002f86: JUMPI
00002f87: PUSH1 0x00
00002f89: DUP1
00002f8a: REVERT
00002f8b: INVALID
00002f8c: CHAINID
00002f8d: PUSH16 0x7274683a3a6d696e743a206e65772074
00002f9e: PUSH16 0x74616c537570706c7920657863656564
00002faf: PUSH20 0x2039362062697473466f7274683a3a5f6275726e
00002fc4: GASPRICE
00002fc5: KECCAK256
00002fc6: PUSH2 0x6d6f
00002fc9: PUSH22 0x6e7420657863656564732062616c616e6365466f7274
00002fe0: PUSH9 0x3a3a7065726d69743a
00002fea: KECCAK256
00002feb: PUSH2 0x6d6f
00002fee: PUSH22 0x6e7420657863656564732039362062697473466f7274
00003005: PUSH9 0x3a3a7472616e736665
0000300f: PUSH19 0x46726f6d3a207472616e7366657220616d6f75
00003023: PUSH15 0x742065786365656473207370656e64
00003033: PUSH6 0x7220616c6c6f
0000303a: PUSH24 0x616e6365466f7274683a3a617070726f76653a20616d6f75
00003053: PUSH15 0x742065786365656473203936206269
00003063: PUSH21 0x73466f7274683a3a6275726e3a20726177416d6f75
00003079: PUSH15 0x742065786365656473203936206269
00003089: PUSH21 0x73466f7274683a3a5f7772697465436865636b706f
0000309f: PUSH10 0x6e743a20626c6f636b20
000030aa: PUSH15 0x756d62657220657863656564732033
000030ba: ORIGIN
000030bb: KECCAK256
000030bc: PUSH3 0x697473
000030c0: CHAINID
000030c1: PUSH16 0x7274683a3a5f7472616e73666572546f
000030d2: PUSH12 0x656e733a207472616e736665
000030df: PUSH19 0x20616d6f756e7420657863656564732062616c
000030f3: PUSH2 0x6e63
000030f6: PUSH6 0x466f7274683a
000030fd: GASPRICE
000030fe: PUSH0
000030ff: PUSH14 0x6f7665566f7465733a20766f7465
0000310e: KECCAK256
0000310f: PUSH2 0x6d6f
00003112: PUSH22 0x6e74206f766572666c6f7773466f7274683a3a627572
00003129: PUSH15 0x46726f6d3a20616d6f756e74206578
00003139: PUSH4 0x65656473
0000313e: KECCAK256
0000313f: PUSH2 0x6c6c
00003142: PUSH16 0x77616e6365466f7274683a3a5f627572
00003153: PUSH15 0x3a20616d6f756e7420657863656564
00003163: PUSH20 0x20746f74616c537570706c79466f7274683a3a5f
00003178: PUSH3 0x75726e
0000317c: GASPRICE
0000317d: KECCAK256
0000317e: PUSH16 0x6c6420737570706c7920657863656564
0000318f: PUSH20 0x2039362062697473466f7274683a3a6275726e46
000031a4: PUSH19 0x6f6d3a20726177416d6f756e74206578636565
000031b8: PUSH5 0x7320393620
000031be: PUSH3 0x697473
000031c2: CHAINID
000031c3: PUSH16 0x7274683a3a5f6d6f7665566f7465733a
000031d4: KECCAK256
000031d5: PUSH23 0x6f746520616d6f756e7420756e646572666c6f7773466f
000031ed: PUSH19 0x74683a3a6d696e743a20616d6f756e74206578
00003201: PUSH4 0x65656473
00003206: KECCAK256
00003207: CODECOPY
00003208: CALLDATASIZE
00003209: KECCAK256
0000320a: PUSH3 0x697473
0000320e: CHAINID
0000320f: PUSH16 0x7274683a3a5f7472616e73666572546f
00003220: PUSH12 0x656e733a207472616e736665
0000322d: PUSH19 0x20616d6f756e74206f766572666c6f7773466f
00003241: PUSH19 0x74683a3a6d696e743a207472616e7366657220
00003255: PUSH2 0x6d6f
00003258: PUSH22 0x6e74206f766572666c6f7773466f7274683a3a6d696e
0000326f: PUSH21 0x206f6c6420746f74616c537570706c792065786365
00003285: PUSH6 0x647320393620
0000328c: PUSH3 0x697473
00003290: CHAINID
00003291: PUSH16 0x7274683a3a7472616e736665723a2061
000032a2: PUSH14 0x6f756e7420657863656564732039
000032b1: CALLDATASIZE
000032b2: KECCAK256
000032b3: PUSH3 0x697473
000032b7: LOG2
000032b8: PUSH5 0x6970667358
000032be: UNKNOWN(0x22)
000032bf: SLT
000032c0: KECCAK256
000032c1: CALLDATACOPY
000032c2: PUSH11 0x63168431a84cde2cf43ad7
000032ce: UNKNOWN(0xEA)
000032cf: EQ
000032d0: UNKNOWN(0xE0)
000032d1: UNKNOWN(0xCA)
000032d2: PUSH32

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	auth	detector	Authorization based on tx.origin	70	no	—	view validation_json { "reason": "missing sink mapping", "status": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xdd62ed3e", "selector": "0xdd62ed3e", "calldata_variants": [ "0xdd62ed3e", "0xdd62ed3e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe7a324dc", "selector": "0xe7a324dc", "calldata_variants": [ "0xe7a324dc", "0xe7a324dc0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf1127ed8", "selector": "0xf1127ed8", "calldata_variants": [ "0xf1127ed8", "0xf1127ed80000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfca3b5aa", "selector": "0xfca3b5aa", "calldata_variants": [ "0xfca3b5aa", "0xfca3b5aa0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa9059cbb", "selector": "0xa9059cbb", "calldata_variants": [ "0xa9059cbb", "0xa9059cbb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb4b5ea57", "selector": "0xb4b5ea57", "calldata_variants": [ "0xb4b5ea57", "0xb4b5ea570000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc3cda520", "selector": "0xc3cda520", "calldata_variants": [ "0xc3cda520", "0xc3cda5200000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xd505accf", "selector": "0xd505accf", "calldata_variants": [ "0xd505accf", "0xd505accf0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [ { "pc": 12474, "type": "tx_origin_used" } ] }

Severity