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

Analysis Run

7ee9ee51-0252-4391-a781-89e8a9c04be3

failed
Chain ID
1
Address
Block Number
Created
Fri, Jan 2, 2026 6:23 AM
Review Summary

What survived the funnel

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

Confirmed
2
Validated
2
Source
Verified
Review Backing
Not yet
Best current signal
Untrusted CALL target/value reachable
crit 0 high 2 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
31251 report.consolidate complete 1 / 1 3 months ago
110504 artifact.fetch failed 1 / 3 1 week ago
110505 tool.cast_disasm complete 1 / 3 1 week ago
110506 analysis.bundle complete 1 / 3 1 week ago
110507 capability.graph complete 1 / 3 1 week ago
110508 detector.run complete 1 / 3 1 week ago
110509 validation.fork complete 1 / 3 1 week ago
113951 tool.slither complete 1 / 2 1 week ago

Artifact

Runtime bytecode: available
Creation TX:
Deployer:
Proxy: no
Implementation:
Verified Source: yes

Slither

tool.slither
Status
complete
Attempts
1 / 2
Findings
0
Solc
0.4.11 (solc-select)
View stderr
'forge clean' running (wd: /tmp/slither-02hm08hq)
'forge config --json' running
'forge build --build-info --skip ./test/** ./script/** --force' running (wd: /tmp/slither-02hm08hq)
crytic-compile returned an empty AST. If you are trying to analyze a contract from etherscan or similar make sure it has source code available.
No contracts were found in None, check the correct compilation

solc-0.4.11 is an outdated solc version. Use a more recent version (at least 0.8.0), if possible.
Reference: https://github.com/crytic/slither/wiki/Detector-Documentation#incorrect-versions-of-solidity
No contract was analyzed
. analyzed (0 contracts with 100 detectors), 1 result(s) found
Metadata
{
    "solc": {
        "status": "ok",
        "use_rc": 0,
        "version": "0.4.11",
        "strategy": "solc-select",
        "solc_path": "/var/www/tripwire/.venv/bin/solc",
        "install_rc": 0,
        "use_stderr": null,
        "use_stdout": "Switched global version to 0.4.11",
        "install_stderr": null,
        "install_stdout": "Version '0.4.11' is already installed, skipping..."
    },
    "solc_args": "--base-path /tmp/slither-02hm08hq --allow-paths /tmp/slither-02hm08hq,/tmp/slither-02hm08hq/lib,/tmp/slither-02hm08hq/src",
    "remappings": [],
    "source_files": [
        "contracts/Contract.sol"
    ],
    "contract_count": 0,
    "contract_names": [],
    "detector_count": 1,
    "workspace_hash": "f82cdf21c0f5a4c66f08f42a0fe00e52ca06c3484170dd7b757ccf678c2c0343",
    "duration_seconds": 0.4788172245025635,
    "solc_version_requested": "0.4.13"
}

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
Summary
No concrete, exploitable profit paths found in the provided contract sources.
View stderr
[codex:93032] OpenAI Codex v0.77.0 (research preview)
[codex:93032] --------
[codex:93032] workdir: /tmp/codex-multi-u4k9clcz
[codex:93032] model: gpt-5.2-codex
[codex:93032] provider: openai
[codex:93032] approval: never
[codex:93032] sandbox: read-only
[codex:93032] reasoning effort: xhigh
[codex:93032] reasoning summaries: auto
[codex:93032] session id: 019b7d5c-d11b-70f2-a038-92f94011128d
[codex:93032] --------
[codex:93032] user
[codex:93032] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:93032] 
[codex:93032] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:93032] 
[codex:93032] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:93032] - Gas inefficiency, code quality, naming, or best practices
[codex:93032] - Theoretical vulnerabilities without a clear extraction path
[codex:93032] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:93032] - Front-running unless it enables theft beyond MEV
[codex:93032] - DoS, griefing, or issues that don't result in attacker profit
[codex:93032] - Missing events, view function issues, or informational findings
[codex:93032] 
[codex:93032] HIGH-VALUE PATTERNS TO HUNT:
[codex:93032] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:93032] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:93032] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:93032] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:93032] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:93032] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:93032] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:93032] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:93032] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:93032] 
[codex:93032] For each finding, you MUST provide:
[codex:93032] 1. Exact file and line numbers of vulnerable code
[codex:93032] 2. Step-by-step exploit transaction sequence
[codex:93032] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:93032] 
[codex:93032] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:93032] 
[codex:93032] Output MUST be valid JSON matching the provided schema.
[codex:93032] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:93032] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:93032] mcp startup: no servers
[codex:93032] 
[codex:93032] thinking
[codex:93032] **Preparing to read file**
[codex:93032] exec
[codex:93032] /bin/bash -lc ls in /tmp/codex-multi-u4k9clcz succeeded in 5ms:
[codex:93032] AUDIT_BUNDLE.txt
[codex:93032] codex-output-schema.json
[codex:93032] contracts
[codex:93032] exec
[codex:93032] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-u4k9clcz succeeded in 5ms:
[codex:93032] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:93032] 
[codex:93032] ================================================================================
[codex:93032] FILE: contracts/Contract.sol
[codex:93032] ================================================================================
[codex:93032] pragma solidity ^0.4.11;
[codex:93032] 
[codex:93032] // ERC20 token protocol, see more details at
[codex:93032] // https://theethereum.wiki/w/index.php/ERC20_Token_Standard
[codex:93032] // And also https://github.com/ethereum/eips/issues/20
[codex:93032] 
[codex:93032] contract Token {
[codex:93032]   function totalSupply() constant returns (uint256 supply);
[codex:93032]   function balanceOf(address _owner) constant returns (uint256 balance);
[codex:93032]   function transfer(address _to, uint256 _value) returns (bool success);
[codex:93032]   function transferFrom(address _from, address _to, uint256 _value) returns (bool success);
[codex:93032]   function approve(address _spender, uint256 _value) returns (bool success);
[codex:93032]   function allowance(address _owner, address _spender) constant returns (uint256 remaining);
[codex:93032] 
[codex:93032]   event Transfer(address indexed _from, address indexed _to, uint256 _value);
[codex:93032] 
[codex:93032] 
[codex:93032] 
[codex:93032] thinking
[codex:93032] **Analyzing potential reentrancy and token abuses**
[codex:93032] thinking
[codex:93032] **Evaluating token balance checks and external calls**
[codex:93032] 
[codex:93032] This chunk digs deeper into how the trade function relies on internal ledgers without external token calls, considering risks from malicious tokens and reentrancy. I’m piecing together how deposit and withdraw flows handle state updates before external calls, and how external contract calls like accountModifiers might open brief windows for reentrancy—though only if that contract is compromised. It’s a careful balance of internal consistency, signature checks, and transfer logic that mostly blocks direct profit from exploits here.
[codex:93032] thinking
[codex:93032] {
[codex:93032]   "no_findings": true,
[codex:93032]   "summary": "No concrete, exploitable profit paths found.",
[codex:93032]   "findings": []
[codex:93032] }
[codex:93032] codex
[codex:93032] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided contract sources.","findings":[]}
[codex:93032] tokens used
[codex:93032] 19,028
[codex:93032] {"no_findings":true,"summary":"No concrete, exploitable profit paths found in the provided contract sources.","findings":[]}
Metadata
{
    "codex": {
        "ran_at": "2026-01-02T06:23:17.009260+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths found in the provided contract sources.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths found in the provided contract sources.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
20
EXT*/BALANCE
12
Total opcodes
6082
Flags
heavy_ext_balance_usage call_family_heavy
View cast disassembly output
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x014e
0000000a: JUMPI
0000000b: PUSH4 0xffffffff
00000010: PUSH1 0xe0
00000012: PUSH1 0x02
00000014: EXP
00000015: PUSH1 0x00
00000017: CALLDATALOAD
00000018: DIV
00000019: AND
0000001a: PUSH4 0x0a19b14a
0000001f: DUP2
00000020: EQ
00000021: PUSH2 0x0166
00000024: JUMPI
00000025: DUP1
00000026: PUSH4 0x0e136b19
0000002b: EQ
0000002c: PUSH2 0x01b5
0000002f: JUMPI
00000030: DUP1
00000031: PUSH4 0x19774d43
00000036: EQ
00000037: PUSH2 0x01dc
0000003a: JUMPI
0000003b: DUP1
0000003c: PUSH4 0x278b8c0e
00000041: EQ
00000042: PUSH2 0x0210
00000045: JUMPI
00000046: DUP1
00000047: PUSH4 0x2d804ca2
0000004c: EQ
0000004d: PUSH2 0x0251
00000050: JUMPI
00000051: DUP1
00000052: PUSH4 0x2e1a7d4d
00000057: EQ
00000058: PUSH2 0x029e
0000005b: JUMPI
0000005c: DUP1
0000005d: PUSH4 0x338b5dea
00000062: EQ
00000063: PUSH2 0x02b6
00000066: JUMPI
00000067: DUP1
00000068: PUSH4 0x38ec18c3
0000006d: EQ
0000006e: PUSH2 0x02da
00000071: JUMPI
00000072: DUP1
00000073: PUSH4 0x3c2e2a75
00000078: EQ
00000079: PUSH2 0x02fb
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0x48d64fd5
00000083: EQ
00000084: PUSH2 0x0326
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0x508493bc
0000008e: EQ
0000008f: PUSH2 0x0347
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0x54fd4d50
00000099: EQ
0000009a: PUSH2 0x037e
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0x59015ed5
000000a4: EQ
000000a5: PUSH2 0x03a8
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0x6a1db1bf
000000af: EQ
000000b0: PUSH2 0x03d3
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0x6a523c5e
000000ba: EQ
000000bb: PUSH2 0x03eb
000000be: JUMPI
000000bf: DUP1
000000c0: PUSH4 0x6c86888b
000000c5: EQ
000000c6: PUSH2 0x0401
000000c9: JUMPI
000000ca: DUP1
000000cb: PUSH4 0x6ff968c3
000000d0: EQ
000000d1: PUSH2 0x046d
000000d4: JUMPI
000000d5: DUP1
000000d6: PUSH4 0x71ffcb16
000000db: EQ
000000dc: PUSH2 0x049c
000000df: JUMPI
000000e0: DUP1
000000e1: PUSH4 0x8da5cb5b
000000e6: EQ
000000e7: PUSH2 0x04bd
000000ea: JUMPI
000000eb: DUP1
000000ec: PUSH4 0x9e281a98
000000f1: EQ
000000f2: PUSH2 0x04ec
000000f5: JUMPI
000000f6: DUP1
000000f7: PUSH4 0xb719d032
000000fc: EQ
000000fd: PUSH2 0x0510
00000100: JUMPI
00000101: DUP1
00000102: PUSH4 0xbe3dd131
00000107: EQ
00000108: PUSH2 0x053f
0000010b: JUMPI
0000010c: DUP1
0000010d: PUSH4 0xd0e30db0
00000112: EQ
00000113: PUSH2 0x0590
00000116: JUMPI
00000117: DUP1
00000118: PUSH4 0xddca3f43
0000011d: EQ
0000011e: PUSH2 0x059a
00000121: JUMPI
00000122: DUP1
00000123: PUSH4 0xe6213127
00000128: EQ
00000129: PUSH2 0x05bf
0000012c: JUMPI
0000012d: DUP1
0000012e: PUSH4 0xf2fde38b
00000133: EQ
00000134: PUSH2 0x05e5
00000137: JUMPI
00000138: DUP1
00000139: PUSH4 0xf7888aec
0000013e: EQ
0000013f: PUSH2 0x0606
00000142: JUMPI
00000143: DUP1
00000144: PUSH4 0xfb6e155f
00000149: EQ
0000014a: PUSH2 0x063d
0000014d: JUMPI
0000014e: JUMPDEST
0000014f: CALLVALUE
00000150: ISZERO
00000151: PUSH2 0x0159
00000154: JUMPI
00000155: PUSH1 0x00
00000157: DUP1
00000158: REVERT
00000159: JUMPDEST
0000015a: PUSH2 0x0164
0000015d: JUMPDEST
0000015e: PUSH1 0x00
00000160: DUP1
00000161: REVERT
00000162: JUMPDEST
00000163: JUMP
00000164: JUMPDEST
00000165: STOP
00000166: JUMPDEST
00000167: CALLVALUE
00000168: ISZERO
00000169: PUSH2 0x0171
0000016c: JUMPI
0000016d: PUSH1 0x00
0000016f: DUP1
00000170: REVERT
00000171: JUMPDEST
00000172: PUSH2 0x0164
00000175: PUSH1 0x01
00000177: PUSH1 0xa0
00000179: PUSH1 0x02
0000017b: EXP
0000017c: SUB
0000017d: PUSH1 0x04
0000017f: CALLDATALOAD
00000180: DUP2
00000181: AND
00000182: SWAP1
00000183: PUSH1 0x24
00000185: CALLDATALOAD
00000186: SWAP1
00000187: PUSH1 0x44
00000189: CALLDATALOAD
0000018a: DUP2
0000018b: AND
0000018c: SWAP1
0000018d: PUSH1 0x64
0000018f: CALLDATALOAD
00000190: SWAP1
00000191: PUSH1 0x84
00000193: CALLDATALOAD
00000194: SWAP1
00000195: PUSH1 0xa4
00000197: CALLDATALOAD
00000198: SWAP1
00000199: PUSH1 0xc4
0000019b: CALLDATALOAD
0000019c: AND
0000019d: PUSH1 0xff
0000019f: PUSH1 0xe4
000001a1: CALLDATALOAD
000001a2: AND
000001a3: PUSH2 0x0104
000001a6: CALLDATALOAD
000001a7: PUSH2 0x0124
000001aa: CALLDATALOAD
000001ab: PUSH2 0x0144
000001ae: CALLDATALOAD
000001af: PUSH2 0x0698
000001b2: JUMP
000001b3: JUMPDEST
000001b4: STOP
000001b5: JUMPDEST
000001b6: CALLVALUE
000001b7: ISZERO
000001b8: PUSH2 0x01c0
000001bb: JUMPI
000001bc: PUSH1 0x00
000001be: DUP1
000001bf: REVERT
000001c0: JUMPDEST
000001c1: PUSH2 0x01c8
000001c4: PUSH2 0x0921
000001c7: JUMP
000001c8: JUMPDEST
000001c9: PUSH1 0x40
000001cb: MLOAD
000001cc: SWAP1
000001cd: ISZERO
000001ce: ISZERO
000001cf: DUP2
000001d0: MSTORE
000001d1: PUSH1 0x20
000001d3: ADD
000001d4: PUSH1 0x40
000001d6: MLOAD
000001d7: DUP1
000001d8: SWAP2
000001d9: SUB
000001da: SWAP1
000001db: RETURN
000001dc: JUMPDEST
000001dd: CALLVALUE
000001de: ISZERO
000001df: PUSH2 0x01e7
000001e2: JUMPI
000001e3: PUSH1 0x00
000001e5: DUP1
000001e6: REVERT
000001e7: JUMPDEST
000001e8: PUSH2 0x01fe
000001eb: PUSH1 0x01
000001ed: PUSH1 0xa0
000001ef: PUSH1 0x02
000001f1: EXP
000001f2: SUB
000001f3: PUSH1 0x04
000001f5: CALLDATALOAD
000001f6: AND
000001f7: PUSH1 0x24
000001f9: CALLDATALOAD
000001fa: PUSH2 0x0931
000001fd: JUMP
000001fe: JUMPDEST
000001ff: PUSH1 0x40
00000201: MLOAD
00000202: SWAP1
00000203: DUP2
00000204: MSTORE
00000205: PUSH1 0x20
00000207: ADD
00000208: PUSH1 0x40
0000020a: MLOAD
0000020b: DUP1
0000020c: SWAP2
0000020d: SUB
0000020e: SWAP1
0000020f: RETURN
00000210: JUMPDEST
00000211: CALLVALUE
00000212: ISZERO
00000213: PUSH2 0x021b
00000216: JUMPI
00000217: PUSH1 0x00
00000219: DUP1
0000021a: REVERT
0000021b: JUMPDEST
0000021c: PUSH2 0x0164
0000021f: PUSH1 0x01
00000221: PUSH1 0xa0
00000223: PUSH1 0x02
00000225: EXP
00000226: SUB
00000227: PUSH1 0x04
00000229: CALLDATALOAD
0000022a: DUP2
0000022b: AND
0000022c: SWAP1
0000022d: PUSH1 0x24
0000022f: CALLDATALOAD
00000230: SWAP1
00000231: PUSH1 0x44
00000233: CALLDATALOAD
00000234: AND
00000235: PUSH1 0x64
00000237: CALLDATALOAD
00000238: PUSH1 0x84
0000023a: CALLDATALOAD
0000023b: PUSH1 0xa4
0000023d: CALLDATALOAD
0000023e: PUSH1 0xff
00000240: PUSH1 0xc4
00000242: CALLDATALOAD
00000243: AND
00000244: PUSH1 0xe4
00000246: CALLDATALOAD
00000247: PUSH2 0x0104
0000024a: CALLDATALOAD
0000024b: PUSH2 0x094e
0000024e: JUMP
0000024f: JUMPDEST
00000250: STOP
00000251: JUMPDEST
00000252: CALLVALUE
00000253: ISZERO
00000254: PUSH2 0x025c
00000257: JUMPI
00000258: PUSH1 0x00
0000025a: DUP1
0000025b: REVERT
0000025c: JUMPDEST
0000025d: PUSH2 0x01fe
00000260: PUSH1 0x01
00000262: PUSH1 0xa0
00000264: PUSH1 0x02
00000266: EXP
00000267: SUB
00000268: PUSH1 0x04
0000026a: CALLDATALOAD
0000026b: DUP2
0000026c: AND
0000026d: SWAP1
0000026e: PUSH1 0x24
00000270: CALLDATALOAD
00000271: SWAP1
00000272: PUSH1 0x44
00000274: CALLDATALOAD
00000275: DUP2
00000276: AND
00000277: SWAP1
00000278: PUSH1 0x64
0000027a: CALLDATALOAD
0000027b: SWAP1
0000027c: PUSH1 0x84
0000027e: CALLDATALOAD
0000027f: SWAP1
00000280: PUSH1 0xa4
00000282: CALLDATALOAD
00000283: SWAP1
00000284: PUSH1 0xc4
00000286: CALLDATALOAD
00000287: AND
00000288: PUSH2 0x0b74
0000028b: JUMP
0000028c: JUMPDEST
0000028d: PUSH1 0x40
0000028f: MLOAD
00000290: SWAP1
00000291: DUP2
00000292: MSTORE
00000293: PUSH1 0x20
00000295: ADD
00000296: PUSH1 0x40
00000298: MLOAD
00000299: DUP1
0000029a: SWAP2
0000029b: SUB
0000029c: SWAP1
0000029d: RETURN
0000029e: JUMPDEST
0000029f: CALLVALUE
000002a0: ISZERO
000002a1: PUSH2 0x02a9
000002a4: JUMPI
000002a5: PUSH1 0x00
000002a7: DUP1
000002a8: REVERT
000002a9: JUMPDEST
000002aa: PUSH2 0x0164
000002ad: PUSH1 0x04
000002af: CALLDATALOAD
000002b0: PUSH2 0x0c39
000002b3: JUMP
000002b4: JUMPDEST
000002b5: STOP
000002b6: JUMPDEST
000002b7: CALLVALUE
000002b8: ISZERO
000002b9: PUSH2 0x02c1
000002bc: JUMPI
000002bd: PUSH1 0x00
000002bf: DUP1
000002c0: REVERT
000002c1: JUMPDEST
000002c2: PUSH2 0x0164
000002c5: PUSH1 0x01
000002c7: PUSH1 0xa0
000002c9: PUSH1 0x02
000002cb: EXP
000002cc: SUB
000002cd: PUSH1 0x04
000002cf: CALLDATALOAD
000002d0: AND
000002d1: PUSH1 0x24
000002d3: CALLDATALOAD
000002d4: PUSH2 0x0d6f
000002d7: JUMP
000002d8: JUMPDEST
000002d9: STOP
000002da: JUMPDEST
000002db: CALLVALUE
000002dc: ISZERO
000002dd: PUSH2 0x02e5
000002e0: JUMPI
000002e1: PUSH1 0x00
000002e3: DUP1
000002e4: REVERT
000002e5: JUMPDEST
000002e6: PUSH2 0x0164
000002e9: PUSH1 0x01
000002eb: PUSH1 0xa0
000002ed: PUSH1 0x02
000002ef: EXP
000002f0: SUB
000002f1: PUSH1 0x04
000002f3: CALLDATALOAD
000002f4: AND
000002f5: PUSH2 0x0ee8
000002f8: JUMP
000002f9: JUMPDEST
000002fa: STOP
000002fb: JUMPDEST
000002fc: CALLVALUE
000002fd: ISZERO
000002fe: PUSH2 0x0306
00000301: JUMPI
00000302: PUSH1 0x00
00000304: DUP1
00000305: REVERT
00000306: JUMPDEST
00000307: PUSH2 0x0164
0000030a: PUSH1 0x01
0000030c: PUSH1 0xa0
0000030e: PUSH1 0x02
00000310: EXP
00000311: SUB
00000312: PUSH1 0x04
00000314: CALLDATALOAD
00000315: DUP2
00000316: AND
00000317: SWAP1
00000318: PUSH1 0x24
0000031a: CALLDATALOAD
0000031b: SWAP1
0000031c: PUSH1 0x44
0000031e: CALLDATALOAD
0000031f: AND
00000320: PUSH2 0x0f30
00000323: JUMP
00000324: JUMPDEST
00000325: STOP
00000326: JUMPDEST
00000327: CALLVALUE
00000328: ISZERO
00000329: PUSH2 0x0331
0000032c: JUMPI
0000032d: PUSH1 0x00
0000032f: DUP1
00000330: REVERT
00000331: JUMPDEST
00000332: PUSH2 0x0164
00000335: PUSH1 0x01
00000337: PUSH1 0xa0
00000339: PUSH1 0x02
0000033b: EXP
0000033c: SUB
0000033d: PUSH1 0x04
0000033f: CALLDATALOAD
00000340: AND
00000341: PUSH2 0x10e3
00000344: JUMP
00000345: JUMPDEST
00000346: STOP
00000347: JUMPDEST
00000348: CALLVALUE
00000349: ISZERO
0000034a: PUSH2 0x0352
0000034d: JUMPI
0000034e: PUSH1 0x00
00000350: DUP1
00000351: REVERT
00000352: JUMPDEST
00000353: PUSH2 0x01fe
00000356: PUSH1 0x01
00000358: PUSH1 0xa0
0000035a: PUSH1 0x02
0000035c: EXP
0000035d: SUB
0000035e: PUSH1 0x04
00000360: CALLDATALOAD
00000361: DUP2
00000362: AND
00000363: SWAP1
00000364: PUSH1 0x24
00000366: CALLDATALOAD
00000367: AND
00000368: PUSH2 0x112b
0000036b: JUMP
0000036c: JUMPDEST
0000036d: PUSH1 0x40
0000036f: MLOAD
00000370: SWAP1
00000371: DUP2
00000372: MSTORE
00000373: PUSH1 0x20
00000375: ADD
00000376: PUSH1 0x40
00000378: MLOAD
00000379: DUP1
0000037a: SWAP2
0000037b: SUB
0000037c: SWAP1
0000037d: RETURN
0000037e: JUMPDEST
0000037f: CALLVALUE
00000380: ISZERO
00000381: PUSH2 0x0389
00000384: JUMPI
00000385: PUSH1 0x00
00000387: DUP1
00000388: REVERT
00000389: JUMPDEST
0000038a: PUSH2 0x0391
0000038d: PUSH2 0x1148
00000390: JUMP
00000391: JUMPDEST
00000392: PUSH1 0x40
00000394: MLOAD
00000395: PUSH2 0xffff
00000398: SWAP1
00000399: SWAP2
0000039a: AND
0000039b: DUP2
0000039c: MSTORE
0000039d: PUSH1 0x20
0000039f: ADD
000003a0: PUSH1 0x40
000003a2: MLOAD
000003a3: DUP1
000003a4: SWAP2
000003a5: SUB
000003a6: SWAP1
000003a7: RETURN
000003a8: JUMPDEST
000003a9: CALLVALUE
000003aa: ISZERO
000003ab: PUSH2 0x03b3
000003ae: JUMPI
000003af: PUSH1 0x00
000003b1: DUP1
000003b2: REVERT
000003b3: JUMPDEST
000003b4: PUSH2 0x03bb
000003b7: PUSH2 0x116b
000003ba: JUMP
000003bb: JUMPDEST
000003bc: PUSH1 0x40
000003be: MLOAD
000003bf: SWAP2
000003c0: DUP3
000003c1: MSTORE
000003c2: PUSH1 0x20
000003c4: DUP3
000003c5: ADD
000003c6: MSTORE
000003c7: PUSH1 0x40
000003c9: SWAP1
000003ca: DUP2
000003cb: ADD
000003cc: SWAP1
000003cd: MLOAD
000003ce: DUP1
000003cf: SWAP2
000003d0: SUB
000003d1: SWAP1
000003d2: RETURN
000003d3: JUMPDEST
000003d4: CALLVALUE
000003d5: ISZERO
000003d6: PUSH2 0x03de
000003d9: JUMPI
000003da: PUSH1 0x00
000003dc: DUP1
000003dd: REVERT
000003de: JUMPDEST
000003df: PUSH2 0x0164
000003e2: PUSH1 0x04
000003e4: CALLDATALOAD
000003e5: PUSH2 0x120f
000003e8: JUMP
000003e9: JUMPDEST
000003ea: STOP
000003eb: JUMPDEST
000003ec: PUSH2 0x0164
000003ef: PUSH1 0x01
000003f1: PUSH1 0xa0
000003f3: PUSH1 0x02
000003f5: EXP
000003f6: SUB
000003f7: PUSH1 0x04
000003f9: CALLDATALOAD
000003fa: AND
000003fb: PUSH2 0x1243
000003fe: JUMP
000003ff: JUMPDEST
00000400: STOP
00000401: JUMPDEST
00000402: CALLVALUE
00000403: ISZERO
00000404: PUSH2 0x040c
00000407: JUMPI
00000408: PUSH1 0x00
0000040a: DUP1
0000040b: REVERT
0000040c: JUMPDEST
0000040d: PUSH2 0x01c8
00000410: PUSH1 0x01
00000412: PUSH1 0xa0
00000414: PUSH1 0x02
00000416: EXP
00000417: SUB
00000418: PUSH1 0x04
0000041a: CALLDATALOAD
0000041b: DUP2
0000041c: AND
0000041d: SWAP1
0000041e: PUSH1 0x24
00000420: CALLDATALOAD
00000421: SWAP1
00000422: PUSH1 0x44
00000424: CALLDATALOAD
00000425: DUP2
00000426: AND
00000427: SWAP1
00000428: PUSH1 0x64
0000042a: CALLDATALOAD
0000042b: SWAP1
0000042c: PUSH1 0x84
0000042e: CALLDATALOAD
0000042f: SWAP1
00000430: PUSH1 0xa4
00000432: CALLDATALOAD
00000433: SWAP1
00000434: PUSH1 0xc4
00000436: CALLDATALOAD
00000437: DUP2
00000438: AND
00000439: SWAP1
0000043a: PUSH1 0xff
0000043c: PUSH1 0xe4
0000043e: CALLDATALOAD
0000043f: AND
00000440: SWAP1
00000441: PUSH2 0x0104
00000444: CALLDATALOAD
00000445: SWAP1
00000446: PUSH2 0x0124
00000449: CALLDATALOAD
0000044a: SWAP1
0000044b: PUSH2 0x0144
0000044e: CALLDATALOAD
0000044f: SWAP1
00000450: PUSH2 0x0164
00000453: CALLDATALOAD
00000454: AND
00000455: PUSH2 0x134f
00000458: JUMP
00000459: JUMPDEST
0000045a: PUSH1 0x40
0000045c: MLOAD
0000045d: SWAP1
0000045e: ISZERO
0000045f: ISZERO
00000460: DUP2
00000461: MSTORE
00000462: PUSH1 0x20
00000464: ADD
00000465: PUSH1 0x40
00000467: MLOAD
00000468: DUP1
00000469: SWAP2
0000046a: SUB
0000046b: SWAP1
0000046c: RETURN
0000046d: JUMPDEST
0000046e: CALLVALUE
0000046f: ISZERO
00000470: PUSH2 0x0478
00000473: JUMPI
00000474: PUSH1 0x00
00000476: DUP1
00000477: REVERT
00000478: JUMPDEST
00000479: PUSH2 0x0480
0000047c: PUSH2 0x13b6
0000047f: JUMP
00000480: JUMPDEST
00000481: PUSH1 0x40
00000483: MLOAD
00000484: PUSH1 0x01
00000486: PUSH1 0xa0
00000488: PUSH1 0x02
0000048a: EXP
0000048b: SUB
0000048c: SWAP1
0000048d: SWAP2
0000048e: AND
0000048f: DUP2
00000490: MSTORE
00000491: PUSH1 0x20
00000493: ADD
00000494: PUSH1 0x40
00000496: MLOAD
00000497: DUP1
00000498: SWAP2
00000499: SUB
0000049a: SWAP1
0000049b: RETURN
0000049c: JUMPDEST
0000049d: CALLVALUE
0000049e: ISZERO
0000049f: PUSH2 0x04a7
000004a2: JUMPI
000004a3: PUSH1 0x00
000004a5: DUP1
000004a6: REVERT
000004a7: JUMPDEST
000004a8: PUSH2 0x0164
000004ab: PUSH1 0x01
000004ad: PUSH1 0xa0
000004af: PUSH1 0x02
000004b1: EXP
000004b2: SUB
000004b3: PUSH1 0x04
000004b5: CALLDATALOAD
000004b6: AND
000004b7: PUSH2 0x13c5
000004ba: JUMP
000004bb: JUMPDEST
000004bc: STOP
000004bd: JUMPDEST
000004be: CALLVALUE
000004bf: ISZERO
000004c0: PUSH2 0x04c8
000004c3: JUMPI
000004c4: PUSH1 0x00
000004c6: DUP1
000004c7: REVERT
000004c8: JUMPDEST
000004c9: PUSH2 0x0480
000004cc: PUSH2 0x1422
000004cf: JUMP
000004d0: JUMPDEST
000004d1: PUSH1 0x40
000004d3: MLOAD
000004d4: PUSH1 0x01
000004d6: PUSH1 0xa0
000004d8: PUSH1 0x02
000004da: EXP
000004db: SUB
000004dc: SWAP1
000004dd: SWAP2
000004de: AND
000004df: DUP2
000004e0: MSTORE
000004e1: PUSH1 0x20
000004e3: ADD
000004e4: PUSH1 0x40
000004e6: MLOAD
000004e7: DUP1
000004e8: SWAP2
000004e9: SUB
000004ea: SWAP1
000004eb: RETURN
000004ec: JUMPDEST
000004ed: CALLVALUE
000004ee: ISZERO
000004ef: PUSH2 0x04f7
000004f2: JUMPI
000004f3: PUSH1 0x00
000004f5: DUP1
000004f6: REVERT
000004f7: JUMPDEST
000004f8: PUSH2 0x0164
000004fb: PUSH1 0x01
000004fd: PUSH1 0xa0
000004ff: PUSH1 0x02
00000501: EXP
00000502: SUB
00000503: PUSH1 0x04
00000505: CALLDATALOAD
00000506: AND
00000507: PUSH1 0x24
00000509: CALLDATALOAD
0000050a: PUSH2 0x1431
0000050d: JUMP
0000050e: JUMPDEST
0000050f: STOP
00000510: JUMPDEST
00000511: CALLVALUE
00000512: ISZERO
00000513: PUSH2 0x051b
00000516: JUMPI
00000517: PUSH1 0x00
00000519: DUP1
0000051a: REVERT
0000051b: JUMPDEST
0000051c: PUSH2 0x0480
0000051f: PUSH2 0x15d9
00000522: JUMP
00000523: JUMPDEST
00000524: PUSH1 0x40
00000526: MLOAD
00000527: PUSH1 0x01
00000529: PUSH1 0xa0
0000052b: PUSH1 0x02
0000052d: EXP
0000052e: SUB
0000052f: SWAP1
00000530: SWAP2
00000531: AND
00000532: DUP2
00000533: MSTORE
00000534: PUSH1 0x20
00000536: ADD
00000537: PUSH1 0x40
00000539: MLOAD
0000053a: DUP1
0000053b: SWAP2
0000053c: SUB
0000053d: SWAP1
0000053e: RETURN
0000053f: JUMPDEST
00000540: CALLVALUE
00000541: ISZERO
00000542: PUSH2 0x054a
00000545: JUMPI
00000546: PUSH1 0x00
00000548: DUP1
00000549: REVERT
0000054a: JUMPDEST
0000054b: PUSH2 0x0164
0000054e: PUSH1 0x04
00000550: PUSH1 0x24
00000552: DUP2
00000553: CALLDATALOAD
00000554: DUP2
00000555: DUP2
00000556: ADD
00000557: SWAP1
00000558: DUP4
00000559: ADD
0000055a: CALLDATALOAD
0000055b: DUP1
0000055c: PUSH1 0x20
0000055e: DUP2
0000055f: DUP2
00000560: MUL
00000561: ADD
00000562: PUSH1 0x40
00000564: MLOAD
00000565: SWAP1
00000566: DUP2
00000567: ADD
00000568: PUSH1 0x40
0000056a: MSTORE
0000056b: DUP1
0000056c: SWAP4
0000056d: SWAP3
0000056e: SWAP2
0000056f: SWAP1
00000570: DUP2
00000571: DUP2
00000572: MSTORE
00000573: PUSH1 0x20
00000575: ADD
00000576: DUP4
00000577: DUP4
00000578: PUSH1 0x20
0000057a: MUL
0000057b: DUP1
0000057c: DUP3
0000057d: DUP5
0000057e: CALLDATACOPY
0000057f: POP
00000580: SWAP5
00000581: SWAP7
00000582: POP
00000583: PUSH2 0x15e8
00000586: SWAP6
00000587: POP
00000588: POP
00000589: POP
0000058a: POP
0000058b: POP
0000058c: POP
0000058d: JUMP
0000058e: JUMPDEST
0000058f: STOP
00000590: JUMPDEST
00000591: PUSH2 0x0164
00000594: PUSH2 0x1970
00000597: JUMP
00000598: JUMPDEST
00000599: STOP
0000059a: JUMPDEST
0000059b: CALLVALUE
0000059c: ISZERO
0000059d: PUSH2 0x05a5
000005a0: JUMPI
000005a1: PUSH1 0x00
000005a3: DUP1
000005a4: REVERT
000005a5: JUMPDEST
000005a6: PUSH2 0x01fe
000005a9: PUSH2 0x1a3e
000005ac: JUMP
000005ad: JUMPDEST
000005ae: PUSH1 0x40
000005b0: MLOAD
000005b1: SWAP1
000005b2: DUP2
000005b3: MSTORE
000005b4: PUSH1 0x20
000005b6: ADD
000005b7: PUSH1 0x40
000005b9: MLOAD
000005ba: DUP1
000005bb: SWAP2
000005bc: SUB
000005bd: SWAP1
000005be: RETURN
000005bf: JUMPDEST
000005c0: CALLVALUE
000005c1: ISZERO
000005c2: PUSH2 0x05ca
000005c5: JUMPI
000005c6: PUSH1 0x00
000005c8: DUP1
000005c9: REVERT
000005ca: JUMPDEST
000005cb: PUSH2 0x0164
000005ce: PUSH1 0x04
000005d0: CALLDATALOAD
000005d1: ISZERO
000005d2: ISZERO
000005d3: PUSH1 0x01
000005d5: PUSH1 0xa0
000005d7: PUSH1 0x02
000005d9: EXP
000005da: SUB
000005db: PUSH1 0x24
000005dd: CALLDATALOAD
000005de: AND
000005df: PUSH2 0x1a44
000005e2: JUMP
000005e3: JUMPDEST
000005e4: STOP
000005e5: JUMPDEST
000005e6: CALLVALUE
000005e7: ISZERO
000005e8: PUSH2 0x05f0
000005eb: JUMPI
000005ec: PUSH1 0x00
000005ee: DUP1
000005ef: REVERT
000005f0: JUMPDEST
000005f1: PUSH2 0x0164
000005f4: PUSH1 0x01
000005f6: PUSH1 0xa0
000005f8: PUSH1 0x02
000005fa: EXP
000005fb: SUB
000005fc: PUSH1 0x04
000005fe: CALLDATALOAD
000005ff: AND
00000600: PUSH2 0x1ab5
00000603: JUMP
00000604: JUMPDEST
00000605: STOP
00000606: JUMPDEST
00000607: CALLVALUE
00000608: ISZERO
00000609: PUSH2 0x0611
0000060c: JUMPI
0000060d: PUSH1 0x00
0000060f: DUP1
00000610: REVERT
00000611: JUMPDEST
00000612: PUSH2 0x01fe
00000615: PUSH1 0x01
00000617: PUSH1 0xa0
00000619: PUSH1 0x02
0000061b: EXP
0000061c: SUB
0000061d: PUSH1 0x04
0000061f: CALLDATALOAD
00000620: DUP2
00000621: AND
00000622: SWAP1
00000623: PUSH1 0x24
00000625: CALLDATALOAD
00000626: AND
00000627: PUSH2 0x1b12
0000062a: JUMP
0000062b: JUMPDEST
0000062c: PUSH1 0x40
0000062e: MLOAD
0000062f: SWAP1
00000630: DUP2
00000631: MSTORE
00000632: PUSH1 0x20
00000634: ADD
00000635: PUSH1 0x40
00000637: MLOAD
00000638: DUP1
00000639: SWAP2
0000063a: SUB
0000063b: SWAP1
0000063c: RETURN
0000063d: JUMPDEST
0000063e: CALLVALUE
0000063f: ISZERO
00000640: PUSH2 0x0648
00000643: JUMPI
00000644: PUSH1 0x00
00000646: DUP1
00000647: REVERT
00000648: JUMPDEST
00000649: PUSH2 0x01fe
0000064c: PUSH1 0x01
0000064e: PUSH1 0xa0
00000650: PUSH1 0x02
00000652: EXP
00000653: SUB
00000654: PUSH1 0x04
00000656: CALLDATALOAD
00000657: DUP2
00000658: AND
00000659: SWAP1
0000065a: PUSH1 0x24
0000065c: CALLDATALOAD
0000065d: SWAP1
0000065e: PUSH1 0x44
00000660: CALLDATALOAD
00000661: DUP2
00000662: AND
00000663: SWAP1
00000664: PUSH1 0x64
00000666: CALLDATALOAD
00000667: SWAP1
00000668: PUSH1 0x84
0000066a: CALLDATALOAD
0000066b: SWAP1
0000066c: PUSH1 0xa4
0000066e: CALLDATALOAD
0000066f: SWAP1
00000670: PUSH1 0xc4
00000672: CALLDATALOAD
00000673: AND
00000674: PUSH1 0xff
00000676: PUSH1 0xe4
00000678: CALLDATALOAD
00000679: AND
0000067a: PUSH2 0x0104
0000067d: CALLDATALOAD
0000067e: PUSH2 0x0124
00000681: CALLDATALOAD
00000682: PUSH2 0x1b3f
00000685: JUMP
00000686: JUMPDEST
00000687: PUSH1 0x40
00000689: MLOAD
0000068a: SWAP1
0000068b: DUP2
0000068c: MSTORE
0000068d: PUSH1 0x20
0000068f: ADD
00000690: PUSH1 0x40
00000692: MLOAD
00000693: DUP1
00000694: SWAP2
00000695: SUB
00000696: SWAP1
00000697: RETURN
00000698: JUMPDEST
00000699: PUSH1 0x00
0000069b: PUSH1 0x02
0000069d: ADDRESS
0000069e: DUP14
0000069f: DUP14
000006a0: DUP14
000006a1: DUP14
000006a2: DUP14
000006a3: DUP14
000006a4: PUSH1 0x00
000006a6: PUSH1 0x40
000006a8: MLOAD
000006a9: PUSH1 0x20
000006ab: ADD
000006ac: MSTORE
000006ad: PUSH1 0x40
000006af: MLOAD
000006b0: PUSH13 0x01000000000000000000000000
000006be: PUSH1 0x01
000006c0: PUSH1 0xa0
000006c2: PUSH1 0x02
000006c4: EXP
000006c5: SUB
000006c6: SWAP9
000006c7: DUP10
000006c8: AND
000006c9: DUP2
000006ca: MUL
000006cb: DUP3
000006cc: MSTORE
000006cd: SWAP7
000006ce: DUP9
000006cf: AND
000006d0: DUP8
000006d1: MUL
000006d2: PUSH1 0x14
000006d4: DUP3
000006d5: ADD
000006d6: MSTORE
000006d7: PUSH1 0x28
000006d9: DUP2
000006da: ADD
000006db: SWAP6
000006dc: SWAP1
000006dd: SWAP6
000006de: MSTORE
000006df: SWAP3
000006e0: SWAP1
000006e1: SWAP6
000006e2: AND
000006e3: SWAP1
000006e4: SWAP4
000006e5: MUL
000006e6: PUSH1 0x48
000006e8: DUP4
000006e9: ADD
000006ea: MSTORE
000006eb: PUSH1 0x5c
000006ed: DUP3
000006ee: ADD
000006ef: SWAP3
000006f0: SWAP1
000006f1: SWAP3
000006f2: MSTORE
000006f3: PUSH1 0x7c
000006f5: DUP2
000006f6: ADD
000006f7: SWAP3
000006f8: SWAP1
000006f9: SWAP3
000006fa: MSTORE
000006fb: PUSH1 0x9c
000006fd: DUP3
000006fe: ADD
000006ff: MSTORE
00000700: PUSH1 0xbc
00000702: ADD
00000703: PUSH1 0x20
00000705: PUSH1 0x40
00000707: MLOAD
00000708: DUP1
00000709: DUP4
0000070a: SUB
0000070b: DUP2
0000070c: PUSH1 0x00
0000070e: DUP7
0000070f: PUSH2 0x646e
00000712: GAS
00000713: SUB
00000714: CALL
00000715: ISZERO
00000716: ISZERO
00000717: PUSH2 0x071f
0000071a: JUMPI
0000071b: PUSH1 0x00
0000071d: DUP1
0000071e: REVERT
0000071f: JUMPDEST
00000720: POP
00000721: POP
00000722: PUSH1 0x40
00000724: MLOAD
00000725: DUP1
00000726: MLOAD
00000727: SWAP2
00000728: POP
00000729: POP
0000072a: PUSH1 0x01
0000072c: PUSH1 0xa0
0000072e: PUSH1 0x02
00000730: EXP
00000731: SUB
00000732: DUP7
00000733: AND
00000734: PUSH1 0x01
00000736: DUP3
00000737: PUSH1 0x40
00000739: MLOAD
0000073a: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000
0000075b: DUP2
0000075c: MSTORE
0000075d: PUSH1 0x1c
0000075f: DUP2
00000760: ADD
00000761: SWAP2
00000762: SWAP1
00000763: SWAP2
00000764: MSTORE
00000765: PUSH1 0x3c
00000767: ADD
00000768: PUSH1 0x40
0000076a: MLOAD
0000076b: DUP1
0000076c: SWAP2
0000076d: SUB
0000076e: SWAP1
0000076f: KECCAK256
00000770: DUP8
00000771: DUP8
00000772: DUP8
00000773: PUSH1 0x40
00000775: MLOAD
00000776: DUP1
00000777: PUSH1 0x00
00000779: MSTORE
0000077a: PUSH1 0x20
0000077c: ADD
0000077d: PUSH1 0x40
0000077f: MSTORE
00000780: PUSH1 0x00
00000782: PUSH1 0x40
00000784: MLOAD
00000785: PUSH1 0x20
00000787: ADD
00000788: MSTORE
00000789: PUSH1 0x40
0000078b: MLOAD
0000078c: SWAP4
0000078d: DUP5
0000078e: MSTORE
0000078f: PUSH1 0xff
00000791: SWAP1
00000792: SWAP3
00000793: AND
00000794: PUSH1 0x20
00000796: DUP1
00000797: DUP6
00000798: ADD
00000799: SWAP2
0000079a: SWAP1
0000079b: SWAP2
0000079c: MSTORE
0000079d: PUSH1 0x40
0000079f: DUP1
000007a0: DUP6
000007a1: ADD
000007a2: SWAP3
000007a3: SWAP1
000007a4: SWAP3
000007a5: MSTORE
000007a6: PUSH1 0x60
000007a8: DUP5
000007a9: ADD
000007aa: SWAP3
000007ab: SWAP1
000007ac: SWAP3
000007ad: MSTORE
000007ae: PUSH1 0x80
000007b0: SWAP1
000007b1: SWAP3
000007b2: ADD
000007b3: SWAP2
000007b4: MLOAD
000007b5: PUSH1 0x20
000007b7: DUP2
000007b8: SUB
000007b9: SWAP1
000007ba: DUP1
000007bb: DUP5
000007bc: SUB
000007bd: SWAP1
000007be: PUSH1 0x00
000007c0: DUP7
000007c1: PUSH2 0x646e
000007c4: GAS
000007c5: SUB
000007c6: CALL
000007c7: ISZERO
000007c8: ISZERO
000007c9: PUSH2 0x07d1
000007cc: JUMPI
000007cd: PUSH1 0x00
000007cf: DUP1
000007d0: REVERT
000007d1: JUMPDEST
000007d2: POP
000007d3: POP
000007d4: PUSH1 0x20
000007d6: PUSH1 0x40
000007d8: MLOAD
000007d9: SUB
000007da: MLOAD
000007db: PUSH1 0x01
000007dd: PUSH1 0xa0
000007df: PUSH1 0x02
000007e1: EXP
000007e2: SUB
000007e3: AND
000007e4: EQ
000007e5: ISZERO
000007e6: DUP1
000007e7: PUSH2 0x07ef
000007ea: JUMPI
000007eb: POP
000007ec: DUP8
000007ed: NUMBER
000007ee: GT
000007ef: JUMPDEST
000007f0: DUP1
000007f1: PUSH2 0x0827
000007f4: JUMPI
000007f5: POP
000007f6: PUSH1 0x01
000007f8: PUSH1 0xa0
000007fa: PUSH1 0x02
000007fc: EXP
000007fd: SUB
000007fe: DUP7
000007ff: AND
00000800: PUSH1 0x00
00000802: SWAP1
00000803: DUP2
00000804: MSTORE
00000805: PUSH1 0x06
00000807: PUSH1 0x20
00000809: SWAP1
0000080a: DUP2
0000080b: MSTORE
0000080c: PUSH1 0x40
0000080e: DUP1
0000080f: DUP4
00000810: KECCAK256
00000811: DUP5
00000812: DUP5
00000813: MSTORE
00000814: SWAP1
00000815: SWAP2
00000816: MSTORE
00000817: SWAP1
00000818: KECCAK256
00000819: SLOAD
0000081a: DUP12
0000081b: SWAP1
0000081c: PUSH2 0x0825
0000081f: SWAP1
00000820: DUP5
00000821: PUSH2 0x1d3d
00000824: JUMP
00000825: JUMPDEST
00000826: GT
00000827: JUMPDEST
00000828: ISZERO
00000829: PUSH2 0x0831
0000082c: JUMPI
0000082d: PUSH1 0x00
0000082f: DUP1
00000830: REVERT
00000831: JUMPDEST
00000832: PUSH2 0x0840
00000835: DUP13
00000836: DUP13
00000837: DUP13
00000838: DUP13
00000839: DUP11
0000083a: CALLER
0000083b: DUP9
0000083c: PUSH2 0x1d65
0000083f: JUMP
00000840: JUMPDEST
00000841: PUSH1 0x01
00000843: PUSH1 0xa0
00000845: PUSH1 0x02
00000847: EXP
00000848: SUB
00000849: DUP7
0000084a: AND
0000084b: PUSH1 0x00
0000084d: SWAP1
0000084e: DUP2
0000084f: MSTORE
00000850: PUSH1 0x06
00000852: PUSH1 0x20
00000854: SWAP1
00000855: DUP2
00000856: MSTORE
00000857: PUSH1 0x40
00000859: DUP1
0000085a: DUP4
0000085b: KECCAK256
0000085c: DUP5
0000085d: DUP5
0000085e: MSTORE
0000085f: SWAP1
00000860: SWAP2
00000861: MSTORE
00000862: SWAP1
00000863: KECCAK256
00000864: SLOAD
00000865: PUSH2 0x086e
00000868: SWAP1
00000869: DUP4
0000086a: PUSH2 0x1d3d
0000086d: JUMP
0000086e: JUMPDEST
0000086f: PUSH1 0x01
00000871: PUSH1 0xa0
00000873: PUSH1 0x02
00000875: EXP
00000876: SUB
00000877: DUP8
00000878: AND
00000879: PUSH1 0x00
0000087b: SWAP1
0000087c: DUP2
0000087d: MSTORE
0000087e: PUSH1 0x06
00000880: PUSH1 0x20
00000882: SWAP1
00000883: DUP2
00000884: MSTORE
00000885: PUSH1 0x40
00000887: DUP1
00000888: DUP4
00000889: KECCAK256
0000088a: DUP6
0000088b: DUP5
0000088c: MSTORE
0000088d: SWAP1
0000088e: SWAP2
0000088f: MSTORE
00000890: SWAP1
00000891: KECCAK256
00000892: SSTORE
00000893: PUSH32 0x3314c351c2a2a45771640a1442b843167a4da29bd543612311c031bbfb4ffa98
000008b4: DUP13
000008b5: DUP4
000008b6: DUP13
000008b7: DUP15
000008b8: DUP14
000008b9: DUP4
000008ba: MUL
000008bb: DUP2
000008bc: ISZERO
000008bd: ISZERO
000008be: PUSH2 0x08c3
000008c1: JUMPI
000008c2: INVALID
000008c3: JUMPDEST
000008c4: DIV
000008c5: DUP11
000008c6: CALLER
000008c7: DUP14
000008c8: PUSH1 0x40
000008ca: MLOAD
000008cb: PUSH1 0x01
000008cd: PUSH1 0xa0
000008cf: PUSH1 0x02
000008d1: EXP
000008d2: SUB
000008d3: SWAP8
000008d4: DUP9
000008d5: AND
000008d6: DUP2
000008d7: MSTORE
000008d8: PUSH1 0x20
000008da: DUP2
000008db: ADD
000008dc: SWAP7
000008dd: SWAP1
000008de: SWAP7
000008df: MSTORE
000008e0: SWAP4
000008e1: DUP7
000008e2: AND
000008e3: PUSH1 0x40
000008e5: DUP1
000008e6: DUP8
000008e7: ADD
000008e8: SWAP2
000008e9: SWAP1
000008ea: SWAP2
000008eb: MSTORE
000008ec: PUSH1 0x60
000008ee: DUP7
000008ef: ADD
000008f0: SWAP4
000008f1: SWAP1
000008f2: SWAP4
000008f3: MSTORE
000008f4: SWAP1
000008f5: DUP6
000008f6: AND
000008f7: PUSH1 0x80
000008f9: DUP6
000008fa: ADD
000008fb: MSTORE
000008fc: SWAP1
000008fd: SWAP4
000008fe: AND
000008ff: PUSH1 0xa0
00000901: DUP4
00000902: ADD
00000903: MSTORE
00000904: PUSH1 0xc0
00000906: DUP3
00000907: ADD
00000908: MSTORE
00000909: PUSH1 0xe0
0000090b: ADD
0000090c: SWAP1
0000090d: MLOAD
0000090e: DUP1
0000090f: SWAP2
00000910: SUB
00000911: SWAP1
00000912: LOG1
00000913: JUMPDEST
00000914: POP
00000915: POP
00000916: POP
00000917: POP
00000918: POP
00000919: POP
0000091a: POP
0000091b: POP
0000091c: POP
0000091d: POP
0000091e: POP
0000091f: POP
00000920: JUMP
00000921: JUMPDEST
00000922: PUSH1 0x08
00000924: SLOAD
00000925: PUSH1 0xa0
00000927: PUSH1 0x02
00000929: EXP
0000092a: SWAP1
0000092b: DIV
0000092c: PUSH1 0xff
0000092e: AND
0000092f: DUP2
00000930: JUMP
00000931: JUMPDEST
00000932: PUSH1 0x06
00000934: PUSH1 0x20
00000936: SWAP1
00000937: DUP2
00000938: MSTORE
00000939: PUSH1 0x00
0000093b: SWAP3
0000093c: DUP4
0000093d: MSTORE
0000093e: PUSH1 0x40
00000940: DUP1
00000941: DUP5
00000942: KECCAK256
00000943: SWAP1
00000944: SWAP2
00000945: MSTORE
00000946: SWAP1
00000947: DUP3
00000948: MSTORE
00000949: SWAP1
0000094a: KECCAK256
0000094b: SLOAD
0000094c: DUP2
0000094d: JUMP
0000094e: JUMPDEST
0000094f: PUSH1 0x00
00000951: PUSH1 0x02
00000953: ADDRESS
00000954: DUP12
00000955: DUP12
00000956: DUP12
00000957: DUP12
00000958: DUP12
00000959: DUP12
0000095a: PUSH1 0x00
0000095c: PUSH1 0x40
0000095e: MLOAD
0000095f: PUSH1 0x20
00000961: ADD
00000962: MSTORE
00000963: PUSH1 0x40
00000965: MLOAD
00000966: PUSH13 0x01000000000000000000000000
00000974: PUSH1 0x01
00000976: PUSH1 0xa0
00000978: PUSH1 0x02
0000097a: EXP
0000097b: SUB
0000097c: SWAP9
0000097d: DUP10
0000097e: AND
0000097f: DUP2
00000980: MUL
00000981: DUP3
00000982: MSTORE
00000983: SWAP7
00000984: DUP9
00000985: AND
00000986: DUP8
00000987: MUL
00000988: PUSH1 0x14
0000098a: DUP3
0000098b: ADD
0000098c: MSTORE
0000098d: PUSH1 0x28
0000098f: DUP2
00000990: ADD
00000991: SWAP6
00000992: SWAP1
00000993: SWAP6
00000994: MSTORE
00000995: SWAP3
00000996: SWAP1
00000997: SWAP6
00000998: AND
00000999: SWAP1
0000099a: SWAP4
0000099b: MUL
0000099c: PUSH1 0x48
0000099e: DUP4
0000099f: ADD
000009a0: MSTORE
000009a1: PUSH1 0x5c
000009a3: DUP3
000009a4: ADD
000009a5: SWAP3
000009a6: SWAP1
000009a7: SWAP3
000009a8: MSTORE
000009a9: PUSH1 0x7c
000009ab: DUP2
000009ac: ADD
000009ad: SWAP3
000009ae: SWAP1
000009af: SWAP3
000009b0: MSTORE
000009b1: PUSH1 0x9c
000009b3: DUP3
000009b4: ADD
000009b5: MSTORE
000009b6: PUSH1 0xbc
000009b8: ADD
000009b9: PUSH1 0x20
000009bb: PUSH1 0x40
000009bd: MLOAD
000009be: DUP1
000009bf: DUP4
000009c0: SUB
000009c1: DUP2
000009c2: PUSH1 0x00
000009c4: DUP7
000009c5: PUSH2 0x646e
000009c8: GAS
000009c9: SUB
000009ca: CALL
000009cb: ISZERO
000009cc: ISZERO
000009cd: PUSH2 0x09d5
000009d0: JUMPI
000009d1: PUSH1 0x00
000009d3: DUP1
000009d4: REVERT
000009d5: JUMPDEST
000009d6: POP
000009d7: POP
000009d8: PUSH1 0x40
000009da: MLOAD
000009db: DUP1
000009dc: MLOAD
000009dd: SWAP2
000009de: POP
000009df: POP
000009e0: PUSH1 0x01
000009e2: PUSH1 0xa0
000009e4: PUSH1 0x02
000009e6: EXP
000009e7: SUB
000009e8: CALLER
000009e9: AND
000009ea: PUSH1 0x01
000009ec: DUP3
000009ed: PUSH1 0x40
000009ef: MLOAD
000009f0: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000
00000a11: DUP2
00000a12: MSTORE
00000a13: PUSH1 0x1c
00000a15: DUP2
00000a16: ADD
00000a17: SWAP2
00000a18: SWAP1
00000a19: SWAP2
00000a1a: MSTORE
00000a1b: PUSH1 0x3c
00000a1d: ADD
00000a1e: PUSH1 0x40
00000a20: MLOAD
00000a21: DUP1
00000a22: SWAP2
00000a23: SUB
00000a24: SWAP1
00000a25: KECCAK256
00000a26: DUP7
00000a27: DUP7
00000a28: DUP7
00000a29: PUSH1 0x40
00000a2b: MLOAD
00000a2c: DUP1
00000a2d: PUSH1 0x00
00000a2f: MSTORE
00000a30: PUSH1 0x20
00000a32: ADD
00000a33: PUSH1 0x40
00000a35: MSTORE
00000a36: PUSH1 0x00
00000a38: PUSH1 0x40
00000a3a: MLOAD
00000a3b: PUSH1 0x20
00000a3d: ADD
00000a3e: MSTORE
00000a3f: PUSH1 0x40
00000a41: MLOAD
00000a42: SWAP4
00000a43: DUP5
00000a44: MSTORE
00000a45: PUSH1 0xff
00000a47: SWAP1
00000a48: SWAP3
00000a49: AND
00000a4a: PUSH1 0x20
00000a4c: DUP1
00000a4d: DUP6
00000a4e: ADD
00000a4f: SWAP2
00000a50: SWAP1
00000a51: SWAP2
00000a52: MSTORE
00000a53: PUSH1 0x40
00000a55: DUP1
00000a56: DUP6
00000a57: ADD
00000a58: SWAP3
00000a59: SWAP1
00000a5a: SWAP3
00000a5b: MSTORE
00000a5c: PUSH1 0x60
00000a5e: DUP5
00000a5f: ADD
00000a60: SWAP3
00000a61: SWAP1
00000a62: SWAP3
00000a63: MSTORE
00000a64: PUSH1 0x80
00000a66: SWAP1
00000a67: SWAP3
00000a68: ADD
00000a69: SWAP2
00000a6a: MLOAD
00000a6b: PUSH1 0x20
00000a6d: DUP2
00000a6e: SUB
00000a6f: SWAP1
00000a70: DUP1
00000a71: DUP5
00000a72: SUB
00000a73: SWAP1
00000a74: PUSH1 0x00
00000a76: DUP7
00000a77: PUSH2 0x646e
00000a7a: GAS
00000a7b: SUB
00000a7c: CALL
00000a7d: ISZERO
00000a7e: ISZERO
00000a7f: PUSH2 0x0a87
00000a82: JUMPI
00000a83: PUSH1 0x00
00000a85: DUP1
00000a86: REVERT
00000a87: JUMPDEST
00000a88: POP
00000a89: POP
00000a8a: PUSH1 0x20
00000a8c: PUSH1 0x40
00000a8e: MLOAD
00000a8f: SUB
00000a90: MLOAD
00000a91: PUSH1 0x01
00000a93: PUSH1 0xa0
00000a95: PUSH1 0x02
00000a97: EXP
00000a98: SUB
00000a99: AND
00000a9a: EQ
00000a9b: PUSH2 0x0aa3
00000a9e: JUMPI
00000a9f: PUSH1 0x00
00000aa1: DUP1
00000aa2: REVERT
00000aa3: JUMPDEST
00000aa4: CALLER
00000aa5: PUSH1 0x01
00000aa7: PUSH1 0xa0
00000aa9: PUSH1 0x02
00000aab: EXP
00000aac: SUB
00000aad: DUP2
00000aae: AND
00000aaf: PUSH1 0x00
00000ab1: SWAP1
00000ab2: DUP2
00000ab3: MSTORE
00000ab4: PUSH1 0x06
00000ab6: PUSH1 0x20
00000ab8: SWAP1
00000ab9: DUP2
00000aba: MSTORE
00000abb: PUSH1 0x40
00000abd: DUP1
00000abe: DUP4
00000abf: KECCAK256
00000ac0: DUP6
00000ac1: DUP5
00000ac2: MSTORE
00000ac3: SWAP1
00000ac4: SWAP2
00000ac5: MSTORE
00000ac6: SWAP1
00000ac7: DUP2
00000ac8: SWAP1
00000ac9: KECCAK256
00000aca: DUP12
00000acb: SWAP1
00000acc: SSTORE
00000acd: PUSH32 0x1e0b760c386003e9cb9bcf4fcf3997886042859d9b6ed6320e804597fcdb28b0
00000aee: SWAP2
00000aef: DUP13
00000af0: SWAP2
00000af1: DUP13
00000af2: SWAP2
00000af3: DUP13
00000af4: SWAP2
00000af5: DUP13
00000af6: SWAP2
00000af7: DUP13
00000af8: SWAP2
00000af9: DUP13
00000afa: SWAP2
00000afb: SWAP1
00000afc: DUP13
00000afd: SWAP1
00000afe: DUP13
00000aff: SWAP1
00000b00: DUP13
00000b01: SWAP1
00000b02: MLOAD
00000b03: PUSH1 0x01
00000b05: PUSH1 0xa0
00000b07: PUSH1 0x02
00000b09: EXP
00000b0a: SUB
00000b0b: SWAP11
00000b0c: DUP12
00000b0d: AND
00000b0e: DUP2
00000b0f: MSTORE
00000b10: PUSH1 0x20
00000b12: DUP2
00000b13: ADD
00000b14: SWAP10
00000b15: SWAP1
00000b16: SWAP10
00000b17: MSTORE
00000b18: SWAP7
00000b19: DUP10
00000b1a: AND
00000b1b: PUSH1 0x40
00000b1d: DUP1
00000b1e: DUP11
00000b1f: ADD
00000b20: SWAP2
00000b21: SWAP1
00000b22: SWAP2
00000b23: MSTORE
00000b24: PUSH1 0x60
00000b26: DUP10
00000b27: ADD
00000b28: SWAP7
00000b29: SWAP1
00000b2a: SWAP7
00000b2b: MSTORE
00000b2c: PUSH1 0x80
00000b2e: DUP9
00000b2f: ADD
00000b30: SWAP5
00000b31: SWAP1
00000b32: SWAP5
00000b33: MSTORE
00000b34: PUSH1 0xa0
00000b36: DUP8
00000b37: ADD
00000b38: SWAP3
00000b39: SWAP1
00000b3a: SWAP3
00000b3b: MSTORE
00000b3c: SWAP1
00000b3d: SWAP6
00000b3e: AND
00000b3f: PUSH1 0xc0
00000b41: DUP6
00000b42: ADD
00000b43: MSTORE
00000b44: PUSH1 0xff
00000b46: SWAP1
00000b47: SWAP5
00000b48: AND
00000b49: PUSH1 0xe0
00000b4b: DUP5
00000b4c: ADD
00000b4d: MSTORE
00000b4e: PUSH2 0x0100
00000b51: DUP4
00000b52: ADD
00000b53: SWAP4
00000b54: SWAP1
00000b55: SWAP4
00000b56: MSTORE
00000b57: PUSH2 0x0120
00000b5a: DUP3
00000b5b: ADD
00000b5c: MSTORE
00000b5d: PUSH2 0x0140
00000b60: ADD
00000b61: SWAP1
00000b62: MLOAD
00000b63: DUP1
00000b64: SWAP2
00000b65: SUB
00000b66: SWAP1
00000b67: LOG1
00000b68: JUMPDEST
00000b69: POP
00000b6a: POP
00000b6b: POP
00000b6c: POP
00000b6d: POP
00000b6e: POP
00000b6f: POP
00000b70: POP
00000b71: POP
00000b72: POP
00000b73: JUMP
00000b74: JUMPDEST
00000b75: PUSH1 0x00
00000b77: DUP1
00000b78: PUSH1 0x02
00000b7a: ADDRESS
00000b7b: DUP11
00000b7c: DUP11
00000b7d: DUP11
00000b7e: DUP11
00000b7f: DUP11
00000b80: DUP11
00000b81: PUSH1 0x00
00000b83: PUSH1 0x40
00000b85: MLOAD
00000b86: PUSH1 0x20
00000b88: ADD
00000b89: MSTORE
00000b8a: PUSH1 0x40
00000b8c: MLOAD
00000b8d: PUSH13 0x01000000000000000000000000
00000b9b: PUSH1 0x01
00000b9d: PUSH1 0xa0
00000b9f: PUSH1 0x02
00000ba1: EXP
00000ba2: SUB
00000ba3: SWAP9
00000ba4: DUP10
00000ba5: AND
00000ba6: DUP2
00000ba7: MUL
00000ba8: DUP3
00000ba9: MSTORE
00000baa: SWAP7
00000bab: DUP9
00000bac: AND
00000bad: DUP8
00000bae: MUL
00000baf: PUSH1 0x14
00000bb1: DUP3
00000bb2: ADD
00000bb3: MSTORE
00000bb4: PUSH1 0x28
00000bb6: DUP2
00000bb7: ADD
00000bb8: SWAP6
00000bb9: SWAP1
00000bba: SWAP6
00000bbb: MSTORE
00000bbc: SWAP3
00000bbd: SWAP1
00000bbe: SWAP6
00000bbf: AND
00000bc0: SWAP1
00000bc1: SWAP4
00000bc2: MUL
00000bc3: PUSH1 0x48
00000bc5: DUP4
00000bc6: ADD
00000bc7: MSTORE
00000bc8: PUSH1 0x5c
00000bca: DUP3
00000bcb: ADD
00000bcc: SWAP3
00000bcd: SWAP1
00000bce: SWAP3
00000bcf: MSTORE
00000bd0: PUSH1 0x7c
00000bd2: DUP2
00000bd3: ADD
00000bd4: SWAP3
00000bd5: SWAP1
00000bd6: SWAP3
00000bd7: MSTORE
00000bd8: PUSH1 0x9c
00000bda: DUP3
00000bdb: ADD
00000bdc: MSTORE
00000bdd: PUSH1 0xbc
00000bdf: ADD
00000be0: PUSH1 0x20
00000be2: PUSH1 0x40
00000be4: MLOAD
00000be5: DUP1
00000be6: DUP4
00000be7: SUB
00000be8: DUP2
00000be9: PUSH1 0x00
00000beb: DUP7
00000bec: PUSH2 0x646e
00000bef: GAS
00000bf0: SUB
00000bf1: CALL
00000bf2: ISZERO
00000bf3: ISZERO
00000bf4: PUSH2 0x0bfc
00000bf7: JUMPI
00000bf8: PUSH1 0x00
00000bfa: DUP1
00000bfb: REVERT
00000bfc: JUMPDEST
00000bfd: POP
00000bfe: POP
00000bff: PUSH1 0x40
00000c01: MLOAD
00000c02: DUP1
00000c03: MLOAD
00000c04: PUSH1 0x01
00000c06: PUSH1 0xa0
00000c08: PUSH1 0x02
00000c0a: EXP
00000c0b: SUB
00000c0c: DUP6
00000c0d: AND
00000c0e: PUSH1 0x00
00000c10: SWAP1
00000c11: DUP2
00000c12: MSTORE
00000c13: PUSH1 0x06
00000c15: PUSH1 0x20
00000c17: SWAP1
00000c18: DUP2
00000c19: MSTORE
00000c1a: PUSH1 0x40
00000c1c: DUP1
00000c1d: DUP4
00000c1e: KECCAK256
00000c1f: DUP5
00000c20: DUP5
00000c21: MSTORE
00000c22: SWAP1
00000c23: SWAP2
00000c24: MSTORE
00000c25: SWAP1
00000c26: KECCAK256
00000c27: SLOAD
00000c28: SWAP4
00000c29: POP
00000c2a: SWAP2
00000c2b: POP
00000c2c: POP
00000c2d: JUMPDEST
00000c2e: POP
00000c2f: SWAP8
00000c30: SWAP7
00000c31: POP
00000c32: POP
00000c33: POP
00000c34: POP
00000c35: POP
00000c36: POP
00000c37: POP
00000c38: JUMP
00000c39: JUMPDEST
00000c3a: CALLER
00000c3b: PUSH1 0x01
00000c3d: PUSH1 0xa0
00000c3f: PUSH1 0x02
00000c41: EXP
00000c42: SUB
00000c43: AND
00000c44: PUSH1 0x00
00000c46: SWAP1
00000c47: DUP2
00000c48: MSTORE
00000c49: PUSH1 0x00
00000c4b: DUP1
00000c4c: MLOAD
00000c4d: PUSH1 0x20
00000c4f: PUSH2 0x2180
00000c52: DUP4
00000c53: CODECOPY
00000c54: DUP2
00000c55: MLOAD
00000c56: SWAP2
00000c57: MSTORE
00000c58: PUSH1 0x20
00000c5a: MSTORE
00000c5b: PUSH1 0x40
00000c5d: SWAP1
00000c5e: KECCAK256
00000c5f: SLOAD
00000c60: DUP2
00000c61: SWAP1
00000c62: LT
00000c63: ISZERO
00000c64: PUSH2 0x0c6c
00000c67: JUMPI
00000c68: PUSH1 0x00
00000c6a: DUP1
00000c6b: REVERT
00000c6c: JUMPDEST
00000c6d: CALLER
00000c6e: PUSH1 0x01
00000c70: PUSH1 0xa0
00000c72: PUSH1 0x02
00000c74: EXP
00000c75: SUB
00000c76: AND
00000c77: PUSH1 0x00
00000c79: SWAP1
00000c7a: DUP2
00000c7b: MSTORE
00000c7c: PUSH1 0x00
00000c7e: DUP1
00000c7f: MLOAD
00000c80: PUSH1 0x20
00000c82: PUSH2 0x2180
00000c85: DUP4
00000c86: CODECOPY
00000c87: DUP2
00000c88: MLOAD
00000c89: SWAP2
00000c8a: MSTORE
00000c8b: PUSH1 0x20
00000c8d: MSTORE
00000c8e: PUSH1 0x40
00000c90: SWAP1
00000c91: KECCAK256
00000c92: SLOAD
00000c93: PUSH2 0x0c9c
00000c96: SWAP1
00000c97: DUP3
00000c98: PUSH2 0x2139
00000c9b: JUMP
00000c9c: JUMPDEST
00000c9d: CALLER
00000c9e: PUSH1 0x01
00000ca0: PUSH1 0xa0
00000ca2: PUSH1 0x02
00000ca4: EXP
00000ca5: SUB
00000ca6: AND
00000ca7: PUSH1 0x00
00000ca9: DUP2
00000caa: DUP2
00000cab: MSTORE
00000cac: PUSH1 0x00
00000cae: DUP1
00000caf: MLOAD
00000cb0: PUSH1 0x20
00000cb2: PUSH2 0x2180
00000cb5: DUP4
00000cb6: CODECOPY
00000cb7: DUP2
00000cb8: MLOAD
00000cb9: SWAP2
00000cba: MSTORE
00000cbb: PUSH1 0x20
00000cbd: MSTORE
00000cbe: PUSH1 0x40
00000cc0: SWAP1
00000cc1: DUP2
00000cc2: SWAP1
00000cc3: KECCAK256
00000cc4: SWAP3
00000cc5: SWAP1
00000cc6: SWAP3
00000cc7: SSTORE
00000cc8: SWAP1
00000cc9: DUP3
00000cca: SWAP1
00000ccb: MLOAD
00000ccc: PUSH1 0x00
00000cce: PUSH1 0x40
00000cd0: MLOAD
00000cd1: DUP1
00000cd2: DUP4
00000cd3: SUB
00000cd4: DUP2
00000cd5: DUP6
00000cd6: DUP8
00000cd7: PUSH2 0x8796
00000cda: GAS
00000cdb: SUB
00000cdc: CALL
00000cdd: SWAP3
00000cde: POP
00000cdf: POP
00000ce0: POP
00000ce1: ISZERO
00000ce2: ISZERO
00000ce3: PUSH2 0x0ceb
00000ce6: JUMPI
00000ce7: PUSH1 0x00
00000ce9: DUP1
00000cea: REVERT
00000ceb: JUMPDEST
00000cec: CALLER
00000ced: PUSH1 0x01
00000cef: PUSH1 0xa0
00000cf1: PUSH1 0x02
00000cf3: EXP
00000cf4: SUB
00000cf5: DUP2
00000cf6: AND
00000cf7: PUSH1 0x00
00000cf9: SWAP1
00000cfa: DUP2
00000cfb: MSTORE
00000cfc: PUSH1 0x00
00000cfe: DUP1
00000cff: MLOAD
00000d00: PUSH1 0x20
00000d02: PUSH2 0x2180
00000d05: DUP4
00000d06: CODECOPY
00000d07: DUP2
00000d08: MLOAD
00000d09: SWAP2
00000d0a: MSTORE
00000d0b: PUSH1 0x20
00000d0d: MSTORE
00000d0e: PUSH1 0x40
00000d10: DUP1
00000d11: DUP3
00000d12: KECCAK256
00000d13: SLOAD
00000d14: PUSH32 0xf341246adaac6f497bc2a656f546ab9e182111d630394f0c57c710a59a2cb567
00000d35: SWAP4
00000d36: SWAP2
00000d37: DUP6
00000d38: SWAP2
00000d39: SWAP1
00000d3a: MLOAD
00000d3b: PUSH1 0x01
00000d3d: PUSH1 0xa0
00000d3f: PUSH1 0x02
00000d41: EXP
00000d42: SUB
00000d43: SWAP5
00000d44: DUP6
00000d45: AND
00000d46: DUP2
00000d47: MSTORE
00000d48: SWAP3
00000d49: SWAP1
00000d4a: SWAP4
00000d4b: AND
00000d4c: PUSH1 0x20
00000d4e: DUP4
00000d4f: ADD
00000d50: MSTORE
00000d51: PUSH1 0x40
00000d53: DUP1
00000d54: DUP4
00000d55: ADD
00000d56: SWAP2
00000d57: SWAP1
00000d58: SWAP2
00000d59: MSTORE
00000d5a: PUSH1 0x60
00000d5c: DUP3
00000d5d: ADD
00000d5e: SWAP3
00000d5f: SWAP1
00000d60: SWAP3
00000d61: MSTORE
00000d62: PUSH1 0x80
00000d64: ADD
00000d65: SWAP1
00000d66: MLOAD
00000d67: DUP1
00000d68: SWAP2
00000d69: SUB
00000d6a: SWAP1
00000d6b: LOG1
00000d6c: JUMPDEST
00000d6d: POP
00000d6e: JUMP
00000d6f: JUMPDEST
00000d70: PUSH1 0x08
00000d72: SLOAD
00000d73: PUSH1 0xa0
00000d75: PUSH1 0x02
00000d77: EXP
00000d78: SWAP1
00000d79: DIV
00000d7a: PUSH1 0xff
00000d7c: AND
00000d7d: ISZERO
00000d7e: PUSH2 0x0d86
00000d81: JUMPI
00000d82: PUSH1 0x00
00000d84: DUP1
00000d85: REVERT
00000d86: JUMPDEST
00000d87: PUSH1 0x01
00000d89: PUSH1 0xa0
00000d8b: PUSH1 0x02
00000d8d: EXP
00000d8e: SUB
00000d8f: DUP3
00000d90: AND
00000d91: ISZERO
00000d92: ISZERO
00000d93: PUSH2 0x0d9b
00000d96: JUMPI
00000d97: PUSH1 0x00
00000d99: DUP1
00000d9a: REVERT
00000d9b: JUMPDEST
00000d9c: DUP2
00000d9d: PUSH1 0x01
00000d9f: PUSH1 0xa0
00000da1: PUSH1 0x02
00000da3: EXP
00000da4: SUB
00000da5: AND
00000da6: PUSH4 0x23b872dd
00000dab: CALLER
00000dac: ADDRESS
00000dad: DUP5
00000dae: PUSH1 0x00
00000db0: PUSH1 0x40
00000db2: MLOAD
00000db3: PUSH1 0x20
00000db5: ADD
00000db6: MSTORE
00000db7: PUSH1 0x40
00000db9: MLOAD
00000dba: PUSH1 0xe0
00000dbc: PUSH1 0x02
00000dbe: EXP
00000dbf: PUSH4 0xffffffff
00000dc4: DUP7
00000dc5: AND
00000dc6: MUL
00000dc7: DUP2
00000dc8: MSTORE
00000dc9: PUSH1 0x01
00000dcb: PUSH1 0xa0
00000dcd: PUSH1 0x02
00000dcf: EXP
00000dd0: SUB
00000dd1: SWAP4
00000dd2: DUP5
00000dd3: AND
00000dd4: PUSH1 0x04
00000dd6: DUP3
00000dd7: ADD
00000dd8: MSTORE
00000dd9: SWAP2
00000dda: SWAP1
00000ddb: SWAP3
00000ddc: AND
00000ddd: PUSH1 0x24
00000ddf: DUP3
00000de0: ADD
00000de1: MSTORE
00000de2: PUSH1 0x44
00000de4: DUP2
00000de5: ADD
00000de6: SWAP2
00000de7: SWAP1
00000de8: SWAP2
00000de9: MSTORE
00000dea: PUSH1 0x64
00000dec: ADD
00000ded: PUSH1 0x20
00000def: PUSH1 0x40
00000df1: MLOAD
00000df2: DUP1
00000df3: DUP4
00000df4: SUB
00000df5: DUP2
00000df6: PUSH1 0x00
00000df8: DUP8
00000df9: DUP1
00000dfa: EXTCODESIZE
00000dfb: ISZERO
00000dfc: ISZERO
00000dfd: PUSH2 0x0e05
00000e00: JUMPI
00000e01: PUSH1 0x00
00000e03: DUP1
00000e04: REVERT
00000e05: JUMPDEST
00000e06: PUSH2 0x02c6
00000e09: GAS
00000e0a: SUB
00000e0b: CALL
00000e0c: ISZERO
00000e0d: ISZERO
00000e0e: PUSH2 0x0e16
00000e11: JUMPI
00000e12: PUSH1 0x00
00000e14: DUP1
00000e15: REVERT
00000e16: JUMPDEST
00000e17: POP
00000e18: POP
00000e19: POP
00000e1a: PUSH1 0x40
00000e1c: MLOAD
00000e1d: DUP1
00000e1e: MLOAD
00000e1f: SWAP1
00000e20: POP
00000e21: ISZERO
00000e22: ISZERO
00000e23: PUSH2 0x0e2b
00000e26: JUMPI
00000e27: PUSH1 0x00
00000e29: DUP1
00000e2a: REVERT
00000e2b: JUMPDEST
00000e2c: PUSH1 0x01
00000e2e: PUSH1 0xa0
00000e30: PUSH1 0x02
00000e32: EXP
00000e33: SUB
00000e34: DUP1
00000e35: DUP4
00000e36: AND
00000e37: PUSH1 0x00
00000e39: SWAP1
00000e3a: DUP2
00000e3b: MSTORE
00000e3c: PUSH1 0x05
00000e3e: PUSH1 0x20
00000e40: SWAP1
00000e41: DUP2
00000e42: MSTORE
00000e43: PUSH1 0x40
00000e45: DUP1
00000e46: DUP4
00000e47: KECCAK256
00000e48: CALLER
00000e49: SWAP1
00000e4a: SWAP5
00000e4b: AND
00000e4c: DUP4
00000e4d: MSTORE
00000e4e: SWAP3
00000e4f: SWAP1
00000e50: MSTORE
00000e51: KECCAK256
00000e52: SLOAD
00000e53: PUSH2 0x0e5c
00000e56: SWAP1
00000e57: DUP3
00000e58: PUSH2 0x1d3d
00000e5b: JUMP
00000e5c: JUMPDEST
00000e5d: PUSH1 0x01
00000e5f: PUSH1 0xa0
00000e61: PUSH1 0x02
00000e63: EXP
00000e64: SUB
00000e65: DUP4
00000e66: DUP2
00000e67: AND
00000e68: PUSH1 0x00
00000e6a: SWAP1
00000e6b: DUP2
00000e6c: MSTORE
00000e6d: PUSH1 0x05
00000e6f: PUSH1 0x20
00000e71: SWAP1
00000e72: DUP2
00000e73: MSTORE
00000e74: PUSH1 0x40
00000e76: DUP1
00000e77: DUP4
00000e78: KECCAK256
00000e79: CALLER
00000e7a: SWAP5
00000e7b: DUP6
00000e7c: AND
00000e7d: DUP5
00000e7e: MSTORE
00000e7f: SWAP1
00000e80: SWAP2
00000e81: MSTORE
00000e82: SWAP1
00000e83: DUP2
00000e84: SWAP1
00000e85: KECCAK256
00000e86: DUP4
00000e87: SWAP1
00000e88: SSTORE
00000e89: PUSH32 0xdcbc1c05240f31ff3ad067ef1ee35ce4997762752e3a095284754544f4c709d7
00000eaa: SWAP3
00000eab: DUP6
00000eac: SWAP3
00000ead: SWAP2
00000eae: DUP6
00000eaf: SWAP2
00000eb0: SWAP1
00000eb1: MLOAD
00000eb2: PUSH1 0x01
00000eb4: PUSH1 0xa0
00000eb6: PUSH1 0x02
00000eb8: EXP
00000eb9: SUB
00000eba: SWAP5
00000ebb: DUP6
00000ebc: AND
00000ebd: DUP2
00000ebe: MSTORE
00000ebf: SWAP3
00000ec0: SWAP1
00000ec1: SWAP4
00000ec2: AND
00000ec3: PUSH1 0x20
00000ec5: DUP4
00000ec6: ADD
00000ec7: MSTORE
00000ec8: PUSH1 0x40
00000eca: DUP1
00000ecb: DUP4
00000ecc: ADD
00000ecd: SWAP2
00000ece: SWAP1
00000ecf: SWAP2
00000ed0: MSTORE
00000ed1: PUSH1 0x60
00000ed3: DUP3
00000ed4: ADD
00000ed5: SWAP3
00000ed6: SWAP1
00000ed7: SWAP3
00000ed8: MSTORE
00000ed9: PUSH1 0x80
00000edb: ADD
00000edc: SWAP1
00000edd: MLOAD
00000ede: DUP1
00000edf: SWAP2
00000ee0: SUB
00000ee1: SWAP1
00000ee2: LOG1
00000ee3: JUMPDEST
00000ee4: JUMPDEST
00000ee5: POP
00000ee6: POP
00000ee7: JUMP
00000ee8: JUMPDEST
00000ee9: PUSH1 0x00
00000eeb: SLOAD
00000eec: CALLER
00000eed: PUSH1 0x01
00000eef: PUSH1 0xa0
00000ef1: PUSH1 0x02
00000ef3: EXP
00000ef4: SUB
00000ef5: SWAP1
00000ef6: DUP2
00000ef7: AND
00000ef8: SWAP2
00000ef9: AND
00000efa: EQ
00000efb: PUSH2 0x0f03
00000efe: JUMPI
00000eff: PUSH1 0x00
00000f01: DUP1
00000f02: REVERT
00000f03: JUMPDEST
00000f04: PUSH1 0x02
00000f06: DUP1
00000f07: SLOAD
00000f08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f1d: NOT
00000f1e: AND
00000f1f: PUSH1 0x01
00000f21: PUSH1 0xa0
00000f23: PUSH1 0x02
00000f25: EXP
00000f26: SUB
00000f27: DUP4
00000f28: AND
00000f29: OR
00000f2a: SWAP1
00000f2b: SSTORE
00000f2c: JUMPDEST
00000f2d: JUMPDEST
00000f2e: POP
00000f2f: JUMP
00000f30: JUMPDEST
00000f31: PUSH1 0x08
00000f33: SLOAD
00000f34: PUSH1 0x00
00000f36: SWAP1
00000f37: PUSH1 0xa0
00000f39: PUSH1 0x02
00000f3b: EXP
00000f3c: SWAP1
00000f3d: DIV
00000f3e: PUSH1 0xff
00000f40: AND
00000f41: ISZERO
00000f42: PUSH2 0x0f4a
00000f45: JUMPI
00000f46: PUSH1 0x00
00000f48: DUP1
00000f49: REVERT
00000f4a: JUMPDEST
00000f4b: PUSH1 0x01
00000f4d: PUSH1 0xa0
00000f4f: PUSH1 0x02
00000f51: EXP
00000f52: SUB
00000f53: DUP5
00000f54: AND
00000f55: ISZERO
00000f56: ISZERO
00000f57: PUSH2 0x0f5f
00000f5a: JUMPI
00000f5b: PUSH1 0x00
00000f5d: DUP1
00000f5e: REVERT
00000f5f: JUMPDEST
00000f60: PUSH1 0x01
00000f62: PUSH1 0xa0
00000f64: PUSH1 0x02
00000f66: EXP
00000f67: SUB
00000f68: DUP3
00000f69: AND
00000f6a: ISZERO
00000f6b: ISZERO
00000f6c: PUSH2 0x0f74
00000f6f: JUMPI
00000f70: PUSH1 0x00
00000f72: DUP1
00000f73: REVERT
00000f74: JUMPDEST
00000f75: PUSH1 0x00
00000f77: DUP4
00000f78: GT
00000f79: PUSH2 0x0f81
00000f7c: JUMPI
00000f7d: PUSH1 0x00
00000f7f: DUP1
00000f80: REVERT
00000f81: JUMPDEST
00000f82: POP
00000f83: CALLER
00000f84: PUSH1 0x00
00000f86: PUSH1 0x01
00000f88: PUSH1 0xa0
00000f8a: PUSH1 0x02
00000f8c: EXP
00000f8d: SUB
00000f8e: DUP3
00000f8f: AND
00000f90: PUSH4 0x54fd4d50
00000f95: DUP3
00000f96: PUSH1 0x40
00000f98: MLOAD
00000f99: PUSH1 0x20
00000f9b: ADD
00000f9c: MSTORE
00000f9d: PUSH1 0x40
00000f9f: MLOAD
00000fa0: DUP2
00000fa1: PUSH4 0xffffffff
00000fa6: AND
00000fa7: PUSH1 0xe0
00000fa9: PUSH1 0x02
00000fab: EXP
00000fac: MUL
00000fad: DUP2
00000fae: MSTORE
00000faf: PUSH1 0x04
00000fb1: ADD
00000fb2: PUSH1 0x20
00000fb4: PUSH1 0x40
00000fb6: MLOAD
00000fb7: DUP1
00000fb8: DUP4
00000fb9: SUB
00000fba: DUP2
00000fbb: PUSH1 0x00
00000fbd: DUP8
00000fbe: DUP1
00000fbf: EXTCODESIZE
00000fc0: ISZERO
00000fc1: ISZERO
00000fc2: PUSH2 0x0fca
00000fc5: JUMPI
00000fc6: PUSH1 0x00
00000fc8: DUP1
00000fc9: REVERT
00000fca: JUMPDEST
00000fcb: PUSH2 0x02c6
00000fce: GAS
00000fcf: SUB
00000fd0: CALL
00000fd1: ISZERO
00000fd2: ISZERO
00000fd3: PUSH2 0x0fdb
00000fd6: JUMPI
00000fd7: PUSH1 0x00
00000fd9: DUP1
00000fda: REVERT
00000fdb: JUMPDEST
00000fdc: POP
00000fdd: POP
00000fde: POP
00000fdf: PUSH1 0x40
00000fe1: MLOAD
00000fe2: DUP1
00000fe3: MLOAD
00000fe4: SWAP1
00000fe5: POP
00000fe6: PUSH2 0xffff
00000fe9: AND
00000fea: GT
00000feb: ISZERO
00000fec: ISZERO
00000fed: PUSH2 0x0ff5
00000ff0: JUMPI
00000ff1: PUSH1 0x00
00000ff3: DUP1
00000ff4: REVERT
00000ff5: JUMPDEST
00000ff6: DUP4
00000ff7: PUSH1 0x01
00000ff9: PUSH1 0xa0
00000ffb: PUSH1 0x02
00000ffd: EXP
00000ffe: SUB
00000fff: AND
00001000: PUSH4 0x23b872dd
00001005: CALLER
00001006: ADDRESS
00001007: DUP7
00001008: PUSH1 0x00
0000100a: PUSH1 0x40
0000100c: MLOAD
0000100d: PUSH1 0x20
0000100f: ADD
00001010: MSTORE
00001011: PUSH1 0x40
00001013: MLOAD
00001014: PUSH1 0xe0
00001016: PUSH1 0x02
00001018: EXP
00001019: PUSH4 0xffffffff
0000101e: DUP7
0000101f: AND
00001020: MUL
00001021: DUP2
00001022: MSTORE
00001023: PUSH1 0x01
00001025: PUSH1 0xa0
00001027: PUSH1 0x02
00001029: EXP
0000102a: SUB
0000102b: SWAP4
0000102c: DUP5
0000102d: AND
0000102e: PUSH1 0x04
00001030: DUP3
00001031: ADD
00001032: MSTORE
00001033: SWAP2
00001034: SWAP1
00001035: SWAP3
00001036: AND
00001037: PUSH1 0x24
00001039: DUP3
0000103a: ADD
0000103b: MSTORE
0000103c: PUSH1 0x44
0000103e: DUP2
0000103f: ADD
00001040: SWAP2
00001041: SWAP1
00001042: SWAP2
00001043: MSTORE
00001044: PUSH1 0x64
00001046: ADD
00001047: PUSH1 0x20
00001049: PUSH1 0x40
0000104b: MLOAD
0000104c: DUP1
0000104d: DUP4
0000104e: SUB
0000104f: DUP2
00001050: PUSH1 0x00
00001052: DUP8
00001053: DUP1
00001054: EXTCODESIZE
00001055: ISZERO
00001056: ISZERO
00001057: PUSH2 0x105f
0000105a: JUMPI
0000105b: PUSH1 0x00
0000105d: DUP1
0000105e: REVERT
0000105f: JUMPDEST
00001060: PUSH2 0x02c6
00001063: GAS
00001064: SUB
00001065: CALL
00001066: ISZERO
00001067: ISZERO
00001068: PUSH2 0x1070
0000106b: JUMPI
0000106c: PUSH1 0x00
0000106e: DUP1
0000106f: REVERT
00001070: JUMPDEST
00001071: POP
00001072: POP
00001073: POP
00001074: PUSH1 0x40
00001076: MLOAD
00001077: DUP1
00001078: MLOAD
00001079: SWAP1
0000107a: POP
0000107b: ISZERO
0000107c: ISZERO
0000107d: PUSH2 0x1085
00001080: JUMPI
00001081: PUSH1 0x00
00001083: DUP1
00001084: REVERT
00001085: JUMPDEST
00001086: PUSH1 0x01
00001088: PUSH1 0xa0
0000108a: PUSH1 0x02
0000108c: EXP
0000108d: SUB
0000108e: DUP1
0000108f: DUP6
00001090: AND
00001091: PUSH1 0x00
00001093: SWAP1
00001094: DUP2
00001095: MSTORE
00001096: PUSH1 0x05
00001098: PUSH1 0x20
0000109a: SWAP1
0000109b: DUP2
0000109c: MSTORE
0000109d: PUSH1 0x40
0000109f: DUP1
000010a0: DUP4
000010a1: KECCAK256
000010a2: SWAP4
000010a3: DUP7
000010a4: AND
000010a5: DUP4
000010a6: MSTORE
000010a7: SWAP3
000010a8: SWAP1
000010a9: MSTORE
000010aa: KECCAK256
000010ab: SLOAD
000010ac: PUSH2 0x10b5
000010af: SWAP1
000010b0: DUP5
000010b1: PUSH2 0x1d3d
000010b4: JUMP
000010b5: JUMPDEST
000010b6: PUSH1 0x01
000010b8: PUSH1 0xa0
000010ba: PUSH1 0x02
000010bc: EXP
000010bd: SUB
000010be: DUP1
000010bf: DUP7
000010c0: AND
000010c1: PUSH1 0x00
000010c3: SWAP1
000010c4: DUP2
000010c5: MSTORE
000010c6: PUSH1 0x05
000010c8: PUSH1 0x20
000010ca: SWAP1
000010cb: DUP2
000010cc: MSTORE
000010cd: PUSH1 0x40
000010cf: DUP1
000010d0: DUP4
000010d1: KECCAK256
000010d2: SWAP4
000010d3: DUP8
000010d4: AND
000010d5: DUP4
000010d6: MSTORE
000010d7: SWAP3
000010d8: SWAP1
000010d9: MSTORE
000010da: KECCAK256
000010db: SSTORE
000010dc: JUMPDEST
000010dd: JUMPDEST
000010de: POP
000010df: POP
000010e0: POP
000010e1: POP
000010e2: JUMP
000010e3: JUMPDEST
000010e4: PUSH1 0x00
000010e6: SLOAD
000010e7: CALLER
000010e8: PUSH1 0x01
000010ea: PUSH1 0xa0
000010ec: PUSH1 0x02
000010ee: EXP
000010ef: SUB
000010f0: SWAP1
000010f1: DUP2
000010f2: AND
000010f3: SWAP2
000010f4: AND
000010f5: EQ
000010f6: PUSH2 0x10fe
000010f9: JUMPI
000010fa: PUSH1 0x00
000010fc: DUP1
000010fd: REVERT
000010fe: JUMPDEST
000010ff: PUSH1 0x03
00001101: DUP1
00001102: SLOAD
00001103: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001118: NOT
00001119: AND
0000111a: PUSH1 0x01
0000111c: PUSH1 0xa0
0000111e: PUSH1 0x02
00001120: EXP
00001121: SUB
00001122: DUP4
00001123: AND
00001124: OR
00001125: SWAP1
00001126: SSTORE
00001127: JUMPDEST
00001128: JUMPDEST
00001129: POP
0000112a: JUMP
0000112b: JUMPDEST
0000112c: PUSH1 0x05
0000112e: PUSH1 0x20
00001130: SWAP1
00001131: DUP2
00001132: MSTORE
00001133: PUSH1 0x00
00001135: SWAP3
00001136: DUP4
00001137: MSTORE
00001138: PUSH1 0x40
0000113a: DUP1
0000113b: DUP5
0000113c: KECCAK256
0000113d: SWAP1
0000113e: SWAP2
0000113f: MSTORE
00001140: SWAP1
00001141: DUP3
00001142: MSTORE
00001143: SWAP1
00001144: KECCAK256
00001145: SLOAD
00001146: DUP2
00001147: JUMP
00001148: JUMPDEST
00001149: PUSH1 0x08
0000114b: SLOAD
0000114c: PUSH22 0x01000000000000000000000000000000000000000000
00001163: SWAP1
00001164: DIV
00001165: PUSH2 0xffff
00001168: AND
00001169: DUP2
0000116a: JUMP
0000116b: JUMPDEST
0000116c: PUSH1 0x02
0000116e: SLOAD
0000116f: PUSH1 0x00
00001171: SWAP1
00001172: DUP2
00001173: SWAP1
00001174: PUSH1 0x01
00001176: PUSH1 0xa0
00001178: PUSH1 0x02
0000117a: EXP
0000117b: SUB
0000117c: AND
0000117d: ISZERO
0000117e: PUSH2 0x1203
00001181: JUMPI
00001182: PUSH1 0x02
00001184: SLOAD
00001185: PUSH1 0x01
00001187: PUSH1 0xa0
00001189: PUSH1 0x02
0000118b: EXP
0000118c: SUB
0000118d: AND
0000118e: PUSH4 0xea08ec2c
00001193: CALLER
00001194: PUSH1 0x00
00001196: PUSH1 0x40
00001198: MLOAD
00001199: PUSH1 0x40
0000119b: ADD
0000119c: MSTORE
0000119d: PUSH1 0x40
0000119f: MLOAD
000011a0: PUSH1 0xe0
000011a2: PUSH1 0x02
000011a4: EXP
000011a5: PUSH4 0xffffffff
000011aa: DUP5
000011ab: AND
000011ac: MUL
000011ad: DUP2
000011ae: MSTORE
000011af: PUSH1 0x01
000011b1: PUSH1 0xa0
000011b3: PUSH1 0x02
000011b5: EXP
000011b6: SUB
000011b7: SWAP1
000011b8: SWAP2
000011b9: AND
000011ba: PUSH1 0x04
000011bc: DUP3
000011bd: ADD
000011be: MSTORE
000011bf: PUSH1 0x24
000011c1: ADD
000011c2: PUSH1 0x40
000011c4: DUP1
000011c5: MLOAD
000011c6: DUP1
000011c7: DUP4
000011c8: SUB
000011c9: DUP2
000011ca: PUSH1 0x00
000011cc: DUP8
000011cd: DUP1
000011ce: EXTCODESIZE
000011cf: ISZERO
000011d0: ISZERO
000011d1: PUSH2 0x11d9
000011d4: JUMPI
000011d5: PUSH1 0x00
000011d7: DUP1
000011d8: REVERT
000011d9: JUMPDEST
000011da: PUSH2 0x02c6
000011dd: GAS
000011de: SUB
000011df: CALL
000011e0: ISZERO
000011e1: ISZERO
000011e2: PUSH2 0x11ea
000011e5: JUMPI
000011e6: PUSH1 0x00
000011e8: DUP1
000011e9: REVERT
000011ea: JUMPDEST
000011eb: POP
000011ec: POP
000011ed: POP
000011ee: PUSH1 0x40
000011f0: MLOAD
000011f1: DUP1
000011f2: MLOAD
000011f3: SWAP1
000011f4: PUSH1 0x20
000011f6: ADD
000011f7: DUP1
000011f8: MLOAD
000011f9: SWAP1
000011fa: POP
000011fb: SWAP2
000011fc: POP
000011fd: SWAP2
000011fe: POP
000011ff: PUSH2 0x120a
00001202: JUMP
00001203: JUMPDEST
00001204: POP
00001205: PUSH1 0x00
00001207: SWAP1
00001208: POP
00001209: DUP1
0000120a: JUMPDEST
0000120b: JUMPDEST
0000120c: SWAP1
0000120d: SWAP2
0000120e: JUMP
0000120f: JUMPDEST
00001210: PUSH1 0x00
00001212: SLOAD
00001213: CALLER
00001214: PUSH1 0x01
00001216: PUSH1 0xa0
00001218: PUSH1 0x02
0000121a: EXP
0000121b: SUB
0000121c: SWAP1
0000121d: DUP2
0000121e: AND
0000121f: SWAP2
00001220: AND
00001221: EQ
00001222: PUSH2 0x122a
00001225: JUMPI
00001226: PUSH1 0x00
00001228: DUP1
00001229: REVERT
0000122a: JUMPDEST
0000122b: PUSH1 0x04
0000122d: SLOAD
0000122e: DUP2
0000122f: GT
00001230: ISZERO
00001231: PUSH2 0x1239
00001234: JUMPI
00001235: PUSH1 0x00
00001237: DUP1
00001238: REVERT
00001239: JUMPDEST
0000123a: PUSH1 0x04
0000123c: DUP2
0000123d: SWAP1
0000123e: SSTORE
0000123f: JUMPDEST
00001240: JUMPDEST
00001241: POP
00001242: JUMP
00001243: JUMPDEST
00001244: PUSH1 0x08
00001246: SLOAD
00001247: PUSH1 0x00
00001249: SWAP1
0000124a: PUSH1 0xa0
0000124c: PUSH1 0x02
0000124e: EXP
0000124f: SWAP1
00001250: DIV
00001251: PUSH1 0xff
00001253: AND
00001254: ISZERO
00001255: PUSH2 0x125d
00001258: JUMPI
00001259: PUSH1 0x00
0000125b: DUP1
0000125c: REVERT
0000125d: JUMPDEST
0000125e: PUSH1 0x01
00001260: PUSH1 0xa0
00001262: PUSH1 0x02
00001264: EXP
00001265: SUB
00001266: DUP3
00001267: AND
00001268: ISZERO
00001269: ISZERO
0000126a: PUSH2 0x1272
0000126d: JUMPI
0000126e: PUSH1 0x00
00001270: DUP1
00001271: REVERT
00001272: JUMPDEST
00001273: PUSH1 0x00
00001275: CALLVALUE
00001276: GT
00001277: PUSH2 0x127f
0000127a: JUMPI
0000127b: PUSH1 0x00
0000127d: DUP1
0000127e: REVERT
0000127f: JUMPDEST
00001280: POP
00001281: CALLER
00001282: PUSH1 0x00
00001284: PUSH1 0x01
00001286: PUSH1 0xa0
00001288: PUSH1 0x02
0000128a: EXP
0000128b: SUB
0000128c: DUP3
0000128d: AND
0000128e: PUSH4 0x54fd4d50
00001293: DUP3
00001294: PUSH1 0x40
00001296: MLOAD
00001297: PUSH1 0x20
00001299: ADD
0000129a: MSTORE
0000129b: PUSH1 0x40
0000129d: MLOAD
0000129e: DUP2
0000129f: PUSH4 0xffffffff
000012a4: AND
000012a5: PUSH1 0xe0
000012a7: PUSH1 0x02
000012a9: EXP
000012aa: MUL
000012ab: DUP2
000012ac: MSTORE
000012ad: PUSH1 0x04
000012af: ADD
000012b0: PUSH1 0x20
000012b2: PUSH1 0x40
000012b4: MLOAD
000012b5: DUP1
000012b6: DUP4
000012b7: SUB
000012b8: DUP2
000012b9: PUSH1 0x00
000012bb: DUP8
000012bc: DUP1
000012bd: EXTCODESIZE
000012be: ISZERO
000012bf: ISZERO
000012c0: PUSH2 0x12c8
000012c3: JUMPI
000012c4: PUSH1 0x00
000012c6: DUP1
000012c7: REVERT
000012c8: JUMPDEST
000012c9: PUSH2 0x02c6
000012cc: GAS
000012cd: SUB
000012ce: CALL
000012cf: ISZERO
000012d0: ISZERO
000012d1: PUSH2 0x12d9
000012d4: JUMPI
000012d5: PUSH1 0x00
000012d7: DUP1
000012d8: REVERT
000012d9: JUMPDEST
000012da: POP
000012db: POP
000012dc: POP
000012dd: PUSH1 0x40
000012df: MLOAD
000012e0: DUP1
000012e1: MLOAD
000012e2: SWAP1
000012e3: POP
000012e4: PUSH2 0xffff
000012e7: AND
000012e8: GT
000012e9: ISZERO
000012ea: ISZERO
000012eb: PUSH2 0x12f3
000012ee: JUMPI
000012ef: PUSH1 0x00
000012f1: DUP1
000012f2: REVERT
000012f3: JUMPDEST
000012f4: PUSH1 0x01
000012f6: PUSH1 0xa0
000012f8: PUSH1 0x02
000012fa: EXP
000012fb: SUB
000012fc: DUP3
000012fd: AND
000012fe: PUSH1 0x00
00001300: SWAP1
00001301: DUP2
00001302: MSTORE
00001303: PUSH1 0x00
00001305: DUP1
00001306: MLOAD
00001307: PUSH1 0x20
00001309: PUSH2 0x2180
0000130c: DUP4
0000130d: CODECOPY
0000130e: DUP2
0000130f: MLOAD
00001310: SWAP2
00001311: MSTORE
00001312: PUSH1 0x20
00001314: MSTORE
00001315: PUSH1 0x40
00001317: SWAP1
00001318: KECCAK256
00001319: SLOAD
0000131a: PUSH2 0x1323
0000131d: SWAP1
0000131e: CALLVALUE
0000131f: PUSH2 0x1d3d
00001322: JUMP
00001323: JUMPDEST
00001324: PUSH1 0x01
00001326: PUSH1 0xa0
00001328: PUSH1 0x02
0000132a: EXP
0000132b: SUB
0000132c: DUP4
0000132d: AND
0000132e: PUSH1 0x00
00001330: SWAP1
00001331: DUP2
00001332: MSTORE
00001333: PUSH1 0x00
00001335: DUP1
00001336: MLOAD
00001337: PUSH1 0x20
00001339: PUSH2 0x2180
0000133c: DUP4
0000133d: CODECOPY
0000133e: DUP2
0000133f: MLOAD
00001340: SWAP2
00001341: MSTORE
00001342: PUSH1 0x20
00001344: MSTORE
00001345: PUSH1 0x40
00001347: SWAP1
00001348: KECCAK256
00001349: SSTORE
0000134a: JUMPDEST
0000134b: JUMPDEST
0000134c: POP
0000134d: POP
0000134e: JUMP
0000134f: JUMPDEST
00001350: PUSH1 0x01
00001352: PUSH1 0xa0
00001354: PUSH1 0x02
00001356: EXP
00001357: SUB
00001358: DUP1
00001359: DUP14
0000135a: AND
0000135b: PUSH1 0x00
0000135d: SWAP1
0000135e: DUP2
0000135f: MSTORE
00001360: PUSH1 0x05
00001362: PUSH1 0x20
00001364: SWAP1
00001365: DUP2
00001366: MSTORE
00001367: PUSH1 0x40
00001369: DUP1
0000136a: DUP4
0000136b: KECCAK256
0000136c: SWAP4
0000136d: DUP6
0000136e: AND
0000136f: DUP4
00001370: MSTORE
00001371: SWAP3
00001372: SWAP1
00001373: MSTORE
00001374: SWAP1
00001375: DUP2
00001376: KECCAK256
00001377: SLOAD
00001378: DUP4
00001379: SWAP1
0000137a: LT
0000137b: DUP1
0000137c: PUSH2 0x1395
0000137f: JUMPI
00001380: POP
00001381: DUP3
00001382: PUSH2 0x1393
00001385: DUP15
00001386: DUP15
00001387: DUP15
00001388: DUP15
00001389: DUP15
0000138a: DUP15
0000138b: DUP15
0000138c: DUP15
0000138d: DUP15
0000138e: DUP15
0000138f: PUSH2 0x1b3f
00001392: JUMP
00001393: JUMPDEST
00001394: LT
00001395: JUMPDEST
00001396: ISZERO
00001397: PUSH2 0x13a2
0000139a: JUMPI
0000139b: POP
0000139c: PUSH1 0x00
0000139e: PUSH2 0x13a6
000013a1: JUMP
000013a2: JUMPDEST
000013a3: POP
000013a4: PUSH1 0x01
000013a6: JUMPDEST
000013a7: SWAP13
000013a8: SWAP12
000013a9: POP
000013aa: POP
000013ab: POP
000013ac: POP
000013ad: POP
000013ae: POP
000013af: POP
000013b0: POP
000013b1: POP
000013b2: POP
000013b3: POP
000013b4: POP
000013b5: JUMP
000013b6: JUMPDEST
000013b7: PUSH1 0x07
000013b9: SLOAD
000013ba: PUSH1 0x01
000013bc: PUSH1 0xa0
000013be: PUSH1 0x02
000013c0: EXP
000013c1: SUB
000013c2: AND
000013c3: DUP2
000013c4: JUMP
000013c5: JUMPDEST
000013c6: PUSH1 0x00
000013c8: SLOAD
000013c9: CALLER
000013ca: PUSH1 0x01
000013cc: PUSH1 0xa0
000013ce: PUSH1 0x02
000013d0: EXP
000013d1: SUB
000013d2: SWAP1
000013d3: DUP2
000013d4: AND
000013d5: SWAP2
000013d6: AND
000013d7: EQ
000013d8: PUSH2 0x13e0
000013db: JUMPI
000013dc: PUSH1 0x00
000013de: DUP1
000013df: REVERT
000013e0: JUMPDEST
000013e1: PUSH1 0x01
000013e3: PUSH1 0xa0
000013e5: PUSH1 0x02
000013e7: EXP
000013e8: SUB
000013e9: DUP2
000013ea: AND
000013eb: ISZERO
000013ec: ISZERO
000013ed: PUSH2 0x13f5
000013f0: JUMPI
000013f1: PUSH1 0x00
000013f3: DUP1
000013f4: REVERT
000013f5: JUMPDEST
000013f6: PUSH1 0x01
000013f8: DUP1
000013f9: SLOAD
000013fa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000140f: NOT
00001410: AND
00001411: PUSH1 0x01
00001413: PUSH1 0xa0
00001415: PUSH1 0x02
00001417: EXP
00001418: SUB
00001419: DUP4
0000141a: AND
0000141b: OR
0000141c: SWAP1
0000141d: SSTORE
0000141e: JUMPDEST
0000141f: JUMPDEST
00001420: POP
00001421: JUMP
00001422: JUMPDEST
00001423: PUSH1 0x00
00001425: SLOAD
00001426: PUSH1 0x01
00001428: PUSH1 0xa0
0000142a: PUSH1 0x02
0000142c: EXP
0000142d: SUB
0000142e: AND
0000142f: DUP2
00001430: JUMP
00001431: JUMPDEST
00001432: PUSH1 0x01
00001434: PUSH1 0xa0
00001436: PUSH1 0x02
00001438: EXP
00001439: SUB
0000143a: DUP3
0000143b: AND
0000143c: ISZERO
0000143d: ISZERO
0000143e: PUSH2 0x1446
00001441: JUMPI
00001442: PUSH1 0x00
00001444: DUP1
00001445: REVERT
00001446: JUMPDEST
00001447: PUSH1 0x01
00001449: PUSH1 0xa0
0000144b: PUSH1 0x02
0000144d: EXP
0000144e: SUB
0000144f: DUP1
00001450: DUP4
00001451: AND
00001452: PUSH1 0x00
00001454: SWAP1
00001455: DUP2
00001456: MSTORE
00001457: PUSH1 0x05
00001459: PUSH1 0x20
0000145b: SWAP1
0000145c: DUP2
0000145d: MSTORE
0000145e: PUSH1 0x40
00001460: DUP1
00001461: DUP4
00001462: KECCAK256
00001463: CALLER
00001464: SWAP1
00001465: SWAP5
00001466: AND
00001467: DUP4
00001468: MSTORE
00001469: SWAP3
0000146a: SWAP1
0000146b: MSTORE
0000146c: KECCAK256
0000146d: SLOAD
0000146e: DUP2
0000146f: SWAP1
00001470: LT
00001471: ISZERO
00001472: PUSH2 0x147a
00001475: JUMPI
00001476: PUSH1 0x00
00001478: DUP1
00001479: REVERT
0000147a: JUMPDEST
0000147b: PUSH1 0x01
0000147d: PUSH1 0xa0
0000147f: PUSH1 0x02
00001481: EXP
00001482: SUB
00001483: DUP1
00001484: DUP4
00001485: AND
00001486: PUSH1 0x00
00001488: SWAP1
00001489: DUP2
0000148a: MSTORE
0000148b: PUSH1 0x05
0000148d: PUSH1 0x20
0000148f: SWAP1
00001490: DUP2
00001491: MSTORE
00001492: PUSH1 0x40
00001494: DUP1
00001495: DUP4
00001496: KECCAK256
00001497: CALLER
00001498: SWAP1
00001499: SWAP5
0000149a: AND
0000149b: DUP4
0000149c: MSTORE
0000149d: SWAP3
0000149e: SWAP1
0000149f: MSTORE
000014a0: KECCAK256
000014a1: SLOAD
000014a2: PUSH2 0x14ab
000014a5: SWAP1
000014a6: DUP3
000014a7: PUSH2 0x2139
000014aa: JUMP
000014ab: JUMPDEST
000014ac: PUSH1 0x01
000014ae: PUSH1 0xa0
000014b0: PUSH1 0x02
000014b2: EXP
000014b3: SUB
000014b4: DUP1
000014b5: DUP5
000014b6: AND
000014b7: PUSH1 0x00
000014b9: DUP2
000014ba: DUP2
000014bb: MSTORE
000014bc: PUSH1 0x05
000014be: PUSH1 0x20
000014c0: SWAP1
000014c1: DUP2
000014c2: MSTORE
000014c3: PUSH1 0x40
000014c5: DUP1
000014c6: DUP4
000014c7: KECCAK256
000014c8: CALLER
000014c9: SWAP6
000014ca: DUP7
000014cb: AND
000014cc: DUP5
000014cd: MSTORE
000014ce: SWAP1
000014cf: SWAP2
000014d0: MSTORE
000014d1: DUP1
000014d2: DUP3
000014d3: KECCAK256
000014d4: SWAP5
000014d5: SWAP1
000014d6: SWAP5
000014d7: SSTORE
000014d8: SWAP1
000014d9: SWAP3
000014da: PUSH4 0xa9059cbb
000014df: SWAP3
000014e0: SWAP2
000014e1: DUP6
000014e2: SWAP2
000014e3: MLOAD
000014e4: PUSH1 0x20
000014e6: ADD
000014e7: MSTORE
000014e8: PUSH1 0x40
000014ea: MLOAD
000014eb: PUSH1 0xe0
000014ed: PUSH1 0x02
000014ef: EXP
000014f0: PUSH4 0xffffffff
000014f5: DUP6
000014f6: AND
000014f7: MUL
000014f8: DUP2
000014f9: MSTORE
000014fa: PUSH1 0x01
000014fc: PUSH1 0xa0
000014fe: PUSH1 0x02
00001500: EXP
00001501: SUB
00001502: SWAP1
00001503: SWAP3
00001504: AND
00001505: PUSH1 0x04
00001507: DUP4
00001508: ADD
00001509: MSTORE
0000150a: PUSH1 0x24
0000150c: DUP3
0000150d: ADD
0000150e: MSTORE
0000150f: PUSH1 0x44
00001511: ADD
00001512: PUSH1 0x20
00001514: PUSH1 0x40
00001516: MLOAD
00001517: DUP1
00001518: DUP4
00001519: SUB
0000151a: DUP2
0000151b: PUSH1 0x00
0000151d: DUP8
0000151e: DUP1
0000151f: EXTCODESIZE
00001520: ISZERO
00001521: ISZERO
00001522: PUSH2 0x152a
00001525: JUMPI
00001526: PUSH1 0x00
00001528: DUP1
00001529: REVERT
0000152a: JUMPDEST
0000152b: PUSH2 0x02c6
0000152e: GAS
0000152f: SUB
00001530: CALL
00001531: ISZERO
00001532: ISZERO
00001533: PUSH2 0x153b
00001536: JUMPI
00001537: PUSH1 0x00
00001539: DUP1
0000153a: REVERT
0000153b: JUMPDEST
0000153c: POP
0000153d: POP
0000153e: POP
0000153f: PUSH1 0x40
00001541: MLOAD
00001542: DUP1
00001543: MLOAD
00001544: SWAP1
00001545: POP
00001546: ISZERO
00001547: ISZERO
00001548: PUSH2 0x1550
0000154b: JUMPI
0000154c: PUSH1 0x00
0000154e: DUP1
0000154f: REVERT
00001550: JUMPDEST
00001551: PUSH1 0x01
00001553: PUSH1 0xa0
00001555: PUSH1 0x02
00001557: EXP
00001558: SUB
00001559: DUP1
0000155a: DUP4
0000155b: AND
0000155c: PUSH1 0x00
0000155e: SWAP1
0000155f: DUP2
00001560: MSTORE
00001561: PUSH1 0x05
00001563: PUSH1 0x20
00001565: SWAP1
00001566: DUP2
00001567: MSTORE
00001568: PUSH1 0x40
0000156a: DUP1
0000156b: DUP4
0000156c: KECCAK256
0000156d: CALLER
0000156e: SWAP5
0000156f: DUP6
00001570: AND
00001571: DUP5
00001572: MSTORE
00001573: SWAP1
00001574: SWAP2
00001575: MSTORE
00001576: SWAP1
00001577: DUP2
00001578: SWAP1
00001579: KECCAK256
0000157a: SLOAD
0000157b: PUSH32 0xf341246adaac6f497bc2a656f546ab9e182111d630394f0c57c710a59a2cb567
0000159c: SWAP3
0000159d: DUP6
0000159e: SWAP3
0000159f: SWAP1
000015a0: SWAP2
000015a1: DUP6
000015a2: SWAP2
000015a3: MLOAD
000015a4: PUSH1 0x01
000015a6: PUSH1 0xa0
000015a8: PUSH1 0x02
000015aa: EXP
000015ab: SUB
000015ac: SWAP5
000015ad: DUP6
000015ae: AND
000015af: DUP2
000015b0: MSTORE
000015b1: SWAP3
000015b2: SWAP1
000015b3: SWAP4
000015b4: AND
000015b5: PUSH1 0x20
000015b7: DUP4
000015b8: ADD
000015b9: MSTORE
000015ba: PUSH1 0x40
000015bc: DUP1
000015bd: DUP4
000015be: ADD
000015bf: SWAP2
000015c0: SWAP1
000015c1: SWAP2
000015c2: MSTORE
000015c3: PUSH1 0x60
000015c5: DUP3
000015c6: ADD
000015c7: SWAP3
000015c8: SWAP1
000015c9: SWAP3
000015ca: MSTORE
000015cb: PUSH1 0x80
000015cd: ADD
000015ce: SWAP1
000015cf: MLOAD
000015d0: DUP1
000015d1: SWAP2
000015d2: SUB
000015d3: SWAP1
000015d4: LOG1
000015d5: JUMPDEST
000015d6: POP
000015d7: POP
000015d8: JUMP
000015d9: JUMPDEST
000015da: PUSH1 0x08
000015dc: SLOAD
000015dd: PUSH1 0x01
000015df: PUSH1 0xa0
000015e1: PUSH1 0x02
000015e3: EXP
000015e4: SUB
000015e5: AND
000015e6: DUP2
000015e7: JUMP
000015e8: JUMPDEST
000015e9: PUSH1 0x07
000015eb: SLOAD
000015ec: PUSH1 0x00
000015ee: SWAP1
000015ef: DUP2
000015f0: SWAP1
000015f1: DUP2
000015f2: SWAP1
000015f3: DUP2
000015f4: SWAP1
000015f5: DUP2
000015f6: SWAP1
000015f7: DUP2
000015f8: SWAP1
000015f9: PUSH1 0x01
000015fb: PUSH1 0xa0
000015fd: PUSH1 0x02
000015ff: EXP
00001600: SUB
00001601: AND
00001602: ISZERO
00001603: ISZERO
00001604: PUSH2 0x160c
00001607: JUMPI
00001608: PUSH1 0x00
0000160a: DUP1
0000160b: REVERT
0000160c: JUMPDEST
0000160d: PUSH1 0x07
0000160f: SLOAD
00001610: PUSH1 0x01
00001612: PUSH1 0xa0
00001614: PUSH1 0x02
00001616: EXP
00001617: SUB
00001618: AND
00001619: SWAP6
0000161a: POP
0000161b: PUSH1 0x00
0000161d: SWAP5
0000161e: POP
0000161f: JUMPDEST
00001620: PUSH1 0x14
00001622: DUP6
00001623: PUSH2 0xffff
00001626: AND
00001627: LT
00001628: ISZERO
00001629: PUSH2 0x16d2
0000162c: JUMPI
0000162d: DUP6
0000162e: PUSH1 0x01
00001630: PUSH1 0xa0
00001632: PUSH1 0x02
00001634: EXP
00001635: SUB
00001636: AND
00001637: PUSH4 0x6ff968c3
0000163c: PUSH1 0x00
0000163e: PUSH1 0x40
00001640: MLOAD
00001641: PUSH1 0x20
00001643: ADD
00001644: MSTORE
00001645: PUSH1 0x40
00001647: MLOAD
00001648: DUP2
00001649: PUSH4 0xffffffff
0000164e: AND
0000164f: PUSH1 0xe0
00001651: PUSH1 0x02
00001653: EXP
00001654: MUL
00001655: DUP2
00001656: MSTORE
00001657: PUSH1 0x04
00001659: ADD
0000165a: PUSH1 0x20
0000165c: PUSH1 0x40
0000165e: MLOAD
0000165f: DUP1
00001660: DUP4
00001661: SUB
00001662: DUP2
00001663: PUSH1 0x00
00001665: DUP8
00001666: DUP1
00001667: EXTCODESIZE
00001668: ISZERO
00001669: ISZERO
0000166a: PUSH2 0x1672
0000166d: JUMPI
0000166e: PUSH1 0x00
00001670: DUP1
00001671: REVERT
00001672: JUMPDEST
00001673: PUSH2 0x02c6
00001676: GAS
00001677: SUB
00001678: CALL
00001679: ISZERO
0000167a: ISZERO
0000167b: PUSH2 0x1683
0000167e: JUMPI
0000167f: PUSH1 0x00
00001681: DUP1
00001682: REVERT
00001683: JUMPDEST
00001684: POP
00001685: POP
00001686: POP
00001687: PUSH1 0x40
00001689: MLOAD
0000168a: DUP1
0000168b: MLOAD
0000168c: SWAP1
0000168d: POP
0000168e: SWAP4
0000168f: POP
00001690: ADDRESS
00001691: PUSH1 0x01
00001693: PUSH1 0xa0
00001695: PUSH1 0x02
00001697: EXP
00001698: SUB
00001699: AND
0000169a: DUP5
0000169b: PUSH1 0x01
0000169d: PUSH1 0xa0
0000169f: PUSH1 0x02
000016a1: EXP
000016a2: SUB
000016a3: AND
000016a4: EQ
000016a5: ISZERO
000016a6: PUSH2 0x16ae
000016a9: JUMPI
000016aa: PUSH1 0x00
000016ac: DUP1
000016ad: REVERT
000016ae: JUMPDEST
000016af: PUSH1 0x01
000016b1: PUSH1 0xa0
000016b3: PUSH1 0x02
000016b5: EXP
000016b6: SUB
000016b7: DUP5
000016b8: AND
000016b9: ISZERO
000016ba: ISZERO
000016bb: PUSH2 0x16c3
000016be: JUMPI
000016bf: PUSH2 0x16d2
000016c2: JUMP
000016c3: JUMPDEST
000016c4: DUP4
000016c5: SWAP6
000016c6: POP
000016c7: JUMPDEST
000016c8: PUSH1 0x01
000016ca: SWAP1
000016cb: SWAP5
000016cc: ADD
000016cd: SWAP4
000016ce: PUSH2 0x161f
000016d1: JUMP
000016d2: JUMPDEST
000016d3: CALLER
000016d4: PUSH1 0x01
000016d6: PUSH1 0xa0
000016d8: PUSH1 0x02
000016da: EXP
000016db: SUB
000016dc: AND
000016dd: PUSH1 0x00
000016df: SWAP1
000016e0: DUP2
000016e1: MSTORE
000016e2: PUSH1 0x00
000016e4: DUP1
000016e5: MLOAD
000016e6: PUSH1 0x20
000016e8: PUSH2 0x2180
000016eb: DUP4
000016ec: CODECOPY
000016ed: DUP2
000016ee: MLOAD
000016ef: SWAP2
000016f0: MSTORE
000016f1: PUSH1 0x20
000016f3: MSTORE
000016f4: PUSH1 0x40
000016f6: DUP2
000016f7: KECCAK256
000016f8: SLOAD
000016f9: SWAP4
000016fa: POP
000016fb: DUP4
000016fc: GT
000016fd: ISZERO
000016fe: PUSH2 0x178a
00001701: JUMPI
00001702: PUSH1 0x01
00001704: PUSH1 0xa0
00001706: PUSH1 0x02
00001708: EXP
00001709: SUB
0000170a: CALLER
0000170b: DUP2
0000170c: DUP2
0000170d: AND
0000170e: PUSH1 0x00
00001710: SWAP1
00001711: DUP2
00001712: MSTORE
00001713: PUSH1 0x00
00001715: DUP1
00001716: MLOAD
00001717: PUSH1 0x20
00001719: PUSH2 0x2180
0000171c: DUP4
0000171d: CODECOPY
0000171e: DUP2
0000171f: MLOAD
00001720: SWAP2
00001721: MSTORE
00001722: PUSH1 0x20
00001724: MSTORE
00001725: PUSH1 0x40
00001727: DUP1
00001728: DUP3
00001729: KECCAK256
0000172a: SWAP2
0000172b: SWAP1
0000172c: SWAP2
0000172d: SSTORE
0000172e: SWAP2
0000172f: DUP9
00001730: AND
00001731: SWAP2
00001732: PUSH4 0x6a523c5e
00001737: SWAP2
00001738: DUP7
00001739: SWAP2
0000173a: MLOAD
0000173b: PUSH1 0xe0
0000173d: PUSH1 0x02
0000173f: EXP
00001740: PUSH4 0xffffffff
00001745: DUP6
00001746: AND
00001747: MUL
00001748: DUP2
00001749: MSTORE
0000174a: PUSH1 0x01
0000174c: PUSH1 0xa0
0000174e: PUSH1 0x02
00001750: EXP
00001751: SUB
00001752: SWAP1
00001753: SWAP2
00001754: AND
00001755: PUSH1 0x04
00001757: DUP3
00001758: ADD
00001759: MSTORE
0000175a: PUSH1 0x24
0000175c: ADD
0000175d: PUSH1 0x00
0000175f: PUSH1 0x40
00001761: MLOAD
00001762: DUP1
00001763: DUP4
00001764: SUB
00001765: DUP2
00001766: DUP6
00001767: DUP9
00001768: DUP1
00001769: EXTCODESIZE
0000176a: ISZERO
0000176b: ISZERO
0000176c: PUSH2 0x1774
0000176f: JUMPI
00001770: PUSH1 0x00
00001772: DUP1
00001773: REVERT
00001774: JUMPDEST
00001775: PUSH2 0x25ee
00001778: GAS
00001779: SUB
0000177a: CALL
0000177b: ISZERO
0000177c: ISZERO
0000177d: PUSH2 0x1785
00001780: JUMPI
00001781: PUSH1 0x00
00001783: DUP1
00001784: REVERT
00001785: JUMPDEST
00001786: POP
00001787: POP
00001788: POP
00001789: POP
0000178a: JUMPDEST
0000178b: PUSH1 0x00
0000178d: SWAP5
0000178e: POP
0000178f: JUMPDEST
00001790: DUP7
00001791: MLOAD
00001792: DUP6
00001793: PUSH2 0xffff
00001796: AND
00001797: LT
00001798: ISZERO
00001799: PUSH2 0x1929
0000179c: JUMPI
0000179d: DUP7
0000179e: DUP6
0000179f: PUSH2 0xffff
000017a2: AND
000017a3: DUP2
000017a4: MLOAD
000017a5: DUP2
000017a6: LT
000017a7: PUSH2 0x17ac
000017aa: JUMPI
000017ab: INVALID
000017ac: JUMPDEST
000017ad: SWAP1
000017ae: PUSH1 0x20
000017b0: ADD
000017b1: SWAP1
000017b2: PUSH1 0x20
000017b4: MUL
000017b5: ADD
000017b6: MLOAD
000017b7: SWAP2
000017b8: POP
000017b9: PUSH1 0x01
000017bb: PUSH1 0xa0
000017bd: PUSH1 0x02
000017bf: EXP
000017c0: SUB
000017c1: DUP3
000017c2: AND
000017c3: ISZERO
000017c4: ISZERO
000017c5: PUSH2 0x17cd
000017c8: JUMPI
000017c9: PUSH1 0x00
000017cb: DUP1
000017cc: REVERT
000017cd: JUMPDEST
000017ce: POP
000017cf: PUSH1 0x01
000017d1: PUSH1 0xa0
000017d3: PUSH1 0x02
000017d5: EXP
000017d6: SUB
000017d7: DUP1
000017d8: DUP3
000017d9: AND
000017da: PUSH1 0x00
000017dc: SWAP1
000017dd: DUP2
000017de: MSTORE
000017df: PUSH1 0x05
000017e1: PUSH1 0x20
000017e3: SWAP1
000017e4: DUP2
000017e5: MSTORE
000017e6: PUSH1 0x40
000017e8: DUP1
000017e9: DUP4
000017ea: KECCAK256
000017eb: CALLER
000017ec: SWAP1
000017ed: SWAP5
000017ee: AND
000017ef: DUP4
000017f0: MSTORE
000017f1: SWAP3
000017f2: SWAP1
000017f3: MSTORE
000017f4: KECCAK256
000017f5: SLOAD
000017f6: DUP1
000017f7: ISZERO
000017f8: ISZERO
000017f9: PUSH2 0x1801
000017fc: JUMPI
000017fd: PUSH2 0x191e
00001800: JUMP
00001801: JUMPDEST
00001802: DUP2
00001803: PUSH1 0x01
00001805: PUSH1 0xa0
00001807: PUSH1 0x02
00001809: EXP
0000180a: SUB
0000180b: AND
0000180c: PUSH4 0x095ea7b3
00001811: DUP8
00001812: DUP4
00001813: PUSH1 0x00
00001815: PUSH1 0x40
00001817: MLOAD
00001818: PUSH1 0x20
0000181a: ADD
0000181b: MSTORE
0000181c: PUSH1 0x40
0000181e: MLOAD
0000181f: PUSH1 0xe0
00001821: PUSH1 0x02
00001823: EXP
00001824: PUSH4 0xffffffff
00001829: DUP6
0000182a: AND
0000182b: MUL
0000182c: DUP2
0000182d: MSTORE
0000182e: PUSH1 0x01
00001830: PUSH1 0xa0
00001832: PUSH1 0x02
00001834: EXP
00001835: SUB
00001836: SWAP1
00001837: SWAP3
00001838: AND
00001839: PUSH1 0x04
0000183b: DUP4
0000183c: ADD
0000183d: MSTORE
0000183e: PUSH1 0x24
00001840: DUP3
00001841: ADD
00001842: MSTORE
00001843: PUSH1 0x44
00001845: ADD
00001846: PUSH1 0x20
00001848: PUSH1 0x40
0000184a: MLOAD
0000184b: DUP1
0000184c: DUP4
0000184d: SUB
0000184e: DUP2
0000184f: PUSH1 0x00
00001851: DUP8
00001852: DUP1
00001853: EXTCODESIZE
00001854: ISZERO
00001855: ISZERO
00001856: PUSH2 0x185e
00001859: JUMPI
0000185a: PUSH1 0x00
0000185c: DUP1
0000185d: REVERT
0000185e: JUMPDEST
0000185f: PUSH2 0x02c6
00001862: GAS
00001863: SUB
00001864: CALL
00001865: ISZERO
00001866: ISZERO
00001867: PUSH2 0x186f
0000186a: JUMPI
0000186b: PUSH1 0x00
0000186d: DUP1
0000186e: REVERT
0000186f: JUMPDEST
00001870: POP
00001871: POP
00001872: POP
00001873: PUSH1 0x40
00001875: MLOAD
00001876: DUP1
00001877: MLOAD
00001878: SWAP1
00001879: POP
0000187a: ISZERO
0000187b: ISZERO
0000187c: PUSH2 0x1884
0000187f: JUMPI
00001880: PUSH1 0x00
00001882: DUP1
00001883: REVERT
00001884: JUMPDEST
00001885: PUSH1 0x01
00001887: PUSH1 0xa0
00001889: PUSH1 0x02
0000188b: EXP
0000188c: SUB
0000188d: DUP1
0000188e: DUP4
0000188f: AND
00001890: PUSH1 0x00
00001892: SWAP1
00001893: DUP2
00001894: MSTORE
00001895: PUSH1 0x05
00001897: PUSH1 0x20
00001899: SWAP1
0000189a: DUP2
0000189b: MSTORE
0000189c: PUSH1 0x40
0000189e: DUP1
0000189f: DUP4
000018a0: KECCAK256
000018a1: CALLER
000018a2: DUP1
000018a3: DUP7
000018a4: AND
000018a5: DUP6
000018a6: MSTORE
000018a7: SWAP3
000018a8: MSTORE
000018a9: DUP1
000018aa: DUP4
000018ab: KECCAK256
000018ac: SWAP3
000018ad: SWAP1
000018ae: SWAP3
000018af: SSTORE
000018b0: SWAP2
000018b1: DUP9
000018b2: AND
000018b3: SWAP2
000018b4: PUSH4 0x3c2e2a75
000018b9: SWAP2
000018ba: DUP6
000018bb: SWAP2
000018bc: DUP6
000018bd: SWAP2
000018be: MLOAD
000018bf: PUSH1 0xe0
000018c1: PUSH1 0x02
000018c3: EXP
000018c4: PUSH4 0xffffffff
000018c9: DUP7
000018ca: AND
000018cb: MUL
000018cc: DUP2
000018cd: MSTORE
000018ce: PUSH1 0x01
000018d0: PUSH1 0xa0
000018d2: PUSH1 0x02
000018d4: EXP
000018d5: SUB
000018d6: SWAP4
000018d7: DUP5
000018d8: AND
000018d9: PUSH1 0x04
000018db: DUP3
000018dc: ADD
000018dd: MSTORE
000018de: PUSH1 0x24
000018e0: DUP2
000018e1: ADD
000018e2: SWAP3
000018e3: SWAP1
000018e4: SWAP3
000018e5: MSTORE
000018e6: SWAP1
000018e7: SWAP2
000018e8: AND
000018e9: PUSH1 0x44
000018eb: DUP3
000018ec: ADD
000018ed: MSTORE
000018ee: PUSH1 0x64
000018f0: ADD
000018f1: PUSH1 0x00
000018f3: PUSH1 0x40
000018f5: MLOAD
000018f6: DUP1
000018f7: DUP4
000018f8: SUB
000018f9: DUP2
000018fa: PUSH1 0x00
000018fc: DUP8
000018fd: DUP1
000018fe: EXTCODESIZE
000018ff: ISZERO
00001900: ISZERO
00001901: PUSH2 0x1909
00001904: JUMPI
00001905: PUSH1 0x00
00001907: DUP1
00001908: REVERT
00001909: JUMPDEST
0000190a: PUSH2 0x02c6
0000190d: GAS
0000190e: SUB
0000190f: CALL
00001910: ISZERO
00001911: ISZERO
00001912: PUSH2 0x191a
00001915: JUMPI
00001916: PUSH1 0x00
00001918: DUP1
00001919: REVERT
0000191a: JUMPDEST
0000191b: POP
0000191c: POP
0000191d: POP
0000191e: JUMPDEST
0000191f: PUSH1 0x01
00001921: SWAP1
00001922: SWAP5
00001923: ADD
00001924: SWAP4
00001925: PUSH2 0x178f
00001928: JUMP
00001929: JUMPDEST
0000192a: PUSH32 0x0e3e9a671666295c299b941a07625839915442794bf73a484b24bb3e221270c3
0000194b: CALLER
0000194c: PUSH1 0x40
0000194e: MLOAD
0000194f: PUSH1 0x01
00001951: PUSH1 0xa0
00001953: PUSH1 0x02
00001955: EXP
00001956: SUB
00001957: SWAP1
00001958: SWAP2
00001959: AND
0000195a: DUP2
0000195b: MSTORE
0000195c: PUSH1 0x20
0000195e: ADD
0000195f: PUSH1 0x40
00001961: MLOAD
00001962: DUP1
00001963: SWAP2
00001964: SUB
00001965: SWAP1
00001966: LOG1
00001967: JUMPDEST
00001968: POP
00001969: POP
0000196a: POP
0000196b: POP
0000196c: POP
0000196d: POP
0000196e: POP
0000196f: JUMP
00001970: JUMPDEST
00001971: PUSH1 0x08
00001973: SLOAD
00001974: PUSH1 0xa0
00001976: PUSH1 0x02
00001978: EXP
00001979: SWAP1
0000197a: DIV
0000197b: PUSH1 0xff
0000197d: AND
0000197e: ISZERO
0000197f: PUSH2 0x1987
00001982: JUMPI
00001983: PUSH1 0x00
00001985: DUP1
00001986: REVERT
00001987: JUMPDEST
00001988: CALLER
00001989: PUSH1 0x01
0000198b: PUSH1 0xa0
0000198d: PUSH1 0x02
0000198f: EXP
00001990: SUB
00001991: AND
00001992: PUSH1 0x00
00001994: SWAP1
00001995: DUP2
00001996: MSTORE
00001997: PUSH1 0x00
00001999: DUP1
0000199a: MLOAD
0000199b: PUSH1 0x20
0000199d: PUSH2 0x2180
000019a0: DUP4
000019a1: CODECOPY
000019a2: DUP2
000019a3: MLOAD
000019a4: SWAP2
000019a5: MSTORE
000019a6: PUSH1 0x20
000019a8: MSTORE
000019a9: PUSH1 0x40
000019ab: SWAP1
000019ac: KECCAK256
000019ad: SLOAD
000019ae: PUSH2 0x19b7
000019b1: SWAP1
000019b2: CALLVALUE
000019b3: PUSH2 0x1d3d
000019b6: JUMP
000019b7: JUMPDEST
000019b8: CALLER
000019b9: PUSH1 0x01
000019bb: PUSH1 0xa0
000019bd: PUSH1 0x02
000019bf: EXP
000019c0: SUB
000019c1: DUP2
000019c2: AND
000019c3: PUSH1 0x00
000019c5: SWAP1
000019c6: DUP2
000019c7: MSTORE
000019c8: PUSH1 0x00
000019ca: DUP1
000019cb: MLOAD
000019cc: PUSH1 0x20
000019ce: PUSH2 0x2180
000019d1: DUP4
000019d2: CODECOPY
000019d3: DUP2
000019d4: MLOAD
000019d5: SWAP2
000019d6: MSTORE
000019d7: PUSH1 0x20
000019d9: MSTORE
000019da: PUSH1 0x40
000019dc: DUP1
000019dd: DUP3
000019de: KECCAK256
000019df: DUP5
000019e0: SWAP1
000019e1: SSTORE
000019e2: PUSH32 0xdcbc1c05240f31ff3ad067ef1ee35ce4997762752e3a095284754544f4c709d7
00001a03: SWAP4
00001a04: SWAP2
00001a05: SWAP3
00001a06: SWAP2
00001a07: CALLVALUE
00001a08: SWAP2
00001a09: MLOAD
00001a0a: PUSH1 0x01
00001a0c: PUSH1 0xa0
00001a0e: PUSH1 0x02
00001a10: EXP
00001a11: SUB
00001a12: SWAP5
00001a13: DUP6
00001a14: AND
00001a15: DUP2
00001a16: MSTORE
00001a17: SWAP3
00001a18: SWAP1
00001a19: SWAP4
00001a1a: AND
00001a1b: PUSH1 0x20
00001a1d: DUP4
00001a1e: ADD
00001a1f: MSTORE
00001a20: PUSH1 0x40
00001a22: DUP1
00001a23: DUP4
00001a24: ADD
00001a25: SWAP2
00001a26: SWAP1
00001a27: SWAP2
00001a28: MSTORE
00001a29: PUSH1 0x60
00001a2b: DUP3
00001a2c: ADD
00001a2d: SWAP3
00001a2e: SWAP1
00001a2f: SWAP3
00001a30: MSTORE
00001a31: PUSH1 0x80
00001a33: ADD
00001a34: SWAP1
00001a35: MLOAD
00001a36: DUP1
00001a37: SWAP2
00001a38: SUB
00001a39: SWAP1
00001a3a: LOG1
00001a3b: JUMPDEST
00001a3c: JUMPDEST
00001a3d: JUMP
00001a3e: JUMPDEST
00001a3f: PUSH1 0x04
00001a41: SLOAD
00001a42: DUP2
00001a43: JUMP
00001a44: JUMPDEST
00001a45: PUSH1 0x00
00001a47: SLOAD
00001a48: CALLER
00001a49: PUSH1 0x01
00001a4b: PUSH1 0xa0
00001a4d: PUSH1 0x02
00001a4f: EXP
00001a50: SUB
00001a51: SWAP1
00001a52: DUP2
00001a53: AND
00001a54: SWAP2
00001a55: AND
00001a56: EQ
00001a57: PUSH2 0x1a5f
00001a5a: JUMPI
00001a5b: PUSH1 0x00
00001a5d: DUP1
00001a5e: REVERT
00001a5f: JUMPDEST
00001a60: PUSH1 0x08
00001a62: DUP1
00001a63: SLOAD
00001a64: PUSH21 0xff0000000000000000000000000000000000000000
00001a7a: NOT
00001a7b: AND
00001a7c: PUSH1 0xa0
00001a7e: PUSH1 0x02
00001a80: EXP
00001a81: DUP5
00001a82: ISZERO
00001a83: ISZERO
00001a84: MUL
00001a85: OR
00001a86: SWAP1
00001a87: SSTORE
00001a88: PUSH1 0x07
00001a8a: DUP1
00001a8b: SLOAD
00001a8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aa1: NOT
00001aa2: AND
00001aa3: PUSH1 0x01
00001aa5: PUSH1 0xa0
00001aa7: PUSH1 0x02
00001aa9: EXP
00001aaa: SUB
00001aab: DUP4
00001aac: AND
00001aad: OR
00001aae: SWAP1
00001aaf: SSTORE
00001ab0: JUMPDEST
00001ab1: JUMPDEST
00001ab2: POP
00001ab3: POP
00001ab4: JUMP
00001ab5: JUMPDEST
00001ab6: PUSH1 0x00
00001ab8: SLOAD
00001ab9: CALLER
00001aba: PUSH1 0x01
00001abc: PUSH1 0xa0
00001abe: PUSH1 0x02
00001ac0: EXP
00001ac1: SUB
00001ac2: SWAP1
00001ac3: DUP2
00001ac4: AND
00001ac5: SWAP2
00001ac6: AND
00001ac7: EQ
00001ac8: PUSH2 0x1ad0
00001acb: JUMPI
00001acc: PUSH1 0x00
00001ace: DUP1
00001acf: REVERT
00001ad0: JUMPDEST
00001ad1: PUSH1 0x01
00001ad3: PUSH1 0xa0
00001ad5: PUSH1 0x02
00001ad7: EXP
00001ad8: SUB
00001ad9: DUP2
00001ada: AND
00001adb: ISZERO
00001adc: ISZERO
00001add: PUSH2 0x1ae5
00001ae0: JUMPI
00001ae1: PUSH1 0x00
00001ae3: DUP1
00001ae4: REVERT
00001ae5: JUMPDEST
00001ae6: PUSH1 0x00
00001ae8: DUP1
00001ae9: SLOAD
00001aea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001aff: NOT
00001b00: AND
00001b01: PUSH1 0x01
00001b03: PUSH1 0xa0
00001b05: PUSH1 0x02
00001b07: EXP
00001b08: SUB
00001b09: DUP4
00001b0a: AND
00001b0b: OR
00001b0c: SWAP1
00001b0d: SSTORE
00001b0e: JUMPDEST
00001b0f: JUMPDEST
00001b10: POP
00001b11: JUMP
00001b12: JUMPDEST
00001b13: PUSH1 0x01
00001b15: PUSH1 0xa0
00001b17: PUSH1 0x02
00001b19: EXP
00001b1a: SUB
00001b1b: DUP1
00001b1c: DUP4
00001b1d: AND
00001b1e: PUSH1 0x00
00001b20: SWAP1
00001b21: DUP2
00001b22: MSTORE
00001b23: PUSH1 0x05
00001b25: PUSH1 0x20
00001b27: SWAP1
00001b28: DUP2
00001b29: MSTORE
00001b2a: PUSH1 0x40
00001b2c: DUP1
00001b2d: DUP4
00001b2e: KECCAK256
00001b2f: SWAP4
00001b30: DUP6
00001b31: AND
00001b32: DUP4
00001b33: MSTORE
00001b34: SWAP3
00001b35: SWAP1
00001b36: MSTORE
00001b37: KECCAK256
00001b38: SLOAD
00001b39: JUMPDEST
00001b3a: SWAP3
00001b3b: SWAP2
00001b3c: POP
00001b3d: POP
00001b3e: JUMP
00001b3f: JUMPDEST
00001b40: PUSH1 0x00
00001b42: DUP1
00001b43: PUSH1 0x00
00001b45: DUP1
00001b46: PUSH1 0x02
00001b48: ADDRESS
00001b49: DUP16
00001b4a: DUP16
00001b4b: DUP16
00001b4c: DUP16
00001b4d: DUP16
00001b4e: DUP16
00001b4f: PUSH1 0x00
00001b51: PUSH1 0x40
00001b53: MLOAD
00001b54: PUSH1 0x20
00001b56: ADD
00001b57: MSTORE
00001b58: PUSH1 0x40
00001b5a: MLOAD
00001b5b: PUSH13 0x01000000000000000000000000
00001b69: PUSH1 0x01
00001b6b: PUSH1 0xa0
00001b6d: PUSH1 0x02
00001b6f: EXP
00001b70: SUB
00001b71: SWAP9
00001b72: DUP10
00001b73: AND
00001b74: DUP2
00001b75: MUL
00001b76: DUP3
00001b77: MSTORE
00001b78: SWAP7
00001b79: DUP9
00001b7a: AND
00001b7b: DUP8
00001b7c: MUL
00001b7d: PUSH1 0x14
00001b7f: DUP3
00001b80: ADD
00001b81: MSTORE
00001b82: PUSH1 0x28
00001b84: DUP2
00001b85: ADD
00001b86: SWAP6
00001b87: SWAP1
00001b88: SWAP6
00001b89: MSTORE
00001b8a: SWAP3
00001b8b: SWAP1
00001b8c: SWAP6
00001b8d: AND
00001b8e: SWAP1
00001b8f: SWAP4
00001b90: MUL
00001b91: PUSH1 0x48
00001b93: DUP4
00001b94: ADD
00001b95: MSTORE
00001b96: PUSH1 0x5c
00001b98: DUP3
00001b99: ADD
00001b9a: SWAP3
00001b9b: SWAP1
00001b9c: SWAP3
00001b9d: MSTORE
00001b9e: PUSH1 0x7c
00001ba0: DUP2
00001ba1: ADD
00001ba2: SWAP3
00001ba3: SWAP1
00001ba4: SWAP3
00001ba5: MSTORE
00001ba6: PUSH1 0x9c
00001ba8: DUP3
00001ba9: ADD
00001baa: MSTORE
00001bab: PUSH1 0xbc
00001bad: ADD
00001bae: PUSH1 0x20
00001bb0: PUSH1 0x40
00001bb2: MLOAD
00001bb3: DUP1
00001bb4: DUP4
00001bb5: SUB
00001bb6: DUP2
00001bb7: PUSH1 0x00
00001bb9: DUP7
00001bba: PUSH2 0x646e
00001bbd: GAS
00001bbe: SUB
00001bbf: CALL
00001bc0: ISZERO
00001bc1: ISZERO
00001bc2: PUSH2 0x1bca
00001bc5: JUMPI
00001bc6: PUSH1 0x00
00001bc8: DUP1
00001bc9: REVERT
00001bca: JUMPDEST
00001bcb: POP
00001bcc: POP
00001bcd: PUSH1 0x40
00001bcf: MLOAD
00001bd0: DUP1
00001bd1: MLOAD
00001bd2: SWAP4
00001bd3: POP
00001bd4: POP
00001bd5: PUSH1 0x01
00001bd7: PUSH1 0xa0
00001bd9: PUSH1 0x02
00001bdb: EXP
00001bdc: SUB
00001bdd: DUP9
00001bde: AND
00001bdf: PUSH1 0x01
00001be1: DUP5
00001be2: PUSH1 0x40
00001be4: MLOAD
00001be5: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000
00001c06: DUP2
00001c07: MSTORE
00001c08: PUSH1 0x1c
00001c0a: DUP2
00001c0b: ADD
00001c0c: SWAP2
00001c0d: SWAP1
00001c0e: SWAP2
00001c0f: MSTORE
00001c10: PUSH1 0x3c
00001c12: ADD
00001c13: PUSH1 0x40
00001c15: MLOAD
00001c16: DUP1
00001c17: SWAP2
00001c18: SUB
00001c19: SWAP1
00001c1a: KECCAK256
00001c1b: DUP10
00001c1c: DUP10
00001c1d: DUP10
00001c1e: PUSH1 0x40
00001c20: MLOAD
00001c21: DUP1
00001c22: PUSH1 0x00
00001c24: MSTORE
00001c25: PUSH1 0x20
00001c27: ADD
00001c28: PUSH1 0x40
00001c2a: MSTORE
00001c2b: PUSH1 0x00
00001c2d: PUSH1 0x40
00001c2f: MLOAD
00001c30: PUSH1 0x20
00001c32: ADD
00001c33: MSTORE
00001c34: PUSH1 0x40
00001c36: MLOAD
00001c37: SWAP4
00001c38: DUP5
00001c39: MSTORE
00001c3a: PUSH1 0xff
00001c3c: SWAP1
00001c3d: SWAP3
00001c3e: AND
00001c3f: PUSH1 0x20
00001c41: DUP1
00001c42: DUP6
00001c43: ADD
00001c44: SWAP2
00001c45: SWAP1
00001c46: SWAP2
00001c47: MSTORE
00001c48: PUSH1 0x40
00001c4a: DUP1
00001c4b: DUP6
00001c4c: ADD
00001c4d: SWAP3
00001c4e: SWAP1
00001c4f: SWAP3
00001c50: MSTORE
00001c51: PUSH1 0x60
00001c53: DUP5
00001c54: ADD
00001c55: SWAP3
00001c56: SWAP1
00001c57: SWAP3
00001c58: MSTORE
00001c59: PUSH1 0x80
00001c5b: SWAP1
00001c5c: SWAP3
00001c5d: ADD
00001c5e: SWAP2
00001c5f: MLOAD
00001c60: PUSH1 0x20
00001c62: DUP2
00001c63: SUB
00001c64: SWAP1
00001c65: DUP1
00001c66: DUP5
00001c67: SUB
00001c68: SWAP1
00001c69: PUSH1 0x00
00001c6b: DUP7
00001c6c: PUSH2 0x646e
00001c6f: GAS
00001c70: SUB
00001c71: CALL
00001c72: ISZERO
00001c73: ISZERO
00001c74: PUSH2 0x1c7c
00001c77: JUMPI
00001c78: PUSH1 0x00
00001c7a: DUP1
00001c7b: REVERT
00001c7c: JUMPDEST
00001c7d: POP
00001c7e: POP
00001c7f: PUSH1 0x20
00001c81: PUSH1 0x40
00001c83: MLOAD
00001c84: SUB
00001c85: MLOAD
00001c86: PUSH1 0x01
00001c88: PUSH1 0xa0
00001c8a: PUSH1 0x02
00001c8c: EXP
00001c8d: SUB
00001c8e: AND
00001c8f: EQ
00001c90: ISZERO
00001c91: DUP1
00001c92: PUSH2 0x1c9a
00001c95: JUMPI
00001c96: POP
00001c97: DUP10
00001c98: NUMBER
00001c99: GT
00001c9a: JUMPDEST
00001c9b: ISZERO
00001c9c: PUSH2 0x1ca8
00001c9f: JUMPI
00001ca0: PUSH1 0x00
00001ca2: SWAP4
00001ca3: POP
00001ca4: PUSH2 0x1d2c
00001ca7: JUMP
00001ca8: JUMPDEST
00001ca9: PUSH1 0x01
00001cab: PUSH1 0xa0
00001cad: PUSH1 0x02
00001caf: EXP
00001cb0: SUB
00001cb1: DUP9
00001cb2: AND
00001cb3: PUSH1 0x00
00001cb5: SWAP1
00001cb6: DUP2
00001cb7: MSTORE
00001cb8: PUSH1 0x06
00001cba: PUSH1 0x20
00001cbc: SWAP1
00001cbd: DUP2
00001cbe: MSTORE
00001cbf: PUSH1 0x40
00001cc1: DUP1
00001cc2: DUP4
00001cc3: KECCAK256
00001cc4: DUP7
00001cc5: DUP5
00001cc6: MSTORE
00001cc7: SWAP1
00001cc8: SWAP2
00001cc9: MSTORE
00001cca: SWAP1
00001ccb: KECCAK256
00001ccc: SLOAD
00001ccd: PUSH2 0x1cd7
00001cd0: SWAP1
00001cd1: DUP15
00001cd2: SWAP1
00001cd3: PUSH2 0x2139
00001cd6: JUMP
00001cd7: JUMPDEST
00001cd8: PUSH1 0x01
00001cda: PUSH1 0xa0
00001cdc: PUSH1 0x02
00001cde: EXP
00001cdf: SUB
00001ce0: DUP1
00001ce1: DUP15
00001ce2: AND
00001ce3: PUSH1 0x00
00001ce5: SWAP1
00001ce6: DUP2
00001ce7: MSTORE
00001ce8: PUSH1 0x05
00001cea: PUSH1 0x20
00001cec: SWAP1
00001ced: DUP2
00001cee: MSTORE
00001cef: PUSH1 0x40
00001cf1: DUP1
00001cf2: DUP4
00001cf3: KECCAK256
00001cf4: SWAP4
00001cf5: DUP14
00001cf6: AND
00001cf7: DUP4
00001cf8: MSTORE
00001cf9: SWAP3
00001cfa: SWAP1
00001cfb: MSTORE
00001cfc: KECCAK256
00001cfd: SLOAD
00001cfe: SWAP1
00001cff: SWAP3
00001d00: POP
00001d01: DUP12
00001d02: SWAP1
00001d03: PUSH2 0x1d0c
00001d06: SWAP1
00001d07: DUP16
00001d08: PUSH2 0x2150
00001d0b: JUMP
00001d0c: JUMPDEST
00001d0d: DUP2
00001d0e: ISZERO
00001d0f: ISZERO
00001d10: PUSH2 0x1d15
00001d13: JUMPI
00001d14: INVALID
00001d15: JUMPDEST
00001d16: DIV
00001d17: SWAP1
00001d18: POP
00001d19: DUP1
00001d1a: DUP3
00001d1b: LT
00001d1c: ISZERO
00001d1d: PUSH2 0x1d28
00001d20: JUMPI
00001d21: DUP2
00001d22: SWAP4
00001d23: POP
00001d24: PUSH2 0x1d2c
00001d27: JUMP
00001d28: JUMPDEST
00001d29: DUP1
00001d2a: SWAP4
00001d2b: POP
00001d2c: JUMPDEST
00001d2d: POP
00001d2e: POP
00001d2f: POP
00001d30: SWAP11
00001d31: SWAP10
00001d32: POP
00001d33: POP
00001d34: POP
00001d35: POP
00001d36: POP
00001d37: POP
00001d38: POP
00001d39: POP
00001d3a: POP
00001d3b: POP
00001d3c: JUMP
00001d3d: JUMPDEST
00001d3e: PUSH1 0x00
00001d40: DUP3
00001d41: DUP3
00001d42: ADD
00001d43: DUP4
00001d44: DUP2
00001d45: LT
00001d46: DUP1
00001d47: ISZERO
00001d48: SWAP1
00001d49: PUSH2 0x1d52
00001d4c: JUMPI
00001d4d: POP
00001d4e: DUP3
00001d4f: DUP2
00001d50: LT
00001d51: ISZERO
00001d52: JUMPDEST
00001d53: ISZERO
00001d54: ISZERO
00001d55: PUSH2 0x1d5a
00001d58: JUMPI
00001d59: INVALID
00001d5a: JUMPDEST
00001d5b: DUP1
00001d5c: SWAP2
00001d5d: POP
00001d5e: JUMPDEST
00001d5f: POP
00001d60: SWAP3
00001d61: SWAP2
00001d62: POP
00001d63: POP
00001d64: JUMP
00001d65: JUMPDEST
00001d66: PUSH1 0x00
00001d68: DUP1
00001d69: PUSH1 0x00
00001d6b: DUP1
00001d6c: PUSH1 0x00
00001d6e: PUSH8 0x0de0b6b3a7640000
00001d77: PUSH2 0x1d82
00001d7a: DUP8
00001d7b: PUSH1 0x04
00001d7d: SLOAD
00001d7e: PUSH2 0x2150
00001d81: JUMP
00001d82: JUMPDEST
00001d83: DUP2
00001d84: ISZERO
00001d85: ISZERO
00001d86: PUSH2 0x1d8b
00001d89: JUMPI
00001d8a: INVALID
00001d8b: JUMPDEST
00001d8c: DIV
00001d8d: SWAP5
00001d8e: POP
00001d8f: PUSH1 0x00
00001d91: SWAP4
00001d92: POP
00001d93: DUP11
00001d94: PUSH2 0x1d9d
00001d97: DUP11
00001d98: DUP9
00001d99: PUSH2 0x2150
00001d9c: JUMP
00001d9d: JUMPDEST
00001d9e: DUP2
00001d9f: ISZERO
00001da0: ISZERO
00001da1: PUSH2 0x1da6
00001da4: JUMPI
00001da5: INVALID
00001da6: JUMPDEST
00001da7: PUSH1 0x02
00001da9: SLOAD
00001daa: SWAP2
00001dab: SWAP1
00001dac: DIV
00001dad: SWAP4
00001dae: POP
00001daf: PUSH1 0x01
00001db1: PUSH1 0xa0
00001db3: PUSH1 0x02
00001db5: EXP
00001db6: SUB
00001db7: AND
00001db8: ISZERO
00001db9: PUSH2 0x1e90
00001dbc: JUMPI
00001dbd: PUSH1 0x02
00001dbf: SLOAD
00001dc0: PUSH1 0x01
00001dc2: PUSH1 0xa0
00001dc4: PUSH1 0x02
00001dc6: EXP
00001dc7: SUB
00001dc8: AND
00001dc9: PUSH4 0xe97fe114
00001dce: DUP10
00001dcf: DUP10
00001dd0: PUSH1 0x00
00001dd2: PUSH1 0x40
00001dd4: MLOAD
00001dd5: PUSH1 0x40
00001dd7: ADD
00001dd8: MSTORE
00001dd9: PUSH1 0x40
00001ddb: MLOAD
00001ddc: PUSH1 0xe0
00001dde: PUSH1 0x02
00001de0: EXP
00001de1: PUSH4 0xffffffff
00001de6: DUP6
00001de7: AND
00001de8: MUL
00001de9: DUP2
00001dea: MSTORE
00001deb: PUSH1 0x01
00001ded: PUSH1 0xa0
00001def: PUSH1 0x02
00001df1: EXP
00001df2: SUB
00001df3: SWAP3
00001df4: DUP4
00001df5: AND
00001df6: PUSH1 0x04
00001df8: DUP3
00001df9: ADD
00001dfa: MSTORE
00001dfb: SWAP2
00001dfc: AND
00001dfd: PUSH1 0x24
00001dff: DUP3
00001e00: ADD
00001e01: MSTORE
00001e02: PUSH1 0x44
00001e04: ADD
00001e05: PUSH1 0x40
00001e07: DUP1
00001e08: MLOAD
00001e09: DUP1
00001e0a: DUP4
00001e0b: SUB
00001e0c: DUP2
00001e0d: PUSH1 0x00
00001e0f: DUP8
00001e10: DUP1
00001e11: EXTCODESIZE
00001e12: ISZERO
00001e13: ISZERO
00001e14: PUSH2 0x1e1c
00001e17: JUMPI
00001e18: PUSH1 0x00
00001e1a: DUP1
00001e1b: REVERT
00001e1c: JUMPDEST
00001e1d: PUSH2 0x02c6
00001e20: GAS
00001e21: SUB
00001e22: CALL
00001e23: ISZERO
00001e24: ISZERO
00001e25: PUSH2 0x1e2d
00001e28: JUMPI
00001e29: PUSH1 0x00
00001e2b: DUP1
00001e2c: REVERT
00001e2d: JUMPDEST
00001e2e: POP
00001e2f: POP
00001e30: POP
00001e31: PUSH1 0x40
00001e33: MLOAD
00001e34: DUP1
00001e35: MLOAD
00001e36: SWAP1
00001e37: PUSH1 0x20
00001e39: ADD
00001e3a: DUP1
00001e3b: MLOAD
00001e3c: SWAP1
00001e3d: POP
00001e3e: SWAP2
00001e3f: POP
00001e40: SWAP2
00001e41: POP
00001e42: PUSH1 0x64
00001e44: DUP3
00001e45: GT
00001e46: ISZERO
00001e47: PUSH2 0x1e4f
00001e4a: JUMPI
00001e4b: PUSH1 0x00
00001e4d: SWAP2
00001e4e: POP
00001e4f: JUMPDEST
00001e50: PUSH1 0x64
00001e52: DUP2
00001e53: GT
00001e54: ISZERO
00001e55: PUSH2 0x1e5c
00001e58: JUMPI
00001e59: POP
00001e5a: PUSH1 0x00
00001e5c: JUMPDEST
00001e5d: PUSH1 0x64
00001e5f: PUSH2 0x1e6b
00001e62: DUP7
00001e63: DUP5
00001e64: PUSH1 0x64
00001e66: SUB
00001e67: PUSH2 0x2150
00001e6a: JUMP
00001e6b: JUMPDEST
00001e6c: DUP2
00001e6d: ISZERO
00001e6e: ISZERO
00001e6f: PUSH2 0x1e74
00001e72: JUMPI
00001e73: INVALID
00001e74: JUMPDEST
00001e75: DIV
00001e76: SWAP5
00001e77: POP
00001e78: PUSH1 0x64
00001e7a: PUSH2 0x1e83
00001e7d: DUP3
00001e7e: DUP8
00001e7f: PUSH2 0x2150
00001e82: JUMP
00001e83: JUMPDEST
00001e84: DUP2
00001e85: ISZERO
00001e86: ISZERO
00001e87: PUSH2 0x1e8c
00001e8a: JUMPI
00001e8b: INVALID
00001e8c: JUMPDEST
00001e8d: DIV
00001e8e: SWAP4
00001e8f: POP
00001e90: JUMPDEST
00001e91: PUSH1 0x01
00001e93: PUSH1 0xa0
00001e95: PUSH1 0x02
00001e97: EXP
00001e98: SUB
00001e99: DUP1
00001e9a: DUP14
00001e9b: AND
00001e9c: PUSH1 0x00
00001e9e: SWAP1
00001e9f: DUP2
00001ea0: MSTORE
00001ea1: PUSH1 0x05
00001ea3: PUSH1 0x20
00001ea5: SWAP1
00001ea6: DUP2
00001ea7: MSTORE
00001ea8: PUSH1 0x40
00001eaa: DUP1
00001eab: DUP4
00001eac: KECCAK256
00001ead: SWAP4
00001eae: DUP13
00001eaf: AND
00001eb0: DUP4
00001eb1: MSTORE
00001eb2: SWAP3
00001eb3: SWAP1
00001eb4: MSTORE
00001eb5: KECCAK256
00001eb6: SLOAD
00001eb7: PUSH2 0x1ec9
00001eba: SWAP1
00001ebb: PUSH2 0x1ec4
00001ebe: DUP9
00001ebf: DUP8
00001ec0: PUSH2 0x1d3d
00001ec3: JUMP
00001ec4: JUMPDEST
00001ec5: PUSH2 0x1d3d
00001ec8: JUMP
00001ec9: JUMPDEST
00001eca: PUSH1 0x01
00001ecc: PUSH1 0xa0
00001ece: PUSH1 0x02
00001ed0: EXP
00001ed1: SUB
00001ed2: DUP14
00001ed3: DUP2
00001ed4: AND
00001ed5: PUSH1 0x00
00001ed7: SWAP1
00001ed8: DUP2
00001ed9: MSTORE
00001eda: PUSH1 0x05
00001edc: PUSH1 0x20
00001ede: SWAP1
00001edf: DUP2
00001ee0: MSTORE
00001ee1: PUSH1 0x40
00001ee3: DUP1
00001ee4: DUP4
00001ee5: KECCAK256
00001ee6: DUP14
00001ee7: DUP6
00001ee8: AND
00001ee9: DUP5
00001eea: MSTORE
00001eeb: SWAP1
00001eec: SWAP2
00001eed: MSTORE
00001eee: DUP1
00001eef: DUP3
00001ef0: KECCAK256
00001ef1: SWAP4
00001ef2: SWAP1
00001ef3: SWAP4
00001ef4: SSTORE
00001ef5: SWAP1
00001ef6: DUP10
00001ef7: AND
00001ef8: DUP2
00001ef9: MSTORE
00001efa: KECCAK256
00001efb: SLOAD
00001efc: PUSH2 0x1f0e
00001eff: SWAP1
00001f00: PUSH2 0x1f09
00001f03: DUP9
00001f04: DUP9
00001f05: PUSH2 0x1d3d
00001f08: JUMP
00001f09: JUMPDEST
00001f0a: PUSH2 0x2139
00001f0d: JUMP
00001f0e: JUMPDEST
00001f0f: PUSH1 0x01
00001f11: PUSH1 0xa0
00001f13: PUSH1 0x02
00001f15: EXP
00001f16: SUB
00001f17: DUP1
00001f18: DUP15
00001f19: AND
00001f1a: PUSH1 0x00
00001f1c: SWAP1
00001f1d: DUP2
00001f1e: MSTORE
00001f1f: PUSH1 0x05
00001f21: PUSH1 0x20
00001f23: DUP2
00001f24: DUP2
00001f25: MSTORE
00001f26: PUSH1 0x40
00001f28: DUP1
00001f29: DUP5
00001f2a: KECCAK256
00001f2b: DUP14
00001f2c: DUP7
00001f2d: AND
00001f2e: DUP6
00001f2f: MSTORE
00001f30: DUP3
00001f31: MSTORE
00001f32: DUP1
00001f33: DUP5
00001f34: KECCAK256
00001f35: SWAP6
00001f36: SWAP1
00001f37: SWAP6
00001f38: SSTORE
00001f39: DUP15
00001f3a: DUP5
00001f3b: AND
00001f3c: DUP4
00001f3d: MSTORE
00001f3e: SWAP1
00001f3f: DUP2
00001f40: MSTORE
00001f41: DUP4
00001f42: DUP3
00001f43: KECCAK256
00001f44: SWAP3
00001f45: DUP13
00001f46: AND
00001f47: DUP3
00001f48: MSTORE
00001f49: SWAP2
00001f4a: SWAP1
00001f4b: SWAP2
00001f4c: MSTORE
00001f4d: KECCAK256
00001f4e: SLOAD
00001f4f: PUSH2 0x1f58
00001f52: SWAP1
00001f53: DUP5
00001f54: PUSH2 0x2139
00001f57: JUMP
00001f58: JUMPDEST
00001f59: PUSH1 0x01
00001f5b: PUSH1 0xa0
00001f5d: PUSH1 0x02
00001f5f: EXP
00001f60: SUB
00001f61: DUP12
00001f62: DUP2
00001f63: AND
00001f64: PUSH1 0x00
00001f66: SWAP1
00001f67: DUP2
00001f68: MSTORE
00001f69: PUSH1 0x05
00001f6b: PUSH1 0x20
00001f6d: SWAP1
00001f6e: DUP2
00001f6f: MSTORE
00001f70: PUSH1 0x40
00001f72: DUP1
00001f73: DUP4
00001f74: KECCAK256
00001f75: DUP14
00001f76: DUP6
00001f77: AND
00001f78: DUP5
00001f79: MSTORE
00001f7a: SWAP1
00001f7b: SWAP2
00001f7c: MSTORE
00001f7d: DUP1
00001f7e: DUP3
00001f7f: KECCAK256
00001f80: SWAP4
00001f81: SWAP1
00001f82: SWAP4
00001f83: SSTORE
00001f84: SWAP1
00001f85: DUP10
00001f86: AND
00001f87: DUP2
00001f88: MSTORE
00001f89: KECCAK256
00001f8a: SLOAD
00001f8b: PUSH2 0x1f94
00001f8e: SWAP1
00001f8f: DUP5
00001f90: PUSH2 0x1d3d
00001f93: JUMP
00001f94: JUMPDEST
00001f95: PUSH1 0x05
00001f97: PUSH1 0x00
00001f99: DUP13
00001f9a: PUSH1 0x01
00001f9c: PUSH1 0xa0
00001f9e: PUSH1 0x02
00001fa0: EXP
00001fa1: SUB
00001fa2: AND
00001fa3: PUSH1 0x01
00001fa5: PUSH1 0xa0
00001fa7: PUSH1 0x02
00001fa9: EXP
00001faa: SUB
00001fab: AND
00001fac: DUP2
00001fad: MSTORE
00001fae: PUSH1 0x20
00001fb0: ADD
00001fb1: SWAP1
00001fb2: DUP2
00001fb3: MSTORE
00001fb4: PUSH1 0x20
00001fb6: ADD
00001fb7: PUSH1 0x00
00001fb9: KECCAK256
00001fba: PUSH1 0x00
00001fbc: DUP10
00001fbd: PUSH1 0x01
00001fbf: PUSH1 0xa0
00001fc1: PUSH1 0x02
00001fc3: EXP
00001fc4: SUB
00001fc5: AND
00001fc6: PUSH1 0x01
00001fc8: PUSH1 0xa0
00001fca: PUSH1 0x02
00001fcc: EXP
00001fcd: SUB
00001fce: AND
00001fcf: DUP2
00001fd0: MSTORE
00001fd1: PUSH1 0x20
00001fd3: ADD
00001fd4: SWAP1
00001fd5: DUP2
00001fd6: MSTORE
00001fd7: PUSH1 0x20
00001fd9: ADD
00001fda: PUSH1 0x00
00001fdc: KECCAK256
00001fdd: DUP2
00001fde: SWAP1
00001fdf: SSTORE
00001fe0: POP
00001fe1: PUSH2 0x2050
00001fe4: PUSH1 0x05
00001fe6: PUSH1 0x00
00001fe8: DUP15
00001fe9: PUSH1 0x01
00001feb: PUSH1 0xa0
00001fed: PUSH1 0x02
00001fef: EXP
00001ff0: SUB
00001ff1: AND
00001ff2: PUSH1 0x01
00001ff4: PUSH1 0xa0
00001ff6: PUSH1 0x02
00001ff8: EXP
00001ff9: SUB
00001ffa: AND
00001ffb: DUP2
00001ffc: MSTORE
00001ffd: PUSH1 0x20
00001fff: ADD
00002000: SWAP1
00002001: DUP2
00002002: MSTORE
00002003: PUSH1 0x20
00002005: ADD
00002006: PUSH1 0x00
00002008: KECCAK256
00002009: PUSH1 0x00
0000200b: PUSH1 0x01
0000200d: PUSH1 0x00
0000200f: SWAP1
00002010: SLOAD
00002011: SWAP1
00002012: PUSH2 0x0100
00002015: EXP
00002016: SWAP1
00002017: DIV
00002018: PUSH1 0x01
0000201a: PUSH1 0xa0
0000201c: PUSH1 0x02
0000201e: EXP
0000201f: SUB
00002020: AND
00002021: PUSH1 0x01
00002023: PUSH1 0xa0
00002025: PUSH1 0x02
00002027: EXP
00002028: SUB
00002029: AND
0000202a: PUSH1 0x01
0000202c: PUSH1 0xa0
0000202e: PUSH1 0x02
00002030: EXP
00002031: SUB
00002032: AND
00002033: DUP2
00002034: MSTORE
00002035: PUSH1 0x20
00002037: ADD
00002038: SWAP1
00002039: DUP2
0000203a: MSTORE
0000203b: PUSH1 0x20
0000203d: ADD
0000203e: PUSH1 0x00
00002040: KECCAK256
00002041: SLOAD
00002042: PUSH2 0x1ec4
00002045: DUP8
00002046: DUP8
00002047: PUSH2 0x2139
0000204a: JUMP
0000204b: JUMPDEST
0000204c: PUSH2 0x1d3d
0000204f: JUMP
00002050: JUMPDEST
00002051: PUSH1 0x01
00002053: PUSH1 0xa0
00002055: PUSH1 0x02
00002057: EXP
00002058: SUB
00002059: DUP1
0000205a: DUP15
0000205b: AND
0000205c: PUSH1 0x00
0000205e: SWAP1
0000205f: DUP2
00002060: MSTORE
00002061: PUSH1 0x05
00002063: PUSH1 0x20
00002065: SWAP1
00002066: DUP2
00002067: MSTORE
00002068: PUSH1 0x40
0000206a: DUP1
0000206b: DUP4
0000206c: KECCAK256
0000206d: PUSH1 0x01
0000206f: SLOAD
00002070: DUP6
00002071: AND
00002072: DUP5
00002073: MSTORE
00002074: SWAP1
00002075: SWAP2
00002076: MSTORE
00002077: SWAP1
00002078: KECCAK256
00002079: SWAP2
0000207a: SWAP1
0000207b: SWAP2
0000207c: SSTORE
0000207d: PUSH1 0x03
0000207f: SLOAD
00002080: AND
00002081: ISZERO
00002082: PUSH2 0x0913
00002085: JUMPI
00002086: PUSH1 0x03
00002088: SLOAD
00002089: PUSH1 0x01
0000208b: PUSH1 0xa0
0000208d: PUSH1 0x02
0000208f: EXP
00002090: SUB
00002091: AND
00002092: PUSH4 0xf0fc1438
00002097: DUP14
00002098: DUP9
00002099: DUP14
0000209a: DUP8
0000209b: DUP14
0000209c: DUP14
0000209d: DUP13
0000209e: DUP13
0000209f: PUSH1 0x40
000020a1: MLOAD
000020a2: PUSH1 0xe0
000020a4: PUSH1 0x02
000020a6: EXP
000020a7: PUSH4 0xffffffff
000020ac: DUP12
000020ad: AND
000020ae: MUL
000020af: DUP2
000020b0: MSTORE
000020b1: PUSH1 0x01
000020b3: PUSH1 0xa0
000020b5: PUSH1 0x02
000020b7: EXP
000020b8: SUB
000020b9: SWAP9
000020ba: DUP10
000020bb: AND
000020bc: PUSH1 0x04
000020be: DUP3
000020bf: ADD
000020c0: MSTORE
000020c1: PUSH1 0x24
000020c3: DUP2
000020c4: ADD
000020c5: SWAP8
000020c6: SWAP1
000020c7: SWAP8
000020c8: MSTORE
000020c9: SWAP5
000020ca: DUP8
000020cb: AND
000020cc: PUSH1 0x44
000020ce: DUP8
000020cf: ADD
000020d0: MSTORE
000020d1: PUSH1 0x64
000020d3: DUP7
000020d4: ADD
000020d5: SWAP4
000020d6: SWAP1
000020d7: SWAP4
000020d8: MSTORE
000020d9: SWAP1
000020da: DUP6
000020db: AND
000020dc: PUSH1 0x84
000020de: DUP6
000020df: ADD
000020e0: MSTORE
000020e1: SWAP1
000020e2: SWAP4
000020e3: AND
000020e4: PUSH1 0xa4
000020e6: DUP4
000020e7: ADD
000020e8: MSTORE
000020e9: PUSH1 0xc4
000020eb: DUP3
000020ec: ADD
000020ed: SWAP3
000020ee: SWAP1
000020ef: SWAP3
000020f0: MSTORE
000020f1: PUSH1 0xe4
000020f3: DUP2
000020f4: ADD
000020f5: SWAP2
000020f6: SWAP1
000020f7: SWAP2
000020f8: MSTORE
000020f9: PUSH2 0x0104
000020fc: ADD
000020fd: PUSH1 0x00
000020ff: PUSH1 0x40
00002101: MLOAD
00002102: DUP1
00002103: DUP4
00002104: SUB
00002105: DUP2
00002106: PUSH1 0x00
00002108: DUP8
00002109: DUP1
0000210a: EXTCODESIZE
0000210b: ISZERO
0000210c: ISZERO
0000210d: PUSH2 0x2115
00002110: JUMPI
00002111: PUSH1 0x00
00002113: DUP1
00002114: REVERT
00002115: JUMPDEST
00002116: PUSH2 0x02c6
00002119: GAS
0000211a: SUB
0000211b: CALL
0000211c: ISZERO
0000211d: ISZERO
0000211e: PUSH2 0x2126
00002121: JUMPI
00002122: PUSH1 0x00
00002124: DUP1
00002125: REVERT
00002126: JUMPDEST
00002127: POP
00002128: POP
00002129: POP
0000212a: JUMPDEST
0000212b: JUMPDEST
0000212c: POP
0000212d: POP
0000212e: POP
0000212f: POP
00002130: POP
00002131: POP
00002132: POP
00002133: POP
00002134: POP
00002135: POP
00002136: POP
00002137: POP
00002138: JUMP
00002139: JUMPDEST
0000213a: PUSH1 0x00
0000213c: DUP3
0000213d: DUP3
0000213e: GT
0000213f: ISZERO
00002140: PUSH2 0x2145
00002143: JUMPI
00002144: INVALID
00002145: JUMPDEST
00002146: POP
00002147: DUP1
00002148: DUP3
00002149: SUB
0000214a: JUMPDEST
0000214b: SWAP3
0000214c: SWAP2
0000214d: POP
0000214e: POP
0000214f: JUMP
00002150: JUMPDEST
00002151: PUSH1 0x00
00002153: DUP3
00002154: DUP3
00002155: MUL
00002156: DUP4
00002157: ISZERO
00002158: DUP1
00002159: PUSH2 0x1d52
0000215c: JUMPI
0000215d: POP
0000215e: DUP3
0000215f: DUP5
00002160: DUP3
00002161: DUP2
00002162: ISZERO
00002163: ISZERO
00002164: PUSH2 0x2169
00002167: JUMPI
00002168: INVALID
00002169: JUMPDEST
0000216a: DIV
0000216b: EQ
0000216c: JUMPDEST
0000216d: ISZERO
0000216e: ISZERO
0000216f: PUSH2 0x1d5a
00002172: JUMPI
00002173: INVALID
00002174: JUMPDEST
00002175: DUP1
00002176: SWAP2
00002177: POP
00002178: JUMPDEST
00002179: POP
0000217a: SWAP3
0000217b: SWAP2
0000217c: POP
0000217d: POP
0000217e: JUMP
0000217f: STOP
00002180: SDIV
00002181: UNKNOWN(0xB8)
00002182: UNKNOWN(0xCC)
00002183: UNKNOWN(0xBB)
00002184: SWAP14
00002185: UNKNOWN(0x4D)
00002186: DUP16
00002187: UNKNOWN(0xB1)
00002188: PUSH15 0xa74ce3c29a41f1b461fbdaff4714a0
00002198: UNKNOWN(0xD9)
00002199: UNKNOWN(0xA8)
0000219a: UNKNOWN(0xEB)
0000219b: SDIV
0000219c: BLOBHASH
0000219d: SWAP8
0000219e: CHAINID
0000219f: UNKNOWN(0xBC)
000021a0: LOG1
000021a1: PUSH6 0x627a7a723058
000021a8: KECCAK256
000021a9: PUSH24 0xf218d396cd040a425e3dc0d8a1d2b99db2d2b265a225a413
000021c2: UNKNOWN(0x4E)
000021c3: UNKNOWN(0xC6)
000021c4: UNKNOWN(0xBE)
000021c5: UNKNOWN(0xD3)
000021c6: UNKNOWN(0xAD)
000021c7: UNKNOWN(0xC3)
000021c8: DUP2
000021c9: STOP
000021ca: UNKNOWN(0x29)

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 yes yes
view
trace_id: 0x2c0def5626b287f93cfd4186d4e95cdbaa3754ced5854cf8b29ced804b1a0874
call_targets: 0x0000000000000000000000000000000000000001, 0x0000000000000000000000000000000000000002, 0x1ce7ae555139c5ef5a57cc8d814a867ee6ee33d8
target_varies: yes
classification: target_varies
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "confirmed",
    "attempts": 1,
    "trace_id": "0x2c0def5626b287f93cfd4186d4e95cdbaa3754ced5854cf8b29ced804b1a0874",
    "confirmed": true,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x0000000000000000000000000000000000000001",
        "0x0000000000000000000000000000000000000002",
        "0x1ce7ae555139c5ef5a57cc8d814a867ee6ee33d8"
    ],
    "matched_probe": null,
    "target_varies": true,
    "classification": "target_varies"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x0a19b14a",
            "selector": "0x0a19b14a",
            "calldata_variants": [
                "0x0a19b14a",
                "0x0a19b14a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0e136b19",
            "selector": "0x0e136b19",
            "calldata_variants": [
                "0x0e136b19",
                "0x0e136b190000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x19774d43",
            "selector": "0x19774d43",
            "calldata_variants": [
                "0x19774d43",
                "0x19774d430000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x278b8c0e",
            "selector": "0x278b8c0e",
            "calldata_variants": [
                "0x278b8c0e",
                "0x278b8c0e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2d804ca2",
            "selector": "0x2d804ca2",
            "calldata_variants": [
                "0x2d804ca2",
                "0x2d804ca20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x338b5dea",
            "selector": "0x338b5dea",
            "calldata_variants": [
                "0x338b5dea",
                "0x338b5dea0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x38ec18c3",
            "selector": "0x38ec18c3",
            "calldata_variants": [
                "0x38ec18c3",
                "0x38ec18c30000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1812,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1990,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2506,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 20,
    "guards_detected": [],
    "untrusted_call_count": 20
}
high other detector ETH value transfer possible 55 yes yes
view
trace_id: 0x2c0def5626b287f93cfd4186d4e95cdbaa3754ced5854cf8b29ced804b1a0874
call_targets: 0x0000000000000000000000000000000000000001, 0x0000000000000000000000000000000000000002, 0x1ce7ae555139c5ef5a57cc8d814a867ee6ee33d8
target_varies: yes
classification: target_varies
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "confirmed",
    "attempts": 1,
    "trace_id": "0x2c0def5626b287f93cfd4186d4e95cdbaa3754ced5854cf8b29ced804b1a0874",
    "confirmed": true,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x0000000000000000000000000000000000000001",
        "0x0000000000000000000000000000000000000002",
        "0x1ce7ae555139c5ef5a57cc8d814a867ee6ee33d8"
    ],
    "matched_probe": null,
    "target_varies": true,
    "classification": "target_varies"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0x0a19b14a",
            "selector": "0x0a19b14a",
            "calldata_variants": [
                "0x0a19b14a",
                "0x0a19b14a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x0e136b19",
            "selector": "0x0e136b19",
            "calldata_variants": [
                "0x0e136b19",
                "0x0e136b190000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x19774d43",
            "selector": "0x19774d43",
            "calldata_variants": [
                "0x19774d43",
                "0x19774d430000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x278b8c0e",
            "selector": "0x278b8c0e",
            "calldata_variants": [
                "0x278b8c0e",
                "0x278b8c0e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2d804ca2",
            "selector": "0x2d804ca2",
            "calldata_variants": [
                "0x2d804ca2",
                "0x2d804ca20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x2e1a7d4d",
            "selector": "0x2e1a7d4d",
            "calldata_variants": [
                "0x2e1a7d4d",
                "0x2e1a7d4d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x338b5dea",
            "selector": "0x338b5dea",
            "calldata_variants": [
                "0x338b5dea",
                "0x338b5dea0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x38ec18c3",
            "selector": "0x38ec18c3",
            "calldata_variants": [
                "0x38ec18c3",
                "0x38ec18c30000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1812,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1990,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2506,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 20,
    "guards_detected": []
}
info other cast Heavy EXTCODE*/BALANCE usage 55 no
view
evidence_json
{
    "notes": "frequent external code or balance checks; may indicate introspection or validation logic",
    "ext_balance_count": 12
}
info other cast Heavy CALL-family usage 55 no
view
evidence_json
{
    "notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
    "call_family_count": 20
}