Analysis Run

019b3836-58c1-726d-b0e1-ebe9a9f63f3d

complete

Chain ID

1

Address

0x5779c765d36511a375a291e040440843ea8e0e49

Block Number

—

Created

Fri, Dec 19, 2025 8:04 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
8685	artifact.fetch	complete	1 / 3	3 months ago
8686	tool.cast_disasm	complete	1 / 3	3 months ago
52160	analysis.bundle	complete	1 / 3	1 week ago
52161	capability.graph	complete	1 / 3	1 week ago
52162	detector.run	complete	1 / 3	1 week ago
52163	validation.fork	complete	1 / 3	1 week ago
113394	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-48yrd_uq
model: gpt-5.4
provider: openai
approval: never
sandbox: read-only
reasoning effort: high
reasoning summaries: none
session id: 019d5c92-80f8-77f3-aa0d-60fb564c4b6e
--------
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:36:40.104287+00:00",
        "returncode": 1
    },
    "project": {
        "mode": "bytecode",
        "bytecode_length": 12970,
        "bytecode_truncated": false,
        "capability_graph_present": true,
        "analysis_artifact_present": true
    },
    "summary": null,
    "no_findings": null,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

1

CREATE2

0

CALL-family (heavy)

25

EXT*/BALANCE

0

Total opcodes

5065

Flags

selfdestruct_present call_family_heavy

View cast disassembly output

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x00cf
0000000a: JUMPI
0000000b: PUSH1 0xe0
0000000d: PUSH1 0x02
0000000f: EXP
00000010: PUSH1 0x00
00000012: CALLDATALOAD
00000013: DIV
00000014: PUSH4 0x0cb6aaf1
00000019: DUP2
0000001a: EQ
0000001b: PUSH2 0x00d1
0000001e: JUMPI
0000001f: DUP1
00000020: PUSH4 0x11dd8845
00000025: EQ
00000026: PUSH2 0x0154
00000029: JUMPI
0000002a: DUP1
0000002b: PUSH4 0x2d8ae549
00000030: EQ
00000031: PUSH2 0x02a7
00000034: JUMPI
00000035: DUP1
00000036: PUSH4 0x31c3e456
0000003b: EQ
0000003c: PUSH2 0x02b5
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x41c0e1b5
00000046: EQ
00000047: PUSH2 0x0497
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x4aaf4a12
00000051: EQ
00000052: PUSH2 0x04b7
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x4cd08d03
0000005c: EQ
0000005d: PUSH2 0x0563
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x6598a1ae
00000067: EQ
00000068: PUSH2 0x0633
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x7bcd7fad
00000072: EQ
00000073: PUSH2 0x08be
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x8da5cb5b
0000007d: EQ
0000007e: PUSH2 0x0951
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0xb359cedd
00000088: EQ
00000089: PUSH2 0x0963
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0xb5d1990d
00000093: EQ
00000094: PUSH2 0x09fe
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0xc822d7f0
0000009e: EQ
0000009f: PUSH2 0x0a07
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0xd8270dce
000000a9: EQ
000000aa: PUSH2 0x0aa6
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0xe35b37fe
000000b4: EQ
000000b5: PUSH2 0x0aaf
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0xf3fef3a3
000000bf: EQ
000000c0: PUSH2 0x0ab8
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0xfbf58b3e
000000ca: EQ
000000cb: PUSH2 0x0ade
000000ce: JUMPI
000000cf: JUMPDEST
000000d0: STOP
000000d1: JUMPDEST
000000d2: PUSH2 0x0b39
000000d5: PUSH1 0x04
000000d7: CALLDATALOAD
000000d8: PUSH1 0x04
000000da: DUP1
000000db: SLOAD
000000dc: DUP3
000000dd: SWAP1
000000de: DUP2
000000df: LT
000000e0: ISZERO
000000e1: PUSH2 0x0002
000000e4: JUMPI
000000e5: POP
000000e6: PUSH1 0x00
000000e8: MSTORE
000000e9: PUSH1 0x40
000000eb: DUP1
000000ec: MLOAD
000000ed: PUSH1 0x00
000000ef: DUP1
000000f0: MLOAD
000000f1: PUSH1 0x20
000000f3: PUSH2 0x1934
000000f6: DUP4
000000f7: CODECOPY
000000f8: DUP2
000000f9: MLOAD
000000fa: SWAP2
000000fb: MSTORE
000000fc: SWAP1
000000fd: SWAP3
000000fe: ADD
000000ff: DUP1
00000100: SLOAD
00000101: PUSH1 0x20
00000103: PUSH1 0x02
00000105: PUSH1 0x01
00000107: DUP4
00000108: AND
00000109: ISZERO
0000010a: PUSH2 0x0100
0000010d: MUL
0000010e: PUSH1 0x00
00000110: NOT
00000111: ADD
00000112: SWAP1
00000113: SWAP3
00000114: AND
00000115: SWAP2
00000116: SWAP1
00000117: SWAP2
00000118: DIV
00000119: PUSH1 0x1f
0000011b: DUP2
0000011c: ADD
0000011d: DUP3
0000011e: SWAP1
0000011f: DIV
00000120: DUP3
00000121: MUL
00000122: DUP6
00000123: ADD
00000124: DUP3
00000125: ADD
00000126: SWAP1
00000127: SWAP4
00000128: MSTORE
00000129: DUP3
0000012a: DUP5
0000012b: MSTORE
0000012c: SWAP1
0000012d: SWAP2
0000012e: SWAP1
0000012f: DUP4
00000130: ADD
00000131: DUP3
00000132: DUP3
00000133: DUP1
00000134: ISZERO
00000135: PUSH2 0x0e3c
00000138: JUMPI
00000139: DUP1
0000013a: PUSH1 0x1f
0000013c: LT
0000013d: PUSH2 0x0e11
00000140: JUMPI
00000141: PUSH2 0x0100
00000144: DUP1
00000145: DUP4
00000146: SLOAD
00000147: DIV
00000148: MUL
00000149: DUP4
0000014a: MSTORE
0000014b: SWAP2
0000014c: PUSH1 0x20
0000014e: ADD
0000014f: SWAP2
00000150: PUSH2 0x0e3c
00000153: JUMP
00000154: JUMPDEST
00000155: PUSH2 0x0ba7
00000158: PUSH1 0x04
0000015a: DUP1
0000015b: DUP1
0000015c: CALLDATALOAD
0000015d: SWAP1
0000015e: PUSH1 0x20
00000160: ADD
00000161: SWAP1
00000162: DUP3
00000163: ADD
00000164: DUP1
00000165: CALLDATALOAD
00000166: SWAP1
00000167: PUSH1 0x20
00000169: ADD
0000016a: SWAP2
0000016b: SWAP2
0000016c: SWAP1
0000016d: DUP1
0000016e: DUP1
0000016f: PUSH1 0x1f
00000171: ADD
00000172: PUSH1 0x20
00000174: DUP1
00000175: SWAP2
00000176: DIV
00000177: MUL
00000178: PUSH1 0x20
0000017a: ADD
0000017b: PUSH1 0x40
0000017d: MLOAD
0000017e: SWAP1
0000017f: DUP2
00000180: ADD
00000181: PUSH1 0x40
00000183: MSTORE
00000184: DUP1
00000185: SWAP4
00000186: SWAP3
00000187: SWAP2
00000188: SWAP1
00000189: DUP2
0000018a: DUP2
0000018b: MSTORE
0000018c: PUSH1 0x20
0000018e: ADD
0000018f: DUP4
00000190: DUP4
00000191: DUP1
00000192: DUP3
00000193: DUP5
00000194: CALLDATACOPY
00000195: POP
00000196: SWAP5
00000197: SWAP7
00000198: POP
00000199: POP
0000019a: POP
0000019b: POP
0000019c: POP
0000019d: POP
0000019e: POP
0000019f: PUSH1 0x00
000001a1: PUSH1 0x00
000001a3: PUSH1 0x20
000001a5: PUSH1 0x40
000001a7: MLOAD
000001a8: SWAP1
000001a9: DUP2
000001aa: ADD
000001ab: PUSH1 0x40
000001ad: MSTORE
000001ae: DUP1
000001af: PUSH1 0x00
000001b1: DUP2
000001b2: MSTORE
000001b3: PUSH1 0x20
000001b5: ADD
000001b6: POP
000001b7: PUSH1 0x20
000001b9: PUSH1 0x40
000001bb: MLOAD
000001bc: SWAP1
000001bd: DUP2
000001be: ADD
000001bf: PUSH1 0x40
000001c1: MSTORE
000001c2: DUP1
000001c3: PUSH1 0x00
000001c5: DUP2
000001c6: MSTORE
000001c7: PUSH1 0x20
000001c9: ADD
000001ca: POP
000001cb: PUSH1 0x00
000001cd: PUSH1 0x02
000001cf: PUSH1 0x00
000001d1: POP
000001d2: DUP7
000001d3: PUSH1 0x40
000001d5: MLOAD
000001d6: DUP1
000001d7: DUP3
000001d8: DUP1
000001d9: MLOAD
000001da: SWAP1
000001db: PUSH1 0x20
000001dd: ADD
000001de: SWAP1
000001df: DUP1
000001e0: DUP4
000001e1: DUP4
000001e2: DUP3
000001e3: SWAP1
000001e4: PUSH1 0x00
000001e6: PUSH1 0x04
000001e8: PUSH1 0x20
000001ea: DUP5
000001eb: PUSH1 0x1f
000001ed: ADD
000001ee: DIV
000001ef: PUSH1 0x0f
000001f1: MUL
000001f2: PUSH1 0x03
000001f4: ADD
000001f5: CALL
000001f6: POP
000001f7: SWAP1
000001f8: POP
000001f9: ADD
000001fa: SWAP2
000001fb: POP
000001fc: POP
000001fd: SWAP1
000001fe: DUP2
000001ff: MSTORE
00000200: PUSH1 0x20
00000202: ADD
00000203: PUSH1 0x40
00000205: MLOAD
00000206: DUP1
00000207: SWAP2
00000208: SUB
00000209: SWAP1
0000020a: KECCAK256
0000020b: PUSH1 0x00
0000020d: POP
0000020e: SWAP1
0000020f: POP
00000210: DUP1
00000211: PUSH1 0x00
00000213: ADD
00000214: PUSH1 0x00
00000216: SWAP1
00000217: SLOAD
00000218: SWAP1
00000219: PUSH2 0x0100
0000021c: EXP
0000021d: SWAP1
0000021e: DIV
0000021f: PUSH1 0x01
00000221: PUSH1 0xa0
00000223: PUSH1 0x02
00000225: EXP
00000226: SUB
00000227: AND
00000228: SWAP5
00000229: POP
0000022a: DUP5
0000022b: POP
0000022c: DUP1
0000022d: PUSH1 0x01
0000022f: ADD
00000230: PUSH1 0x00
00000232: POP
00000233: SLOAD
00000234: SWAP4
00000235: POP
00000236: DUP4
00000237: POP
00000238: DUP1
00000239: PUSH1 0x03
0000023b: ADD
0000023c: PUSH1 0x00
0000023e: POP
0000023f: DUP1
00000240: SLOAD
00000241: PUSH1 0x01
00000243: DUP2
00000244: PUSH1 0x01
00000246: AND
00000247: ISZERO
00000248: PUSH2 0x0100
0000024b: MUL
0000024c: SUB
0000024d: AND
0000024e: PUSH1 0x02
00000250: SWAP1
00000251: DIV
00000252: DUP1
00000253: PUSH1 0x1f
00000255: ADD
00000256: PUSH1 0x20
00000258: DUP1
00000259: SWAP2
0000025a: DIV
0000025b: MUL
0000025c: PUSH1 0x20
0000025e: ADD
0000025f: PUSH1 0x40
00000261: MLOAD
00000262: SWAP1
00000263: DUP2
00000264: ADD
00000265: PUSH1 0x40
00000267: MSTORE
00000268: DUP1
00000269: SWAP3
0000026a: SWAP2
0000026b: SWAP1
0000026c: DUP2
0000026d: DUP2
0000026e: MSTORE
0000026f: PUSH1 0x20
00000271: ADD
00000272: DUP3
00000273: DUP1
00000274: SLOAD
00000275: PUSH1 0x01
00000277: DUP2
00000278: PUSH1 0x01
0000027a: AND
0000027b: ISZERO
0000027c: PUSH2 0x0100
0000027f: MUL
00000280: SUB
00000281: AND
00000282: PUSH1 0x02
00000284: SWAP1
00000285: DIV
00000286: DUP1
00000287: ISZERO
00000288: PUSH2 0x0e6f
0000028b: JUMPI
0000028c: DUP1
0000028d: PUSH1 0x1f
0000028f: LT
00000290: PUSH2 0x0e44
00000293: JUMPI
00000294: PUSH2 0x0100
00000297: DUP1
00000298: DUP4
00000299: SLOAD
0000029a: DIV
0000029b: MUL
0000029c: DUP4
0000029d: MSTORE
0000029e: SWAP2
0000029f: PUSH1 0x20
000002a1: ADD
000002a2: SWAP2
000002a3: PUSH2 0x0e6f
000002a6: JUMP
000002a7: JUMPDEST
000002a8: PUSH2 0x0c8b
000002ab: JUMPDEST
000002ac: PUSH6 0x5af3107a4000
000002b3: SWAP1
000002b4: JUMP
000002b5: JUMPDEST
000002b6: PUSH2 0x00cf
000002b9: PUSH1 0x04
000002bb: DUP1
000002bc: DUP1
000002bd: CALLDATALOAD
000002be: SWAP1
000002bf: PUSH1 0x20
000002c1: ADD
000002c2: SWAP1
000002c3: DUP3
000002c4: ADD
000002c5: DUP1
000002c6: CALLDATALOAD
000002c7: SWAP1
000002c8: PUSH1 0x20
000002ca: ADD
000002cb: SWAP2
000002cc: SWAP2
000002cd: SWAP1
000002ce: DUP1
000002cf: DUP1
000002d0: PUSH1 0x1f
000002d2: ADD
000002d3: PUSH1 0x20
000002d5: DUP1
000002d6: SWAP2
000002d7: DIV
000002d8: MUL
000002d9: PUSH1 0x20
000002db: ADD
000002dc: PUSH1 0x40
000002de: MLOAD
000002df: SWAP1
000002e0: DUP2
000002e1: ADD
000002e2: PUSH1 0x40
000002e4: MSTORE
000002e5: DUP1
000002e6: SWAP4
000002e7: SWAP3
000002e8: SWAP2
000002e9: SWAP1
000002ea: DUP2
000002eb: DUP2
000002ec: MSTORE
000002ed: PUSH1 0x20
000002ef: ADD
000002f0: DUP4
000002f1: DUP4
000002f2: DUP1
000002f3: DUP3
000002f4: DUP5
000002f5: CALLDATACOPY
000002f6: POP
000002f7: POP
000002f8: PUSH1 0x40
000002fa: DUP1
000002fb: MLOAD
000002fc: PUSH1 0x20
000002fe: DUP9
000002ff: CALLDATALOAD
00000300: DUP1
00000301: DUP12
00000302: ADD
00000303: CALLDATALOAD
00000304: PUSH1 0x1f
00000306: DUP2
00000307: ADD
00000308: DUP4
00000309: SWAP1
0000030a: DIV
0000030b: DUP4
0000030c: MUL
0000030d: DUP5
0000030e: ADD
0000030f: DUP4
00000310: ADD
00000311: SWAP1
00000312: SWAP5
00000313: MSTORE
00000314: DUP4
00000315: DUP4
00000316: MSTORE
00000317: SWAP8
00000318: SWAP10
00000319: SWAP9
0000031a: PUSH1 0x44
0000031c: SWAP9
0000031d: SWAP3
0000031e: SWAP8
0000031f: POP
00000320: SWAP2
00000321: SWAP1
00000322: SWAP2
00000323: ADD
00000324: SWAP5
00000325: POP
00000326: SWAP1
00000327: SWAP3
00000328: POP
00000329: DUP3
0000032a: SWAP2
0000032b: POP
0000032c: DUP5
0000032d: ADD
0000032e: DUP4
0000032f: DUP3
00000330: DUP1
00000331: DUP3
00000332: DUP5
00000333: CALLDATACOPY
00000334: POP
00000335: POP
00000336: PUSH1 0x40
00000338: DUP1
00000339: MLOAD
0000033a: PUSH1 0x20
0000033c: SWAP8
0000033d: CALLDATALOAD
0000033e: DUP1
0000033f: DUP11
00000340: ADD
00000341: CALLDATALOAD
00000342: PUSH1 0x1f
00000344: DUP2
00000345: ADD
00000346: DUP11
00000347: SWAP1
00000348: DIV
00000349: DUP11
0000034a: MUL
0000034b: DUP4
0000034c: ADD
0000034d: DUP11
0000034e: ADD
0000034f: SWAP1
00000350: SWAP4
00000351: MSTORE
00000352: DUP3
00000353: DUP3
00000354: MSTORE
00000355: SWAP7
00000356: SWAP9
00000357: SWAP8
00000358: PUSH1 0x64
0000035a: SWAP8
0000035b: SWAP2
0000035c: SWAP7
0000035d: POP
0000035e: PUSH1 0x24
00000360: SWAP2
00000361: SWAP1
00000362: SWAP2
00000363: ADD
00000364: SWAP5
00000365: POP
00000366: SWAP1
00000367: SWAP3
00000368: POP
00000369: DUP3
0000036a: SWAP2
0000036b: POP
0000036c: DUP5
0000036d: ADD
0000036e: DUP4
0000036f: DUP3
00000370: DUP1
00000371: DUP3
00000372: DUP5
00000373: CALLDATACOPY
00000374: POP
00000375: SWAP5
00000376: SWAP7
00000377: POP
00000378: POP
00000379: POP
0000037a: POP
0000037b: POP
0000037c: POP
0000037d: POP
0000037e: CALLER
0000037f: PUSH1 0x01
00000381: PUSH1 0xa0
00000383: PUSH1 0x02
00000385: EXP
00000386: SUB
00000387: AND
00000388: PUSH1 0x02
0000038a: PUSH1 0x00
0000038c: POP
0000038d: DUP5
0000038e: PUSH1 0x40
00000390: MLOAD
00000391: DUP1
00000392: DUP3
00000393: DUP1
00000394: MLOAD
00000395: SWAP1
00000396: PUSH1 0x20
00000398: ADD
00000399: SWAP1
0000039a: DUP1
0000039b: DUP4
0000039c: DUP4
0000039d: DUP3
0000039e: SWAP1
0000039f: PUSH1 0x00
000003a1: PUSH1 0x04
000003a3: PUSH1 0x20
000003a5: DUP5
000003a6: PUSH1 0x1f
000003a8: ADD
000003a9: DIV
000003aa: PUSH1 0x0f
000003ac: MUL
000003ad: PUSH1 0x03
000003af: ADD
000003b0: CALL
000003b1: POP
000003b2: SWAP1
000003b3: POP
000003b4: ADD
000003b5: SWAP2
000003b6: POP
000003b7: POP
000003b8: SWAP1
000003b9: DUP2
000003ba: MSTORE
000003bb: PUSH1 0x20
000003bd: ADD
000003be: PUSH1 0x40
000003c0: MLOAD
000003c1: DUP1
000003c2: SWAP2
000003c3: SUB
000003c4: SWAP1
000003c5: KECCAK256
000003c6: PUSH1 0x00
000003c8: POP
000003c9: PUSH1 0x00
000003cb: ADD
000003cc: PUSH1 0x00
000003ce: SWAP1
000003cf: SLOAD
000003d0: SWAP1
000003d1: PUSH2 0x0100
000003d4: EXP
000003d5: SWAP1
000003d6: DIV
000003d7: PUSH1 0x01
000003d9: PUSH1 0xa0
000003db: PUSH1 0x02
000003dd: EXP
000003de: SUB
000003df: AND
000003e0: PUSH1 0x01
000003e2: PUSH1 0xa0
000003e4: PUSH1 0x02
000003e6: EXP
000003e7: SUB
000003e8: AND
000003e9: EQ
000003ea: ISZERO
000003eb: PUSH2 0x0f17
000003ee: JUMPI
000003ef: DUP2
000003f0: PUSH1 0x02
000003f2: PUSH1 0x00
000003f4: POP
000003f5: DUP5
000003f6: PUSH1 0x40
000003f8: MLOAD
000003f9: DUP1
000003fa: DUP3
000003fb: DUP1
000003fc: MLOAD
000003fd: SWAP1
000003fe: PUSH1 0x20
00000400: ADD
00000401: SWAP1
00000402: DUP1
00000403: DUP4
00000404: DUP4
00000405: DUP3
00000406: SWAP1
00000407: PUSH1 0x00
00000409: PUSH1 0x04
0000040b: PUSH1 0x20
0000040d: DUP5
0000040e: PUSH1 0x1f
00000410: ADD
00000411: DIV
00000412: PUSH1 0x0f
00000414: MUL
00000415: PUSH1 0x03
00000417: ADD
00000418: CALL
00000419: POP
0000041a: SWAP1
0000041b: POP
0000041c: ADD
0000041d: SWAP2
0000041e: POP
0000041f: POP
00000420: SWAP1
00000421: DUP2
00000422: MSTORE
00000423: PUSH1 0x20
00000425: ADD
00000426: PUSH1 0x40
00000428: MLOAD
00000429: DUP1
0000042a: SWAP2
0000042b: SUB
0000042c: SWAP1
0000042d: KECCAK256
0000042e: PUSH1 0x00
00000430: POP
00000431: PUSH1 0x03
00000433: ADD
00000434: PUSH1 0x00
00000436: POP
00000437: SWAP1
00000438: DUP1
00000439: MLOAD
0000043a: SWAP1
0000043b: PUSH1 0x20
0000043d: ADD
0000043e: SWAP1
0000043f: DUP3
00000440: DUP1
00000441: SLOAD
00000442: PUSH1 0x01
00000444: DUP2
00000445: PUSH1 0x01
00000447: AND
00000448: ISZERO
00000449: PUSH2 0x0100
0000044c: MUL
0000044d: SUB
0000044e: AND
0000044f: PUSH1 0x02
00000451: SWAP1
00000452: DIV
00000453: SWAP1
00000454: PUSH1 0x00
00000456: MSTORE
00000457: PUSH1 0x20
00000459: PUSH1 0x00
0000045b: KECCAK256
0000045c: SWAP1
0000045d: PUSH1 0x1f
0000045f: ADD
00000460: PUSH1 0x20
00000462: SWAP1
00000463: DIV
00000464: DUP2
00000465: ADD
00000466: SWAP3
00000467: DUP3
00000468: PUSH1 0x1f
0000046a: LT
0000046b: PUSH2 0x0f1c
0000046e: JUMPI
0000046f: DUP1
00000470: MLOAD
00000471: PUSH1 0xff
00000473: NOT
00000474: AND
00000475: DUP4
00000476: DUP1
00000477: ADD
00000478: OR
00000479: DUP6
0000047a: SSTORE
0000047b: JUMPDEST
0000047c: POP
0000047d: PUSH2 0x0f4c
00000480: SWAP3
00000481: SWAP2
00000482: POP
00000483: JUMPDEST
00000484: DUP1
00000485: DUP3
00000486: GT
00000487: ISZERO
00000488: PUSH2 0x0fe7
0000048b: JUMPI
0000048c: PUSH1 0x00
0000048e: DUP2
0000048f: SSTORE
00000490: PUSH1 0x01
00000492: ADD
00000493: PUSH2 0x0483
00000496: JUMP
00000497: JUMPDEST
00000498: PUSH2 0x00cf
0000049b: PUSH1 0x00
0000049d: SLOAD
0000049e: PUSH1 0x01
000004a0: PUSH1 0xa0
000004a2: PUSH1 0x02
000004a4: EXP
000004a5: SUB
000004a6: SWAP1
000004a7: DUP2
000004a8: AND
000004a9: CALLER
000004aa: SWAP2
000004ab: SWAP1
000004ac: SWAP2
000004ad: AND
000004ae: EQ
000004af: PUSH2 0x101b
000004b2: JUMPI
000004b3: PUSH2 0x0002
000004b6: JUMP
000004b7: JUMPDEST
000004b8: PUSH2 0x0c9d
000004bb: PUSH1 0x04
000004bd: DUP1
000004be: DUP1
000004bf: CALLDATALOAD
000004c0: SWAP1
000004c1: PUSH1 0x20
000004c3: ADD
000004c4: SWAP1
000004c5: DUP3
000004c6: ADD
000004c7: DUP1
000004c8: CALLDATALOAD
000004c9: SWAP1
000004ca: PUSH1 0x20
000004cc: ADD
000004cd: SWAP2
000004ce: SWAP2
000004cf: SWAP1
000004d0: DUP1
000004d1: DUP1
000004d2: PUSH1 0x1f
000004d4: ADD
000004d5: PUSH1 0x20
000004d7: DUP1
000004d8: SWAP2
000004d9: DIV
000004da: MUL
000004db: PUSH1 0x20
000004dd: ADD
000004de: PUSH1 0x40
000004e0: MLOAD
000004e1: SWAP1
000004e2: DUP2
000004e3: ADD
000004e4: PUSH1 0x40
000004e6: MSTORE
000004e7: DUP1
000004e8: SWAP4
000004e9: SWAP3
000004ea: SWAP2
000004eb: SWAP1
000004ec: DUP2
000004ed: DUP2
000004ee: MSTORE
000004ef: PUSH1 0x20
000004f1: ADD
000004f2: DUP4
000004f3: DUP4
000004f4: DUP1
000004f5: DUP3
000004f6: DUP5
000004f7: CALLDATACOPY
000004f8: POP
000004f9: SWAP5
000004fa: SWAP7
000004fb: POP
000004fc: POP
000004fd: POP
000004fe: POP
000004ff: POP
00000500: POP
00000501: POP
00000502: PUSH1 0x00
00000504: PUSH1 0x02
00000506: PUSH1 0x00
00000508: POP
00000509: DUP3
0000050a: PUSH1 0x40
0000050c: MLOAD
0000050d: DUP1
0000050e: DUP3
0000050f: DUP1
00000510: MLOAD
00000511: SWAP1
00000512: PUSH1 0x20
00000514: ADD
00000515: SWAP1
00000516: DUP1
00000517: DUP4
00000518: DUP4
00000519: DUP3
0000051a: SWAP1
0000051b: PUSH1 0x00
0000051d: PUSH1 0x04
0000051f: PUSH1 0x20
00000521: DUP5
00000522: PUSH1 0x1f
00000524: ADD
00000525: DIV
00000526: PUSH1 0x0f
00000528: MUL
00000529: PUSH1 0x03
0000052b: ADD
0000052c: CALL
0000052d: POP
0000052e: SWAP1
0000052f: POP
00000530: ADD
00000531: SWAP2
00000532: POP
00000533: POP
00000534: SWAP1
00000535: DUP2
00000536: MSTORE
00000537: PUSH1 0x20
00000539: ADD
0000053a: PUSH1 0x40
0000053c: MLOAD
0000053d: DUP1
0000053e: SWAP2
0000053f: SUB
00000540: SWAP1
00000541: KECCAK256
00000542: PUSH1 0x00
00000544: POP
00000545: PUSH1 0x00
00000547: ADD
00000548: PUSH1 0x00
0000054a: SWAP1
0000054b: SLOAD
0000054c: SWAP1
0000054d: PUSH2 0x0100
00000550: EXP
00000551: SWAP1
00000552: DIV
00000553: PUSH1 0x01
00000555: PUSH1 0xa0
00000557: PUSH1 0x02
00000559: EXP
0000055a: SUB
0000055b: AND
0000055c: SWAP1
0000055d: POP
0000055e: JUMPDEST
0000055f: SWAP2
00000560: SWAP1
00000561: POP
00000562: JUMP
00000563: JUMPDEST
00000564: PUSH2 0x00cf
00000567: PUSH1 0x04
00000569: DUP1
0000056a: DUP1
0000056b: CALLDATALOAD
0000056c: SWAP1
0000056d: PUSH1 0x20
0000056f: ADD
00000570: SWAP1
00000571: DUP3
00000572: ADD
00000573: DUP1
00000574: CALLDATALOAD
00000575: SWAP1
00000576: PUSH1 0x20
00000578: ADD
00000579: SWAP2
0000057a: SWAP2
0000057b: SWAP1
0000057c: DUP1
0000057d: DUP1
0000057e: PUSH1 0x1f
00000580: ADD
00000581: PUSH1 0x20
00000583: DUP1
00000584: SWAP2
00000585: DIV
00000586: MUL
00000587: PUSH1 0x20
00000589: ADD
0000058a: PUSH1 0x40
0000058c: MLOAD
0000058d: SWAP1
0000058e: DUP2
0000058f: ADD
00000590: PUSH1 0x40
00000592: MSTORE
00000593: DUP1
00000594: SWAP4
00000595: SWAP3
00000596: SWAP2
00000597: SWAP1
00000598: DUP2
00000599: DUP2
0000059a: MSTORE
0000059b: PUSH1 0x20
0000059d: ADD
0000059e: DUP4
0000059f: DUP4
000005a0: DUP1
000005a1: DUP3
000005a2: DUP5
000005a3: CALLDATACOPY
000005a4: POP
000005a5: POP
000005a6: PUSH1 0x40
000005a8: DUP1
000005a9: MLOAD
000005aa: PUSH1 0x20
000005ac: DUP9
000005ad: CALLDATALOAD
000005ae: DUP1
000005af: DUP12
000005b0: ADD
000005b1: CALLDATALOAD
000005b2: PUSH1 0x1f
000005b4: DUP2
000005b5: ADD
000005b6: DUP4
000005b7: SWAP1
000005b8: DIV
000005b9: DUP4
000005ba: MUL
000005bb: DUP5
000005bc: ADD
000005bd: DUP4
000005be: ADD
000005bf: SWAP1
000005c0: SWAP5
000005c1: MSTORE
000005c2: DUP4
000005c3: DUP4
000005c4: MSTORE
000005c5: SWAP8
000005c6: SWAP10
000005c7: SWAP9
000005c8: PUSH1 0x44
000005ca: SWAP9
000005cb: SWAP3
000005cc: SWAP8
000005cd: POP
000005ce: SWAP2
000005cf: SWAP1
000005d0: SWAP2
000005d1: ADD
000005d2: SWAP5
000005d3: POP
000005d4: SWAP1
000005d5: SWAP3
000005d6: POP
000005d7: DUP3
000005d8: SWAP2
000005d9: POP
000005da: DUP5
000005db: ADD
000005dc: DUP4
000005dd: DUP3
000005de: DUP1
000005df: DUP3
000005e0: DUP5
000005e1: CALLDATACOPY
000005e2: POP
000005e3: POP
000005e4: PUSH1 0x40
000005e6: DUP1
000005e7: MLOAD
000005e8: PUSH1 0x20
000005ea: SWAP8
000005eb: CALLDATALOAD
000005ec: DUP1
000005ed: DUP11
000005ee: ADD
000005ef: CALLDATALOAD
000005f0: PUSH1 0x1f
000005f2: DUP2
000005f3: ADD
000005f4: DUP11
000005f5: SWAP1
000005f6: DIV
000005f7: DUP11
000005f8: MUL
000005f9: DUP4
000005fa: ADD
000005fb: DUP11
000005fc: ADD
000005fd: SWAP1
000005fe: SWAP4
000005ff: MSTORE
00000600: DUP3
00000601: DUP3
00000602: MSTORE
00000603: SWAP7
00000604: SWAP9
00000605: SWAP8
00000606: PUSH1 0x64
00000608: SWAP8
00000609: SWAP2
0000060a: SWAP7
0000060b: POP
0000060c: PUSH1 0x24
0000060e: SWAP2
0000060f: SWAP1
00000610: SWAP2
00000611: ADD
00000612: SWAP5
00000613: POP
00000614: SWAP1
00000615: SWAP3
00000616: POP
00000617: DUP3
00000618: SWAP2
00000619: POP
0000061a: DUP5
0000061b: ADD
0000061c: DUP4
0000061d: DUP3
0000061e: DUP1
0000061f: DUP3
00000620: DUP5
00000621: CALLDATACOPY
00000622: POP
00000623: SWAP5
00000624: SWAP7
00000625: POP
00000626: POP
00000627: POP
00000628: POP
00000629: POP
0000062a: POP
0000062b: POP
0000062c: PUSH2 0x1029
0000062f: PUSH2 0x02ab
00000632: JUMP
00000633: JUMPDEST
00000634: PUSH2 0x00cf
00000637: PUSH1 0x04
00000639: DUP1
0000063a: DUP1
0000063b: CALLDATALOAD
0000063c: SWAP1
0000063d: PUSH1 0x20
0000063f: ADD
00000640: SWAP1
00000641: DUP3
00000642: ADD
00000643: DUP1
00000644: CALLDATALOAD
00000645: SWAP1
00000646: PUSH1 0x20
00000648: ADD
00000649: SWAP2
0000064a: SWAP2
0000064b: SWAP1
0000064c: DUP1
0000064d: DUP1
0000064e: PUSH1 0x1f
00000650: ADD
00000651: PUSH1 0x20
00000653: DUP1
00000654: SWAP2
00000655: DIV
00000656: MUL
00000657: PUSH1 0x20
00000659: ADD
0000065a: PUSH1 0x40
0000065c: MLOAD
0000065d: SWAP1
0000065e: DUP2
0000065f: ADD
00000660: PUSH1 0x40
00000662: MSTORE
00000663: DUP1
00000664: SWAP4
00000665: SWAP3
00000666: SWAP2
00000667: SWAP1
00000668: DUP2
00000669: DUP2
0000066a: MSTORE
0000066b: PUSH1 0x20
0000066d: ADD
0000066e: DUP4
0000066f: DUP4
00000670: DUP1
00000671: DUP3
00000672: DUP5
00000673: CALLDATACOPY
00000674: POP
00000675: SWAP5
00000676: SWAP7
00000677: POP
00000678: POP
00000679: POP
0000067a: POP
0000067b: POP
0000067c: POP
0000067d: POP
0000067e: PUSH1 0x00
00000680: CALLER
00000681: PUSH1 0x01
00000683: PUSH1 0xa0
00000685: PUSH1 0x02
00000687: EXP
00000688: SUB
00000689: AND
0000068a: PUSH1 0x02
0000068c: PUSH1 0x00
0000068e: POP
0000068f: DUP4
00000690: PUSH1 0x40
00000692: MLOAD
00000693: DUP1
00000694: DUP3
00000695: DUP1
00000696: MLOAD
00000697: SWAP1
00000698: PUSH1 0x20
0000069a: ADD
0000069b: SWAP1
0000069c: DUP1
0000069d: DUP4
0000069e: DUP4
0000069f: DUP3
000006a0: SWAP1
000006a1: PUSH1 0x00
000006a3: PUSH1 0x04
000006a5: PUSH1 0x20
000006a7: DUP5
000006a8: PUSH1 0x1f
000006aa: ADD
000006ab: DIV
000006ac: PUSH1 0x0f
000006ae: MUL
000006af: PUSH1 0x03
000006b1: ADD
000006b2: CALL
000006b3: POP
000006b4: SWAP1
000006b5: POP
000006b6: ADD
000006b7: SWAP2
000006b8: POP
000006b9: POP
000006ba: SWAP1
000006bb: DUP2
000006bc: MSTORE
000006bd: PUSH1 0x20
000006bf: ADD
000006c0: PUSH1 0x40
000006c2: MLOAD
000006c3: DUP1
000006c4: SWAP2
000006c5: SUB
000006c6: SWAP1
000006c7: KECCAK256
000006c8: PUSH1 0x00
000006ca: POP
000006cb: PUSH1 0x00
000006cd: ADD
000006ce: PUSH1 0x00
000006d0: SWAP1
000006d1: SLOAD
000006d2: SWAP1
000006d3: PUSH2 0x0100
000006d6: EXP
000006d7: SWAP1
000006d8: DIV
000006d9: PUSH1 0x01
000006db: PUSH1 0xa0
000006dd: PUSH1 0x02
000006df: EXP
000006e0: SUB
000006e1: AND
000006e2: PUSH1 0x01
000006e4: PUSH1 0xa0
000006e6: PUSH1 0x02
000006e8: EXP
000006e9: SUB
000006ea: AND
000006eb: EQ
000006ec: ISZERO
000006ed: PUSH2 0x1468
000006f0: JUMPI
000006f1: PUSH1 0x02
000006f3: PUSH1 0x00
000006f5: POP
000006f6: DUP3
000006f7: PUSH1 0x40
000006f9: MLOAD
000006fa: DUP1
000006fb: DUP3
000006fc: DUP1
000006fd: MLOAD
000006fe: SWAP1
000006ff: PUSH1 0x20
00000701: ADD
00000702: SWAP1
00000703: DUP1
00000704: DUP4
00000705: DUP4
00000706: DUP3
00000707: SWAP1
00000708: PUSH1 0x00
0000070a: PUSH1 0x04
0000070c: PUSH1 0x20
0000070e: DUP5
0000070f: PUSH1 0x1f
00000711: ADD
00000712: DIV
00000713: PUSH1 0x0f
00000715: MUL
00000716: PUSH1 0x03
00000718: ADD
00000719: CALL
0000071a: POP
0000071b: SWAP1
0000071c: POP
0000071d: ADD
0000071e: SWAP2
0000071f: POP
00000720: POP
00000721: SWAP1
00000722: DUP2
00000723: MSTORE
00000724: PUSH1 0x20
00000726: ADD
00000727: PUSH1 0x40
00000729: MLOAD
0000072a: DUP1
0000072b: SWAP2
0000072c: SUB
0000072d: SWAP1
0000072e: KECCAK256
0000072f: PUSH1 0x00
00000731: POP
00000732: PUSH1 0x02
00000734: ADD
00000735: PUSH1 0x00
00000737: POP
00000738: SLOAD
00000739: SWAP1
0000073a: POP
0000073b: PUSH1 0x02
0000073d: PUSH1 0x00
0000073f: POP
00000740: DUP3
00000741: PUSH1 0x40
00000743: MLOAD
00000744: DUP1
00000745: DUP3
00000746: DUP1
00000747: MLOAD
00000748: SWAP1
00000749: PUSH1 0x20
0000074b: ADD
0000074c: SWAP1
0000074d: DUP1
0000074e: DUP4
0000074f: DUP4
00000750: DUP3
00000751: SWAP1
00000752: PUSH1 0x00
00000754: PUSH1 0x04
00000756: PUSH1 0x20
00000758: DUP5
00000759: PUSH1 0x1f
0000075b: ADD
0000075c: DIV
0000075d: PUSH1 0x0f
0000075f: MUL
00000760: PUSH1 0x03
00000762: ADD
00000763: CALL
00000764: POP
00000765: SWAP1
00000766: POP
00000767: ADD
00000768: SWAP2
00000769: POP
0000076a: POP
0000076b: SWAP1
0000076c: DUP2
0000076d: MSTORE
0000076e: PUSH1 0x20
00000770: ADD
00000771: PUSH1 0x40
00000773: MLOAD
00000774: DUP1
00000775: SWAP2
00000776: SUB
00000777: SWAP1
00000778: KECCAK256
00000779: PUSH1 0x00
0000077b: PUSH1 0x00
0000077d: DUP3
0000077e: ADD
0000077f: PUSH1 0x00
00000781: PUSH2 0x0100
00000784: EXP
00000785: DUP2
00000786: SLOAD
00000787: SWAP1
00000788: PUSH1 0x01
0000078a: PUSH1 0xa0
0000078c: PUSH1 0x02
0000078e: EXP
0000078f: SUB
00000790: MUL
00000791: NOT
00000792: AND
00000793: SWAP1
00000794: SSTORE
00000795: PUSH1 0x01
00000797: DUP3
00000798: ADD
00000799: PUSH1 0x00
0000079b: POP
0000079c: PUSH1 0x00
0000079e: SWAP1
0000079f: SSTORE
000007a0: PUSH1 0x02
000007a2: DUP3
000007a3: ADD
000007a4: PUSH1 0x00
000007a6: POP
000007a7: PUSH1 0x00
000007a9: SWAP1
000007aa: SSTORE
000007ab: PUSH1 0x03
000007ad: DUP3
000007ae: ADD
000007af: PUSH1 0x00
000007b1: POP
000007b2: DUP1
000007b3: SLOAD
000007b4: PUSH1 0x01
000007b6: DUP2
000007b7: PUSH1 0x01
000007b9: AND
000007ba: ISZERO
000007bb: PUSH2 0x0100
000007be: MUL
000007bf: SUB
000007c0: AND
000007c1: PUSH1 0x02
000007c3: SWAP1
000007c4: DIV
000007c5: PUSH1 0x00
000007c7: DUP3
000007c8: SSTORE
000007c9: DUP1
000007ca: PUSH1 0x1f
000007cc: LT
000007cd: PUSH2 0x146c
000007d0: JUMPI
000007d1: POP
000007d2: JUMPDEST
000007d3: POP
000007d4: PUSH1 0x04
000007d6: DUP3
000007d7: ADD
000007d8: PUSH1 0x00
000007da: POP
000007db: DUP1
000007dc: SLOAD
000007dd: PUSH1 0x01
000007df: DUP2
000007e0: PUSH1 0x01
000007e2: AND
000007e3: ISZERO
000007e4: PUSH2 0x0100
000007e7: MUL
000007e8: SUB
000007e9: AND
000007ea: PUSH1 0x02
000007ec: SWAP1
000007ed: DIV
000007ee: PUSH1 0x00
000007f0: DUP3
000007f1: SSTORE
000007f2: DUP1
000007f3: PUSH1 0x1f
000007f5: LT
000007f6: PUSH2 0x148a
000007f9: JUMPI
000007fa: POP
000007fb: JUMPDEST
000007fc: POP
000007fd: POP
000007fe: PUSH1 0x03
00000800: DUP1
00000801: SLOAD
00000802: PUSH1 0x00
00000804: NOT
00000805: SWAP1
00000806: DUP2
00000807: ADD
00000808: SWAP1
00000809: SWAP2
0000080a: SSTORE
0000080b: PUSH1 0x04
0000080d: DUP1
0000080e: SLOAD
0000080f: SWAP1
00000810: SWAP3
00000811: POP
00000812: SWAP1
00000813: DUP2
00000814: ADD
00000815: SWAP1
00000816: DUP2
00000817: LT
00000818: ISZERO
00000819: PUSH2 0x0002
0000081c: JUMPI
0000081d: POP
0000081e: DUP1
0000081f: SLOAD
00000820: PUSH1 0x00
00000822: DUP3
00000823: SWAP1
00000824: MSTORE
00000825: PUSH32 0x8a35acfbc15ff81a39ae7d344fd709f28e8600b4aa8c65c6b64bfe7fe36bd19a
00000846: DUP2
00000847: ADD
00000848: SWAP2
00000849: SWAP1
0000084a: DUP4
0000084b: SWAP1
0000084c: DUP2
0000084d: LT
0000084e: ISZERO
0000084f: PUSH2 0x0002
00000852: JUMPI
00000853: PUSH1 0x00
00000855: SWAP2
00000856: DUP3
00000857: MSTORE
00000858: PUSH1 0x00
0000085a: DUP1
0000085b: MLOAD
0000085c: PUSH1 0x20
0000085e: PUSH2 0x1934
00000861: DUP4
00000862: CODECOPY
00000863: DUP2
00000864: MLOAD
00000865: SWAP2
00000866: MSTORE
00000867: ADD
00000868: SWAP1
00000869: POP
0000086a: SWAP1
0000086b: DUP1
0000086c: SLOAD
0000086d: PUSH1 0x01
0000086f: DUP2
00000870: PUSH1 0x01
00000872: AND
00000873: ISZERO
00000874: PUSH2 0x0100
00000877: MUL
00000878: SUB
00000879: AND
0000087a: PUSH1 0x02
0000087c: SWAP1
0000087d: DIV
0000087e: DUP3
0000087f: DUP1
00000880: SLOAD
00000881: PUSH1 0x01
00000883: DUP2
00000884: PUSH1 0x01
00000886: AND
00000887: ISZERO
00000888: PUSH2 0x0100
0000088b: MUL
0000088c: SUB
0000088d: AND
0000088e: PUSH1 0x02
00000890: SWAP1
00000891: DIV
00000892: SWAP1
00000893: PUSH1 0x00
00000895: MSTORE
00000896: PUSH1 0x20
00000898: PUSH1 0x00
0000089a: KECCAK256
0000089b: SWAP1
0000089c: PUSH1 0x1f
0000089e: ADD
0000089f: PUSH1 0x20
000008a1: SWAP1
000008a2: DIV
000008a3: DUP2
000008a4: ADD
000008a5: SWAP3
000008a6: DUP3
000008a7: PUSH1 0x1f
000008a9: LT
000008aa: PUSH2 0x14a8
000008ad: JUMPI
000008ae: DUP1
000008af: SLOAD
000008b0: DUP6
000008b1: SSTORE
000008b2: JUMPDEST
000008b3: POP
000008b4: PUSH2 0x14e4
000008b7: SWAP3
000008b8: SWAP2
000008b9: POP
000008ba: PUSH2 0x0483
000008bd: JUMP
000008be: JUMPDEST
000008bf: PUSH2 0x0cba
000008c2: PUSH1 0x04
000008c4: CALLDATALOAD
000008c5: PUSH1 0x40
000008c7: DUP1
000008c8: MLOAD
000008c9: PUSH1 0x20
000008cb: DUP2
000008cc: DUP2
000008cd: ADD
000008ce: DUP4
000008cf: MSTORE
000008d0: PUSH1 0x00
000008d2: DUP1
000008d3: DUP4
000008d4: MSTORE
000008d5: DUP4
000008d6: MLOAD
000008d7: DUP1
000008d8: DUP4
000008d9: ADD
000008da: DUP6
000008db: MSTORE
000008dc: DUP2
000008dd: DUP2
000008de: MSTORE
000008df: DUP5
000008e0: MLOAD
000008e1: SWAP3
000008e2: DUP4
000008e3: ADD
000008e4: SWAP1
000008e5: SWAP5
000008e6: MSTORE
000008e7: DUP1
000008e8: DUP3
000008e9: MSTORE
000008ea: PUSH1 0x04
000008ec: DUP1
000008ed: SLOAD
000008ee: SWAP4
000008ef: SWAP5
000008f0: SWAP2
000008f1: SWAP4
000008f2: DUP5
000008f3: SWAP4
000008f4: SWAP2
000008f5: DUP5
000008f6: SWAP2
000008f7: PUSH1 0x02
000008f9: SWAP2
000008fa: SWAP1
000008fb: DUP10
000008fc: SWAP1
000008fd: DUP2
000008fe: LT
000008ff: ISZERO
00000900: PUSH2 0x0002
00000903: JUMPI
00000904: SWAP1
00000905: DUP4
00000906: MSTORE
00000907: PUSH1 0x00
00000909: DUP1
0000090a: MLOAD
0000090b: PUSH1 0x20
0000090d: PUSH2 0x1934
00000910: DUP4
00000911: CODECOPY
00000912: DUP2
00000913: MLOAD
00000914: SWAP2
00000915: MSTORE
00000916: ADD
00000917: DUP3
00000918: POP
00000919: PUSH1 0x40
0000091b: MLOAD
0000091c: DUP1
0000091d: DUP3
0000091e: DUP1
0000091f: SLOAD
00000920: PUSH1 0x01
00000922: DUP2
00000923: PUSH1 0x01
00000925: AND
00000926: ISZERO
00000927: PUSH2 0x0100
0000092a: MUL
0000092b: SUB
0000092c: AND
0000092d: PUSH1 0x02
0000092f: SWAP1
00000930: DIV
00000931: DUP1
00000932: ISZERO
00000933: PUSH2 0x162b
00000936: JUMPI
00000937: DUP1
00000938: PUSH1 0x1f
0000093a: LT
0000093b: PUSH2 0x1609
0000093e: JUMPI
0000093f: PUSH2 0x0100
00000942: DUP1
00000943: DUP4
00000944: SLOAD
00000945: DIV
00000946: MUL
00000947: DUP4
00000948: MSTORE
00000949: SWAP2
0000094a: DUP3
0000094b: ADD
0000094c: SWAP2
0000094d: PUSH2 0x162b
00000950: JUMP
00000951: JUMPDEST
00000952: PUSH2 0x0c9d
00000955: PUSH1 0x00
00000957: SLOAD
00000958: PUSH1 0x01
0000095a: PUSH1 0xa0
0000095c: PUSH1 0x02
0000095e: EXP
0000095f: SUB
00000960: AND
00000961: DUP2
00000962: JUMP
00000963: JUMPDEST
00000964: PUSH2 0x0c8b
00000967: PUSH1 0x04
00000969: DUP1
0000096a: DUP1
0000096b: CALLDATALOAD
0000096c: SWAP1
0000096d: PUSH1 0x20
0000096f: ADD
00000970: SWAP1
00000971: DUP3
00000972: ADD
00000973: DUP1
00000974: CALLDATALOAD
00000975: SWAP1
00000976: PUSH1 0x20
00000978: ADD
00000979: SWAP2
0000097a: SWAP2
0000097b: SWAP1
0000097c: DUP1
0000097d: DUP1
0000097e: PUSH1 0x1f
00000980: ADD
00000981: PUSH1 0x20
00000983: DUP1
00000984: SWAP2
00000985: DIV
00000986: MUL
00000987: PUSH1 0x20
00000989: ADD
0000098a: PUSH1 0x40
0000098c: MLOAD
0000098d: SWAP1
0000098e: DUP2
0000098f: ADD
00000990: PUSH1 0x40
00000992: MSTORE
00000993: DUP1
00000994: SWAP4
00000995: SWAP3
00000996: SWAP2
00000997: SWAP1
00000998: DUP2
00000999: DUP2
0000099a: MSTORE
0000099b: PUSH1 0x20
0000099d: ADD
0000099e: DUP4
0000099f: DUP4
000009a0: DUP1
000009a1: DUP3
000009a2: DUP5
000009a3: CALLDATACOPY
000009a4: POP
000009a5: SWAP5
000009a6: SWAP7
000009a7: POP
000009a8: POP
000009a9: POP
000009aa: POP
000009ab: POP
000009ac: POP
000009ad: POP
000009ae: PUSH1 0x00
000009b0: PUSH1 0x02
000009b2: PUSH1 0x00
000009b4: POP
000009b5: DUP3
000009b6: PUSH1 0x40
000009b8: MLOAD
000009b9: DUP1
000009ba: DUP3
000009bb: DUP1
000009bc: MLOAD
000009bd: SWAP1
000009be: PUSH1 0x20
000009c0: ADD
000009c1: SWAP1
000009c2: DUP1
000009c3: DUP4
000009c4: DUP4
000009c5: DUP3
000009c6: SWAP1
000009c7: PUSH1 0x00
000009c9: PUSH1 0x04
000009cb: PUSH1 0x20
000009cd: DUP5
000009ce: PUSH1 0x1f
000009d0: ADD
000009d1: DIV
000009d2: PUSH1 0x0f
000009d4: MUL
000009d5: PUSH1 0x03
000009d7: ADD
000009d8: CALL
000009d9: POP
000009da: SWAP1
000009db: POP
000009dc: ADD
000009dd: SWAP2
000009de: POP
000009df: POP
000009e0: SWAP1
000009e1: DUP2
000009e2: MSTORE
000009e3: PUSH1 0x20
000009e5: ADD
000009e6: PUSH1 0x40
000009e8: MLOAD
000009e9: DUP1
000009ea: SWAP2
000009eb: SUB
000009ec: SWAP1
000009ed: KECCAK256
000009ee: PUSH1 0x00
000009f0: POP
000009f1: PUSH1 0x01
000009f3: ADD
000009f4: PUSH1 0x00
000009f6: POP
000009f7: SLOAD
000009f8: SWAP1
000009f9: POP
000009fa: PUSH2 0x055e
000009fd: JUMP
000009fe: JUMPDEST
000009ff: PUSH2 0x0c8b
00000a02: PUSH1 0x03
00000a04: SLOAD
00000a05: DUP2
00000a06: JUMP
00000a07: JUMPDEST
00000a08: PUSH2 0x0dfd
00000a0b: PUSH1 0x04
00000a0d: DUP1
00000a0e: DUP1
00000a0f: CALLDATALOAD
00000a10: SWAP1
00000a11: PUSH1 0x20
00000a13: ADD
00000a14: SWAP1
00000a15: DUP3
00000a16: ADD
00000a17: DUP1
00000a18: CALLDATALOAD
00000a19: SWAP1
00000a1a: PUSH1 0x20
00000a1c: ADD
00000a1d: SWAP2
00000a1e: SWAP2
00000a1f: SWAP1
00000a20: DUP1
00000a21: DUP1
00000a22: PUSH1 0x1f
00000a24: ADD
00000a25: PUSH1 0x20
00000a27: DUP1
00000a28: SWAP2
00000a29: DIV
00000a2a: MUL
00000a2b: PUSH1 0x20
00000a2d: ADD
00000a2e: PUSH1 0x40
00000a30: MLOAD
00000a31: SWAP1
00000a32: DUP2
00000a33: ADD
00000a34: PUSH1 0x40
00000a36: MSTORE
00000a37: DUP1
00000a38: SWAP4
00000a39: SWAP3
00000a3a: SWAP2
00000a3b: SWAP1
00000a3c: DUP2
00000a3d: DUP2
00000a3e: MSTORE
00000a3f: PUSH1 0x20
00000a41: ADD
00000a42: DUP4
00000a43: DUP4
00000a44: DUP1
00000a45: DUP3
00000a46: DUP5
00000a47: CALLDATACOPY
00000a48: POP
00000a49: SWAP5
00000a4a: SWAP7
00000a4b: POP
00000a4c: POP
00000a4d: POP
00000a4e: POP
00000a4f: POP
00000a50: POP
00000a51: POP
00000a52: PUSH1 0x00
00000a54: PUSH1 0x02
00000a56: PUSH1 0x00
00000a58: POP
00000a59: DUP3
00000a5a: PUSH1 0x40
00000a5c: MLOAD
00000a5d: DUP1
00000a5e: DUP3
00000a5f: DUP1
00000a60: MLOAD
00000a61: SWAP1
00000a62: PUSH1 0x20
00000a64: ADD
00000a65: SWAP1
00000a66: DUP1
00000a67: DUP4
00000a68: DUP4
00000a69: DUP3
00000a6a: SWAP1
00000a6b: PUSH1 0x00
00000a6d: PUSH1 0x04
00000a6f: PUSH1 0x20
00000a71: DUP5
00000a72: PUSH1 0x1f
00000a74: ADD
00000a75: DIV
00000a76: PUSH1 0x0f
00000a78: MUL
00000a79: PUSH1 0x03
00000a7b: ADD
00000a7c: CALL
00000a7d: POP
00000a7e: SWAP1
00000a7f: POP
00000a80: ADD
00000a81: SWAP2
00000a82: POP
00000a83: POP
00000a84: SWAP1
00000a85: DUP2
00000a86: MSTORE
00000a87: PUSH1 0x20
00000a89: ADD
00000a8a: PUSH1 0x40
00000a8c: MLOAD
00000a8d: DUP1
00000a8e: SWAP2
00000a8f: SUB
00000a90: SWAP1
00000a91: KECCAK256
00000a92: PUSH1 0x00
00000a94: POP
00000a95: PUSH1 0x01
00000a97: ADD
00000a98: PUSH1 0x00
00000a9a: POP
00000a9b: SLOAD
00000a9c: PUSH1 0x00
00000a9e: EQ
00000a9f: ISZERO
00000aa0: SWAP1
00000aa1: POP
00000aa2: PUSH2 0x055e
00000aa5: JUMP
00000aa6: JUMPDEST
00000aa7: PUSH2 0x0c8b
00000aaa: PUSH1 0x01
00000aac: SLOAD
00000aad: DUP2
00000aae: JUMP
00000aaf: JUMPDEST
00000ab0: PUSH2 0x0c8b
00000ab3: PUSH1 0x05
00000ab5: SLOAD
00000ab6: DUP2
00000ab7: JUMP
00000ab8: JUMPDEST
00000ab9: PUSH2 0x00cf
00000abc: PUSH1 0x04
00000abe: CALLDATALOAD
00000abf: PUSH1 0x24
00000ac1: CALLDATALOAD
00000ac2: PUSH1 0x00
00000ac4: SLOAD
00000ac5: PUSH1 0x01
00000ac7: PUSH1 0xa0
00000ac9: PUSH1 0x02
00000acb: EXP
00000acc: SUB
00000acd: SWAP1
00000ace: DUP2
00000acf: AND
00000ad0: CALLER
00000ad1: SWAP2
00000ad2: SWAP1
00000ad3: SWAP2
00000ad4: AND
00000ad5: EQ
00000ad6: PUSH2 0x183a
00000ad9: JUMPI
00000ada: PUSH2 0x0002
00000add: JUMP
00000ade: JUMPDEST
00000adf: PUSH2 0x00cf
00000ae2: PUSH1 0x04
00000ae4: DUP1
00000ae5: DUP1
00000ae6: CALLDATALOAD
00000ae7: SWAP1
00000ae8: PUSH1 0x20
00000aea: ADD
00000aeb: SWAP1
00000aec: DUP3
00000aed: ADD
00000aee: DUP1
00000aef: CALLDATALOAD
00000af0: SWAP1
00000af1: PUSH1 0x20
00000af3: ADD
00000af4: SWAP2
00000af5: SWAP2
00000af6: SWAP1
00000af7: DUP1
00000af8: DUP1
00000af9: PUSH1 0x1f
00000afb: ADD
00000afc: PUSH1 0x20
00000afe: DUP1
00000aff: SWAP2
00000b00: DIV
00000b01: MUL
00000b02: PUSH1 0x20
00000b04: ADD
00000b05: PUSH1 0x40
00000b07: MLOAD
00000b08: SWAP1
00000b09: DUP2
00000b0a: ADD
00000b0b: PUSH1 0x40
00000b0d: MSTORE
00000b0e: DUP1
00000b0f: SWAP4
00000b10: SWAP3
00000b11: SWAP2
00000b12: SWAP1
00000b13: DUP2
00000b14: DUP2
00000b15: MSTORE
00000b16: PUSH1 0x20
00000b18: ADD
00000b19: DUP4
00000b1a: DUP4
00000b1b: DUP1
00000b1c: DUP3
00000b1d: DUP5
00000b1e: CALLDATACOPY
00000b1f: POP
00000b20: SWAP5
00000b21: SWAP7
00000b22: POP
00000b23: POP
00000b24: SWAP4
00000b25: CALLDATALOAD
00000b26: SWAP4
00000b27: POP
00000b28: POP
00000b29: POP
00000b2a: POP
00000b2b: PUSH1 0x05
00000b2d: SLOAD
00000b2e: CALLVALUE
00000b2f: LT
00000b30: ISZERO
00000b31: PUSH2 0x185e
00000b34: JUMPI
00000b35: PUSH2 0x0002
00000b38: JUMP
00000b39: JUMPDEST
00000b3a: PUSH1 0x40
00000b3c: MLOAD
00000b3d: DUP1
00000b3e: DUP1
00000b3f: PUSH1 0x20
00000b41: ADD
00000b42: DUP3
00000b43: DUP2
00000b44: SUB
00000b45: DUP3
00000b46: MSTORE
00000b47: DUP4
00000b48: DUP2
00000b49: DUP2
00000b4a: MLOAD
00000b4b: DUP2
00000b4c: MSTORE
00000b4d: PUSH1 0x20
00000b4f: ADD
00000b50: SWAP2
00000b51: POP
00000b52: DUP1
00000b53: MLOAD
00000b54: SWAP1
00000b55: PUSH1 0x20
00000b57: ADD
00000b58: SWAP1
00000b59: DUP1
00000b5a: DUP4
00000b5b: DUP4
00000b5c: DUP3
00000b5d: SWAP1
00000b5e: PUSH1 0x00
00000b60: PUSH1 0x04
00000b62: PUSH1 0x20
00000b64: DUP5
00000b65: PUSH1 0x1f
00000b67: ADD
00000b68: DIV
00000b69: PUSH1 0x0f
00000b6b: MUL
00000b6c: PUSH1 0x03
00000b6e: ADD
00000b6f: CALL
00000b70: POP
00000b71: SWAP1
00000b72: POP
00000b73: SWAP1
00000b74: DUP2
00000b75: ADD
00000b76: SWAP1
00000b77: PUSH1 0x1f
00000b79: AND
00000b7a: DUP1
00000b7b: ISZERO
00000b7c: PUSH2 0x0b99
00000b7f: JUMPI
00000b80: DUP1
00000b81: DUP3
00000b82: SUB
00000b83: DUP1
00000b84: MLOAD
00000b85: PUSH1 0x01
00000b87: DUP4
00000b88: PUSH1 0x20
00000b8a: SUB
00000b8b: PUSH2 0x0100
00000b8e: EXP
00000b8f: SUB
00000b90: NOT
00000b91: AND
00000b92: DUP2
00000b93: MSTORE
00000b94: PUSH1 0x20
00000b96: ADD
00000b97: SWAP2
00000b98: POP
00000b99: JUMPDEST
00000b9a: POP
00000b9b: SWAP3
00000b9c: POP
00000b9d: POP
00000b9e: POP
00000b9f: PUSH1 0x40
00000ba1: MLOAD
00000ba2: DUP1
00000ba3: SWAP2
00000ba4: SUB
00000ba5: SWAP1
00000ba6: RETURN
00000ba7: JUMPDEST
00000ba8: PUSH1 0x40
00000baa: MLOAD
00000bab: DUP1
00000bac: DUP6
00000bad: PUSH1 0x01
00000baf: PUSH1 0xa0
00000bb1: PUSH1 0x02
00000bb3: EXP
00000bb4: SUB
00000bb5: AND
00000bb6: DUP2
00000bb7: MSTORE
00000bb8: PUSH1 0x20
00000bba: ADD
00000bbb: DUP5
00000bbc: DUP2
00000bbd: MSTORE
00000bbe: PUSH1 0x20
00000bc0: ADD
00000bc1: DUP1
00000bc2: PUSH1 0x20
00000bc4: ADD
00000bc5: DUP1
00000bc6: PUSH1 0x20
00000bc8: ADD
00000bc9: DUP4
00000bca: DUP2
00000bcb: SUB
00000bcc: DUP4
00000bcd: MSTORE
00000bce: DUP6
00000bcf: DUP2
00000bd0: DUP2
00000bd1: MLOAD
00000bd2: DUP2
00000bd3: MSTORE
00000bd4: PUSH1 0x20
00000bd6: ADD
00000bd7: SWAP2
00000bd8: POP
00000bd9: DUP1
00000bda: MLOAD
00000bdb: SWAP1
00000bdc: PUSH1 0x20
00000bde: ADD
00000bdf: SWAP1
00000be0: DUP1
00000be1: DUP4
00000be2: DUP4
00000be3: DUP3
00000be4: SWAP1
00000be5: PUSH1 0x00
00000be7: PUSH1 0x04
00000be9: PUSH1 0x20
00000beb: DUP5
00000bec: PUSH1 0x1f
00000bee: ADD
00000bef: DIV
00000bf0: PUSH1 0x0f
00000bf2: MUL
00000bf3: PUSH1 0x03
00000bf5: ADD
00000bf6: CALL
00000bf7: POP
00000bf8: SWAP1
00000bf9: POP
00000bfa: SWAP1
00000bfb: DUP2
00000bfc: ADD
00000bfd: SWAP1
00000bfe: PUSH1 0x1f
00000c00: AND
00000c01: DUP1
00000c02: ISZERO
00000c03: PUSH2 0x0c20
00000c06: JUMPI
00000c07: DUP1
00000c08: DUP3
00000c09: SUB
00000c0a: DUP1
00000c0b: MLOAD
00000c0c: PUSH1 0x01
00000c0e: DUP4
00000c0f: PUSH1 0x20
00000c11: SUB
00000c12: PUSH2 0x0100
00000c15: EXP
00000c16: SUB
00000c17: NOT
00000c18: AND
00000c19: DUP2
00000c1a: MSTORE
00000c1b: PUSH1 0x20
00000c1d: ADD
00000c1e: SWAP2
00000c1f: POP
00000c20: JUMPDEST
00000c21: POP
00000c22: DUP4
00000c23: DUP2
00000c24: SUB
00000c25: DUP3
00000c26: MSTORE
00000c27: DUP5
00000c28: DUP2
00000c29: DUP2
00000c2a: MLOAD
00000c2b: DUP2
00000c2c: MSTORE
00000c2d: PUSH1 0x20
00000c2f: ADD
00000c30: SWAP2
00000c31: POP
00000c32: DUP1
00000c33: MLOAD
00000c34: SWAP1
00000c35: PUSH1 0x20
00000c37: ADD
00000c38: SWAP1
00000c39: DUP1
00000c3a: DUP4
00000c3b: DUP4
00000c3c: DUP3
00000c3d: SWAP1
00000c3e: PUSH1 0x00
00000c40: PUSH1 0x04
00000c42: PUSH1 0x20
00000c44: DUP5
00000c45: PUSH1 0x1f
00000c47: ADD
00000c48: DIV
00000c49: PUSH1 0x0f
00000c4b: MUL
00000c4c: PUSH1 0x03
00000c4e: ADD
00000c4f: CALL
00000c50: POP
00000c51: SWAP1
00000c52: POP
00000c53: SWAP1
00000c54: DUP2
00000c55: ADD
00000c56: SWAP1
00000c57: PUSH1 0x1f
00000c59: AND
00000c5a: DUP1
00000c5b: ISZERO
00000c5c: PUSH2 0x0c79
00000c5f: JUMPI
00000c60: DUP1
00000c61: DUP3
00000c62: SUB
00000c63: DUP1
00000c64: MLOAD
00000c65: PUSH1 0x01
00000c67: DUP4
00000c68: PUSH1 0x20
00000c6a: SUB
00000c6b: PUSH2 0x0100
00000c6e: EXP
00000c6f: SUB
00000c70: NOT
00000c71: AND
00000c72: DUP2
00000c73: MSTORE
00000c74: PUSH1 0x20
00000c76: ADD
00000c77: SWAP2
00000c78: POP
00000c79: JUMPDEST
00000c7a: POP
00000c7b: SWAP7
00000c7c: POP
00000c7d: POP
00000c7e: POP
00000c7f: POP
00000c80: POP
00000c81: POP
00000c82: POP
00000c83: PUSH1 0x40
00000c85: MLOAD
00000c86: DUP1
00000c87: SWAP2
00000c88: SUB
00000c89: SWAP1
00000c8a: RETURN
00000c8b: JUMPDEST
00000c8c: PUSH1 0x40
00000c8e: DUP1
00000c8f: MLOAD
00000c90: SWAP2
00000c91: DUP3
00000c92: MSTORE
00000c93: MLOAD
00000c94: SWAP1
00000c95: DUP2
00000c96: SWAP1
00000c97: SUB
00000c98: PUSH1 0x20
00000c9a: ADD
00000c9b: SWAP1
00000c9c: RETURN
00000c9d: JUMPDEST
00000c9e: PUSH1 0x40
00000ca0: DUP1
00000ca1: MLOAD
00000ca2: PUSH1 0x01
00000ca4: PUSH1 0xa0
00000ca6: PUSH1 0x02
00000ca8: EXP
00000ca9: SUB
00000caa: SWAP3
00000cab: SWAP1
00000cac: SWAP3
00000cad: AND
00000cae: DUP3
00000caf: MSTORE
00000cb0: MLOAD
00000cb1: SWAP1
00000cb2: DUP2
00000cb3: SWAP1
00000cb4: SUB
00000cb5: PUSH1 0x20
00000cb7: ADD
00000cb8: SWAP1
00000cb9: RETURN
00000cba: JUMPDEST
00000cbb: PUSH1 0x40
00000cbd: MLOAD
00000cbe: DUP1
00000cbf: DUP1
00000cc0: PUSH1 0x20
00000cc2: ADD
00000cc3: DUP7
00000cc4: PUSH1 0x01
00000cc6: PUSH1 0xa0
00000cc8: PUSH1 0x02
00000cca: EXP
00000ccb: SUB
00000ccc: AND
00000ccd: DUP2
00000cce: MSTORE
00000ccf: PUSH1 0x20
00000cd1: ADD
00000cd2: DUP6
00000cd3: DUP2
00000cd4: MSTORE
00000cd5: PUSH1 0x20
00000cd7: ADD
00000cd8: DUP1
00000cd9: PUSH1 0x20
00000cdb: ADD
00000cdc: DUP1
00000cdd: PUSH1 0x20
00000cdf: ADD
00000ce0: DUP5
00000ce1: DUP2
00000ce2: SUB
00000ce3: DUP5
00000ce4: MSTORE
00000ce5: DUP10
00000ce6: DUP2
00000ce7: DUP2
00000ce8: MLOAD
00000ce9: DUP2
00000cea: MSTORE
00000ceb: PUSH1 0x20
00000ced: ADD
00000cee: SWAP2
00000cef: POP
00000cf0: DUP1
00000cf1: MLOAD
00000cf2: SWAP1
00000cf3: PUSH1 0x20
00000cf5: ADD
00000cf6: SWAP1
00000cf7: DUP1
00000cf8: DUP4
00000cf9: DUP4
00000cfa: DUP3
00000cfb: SWAP1
00000cfc: PUSH1 0x00
00000cfe: PUSH1 0x04
00000d00: PUSH1 0x20
00000d02: DUP5
00000d03: PUSH1 0x1f
00000d05: ADD
00000d06: DIV
00000d07: PUSH1 0x0f
00000d09: MUL
00000d0a: PUSH1 0x03
00000d0c: ADD
00000d0d: CALL
00000d0e: POP
00000d0f: SWAP1
00000d10: POP
00000d11: SWAP1
00000d12: DUP2
00000d13: ADD
00000d14: SWAP1
00000d15: PUSH1 0x1f
00000d17: AND
00000d18: DUP1
00000d19: ISZERO
00000d1a: PUSH2 0x0d37
00000d1d: JUMPI
00000d1e: DUP1
00000d1f: DUP3
00000d20: SUB
00000d21: DUP1
00000d22: MLOAD
00000d23: PUSH1 0x01
00000d25: DUP4
00000d26: PUSH1 0x20
00000d28: SUB
00000d29: PUSH2 0x0100
00000d2c: EXP
00000d2d: SUB
00000d2e: NOT
00000d2f: AND
00000d30: DUP2
00000d31: MSTORE
00000d32: PUSH1 0x20
00000d34: ADD
00000d35: SWAP2
00000d36: POP
00000d37: JUMPDEST
00000d38: POP
00000d39: DUP5
00000d3a: DUP2
00000d3b: SUB
00000d3c: DUP4
00000d3d: MSTORE
00000d3e: DUP7
00000d3f: DUP2
00000d40: DUP2
00000d41: MLOAD
00000d42: DUP2
00000d43: MSTORE
00000d44: PUSH1 0x20
00000d46: ADD
00000d47: SWAP2
00000d48: POP
00000d49: DUP1
00000d4a: MLOAD
00000d4b: SWAP1
00000d4c: PUSH1 0x20
00000d4e: ADD
00000d4f: SWAP1
00000d50: DUP1
00000d51: DUP4
00000d52: DUP4
00000d53: DUP3
00000d54: SWAP1
00000d55: PUSH1 0x00
00000d57: PUSH1 0x04
00000d59: PUSH1 0x20
00000d5b: DUP5
00000d5c: PUSH1 0x1f
00000d5e: ADD
00000d5f: DIV
00000d60: PUSH1 0x0f
00000d62: MUL
00000d63: PUSH1 0x03
00000d65: ADD
00000d66: CALL
00000d67: POP
00000d68: SWAP1
00000d69: POP
00000d6a: SWAP1
00000d6b: DUP2
00000d6c: ADD
00000d6d: SWAP1
00000d6e: PUSH1 0x1f
00000d70: AND
00000d71: DUP1
00000d72: ISZERO
00000d73: PUSH2 0x0d90
00000d76: JUMPI
00000d77: DUP1
00000d78: DUP3
00000d79: SUB
00000d7a: DUP1
00000d7b: MLOAD
00000d7c: PUSH1 0x01
00000d7e: DUP4
00000d7f: PUSH1 0x20
00000d81: SUB
00000d82: PUSH2 0x0100
00000d85: EXP
00000d86: SUB
00000d87: NOT
00000d88: AND
00000d89: DUP2
00000d8a: MSTORE
00000d8b: PUSH1 0x20
00000d8d: ADD
00000d8e: SWAP2
00000d8f: POP
00000d90: JUMPDEST
00000d91: POP
00000d92: DUP5
00000d93: DUP2
00000d94: SUB
00000d95: DUP3
00000d96: MSTORE
00000d97: DUP6
00000d98: DUP2
00000d99: DUP2
00000d9a: MLOAD
00000d9b: DUP2
00000d9c: MSTORE
00000d9d: PUSH1 0x20
00000d9f: ADD
00000da0: SWAP2
00000da1: POP
00000da2: DUP1
00000da3: MLOAD
00000da4: SWAP1
00000da5: PUSH1 0x20
00000da7: ADD
00000da8: SWAP1
00000da9: DUP1
00000daa: DUP4
00000dab: DUP4
00000dac: DUP3
00000dad: SWAP1
00000dae: PUSH1 0x00
00000db0: PUSH1 0x04
00000db2: PUSH1 0x20
00000db4: DUP5
00000db5: PUSH1 0x1f
00000db7: ADD
00000db8: DIV
00000db9: PUSH1 0x0f
00000dbb: MUL
00000dbc: PUSH1 0x03
00000dbe: ADD
00000dbf: CALL
00000dc0: POP
00000dc1: SWAP1
00000dc2: POP
00000dc3: SWAP1
00000dc4: DUP2
00000dc5: ADD
00000dc6: SWAP1
00000dc7: PUSH1 0x1f
00000dc9: AND
00000dca: DUP1
00000dcb: ISZERO
00000dcc: PUSH2 0x0de9
00000dcf: JUMPI
00000dd0: DUP1
00000dd1: DUP3
00000dd2: SUB
00000dd3: DUP1
00000dd4: MLOAD
00000dd5: PUSH1 0x01
00000dd7: DUP4
00000dd8: PUSH1 0x20
00000dda: SUB
00000ddb: PUSH2 0x0100
00000dde: EXP
00000ddf: SUB
00000de0: NOT
00000de1: AND
00000de2: DUP2
00000de3: MSTORE
00000de4: PUSH1 0x20
00000de6: ADD
00000de7: SWAP2
00000de8: POP
00000de9: JUMPDEST
00000dea: POP
00000deb: SWAP9
00000dec: POP
00000ded: POP
00000dee: POP
00000def: POP
00000df0: POP
00000df1: POP
00000df2: POP
00000df3: POP
00000df4: POP
00000df5: PUSH1 0x40
00000df7: MLOAD
00000df8: DUP1
00000df9: SWAP2
00000dfa: SUB
00000dfb: SWAP1
00000dfc: RETURN
00000dfd: JUMPDEST
00000dfe: PUSH1 0x40
00000e00: DUP1
00000e01: MLOAD
00000e02: SWAP2
00000e03: ISZERO
00000e04: ISZERO
00000e05: DUP3
00000e06: MSTORE
00000e07: MLOAD
00000e08: SWAP1
00000e09: DUP2
00000e0a: SWAP1
00000e0b: SUB
00000e0c: PUSH1 0x20
00000e0e: ADD
00000e0f: SWAP1
00000e10: RETURN
00000e11: JUMPDEST
00000e12: DUP3
00000e13: ADD
00000e14: SWAP2
00000e15: SWAP1
00000e16: PUSH1 0x00
00000e18: MSTORE
00000e19: PUSH1 0x20
00000e1b: PUSH1 0x00
00000e1d: KECCAK256
00000e1e: SWAP1
00000e1f: JUMPDEST
00000e20: DUP2
00000e21: SLOAD
00000e22: DUP2
00000e23: MSTORE
00000e24: SWAP1
00000e25: PUSH1 0x01
00000e27: ADD
00000e28: SWAP1
00000e29: PUSH1 0x20
00000e2b: ADD
00000e2c: DUP1
00000e2d: DUP4
00000e2e: GT
00000e2f: PUSH2 0x0e1f
00000e32: JUMPI
00000e33: DUP3
00000e34: SWAP1
00000e35: SUB
00000e36: PUSH1 0x1f
00000e38: AND
00000e39: DUP3
00000e3a: ADD
00000e3b: SWAP2
00000e3c: JUMPDEST
00000e3d: POP
00000e3e: POP
00000e3f: POP
00000e40: POP
00000e41: POP
00000e42: DUP2
00000e43: JUMP
00000e44: JUMPDEST
00000e45: DUP3
00000e46: ADD
00000e47: SWAP2
00000e48: SWAP1
00000e49: PUSH1 0x00
00000e4b: MSTORE
00000e4c: PUSH1 0x20
00000e4e: PUSH1 0x00
00000e50: KECCAK256
00000e51: SWAP1
00000e52: JUMPDEST
00000e53: DUP2
00000e54: SLOAD
00000e55: DUP2
00000e56: MSTORE
00000e57: SWAP1
00000e58: PUSH1 0x01
00000e5a: ADD
00000e5b: SWAP1
00000e5c: PUSH1 0x20
00000e5e: ADD
00000e5f: DUP1
00000e60: DUP4
00000e61: GT
00000e62: PUSH2 0x0e52
00000e65: JUMPI
00000e66: DUP3
00000e67: SWAP1
00000e68: SUB
00000e69: PUSH1 0x1f
00000e6b: AND
00000e6c: DUP3
00000e6d: ADD
00000e6e: SWAP2
00000e6f: JUMPDEST
00000e70: POP
00000e71: POP
00000e72: PUSH1 0x40
00000e74: DUP1
00000e75: MLOAD
00000e76: PUSH1 0x04
00000e78: DUP8
00000e79: ADD
00000e7a: DUP1
00000e7b: SLOAD
00000e7c: PUSH1 0x20
00000e7e: PUSH1 0x02
00000e80: PUSH1 0x01
00000e82: DUP4
00000e83: AND
00000e84: ISZERO
00000e85: PUSH2 0x0100
00000e88: MUL
00000e89: PUSH1 0x00
00000e8b: NOT
00000e8c: ADD
00000e8d: SWAP1
00000e8e: SWAP3
00000e8f: AND
00000e90: SWAP2
00000e91: SWAP1
00000e92: SWAP2
00000e93: DIV
00000e94: PUSH1 0x1f
00000e96: DUP2
00000e97: ADD
00000e98: DUP3
00000e99: SWAP1
00000e9a: DIV
00000e9b: DUP3
00000e9c: MUL
00000e9d: DUP5
00000e9e: ADD
00000e9f: DUP3
00000ea0: ADD
00000ea1: SWAP1
00000ea2: SWAP5
00000ea3: MSTORE
00000ea4: DUP4
00000ea5: DUP4
00000ea6: MSTORE
00000ea7: SWAP7
00000ea8: SWAP10
00000ea9: POP
00000eaa: SWAP1
00000eab: SWAP6
00000eac: SWAP1
00000ead: SWAP5
00000eae: POP
00000eaf: SWAP1
00000eb0: SWAP3
00000eb1: POP
00000eb2: DUP5
00000eb3: ADD
00000eb4: SWAP1
00000eb5: POP
00000eb6: DUP3
00000eb7: DUP3
00000eb8: DUP1
00000eb9: ISZERO
00000eba: PUSH2 0x0f04
00000ebd: JUMPI
00000ebe: DUP1
00000ebf: PUSH1 0x1f
00000ec1: LT
00000ec2: PUSH2 0x0ed9
00000ec5: JUMPI
00000ec6: PUSH2 0x0100
00000ec9: DUP1
00000eca: DUP4
00000ecb: SLOAD
00000ecc: DIV
00000ecd: MUL
00000ece: DUP4
00000ecf: MSTORE
00000ed0: SWAP2
00000ed1: PUSH1 0x20
00000ed3: ADD
00000ed4: SWAP2
00000ed5: PUSH2 0x0f04
00000ed8: JUMP
00000ed9: JUMPDEST
00000eda: DUP3
00000edb: ADD
00000edc: SWAP2
00000edd: SWAP1
00000ede: PUSH1 0x00
00000ee0: MSTORE
00000ee1: PUSH1 0x20
00000ee3: PUSH1 0x00
00000ee5: KECCAK256
00000ee6: SWAP1
00000ee7: JUMPDEST
00000ee8: DUP2
00000ee9: SLOAD
00000eea: DUP2
00000eeb: MSTORE
00000eec: SWAP1
00000eed: PUSH1 0x01
00000eef: ADD
00000ef0: SWAP1
00000ef1: PUSH1 0x20
00000ef3: ADD
00000ef4: DUP1
00000ef5: DUP4
00000ef6: GT
00000ef7: PUSH2 0x0ee7
00000efa: JUMPI
00000efb: DUP3
00000efc: SWAP1
00000efd: SUB
00000efe: PUSH1 0x1f
00000f00: AND
00000f01: DUP3
00000f02: ADD
00000f03: SWAP2
00000f04: JUMPDEST
00000f05: POP
00000f06: SWAP4
00000f07: SWAP6
00000f08: POP
00000f09: POP
00000f0a: POP
00000f0b: POP
00000f0c: POP
00000f0d: POP
00000f0e: SWAP2
00000f0f: SWAP4
00000f10: POP
00000f11: SWAP2
00000f12: SWAP4
00000f13: JUMP
00000f14: JUMPDEST
00000f15: POP
00000f16: POP
00000f17: JUMPDEST
00000f18: POP
00000f19: POP
00000f1a: POP
00000f1b: JUMP
00000f1c: JUMPDEST
00000f1d: DUP3
00000f1e: DUP1
00000f1f: ADD
00000f20: PUSH1 0x01
00000f22: ADD
00000f23: DUP6
00000f24: SSTORE
00000f25: DUP3
00000f26: ISZERO
00000f27: PUSH2 0x047b
00000f2a: JUMPI
00000f2b: SWAP2
00000f2c: DUP3
00000f2d: ADD
00000f2e: JUMPDEST
00000f2f: DUP3
00000f30: DUP2
00000f31: GT
00000f32: ISZERO
00000f33: PUSH2 0x047b
00000f36: JUMPI
00000f37: DUP3
00000f38: MLOAD
00000f39: DUP3
00000f3a: PUSH1 0x00
00000f3c: POP
00000f3d: SSTORE
00000f3e: SWAP2
00000f3f: PUSH1 0x20
00000f41: ADD
00000f42: SWAP2
00000f43: SWAP1
00000f44: PUSH1 0x01
00000f46: ADD
00000f47: SWAP1
00000f48: PUSH2 0x0f2e
00000f4b: JUMP
00000f4c: JUMPDEST
00000f4d: POP
00000f4e: POP
00000f4f: DUP1
00000f50: PUSH1 0x02
00000f52: PUSH1 0x00
00000f54: POP
00000f55: DUP5
00000f56: PUSH1 0x40
00000f58: MLOAD
00000f59: DUP1
00000f5a: DUP3
00000f5b: DUP1
00000f5c: MLOAD
00000f5d: SWAP1
00000f5e: PUSH1 0x20
00000f60: ADD
00000f61: SWAP1
00000f62: DUP1
00000f63: DUP4
00000f64: DUP4
00000f65: DUP3
00000f66: SWAP1
00000f67: PUSH1 0x00
00000f69: PUSH1 0x04
00000f6b: PUSH1 0x20
00000f6d: DUP5
00000f6e: PUSH1 0x1f
00000f70: ADD
00000f71: DIV
00000f72: PUSH1 0x0f
00000f74: MUL
00000f75: PUSH1 0x03
00000f77: ADD
00000f78: CALL
00000f79: POP
00000f7a: SWAP1
00000f7b: POP
00000f7c: ADD
00000f7d: SWAP2
00000f7e: POP
00000f7f: POP
00000f80: SWAP1
00000f81: DUP2
00000f82: MSTORE
00000f83: PUSH1 0x20
00000f85: ADD
00000f86: PUSH1 0x40
00000f88: MLOAD
00000f89: DUP1
00000f8a: SWAP2
00000f8b: SUB
00000f8c: SWAP1
00000f8d: KECCAK256
00000f8e: PUSH1 0x00
00000f90: POP
00000f91: PUSH1 0x04
00000f93: ADD
00000f94: PUSH1 0x00
00000f96: POP
00000f97: SWAP1
00000f98: DUP1
00000f99: MLOAD
00000f9a: SWAP1
00000f9b: PUSH1 0x20
00000f9d: ADD
00000f9e: SWAP1
00000f9f: DUP3
00000fa0: DUP1
00000fa1: SLOAD
00000fa2: PUSH1 0x01
00000fa4: DUP2
00000fa5: PUSH1 0x01
00000fa7: AND
00000fa8: ISZERO
00000fa9: PUSH2 0x0100
00000fac: MUL
00000fad: SUB
00000fae: AND
00000faf: PUSH1 0x02
00000fb1: SWAP1
00000fb2: DIV
00000fb3: SWAP1
00000fb4: PUSH1 0x00
00000fb6: MSTORE
00000fb7: PUSH1 0x20
00000fb9: PUSH1 0x00
00000fbb: KECCAK256
00000fbc: SWAP1
00000fbd: PUSH1 0x1f
00000fbf: ADD
00000fc0: PUSH1 0x20
00000fc2: SWAP1
00000fc3: DIV
00000fc4: DUP2
00000fc5: ADD
00000fc6: SWAP3
00000fc7: DUP3
00000fc8: PUSH1 0x1f
00000fca: LT
00000fcb: PUSH2 0x0feb
00000fce: JUMPI
00000fcf: DUP1
00000fd0: MLOAD
00000fd1: PUSH1 0xff
00000fd3: NOT
00000fd4: AND
00000fd5: DUP4
00000fd6: DUP1
00000fd7: ADD
00000fd8: OR
00000fd9: DUP6
00000fda: SSTORE
00000fdb: JUMPDEST
00000fdc: POP
00000fdd: PUSH2 0x0f14
00000fe0: SWAP3
00000fe1: SWAP2
00000fe2: POP
00000fe3: PUSH2 0x0483
00000fe6: JUMP
00000fe7: JUMPDEST
00000fe8: POP
00000fe9: SWAP1
00000fea: JUMP
00000feb: JUMPDEST
00000fec: DUP3
00000fed: DUP1
00000fee: ADD
00000fef: PUSH1 0x01
00000ff1: ADD
00000ff2: DUP6
00000ff3: SSTORE
00000ff4: DUP3
00000ff5: ISZERO
00000ff6: PUSH2 0x0fdb
00000ff9: JUMPI
00000ffa: SWAP2
00000ffb: DUP3
00000ffc: ADD
00000ffd: JUMPDEST
00000ffe: DUP3
00000fff: DUP2
00001000: GT
00001001: ISZERO
00001002: PUSH2 0x0fdb
00001005: JUMPI
00001006: DUP3
00001007: MLOAD
00001008: DUP3
00001009: PUSH1 0x00
0000100b: POP
0000100c: SSTORE
0000100d: SWAP2
0000100e: PUSH1 0x20
00001010: ADD
00001011: SWAP2
00001012: SWAP1
00001013: PUSH1 0x01
00001015: ADD
00001016: SWAP1
00001017: PUSH2 0x0ffd
0000101a: JUMP
0000101b: JUMPDEST
0000101c: PUSH1 0x00
0000101e: SLOAD
0000101f: PUSH1 0x01
00001021: PUSH1 0xa0
00001023: PUSH1 0x02
00001025: EXP
00001026: SUB
00001027: AND
00001028: SELFDESTRUCT
00001029: JUMPDEST
0000102a: CALLVALUE
0000102b: LT
0000102c: ISZERO
0000102d: PUSH2 0x1035
00001030: JUMPI
00001031: PUSH2 0x0002
00001034: JUMP
00001035: JUMPDEST
00001036: PUSH1 0x02
00001038: PUSH1 0x00
0000103a: POP
0000103b: DUP4
0000103c: PUSH1 0x40
0000103e: MLOAD
0000103f: DUP1
00001040: DUP3
00001041: DUP1
00001042: MLOAD
00001043: SWAP1
00001044: PUSH1 0x20
00001046: ADD
00001047: SWAP1
00001048: DUP1
00001049: DUP4
0000104a: DUP4
0000104b: DUP3
0000104c: SWAP1
0000104d: PUSH1 0x00
0000104f: PUSH1 0x04
00001051: PUSH1 0x20
00001053: DUP5
00001054: PUSH1 0x1f
00001056: ADD
00001057: DIV
00001058: PUSH1 0x0f
0000105a: MUL
0000105b: PUSH1 0x03
0000105d: ADD
0000105e: CALL
0000105f: POP
00001060: SWAP1
00001061: POP
00001062: ADD
00001063: SWAP2
00001064: POP
00001065: POP
00001066: SWAP1
00001067: DUP2
00001068: MSTORE
00001069: PUSH1 0x20
0000106b: ADD
0000106c: PUSH1 0x40
0000106e: MLOAD
0000106f: DUP1
00001070: SWAP2
00001071: SUB
00001072: SWAP1
00001073: KECCAK256
00001074: PUSH1 0x00
00001076: POP
00001077: PUSH1 0x01
00001079: ADD
0000107a: PUSH1 0x00
0000107c: POP
0000107d: SLOAD
0000107e: PUSH1 0x00
00001080: EQ
00001081: ISZERO
00001082: PUSH2 0x11ba
00001085: JUMPI
00001086: TIMESTAMP
00001087: PUSH1 0x02
00001089: PUSH1 0x00
0000108b: POP
0000108c: DUP5
0000108d: PUSH1 0x40
0000108f: MLOAD
00001090: DUP1
00001091: DUP3
00001092: DUP1
00001093: MLOAD
00001094: SWAP1
00001095: PUSH1 0x20
00001097: ADD
00001098: SWAP1
00001099: DUP1
0000109a: DUP4
0000109b: DUP4
0000109c: DUP3
0000109d: SWAP1
0000109e: PUSH1 0x00
000010a0: PUSH1 0x04
000010a2: PUSH1 0x20
000010a4: DUP5
000010a5: PUSH1 0x1f
000010a7: ADD
000010a8: DIV
000010a9: PUSH1 0x0f
000010ab: MUL
000010ac: PUSH1 0x03
000010ae: ADD
000010af: CALL
000010b0: POP
000010b1: SWAP1
000010b2: POP
000010b3: ADD
000010b4: SWAP2
000010b5: POP
000010b6: POP
000010b7: SWAP1
000010b8: DUP2
000010b9: MSTORE
000010ba: PUSH1 0x20
000010bc: ADD
000010bd: PUSH1 0x40
000010bf: MLOAD
000010c0: DUP1
000010c1: SWAP2
000010c2: SUB
000010c3: SWAP1
000010c4: KECCAK256
000010c5: PUSH1 0x00
000010c7: POP
000010c8: PUSH1 0x01
000010ca: ADD
000010cb: PUSH1 0x00
000010cd: POP
000010ce: DUP2
000010cf: SWAP1
000010d0: SSTORE
000010d1: POP
000010d2: CALLER
000010d3: PUSH1 0x02
000010d5: PUSH1 0x00
000010d7: POP
000010d8: DUP5
000010d9: PUSH1 0x40
000010db: MLOAD
000010dc: DUP1
000010dd: DUP3
000010de: DUP1
000010df: MLOAD
000010e0: SWAP1
000010e1: PUSH1 0x20
000010e3: ADD
000010e4: SWAP1
000010e5: DUP1
000010e6: DUP4
000010e7: DUP4
000010e8: DUP3
000010e9: SWAP1
000010ea: PUSH1 0x00
000010ec: PUSH1 0x04
000010ee: PUSH1 0x20
000010f0: DUP5
000010f1: PUSH1 0x1f
000010f3: ADD
000010f4: DIV
000010f5: PUSH1 0x0f
000010f7: MUL
000010f8: PUSH1 0x03
000010fa: ADD
000010fb: CALL
000010fc: POP
000010fd: SWAP1
000010fe: POP
000010ff: ADD
00001100: SWAP2
00001101: POP
00001102: POP
00001103: SWAP1
00001104: DUP2
00001105: MSTORE
00001106: PUSH1 0x20
00001108: ADD
00001109: PUSH1 0x40
0000110b: MLOAD
0000110c: DUP1
0000110d: SWAP2
0000110e: SUB
0000110f: SWAP1
00001110: KECCAK256
00001111: PUSH1 0x00
00001113: POP
00001114: PUSH1 0x00
00001116: ADD
00001117: PUSH1 0x00
00001119: PUSH2 0x0100
0000111c: EXP
0000111d: DUP2
0000111e: SLOAD
0000111f: DUP2
00001120: PUSH1 0x01
00001122: PUSH1 0xa0
00001124: PUSH1 0x02
00001126: EXP
00001127: SUB
00001128: MUL
00001129: NOT
0000112a: AND
0000112b: SWAP1
0000112c: DUP4
0000112d: MUL
0000112e: OR
0000112f: SWAP1
00001130: SSTORE
00001131: POP
00001132: PUSH1 0x04
00001134: PUSH1 0x00
00001136: POP
00001137: DUP1
00001138: SLOAD
00001139: SWAP1
0000113a: POP
0000113b: PUSH1 0x02
0000113d: PUSH1 0x00
0000113f: POP
00001140: DUP5
00001141: PUSH1 0x40
00001143: MLOAD
00001144: DUP1
00001145: DUP3
00001146: DUP1
00001147: MLOAD
00001148: SWAP1
00001149: PUSH1 0x20
0000114b: ADD
0000114c: SWAP1
0000114d: DUP1
0000114e: DUP4
0000114f: DUP4
00001150: DUP3
00001151: SWAP1
00001152: PUSH1 0x00
00001154: PUSH1 0x04
00001156: PUSH1 0x20
00001158: DUP5
00001159: PUSH1 0x1f
0000115b: ADD
0000115c: DIV
0000115d: PUSH1 0x0f
0000115f: MUL
00001160: PUSH1 0x03
00001162: ADD
00001163: CALL
00001164: POP
00001165: SWAP1
00001166: POP
00001167: ADD
00001168: SWAP2
00001169: POP
0000116a: POP
0000116b: SWAP1
0000116c: DUP2
0000116d: MSTORE
0000116e: PUSH1 0x20
00001170: ADD
00001171: PUSH1 0x40
00001173: MLOAD
00001174: DUP1
00001175: SWAP2
00001176: SUB
00001177: SWAP1
00001178: KECCAK256
00001179: PUSH1 0x00
0000117b: POP
0000117c: PUSH1 0x02
0000117e: ADD
0000117f: PUSH1 0x00
00001181: POP
00001182: DUP2
00001183: SWAP1
00001184: SSTORE
00001185: POP
00001186: PUSH1 0x04
00001188: PUSH1 0x00
0000118a: POP
0000118b: DUP1
0000118c: SLOAD
0000118d: DUP1
0000118e: SWAP2
0000118f: SWAP1
00001190: PUSH1 0x01
00001192: ADD
00001193: SWAP1
00001194: SWAP1
00001195: DUP2
00001196: SLOAD
00001197: DUP2
00001198: DUP4
00001199: SSTORE
0000119a: DUP2
0000119b: DUP2
0000119c: ISZERO
0000119d: GT
0000119e: PUSH2 0x11bf
000011a1: JUMPI
000011a2: DUP2
000011a3: DUP4
000011a4: PUSH1 0x00
000011a6: MSTORE
000011a7: PUSH1 0x20
000011a9: PUSH1 0x00
000011ab: KECCAK256
000011ac: SWAP2
000011ad: DUP3
000011ae: ADD
000011af: SWAP2
000011b0: ADD
000011b1: PUSH2 0x11bf
000011b4: SWAP2
000011b5: SWAP1
000011b6: PUSH2 0x123d
000011b9: JUMP
000011ba: JUMPDEST
000011bb: PUSH2 0x0002
000011be: JUMP
000011bf: JUMPDEST
000011c0: POP
000011c1: POP
000011c2: PUSH1 0x04
000011c4: DUP1
000011c5: SLOAD
000011c6: DUP7
000011c7: SWAP4
000011c8: POP
000011c9: SWAP1
000011ca: SWAP2
000011cb: POP
000011cc: PUSH1 0x00
000011ce: NOT
000011cf: DUP2
000011d0: ADD
000011d1: SWAP1
000011d2: DUP2
000011d3: LT
000011d4: ISZERO
000011d5: PUSH2 0x0002
000011d8: JUMPI
000011d9: SWAP1
000011da: PUSH1 0x00
000011dc: MSTORE
000011dd: PUSH1 0x20
000011df: PUSH1 0x00
000011e1: KECCAK256
000011e2: SWAP1
000011e3: ADD
000011e4: PUSH1 0x00
000011e6: POP
000011e7: SWAP1
000011e8: DUP1
000011e9: MLOAD
000011ea: SWAP1
000011eb: PUSH1 0x20
000011ed: ADD
000011ee: SWAP1
000011ef: DUP3
000011f0: DUP1
000011f1: SLOAD
000011f2: PUSH1 0x01
000011f4: DUP2
000011f5: PUSH1 0x01
000011f7: AND
000011f8: ISZERO
000011f9: PUSH2 0x0100
000011fc: MUL
000011fd: SUB
000011fe: AND
000011ff: PUSH1 0x02
00001201: SWAP1
00001202: DIV
00001203: SWAP1
00001204: PUSH1 0x00
00001206: MSTORE
00001207: PUSH1 0x20
00001209: PUSH1 0x00
0000120b: KECCAK256
0000120c: SWAP1
0000120d: PUSH1 0x1f
0000120f: ADD
00001210: PUSH1 0x20
00001212: SWAP1
00001213: DIV
00001214: DUP2
00001215: ADD
00001216: SWAP3
00001217: DUP3
00001218: PUSH1 0x1f
0000121a: LT
0000121b: PUSH2 0x128d
0000121e: JUMPI
0000121f: DUP1
00001220: MLOAD
00001221: PUSH1 0xff
00001223: NOT
00001224: AND
00001225: DUP4
00001226: DUP1
00001227: ADD
00001228: OR
00001229: DUP6
0000122a: SSTORE
0000122b: JUMPDEST
0000122c: POP
0000122d: PUSH2 0x12bd
00001230: SWAP3
00001231: SWAP2
00001232: POP
00001233: PUSH2 0x0483
00001236: JUMP
00001237: JUMPDEST
00001238: POP
00001239: POP
0000123a: PUSH1 0x01
0000123c: ADD
0000123d: JUMPDEST
0000123e: DUP1
0000123f: DUP3
00001240: GT
00001241: ISZERO
00001242: PUSH2 0x0fe7
00001245: JUMPI
00001246: PUSH1 0x00
00001248: DUP2
00001249: DUP2
0000124a: POP
0000124b: DUP1
0000124c: SLOAD
0000124d: PUSH1 0x01
0000124f: DUP2
00001250: PUSH1 0x01
00001252: AND
00001253: ISZERO
00001254: PUSH2 0x0100
00001257: MUL
00001258: SUB
00001259: AND
0000125a: PUSH1 0x02
0000125c: SWAP1
0000125d: DIV
0000125e: PUSH1 0x00
00001260: DUP3
00001261: SSTORE
00001262: DUP1
00001263: PUSH1 0x1f
00001265: LT
00001266: PUSH2 0x126f
00001269: JUMPI
0000126a: POP
0000126b: PUSH2 0x1237
0000126e: JUMP
0000126f: JUMPDEST
00001270: PUSH1 0x1f
00001272: ADD
00001273: PUSH1 0x20
00001275: SWAP1
00001276: DIV
00001277: SWAP1
00001278: PUSH1 0x00
0000127a: MSTORE
0000127b: PUSH1 0x20
0000127d: PUSH1 0x00
0000127f: KECCAK256
00001280: SWAP1
00001281: DUP2
00001282: ADD
00001283: SWAP1
00001284: PUSH2 0x1237
00001287: SWAP2
00001288: SWAP1
00001289: PUSH2 0x0483
0000128c: JUMP
0000128d: JUMPDEST
0000128e: DUP3
0000128f: DUP1
00001290: ADD
00001291: PUSH1 0x01
00001293: ADD
00001294: DUP6
00001295: SSTORE
00001296: DUP3
00001297: ISZERO
00001298: PUSH2 0x122b
0000129b: JUMPI
0000129c: SWAP2
0000129d: DUP3
0000129e: ADD
0000129f: JUMPDEST
000012a0: DUP3
000012a1: DUP2
000012a2: GT
000012a3: ISZERO
000012a4: PUSH2 0x122b
000012a7: JUMPI
000012a8: DUP3
000012a9: MLOAD
000012aa: DUP3
000012ab: PUSH1 0x00
000012ad: POP
000012ae: SSTORE
000012af: SWAP2
000012b0: PUSH1 0x20
000012b2: ADD
000012b3: SWAP2
000012b4: SWAP1
000012b5: PUSH1 0x01
000012b7: ADD
000012b8: SWAP1
000012b9: PUSH2 0x129f
000012bc: JUMP
000012bd: JUMPDEST
000012be: POP
000012bf: POP
000012c0: DUP2
000012c1: PUSH1 0x02
000012c3: PUSH1 0x00
000012c5: POP
000012c6: DUP5
000012c7: PUSH1 0x40
000012c9: MLOAD
000012ca: DUP1
000012cb: DUP3
000012cc: DUP1
000012cd: MLOAD
000012ce: SWAP1
000012cf: PUSH1 0x20
000012d1: ADD
000012d2: SWAP1
000012d3: DUP1
000012d4: DUP4
000012d5: DUP4
000012d6: DUP3
000012d7: SWAP1
000012d8: PUSH1 0x00
000012da: PUSH1 0x04
000012dc: PUSH1 0x20
000012de: DUP5
000012df: PUSH1 0x1f
000012e1: ADD
000012e2: DIV
000012e3: PUSH1 0x0f
000012e5: MUL
000012e6: PUSH1 0x03
000012e8: ADD
000012e9: CALL
000012ea: POP
000012eb: SWAP1
000012ec: POP
000012ed: ADD
000012ee: SWAP2
000012ef: POP
000012f0: POP
000012f1: SWAP1
000012f2: DUP2
000012f3: MSTORE
000012f4: PUSH1 0x20
000012f6: ADD
000012f7: PUSH1 0x40
000012f9: MLOAD
000012fa: DUP1
000012fb: SWAP2
000012fc: SUB
000012fd: SWAP1
000012fe: KECCAK256
000012ff: PUSH1 0x00
00001301: POP
00001302: PUSH1 0x03
00001304: ADD
00001305: PUSH1 0x00
00001307: POP
00001308: SWAP1
00001309: DUP1
0000130a: MLOAD
0000130b: SWAP1
0000130c: PUSH1 0x20
0000130e: ADD
0000130f: SWAP1
00001310: DUP3
00001311: DUP1
00001312: SLOAD
00001313: PUSH1 0x01
00001315: DUP2
00001316: PUSH1 0x01
00001318: AND
00001319: ISZERO
0000131a: PUSH2 0x0100
0000131d: MUL
0000131e: SUB
0000131f: AND
00001320: PUSH1 0x02
00001322: SWAP1
00001323: DIV
00001324: SWAP1
00001325: PUSH1 0x00
00001327: MSTORE
00001328: PUSH1 0x20
0000132a: PUSH1 0x00
0000132c: KECCAK256
0000132d: SWAP1
0000132e: PUSH1 0x1f
00001330: ADD
00001331: PUSH1 0x20
00001333: SWAP1
00001334: DIV
00001335: DUP2
00001336: ADD
00001337: SWAP3
00001338: DUP3
00001339: PUSH1 0x1f
0000133b: LT
0000133c: PUSH2 0x1358
0000133f: JUMPI
00001340: DUP1
00001341: MLOAD
00001342: PUSH1 0xff
00001344: NOT
00001345: AND
00001346: DUP4
00001347: DUP1
00001348: ADD
00001349: OR
0000134a: DUP6
0000134b: SSTORE
0000134c: JUMPDEST
0000134d: POP
0000134e: PUSH2 0x1388
00001351: SWAP3
00001352: SWAP2
00001353: POP
00001354: PUSH2 0x0483
00001357: JUMP
00001358: JUMPDEST
00001359: DUP3
0000135a: DUP1
0000135b: ADD
0000135c: PUSH1 0x01
0000135e: ADD
0000135f: DUP6
00001360: SSTORE
00001361: DUP3
00001362: ISZERO
00001363: PUSH2 0x134c
00001366: JUMPI
00001367: SWAP2
00001368: DUP3
00001369: ADD
0000136a: JUMPDEST
0000136b: DUP3
0000136c: DUP2
0000136d: GT
0000136e: ISZERO
0000136f: PUSH2 0x134c
00001372: JUMPI
00001373: DUP3
00001374: MLOAD
00001375: DUP3
00001376: PUSH1 0x00
00001378: POP
00001379: SSTORE
0000137a: SWAP2
0000137b: PUSH1 0x20
0000137d: ADD
0000137e: SWAP2
0000137f: SWAP1
00001380: PUSH1 0x01
00001382: ADD
00001383: SWAP1
00001384: PUSH2 0x136a
00001387: JUMP
00001388: JUMPDEST
00001389: POP
0000138a: POP
0000138b: DUP1
0000138c: PUSH1 0x02
0000138e: PUSH1 0x00
00001390: POP
00001391: DUP5
00001392: PUSH1 0x40
00001394: MLOAD
00001395: DUP1
00001396: DUP3
00001397: DUP1
00001398: MLOAD
00001399: SWAP1
0000139a: PUSH1 0x20
0000139c: ADD
0000139d: SWAP1
0000139e: DUP1
0000139f: DUP4
000013a0: DUP4
000013a1: DUP3
000013a2: SWAP1
000013a3: PUSH1 0x00
000013a5: PUSH1 0x04
000013a7: PUSH1 0x20
000013a9: DUP5
000013aa: PUSH1 0x1f
000013ac: ADD
000013ad: DIV
000013ae: PUSH1 0x0f
000013b0: MUL
000013b1: PUSH1 0x03
000013b3: ADD
000013b4: CALL
000013b5: POP
000013b6: SWAP1
000013b7: POP
000013b8: ADD
000013b9: SWAP2
000013ba: POP
000013bb: POP
000013bc: SWAP1
000013bd: DUP2
000013be: MSTORE
000013bf: PUSH1 0x20
000013c1: ADD
000013c2: PUSH1 0x40
000013c4: MLOAD
000013c5: DUP1
000013c6: SWAP2
000013c7: SUB
000013c8: SWAP1
000013c9: KECCAK256
000013ca: PUSH1 0x00
000013cc: POP
000013cd: PUSH1 0x04
000013cf: ADD
000013d0: PUSH1 0x00
000013d2: POP
000013d3: SWAP1
000013d4: DUP1
000013d5: MLOAD
000013d6: SWAP1
000013d7: PUSH1 0x20
000013d9: ADD
000013da: SWAP1
000013db: DUP3
000013dc: DUP1
000013dd: SLOAD
000013de: PUSH1 0x01
000013e0: DUP2
000013e1: PUSH1 0x01
000013e3: AND
000013e4: ISZERO
000013e5: PUSH2 0x0100
000013e8: MUL
000013e9: SUB
000013ea: AND
000013eb: PUSH1 0x02
000013ed: SWAP1
000013ee: DIV
000013ef: SWAP1
000013f0: PUSH1 0x00
000013f2: MSTORE
000013f3: PUSH1 0x20
000013f5: PUSH1 0x00
000013f7: KECCAK256
000013f8: SWAP1
000013f9: PUSH1 0x1f
000013fb: ADD
000013fc: PUSH1 0x20
000013fe: SWAP1
000013ff: DIV
00001400: DUP2
00001401: ADD
00001402: SWAP3
00001403: DUP3
00001404: PUSH1 0x1f
00001406: LT
00001407: PUSH2 0x1423
0000140a: JUMPI
0000140b: DUP1
0000140c: MLOAD
0000140d: PUSH1 0xff
0000140f: NOT
00001410: AND
00001411: DUP4
00001412: DUP1
00001413: ADD
00001414: OR
00001415: DUP6
00001416: SSTORE
00001417: JUMPDEST
00001418: POP
00001419: PUSH2 0x1453
0000141c: SWAP3
0000141d: SWAP2
0000141e: POP
0000141f: PUSH2 0x0483
00001422: JUMP
00001423: JUMPDEST
00001424: DUP3
00001425: DUP1
00001426: ADD
00001427: PUSH1 0x01
00001429: ADD
0000142a: DUP6
0000142b: SSTORE
0000142c: DUP3
0000142d: ISZERO
0000142e: PUSH2 0x1417
00001431: JUMPI
00001432: SWAP2
00001433: DUP3
00001434: ADD
00001435: JUMPDEST
00001436: DUP3
00001437: DUP2
00001438: GT
00001439: ISZERO
0000143a: PUSH2 0x1417
0000143d: JUMPI
0000143e: DUP3
0000143f: MLOAD
00001440: DUP3
00001441: PUSH1 0x00
00001443: POP
00001444: SSTORE
00001445: SWAP2
00001446: PUSH1 0x20
00001448: ADD
00001449: SWAP2
0000144a: SWAP1
0000144b: PUSH1 0x01
0000144d: ADD
0000144e: SWAP1
0000144f: PUSH2 0x1435
00001452: JUMP
00001453: JUMPDEST
00001454: POP
00001455: POP
00001456: PUSH1 0x03
00001458: DUP1
00001459: SLOAD
0000145a: PUSH1 0x01
0000145c: ADD
0000145d: SWAP1
0000145e: SSTORE
0000145f: PUSH2 0x0f17
00001462: JUMP
00001463: JUMPDEST
00001464: POP
00001465: POP
00001466: POP
00001467: POP
00001468: JUMPDEST
00001469: POP
0000146a: POP
0000146b: JUMP
0000146c: JUMPDEST
0000146d: PUSH1 0x1f
0000146f: ADD
00001470: PUSH1 0x20
00001472: SWAP1
00001473: DIV
00001474: SWAP1
00001475: PUSH1 0x00
00001477: MSTORE
00001478: PUSH1 0x20
0000147a: PUSH1 0x00
0000147c: KECCAK256
0000147d: SWAP1
0000147e: DUP2
0000147f: ADD
00001480: SWAP1
00001481: PUSH2 0x07d2
00001484: SWAP2
00001485: SWAP1
00001486: PUSH2 0x0483
00001489: JUMP
0000148a: JUMPDEST
0000148b: PUSH1 0x1f
0000148d: ADD
0000148e: PUSH1 0x20
00001490: SWAP1
00001491: DIV
00001492: SWAP1
00001493: PUSH1 0x00
00001495: MSTORE
00001496: PUSH1 0x20
00001498: PUSH1 0x00
0000149a: KECCAK256
0000149b: SWAP1
0000149c: DUP2
0000149d: ADD
0000149e: SWAP1
0000149f: PUSH2 0x07fb
000014a2: SWAP2
000014a3: SWAP1
000014a4: PUSH2 0x0483
000014a7: JUMP
000014a8: JUMPDEST
000014a9: DUP3
000014aa: DUP1
000014ab: ADD
000014ac: PUSH1 0x01
000014ae: ADD
000014af: DUP6
000014b0: SSTORE
000014b1: DUP3
000014b2: ISZERO
000014b3: PUSH2 0x08b2
000014b6: JUMPI
000014b7: PUSH1 0x00
000014b9: MSTORE
000014ba: PUSH1 0x20
000014bc: PUSH1 0x00
000014be: KECCAK256
000014bf: SWAP2
000014c0: PUSH1 0x1f
000014c2: ADD
000014c3: PUSH1 0x20
000014c5: SWAP1
000014c6: DIV
000014c7: DUP3
000014c8: ADD
000014c9: JUMPDEST
000014ca: DUP3
000014cb: DUP2
000014cc: GT
000014cd: ISZERO
000014ce: PUSH2 0x08b2
000014d1: JUMPI
000014d2: DUP3
000014d3: SLOAD
000014d4: DUP3
000014d5: SSTORE
000014d6: SWAP2
000014d7: PUSH1 0x01
000014d9: ADD
000014da: SWAP2
000014db: SWAP1
000014dc: PUSH1 0x01
000014de: ADD
000014df: SWAP1
000014e0: PUSH2 0x14c9
000014e3: JUMP
000014e4: JUMPDEST
000014e5: POP
000014e6: POP
000014e7: PUSH1 0x04
000014e9: DUP1
000014ea: SLOAD
000014eb: DUP3
000014ec: SWAP2
000014ed: PUSH1 0x02
000014ef: SWAP2
000014f0: DUP4
000014f1: SWAP1
000014f2: DUP2
000014f3: LT
000014f4: ISZERO
000014f5: PUSH2 0x0002
000014f8: JUMPI
000014f9: PUSH1 0x00
000014fb: SWAP2
000014fc: DUP3
000014fd: MSTORE
000014fe: PUSH1 0x00
00001500: DUP1
00001501: MLOAD
00001502: PUSH1 0x20
00001504: PUSH2 0x1934
00001507: DUP4
00001508: CODECOPY
00001509: DUP2
0000150a: MLOAD
0000150b: SWAP2
0000150c: MSTORE
0000150d: ADD
0000150e: SWAP1
0000150f: POP
00001510: PUSH1 0x40
00001512: MLOAD
00001513: DUP1
00001514: DUP3
00001515: DUP1
00001516: SLOAD
00001517: PUSH1 0x01
00001519: DUP2
0000151a: PUSH1 0x01
0000151c: AND
0000151d: ISZERO
0000151e: PUSH2 0x0100
00001521: MUL
00001522: SUB
00001523: AND
00001524: PUSH1 0x02
00001526: SWAP1
00001527: DIV
00001528: DUP1
00001529: ISZERO
0000152a: PUSH2 0x156a
0000152d: JUMPI
0000152e: DUP1
0000152f: PUSH1 0x1f
00001531: LT
00001532: PUSH2 0x1548
00001535: JUMPI
00001536: PUSH2 0x0100
00001539: DUP1
0000153a: DUP4
0000153b: SLOAD
0000153c: DIV
0000153d: MUL
0000153e: DUP4
0000153f: MSTORE
00001540: SWAP2
00001541: DUP3
00001542: ADD
00001543: SWAP2
00001544: PUSH2 0x156a
00001547: JUMP
00001548: JUMPDEST
00001549: DUP3
0000154a: ADD
0000154b: SWAP2
0000154c: SWAP1
0000154d: PUSH1 0x00
0000154f: MSTORE
00001550: PUSH1 0x20
00001552: PUSH1 0x00
00001554: KECCAK256
00001555: SWAP1
00001556: JUMPDEST
00001557: DUP2
00001558: SLOAD
00001559: DUP2
0000155a: MSTORE
0000155b: SWAP1
0000155c: PUSH1 0x01
0000155e: ADD
0000155f: SWAP1
00001560: PUSH1 0x20
00001562: ADD
00001563: DUP1
00001564: DUP4
00001565: GT
00001566: PUSH2 0x1556
00001569: JUMPI
0000156a: JUMPDEST
0000156b: POP
0000156c: POP
0000156d: SWAP3
0000156e: DUP4
0000156f: MSTORE
00001570: POP
00001571: POP
00001572: PUSH1 0x40
00001574: MLOAD
00001575: SWAP1
00001576: DUP2
00001577: SWAP1
00001578: SUB
00001579: PUSH1 0x20
0000157b: ADD
0000157c: SWAP1
0000157d: KECCAK256
0000157e: PUSH1 0x02
00001580: ADD
00001581: SSTORE
00001582: PUSH1 0x04
00001584: DUP1
00001585: SLOAD
00001586: PUSH1 0x00
00001588: NOT
00001589: DUP2
0000158a: ADD
0000158b: DUP1
0000158c: DUP4
0000158d: SSTORE
0000158e: SWAP1
0000158f: SWAP2
00001590: SWAP1
00001591: DUP3
00001592: DUP1
00001593: ISZERO
00001594: DUP3
00001595: SWAP1
00001596: GT
00001597: PUSH2 0x1463
0000159a: JUMPI
0000159b: DUP2
0000159c: DUP4
0000159d: PUSH1 0x00
0000159f: MSTORE
000015a0: PUSH1 0x20
000015a2: PUSH1 0x00
000015a4: KECCAK256
000015a5: SWAP2
000015a6: DUP3
000015a7: ADD
000015a8: SWAP2
000015a9: ADD
000015aa: PUSH2 0x1463
000015ad: SWAP2
000015ae: SWAP1
000015af: PUSH2 0x15b9
000015b2: JUMP
000015b3: JUMPDEST
000015b4: POP
000015b5: POP
000015b6: PUSH1 0x01
000015b8: ADD
000015b9: JUMPDEST
000015ba: DUP1
000015bb: DUP3
000015bc: GT
000015bd: ISZERO
000015be: PUSH2 0x0fe7
000015c1: JUMPI
000015c2: PUSH1 0x00
000015c4: DUP2
000015c5: DUP2
000015c6: POP
000015c7: DUP1
000015c8: SLOAD
000015c9: PUSH1 0x01
000015cb: DUP2
000015cc: PUSH1 0x01
000015ce: AND
000015cf: ISZERO
000015d0: PUSH2 0x0100
000015d3: MUL
000015d4: SUB
000015d5: AND
000015d6: PUSH1 0x02
000015d8: SWAP1
000015d9: DIV
000015da: PUSH1 0x00
000015dc: DUP3
000015dd: SSTORE
000015de: DUP1
000015df: PUSH1 0x1f
000015e1: LT
000015e2: PUSH2 0x15eb
000015e5: JUMPI
000015e6: POP
000015e7: PUSH2 0x15b3
000015ea: JUMP
000015eb: JUMPDEST
000015ec: PUSH1 0x1f
000015ee: ADD
000015ef: PUSH1 0x20
000015f1: SWAP1
000015f2: DIV
000015f3: SWAP1
000015f4: PUSH1 0x00
000015f6: MSTORE
000015f7: PUSH1 0x20
000015f9: PUSH1 0x00
000015fb: KECCAK256
000015fc: SWAP1
000015fd: DUP2
000015fe: ADD
000015ff: SWAP1
00001600: PUSH2 0x15b3
00001603: SWAP2
00001604: SWAP1
00001605: PUSH2 0x0483
00001608: JUMP
00001609: JUMPDEST
0000160a: DUP3
0000160b: ADD
0000160c: SWAP2
0000160d: SWAP1
0000160e: PUSH1 0x00
00001610: MSTORE
00001611: PUSH1 0x20
00001613: PUSH1 0x00
00001615: KECCAK256
00001616: SWAP1
00001617: JUMPDEST
00001618: DUP2
00001619: SLOAD
0000161a: DUP2
0000161b: MSTORE
0000161c: SWAP1
0000161d: PUSH1 0x01
0000161f: ADD
00001620: SWAP1
00001621: PUSH1 0x20
00001623: ADD
00001624: DUP1
00001625: DUP4
00001626: GT
00001627: PUSH2 0x1617
0000162a: JUMPI
0000162b: JUMPDEST
0000162c: POP
0000162d: POP
0000162e: SWAP3
0000162f: DUP4
00001630: MSTORE
00001631: POP
00001632: POP
00001633: PUSH1 0x40
00001635: MLOAD
00001636: SWAP1
00001637: DUP2
00001638: SWAP1
00001639: SUB
0000163a: PUSH1 0x20
0000163c: ADD
0000163d: SWAP1
0000163e: KECCAK256
0000163f: PUSH1 0x04
00001641: DUP1
00001642: SLOAD
00001643: SWAP2
00001644: SWAP3
00001645: POP
00001646: SWAP1
00001647: DUP9
00001648: SWAP1
00001649: DUP2
0000164a: LT
0000164b: ISZERO
0000164c: PUSH2 0x0002
0000164f: JUMPI
00001650: PUSH1 0x00
00001652: SWAP2
00001653: DUP3
00001654: MSTORE
00001655: PUSH1 0x00
00001657: DUP1
00001658: MLOAD
00001659: PUSH1 0x20
0000165b: PUSH2 0x1934
0000165e: DUP4
0000165f: CODECOPY
00001660: DUP2
00001661: MLOAD
00001662: SWAP2
00001663: MSTORE
00001664: ADD
00001665: SWAP1
00001666: POP
00001667: PUSH1 0x40
00001669: DUP1
0000166a: MLOAD
0000166b: DUP3
0000166c: SLOAD
0000166d: PUSH1 0x20
0000166f: PUSH1 0x02
00001671: PUSH1 0x01
00001673: DUP4
00001674: AND
00001675: ISZERO
00001676: PUSH2 0x0100
00001679: MUL
0000167a: PUSH1 0x00
0000167c: NOT
0000167d: ADD
0000167e: SWAP1
0000167f: SWAP3
00001680: AND
00001681: SWAP2
00001682: SWAP1
00001683: SWAP2
00001684: DIV
00001685: PUSH1 0x1f
00001687: DUP2
00001688: ADD
00001689: DUP3
0000168a: SWAP1
0000168b: DIV
0000168c: DUP3
0000168d: MUL
0000168e: DUP4
0000168f: ADD
00001690: DUP3
00001691: ADD
00001692: SWAP1
00001693: SWAP4
00001694: MSTORE
00001695: DUP3
00001696: DUP3
00001697: MSTORE
00001698: SWAP1
00001699: SWAP3
0000169a: SWAP2
0000169b: SWAP1
0000169c: DUP4
0000169d: ADD
0000169e: DUP3
0000169f: DUP3
000016a0: DUP1
000016a1: ISZERO
000016a2: PUSH2 0x16ec
000016a5: JUMPI
000016a6: DUP1
000016a7: PUSH1 0x1f
000016a9: LT
000016aa: PUSH2 0x16c1
000016ad: JUMPI
000016ae: PUSH2 0x0100
000016b1: DUP1
000016b2: DUP4
000016b3: SLOAD
000016b4: DIV
000016b5: MUL
000016b6: DUP4
000016b7: MSTORE
000016b8: SWAP2
000016b9: PUSH1 0x20
000016bb: ADD
000016bc: SWAP2
000016bd: PUSH2 0x16ec
000016c0: JUMP
000016c1: JUMPDEST
000016c2: DUP3
000016c3: ADD
000016c4: SWAP2
000016c5: SWAP1
000016c6: PUSH1 0x00
000016c8: MSTORE
000016c9: PUSH1 0x20
000016cb: PUSH1 0x00
000016cd: KECCAK256
000016ce: SWAP1
000016cf: JUMPDEST
000016d0: DUP2
000016d1: SLOAD
000016d2: DUP2
000016d3: MSTORE
000016d4: SWAP1
000016d5: PUSH1 0x01
000016d7: ADD
000016d8: SWAP1
000016d9: PUSH1 0x20
000016db: ADD
000016dc: DUP1
000016dd: DUP4
000016de: GT
000016df: PUSH2 0x16cf
000016e2: JUMPI
000016e3: DUP3
000016e4: SWAP1
000016e5: SUB
000016e6: PUSH1 0x1f
000016e8: AND
000016e9: DUP3
000016ea: ADD
000016eb: SWAP2
000016ec: JUMPDEST
000016ed: POP
000016ee: POP
000016ef: DUP5
000016f0: SLOAD
000016f1: PUSH1 0x01
000016f3: DUP7
000016f4: DUP2
000016f5: ADD
000016f6: SLOAD
000016f7: PUSH1 0x03
000016f9: DUP9
000016fa: ADD
000016fb: DUP1
000016fc: SLOAD
000016fd: PUSH1 0x40
000016ff: DUP1
00001700: MLOAD
00001701: PUSH1 0x20
00001703: PUSH1 0x02
00001705: SWAP7
00001706: DUP5
00001707: AND
00001708: ISZERO
00001709: PUSH2 0x0100
0000170c: MUL
0000170d: PUSH1 0x00
0000170f: NOT
00001710: ADD
00001711: SWAP1
00001712: SWAP4
00001713: AND
00001714: SWAP6
00001715: SWAP1
00001716: SWAP6
00001717: DIV
00001718: PUSH1 0x1f
0000171a: DUP2
0000171b: ADD
0000171c: DUP4
0000171d: SWAP1
0000171e: DIV
0000171f: DUP4
00001720: MUL
00001721: DUP7
00001722: ADD
00001723: DUP4
00001724: ADD
00001725: SWAP1
00001726: SWAP2
00001727: MSTORE
00001728: DUP1
00001729: DUP6
0000172a: MSTORE
0000172b: SWAP9
0000172c: SWAP15
0000172d: POP
0000172e: PUSH1 0x01
00001730: PUSH1 0xa0
00001732: PUSH1 0x02
00001734: EXP
00001735: SUB
00001736: SWAP5
00001737: SWAP1
00001738: SWAP5
00001739: AND
0000173a: SWAP13
0000173b: POP
0000173c: SWAP1
0000173d: SWAP11
0000173e: POP
0000173f: SWAP1
00001740: SWAP6
00001741: SWAP1
00001742: SWAP5
00001743: POP
00001744: SWAP3
00001745: POP
00001746: DUP5
00001747: ADD
00001748: SWAP1
00001749: POP
0000174a: DUP3
0000174b: DUP3
0000174c: DUP1
0000174d: ISZERO
0000174e: PUSH2 0x1798
00001751: JUMPI
00001752: DUP1
00001753: PUSH1 0x1f
00001755: LT
00001756: PUSH2 0x176d
00001759: JUMPI
0000175a: PUSH2 0x0100
0000175d: DUP1
0000175e: DUP4
0000175f: SLOAD
00001760: DIV
00001761: MUL
00001762: DUP4
00001763: MSTORE
00001764: SWAP2
00001765: PUSH1 0x20
00001767: ADD
00001768: SWAP2
00001769: PUSH2 0x1798
0000176c: JUMP
0000176d: JUMPDEST
0000176e: DUP3
0000176f: ADD
00001770: SWAP2
00001771: SWAP1
00001772: PUSH1 0x00
00001774: MSTORE
00001775: PUSH1 0x20
00001777: PUSH1 0x00
00001779: KECCAK256
0000177a: SWAP1
0000177b: JUMPDEST
0000177c: DUP2
0000177d: SLOAD
0000177e: DUP2
0000177f: MSTORE
00001780: SWAP1
00001781: PUSH1 0x01
00001783: ADD
00001784: SWAP1
00001785: PUSH1 0x20
00001787: ADD
00001788: DUP1
00001789: DUP4
0000178a: GT
0000178b: PUSH2 0x177b
0000178e: JUMPI
0000178f: DUP3
00001790: SWAP1
00001791: SUB
00001792: PUSH1 0x1f
00001794: AND
00001795: DUP3
00001796: ADD
00001797: SWAP2
00001798: JUMPDEST
00001799: POP
0000179a: POP
0000179b: POP
0000179c: POP
0000179d: PUSH1 0x04
0000179f: DUP4
000017a0: ADD
000017a1: DUP1
000017a2: SLOAD
000017a3: PUSH1 0x40
000017a5: DUP1
000017a6: MLOAD
000017a7: PUSH1 0x20
000017a9: PUSH1 0x02
000017ab: PUSH1 0x01
000017ad: DUP6
000017ae: AND
000017af: ISZERO
000017b0: PUSH2 0x0100
000017b3: MUL
000017b4: PUSH1 0x00
000017b6: NOT
000017b7: ADD
000017b8: SWAP1
000017b9: SWAP5
000017ba: AND
000017bb: SWAP4
000017bc: SWAP1
000017bd: SWAP4
000017be: DIV
000017bf: PUSH1 0x1f
000017c1: DUP2
000017c2: ADD
000017c3: DUP5
000017c4: SWAP1
000017c5: DIV
000017c6: DUP5
000017c7: MUL
000017c8: DUP3
000017c9: ADD
000017ca: DUP5
000017cb: ADD
000017cc: SWAP1
000017cd: SWAP3
000017ce: MSTORE
000017cf: DUP2
000017d0: DUP2
000017d1: MSTORE
000017d2: SWAP5
000017d3: SWAP8
000017d4: POP
000017d5: SWAP2
000017d6: SWAP3
000017d7: POP
000017d8: DUP4
000017d9: ADD
000017da: DUP3
000017db: DUP3
000017dc: DUP1
000017dd: ISZERO
000017de: PUSH2 0x1828
000017e1: JUMPI
000017e2: DUP1
000017e3: PUSH1 0x1f
000017e5: LT
000017e6: PUSH2 0x17fd
000017e9: JUMPI
000017ea: PUSH2 0x0100
000017ed: DUP1
000017ee: DUP4
000017ef: SLOAD
000017f0: DIV
000017f1: MUL
000017f2: DUP4
000017f3: MSTORE
000017f4: SWAP2
000017f5: PUSH1 0x20
000017f7: ADD
000017f8: SWAP2
000017f9: PUSH2 0x1828
000017fc: JUMP
000017fd: JUMPDEST
000017fe: DUP3
000017ff: ADD
00001800: SWAP2
00001801: SWAP1
00001802: PUSH1 0x00
00001804: MSTORE
00001805: PUSH1 0x20
00001807: PUSH1 0x00
00001809: KECCAK256
0000180a: SWAP1
0000180b: JUMPDEST
0000180c: DUP2
0000180d: SLOAD
0000180e: DUP2
0000180f: MSTORE
00001810: SWAP1
00001811: PUSH1 0x01
00001813: ADD
00001814: SWAP1
00001815: PUSH1 0x20
00001817: ADD
00001818: DUP1
00001819: DUP4
0000181a: GT
0000181b: PUSH2 0x180b
0000181e: JUMPI
0000181f: DUP3
00001820: SWAP1
00001821: SUB
00001822: PUSH1 0x1f
00001824: AND
00001825: DUP3
00001826: ADD
00001827: SWAP2
00001828: JUMPDEST
00001829: POP
0000182a: SWAP4
0000182b: SWAP6
0000182c: POP
0000182d: POP
0000182e: POP
0000182f: POP
00001830: POP
00001831: POP
00001832: SWAP2
00001833: SWAP4
00001834: SWAP6
00001835: SWAP1
00001836: SWAP3
00001837: SWAP5
00001838: POP
00001839: JUMP
0000183a: JUMPDEST
0000183b: PUSH1 0x40
0000183d: MLOAD
0000183e: PUSH1 0x01
00001840: PUSH1 0xa0
00001842: PUSH1 0x02
00001844: EXP
00001845: SUB
00001846: DUP4
00001847: AND
00001848: SWAP1
00001849: PUSH1 0x00
0000184b: SWAP1
0000184c: DUP4
0000184d: SWAP1
0000184e: DUP3
0000184f: DUP2
00001850: DUP2
00001851: DUP2
00001852: DUP6
00001853: DUP9
00001854: DUP4
00001855: CALL
00001856: POP
00001857: POP
00001858: POP
00001859: POP
0000185a: POP
0000185b: POP
0000185c: POP
0000185d: JUMP
0000185e: JUMPDEST
0000185f: CALLER
00001860: PUSH1 0x01
00001862: PUSH1 0xa0
00001864: PUSH1 0x02
00001866: EXP
00001867: SUB
00001868: AND
00001869: PUSH1 0x02
0000186b: PUSH1 0x00
0000186d: POP
0000186e: DUP4
0000186f: PUSH1 0x40
00001871: MLOAD
00001872: DUP1
00001873: DUP3
00001874: DUP1
00001875: MLOAD
00001876: SWAP1
00001877: PUSH1 0x20
00001879: ADD
0000187a: SWAP1
0000187b: DUP1
0000187c: DUP4
0000187d: DUP4
0000187e: DUP3
0000187f: SWAP1
00001880: PUSH1 0x00
00001882: PUSH1 0x04
00001884: PUSH1 0x20
00001886: DUP5
00001887: PUSH1 0x1f
00001889: ADD
0000188a: DIV
0000188b: PUSH1 0x0f
0000188d: MUL
0000188e: PUSH1 0x03
00001890: ADD
00001891: CALL
00001892: POP
00001893: SWAP1
00001894: POP
00001895: ADD
00001896: SWAP2
00001897: POP
00001898: POP
00001899: SWAP1
0000189a: DUP2
0000189b: MSTORE
0000189c: PUSH1 0x20
0000189e: ADD
0000189f: PUSH1 0x40
000018a1: MLOAD
000018a2: DUP1
000018a3: SWAP2
000018a4: SUB
000018a5: SWAP1
000018a6: KECCAK256
000018a7: PUSH1 0x00
000018a9: POP
000018aa: PUSH1 0x00
000018ac: ADD
000018ad: PUSH1 0x00
000018af: SWAP1
000018b0: SLOAD
000018b1: SWAP1
000018b2: PUSH2 0x0100
000018b5: EXP
000018b6: SWAP1
000018b7: DIV
000018b8: PUSH1 0x01
000018ba: PUSH1 0xa0
000018bc: PUSH1 0x02
000018be: EXP
000018bf: SUB
000018c0: AND
000018c1: PUSH1 0x01
000018c3: PUSH1 0xa0
000018c5: PUSH1 0x02
000018c7: EXP
000018c8: SUB
000018c9: AND
000018ca: EQ
000018cb: ISZERO
000018cc: PUSH2 0x11ba
000018cf: JUMPI
000018d0: DUP1
000018d1: PUSH1 0x02
000018d3: PUSH1 0x00
000018d5: POP
000018d6: DUP4
000018d7: PUSH1 0x40
000018d9: MLOAD
000018da: DUP1
000018db: DUP3
000018dc: DUP1
000018dd: MLOAD
000018de: SWAP1
000018df: PUSH1 0x20
000018e1: ADD
000018e2: SWAP1
000018e3: DUP1
000018e4: DUP4
000018e5: DUP4
000018e6: DUP3
000018e7: SWAP1
000018e8: PUSH1 0x00
000018ea: PUSH1 0x04
000018ec: PUSH1 0x20
000018ee: DUP5
000018ef: PUSH1 0x1f
000018f1: ADD
000018f2: DIV
000018f3: PUSH1 0x0f
000018f5: MUL
000018f6: PUSH1 0x03
000018f8: ADD
000018f9: CALL
000018fa: POP
000018fb: SWAP1
000018fc: POP
000018fd: ADD
000018fe: SWAP2
000018ff: POP
00001900: POP
00001901: SWAP1
00001902: DUP2
00001903: MSTORE
00001904: PUSH1 0x20
00001906: ADD
00001907: PUSH1 0x40
00001909: MLOAD
0000190a: DUP1
0000190b: SWAP2
0000190c: SUB
0000190d: SWAP1
0000190e: KECCAK256
0000190f: PUSH1 0x00
00001911: POP
00001912: PUSH1 0x00
00001914: ADD
00001915: PUSH1 0x00
00001917: PUSH2 0x0100
0000191a: EXP
0000191b: DUP2
0000191c: SLOAD
0000191d: DUP2
0000191e: PUSH1 0x01
00001920: PUSH1 0xa0
00001922: PUSH1 0x02
00001924: EXP
00001925: SUB
00001926: MUL
00001927: NOT
00001928: AND
00001929: SWAP1
0000192a: DUP4
0000192b: MUL
0000192c: OR
0000192d: SWAP1
0000192e: SSTORE
0000192f: POP
00001930: PUSH2 0x1468
00001933: JUMP
00001934: DUP11
00001935: CALLDATALOAD
00001936: UNKNOWN(0xAC)
00001937: UNKNOWN(0xFB)
00001938: UNKNOWN(0xC1)
00001939: PUSH0
0000193a: UNKNOWN(0xF8)
0000193b: BYTE
0000193c: CODECOPY
0000193d: UNKNOWN(0xAE)
0000193e: PUSH30

View stderr

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

Findings

validated = confirmed for call sinks; sink observed for others

Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
high	other	detector	Untrusted CALL target/value reachable	60	yes	yes	view trace_id: 0xac23608d9ece0b3e506862d9f8a508620fe7398eca29a9771eff5322acc58241 call_targets: 0x0000000000000000000000000000000000000004, 0x5779c765d36511a375a291e040440843ea8e0e49 target_varies: yes classification: target_varies validation_json { "sink": "CALL", "errors": 0, "status": "confirmed", "attempts": 1, "trace_id": "0xac23608d9ece0b3e506862d9f8a508620fe7398eca29a9771eff5322acc58241", "confirmed": true, "trace_mode": "callTracer", "call_targets": [ "0x0000000000000000000000000000000000000004", "0x5779c765d36511a375a291e040440843ea8e0e49" ], "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": "0x0cb6aaf1", "selector": "0x0cb6aaf1", "calldata_variants": [ "0x0cb6aaf1", "0x0cb6aaf10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x11dd8845", "selector": "0x11dd8845", "calldata_variants": [ "0x11dd8845", "0x11dd88450000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2d8ae549", "selector": "0x2d8ae549", "calldata_variants": [ "0x2d8ae549", "0x2d8ae5490000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x31c3e456", "selector": "0x31c3e456", "calldata_variants": [ "0x31c3e456", "0x31c3e4560000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x41c0e1b5", "selector": "0x41c0e1b5", "calldata_variants": [ "0x41c0e1b5", "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4aaf4a12", "selector": "0x4aaf4a12", "calldata_variants": [ "0x4aaf4a12", "0x4aaf4a120000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4cd08d03", "selector": "0x4cd08d03", "calldata_variants": [ "0x4cd08d03", "0x4cd08d030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6598a1ae", "selector": "0x6598a1ae", "calldata_variants": [ "0x6598a1ae", "0x6598a1ae0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 944, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1048, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1324, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "constant_zero", "target_expression_category": "computed" } ], "call_count": 25, "guards_detected": [], "untrusted_call_count": 24 }
high	other	detector	ETH value transfer possible	55	yes	yes	view trace_id: 0xac23608d9ece0b3e506862d9f8a508620fe7398eca29a9771eff5322acc58241 call_targets: 0x0000000000000000000000000000000000000004, 0x5779c765d36511a375a291e040440843ea8e0e49 target_varies: yes classification: target_varies validation_json { "sink": "CALL", "errors": 0, "status": "confirmed", "attempts": 1, "trace_id": "0xac23608d9ece0b3e506862d9f8a508620fe7398eca29a9771eff5322acc58241", "confirmed": true, "trace_mode": "callTracer", "call_targets": [ "0x0000000000000000000000000000000000000004", "0x5779c765d36511a375a291e040440843ea8e0e49" ], "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": "0x0cb6aaf1", "selector": "0x0cb6aaf1", "calldata_variants": [ "0x0cb6aaf1", "0x0cb6aaf10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x11dd8845", "selector": "0x11dd8845", "calldata_variants": [ "0x11dd8845", "0x11dd88450000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2d8ae549", "selector": "0x2d8ae549", "calldata_variants": [ "0x2d8ae549", "0x2d8ae5490000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x31c3e456", "selector": "0x31c3e456", "calldata_variants": [ "0x31c3e456", "0x31c3e4560000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x41c0e1b5", "selector": "0x41c0e1b5", "calldata_variants": [ "0x41c0e1b5", "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4aaf4a12", "selector": "0x4aaf4a12", "calldata_variants": [ "0x4aaf4a12", "0x4aaf4a120000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4cd08d03", "selector": "0x4cd08d03", "calldata_variants": [ "0x4cd08d03", "0x4cd08d030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6598a1ae", "selector": "0x6598a1ae", "calldata_variants": [ "0x6598a1ae", "0x6598a1ae0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 944, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1048, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1714, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "constant" } ], "eth_value_calls": 21, "guards_detected": [] }
high	other	detector	SELFDESTRUCT reachable	65	no	no	view trace_id: 0x669c07f73fa45ad8b88ae3c522a3c8a2924d5a1a458047b0c0b16c9e02723365 validation_json { "sink": "SELFDESTRUCT", "errors": 0, "status": "unknown", "attempts": 32, "trace_id": "0x669c07f73fa45ad8b88ae3c522a3c8a2924d5a1a458047b0c0b16c9e02723365", "confirmed": false, "trace_mode": "structLogs", "call_targets": null, "matched_probe": null, "target_varies": null, "classification": "no_sink" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0x0cb6aaf1", "selector": "0x0cb6aaf1", "calldata_variants": [ "0x0cb6aaf1", "0x0cb6aaf10000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x11dd8845", "selector": "0x11dd8845", "calldata_variants": [ "0x11dd8845", "0x11dd88450000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x2d8ae549", "selector": "0x2d8ae549", "calldata_variants": [ "0x2d8ae549", "0x2d8ae5490000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x31c3e456", "selector": "0x31c3e456", "calldata_variants": [ "0x31c3e456", "0x31c3e4560000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x41c0e1b5", "selector": "0x41c0e1b5", "calldata_variants": [ "0x41c0e1b5", "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4aaf4a12", "selector": "0x4aaf4a12", "calldata_variants": [ "0x4aaf4a12", "0x4aaf4a120000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x4cd08d03", "selector": "0x4cd08d03", "calldata_variants": [ "0x4cd08d03", "0x4cd08d030000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x6598a1ae", "selector": "0x6598a1ae", "calldata_variants": [ "0x6598a1ae", "0x6598a1ae0000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "guards_detected": [], "selfdestruct_count": 1 }

Severity