Analysis Run

019b477e-d53f-7182-9536-9d36982025d9
complete
Chain ID
1
Address
0x286bde5214ffb0847e31fb0e4f9909dc4b3fe540
Block Number
—
Created
Mon, Dec 22, 2025 7:17 PM
Review Summary
What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
back to vulns open contract
Confirmed
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
28501	artifact.fetch	complete	1 / 3	3 months ago
28502	tool.cast_disasm	complete	1 / 3	3 months ago
92577	analysis.bundle	complete	1 / 3	2 weeks ago
92578	capability.graph	complete	1 / 3	2 weeks ago
92579	detector.run	complete	1 / 3	2 weeks ago
92580	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)
7
EXT*/BALANCE
2
Total opcodes
3692
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 0x0114
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8e4241ed
00000019: GT
0000001a: PUSH2 0x00a0
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xc33c0ef9
00000024: GT
00000025: PUSH2 0x0064
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xc33c0ef9
0000002f: EQ
00000030: PUSH2 0x033c
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xc41a360a
0000003a: EQ
0000003b: PUSH2 0x035c
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe5c5e9a3
00000045: EQ
00000046: PUSH2 0x0387
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf1ea66d4
00000050: EQ
00000051: PUSH2 0x03b5
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf302537b
0000005b: EQ
0000005c: PUSH2 0x03d7
0000005f: JUMPI
00000060: PUSH1 0x00
00000062: DUP1
00000063: REVERT
00000064: JUMPDEST
00000065: DUP1
00000066: PUSH4 0x8e4241ed
0000006b: EQ
0000006c: PUSH2 0x0282
0000006f: JUMPI
00000070: DUP1
00000071: PUSH4 0x940d169c
00000076: EQ
00000077: PUSH2 0x02ba
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0x9619d3e9
00000081: EQ
00000082: PUSH2 0x02da
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xa7af760e
0000008c: EQ
0000008d: PUSH2 0x0307
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xbc51c363
00000097: EQ
00000098: PUSH2 0x031c
0000009b: JUMPI
0000009c: PUSH1 0x00
0000009e: DUP1
0000009f: REVERT
000000a0: JUMPDEST
000000a1: DUP1
000000a2: PUSH4 0x4a8ec799
000000a7: GT
000000a8: PUSH2 0x00e7
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x4a8ec799
000000b2: EQ
000000b3: PUSH2 0x01ec
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x695b9f16
000000bd: EQ
000000be: PUSH2 0x020c
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x7343de57
000000c8: EQ
000000c9: PUSH2 0x0222
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0x898321d6
000000d3: EQ
000000d4: PUSH2 0x024f
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0x8ca4ba83
000000de: EQ
000000df: PUSH2 0x0262
000000e2: JUMPI
000000e3: PUSH1 0x00
000000e5: DUP1
000000e6: REVERT
000000e7: JUMPDEST
000000e8: DUP1
000000e9: PUSH4 0x0af74047
000000ee: EQ
000000ef: PUSH2 0x0119
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x1c573c67
000000f9: EQ
000000fa: PUSH2 0x013b
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x2059428e
00000104: EQ
00000105: PUSH2 0x016e
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x38c6e29f
0000010f: EQ
00000110: PUSH2 0x01ae
00000113: JUMPI
00000114: JUMPDEST
00000115: PUSH1 0x00
00000117: DUP1
00000118: REVERT
00000119: JUMPDEST
0000011a: CALLVALUE
0000011b: DUP1
0000011c: ISZERO
0000011d: PUSH2 0x0125
00000120: JUMPI
00000121: PUSH1 0x00
00000123: DUP1
00000124: REVERT
00000125: JUMPDEST
00000126: POP
00000127: PUSH2 0x0139
0000012a: PUSH2 0x0134
0000012d: CALLDATASIZE
0000012e: PUSH1 0x04
00000130: PUSH2 0x110c
00000133: JUMP
00000134: JUMPDEST
00000135: PUSH2 0x03f7
00000138: JUMP
00000139: JUMPDEST
0000013a: STOP
0000013b: JUMPDEST
0000013c: CALLVALUE
0000013d: DUP1
0000013e: ISZERO
0000013f: PUSH2 0x0147
00000142: JUMPI
00000143: PUSH1 0x00
00000145: DUP1
00000146: REVERT
00000147: JUMPDEST
00000148: POP
00000149: PUSH2 0x015b
0000014c: PUSH2 0x0156
0000014f: CALLDATASIZE
00000150: PUSH1 0x04
00000152: PUSH2 0x1007
00000155: JUMP
00000156: JUMPDEST
00000157: PUSH2 0x0795
0000015a: JUMP
0000015b: JUMPDEST
0000015c: PUSH1 0x40
0000015e: MLOAD
0000015f: SWAP1
00000160: DUP2
00000161: MSTORE
00000162: PUSH1 0x20
00000164: ADD
00000165: JUMPDEST
00000166: PUSH1 0x40
00000168: MLOAD
00000169: DUP1
0000016a: SWAP2
0000016b: SUB
0000016c: SWAP1
0000016d: RETURN
0000016e: JUMPDEST
0000016f: CALLVALUE
00000170: DUP1
00000171: ISZERO
00000172: PUSH2 0x017a
00000175: JUMPI
00000176: PUSH1 0x00
00000178: DUP1
00000179: REVERT
0000017a: JUMPDEST
0000017b: POP
0000017c: PUSH2 0x019e
0000017f: PUSH2 0x0189
00000182: CALLDATASIZE
00000183: PUSH1 0x04
00000185: PUSH2 0x1294
00000188: JUMP
00000189: JUMPDEST
0000018a: PUSH1 0x00
0000018c: SWAP1
0000018d: DUP2
0000018e: MSTORE
0000018f: PUSH1 0x0a
00000191: PUSH1 0x20
00000193: MSTORE
00000194: PUSH1 0x40
00000196: SWAP1
00000197: KECCAK256
00000198: SLOAD
00000199: PUSH1 0xff
0000019b: AND
0000019c: SWAP1
0000019d: JUMP
0000019e: JUMPDEST
0000019f: PUSH1 0x40
000001a1: MLOAD
000001a2: SWAP1
000001a3: ISZERO
000001a4: ISZERO
000001a5: DUP2
000001a6: MSTORE
000001a7: PUSH1 0x20
000001a9: ADD
000001aa: PUSH2 0x0165
000001ad: JUMP
000001ae: JUMPDEST
000001af: CALLVALUE
000001b0: DUP1
000001b1: ISZERO
000001b2: PUSH2 0x01ba
000001b5: JUMPI
000001b6: PUSH1 0x00
000001b8: DUP1
000001b9: REVERT
000001ba: JUMPDEST
000001bb: POP
000001bc: PUSH2 0x01ce
000001bf: PUSH2 0x01c9
000001c2: CALLDATASIZE
000001c3: PUSH1 0x04
000001c5: PUSH2 0x12db
000001c8: JUMP
000001c9: JUMPDEST
000001ca: PUSH2 0x07c8
000001cd: JUMP
000001ce: JUMPDEST
000001cf: PUSH1 0x40
000001d1: DUP1
000001d2: MLOAD
000001d3: SWAP4
000001d4: DUP5
000001d5: MSTORE
000001d6: PUSH1 0x20
000001d8: DUP5
000001d9: ADD
000001da: SWAP3
000001db: SWAP1
000001dc: SWAP3
000001dd: MSTORE
000001de: PUSH1 0xff
000001e0: AND
000001e1: SWAP1
000001e2: DUP3
000001e3: ADD
000001e4: MSTORE
000001e5: PUSH1 0x60
000001e7: ADD
000001e8: PUSH2 0x0165
000001eb: JUMP
000001ec: JUMPDEST
000001ed: CALLVALUE
000001ee: DUP1
000001ef: ISZERO
000001f0: PUSH2 0x01f8
000001f3: JUMPI
000001f4: PUSH1 0x00
000001f6: DUP1
000001f7: REVERT
000001f8: JUMPDEST
000001f9: POP
000001fa: PUSH2 0x015b
000001fd: PUSH2 0x0207
00000200: CALLDATASIZE
00000201: PUSH1 0x04
00000203: PUSH2 0x1294
00000206: JUMP
00000207: JUMPDEST
00000208: PUSH2 0x082d
0000020b: JUMP
0000020c: JUMPDEST
0000020d: CALLVALUE
0000020e: DUP1
0000020f: ISZERO
00000210: PUSH2 0x0218
00000213: JUMPI
00000214: PUSH1 0x00
00000216: DUP1
00000217: REVERT
00000218: JUMPDEST
00000219: POP
0000021a: PUSH2 0x015b
0000021d: PUSH1 0x01
0000021f: SLOAD
00000220: DUP2
00000221: JUMP
00000222: JUMPDEST
00000223: CALLVALUE
00000224: DUP1
00000225: ISZERO
00000226: PUSH2 0x022e
00000229: JUMPI
0000022a: PUSH1 0x00
0000022c: DUP1
0000022d: REVERT
0000022e: JUMPDEST
0000022f: POP
00000230: PUSH2 0x015b
00000233: PUSH2 0x023d
00000236: CALLDATASIZE
00000237: PUSH1 0x04
00000239: PUSH2 0x1294
0000023c: JUMP
0000023d: JUMPDEST
0000023e: PUSH1 0x00
00000240: SWAP1
00000241: DUP2
00000242: MSTORE
00000243: PUSH1 0x0b
00000245: PUSH1 0x20
00000247: MSTORE
00000248: PUSH1 0x40
0000024a: SWAP1
0000024b: KECCAK256
0000024c: SLOAD
0000024d: SWAP1
0000024e: JUMP
0000024f: JUMPDEST
00000250: PUSH2 0x0139
00000253: PUSH2 0x025d
00000256: CALLDATASIZE
00000257: PUSH1 0x04
00000259: PUSH2 0x1294
0000025c: JUMP
0000025d: JUMPDEST
0000025e: PUSH2 0x0868
00000261: JUMP
00000262: JUMPDEST
00000263: CALLVALUE
00000264: DUP1
00000265: ISZERO
00000266: PUSH2 0x026e
00000269: JUMPI
0000026a: PUSH1 0x00
0000026c: DUP1
0000026d: REVERT
0000026e: JUMPDEST
0000026f: POP
00000270: PUSH2 0x015b
00000273: PUSH2 0x027d
00000276: CALLDATASIZE
00000277: PUSH1 0x04
00000279: PUSH2 0x11ef
0000027c: JUMP
0000027d: JUMPDEST
0000027e: PUSH2 0x0abb
00000281: JUMP
00000282: JUMPDEST
00000283: CALLVALUE
00000284: DUP1
00000285: ISZERO
00000286: PUSH2 0x028e
00000289: JUMPI
0000028a: PUSH1 0x00
0000028c: DUP1
0000028d: REVERT
0000028e: JUMPDEST
0000028f: POP
00000290: PUSH2 0x02a2
00000293: PUSH2 0x029d
00000296: CALLDATASIZE
00000297: PUSH1 0x04
00000299: PUSH2 0x12ac
0000029c: JUMP
0000029d: JUMPDEST
0000029e: PUSH2 0x0af2
000002a1: JUMP
000002a2: JUMPDEST
000002a3: PUSH1 0x40
000002a5: MLOAD
000002a6: PUSH1 0x01
000002a8: PUSH1 0x01
000002aa: PUSH1 0xa0
000002ac: SHL
000002ad: SUB
000002ae: SWAP1
000002af: SWAP2
000002b0: AND
000002b1: DUP2
000002b2: MSTORE
000002b3: PUSH1 0x20
000002b5: ADD
000002b6: PUSH2 0x0165
000002b9: JUMP
000002ba: JUMPDEST
000002bb: CALLVALUE
000002bc: DUP1
000002bd: ISZERO
000002be: PUSH2 0x02c6
000002c1: JUMPI
000002c2: PUSH1 0x00
000002c4: DUP1
000002c5: REVERT
000002c6: JUMPDEST
000002c7: POP
000002c8: PUSH1 0x00
000002ca: SLOAD
000002cb: PUSH2 0x02a2
000002ce: SWAP1
000002cf: PUSH1 0x01
000002d1: PUSH1 0x01
000002d3: PUSH1 0xa0
000002d5: SHL
000002d6: SUB
000002d7: AND
000002d8: DUP2
000002d9: JUMP
000002da: JUMPDEST
000002db: CALLVALUE
000002dc: DUP1
000002dd: ISZERO
000002de: PUSH2 0x02e6
000002e1: JUMPI
000002e2: PUSH1 0x00
000002e4: DUP1
000002e5: REVERT
000002e6: JUMPDEST
000002e7: POP
000002e8: PUSH2 0x02fa
000002eb: PUSH2 0x02f5
000002ee: CALLDATASIZE
000002ef: PUSH1 0x04
000002f1: PUSH2 0x123d
000002f4: JUMP
000002f5: JUMPDEST
000002f6: PUSH2 0x0b71
000002f9: JUMP
000002fa: JUMPDEST
000002fb: PUSH1 0x40
000002fd: MLOAD
000002fe: PUSH2 0x0165
00000301: SWAP2
00000302: SWAP1
00000303: PUSH2 0x14d7
00000306: JUMP
00000307: JUMPDEST
00000308: CALLVALUE
00000309: DUP1
0000030a: ISZERO
0000030b: PUSH2 0x0313
0000030e: JUMPI
0000030f: PUSH1 0x00
00000311: DUP1
00000312: REVERT
00000313: JUMPDEST
00000314: POP
00000315: PUSH2 0x0139
00000318: PUSH2 0x0b9d
0000031b: JUMP
0000031c: JUMPDEST
0000031d: CALLVALUE
0000031e: DUP1
0000031f: ISZERO
00000320: PUSH2 0x0328
00000323: JUMPI
00000324: PUSH1 0x00
00000326: DUP1
00000327: REVERT
00000328: JUMPDEST
00000329: POP
0000032a: PUSH2 0x019e
0000032d: PUSH2 0x0337
00000330: CALLDATASIZE
00000331: PUSH1 0x04
00000333: PUSH2 0x11ef
00000336: JUMP
00000337: JUMPDEST
00000338: PUSH2 0x0c1e
0000033b: JUMP
0000033c: JUMPDEST
0000033d: CALLVALUE
0000033e: DUP1
0000033f: ISZERO
00000340: PUSH2 0x0348
00000343: JUMPI
00000344: PUSH1 0x00
00000346: DUP1
00000347: REVERT
00000348: JUMPDEST
00000349: POP
0000034a: PUSH2 0x019e
0000034d: PUSH2 0x0357
00000350: CALLDATASIZE
00000351: PUSH1 0x04
00000353: PUSH2 0x1316
00000356: JUMP
00000357: JUMPDEST
00000358: PUSH2 0x0c57
0000035b: JUMP
0000035c: JUMPDEST
0000035d: CALLVALUE
0000035e: DUP1
0000035f: ISZERO
00000360: PUSH2 0x0368
00000363: JUMPI
00000364: PUSH1 0x00
00000366: DUP1
00000367: REVERT
00000368: JUMPDEST
00000369: POP
0000036a: PUSH2 0x02a2
0000036d: PUSH2 0x0377
00000370: CALLDATASIZE
00000371: PUSH1 0x04
00000373: PUSH2 0x1294
00000376: JUMP
00000377: JUMPDEST
00000378: POP
00000379: PUSH1 0x08
0000037b: SLOAD
0000037c: PUSH1 0x01
0000037e: PUSH1 0x01
00000380: PUSH1 0xa0
00000382: SHL
00000383: SUB
00000384: AND
00000385: SWAP1
00000386: JUMP
00000387: JUMPDEST
00000388: CALLVALUE
00000389: DUP1
0000038a: ISZERO
0000038b: PUSH2 0x0393
0000038e: JUMPI
0000038f: PUSH1 0x00
00000391: DUP1
00000392: REVERT
00000393: JUMPDEST
00000394: POP
00000395: PUSH2 0x03a7
00000398: PUSH2 0x03a2
0000039b: CALLDATASIZE
0000039c: PUSH1 0x04
0000039e: PUSH2 0x12db
000003a1: JUMP
000003a2: JUMPDEST
000003a3: PUSH2 0x0de1
000003a6: JUMP
000003a7: JUMPDEST
000003a8: PUSH1 0x40
000003aa: MLOAD
000003ab: PUSH2 0x0165
000003ae: SWAP3
000003af: SWAP2
000003b0: SWAP1
000003b1: PUSH2 0x146f
000003b4: JUMP
000003b5: JUMPDEST
000003b6: CALLVALUE
000003b7: DUP1
000003b8: ISZERO
000003b9: PUSH2 0x03c1
000003bc: JUMPI
000003bd: PUSH1 0x00
000003bf: DUP1
000003c0: REVERT
000003c1: JUMPDEST
000003c2: POP
000003c3: PUSH2 0x03ca
000003c6: PUSH2 0x0e03
000003c9: JUMP
000003ca: JUMPDEST
000003cb: PUSH1 0x40
000003cd: MLOAD
000003ce: PUSH2 0x0165
000003d1: SWAP2
000003d2: SWAP1
000003d3: PUSH2 0x1493
000003d6: JUMP
000003d7: JUMPDEST
000003d8: CALLVALUE
000003d9: DUP1
000003da: ISZERO
000003db: PUSH2 0x03e3
000003de: JUMPI
000003df: PUSH1 0x00
000003e1: DUP1
000003e2: REVERT
000003e3: JUMPDEST
000003e4: POP
000003e5: PUSH2 0x019e
000003e8: PUSH2 0x03f2
000003eb: CALLDATASIZE
000003ec: PUSH1 0x04
000003ee: PUSH2 0x10ac
000003f1: JUMP
000003f2: JUMPDEST
000003f3: PUSH2 0x0e5b
000003f6: JUMP
000003f7: JUMPDEST
000003f8: CALLER
000003f9: PUSH1 0x00
000003fb: SWAP1
000003fc: DUP2
000003fd: MSTORE
000003fe: PUSH1 0x07
00000400: PUSH1 0x20
00000402: MSTORE
00000403: PUSH1 0x40
00000405: SWAP1
00000406: KECCAK256
00000407: SLOAD
00000408: PUSH1 0xff
0000040a: AND
0000040b: PUSH2 0x0470
0000040e: JUMPI
0000040f: PUSH1 0x40
00000411: MLOAD
00000412: PUSH3 0x461bcd
00000416: PUSH1 0xe5
00000418: SHL
00000419: DUP2
0000041a: MSTORE
0000041b: PUSH1 0x20
0000041d: PUSH1 0x04
0000041f: DUP3
00000420: ADD
00000421: MSTORE
00000422: PUSH1 0x2c
00000424: PUSH1 0x24
00000426: DUP3
00000427: ADD
00000428: MSTORE
00000429: PUSH32 0x596f7572206163636f756e7420646f6e27742068617665206163636573732074
0000044a: PUSH1 0x44
0000044c: DUP3
0000044d: ADD
0000044e: MSTORE
0000044f: PUSH12 0x037903a3434b990333ab7319
0000045c: PUSH1 0xa5
0000045e: SHL
0000045f: PUSH1 0x64
00000461: DUP3
00000462: ADD
00000463: MSTORE
00000464: PUSH1 0x84
00000466: ADD
00000467: JUMPDEST
00000468: PUSH1 0x40
0000046a: MLOAD
0000046b: DUP1
0000046c: SWAP2
0000046d: SUB
0000046e: SWAP1
0000046f: REVERT
00000470: JUMPDEST
00000471: PUSH1 0x00
00000473: DUP6
00000474: DUP2
00000475: MSTORE
00000476: PUSH1 0x0b
00000478: PUSH1 0x20
0000047a: MSTORE
0000047b: PUSH1 0x40
0000047d: SWAP1
0000047e: KECCAK256
0000047f: SLOAD
00000480: DUP5
00000481: GT
00000482: ISZERO
00000483: PUSH2 0x04ce
00000486: JUMPI
00000487: PUSH1 0x40
00000489: MLOAD
0000048a: PUSH3 0x461bcd
0000048e: PUSH1 0xe5
00000490: SHL
00000491: DUP2
00000492: MSTORE
00000493: PUSH1 0x20
00000495: PUSH1 0x04
00000497: DUP3
00000498: ADD
00000499: MSTORE
0000049a: PUSH1 0x1f
0000049c: PUSH1 0x24
0000049e: DUP3
0000049f: ADD
000004a0: MSTORE
000004a1: PUSH32 0x52657175657374656420666565206578636565647320696e76656e746f727900
000004c2: PUSH1 0x44
000004c4: DUP3
000004c5: ADD
000004c6: MSTORE
000004c7: PUSH1 0x64
000004c9: ADD
000004ca: PUSH2 0x0467
000004cd: JUMP
000004ce: JUMPDEST
000004cf: PUSH1 0x08
000004d1: SLOAD
000004d2: PUSH1 0x01
000004d4: PUSH1 0xa0
000004d6: SHL
000004d7: SWAP1
000004d8: DIV
000004d9: PUSH1 0xff
000004db: AND
000004dc: ISZERO
000004dd: PUSH2 0x0539
000004e0: JUMPI
000004e1: PUSH1 0x40
000004e3: MLOAD
000004e4: PUSH3 0x461bcd
000004e8: PUSH1 0xe5
000004ea: SHL
000004eb: DUP2
000004ec: MSTORE
000004ed: PUSH1 0x20
000004ef: PUSH1 0x04
000004f1: DUP3
000004f2: ADD
000004f3: MSTORE
000004f4: PUSH1 0x28
000004f6: PUSH1 0x24
000004f8: DUP3
000004f9: ADD
000004fa: MSTORE
000004fb: PUSH32 0x596f7520617265206e6f7420416c6c6f77656420746f206d616b652074686973
0000051c: PUSH1 0x44
0000051e: DUP3
0000051f: ADD
00000520: MSTORE
00000521: PUSH8 0x081c995c5d595cdd
0000052a: PUSH1 0xc2
0000052c: SHL
0000052d: PUSH1 0x64
0000052f: DUP3
00000530: ADD
00000531: MSTORE
00000532: PUSH1 0x84
00000534: ADD
00000535: PUSH2 0x0467
00000538: JUMP
00000539: JUMPDEST
0000053a: PUSH1 0x08
0000053c: DUP1
0000053d: SLOAD
0000053e: PUSH1 0xff
00000540: PUSH1 0xa0
00000542: SHL
00000543: NOT
00000544: AND
00000545: PUSH1 0x01
00000547: PUSH1 0xa0
00000549: SHL
0000054a: OR
0000054b: SWAP1
0000054c: SSTORE
0000054d: PUSH1 0x00
0000054f: DUP6
00000550: DUP2
00000551: MSTORE
00000552: PUSH1 0x0a
00000554: PUSH1 0x20
00000556: MSTORE
00000557: PUSH1 0x40
00000559: SWAP1
0000055a: KECCAK256
0000055b: SLOAD
0000055c: PUSH1 0xff
0000055e: AND
0000055f: PUSH2 0x05a3
00000562: JUMPI
00000563: PUSH1 0x40
00000565: MLOAD
00000566: PUSH3 0x461bcd
0000056a: PUSH1 0xe5
0000056c: SHL
0000056d: DUP2
0000056e: MSTORE
0000056f: PUSH1 0x20
00000571: PUSH1 0x04
00000573: DUP3
00000574: ADD
00000575: MSTORE
00000576: PUSH1 0x16
00000578: PUSH1 0x24
0000057a: DUP3
0000057b: ADD
0000057c: MSTORE
0000057d: PUSH22 0x1d5b9d985b1a59185d19590810dbdb5b5a5d1b595b9d
00000594: PUSH1 0x52
00000596: SHL
00000597: PUSH1 0x44
00000599: DUP3
0000059a: ADD
0000059b: MSTORE
0000059c: PUSH1 0x64
0000059e: ADD
0000059f: PUSH2 0x0467
000005a2: JUMP
000005a3: JUMPDEST
000005a4: PUSH2 0x05ae
000005a7: DUP9
000005a8: DUP9
000005a9: DUP9
000005aa: PUSH2 0x0e5b
000005ad: JUMP
000005ae: JUMPDEST
000005af: PUSH2 0x05fa
000005b2: JUMPI
000005b3: PUSH1 0x40
000005b5: MLOAD
000005b6: PUSH3 0x461bcd
000005ba: PUSH1 0xe5
000005bc: SHL
000005bd: DUP2
000005be: MSTORE
000005bf: PUSH1 0x20
000005c1: PUSH1 0x04
000005c3: DUP3
000005c4: ADD
000005c5: MSTORE
000005c6: PUSH1 0x1d
000005c8: PUSH1 0x24
000005ca: DUP3
000005cb: ADD
000005cc: MSTORE
000005cd: PUSH32 0x4974206973206e6f742076616c696420726170696420436c696e652120000000
000005ee: PUSH1 0x44
000005f0: DUP3
000005f1: ADD
000005f2: MSTORE
000005f3: PUSH1 0x64
000005f5: ADD
000005f6: PUSH2 0x0467
000005f9: JUMP
000005fa: JUMPDEST
000005fb: PUSH1 0x00
000005fd: SLOAD
000005fe: PUSH1 0x01
00000600: SLOAD
00000601: PUSH1 0x20
00000603: DUP6
00000604: ADD
00000605: MLOAD
00000606: DUP6
00000607: MLOAD
00000608: PUSH1 0x40
0000060a: MLOAD
0000060b: PUSH4 0x3bc778e3
00000610: PUSH1 0xe0
00000612: SHL
00000613: DUP2
00000614: MSTORE
00000615: PUSH1 0x01
00000617: PUSH1 0x01
00000619: PUSH1 0xa0
0000061b: SHL
0000061c: SUB
0000061d: SWAP1
0000061e: SWAP5
0000061f: AND
00000620: SWAP4
00000621: PUSH4 0x3bc778e3
00000626: SWAP4
00000627: PUSH2 0x063c
0000062a: SWAP4
0000062b: SWAP1
0000062c: SWAP3
0000062d: SWAP1
0000062e: SWAP2
0000062f: DUP9
00000630: SWAP1
00000631: DUP5
00000632: SWAP1
00000633: DUP10
00000634: SWAP1
00000635: PUSH1 0x04
00000637: ADD
00000638: PUSH2 0x14ea
0000063b: JUMP
0000063c: JUMPDEST
0000063d: PUSH1 0x00
0000063f: PUSH1 0x40
00000641: MLOAD
00000642: DUP1
00000643: DUP4
00000644: SUB
00000645: DUP2
00000646: PUSH1 0x00
00000648: DUP8
00000649: DUP1
0000064a: EXTCODESIZE
0000064b: ISZERO
0000064c: DUP1
0000064d: ISZERO
0000064e: PUSH2 0x0656
00000651: JUMPI
00000652: PUSH1 0x00
00000654: DUP1
00000655: REVERT
00000656: JUMPDEST
00000657: POP
00000658: GAS
00000659: CALL
0000065a: ISZERO
0000065b: DUP1
0000065c: ISZERO
0000065d: PUSH2 0x066a
00000660: JUMPI
00000661: RETURNDATASIZE
00000662: PUSH1 0x00
00000664: DUP1
00000665: RETURNDATACOPY
00000666: RETURNDATASIZE
00000667: PUSH1 0x00
00000669: REVERT
0000066a: JUMPDEST
0000066b: POP
0000066c: POP
0000066d: POP
0000066e: PUSH1 0x00
00000670: DUP7
00000671: DUP2
00000672: MSTORE
00000673: PUSH1 0x0b
00000675: PUSH1 0x20
00000677: MSTORE
00000678: PUSH1 0x40
0000067a: DUP2
0000067b: KECCAK256
0000067c: SLOAD
0000067d: SWAP1
0000067e: SWAP2
0000067f: POP
00000680: PUSH2 0x068a
00000683: SWAP1
00000684: DUP7
00000685: SWAP1
00000686: PUSH2 0x15e7
00000689: JUMP
0000068a: JUMPDEST
0000068b: PUSH1 0x00
0000068d: DUP8
0000068e: DUP2
0000068f: MSTORE
00000690: PUSH1 0x0a
00000692: PUSH1 0x20
00000694: MSTORE
00000695: PUSH1 0x40
00000697: DUP1
00000698: DUP3
00000699: KECCAK256
0000069a: DUP1
0000069b: SLOAD
0000069c: PUSH1 0xff
0000069e: NOT
0000069f: AND
000006a0: SWAP1
000006a1: SSTORE
000006a2: MLOAD
000006a3: SWAP2
000006a4: SWAP3
000006a5: POP
000006a6: SWAP1
000006a7: PUSH1 0x01
000006a9: PUSH1 0x01
000006ab: PUSH1 0xa0
000006ad: SHL
000006ae: SUB
000006af: DUP11
000006b0: AND
000006b1: SWAP1
000006b2: DUP4
000006b3: SWAP1
000006b4: DUP4
000006b5: DUP2
000006b6: DUP2
000006b7: DUP2
000006b8: DUP6
000006b9: DUP8
000006ba: GAS
000006bb: CALL
000006bc: SWAP3
000006bd: POP
000006be: POP
000006bf: POP
000006c0: RETURNDATASIZE
000006c1: DUP1
000006c2: PUSH1 0x00
000006c4: DUP2
000006c5: EQ
000006c6: PUSH2 0x06eb
000006c9: JUMPI
000006ca: PUSH1 0x40
000006cc: MLOAD
000006cd: SWAP2
000006ce: POP
000006cf: PUSH1 0x1f
000006d1: NOT
000006d2: PUSH1 0x3f
000006d4: RETURNDATASIZE
000006d5: ADD
000006d6: AND
000006d7: DUP3
000006d8: ADD
000006d9: PUSH1 0x40
000006db: MSTORE
000006dc: RETURNDATASIZE
000006dd: DUP3
000006de: MSTORE
000006df: RETURNDATASIZE
000006e0: PUSH1 0x00
000006e2: PUSH1 0x20
000006e4: DUP5
000006e5: ADD
000006e6: RETURNDATACOPY
000006e7: PUSH2 0x06f0
000006ea: JUMP
000006eb: JUMPDEST
000006ec: PUSH1 0x60
000006ee: SWAP2
000006ef: POP
000006f0: JUMPDEST
000006f1: POP
000006f2: POP
000006f3: PUSH1 0x40
000006f5: MLOAD
000006f6: SWAP1
000006f7: SWAP2
000006f8: POP
000006f9: PUSH1 0x00
000006fb: SWAP1
000006fc: CALLER
000006fd: SWAP1
000006fe: DUP9
000006ff: SWAP1
00000700: DUP4
00000701: DUP2
00000702: DUP2
00000703: DUP2
00000704: DUP6
00000705: DUP8
00000706: GAS
00000707: CALL
00000708: SWAP3
00000709: POP
0000070a: POP
0000070b: POP
0000070c: RETURNDATASIZE
0000070d: DUP1
0000070e: PUSH1 0x00
00000710: DUP2
00000711: EQ
00000712: PUSH2 0x0737
00000715: JUMPI
00000716: PUSH1 0x40
00000718: MLOAD
00000719: SWAP2
0000071a: POP
0000071b: PUSH1 0x1f
0000071d: NOT
0000071e: PUSH1 0x3f
00000720: RETURNDATASIZE
00000721: ADD
00000722: AND
00000723: DUP3
00000724: ADD
00000725: PUSH1 0x40
00000727: MSTORE
00000728: RETURNDATASIZE
00000729: DUP3
0000072a: MSTORE
0000072b: RETURNDATASIZE
0000072c: PUSH1 0x00
0000072e: PUSH1 0x20
00000730: DUP5
00000731: ADD
00000732: RETURNDATACOPY
00000733: PUSH2 0x073c
00000736: JUMP
00000737: JUMPDEST
00000738: PUSH1 0x60
0000073a: SWAP2
0000073b: POP
0000073c: JUMPDEST
0000073d: POP
0000073e: POP
0000073f: PUSH1 0x08
00000741: DUP1
00000742: SLOAD
00000743: PUSH1 0xff
00000745: PUSH1 0xa0
00000747: SHL
00000748: NOT
00000749: AND
0000074a: SWAP1
0000074b: SSTORE
0000074c: DUP7
0000074d: MLOAD
0000074e: PUSH1 0x40
00000750: DUP1
00000751: MLOAD
00000752: SWAP2
00000753: DUP3
00000754: MSTORE
00000755: TIMESTAMP
00000756: PUSH1 0x20
00000758: DUP4
00000759: ADD
0000075a: MSTORE
0000075b: SWAP2
0000075c: SWAP3
0000075d: POP
0000075e: PUSH32 0x56ca301a9219608c91e7bcee90e083c19671d2cdcc96752c7af291cee5f9c8c8
0000077f: SWAP2
00000780: ADD
00000781: PUSH1 0x40
00000783: MLOAD
00000784: DUP1
00000785: SWAP2
00000786: SUB
00000787: SWAP1
00000788: LOG1
00000789: POP
0000078a: POP
0000078b: POP
0000078c: POP
0000078d: POP
0000078e: POP
0000078f: POP
00000790: POP
00000791: POP
00000792: POP
00000793: POP
00000794: JUMP
00000795: JUMPDEST
00000796: PUSH1 0x00
00000798: PUSH1 0x09
0000079a: DUP3
0000079b: PUSH1 0x40
0000079d: MLOAD
0000079e: PUSH1 0x20
000007a0: ADD
000007a1: PUSH2 0x07ab
000007a4: SWAP3
000007a5: SWAP2
000007a6: SWAP1
000007a7: PUSH2 0x1401
000007aa: JUMP
000007ab: JUMPDEST
000007ac: PUSH1 0x40
000007ae: MLOAD
000007af: PUSH1 0x20
000007b1: DUP2
000007b2: DUP4
000007b3: SUB
000007b4: SUB
000007b5: DUP2
000007b6: MSTORE
000007b7: SWAP1
000007b8: PUSH1 0x40
000007ba: MSTORE
000007bb: DUP1
000007bc: MLOAD
000007bd: SWAP1
000007be: PUSH1 0x20
000007c0: ADD
000007c1: KECCAK256
000007c2: SWAP1
000007c3: POP
000007c4: SWAP2
000007c5: SWAP1
000007c6: POP
000007c7: JUMP
000007c8: JUMPDEST
000007c9: PUSH1 0x00
000007cb: DUP1
000007cc: PUSH1 0x00
000007ce: DUP4
000007cf: MLOAD
000007d0: PUSH1 0x41
000007d2: EQ
000007d3: PUSH2 0x080f
000007d6: JUMPI
000007d7: PUSH1 0x40
000007d9: MLOAD
000007da: PUSH3 0x461bcd
000007de: PUSH1 0xe5
000007e0: SHL
000007e1: DUP2
000007e2: MSTORE
000007e3: PUSH1 0x20
000007e5: PUSH1 0x04
000007e7: DUP3
000007e8: ADD
000007e9: MSTORE
000007ea: PUSH1 0x0e
000007ec: PUSH1 0x24
000007ee: DUP3
000007ef: ADD
000007f0: MSTORE
000007f1: PUSH14 0x0d2dcecc2d8d2c840d8cadccee8d
00000800: PUSH1 0x93
00000802: SHL
00000803: PUSH1 0x44
00000805: DUP3
00000806: ADD
00000807: MSTORE
00000808: PUSH1 0x64
0000080a: ADD
0000080b: PUSH2 0x0467
0000080e: JUMP
0000080f: JUMPDEST
00000810: POP
00000811: POP
00000812: POP
00000813: PUSH1 0x20
00000815: DUP2
00000816: ADD
00000817: MLOAD
00000818: PUSH1 0x40
0000081a: DUP3
0000081b: ADD
0000081c: MLOAD
0000081d: PUSH1 0x60
0000081f: SWAP1
00000820: SWAP3
00000821: ADD
00000822: MLOAD
00000823: SWAP1
00000824: SWAP3
00000825: PUSH1 0x00
00000827: SWAP2
00000828: SWAP1
00000829: SWAP2
0000082a: BYTE
0000082b: SWAP1
0000082c: JUMP
0000082d: JUMPDEST
0000082e: PUSH1 0x40
00000830: MLOAD
00000831: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000
00000852: PUSH1 0x20
00000854: DUP3
00000855: ADD
00000856: MSTORE
00000857: PUSH1 0x3c
00000859: DUP2
0000085a: ADD
0000085b: DUP3
0000085c: SWAP1
0000085d: MSTORE
0000085e: PUSH1 0x00
00000860: SWAP1
00000861: PUSH1 0x5c
00000863: ADD
00000864: PUSH2 0x07ab
00000867: JUMP
00000868: JUMPDEST
00000869: PUSH1 0x00
0000086b: DUP2
0000086c: DUP2
0000086d: MSTORE
0000086e: PUSH1 0x0a
00000870: PUSH1 0x20
00000872: MSTORE
00000873: PUSH1 0x40
00000875: SWAP1
00000876: KECCAK256
00000877: SLOAD
00000878: PUSH1 0xff
0000087a: AND
0000087b: ISZERO
0000087c: ISZERO
0000087d: PUSH1 0x01
0000087f: EQ
00000880: ISZERO
00000881: PUSH2 0x08db
00000884: JUMPI
00000885: PUSH1 0x40
00000887: MLOAD
00000888: PUSH3 0x461bcd
0000088c: PUSH1 0xe5
0000088e: SHL
0000088f: DUP2
00000890: MSTORE
00000891: PUSH1 0x20
00000893: PUSH1 0x04
00000895: DUP3
00000896: ADD
00000897: MSTORE
00000898: PUSH1 0x26
0000089a: PUSH1 0x24
0000089c: DUP3
0000089d: ADD
0000089e: MSTORE
0000089f: PUSH32 0x596f7520686176652075736564207468697320436f6d6d69746d656e74206265
000008c0: PUSH1 0x44
000008c2: DUP3
000008c3: ADD
000008c4: MSTORE
000008c5: PUSH6 0x666f72652021
000008cc: PUSH1 0xd0
000008ce: SHL
000008cf: PUSH1 0x64
000008d1: DUP3
000008d2: ADD
000008d3: MSTORE
000008d4: PUSH1 0x84
000008d6: ADD
000008d7: PUSH2 0x0467
000008da: JUMP
000008db: JUMPDEST
000008dc: CALLVALUE
000008dd: PUSH1 0x02
000008df: SLOAD
000008e0: GT
000008e1: ISZERO
000008e2: PUSH2 0x0926
000008e5: JUMPI
000008e6: PUSH1 0x40
000008e8: MLOAD
000008e9: PUSH3 0x461bcd
000008ed: PUSH1 0xe5
000008ef: SHL
000008f0: DUP2
000008f1: MSTORE
000008f2: PUSH1 0x20
000008f4: PUSH1 0x04
000008f6: DUP3
000008f7: ADD
000008f8: MSTORE
000008f9: PUSH1 0x16
000008fb: PUSH1 0x24
000008fd: DUP3
000008fe: ADD
000008ff: MSTORE
00000900: PUSH22 0x496e73756666696369656e7420696e76656e746f7279
00000917: PUSH1 0x50
00000919: SHL
0000091a: PUSH1 0x44
0000091c: DUP3
0000091d: ADD
0000091e: MSTORE
0000091f: PUSH1 0x64
00000921: ADD
00000922: PUSH2 0x0467
00000925: JUMP
00000926: JUMPDEST
00000927: PUSH1 0x04
00000929: SLOAD
0000092a: PUSH1 0x02
0000092c: SLOAD
0000092d: PUSH1 0x00
0000092f: SWAP2
00000930: PUSH2 0x2710
00000933: SWAP2
00000934: PUSH2 0x0946
00000937: SWAP2
00000938: PUSH1 0x01
0000093a: PUSH1 0x01
0000093c: PUSH1 0x80
0000093e: SHL
0000093f: SUB
00000940: AND
00000941: SWAP1
00000942: PUSH2 0x15c8
00000945: JUMP
00000946: JUMPDEST
00000947: PUSH2 0x0950
0000094a: SWAP2
0000094b: SWAP1
0000094c: PUSH2 0x15a8
0000094f: JUMP
00000950: JUMPDEST
00000951: SWAP1
00000952: POP
00000953: PUSH1 0x00
00000955: DUP2
00000956: PUSH1 0x02
00000958: SLOAD
00000959: PUSH2 0x0962
0000095c: SWAP2
0000095d: SWAP1
0000095e: PUSH2 0x15e7
00000961: JUMP
00000962: JUMPDEST
00000963: PUSH1 0x05
00000965: SLOAD
00000966: PUSH1 0x40
00000968: MLOAD
00000969: SWAP2
0000096a: SWAP3
0000096b: POP
0000096c: PUSH1 0x00
0000096e: SWAP2
0000096f: PUSH1 0x01
00000971: PUSH1 0x01
00000973: PUSH1 0xa0
00000975: SHL
00000976: SUB
00000977: SWAP1
00000978: SWAP2
00000979: AND
0000097a: SWAP1
0000097b: DUP5
0000097c: SWAP1
0000097d: DUP4
0000097e: DUP2
0000097f: DUP2
00000980: DUP2
00000981: DUP6
00000982: DUP8
00000983: GAS
00000984: CALL
00000985: SWAP3
00000986: POP
00000987: POP
00000988: POP
00000989: RETURNDATASIZE
0000098a: DUP1
0000098b: PUSH1 0x00
0000098d: DUP2
0000098e: EQ
0000098f: PUSH2 0x09b4
00000992: JUMPI
00000993: PUSH1 0x40
00000995: MLOAD
00000996: SWAP2
00000997: POP
00000998: PUSH1 0x1f
0000099a: NOT
0000099b: PUSH1 0x3f
0000099d: RETURNDATASIZE
0000099e: ADD
0000099f: AND
000009a0: DUP3
000009a1: ADD
000009a2: PUSH1 0x40
000009a4: MSTORE
000009a5: RETURNDATASIZE
000009a6: DUP3
000009a7: MSTORE
000009a8: RETURNDATASIZE
000009a9: PUSH1 0x00
000009ab: PUSH1 0x20
000009ad: DUP5
000009ae: ADD
000009af: RETURNDATACOPY
000009b0: PUSH2 0x09b9
000009b3: JUMP
000009b4: JUMPDEST
000009b5: PUSH1 0x60
000009b7: SWAP2
000009b8: POP
000009b9: JUMPDEST
000009ba: POP
000009bb: POP
000009bc: PUSH1 0x00
000009be: SLOAD
000009bf: PUSH1 0x01
000009c1: SLOAD
000009c2: PUSH1 0x40
000009c4: MLOAD
000009c5: PUSH4 0x1783efc3
000009ca: PUSH1 0xe0
000009cc: SHL
000009cd: DUP2
000009ce: MSTORE
000009cf: PUSH1 0x04
000009d1: DUP2
000009d2: ADD
000009d3: SWAP2
000009d4: SWAP1
000009d5: SWAP2
000009d6: MSTORE
000009d7: PUSH1 0x24
000009d9: DUP2
000009da: ADD
000009db: DUP8
000009dc: SWAP1
000009dd: MSTORE
000009de: SWAP2
000009df: SWAP3
000009e0: POP
000009e1: PUSH1 0x01
000009e3: PUSH1 0x01
000009e5: PUSH1 0xa0
000009e7: SHL
000009e8: SUB
000009e9: AND
000009ea: SWAP1
000009eb: PUSH4 0x1783efc3
000009f0: SWAP1
000009f1: PUSH1 0x44
000009f3: ADD
000009f4: PUSH1 0x00
000009f6: PUSH1 0x40
000009f8: MLOAD
000009f9: DUP1
000009fa: DUP4
000009fb: SUB
000009fc: DUP2
000009fd: PUSH1 0x00
000009ff: DUP8
00000a00: DUP1
00000a01: EXTCODESIZE
00000a02: ISZERO
00000a03: DUP1
00000a04: ISZERO
00000a05: PUSH2 0x0a0d
00000a08: JUMPI
00000a09: PUSH1 0x00
00000a0b: DUP1
00000a0c: REVERT
00000a0d: JUMPDEST
00000a0e: POP
00000a0f: GAS
00000a10: CALL
00000a11: ISZERO
00000a12: DUP1
00000a13: ISZERO
00000a14: PUSH2 0x0a21
00000a17: JUMPI
00000a18: RETURNDATASIZE
00000a19: PUSH1 0x00
00000a1b: DUP1
00000a1c: RETURNDATACOPY
00000a1d: RETURNDATASIZE
00000a1e: PUSH1 0x00
00000a20: REVERT
00000a21: JUMPDEST
00000a22: POP
00000a23: POP
00000a24: POP
00000a25: PUSH1 0x00
00000a27: DUP6
00000a28: DUP2
00000a29: MSTORE
00000a2a: PUSH1 0x0a
00000a2c: PUSH1 0x20
00000a2e: SWAP1
00000a2f: DUP2
00000a30: MSTORE
00000a31: PUSH1 0x40
00000a33: DUP1
00000a34: DUP4
00000a35: KECCAK256
00000a36: DUP1
00000a37: SLOAD
00000a38: PUSH1 0xff
00000a3a: NOT
00000a3b: AND
00000a3c: PUSH1 0x01
00000a3e: SWAP1
00000a3f: DUP2
00000a40: OR
00000a41: SWAP1
00000a42: SWAP2
00000a43: SSTORE
00000a44: PUSH1 0x03
00000a46: DUP1
00000a47: SLOAD
00000a48: SWAP2
00000a49: DUP3
00000a4a: ADD
00000a4b: SWAP1
00000a4c: SSTORE
00000a4d: PUSH32 0xc2575a0e9e593c00f959f8c92f12db2869c3395a3b0502d05e2516446f71f85b
00000a6e: ADD
00000a6f: DUP9
00000a70: SWAP1
00000a71: SSTORE
00000a72: PUSH1 0x0b
00000a74: DUP3
00000a75: MSTORE
00000a76: SWAP2
00000a77: DUP3
00000a78: SWAP1
00000a79: KECCAK256
00000a7a: DUP6
00000a7b: SWAP1
00000a7c: SSTORE
00000a7d: DUP2
00000a7e: MLOAD
00000a7f: DUP8
00000a80: DUP2
00000a81: MSTORE
00000a82: TIMESTAMP
00000a83: SWAP2
00000a84: DUP2
00000a85: ADD
00000a86: SWAP2
00000a87: SWAP1
00000a88: SWAP2
00000a89: MSTORE
00000a8a: PUSH32 0xa3af609bf46297028ce551832669030f9effef2b02606d02cbbcc40fe6b47c55
00000aab: SWAP3
00000aac: POP
00000aad: ADD
00000aae: PUSH1 0x40
00000ab0: MLOAD
00000ab1: DUP1
00000ab2: SWAP2
00000ab3: SUB
00000ab4: SWAP1
00000ab5: LOG1
00000ab6: POP
00000ab7: POP
00000ab8: POP
00000ab9: POP
00000aba: JUMP
00000abb: JUMPDEST
00000abc: PUSH1 0x00
00000abe: PUSH1 0x09
00000ac0: DUP4
00000ac1: DUP4
00000ac2: PUSH1 0x40
00000ac4: MLOAD
00000ac5: PUSH1 0x20
00000ac7: ADD
00000ac8: PUSH2 0x0ad3
00000acb: SWAP4
00000acc: SWAP3
00000acd: SWAP2
00000ace: SWAP1
00000acf: PUSH2 0x142e
00000ad2: JUMP
00000ad3: JUMPDEST
00000ad4: PUSH1 0x40
00000ad6: MLOAD
00000ad7: PUSH1 0x20
00000ad9: DUP2
00000ada: DUP4
00000adb: SUB
00000adc: SUB
00000add: DUP2
00000ade: MSTORE
00000adf: SWAP1
00000ae0: PUSH1 0x40
00000ae2: MSTORE
00000ae3: DUP1
00000ae4: MLOAD
00000ae5: SWAP1
00000ae6: PUSH1 0x20
00000ae8: ADD
00000ae9: KECCAK256
00000aea: SWAP1
00000aeb: POP
00000aec: JUMPDEST
00000aed: SWAP3
00000aee: SWAP2
00000aef: POP
00000af0: POP
00000af1: JUMP
00000af2: JUMPDEST
00000af3: PUSH1 0x00
00000af5: DUP1
00000af6: PUSH1 0x00
00000af8: DUP1
00000af9: PUSH2 0x0b01
00000afc: DUP6
00000afd: PUSH2 0x07c8
00000b00: JUMP
00000b01: JUMPDEST
00000b02: PUSH1 0x40
00000b04: DUP1
00000b05: MLOAD
00000b06: PUSH1 0x00
00000b08: DUP2
00000b09: MSTORE
00000b0a: PUSH1 0x20
00000b0c: DUP2
00000b0d: ADD
00000b0e: DUP1
00000b0f: DUP4
00000b10: MSTORE
00000b11: DUP12
00000b12: SWAP1
00000b13: MSTORE
00000b14: PUSH1 0xff
00000b16: DUP4
00000b17: AND
00000b18: SWAP2
00000b19: DUP2
00000b1a: ADD
00000b1b: SWAP2
00000b1c: SWAP1
00000b1d: SWAP2
00000b1e: MSTORE
00000b1f: PUSH1 0x60
00000b21: DUP2
00000b22: ADD
00000b23: DUP5
00000b24: SWAP1
00000b25: MSTORE
00000b26: PUSH1 0x80
00000b28: DUP2
00000b29: ADD
00000b2a: DUP4
00000b2b: SWAP1
00000b2c: MSTORE
00000b2d: SWAP3
00000b2e: SWAP6
00000b2f: POP
00000b30: SWAP1
00000b31: SWAP4
00000b32: POP
00000b33: SWAP2
00000b34: POP
00000b35: PUSH1 0x01
00000b37: SWAP1
00000b38: PUSH1 0xa0
00000b3a: ADD
00000b3b: PUSH1 0x20
00000b3d: PUSH1 0x40
00000b3f: MLOAD
00000b40: PUSH1 0x20
00000b42: DUP2
00000b43: SUB
00000b44: SWAP1
00000b45: DUP1
00000b46: DUP5
00000b47: SUB
00000b48: SWAP1
00000b49: DUP6
00000b4a: GAS
00000b4b: STATICCALL
00000b4c: ISZERO
00000b4d: DUP1
00000b4e: ISZERO
00000b4f: PUSH2 0x0b5c
00000b52: JUMPI
00000b53: RETURNDATASIZE
00000b54: PUSH1 0x00
00000b56: DUP1
00000b57: RETURNDATACOPY
00000b58: RETURNDATASIZE
00000b59: PUSH1 0x00
00000b5b: REVERT
00000b5c: JUMPDEST
00000b5d: POP
00000b5e: POP
00000b5f: PUSH1 0x40
00000b61: MLOAD
00000b62: PUSH1 0x1f
00000b64: NOT
00000b65: ADD
00000b66: MLOAD
00000b67: SWAP8
00000b68: SWAP7
00000b69: POP
00000b6a: POP
00000b6b: POP
00000b6c: POP
00000b6d: POP
00000b6e: POP
00000b6f: POP
00000b70: JUMP
00000b71: JUMPDEST
00000b72: PUSH1 0x60
00000b74: DUP3
00000b75: DUP3
00000b76: PUSH1 0x40
00000b78: MLOAD
00000b79: PUSH1 0x20
00000b7b: ADD
00000b7c: PUSH2 0x0b86
00000b7f: SWAP3
00000b80: SWAP2
00000b81: SWAP1
00000b82: PUSH2 0x146f
00000b85: JUMP
00000b86: JUMPDEST
00000b87: PUSH1 0x40
00000b89: MLOAD
00000b8a: PUSH1 0x20
00000b8c: DUP2
00000b8d: DUP4
00000b8e: SUB
00000b8f: SUB
00000b90: DUP2
00000b91: MSTORE
00000b92: SWAP1
00000b93: PUSH1 0x40
00000b95: MSTORE
00000b96: SWAP1
00000b97: POP
00000b98: SWAP3
00000b99: SWAP2
00000b9a: POP
00000b9b: POP
00000b9c: JUMP
00000b9d: JUMPDEST
00000b9e: PUSH20 0xf1512dc73889cf1b1c66df4a715ba054976d7024
00000bb3: CALLER
00000bb4: EQ
00000bb5: PUSH2 0x0bbd
00000bb8: JUMPI
00000bb9: PUSH1 0x00
00000bbb: DUP1
00000bbc: REVERT
00000bbd: JUMPDEST
00000bbe: PUSH1 0x40
00000bc0: MLOAD
00000bc1: PUSH1 0x00
00000bc3: SWAP1
00000bc4: PUSH20 0xf1512dc73889cf1b1c66df4a715ba054976d7024
00000bd9: SWAP1
00000bda: SELFBALANCE
00000bdb: SWAP1
00000bdc: DUP4
00000bdd: DUP2
00000bde: DUP2
00000bdf: DUP2
00000be0: DUP6
00000be1: DUP8
00000be2: GAS
00000be3: CALL
00000be4: SWAP3
00000be5: POP
00000be6: POP
00000be7: POP
00000be8: RETURNDATASIZE
00000be9: DUP1
00000bea: PUSH1 0x00
00000bec: DUP2
00000bed: EQ
00000bee: PUSH2 0x0c13
00000bf1: JUMPI
00000bf2: PUSH1 0x40
00000bf4: MLOAD
00000bf5: SWAP2
00000bf6: POP
00000bf7: PUSH1 0x1f
00000bf9: NOT
00000bfa: PUSH1 0x3f
00000bfc: RETURNDATASIZE
00000bfd: ADD
00000bfe: AND
00000bff: DUP3
00000c00: ADD
00000c01: PUSH1 0x40
00000c03: MSTORE
00000c04: RETURNDATASIZE
00000c05: DUP3
00000c06: MSTORE
00000c07: RETURNDATASIZE
00000c08: PUSH1 0x00
00000c0a: PUSH1 0x20
00000c0c: DUP5
00000c0d: ADD
00000c0e: RETURNDATACOPY
00000c0f: PUSH2 0x0c18
00000c12: JUMP
00000c13: JUMPDEST
00000c14: PUSH1 0x60
00000c16: SWAP2
00000c17: POP
00000c18: JUMPDEST
00000c19: POP
00000c1a: POP
00000c1b: POP
00000c1c: POP
00000c1d: JUMP
00000c1e: JUMPDEST
00000c1f: PUSH1 0x00
00000c21: DUP1
00000c22: PUSH2 0x0c2a
00000c25: DUP5
00000c26: PUSH2 0x0795
00000c29: JUMP
00000c2a: JUMPDEST
00000c2b: SWAP1
00000c2c: POP
00000c2d: PUSH1 0x00
00000c2f: PUSH2 0x0c37
00000c32: DUP3
00000c33: PUSH2 0x082d
00000c36: JUMP
00000c37: JUMPDEST
00000c38: SWAP1
00000c39: POP
00000c3a: CALLER
00000c3b: PUSH2 0x0c44
00000c3e: DUP3
00000c3f: DUP7
00000c40: PUSH2 0x0af2
00000c43: JUMP
00000c44: JUMPDEST
00000c45: PUSH1 0x01
00000c47: PUSH1 0x01
00000c49: PUSH1 0xa0
00000c4b: SHL
00000c4c: SUB
00000c4d: AND
00000c4e: EQ
00000c4f: SWAP6
00000c50: SWAP5
00000c51: POP
00000c52: POP
00000c53: POP
00000c54: POP
00000c55: POP
00000c56: JUMP
00000c57: JUMPDEST
00000c58: PUSH1 0x08
00000c5a: SLOAD
00000c5b: PUSH1 0x00
00000c5d: SWAP1
00000c5e: PUSH1 0x01
00000c60: PUSH1 0x01
00000c62: PUSH1 0xa0
00000c64: SHL
00000c65: SUB
00000c66: AND
00000c67: CALLER
00000c68: EQ
00000c69: PUSH2 0x0ccb
00000c6c: JUMPI
00000c6d: PUSH1 0x40
00000c6f: MLOAD
00000c70: PUSH3 0x461bcd
00000c74: PUSH1 0xe5
00000c76: SHL
00000c77: DUP2
00000c78: MSTORE
00000c79: PUSH1 0x20
00000c7b: PUSH1 0x04
00000c7d: DUP3
00000c7e: ADD
00000c7f: MSTORE
00000c80: PUSH1 0x2e
00000c82: PUSH1 0x24
00000c84: DUP3
00000c85: ADD
00000c86: MSTORE
00000c87: PUSH32 0x4f6e6c7920746865206f776e657220697320616c6c6f77656420746f206d616b
00000ca8: PUSH1 0x44
00000caa: DUP3
00000cab: ADD
00000cac: MSTORE
00000cad: PUSH14 0x19481d1a1a5cc81c995c5d595cdd
00000cbc: PUSH1 0x92
00000cbe: SHL
00000cbf: PUSH1 0x64
00000cc1: DUP3
00000cc2: ADD
00000cc3: MSTORE
00000cc4: PUSH1 0x84
00000cc6: ADD
00000cc7: PUSH2 0x0467
00000cca: JUMP
00000ccb: JUMPDEST
00000ccc: PUSH1 0x64
00000cce: DUP3
00000ccf: PUSH1 0x01
00000cd1: PUSH1 0x01
00000cd3: PUSH1 0x80
00000cd5: SHL
00000cd6: SUB
00000cd7: AND
00000cd8: GT
00000cd9: ISZERO
00000cda: PUSH2 0x0d3f
00000cdd: JUMPI
00000cde: PUSH1 0x40
00000ce0: MLOAD
00000ce1: PUSH3 0x461bcd
00000ce5: PUSH1 0xe5
00000ce7: SHL
00000ce8: DUP2
00000ce9: MSTORE
00000cea: PUSH1 0x20
00000cec: PUSH1 0x04
00000cee: DUP3
00000cef: ADD
00000cf0: MSTORE
00000cf1: PUSH1 0x31
00000cf3: PUSH1 0x24
00000cf5: DUP3
00000cf6: ADD
00000cf7: MSTORE
00000cf8: PUSH32 0x546865206e756d626572206f6620636f6d6d697373696f6e2063616e27742062
00000d19: PUSH1 0x44
00000d1b: DUP3
00000d1c: ADD
00000d1d: MSTORE
00000d1e: PUSH17 0x652067726561746572207468616e203125
00000d30: PUSH1 0x78
00000d32: SHL
00000d33: PUSH1 0x64
00000d35: DUP3
00000d36: ADD
00000d37: MSTORE
00000d38: PUSH1 0x84
00000d3a: ADD
00000d3b: PUSH2 0x0467
00000d3e: JUMP
00000d3f: JUMPDEST
00000d40: PUSH1 0x1e
00000d42: DUP3
00000d43: PUSH1 0x01
00000d45: PUSH1 0x01
00000d47: PUSH1 0x80
00000d49: SHL
00000d4a: SUB
00000d4b: AND
00000d4c: LT
00000d4d: ISZERO
00000d4e: PUSH2 0x0db3
00000d51: JUMPI
00000d52: PUSH1 0x40
00000d54: MLOAD
00000d55: PUSH3 0x461bcd
00000d59: PUSH1 0xe5
00000d5b: SHL
00000d5c: DUP2
00000d5d: MSTORE
00000d5e: PUSH1 0x20
00000d60: PUSH1 0x04
00000d62: DUP3
00000d63: ADD
00000d64: MSTORE
00000d65: PUSH1 0x31
00000d67: PUSH1 0x24
00000d69: DUP3
00000d6a: ADD
00000d6b: MSTORE
00000d6c: PUSH32 0x546865206e756d626572206f6620636f6d6d697373696f6e2063616e27742062
00000d8d: PUSH1 0x44
00000d8f: DUP3
00000d90: ADD
00000d91: MSTORE
00000d92: PUSH17 0x65206c6f776572207468616e20302e3325
00000da4: PUSH1 0x78
00000da6: SHL
00000da7: PUSH1 0x64
00000da9: DUP3
00000daa: ADD
00000dab: MSTORE
00000dac: PUSH1 0x84
00000dae: ADD
00000daf: PUSH2 0x0467
00000db2: JUMP
00000db3: JUMPDEST
00000db4: POP
00000db5: PUSH1 0x04
00000db7: DUP1
00000db8: SLOAD
00000db9: PUSH1 0x01
00000dbb: PUSH1 0x01
00000dbd: PUSH1 0x80
00000dbf: SHL
00000dc0: SUB
00000dc1: DUP4
00000dc2: AND
00000dc3: PUSH16 0xffffffffffffffffffffffffffffffff
00000dd4: NOT
00000dd5: SWAP1
00000dd6: SWAP2
00000dd7: AND
00000dd8: OR
00000dd9: SWAP1
00000dda: SSTORE
00000ddb: PUSH1 0x01
00000ddd: SWAP2
00000dde: SWAP1
00000ddf: POP
00000de0: JUMP
00000de1: JUMPDEST
00000de2: PUSH1 0x00
00000de4: PUSH1 0x60
00000de6: DUP3
00000de7: DUP1
00000de8: PUSH1 0x20
00000dea: ADD
00000deb: SWAP1
00000dec: MLOAD
00000ded: DUP2
00000dee: ADD
00000def: SWAP1
00000df0: PUSH2 0x0df9
00000df3: SWAP2
00000df4: SWAP1
00000df5: PUSH2 0x1023
00000df8: JUMP
00000df9: JUMPDEST
00000dfa: SWAP1
00000dfb: SWAP5
00000dfc: SWAP1
00000dfd: SWAP4
00000dfe: POP
00000dff: SWAP2
00000e00: POP
00000e01: POP
00000e02: JUMP
00000e03: JUMPDEST
00000e04: PUSH1 0x60
00000e06: PUSH1 0x03
00000e08: DUP1
00000e09: SLOAD
00000e0a: DUP1
00000e0b: PUSH1 0x20
00000e0d: MUL
00000e0e: PUSH1 0x20
00000e10: ADD
00000e11: PUSH1 0x40
00000e13: MLOAD
00000e14: SWAP1
00000e15: DUP2
00000e16: ADD
00000e17: PUSH1 0x40
00000e19: MSTORE
00000e1a: DUP1
00000e1b: SWAP3
00000e1c: SWAP2
00000e1d: SWAP1
00000e1e: DUP2
00000e1f: DUP2
00000e20: MSTORE
00000e21: PUSH1 0x20
00000e23: ADD
00000e24: DUP3
00000e25: DUP1
00000e26: SLOAD
00000e27: DUP1
00000e28: ISZERO
00000e29: PUSH2 0x0e51
00000e2c: JUMPI
00000e2d: PUSH1 0x20
00000e2f: MUL
00000e30: DUP3
00000e31: ADD
00000e32: SWAP2
00000e33: SWAP1
00000e34: PUSH1 0x00
00000e36: MSTORE
00000e37: PUSH1 0x20
00000e39: PUSH1 0x00
00000e3b: KECCAK256
00000e3c: SWAP1
00000e3d: JUMPDEST
00000e3e: DUP2
00000e3f: SLOAD
00000e40: DUP2
00000e41: MSTORE
00000e42: PUSH1 0x20
00000e44: ADD
00000e45: SWAP1
00000e46: PUSH1 0x01
00000e48: ADD
00000e49: SWAP1
00000e4a: DUP1
00000e4b: DUP4
00000e4c: GT
00000e4d: PUSH2 0x0e3d
00000e50: JUMPI
00000e51: JUMPDEST
00000e52: POP
00000e53: POP
00000e54: POP
00000e55: POP
00000e56: POP
00000e57: SWAP1
00000e58: POP
00000e59: SWAP1
00000e5a: JUMP
00000e5b: JUMPDEST
00000e5c: PUSH1 0x00
00000e5e: DUP1
00000e5f: PUSH2 0x0e6f
00000e62: DUP5
00000e63: DUP5
00000e64: PUSH1 0x01
00000e66: PUSH1 0x20
00000e68: MUL
00000e69: ADD
00000e6a: MLOAD
00000e6b: PUSH2 0x0abb
00000e6e: JUMP
00000e6f: JUMPDEST
00000e70: SWAP1
00000e71: POP
00000e72: PUSH1 0x00
00000e74: PUSH2 0x0e7c
00000e77: DUP3
00000e78: PUSH2 0x082d
00000e7b: JUMP
00000e7c: JUMPDEST
00000e7d: SWAP1
00000e7e: POP
00000e7f: PUSH1 0x00
00000e81: DUP1
00000e82: PUSH2 0x0e91
00000e85: DUP7
00000e86: PUSH1 0x01
00000e88: PUSH1 0x20
00000e8a: MUL
00000e8b: ADD
00000e8c: MLOAD
00000e8d: PUSH2 0x0de1
00000e90: JUMP
00000e91: JUMPDEST
00000e92: SWAP2
00000e93: POP
00000e94: SWAP2
00000e95: POP
00000e96: DUP7
00000e97: PUSH1 0x01
00000e99: PUSH1 0x01
00000e9b: PUSH1 0xa0
00000e9d: SHL
00000e9e: SUB
00000e9f: AND
00000ea0: DUP3
00000ea1: PUSH1 0x01
00000ea3: PUSH1 0x01
00000ea5: PUSH1 0xa0
00000ea7: SHL
00000ea8: SUB
00000ea9: AND
00000eaa: EQ
00000eab: PUSH2 0x0eec
00000eae: JUMPI
00000eaf: PUSH1 0x40
00000eb1: MLOAD
00000eb2: PUSH3 0x461bcd
00000eb6: PUSH1 0xe5
00000eb8: SHL
00000eb9: DUP2
00000eba: MSTORE
00000ebb: PUSH1 0x20
00000ebd: PUSH1 0x04
00000ebf: DUP3
00000ec0: ADD
00000ec1: MSTORE
00000ec2: PUSH1 0x13
00000ec4: PUSH1 0x24
00000ec6: DUP3
00000ec7: ADD
00000ec8: MSTORE
00000ec9: PUSH19 0x024ba1034b9903737ba1030b2323932b9b9909
00000edd: PUSH1 0x6d
00000edf: SHL
00000ee0: PUSH1 0x44
00000ee2: DUP3
00000ee3: ADD
00000ee4: MSTORE
00000ee5: PUSH1 0x64
00000ee7: ADD
00000ee8: PUSH2 0x0467
00000eeb: JUMP
00000eec: JUMPDEST
00000eed: DUP6
00000eee: MLOAD
00000eef: PUSH1 0x01
00000ef1: PUSH1 0x01
00000ef3: PUSH1 0xa0
00000ef5: SHL
00000ef6: SUB
00000ef7: DUP10
00000ef8: AND
00000ef9: SWAP1
00000efa: PUSH2 0x0f04
00000efd: SWAP1
00000efe: DUP6
00000eff: SWAP1
00000f00: PUSH2 0x0af2
00000f03: JUMP
00000f04: JUMPDEST
00000f05: PUSH1 0x01
00000f07: PUSH1 0x01
00000f09: PUSH1 0xa0
00000f0b: SHL
00000f0c: SUB
00000f0d: AND
00000f0e: EQ
00000f0f: SWAP9
00000f10: SWAP8
00000f11: POP
00000f12: POP
00000f13: POP
00000f14: POP
00000f15: POP
00000f16: POP
00000f17: POP
00000f18: POP
00000f19: JUMP
00000f1a: JUMPDEST
00000f1b: PUSH1 0x00
00000f1d: PUSH2 0x0f2d
00000f20: PUSH2 0x0f28
00000f23: DUP5
00000f24: PUSH2 0x1580
00000f27: JUMP
00000f28: JUMPDEST
00000f29: PUSH2 0x154f
00000f2c: JUMP
00000f2d: JUMPDEST
00000f2e: SWAP1
00000f2f: POP
00000f30: DUP3
00000f31: DUP2
00000f32: MSTORE
00000f33: DUP4
00000f34: DUP4
00000f35: DUP4
00000f36: ADD
00000f37: GT
00000f38: ISZERO
00000f39: PUSH2 0x0f41
00000f3c: JUMPI
00000f3d: PUSH1 0x00
00000f3f: DUP1
00000f40: REVERT
00000f41: JUMPDEST
00000f42: DUP3
00000f43: DUP3
00000f44: PUSH1 0x20
00000f46: DUP4
00000f47: ADD
00000f48: CALLDATACOPY
00000f49: PUSH1 0x00
00000f4b: PUSH1 0x20
00000f4d: DUP5
00000f4e: DUP4
00000f4f: ADD
00000f50: ADD
00000f51: MSTORE
00000f52: SWAP4
00000f53: SWAP3
00000f54: POP
00000f55: POP
00000f56: POP
00000f57: JUMP
00000f58: JUMPDEST
00000f59: PUSH1 0x00
00000f5b: DUP3
00000f5c: PUSH1 0x1f
00000f5e: DUP4
00000f5f: ADD
00000f60: SLT
00000f61: PUSH2 0x0f68
00000f64: JUMPI
00000f65: DUP1
00000f66: DUP2
00000f67: REVERT
00000f68: JUMPDEST
00000f69: PUSH2 0x0f70
00000f6c: PUSH2 0x1526
00000f6f: JUMP
00000f70: JUMPDEST
00000f71: DUP1
00000f72: DUP4
00000f73: DUP6
00000f74: PUSH1 0x40
00000f76: DUP7
00000f77: ADD
00000f78: GT
00000f79: ISZERO
00000f7a: PUSH2 0x0f81
00000f7d: JUMPI
00000f7e: DUP4
00000f7f: DUP5
00000f80: REVERT
00000f81: JUMPDEST
00000f82: DUP4
00000f83: JUMPDEST
00000f84: PUSH1 0x02
00000f86: DUP2
00000f87: LT
00000f88: ISZERO
00000f89: PUSH2 0x0fc4
00000f8c: JUMPI
00000f8d: DUP2
00000f8e: CALLDATALOAD
00000f8f: PUSH8 0xffffffffffffffff
00000f98: DUP2
00000f99: GT
00000f9a: ISZERO
00000f9b: PUSH2 0x0fa2
00000f9e: JUMPI
00000f9f: DUP6
00000fa0: DUP7
00000fa1: REVERT
00000fa2: JUMPDEST
00000fa3: PUSH2 0x0fae
00000fa6: DUP9
00000fa7: DUP3
00000fa8: DUP10
00000fa9: ADD
00000faa: PUSH2 0x0fe1
00000fad: JUMP
00000fae: JUMPDEST
00000faf: DUP6
00000fb0: MSTORE
00000fb1: POP
00000fb2: PUSH1 0x20
00000fb4: SWAP4
00000fb5: DUP5
00000fb6: ADD
00000fb7: SWAP4
00000fb8: SWAP2
00000fb9: SWAP1
00000fba: SWAP2
00000fbb: ADD
00000fbc: SWAP1
00000fbd: PUSH1 0x01
00000fbf: ADD
00000fc0: PUSH2 0x0f83
00000fc3: JUMP
00000fc4: JUMPDEST
00000fc5: POP
00000fc6: SWAP1
00000fc7: SWAP6
00000fc8: SWAP5
00000fc9: POP
00000fca: POP
00000fcb: POP
00000fcc: POP
00000fcd: POP
00000fce: JUMP
00000fcf: JUMPDEST
00000fd0: DUP1
00000fd1: PUSH2 0x0100
00000fd4: DUP2
00000fd5: ADD
00000fd6: DUP4
00000fd7: LT
00000fd8: ISZERO
00000fd9: PUSH2 0x0aec
00000fdc: JUMPI
00000fdd: PUSH1 0x00
00000fdf: DUP1
00000fe0: REVERT
00000fe1: JUMPDEST
00000fe2: PUSH1 0x00
00000fe4: DUP3
00000fe5: PUSH1 0x1f
00000fe7: DUP4
00000fe8: ADD
00000fe9: SLT
00000fea: PUSH2 0x0ff1
00000fed: JUMPI
00000fee: DUP1
00000fef: DUP2
00000ff0: REVERT
00000ff1: JUMPDEST
00000ff2: PUSH2 0x1000
00000ff5: DUP4
00000ff6: DUP4
00000ff7: CALLDATALOAD
00000ff8: PUSH1 0x20
00000ffa: DUP6
00000ffb: ADD
00000ffc: PUSH2 0x0f1a
00000fff: JUMP
00001000: JUMPDEST
00001001: SWAP4
00001002: SWAP3
00001003: POP
00001004: POP
00001005: POP
00001006: JUMP
00001007: JUMPDEST
00001008: PUSH1 0x00
0000100a: PUSH1 0x20
0000100c: DUP3
0000100d: DUP5
0000100e: SUB
0000100f: SLT
00001010: ISZERO
00001011: PUSH2 0x1018
00001014: JUMPI
00001015: DUP1
00001016: DUP2
00001017: REVERT
00001018: JUMPDEST
00001019: DUP2
0000101a: CALLDATALOAD
0000101b: PUSH2 0x1000
0000101e: DUP2
0000101f: PUSH2 0x1656
00001022: JUMP
00001023: JUMPDEST
00001024: PUSH1 0x00
00001026: DUP1
00001027: PUSH1 0x40
00001029: DUP4
0000102a: DUP6
0000102b: SUB
0000102c: SLT
0000102d: ISZERO
0000102e: PUSH2 0x1035
00001031: JUMPI
00001032: DUP1
00001033: DUP2
00001034: REVERT
00001035: JUMPDEST
00001036: DUP3
00001037: MLOAD
00001038: PUSH2 0x1040
0000103b: DUP2
0000103c: PUSH2 0x1656
0000103f: JUMP
00001040: JUMPDEST
00001041: PUSH1 0x20
00001043: DUP5
00001044: ADD
00001045: MLOAD
00001046: SWAP1
00001047: SWAP3
00001048: POP
00001049: PUSH8 0xffffffffffffffff
00001052: DUP2
00001053: GT
00001054: ISZERO
00001055: PUSH2 0x105c
00001058: JUMPI
00001059: DUP2
0000105a: DUP3
0000105b: REVERT
0000105c: JUMPDEST
0000105d: DUP4
0000105e: ADD
0000105f: PUSH1 0x1f
00001061: DUP2
00001062: ADD
00001063: DUP6
00001064: SGT
00001065: PUSH2 0x106c
00001068: JUMPI
00001069: DUP2
0000106a: DUP3
0000106b: REVERT
0000106c: JUMPDEST
0000106d: DUP1
0000106e: MLOAD
0000106f: PUSH2 0x107a
00001072: PUSH2 0x0f28
00001075: DUP3
00001076: PUSH2 0x1580
00001079: JUMP
0000107a: JUMPDEST
0000107b: DUP2
0000107c: DUP2
0000107d: MSTORE
0000107e: DUP7
0000107f: PUSH1 0x20
00001081: DUP4
00001082: DUP6
00001083: ADD
00001084: ADD
00001085: GT
00001086: ISZERO
00001087: PUSH2 0x108e
0000108a: JUMPI
0000108b: DUP4
0000108c: DUP5
0000108d: REVERT
0000108e: JUMPDEST
0000108f: PUSH2 0x109f
00001092: DUP3
00001093: PUSH1 0x20
00001095: DUP4
00001096: ADD
00001097: PUSH1 0x20
00001099: DUP7
0000109a: ADD
0000109b: PUSH2 0x15fe
0000109e: JUMP
0000109f: JUMPDEST
000010a0: DUP1
000010a1: SWAP4
000010a2: POP
000010a3: POP
000010a4: POP
000010a5: POP
000010a6: SWAP3
000010a7: POP
000010a8: SWAP3
000010a9: SWAP1
000010aa: POP
000010ab: JUMP
000010ac: JUMPDEST
000010ad: PUSH1 0x00
000010af: DUP1
000010b0: PUSH1 0x00
000010b2: PUSH1 0x60
000010b4: DUP5
000010b5: DUP7
000010b6: SUB
000010b7: SLT
000010b8: ISZERO
000010b9: PUSH2 0x10c0
000010bc: JUMPI
000010bd: DUP1
000010be: DUP2
000010bf: REVERT
000010c0: JUMPDEST
000010c1: DUP4
000010c2: CALLDATALOAD
000010c3: PUSH2 0x10cb
000010c6: DUP2
000010c7: PUSH2 0x1656
000010ca: JUMP
000010cb: JUMPDEST
000010cc: SWAP3
000010cd: POP
000010ce: PUSH1 0x20
000010d0: DUP5
000010d1: ADD
000010d2: CALLDATALOAD
000010d3: PUSH2 0x10db
000010d6: DUP2
000010d7: PUSH2 0x1656
000010da: JUMP
000010db: JUMPDEST
000010dc: SWAP2
000010dd: POP
000010de: PUSH1 0x40
000010e0: DUP5
000010e1: ADD
000010e2: CALLDATALOAD
000010e3: PUSH8 0xffffffffffffffff
000010ec: DUP2
000010ed: GT
000010ee: ISZERO
000010ef: PUSH2 0x10f6
000010f2: JUMPI
000010f3: DUP2
000010f4: DUP3
000010f5: REVERT
000010f6: JUMPDEST
000010f7: PUSH2 0x1102
000010fa: DUP7
000010fb: DUP3
000010fc: DUP8
000010fd: ADD
000010fe: PUSH2 0x0f58
00001101: JUMP
00001102: JUMPDEST
00001103: SWAP2
00001104: POP
00001105: POP
00001106: SWAP3
00001107: POP
00001108: SWAP3
00001109: POP
0000110a: SWAP3
0000110b: JUMP
0000110c: JUMPDEST
0000110d: PUSH1 0x00
0000110f: DUP1
00001110: PUSH1 0x00
00001112: DUP1
00001113: PUSH1 0x00
00001115: DUP1
00001116: PUSH1 0x00
00001118: DUP1
00001119: PUSH2 0x0200
0000111c: DUP10
0000111d: DUP12
0000111e: SUB
0000111f: SLT
00001120: ISZERO
00001121: PUSH2 0x1128
00001124: JUMPI
00001125: DUP4
00001126: DUP5
00001127: REVERT
00001128: JUMPDEST
00001129: DUP9
0000112a: CALLDATALOAD
0000112b: PUSH2 0x1133
0000112e: DUP2
0000112f: PUSH2 0x1656
00001132: JUMP
00001133: JUMPDEST
00001134: SWAP8
00001135: POP
00001136: PUSH1 0x20
00001138: DUP10
00001139: DUP2
0000113a: ADD
0000113b: CALLDATALOAD
0000113c: PUSH2 0x1144
0000113f: DUP2
00001140: PUSH2 0x1656
00001143: JUMP
00001144: JUMPDEST
00001145: SWAP8
00001146: POP
00001147: PUSH1 0x40
00001149: DUP11
0000114a: ADD
0000114b: CALLDATALOAD
0000114c: PUSH8 0xffffffffffffffff
00001155: DUP2
00001156: GT
00001157: ISZERO
00001158: PUSH2 0x115f
0000115b: JUMPI
0000115c: DUP6
0000115d: DUP7
0000115e: REVERT
0000115f: JUMPDEST
00001160: PUSH2 0x116b
00001163: DUP13
00001164: DUP3
00001165: DUP14
00001166: ADD
00001167: PUSH2 0x0f58
0000116a: JUMP
0000116b: JUMPDEST
0000116c: SWAP8
0000116d: POP
0000116e: POP
0000116f: PUSH1 0x60
00001171: DUP11
00001172: ADD
00001173: CALLDATALOAD
00001174: SWAP6
00001175: POP
00001176: PUSH1 0x80
00001178: DUP11
00001179: ADD
0000117a: CALLDATALOAD
0000117b: SWAP5
0000117c: POP
0000117d: DUP11
0000117e: PUSH1 0xbf
00001180: DUP12
00001181: ADD
00001182: SLT
00001183: PUSH2 0x118a
00001186: JUMPI
00001187: DUP4
00001188: DUP5
00001189: REVERT
0000118a: JUMPDEST
0000118b: PUSH2 0x1192
0000118e: PUSH2 0x1526
00001191: JUMP
00001192: JUMPDEST
00001193: DUP1
00001194: PUSH1 0xa0
00001196: DUP13
00001197: ADD
00001198: PUSH1 0xe0
0000119a: DUP14
0000119b: ADD
0000119c: DUP15
0000119d: DUP2
0000119e: GT
0000119f: ISZERO
000011a0: PUSH2 0x11a7
000011a3: JUMPI
000011a4: DUP8
000011a5: DUP9
000011a6: REVERT
000011a7: JUMPDEST
000011a8: DUP8
000011a9: JUMPDEST
000011aa: PUSH1 0x02
000011ac: DUP2
000011ad: LT
000011ae: ISZERO
000011af: PUSH2 0x11c6
000011b2: JUMPI
000011b3: DUP3
000011b4: CALLDATALOAD
000011b5: DUP6
000011b6: MSTORE
000011b7: SWAP4
000011b8: DUP6
000011b9: ADD
000011ba: SWAP4
000011bb: SWAP2
000011bc: DUP6
000011bd: ADD
000011be: SWAP2
000011bf: PUSH1 0x01
000011c1: ADD
000011c2: PUSH2 0x11a9
000011c5: JUMP
000011c6: JUMPDEST
000011c7: POP
000011c8: SWAP2
000011c9: SWAP7
000011ca: POP
000011cb: POP
000011cc: CALLDATALOAD
000011cd: SWAP4
000011ce: POP
000011cf: PUSH2 0x11e0
000011d2: SWAP2
000011d3: POP
000011d4: DUP12
000011d5: SWAP1
000011d6: POP
000011d7: PUSH2 0x0100
000011da: DUP12
000011db: ADD
000011dc: PUSH2 0x0fcf
000011df: JUMP
000011e0: JUMPDEST
000011e1: SWAP1
000011e2: POP
000011e3: SWAP3
000011e4: SWAP6
000011e5: SWAP9
000011e6: POP
000011e7: SWAP3
000011e8: SWAP6
000011e9: SWAP9
000011ea: SWAP1
000011eb: SWAP4
000011ec: SWAP7
000011ed: POP
000011ee: JUMP
000011ef: JUMPDEST
000011f0: PUSH1 0x00
000011f2: DUP1
000011f3: PUSH1 0x40
000011f5: DUP4
000011f6: DUP6
000011f7: SUB
000011f8: SLT
000011f9: ISZERO
000011fa: PUSH2 0x1201
000011fd: JUMPI
000011fe: DUP2
000011ff: DUP3
00001200: REVERT
00001201: JUMPDEST
00001202: DUP3
00001203: CALLDATALOAD
00001204: PUSH2 0x120c
00001207: DUP2
00001208: PUSH2 0x1656
0000120b: JUMP
0000120c: JUMPDEST
0000120d: SWAP2
0000120e: POP
0000120f: PUSH1 0x20
00001211: DUP4
00001212: ADD
00001213: CALLDATALOAD
00001214: PUSH8 0xffffffffffffffff
0000121d: DUP2
0000121e: GT
0000121f: ISZERO
00001220: PUSH2 0x1227
00001223: JUMPI
00001224: DUP2
00001225: DUP3
00001226: REVERT
00001227: JUMPDEST
00001228: PUSH2 0x1233
0000122b: DUP6
0000122c: DUP3
0000122d: DUP7
0000122e: ADD
0000122f: PUSH2 0x0fe1
00001232: JUMP
00001233: JUMPDEST
00001234: SWAP2
00001235: POP
00001236: POP
00001237: SWAP3
00001238: POP
00001239: SWAP3
0000123a: SWAP1
0000123b: POP
0000123c: JUMP
0000123d: JUMPDEST
0000123e: PUSH1 0x00
00001240: DUP1
00001241: PUSH1 0x40
00001243: DUP4
00001244: DUP6
00001245: SUB
00001246: SLT
00001247: ISZERO
00001248: PUSH2 0x124f
0000124b: JUMPI
0000124c: DUP2
0000124d: DUP3
0000124e: REVERT
0000124f: JUMPDEST
00001250: DUP3
00001251: CALLDATALOAD
00001252: PUSH2 0x125a
00001255: DUP2
00001256: PUSH2 0x1656
00001259: JUMP
0000125a: JUMPDEST
0000125b: SWAP2
0000125c: POP
0000125d: PUSH1 0x20
0000125f: DUP4
00001260: ADD
00001261: CALLDATALOAD
00001262: PUSH8 0xffffffffffffffff
0000126b: DUP2
0000126c: GT
0000126d: ISZERO
0000126e: PUSH2 0x1275
00001271: JUMPI
00001272: DUP2
00001273: DUP3
00001274: REVERT
00001275: JUMPDEST
00001276: DUP4
00001277: ADD
00001278: PUSH1 0x1f
0000127a: DUP2
0000127b: ADD
0000127c: DUP6
0000127d: SGT
0000127e: PUSH2 0x1285
00001281: JUMPI
00001282: DUP2
00001283: DUP3
00001284: REVERT
00001285: JUMPDEST
00001286: PUSH2 0x1233
00001289: DUP6
0000128a: DUP3
0000128b: CALLDATALOAD
0000128c: PUSH1 0x20
0000128e: DUP5
0000128f: ADD
00001290: PUSH2 0x0f1a
00001293: JUMP
00001294: JUMPDEST
00001295: PUSH1 0x00
00001297: PUSH1 0x20
00001299: DUP3
0000129a: DUP5
0000129b: SUB
0000129c: SLT
0000129d: ISZERO
0000129e: PUSH2 0x12a5
000012a1: JUMPI
000012a2: DUP1
000012a3: DUP2
000012a4: REVERT
000012a5: JUMPDEST
000012a6: POP
000012a7: CALLDATALOAD
000012a8: SWAP2
000012a9: SWAP1
000012aa: POP
000012ab: JUMP
000012ac: JUMPDEST
000012ad: PUSH1 0x00
000012af: DUP1
000012b0: PUSH1 0x40
000012b2: DUP4
000012b3: DUP6
000012b4: SUB
000012b5: SLT
000012b6: ISZERO
000012b7: PUSH2 0x12be
000012ba: JUMPI
000012bb: DUP2
000012bc: DUP3
000012bd: REVERT
000012be: JUMPDEST
000012bf: DUP3
000012c0: CALLDATALOAD
000012c1: SWAP2
000012c2: POP
000012c3: PUSH1 0x20
000012c5: DUP4
000012c6: ADD
000012c7: CALLDATALOAD
000012c8: PUSH8 0xffffffffffffffff
000012d1: DUP2
000012d2: GT
000012d3: ISZERO
000012d4: PUSH2 0x1227
000012d7: JUMPI
000012d8: DUP2
000012d9: DUP3
000012da: REVERT
000012db: JUMPDEST
000012dc: PUSH1 0x00
000012de: PUSH1 0x20
000012e0: DUP3
000012e1: DUP5
000012e2: SUB
000012e3: SLT
000012e4: ISZERO
000012e5: PUSH2 0x12ec
000012e8: JUMPI
000012e9: DUP1
000012ea: DUP2
000012eb: REVERT
000012ec: JUMPDEST
000012ed: DUP2
000012ee: CALLDATALOAD
000012ef: PUSH8 0xffffffffffffffff
000012f8: DUP2
000012f9: GT
000012fa: ISZERO
000012fb: PUSH2 0x1302
000012fe: JUMPI
000012ff: DUP2
00001300: DUP3
00001301: REVERT
00001302: JUMPDEST
00001303: PUSH2 0x130e
00001306: DUP5
00001307: DUP3
00001308: DUP6
00001309: ADD
0000130a: PUSH2 0x0fe1
0000130d: JUMP
0000130e: JUMPDEST
0000130f: SWAP5
00001310: SWAP4
00001311: POP
00001312: POP
00001313: POP
00001314: POP
00001315: JUMP
00001316: JUMPDEST
00001317: PUSH1 0x00
00001319: PUSH1 0x20
0000131b: DUP3
0000131c: DUP5
0000131d: SUB
0000131e: SLT
0000131f: ISZERO
00001320: PUSH2 0x1327
00001323: JUMPI
00001324: DUP1
00001325: DUP2
00001326: REVERT
00001327: JUMPDEST
00001328: DUP2
00001329: CALLDATALOAD
0000132a: PUSH1 0x01
0000132c: PUSH1 0x01
0000132e: PUSH1 0x80
00001330: SHL
00001331: SUB
00001332: DUP2
00001333: AND
00001334: DUP2
00001335: EQ
00001336: PUSH2 0x1000
00001339: JUMPI
0000133a: DUP2
0000133b: DUP3
0000133c: REVERT
0000133d: JUMPDEST
0000133e: PUSH1 0x00
00001340: DUP2
00001341: MLOAD
00001342: DUP1
00001343: DUP5
00001344: MSTORE
00001345: PUSH2 0x1355
00001348: DUP2
00001349: PUSH1 0x20
0000134b: DUP7
0000134c: ADD
0000134d: PUSH1 0x20
0000134f: DUP7
00001350: ADD
00001351: PUSH2 0x15fe
00001354: JUMP
00001355: JUMPDEST
00001356: PUSH1 0x1f
00001358: ADD
00001359: PUSH1 0x1f
0000135b: NOT
0000135c: AND
0000135d: SWAP3
0000135e: SWAP1
0000135f: SWAP3
00001360: ADD
00001361: PUSH1 0x20
00001363: ADD
00001364: SWAP3
00001365: SWAP2
00001366: POP
00001367: POP
00001368: JUMP
00001369: JUMPDEST
0000136a: DUP1
0000136b: SLOAD
0000136c: PUSH1 0x00
0000136e: SWAP1
0000136f: PUSH1 0x01
00001371: DUP2
00001372: DUP2
00001373: SHR
00001374: SWAP1
00001375: DUP1
00001376: DUP4
00001377: AND
00001378: DUP1
00001379: PUSH2 0x1383
0000137c: JUMPI
0000137d: PUSH1 0x7f
0000137f: DUP4
00001380: AND
00001381: SWAP3
00001382: POP
00001383: JUMPDEST
00001384: PUSH1 0x20
00001386: DUP1
00001387: DUP5
00001388: LT
00001389: DUP3
0000138a: EQ
0000138b: ISZERO
0000138c: PUSH2 0x13a3
0000138f: JUMPI
00001390: PUSH4 0x4e487b71
00001395: PUSH1 0xe0
00001397: SHL
00001398: DUP7
00001399: MSTORE
0000139a: PUSH1 0x22
0000139c: PUSH1 0x04
0000139e: MSTORE
0000139f: PUSH1 0x24
000013a1: DUP7
000013a2: REVERT
000013a3: JUMPDEST
000013a4: DUP2
000013a5: DUP1
000013a6: ISZERO
000013a7: PUSH2 0x13b7
000013aa: JUMPI
000013ab: PUSH1 0x01
000013ad: DUP2
000013ae: EQ
000013af: PUSH2 0x13c8
000013b2: JUMPI
000013b3: PUSH2 0x13f5
000013b6: JUMP
000013b7: JUMPDEST
000013b8: PUSH1 0xff
000013ba: NOT
000013bb: DUP7
000013bc: AND
000013bd: DUP10
000013be: MSTORE
000013bf: DUP5
000013c0: DUP10
000013c1: ADD
000013c2: SWAP7
000013c3: POP
000013c4: PUSH2 0x13f5
000013c7: JUMP
000013c8: JUMPDEST
000013c9: PUSH1 0x00
000013cb: DUP9
000013cc: DUP2
000013cd: MSTORE
000013ce: PUSH1 0x20
000013d0: SWAP1
000013d1: KECCAK256
000013d2: PUSH1 0x00
000013d4: JUMPDEST
000013d5: DUP7
000013d6: DUP2
000013d7: LT
000013d8: ISZERO
000013d9: PUSH2 0x13ed
000013dc: JUMPI
000013dd: DUP2
000013de: SLOAD
000013df: DUP12
000013e0: DUP3
000013e1: ADD
000013e2: MSTORE
000013e3: SWAP1
000013e4: DUP6
000013e5: ADD
000013e6: SWAP1
000013e7: DUP4
000013e8: ADD
000013e9: PUSH2 0x13d4
000013ec: JUMP
000013ed: JUMPDEST
000013ee: POP
000013ef: POP
000013f0: DUP5
000013f1: DUP10
000013f2: ADD
000013f3: SWAP7
000013f4: POP
000013f5: JUMPDEST
000013f6: POP
000013f7: POP
000013f8: POP
000013f9: POP
000013fa: POP
000013fb: POP
000013fc: SWAP3
000013fd: SWAP2
000013fe: POP
000013ff: POP
00001400: JUMP
00001401: JUMPDEST
00001402: PUSH1 0x00
00001404: PUSH2 0x140d
00001407: DUP3
00001408: DUP6
00001409: PUSH2 0x1369
0000140c: JUMP
0000140d: JUMPDEST
0000140e: PUSH1 0x60
00001410: SWAP4
00001411: SWAP1
00001412: SWAP4
00001413: SHL
00001414: PUSH12 0xffffffffffffffffffffffff
00001421: NOT
00001422: AND
00001423: DUP4
00001424: MSTORE
00001425: POP
00001426: POP
00001427: PUSH1 0x14
00001429: ADD
0000142a: SWAP2
0000142b: SWAP1
0000142c: POP
0000142d: JUMP
0000142e: JUMPDEST
0000142f: PUSH1 0x00
00001431: PUSH2 0x143a
00001434: DUP3
00001435: DUP7
00001436: PUSH2 0x1369
00001439: JUMP
0000143a: JUMPDEST
0000143b: PUSH12 0xffffffffffffffffffffffff
00001448: NOT
00001449: DUP6
0000144a: PUSH1 0x60
0000144c: SHL
0000144d: AND
0000144e: DUP2
0000144f: MSTORE
00001450: DUP4
00001451: MLOAD
00001452: PUSH2 0x1462
00001455: DUP2
00001456: PUSH1 0x14
00001458: DUP5
00001459: ADD
0000145a: PUSH1 0x20
0000145c: DUP9
0000145d: ADD
0000145e: PUSH2 0x15fe
00001461: JUMP
00001462: JUMPDEST
00001463: ADD
00001464: PUSH1 0x14
00001466: ADD
00001467: SWAP6
00001468: SWAP5
00001469: POP
0000146a: POP
0000146b: POP
0000146c: POP
0000146d: POP
0000146e: JUMP
0000146f: JUMPDEST
00001470: PUSH1 0x01
00001472: PUSH1 0x01
00001474: PUSH1 0xa0
00001476: SHL
00001477: SUB
00001478: DUP4
00001479: AND
0000147a: DUP2
0000147b: MSTORE
0000147c: PUSH1 0x40
0000147e: PUSH1 0x20
00001480: DUP3
00001481: ADD
00001482: DUP2
00001483: SWAP1
00001484: MSTORE
00001485: PUSH1 0x00
00001487: SWAP1
00001488: PUSH2 0x130e
0000148b: SWAP1
0000148c: DUP4
0000148d: ADD
0000148e: DUP5
0000148f: PUSH2 0x133d
00001492: JUMP
00001493: JUMPDEST
00001494: PUSH1 0x20
00001496: DUP1
00001497: DUP3
00001498: MSTORE
00001499: DUP3
0000149a: MLOAD
0000149b: DUP3
0000149c: DUP3
0000149d: ADD
0000149e: DUP2
0000149f: SWAP1
000014a0: MSTORE
000014a1: PUSH1 0x00
000014a3: SWAP2
000014a4: SWAP1
000014a5: DUP5
000014a6: DUP3
000014a7: ADD
000014a8: SWAP1
000014a9: PUSH1 0x40
000014ab: DUP6
000014ac: ADD
000014ad: SWAP1
000014ae: DUP5
000014af: JUMPDEST
000014b0: DUP2
000014b1: DUP2
000014b2: LT
000014b3: ISZERO
000014b4: PUSH2 0x14cb
000014b7: JUMPI
000014b8: DUP4
000014b9: MLOAD
000014ba: DUP4
000014bb: MSTORE
000014bc: SWAP3
000014bd: DUP5
000014be: ADD
000014bf: SWAP3
000014c0: SWAP2
000014c1: DUP5
000014c2: ADD
000014c3: SWAP2
000014c4: PUSH1 0x01
000014c6: ADD
000014c7: PUSH2 0x14af
000014ca: JUMP
000014cb: JUMPDEST
000014cc: POP
000014cd: SWAP1
000014ce: SWAP7
000014cf: SWAP6
000014d0: POP
000014d1: POP
000014d2: POP
000014d3: POP
000014d4: POP
000014d5: POP
000014d6: JUMP
000014d7: JUMPDEST
000014d8: PUSH1 0x20
000014da: DUP2
000014db: MSTORE
000014dc: PUSH1 0x00
000014de: PUSH2 0x1000
000014e1: PUSH1 0x20
000014e3: DUP4
000014e4: ADD
000014e5: DUP5
000014e6: PUSH2 0x133d
000014e9: JUMP
000014ea: JUMPDEST
000014eb: PUSH1 0x00
000014ed: PUSH2 0x01a0
000014f0: DUP3
000014f1: ADD
000014f2: SWAP1
000014f3: POP
000014f4: DUP8
000014f5: DUP3
000014f6: MSTORE
000014f7: DUP7
000014f8: PUSH1 0x20
000014fa: DUP4
000014fb: ADD
000014fc: MSTORE
000014fd: DUP6
000014fe: PUSH1 0x40
00001500: DUP4
00001501: ADD
00001502: MSTORE
00001503: DUP5
00001504: PUSH1 0x60
00001506: DUP4
00001507: ADD
00001508: MSTORE
00001509: DUP4
0000150a: PUSH1 0x80
0000150c: DUP4
0000150d: ADD
0000150e: MSTORE
0000150f: PUSH2 0x0100
00001512: DUP4
00001513: PUSH1 0xa0
00001515: DUP5
00001516: ADD
00001517: CALLDATACOPY
00001518: PUSH1 0x00
0000151a: DUP2
0000151b: MSTORE
0000151c: SWAP8
0000151d: SWAP7
0000151e: POP
0000151f: POP
00001520: POP
00001521: POP
00001522: POP
00001523: POP
00001524: POP
00001525: JUMP
00001526: JUMPDEST
00001527: PUSH1 0x40
00001529: DUP1
0000152a: MLOAD
0000152b: SWAP1
0000152c: DUP2
0000152d: ADD
0000152e: PUSH8 0xffffffffffffffff
00001537: DUP2
00001538: GT
00001539: DUP3
0000153a: DUP3
0000153b: LT
0000153c: OR
0000153d: ISZERO
0000153e: PUSH2 0x1549
00001541: JUMPI
00001542: PUSH2 0x1549
00001545: PUSH2 0x1640
00001548: JUMP
00001549: JUMPDEST
0000154a: PUSH1 0x40
0000154c: MSTORE
0000154d: SWAP1
0000154e: JUMP
0000154f: JUMPDEST
00001550: PUSH1 0x40
00001552: MLOAD
00001553: PUSH1 0x1f
00001555: DUP3
00001556: ADD
00001557: PUSH1 0x1f
00001559: NOT
0000155a: AND
0000155b: DUP2
0000155c: ADD
0000155d: PUSH8 0xffffffffffffffff
00001566: DUP2
00001567: GT
00001568: DUP3
00001569: DUP3
0000156a: LT
0000156b: OR
0000156c: ISZERO
0000156d: PUSH2 0x1578
00001570: JUMPI
00001571: PUSH2 0x1578
00001574: PUSH2 0x1640
00001577: JUMP
00001578: JUMPDEST
00001579: PUSH1 0x40
0000157b: MSTORE
0000157c: SWAP2
0000157d: SWAP1
0000157e: POP
0000157f: JUMP
00001580: JUMPDEST
00001581: PUSH1 0x00
00001583: PUSH8 0xffffffffffffffff
0000158c: DUP3
0000158d: GT
0000158e: ISZERO
0000158f: PUSH2 0x159a
00001592: JUMPI
00001593: PUSH2 0x159a
00001596: PUSH2 0x1640
00001599: JUMP
0000159a: JUMPDEST
0000159b: POP
0000159c: PUSH1 0x1f
0000159e: ADD
0000159f: PUSH1 0x1f
000015a1: NOT
000015a2: AND
000015a3: PUSH1 0x20
000015a5: ADD
000015a6: SWAP1
000015a7: JUMP
000015a8: JUMPDEST
000015a9: PUSH1 0x00
000015ab: DUP3
000015ac: PUSH2 0x15c3
000015af: JUMPI
000015b0: PUSH4 0x4e487b71
000015b5: PUSH1 0xe0
000015b7: SHL
000015b8: DUP2
000015b9: MSTORE
000015ba: PUSH1 0x12
000015bc: PUSH1 0x04
000015be: MSTORE
000015bf: PUSH1 0x24
000015c1: DUP2
000015c2: REVERT
000015c3: JUMPDEST
000015c4: POP
000015c5: DIV
000015c6: SWAP1
000015c7: JUMP
000015c8: JUMPDEST
000015c9: PUSH1 0x00
000015cb: DUP2
000015cc: PUSH1 0x00
000015ce: NOT
000015cf: DIV
000015d0: DUP4
000015d1: GT
000015d2: DUP3
000015d3: ISZERO
000015d4: ISZERO
000015d5: AND
000015d6: ISZERO
000015d7: PUSH2 0x15e2
000015da: JUMPI
000015db: PUSH2 0x15e2
000015de: PUSH2 0x162a
000015e1: JUMP
000015e2: JUMPDEST
000015e3: POP
000015e4: MUL
000015e5: SWAP1
000015e6: JUMP
000015e7: JUMPDEST
000015e8: PUSH1 0x00
000015ea: DUP3
000015eb: DUP3
000015ec: LT
000015ed: ISZERO
000015ee: PUSH2 0x15f9
000015f1: JUMPI
000015f2: PUSH2 0x15f9
000015f5: PUSH2 0x162a
000015f8: JUMP
000015f9: JUMPDEST
000015fa: POP
000015fb: SUB
000015fc: SWAP1
000015fd: JUMP
000015fe: JUMPDEST
000015ff: PUSH1 0x00
00001601: JUMPDEST
00001602: DUP4
00001603: DUP2
00001604: LT
00001605: ISZERO
00001606: PUSH2 0x1619
00001609: JUMPI
0000160a: DUP2
0000160b: DUP2
0000160c: ADD
0000160d: MLOAD
0000160e: DUP4
0000160f: DUP3
00001610: ADD
00001611: MSTORE
00001612: PUSH1 0x20
00001614: ADD
00001615: PUSH2 0x1601
00001618: JUMP
00001619: JUMPDEST
0000161a: DUP4
0000161b: DUP2
0000161c: GT
0000161d: ISZERO
0000161e: PUSH2 0x0c18
00001621: JUMPI
00001622: POP
00001623: POP
00001624: PUSH1 0x00
00001626: SWAP2
00001627: ADD
00001628: MSTORE
00001629: JUMP
0000162a: JUMPDEST
0000162b: PUSH4 0x4e487b71
00001630: PUSH1 0xe0
00001632: SHL
00001633: PUSH1 0x00
00001635: MSTORE
00001636: PUSH1 0x11
00001638: PUSH1 0x04
0000163a: MSTORE
0000163b: PUSH1 0x24
0000163d: PUSH1 0x00
0000163f: REVERT
00001640: JUMPDEST
00001641: PUSH4 0x4e487b71
00001646: PUSH1 0xe0
00001648: SHL
00001649: PUSH1 0x00
0000164b: MSTORE
0000164c: PUSH1 0x41
0000164e: PUSH1 0x04
00001650: MSTORE
00001651: PUSH1 0x24
00001653: PUSH1 0x00
00001655: REVERT
00001656: JUMPDEST
00001657: PUSH1 0x01
00001659: PUSH1 0x01
0000165b: PUSH1 0xa0
0000165d: SHL
0000165e: SUB
0000165f: DUP2
00001660: AND
00001661: DUP2
00001662: EQ
00001663: PUSH2 0x166b
00001666: JUMPI
00001667: PUSH1 0x00
00001669: DUP1
0000166a: REVERT
0000166b: JUMPDEST
0000166c: POP
0000166d: JUMP
0000166e: INVALID
0000166f: LOG2
00001670: PUSH5 0x6970667358
00001676: UNKNOWN(0x22)
00001677: SLT
00001678: KECCAK256
00001679: UNKNOWN(0xF6)
0000167a: INVALID
0000167b: PUSH11 0xc3d6b8f09ded9dabaa64e8
00001687: PUSH10 0x9110d8c6ea49b8af0551
00001692: SWAP2
00001693: SUB
00001694: COINBASE
00001695: MOD
00001696: DUP5
00001697: SAR
00001698: UNKNOWN(0xDE)
00001699: PUSH5 0x736f6c6343
0000169f: STOP
000016a0: ADDMOD
000016a1: DIV
000016a2: STOP
000016a3: CALLER
Findings

validated = confirmed for call sinks; sink observed for others
Severity	Category	Tool	Title	Confidence	Validated	Confirmed	Details
medium	other	detector	Untrusted CALL target/value reachable	45	no	no	view trace_id: 0xec2df407db8458e0b776bbc944843edb8f88e1b9f71e10bab6d411fd39c20d69 call_targets: 0x286bde5214ffb0847e31fb0e4f9909dc4b3fe540 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xec2df407db8458e0b776bbc944843edb8f88e1b9f71e10bab6d411fd39c20d69", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x286bde5214ffb0847e31fb0e4f9909dc4b3fe540" ], "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": "0xc33c0ef9", "selector": "0xc33c0ef9", "calldata_variants": [ "0xc33c0ef9", "0xc33c0ef90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc41a360a", "selector": "0xc41a360a", "calldata_variants": [ "0xc41a360a", "0xc41a360a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe5c5e9a3", "selector": "0xe5c5e9a3", "calldata_variants": [ "0xe5c5e9a3", "0xe5c5e9a30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf1ea66d4", "selector": "0xf1ea66d4", "calldata_variants": [ "0xf1ea66d4", "0xf1ea66d40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf302537b", "selector": "0xf302537b", "calldata_variants": [ "0xf302537b", "0xf302537b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8e4241ed", "selector": "0x8e4241ed", "calldata_variants": [ "0x8e4241ed", "0x8e4241ed0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x940d169c", "selector": "0x940d169c", "calldata_variants": [ "0x940d169c", "0x940d169c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9619d3e9", "selector": "0x9619d3e9", "calldata_variants": [ "0x9619d3e9", "0x9619d3e90000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1625, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1723, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1799, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "call_count": 6, "guards_detected": [ { "pc": 2996, "type": "msg_sender_eq_const", "value": 1.3776771239738366e+48 } ], "untrusted_call_count": 6 }
medium	other	detector	ETH value transfer possible	40	no	no	view trace_id: 0xec2df407db8458e0b776bbc944843edb8f88e1b9f71e10bab6d411fd39c20d69 call_targets: 0x286bde5214ffb0847e31fb0e4f9909dc4b3fe540 target_varies: no classification: constant_target validation_json { "sink": "CALL", "errors": 0, "status": "sink_reached", "attempts": 1, "trace_id": "0xec2df407db8458e0b776bbc944843edb8f88e1b9f71e10bab6d411fd39c20d69", "confirmed": false, "trace_mode": "callTracer", "call_targets": [ "0x286bde5214ffb0847e31fb0e4f9909dc4b3fe540" ], "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": "0xc33c0ef9", "selector": "0xc33c0ef9", "calldata_variants": [ "0xc33c0ef9", "0xc33c0ef90000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xc41a360a", "selector": "0xc41a360a", "calldata_variants": [ "0xc41a360a", "0xc41a360a0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xe5c5e9a3", "selector": "0xe5c5e9a3", "calldata_variants": [ "0xe5c5e9a3", "0xe5c5e9a30000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf1ea66d4", "selector": "0xf1ea66d4", "calldata_variants": [ "0xf1ea66d4", "0xf1ea66d40000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0xf302537b", "selector": "0xf302537b", "calldata_variants": [ "0xf302537b", "0xf302537b0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x8e4241ed", "selector": "0x8e4241ed", "calldata_variants": [ "0x8e4241ed", "0x8e4241ed0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x940d169c", "selector": "0x940d169c", "calldata_variants": [ "0x940d169c", "0x940d169c0000000000000000000000000000000000000000000000000000000000000000" ] }, { "calldata": "0x9619d3e9", "selector": "0x9619d3e9", "calldata_variants": [ "0x9619d3e9", "0x9619d3e90000000000000000000000000000000000000000000000000000000000000000" ] } ] } evidence_json { "examples": [ { "pc": 1625, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1723, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" }, { "pc": 1799, "opcode": "CALL", "returndata_checked": null, "value_expression_category": "computed", "target_expression_category": "computed" } ], "eth_value_calls": 6, "guards_detected": [ { "pc": 2996, "type": "msg_sender_eq_const", "value": 1.3776771239738366e+48 } ] }
Severity