TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019bb490-f36f-70c4-96e3-f0e30d2d9ef1

failed
Chain ID
1
Address
Block Number
Created
Mon, Jan 12, 2026 11:35 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?

Confirmed
0
Validated
0
Source
Verified
Review Backing
Present
Best current signal
Approved operator can burn someone else’s NFT and steal the ETH backing
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
40095 artifact.fetch complete 1 / 3 3 months ago
40096 proxy.resolve complete 1 / 3 3 months ago
40097 tool.cast_disasm complete 1 / 3 3 months ago
40098 analysis.bundle complete 1 / 3 3 months ago
40099 capability.graph complete 1 / 3 3 months ago
40100 detector.run complete 1 / 3 3 months ago
40101 validation.fork complete 1 / 3 3 months ago
40230 report.consolidate complete 1 / 6 3 months ago
40231 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-lbwfyide) 'forge config --json' running 'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-lbwfyide) 'forge' returned non-zero exit code 1 2026-01-13T00:44:26.826053Z ERROR foundry_compilers_artifacts_solc::sources: error="/tmp/slither-lbwfyide/lib/openzeppelin-contracts/contracts/security/ReentrancyGuard.sol": No such file or directory (os error 2) stdout: Unable to resolve imports: stdout: "@openzeppelin/contracts/security/ReentrancyGuard.sol" in "/tmp/slither-lbwfyide/contracts/Numba.sol" stdout: with remappings: stdout: openzeppelin-contracts/=/tmp/slither-lbwfyide/lib/openzeppelin-contracts/ stdout: @openzeppelin/contracts/=/tmp/slither-lbwfyide/lib/openzeppelin-contracts/contracts/ Error: Encountered invalid solc version in lib/openzeppelin-contracts/contracts/token/ERC721/ERC721.sol: No solc version exists that matches the version requirement: ^0.8.24 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-lbwfyide/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-lbwfyide)
'forge config --json' running
'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-lbwfyide)
'forge' returned non-zero exit code 1
2026-01-13T00:44:26.826053Z ERROR foundry_compilers_artifacts_solc::sources: error="/tmp/slither-lbwfyide/lib/openzeppelin-contracts/contracts/security/ReentrancyGuard.sol": No such file or directory (os error 2)
stdout: Unable to resolve imports:
stdout:       "@openzeppelin/contracts/security/ReentrancyGuard.sol" in "/tmp/slither-lbwfyide/contracts/Numba.sol"
stdout: with remappings:
stdout:       openzeppelin-contracts/=/tmp/slither-lbwfyide/lib/openzeppelin-contracts/
stdout:       @openzeppelin/contracts/=/tmp/slither-lbwfyide/lib/openzeppelin-contracts/contracts/
Error: Encountered invalid solc version in lib/openzeppelin-contracts/contracts/token/ERC721/ERC721.sol: No solc version exists that matches the version requirement: ^0.8.24
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-lbwfyide/out/build-info is not a directory.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 6
Findings
2
No findings?
no
Summary
Found a high-risk authorization bug in claim-and-burn payouts and a low-risk manipulable randomness source for genesis token IDs.
View stdout
{"no_findings":false,"summary":"Found a high-risk authorization bug in claim-and-burn payouts and a low-risk manipulable randomness source for genesis token IDs.","findings":[{"severity":"high","category":"auth","title":"Approved operator can burn someone else’s NFT and steal the ETH backing","exploit_scenario":"A holder approves an operator (e.g., a marketplace) to manage their NFTs. The operator calls claimAndBurn(tokenId), which succeeds because ERC721Burnable allows approved callers to burn. The function then transfers the backing to msg.sender (the operator), not the token owner, effectively stealing the backing while destroying the user’s NFT.","recommendation":"Pay the backing to the current owner (ownerOf(tokenId)) and/or require msg.sender to be the owner before burning. If you want to allow operators, ensure payout goes to the owner address.","evidence":"claimAndBurn calls burn(tokenId) (approved-or-owner allowed) and then sends ETH to msg.sender.","locations":["contracts/Numba.sol:184","contracts/Numba.sol:186","contracts/Numba.sol:187"]},{"severity":"low","category":"oracle","title":"Predictable/malleable randomness for genesis token assignment","exploit_scenario":"Miners or sophisticated users can influence/guess block.timestamp and block.difficulty (prevrandao) and try multiple accounts/transactions to bias randomIndex, increasing the chance of minting a desired token ID.","recommendation":"Use a more robust randomness source (e.g., commit-reveal, VRF) if token ID randomness is security-relevant or value-sensitive.","evidence":"randomIndex relies on block.difficulty and block.timestamp mixed with msg.sender/nonce.","locations":["contracts/Numba.sol:57","contracts/Numba.sol:60","contracts/Numba.sol:64","contracts/Numba.sol:65"]}]}
View stderr
OpenAI Codex v0.77.0 (research preview)
--------
workdir: /tmp/codex-x6ijhu29
model: gpt-5.2-codex
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: auto
session id: 019bb4ad-2dc5-7da2-b684-bb5ee518ec14
--------
user
You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.

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

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

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

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

================================================================================
FILE: contracts/Numba.sol
================================================================================
/*
 __    __                          __                       
|  \  |  \                        |  \                     
| $$\ | $$ __    __  ______ ____  | $$____    ______        
| $$$\| $$|  \  |  \|      \    \ | $$    \  |      \      
| $$$$\ $$| $$  | $$| $$$$$$\$$$$\| $$$$$$$\  \$$$$$$\     
| $$\$$ $$| $$  | $$| $$ | $$ | $$| $$  | $$ /      $$      
| $$ \$$$$| $$__/ $$| $$ | $$ | $$| $$__/ $$|  $$$$$$$     
| $$  \$$$ \$$    $$| $$ | $$ | $$| $$    $$ \$$    $$      
 \$$   \$$  \$$$$$$  \$$  \$$  \$$ \$$$$$$$   \$$$$$$$      

go up!

https://twitter.com/NumbaNFT


thinking
**Reviewing smart contract vulnerabilities**
thinking
**Summarizing vulnerability assessment details**

I’m organizing the findings into clear severities—highlighting the critical unauthorized payout via claimAndBurn and the lower-risk randomness issues—and planning to gather exact file and line numbers using shell commands to back up the report.
exec
/bin/bash -lc "nl -ba contracts/Numba.sol | sed -n '90,210p'" in /tmp/codex-x6ijhu29 succeeded in 6ms:
    90	        require(
    91	            totalSupply() + numberOfMints <= GENESIS_AMOUNT,
    92	            "Can't mint that much."
    93	        );
    94	        require(
    95	            numberOfMints > 0 && numberOfMints < 11,
    96	            "Too much or too lil."
    97	        );
    98	        require(price * numberOfMints == msg.value, "Hmmm.");
    99	
   100	        for (uint256 i; i < numberOfMints; i++) {
   101	            _safeMint(msg.sender, randomIndex());
   102	            numbaMinted++;
   103	        }
   104	    }
   105	
   106	    function mint() public payable nonReentrant {
   107	        require(numbaMinted > GENESIS_AMOUNT - 1, "Genesis mint is not over.");
   108	        require(msg.value >= price * 3, "Insufficient funds to purchase.");
   109	        if (msg.value > price * 3) {

thinking
**Requesting previous lines for context**
exec
/bin/bash -lc "nl -ba contracts/Numba.sol | sed -n '40,90p'" in /tmp/codex-x6ijhu29 succeeded in 6ms:
    40	    ReentrancyGuard
    41	{
    42	
    43	    uint256 public constant GENESIS_AMOUNT = 1000;
    44	    uint256 public numbaMinted = 0;
    45	    uint256 public price = 0.033 ether;
    46	    uint256 public priceIncrement = 0.001 ether;
    47	    uint256 public devFee = 0.011 ether;
    48	    uint256 public devWithdrawn = 0;
    49	
    50	    mapping(uint256 => uint256) public nextUsable;
    51	
    52	    uint256 internal nonce = 0;
    53	    uint256[GENESIS_AMOUNT] internal indices;
    54	
    55	    constructor() ERC721("Numba", "#") {}
    56	
    57	    function randomIndex() internal returns (uint256) {
    58	        uint256 totalSize = GENESIS_AMOUNT - numbaMinted;
    59	        uint256 index = uint256(

thinking
**Formatting security findings as JSON**

I’m preparing a JSON output summarizing the key security findings with correct severity, category, and other metadata per the codex schema. I want to clearly describe the authorization flaw allowing approved operators to burn and steal backing, plus the randomness predictability with miner/user manipulation potential. I’ll include relevant line numbers and file paths for evidence.
codex
{"no_findings":false,"summary":"Found a high-risk authorization bug in claim-and-burn payouts and a low-risk manipulable randomness source for genesis token IDs.","findings":[{"severity":"high","category":"auth","title":"Approved operator can burn someone else’s NFT and steal the ETH backing","exploit_scenario":"A holder approves an operator (e.g., a marketplace) to manage their NFTs. The operator calls claimAndBurn(tokenId), which succeeds because ERC721Burnable allows approved callers to burn. The function then transfers the backing to msg.sender (the operator), not the token owner, effectively stealing the backing while destroying the user’s NFT.","recommendation":"Pay the backing to the current owner (ownerOf(tokenId)) and/or require msg.sender to be the owner before burning. If you want to allow operators, ensure payout goes to the owner address.","evidence":"claimAndBurn calls burn(tokenId) (approved-or-owner allowed) and then sends ETH to msg.sender.","locations":["contracts/Numba.sol:184","contracts/Numba.sol:186","contracts/Numba.sol:187"]},{"severity":"low","category":"oracle","title":"Predictable/malleable randomness for genesis token assignment","exploit_scenario":"Miners or sophisticated users can influence/guess block.timestamp and block.difficulty (prevrandao) and try multiple accounts/transactions to bias randomIndex, increasing the chance of minting a desired token ID.","recommendation":"Use a more robust randomness source (e.g., commit-reveal, VRF) if token ID randomness is security-relevant or value-sensitive.","evidence":"randomIndex relies on block.difficulty and block.timestamp mixed with msg.sender/nonce.","locations":["contracts/Numba.sol:57","contracts/Numba.sol:60","contracts/Numba.sol:64","contracts/Numba.sol:65"]}]}
tokens used
15,594
Metadata
{
    "codex": {
        "ran_at": "2026-01-13T00:08:26.422891+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "source",
        "file_count": 15,
        "import_count": 19,
        "first_party_contracts_count": 1
    },
    "summary": "Found a high-risk authorization bug in claim-and-burn payouts and a low-risk manipulable randomness source for genesis token IDs.",
    "raw_final": {
        "summary": "Found a high-risk authorization bug in claim-and-burn payouts and a low-risk manipulable randomness source for genesis token IDs.",
        "findings": [
            {
                "title": "Approved operator can burn someone else\u2019s NFT and steal the ETH backing",
                "category": "auth",
                "evidence": "claimAndBurn calls burn(tokenId) (approved-or-owner allowed) and then sends ETH to msg.sender.",
                "severity": "high",
                "locations": [
                    "contracts/Numba.sol:184",
                    "contracts/Numba.sol:186",
                    "contracts/Numba.sol:187"
                ],
                "recommendation": "Pay the backing to the current owner (ownerOf(tokenId)) and/or require msg.sender to be the owner before burning. If you want to allow operators, ensure payout goes to the owner address.",
                "exploit_scenario": "A holder approves an operator (e.g., a marketplace) to manage their NFTs. The operator calls claimAndBurn(tokenId), which succeeds because ERC721Burnable allows approved callers to burn. The function then transfers the backing to msg.sender (the operator), not the token owner, effectively stealing the backing while destroying the user\u2019s NFT."
            },
            {
                "title": "Predictable/malleable randomness for genesis token assignment",
                "category": "oracle",
                "evidence": "randomIndex relies on block.difficulty and block.timestamp mixed with msg.sender/nonce.",
                "severity": "low",
                "locations": [
                    "contracts/Numba.sol:57",
                    "contracts/Numba.sol:60",
                    "contracts/Numba.sol:64",
                    "contracts/Numba.sol:65"
                ],
                "recommendation": "Use a more robust randomness source (e.g., commit-reveal, VRF) if token ID randomness is security-relevant or value-sensitive.",
                "exploit_scenario": "Miners or sophisticated users can influence/guess block.timestamp and block.difficulty (prevrandao) and try multiple accounts/transactions to bias randomIndex, increasing the chance of minting a desired token ID."
            }
        ],
        "no_findings": false
    },
    "no_findings": false,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
4
EXT*/BALANCE
4
Total opcodes
7857
Flags
create_opcodes_present
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0260
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x7a8afcc2
00000019: GT
0000001a: PUSH2 0x0144
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb88d4fde
00000024: GT
00000025: PUSH2 0x00b6
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd30f8fc0
0000002f: GT
00000030: PUSH2 0x007a
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd30f8fc0
0000003a: EQ
0000003b: PUSH2 0x06ad
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xdd7edffa
00000045: EQ
00000046: PUSH2 0x06da
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xdff63243
00000050: EQ
00000051: PUSH2 0x06f0
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xe21f37ce
0000005b: EQ
0000005c: PUSH2 0x0703
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xe985e9c5
00000066: EQ
00000067: PUSH2 0x0738
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0xf2fde38b
00000071: EQ
00000072: PUSH2 0x0781
00000075: JUMPI
00000076: PUSH1 0x00
00000078: DUP1
00000079: REVERT
0000007a: JUMPDEST
0000007b: DUP1
0000007c: PUSH4 0xb88d4fde
00000081: EQ
00000082: PUSH2 0x062e
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xc62c1b97
0000008c: EQ
0000008d: PUSH2 0x064e
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xc75d6daf
00000097: EQ
00000098: PUSH2 0x0663
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xc87b56dd
000000a2: EQ
000000a3: PUSH2 0x0678
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0xcd3293de
000000ad: EQ
000000ae: PUSH2 0x0698
000000b1: JUMPI
000000b2: PUSH1 0x00
000000b4: DUP1
000000b5: REVERT
000000b6: JUMPDEST
000000b7: DUP1
000000b8: PUSH4 0x9e7c75c1
000000bd: GT
000000be: PUSH2 0x0108
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x9e7c75c1
000000c8: EQ
000000c9: PUSH2 0x05a7
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xa035b1fe
000000d3: EQ
000000d4: PUSH2 0x05ba
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xa1943113
000000de: EQ
000000df: PUSH2 0x05d0
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0xa22cb465
000000e9: EQ
000000ea: PUSH2 0x05e6
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0xad606c72
000000f4: EQ
000000f5: PUSH2 0x0606
000000f8: JUMPI
000000f9: DUP1
000000fa: PUSH4 0xad66e52a
000000ff: EQ
00000100: PUSH2 0x061b
00000103: JUMPI
00000104: PUSH1 0x00
00000106: DUP1
00000107: REVERT
00000108: JUMPDEST
00000109: DUP1
0000010a: PUSH4 0x7a8afcc2
0000010f: EQ
00000110: PUSH2 0x0521
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x83ea018d
0000011a: EQ
0000011b: PUSH2 0x0541
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x87d35216
00000125: EQ
00000126: PUSH2 0x0554
00000129: JUMPI
0000012a: DUP1
0000012b: PUSH4 0x8da5cb5b
00000130: EQ
00000131: PUSH2 0x0574
00000134: JUMPI
00000135: DUP1
00000136: PUSH4 0x95d89b41
0000013b: EQ
0000013c: PUSH2 0x0592
0000013f: JUMPI
00000140: PUSH1 0x00
00000142: DUP1
00000143: REVERT
00000144: JUMPDEST
00000145: DUP1
00000146: PUSH4 0x280d62ac
0000014b: GT
0000014c: PUSH2 0x01dd
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x4f6ccce7
00000156: GT
00000157: PUSH2 0x01a1
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x4f6ccce7
00000161: EQ
00000162: PUSH2 0x0483
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x5f648946
0000016c: EQ
0000016d: PUSH2 0x04a3
00000170: JUMPI
00000171: DUP1
00000172: PUSH4 0x6352211e
00000177: EQ
00000178: PUSH2 0x04b6
0000017b: JUMPI
0000017c: DUP1
0000017d: PUSH4 0x6827e764
00000182: EQ
00000183: PUSH2 0x04d6
00000186: JUMPI
00000187: DUP1
00000188: PUSH4 0x70a08231
0000018d: EQ
0000018e: PUSH2 0x04ec
00000191: JUMPI
00000192: DUP1
00000193: PUSH4 0x715018a6
00000198: EQ
00000199: PUSH2 0x050c
0000019c: JUMPI
0000019d: PUSH1 0x00
0000019f: DUP1
000001a0: REVERT
000001a1: JUMPDEST
000001a2: DUP1
000001a3: PUSH4 0x280d62ac
000001a8: EQ
000001a9: PUSH2 0x03e0
000001ac: JUMPI
000001ad: DUP1
000001ae: PUSH4 0x2f745c59
000001b3: EQ
000001b4: PUSH2 0x03f6
000001b7: JUMPI
000001b8: DUP1
000001b9: PUSH4 0x3f349ba4
000001be: EQ
000001bf: PUSH2 0x0416
000001c2: JUMPI
000001c3: DUP1
000001c4: PUSH4 0x42842e0e
000001c9: EQ
000001ca: PUSH2 0x0443
000001cd: JUMPI
000001ce: DUP1
000001cf: PUSH4 0x42966c68
000001d4: EQ
000001d5: PUSH2 0x0463
000001d8: JUMPI
000001d9: PUSH1 0x00
000001db: DUP1
000001dc: REVERT
000001dd: JUMPDEST
000001de: DUP1
000001df: PUSH4 0x0c9dc144
000001e4: GT
000001e5: PUSH2 0x0224
000001e8: JUMPI
000001e9: DUP1
000001ea: PUSH4 0x0c9dc144
000001ef: EQ
000001f0: PUSH2 0x0378
000001f3: JUMPI
000001f4: DUP1
000001f5: PUSH4 0x1249c58b
000001fa: EQ
000001fb: PUSH2 0x038e
000001fe: JUMPI
000001ff: DUP1
00000200: PUSH4 0x1521843e
00000205: EQ
00000206: PUSH2 0x0396
00000209: JUMPI
0000020a: DUP1
0000020b: PUSH4 0x18160ddd
00000210: EQ
00000211: PUSH2 0x03ab
00000214: JUMPI
00000215: DUP1
00000216: PUSH4 0x23b872dd
0000021b: EQ
0000021c: PUSH2 0x03c0
0000021f: JUMPI
00000220: PUSH1 0x00
00000222: DUP1
00000223: REVERT
00000224: JUMPDEST
00000225: DUP1
00000226: PUSH4 0x01ba0260
0000022b: EQ
0000022c: PUSH2 0x02a4
0000022f: JUMPI
00000230: DUP1
00000231: PUSH4 0x01ffc9a7
00000236: EQ
00000237: PUSH2 0x02cc
0000023a: JUMPI
0000023b: DUP1
0000023c: PUSH4 0x06fdde03
00000241: EQ
00000242: PUSH2 0x02fc
00000245: JUMPI
00000246: DUP1
00000247: PUSH4 0x081812fc
0000024c: EQ
0000024d: PUSH2 0x031e
00000250: JUMPI
00000251: DUP1
00000252: PUSH4 0x095ea7b3
00000257: EQ
00000258: PUSH2 0x0356
0000025b: JUMPI
0000025c: PUSH1 0x00
0000025e: DUP1
0000025f: REVERT
00000260: JUMPDEST
00000261: CALLDATASIZE
00000262: PUSH2 0x029f
00000265: JUMPI
00000266: PUSH1 0x40
00000268: DUP1
00000269: MLOAD
0000026a: CALLER
0000026b: DUP2
0000026c: MSTORE
0000026d: CALLVALUE
0000026e: PUSH1 0x20
00000270: DUP3
00000271: ADD
00000272: MSTORE
00000273: PUSH32 0x88a5966d370b9919b20f3e2c13ff65706f196a4e32cc2c12bf57088f88525874
00000294: SWAP2
00000295: ADD
00000296: PUSH1 0x40
00000298: MLOAD
00000299: DUP1
0000029a: SWAP2
0000029b: SUB
0000029c: SWAP1
0000029d: LOG1
0000029e: STOP
0000029f: JUMPDEST
000002a0: PUSH1 0x00
000002a2: DUP1
000002a3: REVERT
000002a4: JUMPDEST
000002a5: CALLVALUE
000002a6: DUP1
000002a7: ISZERO
000002a8: PUSH2 0x02b0
000002ab: JUMPI
000002ac: PUSH1 0x00
000002ae: DUP1
000002af: REVERT
000002b0: JUMPDEST
000002b1: POP
000002b2: PUSH2 0x02b9
000002b5: PUSH2 0x07a1
000002b8: JUMP
000002b9: JUMPDEST
000002ba: PUSH1 0x40
000002bc: MLOAD
000002bd: SWAP1
000002be: DUP2
000002bf: MSTORE
000002c0: PUSH1 0x20
000002c2: ADD
000002c3: JUMPDEST
000002c4: PUSH1 0x40
000002c6: MLOAD
000002c7: DUP1
000002c8: SWAP2
000002c9: SUB
000002ca: SWAP1
000002cb: RETURN
000002cc: JUMPDEST
000002cd: CALLVALUE
000002ce: DUP1
000002cf: ISZERO
000002d0: PUSH2 0x02d8
000002d3: JUMPI
000002d4: PUSH1 0x00
000002d6: DUP1
000002d7: REVERT
000002d8: JUMPDEST
000002d9: POP
000002da: PUSH2 0x02ec
000002dd: PUSH2 0x02e7
000002e0: CALLDATASIZE
000002e1: PUSH1 0x04
000002e3: PUSH2 0x2b96
000002e6: JUMP
000002e7: JUMPDEST
000002e8: PUSH2 0x07ca
000002eb: JUMP
000002ec: JUMPDEST
000002ed: PUSH1 0x40
000002ef: MLOAD
000002f0: SWAP1
000002f1: ISZERO
000002f2: ISZERO
000002f3: DUP2
000002f4: MSTORE
000002f5: PUSH1 0x20
000002f7: ADD
000002f8: PUSH2 0x02c3
000002fb: JUMP
000002fc: JUMPDEST
000002fd: CALLVALUE
000002fe: DUP1
000002ff: ISZERO
00000300: PUSH2 0x0308
00000303: JUMPI
00000304: PUSH1 0x00
00000306: DUP1
00000307: REVERT
00000308: JUMPDEST
00000309: POP
0000030a: PUSH2 0x0311
0000030d: PUSH2 0x07db
00000310: JUMP
00000311: JUMPDEST
00000312: PUSH1 0x40
00000314: MLOAD
00000315: PUSH2 0x02c3
00000318: SWAP2
00000319: SWAP1
0000031a: PUSH2 0x2e20
0000031d: JUMP
0000031e: JUMPDEST
0000031f: CALLVALUE
00000320: DUP1
00000321: ISZERO
00000322: PUSH2 0x032a
00000325: JUMPI
00000326: PUSH1 0x00
00000328: DUP1
00000329: REVERT
0000032a: JUMPDEST
0000032b: POP
0000032c: PUSH2 0x033e
0000032f: PUSH2 0x0339
00000332: CALLDATASIZE
00000333: PUSH1 0x04
00000335: PUSH2 0x2bce
00000338: JUMP
00000339: JUMPDEST
0000033a: PUSH2 0x086d
0000033d: JUMP
0000033e: JUMPDEST
0000033f: PUSH1 0x40
00000341: MLOAD
00000342: PUSH1 0x01
00000344: PUSH1 0x01
00000346: PUSH1 0xa0
00000348: SHL
00000349: SUB
0000034a: SWAP1
0000034b: SWAP2
0000034c: AND
0000034d: DUP2
0000034e: MSTORE
0000034f: PUSH1 0x20
00000351: ADD
00000352: PUSH2 0x02c3
00000355: JUMP
00000356: JUMPDEST
00000357: CALLVALUE
00000358: DUP1
00000359: ISZERO
0000035a: PUSH2 0x0362
0000035d: JUMPI
0000035e: PUSH1 0x00
00000360: DUP1
00000361: REVERT
00000362: JUMPDEST
00000363: POP
00000364: PUSH2 0x0376
00000367: PUSH2 0x0371
0000036a: CALLDATASIZE
0000036b: PUSH1 0x04
0000036d: PUSH2 0x2b6d
00000370: JUMP
00000371: JUMPDEST
00000372: PUSH2 0x0907
00000375: JUMP
00000376: JUMPDEST
00000377: STOP
00000378: JUMPDEST
00000379: CALLVALUE
0000037a: DUP1
0000037b: ISZERO
0000037c: PUSH2 0x0384
0000037f: JUMPI
00000380: PUSH1 0x00
00000382: DUP1
00000383: REVERT
00000384: JUMPDEST
00000385: POP
00000386: PUSH2 0x02b9
00000389: PUSH1 0x0c
0000038b: SLOAD
0000038c: DUP2
0000038d: JUMP
0000038e: JUMPDEST
0000038f: PUSH2 0x0376
00000392: PUSH2 0x0a1d
00000395: JUMP
00000396: JUMPDEST
00000397: CALLVALUE
00000398: DUP1
00000399: ISZERO
0000039a: PUSH2 0x03a2
0000039d: JUMPI
0000039e: PUSH1 0x00
000003a0: DUP1
000003a1: REVERT
000003a2: JUMPDEST
000003a3: POP
000003a4: PUSH2 0x02b9
000003a7: PUSH2 0x0bb2
000003aa: JUMP
000003ab: JUMPDEST
000003ac: CALLVALUE
000003ad: DUP1
000003ae: ISZERO
000003af: PUSH2 0x03b7
000003b2: JUMPI
000003b3: PUSH1 0x00
000003b5: DUP1
000003b6: REVERT
000003b7: JUMPDEST
000003b8: POP
000003b9: PUSH1 0x08
000003bb: SLOAD
000003bc: PUSH2 0x02b9
000003bf: JUMP
000003c0: JUMPDEST
000003c1: CALLVALUE
000003c2: DUP1
000003c3: ISZERO
000003c4: PUSH2 0x03cc
000003c7: JUMPI
000003c8: PUSH1 0x00
000003ca: DUP1
000003cb: REVERT
000003cc: JUMPDEST
000003cd: POP
000003ce: PUSH2 0x0376
000003d1: PUSH2 0x03db
000003d4: CALLDATASIZE
000003d5: PUSH1 0x04
000003d7: PUSH2 0x2a23
000003da: JUMP
000003db: JUMPDEST
000003dc: PUSH2 0x0bdc
000003df: JUMP
000003e0: JUMPDEST
000003e1: CALLVALUE
000003e2: DUP1
000003e3: ISZERO
000003e4: PUSH2 0x03ec
000003e7: JUMPI
000003e8: PUSH1 0x00
000003ea: DUP1
000003eb: REVERT
000003ec: JUMPDEST
000003ed: POP
000003ee: PUSH2 0x02b9
000003f1: PUSH1 0x0e
000003f3: SLOAD
000003f4: DUP2
000003f5: JUMP
000003f6: JUMPDEST
000003f7: CALLVALUE
000003f8: DUP1
000003f9: ISZERO
000003fa: PUSH2 0x0402
000003fd: JUMPI
000003fe: PUSH1 0x00
00000400: DUP1
00000401: REVERT
00000402: JUMPDEST
00000403: POP
00000404: PUSH2 0x02b9
00000407: PUSH2 0x0411
0000040a: CALLDATASIZE
0000040b: PUSH1 0x04
0000040d: PUSH2 0x2b6d
00000410: JUMP
00000411: JUMPDEST
00000412: PUSH2 0x0c0e
00000415: JUMP
00000416: JUMPDEST
00000417: CALLVALUE
00000418: DUP1
00000419: ISZERO
0000041a: PUSH2 0x0422
0000041d: JUMPI
0000041e: PUSH1 0x00
00000420: DUP1
00000421: REVERT
00000422: JUMPDEST
00000423: POP
00000424: PUSH2 0x0436
00000427: PUSH2 0x0431
0000042a: CALLDATASIZE
0000042b: PUSH1 0x04
0000042d: PUSH2 0x29d0
00000430: JUMP
00000431: JUMPDEST
00000432: PUSH2 0x0ca4
00000435: JUMP
00000436: JUMPDEST
00000437: PUSH1 0x40
00000439: MLOAD
0000043a: PUSH2 0x02c3
0000043d: SWAP2
0000043e: SWAP1
0000043f: PUSH2 0x2ddc
00000442: JUMP
00000443: JUMPDEST
00000444: CALLVALUE
00000445: DUP1
00000446: ISZERO
00000447: PUSH2 0x044f
0000044a: JUMPI
0000044b: PUSH1 0x00
0000044d: DUP1
0000044e: REVERT
0000044f: JUMPDEST
00000450: POP
00000451: PUSH2 0x0376
00000454: PUSH2 0x045e
00000457: CALLDATASIZE
00000458: PUSH1 0x04
0000045a: PUSH2 0x2a23
0000045d: JUMP
0000045e: JUMPDEST
0000045f: PUSH2 0x0d62
00000462: JUMP
00000463: JUMPDEST
00000464: CALLVALUE
00000465: DUP1
00000466: ISZERO
00000467: PUSH2 0x046f
0000046a: JUMPI
0000046b: PUSH1 0x00
0000046d: DUP1
0000046e: REVERT
0000046f: JUMPDEST
00000470: POP
00000471: PUSH2 0x0376
00000474: PUSH2 0x047e
00000477: CALLDATASIZE
00000478: PUSH1 0x04
0000047a: PUSH2 0x2bce
0000047d: JUMP
0000047e: JUMPDEST
0000047f: PUSH2 0x0d7d
00000482: JUMP
00000483: JUMPDEST
00000484: CALLVALUE
00000485: DUP1
00000486: ISZERO
00000487: PUSH2 0x048f
0000048a: JUMPI
0000048b: PUSH1 0x00
0000048d: DUP1
0000048e: REVERT
0000048f: JUMPDEST
00000490: POP
00000491: PUSH2 0x02b9
00000494: PUSH2 0x049e
00000497: CALLDATASIZE
00000498: PUSH1 0x04
0000049a: PUSH2 0x2bce
0000049d: JUMP
0000049e: JUMPDEST
0000049f: PUSH2 0x0df7
000004a2: JUMP
000004a3: JUMPDEST
000004a4: PUSH2 0x0376
000004a7: PUSH2 0x04b1
000004aa: CALLDATASIZE
000004ab: PUSH1 0x04
000004ad: PUSH2 0x2be6
000004b0: JUMP
000004b1: JUMPDEST
000004b2: PUSH2 0x0e98
000004b5: JUMP
000004b6: JUMPDEST
000004b7: CALLVALUE
000004b8: DUP1
000004b9: ISZERO
000004ba: PUSH2 0x04c2
000004bd: JUMPI
000004be: PUSH1 0x00
000004c0: DUP1
000004c1: REVERT
000004c2: JUMPDEST
000004c3: POP
000004c4: PUSH2 0x033e
000004c7: PUSH2 0x04d1
000004ca: CALLDATASIZE
000004cb: PUSH1 0x04
000004cd: PUSH2 0x2bce
000004d0: JUMP
000004d1: JUMPDEST
000004d2: PUSH2 0x1006
000004d5: JUMP
000004d6: JUMPDEST
000004d7: CALLVALUE
000004d8: DUP1
000004d9: ISZERO
000004da: PUSH2 0x04e2
000004dd: JUMPI
000004de: PUSH1 0x00
000004e0: DUP1
000004e1: REVERT
000004e2: JUMPDEST
000004e3: POP
000004e4: PUSH2 0x02b9
000004e7: PUSH1 0x0f
000004e9: SLOAD
000004ea: DUP2
000004eb: JUMP
000004ec: JUMPDEST
000004ed: CALLVALUE
000004ee: DUP1
000004ef: ISZERO
000004f0: PUSH2 0x04f8
000004f3: JUMPI
000004f4: PUSH1 0x00
000004f6: DUP1
000004f7: REVERT
000004f8: JUMPDEST
000004f9: POP
000004fa: PUSH2 0x02b9
000004fd: PUSH2 0x0507
00000500: CALLDATASIZE
00000501: PUSH1 0x04
00000503: PUSH2 0x29d0
00000506: JUMP
00000507: JUMPDEST
00000508: PUSH2 0x107d
0000050b: JUMP
0000050c: JUMPDEST
0000050d: CALLVALUE
0000050e: DUP1
0000050f: ISZERO
00000510: PUSH2 0x0518
00000513: JUMPI
00000514: PUSH1 0x00
00000516: DUP1
00000517: REVERT
00000518: JUMPDEST
00000519: POP
0000051a: PUSH2 0x0376
0000051d: PUSH2 0x1104
00000520: JUMP
00000521: JUMPDEST
00000522: CALLVALUE
00000523: DUP1
00000524: ISZERO
00000525: PUSH2 0x052d
00000528: JUMPI
00000529: PUSH1 0x00
0000052b: DUP1
0000052c: REVERT
0000052d: JUMPDEST
0000052e: POP
0000052f: PUSH2 0x02b9
00000532: PUSH2 0x053c
00000535: CALLDATASIZE
00000536: PUSH1 0x04
00000538: PUSH2 0x29d0
0000053b: JUMP
0000053c: JUMPDEST
0000053d: PUSH2 0x113a
00000540: JUMP
00000541: JUMPDEST
00000542: PUSH2 0x0376
00000545: PUSH2 0x054f
00000548: CALLDATASIZE
00000549: PUSH1 0x04
0000054b: PUSH2 0x2be6
0000054e: JUMP
0000054f: JUMPDEST
00000550: PUSH2 0x116a
00000553: JUMP
00000554: JUMPDEST
00000555: CALLVALUE
00000556: DUP1
00000557: ISZERO
00000558: PUSH2 0x0560
0000055b: JUMPI
0000055c: PUSH1 0x00
0000055e: DUP1
0000055f: REVERT
00000560: JUMPDEST
00000561: POP
00000562: PUSH2 0x0376
00000565: PUSH2 0x056f
00000568: CALLDATASIZE
00000569: PUSH1 0x04
0000056b: PUSH2 0x2bce
0000056e: JUMP
0000056f: JUMPDEST
00000570: PUSH2 0x1267
00000573: JUMP
00000574: JUMPDEST
00000575: CALLVALUE
00000576: DUP1
00000577: ISZERO
00000578: PUSH2 0x0580
0000057b: JUMPI
0000057c: PUSH1 0x00
0000057e: DUP1
0000057f: REVERT
00000580: JUMPDEST
00000581: POP
00000582: PUSH1 0x0a
00000584: SLOAD
00000585: PUSH1 0x01
00000587: PUSH1 0x01
00000589: PUSH1 0xa0
0000058b: SHL
0000058c: SUB
0000058d: AND
0000058e: PUSH2 0x033e
00000591: JUMP
00000592: JUMPDEST
00000593: CALLVALUE
00000594: DUP1
00000595: ISZERO
00000596: PUSH2 0x059e
00000599: JUMPI
0000059a: PUSH1 0x00
0000059c: DUP1
0000059d: REVERT
0000059e: JUMPDEST
0000059f: POP
000005a0: PUSH2 0x0311
000005a3: PUSH2 0x134e
000005a6: JUMP
000005a7: JUMPDEST
000005a8: PUSH2 0x0376
000005ab: PUSH2 0x05b5
000005ae: CALLDATASIZE
000005af: PUSH1 0x04
000005b1: PUSH2 0x2c07
000005b4: JUMP
000005b5: JUMPDEST
000005b6: PUSH2 0x135d
000005b9: JUMP
000005ba: JUMPDEST
000005bb: CALLVALUE
000005bc: DUP1
000005bd: ISZERO
000005be: PUSH2 0x05c6
000005c1: JUMPI
000005c2: PUSH1 0x00
000005c4: DUP1
000005c5: REVERT
000005c6: JUMPDEST
000005c7: POP
000005c8: PUSH2 0x02b9
000005cb: PUSH1 0x0d
000005cd: SLOAD
000005ce: DUP2
000005cf: JUMP
000005d0: JUMPDEST
000005d1: CALLVALUE
000005d2: DUP1
000005d3: ISZERO
000005d4: PUSH2 0x05dc
000005d7: JUMPI
000005d8: PUSH1 0x00
000005da: DUP1
000005db: REVERT
000005dc: JUMPDEST
000005dd: POP
000005de: PUSH2 0x02b9
000005e1: PUSH1 0x10
000005e3: SLOAD
000005e4: DUP2
000005e5: JUMP
000005e6: JUMPDEST
000005e7: CALLVALUE
000005e8: DUP1
000005e9: ISZERO
000005ea: PUSH2 0x05f2
000005ed: JUMPI
000005ee: PUSH1 0x00
000005f0: DUP1
000005f1: REVERT
000005f2: JUMPDEST
000005f3: POP
000005f4: PUSH2 0x0376
000005f7: PUSH2 0x0601
000005fa: CALLDATASIZE
000005fb: PUSH1 0x04
000005fd: PUSH2 0x2b33
00000600: JUMP
00000601: JUMPDEST
00000602: PUSH2 0x1646
00000605: JUMP
00000606: JUMPDEST
00000607: CALLVALUE
00000608: DUP1
00000609: ISZERO
0000060a: PUSH2 0x0612
0000060d: JUMPI
0000060e: PUSH1 0x00
00000610: DUP1
00000611: REVERT
00000612: JUMPDEST
00000613: POP
00000614: PUSH2 0x0376
00000617: PUSH2 0x1655
0000061a: JUMP
0000061b: JUMPDEST
0000061c: CALLVALUE
0000061d: DUP1
0000061e: ISZERO
0000061f: PUSH2 0x0627
00000622: JUMPI
00000623: PUSH1 0x00
00000625: DUP1
00000626: REVERT
00000627: JUMPDEST
00000628: POP
00000629: SELFBALANCE
0000062a: PUSH2 0x02b9
0000062d: JUMP
0000062e: JUMPDEST
0000062f: CALLVALUE
00000630: DUP1
00000631: ISZERO
00000632: PUSH2 0x063a
00000635: JUMPI
00000636: PUSH1 0x00
00000638: DUP1
00000639: REVERT
0000063a: JUMPDEST
0000063b: POP
0000063c: PUSH2 0x0376
0000063f: PUSH2 0x0649
00000642: CALLDATASIZE
00000643: PUSH1 0x04
00000645: PUSH2 0x2a5e
00000648: JUMP
00000649: JUMPDEST
0000064a: PUSH2 0x173b
0000064d: JUMP
0000064e: JUMPDEST
0000064f: CALLVALUE
00000650: DUP1
00000651: ISZERO
00000652: PUSH2 0x065a
00000655: JUMPI
00000656: PUSH1 0x00
00000658: DUP1
00000659: REVERT
0000065a: JUMPDEST
0000065b: POP
0000065c: PUSH2 0x02b9
0000065f: PUSH2 0x1773
00000662: JUMP
00000663: JUMPDEST
00000664: CALLVALUE
00000665: DUP1
00000666: ISZERO
00000667: PUSH2 0x066f
0000066a: JUMPI
0000066b: PUSH1 0x00
0000066d: DUP1
0000066e: REVERT
0000066f: JUMPDEST
00000670: POP
00000671: PUSH2 0x02b9
00000674: PUSH2 0x179a
00000677: JUMP
00000678: JUMPDEST
00000679: CALLVALUE
0000067a: DUP1
0000067b: ISZERO
0000067c: PUSH2 0x0684
0000067f: JUMPI
00000680: PUSH1 0x00
00000682: DUP1
00000683: REVERT
00000684: JUMPDEST
00000685: POP
00000686: PUSH2 0x0311
00000689: PUSH2 0x0693
0000068c: CALLDATASIZE
0000068d: PUSH1 0x04
0000068f: PUSH2 0x2bce
00000692: JUMP
00000693: JUMPDEST
00000694: PUSH2 0x17b2
00000697: JUMP
00000698: JUMPDEST
00000699: CALLVALUE
0000069a: DUP1
0000069b: ISZERO
0000069c: PUSH2 0x06a4
0000069f: JUMPI
000006a0: PUSH1 0x00
000006a2: DUP1
000006a3: REVERT
000006a4: JUMPDEST
000006a5: POP
000006a6: PUSH2 0x02b9
000006a9: PUSH2 0x18a3
000006ac: JUMP
000006ad: JUMPDEST
000006ae: CALLVALUE
000006af: DUP1
000006b0: ISZERO
000006b1: PUSH2 0x06b9
000006b4: JUMPI
000006b5: PUSH1 0x00
000006b7: DUP1
000006b8: REVERT
000006b9: JUMPDEST
000006ba: POP
000006bb: PUSH2 0x02b9
000006be: PUSH2 0x06c8
000006c1: CALLDATASIZE
000006c2: PUSH1 0x04
000006c4: PUSH2 0x2bce
000006c7: JUMP
000006c8: JUMPDEST
000006c9: PUSH1 0x11
000006cb: PUSH1 0x20
000006cd: MSTORE
000006ce: PUSH1 0x00
000006d0: SWAP1
000006d1: DUP2
000006d2: MSTORE
000006d3: PUSH1 0x40
000006d5: SWAP1
000006d6: KECCAK256
000006d7: SLOAD
000006d8: DUP2
000006d9: JUMP
000006da: JUMPDEST
000006db: CALLVALUE
000006dc: DUP1
000006dd: ISZERO
000006de: PUSH2 0x06e6
000006e1: JUMPI
000006e2: PUSH1 0x00
000006e4: DUP1
000006e5: REVERT
000006e6: JUMPDEST
000006e7: POP
000006e8: PUSH2 0x02b9
000006eb: PUSH2 0x03e8
000006ee: DUP2
000006ef: JUMP
000006f0: JUMPDEST
000006f1: PUSH2 0x0376
000006f4: PUSH2 0x06fe
000006f7: CALLDATASIZE
000006f8: PUSH1 0x04
000006fa: PUSH2 0x2bce
000006fd: JUMP
000006fe: JUMPDEST
000006ff: PUSH2 0x18b7
00000702: JUMP
00000703: JUMPDEST
00000704: CALLVALUE
00000705: DUP1
00000706: ISZERO
00000707: PUSH2 0x070f
0000070a: JUMPI
0000070b: PUSH1 0x00
0000070d: DUP1
0000070e: REVERT
0000070f: JUMPDEST
00000710: POP
00000711: PUSH1 0x40
00000713: DUP1
00000714: MLOAD
00000715: DUP1
00000716: DUP3
00000717: ADD
00000718: SWAP1
00000719: SWAP2
0000071a: MSTORE
0000071b: PUSH1 0x0c
0000071d: DUP2
0000071e: MSTORE
0000071f: PUSH12 0x4e756d626120676f20757021
0000072c: PUSH1 0xa0
0000072e: SHL
0000072f: PUSH1 0x20
00000731: DUP3
00000732: ADD
00000733: MSTORE
00000734: PUSH2 0x0311
00000737: JUMP
00000738: JUMPDEST
00000739: CALLVALUE
0000073a: DUP1
0000073b: ISZERO
0000073c: PUSH2 0x0744
0000073f: JUMPI
00000740: PUSH1 0x00
00000742: DUP1
00000743: REVERT
00000744: JUMPDEST
00000745: POP
00000746: PUSH2 0x02ec
00000749: PUSH2 0x0753
0000074c: CALLDATASIZE
0000074d: PUSH1 0x04
0000074f: PUSH2 0x29f1
00000752: JUMP
00000753: JUMPDEST
00000754: PUSH1 0x01
00000756: PUSH1 0x01
00000758: PUSH1 0xa0
0000075a: SHL
0000075b: SUB
0000075c: SWAP2
0000075d: DUP3
0000075e: AND
0000075f: PUSH1 0x00
00000761: SWAP1
00000762: DUP2
00000763: MSTORE
00000764: PUSH1 0x05
00000766: PUSH1 0x20
00000768: SWAP1
00000769: DUP2
0000076a: MSTORE
0000076b: PUSH1 0x40
0000076d: DUP1
0000076e: DUP4
0000076f: KECCAK256
00000770: SWAP4
00000771: SWAP1
00000772: SWAP5
00000773: AND
00000774: DUP3
00000775: MSTORE
00000776: SWAP2
00000777: SWAP1
00000778: SWAP2
00000779: MSTORE
0000077a: KECCAK256
0000077b: SLOAD
0000077c: PUSH1 0xff
0000077e: AND
0000077f: SWAP1
00000780: JUMP
00000781: JUMPDEST
00000782: CALLVALUE
00000783: DUP1
00000784: ISZERO
00000785: PUSH2 0x078d
00000788: JUMPI
00000789: PUSH1 0x00
0000078b: DUP1
0000078c: REVERT
0000078d: JUMPDEST
0000078e: POP
0000078f: PUSH2 0x0376
00000792: PUSH2 0x079c
00000795: CALLDATASIZE
00000796: PUSH1 0x04
00000798: PUSH2 0x29d0
0000079b: JUMP
0000079c: JUMPDEST
0000079d: PUSH2 0x1a12
000007a0: JUMP
000007a1: JUMPDEST
000007a2: PUSH1 0x00
000007a4: DUP1
000007a5: PUSH1 0x0c
000007a7: SLOAD
000007a8: PUSH1 0x0f
000007aa: SLOAD
000007ab: PUSH2 0x07b4
000007ae: SWAP2
000007af: SWAP1
000007b0: PUSH2 0x30e6
000007b3: JUMP
000007b4: JUMPDEST
000007b5: SWAP1
000007b6: POP
000007b7: PUSH1 0x10
000007b9: SLOAD
000007ba: DUP2
000007bb: PUSH2 0x07c4
000007be: SWAP2
000007bf: SWAP1
000007c0: PUSH2 0x3105
000007c3: JUMP
000007c4: JUMPDEST
000007c5: SWAP2
000007c6: POP
000007c7: POP
000007c8: SWAP1
000007c9: JUMP
000007ca: JUMPDEST
000007cb: PUSH1 0x00
000007cd: PUSH2 0x07d5
000007d0: DUP3
000007d1: PUSH2 0x1aaa
000007d4: JUMP
000007d5: JUMPDEST
000007d6: SWAP3
000007d7: SWAP2
000007d8: POP
000007d9: POP
000007da: JUMP
000007db: JUMPDEST
000007dc: PUSH1 0x60
000007de: PUSH1 0x00
000007e0: DUP1
000007e1: SLOAD
000007e2: PUSH2 0x07ea
000007e5: SWAP1
000007e6: PUSH2 0x3148
000007e9: JUMP
000007ea: JUMPDEST
000007eb: DUP1
000007ec: PUSH1 0x1f
000007ee: ADD
000007ef: PUSH1 0x20
000007f1: DUP1
000007f2: SWAP2
000007f3: DIV
000007f4: MUL
000007f5: PUSH1 0x20
000007f7: ADD
000007f8: PUSH1 0x40
000007fa: MLOAD
000007fb: SWAP1
000007fc: DUP2
000007fd: ADD
000007fe: PUSH1 0x40
00000800: MSTORE
00000801: DUP1
00000802: SWAP3
00000803: SWAP2
00000804: SWAP1
00000805: DUP2
00000806: DUP2
00000807: MSTORE
00000808: PUSH1 0x20
0000080a: ADD
0000080b: DUP3
0000080c: DUP1
0000080d: SLOAD
0000080e: PUSH2 0x0816
00000811: SWAP1
00000812: PUSH2 0x3148
00000815: JUMP
00000816: JUMPDEST
00000817: DUP1
00000818: ISZERO
00000819: PUSH2 0x0863
0000081c: JUMPI
0000081d: DUP1
0000081e: PUSH1 0x1f
00000820: LT
00000821: PUSH2 0x0838
00000824: JUMPI
00000825: PUSH2 0x0100
00000828: DUP1
00000829: DUP4
0000082a: SLOAD
0000082b: DIV
0000082c: MUL
0000082d: DUP4
0000082e: MSTORE
0000082f: SWAP2
00000830: PUSH1 0x20
00000832: ADD
00000833: SWAP2
00000834: PUSH2 0x0863
00000837: JUMP
00000838: JUMPDEST
00000839: DUP3
0000083a: ADD
0000083b: SWAP2
0000083c: SWAP1
0000083d: PUSH1 0x00
0000083f: MSTORE
00000840: PUSH1 0x20
00000842: PUSH1 0x00
00000844: KECCAK256
00000845: SWAP1
00000846: JUMPDEST
00000847: DUP2
00000848: SLOAD
00000849: DUP2
0000084a: MSTORE
0000084b: SWAP1
0000084c: PUSH1 0x01
0000084e: ADD
0000084f: SWAP1
00000850: PUSH1 0x20
00000852: ADD
00000853: DUP1
00000854: DUP4
00000855: GT
00000856: PUSH2 0x0846
00000859: JUMPI
0000085a: DUP3
0000085b: SWAP1
0000085c: SUB
0000085d: PUSH1 0x1f
0000085f: AND
00000860: DUP3
00000861: ADD
00000862: SWAP2
00000863: JUMPDEST
00000864: POP
00000865: POP
00000866: POP
00000867: POP
00000868: POP
00000869: SWAP1
0000086a: POP
0000086b: SWAP1
0000086c: JUMP
0000086d: JUMPDEST
0000086e: PUSH1 0x00
00000870: DUP2
00000871: DUP2
00000872: MSTORE
00000873: PUSH1 0x02
00000875: PUSH1 0x20
00000877: MSTORE
00000878: PUSH1 0x40
0000087a: DUP2
0000087b: KECCAK256
0000087c: SLOAD
0000087d: PUSH1 0x01
0000087f: PUSH1 0x01
00000881: PUSH1 0xa0
00000883: SHL
00000884: SUB
00000885: AND
00000886: PUSH2 0x08eb
00000889: JUMPI
0000088a: PUSH1 0x40
0000088c: MLOAD
0000088d: PUSH3 0x461bcd
00000891: PUSH1 0xe5
00000893: SHL
00000894: DUP2
00000895: MSTORE
00000896: PUSH1 0x20
00000898: PUSH1 0x04
0000089a: DUP3
0000089b: ADD
0000089c: MSTORE
0000089d: PUSH1 0x2c
0000089f: PUSH1 0x24
000008a1: DUP3
000008a2: ADD
000008a3: MSTORE
000008a4: PUSH32 0x4552433732313a20617070726f76656420717565727920666f72206e6f6e6578
000008c5: PUSH1 0x44
000008c7: DUP3
000008c8: ADD
000008c9: MSTORE
000008ca: PUSH12 0x34b9ba32b73a103a37b5b2b7
000008d7: PUSH1 0xa1
000008d9: SHL
000008da: PUSH1 0x64
000008dc: DUP3
000008dd: ADD
000008de: MSTORE
000008df: PUSH1 0x84
000008e1: ADD
000008e2: JUMPDEST
000008e3: PUSH1 0x40
000008e5: MLOAD
000008e6: DUP1
000008e7: SWAP2
000008e8: SUB
000008e9: SWAP1
000008ea: REVERT
000008eb: JUMPDEST
000008ec: POP
000008ed: PUSH1 0x00
000008ef: SWAP1
000008f0: DUP2
000008f1: MSTORE
000008f2: PUSH1 0x04
000008f4: PUSH1 0x20
000008f6: MSTORE
000008f7: PUSH1 0x40
000008f9: SWAP1
000008fa: KECCAK256
000008fb: SLOAD
000008fc: PUSH1 0x01
000008fe: PUSH1 0x01
00000900: PUSH1 0xa0
00000902: SHL
00000903: SUB
00000904: AND
00000905: SWAP1
00000906: JUMP
00000907: JUMPDEST
00000908: PUSH1 0x00
0000090a: PUSH2 0x0912
0000090d: DUP3
0000090e: PUSH2 0x1006
00000911: JUMP
00000912: JUMPDEST
00000913: SWAP1
00000914: POP
00000915: DUP1
00000916: PUSH1 0x01
00000918: PUSH1 0x01
0000091a: PUSH1 0xa0
0000091c: SHL
0000091d: SUB
0000091e: AND
0000091f: DUP4
00000920: PUSH1 0x01
00000922: PUSH1 0x01
00000924: PUSH1 0xa0
00000926: SHL
00000927: SUB
00000928: AND
00000929: EQ
0000092a: ISZERO
0000092b: PUSH2 0x0980
0000092e: JUMPI
0000092f: PUSH1 0x40
00000931: MLOAD
00000932: PUSH3 0x461bcd
00000936: PUSH1 0xe5
00000938: SHL
00000939: DUP2
0000093a: MSTORE
0000093b: PUSH1 0x20
0000093d: PUSH1 0x04
0000093f: DUP3
00000940: ADD
00000941: MSTORE
00000942: PUSH1 0x21
00000944: PUSH1 0x24
00000946: DUP3
00000947: ADD
00000948: MSTORE
00000949: PUSH32 0x4552433732313a20617070726f76616c20746f2063757272656e74206f776e65
0000096a: PUSH1 0x44
0000096c: DUP3
0000096d: ADD
0000096e: MSTORE
0000096f: PUSH1 0x39
00000971: PUSH1 0xf9
00000973: SHL
00000974: PUSH1 0x64
00000976: DUP3
00000977: ADD
00000978: MSTORE
00000979: PUSH1 0x84
0000097b: ADD
0000097c: PUSH2 0x08e2
0000097f: JUMP
00000980: JUMPDEST
00000981: CALLER
00000982: PUSH1 0x01
00000984: PUSH1 0x01
00000986: PUSH1 0xa0
00000988: SHL
00000989: SUB
0000098a: DUP3
0000098b: AND
0000098c: EQ
0000098d: DUP1
0000098e: PUSH2 0x099c
00000991: JUMPI
00000992: POP
00000993: PUSH2 0x099c
00000996: DUP2
00000997: CALLER
00000998: PUSH2 0x0753
0000099b: JUMP
0000099c: JUMPDEST
0000099d: PUSH2 0x0a0e
000009a0: JUMPI
000009a1: PUSH1 0x40
000009a3: MLOAD
000009a4: PUSH3 0x461bcd
000009a8: PUSH1 0xe5
000009aa: SHL
000009ab: DUP2
000009ac: MSTORE
000009ad: PUSH1 0x20
000009af: PUSH1 0x04
000009b1: DUP3
000009b2: ADD
000009b3: MSTORE
000009b4: PUSH1 0x38
000009b6: PUSH1 0x24
000009b8: DUP3
000009b9: ADD
000009ba: MSTORE
000009bb: PUSH32 0x4552433732313a20617070726f76652063616c6c6572206973206e6f74206f77
000009dc: PUSH1 0x44
000009de: DUP3
000009df: ADD
000009e0: MSTORE
000009e1: PUSH32 0x6e6572206e6f7220617070726f76656420666f7220616c6c0000000000000000
00000a02: PUSH1 0x64
00000a04: DUP3
00000a05: ADD
00000a06: MSTORE
00000a07: PUSH1 0x84
00000a09: ADD
00000a0a: PUSH2 0x08e2
00000a0d: JUMP
00000a0e: JUMPDEST
00000a0f: PUSH2 0x0a18
00000a12: DUP4
00000a13: DUP4
00000a14: PUSH2 0x1acf
00000a17: JUMP
00000a18: JUMPDEST
00000a19: POP
00000a1a: POP
00000a1b: POP
00000a1c: JUMP
00000a1d: JUMPDEST
00000a1e: PUSH1 0x02
00000a20: PUSH1 0x0b
00000a22: SLOAD
00000a23: EQ
00000a24: ISZERO
00000a25: PUSH2 0x0a40
00000a28: JUMPI
00000a29: PUSH1 0x40
00000a2b: MLOAD
00000a2c: PUSH3 0x461bcd
00000a30: PUSH1 0xe5
00000a32: SHL
00000a33: DUP2
00000a34: MSTORE
00000a35: PUSH1 0x04
00000a37: ADD
00000a38: PUSH2 0x08e2
00000a3b: SWAP1
00000a3c: PUSH2 0x2f98
00000a3f: JUMP
00000a40: JUMPDEST
00000a41: PUSH1 0x02
00000a43: PUSH1 0x0b
00000a45: SSTORE
00000a46: PUSH2 0x0a52
00000a49: PUSH1 0x01
00000a4b: PUSH2 0x03e8
00000a4e: PUSH2 0x3105
00000a51: JUMP
00000a52: JUMPDEST
00000a53: PUSH1 0x0c
00000a55: SLOAD
00000a56: GT
00000a57: PUSH2 0x0a72
00000a5a: JUMPI
00000a5b: PUSH1 0x40
00000a5d: MLOAD
00000a5e: PUSH3 0x461bcd
00000a62: PUSH1 0xe5
00000a64: SHL
00000a65: DUP2
00000a66: MSTORE
00000a67: PUSH1 0x04
00000a69: ADD
00000a6a: PUSH2 0x08e2
00000a6d: SWAP1
00000a6e: PUSH2 0x2e85
00000a71: JUMP
00000a72: JUMPDEST
00000a73: PUSH1 0x0d
00000a75: SLOAD
00000a76: PUSH2 0x0a80
00000a79: SWAP1
00000a7a: PUSH1 0x03
00000a7c: PUSH2 0x30e6
00000a7f: JUMP
00000a80: JUMPDEST
00000a81: CALLVALUE
00000a82: LT
00000a83: ISZERO
00000a84: PUSH2 0x0acf
00000a87: JUMPI
00000a88: PUSH1 0x40
00000a8a: MLOAD
00000a8b: PUSH3 0x461bcd
00000a8f: PUSH1 0xe5
00000a91: SHL
00000a92: DUP2
00000a93: MSTORE
00000a94: PUSH1 0x20
00000a96: PUSH1 0x04
00000a98: DUP3
00000a99: ADD
00000a9a: MSTORE
00000a9b: PUSH1 0x1f
00000a9d: PUSH1 0x24
00000a9f: DUP3
00000aa0: ADD
00000aa1: MSTORE
00000aa2: PUSH32 0x496e73756666696369656e742066756e647320746f2070757263686173652e00
00000ac3: PUSH1 0x44
00000ac5: DUP3
00000ac6: ADD
00000ac7: MSTORE
00000ac8: PUSH1 0x64
00000aca: ADD
00000acb: PUSH2 0x08e2
00000ace: JUMP
00000acf: JUMPDEST
00000ad0: PUSH1 0x0d
00000ad2: SLOAD
00000ad3: PUSH2 0x0add
00000ad6: SWAP1
00000ad7: PUSH1 0x03
00000ad9: PUSH2 0x30e6
00000adc: JUMP
00000add: JUMPDEST
00000ade: CALLVALUE
00000adf: GT
00000ae0: ISZERO
00000ae1: PUSH2 0x0b65
00000ae4: JUMPI
00000ae5: PUSH1 0x0d
00000ae7: SLOAD
00000ae8: PUSH1 0x00
00000aea: SWAP1
00000aeb: CALLER
00000aec: SWAP1
00000aed: PUSH2 0x0af7
00000af0: SWAP1
00000af1: PUSH1 0x03
00000af3: PUSH2 0x30e6
00000af6: JUMP
00000af7: JUMPDEST
00000af8: PUSH2 0x0b01
00000afb: SWAP1
00000afc: CALLVALUE
00000afd: PUSH2 0x3105
00000b00: JUMP
00000b01: JUMPDEST
00000b02: PUSH1 0x40
00000b04: MLOAD
00000b05: PUSH1 0x00
00000b07: DUP2
00000b08: DUP2
00000b09: DUP2
00000b0a: DUP6
00000b0b: DUP8
00000b0c: GAS
00000b0d: CALL
00000b0e: SWAP3
00000b0f: POP
00000b10: POP
00000b11: POP
00000b12: RETURNDATASIZE
00000b13: DUP1
00000b14: PUSH1 0x00
00000b16: DUP2
00000b17: EQ
00000b18: PUSH2 0x0b3d
00000b1b: JUMPI
00000b1c: PUSH1 0x40
00000b1e: MLOAD
00000b1f: SWAP2
00000b20: POP
00000b21: PUSH1 0x1f
00000b23: NOT
00000b24: PUSH1 0x3f
00000b26: RETURNDATASIZE
00000b27: ADD
00000b28: AND
00000b29: DUP3
00000b2a: ADD
00000b2b: PUSH1 0x40
00000b2d: MSTORE
00000b2e: RETURNDATASIZE
00000b2f: DUP3
00000b30: MSTORE
00000b31: RETURNDATASIZE
00000b32: PUSH1 0x00
00000b34: PUSH1 0x20
00000b36: DUP5
00000b37: ADD
00000b38: RETURNDATACOPY
00000b39: PUSH2 0x0b42
00000b3c: JUMP
00000b3d: JUMPDEST
00000b3e: PUSH1 0x60
00000b40: SWAP2
00000b41: POP
00000b42: JUMPDEST
00000b43: POP
00000b44: POP
00000b45: SWAP1
00000b46: POP
00000b47: DUP1
00000b48: PUSH2 0x0b63
00000b4b: JUMPI
00000b4c: PUSH1 0x40
00000b4e: MLOAD
00000b4f: PUSH3 0x461bcd
00000b53: PUSH1 0xe5
00000b55: SHL
00000b56: DUP2
00000b57: MSTORE
00000b58: PUSH1 0x04
00000b5a: ADD
00000b5b: PUSH2 0x08e2
00000b5e: SWAP1
00000b5f: PUSH2 0x2f1d
00000b62: JUMP
00000b63: JUMPDEST
00000b64: POP
00000b65: JUMPDEST
00000b66: PUSH2 0x0b7d
00000b69: CALLER
00000b6a: PUSH1 0x0c
00000b6c: SLOAD
00000b6d: PUSH1 0x01
00000b6f: PUSH2 0x0b78
00000b72: SWAP2
00000b73: SWAP1
00000b74: PUSH2 0x2fcf
00000b77: JUMP
00000b78: JUMPDEST
00000b79: PUSH2 0x1b3d
00000b7c: JUMP
00000b7d: JUMPDEST
00000b7e: PUSH1 0x0c
00000b80: DUP1
00000b81: SLOAD
00000b82: SWAP1
00000b83: PUSH1 0x00
00000b85: PUSH2 0x0b8d
00000b88: DUP4
00000b89: PUSH2 0x3183
00000b8c: JUMP
00000b8d: JUMPDEST
00000b8e: SWAP2
00000b8f: SWAP1
00000b90: POP
00000b91: SSTORE
00000b92: POP
00000b93: PUSH1 0x0e
00000b95: SLOAD
00000b96: PUSH1 0x0d
00000b98: PUSH1 0x00
00000b9a: DUP3
00000b9b: DUP3
00000b9c: SLOAD
00000b9d: PUSH2 0x0ba6
00000ba0: SWAP2
00000ba1: SWAP1
00000ba2: PUSH2 0x2fcf
00000ba5: JUMP
00000ba6: JUMPDEST
00000ba7: SWAP1
00000ba8: SWAP2
00000ba9: SSTORE
00000baa: POP
00000bab: POP
00000bac: PUSH1 0x01
00000bae: PUSH1 0x0b
00000bb0: SSTORE
00000bb1: JUMP
00000bb2: JUMPDEST
00000bb3: PUSH1 0x00
00000bb5: DUP1
00000bb6: PUSH2 0x0bbd
00000bb9: PUSH2 0x07a1
00000bbc: JUMP
00000bbd: JUMPDEST
00000bbe: PUSH2 0x0bc7
00000bc1: SWAP1
00000bc2: SELFBALANCE
00000bc3: PUSH2 0x3105
00000bc6: JUMP
00000bc7: JUMPDEST
00000bc8: SWAP1
00000bc9: POP
00000bca: PUSH2 0x0bd2
00000bcd: PUSH1 0x08
00000bcf: SLOAD
00000bd0: SWAP1
00000bd1: JUMP
00000bd2: JUMPDEST
00000bd3: PUSH2 0x07c4
00000bd6: SWAP1
00000bd7: DUP3
00000bd8: PUSH2 0x2fe7
00000bdb: JUMP
00000bdc: JUMPDEST
00000bdd: PUSH2 0x0be7
00000be0: CALLER
00000be1: JUMPDEST
00000be2: DUP3
00000be3: PUSH2 0x1b57
00000be6: JUMP
00000be7: JUMPDEST
00000be8: PUSH2 0x0c03
00000beb: JUMPI
00000bec: PUSH1 0x40
00000bee: MLOAD
00000bef: PUSH3 0x461bcd
00000bf3: PUSH1 0xe5
00000bf5: SHL
00000bf6: DUP2
00000bf7: MSTORE
00000bf8: PUSH1 0x04
00000bfa: ADD
00000bfb: PUSH2 0x08e2
00000bfe: SWAP1
00000bff: PUSH2 0x2f47
00000c02: JUMP
00000c03: JUMPDEST
00000c04: PUSH2 0x0a18
00000c07: DUP4
00000c08: DUP4
00000c09: DUP4
00000c0a: PUSH2 0x1c4e
00000c0d: JUMP
00000c0e: JUMPDEST
00000c0f: PUSH1 0x00
00000c11: PUSH2 0x0c19
00000c14: DUP4
00000c15: PUSH2 0x107d
00000c18: JUMP
00000c19: JUMPDEST
00000c1a: DUP3
00000c1b: LT
00000c1c: PUSH2 0x0c7b
00000c1f: JUMPI
00000c20: PUSH1 0x40
00000c22: MLOAD
00000c23: PUSH3 0x461bcd
00000c27: PUSH1 0xe5
00000c29: SHL
00000c2a: DUP2
00000c2b: MSTORE
00000c2c: PUSH1 0x20
00000c2e: PUSH1 0x04
00000c30: DUP3
00000c31: ADD
00000c32: MSTORE
00000c33: PUSH1 0x2b
00000c35: PUSH1 0x24
00000c37: DUP3
00000c38: ADD
00000c39: MSTORE
00000c3a: PUSH32 0x455243373231456e756d657261626c653a206f776e657220696e646578206f75
00000c5b: PUSH1 0x44
00000c5d: DUP3
00000c5e: ADD
00000c5f: MSTORE
00000c60: PUSH11 0x74206f6620626f756e6473
00000c6c: PUSH1 0xa8
00000c6e: SHL
00000c6f: PUSH1 0x64
00000c71: DUP3
00000c72: ADD
00000c73: MSTORE
00000c74: PUSH1 0x84
00000c76: ADD
00000c77: PUSH2 0x08e2
00000c7a: JUMP
00000c7b: JUMPDEST
00000c7c: POP
00000c7d: PUSH1 0x01
00000c7f: PUSH1 0x01
00000c81: PUSH1 0xa0
00000c83: SHL
00000c84: SUB
00000c85: SWAP2
00000c86: SWAP1
00000c87: SWAP2
00000c88: AND
00000c89: PUSH1 0x00
00000c8b: SWAP1
00000c8c: DUP2
00000c8d: MSTORE
00000c8e: PUSH1 0x06
00000c90: PUSH1 0x20
00000c92: SWAP1
00000c93: DUP2
00000c94: MSTORE
00000c95: PUSH1 0x40
00000c97: DUP1
00000c98: DUP4
00000c99: KECCAK256
00000c9a: SWAP4
00000c9b: DUP4
00000c9c: MSTORE
00000c9d: SWAP3
00000c9e: SWAP1
00000c9f: MSTORE
00000ca0: KECCAK256
00000ca1: SLOAD
00000ca2: SWAP1
00000ca3: JUMP
00000ca4: JUMPDEST
00000ca5: PUSH1 0x60
00000ca7: PUSH1 0x00
00000ca9: PUSH2 0x0cb1
00000cac: DUP4
00000cad: PUSH2 0x107d
00000cb0: JUMP
00000cb1: JUMPDEST
00000cb2: SWAP1
00000cb3: POP
00000cb4: PUSH1 0x00
00000cb6: DUP2
00000cb7: PUSH8 0xffffffffffffffff
00000cc0: DUP2
00000cc1: GT
00000cc2: ISZERO
00000cc3: PUSH2 0x0cdc
00000cc6: JUMPI
00000cc7: PUSH4 0x4e487b71
00000ccc: PUSH1 0xe0
00000cce: SHL
00000ccf: PUSH1 0x00
00000cd1: MSTORE
00000cd2: PUSH1 0x41
00000cd4: PUSH1 0x04
00000cd6: MSTORE
00000cd7: PUSH1 0x24
00000cd9: PUSH1 0x00
00000cdb: REVERT
00000cdc: JUMPDEST
00000cdd: PUSH1 0x40
00000cdf: MLOAD
00000ce0: SWAP1
00000ce1: DUP1
00000ce2: DUP3
00000ce3: MSTORE
00000ce4: DUP1
00000ce5: PUSH1 0x20
00000ce7: MUL
00000ce8: PUSH1 0x20
00000cea: ADD
00000ceb: DUP3
00000cec: ADD
00000ced: PUSH1 0x40
00000cef: MSTORE
00000cf0: DUP1
00000cf1: ISZERO
00000cf2: PUSH2 0x0d05
00000cf5: JUMPI
00000cf6: DUP2
00000cf7: PUSH1 0x20
00000cf9: ADD
00000cfa: PUSH1 0x20
00000cfc: DUP3
00000cfd: MUL
00000cfe: DUP1
00000cff: CALLDATASIZE
00000d00: DUP4
00000d01: CALLDATACOPY
00000d02: ADD
00000d03: SWAP1
00000d04: POP
00000d05: JUMPDEST
00000d06: POP
00000d07: SWAP1
00000d08: POP
00000d09: PUSH1 0x00
00000d0b: JUMPDEST
00000d0c: DUP3
00000d0d: DUP2
00000d0e: LT
00000d0f: ISZERO
00000d10: PUSH2 0x0d5a
00000d13: JUMPI
00000d14: PUSH2 0x0d1d
00000d17: DUP6
00000d18: DUP3
00000d19: PUSH2 0x0c0e
00000d1c: JUMP
00000d1d: JUMPDEST
00000d1e: DUP3
00000d1f: DUP3
00000d20: DUP2
00000d21: MLOAD
00000d22: DUP2
00000d23: LT
00000d24: PUSH2 0x0d3d
00000d27: JUMPI
00000d28: PUSH4 0x4e487b71
00000d2d: PUSH1 0xe0
00000d2f: SHL
00000d30: PUSH1 0x00
00000d32: MSTORE
00000d33: PUSH1 0x32
00000d35: PUSH1 0x04
00000d37: MSTORE
00000d38: PUSH1 0x24
00000d3a: PUSH1 0x00
00000d3c: REVERT
00000d3d: JUMPDEST
00000d3e: PUSH1 0x20
00000d40: SWAP1
00000d41: DUP2
00000d42: MUL
00000d43: SWAP2
00000d44: SWAP1
00000d45: SWAP2
00000d46: ADD
00000d47: ADD
00000d48: MSTORE
00000d49: DUP1
00000d4a: PUSH2 0x0d52
00000d4d: DUP2
00000d4e: PUSH2 0x3183
00000d51: JUMP
00000d52: JUMPDEST
00000d53: SWAP2
00000d54: POP
00000d55: POP
00000d56: PUSH2 0x0d0b
00000d59: JUMP
00000d5a: JUMPDEST
00000d5b: POP
00000d5c: SWAP4
00000d5d: SWAP3
00000d5e: POP
00000d5f: POP
00000d60: POP
00000d61: JUMP
00000d62: JUMPDEST
00000d63: PUSH2 0x0a18
00000d66: DUP4
00000d67: DUP4
00000d68: DUP4
00000d69: PUSH1 0x40
00000d6b: MLOAD
00000d6c: DUP1
00000d6d: PUSH1 0x20
00000d6f: ADD
00000d70: PUSH1 0x40
00000d72: MSTORE
00000d73: DUP1
00000d74: PUSH1 0x00
00000d76: DUP2
00000d77: MSTORE
00000d78: POP
00000d79: PUSH2 0x173b
00000d7c: JUMP
00000d7d: JUMPDEST
00000d7e: PUSH2 0x0d86
00000d81: CALLER
00000d82: PUSH2 0x0be1
00000d85: JUMP
00000d86: JUMPDEST
00000d87: PUSH2 0x0deb
00000d8a: JUMPI
00000d8b: PUSH1 0x40
00000d8d: MLOAD
00000d8e: PUSH3 0x461bcd
00000d92: PUSH1 0xe5
00000d94: SHL
00000d95: DUP2
00000d96: MSTORE
00000d97: PUSH1 0x20
00000d99: PUSH1 0x04
00000d9b: DUP3
00000d9c: ADD
00000d9d: MSTORE
00000d9e: PUSH1 0x30
00000da0: PUSH1 0x24
00000da2: DUP3
00000da3: ADD
00000da4: MSTORE
00000da5: PUSH32 0x4552433732314275726e61626c653a2063616c6c6572206973206e6f74206f77
00000dc6: PUSH1 0x44
00000dc8: DUP3
00000dc9: ADD
00000dca: MSTORE
00000dcb: PUSH16 0x1b995c881b9bdc88185c1c1c9bdd9959
00000ddc: PUSH1 0x82
00000dde: SHL
00000ddf: PUSH1 0x64
00000de1: DUP3
00000de2: ADD
00000de3: MSTORE
00000de4: PUSH1 0x84
00000de6: ADD
00000de7: PUSH2 0x08e2
00000dea: JUMP
00000deb: JUMPDEST
00000dec: PUSH2 0x0df4
00000def: DUP2
00000df0: PUSH2 0x1df9
00000df3: JUMP
00000df4: JUMPDEST
00000df5: POP
00000df6: JUMP
00000df7: JUMPDEST
00000df8: PUSH1 0x00
00000dfa: PUSH2 0x0e02
00000dfd: PUSH1 0x08
00000dff: SLOAD
00000e00: SWAP1
00000e01: JUMP
00000e02: JUMPDEST
00000e03: DUP3
00000e04: LT
00000e05: PUSH2 0x0e65
00000e08: JUMPI
00000e09: PUSH1 0x40
00000e0b: MLOAD
00000e0c: PUSH3 0x461bcd
00000e10: PUSH1 0xe5
00000e12: SHL
00000e13: DUP2
00000e14: MSTORE
00000e15: PUSH1 0x20
00000e17: PUSH1 0x04
00000e19: DUP3
00000e1a: ADD
00000e1b: MSTORE
00000e1c: PUSH1 0x2c
00000e1e: PUSH1 0x24
00000e20: DUP3
00000e21: ADD
00000e22: MSTORE
00000e23: PUSH32 0x455243373231456e756d657261626c653a20676c6f62616c20696e646578206f
00000e44: PUSH1 0x44
00000e46: DUP3
00000e47: ADD
00000e48: MSTORE
00000e49: PUSH12 0x7574206f6620626f756e6473
00000e56: PUSH1 0xa0
00000e58: SHL
00000e59: PUSH1 0x64
00000e5b: DUP3
00000e5c: ADD
00000e5d: MSTORE
00000e5e: PUSH1 0x84
00000e60: ADD
00000e61: PUSH2 0x08e2
00000e64: JUMP
00000e65: JUMPDEST
00000e66: PUSH1 0x08
00000e68: DUP3
00000e69: DUP2
00000e6a: SLOAD
00000e6b: DUP2
00000e6c: LT
00000e6d: PUSH2 0x0e86
00000e70: JUMPI
00000e71: PUSH4 0x4e487b71
00000e76: PUSH1 0xe0
00000e78: SHL
00000e79: PUSH1 0x00
00000e7b: MSTORE
00000e7c: PUSH1 0x32
00000e7e: PUSH1 0x04
00000e80: MSTORE
00000e81: PUSH1 0x24
00000e83: PUSH1 0x00
00000e85: REVERT
00000e86: JUMPDEST
00000e87: SWAP1
00000e88: PUSH1 0x00
00000e8a: MSTORE
00000e8b: PUSH1 0x20
00000e8d: PUSH1 0x00
00000e8f: KECCAK256
00000e90: ADD
00000e91: SLOAD
00000e92: SWAP1
00000e93: POP
00000e94: SWAP2
00000e95: SWAP1
00000e96: POP
00000e97: JUMP
00000e98: JUMPDEST
00000e99: PUSH1 0x02
00000e9b: PUSH1 0x0b
00000e9d: SLOAD
00000e9e: EQ
00000e9f: ISZERO
00000ea0: PUSH2 0x0ebb
00000ea3: JUMPI
00000ea4: PUSH1 0x40
00000ea6: MLOAD
00000ea7: PUSH3 0x461bcd
00000eab: PUSH1 0xe5
00000ead: SHL
00000eae: DUP2
00000eaf: MSTORE
00000eb0: PUSH1 0x04
00000eb2: ADD
00000eb3: PUSH2 0x08e2
00000eb6: SWAP1
00000eb7: PUSH2 0x2f98
00000eba: JUMP
00000ebb: JUMPDEST
00000ebc: PUSH1 0x02
00000ebe: PUSH1 0x0b
00000ec0: SSTORE
00000ec1: PUSH2 0x0ecd
00000ec4: PUSH1 0x01
00000ec6: PUSH2 0x03e8
00000ec9: PUSH2 0x3105
00000ecc: JUMP
00000ecd: JUMPDEST
00000ece: PUSH1 0x0c
00000ed0: SLOAD
00000ed1: GT
00000ed2: PUSH2 0x0eed
00000ed5: JUMPI
00000ed6: PUSH1 0x40
00000ed8: MLOAD
00000ed9: PUSH3 0x461bcd
00000edd: PUSH1 0xe5
00000edf: SHL
00000ee0: DUP2
00000ee1: MSTORE
00000ee2: PUSH1 0x04
00000ee4: ADD
00000ee5: PUSH2 0x08e2
00000ee8: SWAP1
00000ee9: PUSH2 0x2e85
00000eec: JUMP
00000eed: JUMPDEST
00000eee: PUSH1 0x0c
00000ef0: SLOAD
00000ef1: PUSH2 0x0efb
00000ef4: SWAP1
00000ef5: PUSH1 0x01
00000ef7: PUSH2 0x2fcf
00000efa: JUMP
00000efb: JUMPDEST
00000efc: PUSH2 0x0f05
00000eff: DUP3
00000f00: DUP5
00000f01: PUSH2 0x303e
00000f04: JUMP
00000f05: JUMPDEST
00000f06: EQ
00000f07: PUSH2 0x0f22
00000f0a: JUMPI
00000f0b: PUSH1 0x40
00000f0d: MLOAD
00000f0e: PUSH3 0x461bcd
00000f12: PUSH1 0xe5
00000f14: SHL
00000f15: DUP2
00000f16: MSTORE
00000f17: PUSH1 0x04
00000f19: ADD
00000f1a: PUSH2 0x08e2
00000f1d: SWAP1
00000f1e: PUSH2 0x2ebc
00000f21: JUMP
00000f22: JUMPDEST
00000f23: CALLER
00000f24: PUSH2 0x0f2c
00000f27: DUP4
00000f28: PUSH2 0x1006
00000f2b: JUMP
00000f2c: JUMPDEST
00000f2d: PUSH1 0x01
00000f2f: PUSH1 0x01
00000f31: PUSH1 0xa0
00000f33: SHL
00000f34: SUB
00000f35: AND
00000f36: EQ
00000f37: PUSH2 0x0f82
00000f3a: JUMPI
00000f3b: PUSH1 0x40
00000f3d: MLOAD
00000f3e: PUSH3 0x461bcd
00000f42: PUSH1 0xe5
00000f44: SHL
00000f45: DUP2
00000f46: MSTORE
00000f47: PUSH1 0x20
00000f49: PUSH1 0x04
00000f4b: DUP3
00000f4c: ADD
00000f4d: MSTORE
00000f4e: PUSH1 0x19
00000f50: PUSH1 0x24
00000f52: DUP3
00000f53: ADD
00000f54: MSTORE
00000f55: PUSH32 0x596f7520646f6e2774206f776e20746869732c20666f6f6c2e00000000000000
00000f76: PUSH1 0x44
00000f78: DUP3
00000f79: ADD
00000f7a: MSTORE
00000f7b: PUSH1 0x64
00000f7d: ADD
00000f7e: PUSH2 0x08e2
00000f81: JUMP
00000f82: JUMPDEST
00000f83: CALLVALUE
00000f84: PUSH1 0x0d
00000f86: SLOAD
00000f87: EQ
00000f88: PUSH2 0x0fbc
00000f8b: JUMPI
00000f8c: PUSH1 0x40
00000f8e: MLOAD
00000f8f: PUSH3 0x461bcd
00000f93: PUSH1 0xe5
00000f95: SHL
00000f96: DUP2
00000f97: MSTORE
00000f98: PUSH1 0x20
00000f9a: PUSH1 0x04
00000f9c: DUP3
00000f9d: ADD
00000f9e: MSTORE
00000f9f: PUSH1 0x06
00000fa1: PUSH1 0x24
00000fa3: DUP3
00000fa4: ADD
00000fa5: MSTORE
00000fa6: PUSH6 0x2436b6b6b697
00000fad: PUSH1 0xd1
00000faf: SHL
00000fb0: PUSH1 0x44
00000fb2: DUP3
00000fb3: ADD
00000fb4: MSTORE
00000fb5: PUSH1 0x64
00000fb7: ADD
00000fb8: PUSH2 0x08e2
00000fbb: JUMP
00000fbc: JUMPDEST
00000fbd: PUSH2 0x0fcf
00000fc0: CALLER
00000fc1: PUSH1 0x0c
00000fc3: SLOAD
00000fc4: PUSH1 0x01
00000fc6: PUSH2 0x0b78
00000fc9: SWAP2
00000fca: SWAP1
00000fcb: PUSH2 0x2fcf
00000fce: JUMP
00000fcf: JUMPDEST
00000fd0: PUSH1 0x0c
00000fd2: DUP1
00000fd3: SLOAD
00000fd4: SWAP1
00000fd5: PUSH1 0x00
00000fd7: PUSH2 0x0fdf
00000fda: DUP4
00000fdb: PUSH2 0x3183
00000fde: JUMP
00000fdf: JUMPDEST
00000fe0: SWAP2
00000fe1: SWAP1
00000fe2: POP
00000fe3: SSTORE
00000fe4: POP
00000fe5: PUSH1 0x0e
00000fe7: SLOAD
00000fe8: PUSH1 0x0d
00000fea: PUSH1 0x00
00000fec: DUP3
00000fed: DUP3
00000fee: SLOAD
00000fef: PUSH2 0x0ff8
00000ff2: SWAP2
00000ff3: SWAP1
00000ff4: PUSH2 0x2fcf
00000ff7: JUMP
00000ff8: JUMPDEST
00000ff9: SWAP1
00000ffa: SWAP2
00000ffb: SSTORE
00000ffc: POP
00000ffd: POP
00000ffe: PUSH1 0x01
00001000: PUSH1 0x0b
00001002: SSTORE
00001003: POP
00001004: POP
00001005: JUMP
00001006: JUMPDEST
00001007: PUSH1 0x00
00001009: DUP2
0000100a: DUP2
0000100b: MSTORE
0000100c: PUSH1 0x02
0000100e: PUSH1 0x20
00001010: MSTORE
00001011: PUSH1 0x40
00001013: DUP2
00001014: KECCAK256
00001015: SLOAD
00001016: PUSH1 0x01
00001018: PUSH1 0x01
0000101a: PUSH1 0xa0
0000101c: SHL
0000101d: SUB
0000101e: AND
0000101f: DUP1
00001020: PUSH2 0x07d5
00001023: JUMPI
00001024: PUSH1 0x40
00001026: MLOAD
00001027: PUSH3 0x461bcd
0000102b: PUSH1 0xe5
0000102d: SHL
0000102e: DUP2
0000102f: MSTORE
00001030: PUSH1 0x20
00001032: PUSH1 0x04
00001034: DUP3
00001035: ADD
00001036: MSTORE
00001037: PUSH1 0x29
00001039: PUSH1 0x24
0000103b: DUP3
0000103c: ADD
0000103d: MSTORE
0000103e: PUSH32 0x4552433732313a206f776e657220717565727920666f72206e6f6e6578697374
0000105f: PUSH1 0x44
00001061: DUP3
00001062: ADD
00001063: MSTORE
00001064: PUSH9 0x32b73a103a37b5b2b7
0000106e: PUSH1 0xb9
00001070: SHL
00001071: PUSH1 0x64
00001073: DUP3
00001074: ADD
00001075: MSTORE
00001076: PUSH1 0x84
00001078: ADD
00001079: PUSH2 0x08e2
0000107c: JUMP
0000107d: JUMPDEST
0000107e: PUSH1 0x00
00001080: PUSH1 0x01
00001082: PUSH1 0x01
00001084: PUSH1 0xa0
00001086: SHL
00001087: SUB
00001088: DUP3
00001089: AND
0000108a: PUSH2 0x10e8
0000108d: JUMPI
0000108e: PUSH1 0x40
00001090: MLOAD
00001091: PUSH3 0x461bcd
00001095: PUSH1 0xe5
00001097: SHL
00001098: DUP2
00001099: MSTORE
0000109a: PUSH1 0x20
0000109c: PUSH1 0x04
0000109e: DUP3
0000109f: ADD
000010a0: MSTORE
000010a1: PUSH1 0x2a
000010a3: PUSH1 0x24
000010a5: DUP3
000010a6: ADD
000010a7: MSTORE
000010a8: PUSH32 0x4552433732313a2062616c616e636520717565727920666f7220746865207a65
000010c9: PUSH1 0x44
000010cb: DUP3
000010cc: ADD
000010cd: MSTORE
000010ce: PUSH10 0x726f2061646472657373
000010d9: PUSH1 0xb0
000010db: SHL
000010dc: PUSH1 0x64
000010de: DUP3
000010df: ADD
000010e0: MSTORE
000010e1: PUSH1 0x84
000010e3: ADD
000010e4: PUSH2 0x08e2
000010e7: JUMP
000010e8: JUMPDEST
000010e9: POP
000010ea: PUSH1 0x01
000010ec: PUSH1 0x01
000010ee: PUSH1 0xa0
000010f0: SHL
000010f1: SUB
000010f2: AND
000010f3: PUSH1 0x00
000010f5: SWAP1
000010f6: DUP2
000010f7: MSTORE
000010f8: PUSH1 0x03
000010fa: PUSH1 0x20
000010fc: MSTORE
000010fd: PUSH1 0x40
000010ff: SWAP1
00001100: KECCAK256
00001101: SLOAD
00001102: SWAP1
00001103: JUMP
00001104: JUMPDEST
00001105: PUSH1 0x0a
00001107: SLOAD
00001108: PUSH1 0x01
0000110a: PUSH1 0x01
0000110c: PUSH1 0xa0
0000110e: SHL
0000110f: SUB
00001110: AND
00001111: CALLER
00001112: EQ
00001113: PUSH2 0x112e
00001116: JUMPI
00001117: PUSH1 0x40
00001119: MLOAD
0000111a: PUSH3 0x461bcd
0000111e: PUSH1 0xe5
00001120: SHL
00001121: DUP2
00001122: MSTORE
00001123: PUSH1 0x04
00001125: ADD
00001126: PUSH2 0x08e2
00001129: SWAP1
0000112a: PUSH2 0x2ee8
0000112d: JUMP
0000112e: JUMPDEST
0000112f: PUSH2 0x1138
00001132: PUSH1 0x00
00001134: PUSH2 0x1ea0
00001137: JUMP
00001138: JUMPDEST
00001139: JUMP
0000113a: JUMPDEST
0000113b: PUSH1 0x00
0000113d: PUSH2 0x1145
00001140: PUSH1 0x08
00001142: SLOAD
00001143: SWAP1
00001144: JUMP
00001145: JUMPDEST
00001146: PUSH2 0x114e
00001149: DUP4
0000114a: PUSH2 0x107d
0000114d: JUMP
0000114e: JUMPDEST
0000114f: PUSH2 0x1156
00001152: PUSH2 0x18a3
00001155: JUMP
00001156: JUMPDEST
00001157: PUSH2 0x1160
0000115a: SWAP2
0000115b: SWAP1
0000115c: PUSH2 0x30e6
0000115f: JUMP
00001160: JUMPDEST
00001161: PUSH2 0x07d5
00001164: SWAP2
00001165: SWAP1
00001166: PUSH2 0x2fe7
00001169: JUMP
0000116a: JUMPDEST
0000116b: PUSH1 0x02
0000116d: PUSH1 0x0b
0000116f: SLOAD
00001170: EQ
00001171: ISZERO
00001172: PUSH2 0x118d
00001175: JUMPI
00001176: PUSH1 0x40
00001178: MLOAD
00001179: PUSH3 0x461bcd
0000117d: PUSH1 0xe5
0000117f: SHL
00001180: DUP2
00001181: MSTORE
00001182: PUSH1 0x04
00001184: ADD
00001185: PUSH2 0x08e2
00001188: SWAP1
00001189: PUSH2 0x2f98
0000118c: JUMP
0000118d: JUMPDEST
0000118e: PUSH1 0x02
00001190: PUSH1 0x0b
00001192: SSTORE
00001193: PUSH2 0x119f
00001196: PUSH1 0x01
00001198: PUSH2 0x03e8
0000119b: PUSH2 0x3105
0000119e: JUMP
0000119f: JUMPDEST
000011a0: PUSH1 0x0c
000011a2: SLOAD
000011a3: GT
000011a4: PUSH2 0x11bf
000011a7: JUMPI
000011a8: PUSH1 0x40
000011aa: MLOAD
000011ab: PUSH3 0x461bcd
000011af: PUSH1 0xe5
000011b1: SHL
000011b2: DUP2
000011b3: MSTORE
000011b4: PUSH1 0x04
000011b6: ADD
000011b7: PUSH2 0x08e2
000011ba: SWAP1
000011bb: PUSH2 0x2e85
000011be: JUMP
000011bf: JUMPDEST
000011c0: PUSH1 0x0c
000011c2: SLOAD
000011c3: PUSH2 0x11cd
000011c6: SWAP1
000011c7: PUSH1 0x01
000011c9: PUSH2 0x2fcf
000011cc: JUMP
000011cd: JUMPDEST
000011ce: PUSH2 0x11d7
000011d1: DUP3
000011d2: DUP5
000011d3: PUSH2 0x30e6
000011d6: JUMP
000011d7: JUMPDEST
000011d8: EQ
000011d9: PUSH2 0x11f4
000011dc: JUMPI
000011dd: PUSH1 0x40
000011df: MLOAD
000011e0: PUSH3 0x461bcd
000011e4: PUSH1 0xe5
000011e6: SHL
000011e7: DUP2
000011e8: MSTORE
000011e9: PUSH1 0x04
000011eb: ADD
000011ec: PUSH2 0x08e2
000011ef: SWAP1
000011f0: PUSH2 0x2ebc
000011f3: JUMP
000011f4: JUMPDEST
000011f5: CALLER
000011f6: PUSH2 0x11fe
000011f9: DUP4
000011fa: PUSH2 0x1006
000011fd: JUMP
000011fe: JUMPDEST
000011ff: PUSH1 0x01
00001201: PUSH1 0x01
00001203: PUSH1 0xa0
00001205: SHL
00001206: SUB
00001207: AND
00001208: EQ
00001209: DUP1
0000120a: ISZERO
0000120b: PUSH2 0x1224
0000120e: JUMPI
0000120f: POP
00001210: CALLER
00001211: PUSH2 0x1219
00001214: DUP3
00001215: PUSH2 0x1006
00001218: JUMP
00001219: JUMPDEST
0000121a: PUSH1 0x01
0000121c: PUSH1 0x01
0000121e: PUSH1 0xa0
00001220: SHL
00001221: SUB
00001222: AND
00001223: EQ
00001224: JUMPDEST
00001225: PUSH2 0x0f82
00001228: JUMPI
00001229: PUSH1 0x40
0000122b: MLOAD
0000122c: PUSH3 0x461bcd
00001230: PUSH1 0xe5
00001232: SHL
00001233: DUP2
00001234: MSTORE
00001235: PUSH1 0x20
00001237: PUSH1 0x04
00001239: DUP3
0000123a: ADD
0000123b: MSTORE
0000123c: PUSH1 0x14
0000123e: PUSH1 0x24
00001240: DUP3
00001241: ADD
00001242: MSTORE
00001243: PUSH20 0x2cb7ba903237b713ba1037bbb7103a3432b9b297
00001258: PUSH1 0x61
0000125a: SHL
0000125b: PUSH1 0x44
0000125d: DUP3
0000125e: ADD
0000125f: MSTORE
00001260: PUSH1 0x64
00001262: ADD
00001263: PUSH2 0x08e2
00001266: JUMP
00001267: JUMPDEST
00001268: PUSH1 0x02
0000126a: PUSH1 0x0b
0000126c: SLOAD
0000126d: EQ
0000126e: ISZERO
0000126f: PUSH2 0x128a
00001272: JUMPI
00001273: PUSH1 0x40
00001275: MLOAD
00001276: PUSH3 0x461bcd
0000127a: PUSH1 0xe5
0000127c: SHL
0000127d: DUP2
0000127e: MSTORE
0000127f: PUSH1 0x04
00001281: ADD
00001282: PUSH2 0x08e2
00001285: SWAP1
00001286: PUSH2 0x2f98
00001289: JUMP
0000128a: JUMPDEST
0000128b: PUSH1 0x02
0000128d: PUSH1 0x0b
0000128f: SSTORE
00001290: PUSH1 0x00
00001292: PUSH2 0x1299
00001295: PUSH2 0x0bb2
00001298: JUMP
00001299: JUMPDEST
0000129a: SWAP1
0000129b: POP
0000129c: PUSH2 0x12a4
0000129f: DUP3
000012a0: PUSH2 0x0d7d
000012a3: JUMP
000012a4: JUMPDEST
000012a5: PUSH1 0x40
000012a7: MLOAD
000012a8: PUSH1 0x00
000012aa: SWAP1
000012ab: CALLER
000012ac: SWAP1
000012ad: DUP4
000012ae: SWAP1
000012af: DUP4
000012b0: DUP2
000012b1: DUP2
000012b2: DUP2
000012b3: DUP6
000012b4: DUP8
000012b5: GAS
000012b6: CALL
000012b7: SWAP3
000012b8: POP
000012b9: POP
000012ba: POP
000012bb: RETURNDATASIZE
000012bc: DUP1
000012bd: PUSH1 0x00
000012bf: DUP2
000012c0: EQ
000012c1: PUSH2 0x12e6
000012c4: JUMPI
000012c5: PUSH1 0x40
000012c7: MLOAD
000012c8: SWAP2
000012c9: POP
000012ca: PUSH1 0x1f
000012cc: NOT
000012cd: PUSH1 0x3f
000012cf: RETURNDATASIZE
000012d0: ADD
000012d1: AND
000012d2: DUP3
000012d3: ADD
000012d4: PUSH1 0x40
000012d6: MSTORE
000012d7: RETURNDATASIZE
000012d8: DUP3
000012d9: MSTORE
000012da: RETURNDATASIZE
000012db: PUSH1 0x00
000012dd: PUSH1 0x20
000012df: DUP5
000012e0: ADD
000012e1: RETURNDATACOPY
000012e2: PUSH2 0x12eb
000012e5: JUMP
000012e6: JUMPDEST
000012e7: PUSH1 0x60
000012e9: SWAP2
000012ea: POP
000012eb: JUMPDEST
000012ec: POP
000012ed: POP
000012ee: SWAP1
000012ef: POP
000012f0: DUP1
000012f1: PUSH2 0x130c
000012f4: JUMPI
000012f5: PUSH1 0x40
000012f7: MLOAD
000012f8: PUSH3 0x461bcd
000012fc: PUSH1 0xe5
000012fe: SHL
000012ff: DUP2
00001300: MSTORE
00001301: PUSH1 0x04
00001303: ADD
00001304: PUSH2 0x08e2
00001307: SWAP1
00001308: PUSH2 0x2f1d
0000130b: JUMP
0000130c: JUMPDEST
0000130d: PUSH7 0x753d533d968000
00001315: PUSH1 0x0e
00001317: SLOAD
00001318: PUSH1 0x0d
0000131a: SLOAD
0000131b: PUSH2 0x1324
0000131e: SWAP2
0000131f: SWAP1
00001320: PUSH2 0x3105
00001323: JUMP
00001324: JUMPDEST
00001325: GT
00001326: ISZERO
00001327: PUSH2 0x1344
0000132a: JUMPI
0000132b: PUSH1 0x0e
0000132d: SLOAD
0000132e: PUSH1 0x0d
00001330: PUSH1 0x00
00001332: DUP3
00001333: DUP3
00001334: SLOAD
00001335: PUSH2 0x133e
00001338: SWAP2
00001339: SWAP1
0000133a: PUSH2 0x3105
0000133d: JUMP
0000133e: JUMPDEST
0000133f: SWAP1
00001340: SWAP2
00001341: SSTORE
00001342: POP
00001343: POP
00001344: JUMPDEST
00001345: POP
00001346: POP
00001347: PUSH1 0x01
00001349: PUSH1 0x0b
0000134b: SSTORE
0000134c: POP
0000134d: JUMP
0000134e: JUMPDEST
0000134f: PUSH1 0x60
00001351: PUSH1 0x01
00001353: DUP1
00001354: SLOAD
00001355: PUSH2 0x07ea
00001358: SWAP1
00001359: PUSH2 0x3148
0000135c: JUMP
0000135d: JUMPDEST
0000135e: PUSH1 0x02
00001360: PUSH1 0x0b
00001362: SLOAD
00001363: EQ
00001364: ISZERO
00001365: PUSH2 0x1380
00001368: JUMPI
00001369: PUSH1 0x40
0000136b: MLOAD
0000136c: PUSH3 0x461bcd
00001370: PUSH1 0xe5
00001372: SHL
00001373: DUP2
00001374: MSTORE
00001375: PUSH1 0x04
00001377: ADD
00001378: PUSH2 0x08e2
0000137b: SWAP1
0000137c: PUSH2 0x2f98
0000137f: JUMP
00001380: JUMPDEST
00001381: PUSH1 0x02
00001383: PUSH1 0x0b
00001385: SSTORE
00001386: PUSH2 0x1392
00001389: PUSH1 0x01
0000138b: PUSH2 0x03e8
0000138e: PUSH2 0x3105
00001391: JUMP
00001392: JUMPDEST
00001393: PUSH1 0x0c
00001395: SLOAD
00001396: GT
00001397: PUSH2 0x13b2
0000139a: JUMPI
0000139b: PUSH1 0x40
0000139d: MLOAD
0000139e: PUSH3 0x461bcd
000013a2: PUSH1 0xe5
000013a4: SHL
000013a5: DUP2
000013a6: MSTORE
000013a7: PUSH1 0x04
000013a9: ADD
000013aa: PUSH2 0x08e2
000013ad: SWAP1
000013ae: PUSH2 0x2e85
000013b1: JUMP
000013b2: JUMPDEST
000013b3: PUSH1 0x0c
000013b5: SLOAD
000013b6: PUSH2 0x13c0
000013b9: SWAP1
000013ba: PUSH1 0x01
000013bc: PUSH2 0x2fcf
000013bf: JUMP
000013c0: JUMPDEST
000013c1: DUP2
000013c2: PUSH2 0x13cb
000013c5: DUP5
000013c6: DUP7
000013c7: PUSH2 0x2fcf
000013ca: JUMP
000013cb: JUMPDEST
000013cc: PUSH2 0x13d5
000013cf: SWAP2
000013d0: SWAP1
000013d1: PUSH2 0x2fcf
000013d4: JUMP
000013d5: JUMPDEST
000013d6: EQ
000013d7: PUSH2 0x13f2
000013da: JUMPI
000013db: PUSH1 0x40
000013dd: MLOAD
000013de: PUSH3 0x461bcd
000013e2: PUSH1 0xe5
000013e4: SHL
000013e5: DUP2
000013e6: MSTORE
000013e7: PUSH1 0x04
000013e9: ADD
000013ea: PUSH2 0x08e2
000013ed: SWAP1
000013ee: PUSH2 0x2ebc
000013f1: JUMP
000013f2: JUMPDEST
000013f3: CALLER
000013f4: PUSH2 0x13fc
000013f7: DUP5
000013f8: PUSH2 0x1006
000013fb: JUMP
000013fc: JUMPDEST
000013fd: PUSH1 0x01
000013ff: PUSH1 0x01
00001401: PUSH1 0xa0
00001403: SHL
00001404: SUB
00001405: AND
00001406: EQ
00001407: DUP1
00001408: ISZERO
00001409: PUSH2 0x1422
0000140c: JUMPI
0000140d: POP
0000140e: CALLER
0000140f: PUSH2 0x1417
00001412: DUP4
00001413: PUSH2 0x1006
00001416: JUMP
00001417: JUMPDEST
00001418: PUSH1 0x01
0000141a: PUSH1 0x01
0000141c: PUSH1 0xa0
0000141e: SHL
0000141f: SUB
00001420: AND
00001421: EQ
00001422: JUMPDEST
00001423: DUP1
00001424: ISZERO
00001425: PUSH2 0x143e
00001428: JUMPI
00001429: POP
0000142a: CALLER
0000142b: PUSH2 0x1433
0000142e: DUP3
0000142f: PUSH2 0x1006
00001432: JUMP
00001433: JUMPDEST
00001434: PUSH1 0x01
00001436: PUSH1 0x01
00001438: PUSH1 0xa0
0000143a: SHL
0000143b: SUB
0000143c: AND
0000143d: EQ
0000143e: JUMPDEST
0000143f: PUSH2 0x1481
00001442: JUMPI
00001443: PUSH1 0x40
00001445: MLOAD
00001446: PUSH3 0x461bcd
0000144a: PUSH1 0xe5
0000144c: SHL
0000144d: DUP2
0000144e: MSTORE
0000144f: PUSH1 0x20
00001451: PUSH1 0x04
00001453: DUP3
00001454: ADD
00001455: MSTORE
00001456: PUSH1 0x14
00001458: PUSH1 0x24
0000145a: DUP3
0000145b: ADD
0000145c: MSTORE
0000145d: PUSH20 0x2cb7ba903237b713ba1037bbb7103a3432b9b297
00001472: PUSH1 0x61
00001474: SHL
00001475: PUSH1 0x44
00001477: DUP3
00001478: ADD
00001479: MSTORE
0000147a: PUSH1 0x64
0000147c: ADD
0000147d: PUSH2 0x08e2
00001480: JUMP
00001481: JUMPDEST
00001482: DUP2
00001483: DUP4
00001484: EQ
00001485: ISZERO
00001486: DUP1
00001487: ISZERO
00001488: PUSH2 0x1491
0000148b: JUMPI
0000148c: POP
0000148d: DUP1
0000148e: DUP3
0000148f: EQ
00001490: ISZERO
00001491: JUMPDEST
00001492: DUP1
00001493: ISZERO
00001494: PUSH2 0x149d
00001497: JUMPI
00001498: POP
00001499: DUP3
0000149a: DUP2
0000149b: EQ
0000149c: ISZERO
0000149d: JUMPDEST
0000149e: PUSH2 0x14e9
000014a1: JUMPI
000014a2: PUSH1 0x40
000014a4: MLOAD
000014a5: PUSH3 0x461bcd
000014a9: PUSH1 0xe5
000014ab: SHL
000014ac: DUP2
000014ad: MSTORE
000014ae: PUSH1 0x20
000014b0: PUSH1 0x04
000014b2: DUP3
000014b3: ADD
000014b4: MSTORE
000014b5: PUSH1 0x1a
000014b7: PUSH1 0x24
000014b9: DUP3
000014ba: ADD
000014bb: MSTORE
000014bc: PUSH32 0x43616e2774206265207573696e6720647570657320686572652e000000000000
000014dd: PUSH1 0x44
000014df: DUP3
000014e0: ADD
000014e1: MSTORE
000014e2: PUSH1 0x64
000014e4: ADD
000014e5: PUSH2 0x08e2
000014e8: JUMP
000014e9: JUMPDEST
000014ea: PUSH1 0x0c
000014ec: SLOAD
000014ed: PUSH1 0x00
000014ef: DUP5
000014f0: DUP2
000014f1: MSTORE
000014f2: PUSH1 0x11
000014f4: PUSH1 0x20
000014f6: MSTORE
000014f7: PUSH1 0x40
000014f9: SWAP1
000014fa: KECCAK256
000014fb: SLOAD
000014fc: LT
000014fd: DUP1
000014fe: ISZERO
000014ff: PUSH2 0x1517
00001502: JUMPI
00001503: POP
00001504: PUSH1 0x0c
00001506: SLOAD
00001507: PUSH1 0x00
00001509: DUP4
0000150a: DUP2
0000150b: MSTORE
0000150c: PUSH1 0x11
0000150e: PUSH1 0x20
00001510: MSTORE
00001511: PUSH1 0x40
00001513: SWAP1
00001514: KECCAK256
00001515: SLOAD
00001516: LT
00001517: JUMPDEST
00001518: DUP1
00001519: ISZERO
0000151a: PUSH2 0x1532
0000151d: JUMPI
0000151e: POP
0000151f: PUSH1 0x0c
00001521: SLOAD
00001522: PUSH1 0x00
00001524: DUP3
00001525: DUP2
00001526: MSTORE
00001527: PUSH1 0x11
00001529: PUSH1 0x20
0000152b: MSTORE
0000152c: PUSH1 0x40
0000152e: SWAP1
0000152f: KECCAK256
00001530: SLOAD
00001531: LT
00001532: JUMPDEST
00001533: PUSH2 0x156a
00001536: JUMPI
00001537: PUSH1 0x40
00001539: MLOAD
0000153a: PUSH3 0x461bcd
0000153e: PUSH1 0xe5
00001540: SHL
00001541: DUP2
00001542: MSTORE
00001543: PUSH1 0x20
00001545: PUSH1 0x04
00001547: DUP3
00001548: ADD
00001549: MSTORE
0000154a: PUSH1 0x09
0000154c: PUSH1 0x24
0000154e: DUP3
0000154f: ADD
00001550: MSTORE
00001551: PUSH9 0x21b7b7b63237bbb717
0000155b: PUSH1 0xb9
0000155d: SHL
0000155e: PUSH1 0x44
00001560: DUP3
00001561: ADD
00001562: MSTORE
00001563: PUSH1 0x64
00001565: ADD
00001566: PUSH2 0x08e2
00001569: JUMP
0000156a: JUMPDEST
0000156b: CALLVALUE
0000156c: PUSH1 0x0d
0000156e: SLOAD
0000156f: EQ
00001570: PUSH2 0x15a4
00001573: JUMPI
00001574: PUSH1 0x40
00001576: MLOAD
00001577: PUSH3 0x461bcd
0000157b: PUSH1 0xe5
0000157d: SHL
0000157e: DUP2
0000157f: MSTORE
00001580: PUSH1 0x20
00001582: PUSH1 0x04
00001584: DUP3
00001585: ADD
00001586: MSTORE
00001587: PUSH1 0x06
00001589: PUSH1 0x24
0000158b: DUP3
0000158c: ADD
0000158d: MSTORE
0000158e: PUSH6 0x2436b6b6b697
00001595: PUSH1 0xd1
00001597: SHL
00001598: PUSH1 0x44
0000159a: DUP3
0000159b: ADD
0000159c: MSTORE
0000159d: PUSH1 0x64
0000159f: ADD
000015a0: PUSH2 0x08e2
000015a3: JUMP
000015a4: JUMPDEST
000015a5: PUSH2 0x15b7
000015a8: CALLER
000015a9: PUSH1 0x0c
000015ab: SLOAD
000015ac: PUSH1 0x01
000015ae: PUSH2 0x0b78
000015b1: SWAP2
000015b2: SWAP1
000015b3: PUSH2 0x2fcf
000015b6: JUMP
000015b7: JUMPDEST
000015b8: PUSH1 0x0c
000015ba: DUP1
000015bb: SLOAD
000015bc: SWAP1
000015bd: PUSH1 0x00
000015bf: PUSH2 0x15c7
000015c2: DUP4
000015c3: PUSH2 0x3183
000015c6: JUMP
000015c7: JUMPDEST
000015c8: SWAP2
000015c9: SWAP1
000015ca: POP
000015cb: SSTORE
000015cc: POP
000015cd: PUSH1 0x0e
000015cf: SLOAD
000015d0: PUSH1 0x0d
000015d2: PUSH1 0x00
000015d4: DUP3
000015d5: DUP3
000015d6: SLOAD
000015d7: PUSH2 0x15e0
000015da: SWAP2
000015db: SWAP1
000015dc: PUSH2 0x2fcf
000015df: JUMP
000015e0: JUMPDEST
000015e1: SWAP1
000015e2: SWAP2
000015e3: SSTORE
000015e4: POP
000015e5: POP
000015e6: PUSH1 0x0c
000015e8: SLOAD
000015e9: PUSH2 0x15f3
000015ec: SWAP1
000015ed: PUSH1 0x14
000015ef: PUSH2 0x2fcf
000015f2: JUMP
000015f3: JUMPDEST
000015f4: PUSH1 0x00
000015f6: DUP5
000015f7: DUP2
000015f8: MSTORE
000015f9: PUSH1 0x11
000015fb: PUSH1 0x20
000015fd: MSTORE
000015fe: PUSH1 0x40
00001600: SWAP1
00001601: KECCAK256
00001602: SSTORE
00001603: PUSH1 0x0c
00001605: SLOAD
00001606: PUSH2 0x1610
00001609: SWAP1
0000160a: PUSH1 0x14
0000160c: PUSH2 0x2fcf
0000160f: JUMP
00001610: JUMPDEST
00001611: PUSH1 0x00
00001613: DUP4
00001614: DUP2
00001615: MSTORE
00001616: PUSH1 0x11
00001618: PUSH1 0x20
0000161a: MSTORE
0000161b: PUSH1 0x40
0000161d: SWAP1
0000161e: KECCAK256
0000161f: SSTORE
00001620: PUSH1 0x0c
00001622: SLOAD
00001623: PUSH2 0x162d
00001626: SWAP1
00001627: PUSH1 0x14
00001629: PUSH2 0x2fcf
0000162c: JUMP
0000162d: JUMPDEST
0000162e: PUSH1 0x00
00001630: SWAP2
00001631: DUP3
00001632: MSTORE
00001633: PUSH1 0x11
00001635: PUSH1 0x20
00001637: MSTORE
00001638: PUSH1 0x40
0000163a: SWAP1
0000163b: SWAP2
0000163c: KECCAK256
0000163d: SSTORE
0000163e: POP
0000163f: POP
00001640: PUSH1 0x01
00001642: PUSH1 0x0b
00001644: SSTORE
00001645: JUMP
00001646: JUMPDEST
00001647: PUSH2 0x1651
0000164a: CALLER
0000164b: DUP4
0000164c: DUP4
0000164d: PUSH2 0x1ef2
00001650: JUMP
00001651: JUMPDEST
00001652: POP
00001653: POP
00001654: JUMP
00001655: JUMPDEST
00001656: PUSH1 0x0a
00001658: SLOAD
00001659: PUSH1 0x01
0000165b: PUSH1 0x01
0000165d: PUSH1 0xa0
0000165f: SHL
00001660: SUB
00001661: AND
00001662: CALLER
00001663: EQ
00001664: PUSH2 0x167f
00001667: JUMPI
00001668: PUSH1 0x40
0000166a: MLOAD
0000166b: PUSH3 0x461bcd
0000166f: PUSH1 0xe5
00001671: SHL
00001672: DUP2
00001673: MSTORE
00001674: PUSH1 0x04
00001676: ADD
00001677: PUSH2 0x08e2
0000167a: SWAP1
0000167b: PUSH2 0x2ee8
0000167e: JUMP
0000167f: JUMPDEST
00001680: PUSH1 0x02
00001682: PUSH1 0x0b
00001684: SLOAD
00001685: EQ
00001686: ISZERO
00001687: PUSH2 0x16a2
0000168a: JUMPI
0000168b: PUSH1 0x40
0000168d: MLOAD
0000168e: PUSH3 0x461bcd
00001692: PUSH1 0xe5
00001694: SHL
00001695: DUP2
00001696: MSTORE
00001697: PUSH1 0x04
00001699: ADD
0000169a: PUSH2 0x08e2
0000169d: SWAP1
0000169e: PUSH2 0x2f98
000016a1: JUMP
000016a2: JUMPDEST
000016a3: PUSH1 0x02
000016a5: PUSH1 0x0b
000016a7: SSTORE
000016a8: PUSH1 0x00
000016aa: PUSH2 0x16b1
000016ad: PUSH2 0x07a1
000016b0: JUMP
000016b1: JUMPDEST
000016b2: SWAP1
000016b3: POP
000016b4: DUP1
000016b5: PUSH1 0x10
000016b7: PUSH1 0x00
000016b9: DUP3
000016ba: DUP3
000016bb: SLOAD
000016bc: PUSH2 0x16c5
000016bf: SWAP2
000016c0: SWAP1
000016c1: PUSH2 0x2fcf
000016c4: JUMP
000016c5: JUMPDEST
000016c6: SWAP1
000016c7: SWAP2
000016c8: SSTORE
000016c9: POP
000016ca: POP
000016cb: PUSH1 0x40
000016cd: MLOAD
000016ce: PUSH1 0x00
000016d0: SWAP1
000016d1: CALLER
000016d2: SWAP1
000016d3: DUP4
000016d4: SWAP1
000016d5: DUP4
000016d6: DUP2
000016d7: DUP2
000016d8: DUP2
000016d9: DUP6
000016da: DUP8
000016db: GAS
000016dc: CALL
000016dd: SWAP3
000016de: POP
000016df: POP
000016e0: POP
000016e1: RETURNDATASIZE
000016e2: DUP1
000016e3: PUSH1 0x00
000016e5: DUP2
000016e6: EQ
000016e7: PUSH2 0x170c
000016ea: JUMPI
000016eb: PUSH1 0x40
000016ed: MLOAD
000016ee: SWAP2
000016ef: POP
000016f0: PUSH1 0x1f
000016f2: NOT
000016f3: PUSH1 0x3f
000016f5: RETURNDATASIZE
000016f6: ADD
000016f7: AND
000016f8: DUP3
000016f9: ADD
000016fa: PUSH1 0x40
000016fc: MSTORE
000016fd: RETURNDATASIZE
000016fe: DUP3
000016ff: MSTORE
00001700: RETURNDATASIZE
00001701: PUSH1 0x00
00001703: PUSH1 0x20
00001705: DUP5
00001706: ADD
00001707: RETURNDATACOPY
00001708: PUSH2 0x1711
0000170b: JUMP
0000170c: JUMPDEST
0000170d: PUSH1 0x60
0000170f: SWAP2
00001710: POP
00001711: JUMPDEST
00001712: POP
00001713: POP
00001714: SWAP1
00001715: POP
00001716: DUP1
00001717: PUSH2 0x1732
0000171a: JUMPI
0000171b: PUSH1 0x40
0000171d: MLOAD
0000171e: PUSH3 0x461bcd
00001722: PUSH1 0xe5
00001724: SHL
00001725: DUP2
00001726: MSTORE
00001727: PUSH1 0x04
00001729: ADD
0000172a: PUSH2 0x08e2
0000172d: SWAP1
0000172e: PUSH2 0x2f1d
00001731: JUMP
00001732: JUMPDEST
00001733: POP
00001734: POP
00001735: PUSH1 0x01
00001737: PUSH1 0x0b
00001739: SSTORE
0000173a: JUMP
0000173b: JUMPDEST
0000173c: PUSH2 0x1745
0000173f: CALLER
00001740: DUP4
00001741: PUSH2 0x1b57
00001744: JUMP
00001745: JUMPDEST
00001746: PUSH2 0x1761
00001749: JUMPI
0000174a: PUSH1 0x40
0000174c: MLOAD
0000174d: PUSH3 0x461bcd
00001751: PUSH1 0xe5
00001753: SHL
00001754: DUP2
00001755: MSTORE
00001756: PUSH1 0x04
00001758: ADD
00001759: PUSH2 0x08e2
0000175c: SWAP1
0000175d: PUSH2 0x2f47
00001760: JUMP
00001761: JUMPDEST
00001762: PUSH2 0x176d
00001765: DUP5
00001766: DUP5
00001767: DUP5
00001768: DUP5
00001769: PUSH2 0x1fc1
0000176c: JUMP
0000176d: JUMPDEST
0000176e: POP
0000176f: POP
00001770: POP
00001771: POP
00001772: JUMP
00001773: JUMPDEST
00001774: PUSH1 0x00
00001776: PUSH2 0x03e8
00001779: PUSH1 0x0c
0000177b: SLOAD
0000177c: LT
0000177d: ISZERO
0000177e: PUSH2 0x1787
00001781: JUMPI
00001782: POP
00001783: PUSH1 0x00
00001785: SWAP1
00001786: JUMP
00001787: JUMPDEST
00001788: PUSH1 0x0c
0000178a: SLOAD
0000178b: PUSH2 0x1795
0000178e: SWAP1
0000178f: PUSH1 0x01
00001791: PUSH2 0x2fcf
00001794: JUMP
00001795: JUMPDEST
00001796: SWAP1
00001797: POP
00001798: SWAP1
00001799: JUMP
0000179a: JUMPDEST
0000179b: PUSH1 0x00
0000179d: PUSH2 0x17a5
000017a0: PUSH1 0x08
000017a2: SLOAD
000017a3: SWAP1
000017a4: JUMP
000017a5: JUMPDEST
000017a6: PUSH1 0x0c
000017a8: SLOAD
000017a9: PUSH2 0x1795
000017ac: SWAP2
000017ad: SWAP1
000017ae: PUSH2 0x3105
000017b1: JUMP
000017b2: JUMPDEST
000017b3: PUSH1 0x60
000017b5: PUSH2 0x17bc
000017b8: PUSH2 0x298d
000017bb: JUMP
000017bc: JUMPDEST
000017bd: PUSH1 0x40
000017bf: MLOAD
000017c0: DUP1
000017c1: PUSH2 0x0160
000017c4: ADD
000017c5: PUSH1 0x40
000017c7: MSTORE
000017c8: DUP1
000017c9: PUSH2 0x0134
000017cc: DUP2
000017cd: MSTORE
000017ce: PUSH1 0x20
000017d0: ADD
000017d1: PUSH2 0x324b
000017d4: PUSH2 0x0134
000017d7: SWAP2
000017d8: CODECOPY
000017d9: DUP2
000017da: MSTORE
000017db: PUSH2 0x17e3
000017de: DUP4
000017df: PUSH2 0x1ff4
000017e2: JUMP
000017e3: JUMPDEST
000017e4: PUSH1 0x20
000017e6: DUP3
000017e7: DUP2
000017e8: ADD
000017e9: SWAP2
000017ea: DUP3
000017eb: MSTORE
000017ec: PUSH1 0x40
000017ee: DUP1
000017ef: MLOAD
000017f0: DUP1
000017f1: DUP3
000017f2: ADD
000017f3: DUP3
000017f4: MSTORE
000017f5: PUSH1 0x0d
000017f7: DUP2
000017f8: MSTORE
000017f9: PUSH13 0x1e17ba32bc3a1f1e17b9bb339f
00001807: PUSH1 0x99
00001809: SHL
0000180a: DUP2
0000180b: DUP5
0000180c: ADD
0000180d: MSTORE
0000180e: DUP2
0000180f: DUP6
00001810: ADD
00001811: DUP2
00001812: SWAP1
00001813: MSTORE
00001814: DUP5
00001815: MLOAD
00001816: SWAP4
00001817: MLOAD
00001818: SWAP2
00001819: MLOAD
0000181a: PUSH1 0x00
0000181c: SWAP5
0000181d: PUSH2 0x182a
00001820: SWAP5
00001821: SWAP1
00001822: SWAP4
00001823: SWAP3
00001824: SWAP2
00001825: ADD
00001826: PUSH2 0x2c5e
00001829: JUMP
0000182a: JUMPDEST
0000182b: PUSH1 0x40
0000182d: MLOAD
0000182e: PUSH1 0x20
00001830: DUP2
00001831: DUP4
00001832: SUB
00001833: SUB
00001834: DUP2
00001835: MSTORE
00001836: SWAP1
00001837: PUSH1 0x40
00001839: MSTORE
0000183a: SWAP1
0000183b: POP
0000183c: PUSH1 0x00
0000183e: PUSH2 0x1877
00001841: PUSH2 0x1849
00001844: DUP7
00001845: PUSH2 0x1ff4
00001848: JUMP
00001849: JUMPDEST
0000184a: PUSH2 0x1852
0000184d: DUP5
0000184e: PUSH2 0x210e
00001851: JUMP
00001852: JUMPDEST
00001853: PUSH1 0x40
00001855: MLOAD
00001856: PUSH1 0x20
00001858: ADD
00001859: PUSH2 0x1863
0000185c: SWAP3
0000185d: SWAP2
0000185e: SWAP1
0000185f: PUSH2 0x2ce6
00001862: JUMP
00001863: JUMPDEST
00001864: PUSH1 0x40
00001866: MLOAD
00001867: PUSH1 0x20
00001869: DUP2
0000186a: DUP4
0000186b: SUB
0000186c: SUB
0000186d: DUP2
0000186e: MSTORE
0000186f: SWAP1
00001870: PUSH1 0x40
00001872: MSTORE
00001873: PUSH2 0x210e
00001876: JUMP
00001877: JUMPDEST
00001878: SWAP1
00001879: POP
0000187a: DUP1
0000187b: PUSH1 0x40
0000187d: MLOAD
0000187e: PUSH1 0x20
00001880: ADD
00001881: PUSH2 0x188a
00001884: SWAP2
00001885: SWAP1
00001886: PUSH2 0x2ca1
00001889: JUMP
0000188a: JUMPDEST
0000188b: PUSH1 0x40
0000188d: DUP1
0000188e: MLOAD
0000188f: PUSH1 0x1f
00001891: NOT
00001892: DUP2
00001893: DUP5
00001894: SUB
00001895: ADD
00001896: DUP2
00001897: MSTORE
00001898: SWAP2
00001899: SWAP1
0000189a: MSTORE
0000189b: SWAP6
0000189c: SWAP5
0000189d: POP
0000189e: POP
0000189f: POP
000018a0: POP
000018a1: POP
000018a2: JUMP
000018a3: JUMPDEST
000018a4: PUSH1 0x00
000018a6: PUSH2 0x18ad
000018a9: PUSH2 0x07a1
000018ac: JUMP
000018ad: JUMPDEST
000018ae: PUSH2 0x1795
000018b1: SWAP1
000018b2: SELFBALANCE
000018b3: PUSH2 0x3105
000018b6: JUMP
000018b7: JUMPDEST
000018b8: PUSH1 0x02
000018ba: PUSH1 0x0b
000018bc: SLOAD
000018bd: EQ
000018be: ISZERO
000018bf: PUSH2 0x18da
000018c2: JUMPI
000018c3: PUSH1 0x40
000018c5: MLOAD
000018c6: PUSH3 0x461bcd
000018ca: PUSH1 0xe5
000018cc: SHL
000018cd: DUP2
000018ce: MSTORE
000018cf: PUSH1 0x04
000018d1: ADD
000018d2: PUSH2 0x08e2
000018d5: SWAP1
000018d6: PUSH2 0x2f98
000018d9: JUMP
000018da: JUMPDEST
000018db: PUSH1 0x02
000018dd: PUSH1 0x0b
000018df: SSTORE
000018e0: PUSH2 0x03e8
000018e3: DUP2
000018e4: PUSH2 0x18ec
000018e7: PUSH1 0x08
000018e9: SLOAD
000018ea: SWAP1
000018eb: JUMP
000018ec: JUMPDEST
000018ed: PUSH2 0x18f6
000018f0: SWAP2
000018f1: SWAP1
000018f2: PUSH2 0x2fcf
000018f5: JUMP
000018f6: JUMPDEST
000018f7: GT
000018f8: ISZERO
000018f9: PUSH2 0x193c
000018fc: JUMPI
000018fd: PUSH1 0x40
000018ff: MLOAD
00001900: PUSH3 0x461bcd
00001904: PUSH1 0xe5
00001906: SHL
00001907: DUP2
00001908: MSTORE
00001909: PUSH1 0x20
0000190b: PUSH1 0x04
0000190d: DUP3
0000190e: ADD
0000190f: MSTORE
00001910: PUSH1 0x15
00001912: PUSH1 0x24
00001914: DUP3
00001915: ADD
00001916: MSTORE
00001917: PUSH21 0x21b0b713ba1036b4b73a103a3430ba1036bab1b417
0000192d: PUSH1 0x59
0000192f: SHL
00001930: PUSH1 0x44
00001932: DUP3
00001933: ADD
00001934: MSTORE
00001935: PUSH1 0x64
00001937: ADD
00001938: PUSH2 0x08e2
0000193b: JUMP
0000193c: JUMPDEST
0000193d: PUSH1 0x00
0000193f: DUP2
00001940: GT
00001941: DUP1
00001942: ISZERO
00001943: PUSH2 0x194c
00001946: JUMPI
00001947: POP
00001948: PUSH1 0x0b
0000194a: DUP2
0000194b: LT
0000194c: JUMPDEST
0000194d: PUSH2 0x198f
00001950: JUMPI
00001951: PUSH1 0x40
00001953: MLOAD
00001954: PUSH3 0x461bcd
00001958: PUSH1 0xe5
0000195a: SHL
0000195b: DUP2
0000195c: MSTORE
0000195d: PUSH1 0x20
0000195f: PUSH1 0x04
00001961: DUP3
00001962: ADD
00001963: MSTORE
00001964: PUSH1 0x14
00001966: PUSH1 0x24
00001968: DUP3
00001969: ADD
0000196a: MSTORE
0000196b: PUSH20 0x2a37b79036bab1b41037b9103a37b7903634b617
00001980: PUSH1 0x61
00001982: SHL
00001983: PUSH1 0x44
00001985: DUP3
00001986: ADD
00001987: MSTORE
00001988: PUSH1 0x64
0000198a: ADD
0000198b: PUSH2 0x08e2
0000198e: JUMP
0000198f: JUMPDEST
00001990: CALLVALUE
00001991: DUP2
00001992: PUSH1 0x0d
00001994: SLOAD
00001995: PUSH2 0x199e
00001998: SWAP2
00001999: SWAP1
0000199a: PUSH2 0x30e6
0000199d: JUMP
0000199e: JUMPDEST
0000199f: EQ
000019a0: PUSH2 0x19d3
000019a3: JUMPI
000019a4: PUSH1 0x40
000019a6: MLOAD
000019a7: PUSH3 0x461bcd
000019ab: PUSH1 0xe5
000019ad: SHL
000019ae: DUP2
000019af: MSTORE
000019b0: PUSH1 0x20
000019b2: PUSH1 0x04
000019b4: DUP3
000019b5: ADD
000019b6: MSTORE
000019b7: PUSH1 0x05
000019b9: PUSH1 0x24
000019bb: DUP3
000019bc: ADD
000019bd: MSTORE
000019be: PUSH5 0x2436b6b697
000019c4: PUSH1 0xd9
000019c6: SHL
000019c7: PUSH1 0x44
000019c9: DUP3
000019ca: ADD
000019cb: MSTORE
000019cc: PUSH1 0x64
000019ce: ADD
000019cf: PUSH2 0x08e2
000019d2: JUMP
000019d3: JUMPDEST
000019d4: PUSH1 0x00
000019d6: JUMPDEST
000019d7: DUP2
000019d8: DUP2
000019d9: LT
000019da: ISZERO
000019db: PUSH2 0x1732
000019de: JUMPI
000019df: PUSH2 0x19ea
000019e2: CALLER
000019e3: PUSH2 0x0b78
000019e6: PUSH2 0x2282
000019e9: JUMP
000019ea: JUMPDEST
000019eb: PUSH1 0x0c
000019ed: DUP1
000019ee: SLOAD
000019ef: SWAP1
000019f0: PUSH1 0x00
000019f2: PUSH2 0x19fa
000019f5: DUP4
000019f6: PUSH2 0x3183
000019f9: JUMP
000019fa: JUMPDEST
000019fb: SWAP2
000019fc: SWAP1
000019fd: POP
000019fe: SSTORE
000019ff: POP
00001a00: DUP1
00001a01: DUP1
00001a02: PUSH2 0x1a0a
00001a05: SWAP1
00001a06: PUSH2 0x3183
00001a09: JUMP
00001a0a: JUMPDEST
00001a0b: SWAP2
00001a0c: POP
00001a0d: POP
00001a0e: PUSH2 0x19d6
00001a11: JUMP
00001a12: JUMPDEST
00001a13: PUSH1 0x0a
00001a15: SLOAD
00001a16: PUSH1 0x01
00001a18: PUSH1 0x01
00001a1a: PUSH1 0xa0
00001a1c: SHL
00001a1d: SUB
00001a1e: AND
00001a1f: CALLER
00001a20: EQ
00001a21: PUSH2 0x1a3c
00001a24: JUMPI
00001a25: PUSH1 0x40
00001a27: MLOAD
00001a28: PUSH3 0x461bcd
00001a2c: PUSH1 0xe5
00001a2e: SHL
00001a2f: DUP2
00001a30: MSTORE
00001a31: PUSH1 0x04
00001a33: ADD
00001a34: PUSH2 0x08e2
00001a37: SWAP1
00001a38: PUSH2 0x2ee8
00001a3b: JUMP
00001a3c: JUMPDEST
00001a3d: PUSH1 0x01
00001a3f: PUSH1 0x01
00001a41: PUSH1 0xa0
00001a43: SHL
00001a44: SUB
00001a45: DUP2
00001a46: AND
00001a47: PUSH2 0x1aa1
00001a4a: JUMPI
00001a4b: PUSH1 0x40
00001a4d: MLOAD
00001a4e: PUSH3 0x461bcd
00001a52: PUSH1 0xe5
00001a54: SHL
00001a55: DUP2
00001a56: MSTORE
00001a57: PUSH1 0x20
00001a59: PUSH1 0x04
00001a5b: DUP3
00001a5c: ADD
00001a5d: MSTORE
00001a5e: PUSH1 0x26
00001a60: PUSH1 0x24
00001a62: DUP3
00001a63: ADD
00001a64: MSTORE
00001a65: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00001a86: PUSH1 0x44
00001a88: DUP3
00001a89: ADD
00001a8a: MSTORE
00001a8b: PUSH6 0x646472657373
00001a92: PUSH1 0xd0
00001a94: SHL
00001a95: PUSH1 0x64
00001a97: DUP3
00001a98: ADD
00001a99: MSTORE
00001a9a: PUSH1 0x84
00001a9c: ADD
00001a9d: PUSH2 0x08e2
00001aa0: JUMP
00001aa1: JUMPDEST
00001aa2: PUSH2 0x0df4
00001aa5: DUP2
00001aa6: PUSH2 0x1ea0
00001aa9: JUMP
00001aaa: JUMPDEST
00001aab: PUSH1 0x00
00001aad: PUSH1 0x01
00001aaf: PUSH1 0x01
00001ab1: PUSH1 0xe0
00001ab3: SHL
00001ab4: SUB
00001ab5: NOT
00001ab6: DUP3
00001ab7: AND
00001ab8: PUSH4 0x780e9d63
00001abd: PUSH1 0xe0
00001abf: SHL
00001ac0: EQ
00001ac1: DUP1
00001ac2: PUSH2 0x07d5
00001ac5: JUMPI
00001ac6: POP
00001ac7: PUSH2 0x07d5
00001aca: DUP3
00001acb: PUSH2 0x2432
00001ace: JUMP
00001acf: JUMPDEST
00001ad0: PUSH1 0x00
00001ad2: DUP2
00001ad3: DUP2
00001ad4: MSTORE
00001ad5: PUSH1 0x04
00001ad7: PUSH1 0x20
00001ad9: MSTORE
00001ada: PUSH1 0x40
00001adc: SWAP1
00001add: KECCAK256
00001ade: DUP1
00001adf: SLOAD
00001ae0: PUSH1 0x01
00001ae2: PUSH1 0x01
00001ae4: PUSH1 0xa0
00001ae6: SHL
00001ae7: SUB
00001ae8: NOT
00001ae9: AND
00001aea: PUSH1 0x01
00001aec: PUSH1 0x01
00001aee: PUSH1 0xa0
00001af0: SHL
00001af1: SUB
00001af2: DUP5
00001af3: AND
00001af4: SWAP1
00001af5: DUP2
00001af6: OR
00001af7: SWAP1
00001af8: SWAP2
00001af9: SSTORE
00001afa: DUP2
00001afb: SWAP1
00001afc: PUSH2 0x1b04
00001aff: DUP3
00001b00: PUSH2 0x1006
00001b03: JUMP
00001b04: JUMPDEST
00001b05: PUSH1 0x01
00001b07: PUSH1 0x01
00001b09: PUSH1 0xa0
00001b0b: SHL
00001b0c: SUB
00001b0d: AND
00001b0e: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00001b2f: PUSH1 0x40
00001b31: MLOAD
00001b32: PUSH1 0x40
00001b34: MLOAD
00001b35: DUP1
00001b36: SWAP2
00001b37: SUB
00001b38: SWAP1
00001b39: LOG4
00001b3a: POP
00001b3b: POP
00001b3c: JUMP
00001b3d: JUMPDEST
00001b3e: PUSH2 0x1651
00001b41: DUP3
00001b42: DUP3
00001b43: PUSH1 0x40
00001b45: MLOAD
00001b46: DUP1
00001b47: PUSH1 0x20
00001b49: ADD
00001b4a: PUSH1 0x40
00001b4c: MSTORE
00001b4d: DUP1
00001b4e: PUSH1 0x00
00001b50: DUP2
00001b51: MSTORE
00001b52: POP
00001b53: PUSH2 0x2482
00001b56: JUMP
00001b57: JUMPDEST
00001b58: PUSH1 0x00
00001b5a: DUP2
00001b5b: DUP2
00001b5c: MSTORE
00001b5d: PUSH1 0x02
00001b5f: PUSH1 0x20
00001b61: MSTORE
00001b62: PUSH1 0x40
00001b64: DUP2
00001b65: KECCAK256
00001b66: SLOAD
00001b67: PUSH1 0x01
00001b69: PUSH1 0x01
00001b6b: PUSH1 0xa0
00001b6d: SHL
00001b6e: SUB
00001b6f: AND
00001b70: PUSH2 0x1bd0
00001b73: JUMPI
00001b74: PUSH1 0x40
00001b76: MLOAD
00001b77: PUSH3 0x461bcd
00001b7b: PUSH1 0xe5
00001b7d: SHL
00001b7e: DUP2
00001b7f: MSTORE
00001b80: PUSH1 0x20
00001b82: PUSH1 0x04
00001b84: DUP3
00001b85: ADD
00001b86: MSTORE
00001b87: PUSH1 0x2c
00001b89: PUSH1 0x24
00001b8b: DUP3
00001b8c: ADD
00001b8d: MSTORE
00001b8e: PUSH32 0x4552433732313a206f70657261746f7220717565727920666f72206e6f6e6578
00001baf: PUSH1 0x44
00001bb1: DUP3
00001bb2: ADD
00001bb3: MSTORE
00001bb4: PUSH12 0x34b9ba32b73a103a37b5b2b7
00001bc1: PUSH1 0xa1
00001bc3: SHL
00001bc4: PUSH1 0x64
00001bc6: DUP3
00001bc7: ADD
00001bc8: MSTORE
00001bc9: PUSH1 0x84
00001bcb: ADD
00001bcc: PUSH2 0x08e2
00001bcf: JUMP
00001bd0: JUMPDEST
00001bd1: PUSH1 0x00
00001bd3: PUSH2 0x1bdb
00001bd6: DUP4
00001bd7: PUSH2 0x1006
00001bda: JUMP
00001bdb: JUMPDEST
00001bdc: SWAP1
00001bdd: POP
00001bde: DUP1
00001bdf: PUSH1 0x01
00001be1: PUSH1 0x01
00001be3: PUSH1 0xa0
00001be5: SHL
00001be6: SUB
00001be7: AND
00001be8: DUP5
00001be9: PUSH1 0x01
00001beb: PUSH1 0x01
00001bed: PUSH1 0xa0
00001bef: SHL
00001bf0: SUB
00001bf1: AND
00001bf2: EQ
00001bf3: DUP1
00001bf4: PUSH2 0x1c16
00001bf7: JUMPI
00001bf8: POP
00001bf9: DUP4
00001bfa: PUSH1 0x01
00001bfc: PUSH1 0x01
00001bfe: PUSH1 0xa0
00001c00: SHL
00001c01: SUB
00001c02: AND
00001c03: PUSH2 0x1c0b
00001c06: DUP5
00001c07: PUSH2 0x086d
00001c0a: JUMP
00001c0b: JUMPDEST
00001c0c: PUSH1 0x01
00001c0e: PUSH1 0x01
00001c10: PUSH1 0xa0
00001c12: SHL
00001c13: SUB
00001c14: AND
00001c15: EQ
00001c16: JUMPDEST
00001c17: DUP1
00001c18: PUSH2 0x1c46
00001c1b: JUMPI
00001c1c: POP
00001c1d: PUSH1 0x01
00001c1f: PUSH1 0x01
00001c21: PUSH1 0xa0
00001c23: SHL
00001c24: SUB
00001c25: DUP1
00001c26: DUP3
00001c27: AND
00001c28: PUSH1 0x00
00001c2a: SWAP1
00001c2b: DUP2
00001c2c: MSTORE
00001c2d: PUSH1 0x05
00001c2f: PUSH1 0x20
00001c31: SWAP1
00001c32: DUP2
00001c33: MSTORE
00001c34: PUSH1 0x40
00001c36: DUP1
00001c37: DUP4
00001c38: KECCAK256
00001c39: SWAP4
00001c3a: DUP9
00001c3b: AND
00001c3c: DUP4
00001c3d: MSTORE
00001c3e: SWAP3
00001c3f: SWAP1
00001c40: MSTORE
00001c41: KECCAK256
00001c42: SLOAD
00001c43: PUSH1 0xff
00001c45: AND
00001c46: JUMPDEST
00001c47: SWAP5
00001c48: SWAP4
00001c49: POP
00001c4a: POP
00001c4b: POP
00001c4c: POP
00001c4d: JUMP
00001c4e: JUMPDEST
00001c4f: DUP3
00001c50: PUSH1 0x01
00001c52: PUSH1 0x01
00001c54: PUSH1 0xa0
00001c56: SHL
00001c57: SUB
00001c58: AND
00001c59: PUSH2 0x1c61
00001c5c: DUP3
00001c5d: PUSH2 0x1006
00001c60: JUMP
00001c61: JUMPDEST
00001c62: PUSH1 0x01
00001c64: PUSH1 0x01
00001c66: PUSH1 0xa0
00001c68: SHL
00001c69: SUB
00001c6a: AND
00001c6b: EQ
00001c6c: PUSH2 0x1cc9
00001c6f: JUMPI
00001c70: PUSH1 0x40
00001c72: MLOAD
00001c73: PUSH3 0x461bcd
00001c77: PUSH1 0xe5
00001c79: SHL
00001c7a: DUP2
00001c7b: MSTORE
00001c7c: PUSH1 0x20
00001c7e: PUSH1 0x04
00001c80: DUP3
00001c81: ADD
00001c82: MSTORE
00001c83: PUSH1 0x29
00001c85: PUSH1 0x24
00001c87: DUP3
00001c88: ADD
00001c89: MSTORE
00001c8a: PUSH32 0x4552433732313a207472616e73666572206f6620746f6b656e20746861742069
00001cab: PUSH1 0x44
00001cad: DUP3
00001cae: ADD
00001caf: MSTORE
00001cb0: PUSH9 0x39903737ba1037bbb7
00001cba: PUSH1 0xb9
00001cbc: SHL
00001cbd: PUSH1 0x64
00001cbf: DUP3
00001cc0: ADD
00001cc1: MSTORE
00001cc2: PUSH1 0x84
00001cc4: ADD
00001cc5: PUSH2 0x08e2
00001cc8: JUMP
00001cc9: JUMPDEST
00001cca: PUSH1 0x01
00001ccc: PUSH1 0x01
00001cce: PUSH1 0xa0
00001cd0: SHL
00001cd1: SUB
00001cd2: DUP3
00001cd3: AND
00001cd4: PUSH2 0x1d2b
00001cd7: JUMPI
00001cd8: PUSH1 0x40
00001cda: MLOAD
00001cdb: PUSH3 0x461bcd
00001cdf: PUSH1 0xe5
00001ce1: SHL
00001ce2: DUP2
00001ce3: MSTORE
00001ce4: PUSH1 0x20
00001ce6: PUSH1 0x04
00001ce8: DUP3
00001ce9: ADD
00001cea: MSTORE
00001ceb: PUSH1 0x24
00001ced: DUP1
00001cee: DUP3
00001cef: ADD
00001cf0: MSTORE
00001cf1: PUSH32 0x4552433732313a207472616e7366657220746f20746865207a65726f20616464
00001d12: PUSH1 0x44
00001d14: DUP3
00001d15: ADD
00001d16: MSTORE
00001d17: PUSH4 0x72657373
00001d1c: PUSH1 0xe0
00001d1e: SHL
00001d1f: PUSH1 0x64
00001d21: DUP3
00001d22: ADD
00001d23: MSTORE
00001d24: PUSH1 0x84
00001d26: ADD
00001d27: PUSH2 0x08e2
00001d2a: JUMP
00001d2b: JUMPDEST
00001d2c: PUSH2 0x1d36
00001d2f: DUP4
00001d30: DUP4
00001d31: DUP4
00001d32: PUSH2 0x24b5
00001d35: JUMP
00001d36: JUMPDEST
00001d37: PUSH2 0x1d41
00001d3a: PUSH1 0x00
00001d3c: DUP3
00001d3d: PUSH2 0x1acf
00001d40: JUMP
00001d41: JUMPDEST
00001d42: PUSH1 0x01
00001d44: PUSH1 0x01
00001d46: PUSH1 0xa0
00001d48: SHL
00001d49: SUB
00001d4a: DUP4
00001d4b: AND
00001d4c: PUSH1 0x00
00001d4e: SWAP1
00001d4f: DUP2
00001d50: MSTORE
00001d51: PUSH1 0x03
00001d53: PUSH1 0x20
00001d55: MSTORE
00001d56: PUSH1 0x40
00001d58: DUP2
00001d59: KECCAK256
00001d5a: DUP1
00001d5b: SLOAD
00001d5c: PUSH1 0x01
00001d5e: SWAP3
00001d5f: SWAP1
00001d60: PUSH2 0x1d6a
00001d63: SWAP1
00001d64: DUP5
00001d65: SWAP1
00001d66: PUSH2 0x3105
00001d69: JUMP
00001d6a: JUMPDEST
00001d6b: SWAP1
00001d6c: SWAP2
00001d6d: SSTORE
00001d6e: POP
00001d6f: POP
00001d70: PUSH1 0x01
00001d72: PUSH1 0x01
00001d74: PUSH1 0xa0
00001d76: SHL
00001d77: SUB
00001d78: DUP3
00001d79: AND
00001d7a: PUSH1 0x00
00001d7c: SWAP1
00001d7d: DUP2
00001d7e: MSTORE
00001d7f: PUSH1 0x03
00001d81: PUSH1 0x20
00001d83: MSTORE
00001d84: PUSH1 0x40
00001d86: DUP2
00001d87: KECCAK256
00001d88: DUP1
00001d89: SLOAD
00001d8a: PUSH1 0x01
00001d8c: SWAP3
00001d8d: SWAP1
00001d8e: PUSH2 0x1d98
00001d91: SWAP1
00001d92: DUP5
00001d93: SWAP1
00001d94: PUSH2 0x2fcf
00001d97: JUMP
00001d98: JUMPDEST
00001d99: SWAP1
00001d9a: SWAP2
00001d9b: SSTORE
00001d9c: POP
00001d9d: POP
00001d9e: PUSH1 0x00
00001da0: DUP2
00001da1: DUP2
00001da2: MSTORE
00001da3: PUSH1 0x02
00001da5: PUSH1 0x20
00001da7: MSTORE
00001da8: PUSH1 0x40
00001daa: DUP1
00001dab: DUP3
00001dac: KECCAK256
00001dad: DUP1
00001dae: SLOAD
00001daf: PUSH1 0x01
00001db1: PUSH1 0x01
00001db3: PUSH1 0xa0
00001db5: SHL
00001db6: SUB
00001db7: NOT
00001db8: AND
00001db9: PUSH1 0x01
00001dbb: PUSH1 0x01
00001dbd: PUSH1 0xa0
00001dbf: SHL
00001dc0: SUB
00001dc1: DUP7
00001dc2: DUP2
00001dc3: AND
00001dc4: SWAP2
00001dc5: DUP3
00001dc6: OR
00001dc7: SWAP1
00001dc8: SWAP3
00001dc9: SSTORE
00001dca: SWAP2
00001dcb: MLOAD
00001dcc: DUP5
00001dcd: SWAP4
00001dce: SWAP2
00001dcf: DUP8
00001dd0: AND
00001dd1: SWAP2
00001dd2: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001df3: SWAP2
00001df4: LOG4
00001df5: POP
00001df6: POP
00001df7: POP
00001df8: JUMP
00001df9: JUMPDEST
00001dfa: PUSH1 0x00
00001dfc: PUSH2 0x1e04
00001dff: DUP3
00001e00: PUSH2 0x1006
00001e03: JUMP
00001e04: JUMPDEST
00001e05: SWAP1
00001e06: POP
00001e07: PUSH2 0x1e12
00001e0a: DUP2
00001e0b: PUSH1 0x00
00001e0d: DUP5
00001e0e: PUSH2 0x24b5
00001e11: JUMP
00001e12: JUMPDEST
00001e13: PUSH2 0x1e1d
00001e16: PUSH1 0x00
00001e18: DUP4
00001e19: PUSH2 0x1acf
00001e1c: JUMP
00001e1d: JUMPDEST
00001e1e: PUSH1 0x01
00001e20: PUSH1 0x01
00001e22: PUSH1 0xa0
00001e24: SHL
00001e25: SUB
00001e26: DUP2
00001e27: AND
00001e28: PUSH1 0x00
00001e2a: SWAP1
00001e2b: DUP2
00001e2c: MSTORE
00001e2d: PUSH1 0x03
00001e2f: PUSH1 0x20
00001e31: MSTORE
00001e32: PUSH1 0x40
00001e34: DUP2
00001e35: KECCAK256
00001e36: DUP1
00001e37: SLOAD
00001e38: PUSH1 0x01
00001e3a: SWAP3
00001e3b: SWAP1
00001e3c: PUSH2 0x1e46
00001e3f: SWAP1
00001e40: DUP5
00001e41: SWAP1
00001e42: PUSH2 0x3105
00001e45: JUMP
00001e46: JUMPDEST
00001e47: SWAP1
00001e48: SWAP2
00001e49: SSTORE
00001e4a: POP
00001e4b: POP
00001e4c: PUSH1 0x00
00001e4e: DUP3
00001e4f: DUP2
00001e50: MSTORE
00001e51: PUSH1 0x02
00001e53: PUSH1 0x20
00001e55: MSTORE
00001e56: PUSH1 0x40
00001e58: DUP1
00001e59: DUP3
00001e5a: KECCAK256
00001e5b: DUP1
00001e5c: SLOAD
00001e5d: PUSH1 0x01
00001e5f: PUSH1 0x01
00001e61: PUSH1 0xa0
00001e63: SHL
00001e64: SUB
00001e65: NOT
00001e66: AND
00001e67: SWAP1
00001e68: SSTORE
00001e69: MLOAD
00001e6a: DUP4
00001e6b: SWAP2
00001e6c: SWAP1
00001e6d: PUSH1 0x01
00001e6f: PUSH1 0x01
00001e71: PUSH1 0xa0
00001e73: SHL
00001e74: SUB
00001e75: DUP5
00001e76: AND
00001e77: SWAP1
00001e78: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001e99: SWAP1
00001e9a: DUP4
00001e9b: SWAP1
00001e9c: LOG4
00001e9d: POP
00001e9e: POP
00001e9f: JUMP
00001ea0: JUMPDEST
00001ea1: PUSH1 0x0a
00001ea3: DUP1
00001ea4: SLOAD
00001ea5: PUSH1 0x01
00001ea7: PUSH1 0x01
00001ea9: PUSH1 0xa0
00001eab: SHL
00001eac: SUB
00001ead: DUP4
00001eae: DUP2
00001eaf: AND
00001eb0: PUSH1 0x01
00001eb2: PUSH1 0x01
00001eb4: PUSH1 0xa0
00001eb6: SHL
00001eb7: SUB
00001eb8: NOT
00001eb9: DUP4
00001eba: AND
00001ebb: DUP2
00001ebc: OR
00001ebd: SWAP1
00001ebe: SWAP4
00001ebf: SSTORE
00001ec0: PUSH1 0x40
00001ec2: MLOAD
00001ec3: SWAP2
00001ec4: AND
00001ec5: SWAP2
00001ec6: SWAP1
00001ec7: DUP3
00001ec8: SWAP1
00001ec9: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001eea: SWAP1
00001eeb: PUSH1 0x00
00001eed: SWAP1
00001eee: LOG3
00001eef: POP
00001ef0: POP
00001ef1: JUMP
00001ef2: JUMPDEST
00001ef3: DUP2
00001ef4: PUSH1 0x01
00001ef6: PUSH1 0x01
00001ef8: PUSH1 0xa0
00001efa: SHL
00001efb: SUB
00001efc: AND
00001efd: DUP4
00001efe: PUSH1 0x01
00001f00: PUSH1 0x01
00001f02: PUSH1 0xa0
00001f04: SHL
00001f05: SUB
00001f06: AND
00001f07: EQ
00001f08: ISZERO
00001f09: PUSH2 0x1f54
00001f0c: JUMPI
00001f0d: PUSH1 0x40
00001f0f: MLOAD
00001f10: PUSH3 0x461bcd
00001f14: PUSH1 0xe5
00001f16: SHL
00001f17: DUP2
00001f18: MSTORE
00001f19: PUSH1 0x20
00001f1b: PUSH1 0x04
00001f1d: DUP3
00001f1e: ADD
00001f1f: MSTORE
00001f20: PUSH1 0x19
00001f22: PUSH1 0x24
00001f24: DUP3
00001f25: ADD
00001f26: MSTORE
00001f27: PUSH32 0x4552433732313a20617070726f766520746f2063616c6c657200000000000000
00001f48: PUSH1 0x44
00001f4a: DUP3
00001f4b: ADD
00001f4c: MSTORE
00001f4d: PUSH1 0x64
00001f4f: ADD
00001f50: PUSH2 0x08e2
00001f53: JUMP
00001f54: JUMPDEST
00001f55: PUSH1 0x01
00001f57: PUSH1 0x01
00001f59: PUSH1 0xa0
00001f5b: SHL
00001f5c: SUB
00001f5d: DUP4
00001f5e: DUP2
00001f5f: AND
00001f60: PUSH1 0x00
00001f62: DUP2
00001f63: DUP2
00001f64: MSTORE
00001f65: PUSH1 0x05
00001f67: PUSH1 0x20
00001f69: SWAP1
00001f6a: DUP2
00001f6b: MSTORE
00001f6c: PUSH1 0x40
00001f6e: DUP1
00001f6f: DUP4
00001f70: KECCAK256
00001f71: SWAP5
00001f72: DUP8
00001f73: AND
00001f74: DUP1
00001f75: DUP5
00001f76: MSTORE
00001f77: SWAP5
00001f78: DUP3
00001f79: MSTORE
00001f7a: SWAP2
00001f7b: DUP3
00001f7c: SWAP1
00001f7d: KECCAK256
00001f7e: DUP1
00001f7f: SLOAD
00001f80: PUSH1 0xff
00001f82: NOT
00001f83: AND
00001f84: DUP7
00001f85: ISZERO
00001f86: ISZERO
00001f87: SWAP1
00001f88: DUP2
00001f89: OR
00001f8a: SWAP1
00001f8b: SWAP2
00001f8c: SSTORE
00001f8d: SWAP2
00001f8e: MLOAD
00001f8f: SWAP2
00001f90: DUP3
00001f91: MSTORE
00001f92: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
00001fb3: SWAP2
00001fb4: ADD
00001fb5: PUSH1 0x40
00001fb7: MLOAD
00001fb8: DUP1
00001fb9: SWAP2
00001fba: SUB
00001fbb: SWAP1
00001fbc: LOG3
00001fbd: POP
00001fbe: POP
00001fbf: POP
00001fc0: JUMP
00001fc1: JUMPDEST
00001fc2: PUSH2 0x1fcc
00001fc5: DUP5
00001fc6: DUP5
00001fc7: DUP5
00001fc8: PUSH2 0x1c4e
00001fcb: JUMP
00001fcc: JUMPDEST
00001fcd: PUSH2 0x1fd8
00001fd0: DUP5
00001fd1: DUP5
00001fd2: DUP5
00001fd3: DUP5
00001fd4: PUSH2 0x24c0
00001fd7: JUMP
00001fd8: JUMPDEST
00001fd9: PUSH2 0x176d
00001fdc: JUMPI
00001fdd: PUSH1 0x40
00001fdf: MLOAD
00001fe0: PUSH3 0x461bcd
00001fe4: PUSH1 0xe5
00001fe6: SHL
00001fe7: DUP2
00001fe8: MSTORE
00001fe9: PUSH1 0x04
00001feb: ADD
00001fec: PUSH2 0x08e2
00001fef: SWAP1
00001ff0: PUSH2 0x2e33
00001ff3: JUMP
00001ff4: JUMPDEST
00001ff5: PUSH1 0x60
00001ff7: DUP2
00001ff8: PUSH2 0x2018
00001ffb: JUMPI
00001ffc: POP
00001ffd: POP
00001ffe: PUSH1 0x40
00002000: DUP1
00002001: MLOAD
00002002: DUP1
00002003: DUP3
00002004: ADD
00002005: SWAP1
00002006: SWAP2
00002007: MSTORE
00002008: PUSH1 0x01
0000200a: DUP2
0000200b: MSTORE
0000200c: PUSH1 0x03
0000200e: PUSH1 0xfc
00002010: SHL
00002011: PUSH1 0x20
00002013: DUP3
00002014: ADD
00002015: MSTORE
00002016: SWAP1
00002017: JUMP
00002018: JUMPDEST
00002019: DUP2
0000201a: PUSH1 0x00
0000201c: JUMPDEST
0000201d: DUP2
0000201e: ISZERO
0000201f: PUSH2 0x2042
00002022: JUMPI
00002023: DUP1
00002024: PUSH2 0x202c
00002027: DUP2
00002028: PUSH2 0x3183
0000202b: JUMP
0000202c: JUMPDEST
0000202d: SWAP2
0000202e: POP
0000202f: PUSH2 0x203b
00002032: SWAP1
00002033: POP
00002034: PUSH1 0x0a
00002036: DUP4
00002037: PUSH2 0x2fe7
0000203a: JUMP
0000203b: JUMPDEST
0000203c: SWAP2
0000203d: POP
0000203e: PUSH2 0x201c
00002041: JUMP
00002042: JUMPDEST
00002043: PUSH1 0x00
00002045: DUP2
00002046: PUSH8 0xffffffffffffffff
0000204f: DUP2
00002050: GT
00002051: ISZERO
00002052: PUSH2 0x206b
00002055: JUMPI
00002056: PUSH4 0x4e487b71
0000205b: PUSH1 0xe0
0000205d: SHL
0000205e: PUSH1 0x00
00002060: MSTORE
00002061: PUSH1 0x41
00002063: PUSH1 0x04
00002065: MSTORE
00002066: PUSH1 0x24
00002068: PUSH1 0x00
0000206a: REVERT
0000206b: JUMPDEST
0000206c: PUSH1 0x40
0000206e: MLOAD
0000206f: SWAP1
00002070: DUP1
00002071: DUP3
00002072: MSTORE
00002073: DUP1
00002074: PUSH1 0x1f
00002076: ADD
00002077: PUSH1 0x1f
00002079: NOT
0000207a: AND
0000207b: PUSH1 0x20
0000207d: ADD
0000207e: DUP3
0000207f: ADD
00002080: PUSH1 0x40
00002082: MSTORE
00002083: DUP1
00002084: ISZERO
00002085: PUSH2 0x2095
00002088: JUMPI
00002089: PUSH1 0x20
0000208b: DUP3
0000208c: ADD
0000208d: DUP2
0000208e: DUP1
0000208f: CALLDATASIZE
00002090: DUP4
00002091: CALLDATACOPY
00002092: ADD
00002093: SWAP1
00002094: POP
00002095: JUMPDEST
00002096: POP
00002097: SWAP1
00002098: POP
00002099: JUMPDEST
0000209a: DUP5
0000209b: ISZERO
0000209c: PUSH2 0x1c46
0000209f: JUMPI
000020a0: PUSH2 0x20aa
000020a3: PUSH1 0x01
000020a5: DUP4
000020a6: PUSH2 0x3105
000020a9: JUMP
000020aa: JUMPDEST
000020ab: SWAP2
000020ac: POP
000020ad: PUSH2 0x20b7
000020b0: PUSH1 0x0a
000020b2: DUP7
000020b3: PUSH2 0x319e
000020b6: JUMP
000020b7: JUMPDEST
000020b8: PUSH2 0x20c2
000020bb: SWAP1
000020bc: PUSH1 0x30
000020be: PUSH2 0x2fcf
000020c1: JUMP
000020c2: JUMPDEST
000020c3: PUSH1 0xf8
000020c5: SHL
000020c6: DUP2
000020c7: DUP4
000020c8: DUP2
000020c9: MLOAD
000020ca: DUP2
000020cb: LT
000020cc: PUSH2 0x20e5
000020cf: JUMPI
000020d0: PUSH4 0x4e487b71
000020d5: PUSH1 0xe0
000020d7: SHL
000020d8: PUSH1 0x00
000020da: MSTORE
000020db: PUSH1 0x32
000020dd: PUSH1 0x04
000020df: MSTORE
000020e0: PUSH1 0x24
000020e2: PUSH1 0x00
000020e4: REVERT
000020e5: JUMPDEST
000020e6: PUSH1 0x20
000020e8: ADD
000020e9: ADD
000020ea: SWAP1
000020eb: PUSH1 0x01
000020ed: PUSH1 0x01
000020ef: PUSH1 0xf8
000020f1: SHL
000020f2: SUB
000020f3: NOT
000020f4: AND
000020f5: SWAP1
000020f6: DUP2
000020f7: PUSH1 0x00
000020f9: BYTE
000020fa: SWAP1
000020fb: MSTORE8
000020fc: POP
000020fd: PUSH2 0x2107
00002100: PUSH1 0x0a
00002102: DUP7
00002103: PUSH2 0x2fe7
00002106: JUMP
00002107: JUMPDEST
00002108: SWAP5
00002109: POP
0000210a: PUSH2 0x2099
0000210d: JUMP
0000210e: JUMPDEST
0000210f: DUP1
00002110: MLOAD
00002111: PUSH1 0x60
00002113: SWAP1
00002114: DUP1
00002115: PUSH2 0x212e
00002118: JUMPI
00002119: POP
0000211a: POP
0000211b: PUSH1 0x40
0000211d: DUP1
0000211e: MLOAD
0000211f: PUSH1 0x20
00002121: DUP2
00002122: ADD
00002123: SWAP1
00002124: SWAP2
00002125: MSTORE
00002126: PUSH1 0x00
00002128: DUP2
00002129: MSTORE
0000212a: SWAP2
0000212b: SWAP1
0000212c: POP
0000212d: JUMP
0000212e: JUMPDEST
0000212f: PUSH1 0x00
00002131: PUSH1 0x03
00002133: PUSH2 0x213d
00002136: DUP4
00002137: PUSH1 0x02
00002139: PUSH2 0x2fcf
0000213c: JUMP
0000213d: JUMPDEST
0000213e: PUSH2 0x2147
00002141: SWAP2
00002142: SWAP1
00002143: PUSH2 0x2fe7
00002146: JUMP
00002147: JUMPDEST
00002148: PUSH2 0x2152
0000214b: SWAP1
0000214c: PUSH1 0x04
0000214e: PUSH2 0x30e6
00002151: JUMP
00002152: JUMPDEST
00002153: SWAP1
00002154: POP
00002155: PUSH1 0x00
00002157: PUSH2 0x2161
0000215a: DUP3
0000215b: PUSH1 0x20
0000215d: PUSH2 0x2fcf
00002160: JUMP
00002161: JUMPDEST
00002162: PUSH8 0xffffffffffffffff
0000216b: DUP2
0000216c: GT
0000216d: ISZERO
0000216e: PUSH2 0x2187
00002171: JUMPI
00002172: PUSH4 0x4e487b71
00002177: PUSH1 0xe0
00002179: SHL
0000217a: PUSH1 0x00
0000217c: MSTORE
0000217d: PUSH1 0x41
0000217f: PUSH1 0x04
00002181: MSTORE
00002182: PUSH1 0x24
00002184: PUSH1 0x00
00002186: REVERT
00002187: JUMPDEST
00002188: PUSH1 0x40
0000218a: MLOAD
0000218b: SWAP1
0000218c: DUP1
0000218d: DUP3
0000218e: MSTORE
0000218f: DUP1
00002190: PUSH1 0x1f
00002192: ADD
00002193: PUSH1 0x1f
00002195: NOT
00002196: AND
00002197: PUSH1 0x20
00002199: ADD
0000219a: DUP3
0000219b: ADD
0000219c: PUSH1 0x40
0000219e: MSTORE
0000219f: DUP1
000021a0: ISZERO
000021a1: PUSH2 0x21b1
000021a4: JUMPI
000021a5: PUSH1 0x20
000021a7: DUP3
000021a8: ADD
000021a9: DUP2
000021aa: DUP1
000021ab: CALLDATASIZE
000021ac: DUP4
000021ad: CALLDATACOPY
000021ae: ADD
000021af: SWAP1
000021b0: POP
000021b1: JUMPDEST
000021b2: POP
000021b3: SWAP1
000021b4: POP
000021b5: PUSH1 0x00
000021b7: PUSH1 0x40
000021b9: MLOAD
000021ba: DUP1
000021bb: PUSH1 0x60
000021bd: ADD
000021be: PUSH1 0x40
000021c0: MSTORE
000021c1: DUP1
000021c2: PUSH1 0x40
000021c4: DUP2
000021c5: MSTORE
000021c6: PUSH1 0x20
000021c8: ADD
000021c9: PUSH2 0x320b
000021cc: PUSH1 0x40
000021ce: SWAP2
000021cf: CODECOPY
000021d0: SWAP1
000021d1: POP
000021d2: PUSH1 0x01
000021d4: DUP2
000021d5: ADD
000021d6: PUSH1 0x20
000021d8: DUP4
000021d9: ADD
000021da: PUSH1 0x00
000021dc: JUMPDEST
000021dd: DUP7
000021de: DUP2
000021df: LT
000021e0: ISZERO
000021e1: PUSH2 0x223d
000021e4: JUMPI
000021e5: PUSH1 0x03
000021e7: DUP2
000021e8: DUP11
000021e9: ADD
000021ea: DUP2
000021eb: ADD
000021ec: MLOAD
000021ed: PUSH1 0x3f
000021ef: PUSH1 0x12
000021f1: DUP3
000021f2: SWAP1
000021f3: SHR
000021f4: DUP2
000021f5: AND
000021f6: DUP7
000021f7: ADD
000021f8: MLOAD
000021f9: PUSH1 0x0c
000021fb: DUP4
000021fc: SWAP1
000021fd: SHR
000021fe: DUP3
000021ff: AND
00002200: DUP8
00002201: ADD
00002202: MLOAD
00002203: PUSH1 0x06
00002205: DUP5
00002206: SWAP1
00002207: SHR
00002208: DUP4
00002209: AND
0000220a: DUP9
0000220b: ADD
0000220c: MLOAD
0000220d: SWAP3
0000220e: SWAP1
0000220f: SWAP4
00002210: AND
00002211: DUP8
00002212: ADD
00002213: MLOAD
00002214: PUSH1 0x08
00002216: SWAP2
00002217: DUP3
00002218: SHL
00002219: PUSH1 0xff
0000221b: SWAP5
0000221c: DUP6
0000221d: AND
0000221e: ADD
0000221f: DUP3
00002220: SHL
00002221: SWAP3
00002222: DUP5
00002223: AND
00002224: SWAP3
00002225: SWAP1
00002226: SWAP3
00002227: ADD
00002228: SWAP1
00002229: SHL
0000222a: SWAP2
0000222b: AND
0000222c: ADD
0000222d: PUSH1 0xe0
0000222f: SHL
00002230: DUP4
00002231: MSTORE
00002232: PUSH1 0x04
00002234: SWAP1
00002235: SWAP3
00002236: ADD
00002237: SWAP2
00002238: ADD
00002239: PUSH2 0x21dc
0000223c: JUMP
0000223d: JUMPDEST
0000223e: POP
0000223f: PUSH1 0x03
00002241: DUP7
00002242: MOD
00002243: PUSH1 0x01
00002245: DUP2
00002246: EQ
00002247: PUSH2 0x2257
0000224a: JUMPI
0000224b: PUSH1 0x02
0000224d: DUP2
0000224e: EQ
0000224f: PUSH2 0x2268
00002252: JUMPI
00002253: PUSH2 0x2274
00002256: JUMP
00002257: JUMPDEST
00002258: PUSH2 0x3d3d
0000225b: PUSH1 0xf0
0000225d: SHL
0000225e: PUSH1 0x01
00002260: NOT
00002261: DUP4
00002262: ADD
00002263: MSTORE
00002264: PUSH2 0x2274
00002267: JUMP
00002268: JUMPDEST
00002269: PUSH1 0x3d
0000226b: PUSH1 0xf8
0000226d: SHL
0000226e: PUSH1 0x00
00002270: NOT
00002271: DUP4
00002272: ADD
00002273: MSTORE
00002274: JUMPDEST
00002275: POP
00002276: POP
00002277: POP
00002278: SWAP2
00002279: DUP2
0000227a: MSTORE
0000227b: SWAP5
0000227c: SWAP4
0000227d: POP
0000227e: POP
0000227f: POP
00002280: POP
00002281: JUMP
00002282: JUMPDEST
00002283: PUSH1 0x00
00002285: DUP1
00002286: PUSH1 0x0c
00002288: SLOAD
00002289: PUSH2 0x03e8
0000228c: PUSH2 0x2295
0000228f: SWAP2
00002290: SWAP1
00002291: PUSH2 0x3105
00002294: JUMP
00002295: JUMPDEST
00002296: PUSH1 0x12
00002298: SLOAD
00002299: PUSH1 0x40
0000229b: DUP1
0000229c: MLOAD
0000229d: PUSH1 0x20
0000229f: DUP2
000022a0: ADD
000022a1: SWAP3
000022a2: SWAP1
000022a3: SWAP3
000022a4: MSTORE
000022a5: PUSH12 0xffffffffffffffffffffffff
000022b2: NOT
000022b3: CALLER
000022b4: PUSH1 0x60
000022b6: SHL
000022b7: AND
000022b8: SWAP1
000022b9: DUP3
000022ba: ADD
000022bb: MSTORE
000022bc: DIFFICULTY
000022bd: PUSH1 0x54
000022bf: DUP3
000022c0: ADD
000022c1: MSTORE
000022c2: TIMESTAMP
000022c3: PUSH1 0x74
000022c5: DUP3
000022c6: ADD
000022c7: MSTORE
000022c8: SWAP1
000022c9: SWAP2
000022ca: POP
000022cb: PUSH1 0x00
000022cd: SWAP1
000022ce: DUP3
000022cf: SWAP1
000022d0: PUSH1 0x94
000022d2: ADD
000022d3: PUSH1 0x40
000022d5: MLOAD
000022d6: PUSH1 0x20
000022d8: DUP2
000022d9: DUP4
000022da: SUB
000022db: SUB
000022dc: DUP2
000022dd: MSTORE
000022de: SWAP1
000022df: PUSH1 0x40
000022e1: MSTORE
000022e2: DUP1
000022e3: MLOAD
000022e4: SWAP1
000022e5: PUSH1 0x20
000022e7: ADD
000022e8: KECCAK256
000022e9: PUSH1 0x00
000022eb: SHR
000022ec: PUSH2 0x22f5
000022ef: SWAP2
000022f0: SWAP1
000022f1: PUSH2 0x319e
000022f4: JUMP
000022f5: JUMPDEST
000022f6: SWAP1
000022f7: POP
000022f8: PUSH1 0x00
000022fa: PUSH1 0x13
000022fc: DUP3
000022fd: PUSH2 0x03e8
00002300: DUP2
00002301: LT
00002302: PUSH2 0x231b
00002305: JUMPI
00002306: PUSH4 0x4e487b71
0000230b: PUSH1 0xe0
0000230d: SHL
0000230e: PUSH1 0x00
00002310: MSTORE
00002311: PUSH1 0x32
00002313: PUSH1 0x04
00002315: MSTORE
00002316: PUSH1 0x24
00002318: PUSH1 0x00
0000231a: REVERT
0000231b: JUMPDEST
0000231c: ADD
0000231d: SLOAD
0000231e: ISZERO
0000231f: PUSH2 0x234d
00002322: JUMPI
00002323: PUSH1 0x13
00002325: DUP3
00002326: PUSH2 0x03e8
00002329: DUP2
0000232a: LT
0000232b: PUSH2 0x2344
0000232e: JUMPI
0000232f: PUSH4 0x4e487b71
00002334: PUSH1 0xe0
00002336: SHL
00002337: PUSH1 0x00
00002339: MSTORE
0000233a: PUSH1 0x32
0000233c: PUSH1 0x04
0000233e: MSTORE
0000233f: PUSH1 0x24
00002341: PUSH1 0x00
00002343: REVERT
00002344: JUMPDEST
00002345: ADD
00002346: SLOAD
00002347: SWAP1
00002348: POP
00002349: PUSH2 0x2350
0000234c: JUMP
0000234d: JUMPDEST
0000234e: POP
0000234f: DUP1
00002350: JUMPDEST
00002351: PUSH1 0x13
00002353: PUSH2 0x235d
00002356: PUSH1 0x01
00002358: DUP6
00002359: PUSH2 0x3105
0000235c: JUMP
0000235d: JUMPDEST
0000235e: PUSH2 0x03e8
00002361: DUP2
00002362: LT
00002363: PUSH2 0x237c
00002366: JUMPI
00002367: PUSH4 0x4e487b71
0000236c: PUSH1 0xe0
0000236e: SHL
0000236f: PUSH1 0x00
00002371: MSTORE
00002372: PUSH1 0x32
00002374: PUSH1 0x04
00002376: MSTORE
00002377: PUSH1 0x24
00002379: PUSH1 0x00
0000237b: REVERT
0000237c: JUMPDEST
0000237d: ADD
0000237e: SLOAD
0000237f: PUSH2 0x23b6
00002382: JUMPI
00002383: PUSH2 0x238d
00002386: PUSH1 0x01
00002388: DUP5
00002389: PUSH2 0x3105
0000238c: JUMP
0000238d: JUMPDEST
0000238e: PUSH1 0x13
00002390: DUP4
00002391: PUSH2 0x03e8
00002394: DUP2
00002395: LT
00002396: PUSH2 0x23af
00002399: JUMPI
0000239a: PUSH4 0x4e487b71
0000239f: PUSH1 0xe0
000023a1: SHL
000023a2: PUSH1 0x00
000023a4: MSTORE
000023a5: PUSH1 0x32
000023a7: PUSH1 0x04
000023a9: MSTORE
000023aa: PUSH1 0x24
000023ac: PUSH1 0x00
000023ae: REVERT
000023af: JUMPDEST
000023b0: ADD
000023b1: SSTORE
000023b2: PUSH2 0x2409
000023b5: JUMP
000023b6: JUMPDEST
000023b7: PUSH1 0x13
000023b9: PUSH2 0x23c3
000023bc: PUSH1 0x01
000023be: DUP6
000023bf: PUSH2 0x3105
000023c2: JUMP
000023c3: JUMPDEST
000023c4: PUSH2 0x03e8
000023c7: DUP2
000023c8: LT
000023c9: PUSH2 0x23e2
000023cc: JUMPI
000023cd: PUSH4 0x4e487b71
000023d2: PUSH1 0xe0
000023d4: SHL
000023d5: PUSH1 0x00
000023d7: MSTORE
000023d8: PUSH1 0x32
000023da: PUSH1 0x04
000023dc: MSTORE
000023dd: PUSH1 0x24
000023df: PUSH1 0x00
000023e1: REVERT
000023e2: JUMPDEST
000023e3: ADD
000023e4: SLOAD
000023e5: PUSH1 0x13
000023e7: DUP4
000023e8: PUSH2 0x03e8
000023eb: DUP2
000023ec: LT
000023ed: PUSH2 0x2406
000023f0: JUMPI
000023f1: PUSH4 0x4e487b71
000023f6: PUSH1 0xe0
000023f8: SHL
000023f9: PUSH1 0x00
000023fb: MSTORE
000023fc: PUSH1 0x32
000023fe: PUSH1 0x04
00002400: MSTORE
00002401: PUSH1 0x24
00002403: PUSH1 0x00
00002405: REVERT
00002406: JUMPDEST
00002407: ADD
00002408: SSTORE
00002409: JUMPDEST
0000240a: PUSH1 0x12
0000240c: DUP1
0000240d: SLOAD
0000240e: SWAP1
0000240f: PUSH1 0x00
00002411: PUSH2 0x2419
00002414: DUP4
00002415: PUSH2 0x3183
00002418: JUMP
00002419: JUMPDEST
0000241a: SWAP1
0000241b: SWAP2
0000241c: SSTORE
0000241d: POP
0000241e: PUSH2 0x242a
00002421: SWAP1
00002422: POP
00002423: DUP2
00002424: PUSH1 0x01
00002426: PUSH2 0x2fcf
00002429: JUMP
0000242a: JUMPDEST
0000242b: SWAP4
0000242c: POP
0000242d: POP
0000242e: POP
0000242f: POP
00002430: SWAP1
00002431: JUMP
00002432: JUMPDEST
00002433: PUSH1 0x00
00002435: PUSH1 0x01
00002437: PUSH1 0x01
00002439: PUSH1 0xe0
0000243b: SHL
0000243c: SUB
0000243d: NOT
0000243e: DUP3
0000243f: AND
00002440: PUSH4 0x80ac58cd
00002445: PUSH1 0xe0
00002447: SHL
00002448: EQ
00002449: DUP1
0000244a: PUSH2 0x2463
0000244d: JUMPI
0000244e: POP
0000244f: PUSH1 0x01
00002451: PUSH1 0x01
00002453: PUSH1 0xe0
00002455: SHL
00002456: SUB
00002457: NOT
00002458: DUP3
00002459: AND
0000245a: PUSH4 0x5b5e139f
0000245f: PUSH1 0xe0
00002461: SHL
00002462: EQ
00002463: JUMPDEST
00002464: DUP1
00002465: PUSH2 0x07d5
00002468: JUMPI
00002469: POP
0000246a: PUSH4 0x01ffc9a7
0000246f: PUSH1 0xe0
00002471: SHL
00002472: PUSH1 0x01
00002474: PUSH1 0x01
00002476: PUSH1 0xe0
00002478: SHL
00002479: SUB
0000247a: NOT
0000247b: DUP4
0000247c: AND
0000247d: EQ
0000247e: PUSH2 0x07d5
00002481: JUMP
00002482: JUMPDEST
00002483: PUSH2 0x248c
00002486: DUP4
00002487: DUP4
00002488: PUSH2 0x25cd
0000248b: JUMP
0000248c: JUMPDEST
0000248d: PUSH2 0x2499
00002490: PUSH1 0x00
00002492: DUP5
00002493: DUP5
00002494: DUP5
00002495: PUSH2 0x24c0
00002498: JUMP
00002499: JUMPDEST
0000249a: PUSH2 0x0a18
0000249d: JUMPI
0000249e: PUSH1 0x40
000024a0: MLOAD
000024a1: PUSH3 0x461bcd
000024a5: PUSH1 0xe5
000024a7: SHL
000024a8: DUP2
000024a9: MSTORE
000024aa: PUSH1 0x04
000024ac: ADD
000024ad: PUSH2 0x08e2
000024b0: SWAP1
000024b1: PUSH2 0x2e33
000024b4: JUMP
000024b5: JUMPDEST
000024b6: PUSH2 0x0a18
000024b9: DUP4
000024ba: DUP4
000024bb: DUP4
000024bc: PUSH2 0x271b
000024bf: JUMP
000024c0: JUMPDEST
000024c1: PUSH1 0x00
000024c3: PUSH1 0x01
000024c5: PUSH1 0x01
000024c7: PUSH1 0xa0
000024c9: SHL
000024ca: SUB
000024cb: DUP5
000024cc: AND
000024cd: EXTCODESIZE
000024ce: ISZERO
000024cf: PUSH2 0x25c2
000024d2: JUMPI
000024d3: PUSH1 0x40
000024d5: MLOAD
000024d6: PUSH4 0x0a85bd01
000024db: PUSH1 0xe1
000024dd: SHL
000024de: DUP2
000024df: MSTORE
000024e0: PUSH1 0x01
000024e2: PUSH1 0x01
000024e4: PUSH1 0xa0
000024e6: SHL
000024e7: SUB
000024e8: DUP6
000024e9: AND
000024ea: SWAP1
000024eb: PUSH4 0x150b7a02
000024f0: SWAP1
000024f1: PUSH2 0x2504
000024f4: SWAP1
000024f5: CALLER
000024f6: SWAP1
000024f7: DUP10
000024f8: SWAP1
000024f9: DUP9
000024fa: SWAP1
000024fb: DUP9
000024fc: SWAP1
000024fd: PUSH1 0x04
000024ff: ADD
00002500: PUSH2 0x2d9f
00002503: JUMP
00002504: JUMPDEST
00002505: PUSH1 0x20
00002507: PUSH1 0x40
00002509: MLOAD
0000250a: DUP1
0000250b: DUP4
0000250c: SUB
0000250d: DUP2
0000250e: PUSH1 0x00
00002510: DUP8
00002511: DUP1
00002512: EXTCODESIZE
00002513: ISZERO
00002514: DUP1
00002515: ISZERO
00002516: PUSH2 0x251e
00002519: JUMPI
0000251a: PUSH1 0x00
0000251c: DUP1
0000251d: REVERT
0000251e: JUMPDEST
0000251f: POP
00002520: GAS
00002521: CALL
00002522: SWAP3
00002523: POP
00002524: POP
00002525: POP
00002526: DUP1
00002527: ISZERO
00002528: PUSH2 0x254e
0000252b: JUMPI
0000252c: POP
0000252d: PUSH1 0x40
0000252f: DUP1
00002530: MLOAD
00002531: PUSH1 0x1f
00002533: RETURNDATASIZE
00002534: SWAP1
00002535: DUP2
00002536: ADD
00002537: PUSH1 0x1f
00002539: NOT
0000253a: AND
0000253b: DUP3
0000253c: ADD
0000253d: SWAP1
0000253e: SWAP3
0000253f: MSTORE
00002540: PUSH2 0x254b
00002543: SWAP2
00002544: DUP2
00002545: ADD
00002546: SWAP1
00002547: PUSH2 0x2bb2
0000254a: JUMP
0000254b: JUMPDEST
0000254c: PUSH1 0x01
0000254e: JUMPDEST
0000254f: PUSH2 0x25a8
00002552: JUMPI
00002553: RETURNDATASIZE
00002554: DUP1
00002555: DUP1
00002556: ISZERO
00002557: PUSH2 0x257c
0000255a: JUMPI
0000255b: PUSH1 0x40
0000255d: MLOAD
0000255e: SWAP2
0000255f: POP
00002560: PUSH1 0x1f
00002562: NOT
00002563: PUSH1 0x3f
00002565: RETURNDATASIZE
00002566: ADD
00002567: AND
00002568: DUP3
00002569: ADD
0000256a: PUSH1 0x40
0000256c: MSTORE
0000256d: RETURNDATASIZE
0000256e: DUP3
0000256f: MSTORE
00002570: RETURNDATASIZE
00002571: PUSH1 0x00
00002573: PUSH1 0x20
00002575: DUP5
00002576: ADD
00002577: RETURNDATACOPY
00002578: PUSH2 0x2581
0000257b: JUMP
0000257c: JUMPDEST
0000257d: PUSH1 0x60
0000257f: SWAP2
00002580: POP
00002581: JUMPDEST
00002582: POP
00002583: DUP1
00002584: MLOAD
00002585: PUSH2 0x25a0
00002588: JUMPI
00002589: PUSH1 0x40
0000258b: MLOAD
0000258c: PUSH3 0x461bcd
00002590: PUSH1 0xe5
00002592: SHL
00002593: DUP2
00002594: MSTORE
00002595: PUSH1 0x04
00002597: ADD
00002598: PUSH2 0x08e2
0000259b: SWAP1
0000259c: PUSH2 0x2e33
0000259f: JUMP
000025a0: JUMPDEST
000025a1: DUP1
000025a2: MLOAD
000025a3: DUP2
000025a4: PUSH1 0x20
000025a6: ADD
000025a7: REVERT
000025a8: JUMPDEST
000025a9: PUSH1 0x01
000025ab: PUSH1 0x01
000025ad: PUSH1 0xe0
000025af: SHL
000025b0: SUB
000025b1: NOT
000025b2: AND
000025b3: PUSH4 0x0a85bd01
000025b8: PUSH1 0xe1
000025ba: SHL
000025bb: EQ
000025bc: SWAP1
000025bd: POP
000025be: PUSH2 0x1c46
000025c1: JUMP
000025c2: JUMPDEST
000025c3: POP
000025c4: PUSH1 0x01
000025c6: SWAP5
000025c7: SWAP4
000025c8: POP
000025c9: POP
000025ca: POP
000025cb: POP
000025cc: JUMP
000025cd: JUMPDEST
000025ce: PUSH1 0x01
000025d0: PUSH1 0x01
000025d2: PUSH1 0xa0
000025d4: SHL
000025d5: SUB
000025d6: DUP3
000025d7: AND
000025d8: PUSH2 0x2623
000025db: JUMPI
000025dc: PUSH1 0x40
000025de: MLOAD
000025df: PUSH3 0x461bcd
000025e3: PUSH1 0xe5
000025e5: SHL
000025e6: DUP2
000025e7: MSTORE
000025e8: PUSH1 0x20
000025ea: PUSH1 0x04
000025ec: DUP3
000025ed: ADD
000025ee: DUP2
000025ef: SWAP1
000025f0: MSTORE
000025f1: PUSH1 0x24
000025f3: DUP3
000025f4: ADD
000025f5: MSTORE
000025f6: PUSH32 0x4552433732313a206d696e7420746f20746865207a65726f2061646472657373
00002617: PUSH1 0x44
00002619: DUP3
0000261a: ADD
0000261b: MSTORE
0000261c: PUSH1 0x64
0000261e: ADD
0000261f: PUSH2 0x08e2
00002622: JUMP
00002623: JUMPDEST
00002624: PUSH1 0x00
00002626: DUP2
00002627: DUP2
00002628: MSTORE
00002629: PUSH1 0x02
0000262b: PUSH1 0x20
0000262d: MSTORE
0000262e: PUSH1 0x40
00002630: SWAP1
00002631: KECCAK256
00002632: SLOAD
00002633: PUSH1 0x01
00002635: PUSH1 0x01
00002637: PUSH1 0xa0
00002639: SHL
0000263a: SUB
0000263b: AND
0000263c: ISZERO
0000263d: PUSH2 0x2688
00002640: JUMPI
00002641: PUSH1 0x40
00002643: MLOAD
00002644: PUSH3 0x461bcd
00002648: PUSH1 0xe5
0000264a: SHL
0000264b: DUP2
0000264c: MSTORE
0000264d: PUSH1 0x20
0000264f: PUSH1 0x04
00002651: DUP3
00002652: ADD
00002653: MSTORE
00002654: PUSH1 0x1c
00002656: PUSH1 0x24
00002658: DUP3
00002659: ADD
0000265a: MSTORE
0000265b: PUSH32 0x4552433732313a20746f6b656e20616c7265616479206d696e74656400000000
0000267c: PUSH1 0x44
0000267e: DUP3
0000267f: ADD
00002680: MSTORE
00002681: PUSH1 0x64
00002683: ADD
00002684: PUSH2 0x08e2
00002687: JUMP
00002688: JUMPDEST
00002689: PUSH2 0x2694
0000268c: PUSH1 0x00
0000268e: DUP4
0000268f: DUP4
00002690: PUSH2 0x24b5
00002693: JUMP
00002694: JUMPDEST
00002695: PUSH1 0x01
00002697: PUSH1 0x01
00002699: PUSH1 0xa0
0000269b: SHL
0000269c: SUB
0000269d: DUP3
0000269e: AND
0000269f: PUSH1 0x00
000026a1: SWAP1
000026a2: DUP2
000026a3: MSTORE
000026a4: PUSH1 0x03
000026a6: PUSH1 0x20
000026a8: MSTORE
000026a9: PUSH1 0x40
000026ab: DUP2
000026ac: KECCAK256
000026ad: DUP1
000026ae: SLOAD
000026af: PUSH1 0x01
000026b1: SWAP3
000026b2: SWAP1
000026b3: PUSH2 0x26bd
000026b6: SWAP1
000026b7: DUP5
000026b8: SWAP1
000026b9: PUSH2 0x2fcf
000026bc: JUMP
000026bd: JUMPDEST
000026be: SWAP1
000026bf: SWAP2
000026c0: SSTORE
000026c1: POP
000026c2: POP
000026c3: PUSH1 0x00
000026c5: DUP2
000026c6: DUP2
000026c7: MSTORE
000026c8: PUSH1 0x02
000026ca: PUSH1 0x20
000026cc: MSTORE
000026cd: PUSH1 0x40
000026cf: DUP1
000026d0: DUP3
000026d1: KECCAK256
000026d2: DUP1
000026d3: SLOAD
000026d4: PUSH1 0x01
000026d6: PUSH1 0x01
000026d8: PUSH1 0xa0
000026da: SHL
000026db: SUB
000026dc: NOT
000026dd: AND
000026de: PUSH1 0x01
000026e0: PUSH1 0x01
000026e2: PUSH1 0xa0
000026e4: SHL
000026e5: SUB
000026e6: DUP7
000026e7: AND
000026e8: SWAP1
000026e9: DUP2
000026ea: OR
000026eb: SWAP1
000026ec: SWAP2
000026ed: SSTORE
000026ee: SWAP1
000026ef: MLOAD
000026f0: DUP4
000026f1: SWAP3
000026f2: SWAP1
000026f3: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00002714: SWAP1
00002715: DUP3
00002716: SWAP1
00002717: LOG4
00002718: POP
00002719: POP
0000271a: JUMP
0000271b: JUMPDEST
0000271c: PUSH1 0x01
0000271e: PUSH1 0x01
00002720: PUSH1 0xa0
00002722: SHL
00002723: SUB
00002724: DUP4
00002725: AND
00002726: PUSH2 0x2776
00002729: JUMPI
0000272a: PUSH2 0x2771
0000272d: DUP2
0000272e: PUSH1 0x08
00002730: DUP1
00002731: SLOAD
00002732: PUSH1 0x00
00002734: DUP4
00002735: DUP2
00002736: MSTORE
00002737: PUSH1 0x09
00002739: PUSH1 0x20
0000273b: MSTORE
0000273c: PUSH1 0x40
0000273e: DUP2
0000273f: KECCAK256
00002740: DUP3
00002741: SWAP1
00002742: SSTORE
00002743: PUSH1 0x01
00002745: DUP3
00002746: ADD
00002747: DUP4
00002748: SSTORE
00002749: SWAP2
0000274a: SWAP1
0000274b: SWAP2
0000274c: MSTORE
0000274d: PUSH32 0xf3f7a9fe364faab93b216da50a3214154f22a0a2b415b23a84c8169e8b636ee3
0000276e: ADD
0000276f: SSTORE
00002770: JUMP
00002771: JUMPDEST
00002772: PUSH2 0x2799
00002775: JUMP
00002776: JUMPDEST
00002777: DUP2
00002778: PUSH1 0x01
0000277a: PUSH1 0x01
0000277c: PUSH1 0xa0
0000277e: SHL
0000277f: SUB
00002780: AND
00002781: DUP4
00002782: PUSH1 0x01
00002784: PUSH1 0x01
00002786: PUSH1 0xa0
00002788: SHL
00002789: SUB
0000278a: AND
0000278b: EQ
0000278c: PUSH2 0x2799
0000278f: JUMPI
00002790: PUSH2 0x2799
00002793: DUP4
00002794: DUP3
00002795: PUSH2 0x27d3
00002798: JUMP
00002799: JUMPDEST
0000279a: PUSH1 0x01
0000279c: PUSH1 0x01
0000279e: PUSH1 0xa0
000027a0: SHL
000027a1: SUB
000027a2: DUP3
000027a3: AND
000027a4: PUSH2 0x27b0
000027a7: JUMPI
000027a8: PUSH2 0x0a18
000027ab: DUP2
000027ac: PUSH2 0x2870
000027af: JUMP
000027b0: JUMPDEST
000027b1: DUP3
000027b2: PUSH1 0x01
000027b4: PUSH1 0x01
000027b6: PUSH1 0xa0
000027b8: SHL
000027b9: SUB
000027ba: AND
000027bb: DUP3
000027bc: PUSH1 0x01
000027be: PUSH1 0x01
000027c0: PUSH1 0xa0
000027c2: SHL
000027c3: SUB
000027c4: AND
000027c5: EQ
000027c6: PUSH2 0x0a18
000027c9: JUMPI
000027ca: PUSH2 0x0a18
000027cd: DUP3
000027ce: DUP3
000027cf: PUSH2 0x2949
000027d2: JUMP
000027d3: JUMPDEST
000027d4: PUSH1 0x00
000027d6: PUSH1 0x01
000027d8: PUSH2 0x27e0
000027db: DUP5
000027dc: PUSH2 0x107d
000027df: JUMP
000027e0: JUMPDEST
000027e1: PUSH2 0x27ea
000027e4: SWAP2
000027e5: SWAP1
000027e6: PUSH2 0x3105
000027e9: JUMP
000027ea: JUMPDEST
000027eb: PUSH1 0x00
000027ed: DUP4
000027ee: DUP2
000027ef: MSTORE
000027f0: PUSH1 0x07
000027f2: PUSH1 0x20
000027f4: MSTORE
000027f5: PUSH1 0x40
000027f7: SWAP1
000027f8: KECCAK256
000027f9: SLOAD
000027fa: SWAP1
000027fb: SWAP2
000027fc: POP
000027fd: DUP1
000027fe: DUP3
000027ff: EQ
00002800: PUSH2 0x283d
00002803: JUMPI
00002804: PUSH1 0x01
00002806: PUSH1 0x01
00002808: PUSH1 0xa0
0000280a: SHL
0000280b: SUB
0000280c: DUP5
0000280d: AND
0000280e: PUSH1 0x00
00002810: SWAP1
00002811: DUP2
00002812: MSTORE
00002813: PUSH1 0x06
00002815: PUSH1 0x20
00002817: SWAP1
00002818: DUP2
00002819: MSTORE
0000281a: PUSH1 0x40
0000281c: DUP1
0000281d: DUP4
0000281e: KECCAK256
0000281f: DUP6
00002820: DUP5
00002821: MSTORE
00002822: DUP3
00002823: MSTORE
00002824: DUP1
00002825: DUP4
00002826: KECCAK256
00002827: SLOAD
00002828: DUP5
00002829: DUP5
0000282a: MSTORE
0000282b: DUP2
0000282c: DUP5
0000282d: KECCAK256
0000282e: DUP2
0000282f: SWAP1
00002830: SSTORE
00002831: DUP4
00002832: MSTORE
00002833: PUSH1 0x07
00002835: SWAP1
00002836: SWAP2
00002837: MSTORE
00002838: SWAP1
00002839: KECCAK256
0000283a: DUP2
0000283b: SWAP1
0000283c: SSTORE
0000283d: JUMPDEST
0000283e: POP
0000283f: PUSH1 0x00
00002841: SWAP2
00002842: DUP3
00002843: MSTORE
00002844: PUSH1 0x07
00002846: PUSH1 0x20
00002848: SWAP1
00002849: DUP2
0000284a: MSTORE
0000284b: PUSH1 0x40
0000284d: DUP1
0000284e: DUP5
0000284f: KECCAK256
00002850: DUP5
00002851: SWAP1
00002852: SSTORE
00002853: PUSH1 0x01
00002855: PUSH1 0x01
00002857: PUSH1 0xa0
00002859: SHL
0000285a: SUB
0000285b: SWAP1
0000285c: SWAP5
0000285d: AND
0000285e: DUP4
0000285f: MSTORE
00002860: PUSH1 0x06
00002862: DUP2
00002863: MSTORE
00002864: DUP4
00002865: DUP4
00002866: KECCAK256
00002867: SWAP2
00002868: DUP4
00002869: MSTORE
0000286a: MSTORE
0000286b: SWAP1
0000286c: DUP2
0000286d: KECCAK256
0000286e: SSTORE
0000286f: JUMP
00002870: JUMPDEST
00002871: PUSH1 0x08
00002873: SLOAD
00002874: PUSH1 0x00
00002876: SWAP1
00002877: PUSH2 0x2882
0000287a: SWAP1
0000287b: PUSH1 0x01
0000287d: SWAP1
0000287e: PUSH2 0x3105
00002881: JUMP
00002882: JUMPDEST
00002883: PUSH1 0x00
00002885: DUP4
00002886: DUP2
00002887: MSTORE
00002888: PUSH1 0x09
0000288a: PUSH1 0x20
0000288c: MSTORE
0000288d: PUSH1 0x40
0000288f: DUP2
00002890: KECCAK256
00002891: SLOAD
00002892: PUSH1 0x08
00002894: DUP1
00002895: SLOAD
00002896: SWAP4
00002897: SWAP5
00002898: POP
00002899: SWAP1
0000289a: SWAP3
0000289b: DUP5
0000289c: SWAP1
0000289d: DUP2
0000289e: LT
0000289f: PUSH2 0x28b8
000028a2: JUMPI
000028a3: PUSH4 0x4e487b71
000028a8: PUSH1 0xe0
000028aa: SHL
000028ab: PUSH1 0x00
000028ad: MSTORE
000028ae: PUSH1 0x32
000028b0: PUSH1 0x04
000028b2: MSTORE
000028b3: PUSH1 0x24
000028b5: PUSH1 0x00
000028b7: REVERT
000028b8: JUMPDEST
000028b9: SWAP1
000028ba: PUSH1 0x00
000028bc: MSTORE
000028bd: PUSH1 0x20
000028bf: PUSH1 0x00
000028c1: KECCAK256
000028c2: ADD
000028c3: SLOAD
000028c4: SWAP1
000028c5: POP
000028c6: DUP1
000028c7: PUSH1 0x08
000028c9: DUP4
000028ca: DUP2
000028cb: SLOAD
000028cc: DUP2
000028cd: LT
000028ce: PUSH2 0x28e7
000028d1: JUMPI
000028d2: PUSH4 0x4e487b71
000028d7: PUSH1 0xe0
000028d9: SHL
000028da: PUSH1 0x00
000028dc: MSTORE
000028dd: PUSH1 0x32
000028df: PUSH1 0x04
000028e1: MSTORE
000028e2: PUSH1 0x24
000028e4: PUSH1 0x00
000028e6: REVERT
000028e7: JUMPDEST
000028e8: PUSH1 0x00
000028ea: SWAP2
000028eb: DUP3
000028ec: MSTORE
000028ed: PUSH1 0x20
000028ef: DUP1
000028f0: DUP4
000028f1: KECCAK256
000028f2: SWAP1
000028f3: SWAP2
000028f4: ADD
000028f5: SWAP3
000028f6: SWAP1
000028f7: SWAP3
000028f8: SSTORE
000028f9: DUP3
000028fa: DUP2
000028fb: MSTORE
000028fc: PUSH1 0x09
000028fe: SWAP1
000028ff: SWAP2
00002900: MSTORE
00002901: PUSH1 0x40
00002903: DUP1
00002904: DUP3
00002905: KECCAK256
00002906: DUP5
00002907: SWAP1
00002908: SSTORE
00002909: DUP6
0000290a: DUP3
0000290b: MSTORE
0000290c: DUP2
0000290d: KECCAK256
0000290e: SSTORE
0000290f: PUSH1 0x08
00002911: DUP1
00002912: SLOAD
00002913: DUP1
00002914: PUSH2 0x292d
00002917: JUMPI
00002918: PUSH4 0x4e487b71
0000291d: PUSH1 0xe0
0000291f: SHL
00002920: PUSH1 0x00
00002922: MSTORE
00002923: PUSH1 0x31
00002925: PUSH1 0x04
00002927: MSTORE
00002928: PUSH1 0x24
0000292a: PUSH1 0x00
0000292c: REVERT
0000292d: JUMPDEST
0000292e: PUSH1 0x01
00002930: SWAP1
00002931: SUB
00002932: DUP2
00002933: DUP2
00002934: SWAP1
00002935: PUSH1 0x00
00002937: MSTORE
00002938: PUSH1 0x20
0000293a: PUSH1 0x00
0000293c: KECCAK256
0000293d: ADD
0000293e: PUSH1 0x00
00002940: SWAP1
00002941: SSTORE
00002942: SWAP1
00002943: SSTORE
00002944: POP
00002945: POP
00002946: POP
00002947: POP
00002948: JUMP
00002949: JUMPDEST
0000294a: PUSH1 0x00
0000294c: PUSH2 0x2954
0000294f: DUP4
00002950: PUSH2 0x107d
00002953: JUMP
00002954: JUMPDEST
00002955: PUSH1 0x01
00002957: PUSH1 0x01
00002959: PUSH1 0xa0
0000295b: SHL
0000295c: SUB
0000295d: SWAP1
0000295e: SWAP4
0000295f: AND
00002960: PUSH1 0x00
00002962: SWAP1
00002963: DUP2
00002964: MSTORE
00002965: PUSH1 0x06
00002967: PUSH1 0x20
00002969: SWAP1
0000296a: DUP2
0000296b: MSTORE
0000296c: PUSH1 0x40
0000296e: DUP1
0000296f: DUP4
00002970: KECCAK256
00002971: DUP7
00002972: DUP5
00002973: MSTORE
00002974: DUP3
00002975: MSTORE
00002976: DUP1
00002977: DUP4
00002978: KECCAK256
00002979: DUP6
0000297a: SWAP1
0000297b: SSTORE
0000297c: SWAP4
0000297d: DUP3
0000297e: MSTORE
0000297f: PUSH1 0x07
00002981: SWAP1
00002982: MSTORE
00002983: SWAP2
00002984: SWAP1
00002985: SWAP2
00002986: KECCAK256
00002987: SWAP2
00002988: SWAP1
00002989: SWAP2
0000298a: SSTORE
0000298b: POP
0000298c: JUMP
0000298d: JUMPDEST
0000298e: PUSH1 0x40
00002990: MLOAD
00002991: DUP1
00002992: PUSH1 0x60
00002994: ADD
00002995: PUSH1 0x40
00002997: MSTORE
00002998: DUP1
00002999: PUSH1 0x03
0000299b: SWAP1
0000299c: JUMPDEST
0000299d: PUSH1 0x60
0000299f: DUP2
000029a0: MSTORE
000029a1: PUSH1 0x20
000029a3: ADD
000029a4: SWAP1
000029a5: PUSH1 0x01
000029a7: SWAP1
000029a8: SUB
000029a9: SWAP1
000029aa: DUP2
000029ab: PUSH2 0x299c
000029ae: JUMPI
000029af: SWAP1
000029b0: POP
000029b1: POP
000029b2: SWAP1
000029b3: JUMP
000029b4: JUMPDEST
000029b5: DUP1
000029b6: CALLDATALOAD
000029b7: PUSH1 0x01
000029b9: PUSH1 0x01
000029bb: PUSH1 0xa0
000029bd: SHL
000029be: SUB
000029bf: DUP2
000029c0: AND
000029c1: DUP2
000029c2: EQ
000029c3: PUSH2 0x29cb
000029c6: JUMPI
000029c7: PUSH1 0x00
000029c9: DUP1
000029ca: REVERT
000029cb: JUMPDEST
000029cc: SWAP2
000029cd: SWAP1
000029ce: POP
000029cf: JUMP
000029d0: JUMPDEST
000029d1: PUSH1 0x00
000029d3: PUSH1 0x20
000029d5: DUP3
000029d6: DUP5
000029d7: SUB
000029d8: SLT
000029d9: ISZERO
000029da: PUSH2 0x29e1
000029dd: JUMPI
000029de: DUP1
000029df: DUP2
000029e0: REVERT
000029e1: JUMPDEST
000029e2: PUSH2 0x29ea
000029e5: DUP3
000029e6: PUSH2 0x29b4
000029e9: JUMP
000029ea: JUMPDEST
000029eb: SWAP4
000029ec: SWAP3
000029ed: POP
000029ee: POP
000029ef: POP
000029f0: JUMP
000029f1: JUMPDEST
000029f2: PUSH1 0x00
000029f4: DUP1
000029f5: PUSH1 0x40
000029f7: DUP4
000029f8: DUP6
000029f9: SUB
000029fa: SLT
000029fb: ISZERO
000029fc: PUSH2 0x2a03
000029ff: JUMPI
00002a00: DUP1
00002a01: DUP2
00002a02: REVERT
00002a03: JUMPDEST
00002a04: PUSH2 0x2a0c
00002a07: DUP4
00002a08: PUSH2 0x29b4
00002a0b: JUMP
00002a0c: JUMPDEST
00002a0d: SWAP2
00002a0e: POP
00002a0f: PUSH2 0x2a1a
00002a12: PUSH1 0x20
00002a14: DUP5
00002a15: ADD
00002a16: PUSH2 0x29b4
00002a19: JUMP
00002a1a: JUMPDEST
00002a1b: SWAP1
00002a1c: POP
00002a1d: SWAP3
00002a1e: POP
00002a1f: SWAP3
00002a20: SWAP1
00002a21: POP
00002a22: JUMP
00002a23: JUMPDEST
00002a24: PUSH1 0x00
00002a26: DUP1
00002a27: PUSH1 0x00
00002a29: PUSH1 0x60
00002a2b: DUP5
00002a2c: DUP7
00002a2d: SUB
00002a2e: SLT
00002a2f: ISZERO
00002a30: PUSH2 0x2a37
00002a33: JUMPI
00002a34: DUP1
00002a35: DUP2
00002a36: REVERT
00002a37: JUMPDEST
00002a38: PUSH2 0x2a40
00002a3b: DUP5
00002a3c: PUSH2 0x29b4
00002a3f: JUMP
00002a40: JUMPDEST
00002a41: SWAP3
00002a42: POP
00002a43: PUSH2 0x2a4e
00002a46: PUSH1 0x20
00002a48: DUP6
00002a49: ADD
00002a4a: PUSH2 0x29b4
00002a4d: JUMP
00002a4e: JUMPDEST
00002a4f: SWAP2
00002a50: POP
00002a51: PUSH1 0x40
00002a53: DUP5
00002a54: ADD
00002a55: CALLDATALOAD
00002a56: SWAP1
00002a57: POP
00002a58: SWAP3
00002a59: POP
00002a5a: SWAP3
00002a5b: POP
00002a5c: SWAP3
00002a5d: JUMP
00002a5e: JUMPDEST
00002a5f: PUSH1 0x00
00002a61: DUP1
00002a62: PUSH1 0x00
00002a64: DUP1
00002a65: PUSH1 0x80
00002a67: DUP6
00002a68: DUP8
00002a69: SUB
00002a6a: SLT
00002a6b: ISZERO
00002a6c: PUSH2 0x2a73
00002a6f: JUMPI
00002a70: DUP1
00002a71: DUP2
00002a72: REVERT
00002a73: JUMPDEST
00002a74: PUSH2 0x2a7c
00002a77: DUP6
00002a78: PUSH2 0x29b4
00002a7b: JUMP
00002a7c: JUMPDEST
00002a7d: SWAP4
00002a7e: POP
00002a7f: PUSH2 0x2a8a
00002a82: PUSH1 0x20
00002a84: DUP7
00002a85: ADD
00002a86: PUSH2 0x29b4
00002a89: JUMP
00002a8a: JUMPDEST
00002a8b: SWAP3
00002a8c: POP
00002a8d: PUSH1 0x40
00002a8f: DUP6
00002a90: ADD
00002a91: CALLDATALOAD
00002a92: SWAP2
00002a93: POP
00002a94: PUSH1 0x60
00002a96: DUP6
00002a97: ADD
00002a98: CALLDATALOAD
00002a99: PUSH8 0xffffffffffffffff
00002aa2: DUP1
00002aa3: DUP3
00002aa4: GT
00002aa5: ISZERO
00002aa6: PUSH2 0x2aad
00002aa9: JUMPI
00002aaa: DUP3
00002aab: DUP4
00002aac: REVERT
00002aad: JUMPDEST
00002aae: DUP2
00002aaf: DUP8
00002ab0: ADD
00002ab1: SWAP2
00002ab2: POP
00002ab3: DUP8
00002ab4: PUSH1 0x1f
00002ab6: DUP4
00002ab7: ADD
00002ab8: SLT
00002ab9: PUSH2 0x2ac0
00002abc: JUMPI
00002abd: DUP3
00002abe: DUP4
00002abf: REVERT
00002ac0: JUMPDEST
00002ac1: DUP2
00002ac2: CALLDATALOAD
00002ac3: DUP2
00002ac4: DUP2
00002ac5: GT
00002ac6: ISZERO
00002ac7: PUSH2 0x2ad2
00002aca: JUMPI
00002acb: PUSH2 0x2ad2
00002ace: PUSH2 0x31de
00002ad1: JUMP
00002ad2: JUMPDEST
00002ad3: PUSH1 0x40
00002ad5: MLOAD
00002ad6: PUSH1 0x1f
00002ad8: DUP3
00002ad9: ADD
00002ada: PUSH1 0x1f
00002adc: NOT
00002add: SWAP1
00002ade: DUP2
00002adf: AND
00002ae0: PUSH1 0x3f
00002ae2: ADD
00002ae3: AND
00002ae4: DUP2
00002ae5: ADD
00002ae6: SWAP1
00002ae7: DUP4
00002ae8: DUP3
00002ae9: GT
00002aea: DUP2
00002aeb: DUP4
00002aec: LT
00002aed: OR
00002aee: ISZERO
00002aef: PUSH2 0x2afa
00002af2: JUMPI
00002af3: PUSH2 0x2afa
00002af6: PUSH2 0x31de
00002af9: JUMP
00002afa: JUMPDEST
00002afb: DUP2
00002afc: PUSH1 0x40
00002afe: MSTORE
00002aff: DUP3
00002b00: DUP2
00002b01: MSTORE
00002b02: DUP11
00002b03: PUSH1 0x20
00002b05: DUP5
00002b06: DUP8
00002b07: ADD
00002b08: ADD
00002b09: GT
00002b0a: ISZERO
00002b0b: PUSH2 0x2b12
00002b0e: JUMPI
00002b0f: DUP6
00002b10: DUP7
00002b11: REVERT
00002b12: JUMPDEST
00002b13: DUP3
00002b14: PUSH1 0x20
00002b16: DUP7
00002b17: ADD
00002b18: PUSH1 0x20
00002b1a: DUP4
00002b1b: ADD
00002b1c: CALLDATACOPY
00002b1d: SWAP2
00002b1e: DUP3
00002b1f: ADD
00002b20: PUSH1 0x20
00002b22: ADD
00002b23: SWAP5
00002b24: SWAP1
00002b25: SWAP5
00002b26: MSTORE
00002b27: SWAP6
00002b28: SWAP9
00002b29: SWAP5
00002b2a: SWAP8
00002b2b: POP
00002b2c: SWAP3
00002b2d: SWAP6
00002b2e: POP
00002b2f: POP
00002b30: POP
00002b31: POP
00002b32: JUMP
00002b33: JUMPDEST
00002b34: PUSH1 0x00
00002b36: DUP1
00002b37: PUSH1 0x40
00002b39: DUP4
00002b3a: DUP6
00002b3b: SUB
00002b3c: SLT
00002b3d: ISZERO
00002b3e: PUSH2 0x2b45
00002b41: JUMPI
00002b42: DUP2
00002b43: DUP3
00002b44: REVERT
00002b45: JUMPDEST
00002b46: PUSH2 0x2b4e
00002b49: DUP4
00002b4a: PUSH2 0x29b4
00002b4d: JUMP
00002b4e: JUMPDEST
00002b4f: SWAP2
00002b50: POP
00002b51: PUSH1 0x20
00002b53: DUP4
00002b54: ADD
00002b55: CALLDATALOAD
00002b56: DUP1
00002b57: ISZERO
00002b58: ISZERO
00002b59: DUP2
00002b5a: EQ
00002b5b: PUSH2 0x2b62
00002b5e: JUMPI
00002b5f: DUP2
00002b60: DUP3
00002b61: REVERT
00002b62: JUMPDEST
00002b63: DUP1
00002b64: SWAP2
00002b65: POP
00002b66: POP
00002b67: SWAP3
00002b68: POP
00002b69: SWAP3
00002b6a: SWAP1
00002b6b: POP
00002b6c: JUMP
00002b6d: JUMPDEST
00002b6e: PUSH1 0x00
00002b70: DUP1
00002b71: PUSH1 0x40
00002b73: DUP4
00002b74: DUP6
00002b75: SUB
00002b76: SLT
00002b77: ISZERO
00002b78: PUSH2 0x2b7f
00002b7b: JUMPI
00002b7c: DUP2
00002b7d: DUP3
00002b7e: REVERT
00002b7f: JUMPDEST
00002b80: PUSH2 0x2b88
00002b83: DUP4
00002b84: PUSH2 0x29b4
00002b87: JUMP
00002b88: JUMPDEST
00002b89: SWAP5
00002b8a: PUSH1 0x20
00002b8c: SWAP4
00002b8d: SWAP1
00002b8e: SWAP4
00002b8f: ADD
00002b90: CALLDATALOAD
00002b91: SWAP4
00002b92: POP
00002b93: POP
00002b94: POP
00002b95: JUMP
00002b96: JUMPDEST
00002b97: PUSH1 0x00
00002b99: PUSH1 0x20
00002b9b: DUP3
00002b9c: DUP5
00002b9d: SUB
00002b9e: SLT
00002b9f: ISZERO
00002ba0: PUSH2 0x2ba7
00002ba3: JUMPI
00002ba4: DUP1
00002ba5: DUP2
00002ba6: REVERT
00002ba7: JUMPDEST
00002ba8: DUP2
00002ba9: CALLDATALOAD
00002baa: PUSH2 0x29ea
00002bad: DUP2
00002bae: PUSH2 0x31f4
00002bb1: JUMP
00002bb2: JUMPDEST
00002bb3: PUSH1 0x00
00002bb5: PUSH1 0x20
00002bb7: DUP3
00002bb8: DUP5
00002bb9: SUB
00002bba: SLT
00002bbb: ISZERO
00002bbc: PUSH2 0x2bc3
00002bbf: JUMPI
00002bc0: DUP1
00002bc1: DUP2
00002bc2: REVERT
00002bc3: JUMPDEST
00002bc4: DUP2
00002bc5: MLOAD
00002bc6: PUSH2 0x29ea
00002bc9: DUP2
00002bca: PUSH2 0x31f4
00002bcd: JUMP
00002bce: JUMPDEST
00002bcf: PUSH1 0x00
00002bd1: PUSH1 0x20
00002bd3: DUP3
00002bd4: DUP5
00002bd5: SUB
00002bd6: SLT
00002bd7: ISZERO
00002bd8: PUSH2 0x2bdf
00002bdb: JUMPI
00002bdc: DUP1
00002bdd: DUP2
00002bde: REVERT
00002bdf: JUMPDEST
00002be0: POP
00002be1: CALLDATALOAD
00002be2: SWAP2
00002be3: SWAP1
00002be4: POP
00002be5: JUMP
00002be6: JUMPDEST
00002be7: PUSH1 0x00
00002be9: DUP1
00002bea: PUSH1 0x40
00002bec: DUP4
00002bed: DUP6
00002bee: SUB
00002bef: SLT
00002bf0: ISZERO
00002bf1: PUSH2 0x2bf8
00002bf4: JUMPI
00002bf5: DUP2
00002bf6: DUP3
00002bf7: REVERT
00002bf8: JUMPDEST
00002bf9: POP
00002bfa: POP
00002bfb: DUP1
00002bfc: CALLDATALOAD
00002bfd: SWAP3
00002bfe: PUSH1 0x20
00002c00: SWAP1
00002c01: SWAP2
00002c02: ADD
00002c03: CALLDATALOAD
00002c04: SWAP2
00002c05: POP
00002c06: JUMP
00002c07: JUMPDEST
00002c08: PUSH1 0x00
00002c0a: DUP1
00002c0b: PUSH1 0x00
00002c0d: PUSH1 0x60
00002c0f: DUP5
00002c10: DUP7
00002c11: SUB
00002c12: SLT
00002c13: ISZERO
00002c14: PUSH2 0x2c1b
00002c17: JUMPI
00002c18: DUP3
00002c19: DUP4
00002c1a: REVERT
00002c1b: JUMPDEST
00002c1c: POP
00002c1d: POP
00002c1e: DUP2
00002c1f: CALLDATALOAD
00002c20: SWAP4
00002c21: PUSH1 0x20
00002c23: DUP4
00002c24: ADD
00002c25: CALLDATALOAD
00002c26: SWAP4
00002c27: POP
00002c28: PUSH1 0x40
00002c2a: SWAP1
00002c2b: SWAP3
00002c2c: ADD
00002c2d: CALLDATALOAD
00002c2e: SWAP2
00002c2f: SWAP1
00002c30: POP
00002c31: JUMP
00002c32: JUMPDEST
00002c33: PUSH1 0x00
00002c35: DUP2
00002c36: MLOAD
00002c37: DUP1
00002c38: DUP5
00002c39: MSTORE
00002c3a: PUSH2 0x2c4a
00002c3d: DUP2
00002c3e: PUSH1 0x20
00002c40: DUP7
00002c41: ADD
00002c42: PUSH1 0x20
00002c44: DUP7
00002c45: ADD
00002c46: PUSH2 0x311c
00002c49: JUMP
00002c4a: JUMPDEST
00002c4b: PUSH1 0x1f
00002c4d: ADD
00002c4e: PUSH1 0x1f
00002c50: NOT
00002c51: AND
00002c52: SWAP3
00002c53: SWAP1
00002c54: SWAP3
00002c55: ADD
00002c56: PUSH1 0x20
00002c58: ADD
00002c59: SWAP3
00002c5a: SWAP2
00002c5b: POP
00002c5c: POP
00002c5d: JUMP
00002c5e: JUMPDEST
00002c5f: PUSH1 0x00
00002c61: DUP5
00002c62: MLOAD
00002c63: PUSH2 0x2c70
00002c66: DUP2
00002c67: DUP5
00002c68: PUSH1 0x20
00002c6a: DUP10
00002c6b: ADD
00002c6c: PUSH2 0x311c
00002c6f: JUMP
00002c70: JUMPDEST
00002c71: DUP5
00002c72: MLOAD
00002c73: SWAP1
00002c74: DUP4
00002c75: ADD
00002c76: SWAP1
00002c77: PUSH2 0x2c84
00002c7a: DUP2
00002c7b: DUP4
00002c7c: PUSH1 0x20
00002c7e: DUP10
00002c7f: ADD
00002c80: PUSH2 0x311c
00002c83: JUMP
00002c84: JUMPDEST
00002c85: DUP5
00002c86: MLOAD
00002c87: SWAP2
00002c88: ADD
00002c89: SWAP1
00002c8a: PUSH2 0x2c97
00002c8d: DUP2
00002c8e: DUP4
00002c8f: PUSH1 0x20
00002c91: DUP9
00002c92: ADD
00002c93: PUSH2 0x311c
00002c96: JUMP
00002c97: JUMPDEST
00002c98: ADD
00002c99: SWAP6
00002c9a: SWAP5
00002c9b: POP
00002c9c: POP
00002c9d: POP
00002c9e: POP
00002c9f: POP
00002ca0: JUMP
00002ca1: JUMPDEST
00002ca2: PUSH32 0x646174613a6170706c69636174696f6e2f6a736f6e3b6261736536342c000000
00002cc3: DUP2
00002cc4: MSTORE
00002cc5: PUSH1 0x00
00002cc7: DUP3
00002cc8: MLOAD
00002cc9: PUSH2 0x2cd9
00002ccc: DUP2
00002ccd: PUSH1 0x1d
00002ccf: DUP6
00002cd0: ADD
00002cd1: PUSH1 0x20
00002cd3: DUP8
00002cd4: ADD
00002cd5: PUSH2 0x311c
00002cd8: JUMP
00002cd9: JUMPDEST
00002cda: SWAP2
00002cdb: SWAP1
00002cdc: SWAP2
00002cdd: ADD
00002cde: PUSH1 0x1d
00002ce0: ADD
00002ce1: SWAP3
00002ce2: SWAP2
00002ce3: POP
00002ce4: POP
00002ce5: JUMP
00002ce6: JUMPDEST
00002ce7: PUSH16 0x03d913730b6b2911d1011273ab6b1309
00002cf8: PUSH1 0x85
00002cfa: SHL
00002cfb: DUP2
00002cfc: MSTORE
00002cfd: DUP3
00002cfe: MLOAD
00002cff: PUSH1 0x00
00002d01: SWAP1
00002d02: PUSH2 0x2d12
00002d05: DUP2
00002d06: PUSH1 0x10
00002d08: DUP6
00002d09: ADD
00002d0a: PUSH1 0x20
00002d0c: DUP9
00002d0d: ADD
00002d0e: PUSH2 0x311c
00002d11: JUMP
00002d12: JUMPDEST
00002d13: PUSH32 0x222c20226465736372697074696f6e223a20224e756d626120676f2075702122
00002d34: PUSH1 0x10
00002d36: SWAP2
00002d37: DUP5
00002d38: ADD
00002d39: SWAP2
00002d3a: DUP3
00002d3b: ADD
00002d3c: MSTORE
00002d3d: PUSH32 0x2c2022696d616765223a2022646174613a696d6167652f7376672b786d6c3b62
00002d5e: PUSH1 0x30
00002d60: DUP3
00002d61: ADD
00002d62: MSTORE
00002d63: PUSH6 0x185cd94d8d0b
00002d6a: PUSH1 0xd2
00002d6c: SHL
00002d6d: PUSH1 0x50
00002d6f: DUP3
00002d70: ADD
00002d71: MSTORE
00002d72: DUP4
00002d73: MLOAD
00002d74: PUSH2 0x2d84
00002d77: DUP2
00002d78: PUSH1 0x56
00002d7a: DUP5
00002d7b: ADD
00002d7c: PUSH1 0x20
00002d7e: DUP9
00002d7f: ADD
00002d80: PUSH2 0x311c
00002d83: JUMP
00002d84: JUMPDEST
00002d85: PUSH2 0x227d
00002d88: PUSH1 0xf0
00002d8a: SHL
00002d8b: PUSH1 0x56
00002d8d: SWAP3
00002d8e: SWAP1
00002d8f: SWAP2
00002d90: ADD
00002d91: SWAP2
00002d92: DUP3
00002d93: ADD
00002d94: MSTORE
00002d95: PUSH1 0x58
00002d97: ADD
00002d98: SWAP5
00002d99: SWAP4
00002d9a: POP
00002d9b: POP
00002d9c: POP
00002d9d: POP
00002d9e: JUMP
00002d9f: JUMPDEST
00002da0: PUSH1 0x01
00002da2: PUSH1 0x01
00002da4: PUSH1 0xa0
00002da6: SHL
00002da7: SUB
00002da8: DUP6
00002da9: DUP2
00002daa: AND
00002dab: DUP3
00002dac: MSTORE
00002dad: DUP5
00002dae: AND
00002daf: PUSH1 0x20
00002db1: DUP3
00002db2: ADD
00002db3: MSTORE
00002db4: PUSH1 0x40
00002db6: DUP2
00002db7: ADD
00002db8: DUP4
00002db9: SWAP1
00002dba: MSTORE
00002dbb: PUSH1 0x80
00002dbd: PUSH1 0x60
00002dbf: DUP3
00002dc0: ADD
00002dc1: DUP2
00002dc2: SWAP1
00002dc3: MSTORE
00002dc4: PUSH1 0x00
00002dc6: SWAP1
00002dc7: PUSH2 0x2dd2
00002dca: SWAP1
00002dcb: DUP4
00002dcc: ADD
00002dcd: DUP5
00002dce: PUSH2 0x2c32
00002dd1: JUMP
00002dd2: JUMPDEST
00002dd3: SWAP7
00002dd4: SWAP6
00002dd5: POP
00002dd6: POP
00002dd7: POP
00002dd8: POP
00002dd9: POP
00002dda: POP
00002ddb: JUMP
00002ddc: JUMPDEST
00002ddd: PUSH1 0x20
00002ddf: DUP1
00002de0: DUP3
00002de1: MSTORE
00002de2: DUP3
00002de3: MLOAD
00002de4: DUP3
00002de5: DUP3
00002de6: ADD
00002de7: DUP2
00002de8: SWAP1
00002de9: MSTORE
00002dea: PUSH1 0x00
00002dec: SWAP2
00002ded: SWAP1
00002dee: DUP5
00002def: DUP3
00002df0: ADD
00002df1: SWAP1
00002df2: PUSH1 0x40
00002df4: DUP6
00002df5: ADD
00002df6: SWAP1
00002df7: DUP5
00002df8: JUMPDEST
00002df9: DUP2
00002dfa: DUP2
00002dfb: LT
00002dfc: ISZERO
00002dfd: PUSH2 0x2e14
00002e00: JUMPI
00002e01: DUP4
00002e02: MLOAD
00002e03: DUP4
00002e04: MSTORE
00002e05: SWAP3
00002e06: DUP5
00002e07: ADD
00002e08: SWAP3
00002e09: SWAP2
00002e0a: DUP5
00002e0b: ADD
00002e0c: SWAP2
00002e0d: PUSH1 0x01
00002e0f: ADD
00002e10: PUSH2 0x2df8
00002e13: JUMP
00002e14: JUMPDEST
00002e15: POP
00002e16: SWAP1
00002e17: SWAP7
00002e18: SWAP6
00002e19: POP
00002e1a: POP
00002e1b: POP
00002e1c: POP
00002e1d: POP
00002e1e: POP
00002e1f: JUMP
00002e20: JUMPDEST
00002e21: PUSH1 0x20
00002e23: DUP2
00002e24: MSTORE
00002e25: PUSH1 0x00
00002e27: PUSH2 0x29ea
00002e2a: PUSH1 0x20
00002e2c: DUP4
00002e2d: ADD
00002e2e: DUP5
00002e2f: PUSH2 0x2c32
00002e32: JUMP
00002e33: JUMPDEST
00002e34: PUSH1 0x20
00002e36: DUP1
00002e37: DUP3
00002e38: MSTORE
00002e39: PUSH1 0x32
00002e3b: SWAP1
00002e3c: DUP3
00002e3d: ADD
00002e3e: MSTORE
00002e3f: PUSH32 0x4552433732313a207472616e7366657220746f206e6f6e204552433732315265
00002e60: PUSH1 0x40
00002e62: DUP3
00002e63: ADD
00002e64: MSTORE
00002e65: PUSH18 0x31b2b4bb32b91034b6b83632b6b2b73a32b9
00002e78: PUSH1 0x71
00002e7a: SHL
00002e7b: PUSH1 0x60
00002e7d: DUP3
00002e7e: ADD
00002e7f: MSTORE
00002e80: PUSH1 0x80
00002e82: ADD
00002e83: SWAP1
00002e84: JUMP
00002e85: JUMPDEST
00002e86: PUSH1 0x20
00002e88: DUP1
00002e89: DUP3
00002e8a: MSTORE
00002e8b: PUSH1 0x19
00002e8d: SWAP1
00002e8e: DUP3
00002e8f: ADD
00002e90: MSTORE
00002e91: PUSH32 0x47656e65736973206d696e74206973206e6f74206f7665722e00000000000000
00002eb2: PUSH1 0x40
00002eb4: DUP3
00002eb5: ADD
00002eb6: MSTORE
00002eb7: PUSH1 0x60
00002eb9: ADD
00002eba: SWAP1
00002ebb: JUMP
00002ebc: JUMPDEST
00002ebd: PUSH1 0x20
00002ebf: DUP1
00002ec0: DUP3
00002ec1: MSTORE
00002ec2: PUSH1 0x12
00002ec4: SWAP1
00002ec5: DUP3
00002ec6: ADD
00002ec7: MSTORE
00002ec8: PUSH18 0x2bb937b7339034b733b932b234b2b73a3997
00002edb: PUSH1 0x71
00002edd: SHL
00002ede: PUSH1 0x40
00002ee0: DUP3
00002ee1: ADD
00002ee2: MSTORE
00002ee3: PUSH1 0x60
00002ee5: ADD
00002ee6: SWAP1
00002ee7: JUMP
00002ee8: JUMPDEST
00002ee9: PUSH1 0x20
00002eeb: DUP1
00002eec: DUP3
00002eed: MSTORE
00002eee: DUP2
00002eef: DUP2
00002ef0: ADD
00002ef1: MSTORE
00002ef2: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00002f13: PUSH1 0x40
00002f15: DUP3
00002f16: ADD
00002f17: MSTORE
00002f18: PUSH1 0x60
00002f1a: ADD
00002f1b: SWAP1
00002f1c: JUMP
00002f1d: JUMPDEST
00002f1e: PUSH1 0x20
00002f20: DUP1
00002f21: DUP3
00002f22: MSTORE
00002f23: PUSH1 0x10
00002f25: SWAP1
00002f26: DUP3
00002f27: ADD
00002f28: MSTORE
00002f29: PUSH16 0x2a3930b739b332b9103330b4b632b217
00002f3a: PUSH1 0x81
00002f3c: SHL
00002f3d: PUSH1 0x40
00002f3f: DUP3
00002f40: ADD
00002f41: MSTORE
00002f42: PUSH1 0x60
00002f44: ADD
00002f45: SWAP1
00002f46: JUMP
00002f47: JUMPDEST
00002f48: PUSH1 0x20
00002f4a: DUP1
00002f4b: DUP3
00002f4c: MSTORE
00002f4d: PUSH1 0x31
00002f4f: SWAP1
00002f50: DUP3
00002f51: ADD
00002f52: MSTORE
00002f53: PUSH32 0x4552433732313a207472616e736665722063616c6c6572206973206e6f74206f
00002f74: PUSH1 0x40
00002f76: DUP3
00002f77: ADD
00002f78: MSTORE
00002f79: PUSH17 0x1ddb995c881b9bdc88185c1c1c9bdd9959
00002f8b: PUSH1 0x7a
00002f8d: SHL
00002f8e: PUSH1 0x60
00002f90: DUP3
00002f91: ADD
00002f92: MSTORE
00002f93: PUSH1 0x80
00002f95: ADD
00002f96: SWAP1
00002f97: JUMP
00002f98: JUMPDEST
00002f99: PUSH1 0x20
00002f9b: DUP1
00002f9c: DUP3
00002f9d: MSTORE
00002f9e: PUSH1 0x1f
00002fa0: SWAP1
00002fa1: DUP3
00002fa2: ADD
00002fa3: MSTORE
00002fa4: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00002fc5: PUSH1 0x40
00002fc7: DUP3
00002fc8: ADD
00002fc9: MSTORE
00002fca: PUSH1 0x60
00002fcc: ADD
00002fcd: SWAP1
00002fce: JUMP
00002fcf: JUMPDEST
00002fd0: PUSH1 0x00
00002fd2: DUP3
00002fd3: NOT
00002fd4: DUP3
00002fd5: GT
00002fd6: ISZERO
00002fd7: PUSH2 0x2fe2
00002fda: JUMPI
00002fdb: PUSH2 0x2fe2
00002fde: PUSH2 0x31b2
00002fe1: JUMP
00002fe2: JUMPDEST
00002fe3: POP
00002fe4: ADD
00002fe5: SWAP1
00002fe6: JUMP
00002fe7: JUMPDEST
00002fe8: PUSH1 0x00
00002fea: DUP3
00002feb: PUSH2 0x2ff6
00002fee: JUMPI
00002fef: PUSH2 0x2ff6
00002ff2: PUSH2 0x31c8
00002ff5: JUMP
00002ff6: JUMPDEST
00002ff7: POP
00002ff8: DIV
00002ff9: SWAP1
00002ffa: JUMP
00002ffb: JUMPDEST
00002ffc: PUSH1 0x01
00002ffe: DUP2
00002fff: DUP2
00003000: JUMPDEST
00003001: DUP1
00003002: DUP6
00003003: GT
00003004: ISZERO
00003005: PUSH2 0x3036
00003008: JUMPI
00003009: DUP2
0000300a: PUSH1 0x00
0000300c: NOT
0000300d: DIV
0000300e: DUP3
0000300f: GT
00003010: ISZERO
00003011: PUSH2 0x301c
00003014: JUMPI
00003015: PUSH2 0x301c
00003018: PUSH2 0x31b2
0000301b: JUMP
0000301c: JUMPDEST
0000301d: DUP1
0000301e: DUP6
0000301f: AND
00003020: ISZERO
00003021: PUSH2 0x3029
00003024: JUMPI
00003025: SWAP2
00003026: DUP2
00003027: MUL
00003028: SWAP2
00003029: JUMPDEST
0000302a: SWAP4
0000302b: DUP5
0000302c: SHR
0000302d: SWAP4
0000302e: SWAP1
0000302f: DUP1
00003030: MUL
00003031: SWAP1
00003032: PUSH2 0x3000
00003035: JUMP
00003036: JUMPDEST
00003037: POP
00003038: SWAP3
00003039: POP
0000303a: SWAP3
0000303b: SWAP1
0000303c: POP
0000303d: JUMP
0000303e: JUMPDEST
0000303f: PUSH1 0x00
00003041: PUSH2 0x29ea
00003044: DUP4
00003045: DUP4
00003046: PUSH1 0x00
00003048: DUP3
00003049: PUSH2 0x3054
0000304c: JUMPI
0000304d: POP
0000304e: PUSH1 0x01
00003050: PUSH2 0x07d5
00003053: JUMP
00003054: JUMPDEST
00003055: DUP2
00003056: PUSH2 0x3061
00003059: JUMPI
0000305a: POP
0000305b: PUSH1 0x00
0000305d: PUSH2 0x07d5
00003060: JUMP
00003061: JUMPDEST
00003062: DUP2
00003063: PUSH1 0x01
00003065: DUP2
00003066: EQ
00003067: PUSH2 0x3077
0000306a: JUMPI
0000306b: PUSH1 0x02
0000306d: DUP2
0000306e: EQ
0000306f: PUSH2 0x3081
00003072: JUMPI
00003073: PUSH2 0x309d
00003076: JUMP
00003077: JUMPDEST
00003078: PUSH1 0x01
0000307a: SWAP2
0000307b: POP
0000307c: POP
0000307d: PUSH2 0x07d5
00003080: JUMP
00003081: JUMPDEST
00003082: PUSH1 0xff
00003084: DUP5
00003085: GT
00003086: ISZERO
00003087: PUSH2 0x3092
0000308a: JUMPI
0000308b: PUSH2 0x3092
0000308e: PUSH2 0x31b2
00003091: JUMP
00003092: JUMPDEST
00003093: POP
00003094: POP
00003095: PUSH1 0x01
00003097: DUP3
00003098: SHL
00003099: PUSH2 0x07d5
0000309c: JUMP
0000309d: JUMPDEST
0000309e: POP
0000309f: PUSH1 0x20
000030a1: DUP4
000030a2: LT
000030a3: PUSH2 0x0133
000030a6: DUP4
000030a7: LT
000030a8: AND
000030a9: PUSH1 0x4e
000030ab: DUP5
000030ac: LT
000030ad: PUSH1 0x0b
000030af: DUP5
000030b0: LT
000030b1: AND
000030b2: OR
000030b3: ISZERO
000030b4: PUSH2 0x30c0
000030b7: JUMPI
000030b8: POP
000030b9: DUP2
000030ba: DUP2
000030bb: EXP
000030bc: PUSH2 0x07d5
000030bf: JUMP
000030c0: JUMPDEST
000030c1: PUSH2 0x30ca
000030c4: DUP4
000030c5: DUP4
000030c6: PUSH2 0x2ffb
000030c9: JUMP
000030ca: JUMPDEST
000030cb: DUP1
000030cc: PUSH1 0x00
000030ce: NOT
000030cf: DIV
000030d0: DUP3
000030d1: GT
000030d2: ISZERO
000030d3: PUSH2 0x30de
000030d6: JUMPI
000030d7: PUSH2 0x30de
000030da: PUSH2 0x31b2
000030dd: JUMP
000030de: JUMPDEST
000030df: MUL
000030e0: SWAP4
000030e1: SWAP3
000030e2: POP
000030e3: POP
000030e4: POP
000030e5: JUMP
000030e6: JUMPDEST
000030e7: PUSH1 0x00
000030e9: DUP2
000030ea: PUSH1 0x00
000030ec: NOT
000030ed: DIV
000030ee: DUP4
000030ef: GT
000030f0: DUP3
000030f1: ISZERO
000030f2: ISZERO
000030f3: AND
000030f4: ISZERO
000030f5: PUSH2 0x3100
000030f8: JUMPI
000030f9: PUSH2 0x3100
000030fc: PUSH2 0x31b2
000030ff: JUMP
00003100: JUMPDEST
00003101: POP
00003102: MUL
00003103: SWAP1
00003104: JUMP
00003105: JUMPDEST
00003106: PUSH1 0x00
00003108: DUP3
00003109: DUP3
0000310a: LT
0000310b: ISZERO
0000310c: PUSH2 0x3117
0000310f: JUMPI
00003110: PUSH2 0x3117
00003113: PUSH2 0x31b2
00003116: JUMP
00003117: JUMPDEST
00003118: POP
00003119: SUB
0000311a: SWAP1
0000311b: JUMP
0000311c: JUMPDEST
0000311d: PUSH1 0x00
0000311f: JUMPDEST
00003120: DUP4
00003121: DUP2
00003122: LT
00003123: ISZERO
00003124: PUSH2 0x3137
00003127: JUMPI
00003128: DUP2
00003129: DUP2
0000312a: ADD
0000312b: MLOAD
0000312c: DUP4
0000312d: DUP3
0000312e: ADD
0000312f: MSTORE
00003130: PUSH1 0x20
00003132: ADD
00003133: PUSH2 0x311f
00003136: JUMP
00003137: JUMPDEST
00003138: DUP4
00003139: DUP2
0000313a: GT
0000313b: ISZERO
0000313c: PUSH2 0x176d
0000313f: JUMPI
00003140: POP
00003141: POP
00003142: PUSH1 0x00
00003144: SWAP2
00003145: ADD
00003146: MSTORE
00003147: JUMP
00003148: JUMPDEST
00003149: PUSH1 0x01
0000314b: DUP2
0000314c: DUP2
0000314d: SHR
0000314e: SWAP1
0000314f: DUP3
00003150: AND
00003151: DUP1
00003152: PUSH2 0x315c
00003155: JUMPI
00003156: PUSH1 0x7f
00003158: DUP3
00003159: AND
0000315a: SWAP2
0000315b: POP
0000315c: JUMPDEST
0000315d: PUSH1 0x20
0000315f: DUP3
00003160: LT
00003161: DUP2
00003162: EQ
00003163: ISZERO
00003164: PUSH2 0x317d
00003167: JUMPI
00003168: PUSH4 0x4e487b71
0000316d: PUSH1 0xe0
0000316f: SHL
00003170: PUSH1 0x00
00003172: MSTORE
00003173: PUSH1 0x22
00003175: PUSH1 0x04
00003177: MSTORE
00003178: PUSH1 0x24
0000317a: PUSH1 0x00
0000317c: REVERT
0000317d: JUMPDEST
0000317e: POP
0000317f: SWAP2
00003180: SWAP1
00003181: POP
00003182: JUMP
00003183: JUMPDEST
00003184: PUSH1 0x00
00003186: PUSH1 0x00
00003188: NOT
00003189: DUP3
0000318a: EQ
0000318b: ISZERO
0000318c: PUSH2 0x3197
0000318f: JUMPI
00003190: PUSH2 0x3197
00003193: PUSH2 0x31b2
00003196: JUMP
00003197: JUMPDEST
00003198: POP
00003199: PUSH1 0x01
0000319b: ADD
0000319c: SWAP1
0000319d: JUMP
0000319e: JUMPDEST
0000319f: PUSH1 0x00
000031a1: DUP3
000031a2: PUSH2 0x31ad
000031a5: JUMPI
000031a6: PUSH2 0x31ad
000031a9: PUSH2 0x31c8
000031ac: JUMP
000031ad: JUMPDEST
000031ae: POP
000031af: MOD
000031b0: SWAP1
000031b1: JUMP
000031b2: JUMPDEST
000031b3: PUSH4 0x4e487b71
000031b8: PUSH1 0xe0
000031ba: SHL
000031bb: PUSH1 0x00
000031bd: MSTORE
000031be: PUSH1 0x11
000031c0: PUSH1 0x04
000031c2: MSTORE
000031c3: PUSH1 0x24
000031c5: PUSH1 0x00
000031c7: REVERT
000031c8: JUMPDEST
000031c9: PUSH4 0x4e487b71
000031ce: PUSH1 0xe0
000031d0: SHL
000031d1: PUSH1 0x00
000031d3: MSTORE
000031d4: PUSH1 0x12
000031d6: PUSH1 0x04
000031d8: MSTORE
000031d9: PUSH1 0x24
000031db: PUSH1 0x00
000031dd: REVERT
000031de: JUMPDEST
000031df: PUSH4 0x4e487b71
000031e4: PUSH1 0xe0
000031e6: SHL
000031e7: PUSH1 0x00
000031e9: MSTORE
000031ea: PUSH1 0x41
000031ec: PUSH1 0x04
000031ee: MSTORE
000031ef: PUSH1 0x24
000031f1: PUSH1 0x00
000031f3: REVERT
000031f4: JUMPDEST
000031f5: PUSH1 0x01
000031f7: PUSH1 0x01
000031f9: PUSH1 0xe0
000031fb: SHL
000031fc: SUB
000031fd: NOT
000031fe: DUP2
000031ff: AND
00003200: DUP2
00003201: EQ
00003202: PUSH2 0x0df4
00003205: JUMPI
00003206: PUSH1 0x00
00003208: DUP1
00003209: REVERT
0000320a: INVALID
0000320b: COINBASE
0000320c: TIMESTAMP
0000320d: NUMBER
0000320e: DIFFICULTY
0000320f: GASLIMIT
00003210: CHAINID
00003211: SELFBALANCE
00003212: BASEFEE
00003213: BLOBHASH
00003214: BLOBBASEFEE
00003215: UNKNOWN(0x4B)
00003216: UNKNOWN(0x4C)
00003217: UNKNOWN(0x4D)
00003218: UNKNOWN(0x4E)
00003219: UNKNOWN(0x4F)
0000321a: POP
0000321b: MLOAD
0000321c: MSTORE
0000321d: MSTORE8
0000321e: SLOAD
0000321f: SSTORE
00003220: JUMP
00003221: JUMPI
00003222: PC
00003223: MSIZE
00003224: GAS
00003225: PUSH2 0x6263
00003228: PUSH5 0x6566676869
0000322e: PUSH11 0x6b6c6d6e6f707172737475
0000323a: PUSH23 0x7778797a303132333435363738392b2f3c73766720786d
00003252: PUSH13 0x6e733d22687474703a2f2f7777
00003260: PUSH24 0x2e77332e6f72672f323030302f7376672220707265736572
00003279: PUSH23 0x65417370656374526174696f3d22784d696e594d696e20
00003291: PUSH14 0x656574222076696577426f783d22
000032a0: ADDRESS
000032a1: KECCAK256
000032a2: ADDRESS
000032a3: KECCAK256
000032a4: CALLER
000032a5: CALLDATALOAD
000032a6: ADDRESS
000032a7: KECCAK256
000032a8: CALLER
000032a9: CALLDATALOAD
000032aa: ADDRESS
000032ab: UNKNOWN(0x22)
000032ac: RETURNDATACOPY
000032ad: EXTCODECOPY
000032ae: PUSH20 0x74796c653e2e62617365207b2066696c6c3a2062
000032c3: PUSH13 0x61636b3b20666f6e742d66616d
000032d1: PUSH10 0x6c793a2073616e732d73
000032dc: PUSH6 0x7269663b2066
000032e3: PUSH16 0x6e742d73697a653a20333370783b207d
000032f4: EXTCODECOPY
000032f5: UNKNOWN(0x2F)
000032f6: PUSH20 0x74796c653e3c726563742077696474683d223130
0000330b: ADDRESS
0000330c: UNKNOWN(0x25)
0000330d: UNKNOWN(0x22)
0000330e: KECCAK256
0000330f: PUSH9 0x65696768743d223130
00003319: ADDRESS
0000331a: UNKNOWN(0x25)
0000331b: UNKNOWN(0x22)
0000331c: KECCAK256
0000331d: PUSH7 0x696c6c3d227768
00003325: PUSH10 0x746522202f3e3c746578
00003330: PUSH21 0x20783d223530252220793d223530252220646f6d69
00003346: PUSH15 0x616e742d626173656c696e653d226d
00003356: PUSH10 0x64646c65222074657874
00003361: UNKNOWN(0x2D)
00003362: PUSH2 0x6e63
00003365: PUSH9 0x6f723d226d6964646c
0000336f: PUSH6 0x2220636c6173
00003376: PUSH20 0x3d2262617365223ea2646970667358221220348a
0000338b: PUSH27 0xd0172043411cb088ea42312c351742f1d0c17327a6ad86e9b9cce5
000033a7: MLOAD
000033a8: CREATE
000033a9: PUSH5 0x736f6c6343
000033af: STOP
000033b0: ADDMOD
000033b1: DIV
000033b2: STOP
000033b3: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth codex Approved operator can burn someone else’s NFT and steal the ETH backing 85 no
view
evidence_json
{
    "evidence": "claimAndBurn calls burn(tokenId) (approved-or-owner allowed) and then sends ETH to msg.sender.",
    "locations": [
        "contracts/Numba.sol:184",
        "contracts/Numba.sol:186",
        "contracts/Numba.sol:187"
    ],
    "recommendation": "Pay the backing to the current owner (ownerOf(tokenId)) and/or require msg.sender to be the owner before burning. If you want to allow operators, ensure payout goes to the owner address.",
    "exploit_scenario": "A holder approves an operator (e.g., a marketplace) to manage their NFTs. The operator calls claimAndBurn(tokenId), which succeeds because ERC721Burnable allows approved callers to burn. The function then transfers the backing to msg.sender (the operator), not the token owner, effectively stealing the backing while destroying the user\u2019s NFT."
}
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x65d56ffbc099a43fdf862391c8996208e1b29fc70873962dc9cd45f05b9e7d72
call_targets: 0xc315c1982efab100b4a3eca4035567358f85bbb2
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x65d56ffbc099a43fdf862391c8996208e1b29fc70873962dc9cd45f05b9e7d72",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xc315c1982efab100b4a3eca4035567358f85bbb2"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xd30f8fc0",
            "selector": "0xd30f8fc0",
            "calldata_variants": [
                "0xd30f8fc0",
                "0xd30f8fc00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd7edffa",
            "selector": "0xdd7edffa",
            "calldata_variants": [
                "0xdd7edffa",
                "0xdd7edffa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdff63243",
            "selector": "0xdff63243",
            "calldata_variants": [
                "0xdff63243",
                "0xdff632430000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe21f37ce",
            "selector": "0xe21f37ce",
            "calldata_variants": [
                "0xe21f37ce",
                "0xe21f37ce0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc62c1b97",
            "selector": "0xc62c1b97",
            "calldata_variants": [
                "0xc62c1b97",
                "0xc62c1b970000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2829,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4790,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5852,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 4,
    "guards_detected": [],
    "untrusted_call_count": 4
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x65d56ffbc099a43fdf862391c8996208e1b29fc70873962dc9cd45f05b9e7d72
call_targets: 0xc315c1982efab100b4a3eca4035567358f85bbb2
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x65d56ffbc099a43fdf862391c8996208e1b29fc70873962dc9cd45f05b9e7d72",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0xc315c1982efab100b4a3eca4035567358f85bbb2"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xd30f8fc0",
            "selector": "0xd30f8fc0",
            "calldata_variants": [
                "0xd30f8fc0",
                "0xd30f8fc00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd7edffa",
            "selector": "0xdd7edffa",
            "calldata_variants": [
                "0xdd7edffa",
                "0xdd7edffa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdff63243",
            "selector": "0xdff63243",
            "calldata_variants": [
                "0xdff63243",
                "0xdff632430000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe21f37ce",
            "selector": "0xe21f37ce",
            "calldata_variants": [
                "0xe21f37ce",
                "0xe21f37ce0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc62c1b97",
            "selector": "0xc62c1b97",
            "calldata_variants": [
                "0xc62c1b97",
                "0xc62c1b970000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 2829,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4790,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 5852,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 4,
    "guards_detected": []
}
medium other detector CREATE/CREATE2 reachable 45 no no
view
trace_id: 0x022aa41f22faf0218cd47166a3f94acf892e338eb3cda74659856f4023e61f4e
validation_json
{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x022aa41f22faf0218cd47166a3f94acf892e338eb3cda74659856f4023e61f4e",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xd30f8fc0",
            "selector": "0xd30f8fc0",
            "calldata_variants": [
                "0xd30f8fc0",
                "0xd30f8fc00000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdd7edffa",
            "selector": "0xdd7edffa",
            "calldata_variants": [
                "0xdd7edffa",
                "0xdd7edffa0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdff63243",
            "selector": "0xdff63243",
            "calldata_variants": [
                "0xdff63243",
                "0xdff632430000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe21f37ce",
            "selector": "0xe21f37ce",
            "calldata_variants": [
                "0xe21f37ce",
                "0xe21f37ce0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe985e9c5",
            "selector": "0xe985e9c5",
            "calldata_variants": [
                "0xe985e9c5",
                "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xb88d4fde",
            "selector": "0xb88d4fde",
            "calldata_variants": [
                "0xb88d4fde",
                "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc62c1b97",
            "selector": "0xc62c1b97",
            "calldata_variants": [
                "0xc62c1b97",
                "0xc62c1b970000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "create_count": 1,
    "create2_count": 0
}
low other cast Contract creation opcode present 60 no
view
evidence_json
{
    "notes": "runtime can deploy contracts dynamically via CREATE/CREATE2",
    "create_count": 1,
    "create2_count": 0
}
low oracle codex Predictable/malleable randomness for genesis token assignment 65 no
view
evidence_json
{
    "evidence": "randomIndex relies on block.difficulty and block.timestamp mixed with msg.sender/nonce.",
    "locations": [
        "contracts/Numba.sol:57",
        "contracts/Numba.sol:60",
        "contracts/Numba.sol:64",
        "contracts/Numba.sol:65"
    ],
    "recommendation": "Use a more robust randomness source (e.g., commit-reveal, VRF) if token ID randomness is security-relevant or value-sensitive.",
    "exploit_scenario": "Miners or sophisticated users can influence/guess block.timestamp and block.difficulty (prevrandao) and try multiple accounts/transactions to bias randomIndex, increasing the chance of minting a desired token ID."
}