Analysis Run

019ba9e0-be5b-71bb-91d9-6a8a62afc404

complete

Chain ID

1

Address

0x1bc841d3080bd4f4c64bd207206ebd3774bb108a

Block Number

—

Created

Sat, Jan 10, 2026 9:47 PM

Review Summary

What survived the funnel

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

back to vulns open contract

Confirmed

0

Validated

0

Source

Verified

Review Backing

Not yet

Best current signal

Untrusted CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

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

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

3. Confirm money or privilege impact.

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

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
38138	artifact.fetch	complete	1 / 3	3 months ago
38139	proxy.resolve	complete	1 / 3	3 months ago
38140	tool.cast_disasm	complete	1 / 3	3 months ago
38141	analysis.bundle	complete	1 / 3	3 months ago
38142	capability.graph	complete	1 / 3	3 months ago
38143	detector.run	complete	1 / 3	3 months ago
38144	validation.fork	complete	1 / 3	3 months ago
38196	report.consolidate	complete	1 / 6	3 months ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no not_proxy

Implementation:

—

Verified Source: yes

Proxy evidence

{
    "status": "not_proxy"
}

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

Job Status

complete

Attempts

1 / 6

Findings

0

No findings?

yes

Summary

Reviewed the first‑party DoomsdayGarden and metadata contracts; no exploitable issues found within the requested focus areas.

View stdout

{"no_findings":true,"summary":"Reviewed the first‑party DoomsdayGarden and metadata contracts; no exploitable issues found within the requested focus areas.","findings":[]}

View stderr

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

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

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

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

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

================================================================================
FILE: contracts/DoomsdayGarden.sol
================================================================================
// SPDX-License-Identifier: I live in the mountains
pragma solidity ^0.8.9;

import "./interfaces/IERC721TokenReceiver.sol";
import "./DoomsdayGardenMetadata.sol";

contract DoomsdayGarden {

    constructor(){
        supportsInterface[0x80ac58cd] = true; //ERC721
        supportsInterface[0x5b5e139f] = true; //ERC721Metadata
        supportsInterface[0x01ffc9a7] = true; //ERC165

        owner = msg.sender;



thinking
**Analyzing contract vulnerabilities in depth**

I’m auditing the DoomsdayGarden contract for security issues, focusing on ownership assignment bugs, reentrancy risks especially in safeTransferFrom and harvestMultiple, correctness of supply and cost calculations, and potential underflow/overflow problems. I’m also checking access control, external calls, and economic invariants to identify subtle vulnerabilities or plausible attack vectors. Let’s explore these complex interactions together!
thinking
**Verifying token accounting and edge cases**

I’m reviewing token minting, burning, and growth calculations, confirming that tokens array and supply logic hold even after burns, and that payout formulas align with contract balance over time. I’m also evaluating subtle issues around owner assignment in minting, fee withdrawals, and potential front-running or reentrancy scenarios to ensure state consistency and economic soundness.
thinking
**Concluding audit with no critical issues**

I’m wrapping up the review, noting that decimals like 0.1 multiply cleanly to integers, key state variables prevent underflows, and reentrancy risks are mitigated by operation order. Minor miner influence on timestamps affects only metadata hashes, not security-critical logic. Overall, no exploitable vulnerabilities stand out given the current contract design.
codex
{"no_findings":true,"summary":"Reviewed the first‑party DoomsdayGarden and metadata contracts; no exploitable issues found within the requested focus areas.","findings":[]}
tokens used
16,833

Metadata

{
    "codex": {
        "ran_at": "2026-01-11T00:36:39.434144+00:00",
        "returncode": 0
    },
    "project": {
        "mode": "source",
        "file_count": 4,
        "import_count": 3,
        "first_party_contracts_count": 4
    },
    "summary": "Reviewed the first\u2011party DoomsdayGarden and metadata contracts; no exploitable issues found within the requested focus areas.",
    "raw_final": {
        "summary": "Reviewed the first\u2011party DoomsdayGarden and metadata contracts; no exploitable issues found within the requested focus areas.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

4

EXT*/BALANCE

3

Total opcodes

6874

Flags

No heuristic flags raised.

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x01c1
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x6352211e
00000019: GT
0000001a: PUSH2 0x00f7
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb88d4fde
00000024: GT
00000025: PUSH2 0x0095
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd8c36973
0000002f: GT
00000030: PUSH2 0x0064
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd8c36973
0000003a: EQ
0000003b: PUSH2 0x066c
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xddc63262
00000045: EQ
00000046: PUSH2 0x069a
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xe985e9c5
00000050: EQ
00000051: PUSH2 0x06c3
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf3cb8385
0000005b: EQ
0000005c: PUSH2 0x0700
0000005f: JUMPI
00000060: PUSH2 0x01c1
00000063: JUMP
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0xb88d4fde
0000006b: EQ
0000006c: PUSH2 0x05bf
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xc20615ed
00000076: EQ
00000077: PUSH2 0x05e8
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xc383e22b
00000081: EQ
00000082: PUSH2 0x0613
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xc87b56dd
0000008c: EQ
0000008d: PUSH2 0x062f
00000090: JUMPI
00000091: PUSH2 0x01c1
00000094: JUMP
00000095: JUMPDEST
00000096: DUP1
00000097: PUSH4 0x7e551b75
0000009c: GT
0000009d: PUSH2 0x00d1
000000a0: JUMPI
000000a1: DUP1
000000a2: PUSH4 0x7e551b75
000000a7: EQ
000000a8: PUSH2 0x0503
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x8da5cb5b
000000b2: EQ
000000b3: PUSH2 0x0540
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x95d89b41
000000bd: EQ
000000be: PUSH2 0x056b
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xa22cb465
000000c8: EQ
000000c9: PUSH2 0x0596
000000cc: JUMPI
000000cd: PUSH2 0x01c1
000000d0: JUMP
000000d1: JUMPDEST
000000d2: DUP1
000000d3: PUSH4 0x6352211e
000000d8: EQ
000000d9: PUSH2 0x044c
000000dc: JUMPI
000000dd: DUP1
000000de: PUSH4 0x70a08231
000000e3: EQ
000000e4: PUSH2 0x0489
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x7daa11e3
000000ee: EQ
000000ef: PUSH2 0x04c6
000000f2: JUMPI
000000f3: PUSH2 0x01c1
000000f6: JUMP
000000f7: JUMPDEST
000000f8: DUP1
000000f9: PUSH4 0x218e0f73
000000fe: GT
000000ff: PUSH2 0x0164
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x3f60bb5d
00000109: GT
0000010a: PUSH2 0x013e
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x3f60bb5d
00000114: EQ
00000115: PUSH2 0x03b6
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x42842e0e
0000011f: EQ
00000120: PUSH2 0x03e1
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x4311de8f
0000012a: EQ
0000012b: PUSH2 0x040a
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x4a910046
00000135: EQ
00000136: PUSH2 0x0421
00000139: JUMPI
0000013a: PUSH2 0x01c1
0000013d: JUMP
0000013e: JUMPDEST
0000013f: DUP1
00000140: PUSH4 0x218e0f73
00000145: EQ
00000146: PUSH2 0x0327
00000149: JUMPI
0000014a: DUP1
0000014b: PUSH4 0x2340c639
00000150: EQ
00000151: PUSH2 0x0350
00000154: JUMPI
00000155: DUP1
00000156: PUSH4 0x23b872dd
0000015b: EQ
0000015c: PUSH2 0x038d
0000015f: JUMPI
00000160: PUSH2 0x01c1
00000163: JUMP
00000164: JUMPDEST
00000165: DUP1
00000166: PUSH4 0x081812fc
0000016b: GT
0000016c: PUSH2 0x01a0
0000016f: JUMPI
00000170: DUP1
00000171: PUSH4 0x081812fc
00000176: EQ
00000177: PUSH2 0x026d
0000017a: JUMPI
0000017b: DUP1
0000017c: PUSH4 0x095ea7b3
00000181: EQ
00000182: PUSH2 0x02aa
00000185: JUMPI
00000186: DUP1
00000187: PUSH4 0x13af4035
0000018c: EQ
0000018d: PUSH2 0x02d3
00000190: JUMPI
00000191: DUP1
00000192: PUSH4 0x18160ddd
00000197: EQ
00000198: PUSH2 0x02fc
0000019b: JUMPI
0000019c: PUSH2 0x01c1
0000019f: JUMP
000001a0: JUMPDEST
000001a1: DUP1
000001a2: PUSH3 0x615e72
000001a6: EQ
000001a7: PUSH2 0x01c6
000001aa: JUMPI
000001ab: DUP1
000001ac: PUSH4 0x01ffc9a7
000001b1: EQ
000001b2: PUSH2 0x0205
000001b5: JUMPI
000001b6: DUP1
000001b7: PUSH4 0x06fdde03
000001bc: EQ
000001bd: PUSH2 0x0242
000001c0: JUMPI
000001c1: JUMPDEST
000001c2: PUSH1 0x00
000001c4: DUP1
000001c5: REVERT
000001c6: JUMPDEST
000001c7: CALLVALUE
000001c8: DUP1
000001c9: ISZERO
000001ca: PUSH2 0x01d2
000001cd: JUMPI
000001ce: PUSH1 0x00
000001d0: DUP1
000001d1: REVERT
000001d2: JUMPDEST
000001d3: POP
000001d4: PUSH2 0x01ed
000001d7: PUSH1 0x04
000001d9: DUP1
000001da: CALLDATASIZE
000001db: SUB
000001dc: DUP2
000001dd: ADD
000001de: SWAP1
000001df: PUSH2 0x01e8
000001e2: SWAP2
000001e3: SWAP1
000001e4: PUSH2 0x2051
000001e7: JUMP
000001e8: JUMPDEST
000001e9: PUSH2 0x0729
000001ec: JUMP
000001ed: JUMPDEST
000001ee: PUSH1 0x40
000001f0: MLOAD
000001f1: PUSH2 0x01fc
000001f4: SWAP4
000001f5: SWAP3
000001f6: SWAP2
000001f7: SWAP1
000001f8: PUSH2 0x20a6
000001fb: JUMP
000001fc: JUMPDEST
000001fd: PUSH1 0x40
000001ff: MLOAD
00000200: DUP1
00000201: SWAP2
00000202: SUB
00000203: SWAP1
00000204: RETURN
00000205: JUMPDEST
00000206: CALLVALUE
00000207: DUP1
00000208: ISZERO
00000209: PUSH2 0x0211
0000020c: JUMPI
0000020d: PUSH1 0x00
0000020f: DUP1
00000210: REVERT
00000211: JUMPDEST
00000212: POP
00000213: PUSH2 0x022c
00000216: PUSH1 0x04
00000218: DUP1
00000219: CALLDATASIZE
0000021a: SUB
0000021b: DUP2
0000021c: ADD
0000021d: SWAP1
0000021e: PUSH2 0x0227
00000221: SWAP2
00000222: SWAP1
00000223: PUSH2 0x2135
00000226: JUMP
00000227: JUMPDEST
00000228: PUSH2 0x07c8
0000022b: JUMP
0000022c: JUMPDEST
0000022d: PUSH1 0x40
0000022f: MLOAD
00000230: PUSH2 0x0239
00000233: SWAP2
00000234: SWAP1
00000235: PUSH2 0x217d
00000238: JUMP
00000239: JUMPDEST
0000023a: PUSH1 0x40
0000023c: MLOAD
0000023d: DUP1
0000023e: SWAP2
0000023f: SUB
00000240: SWAP1
00000241: RETURN
00000242: JUMPDEST
00000243: CALLVALUE
00000244: DUP1
00000245: ISZERO
00000246: PUSH2 0x024e
00000249: JUMPI
0000024a: PUSH1 0x00
0000024c: DUP1
0000024d: REVERT
0000024e: JUMPDEST
0000024f: POP
00000250: PUSH2 0x0257
00000253: PUSH2 0x07e8
00000256: JUMP
00000257: JUMPDEST
00000258: PUSH1 0x40
0000025a: MLOAD
0000025b: PUSH2 0x0264
0000025e: SWAP2
0000025f: SWAP1
00000260: PUSH2 0x2231
00000263: JUMP
00000264: JUMPDEST
00000265: PUSH1 0x40
00000267: MLOAD
00000268: DUP1
00000269: SWAP2
0000026a: SUB
0000026b: SWAP1
0000026c: RETURN
0000026d: JUMPDEST
0000026e: CALLVALUE
0000026f: DUP1
00000270: ISZERO
00000271: PUSH2 0x0279
00000274: JUMPI
00000275: PUSH1 0x00
00000277: DUP1
00000278: REVERT
00000279: JUMPDEST
0000027a: POP
0000027b: PUSH2 0x0294
0000027e: PUSH1 0x04
00000280: DUP1
00000281: CALLDATASIZE
00000282: SUB
00000283: DUP2
00000284: ADD
00000285: SWAP1
00000286: PUSH2 0x028f
00000289: SWAP2
0000028a: SWAP1
0000028b: PUSH2 0x2051
0000028e: JUMP
0000028f: JUMPDEST
00000290: PUSH2 0x0876
00000293: JUMP
00000294: JUMPDEST
00000295: PUSH1 0x40
00000297: MLOAD
00000298: PUSH2 0x02a1
0000029b: SWAP2
0000029c: SWAP1
0000029d: PUSH2 0x2294
000002a0: JUMP
000002a1: JUMPDEST
000002a2: PUSH1 0x40
000002a4: MLOAD
000002a5: DUP1
000002a6: SWAP2
000002a7: SUB
000002a8: SWAP1
000002a9: RETURN
000002aa: JUMPDEST
000002ab: CALLVALUE
000002ac: DUP1
000002ad: ISZERO
000002ae: PUSH2 0x02b6
000002b1: JUMPI
000002b2: PUSH1 0x00
000002b4: DUP1
000002b5: REVERT
000002b6: JUMPDEST
000002b7: POP
000002b8: PUSH2 0x02d1
000002bb: PUSH1 0x04
000002bd: DUP1
000002be: CALLDATASIZE
000002bf: SUB
000002c0: DUP2
000002c1: ADD
000002c2: SWAP1
000002c3: PUSH2 0x02cc
000002c6: SWAP2
000002c7: SWAP1
000002c8: PUSH2 0x22db
000002cb: JUMP
000002cc: JUMPDEST
000002cd: PUSH2 0x08fb
000002d0: JUMP
000002d1: JUMPDEST
000002d2: STOP
000002d3: JUMPDEST
000002d4: CALLVALUE
000002d5: DUP1
000002d6: ISZERO
000002d7: PUSH2 0x02df
000002da: JUMPI
000002db: PUSH1 0x00
000002dd: DUP1
000002de: REVERT
000002df: JUMPDEST
000002e0: POP
000002e1: PUSH2 0x02fa
000002e4: PUSH1 0x04
000002e6: DUP1
000002e7: CALLDATASIZE
000002e8: SUB
000002e9: DUP2
000002ea: ADD
000002eb: SWAP1
000002ec: PUSH2 0x02f5
000002ef: SWAP2
000002f0: SWAP1
000002f1: PUSH2 0x231b
000002f4: JUMP
000002f5: JUMPDEST
000002f6: PUSH2 0x0ab9
000002f9: JUMP
000002fa: JUMPDEST
000002fb: STOP
000002fc: JUMPDEST
000002fd: CALLVALUE
000002fe: DUP1
000002ff: ISZERO
00000300: PUSH2 0x0308
00000303: JUMPI
00000304: PUSH1 0x00
00000306: DUP1
00000307: REVERT
00000308: JUMPDEST
00000309: POP
0000030a: PUSH2 0x0311
0000030d: PUSH2 0x0b8d
00000310: JUMP
00000311: JUMPDEST
00000312: PUSH1 0x40
00000314: MLOAD
00000315: PUSH2 0x031e
00000318: SWAP2
00000319: SWAP1
0000031a: PUSH2 0x2348
0000031d: JUMP
0000031e: JUMPDEST
0000031f: PUSH1 0x40
00000321: MLOAD
00000322: DUP1
00000323: SWAP2
00000324: SUB
00000325: SWAP1
00000326: RETURN
00000327: JUMPDEST
00000328: CALLVALUE
00000329: DUP1
0000032a: ISZERO
0000032b: PUSH2 0x0333
0000032e: JUMPI
0000032f: PUSH1 0x00
00000331: DUP1
00000332: REVERT
00000333: JUMPDEST
00000334: POP
00000335: PUSH2 0x034e
00000338: PUSH1 0x04
0000033a: DUP1
0000033b: CALLDATASIZE
0000033c: SUB
0000033d: DUP2
0000033e: ADD
0000033f: SWAP1
00000340: PUSH2 0x0349
00000343: SWAP2
00000344: SWAP1
00000345: PUSH2 0x23c8
00000348: JUMP
00000349: JUMPDEST
0000034a: PUSH2 0x0ba7
0000034d: JUMP
0000034e: JUMPDEST
0000034f: STOP
00000350: JUMPDEST
00000351: CALLVALUE
00000352: DUP1
00000353: ISZERO
00000354: PUSH2 0x035c
00000357: JUMPI
00000358: PUSH1 0x00
0000035a: DUP1
0000035b: REVERT
0000035c: JUMPDEST
0000035d: POP
0000035e: PUSH2 0x0377
00000361: PUSH1 0x04
00000363: DUP1
00000364: CALLDATASIZE
00000365: SUB
00000366: DUP2
00000367: ADD
00000368: SWAP1
00000369: PUSH2 0x0372
0000036c: SWAP2
0000036d: SWAP1
0000036e: PUSH2 0x2051
00000371: JUMP
00000372: JUMPDEST
00000373: PUSH2 0x0c35
00000376: JUMP
00000377: JUMPDEST
00000378: PUSH1 0x40
0000037a: MLOAD
0000037b: PUSH2 0x0384
0000037e: SWAP2
0000037f: SWAP1
00000380: PUSH2 0x2348
00000383: JUMP
00000384: JUMPDEST
00000385: PUSH1 0x40
00000387: MLOAD
00000388: DUP1
00000389: SWAP2
0000038a: SUB
0000038b: SWAP1
0000038c: RETURN
0000038d: JUMPDEST
0000038e: CALLVALUE
0000038f: DUP1
00000390: ISZERO
00000391: PUSH2 0x0399
00000394: JUMPI
00000395: PUSH1 0x00
00000397: DUP1
00000398: REVERT
00000399: JUMPDEST
0000039a: POP
0000039b: PUSH2 0x03b4
0000039e: PUSH1 0x04
000003a0: DUP1
000003a1: CALLDATASIZE
000003a2: SUB
000003a3: DUP2
000003a4: ADD
000003a5: SWAP1
000003a6: PUSH2 0x03af
000003a9: SWAP2
000003aa: SWAP1
000003ab: PUSH2 0x2415
000003ae: JUMP
000003af: JUMPDEST
000003b0: PUSH2 0x0c4d
000003b3: JUMP
000003b4: JUMPDEST
000003b5: STOP
000003b6: JUMPDEST
000003b7: CALLVALUE
000003b8: DUP1
000003b9: ISZERO
000003ba: PUSH2 0x03c2
000003bd: JUMPI
000003be: PUSH1 0x00
000003c0: DUP1
000003c1: REVERT
000003c2: JUMPDEST
000003c3: POP
000003c4: PUSH2 0x03cb
000003c7: PUSH2 0x109b
000003ca: JUMP
000003cb: JUMPDEST
000003cc: PUSH1 0x40
000003ce: MLOAD
000003cf: PUSH2 0x03d8
000003d2: SWAP2
000003d3: SWAP1
000003d4: PUSH2 0x2348
000003d7: JUMP
000003d8: JUMPDEST
000003d9: PUSH1 0x40
000003db: MLOAD
000003dc: DUP1
000003dd: SWAP2
000003de: SUB
000003df: SWAP1
000003e0: RETURN
000003e1: JUMPDEST
000003e2: CALLVALUE
000003e3: DUP1
000003e4: ISZERO
000003e5: PUSH2 0x03ed
000003e8: JUMPI
000003e9: PUSH1 0x00
000003eb: DUP1
000003ec: REVERT
000003ed: JUMPDEST
000003ee: POP
000003ef: PUSH2 0x0408
000003f2: PUSH1 0x04
000003f4: DUP1
000003f5: CALLDATASIZE
000003f6: SUB
000003f7: DUP2
000003f8: ADD
000003f9: SWAP1
000003fa: PUSH2 0x0403
000003fd: SWAP2
000003fe: SWAP1
000003ff: PUSH2 0x2415
00000402: JUMP
00000403: JUMPDEST
00000404: PUSH2 0x10a1
00000407: JUMP
00000408: JUMPDEST
00000409: STOP
0000040a: JUMPDEST
0000040b: CALLVALUE
0000040c: DUP1
0000040d: ISZERO
0000040e: PUSH2 0x0416
00000411: JUMPI
00000412: PUSH1 0x00
00000414: DUP1
00000415: REVERT
00000416: JUMPDEST
00000417: POP
00000418: PUSH2 0x041f
0000041b: PUSH2 0x10c1
0000041e: JUMP
0000041f: JUMPDEST
00000420: STOP
00000421: JUMPDEST
00000422: CALLVALUE
00000423: DUP1
00000424: ISZERO
00000425: PUSH2 0x042d
00000428: JUMPI
00000429: PUSH1 0x00
0000042b: DUP1
0000042c: REVERT
0000042d: JUMPDEST
0000042e: POP
0000042f: PUSH2 0x0436
00000432: PUSH2 0x122b
00000435: JUMP
00000436: JUMPDEST
00000437: PUSH1 0x40
00000439: MLOAD
0000043a: PUSH2 0x0443
0000043d: SWAP2
0000043e: SWAP1
0000043f: PUSH2 0x2468
00000442: JUMP
00000443: JUMPDEST
00000444: PUSH1 0x40
00000446: MLOAD
00000447: DUP1
00000448: SWAP2
00000449: SUB
0000044a: SWAP1
0000044b: RETURN
0000044c: JUMPDEST
0000044d: CALLVALUE
0000044e: DUP1
0000044f: ISZERO
00000450: PUSH2 0x0458
00000453: JUMPI
00000454: PUSH1 0x00
00000456: DUP1
00000457: REVERT
00000458: JUMPDEST
00000459: POP
0000045a: PUSH2 0x0473
0000045d: PUSH1 0x04
0000045f: DUP1
00000460: CALLDATASIZE
00000461: SUB
00000462: DUP2
00000463: ADD
00000464: SWAP1
00000465: PUSH2 0x046e
00000468: SWAP2
00000469: SWAP1
0000046a: PUSH2 0x2051
0000046d: JUMP
0000046e: JUMPDEST
0000046f: PUSH2 0x1261
00000472: JUMP
00000473: JUMPDEST
00000474: PUSH1 0x40
00000476: MLOAD
00000477: PUSH2 0x0480
0000047a: SWAP2
0000047b: SWAP1
0000047c: PUSH2 0x2294
0000047f: JUMP
00000480: JUMPDEST
00000481: PUSH1 0x40
00000483: MLOAD
00000484: DUP1
00000485: SWAP2
00000486: SUB
00000487: SWAP1
00000488: RETURN
00000489: JUMPDEST
0000048a: CALLVALUE
0000048b: DUP1
0000048c: ISZERO
0000048d: PUSH2 0x0495
00000490: JUMPI
00000491: PUSH1 0x00
00000493: DUP1
00000494: REVERT
00000495: JUMPDEST
00000496: POP
00000497: PUSH2 0x04b0
0000049a: PUSH1 0x04
0000049c: DUP1
0000049d: CALLDATASIZE
0000049e: SUB
0000049f: DUP2
000004a0: ADD
000004a1: SWAP1
000004a2: PUSH2 0x04ab
000004a5: SWAP2
000004a6: SWAP1
000004a7: PUSH2 0x231b
000004aa: JUMP
000004ab: JUMPDEST
000004ac: PUSH2 0x12e6
000004af: JUMP
000004b0: JUMPDEST
000004b1: PUSH1 0x40
000004b3: MLOAD
000004b4: PUSH2 0x04bd
000004b7: SWAP2
000004b8: SWAP1
000004b9: PUSH2 0x2348
000004bc: JUMP
000004bd: JUMPDEST
000004be: PUSH1 0x40
000004c0: MLOAD
000004c1: DUP1
000004c2: SWAP2
000004c3: SUB
000004c4: SWAP1
000004c5: RETURN
000004c6: JUMPDEST
000004c7: CALLVALUE
000004c8: DUP1
000004c9: ISZERO
000004ca: PUSH2 0x04d2
000004cd: JUMPI
000004ce: PUSH1 0x00
000004d0: DUP1
000004d1: REVERT
000004d2: JUMPDEST
000004d3: POP
000004d4: PUSH2 0x04ed
000004d7: PUSH1 0x04
000004d9: DUP1
000004da: CALLDATASIZE
000004db: SUB
000004dc: DUP2
000004dd: ADD
000004de: SWAP1
000004df: PUSH2 0x04e8
000004e2: SWAP2
000004e3: SWAP1
000004e4: PUSH2 0x2051
000004e7: JUMP
000004e8: JUMPDEST
000004e9: PUSH2 0x12fe
000004ec: JUMP
000004ed: JUMPDEST
000004ee: PUSH1 0x40
000004f0: MLOAD
000004f1: PUSH2 0x04fa
000004f4: SWAP2
000004f5: SWAP1
000004f6: PUSH2 0x2348
000004f9: JUMP
000004fa: JUMPDEST
000004fb: PUSH1 0x40
000004fd: MLOAD
000004fe: DUP1
000004ff: SWAP2
00000500: SUB
00000501: SWAP1
00000502: RETURN
00000503: JUMPDEST
00000504: CALLVALUE
00000505: DUP1
00000506: ISZERO
00000507: PUSH2 0x050f
0000050a: JUMPI
0000050b: PUSH1 0x00
0000050d: DUP1
0000050e: REVERT
0000050f: JUMPDEST
00000510: POP
00000511: PUSH2 0x052a
00000514: PUSH1 0x04
00000516: DUP1
00000517: CALLDATASIZE
00000518: SUB
00000519: DUP2
0000051a: ADD
0000051b: SWAP1
0000051c: PUSH2 0x0525
0000051f: SWAP2
00000520: SWAP1
00000521: PUSH2 0x2051
00000524: JUMP
00000525: JUMPDEST
00000526: PUSH2 0x1371
00000529: JUMP
0000052a: JUMPDEST
0000052b: PUSH1 0x40
0000052d: MLOAD
0000052e: PUSH2 0x0537
00000531: SWAP2
00000532: SWAP1
00000533: PUSH2 0x2468
00000536: JUMP
00000537: JUMPDEST
00000538: PUSH1 0x40
0000053a: MLOAD
0000053b: DUP1
0000053c: SWAP2
0000053d: SUB
0000053e: SWAP1
0000053f: RETURN
00000540: JUMPDEST
00000541: CALLVALUE
00000542: DUP1
00000543: ISZERO
00000544: PUSH2 0x054c
00000547: JUMPI
00000548: PUSH1 0x00
0000054a: DUP1
0000054b: REVERT
0000054c: JUMPDEST
0000054d: POP
0000054e: PUSH2 0x0555
00000551: PUSH2 0x13ed
00000554: JUMP
00000555: JUMPDEST
00000556: PUSH1 0x40
00000558: MLOAD
00000559: PUSH2 0x0562
0000055c: SWAP2
0000055d: SWAP1
0000055e: PUSH2 0x2294
00000561: JUMP
00000562: JUMPDEST
00000563: PUSH1 0x40
00000565: MLOAD
00000566: DUP1
00000567: SWAP2
00000568: SUB
00000569: SWAP1
0000056a: RETURN
0000056b: JUMPDEST
0000056c: CALLVALUE
0000056d: DUP1
0000056e: ISZERO
0000056f: PUSH2 0x0577
00000572: JUMPI
00000573: PUSH1 0x00
00000575: DUP1
00000576: REVERT
00000577: JUMPDEST
00000578: POP
00000579: PUSH2 0x0580
0000057c: PUSH2 0x1413
0000057f: JUMP
00000580: JUMPDEST
00000581: PUSH1 0x40
00000583: MLOAD
00000584: PUSH2 0x058d
00000587: SWAP2
00000588: SWAP1
00000589: PUSH2 0x2231
0000058c: JUMP
0000058d: JUMPDEST
0000058e: PUSH1 0x40
00000590: MLOAD
00000591: DUP1
00000592: SWAP2
00000593: SUB
00000594: SWAP1
00000595: RETURN
00000596: JUMPDEST
00000597: CALLVALUE
00000598: DUP1
00000599: ISZERO
0000059a: PUSH2 0x05a2
0000059d: JUMPI
0000059e: PUSH1 0x00
000005a0: DUP1
000005a1: REVERT
000005a2: JUMPDEST
000005a3: POP
000005a4: PUSH2 0x05bd
000005a7: PUSH1 0x04
000005a9: DUP1
000005aa: CALLDATASIZE
000005ab: SUB
000005ac: DUP2
000005ad: ADD
000005ae: SWAP1
000005af: PUSH2 0x05b8
000005b2: SWAP2
000005b3: SWAP1
000005b4: PUSH2 0x24af
000005b7: JUMP
000005b8: JUMPDEST
000005b9: PUSH2 0x14a1
000005bc: JUMP
000005bd: JUMPDEST
000005be: STOP
000005bf: JUMPDEST
000005c0: CALLVALUE
000005c1: DUP1
000005c2: ISZERO
000005c3: PUSH2 0x05cb
000005c6: JUMPI
000005c7: PUSH1 0x00
000005c9: DUP1
000005ca: REVERT
000005cb: JUMPDEST
000005cc: POP
000005cd: PUSH2 0x05e6
000005d0: PUSH1 0x04
000005d2: DUP1
000005d3: CALLDATASIZE
000005d4: SUB
000005d5: DUP2
000005d6: ADD
000005d7: SWAP1
000005d8: PUSH2 0x05e1
000005db: SWAP2
000005dc: SWAP1
000005dd: PUSH2 0x261f
000005e0: JUMP
000005e1: JUMPDEST
000005e2: PUSH2 0x159e
000005e5: JUMP
000005e6: JUMPDEST
000005e7: STOP
000005e8: JUMPDEST
000005e9: CALLVALUE
000005ea: DUP1
000005eb: ISZERO
000005ec: PUSH2 0x05f4
000005ef: JUMPI
000005f0: PUSH1 0x00
000005f2: DUP1
000005f3: REVERT
000005f4: JUMPDEST
000005f5: POP
000005f6: PUSH2 0x05fd
000005f9: PUSH2 0x16fc
000005fc: JUMP
000005fd: JUMPDEST
000005fe: PUSH1 0x40
00000600: MLOAD
00000601: PUSH2 0x060a
00000604: SWAP2
00000605: SWAP1
00000606: PUSH2 0x2348
00000609: JUMP
0000060a: JUMPDEST
0000060b: PUSH1 0x40
0000060d: MLOAD
0000060e: DUP1
0000060f: SWAP2
00000610: SUB
00000611: SWAP1
00000612: RETURN
00000613: JUMPDEST
00000614: PUSH2 0x062d
00000617: PUSH1 0x04
00000619: DUP1
0000061a: CALLDATASIZE
0000061b: SUB
0000061c: DUP2
0000061d: ADD
0000061e: SWAP1
0000061f: PUSH2 0x0628
00000622: SWAP2
00000623: SWAP1
00000624: PUSH2 0x2051
00000627: JUMP
00000628: JUMPDEST
00000629: PUSH2 0x1702
0000062c: JUMP
0000062d: JUMPDEST
0000062e: STOP
0000062f: JUMPDEST
00000630: CALLVALUE
00000631: DUP1
00000632: ISZERO
00000633: PUSH2 0x063b
00000636: JUMPI
00000637: PUSH1 0x00
00000639: DUP1
0000063a: REVERT
0000063b: JUMPDEST
0000063c: POP
0000063d: PUSH2 0x0656
00000640: PUSH1 0x04
00000642: DUP1
00000643: CALLDATASIZE
00000644: SUB
00000645: DUP2
00000646: ADD
00000647: SWAP1
00000648: PUSH2 0x0651
0000064b: SWAP2
0000064c: SWAP1
0000064d: PUSH2 0x2051
00000650: JUMP
00000651: JUMPDEST
00000652: PUSH2 0x1918
00000655: JUMP
00000656: JUMPDEST
00000657: PUSH1 0x40
00000659: MLOAD
0000065a: PUSH2 0x0663
0000065d: SWAP2
0000065e: SWAP1
0000065f: PUSH2 0x2231
00000662: JUMP
00000663: JUMPDEST
00000664: PUSH1 0x40
00000666: MLOAD
00000667: DUP1
00000668: SWAP2
00000669: SUB
0000066a: SWAP1
0000066b: RETURN
0000066c: JUMPDEST
0000066d: CALLVALUE
0000066e: DUP1
0000066f: ISZERO
00000670: PUSH2 0x0678
00000673: JUMPI
00000674: PUSH1 0x00
00000676: DUP1
00000677: REVERT
00000678: JUMPDEST
00000679: POP
0000067a: PUSH2 0x0681
0000067d: PUSH2 0x1a61
00000680: JUMP
00000681: JUMPDEST
00000682: PUSH1 0x40
00000684: MLOAD
00000685: PUSH2 0x0691
00000688: SWAP5
00000689: SWAP4
0000068a: SWAP3
0000068b: SWAP2
0000068c: SWAP1
0000068d: PUSH2 0x26a2
00000690: JUMP
00000691: JUMPDEST
00000692: PUSH1 0x40
00000694: MLOAD
00000695: DUP1
00000696: SWAP2
00000697: SUB
00000698: SWAP1
00000699: RETURN
0000069a: JUMPDEST
0000069b: CALLVALUE
0000069c: DUP1
0000069d: ISZERO
0000069e: PUSH2 0x06a6
000006a1: JUMPI
000006a2: PUSH1 0x00
000006a4: DUP1
000006a5: REVERT
000006a6: JUMPDEST
000006a7: POP
000006a8: PUSH2 0x06c1
000006ab: PUSH1 0x04
000006ad: DUP1
000006ae: CALLDATASIZE
000006af: SUB
000006b0: DUP2
000006b1: ADD
000006b2: SWAP1
000006b3: PUSH2 0x06bc
000006b6: SWAP2
000006b7: SWAP1
000006b8: PUSH2 0x2051
000006bb: JUMP
000006bc: JUMPDEST
000006bd: PUSH2 0x1ab1
000006c0: JUMP
000006c1: JUMPDEST
000006c2: STOP
000006c3: JUMPDEST
000006c4: CALLVALUE
000006c5: DUP1
000006c6: ISZERO
000006c7: PUSH2 0x06cf
000006ca: JUMPI
000006cb: PUSH1 0x00
000006cd: DUP1
000006ce: REVERT
000006cf: JUMPDEST
000006d0: POP
000006d1: PUSH2 0x06ea
000006d4: PUSH1 0x04
000006d6: DUP1
000006d7: CALLDATASIZE
000006d8: SUB
000006d9: DUP2
000006da: ADD
000006db: SWAP1
000006dc: PUSH2 0x06e5
000006df: SWAP2
000006e0: SWAP1
000006e1: PUSH2 0x26e7
000006e4: JUMP
000006e5: JUMPDEST
000006e6: PUSH2 0x1c44
000006e9: JUMP
000006ea: JUMPDEST
000006eb: PUSH1 0x40
000006ed: MLOAD
000006ee: PUSH2 0x06f7
000006f1: SWAP2
000006f2: SWAP1
000006f3: PUSH2 0x217d
000006f6: JUMP
000006f7: JUMPDEST
000006f8: PUSH1 0x40
000006fa: MLOAD
000006fb: DUP1
000006fc: SWAP2
000006fd: SUB
000006fe: SWAP1
000006ff: RETURN
00000700: JUMPDEST
00000701: CALLVALUE
00000702: DUP1
00000703: ISZERO
00000704: PUSH2 0x070c
00000707: JUMPI
00000708: PUSH1 0x00
0000070a: DUP1
0000070b: REVERT
0000070c: JUMPDEST
0000070d: POP
0000070e: PUSH2 0x0727
00000711: PUSH1 0x04
00000713: DUP1
00000714: CALLDATASIZE
00000715: SUB
00000716: DUP2
00000717: ADD
00000718: SWAP1
00000719: PUSH2 0x0722
0000071c: SWAP2
0000071d: SWAP1
0000071e: PUSH2 0x231b
00000721: JUMP
00000722: JUMPDEST
00000723: PUSH2 0x1c73
00000726: JUMP
00000727: JUMPDEST
00000728: STOP
00000729: JUMPDEST
0000072a: PUSH1 0x00
0000072c: DUP1
0000072d: PUSH1 0x00
0000072f: PUSH2 0x0737
00000732: DUP5
00000733: PUSH2 0x1d47
00000736: JUMP
00000737: JUMPDEST
00000738: PUSH2 0x0776
0000073b: JUMPI
0000073c: PUSH1 0x40
0000073e: MLOAD
0000073f: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000760: DUP2
00000761: MSTORE
00000762: PUSH1 0x04
00000764: ADD
00000765: PUSH2 0x076d
00000768: SWAP1
00000769: PUSH2 0x2773
0000076c: JUMP
0000076d: JUMPDEST
0000076e: PUSH1 0x40
00000770: MLOAD
00000771: DUP1
00000772: SWAP2
00000773: SUB
00000774: SWAP1
00000775: REVERT
00000776: JUMPDEST
00000777: PUSH1 0x00
00000779: PUSH1 0x01
0000077b: DUP6
0000077c: PUSH2 0x0785
0000077f: SWAP2
00000780: SWAP1
00000781: PUSH2 0x27c2
00000784: JUMP
00000785: JUMPDEST
00000786: DUP2
00000787: SLOAD
00000788: DUP2
00000789: LT
0000078a: PUSH2 0x0796
0000078d: JUMPI
0000078e: PUSH2 0x0795
00000791: PUSH2 0x27f6
00000794: JUMP
00000795: JUMPDEST
00000796: JUMPDEST
00000797: SWAP1
00000798: PUSH1 0x00
0000079a: MSTORE
0000079b: PUSH1 0x20
0000079d: PUSH1 0x00
0000079f: KECCAK256
000007a0: ADD
000007a1: SLOAD
000007a2: PUSH1 0x04
000007a4: PUSH1 0x00
000007a6: DUP7
000007a7: DUP2
000007a8: MSTORE
000007a9: PUSH1 0x20
000007ab: ADD
000007ac: SWAP1
000007ad: DUP2
000007ae: MSTORE
000007af: PUSH1 0x20
000007b1: ADD
000007b2: PUSH1 0x00
000007b4: KECCAK256
000007b5: SLOAD
000007b6: PUSH1 0x00
000007b8: DUP1
000007b9: SLOAD
000007ba: SWAP1
000007bb: POP
000007bc: SWAP3
000007bd: POP
000007be: SWAP3
000007bf: POP
000007c0: SWAP3
000007c1: POP
000007c2: SWAP2
000007c3: SWAP4
000007c4: SWAP1
000007c5: SWAP3
000007c6: POP
000007c7: JUMP
000007c8: JUMPDEST
000007c9: PUSH1 0x0c
000007cb: PUSH1 0x20
000007cd: MSTORE
000007ce: DUP1
000007cf: PUSH1 0x00
000007d1: MSTORE
000007d2: PUSH1 0x40
000007d4: PUSH1 0x00
000007d6: KECCAK256
000007d7: PUSH1 0x00
000007d9: SWAP2
000007da: POP
000007db: SLOAD
000007dc: SWAP1
000007dd: PUSH2 0x0100
000007e0: EXP
000007e1: SWAP1
000007e2: DIV
000007e3: PUSH1 0xff
000007e5: AND
000007e6: DUP2
000007e7: JUMP
000007e8: JUMPDEST
000007e9: PUSH1 0x09
000007eb: DUP1
000007ec: SLOAD
000007ed: PUSH2 0x07f5
000007f0: SWAP1
000007f1: PUSH2 0x2854
000007f4: JUMP
000007f5: JUMPDEST
000007f6: DUP1
000007f7: PUSH1 0x1f
000007f9: ADD
000007fa: PUSH1 0x20
000007fc: DUP1
000007fd: SWAP2
000007fe: DIV
000007ff: MUL
00000800: PUSH1 0x20
00000802: ADD
00000803: PUSH1 0x40
00000805: MLOAD
00000806: SWAP1
00000807: DUP2
00000808: ADD
00000809: PUSH1 0x40
0000080b: MSTORE
0000080c: DUP1
0000080d: SWAP3
0000080e: SWAP2
0000080f: SWAP1
00000810: DUP2
00000811: DUP2
00000812: MSTORE
00000813: PUSH1 0x20
00000815: ADD
00000816: DUP3
00000817: DUP1
00000818: SLOAD
00000819: PUSH2 0x0821
0000081c: SWAP1
0000081d: PUSH2 0x2854
00000820: JUMP
00000821: JUMPDEST
00000822: DUP1
00000823: ISZERO
00000824: PUSH2 0x086e
00000827: JUMPI
00000828: DUP1
00000829: PUSH1 0x1f
0000082b: LT
0000082c: PUSH2 0x0843
0000082f: JUMPI
00000830: PUSH2 0x0100
00000833: DUP1
00000834: DUP4
00000835: SLOAD
00000836: DIV
00000837: MUL
00000838: DUP4
00000839: MSTORE
0000083a: SWAP2
0000083b: PUSH1 0x20
0000083d: ADD
0000083e: SWAP2
0000083f: PUSH2 0x086e
00000842: JUMP
00000843: JUMPDEST
00000844: DUP3
00000845: ADD
00000846: SWAP2
00000847: SWAP1
00000848: PUSH1 0x00
0000084a: MSTORE
0000084b: PUSH1 0x20
0000084d: PUSH1 0x00
0000084f: KECCAK256
00000850: SWAP1
00000851: JUMPDEST
00000852: DUP2
00000853: SLOAD
00000854: DUP2
00000855: MSTORE
00000856: SWAP1
00000857: PUSH1 0x01
00000859: ADD
0000085a: SWAP1
0000085b: PUSH1 0x20
0000085d: ADD
0000085e: DUP1
0000085f: DUP4
00000860: GT
00000861: PUSH2 0x0851
00000864: JUMPI
00000865: DUP3
00000866: SWAP1
00000867: SUB
00000868: PUSH1 0x1f
0000086a: AND
0000086b: DUP3
0000086c: ADD
0000086d: SWAP2
0000086e: JUMPDEST
0000086f: POP
00000870: POP
00000871: POP
00000872: POP
00000873: POP
00000874: DUP2
00000875: JUMP
00000876: JUMPDEST
00000877: PUSH1 0x00
00000879: PUSH2 0x0881
0000087c: DUP3
0000087d: PUSH2 0x1d47
00000880: JUMP
00000881: JUMPDEST
00000882: PUSH2 0x08c0
00000885: JUMPI
00000886: PUSH1 0x40
00000888: MLOAD
00000889: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000008aa: DUP2
000008ab: MSTORE
000008ac: PUSH1 0x04
000008ae: ADD
000008af: PUSH2 0x08b7
000008b2: SWAP1
000008b3: PUSH2 0x2773
000008b6: JUMP
000008b7: JUMPDEST
000008b8: PUSH1 0x40
000008ba: MLOAD
000008bb: DUP1
000008bc: SWAP2
000008bd: SUB
000008be: SWAP1
000008bf: REVERT
000008c0: JUMPDEST
000008c1: PUSH1 0x06
000008c3: PUSH1 0x00
000008c5: DUP4
000008c6: DUP2
000008c7: MSTORE
000008c8: PUSH1 0x20
000008ca: ADD
000008cb: SWAP1
000008cc: DUP2
000008cd: MSTORE
000008ce: PUSH1 0x20
000008d0: ADD
000008d1: PUSH1 0x00
000008d3: KECCAK256
000008d4: PUSH1 0x00
000008d6: SWAP1
000008d7: SLOAD
000008d8: SWAP1
000008d9: PUSH2 0x0100
000008dc: EXP
000008dd: SWAP1
000008de: DIV
000008df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008f4: AND
000008f5: SWAP1
000008f6: POP
000008f7: SWAP2
000008f8: SWAP1
000008f9: POP
000008fa: JUMP
000008fb: JUMPDEST
000008fc: PUSH1 0x00
000008fe: PUSH2 0x0906
00000901: DUP3
00000902: PUSH2 0x1261
00000905: JUMP
00000906: JUMPDEST
00000907: SWAP1
00000908: POP
00000909: CALLER
0000090a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000091f: AND
00000920: DUP2
00000921: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000936: AND
00000937: EQ
00000938: DUP1
00000939: PUSH2 0x09c8
0000093c: JUMPI
0000093d: POP
0000093e: PUSH1 0x07
00000940: PUSH1 0x00
00000942: DUP3
00000943: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000958: AND
00000959: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000096e: AND
0000096f: DUP2
00000970: MSTORE
00000971: PUSH1 0x20
00000973: ADD
00000974: SWAP1
00000975: DUP2
00000976: MSTORE
00000977: PUSH1 0x20
00000979: ADD
0000097a: PUSH1 0x00
0000097c: KECCAK256
0000097d: PUSH1 0x00
0000097f: CALLER
00000980: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000995: AND
00000996: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009ab: AND
000009ac: DUP2
000009ad: MSTORE
000009ae: PUSH1 0x20
000009b0: ADD
000009b1: SWAP1
000009b2: DUP2
000009b3: MSTORE
000009b4: PUSH1 0x20
000009b6: ADD
000009b7: PUSH1 0x00
000009b9: KECCAK256
000009ba: PUSH1 0x00
000009bc: SWAP1
000009bd: SLOAD
000009be: SWAP1
000009bf: PUSH2 0x0100
000009c2: EXP
000009c3: SWAP1
000009c4: DIV
000009c5: PUSH1 0xff
000009c7: AND
000009c8: JUMPDEST
000009c9: PUSH2 0x0a07
000009cc: JUMPI
000009cd: PUSH1 0x40
000009cf: MLOAD
000009d0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009f1: DUP2
000009f2: MSTORE
000009f3: PUSH1 0x04
000009f5: ADD
000009f6: PUSH2 0x09fe
000009f9: SWAP1
000009fa: PUSH2 0x28d2
000009fd: JUMP
000009fe: JUMPDEST
000009ff: PUSH1 0x40
00000a01: MLOAD
00000a02: DUP1
00000a03: SWAP2
00000a04: SUB
00000a05: SWAP1
00000a06: REVERT
00000a07: JUMPDEST
00000a08: DUP2
00000a09: DUP4
00000a0a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a1f: AND
00000a20: DUP3
00000a21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a36: AND
00000a37: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00000a58: PUSH1 0x40
00000a5a: MLOAD
00000a5b: PUSH1 0x40
00000a5d: MLOAD
00000a5e: DUP1
00000a5f: SWAP2
00000a60: SUB
00000a61: SWAP1
00000a62: LOG4
00000a63: DUP3
00000a64: PUSH1 0x06
00000a66: PUSH1 0x00
00000a68: DUP5
00000a69: DUP2
00000a6a: MSTORE
00000a6b: PUSH1 0x20
00000a6d: ADD
00000a6e: SWAP1
00000a6f: DUP2
00000a70: MSTORE
00000a71: PUSH1 0x20
00000a73: ADD
00000a74: PUSH1 0x00
00000a76: KECCAK256
00000a77: PUSH1 0x00
00000a79: PUSH2 0x0100
00000a7c: EXP
00000a7d: DUP2
00000a7e: SLOAD
00000a7f: DUP2
00000a80: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a95: MUL
00000a96: NOT
00000a97: AND
00000a98: SWAP1
00000a99: DUP4
00000a9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aaf: AND
00000ab0: MUL
00000ab1: OR
00000ab2: SWAP1
00000ab3: SSTORE
00000ab4: POP
00000ab5: POP
00000ab6: POP
00000ab7: POP
00000ab8: JUMP
00000ab9: JUMPDEST
00000aba: PUSH1 0x03
00000abc: PUSH1 0x00
00000abe: SWAP1
00000abf: SLOAD
00000ac0: SWAP1
00000ac1: PUSH2 0x0100
00000ac4: EXP
00000ac5: SWAP1
00000ac6: DIV
00000ac7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000adc: AND
00000add: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000af2: AND
00000af3: CALLER
00000af4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b09: AND
00000b0a: EQ
00000b0b: PUSH2 0x0b49
00000b0e: JUMPI
00000b0f: PUSH1 0x40
00000b11: MLOAD
00000b12: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b33: DUP2
00000b34: MSTORE
00000b35: PUSH1 0x04
00000b37: ADD
00000b38: PUSH2 0x0b40
00000b3b: SWAP1
00000b3c: PUSH2 0x293e
00000b3f: JUMP
00000b40: JUMPDEST
00000b41: PUSH1 0x40
00000b43: MLOAD
00000b44: DUP1
00000b45: SWAP2
00000b46: SUB
00000b47: SWAP1
00000b48: REVERT
00000b49: JUMPDEST
00000b4a: DUP1
00000b4b: PUSH1 0x03
00000b4d: PUSH1 0x00
00000b4f: PUSH2 0x0100
00000b52: EXP
00000b53: DUP2
00000b54: SLOAD
00000b55: DUP2
00000b56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b6b: MUL
00000b6c: NOT
00000b6d: AND
00000b6e: SWAP1
00000b6f: DUP4
00000b70: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b85: AND
00000b86: MUL
00000b87: OR
00000b88: SWAP1
00000b89: SSTORE
00000b8a: POP
00000b8b: POP
00000b8c: JUMP
00000b8d: JUMPDEST
00000b8e: PUSH1 0x00
00000b90: PUSH1 0x01
00000b92: SLOAD
00000b93: PUSH1 0x00
00000b95: DUP1
00000b96: SLOAD
00000b97: SWAP1
00000b98: POP
00000b99: PUSH2 0x0ba2
00000b9c: SWAP2
00000b9d: SWAP1
00000b9e: PUSH2 0x27c2
00000ba1: JUMP
00000ba2: JUMPDEST
00000ba3: SWAP1
00000ba4: POP
00000ba5: SWAP1
00000ba6: JUMP
00000ba7: JUMPDEST
00000ba8: PUSH1 0x00
00000baa: DUP3
00000bab: DUP3
00000bac: SWAP1
00000bad: POP
00000bae: GT
00000baf: PUSH2 0x0bed
00000bb2: JUMPI
00000bb3: PUSH1 0x40
00000bb5: MLOAD
00000bb6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000bd7: DUP2
00000bd8: MSTORE
00000bd9: PUSH1 0x04
00000bdb: ADD
00000bdc: PUSH2 0x0be4
00000bdf: SWAP1
00000be0: PUSH2 0x29aa
00000be3: JUMP
00000be4: JUMPDEST
00000be5: PUSH1 0x40
00000be7: MLOAD
00000be8: DUP1
00000be9: SWAP2
00000bea: SUB
00000beb: SWAP1
00000bec: REVERT
00000bed: JUMPDEST
00000bee: PUSH1 0x00
00000bf0: JUMPDEST
00000bf1: DUP3
00000bf2: DUP3
00000bf3: SWAP1
00000bf4: POP
00000bf5: DUP2
00000bf6: LT
00000bf7: ISZERO
00000bf8: PUSH2 0x0c30
00000bfb: JUMPI
00000bfc: PUSH2 0x0c1d
00000bff: DUP4
00000c00: DUP4
00000c01: DUP4
00000c02: DUP2
00000c03: DUP2
00000c04: LT
00000c05: PUSH2 0x0c11
00000c08: JUMPI
00000c09: PUSH2 0x0c10
00000c0c: PUSH2 0x27f6
00000c0f: JUMP
00000c10: JUMPDEST
00000c11: JUMPDEST
00000c12: SWAP1
00000c13: POP
00000c14: PUSH1 0x20
00000c16: MUL
00000c17: ADD
00000c18: CALLDATALOAD
00000c19: PUSH2 0x1ab1
00000c1c: JUMP
00000c1d: JUMPDEST
00000c1e: DUP1
00000c1f: DUP1
00000c20: PUSH2 0x0c28
00000c23: SWAP1
00000c24: PUSH2 0x29ca
00000c27: JUMP
00000c28: JUMPDEST
00000c29: SWAP2
00000c2a: POP
00000c2b: POP
00000c2c: PUSH2 0x0bf0
00000c2f: JUMP
00000c30: JUMPDEST
00000c31: POP
00000c32: POP
00000c33: POP
00000c34: JUMP
00000c35: JUMPDEST
00000c36: PUSH1 0x04
00000c38: PUSH1 0x20
00000c3a: MSTORE
00000c3b: DUP1
00000c3c: PUSH1 0x00
00000c3e: MSTORE
00000c3f: PUSH1 0x40
00000c41: PUSH1 0x00
00000c43: KECCAK256
00000c44: PUSH1 0x00
00000c46: SWAP2
00000c47: POP
00000c48: SWAP1
00000c49: POP
00000c4a: SLOAD
00000c4b: DUP2
00000c4c: JUMP
00000c4d: JUMPDEST
00000c4e: PUSH1 0x00
00000c50: PUSH2 0x0c58
00000c53: DUP3
00000c54: PUSH2 0x1261
00000c57: JUMP
00000c58: JUMPDEST
00000c59: SWAP1
00000c5a: POP
00000c5b: CALLER
00000c5c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c71: AND
00000c72: DUP2
00000c73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c88: AND
00000c89: EQ
00000c8a: DUP1
00000c8b: PUSH2 0x0cf2
00000c8e: JUMPI
00000c8f: POP
00000c90: CALLER
00000c91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ca6: AND
00000ca7: PUSH1 0x06
00000ca9: PUSH1 0x00
00000cab: DUP5
00000cac: DUP2
00000cad: MSTORE
00000cae: PUSH1 0x20
00000cb0: ADD
00000cb1: SWAP1
00000cb2: DUP2
00000cb3: MSTORE
00000cb4: PUSH1 0x20
00000cb6: ADD
00000cb7: PUSH1 0x00
00000cb9: KECCAK256
00000cba: PUSH1 0x00
00000cbc: SWAP1
00000cbd: SLOAD
00000cbe: SWAP1
00000cbf: PUSH2 0x0100
00000cc2: EXP
00000cc3: SWAP1
00000cc4: DIV
00000cc5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cda: AND
00000cdb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cf0: AND
00000cf1: EQ
00000cf2: JUMPDEST
00000cf3: DUP1
00000cf4: PUSH2 0x0d83
00000cf7: JUMPI
00000cf8: POP
00000cf9: PUSH1 0x07
00000cfb: PUSH1 0x00
00000cfd: DUP3
00000cfe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d13: AND
00000d14: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d29: AND
00000d2a: DUP2
00000d2b: MSTORE
00000d2c: PUSH1 0x20
00000d2e: ADD
00000d2f: SWAP1
00000d30: DUP2
00000d31: MSTORE
00000d32: PUSH1 0x20
00000d34: ADD
00000d35: PUSH1 0x00
00000d37: KECCAK256
00000d38: PUSH1 0x00
00000d3a: CALLER
00000d3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d50: AND
00000d51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d66: AND
00000d67: DUP2
00000d68: MSTORE
00000d69: PUSH1 0x20
00000d6b: ADD
00000d6c: SWAP1
00000d6d: DUP2
00000d6e: MSTORE
00000d6f: PUSH1 0x20
00000d71: ADD
00000d72: PUSH1 0x00
00000d74: KECCAK256
00000d75: PUSH1 0x00
00000d77: SWAP1
00000d78: SLOAD
00000d79: SWAP1
00000d7a: PUSH2 0x0100
00000d7d: EXP
00000d7e: SWAP1
00000d7f: DIV
00000d80: PUSH1 0xff
00000d82: AND
00000d83: JUMPDEST
00000d84: PUSH2 0x0dc2
00000d87: JUMPI
00000d88: PUSH1 0x40
00000d8a: MLOAD
00000d8b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000dac: DUP2
00000dad: MSTORE
00000dae: PUSH1 0x04
00000db0: ADD
00000db1: PUSH2 0x0db9
00000db4: SWAP1
00000db5: PUSH2 0x28d2
00000db8: JUMP
00000db9: JUMPDEST
00000dba: PUSH1 0x40
00000dbc: MLOAD
00000dbd: DUP1
00000dbe: SWAP2
00000dbf: SUB
00000dc0: SWAP1
00000dc1: REVERT
00000dc2: JUMPDEST
00000dc3: DUP4
00000dc4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dd9: AND
00000dda: DUP2
00000ddb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000df0: AND
00000df1: EQ
00000df2: PUSH2 0x0e30
00000df5: JUMPI
00000df6: PUSH1 0x40
00000df8: MLOAD
00000df9: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e1a: DUP2
00000e1b: MSTORE
00000e1c: PUSH1 0x04
00000e1e: ADD
00000e1f: PUSH2 0x0e27
00000e22: SWAP1
00000e23: PUSH2 0x293e
00000e26: JUMP
00000e27: JUMPDEST
00000e28: PUSH1 0x40
00000e2a: MLOAD
00000e2b: DUP1
00000e2c: SWAP2
00000e2d: SUB
00000e2e: SWAP1
00000e2f: REVERT
00000e30: JUMPDEST
00000e31: PUSH1 0x00
00000e33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e48: AND
00000e49: DUP4
00000e4a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e5f: AND
00000e60: EQ
00000e61: ISZERO
00000e62: PUSH2 0x0ea0
00000e65: JUMPI
00000e66: PUSH1 0x40
00000e68: MLOAD
00000e69: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e8a: DUP2
00000e8b: MSTORE
00000e8c: PUSH1 0x04
00000e8e: ADD
00000e8f: PUSH2 0x0e97
00000e92: SWAP1
00000e93: PUSH2 0x2a5f
00000e96: JUMP
00000e97: JUMPDEST
00000e98: PUSH1 0x40
00000e9a: MLOAD
00000e9b: DUP1
00000e9c: SWAP2
00000e9d: SUB
00000e9e: SWAP1
00000e9f: REVERT
00000ea0: JUMPDEST
00000ea1: DUP2
00000ea2: DUP4
00000ea3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eb8: AND
00000eb9: DUP6
00000eba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ecf: AND
00000ed0: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00000ef1: PUSH1 0x40
00000ef3: MLOAD
00000ef4: PUSH1 0x40
00000ef6: MLOAD
00000ef7: DUP1
00000ef8: SWAP2
00000ef9: SUB
00000efa: SWAP1
00000efb: LOG4
00000efc: DUP3
00000efd: PUSH1 0x08
00000eff: PUSH1 0x00
00000f01: DUP5
00000f02: DUP2
00000f03: MSTORE
00000f04: PUSH1 0x20
00000f06: ADD
00000f07: SWAP1
00000f08: DUP2
00000f09: MSTORE
00000f0a: PUSH1 0x20
00000f0c: ADD
00000f0d: PUSH1 0x00
00000f0f: KECCAK256
00000f10: PUSH1 0x00
00000f12: PUSH2 0x0100
00000f15: EXP
00000f16: DUP2
00000f17: SLOAD
00000f18: DUP2
00000f19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f2e: MUL
00000f2f: NOT
00000f30: AND
00000f31: SWAP1
00000f32: DUP4
00000f33: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f48: AND
00000f49: MUL
00000f4a: OR
00000f4b: SWAP1
00000f4c: SSTORE
00000f4d: POP
00000f4e: PUSH1 0x05
00000f50: PUSH1 0x00
00000f52: DUP6
00000f53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f68: AND
00000f69: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f7e: AND
00000f7f: DUP2
00000f80: MSTORE
00000f81: PUSH1 0x20
00000f83: ADD
00000f84: SWAP1
00000f85: DUP2
00000f86: MSTORE
00000f87: PUSH1 0x20
00000f89: ADD
00000f8a: PUSH1 0x00
00000f8c: KECCAK256
00000f8d: PUSH1 0x00
00000f8f: DUP2
00000f90: SLOAD
00000f91: DUP1
00000f92: SWAP3
00000f93: SWAP2
00000f94: SWAP1
00000f95: PUSH2 0x0f9d
00000f98: SWAP1
00000f99: PUSH2 0x2a7f
00000f9c: JUMP
00000f9d: JUMPDEST
00000f9e: SWAP2
00000f9f: SWAP1
00000fa0: POP
00000fa1: SSTORE
00000fa2: POP
00000fa3: PUSH1 0x05
00000fa5: PUSH1 0x00
00000fa7: DUP5
00000fa8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fbd: AND
00000fbe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fd3: AND
00000fd4: DUP2
00000fd5: MSTORE
00000fd6: PUSH1 0x20
00000fd8: ADD
00000fd9: SWAP1
00000fda: DUP2
00000fdb: MSTORE
00000fdc: PUSH1 0x20
00000fde: ADD
00000fdf: PUSH1 0x00
00000fe1: KECCAK256
00000fe2: PUSH1 0x00
00000fe4: DUP2
00000fe5: SLOAD
00000fe6: DUP1
00000fe7: SWAP3
00000fe8: SWAP2
00000fe9: SWAP1
00000fea: PUSH2 0x0ff2
00000fed: SWAP1
00000fee: PUSH2 0x29ca
00000ff1: JUMP
00000ff2: JUMPDEST
00000ff3: SWAP2
00000ff4: SWAP1
00000ff5: POP
00000ff6: SSTORE
00000ff7: POP
00000ff8: PUSH1 0x00
00000ffa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000100f: AND
00001010: PUSH1 0x06
00001012: PUSH1 0x00
00001014: DUP5
00001015: DUP2
00001016: MSTORE
00001017: PUSH1 0x20
00001019: ADD
0000101a: SWAP1
0000101b: DUP2
0000101c: MSTORE
0000101d: PUSH1 0x20
0000101f: ADD
00001020: PUSH1 0x00
00001022: KECCAK256
00001023: PUSH1 0x00
00001025: SWAP1
00001026: SLOAD
00001027: SWAP1
00001028: PUSH2 0x0100
0000102b: EXP
0000102c: SWAP1
0000102d: DIV
0000102e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001043: AND
00001044: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001059: AND
0000105a: EQ
0000105b: PUSH2 0x1095
0000105e: JUMPI
0000105f: PUSH1 0x06
00001061: PUSH1 0x00
00001063: DUP4
00001064: DUP2
00001065: MSTORE
00001066: PUSH1 0x20
00001068: ADD
00001069: SWAP1
0000106a: DUP2
0000106b: MSTORE
0000106c: PUSH1 0x20
0000106e: ADD
0000106f: PUSH1 0x00
00001071: KECCAK256
00001072: PUSH1 0x00
00001074: PUSH2 0x0100
00001077: EXP
00001078: DUP2
00001079: SLOAD
0000107a: SWAP1
0000107b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001090: MUL
00001091: NOT
00001092: AND
00001093: SWAP1
00001094: SSTORE
00001095: JUMPDEST
00001096: POP
00001097: POP
00001098: POP
00001099: POP
0000109a: JUMP
0000109b: JUMPDEST
0000109c: PUSH1 0x01
0000109e: SLOAD
0000109f: DUP2
000010a0: JUMP
000010a1: JUMPDEST
000010a2: PUSH2 0x10bc
000010a5: DUP4
000010a6: DUP4
000010a7: DUP4
000010a8: PUSH1 0x40
000010aa: MLOAD
000010ab: DUP1
000010ac: PUSH1 0x20
000010ae: ADD
000010af: PUSH1 0x40
000010b1: MSTORE
000010b2: DUP1
000010b3: PUSH1 0x00
000010b5: DUP2
000010b6: MSTORE
000010b7: POP
000010b8: PUSH2 0x159e
000010bb: JUMP
000010bc: JUMPDEST
000010bd: POP
000010be: POP
000010bf: POP
000010c0: JUMP
000010c1: JUMPDEST
000010c2: PUSH1 0x03
000010c4: PUSH1 0x00
000010c6: SWAP1
000010c7: SLOAD
000010c8: SWAP1
000010c9: PUSH2 0x0100
000010cc: EXP
000010cd: SWAP1
000010ce: DIV
000010cf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010e4: AND
000010e5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010fa: AND
000010fb: CALLER
000010fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001111: AND
00001112: EQ
00001113: PUSH2 0x1151
00001116: JUMPI
00001117: PUSH1 0x40
00001119: MLOAD
0000111a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000113b: DUP2
0000113c: MSTORE
0000113d: PUSH1 0x04
0000113f: ADD
00001140: PUSH2 0x1148
00001143: SWAP1
00001144: PUSH2 0x293e
00001147: JUMP
00001148: JUMPDEST
00001149: PUSH1 0x40
0000114b: MLOAD
0000114c: DUP1
0000114d: SWAP2
0000114e: SUB
0000114f: SWAP1
00001150: REVERT
00001151: JUMPDEST
00001152: PUSH1 0x00
00001154: PUSH7 0x11c37937e08000
0000115c: PUSH1 0x01
0000115e: PUSH1 0x02
00001160: SLOAD
00001161: PUSH1 0x00
00001163: DUP1
00001164: SLOAD
00001165: SWAP1
00001166: POP
00001167: PUSH2 0x1170
0000116a: SWAP2
0000116b: SWAP1
0000116c: PUSH2 0x27c2
0000116f: JUMP
00001170: JUMPDEST
00001171: PUSH2 0x117a
00001174: SWAP2
00001175: SWAP1
00001176: PUSH2 0x27c2
00001179: JUMP
0000117a: JUMPDEST
0000117b: PUSH2 0x1184
0000117e: SWAP2
0000117f: SWAP1
00001180: PUSH2 0x2aa9
00001183: JUMP
00001184: JUMPDEST
00001185: SWAP1
00001186: POP
00001187: PUSH1 0x00
00001189: DUP2
0000118a: GT
0000118b: PUSH2 0x11c9
0000118e: JUMPI
0000118f: PUSH1 0x40
00001191: MLOAD
00001192: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000011b3: DUP2
000011b4: MSTORE
000011b5: PUSH1 0x04
000011b7: ADD
000011b8: PUSH2 0x11c0
000011bb: SWAP1
000011bc: PUSH2 0x2b4f
000011bf: JUMP
000011c0: JUMPDEST
000011c1: PUSH1 0x40
000011c3: MLOAD
000011c4: DUP1
000011c5: SWAP2
000011c6: SUB
000011c7: SWAP1
000011c8: REVERT
000011c9: JUMPDEST
000011ca: PUSH1 0x01
000011cc: PUSH1 0x00
000011ce: DUP1
000011cf: SLOAD
000011d0: SWAP1
000011d1: POP
000011d2: PUSH2 0x11db
000011d5: SWAP2
000011d6: SWAP1
000011d7: PUSH2 0x27c2
000011da: JUMP
000011db: JUMPDEST
000011dc: PUSH1 0x02
000011de: DUP2
000011df: SWAP1
000011e0: SSTORE
000011e1: POP
000011e2: CALLER
000011e3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011f8: AND
000011f9: PUSH2 0x08fc
000011fc: DUP3
000011fd: SWAP1
000011fe: DUP2
000011ff: ISZERO
00001200: MUL
00001201: SWAP1
00001202: PUSH1 0x40
00001204: MLOAD
00001205: PUSH1 0x00
00001207: PUSH1 0x40
00001209: MLOAD
0000120a: DUP1
0000120b: DUP4
0000120c: SUB
0000120d: DUP2
0000120e: DUP6
0000120f: DUP9
00001210: DUP9
00001211: CALL
00001212: SWAP4
00001213: POP
00001214: POP
00001215: POP
00001216: POP
00001217: ISZERO
00001218: DUP1
00001219: ISZERO
0000121a: PUSH2 0x1227
0000121d: JUMPI
0000121e: RETURNDATASIZE
0000121f: PUSH1 0x00
00001221: DUP1
00001222: RETURNDATACOPY
00001223: RETURNDATASIZE
00001224: PUSH1 0x00
00001226: REVERT
00001227: JUMPDEST
00001228: POP
00001229: POP
0000122a: JUMP
0000122b: JUMPDEST
0000122c: PUSH1 0x00
0000122e: DUP1
0000122f: PUSH1 0x01
00001231: PUSH1 0x00
00001233: DUP1
00001234: SLOAD
00001235: SWAP1
00001236: POP
00001237: PUSH2 0x1240
0000123a: SWAP2
0000123b: SWAP1
0000123c: PUSH2 0x27c2
0000123f: JUMP
00001240: JUMPDEST
00001241: DUP2
00001242: SLOAD
00001243: DUP2
00001244: LT
00001245: PUSH2 0x1251
00001248: JUMPI
00001249: PUSH2 0x1250
0000124c: PUSH2 0x27f6
0000124f: JUMP
00001250: JUMPDEST
00001251: JUMPDEST
00001252: SWAP1
00001253: PUSH1 0x00
00001255: MSTORE
00001256: PUSH1 0x20
00001258: PUSH1 0x00
0000125a: KECCAK256
0000125b: ADD
0000125c: SLOAD
0000125d: SWAP1
0000125e: POP
0000125f: SWAP1
00001260: JUMP
00001261: JUMPDEST
00001262: PUSH1 0x00
00001264: PUSH2 0x126c
00001267: DUP3
00001268: PUSH2 0x1d47
0000126b: JUMP
0000126c: JUMPDEST
0000126d: PUSH2 0x12ab
00001270: JUMPI
00001271: PUSH1 0x40
00001273: MLOAD
00001274: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001295: DUP2
00001296: MSTORE
00001297: PUSH1 0x04
00001299: ADD
0000129a: PUSH2 0x12a2
0000129d: SWAP1
0000129e: PUSH2 0x2773
000012a1: JUMP
000012a2: JUMPDEST
000012a3: PUSH1 0x40
000012a5: MLOAD
000012a6: DUP1
000012a7: SWAP2
000012a8: SUB
000012a9: SWAP1
000012aa: REVERT
000012ab: JUMPDEST
000012ac: PUSH1 0x08
000012ae: PUSH1 0x00
000012b0: DUP4
000012b1: DUP2
000012b2: MSTORE
000012b3: PUSH1 0x20
000012b5: ADD
000012b6: SWAP1
000012b7: DUP2
000012b8: MSTORE
000012b9: PUSH1 0x20
000012bb: ADD
000012bc: PUSH1 0x00
000012be: KECCAK256
000012bf: PUSH1 0x00
000012c1: SWAP1
000012c2: SLOAD
000012c3: SWAP1
000012c4: PUSH2 0x0100
000012c7: EXP
000012c8: SWAP1
000012c9: DIV
000012ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012df: AND
000012e0: SWAP1
000012e1: POP
000012e2: SWAP2
000012e3: SWAP1
000012e4: POP
000012e5: JUMP
000012e6: JUMPDEST
000012e7: PUSH1 0x05
000012e9: PUSH1 0x20
000012eb: MSTORE
000012ec: DUP1
000012ed: PUSH1 0x00
000012ef: MSTORE
000012f0: PUSH1 0x40
000012f2: PUSH1 0x00
000012f4: KECCAK256
000012f5: PUSH1 0x00
000012f7: SWAP2
000012f8: POP
000012f9: SWAP1
000012fa: POP
000012fb: SLOAD
000012fc: DUP2
000012fd: JUMP
000012fe: JUMPDEST
000012ff: PUSH1 0x00
00001301: PUSH2 0x1309
00001304: DUP3
00001305: PUSH2 0x1d47
00001308: JUMP
00001309: JUMPDEST
0000130a: PUSH2 0x1348
0000130d: JUMPI
0000130e: PUSH1 0x40
00001310: MLOAD
00001311: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001332: DUP2
00001333: MSTORE
00001334: PUSH1 0x04
00001336: ADD
00001337: PUSH2 0x133f
0000133a: SWAP1
0000133b: PUSH2 0x2773
0000133e: JUMP
0000133f: JUMPDEST
00001340: PUSH1 0x40
00001342: MLOAD
00001343: DUP1
00001344: SWAP2
00001345: SUB
00001346: SWAP1
00001347: REVERT
00001348: JUMPDEST
00001349: PUSH6 0x16bcc41e9000
00001350: DUP3
00001351: PUSH1 0x00
00001353: DUP1
00001354: SLOAD
00001355: SWAP1
00001356: POP
00001357: PUSH2 0x1360
0000135a: SWAP2
0000135b: SWAP1
0000135c: PUSH2 0x27c2
0000135f: JUMP
00001360: JUMPDEST
00001361: PUSH2 0x136a
00001364: SWAP2
00001365: SWAP1
00001366: PUSH2 0x2aa9
00001369: JUMP
0000136a: JUMPDEST
0000136b: SWAP1
0000136c: POP
0000136d: SWAP2
0000136e: SWAP1
0000136f: POP
00001370: JUMP
00001371: JUMPDEST
00001372: PUSH1 0x00
00001374: PUSH2 0x137c
00001377: DUP3
00001378: PUSH2 0x1d47
0000137b: JUMP
0000137c: JUMPDEST
0000137d: PUSH2 0x13bb
00001380: JUMPI
00001381: PUSH1 0x40
00001383: MLOAD
00001384: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000013a5: DUP2
000013a6: MSTORE
000013a7: PUSH1 0x04
000013a9: ADD
000013aa: PUSH2 0x13b2
000013ad: SWAP1
000013ae: PUSH2 0x2773
000013b1: JUMP
000013b2: JUMPDEST
000013b3: PUSH1 0x40
000013b5: MLOAD
000013b6: DUP1
000013b7: SWAP2
000013b8: SUB
000013b9: SWAP1
000013ba: REVERT
000013bb: JUMPDEST
000013bc: PUSH1 0x00
000013be: PUSH1 0x01
000013c0: DUP4
000013c1: PUSH2 0x13ca
000013c4: SWAP2
000013c5: SWAP1
000013c6: PUSH2 0x27c2
000013c9: JUMP
000013ca: JUMPDEST
000013cb: DUP2
000013cc: SLOAD
000013cd: DUP2
000013ce: LT
000013cf: PUSH2 0x13db
000013d2: JUMPI
000013d3: PUSH2 0x13da
000013d6: PUSH2 0x27f6
000013d9: JUMP
000013da: JUMPDEST
000013db: JUMPDEST
000013dc: SWAP1
000013dd: PUSH1 0x00
000013df: MSTORE
000013e0: PUSH1 0x20
000013e2: PUSH1 0x00
000013e4: KECCAK256
000013e5: ADD
000013e6: SLOAD
000013e7: SWAP1
000013e8: POP
000013e9: SWAP2
000013ea: SWAP1
000013eb: POP
000013ec: JUMP
000013ed: JUMPDEST
000013ee: PUSH1 0x03
000013f0: PUSH1 0x00
000013f2: SWAP1
000013f3: SLOAD
000013f4: SWAP1
000013f5: PUSH2 0x0100
000013f8: EXP
000013f9: SWAP1
000013fa: DIV
000013fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001410: AND
00001411: DUP2
00001412: JUMP
00001413: JUMPDEST
00001414: PUSH1 0x0a
00001416: DUP1
00001417: SLOAD
00001418: PUSH2 0x1420
0000141b: SWAP1
0000141c: PUSH2 0x2854
0000141f: JUMP
00001420: JUMPDEST
00001421: DUP1
00001422: PUSH1 0x1f
00001424: ADD
00001425: PUSH1 0x20
00001427: DUP1
00001428: SWAP2
00001429: DIV
0000142a: MUL
0000142b: PUSH1 0x20
0000142d: ADD
0000142e: PUSH1 0x40
00001430: MLOAD
00001431: SWAP1
00001432: DUP2
00001433: ADD
00001434: PUSH1 0x40
00001436: MSTORE
00001437: DUP1
00001438: SWAP3
00001439: SWAP2
0000143a: SWAP1
0000143b: DUP2
0000143c: DUP2
0000143d: MSTORE
0000143e: PUSH1 0x20
00001440: ADD
00001441: DUP3
00001442: DUP1
00001443: SLOAD
00001444: PUSH2 0x144c
00001447: SWAP1
00001448: PUSH2 0x2854
0000144b: JUMP
0000144c: JUMPDEST
0000144d: DUP1
0000144e: ISZERO
0000144f: PUSH2 0x1499
00001452: JUMPI
00001453: DUP1
00001454: PUSH1 0x1f
00001456: LT
00001457: PUSH2 0x146e
0000145a: JUMPI
0000145b: PUSH2 0x0100
0000145e: DUP1
0000145f: DUP4
00001460: SLOAD
00001461: DIV
00001462: MUL
00001463: DUP4
00001464: MSTORE
00001465: SWAP2
00001466: PUSH1 0x20
00001468: ADD
00001469: SWAP2
0000146a: PUSH2 0x1499
0000146d: JUMP
0000146e: JUMPDEST
0000146f: DUP3
00001470: ADD
00001471: SWAP2
00001472: SWAP1
00001473: PUSH1 0x00
00001475: MSTORE
00001476: PUSH1 0x20
00001478: PUSH1 0x00
0000147a: KECCAK256
0000147b: SWAP1
0000147c: JUMPDEST
0000147d: DUP2
0000147e: SLOAD
0000147f: DUP2
00001480: MSTORE
00001481: SWAP1
00001482: PUSH1 0x01
00001484: ADD
00001485: SWAP1
00001486: PUSH1 0x20
00001488: ADD
00001489: DUP1
0000148a: DUP4
0000148b: GT
0000148c: PUSH2 0x147c
0000148f: JUMPI
00001490: DUP3
00001491: SWAP1
00001492: SUB
00001493: PUSH1 0x1f
00001495: AND
00001496: DUP3
00001497: ADD
00001498: SWAP2
00001499: JUMPDEST
0000149a: POP
0000149b: POP
0000149c: POP
0000149d: POP
0000149e: POP
0000149f: DUP2
000014a0: JUMP
000014a1: JUMPDEST
000014a2: DUP2
000014a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014b8: AND
000014b9: CALLER
000014ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014cf: AND
000014d0: PUSH32 0x17307eab39ab6107e8899845ad3d59bd9653f200f220920489ca2b5937696c31
000014f1: DUP4
000014f2: PUSH1 0x40
000014f4: MLOAD
000014f5: PUSH2 0x14fe
000014f8: SWAP2
000014f9: SWAP1
000014fa: PUSH2 0x217d
000014fd: JUMP
000014fe: JUMPDEST
000014ff: PUSH1 0x40
00001501: MLOAD
00001502: DUP1
00001503: SWAP2
00001504: SUB
00001505: SWAP1
00001506: LOG3
00001507: DUP1
00001508: PUSH1 0x07
0000150a: PUSH1 0x00
0000150c: CALLER
0000150d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001522: AND
00001523: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001538: AND
00001539: DUP2
0000153a: MSTORE
0000153b: PUSH1 0x20
0000153d: ADD
0000153e: SWAP1
0000153f: DUP2
00001540: MSTORE
00001541: PUSH1 0x20
00001543: ADD
00001544: PUSH1 0x00
00001546: KECCAK256
00001547: PUSH1 0x00
00001549: DUP5
0000154a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000155f: AND
00001560: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001575: AND
00001576: DUP2
00001577: MSTORE
00001578: PUSH1 0x20
0000157a: ADD
0000157b: SWAP1
0000157c: DUP2
0000157d: MSTORE
0000157e: PUSH1 0x20
00001580: ADD
00001581: PUSH1 0x00
00001583: KECCAK256
00001584: PUSH1 0x00
00001586: PUSH2 0x0100
00001589: EXP
0000158a: DUP2
0000158b: SLOAD
0000158c: DUP2
0000158d: PUSH1 0xff
0000158f: MUL
00001590: NOT
00001591: AND
00001592: SWAP1
00001593: DUP4
00001594: ISZERO
00001595: ISZERO
00001596: MUL
00001597: OR
00001598: SWAP1
00001599: SSTORE
0000159a: POP
0000159b: POP
0000159c: POP
0000159d: JUMP
0000159e: JUMPDEST
0000159f: PUSH2 0x15a9
000015a2: DUP5
000015a3: DUP5
000015a4: DUP5
000015a5: PUSH2 0x0c4d
000015a8: JUMP
000015a9: JUMPDEST
000015aa: PUSH1 0x00
000015ac: DUP4
000015ad: EXTCODESIZE
000015ae: SWAP1
000015af: POP
000015b0: PUSH1 0x00
000015b2: DUP2
000015b3: PUSH4 0xffffffff
000015b8: AND
000015b9: GT
000015ba: ISZERO
000015bb: PUSH2 0x16f5
000015be: JUMPI
000015bf: PUSH1 0x00
000015c1: DUP5
000015c2: SWAP1
000015c3: POP
000015c4: PUSH32 0x150b7a023d4804d13e8c85fb27262cb750cf6ba9f9dd3bb30d90f482ceeb4b1f
000015e5: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001602: NOT
00001603: AND
00001604: DUP2
00001605: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000161a: AND
0000161b: PUSH4 0x150b7a02
00001620: CALLER
00001621: DUP10
00001622: DUP9
00001623: DUP9
00001624: PUSH1 0x40
00001626: MLOAD
00001627: DUP6
00001628: PUSH4 0xffffffff
0000162d: AND
0000162e: PUSH1 0xe0
00001630: SHL
00001631: DUP2
00001632: MSTORE
00001633: PUSH1 0x04
00001635: ADD
00001636: PUSH2 0x1642
00001639: SWAP5
0000163a: SWAP4
0000163b: SWAP3
0000163c: SWAP2
0000163d: SWAP1
0000163e: PUSH2 0x2bc4
00001641: JUMP
00001642: JUMPDEST
00001643: PUSH1 0x20
00001645: PUSH1 0x40
00001647: MLOAD
00001648: DUP1
00001649: DUP4
0000164a: SUB
0000164b: DUP2
0000164c: PUSH1 0x00
0000164e: DUP8
0000164f: DUP1
00001650: EXTCODESIZE
00001651: ISZERO
00001652: DUP1
00001653: ISZERO
00001654: PUSH2 0x165c
00001657: JUMPI
00001658: PUSH1 0x00
0000165a: DUP1
0000165b: REVERT
0000165c: JUMPDEST
0000165d: POP
0000165e: GAS
0000165f: CALL
00001660: ISZERO
00001661: DUP1
00001662: ISZERO
00001663: PUSH2 0x1670
00001666: JUMPI
00001667: RETURNDATASIZE
00001668: PUSH1 0x00
0000166a: DUP1
0000166b: RETURNDATACOPY
0000166c: RETURNDATASIZE
0000166d: PUSH1 0x00
0000166f: REVERT
00001670: JUMPDEST
00001671: POP
00001672: POP
00001673: POP
00001674: POP
00001675: PUSH1 0x40
00001677: MLOAD
00001678: RETURNDATASIZE
00001679: PUSH1 0x1f
0000167b: NOT
0000167c: PUSH1 0x1f
0000167e: DUP3
0000167f: ADD
00001680: AND
00001681: DUP3
00001682: ADD
00001683: DUP1
00001684: PUSH1 0x40
00001686: MSTORE
00001687: POP
00001688: DUP2
00001689: ADD
0000168a: SWAP1
0000168b: PUSH2 0x1694
0000168e: SWAP2
0000168f: SWAP1
00001690: PUSH2 0x2c25
00001693: JUMP
00001694: JUMPDEST
00001695: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000016b2: NOT
000016b3: AND
000016b4: EQ
000016b5: PUSH2 0x16f3
000016b8: JUMPI
000016b9: PUSH1 0x40
000016bb: MLOAD
000016bc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000016dd: DUP2
000016de: MSTORE
000016df: PUSH1 0x04
000016e1: ADD
000016e2: PUSH2 0x16ea
000016e5: SWAP1
000016e6: PUSH2 0x2c9e
000016e9: JUMP
000016ea: JUMPDEST
000016eb: PUSH1 0x40
000016ed: MLOAD
000016ee: DUP1
000016ef: SWAP2
000016f0: SUB
000016f1: SWAP1
000016f2: REVERT
000016f3: JUMPDEST
000016f4: POP
000016f5: JUMPDEST
000016f6: POP
000016f7: POP
000016f8: POP
000016f9: POP
000016fa: POP
000016fb: JUMP
000016fc: JUMPDEST
000016fd: PUSH1 0x02
000016ff: SLOAD
00001700: DUP2
00001701: JUMP
00001702: JUMPDEST
00001703: PUSH1 0x00
00001705: PUSH1 0x01
00001707: PUSH1 0x00
00001709: DUP1
0000170a: SLOAD
0000170b: SWAP1
0000170c: POP
0000170d: PUSH2 0x1716
00001710: SWAP2
00001711: SWAP1
00001712: PUSH2 0x2cbe
00001715: JUMP
00001716: JUMPDEST
00001717: SWAP1
00001718: POP
00001719: PUSH1 0x00
0000171b: PUSH2 0x1722
0000171e: PUSH2 0x0b8d
00001721: JUMP
00001722: JUMPDEST
00001723: SWAP1
00001724: POP
00001725: PUSH1 0x00
00001727: DUP2
00001728: PUSH2 0x1388
0000172b: PUSH2 0x1734
0000172e: SWAP2
0000172f: SWAP1
00001730: PUSH2 0x2aa9
00001733: JUMP
00001734: JUMPDEST
00001735: PUSH3 0xe4e1c0
00001739: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000175a: PUSH2 0x1763
0000175d: SWAP2
0000175e: SWAP1
0000175f: PUSH2 0x2d43
00001762: JUMP
00001763: JUMPDEST
00001764: PUSH2 0x176d
00001767: SWAP2
00001768: SWAP1
00001769: PUSH2 0x27c2
0000176c: JUMP
0000176d: JUMPDEST
0000176e: SWAP1
0000176f: POP
00001770: PUSH1 0x00
00001772: PUSH7 0x11c37937e08000
0000177a: DUP4
0000177b: PUSH6 0x16bcc41e9000
00001782: PUSH2 0x178b
00001785: SWAP2
00001786: SWAP1
00001787: PUSH2 0x2aa9
0000178a: JUMP
0000178b: JUMPDEST
0000178c: PUSH2 0x1795
0000178f: SWAP2
00001790: SWAP1
00001791: PUSH2 0x2cbe
00001794: JUMP
00001795: JUMPDEST
00001796: SWAP1
00001797: POP
00001798: PUSH1 0x00
0000179a: CALLER
0000179b: PUSH1 0x00
0000179d: PUSH1 0x01
0000179f: PUSH1 0x00
000017a1: DUP1
000017a2: SLOAD
000017a3: SWAP1
000017a4: POP
000017a5: PUSH2 0x17ae
000017a8: SWAP2
000017a9: SWAP1
000017aa: PUSH2 0x27c2
000017ad: JUMP
000017ae: JUMPDEST
000017af: DUP2
000017b0: SLOAD
000017b1: DUP2
000017b2: LT
000017b3: PUSH2 0x17bf
000017b6: JUMPI
000017b7: PUSH2 0x17be
000017ba: PUSH2 0x27f6
000017bd: JUMP
000017be: JUMPDEST
000017bf: JUMPDEST
000017c0: SWAP1
000017c1: PUSH1 0x00
000017c3: MSTORE
000017c4: PUSH1 0x20
000017c6: PUSH1 0x00
000017c8: KECCAK256
000017c9: ADD
000017ca: SLOAD
000017cb: DUP8
000017cc: PUSH1 0x40
000017ce: MLOAD
000017cf: PUSH1 0x20
000017d1: ADD
000017d2: PUSH2 0x17dd
000017d5: SWAP4
000017d6: SWAP3
000017d7: SWAP2
000017d8: SWAP1
000017d9: PUSH2 0x2dfe
000017dc: JUMP
000017dd: JUMPDEST
000017de: PUSH1 0x40
000017e0: MLOAD
000017e1: PUSH1 0x20
000017e3: DUP2
000017e4: DUP4
000017e5: SUB
000017e6: SUB
000017e7: DUP2
000017e8: MSTORE
000017e9: SWAP1
000017ea: PUSH1 0x40
000017ec: MSTORE
000017ed: DUP1
000017ee: MLOAD
000017ef: SWAP1
000017f0: PUSH1 0x20
000017f2: ADD
000017f3: KECCAK256
000017f4: SWAP1
000017f5: POP
000017f6: DUP3
000017f7: DUP2
000017f8: PUSH1 0x00
000017fa: SHR
000017fb: LT
000017fc: PUSH2 0x183a
000017ff: JUMPI
00001800: PUSH1 0x40
00001802: MLOAD
00001803: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001824: DUP2
00001825: MSTORE
00001826: PUSH1 0x04
00001828: ADD
00001829: PUSH2 0x1831
0000182c: SWAP1
0000182d: PUSH2 0x2e87
00001830: JUMP
00001831: JUMPDEST
00001832: PUSH1 0x40
00001834: MLOAD
00001835: DUP1
00001836: SWAP2
00001837: SUB
00001838: SWAP1
00001839: REVERT
0000183a: JUMPDEST
0000183b: DUP2
0000183c: CALLVALUE
0000183d: EQ
0000183e: PUSH2 0x187c
00001841: JUMPI
00001842: PUSH1 0x40
00001844: MLOAD
00001845: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001866: DUP2
00001867: MSTORE
00001868: PUSH1 0x04
0000186a: ADD
0000186b: PUSH2 0x1873
0000186e: SWAP1
0000186f: PUSH2 0x2ef3
00001872: JUMP
00001873: JUMPDEST
00001874: PUSH1 0x40
00001876: MLOAD
00001877: DUP1
00001878: SWAP2
00001879: SUB
0000187a: SWAP1
0000187b: REVERT
0000187c: JUMPDEST
0000187d: DUP4
0000187e: PUSH1 0x04
00001880: PUSH1 0x00
00001882: DUP8
00001883: DUP2
00001884: MSTORE
00001885: PUSH1 0x20
00001887: ADD
00001888: SWAP1
00001889: DUP2
0000188a: MSTORE
0000188b: PUSH1 0x20
0000188d: ADD
0000188e: PUSH1 0x00
00001890: KECCAK256
00001891: DUP2
00001892: SWAP1
00001893: SSTORE
00001894: POP
00001895: DUP1
00001896: TIMESTAMP
00001897: PUSH1 0x40
00001899: MLOAD
0000189a: PUSH1 0x20
0000189c: ADD
0000189d: PUSH2 0x18a7
000018a0: SWAP3
000018a1: SWAP2
000018a2: SWAP1
000018a3: PUSH2 0x2f13
000018a6: JUMP
000018a7: JUMPDEST
000018a8: PUSH1 0x40
000018aa: MLOAD
000018ab: PUSH1 0x20
000018ad: DUP2
000018ae: DUP4
000018af: SUB
000018b0: SUB
000018b1: DUP2
000018b2: MSTORE
000018b3: SWAP1
000018b4: PUSH1 0x40
000018b6: MSTORE
000018b7: DUP1
000018b8: MLOAD
000018b9: SWAP1
000018ba: PUSH1 0x20
000018bc: ADD
000018bd: KECCAK256
000018be: SWAP1
000018bf: POP
000018c0: PUSH2 0x18ca
000018c3: DUP6
000018c4: CALLER
000018c5: DUP4
000018c6: PUSH2 0x1db3
000018c9: JUMP
000018ca: JUMPDEST
000018cb: PUSH32 0xf5f58f382f1f118117f43fff04f628fa40f28606dae96f4201f4d7ef1b570bc1
000018ec: DUP6
000018ed: DUP3
000018ee: CALLER
000018ef: PUSH2 0x18f6
000018f2: PUSH2 0x0b8d
000018f5: JUMP
000018f6: JUMPDEST
000018f7: NUMBER
000018f8: PUSH1 0x40
000018fa: MLOAD
000018fb: PUSH2 0x1908
000018fe: SWAP6
000018ff: SWAP5
00001900: SWAP4
00001901: SWAP3
00001902: SWAP2
00001903: SWAP1
00001904: PUSH2 0x2f3f
00001907: JUMP
00001908: JUMPDEST
00001909: PUSH1 0x40
0000190b: MLOAD
0000190c: DUP1
0000190d: SWAP2
0000190e: SUB
0000190f: SWAP1
00001910: LOG1
00001911: POP
00001912: POP
00001913: POP
00001914: POP
00001915: POP
00001916: POP
00001917: JUMP
00001918: JUMPDEST
00001919: PUSH1 0x60
0000191b: PUSH2 0x1923
0000191e: DUP3
0000191f: PUSH2 0x1d47
00001922: JUMP
00001923: JUMPDEST
00001924: PUSH2 0x1962
00001927: JUMPI
00001928: PUSH1 0x40
0000192a: MLOAD
0000192b: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000194c: DUP2
0000194d: MSTORE
0000194e: PUSH1 0x04
00001950: ADD
00001951: PUSH2 0x1959
00001954: SWAP1
00001955: PUSH2 0x2fde
00001958: JUMP
00001959: JUMPDEST
0000195a: PUSH1 0x40
0000195c: MLOAD
0000195d: DUP1
0000195e: SWAP2
0000195f: SUB
00001960: SWAP1
00001961: REVERT
00001962: JUMPDEST
00001963: PUSH1 0x0b
00001965: PUSH1 0x00
00001967: SWAP1
00001968: SLOAD
00001969: SWAP1
0000196a: PUSH2 0x0100
0000196d: EXP
0000196e: SWAP1
0000196f: DIV
00001970: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001985: AND
00001986: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000199b: AND
0000199c: PUSH4 0x1600e348
000019a1: DUP4
000019a2: PUSH1 0x00
000019a4: PUSH1 0x01
000019a6: DUP7
000019a7: PUSH2 0x19b0
000019aa: SWAP2
000019ab: SWAP1
000019ac: PUSH2 0x27c2
000019af: JUMP
000019b0: JUMPDEST
000019b1: DUP2
000019b2: SLOAD
000019b3: DUP2
000019b4: LT
000019b5: PUSH2 0x19c1
000019b8: JUMPI
000019b9: PUSH2 0x19c0
000019bc: PUSH2 0x27f6
000019bf: JUMP
000019c0: JUMPDEST
000019c1: JUMPDEST
000019c2: SWAP1
000019c3: PUSH1 0x00
000019c5: MSTORE
000019c6: PUSH1 0x20
000019c8: PUSH1 0x00
000019ca: KECCAK256
000019cb: ADD
000019cc: SLOAD
000019cd: PUSH1 0x04
000019cf: PUSH1 0x00
000019d1: DUP8
000019d2: DUP2
000019d3: MSTORE
000019d4: PUSH1 0x20
000019d6: ADD
000019d7: SWAP1
000019d8: DUP2
000019d9: MSTORE
000019da: PUSH1 0x20
000019dc: ADD
000019dd: PUSH1 0x00
000019df: KECCAK256
000019e0: SLOAD
000019e1: PUSH1 0x00
000019e3: DUP1
000019e4: SLOAD
000019e5: SWAP1
000019e6: POP
000019e7: PUSH1 0x40
000019e9: MLOAD
000019ea: DUP6
000019eb: PUSH4 0xffffffff
000019f0: AND
000019f1: PUSH1 0xe0
000019f3: SHL
000019f4: DUP2
000019f5: MSTORE
000019f6: PUSH1 0x04
000019f8: ADD
000019f9: PUSH2 0x1a05
000019fc: SWAP5
000019fd: SWAP4
000019fe: SWAP3
000019ff: SWAP2
00001a00: SWAP1
00001a01: PUSH2 0x2ffe
00001a04: JUMP
00001a05: JUMPDEST
00001a06: PUSH1 0x00
00001a08: PUSH1 0x40
00001a0a: MLOAD
00001a0b: DUP1
00001a0c: DUP4
00001a0d: SUB
00001a0e: DUP2
00001a0f: DUP7
00001a10: DUP1
00001a11: EXTCODESIZE
00001a12: ISZERO
00001a13: DUP1
00001a14: ISZERO
00001a15: PUSH2 0x1a1d
00001a18: JUMPI
00001a19: PUSH1 0x00
00001a1b: DUP1
00001a1c: REVERT
00001a1d: JUMPDEST
00001a1e: POP
00001a1f: GAS
00001a20: STATICCALL
00001a21: ISZERO
00001a22: DUP1
00001a23: ISZERO
00001a24: PUSH2 0x1a31
00001a27: JUMPI
00001a28: RETURNDATASIZE
00001a29: PUSH1 0x00
00001a2b: DUP1
00001a2c: RETURNDATACOPY
00001a2d: RETURNDATASIZE
00001a2e: PUSH1 0x00
00001a30: REVERT
00001a31: JUMPDEST
00001a32: POP
00001a33: POP
00001a34: POP
00001a35: POP
00001a36: PUSH1 0x40
00001a38: MLOAD
00001a39: RETURNDATASIZE
00001a3a: PUSH1 0x00
00001a3c: DUP3
00001a3d: RETURNDATACOPY
00001a3e: RETURNDATASIZE
00001a3f: PUSH1 0x1f
00001a41: NOT
00001a42: PUSH1 0x1f
00001a44: DUP3
00001a45: ADD
00001a46: AND
00001a47: DUP3
00001a48: ADD
00001a49: DUP1
00001a4a: PUSH1 0x40
00001a4c: MSTORE
00001a4d: POP
00001a4e: DUP2
00001a4f: ADD
00001a50: SWAP1
00001a51: PUSH2 0x1a5a
00001a54: SWAP2
00001a55: SWAP1
00001a56: PUSH2 0x30e4
00001a59: JUMP
00001a5a: JUMPDEST
00001a5b: SWAP1
00001a5c: POP
00001a5d: SWAP2
00001a5e: SWAP1
00001a5f: POP
00001a60: JUMP
00001a61: JUMPDEST
00001a62: PUSH1 0x00
00001a64: DUP1
00001a65: PUSH1 0x00
00001a67: DUP1
00001a68: PUSH1 0x00
00001a6a: PUSH1 0x01
00001a6c: PUSH1 0x00
00001a6e: DUP1
00001a6f: SLOAD
00001a70: SWAP1
00001a71: POP
00001a72: PUSH2 0x1a7b
00001a75: SWAP2
00001a76: SWAP1
00001a77: PUSH2 0x27c2
00001a7a: JUMP
00001a7b: JUMPDEST
00001a7c: DUP2
00001a7d: SLOAD
00001a7e: DUP2
00001a7f: LT
00001a80: PUSH2 0x1a8c
00001a83: JUMPI
00001a84: PUSH2 0x1a8b
00001a87: PUSH2 0x27f6
00001a8a: JUMP
00001a8b: JUMPDEST
00001a8c: JUMPDEST
00001a8d: SWAP1
00001a8e: PUSH1 0x00
00001a90: MSTORE
00001a91: PUSH1 0x20
00001a93: PUSH1 0x00
00001a95: KECCAK256
00001a96: ADD
00001a97: SLOAD
00001a98: PUSH2 0x1a9f
00001a9b: PUSH2 0x0b8d
00001a9e: JUMP
00001a9f: JUMPDEST
00001aa0: PUSH1 0x01
00001aa2: SLOAD
00001aa3: NUMBER
00001aa4: SWAP4
00001aa5: POP
00001aa6: SWAP4
00001aa7: POP
00001aa8: SWAP4
00001aa9: POP
00001aaa: SWAP4
00001aab: POP
00001aac: SWAP1
00001aad: SWAP2
00001aae: SWAP3
00001aaf: SWAP4
00001ab0: JUMP
00001ab1: JUMPDEST
00001ab2: PUSH2 0x1aba
00001ab5: DUP2
00001ab6: PUSH2 0x1261
00001ab9: JUMP
00001aba: JUMPDEST
00001abb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ad0: AND
00001ad1: CALLER
00001ad2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ae7: AND
00001ae8: EQ
00001ae9: PUSH2 0x1b27
00001aec: JUMPI
00001aed: PUSH1 0x40
00001aef: MLOAD
00001af0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b11: DUP2
00001b12: MSTORE
00001b13: PUSH1 0x04
00001b15: ADD
00001b16: PUSH2 0x1b1e
00001b19: SWAP1
00001b1a: PUSH2 0x3179
00001b1d: JUMP
00001b1e: JUMPDEST
00001b1f: PUSH1 0x40
00001b21: MLOAD
00001b22: DUP1
00001b23: SWAP2
00001b24: SUB
00001b25: SWAP1
00001b26: REVERT
00001b27: JUMPDEST
00001b28: PUSH1 0x00
00001b2a: DUP2
00001b2b: PUSH1 0x00
00001b2d: DUP1
00001b2e: SLOAD
00001b2f: SWAP1
00001b30: POP
00001b31: PUSH2 0x1b3a
00001b34: SWAP2
00001b35: SWAP1
00001b36: PUSH2 0x27c2
00001b39: JUMP
00001b3a: JUMPDEST
00001b3b: SWAP1
00001b3c: POP
00001b3d: PUSH1 0x00
00001b3f: PUSH6 0x16bcc41e9000
00001b46: DUP3
00001b47: PUSH2 0x1b50
00001b4a: SWAP2
00001b4b: SWAP1
00001b4c: PUSH2 0x2aa9
00001b4f: JUMP
00001b50: JUMPDEST
00001b51: SWAP1
00001b52: POP
00001b53: PUSH1 0x01
00001b55: PUSH1 0x00
00001b57: DUP2
00001b58: SLOAD
00001b59: DUP1
00001b5a: SWAP3
00001b5b: SWAP2
00001b5c: SWAP1
00001b5d: PUSH2 0x1b65
00001b60: SWAP1
00001b61: PUSH2 0x29ca
00001b64: JUMP
00001b65: JUMPDEST
00001b66: SWAP2
00001b67: SWAP1
00001b68: POP
00001b69: SSTORE
00001b6a: POP
00001b6b: PUSH2 0x1b73
00001b6e: DUP4
00001b6f: PUSH2 0x1ee4
00001b72: JUMP
00001b73: JUMPDEST
00001b74: CALLER
00001b75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b8a: AND
00001b8b: PUSH2 0x08fc
00001b8e: DUP3
00001b8f: SWAP1
00001b90: DUP2
00001b91: ISZERO
00001b92: MUL
00001b93: SWAP1
00001b94: PUSH1 0x40
00001b96: MLOAD
00001b97: PUSH1 0x00
00001b99: PUSH1 0x40
00001b9b: MLOAD
00001b9c: DUP1
00001b9d: DUP4
00001b9e: SUB
00001b9f: DUP2
00001ba0: DUP6
00001ba1: DUP9
00001ba2: DUP9
00001ba3: CALL
00001ba4: SWAP4
00001ba5: POP
00001ba6: POP
00001ba7: POP
00001ba8: POP
00001ba9: ISZERO
00001baa: DUP1
00001bab: ISZERO
00001bac: PUSH2 0x1bb9
00001baf: JUMPI
00001bb0: RETURNDATASIZE
00001bb1: PUSH1 0x00
00001bb3: DUP1
00001bb4: RETURNDATACOPY
00001bb5: RETURNDATASIZE
00001bb6: PUSH1 0x00
00001bb8: REVERT
00001bb9: JUMPDEST
00001bba: POP
00001bbb: PUSH32 0xfbbffffeabef452ab6027d4de83615fa3e483405824c5abdabab23133ac5878a
00001bdc: DUP4
00001bdd: PUSH1 0x00
00001bdf: PUSH1 0x01
00001be1: DUP7
00001be2: PUSH2 0x1beb
00001be5: SWAP2
00001be6: SWAP1
00001be7: PUSH2 0x27c2
00001bea: JUMP
00001beb: JUMPDEST
00001bec: DUP2
00001bed: SLOAD
00001bee: DUP2
00001bef: LT
00001bf0: PUSH2 0x1bfc
00001bf3: JUMPI
00001bf4: PUSH2 0x1bfb
00001bf7: PUSH2 0x27f6
00001bfa: JUMP
00001bfb: JUMPDEST
00001bfc: JUMPDEST
00001bfd: SWAP1
00001bfe: PUSH1 0x00
00001c00: MSTORE
00001c01: PUSH1 0x20
00001c03: PUSH1 0x00
00001c05: KECCAK256
00001c06: ADD
00001c07: SLOAD
00001c08: DUP5
00001c09: PUSH1 0x04
00001c0b: PUSH1 0x00
00001c0d: DUP9
00001c0e: DUP2
00001c0f: MSTORE
00001c10: PUSH1 0x20
00001c12: ADD
00001c13: SWAP1
00001c14: DUP2
00001c15: MSTORE
00001c16: PUSH1 0x20
00001c18: ADD
00001c19: PUSH1 0x00
00001c1b: KECCAK256
00001c1c: SLOAD
00001c1d: PUSH2 0x1c24
00001c20: PUSH2 0x0b8d
00001c23: JUMP
00001c24: JUMPDEST
00001c25: NUMBER
00001c26: PUSH1 0x40
00001c28: MLOAD
00001c29: PUSH2 0x1c37
00001c2c: SWAP7
00001c2d: SWAP6
00001c2e: SWAP5
00001c2f: SWAP4
00001c30: SWAP3
00001c31: SWAP2
00001c32: SWAP1
00001c33: PUSH2 0x3199
00001c36: JUMP
00001c37: JUMPDEST
00001c38: PUSH1 0x40
00001c3a: MLOAD
00001c3b: DUP1
00001c3c: SWAP2
00001c3d: SUB
00001c3e: SWAP1
00001c3f: LOG1
00001c40: POP
00001c41: POP
00001c42: POP
00001c43: JUMP
00001c44: JUMPDEST
00001c45: PUSH1 0x07
00001c47: PUSH1 0x20
00001c49: MSTORE
00001c4a: DUP2
00001c4b: PUSH1 0x00
00001c4d: MSTORE
00001c4e: PUSH1 0x40
00001c50: PUSH1 0x00
00001c52: KECCAK256
00001c53: PUSH1 0x20
00001c55: MSTORE
00001c56: DUP1
00001c57: PUSH1 0x00
00001c59: MSTORE
00001c5a: PUSH1 0x40
00001c5c: PUSH1 0x00
00001c5e: KECCAK256
00001c5f: PUSH1 0x00
00001c61: SWAP2
00001c62: POP
00001c63: SWAP2
00001c64: POP
00001c65: SWAP1
00001c66: SLOAD
00001c67: SWAP1
00001c68: PUSH2 0x0100
00001c6b: EXP
00001c6c: SWAP1
00001c6d: DIV
00001c6e: PUSH1 0xff
00001c70: AND
00001c71: DUP2
00001c72: JUMP
00001c73: JUMPDEST
00001c74: PUSH1 0x03
00001c76: PUSH1 0x00
00001c78: SWAP1
00001c79: SLOAD
00001c7a: SWAP1
00001c7b: PUSH2 0x0100
00001c7e: EXP
00001c7f: SWAP1
00001c80: DIV
00001c81: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c96: AND
00001c97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cac: AND
00001cad: CALLER
00001cae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cc3: AND
00001cc4: EQ
00001cc5: PUSH2 0x1d03
00001cc8: JUMPI
00001cc9: PUSH1 0x40
00001ccb: MLOAD
00001ccc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001ced: DUP2
00001cee: MSTORE
00001cef: PUSH1 0x04
00001cf1: ADD
00001cf2: PUSH2 0x1cfa
00001cf5: SWAP1
00001cf6: PUSH2 0x293e
00001cf9: JUMP
00001cfa: JUMPDEST
00001cfb: PUSH1 0x40
00001cfd: MLOAD
00001cfe: DUP1
00001cff: SWAP2
00001d00: SUB
00001d01: SWAP1
00001d02: REVERT
00001d03: JUMPDEST
00001d04: DUP1
00001d05: PUSH1 0x0b
00001d07: PUSH1 0x00
00001d09: PUSH2 0x0100
00001d0c: EXP
00001d0d: DUP2
00001d0e: SLOAD
00001d0f: DUP2
00001d10: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d25: MUL
00001d26: NOT
00001d27: AND
00001d28: SWAP1
00001d29: DUP4
00001d2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d3f: AND
00001d40: MUL
00001d41: OR
00001d42: SWAP1
00001d43: SSTORE
00001d44: POP
00001d45: POP
00001d46: JUMP
00001d47: JUMPDEST
00001d48: PUSH1 0x00
00001d4a: DUP1
00001d4b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d60: AND
00001d61: PUSH1 0x08
00001d63: PUSH1 0x00
00001d65: DUP5
00001d66: DUP2
00001d67: MSTORE
00001d68: PUSH1 0x20
00001d6a: ADD
00001d6b: SWAP1
00001d6c: DUP2
00001d6d: MSTORE
00001d6e: PUSH1 0x20
00001d70: ADD
00001d71: PUSH1 0x00
00001d73: KECCAK256
00001d74: PUSH1 0x00
00001d76: SWAP1
00001d77: SLOAD
00001d78: SWAP1
00001d79: PUSH2 0x0100
00001d7c: EXP
00001d7d: SWAP1
00001d7e: DIV
00001d7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d94: AND
00001d95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001daa: AND
00001dab: EQ
00001dac: ISZERO
00001dad: SWAP1
00001dae: POP
00001daf: SWAP2
00001db0: SWAP1
00001db1: POP
00001db2: JUMP
00001db3: JUMPDEST
00001db4: CALLER
00001db5: PUSH1 0x08
00001db7: PUSH1 0x00
00001db9: DUP6
00001dba: DUP2
00001dbb: MSTORE
00001dbc: PUSH1 0x20
00001dbe: ADD
00001dbf: SWAP1
00001dc0: DUP2
00001dc1: MSTORE
00001dc2: PUSH1 0x20
00001dc4: ADD
00001dc5: PUSH1 0x00
00001dc7: KECCAK256
00001dc8: PUSH1 0x00
00001dca: PUSH2 0x0100
00001dcd: EXP
00001dce: DUP2
00001dcf: SLOAD
00001dd0: DUP2
00001dd1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001de6: MUL
00001de7: NOT
00001de8: AND
00001de9: SWAP1
00001dea: DUP4
00001deb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e00: AND
00001e01: MUL
00001e02: OR
00001e03: SWAP1
00001e04: SSTORE
00001e05: POP
00001e06: PUSH1 0x05
00001e08: PUSH1 0x00
00001e0a: DUP4
00001e0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e20: AND
00001e21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e36: AND
00001e37: DUP2
00001e38: MSTORE
00001e39: PUSH1 0x20
00001e3b: ADD
00001e3c: SWAP1
00001e3d: DUP2
00001e3e: MSTORE
00001e3f: PUSH1 0x20
00001e41: ADD
00001e42: PUSH1 0x00
00001e44: KECCAK256
00001e45: PUSH1 0x00
00001e47: DUP2
00001e48: SLOAD
00001e49: DUP1
00001e4a: SWAP3
00001e4b: SWAP2
00001e4c: SWAP1
00001e4d: PUSH2 0x1e55
00001e50: SWAP1
00001e51: PUSH2 0x29ca
00001e54: JUMP
00001e55: JUMPDEST
00001e56: SWAP2
00001e57: SWAP1
00001e58: POP
00001e59: SSTORE
00001e5a: POP
00001e5b: PUSH1 0x00
00001e5d: DUP2
00001e5e: SWAP1
00001e5f: DUP1
00001e60: PUSH1 0x01
00001e62: DUP2
00001e63: SLOAD
00001e64: ADD
00001e65: DUP1
00001e66: DUP3
00001e67: SSTORE
00001e68: DUP1
00001e69: SWAP2
00001e6a: POP
00001e6b: POP
00001e6c: PUSH1 0x01
00001e6e: SWAP1
00001e6f: SUB
00001e70: SWAP1
00001e71: PUSH1 0x00
00001e73: MSTORE
00001e74: PUSH1 0x20
00001e76: PUSH1 0x00
00001e78: KECCAK256
00001e79: ADD
00001e7a: PUSH1 0x00
00001e7c: SWAP1
00001e7d: SWAP2
00001e7e: SWAP1
00001e7f: SWAP2
00001e80: SWAP1
00001e81: SWAP2
00001e82: POP
00001e83: SSTORE
00001e84: DUP3
00001e85: DUP3
00001e86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e9b: AND
00001e9c: PUSH1 0x00
00001e9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001eb3: AND
00001eb4: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001ed5: PUSH1 0x40
00001ed7: MLOAD
00001ed8: PUSH1 0x40
00001eda: MLOAD
00001edb: DUP1
00001edc: SWAP2
00001edd: SUB
00001ede: SWAP1
00001edf: LOG4
00001ee0: POP
00001ee1: POP
00001ee2: POP
00001ee3: JUMP
00001ee4: JUMPDEST
00001ee5: PUSH1 0x00
00001ee7: PUSH1 0x08
00001ee9: PUSH1 0x00
00001eeb: DUP4
00001eec: DUP2
00001eed: MSTORE
00001eee: PUSH1 0x20
00001ef0: ADD
00001ef1: SWAP1
00001ef2: DUP2
00001ef3: MSTORE
00001ef4: PUSH1 0x20
00001ef6: ADD
00001ef7: PUSH1 0x00
00001ef9: KECCAK256
00001efa: PUSH1 0x00
00001efc: SWAP1
00001efd: SLOAD
00001efe: SWAP1
00001eff: PUSH2 0x0100
00001f02: EXP
00001f03: SWAP1
00001f04: DIV
00001f05: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f1a: AND
00001f1b: SWAP1
00001f1c: POP
00001f1d: PUSH1 0x05
00001f1f: PUSH1 0x00
00001f21: DUP3
00001f22: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f37: AND
00001f38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f4d: AND
00001f4e: DUP2
00001f4f: MSTORE
00001f50: PUSH1 0x20
00001f52: ADD
00001f53: SWAP1
00001f54: DUP2
00001f55: MSTORE
00001f56: PUSH1 0x20
00001f58: ADD
00001f59: PUSH1 0x00
00001f5b: KECCAK256
00001f5c: PUSH1 0x00
00001f5e: DUP2
00001f5f: SLOAD
00001f60: DUP1
00001f61: SWAP3
00001f62: SWAP2
00001f63: SWAP1
00001f64: PUSH2 0x1f6c
00001f67: SWAP1
00001f68: PUSH2 0x2a7f
00001f6b: JUMP
00001f6c: JUMPDEST
00001f6d: SWAP2
00001f6e: SWAP1
00001f6f: POP
00001f70: SSTORE
00001f71: POP
00001f72: PUSH1 0x08
00001f74: PUSH1 0x00
00001f76: DUP4
00001f77: DUP2
00001f78: MSTORE
00001f79: PUSH1 0x20
00001f7b: ADD
00001f7c: SWAP1
00001f7d: DUP2
00001f7e: MSTORE
00001f7f: PUSH1 0x20
00001f81: ADD
00001f82: PUSH1 0x00
00001f84: KECCAK256
00001f85: PUSH1 0x00
00001f87: PUSH2 0x0100
00001f8a: EXP
00001f8b: DUP2
00001f8c: SLOAD
00001f8d: SWAP1
00001f8e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fa3: MUL
00001fa4: NOT
00001fa5: AND
00001fa6: SWAP1
00001fa7: SSTORE
00001fa8: DUP2
00001fa9: PUSH1 0x00
00001fab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fc0: AND
00001fc1: DUP3
00001fc2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fd7: AND
00001fd8: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
00001ff9: PUSH1 0x40
00001ffb: MLOAD
00001ffc: PUSH1 0x40
00001ffe: MLOAD
00001fff: DUP1
00002000: SWAP2
00002001: SUB
00002002: SWAP1
00002003: LOG4
00002004: POP
00002005: POP
00002006: JUMP
00002007: JUMPDEST
00002008: PUSH1 0x00
0000200a: PUSH1 0x40
0000200c: MLOAD
0000200d: SWAP1
0000200e: POP
0000200f: SWAP1
00002010: JUMP
00002011: JUMPDEST
00002012: PUSH1 0x00
00002014: DUP1
00002015: REVERT
00002016: JUMPDEST
00002017: PUSH1 0x00
00002019: DUP1
0000201a: REVERT
0000201b: JUMPDEST
0000201c: PUSH1 0x00
0000201e: DUP2
0000201f: SWAP1
00002020: POP
00002021: SWAP2
00002022: SWAP1
00002023: POP
00002024: JUMP
00002025: JUMPDEST
00002026: PUSH2 0x202e
00002029: DUP2
0000202a: PUSH2 0x201b
0000202d: JUMP
0000202e: JUMPDEST
0000202f: DUP2
00002030: EQ
00002031: PUSH2 0x2039
00002034: JUMPI
00002035: PUSH1 0x00
00002037: DUP1
00002038: REVERT
00002039: JUMPDEST
0000203a: POP
0000203b: JUMP
0000203c: JUMPDEST
0000203d: PUSH1 0x00
0000203f: DUP2
00002040: CALLDATALOAD
00002041: SWAP1
00002042: POP
00002043: PUSH2 0x204b
00002046: DUP2
00002047: PUSH2 0x2025
0000204a: JUMP
0000204b: JUMPDEST
0000204c: SWAP3
0000204d: SWAP2
0000204e: POP
0000204f: POP
00002050: JUMP
00002051: JUMPDEST
00002052: PUSH1 0x00
00002054: PUSH1 0x20
00002056: DUP3
00002057: DUP5
00002058: SUB
00002059: SLT
0000205a: ISZERO
0000205b: PUSH2 0x2067
0000205e: JUMPI
0000205f: PUSH2 0x2066
00002062: PUSH2 0x2011
00002065: JUMP
00002066: JUMPDEST
00002067: JUMPDEST
00002068: PUSH1 0x00
0000206a: PUSH2 0x2075
0000206d: DUP5
0000206e: DUP3
0000206f: DUP6
00002070: ADD
00002071: PUSH2 0x203c
00002074: JUMP
00002075: JUMPDEST
00002076: SWAP2
00002077: POP
00002078: POP
00002079: SWAP3
0000207a: SWAP2
0000207b: POP
0000207c: POP
0000207d: JUMP
0000207e: JUMPDEST
0000207f: PUSH1 0x00
00002081: DUP2
00002082: SWAP1
00002083: POP
00002084: SWAP2
00002085: SWAP1
00002086: POP
00002087: JUMP
00002088: JUMPDEST
00002089: PUSH2 0x2091
0000208c: DUP2
0000208d: PUSH2 0x207e
00002090: JUMP
00002091: JUMPDEST
00002092: DUP3
00002093: MSTORE
00002094: POP
00002095: POP
00002096: JUMP
00002097: JUMPDEST
00002098: PUSH2 0x20a0
0000209b: DUP2
0000209c: PUSH2 0x201b
0000209f: JUMP
000020a0: JUMPDEST
000020a1: DUP3
000020a2: MSTORE
000020a3: POP
000020a4: POP
000020a5: JUMP
000020a6: JUMPDEST
000020a7: PUSH1 0x00
000020a9: PUSH1 0x60
000020ab: DUP3
000020ac: ADD
000020ad: SWAP1
000020ae: POP
000020af: PUSH2 0x20bb
000020b2: PUSH1 0x00
000020b4: DUP4
000020b5: ADD
000020b6: DUP7
000020b7: PUSH2 0x2088
000020ba: JUMP
000020bb: JUMPDEST
000020bc: PUSH2 0x20c8
000020bf: PUSH1 0x20
000020c1: DUP4
000020c2: ADD
000020c3: DUP6
000020c4: PUSH2 0x2097
000020c7: JUMP
000020c8: JUMPDEST
000020c9: PUSH2 0x20d5
000020cc: PUSH1 0x40
000020ce: DUP4
000020cf: ADD
000020d0: DUP5
000020d1: PUSH2 0x2097
000020d4: JUMP
000020d5: JUMPDEST
000020d6: SWAP5
000020d7: SWAP4
000020d8: POP
000020d9: POP
000020da: POP
000020db: POP
000020dc: JUMP
000020dd: JUMPDEST
000020de: PUSH1 0x00
000020e0: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
00002101: DUP3
00002102: AND
00002103: SWAP1
00002104: POP
00002105: SWAP2
00002106: SWAP1
00002107: POP
00002108: JUMP
00002109: JUMPDEST
0000210a: PUSH2 0x2112
0000210d: DUP2
0000210e: PUSH2 0x20dd
00002111: JUMP
00002112: JUMPDEST
00002113: DUP2
00002114: EQ
00002115: PUSH2 0x211d
00002118: JUMPI
00002119: PUSH1 0x00
0000211b: DUP1
0000211c: REVERT
0000211d: JUMPDEST
0000211e: POP
0000211f: JUMP
00002120: JUMPDEST
00002121: PUSH1 0x00
00002123: DUP2
00002124: CALLDATALOAD
00002125: SWAP1
00002126: POP
00002127: PUSH2 0x212f
0000212a: DUP2
0000212b: PUSH2 0x2109
0000212e: JUMP
0000212f: JUMPDEST
00002130: SWAP3
00002131: SWAP2
00002132: POP
00002133: POP
00002134: JUMP
00002135: JUMPDEST
00002136: PUSH1 0x00
00002138: PUSH1 0x20
0000213a: DUP3
0000213b: DUP5
0000213c: SUB
0000213d: SLT
0000213e: ISZERO
0000213f: PUSH2 0x214b
00002142: JUMPI
00002143: PUSH2 0x214a
00002146: PUSH2 0x2011
00002149: JUMP
0000214a: JUMPDEST
0000214b: JUMPDEST
0000214c: PUSH1 0x00
0000214e: PUSH2 0x2159
00002151: DUP5
00002152: DUP3
00002153: DUP6
00002154: ADD
00002155: PUSH2 0x2120
00002158: JUMP
00002159: JUMPDEST
0000215a: SWAP2
0000215b: POP
0000215c: POP
0000215d: SWAP3
0000215e: SWAP2
0000215f: POP
00002160: POP
00002161: JUMP
00002162: JUMPDEST
00002163: PUSH1 0x00
00002165: DUP2
00002166: ISZERO
00002167: ISZERO
00002168: SWAP1
00002169: POP
0000216a: SWAP2
0000216b: SWAP1
0000216c: POP
0000216d: JUMP
0000216e: JUMPDEST
0000216f: PUSH2 0x2177
00002172: DUP2
00002173: PUSH2 0x2162
00002176: JUMP
00002177: JUMPDEST
00002178: DUP3
00002179: MSTORE
0000217a: POP
0000217b: POP
0000217c: JUMP
0000217d: JUMPDEST
0000217e: PUSH1 0x00
00002180: PUSH1 0x20
00002182: DUP3
00002183: ADD
00002184: SWAP1
00002185: POP
00002186: PUSH2 0x2192
00002189: PUSH1 0x00
0000218b: DUP4
0000218c: ADD
0000218d: DUP5
0000218e: PUSH2 0x216e
00002191: JUMP
00002192: JUMPDEST
00002193: SWAP3
00002194: SWAP2
00002195: POP
00002196: POP
00002197: JUMP
00002198: JUMPDEST
00002199: PUSH1 0x00
0000219b: DUP2
0000219c: MLOAD
0000219d: SWAP1
0000219e: POP
0000219f: SWAP2
000021a0: SWAP1
000021a1: POP
000021a2: JUMP
000021a3: JUMPDEST
000021a4: PUSH1 0x00
000021a6: DUP3
000021a7: DUP3
000021a8: MSTORE
000021a9: PUSH1 0x20
000021ab: DUP3
000021ac: ADD
000021ad: SWAP1
000021ae: POP
000021af: SWAP3
000021b0: SWAP2
000021b1: POP
000021b2: POP
000021b3: JUMP
000021b4: JUMPDEST
000021b5: PUSH1 0x00
000021b7: JUMPDEST
000021b8: DUP4
000021b9: DUP2
000021ba: LT
000021bb: ISZERO
000021bc: PUSH2 0x21d2
000021bf: JUMPI
000021c0: DUP1
000021c1: DUP3
000021c2: ADD
000021c3: MLOAD
000021c4: DUP2
000021c5: DUP5
000021c6: ADD
000021c7: MSTORE
000021c8: PUSH1 0x20
000021ca: DUP2
000021cb: ADD
000021cc: SWAP1
000021cd: POP
000021ce: PUSH2 0x21b7
000021d1: JUMP
000021d2: JUMPDEST
000021d3: DUP4
000021d4: DUP2
000021d5: GT
000021d6: ISZERO
000021d7: PUSH2 0x21e1
000021da: JUMPI
000021db: PUSH1 0x00
000021dd: DUP5
000021de: DUP5
000021df: ADD
000021e0: MSTORE
000021e1: JUMPDEST
000021e2: POP
000021e3: POP
000021e4: POP
000021e5: POP
000021e6: JUMP
000021e7: JUMPDEST
000021e8: PUSH1 0x00
000021ea: PUSH1 0x1f
000021ec: NOT
000021ed: PUSH1 0x1f
000021ef: DUP4
000021f0: ADD
000021f1: AND
000021f2: SWAP1
000021f3: POP
000021f4: SWAP2
000021f5: SWAP1
000021f6: POP
000021f7: JUMP
000021f8: JUMPDEST
000021f9: PUSH1 0x00
000021fb: PUSH2 0x2203
000021fe: DUP3
000021ff: PUSH2 0x2198
00002202: JUMP
00002203: JUMPDEST
00002204: PUSH2 0x220d
00002207: DUP2
00002208: DUP6
00002209: PUSH2 0x21a3
0000220c: JUMP
0000220d: JUMPDEST
0000220e: SWAP4
0000220f: POP
00002210: PUSH2 0x221d
00002213: DUP2
00002214: DUP6
00002215: PUSH1 0x20
00002217: DUP7
00002218: ADD
00002219: PUSH2 0x21b4
0000221c: JUMP
0000221d: JUMPDEST
0000221e: PUSH2 0x2226
00002221: DUP2
00002222: PUSH2 0x21e7
00002225: JUMP
00002226: JUMPDEST
00002227: DUP5
00002228: ADD
00002229: SWAP2
0000222a: POP
0000222b: POP
0000222c: SWAP3
0000222d: SWAP2
0000222e: POP
0000222f: POP
00002230: JUMP
00002231: JUMPDEST
00002232: PUSH1 0x00
00002234: PUSH1 0x20
00002236: DUP3
00002237: ADD
00002238: SWAP1
00002239: POP
0000223a: DUP2
0000223b: DUP2
0000223c: SUB
0000223d: PUSH1 0x00
0000223f: DUP4
00002240: ADD
00002241: MSTORE
00002242: PUSH2 0x224b
00002245: DUP2
00002246: DUP5
00002247: PUSH2 0x21f8
0000224a: JUMP
0000224b: JUMPDEST
0000224c: SWAP1
0000224d: POP
0000224e: SWAP3
0000224f: SWAP2
00002250: POP
00002251: POP
00002252: JUMP
00002253: JUMPDEST
00002254: PUSH1 0x00
00002256: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000226b: DUP3
0000226c: AND
0000226d: SWAP1
0000226e: POP
0000226f: SWAP2
00002270: SWAP1
00002271: POP
00002272: JUMP
00002273: JUMPDEST
00002274: PUSH1 0x00
00002276: PUSH2 0x227e
00002279: DUP3
0000227a: PUSH2 0x2253
0000227d: JUMP
0000227e: JUMPDEST
0000227f: SWAP1
00002280: POP
00002281: SWAP2
00002282: SWAP1
00002283: POP
00002284: JUMP
00002285: JUMPDEST
00002286: PUSH2 0x228e
00002289: DUP2
0000228a: PUSH2 0x2273
0000228d: JUMP
0000228e: JUMPDEST
0000228f: DUP3
00002290: MSTORE
00002291: POP
00002292: POP
00002293: JUMP
00002294: JUMPDEST
00002295: PUSH1 0x00
00002297: PUSH1 0x20
00002299: DUP3
0000229a: ADD
0000229b: SWAP1
0000229c: POP
0000229d: PUSH2 0x22a9
000022a0: PUSH1 0x00
000022a2: DUP4
000022a3: ADD
000022a4: DUP5
000022a5: PUSH2 0x2285
000022a8: JUMP
000022a9: JUMPDEST
000022aa: SWAP3
000022ab: SWAP2
000022ac: POP
000022ad: POP
000022ae: JUMP
000022af: JUMPDEST
000022b0: PUSH2 0x22b8
000022b3: DUP2
000022b4: PUSH2 0x2273
000022b7: JUMP
000022b8: JUMPDEST
000022b9: DUP2
000022ba: EQ
000022bb: PUSH2 0x22c3
000022be: JUMPI
000022bf: PUSH1 0x00
000022c1: DUP1
000022c2: REVERT
000022c3: JUMPDEST
000022c4: POP
000022c5: JUMP
000022c6: JUMPDEST
000022c7: PUSH1 0x00
000022c9: DUP2
000022ca: CALLDATALOAD
000022cb: SWAP1
000022cc: POP
000022cd: PUSH2 0x22d5
000022d0: DUP2
000022d1: PUSH2 0x22af
000022d4: JUMP
000022d5: JUMPDEST
000022d6: SWAP3
000022d7: SWAP2
000022d8: POP
000022d9: POP
000022da: JUMP
000022db: JUMPDEST
000022dc: PUSH1 0x00
000022de: DUP1
000022df: PUSH1 0x40
000022e1: DUP4
000022e2: DUP6
000022e3: SUB
000022e4: SLT
000022e5: ISZERO
000022e6: PUSH2 0x22f2
000022e9: JUMPI
000022ea: PUSH2 0x22f1
000022ed: PUSH2 0x2011
000022f0: JUMP
000022f1: JUMPDEST
000022f2: JUMPDEST
000022f3: PUSH1 0x00
000022f5: PUSH2 0x2300
000022f8: DUP6
000022f9: DUP3
000022fa: DUP7
000022fb: ADD
000022fc: PUSH2 0x22c6
000022ff: JUMP
00002300: JUMPDEST
00002301: SWAP3
00002302: POP
00002303: POP
00002304: PUSH1 0x20
00002306: PUSH2 0x2311
00002309: DUP6
0000230a: DUP3
0000230b: DUP7
0000230c: ADD
0000230d: PUSH2 0x203c
00002310: JUMP
00002311: JUMPDEST
00002312: SWAP2
00002313: POP
00002314: POP
00002315: SWAP3
00002316: POP
00002317: SWAP3
00002318: SWAP1
00002319: POP
0000231a: JUMP
0000231b: JUMPDEST
0000231c: PUSH1 0x00
0000231e: PUSH1 0x20
00002320: DUP3
00002321: DUP5
00002322: SUB
00002323: SLT
00002324: ISZERO
00002325: PUSH2 0x2331
00002328: JUMPI
00002329: PUSH2 0x2330
0000232c: PUSH2 0x2011
0000232f: JUMP
00002330: JUMPDEST
00002331: JUMPDEST
00002332: PUSH1 0x00
00002334: PUSH2 0x233f
00002337: DUP5
00002338: DUP3
00002339: DUP6
0000233a: ADD
0000233b: PUSH2 0x22c6
0000233e: JUMP
0000233f: JUMPDEST
00002340: SWAP2
00002341: POP
00002342: POP
00002343: SWAP3
00002344: SWAP2
00002345: POP
00002346: POP
00002347: JUMP
00002348: JUMPDEST
00002349: PUSH1 0x00
0000234b: PUSH1 0x20
0000234d: DUP3
0000234e: ADD
0000234f: SWAP1
00002350: POP
00002351: PUSH2 0x235d
00002354: PUSH1 0x00
00002356: DUP4
00002357: ADD
00002358: DUP5
00002359: PUSH2 0x2097
0000235c: JUMP
0000235d: JUMPDEST
0000235e: SWAP3
0000235f: SWAP2
00002360: POP
00002361: POP
00002362: JUMP
00002363: JUMPDEST
00002364: PUSH1 0x00
00002366: DUP1
00002367: REVERT
00002368: JUMPDEST
00002369: PUSH1 0x00
0000236b: DUP1
0000236c: REVERT
0000236d: JUMPDEST
0000236e: PUSH1 0x00
00002370: DUP1
00002371: REVERT
00002372: JUMPDEST
00002373: PUSH1 0x00
00002375: DUP1
00002376: DUP4
00002377: PUSH1 0x1f
00002379: DUP5
0000237a: ADD
0000237b: SLT
0000237c: PUSH2 0x2388
0000237f: JUMPI
00002380: PUSH2 0x2387
00002383: PUSH2 0x2363
00002386: JUMP
00002387: JUMPDEST
00002388: JUMPDEST
00002389: DUP3
0000238a: CALLDATALOAD
0000238b: SWAP1
0000238c: POP
0000238d: PUSH8 0xffffffffffffffff
00002396: DUP2
00002397: GT
00002398: ISZERO
00002399: PUSH2 0x23a5
0000239c: JUMPI
0000239d: PUSH2 0x23a4
000023a0: PUSH2 0x2368
000023a3: JUMP
000023a4: JUMPDEST
000023a5: JUMPDEST
000023a6: PUSH1 0x20
000023a8: DUP4
000023a9: ADD
000023aa: SWAP2
000023ab: POP
000023ac: DUP4
000023ad: PUSH1 0x20
000023af: DUP3
000023b0: MUL
000023b1: DUP4
000023b2: ADD
000023b3: GT
000023b4: ISZERO
000023b5: PUSH2 0x23c1
000023b8: JUMPI
000023b9: PUSH2 0x23c0
000023bc: PUSH2 0x236d
000023bf: JUMP
000023c0: JUMPDEST
000023c1: JUMPDEST
000023c2: SWAP3
000023c3: POP
000023c4: SWAP3
000023c5: SWAP1
000023c6: POP
000023c7: JUMP
000023c8: JUMPDEST
000023c9: PUSH1 0x00
000023cb: DUP1
000023cc: PUSH1 0x20
000023ce: DUP4
000023cf: DUP6
000023d0: SUB
000023d1: SLT
000023d2: ISZERO
000023d3: PUSH2 0x23df
000023d6: JUMPI
000023d7: PUSH2 0x23de
000023da: PUSH2 0x2011
000023dd: JUMP
000023de: JUMPDEST
000023df: JUMPDEST
000023e0: PUSH1 0x00
000023e2: DUP4
000023e3: ADD
000023e4: CALLDATALOAD
000023e5: PUSH8 0xffffffffffffffff
000023ee: DUP2
000023ef: GT
000023f0: ISZERO
000023f1: PUSH2 0x23fd
000023f4: JUMPI
000023f5: PUSH2 0x23fc
000023f8: PUSH2 0x2016
000023fb: JUMP
000023fc: JUMPDEST
000023fd: JUMPDEST
000023fe: PUSH2 0x2409
00002401: DUP6
00002402: DUP3
00002403: DUP7
00002404: ADD
00002405: PUSH2 0x2372
00002408: JUMP
00002409: JUMPDEST
0000240a: SWAP3
0000240b: POP
0000240c: SWAP3
0000240d: POP
0000240e: POP
0000240f: SWAP3
00002410: POP
00002411: SWAP3
00002412: SWAP1
00002413: POP
00002414: JUMP
00002415: JUMPDEST
00002416: PUSH1 0x00
00002418: DUP1
00002419: PUSH1 0x00
0000241b: PUSH1 0x60
0000241d: DUP5
0000241e: DUP7
0000241f: SUB
00002420: SLT
00002421: ISZERO
00002422: PUSH2 0x242e
00002425: JUMPI
00002426: PUSH2 0x242d
00002429: PUSH2 0x2011
0000242c: JUMP
0000242d: JUMPDEST
0000242e: JUMPDEST
0000242f: PUSH1 0x00
00002431: PUSH2 0x243c
00002434: DUP7
00002435: DUP3
00002436: DUP8
00002437: ADD
00002438: PUSH2 0x22c6
0000243b: JUMP
0000243c: JUMPDEST
0000243d: SWAP4
0000243e: POP
0000243f: POP
00002440: PUSH1 0x20
00002442: PUSH2 0x244d
00002445: DUP7
00002446: DUP3
00002447: DUP8
00002448: ADD
00002449: PUSH2 0x22c6
0000244c: JUMP
0000244d: JUMPDEST
0000244e: SWAP3
0000244f: POP
00002450: POP
00002451: PUSH1 0x40
00002453: PUSH2 0x245e
00002456: DUP7
00002457: DUP3
00002458: DUP8
00002459: ADD
0000245a: PUSH2 0x203c
0000245d: JUMP
0000245e: JUMPDEST
0000245f: SWAP2
00002460: POP
00002461: POP
00002462: SWAP3
00002463: POP
00002464: SWAP3
00002465: POP
00002466: SWAP3
00002467: JUMP
00002468: JUMPDEST
00002469: PUSH1 0x00
0000246b: PUSH1 0x20
0000246d: DUP3
0000246e: ADD
0000246f: SWAP1
00002470: POP
00002471: PUSH2 0x247d
00002474: PUSH1 0x00
00002476: DUP4
00002477: ADD
00002478: DUP5
00002479: PUSH2 0x2088
0000247c: JUMP
0000247d: JUMPDEST
0000247e: SWAP3
0000247f: SWAP2
00002480: POP
00002481: POP
00002482: JUMP
00002483: JUMPDEST
00002484: PUSH2 0x248c
00002487: DUP2
00002488: PUSH2 0x2162
0000248b: JUMP
0000248c: JUMPDEST
0000248d: DUP2
0000248e: EQ
0000248f: PUSH2 0x2497
00002492: JUMPI
00002493: PUSH1 0x00
00002495: DUP1
00002496: REVERT
00002497: JUMPDEST
00002498: POP
00002499: JUMP
0000249a: JUMPDEST
0000249b: PUSH1 0x00
0000249d: DUP2
0000249e: CALLDATALOAD
0000249f: SWAP1
000024a0: POP
000024a1: PUSH2 0x24a9
000024a4: DUP2
000024a5: PUSH2 0x2483
000024a8: JUMP
000024a9: JUMPDEST
000024aa: SWAP3
000024ab: SWAP2
000024ac: POP
000024ad: POP
000024ae: JUMP
000024af: JUMPDEST
000024b0: PUSH1 0x00
000024b2: DUP1
000024b3: PUSH1 0x40
000024b5: DUP4
000024b6: DUP6
000024b7: SUB
000024b8: SLT
000024b9: ISZERO
000024ba: PUSH2 0x24c6
000024bd: JUMPI
000024be: PUSH2 0x24c5
000024c1: PUSH2 0x2011
000024c4: JUMP
000024c5: JUMPDEST
000024c6: JUMPDEST
000024c7: PUSH1 0x00
000024c9: PUSH2 0x24d4
000024cc: DUP6
000024cd: DUP3
000024ce: DUP7
000024cf: ADD
000024d0: PUSH2 0x22c6
000024d3: JUMP
000024d4: JUMPDEST
000024d5: SWAP3
000024d6: POP
000024d7: POP
000024d8: PUSH1 0x20
000024da: PUSH2 0x24e5
000024dd: DUP6
000024de: DUP3
000024df: DUP7
000024e0: ADD
000024e1: PUSH2 0x249a
000024e4: JUMP
000024e5: JUMPDEST
000024e6: SWAP2
000024e7: POP
000024e8: POP
000024e9: SWAP3
000024ea: POP
000024eb: SWAP3
000024ec: SWAP1
000024ed: POP
000024ee: JUMP
000024ef: JUMPDEST
000024f0: PUSH1 0x00
000024f2: DUP1
000024f3: REVERT
000024f4: JUMPDEST
000024f5: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002516: PUSH1 0x00
00002518: MSTORE
00002519: PUSH1 0x41
0000251b: PUSH1 0x04
0000251d: MSTORE
0000251e: PUSH1 0x24
00002520: PUSH1 0x00
00002522: REVERT
00002523: JUMPDEST
00002524: PUSH2 0x252c
00002527: DUP3
00002528: PUSH2 0x21e7
0000252b: JUMP
0000252c: JUMPDEST
0000252d: DUP2
0000252e: ADD
0000252f: DUP2
00002530: DUP2
00002531: LT
00002532: PUSH8 0xffffffffffffffff
0000253b: DUP3
0000253c: GT
0000253d: OR
0000253e: ISZERO
0000253f: PUSH2 0x254b
00002542: JUMPI
00002543: PUSH2 0x254a
00002546: PUSH2 0x24f4
00002549: JUMP
0000254a: JUMPDEST
0000254b: JUMPDEST
0000254c: DUP1
0000254d: PUSH1 0x40
0000254f: MSTORE
00002550: POP
00002551: POP
00002552: POP
00002553: JUMP
00002554: JUMPDEST
00002555: PUSH1 0x00
00002557: PUSH2 0x255e
0000255a: PUSH2 0x2007
0000255d: JUMP
0000255e: JUMPDEST
0000255f: SWAP1
00002560: POP
00002561: PUSH2 0x256a
00002564: DUP3
00002565: DUP3
00002566: PUSH2 0x2523
00002569: JUMP
0000256a: JUMPDEST
0000256b: SWAP2
0000256c: SWAP1
0000256d: POP
0000256e: JUMP
0000256f: JUMPDEST
00002570: PUSH1 0x00
00002572: PUSH8 0xffffffffffffffff
0000257b: DUP3
0000257c: GT
0000257d: ISZERO
0000257e: PUSH2 0x258a
00002581: JUMPI
00002582: PUSH2 0x2589
00002585: PUSH2 0x24f4
00002588: JUMP
00002589: JUMPDEST
0000258a: JUMPDEST
0000258b: PUSH2 0x2593
0000258e: DUP3
0000258f: PUSH2 0x21e7
00002592: JUMP
00002593: JUMPDEST
00002594: SWAP1
00002595: POP
00002596: PUSH1 0x20
00002598: DUP2
00002599: ADD
0000259a: SWAP1
0000259b: POP
0000259c: SWAP2
0000259d: SWAP1
0000259e: POP
0000259f: JUMP
000025a0: JUMPDEST
000025a1: DUP3
000025a2: DUP2
000025a3: DUP4
000025a4: CALLDATACOPY
000025a5: PUSH1 0x00
000025a7: DUP4
000025a8: DUP4
000025a9: ADD
000025aa: MSTORE
000025ab: POP
000025ac: POP
000025ad: POP
000025ae: JUMP
000025af: JUMPDEST
000025b0: PUSH1 0x00
000025b2: PUSH2 0x25c2
000025b5: PUSH2 0x25bd
000025b8: DUP5
000025b9: PUSH2 0x256f
000025bc: JUMP
000025bd: JUMPDEST
000025be: PUSH2 0x2554
000025c1: JUMP
000025c2: JUMPDEST
000025c3: SWAP1
000025c4: POP
000025c5: DUP3
000025c6: DUP2
000025c7: MSTORE
000025c8: PUSH1 0x20
000025ca: DUP2
000025cb: ADD
000025cc: DUP5
000025cd: DUP5
000025ce: DUP5
000025cf: ADD
000025d0: GT
000025d1: ISZERO
000025d2: PUSH2 0x25de
000025d5: JUMPI
000025d6: PUSH2 0x25dd
000025d9: PUSH2 0x24ef
000025dc: JUMP
000025dd: JUMPDEST
000025de: JUMPDEST
000025df: PUSH2 0x25e9
000025e2: DUP5
000025e3: DUP3
000025e4: DUP6
000025e5: PUSH2 0x25a0
000025e8: JUMP
000025e9: JUMPDEST
000025ea: POP
000025eb: SWAP4
000025ec: SWAP3
000025ed: POP
000025ee: POP
000025ef: POP
000025f0: JUMP
000025f1: JUMPDEST
000025f2: PUSH1 0x00
000025f4: DUP3
000025f5: PUSH1 0x1f
000025f7: DUP4
000025f8: ADD
000025f9: SLT
000025fa: PUSH2 0x2606
000025fd: JUMPI
000025fe: PUSH2 0x2605
00002601: PUSH2 0x2363
00002604: JUMP
00002605: JUMPDEST
00002606: JUMPDEST
00002607: DUP2
00002608: CALLDATALOAD
00002609: PUSH2 0x2616
0000260c: DUP5
0000260d: DUP3
0000260e: PUSH1 0x20
00002610: DUP7
00002611: ADD
00002612: PUSH2 0x25af
00002615: JUMP
00002616: JUMPDEST
00002617: SWAP2
00002618: POP
00002619: POP
0000261a: SWAP3
0000261b: SWAP2
0000261c: POP
0000261d: POP
0000261e: JUMP
0000261f: JUMPDEST
00002620: PUSH1 0x00
00002622: DUP1
00002623: PUSH1 0x00
00002625: DUP1
00002626: PUSH1 0x80
00002628: DUP6
00002629: DUP8
0000262a: SUB
0000262b: SLT
0000262c: ISZERO
0000262d: PUSH2 0x2639
00002630: JUMPI
00002631: PUSH2 0x2638
00002634: PUSH2 0x2011
00002637: JUMP
00002638: JUMPDEST
00002639: JUMPDEST
0000263a: PUSH1 0x00
0000263c: PUSH2 0x2647
0000263f: DUP8
00002640: DUP3
00002641: DUP9
00002642: ADD
00002643: PUSH2 0x22c6
00002646: JUMP
00002647: JUMPDEST
00002648: SWAP5
00002649: POP
0000264a: POP
0000264b: PUSH1 0x20
0000264d: PUSH2 0x2658
00002650: DUP8
00002651: DUP3
00002652: DUP9
00002653: ADD
00002654: PUSH2 0x22c6
00002657: JUMP
00002658: JUMPDEST
00002659: SWAP4
0000265a: POP
0000265b: POP
0000265c: PUSH1 0x40
0000265e: PUSH2 0x2669
00002661: DUP8
00002662: DUP3
00002663: DUP9
00002664: ADD
00002665: PUSH2 0x203c
00002668: JUMP
00002669: JUMPDEST
0000266a: SWAP3
0000266b: POP
0000266c: POP
0000266d: PUSH1 0x60
0000266f: DUP6
00002670: ADD
00002671: CALLDATALOAD
00002672: PUSH8 0xffffffffffffffff
0000267b: DUP2
0000267c: GT
0000267d: ISZERO
0000267e: PUSH2 0x268a
00002681: JUMPI
00002682: PUSH2 0x2689
00002685: PUSH2 0x2016
00002688: JUMP
00002689: JUMPDEST
0000268a: JUMPDEST
0000268b: PUSH2 0x2696
0000268e: DUP8
0000268f: DUP3
00002690: DUP9
00002691: ADD
00002692: PUSH2 0x25f1
00002695: JUMP
00002696: JUMPDEST
00002697: SWAP2
00002698: POP
00002699: POP
0000269a: SWAP3
0000269b: SWAP6
0000269c: SWAP2
0000269d: SWAP5
0000269e: POP
0000269f: SWAP3
000026a0: POP
000026a1: JUMP
000026a2: JUMPDEST
000026a3: PUSH1 0x00
000026a5: PUSH1 0x80
000026a7: DUP3
000026a8: ADD
000026a9: SWAP1
000026aa: POP
000026ab: PUSH2 0x26b7
000026ae: PUSH1 0x00
000026b0: DUP4
000026b1: ADD
000026b2: DUP8
000026b3: PUSH2 0x2088
000026b6: JUMP
000026b7: JUMPDEST
000026b8: PUSH2 0x26c4
000026bb: PUSH1 0x20
000026bd: DUP4
000026be: ADD
000026bf: DUP7
000026c0: PUSH2 0x2097
000026c3: JUMP
000026c4: JUMPDEST
000026c5: PUSH2 0x26d1
000026c8: PUSH1 0x40
000026ca: DUP4
000026cb: ADD
000026cc: DUP6
000026cd: PUSH2 0x2097
000026d0: JUMP
000026d1: JUMPDEST
000026d2: PUSH2 0x26de
000026d5: PUSH1 0x60
000026d7: DUP4
000026d8: ADD
000026d9: DUP5
000026da: PUSH2 0x2097
000026dd: JUMP
000026de: JUMPDEST
000026df: SWAP6
000026e0: SWAP5
000026e1: POP
000026e2: POP
000026e3: POP
000026e4: POP
000026e5: POP
000026e6: JUMP
000026e7: JUMPDEST
000026e8: PUSH1 0x00
000026ea: DUP1
000026eb: PUSH1 0x40
000026ed: DUP4
000026ee: DUP6
000026ef: SUB
000026f0: SLT
000026f1: ISZERO
000026f2: PUSH2 0x26fe
000026f5: JUMPI
000026f6: PUSH2 0x26fd
000026f9: PUSH2 0x2011
000026fc: JUMP
000026fd: JUMPDEST
000026fe: JUMPDEST
000026ff: PUSH1 0x00
00002701: PUSH2 0x270c
00002704: DUP6
00002705: DUP3
00002706: DUP7
00002707: ADD
00002708: PUSH2 0x22c6
0000270b: JUMP
0000270c: JUMPDEST
0000270d: SWAP3
0000270e: POP
0000270f: POP
00002710: PUSH1 0x20
00002712: PUSH2 0x271d
00002715: DUP6
00002716: DUP3
00002717: DUP7
00002718: ADD
00002719: PUSH2 0x22c6
0000271c: JUMP
0000271d: JUMPDEST
0000271e: SWAP2
0000271f: POP
00002720: POP
00002721: SWAP3
00002722: POP
00002723: SWAP3
00002724: SWAP1
00002725: POP
00002726: JUMP
00002727: JUMPDEST
00002728: PUSH32 0x696e76616c696400000000000000000000000000000000000000000000000000
00002749: PUSH1 0x00
0000274b: DUP3
0000274c: ADD
0000274d: MSTORE
0000274e: POP
0000274f: JUMP
00002750: JUMPDEST
00002751: PUSH1 0x00
00002753: PUSH2 0x275d
00002756: PUSH1 0x07
00002758: DUP4
00002759: PUSH2 0x21a3
0000275c: JUMP
0000275d: JUMPDEST
0000275e: SWAP2
0000275f: POP
00002760: PUSH2 0x2768
00002763: DUP3
00002764: PUSH2 0x2727
00002767: JUMP
00002768: JUMPDEST
00002769: PUSH1 0x20
0000276b: DUP3
0000276c: ADD
0000276d: SWAP1
0000276e: POP
0000276f: SWAP2
00002770: SWAP1
00002771: POP
00002772: JUMP
00002773: JUMPDEST
00002774: PUSH1 0x00
00002776: PUSH1 0x20
00002778: DUP3
00002779: ADD
0000277a: SWAP1
0000277b: POP
0000277c: DUP2
0000277d: DUP2
0000277e: SUB
0000277f: PUSH1 0x00
00002781: DUP4
00002782: ADD
00002783: MSTORE
00002784: PUSH2 0x278c
00002787: DUP2
00002788: PUSH2 0x2750
0000278b: JUMP
0000278c: JUMPDEST
0000278d: SWAP1
0000278e: POP
0000278f: SWAP2
00002790: SWAP1
00002791: POP
00002792: JUMP
00002793: JUMPDEST
00002794: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
000027b5: PUSH1 0x00
000027b7: MSTORE
000027b8: PUSH1 0x11
000027ba: PUSH1 0x04
000027bc: MSTORE
000027bd: PUSH1 0x24
000027bf: PUSH1 0x00
000027c1: REVERT
000027c2: JUMPDEST
000027c3: PUSH1 0x00
000027c5: PUSH2 0x27cd
000027c8: DUP3
000027c9: PUSH2 0x201b
000027cc: JUMP
000027cd: JUMPDEST
000027ce: SWAP2
000027cf: POP
000027d0: PUSH2 0x27d8
000027d3: DUP4
000027d4: PUSH2 0x201b
000027d7: JUMP
000027d8: JUMPDEST
000027d9: SWAP3
000027da: POP
000027db: DUP3
000027dc: DUP3
000027dd: LT
000027de: ISZERO
000027df: PUSH2 0x27eb
000027e2: JUMPI
000027e3: PUSH2 0x27ea
000027e6: PUSH2 0x2793
000027e9: JUMP
000027ea: JUMPDEST
000027eb: JUMPDEST
000027ec: DUP3
000027ed: DUP3
000027ee: SUB
000027ef: SWAP1
000027f0: POP
000027f1: SWAP3
000027f2: SWAP2
000027f3: POP
000027f4: POP
000027f5: JUMP
000027f6: JUMPDEST
000027f7: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002818: PUSH1 0x00
0000281a: MSTORE
0000281b: PUSH1 0x32
0000281d: PUSH1 0x04
0000281f: MSTORE
00002820: PUSH1 0x24
00002822: PUSH1 0x00
00002824: REVERT
00002825: JUMPDEST
00002826: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002847: PUSH1 0x00
00002849: MSTORE
0000284a: PUSH1 0x22
0000284c: PUSH1 0x04
0000284e: MSTORE
0000284f: PUSH1 0x24
00002851: PUSH1 0x00
00002853: REVERT
00002854: JUMPDEST
00002855: PUSH1 0x00
00002857: PUSH1 0x02
00002859: DUP3
0000285a: DIV
0000285b: SWAP1
0000285c: POP
0000285d: PUSH1 0x01
0000285f: DUP3
00002860: AND
00002861: DUP1
00002862: PUSH2 0x286c
00002865: JUMPI
00002866: PUSH1 0x7f
00002868: DUP3
00002869: AND
0000286a: SWAP2
0000286b: POP
0000286c: JUMPDEST
0000286d: PUSH1 0x20
0000286f: DUP3
00002870: LT
00002871: DUP2
00002872: EQ
00002873: ISZERO
00002874: PUSH2 0x2880
00002877: JUMPI
00002878: PUSH2 0x287f
0000287b: PUSH2 0x2825
0000287e: JUMP
0000287f: JUMPDEST
00002880: JUMPDEST
00002881: POP
00002882: SWAP2
00002883: SWAP1
00002884: POP
00002885: JUMP
00002886: JUMPDEST
00002887: PUSH32 0x7065726d697373696f6e00000000000000000000000000000000000000000000
000028a8: PUSH1 0x00
000028aa: DUP3
000028ab: ADD
000028ac: MSTORE
000028ad: POP
000028ae: JUMP
000028af: JUMPDEST
000028b0: PUSH1 0x00
000028b2: PUSH2 0x28bc
000028b5: PUSH1 0x0a
000028b7: DUP4
000028b8: PUSH2 0x21a3
000028bb: JUMP
000028bc: JUMPDEST
000028bd: SWAP2
000028be: POP
000028bf: PUSH2 0x28c7
000028c2: DUP3
000028c3: PUSH2 0x2886
000028c6: JUMP
000028c7: JUMPDEST
000028c8: PUSH1 0x20
000028ca: DUP3
000028cb: ADD
000028cc: SWAP1
000028cd: POP
000028ce: SWAP2
000028cf: SWAP1
000028d0: POP
000028d1: JUMP
000028d2: JUMPDEST
000028d3: PUSH1 0x00
000028d5: PUSH1 0x20
000028d7: DUP3
000028d8: ADD
000028d9: SWAP1
000028da: POP
000028db: DUP2
000028dc: DUP2
000028dd: SUB
000028de: PUSH1 0x00
000028e0: DUP4
000028e1: ADD
000028e2: MSTORE
000028e3: PUSH2 0x28eb
000028e6: DUP2
000028e7: PUSH2 0x28af
000028ea: JUMP
000028eb: JUMPDEST
000028ec: SWAP1
000028ed: POP
000028ee: SWAP2
000028ef: SWAP1
000028f0: POP
000028f1: JUMP
000028f2: JUMPDEST
000028f3: PUSH32 0x6f776e6572000000000000000000000000000000000000000000000000000000
00002914: PUSH1 0x00
00002916: DUP3
00002917: ADD
00002918: MSTORE
00002919: POP
0000291a: JUMP
0000291b: JUMPDEST
0000291c: PUSH1 0x00
0000291e: PUSH2 0x2928
00002921: PUSH1 0x05
00002923: DUP4
00002924: PUSH2 0x21a3
00002927: JUMP
00002928: JUMPDEST
00002929: SWAP2
0000292a: POP
0000292b: PUSH2 0x2933
0000292e: DUP3
0000292f: PUSH2 0x28f2
00002932: JUMP
00002933: JUMPDEST
00002934: PUSH1 0x20
00002936: DUP3
00002937: ADD
00002938: SWAP1
00002939: POP
0000293a: SWAP2
0000293b: SWAP1
0000293c: POP
0000293d: JUMP
0000293e: JUMPDEST
0000293f: PUSH1 0x00
00002941: PUSH1 0x20
00002943: DUP3
00002944: ADD
00002945: SWAP1
00002946: POP
00002947: DUP2
00002948: DUP2
00002949: SUB
0000294a: PUSH1 0x00
0000294c: DUP4
0000294d: ADD
0000294e: MSTORE
0000294f: PUSH2 0x2957
00002952: DUP2
00002953: PUSH2 0x291b
00002956: JUMP
00002957: JUMPDEST
00002958: SWAP1
00002959: POP
0000295a: SWAP2
0000295b: SWAP1
0000295c: POP
0000295d: JUMP
0000295e: JUMPDEST
0000295f: PUSH32 0x746f6b656e496473000000000000000000000000000000000000000000000000
00002980: PUSH1 0x00
00002982: DUP3
00002983: ADD
00002984: MSTORE
00002985: POP
00002986: JUMP
00002987: JUMPDEST
00002988: PUSH1 0x00
0000298a: PUSH2 0x2994
0000298d: PUSH1 0x08
0000298f: DUP4
00002990: PUSH2 0x21a3
00002993: JUMP
00002994: JUMPDEST
00002995: SWAP2
00002996: POP
00002997: PUSH2 0x299f
0000299a: DUP3
0000299b: PUSH2 0x295e
0000299e: JUMP
0000299f: JUMPDEST
000029a0: PUSH1 0x20
000029a2: DUP3
000029a3: ADD
000029a4: SWAP1
000029a5: POP
000029a6: SWAP2
000029a7: SWAP1
000029a8: POP
000029a9: JUMP
000029aa: JUMPDEST
000029ab: PUSH1 0x00
000029ad: PUSH1 0x20
000029af: DUP3
000029b0: ADD
000029b1: SWAP1
000029b2: POP
000029b3: DUP2
000029b4: DUP2
000029b5: SUB
000029b6: PUSH1 0x00
000029b8: DUP4
000029b9: ADD
000029ba: MSTORE
000029bb: PUSH2 0x29c3
000029be: DUP2
000029bf: PUSH2 0x2987
000029c2: JUMP
000029c3: JUMPDEST
000029c4: SWAP1
000029c5: POP
000029c6: SWAP2
000029c7: SWAP1
000029c8: POP
000029c9: JUMP
000029ca: JUMPDEST
000029cb: PUSH1 0x00
000029cd: PUSH2 0x29d5
000029d0: DUP3
000029d1: PUSH2 0x201b
000029d4: JUMP
000029d5: JUMPDEST
000029d6: SWAP2
000029d7: POP
000029d8: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000029f9: DUP3
000029fa: EQ
000029fb: ISZERO
000029fc: PUSH2 0x2a08
000029ff: JUMPI
00002a00: PUSH2 0x2a07
00002a03: PUSH2 0x2793
00002a06: JUMP
00002a07: JUMPDEST
00002a08: JUMPDEST
00002a09: PUSH1 0x01
00002a0b: DUP3
00002a0c: ADD
00002a0d: SWAP1
00002a0e: POP
00002a0f: SWAP2
00002a10: SWAP1
00002a11: POP
00002a12: JUMP
00002a13: JUMPDEST
00002a14: PUSH32 0x7a65726f00000000000000000000000000000000000000000000000000000000
00002a35: PUSH1 0x00
00002a37: DUP3
00002a38: ADD
00002a39: MSTORE
00002a3a: POP
00002a3b: JUMP
00002a3c: JUMPDEST
00002a3d: PUSH1 0x00
00002a3f: PUSH2 0x2a49
00002a42: PUSH1 0x04
00002a44: DUP4
00002a45: PUSH2 0x21a3
00002a48: JUMP
00002a49: JUMPDEST
00002a4a: SWAP2
00002a4b: POP
00002a4c: PUSH2 0x2a54
00002a4f: DUP3
00002a50: PUSH2 0x2a13
00002a53: JUMP
00002a54: JUMPDEST
00002a55: PUSH1 0x20
00002a57: DUP3
00002a58: ADD
00002a59: SWAP1
00002a5a: POP
00002a5b: SWAP2
00002a5c: SWAP1
00002a5d: POP
00002a5e: JUMP
00002a5f: JUMPDEST
00002a60: PUSH1 0x00
00002a62: PUSH1 0x20
00002a64: DUP3
00002a65: ADD
00002a66: SWAP1
00002a67: POP
00002a68: DUP2
00002a69: DUP2
00002a6a: SUB
00002a6b: PUSH1 0x00
00002a6d: DUP4
00002a6e: ADD
00002a6f: MSTORE
00002a70: PUSH2 0x2a78
00002a73: DUP2
00002a74: PUSH2 0x2a3c
00002a77: JUMP
00002a78: JUMPDEST
00002a79: SWAP1
00002a7a: POP
00002a7b: SWAP2
00002a7c: SWAP1
00002a7d: POP
00002a7e: JUMP
00002a7f: JUMPDEST
00002a80: PUSH1 0x00
00002a82: PUSH2 0x2a8a
00002a85: DUP3
00002a86: PUSH2 0x201b
00002a89: JUMP
00002a8a: JUMPDEST
00002a8b: SWAP2
00002a8c: POP
00002a8d: PUSH1 0x00
00002a8f: DUP3
00002a90: EQ
00002a91: ISZERO
00002a92: PUSH2 0x2a9e
00002a95: JUMPI
00002a96: PUSH2 0x2a9d
00002a99: PUSH2 0x2793
00002a9c: JUMP
00002a9d: JUMPDEST
00002a9e: JUMPDEST
00002a9f: PUSH1 0x01
00002aa1: DUP3
00002aa2: SUB
00002aa3: SWAP1
00002aa4: POP
00002aa5: SWAP2
00002aa6: SWAP1
00002aa7: POP
00002aa8: JUMP
00002aa9: JUMPDEST
00002aaa: PUSH1 0x00
00002aac: PUSH2 0x2ab4
00002aaf: DUP3
00002ab0: PUSH2 0x201b
00002ab3: JUMP
00002ab4: JUMPDEST
00002ab5: SWAP2
00002ab6: POP
00002ab7: PUSH2 0x2abf
00002aba: DUP4
00002abb: PUSH2 0x201b
00002abe: JUMP
00002abf: JUMPDEST
00002ac0: SWAP3
00002ac1: POP
00002ac2: DUP2
00002ac3: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002ae4: DIV
00002ae5: DUP4
00002ae6: GT
00002ae7: DUP3
00002ae8: ISZERO
00002ae9: ISZERO
00002aea: AND
00002aeb: ISZERO
00002aec: PUSH2 0x2af8
00002aef: JUMPI
00002af0: PUSH2 0x2af7
00002af3: PUSH2 0x2793
00002af6: JUMP
00002af7: JUMPDEST
00002af8: JUMPDEST
00002af9: DUP3
00002afa: DUP3
00002afb: MUL
00002afc: SWAP1
00002afd: POP
00002afe: SWAP3
00002aff: SWAP2
00002b00: POP
00002b01: POP
00002b02: JUMP
00002b03: JUMPDEST
00002b04: PUSH32 0x77697468647261776e0000000000000000000000000000000000000000000000
00002b25: PUSH1 0x00
00002b27: DUP3
00002b28: ADD
00002b29: MSTORE
00002b2a: POP
00002b2b: JUMP
00002b2c: JUMPDEST
00002b2d: PUSH1 0x00
00002b2f: PUSH2 0x2b39
00002b32: PUSH1 0x09
00002b34: DUP4
00002b35: PUSH2 0x21a3
00002b38: JUMP
00002b39: JUMPDEST
00002b3a: SWAP2
00002b3b: POP
00002b3c: PUSH2 0x2b44
00002b3f: DUP3
00002b40: PUSH2 0x2b03
00002b43: JUMP
00002b44: JUMPDEST
00002b45: PUSH1 0x20
00002b47: DUP3
00002b48: ADD
00002b49: SWAP1
00002b4a: POP
00002b4b: SWAP2
00002b4c: SWAP1
00002b4d: POP
00002b4e: JUMP
00002b4f: JUMPDEST
00002b50: PUSH1 0x00
00002b52: PUSH1 0x20
00002b54: DUP3
00002b55: ADD
00002b56: SWAP1
00002b57: POP
00002b58: DUP2
00002b59: DUP2
00002b5a: SUB
00002b5b: PUSH1 0x00
00002b5d: DUP4
00002b5e: ADD
00002b5f: MSTORE
00002b60: PUSH2 0x2b68
00002b63: DUP2
00002b64: PUSH2 0x2b2c
00002b67: JUMP
00002b68: JUMPDEST
00002b69: SWAP1
00002b6a: POP
00002b6b: SWAP2
00002b6c: SWAP1
00002b6d: POP
00002b6e: JUMP
00002b6f: JUMPDEST
00002b70: PUSH1 0x00
00002b72: DUP2
00002b73: MLOAD
00002b74: SWAP1
00002b75: POP
00002b76: SWAP2
00002b77: SWAP1
00002b78: POP
00002b79: JUMP
00002b7a: JUMPDEST
00002b7b: PUSH1 0x00
00002b7d: DUP3
00002b7e: DUP3
00002b7f: MSTORE
00002b80: PUSH1 0x20
00002b82: DUP3
00002b83: ADD
00002b84: SWAP1
00002b85: POP
00002b86: SWAP3
00002b87: SWAP2
00002b88: POP
00002b89: POP
00002b8a: JUMP
00002b8b: JUMPDEST
00002b8c: PUSH1 0x00
00002b8e: PUSH2 0x2b96
00002b91: DUP3
00002b92: PUSH2 0x2b6f
00002b95: JUMP
00002b96: JUMPDEST
00002b97: PUSH2 0x2ba0
00002b9a: DUP2
00002b9b: DUP6
00002b9c: PUSH2 0x2b7a
00002b9f: JUMP
00002ba0: JUMPDEST
00002ba1: SWAP4
00002ba2: POP
00002ba3: PUSH2 0x2bb0
00002ba6: DUP2
00002ba7: DUP6
00002ba8: PUSH1 0x20
00002baa: DUP7
00002bab: ADD
00002bac: PUSH2 0x21b4
00002baf: JUMP
00002bb0: JUMPDEST
00002bb1: PUSH2 0x2bb9
00002bb4: DUP2
00002bb5: PUSH2 0x21e7
00002bb8: JUMP
00002bb9: JUMPDEST
00002bba: DUP5
00002bbb: ADD
00002bbc: SWAP2
00002bbd: POP
00002bbe: POP
00002bbf: SWAP3
00002bc0: SWAP2
00002bc1: POP
00002bc2: POP
00002bc3: JUMP
00002bc4: JUMPDEST
00002bc5: PUSH1 0x00
00002bc7: PUSH1 0x80
00002bc9: DUP3
00002bca: ADD
00002bcb: SWAP1
00002bcc: POP
00002bcd: PUSH2 0x2bd9
00002bd0: PUSH1 0x00
00002bd2: DUP4
00002bd3: ADD
00002bd4: DUP8
00002bd5: PUSH2 0x2285
00002bd8: JUMP
00002bd9: JUMPDEST
00002bda: PUSH2 0x2be6
00002bdd: PUSH1 0x20
00002bdf: DUP4
00002be0: ADD
00002be1: DUP7
00002be2: PUSH2 0x2285
00002be5: JUMP
00002be6: JUMPDEST
00002be7: PUSH2 0x2bf3
00002bea: PUSH1 0x40
00002bec: DUP4
00002bed: ADD
00002bee: DUP6
00002bef: PUSH2 0x2097
00002bf2: JUMP
00002bf3: JUMPDEST
00002bf4: DUP2
00002bf5: DUP2
00002bf6: SUB
00002bf7: PUSH1 0x60
00002bf9: DUP4
00002bfa: ADD
00002bfb: MSTORE
00002bfc: PUSH2 0x2c05
00002bff: DUP2
00002c00: DUP5
00002c01: PUSH2 0x2b8b
00002c04: JUMP
00002c05: JUMPDEST
00002c06: SWAP1
00002c07: POP
00002c08: SWAP6
00002c09: SWAP5
00002c0a: POP
00002c0b: POP
00002c0c: POP
00002c0d: POP
00002c0e: POP
00002c0f: JUMP
00002c10: JUMPDEST
00002c11: PUSH1 0x00
00002c13: DUP2
00002c14: MLOAD
00002c15: SWAP1
00002c16: POP
00002c17: PUSH2 0x2c1f
00002c1a: DUP2
00002c1b: PUSH2 0x2109
00002c1e: JUMP
00002c1f: JUMPDEST
00002c20: SWAP3
00002c21: SWAP2
00002c22: POP
00002c23: POP
00002c24: JUMP
00002c25: JUMPDEST
00002c26: PUSH1 0x00
00002c28: PUSH1 0x20
00002c2a: DUP3
00002c2b: DUP5
00002c2c: SUB
00002c2d: SLT
00002c2e: ISZERO
00002c2f: PUSH2 0x2c3b
00002c32: JUMPI
00002c33: PUSH2 0x2c3a
00002c36: PUSH2 0x2011
00002c39: JUMP
00002c3a: JUMPDEST
00002c3b: JUMPDEST
00002c3c: PUSH1 0x00
00002c3e: PUSH2 0x2c49
00002c41: DUP5
00002c42: DUP3
00002c43: DUP6
00002c44: ADD
00002c45: PUSH2 0x2c10
00002c48: JUMP
00002c49: JUMPDEST
00002c4a: SWAP2
00002c4b: POP
00002c4c: POP
00002c4d: SWAP3
00002c4e: SWAP2
00002c4f: POP
00002c50: POP
00002c51: JUMP
00002c52: JUMPDEST
00002c53: PUSH32 0x7265636569766572000000000000000000000000000000000000000000000000
00002c74: PUSH1 0x00
00002c76: DUP3
00002c77: ADD
00002c78: MSTORE
00002c79: POP
00002c7a: JUMP
00002c7b: JUMPDEST
00002c7c: PUSH1 0x00
00002c7e: PUSH2 0x2c88
00002c81: PUSH1 0x08
00002c83: DUP4
00002c84: PUSH2 0x21a3
00002c87: JUMP
00002c88: JUMPDEST
00002c89: SWAP2
00002c8a: POP
00002c8b: PUSH2 0x2c93
00002c8e: DUP3
00002c8f: PUSH2 0x2c52
00002c92: JUMP
00002c93: JUMPDEST
00002c94: PUSH1 0x20
00002c96: DUP3
00002c97: ADD
00002c98: SWAP1
00002c99: POP
00002c9a: SWAP2
00002c9b: SWAP1
00002c9c: POP
00002c9d: JUMP
00002c9e: JUMPDEST
00002c9f: PUSH1 0x00
00002ca1: PUSH1 0x20
00002ca3: DUP3
00002ca4: ADD
00002ca5: SWAP1
00002ca6: POP
00002ca7: DUP2
00002ca8: DUP2
00002ca9: SUB
00002caa: PUSH1 0x00
00002cac: DUP4
00002cad: ADD
00002cae: MSTORE
00002caf: PUSH2 0x2cb7
00002cb2: DUP2
00002cb3: PUSH2 0x2c7b
00002cb6: JUMP
00002cb7: JUMPDEST
00002cb8: SWAP1
00002cb9: POP
00002cba: SWAP2
00002cbb: SWAP1
00002cbc: POP
00002cbd: JUMP
00002cbe: JUMPDEST
00002cbf: PUSH1 0x00
00002cc1: PUSH2 0x2cc9
00002cc4: DUP3
00002cc5: PUSH2 0x201b
00002cc8: JUMP
00002cc9: JUMPDEST
00002cca: SWAP2
00002ccb: POP
00002ccc: PUSH2 0x2cd4
00002ccf: DUP4
00002cd0: PUSH2 0x201b
00002cd3: JUMP
00002cd4: JUMPDEST
00002cd5: SWAP3
00002cd6: POP
00002cd7: DUP3
00002cd8: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002cf9: SUB
00002cfa: DUP3
00002cfb: GT
00002cfc: ISZERO
00002cfd: PUSH2 0x2d09
00002d00: JUMPI
00002d01: PUSH2 0x2d08
00002d04: PUSH2 0x2793
00002d07: JUMP
00002d08: JUMPDEST
00002d09: JUMPDEST
00002d0a: DUP3
00002d0b: DUP3
00002d0c: ADD
00002d0d: SWAP1
00002d0e: POP
00002d0f: SWAP3
00002d10: SWAP2
00002d11: POP
00002d12: POP
00002d13: JUMP
00002d14: JUMPDEST
00002d15: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00002d36: PUSH1 0x00
00002d38: MSTORE
00002d39: PUSH1 0x12
00002d3b: PUSH1 0x04
00002d3d: MSTORE
00002d3e: PUSH1 0x24
00002d40: PUSH1 0x00
00002d42: REVERT
00002d43: JUMPDEST
00002d44: PUSH1 0x00
00002d46: PUSH2 0x2d4e
00002d49: DUP3
00002d4a: PUSH2 0x201b
00002d4d: JUMP
00002d4e: JUMPDEST
00002d4f: SWAP2
00002d50: POP
00002d51: PUSH2 0x2d59
00002d54: DUP4
00002d55: PUSH2 0x201b
00002d58: JUMP
00002d59: JUMPDEST
00002d5a: SWAP3
00002d5b: POP
00002d5c: DUP3
00002d5d: PUSH2 0x2d69
00002d60: JUMPI
00002d61: PUSH2 0x2d68
00002d64: PUSH2 0x2d14
00002d67: JUMP
00002d68: JUMPDEST
00002d69: JUMPDEST
00002d6a: DUP3
00002d6b: DUP3
00002d6c: DIV
00002d6d: SWAP1
00002d6e: POP
00002d6f: SWAP3
00002d70: SWAP2
00002d71: POP
00002d72: POP
00002d73: JUMP
00002d74: JUMPDEST
00002d75: PUSH1 0x00
00002d77: DUP2
00002d78: PUSH1 0x60
00002d7a: SHL
00002d7b: SWAP1
00002d7c: POP
00002d7d: SWAP2
00002d7e: SWAP1
00002d7f: POP
00002d80: JUMP
00002d81: JUMPDEST
00002d82: PUSH1 0x00
00002d84: PUSH2 0x2d8c
00002d87: DUP3
00002d88: PUSH2 0x2d74
00002d8b: JUMP
00002d8c: JUMPDEST
00002d8d: SWAP1
00002d8e: POP
00002d8f: SWAP2
00002d90: SWAP1
00002d91: POP
00002d92: JUMP
00002d93: JUMPDEST
00002d94: PUSH1 0x00
00002d96: PUSH2 0x2d9e
00002d99: DUP3
00002d9a: PUSH2 0x2d81
00002d9d: JUMP
00002d9e: JUMPDEST
00002d9f: SWAP1
00002da0: POP
00002da1: SWAP2
00002da2: SWAP1
00002da3: POP
00002da4: JUMP
00002da5: JUMPDEST
00002da6: PUSH2 0x2db6
00002da9: PUSH2 0x2db1
00002dac: DUP3
00002dad: PUSH2 0x2273
00002db0: JUMP
00002db1: JUMPDEST
00002db2: PUSH2 0x2d93
00002db5: JUMP
00002db6: JUMPDEST
00002db7: DUP3
00002db8: MSTORE
00002db9: POP
00002dba: POP
00002dbb: JUMP
00002dbc: JUMPDEST
00002dbd: PUSH1 0x00
00002dbf: DUP2
00002dc0: SWAP1
00002dc1: POP
00002dc2: SWAP2
00002dc3: SWAP1
00002dc4: POP
00002dc5: JUMP
00002dc6: JUMPDEST
00002dc7: PUSH2 0x2dd7
00002dca: PUSH2 0x2dd2
00002dcd: DUP3
00002dce: PUSH2 0x207e
00002dd1: JUMP
00002dd2: JUMPDEST
00002dd3: PUSH2 0x2dbc
00002dd6: JUMP
00002dd7: JUMPDEST
00002dd8: DUP3
00002dd9: MSTORE
00002dda: POP
00002ddb: POP
00002ddc: JUMP
00002ddd: JUMPDEST
00002dde: PUSH1 0x00
00002de0: DUP2
00002de1: SWAP1
00002de2: POP
00002de3: SWAP2
00002de4: SWAP1
00002de5: POP
00002de6: JUMP
00002de7: JUMPDEST
00002de8: PUSH2 0x2df8
00002deb: PUSH2 0x2df3
00002dee: DUP3
00002def: PUSH2 0x201b
00002df2: JUMP
00002df3: JUMPDEST
00002df4: PUSH2 0x2ddd
00002df7: JUMP
00002df8: JUMPDEST
00002df9: DUP3
00002dfa: MSTORE
00002dfb: POP
00002dfc: POP
00002dfd: JUMP
00002dfe: JUMPDEST
00002dff: PUSH1 0x00
00002e01: PUSH2 0x2e0a
00002e04: DUP3
00002e05: DUP7
00002e06: PUSH2 0x2da5
00002e09: JUMP
00002e0a: JUMPDEST
00002e0b: PUSH1 0x14
00002e0d: DUP3
00002e0e: ADD
00002e0f: SWAP2
00002e10: POP
00002e11: PUSH2 0x2e1a
00002e14: DUP3
00002e15: DUP6
00002e16: PUSH2 0x2dc6
00002e19: JUMP
00002e1a: JUMPDEST
00002e1b: PUSH1 0x20
00002e1d: DUP3
00002e1e: ADD
00002e1f: SWAP2
00002e20: POP
00002e21: PUSH2 0x2e2a
00002e24: DUP3
00002e25: DUP5
00002e26: PUSH2 0x2de7
00002e29: JUMP
00002e2a: JUMPDEST
00002e2b: PUSH1 0x20
00002e2d: DUP3
00002e2e: ADD
00002e2f: SWAP2
00002e30: POP
00002e31: DUP2
00002e32: SWAP1
00002e33: POP
00002e34: SWAP5
00002e35: SWAP4
00002e36: POP
00002e37: POP
00002e38: POP
00002e39: POP
00002e3a: JUMP
00002e3b: JUMPDEST
00002e3c: PUSH32 0x646966666963756c747900000000000000000000000000000000000000000000
00002e5d: PUSH1 0x00
00002e5f: DUP3
00002e60: ADD
00002e61: MSTORE
00002e62: POP
00002e63: JUMP
00002e64: JUMPDEST
00002e65: PUSH1 0x00
00002e67: PUSH2 0x2e71
00002e6a: PUSH1 0x0a
00002e6c: DUP4
00002e6d: PUSH2 0x21a3
00002e70: JUMP
00002e71: JUMPDEST
00002e72: SWAP2
00002e73: POP
00002e74: PUSH2 0x2e7c
00002e77: DUP3
00002e78: PUSH2 0x2e3b
00002e7b: JUMP
00002e7c: JUMPDEST
00002e7d: PUSH1 0x20
00002e7f: DUP3
00002e80: ADD
00002e81: SWAP1
00002e82: POP
00002e83: SWAP2
00002e84: SWAP1
00002e85: POP
00002e86: JUMP
00002e87: JUMPDEST
00002e88: PUSH1 0x00
00002e8a: PUSH1 0x20
00002e8c: DUP3
00002e8d: ADD
00002e8e: SWAP1
00002e8f: POP
00002e90: DUP2
00002e91: DUP2
00002e92: SUB
00002e93: PUSH1 0x00
00002e95: DUP4
00002e96: ADD
00002e97: MSTORE
00002e98: PUSH2 0x2ea0
00002e9b: DUP2
00002e9c: PUSH2 0x2e64
00002e9f: JUMP
00002ea0: JUMPDEST
00002ea1: SWAP1
00002ea2: POP
00002ea3: SWAP2
00002ea4: SWAP1
00002ea5: POP
00002ea6: JUMP
00002ea7: JUMPDEST
00002ea8: PUSH32 0x636f737400000000000000000000000000000000000000000000000000000000
00002ec9: PUSH1 0x00
00002ecb: DUP3
00002ecc: ADD
00002ecd: MSTORE
00002ece: POP
00002ecf: JUMP
00002ed0: JUMPDEST
00002ed1: PUSH1 0x00
00002ed3: PUSH2 0x2edd
00002ed6: PUSH1 0x04
00002ed8: DUP4
00002ed9: PUSH2 0x21a3
00002edc: JUMP
00002edd: JUMPDEST
00002ede: SWAP2
00002edf: POP
00002ee0: PUSH2 0x2ee8
00002ee3: DUP3
00002ee4: PUSH2 0x2ea7
00002ee7: JUMP
00002ee8: JUMPDEST
00002ee9: PUSH1 0x20
00002eeb: DUP3
00002eec: ADD
00002eed: SWAP1
00002eee: POP
00002eef: SWAP2
00002ef0: SWAP1
00002ef1: POP
00002ef2: JUMP
00002ef3: JUMPDEST
00002ef4: PUSH1 0x00
00002ef6: PUSH1 0x20
00002ef8: DUP3
00002ef9: ADD
00002efa: SWAP1
00002efb: POP
00002efc: DUP2
00002efd: DUP2
00002efe: SUB
00002eff: PUSH1 0x00
00002f01: DUP4
00002f02: ADD
00002f03: MSTORE
00002f04: PUSH2 0x2f0c
00002f07: DUP2
00002f08: PUSH2 0x2ed0
00002f0b: JUMP
00002f0c: JUMPDEST
00002f0d: SWAP1
00002f0e: POP
00002f0f: SWAP2
00002f10: SWAP1
00002f11: POP
00002f12: JUMP
00002f13: JUMPDEST
00002f14: PUSH1 0x00
00002f16: PUSH2 0x2f1f
00002f19: DUP3
00002f1a: DUP6
00002f1b: PUSH2 0x2dc6
00002f1e: JUMP
00002f1f: JUMPDEST
00002f20: PUSH1 0x20
00002f22: DUP3
00002f23: ADD
00002f24: SWAP2
00002f25: POP
00002f26: PUSH2 0x2f2f
00002f29: DUP3
00002f2a: DUP5
00002f2b: PUSH2 0x2de7
00002f2e: JUMP
00002f2f: JUMPDEST
00002f30: PUSH1 0x20
00002f32: DUP3
00002f33: ADD
00002f34: SWAP2
00002f35: POP
00002f36: DUP2
00002f37: SWAP1
00002f38: POP
00002f39: SWAP4
00002f3a: SWAP3
00002f3b: POP
00002f3c: POP
00002f3d: POP
00002f3e: JUMP
00002f3f: JUMPDEST
00002f40: PUSH1 0x00
00002f42: PUSH1 0xa0
00002f44: DUP3
00002f45: ADD
00002f46: SWAP1
00002f47: POP
00002f48: PUSH2 0x2f54
00002f4b: PUSH1 0x00
00002f4d: DUP4
00002f4e: ADD
00002f4f: DUP9
00002f50: PUSH2 0x2097
00002f53: JUMP
00002f54: JUMPDEST
00002f55: PUSH2 0x2f61
00002f58: PUSH1 0x20
00002f5a: DUP4
00002f5b: ADD
00002f5c: DUP8
00002f5d: PUSH2 0x2088
00002f60: JUMP
00002f61: JUMPDEST
00002f62: PUSH2 0x2f6e
00002f65: PUSH1 0x40
00002f67: DUP4
00002f68: ADD
00002f69: DUP7
00002f6a: PUSH2 0x2285
00002f6d: JUMP
00002f6e: JUMPDEST
00002f6f: PUSH2 0x2f7b
00002f72: PUSH1 0x60
00002f74: DUP4
00002f75: ADD
00002f76: DUP6
00002f77: PUSH2 0x2097
00002f7a: JUMP
00002f7b: JUMPDEST
00002f7c: PUSH2 0x2f88
00002f7f: PUSH1 0x80
00002f81: DUP4
00002f82: ADD
00002f83: DUP5
00002f84: PUSH2 0x2097
00002f87: JUMP
00002f88: JUMPDEST
00002f89: SWAP7
00002f8a: SWAP6
00002f8b: POP
00002f8c: POP
00002f8d: POP
00002f8e: POP
00002f8f: POP
00002f90: POP
00002f91: JUMP
00002f92: JUMPDEST
00002f93: PUSH32 0x746f6b656e496400000000000000000000000000000000000000000000000000
00002fb4: PUSH1 0x00
00002fb6: DUP3
00002fb7: ADD
00002fb8: MSTORE
00002fb9: POP
00002fba: JUMP
00002fbb: JUMPDEST
00002fbc: PUSH1 0x00
00002fbe: PUSH2 0x2fc8
00002fc1: PUSH1 0x07
00002fc3: DUP4
00002fc4: PUSH2 0x21a3
00002fc7: JUMP
00002fc8: JUMPDEST
00002fc9: SWAP2
00002fca: POP
00002fcb: PUSH2 0x2fd3
00002fce: DUP3
00002fcf: PUSH2 0x2f92
00002fd2: JUMP
00002fd3: JUMPDEST
00002fd4: PUSH1 0x20
00002fd6: DUP3
00002fd7: ADD
00002fd8: SWAP1
00002fd9: POP
00002fda: SWAP2
00002fdb: SWAP1
00002fdc: POP
00002fdd: JUMP
00002fde: JUMPDEST
00002fdf: PUSH1 0x00
00002fe1: PUSH1 0x20
00002fe3: DUP3
00002fe4: ADD
00002fe5: SWAP1
00002fe6: POP
00002fe7: DUP2
00002fe8: DUP2
00002fe9: SUB
00002fea: PUSH1 0x00
00002fec: DUP4
00002fed: ADD
00002fee: MSTORE
00002fef: PUSH2 0x2ff7
00002ff2: DUP2
00002ff3: PUSH2 0x2fbb
00002ff6: JUMP
00002ff7: JUMPDEST
00002ff8: SWAP1
00002ff9: POP
00002ffa: SWAP2
00002ffb: SWAP1
00002ffc: POP
00002ffd: JUMP
00002ffe: JUMPDEST
00002fff: PUSH1 0x00
00003001: PUSH1 0x80
00003003: DUP3
00003004: ADD
00003005: SWAP1
00003006: POP
00003007: PUSH2 0x3013
0000300a: PUSH1 0x00
0000300c: DUP4
0000300d: ADD
0000300e: DUP8
0000300f: PUSH2 0x2097
00003012: JUMP
00003013: JUMPDEST
00003014: PUSH2 0x3020
00003017: PUSH1 0x20
00003019: DUP4
0000301a: ADD
0000301b: DUP7
0000301c: PUSH2 0x2088
0000301f: JUMP
00003020: JUMPDEST
00003021: PUSH2 0x302d
00003024: PUSH1 0x40
00003026: DUP4
00003027: ADD
00003028: DUP6
00003029: PUSH2 0x2097
0000302c: JUMP
0000302d: JUMPDEST
0000302e: PUSH2 0x303a
00003031: PUSH1 0x60
00003033: DUP4
00003034: ADD
00003035: DUP5
00003036: PUSH2 0x2097
00003039: JUMP
0000303a: JUMPDEST
0000303b: SWAP6
0000303c: SWAP5
0000303d: POP
0000303e: POP
0000303f: POP
00003040: POP
00003041: POP
00003042: JUMP
00003043: JUMPDEST
00003044: PUSH1 0x00
00003046: PUSH8 0xffffffffffffffff
0000304f: DUP3
00003050: GT
00003051: ISZERO
00003052: PUSH2 0x305e
00003055: JUMPI
00003056: PUSH2 0x305d
00003059: PUSH2 0x24f4
0000305c: JUMP
0000305d: JUMPDEST
0000305e: JUMPDEST
0000305f: PUSH2 0x3067
00003062: DUP3
00003063: PUSH2 0x21e7
00003066: JUMP
00003067: JUMPDEST
00003068: SWAP1
00003069: POP
0000306a: PUSH1 0x20
0000306c: DUP2
0000306d: ADD
0000306e: SWAP1
0000306f: POP
00003070: SWAP2
00003071: SWAP1
00003072: POP
00003073: JUMP
00003074: JUMPDEST
00003075: PUSH1 0x00
00003077: PUSH2 0x3087
0000307a: PUSH2 0x3082
0000307d: DUP5
0000307e: PUSH2 0x3043
00003081: JUMP
00003082: JUMPDEST
00003083: PUSH2 0x2554
00003086: JUMP
00003087: JUMPDEST
00003088: SWAP1
00003089: POP
0000308a: DUP3
0000308b: DUP2
0000308c: MSTORE
0000308d: PUSH1 0x20
0000308f: DUP2
00003090: ADD
00003091: DUP5
00003092: DUP5
00003093: DUP5
00003094: ADD
00003095: GT
00003096: ISZERO
00003097: PUSH2 0x30a3
0000309a: JUMPI
0000309b: PUSH2 0x30a2
0000309e: PUSH2 0x24ef
000030a1: JUMP
000030a2: JUMPDEST
000030a3: JUMPDEST
000030a4: PUSH2 0x30ae
000030a7: DUP5
000030a8: DUP3
000030a9: DUP6
000030aa: PUSH2 0x21b4
000030ad: JUMP
000030ae: JUMPDEST
000030af: POP
000030b0: SWAP4
000030b1: SWAP3
000030b2: POP
000030b3: POP
000030b4: POP
000030b5: JUMP
000030b6: JUMPDEST
000030b7: PUSH1 0x00
000030b9: DUP3
000030ba: PUSH1 0x1f
000030bc: DUP4
000030bd: ADD
000030be: SLT
000030bf: PUSH2 0x30cb
000030c2: JUMPI
000030c3: PUSH2 0x30ca
000030c6: PUSH2 0x2363
000030c9: JUMP
000030ca: JUMPDEST
000030cb: JUMPDEST
000030cc: DUP2
000030cd: MLOAD
000030ce: PUSH2 0x30db
000030d1: DUP5
000030d2: DUP3
000030d3: PUSH1 0x20
000030d5: DUP7
000030d6: ADD
000030d7: PUSH2 0x3074
000030da: JUMP
000030db: JUMPDEST
000030dc: SWAP2
000030dd: POP
000030de: POP
000030df: SWAP3
000030e0: SWAP2
000030e1: POP
000030e2: POP
000030e3: JUMP
000030e4: JUMPDEST
000030e5: PUSH1 0x00
000030e7: PUSH1 0x20
000030e9: DUP3
000030ea: DUP5
000030eb: SUB
000030ec: SLT
000030ed: ISZERO
000030ee: PUSH2 0x30fa
000030f1: JUMPI
000030f2: PUSH2 0x30f9
000030f5: PUSH2 0x2011
000030f8: JUMP
000030f9: JUMPDEST
000030fa: JUMPDEST
000030fb: PUSH1 0x00
000030fd: DUP3
000030fe: ADD
000030ff: MLOAD
00003100: PUSH8 0xffffffffffffffff
00003109: DUP2
0000310a: GT
0000310b: ISZERO
0000310c: PUSH2 0x3118
0000310f: JUMPI
00003110: PUSH2 0x3117
00003113: PUSH2 0x2016
00003116: JUMP
00003117: JUMPDEST
00003118: JUMPDEST
00003119: PUSH2 0x3124
0000311c: DUP5
0000311d: DUP3
0000311e: DUP6
0000311f: ADD
00003120: PUSH2 0x30b6
00003123: JUMP
00003124: JUMPDEST
00003125: SWAP2
00003126: POP
00003127: POP
00003128: SWAP3
00003129: SWAP2
0000312a: POP
0000312b: POP
0000312c: JUMP
0000312d: JUMPDEST
0000312e: PUSH32 0x6f776e65724f6600000000000000000000000000000000000000000000000000
0000314f: PUSH1 0x00
00003151: DUP3
00003152: ADD
00003153: MSTORE
00003154: POP
00003155: JUMP
00003156: JUMPDEST
00003157: PUSH1 0x00
00003159: PUSH2 0x3163
0000315c: PUSH1 0x07
0000315e: DUP4
0000315f: PUSH2 0x21a3
00003162: JUMP
00003163: JUMPDEST
00003164: SWAP2
00003165: POP
00003166: PUSH2 0x316e
00003169: DUP3
0000316a: PUSH2 0x312d
0000316d: JUMP
0000316e: JUMPDEST
0000316f: PUSH1 0x20
00003171: DUP3
00003172: ADD
00003173: SWAP1
00003174: POP
00003175: SWAP2
00003176: SWAP1
00003177: POP
00003178: JUMP
00003179: JUMPDEST
0000317a: PUSH1 0x00
0000317c: PUSH1 0x20
0000317e: DUP3
0000317f: ADD
00003180: SWAP1
00003181: POP
00003182: DUP2
00003183: DUP2
00003184: SUB
00003185: PUSH1 0x00
00003187: DUP4
00003188: ADD
00003189: MSTORE
0000318a: PUSH2 0x3192
0000318d: DUP2
0000318e: PUSH2 0x3156
00003191: JUMP
00003192: JUMPDEST
00003193: SWAP1
00003194: POP
00003195: SWAP2
00003196: SWAP1
00003197: POP
00003198: JUMP
00003199: JUMPDEST
0000319a: PUSH1 0x00
0000319c: PUSH1 0xc0
0000319e: DUP3
0000319f: ADD
000031a0: SWAP1
000031a1: POP
000031a2: PUSH2 0x31ae
000031a5: PUSH1 0x00
000031a7: DUP4
000031a8: ADD
000031a9: DUP10
000031aa: PUSH2 0x2097
000031ad: JUMP
000031ae: JUMPDEST
000031af: PUSH2 0x31bb
000031b2: PUSH1 0x20
000031b4: DUP4
000031b5: ADD
000031b6: DUP9
000031b7: PUSH2 0x2088
000031ba: JUMP
000031bb: JUMPDEST
000031bc: PUSH2 0x31c8
000031bf: PUSH1 0x40
000031c1: DUP4
000031c2: ADD
000031c3: DUP8
000031c4: PUSH2 0x2097
000031c7: JUMP
000031c8: JUMPDEST
000031c9: PUSH2 0x31d5
000031cc: PUSH1 0x60
000031ce: DUP4
000031cf: ADD
000031d0: DUP7
000031d1: PUSH2 0x2097
000031d4: JUMP
000031d5: JUMPDEST
000031d6: PUSH2 0x31e2
000031d9: PUSH1 0x80
000031db: DUP4
000031dc: ADD
000031dd: DUP6
000031de: PUSH2 0x2097
000031e1: JUMP
000031e2: JUMPDEST
000031e3: PUSH2 0x31ef
000031e6: PUSH1 0xa0
000031e8: DUP4
000031e9: ADD
000031ea: DUP5
000031eb: PUSH2 0x2097
000031ee: JUMP
000031ef: JUMPDEST
000031f0: SWAP8
000031f1: SWAP7
000031f2: POP
000031f3: POP
000031f4: POP
000031f5: POP
000031f6: POP
000031f7: POP
000031f8: POP
000031f9: JUMP
000031fa: INVALID
000031fb: LOG2
000031fc: PUSH5 0x6970667358
00003202: UNKNOWN(0x22)
00003203: SLT
00003204: KECCAK256
00003205: PUSH2 0x17c1
00003208: GAS
00003209: DUP12
0000320a: UNKNOWN(0xEB)
0000320b: SWAP5
0000320c: PUSH25 0xe2013127b4e205d211a8f31c7e596e5d9533f43fe964ede564
00003226: PUSH20

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0x36c4c8537becb1cb63db799e5d6c0e687c2eb33357d3e042f7509108351f33a7 call_targets: 0x1bc841d3080bd4f4c64bd207206ebd3774bb108a target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x36c4c8537becb1cb63db799e5d6c0e687c2eb33357d3e042f7509108351f33a7", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x1bc841d3080bd4f4c64bd207206ebd3774bb108a" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xd8c36973", "selector": "0xd8c36973", "calldata_variants": [ "0xd8c36973", "0xd8c369730000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xddc63262", "selector": "0xddc63262", "calldata_variants": [ "0xddc63262", "0xddc632620000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf3cb8385", "selector": "0xf3cb8385", "calldata_variants": [ "0xf3cb8385", "0xf3cb83850000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb88d4fde", "selector": "0xb88d4fde", "calldata_variants": [ "0xb88d4fde", "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc20615ed", "selector": "0xc20615ed", "calldata_variants": [ "0xc20615ed", "0xc20615ed0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc383e22b", "selector": "0xc383e22b", "calldata_variants": [ "0xc383e22b", "0xc383e22b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc87b56dd", "selector": "0xc87b56dd", "calldata_variants": [ "0xc87b56dd", "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4625, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5727, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7075, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 3, "guards_detected": [ { "pc": 2803, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 4347, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6865, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 7341, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ], "untrusted_call_count": 3 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0x36c4c8537becb1cb63db799e5d6c0e687c2eb33357d3e042f7509108351f33a7 call_targets: 0x1bc841d3080bd4f4c64bd207206ebd3774bb108a target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x36c4c8537becb1cb63db799e5d6c0e687c2eb33357d3e042f7509108351f33a7", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x1bc841d3080bd4f4c64bd207206ebd3774bb108a" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xd8c36973", "selector": "0xd8c36973", "calldata_variants": [ "0xd8c36973", "0xd8c369730000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xddc63262", "selector": "0xddc63262", "calldata_variants": [ "0xddc63262", "0xddc632620000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe985e9c5", "selector": "0xe985e9c5", "calldata_variants": [ "0xe985e9c5", "0xe985e9c50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf3cb8385", "selector": "0xf3cb8385", "calldata_variants": [ "0xf3cb8385", "0xf3cb83850000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb88d4fde", "selector": "0xb88d4fde", "calldata_variants": [ "0xb88d4fde", "0xb88d4fde0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc20615ed", "selector": "0xc20615ed", "calldata_variants": [ "0xc20615ed", "0xc20615ed0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc383e22b", "selector": "0xc383e22b", "calldata_variants": [ "0xc383e22b", "0xc383e22b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc87b56dd", "selector": "0xc87b56dd", "calldata_variants": [ "0xc87b56dd", "0xc87b56dd0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 4625, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5727, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 7075, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 3, "guards_detected": [ { "pc": 2803, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 4347, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 6865, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" }, { "pc": 7341, "type": "msg_sender_eq_const", "value": "0xffffffffffffffffffffffffffffffffffffffff" } ] }

Severity