Analysis Run

019b3844-a181-729c-86bd-16a98889fc49

complete

Chain ID

1

Address

0xb40eed68d7d6b3b6d6f4e93de6239b7c53efc786

Block Number

—

Created

Fri, Dec 19, 2025 8:19 PM

Review Summary

What survived the funnel

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

back to vulns open contract

Confirmed

0

Validated

0

Source

Bytecode only

Review Backing

Not yet

Best current signal

Untrusted CALL target/value reachable

crit 0 high 0 direct contract

Review Checklist

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

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

3. Confirm money or privilege impact.

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

Processing Jobs

Status & attempts

ID	Type	Status	Attempts	Heartbeat
15469	artifact.fetch	complete	1 / 3	4 months ago
15470	tool.cast_disasm	complete	1 / 3	4 months ago
58937	analysis.bundle	complete	1 / 3	2 weeks ago
58938	capability.graph	complete	1 / 3	2 weeks ago
58939	detector.run	complete	1 / 3	2 weeks ago
58940	validation.fork	complete	1 / 3	2 weeks 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

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm

Delegatecall

0

Selfdestruct

0

CREATE2

0

CALL-family (heavy)

4

EXT*/BALANCE

1

Total opcodes

3665

Flags

No heuristic flags raised.

View cast disassembly output

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0118
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8da5cb5b
00000019: GT
0000001a: PUSH2 0x00a0
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xdc6a6770
00000024: GT
00000025: PUSH2 0x0064
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xdc6a6770
0000002f: EQ
00000030: PUSH2 0x0339
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xf2fde38b
0000003a: EQ
0000003b: PUSH2 0x0369
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xf3da6cbd
00000045: EQ
00000046: PUSH2 0x0389
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf6dd2353
00000050: EQ
00000051: PUSH2 0x03c4
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfc8234cb
0000005b: EQ
0000005c: PUSH2 0x03e4
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x8da5cb5b
0000006b: EQ
0000006c: PUSH2 0x029b
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0xa720969f
00000076: EQ
00000077: PUSH2 0x02b9
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xb0ff3542
00000081: EQ
00000082: PUSH2 0x02d9
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xb19a1a9a
0000008c: EQ
0000008d: PUSH2 0x02f9
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xbe27b22c
00000097: EQ
00000098: PUSH2 0x0319
0000009b: JUMPI
0000009c: PUSH1 0x00
0000009e: DUP1
0000009f: REVERT
000000a0: JUMPDEST
000000a1: DUP1
000000a2: PUSH4 0x482a6193
000000a7: GT
000000a8: PUSH2 0x00e7
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x482a6193
000000b2: EQ
000000b3: PUSH2 0x01f5
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x570ca735
000000bd: EQ
000000be: PUSH2 0x0215
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x5c975abb
000000c8: EQ
000000c9: PUSH2 0x0235
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x715018a6
000000d3: EQ
000000d4: PUSH2 0x0266
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x89c9e1ac
000000de: EQ
000000df: PUSH2 0x027b
000000e2: JUMPI
000000e3: PUSH1 0x00
000000e5: DUP1
000000e6: REVERT
000000e7: JUMPDEST
000000e8: DUP1
000000e9: PUSH4 0x2c453bdf
000000ee: EQ
000000ef: PUSH2 0x0163
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x2f7f5d57
000000f9: EQ
000000fa: PUSH2 0x01a0
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x320b2ad9
00000104: EQ
00000105: PUSH2 0x01c0
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x4694f573
0000010f: EQ
00000110: PUSH2 0x01d5
00000113: JUMPI
00000114: PUSH1 0x00
00000116: DUP1
00000117: REVERT
00000118: JUMPDEST
00000119: CALLDATASIZE
0000011a: PUSH2 0x015e
0000011d: JUMPI
0000011e: CALLVALUE
0000011f: ISZERO
00000120: PUSH2 0x015c
00000123: JUMPI
00000124: PUSH1 0x40
00000126: DUP1
00000127: MLOAD
00000128: CALLER
00000129: DUP2
0000012a: MSTORE
0000012b: CALLVALUE
0000012c: PUSH1 0x20
0000012e: DUP3
0000012f: ADD
00000130: MSTORE
00000131: PUSH32 0xf32a9f77675fd5917534c7746608fd3e309eac68fbdcbf5925e24ca97a704396
00000152: SWAP2
00000153: ADD
00000154: PUSH1 0x40
00000156: MLOAD
00000157: DUP1
00000158: SWAP2
00000159: SUB
0000015a: SWAP1
0000015b: LOG1
0000015c: JUMPDEST
0000015d: STOP
0000015e: JUMPDEST
0000015f: PUSH1 0x00
00000161: DUP1
00000162: REVERT
00000163: JUMPDEST
00000164: CALLVALUE
00000165: DUP1
00000166: ISZERO
00000167: PUSH2 0x016f
0000016a: JUMPI
0000016b: PUSH1 0x00
0000016d: DUP1
0000016e: REVERT
0000016f: JUMPDEST
00000170: POP
00000171: PUSH1 0x03
00000173: SLOAD
00000174: PUSH2 0x0183
00000177: SWAP1
00000178: PUSH1 0x01
0000017a: PUSH1 0x01
0000017c: PUSH1 0xa0
0000017e: SHL
0000017f: SUB
00000180: AND
00000181: DUP2
00000182: JUMP
00000183: JUMPDEST
00000184: PUSH1 0x40
00000186: MLOAD
00000187: PUSH1 0x01
00000189: PUSH1 0x01
0000018b: PUSH1 0xa0
0000018d: SHL
0000018e: SUB
0000018f: SWAP1
00000190: SWAP2
00000191: AND
00000192: DUP2
00000193: MSTORE
00000194: PUSH1 0x20
00000196: ADD
00000197: JUMPDEST
00000198: PUSH1 0x40
0000019a: MLOAD
0000019b: DUP1
0000019c: SWAP2
0000019d: SUB
0000019e: SWAP1
0000019f: RETURN
000001a0: JUMPDEST
000001a1: CALLVALUE
000001a2: DUP1
000001a3: ISZERO
000001a4: PUSH2 0x01ac
000001a7: JUMPI
000001a8: PUSH1 0x00
000001aa: DUP1
000001ab: REVERT
000001ac: JUMPDEST
000001ad: POP
000001ae: PUSH2 0x015c
000001b1: PUSH2 0x01bb
000001b4: CALLDATASIZE
000001b5: PUSH1 0x04
000001b7: PUSH2 0x1431
000001ba: JUMP
000001bb: JUMPDEST
000001bc: PUSH2 0x03f9
000001bf: JUMP
000001c0: JUMPDEST
000001c1: CALLVALUE
000001c2: DUP1
000001c3: ISZERO
000001c4: PUSH2 0x01cc
000001c7: JUMPI
000001c8: PUSH1 0x00
000001ca: DUP1
000001cb: REVERT
000001cc: JUMPDEST
000001cd: POP
000001ce: PUSH2 0x015c
000001d1: PUSH2 0x0478
000001d4: JUMP
000001d5: JUMPDEST
000001d6: CALLVALUE
000001d7: DUP1
000001d8: ISZERO
000001d9: PUSH2 0x01e1
000001dc: JUMPI
000001dd: PUSH1 0x00
000001df: DUP1
000001e0: REVERT
000001e1: JUMPDEST
000001e2: POP
000001e3: PUSH2 0x015c
000001e6: PUSH2 0x01f0
000001e9: CALLDATASIZE
000001ea: PUSH1 0x04
000001ec: PUSH2 0x1431
000001ef: JUMP
000001f0: JUMPDEST
000001f1: PUSH2 0x04de
000001f4: JUMP
000001f5: JUMPDEST
000001f6: CALLVALUE
000001f7: DUP1
000001f8: ISZERO
000001f9: PUSH2 0x0201
000001fc: JUMPI
000001fd: PUSH1 0x00
000001ff: DUP1
00000200: REVERT
00000201: JUMPDEST
00000202: POP
00000203: PUSH2 0x0183
00000206: PUSH2 0x0210
00000209: CALLDATASIZE
0000020a: PUSH1 0x04
0000020c: PUSH2 0x14f1
0000020f: JUMP
00000210: JUMPDEST
00000211: PUSH2 0x0551
00000214: JUMP
00000215: JUMPDEST
00000216: CALLVALUE
00000217: DUP1
00000218: ISZERO
00000219: PUSH2 0x0221
0000021c: JUMPI
0000021d: PUSH1 0x00
0000021f: DUP1
00000220: REVERT
00000221: JUMPDEST
00000222: POP
00000223: PUSH1 0x02
00000225: SLOAD
00000226: PUSH2 0x0183
00000229: SWAP1
0000022a: PUSH1 0x01
0000022c: PUSH1 0x01
0000022e: PUSH1 0xa0
00000230: SHL
00000231: SUB
00000232: AND
00000233: DUP2
00000234: JUMP
00000235: JUMPDEST
00000236: CALLVALUE
00000237: DUP1
00000238: ISZERO
00000239: PUSH2 0x0241
0000023c: JUMPI
0000023d: PUSH1 0x00
0000023f: DUP1
00000240: REVERT
00000241: JUMPDEST
00000242: POP
00000243: PUSH1 0x00
00000245: SLOAD
00000246: PUSH2 0x0256
00000249: SWAP1
0000024a: PUSH1 0x01
0000024c: PUSH1 0xa0
0000024e: SHL
0000024f: SWAP1
00000250: DIV
00000251: PUSH1 0xff
00000253: AND
00000254: DUP2
00000255: JUMP
00000256: JUMPDEST
00000257: PUSH1 0x40
00000259: MLOAD
0000025a: SWAP1
0000025b: ISZERO
0000025c: ISZERO
0000025d: DUP2
0000025e: MSTORE
0000025f: PUSH1 0x20
00000261: ADD
00000262: PUSH2 0x0197
00000265: JUMP
00000266: JUMPDEST
00000267: CALLVALUE
00000268: DUP1
00000269: ISZERO
0000026a: PUSH2 0x0272
0000026d: JUMPI
0000026e: PUSH1 0x00
00000270: DUP1
00000271: REVERT
00000272: JUMPDEST
00000273: POP
00000274: PUSH2 0x015c
00000277: PUSH2 0x05c2
0000027a: JUMP
0000027b: JUMPDEST
0000027c: CALLVALUE
0000027d: DUP1
0000027e: ISZERO
0000027f: PUSH2 0x0287
00000282: JUMPI
00000283: PUSH1 0x00
00000285: DUP1
00000286: REVERT
00000287: JUMPDEST
00000288: POP
00000289: PUSH2 0x015c
0000028c: PUSH2 0x0296
0000028f: CALLDATASIZE
00000290: PUSH1 0x04
00000292: PUSH2 0x1563
00000295: JUMP
00000296: JUMPDEST
00000297: PUSH2 0x05f8
0000029a: JUMP
0000029b: JUMPDEST
0000029c: CALLVALUE
0000029d: DUP1
0000029e: ISZERO
0000029f: PUSH2 0x02a7
000002a2: JUMPI
000002a3: PUSH1 0x00
000002a5: DUP1
000002a6: REVERT
000002a7: JUMPDEST
000002a8: POP
000002a9: PUSH1 0x00
000002ab: SLOAD
000002ac: PUSH1 0x01
000002ae: PUSH1 0x01
000002b0: PUSH1 0xa0
000002b2: SHL
000002b3: SUB
000002b4: AND
000002b5: PUSH2 0x0183
000002b8: JUMP
000002b9: JUMPDEST
000002ba: CALLVALUE
000002bb: DUP1
000002bc: ISZERO
000002bd: PUSH2 0x02c5
000002c0: JUMPI
000002c1: PUSH1 0x00
000002c3: DUP1
000002c4: REVERT
000002c5: JUMPDEST
000002c6: POP
000002c7: PUSH1 0x01
000002c9: SLOAD
000002ca: PUSH2 0x0183
000002cd: SWAP1
000002ce: PUSH1 0x01
000002d0: PUSH1 0x01
000002d2: PUSH1 0xa0
000002d4: SHL
000002d5: SUB
000002d6: AND
000002d7: DUP2
000002d8: JUMP
000002d9: JUMPDEST
000002da: CALLVALUE
000002db: DUP1
000002dc: ISZERO
000002dd: PUSH2 0x02e5
000002e0: JUMPI
000002e1: PUSH1 0x00
000002e3: DUP1
000002e4: REVERT
000002e5: JUMPDEST
000002e6: POP
000002e7: PUSH2 0x015c
000002ea: PUSH2 0x02f4
000002ed: CALLDATASIZE
000002ee: PUSH1 0x04
000002f0: PUSH2 0x1431
000002f3: JUMP
000002f4: JUMPDEST
000002f5: PUSH2 0x06b3
000002f8: JUMP
000002f9: JUMPDEST
000002fa: CALLVALUE
000002fb: DUP1
000002fc: ISZERO
000002fd: PUSH2 0x0305
00000300: JUMPI
00000301: PUSH1 0x00
00000303: DUP1
00000304: REVERT
00000305: JUMPDEST
00000306: POP
00000307: PUSH2 0x015c
0000030a: PUSH2 0x0314
0000030d: CALLDATASIZE
0000030e: PUSH1 0x04
00000310: PUSH2 0x1431
00000313: JUMP
00000314: JUMPDEST
00000315: PUSH2 0x073f
00000318: JUMP
00000319: JUMPDEST
0000031a: CALLVALUE
0000031b: DUP1
0000031c: ISZERO
0000031d: PUSH2 0x0325
00000320: JUMPI
00000321: PUSH1 0x00
00000323: DUP1
00000324: REVERT
00000325: JUMPDEST
00000326: POP
00000327: PUSH2 0x015c
0000032a: PUSH2 0x0334
0000032d: CALLDATASIZE
0000032e: PUSH1 0x04
00000330: PUSH2 0x15e6
00000333: JUMP
00000334: JUMPDEST
00000335: PUSH2 0x07c3
00000338: JUMP
00000339: JUMPDEST
0000033a: CALLVALUE
0000033b: DUP1
0000033c: ISZERO
0000033d: PUSH2 0x0345
00000340: JUMPI
00000341: PUSH1 0x00
00000343: DUP1
00000344: REVERT
00000345: JUMPDEST
00000346: POP
00000347: PUSH2 0x0256
0000034a: PUSH2 0x0354
0000034d: CALLDATASIZE
0000034e: PUSH1 0x04
00000350: PUSH2 0x1431
00000353: JUMP
00000354: JUMPDEST
00000355: PUSH1 0x04
00000357: PUSH1 0x20
00000359: MSTORE
0000035a: PUSH1 0x00
0000035c: SWAP1
0000035d: DUP2
0000035e: MSTORE
0000035f: PUSH1 0x40
00000361: SWAP1
00000362: KECCAK256
00000363: SLOAD
00000364: PUSH1 0xff
00000366: AND
00000367: DUP2
00000368: JUMP
00000369: JUMPDEST
0000036a: CALLVALUE
0000036b: DUP1
0000036c: ISZERO
0000036d: PUSH2 0x0375
00000370: JUMPI
00000371: PUSH1 0x00
00000373: DUP1
00000374: REVERT
00000375: JUMPDEST
00000376: POP
00000377: PUSH2 0x015c
0000037a: PUSH2 0x0384
0000037d: CALLDATASIZE
0000037e: PUSH1 0x04
00000380: PUSH2 0x1431
00000383: JUMP
00000384: JUMPDEST
00000385: PUSH2 0x0a93
00000388: JUMP
00000389: JUMPDEST
0000038a: CALLVALUE
0000038b: DUP1
0000038c: ISZERO
0000038d: PUSH2 0x0395
00000390: JUMPI
00000391: PUSH1 0x00
00000393: DUP1
00000394: REVERT
00000395: JUMPDEST
00000396: POP
00000397: PUSH2 0x03b6
0000039a: PUSH2 0x03a4
0000039d: CALLDATASIZE
0000039e: PUSH1 0x04
000003a0: PUSH2 0x1652
000003a3: JUMP
000003a4: JUMPDEST
000003a5: PUSH1 0x05
000003a7: PUSH1 0x20
000003a9: MSTORE
000003aa: PUSH1 0x00
000003ac: SWAP1
000003ad: DUP2
000003ae: MSTORE
000003af: PUSH1 0x40
000003b1: SWAP1
000003b2: KECCAK256
000003b3: SLOAD
000003b4: DUP2
000003b5: JUMP
000003b6: JUMPDEST
000003b7: PUSH1 0x40
000003b9: MLOAD
000003ba: SWAP1
000003bb: DUP2
000003bc: MSTORE
000003bd: PUSH1 0x20
000003bf: ADD
000003c0: PUSH2 0x0197
000003c3: JUMP
000003c4: JUMPDEST
000003c5: CALLVALUE
000003c6: DUP1
000003c7: ISZERO
000003c8: PUSH2 0x03d0
000003cb: JUMPI
000003cc: PUSH1 0x00
000003ce: DUP1
000003cf: REVERT
000003d0: JUMPDEST
000003d1: POP
000003d2: PUSH2 0x015c
000003d5: PUSH2 0x03df
000003d8: CALLDATASIZE
000003d9: PUSH1 0x04
000003db: PUSH2 0x1431
000003de: JUMP
000003df: JUMPDEST
000003e0: PUSH2 0x0b2e
000003e3: JUMP
000003e4: JUMPDEST
000003e5: CALLVALUE
000003e6: DUP1
000003e7: ISZERO
000003e8: PUSH2 0x03f0
000003eb: JUMPI
000003ec: PUSH1 0x00
000003ee: DUP1
000003ef: REVERT
000003f0: JUMPDEST
000003f1: POP
000003f2: PUSH2 0x015c
000003f5: PUSH2 0x0bb2
000003f8: JUMP
000003f9: JUMPDEST
000003fa: PUSH1 0x00
000003fc: SLOAD
000003fd: PUSH1 0x01
000003ff: PUSH1 0x01
00000401: PUSH1 0xa0
00000403: SHL
00000404: SUB
00000405: AND
00000406: CALLER
00000407: EQ
00000408: PUSH2 0x042c
0000040b: JUMPI
0000040c: PUSH1 0x40
0000040e: MLOAD
0000040f: PUSH3 0x461bcd
00000413: PUSH1 0xe5
00000415: SHL
00000416: DUP2
00000417: MSTORE
00000418: PUSH1 0x04
0000041a: ADD
0000041b: PUSH2 0x0423
0000041e: SWAP1
0000041f: PUSH2 0x166b
00000422: JUMP
00000423: JUMPDEST
00000424: PUSH1 0x40
00000426: MLOAD
00000427: DUP1
00000428: SWAP2
00000429: SUB
0000042a: SWAP1
0000042b: REVERT
0000042c: JUMPDEST
0000042d: PUSH1 0x01
0000042f: PUSH1 0x01
00000431: PUSH1 0xa0
00000433: SHL
00000434: SUB
00000435: DUP2
00000436: AND
00000437: PUSH1 0x00
00000439: DUP2
0000043a: DUP2
0000043b: MSTORE
0000043c: PUSH1 0x04
0000043e: PUSH1 0x20
00000440: MSTORE
00000441: PUSH1 0x40
00000443: DUP1
00000444: DUP3
00000445: KECCAK256
00000446: DUP1
00000447: SLOAD
00000448: PUSH1 0xff
0000044a: NOT
0000044b: AND
0000044c: PUSH1 0x01
0000044e: OR
0000044f: SWAP1
00000450: SSTORE
00000451: MLOAD
00000452: PUSH32 0xf88c7d248b10f4863d05e905ad1600e215e7325bf269bbf15543144b398f9802
00000473: SWAP2
00000474: SWAP1
00000475: LOG2
00000476: POP
00000477: JUMP
00000478: JUMPDEST
00000479: PUSH1 0x00
0000047b: SLOAD
0000047c: PUSH1 0x01
0000047e: PUSH1 0x01
00000480: PUSH1 0xa0
00000482: SHL
00000483: SUB
00000484: AND
00000485: CALLER
00000486: EQ
00000487: PUSH2 0x04a2
0000048a: JUMPI
0000048b: PUSH1 0x40
0000048d: MLOAD
0000048e: PUSH3 0x461bcd
00000492: PUSH1 0xe5
00000494: SHL
00000495: DUP2
00000496: MSTORE
00000497: PUSH1 0x04
00000499: ADD
0000049a: PUSH2 0x0423
0000049d: SWAP1
0000049e: PUSH2 0x166b
000004a1: JUMP
000004a2: JUMPDEST
000004a3: PUSH1 0x00
000004a5: DUP1
000004a6: SLOAD
000004a7: PUSH1 0xff
000004a9: PUSH1 0xa0
000004ab: SHL
000004ac: NOT
000004ad: AND
000004ae: PUSH1 0x01
000004b0: PUSH1 0xa0
000004b2: SHL
000004b3: OR
000004b4: DUP2
000004b5: SSTORE
000004b6: PUSH1 0x40
000004b8: MLOAD
000004b9: PUSH32 0x9e87fac88ff661f02d44f95383c817fece4bce600a3dab7a54406878b965e752
000004da: SWAP2
000004db: SWAP1
000004dc: LOG1
000004dd: JUMP
000004de: JUMPDEST
000004df: PUSH1 0x00
000004e1: SLOAD
000004e2: PUSH1 0x01
000004e4: PUSH1 0x01
000004e6: PUSH1 0xa0
000004e8: SHL
000004e9: SUB
000004ea: AND
000004eb: CALLER
000004ec: EQ
000004ed: PUSH2 0x0508
000004f0: JUMPI
000004f1: PUSH1 0x40
000004f3: MLOAD
000004f4: PUSH3 0x461bcd
000004f8: PUSH1 0xe5
000004fa: SHL
000004fb: DUP2
000004fc: MSTORE
000004fd: PUSH1 0x04
000004ff: ADD
00000500: PUSH2 0x0423
00000503: SWAP1
00000504: PUSH2 0x166b
00000507: JUMP
00000508: JUMPDEST
00000509: PUSH1 0x01
0000050b: PUSH1 0x01
0000050d: PUSH1 0xa0
0000050f: SHL
00000510: SUB
00000511: DUP2
00000512: AND
00000513: PUSH1 0x00
00000515: DUP2
00000516: DUP2
00000517: MSTORE
00000518: PUSH1 0x04
0000051a: PUSH1 0x20
0000051c: MSTORE
0000051d: PUSH1 0x40
0000051f: DUP1
00000520: DUP3
00000521: KECCAK256
00000522: DUP1
00000523: SLOAD
00000524: PUSH1 0xff
00000526: NOT
00000527: AND
00000528: SWAP1
00000529: SSTORE
0000052a: MLOAD
0000052b: PUSH32 0x4f9b3b949c96fbaab8b8e7139142528afae2f88b4774065e609ca06a2e4f4aab
0000054c: SWAP2
0000054d: SWAP1
0000054e: LOG2
0000054f: POP
00000550: JUMP
00000551: JUMPDEST
00000552: PUSH1 0x00
00000554: DUP1
00000555: DUP4
00000556: DUP1
00000557: MLOAD
00000558: SWAP1
00000559: PUSH1 0x20
0000055b: ADD
0000055c: KECCAK256
0000055d: PUSH1 0x40
0000055f: MLOAD
00000560: PUSH1 0x20
00000562: ADD
00000563: PUSH2 0x0598
00000566: SWAP2
00000567: SWAP1
00000568: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000
00000589: DUP2
0000058a: MSTORE
0000058b: PUSH1 0x1c
0000058d: DUP2
0000058e: ADD
0000058f: SWAP2
00000590: SWAP1
00000591: SWAP2
00000592: MSTORE
00000593: PUSH1 0x3c
00000595: ADD
00000596: SWAP1
00000597: JUMP
00000598: JUMPDEST
00000599: PUSH1 0x40
0000059b: MLOAD
0000059c: PUSH1 0x20
0000059e: DUP2
0000059f: DUP4
000005a0: SUB
000005a1: SUB
000005a2: DUP2
000005a3: MSTORE
000005a4: SWAP1
000005a5: PUSH1 0x40
000005a7: MSTORE
000005a8: DUP1
000005a9: MLOAD
000005aa: SWAP1
000005ab: PUSH1 0x20
000005ad: ADD
000005ae: KECCAK256
000005af: SWAP1
000005b0: POP
000005b1: PUSH2 0x05ba
000005b4: DUP2
000005b5: DUP5
000005b6: PUSH2 0x0c12
000005b9: JUMP
000005ba: JUMPDEST
000005bb: SWAP5
000005bc: SWAP4
000005bd: POP
000005be: POP
000005bf: POP
000005c0: POP
000005c1: JUMP
000005c2: JUMPDEST
000005c3: PUSH1 0x00
000005c5: SLOAD
000005c6: PUSH1 0x01
000005c8: PUSH1 0x01
000005ca: PUSH1 0xa0
000005cc: SHL
000005cd: SUB
000005ce: AND
000005cf: CALLER
000005d0: EQ
000005d1: PUSH2 0x05ec
000005d4: JUMPI
000005d5: PUSH1 0x40
000005d7: MLOAD
000005d8: PUSH3 0x461bcd
000005dc: PUSH1 0xe5
000005de: SHL
000005df: DUP2
000005e0: MSTORE
000005e1: PUSH1 0x04
000005e3: ADD
000005e4: PUSH2 0x0423
000005e7: SWAP1
000005e8: PUSH2 0x166b
000005eb: JUMP
000005ec: JUMPDEST
000005ed: PUSH2 0x05f6
000005f0: PUSH1 0x00
000005f2: PUSH2 0x0c36
000005f5: JUMP
000005f6: JUMPDEST
000005f7: JUMP
000005f8: JUMPDEST
000005f9: PUSH1 0x02
000005fb: SLOAD
000005fc: PUSH1 0x01
000005fe: PUSH1 0x01
00000600: PUSH1 0xa0
00000602: SHL
00000603: SUB
00000604: AND
00000605: CALLER
00000606: EQ
00000607: PUSH2 0x064b
0000060a: JUMPI
0000060b: PUSH1 0x40
0000060d: MLOAD
0000060e: PUSH3 0x461bcd
00000612: PUSH1 0xe5
00000614: SHL
00000615: DUP2
00000616: MSTORE
00000617: PUSH1 0x20
00000619: PUSH1 0x04
0000061b: DUP3
0000061c: ADD
0000061d: MSTORE
0000061e: PUSH1 0x16
00000620: PUSH1 0x24
00000622: DUP3
00000623: ADD
00000624: MSTORE
00000625: PUSH22 0x1bdb9b1e481bdc195c985d1bdc8818d85b8818d85b1b
0000063c: PUSH1 0x52
0000063e: SHL
0000063f: PUSH1 0x44
00000641: DUP3
00000642: ADD
00000643: MSTORE
00000644: PUSH1 0x64
00000646: ADD
00000647: PUSH2 0x0423
0000064a: JUMP
0000064b: JUMPDEST
0000064c: PUSH1 0x03
0000064e: SLOAD
0000064f: PUSH2 0x0663
00000652: SWAP1
00000653: PUSH1 0x01
00000655: PUSH1 0x01
00000657: PUSH1 0xa0
00000659: SHL
0000065a: SUB
0000065b: AND
0000065c: DUP5
0000065d: DUP5
0000065e: DUP5
0000065f: PUSH2 0x0c86
00000662: JUMP
00000663: JUMPDEST
00000664: PUSH1 0x40
00000666: DUP1
00000667: MLOAD
00000668: DUP5
00000669: ISZERO
0000066a: ISZERO
0000066b: DUP2
0000066c: MSTORE
0000066d: PUSH1 0x01
0000066f: PUSH1 0x01
00000671: PUSH1 0xa0
00000673: SHL
00000674: SUB
00000675: DUP5
00000676: AND
00000677: PUSH1 0x20
00000679: DUP3
0000067a: ADD
0000067b: MSTORE
0000067c: SWAP1
0000067d: DUP2
0000067e: ADD
0000067f: DUP3
00000680: SWAP1
00000681: MSTORE
00000682: PUSH32 0x33278ebf7b841e996e09580bfa7a0279c875902fe042c3d102a8d051c30dc733
000006a3: SWAP1
000006a4: PUSH1 0x60
000006a6: ADD
000006a7: PUSH1 0x40
000006a9: MLOAD
000006aa: DUP1
000006ab: SWAP2
000006ac: SUB
000006ad: SWAP1
000006ae: LOG1
000006af: POP
000006b0: POP
000006b1: POP
000006b2: JUMP
000006b3: JUMPDEST
000006b4: PUSH1 0x00
000006b6: SLOAD
000006b7: PUSH1 0x01
000006b9: PUSH1 0x01
000006bb: PUSH1 0xa0
000006bd: SHL
000006be: SUB
000006bf: AND
000006c0: CALLER
000006c1: EQ
000006c2: PUSH2 0x06dd
000006c5: JUMPI
000006c6: PUSH1 0x40
000006c8: MLOAD
000006c9: PUSH3 0x461bcd
000006cd: PUSH1 0xe5
000006cf: SHL
000006d0: DUP2
000006d1: MSTORE
000006d2: PUSH1 0x04
000006d4: ADD
000006d5: PUSH2 0x0423
000006d8: SWAP1
000006d9: PUSH2 0x166b
000006dc: JUMP
000006dd: JUMPDEST
000006de: PUSH1 0x02
000006e0: DUP1
000006e1: SLOAD
000006e2: PUSH1 0x01
000006e4: PUSH1 0x01
000006e6: PUSH1 0xa0
000006e8: SHL
000006e9: SUB
000006ea: DUP4
000006eb: DUP2
000006ec: AND
000006ed: PUSH1 0x01
000006ef: PUSH1 0x01
000006f1: PUSH1 0xa0
000006f3: SHL
000006f4: SUB
000006f5: NOT
000006f6: DUP4
000006f7: AND
000006f8: DUP2
000006f9: OR
000006fa: SWAP1
000006fb: SWAP4
000006fc: SSTORE
000006fd: PUSH1 0x40
000006ff: DUP1
00000700: MLOAD
00000701: SWAP2
00000702: SWAP1
00000703: SWAP3
00000704: AND
00000705: DUP1
00000706: DUP3
00000707: MSTORE
00000708: PUSH1 0x20
0000070a: DUP3
0000070b: ADD
0000070c: SWAP4
0000070d: SWAP1
0000070e: SWAP4
0000070f: MSTORE
00000710: PUSH32 0xf1e04d73c4304b5ff164f9d10c7473e2a1593b740674a6107975e2a7001c1e5c
00000731: SWAP2
00000732: ADD
00000733: JUMPDEST
00000734: PUSH1 0x40
00000736: MLOAD
00000737: DUP1
00000738: SWAP2
00000739: SUB
0000073a: SWAP1
0000073b: LOG1
0000073c: POP
0000073d: POP
0000073e: JUMP
0000073f: JUMPDEST
00000740: PUSH1 0x00
00000742: SLOAD
00000743: PUSH1 0x01
00000745: PUSH1 0x01
00000747: PUSH1 0xa0
00000749: SHL
0000074a: SUB
0000074b: AND
0000074c: CALLER
0000074d: EQ
0000074e: PUSH2 0x0769
00000751: JUMPI
00000752: PUSH1 0x40
00000754: MLOAD
00000755: PUSH3 0x461bcd
00000759: PUSH1 0xe5
0000075b: SHL
0000075c: DUP2
0000075d: MSTORE
0000075e: PUSH1 0x04
00000760: ADD
00000761: PUSH2 0x0423
00000764: SWAP1
00000765: PUSH2 0x166b
00000768: JUMP
00000769: JUMPDEST
0000076a: PUSH1 0x03
0000076c: DUP1
0000076d: SLOAD
0000076e: PUSH1 0x01
00000770: PUSH1 0x01
00000772: PUSH1 0xa0
00000774: SHL
00000775: SUB
00000776: DUP4
00000777: DUP2
00000778: AND
00000779: PUSH1 0x01
0000077b: PUSH1 0x01
0000077d: PUSH1 0xa0
0000077f: SHL
00000780: SUB
00000781: NOT
00000782: DUP4
00000783: AND
00000784: DUP2
00000785: OR
00000786: SWAP1
00000787: SWAP4
00000788: SSTORE
00000789: PUSH1 0x40
0000078b: DUP1
0000078c: MLOAD
0000078d: SWAP2
0000078e: SWAP1
0000078f: SWAP3
00000790: AND
00000791: DUP1
00000792: DUP3
00000793: MSTORE
00000794: PUSH1 0x20
00000796: DUP3
00000797: ADD
00000798: SWAP4
00000799: SWAP1
0000079a: SWAP4
0000079b: MSTORE
0000079c: PUSH32 0x100ee7bc9f90ed0d187ec16b9532449ca9eee13c1d00463b5759a771c1b49fb4
000007bd: SWAP2
000007be: ADD
000007bf: PUSH2 0x0733
000007c2: JUMP
000007c3: JUMPDEST
000007c4: PUSH1 0x00
000007c6: SLOAD
000007c7: PUSH1 0x01
000007c9: PUSH1 0xa0
000007cb: SHL
000007cc: SWAP1
000007cd: DIV
000007ce: PUSH1 0xff
000007d0: AND
000007d1: ISZERO
000007d2: PUSH2 0x0806
000007d5: JUMPI
000007d6: PUSH1 0x40
000007d8: MLOAD
000007d9: PUSH3 0x461bcd
000007dd: PUSH1 0xe5
000007df: SHL
000007e0: DUP2
000007e1: MSTORE
000007e2: PUSH1 0x20
000007e4: PUSH1 0x04
000007e6: DUP3
000007e7: ADD
000007e8: MSTORE
000007e9: PUSH1 0x06
000007eb: PUSH1 0x24
000007ed: DUP3
000007ee: ADD
000007ef: MSTORE
000007f0: PUSH6 0x1c185d5cd959
000007f7: PUSH1 0xd2
000007f9: SHL
000007fa: PUSH1 0x44
000007fc: DUP3
000007fd: ADD
000007fe: MSTORE
000007ff: PUSH1 0x64
00000801: ADD
00000802: PUSH2 0x0423
00000805: JUMP
00000806: JUMPDEST
00000807: PUSH1 0x00
00000809: PUSH2 0x087b
0000080c: DUP6
0000080d: DUP6
0000080e: DUP1
0000080f: DUP1
00000810: PUSH1 0x1f
00000812: ADD
00000813: PUSH1 0x20
00000815: DUP1
00000816: SWAP2
00000817: DIV
00000818: MUL
00000819: PUSH1 0x20
0000081b: ADD
0000081c: PUSH1 0x40
0000081e: MLOAD
0000081f: SWAP1
00000820: DUP2
00000821: ADD
00000822: PUSH1 0x40
00000824: MSTORE
00000825: DUP1
00000826: SWAP4
00000827: SWAP3
00000828: SWAP2
00000829: SWAP1
0000082a: DUP2
0000082b: DUP2
0000082c: MSTORE
0000082d: PUSH1 0x20
0000082f: ADD
00000830: DUP4
00000831: DUP4
00000832: DUP1
00000833: DUP3
00000834: DUP5
00000835: CALLDATACOPY
00000836: PUSH1 0x00
00000838: SWAP3
00000839: ADD
0000083a: SWAP2
0000083b: SWAP1
0000083c: SWAP2
0000083d: MSTORE
0000083e: POP
0000083f: POP
00000840: PUSH1 0x40
00000842: DUP1
00000843: MLOAD
00000844: PUSH1 0x20
00000846: PUSH1 0x1f
00000848: DUP10
00000849: ADD
0000084a: DUP2
0000084b: SWAP1
0000084c: DIV
0000084d: DUP2
0000084e: MUL
0000084f: DUP3
00000850: ADD
00000851: DUP2
00000852: ADD
00000853: SWAP1
00000854: SWAP3
00000855: MSTORE
00000856: DUP8
00000857: DUP2
00000858: MSTORE
00000859: SWAP3
0000085a: POP
0000085b: DUP8
0000085c: SWAP2
0000085d: POP
0000085e: DUP7
0000085f: SWAP1
00000860: DUP2
00000861: SWAP1
00000862: DUP5
00000863: ADD
00000864: DUP4
00000865: DUP3
00000866: DUP1
00000867: DUP3
00000868: DUP5
00000869: CALLDATACOPY
0000086a: PUSH1 0x00
0000086c: SWAP3
0000086d: ADD
0000086e: SWAP2
0000086f: SWAP1
00000870: SWAP2
00000871: MSTORE
00000872: POP
00000873: PUSH2 0x0551
00000876: SWAP3
00000877: POP
00000878: POP
00000879: POP
0000087a: JUMP
0000087b: JUMPDEST
0000087c: PUSH1 0x01
0000087e: SLOAD
0000087f: SWAP1
00000880: SWAP2
00000881: POP
00000882: PUSH1 0x01
00000884: PUSH1 0x01
00000886: PUSH1 0xa0
00000888: SHL
00000889: SUB
0000088a: DUP1
0000088b: DUP4
0000088c: AND
0000088d: SWAP2
0000088e: AND
0000088f: EQ
00000890: PUSH2 0x08ea
00000893: JUMPI
00000894: PUSH1 0x40
00000896: MLOAD
00000897: PUSH3 0x461bcd
0000089b: PUSH1 0xe5
0000089d: SHL
0000089e: DUP2
0000089f: MSTORE
000008a0: PUSH1 0x20
000008a2: PUSH1 0x04
000008a4: DUP3
000008a5: ADD
000008a6: MSTORE
000008a7: PUSH1 0x26
000008a9: PUSH1 0x24
000008ab: DUP3
000008ac: ADD
000008ad: MSTORE
000008ae: PUSH32 0x6f6e6c7920616363657074207472757468486f6c646572207369676e6564206d
000008cf: PUSH1 0x44
000008d1: DUP3
000008d2: ADD
000008d3: MSTORE
000008d4: PUSH6 0x657373616765
000008db: PUSH1 0xd0
000008dd: SHL
000008de: PUSH1 0x64
000008e0: DUP3
000008e1: ADD
000008e2: MSTORE
000008e3: PUSH1 0x84
000008e5: ADD
000008e6: PUSH2 0x0423
000008e9: JUMP
000008ea: JUMPDEST
000008eb: PUSH1 0x00
000008ed: DUP1
000008ee: DUP1
000008ef: DUP1
000008f0: DUP1
000008f1: DUP1
000008f2: PUSH2 0x08fd
000008f5: DUP11
000008f6: DUP13
000008f7: ADD
000008f8: DUP13
000008f9: PUSH2 0x16a0
000008fc: JUMP
000008fd: JUMPDEST
000008fe: PUSH1 0x00
00000900: DUP7
00000901: DUP2
00000902: MSTORE
00000903: PUSH1 0x05
00000905: PUSH1 0x20
00000907: MSTORE
00000908: PUSH1 0x40
0000090a: SWAP1
0000090b: KECCAK256
0000090c: SLOAD
0000090d: SWAP6
0000090e: SWAP12
0000090f: POP
00000910: SWAP4
00000911: SWAP10
00000912: POP
00000913: SWAP2
00000914: SWAP8
00000915: POP
00000916: SWAP6
00000917: POP
00000918: SWAP4
00000919: POP
0000091a: SWAP2
0000091b: POP
0000091c: ISZERO
0000091d: PUSH2 0x095a
00000920: JUMPI
00000921: PUSH1 0x40
00000923: MLOAD
00000924: PUSH3 0x461bcd
00000928: PUSH1 0xe5
0000092a: SHL
0000092b: DUP2
0000092c: MSTORE
0000092d: PUSH1 0x20
0000092f: PUSH1 0x04
00000931: DUP3
00000932: ADD
00000933: MSTORE
00000934: PUSH1 0x0f
00000936: PUSH1 0x24
00000938: DUP3
00000939: ADD
0000093a: MSTORE
0000093b: PUSH15 0x185b1c9958591e4818db185a5b5959
0000094b: PUSH1 0x8a
0000094d: SHL
0000094e: PUSH1 0x44
00000950: DUP3
00000951: ADD
00000952: MSTORE
00000953: PUSH1 0x64
00000955: ADD
00000956: PUSH2 0x0423
00000959: JUMP
0000095a: JUMPDEST
0000095b: DUP4
0000095c: DUP1
0000095d: PUSH2 0x097e
00000960: JUMPI
00000961: POP
00000962: PUSH1 0x01
00000964: PUSH1 0x01
00000966: PUSH1 0xa0
00000968: SHL
00000969: SUB
0000096a: DUP4
0000096b: AND
0000096c: PUSH1 0x00
0000096e: SWAP1
0000096f: DUP2
00000970: MSTORE
00000971: PUSH1 0x04
00000973: PUSH1 0x20
00000975: MSTORE
00000976: PUSH1 0x40
00000978: SWAP1
00000979: KECCAK256
0000097a: SLOAD
0000097b: PUSH1 0xff
0000097d: AND
0000097e: JUMPDEST
0000097f: PUSH2 0x09c1
00000982: JUMPI
00000983: PUSH1 0x40
00000985: MLOAD
00000986: PUSH3 0x461bcd
0000098a: PUSH1 0xe5
0000098c: SHL
0000098d: DUP2
0000098e: MSTORE
0000098f: PUSH1 0x20
00000991: PUSH1 0x04
00000993: DUP3
00000994: ADD
00000995: MSTORE
00000996: PUSH1 0x14
00000998: PUSH1 0x24
0000099a: DUP3
0000099b: ADD
0000099c: MSTORE
0000099d: PUSH20 0x18dd5c9c995b98de481b9bdd081cdd5c1c1bdc9d
000009b2: PUSH1 0x62
000009b4: SHL
000009b5: PUSH1 0x44
000009b7: DUP3
000009b8: ADD
000009b9: MSTORE
000009ba: PUSH1 0x64
000009bc: ADD
000009bd: PUSH2 0x0423
000009c0: JUMP
000009c1: JUMPDEST
000009c2: DUP1
000009c3: TIMESTAMP
000009c4: LT
000009c5: PUSH2 0x0a10
000009c8: JUMPI
000009c9: PUSH1 0x40
000009cb: MLOAD
000009cc: PUSH3 0x461bcd
000009d0: PUSH1 0xe5
000009d2: SHL
000009d3: DUP2
000009d4: MSTORE
000009d5: PUSH1 0x20
000009d7: PUSH1 0x04
000009d9: DUP3
000009da: ADD
000009db: MSTORE
000009dc: PUSH1 0x17
000009de: PUSH1 0x24
000009e0: DUP3
000009e1: ADD
000009e2: MSTORE
000009e3: PUSH32 0x616c72656164792070617373656420646561646c696e65000000000000000000
00000a04: PUSH1 0x44
00000a06: DUP3
00000a07: ADD
00000a08: MSTORE
00000a09: PUSH1 0x64
00000a0b: ADD
00000a0c: PUSH2 0x0423
00000a0f: JUMP
00000a10: JUMPDEST
00000a11: PUSH1 0x00
00000a13: DUP7
00000a14: DUP2
00000a15: MSTORE
00000a16: PUSH1 0x05
00000a18: PUSH1 0x20
00000a1a: MSTORE
00000a1b: PUSH1 0x40
00000a1d: SWAP1
00000a1e: KECCAK256
00000a1f: NUMBER
00000a20: SWAP1
00000a21: SSTORE
00000a22: PUSH2 0x0a2d
00000a25: DUP6
00000a26: DUP6
00000a27: DUP6
00000a28: DUP6
00000a29: PUSH2 0x0c86
00000a2c: JUMP
00000a2d: JUMPDEST
00000a2e: PUSH1 0x40
00000a30: DUP1
00000a31: MLOAD
00000a32: DUP6
00000a33: ISZERO
00000a34: ISZERO
00000a35: DUP2
00000a36: MSTORE
00000a37: PUSH1 0x01
00000a39: PUSH1 0x01
00000a3b: PUSH1 0xa0
00000a3d: SHL
00000a3e: SUB
00000a3f: DUP6
00000a40: DUP2
00000a41: AND
00000a42: PUSH1 0x20
00000a44: DUP4
00000a45: ADD
00000a46: MSTORE
00000a47: SWAP2
00000a48: DUP2
00000a49: ADD
00000a4a: DUP5
00000a4b: SWAP1
00000a4c: MSTORE
00000a4d: PUSH1 0x60
00000a4f: DUP2
00000a50: ADD
00000a51: DUP4
00000a52: SWAP1
00000a53: MSTORE
00000a54: SWAP1
00000a55: DUP7
00000a56: AND
00000a57: SWAP1
00000a58: DUP8
00000a59: SWAP1
00000a5a: PUSH32 0xbdf2c3f6edfac9e3d933ce8519d4cafffb974eb01531df50efe58090b4b1fd90
00000a7b: SWAP1
00000a7c: PUSH1 0x80
00000a7e: ADD
00000a7f: PUSH1 0x40
00000a81: MLOAD
00000a82: DUP1
00000a83: SWAP2
00000a84: SUB
00000a85: SWAP1
00000a86: LOG3
00000a87: POP
00000a88: POP
00000a89: POP
00000a8a: POP
00000a8b: POP
00000a8c: POP
00000a8d: POP
00000a8e: POP
00000a8f: POP
00000a90: POP
00000a91: POP
00000a92: JUMP
00000a93: JUMPDEST
00000a94: PUSH1 0x00
00000a96: SLOAD
00000a97: PUSH1 0x01
00000a99: PUSH1 0x01
00000a9b: PUSH1 0xa0
00000a9d: SHL
00000a9e: SUB
00000a9f: AND
00000aa0: CALLER
00000aa1: EQ
00000aa2: PUSH2 0x0abd
00000aa5: JUMPI
00000aa6: PUSH1 0x40
00000aa8: MLOAD
00000aa9: PUSH3 0x461bcd
00000aad: PUSH1 0xe5
00000aaf: SHL
00000ab0: DUP2
00000ab1: MSTORE
00000ab2: PUSH1 0x04
00000ab4: ADD
00000ab5: PUSH2 0x0423
00000ab8: SWAP1
00000ab9: PUSH2 0x166b
00000abc: JUMP
00000abd: JUMPDEST
00000abe: PUSH1 0x01
00000ac0: PUSH1 0x01
00000ac2: PUSH1 0xa0
00000ac4: SHL
00000ac5: SUB
00000ac6: DUP2
00000ac7: AND
00000ac8: PUSH2 0x0b22
00000acb: JUMPI
00000acc: PUSH1 0x40
00000ace: MLOAD
00000acf: PUSH3 0x461bcd
00000ad3: PUSH1 0xe5
00000ad5: SHL
00000ad6: DUP2
00000ad7: MSTORE
00000ad8: PUSH1 0x20
00000ada: PUSH1 0x04
00000adc: DUP3
00000add: ADD
00000ade: MSTORE
00000adf: PUSH1 0x26
00000ae1: PUSH1 0x24
00000ae3: DUP3
00000ae4: ADD
00000ae5: MSTORE
00000ae6: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
00000b07: PUSH1 0x44
00000b09: DUP3
00000b0a: ADD
00000b0b: MSTORE
00000b0c: PUSH6 0x646472657373
00000b13: PUSH1 0xd0
00000b15: SHL
00000b16: PUSH1 0x64
00000b18: DUP3
00000b19: ADD
00000b1a: MSTORE
00000b1b: PUSH1 0x84
00000b1d: ADD
00000b1e: PUSH2 0x0423
00000b21: JUMP
00000b22: JUMPDEST
00000b23: PUSH2 0x0b2b
00000b26: DUP2
00000b27: PUSH2 0x0c36
00000b2a: JUMP
00000b2b: JUMPDEST
00000b2c: POP
00000b2d: JUMP
00000b2e: JUMPDEST
00000b2f: PUSH1 0x00
00000b31: SLOAD
00000b32: PUSH1 0x01
00000b34: PUSH1 0x01
00000b36: PUSH1 0xa0
00000b38: SHL
00000b39: SUB
00000b3a: AND
00000b3b: CALLER
00000b3c: EQ
00000b3d: PUSH2 0x0b58
00000b40: JUMPI
00000b41: PUSH1 0x40
00000b43: MLOAD
00000b44: PUSH3 0x461bcd
00000b48: PUSH1 0xe5
00000b4a: SHL
00000b4b: DUP2
00000b4c: MSTORE
00000b4d: PUSH1 0x04
00000b4f: ADD
00000b50: PUSH2 0x0423
00000b53: SWAP1
00000b54: PUSH2 0x166b
00000b57: JUMP
00000b58: JUMPDEST
00000b59: PUSH1 0x01
00000b5b: DUP1
00000b5c: SLOAD
00000b5d: PUSH1 0x01
00000b5f: PUSH1 0x01
00000b61: PUSH1 0xa0
00000b63: SHL
00000b64: SUB
00000b65: DUP4
00000b66: DUP2
00000b67: AND
00000b68: PUSH1 0x01
00000b6a: PUSH1 0x01
00000b6c: PUSH1 0xa0
00000b6e: SHL
00000b6f: SUB
00000b70: NOT
00000b71: DUP4
00000b72: AND
00000b73: DUP2
00000b74: OR
00000b75: SWAP1
00000b76: SWAP4
00000b77: SSTORE
00000b78: PUSH1 0x40
00000b7a: DUP1
00000b7b: MLOAD
00000b7c: SWAP2
00000b7d: SWAP1
00000b7e: SWAP3
00000b7f: AND
00000b80: DUP1
00000b81: DUP3
00000b82: MSTORE
00000b83: PUSH1 0x20
00000b85: DUP3
00000b86: ADD
00000b87: SWAP4
00000b88: SWAP1
00000b89: SWAP4
00000b8a: MSTORE
00000b8b: PUSH32 0x81b88ce749f5ea02a8cec52c72adf48d4bae4bb5c855faaae1a248b327ff00ca
00000bac: SWAP2
00000bad: ADD
00000bae: PUSH2 0x0733
00000bb1: JUMP
00000bb2: JUMPDEST
00000bb3: PUSH1 0x00
00000bb5: SLOAD
00000bb6: PUSH1 0x01
00000bb8: PUSH1 0x01
00000bba: PUSH1 0xa0
00000bbc: SHL
00000bbd: SUB
00000bbe: AND
00000bbf: CALLER
00000bc0: EQ
00000bc1: PUSH2 0x0bdc
00000bc4: JUMPI
00000bc5: PUSH1 0x40
00000bc7: MLOAD
00000bc8: PUSH3 0x461bcd
00000bcc: PUSH1 0xe5
00000bce: SHL
00000bcf: DUP2
00000bd0: MSTORE
00000bd1: PUSH1 0x04
00000bd3: ADD
00000bd4: PUSH2 0x0423
00000bd7: SWAP1
00000bd8: PUSH2 0x166b
00000bdb: JUMP
00000bdc: JUMPDEST
00000bdd: PUSH1 0x00
00000bdf: DUP1
00000be0: SLOAD
00000be1: PUSH1 0xff
00000be3: PUSH1 0xa0
00000be5: SHL
00000be6: NOT
00000be7: AND
00000be8: DUP2
00000be9: SSTORE
00000bea: PUSH1 0x40
00000bec: MLOAD
00000bed: PUSH32 0xa45f47fdea8a1efdd9029a5691c7f759c32b7c698632b563573e155625d16933
00000c0e: SWAP2
00000c0f: SWAP1
00000c10: LOG1
00000c11: JUMP
00000c12: JUMPDEST
00000c13: PUSH1 0x00
00000c15: DUP1
00000c16: PUSH1 0x00
00000c18: PUSH2 0x0c21
00000c1b: DUP6
00000c1c: DUP6
00000c1d: PUSH2 0x0e26
00000c20: JUMP
00000c21: JUMPDEST
00000c22: SWAP2
00000c23: POP
00000c24: SWAP2
00000c25: POP
00000c26: PUSH2 0x0c2e
00000c29: DUP2
00000c2a: PUSH2 0x0e94
00000c2d: JUMP
00000c2e: JUMPDEST
00000c2f: POP
00000c30: SWAP4
00000c31: SWAP3
00000c32: POP
00000c33: POP
00000c34: POP
00000c35: JUMP
00000c36: JUMPDEST
00000c37: PUSH1 0x00
00000c39: DUP1
00000c3a: SLOAD
00000c3b: PUSH1 0x01
00000c3d: PUSH1 0x01
00000c3f: PUSH1 0xa0
00000c41: SHL
00000c42: SUB
00000c43: DUP4
00000c44: DUP2
00000c45: AND
00000c46: PUSH1 0x01
00000c48: PUSH1 0x01
00000c4a: PUSH1 0xa0
00000c4c: SHL
00000c4d: SUB
00000c4e: NOT
00000c4f: DUP4
00000c50: AND
00000c51: DUP2
00000c52: OR
00000c53: DUP5
00000c54: SSTORE
00000c55: PUSH1 0x40
00000c57: MLOAD
00000c58: SWAP2
00000c59: SWAP1
00000c5a: SWAP3
00000c5b: AND
00000c5c: SWAP3
00000c5d: DUP4
00000c5e: SWAP2
00000c5f: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000c80: SWAP2
00000c81: SWAP1
00000c82: LOG3
00000c83: POP
00000c84: POP
00000c85: JUMP
00000c86: JUMPDEST
00000c87: DUP3
00000c88: ISZERO
00000c89: PUSH2 0x0d4a
00000c8c: JUMPI
00000c8d: DUP1
00000c8e: SELFBALANCE
00000c8f: LT
00000c90: ISZERO
00000c91: PUSH2 0x0cdc
00000c94: JUMPI
00000c95: PUSH1 0x40
00000c97: MLOAD
00000c98: PUSH3 0x461bcd
00000c9c: PUSH1 0xe5
00000c9e: SHL
00000c9f: DUP2
00000ca0: MSTORE
00000ca1: PUSH1 0x20
00000ca3: PUSH1 0x04
00000ca5: DUP3
00000ca6: ADD
00000ca7: MSTORE
00000ca8: PUSH1 0x18
00000caa: PUSH1 0x24
00000cac: DUP3
00000cad: ADD
00000cae: MSTORE
00000caf: PUSH32 0x6e6f7420656e6f7567682065746865722062616c616e63650000000000000000
00000cd0: PUSH1 0x44
00000cd2: DUP3
00000cd3: ADD
00000cd4: MSTORE
00000cd5: PUSH1 0x64
00000cd7: ADD
00000cd8: PUSH2 0x0423
00000cdb: JUMP
00000cdc: JUMPDEST
00000cdd: PUSH1 0x40
00000cdf: MLOAD
00000ce0: PUSH1 0x01
00000ce2: PUSH1 0x01
00000ce4: PUSH1 0xa0
00000ce6: SHL
00000ce7: SUB
00000ce8: DUP6
00000ce9: AND
00000cea: SWAP1
00000ceb: DUP3
00000cec: ISZERO
00000ced: PUSH2 0x08fc
00000cf0: MUL
00000cf1: SWAP1
00000cf2: DUP4
00000cf3: SWAP1
00000cf4: PUSH1 0x00
00000cf6: DUP2
00000cf7: DUP2
00000cf8: DUP2
00000cf9: DUP6
00000cfa: DUP9
00000cfb: DUP9
00000cfc: CALL
00000cfd: SWAP4
00000cfe: POP
00000cff: POP
00000d00: POP
00000d01: POP
00000d02: PUSH2 0x0d45
00000d05: JUMPI
00000d06: PUSH1 0x40
00000d08: MLOAD
00000d09: PUSH3 0x461bcd
00000d0d: PUSH1 0xe5
00000d0f: SHL
00000d10: DUP2
00000d11: MSTORE
00000d12: PUSH1 0x20
00000d14: PUSH1 0x04
00000d16: DUP3
00000d17: ADD
00000d18: MSTORE
00000d19: PUSH1 0x15
00000d1b: PUSH1 0x24
00000d1d: DUP3
00000d1e: ADD
00000d1f: MSTORE
00000d20: PUSH21 0x195d1a195c881d1c985b9cd9995c8819985a5b1959
00000d36: PUSH1 0x5a
00000d38: SHL
00000d39: PUSH1 0x44
00000d3b: DUP3
00000d3c: ADD
00000d3d: MSTORE
00000d3e: PUSH1 0x64
00000d40: ADD
00000d41: PUSH2 0x0423
00000d44: JUMP
00000d45: JUMPDEST
00000d46: PUSH2 0x0e20
00000d49: JUMP
00000d4a: JUMPDEST
00000d4b: PUSH1 0x40
00000d4d: MLOAD
00000d4e: PUSH4 0x70a08231
00000d53: PUSH1 0xe0
00000d55: SHL
00000d56: DUP2
00000d57: MSTORE
00000d58: ADDRESS
00000d59: PUSH1 0x04
00000d5b: DUP3
00000d5c: ADD
00000d5d: MSTORE
00000d5e: DUP3
00000d5f: SWAP1
00000d60: PUSH1 0x00
00000d62: SWAP1
00000d63: PUSH1 0x01
00000d65: PUSH1 0x01
00000d67: PUSH1 0xa0
00000d69: SHL
00000d6a: SUB
00000d6b: DUP4
00000d6c: AND
00000d6d: SWAP1
00000d6e: PUSH4 0x70a08231
00000d73: SWAP1
00000d74: PUSH1 0x24
00000d76: ADD
00000d77: PUSH1 0x20
00000d79: PUSH1 0x40
00000d7b: MLOAD
00000d7c: DUP1
00000d7d: DUP4
00000d7e: SUB
00000d7f: DUP2
00000d80: DUP7
00000d81: GAS
00000d82: STATICCALL
00000d83: ISZERO
00000d84: DUP1
00000d85: ISZERO
00000d86: PUSH2 0x0d93
00000d89: JUMPI
00000d8a: RETURNDATASIZE
00000d8b: PUSH1 0x00
00000d8d: DUP1
00000d8e: RETURNDATACOPY
00000d8f: RETURNDATASIZE
00000d90: PUSH1 0x00
00000d92: REVERT
00000d93: JUMPDEST
00000d94: POP
00000d95: POP
00000d96: POP
00000d97: POP
00000d98: PUSH1 0x40
00000d9a: MLOAD
00000d9b: RETURNDATASIZE
00000d9c: PUSH1 0x1f
00000d9e: NOT
00000d9f: PUSH1 0x1f
00000da1: DUP3
00000da2: ADD
00000da3: AND
00000da4: DUP3
00000da5: ADD
00000da6: DUP1
00000da7: PUSH1 0x40
00000da9: MSTORE
00000daa: POP
00000dab: DUP2
00000dac: ADD
00000dad: SWAP1
00000dae: PUSH2 0x0db7
00000db1: SWAP2
00000db2: SWAP1
00000db3: PUSH2 0x1705
00000db6: JUMP
00000db7: JUMPDEST
00000db8: SWAP1
00000db9: POP
00000dba: DUP3
00000dbb: DUP2
00000dbc: LT
00000dbd: ISZERO
00000dbe: PUSH2 0x0e09
00000dc1: JUMPI
00000dc2: PUSH1 0x40
00000dc4: MLOAD
00000dc5: PUSH3 0x461bcd
00000dc9: PUSH1 0xe5
00000dcb: SHL
00000dcc: DUP2
00000dcd: MSTORE
00000dce: PUSH1 0x20
00000dd0: PUSH1 0x04
00000dd2: DUP3
00000dd3: ADD
00000dd4: MSTORE
00000dd5: PUSH1 0x1b
00000dd7: PUSH1 0x24
00000dd9: DUP3
00000dda: ADD
00000ddb: MSTORE
00000ddc: PUSH32 0x6e6f7420656e6f7567682063757272656e63792062616c616e63650000000000
00000dfd: PUSH1 0x44
00000dff: DUP3
00000e00: ADD
00000e01: MSTORE
00000e02: PUSH1 0x64
00000e04: ADD
00000e05: PUSH2 0x0423
00000e08: JUMP
00000e09: JUMPDEST
00000e0a: PUSH2 0x0e1d
00000e0d: PUSH1 0x01
00000e0f: PUSH1 0x01
00000e11: PUSH1 0xa0
00000e13: SHL
00000e14: SUB
00000e15: DUP4
00000e16: AND
00000e17: DUP8
00000e18: DUP6
00000e19: PUSH2 0x104a
00000e1c: JUMP
00000e1d: JUMPDEST
00000e1e: POP
00000e1f: POP
00000e20: JUMPDEST
00000e21: POP
00000e22: POP
00000e23: POP
00000e24: POP
00000e25: JUMP
00000e26: JUMPDEST
00000e27: PUSH1 0x00
00000e29: DUP1
00000e2a: DUP3
00000e2b: MLOAD
00000e2c: PUSH1 0x41
00000e2e: SUB
00000e2f: PUSH2 0x0e5c
00000e32: JUMPI
00000e33: PUSH1 0x20
00000e35: DUP4
00000e36: ADD
00000e37: MLOAD
00000e38: PUSH1 0x40
00000e3a: DUP5
00000e3b: ADD
00000e3c: MLOAD
00000e3d: PUSH1 0x60
00000e3f: DUP6
00000e40: ADD
00000e41: MLOAD
00000e42: PUSH1 0x00
00000e44: BYTE
00000e45: PUSH2 0x0e50
00000e48: DUP8
00000e49: DUP3
00000e4a: DUP6
00000e4b: DUP6
00000e4c: PUSH2 0x10a1
00000e4f: JUMP
00000e50: JUMPDEST
00000e51: SWAP5
00000e52: POP
00000e53: SWAP5
00000e54: POP
00000e55: POP
00000e56: POP
00000e57: POP
00000e58: PUSH2 0x0e8d
00000e5b: JUMP
00000e5c: JUMPDEST
00000e5d: DUP3
00000e5e: MLOAD
00000e5f: PUSH1 0x40
00000e61: SUB
00000e62: PUSH2 0x0e85
00000e65: JUMPI
00000e66: PUSH1 0x20
00000e68: DUP4
00000e69: ADD
00000e6a: MLOAD
00000e6b: PUSH1 0x40
00000e6d: DUP5
00000e6e: ADD
00000e6f: MLOAD
00000e70: PUSH2 0x0e7a
00000e73: DUP7
00000e74: DUP4
00000e75: DUP4
00000e76: PUSH2 0x118e
00000e79: JUMP
00000e7a: JUMPDEST
00000e7b: SWAP4
00000e7c: POP
00000e7d: SWAP4
00000e7e: POP
00000e7f: POP
00000e80: POP
00000e81: PUSH2 0x0e8d
00000e84: JUMP
00000e85: JUMPDEST
00000e86: POP
00000e87: PUSH1 0x00
00000e89: SWAP1
00000e8a: POP
00000e8b: PUSH1 0x02
00000e8d: JUMPDEST
00000e8e: SWAP3
00000e8f: POP
00000e90: SWAP3
00000e91: SWAP1
00000e92: POP
00000e93: JUMP
00000e94: JUMPDEST
00000e95: PUSH1 0x00
00000e97: DUP2
00000e98: PUSH1 0x04
00000e9a: DUP2
00000e9b: GT
00000e9c: ISZERO
00000e9d: PUSH2 0x0ea8
00000ea0: JUMPI
00000ea1: PUSH2 0x0ea8
00000ea4: PUSH2 0x171e
00000ea7: JUMP
00000ea8: JUMPDEST
00000ea9: SUB
00000eaa: PUSH2 0x0eb0
00000ead: JUMPI
00000eae: POP
00000eaf: JUMP
00000eb0: JUMPDEST
00000eb1: PUSH1 0x01
00000eb3: DUP2
00000eb4: PUSH1 0x04
00000eb6: DUP2
00000eb7: GT
00000eb8: ISZERO
00000eb9: PUSH2 0x0ec4
00000ebc: JUMPI
00000ebd: PUSH2 0x0ec4
00000ec0: PUSH2 0x171e
00000ec3: JUMP
00000ec4: JUMPDEST
00000ec5: SUB
00000ec6: PUSH2 0x0f11
00000ec9: JUMPI
00000eca: PUSH1 0x40
00000ecc: MLOAD
00000ecd: PUSH3 0x461bcd
00000ed1: PUSH1 0xe5
00000ed3: SHL
00000ed4: DUP2
00000ed5: MSTORE
00000ed6: PUSH1 0x20
00000ed8: PUSH1 0x04
00000eda: DUP3
00000edb: ADD
00000edc: MSTORE
00000edd: PUSH1 0x18
00000edf: PUSH1 0x24
00000ee1: DUP3
00000ee2: ADD
00000ee3: MSTORE
00000ee4: PUSH32 0x45434453413a20696e76616c6964207369676e61747572650000000000000000
00000f05: PUSH1 0x44
00000f07: DUP3
00000f08: ADD
00000f09: MSTORE
00000f0a: PUSH1 0x64
00000f0c: ADD
00000f0d: PUSH2 0x0423
00000f10: JUMP
00000f11: JUMPDEST
00000f12: PUSH1 0x02
00000f14: DUP2
00000f15: PUSH1 0x04
00000f17: DUP2
00000f18: GT
00000f19: ISZERO
00000f1a: PUSH2 0x0f25
00000f1d: JUMPI
00000f1e: PUSH2 0x0f25
00000f21: PUSH2 0x171e
00000f24: JUMP
00000f25: JUMPDEST
00000f26: SUB
00000f27: PUSH2 0x0f72
00000f2a: JUMPI
00000f2b: PUSH1 0x40
00000f2d: MLOAD
00000f2e: PUSH3 0x461bcd
00000f32: PUSH1 0xe5
00000f34: SHL
00000f35: DUP2
00000f36: MSTORE
00000f37: PUSH1 0x20
00000f39: PUSH1 0x04
00000f3b: DUP3
00000f3c: ADD
00000f3d: MSTORE
00000f3e: PUSH1 0x1f
00000f40: PUSH1 0x24
00000f42: DUP3
00000f43: ADD
00000f44: MSTORE
00000f45: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265206c656e67746800
00000f66: PUSH1 0x44
00000f68: DUP3
00000f69: ADD
00000f6a: MSTORE
00000f6b: PUSH1 0x64
00000f6d: ADD
00000f6e: PUSH2 0x0423
00000f71: JUMP
00000f72: JUMPDEST
00000f73: PUSH1 0x03
00000f75: DUP2
00000f76: PUSH1 0x04
00000f78: DUP2
00000f79: GT
00000f7a: ISZERO
00000f7b: PUSH2 0x0f86
00000f7e: JUMPI
00000f7f: PUSH2 0x0f86
00000f82: PUSH2 0x171e
00000f85: JUMP
00000f86: JUMPDEST
00000f87: SUB
00000f88: PUSH2 0x0fde
00000f8b: JUMPI
00000f8c: PUSH1 0x40
00000f8e: MLOAD
00000f8f: PUSH3 0x461bcd
00000f93: PUSH1 0xe5
00000f95: SHL
00000f96: DUP2
00000f97: MSTORE
00000f98: PUSH1 0x20
00000f9a: PUSH1 0x04
00000f9c: DUP3
00000f9d: ADD
00000f9e: MSTORE
00000f9f: PUSH1 0x22
00000fa1: PUSH1 0x24
00000fa3: DUP3
00000fa4: ADD
00000fa5: MSTORE
00000fa6: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265202773272076616c
00000fc7: PUSH1 0x44
00000fc9: DUP3
00000fca: ADD
00000fcb: MSTORE
00000fcc: PUSH2 0x7565
00000fcf: PUSH1 0xf0
00000fd1: SHL
00000fd2: PUSH1 0x64
00000fd4: DUP3
00000fd5: ADD
00000fd6: MSTORE
00000fd7: PUSH1 0x84
00000fd9: ADD
00000fda: PUSH2 0x0423
00000fdd: JUMP
00000fde: JUMPDEST
00000fdf: PUSH1 0x04
00000fe1: DUP2
00000fe2: PUSH1 0x04
00000fe4: DUP2
00000fe5: GT
00000fe6: ISZERO
00000fe7: PUSH2 0x0ff2
00000fea: JUMPI
00000feb: PUSH2 0x0ff2
00000fee: PUSH2 0x171e
00000ff1: JUMP
00000ff2: JUMPDEST
00000ff3: SUB
00000ff4: PUSH2 0x0b2b
00000ff7: JUMPI
00000ff8: PUSH1 0x40
00000ffa: MLOAD
00000ffb: PUSH3 0x461bcd
00000fff: PUSH1 0xe5
00001001: SHL
00001002: DUP2
00001003: MSTORE
00001004: PUSH1 0x20
00001006: PUSH1 0x04
00001008: DUP3
00001009: ADD
0000100a: MSTORE
0000100b: PUSH1 0x22
0000100d: PUSH1 0x24
0000100f: DUP3
00001010: ADD
00001011: MSTORE
00001012: PUSH32 0x45434453413a20696e76616c6964207369676e6174757265202776272076616c
00001033: PUSH1 0x44
00001035: DUP3
00001036: ADD
00001037: MSTORE
00001038: PUSH2 0x7565
0000103b: PUSH1 0xf0
0000103d: SHL
0000103e: PUSH1 0x64
00001040: DUP3
00001041: ADD
00001042: MSTORE
00001043: PUSH1 0x84
00001045: ADD
00001046: PUSH2 0x0423
00001049: JUMP
0000104a: JUMPDEST
0000104b: PUSH1 0x40
0000104d: DUP1
0000104e: MLOAD
0000104f: PUSH1 0x01
00001051: PUSH1 0x01
00001053: PUSH1 0xa0
00001055: SHL
00001056: SUB
00001057: DUP5
00001058: AND
00001059: PUSH1 0x24
0000105b: DUP3
0000105c: ADD
0000105d: MSTORE
0000105e: PUSH1 0x44
00001060: DUP1
00001061: DUP3
00001062: ADD
00001063: DUP5
00001064: SWAP1
00001065: MSTORE
00001066: DUP3
00001067: MLOAD
00001068: DUP1
00001069: DUP4
0000106a: SUB
0000106b: SWAP1
0000106c: SWAP2
0000106d: ADD
0000106e: DUP2
0000106f: MSTORE
00001070: PUSH1 0x64
00001072: SWAP1
00001073: SWAP2
00001074: ADD
00001075: SWAP1
00001076: SWAP2
00001077: MSTORE
00001078: PUSH1 0x20
0000107a: DUP2
0000107b: ADD
0000107c: DUP1
0000107d: MLOAD
0000107e: PUSH1 0x01
00001080: PUSH1 0x01
00001082: PUSH1 0xe0
00001084: SHL
00001085: SUB
00001086: AND
00001087: PUSH4 0xa9059cbb
0000108c: PUSH1 0xe0
0000108e: SHL
0000108f: OR
00001090: SWAP1
00001091: MSTORE
00001092: PUSH2 0x109c
00001095: SWAP1
00001096: DUP5
00001097: SWAP1
00001098: PUSH2 0x11c7
0000109b: JUMP
0000109c: JUMPDEST
0000109d: POP
0000109e: POP
0000109f: POP
000010a0: JUMP
000010a1: JUMPDEST
000010a2: PUSH1 0x00
000010a4: DUP1
000010a5: PUSH32 0x7fffffffffffffffffffffffffffffff5d576e7357a4501ddfe92f46681b20a0
000010c6: DUP4
000010c7: GT
000010c8: ISZERO
000010c9: PUSH2 0x10d8
000010cc: JUMPI
000010cd: POP
000010ce: PUSH1 0x00
000010d0: SWAP1
000010d1: POP
000010d2: PUSH1 0x03
000010d4: PUSH2 0x1185
000010d7: JUMP
000010d8: JUMPDEST
000010d9: DUP5
000010da: PUSH1 0xff
000010dc: AND
000010dd: PUSH1 0x1b
000010df: EQ
000010e0: ISZERO
000010e1: DUP1
000010e2: ISZERO
000010e3: PUSH2 0x10f0
000010e6: JUMPI
000010e7: POP
000010e8: DUP5
000010e9: PUSH1 0xff
000010eb: AND
000010ec: PUSH1 0x1c
000010ee: EQ
000010ef: ISZERO
000010f0: JUMPDEST
000010f1: ISZERO
000010f2: PUSH2 0x1101
000010f5: JUMPI
000010f6: POP
000010f7: PUSH1 0x00
000010f9: SWAP1
000010fa: POP
000010fb: PUSH1 0x04
000010fd: PUSH2 0x1185
00001100: JUMP
00001101: JUMPDEST
00001102: PUSH1 0x40
00001104: DUP1
00001105: MLOAD
00001106: PUSH1 0x00
00001108: DUP1
00001109: DUP3
0000110a: MSTORE
0000110b: PUSH1 0x20
0000110d: DUP3
0000110e: ADD
0000110f: DUP1
00001110: DUP5
00001111: MSTORE
00001112: DUP10
00001113: SWAP1
00001114: MSTORE
00001115: PUSH1 0xff
00001117: DUP9
00001118: AND
00001119: SWAP3
0000111a: DUP3
0000111b: ADD
0000111c: SWAP3
0000111d: SWAP1
0000111e: SWAP3
0000111f: MSTORE
00001120: PUSH1 0x60
00001122: DUP2
00001123: ADD
00001124: DUP7
00001125: SWAP1
00001126: MSTORE
00001127: PUSH1 0x80
00001129: DUP2
0000112a: ADD
0000112b: DUP6
0000112c: SWAP1
0000112d: MSTORE
0000112e: PUSH1 0x01
00001130: SWAP1
00001131: PUSH1 0xa0
00001133: ADD
00001134: PUSH1 0x20
00001136: PUSH1 0x40
00001138: MLOAD
00001139: PUSH1 0x20
0000113b: DUP2
0000113c: SUB
0000113d: SWAP1
0000113e: DUP1
0000113f: DUP5
00001140: SUB
00001141: SWAP1
00001142: DUP6
00001143: GAS
00001144: STATICCALL
00001145: ISZERO
00001146: DUP1
00001147: ISZERO
00001148: PUSH2 0x1155
0000114b: JUMPI
0000114c: RETURNDATASIZE
0000114d: PUSH1 0x00
0000114f: DUP1
00001150: RETURNDATACOPY
00001151: RETURNDATASIZE
00001152: PUSH1 0x00
00001154: REVERT
00001155: JUMPDEST
00001156: POP
00001157: POP
00001158: PUSH1 0x40
0000115a: MLOAD
0000115b: PUSH1 0x1f
0000115d: NOT
0000115e: ADD
0000115f: MLOAD
00001160: SWAP2
00001161: POP
00001162: POP
00001163: PUSH1 0x01
00001165: PUSH1 0x01
00001167: PUSH1 0xa0
00001169: SHL
0000116a: SUB
0000116b: DUP2
0000116c: AND
0000116d: PUSH2 0x117e
00001170: JUMPI
00001171: PUSH1 0x00
00001173: PUSH1 0x01
00001175: SWAP3
00001176: POP
00001177: SWAP3
00001178: POP
00001179: POP
0000117a: PUSH2 0x1185
0000117d: JUMP
0000117e: JUMPDEST
0000117f: SWAP2
00001180: POP
00001181: PUSH1 0x00
00001183: SWAP1
00001184: POP
00001185: JUMPDEST
00001186: SWAP5
00001187: POP
00001188: SWAP5
00001189: SWAP3
0000118a: POP
0000118b: POP
0000118c: POP
0000118d: JUMP
0000118e: JUMPDEST
0000118f: PUSH1 0x00
00001191: DUP1
00001192: PUSH1 0x01
00001194: PUSH1 0x01
00001196: PUSH1 0xff
00001198: SHL
00001199: SUB
0000119a: DUP4
0000119b: AND
0000119c: DUP2
0000119d: PUSH2 0x11ab
000011a0: PUSH1 0xff
000011a2: DUP7
000011a3: SWAP1
000011a4: SHR
000011a5: PUSH1 0x1b
000011a7: PUSH2 0x1734
000011aa: JUMP
000011ab: JUMPDEST
000011ac: SWAP1
000011ad: POP
000011ae: PUSH2 0x11b9
000011b1: DUP8
000011b2: DUP3
000011b3: DUP9
000011b4: DUP6
000011b5: PUSH2 0x10a1
000011b8: JUMP
000011b9: JUMPDEST
000011ba: SWAP4
000011bb: POP
000011bc: SWAP4
000011bd: POP
000011be: POP
000011bf: POP
000011c0: SWAP4
000011c1: POP
000011c2: SWAP4
000011c3: SWAP2
000011c4: POP
000011c5: POP
000011c6: JUMP
000011c7: JUMPDEST
000011c8: PUSH1 0x00
000011ca: PUSH2 0x121c
000011cd: DUP3
000011ce: PUSH1 0x40
000011d0: MLOAD
000011d1: DUP1
000011d2: PUSH1 0x40
000011d4: ADD
000011d5: PUSH1 0x40
000011d7: MSTORE
000011d8: DUP1
000011d9: PUSH1 0x20
000011db: DUP2
000011dc: MSTORE
000011dd: PUSH1 0x20
000011df: ADD
000011e0: PUSH32 0x5361666545524332303a206c6f772d6c6576656c2063616c6c206661696c6564
00001201: DUP2
00001202: MSTORE
00001203: POP
00001204: DUP6
00001205: PUSH1 0x01
00001207: PUSH1 0x01
00001209: PUSH1 0xa0
0000120b: SHL
0000120c: SUB
0000120d: AND
0000120e: PUSH2 0x1299
00001211: SWAP1
00001212: SWAP3
00001213: SWAP2
00001214: SWAP1
00001215: PUSH4 0xffffffff
0000121a: AND
0000121b: JUMP
0000121c: JUMPDEST
0000121d: DUP1
0000121e: MLOAD
0000121f: SWAP1
00001220: SWAP2
00001221: POP
00001222: ISZERO
00001223: PUSH2 0x109c
00001226: JUMPI
00001227: DUP1
00001228: DUP1
00001229: PUSH1 0x20
0000122b: ADD
0000122c: SWAP1
0000122d: MLOAD
0000122e: DUP2
0000122f: ADD
00001230: SWAP1
00001231: PUSH2 0x123a
00001234: SWAP2
00001235: SWAP1
00001236: PUSH2 0x175a
00001239: JUMP
0000123a: JUMPDEST
0000123b: PUSH2 0x109c
0000123e: JUMPI
0000123f: PUSH1 0x40
00001241: MLOAD
00001242: PUSH3 0x461bcd
00001246: PUSH1 0xe5
00001248: SHL
00001249: DUP2
0000124a: MSTORE
0000124b: PUSH1 0x20
0000124d: PUSH1 0x04
0000124f: DUP3
00001250: ADD
00001251: MSTORE
00001252: PUSH1 0x2a
00001254: PUSH1 0x24
00001256: DUP3
00001257: ADD
00001258: MSTORE
00001259: PUSH32 0x5361666545524332303a204552433230206f7065726174696f6e20646964206e
0000127a: PUSH1 0x44
0000127c: DUP3
0000127d: ADD
0000127e: MSTORE
0000127f: PUSH10 0x1bdd081cdd58d8d95959
0000128a: PUSH1 0xb2
0000128c: SHL
0000128d: PUSH1 0x64
0000128f: DUP3
00001290: ADD
00001291: MSTORE
00001292: PUSH1 0x84
00001294: ADD
00001295: PUSH2 0x0423
00001298: JUMP
00001299: JUMPDEST
0000129a: PUSH1 0x60
0000129c: PUSH2 0x12a8
0000129f: DUP5
000012a0: DUP5
000012a1: PUSH1 0x00
000012a3: DUP6
000012a4: PUSH2 0x12b2
000012a7: JUMP
000012a8: JUMPDEST
000012a9: SWAP1
000012aa: POP
000012ab: JUMPDEST
000012ac: SWAP4
000012ad: SWAP3
000012ae: POP
000012af: POP
000012b0: POP
000012b1: JUMP
000012b2: JUMPDEST
000012b3: PUSH1 0x60
000012b5: DUP3
000012b6: SELFBALANCE
000012b7: LT
000012b8: ISZERO
000012b9: PUSH2 0x1313
000012bc: JUMPI
000012bd: PUSH1 0x40
000012bf: MLOAD
000012c0: PUSH3 0x461bcd
000012c4: PUSH1 0xe5
000012c6: SHL
000012c7: DUP2
000012c8: MSTORE
000012c9: PUSH1 0x20
000012cb: PUSH1 0x04
000012cd: DUP3
000012ce: ADD
000012cf: MSTORE
000012d0: PUSH1 0x26
000012d2: PUSH1 0x24
000012d4: DUP3
000012d5: ADD
000012d6: MSTORE
000012d7: PUSH32 0x416464726573733a20696e73756666696369656e742062616c616e636520666f
000012f8: PUSH1 0x44
000012fa: DUP3
000012fb: ADD
000012fc: MSTORE
000012fd: PUSH6 0x1c8818d85b1b
00001304: PUSH1 0xd2
00001306: SHL
00001307: PUSH1 0x64
00001309: DUP3
0000130a: ADD
0000130b: MSTORE
0000130c: PUSH1 0x84
0000130e: ADD
0000130f: PUSH2 0x0423
00001312: JUMP
00001313: JUMPDEST
00001314: PUSH1 0x01
00001316: PUSH1 0x01
00001318: PUSH1 0xa0
0000131a: SHL
0000131b: SUB
0000131c: DUP6
0000131d: AND
0000131e: EXTCODESIZE
0000131f: PUSH2 0x136a
00001322: JUMPI
00001323: PUSH1 0x40
00001325: MLOAD
00001326: PUSH3 0x461bcd
0000132a: PUSH1 0xe5
0000132c: SHL
0000132d: DUP2
0000132e: MSTORE
0000132f: PUSH1 0x20
00001331: PUSH1 0x04
00001333: DUP3
00001334: ADD
00001335: MSTORE
00001336: PUSH1 0x1d
00001338: PUSH1 0x24
0000133a: DUP3
0000133b: ADD
0000133c: MSTORE
0000133d: PUSH32 0x416464726573733a2063616c6c20746f206e6f6e2d636f6e7472616374000000
0000135e: PUSH1 0x44
00001360: DUP3
00001361: ADD
00001362: MSTORE
00001363: PUSH1 0x64
00001365: ADD
00001366: PUSH2 0x0423
00001369: JUMP
0000136a: JUMPDEST
0000136b: PUSH1 0x00
0000136d: DUP1
0000136e: DUP7
0000136f: PUSH1 0x01
00001371: PUSH1 0x01
00001373: PUSH1 0xa0
00001375: SHL
00001376: SUB
00001377: AND
00001378: DUP6
00001379: DUP8
0000137a: PUSH1 0x40
0000137c: MLOAD
0000137d: PUSH2 0x1386
00001380: SWAP2
00001381: SWAP1
00001382: PUSH2 0x17a3
00001385: JUMP
00001386: JUMPDEST
00001387: PUSH1 0x00
00001389: PUSH1 0x40
0000138b: MLOAD
0000138c: DUP1
0000138d: DUP4
0000138e: SUB
0000138f: DUP2
00001390: DUP6
00001391: DUP8
00001392: GAS
00001393: CALL
00001394: SWAP3
00001395: POP
00001396: POP
00001397: POP
00001398: RETURNDATASIZE
00001399: DUP1
0000139a: PUSH1 0x00
0000139c: DUP2
0000139d: EQ
0000139e: PUSH2 0x13c3
000013a1: JUMPI
000013a2: PUSH1 0x40
000013a4: MLOAD
000013a5: SWAP2
000013a6: POP
000013a7: PUSH1 0x1f
000013a9: NOT
000013aa: PUSH1 0x3f
000013ac: RETURNDATASIZE
000013ad: ADD
000013ae: AND
000013af: DUP3
000013b0: ADD
000013b1: PUSH1 0x40
000013b3: MSTORE
000013b4: RETURNDATASIZE
000013b5: DUP3
000013b6: MSTORE
000013b7: RETURNDATASIZE
000013b8: PUSH1 0x00
000013ba: PUSH1 0x20
000013bc: DUP5
000013bd: ADD
000013be: RETURNDATACOPY
000013bf: PUSH2 0x13c8
000013c2: JUMP
000013c3: JUMPDEST
000013c4: PUSH1 0x60
000013c6: SWAP2
000013c7: POP
000013c8: JUMPDEST
000013c9: POP
000013ca: SWAP2
000013cb: POP
000013cc: SWAP2
000013cd: POP
000013ce: PUSH2 0x13d8
000013d1: DUP3
000013d2: DUP3
000013d3: DUP7
000013d4: PUSH2 0x13e3
000013d7: JUMP
000013d8: JUMPDEST
000013d9: SWAP8
000013da: SWAP7
000013db: POP
000013dc: POP
000013dd: POP
000013de: POP
000013df: POP
000013e0: POP
000013e1: POP
000013e2: JUMP
000013e3: JUMPDEST
000013e4: PUSH1 0x60
000013e6: DUP4
000013e7: ISZERO
000013e8: PUSH2 0x13f2
000013eb: JUMPI
000013ec: POP
000013ed: DUP2
000013ee: PUSH2 0x12ab
000013f1: JUMP
000013f2: JUMPDEST
000013f3: DUP3
000013f4: MLOAD
000013f5: ISZERO
000013f6: PUSH2 0x1402
000013f9: JUMPI
000013fa: DUP3
000013fb: MLOAD
000013fc: DUP1
000013fd: DUP5
000013fe: PUSH1 0x20
00001400: ADD
00001401: REVERT
00001402: JUMPDEST
00001403: DUP2
00001404: PUSH1 0x40
00001406: MLOAD
00001407: PUSH3 0x461bcd
0000140b: PUSH1 0xe5
0000140d: SHL
0000140e: DUP2
0000140f: MSTORE
00001410: PUSH1 0x04
00001412: ADD
00001413: PUSH2 0x0423
00001416: SWAP2
00001417: SWAP1
00001418: PUSH2 0x17bf
0000141b: JUMP
0000141c: JUMPDEST
0000141d: PUSH1 0x01
0000141f: PUSH1 0x01
00001421: PUSH1 0xa0
00001423: SHL
00001424: SUB
00001425: DUP2
00001426: AND
00001427: DUP2
00001428: EQ
00001429: PUSH2 0x0b2b
0000142c: JUMPI
0000142d: PUSH1 0x00
0000142f: DUP1
00001430: REVERT
00001431: JUMPDEST
00001432: PUSH1 0x00
00001434: PUSH1 0x20
00001436: DUP3
00001437: DUP5
00001438: SUB
00001439: SLT
0000143a: ISZERO
0000143b: PUSH2 0x1443
0000143e: JUMPI
0000143f: PUSH1 0x00
00001441: DUP1
00001442: REVERT
00001443: JUMPDEST
00001444: DUP2
00001445: CALLDATALOAD
00001446: PUSH2 0x12ab
00001449: DUP2
0000144a: PUSH2 0x141c
0000144d: JUMP
0000144e: JUMPDEST
0000144f: PUSH4 0x4e487b71
00001454: PUSH1 0xe0
00001456: SHL
00001457: PUSH1 0x00
00001459: MSTORE
0000145a: PUSH1 0x41
0000145c: PUSH1 0x04
0000145e: MSTORE
0000145f: PUSH1 0x24
00001461: PUSH1 0x00
00001463: REVERT
00001464: JUMPDEST
00001465: PUSH1 0x00
00001467: DUP3
00001468: PUSH1 0x1f
0000146a: DUP4
0000146b: ADD
0000146c: SLT
0000146d: PUSH2 0x1475
00001470: JUMPI
00001471: PUSH1 0x00
00001473: DUP1
00001474: REVERT
00001475: JUMPDEST
00001476: DUP2
00001477: CALLDATALOAD
00001478: PUSH8 0xffffffffffffffff
00001481: DUP1
00001482: DUP3
00001483: GT
00001484: ISZERO
00001485: PUSH2 0x1490
00001488: JUMPI
00001489: PUSH2 0x1490
0000148c: PUSH2 0x144e
0000148f: JUMP
00001490: JUMPDEST
00001491: PUSH1 0x40
00001493: MLOAD
00001494: PUSH1 0x1f
00001496: DUP4
00001497: ADD
00001498: PUSH1 0x1f
0000149a: NOT
0000149b: SWAP1
0000149c: DUP2
0000149d: AND
0000149e: PUSH1 0x3f
000014a0: ADD
000014a1: AND
000014a2: DUP2
000014a3: ADD
000014a4: SWAP1
000014a5: DUP3
000014a6: DUP3
000014a7: GT
000014a8: DUP2
000014a9: DUP4
000014aa: LT
000014ab: OR
000014ac: ISZERO
000014ad: PUSH2 0x14b8
000014b0: JUMPI
000014b1: PUSH2 0x14b8
000014b4: PUSH2 0x144e
000014b7: JUMP
000014b8: JUMPDEST
000014b9: DUP2
000014ba: PUSH1 0x40
000014bc: MSTORE
000014bd: DUP4
000014be: DUP2
000014bf: MSTORE
000014c0: DUP7
000014c1: PUSH1 0x20
000014c3: DUP6
000014c4: DUP9
000014c5: ADD
000014c6: ADD
000014c7: GT
000014c8: ISZERO
000014c9: PUSH2 0x14d1
000014cc: JUMPI
000014cd: PUSH1 0x00
000014cf: DUP1
000014d0: REVERT
000014d1: JUMPDEST
000014d2: DUP4
000014d3: PUSH1 0x20
000014d5: DUP8
000014d6: ADD
000014d7: PUSH1 0x20
000014d9: DUP4
000014da: ADD
000014db: CALLDATACOPY
000014dc: PUSH1 0x00
000014de: PUSH1 0x20
000014e0: DUP6
000014e1: DUP4
000014e2: ADD
000014e3: ADD
000014e4: MSTORE
000014e5: DUP1
000014e6: SWAP5
000014e7: POP
000014e8: POP
000014e9: POP
000014ea: POP
000014eb: POP
000014ec: SWAP3
000014ed: SWAP2
000014ee: POP
000014ef: POP
000014f0: JUMP
000014f1: JUMPDEST
000014f2: PUSH1 0x00
000014f4: DUP1
000014f5: PUSH1 0x40
000014f7: DUP4
000014f8: DUP6
000014f9: SUB
000014fa: SLT
000014fb: ISZERO
000014fc: PUSH2 0x1504
000014ff: JUMPI
00001500: PUSH1 0x00
00001502: DUP1
00001503: REVERT
00001504: JUMPDEST
00001505: DUP3
00001506: CALLDATALOAD
00001507: PUSH8 0xffffffffffffffff
00001510: DUP1
00001511: DUP3
00001512: GT
00001513: ISZERO
00001514: PUSH2 0x151c
00001517: JUMPI
00001518: PUSH1 0x00
0000151a: DUP1
0000151b: REVERT
0000151c: JUMPDEST
0000151d: PUSH2 0x1528
00001520: DUP7
00001521: DUP4
00001522: DUP8
00001523: ADD
00001524: PUSH2 0x1464
00001527: JUMP
00001528: JUMPDEST
00001529: SWAP4
0000152a: POP
0000152b: PUSH1 0x20
0000152d: DUP6
0000152e: ADD
0000152f: CALLDATALOAD
00001530: SWAP2
00001531: POP
00001532: DUP1
00001533: DUP3
00001534: GT
00001535: ISZERO
00001536: PUSH2 0x153e
00001539: JUMPI
0000153a: PUSH1 0x00
0000153c: DUP1
0000153d: REVERT
0000153e: JUMPDEST
0000153f: POP
00001540: PUSH2 0x154b
00001543: DUP6
00001544: DUP3
00001545: DUP7
00001546: ADD
00001547: PUSH2 0x1464
0000154a: JUMP
0000154b: JUMPDEST
0000154c: SWAP2
0000154d: POP
0000154e: POP
0000154f: SWAP3
00001550: POP
00001551: SWAP3
00001552: SWAP1
00001553: POP
00001554: JUMP
00001555: JUMPDEST
00001556: DUP1
00001557: ISZERO
00001558: ISZERO
00001559: DUP2
0000155a: EQ
0000155b: PUSH2 0x0b2b
0000155e: JUMPI
0000155f: PUSH1 0x00
00001561: DUP1
00001562: REVERT
00001563: JUMPDEST
00001564: PUSH1 0x00
00001566: DUP1
00001567: PUSH1 0x00
00001569: PUSH1 0x60
0000156b: DUP5
0000156c: DUP7
0000156d: SUB
0000156e: SLT
0000156f: ISZERO
00001570: PUSH2 0x1578
00001573: JUMPI
00001574: PUSH1 0x00
00001576: DUP1
00001577: REVERT
00001578: JUMPDEST
00001579: DUP4
0000157a: CALLDATALOAD
0000157b: PUSH2 0x1583
0000157e: DUP2
0000157f: PUSH2 0x1555
00001582: JUMP
00001583: JUMPDEST
00001584: SWAP3
00001585: POP
00001586: PUSH1 0x20
00001588: DUP5
00001589: ADD
0000158a: CALLDATALOAD
0000158b: PUSH2 0x1593
0000158e: DUP2
0000158f: PUSH2 0x141c
00001592: JUMP
00001593: JUMPDEST
00001594: SWAP3
00001595: SWAP6
00001596: SWAP3
00001597: SWAP5
00001598: POP
00001599: POP
0000159a: POP
0000159b: PUSH1 0x40
0000159d: SWAP2
0000159e: SWAP1
0000159f: SWAP2
000015a0: ADD
000015a1: CALLDATALOAD
000015a2: SWAP1
000015a3: JUMP
000015a4: JUMPDEST
000015a5: PUSH1 0x00
000015a7: DUP1
000015a8: DUP4
000015a9: PUSH1 0x1f
000015ab: DUP5
000015ac: ADD
000015ad: SLT
000015ae: PUSH2 0x15b6
000015b1: JUMPI
000015b2: PUSH1 0x00
000015b4: DUP1
000015b5: REVERT
000015b6: JUMPDEST
000015b7: POP
000015b8: DUP2
000015b9: CALLDATALOAD
000015ba: PUSH8 0xffffffffffffffff
000015c3: DUP2
000015c4: GT
000015c5: ISZERO
000015c6: PUSH2 0x15ce
000015c9: JUMPI
000015ca: PUSH1 0x00
000015cc: DUP1
000015cd: REVERT
000015ce: JUMPDEST
000015cf: PUSH1 0x20
000015d1: DUP4
000015d2: ADD
000015d3: SWAP2
000015d4: POP
000015d5: DUP4
000015d6: PUSH1 0x20
000015d8: DUP3
000015d9: DUP6
000015da: ADD
000015db: ADD
000015dc: GT
000015dd: ISZERO
000015de: PUSH2 0x0e8d
000015e1: JUMPI
000015e2: PUSH1 0x00
000015e4: DUP1
000015e5: REVERT
000015e6: JUMPDEST
000015e7: PUSH1 0x00
000015e9: DUP1
000015ea: PUSH1 0x00
000015ec: DUP1
000015ed: PUSH1 0x40
000015ef: DUP6
000015f0: DUP8
000015f1: SUB
000015f2: SLT
000015f3: ISZERO
000015f4: PUSH2 0x15fc
000015f7: JUMPI
000015f8: PUSH1 0x00
000015fa: DUP1
000015fb: REVERT
000015fc: JUMPDEST
000015fd: DUP5
000015fe: CALLDATALOAD
000015ff: PUSH8 0xffffffffffffffff
00001608: DUP1
00001609: DUP3
0000160a: GT
0000160b: ISZERO
0000160c: PUSH2 0x1614
0000160f: JUMPI
00001610: PUSH1 0x00
00001612: DUP1
00001613: REVERT
00001614: JUMPDEST
00001615: PUSH2 0x1620
00001618: DUP9
00001619: DUP4
0000161a: DUP10
0000161b: ADD
0000161c: PUSH2 0x15a4
0000161f: JUMP
00001620: JUMPDEST
00001621: SWAP1
00001622: SWAP7
00001623: POP
00001624: SWAP5
00001625: POP
00001626: PUSH1 0x20
00001628: DUP8
00001629: ADD
0000162a: CALLDATALOAD
0000162b: SWAP2
0000162c: POP
0000162d: DUP1
0000162e: DUP3
0000162f: GT
00001630: ISZERO
00001631: PUSH2 0x1639
00001634: JUMPI
00001635: PUSH1 0x00
00001637: DUP1
00001638: REVERT
00001639: JUMPDEST
0000163a: POP
0000163b: PUSH2 0x1646
0000163e: DUP8
0000163f: DUP3
00001640: DUP9
00001641: ADD
00001642: PUSH2 0x15a4
00001645: JUMP
00001646: JUMPDEST
00001647: SWAP6
00001648: SWAP9
00001649: SWAP5
0000164a: SWAP8
0000164b: POP
0000164c: SWAP6
0000164d: POP
0000164e: POP
0000164f: POP
00001650: POP
00001651: JUMP
00001652: JUMPDEST
00001653: PUSH1 0x00
00001655: PUSH1 0x20
00001657: DUP3
00001658: DUP5
00001659: SUB
0000165a: SLT
0000165b: ISZERO
0000165c: PUSH2 0x1664
0000165f: JUMPI
00001660: PUSH1 0x00
00001662: DUP1
00001663: REVERT
00001664: JUMPDEST
00001665: POP
00001666: CALLDATALOAD
00001667: SWAP2
00001668: SWAP1
00001669: POP
0000166a: JUMP
0000166b: JUMPDEST
0000166c: PUSH1 0x20
0000166e: DUP1
0000166f: DUP3
00001670: MSTORE
00001671: DUP2
00001672: DUP2
00001673: ADD
00001674: MSTORE
00001675: PUSH32 0x4f776e61626c653a2063616c6c6572206973206e6f7420746865206f776e6572
00001696: PUSH1 0x40
00001698: DUP3
00001699: ADD
0000169a: MSTORE
0000169b: PUSH1 0x60
0000169d: ADD
0000169e: SWAP1
0000169f: JUMP
000016a0: JUMPDEST
000016a1: PUSH1 0x00
000016a3: DUP1
000016a4: PUSH1 0x00
000016a6: DUP1
000016a7: PUSH1 0x00
000016a9: DUP1
000016aa: PUSH1 0xc0
000016ac: DUP8
000016ad: DUP10
000016ae: SUB
000016af: SLT
000016b0: ISZERO
000016b1: PUSH2 0x16b9
000016b4: JUMPI
000016b5: PUSH1 0x00
000016b7: DUP1
000016b8: REVERT
000016b9: JUMPDEST
000016ba: DUP7
000016bb: CALLDATALOAD
000016bc: SWAP6
000016bd: POP
000016be: PUSH1 0x20
000016c0: DUP8
000016c1: ADD
000016c2: CALLDATALOAD
000016c3: PUSH2 0x16cb
000016c6: DUP2
000016c7: PUSH2 0x141c
000016ca: JUMP
000016cb: JUMPDEST
000016cc: SWAP5
000016cd: POP
000016ce: PUSH1 0x40
000016d0: DUP8
000016d1: ADD
000016d2: CALLDATALOAD
000016d3: PUSH2 0x16db
000016d6: DUP2
000016d7: PUSH2 0x1555
000016da: JUMP
000016db: JUMPDEST
000016dc: SWAP4
000016dd: POP
000016de: PUSH1 0x60
000016e0: DUP8
000016e1: ADD
000016e2: CALLDATALOAD
000016e3: PUSH2 0x16eb
000016e6: DUP2
000016e7: PUSH2 0x141c
000016ea: JUMP
000016eb: JUMPDEST
000016ec: SWAP6
000016ed: SWAP9
000016ee: SWAP5
000016ef: SWAP8
000016f0: POP
000016f1: SWAP3
000016f2: SWAP6
000016f3: PUSH1 0x80
000016f5: DUP2
000016f6: ADD
000016f7: CALLDATALOAD
000016f8: SWAP5
000016f9: PUSH1 0xa0
000016fb: SWAP1
000016fc: SWAP2
000016fd: ADD
000016fe: CALLDATALOAD
000016ff: SWAP4
00001700: POP
00001701: SWAP2
00001702: POP
00001703: POP
00001704: JUMP
00001705: JUMPDEST
00001706: PUSH1 0x00
00001708: PUSH1 0x20
0000170a: DUP3
0000170b: DUP5
0000170c: SUB
0000170d: SLT
0000170e: ISZERO
0000170f: PUSH2 0x1717
00001712: JUMPI
00001713: PUSH1 0x00
00001715: DUP1
00001716: REVERT
00001717: JUMPDEST
00001718: POP
00001719: MLOAD
0000171a: SWAP2
0000171b: SWAP1
0000171c: POP
0000171d: JUMP
0000171e: JUMPDEST
0000171f: PUSH4 0x4e487b71
00001724: PUSH1 0xe0
00001726: SHL
00001727: PUSH1 0x00
00001729: MSTORE
0000172a: PUSH1 0x21
0000172c: PUSH1 0x04
0000172e: MSTORE
0000172f: PUSH1 0x24
00001731: PUSH1 0x00
00001733: REVERT
00001734: JUMPDEST
00001735: PUSH1 0x00
00001737: DUP3
00001738: NOT
00001739: DUP3
0000173a: GT
0000173b: ISZERO
0000173c: PUSH2 0x1755
0000173f: JUMPI
00001740: PUSH4 0x4e487b71
00001745: PUSH1 0xe0
00001747: SHL
00001748: PUSH1 0x00
0000174a: MSTORE
0000174b: PUSH1 0x11
0000174d: PUSH1 0x04
0000174f: MSTORE
00001750: PUSH1 0x24
00001752: PUSH1 0x00
00001754: REVERT
00001755: JUMPDEST
00001756: POP
00001757: ADD
00001758: SWAP1
00001759: JUMP
0000175a: JUMPDEST
0000175b: PUSH1 0x00
0000175d: PUSH1 0x20
0000175f: DUP3
00001760: DUP5
00001761: SUB
00001762: SLT
00001763: ISZERO
00001764: PUSH2 0x176c
00001767: JUMPI
00001768: PUSH1 0x00
0000176a: DUP1
0000176b: REVERT
0000176c: JUMPDEST
0000176d: DUP2
0000176e: MLOAD
0000176f: PUSH2 0x12ab
00001772: DUP2
00001773: PUSH2 0x1555
00001776: JUMP
00001777: JUMPDEST
00001778: PUSH1 0x00
0000177a: JUMPDEST
0000177b: DUP4
0000177c: DUP2
0000177d: LT
0000177e: ISZERO
0000177f: PUSH2 0x1792
00001782: JUMPI
00001783: DUP2
00001784: DUP2
00001785: ADD
00001786: MLOAD
00001787: DUP4
00001788: DUP3
00001789: ADD
0000178a: MSTORE
0000178b: PUSH1 0x20
0000178d: ADD
0000178e: PUSH2 0x177a
00001791: JUMP
00001792: JUMPDEST
00001793: DUP4
00001794: DUP2
00001795: GT
00001796: ISZERO
00001797: PUSH2 0x0e20
0000179a: JUMPI
0000179b: POP
0000179c: POP
0000179d: PUSH1 0x00
0000179f: SWAP2
000017a0: ADD
000017a1: MSTORE
000017a2: JUMP
000017a3: JUMPDEST
000017a4: PUSH1 0x00
000017a6: DUP3
000017a7: MLOAD
000017a8: PUSH2 0x17b5
000017ab: DUP2
000017ac: DUP5
000017ad: PUSH1 0x20
000017af: DUP8
000017b0: ADD
000017b1: PUSH2 0x1777
000017b4: JUMP
000017b5: JUMPDEST
000017b6: SWAP2
000017b7: SWAP1
000017b8: SWAP2
000017b9: ADD
000017ba: SWAP3
000017bb: SWAP2
000017bc: POP
000017bd: POP
000017be: JUMP
000017bf: JUMPDEST
000017c0: PUSH1 0x20
000017c2: DUP2
000017c3: MSTORE
000017c4: PUSH1 0x00
000017c6: DUP3
000017c7: MLOAD
000017c8: DUP1
000017c9: PUSH1 0x20
000017cb: DUP5
000017cc: ADD
000017cd: MSTORE
000017ce: PUSH2 0x17de
000017d1: DUP2
000017d2: PUSH1 0x40
000017d4: DUP6
000017d5: ADD
000017d6: PUSH1 0x20
000017d8: DUP8
000017d9: ADD
000017da: PUSH2 0x1777
000017dd: JUMP
000017de: JUMPDEST
000017df: PUSH1 0x1f
000017e1: ADD
000017e2: PUSH1 0x1f
000017e4: NOT
000017e5: AND
000017e6: SWAP2
000017e7: SWAP1
000017e8: SWAP2
000017e9: ADD
000017ea: PUSH1 0x40
000017ec: ADD
000017ed: SWAP3
000017ee: SWAP2
000017ef: POP
000017f0: POP
000017f1: JUMP
000017f2: INVALID
000017f3: LOG2
000017f4: PUSH5 0x6970667358
000017fa: UNKNOWN(0x22)
000017fb: SLT
000017fc: KECCAK256
000017fd: UNKNOWN(0xB9)
000017fe: UNKNOWN(0xE8)
000017ff: UNKNOWN(0x0D)
00001800: SHR
00001801: UNKNOWN(0x2F)
00001802: PUSH24 0x94a261c296f10332fe39dc94c36eb5a038fb8f6393522aa4
0000181b: UNKNOWN(0xAE)
0000181c: PUSH1 0x64
0000181e: PUSH20

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	no	no	view trace_id: 0x694cbdc73feabba62540d6448ffad35acd768d63c35b11006af6676f0f39e29a call_targets: 0xb40eed68d7d6b3b6d6f4e93de6239b7c53efc786 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x694cbdc73feabba62540d6448ffad35acd768d63c35b11006af6676f0f39e29a", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb40eed68d7d6b3b6d6f4e93de6239b7c53efc786" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xdc6a6770", "selector": "0xdc6a6770", "calldata_variants": [ "0xdc6a6770", "0xdc6a67700000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf3da6cbd", "selector": "0xf3da6cbd", "calldata_variants": [ "0xf3da6cbd", "0xf3da6cbd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf6dd2353", "selector": "0xf6dd2353", "calldata_variants": [ "0xf6dd2353", "0xf6dd23530000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc8234cb", "selector": "0xfc8234cb", "calldata_variants": [ "0xfc8234cb", "0xfc8234cb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa720969f", "selector": "0xa720969f", "calldata_variants": [ "0xa720969f", "0xa720969f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb0ff3542", "selector": "0xb0ff3542", "calldata_variants": [ "0xb0ff3542", "0xb0ff35420000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3324, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5011, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 2, "guards_detected": [], "untrusted_call_count": 2 }
high	other	detector	ETH value transfer possible	55	no	no	view trace_id: 0x694cbdc73feabba62540d6448ffad35acd768d63c35b11006af6676f0f39e29a call_targets: 0xb40eed68d7d6b3b6d6f4e93de6239b7c53efc786 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0x694cbdc73feabba62540d6448ffad35acd768d63c35b11006af6676f0f39e29a", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0xb40eed68d7d6b3b6d6f4e93de6239b7c53efc786" ], "matched_probe": null, "target_varies": false, "classification": "constant_target" } witness_json { "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata", "constraints": [], "entrypoints": [ { "calldata": "0xdc6a6770", "selector": "0xdc6a6770", "calldata_variants": [ "0xdc6a6770", "0xdc6a67700000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf2fde38b", "selector": "0xf2fde38b", "calldata_variants": [ "0xf2fde38b", "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf3da6cbd", "selector": "0xf3da6cbd", "calldata_variants": [ "0xf3da6cbd", "0xf3da6cbd0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf6dd2353", "selector": "0xf6dd2353", "calldata_variants": [ "0xf6dd2353", "0xf6dd23530000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xfc8234cb", "selector": "0xfc8234cb", "calldata_variants": [ "0xfc8234cb", "0xfc8234cb0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8da5cb5b", "selector": "0x8da5cb5b", "calldata_variants": [ "0x8da5cb5b", "0x8da5cb5b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xa720969f", "selector": "0xa720969f", "calldata_variants": [ "0xa720969f", "0xa720969f0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xb0ff3542", "selector": "0xb0ff3542", "calldata_variants": [ "0xb0ff3542", "0xb0ff35420000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 3324, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 5011, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 2, "guards_detected": [] }

Severity