Analysis Run

019b477e-b2a8-7387-a863-3326dcd68189

complete

Chain ID

1

Address

0x60217d0cb9b449cf521bbcf3737a3eda1b326a0d

Block Number

—

Created

Mon, Dec 22, 2025 7:17 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
22395	artifact.fetch	complete	1 / 3	3 months ago
22396	tool.cast_disasm	complete	1 / 3	3 months ago
65682	analysis.bundle	complete	1 / 3	1 week ago
65683	capability.graph	complete	1 / 3	1 week ago
65684	detector.run	complete	1 / 3	1 week ago
65685	validation.fork	complete	1 / 3	1 week ago
113505	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-j_uj4lu7
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5c95-f636-7a73-a2d1-1c0998b0ea47
--------
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:40:26.870888+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 26284,
        "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

1

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

48

EXT*/BALANCE

46

Total opcodes

8474

Flags

delegatecall_present heavy_ext_balance_usage call_family_heavy

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x012f
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH1 0xe0
00000014: PUSH1 0x02
00000016: EXP
00000017: PUSH1 0x00
00000019: CALLDATALOAD
0000001a: DIV
0000001b: AND
0000001c: PUSH4 0x02777983
00000021: DUP2
00000022: EQ
00000023: PUSH2 0x0131
00000026: JUMPI
00000027: DUP1
00000028: PUSH4 0x1309a563
0000002d: EQ
0000002e: PUSH2 0x0159
00000031: JUMPI
00000032: DUP1
00000033: PUSH4 0x1b857737
00000038: EQ
00000039: PUSH2 0x0180
0000003c: JUMPI
0000003d: DUP1
0000003e: PUSH4 0x2008b447
00000043: EQ
00000044: PUSH2 0x019f
00000047: JUMPI
00000048: DUP1
00000049: PUSH4 0x3d9d0d8f
0000004e: EQ
0000004f: PUSH2 0x01be
00000052: JUMPI
00000053: DUP1
00000054: PUSH4 0x422d7932
00000059: EQ
0000005a: PUSH2 0x01ed
0000005d: JUMPI
0000005e: DUP1
0000005f: PUSH4 0x49ec3e9c
00000064: EQ
00000065: PUSH2 0x0203
00000068: JUMPI
00000069: DUP1
0000006a: PUSH4 0x4c01e3e4
0000006f: EQ
00000070: PUSH2 0x0232
00000073: JUMPI
00000074: DUP1
00000075: PUSH4 0x5ea9349d
0000007a: EQ
0000007b: PUSH2 0x0245
0000007e: JUMPI
0000007f: DUP1
00000080: PUSH4 0x6985a022
00000085: EQ
00000086: PUSH2 0x0258
00000089: JUMPI
0000008a: DUP1
0000008b: PUSH4 0x705ddb7e
00000090: EQ
00000091: PUSH2 0x026b
00000094: JUMPI
00000095: DUP1
00000096: PUSH4 0x7805862f
0000009b: EQ
0000009c: PUSH2 0x028a
0000009f: JUMPI
000000a0: DUP1
000000a1: PUSH4 0x84b74c5b
000000a6: EQ
000000a7: PUSH2 0x029d
000000aa: JUMPI
000000ab: DUP1
000000ac: PUSH4 0x8d566fdb
000000b1: EQ
000000b2: PUSH2 0x02bc
000000b5: JUMPI
000000b6: DUP1
000000b7: PUSH4 0x8f6d2e18
000000bc: EQ
000000bd: PUSH2 0x02db
000000c0: JUMPI
000000c1: DUP1
000000c2: PUSH4 0x942d3601
000000c7: EQ
000000c8: PUSH2 0x02ee
000000cb: JUMPI
000000cc: DUP1
000000cd: PUSH4 0x9584c2ad
000000d2: EQ
000000d3: PUSH2 0x030d
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x9e153da0
000000dd: EQ
000000de: PUSH2 0x0320
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0xa224cfb1
000000e8: EQ
000000e9: PUSH2 0x035e
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0xa73892ad
000000f3: EQ
000000f4: PUSH2 0x0371
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0xaabebeb2
000000fe: EQ
000000ff: PUSH2 0x0384
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0xb07ae2bf
00000109: EQ
0000010a: PUSH2 0x03a3
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0xbc67443d
00000114: EQ
00000115: PUSH2 0x03ab
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0xd2696d1d
0000011f: EQ
00000120: PUSH2 0x03ca
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0xf110c773
0000012a: EQ
0000012b: PUSH2 0x03e9
0000012e: JUMPI
0000012f: JUMPDEST
00000130: STOP
00000131: JUMPDEST
00000132: CALLVALUE
00000133: ISZERO
00000134: PUSH2 0x013c
00000137: JUMPI
00000138: PUSH1 0x00
0000013a: DUP1
0000013b: REVERT
0000013c: JUMPDEST
0000013d: PUSH2 0x0147
00000140: PUSH1 0x04
00000142: CALLDATALOAD
00000143: PUSH2 0x0414
00000146: JUMP
00000147: JUMPDEST
00000148: PUSH1 0x40
0000014a: MLOAD
0000014b: SWAP1
0000014c: DUP2
0000014d: MSTORE
0000014e: PUSH1 0x20
00000150: ADD
00000151: PUSH1 0x40
00000153: MLOAD
00000154: DUP1
00000155: SWAP2
00000156: SUB
00000157: SWAP1
00000158: RETURN
00000159: JUMPDEST
0000015a: CALLVALUE
0000015b: ISZERO
0000015c: PUSH2 0x0164
0000015f: JUMPI
00000160: PUSH1 0x00
00000162: DUP1
00000163: REVERT
00000164: JUMPDEST
00000165: PUSH2 0x016c
00000168: PUSH2 0x0427
0000016b: JUMP
0000016c: JUMPDEST
0000016d: PUSH1 0x40
0000016f: MLOAD
00000170: SWAP1
00000171: ISZERO
00000172: ISZERO
00000173: DUP2
00000174: MSTORE
00000175: PUSH1 0x20
00000177: ADD
00000178: PUSH1 0x40
0000017a: MLOAD
0000017b: DUP1
0000017c: SWAP2
0000017d: SUB
0000017e: SWAP1
0000017f: RETURN
00000180: JUMPDEST
00000181: PUSH2 0x012f
00000184: PUSH1 0x04
00000186: CALLDATALOAD
00000187: PUSH1 0x24
00000189: CALLDATALOAD
0000018a: ISZERO
0000018b: ISZERO
0000018c: PUSH1 0x44
0000018e: CALLDATALOAD
0000018f: PUSH1 0x01
00000191: PUSH1 0xa0
00000193: PUSH1 0x02
00000195: EXP
00000196: SUB
00000197: PUSH1 0x64
00000199: CALLDATALOAD
0000019a: AND
0000019b: PUSH2 0x0437
0000019e: JUMP
0000019f: JUMPDEST
000001a0: CALLVALUE
000001a1: ISZERO
000001a2: PUSH2 0x01aa
000001a5: JUMPI
000001a6: PUSH1 0x00
000001a8: DUP1
000001a9: REVERT
000001aa: JUMPDEST
000001ab: PUSH2 0x012f
000001ae: PUSH1 0x04
000001b0: CALLDATALOAD
000001b1: PUSH1 0x24
000001b3: CALLDATALOAD
000001b4: PUSH1 0x44
000001b6: CALLDATALOAD
000001b7: PUSH1 0x64
000001b9: CALLDATALOAD
000001ba: PUSH2 0x0517
000001bd: JUMP
000001be: JUMPDEST
000001bf: CALLVALUE
000001c0: ISZERO
000001c1: PUSH2 0x01c9
000001c4: JUMPI
000001c5: PUSH1 0x00
000001c7: DUP1
000001c8: REVERT
000001c9: JUMPDEST
000001ca: PUSH2 0x01d1
000001cd: PUSH2 0x0546
000001d0: JUMP
000001d1: JUMPDEST
000001d2: PUSH1 0x40
000001d4: MLOAD
000001d5: PUSH1 0x01
000001d7: PUSH1 0xa0
000001d9: PUSH1 0x02
000001db: EXP
000001dc: SUB
000001dd: SWAP1
000001de: SWAP2
000001df: AND
000001e0: DUP2
000001e1: MSTORE
000001e2: PUSH1 0x20
000001e4: ADD
000001e5: PUSH1 0x40
000001e7: MLOAD
000001e8: DUP1
000001e9: SWAP2
000001ea: SUB
000001eb: SWAP1
000001ec: RETURN
000001ed: JUMPDEST
000001ee: CALLVALUE
000001ef: ISZERO
000001f0: PUSH2 0x01f8
000001f3: JUMPI
000001f4: PUSH1 0x00
000001f6: DUP1
000001f7: REVERT
000001f8: JUMPDEST
000001f9: PUSH2 0x0147
000001fc: PUSH1 0x04
000001fe: CALLDATALOAD
000001ff: PUSH2 0x0555
00000202: JUMP
00000203: JUMPDEST
00000204: CALLVALUE
00000205: ISZERO
00000206: PUSH2 0x020e
00000209: JUMPI
0000020a: PUSH1 0x00
0000020c: DUP1
0000020d: REVERT
0000020e: JUMPDEST
0000020f: PUSH2 0x012f
00000212: PUSH1 0x04
00000214: CALLDATALOAD
00000215: PUSH1 0x24
00000217: CALLDATALOAD
00000218: PUSH1 0x44
0000021a: CALLDATALOAD
0000021b: PUSH1 0x64
0000021d: CALLDATALOAD
0000021e: PUSH1 0x84
00000220: CALLDATALOAD
00000221: PUSH1 0xa4
00000223: CALLDATALOAD
00000224: PUSH1 0xc4
00000226: CALLDATALOAD
00000227: PUSH1 0xe4
00000229: CALLDATALOAD
0000022a: PUSH2 0x0104
0000022d: CALLDATALOAD
0000022e: PUSH2 0x05e6
00000231: JUMP
00000232: JUMPDEST
00000233: CALLVALUE
00000234: ISZERO
00000235: PUSH2 0x023d
00000238: JUMPI
00000239: PUSH1 0x00
0000023b: DUP1
0000023c: REVERT
0000023d: JUMPDEST
0000023e: PUSH2 0x01d1
00000241: PUSH2 0x078f
00000244: JUMP
00000245: JUMPDEST
00000246: CALLVALUE
00000247: ISZERO
00000248: PUSH2 0x0250
0000024b: JUMPI
0000024c: PUSH1 0x00
0000024e: DUP1
0000024f: REVERT
00000250: JUMPDEST
00000251: PUSH2 0x016c
00000254: PUSH2 0x079e
00000257: JUMP
00000258: JUMPDEST
00000259: CALLVALUE
0000025a: ISZERO
0000025b: PUSH2 0x0263
0000025e: JUMPI
0000025f: PUSH1 0x00
00000261: DUP1
00000262: REVERT
00000263: JUMPDEST
00000264: PUSH2 0x012f
00000267: PUSH2 0x07a3
0000026a: JUMP
0000026b: JUMPDEST
0000026c: CALLVALUE
0000026d: ISZERO
0000026e: PUSH2 0x0276
00000271: JUMPI
00000272: PUSH1 0x00
00000274: DUP1
00000275: REVERT
00000276: JUMPDEST
00000277: PUSH2 0x012f
0000027a: PUSH1 0x01
0000027c: PUSH1 0xa0
0000027e: PUSH1 0x02
00000280: EXP
00000281: SUB
00000282: PUSH1 0x04
00000284: CALLDATALOAD
00000285: AND
00000286: PUSH2 0x082f
00000289: JUMP
0000028a: JUMPDEST
0000028b: CALLVALUE
0000028c: ISZERO
0000028d: PUSH2 0x0295
00000290: JUMPI
00000291: PUSH1 0x00
00000293: DUP1
00000294: REVERT
00000295: JUMPDEST
00000296: PUSH2 0x012f
00000299: PUSH2 0x09bc
0000029c: JUMP
0000029d: JUMPDEST
0000029e: CALLVALUE
0000029f: ISZERO
000002a0: PUSH2 0x02a8
000002a3: JUMPI
000002a4: PUSH1 0x00
000002a6: DUP1
000002a7: REVERT
000002a8: JUMPDEST
000002a9: PUSH2 0x012f
000002ac: PUSH1 0x01
000002ae: PUSH1 0xa0
000002b0: PUSH1 0x02
000002b2: EXP
000002b3: SUB
000002b4: PUSH1 0x04
000002b6: CALLDATALOAD
000002b7: AND
000002b8: PUSH2 0x0a0f
000002bb: JUMP
000002bc: JUMPDEST
000002bd: CALLVALUE
000002be: ISZERO
000002bf: PUSH2 0x02c7
000002c2: JUMPI
000002c3: PUSH1 0x00
000002c5: DUP1
000002c6: REVERT
000002c7: JUMPDEST
000002c8: PUSH2 0x012f
000002cb: PUSH1 0x01
000002cd: PUSH1 0xa0
000002cf: PUSH1 0x02
000002d1: EXP
000002d2: SUB
000002d3: PUSH1 0x04
000002d5: CALLDATALOAD
000002d6: AND
000002d7: PUSH2 0x0a6e
000002da: JUMP
000002db: JUMPDEST
000002dc: CALLVALUE
000002dd: ISZERO
000002de: PUSH2 0x02e6
000002e1: JUMPI
000002e2: PUSH1 0x00
000002e4: DUP1
000002e5: REVERT
000002e6: JUMPDEST
000002e7: PUSH2 0x01d1
000002ea: PUSH2 0x0bc6
000002ed: JUMP
000002ee: JUMPDEST
000002ef: CALLVALUE
000002f0: ISZERO
000002f1: PUSH2 0x02f9
000002f4: JUMPI
000002f5: PUSH1 0x00
000002f7: DUP1
000002f8: REVERT
000002f9: JUMPDEST
000002fa: PUSH2 0x0147
000002fd: PUSH1 0x01
000002ff: PUSH1 0xa0
00000301: PUSH1 0x02
00000303: EXP
00000304: SUB
00000305: PUSH1 0x04
00000307: CALLDATALOAD
00000308: AND
00000309: PUSH2 0x0bd5
0000030c: JUMP
0000030d: JUMPDEST
0000030e: CALLVALUE
0000030f: ISZERO
00000310: PUSH2 0x0318
00000313: JUMPI
00000314: PUSH1 0x00
00000316: DUP1
00000317: REVERT
00000318: JUMPDEST
00000319: PUSH2 0x01d1
0000031c: PUSH2 0x0ede
0000031f: JUMP
00000320: JUMPDEST
00000321: CALLVALUE
00000322: ISZERO
00000323: PUSH2 0x032b
00000326: JUMPI
00000327: PUSH1 0x00
00000329: DUP1
0000032a: REVERT
0000032b: JUMPDEST
0000032c: PUSH2 0x0333
0000032f: PUSH2 0x0eed
00000332: JUMP
00000333: JUMPDEST
00000334: PUSH1 0x40
00000336: MLOAD
00000337: DUP1
00000338: DUP6
00000339: DUP2
0000033a: MSTORE
0000033b: PUSH1 0x20
0000033d: ADD
0000033e: DUP5
0000033f: DUP2
00000340: MSTORE
00000341: PUSH1 0x20
00000343: ADD
00000344: DUP4
00000345: DUP2
00000346: MSTORE
00000347: PUSH1 0x20
00000349: ADD
0000034a: DUP3
0000034b: DUP2
0000034c: MSTORE
0000034d: PUSH1 0x20
0000034f: ADD
00000350: SWAP5
00000351: POP
00000352: POP
00000353: POP
00000354: POP
00000355: POP
00000356: PUSH1 0x40
00000358: MLOAD
00000359: DUP1
0000035a: SWAP2
0000035b: SUB
0000035c: SWAP1
0000035d: RETURN
0000035e: JUMPDEST
0000035f: CALLVALUE
00000360: ISZERO
00000361: PUSH2 0x0369
00000364: JUMPI
00000365: PUSH1 0x00
00000367: DUP1
00000368: REVERT
00000369: JUMPDEST
0000036a: PUSH2 0x012f
0000036d: PUSH2 0x0f01
00000370: JUMP
00000371: JUMPDEST
00000372: CALLVALUE
00000373: ISZERO
00000374: PUSH2 0x037c
00000377: JUMPI
00000378: PUSH1 0x00
0000037a: DUP1
0000037b: REVERT
0000037c: JUMPDEST
0000037d: PUSH2 0x012f
00000380: PUSH2 0x1095
00000383: JUMP
00000384: JUMPDEST
00000385: CALLVALUE
00000386: ISZERO
00000387: PUSH2 0x038f
0000038a: JUMPI
0000038b: PUSH1 0x00
0000038d: DUP1
0000038e: REVERT
0000038f: JUMPDEST
00000390: PUSH2 0x012f
00000393: PUSH1 0x01
00000395: PUSH1 0xa0
00000397: PUSH1 0x02
00000399: EXP
0000039a: SUB
0000039b: PUSH1 0x04
0000039d: CALLDATALOAD
0000039e: AND
0000039f: PUSH2 0x1425
000003a2: JUMP
000003a3: JUMPDEST
000003a4: PUSH2 0x012f
000003a7: PUSH2 0x1484
000003aa: JUMP
000003ab: JUMPDEST
000003ac: CALLVALUE
000003ad: ISZERO
000003ae: PUSH2 0x03b6
000003b1: JUMPI
000003b2: PUSH1 0x00
000003b4: DUP1
000003b5: REVERT
000003b6: JUMPDEST
000003b7: PUSH2 0x012f
000003ba: PUSH1 0x01
000003bc: PUSH1 0xa0
000003be: PUSH1 0x02
000003c0: EXP
000003c1: SUB
000003c2: PUSH1 0x04
000003c4: CALLDATALOAD
000003c5: AND
000003c6: PUSH2 0x15fa
000003c9: JUMP
000003ca: JUMPDEST
000003cb: CALLVALUE
000003cc: ISZERO
000003cd: PUSH2 0x03d5
000003d0: JUMPI
000003d1: PUSH1 0x00
000003d3: DUP1
000003d4: REVERT
000003d5: JUMPDEST
000003d6: PUSH2 0x0147
000003d9: PUSH1 0x04
000003db: CALLDATALOAD
000003dc: PUSH1 0x24
000003de: CALLDATALOAD
000003df: PUSH1 0x44
000003e1: CALLDATALOAD
000003e2: PUSH1 0x64
000003e4: CALLDATALOAD
000003e5: PUSH2 0x1659
000003e8: JUMP
000003e9: JUMPDEST
000003ea: CALLVALUE
000003eb: ISZERO
000003ec: PUSH2 0x03f4
000003ef: JUMPI
000003f0: PUSH1 0x00
000003f2: DUP1
000003f3: REVERT
000003f4: JUMPDEST
000003f5: PUSH2 0x0147
000003f8: PUSH1 0x04
000003fa: CALLDATALOAD
000003fb: PUSH1 0x24
000003fd: CALLDATALOAD
000003fe: PUSH1 0x44
00000400: CALLDATALOAD
00000401: PUSH1 0x64
00000403: CALLDATALOAD
00000404: PUSH1 0x84
00000406: CALLDATALOAD
00000407: PUSH1 0xa4
00000409: CALLDATALOAD
0000040a: PUSH1 0xc4
0000040c: CALLDATALOAD
0000040d: PUSH1 0xe4
0000040f: CALLDATALOAD
00000410: PUSH2 0x1700
00000413: JUMP
00000414: JUMPDEST
00000415: PUSH1 0x00
00000417: PUSH2 0x0421
0000041a: DUP3
0000041b: PUSH1 0x78
0000041d: PUSH2 0x1894
00000420: JUMP
00000421: JUMPDEST
00000422: SWAP3
00000423: SWAP2
00000424: POP
00000425: POP
00000426: JUMP
00000427: JUMPDEST
00000428: PUSH1 0x02
0000042a: SLOAD
0000042b: PUSH1 0xa0
0000042d: PUSH1 0x02
0000042f: EXP
00000430: SWAP1
00000431: DIV
00000432: PUSH1 0xff
00000434: AND
00000435: SWAP1
00000436: JUMP
00000437: JUMPDEST
00000438: PUSH1 0x02
0000043a: SLOAD
0000043b: PUSH1 0x00
0000043d: SWAP1
0000043e: PUSH1 0xa0
00000440: PUSH1 0x02
00000442: EXP
00000443: SWAP1
00000444: DIV
00000445: PUSH1 0xff
00000447: AND
00000448: ISZERO
00000449: PUSH2 0x0451
0000044c: JUMPI
0000044d: PUSH1 0x00
0000044f: DUP1
00000450: REVERT
00000451: JUMPDEST
00000452: PUSH1 0x03
00000454: SLOAD
00000455: PUSH1 0x01
00000457: PUSH1 0xa0
00000459: PUSH1 0x02
0000045b: EXP
0000045c: SUB
0000045d: AND
0000045e: PUSH4 0xe9da7c57
00000463: PUSH1 0x00
00000465: PUSH1 0x40
00000467: MLOAD
00000468: PUSH1 0x20
0000046a: ADD
0000046b: MSTORE
0000046c: PUSH1 0x40
0000046e: MLOAD
0000046f: DUP2
00000470: PUSH4 0xffffffff
00000475: AND
00000476: PUSH1 0xe0
00000478: PUSH1 0x02
0000047a: EXP
0000047b: MUL
0000047c: DUP2
0000047d: MSTORE
0000047e: PUSH1 0x04
00000480: ADD
00000481: PUSH1 0x20
00000483: PUSH1 0x40
00000485: MLOAD
00000486: DUP1
00000487: DUP4
00000488: SUB
00000489: DUP2
0000048a: PUSH1 0x00
0000048c: DUP8
0000048d: DUP1
0000048e: EXTCODESIZE
0000048f: ISZERO
00000490: ISZERO
00000491: PUSH2 0x0499
00000494: JUMPI
00000495: PUSH1 0x00
00000497: DUP1
00000498: REVERT
00000499: JUMPDEST
0000049a: PUSH2 0x02c6
0000049d: GAS
0000049e: SUB
0000049f: CALL
000004a0: ISZERO
000004a1: ISZERO
000004a2: PUSH2 0x04aa
000004a5: JUMPI
000004a6: PUSH1 0x00
000004a8: DUP1
000004a9: REVERT
000004aa: JUMPDEST
000004ab: POP
000004ac: POP
000004ad: POP
000004ae: PUSH1 0x40
000004b0: MLOAD
000004b1: DUP1
000004b2: MLOAD
000004b3: SWAP2
000004b4: POP
000004b5: POP
000004b6: PUSH1 0x00
000004b8: DUP2
000004b9: GT
000004ba: PUSH2 0x04c2
000004bd: JUMPI
000004be: PUSH1 0x00
000004c0: DUP1
000004c1: REVERT
000004c2: JUMPDEST
000004c3: PUSH1 0x00
000004c5: DUP6
000004c6: GT
000004c7: DUP1
000004c8: ISZERO
000004c9: PUSH2 0x04d4
000004cc: JUMPI
000004cd: POP
000004ce: PUSH2 0x03e8
000004d1: DUP6
000004d2: GT
000004d3: ISZERO
000004d4: JUMPDEST
000004d5: ISZERO
000004d6: ISZERO
000004d7: PUSH2 0x04df
000004da: JUMPI
000004db: PUSH1 0x00
000004dd: DUP1
000004de: REVERT
000004df: JUMPDEST
000004e0: PUSH1 0x02
000004e2: DUP4
000004e3: LT
000004e4: PUSH2 0x04ec
000004e7: JUMPI
000004e8: PUSH1 0x00
000004ea: DUP1
000004eb: REVERT
000004ec: JUMPDEST
000004ed: PUSH1 0x01
000004ef: PUSH1 0xa0
000004f1: PUSH1 0x02
000004f3: EXP
000004f4: SUB
000004f5: DUP3
000004f6: AND
000004f7: ISZERO
000004f8: PUSH2 0x0504
000004fb: JUMPI
000004fc: PUSH2 0x0504
000004ff: DUP3
00000500: PUSH2 0x082f
00000503: JUMP
00000504: JUMPDEST
00000505: PUSH2 0x0510
00000508: DUP2
00000509: DUP7
0000050a: DUP7
0000050b: DUP7
0000050c: PUSH2 0x1a6d
0000050f: JUMP
00000510: JUMPDEST
00000511: POP
00000512: POP
00000513: POP
00000514: POP
00000515: POP
00000516: JUMP
00000517: JUMPDEST
00000518: PUSH1 0x02
0000051a: SLOAD
0000051b: CALLER
0000051c: PUSH1 0x01
0000051e: PUSH1 0xa0
00000520: PUSH1 0x02
00000522: EXP
00000523: SUB
00000524: SWAP1
00000525: DUP2
00000526: AND
00000527: SWAP2
00000528: AND
00000529: EQ
0000052a: PUSH2 0x0532
0000052d: JUMPI
0000052e: PUSH1 0x00
00000530: DUP1
00000531: REVERT
00000532: JUMPDEST
00000533: PUSH1 0x07
00000535: SWAP4
00000536: SWAP1
00000537: SWAP4
00000538: SSTORE
00000539: PUSH1 0x08
0000053b: SWAP2
0000053c: SWAP1
0000053d: SWAP2
0000053e: SSTORE
0000053f: PUSH1 0x09
00000541: SSTORE
00000542: PUSH1 0x0a
00000544: SSTORE
00000545: JUMP
00000546: JUMPDEST
00000547: PUSH1 0x02
00000549: SLOAD
0000054a: PUSH1 0x01
0000054c: PUSH1 0xa0
0000054e: PUSH1 0x02
00000550: EXP
00000551: SUB
00000552: AND
00000553: SWAP1
00000554: JUMP
00000555: JUMPDEST
00000556: PUSH1 0x03
00000558: SLOAD
00000559: PUSH1 0x00
0000055b: SWAP1
0000055c: DUP2
0000055d: SWAP1
0000055e: PUSH1 0x01
00000560: PUSH1 0xa0
00000562: PUSH1 0x02
00000564: EXP
00000565: SUB
00000566: AND
00000567: PUSH4 0xd9876719
0000056c: DUP5
0000056d: DUP4
0000056e: PUSH1 0x40
00000570: MLOAD
00000571: PUSH1 0x20
00000573: ADD
00000574: MSTORE
00000575: PUSH1 0x40
00000577: MLOAD
00000578: PUSH1 0xe0
0000057a: PUSH1 0x02
0000057c: EXP
0000057d: PUSH4 0xffffffff
00000582: DUP5
00000583: AND
00000584: MUL
00000585: DUP2
00000586: MSTORE
00000587: PUSH1 0x04
00000589: DUP2
0000058a: ADD
0000058b: SWAP2
0000058c: SWAP1
0000058d: SWAP2
0000058e: MSTORE
0000058f: PUSH1 0x24
00000591: ADD
00000592: PUSH1 0x20
00000594: PUSH1 0x40
00000596: MLOAD
00000597: DUP1
00000598: DUP4
00000599: SUB
0000059a: DUP2
0000059b: PUSH1 0x00
0000059d: DUP8
0000059e: DUP1
0000059f: EXTCODESIZE
000005a0: ISZERO
000005a1: ISZERO
000005a2: PUSH2 0x05aa
000005a5: JUMPI
000005a6: PUSH1 0x00
000005a8: DUP1
000005a9: REVERT
000005aa: JUMPDEST
000005ab: PUSH2 0x02c6
000005ae: GAS
000005af: SUB
000005b0: CALL
000005b1: ISZERO
000005b2: ISZERO
000005b3: PUSH2 0x05bb
000005b6: JUMPI
000005b7: PUSH1 0x00
000005b9: DUP1
000005ba: REVERT
000005bb: JUMPDEST
000005bc: POP
000005bd: POP
000005be: POP
000005bf: PUSH1 0x40
000005c1: MLOAD
000005c2: DUP1
000005c3: MLOAD
000005c4: SWAP1
000005c5: POP
000005c6: SWAP1
000005c7: POP
000005c8: PUSH1 0x64
000005ca: PUSH2 0x05d2
000005cd: DUP3
000005ce: PUSH2 0x1e11
000005d1: JUMP
000005d2: JUMPDEST
000005d3: PUSH1 0x69
000005d5: MUL
000005d6: DUP2
000005d7: ISZERO
000005d8: ISZERO
000005d9: PUSH2 0x05de
000005dc: JUMPI
000005dd: INVALID
000005de: JUMPDEST
000005df: DIV
000005e0: SWAP4
000005e1: SWAP3
000005e2: POP
000005e3: POP
000005e4: POP
000005e5: JUMP
000005e6: JUMPDEST
000005e7: PUSH1 0x02
000005e9: SLOAD
000005ea: PUSH1 0x00
000005ec: SWAP1
000005ed: CALLER
000005ee: PUSH1 0x01
000005f0: PUSH1 0xa0
000005f2: PUSH1 0x02
000005f4: EXP
000005f5: SUB
000005f6: SWAP1
000005f7: DUP2
000005f8: AND
000005f9: SWAP2
000005fa: AND
000005fb: EQ
000005fc: PUSH2 0x0604
000005ff: JUMPI
00000600: PUSH1 0x00
00000602: DUP1
00000603: REVERT
00000604: JUMPDEST
00000605: PUSH1 0x64
00000607: DUP11
00000608: GT
00000609: ISZERO
0000060a: PUSH2 0x0612
0000060d: JUMPI
0000060e: PUSH1 0x00
00000610: DUP1
00000611: REVERT
00000612: JUMPDEST
00000613: PUSH1 0x3c
00000615: DUP10
00000616: LT
00000617: ISZERO
00000618: DUP1
00000619: ISZERO
0000061a: PUSH2 0x0627
0000061d: JUMPI
0000061e: POP
0000061f: PUSH4 0x01e13380
00000624: DUP10
00000625: GT
00000626: ISZERO
00000627: JUMPDEST
00000628: ISZERO
00000629: ISZERO
0000062a: PUSH2 0x0632
0000062d: JUMPI
0000062e: PUSH1 0x00
00000630: DUP1
00000631: REVERT
00000632: JUMPDEST
00000633: PUSH1 0x01
00000635: DUP9
00000636: LT
00000637: ISZERO
00000638: DUP1
00000639: ISZERO
0000063a: PUSH2 0x0645
0000063d: JUMPI
0000063e: POP
0000063f: PUSH2 0x2710
00000642: DUP9
00000643: GT
00000644: ISZERO
00000645: JUMPDEST
00000646: ISZERO
00000647: ISZERO
00000648: PUSH2 0x0650
0000064b: JUMPI
0000064c: PUSH1 0x00
0000064e: DUP1
0000064f: REVERT
00000650: JUMPDEST
00000651: PUSH1 0x00
00000653: DUP7
00000654: LT
00000655: ISZERO
00000656: DUP1
00000657: ISZERO
00000658: PUSH2 0x0665
0000065b: JUMPI
0000065c: POP
0000065d: PUSH4 0x05f5e100
00000662: DUP7
00000663: GT
00000664: ISZERO
00000665: JUMPDEST
00000666: ISZERO
00000667: ISZERO
00000668: PUSH2 0x0670
0000066b: JUMPI
0000066c: PUSH1 0x00
0000066e: DUP1
0000066f: REVERT
00000670: JUMPDEST
00000671: PUSH1 0x00
00000673: DUP6
00000674: LT
00000675: ISZERO
00000676: DUP1
00000677: ISZERO
00000678: PUSH2 0x0685
0000067b: JUMPI
0000067c: POP
0000067d: PUSH4 0x05f5e100
00000682: DUP6
00000683: GT
00000684: ISZERO
00000685: JUMPDEST
00000686: ISZERO
00000687: ISZERO
00000688: PUSH2 0x0690
0000068b: JUMPI
0000068c: PUSH1 0x00
0000068e: DUP1
0000068f: REVERT
00000690: JUMPDEST
00000691: PUSH5 0xe8d4a51000
00000697: DUP8
00000698: LT
00000699: ISZERO
0000069a: DUP1
0000069b: ISZERO
0000069c: PUSH2 0x06ad
0000069f: JUMPI
000006a0: POP
000006a1: PUSH8 0x0de0b6b3a7640000
000006aa: DUP8
000006ab: GT
000006ac: ISZERO
000006ad: JUMPDEST
000006ae: ISZERO
000006af: ISZERO
000006b0: PUSH2 0x06b8
000006b3: JUMPI
000006b4: PUSH1 0x00
000006b6: DUP1
000006b7: REVERT
000006b8: JUMPDEST
000006b9: PUSH2 0x03e8
000006bc: DUP10
000006bd: MUL
000006be: PUSH1 0x0a
000006c0: DUP2
000006c1: SWAP1
000006c2: SSTORE
000006c3: PUSH1 0x03
000006c5: SLOAD
000006c6: PUSH1 0x01
000006c8: PUSH1 0xa0
000006ca: PUSH1 0x02
000006cc: EXP
000006cd: SUB
000006ce: AND
000006cf: SWAP1
000006d0: PUSH4 0x6335d9a9
000006d5: SWAP1
000006d6: DUP13
000006d7: SWAP1
000006d8: DUP11
000006d9: PUSH1 0x00
000006db: PUSH1 0x40
000006dd: MLOAD
000006de: PUSH1 0x20
000006e0: ADD
000006e1: MSTORE
000006e2: PUSH1 0x40
000006e4: MLOAD
000006e5: PUSH1 0xe0
000006e7: PUSH1 0x02
000006e9: EXP
000006ea: PUSH4 0xffffffff
000006ef: DUP7
000006f0: AND
000006f1: MUL
000006f2: DUP2
000006f3: MSTORE
000006f4: PUSH1 0x04
000006f6: DUP2
000006f7: ADD
000006f8: SWAP4
000006f9: SWAP1
000006fa: SWAP4
000006fb: MSTORE
000006fc: PUSH1 0x24
000006fe: DUP4
000006ff: ADD
00000700: SWAP2
00000701: SWAP1
00000702: SWAP2
00000703: MSTORE
00000704: PUSH1 0x44
00000706: DUP3
00000707: ADD
00000708: MSTORE
00000709: PUSH1 0x64
0000070b: ADD
0000070c: PUSH1 0x20
0000070e: PUSH1 0x40
00000710: MLOAD
00000711: DUP1
00000712: DUP4
00000713: SUB
00000714: DUP2
00000715: PUSH1 0x00
00000717: DUP8
00000718: DUP1
00000719: EXTCODESIZE
0000071a: ISZERO
0000071b: ISZERO
0000071c: PUSH2 0x0724
0000071f: JUMPI
00000720: PUSH1 0x00
00000722: DUP1
00000723: REVERT
00000724: JUMPDEST
00000725: PUSH2 0x02c6
00000728: GAS
00000729: SUB
0000072a: CALL
0000072b: ISZERO
0000072c: ISZERO
0000072d: PUSH2 0x0735
00000730: JUMPI
00000731: PUSH1 0x00
00000733: DUP1
00000734: REVERT
00000735: JUMPDEST
00000736: POP
00000737: POP
00000738: POP
00000739: PUSH1 0x40
0000073b: MLOAD
0000073c: DUP1
0000073d: MLOAD
0000073e: SWAP1
0000073f: POP
00000740: SWAP1
00000741: POP
00000742: PUSH2 0x0750
00000745: DUP9
00000746: DUP9
00000747: DUP9
00000748: DUP9
00000749: DUP9
0000074a: DUP9
0000074b: DUP9
0000074c: PUSH2 0x1ea1
0000074f: JUMP
00000750: JUMPDEST
00000751: PUSH32 0x4dd42ae1e0d13d1731dfc3e04d5b9210149eeca6991df73d54dc155c2baded9d
00000772: DUP2
00000773: PUSH1 0x40
00000775: MLOAD
00000776: SWAP1
00000777: DUP2
00000778: MSTORE
00000779: PUSH1 0x20
0000077b: ADD
0000077c: PUSH1 0x40
0000077e: MLOAD
0000077f: DUP1
00000780: SWAP2
00000781: SUB
00000782: SWAP1
00000783: LOG1
00000784: POP
00000785: POP
00000786: POP
00000787: POP
00000788: POP
00000789: POP
0000078a: POP
0000078b: POP
0000078c: POP
0000078d: POP
0000078e: JUMP
0000078f: JUMPDEST
00000790: PUSH1 0x00
00000792: SLOAD
00000793: PUSH1 0x01
00000795: PUSH1 0xa0
00000797: PUSH1 0x02
00000799: EXP
0000079a: SUB
0000079b: AND
0000079c: SWAP1
0000079d: JUMP
0000079e: JUMPDEST
0000079f: PUSH1 0x01
000007a1: SWAP1
000007a2: JUMP
000007a3: JUMPDEST
000007a4: PUSH1 0x00
000007a6: SLOAD
000007a7: CALLER
000007a8: PUSH1 0x01
000007aa: PUSH1 0xa0
000007ac: PUSH1 0x02
000007ae: EXP
000007af: SUB
000007b0: SWAP1
000007b1: DUP2
000007b2: AND
000007b3: SWAP2
000007b4: AND
000007b5: EQ
000007b6: DUP1
000007b7: PUSH2 0x07ce
000007ba: JUMPI
000007bb: POP
000007bc: PUSH1 0x01
000007be: SLOAD
000007bf: CALLER
000007c0: PUSH1 0x01
000007c2: PUSH1 0xa0
000007c4: PUSH1 0x02
000007c6: EXP
000007c7: SUB
000007c8: SWAP1
000007c9: DUP2
000007ca: AND
000007cb: SWAP2
000007cc: AND
000007cd: EQ
000007ce: JUMPDEST
000007cf: DUP1
000007d0: PUSH2 0x07e7
000007d3: JUMPI
000007d4: POP
000007d5: PUSH1 0x02
000007d7: SLOAD
000007d8: CALLER
000007d9: PUSH1 0x01
000007db: PUSH1 0xa0
000007dd: PUSH1 0x02
000007df: EXP
000007e0: SUB
000007e1: SWAP1
000007e2: DUP2
000007e3: AND
000007e4: SWAP2
000007e5: AND
000007e6: EQ
000007e7: JUMPDEST
000007e8: ISZERO
000007e9: ISZERO
000007ea: PUSH2 0x07f2
000007ed: JUMPI
000007ee: PUSH1 0x00
000007f0: DUP1
000007f1: REVERT
000007f2: JUMPDEST
000007f3: PUSH1 0x02
000007f5: SLOAD
000007f6: PUSH1 0xa0
000007f8: PUSH1 0x02
000007fa: EXP
000007fb: SWAP1
000007fc: DIV
000007fd: PUSH1 0xff
000007ff: AND
00000800: ISZERO
00000801: PUSH2 0x0809
00000804: JUMPI
00000805: PUSH1 0x00
00000807: DUP1
00000808: REVERT
00000809: JUMPDEST
0000080a: PUSH1 0x02
0000080c: DUP1
0000080d: SLOAD
0000080e: PUSH21 0xff0000000000000000000000000000000000000000
00000824: NOT
00000825: AND
00000826: PUSH1 0xa0
00000828: PUSH1 0x02
0000082a: EXP
0000082b: OR
0000082c: SWAP1
0000082d: SSTORE
0000082e: JUMP
0000082f: JUMPDEST
00000830: PUSH1 0x02
00000832: SLOAD
00000833: PUSH1 0x00
00000835: SWAP1
00000836: PUSH1 0xa0
00000838: PUSH1 0x02
0000083a: EXP
0000083b: SWAP1
0000083c: DIV
0000083d: PUSH1 0xff
0000083f: AND
00000840: ISZERO
00000841: PUSH2 0x0849
00000844: JUMPI
00000845: PUSH1 0x00
00000847: DUP1
00000848: REVERT
00000849: JUMPDEST
0000084a: DUP2
0000084b: PUSH1 0x01
0000084d: PUSH1 0xa0
0000084f: PUSH1 0x02
00000851: EXP
00000852: SUB
00000853: AND
00000854: CALLER
00000855: PUSH1 0x01
00000857: PUSH1 0xa0
00000859: PUSH1 0x02
0000085b: EXP
0000085c: SUB
0000085d: AND
0000085e: EQ
0000085f: ISZERO
00000860: ISZERO
00000861: ISZERO
00000862: PUSH2 0x086a
00000865: JUMPI
00000866: PUSH1 0x00
00000868: DUP1
00000869: REVERT
0000086a: JUMPDEST
0000086b: PUSH1 0x03
0000086d: SLOAD
0000086e: PUSH1 0x01
00000870: PUSH1 0xa0
00000872: PUSH1 0x02
00000874: EXP
00000875: SUB
00000876: AND
00000877: PUSH4 0x094a9d3c
0000087c: CALLER
0000087d: PUSH1 0x00
0000087f: PUSH1 0x40
00000881: MLOAD
00000882: PUSH1 0x40
00000884: ADD
00000885: MSTORE
00000886: PUSH1 0x40
00000888: MLOAD
00000889: PUSH1 0xe0
0000088b: PUSH1 0x02
0000088d: EXP
0000088e: PUSH4 0xffffffff
00000893: DUP5
00000894: AND
00000895: MUL
00000896: DUP2
00000897: MSTORE
00000898: PUSH1 0x01
0000089a: PUSH1 0xa0
0000089c: PUSH1 0x02
0000089e: EXP
0000089f: SUB
000008a0: SWAP1
000008a1: SWAP2
000008a2: AND
000008a3: PUSH1 0x04
000008a5: DUP3
000008a6: ADD
000008a7: MSTORE
000008a8: PUSH1 0x24
000008aa: ADD
000008ab: PUSH1 0x40
000008ad: DUP1
000008ae: MLOAD
000008af: DUP1
000008b0: DUP4
000008b1: SUB
000008b2: DUP2
000008b3: PUSH1 0x00
000008b5: DUP8
000008b6: DUP1
000008b7: EXTCODESIZE
000008b8: ISZERO
000008b9: ISZERO
000008ba: PUSH2 0x08c2
000008bd: JUMPI
000008be: PUSH1 0x00
000008c0: DUP1
000008c1: REVERT
000008c2: JUMPDEST
000008c3: PUSH2 0x02c6
000008c6: GAS
000008c7: SUB
000008c8: CALL
000008c9: ISZERO
000008ca: ISZERO
000008cb: PUSH2 0x08d3
000008ce: JUMPI
000008cf: PUSH1 0x00
000008d1: DUP1
000008d2: REVERT
000008d3: JUMPDEST
000008d4: POP
000008d5: POP
000008d6: POP
000008d7: PUSH1 0x40
000008d9: MLOAD
000008da: DUP1
000008db: MLOAD
000008dc: SWAP1
000008dd: PUSH1 0x20
000008df: ADD
000008e0: DUP1
000008e1: MLOAD
000008e2: SWAP1
000008e3: POP
000008e4: SWAP2
000008e5: POP
000008e6: POP
000008e7: DUP2
000008e8: PUSH1 0x01
000008ea: PUSH1 0xa0
000008ec: PUSH1 0x02
000008ee: EXP
000008ef: SUB
000008f0: AND
000008f1: DUP2
000008f2: PUSH1 0x01
000008f4: PUSH1 0xa0
000008f6: PUSH1 0x02
000008f8: EXP
000008f9: SUB
000008fa: AND
000008fb: EQ
000008fc: ISZERO
000008fd: PUSH2 0x0905
00000900: JUMPI
00000901: PUSH2 0x09b8
00000904: JUMP
00000905: JUMPDEST
00000906: PUSH1 0x03
00000908: SLOAD
00000909: PUSH1 0x01
0000090b: PUSH1 0xa0
0000090d: PUSH1 0x02
0000090f: EXP
00000910: SUB
00000911: AND
00000912: PUSH4 0x6aa0d407
00000917: CALLER
00000918: DUP5
00000919: PUSH1 0x40
0000091b: MLOAD
0000091c: PUSH1 0xe0
0000091e: PUSH1 0x02
00000920: EXP
00000921: PUSH4 0xffffffff
00000926: DUP6
00000927: AND
00000928: MUL
00000929: DUP2
0000092a: MSTORE
0000092b: PUSH1 0x01
0000092d: PUSH1 0xa0
0000092f: PUSH1 0x02
00000931: EXP
00000932: SUB
00000933: SWAP3
00000934: DUP4
00000935: AND
00000936: PUSH1 0x04
00000938: DUP3
00000939: ADD
0000093a: MSTORE
0000093b: SWAP2
0000093c: AND
0000093d: PUSH1 0x24
0000093f: DUP3
00000940: ADD
00000941: MSTORE
00000942: PUSH1 0x44
00000944: ADD
00000945: PUSH1 0x00
00000947: PUSH1 0x40
00000949: MLOAD
0000094a: DUP1
0000094b: DUP4
0000094c: SUB
0000094d: DUP2
0000094e: PUSH1 0x00
00000950: DUP8
00000951: DUP1
00000952: EXTCODESIZE
00000953: ISZERO
00000954: ISZERO
00000955: PUSH2 0x095d
00000958: JUMPI
00000959: PUSH1 0x00
0000095b: DUP1
0000095c: REVERT
0000095d: JUMPDEST
0000095e: PUSH2 0x02c6
00000961: GAS
00000962: SUB
00000963: CALL
00000964: ISZERO
00000965: ISZERO
00000966: PUSH2 0x096e
00000969: JUMPI
0000096a: PUSH1 0x00
0000096c: DUP1
0000096d: REVERT
0000096e: JUMPDEST
0000096f: POP
00000970: POP
00000971: POP
00000972: PUSH32 0x837f4af3ef52786c862cc3dc98b706829f7d5601b346bfed3e41bd088ba9f8dd
00000993: CALLER
00000994: DUP4
00000995: PUSH1 0x40
00000997: MLOAD
00000998: PUSH1 0x01
0000099a: PUSH1 0xa0
0000099c: PUSH1 0x02
0000099e: EXP
0000099f: SUB
000009a0: SWAP3
000009a1: DUP4
000009a2: AND
000009a3: DUP2
000009a4: MSTORE
000009a5: SWAP2
000009a6: AND
000009a7: PUSH1 0x20
000009a9: DUP3
000009aa: ADD
000009ab: MSTORE
000009ac: PUSH1 0x40
000009ae: SWAP1
000009af: DUP2
000009b0: ADD
000009b1: SWAP1
000009b2: MLOAD
000009b3: DUP1
000009b4: SWAP2
000009b5: SUB
000009b6: SWAP1
000009b7: LOG1
000009b8: JUMPDEST
000009b9: POP
000009ba: POP
000009bb: JUMP
000009bc: JUMPDEST
000009bd: PUSH1 0x02
000009bf: SLOAD
000009c0: CALLER
000009c1: PUSH1 0x01
000009c3: PUSH1 0xa0
000009c5: PUSH1 0x02
000009c7: EXP
000009c8: SUB
000009c9: SWAP1
000009ca: DUP2
000009cb: AND
000009cc: SWAP2
000009cd: AND
000009ce: EQ
000009cf: PUSH2 0x09d7
000009d2: JUMPI
000009d3: PUSH1 0x00
000009d5: DUP1
000009d6: REVERT
000009d7: JUMPDEST
000009d8: PUSH1 0x02
000009da: SLOAD
000009db: PUSH1 0xa0
000009dd: PUSH1 0x02
000009df: EXP
000009e0: SWAP1
000009e1: DIV
000009e2: PUSH1 0xff
000009e4: AND
000009e5: ISZERO
000009e6: ISZERO
000009e7: PUSH2 0x09ef
000009ea: JUMPI
000009eb: PUSH1 0x00
000009ed: DUP1
000009ee: REVERT
000009ef: JUMPDEST
000009f0: PUSH1 0x02
000009f2: DUP1
000009f3: SLOAD
000009f4: PUSH21 0xff0000000000000000000000000000000000000000
00000a0a: NOT
00000a0b: AND
00000a0c: SWAP1
00000a0d: SSTORE
00000a0e: JUMP
00000a0f: JUMPDEST
00000a10: PUSH1 0x00
00000a12: SLOAD
00000a13: CALLER
00000a14: PUSH1 0x01
00000a16: PUSH1 0xa0
00000a18: PUSH1 0x02
00000a1a: EXP
00000a1b: SUB
00000a1c: SWAP1
00000a1d: DUP2
00000a1e: AND
00000a1f: SWAP2
00000a20: AND
00000a21: EQ
00000a22: PUSH2 0x0a2a
00000a25: JUMPI
00000a26: PUSH1 0x00
00000a28: DUP1
00000a29: REVERT
00000a2a: JUMPDEST
00000a2b: PUSH1 0x01
00000a2d: PUSH1 0xa0
00000a2f: PUSH1 0x02
00000a31: EXP
00000a32: SUB
00000a33: DUP2
00000a34: AND
00000a35: ISZERO
00000a36: ISZERO
00000a37: PUSH2 0x0a3f
00000a3a: JUMPI
00000a3b: PUSH1 0x00
00000a3d: DUP1
00000a3e: REVERT
00000a3f: JUMPDEST
00000a40: PUSH1 0x01
00000a42: DUP1
00000a43: SLOAD
00000a44: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a59: NOT
00000a5a: AND
00000a5b: PUSH1 0x01
00000a5d: PUSH1 0xa0
00000a5f: PUSH1 0x02
00000a61: EXP
00000a62: SUB
00000a63: SWAP3
00000a64: SWAP1
00000a65: SWAP3
00000a66: AND
00000a67: SWAP2
00000a68: SWAP1
00000a69: SWAP2
00000a6a: OR
00000a6b: SWAP1
00000a6c: SSTORE
00000a6d: JUMP
00000a6e: JUMPDEST
00000a6f: PUSH1 0x00
00000a71: DUP1
00000a72: SLOAD
00000a73: CALLER
00000a74: PUSH1 0x01
00000a76: PUSH1 0xa0
00000a78: PUSH1 0x02
00000a7a: EXP
00000a7b: SUB
00000a7c: SWAP1
00000a7d: DUP2
00000a7e: AND
00000a7f: SWAP2
00000a80: AND
00000a81: EQ
00000a82: PUSH2 0x0a8a
00000a85: JUMPI
00000a86: PUSH1 0x00
00000a88: DUP1
00000a89: REVERT
00000a8a: JUMPDEST
00000a8b: DUP2
00000a8c: SWAP1
00000a8d: POP
00000a8e: ADDRESS
00000a8f: PUSH1 0x01
00000a91: PUSH1 0xa0
00000a93: PUSH1 0x02
00000a95: EXP
00000a96: SUB
00000a97: AND
00000a98: DUP2
00000a99: PUSH1 0x01
00000a9b: PUSH1 0xa0
00000a9d: PUSH1 0x02
00000a9f: EXP
00000aa0: SUB
00000aa1: AND
00000aa2: EQ
00000aa3: ISZERO
00000aa4: ISZERO
00000aa5: ISZERO
00000aa6: PUSH2 0x0aae
00000aa9: JUMPI
00000aaa: PUSH1 0x00
00000aac: DUP1
00000aad: REVERT
00000aae: JUMPDEST
00000aaf: DUP1
00000ab0: PUSH1 0x01
00000ab2: PUSH1 0xa0
00000ab4: PUSH1 0x02
00000ab6: EXP
00000ab7: SUB
00000ab8: AND
00000ab9: PUSH4 0x5ea9349d
00000abe: PUSH1 0x00
00000ac0: PUSH1 0x40
00000ac2: MLOAD
00000ac3: PUSH1 0x20
00000ac5: ADD
00000ac6: MSTORE
00000ac7: PUSH1 0x40
00000ac9: MLOAD
00000aca: DUP2
00000acb: PUSH4 0xffffffff
00000ad0: AND
00000ad1: PUSH1 0xe0
00000ad3: PUSH1 0x02
00000ad5: EXP
00000ad6: MUL
00000ad7: DUP2
00000ad8: MSTORE
00000ad9: PUSH1 0x04
00000adb: ADD
00000adc: PUSH1 0x20
00000ade: PUSH1 0x40
00000ae0: MLOAD
00000ae1: DUP1
00000ae2: DUP4
00000ae3: SUB
00000ae4: DUP2
00000ae5: PUSH1 0x00
00000ae7: DUP8
00000ae8: DUP1
00000ae9: EXTCODESIZE
00000aea: ISZERO
00000aeb: ISZERO
00000aec: PUSH2 0x0af4
00000aef: JUMPI
00000af0: PUSH1 0x00
00000af2: DUP1
00000af3: REVERT
00000af4: JUMPDEST
00000af5: PUSH2 0x02c6
00000af8: GAS
00000af9: SUB
00000afa: CALL
00000afb: ISZERO
00000afc: ISZERO
00000afd: PUSH2 0x0b05
00000b00: JUMPI
00000b01: PUSH1 0x00
00000b03: DUP1
00000b04: REVERT
00000b05: JUMPDEST
00000b06: POP
00000b07: POP
00000b08: POP
00000b09: PUSH1 0x40
00000b0b: MLOAD
00000b0c: DUP1
00000b0d: MLOAD
00000b0e: SWAP1
00000b0f: POP
00000b10: ISZERO
00000b11: ISZERO
00000b12: PUSH2 0x0b1a
00000b15: JUMPI
00000b16: PUSH1 0x00
00000b18: DUP1
00000b19: REVERT
00000b1a: JUMPDEST
00000b1b: PUSH1 0x02
00000b1d: SLOAD
00000b1e: PUSH1 0xa0
00000b20: PUSH1 0x02
00000b22: EXP
00000b23: SWAP1
00000b24: DIV
00000b25: PUSH1 0xff
00000b27: AND
00000b28: ISZERO
00000b29: ISZERO
00000b2a: PUSH2 0x0b35
00000b2d: JUMPI
00000b2e: PUSH2 0x0b35
00000b31: PUSH2 0x07a3
00000b34: JUMP
00000b35: JUMPDEST
00000b36: PUSH1 0x00
00000b38: ADDRESS
00000b39: PUSH1 0x01
00000b3b: PUSH1 0xa0
00000b3d: PUSH1 0x02
00000b3f: EXP
00000b40: SUB
00000b41: AND
00000b42: BALANCE
00000b43: GT
00000b44: ISZERO
00000b45: PUSH2 0x0b85
00000b48: JUMPI
00000b49: DUP2
00000b4a: PUSH1 0x01
00000b4c: PUSH1 0xa0
00000b4e: PUSH1 0x02
00000b50: EXP
00000b51: SUB
00000b52: AND
00000b53: PUSH2 0x08fc
00000b56: ADDRESS
00000b57: PUSH1 0x01
00000b59: PUSH1 0xa0
00000b5b: PUSH1 0x02
00000b5d: EXP
00000b5e: SUB
00000b5f: AND
00000b60: BALANCE
00000b61: SWAP1
00000b62: DUP2
00000b63: ISZERO
00000b64: MUL
00000b65: SWAP1
00000b66: PUSH1 0x40
00000b68: MLOAD
00000b69: PUSH1 0x00
00000b6b: PUSH1 0x40
00000b6d: MLOAD
00000b6e: DUP1
00000b6f: DUP4
00000b70: SUB
00000b71: DUP2
00000b72: DUP6
00000b73: DUP9
00000b74: DUP9
00000b75: CALL
00000b76: SWAP4
00000b77: POP
00000b78: POP
00000b79: POP
00000b7a: POP
00000b7b: ISZERO
00000b7c: ISZERO
00000b7d: PUSH2 0x0b85
00000b80: JUMPI
00000b81: PUSH1 0x00
00000b83: DUP1
00000b84: REVERT
00000b85: JUMPDEST
00000b86: PUSH32 0xffb9cad057f5722bab71bbb3365b9e79d4b5c8be601e3451c6a6ea37fd31f8f9
00000ba7: DUP3
00000ba8: PUSH1 0x40
00000baa: MLOAD
00000bab: PUSH1 0x01
00000bad: PUSH1 0xa0
00000baf: PUSH1 0x02
00000bb1: EXP
00000bb2: SUB
00000bb3: SWAP1
00000bb4: SWAP2
00000bb5: AND
00000bb6: DUP2
00000bb7: MSTORE
00000bb8: PUSH1 0x20
00000bba: ADD
00000bbb: PUSH1 0x40
00000bbd: MLOAD
00000bbe: DUP1
00000bbf: SWAP2
00000bc0: SUB
00000bc1: SWAP1
00000bc2: LOG1
00000bc3: POP
00000bc4: POP
00000bc5: JUMP
00000bc6: JUMPDEST
00000bc7: PUSH1 0x01
00000bc9: SLOAD
00000bca: PUSH1 0x01
00000bcc: PUSH1 0xa0
00000bce: PUSH1 0x02
00000bd0: EXP
00000bd1: SUB
00000bd2: AND
00000bd3: SWAP1
00000bd4: JUMP
00000bd5: JUMPDEST
00000bd6: PUSH1 0x00
00000bd8: DUP1
00000bd9: PUSH1 0x00
00000bdb: DUP1
00000bdc: PUSH1 0x00
00000bde: DUP1
00000bdf: PUSH1 0x00
00000be1: DUP1
00000be2: PUSH1 0x00
00000be4: DUP1
00000be5: PUSH1 0x03
00000be7: PUSH1 0x00
00000be9: SWAP1
00000bea: SLOAD
00000beb: SWAP1
00000bec: PUSH2 0x0100
00000bef: EXP
00000bf0: SWAP1
00000bf1: DIV
00000bf2: PUSH1 0x01
00000bf4: PUSH1 0xa0
00000bf6: PUSH1 0x02
00000bf8: EXP
00000bf9: SUB
00000bfa: AND
00000bfb: PUSH1 0x01
00000bfd: PUSH1 0xa0
00000bff: PUSH1 0x02
00000c01: EXP
00000c02: SUB
00000c03: AND
00000c04: PUSH4 0xe9da7c57
00000c09: PUSH1 0x00
00000c0b: PUSH1 0x40
00000c0d: MLOAD
00000c0e: PUSH1 0x20
00000c10: ADD
00000c11: MSTORE
00000c12: PUSH1 0x40
00000c14: MLOAD
00000c15: DUP2
00000c16: PUSH4 0xffffffff
00000c1b: AND
00000c1c: PUSH1 0xe0
00000c1e: PUSH1 0x02
00000c20: EXP
00000c21: MUL
00000c22: DUP2
00000c23: MSTORE
00000c24: PUSH1 0x04
00000c26: ADD
00000c27: PUSH1 0x20
00000c29: PUSH1 0x40
00000c2b: MLOAD
00000c2c: DUP1
00000c2d: DUP4
00000c2e: SUB
00000c2f: DUP2
00000c30: PUSH1 0x00
00000c32: DUP8
00000c33: DUP1
00000c34: EXTCODESIZE
00000c35: ISZERO
00000c36: ISZERO
00000c37: PUSH2 0x0c3f
00000c3a: JUMPI
00000c3b: PUSH1 0x00
00000c3d: DUP1
00000c3e: REVERT
00000c3f: JUMPDEST
00000c40: PUSH2 0x02c6
00000c43: GAS
00000c44: SUB
00000c45: CALL
00000c46: ISZERO
00000c47: ISZERO
00000c48: PUSH2 0x0c50
00000c4b: JUMPI
00000c4c: PUSH1 0x00
00000c4e: DUP1
00000c4f: REVERT
00000c50: JUMPDEST
00000c51: POP
00000c52: POP
00000c53: POP
00000c54: PUSH1 0x40
00000c56: MLOAD
00000c57: DUP1
00000c58: MLOAD
00000c59: SWAP10
00000c5a: POP
00000c5b: PUSH1 0x00
00000c5d: SWAP9
00000c5e: POP
00000c5f: DUP10
00000c60: SWAP8
00000c61: POP
00000c62: POP
00000c63: JUMPDEST
00000c64: PUSH1 0x01
00000c66: DUP8
00000c67: LT
00000c68: PUSH2 0x0ecf
00000c6b: JUMPI
00000c6c: PUSH1 0x03
00000c6e: SLOAD
00000c6f: PUSH1 0x01
00000c71: PUSH1 0xa0
00000c73: PUSH1 0x02
00000c75: EXP
00000c76: SUB
00000c77: AND
00000c78: PUSH4 0x458a5797
00000c7d: DUP9
00000c7e: DUP14
00000c7f: PUSH1 0x00
00000c81: PUSH1 0x40
00000c83: MLOAD
00000c84: PUSH1 0x40
00000c86: ADD
00000c87: MSTORE
00000c88: PUSH1 0x40
00000c8a: MLOAD
00000c8b: PUSH1 0xe0
00000c8d: PUSH1 0x02
00000c8f: EXP
00000c90: PUSH4 0xffffffff
00000c95: DUP6
00000c96: AND
00000c97: MUL
00000c98: DUP2
00000c99: MSTORE
00000c9a: PUSH1 0x04
00000c9c: DUP2
00000c9d: ADD
00000c9e: SWAP3
00000c9f: SWAP1
00000ca0: SWAP3
00000ca1: MSTORE
00000ca2: PUSH1 0x01
00000ca4: PUSH1 0xa0
00000ca6: PUSH1 0x02
00000ca8: EXP
00000ca9: SUB
00000caa: AND
00000cab: PUSH1 0x24
00000cad: DUP3
00000cae: ADD
00000caf: MSTORE
00000cb0: PUSH1 0x44
00000cb2: ADD
00000cb3: PUSH1 0x40
00000cb5: DUP1
00000cb6: MLOAD
00000cb7: DUP1
00000cb8: DUP4
00000cb9: SUB
00000cba: DUP2
00000cbb: PUSH1 0x00
00000cbd: DUP8
00000cbe: DUP1
00000cbf: EXTCODESIZE
00000cc0: ISZERO
00000cc1: ISZERO
00000cc2: PUSH2 0x0cca
00000cc5: JUMPI
00000cc6: PUSH1 0x00
00000cc8: DUP1
00000cc9: REVERT
00000cca: JUMPDEST
00000ccb: PUSH2 0x02c6
00000cce: GAS
00000ccf: SUB
00000cd0: CALL
00000cd1: ISZERO
00000cd2: ISZERO
00000cd3: PUSH2 0x0cdb
00000cd6: JUMPI
00000cd7: PUSH1 0x00
00000cd9: DUP1
00000cda: REVERT
00000cdb: JUMPDEST
00000cdc: POP
00000cdd: POP
00000cde: POP
00000cdf: PUSH1 0x40
00000ce1: MLOAD
00000ce2: DUP1
00000ce3: MLOAD
00000ce4: SWAP1
00000ce5: PUSH1 0x20
00000ce7: ADD
00000ce8: DUP1
00000ce9: MLOAD
00000cea: PUSH1 0x03
00000cec: SLOAD
00000ced: SWAP3
00000cee: SWAP9
00000cef: POP
00000cf0: SWAP7
00000cf1: POP
00000cf2: POP
00000cf3: PUSH1 0x01
00000cf5: PUSH1 0xa0
00000cf7: PUSH1 0x02
00000cf9: EXP
00000cfa: SUB
00000cfb: AND
00000cfc: PUSH4 0x05b63d32
00000d01: DUP9
00000d02: DUP14
00000d03: PUSH1 0x00
00000d05: PUSH1 0x40
00000d07: MLOAD
00000d08: PUSH1 0x60
00000d0a: ADD
00000d0b: MSTORE
00000d0c: PUSH1 0x40
00000d0e: MLOAD
00000d0f: PUSH1 0xe0
00000d11: PUSH1 0x02
00000d13: EXP
00000d14: PUSH4 0xffffffff
00000d19: DUP6
00000d1a: AND
00000d1b: MUL
00000d1c: DUP2
00000d1d: MSTORE
00000d1e: PUSH1 0x04
00000d20: DUP2
00000d21: ADD
00000d22: SWAP3
00000d23: SWAP1
00000d24: SWAP3
00000d25: MSTORE
00000d26: PUSH1 0x01
00000d28: PUSH1 0xa0
00000d2a: PUSH1 0x02
00000d2c: EXP
00000d2d: SUB
00000d2e: AND
00000d2f: PUSH1 0x24
00000d31: DUP3
00000d32: ADD
00000d33: MSTORE
00000d34: PUSH1 0x44
00000d36: ADD
00000d37: PUSH1 0x60
00000d39: PUSH1 0x40
00000d3b: MLOAD
00000d3c: DUP1
00000d3d: DUP4
00000d3e: SUB
00000d3f: DUP2
00000d40: PUSH1 0x00
00000d42: DUP8
00000d43: DUP1
00000d44: EXTCODESIZE
00000d45: ISZERO
00000d46: ISZERO
00000d47: PUSH2 0x0d4f
00000d4a: JUMPI
00000d4b: PUSH1 0x00
00000d4d: DUP1
00000d4e: REVERT
00000d4f: JUMPDEST
00000d50: PUSH2 0x02c6
00000d53: GAS
00000d54: SUB
00000d55: CALL
00000d56: ISZERO
00000d57: ISZERO
00000d58: PUSH2 0x0d60
00000d5b: JUMPI
00000d5c: PUSH1 0x00
00000d5e: DUP1
00000d5f: REVERT
00000d60: JUMPDEST
00000d61: POP
00000d62: POP
00000d63: POP
00000d64: PUSH1 0x40
00000d66: MLOAD
00000d67: DUP1
00000d68: MLOAD
00000d69: SWAP1
00000d6a: PUSH1 0x20
00000d6c: ADD
00000d6d: DUP1
00000d6e: MLOAD
00000d6f: SWAP1
00000d70: PUSH1 0x20
00000d72: ADD
00000d73: DUP1
00000d74: MLOAD
00000d75: SWAP1
00000d76: POP
00000d77: SWAP6
00000d78: POP
00000d79: POP
00000d7a: POP
00000d7b: DUP4
00000d7c: ISZERO
00000d7d: PUSH2 0x0d85
00000d80: JUMPI
00000d81: PUSH2 0x0ecf
00000d84: JUMP
00000d85: JUMPDEST
00000d86: DUP5
00000d87: ISZERO
00000d88: ISZERO
00000d89: PUSH2 0x0d91
00000d8c: JUMPI
00000d8d: PUSH2 0x0ec3
00000d90: JUMP
00000d91: JUMPDEST
00000d92: PUSH1 0x03
00000d94: SLOAD
00000d95: PUSH1 0x01
00000d97: PUSH1 0xa0
00000d99: PUSH1 0x02
00000d9b: EXP
00000d9c: SUB
00000d9d: AND
00000d9e: PUSH4 0x47f3463e
00000da3: DUP9
00000da4: PUSH1 0x00
00000da6: PUSH1 0x40
00000da8: MLOAD
00000da9: PUSH1 0xe0
00000dab: ADD
00000dac: MSTORE
00000dad: PUSH1 0x40
00000daf: MLOAD
00000db0: PUSH1 0xe0
00000db2: PUSH1 0x02
00000db4: EXP
00000db5: PUSH4 0xffffffff
00000dba: DUP5
00000dbb: AND
00000dbc: MUL
00000dbd: DUP2
00000dbe: MSTORE
00000dbf: PUSH1 0x04
00000dc1: DUP2
00000dc2: ADD
00000dc3: SWAP2
00000dc4: SWAP1
00000dc5: SWAP2
00000dc6: MSTORE
00000dc7: PUSH1 0x24
00000dc9: ADD
00000dca: PUSH1 0xe0
00000dcc: PUSH1 0x40
00000dce: MLOAD
00000dcf: DUP1
00000dd0: DUP4
00000dd1: SUB
00000dd2: DUP2
00000dd3: PUSH1 0x00
00000dd5: DUP8
00000dd6: DUP1
00000dd7: EXTCODESIZE
00000dd8: ISZERO
00000dd9: ISZERO
00000dda: PUSH2 0x0de2
00000ddd: JUMPI
00000dde: PUSH1 0x00
00000de0: DUP1
00000de1: REVERT
00000de2: JUMPDEST
00000de3: PUSH2 0x02c6
00000de6: GAS
00000de7: SUB
00000de8: CALL
00000de9: ISZERO
00000dea: ISZERO
00000deb: PUSH2 0x0df3
00000dee: JUMPI
00000def: PUSH1 0x00
00000df1: DUP1
00000df2: REVERT
00000df3: JUMPDEST
00000df4: POP
00000df5: POP
00000df6: POP
00000df7: PUSH1 0x40
00000df9: MLOAD
00000dfa: DUP1
00000dfb: MLOAD
00000dfc: SWAP1
00000dfd: PUSH1 0x20
00000dff: ADD
00000e00: DUP1
00000e01: MLOAD
00000e02: SWAP1
00000e03: PUSH1 0x20
00000e05: ADD
00000e06: DUP1
00000e07: MLOAD
00000e08: SWAP1
00000e09: PUSH1 0x20
00000e0b: ADD
00000e0c: DUP1
00000e0d: MLOAD
00000e0e: SWAP1
00000e0f: PUSH1 0x20
00000e11: ADD
00000e12: DUP1
00000e13: MLOAD
00000e14: SWAP1
00000e15: PUSH1 0x20
00000e17: ADD
00000e18: DUP1
00000e19: MLOAD
00000e1a: SWAP1
00000e1b: PUSH1 0x20
00000e1d: ADD
00000e1e: DUP1
00000e1f: MLOAD
00000e20: POP
00000e21: POP
00000e22: PUSH1 0x03
00000e24: SLOAD
00000e25: SWAP6
00000e26: SWAP9
00000e27: POP
00000e28: SWAP4
00000e29: SWAP7
00000e2a: POP
00000e2b: POP
00000e2c: PUSH1 0x01
00000e2e: PUSH1 0xa0
00000e30: PUSH1 0x02
00000e32: EXP
00000e33: SUB
00000e34: SWAP1
00000e35: SWAP4
00000e36: AND
00000e37: SWAP3
00000e38: POP
00000e39: PUSH4 0xea0bdfa7
00000e3e: SWAP2
00000e3f: POP
00000e40: DUP10
00000e41: SWAP1
00000e42: POP
00000e43: PUSH1 0x00
00000e45: PUSH1 0x40
00000e47: MLOAD
00000e48: PUSH1 0x40
00000e4a: ADD
00000e4b: MSTORE
00000e4c: PUSH1 0x40
00000e4e: MLOAD
00000e4f: PUSH1 0xe0
00000e51: PUSH1 0x02
00000e53: EXP
00000e54: PUSH4 0xffffffff
00000e59: DUP5
00000e5a: AND
00000e5b: MUL
00000e5c: DUP2
00000e5d: MSTORE
00000e5e: PUSH1 0x04
00000e60: DUP2
00000e61: ADD
00000e62: SWAP2
00000e63: SWAP1
00000e64: SWAP2
00000e65: MSTORE
00000e66: PUSH1 0x24
00000e68: ADD
00000e69: PUSH1 0x40
00000e6b: DUP1
00000e6c: MLOAD
00000e6d: DUP1
00000e6e: DUP4
00000e6f: SUB
00000e70: DUP2
00000e71: PUSH1 0x00
00000e73: DUP8
00000e74: DUP1
00000e75: EXTCODESIZE
00000e76: ISZERO
00000e77: ISZERO
00000e78: PUSH2 0x0e80
00000e7b: JUMPI
00000e7c: PUSH1 0x00
00000e7e: DUP1
00000e7f: REVERT
00000e80: JUMPDEST
00000e81: PUSH2 0x02c6
00000e84: GAS
00000e85: SUB
00000e86: CALL
00000e87: ISZERO
00000e88: ISZERO
00000e89: PUSH2 0x0e91
00000e8c: JUMPI
00000e8d: PUSH1 0x00
00000e8f: DUP1
00000e90: REVERT
00000e91: JUMPDEST
00000e92: POP
00000e93: POP
00000e94: POP
00000e95: PUSH1 0x40
00000e97: MLOAD
00000e98: DUP1
00000e99: MLOAD
00000e9a: SWAP1
00000e9b: PUSH1 0x20
00000e9d: ADD
00000e9e: DUP1
00000e9f: MLOAD
00000ea0: POP
00000ea1: SWAP1
00000ea2: SWAP2
00000ea3: POP
00000ea4: POP
00000ea5: DUP3
00000ea6: ISZERO
00000ea7: ISZERO
00000ea8: PUSH2 0x0eb0
00000eab: JUMPI
00000eac: PUSH2 0x0ec3
00000eaf: JUMP
00000eb0: JUMPDEST
00000eb1: PUSH2 0x0ebe
00000eb4: DUP12
00000eb5: DUP5
00000eb6: DUP5
00000eb7: DUP5
00000eb8: DUP11
00000eb9: DUP11
00000eba: PUSH2 0x1f71
00000ebd: JUMP
00000ebe: JUMPDEST
00000ebf: DUP9
00000ec0: ADD
00000ec1: SWAP8
00000ec2: POP
00000ec3: JUMPDEST
00000ec4: PUSH1 0x00
00000ec6: NOT
00000ec7: SWAP1
00000ec8: SWAP7
00000ec9: ADD
00000eca: SWAP6
00000ecb: PUSH2 0x0c63
00000ece: JUMP
00000ecf: JUMPDEST
00000ed0: POP
00000ed1: SWAP6
00000ed2: SWAP10
00000ed3: SWAP9
00000ed4: POP
00000ed5: POP
00000ed6: POP
00000ed7: POP
00000ed8: POP
00000ed9: POP
00000eda: POP
00000edb: POP
00000edc: POP
00000edd: JUMP
00000ede: JUMPDEST
00000edf: PUSH1 0x03
00000ee1: SLOAD
00000ee2: PUSH1 0x01
00000ee4: PUSH1 0xa0
00000ee6: PUSH1 0x02
00000ee8: EXP
00000ee9: SUB
00000eea: AND
00000eeb: SWAP1
00000eec: JUMP
00000eed: JUMPDEST
00000eee: PUSH1 0x07
00000ef0: SLOAD
00000ef1: PUSH1 0x08
00000ef3: SLOAD
00000ef4: PUSH1 0x09
00000ef6: SLOAD
00000ef7: PUSH1 0x0a
00000ef9: SLOAD
00000efa: SWAP3
00000efb: SWAP4
00000efc: SWAP2
00000efd: SWAP3
00000efe: SWAP1
00000eff: SWAP2
00000f00: JUMP
00000f01: JUMPDEST
00000f02: PUSH1 0x02
00000f04: SLOAD
00000f05: PUSH1 0x00
00000f07: SWAP1
00000f08: DUP2
00000f09: SWAP1
00000f0a: PUSH1 0xa0
00000f0c: PUSH1 0x02
00000f0e: EXP
00000f0f: SWAP1
00000f10: DIV
00000f11: PUSH1 0xff
00000f13: AND
00000f14: ISZERO
00000f15: PUSH2 0x0f1d
00000f18: JUMPI
00000f19: PUSH1 0x00
00000f1b: DUP1
00000f1c: REVERT
00000f1d: JUMPDEST
00000f1e: CALLER
00000f1f: SWAP2
00000f20: POP
00000f21: PUSH2 0x0f29
00000f24: DUP3
00000f25: PUSH2 0x1fa5
00000f28: JUMP
00000f29: JUMPDEST
00000f2a: PUSH1 0x03
00000f2c: SLOAD
00000f2d: PUSH1 0x01
00000f2f: PUSH1 0xa0
00000f31: PUSH1 0x02
00000f33: EXP
00000f34: SUB
00000f35: AND
00000f36: PUSH4 0x094a9d3c
00000f3b: DUP4
00000f3c: PUSH1 0x00
00000f3e: PUSH1 0x40
00000f40: MLOAD
00000f41: PUSH1 0x40
00000f43: ADD
00000f44: MSTORE
00000f45: PUSH1 0x40
00000f47: MLOAD
00000f48: PUSH1 0xe0
00000f4a: PUSH1 0x02
00000f4c: EXP
00000f4d: PUSH4 0xffffffff
00000f52: DUP5
00000f53: AND
00000f54: MUL
00000f55: DUP2
00000f56: MSTORE
00000f57: PUSH1 0x01
00000f59: PUSH1 0xa0
00000f5b: PUSH1 0x02
00000f5d: EXP
00000f5e: SUB
00000f5f: SWAP1
00000f60: SWAP2
00000f61: AND
00000f62: PUSH1 0x04
00000f64: DUP3
00000f65: ADD
00000f66: MSTORE
00000f67: PUSH1 0x24
00000f69: ADD
00000f6a: PUSH1 0x40
00000f6c: DUP1
00000f6d: MLOAD
00000f6e: DUP1
00000f6f: DUP4
00000f70: SUB
00000f71: DUP2
00000f72: PUSH1 0x00
00000f74: DUP8
00000f75: DUP1
00000f76: EXTCODESIZE
00000f77: ISZERO
00000f78: ISZERO
00000f79: PUSH2 0x0f81
00000f7c: JUMPI
00000f7d: PUSH1 0x00
00000f7f: DUP1
00000f80: REVERT
00000f81: JUMPDEST
00000f82: PUSH2 0x02c6
00000f85: GAS
00000f86: SUB
00000f87: CALL
00000f88: ISZERO
00000f89: ISZERO
00000f8a: PUSH2 0x0f92
00000f8d: JUMPI
00000f8e: PUSH1 0x00
00000f90: DUP1
00000f91: REVERT
00000f92: JUMPDEST
00000f93: POP
00000f94: POP
00000f95: POP
00000f96: PUSH1 0x40
00000f98: MLOAD
00000f99: DUP1
00000f9a: MLOAD
00000f9b: SWAP1
00000f9c: PUSH1 0x20
00000f9e: ADD
00000f9f: DUP1
00000fa0: MLOAD
00000fa1: POP
00000fa2: SWAP1
00000fa3: SWAP2
00000fa4: POP
00000fa5: POP
00000fa6: PUSH1 0x00
00000fa8: DUP2
00000fa9: GT
00000faa: PUSH2 0x0fb2
00000fad: JUMPI
00000fae: PUSH1 0x00
00000fb0: DUP1
00000fb1: REVERT
00000fb2: JUMPDEST
00000fb3: PUSH1 0x01
00000fb5: PUSH1 0xa0
00000fb7: PUSH1 0x02
00000fb9: EXP
00000fba: SUB
00000fbb: DUP3
00000fbc: AND
00000fbd: DUP2
00000fbe: ISZERO
00000fbf: PUSH2 0x08fc
00000fc2: MUL
00000fc3: DUP3
00000fc4: PUSH1 0x40
00000fc6: MLOAD
00000fc7: PUSH1 0x00
00000fc9: PUSH1 0x40
00000fcb: MLOAD
00000fcc: DUP1
00000fcd: DUP4
00000fce: SUB
00000fcf: DUP2
00000fd0: DUP6
00000fd1: DUP9
00000fd2: DUP9
00000fd3: CALL
00000fd4: SWAP4
00000fd5: POP
00000fd6: POP
00000fd7: POP
00000fd8: POP
00000fd9: ISZERO
00000fda: ISZERO
00000fdb: PUSH2 0x0fe3
00000fde: JUMPI
00000fdf: PUSH1 0x00
00000fe1: DUP1
00000fe2: REVERT
00000fe3: JUMPDEST
00000fe4: PUSH1 0x03
00000fe6: SLOAD
00000fe7: PUSH1 0x01
00000fe9: PUSH1 0xa0
00000feb: PUSH1 0x02
00000fed: EXP
00000fee: SUB
00000fef: AND
00000ff0: PUSH4 0xbad1c11e
00000ff5: DUP4
00000ff6: DUP4
00000ff7: PUSH1 0x40
00000ff9: MLOAD
00000ffa: PUSH1 0xe0
00000ffc: PUSH1 0x02
00000ffe: EXP
00000fff: PUSH4 0xffffffff
00001004: DUP6
00001005: AND
00001006: MUL
00001007: DUP2
00001008: MSTORE
00001009: PUSH1 0x01
0000100b: PUSH1 0xa0
0000100d: PUSH1 0x02
0000100f: EXP
00001010: SUB
00001011: SWAP1
00001012: SWAP3
00001013: AND
00001014: PUSH1 0x04
00001016: DUP4
00001017: ADD
00001018: MSTORE
00001019: PUSH1 0x24
0000101b: DUP3
0000101c: ADD
0000101d: MSTORE
0000101e: PUSH1 0x44
00001020: ADD
00001021: PUSH1 0x00
00001023: PUSH1 0x40
00001025: MLOAD
00001026: DUP1
00001027: DUP4
00001028: SUB
00001029: DUP2
0000102a: PUSH1 0x00
0000102c: DUP8
0000102d: DUP1
0000102e: EXTCODESIZE
0000102f: ISZERO
00001030: ISZERO
00001031: PUSH2 0x1039
00001034: JUMPI
00001035: PUSH1 0x00
00001037: DUP1
00001038: REVERT
00001039: JUMPDEST
0000103a: PUSH2 0x02c6
0000103d: GAS
0000103e: SUB
0000103f: CALL
00001040: ISZERO
00001041: ISZERO
00001042: PUSH2 0x104a
00001045: JUMPI
00001046: PUSH1 0x00
00001048: DUP1
00001049: REVERT
0000104a: JUMPDEST
0000104b: POP
0000104c: POP
0000104d: POP
0000104e: PUSH32 0x9641569b0aab04fc524f1f6c1d23d43e4cab65c8ccb8492a8af50b290bbca82f
0000106f: DUP3
00001070: DUP3
00001071: PUSH1 0x40
00001073: MLOAD
00001074: PUSH1 0x01
00001076: PUSH1 0xa0
00001078: PUSH1 0x02
0000107a: EXP
0000107b: SUB
0000107c: SWAP1
0000107d: SWAP3
0000107e: AND
0000107f: DUP3
00001080: MSTORE
00001081: PUSH1 0x20
00001083: DUP3
00001084: ADD
00001085: MSTORE
00001086: PUSH1 0x40
00001088: SWAP1
00001089: DUP2
0000108a: ADD
0000108b: SWAP1
0000108c: MLOAD
0000108d: DUP1
0000108e: SWAP2
0000108f: SUB
00001090: SWAP1
00001091: LOG1
00001092: POP
00001093: POP
00001094: JUMP
00001095: JUMPDEST
00001096: PUSH1 0x00
00001098: DUP1
00001099: PUSH1 0x00
0000109b: DUP1
0000109c: PUSH1 0x00
0000109e: DUP1
0000109f: PUSH1 0x00
000010a1: DUP1
000010a2: PUSH1 0x00
000010a4: PUSH1 0x02
000010a6: PUSH1 0x00
000010a8: SWAP1
000010a9: SLOAD
000010aa: SWAP1
000010ab: PUSH2 0x0100
000010ae: EXP
000010af: SWAP1
000010b0: DIV
000010b1: PUSH1 0x01
000010b3: PUSH1 0xa0
000010b5: PUSH1 0x02
000010b7: EXP
000010b8: SUB
000010b9: AND
000010ba: PUSH1 0x01
000010bc: PUSH1 0xa0
000010be: PUSH1 0x02
000010c0: EXP
000010c1: SUB
000010c2: AND
000010c3: CALLER
000010c4: PUSH1 0x01
000010c6: PUSH1 0xa0
000010c8: PUSH1 0x02
000010ca: EXP
000010cb: SUB
000010cc: AND
000010cd: EQ
000010ce: ISZERO
000010cf: ISZERO
000010d0: PUSH2 0x10d8
000010d3: JUMPI
000010d4: PUSH1 0x00
000010d6: DUP1
000010d7: REVERT
000010d8: JUMPDEST
000010d9: PUSH1 0x01
000010db: SLOAD
000010dc: PUSH1 0x01
000010de: PUSH1 0xa0
000010e0: PUSH1 0x02
000010e2: EXP
000010e3: SUB
000010e4: AND
000010e5: ISZERO
000010e6: ISZERO
000010e7: PUSH2 0x10ef
000010ea: JUMPI
000010eb: PUSH1 0x00
000010ed: DUP1
000010ee: REVERT
000010ef: JUMPDEST
000010f0: PUSH1 0x03
000010f2: SLOAD
000010f3: PUSH1 0x01
000010f5: PUSH1 0xa0
000010f7: PUSH1 0x02
000010f9: EXP
000010fa: SUB
000010fb: AND
000010fc: PUSH4 0xe9da7c57
00001101: PUSH1 0x00
00001103: PUSH1 0x40
00001105: MLOAD
00001106: PUSH1 0x20
00001108: ADD
00001109: MSTORE
0000110a: PUSH1 0x40
0000110c: MLOAD
0000110d: DUP2
0000110e: PUSH4 0xffffffff
00001113: AND
00001114: PUSH1 0xe0
00001116: PUSH1 0x02
00001118: EXP
00001119: MUL
0000111a: DUP2
0000111b: MSTORE
0000111c: PUSH1 0x04
0000111e: ADD
0000111f: PUSH1 0x20
00001121: PUSH1 0x40
00001123: MLOAD
00001124: DUP1
00001125: DUP4
00001126: SUB
00001127: DUP2
00001128: PUSH1 0x00
0000112a: DUP8
0000112b: DUP1
0000112c: EXTCODESIZE
0000112d: ISZERO
0000112e: ISZERO
0000112f: PUSH2 0x1137
00001132: JUMPI
00001133: PUSH1 0x00
00001135: DUP1
00001136: REVERT
00001137: JUMPDEST
00001138: PUSH2 0x02c6
0000113b: GAS
0000113c: SUB
0000113d: CALL
0000113e: ISZERO
0000113f: ISZERO
00001140: PUSH2 0x1148
00001143: JUMPI
00001144: PUSH1 0x00
00001146: DUP1
00001147: REVERT
00001148: JUMPDEST
00001149: POP
0000114a: POP
0000114b: POP
0000114c: PUSH1 0x40
0000114e: MLOAD
0000114f: DUP1
00001150: MLOAD
00001151: SWAP10
00001152: POP
00001153: POP
00001154: PUSH1 0x00
00001156: DUP10
00001157: GT
00001158: PUSH2 0x1160
0000115b: JUMPI
0000115c: PUSH1 0x00
0000115e: DUP1
0000115f: REVERT
00001160: JUMPDEST
00001161: PUSH1 0x03
00001163: SLOAD
00001164: PUSH1 0x00
00001166: SWAP9
00001167: POP
00001168: PUSH1 0x01
0000116a: PUSH1 0xa0
0000116c: PUSH1 0x02
0000116e: EXP
0000116f: SUB
00001170: AND
00001171: PUSH4 0xea0bdfa7
00001176: DUP11
00001177: DUP11
00001178: PUSH1 0x40
0000117a: MLOAD
0000117b: PUSH1 0x40
0000117d: ADD
0000117e: MSTORE
0000117f: PUSH1 0x40
00001181: MLOAD
00001182: PUSH1 0xe0
00001184: PUSH1 0x02
00001186: EXP
00001187: PUSH4 0xffffffff
0000118c: DUP5
0000118d: AND
0000118e: MUL
0000118f: DUP2
00001190: MSTORE
00001191: PUSH1 0x04
00001193: DUP2
00001194: ADD
00001195: SWAP2
00001196: SWAP1
00001197: SWAP2
00001198: MSTORE
00001199: PUSH1 0x24
0000119b: ADD
0000119c: PUSH1 0x40
0000119e: DUP1
0000119f: MLOAD
000011a0: DUP1
000011a1: DUP4
000011a2: SUB
000011a3: DUP2
000011a4: PUSH1 0x00
000011a6: DUP8
000011a7: DUP1
000011a8: EXTCODESIZE
000011a9: ISZERO
000011aa: ISZERO
000011ab: PUSH2 0x11b3
000011ae: JUMPI
000011af: PUSH1 0x00
000011b1: DUP1
000011b2: REVERT
000011b3: JUMPDEST
000011b4: PUSH2 0x02c6
000011b7: GAS
000011b8: SUB
000011b9: CALL
000011ba: ISZERO
000011bb: ISZERO
000011bc: PUSH2 0x11c4
000011bf: JUMPI
000011c0: PUSH1 0x00
000011c2: DUP1
000011c3: REVERT
000011c4: JUMPDEST
000011c5: POP
000011c6: POP
000011c7: POP
000011c8: PUSH1 0x40
000011ca: MLOAD
000011cb: DUP1
000011cc: MLOAD
000011cd: SWAP1
000011ce: PUSH1 0x20
000011d0: ADD
000011d1: DUP1
000011d2: MLOAD
000011d3: SWAP1
000011d4: POP
000011d5: SWAP7
000011d6: POP
000011d7: SWAP7
000011d8: POP
000011d9: DUP6
000011da: PUSH1 0x00
000011dc: EQ
000011dd: ISZERO
000011de: PUSH2 0x11ea
000011e1: JUMPI
000011e2: PUSH1 0x14
000011e4: SWAP8
000011e5: POP
000011e6: PUSH2 0x11ef
000011e9: JUMP
000011ea: JUMPDEST
000011eb: PUSH1 0x32
000011ed: SWAP8
000011ee: POP
000011ef: JUMPDEST
000011f0: PUSH1 0x03
000011f2: SLOAD
000011f3: PUSH1 0x01
000011f5: PUSH1 0xa0
000011f7: PUSH1 0x02
000011f9: EXP
000011fa: SUB
000011fb: AND
000011fc: PUSH4 0x67e74ed4
00001201: PUSH1 0x32
00001203: DUP11
00001204: PUSH1 0x00
00001206: PUSH1 0x40
00001208: MLOAD
00001209: PUSH1 0x20
0000120b: ADD
0000120c: MSTORE
0000120d: PUSH1 0x40
0000120f: MLOAD
00001210: PUSH1 0xe0
00001212: PUSH1 0x02
00001214: EXP
00001215: PUSH4 0xffffffff
0000121a: DUP6
0000121b: AND
0000121c: MUL
0000121d: DUP2
0000121e: MSTORE
0000121f: PUSH1 0x04
00001221: DUP2
00001222: ADD
00001223: SWAP3
00001224: SWAP1
00001225: SWAP3
00001226: MSTORE
00001227: PUSH1 0x24
00001229: DUP3
0000122a: ADD
0000122b: MSTORE
0000122c: PUSH1 0x44
0000122e: ADD
0000122f: PUSH1 0x20
00001231: PUSH1 0x40
00001233: MLOAD
00001234: DUP1
00001235: DUP4
00001236: SUB
00001237: DUP2
00001238: PUSH1 0x00
0000123a: DUP8
0000123b: DUP1
0000123c: EXTCODESIZE
0000123d: ISZERO
0000123e: ISZERO
0000123f: PUSH2 0x1247
00001242: JUMPI
00001243: PUSH1 0x00
00001245: DUP1
00001246: REVERT
00001247: JUMPDEST
00001248: PUSH2 0x02c6
0000124b: GAS
0000124c: SUB
0000124d: CALL
0000124e: ISZERO
0000124f: ISZERO
00001250: PUSH2 0x1258
00001253: JUMPI
00001254: PUSH1 0x00
00001256: DUP1
00001257: REVERT
00001258: JUMPDEST
00001259: POP
0000125a: POP
0000125b: POP
0000125c: PUSH1 0x40
0000125e: MLOAD
0000125f: DUP1
00001260: MLOAD
00001261: SWAP6
00001262: POP
00001263: POP
00001264: PUSH1 0x00
00001266: DUP6
00001267: GT
00001268: ISZERO
00001269: PUSH2 0x129f
0000126c: JUMPI
0000126d: PUSH1 0x01
0000126f: SLOAD
00001270: PUSH1 0x01
00001272: PUSH1 0xa0
00001274: PUSH1 0x02
00001276: EXP
00001277: SUB
00001278: AND
00001279: DUP6
0000127a: ISZERO
0000127b: PUSH2 0x08fc
0000127e: MUL
0000127f: DUP7
00001280: PUSH1 0x40
00001282: MLOAD
00001283: PUSH1 0x00
00001285: PUSH1 0x40
00001287: MLOAD
00001288: DUP1
00001289: DUP4
0000128a: SUB
0000128b: DUP2
0000128c: DUP6
0000128d: DUP9
0000128e: DUP9
0000128f: CALL
00001290: SWAP4
00001291: POP
00001292: POP
00001293: POP
00001294: POP
00001295: ISZERO
00001296: ISZERO
00001297: PUSH2 0x129f
0000129a: JUMPI
0000129b: PUSH1 0x00
0000129d: DUP1
0000129e: REVERT
0000129f: JUMPDEST
000012a0: PUSH1 0x03
000012a2: SLOAD
000012a3: PUSH1 0x01
000012a5: PUSH1 0xa0
000012a7: PUSH1 0x02
000012a9: EXP
000012aa: SUB
000012ab: AND
000012ac: PUSH4 0x47f3463e
000012b1: DUP11
000012b2: PUSH1 0x00
000012b4: PUSH1 0x40
000012b6: MLOAD
000012b7: PUSH1 0xe0
000012b9: ADD
000012ba: MSTORE
000012bb: PUSH1 0x40
000012bd: MLOAD
000012be: PUSH1 0xe0
000012c0: PUSH1 0x02
000012c2: EXP
000012c3: PUSH4 0xffffffff
000012c8: DUP5
000012c9: AND
000012ca: MUL
000012cb: DUP2
000012cc: MSTORE
000012cd: PUSH1 0x04
000012cf: DUP2
000012d0: ADD
000012d1: SWAP2
000012d2: SWAP1
000012d3: SWAP2
000012d4: MSTORE
000012d5: PUSH1 0x24
000012d7: ADD
000012d8: PUSH1 0xe0
000012da: PUSH1 0x40
000012dc: MLOAD
000012dd: DUP1
000012de: DUP4
000012df: SUB
000012e0: DUP2
000012e1: PUSH1 0x00
000012e3: DUP8
000012e4: DUP1
000012e5: EXTCODESIZE
000012e6: ISZERO
000012e7: ISZERO
000012e8: PUSH2 0x12f0
000012eb: JUMPI
000012ec: PUSH1 0x00
000012ee: DUP1
000012ef: REVERT
000012f0: JUMPDEST
000012f1: PUSH2 0x02c6
000012f4: GAS
000012f5: SUB
000012f6: CALL
000012f7: ISZERO
000012f8: ISZERO
000012f9: PUSH2 0x1301
000012fc: JUMPI
000012fd: PUSH1 0x00
000012ff: DUP1
00001300: REVERT
00001301: JUMPDEST
00001302: POP
00001303: POP
00001304: POP
00001305: PUSH1 0x40
00001307: MLOAD
00001308: DUP1
00001309: MLOAD
0000130a: SWAP1
0000130b: PUSH1 0x20
0000130d: ADD
0000130e: DUP1
0000130f: MLOAD
00001310: SWAP1
00001311: PUSH1 0x20
00001313: ADD
00001314: DUP1
00001315: MLOAD
00001316: SWAP1
00001317: PUSH1 0x20
00001319: ADD
0000131a: DUP1
0000131b: MLOAD
0000131c: SWAP1
0000131d: PUSH1 0x20
0000131f: ADD
00001320: DUP1
00001321: MLOAD
00001322: SWAP1
00001323: PUSH1 0x20
00001325: ADD
00001326: DUP1
00001327: MLOAD
00001328: SWAP1
00001329: PUSH1 0x20
0000132b: ADD
0000132c: DUP1
0000132d: MLOAD
0000132e: POP
0000132f: POP
00001330: PUSH1 0x03
00001332: SLOAD
00001333: SWAP6
00001334: SWAP10
00001335: POP
00001336: SWAP4
00001337: SWAP8
00001338: POP
00001339: SWAP1
0000133a: SWAP6
0000133b: POP
0000133c: POP
0000133d: PUSH1 0x01
0000133f: PUSH1 0xa0
00001341: PUSH1 0x02
00001343: EXP
00001344: SUB
00001345: SWAP1
00001346: SWAP3
00001347: AND
00001348: SWAP2
00001349: POP
0000134a: PUSH4 0xd9876719
0000134f: SWAP1
00001350: POP
00001351: DUP11
00001352: PUSH1 0x00
00001354: PUSH1 0x40
00001356: MLOAD
00001357: PUSH1 0x20
00001359: ADD
0000135a: MSTORE
0000135b: PUSH1 0x40
0000135d: MLOAD
0000135e: PUSH1 0xe0
00001360: PUSH1 0x02
00001362: EXP
00001363: PUSH4 0xffffffff
00001368: DUP5
00001369: AND
0000136a: MUL
0000136b: DUP2
0000136c: MSTORE
0000136d: PUSH1 0x04
0000136f: DUP2
00001370: ADD
00001371: SWAP2
00001372: SWAP1
00001373: SWAP2
00001374: MSTORE
00001375: PUSH1 0x24
00001377: ADD
00001378: PUSH1 0x20
0000137a: PUSH1 0x40
0000137c: MLOAD
0000137d: DUP1
0000137e: DUP4
0000137f: SUB
00001380: DUP2
00001381: PUSH1 0x00
00001383: DUP8
00001384: DUP1
00001385: EXTCODESIZE
00001386: ISZERO
00001387: ISZERO
00001388: PUSH2 0x1390
0000138b: JUMPI
0000138c: PUSH1 0x00
0000138e: DUP1
0000138f: REVERT
00001390: JUMPDEST
00001391: PUSH2 0x02c6
00001394: GAS
00001395: SUB
00001396: CALL
00001397: ISZERO
00001398: ISZERO
00001399: PUSH2 0x13a1
0000139c: JUMPI
0000139d: PUSH1 0x00
0000139f: DUP1
000013a0: REVERT
000013a1: JUMPDEST
000013a2: POP
000013a3: POP
000013a4: POP
000013a5: PUSH1 0x40
000013a7: MLOAD
000013a8: DUP1
000013a9: MLOAD
000013aa: SWAP1
000013ab: POP
000013ac: SWAP1
000013ad: POP
000013ae: PUSH32 0x4930d6f41e69e169f6e155f7cdd6a89da710bd58daaf11bc3668ffb2a2ed5bec
000013cf: DUP10
000013d0: DUP8
000013d1: DUP7
000013d2: DUP7
000013d3: DUP7
000013d4: DUP7
000013d5: DUP14
000013d6: PUSH1 0x40
000013d8: MLOAD
000013d9: SWAP7
000013da: DUP8
000013db: MSTORE
000013dc: PUSH1 0x20
000013de: DUP8
000013df: ADD
000013e0: SWAP6
000013e1: SWAP1
000013e2: SWAP6
000013e3: MSTORE
000013e4: PUSH1 0x40
000013e6: DUP1
000013e7: DUP8
000013e8: ADD
000013e9: SWAP5
000013ea: SWAP1
000013eb: SWAP5
000013ec: MSTORE
000013ed: PUSH1 0x60
000013ef: DUP7
000013f0: ADD
000013f1: SWAP3
000013f2: SWAP1
000013f3: SWAP3
000013f4: MSTORE
000013f5: PUSH1 0x80
000013f7: DUP6
000013f8: ADD
000013f9: MSTORE
000013fa: PUSH1 0xa0
000013fc: DUP5
000013fd: ADD
000013fe: MSTORE
000013ff: PUSH1 0x01
00001401: PUSH1 0xa0
00001403: PUSH1 0x02
00001405: EXP
00001406: SUB
00001407: SWAP1
00001408: SWAP2
00001409: AND
0000140a: PUSH1 0xc0
0000140c: DUP4
0000140d: ADD
0000140e: MSTORE
0000140f: PUSH1 0xe0
00001411: SWAP1
00001412: SWAP2
00001413: ADD
00001414: SWAP1
00001415: MLOAD
00001416: DUP1
00001417: SWAP2
00001418: SUB
00001419: SWAP1
0000141a: LOG1
0000141b: POP
0000141c: POP
0000141d: POP
0000141e: POP
0000141f: POP
00001420: POP
00001421: POP
00001422: POP
00001423: POP
00001424: JUMP
00001425: JUMPDEST
00001426: PUSH1 0x00
00001428: SLOAD
00001429: CALLER
0000142a: PUSH1 0x01
0000142c: PUSH1 0xa0
0000142e: PUSH1 0x02
00001430: EXP
00001431: SUB
00001432: SWAP1
00001433: DUP2
00001434: AND
00001435: SWAP2
00001436: AND
00001437: EQ
00001438: PUSH2 0x1440
0000143b: JUMPI
0000143c: PUSH1 0x00
0000143e: DUP1
0000143f: REVERT
00001440: JUMPDEST
00001441: PUSH1 0x01
00001443: PUSH1 0xa0
00001445: PUSH1 0x02
00001447: EXP
00001448: SUB
00001449: DUP2
0000144a: AND
0000144b: ISZERO
0000144c: ISZERO
0000144d: PUSH2 0x1455
00001450: JUMPI
00001451: PUSH1 0x00
00001453: DUP1
00001454: REVERT
00001455: JUMPDEST
00001456: PUSH1 0x02
00001458: DUP1
00001459: SLOAD
0000145a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000146f: NOT
00001470: AND
00001471: PUSH1 0x01
00001473: PUSH1 0xa0
00001475: PUSH1 0x02
00001477: EXP
00001478: SUB
00001479: SWAP3
0000147a: SWAP1
0000147b: SWAP3
0000147c: AND
0000147d: SWAP2
0000147e: SWAP1
0000147f: SWAP2
00001480: OR
00001481: SWAP1
00001482: SSTORE
00001483: JUMP
00001484: JUMPDEST
00001485: PUSH1 0x02
00001487: SLOAD
00001488: PUSH1 0x00
0000148a: SWAP1
0000148b: DUP2
0000148c: SWAP1
0000148d: DUP2
0000148e: SWAP1
0000148f: PUSH1 0xa0
00001491: PUSH1 0x02
00001493: EXP
00001494: SWAP1
00001495: DIV
00001496: PUSH1 0xff
00001498: AND
00001499: ISZERO
0000149a: PUSH2 0x14a2
0000149d: JUMPI
0000149e: PUSH1 0x00
000014a0: DUP1
000014a1: REVERT
000014a2: JUMPDEST
000014a3: CALLVALUE
000014a4: SWAP3
000014a5: POP
000014a6: PUSH1 0x00
000014a8: DUP4
000014a9: GT
000014aa: PUSH2 0x14b2
000014ad: JUMPI
000014ae: PUSH1 0x00
000014b0: DUP1
000014b1: REVERT
000014b2: JUMPDEST
000014b3: PUSH1 0x03
000014b5: SLOAD
000014b6: CALLER
000014b7: SWAP3
000014b8: POP
000014b9: PUSH1 0x01
000014bb: PUSH1 0xa0
000014bd: PUSH1 0x02
000014bf: EXP
000014c0: SUB
000014c1: AND
000014c2: PUSH4 0xd043a026
000014c7: DUP4
000014c8: DUP6
000014c9: PUSH1 0x40
000014cb: MLOAD
000014cc: PUSH1 0xe0
000014ce: PUSH1 0x02
000014d0: EXP
000014d1: PUSH4 0xffffffff
000014d6: DUP6
000014d7: AND
000014d8: MUL
000014d9: DUP2
000014da: MSTORE
000014db: PUSH1 0x01
000014dd: PUSH1 0xa0
000014df: PUSH1 0x02
000014e1: EXP
000014e2: SUB
000014e3: SWAP1
000014e4: SWAP3
000014e5: AND
000014e6: PUSH1 0x04
000014e8: DUP4
000014e9: ADD
000014ea: MSTORE
000014eb: PUSH1 0x24
000014ed: DUP3
000014ee: ADD
000014ef: MSTORE
000014f0: PUSH1 0x44
000014f2: ADD
000014f3: PUSH1 0x00
000014f5: PUSH1 0x40
000014f7: MLOAD
000014f8: DUP1
000014f9: DUP4
000014fa: SUB
000014fb: DUP2
000014fc: PUSH1 0x00
000014fe: DUP8
000014ff: DUP1
00001500: EXTCODESIZE
00001501: ISZERO
00001502: ISZERO
00001503: PUSH2 0x150b
00001506: JUMPI
00001507: PUSH1 0x00
00001509: DUP1
0000150a: REVERT
0000150b: JUMPDEST
0000150c: PUSH2 0x02c6
0000150f: GAS
00001510: SUB
00001511: CALL
00001512: ISZERO
00001513: ISZERO
00001514: PUSH2 0x151c
00001517: JUMPI
00001518: PUSH1 0x00
0000151a: DUP1
0000151b: REVERT
0000151c: JUMPDEST
0000151d: POP
0000151e: POP
0000151f: PUSH1 0x03
00001521: SLOAD
00001522: PUSH1 0x01
00001524: PUSH1 0xa0
00001526: PUSH1 0x02
00001528: EXP
00001529: SUB
0000152a: AND
0000152b: SWAP1
0000152c: POP
0000152d: PUSH4 0x094a9d3c
00001532: DUP4
00001533: PUSH1 0x00
00001535: PUSH1 0x40
00001537: MLOAD
00001538: PUSH1 0x40
0000153a: ADD
0000153b: MSTORE
0000153c: PUSH1 0x40
0000153e: MLOAD
0000153f: PUSH1 0xe0
00001541: PUSH1 0x02
00001543: EXP
00001544: PUSH4 0xffffffff
00001549: DUP5
0000154a: AND
0000154b: MUL
0000154c: DUP2
0000154d: MSTORE
0000154e: PUSH1 0x01
00001550: PUSH1 0xa0
00001552: PUSH1 0x02
00001554: EXP
00001555: SUB
00001556: SWAP1
00001557: SWAP2
00001558: AND
00001559: PUSH1 0x04
0000155b: DUP3
0000155c: ADD
0000155d: MSTORE
0000155e: PUSH1 0x24
00001560: ADD
00001561: PUSH1 0x40
00001563: DUP1
00001564: MLOAD
00001565: DUP1
00001566: DUP4
00001567: SUB
00001568: DUP2
00001569: PUSH1 0x00
0000156b: DUP8
0000156c: DUP1
0000156d: EXTCODESIZE
0000156e: ISZERO
0000156f: ISZERO
00001570: PUSH2 0x1578
00001573: JUMPI
00001574: PUSH1 0x00
00001576: DUP1
00001577: REVERT
00001578: JUMPDEST
00001579: PUSH2 0x02c6
0000157c: GAS
0000157d: SUB
0000157e: CALL
0000157f: ISZERO
00001580: ISZERO
00001581: PUSH2 0x1589
00001584: JUMPI
00001585: PUSH1 0x00
00001587: DUP1
00001588: REVERT
00001589: JUMPDEST
0000158a: POP
0000158b: POP
0000158c: POP
0000158d: PUSH1 0x40
0000158f: MLOAD
00001590: DUP1
00001591: MLOAD
00001592: SWAP1
00001593: PUSH1 0x20
00001595: ADD
00001596: DUP1
00001597: MLOAD
00001598: SWAP1
00001599: POP
0000159a: POP
0000159b: SWAP1
0000159c: POP
0000159d: PUSH32 0x464feb0356ee07d46068a8676dacbf0edebb855d167d397d0ec7615d4fc9dc70
000015be: DUP3
000015bf: DUP5
000015c0: DUP4
000015c1: PUSH1 0x40
000015c3: MLOAD
000015c4: DUP1
000015c5: DUP5
000015c6: PUSH1 0x01
000015c8: PUSH1 0xa0
000015ca: PUSH1 0x02
000015cc: EXP
000015cd: SUB
000015ce: AND
000015cf: PUSH1 0x01
000015d1: PUSH1 0xa0
000015d3: PUSH1 0x02
000015d5: EXP
000015d6: SUB
000015d7: AND
000015d8: DUP2
000015d9: MSTORE
000015da: PUSH1 0x20
000015dc: ADD
000015dd: DUP4
000015de: DUP2
000015df: MSTORE
000015e0: PUSH1 0x20
000015e2: ADD
000015e3: DUP3
000015e4: DUP2
000015e5: MSTORE
000015e6: PUSH1 0x20
000015e8: ADD
000015e9: SWAP4
000015ea: POP
000015eb: POP
000015ec: POP
000015ed: POP
000015ee: PUSH1 0x40
000015f0: MLOAD
000015f1: DUP1
000015f2: SWAP2
000015f3: SUB
000015f4: SWAP1
000015f5: LOG1
000015f6: POP
000015f7: POP
000015f8: POP
000015f9: JUMP
000015fa: JUMPDEST
000015fb: PUSH1 0x00
000015fd: SLOAD
000015fe: CALLER
000015ff: PUSH1 0x01
00001601: PUSH1 0xa0
00001603: PUSH1 0x02
00001605: EXP
00001606: SUB
00001607: SWAP1
00001608: DUP2
00001609: AND
0000160a: SWAP2
0000160b: AND
0000160c: EQ
0000160d: PUSH2 0x1615
00001610: JUMPI
00001611: PUSH1 0x00
00001613: DUP1
00001614: REVERT
00001615: JUMPDEST
00001616: PUSH1 0x01
00001618: PUSH1 0xa0
0000161a: PUSH1 0x02
0000161c: EXP
0000161d: SUB
0000161e: DUP2
0000161f: AND
00001620: ISZERO
00001621: ISZERO
00001622: PUSH2 0x162a
00001625: JUMPI
00001626: PUSH1 0x00
00001628: DUP1
00001629: REVERT
0000162a: JUMPDEST
0000162b: PUSH1 0x00
0000162d: DUP1
0000162e: SLOAD
0000162f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001644: NOT
00001645: AND
00001646: PUSH1 0x01
00001648: PUSH1 0xa0
0000164a: PUSH1 0x02
0000164c: EXP
0000164d: SUB
0000164e: SWAP3
0000164f: SWAP1
00001650: SWAP3
00001651: AND
00001652: SWAP2
00001653: SWAP1
00001654: SWAP2
00001655: OR
00001656: SWAP1
00001657: SSTORE
00001658: JUMP
00001659: JUMPDEST
0000165a: PUSH1 0x00
0000165c: DUP1
0000165d: PUSH3 0xffffff
00001661: DUP7
00001662: GT
00001663: ISZERO
00001664: PUSH2 0x166c
00001667: JUMPI
00001668: PUSH1 0x00
0000166a: DUP1
0000166b: REVERT
0000166c: JUMPDEST
0000166d: PUSH3 0xffffff
00001671: DUP6
00001672: GT
00001673: ISZERO
00001674: PUSH2 0x167c
00001677: JUMPI
00001678: PUSH1 0x00
0000167a: DUP1
0000167b: REVERT
0000167c: JUMPDEST
0000167d: PUSH3 0xffffff
00001681: DUP5
00001682: GT
00001683: ISZERO
00001684: PUSH2 0x168c
00001687: JUMPI
00001688: PUSH1 0x00
0000168a: DUP1
0000168b: REVERT
0000168c: JUMPDEST
0000168d: PUSH3 0xffffff
00001691: DUP4
00001692: GT
00001693: ISZERO
00001694: PUSH2 0x169c
00001697: JUMPI
00001698: PUSH1 0x00
0000169a: DUP1
0000169b: REVERT
0000169c: JUMPDEST
0000169d: POP
0000169e: PUSH1 0x00
000016a0: PUSH2 0x16ae
000016a3: DUP2
000016a4: DUP8
000016a5: PUSH3 0xffffff
000016a9: DUP3
000016aa: PUSH2 0x24e1
000016ad: JUMP
000016ae: JUMPDEST
000016af: SWAP1
000016b0: POP
000016b1: PUSH2 0x16c3
000016b4: DUP2
000016b5: DUP7
000016b6: PUSH6 0xffffff000000
000016bd: PUSH1 0x18
000016bf: PUSH2 0x24e1
000016c2: JUMP
000016c3: JUMPDEST
000016c4: SWAP1
000016c5: POP
000016c6: PUSH2 0x16db
000016c9: DUP2
000016ca: DUP6
000016cb: PUSH9 0xffffff000000000000
000016d5: PUSH1 0x30
000016d7: PUSH2 0x24e1
000016da: JUMP
000016db: JUMPDEST
000016dc: SWAP1
000016dd: POP
000016de: PUSH2 0x16f6
000016e1: DUP2
000016e2: DUP5
000016e3: PUSH12 0xffffff000000000000000000
000016f0: PUSH1 0x48
000016f2: PUSH2 0x24e1
000016f5: JUMP
000016f6: JUMPDEST
000016f7: SWAP7
000016f8: SWAP6
000016f9: POP
000016fa: POP
000016fb: POP
000016fc: POP
000016fd: POP
000016fe: POP
000016ff: JUMP
00001700: JUMPDEST
00001701: PUSH1 0x00
00001703: DUP1
00001704: PUSH4 0x3ba26cb0
00001709: DUP11
0000170a: GT
0000170b: ISZERO
0000170c: PUSH2 0x1714
0000170f: JUMPI
00001710: PUSH1 0x00
00001712: DUP1
00001713: REVERT
00001714: JUMPDEST
00001715: PUSH4 0x3ba26cb0
0000171a: DUP9
0000171b: GT
0000171c: ISZERO
0000171d: PUSH2 0x1725
00001720: JUMPI
00001721: PUSH1 0x00
00001723: DUP1
00001724: REVERT
00001725: JUMPDEST
00001726: PUSH4 0x3ba26cb0
0000172b: DUP7
0000172c: GT
0000172d: ISZERO
0000172e: PUSH2 0x1736
00001731: JUMPI
00001732: PUSH1 0x00
00001734: DUP1
00001735: REVERT
00001736: JUMPDEST
00001737: PUSH4 0x3ba26cb0
0000173c: DUP5
0000173d: GT
0000173e: ISZERO
0000173f: PUSH2 0x1747
00001742: JUMPI
00001743: PUSH1 0x00
00001745: DUP1
00001746: REVERT
00001747: JUMPDEST
00001748: PUSH2 0x2710
0000174b: DUP10
0000174c: GT
0000174d: ISZERO
0000174e: PUSH2 0x1756
00001751: JUMPI
00001752: PUSH1 0x00
00001754: DUP1
00001755: REVERT
00001756: JUMPDEST
00001757: PUSH2 0x2710
0000175a: DUP8
0000175b: GT
0000175c: ISZERO
0000175d: PUSH2 0x1765
00001760: JUMPI
00001761: PUSH1 0x00
00001763: DUP1
00001764: REVERT
00001765: JUMPDEST
00001766: PUSH3 0x100000
0000176a: DUP6
0000176b: GT
0000176c: ISZERO
0000176d: PUSH2 0x1775
00001770: JUMPI
00001771: PUSH1 0x00
00001773: DUP1
00001774: REVERT
00001775: JUMPDEST
00001776: PUSH3 0x100000
0000177a: DUP4
0000177b: GT
0000177c: ISZERO
0000177d: PUSH2 0x1785
00001780: JUMPI
00001781: PUSH1 0x00
00001783: DUP1
00001784: REVERT
00001785: JUMPDEST
00001786: POP
00001787: PUSH1 0x00
00001789: PUSH2 0x1799
0000178c: DUP2
0000178d: DUP12
0000178e: PUSH5 0xffffffffff
00001794: DUP3
00001795: PUSH2 0x24e1
00001798: JUMP
00001799: JUMPDEST
0000179a: SWAP1
0000179b: POP
0000179c: PUSH2 0x17af
0000179f: DUP2
000017a0: DUP11
000017a1: PUSH7 0xffff0000000000
000017a9: PUSH1 0x28
000017ab: PUSH2 0x24e1
000017ae: JUMP
000017af: JUMPDEST
000017b0: SWAP1
000017b1: POP
000017b2: PUSH2 0x17ca
000017b5: DUP2
000017b6: DUP10
000017b7: PUSH12 0xffffffffff00000000000000
000017c4: PUSH1 0x38
000017c6: PUSH2 0x24e1
000017c9: JUMP
000017ca: JUMPDEST
000017cb: SWAP1
000017cc: POP
000017cd: PUSH2 0x17e7
000017d0: DUP2
000017d1: DUP9
000017d2: PUSH14 0xffff000000000000000000000000
000017e1: PUSH1 0x60
000017e3: PUSH2 0x24e1
000017e6: JUMP
000017e7: JUMPDEST
000017e8: SWAP1
000017e9: POP
000017ea: PUSH2 0x1809
000017ed: DUP2
000017ee: DUP8
000017ef: PUSH19 0xffffffffff0000000000000000000000000000
00001803: PUSH1 0x70
00001805: PUSH2 0x24e1
00001808: JUMP
00001809: JUMPDEST
0000180a: SWAP1
0000180b: POP
0000180c: PUSH2 0x182f
0000180f: DUP2
00001810: DUP7
00001811: PUSH23 0xffffffff00000000000000000000000000000000000000
00001829: PUSH1 0x98
0000182b: PUSH2 0x24e1
0000182e: JUMP
0000182f: JUMPDEST
00001830: SWAP1
00001831: POP
00001832: PUSH2 0x185a
00001835: DUP2
00001836: DUP6
00001837: PUSH28 0xffffffffff0000000000000000000000000000000000000000000000
00001854: PUSH1 0xb8
00001856: PUSH2 0x24e1
00001859: JUMP
0000185a: JUMPDEST
0000185b: SWAP1
0000185c: POP
0000185d: PUSH2 0x1886
00001860: DUP2
00001861: DUP5
00001862: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000187f: NOT
00001880: PUSH1 0xe0
00001882: PUSH2 0x24e1
00001885: JUMP
00001886: JUMPDEST
00001887: SWAP11
00001888: SWAP10
00001889: POP
0000188a: POP
0000188b: POP
0000188c: POP
0000188d: POP
0000188e: POP
0000188f: POP
00001890: POP
00001891: POP
00001892: POP
00001893: JUMP
00001894: JUMPDEST
00001895: PUSH1 0x07
00001897: SLOAD
00001898: PUSH1 0x00
0000189a: SWAP1
0000189b: DUP2
0000189c: DUP1
0000189d: DUP1
0000189e: DUP1
0000189f: DUP1
000018a0: DUP1
000018a1: DUP1
000018a2: PUSH2 0x18bf
000018a5: DUP9
000018a6: PUSH18 0xffff00000000000000000000000000000000
000018b9: PUSH1 0x80
000018bb: PUSH2 0x24f4
000018be: JUMP
000018bf: JUMPDEST
000018c0: SWAP7
000018c1: POP
000018c2: PUSH2 0x18e7
000018c5: DUP9
000018c6: PUSH26 0xffffffff00000000000000000000000000000000000000000000
000018e1: PUSH1 0xb0
000018e3: PUSH2 0x24f4
000018e6: JUMP
000018e7: JUMPDEST
000018e8: PUSH1 0x03
000018ea: SLOAD
000018eb: SWAP1
000018ec: SWAP7
000018ed: POP
000018ee: PUSH2 0x03e8
000018f1: DUP9
000018f2: MUL
000018f3: SWAP6
000018f4: POP
000018f5: DUP11
000018f6: SWAP1
000018f7: PUSH1 0x01
000018f9: PUSH1 0xa0
000018fb: PUSH1 0x02
000018fd: EXP
000018fe: SUB
000018ff: AND
00001900: PUSH4 0x2e11c92f
00001905: DUP14
00001906: PUSH1 0x00
00001908: PUSH1 0x40
0000190a: MLOAD
0000190b: PUSH1 0x20
0000190d: ADD
0000190e: MSTORE
0000190f: PUSH1 0x40
00001911: MLOAD
00001912: PUSH1 0xe0
00001914: PUSH1 0x02
00001916: EXP
00001917: PUSH4 0xffffffff
0000191c: DUP5
0000191d: AND
0000191e: MUL
0000191f: DUP2
00001920: MSTORE
00001921: PUSH1 0x04
00001923: DUP2
00001924: ADD
00001925: SWAP2
00001926: SWAP1
00001927: SWAP2
00001928: MSTORE
00001929: PUSH1 0x24
0000192b: ADD
0000192c: PUSH1 0x20
0000192e: PUSH1 0x40
00001930: MLOAD
00001931: DUP1
00001932: DUP4
00001933: SUB
00001934: DUP2
00001935: PUSH1 0x00
00001937: DUP8
00001938: DUP1
00001939: EXTCODESIZE
0000193a: ISZERO
0000193b: ISZERO
0000193c: PUSH2 0x1944
0000193f: JUMPI
00001940: PUSH1 0x00
00001942: DUP1
00001943: REVERT
00001944: JUMPDEST
00001945: PUSH2 0x02c6
00001948: GAS
00001949: SUB
0000194a: CALL
0000194b: ISZERO
0000194c: ISZERO
0000194d: PUSH2 0x1955
00001950: JUMPI
00001951: PUSH1 0x00
00001953: DUP1
00001954: REVERT
00001955: JUMPDEST
00001956: POP
00001957: POP
00001958: POP
00001959: PUSH1 0x40
0000195b: MLOAD
0000195c: DUP1
0000195d: MLOAD
0000195e: SWAP1
0000195f: POP
00001960: TIMESTAMP
00001961: SUB
00001962: ADD
00001963: SWAP4
00001964: POP
00001965: PUSH2 0x1998
00001968: PUSH1 0x0a
0000196a: PUSH2 0x0e10
0000196d: PUSH1 0x64
0000196f: DUP10
00001970: PUSH2 0x03e8
00001973: DUP10
00001974: MUL
00001975: MUL
00001976: DUP2
00001977: ISZERO
00001978: ISZERO
00001979: PUSH2 0x197e
0000197c: JUMPI
0000197d: INVALID
0000197e: JUMPDEST
0000197f: DIV
00001980: DUP2
00001981: ISZERO
00001982: ISZERO
00001983: PUSH2 0x1988
00001986: JUMPI
00001987: INVALID
00001988: JUMPDEST
00001989: DIV
0000198a: DUP2
0000198b: ISZERO
0000198c: ISZERO
0000198d: PUSH2 0x1992
00001990: JUMPI
00001991: INVALID
00001992: JUMPDEST
00001993: DIV
00001994: PUSH2 0x24fd
00001997: JUMP
00001998: JUMPDEST
00001999: DUP6
0000199a: PUSH1 0x01
0000199c: ADD
0000199d: SUB
0000199e: SWAP3
0000199f: POP
000019a0: PUSH1 0x01
000019a2: DUP4
000019a3: SLT
000019a4: ISZERO
000019a5: PUSH2 0x19ad
000019a8: JUMPI
000019a9: PUSH1 0x01
000019ab: SWAP3
000019ac: POP
000019ad: JUMPDEST
000019ae: PUSH1 0x03
000019b0: SLOAD
000019b1: PUSH1 0x01
000019b3: PUSH1 0xa0
000019b5: PUSH1 0x02
000019b7: EXP
000019b8: SUB
000019b9: AND
000019ba: PUSH4 0xd9876719
000019bf: DUP13
000019c0: PUSH1 0x00
000019c2: PUSH1 0x40
000019c4: MLOAD
000019c5: PUSH1 0x20
000019c7: ADD
000019c8: MSTORE
000019c9: PUSH1 0x40
000019cb: MLOAD
000019cc: PUSH1 0xe0
000019ce: PUSH1 0x02
000019d0: EXP
000019d1: PUSH4 0xffffffff
000019d6: DUP5
000019d7: AND
000019d8: MUL
000019d9: DUP2
000019da: MSTORE
000019db: PUSH1 0x04
000019dd: DUP2
000019de: ADD
000019df: SWAP2
000019e0: SWAP1
000019e1: SWAP2
000019e2: MSTORE
000019e3: PUSH1 0x24
000019e5: ADD
000019e6: PUSH1 0x20
000019e8: PUSH1 0x40
000019ea: MLOAD
000019eb: DUP1
000019ec: DUP4
000019ed: SUB
000019ee: DUP2
000019ef: PUSH1 0x00
000019f1: DUP8
000019f2: DUP1
000019f3: EXTCODESIZE
000019f4: ISZERO
000019f5: ISZERO
000019f6: PUSH2 0x19fe
000019f9: JUMPI
000019fa: PUSH1 0x00
000019fc: DUP1
000019fd: REVERT
000019fe: JUMPDEST
000019ff: PUSH2 0x02c6
00001a02: GAS
00001a03: SUB
00001a04: CALL
00001a05: ISZERO
00001a06: ISZERO
00001a07: PUSH2 0x1a0f
00001a0a: JUMPI
00001a0b: PUSH1 0x00
00001a0d: DUP1
00001a0e: REVERT
00001a0f: JUMPDEST
00001a10: POP
00001a11: POP
00001a12: POP
00001a13: PUSH1 0x40
00001a15: MLOAD
00001a16: DUP1
00001a17: MLOAD
00001a18: SWAP3
00001a19: POP
00001a1a: PUSH2 0x1a45
00001a1d: SWAP1
00001a1e: POP
00001a1f: DUP9
00001a20: PUSH30 0xffffffff0000000000000000000000000000000000000000000000000000
00001a3f: PUSH1 0xd0
00001a41: PUSH2 0x24f4
00001a44: JUMP
00001a45: JUMPDEST
00001a46: SWAP1
00001a47: POP
00001a48: DUP1
00001a49: DUP3
00001a4a: LT
00001a4b: PUSH2 0x1a5e
00001a4e: JUMPI
00001a4f: PUSH2 0x03e8
00001a52: DUP4
00001a53: SGT
00001a54: ISZERO
00001a55: PUSH2 0x1a5e
00001a58: JUMPI
00001a59: PUSH2 0x03e8
00001a5c: SWAP3
00001a5d: POP
00001a5e: JUMPDEST
00001a5f: POP
00001a60: SWAP1
00001a61: SWAP10
00001a62: SWAP9
00001a63: POP
00001a64: POP
00001a65: POP
00001a66: POP
00001a67: POP
00001a68: POP
00001a69: POP
00001a6a: POP
00001a6b: POP
00001a6c: JUMP
00001a6d: JUMPDEST
00001a6e: PUSH1 0x03
00001a70: SLOAD
00001a71: PUSH1 0x00
00001a73: SWAP1
00001a74: DUP2
00001a75: SWAP1
00001a76: DUP2
00001a77: SWAP1
00001a78: DUP2
00001a79: SWAP1
00001a7a: DUP2
00001a7b: SWAP1
00001a7c: DUP2
00001a7d: SWAP1
00001a7e: PUSH1 0x01
00001a80: PUSH1 0xa0
00001a82: PUSH1 0x02
00001a84: EXP
00001a85: SUB
00001a86: AND
00001a87: PUSH4 0xd9876719
00001a8c: DUP12
00001a8d: DUP4
00001a8e: PUSH1 0x40
00001a90: MLOAD
00001a91: PUSH1 0x20
00001a93: ADD
00001a94: MSTORE
00001a95: PUSH1 0x40
00001a97: MLOAD
00001a98: PUSH1 0xe0
00001a9a: PUSH1 0x02
00001a9c: EXP
00001a9d: PUSH4 0xffffffff
00001aa2: DUP5
00001aa3: AND
00001aa4: MUL
00001aa5: DUP2
00001aa6: MSTORE
00001aa7: PUSH1 0x04
00001aa9: DUP2
00001aaa: ADD
00001aab: SWAP2
00001aac: SWAP1
00001aad: SWAP2
00001aae: MSTORE
00001aaf: PUSH1 0x24
00001ab1: ADD
00001ab2: PUSH1 0x20
00001ab4: PUSH1 0x40
00001ab6: MLOAD
00001ab7: DUP1
00001ab8: DUP4
00001ab9: SUB
00001aba: DUP2
00001abb: PUSH1 0x00
00001abd: DUP8
00001abe: DUP1
00001abf: EXTCODESIZE
00001ac0: ISZERO
00001ac1: ISZERO
00001ac2: PUSH2 0x1aca
00001ac5: JUMPI
00001ac6: PUSH1 0x00
00001ac8: DUP1
00001ac9: REVERT
00001aca: JUMPDEST
00001acb: PUSH2 0x02c6
00001ace: GAS
00001acf: SUB
00001ad0: CALL
00001ad1: ISZERO
00001ad2: ISZERO
00001ad3: PUSH2 0x1adb
00001ad6: JUMPI
00001ad7: PUSH1 0x00
00001ad9: DUP1
00001ada: REVERT
00001adb: JUMPDEST
00001adc: POP
00001add: POP
00001ade: POP
00001adf: PUSH1 0x40
00001ae1: MLOAD
00001ae2: DUP1
00001ae3: MLOAD
00001ae4: SWAP1
00001ae5: POP
00001ae6: SWAP6
00001ae7: POP
00001ae8: DUP9
00001ae9: PUSH2 0x1af1
00001aec: DUP8
00001aed: PUSH2 0x1e11
00001af0: JUMP
00001af1: JUMPDEST
00001af2: MUL
00001af3: SWAP5
00001af4: POP
00001af5: PUSH1 0x00
00001af7: DUP6
00001af8: GT
00001af9: PUSH2 0x1b01
00001afc: JUMPI
00001afd: PUSH1 0x00
00001aff: DUP1
00001b00: REVERT
00001b01: JUMPDEST
00001b02: DUP8
00001b03: ISZERO
00001b04: ISZERO
00001b05: PUSH2 0x1b1b
00001b08: JUMPI
00001b09: CALLVALUE
00001b0a: DUP6
00001b0b: SWAP1
00001b0c: LT
00001b0d: ISZERO
00001b0e: PUSH2 0x1b16
00001b11: JUMPI
00001b12: PUSH1 0x00
00001b14: DUP1
00001b15: REVERT
00001b16: JUMPDEST
00001b17: PUSH2 0x1b26
00001b1a: JUMP
00001b1b: JUMPDEST
00001b1c: CALLVALUE
00001b1d: ISZERO
00001b1e: PUSH2 0x1b26
00001b21: JUMPI
00001b22: PUSH1 0x00
00001b24: DUP1
00001b25: REVERT
00001b26: JUMPDEST
00001b27: PUSH1 0x64
00001b29: PUSH1 0x1e
00001b2b: DUP7
00001b2c: MUL
00001b2d: DIV
00001b2e: SWAP4
00001b2f: POP
00001b30: PUSH1 0x64
00001b32: PUSH1 0x32
00001b34: DUP7
00001b35: MUL
00001b36: DIV
00001b37: SWAP3
00001b38: POP
00001b39: PUSH1 0x64
00001b3b: PUSH1 0x0a
00001b3d: DUP7
00001b3e: MUL
00001b3f: PUSH1 0x03
00001b41: SLOAD
00001b42: SWAP2
00001b43: SWAP1
00001b44: DIV
00001b45: SWAP3
00001b46: POP
00001b47: PUSH1 0x01
00001b49: PUSH1 0xa0
00001b4b: PUSH1 0x02
00001b4d: EXP
00001b4e: SUB
00001b4f: AND
00001b50: PUSH4 0x544afd85
00001b55: CALLER
00001b56: PUSH1 0x00
00001b58: PUSH1 0x40
00001b5a: MLOAD
00001b5b: PUSH1 0x20
00001b5d: ADD
00001b5e: MSTORE
00001b5f: PUSH1 0x40
00001b61: MLOAD
00001b62: PUSH1 0xe0
00001b64: PUSH1 0x02
00001b66: EXP
00001b67: PUSH4 0xffffffff
00001b6c: DUP5
00001b6d: AND
00001b6e: MUL
00001b6f: DUP2
00001b70: MSTORE
00001b71: PUSH1 0x01
00001b73: PUSH1 0xa0
00001b75: PUSH1 0x02
00001b77: EXP
00001b78: SUB
00001b79: SWAP1
00001b7a: SWAP2
00001b7b: AND
00001b7c: PUSH1 0x04
00001b7e: DUP3
00001b7f: ADD
00001b80: MSTORE
00001b81: PUSH1 0x24
00001b83: ADD
00001b84: PUSH1 0x20
00001b86: PUSH1 0x40
00001b88: MLOAD
00001b89: DUP1
00001b8a: DUP4
00001b8b: SUB
00001b8c: DUP2
00001b8d: PUSH1 0x00
00001b8f: DUP8
00001b90: DUP1
00001b91: EXTCODESIZE
00001b92: ISZERO
00001b93: ISZERO
00001b94: PUSH2 0x1b9c
00001b97: JUMPI
00001b98: PUSH1 0x00
00001b9a: DUP1
00001b9b: REVERT
00001b9c: JUMPDEST
00001b9d: PUSH2 0x02c6
00001ba0: GAS
00001ba1: SUB
00001ba2: CALL
00001ba3: ISZERO
00001ba4: ISZERO
00001ba5: PUSH2 0x1bad
00001ba8: JUMPI
00001ba9: PUSH1 0x00
00001bab: DUP1
00001bac: REVERT
00001bad: JUMPDEST
00001bae: POP
00001baf: POP
00001bb0: POP
00001bb1: PUSH1 0x40
00001bb3: MLOAD
00001bb4: DUP1
00001bb5: MLOAD
00001bb6: SWAP2
00001bb7: POP
00001bb8: POP
00001bb9: PUSH1 0x01
00001bbb: PUSH1 0xa0
00001bbd: PUSH1 0x02
00001bbf: EXP
00001bc0: SUB
00001bc1: DUP2
00001bc2: AND
00001bc3: ISZERO
00001bc4: PUSH2 0x1c52
00001bc7: JUMPI
00001bc8: PUSH1 0x03
00001bca: SLOAD
00001bcb: PUSH1 0x01
00001bcd: PUSH1 0xa0
00001bcf: PUSH1 0x02
00001bd1: EXP
00001bd2: SUB
00001bd3: AND
00001bd4: PUSH4 0x7b85972d
00001bd9: CALLER
00001bda: DUP5
00001bdb: PUSH1 0x00
00001bdd: PUSH1 0x40
00001bdf: MLOAD
00001be0: PUSH1 0x20
00001be2: ADD
00001be3: MSTORE
00001be4: PUSH1 0x40
00001be6: MLOAD
00001be7: PUSH1 0xe0
00001be9: PUSH1 0x02
00001beb: EXP
00001bec: PUSH4 0xffffffff
00001bf1: DUP6
00001bf2: AND
00001bf3: MUL
00001bf4: DUP2
00001bf5: MSTORE
00001bf6: PUSH1 0x01
00001bf8: PUSH1 0xa0
00001bfa: PUSH1 0x02
00001bfc: EXP
00001bfd: SUB
00001bfe: SWAP1
00001bff: SWAP3
00001c00: AND
00001c01: PUSH1 0x04
00001c03: DUP4
00001c04: ADD
00001c05: MSTORE
00001c06: PUSH1 0x24
00001c08: DUP3
00001c09: ADD
00001c0a: MSTORE
00001c0b: PUSH1 0x44
00001c0d: ADD
00001c0e: PUSH1 0x20
00001c10: PUSH1 0x40
00001c12: MLOAD
00001c13: DUP1
00001c14: DUP4
00001c15: SUB
00001c16: DUP2
00001c17: PUSH1 0x00
00001c19: DUP8
00001c1a: DUP1
00001c1b: EXTCODESIZE
00001c1c: ISZERO
00001c1d: ISZERO
00001c1e: PUSH2 0x1c26
00001c21: JUMPI
00001c22: PUSH1 0x00
00001c24: DUP1
00001c25: REVERT
00001c26: JUMPDEST
00001c27: PUSH2 0x02c6
00001c2a: GAS
00001c2b: SUB
00001c2c: CALL
00001c2d: ISZERO
00001c2e: ISZERO
00001c2f: PUSH2 0x1c37
00001c32: JUMPI
00001c33: PUSH1 0x00
00001c35: DUP1
00001c36: REVERT
00001c37: JUMPDEST
00001c38: POP
00001c39: POP
00001c3a: POP
00001c3b: PUSH1 0x40
00001c3d: MLOAD
00001c3e: DUP1
00001c3f: MLOAD
00001c40: SWAP1
00001c41: POP
00001c42: SWAP2
00001c43: POP
00001c44: PUSH2 0x1c4d
00001c47: DUP2
00001c48: DUP4
00001c49: PUSH2 0x2548
00001c4c: JUMP
00001c4d: JUMPDEST
00001c4e: PUSH2 0x1c59
00001c51: JUMP
00001c52: JUMPDEST
00001c53: SWAP3
00001c54: ADD
00001c55: SWAP2
00001c56: PUSH1 0x00
00001c58: SWAP1
00001c59: JUMPDEST
00001c5a: DUP8
00001c5b: ISZERO
00001c5c: PUSH2 0x1c69
00001c5f: JUMPI
00001c60: PUSH2 0x1c69
00001c63: CALLER
00001c64: DUP7
00001c65: PUSH2 0x2624
00001c68: JUMP
00001c69: JUMPDEST
00001c6a: PUSH1 0x03
00001c6c: SLOAD
00001c6d: SWAP6
00001c6e: DUP10
00001c6f: ADD
00001c70: SWAP6
00001c71: PUSH1 0x01
00001c73: PUSH1 0xa0
00001c75: PUSH1 0x02
00001c77: EXP
00001c78: SUB
00001c79: AND
00001c7a: PUSH4 0x776c7d31
00001c7f: DUP11
00001c80: DUP7
00001c81: DUP7
00001c82: PUSH2 0x1c8c
00001c85: DUP16
00001c86: PUSH1 0x00
00001c88: PUSH2 0x1894
00001c8b: JUMP
00001c8c: JUMPDEST
00001c8d: DUP15
00001c8e: MUL
00001c8f: PUSH1 0x0a
00001c91: SLOAD
00001c92: PUSH2 0x1c9a
00001c95: DUP14
00001c96: PUSH2 0x1e11
00001c99: JUMP
00001c9a: JUMPDEST
00001c9b: PUSH1 0x40
00001c9d: MLOAD
00001c9e: PUSH1 0xe0
00001ca0: PUSH1 0x02
00001ca2: EXP
00001ca3: PUSH4 0xffffffff
00001ca8: DUP10
00001ca9: AND
00001caa: MUL
00001cab: DUP2
00001cac: MSTORE
00001cad: PUSH1 0x04
00001caf: DUP2
00001cb0: ADD
00001cb1: SWAP7
00001cb2: SWAP1
00001cb3: SWAP7
00001cb4: MSTORE
00001cb5: PUSH1 0x24
00001cb7: DUP7
00001cb8: ADD
00001cb9: SWAP5
00001cba: SWAP1
00001cbb: SWAP5
00001cbc: MSTORE
00001cbd: PUSH1 0x44
00001cbf: DUP6
00001cc0: ADD
00001cc1: SWAP3
00001cc2: SWAP1
00001cc3: SWAP3
00001cc4: MSTORE
00001cc5: PUSH1 0x64
00001cc7: DUP5
00001cc8: ADD
00001cc9: MSTORE
00001cca: PUSH1 0x84
00001ccc: DUP4
00001ccd: ADD
00001cce: MSTORE
00001ccf: PUSH1 0xa4
00001cd1: DUP3
00001cd2: ADD
00001cd3: MSTORE
00001cd4: PUSH1 0xc4
00001cd6: ADD
00001cd7: PUSH1 0x00
00001cd9: PUSH1 0x40
00001cdb: MLOAD
00001cdc: DUP1
00001cdd: DUP4
00001cde: SUB
00001cdf: DUP2
00001ce0: PUSH1 0x00
00001ce2: DUP8
00001ce3: DUP1
00001ce4: EXTCODESIZE
00001ce5: ISZERO
00001ce6: ISZERO
00001ce7: PUSH2 0x1cef
00001cea: JUMPI
00001ceb: PUSH1 0x00
00001ced: DUP1
00001cee: REVERT
00001cef: JUMPDEST
00001cf0: PUSH2 0x02c6
00001cf3: GAS
00001cf4: SUB
00001cf5: CALL
00001cf6: ISZERO
00001cf7: ISZERO
00001cf8: PUSH2 0x1d00
00001cfb: JUMPI
00001cfc: PUSH1 0x00
00001cfe: DUP1
00001cff: REVERT
00001d00: JUMPDEST
00001d01: POP
00001d02: POP
00001d03: PUSH1 0x03
00001d05: SLOAD
00001d06: PUSH1 0x01
00001d08: PUSH1 0xa0
00001d0a: PUSH1 0x02
00001d0c: EXP
00001d0d: SUB
00001d0e: AND
00001d0f: SWAP1
00001d10: POP
00001d11: PUSH4 0x5cbab92a
00001d16: CALLER
00001d17: DUP10
00001d18: DUP13
00001d19: DUP9
00001d1a: DUP11
00001d1b: SUB
00001d1c: DUP9
00001d1d: SWAP1
00001d1e: SUB
00001d1f: DUP8
00001d20: SWAP1
00001d21: SUB
00001d22: DUP11
00001d23: DUP15
00001d24: PUSH1 0x40
00001d26: MLOAD
00001d27: PUSH1 0xe0
00001d29: PUSH1 0x02
00001d2b: EXP
00001d2c: PUSH4 0xffffffff
00001d31: DUP10
00001d32: AND
00001d33: MUL
00001d34: DUP2
00001d35: MSTORE
00001d36: PUSH1 0x01
00001d38: PUSH1 0xa0
00001d3a: PUSH1 0x02
00001d3c: EXP
00001d3d: SUB
00001d3e: SWAP1
00001d3f: SWAP7
00001d40: AND
00001d41: PUSH1 0x04
00001d43: DUP8
00001d44: ADD
00001d45: MSTORE
00001d46: PUSH1 0x24
00001d48: DUP7
00001d49: ADD
00001d4a: SWAP5
00001d4b: SWAP1
00001d4c: SWAP5
00001d4d: MSTORE
00001d4e: PUSH1 0x44
00001d50: DUP6
00001d51: ADD
00001d52: SWAP3
00001d53: SWAP1
00001d54: SWAP3
00001d55: MSTORE
00001d56: PUSH1 0x64
00001d58: DUP5
00001d59: ADD
00001d5a: MSTORE
00001d5b: PUSH1 0x84
00001d5d: DUP4
00001d5e: ADD
00001d5f: MSTORE
00001d60: ISZERO
00001d61: ISZERO
00001d62: PUSH1 0xa4
00001d64: DUP3
00001d65: ADD
00001d66: MSTORE
00001d67: PUSH1 0xc4
00001d69: ADD
00001d6a: PUSH1 0x00
00001d6c: PUSH1 0x40
00001d6e: MLOAD
00001d6f: DUP1
00001d70: DUP4
00001d71: SUB
00001d72: DUP2
00001d73: PUSH1 0x00
00001d75: DUP8
00001d76: DUP1
00001d77: EXTCODESIZE
00001d78: ISZERO
00001d79: ISZERO
00001d7a: PUSH2 0x1d82
00001d7d: JUMPI
00001d7e: PUSH1 0x00
00001d80: DUP1
00001d81: REVERT
00001d82: JUMPDEST
00001d83: PUSH2 0x02c6
00001d86: GAS
00001d87: SUB
00001d88: CALL
00001d89: ISZERO
00001d8a: ISZERO
00001d8b: PUSH2 0x1d93
00001d8e: JUMPI
00001d8f: PUSH1 0x00
00001d91: DUP1
00001d92: REVERT
00001d93: JUMPDEST
00001d94: POP
00001d95: POP
00001d96: POP
00001d97: DUP8
00001d98: ISZERO
00001d99: ISZERO
00001d9a: PUSH2 0x1ddd
00001d9d: JUMPI
00001d9e: PUSH1 0x00
00001da0: DUP6
00001da1: CALLVALUE
00001da2: SUB
00001da3: GT
00001da4: ISZERO
00001da5: PUSH2 0x1ddd
00001da8: JUMPI
00001da9: CALLER
00001daa: PUSH1 0x01
00001dac: PUSH1 0xa0
00001dae: PUSH1 0x02
00001db0: EXP
00001db1: SUB
00001db2: AND
00001db3: PUSH2 0x08fc
00001db6: DUP7
00001db7: CALLVALUE
00001db8: SUB
00001db9: SWAP1
00001dba: DUP2
00001dbb: ISZERO
00001dbc: MUL
00001dbd: SWAP1
00001dbe: PUSH1 0x40
00001dc0: MLOAD
00001dc1: PUSH1 0x00
00001dc3: PUSH1 0x40
00001dc5: MLOAD
00001dc6: DUP1
00001dc7: DUP4
00001dc8: SUB
00001dc9: DUP2
00001dca: DUP6
00001dcb: DUP9
00001dcc: DUP9
00001dcd: CALL
00001dce: SWAP4
00001dcf: POP
00001dd0: POP
00001dd1: POP
00001dd2: POP
00001dd3: ISZERO
00001dd4: ISZERO
00001dd5: PUSH2 0x1ddd
00001dd8: JUMPI
00001dd9: PUSH1 0x00
00001ddb: DUP1
00001ddc: REVERT
00001ddd: JUMPDEST
00001dde: PUSH2 0x1dfa
00001de1: DUP11
00001de2: DUP11
00001de3: DUP11
00001de4: DUP11
00001de5: DUP10
00001de6: DUP14
00001de7: PUSH2 0x1df2
00001dea: JUMPI
00001deb: DUP11
00001dec: CALLVALUE
00001ded: SUB
00001dee: PUSH2 0x1df5
00001df1: JUMP
00001df2: JUMPDEST
00001df3: PUSH1 0x00
00001df5: JUMPDEST
00001df6: PUSH2 0x26bc
00001df9: JUMP
00001dfa: JUMPDEST
00001dfb: PUSH2 0x1e05
00001dfe: DUP11
00001dff: CALLER
00001e00: DUP12
00001e01: PUSH2 0x285d
00001e04: JUMP
00001e05: JUMPDEST
00001e06: POP
00001e07: POP
00001e08: POP
00001e09: POP
00001e0a: POP
00001e0b: POP
00001e0c: POP
00001e0d: POP
00001e0e: POP
00001e0f: POP
00001e10: JUMP
00001e11: JUMPDEST
00001e12: PUSH1 0x07
00001e14: SLOAD
00001e15: PUSH1 0x00
00001e17: SWAP1
00001e18: DUP2
00001e19: DUP1
00001e1a: DUP1
00001e1b: PUSH2 0x1e35
00001e1e: DUP5
00001e1f: PUSH16 0xffffffffffffffffffffffffffffffff
00001e30: DUP4
00001e31: PUSH2 0x24f4
00001e34: JUMP
00001e35: JUMPDEST
00001e36: SWAP3
00001e37: POP
00001e38: PUSH2 0x1e59
00001e3b: DUP5
00001e3c: PUSH22 0xffffffff000000000000000000000000000000000000
00001e53: PUSH1 0x90
00001e55: PUSH2 0x24f4
00001e58: JUMP
00001e59: JUMPDEST
00001e5a: SWAP2
00001e5b: POP
00001e5c: PUSH5 0xe8d4a51000
00001e62: DUP4
00001e63: PUSH2 0x1e70
00001e66: PUSH1 0x64
00001e68: DUP10
00001e69: DUP7
00001e6a: MUL
00001e6b: DIV
00001e6c: PUSH2 0x2cca
00001e6f: JUMP
00001e70: JUMPDEST
00001e71: MUL
00001e72: DUP2
00001e73: ISZERO
00001e74: ISZERO
00001e75: PUSH2 0x1e7a
00001e78: JUMPI
00001e79: INVALID
00001e7a: JUMPDEST
00001e7b: DIV
00001e7c: SWAP1
00001e7d: POP
00001e7e: PUSH8 0x0de0b6b3a7640000
00001e87: DUP2
00001e88: GT
00001e89: ISZERO
00001e8a: PUSH2 0x1e98
00001e8d: JUMPI
00001e8e: POP
00001e8f: PUSH8 0x0de0b6b3a7640000
00001e98: JUMPDEST
00001e99: SWAP6
00001e9a: SWAP5
00001e9b: POP
00001e9c: POP
00001e9d: POP
00001e9e: POP
00001e9f: POP
00001ea0: JUMP
00001ea1: JUMPDEST
00001ea2: PUSH1 0x07
00001ea4: SLOAD
00001ea5: PUSH2 0x1ec3
00001ea8: DUP2
00001ea9: DUP10
00001eaa: PUSH18 0xffff00000000000000000000000000000000
00001ebd: PUSH1 0x80
00001ebf: PUSH2 0x24e1
00001ec2: JUMP
00001ec3: JUMPDEST
00001ec4: SWAP1
00001ec5: POP
00001ec6: PUSH2 0x1ee2
00001ec9: DUP2
00001eca: DUP9
00001ecb: PUSH16 0xffffffffffffffffffffffffffffffff
00001edc: PUSH1 0x00
00001ede: PUSH2 0x24e1
00001ee1: JUMP
00001ee2: JUMPDEST
00001ee3: SWAP1
00001ee4: POP
00001ee5: PUSH2 0x1f0b
00001ee8: DUP2
00001ee9: DUP8
00001eea: PUSH26 0xffffffff00000000000000000000000000000000000000000000
00001f05: PUSH1 0xb0
00001f07: PUSH2 0x24e1
00001f0a: JUMP
00001f0b: JUMPDEST
00001f0c: SWAP1
00001f0d: POP
00001f0e: PUSH2 0x1f30
00001f11: DUP2
00001f12: DUP7
00001f13: PUSH22 0xffffffff000000000000000000000000000000000000
00001f2a: PUSH1 0x90
00001f2c: PUSH2 0x24e1
00001f2f: JUMP
00001f30: JUMPDEST
00001f31: SWAP1
00001f32: POP
00001f33: PUSH2 0x1f5d
00001f36: DUP2
00001f37: DUP6
00001f38: PUSH30 0xffffffff0000000000000000000000000000000000000000000000000000
00001f57: PUSH1 0xd0
00001f59: PUSH2 0x24e1
00001f5c: JUMP
00001f5d: JUMPDEST
00001f5e: PUSH1 0x07
00001f60: SSTORE
00001f61: POP
00001f62: PUSH1 0x08
00001f64: SWAP2
00001f65: SWAP1
00001f66: SWAP2
00001f67: SSTORE
00001f68: PUSH1 0x09
00001f6a: SSTORE
00001f6b: POP
00001f6c: POP
00001f6d: POP
00001f6e: POP
00001f6f: POP
00001f70: JUMP
00001f71: JUMPDEST
00001f72: PUSH1 0x00
00001f74: DUP1
00001f75: PUSH1 0x01
00001f77: PUSH1 0xa0
00001f79: PUSH1 0x02
00001f7b: EXP
00001f7c: SUB
00001f7d: DUP6
00001f7e: DUP2
00001f7f: AND
00001f80: SWAP1
00001f81: DUP10
00001f82: AND
00001f83: EQ
00001f84: ISZERO
00001f85: PUSH2 0x1f8b
00001f88: JUMPI
00001f89: DUP7
00001f8a: ADD
00001f8b: JUMPDEST
00001f8c: DUP4
00001f8d: DUP4
00001f8e: DUP8
00001f8f: MUL
00001f90: DUP2
00001f91: ISZERO
00001f92: ISZERO
00001f93: PUSH2 0x1f98
00001f96: JUMPI
00001f97: INVALID
00001f98: JUMPDEST
00001f99: DIV
00001f9a: ADD
00001f9b: SWAP8
00001f9c: SWAP7
00001f9d: POP
00001f9e: POP
00001f9f: POP
00001fa0: POP
00001fa1: POP
00001fa2: POP
00001fa3: POP
00001fa4: JUMP
00001fa5: JUMPDEST
00001fa6: PUSH1 0x00
00001fa8: DUP1
00001fa9: PUSH1 0x00
00001fab: DUP1
00001fac: PUSH1 0x00
00001fae: DUP1
00001faf: PUSH1 0x00
00001fb1: DUP1
00001fb2: PUSH1 0x00
00001fb4: DUP1
00001fb5: PUSH1 0x00
00001fb7: DUP1
00001fb8: PUSH1 0x00
00001fba: PUSH1 0x03
00001fbc: PUSH1 0x00
00001fbe: SWAP1
00001fbf: SLOAD
00001fc0: SWAP1
00001fc1: PUSH2 0x0100
00001fc4: EXP
00001fc5: SWAP1
00001fc6: DIV
00001fc7: PUSH1 0x01
00001fc9: PUSH1 0xa0
00001fcb: PUSH1 0x02
00001fcd: EXP
00001fce: SUB
00001fcf: AND
00001fd0: PUSH1 0x01
00001fd2: PUSH1 0xa0
00001fd4: PUSH1 0x02
00001fd6: EXP
00001fd7: SUB
00001fd8: AND
00001fd9: PUSH4 0xe9da7c57
00001fde: PUSH1 0x00
00001fe0: PUSH1 0x40
00001fe2: MLOAD
00001fe3: PUSH1 0x20
00001fe5: ADD
00001fe6: MSTORE
00001fe7: PUSH1 0x40
00001fe9: MLOAD
00001fea: DUP2
00001feb: PUSH4 0xffffffff
00001ff0: AND
00001ff1: PUSH1 0xe0
00001ff3: PUSH1 0x02
00001ff5: EXP
00001ff6: MUL
00001ff7: DUP2
00001ff8: MSTORE
00001ff9: PUSH1 0x04
00001ffb: ADD
00001ffc: PUSH1 0x20
00001ffe: PUSH1 0x40
00002000: MLOAD
00002001: DUP1
00002002: DUP4
00002003: SUB
00002004: DUP2
00002005: PUSH1 0x00
00002007: DUP8
00002008: DUP1
00002009: EXTCODESIZE
0000200a: ISZERO
0000200b: ISZERO
0000200c: PUSH2 0x2014
0000200f: JUMPI
00002010: PUSH1 0x00
00002012: DUP1
00002013: REVERT
00002014: JUMPDEST
00002015: PUSH2 0x02c6
00002018: GAS
00002019: SUB
0000201a: CALL
0000201b: ISZERO
0000201c: ISZERO
0000201d: PUSH2 0x2025
00002020: JUMPI
00002021: PUSH1 0x00
00002023: DUP1
00002024: REVERT
00002025: JUMPDEST
00002026: POP
00002027: POP
00002028: POP
00002029: PUSH1 0x40
0000202b: MLOAD
0000202c: DUP1
0000202d: MLOAD
0000202e: SWAP14
0000202f: POP
00002030: DUP15
00002031: SWAP13
00002032: POP
00002033: PUSH1 0x00
00002035: SWAP12
00002036: POP
00002037: DUP14
00002038: SWAP11
00002039: POP
0000203a: POP
0000203b: JUMPDEST
0000203c: PUSH1 0x01
0000203e: DUP11
0000203f: LT
00002040: PUSH2 0x23fb
00002043: JUMPI
00002044: PUSH1 0x03
00002046: SLOAD
00002047: PUSH1 0x01
00002049: PUSH1 0xa0
0000204b: PUSH1 0x02
0000204d: EXP
0000204e: SUB
0000204f: AND
00002050: PUSH4 0x458a5797
00002055: DUP12
00002056: DUP15
00002057: PUSH1 0x00
00002059: PUSH1 0x40
0000205b: MLOAD
0000205c: PUSH1 0x40
0000205e: ADD
0000205f: MSTORE
00002060: PUSH1 0x40
00002062: MLOAD
00002063: PUSH1 0xe0
00002065: PUSH1 0x02
00002067: EXP
00002068: PUSH4 0xffffffff
0000206d: DUP6
0000206e: AND
0000206f: MUL
00002070: DUP2
00002071: MSTORE
00002072: PUSH1 0x04
00002074: DUP2
00002075: ADD
00002076: SWAP3
00002077: SWAP1
00002078: SWAP3
00002079: MSTORE
0000207a: PUSH1 0x01
0000207c: PUSH1 0xa0
0000207e: PUSH1 0x02
00002080: EXP
00002081: SUB
00002082: AND
00002083: PUSH1 0x24
00002085: DUP3
00002086: ADD
00002087: MSTORE
00002088: PUSH1 0x44
0000208a: ADD
0000208b: PUSH1 0x40
0000208d: DUP1
0000208e: MLOAD
0000208f: DUP1
00002090: DUP4
00002091: SUB
00002092: DUP2
00002093: PUSH1 0x00
00002095: DUP8
00002096: DUP1
00002097: EXTCODESIZE
00002098: ISZERO
00002099: ISZERO
0000209a: PUSH2 0x20a2
0000209d: JUMPI
0000209e: PUSH1 0x00
000020a0: DUP1
000020a1: REVERT
000020a2: JUMPDEST
000020a3: PUSH2 0x02c6
000020a6: GAS
000020a7: SUB
000020a8: CALL
000020a9: ISZERO
000020aa: ISZERO
000020ab: PUSH2 0x20b3
000020ae: JUMPI
000020af: PUSH1 0x00
000020b1: DUP1
000020b2: REVERT
000020b3: JUMPDEST
000020b4: POP
000020b5: POP
000020b6: POP
000020b7: PUSH1 0x40
000020b9: MLOAD
000020ba: DUP1
000020bb: MLOAD
000020bc: SWAP1
000020bd: PUSH1 0x20
000020bf: ADD
000020c0: DUP1
000020c1: MLOAD
000020c2: PUSH1 0x03
000020c4: SLOAD
000020c5: SWAP3
000020c6: SWAP12
000020c7: POP
000020c8: SWAP10
000020c9: POP
000020ca: POP
000020cb: PUSH1 0x01
000020cd: PUSH1 0xa0
000020cf: PUSH1 0x02
000020d1: EXP
000020d2: SUB
000020d3: AND
000020d4: PUSH4 0x05b63d32
000020d9: DUP12
000020da: DUP15
000020db: PUSH1 0x00
000020dd: PUSH1 0x40
000020df: MLOAD
000020e0: PUSH1 0x60
000020e2: ADD
000020e3: MSTORE
000020e4: PUSH1 0x40
000020e6: MLOAD
000020e7: PUSH1 0xe0
000020e9: PUSH1 0x02
000020eb: EXP
000020ec: PUSH4 0xffffffff
000020f1: DUP6
000020f2: AND
000020f3: MUL
000020f4: DUP2
000020f5: MSTORE
000020f6: PUSH1 0x04
000020f8: DUP2
000020f9: ADD
000020fa: SWAP3
000020fb: SWAP1
000020fc: SWAP3
000020fd: MSTORE
000020fe: PUSH1 0x01
00002100: PUSH1 0xa0
00002102: PUSH1 0x02
00002104: EXP
00002105: SUB
00002106: AND
00002107: PUSH1 0x24
00002109: DUP3
0000210a: ADD
0000210b: MSTORE
0000210c: PUSH1 0x44
0000210e: ADD
0000210f: PUSH1 0x60
00002111: PUSH1 0x40
00002113: MLOAD
00002114: DUP1
00002115: DUP4
00002116: SUB
00002117: DUP2
00002118: PUSH1 0x00
0000211a: DUP8
0000211b: DUP1
0000211c: EXTCODESIZE
0000211d: ISZERO
0000211e: ISZERO
0000211f: PUSH2 0x2127
00002122: JUMPI
00002123: PUSH1 0x00
00002125: DUP1
00002126: REVERT
00002127: JUMPDEST
00002128: PUSH2 0x02c6
0000212b: GAS
0000212c: SUB
0000212d: CALL
0000212e: ISZERO
0000212f: ISZERO
00002130: PUSH2 0x2138
00002133: JUMPI
00002134: PUSH1 0x00
00002136: DUP1
00002137: REVERT
00002138: JUMPDEST
00002139: POP
0000213a: POP
0000213b: POP
0000213c: PUSH1 0x40
0000213e: MLOAD
0000213f: DUP1
00002140: MLOAD
00002141: SWAP1
00002142: PUSH1 0x20
00002144: ADD
00002145: DUP1
00002146: MLOAD
00002147: SWAP1
00002148: PUSH1 0x20
0000214a: ADD
0000214b: DUP1
0000214c: MLOAD
0000214d: SWAP1
0000214e: POP
0000214f: SWAP9
00002150: POP
00002151: POP
00002152: POP
00002153: DUP7
00002154: ISZERO
00002155: PUSH2 0x215d
00002158: JUMPI
00002159: PUSH2 0x23fb
0000215c: JUMP
0000215d: JUMPDEST
0000215e: DUP8
0000215f: ISZERO
00002160: ISZERO
00002161: PUSH2 0x2169
00002164: JUMPI
00002165: PUSH2 0x23ef
00002168: JUMP
00002169: JUMPDEST
0000216a: PUSH1 0x03
0000216c: SLOAD
0000216d: PUSH1 0x01
0000216f: PUSH1 0xa0
00002171: PUSH1 0x02
00002173: EXP
00002174: SUB
00002175: AND
00002176: PUSH4 0x47f3463e
0000217b: DUP12
0000217c: PUSH1 0x00
0000217e: PUSH1 0x40
00002180: MLOAD
00002181: PUSH1 0xe0
00002183: ADD
00002184: MSTORE
00002185: PUSH1 0x40
00002187: MLOAD
00002188: PUSH1 0xe0
0000218a: PUSH1 0x02
0000218c: EXP
0000218d: PUSH4 0xffffffff
00002192: DUP5
00002193: AND
00002194: MUL
00002195: DUP2
00002196: MSTORE
00002197: PUSH1 0x04
00002199: DUP2
0000219a: ADD
0000219b: SWAP2
0000219c: SWAP1
0000219d: SWAP2
0000219e: MSTORE
0000219f: PUSH1 0x24
000021a1: ADD
000021a2: PUSH1 0xe0
000021a4: PUSH1 0x40
000021a6: MLOAD
000021a7: DUP1
000021a8: DUP4
000021a9: SUB
000021aa: DUP2
000021ab: PUSH1 0x00
000021ad: DUP8
000021ae: DUP1
000021af: EXTCODESIZE
000021b0: ISZERO
000021b1: ISZERO
000021b2: PUSH2 0x21ba
000021b5: JUMPI
000021b6: PUSH1 0x00
000021b8: DUP1
000021b9: REVERT
000021ba: JUMPDEST
000021bb: PUSH2 0x02c6
000021be: GAS
000021bf: SUB
000021c0: CALL
000021c1: ISZERO
000021c2: ISZERO
000021c3: PUSH2 0x21cb
000021c6: JUMPI
000021c7: PUSH1 0x00
000021c9: DUP1
000021ca: REVERT
000021cb: JUMPDEST
000021cc: POP
000021cd: POP
000021ce: POP
000021cf: PUSH1 0x40
000021d1: MLOAD
000021d2: DUP1
000021d3: MLOAD
000021d4: SWAP1
000021d5: PUSH1 0x20
000021d7: ADD
000021d8: DUP1
000021d9: MLOAD
000021da: SWAP1
000021db: PUSH1 0x20
000021dd: ADD
000021de: DUP1
000021df: MLOAD
000021e0: SWAP1
000021e1: PUSH1 0x20
000021e3: ADD
000021e4: DUP1
000021e5: MLOAD
000021e6: SWAP1
000021e7: PUSH1 0x20
000021e9: ADD
000021ea: DUP1
000021eb: MLOAD
000021ec: SWAP1
000021ed: PUSH1 0x20
000021ef: ADD
000021f0: DUP1
000021f1: MLOAD
000021f2: SWAP1
000021f3: PUSH1 0x20
000021f5: ADD
000021f6: DUP1
000021f7: MLOAD
000021f8: POP
000021f9: POP
000021fa: PUSH1 0x03
000021fc: SLOAD
000021fd: SWAP6
000021fe: SWAP12
000021ff: POP
00002200: SWAP4
00002201: SWAP10
00002202: POP
00002203: SWAP2
00002204: SWAP8
00002205: POP
00002206: POP
00002207: PUSH1 0x01
00002209: PUSH1 0xa0
0000220b: PUSH1 0x02
0000220d: EXP
0000220e: SUB
0000220f: SWAP1
00002210: SWAP3
00002211: AND
00002212: SWAP2
00002213: POP
00002214: PUSH4 0xea0bdfa7
00002219: SWAP1
0000221a: POP
0000221b: DUP12
0000221c: PUSH1 0x00
0000221e: PUSH1 0x40
00002220: MLOAD
00002221: PUSH1 0x40
00002223: ADD
00002224: MSTORE
00002225: PUSH1 0x40
00002227: MLOAD
00002228: PUSH1 0xe0
0000222a: PUSH1 0x02
0000222c: EXP
0000222d: PUSH4 0xffffffff
00002232: DUP5
00002233: AND
00002234: MUL
00002235: DUP2
00002236: MSTORE
00002237: PUSH1 0x04
00002239: DUP2
0000223a: ADD
0000223b: SWAP2
0000223c: SWAP1
0000223d: SWAP2
0000223e: MSTORE
0000223f: PUSH1 0x24
00002241: ADD
00002242: PUSH1 0x40
00002244: DUP1
00002245: MLOAD
00002246: DUP1
00002247: DUP4
00002248: SUB
00002249: DUP2
0000224a: PUSH1 0x00
0000224c: DUP8
0000224d: DUP1
0000224e: EXTCODESIZE
0000224f: ISZERO
00002250: ISZERO
00002251: PUSH2 0x2259
00002254: JUMPI
00002255: PUSH1 0x00
00002257: DUP1
00002258: REVERT
00002259: JUMPDEST
0000225a: PUSH2 0x02c6
0000225d: GAS
0000225e: SUB
0000225f: CALL
00002260: ISZERO
00002261: ISZERO
00002262: PUSH2 0x226a
00002265: JUMPI
00002266: PUSH1 0x00
00002268: DUP1
00002269: REVERT
0000226a: JUMPDEST
0000226b: POP
0000226c: POP
0000226d: POP
0000226e: PUSH1 0x40
00002270: MLOAD
00002271: DUP1
00002272: MLOAD
00002273: SWAP1
00002274: PUSH1 0x20
00002276: ADD
00002277: DUP1
00002278: MLOAD
00002279: POP
0000227a: SWAP1
0000227b: SWAP4
0000227c: POP
0000227d: POP
0000227e: DUP6
0000227f: ISZERO
00002280: ISZERO
00002281: PUSH2 0x2289
00002284: JUMPI
00002285: PUSH2 0x23ef
00002288: JUMP
00002289: JUMPDEST
0000228a: PUSH2 0x2297
0000228d: DUP13
0000228e: DUP8
0000228f: DUP8
00002290: DUP7
00002291: DUP14
00002292: DUP14
00002293: PUSH2 0x1f71
00002296: JUMP
00002297: JUMPDEST
00002298: PUSH1 0x03
0000229a: SLOAD
0000229b: SWAP1
0000229c: SWAP3
0000229d: POP
0000229e: PUSH1 0x01
000022a0: PUSH1 0xa0
000022a2: PUSH1 0x02
000022a4: EXP
000022a5: SUB
000022a6: AND
000022a7: PUSH4 0x5717cf1f
000022ac: DUP12
000022ad: DUP15
000022ae: DUP6
000022af: PUSH1 0x40
000022b1: MLOAD
000022b2: PUSH1 0xe0
000022b4: PUSH1 0x02
000022b6: EXP
000022b7: PUSH4 0xffffffff
000022bc: DUP7
000022bd: AND
000022be: MUL
000022bf: DUP2
000022c0: MSTORE
000022c1: PUSH1 0x04
000022c3: DUP2
000022c4: ADD
000022c5: SWAP4
000022c6: SWAP1
000022c7: SWAP4
000022c8: MSTORE
000022c9: PUSH1 0x01
000022cb: PUSH1 0xa0
000022cd: PUSH1 0x02
000022cf: EXP
000022d0: SUB
000022d1: SWAP1
000022d2: SWAP2
000022d3: AND
000022d4: PUSH1 0x24
000022d6: DUP4
000022d7: ADD
000022d8: MSTORE
000022d9: PUSH1 0x44
000022db: DUP3
000022dc: ADD
000022dd: MSTORE
000022de: PUSH1 0x64
000022e0: ADD
000022e1: PUSH1 0x00
000022e3: PUSH1 0x40
000022e5: MLOAD
000022e6: DUP1
000022e7: DUP4
000022e8: SUB
000022e9: DUP2
000022ea: PUSH1 0x00
000022ec: DUP8
000022ed: DUP1
000022ee: EXTCODESIZE
000022ef: ISZERO
000022f0: ISZERO
000022f1: PUSH2 0x22f9
000022f4: JUMPI
000022f5: PUSH1 0x00
000022f7: DUP1
000022f8: REVERT
000022f9: JUMPDEST
000022fa: PUSH2 0x02c6
000022fd: GAS
000022fe: SUB
000022ff: CALL
00002300: ISZERO
00002301: ISZERO
00002302: PUSH2 0x230a
00002305: JUMPI
00002306: PUSH1 0x00
00002308: DUP1
00002309: REVERT
0000230a: JUMPDEST
0000230b: POP
0000230c: POP
0000230d: PUSH1 0x03
0000230f: SLOAD
00002310: PUSH1 0x01
00002312: PUSH1 0xa0
00002314: PUSH1 0x02
00002316: EXP
00002317: SUB
00002318: AND
00002319: SWAP1
0000231a: POP
0000231b: PUSH4 0x094a9d3c
00002320: DUP14
00002321: PUSH1 0x00
00002323: PUSH1 0x40
00002325: MLOAD
00002326: PUSH1 0x40
00002328: ADD
00002329: MSTORE
0000232a: PUSH1 0x40
0000232c: MLOAD
0000232d: PUSH1 0xe0
0000232f: PUSH1 0x02
00002331: EXP
00002332: PUSH4 0xffffffff
00002337: DUP5
00002338: AND
00002339: MUL
0000233a: DUP2
0000233b: MSTORE
0000233c: PUSH1 0x01
0000233e: PUSH1 0xa0
00002340: PUSH1 0x02
00002342: EXP
00002343: SUB
00002344: SWAP1
00002345: SWAP2
00002346: AND
00002347: PUSH1 0x04
00002349: DUP3
0000234a: ADD
0000234b: MSTORE
0000234c: PUSH1 0x24
0000234e: ADD
0000234f: PUSH1 0x40
00002351: DUP1
00002352: MLOAD
00002353: DUP1
00002354: DUP4
00002355: SUB
00002356: DUP2
00002357: PUSH1 0x00
00002359: DUP8
0000235a: DUP1
0000235b: EXTCODESIZE
0000235c: ISZERO
0000235d: ISZERO
0000235e: PUSH2 0x2366
00002361: JUMPI
00002362: PUSH1 0x00
00002364: DUP1
00002365: REVERT
00002366: JUMPDEST
00002367: PUSH2 0x02c6
0000236a: GAS
0000236b: SUB
0000236c: CALL
0000236d: ISZERO
0000236e: ISZERO
0000236f: PUSH2 0x2377
00002372: JUMPI
00002373: PUSH1 0x00
00002375: DUP1
00002376: REVERT
00002377: JUMPDEST
00002378: POP
00002379: POP
0000237a: POP
0000237b: PUSH1 0x40
0000237d: MLOAD
0000237e: DUP1
0000237f: MLOAD
00002380: SWAP1
00002381: PUSH1 0x20
00002383: ADD
00002384: DUP1
00002385: MLOAD
00002386: SWAP1
00002387: POP
00002388: POP
00002389: SWAP1
0000238a: POP
0000238b: PUSH32 0xbeab3a9063f5b3b7d3b9656d901d97d7d81203f189542043d6e1ae6cf06fc06a
000023ac: DUP11
000023ad: DUP14
000023ae: DUP5
000023af: DUP5
000023b0: DUP7
000023b1: DUP10
000023b2: SUB
000023b3: PUSH1 0x40
000023b5: MLOAD
000023b6: SWAP5
000023b7: DUP6
000023b8: MSTORE
000023b9: PUSH1 0x01
000023bb: PUSH1 0xa0
000023bd: PUSH1 0x02
000023bf: EXP
000023c0: SUB
000023c1: SWAP1
000023c2: SWAP4
000023c3: AND
000023c4: PUSH1 0x20
000023c6: DUP6
000023c7: ADD
000023c8: MSTORE
000023c9: PUSH1 0x40
000023cb: DUP1
000023cc: DUP6
000023cd: ADD
000023ce: SWAP3
000023cf: SWAP1
000023d0: SWAP3
000023d1: MSTORE
000023d2: PUSH1 0x60
000023d4: DUP5
000023d5: ADD
000023d6: MSTORE
000023d7: PUSH1 0x80
000023d9: DUP4
000023da: ADD
000023db: SWAP2
000023dc: SWAP1
000023dd: SWAP2
000023de: MSTORE
000023df: PUSH1 0xa0
000023e1: SWAP1
000023e2: SWAP2
000023e3: ADD
000023e4: SWAP1
000023e5: MLOAD
000023e6: DUP1
000023e7: SWAP2
000023e8: SUB
000023e9: SWAP1
000023ea: LOG1
000023eb: SWAP10
000023ec: DUP2
000023ed: ADD
000023ee: SWAP10
000023ef: JUMPDEST
000023f0: PUSH1 0x00
000023f2: NOT
000023f3: SWAP1
000023f4: SWAP10
000023f5: ADD
000023f6: SWAP9
000023f7: PUSH2 0x203b
000023fa: JUMP
000023fb: JUMPDEST
000023fc: PUSH1 0x03
000023fe: SLOAD
000023ff: PUSH1 0x01
00002401: PUSH1 0xa0
00002403: PUSH1 0x02
00002405: EXP
00002406: SUB
00002407: AND
00002408: PUSH4 0x094a9d3c
0000240d: DUP14
0000240e: PUSH1 0x00
00002410: PUSH1 0x40
00002412: MLOAD
00002413: PUSH1 0x40
00002415: ADD
00002416: MSTORE
00002417: PUSH1 0x40
00002419: MLOAD
0000241a: PUSH1 0xe0
0000241c: PUSH1 0x02
0000241e: EXP
0000241f: PUSH4 0xffffffff
00002424: DUP5
00002425: AND
00002426: MUL
00002427: DUP2
00002428: MSTORE
00002429: PUSH1 0x01
0000242b: PUSH1 0xa0
0000242d: PUSH1 0x02
0000242f: EXP
00002430: SUB
00002431: SWAP1
00002432: SWAP2
00002433: AND
00002434: PUSH1 0x04
00002436: DUP3
00002437: ADD
00002438: MSTORE
00002439: PUSH1 0x24
0000243b: ADD
0000243c: PUSH1 0x40
0000243e: DUP1
0000243f: MLOAD
00002440: DUP1
00002441: DUP4
00002442: SUB
00002443: DUP2
00002444: PUSH1 0x00
00002446: DUP8
00002447: DUP1
00002448: EXTCODESIZE
00002449: ISZERO
0000244a: ISZERO
0000244b: PUSH2 0x2453
0000244e: JUMPI
0000244f: PUSH1 0x00
00002451: DUP1
00002452: REVERT
00002453: JUMPDEST
00002454: PUSH2 0x02c6
00002457: GAS
00002458: SUB
00002459: CALL
0000245a: ISZERO
0000245b: ISZERO
0000245c: PUSH2 0x2464
0000245f: JUMPI
00002460: PUSH1 0x00
00002462: DUP1
00002463: REVERT
00002464: JUMPDEST
00002465: POP
00002466: POP
00002467: POP
00002468: PUSH1 0x40
0000246a: MLOAD
0000246b: DUP1
0000246c: MLOAD
0000246d: SWAP1
0000246e: PUSH1 0x20
00002470: ADD
00002471: DUP1
00002472: MLOAD
00002473: POP
00002474: SWAP1
00002475: SWAP2
00002476: POP
00002477: PUSH32 0x552cbc32b275c322091c423081b3e7bba81702f30ac9ef3a88434df57fb75a8e
00002498: SWAP1
00002499: POP
0000249a: DUP13
0000249b: DUP13
0000249c: DUP4
0000249d: PUSH1 0x40
0000249f: MLOAD
000024a0: DUP1
000024a1: DUP5
000024a2: PUSH1 0x01
000024a4: PUSH1 0xa0
000024a6: PUSH1 0x02
000024a8: EXP
000024a9: SUB
000024aa: AND
000024ab: PUSH1 0x01
000024ad: PUSH1 0xa0
000024af: PUSH1 0x02
000024b1: EXP
000024b2: SUB
000024b3: AND
000024b4: DUP2
000024b5: MSTORE
000024b6: PUSH1 0x20
000024b8: ADD
000024b9: DUP4
000024ba: DUP2
000024bb: MSTORE
000024bc: PUSH1 0x20
000024be: ADD
000024bf: DUP3
000024c0: DUP2
000024c1: MSTORE
000024c2: PUSH1 0x20
000024c4: ADD
000024c5: SWAP4
000024c6: POP
000024c7: POP
000024c8: POP
000024c9: POP
000024ca: PUSH1 0x40
000024cc: MLOAD
000024cd: DUP1
000024ce: SWAP2
000024cf: SUB
000024d0: SWAP1
000024d1: LOG1
000024d2: POP
000024d3: POP
000024d4: POP
000024d5: POP
000024d6: POP
000024d7: POP
000024d8: POP
000024d9: POP
000024da: POP
000024db: POP
000024dc: POP
000024dd: POP
000024de: POP
000024df: POP
000024e0: JUMP
000024e1: JUMPDEST
000024e2: PUSH1 0x02
000024e4: EXP
000024e5: SWAP2
000024e6: SWAP1
000024e7: SWAP2
000024e8: MUL
000024e9: DUP2
000024ea: AND
000024eb: SWAP1
000024ec: NOT
000024ed: SWAP2
000024ee: SWAP1
000024ef: SWAP2
000024f0: AND
000024f1: OR
000024f2: SWAP1
000024f3: JUMP
000024f4: JUMPDEST
000024f5: PUSH1 0x02
000024f7: EXP
000024f8: SWAP2
000024f9: AND
000024fa: DIV
000024fb: SWAP1
000024fc: JUMP
000024fd: JUMPDEST
000024fe: PUSH1 0x00
00002500: PUSH2 0x03e8
00002503: DUP1
00002504: DUP4
00002505: DIV
00002506: SWAP1
00002507: PUSH1 0x45
00002509: DUP2
0000250a: DUP6
0000250b: MOD
0000250c: MUL
0000250d: DIV
0000250e: PUSH1 0x1e
00002510: DUP3
00002511: GT
00002512: ISZERO
00002513: PUSH2 0x2522
00002516: JUMPI
00002517: PUSH4 0x80000000
0000251c: SWAP3
0000251d: POP
0000251e: PUSH2 0x2541
00002521: JUMP
00002522: JUMPDEST
00002523: PUSH2 0x03e8
00002526: PUSH2 0x252e
00002529: DUP3
0000252a: PUSH2 0x2d07
0000252d: JUMP
0000252e: JUMPDEST
0000252f: PUSH1 0x02
00002531: DUP5
00002532: SWAP1
00002533: EXP
00002534: MUL
00002535: DUP2
00002536: ISZERO
00002537: ISZERO
00002538: PUSH2 0x253d
0000253b: JUMPI
0000253c: INVALID
0000253d: JUMPDEST
0000253e: DIV
0000253f: SWAP3
00002540: POP
00002541: JUMPDEST
00002542: POP
00002543: POP
00002544: SWAP2
00002545: SWAP1
00002546: POP
00002547: JUMP
00002548: JUMPDEST
00002549: PUSH1 0x03
0000254b: SLOAD
0000254c: PUSH1 0x00
0000254e: SWAP1
0000254f: PUSH1 0x01
00002551: PUSH1 0xa0
00002553: PUSH1 0x02
00002555: EXP
00002556: SUB
00002557: AND
00002558: PUSH4 0x094a9d3c
0000255d: DUP5
0000255e: DUP4
0000255f: PUSH1 0x40
00002561: MLOAD
00002562: PUSH1 0x40
00002564: ADD
00002565: MSTORE
00002566: PUSH1 0x40
00002568: MLOAD
00002569: PUSH1 0xe0
0000256b: PUSH1 0x02
0000256d: EXP
0000256e: PUSH4 0xffffffff
00002573: DUP5
00002574: AND
00002575: MUL
00002576: DUP2
00002577: MSTORE
00002578: PUSH1 0x01
0000257a: PUSH1 0xa0
0000257c: PUSH1 0x02
0000257e: EXP
0000257f: SUB
00002580: SWAP1
00002581: SWAP2
00002582: AND
00002583: PUSH1 0x04
00002585: DUP3
00002586: ADD
00002587: MSTORE
00002588: PUSH1 0x24
0000258a: ADD
0000258b: PUSH1 0x40
0000258d: DUP1
0000258e: MLOAD
0000258f: DUP1
00002590: DUP4
00002591: SUB
00002592: DUP2
00002593: PUSH1 0x00
00002595: DUP8
00002596: DUP1
00002597: EXTCODESIZE
00002598: ISZERO
00002599: ISZERO
0000259a: PUSH2 0x25a2
0000259d: JUMPI
0000259e: PUSH1 0x00
000025a0: DUP1
000025a1: REVERT
000025a2: JUMPDEST
000025a3: PUSH2 0x02c6
000025a6: GAS
000025a7: SUB
000025a8: CALL
000025a9: ISZERO
000025aa: ISZERO
000025ab: PUSH2 0x25b3
000025ae: JUMPI
000025af: PUSH1 0x00
000025b1: DUP1
000025b2: REVERT
000025b3: JUMPDEST
000025b4: POP
000025b5: POP
000025b6: POP
000025b7: PUSH1 0x40
000025b9: MLOAD
000025ba: DUP1
000025bb: MLOAD
000025bc: SWAP1
000025bd: PUSH1 0x20
000025bf: ADD
000025c0: DUP1
000025c1: MLOAD
000025c2: SWAP1
000025c3: POP
000025c4: POP
000025c5: SWAP1
000025c6: POP
000025c7: PUSH32 0x99f50e5a31434907b7724d82995439c4ba0ee3aba624b366be30eec259bcff1e
000025e8: CALLER
000025e9: DUP5
000025ea: DUP5
000025eb: DUP5
000025ec: PUSH1 0x40
000025ee: MLOAD
000025ef: PUSH1 0x01
000025f1: PUSH1 0xa0
000025f3: PUSH1 0x02
000025f5: EXP
000025f6: SUB
000025f7: SWAP5
000025f8: DUP6
000025f9: AND
000025fa: DUP2
000025fb: MSTORE
000025fc: SWAP3
000025fd: SWAP1
000025fe: SWAP4
000025ff: AND
00002600: PUSH1 0x20
00002602: DUP4
00002603: ADD
00002604: MSTORE
00002605: PUSH1 0x40
00002607: DUP1
00002608: DUP4
00002609: ADD
0000260a: SWAP2
0000260b: SWAP1
0000260c: SWAP2
0000260d: MSTORE
0000260e: PUSH1 0x60
00002610: DUP3
00002611: ADD
00002612: SWAP3
00002613: SWAP1
00002614: SWAP3
00002615: MSTORE
00002616: PUSH1 0x80
00002618: ADD
00002619: SWAP1
0000261a: MLOAD
0000261b: DUP1
0000261c: SWAP2
0000261d: SUB
0000261e: SWAP1
0000261f: LOG1
00002620: POP
00002621: POP
00002622: POP
00002623: JUMP
00002624: JUMPDEST
00002625: PUSH1 0x03
00002627: SLOAD
00002628: PUSH1 0x00
0000262a: SWAP1
0000262b: PUSH1 0x01
0000262d: PUSH1 0xa0
0000262f: PUSH1 0x02
00002631: EXP
00002632: SUB
00002633: AND
00002634: PUSH4 0x094a9d3c
00002639: DUP5
0000263a: DUP4
0000263b: PUSH1 0x40
0000263d: MLOAD
0000263e: PUSH1 0x40
00002640: ADD
00002641: MSTORE
00002642: PUSH1 0x40
00002644: MLOAD
00002645: PUSH1 0xe0
00002647: PUSH1 0x02
00002649: EXP
0000264a: PUSH4 0xffffffff
0000264f: DUP5
00002650: AND
00002651: MUL
00002652: DUP2
00002653: MSTORE
00002654: PUSH1 0x01
00002656: PUSH1 0xa0
00002658: PUSH1 0x02
0000265a: EXP
0000265b: SUB
0000265c: SWAP1
0000265d: SWAP2
0000265e: AND
0000265f: PUSH1 0x04
00002661: DUP3
00002662: ADD
00002663: MSTORE
00002664: PUSH1 0x24
00002666: ADD
00002667: PUSH1 0x40
00002669: DUP1
0000266a: MLOAD
0000266b: DUP1
0000266c: DUP4
0000266d: SUB
0000266e: DUP2
0000266f: PUSH1 0x00
00002671: DUP8
00002672: DUP1
00002673: EXTCODESIZE
00002674: ISZERO
00002675: ISZERO
00002676: PUSH2 0x267e
00002679: JUMPI
0000267a: PUSH1 0x00
0000267c: DUP1
0000267d: REVERT
0000267e: JUMPDEST
0000267f: PUSH2 0x02c6
00002682: GAS
00002683: SUB
00002684: CALL
00002685: ISZERO
00002686: ISZERO
00002687: PUSH2 0x268f
0000268a: JUMPI
0000268b: PUSH1 0x00
0000268d: DUP1
0000268e: REVERT
0000268f: JUMPDEST
00002690: POP
00002691: POP
00002692: POP
00002693: PUSH1 0x40
00002695: MLOAD
00002696: DUP1
00002697: MLOAD
00002698: SWAP1
00002699: PUSH1 0x20
0000269b: ADD
0000269c: DUP1
0000269d: MLOAD
0000269e: POP
0000269f: SWAP1
000026a0: SWAP2
000026a1: POP
000026a2: POP
000026a3: DUP2
000026a4: DUP2
000026a5: LT
000026a6: PUSH2 0x26ae
000026a9: JUMPI
000026aa: PUSH2 0x26b7
000026ad: JUMP
000026ae: JUMPDEST
000026af: PUSH2 0x26b7
000026b2: DUP4
000026b3: PUSH2 0x1fa5
000026b6: JUMP
000026b7: JUMPDEST
000026b8: POP
000026b9: POP
000026ba: POP
000026bb: JUMP
000026bc: JUMPDEST
000026bd: PUSH1 0x03
000026bf: SLOAD
000026c0: PUSH1 0x00
000026c2: SWAP1
000026c3: DUP2
000026c4: SWAP1
000026c5: DUP2
000026c6: SWAP1
000026c7: PUSH1 0x01
000026c9: PUSH1 0xa0
000026cb: PUSH1 0x02
000026cd: EXP
000026ce: SUB
000026cf: AND
000026d0: PUSH4 0x05b63d32
000026d5: DUP11
000026d6: CALLER
000026d7: DUP5
000026d8: PUSH1 0x40
000026da: MLOAD
000026db: PUSH1 0x60
000026dd: ADD
000026de: MSTORE
000026df: PUSH1 0x40
000026e1: MLOAD
000026e2: PUSH1 0xe0
000026e4: PUSH1 0x02
000026e6: EXP
000026e7: PUSH4 0xffffffff
000026ec: DUP6
000026ed: AND
000026ee: MUL
000026ef: DUP2
000026f0: MSTORE
000026f1: PUSH1 0x04
000026f3: DUP2
000026f4: ADD
000026f5: SWAP3
000026f6: SWAP1
000026f7: SWAP3
000026f8: MSTORE
000026f9: PUSH1 0x01
000026fb: PUSH1 0xa0
000026fd: PUSH1 0x02
000026ff: EXP
00002700: SUB
00002701: AND
00002702: PUSH1 0x24
00002704: DUP3
00002705: ADD
00002706: MSTORE
00002707: PUSH1 0x44
00002709: ADD
0000270a: PUSH1 0x60
0000270c: PUSH1 0x40
0000270e: MLOAD
0000270f: DUP1
00002710: DUP4
00002711: SUB
00002712: DUP2
00002713: PUSH1 0x00
00002715: DUP8
00002716: DUP1
00002717: EXTCODESIZE
00002718: ISZERO
00002719: ISZERO
0000271a: PUSH2 0x2722
0000271d: JUMPI
0000271e: PUSH1 0x00
00002720: DUP1
00002721: REVERT
00002722: JUMPDEST
00002723: PUSH2 0x02c6
00002726: GAS
00002727: SUB
00002728: CALL
00002729: ISZERO
0000272a: ISZERO
0000272b: PUSH2 0x2733
0000272e: JUMPI
0000272f: PUSH1 0x00
00002731: DUP1
00002732: REVERT
00002733: JUMPDEST
00002734: POP
00002735: POP
00002736: POP
00002737: PUSH1 0x40
00002739: MLOAD
0000273a: DUP1
0000273b: MLOAD
0000273c: SWAP1
0000273d: PUSH1 0x20
0000273f: ADD
00002740: DUP1
00002741: MLOAD
00002742: SWAP1
00002743: PUSH1 0x20
00002745: ADD
00002746: DUP1
00002747: MLOAD
00002748: POP
00002749: POP
0000274a: PUSH1 0x03
0000274c: SLOAD
0000274d: SWAP2
0000274e: SWAP5
0000274f: POP
00002750: SWAP3
00002751: POP
00002752: PUSH1 0x01
00002754: PUSH1 0xa0
00002756: PUSH1 0x02
00002758: EXP
00002759: SUB
0000275a: AND
0000275b: PUSH4 0x094a9d3c
00002760: CALLER
00002761: PUSH1 0x00
00002763: PUSH1 0x40
00002765: MLOAD
00002766: PUSH1 0x40
00002768: ADD
00002769: MSTORE
0000276a: PUSH1 0x40
0000276c: MLOAD
0000276d: PUSH1 0xe0
0000276f: PUSH1 0x02
00002771: EXP
00002772: PUSH4 0xffffffff
00002777: DUP5
00002778: AND
00002779: MUL
0000277a: DUP2
0000277b: MSTORE
0000277c: PUSH1 0x01
0000277e: PUSH1 0xa0
00002780: PUSH1 0x02
00002782: EXP
00002783: SUB
00002784: SWAP1
00002785: SWAP2
00002786: AND
00002787: PUSH1 0x04
00002789: DUP3
0000278a: ADD
0000278b: MSTORE
0000278c: PUSH1 0x24
0000278e: ADD
0000278f: PUSH1 0x40
00002791: DUP1
00002792: MLOAD
00002793: DUP1
00002794: DUP4
00002795: SUB
00002796: DUP2
00002797: PUSH1 0x00
00002799: DUP8
0000279a: DUP1
0000279b: EXTCODESIZE
0000279c: ISZERO
0000279d: ISZERO
0000279e: PUSH2 0x27a6
000027a1: JUMPI
000027a2: PUSH1 0x00
000027a4: DUP1
000027a5: REVERT
000027a6: JUMPDEST
000027a7: PUSH2 0x02c6
000027aa: GAS
000027ab: SUB
000027ac: CALL
000027ad: ISZERO
000027ae: ISZERO
000027af: PUSH2 0x27b7
000027b2: JUMPI
000027b3: PUSH1 0x00
000027b5: DUP1
000027b6: REVERT
000027b7: JUMPDEST
000027b8: POP
000027b9: POP
000027ba: POP
000027bb: PUSH1 0x40
000027bd: MLOAD
000027be: DUP1
000027bf: MLOAD
000027c0: SWAP1
000027c1: PUSH1 0x20
000027c3: ADD
000027c4: DUP1
000027c5: MLOAD
000027c6: SWAP1
000027c7: POP
000027c8: POP
000027c9: SWAP1
000027ca: POP
000027cb: PUSH32 0x35e44077151bdb8875cc532993fdf8277e34abfd30197eda3027e8199700d158
000027ec: DUP10
000027ed: CALLER
000027ee: DUP11
000027ef: DUP11
000027f0: DUP11
000027f1: DUP9
000027f2: DUP9
000027f3: DUP9
000027f4: DUP14
000027f5: DUP14
000027f6: PUSH1 0x40
000027f8: MLOAD
000027f9: SWAP10
000027fa: DUP11
000027fb: MSTORE
000027fc: PUSH1 0x01
000027fe: PUSH1 0xa0
00002800: PUSH1 0x02
00002802: EXP
00002803: SUB
00002804: SWAP1
00002805: SWAP9
00002806: AND
00002807: PUSH1 0x20
00002809: DUP11
0000280a: ADD
0000280b: MSTORE
0000280c: PUSH1 0x40
0000280e: DUP1
0000280f: DUP11
00002810: ADD
00002811: SWAP8
00002812: SWAP1
00002813: SWAP8
00002814: MSTORE
00002815: SWAP5
00002816: ISZERO
00002817: ISZERO
00002818: PUSH1 0x60
0000281a: DUP10
0000281b: ADD
0000281c: MSTORE
0000281d: PUSH1 0x80
0000281f: DUP9
00002820: ADD
00002821: SWAP4
00002822: SWAP1
00002823: SWAP4
00002824: MSTORE
00002825: PUSH1 0xa0
00002827: DUP8
00002828: ADD
00002829: SWAP2
0000282a: SWAP1
0000282b: SWAP2
0000282c: MSTORE
0000282d: PUSH1 0xc0
0000282f: DUP7
00002830: ADD
00002831: MSTORE
00002832: PUSH1 0xe0
00002834: DUP6
00002835: ADD
00002836: MSTORE
00002837: PUSH2 0x0100
0000283a: DUP5
0000283b: ADD
0000283c: MSTORE
0000283d: PUSH2 0x0120
00002840: DUP4
00002841: ADD
00002842: SWAP2
00002843: SWAP1
00002844: SWAP2
00002845: MSTORE
00002846: PUSH2 0x0140
00002849: SWAP1
0000284a: SWAP2
0000284b: ADD
0000284c: SWAP1
0000284d: MLOAD
0000284e: DUP1
0000284f: SWAP2
00002850: SUB
00002851: SWAP1
00002852: LOG1
00002853: POP
00002854: POP
00002855: POP
00002856: POP
00002857: POP
00002858: POP
00002859: POP
0000285a: POP
0000285b: POP
0000285c: JUMP
0000285d: JUMPDEST
0000285e: PUSH1 0x03
00002860: SLOAD
00002861: PUSH1 0x00
00002863: SWAP1
00002864: DUP2
00002865: SWAP1
00002866: DUP2
00002867: SWAP1
00002868: DUP2
00002869: SWAP1
0000286a: DUP2
0000286b: SWAP1
0000286c: DUP2
0000286d: SWAP1
0000286e: DUP2
0000286f: SWAP1
00002870: DUP2
00002871: SWAP1
00002872: PUSH1 0x01
00002874: PUSH1 0xa0
00002876: PUSH1 0x02
00002878: EXP
00002879: SUB
0000287a: AND
0000287b: PUSH4 0x3c2686e5
00002880: DUP13
00002881: DUP4
00002882: PUSH1 0x40
00002884: MLOAD
00002885: PUSH1 0x60
00002887: ADD
00002888: MSTORE
00002889: PUSH1 0x40
0000288b: MLOAD
0000288c: PUSH1 0xe0
0000288e: PUSH1 0x02
00002890: EXP
00002891: PUSH4 0xffffffff
00002896: DUP5
00002897: AND
00002898: MUL
00002899: DUP2
0000289a: MSTORE
0000289b: PUSH1 0x04
0000289d: DUP2
0000289e: ADD
0000289f: SWAP2
000028a0: SWAP1
000028a1: SWAP2
000028a2: MSTORE
000028a3: PUSH1 0x24
000028a5: ADD
000028a6: PUSH1 0x60
000028a8: PUSH1 0x40
000028aa: MLOAD
000028ab: DUP1
000028ac: DUP4
000028ad: SUB
000028ae: DUP2
000028af: PUSH1 0x00
000028b1: DUP8
000028b2: DUP1
000028b3: EXTCODESIZE
000028b4: ISZERO
000028b5: ISZERO
000028b6: PUSH2 0x28be
000028b9: JUMPI
000028ba: PUSH1 0x00
000028bc: DUP1
000028bd: REVERT
000028be: JUMPDEST
000028bf: PUSH2 0x02c6
000028c2: GAS
000028c3: SUB
000028c4: CALL
000028c5: ISZERO
000028c6: ISZERO
000028c7: PUSH2 0x28cf
000028ca: JUMPI
000028cb: PUSH1 0x00
000028cd: DUP1
000028ce: REVERT
000028cf: JUMPDEST
000028d0: POP
000028d1: POP
000028d2: POP
000028d3: PUSH1 0x40
000028d5: MLOAD
000028d6: DUP1
000028d7: MLOAD
000028d8: SWAP1
000028d9: PUSH1 0x20
000028db: ADD
000028dc: DUP1
000028dd: MLOAD
000028de: SWAP1
000028df: PUSH1 0x20
000028e1: ADD
000028e2: DUP1
000028e3: MLOAD
000028e4: POP
000028e5: SWAP2
000028e6: SWAP10
000028e7: POP
000028e8: PUSH2 0x28fb
000028eb: SWAP2
000028ec: POP
000028ed: DUP13
000028ee: SWAP1
000028ef: POP
000028f0: DUP12
000028f1: PUSH1 0x00
000028f3: NOT
000028f4: NUMBER
000028f5: ADD
000028f6: BLOCKHASH
000028f7: PUSH2 0x2d48
000028fa: JUMP
000028fb: JUMPDEST
000028fc: PUSH1 0x09
000028fe: SLOAD
000028ff: PUSH1 0x08
00002901: SLOAD
00002902: SWAP2
00002903: SWAP9
00002904: POP
00002905: SWAP7
00002906: POP
00002907: PUSH2 0x2917
0000290a: SWAP1
0000290b: PUSH5 0xffffffffff
00002911: PUSH1 0x00
00002913: PUSH2 0x24f4
00002916: JUMP
00002917: JUMPDEST
00002918: PUSH1 0x08
0000291a: SLOAD
0000291b: SWAP1
0000291c: SWAP4
0000291d: POP
0000291e: PUSH2 0x2930
00002921: SWAP1
00002922: PUSH7 0xffff0000000000
0000292a: PUSH1 0x28
0000292c: PUSH2 0x24f4
0000292f: JUMP
00002930: JUMPDEST
00002931: SWAP2
00002932: POP
00002933: PUSH2 0x2941
00002936: DUP7
00002937: PUSH3 0xffffff
0000293b: PUSH1 0x00
0000293d: PUSH2 0x24f4
00002940: JUMP
00002941: JUMPDEST
00002942: SWAP5
00002943: POP
00002944: PUSH2 0x295e
00002947: DUP7
00002948: PUSH15 0xffffff000000000000000000000000
00002958: PUSH1 0x60
0000295a: PUSH2 0x24f4
0000295d: JUMP
0000295e: JUMPDEST
0000295f: SWAP4
00002960: POP
00002961: PUSH2 0x2971
00002964: DUP12
00002965: DUP12
00002966: DUP10
00002967: DUP12
00002968: DUP8
00002969: DUP8
0000296a: DUP16
0000296b: DUP13
0000296c: DUP13
0000296d: PUSH2 0x2de7
00002970: JUMP
00002971: JUMPDEST
00002972: SWAP1
00002973: POP
00002974: PUSH1 0x00
00002976: DUP2
00002977: GT
00002978: ISZERO
00002979: PUSH2 0x29af
0000297c: JUMPI
0000297d: PUSH2 0x298a
00002980: DUP12
00002981: DUP12
00002982: PUSH1 0x01
00002984: DUP5
00002985: DUP13
00002986: PUSH2 0x2efa
00002989: JUMP
0000298a: JUMPDEST
0000298b: PUSH2 0x29a7
0000298e: DUP7
0000298f: PUSH1 0x00
00002991: PUSH15 0xffffff000000000000000000000000
000029a1: PUSH1 0x60
000029a3: PUSH2 0x24e1
000029a6: JUMP
000029a7: JUMPDEST
000029a8: PUSH1 0x09
000029aa: SSTORE
000029ab: PUSH2 0x2cbd
000029ae: JUMP
000029af: JUMPDEST
000029b0: PUSH2 0x29cb
000029b3: DUP7
000029b4: PUSH15 0xffffff000000000000000000000000
000029c4: PUSH1 0x60
000029c6: DUP13
000029c7: PUSH2 0x2fe9
000029ca: JUMP
000029cb: JUMPDEST
000029cc: PUSH1 0x08
000029ce: SLOAD
000029cf: SWAP1
000029d0: SWAP7
000029d1: POP
000029d2: PUSH2 0x29e9
000029d5: SWAP1
000029d6: PUSH12 0xffffffffff00000000000000
000029e3: PUSH1 0x38
000029e5: PUSH2 0x24f4
000029e8: JUMP
000029e9: JUMPDEST
000029ea: PUSH1 0x08
000029ec: SLOAD
000029ed: SWAP1
000029ee: SWAP4
000029ef: POP
000029f0: PUSH2 0x2a09
000029f3: SWAP1
000029f4: PUSH14 0xffff000000000000000000000000
00002a03: PUSH1 0x60
00002a05: PUSH2 0x24f4
00002a08: JUMP
00002a09: JUMPDEST
00002a0a: SWAP2
00002a0b: POP
00002a0c: PUSH2 0x2a1d
00002a0f: DUP7
00002a10: PUSH6 0xffffff000000
00002a17: PUSH1 0x18
00002a19: PUSH2 0x24f4
00002a1c: JUMP
00002a1d: JUMPDEST
00002a1e: SWAP5
00002a1f: POP
00002a20: PUSH2 0x2a3d
00002a23: DUP7
00002a24: PUSH18 0xffffff000000000000000000000000000000
00002a37: PUSH1 0x78
00002a39: PUSH2 0x24f4
00002a3c: JUMP
00002a3d: JUMPDEST
00002a3e: SWAP4
00002a3f: POP
00002a40: PUSH2 0x2a50
00002a43: DUP12
00002a44: DUP12
00002a45: DUP10
00002a46: DUP12
00002a47: DUP8
00002a48: DUP8
00002a49: DUP16
00002a4a: DUP13
00002a4b: DUP13
00002a4c: PUSH2 0x2de7
00002a4f: JUMP
00002a50: JUMPDEST
00002a51: SWAP1
00002a52: POP
00002a53: PUSH1 0x00
00002a55: DUP2
00002a56: GT
00002a57: ISZERO
00002a58: PUSH2 0x2a89
00002a5b: JUMPI
00002a5c: PUSH2 0x2a69
00002a5f: DUP12
00002a60: DUP12
00002a61: PUSH1 0x02
00002a63: DUP5
00002a64: DUP13
00002a65: PUSH2 0x2efa
00002a68: JUMP
00002a69: JUMPDEST
00002a6a: PUSH2 0x29a7
00002a6d: DUP7
00002a6e: PUSH1 0x00
00002a70: PUSH18 0xffffff000000000000000000000000000000
00002a83: PUSH1 0x78
00002a85: PUSH2 0x24e1
00002a88: JUMP
00002a89: JUMPDEST
00002a8a: PUSH2 0x2aa8
00002a8d: DUP7
00002a8e: PUSH18 0xffffff000000000000000000000000000000
00002aa1: PUSH1 0x78
00002aa3: DUP13
00002aa4: PUSH2 0x2fe9
00002aa7: JUMP
00002aa8: JUMPDEST
00002aa9: PUSH1 0x08
00002aab: SLOAD
00002aac: SWAP1
00002aad: SWAP7
00002aae: POP
00002aaf: PUSH2 0x2acd
00002ab2: SWAP1
00002ab3: PUSH19 0xffffffffff0000000000000000000000000000
00002ac7: PUSH1 0x70
00002ac9: PUSH2 0x24f4
00002acc: JUMP
00002acd: JUMPDEST
00002ace: PUSH1 0x08
00002ad0: SLOAD
00002ad1: SWAP1
00002ad2: SWAP4
00002ad3: POP
00002ad4: PUSH2 0x2af6
00002ad7: SWAP1
00002ad8: PUSH23 0xffffffff00000000000000000000000000000000000000
00002af0: PUSH1 0x98
00002af2: PUSH2 0x24f4
00002af5: JUMP
00002af6: JUMPDEST
00002af7: SWAP2
00002af8: POP
00002af9: PUSH2 0x2b0d
00002afc: DUP7
00002afd: PUSH9 0xffffff000000000000
00002b07: PUSH1 0x30
00002b09: PUSH2 0x24f4
00002b0c: JUMP
00002b0d: JUMPDEST
00002b0e: SWAP5
00002b0f: POP
00002b10: PUSH2 0x2b30
00002b13: DUP7
00002b14: PUSH21 0xffffff000000000000000000000000000000000000
00002b2a: PUSH1 0x90
00002b2c: PUSH2 0x24f4
00002b2f: JUMP
00002b30: JUMPDEST
00002b31: SWAP4
00002b32: POP
00002b33: PUSH2 0x2b43
00002b36: DUP12
00002b37: DUP12
00002b38: DUP10
00002b39: DUP12
00002b3a: DUP8
00002b3b: DUP8
00002b3c: DUP16
00002b3d: DUP13
00002b3e: DUP13
00002b3f: PUSH2 0x300a
00002b42: JUMP
00002b43: JUMPDEST
00002b44: SWAP1
00002b45: POP
00002b46: PUSH1 0x00
00002b48: DUP2
00002b49: GT
00002b4a: ISZERO
00002b4b: PUSH2 0x2b7f
00002b4e: JUMPI
00002b4f: PUSH2 0x2b5c
00002b52: DUP12
00002b53: DUP12
00002b54: PUSH1 0x03
00002b56: DUP5
00002b57: DUP13
00002b58: PUSH2 0x2efa
00002b5b: JUMP
00002b5c: JUMPDEST
00002b5d: PUSH2 0x29a7
00002b60: DUP7
00002b61: PUSH1 0x00
00002b63: PUSH21 0xffffff000000000000000000000000000000000000
00002b79: PUSH1 0x90
00002b7b: PUSH2 0x24e1
00002b7e: JUMP
00002b7f: JUMPDEST
00002b80: PUSH2 0x2ba1
00002b83: DUP7
00002b84: PUSH21 0xffffff000000000000000000000000000000000000
00002b9a: PUSH1 0x90
00002b9c: DUP13
00002b9d: PUSH2 0x2fe9
00002ba0: JUMP
00002ba1: JUMPDEST
00002ba2: PUSH1 0x08
00002ba4: SLOAD
00002ba5: SWAP1
00002ba6: SWAP7
00002ba7: POP
00002ba8: PUSH2 0x2bcf
00002bab: SWAP1
00002bac: PUSH28 0xffffffffff0000000000000000000000000000000000000000000000
00002bc9: PUSH1 0xb8
00002bcb: PUSH2 0x24f4
00002bce: JUMP
00002bcf: JUMPDEST
00002bd0: PUSH1 0x08
00002bd2: SLOAD
00002bd3: SWAP1
00002bd4: SWAP4
00002bd5: POP
00002bd6: PUSH2 0x2bfe
00002bd9: SWAP1
00002bda: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
00002bf7: NOT
00002bf8: PUSH1 0xe0
00002bfa: PUSH2 0x24f4
00002bfd: JUMP
00002bfe: JUMPDEST
00002bff: SWAP2
00002c00: POP
00002c01: PUSH2 0x2c18
00002c04: DUP7
00002c05: PUSH12 0xffffff000000000000000000
00002c12: PUSH1 0x48
00002c14: PUSH2 0x24f4
00002c17: JUMP
00002c18: JUMPDEST
00002c19: SWAP5
00002c1a: POP
00002c1b: PUSH2 0x2c3e
00002c1e: DUP7
00002c1f: PUSH24 0xffffff000000000000000000000000000000000000000000
00002c38: PUSH1 0xa8
00002c3a: PUSH2 0x24f4
00002c3d: JUMP
00002c3e: JUMPDEST
00002c3f: SWAP4
00002c40: POP
00002c41: PUSH2 0x2c51
00002c44: DUP12
00002c45: DUP12
00002c46: DUP10
00002c47: DUP12
00002c48: DUP8
00002c49: DUP8
00002c4a: DUP16
00002c4b: DUP13
00002c4c: DUP13
00002c4d: PUSH2 0x300a
00002c50: JUMP
00002c51: JUMPDEST
00002c52: SWAP1
00002c53: POP
00002c54: PUSH1 0x00
00002c56: DUP2
00002c57: GT
00002c58: ISZERO
00002c59: PUSH2 0x2c90
00002c5c: JUMPI
00002c5d: PUSH2 0x2c6a
00002c60: DUP12
00002c61: DUP12
00002c62: PUSH1 0x04
00002c64: DUP5
00002c65: DUP13
00002c66: PUSH2 0x2efa
00002c69: JUMP
00002c6a: JUMPDEST
00002c6b: PUSH2 0x29a7
00002c6e: DUP7
00002c6f: PUSH1 0x00
00002c71: PUSH24 0xffffff000000000000000000000000000000000000000000
00002c8a: PUSH1 0xa8
00002c8c: PUSH2 0x24e1
00002c8f: JUMP
00002c90: JUMPDEST
00002c91: PUSH2 0x2cb5
00002c94: DUP7
00002c95: PUSH24 0xffffff000000000000000000000000000000000000000000
00002cae: PUSH1 0xa8
00002cb0: DUP13
00002cb1: PUSH2 0x2fe9
00002cb4: JUMP
00002cb5: JUMPDEST
00002cb6: PUSH1 0x09
00002cb8: DUP2
00002cb9: SWAP1
00002cba: SSTORE
00002cbb: SWAP6
00002cbc: POP
00002cbd: JUMPDEST
00002cbe: POP
00002cbf: POP
00002cc0: POP
00002cc1: POP
00002cc2: POP
00002cc3: POP
00002cc4: POP
00002cc5: POP
00002cc6: POP
00002cc7: POP
00002cc8: POP
00002cc9: JUMP
00002cca: JUMPDEST
00002ccb: PUSH1 0x00
00002ccd: PUSH3 0x0f4240
00002cd1: DUP1
00002cd2: DUP4
00002cd3: DIV
00002cd4: SWAP1
00002cd5: DUP4
00002cd6: MOD
00002cd7: PUSH1 0x1e
00002cd9: DUP3
00002cda: LT
00002cdb: PUSH2 0x2cef
00002cde: JUMPI
00002cdf: PUSH9 0x3a3529440000000000
00002ce9: SWAP3
00002cea: POP
00002ceb: PUSH2 0x2541
00002cee: JUMP
00002cef: JUMPDEST
00002cf0: PUSH2 0x2cf8
00002cf3: DUP2
00002cf4: PUSH2 0x3087
00002cf7: JUMP
00002cf8: JUMPDEST
00002cf9: PUSH1 0x02
00002cfb: DUP4
00002cfc: SWAP1
00002cfd: EXP
00002cfe: MUL
00002cff: SWAP3
00002d00: POP
00002d01: POP
00002d02: POP
00002d03: SWAP2
00002d04: SWAP1
00002d05: POP
00002d06: JUMP
00002d07: JUMPDEST
00002d08: PUSH1 0x00
00002d0a: DUP1
00002d0b: DUP1
00002d0c: PUSH1 0x45
00002d0e: DUP5
00002d0f: LT
00002d10: PUSH2 0x2d18
00002d13: JUMPI
00002d14: PUSH1 0x00
00002d16: DUP1
00002d17: REVERT
00002d18: JUMPDEST
00002d19: POP
00002d1a: POP
00002d1b: PUSH1 0x17
00002d1d: DUP1
00002d1e: DUP4
00002d1f: DIV
00002d20: SWAP1
00002d21: DUP4
00002d22: MOD
00002d23: PUSH1 0x0b
00002d25: DUP2
00002d26: MUL
00002d27: PUSH1 0x04
00002d29: DUP4
00002d2a: PUSH1 0x03
00002d2c: DUP2
00002d2d: LT
00002d2e: PUSH2 0x2d33
00002d31: JUMPI
00002d32: INVALID
00002d33: JUMPDEST
00002d34: ADD
00002d35: SLOAD
00002d36: SWAP1
00002d37: PUSH1 0x02
00002d39: EXP
00002d3a: SWAP1
00002d3b: DIV
00002d3c: PUSH2 0x07ff
00002d3f: AND
00002d40: SWAP3
00002d41: POP
00002d42: POP
00002d43: POP
00002d44: SWAP2
00002d45: SWAP1
00002d46: POP
00002d47: JUMP
00002d48: JUMPDEST
00002d49: PUSH1 0x03
00002d4b: SLOAD
00002d4c: PUSH1 0x00
00002d4e: SWAP1
00002d4f: DUP2
00002d50: SWAP1
00002d51: DUP2
00002d52: SWAP1
00002d53: PUSH1 0x01
00002d55: PUSH1 0xa0
00002d57: PUSH1 0x02
00002d59: EXP
00002d5a: SUB
00002d5b: AND
00002d5c: PUSH4 0xd9876719
00002d61: DUP8
00002d62: DUP4
00002d63: PUSH1 0x40
00002d65: MLOAD
00002d66: PUSH1 0x20
00002d68: ADD
00002d69: MSTORE
00002d6a: PUSH1 0x40
00002d6c: MLOAD
00002d6d: PUSH1 0xe0
00002d6f: PUSH1 0x02
00002d71: EXP
00002d72: PUSH4 0xffffffff
00002d77: DUP5
00002d78: AND
00002d79: MUL
00002d7a: DUP2
00002d7b: MSTORE
00002d7c: PUSH1 0x04
00002d7e: DUP2
00002d7f: ADD
00002d80: SWAP2
00002d81: SWAP1
00002d82: SWAP2
00002d83: MSTORE
00002d84: PUSH1 0x24
00002d86: ADD
00002d87: PUSH1 0x20
00002d89: PUSH1 0x40
00002d8b: MLOAD
00002d8c: DUP1
00002d8d: DUP4
00002d8e: SUB
00002d8f: DUP2
00002d90: PUSH1 0x00
00002d92: DUP8
00002d93: DUP1
00002d94: EXTCODESIZE
00002d95: ISZERO
00002d96: ISZERO
00002d97: PUSH2 0x2d9f
00002d9a: JUMPI
00002d9b: PUSH1 0x00
00002d9d: DUP1
00002d9e: REVERT
00002d9f: JUMPDEST
00002da0: PUSH2 0x02c6
00002da3: GAS
00002da4: SUB
00002da5: CALL
00002da6: ISZERO
00002da7: ISZERO
00002da8: PUSH2 0x2db0
00002dab: JUMPI
00002dac: PUSH1 0x00
00002dae: DUP1
00002daf: REVERT
00002db0: JUMPDEST
00002db1: POP
00002db2: POP
00002db3: POP
00002db4: PUSH1 0x40
00002db6: MLOAD
00002db7: DUP1
00002db8: MLOAD
00002db9: SWAP3
00002dba: POP
00002dbb: POP
00002dbc: POP
00002dbd: PUSH1 0x01
00002dbf: PUSH1 0xa0
00002dc1: PUSH1 0x02
00002dc3: EXP
00002dc4: SUB
00002dc5: DUP5
00002dc6: AND
00002dc7: DUP4
00002dc8: DUP2
00002dc9: XOR
00002dca: DUP3
00002dcb: XOR
00002dcc: PUSH1 0x40
00002dce: MLOAD
00002dcf: SWAP1
00002dd0: DUP2
00002dd1: MSTORE
00002dd2: PUSH1 0x20
00002dd4: ADD
00002dd5: PUSH1 0x40
00002dd7: MLOAD
00002dd8: SWAP1
00002dd9: DUP2
00002dda: SWAP1
00002ddb: SUB
00002ddc: SWAP1
00002ddd: KECCAK256
00002dde: SWAP7
00002ddf: SWAP6
00002de0: POP
00002de1: POP
00002de2: POP
00002de3: POP
00002de4: POP
00002de5: POP
00002de6: JUMP
00002de7: JUMPDEST
00002de8: PUSH1 0x00
00002dea: DUP1
00002deb: DUP1
00002dec: DUP1
00002ded: DUP6
00002dee: DUP8
00002def: GT
00002df0: ISZERO
00002df1: PUSH2 0x2df9
00002df4: JUMPI
00002df5: PUSH1 0x00
00002df7: DUP1
00002df8: REVERT
00002df9: JUMPDEST
00002dfa: PUSH1 0x64
00002dfc: DUP6
00002dfd: DUP2
00002dfe: ADD
00002dff: DUP9
00002e00: MUL
00002e01: DIV
00002e02: SWAP3
00002e03: POP
00002e04: DUP6
00002e05: DUP4
00002e06: GT
00002e07: ISZERO
00002e08: PUSH2 0x2e0f
00002e0b: JUMPI
00002e0c: DUP6
00002e0d: SWAP3
00002e0e: POP
00002e0f: JUMPDEST
00002e10: PUSH2 0x2e1c
00002e13: DUP10
00002e14: PUSH1 0x00
00002e16: SUB
00002e17: DUP5
00002e18: PUSH2 0x318b
00002e1b: JUMP
00002e1c: JUMPDEST
00002e1d: PUSH5 0xe8d4a51000
00002e23: SUB
00002e24: SWAP2
00002e25: POP
00002e26: PUSH1 0x00
00002e28: DUP3
00002e29: SGT
00002e2a: PUSH2 0x2e36
00002e2d: JUMPI
00002e2e: PUSH1 0x00
00002e30: SWAP4
00002e31: POP
00002e32: PUSH2 0x2eea
00002e35: JUMP
00002e36: JUMPDEST
00002e37: PUSH5 0xe8d4a51000
00002e3d: DUP12
00002e3e: MOD
00002e3f: DUP3
00002e40: SLT
00002e41: ISZERO
00002e42: PUSH2 0x2e4e
00002e45: JUMPI
00002e46: PUSH1 0x00
00002e48: SWAP4
00002e49: POP
00002e4a: PUSH2 0x2eea
00002e4d: JUMP
00002e4e: JUMPDEST
00002e4f: PUSH2 0x2710
00002e52: DUP11
00002e53: DUP10
00002e54: MUL
00002e55: JUMPDEST
00002e56: DIV
00002e57: SWAP1
00002e58: POP
00002e59: DUP10
00002e5a: DUP2
00002e5b: GT
00002e5c: ISZERO
00002e5d: PUSH2 0x2e63
00002e60: JUMPI
00002e61: POP
00002e62: DUP9
00002e63: JUMPDEST
00002e64: DUP1
00002e65: ISZERO
00002e66: ISZERO
00002e67: PUSH2 0x2e73
00002e6a: JUMPI
00002e6b: PUSH1 0x00
00002e6d: SWAP4
00002e6e: POP
00002e6f: PUSH2 0x2eea
00002e72: JUMP
00002e73: JUMPDEST
00002e74: PUSH1 0x03
00002e76: SLOAD
00002e77: PUSH1 0x01
00002e79: PUSH1 0xa0
00002e7b: PUSH1 0x02
00002e7d: EXP
00002e7e: SUB
00002e7f: AND
00002e80: PUSH4 0x45c041c3
00002e85: DUP15
00002e86: DUP15
00002e87: DUP5
00002e88: PUSH1 0x40
00002e8a: MLOAD
00002e8b: PUSH1 0xe0
00002e8d: PUSH1 0x02
00002e8f: EXP
00002e90: PUSH4 0xffffffff
00002e95: DUP7
00002e96: AND
00002e97: MUL
00002e98: DUP2
00002e99: MSTORE
00002e9a: PUSH1 0x04
00002e9c: DUP2
00002e9d: ADD
00002e9e: SWAP4
00002e9f: SWAP1
00002ea0: SWAP4
00002ea1: MSTORE
00002ea2: PUSH1 0x01
00002ea4: PUSH1 0xa0
00002ea6: PUSH1 0x02
00002ea8: EXP
00002ea9: SUB
00002eaa: SWAP1
00002eab: SWAP2
00002eac: AND
00002ead: PUSH1 0x24
00002eaf: DUP4
00002eb0: ADD
00002eb1: MSTORE
00002eb2: PUSH1 0x44
00002eb4: DUP3
00002eb5: ADD
00002eb6: MSTORE
00002eb7: PUSH1 0x64
00002eb9: ADD
00002eba: PUSH1 0x00
00002ebc: PUSH1 0x40
00002ebe: MLOAD
00002ebf: DUP1
00002ec0: DUP4
00002ec1: SUB
00002ec2: DUP2
00002ec3: PUSH1 0x00
00002ec5: DUP8
00002ec6: DUP1
00002ec7: EXTCODESIZE
00002ec8: ISZERO
00002ec9: ISZERO
00002eca: PUSH2 0x2ed2
00002ecd: JUMPI
00002ece: PUSH1 0x00
00002ed0: DUP1
00002ed1: REVERT
00002ed2: JUMPDEST
00002ed3: PUSH2 0x02c6
00002ed6: GAS
00002ed7: SUB
00002ed8: CALL
00002ed9: ISZERO
00002eda: ISZERO
00002edb: PUSH2 0x2ee3
00002ede: JUMPI
00002edf: PUSH1 0x00
00002ee1: DUP1
00002ee2: REVERT
00002ee3: JUMPDEST
00002ee4: POP
00002ee5: POP
00002ee6: POP
00002ee7: DUP1
00002ee8: SWAP4
00002ee9: POP
00002eea: JUMPDEST
00002eeb: POP
00002eec: POP
00002eed: POP
00002eee: SWAP10
00002eef: SWAP9
00002ef0: POP
00002ef1: POP
00002ef2: POP
00002ef3: POP
00002ef4: POP
00002ef5: POP
00002ef6: POP
00002ef7: POP
00002ef8: POP
00002ef9: JUMP
00002efa: JUMPDEST
00002efb: PUSH1 0x03
00002efd: SLOAD
00002efe: PUSH1 0x00
00002f00: SWAP1
00002f01: PUSH1 0x01
00002f03: PUSH1 0xa0
00002f05: PUSH1 0x02
00002f07: EXP
00002f08: SUB
00002f09: AND
00002f0a: PUSH4 0x094a9d3c
00002f0f: DUP7
00002f10: DUP4
00002f11: PUSH1 0x40
00002f13: MLOAD
00002f14: PUSH1 0x40
00002f16: ADD
00002f17: MSTORE
00002f18: PUSH1 0x40
00002f1a: MLOAD
00002f1b: PUSH1 0xe0
00002f1d: PUSH1 0x02
00002f1f: EXP
00002f20: PUSH4 0xffffffff
00002f25: DUP5
00002f26: AND
00002f27: MUL
00002f28: DUP2
00002f29: MSTORE
00002f2a: PUSH1 0x01
00002f2c: PUSH1 0xa0
00002f2e: PUSH1 0x02
00002f30: EXP
00002f31: SUB
00002f32: SWAP1
00002f33: SWAP2
00002f34: AND
00002f35: PUSH1 0x04
00002f37: DUP3
00002f38: ADD
00002f39: MSTORE
00002f3a: PUSH1 0x24
00002f3c: ADD
00002f3d: PUSH1 0x40
00002f3f: DUP1
00002f40: MLOAD
00002f41: DUP1
00002f42: DUP4
00002f43: SUB
00002f44: DUP2
00002f45: PUSH1 0x00
00002f47: DUP8
00002f48: DUP1
00002f49: EXTCODESIZE
00002f4a: ISZERO
00002f4b: ISZERO
00002f4c: PUSH2 0x2f54
00002f4f: JUMPI
00002f50: PUSH1 0x00
00002f52: DUP1
00002f53: REVERT
00002f54: JUMPDEST
00002f55: PUSH2 0x02c6
00002f58: GAS
00002f59: SUB
00002f5a: CALL
00002f5b: ISZERO
00002f5c: ISZERO
00002f5d: PUSH2 0x2f65
00002f60: JUMPI
00002f61: PUSH1 0x00
00002f63: DUP1
00002f64: REVERT
00002f65: JUMPDEST
00002f66: POP
00002f67: POP
00002f68: POP
00002f69: PUSH1 0x40
00002f6b: MLOAD
00002f6c: DUP1
00002f6d: MLOAD
00002f6e: SWAP1
00002f6f: PUSH1 0x20
00002f71: ADD
00002f72: DUP1
00002f73: MLOAD
00002f74: SWAP1
00002f75: POP
00002f76: POP
00002f77: SWAP1
00002f78: POP
00002f79: PUSH32 0x4be13d2b5db577374599c79f64005cb7f118a1cbc1ef7036f590a0c5589454a8
00002f9a: DUP7
00002f9b: DUP7
00002f9c: DUP7
00002f9d: DUP7
00002f9e: DUP6
00002f9f: DUP9
00002fa0: DUP9
00002fa1: SUB
00002fa2: PUSH1 0x40
00002fa4: MLOAD
00002fa5: SWAP6
00002fa6: DUP7
00002fa7: MSTORE
00002fa8: PUSH1 0x01
00002faa: PUSH1 0xa0
00002fac: PUSH1 0x02
00002fae: EXP
00002faf: SUB
00002fb0: SWAP1
00002fb1: SWAP5
00002fb2: AND
00002fb3: PUSH1 0x20
00002fb5: DUP7
00002fb6: ADD
00002fb7: MSTORE
00002fb8: PUSH1 0x40
00002fba: DUP1
00002fbb: DUP7
00002fbc: ADD
00002fbd: SWAP4
00002fbe: SWAP1
00002fbf: SWAP4
00002fc0: MSTORE
00002fc1: PUSH1 0x60
00002fc3: DUP6
00002fc4: ADD
00002fc5: SWAP2
00002fc6: SWAP1
00002fc7: SWAP2
00002fc8: MSTORE
00002fc9: PUSH1 0x80
00002fcb: DUP5
00002fcc: ADD
00002fcd: MSTORE
00002fce: PUSH1 0xa0
00002fd0: DUP4
00002fd1: ADD
00002fd2: SWAP2
00002fd3: SWAP1
00002fd4: SWAP2
00002fd5: MSTORE
00002fd6: PUSH1 0xc0
00002fd8: SWAP1
00002fd9: SWAP2
00002fda: ADD
00002fdb: SWAP1
00002fdc: MLOAD
00002fdd: DUP1
00002fde: SWAP2
00002fdf: SUB
00002fe0: SWAP1
00002fe1: LOG1
00002fe2: POP
00002fe3: POP
00002fe4: POP
00002fe5: POP
00002fe6: POP
00002fe7: POP
00002fe8: JUMP
00002fe9: JUMPDEST
00002fea: PUSH1 0x00
00002fec: DUP1
00002fed: PUSH2 0x2ff7
00002ff0: DUP7
00002ff1: DUP7
00002ff2: DUP7
00002ff3: PUSH2 0x24f4
00002ff6: JUMP
00002ff7: JUMPDEST
00002ff8: SWAP1
00002ff9: POP
00002ffa: PUSH2 0x16f6
00002ffd: DUP7
00002ffe: PUSH1 0x02
00003000: DUP6
00003001: DIV
00003002: DUP4
00003003: ADD
00003004: DUP8
00003005: DUP8
00003006: PUSH2 0x24e1
00003009: JUMP
0000300a: JUMPDEST
0000300b: PUSH1 0x00
0000300d: DUP1
0000300e: DUP1
0000300f: DUP1
00003010: DUP6
00003011: DUP8
00003012: GT
00003013: ISZERO
00003014: PUSH2 0x301c
00003017: JUMPI
00003018: PUSH1 0x00
0000301a: DUP1
0000301b: REVERT
0000301c: JUMPDEST
0000301d: PUSH1 0x64
0000301f: DUP6
00003020: DUP2
00003021: ADD
00003022: DUP9
00003023: MUL
00003024: DIV
00003025: SWAP3
00003026: POP
00003027: DUP6
00003028: DUP4
00003029: GT
0000302a: ISZERO
0000302b: PUSH2 0x3032
0000302e: JUMPI
0000302f: DUP6
00003030: SWAP3
00003031: POP
00003032: JUMPDEST
00003033: PUSH2 0x303f
00003036: DUP10
00003037: PUSH1 0x00
00003039: SUB
0000303a: DUP5
0000303b: PUSH2 0x318b
0000303e: JUMP
0000303f: JUMPDEST
00003040: PUSH5 0xe8d4a51000
00003046: SUB
00003047: SWAP2
00003048: POP
00003049: PUSH1 0x00
0000304b: DUP3
0000304c: SGT
0000304d: PUSH2 0x3059
00003050: JUMPI
00003051: PUSH1 0x00
00003053: SWAP4
00003054: POP
00003055: PUSH2 0x2eea
00003058: JUMP
00003059: JUMPDEST
0000305a: PUSH5 0xe8d4a51000
00003060: DUP12
00003061: MOD
00003062: DUP3
00003063: SLT
00003064: ISZERO
00003065: PUSH2 0x3071
00003068: JUMPI
00003069: PUSH1 0x00
0000306b: SWAP4
0000306c: POP
0000306d: PUSH2 0x2eea
00003070: JUMP
00003071: JUMPDEST
00003072: PUSH1 0x64
00003074: DUP9
00003075: PUSH2 0x307d
00003078: DUP16
00003079: PUSH2 0x32b2
0000307c: JUMP
0000307d: JUMPDEST
0000307e: MUL
0000307f: DUP2
00003080: ISZERO
00003081: ISZERO
00003082: PUSH2 0x2e55
00003085: JUMPI
00003086: INVALID
00003087: JUMPDEST
00003088: PUSH1 0x00
0000308a: PUSH3 0x0a939b
0000308e: DUP3
0000308f: MUL
00003090: DUP3
00003091: DUP1
00003092: MUL
00003093: PUSH5 0x6fdd375fd9
00003099: DUP2
0000309a: MUL
0000309b: SWAP1
0000309c: DUP1
0000309d: DUP6
0000309e: MUL
0000309f: PUSH8 0x049f23eb7b0aa363
000030a8: DUP2
000030a9: MUL
000030aa: SWAP2
000030ab: DUP1
000030ac: DUP1
000030ad: MUL
000030ae: PUSH10 0x30e1952dc5a4fd20c5f1
000030b9: MUL
000030ba: SWAP2
000030bb: MUL
000030bc: PUSH13 0x0204fef50853a64b86cfeb3beb
000030ca: MUL
000030cb: PUSH10 0xd3c21bcecceda1000000
000030d6: PUSH15 0xc097ce7bc90715b34b9f1000000000
000030e6: PUSH20 0xaf298d050e4395d69670b12b7f41000000000000
000030fb: PUSH2 0x02d0
000030fe: DUP2
000030ff: DUP10
00003100: PUSH5 0xe8d4a51000
00003106: DUP8
00003107: DIV
00003108: MUL
00003109: DUP2
0000310a: ISZERO
0000310b: ISZERO
0000310c: PUSH2 0x3111
0000310f: JUMPI
00003110: INVALID
00003111: JUMPDEST
00003112: DIV
00003113: DUP2
00003114: ISZERO
00003115: ISZERO
00003116: PUSH2 0x311b
00003119: JUMPI
0000311a: INVALID
0000311b: JUMPDEST
0000311c: DIV
0000311d: PUSH1 0x78
0000311f: DUP3
00003120: DUP7
00003121: DUP2
00003122: ISZERO
00003123: ISZERO
00003124: PUSH2 0x3129
00003127: JUMPI
00003128: INVALID
00003129: JUMPDEST
0000312a: DIV
0000312b: DUP2
0000312c: ISZERO
0000312d: ISZERO
0000312e: PUSH2 0x3133
00003131: JUMPI
00003132: INVALID
00003133: JUMPDEST
00003134: DIV
00003135: PUSH1 0x18
00003137: DUP5
00003138: DUP9
00003139: DUP2
0000313a: ISZERO
0000313b: ISZERO
0000313c: PUSH2 0x3141
0000313f: JUMPI
00003140: INVALID
00003141: JUMPDEST
00003142: DIV
00003143: DUP2
00003144: ISZERO
00003145: ISZERO
00003146: PUSH2 0x314b
00003149: JUMPI
0000314a: INVALID
0000314b: JUMPDEST
0000314c: DIV
0000314d: PUSH1 0x06
0000314f: DUP7
00003150: DUP11
00003151: DUP2
00003152: ISZERO
00003153: ISZERO
00003154: PUSH2 0x3159
00003157: JUMPI
00003158: INVALID
00003159: JUMPDEST
0000315a: DIV
0000315b: DUP2
0000315c: ISZERO
0000315d: ISZERO
0000315e: PUSH2 0x3163
00003161: JUMPI
00003162: INVALID
00003163: JUMPDEST
00003164: DIV
00003165: PUSH1 0x02
00003167: PUSH5 0xe8d4a51000
0000316d: DUP13
0000316e: DIV
0000316f: DIV
00003170: DUP13
00003171: PUSH5 0xe8d4a51000
00003177: ADD
00003178: ADD
00003179: ADD
0000317a: ADD
0000317b: ADD
0000317c: ADD
0000317d: SWAP9
0000317e: POP
0000317f: POP
00003180: POP
00003181: POP
00003182: POP
00003183: POP
00003184: POP
00003185: POP
00003186: POP
00003187: SWAP2
00003188: SWAP1
00003189: POP
0000318a: JUMP
0000318b: JUMPDEST
0000318c: PUSH1 0x00
0000318e: DUP1
0000318f: PUSH1 0x00
00003191: DUP1
00003192: PUSH1 0x00
00003194: DUP1
00003195: PUSH1 0x00
00003197: DUP1
00003198: PUSH1 0x00
0000319a: DUP11
0000319b: SLT
0000319c: DUP1
0000319d: ISZERO
0000319e: PUSH2 0x31ac
000031a1: JUMPI
000031a2: POP
000031a3: PUSH4 0x3ba26caf
000031a8: NOT
000031a9: DUP11
000031aa: SLT
000031ab: ISZERO
000031ac: JUMPDEST
000031ad: ISZERO
000031ae: ISZERO
000031af: PUSH2 0x31b7
000031b2: JUMPI
000031b3: PUSH1 0x00
000031b5: DUP1
000031b6: REVERT
000031b7: JUMPDEST
000031b8: POP
000031b9: POP
000031ba: POP
000031bb: DUP6
000031bc: DUP8
000031bd: MUL
000031be: SWAP4
000031bf: POP
000031c0: POP
000031c1: POP
000031c2: DUP2
000031c3: DUP1
000031c4: MUL
000031c5: SWAP1
000031c6: POP
000031c7: DUP1
000031c8: DUP3
000031c9: MUL
000031ca: DUP2
000031cb: DUP1
000031cc: MUL
000031cd: PUSH5 0xe8d4a51000
000031d3: PUSH10 0xd3c21bcecceda1000000
000031de: PUSH15 0xc097ce7bc90715b34b9f1000000000
000031ee: PUSH2 0x13b0
000031f1: DUP3
000031f2: DUP6
000031f3: SDIV
000031f4: DUP9
000031f5: MUL
000031f6: DUP4
000031f7: SWAP1
000031f8: SDIV
000031f9: DUP9
000031fa: MUL
000031fb: DUP5
000031fc: SWAP1
000031fd: SDIV
000031fe: DUP9
000031ff: MUL
00003200: DUP5
00003201: SWAP1
00003202: SDIV
00003203: SDIV
00003204: PUSH2 0x02d0
00003207: DUP4
00003208: DUP10
00003209: DUP7
0000320a: DUP2
0000320b: DUP4
0000320c: DUP11
0000320d: SDIV
0000320e: MUL
0000320f: DUP2
00003210: ISZERO
00003211: ISZERO
00003212: PUSH2 0x3217
00003215: JUMPI
00003216: INVALID
00003217: JUMPDEST
00003218: SDIV
00003219: MUL
0000321a: DUP2
0000321b: ISZERO
0000321c: ISZERO
0000321d: PUSH2 0x3222
00003220: JUMPI
00003221: INVALID
00003222: JUMPDEST
00003223: SDIV
00003224: DUP2
00003225: ISZERO
00003226: ISZERO
00003227: PUSH2 0x322c
0000322a: JUMPI
0000322b: INVALID
0000322c: JUMPDEST
0000322d: SDIV
0000322e: PUSH1 0x78
00003230: DUP5
00003231: DUP11
00003232: DUP7
00003233: DUP10
00003234: DUP2
00003235: ISZERO
00003236: ISZERO
00003237: PUSH2 0x323c
0000323a: JUMPI
0000323b: INVALID
0000323c: JUMPDEST
0000323d: SDIV
0000323e: MUL
0000323f: DUP2
00003240: ISZERO
00003241: ISZERO
00003242: PUSH2 0x3247
00003245: JUMPI
00003246: INVALID
00003247: JUMPDEST
00003248: SDIV
00003249: DUP2
0000324a: ISZERO
0000324b: ISZERO
0000324c: PUSH2 0x3251
0000324f: JUMPI
00003250: INVALID
00003251: JUMPDEST
00003252: SDIV
00003253: PUSH1 0x18
00003255: DUP5
00003256: DUP9
00003257: DUP2
00003258: ISZERO
00003259: ISZERO
0000325a: PUSH2 0x325f
0000325d: JUMPI
0000325e: INVALID
0000325f: JUMPDEST
00003260: SDIV
00003261: DUP2
00003262: ISZERO
00003263: ISZERO
00003264: PUSH2 0x3269
00003267: JUMPI
00003268: INVALID
00003269: JUMPDEST
0000326a: SDIV
0000326b: PUSH1 0x06
0000326d: DUP7
0000326e: DUP11
0000326f: DUP2
00003270: ISZERO
00003271: ISZERO
00003272: PUSH2 0x3277
00003275: JUMPI
00003276: INVALID
00003277: JUMPDEST
00003278: SDIV
00003279: DUP2
0000327a: ISZERO
0000327b: ISZERO
0000327c: PUSH2 0x3281
0000327f: JUMPI
00003280: INVALID
00003281: JUMPDEST
00003282: SDIV
00003283: PUSH1 0x02
00003285: DUP9
00003286: DUP13
00003287: DUP2
00003288: ISZERO
00003289: ISZERO
0000328a: PUSH2 0x328f
0000328d: JUMPI
0000328e: INVALID
0000328f: JUMPDEST
00003290: SDIV
00003291: DUP2
00003292: ISZERO
00003293: ISZERO
00003294: PUSH2 0x3299
00003297: JUMPI
00003298: INVALID
00003299: JUMPDEST
0000329a: SDIV
0000329b: DUP13
0000329c: DUP10
0000329d: ADD
0000329e: ADD
0000329f: ADD
000032a0: ADD
000032a1: ADD
000032a2: ADD
000032a3: ADD
000032a4: SWAP8
000032a5: POP
000032a6: POP
000032a7: POP
000032a8: POP
000032a9: POP
000032aa: POP
000032ab: POP
000032ac: POP
000032ad: SWAP3
000032ae: SWAP2
000032af: POP
000032b0: POP
000032b1: JUMP
000032b2: JUMPDEST
000032b3: PUSH1 0x03
000032b5: SLOAD
000032b6: PUSH1 0x00
000032b8: SWAP1
000032b9: PUSH2 0x0421
000032bc: SWAP1
000032bd: PUSH1 0x01
000032bf: PUSH1 0xa0
000032c1: PUSH1 0x02
000032c3: EXP
000032c4: SUB
000032c5: AND
000032c6: PUSH4 0xd9876719
000032cb: DUP5
000032cc: DUP5
000032cd: PUSH1 0x40
000032cf: MLOAD
000032d0: PUSH1 0x20
000032d2: ADD
000032d3: MSTORE
000032d4: PUSH1 0x40
000032d6: MLOAD
000032d7: PUSH1 0xe0
000032d9: PUSH1 0x02
000032db: EXP
000032dc: PUSH4 0xffffffff
000032e1: DUP5
000032e2: AND
000032e3: MUL
000032e4: DUP2
000032e5: MSTORE
000032e6: PUSH1 0x04
000032e8: DUP2
000032e9: ADD
000032ea: SWAP2
000032eb: SWAP1
000032ec: SWAP2
000032ed: MSTORE
000032ee: PUSH1 0x24
000032f0: ADD
000032f1: PUSH1 0x20
000032f3: PUSH1 0x40
000032f5: MLOAD
000032f6: DUP1
000032f7: DUP4
000032f8: SUB
000032f9: DUP2
000032fa: PUSH1 0x00
000032fc: DUP8
000032fd: DUP1
000032fe: EXTCODESIZE
000032ff: ISZERO
00003300: ISZERO
00003301: PUSH2 0x3309
00003304: JUMPI
00003305: PUSH1 0x00
00003307: DUP1
00003308: REVERT
00003309: JUMPDEST
0000330a: PUSH2 0x02c6
0000330d: GAS
0000330e: SUB
0000330f: CALL
00003310: ISZERO
00003311: ISZERO
00003312: PUSH2 0x331a
00003315: JUMPI
00003316: PUSH1 0x00
00003318: DUP1
00003319: REVERT
0000331a: JUMPDEST
0000331b: POP
0000331c: POP
0000331d: POP
0000331e: PUSH1 0x40
00003320: MLOAD
00003321: DUP1
00003322: MLOAD
00003323: SWAP1
00003324: POP
00003325: PUSH2 0x1e11
00003328: JUMP
00003329: STOP
0000332a: LOG1
0000332b: PUSH6 0x627a7a723058
00003332: KECCAK256
00003333: UNKNOWN(0xD7)
00003334: SWAP8
00003335: DIFFICULTY
00003336: SWAP2
00003337: UNKNOWN(0xD9)
00003338: DUP4
00003339: UNKNOWN(0xC3)
0000333a: UNKNOWN(0xE6)
0000333b: UNKNOWN(0xBF)
0000333c: DELEGATECALL
0000333d: UNKNOWN(0xD9)
0000333e: SWAP16
0000333f: ADDRESS
00003340: PUSH27

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
critical	upgradeability	detector	Untrusted DELEGATECALL target reachable	70	no	no	view trace_id: 0xe4fcdb275f672c2ade86713090138159645cac25118d116742f43af30b0ea777 validation_json { "sink": "DELEGATECALL", "errors": 0, "status": "unknown", "attempts": 192, "trace_id": "0xe4fcdb275f672c2ade86713090138159645cac25118d116742f43af30b0ea777", "confirmed": false, "trace_mode": "callTracer", "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": "0x02777983", "selector": "0x02777983", "calldata_variants": [ "0x02777983", "0x027779830000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1309a563", "selector": "0x1309a563", "calldata_variants": [ "0x1309a563", "0x1309a5630000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1b857737", "selector": "0x1b857737", "calldata_variants": [ "0x1b857737", "0x1b8577370000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2008b447", "selector": "0x2008b447", "calldata_variants": [ "0x2008b447", "0x2008b4470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3d9d0d8f", "selector": "0x3d9d0d8f", "calldata_variants": [ "0x3d9d0d8f", "0x3d9d0d8f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x422d7932", "selector": "0x422d7932", "calldata_variants": [ "0x422d7932", "0x422d79320000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x49ec3e9c", "selector": "0x49ec3e9c", "calldata_variants": [ "0x49ec3e9c", "0x49ec3e9c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4c01e3e4", "selector": "0x4c01e3e4", "calldata_variants": [ "0x4c01e3e4", "0x4c01e3e40000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 13116, "opcode": "DELEGATECALL", "returndata_checked": null, "value_expression_category": "n/a", "target_expression_category": "computed" } ], "guards_detected": [], "delegatecall_count": 1, "untrusted_delegatecall_count": 1 }
high	other	detector	Untrusted CALL target/value reachable	60	yes	yes	view trace_id: 0xeaf44032abd283ecf46682499c59c3b50c82d29830a475a64075fdbf7a7531a5 call_targets: 0x60217d0cb9b449cf521bbcf3737a3eda1b326a0d, 0x958bcdcb64f3d24c25c0bc1fb875351d5d5f31d8 target_varies: yes classification: target_varies validation_json { "sink": "CALL", "errors": 0, "status": "confirmed", "attempts": 1, "trace_id": "0xeaf44032abd283ecf46682499c59c3b50c82d29830a475a64075fdbf7a7531a5", "confirmed": true, "trace_mode": "callTracer", "call_targets": [ "0x60217d0cb9b449cf521bbcf3737a3eda1b326a0d", "0x958bcdcb64f3d24c25c0bc1fb875351d5d5f31d8" ], "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": "0x02777983", "selector": "0x02777983", "calldata_variants": [ "0x02777983", "0x027779830000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1309a563", "selector": "0x1309a563", "calldata_variants": [ "0x1309a563", "0x1309a5630000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1b857737", "selector": "0x1b857737", "calldata_variants": [ "0x1b857737", "0x1b8577370000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2008b447", "selector": "0x2008b447", "calldata_variants": [ "0x2008b447", "0x2008b4470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3d9d0d8f", "selector": "0x3d9d0d8f", "calldata_variants": [ "0x3d9d0d8f", "0x3d9d0d8f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x422d7932", "selector": "0x422d7932", "calldata_variants": [ "0x422d7932", "0x422d79320000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x49ec3e9c", "selector": "0x49ec3e9c", "calldata_variants": [ "0x49ec3e9c", "0x49ec3e9c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4c01e3e4", "selector": "0x4c01e3e4", "calldata_variants": [ "0x4c01e3e4", "0x4c01e3e40000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1183, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1456, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1834, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 48, "guards_detected": [], "untrusted_call_count": 48 }
high	other	detector	ETH value transfer possible	55	yes	yes	view trace_id: 0xeaf44032abd283ecf46682499c59c3b50c82d29830a475a64075fdbf7a7531a5 call_targets: 0x60217d0cb9b449cf521bbcf3737a3eda1b326a0d, 0x958bcdcb64f3d24c25c0bc1fb875351d5d5f31d8 target_varies: yes classification: target_varies validation_json { "sink": "CALL", "errors": 0, "status": "confirmed", "attempts": 1, "trace_id": "0xeaf44032abd283ecf46682499c59c3b50c82d29830a475a64075fdbf7a7531a5", "confirmed": true, "trace_mode": "callTracer", "call_targets": [ "0x60217d0cb9b449cf521bbcf3737a3eda1b326a0d", "0x958bcdcb64f3d24c25c0bc1fb875351d5d5f31d8" ], "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": "0x02777983", "selector": "0x02777983", "calldata_variants": [ "0x02777983", "0x027779830000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1309a563", "selector": "0x1309a563", "calldata_variants": [ "0x1309a563", "0x1309a5630000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x1b857737", "selector": "0x1b857737", "calldata_variants": [ "0x1b857737", "0x1b8577370000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2008b447", "selector": "0x2008b447", "calldata_variants": [ "0x2008b447", "0x2008b4470000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x3d9d0d8f", "selector": "0x3d9d0d8f", "calldata_variants": [ "0x3d9d0d8f", "0x3d9d0d8f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x422d7932", "selector": "0x422d7932", "calldata_variants": [ "0x422d7932", "0x422d79320000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x49ec3e9c", "selector": "0x49ec3e9c", "calldata_variants": [ "0x49ec3e9c", "0x49ec3e9c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4c01e3e4", "selector": "0x4c01e3e4", "calldata_variants": [ "0x4c01e3e4", "0x4c01e3e40000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1183, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1456, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1834, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 48, "guards_detected": [] }

Severity