Analysis Run

d7944a07-cb3d-47d7-8abc-dc83a778ef11

failed

Chain ID

1

Address

0xe3985e6b61b814f7cdb188766562ba71b446b46d

Block Number

—

Created

Tue, Dec 30, 2025 3:25 AM

Review Summary

What survived the funnel

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

back to vulns open contract

Confirmed

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
30681	report.consolidate	complete	1 / 1	3 months ago
75082	artifact.fetch	failed	1 / 3	2 weeks ago
75083	tool.cast_disasm	complete	1 / 3	2 weeks ago
75084	analysis.bundle	complete	1 / 3	2 weeks ago
75085	capability.graph	complete	1 / 3	2 weeks ago
75086	detector.run	complete	1 / 3	2 weeks ago
75087	validation.fork	complete	1 / 3	2 weeks ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

Job Status

complete

Attempts

1 / 1

Findings

0

No findings?

yes

Summary

No exploitable vulnerabilities found in the first-party contracts within the provided scope and focus areas.

View stderr

[codex:825440] OpenAI Codex v0.77.0 (research preview)
[codex:825440] --------
[codex:825440] workdir: /tmp/codex-multi-ab9gmnv8
[codex:825440] model: gpt-5.2-codex
[codex:825440] provider: openai
[codex:825440] approval: never
[codex:825440] sandbox: read-only
[codex:825440] reasoning effort: xhigh
[codex:825440] reasoning summaries: auto
[codex:825440] session id: 019b6d47-6697-7342-91ed-9e7466e5ef6d
[codex:825440] --------
[codex:825440] user
[codex:825440] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:825440] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:825440] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:825440] 
[codex:825440] Scope rules:
[codex:825440] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:825440] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:825440] 
[codex:825440] Output MUST be valid JSON matching the provided schema.
[codex:825440] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:825440] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:825440] 
[codex:825440] Output constraints (IMPORTANT):
[codex:825440] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:825440] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:825440] mcp startup: no servers
[codex:825440] 
[codex:825440] thinking
[codex:825440] **Preparing for audit by reading instructions**
[codex:825440] exec
[codex:825440] /bin/bash -lc ls in /tmp/codex-multi-ab9gmnv8 succeeded in 6ms:
[codex:825440] AUDIT_BUNDLE.txt
[codex:825440] codex-output-schema.json
[codex:825440] contracts
[codex:825440] exec
[codex:825440] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-ab9gmnv8 succeeded in 5ms:
[codex:825440] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:825440] 
[codex:825440] ================================================================================
[codex:825440] FILE: contracts/Contract.sol
[codex:825440] ================================================================================
[codex:825440] // SPDX-License-Identifier: MIT
[codex:825440] // -------------------
[codex:825440] // Router Version: 4.0
[codex:825440] // -------------------
[codex:825440] pragma solidity 0.8.13;
[codex:825440] 
[codex:825440] // ERC20 Interface
[codex:825440] interface iERC20 {
[codex:825440]     function balanceOf(address) external view returns (uint256);
[codex:825440] }
[codex:825440] // ROUTER Interface
[codex:825440] interface iROUTER {
[codex:825440]     function depositWithExpiry(address, address, uint, string calldata, uint) external;
[codex:825440] }
[codex:825440] 
[codex:825440] 
[codex:825440] 
[codex:825440] thinking
[codex:825440] **Analyzing contract for vulnerabilities**
[codex:825440] thinking
[codex:825440] **Evaluating subtle bugs and token behaviors**
[codex:825440] 
[codex:825440] I’m carefully weighing low-level calls to EOAs, ERC777 reentrancy hooks guarded by nonReentrant, unstipulated msg.value usage causing stuck ETH in the router, and potential token fee discrepancies on transfers. Checking unchecked return values on approve and transfer calls, I notice many edge cases but no critical security gaps; the payable functions could trap ETH if misused but that’s a known limitation. Overall, no obvious exploitable vulnerability emerges despite some functional quirks.
[codex:825440] exec
[codex:825440] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-ab9gmnv8 succeeded in 8ms:
[codex:825440] {"type": "object", "additionalProperties": false, "required": ["no_findings", "summary", "findings"], "properties": {"no_findings": {"type": "boolean"}, "summary": {"type": "string"}, "findings": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["severity", "category", "title", "evidence", "locations", "exploit_scenario", "recommendation"], "properties": {"severity": {"type": "string", "enum": ["info", "low", "medium", "high", "critical"]}, "category": {"type": "string", "enum": ["access_control", "reentrancy", "math", "oracle", "upgradeability", "auth", "other"]}, "title": {"type": "string"}, "exploit_scenario": {"type": "string"}, "recommendation": {"type": "string"}, "evidence": {"type": "string"}, "locations": {"type": "array", "items": {"type": "string"}}}}}}}
[codex:825440] 
[codex:825440] thinking
[codex:825440] **Evaluating potential vulnerabilities**
[codex:825440] 
[codex:825440] I'm carefully analyzing the contract’s access control, reentrancy protection, allowance handling, and external calls. It seems there are no exploitable vulnerabilities, though I notice some minor risks and design choices that aren’t security-critical. I’ll finalize a clean JSON summary indicating no findings with a clear explanation.
[codex:825440] codex
[codex:825440] {"no_findings":true,"summary":"No exploitable vulnerabilities found in the first-party contracts within the provided scope and focus areas.","findings":[]}
[codex:825440] tokens used
[codex:825440] 12,804
[codex:825440] {"no_findings":true,"summary":"No exploitable vulnerabilities found in the first-party contracts within the provided scope and focus areas.","findings":[]}

Metadata

{
    "codex": {
        "ran_at": "2025-12-30T03:25:31.380495+00:00",
        "returncode": 0
    },
    "summary": "No exploitable vulnerabilities found in the first-party contracts within the provided scope and focus areas.",
    "raw_final": {
        "summary": "No exploitable vulnerabilities found in the first-party contracts within the provided scope and 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)

13

EXT*/BALANCE

1

Total opcodes

4634

Flags

call_family_heavy

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0070
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x2923e82e
00000019: GT
0000001a: PUSH2 0x004e
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x2923e82e
00000024: EQ
00000025: PUSH2 0x00f7
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x4039fd4b
0000002f: EQ
00000030: PUSH2 0x0113
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0x44bc937b
0000003a: EQ
0000003b: PUSH2 0x012f
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0x574da717
00000045: EQ
00000046: PUSH2 0x014b
00000049: JUMPI
0000004a: PUSH2 0x0070
0000004d: JUMP
0000004e: JUMPDEST
0000004f: DUP1
00000050: PUSH4 0x03b6a673
00000055: EQ
00000056: PUSH2 0x0075
00000059: JUMPI
0000005a: DUP1
0000005b: PUSH4 0x1b738b32
00000060: EQ
00000061: PUSH2 0x00b2
00000064: JUMPI
00000065: DUP1
00000066: PUSH4 0x1fece7b4
0000006b: EQ
0000006c: PUSH2 0x00db
0000006f: JUMPI
00000070: JUMPDEST
00000071: PUSH1 0x00
00000073: DUP1
00000074: REVERT
00000075: JUMPDEST
00000076: CALLVALUE
00000077: DUP1
00000078: ISZERO
00000079: PUSH2 0x0081
0000007c: JUMPI
0000007d: PUSH1 0x00
0000007f: DUP1
00000080: REVERT
00000081: JUMPDEST
00000082: POP
00000083: PUSH2 0x009c
00000086: PUSH1 0x04
00000088: DUP1
00000089: CALLDATASIZE
0000008a: SUB
0000008b: DUP2
0000008c: ADD
0000008d: SWAP1
0000008e: PUSH2 0x0097
00000091: SWAP2
00000092: SWAP1
00000093: PUSH2 0x132f
00000096: JUMP
00000097: JUMPDEST
00000098: PUSH2 0x0167
0000009b: JUMP
0000009c: JUMPDEST
0000009d: PUSH1 0x40
0000009f: MLOAD
000000a0: PUSH2 0x00a9
000000a3: SWAP2
000000a4: SWAP1
000000a5: PUSH2 0x1388
000000a8: JUMP
000000a9: JUMPDEST
000000aa: PUSH1 0x40
000000ac: MLOAD
000000ad: DUP1
000000ae: SWAP2
000000af: SUB
000000b0: SWAP1
000000b1: RETURN
000000b2: JUMPDEST
000000b3: CALLVALUE
000000b4: DUP1
000000b5: ISZERO
000000b6: PUSH2 0x00be
000000b9: JUMPI
000000ba: PUSH1 0x00
000000bc: DUP1
000000bd: REVERT
000000be: JUMPDEST
000000bf: POP
000000c0: PUSH2 0x00d9
000000c3: PUSH1 0x04
000000c5: DUP1
000000c6: CALLDATASIZE
000000c7: SUB
000000c8: DUP2
000000c9: ADD
000000ca: SWAP1
000000cb: PUSH2 0x00d4
000000ce: SWAP2
000000cf: SWAP1
000000d0: PUSH2 0x1515
000000d3: JUMP
000000d4: JUMPDEST
000000d5: PUSH2 0x01ed
000000d8: JUMP
000000d9: JUMPDEST
000000da: STOP
000000db: JUMPDEST
000000dc: PUSH2 0x00f5
000000df: PUSH1 0x04
000000e1: DUP1
000000e2: CALLDATASIZE
000000e3: SUB
000000e4: DUP2
000000e5: ADD
000000e6: SWAP1
000000e7: PUSH2 0x00f0
000000ea: SWAP2
000000eb: SWAP1
000000ec: PUSH2 0x15ea
000000ef: JUMP
000000f0: JUMPDEST
000000f1: PUSH2 0x0302
000000f4: JUMP
000000f5: JUMPDEST
000000f6: STOP
000000f7: JUMPDEST
000000f8: PUSH2 0x0111
000000fb: PUSH1 0x04
000000fd: DUP1
000000fe: CALLDATASIZE
000000ff: SUB
00000100: DUP2
00000101: ADD
00000102: SWAP1
00000103: PUSH2 0x010c
00000106: SWAP2
00000107: SWAP1
00000108: PUSH2 0x178a
0000010b: JUMP
0000010c: JUMPDEST
0000010d: PUSH2 0x0527
00000110: JUMP
00000111: JUMPDEST
00000112: STOP
00000113: JUMPDEST
00000114: PUSH2 0x012d
00000117: PUSH1 0x04
00000119: DUP1
0000011a: CALLDATASIZE
0000011b: SUB
0000011c: DUP2
0000011d: ADD
0000011e: SWAP1
0000011f: PUSH2 0x0128
00000122: SWAP2
00000123: SWAP1
00000124: PUSH2 0x1829
00000127: JUMP
00000128: JUMPDEST
00000129: PUSH2 0x0735
0000012c: JUMP
0000012d: JUMPDEST
0000012e: STOP
0000012f: JUMPDEST
00000130: PUSH2 0x0149
00000133: PUSH1 0x04
00000135: DUP1
00000136: CALLDATASIZE
00000137: SUB
00000138: DUP2
00000139: ADD
0000013a: SWAP1
0000013b: PUSH2 0x0144
0000013e: SWAP2
0000013f: SWAP1
00000140: PUSH2 0x18c0
00000143: JUMP
00000144: JUMPDEST
00000145: PUSH2 0x097b
00000148: JUMP
00000149: JUMPDEST
0000014a: STOP
0000014b: JUMPDEST
0000014c: PUSH2 0x0165
0000014f: PUSH1 0x04
00000151: DUP1
00000152: CALLDATASIZE
00000153: SUB
00000154: DUP2
00000155: ADD
00000156: SWAP1
00000157: PUSH2 0x0160
0000015a: SWAP2
0000015b: SWAP1
0000015c: PUSH2 0x15ea
0000015f: JUMP
00000160: JUMPDEST
00000161: PUSH2 0x09d0
00000164: JUMP
00000165: JUMPDEST
00000166: STOP
00000167: JUMPDEST
00000168: PUSH1 0x00
0000016a: DUP1
0000016b: PUSH1 0x00
0000016d: DUP5
0000016e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000183: AND
00000184: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000199: AND
0000019a: DUP2
0000019b: MSTORE
0000019c: PUSH1 0x20
0000019e: ADD
0000019f: SWAP1
000001a0: DUP2
000001a1: MSTORE
000001a2: PUSH1 0x20
000001a4: ADD
000001a5: PUSH1 0x00
000001a7: KECCAK256
000001a8: PUSH1 0x00
000001aa: DUP4
000001ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001c0: AND
000001c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001d6: AND
000001d7: DUP2
000001d8: MSTORE
000001d9: PUSH1 0x20
000001db: ADD
000001dc: SWAP1
000001dd: DUP2
000001de: MSTORE
000001df: PUSH1 0x20
000001e1: ADD
000001e2: PUSH1 0x00
000001e4: KECCAK256
000001e5: SLOAD
000001e6: SWAP1
000001e7: POP
000001e8: SWAP3
000001e9: SWAP2
000001ea: POP
000001eb: POP
000001ec: JUMP
000001ed: JUMPDEST
000001ee: PUSH1 0x02
000001f0: PUSH1 0x01
000001f2: SLOAD
000001f3: SUB
000001f4: PUSH2 0x0232
000001f7: JUMPI
000001f8: PUSH1 0x40
000001fa: MLOAD
000001fb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000021c: DUP2
0000021d: MSTORE
0000021e: PUSH1 0x04
00000220: ADD
00000221: PUSH2 0x0229
00000224: SWAP1
00000225: PUSH2 0x19b4
00000228: JUMP
00000229: JUMPDEST
0000022a: PUSH1 0x40
0000022c: MLOAD
0000022d: DUP1
0000022e: SWAP2
0000022f: SUB
00000230: SWAP1
00000231: REVERT
00000232: JUMPDEST
00000233: PUSH1 0x02
00000235: PUSH1 0x01
00000237: DUP2
00000238: SWAP1
00000239: SSTORE
0000023a: POP
0000023b: ADDRESS
0000023c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000251: AND
00000252: DUP6
00000253: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000268: AND
00000269: SUB
0000026a: PUSH2 0x02e6
0000026d: JUMPI
0000026e: PUSH2 0x0278
00000271: DUP5
00000272: DUP5
00000273: DUP5
00000274: PUSH2 0x0d20
00000277: JUMP
00000278: JUMPDEST
00000279: DUP4
0000027a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000028f: AND
00000290: CALLER
00000291: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002a6: AND
000002a7: PUSH32 0x05b90458f953d3fcb2d7fb25616a2fddeca749d0c47cc5c9832d0266b5346eea
000002c8: DUP6
000002c9: DUP6
000002ca: DUP6
000002cb: PUSH1 0x40
000002cd: MLOAD
000002ce: PUSH2 0x02d9
000002d1: SWAP4
000002d2: SWAP3
000002d3: SWAP2
000002d4: SWAP1
000002d5: PUSH2 0x1a5a
000002d8: JUMP
000002d9: JUMPDEST
000002da: PUSH1 0x40
000002dc: MLOAD
000002dd: DUP1
000002de: SWAP2
000002df: SUB
000002e0: SWAP1
000002e1: LOG3
000002e2: PUSH2 0x02f4
000002e5: JUMP
000002e6: JUMPDEST
000002e7: PUSH2 0x02f3
000002ea: DUP6
000002eb: DUP6
000002ec: DUP6
000002ed: DUP6
000002ee: DUP6
000002ef: PUSH2 0x0e49
000002f2: JUMP
000002f3: JUMPDEST
000002f4: JUMPDEST
000002f5: PUSH1 0x01
000002f7: DUP1
000002f8: DUP2
000002f9: SWAP1
000002fa: SSTORE
000002fb: POP
000002fc: POP
000002fd: POP
000002fe: POP
000002ff: POP
00000300: POP
00000301: JUMP
00000302: JUMPDEST
00000303: PUSH1 0x02
00000305: PUSH1 0x01
00000307: SLOAD
00000308: SUB
00000309: PUSH2 0x0347
0000030c: JUMPI
0000030d: PUSH1 0x40
0000030f: MLOAD
00000310: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000331: DUP2
00000332: MSTORE
00000333: PUSH1 0x04
00000335: ADD
00000336: PUSH2 0x033e
00000339: SWAP1
0000033a: PUSH2 0x19b4
0000033d: JUMP
0000033e: JUMPDEST
0000033f: PUSH1 0x40
00000341: MLOAD
00000342: DUP1
00000343: SWAP2
00000344: SUB
00000345: SWAP1
00000346: REVERT
00000347: JUMPDEST
00000348: PUSH1 0x02
0000034a: PUSH1 0x01
0000034c: DUP2
0000034d: SWAP1
0000034e: SSTORE
0000034f: POP
00000350: PUSH1 0x00
00000352: DUP1
00000353: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000368: AND
00000369: DUP5
0000036a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000037f: AND
00000380: SUB
00000381: PUSH2 0x03d0
00000384: JUMPI
00000385: CALLVALUE
00000386: SWAP1
00000387: POP
00000388: PUSH1 0x00
0000038a: DUP6
0000038b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003a0: AND
000003a1: PUSH2 0x08fc
000003a4: DUP4
000003a5: SWAP1
000003a6: DUP2
000003a7: ISZERO
000003a8: MUL
000003a9: SWAP1
000003aa: PUSH1 0x40
000003ac: MLOAD
000003ad: PUSH1 0x00
000003af: PUSH1 0x40
000003b1: MLOAD
000003b2: DUP1
000003b3: DUP4
000003b4: SUB
000003b5: DUP2
000003b6: DUP6
000003b7: DUP9
000003b8: DUP9
000003b9: CALL
000003ba: SWAP4
000003bb: POP
000003bc: POP
000003bd: POP
000003be: POP
000003bf: SWAP1
000003c0: POP
000003c1: DUP1
000003c2: PUSH2 0x03ca
000003c5: JUMPI
000003c6: PUSH1 0x00
000003c8: DUP1
000003c9: REVERT
000003ca: JUMPDEST
000003cb: POP
000003cc: PUSH2 0x04b2
000003cf: JUMP
000003d0: JUMPDEST
000003d1: PUSH1 0x00
000003d3: CALLVALUE
000003d4: EQ
000003d5: PUSH2 0x0413
000003d8: JUMPI
000003d9: PUSH1 0x40
000003db: MLOAD
000003dc: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000003fd: DUP2
000003fe: MSTORE
000003ff: PUSH1 0x04
00000401: ADD
00000402: PUSH2 0x040a
00000405: SWAP1
00000406: PUSH2 0x1ae4
00000409: JUMP
0000040a: JUMPDEST
0000040b: PUSH1 0x40
0000040d: MLOAD
0000040e: DUP1
0000040f: SWAP2
00000410: SUB
00000411: SWAP1
00000412: REVERT
00000413: JUMPDEST
00000414: PUSH2 0x041d
00000417: DUP5
00000418: DUP5
00000419: PUSH2 0x107c
0000041c: JUMP
0000041d: JUMPDEST
0000041e: SWAP1
0000041f: POP
00000420: DUP1
00000421: PUSH1 0x00
00000423: DUP1
00000424: DUP8
00000425: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000043a: AND
0000043b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000450: AND
00000451: DUP2
00000452: MSTORE
00000453: PUSH1 0x20
00000455: ADD
00000456: SWAP1
00000457: DUP2
00000458: MSTORE
00000459: PUSH1 0x20
0000045b: ADD
0000045c: PUSH1 0x00
0000045e: KECCAK256
0000045f: PUSH1 0x00
00000461: DUP7
00000462: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000477: AND
00000478: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000048d: AND
0000048e: DUP2
0000048f: MSTORE
00000490: PUSH1 0x20
00000492: ADD
00000493: SWAP1
00000494: DUP2
00000495: MSTORE
00000496: PUSH1 0x20
00000498: ADD
00000499: PUSH1 0x00
0000049b: KECCAK256
0000049c: PUSH1 0x00
0000049e: DUP3
0000049f: DUP3
000004a0: SLOAD
000004a1: PUSH2 0x04aa
000004a4: SWAP2
000004a5: SWAP1
000004a6: PUSH2 0x1b33
000004a9: JUMP
000004aa: JUMPDEST
000004ab: SWAP3
000004ac: POP
000004ad: POP
000004ae: DUP2
000004af: SWAP1
000004b0: SSTORE
000004b1: POP
000004b2: JUMPDEST
000004b3: DUP4
000004b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004c9: AND
000004ca: DUP6
000004cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004e0: AND
000004e1: PUSH32 0xef519b7eb82aaf6ac376a6df2d793843ebfd593de5f1a0601d3cc6ab49ebb395
00000502: DUP4
00000503: DUP6
00000504: PUSH1 0x40
00000506: MLOAD
00000507: PUSH2 0x0511
0000050a: SWAP3
0000050b: SWAP2
0000050c: SWAP1
0000050d: PUSH2 0x1b89
00000510: JUMP
00000511: JUMPDEST
00000512: PUSH1 0x40
00000514: MLOAD
00000515: DUP1
00000516: SWAP2
00000517: SUB
00000518: SWAP1
00000519: LOG3
0000051a: POP
0000051b: PUSH1 0x01
0000051d: DUP1
0000051e: DUP2
0000051f: SWAP1
00000520: SSTORE
00000521: POP
00000522: POP
00000523: POP
00000524: POP
00000525: POP
00000526: JUMP
00000527: JUMPDEST
00000528: PUSH1 0x02
0000052a: PUSH1 0x01
0000052c: SLOAD
0000052d: SUB
0000052e: PUSH2 0x056c
00000531: JUMPI
00000532: PUSH1 0x40
00000534: MLOAD
00000535: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000556: DUP2
00000557: MSTORE
00000558: PUSH1 0x04
0000055a: ADD
0000055b: PUSH2 0x0563
0000055e: SWAP1
0000055f: PUSH2 0x19b4
00000562: JUMP
00000563: JUMPDEST
00000564: PUSH1 0x40
00000566: MLOAD
00000567: DUP1
00000568: SWAP2
00000569: SUB
0000056a: SWAP1
0000056b: REVERT
0000056c: JUMPDEST
0000056d: PUSH1 0x02
0000056f: PUSH1 0x01
00000571: DUP2
00000572: SWAP1
00000573: SSTORE
00000574: POP
00000575: ADDRESS
00000576: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000058b: AND
0000058c: DUP5
0000058d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005a2: AND
000005a3: SUB
000005a4: PUSH2 0x067a
000005a7: JUMPI
000005a8: PUSH1 0x00
000005aa: JUMPDEST
000005ab: DUP3
000005ac: MLOAD
000005ad: DUP2
000005ae: LT
000005af: ISZERO
000005b0: PUSH2 0x060d
000005b3: JUMPI
000005b4: PUSH2 0x05fa
000005b7: DUP5
000005b8: DUP5
000005b9: DUP4
000005ba: DUP2
000005bb: MLOAD
000005bc: DUP2
000005bd: LT
000005be: PUSH2 0x05ca
000005c1: JUMPI
000005c2: PUSH2 0x05c9
000005c5: PUSH2 0x1bb9
000005c8: JUMP
000005c9: JUMPDEST
000005ca: JUMPDEST
000005cb: PUSH1 0x20
000005cd: MUL
000005ce: PUSH1 0x20
000005d0: ADD
000005d1: ADD
000005d2: MLOAD
000005d3: PUSH1 0x00
000005d5: ADD
000005d6: MLOAD
000005d7: DUP6
000005d8: DUP5
000005d9: DUP2
000005da: MLOAD
000005db: DUP2
000005dc: LT
000005dd: PUSH2 0x05e9
000005e0: JUMPI
000005e1: PUSH2 0x05e8
000005e4: PUSH2 0x1bb9
000005e7: JUMP
000005e8: JUMPDEST
000005e9: JUMPDEST
000005ea: PUSH1 0x20
000005ec: MUL
000005ed: PUSH1 0x20
000005ef: ADD
000005f0: ADD
000005f1: MLOAD
000005f2: PUSH1 0x20
000005f4: ADD
000005f5: MLOAD
000005f6: PUSH2 0x0d20
000005f9: JUMP
000005fa: JUMPDEST
000005fb: DUP1
000005fc: DUP1
000005fd: PUSH2 0x0605
00000600: SWAP1
00000601: PUSH2 0x1be8
00000604: JUMP
00000605: JUMPDEST
00000606: SWAP2
00000607: POP
00000608: POP
00000609: PUSH2 0x05aa
0000060c: JUMP
0000060d: JUMPDEST
0000060e: POP
0000060f: DUP3
00000610: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000625: AND
00000626: CALLER
00000627: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000063c: AND
0000063d: PUSH32 0x281daef48d91e5cd3d32db0784f6af69cd8d8d2e8c612a3568dca51ded51e08f
0000065e: DUP5
0000065f: DUP5
00000660: PUSH1 0x40
00000662: MLOAD
00000663: PUSH2 0x066d
00000666: SWAP3
00000667: SWAP2
00000668: SWAP1
00000669: PUSH2 0x1d2c
0000066c: JUMP
0000066d: JUMPDEST
0000066e: PUSH1 0x40
00000670: MLOAD
00000671: DUP1
00000672: SWAP2
00000673: SUB
00000674: SWAP1
00000675: LOG3
00000676: PUSH2 0x06e4
00000679: JUMP
0000067a: JUMPDEST
0000067b: PUSH1 0x00
0000067d: JUMPDEST
0000067e: DUP3
0000067f: MLOAD
00000680: DUP2
00000681: LT
00000682: ISZERO
00000683: PUSH2 0x06e2
00000686: JUMPI
00000687: PUSH2 0x06cf
0000068a: DUP6
0000068b: DUP6
0000068c: DUP6
0000068d: DUP5
0000068e: DUP2
0000068f: MLOAD
00000690: DUP2
00000691: LT
00000692: PUSH2 0x069e
00000695: JUMPI
00000696: PUSH2 0x069d
00000699: PUSH2 0x1bb9
0000069c: JUMP
0000069d: JUMPDEST
0000069e: JUMPDEST
0000069f: PUSH1 0x20
000006a1: MUL
000006a2: PUSH1 0x20
000006a4: ADD
000006a5: ADD
000006a6: MLOAD
000006a7: PUSH1 0x00
000006a9: ADD
000006aa: MLOAD
000006ab: DUP7
000006ac: DUP6
000006ad: DUP2
000006ae: MLOAD
000006af: DUP2
000006b0: LT
000006b1: PUSH2 0x06bd
000006b4: JUMPI
000006b5: PUSH2 0x06bc
000006b8: PUSH2 0x1bb9
000006bb: JUMP
000006bc: JUMPDEST
000006bd: JUMPDEST
000006be: PUSH1 0x20
000006c0: MUL
000006c1: PUSH1 0x20
000006c3: ADD
000006c4: ADD
000006c5: MLOAD
000006c6: PUSH1 0x20
000006c8: ADD
000006c9: MLOAD
000006ca: DUP7
000006cb: PUSH2 0x0e49
000006ce: JUMP
000006cf: JUMPDEST
000006d0: DUP1
000006d1: DUP1
000006d2: PUSH2 0x06da
000006d5: SWAP1
000006d6: PUSH2 0x1be8
000006d9: JUMP
000006da: JUMPDEST
000006db: SWAP2
000006dc: POP
000006dd: POP
000006de: PUSH2 0x067d
000006e1: JUMP
000006e2: JUMPDEST
000006e3: POP
000006e4: JUMPDEST
000006e5: PUSH1 0x00
000006e7: DUP4
000006e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006fd: AND
000006fe: PUSH2 0x08fc
00000701: CALLVALUE
00000702: SWAP1
00000703: DUP2
00000704: ISZERO
00000705: MUL
00000706: SWAP1
00000707: PUSH1 0x40
00000709: MLOAD
0000070a: PUSH1 0x00
0000070c: PUSH1 0x40
0000070e: MLOAD
0000070f: DUP1
00000710: DUP4
00000711: SUB
00000712: DUP2
00000713: DUP6
00000714: DUP9
00000715: DUP9
00000716: CALL
00000717: SWAP4
00000718: POP
00000719: POP
0000071a: POP
0000071b: POP
0000071c: SWAP1
0000071d: POP
0000071e: DUP1
0000071f: PUSH2 0x0727
00000722: JUMPI
00000723: PUSH1 0x00
00000725: DUP1
00000726: REVERT
00000727: JUMPDEST
00000728: POP
00000729: PUSH1 0x01
0000072b: DUP1
0000072c: DUP2
0000072d: SWAP1
0000072e: SSTORE
0000072f: POP
00000730: POP
00000731: POP
00000732: POP
00000733: POP
00000734: JUMP
00000735: JUMPDEST
00000736: PUSH1 0x02
00000738: PUSH1 0x01
0000073a: SLOAD
0000073b: SUB
0000073c: PUSH2 0x077a
0000073f: JUMPI
00000740: PUSH1 0x40
00000742: MLOAD
00000743: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000764: DUP2
00000765: MSTORE
00000766: PUSH1 0x04
00000768: ADD
00000769: PUSH2 0x0771
0000076c: SWAP1
0000076d: PUSH2 0x19b4
00000770: JUMP
00000771: JUMPDEST
00000772: PUSH1 0x40
00000774: MLOAD
00000775: DUP1
00000776: SWAP2
00000777: SUB
00000778: SWAP1
00000779: REVERT
0000077a: JUMPDEST
0000077b: PUSH1 0x02
0000077d: PUSH1 0x01
0000077f: DUP2
00000780: SWAP1
00000781: SSTORE
00000782: POP
00000783: PUSH1 0x00
00000785: CALLVALUE
00000786: SWAP1
00000787: POP
00000788: PUSH1 0x00
0000078a: DUP7
0000078b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007a0: AND
000007a1: DUP3
000007a2: DUP8
000007a3: DUP8
000007a4: DUP8
000007a5: PUSH1 0x40
000007a7: MLOAD
000007a8: PUSH1 0x24
000007aa: ADD
000007ab: PUSH2 0x07b6
000007ae: SWAP4
000007af: SWAP3
000007b0: SWAP2
000007b1: SWAP1
000007b2: PUSH2 0x1d63
000007b5: JUMP
000007b6: JUMPDEST
000007b7: PUSH1 0x40
000007b9: MLOAD
000007ba: PUSH1 0x20
000007bc: DUP2
000007bd: DUP4
000007be: SUB
000007bf: SUB
000007c0: DUP2
000007c1: MSTORE
000007c2: SWAP1
000007c3: PUSH1 0x40
000007c5: MSTORE
000007c6: PUSH32 0x48c314f400000000000000000000000000000000000000000000000000000000
000007e7: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000804: NOT
00000805: AND
00000806: PUSH1 0x20
00000808: DUP3
00000809: ADD
0000080a: DUP1
0000080b: MLOAD
0000080c: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000829: DUP4
0000082a: DUP2
0000082b: DUP4
0000082c: AND
0000082d: OR
0000082e: DUP4
0000082f: MSTORE
00000830: POP
00000831: POP
00000832: POP
00000833: POP
00000834: PUSH1 0x40
00000836: MLOAD
00000837: PUSH2 0x0840
0000083a: SWAP2
0000083b: SWAP1
0000083c: PUSH2 0x1de1
0000083f: JUMP
00000840: JUMPDEST
00000841: PUSH1 0x00
00000843: PUSH1 0x40
00000845: MLOAD
00000846: DUP1
00000847: DUP4
00000848: SUB
00000849: DUP2
0000084a: DUP6
0000084b: DUP8
0000084c: GAS
0000084d: CALL
0000084e: SWAP3
0000084f: POP
00000850: POP
00000851: POP
00000852: RETURNDATASIZE
00000853: DUP1
00000854: PUSH1 0x00
00000856: DUP2
00000857: EQ
00000858: PUSH2 0x087d
0000085b: JUMPI
0000085c: PUSH1 0x40
0000085e: MLOAD
0000085f: SWAP2
00000860: POP
00000861: PUSH1 0x1f
00000863: NOT
00000864: PUSH1 0x3f
00000866: RETURNDATASIZE
00000867: ADD
00000868: AND
00000869: DUP3
0000086a: ADD
0000086b: PUSH1 0x40
0000086d: MSTORE
0000086e: RETURNDATASIZE
0000086f: DUP3
00000870: MSTORE
00000871: RETURNDATASIZE
00000872: PUSH1 0x00
00000874: PUSH1 0x20
00000876: DUP5
00000877: ADD
00000878: RETURNDATACOPY
00000879: PUSH2 0x0882
0000087c: JUMP
0000087d: JUMPDEST
0000087e: PUSH1 0x60
00000880: SWAP2
00000881: POP
00000882: JUMPDEST
00000883: POP
00000884: POP
00000885: SWAP1
00000886: POP
00000887: DUP1
00000888: PUSH2 0x0913
0000088b: JUMPI
0000088c: PUSH1 0x00
0000088e: DUP6
0000088f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008a4: AND
000008a5: PUSH2 0x08fc
000008a8: DUP5
000008a9: SWAP1
000008aa: DUP2
000008ab: ISZERO
000008ac: MUL
000008ad: SWAP1
000008ae: PUSH1 0x40
000008b0: MLOAD
000008b1: PUSH1 0x00
000008b3: PUSH1 0x40
000008b5: MLOAD
000008b6: DUP1
000008b7: DUP4
000008b8: SUB
000008b9: DUP2
000008ba: DUP6
000008bb: DUP9
000008bc: DUP9
000008bd: CALL
000008be: SWAP4
000008bf: POP
000008c0: POP
000008c1: POP
000008c2: POP
000008c3: SWAP1
000008c4: POP
000008c5: DUP1
000008c6: PUSH2 0x0911
000008c9: JUMPI
000008ca: CALLER
000008cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008e0: AND
000008e1: PUSH2 0x08fc
000008e4: DUP5
000008e5: SWAP1
000008e6: DUP2
000008e7: ISZERO
000008e8: MUL
000008e9: SWAP1
000008ea: PUSH1 0x40
000008ec: MLOAD
000008ed: PUSH1 0x00
000008ef: PUSH1 0x40
000008f1: MLOAD
000008f2: DUP1
000008f3: DUP4
000008f4: SUB
000008f5: DUP2
000008f6: DUP6
000008f7: DUP9
000008f8: DUP9
000008f9: CALL
000008fa: SWAP4
000008fb: POP
000008fc: POP
000008fd: POP
000008fe: POP
000008ff: ISZERO
00000900: DUP1
00000901: ISZERO
00000902: PUSH2 0x090f
00000905: JUMPI
00000906: RETURNDATASIZE
00000907: PUSH1 0x00
00000909: DUP1
0000090a: RETURNDATACOPY
0000090b: RETURNDATASIZE
0000090c: PUSH1 0x00
0000090e: REVERT
0000090f: JUMPDEST
00000910: POP
00000911: JUMPDEST
00000912: POP
00000913: JUMPDEST
00000914: CALLER
00000915: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000092a: AND
0000092b: PUSH32 0x8e5841bcd195b858d53b38bcf91b38d47f3bc800469b6812d35451ab619c6f6c
0000094c: DUP9
0000094d: DUP5
0000094e: DUP10
0000094f: DUP10
00000950: DUP10
00000951: DUP10
00000952: PUSH1 0x40
00000954: MLOAD
00000955: PUSH2 0x0963
00000958: SWAP7
00000959: SWAP6
0000095a: SWAP5
0000095b: SWAP4
0000095c: SWAP3
0000095d: SWAP2
0000095e: SWAP1
0000095f: PUSH2 0x1e57
00000962: JUMP
00000963: JUMPDEST
00000964: PUSH1 0x40
00000966: MLOAD
00000967: DUP1
00000968: SWAP2
00000969: SUB
0000096a: SWAP1
0000096b: LOG2
0000096c: POP
0000096d: POP
0000096e: PUSH1 0x01
00000970: DUP1
00000971: DUP2
00000972: SWAP1
00000973: SSTORE
00000974: POP
00000975: POP
00000976: POP
00000977: POP
00000978: POP
00000979: POP
0000097a: JUMP
0000097b: JUMPDEST
0000097c: DUP1
0000097d: TIMESTAMP
0000097e: LT
0000097f: PUSH2 0x09bd
00000982: JUMPI
00000983: PUSH1 0x40
00000985: MLOAD
00000986: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009a7: DUP2
000009a8: MSTORE
000009a9: PUSH1 0x04
000009ab: ADD
000009ac: PUSH2 0x09b4
000009af: SWAP1
000009b0: PUSH2 0x1f0b
000009b3: JUMP
000009b4: JUMPDEST
000009b5: PUSH1 0x40
000009b7: MLOAD
000009b8: DUP1
000009b9: SWAP2
000009ba: SUB
000009bb: SWAP1
000009bc: REVERT
000009bd: JUMPDEST
000009be: PUSH2 0x09c9
000009c1: DUP6
000009c2: DUP6
000009c3: DUP6
000009c4: DUP6
000009c5: PUSH2 0x0302
000009c8: JUMP
000009c9: JUMPDEST
000009ca: POP
000009cb: POP
000009cc: POP
000009cd: POP
000009ce: POP
000009cf: JUMP
000009d0: JUMPDEST
000009d1: PUSH1 0x02
000009d3: PUSH1 0x01
000009d5: SLOAD
000009d6: SUB
000009d7: PUSH2 0x0a15
000009da: JUMPI
000009db: PUSH1 0x40
000009dd: MLOAD
000009de: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009ff: DUP2
00000a00: MSTORE
00000a01: PUSH1 0x04
00000a03: ADD
00000a04: PUSH2 0x0a0c
00000a07: SWAP1
00000a08: PUSH2 0x19b4
00000a0b: JUMP
00000a0c: JUMPDEST
00000a0d: PUSH1 0x40
00000a0f: MLOAD
00000a10: DUP1
00000a11: SWAP2
00000a12: SUB
00000a13: SWAP1
00000a14: REVERT
00000a15: JUMPDEST
00000a16: PUSH1 0x02
00000a18: PUSH1 0x01
00000a1a: DUP2
00000a1b: SWAP1
00000a1c: SSTORE
00000a1d: POP
00000a1e: PUSH1 0x00
00000a20: DUP1
00000a21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a36: AND
00000a37: DUP5
00000a38: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a4d: AND
00000a4e: SUB
00000a4f: PUSH2 0x0ae1
00000a52: JUMPI
00000a53: CALLVALUE
00000a54: SWAP1
00000a55: POP
00000a56: PUSH1 0x00
00000a58: DUP6
00000a59: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a6e: AND
00000a6f: PUSH2 0x08fc
00000a72: DUP4
00000a73: SWAP1
00000a74: DUP2
00000a75: ISZERO
00000a76: MUL
00000a77: SWAP1
00000a78: PUSH1 0x40
00000a7a: MLOAD
00000a7b: PUSH1 0x00
00000a7d: PUSH1 0x40
00000a7f: MLOAD
00000a80: DUP1
00000a81: DUP4
00000a82: SUB
00000a83: DUP2
00000a84: DUP6
00000a85: DUP9
00000a86: DUP9
00000a87: CALL
00000a88: SWAP4
00000a89: POP
00000a8a: POP
00000a8b: POP
00000a8c: POP
00000a8d: SWAP1
00000a8e: POP
00000a8f: DUP1
00000a90: PUSH2 0x0adb
00000a93: JUMPI
00000a94: CALLER
00000a95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aaa: AND
00000aab: PUSH2 0x08fc
00000aae: DUP4
00000aaf: SWAP1
00000ab0: DUP2
00000ab1: ISZERO
00000ab2: MUL
00000ab3: SWAP1
00000ab4: PUSH1 0x40
00000ab6: MLOAD
00000ab7: PUSH1 0x00
00000ab9: PUSH1 0x40
00000abb: MLOAD
00000abc: DUP1
00000abd: DUP4
00000abe: SUB
00000abf: DUP2
00000ac0: DUP6
00000ac1: DUP9
00000ac2: DUP9
00000ac3: CALL
00000ac4: SWAP4
00000ac5: POP
00000ac6: POP
00000ac7: POP
00000ac8: POP
00000ac9: ISZERO
00000aca: DUP1
00000acb: ISZERO
00000acc: PUSH2 0x0ad9
00000acf: JUMPI
00000ad0: RETURNDATASIZE
00000ad1: PUSH1 0x00
00000ad3: DUP1
00000ad4: RETURNDATACOPY
00000ad5: RETURNDATASIZE
00000ad6: PUSH1 0x00
00000ad8: REVERT
00000ad9: JUMPDEST
00000ada: POP
00000adb: JUMPDEST
00000adc: POP
00000add: PUSH2 0x0ca9
00000ae0: JUMP
00000ae1: JUMPDEST
00000ae2: DUP3
00000ae3: PUSH1 0x00
00000ae5: DUP1
00000ae6: CALLER
00000ae7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000afc: AND
00000afd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b12: AND
00000b13: DUP2
00000b14: MSTORE
00000b15: PUSH1 0x20
00000b17: ADD
00000b18: SWAP1
00000b19: DUP2
00000b1a: MSTORE
00000b1b: PUSH1 0x20
00000b1d: ADD
00000b1e: PUSH1 0x00
00000b20: KECCAK256
00000b21: PUSH1 0x00
00000b23: DUP7
00000b24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b39: AND
00000b3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b4f: AND
00000b50: DUP2
00000b51: MSTORE
00000b52: PUSH1 0x20
00000b54: ADD
00000b55: SWAP1
00000b56: DUP2
00000b57: MSTORE
00000b58: PUSH1 0x20
00000b5a: ADD
00000b5b: PUSH1 0x00
00000b5d: KECCAK256
00000b5e: PUSH1 0x00
00000b60: DUP3
00000b61: DUP3
00000b62: SLOAD
00000b63: PUSH2 0x0b6c
00000b66: SWAP2
00000b67: SWAP1
00000b68: PUSH2 0x1f2b
00000b6b: JUMP
00000b6c: JUMPDEST
00000b6d: SWAP3
00000b6e: POP
00000b6f: POP
00000b70: DUP2
00000b71: SWAP1
00000b72: SSTORE
00000b73: POP
00000b74: PUSH1 0x00
00000b76: DUP1
00000b77: DUP6
00000b78: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b8d: AND
00000b8e: DUP8
00000b8f: DUP7
00000b90: PUSH1 0x40
00000b92: MLOAD
00000b93: PUSH1 0x24
00000b95: ADD
00000b96: PUSH2 0x0ba0
00000b99: SWAP3
00000b9a: SWAP2
00000b9b: SWAP1
00000b9c: PUSH2 0x1f6e
00000b9f: JUMP
00000ba0: JUMPDEST
00000ba1: PUSH1 0x40
00000ba3: MLOAD
00000ba4: PUSH1 0x20
00000ba6: DUP2
00000ba7: DUP4
00000ba8: SUB
00000ba9: SUB
00000baa: DUP2
00000bab: MSTORE
00000bac: SWAP1
00000bad: PUSH1 0x40
00000baf: MSTORE
00000bb0: PUSH32 0xa9059cbb00000000000000000000000000000000000000000000000000000000
00000bd1: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000bee: NOT
00000bef: AND
00000bf0: PUSH1 0x20
00000bf2: DUP3
00000bf3: ADD
00000bf4: DUP1
00000bf5: MLOAD
00000bf6: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000c13: DUP4
00000c14: DUP2
00000c15: DUP4
00000c16: AND
00000c17: OR
00000c18: DUP4
00000c19: MSTORE
00000c1a: POP
00000c1b: POP
00000c1c: POP
00000c1d: POP
00000c1e: PUSH1 0x40
00000c20: MLOAD
00000c21: PUSH2 0x0c2a
00000c24: SWAP2
00000c25: SWAP1
00000c26: PUSH2 0x1de1
00000c29: JUMP
00000c2a: JUMPDEST
00000c2b: PUSH1 0x00
00000c2d: PUSH1 0x40
00000c2f: MLOAD
00000c30: DUP1
00000c31: DUP4
00000c32: SUB
00000c33: DUP2
00000c34: PUSH1 0x00
00000c36: DUP7
00000c37: GAS
00000c38: CALL
00000c39: SWAP2
00000c3a: POP
00000c3b: POP
00000c3c: RETURNDATASIZE
00000c3d: DUP1
00000c3e: PUSH1 0x00
00000c40: DUP2
00000c41: EQ
00000c42: PUSH2 0x0c67
00000c45: JUMPI
00000c46: PUSH1 0x40
00000c48: MLOAD
00000c49: SWAP2
00000c4a: POP
00000c4b: PUSH1 0x1f
00000c4d: NOT
00000c4e: PUSH1 0x3f
00000c50: RETURNDATASIZE
00000c51: ADD
00000c52: AND
00000c53: DUP3
00000c54: ADD
00000c55: PUSH1 0x40
00000c57: MSTORE
00000c58: RETURNDATASIZE
00000c59: DUP3
00000c5a: MSTORE
00000c5b: RETURNDATASIZE
00000c5c: PUSH1 0x00
00000c5e: PUSH1 0x20
00000c60: DUP5
00000c61: ADD
00000c62: RETURNDATACOPY
00000c63: PUSH2 0x0c6c
00000c66: JUMP
00000c67: JUMPDEST
00000c68: PUSH1 0x60
00000c6a: SWAP2
00000c6b: POP
00000c6c: JUMPDEST
00000c6d: POP
00000c6e: SWAP2
00000c6f: POP
00000c70: SWAP2
00000c71: POP
00000c72: DUP2
00000c73: DUP1
00000c74: ISZERO
00000c75: PUSH2 0x0c9a
00000c78: JUMPI
00000c79: POP
00000c7a: PUSH1 0x00
00000c7c: DUP2
00000c7d: MLOAD
00000c7e: EQ
00000c7f: DUP1
00000c80: PUSH2 0x0c99
00000c83: JUMPI
00000c84: POP
00000c85: DUP1
00000c86: DUP1
00000c87: PUSH1 0x20
00000c89: ADD
00000c8a: SWAP1
00000c8b: MLOAD
00000c8c: DUP2
00000c8d: ADD
00000c8e: SWAP1
00000c8f: PUSH2 0x0c98
00000c92: SWAP2
00000c93: SWAP1
00000c94: PUSH2 0x1fcf
00000c97: JUMP
00000c98: JUMPDEST
00000c99: JUMPDEST
00000c9a: JUMPDEST
00000c9b: PUSH2 0x0ca3
00000c9e: JUMPI
00000c9f: PUSH1 0x00
00000ca1: DUP1
00000ca2: REVERT
00000ca3: JUMPDEST
00000ca4: DUP5
00000ca5: SWAP3
00000ca6: POP
00000ca7: POP
00000ca8: POP
00000ca9: JUMPDEST
00000caa: DUP5
00000cab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cc0: AND
00000cc1: CALLER
00000cc2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cd7: AND
00000cd8: PUSH32 0xa9cd03aa3c1b4515114539cd53d22085129d495cb9e9f9af77864526240f1bf7
00000cf9: DUP7
00000cfa: DUP5
00000cfb: DUP7
00000cfc: PUSH1 0x40
00000cfe: MLOAD
00000cff: PUSH2 0x0d0a
00000d02: SWAP4
00000d03: SWAP3
00000d04: SWAP2
00000d05: SWAP1
00000d06: PUSH2 0x1a5a
00000d09: JUMP
00000d0a: JUMPDEST
00000d0b: PUSH1 0x40
00000d0d: MLOAD
00000d0e: DUP1
00000d0f: SWAP2
00000d10: SUB
00000d11: SWAP1
00000d12: LOG3
00000d13: POP
00000d14: PUSH1 0x01
00000d16: DUP1
00000d17: DUP2
00000d18: SWAP1
00000d19: SSTORE
00000d1a: POP
00000d1b: POP
00000d1c: POP
00000d1d: POP
00000d1e: POP
00000d1f: JUMP
00000d20: JUMPDEST
00000d21: DUP1
00000d22: PUSH1 0x00
00000d24: DUP1
00000d25: CALLER
00000d26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d3b: AND
00000d3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d51: AND
00000d52: DUP2
00000d53: MSTORE
00000d54: PUSH1 0x20
00000d56: ADD
00000d57: SWAP1
00000d58: DUP2
00000d59: MSTORE
00000d5a: PUSH1 0x20
00000d5c: ADD
00000d5d: PUSH1 0x00
00000d5f: KECCAK256
00000d60: PUSH1 0x00
00000d62: DUP5
00000d63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d78: AND
00000d79: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d8e: AND
00000d8f: DUP2
00000d90: MSTORE
00000d91: PUSH1 0x20
00000d93: ADD
00000d94: SWAP1
00000d95: DUP2
00000d96: MSTORE
00000d97: PUSH1 0x20
00000d99: ADD
00000d9a: PUSH1 0x00
00000d9c: KECCAK256
00000d9d: PUSH1 0x00
00000d9f: DUP3
00000da0: DUP3
00000da1: SLOAD
00000da2: PUSH2 0x0dab
00000da5: SWAP2
00000da6: SWAP1
00000da7: PUSH2 0x1f2b
00000daa: JUMP
00000dab: JUMPDEST
00000dac: SWAP3
00000dad: POP
00000dae: POP
00000daf: DUP2
00000db0: SWAP1
00000db1: SSTORE
00000db2: POP
00000db3: DUP1
00000db4: PUSH1 0x00
00000db6: DUP1
00000db7: DUP6
00000db8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000dcd: AND
00000dce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000de3: AND
00000de4: DUP2
00000de5: MSTORE
00000de6: PUSH1 0x20
00000de8: ADD
00000de9: SWAP1
00000dea: DUP2
00000deb: MSTORE
00000dec: PUSH1 0x20
00000dee: ADD
00000def: PUSH1 0x00
00000df1: KECCAK256
00000df2: PUSH1 0x00
00000df4: DUP5
00000df5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e0a: AND
00000e0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e20: AND
00000e21: DUP2
00000e22: MSTORE
00000e23: PUSH1 0x20
00000e25: ADD
00000e26: SWAP1
00000e27: DUP2
00000e28: MSTORE
00000e29: PUSH1 0x20
00000e2b: ADD
00000e2c: PUSH1 0x00
00000e2e: KECCAK256
00000e2f: PUSH1 0x00
00000e31: DUP3
00000e32: DUP3
00000e33: SLOAD
00000e34: PUSH2 0x0e3d
00000e37: SWAP2
00000e38: SWAP1
00000e39: PUSH2 0x1b33
00000e3c: JUMP
00000e3d: JUMPDEST
00000e3e: SWAP3
00000e3f: POP
00000e40: POP
00000e41: DUP2
00000e42: SWAP1
00000e43: SSTORE
00000e44: POP
00000e45: POP
00000e46: POP
00000e47: POP
00000e48: JUMP
00000e49: JUMPDEST
00000e4a: DUP2
00000e4b: PUSH1 0x00
00000e4d: DUP1
00000e4e: CALLER
00000e4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e64: AND
00000e65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e7a: AND
00000e7b: DUP2
00000e7c: MSTORE
00000e7d: PUSH1 0x20
00000e7f: ADD
00000e80: SWAP1
00000e81: DUP2
00000e82: MSTORE
00000e83: PUSH1 0x20
00000e85: ADD
00000e86: PUSH1 0x00
00000e88: KECCAK256
00000e89: PUSH1 0x00
00000e8b: DUP6
00000e8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ea1: AND
00000ea2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eb7: AND
00000eb8: DUP2
00000eb9: MSTORE
00000eba: PUSH1 0x20
00000ebc: ADD
00000ebd: SWAP1
00000ebe: DUP2
00000ebf: MSTORE
00000ec0: PUSH1 0x20
00000ec2: ADD
00000ec3: PUSH1 0x00
00000ec5: KECCAK256
00000ec6: PUSH1 0x00
00000ec8: DUP3
00000ec9: DUP3
00000eca: SLOAD
00000ecb: PUSH2 0x0ed4
00000ece: SWAP2
00000ecf: SWAP1
00000ed0: PUSH2 0x1f2b
00000ed3: JUMP
00000ed4: JUMPDEST
00000ed5: SWAP3
00000ed6: POP
00000ed7: POP
00000ed8: DUP2
00000ed9: SWAP1
00000eda: SSTORE
00000edb: POP
00000edc: PUSH1 0x00
00000ede: DUP4
00000edf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ef4: AND
00000ef5: DUP7
00000ef6: DUP5
00000ef7: PUSH1 0x40
00000ef9: MLOAD
00000efa: PUSH1 0x24
00000efc: ADD
00000efd: PUSH2 0x0f07
00000f00: SWAP3
00000f01: SWAP2
00000f02: SWAP1
00000f03: PUSH2 0x1ffc
00000f06: JUMP
00000f07: JUMPDEST
00000f08: PUSH1 0x40
00000f0a: MLOAD
00000f0b: PUSH1 0x20
00000f0d: DUP2
00000f0e: DUP4
00000f0f: SUB
00000f10: SUB
00000f11: DUP2
00000f12: MSTORE
00000f13: SWAP1
00000f14: PUSH1 0x40
00000f16: MSTORE
00000f17: PUSH32 0x095ea7b300000000000000000000000000000000000000000000000000000000
00000f38: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000f55: NOT
00000f56: AND
00000f57: PUSH1 0x20
00000f59: DUP3
00000f5a: ADD
00000f5b: DUP1
00000f5c: MLOAD
00000f5d: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00000f7a: DUP4
00000f7b: DUP2
00000f7c: DUP4
00000f7d: AND
00000f7e: OR
00000f7f: DUP4
00000f80: MSTORE
00000f81: POP
00000f82: POP
00000f83: POP
00000f84: POP
00000f85: PUSH1 0x40
00000f87: MLOAD
00000f88: PUSH2 0x0f91
00000f8b: SWAP2
00000f8c: SWAP1
00000f8d: PUSH2 0x1de1
00000f90: JUMP
00000f91: JUMPDEST
00000f92: PUSH1 0x00
00000f94: PUSH1 0x40
00000f96: MLOAD
00000f97: DUP1
00000f98: DUP4
00000f99: SUB
00000f9a: DUP2
00000f9b: PUSH1 0x00
00000f9d: DUP7
00000f9e: GAS
00000f9f: CALL
00000fa0: SWAP2
00000fa1: POP
00000fa2: POP
00000fa3: RETURNDATASIZE
00000fa4: DUP1
00000fa5: PUSH1 0x00
00000fa7: DUP2
00000fa8: EQ
00000fa9: PUSH2 0x0fce
00000fac: JUMPI
00000fad: PUSH1 0x40
00000faf: MLOAD
00000fb0: SWAP2
00000fb1: POP
00000fb2: PUSH1 0x1f
00000fb4: NOT
00000fb5: PUSH1 0x3f
00000fb7: RETURNDATASIZE
00000fb8: ADD
00000fb9: AND
00000fba: DUP3
00000fbb: ADD
00000fbc: PUSH1 0x40
00000fbe: MSTORE
00000fbf: RETURNDATASIZE
00000fc0: DUP3
00000fc1: MSTORE
00000fc2: RETURNDATASIZE
00000fc3: PUSH1 0x00
00000fc5: PUSH1 0x20
00000fc7: DUP5
00000fc8: ADD
00000fc9: RETURNDATACOPY
00000fca: PUSH2 0x0fd3
00000fcd: JUMP
00000fce: JUMPDEST
00000fcf: PUSH1 0x60
00000fd1: SWAP2
00000fd2: POP
00000fd3: JUMPDEST
00000fd4: POP
00000fd5: POP
00000fd6: SWAP1
00000fd7: POP
00000fd8: DUP1
00000fd9: PUSH2 0x0fe1
00000fdc: JUMPI
00000fdd: PUSH1 0x00
00000fdf: DUP1
00000fe0: REVERT
00000fe1: JUMPDEST
00000fe2: DUP6
00000fe3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ff8: AND
00000ff9: PUSH4 0x44bc937b
00000ffe: DUP7
00000fff: DUP7
00001000: DUP7
00001001: DUP7
00001002: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001023: PUSH1 0x40
00001025: MLOAD
00001026: DUP7
00001027: PUSH4 0xffffffff
0000102c: AND
0000102d: PUSH1 0xe0
0000102f: SHL
00001030: DUP2
00001031: MSTORE
00001032: PUSH1 0x04
00001034: ADD
00001035: PUSH2 0x1042
00001038: SWAP6
00001039: SWAP5
0000103a: SWAP4
0000103b: SWAP3
0000103c: SWAP2
0000103d: SWAP1
0000103e: PUSH2 0x2025
00001041: JUMP
00001042: JUMPDEST
00001043: PUSH1 0x00
00001045: PUSH1 0x40
00001047: MLOAD
00001048: DUP1
00001049: DUP4
0000104a: SUB
0000104b: DUP2
0000104c: PUSH1 0x00
0000104e: DUP8
0000104f: DUP1
00001050: EXTCODESIZE
00001051: ISZERO
00001052: DUP1
00001053: ISZERO
00001054: PUSH2 0x105c
00001057: JUMPI
00001058: PUSH1 0x00
0000105a: DUP1
0000105b: REVERT
0000105c: JUMPDEST
0000105d: POP
0000105e: GAS
0000105f: CALL
00001060: ISZERO
00001061: DUP1
00001062: ISZERO
00001063: PUSH2 0x1070
00001066: JUMPI
00001067: RETURNDATASIZE
00001068: PUSH1 0x00
0000106a: DUP1
0000106b: RETURNDATACOPY
0000106c: RETURNDATASIZE
0000106d: PUSH1 0x00
0000106f: REVERT
00001070: JUMPDEST
00001071: POP
00001072: POP
00001073: POP
00001074: POP
00001075: POP
00001076: POP
00001077: POP
00001078: POP
00001079: POP
0000107a: POP
0000107b: JUMP
0000107c: JUMPDEST
0000107d: PUSH1 0x00
0000107f: DUP1
00001080: DUP4
00001081: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001096: AND
00001097: PUSH4 0x70a08231
0000109c: ADDRESS
0000109d: PUSH1 0x40
0000109f: MLOAD
000010a0: DUP3
000010a1: PUSH4 0xffffffff
000010a6: AND
000010a7: PUSH1 0xe0
000010a9: SHL
000010aa: DUP2
000010ab: MSTORE
000010ac: PUSH1 0x04
000010ae: ADD
000010af: PUSH2 0x10b8
000010b2: SWAP2
000010b3: SWAP1
000010b4: PUSH2 0x207f
000010b7: JUMP
000010b8: JUMPDEST
000010b9: PUSH1 0x20
000010bb: PUSH1 0x40
000010bd: MLOAD
000010be: DUP1
000010bf: DUP4
000010c0: SUB
000010c1: DUP2
000010c2: DUP7
000010c3: GAS
000010c4: STATICCALL
000010c5: ISZERO
000010c6: DUP1
000010c7: ISZERO
000010c8: PUSH2 0x10d5
000010cb: JUMPI
000010cc: RETURNDATASIZE
000010cd: PUSH1 0x00
000010cf: DUP1
000010d0: RETURNDATACOPY
000010d1: RETURNDATASIZE
000010d2: PUSH1 0x00
000010d4: REVERT
000010d5: JUMPDEST
000010d6: POP
000010d7: POP
000010d8: POP
000010d9: POP
000010da: PUSH1 0x40
000010dc: MLOAD
000010dd: RETURNDATASIZE
000010de: PUSH1 0x1f
000010e0: NOT
000010e1: PUSH1 0x1f
000010e3: DUP3
000010e4: ADD
000010e5: AND
000010e6: DUP3
000010e7: ADD
000010e8: DUP1
000010e9: PUSH1 0x40
000010eb: MSTORE
000010ec: POP
000010ed: DUP2
000010ee: ADD
000010ef: SWAP1
000010f0: PUSH2 0x10f9
000010f3: SWAP2
000010f4: SWAP1
000010f5: PUSH2 0x20af
000010f8: JUMP
000010f9: JUMPDEST
000010fa: SWAP1
000010fb: POP
000010fc: PUSH1 0x00
000010fe: DUP1
000010ff: DUP6
00001100: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001115: AND
00001116: CALLER
00001117: ADDRESS
00001118: DUP8
00001119: PUSH1 0x40
0000111b: MLOAD
0000111c: PUSH1 0x24
0000111e: ADD
0000111f: PUSH2 0x112a
00001122: SWAP4
00001123: SWAP3
00001124: SWAP2
00001125: SWAP1
00001126: PUSH2 0x1d63
00001129: JUMP
0000112a: JUMPDEST
0000112b: PUSH1 0x40
0000112d: MLOAD
0000112e: PUSH1 0x20
00001130: DUP2
00001131: DUP4
00001132: SUB
00001133: SUB
00001134: DUP2
00001135: MSTORE
00001136: SWAP1
00001137: PUSH1 0x40
00001139: MSTORE
0000113a: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
0000115b: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001178: NOT
00001179: AND
0000117a: PUSH1 0x20
0000117c: DUP3
0000117d: ADD
0000117e: DUP1
0000117f: MLOAD
00001180: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000119d: DUP4
0000119e: DUP2
0000119f: DUP4
000011a0: AND
000011a1: OR
000011a2: DUP4
000011a3: MSTORE
000011a4: POP
000011a5: POP
000011a6: POP
000011a7: POP
000011a8: PUSH1 0x40
000011aa: MLOAD
000011ab: PUSH2 0x11b4
000011ae: SWAP2
000011af: SWAP1
000011b0: PUSH2 0x1de1
000011b3: JUMP
000011b4: JUMPDEST
000011b5: PUSH1 0x00
000011b7: PUSH1 0x40
000011b9: MLOAD
000011ba: DUP1
000011bb: DUP4
000011bc: SUB
000011bd: DUP2
000011be: PUSH1 0x00
000011c0: DUP7
000011c1: GAS
000011c2: CALL
000011c3: SWAP2
000011c4: POP
000011c5: POP
000011c6: RETURNDATASIZE
000011c7: DUP1
000011c8: PUSH1 0x00
000011ca: DUP2
000011cb: EQ
000011cc: PUSH2 0x11f1
000011cf: JUMPI
000011d0: PUSH1 0x40
000011d2: MLOAD
000011d3: SWAP2
000011d4: POP
000011d5: PUSH1 0x1f
000011d7: NOT
000011d8: PUSH1 0x3f
000011da: RETURNDATASIZE
000011db: ADD
000011dc: AND
000011dd: DUP3
000011de: ADD
000011df: PUSH1 0x40
000011e1: MSTORE
000011e2: RETURNDATASIZE
000011e3: DUP3
000011e4: MSTORE
000011e5: RETURNDATASIZE
000011e6: PUSH1 0x00
000011e8: PUSH1 0x20
000011ea: DUP5
000011eb: ADD
000011ec: RETURNDATACOPY
000011ed: PUSH2 0x11f6
000011f0: JUMP
000011f1: JUMPDEST
000011f2: PUSH1 0x60
000011f4: SWAP2
000011f5: POP
000011f6: JUMPDEST
000011f7: POP
000011f8: SWAP2
000011f9: POP
000011fa: SWAP2
000011fb: POP
000011fc: DUP2
000011fd: DUP1
000011fe: ISZERO
000011ff: PUSH2 0x1224
00001202: JUMPI
00001203: POP
00001204: PUSH1 0x00
00001206: DUP2
00001207: MLOAD
00001208: EQ
00001209: DUP1
0000120a: PUSH2 0x1223
0000120d: JUMPI
0000120e: POP
0000120f: DUP1
00001210: DUP1
00001211: PUSH1 0x20
00001213: ADD
00001214: SWAP1
00001215: MLOAD
00001216: DUP2
00001217: ADD
00001218: SWAP1
00001219: PUSH2 0x1222
0000121c: SWAP2
0000121d: SWAP1
0000121e: PUSH2 0x1fcf
00001221: JUMP
00001222: JUMPDEST
00001223: JUMPDEST
00001224: JUMPDEST
00001225: PUSH2 0x122d
00001228: JUMPI
00001229: PUSH1 0x00
0000122b: DUP1
0000122c: REVERT
0000122d: JUMPDEST
0000122e: DUP3
0000122f: DUP7
00001230: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001245: AND
00001246: PUSH4 0x70a08231
0000124b: ADDRESS
0000124c: PUSH1 0x40
0000124e: MLOAD
0000124f: DUP3
00001250: PUSH4 0xffffffff
00001255: AND
00001256: PUSH1 0xe0
00001258: SHL
00001259: DUP2
0000125a: MSTORE
0000125b: PUSH1 0x04
0000125d: ADD
0000125e: PUSH2 0x1267
00001261: SWAP2
00001262: SWAP1
00001263: PUSH2 0x207f
00001266: JUMP
00001267: JUMPDEST
00001268: PUSH1 0x20
0000126a: PUSH1 0x40
0000126c: MLOAD
0000126d: DUP1
0000126e: DUP4
0000126f: SUB
00001270: DUP2
00001271: DUP7
00001272: GAS
00001273: STATICCALL
00001274: ISZERO
00001275: DUP1
00001276: ISZERO
00001277: PUSH2 0x1284
0000127a: JUMPI
0000127b: RETURNDATASIZE
0000127c: PUSH1 0x00
0000127e: DUP1
0000127f: RETURNDATACOPY
00001280: RETURNDATASIZE
00001281: PUSH1 0x00
00001283: REVERT
00001284: JUMPDEST
00001285: POP
00001286: POP
00001287: POP
00001288: POP
00001289: PUSH1 0x40
0000128b: MLOAD
0000128c: RETURNDATASIZE
0000128d: PUSH1 0x1f
0000128f: NOT
00001290: PUSH1 0x1f
00001292: DUP3
00001293: ADD
00001294: AND
00001295: DUP3
00001296: ADD
00001297: DUP1
00001298: PUSH1 0x40
0000129a: MSTORE
0000129b: POP
0000129c: DUP2
0000129d: ADD
0000129e: SWAP1
0000129f: PUSH2 0x12a8
000012a2: SWAP2
000012a3: SWAP1
000012a4: PUSH2 0x20af
000012a7: JUMP
000012a8: JUMPDEST
000012a9: PUSH2 0x12b2
000012ac: SWAP2
000012ad: SWAP1
000012ae: PUSH2 0x1f2b
000012b1: JUMP
000012b2: JUMPDEST
000012b3: SWAP4
000012b4: POP
000012b5: POP
000012b6: POP
000012b7: POP
000012b8: SWAP3
000012b9: SWAP2
000012ba: POP
000012bb: POP
000012bc: JUMP
000012bd: JUMPDEST
000012be: PUSH1 0x00
000012c0: PUSH1 0x40
000012c2: MLOAD
000012c3: SWAP1
000012c4: POP
000012c5: SWAP1
000012c6: JUMP
000012c7: JUMPDEST
000012c8: PUSH1 0x00
000012ca: DUP1
000012cb: REVERT
000012cc: JUMPDEST
000012cd: PUSH1 0x00
000012cf: DUP1
000012d0: REVERT
000012d1: JUMPDEST
000012d2: PUSH1 0x00
000012d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012e9: DUP3
000012ea: AND
000012eb: SWAP1
000012ec: POP
000012ed: SWAP2
000012ee: SWAP1
000012ef: POP
000012f0: JUMP
000012f1: JUMPDEST
000012f2: PUSH1 0x00
000012f4: PUSH2 0x12fc
000012f7: DUP3
000012f8: PUSH2 0x12d1
000012fb: JUMP
000012fc: JUMPDEST
000012fd: SWAP1
000012fe: POP
000012ff: SWAP2
00001300: SWAP1
00001301: POP
00001302: JUMP
00001303: JUMPDEST
00001304: PUSH2 0x130c
00001307: DUP2
00001308: PUSH2 0x12f1
0000130b: JUMP
0000130c: JUMPDEST
0000130d: DUP2
0000130e: EQ
0000130f: PUSH2 0x1317
00001312: JUMPI
00001313: PUSH1 0x00
00001315: DUP1
00001316: REVERT
00001317: JUMPDEST
00001318: POP
00001319: JUMP
0000131a: JUMPDEST
0000131b: PUSH1 0x00
0000131d: DUP2
0000131e: CALLDATALOAD
0000131f: SWAP1
00001320: POP
00001321: PUSH2 0x1329
00001324: DUP2
00001325: PUSH2 0x1303
00001328: JUMP
00001329: JUMPDEST
0000132a: SWAP3
0000132b: SWAP2
0000132c: POP
0000132d: POP
0000132e: JUMP
0000132f: JUMPDEST
00001330: PUSH1 0x00
00001332: DUP1
00001333: PUSH1 0x40
00001335: DUP4
00001336: DUP6
00001337: SUB
00001338: SLT
00001339: ISZERO
0000133a: PUSH2 0x1346
0000133d: JUMPI
0000133e: PUSH2 0x1345
00001341: PUSH2 0x12c7
00001344: JUMP
00001345: JUMPDEST
00001346: JUMPDEST
00001347: PUSH1 0x00
00001349: PUSH2 0x1354
0000134c: DUP6
0000134d: DUP3
0000134e: DUP7
0000134f: ADD
00001350: PUSH2 0x131a
00001353: JUMP
00001354: JUMPDEST
00001355: SWAP3
00001356: POP
00001357: POP
00001358: PUSH1 0x20
0000135a: PUSH2 0x1365
0000135d: DUP6
0000135e: DUP3
0000135f: DUP7
00001360: ADD
00001361: PUSH2 0x131a
00001364: JUMP
00001365: JUMPDEST
00001366: SWAP2
00001367: POP
00001368: POP
00001369: SWAP3
0000136a: POP
0000136b: SWAP3
0000136c: SWAP1
0000136d: POP
0000136e: JUMP
0000136f: JUMPDEST
00001370: PUSH1 0x00
00001372: DUP2
00001373: SWAP1
00001374: POP
00001375: SWAP2
00001376: SWAP1
00001377: POP
00001378: JUMP
00001379: JUMPDEST
0000137a: PUSH2 0x1382
0000137d: DUP2
0000137e: PUSH2 0x136f
00001381: JUMP
00001382: JUMPDEST
00001383: DUP3
00001384: MSTORE
00001385: POP
00001386: POP
00001387: JUMP
00001388: JUMPDEST
00001389: PUSH1 0x00
0000138b: PUSH1 0x20
0000138d: DUP3
0000138e: ADD
0000138f: SWAP1
00001390: POP
00001391: PUSH2 0x139d
00001394: PUSH1 0x00
00001396: DUP4
00001397: ADD
00001398: DUP5
00001399: PUSH2 0x1379
0000139c: JUMP
0000139d: JUMPDEST
0000139e: SWAP3
0000139f: SWAP2
000013a0: POP
000013a1: POP
000013a2: JUMP
000013a3: JUMPDEST
000013a4: PUSH2 0x13ac
000013a7: DUP2
000013a8: PUSH2 0x136f
000013ab: JUMP
000013ac: JUMPDEST
000013ad: DUP2
000013ae: EQ
000013af: PUSH2 0x13b7
000013b2: JUMPI
000013b3: PUSH1 0x00
000013b5: DUP1
000013b6: REVERT
000013b7: JUMPDEST
000013b8: POP
000013b9: JUMP
000013ba: JUMPDEST
000013bb: PUSH1 0x00
000013bd: DUP2
000013be: CALLDATALOAD
000013bf: SWAP1
000013c0: POP
000013c1: PUSH2 0x13c9
000013c4: DUP2
000013c5: PUSH2 0x13a3
000013c8: JUMP
000013c9: JUMPDEST
000013ca: SWAP3
000013cb: SWAP2
000013cc: POP
000013cd: POP
000013ce: JUMP
000013cf: JUMPDEST
000013d0: PUSH1 0x00
000013d2: DUP1
000013d3: REVERT
000013d4: JUMPDEST
000013d5: PUSH1 0x00
000013d7: DUP1
000013d8: REVERT
000013d9: JUMPDEST
000013da: PUSH1 0x00
000013dc: PUSH1 0x1f
000013de: NOT
000013df: PUSH1 0x1f
000013e1: DUP4
000013e2: ADD
000013e3: AND
000013e4: SWAP1
000013e5: POP
000013e6: SWAP2
000013e7: SWAP1
000013e8: POP
000013e9: JUMP
000013ea: JUMPDEST
000013eb: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000140c: PUSH1 0x00
0000140e: MSTORE
0000140f: PUSH1 0x41
00001411: PUSH1 0x04
00001413: MSTORE
00001414: PUSH1 0x24
00001416: PUSH1 0x00
00001418: REVERT
00001419: JUMPDEST
0000141a: PUSH2 0x1422
0000141d: DUP3
0000141e: PUSH2 0x13d9
00001421: JUMP
00001422: JUMPDEST
00001423: DUP2
00001424: ADD
00001425: DUP2
00001426: DUP2
00001427: LT
00001428: PUSH8 0xffffffffffffffff
00001431: DUP3
00001432: GT
00001433: OR
00001434: ISZERO
00001435: PUSH2 0x1441
00001438: JUMPI
00001439: PUSH2 0x1440
0000143c: PUSH2 0x13ea
0000143f: JUMP
00001440: JUMPDEST
00001441: JUMPDEST
00001442: DUP1
00001443: PUSH1 0x40
00001445: MSTORE
00001446: POP
00001447: POP
00001448: POP
00001449: JUMP
0000144a: JUMPDEST
0000144b: PUSH1 0x00
0000144d: PUSH2 0x1454
00001450: PUSH2 0x12bd
00001453: JUMP
00001454: JUMPDEST
00001455: SWAP1
00001456: POP
00001457: PUSH2 0x1460
0000145a: DUP3
0000145b: DUP3
0000145c: PUSH2 0x1419
0000145f: JUMP
00001460: JUMPDEST
00001461: SWAP2
00001462: SWAP1
00001463: POP
00001464: JUMP
00001465: JUMPDEST
00001466: PUSH1 0x00
00001468: PUSH8 0xffffffffffffffff
00001471: DUP3
00001472: GT
00001473: ISZERO
00001474: PUSH2 0x1480
00001477: JUMPI
00001478: PUSH2 0x147f
0000147b: PUSH2 0x13ea
0000147e: JUMP
0000147f: JUMPDEST
00001480: JUMPDEST
00001481: PUSH2 0x1489
00001484: DUP3
00001485: PUSH2 0x13d9
00001488: JUMP
00001489: JUMPDEST
0000148a: SWAP1
0000148b: POP
0000148c: PUSH1 0x20
0000148e: DUP2
0000148f: ADD
00001490: SWAP1
00001491: POP
00001492: SWAP2
00001493: SWAP1
00001494: POP
00001495: JUMP
00001496: JUMPDEST
00001497: DUP3
00001498: DUP2
00001499: DUP4
0000149a: CALLDATACOPY
0000149b: PUSH1 0x00
0000149d: DUP4
0000149e: DUP4
0000149f: ADD
000014a0: MSTORE
000014a1: POP
000014a2: POP
000014a3: POP
000014a4: JUMP
000014a5: JUMPDEST
000014a6: PUSH1 0x00
000014a8: PUSH2 0x14b8
000014ab: PUSH2 0x14b3
000014ae: DUP5
000014af: PUSH2 0x1465
000014b2: JUMP
000014b3: JUMPDEST
000014b4: PUSH2 0x144a
000014b7: JUMP
000014b8: JUMPDEST
000014b9: SWAP1
000014ba: POP
000014bb: DUP3
000014bc: DUP2
000014bd: MSTORE
000014be: PUSH1 0x20
000014c0: DUP2
000014c1: ADD
000014c2: DUP5
000014c3: DUP5
000014c4: DUP5
000014c5: ADD
000014c6: GT
000014c7: ISZERO
000014c8: PUSH2 0x14d4
000014cb: JUMPI
000014cc: PUSH2 0x14d3
000014cf: PUSH2 0x13d4
000014d2: JUMP
000014d3: JUMPDEST
000014d4: JUMPDEST
000014d5: PUSH2 0x14df
000014d8: DUP5
000014d9: DUP3
000014da: DUP6
000014db: PUSH2 0x1496
000014de: JUMP
000014df: JUMPDEST
000014e0: POP
000014e1: SWAP4
000014e2: SWAP3
000014e3: POP
000014e4: POP
000014e5: POP
000014e6: JUMP
000014e7: JUMPDEST
000014e8: PUSH1 0x00
000014ea: DUP3
000014eb: PUSH1 0x1f
000014ed: DUP4
000014ee: ADD
000014ef: SLT
000014f0: PUSH2 0x14fc
000014f3: JUMPI
000014f4: PUSH2 0x14fb
000014f7: PUSH2 0x13cf
000014fa: JUMP
000014fb: JUMPDEST
000014fc: JUMPDEST
000014fd: DUP2
000014fe: CALLDATALOAD
000014ff: PUSH2 0x150c
00001502: DUP5
00001503: DUP3
00001504: PUSH1 0x20
00001506: DUP7
00001507: ADD
00001508: PUSH2 0x14a5
0000150b: JUMP
0000150c: JUMPDEST
0000150d: SWAP2
0000150e: POP
0000150f: POP
00001510: SWAP3
00001511: SWAP2
00001512: POP
00001513: POP
00001514: JUMP
00001515: JUMPDEST
00001516: PUSH1 0x00
00001518: DUP1
00001519: PUSH1 0x00
0000151b: DUP1
0000151c: PUSH1 0x00
0000151e: PUSH1 0xa0
00001520: DUP7
00001521: DUP9
00001522: SUB
00001523: SLT
00001524: ISZERO
00001525: PUSH2 0x1531
00001528: JUMPI
00001529: PUSH2 0x1530
0000152c: PUSH2 0x12c7
0000152f: JUMP
00001530: JUMPDEST
00001531: JUMPDEST
00001532: PUSH1 0x00
00001534: PUSH2 0x153f
00001537: DUP9
00001538: DUP3
00001539: DUP10
0000153a: ADD
0000153b: PUSH2 0x131a
0000153e: JUMP
0000153f: JUMPDEST
00001540: SWAP6
00001541: POP
00001542: POP
00001543: PUSH1 0x20
00001545: PUSH2 0x1550
00001548: DUP9
00001549: DUP3
0000154a: DUP10
0000154b: ADD
0000154c: PUSH2 0x131a
0000154f: JUMP
00001550: JUMPDEST
00001551: SWAP5
00001552: POP
00001553: POP
00001554: PUSH1 0x40
00001556: PUSH2 0x1561
00001559: DUP9
0000155a: DUP3
0000155b: DUP10
0000155c: ADD
0000155d: PUSH2 0x131a
00001560: JUMP
00001561: JUMPDEST
00001562: SWAP4
00001563: POP
00001564: POP
00001565: PUSH1 0x60
00001567: PUSH2 0x1572
0000156a: DUP9
0000156b: DUP3
0000156c: DUP10
0000156d: ADD
0000156e: PUSH2 0x13ba
00001571: JUMP
00001572: JUMPDEST
00001573: SWAP3
00001574: POP
00001575: POP
00001576: PUSH1 0x80
00001578: DUP7
00001579: ADD
0000157a: CALLDATALOAD
0000157b: PUSH8 0xffffffffffffffff
00001584: DUP2
00001585: GT
00001586: ISZERO
00001587: PUSH2 0x1593
0000158a: JUMPI
0000158b: PUSH2 0x1592
0000158e: PUSH2 0x12cc
00001591: JUMP
00001592: JUMPDEST
00001593: JUMPDEST
00001594: PUSH2 0x159f
00001597: DUP9
00001598: DUP3
00001599: DUP10
0000159a: ADD
0000159b: PUSH2 0x14e7
0000159e: JUMP
0000159f: JUMPDEST
000015a0: SWAP2
000015a1: POP
000015a2: POP
000015a3: SWAP3
000015a4: SWAP6
000015a5: POP
000015a6: SWAP3
000015a7: SWAP6
000015a8: SWAP1
000015a9: SWAP4
000015aa: POP
000015ab: JUMP
000015ac: JUMPDEST
000015ad: PUSH1 0x00
000015af: PUSH2 0x15b7
000015b2: DUP3
000015b3: PUSH2 0x12d1
000015b6: JUMP
000015b7: JUMPDEST
000015b8: SWAP1
000015b9: POP
000015ba: SWAP2
000015bb: SWAP1
000015bc: POP
000015bd: JUMP
000015be: JUMPDEST
000015bf: PUSH2 0x15c7
000015c2: DUP2
000015c3: PUSH2 0x15ac
000015c6: JUMP
000015c7: JUMPDEST
000015c8: DUP2
000015c9: EQ
000015ca: PUSH2 0x15d2
000015cd: JUMPI
000015ce: PUSH1 0x00
000015d0: DUP1
000015d1: REVERT
000015d2: JUMPDEST
000015d3: POP
000015d4: JUMP
000015d5: JUMPDEST
000015d6: PUSH1 0x00
000015d8: DUP2
000015d9: CALLDATALOAD
000015da: SWAP1
000015db: POP
000015dc: PUSH2 0x15e4
000015df: DUP2
000015e0: PUSH2 0x15be
000015e3: JUMP
000015e4: JUMPDEST
000015e5: SWAP3
000015e6: SWAP2
000015e7: POP
000015e8: POP
000015e9: JUMP
000015ea: JUMPDEST
000015eb: PUSH1 0x00
000015ed: DUP1
000015ee: PUSH1 0x00
000015f0: DUP1
000015f1: PUSH1 0x80
000015f3: DUP6
000015f4: DUP8
000015f5: SUB
000015f6: SLT
000015f7: ISZERO
000015f8: PUSH2 0x1604
000015fb: JUMPI
000015fc: PUSH2 0x1603
000015ff: PUSH2 0x12c7
00001602: JUMP
00001603: JUMPDEST
00001604: JUMPDEST
00001605: PUSH1 0x00
00001607: PUSH2 0x1612
0000160a: DUP8
0000160b: DUP3
0000160c: DUP9
0000160d: ADD
0000160e: PUSH2 0x15d5
00001611: JUMP
00001612: JUMPDEST
00001613: SWAP5
00001614: POP
00001615: POP
00001616: PUSH1 0x20
00001618: PUSH2 0x1623
0000161b: DUP8
0000161c: DUP3
0000161d: DUP9
0000161e: ADD
0000161f: PUSH2 0x131a
00001622: JUMP
00001623: JUMPDEST
00001624: SWAP4
00001625: POP
00001626: POP
00001627: PUSH1 0x40
00001629: PUSH2 0x1634
0000162c: DUP8
0000162d: DUP3
0000162e: DUP9
0000162f: ADD
00001630: PUSH2 0x13ba
00001633: JUMP
00001634: JUMPDEST
00001635: SWAP3
00001636: POP
00001637: POP
00001638: PUSH1 0x60
0000163a: DUP6
0000163b: ADD
0000163c: CALLDATALOAD
0000163d: PUSH8 0xffffffffffffffff
00001646: DUP2
00001647: GT
00001648: ISZERO
00001649: PUSH2 0x1655
0000164c: JUMPI
0000164d: PUSH2 0x1654
00001650: PUSH2 0x12cc
00001653: JUMP
00001654: JUMPDEST
00001655: JUMPDEST
00001656: PUSH2 0x1661
00001659: DUP8
0000165a: DUP3
0000165b: DUP9
0000165c: ADD
0000165d: PUSH2 0x14e7
00001660: JUMP
00001661: JUMPDEST
00001662: SWAP2
00001663: POP
00001664: POP
00001665: SWAP3
00001666: SWAP6
00001667: SWAP2
00001668: SWAP5
00001669: POP
0000166a: SWAP3
0000166b: POP
0000166c: JUMP
0000166d: JUMPDEST
0000166e: PUSH1 0x00
00001670: PUSH8 0xffffffffffffffff
00001679: DUP3
0000167a: GT
0000167b: ISZERO
0000167c: PUSH2 0x1688
0000167f: JUMPI
00001680: PUSH2 0x1687
00001683: PUSH2 0x13ea
00001686: JUMP
00001687: JUMPDEST
00001688: JUMPDEST
00001689: PUSH1 0x20
0000168b: DUP3
0000168c: MUL
0000168d: SWAP1
0000168e: POP
0000168f: PUSH1 0x20
00001691: DUP2
00001692: ADD
00001693: SWAP1
00001694: POP
00001695: SWAP2
00001696: SWAP1
00001697: POP
00001698: JUMP
00001699: JUMPDEST
0000169a: PUSH1 0x00
0000169c: DUP1
0000169d: REVERT
0000169e: JUMPDEST
0000169f: PUSH1 0x00
000016a1: DUP1
000016a2: REVERT
000016a3: JUMPDEST
000016a4: PUSH1 0x00
000016a6: PUSH1 0x40
000016a8: DUP3
000016a9: DUP5
000016aa: SUB
000016ab: SLT
000016ac: ISZERO
000016ad: PUSH2 0x16b9
000016b0: JUMPI
000016b1: PUSH2 0x16b8
000016b4: PUSH2 0x169e
000016b7: JUMP
000016b8: JUMPDEST
000016b9: JUMPDEST
000016ba: PUSH2 0x16c3
000016bd: PUSH1 0x40
000016bf: PUSH2 0x144a
000016c2: JUMP
000016c3: JUMPDEST
000016c4: SWAP1
000016c5: POP
000016c6: PUSH1 0x00
000016c8: PUSH2 0x16d3
000016cb: DUP5
000016cc: DUP3
000016cd: DUP6
000016ce: ADD
000016cf: PUSH2 0x131a
000016d2: JUMP
000016d3: JUMPDEST
000016d4: PUSH1 0x00
000016d6: DUP4
000016d7: ADD
000016d8: MSTORE
000016d9: POP
000016da: PUSH1 0x20
000016dc: PUSH2 0x16e7
000016df: DUP5
000016e0: DUP3
000016e1: DUP6
000016e2: ADD
000016e3: PUSH2 0x13ba
000016e6: JUMP
000016e7: JUMPDEST
000016e8: PUSH1 0x20
000016ea: DUP4
000016eb: ADD
000016ec: MSTORE
000016ed: POP
000016ee: SWAP3
000016ef: SWAP2
000016f0: POP
000016f1: POP
000016f2: JUMP
000016f3: JUMPDEST
000016f4: PUSH1 0x00
000016f6: PUSH2 0x1706
000016f9: PUSH2 0x1701
000016fc: DUP5
000016fd: PUSH2 0x166d
00001700: JUMP
00001701: JUMPDEST
00001702: PUSH2 0x144a
00001705: JUMP
00001706: JUMPDEST
00001707: SWAP1
00001708: POP
00001709: DUP1
0000170a: DUP4
0000170b: DUP3
0000170c: MSTORE
0000170d: PUSH1 0x20
0000170f: DUP3
00001710: ADD
00001711: SWAP1
00001712: POP
00001713: PUSH1 0x40
00001715: DUP5
00001716: MUL
00001717: DUP4
00001718: ADD
00001719: DUP6
0000171a: DUP2
0000171b: GT
0000171c: ISZERO
0000171d: PUSH2 0x1729
00001720: JUMPI
00001721: PUSH2 0x1728
00001724: PUSH2 0x1699
00001727: JUMP
00001728: JUMPDEST
00001729: JUMPDEST
0000172a: DUP4
0000172b: JUMPDEST
0000172c: DUP2
0000172d: DUP2
0000172e: LT
0000172f: ISZERO
00001730: PUSH2 0x1752
00001733: JUMPI
00001734: DUP1
00001735: PUSH2 0x173e
00001738: DUP9
00001739: DUP3
0000173a: PUSH2 0x16a3
0000173d: JUMP
0000173e: JUMPDEST
0000173f: DUP5
00001740: MSTORE
00001741: PUSH1 0x20
00001743: DUP5
00001744: ADD
00001745: SWAP4
00001746: POP
00001747: POP
00001748: PUSH1 0x40
0000174a: DUP2
0000174b: ADD
0000174c: SWAP1
0000174d: POP
0000174e: PUSH2 0x172b
00001751: JUMP
00001752: JUMPDEST
00001753: POP
00001754: POP
00001755: POP
00001756: SWAP4
00001757: SWAP3
00001758: POP
00001759: POP
0000175a: POP
0000175b: JUMP
0000175c: JUMPDEST
0000175d: PUSH1 0x00
0000175f: DUP3
00001760: PUSH1 0x1f
00001762: DUP4
00001763: ADD
00001764: SLT
00001765: PUSH2 0x1771
00001768: JUMPI
00001769: PUSH2 0x1770
0000176c: PUSH2 0x13cf
0000176f: JUMP
00001770: JUMPDEST
00001771: JUMPDEST
00001772: DUP2
00001773: CALLDATALOAD
00001774: PUSH2 0x1781
00001777: DUP5
00001778: DUP3
00001779: PUSH1 0x20
0000177b: DUP7
0000177c: ADD
0000177d: PUSH2 0x16f3
00001780: JUMP
00001781: JUMPDEST
00001782: SWAP2
00001783: POP
00001784: POP
00001785: SWAP3
00001786: SWAP2
00001787: POP
00001788: POP
00001789: JUMP
0000178a: JUMPDEST
0000178b: PUSH1 0x00
0000178d: DUP1
0000178e: PUSH1 0x00
00001790: DUP1
00001791: PUSH1 0x80
00001793: DUP6
00001794: DUP8
00001795: SUB
00001796: SLT
00001797: ISZERO
00001798: PUSH2 0x17a4
0000179b: JUMPI
0000179c: PUSH2 0x17a3
0000179f: PUSH2 0x12c7
000017a2: JUMP
000017a3: JUMPDEST
000017a4: JUMPDEST
000017a5: PUSH1 0x00
000017a7: PUSH2 0x17b2
000017aa: DUP8
000017ab: DUP3
000017ac: DUP9
000017ad: ADD
000017ae: PUSH2 0x131a
000017b1: JUMP
000017b2: JUMPDEST
000017b3: SWAP5
000017b4: POP
000017b5: POP
000017b6: PUSH1 0x20
000017b8: PUSH2 0x17c3
000017bb: DUP8
000017bc: DUP3
000017bd: DUP9
000017be: ADD
000017bf: PUSH2 0x15d5
000017c2: JUMP
000017c3: JUMPDEST
000017c4: SWAP4
000017c5: POP
000017c6: POP
000017c7: PUSH1 0x40
000017c9: DUP6
000017ca: ADD
000017cb: CALLDATALOAD
000017cc: PUSH8 0xffffffffffffffff
000017d5: DUP2
000017d6: GT
000017d7: ISZERO
000017d8: PUSH2 0x17e4
000017db: JUMPI
000017dc: PUSH2 0x17e3
000017df: PUSH2 0x12cc
000017e2: JUMP
000017e3: JUMPDEST
000017e4: JUMPDEST
000017e5: PUSH2 0x17f0
000017e8: DUP8
000017e9: DUP3
000017ea: DUP9
000017eb: ADD
000017ec: PUSH2 0x175c
000017ef: JUMP
000017f0: JUMPDEST
000017f1: SWAP3
000017f2: POP
000017f3: POP
000017f4: PUSH1 0x60
000017f6: DUP6
000017f7: ADD
000017f8: CALLDATALOAD
000017f9: PUSH8 0xffffffffffffffff
00001802: DUP2
00001803: GT
00001804: ISZERO
00001805: PUSH2 0x1811
00001808: JUMPI
00001809: PUSH2 0x1810
0000180c: PUSH2 0x12cc
0000180f: JUMP
00001810: JUMPDEST
00001811: JUMPDEST
00001812: PUSH2 0x181d
00001815: DUP8
00001816: DUP3
00001817: DUP9
00001818: ADD
00001819: PUSH2 0x14e7
0000181c: JUMP
0000181d: JUMPDEST
0000181e: SWAP2
0000181f: POP
00001820: POP
00001821: SWAP3
00001822: SWAP6
00001823: SWAP2
00001824: SWAP5
00001825: POP
00001826: SWAP3
00001827: POP
00001828: JUMP
00001829: JUMPDEST
0000182a: PUSH1 0x00
0000182c: DUP1
0000182d: PUSH1 0x00
0000182f: DUP1
00001830: PUSH1 0x00
00001832: PUSH1 0xa0
00001834: DUP7
00001835: DUP9
00001836: SUB
00001837: SLT
00001838: ISZERO
00001839: PUSH2 0x1845
0000183c: JUMPI
0000183d: PUSH2 0x1844
00001840: PUSH2 0x12c7
00001843: JUMP
00001844: JUMPDEST
00001845: JUMPDEST
00001846: PUSH1 0x00
00001848: PUSH2 0x1853
0000184b: DUP9
0000184c: DUP3
0000184d: DUP10
0000184e: ADD
0000184f: PUSH2 0x15d5
00001852: JUMP
00001853: JUMPDEST
00001854: SWAP6
00001855: POP
00001856: POP
00001857: PUSH1 0x20
00001859: PUSH2 0x1864
0000185c: DUP9
0000185d: DUP3
0000185e: DUP10
0000185f: ADD
00001860: PUSH2 0x131a
00001863: JUMP
00001864: JUMPDEST
00001865: SWAP5
00001866: POP
00001867: POP
00001868: PUSH1 0x40
0000186a: PUSH2 0x1875
0000186d: DUP9
0000186e: DUP3
0000186f: DUP10
00001870: ADD
00001871: PUSH2 0x131a
00001874: JUMP
00001875: JUMPDEST
00001876: SWAP4
00001877: POP
00001878: POP
00001879: PUSH1 0x60
0000187b: PUSH2 0x1886
0000187e: DUP9
0000187f: DUP3
00001880: DUP10
00001881: ADD
00001882: PUSH2 0x13ba
00001885: JUMP
00001886: JUMPDEST
00001887: SWAP3
00001888: POP
00001889: POP
0000188a: PUSH1 0x80
0000188c: DUP7
0000188d: ADD
0000188e: CALLDATALOAD
0000188f: PUSH8 0xffffffffffffffff
00001898: DUP2
00001899: GT
0000189a: ISZERO
0000189b: PUSH2 0x18a7
0000189e: JUMPI
0000189f: PUSH2 0x18a6
000018a2: PUSH2 0x12cc
000018a5: JUMP
000018a6: JUMPDEST
000018a7: JUMPDEST
000018a8: PUSH2 0x18b3
000018ab: DUP9
000018ac: DUP3
000018ad: DUP10
000018ae: ADD
000018af: PUSH2 0x14e7
000018b2: JUMP
000018b3: JUMPDEST
000018b4: SWAP2
000018b5: POP
000018b6: POP
000018b7: SWAP3
000018b8: SWAP6
000018b9: POP
000018ba: SWAP3
000018bb: SWAP6
000018bc: SWAP1
000018bd: SWAP4
000018be: POP
000018bf: JUMP
000018c0: JUMPDEST
000018c1: PUSH1 0x00
000018c3: DUP1
000018c4: PUSH1 0x00
000018c6: DUP1
000018c7: PUSH1 0x00
000018c9: PUSH1 0xa0
000018cb: DUP7
000018cc: DUP9
000018cd: SUB
000018ce: SLT
000018cf: ISZERO
000018d0: PUSH2 0x18dc
000018d3: JUMPI
000018d4: PUSH2 0x18db
000018d7: PUSH2 0x12c7
000018da: JUMP
000018db: JUMPDEST
000018dc: JUMPDEST
000018dd: PUSH1 0x00
000018df: PUSH2 0x18ea
000018e2: DUP9
000018e3: DUP3
000018e4: DUP10
000018e5: ADD
000018e6: PUSH2 0x15d5
000018e9: JUMP
000018ea: JUMPDEST
000018eb: SWAP6
000018ec: POP
000018ed: POP
000018ee: PUSH1 0x20
000018f0: PUSH2 0x18fb
000018f3: DUP9
000018f4: DUP3
000018f5: DUP10
000018f6: ADD
000018f7: PUSH2 0x131a
000018fa: JUMP
000018fb: JUMPDEST
000018fc: SWAP5
000018fd: POP
000018fe: POP
000018ff: PUSH1 0x40
00001901: PUSH2 0x190c
00001904: DUP9
00001905: DUP3
00001906: DUP10
00001907: ADD
00001908: PUSH2 0x13ba
0000190b: JUMP
0000190c: JUMPDEST
0000190d: SWAP4
0000190e: POP
0000190f: POP
00001910: PUSH1 0x60
00001912: DUP7
00001913: ADD
00001914: CALLDATALOAD
00001915: PUSH8 0xffffffffffffffff
0000191e: DUP2
0000191f: GT
00001920: ISZERO
00001921: PUSH2 0x192d
00001924: JUMPI
00001925: PUSH2 0x192c
00001928: PUSH2 0x12cc
0000192b: JUMP
0000192c: JUMPDEST
0000192d: JUMPDEST
0000192e: PUSH2 0x1939
00001931: DUP9
00001932: DUP3
00001933: DUP10
00001934: ADD
00001935: PUSH2 0x14e7
00001938: JUMP
00001939: JUMPDEST
0000193a: SWAP3
0000193b: POP
0000193c: POP
0000193d: PUSH1 0x80
0000193f: PUSH2 0x194a
00001942: DUP9
00001943: DUP3
00001944: DUP10
00001945: ADD
00001946: PUSH2 0x13ba
00001949: JUMP
0000194a: JUMPDEST
0000194b: SWAP2
0000194c: POP
0000194d: POP
0000194e: SWAP3
0000194f: SWAP6
00001950: POP
00001951: SWAP3
00001952: SWAP6
00001953: SWAP1
00001954: SWAP4
00001955: POP
00001956: JUMP
00001957: JUMPDEST
00001958: PUSH1 0x00
0000195a: DUP3
0000195b: DUP3
0000195c: MSTORE
0000195d: PUSH1 0x20
0000195f: DUP3
00001960: ADD
00001961: SWAP1
00001962: POP
00001963: SWAP3
00001964: SWAP2
00001965: POP
00001966: POP
00001967: JUMP
00001968: JUMPDEST
00001969: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
0000198a: PUSH1 0x00
0000198c: DUP3
0000198d: ADD
0000198e: MSTORE
0000198f: POP
00001990: JUMP
00001991: JUMPDEST
00001992: PUSH1 0x00
00001994: PUSH2 0x199e
00001997: PUSH1 0x1f
00001999: DUP4
0000199a: PUSH2 0x1957
0000199d: JUMP
0000199e: JUMPDEST
0000199f: SWAP2
000019a0: POP
000019a1: PUSH2 0x19a9
000019a4: DUP3
000019a5: PUSH2 0x1968
000019a8: JUMP
000019a9: JUMPDEST
000019aa: PUSH1 0x20
000019ac: DUP3
000019ad: ADD
000019ae: SWAP1
000019af: POP
000019b0: SWAP2
000019b1: SWAP1
000019b2: POP
000019b3: JUMP
000019b4: JUMPDEST
000019b5: PUSH1 0x00
000019b7: PUSH1 0x20
000019b9: DUP3
000019ba: ADD
000019bb: SWAP1
000019bc: POP
000019bd: DUP2
000019be: DUP2
000019bf: SUB
000019c0: PUSH1 0x00
000019c2: DUP4
000019c3: ADD
000019c4: MSTORE
000019c5: PUSH2 0x19cd
000019c8: DUP2
000019c9: PUSH2 0x1991
000019cc: JUMP
000019cd: JUMPDEST
000019ce: SWAP1
000019cf: POP
000019d0: SWAP2
000019d1: SWAP1
000019d2: POP
000019d3: JUMP
000019d4: JUMPDEST
000019d5: PUSH2 0x19dd
000019d8: DUP2
000019d9: PUSH2 0x12f1
000019dc: JUMP
000019dd: JUMPDEST
000019de: DUP3
000019df: MSTORE
000019e0: POP
000019e1: POP
000019e2: JUMP
000019e3: JUMPDEST
000019e4: PUSH1 0x00
000019e6: DUP2
000019e7: MLOAD
000019e8: SWAP1
000019e9: POP
000019ea: SWAP2
000019eb: SWAP1
000019ec: POP
000019ed: JUMP
000019ee: JUMPDEST
000019ef: PUSH1 0x00
000019f1: JUMPDEST
000019f2: DUP4
000019f3: DUP2
000019f4: LT
000019f5: ISZERO
000019f6: PUSH2 0x1a0c
000019f9: JUMPI
000019fa: DUP1
000019fb: DUP3
000019fc: ADD
000019fd: MLOAD
000019fe: DUP2
000019ff: DUP5
00001a00: ADD
00001a01: MSTORE
00001a02: PUSH1 0x20
00001a04: DUP2
00001a05: ADD
00001a06: SWAP1
00001a07: POP
00001a08: PUSH2 0x19f1
00001a0b: JUMP
00001a0c: JUMPDEST
00001a0d: DUP4
00001a0e: DUP2
00001a0f: GT
00001a10: ISZERO
00001a11: PUSH2 0x1a1b
00001a14: JUMPI
00001a15: PUSH1 0x00
00001a17: DUP5
00001a18: DUP5
00001a19: ADD
00001a1a: MSTORE
00001a1b: JUMPDEST
00001a1c: POP
00001a1d: POP
00001a1e: POP
00001a1f: POP
00001a20: JUMP
00001a21: JUMPDEST
00001a22: PUSH1 0x00
00001a24: PUSH2 0x1a2c
00001a27: DUP3
00001a28: PUSH2 0x19e3
00001a2b: JUMP
00001a2c: JUMPDEST
00001a2d: PUSH2 0x1a36
00001a30: DUP2
00001a31: DUP6
00001a32: PUSH2 0x1957
00001a35: JUMP
00001a36: JUMPDEST
00001a37: SWAP4
00001a38: POP
00001a39: PUSH2 0x1a46
00001a3c: DUP2
00001a3d: DUP6
00001a3e: PUSH1 0x20
00001a40: DUP7
00001a41: ADD
00001a42: PUSH2 0x19ee
00001a45: JUMP
00001a46: JUMPDEST
00001a47: PUSH2 0x1a4f
00001a4a: DUP2
00001a4b: PUSH2 0x13d9
00001a4e: JUMP
00001a4f: JUMPDEST
00001a50: DUP5
00001a51: ADD
00001a52: SWAP2
00001a53: POP
00001a54: POP
00001a55: SWAP3
00001a56: SWAP2
00001a57: POP
00001a58: POP
00001a59: JUMP
00001a5a: JUMPDEST
00001a5b: PUSH1 0x00
00001a5d: PUSH1 0x60
00001a5f: DUP3
00001a60: ADD
00001a61: SWAP1
00001a62: POP
00001a63: PUSH2 0x1a6f
00001a66: PUSH1 0x00
00001a68: DUP4
00001a69: ADD
00001a6a: DUP7
00001a6b: PUSH2 0x19d4
00001a6e: JUMP
00001a6f: JUMPDEST
00001a70: PUSH2 0x1a7c
00001a73: PUSH1 0x20
00001a75: DUP4
00001a76: ADD
00001a77: DUP6
00001a78: PUSH2 0x1379
00001a7b: JUMP
00001a7c: JUMPDEST
00001a7d: DUP2
00001a7e: DUP2
00001a7f: SUB
00001a80: PUSH1 0x40
00001a82: DUP4
00001a83: ADD
00001a84: MSTORE
00001a85: PUSH2 0x1a8e
00001a88: DUP2
00001a89: DUP5
00001a8a: PUSH2 0x1a21
00001a8d: JUMP
00001a8e: JUMPDEST
00001a8f: SWAP1
00001a90: POP
00001a91: SWAP5
00001a92: SWAP4
00001a93: POP
00001a94: POP
00001a95: POP
00001a96: POP
00001a97: JUMP
00001a98: JUMPDEST
00001a99: PUSH32 0x756e657870656374656420657468000000000000000000000000000000000000
00001aba: PUSH1 0x00
00001abc: DUP3
00001abd: ADD
00001abe: MSTORE
00001abf: POP
00001ac0: JUMP
00001ac1: JUMPDEST
00001ac2: PUSH1 0x00
00001ac4: PUSH2 0x1ace
00001ac7: PUSH1 0x0e
00001ac9: DUP4
00001aca: PUSH2 0x1957
00001acd: JUMP
00001ace: JUMPDEST
00001acf: SWAP2
00001ad0: POP
00001ad1: PUSH2 0x1ad9
00001ad4: DUP3
00001ad5: PUSH2 0x1a98
00001ad8: JUMP
00001ad9: JUMPDEST
00001ada: PUSH1 0x20
00001adc: DUP3
00001add: ADD
00001ade: SWAP1
00001adf: POP
00001ae0: SWAP2
00001ae1: SWAP1
00001ae2: POP
00001ae3: JUMP
00001ae4: JUMPDEST
00001ae5: PUSH1 0x00
00001ae7: PUSH1 0x20
00001ae9: DUP3
00001aea: ADD
00001aeb: SWAP1
00001aec: POP
00001aed: DUP2
00001aee: DUP2
00001aef: SUB
00001af0: PUSH1 0x00
00001af2: DUP4
00001af3: ADD
00001af4: MSTORE
00001af5: PUSH2 0x1afd
00001af8: DUP2
00001af9: PUSH2 0x1ac1
00001afc: JUMP
00001afd: JUMPDEST
00001afe: SWAP1
00001aff: POP
00001b00: SWAP2
00001b01: SWAP1
00001b02: POP
00001b03: JUMP
00001b04: JUMPDEST
00001b05: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001b26: PUSH1 0x00
00001b28: MSTORE
00001b29: PUSH1 0x11
00001b2b: PUSH1 0x04
00001b2d: MSTORE
00001b2e: PUSH1 0x24
00001b30: PUSH1 0x00
00001b32: REVERT
00001b33: JUMPDEST
00001b34: PUSH1 0x00
00001b36: PUSH2 0x1b3e
00001b39: DUP3
00001b3a: PUSH2 0x136f
00001b3d: JUMP
00001b3e: JUMPDEST
00001b3f: SWAP2
00001b40: POP
00001b41: PUSH2 0x1b49
00001b44: DUP4
00001b45: PUSH2 0x136f
00001b48: JUMP
00001b49: JUMPDEST
00001b4a: SWAP3
00001b4b: POP
00001b4c: DUP3
00001b4d: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001b6e: SUB
00001b6f: DUP3
00001b70: GT
00001b71: ISZERO
00001b72: PUSH2 0x1b7e
00001b75: JUMPI
00001b76: PUSH2 0x1b7d
00001b79: PUSH2 0x1b04
00001b7c: JUMP
00001b7d: JUMPDEST
00001b7e: JUMPDEST
00001b7f: DUP3
00001b80: DUP3
00001b81: ADD
00001b82: SWAP1
00001b83: POP
00001b84: SWAP3
00001b85: SWAP2
00001b86: POP
00001b87: POP
00001b88: JUMP
00001b89: JUMPDEST
00001b8a: PUSH1 0x00
00001b8c: PUSH1 0x40
00001b8e: DUP3
00001b8f: ADD
00001b90: SWAP1
00001b91: POP
00001b92: PUSH2 0x1b9e
00001b95: PUSH1 0x00
00001b97: DUP4
00001b98: ADD
00001b99: DUP6
00001b9a: PUSH2 0x1379
00001b9d: JUMP
00001b9e: JUMPDEST
00001b9f: DUP2
00001ba0: DUP2
00001ba1: SUB
00001ba2: PUSH1 0x20
00001ba4: DUP4
00001ba5: ADD
00001ba6: MSTORE
00001ba7: PUSH2 0x1bb0
00001baa: DUP2
00001bab: DUP5
00001bac: PUSH2 0x1a21
00001baf: JUMP
00001bb0: JUMPDEST
00001bb1: SWAP1
00001bb2: POP
00001bb3: SWAP4
00001bb4: SWAP3
00001bb5: POP
00001bb6: POP
00001bb7: POP
00001bb8: JUMP
00001bb9: JUMPDEST
00001bba: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001bdb: PUSH1 0x00
00001bdd: MSTORE
00001bde: PUSH1 0x32
00001be0: PUSH1 0x04
00001be2: MSTORE
00001be3: PUSH1 0x24
00001be5: PUSH1 0x00
00001be7: REVERT
00001be8: JUMPDEST
00001be9: PUSH1 0x00
00001beb: PUSH2 0x1bf3
00001bee: DUP3
00001bef: PUSH2 0x136f
00001bf2: JUMP
00001bf3: JUMPDEST
00001bf4: SWAP2
00001bf5: POP
00001bf6: PUSH32 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00001c17: DUP3
00001c18: SUB
00001c19: PUSH2 0x1c25
00001c1c: JUMPI
00001c1d: PUSH2 0x1c24
00001c20: PUSH2 0x1b04
00001c23: JUMP
00001c24: JUMPDEST
00001c25: JUMPDEST
00001c26: PUSH1 0x01
00001c28: DUP3
00001c29: ADD
00001c2a: SWAP1
00001c2b: POP
00001c2c: SWAP2
00001c2d: SWAP1
00001c2e: POP
00001c2f: JUMP
00001c30: JUMPDEST
00001c31: PUSH1 0x00
00001c33: DUP2
00001c34: MLOAD
00001c35: SWAP1
00001c36: POP
00001c37: SWAP2
00001c38: SWAP1
00001c39: POP
00001c3a: JUMP
00001c3b: JUMPDEST
00001c3c: PUSH1 0x00
00001c3e: DUP3
00001c3f: DUP3
00001c40: MSTORE
00001c41: PUSH1 0x20
00001c43: DUP3
00001c44: ADD
00001c45: SWAP1
00001c46: POP
00001c47: SWAP3
00001c48: SWAP2
00001c49: POP
00001c4a: POP
00001c4b: JUMP
00001c4c: JUMPDEST
00001c4d: PUSH1 0x00
00001c4f: DUP2
00001c50: SWAP1
00001c51: POP
00001c52: PUSH1 0x20
00001c54: DUP3
00001c55: ADD
00001c56: SWAP1
00001c57: POP
00001c58: SWAP2
00001c59: SWAP1
00001c5a: POP
00001c5b: JUMP
00001c5c: JUMPDEST
00001c5d: PUSH2 0x1c65
00001c60: DUP2
00001c61: PUSH2 0x12f1
00001c64: JUMP
00001c65: JUMPDEST
00001c66: DUP3
00001c67: MSTORE
00001c68: POP
00001c69: POP
00001c6a: JUMP
00001c6b: JUMPDEST
00001c6c: PUSH2 0x1c74
00001c6f: DUP2
00001c70: PUSH2 0x136f
00001c73: JUMP
00001c74: JUMPDEST
00001c75: DUP3
00001c76: MSTORE
00001c77: POP
00001c78: POP
00001c79: JUMP
00001c7a: JUMPDEST
00001c7b: PUSH1 0x40
00001c7d: DUP3
00001c7e: ADD
00001c7f: PUSH1 0x00
00001c81: DUP3
00001c82: ADD
00001c83: MLOAD
00001c84: PUSH2 0x1c90
00001c87: PUSH1 0x00
00001c89: DUP6
00001c8a: ADD
00001c8b: DUP3
00001c8c: PUSH2 0x1c5c
00001c8f: JUMP
00001c90: JUMPDEST
00001c91: POP
00001c92: PUSH1 0x20
00001c94: DUP3
00001c95: ADD
00001c96: MLOAD
00001c97: PUSH2 0x1ca3
00001c9a: PUSH1 0x20
00001c9c: DUP6
00001c9d: ADD
00001c9e: DUP3
00001c9f: PUSH2 0x1c6b
00001ca2: JUMP
00001ca3: JUMPDEST
00001ca4: POP
00001ca5: POP
00001ca6: POP
00001ca7: POP
00001ca8: JUMP
00001ca9: JUMPDEST
00001caa: PUSH1 0x00
00001cac: PUSH2 0x1cb5
00001caf: DUP4
00001cb0: DUP4
00001cb1: PUSH2 0x1c7a
00001cb4: JUMP
00001cb5: JUMPDEST
00001cb6: PUSH1 0x40
00001cb8: DUP4
00001cb9: ADD
00001cba: SWAP1
00001cbb: POP
00001cbc: SWAP3
00001cbd: SWAP2
00001cbe: POP
00001cbf: POP
00001cc0: JUMP
00001cc1: JUMPDEST
00001cc2: PUSH1 0x00
00001cc4: PUSH1 0x20
00001cc6: DUP3
00001cc7: ADD
00001cc8: SWAP1
00001cc9: POP
00001cca: SWAP2
00001ccb: SWAP1
00001ccc: POP
00001ccd: JUMP
00001cce: JUMPDEST
00001ccf: PUSH1 0x00
00001cd1: PUSH2 0x1cd9
00001cd4: DUP3
00001cd5: PUSH2 0x1c30
00001cd8: JUMP
00001cd9: JUMPDEST
00001cda: PUSH2 0x1ce3
00001cdd: DUP2
00001cde: DUP6
00001cdf: PUSH2 0x1c3b
00001ce2: JUMP
00001ce3: JUMPDEST
00001ce4: SWAP4
00001ce5: POP
00001ce6: PUSH2 0x1cee
00001ce9: DUP4
00001cea: PUSH2 0x1c4c
00001ced: JUMP
00001cee: JUMPDEST
00001cef: DUP1
00001cf0: PUSH1 0x00
00001cf2: JUMPDEST
00001cf3: DUP4
00001cf4: DUP2
00001cf5: LT
00001cf6: ISZERO
00001cf7: PUSH2 0x1d1f
00001cfa: JUMPI
00001cfb: DUP2
00001cfc: MLOAD
00001cfd: PUSH2 0x1d06
00001d00: DUP9
00001d01: DUP3
00001d02: PUSH2 0x1ca9
00001d05: JUMP
00001d06: JUMPDEST
00001d07: SWAP8
00001d08: POP
00001d09: PUSH2 0x1d11
00001d0c: DUP4
00001d0d: PUSH2 0x1cc1
00001d10: JUMP
00001d11: JUMPDEST
00001d12: SWAP3
00001d13: POP
00001d14: POP
00001d15: PUSH1 0x01
00001d17: DUP2
00001d18: ADD
00001d19: SWAP1
00001d1a: POP
00001d1b: PUSH2 0x1cf2
00001d1e: JUMP
00001d1f: JUMPDEST
00001d20: POP
00001d21: DUP6
00001d22: SWAP4
00001d23: POP
00001d24: POP
00001d25: POP
00001d26: POP
00001d27: SWAP3
00001d28: SWAP2
00001d29: POP
00001d2a: POP
00001d2b: JUMP
00001d2c: JUMPDEST
00001d2d: PUSH1 0x00
00001d2f: PUSH1 0x40
00001d31: DUP3
00001d32: ADD
00001d33: SWAP1
00001d34: POP
00001d35: DUP2
00001d36: DUP2
00001d37: SUB
00001d38: PUSH1 0x00
00001d3a: DUP4
00001d3b: ADD
00001d3c: MSTORE
00001d3d: PUSH2 0x1d46
00001d40: DUP2
00001d41: DUP6
00001d42: PUSH2 0x1cce
00001d45: JUMP
00001d46: JUMPDEST
00001d47: SWAP1
00001d48: POP
00001d49: DUP2
00001d4a: DUP2
00001d4b: SUB
00001d4c: PUSH1 0x20
00001d4e: DUP4
00001d4f: ADD
00001d50: MSTORE
00001d51: PUSH2 0x1d5a
00001d54: DUP2
00001d55: DUP5
00001d56: PUSH2 0x1a21
00001d59: JUMP
00001d5a: JUMPDEST
00001d5b: SWAP1
00001d5c: POP
00001d5d: SWAP4
00001d5e: SWAP3
00001d5f: POP
00001d60: POP
00001d61: POP
00001d62: JUMP
00001d63: JUMPDEST
00001d64: PUSH1 0x00
00001d66: PUSH1 0x60
00001d68: DUP3
00001d69: ADD
00001d6a: SWAP1
00001d6b: POP
00001d6c: PUSH2 0x1d78
00001d6f: PUSH1 0x00
00001d71: DUP4
00001d72: ADD
00001d73: DUP7
00001d74: PUSH2 0x19d4
00001d77: JUMP
00001d78: JUMPDEST
00001d79: PUSH2 0x1d85
00001d7c: PUSH1 0x20
00001d7e: DUP4
00001d7f: ADD
00001d80: DUP6
00001d81: PUSH2 0x19d4
00001d84: JUMP
00001d85: JUMPDEST
00001d86: PUSH2 0x1d92
00001d89: PUSH1 0x40
00001d8b: DUP4
00001d8c: ADD
00001d8d: DUP5
00001d8e: PUSH2 0x1379
00001d91: JUMP
00001d92: JUMPDEST
00001d93: SWAP5
00001d94: SWAP4
00001d95: POP
00001d96: POP
00001d97: POP
00001d98: POP
00001d99: JUMP
00001d9a: JUMPDEST
00001d9b: PUSH1 0x00
00001d9d: DUP2
00001d9e: MLOAD
00001d9f: SWAP1
00001da0: POP
00001da1: SWAP2
00001da2: SWAP1
00001da3: POP
00001da4: JUMP
00001da5: JUMPDEST
00001da6: PUSH1 0x00
00001da8: DUP2
00001da9: SWAP1
00001daa: POP
00001dab: SWAP3
00001dac: SWAP2
00001dad: POP
00001dae: POP
00001daf: JUMP
00001db0: JUMPDEST
00001db1: PUSH1 0x00
00001db3: PUSH2 0x1dbb
00001db6: DUP3
00001db7: PUSH2 0x1d9a
00001dba: JUMP
00001dbb: JUMPDEST
00001dbc: PUSH2 0x1dc5
00001dbf: DUP2
00001dc0: DUP6
00001dc1: PUSH2 0x1da5
00001dc4: JUMP
00001dc5: JUMPDEST
00001dc6: SWAP4
00001dc7: POP
00001dc8: PUSH2 0x1dd5
00001dcb: DUP2
00001dcc: DUP6
00001dcd: PUSH1 0x20
00001dcf: DUP7
00001dd0: ADD
00001dd1: PUSH2 0x19ee
00001dd4: JUMP
00001dd5: JUMPDEST
00001dd6: DUP1
00001dd7: DUP5
00001dd8: ADD
00001dd9: SWAP2
00001dda: POP
00001ddb: POP
00001ddc: SWAP3
00001ddd: SWAP2
00001dde: POP
00001ddf: POP
00001de0: JUMP
00001de1: JUMPDEST
00001de2: PUSH1 0x00
00001de4: PUSH2 0x1ded
00001de7: DUP3
00001de8: DUP5
00001de9: PUSH2 0x1db0
00001dec: JUMP
00001ded: JUMPDEST
00001dee: SWAP2
00001def: POP
00001df0: DUP2
00001df1: SWAP1
00001df2: POP
00001df3: SWAP3
00001df4: SWAP2
00001df5: POP
00001df6: POP
00001df7: JUMP
00001df8: JUMPDEST
00001df9: PUSH1 0x00
00001dfb: DUP2
00001dfc: SWAP1
00001dfd: POP
00001dfe: SWAP2
00001dff: SWAP1
00001e00: POP
00001e01: JUMP
00001e02: JUMPDEST
00001e03: PUSH1 0x00
00001e05: PUSH2 0x1e1d
00001e08: PUSH2 0x1e18
00001e0b: PUSH2 0x1e13
00001e0e: DUP5
00001e0f: PUSH2 0x12d1
00001e12: JUMP
00001e13: JUMPDEST
00001e14: PUSH2 0x1df8
00001e17: JUMP
00001e18: JUMPDEST
00001e19: PUSH2 0x12d1
00001e1c: JUMP
00001e1d: JUMPDEST
00001e1e: SWAP1
00001e1f: POP
00001e20: SWAP2
00001e21: SWAP1
00001e22: POP
00001e23: JUMP
00001e24: JUMPDEST
00001e25: PUSH1 0x00
00001e27: PUSH2 0x1e2f
00001e2a: DUP3
00001e2b: PUSH2 0x1e02
00001e2e: JUMP
00001e2f: JUMPDEST
00001e30: SWAP1
00001e31: POP
00001e32: SWAP2
00001e33: SWAP1
00001e34: POP
00001e35: JUMP
00001e36: JUMPDEST
00001e37: PUSH1 0x00
00001e39: PUSH2 0x1e41
00001e3c: DUP3
00001e3d: PUSH2 0x1e24
00001e40: JUMP
00001e41: JUMPDEST
00001e42: SWAP1
00001e43: POP
00001e44: SWAP2
00001e45: SWAP1
00001e46: POP
00001e47: JUMP
00001e48: JUMPDEST
00001e49: PUSH2 0x1e51
00001e4c: DUP2
00001e4d: PUSH2 0x1e36
00001e50: JUMP
00001e51: JUMPDEST
00001e52: DUP3
00001e53: MSTORE
00001e54: POP
00001e55: POP
00001e56: JUMP
00001e57: JUMPDEST
00001e58: PUSH1 0x00
00001e5a: PUSH1 0xc0
00001e5c: DUP3
00001e5d: ADD
00001e5e: SWAP1
00001e5f: POP
00001e60: PUSH2 0x1e6c
00001e63: PUSH1 0x00
00001e65: DUP4
00001e66: ADD
00001e67: DUP10
00001e68: PUSH2 0x1e48
00001e6b: JUMP
00001e6c: JUMPDEST
00001e6d: PUSH2 0x1e79
00001e70: PUSH1 0x20
00001e72: DUP4
00001e73: ADD
00001e74: DUP9
00001e75: PUSH2 0x1379
00001e78: JUMP
00001e79: JUMPDEST
00001e7a: PUSH2 0x1e86
00001e7d: PUSH1 0x40
00001e7f: DUP4
00001e80: ADD
00001e81: DUP8
00001e82: PUSH2 0x19d4
00001e85: JUMP
00001e86: JUMPDEST
00001e87: PUSH2 0x1e93
00001e8a: PUSH1 0x60
00001e8c: DUP4
00001e8d: ADD
00001e8e: DUP7
00001e8f: PUSH2 0x19d4
00001e92: JUMP
00001e93: JUMPDEST
00001e94: PUSH2 0x1ea0
00001e97: PUSH1 0x80
00001e99: DUP4
00001e9a: ADD
00001e9b: DUP6
00001e9c: PUSH2 0x1379
00001e9f: JUMP
00001ea0: JUMPDEST
00001ea1: DUP2
00001ea2: DUP2
00001ea3: SUB
00001ea4: PUSH1 0xa0
00001ea6: DUP4
00001ea7: ADD
00001ea8: MSTORE
00001ea9: PUSH2 0x1eb2
00001eac: DUP2
00001ead: DUP5
00001eae: PUSH2 0x1a21
00001eb1: JUMP
00001eb2: JUMPDEST
00001eb3: SWAP1
00001eb4: POP
00001eb5: SWAP8
00001eb6: SWAP7
00001eb7: POP
00001eb8: POP
00001eb9: POP
00001eba: POP
00001ebb: POP
00001ebc: POP
00001ebd: POP
00001ebe: JUMP
00001ebf: JUMPDEST
00001ec0: PUSH32 0x4d415941436861696e5f526f757465723a206578706972656400000000000000
00001ee1: PUSH1 0x00
00001ee3: DUP3
00001ee4: ADD
00001ee5: MSTORE
00001ee6: POP
00001ee7: JUMP
00001ee8: JUMPDEST
00001ee9: PUSH1 0x00
00001eeb: PUSH2 0x1ef5
00001eee: PUSH1 0x19
00001ef0: DUP4
00001ef1: PUSH2 0x1957
00001ef4: JUMP
00001ef5: JUMPDEST
00001ef6: SWAP2
00001ef7: POP
00001ef8: PUSH2 0x1f00
00001efb: DUP3
00001efc: PUSH2 0x1ebf
00001eff: JUMP
00001f00: JUMPDEST
00001f01: PUSH1 0x20
00001f03: DUP3
00001f04: ADD
00001f05: SWAP1
00001f06: POP
00001f07: SWAP2
00001f08: SWAP1
00001f09: POP
00001f0a: JUMP
00001f0b: JUMPDEST
00001f0c: PUSH1 0x00
00001f0e: PUSH1 0x20
00001f10: DUP3
00001f11: ADD
00001f12: SWAP1
00001f13: POP
00001f14: DUP2
00001f15: DUP2
00001f16: SUB
00001f17: PUSH1 0x00
00001f19: DUP4
00001f1a: ADD
00001f1b: MSTORE
00001f1c: PUSH2 0x1f24
00001f1f: DUP2
00001f20: PUSH2 0x1ee8
00001f23: JUMP
00001f24: JUMPDEST
00001f25: SWAP1
00001f26: POP
00001f27: SWAP2
00001f28: SWAP1
00001f29: POP
00001f2a: JUMP
00001f2b: JUMPDEST
00001f2c: PUSH1 0x00
00001f2e: PUSH2 0x1f36
00001f31: DUP3
00001f32: PUSH2 0x136f
00001f35: JUMP
00001f36: JUMPDEST
00001f37: SWAP2
00001f38: POP
00001f39: PUSH2 0x1f41
00001f3c: DUP4
00001f3d: PUSH2 0x136f
00001f40: JUMP
00001f41: JUMPDEST
00001f42: SWAP3
00001f43: POP
00001f44: DUP3
00001f45: DUP3
00001f46: LT
00001f47: ISZERO
00001f48: PUSH2 0x1f54
00001f4b: JUMPI
00001f4c: PUSH2 0x1f53
00001f4f: PUSH2 0x1b04
00001f52: JUMP
00001f53: JUMPDEST
00001f54: JUMPDEST
00001f55: DUP3
00001f56: DUP3
00001f57: SUB
00001f58: SWAP1
00001f59: POP
00001f5a: SWAP3
00001f5b: SWAP2
00001f5c: POP
00001f5d: POP
00001f5e: JUMP
00001f5f: JUMPDEST
00001f60: PUSH2 0x1f68
00001f63: DUP2
00001f64: PUSH2 0x15ac
00001f67: JUMP
00001f68: JUMPDEST
00001f69: DUP3
00001f6a: MSTORE
00001f6b: POP
00001f6c: POP
00001f6d: JUMP
00001f6e: JUMPDEST
00001f6f: PUSH1 0x00
00001f71: PUSH1 0x40
00001f73: DUP3
00001f74: ADD
00001f75: SWAP1
00001f76: POP
00001f77: PUSH2 0x1f83
00001f7a: PUSH1 0x00
00001f7c: DUP4
00001f7d: ADD
00001f7e: DUP6
00001f7f: PUSH2 0x1f5f
00001f82: JUMP
00001f83: JUMPDEST
00001f84: PUSH2 0x1f90
00001f87: PUSH1 0x20
00001f89: DUP4
00001f8a: ADD
00001f8b: DUP5
00001f8c: PUSH2 0x1379
00001f8f: JUMP
00001f90: JUMPDEST
00001f91: SWAP4
00001f92: SWAP3
00001f93: POP
00001f94: POP
00001f95: POP
00001f96: JUMP
00001f97: JUMPDEST
00001f98: PUSH1 0x00
00001f9a: DUP2
00001f9b: ISZERO
00001f9c: ISZERO
00001f9d: SWAP1
00001f9e: POP
00001f9f: SWAP2
00001fa0: SWAP1
00001fa1: POP
00001fa2: JUMP
00001fa3: JUMPDEST
00001fa4: PUSH2 0x1fac
00001fa7: DUP2
00001fa8: PUSH2 0x1f97
00001fab: JUMP
00001fac: JUMPDEST
00001fad: DUP2
00001fae: EQ
00001faf: PUSH2 0x1fb7
00001fb2: JUMPI
00001fb3: PUSH1 0x00
00001fb5: DUP1
00001fb6: REVERT
00001fb7: JUMPDEST
00001fb8: POP
00001fb9: JUMP
00001fba: JUMPDEST
00001fbb: PUSH1 0x00
00001fbd: DUP2
00001fbe: MLOAD
00001fbf: SWAP1
00001fc0: POP
00001fc1: PUSH2 0x1fc9
00001fc4: DUP2
00001fc5: PUSH2 0x1fa3
00001fc8: JUMP
00001fc9: JUMPDEST
00001fca: SWAP3
00001fcb: SWAP2
00001fcc: POP
00001fcd: POP
00001fce: JUMP
00001fcf: JUMPDEST
00001fd0: PUSH1 0x00
00001fd2: PUSH1 0x20
00001fd4: DUP3
00001fd5: DUP5
00001fd6: SUB
00001fd7: SLT
00001fd8: ISZERO
00001fd9: PUSH2 0x1fe5
00001fdc: JUMPI
00001fdd: PUSH2 0x1fe4
00001fe0: PUSH2 0x12c7
00001fe3: JUMP
00001fe4: JUMPDEST
00001fe5: JUMPDEST
00001fe6: PUSH1 0x00
00001fe8: PUSH2 0x1ff3
00001feb: DUP5
00001fec: DUP3
00001fed: DUP6
00001fee: ADD
00001fef: PUSH2 0x1fba
00001ff2: JUMP
00001ff3: JUMPDEST
00001ff4: SWAP2
00001ff5: POP
00001ff6: POP
00001ff7: SWAP3
00001ff8: SWAP2
00001ff9: POP
00001ffa: POP
00001ffb: JUMP
00001ffc: JUMPDEST
00001ffd: PUSH1 0x00
00001fff: PUSH1 0x40
00002001: DUP3
00002002: ADD
00002003: SWAP1
00002004: POP
00002005: PUSH2 0x2011
00002008: PUSH1 0x00
0000200a: DUP4
0000200b: ADD
0000200c: DUP6
0000200d: PUSH2 0x19d4
00002010: JUMP
00002011: JUMPDEST
00002012: PUSH2 0x201e
00002015: PUSH1 0x20
00002017: DUP4
00002018: ADD
00002019: DUP5
0000201a: PUSH2 0x1379
0000201d: JUMP
0000201e: JUMPDEST
0000201f: SWAP4
00002020: SWAP3
00002021: POP
00002022: POP
00002023: POP
00002024: JUMP
00002025: JUMPDEST
00002026: PUSH1 0x00
00002028: PUSH1 0xa0
0000202a: DUP3
0000202b: ADD
0000202c: SWAP1
0000202d: POP
0000202e: PUSH2 0x203a
00002031: PUSH1 0x00
00002033: DUP4
00002034: ADD
00002035: DUP9
00002036: PUSH2 0x19d4
00002039: JUMP
0000203a: JUMPDEST
0000203b: PUSH2 0x2047
0000203e: PUSH1 0x20
00002040: DUP4
00002041: ADD
00002042: DUP8
00002043: PUSH2 0x19d4
00002046: JUMP
00002047: JUMPDEST
00002048: PUSH2 0x2054
0000204b: PUSH1 0x40
0000204d: DUP4
0000204e: ADD
0000204f: DUP7
00002050: PUSH2 0x1379
00002053: JUMP
00002054: JUMPDEST
00002055: DUP2
00002056: DUP2
00002057: SUB
00002058: PUSH1 0x60
0000205a: DUP4
0000205b: ADD
0000205c: MSTORE
0000205d: PUSH2 0x2066
00002060: DUP2
00002061: DUP6
00002062: PUSH2 0x1a21
00002065: JUMP
00002066: JUMPDEST
00002067: SWAP1
00002068: POP
00002069: PUSH2 0x2075
0000206c: PUSH1 0x80
0000206e: DUP4
0000206f: ADD
00002070: DUP5
00002071: PUSH2 0x1379
00002074: JUMP
00002075: JUMPDEST
00002076: SWAP7
00002077: SWAP6
00002078: POP
00002079: POP
0000207a: POP
0000207b: POP
0000207c: POP
0000207d: POP
0000207e: JUMP
0000207f: JUMPDEST
00002080: PUSH1 0x00
00002082: PUSH1 0x20
00002084: DUP3
00002085: ADD
00002086: SWAP1
00002087: POP
00002088: PUSH2 0x2094
0000208b: PUSH1 0x00
0000208d: DUP4
0000208e: ADD
0000208f: DUP5
00002090: PUSH2 0x19d4
00002093: JUMP
00002094: JUMPDEST
00002095: SWAP3
00002096: SWAP2
00002097: POP
00002098: POP
00002099: JUMP
0000209a: JUMPDEST
0000209b: PUSH1 0x00
0000209d: DUP2
0000209e: MLOAD
0000209f: SWAP1
000020a0: POP
000020a1: PUSH2 0x20a9
000020a4: DUP2
000020a5: PUSH2 0x13a3
000020a8: JUMP
000020a9: JUMPDEST
000020aa: SWAP3
000020ab: SWAP2
000020ac: POP
000020ad: POP
000020ae: JUMP
000020af: JUMPDEST
000020b0: PUSH1 0x00
000020b2: PUSH1 0x20
000020b4: DUP3
000020b5: DUP5
000020b6: SUB
000020b7: SLT
000020b8: ISZERO
000020b9: PUSH2 0x20c5
000020bc: JUMPI
000020bd: PUSH2 0x20c4
000020c0: PUSH2 0x12c7
000020c3: JUMP
000020c4: JUMPDEST
000020c5: JUMPDEST
000020c6: PUSH1 0x00
000020c8: PUSH2 0x20d3
000020cb: DUP5
000020cc: DUP3
000020cd: DUP6
000020ce: ADD
000020cf: PUSH2 0x209a
000020d2: JUMP
000020d3: JUMPDEST
000020d4: SWAP2
000020d5: POP
000020d6: POP
000020d7: SWAP3
000020d8: SWAP2
000020d9: POP
000020da: POP
000020db: JUMP
000020dc: INVALID
000020dd: LOG2
000020de: PUSH5 0x6970667358
000020e4: UNKNOWN(0x22)
000020e5: SLT
000020e6: KECCAK256
000020e7: UNKNOWN(0x22)
000020e8: PUSH28 0xa12464a5690fa1387de64d43ddd586d4eadb67584087aaf1aa0b2555
00002105: UNKNOWN(0xB6)
00002106: SWAP13
00002107: PUSH5 0x736f6c6343
0000210d: STOP
0000210e: ADDMOD
0000210f: UNKNOWN(0x0D)
00002110: STOP
00002111: CALLER

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	no	no	view trace_id: 0x078d9035cdb0776fc693638835562ab7ad8594b3ef3dab58bd5c16fd3d127c40 call_targets: 0xe3985e6b61b814f7cdb188766562ba71b446b46d target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x078d9035cdb0776fc693638835562ab7ad8594b3ef3dab58bd5c16fd3d127c40", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xe3985e6b61b814f7cdb188766562ba71b446b46d" ], "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": "0x2923e82e", "selector": "0x2923e82e", "calldata_variants": [ "0x2923e82e", "0x2923e82e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4039fd4b", "selector": "0x4039fd4b", "calldata_variants": [ "0x4039fd4b", "0x4039fd4b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x44bc937b", "selector": "0x44bc937b", "calldata_variants": [ "0x44bc937b", "0x44bc937b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x574da717", "selector": "0x574da717", "calldata_variants": [ "0x574da717", "0x574da7170000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x03b6a673", "selector": "0x03b6a673", "calldata_variants": [ "0x03b6a673", "0x03b6a6730000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1b738b32", "selector": "0x1b738b32", "calldata_variants": [ "0x1b738b32", "0x1b738b320000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1fece7b4", "selector": "0x1fece7b4", "calldata_variants": [ "0x1fece7b4", "0x1fece7b40000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 953, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1814, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2125, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 11, "guards_detected": [], "untrusted_call_count": 11 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x078d9035cdb0776fc693638835562ab7ad8594b3ef3dab58bd5c16fd3d127c40 call_targets: 0xe3985e6b61b814f7cdb188766562ba71b446b46d target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x078d9035cdb0776fc693638835562ab7ad8594b3ef3dab58bd5c16fd3d127c40", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xe3985e6b61b814f7cdb188766562ba71b446b46d" ], "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": "0x2923e82e", "selector": "0x2923e82e", "calldata_variants": [ "0x2923e82e", "0x2923e82e0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4039fd4b", "selector": "0x4039fd4b", "calldata_variants": [ "0x4039fd4b", "0x4039fd4b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x44bc937b", "selector": "0x44bc937b", "calldata_variants": [ "0x44bc937b", "0x44bc937b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x574da717", "selector": "0x574da717", "calldata_variants": [ "0x574da717", "0x574da7170000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x03b6a673", "selector": "0x03b6a673", "calldata_variants": [ "0x03b6a673", "0x03b6a6730000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1b738b32", "selector": "0x1b738b32", "calldata_variants": [ "0x1b738b32", "0x1b738b320000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1fece7b4", "selector": "0x1fece7b4", "calldata_variants": [ "0x1fece7b4", "0x1fece7b40000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 953, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1814, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 2125, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 11, "guards_detected": [] }
info	other	cast	Heavy CALL-family usage	55	no	—	view evidence_json { "notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns", "call_family_count": 13 }

Severity