TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

019b3844-941b-72b4-906f-143198ddbabd

complete
Chain ID
1
Address
0x1ad8b48c4ebe5a6c1573fd6f3b8222704f848f2b
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
13147 artifact.fetch complete 1 / 3 3 months ago
13148 tool.cast_disasm complete 1 / 3 3 months ago
111702 analysis.bundle complete 1 / 3 1 week ago
111703 capability.graph complete 1 / 3 1 week ago
111704 detector.run complete 1 / 3 1 week ago
111705 validation.fork complete 1 / 3 1 week ago

Artifact

Runtime bytecode: available
Creation TX: —
Deployer: —
Proxy: no
Implementation:
—
Verified Source: no

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
1
CREATE2
0
CALL-family (heavy)
4
EXT*/BALANCE
3
Total opcodes
2769
Flags
selfdestruct_present
View cast disassembly output 
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x011d
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
0000002e: SWAP1
0000002f: DIV
00000030: PUSH4 0xffffffff
00000035: AND
00000036: DUP1
00000037: PUSH4 0x3f4ba83a
0000003c: EQ
0000003d: PUSH2 0x0122
00000040: JUMPI
00000041: DUP1
00000042: PUSH4 0x41c0e1b5
00000047: EQ
00000048: PUSH2 0x0139
0000004b: JUMPI
0000004c: DUP1
0000004d: PUSH4 0x46fbf68e
00000052: EQ
00000053: PUSH2 0x0150
00000056: JUMPI
00000057: DUP1
00000058: PUSH4 0x4a8f8570
0000005d: EQ
0000005e: PUSH2 0x01b9
00000061: JUMPI
00000062: DUP1
00000063: PUSH4 0x5c975abb
00000068: EQ
00000069: PUSH2 0x01e4
0000006c: JUMPI
0000006d: DUP1
0000006e: PUSH4 0x662fa38f
00000073: EQ
00000074: PUSH2 0x0213
00000077: JUMPI
00000078: DUP1
00000079: PUSH4 0x6ef8d66d
0000007e: EQ
0000007f: PUSH2 0x025a
00000082: JUMPI
00000083: DUP1
00000084: PUSH4 0x715018a6
00000089: EQ
0000008a: PUSH2 0x0271
0000008d: JUMPI
0000008e: DUP1
0000008f: PUSH4 0x7362377b
00000094: EQ
00000095: PUSH2 0x0288
00000098: JUMPI
00000099: DUP1
0000009a: PUSH4 0x76393f91
0000009f: EQ
000000a0: PUSH2 0x029f
000000a3: JUMPI
000000a4: DUP1
000000a5: PUSH4 0x811e539c
000000aa: EQ
000000ab: PUSH2 0x02da
000000ae: JUMPI
000000af: DUP1
000000b0: PUSH4 0x82dc1ec4
000000b5: EQ
000000b6: PUSH2 0x0319
000000b9: JUMPI
000000ba: DUP1
000000bb: PUSH4 0x8456cb59
000000c0: EQ
000000c1: PUSH2 0x036a
000000c4: JUMPI
000000c5: DUP1
000000c6: PUSH4 0x89476069
000000cb: EQ
000000cc: PUSH2 0x0381
000000cf: JUMPI
000000d0: DUP1
000000d1: PUSH4 0x89702850
000000d6: EQ
000000d7: PUSH2 0x03d2
000000da: JUMPI
000000db: DUP1
000000dc: PUSH4 0x8da5cb5b
000000e1: EQ
000000e2: PUSH2 0x0425
000000e5: JUMPI
000000e6: DUP1
000000e7: PUSH4 0x8f32d59b
000000ec: EQ
000000ed: PUSH2 0x047c
000000f0: JUMPI
000000f1: DUP1
000000f2: PUSH4 0xb8253b42
000000f7: EQ
000000f8: PUSH2 0x04ab
000000fb: JUMPI
000000fc: DUP1
000000fd: PUSH4 0xca2b8b14
00000102: EQ
00000103: PUSH2 0x04fd
00000106: JUMPI
00000107: DUP1
00000108: PUSH4 0xe2914b87
0000010d: EQ
0000010e: PUSH2 0x0559
00000111: JUMPI
00000112: DUP1
00000113: PUSH4 0xf2fde38b
00000118: EQ
00000119: PUSH2 0x05ae
0000011c: JUMPI
0000011d: JUMPDEST
0000011e: PUSH1 0x00
00000120: DUP1
00000121: REVERT
00000122: JUMPDEST
00000123: CALLVALUE
00000124: DUP1
00000125: ISZERO
00000126: PUSH2 0x012e
00000129: JUMPI
0000012a: PUSH1 0x00
0000012c: DUP1
0000012d: REVERT
0000012e: JUMPDEST
0000012f: POP
00000130: PUSH2 0x0137
00000133: PUSH2 0x05ff
00000136: JUMP
00000137: JUMPDEST
00000138: STOP
00000139: JUMPDEST
0000013a: CALLVALUE
0000013b: DUP1
0000013c: ISZERO
0000013d: PUSH2 0x0145
00000140: JUMPI
00000141: PUSH1 0x00
00000143: DUP1
00000144: REVERT
00000145: JUMPDEST
00000146: POP
00000147: PUSH2 0x014e
0000014a: PUSH2 0x06ae
0000014d: JUMP
0000014e: JUMPDEST
0000014f: STOP
00000150: JUMPDEST
00000151: CALLVALUE
00000152: DUP1
00000153: ISZERO
00000154: PUSH2 0x015c
00000157: JUMPI
00000158: PUSH1 0x00
0000015a: DUP1
0000015b: REVERT
0000015c: JUMPDEST
0000015d: POP
0000015e: PUSH2 0x019f
00000161: PUSH1 0x04
00000163: DUP1
00000164: CALLDATASIZE
00000165: SUB
00000166: PUSH1 0x20
00000168: DUP2
00000169: LT
0000016a: ISZERO
0000016b: PUSH2 0x0173
0000016e: JUMPI
0000016f: PUSH1 0x00
00000171: DUP1
00000172: REVERT
00000173: JUMPDEST
00000174: DUP2
00000175: ADD
00000176: SWAP1
00000177: DUP1
00000178: DUP1
00000179: CALLDATALOAD
0000017a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000018f: AND
00000190: SWAP1
00000191: PUSH1 0x20
00000193: ADD
00000194: SWAP1
00000195: SWAP3
00000196: SWAP2
00000197: SWAP1
00000198: POP
00000199: POP
0000019a: POP
0000019b: PUSH2 0x06da
0000019e: JUMP
0000019f: JUMPDEST
000001a0: PUSH1 0x40
000001a2: MLOAD
000001a3: DUP1
000001a4: DUP3
000001a5: ISZERO
000001a6: ISZERO
000001a7: ISZERO
000001a8: ISZERO
000001a9: DUP2
000001aa: MSTORE
000001ab: PUSH1 0x20
000001ad: ADD
000001ae: SWAP2
000001af: POP
000001b0: POP
000001b1: PUSH1 0x40
000001b3: MLOAD
000001b4: DUP1
000001b5: SWAP2
000001b6: SUB
000001b7: SWAP1
000001b8: RETURN
000001b9: JUMPDEST
000001ba: CALLVALUE
000001bb: DUP1
000001bc: ISZERO
000001bd: PUSH2 0x01c5
000001c0: JUMPI
000001c1: PUSH1 0x00
000001c3: DUP1
000001c4: REVERT
000001c5: JUMPDEST
000001c6: POP
000001c7: PUSH2 0x01ce
000001ca: PUSH2 0x06f7
000001cd: JUMP
000001ce: JUMPDEST
000001cf: PUSH1 0x40
000001d1: MLOAD
000001d2: DUP1
000001d3: DUP3
000001d4: DUP2
000001d5: MSTORE
000001d6: PUSH1 0x20
000001d8: ADD
000001d9: SWAP2
000001da: POP
000001db: POP
000001dc: PUSH1 0x40
000001de: MLOAD
000001df: DUP1
000001e0: SWAP2
000001e1: SUB
000001e2: SWAP1
000001e3: RETURN
000001e4: JUMPDEST
000001e5: CALLVALUE
000001e6: DUP1
000001e7: ISZERO
000001e8: PUSH2 0x01f0
000001eb: JUMPI
000001ec: PUSH1 0x00
000001ee: DUP1
000001ef: REVERT
000001f0: JUMPDEST
000001f1: POP
000001f2: PUSH2 0x01f9
000001f5: PUSH2 0x06fd
000001f8: JUMP
000001f9: JUMPDEST
000001fa: PUSH1 0x40
000001fc: MLOAD
000001fd: DUP1
000001fe: DUP3
000001ff: ISZERO
00000200: ISZERO
00000201: ISZERO
00000202: ISZERO
00000203: DUP2
00000204: MSTORE
00000205: PUSH1 0x20
00000207: ADD
00000208: SWAP2
00000209: POP
0000020a: POP
0000020b: PUSH1 0x40
0000020d: MLOAD
0000020e: DUP1
0000020f: SWAP2
00000210: SUB
00000211: SWAP1
00000212: RETURN
00000213: JUMPDEST
00000214: CALLVALUE
00000215: DUP1
00000216: ISZERO
00000217: PUSH2 0x021f
0000021a: JUMPI
0000021b: PUSH1 0x00
0000021d: DUP1
0000021e: REVERT
0000021f: JUMPDEST
00000220: POP
00000221: PUSH2 0x0258
00000224: PUSH1 0x04
00000226: DUP1
00000227: CALLDATASIZE
00000228: SUB
00000229: PUSH1 0x40
0000022b: DUP2
0000022c: LT
0000022d: ISZERO
0000022e: PUSH2 0x0236
00000231: JUMPI
00000232: PUSH1 0x00
00000234: DUP1
00000235: REVERT
00000236: JUMPDEST
00000237: DUP2
00000238: ADD
00000239: SWAP1
0000023a: DUP1
0000023b: DUP1
0000023c: CALLDATALOAD
0000023d: SWAP1
0000023e: PUSH1 0x20
00000240: ADD
00000241: SWAP1
00000242: SWAP3
00000243: SWAP2
00000244: SWAP1
00000245: DUP1
00000246: CALLDATALOAD
00000247: ISZERO
00000248: ISZERO
00000249: SWAP1
0000024a: PUSH1 0x20
0000024c: ADD
0000024d: SWAP1
0000024e: SWAP3
0000024f: SWAP2
00000250: SWAP1
00000251: POP
00000252: POP
00000253: POP
00000254: PUSH2 0x0714
00000257: JUMP
00000258: JUMPDEST
00000259: STOP
0000025a: JUMPDEST
0000025b: CALLVALUE
0000025c: DUP1
0000025d: ISZERO
0000025e: PUSH2 0x0266
00000261: JUMPI
00000262: PUSH1 0x00
00000264: DUP1
00000265: REVERT
00000266: JUMPDEST
00000267: POP
00000268: PUSH2 0x026f
0000026b: PUSH2 0x0756
0000026e: JUMP
0000026f: JUMPDEST
00000270: STOP
00000271: JUMPDEST
00000272: CALLVALUE
00000273: DUP1
00000274: ISZERO
00000275: PUSH2 0x027d
00000278: JUMPI
00000279: PUSH1 0x00
0000027b: DUP1
0000027c: REVERT
0000027d: JUMPDEST
0000027e: POP
0000027f: PUSH2 0x0286
00000282: PUSH2 0x0761
00000285: JUMP
00000286: JUMPDEST
00000287: STOP
00000288: JUMPDEST
00000289: CALLVALUE
0000028a: DUP1
0000028b: ISZERO
0000028c: PUSH2 0x0294
0000028f: JUMPI
00000290: PUSH1 0x00
00000292: DUP1
00000293: REVERT
00000294: JUMPDEST
00000295: POP
00000296: PUSH2 0x029d
00000299: PUSH2 0x0833
0000029c: JUMP
0000029d: JUMPDEST
0000029e: STOP
0000029f: JUMPDEST
000002a0: CALLVALUE
000002a1: DUP1
000002a2: ISZERO
000002a3: PUSH2 0x02ab
000002a6: JUMPI
000002a7: PUSH1 0x00
000002a9: DUP1
000002aa: REVERT
000002ab: JUMPDEST
000002ac: POP
000002ad: PUSH2 0x02d8
000002b0: PUSH1 0x04
000002b2: DUP1
000002b3: CALLDATASIZE
000002b4: SUB
000002b5: PUSH1 0x20
000002b7: DUP2
000002b8: LT
000002b9: ISZERO
000002ba: PUSH2 0x02c2
000002bd: JUMPI
000002be: PUSH1 0x00
000002c0: DUP1
000002c1: REVERT
000002c2: JUMPDEST
000002c3: DUP2
000002c4: ADD
000002c5: SWAP1
000002c6: DUP1
000002c7: DUP1
000002c8: CALLDATALOAD
000002c9: SWAP1
000002ca: PUSH1 0x20
000002cc: ADD
000002cd: SWAP1
000002ce: SWAP3
000002cf: SWAP2
000002d0: SWAP1
000002d1: POP
000002d2: POP
000002d3: POP
000002d4: PUSH2 0x08a6
000002d7: JUMP
000002d8: JUMPDEST
000002d9: STOP
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 0x02ef
000002eb: PUSH2 0x08fc
000002ee: JUMP
000002ef: JUMPDEST
000002f0: PUSH1 0x40
000002f2: MLOAD
000002f3: DUP1
000002f4: DUP5
000002f5: DUP2
000002f6: MSTORE
000002f7: PUSH1 0x20
000002f9: ADD
000002fa: DUP4
000002fb: DUP2
000002fc: MSTORE
000002fd: PUSH1 0x20
000002ff: ADD
00000300: DUP3
00000301: PUSH1 0xff
00000303: AND
00000304: PUSH1 0xff
00000306: AND
00000307: DUP2
00000308: MSTORE
00000309: PUSH1 0x20
0000030b: ADD
0000030c: SWAP4
0000030d: POP
0000030e: POP
0000030f: POP
00000310: POP
00000311: PUSH1 0x40
00000313: MLOAD
00000314: DUP1
00000315: SWAP2
00000316: SUB
00000317: SWAP1
00000318: RETURN
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 0x0368
0000032a: PUSH1 0x04
0000032c: DUP1
0000032d: CALLDATASIZE
0000032e: SUB
0000032f: PUSH1 0x20
00000331: DUP2
00000332: LT
00000333: ISZERO
00000334: PUSH2 0x033c
00000337: JUMPI
00000338: PUSH1 0x00
0000033a: DUP1
0000033b: REVERT
0000033c: JUMPDEST
0000033d: DUP2
0000033e: ADD
0000033f: SWAP1
00000340: DUP1
00000341: DUP1
00000342: CALLDATALOAD
00000343: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000358: AND
00000359: SWAP1
0000035a: PUSH1 0x20
0000035c: ADD
0000035d: SWAP1
0000035e: SWAP3
0000035f: SWAP2
00000360: SWAP1
00000361: POP
00000362: POP
00000363: POP
00000364: PUSH2 0x0921
00000367: JUMP
00000368: JUMPDEST
00000369: STOP
0000036a: JUMPDEST
0000036b: CALLVALUE
0000036c: DUP1
0000036d: ISZERO
0000036e: PUSH2 0x0376
00000371: JUMPI
00000372: PUSH1 0x00
00000374: DUP1
00000375: REVERT
00000376: JUMPDEST
00000377: POP
00000378: PUSH2 0x037f
0000037b: PUSH2 0x0941
0000037e: JUMP
0000037f: JUMPDEST
00000380: STOP
00000381: JUMPDEST
00000382: CALLVALUE
00000383: DUP1
00000384: ISZERO
00000385: PUSH2 0x038d
00000388: JUMPI
00000389: PUSH1 0x00
0000038b: DUP1
0000038c: REVERT
0000038d: JUMPDEST
0000038e: POP
0000038f: PUSH2 0x03d0
00000392: PUSH1 0x04
00000394: DUP1
00000395: CALLDATASIZE
00000396: SUB
00000397: PUSH1 0x20
00000399: DUP2
0000039a: LT
0000039b: ISZERO
0000039c: PUSH2 0x03a4
0000039f: JUMPI
000003a0: PUSH1 0x00
000003a2: DUP1
000003a3: REVERT
000003a4: JUMPDEST
000003a5: DUP2
000003a6: ADD
000003a7: SWAP1
000003a8: DUP1
000003a9: DUP1
000003aa: CALLDATALOAD
000003ab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000003c0: AND
000003c1: SWAP1
000003c2: PUSH1 0x20
000003c4: ADD
000003c5: SWAP1
000003c6: SWAP3
000003c7: SWAP2
000003c8: SWAP1
000003c9: POP
000003ca: POP
000003cb: POP
000003cc: PUSH2 0x09f1
000003cf: JUMP
000003d0: JUMPDEST
000003d1: STOP
000003d2: JUMPDEST
000003d3: CALLVALUE
000003d4: DUP1
000003d5: ISZERO
000003d6: PUSH2 0x03de
000003d9: JUMPI
000003da: PUSH1 0x00
000003dc: DUP1
000003dd: REVERT
000003de: JUMPDEST
000003df: POP
000003e0: PUSH2 0x040b
000003e3: PUSH1 0x04
000003e5: DUP1
000003e6: CALLDATASIZE
000003e7: SUB
000003e8: PUSH1 0x20
000003ea: DUP2
000003eb: LT
000003ec: ISZERO
000003ed: PUSH2 0x03f5
000003f0: JUMPI
000003f1: PUSH1 0x00
000003f3: DUP1
000003f4: REVERT
000003f5: JUMPDEST
000003f6: DUP2
000003f7: ADD
000003f8: SWAP1
000003f9: DUP1
000003fa: DUP1
000003fb: CALLDATALOAD
000003fc: SWAP1
000003fd: PUSH1 0x20
000003ff: ADD
00000400: SWAP1
00000401: SWAP3
00000402: SWAP2
00000403: SWAP1
00000404: POP
00000405: POP
00000406: POP
00000407: PUSH2 0x0bc3
0000040a: JUMP
0000040b: JUMPDEST
0000040c: PUSH1 0x40
0000040e: MLOAD
0000040f: DUP1
00000410: DUP3
00000411: ISZERO
00000412: ISZERO
00000413: ISZERO
00000414: ISZERO
00000415: DUP2
00000416: MSTORE
00000417: PUSH1 0x20
00000419: ADD
0000041a: SWAP2
0000041b: POP
0000041c: POP
0000041d: PUSH1 0x40
0000041f: MLOAD
00000420: DUP1
00000421: SWAP2
00000422: SUB
00000423: SWAP1
00000424: RETURN
00000425: JUMPDEST
00000426: CALLVALUE
00000427: DUP1
00000428: ISZERO
00000429: PUSH2 0x0431
0000042c: JUMPI
0000042d: PUSH1 0x00
0000042f: DUP1
00000430: REVERT
00000431: JUMPDEST
00000432: POP
00000433: PUSH2 0x043a
00000436: PUSH2 0x0be3
00000439: JUMP
0000043a: JUMPDEST
0000043b: PUSH1 0x40
0000043d: MLOAD
0000043e: DUP1
0000043f: DUP3
00000440: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000455: AND
00000456: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000046b: AND
0000046c: DUP2
0000046d: MSTORE
0000046e: PUSH1 0x20
00000470: ADD
00000471: SWAP2
00000472: POP
00000473: POP
00000474: PUSH1 0x40
00000476: MLOAD
00000477: DUP1
00000478: SWAP2
00000479: SUB
0000047a: SWAP1
0000047b: RETURN
0000047c: JUMPDEST
0000047d: CALLVALUE
0000047e: DUP1
0000047f: ISZERO
00000480: PUSH2 0x0488
00000483: JUMPI
00000484: PUSH1 0x00
00000486: DUP1
00000487: REVERT
00000488: JUMPDEST
00000489: POP
0000048a: PUSH2 0x0491
0000048d: PUSH2 0x0c0c
00000490: JUMP
00000491: JUMPDEST
00000492: PUSH1 0x40
00000494: MLOAD
00000495: DUP1
00000496: DUP3
00000497: ISZERO
00000498: ISZERO
00000499: ISZERO
0000049a: ISZERO
0000049b: DUP2
0000049c: MSTORE
0000049d: PUSH1 0x20
0000049f: ADD
000004a0: SWAP2
000004a1: POP
000004a2: POP
000004a3: PUSH1 0x40
000004a5: MLOAD
000004a6: DUP1
000004a7: SWAP2
000004a8: SUB
000004a9: SWAP1
000004aa: RETURN
000004ab: JUMPDEST
000004ac: CALLVALUE
000004ad: DUP1
000004ae: ISZERO
000004af: PUSH2 0x04b7
000004b2: JUMPI
000004b3: PUSH1 0x00
000004b5: DUP1
000004b6: REVERT
000004b7: JUMPDEST
000004b8: POP
000004b9: PUSH2 0x04fb
000004bc: PUSH1 0x04
000004be: DUP1
000004bf: CALLDATASIZE
000004c0: SUB
000004c1: PUSH1 0x60
000004c3: DUP2
000004c4: LT
000004c5: ISZERO
000004c6: PUSH2 0x04ce
000004c9: JUMPI
000004ca: PUSH1 0x00
000004cc: DUP1
000004cd: REVERT
000004ce: JUMPDEST
000004cf: DUP2
000004d0: ADD
000004d1: SWAP1
000004d2: DUP1
000004d3: DUP1
000004d4: CALLDATALOAD
000004d5: SWAP1
000004d6: PUSH1 0x20
000004d8: ADD
000004d9: SWAP1
000004da: SWAP3
000004db: SWAP2
000004dc: SWAP1
000004dd: DUP1
000004de: CALLDATALOAD
000004df: SWAP1
000004e0: PUSH1 0x20
000004e2: ADD
000004e3: SWAP1
000004e4: SWAP3
000004e5: SWAP2
000004e6: SWAP1
000004e7: DUP1
000004e8: CALLDATALOAD
000004e9: PUSH1 0xff
000004eb: AND
000004ec: SWAP1
000004ed: PUSH1 0x20
000004ef: ADD
000004f0: SWAP1
000004f1: SWAP3
000004f2: SWAP2
000004f3: SWAP1
000004f4: POP
000004f5: POP
000004f6: POP
000004f7: PUSH2 0x0c63
000004fa: JUMP
000004fb: JUMPDEST
000004fc: STOP
000004fd: JUMPDEST
000004fe: PUSH2 0x0557
00000501: PUSH1 0x04
00000503: DUP1
00000504: CALLDATASIZE
00000505: SUB
00000506: PUSH1 0x60
00000508: DUP2
00000509: LT
0000050a: ISZERO
0000050b: PUSH2 0x0513
0000050e: JUMPI
0000050f: PUSH1 0x00
00000511: DUP1
00000512: REVERT
00000513: JUMPDEST
00000514: DUP2
00000515: ADD
00000516: SWAP1
00000517: DUP1
00000518: DUP1
00000519: CALLDATALOAD
0000051a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000052f: AND
00000530: SWAP1
00000531: PUSH1 0x20
00000533: ADD
00000534: SWAP1
00000535: SWAP3
00000536: SWAP2
00000537: SWAP1
00000538: DUP1
00000539: CALLDATALOAD
0000053a: SWAP1
0000053b: PUSH1 0x20
0000053d: ADD
0000053e: SWAP1
0000053f: SWAP3
00000540: SWAP2
00000541: SWAP1
00000542: DUP1
00000543: CALLDATALOAD
00000544: PUSH2 0xffff
00000547: AND
00000548: SWAP1
00000549: PUSH1 0x20
0000054b: ADD
0000054c: SWAP1
0000054d: SWAP3
0000054e: SWAP2
0000054f: SWAP1
00000550: POP
00000551: POP
00000552: POP
00000553: PUSH2 0x0d21
00000556: JUMP
00000557: JUMPDEST
00000558: STOP
00000559: JUMPDEST
0000055a: CALLVALUE
0000055b: DUP1
0000055c: ISZERO
0000055d: PUSH2 0x0565
00000560: JUMPI
00000561: PUSH1 0x00
00000563: DUP1
00000564: REVERT
00000565: JUMPDEST
00000566: POP
00000567: PUSH2 0x0592
0000056a: PUSH1 0x04
0000056c: DUP1
0000056d: CALLDATASIZE
0000056e: SUB
0000056f: PUSH1 0x20
00000571: DUP2
00000572: LT
00000573: ISZERO
00000574: PUSH2 0x057c
00000577: JUMPI
00000578: PUSH1 0x00
0000057a: DUP1
0000057b: REVERT
0000057c: JUMPDEST
0000057d: DUP2
0000057e: ADD
0000057f: SWAP1
00000580: DUP1
00000581: DUP1
00000582: CALLDATALOAD
00000583: SWAP1
00000584: PUSH1 0x20
00000586: ADD
00000587: SWAP1
00000588: SWAP3
00000589: SWAP2
0000058a: SWAP1
0000058b: POP
0000058c: POP
0000058d: POP
0000058e: PUSH2 0x0f2b
00000591: JUMP
00000592: JUMPDEST
00000593: PUSH1 0x40
00000595: MLOAD
00000596: DUP1
00000597: DUP3
00000598: PUSH1 0xff
0000059a: AND
0000059b: PUSH1 0xff
0000059d: AND
0000059e: DUP2
0000059f: MSTORE
000005a0: PUSH1 0x20
000005a2: ADD
000005a3: SWAP2
000005a4: POP
000005a5: POP
000005a6: PUSH1 0x40
000005a8: MLOAD
000005a9: DUP1
000005aa: SWAP2
000005ab: SUB
000005ac: SWAP1
000005ad: RETURN
000005ae: JUMPDEST
000005af: CALLVALUE
000005b0: DUP1
000005b1: ISZERO
000005b2: PUSH2 0x05ba
000005b5: JUMPI
000005b6: PUSH1 0x00
000005b8: DUP1
000005b9: REVERT
000005ba: JUMPDEST
000005bb: POP
000005bc: PUSH2 0x05fd
000005bf: PUSH1 0x04
000005c1: DUP1
000005c2: CALLDATASIZE
000005c3: SUB
000005c4: PUSH1 0x20
000005c6: DUP2
000005c7: LT
000005c8: ISZERO
000005c9: PUSH2 0x05d1
000005cc: JUMPI
000005cd: PUSH1 0x00
000005cf: DUP1
000005d0: REVERT
000005d1: JUMPDEST
000005d2: DUP2
000005d3: ADD
000005d4: SWAP1
000005d5: DUP1
000005d6: DUP1
000005d7: CALLDATALOAD
000005d8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005ed: AND
000005ee: SWAP1
000005ef: PUSH1 0x20
000005f1: ADD
000005f2: SWAP1
000005f3: SWAP3
000005f4: SWAP2
000005f5: SWAP1
000005f6: POP
000005f7: POP
000005f8: POP
000005f9: PUSH2 0x0f74
000005fc: JUMP
000005fd: JUMPDEST
000005fe: STOP
000005ff: JUMPDEST
00000600: PUSH2 0x0608
00000603: CALLER
00000604: PUSH2 0x06da
00000607: JUMP
00000608: JUMPDEST
00000609: ISZERO
0000060a: ISZERO
0000060b: PUSH2 0x0613
0000060e: JUMPI
0000060f: PUSH1 0x00
00000611: DUP1
00000612: REVERT
00000613: JUMPDEST
00000614: PUSH1 0x02
00000616: PUSH1 0x00
00000618: SWAP1
00000619: SLOAD
0000061a: SWAP1
0000061b: PUSH2 0x0100
0000061e: EXP
0000061f: SWAP1
00000620: DIV
00000621: PUSH1 0xff
00000623: AND
00000624: ISZERO
00000625: ISZERO
00000626: PUSH2 0x062e
00000629: JUMPI
0000062a: PUSH1 0x00
0000062c: DUP1
0000062d: REVERT
0000062e: JUMPDEST
0000062f: PUSH1 0x00
00000631: PUSH1 0x02
00000633: PUSH1 0x00
00000635: PUSH2 0x0100
00000638: EXP
00000639: DUP2
0000063a: SLOAD
0000063b: DUP2
0000063c: PUSH1 0xff
0000063e: MUL
0000063f: NOT
00000640: AND
00000641: SWAP1
00000642: DUP4
00000643: ISZERO
00000644: ISZERO
00000645: MUL
00000646: OR
00000647: SWAP1
00000648: SSTORE
00000649: POP
0000064a: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
0000066b: CALLER
0000066c: PUSH1 0x40
0000066e: MLOAD
0000066f: DUP1
00000670: DUP3
00000671: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000686: AND
00000687: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000069c: AND
0000069d: DUP2
0000069e: MSTORE
0000069f: PUSH1 0x20
000006a1: ADD
000006a2: SWAP2
000006a3: POP
000006a4: POP
000006a5: PUSH1 0x40
000006a7: MLOAD
000006a8: DUP1
000006a9: SWAP2
000006aa: SUB
000006ab: SWAP1
000006ac: LOG1
000006ad: JUMP
000006ae: JUMPDEST
000006af: PUSH2 0x06b6
000006b2: PUSH2 0x0c0c
000006b5: JUMP
000006b6: JUMPDEST
000006b7: ISZERO
000006b8: ISZERO
000006b9: PUSH2 0x06c1
000006bc: JUMPI
000006bd: PUSH1 0x00
000006bf: DUP1
000006c0: REVERT
000006c1: JUMPDEST
000006c2: CALLER
000006c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006d8: AND
000006d9: SELFDESTRUCT
000006da: JUMPDEST
000006db: PUSH1 0x00
000006dd: PUSH2 0x06f0
000006e0: DUP3
000006e1: PUSH1 0x01
000006e3: PUSH2 0x0f93
000006e6: SWAP1
000006e7: SWAP2
000006e8: SWAP1
000006e9: PUSH4 0xffffffff
000006ee: AND
000006ef: JUMP
000006f0: JUMPDEST
000006f1: SWAP1
000006f2: POP
000006f3: SWAP2
000006f4: SWAP1
000006f5: POP
000006f6: JUMP
000006f7: JUMPDEST
000006f8: PUSH1 0x08
000006fa: SLOAD
000006fb: DUP2
000006fc: JUMP
000006fd: JUMPDEST
000006fe: PUSH1 0x00
00000700: PUSH1 0x02
00000702: PUSH1 0x00
00000704: SWAP1
00000705: SLOAD
00000706: SWAP1
00000707: PUSH2 0x0100
0000070a: EXP
0000070b: SWAP1
0000070c: DIV
0000070d: PUSH1 0xff
0000070f: AND
00000710: SWAP1
00000711: POP
00000712: SWAP1
00000713: JUMP
00000714: JUMPDEST
00000715: PUSH2 0x071c
00000718: PUSH2 0x0c0c
0000071b: JUMP
0000071c: JUMPDEST
0000071d: ISZERO
0000071e: ISZERO
0000071f: PUSH2 0x0727
00000722: JUMPI
00000723: PUSH1 0x00
00000725: DUP1
00000726: REVERT
00000727: JUMPDEST
00000728: DUP1
00000729: PUSH1 0x07
0000072b: PUSH1 0x00
0000072d: DUP5
0000072e: DUP2
0000072f: MSTORE
00000730: PUSH1 0x20
00000732: ADD
00000733: SWAP1
00000734: DUP2
00000735: MSTORE
00000736: PUSH1 0x20
00000738: ADD
00000739: PUSH1 0x00
0000073b: KECCAK256
0000073c: PUSH1 0x00
0000073e: PUSH2 0x0100
00000741: EXP
00000742: DUP2
00000743: SLOAD
00000744: DUP2
00000745: PUSH1 0xff
00000747: MUL
00000748: NOT
00000749: AND
0000074a: SWAP1
0000074b: DUP4
0000074c: ISZERO
0000074d: ISZERO
0000074e: MUL
0000074f: OR
00000750: SWAP1
00000751: SSTORE
00000752: POP
00000753: POP
00000754: POP
00000755: JUMP
00000756: JUMPDEST
00000757: PUSH2 0x075f
0000075a: CALLER
0000075b: PUSH2 0x1027
0000075e: JUMP
0000075f: JUMPDEST
00000760: JUMP
00000761: JUMPDEST
00000762: PUSH2 0x0769
00000765: PUSH2 0x0c0c
00000768: JUMP
00000769: JUMPDEST
0000076a: ISZERO
0000076b: ISZERO
0000076c: PUSH2 0x0774
0000076f: JUMPI
00000770: PUSH1 0x00
00000772: DUP1
00000773: REVERT
00000774: JUMPDEST
00000775: PUSH1 0x00
00000777: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000078c: AND
0000078d: PUSH1 0x00
0000078f: DUP1
00000790: SWAP1
00000791: SLOAD
00000792: SWAP1
00000793: PUSH2 0x0100
00000796: EXP
00000797: SWAP1
00000798: DIV
00000799: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007ae: AND
000007af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007c4: AND
000007c5: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000007e6: PUSH1 0x40
000007e8: MLOAD
000007e9: PUSH1 0x40
000007eb: MLOAD
000007ec: DUP1
000007ed: SWAP2
000007ee: SUB
000007ef: SWAP1
000007f0: LOG3
000007f1: PUSH1 0x00
000007f3: DUP1
000007f4: PUSH1 0x00
000007f6: PUSH2 0x0100
000007f9: EXP
000007fa: DUP2
000007fb: SLOAD
000007fc: DUP2
000007fd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000812: MUL
00000813: NOT
00000814: AND
00000815: SWAP1
00000816: DUP4
00000817: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000082c: AND
0000082d: MUL
0000082e: OR
0000082f: SWAP1
00000830: SSTORE
00000831: POP
00000832: JUMP
00000833: JUMPDEST
00000834: PUSH2 0x083b
00000837: PUSH2 0x0c0c
0000083a: JUMP
0000083b: JUMPDEST
0000083c: ISZERO
0000083d: ISZERO
0000083e: PUSH2 0x0846
00000841: JUMPI
00000842: PUSH1 0x00
00000844: DUP1
00000845: REVERT
00000846: JUMPDEST
00000847: CALLER
00000848: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000085d: AND
0000085e: PUSH2 0x08fc
00000861: ADDRESS
00000862: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000877: AND
00000878: BALANCE
00000879: SWAP1
0000087a: DUP2
0000087b: ISZERO
0000087c: MUL
0000087d: SWAP1
0000087e: PUSH1 0x40
00000880: MLOAD
00000881: PUSH1 0x00
00000883: PUSH1 0x40
00000885: MLOAD
00000886: DUP1
00000887: DUP4
00000888: SUB
00000889: DUP2
0000088a: DUP6
0000088b: DUP9
0000088c: DUP9
0000088d: CALL
0000088e: SWAP4
0000088f: POP
00000890: POP
00000891: POP
00000892: POP
00000893: ISZERO
00000894: DUP1
00000895: ISZERO
00000896: PUSH2 0x08a3
00000899: JUMPI
0000089a: RETURNDATASIZE
0000089b: PUSH1 0x00
0000089d: DUP1
0000089e: RETURNDATACOPY
0000089f: RETURNDATASIZE
000008a0: PUSH1 0x00
000008a2: REVERT
000008a3: JUMPDEST
000008a4: POP
000008a5: JUMP
000008a6: JUMPDEST
000008a7: PUSH2 0x08ae
000008aa: PUSH2 0x0c0c
000008ad: JUMP
000008ae: JUMPDEST
000008af: ISZERO
000008b0: ISZERO
000008b1: PUSH2 0x08b9
000008b4: JUMPI
000008b5: PUSH1 0x00
000008b7: DUP1
000008b8: REVERT
000008b9: JUMPDEST
000008ba: DUP1
000008bb: PUSH1 0x08
000008bd: DUP2
000008be: SWAP1
000008bf: SSTORE
000008c0: POP
000008c1: PUSH32 0x91b44a7a4ce6e4f9b48fdbde6dac3ab5a404e28ba7b2c91414156c5f7c8e62ed
000008e2: PUSH1 0x08
000008e4: SLOAD
000008e5: PUSH1 0x40
000008e7: MLOAD
000008e8: DUP1
000008e9: DUP3
000008ea: DUP2
000008eb: MSTORE
000008ec: PUSH1 0x20
000008ee: ADD
000008ef: SWAP2
000008f0: POP
000008f1: POP
000008f2: PUSH1 0x40
000008f4: MLOAD
000008f5: DUP1
000008f6: SWAP2
000008f7: SUB
000008f8: SWAP1
000008f9: LOG1
000008fa: POP
000008fb: JUMP
000008fc: JUMPDEST
000008fd: PUSH1 0x04
000008ff: DUP1
00000900: PUSH1 0x00
00000902: ADD
00000903: SLOAD
00000904: SWAP1
00000905: DUP1
00000906: PUSH1 0x01
00000908: ADD
00000909: SLOAD
0000090a: SWAP1
0000090b: DUP1
0000090c: PUSH1 0x02
0000090e: ADD
0000090f: PUSH1 0x00
00000911: SWAP1
00000912: SLOAD
00000913: SWAP1
00000914: PUSH2 0x0100
00000917: EXP
00000918: SWAP1
00000919: DIV
0000091a: PUSH1 0xff
0000091c: AND
0000091d: SWAP1
0000091e: POP
0000091f: DUP4
00000920: JUMP
00000921: JUMPDEST
00000922: PUSH2 0x092a
00000925: CALLER
00000926: PUSH2 0x06da
00000929: JUMP
0000092a: JUMPDEST
0000092b: ISZERO
0000092c: ISZERO
0000092d: PUSH2 0x0935
00000930: JUMPI
00000931: PUSH1 0x00
00000933: DUP1
00000934: REVERT
00000935: JUMPDEST
00000936: PUSH2 0x093e
00000939: DUP2
0000093a: PUSH2 0x1081
0000093d: JUMP
0000093e: JUMPDEST
0000093f: POP
00000940: JUMP
00000941: JUMPDEST
00000942: PUSH2 0x094a
00000945: CALLER
00000946: PUSH2 0x06da
00000949: JUMP
0000094a: JUMPDEST
0000094b: ISZERO
0000094c: ISZERO
0000094d: PUSH2 0x0955
00000950: JUMPI
00000951: PUSH1 0x00
00000953: DUP1
00000954: REVERT
00000955: JUMPDEST
00000956: PUSH1 0x02
00000958: PUSH1 0x00
0000095a: SWAP1
0000095b: SLOAD
0000095c: SWAP1
0000095d: PUSH2 0x0100
00000960: EXP
00000961: SWAP1
00000962: DIV
00000963: PUSH1 0xff
00000965: AND
00000966: ISZERO
00000967: ISZERO
00000968: ISZERO
00000969: PUSH2 0x0971
0000096c: JUMPI
0000096d: PUSH1 0x00
0000096f: DUP1
00000970: REVERT
00000971: JUMPDEST
00000972: PUSH1 0x01
00000974: PUSH1 0x02
00000976: PUSH1 0x00
00000978: PUSH2 0x0100
0000097b: EXP
0000097c: DUP2
0000097d: SLOAD
0000097e: DUP2
0000097f: PUSH1 0xff
00000981: MUL
00000982: NOT
00000983: AND
00000984: SWAP1
00000985: DUP4
00000986: ISZERO
00000987: ISZERO
00000988: MUL
00000989: OR
0000098a: SWAP1
0000098b: SSTORE
0000098c: POP
0000098d: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
000009ae: CALLER
000009af: PUSH1 0x40
000009b1: MLOAD
000009b2: DUP1
000009b3: DUP3
000009b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009c9: AND
000009ca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009df: AND
000009e0: DUP2
000009e1: MSTORE
000009e2: PUSH1 0x20
000009e4: ADD
000009e5: SWAP2
000009e6: POP
000009e7: POP
000009e8: PUSH1 0x40
000009ea: MLOAD
000009eb: DUP1
000009ec: SWAP2
000009ed: SUB
000009ee: SWAP1
000009ef: LOG1
000009f0: JUMP
000009f1: JUMPDEST
000009f2: PUSH2 0x09f9
000009f5: PUSH2 0x0c0c
000009f8: JUMP
000009f9: JUMPDEST
000009fa: ISZERO
000009fb: ISZERO
000009fc: PUSH2 0x0a04
000009ff: JUMPI
00000a00: PUSH1 0x00
00000a02: DUP1
00000a03: REVERT
00000a04: JUMPDEST
00000a05: DUP1
00000a06: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a1b: AND
00000a1c: PUSH4 0xa9059cbb
00000a21: CALLER
00000a22: DUP4
00000a23: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a38: AND
00000a39: PUSH4 0x70a08231
00000a3e: ADDRESS
00000a3f: PUSH1 0x40
00000a41: MLOAD
00000a42: DUP3
00000a43: PUSH4 0xffffffff
00000a48: AND
00000a49: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000a67: MUL
00000a68: DUP2
00000a69: MSTORE
00000a6a: PUSH1 0x04
00000a6c: ADD
00000a6d: DUP1
00000a6e: DUP3
00000a6f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a84: AND
00000a85: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a9a: AND
00000a9b: DUP2
00000a9c: MSTORE
00000a9d: PUSH1 0x20
00000a9f: ADD
00000aa0: SWAP2
00000aa1: POP
00000aa2: POP
00000aa3: PUSH1 0x20
00000aa5: PUSH1 0x40
00000aa7: MLOAD
00000aa8: DUP1
00000aa9: DUP4
00000aaa: SUB
00000aab: DUP2
00000aac: DUP7
00000aad: DUP1
00000aae: EXTCODESIZE
00000aaf: ISZERO
00000ab0: DUP1
00000ab1: ISZERO
00000ab2: PUSH2 0x0aba
00000ab5: JUMPI
00000ab6: PUSH1 0x00
00000ab8: DUP1
00000ab9: REVERT
00000aba: JUMPDEST
00000abb: POP
00000abc: GAS
00000abd: STATICCALL
00000abe: ISZERO
00000abf: DUP1
00000ac0: ISZERO
00000ac1: PUSH2 0x0ace
00000ac4: JUMPI
00000ac5: RETURNDATASIZE
00000ac6: PUSH1 0x00
00000ac8: DUP1
00000ac9: RETURNDATACOPY
00000aca: RETURNDATASIZE
00000acb: PUSH1 0x00
00000acd: REVERT
00000ace: JUMPDEST
00000acf: POP
00000ad0: POP
00000ad1: POP
00000ad2: POP
00000ad3: PUSH1 0x40
00000ad5: MLOAD
00000ad6: RETURNDATASIZE
00000ad7: PUSH1 0x20
00000ad9: DUP2
00000ada: LT
00000adb: ISZERO
00000adc: PUSH2 0x0ae4
00000adf: JUMPI
00000ae0: PUSH1 0x00
00000ae2: DUP1
00000ae3: REVERT
00000ae4: JUMPDEST
00000ae5: DUP2
00000ae6: ADD
00000ae7: SWAP1
00000ae8: DUP1
00000ae9: DUP1
00000aea: MLOAD
00000aeb: SWAP1
00000aec: PUSH1 0x20
00000aee: ADD
00000aef: SWAP1
00000af0: SWAP3
00000af1: SWAP2
00000af2: SWAP1
00000af3: POP
00000af4: POP
00000af5: POP
00000af6: PUSH1 0x40
00000af8: MLOAD
00000af9: DUP4
00000afa: PUSH4 0xffffffff
00000aff: AND
00000b00: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000b1e: MUL
00000b1f: DUP2
00000b20: MSTORE
00000b21: PUSH1 0x04
00000b23: ADD
00000b24: DUP1
00000b25: DUP4
00000b26: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b3b: AND
00000b3c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b51: AND
00000b52: DUP2
00000b53: MSTORE
00000b54: PUSH1 0x20
00000b56: ADD
00000b57: DUP3
00000b58: DUP2
00000b59: MSTORE
00000b5a: PUSH1 0x20
00000b5c: ADD
00000b5d: SWAP3
00000b5e: POP
00000b5f: POP
00000b60: POP
00000b61: PUSH1 0x20
00000b63: PUSH1 0x40
00000b65: MLOAD
00000b66: DUP1
00000b67: DUP4
00000b68: SUB
00000b69: DUP2
00000b6a: PUSH1 0x00
00000b6c: DUP8
00000b6d: DUP1
00000b6e: EXTCODESIZE
00000b6f: ISZERO
00000b70: DUP1
00000b71: ISZERO
00000b72: PUSH2 0x0b7a
00000b75: JUMPI
00000b76: PUSH1 0x00
00000b78: DUP1
00000b79: REVERT
00000b7a: JUMPDEST
00000b7b: POP
00000b7c: GAS
00000b7d: CALL
00000b7e: ISZERO
00000b7f: DUP1
00000b80: ISZERO
00000b81: PUSH2 0x0b8e
00000b84: JUMPI
00000b85: RETURNDATASIZE
00000b86: PUSH1 0x00
00000b88: DUP1
00000b89: RETURNDATACOPY
00000b8a: RETURNDATASIZE
00000b8b: PUSH1 0x00
00000b8d: REVERT
00000b8e: JUMPDEST
00000b8f: POP
00000b90: POP
00000b91: POP
00000b92: POP
00000b93: PUSH1 0x40
00000b95: MLOAD
00000b96: RETURNDATASIZE
00000b97: PUSH1 0x20
00000b99: DUP2
00000b9a: LT
00000b9b: ISZERO
00000b9c: PUSH2 0x0ba4
00000b9f: JUMPI
00000ba0: PUSH1 0x00
00000ba2: DUP1
00000ba3: REVERT
00000ba4: JUMPDEST
00000ba5: DUP2
00000ba6: ADD
00000ba7: SWAP1
00000ba8: DUP1
00000ba9: DUP1
00000baa: MLOAD
00000bab: SWAP1
00000bac: PUSH1 0x20
00000bae: ADD
00000baf: SWAP1
00000bb0: SWAP3
00000bb1: SWAP2
00000bb2: SWAP1
00000bb3: POP
00000bb4: POP
00000bb5: POP
00000bb6: ISZERO
00000bb7: ISZERO
00000bb8: PUSH2 0x0bc0
00000bbb: JUMPI
00000bbc: PUSH1 0x00
00000bbe: DUP1
00000bbf: REVERT
00000bc0: JUMPDEST
00000bc1: POP
00000bc2: JUMP
00000bc3: JUMPDEST
00000bc4: PUSH1 0x07
00000bc6: PUSH1 0x20
00000bc8: MSTORE
00000bc9: DUP1
00000bca: PUSH1 0x00
00000bcc: MSTORE
00000bcd: PUSH1 0x40
00000bcf: PUSH1 0x00
00000bd1: KECCAK256
00000bd2: PUSH1 0x00
00000bd4: SWAP2
00000bd5: POP
00000bd6: SLOAD
00000bd7: SWAP1
00000bd8: PUSH2 0x0100
00000bdb: EXP
00000bdc: SWAP1
00000bdd: DIV
00000bde: PUSH1 0xff
00000be0: AND
00000be1: DUP2
00000be2: JUMP
00000be3: JUMPDEST
00000be4: PUSH1 0x00
00000be6: DUP1
00000be7: PUSH1 0x00
00000be9: SWAP1
00000bea: SLOAD
00000beb: SWAP1
00000bec: PUSH2 0x0100
00000bef: EXP
00000bf0: SWAP1
00000bf1: DIV
00000bf2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c07: AND
00000c08: SWAP1
00000c09: POP
00000c0a: SWAP1
00000c0b: JUMP
00000c0c: JUMPDEST
00000c0d: PUSH1 0x00
00000c0f: DUP1
00000c10: PUSH1 0x00
00000c12: SWAP1
00000c13: SLOAD
00000c14: SWAP1
00000c15: PUSH2 0x0100
00000c18: EXP
00000c19: SWAP1
00000c1a: DIV
00000c1b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c30: AND
00000c31: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c46: AND
00000c47: CALLER
00000c48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c5d: AND
00000c5e: EQ
00000c5f: SWAP1
00000c60: POP
00000c61: SWAP1
00000c62: JUMP
00000c63: JUMPDEST
00000c64: PUSH2 0x0c6b
00000c67: PUSH2 0x0c0c
00000c6a: JUMP
00000c6b: JUMPDEST
00000c6c: ISZERO
00000c6d: ISZERO
00000c6e: PUSH2 0x0c76
00000c71: JUMPI
00000c72: PUSH1 0x00
00000c74: DUP1
00000c75: REVERT
00000c76: JUMPDEST
00000c77: PUSH1 0x60
00000c79: PUSH1 0x40
00000c7b: MLOAD
00000c7c: SWAP1
00000c7d: DUP2
00000c7e: ADD
00000c7f: PUSH1 0x40
00000c81: MSTORE
00000c82: DUP1
00000c83: DUP5
00000c84: DUP2
00000c85: MSTORE
00000c86: PUSH1 0x20
00000c88: ADD
00000c89: DUP4
00000c8a: DUP2
00000c8b: MSTORE
00000c8c: PUSH1 0x20
00000c8e: ADD
00000c8f: DUP3
00000c90: PUSH1 0xff
00000c92: AND
00000c93: DUP2
00000c94: MSTORE
00000c95: POP
00000c96: PUSH1 0x04
00000c98: PUSH1 0x00
00000c9a: DUP3
00000c9b: ADD
00000c9c: MLOAD
00000c9d: DUP2
00000c9e: PUSH1 0x00
00000ca0: ADD
00000ca1: SSTORE
00000ca2: PUSH1 0x20
00000ca4: DUP3
00000ca5: ADD
00000ca6: MLOAD
00000ca7: DUP2
00000ca8: PUSH1 0x01
00000caa: ADD
00000cab: SSTORE
00000cac: PUSH1 0x40
00000cae: DUP3
00000caf: ADD
00000cb0: MLOAD
00000cb1: DUP2
00000cb2: PUSH1 0x02
00000cb4: ADD
00000cb5: PUSH1 0x00
00000cb7: PUSH2 0x0100
00000cba: EXP
00000cbb: DUP2
00000cbc: SLOAD
00000cbd: DUP2
00000cbe: PUSH1 0xff
00000cc0: MUL
00000cc1: NOT
00000cc2: AND
00000cc3: SWAP1
00000cc4: DUP4
00000cc5: PUSH1 0xff
00000cc7: AND
00000cc8: MUL
00000cc9: OR
00000cca: SWAP1
00000ccb: SSTORE
00000ccc: POP
00000ccd: SWAP1
00000cce: POP
00000ccf: POP
00000cd0: PUSH32 0xeb839054d741027646991567a20472652cff958f8cd4dc24603baebff20c9d6f
00000cf1: DUP4
00000cf2: DUP4
00000cf3: DUP4
00000cf4: PUSH1 0x40
00000cf6: MLOAD
00000cf7: DUP1
00000cf8: DUP5
00000cf9: DUP2
00000cfa: MSTORE
00000cfb: PUSH1 0x20
00000cfd: ADD
00000cfe: DUP4
00000cff: DUP2
00000d00: MSTORE
00000d01: PUSH1 0x20
00000d03: ADD
00000d04: DUP3
00000d05: PUSH1 0xff
00000d07: AND
00000d08: PUSH1 0xff
00000d0a: AND
00000d0b: DUP2
00000d0c: MSTORE
00000d0d: PUSH1 0x20
00000d0f: ADD
00000d10: SWAP4
00000d11: POP
00000d12: POP
00000d13: POP
00000d14: POP
00000d15: PUSH1 0x40
00000d17: MLOAD
00000d18: DUP1
00000d19: SWAP2
00000d1a: SUB
00000d1b: SWAP1
00000d1c: LOG1
00000d1d: POP
00000d1e: POP
00000d1f: POP
00000d20: JUMP
00000d21: JUMPDEST
00000d22: PUSH1 0x02
00000d24: PUSH1 0x00
00000d26: SWAP1
00000d27: SLOAD
00000d28: SWAP1
00000d29: PUSH2 0x0100
00000d2c: EXP
00000d2d: SWAP1
00000d2e: DIV
00000d2f: PUSH1 0xff
00000d31: AND
00000d32: ISZERO
00000d33: ISZERO
00000d34: ISZERO
00000d35: PUSH2 0x0d3d
00000d38: JUMPI
00000d39: PUSH1 0x00
00000d3b: DUP1
00000d3c: REVERT
00000d3d: JUMPDEST
00000d3e: PUSH1 0x64
00000d40: PUSH1 0x08
00000d42: SLOAD
00000d43: DUP4
00000d44: ADD
00000d45: GT
00000d46: ISZERO
00000d47: ISZERO
00000d48: ISZERO
00000d49: PUSH2 0x0dba
00000d4c: JUMPI
00000d4d: PUSH1 0x40
00000d4f: MLOAD
00000d50: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d71: DUP2
00000d72: MSTORE
00000d73: PUSH1 0x04
00000d75: ADD
00000d76: DUP1
00000d77: DUP1
00000d78: PUSH1 0x20
00000d7a: ADD
00000d7b: DUP3
00000d7c: DUP2
00000d7d: SUB
00000d7e: DUP3
00000d7f: MSTORE
00000d80: PUSH1 0x13
00000d82: DUP2
00000d83: MSTORE
00000d84: PUSH1 0x20
00000d86: ADD
00000d87: DUP1
00000d88: PUSH32 0x496e76616c69642070657263656e746167657300000000000000000000000000
00000da9: DUP2
00000daa: MSTORE
00000dab: POP
00000dac: PUSH1 0x20
00000dae: ADD
00000daf: SWAP2
00000db0: POP
00000db1: POP
00000db2: PUSH1 0x40
00000db4: MLOAD
00000db5: DUP1
00000db6: SWAP2
00000db7: SUB
00000db8: SWAP1
00000db9: REVERT
00000dba: JUMPDEST
00000dbb: PUSH1 0x07
00000dbd: PUSH1 0x00
00000dbf: CALLVALUE
00000dc0: DUP2
00000dc1: MSTORE
00000dc2: PUSH1 0x20
00000dc4: ADD
00000dc5: SWAP1
00000dc6: DUP2
00000dc7: MSTORE
00000dc8: PUSH1 0x20
00000dca: ADD
00000dcb: PUSH1 0x00
00000dcd: KECCAK256
00000dce: PUSH1 0x00
00000dd0: SWAP1
00000dd1: SLOAD
00000dd2: SWAP1
00000dd3: PUSH2 0x0100
00000dd6: EXP
00000dd7: SWAP1
00000dd8: DIV
00000dd9: PUSH1 0xff
00000ddb: AND
00000ddc: ISZERO
00000ddd: ISZERO
00000dde: PUSH2 0x0e4f
00000de1: JUMPI
00000de2: PUSH1 0x40
00000de4: MLOAD
00000de5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000e06: DUP2
00000e07: MSTORE
00000e08: PUSH1 0x04
00000e0a: ADD
00000e0b: DUP1
00000e0c: DUP1
00000e0d: PUSH1 0x20
00000e0f: ADD
00000e10: DUP3
00000e11: DUP2
00000e12: SUB
00000e13: DUP3
00000e14: MSTORE
00000e15: PUSH1 0x11
00000e17: DUP2
00000e18: MSTORE
00000e19: PUSH1 0x20
00000e1b: ADD
00000e1c: DUP1
00000e1d: PUSH32 0x496e76616c6964206d73672e76616c7565000000000000000000000000000000
00000e3e: DUP2
00000e3f: MSTORE
00000e40: POP
00000e41: PUSH1 0x20
00000e43: ADD
00000e44: SWAP2
00000e45: POP
00000e46: POP
00000e47: PUSH1 0x40
00000e49: MLOAD
00000e4a: DUP1
00000e4b: SWAP2
00000e4c: SUB
00000e4d: SWAP1
00000e4e: REVERT
00000e4f: JUMPDEST
00000e50: PUSH1 0x00
00000e52: PUSH2 0x0e5b
00000e55: DUP5
00000e56: DUP5
00000e57: PUSH2 0x10db
00000e5a: JUMP
00000e5b: JUMPDEST
00000e5c: SWAP1
00000e5d: POP
00000e5e: PUSH1 0x00
00000e60: DUP1
00000e61: SWAP1
00000e62: POP
00000e63: PUSH1 0x00
00000e65: PUSH2 0x0e89
00000e68: DUP3
00000e69: PUSH2 0x0e7b
00000e6c: DUP6
00000e6d: CALLVALUE
00000e6e: PUSH2 0x11cc
00000e71: SWAP1
00000e72: SWAP2
00000e73: SWAP1
00000e74: PUSH4 0xffffffff
00000e79: AND
00000e7a: JUMP
00000e7b: JUMPDEST
00000e7c: PUSH2 0x11cc
00000e7f: SWAP1
00000e80: SWAP2
00000e81: SWAP1
00000e82: PUSH4 0xffffffff
00000e87: AND
00000e88: JUMP
00000e89: JUMPDEST
00000e8a: SWAP1
00000e8b: POP
00000e8c: DUP4
00000e8d: PUSH2 0xffff
00000e90: AND
00000e91: DUP7
00000e92: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ea7: AND
00000ea8: CALLER
00000ea9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ebe: AND
00000ebf: PUSH32 0xef8be8195589a8a6990d8ec940c79dd6a43c0ac18064d5682feeb99c599dd3e5
00000ee0: PUSH2 0x0ee8
00000ee3: NUMBER
00000ee4: PUSH2 0x0f2b
00000ee7: JUMP
00000ee8: JUMPDEST
00000ee9: CALLVALUE
00000eea: DUP9
00000eeb: DUP9
00000eec: DUP9
00000eed: PUSH1 0x40
00000eef: MLOAD
00000ef0: DUP1
00000ef1: DUP7
00000ef2: PUSH1 0xff
00000ef4: AND
00000ef5: PUSH1 0xff
00000ef7: AND
00000ef8: DUP2
00000ef9: MSTORE
00000efa: PUSH1 0x20
00000efc: ADD
00000efd: DUP6
00000efe: DUP2
00000eff: MSTORE
00000f00: PUSH1 0x20
00000f02: ADD
00000f03: DUP5
00000f04: DUP2
00000f05: MSTORE
00000f06: PUSH1 0x20
00000f08: ADD
00000f09: DUP4
00000f0a: DUP2
00000f0b: MSTORE
00000f0c: PUSH1 0x20
00000f0e: ADD
00000f0f: DUP3
00000f10: DUP2
00000f11: MSTORE
00000f12: PUSH1 0x20
00000f14: ADD
00000f15: SWAP6
00000f16: POP
00000f17: POP
00000f18: POP
00000f19: POP
00000f1a: POP
00000f1b: POP
00000f1c: PUSH1 0x40
00000f1e: MLOAD
00000f1f: DUP1
00000f20: SWAP2
00000f21: SUB
00000f22: SWAP1
00000f23: LOG4
00000f24: POP
00000f25: POP
00000f26: POP
00000f27: POP
00000f28: POP
00000f29: POP
00000f2a: JUMP
00000f2b: JUMPDEST
00000f2c: PUSH1 0x00
00000f2e: DUP2
00000f2f: PUSH1 0x04
00000f31: PUSH1 0x01
00000f33: ADD
00000f34: SLOAD
00000f35: LT
00000f36: ISZERO
00000f37: PUSH2 0x0f43
00000f3a: JUMPI
00000f3b: PUSH1 0x00
00000f3d: SWAP1
00000f3e: POP
00000f3f: PUSH2 0x0f6f
00000f42: JUMP
00000f43: JUMPDEST
00000f44: DUP2
00000f45: PUSH1 0x04
00000f47: PUSH1 0x00
00000f49: ADD
00000f4a: SLOAD
00000f4b: GT
00000f4c: ISZERO
00000f4d: PUSH2 0x0f59
00000f50: JUMPI
00000f51: PUSH1 0x00
00000f53: SWAP1
00000f54: POP
00000f55: PUSH2 0x0f6f
00000f58: JUMP
00000f59: JUMPDEST
00000f5a: PUSH1 0x04
00000f5c: PUSH1 0x02
00000f5e: ADD
00000f5f: PUSH1 0x00
00000f61: SWAP1
00000f62: SLOAD
00000f63: SWAP1
00000f64: PUSH2 0x0100
00000f67: EXP
00000f68: SWAP1
00000f69: DIV
00000f6a: PUSH1 0xff
00000f6c: AND
00000f6d: SWAP1
00000f6e: POP
00000f6f: JUMPDEST
00000f70: SWAP2
00000f71: SWAP1
00000f72: POP
00000f73: JUMP
00000f74: JUMPDEST
00000f75: PUSH2 0x0f7c
00000f78: PUSH2 0x0c0c
00000f7b: JUMP
00000f7c: JUMPDEST
00000f7d: ISZERO
00000f7e: ISZERO
00000f7f: PUSH2 0x0f87
00000f82: JUMPI
00000f83: PUSH1 0x00
00000f85: DUP1
00000f86: REVERT
00000f87: JUMPDEST
00000f88: PUSH2 0x0f90
00000f8b: DUP2
00000f8c: PUSH2 0x11ee
00000f8f: JUMP
00000f90: JUMPDEST
00000f91: POP
00000f92: JUMP
00000f93: JUMPDEST
00000f94: PUSH1 0x00
00000f96: DUP1
00000f97: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fac: AND
00000fad: DUP3
00000fae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fc3: AND
00000fc4: EQ
00000fc5: ISZERO
00000fc6: ISZERO
00000fc7: ISZERO
00000fc8: PUSH2 0x0fd0
00000fcb: JUMPI
00000fcc: PUSH1 0x00
00000fce: DUP1
00000fcf: REVERT
00000fd0: JUMPDEST
00000fd1: DUP3
00000fd2: PUSH1 0x00
00000fd4: ADD
00000fd5: PUSH1 0x00
00000fd7: DUP4
00000fd8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000fed: AND
00000fee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001003: AND
00001004: DUP2
00001005: MSTORE
00001006: PUSH1 0x20
00001008: ADD
00001009: SWAP1
0000100a: DUP2
0000100b: MSTORE
0000100c: PUSH1 0x20
0000100e: ADD
0000100f: PUSH1 0x00
00001011: KECCAK256
00001012: PUSH1 0x00
00001014: SWAP1
00001015: SLOAD
00001016: SWAP1
00001017: PUSH2 0x0100
0000101a: EXP
0000101b: SWAP1
0000101c: DIV
0000101d: PUSH1 0xff
0000101f: AND
00001020: SWAP1
00001021: POP
00001022: SWAP3
00001023: SWAP2
00001024: POP
00001025: POP
00001026: JUMP
00001027: JUMPDEST
00001028: PUSH2 0x103b
0000102b: DUP2
0000102c: PUSH1 0x01
0000102e: PUSH2 0x12e8
00001031: SWAP1
00001032: SWAP2
00001033: SWAP1
00001034: PUSH4 0xffffffff
00001039: AND
0000103a: JUMP
0000103b: JUMPDEST
0000103c: DUP1
0000103d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001052: AND
00001053: PUSH32 0xcd265ebaf09df2871cc7bd4133404a235ba12eff2041bb89d9c714a2621c7c7e
00001074: PUSH1 0x40
00001076: MLOAD
00001077: PUSH1 0x40
00001079: MLOAD
0000107a: DUP1
0000107b: SWAP2
0000107c: SUB
0000107d: SWAP1
0000107e: LOG2
0000107f: POP
00001080: JUMP
00001081: JUMPDEST
00001082: PUSH2 0x1095
00001085: DUP2
00001086: PUSH1 0x01
00001088: PUSH2 0x1397
0000108b: SWAP1
0000108c: SWAP2
0000108d: SWAP1
0000108e: PUSH4 0xffffffff
00001093: AND
00001094: JUMP
00001095: JUMPDEST
00001096: DUP1
00001097: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010ac: AND
000010ad: PUSH32 0x6719d08c1888103bea251a4ed56406bd0c3e69723c8a1686e017e7bbe159b6f8
000010ce: PUSH1 0x40
000010d0: MLOAD
000010d1: PUSH1 0x40
000010d3: MLOAD
000010d4: DUP1
000010d5: SWAP2
000010d6: SUB
000010d7: SWAP1
000010d8: LOG2
000010d9: POP
000010da: JUMP
000010db: JUMPDEST
000010dc: PUSH1 0x00
000010de: DUP1
000010df: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010f4: AND
000010f5: DUP4
000010f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000110b: AND
0000110c: EQ
0000110d: DUP1
0000110e: PUSH2 0x1142
00001111: JUMPI
00001112: POP
00001113: CALLER
00001114: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001129: AND
0000112a: DUP4
0000112b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001140: AND
00001141: EQ
00001142: JUMPDEST
00001143: ISZERO
00001144: PUSH2 0x1150
00001147: JUMPI
00001148: PUSH1 0x00
0000114a: SWAP1
0000114b: POP
0000114c: PUSH2 0x11c6
0000114f: JUMP
00001150: JUMPDEST
00001151: PUSH1 0x00
00001153: PUSH2 0x1178
00001156: PUSH1 0x64
00001158: PUSH2 0x116a
0000115b: DUP6
0000115c: CALLVALUE
0000115d: PUSH2 0x1447
00001160: SWAP1
00001161: SWAP2
00001162: SWAP1
00001163: PUSH4 0xffffffff
00001168: AND
00001169: JUMP
0000116a: JUMPDEST
0000116b: PUSH2 0x1485
0000116e: SWAP1
0000116f: SWAP2
00001170: SWAP1
00001171: PUSH4 0xffffffff
00001176: AND
00001177: JUMP
00001178: JUMPDEST
00001179: SWAP1
0000117a: POP
0000117b: DUP4
0000117c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001191: AND
00001192: PUSH2 0x08fc
00001195: DUP3
00001196: SWAP1
00001197: DUP2
00001198: ISZERO
00001199: MUL
0000119a: SWAP1
0000119b: PUSH1 0x40
0000119d: MLOAD
0000119e: PUSH1 0x00
000011a0: PUSH1 0x40
000011a2: MLOAD
000011a3: DUP1
000011a4: DUP4
000011a5: SUB
000011a6: DUP2
000011a7: DUP6
000011a8: DUP9
000011a9: DUP9
000011aa: CALL
000011ab: SWAP4
000011ac: POP
000011ad: POP
000011ae: POP
000011af: POP
000011b0: ISZERO
000011b1: DUP1
000011b2: ISZERO
000011b3: PUSH2 0x11c0
000011b6: JUMPI
000011b7: RETURNDATASIZE
000011b8: PUSH1 0x00
000011ba: DUP1
000011bb: RETURNDATACOPY
000011bc: RETURNDATASIZE
000011bd: PUSH1 0x00
000011bf: REVERT
000011c0: JUMPDEST
000011c1: POP
000011c2: DUP1
000011c3: SWAP2
000011c4: POP
000011c5: POP
000011c6: JUMPDEST
000011c7: SWAP3
000011c8: SWAP2
000011c9: POP
000011ca: POP
000011cb: JUMP
000011cc: JUMPDEST
000011cd: PUSH1 0x00
000011cf: DUP3
000011d0: DUP3
000011d1: GT
000011d2: ISZERO
000011d3: ISZERO
000011d4: ISZERO
000011d5: PUSH2 0x11dd
000011d8: JUMPI
000011d9: PUSH1 0x00
000011db: DUP1
000011dc: REVERT
000011dd: JUMPDEST
000011de: PUSH1 0x00
000011e0: DUP3
000011e1: DUP5
000011e2: SUB
000011e3: SWAP1
000011e4: POP
000011e5: DUP1
000011e6: SWAP2
000011e7: POP
000011e8: POP
000011e9: SWAP3
000011ea: SWAP2
000011eb: POP
000011ec: POP
000011ed: JUMP
000011ee: JUMPDEST
000011ef: PUSH1 0x00
000011f1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001206: AND
00001207: DUP2
00001208: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000121d: AND
0000121e: EQ
0000121f: ISZERO
00001220: ISZERO
00001221: ISZERO
00001222: PUSH2 0x122a
00001225: JUMPI
00001226: PUSH1 0x00
00001228: DUP1
00001229: REVERT
0000122a: JUMPDEST
0000122b: DUP1
0000122c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001241: AND
00001242: PUSH1 0x00
00001244: DUP1
00001245: SWAP1
00001246: SLOAD
00001247: SWAP1
00001248: PUSH2 0x0100
0000124b: EXP
0000124c: SWAP1
0000124d: DIV
0000124e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001263: AND
00001264: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001279: AND
0000127a: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
0000129b: PUSH1 0x40
0000129d: MLOAD
0000129e: PUSH1 0x40
000012a0: MLOAD
000012a1: DUP1
000012a2: SWAP2
000012a3: SUB
000012a4: SWAP1
000012a5: LOG3
000012a6: DUP1
000012a7: PUSH1 0x00
000012a9: DUP1
000012aa: PUSH2 0x0100
000012ad: EXP
000012ae: DUP2
000012af: SLOAD
000012b0: DUP2
000012b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012c6: MUL
000012c7: NOT
000012c8: AND
000012c9: SWAP1
000012ca: DUP4
000012cb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012e0: AND
000012e1: MUL
000012e2: OR
000012e3: SWAP1
000012e4: SSTORE
000012e5: POP
000012e6: POP
000012e7: JUMP
000012e8: JUMPDEST
000012e9: PUSH1 0x00
000012eb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001300: AND
00001301: DUP2
00001302: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001317: AND
00001318: EQ
00001319: ISZERO
0000131a: ISZERO
0000131b: ISZERO
0000131c: PUSH2 0x1324
0000131f: JUMPI
00001320: PUSH1 0x00
00001322: DUP1
00001323: REVERT
00001324: JUMPDEST
00001325: PUSH2 0x132e
00001328: DUP3
00001329: DUP3
0000132a: PUSH2 0x0f93
0000132d: JUMP
0000132e: JUMPDEST
0000132f: ISZERO
00001330: ISZERO
00001331: PUSH2 0x1339
00001334: JUMPI
00001335: PUSH1 0x00
00001337: DUP1
00001338: REVERT
00001339: JUMPDEST
0000133a: PUSH1 0x00
0000133c: DUP3
0000133d: PUSH1 0x00
0000133f: ADD
00001340: PUSH1 0x00
00001342: DUP4
00001343: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001358: AND
00001359: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000136e: AND
0000136f: DUP2
00001370: MSTORE
00001371: PUSH1 0x20
00001373: ADD
00001374: SWAP1
00001375: DUP2
00001376: MSTORE
00001377: PUSH1 0x20
00001379: ADD
0000137a: PUSH1 0x00
0000137c: KECCAK256
0000137d: PUSH1 0x00
0000137f: PUSH2 0x0100
00001382: EXP
00001383: DUP2
00001384: SLOAD
00001385: DUP2
00001386: PUSH1 0xff
00001388: MUL
00001389: NOT
0000138a: AND
0000138b: SWAP1
0000138c: DUP4
0000138d: ISZERO
0000138e: ISZERO
0000138f: MUL
00001390: OR
00001391: SWAP1
00001392: SSTORE
00001393: POP
00001394: POP
00001395: POP
00001396: JUMP
00001397: JUMPDEST
00001398: PUSH1 0x00
0000139a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013af: AND
000013b0: DUP2
000013b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013c6: AND
000013c7: EQ
000013c8: ISZERO
000013c9: ISZERO
000013ca: ISZERO
000013cb: PUSH2 0x13d3
000013ce: JUMPI
000013cf: PUSH1 0x00
000013d1: DUP1
000013d2: REVERT
000013d3: JUMPDEST
000013d4: PUSH2 0x13dd
000013d7: DUP3
000013d8: DUP3
000013d9: PUSH2 0x0f93
000013dc: JUMP
000013dd: JUMPDEST
000013de: ISZERO
000013df: ISZERO
000013e0: ISZERO
000013e1: PUSH2 0x13e9
000013e4: JUMPI
000013e5: PUSH1 0x00
000013e7: DUP1
000013e8: REVERT
000013e9: JUMPDEST
000013ea: PUSH1 0x01
000013ec: DUP3
000013ed: PUSH1 0x00
000013ef: ADD
000013f0: PUSH1 0x00
000013f2: DUP4
000013f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001408: AND
00001409: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000141e: AND
0000141f: DUP2
00001420: MSTORE
00001421: PUSH1 0x20
00001423: ADD
00001424: SWAP1
00001425: DUP2
00001426: MSTORE
00001427: PUSH1 0x20
00001429: ADD
0000142a: PUSH1 0x00
0000142c: KECCAK256
0000142d: PUSH1 0x00
0000142f: PUSH2 0x0100
00001432: EXP
00001433: DUP2
00001434: SLOAD
00001435: DUP2
00001436: PUSH1 0xff
00001438: MUL
00001439: NOT
0000143a: AND
0000143b: SWAP1
0000143c: DUP4
0000143d: ISZERO
0000143e: ISZERO
0000143f: MUL
00001440: OR
00001441: SWAP1
00001442: SSTORE
00001443: POP
00001444: POP
00001445: POP
00001446: JUMP
00001447: JUMPDEST
00001448: PUSH1 0x00
0000144a: DUP1
0000144b: DUP4
0000144c: EQ
0000144d: ISZERO
0000144e: PUSH2 0x145a
00001451: JUMPI
00001452: PUSH1 0x00
00001454: SWAP1
00001455: POP
00001456: PUSH2 0x147f
00001459: JUMP
0000145a: JUMPDEST
0000145b: PUSH1 0x00
0000145d: DUP3
0000145e: DUP5
0000145f: MUL
00001460: SWAP1
00001461: POP
00001462: DUP3
00001463: DUP5
00001464: DUP3
00001465: DUP2
00001466: ISZERO
00001467: ISZERO
00001468: PUSH2 0x146d
0000146b: JUMPI
0000146c: INVALID
0000146d: JUMPDEST
0000146e: DIV
0000146f: EQ
00001470: ISZERO
00001471: ISZERO
00001472: PUSH2 0x147a
00001475: JUMPI
00001476: PUSH1 0x00
00001478: DUP1
00001479: REVERT
0000147a: JUMPDEST
0000147b: DUP1
0000147c: SWAP2
0000147d: POP
0000147e: POP
0000147f: JUMPDEST
00001480: SWAP3
00001481: SWAP2
00001482: POP
00001483: POP
00001484: JUMP
00001485: JUMPDEST
00001486: PUSH1 0x00
00001488: DUP1
00001489: DUP3
0000148a: GT
0000148b: ISZERO
0000148c: ISZERO
0000148d: PUSH2 0x1495
00001490: JUMPI
00001491: PUSH1 0x00
00001493: DUP1
00001494: REVERT
00001495: JUMPDEST
00001496: PUSH1 0x00
00001498: DUP3
00001499: DUP5
0000149a: DUP2
0000149b: ISZERO
0000149c: ISZERO
0000149d: PUSH2 0x14a2
000014a0: JUMPI
000014a1: INVALID
000014a2: JUMPDEST
000014a3: DIV
000014a4: SWAP1
000014a5: POP
000014a6: DUP1
000014a7: SWAP2
000014a8: POP
000014a9: POP
000014aa: SWAP3
000014ab: SWAP2
000014ac: POP
000014ad: POP
000014ae: JUMP
000014af: INVALID
000014b0: LOG1
000014b1: PUSH6 0x627a7a723058
000014b8: KECCAK256
000014b9: UNKNOWN(0x4F)
000014ba: UNKNOWN(0xCF)
000014bb: LOG1
000014bc: UNKNOWN(0x0D)
000014bd: UNKNOWN(0xE9)
000014be: UNKNOWN(0xDC)
000014bf: UNKNOWN(0x22)
000014c0: UNKNOWN(0xBF)
000014c1: UNKNOWN(0xC5)
000014c2: UNKNOWN(0xAD)
000014c3: SLOAD
000014c4: LOG0
000014c5: PUSH10 0x2c155cfde5f4de261dfe
000014d0: SWAP7
000014d1: MULMOD
000014d2: PUSH32
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
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xd22adb446e2d27b51305914b9e874056e486df5e1a99ebc6b71ad5a67a9fd884
call_targets: 0x1ad8b48c4ebe5a6c1573fd6f3b8222704f848f2b
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd22adb446e2d27b51305914b9e874056e486df5e1a99ebc6b71ad5a67a9fd884",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x1ad8b48c4ebe5a6c1573fd6f3b8222704f848f2b"
    ],
    "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": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3f4ba83a",
            "selector": "0x3f4ba83a",
            "calldata_variants": [
                "0x3f4ba83a",
                "0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41c0e1b5",
            "selector": "0x41c0e1b5",
            "calldata_variants": [
                "0x41c0e1b5",
                "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x46fbf68e",
            "selector": "0x46fbf68e",
            "calldata_variants": [
                "0x46fbf68e",
                "0x46fbf68e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4a8f8570",
            "selector": "0x4a8f8570",
            "calldata_variants": [
                "0x4a8f8570",
                "0x4a8f85700000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5c975abb",
            "selector": "0x5c975abb",
            "calldata_variants": [
                "0x5c975abb",
                "0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x662fa38f",
            "selector": "0x662fa38f",
            "calldata_variants": [
                "0x662fa38f",
                "0x662fa38f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6ef8d66d",
            "selector": "0x6ef8d66d",
            "calldata_variants": [
                "0x6ef8d66d",
                "0x6ef8d66d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2189,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2941,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4522,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [
        {
            "pc": 3143,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "untrusted_call_count": 3
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xd22adb446e2d27b51305914b9e874056e486df5e1a99ebc6b71ad5a67a9fd884
call_targets: 0x1ad8b48c4ebe5a6c1573fd6f3b8222704f848f2b
target_varies: no
classification: constant_target
validation_json 
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xd22adb446e2d27b51305914b9e874056e486df5e1a99ebc6b71ad5a67a9fd884",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x1ad8b48c4ebe5a6c1573fd6f3b8222704f848f2b"
    ],
    "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": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3f4ba83a",
            "selector": "0x3f4ba83a",
            "calldata_variants": [
                "0x3f4ba83a",
                "0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41c0e1b5",
            "selector": "0x41c0e1b5",
            "calldata_variants": [
                "0x41c0e1b5",
                "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x46fbf68e",
            "selector": "0x46fbf68e",
            "calldata_variants": [
                "0x46fbf68e",
                "0x46fbf68e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4a8f8570",
            "selector": "0x4a8f8570",
            "calldata_variants": [
                "0x4a8f8570",
                "0x4a8f85700000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5c975abb",
            "selector": "0x5c975abb",
            "calldata_variants": [
                "0x5c975abb",
                "0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x662fa38f",
            "selector": "0x662fa38f",
            "calldata_variants": [
                "0x662fa38f",
                "0x662fa38f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6ef8d66d",
            "selector": "0x6ef8d66d",
            "calldata_variants": [
                "0x6ef8d66d",
                "0x6ef8d66d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "examples": [
        {
            "pc": 2189,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 2941,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 4522,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": [
        {
            "pc": 3143,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ]
}
medium other detector SELFDESTRUCT reachable 45 no no
view
trace_id: 0xccca3e23b9457b71b31954f7b589293678c90479eb7c382e8c4f4004b369d8af
validation_json 
{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0xccca3e23b9457b71b31954f7b589293678c90479eb7c382e8c4f4004b369d8af",
    "confirmed": false,
    "trace_mode": "structLogs",
    "call_targets": null,
    "matched_probe": null,
    "target_varies": null,
    "classification": "no_sink"
}
witness_json 
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xffffffff",
            "selector": "0xffffffff",
            "calldata_variants": [
                "0xffffffff",
                "0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x3f4ba83a",
            "selector": "0x3f4ba83a",
            "calldata_variants": [
                "0x3f4ba83a",
                "0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x41c0e1b5",
            "selector": "0x41c0e1b5",
            "calldata_variants": [
                "0x41c0e1b5",
                "0x41c0e1b50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x46fbf68e",
            "selector": "0x46fbf68e",
            "calldata_variants": [
                "0x46fbf68e",
                "0x46fbf68e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x4a8f8570",
            "selector": "0x4a8f8570",
            "calldata_variants": [
                "0x4a8f8570",
                "0x4a8f85700000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x5c975abb",
            "selector": "0x5c975abb",
            "calldata_variants": [
                "0x5c975abb",
                "0x5c975abb0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x662fa38f",
            "selector": "0x662fa38f",
            "calldata_variants": [
                "0x662fa38f",
                "0x662fa38f0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6ef8d66d",
            "selector": "0x6ef8d66d",
            "calldata_variants": [
                "0x6ef8d66d",
                "0x6ef8d66d0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json 
{
    "guards_detected": [
        {
            "pc": 3143,
            "type": "msg_sender_eq_const",
            "value": "0xffffffffffffffffffffffffffffffffffffffff"
        }
    ],
    "selfdestruct_count": 1
}