Analysis Run

019b3844-909d-7273-b74a-cda214db5a6b

complete

Chain ID

1

Address

0xb54c9fa2a504cd078c69956020a6b45bc9657f5f

Block Number

—

Created

Fri, Dec 19, 2025 8:19 PM

Review Summary

What survived the funnel

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

back to vulns open contract

Confirmed

2

Validated

2

Source

Bytecode only

Review Backing

Not yet

Best current signal

Untrusted CALL target/value reachable

crit 0 high 2 direct contract

Review Checklist

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

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

3. Confirm money or privilege impact.

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

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
12629	artifact.fetch	complete	1 / 3	3 months ago
12630	tool.cast_disasm	complete	1 / 3	3 months ago
84856	analysis.bundle	complete	1 / 3	1 week ago
84857	capability.graph	complete	1 / 3	1 week ago
84858	detector.run	complete	1 / 3	1 week ago
84859	validation.fork	complete	1 / 3	1 week ago
113701	report.consolidate	complete	1 / 6	1 week ago

Artifact

Runtime bytecode: available

Creation TX: —

Deployer: —

Proxy: no

Implementation:

—

Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

Job Status

complete

Attempts

1 / 6

Findings

0

No findings?

—

View stderr

OpenAI Codex v0.118.0 (research preview)
--------
workdir: /tmp/codex-_l6htcj9
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5c9c-29ed-7c70-93a8-82fce8178847
--------
user
You are a security auditor. You ONLY have runtime bytecode + analysis artifacts.
You MUST read `BYTECODE_BUNDLE.json` before concluding; it contains the bytecode summary,
evidence bundle, callsites, storage slots, and detector findings.

Special cases when reasoning from bytecode (be explicit about uncertainty):
- Selector inference is best-effort; missing selectors are common.
- Fallback/receive paths may be the only entrypoints.
- CALL vs DELEGATECALL semantics differ; DELEGATECALL executes in caller storage.
- Proxy patterns (EIP-1967, minimal proxies, beacon) change which storage is authoritative.
- Storage slots are raw; mappings/arrays appear via keccak patterns, names are unknown.
- Guard detection is heuristic; absence of guards does NOT mean unguarded.
- Returndata checking is unknown unless explicitly shown in evidence.
- Precompiles (0x1..0x9) and common ERC20 transfer selectors may appear; do not over-claim.

Output MUST be valid JSON matching the provided schema.
- If you find nothing meaningful: set no_findings=true and findings=[].
- Otherwise: set no_findings=false and include findings with severity/category/title.
- Locations can be pc references like "pc:0x123" or selectors like "selector:0xa9059cbb".

Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation,
accounting/invariant breaks, dangerous delegatecall, and untrusted external calls.
Be conservative: if evidence is weak, mark severity low/medium and explain why.
warning: Codex could not find system bubblewrap on PATH. Please install bubblewrap with your package manager. Codex will use the vendored bubblewrap in the meantime.
ERROR: You've hit your usage limit. Visit https://chatgpt.com/codex/settings/usage to purchase more credits or try again at Apr 8th, 2026 9:11 AM.
ERROR: You've hit your usage limit. Visit https://chatgpt.com/codex/settings/usage to purchase more credits or try again at Apr 8th, 2026 9:11 AM.

Metadata

{
    "codex": {
        "ran_at": "2026-04-05T07:47:15.317232+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 15998,
        "bytecode_truncated": false,
        "capability_graph_present": true,
        "analysis_artifact_present": true
    },
    "summary": null,
    "no_findings": null,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

1

CREATE2

0

CALL-family (heavy)

10

EXT*/BALANCE

3

Total opcodes

4290

Flags

selfdestruct_present

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0111
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: PUSH4 0xffffffff
00000035: AND
00000036: DUP1
00000037: PUSH3 0x65318b
0000003b: EQ
0000003c: PUSH2 0x030f
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x06fdde03
00000046: EQ
00000047: PUSH2 0x0366
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x10d0ffdd
00000051: EQ
00000052: PUSH2 0x03f6
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x18160ddd
0000005c: EQ
0000005d: PUSH2 0x0437
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x22609373
00000067: EQ
00000068: PUSH2 0x0462
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x313ce567
00000072: EQ
00000073: PUSH2 0x04a3
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x3ccfd60b
0000007d: EQ
0000007e: PUSH2 0x04d4
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x4b750334
00000088: EQ
00000089: PUSH2 0x04eb
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x56d399e8
00000093: EQ
00000094: PUSH2 0x0516
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x688abbf7
0000009e: EQ
0000009f: PUSH2 0x0541
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x6b2f4632
000000a9: EQ
000000aa: PUSH2 0x0584
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x70a08231
000000b4: EQ
000000b5: PUSH2 0x05af
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x8620410b
000000bf: EQ
000000c0: PUSH2 0x0606
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x949e8acd
000000ca: EQ
000000cb: PUSH2 0x0631
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x95d89b41
000000d5: EQ
000000d6: PUSH2 0x065c
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0xa9059cbb
000000e0: EQ
000000e1: PUSH2 0x06ec
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0xe4849b32
000000eb: EQ
000000ec: PUSH2 0x0751
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0xe9fad8ee
000000f6: EQ
000000f7: PUSH2 0x077e
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0xf088d547
00000101: EQ
00000102: PUSH2 0x0795
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0xfdb5a03e
0000010c: EQ
0000010d: PUSH2 0x07df
00000110: JUMPI
00000111: JUMPDEST
00000112: PUSH1 0x00
00000114: DUP1
00000115: PUSH1 0x08
00000117: PUSH1 0x00
00000119: SWAP1
0000011a: SLOAD
0000011b: SWAP1
0000011c: PUSH2 0x0100
0000011f: EXP
00000120: SWAP1
00000121: DIV
00000122: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000137: AND
00000138: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000014d: AND
0000014e: PUSH2 0x08fc
00000151: PUSH2 0x0177
00000154: PUSH1 0x02
00000156: PUSH2 0x0169
00000159: PUSH1 0x64
0000015b: CALLVALUE
0000015c: PUSH2 0x07f6
0000015f: SWAP1
00000160: SWAP2
00000161: SWAP1
00000162: PUSH4 0xffffffff
00000167: AND
00000168: JUMP
00000169: JUMPDEST
0000016a: PUSH2 0x0811
0000016d: SWAP1
0000016e: SWAP2
0000016f: SWAP1
00000170: PUSH4 0xffffffff
00000175: AND
00000176: JUMP
00000177: JUMPDEST
00000178: SWAP1
00000179: DUP2
0000017a: ISZERO
0000017b: MUL
0000017c: SWAP1
0000017d: PUSH1 0x40
0000017f: MLOAD
00000180: PUSH1 0x00
00000182: PUSH1 0x40
00000184: MLOAD
00000185: DUP1
00000186: DUP4
00000187: SUB
00000188: DUP2
00000189: DUP6
0000018a: DUP9
0000018b: DUP9
0000018c: CALL
0000018d: SWAP4
0000018e: POP
0000018f: POP
00000190: POP
00000191: POP
00000192: ISZERO
00000193: DUP1
00000194: ISZERO
00000195: PUSH2 0x01a2
00000198: JUMPI
00000199: RETURNDATASIZE
0000019a: PUSH1 0x00
0000019c: DUP1
0000019d: RETURNDATACOPY
0000019e: RETURNDATASIZE
0000019f: PUSH1 0x00
000001a1: REVERT
000001a2: JUMPDEST
000001a3: POP
000001a4: PUSH1 0x09
000001a6: PUSH1 0x00
000001a8: SWAP1
000001a9: SLOAD
000001aa: SWAP1
000001ab: PUSH2 0x0100
000001ae: EXP
000001af: SWAP1
000001b0: DIV
000001b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001c6: AND
000001c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000001dc: AND
000001dd: PUSH2 0x08fc
000001e0: PUSH2 0x0206
000001e3: PUSH1 0x02
000001e5: PUSH2 0x01f8
000001e8: PUSH1 0x64
000001ea: CALLVALUE
000001eb: PUSH2 0x07f6
000001ee: SWAP1
000001ef: SWAP2
000001f0: SWAP1
000001f1: PUSH4 0xffffffff
000001f6: AND
000001f7: JUMP
000001f8: JUMPDEST
000001f9: PUSH2 0x0811
000001fc: SWAP1
000001fd: SWAP2
000001fe: SWAP1
000001ff: PUSH4 0xffffffff
00000204: AND
00000205: JUMP
00000206: JUMPDEST
00000207: SWAP1
00000208: DUP2
00000209: ISZERO
0000020a: MUL
0000020b: SWAP1
0000020c: PUSH1 0x40
0000020e: MLOAD
0000020f: PUSH1 0x00
00000211: PUSH1 0x40
00000213: MLOAD
00000214: DUP1
00000215: DUP4
00000216: SUB
00000217: DUP2
00000218: DUP6
00000219: DUP9
0000021a: DUP9
0000021b: CALL
0000021c: SWAP4
0000021d: POP
0000021e: POP
0000021f: POP
00000220: POP
00000221: ISZERO
00000222: DUP1
00000223: ISZERO
00000224: PUSH2 0x0231
00000227: JUMPI
00000228: RETURNDATASIZE
00000229: PUSH1 0x00
0000022b: DUP1
0000022c: RETURNDATACOPY
0000022d: RETURNDATASIZE
0000022e: PUSH1 0x00
00000230: REVERT
00000231: JUMPDEST
00000232: POP
00000233: PUSH1 0x0a
00000235: PUSH1 0x00
00000237: SWAP1
00000238: SLOAD
00000239: SWAP1
0000023a: PUSH2 0x0100
0000023d: EXP
0000023e: SWAP1
0000023f: DIV
00000240: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000255: AND
00000256: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000026b: AND
0000026c: PUSH2 0x08fc
0000026f: PUSH2 0x0295
00000272: PUSH1 0x02
00000274: PUSH2 0x0287
00000277: PUSH1 0x64
00000279: CALLVALUE
0000027a: PUSH2 0x07f6
0000027d: SWAP1
0000027e: SWAP2
0000027f: SWAP1
00000280: PUSH4 0xffffffff
00000285: AND
00000286: JUMP
00000287: JUMPDEST
00000288: PUSH2 0x0811
0000028b: SWAP1
0000028c: SWAP2
0000028d: SWAP1
0000028e: PUSH4 0xffffffff
00000293: AND
00000294: JUMP
00000295: JUMPDEST
00000296: SWAP1
00000297: DUP2
00000298: ISZERO
00000299: MUL
0000029a: SWAP1
0000029b: PUSH1 0x40
0000029d: MLOAD
0000029e: PUSH1 0x00
000002a0: PUSH1 0x40
000002a2: MLOAD
000002a3: DUP1
000002a4: DUP4
000002a5: SUB
000002a6: DUP2
000002a7: DUP6
000002a8: DUP9
000002a9: DUP9
000002aa: CALL
000002ab: SWAP4
000002ac: POP
000002ad: POP
000002ae: POP
000002af: POP
000002b0: ISZERO
000002b1: DUP1
000002b2: ISZERO
000002b3: PUSH2 0x02c0
000002b6: JUMPI
000002b7: RETURNDATASIZE
000002b8: PUSH1 0x00
000002ba: DUP1
000002bb: RETURNDATACOPY
000002bc: RETURNDATASIZE
000002bd: PUSH1 0x00
000002bf: REVERT
000002c0: JUMPDEST
000002c1: POP
000002c2: PUSH2 0x02e8
000002c5: PUSH1 0x64
000002c7: PUSH2 0x02da
000002ca: PUSH1 0x06
000002cc: CALLVALUE
000002cd: PUSH2 0x0811
000002d0: SWAP1
000002d1: SWAP2
000002d2: SWAP1
000002d3: PUSH4 0xffffffff
000002d8: AND
000002d9: JUMP
000002da: JUMPDEST
000002db: PUSH2 0x07f6
000002de: SWAP1
000002df: SWAP2
000002e0: SWAP1
000002e1: PUSH4 0xffffffff
000002e6: AND
000002e7: JUMP
000002e8: JUMPDEST
000002e9: SWAP2
000002ea: POP
000002eb: PUSH2 0x02fd
000002ee: DUP3
000002ef: CALLVALUE
000002f0: PUSH2 0x084c
000002f3: SWAP1
000002f4: SWAP2
000002f5: SWAP1
000002f6: PUSH4 0xffffffff
000002fb: AND
000002fc: JUMP
000002fd: JUMPDEST
000002fe: SWAP1
000002ff: POP
00000300: PUSH2 0x030a
00000303: DUP2
00000304: PUSH1 0x00
00000306: PUSH2 0x0865
00000309: JUMP
0000030a: JUMPDEST
0000030b: POP
0000030c: POP
0000030d: POP
0000030e: STOP
0000030f: JUMPDEST
00000310: CALLVALUE
00000311: DUP1
00000312: ISZERO
00000313: PUSH2 0x031b
00000316: JUMPI
00000317: PUSH1 0x00
00000319: DUP1
0000031a: REVERT
0000031b: JUMPDEST
0000031c: POP
0000031d: PUSH2 0x0350
00000320: PUSH1 0x04
00000322: DUP1
00000323: CALLDATASIZE
00000324: SUB
00000325: DUP2
00000326: ADD
00000327: SWAP1
00000328: DUP1
00000329: DUP1
0000032a: CALLDATALOAD
0000032b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000340: AND
00000341: SWAP1
00000342: PUSH1 0x20
00000344: ADD
00000345: SWAP1
00000346: SWAP3
00000347: SWAP2
00000348: SWAP1
00000349: POP
0000034a: POP
0000034b: POP
0000034c: PUSH2 0x0c7b
0000034f: JUMP
00000350: JUMPDEST
00000351: PUSH1 0x40
00000353: MLOAD
00000354: DUP1
00000355: DUP3
00000356: DUP2
00000357: MSTORE
00000358: PUSH1 0x20
0000035a: ADD
0000035b: SWAP2
0000035c: POP
0000035d: POP
0000035e: PUSH1 0x40
00000360: MLOAD
00000361: DUP1
00000362: SWAP2
00000363: SUB
00000364: SWAP1
00000365: RETURN
00000366: JUMPDEST
00000367: CALLVALUE
00000368: DUP1
00000369: ISZERO
0000036a: PUSH2 0x0372
0000036d: JUMPI
0000036e: PUSH1 0x00
00000370: DUP1
00000371: REVERT
00000372: JUMPDEST
00000373: POP
00000374: PUSH2 0x037b
00000377: PUSH2 0x0d1d
0000037a: JUMP
0000037b: JUMPDEST
0000037c: PUSH1 0x40
0000037e: MLOAD
0000037f: DUP1
00000380: DUP1
00000381: PUSH1 0x20
00000383: ADD
00000384: DUP3
00000385: DUP2
00000386: SUB
00000387: DUP3
00000388: MSTORE
00000389: DUP4
0000038a: DUP2
0000038b: DUP2
0000038c: MLOAD
0000038d: DUP2
0000038e: MSTORE
0000038f: PUSH1 0x20
00000391: ADD
00000392: SWAP2
00000393: POP
00000394: DUP1
00000395: MLOAD
00000396: SWAP1
00000397: PUSH1 0x20
00000399: ADD
0000039a: SWAP1
0000039b: DUP1
0000039c: DUP4
0000039d: DUP4
0000039e: PUSH1 0x00
000003a0: JUMPDEST
000003a1: DUP4
000003a2: DUP2
000003a3: LT
000003a4: ISZERO
000003a5: PUSH2 0x03bb
000003a8: JUMPI
000003a9: DUP1
000003aa: DUP3
000003ab: ADD
000003ac: MLOAD
000003ad: DUP2
000003ae: DUP5
000003af: ADD
000003b0: MSTORE
000003b1: PUSH1 0x20
000003b3: DUP2
000003b4: ADD
000003b5: SWAP1
000003b6: POP
000003b7: PUSH2 0x03a0
000003ba: JUMP
000003bb: JUMPDEST
000003bc: POP
000003bd: POP
000003be: POP
000003bf: POP
000003c0: SWAP1
000003c1: POP
000003c2: SWAP1
000003c3: DUP2
000003c4: ADD
000003c5: SWAP1
000003c6: PUSH1 0x1f
000003c8: AND
000003c9: DUP1
000003ca: ISZERO
000003cb: PUSH2 0x03e8
000003ce: JUMPI
000003cf: DUP1
000003d0: DUP3
000003d1: SUB
000003d2: DUP1
000003d3: MLOAD
000003d4: PUSH1 0x01
000003d6: DUP4
000003d7: PUSH1 0x20
000003d9: SUB
000003da: PUSH2 0x0100
000003dd: EXP
000003de: SUB
000003df: NOT
000003e0: AND
000003e1: DUP2
000003e2: MSTORE
000003e3: PUSH1 0x20
000003e5: ADD
000003e6: SWAP2
000003e7: POP
000003e8: JUMPDEST
000003e9: POP
000003ea: SWAP3
000003eb: POP
000003ec: POP
000003ed: POP
000003ee: PUSH1 0x40
000003f0: MLOAD
000003f1: DUP1
000003f2: SWAP2
000003f3: SUB
000003f4: SWAP1
000003f5: RETURN
000003f6: JUMPDEST
000003f7: CALLVALUE
000003f8: DUP1
000003f9: ISZERO
000003fa: PUSH2 0x0402
000003fd: JUMPI
000003fe: PUSH1 0x00
00000400: DUP1
00000401: REVERT
00000402: JUMPDEST
00000403: POP
00000404: PUSH2 0x0421
00000407: PUSH1 0x04
00000409: DUP1
0000040a: CALLDATASIZE
0000040b: SUB
0000040c: DUP2
0000040d: ADD
0000040e: SWAP1
0000040f: DUP1
00000410: DUP1
00000411: CALLDATALOAD
00000412: SWAP1
00000413: PUSH1 0x20
00000415: ADD
00000416: SWAP1
00000417: SWAP3
00000418: SWAP2
00000419: SWAP1
0000041a: POP
0000041b: POP
0000041c: POP
0000041d: PUSH2 0x0dbb
00000420: JUMP
00000421: JUMPDEST
00000422: PUSH1 0x40
00000424: MLOAD
00000425: DUP1
00000426: DUP3
00000427: DUP2
00000428: MSTORE
00000429: PUSH1 0x20
0000042b: ADD
0000042c: SWAP2
0000042d: POP
0000042e: POP
0000042f: PUSH1 0x40
00000431: MLOAD
00000432: DUP1
00000433: SWAP2
00000434: SUB
00000435: SWAP1
00000436: RETURN
00000437: JUMPDEST
00000438: CALLVALUE
00000439: DUP1
0000043a: ISZERO
0000043b: PUSH2 0x0443
0000043e: JUMPI
0000043f: PUSH1 0x00
00000441: DUP1
00000442: REVERT
00000443: JUMPDEST
00000444: POP
00000445: PUSH2 0x044c
00000448: PUSH2 0x0dfd
0000044b: JUMP
0000044c: JUMPDEST
0000044d: PUSH1 0x40
0000044f: MLOAD
00000450: DUP1
00000451: DUP3
00000452: DUP2
00000453: MSTORE
00000454: PUSH1 0x20
00000456: ADD
00000457: SWAP2
00000458: POP
00000459: POP
0000045a: PUSH1 0x40
0000045c: MLOAD
0000045d: DUP1
0000045e: SWAP2
0000045f: SUB
00000460: SWAP1
00000461: RETURN
00000462: JUMPDEST
00000463: CALLVALUE
00000464: DUP1
00000465: ISZERO
00000466: PUSH2 0x046e
00000469: JUMPI
0000046a: PUSH1 0x00
0000046c: DUP1
0000046d: REVERT
0000046e: JUMPDEST
0000046f: POP
00000470: PUSH2 0x048d
00000473: PUSH1 0x04
00000475: DUP1
00000476: CALLDATASIZE
00000477: SUB
00000478: DUP2
00000479: ADD
0000047a: SWAP1
0000047b: DUP1
0000047c: DUP1
0000047d: CALLDATALOAD
0000047e: SWAP1
0000047f: PUSH1 0x20
00000481: ADD
00000482: SWAP1
00000483: SWAP3
00000484: SWAP2
00000485: SWAP1
00000486: POP
00000487: POP
00000488: POP
00000489: PUSH2 0x0e07
0000048c: JUMP
0000048d: JUMPDEST
0000048e: PUSH1 0x40
00000490: MLOAD
00000491: DUP1
00000492: DUP3
00000493: DUP2
00000494: MSTORE
00000495: PUSH1 0x20
00000497: ADD
00000498: SWAP2
00000499: POP
0000049a: POP
0000049b: PUSH1 0x40
0000049d: MLOAD
0000049e: DUP1
0000049f: SWAP2
000004a0: SUB
000004a1: SWAP1
000004a2: RETURN
000004a3: JUMPDEST
000004a4: CALLVALUE
000004a5: DUP1
000004a6: ISZERO
000004a7: PUSH2 0x04af
000004aa: JUMPI
000004ab: PUSH1 0x00
000004ad: DUP1
000004ae: REVERT
000004af: JUMPDEST
000004b0: POP
000004b1: PUSH2 0x04b8
000004b4: PUSH2 0x0e82
000004b7: JUMP
000004b8: JUMPDEST
000004b9: PUSH1 0x40
000004bb: MLOAD
000004bc: DUP1
000004bd: DUP3
000004be: PUSH1 0xff
000004c0: AND
000004c1: PUSH1 0xff
000004c3: AND
000004c4: DUP2
000004c5: MSTORE
000004c6: PUSH1 0x20
000004c8: ADD
000004c9: SWAP2
000004ca: POP
000004cb: POP
000004cc: PUSH1 0x40
000004ce: MLOAD
000004cf: DUP1
000004d0: SWAP2
000004d1: SUB
000004d2: SWAP1
000004d3: RETURN
000004d4: JUMPDEST
000004d5: CALLVALUE
000004d6: DUP1
000004d7: ISZERO
000004d8: PUSH2 0x04e0
000004db: JUMPI
000004dc: PUSH1 0x00
000004de: DUP1
000004df: REVERT
000004e0: JUMPDEST
000004e1: POP
000004e2: PUSH2 0x04e9
000004e5: PUSH2 0x0e87
000004e8: JUMP
000004e9: JUMPDEST
000004ea: STOP
000004eb: JUMPDEST
000004ec: CALLVALUE
000004ed: DUP1
000004ee: ISZERO
000004ef: PUSH2 0x04f7
000004f2: JUMPI
000004f3: PUSH1 0x00
000004f5: DUP1
000004f6: REVERT
000004f7: JUMPDEST
000004f8: POP
000004f9: PUSH2 0x0500
000004fc: PUSH2 0x102b
000004ff: JUMP
00000500: JUMPDEST
00000501: PUSH1 0x40
00000503: MLOAD
00000504: DUP1
00000505: DUP3
00000506: DUP2
00000507: MSTORE
00000508: PUSH1 0x20
0000050a: ADD
0000050b: SWAP2
0000050c: POP
0000050d: POP
0000050e: PUSH1 0x40
00000510: MLOAD
00000511: DUP1
00000512: SWAP2
00000513: SUB
00000514: SWAP1
00000515: RETURN
00000516: JUMPDEST
00000517: CALLVALUE
00000518: DUP1
00000519: ISZERO
0000051a: PUSH2 0x0522
0000051d: JUMPI
0000051e: PUSH1 0x00
00000520: DUP1
00000521: REVERT
00000522: JUMPDEST
00000523: POP
00000524: PUSH2 0x052b
00000527: PUSH2 0x10b6
0000052a: JUMP
0000052b: JUMPDEST
0000052c: PUSH1 0x40
0000052e: MLOAD
0000052f: DUP1
00000530: DUP3
00000531: DUP2
00000532: MSTORE
00000533: PUSH1 0x20
00000535: ADD
00000536: SWAP2
00000537: POP
00000538: POP
00000539: PUSH1 0x40
0000053b: MLOAD
0000053c: DUP1
0000053d: SWAP2
0000053e: SUB
0000053f: SWAP1
00000540: RETURN
00000541: JUMPDEST
00000542: CALLVALUE
00000543: DUP1
00000544: ISZERO
00000545: PUSH2 0x054d
00000548: JUMPI
00000549: PUSH1 0x00
0000054b: DUP1
0000054c: REVERT
0000054d: JUMPDEST
0000054e: POP
0000054f: PUSH2 0x056e
00000552: PUSH1 0x04
00000554: DUP1
00000555: CALLDATASIZE
00000556: SUB
00000557: DUP2
00000558: ADD
00000559: SWAP1
0000055a: DUP1
0000055b: DUP1
0000055c: CALLDATALOAD
0000055d: ISZERO
0000055e: ISZERO
0000055f: SWAP1
00000560: PUSH1 0x20
00000562: ADD
00000563: SWAP1
00000564: SWAP3
00000565: SWAP2
00000566: SWAP1
00000567: POP
00000568: POP
00000569: POP
0000056a: PUSH2 0x10bc
0000056d: JUMP
0000056e: JUMPDEST
0000056f: PUSH1 0x40
00000571: MLOAD
00000572: DUP1
00000573: DUP3
00000574: DUP2
00000575: MSTORE
00000576: PUSH1 0x20
00000578: ADD
00000579: SWAP2
0000057a: POP
0000057b: POP
0000057c: PUSH1 0x40
0000057e: MLOAD
0000057f: DUP1
00000580: SWAP2
00000581: SUB
00000582: SWAP1
00000583: RETURN
00000584: JUMPDEST
00000585: CALLVALUE
00000586: DUP1
00000587: ISZERO
00000588: PUSH2 0x0590
0000058b: JUMPI
0000058c: PUSH1 0x00
0000058e: DUP1
0000058f: REVERT
00000590: JUMPDEST
00000591: POP
00000592: PUSH2 0x0599
00000595: PUSH2 0x1128
00000598: JUMP
00000599: JUMPDEST
0000059a: PUSH1 0x40
0000059c: MLOAD
0000059d: DUP1
0000059e: DUP3
0000059f: DUP2
000005a0: MSTORE
000005a1: PUSH1 0x20
000005a3: ADD
000005a4: SWAP2
000005a5: POP
000005a6: POP
000005a7: PUSH1 0x40
000005a9: MLOAD
000005aa: DUP1
000005ab: SWAP2
000005ac: SUB
000005ad: SWAP1
000005ae: RETURN
000005af: JUMPDEST
000005b0: CALLVALUE
000005b1: DUP1
000005b2: ISZERO
000005b3: PUSH2 0x05bb
000005b6: JUMPI
000005b7: PUSH1 0x00
000005b9: DUP1
000005ba: REVERT
000005bb: JUMPDEST
000005bc: POP
000005bd: PUSH2 0x05f0
000005c0: PUSH1 0x04
000005c2: DUP1
000005c3: CALLDATASIZE
000005c4: SUB
000005c5: DUP2
000005c6: ADD
000005c7: SWAP1
000005c8: DUP1
000005c9: DUP1
000005ca: CALLDATALOAD
000005cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005e0: AND
000005e1: SWAP1
000005e2: PUSH1 0x20
000005e4: ADD
000005e5: SWAP1
000005e6: SWAP3
000005e7: SWAP2
000005e8: SWAP1
000005e9: POP
000005ea: POP
000005eb: POP
000005ec: PUSH2 0x1147
000005ef: JUMP
000005f0: JUMPDEST
000005f1: PUSH1 0x40
000005f3: MLOAD
000005f4: DUP1
000005f5: DUP3
000005f6: DUP2
000005f7: MSTORE
000005f8: PUSH1 0x20
000005fa: ADD
000005fb: SWAP2
000005fc: POP
000005fd: POP
000005fe: PUSH1 0x40
00000600: MLOAD
00000601: DUP1
00000602: SWAP2
00000603: SUB
00000604: SWAP1
00000605: RETURN
00000606: JUMPDEST
00000607: CALLVALUE
00000608: DUP1
00000609: ISZERO
0000060a: PUSH2 0x0612
0000060d: JUMPI
0000060e: PUSH1 0x00
00000610: DUP1
00000611: REVERT
00000612: JUMPDEST
00000613: POP
00000614: PUSH2 0x061b
00000617: PUSH2 0x1190
0000061a: JUMP
0000061b: JUMPDEST
0000061c: PUSH1 0x40
0000061e: MLOAD
0000061f: DUP1
00000620: DUP3
00000621: DUP2
00000622: MSTORE
00000623: PUSH1 0x20
00000625: ADD
00000626: SWAP2
00000627: POP
00000628: POP
00000629: PUSH1 0x40
0000062b: MLOAD
0000062c: DUP1
0000062d: SWAP2
0000062e: SUB
0000062f: SWAP1
00000630: RETURN
00000631: JUMPDEST
00000632: CALLVALUE
00000633: DUP1
00000634: ISZERO
00000635: PUSH2 0x063d
00000638: JUMPI
00000639: PUSH1 0x00
0000063b: DUP1
0000063c: REVERT
0000063d: JUMPDEST
0000063e: POP
0000063f: PUSH2 0x0646
00000642: PUSH2 0x11f3
00000645: JUMP
00000646: JUMPDEST
00000647: PUSH1 0x40
00000649: MLOAD
0000064a: DUP1
0000064b: DUP3
0000064c: DUP2
0000064d: MSTORE
0000064e: PUSH1 0x20
00000650: ADD
00000651: SWAP2
00000652: POP
00000653: POP
00000654: PUSH1 0x40
00000656: MLOAD
00000657: DUP1
00000658: SWAP2
00000659: SUB
0000065a: SWAP1
0000065b: RETURN
0000065c: JUMPDEST
0000065d: CALLVALUE
0000065e: DUP1
0000065f: ISZERO
00000660: PUSH2 0x0668
00000663: JUMPI
00000664: PUSH1 0x00
00000666: DUP1
00000667: REVERT
00000668: JUMPDEST
00000669: POP
0000066a: PUSH2 0x0671
0000066d: PUSH2 0x1208
00000670: JUMP
00000671: JUMPDEST
00000672: PUSH1 0x40
00000674: MLOAD
00000675: DUP1
00000676: DUP1
00000677: PUSH1 0x20
00000679: ADD
0000067a: DUP3
0000067b: DUP2
0000067c: SUB
0000067d: DUP3
0000067e: MSTORE
0000067f: DUP4
00000680: DUP2
00000681: DUP2
00000682: MLOAD
00000683: DUP2
00000684: MSTORE
00000685: PUSH1 0x20
00000687: ADD
00000688: SWAP2
00000689: POP
0000068a: DUP1
0000068b: MLOAD
0000068c: SWAP1
0000068d: PUSH1 0x20
0000068f: ADD
00000690: SWAP1
00000691: DUP1
00000692: DUP4
00000693: DUP4
00000694: PUSH1 0x00
00000696: JUMPDEST
00000697: DUP4
00000698: DUP2
00000699: LT
0000069a: ISZERO
0000069b: PUSH2 0x06b1
0000069e: JUMPI
0000069f: DUP1
000006a0: DUP3
000006a1: ADD
000006a2: MLOAD
000006a3: DUP2
000006a4: DUP5
000006a5: ADD
000006a6: MSTORE
000006a7: PUSH1 0x20
000006a9: DUP2
000006aa: ADD
000006ab: SWAP1
000006ac: POP
000006ad: PUSH2 0x0696
000006b0: JUMP
000006b1: JUMPDEST
000006b2: POP
000006b3: POP
000006b4: POP
000006b5: POP
000006b6: SWAP1
000006b7: POP
000006b8: SWAP1
000006b9: DUP2
000006ba: ADD
000006bb: SWAP1
000006bc: PUSH1 0x1f
000006be: AND
000006bf: DUP1
000006c0: ISZERO
000006c1: PUSH2 0x06de
000006c4: JUMPI
000006c5: DUP1
000006c6: DUP3
000006c7: SUB
000006c8: DUP1
000006c9: MLOAD
000006ca: PUSH1 0x01
000006cc: DUP4
000006cd: PUSH1 0x20
000006cf: SUB
000006d0: PUSH2 0x0100
000006d3: EXP
000006d4: SUB
000006d5: NOT
000006d6: AND
000006d7: DUP2
000006d8: MSTORE
000006d9: PUSH1 0x20
000006db: ADD
000006dc: SWAP2
000006dd: POP
000006de: JUMPDEST
000006df: POP
000006e0: SWAP3
000006e1: POP
000006e2: POP
000006e3: POP
000006e4: PUSH1 0x40
000006e6: MLOAD
000006e7: DUP1
000006e8: SWAP2
000006e9: SUB
000006ea: SWAP1
000006eb: RETURN
000006ec: JUMPDEST
000006ed: CALLVALUE
000006ee: DUP1
000006ef: ISZERO
000006f0: PUSH2 0x06f8
000006f3: JUMPI
000006f4: PUSH1 0x00
000006f6: DUP1
000006f7: REVERT
000006f8: JUMPDEST
000006f9: POP
000006fa: PUSH2 0x0737
000006fd: PUSH1 0x04
000006ff: DUP1
00000700: CALLDATASIZE
00000701: SUB
00000702: DUP2
00000703: ADD
00000704: SWAP1
00000705: DUP1
00000706: DUP1
00000707: CALLDATALOAD
00000708: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000071d: AND
0000071e: SWAP1
0000071f: PUSH1 0x20
00000721: ADD
00000722: SWAP1
00000723: SWAP3
00000724: SWAP2
00000725: SWAP1
00000726: DUP1
00000727: CALLDATALOAD
00000728: SWAP1
00000729: PUSH1 0x20
0000072b: ADD
0000072c: SWAP1
0000072d: SWAP3
0000072e: SWAP2
0000072f: SWAP1
00000730: POP
00000731: POP
00000732: POP
00000733: PUSH2 0x12a6
00000736: JUMP
00000737: JUMPDEST
00000738: PUSH1 0x40
0000073a: MLOAD
0000073b: DUP1
0000073c: DUP3
0000073d: ISZERO
0000073e: ISZERO
0000073f: ISZERO
00000740: ISZERO
00000741: DUP2
00000742: MSTORE
00000743: PUSH1 0x20
00000745: ADD
00000746: SWAP2
00000747: POP
00000748: POP
00000749: PUSH1 0x40
0000074b: MLOAD
0000074c: DUP1
0000074d: SWAP2
0000074e: SUB
0000074f: SWAP1
00000750: RETURN
00000751: JUMPDEST
00000752: CALLVALUE
00000753: DUP1
00000754: ISZERO
00000755: PUSH2 0x075d
00000758: JUMPI
00000759: PUSH1 0x00
0000075b: DUP1
0000075c: REVERT
0000075d: JUMPDEST
0000075e: POP
0000075f: PUSH2 0x077c
00000762: PUSH1 0x04
00000764: DUP1
00000765: CALLDATASIZE
00000766: SUB
00000767: DUP2
00000768: ADD
00000769: SWAP1
0000076a: DUP1
0000076b: DUP1
0000076c: CALLDATALOAD
0000076d: SWAP1
0000076e: PUSH1 0x20
00000770: ADD
00000771: SWAP1
00000772: SWAP3
00000773: SWAP2
00000774: SWAP1
00000775: POP
00000776: POP
00000777: POP
00000778: PUSH2 0x15c9
0000077b: JUMP
0000077c: JUMPDEST
0000077d: STOP
0000077e: JUMPDEST
0000077f: CALLVALUE
00000780: DUP1
00000781: ISZERO
00000782: PUSH2 0x078a
00000785: JUMPI
00000786: PUSH1 0x00
00000788: DUP1
00000789: REVERT
0000078a: JUMPDEST
0000078b: POP
0000078c: PUSH2 0x0793
0000078f: PUSH2 0x1994
00000792: JUMP
00000793: JUMPDEST
00000794: STOP
00000795: JUMPDEST
00000796: PUSH2 0x07c9
00000799: PUSH1 0x04
0000079b: DUP1
0000079c: CALLDATASIZE
0000079d: SUB
0000079e: DUP2
0000079f: ADD
000007a0: SWAP1
000007a1: DUP1
000007a2: DUP1
000007a3: CALLDATALOAD
000007a4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007b9: AND
000007ba: SWAP1
000007bb: PUSH1 0x20
000007bd: ADD
000007be: SWAP1
000007bf: SWAP3
000007c0: SWAP2
000007c1: SWAP1
000007c2: POP
000007c3: POP
000007c4: POP
000007c5: PUSH2 0x19fb
000007c8: JUMP
000007c9: JUMPDEST
000007ca: PUSH1 0x40
000007cc: MLOAD
000007cd: DUP1
000007ce: DUP3
000007cf: DUP2
000007d0: MSTORE
000007d1: PUSH1 0x20
000007d3: ADD
000007d4: SWAP2
000007d5: POP
000007d6: POP
000007d7: PUSH1 0x40
000007d9: MLOAD
000007da: DUP1
000007db: SWAP2
000007dc: SUB
000007dd: SWAP1
000007de: RETURN
000007df: JUMPDEST
000007e0: CALLVALUE
000007e1: DUP1
000007e2: ISZERO
000007e3: PUSH2 0x07eb
000007e6: JUMPI
000007e7: PUSH1 0x00
000007e9: DUP1
000007ea: REVERT
000007eb: JUMPDEST
000007ec: POP
000007ed: PUSH2 0x07f4
000007f0: PUSH2 0x1bfd
000007f3: JUMP
000007f4: JUMPDEST
000007f5: STOP
000007f6: JUMPDEST
000007f7: PUSH1 0x00
000007f9: DUP1
000007fa: DUP3
000007fb: DUP5
000007fc: DUP2
000007fd: ISZERO
000007fe: ISZERO
000007ff: PUSH2 0x0804
00000802: JUMPI
00000803: INVALID
00000804: JUMPDEST
00000805: DIV
00000806: SWAP1
00000807: POP
00000808: DUP1
00000809: SWAP2
0000080a: POP
0000080b: POP
0000080c: SWAP3
0000080d: SWAP2
0000080e: POP
0000080f: POP
00000810: JUMP
00000811: JUMPDEST
00000812: PUSH1 0x00
00000814: DUP1
00000815: PUSH1 0x00
00000817: DUP5
00000818: EQ
00000819: ISZERO
0000081a: PUSH2 0x0826
0000081d: JUMPI
0000081e: PUSH1 0x00
00000820: SWAP2
00000821: POP
00000822: PUSH2 0x0845
00000825: JUMP
00000826: JUMPDEST
00000827: DUP3
00000828: DUP5
00000829: MUL
0000082a: SWAP1
0000082b: POP
0000082c: DUP3
0000082d: DUP5
0000082e: DUP3
0000082f: DUP2
00000830: ISZERO
00000831: ISZERO
00000832: PUSH2 0x0837
00000835: JUMPI
00000836: INVALID
00000837: JUMPDEST
00000838: DIV
00000839: EQ
0000083a: ISZERO
0000083b: ISZERO
0000083c: PUSH2 0x0841
0000083f: JUMPI
00000840: INVALID
00000841: JUMPDEST
00000842: DUP1
00000843: SWAP2
00000844: POP
00000845: JUMPDEST
00000846: POP
00000847: SWAP3
00000848: SWAP2
00000849: POP
0000084a: POP
0000084b: JUMP
0000084c: JUMPDEST
0000084d: PUSH1 0x00
0000084f: DUP3
00000850: DUP3
00000851: GT
00000852: ISZERO
00000853: ISZERO
00000854: ISZERO
00000855: PUSH2 0x085a
00000858: JUMPI
00000859: INVALID
0000085a: JUMPDEST
0000085b: DUP2
0000085c: DUP4
0000085d: SUB
0000085e: SWAP1
0000085f: POP
00000860: SWAP3
00000861: SWAP2
00000862: POP
00000863: POP
00000864: JUMP
00000865: JUMPDEST
00000866: PUSH1 0x00
00000868: DUP1
00000869: PUSH1 0x00
0000086b: DUP1
0000086c: PUSH1 0x00
0000086e: DUP1
0000086f: PUSH1 0x00
00000871: DUP1
00000872: PUSH1 0x00
00000874: DUP1
00000875: PUSH1 0x00
00000877: CALLER
00000878: SWAP10
00000879: POP
0000087a: PUSH2 0x0891
0000087d: PUSH2 0x088a
00000880: DUP15
00000881: PUSH1 0x0f
00000883: PUSH1 0xff
00000885: AND
00000886: PUSH2 0x0811
00000889: JUMP
0000088a: JUMPDEST
0000088b: PUSH1 0x64
0000088d: PUSH2 0x07f6
00000890: JUMP
00000891: JUMPDEST
00000892: SWAP9
00000893: POP
00000894: PUSH2 0x08ab
00000897: PUSH2 0x08a4
0000089a: DUP11
0000089b: PUSH1 0x1e
0000089d: PUSH1 0xff
0000089f: AND
000008a0: PUSH2 0x0811
000008a3: JUMP
000008a4: JUMPDEST
000008a5: PUSH1 0x64
000008a7: PUSH2 0x07f6
000008aa: JUMP
000008ab: JUMPDEST
000008ac: SWAP8
000008ad: POP
000008ae: PUSH2 0x08c2
000008b1: PUSH2 0x08bb
000008b4: DUP15
000008b5: PUSH1 0x05
000008b7: PUSH2 0x0811
000008ba: JUMP
000008bb: JUMPDEST
000008bc: PUSH1 0x64
000008be: PUSH2 0x07f6
000008c1: JUMP
000008c2: JUMPDEST
000008c3: SWAP7
000008c4: POP
000008c5: PUSH2 0x08ce
000008c8: DUP10
000008c9: DUP10
000008ca: PUSH2 0x084c
000008cd: JUMP
000008ce: JUMPDEST
000008cf: SWAP6
000008d0: POP
000008d1: PUSH2 0x08da
000008d4: DUP7
000008d5: DUP9
000008d6: PUSH2 0x084c
000008d9: JUMP
000008da: JUMPDEST
000008db: SWAP5
000008dc: POP
000008dd: PUSH2 0x08e6
000008e0: DUP14
000008e1: DUP11
000008e2: PUSH2 0x084c
000008e5: JUMP
000008e6: JUMPDEST
000008e7: SWAP4
000008e8: POP
000008e9: PUSH2 0x08f1
000008ec: DUP5
000008ed: PUSH2 0x1d71
000008f0: JUMP
000008f1: JUMPDEST
000008f2: SWAP3
000008f3: POP
000008f4: PUSH9 0x010000000000000000
000008fe: DUP6
000008ff: MUL
00000900: SWAP2
00000901: POP
00000902: PUSH1 0x00
00000904: DUP4
00000905: GT
00000906: DUP1
00000907: ISZERO
00000908: PUSH2 0x091d
0000090b: JUMPI
0000090c: POP
0000090d: PUSH1 0x06
0000090f: SLOAD
00000910: PUSH2 0x091b
00000913: DUP5
00000914: PUSH1 0x06
00000916: SLOAD
00000917: PUSH2 0x1dfe
0000091a: JUMP
0000091b: JUMPDEST
0000091c: GT
0000091d: JUMPDEST
0000091e: ISZERO
0000091f: ISZERO
00000920: PUSH2 0x0928
00000923: JUMPI
00000924: PUSH1 0x00
00000926: DUP1
00000927: REVERT
00000928: JUMPDEST
00000929: PUSH1 0x00
0000092b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000940: AND
00000941: DUP13
00000942: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000957: AND
00000958: EQ
00000959: ISZERO
0000095a: DUP1
0000095b: ISZERO
0000095c: PUSH2 0x0991
0000095f: JUMPI
00000960: POP
00000961: DUP10
00000962: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000977: AND
00000978: DUP13
00000979: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000098e: AND
0000098f: EQ
00000990: ISZERO
00000991: JUMPDEST
00000992: DUP1
00000993: ISZERO
00000994: PUSH2 0x09de
00000997: JUMPI
00000998: POP
00000999: PUSH1 0x02
0000099b: SLOAD
0000099c: PUSH1 0x03
0000099e: PUSH1 0x00
000009a0: DUP15
000009a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009b6: AND
000009b7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009cc: AND
000009cd: DUP2
000009ce: MSTORE
000009cf: PUSH1 0x20
000009d1: ADD
000009d2: SWAP1
000009d3: DUP2
000009d4: MSTORE
000009d5: PUSH1 0x20
000009d7: ADD
000009d8: PUSH1 0x00
000009da: KECCAK256
000009db: SLOAD
000009dc: LT
000009dd: ISZERO
000009de: JUMPDEST
000009df: ISZERO
000009e0: PUSH2 0x0a74
000009e3: JUMPI
000009e4: PUSH2 0x0a2c
000009e7: PUSH1 0x04
000009e9: PUSH1 0x00
000009eb: DUP15
000009ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a01: AND
00000a02: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a17: AND
00000a18: DUP2
00000a19: MSTORE
00000a1a: PUSH1 0x20
00000a1c: ADD
00000a1d: SWAP1
00000a1e: DUP2
00000a1f: MSTORE
00000a20: PUSH1 0x20
00000a22: ADD
00000a23: PUSH1 0x00
00000a25: KECCAK256
00000a26: SLOAD
00000a27: DUP10
00000a28: PUSH2 0x1dfe
00000a2b: JUMP
00000a2c: JUMPDEST
00000a2d: PUSH1 0x04
00000a2f: PUSH1 0x00
00000a31: DUP15
00000a32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a47: AND
00000a48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a5d: AND
00000a5e: DUP2
00000a5f: MSTORE
00000a60: PUSH1 0x20
00000a62: ADD
00000a63: SWAP1
00000a64: DUP2
00000a65: MSTORE
00000a66: PUSH1 0x20
00000a68: ADD
00000a69: PUSH1 0x00
00000a6b: KECCAK256
00000a6c: DUP2
00000a6d: SWAP1
00000a6e: SSTORE
00000a6f: POP
00000a70: PUSH2 0x0a8f
00000a73: JUMP
00000a74: JUMPDEST
00000a75: PUSH2 0x0a7e
00000a78: DUP6
00000a79: DUP10
00000a7a: PUSH2 0x1dfe
00000a7d: JUMP
00000a7e: JUMPDEST
00000a7f: SWAP5
00000a80: POP
00000a81: PUSH9 0x010000000000000000
00000a8b: DUP6
00000a8c: MUL
00000a8d: SWAP2
00000a8e: POP
00000a8f: JUMPDEST
00000a90: PUSH1 0x00
00000a92: PUSH1 0x06
00000a94: SLOAD
00000a95: GT
00000a96: ISZERO
00000a97: PUSH2 0x0afa
00000a9a: JUMPI
00000a9b: PUSH2 0x0aa6
00000a9e: PUSH1 0x06
00000aa0: SLOAD
00000aa1: DUP5
00000aa2: PUSH2 0x1dfe
00000aa5: JUMP
00000aa6: JUMPDEST
00000aa7: PUSH1 0x06
00000aa9: DUP2
00000aaa: SWAP1
00000aab: SSTORE
00000aac: POP
00000aad: PUSH1 0x06
00000aaf: SLOAD
00000ab0: PUSH9 0x010000000000000000
00000aba: DUP7
00000abb: MUL
00000abc: DUP2
00000abd: ISZERO
00000abe: ISZERO
00000abf: PUSH2 0x0ac4
00000ac2: JUMPI
00000ac3: INVALID
00000ac4: JUMPDEST
00000ac5: DIV
00000ac6: PUSH1 0x07
00000ac8: PUSH1 0x00
00000aca: DUP3
00000acb: DUP3
00000acc: SLOAD
00000acd: ADD
00000ace: SWAP3
00000acf: POP
00000ad0: POP
00000ad1: DUP2
00000ad2: SWAP1
00000ad3: SSTORE
00000ad4: POP
00000ad5: PUSH1 0x06
00000ad7: SLOAD
00000ad8: PUSH9 0x010000000000000000
00000ae2: DUP7
00000ae3: MUL
00000ae4: DUP2
00000ae5: ISZERO
00000ae6: ISZERO
00000ae7: PUSH2 0x0aec
00000aea: JUMPI
00000aeb: INVALID
00000aec: JUMPDEST
00000aed: DIV
00000aee: DUP4
00000aef: MUL
00000af0: DUP3
00000af1: SUB
00000af2: DUP3
00000af3: SUB
00000af4: SWAP2
00000af5: POP
00000af6: PUSH2 0x0b02
00000af9: JUMP
00000afa: JUMPDEST
00000afb: DUP3
00000afc: PUSH1 0x06
00000afe: DUP2
00000aff: SWAP1
00000b00: SSTORE
00000b01: POP
00000b02: JUMPDEST
00000b03: PUSH2 0x0b4b
00000b06: PUSH1 0x03
00000b08: PUSH1 0x00
00000b0a: DUP13
00000b0b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b20: AND
00000b21: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b36: AND
00000b37: DUP2
00000b38: MSTORE
00000b39: PUSH1 0x20
00000b3b: ADD
00000b3c: SWAP1
00000b3d: DUP2
00000b3e: MSTORE
00000b3f: PUSH1 0x20
00000b41: ADD
00000b42: PUSH1 0x00
00000b44: KECCAK256
00000b45: SLOAD
00000b46: DUP5
00000b47: PUSH2 0x1dfe
00000b4a: JUMP
00000b4b: JUMPDEST
00000b4c: PUSH1 0x03
00000b4e: PUSH1 0x00
00000b50: DUP13
00000b51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b66: AND
00000b67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b7c: AND
00000b7d: DUP2
00000b7e: MSTORE
00000b7f: PUSH1 0x20
00000b81: ADD
00000b82: SWAP1
00000b83: DUP2
00000b84: MSTORE
00000b85: PUSH1 0x20
00000b87: ADD
00000b88: PUSH1 0x00
00000b8a: KECCAK256
00000b8b: DUP2
00000b8c: SWAP1
00000b8d: SSTORE
00000b8e: POP
00000b8f: DUP2
00000b90: DUP4
00000b91: PUSH1 0x07
00000b93: SLOAD
00000b94: MUL
00000b95: SUB
00000b96: SWAP1
00000b97: POP
00000b98: DUP1
00000b99: PUSH1 0x05
00000b9b: PUSH1 0x00
00000b9d: DUP13
00000b9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bb3: AND
00000bb4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bc9: AND
00000bca: DUP2
00000bcb: MSTORE
00000bcc: PUSH1 0x20
00000bce: ADD
00000bcf: SWAP1
00000bd0: DUP2
00000bd1: MSTORE
00000bd2: PUSH1 0x20
00000bd4: ADD
00000bd5: PUSH1 0x00
00000bd7: KECCAK256
00000bd8: PUSH1 0x00
00000bda: DUP3
00000bdb: DUP3
00000bdc: SLOAD
00000bdd: ADD
00000bde: SWAP3
00000bdf: POP
00000be0: POP
00000be1: DUP2
00000be2: SWAP1
00000be3: SSTORE
00000be4: POP
00000be5: DUP12
00000be6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bfb: AND
00000bfc: DUP11
00000bfd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c12: AND
00000c13: PUSH32 0x8032875b28d82ddbd303a9e4e5529d047a14ecb6290f80012a81b7e6227ff1ab
00000c34: DUP16
00000c35: DUP7
00000c36: TIMESTAMP
00000c37: PUSH2 0x0c3e
00000c3a: PUSH2 0x1190
00000c3d: JUMP
00000c3e: JUMPDEST
00000c3f: PUSH1 0x40
00000c41: MLOAD
00000c42: DUP1
00000c43: DUP6
00000c44: DUP2
00000c45: MSTORE
00000c46: PUSH1 0x20
00000c48: ADD
00000c49: DUP5
00000c4a: DUP2
00000c4b: MSTORE
00000c4c: PUSH1 0x20
00000c4e: ADD
00000c4f: DUP4
00000c50: DUP2
00000c51: MSTORE
00000c52: PUSH1 0x20
00000c54: ADD
00000c55: DUP3
00000c56: DUP2
00000c57: MSTORE
00000c58: PUSH1 0x20
00000c5a: ADD
00000c5b: SWAP5
00000c5c: POP
00000c5d: POP
00000c5e: POP
00000c5f: POP
00000c60: POP
00000c61: PUSH1 0x40
00000c63: MLOAD
00000c64: DUP1
00000c65: SWAP2
00000c66: SUB
00000c67: SWAP1
00000c68: LOG3
00000c69: DUP3
00000c6a: SWAP11
00000c6b: POP
00000c6c: POP
00000c6d: POP
00000c6e: POP
00000c6f: POP
00000c70: POP
00000c71: POP
00000c72: POP
00000c73: POP
00000c74: POP
00000c75: POP
00000c76: SWAP3
00000c77: SWAP2
00000c78: POP
00000c79: POP
00000c7a: JUMP
00000c7b: JUMPDEST
00000c7c: PUSH1 0x00
00000c7e: PUSH9 0x010000000000000000
00000c88: PUSH1 0x05
00000c8a: PUSH1 0x00
00000c8c: DUP5
00000c8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ca2: AND
00000ca3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cb8: AND
00000cb9: DUP2
00000cba: MSTORE
00000cbb: PUSH1 0x20
00000cbd: ADD
00000cbe: SWAP1
00000cbf: DUP2
00000cc0: MSTORE
00000cc1: PUSH1 0x20
00000cc3: ADD
00000cc4: PUSH1 0x00
00000cc6: KECCAK256
00000cc7: SLOAD
00000cc8: PUSH1 0x03
00000cca: PUSH1 0x00
00000ccc: DUP6
00000ccd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ce2: AND
00000ce3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cf8: AND
00000cf9: DUP2
00000cfa: MSTORE
00000cfb: PUSH1 0x20
00000cfd: ADD
00000cfe: SWAP1
00000cff: DUP2
00000d00: MSTORE
00000d01: PUSH1 0x20
00000d03: ADD
00000d04: PUSH1 0x00
00000d06: KECCAK256
00000d07: SLOAD
00000d08: PUSH1 0x07
00000d0a: SLOAD
00000d0b: MUL
00000d0c: SUB
00000d0d: DUP2
00000d0e: ISZERO
00000d0f: ISZERO
00000d10: PUSH2 0x0d15
00000d13: JUMPI
00000d14: INVALID
00000d15: JUMPDEST
00000d16: DIV
00000d17: SWAP1
00000d18: POP
00000d19: SWAP2
00000d1a: SWAP1
00000d1b: POP
00000d1c: JUMP
00000d1d: JUMPDEST
00000d1e: PUSH1 0x00
00000d20: DUP1
00000d21: SLOAD
00000d22: PUSH1 0x01
00000d24: DUP2
00000d25: PUSH1 0x01
00000d27: AND
00000d28: ISZERO
00000d29: PUSH2 0x0100
00000d2c: MUL
00000d2d: SUB
00000d2e: AND
00000d2f: PUSH1 0x02
00000d31: SWAP1
00000d32: DIV
00000d33: DUP1
00000d34: PUSH1 0x1f
00000d36: ADD
00000d37: PUSH1 0x20
00000d39: DUP1
00000d3a: SWAP2
00000d3b: DIV
00000d3c: MUL
00000d3d: PUSH1 0x20
00000d3f: ADD
00000d40: PUSH1 0x40
00000d42: MLOAD
00000d43: SWAP1
00000d44: DUP2
00000d45: ADD
00000d46: PUSH1 0x40
00000d48: MSTORE
00000d49: DUP1
00000d4a: SWAP3
00000d4b: SWAP2
00000d4c: SWAP1
00000d4d: DUP2
00000d4e: DUP2
00000d4f: MSTORE
00000d50: PUSH1 0x20
00000d52: ADD
00000d53: DUP3
00000d54: DUP1
00000d55: SLOAD
00000d56: PUSH1 0x01
00000d58: DUP2
00000d59: PUSH1 0x01
00000d5b: AND
00000d5c: ISZERO
00000d5d: PUSH2 0x0100
00000d60: MUL
00000d61: SUB
00000d62: AND
00000d63: PUSH1 0x02
00000d65: SWAP1
00000d66: DIV
00000d67: DUP1
00000d68: ISZERO
00000d69: PUSH2 0x0db3
00000d6c: JUMPI
00000d6d: DUP1
00000d6e: PUSH1 0x1f
00000d70: LT
00000d71: PUSH2 0x0d88
00000d74: JUMPI
00000d75: PUSH2 0x0100
00000d78: DUP1
00000d79: DUP4
00000d7a: SLOAD
00000d7b: DIV
00000d7c: MUL
00000d7d: DUP4
00000d7e: MSTORE
00000d7f: SWAP2
00000d80: PUSH1 0x20
00000d82: ADD
00000d83: SWAP2
00000d84: PUSH2 0x0db3
00000d87: JUMP
00000d88: JUMPDEST
00000d89: DUP3
00000d8a: ADD
00000d8b: SWAP2
00000d8c: SWAP1
00000d8d: PUSH1 0x00
00000d8f: MSTORE
00000d90: PUSH1 0x20
00000d92: PUSH1 0x00
00000d94: KECCAK256
00000d95: SWAP1
00000d96: JUMPDEST
00000d97: DUP2
00000d98: SLOAD
00000d99: DUP2
00000d9a: MSTORE
00000d9b: SWAP1
00000d9c: PUSH1 0x01
00000d9e: ADD
00000d9f: SWAP1
00000da0: PUSH1 0x20
00000da2: ADD
00000da3: DUP1
00000da4: DUP4
00000da5: GT
00000da6: PUSH2 0x0d96
00000da9: JUMPI
00000daa: DUP3
00000dab: SWAP1
00000dac: SUB
00000dad: PUSH1 0x1f
00000daf: AND
00000db0: DUP3
00000db1: ADD
00000db2: SWAP2
00000db3: JUMPDEST
00000db4: POP
00000db5: POP
00000db6: POP
00000db7: POP
00000db8: POP
00000db9: DUP2
00000dba: JUMP
00000dbb: JUMPDEST
00000dbc: PUSH1 0x00
00000dbe: DUP1
00000dbf: PUSH1 0x00
00000dc1: DUP1
00000dc2: PUSH2 0x0dd9
00000dc5: PUSH2 0x0dd2
00000dc8: DUP7
00000dc9: PUSH1 0x0f
00000dcb: PUSH1 0xff
00000dcd: AND
00000dce: PUSH2 0x0811
00000dd1: JUMP
00000dd2: JUMPDEST
00000dd3: PUSH1 0x64
00000dd5: PUSH2 0x07f6
00000dd8: JUMP
00000dd9: JUMPDEST
00000dda: SWAP3
00000ddb: POP
00000ddc: PUSH2 0x0de5
00000ddf: DUP6
00000de0: DUP5
00000de1: PUSH2 0x084c
00000de4: JUMP
00000de5: JUMPDEST
00000de6: SWAP2
00000de7: POP
00000de8: PUSH2 0x0df0
00000deb: DUP3
00000dec: PUSH2 0x1d71
00000def: JUMP
00000df0: JUMPDEST
00000df1: SWAP1
00000df2: POP
00000df3: DUP1
00000df4: SWAP4
00000df5: POP
00000df6: POP
00000df7: POP
00000df8: POP
00000df9: SWAP2
00000dfa: SWAP1
00000dfb: POP
00000dfc: JUMP
00000dfd: JUMPDEST
00000dfe: PUSH1 0x00
00000e00: PUSH1 0x06
00000e02: SLOAD
00000e03: SWAP1
00000e04: POP
00000e05: SWAP1
00000e06: JUMP
00000e07: JUMPDEST
00000e08: PUSH1 0x00
00000e0a: DUP1
00000e0b: PUSH1 0x00
00000e0d: DUP1
00000e0e: PUSH1 0x00
00000e10: DUP1
00000e11: PUSH1 0x06
00000e13: SLOAD
00000e14: DUP8
00000e15: GT
00000e16: ISZERO
00000e17: ISZERO
00000e18: ISZERO
00000e19: PUSH2 0x0e21
00000e1c: JUMPI
00000e1d: PUSH1 0x00
00000e1f: DUP1
00000e20: REVERT
00000e21: JUMPDEST
00000e22: PUSH2 0x0e2a
00000e25: DUP8
00000e26: PUSH2 0x1e1c
00000e29: JUMP
00000e2a: JUMPDEST
00000e2b: SWAP5
00000e2c: POP
00000e2d: PUSH2 0x0e44
00000e30: PUSH2 0x0e3d
00000e33: DUP7
00000e34: PUSH1 0x1d
00000e36: PUSH1 0xff
00000e38: AND
00000e39: PUSH2 0x0811
00000e3c: JUMP
00000e3d: JUMPDEST
00000e3e: PUSH1 0x64
00000e40: PUSH2 0x07f6
00000e43: JUMP
00000e44: JUMPDEST
00000e45: SWAP4
00000e46: POP
00000e47: PUSH2 0x0e5b
00000e4a: PUSH2 0x0e54
00000e4d: DUP7
00000e4e: PUSH1 0x06
00000e50: PUSH2 0x0811
00000e53: JUMP
00000e54: JUMPDEST
00000e55: PUSH1 0x64
00000e57: PUSH2 0x07f6
00000e5a: JUMP
00000e5b: JUMPDEST
00000e5c: SWAP3
00000e5d: POP
00000e5e: PUSH2 0x0e67
00000e61: DUP6
00000e62: DUP6
00000e63: PUSH2 0x084c
00000e66: JUMP
00000e67: JUMPDEST
00000e68: SWAP2
00000e69: POP
00000e6a: PUSH2 0x0e73
00000e6d: DUP3
00000e6e: DUP5
00000e6f: PUSH2 0x084c
00000e72: JUMP
00000e73: JUMPDEST
00000e74: SWAP1
00000e75: POP
00000e76: DUP1
00000e77: SWAP6
00000e78: POP
00000e79: POP
00000e7a: POP
00000e7b: POP
00000e7c: POP
00000e7d: POP
00000e7e: SWAP2
00000e7f: SWAP1
00000e80: POP
00000e81: JUMP
00000e82: JUMPDEST
00000e83: PUSH1 0x12
00000e85: DUP2
00000e86: JUMP
00000e87: JUMPDEST
00000e88: PUSH1 0x00
00000e8a: DUP1
00000e8b: PUSH1 0x00
00000e8d: PUSH2 0x0e96
00000e90: PUSH1 0x01
00000e92: PUSH2 0x10bc
00000e95: JUMP
00000e96: JUMPDEST
00000e97: GT
00000e98: ISZERO
00000e99: ISZERO
00000e9a: PUSH2 0x0ea2
00000e9d: JUMPI
00000e9e: PUSH1 0x00
00000ea0: DUP1
00000ea1: REVERT
00000ea2: JUMPDEST
00000ea3: CALLER
00000ea4: SWAP2
00000ea5: POP
00000ea6: PUSH2 0x0eaf
00000ea9: PUSH1 0x00
00000eab: PUSH2 0x10bc
00000eae: JUMP
00000eaf: JUMPDEST
00000eb0: SWAP1
00000eb1: POP
00000eb2: PUSH9 0x010000000000000000
00000ebc: DUP2
00000ebd: MUL
00000ebe: PUSH1 0x05
00000ec0: PUSH1 0x00
00000ec2: DUP5
00000ec3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ed8: AND
00000ed9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000eee: AND
00000eef: DUP2
00000ef0: MSTORE
00000ef1: PUSH1 0x20
00000ef3: ADD
00000ef4: SWAP1
00000ef5: DUP2
00000ef6: MSTORE
00000ef7: PUSH1 0x20
00000ef9: ADD
00000efa: PUSH1 0x00
00000efc: KECCAK256
00000efd: PUSH1 0x00
00000eff: DUP3
00000f00: DUP3
00000f01: SLOAD
00000f02: ADD
00000f03: SWAP3
00000f04: POP
00000f05: POP
00000f06: DUP2
00000f07: SWAP1
00000f08: SSTORE
00000f09: POP
00000f0a: PUSH1 0x04
00000f0c: PUSH1 0x00
00000f0e: DUP4
00000f0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f24: AND
00000f25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f3a: AND
00000f3b: DUP2
00000f3c: MSTORE
00000f3d: PUSH1 0x20
00000f3f: ADD
00000f40: SWAP1
00000f41: DUP2
00000f42: MSTORE
00000f43: PUSH1 0x20
00000f45: ADD
00000f46: PUSH1 0x00
00000f48: KECCAK256
00000f49: SLOAD
00000f4a: DUP2
00000f4b: ADD
00000f4c: SWAP1
00000f4d: POP
00000f4e: PUSH1 0x00
00000f50: PUSH1 0x04
00000f52: PUSH1 0x00
00000f54: DUP5
00000f55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f6a: AND
00000f6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f80: AND
00000f81: DUP2
00000f82: MSTORE
00000f83: PUSH1 0x20
00000f85: ADD
00000f86: SWAP1
00000f87: DUP2
00000f88: MSTORE
00000f89: PUSH1 0x20
00000f8b: ADD
00000f8c: PUSH1 0x00
00000f8e: KECCAK256
00000f8f: DUP2
00000f90: SWAP1
00000f91: SSTORE
00000f92: POP
00000f93: DUP2
00000f94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fa9: AND
00000faa: PUSH2 0x08fc
00000fad: DUP3
00000fae: SWAP1
00000faf: DUP2
00000fb0: ISZERO
00000fb1: MUL
00000fb2: SWAP1
00000fb3: PUSH1 0x40
00000fb5: MLOAD
00000fb6: PUSH1 0x00
00000fb8: PUSH1 0x40
00000fba: MLOAD
00000fbb: DUP1
00000fbc: DUP4
00000fbd: SUB
00000fbe: DUP2
00000fbf: DUP6
00000fc0: DUP9
00000fc1: DUP9
00000fc2: CALL
00000fc3: SWAP4
00000fc4: POP
00000fc5: POP
00000fc6: POP
00000fc7: POP
00000fc8: ISZERO
00000fc9: DUP1
00000fca: ISZERO
00000fcb: PUSH2 0x0fd8
00000fce: JUMPI
00000fcf: RETURNDATASIZE
00000fd0: PUSH1 0x00
00000fd2: DUP1
00000fd3: RETURNDATACOPY
00000fd4: RETURNDATASIZE
00000fd5: PUSH1 0x00
00000fd7: REVERT
00000fd8: JUMPDEST
00000fd9: POP
00000fda: DUP2
00000fdb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ff0: AND
00000ff1: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc
00001012: DUP3
00001013: PUSH1 0x40
00001015: MLOAD
00001016: DUP1
00001017: DUP3
00001018: DUP2
00001019: MSTORE
0000101a: PUSH1 0x20
0000101c: ADD
0000101d: SWAP2
0000101e: POP
0000101f: POP
00001020: PUSH1 0x40
00001022: MLOAD
00001023: DUP1
00001024: SWAP2
00001025: SUB
00001026: SWAP1
00001027: LOG2
00001028: POP
00001029: POP
0000102a: JUMP
0000102b: JUMPDEST
0000102c: PUSH1 0x00
0000102e: DUP1
0000102f: PUSH1 0x00
00001031: DUP1
00001032: PUSH1 0x00
00001034: DUP1
00001035: PUSH1 0x00
00001037: PUSH1 0x06
00001039: SLOAD
0000103a: EQ
0000103b: ISZERO
0000103c: PUSH2 0x104e
0000103f: JUMPI
00001040: PUSH5 0x174876e800
00001046: DUP1
00001047: SUB
00001048: SWAP6
00001049: POP
0000104a: PUSH2 0x10ae
0000104d: JUMP
0000104e: JUMPDEST
0000104f: PUSH2 0x105f
00001052: PUSH8 0x0de0b6b3a7640000
0000105b: PUSH2 0x1e1c
0000105e: JUMP
0000105f: JUMPDEST
00001060: SWAP5
00001061: POP
00001062: PUSH2 0x1079
00001065: PUSH2 0x1072
00001068: DUP7
00001069: PUSH1 0x1d
0000106b: PUSH1 0xff
0000106d: AND
0000106e: PUSH2 0x0811
00001071: JUMP
00001072: JUMPDEST
00001073: PUSH1 0x64
00001075: PUSH2 0x07f6
00001078: JUMP
00001079: JUMPDEST
0000107a: SWAP4
0000107b: POP
0000107c: PUSH2 0x1090
0000107f: PUSH2 0x1089
00001082: DUP7
00001083: PUSH1 0x06
00001085: PUSH2 0x0811
00001088: JUMP
00001089: JUMPDEST
0000108a: PUSH1 0x64
0000108c: PUSH2 0x07f6
0000108f: JUMP
00001090: JUMPDEST
00001091: SWAP3
00001092: POP
00001093: PUSH2 0x109c
00001096: DUP6
00001097: DUP6
00001098: PUSH2 0x084c
0000109b: JUMP
0000109c: JUMPDEST
0000109d: SWAP2
0000109e: POP
0000109f: PUSH2 0x10a8
000010a2: DUP3
000010a3: DUP5
000010a4: PUSH2 0x084c
000010a7: JUMP
000010a8: JUMPDEST
000010a9: SWAP1
000010aa: POP
000010ab: DUP1
000010ac: SWAP6
000010ad: POP
000010ae: JUMPDEST
000010af: POP
000010b0: POP
000010b1: POP
000010b2: POP
000010b3: POP
000010b4: SWAP1
000010b5: JUMP
000010b6: JUMPDEST
000010b7: PUSH1 0x02
000010b9: SLOAD
000010ba: DUP2
000010bb: JUMP
000010bc: JUMPDEST
000010bd: PUSH1 0x00
000010bf: DUP1
000010c0: CALLER
000010c1: SWAP1
000010c2: POP
000010c3: DUP3
000010c4: PUSH2 0x10d5
000010c7: JUMPI
000010c8: PUSH2 0x10d0
000010cb: DUP2
000010cc: PUSH2 0x0c7b
000010cf: JUMP
000010d0: JUMPDEST
000010d1: PUSH2 0x1120
000010d4: JUMP
000010d5: JUMPDEST
000010d6: PUSH1 0x04
000010d8: PUSH1 0x00
000010da: DUP3
000010db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010f0: AND
000010f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001106: AND
00001107: DUP2
00001108: MSTORE
00001109: PUSH1 0x20
0000110b: ADD
0000110c: SWAP1
0000110d: DUP2
0000110e: MSTORE
0000110f: PUSH1 0x20
00001111: ADD
00001112: PUSH1 0x00
00001114: KECCAK256
00001115: SLOAD
00001116: PUSH2 0x111e
00001119: DUP3
0000111a: PUSH2 0x0c7b
0000111d: JUMP
0000111e: JUMPDEST
0000111f: ADD
00001120: JUMPDEST
00001121: SWAP2
00001122: POP
00001123: POP
00001124: SWAP2
00001125: SWAP1
00001126: POP
00001127: JUMP
00001128: JUMPDEST
00001129: PUSH1 0x00
0000112b: ADDRESS
0000112c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001141: AND
00001142: BALANCE
00001143: SWAP1
00001144: POP
00001145: SWAP1
00001146: JUMP
00001147: JUMPDEST
00001148: PUSH1 0x00
0000114a: PUSH1 0x03
0000114c: PUSH1 0x00
0000114e: DUP4
0000114f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001164: AND
00001165: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000117a: AND
0000117b: DUP2
0000117c: MSTORE
0000117d: PUSH1 0x20
0000117f: ADD
00001180: SWAP1
00001181: DUP2
00001182: MSTORE
00001183: PUSH1 0x20
00001185: ADD
00001186: PUSH1 0x00
00001188: KECCAK256
00001189: SLOAD
0000118a: SWAP1
0000118b: POP
0000118c: SWAP2
0000118d: SWAP1
0000118e: POP
0000118f: JUMP
00001190: JUMPDEST
00001191: PUSH1 0x00
00001193: DUP1
00001194: PUSH1 0x00
00001196: DUP1
00001197: PUSH1 0x00
00001199: PUSH1 0x06
0000119b: SLOAD
0000119c: EQ
0000119d: ISZERO
0000119e: PUSH2 0x11b0
000011a1: JUMPI
000011a2: PUSH5 0x174876e800
000011a8: DUP1
000011a9: ADD
000011aa: SWAP4
000011ab: POP
000011ac: PUSH2 0x11ed
000011af: JUMP
000011b0: JUMPDEST
000011b1: PUSH2 0x11c1
000011b4: PUSH8 0x0de0b6b3a7640000
000011bd: PUSH2 0x1e1c
000011c0: JUMP
000011c1: JUMPDEST
000011c2: SWAP3
000011c3: POP
000011c4: PUSH2 0x11db
000011c7: PUSH2 0x11d4
000011ca: DUP5
000011cb: PUSH1 0x0f
000011cd: PUSH1 0xff
000011cf: AND
000011d0: PUSH2 0x0811
000011d3: JUMP
000011d4: JUMPDEST
000011d5: PUSH1 0x64
000011d7: PUSH2 0x07f6
000011da: JUMP
000011db: JUMPDEST
000011dc: SWAP2
000011dd: POP
000011de: PUSH2 0x11e7
000011e1: DUP4
000011e2: DUP4
000011e3: PUSH2 0x1dfe
000011e6: JUMP
000011e7: JUMPDEST
000011e8: SWAP1
000011e9: POP
000011ea: DUP1
000011eb: SWAP4
000011ec: POP
000011ed: JUMPDEST
000011ee: POP
000011ef: POP
000011f0: POP
000011f1: SWAP1
000011f2: JUMP
000011f3: JUMPDEST
000011f4: PUSH1 0x00
000011f6: DUP1
000011f7: CALLER
000011f8: SWAP1
000011f9: POP
000011fa: PUSH2 0x1202
000011fd: DUP2
000011fe: PUSH2 0x1147
00001201: JUMP
00001202: JUMPDEST
00001203: SWAP2
00001204: POP
00001205: POP
00001206: SWAP1
00001207: JUMP
00001208: JUMPDEST
00001209: PUSH1 0x01
0000120b: DUP1
0000120c: SLOAD
0000120d: PUSH1 0x01
0000120f: DUP2
00001210: PUSH1 0x01
00001212: AND
00001213: ISZERO
00001214: PUSH2 0x0100
00001217: MUL
00001218: SUB
00001219: AND
0000121a: PUSH1 0x02
0000121c: SWAP1
0000121d: DIV
0000121e: DUP1
0000121f: PUSH1 0x1f
00001221: ADD
00001222: PUSH1 0x20
00001224: DUP1
00001225: SWAP2
00001226: DIV
00001227: MUL
00001228: PUSH1 0x20
0000122a: ADD
0000122b: PUSH1 0x40
0000122d: MLOAD
0000122e: SWAP1
0000122f: DUP2
00001230: ADD
00001231: PUSH1 0x40
00001233: MSTORE
00001234: DUP1
00001235: SWAP3
00001236: SWAP2
00001237: SWAP1
00001238: DUP2
00001239: DUP2
0000123a: MSTORE
0000123b: PUSH1 0x20
0000123d: ADD
0000123e: DUP3
0000123f: DUP1
00001240: SLOAD
00001241: PUSH1 0x01
00001243: DUP2
00001244: PUSH1 0x01
00001246: AND
00001247: ISZERO
00001248: PUSH2 0x0100
0000124b: MUL
0000124c: SUB
0000124d: AND
0000124e: PUSH1 0x02
00001250: SWAP1
00001251: DIV
00001252: DUP1
00001253: ISZERO
00001254: PUSH2 0x129e
00001257: JUMPI
00001258: DUP1
00001259: PUSH1 0x1f
0000125b: LT
0000125c: PUSH2 0x1273
0000125f: JUMPI
00001260: PUSH2 0x0100
00001263: DUP1
00001264: DUP4
00001265: SLOAD
00001266: DIV
00001267: MUL
00001268: DUP4
00001269: MSTORE
0000126a: SWAP2
0000126b: PUSH1 0x20
0000126d: ADD
0000126e: SWAP2
0000126f: PUSH2 0x129e
00001272: JUMP
00001273: JUMPDEST
00001274: DUP3
00001275: ADD
00001276: SWAP2
00001277: SWAP1
00001278: PUSH1 0x00
0000127a: MSTORE
0000127b: PUSH1 0x20
0000127d: PUSH1 0x00
0000127f: KECCAK256
00001280: SWAP1
00001281: JUMPDEST
00001282: DUP2
00001283: SLOAD
00001284: DUP2
00001285: MSTORE
00001286: SWAP1
00001287: PUSH1 0x01
00001289: ADD
0000128a: SWAP1
0000128b: PUSH1 0x20
0000128d: ADD
0000128e: DUP1
0000128f: DUP4
00001290: GT
00001291: PUSH2 0x1281
00001294: JUMPI
00001295: DUP3
00001296: SWAP1
00001297: SUB
00001298: PUSH1 0x1f
0000129a: AND
0000129b: DUP3
0000129c: ADD
0000129d: SWAP2
0000129e: JUMPDEST
0000129f: POP
000012a0: POP
000012a1: POP
000012a2: POP
000012a3: POP
000012a4: DUP2
000012a5: JUMP
000012a6: JUMPDEST
000012a7: PUSH1 0x00
000012a9: DUP1
000012aa: PUSH1 0x00
000012ac: DUP1
000012ad: PUSH1 0x00
000012af: DUP1
000012b0: PUSH2 0x12b7
000012b3: PUSH2 0x11f3
000012b6: JUMP
000012b7: JUMPDEST
000012b8: GT
000012b9: ISZERO
000012ba: ISZERO
000012bb: PUSH2 0x12c3
000012be: JUMPI
000012bf: PUSH1 0x00
000012c1: DUP1
000012c2: REVERT
000012c3: JUMPDEST
000012c4: CALLER
000012c5: SWAP4
000012c6: POP
000012c7: PUSH1 0x03
000012c9: PUSH1 0x00
000012cb: DUP6
000012cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012e1: AND
000012e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012f7: AND
000012f8: DUP2
000012f9: MSTORE
000012fa: PUSH1 0x20
000012fc: ADD
000012fd: SWAP1
000012fe: DUP2
000012ff: MSTORE
00001300: PUSH1 0x20
00001302: ADD
00001303: PUSH1 0x00
00001305: KECCAK256
00001306: SLOAD
00001307: DUP7
00001308: GT
00001309: ISZERO
0000130a: ISZERO
0000130b: ISZERO
0000130c: PUSH2 0x1314
0000130f: JUMPI
00001310: PUSH1 0x00
00001312: DUP1
00001313: REVERT
00001314: JUMPDEST
00001315: PUSH1 0x00
00001317: PUSH2 0x1320
0000131a: PUSH1 0x01
0000131c: PUSH2 0x10bc
0000131f: JUMP
00001320: JUMPDEST
00001321: GT
00001322: ISZERO
00001323: PUSH2 0x132f
00001326: JUMPI
00001327: PUSH2 0x132e
0000132a: PUSH2 0x0e87
0000132d: JUMP
0000132e: JUMPDEST
0000132f: JUMPDEST
00001330: PUSH2 0x1347
00001333: PUSH2 0x1340
00001336: DUP8
00001337: PUSH1 0x01
00001339: PUSH1 0xff
0000133b: AND
0000133c: PUSH2 0x0811
0000133f: JUMP
00001340: JUMPDEST
00001341: PUSH1 0x64
00001343: PUSH2 0x07f6
00001346: JUMP
00001347: JUMPDEST
00001348: SWAP3
00001349: POP
0000134a: PUSH2 0x1353
0000134d: DUP7
0000134e: DUP5
0000134f: PUSH2 0x084c
00001352: JUMP
00001353: JUMPDEST
00001354: SWAP2
00001355: POP
00001356: PUSH2 0x135e
00001359: DUP4
0000135a: PUSH2 0x1e1c
0000135d: JUMP
0000135e: JUMPDEST
0000135f: SWAP1
00001360: POP
00001361: PUSH2 0x136c
00001364: PUSH1 0x06
00001366: SLOAD
00001367: DUP5
00001368: PUSH2 0x084c
0000136b: JUMP
0000136c: JUMPDEST
0000136d: PUSH1 0x06
0000136f: DUP2
00001370: SWAP1
00001371: SSTORE
00001372: POP
00001373: PUSH2 0x13bb
00001376: PUSH1 0x03
00001378: PUSH1 0x00
0000137a: DUP7
0000137b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001390: AND
00001391: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013a6: AND
000013a7: DUP2
000013a8: MSTORE
000013a9: PUSH1 0x20
000013ab: ADD
000013ac: SWAP1
000013ad: DUP2
000013ae: MSTORE
000013af: PUSH1 0x20
000013b1: ADD
000013b2: PUSH1 0x00
000013b4: KECCAK256
000013b5: SLOAD
000013b6: DUP8
000013b7: PUSH2 0x084c
000013ba: JUMP
000013bb: JUMPDEST
000013bc: PUSH1 0x03
000013be: PUSH1 0x00
000013c0: DUP7
000013c1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013d6: AND
000013d7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013ec: AND
000013ed: DUP2
000013ee: MSTORE
000013ef: PUSH1 0x20
000013f1: ADD
000013f2: SWAP1
000013f3: DUP2
000013f4: MSTORE
000013f5: PUSH1 0x20
000013f7: ADD
000013f8: PUSH1 0x00
000013fa: KECCAK256
000013fb: DUP2
000013fc: SWAP1
000013fd: SSTORE
000013fe: POP
000013ff: PUSH2 0x1447
00001402: PUSH1 0x03
00001404: PUSH1 0x00
00001406: DUP10
00001407: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000141c: AND
0000141d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001432: AND
00001433: DUP2
00001434: MSTORE
00001435: PUSH1 0x20
00001437: ADD
00001438: SWAP1
00001439: DUP2
0000143a: MSTORE
0000143b: PUSH1 0x20
0000143d: ADD
0000143e: PUSH1 0x00
00001440: KECCAK256
00001441: SLOAD
00001442: DUP4
00001443: PUSH2 0x1dfe
00001446: JUMP
00001447: JUMPDEST
00001448: PUSH1 0x03
0000144a: PUSH1 0x00
0000144c: DUP10
0000144d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001462: AND
00001463: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001478: AND
00001479: DUP2
0000147a: MSTORE
0000147b: PUSH1 0x20
0000147d: ADD
0000147e: SWAP1
0000147f: DUP2
00001480: MSTORE
00001481: PUSH1 0x20
00001483: ADD
00001484: PUSH1 0x00
00001486: KECCAK256
00001487: DUP2
00001488: SWAP1
00001489: SSTORE
0000148a: POP
0000148b: DUP6
0000148c: PUSH1 0x07
0000148e: SLOAD
0000148f: MUL
00001490: PUSH1 0x05
00001492: PUSH1 0x00
00001494: DUP7
00001495: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014aa: AND
000014ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014c0: AND
000014c1: DUP2
000014c2: MSTORE
000014c3: PUSH1 0x20
000014c5: ADD
000014c6: SWAP1
000014c7: DUP2
000014c8: MSTORE
000014c9: PUSH1 0x20
000014cb: ADD
000014cc: PUSH1 0x00
000014ce: KECCAK256
000014cf: PUSH1 0x00
000014d1: DUP3
000014d2: DUP3
000014d3: SLOAD
000014d4: SUB
000014d5: SWAP3
000014d6: POP
000014d7: POP
000014d8: DUP2
000014d9: SWAP1
000014da: SSTORE
000014db: POP
000014dc: DUP2
000014dd: PUSH1 0x07
000014df: SLOAD
000014e0: MUL
000014e1: PUSH1 0x05
000014e3: PUSH1 0x00
000014e5: DUP10
000014e6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014fb: AND
000014fc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001511: AND
00001512: DUP2
00001513: MSTORE
00001514: PUSH1 0x20
00001516: ADD
00001517: SWAP1
00001518: DUP2
00001519: MSTORE
0000151a: PUSH1 0x20
0000151c: ADD
0000151d: PUSH1 0x00
0000151f: KECCAK256
00001520: PUSH1 0x00
00001522: DUP3
00001523: DUP3
00001524: SLOAD
00001525: ADD
00001526: SWAP3
00001527: POP
00001528: POP
00001529: DUP2
0000152a: SWAP1
0000152b: SSTORE
0000152c: POP
0000152d: PUSH2 0x1550
00001530: PUSH1 0x07
00001532: SLOAD
00001533: PUSH1 0x06
00001535: SLOAD
00001536: PUSH9 0x010000000000000000
00001540: DUP5
00001541: MUL
00001542: DUP2
00001543: ISZERO
00001544: ISZERO
00001545: PUSH2 0x154a
00001548: JUMPI
00001549: INVALID
0000154a: JUMPDEST
0000154b: DIV
0000154c: PUSH2 0x1dfe
0000154f: JUMP
00001550: JUMPDEST
00001551: PUSH1 0x07
00001553: DUP2
00001554: SWAP1
00001555: SSTORE
00001556: POP
00001557: DUP7
00001558: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000156d: AND
0000156e: DUP5
0000156f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001584: AND
00001585: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000015a6: DUP5
000015a7: PUSH1 0x40
000015a9: MLOAD
000015aa: DUP1
000015ab: DUP3
000015ac: DUP2
000015ad: MSTORE
000015ae: PUSH1 0x20
000015b0: ADD
000015b1: SWAP2
000015b2: POP
000015b3: POP
000015b4: PUSH1 0x40
000015b6: MLOAD
000015b7: DUP1
000015b8: SWAP2
000015b9: SUB
000015ba: SWAP1
000015bb: LOG3
000015bc: PUSH1 0x01
000015be: SWAP5
000015bf: POP
000015c0: POP
000015c1: POP
000015c2: POP
000015c3: POP
000015c4: SWAP3
000015c5: SWAP2
000015c6: POP
000015c7: POP
000015c8: JUMP
000015c9: JUMPDEST
000015ca: PUSH1 0x00
000015cc: DUP1
000015cd: PUSH1 0x00
000015cf: DUP1
000015d0: PUSH1 0x00
000015d2: DUP1
000015d3: PUSH1 0x00
000015d5: DUP1
000015d6: PUSH1 0x00
000015d8: DUP1
000015d9: PUSH2 0x15e0
000015dc: PUSH2 0x11f3
000015df: JUMP
000015e0: JUMPDEST
000015e1: GT
000015e2: ISZERO
000015e3: ISZERO
000015e4: PUSH2 0x15ec
000015e7: JUMPI
000015e8: PUSH1 0x00
000015ea: DUP1
000015eb: REVERT
000015ec: JUMPDEST
000015ed: CALLER
000015ee: SWAP9
000015ef: POP
000015f0: PUSH1 0x03
000015f2: PUSH1 0x00
000015f4: DUP11
000015f5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000160a: AND
0000160b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001620: AND
00001621: DUP2
00001622: MSTORE
00001623: PUSH1 0x20
00001625: ADD
00001626: SWAP1
00001627: DUP2
00001628: MSTORE
00001629: PUSH1 0x20
0000162b: ADD
0000162c: PUSH1 0x00
0000162e: KECCAK256
0000162f: SLOAD
00001630: DUP11
00001631: GT
00001632: ISZERO
00001633: ISZERO
00001634: ISZERO
00001635: PUSH2 0x163d
00001638: JUMPI
00001639: PUSH1 0x00
0000163b: DUP1
0000163c: REVERT
0000163d: JUMPDEST
0000163e: DUP10
0000163f: SWAP8
00001640: POP
00001641: PUSH2 0x1649
00001644: DUP9
00001645: PUSH2 0x1e1c
00001648: JUMP
00001649: JUMPDEST
0000164a: SWAP7
0000164b: POP
0000164c: PUSH2 0x1663
0000164f: PUSH2 0x165c
00001652: DUP9
00001653: PUSH1 0x1d
00001655: PUSH1 0xff
00001657: AND
00001658: PUSH2 0x0811
0000165b: JUMP
0000165c: JUMPDEST
0000165d: PUSH1 0x64
0000165f: PUSH2 0x07f6
00001662: JUMP
00001663: JUMPDEST
00001664: SWAP6
00001665: POP
00001666: PUSH2 0x167a
00001669: PUSH2 0x1673
0000166c: DUP9
0000166d: PUSH1 0x06
0000166f: PUSH2 0x0811
00001672: JUMP
00001673: JUMPDEST
00001674: PUSH1 0x64
00001676: PUSH2 0x07f6
00001679: JUMP
0000167a: JUMPDEST
0000167b: SWAP5
0000167c: POP
0000167d: PUSH2 0x1686
00001680: DUP8
00001681: DUP8
00001682: PUSH2 0x084c
00001685: JUMP
00001686: JUMPDEST
00001687: SWAP4
00001688: POP
00001689: PUSH2 0x1692
0000168c: DUP5
0000168d: DUP7
0000168e: PUSH2 0x084c
00001691: JUMP
00001692: JUMPDEST
00001693: SWAP3
00001694: POP
00001695: PUSH2 0x16a9
00001698: PUSH2 0x16a2
0000169b: DUP9
0000169c: PUSH1 0x02
0000169e: PUSH2 0x0811
000016a1: JUMP
000016a2: JUMPDEST
000016a3: PUSH1 0x64
000016a5: PUSH2 0x07f6
000016a8: JUMP
000016a9: JUMPDEST
000016aa: SWAP2
000016ab: POP
000016ac: PUSH2 0x16b7
000016af: PUSH1 0x06
000016b1: SLOAD
000016b2: DUP10
000016b3: PUSH2 0x084c
000016b6: JUMP
000016b7: JUMPDEST
000016b8: PUSH1 0x06
000016ba: DUP2
000016bb: SWAP1
000016bc: SSTORE
000016bd: POP
000016be: PUSH2 0x1706
000016c1: PUSH1 0x03
000016c3: PUSH1 0x00
000016c5: DUP12
000016c6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016db: AND
000016dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016f1: AND
000016f2: DUP2
000016f3: MSTORE
000016f4: PUSH1 0x20
000016f6: ADD
000016f7: SWAP1
000016f8: DUP2
000016f9: MSTORE
000016fa: PUSH1 0x20
000016fc: ADD
000016fd: PUSH1 0x00
000016ff: KECCAK256
00001700: SLOAD
00001701: DUP10
00001702: PUSH2 0x084c
00001705: JUMP
00001706: JUMPDEST
00001707: PUSH1 0x03
00001709: PUSH1 0x00
0000170b: DUP12
0000170c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001721: AND
00001722: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001737: AND
00001738: DUP2
00001739: MSTORE
0000173a: PUSH1 0x20
0000173c: ADD
0000173d: SWAP1
0000173e: DUP2
0000173f: MSTORE
00001740: PUSH1 0x20
00001742: ADD
00001743: PUSH1 0x00
00001745: KECCAK256
00001746: DUP2
00001747: SWAP1
00001748: SSTORE
00001749: POP
0000174a: PUSH1 0x08
0000174c: PUSH1 0x00
0000174e: SWAP1
0000174f: SLOAD
00001750: SWAP1
00001751: PUSH2 0x0100
00001754: EXP
00001755: SWAP1
00001756: DIV
00001757: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000176c: AND
0000176d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001782: AND
00001783: PUSH2 0x08fc
00001786: DUP4
00001787: SWAP1
00001788: DUP2
00001789: ISZERO
0000178a: MUL
0000178b: SWAP1
0000178c: PUSH1 0x40
0000178e: MLOAD
0000178f: PUSH1 0x00
00001791: PUSH1 0x40
00001793: MLOAD
00001794: DUP1
00001795: DUP4
00001796: SUB
00001797: DUP2
00001798: DUP6
00001799: DUP9
0000179a: DUP9
0000179b: CALL
0000179c: SWAP4
0000179d: POP
0000179e: POP
0000179f: POP
000017a0: POP
000017a1: ISZERO
000017a2: DUP1
000017a3: ISZERO
000017a4: PUSH2 0x17b1
000017a7: JUMPI
000017a8: RETURNDATASIZE
000017a9: PUSH1 0x00
000017ab: DUP1
000017ac: RETURNDATACOPY
000017ad: RETURNDATASIZE
000017ae: PUSH1 0x00
000017b0: REVERT
000017b1: JUMPDEST
000017b2: POP
000017b3: PUSH1 0x09
000017b5: PUSH1 0x00
000017b7: SWAP1
000017b8: SLOAD
000017b9: SWAP1
000017ba: PUSH2 0x0100
000017bd: EXP
000017be: SWAP1
000017bf: DIV
000017c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017d5: AND
000017d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017eb: AND
000017ec: PUSH2 0x08fc
000017ef: DUP4
000017f0: SWAP1
000017f1: DUP2
000017f2: ISZERO
000017f3: MUL
000017f4: SWAP1
000017f5: PUSH1 0x40
000017f7: MLOAD
000017f8: PUSH1 0x00
000017fa: PUSH1 0x40
000017fc: MLOAD
000017fd: DUP1
000017fe: DUP4
000017ff: SUB
00001800: DUP2
00001801: DUP6
00001802: DUP9
00001803: DUP9
00001804: CALL
00001805: SWAP4
00001806: POP
00001807: POP
00001808: POP
00001809: POP
0000180a: ISZERO
0000180b: DUP1
0000180c: ISZERO
0000180d: PUSH2 0x181a
00001810: JUMPI
00001811: RETURNDATASIZE
00001812: PUSH1 0x00
00001814: DUP1
00001815: RETURNDATACOPY
00001816: RETURNDATASIZE
00001817: PUSH1 0x00
00001819: REVERT
0000181a: JUMPDEST
0000181b: POP
0000181c: PUSH1 0x0a
0000181e: PUSH1 0x00
00001820: SWAP1
00001821: SLOAD
00001822: SWAP1
00001823: PUSH2 0x0100
00001826: EXP
00001827: SWAP1
00001828: DIV
00001829: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000183e: AND
0000183f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001854: AND
00001855: PUSH2 0x08fc
00001858: DUP4
00001859: SWAP1
0000185a: DUP2
0000185b: ISZERO
0000185c: MUL
0000185d: SWAP1
0000185e: PUSH1 0x40
00001860: MLOAD
00001861: PUSH1 0x00
00001863: PUSH1 0x40
00001865: MLOAD
00001866: DUP1
00001867: DUP4
00001868: SUB
00001869: DUP2
0000186a: DUP6
0000186b: DUP9
0000186c: DUP9
0000186d: CALL
0000186e: SWAP4
0000186f: POP
00001870: POP
00001871: POP
00001872: POP
00001873: ISZERO
00001874: DUP1
00001875: ISZERO
00001876: PUSH2 0x1883
00001879: JUMPI
0000187a: RETURNDATASIZE
0000187b: PUSH1 0x00
0000187d: DUP1
0000187e: RETURNDATACOPY
0000187f: RETURNDATASIZE
00001880: PUSH1 0x00
00001882: REVERT
00001883: JUMPDEST
00001884: POP
00001885: PUSH9 0x010000000000000000
0000188f: DUP4
00001890: MUL
00001891: DUP9
00001892: PUSH1 0x07
00001894: SLOAD
00001895: MUL
00001896: ADD
00001897: SWAP1
00001898: POP
00001899: DUP1
0000189a: PUSH1 0x05
0000189c: PUSH1 0x00
0000189e: DUP12
0000189f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018b4: AND
000018b5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000018ca: AND
000018cb: DUP2
000018cc: MSTORE
000018cd: PUSH1 0x20
000018cf: ADD
000018d0: SWAP1
000018d1: DUP2
000018d2: MSTORE
000018d3: PUSH1 0x20
000018d5: ADD
000018d6: PUSH1 0x00
000018d8: KECCAK256
000018d9: PUSH1 0x00
000018db: DUP3
000018dc: DUP3
000018dd: SLOAD
000018de: SUB
000018df: SWAP3
000018e0: POP
000018e1: POP
000018e2: DUP2
000018e3: SWAP1
000018e4: SSTORE
000018e5: POP
000018e6: PUSH1 0x00
000018e8: PUSH1 0x06
000018ea: SLOAD
000018eb: GT
000018ec: ISZERO
000018ed: PUSH2 0x191b
000018f0: JUMPI
000018f1: PUSH2 0x1914
000018f4: PUSH1 0x07
000018f6: SLOAD
000018f7: PUSH1 0x06
000018f9: SLOAD
000018fa: PUSH9 0x010000000000000000
00001904: DUP10
00001905: MUL
00001906: DUP2
00001907: ISZERO
00001908: ISZERO
00001909: PUSH2 0x190e
0000190c: JUMPI
0000190d: INVALID
0000190e: JUMPDEST
0000190f: DIV
00001910: PUSH2 0x1dfe
00001913: JUMP
00001914: JUMPDEST
00001915: PUSH1 0x07
00001917: DUP2
00001918: SWAP1
00001919: SSTORE
0000191a: POP
0000191b: JUMPDEST
0000191c: DUP9
0000191d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001932: AND
00001933: PUSH32 0x8d3a0130073dbd54ab6ac632c05946df540553d3b514c9f8165b4ab7f2b1805e
00001954: DUP10
00001955: DUP6
00001956: TIMESTAMP
00001957: PUSH2 0x195e
0000195a: PUSH2 0x1190
0000195d: JUMP
0000195e: JUMPDEST
0000195f: PUSH1 0x40
00001961: MLOAD
00001962: DUP1
00001963: DUP6
00001964: DUP2
00001965: MSTORE
00001966: PUSH1 0x20
00001968: ADD
00001969: DUP5
0000196a: DUP2
0000196b: MSTORE
0000196c: PUSH1 0x20
0000196e: ADD
0000196f: DUP4
00001970: DUP2
00001971: MSTORE
00001972: PUSH1 0x20
00001974: ADD
00001975: DUP3
00001976: DUP2
00001977: MSTORE
00001978: PUSH1 0x20
0000197a: ADD
0000197b: SWAP5
0000197c: POP
0000197d: POP
0000197e: POP
0000197f: POP
00001980: POP
00001981: PUSH1 0x40
00001983: MLOAD
00001984: DUP1
00001985: SWAP2
00001986: SUB
00001987: SWAP1
00001988: LOG2
00001989: POP
0000198a: POP
0000198b: POP
0000198c: POP
0000198d: POP
0000198e: POP
0000198f: POP
00001990: POP
00001991: POP
00001992: POP
00001993: JUMP
00001994: JUMPDEST
00001995: PUSH1 0x00
00001997: DUP1
00001998: CALLER
00001999: SWAP2
0000199a: POP
0000199b: PUSH1 0x03
0000199d: PUSH1 0x00
0000199f: DUP4
000019a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019b5: AND
000019b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019cb: AND
000019cc: DUP2
000019cd: MSTORE
000019ce: PUSH1 0x20
000019d0: ADD
000019d1: SWAP1
000019d2: DUP2
000019d3: MSTORE
000019d4: PUSH1 0x20
000019d6: ADD
000019d7: PUSH1 0x00
000019d9: KECCAK256
000019da: SLOAD
000019db: SWAP1
000019dc: POP
000019dd: PUSH1 0x00
000019df: DUP2
000019e0: GT
000019e1: ISZERO
000019e2: PUSH2 0x19ef
000019e5: JUMPI
000019e6: PUSH2 0x19ee
000019e9: DUP2
000019ea: PUSH2 0x15c9
000019ed: JUMP
000019ee: JUMPDEST
000019ef: JUMPDEST
000019f0: PUSH2 0x19f7
000019f3: PUSH2 0x0e87
000019f6: JUMP
000019f7: JUMPDEST
000019f8: POP
000019f9: POP
000019fa: JUMP
000019fb: JUMPDEST
000019fc: PUSH1 0x00
000019fe: DUP1
000019ff: PUSH1 0x00
00001a01: PUSH1 0x08
00001a03: PUSH1 0x00
00001a05: SWAP1
00001a06: SLOAD
00001a07: SWAP1
00001a08: PUSH2 0x0100
00001a0b: EXP
00001a0c: SWAP1
00001a0d: DIV
00001a0e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a23: AND
00001a24: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a39: AND
00001a3a: PUSH2 0x08fc
00001a3d: PUSH2 0x1a63
00001a40: PUSH1 0x02
00001a42: PUSH2 0x1a55
00001a45: PUSH1 0x64
00001a47: CALLVALUE
00001a48: PUSH2 0x07f6
00001a4b: SWAP1
00001a4c: SWAP2
00001a4d: SWAP1
00001a4e: PUSH4 0xffffffff
00001a53: AND
00001a54: JUMP
00001a55: JUMPDEST
00001a56: PUSH2 0x0811
00001a59: SWAP1
00001a5a: SWAP2
00001a5b: SWAP1
00001a5c: PUSH4 0xffffffff
00001a61: AND
00001a62: JUMP
00001a63: JUMPDEST
00001a64: SWAP1
00001a65: DUP2
00001a66: ISZERO
00001a67: MUL
00001a68: SWAP1
00001a69: PUSH1 0x40
00001a6b: MLOAD
00001a6c: PUSH1 0x00
00001a6e: PUSH1 0x40
00001a70: MLOAD
00001a71: DUP1
00001a72: DUP4
00001a73: SUB
00001a74: DUP2
00001a75: DUP6
00001a76: DUP9
00001a77: DUP9
00001a78: CALL
00001a79: SWAP4
00001a7a: POP
00001a7b: POP
00001a7c: POP
00001a7d: POP
00001a7e: ISZERO
00001a7f: DUP1
00001a80: ISZERO
00001a81: PUSH2 0x1a8e
00001a84: JUMPI
00001a85: RETURNDATASIZE
00001a86: PUSH1 0x00
00001a88: DUP1
00001a89: RETURNDATACOPY
00001a8a: RETURNDATASIZE
00001a8b: PUSH1 0x00
00001a8d: REVERT
00001a8e: JUMPDEST
00001a8f: POP
00001a90: PUSH1 0x09
00001a92: PUSH1 0x00
00001a94: SWAP1
00001a95: SLOAD
00001a96: SWAP1
00001a97: PUSH2 0x0100
00001a9a: EXP
00001a9b: SWAP1
00001a9c: DIV
00001a9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ab2: AND
00001ab3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ac8: AND
00001ac9: PUSH2 0x08fc
00001acc: PUSH2 0x1af2
00001acf: PUSH1 0x02
00001ad1: PUSH2 0x1ae4
00001ad4: PUSH1 0x64
00001ad6: CALLVALUE
00001ad7: PUSH2 0x07f6
00001ada: SWAP1
00001adb: SWAP2
00001adc: SWAP1
00001add: PUSH4 0xffffffff
00001ae2: AND
00001ae3: JUMP
00001ae4: JUMPDEST
00001ae5: PUSH2 0x0811
00001ae8: SWAP1
00001ae9: SWAP2
00001aea: SWAP1
00001aeb: PUSH4 0xffffffff
00001af0: AND
00001af1: JUMP
00001af2: JUMPDEST
00001af3: SWAP1
00001af4: DUP2
00001af5: ISZERO
00001af6: MUL
00001af7: SWAP1
00001af8: PUSH1 0x40
00001afa: MLOAD
00001afb: PUSH1 0x00
00001afd: PUSH1 0x40
00001aff: MLOAD
00001b00: DUP1
00001b01: DUP4
00001b02: SUB
00001b03: DUP2
00001b04: DUP6
00001b05: DUP9
00001b06: DUP9
00001b07: CALL
00001b08: SWAP4
00001b09: POP
00001b0a: POP
00001b0b: POP
00001b0c: POP
00001b0d: ISZERO
00001b0e: DUP1
00001b0f: ISZERO
00001b10: PUSH2 0x1b1d
00001b13: JUMPI
00001b14: RETURNDATASIZE
00001b15: PUSH1 0x00
00001b17: DUP1
00001b18: RETURNDATACOPY
00001b19: RETURNDATASIZE
00001b1a: PUSH1 0x00
00001b1c: REVERT
00001b1d: JUMPDEST
00001b1e: POP
00001b1f: PUSH1 0x0a
00001b21: PUSH1 0x00
00001b23: SWAP1
00001b24: SLOAD
00001b25: SWAP1
00001b26: PUSH2 0x0100
00001b29: EXP
00001b2a: SWAP1
00001b2b: DIV
00001b2c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b41: AND
00001b42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001b57: AND
00001b58: PUSH2 0x08fc
00001b5b: PUSH2 0x1b81
00001b5e: PUSH1 0x02
00001b60: PUSH2 0x1b73
00001b63: PUSH1 0x64
00001b65: CALLVALUE
00001b66: PUSH2 0x07f6
00001b69: SWAP1
00001b6a: SWAP2
00001b6b: SWAP1
00001b6c: PUSH4 0xffffffff
00001b71: AND
00001b72: JUMP
00001b73: JUMPDEST
00001b74: PUSH2 0x0811
00001b77: SWAP1
00001b78: SWAP2
00001b79: SWAP1
00001b7a: PUSH4 0xffffffff
00001b7f: AND
00001b80: JUMP
00001b81: JUMPDEST
00001b82: SWAP1
00001b83: DUP2
00001b84: ISZERO
00001b85: MUL
00001b86: SWAP1
00001b87: PUSH1 0x40
00001b89: MLOAD
00001b8a: PUSH1 0x00
00001b8c: PUSH1 0x40
00001b8e: MLOAD
00001b8f: DUP1
00001b90: DUP4
00001b91: SUB
00001b92: DUP2
00001b93: DUP6
00001b94: DUP9
00001b95: DUP9
00001b96: CALL
00001b97: SWAP4
00001b98: POP
00001b99: POP
00001b9a: POP
00001b9b: POP
00001b9c: ISZERO
00001b9d: DUP1
00001b9e: ISZERO
00001b9f: PUSH2 0x1bac
00001ba2: JUMPI
00001ba3: RETURNDATASIZE
00001ba4: PUSH1 0x00
00001ba6: DUP1
00001ba7: RETURNDATACOPY
00001ba8: RETURNDATASIZE
00001ba9: PUSH1 0x00
00001bab: REVERT
00001bac: JUMPDEST
00001bad: POP
00001bae: PUSH2 0x1bd4
00001bb1: PUSH1 0x64
00001bb3: PUSH2 0x1bc6
00001bb6: PUSH1 0x06
00001bb8: CALLVALUE
00001bb9: PUSH2 0x0811
00001bbc: SWAP1
00001bbd: SWAP2
00001bbe: SWAP1
00001bbf: PUSH4 0xffffffff
00001bc4: AND
00001bc5: JUMP
00001bc6: JUMPDEST
00001bc7: PUSH2 0x07f6
00001bca: SWAP1
00001bcb: SWAP2
00001bcc: SWAP1
00001bcd: PUSH4 0xffffffff
00001bd2: AND
00001bd3: JUMP
00001bd4: JUMPDEST
00001bd5: SWAP2
00001bd6: POP
00001bd7: PUSH2 0x1be9
00001bda: DUP3
00001bdb: CALLVALUE
00001bdc: PUSH2 0x084c
00001bdf: SWAP1
00001be0: SWAP2
00001be1: SWAP1
00001be2: PUSH4 0xffffffff
00001be7: AND
00001be8: JUMP
00001be9: JUMPDEST
00001bea: SWAP1
00001beb: POP
00001bec: PUSH2 0x1bf5
00001bef: DUP2
00001bf0: DUP6
00001bf1: PUSH2 0x0865
00001bf4: JUMP
00001bf5: JUMPDEST
00001bf6: POP
00001bf7: POP
00001bf8: POP
00001bf9: SWAP2
00001bfa: SWAP1
00001bfb: POP
00001bfc: JUMP
00001bfd: JUMPDEST
00001bfe: PUSH1 0x00
00001c00: DUP1
00001c01: PUSH1 0x00
00001c03: DUP1
00001c04: PUSH2 0x1c0d
00001c07: PUSH1 0x01
00001c09: PUSH2 0x10bc
00001c0c: JUMP
00001c0d: JUMPDEST
00001c0e: GT
00001c0f: ISZERO
00001c10: ISZERO
00001c11: PUSH2 0x1c19
00001c14: JUMPI
00001c15: PUSH1 0x00
00001c17: DUP1
00001c18: REVERT
00001c19: JUMPDEST
00001c1a: PUSH2 0x1c23
00001c1d: PUSH1 0x00
00001c1f: PUSH2 0x10bc
00001c22: JUMP
00001c23: JUMPDEST
00001c24: SWAP3
00001c25: POP
00001c26: CALLER
00001c27: SWAP2
00001c28: POP
00001c29: PUSH9 0x010000000000000000
00001c33: DUP4
00001c34: MUL
00001c35: PUSH1 0x05
00001c37: PUSH1 0x00
00001c39: DUP5
00001c3a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c4f: AND
00001c50: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c65: AND
00001c66: DUP2
00001c67: MSTORE
00001c68: PUSH1 0x20
00001c6a: ADD
00001c6b: SWAP1
00001c6c: DUP2
00001c6d: MSTORE
00001c6e: PUSH1 0x20
00001c70: ADD
00001c71: PUSH1 0x00
00001c73: KECCAK256
00001c74: PUSH1 0x00
00001c76: DUP3
00001c77: DUP3
00001c78: SLOAD
00001c79: ADD
00001c7a: SWAP3
00001c7b: POP
00001c7c: POP
00001c7d: DUP2
00001c7e: SWAP1
00001c7f: SSTORE
00001c80: POP
00001c81: PUSH1 0x04
00001c83: PUSH1 0x00
00001c85: DUP4
00001c86: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c9b: AND
00001c9c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cb1: AND
00001cb2: DUP2
00001cb3: MSTORE
00001cb4: PUSH1 0x20
00001cb6: ADD
00001cb7: SWAP1
00001cb8: DUP2
00001cb9: MSTORE
00001cba: PUSH1 0x20
00001cbc: ADD
00001cbd: PUSH1 0x00
00001cbf: KECCAK256
00001cc0: SLOAD
00001cc1: DUP4
00001cc2: ADD
00001cc3: SWAP3
00001cc4: POP
00001cc5: PUSH1 0x00
00001cc7: PUSH1 0x04
00001cc9: PUSH1 0x00
00001ccb: DUP5
00001ccc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ce1: AND
00001ce2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001cf7: AND
00001cf8: DUP2
00001cf9: MSTORE
00001cfa: PUSH1 0x20
00001cfc: ADD
00001cfd: SWAP1
00001cfe: DUP2
00001cff: MSTORE
00001d00: PUSH1 0x20
00001d02: ADD
00001d03: PUSH1 0x00
00001d05: KECCAK256
00001d06: DUP2
00001d07: SWAP1
00001d08: SSTORE
00001d09: POP
00001d0a: PUSH2 0x1d14
00001d0d: DUP4
00001d0e: PUSH1 0x00
00001d10: PUSH2 0x0865
00001d13: JUMP
00001d14: JUMPDEST
00001d15: SWAP1
00001d16: POP
00001d17: DUP2
00001d18: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001d2d: AND
00001d2e: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458
00001d4f: DUP5
00001d50: DUP4
00001d51: PUSH1 0x40
00001d53: MLOAD
00001d54: DUP1
00001d55: DUP4
00001d56: DUP2
00001d57: MSTORE
00001d58: PUSH1 0x20
00001d5a: ADD
00001d5b: DUP3
00001d5c: DUP2
00001d5d: MSTORE
00001d5e: PUSH1 0x20
00001d60: ADD
00001d61: SWAP3
00001d62: POP
00001d63: POP
00001d64: POP
00001d65: PUSH1 0x40
00001d67: MLOAD
00001d68: DUP1
00001d69: SWAP2
00001d6a: SUB
00001d6b: SWAP1
00001d6c: LOG2
00001d6d: POP
00001d6e: POP
00001d6f: POP
00001d70: JUMP
00001d71: JUMPDEST
00001d72: PUSH1 0x00
00001d74: DUP1
00001d75: PUSH1 0x00
00001d77: PUSH8 0x0de0b6b3a7640000
00001d80: PUSH5 0x174876e800
00001d86: MUL
00001d87: SWAP2
00001d88: POP
00001d89: PUSH1 0x06
00001d8b: SLOAD
00001d8c: PUSH5 0x174876e800
00001d92: PUSH2 0x1de7
00001d95: PUSH2 0x1de1
00001d98: PUSH1 0x06
00001d9a: SLOAD
00001d9b: DUP7
00001d9c: PUSH5 0x174876e800
00001da2: PUSH1 0x02
00001da4: MUL
00001da5: MUL
00001da6: MUL
00001da7: PUSH1 0x02
00001da9: PUSH1 0x06
00001dab: SLOAD
00001dac: EXP
00001dad: PUSH1 0x02
00001daf: PUSH5 0x174876e800
00001db5: EXP
00001db6: MUL
00001db7: PUSH8 0x0de0b6b3a7640000
00001dc0: DUP11
00001dc1: MUL
00001dc2: PUSH8 0x0de0b6b3a7640000
00001dcb: PUSH5 0x174876e800
00001dd1: MUL
00001dd2: PUSH1 0x02
00001dd4: MUL
00001dd5: MUL
00001dd6: PUSH1 0x02
00001dd8: DUP10
00001dd9: EXP
00001dda: ADD
00001ddb: ADD
00001ddc: ADD
00001ddd: PUSH2 0x1ec7
00001de0: JUMP
00001de1: JUMPDEST
00001de2: DUP6
00001de3: PUSH2 0x084c
00001de6: JUMP
00001de7: JUMPDEST
00001de8: DUP2
00001de9: ISZERO
00001dea: ISZERO
00001deb: PUSH2 0x1df0
00001dee: JUMPI
00001def: INVALID
00001df0: JUMPDEST
00001df1: DIV
00001df2: SUB
00001df3: SWAP1
00001df4: POP
00001df5: DUP1
00001df6: SWAP3
00001df7: POP
00001df8: POP
00001df9: POP
00001dfa: SWAP2
00001dfb: SWAP1
00001dfc: POP
00001dfd: JUMP
00001dfe: JUMPDEST
00001dff: PUSH1 0x00
00001e01: DUP1
00001e02: DUP3
00001e03: DUP5
00001e04: ADD
00001e05: SWAP1
00001e06: POP
00001e07: DUP4
00001e08: DUP2
00001e09: LT
00001e0a: ISZERO
00001e0b: ISZERO
00001e0c: ISZERO
00001e0d: PUSH2 0x1e12
00001e10: JUMPI
00001e11: INVALID
00001e12: JUMPDEST
00001e13: DUP1
00001e14: SWAP2
00001e15: POP
00001e16: POP
00001e17: SWAP3
00001e18: SWAP2
00001e19: POP
00001e1a: POP
00001e1b: JUMP
00001e1c: JUMPDEST
00001e1d: PUSH1 0x00
00001e1f: DUP1
00001e20: PUSH1 0x00
00001e22: DUP1
00001e23: PUSH8 0x0de0b6b3a7640000
00001e2c: DUP6
00001e2d: ADD
00001e2e: SWAP3
00001e2f: POP
00001e30: PUSH8 0x0de0b6b3a7640000
00001e39: PUSH1 0x06
00001e3b: SLOAD
00001e3c: ADD
00001e3d: SWAP2
00001e3e: POP
00001e3f: PUSH8 0x0de0b6b3a7640000
00001e48: PUSH2 0x1eb0
00001e4b: PUSH8 0x0de0b6b3a7640000
00001e54: DUP6
00001e55: SUB
00001e56: PUSH5 0x174876e800
00001e5c: PUSH8 0x0de0b6b3a7640000
00001e65: DUP7
00001e66: DUP2
00001e67: ISZERO
00001e68: ISZERO
00001e69: PUSH2 0x1e6e
00001e6c: JUMPI
00001e6d: INVALID
00001e6e: JUMPDEST
00001e6f: DIV
00001e70: PUSH5 0x174876e800
00001e76: MUL
00001e77: PUSH5 0x174876e800
00001e7d: ADD
00001e7e: SUB
00001e7f: MUL
00001e80: PUSH1 0x02
00001e82: PUSH8 0x0de0b6b3a7640000
00001e8b: DUP8
00001e8c: PUSH1 0x02
00001e8e: DUP10
00001e8f: EXP
00001e90: SUB
00001e91: DUP2
00001e92: ISZERO
00001e93: ISZERO
00001e94: PUSH2 0x1e99
00001e97: JUMPI
00001e98: INVALID
00001e99: JUMPDEST
00001e9a: DIV
00001e9b: PUSH5 0x174876e800
00001ea1: MUL
00001ea2: DUP2
00001ea3: ISZERO
00001ea4: ISZERO
00001ea5: PUSH2 0x1eaa
00001ea8: JUMPI
00001ea9: INVALID
00001eaa: JUMPDEST
00001eab: DIV
00001eac: PUSH2 0x084c
00001eaf: JUMP
00001eb0: JUMPDEST
00001eb1: DUP2
00001eb2: ISZERO
00001eb3: ISZERO
00001eb4: PUSH2 0x1eb9
00001eb7: JUMPI
00001eb8: INVALID
00001eb9: JUMPDEST
00001eba: DIV
00001ebb: SWAP1
00001ebc: POP
00001ebd: DUP1
00001ebe: SWAP4
00001ebf: POP
00001ec0: POP
00001ec1: POP
00001ec2: POP
00001ec3: SWAP2
00001ec4: SWAP1
00001ec5: POP
00001ec6: JUMP
00001ec7: JUMPDEST
00001ec8: PUSH1 0x00
00001eca: DUP1
00001ecb: PUSH1 0x02
00001ecd: PUSH1 0x01
00001ecf: DUP5
00001ed0: ADD
00001ed1: DUP2
00001ed2: ISZERO
00001ed3: ISZERO
00001ed4: PUSH2 0x1ed9
00001ed7: JUMPI
00001ed8: INVALID
00001ed9: JUMPDEST
00001eda: DIV
00001edb: SWAP1
00001edc: POP
00001edd: DUP3
00001ede: SWAP2
00001edf: POP
00001ee0: JUMPDEST
00001ee1: DUP2
00001ee2: DUP2
00001ee3: LT
00001ee4: ISZERO
00001ee5: PUSH2 0x1f0c
00001ee8: JUMPI
00001ee9: DUP1
00001eea: SWAP2
00001eeb: POP
00001eec: PUSH1 0x02
00001eee: DUP2
00001eef: DUP3
00001ef0: DUP6
00001ef1: DUP2
00001ef2: ISZERO
00001ef3: ISZERO
00001ef4: PUSH2 0x1ef9
00001ef7: JUMPI
00001ef8: INVALID
00001ef9: JUMPDEST
00001efa: DIV
00001efb: ADD
00001efc: DUP2
00001efd: ISZERO
00001efe: ISZERO
00001eff: PUSH2 0x1f04
00001f02: JUMPI
00001f03: INVALID
00001f04: JUMPDEST
00001f05: DIV
00001f06: SWAP1
00001f07: POP
00001f08: PUSH2 0x1ee0
00001f0b: JUMP
00001f0c: JUMPDEST
00001f0d: POP
00001f0e: SWAP2
00001f0f: SWAP1
00001f10: POP
00001f11: JUMP
00001f12: STOP
00001f13: LOG1
00001f14: PUSH6 0x627a7a723058
00001f1b: KECCAK256
00001f1c: UNKNOWN(0xE5)
00001f1d: BYTE
00001f1e: EXP
00001f1f: SELFDESTRUCT
00001f20: UNKNOWN(0xA8)
00001f21: UNKNOWN(0x4F)
00001f22: UNKNOWN(0xB4)
00001f23: CALLDATALOAD
00001f24: EXTCODECOPY
00001f25: AND
00001f26: EQ
00001f27: SUB
00001f28: SWAP9
00001f29: UNKNOWN(0xA5)
00001f2a: SAR
00001f2b: MLOAD
00001f2c: UNKNOWN(0x29)
00001f2d: EXTCODESIZE
00001f2e: PUSH11 0x3878e4032a9301b732c1e9
00001f3a: MLOAD
00001f3b: UNKNOWN(0xC0)
00001f3c: STOP
00001f3d: UNKNOWN(0x29)

View stderr

Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	yes	yes	view trace_id: 0xdcdd52bcc85cca302f5b10515156c2d455a7648428e268bcad83f911375f583b call_targets: 0x20007c6aa01e6a0e73d1bab69666438ff43b5ed8, 0xb54c9fa2a504cd078c69956020a6b45bc9657f5f, 0xbfb297616ffa0124a288e212d1e6df5299c9f8d0, 0xc558895ae123bb02b3c33164fdec34e9fb66b660 target_varies: yes classification: target_varies validation_json { "sink": "CALL", "errors": 0, "status": "confirmed", "attempts": 1, "trace_id": "0xdcdd52bcc85cca302f5b10515156c2d455a7648428e268bcad83f911375f583b", "confirmed": true, "trace_mode": "callTracer", "call_targets": [ "0x20007c6aa01e6a0e73d1bab69666438ff43b5ed8", "0xb54c9fa2a504cd078c69956020a6b45bc9657f5f", "0xbfb297616ffa0124a288e212d1e6df5299c9f8d0", "0xc558895ae123bb02b3c33164fdec34e9fb66b660" ], "matched_probe": null, "target_varies": true, "classification": "target_varies" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xffffffff", "selector": "0xffffffff", "calldata_variants": [ "0xffffffff", "0xffffffff0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x10d0ffdd", "selector": "0x10d0ffdd", "calldata_variants": [ "0x10d0ffdd", "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x22609373", "selector": "0x22609373", "calldata_variants": [ "0x22609373", "0x226093730000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4b750334", "selector": "0x4b750334", "calldata_variants": [ "0x4b750334", "0x4b7503340000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 396, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 539, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 682, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 10, "guards_detected": [], "untrusted_call_count": 10 }
high	other	detector	ETH value transfer possible	55	yes	yes	view trace_id: 0xdcdd52bcc85cca302f5b10515156c2d455a7648428e268bcad83f911375f583b call_targets: 0x20007c6aa01e6a0e73d1bab69666438ff43b5ed8, 0xb54c9fa2a504cd078c69956020a6b45bc9657f5f, 0xbfb297616ffa0124a288e212d1e6df5299c9f8d0, 0xc558895ae123bb02b3c33164fdec34e9fb66b660 target_varies: yes classification: target_varies validation_json { "sink": "CALL", "errors": 0, "status": "confirmed", "attempts": 1, "trace_id": "0xdcdd52bcc85cca302f5b10515156c2d455a7648428e268bcad83f911375f583b", "confirmed": true, "trace_mode": "callTracer", "call_targets": [ "0x20007c6aa01e6a0e73d1bab69666438ff43b5ed8", "0xb54c9fa2a504cd078c69956020a6b45bc9657f5f", "0xbfb297616ffa0124a288e212d1e6df5299c9f8d0", "0xc558895ae123bb02b3c33164fdec34e9fb66b660" ], "matched_probe": null, "target_varies": true, "classification": "target_varies" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xffffffff", "selector": "0xffffffff", "calldata_variants": [ "0xffffffff", "0xffffffff0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x10d0ffdd", "selector": "0x10d0ffdd", "calldata_variants": [ "0x10d0ffdd", "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x22609373", "selector": "0x22609373", "calldata_variants": [ "0x22609373", "0x226093730000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4b750334", "selector": "0x4b750334", "calldata_variants": [ "0x4b750334", "0x4b7503340000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 396, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 539, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 682, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 10, "guards_detected": [] }
high	other	detector	SELFDESTRUCT reachable	65	no	no	view trace_id: 0xfecb3b5d540ddb835537d7c0c7e112c761218a81b6bacbc37da6cd01f0e42c82 validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0xfecb3b5d540ddb835537d7c0c7e112c761218a81b6bacbc37da6cd01f0e42c82", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xffffffff", "selector": "0xffffffff", "calldata_variants": [ "0xffffffff", "0xffffffff0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x06fdde03", "selector": "0x06fdde03", "calldata_variants": [ "0x06fdde03", "0x06fdde030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x10d0ffdd", "selector": "0x10d0ffdd", "calldata_variants": [ "0x10d0ffdd", "0x10d0ffdd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x18160ddd", "selector": "0x18160ddd", "calldata_variants": [ "0x18160ddd", "0x18160ddd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x22609373", "selector": "0x22609373", "calldata_variants": [ "0x22609373", "0x226093730000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x313ce567", "selector": "0x313ce567", "calldata_variants": [ "0x313ce567", "0x313ce5670000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3ccfd60b", "selector": "0x3ccfd60b", "calldata_variants": [ "0x3ccfd60b", "0x3ccfd60b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4b750334", "selector": "0x4b750334", "calldata_variants": [ "0x4b750334", "0x4b7503340000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [], "selfdestruct_count": 1 }

Severity