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

Analysis Run

019b477e-da82-7160-87e6-1716884007e5

complete
Chain ID
1
Address
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?

Confirmed
0
Validated
0
Source
Verified
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
29483 artifact.fetch complete 1 / 3 3 months ago
29484 tool.cast_disasm complete 1 / 3 3 months ago
108241 analysis.bundle complete 1 / 3 1 week ago
108242 capability.graph complete 1 / 3 1 week ago
108243 detector.run complete 1 / 3 1 week ago
108244 validation.fork complete 1 / 3 1 week ago

Artifact

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

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)
6
EXT*/BALANCE
1
Total opcodes
4193
Flags
create_opcodes_present
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0129
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0x715018a6
00000018: GT
00000019: PUSH2 0x00aa
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0x9ab4a445
00000023: GT
00000024: PUSH2 0x006e
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0x9ab4a445
0000002e: EQ
0000002f: PUSH2 0x038d
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0xa7c60160
00000039: EQ
0000003a: PUSH2 0x03b7
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0xc5be93c2
00000044: EQ
00000045: PUSH2 0x03df
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0xf2d043a7
0000004f: EQ
00000050: PUSH2 0x0407
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0xf2fde38b
0000005a: EQ
0000005b: PUSH2 0x0443
0000005e: JUMPI
0000005f: DUP1
00000060: PUSH4 0xfeed5561
00000065: EQ
00000066: PUSH2 0x046b
00000069: JUMPI
0000006a: PUSH2 0x0129
0000006d: JUMP
0000006e: JUMPDEST
0000006f: DUP1
00000070: PUSH4 0x715018a6
00000075: EQ
00000076: PUSH2 0x02dd
00000079: JUMPI
0000007a: DUP1
0000007b: PUSH4 0x741bef1a
00000080: EQ
00000081: PUSH2 0x02f3
00000084: JUMPI
00000085: DUP1
00000086: PUSH4 0x777e0d86
0000008b: EQ
0000008c: PUSH2 0x031d
0000008f: JUMPI
00000090: DUP1
00000091: PUSH4 0x8da5cb5b
00000096: EQ
00000097: PUSH2 0x0347
0000009a: JUMPI
0000009b: DUP1
0000009c: PUSH4 0x94dc9cf3
000000a1: EQ
000000a2: PUSH2 0x0371
000000a5: JUMPI
000000a6: PUSH2 0x0129
000000a9: JUMP
000000aa: JUMPDEST
000000ab: DUP1
000000ac: PUSH4 0x3cb5d100
000000b1: GT
000000b2: PUSH2 0x00f1
000000b5: JUMPI
000000b6: DUP1
000000b7: PUSH4 0x3cb5d100
000000bc: EQ
000000bd: PUSH2 0x01e7
000000c0: JUMPI
000000c1: DUP1
000000c2: PUSH4 0x42e94c90
000000c7: EQ
000000c8: PUSH2 0x0223
000000cb: JUMPI
000000cc: DUP1
000000cd: PUSH4 0x518ab2a8
000000d2: EQ
000000d3: PUSH2 0x025f
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x53135ca0
000000dd: EQ
000000de: PUSH2 0x0289
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x6013d092
000000e8: EQ
000000e9: PUSH2 0x02b3
000000ec: JUMPI
000000ed: PUSH2 0x0129
000000f0: JUMP
000000f1: JUMPDEST
000000f2: DUP1
000000f3: PUSH4 0x21eff7fc
000000f8: EQ
000000f9: PUSH2 0x012d
000000fc: JUMPI
000000fd: DUP1
000000fe: PUSH4 0x24600fc3
00000103: EQ
00000104: PUSH2 0x0169
00000107: JUMPI
00000108: DUP1
00000109: PUSH4 0x300eccab
0000010e: EQ
0000010f: PUSH2 0x017f
00000112: JUMPI
00000113: DUP1
00000114: PUSH4 0x34393743
00000119: EQ
0000011a: PUSH2 0x01bb
0000011d: JUMPI
0000011e: DUP1
0000011f: PUSH4 0x362e496b
00000124: EQ
00000125: PUSH2 0x01d1
00000128: JUMPI
00000129: JUMPDEST
0000012a: PUSH0
0000012b: PUSH0
0000012c: REVERT
0000012d: JUMPDEST
0000012e: CALLVALUE
0000012f: DUP1
00000130: ISZERO
00000131: PUSH2 0x0138
00000134: JUMPI
00000135: PUSH0
00000136: PUSH0
00000137: REVERT
00000138: JUMPDEST
00000139: POP
0000013a: PUSH2 0x0153
0000013d: PUSH1 0x04
0000013f: DUP1
00000140: CALLDATASIZE
00000141: SUB
00000142: DUP2
00000143: ADD
00000144: SWAP1
00000145: PUSH2 0x014e
00000148: SWAP2
00000149: SWAP1
0000014a: PUSH2 0x149a
0000014d: JUMP
0000014e: JUMPDEST
0000014f: PUSH2 0x0495
00000152: JUMP
00000153: JUMPDEST
00000154: PUSH1 0x40
00000156: MLOAD
00000157: PUSH2 0x0160
0000015a: SWAP2
0000015b: SWAP1
0000015c: PUSH2 0x14dd
0000015f: JUMP
00000160: JUMPDEST
00000161: PUSH1 0x40
00000163: MLOAD
00000164: DUP1
00000165: SWAP2
00000166: SUB
00000167: SWAP1
00000168: RETURN
00000169: JUMPDEST
0000016a: CALLVALUE
0000016b: DUP1
0000016c: ISZERO
0000016d: PUSH2 0x0174
00000170: JUMPI
00000171: PUSH0
00000172: PUSH0
00000173: REVERT
00000174: JUMPDEST
00000175: POP
00000176: PUSH2 0x017d
00000179: PUSH2 0x04db
0000017c: JUMP
0000017d: JUMPDEST
0000017e: STOP
0000017f: JUMPDEST
00000180: CALLVALUE
00000181: DUP1
00000182: ISZERO
00000183: PUSH2 0x018a
00000186: JUMPI
00000187: PUSH0
00000188: PUSH0
00000189: REVERT
0000018a: JUMPDEST
0000018b: POP
0000018c: PUSH2 0x01a5
0000018f: PUSH1 0x04
00000191: DUP1
00000192: CALLDATASIZE
00000193: SUB
00000194: DUP2
00000195: ADD
00000196: SWAP1
00000197: PUSH2 0x01a0
0000019a: SWAP2
0000019b: SWAP1
0000019c: PUSH2 0x1520
0000019f: JUMP
000001a0: JUMPDEST
000001a1: PUSH2 0x0530
000001a4: JUMP
000001a5: JUMPDEST
000001a6: PUSH1 0x40
000001a8: MLOAD
000001a9: PUSH2 0x01b2
000001ac: SWAP2
000001ad: SWAP1
000001ae: PUSH2 0x14dd
000001b1: JUMP
000001b2: JUMPDEST
000001b3: PUSH1 0x40
000001b5: MLOAD
000001b6: DUP1
000001b7: SWAP2
000001b8: SUB
000001b9: SWAP1
000001ba: RETURN
000001bb: JUMPDEST
000001bc: CALLVALUE
000001bd: DUP1
000001be: ISZERO
000001bf: PUSH2 0x01c6
000001c2: JUMPI
000001c3: PUSH0
000001c4: PUSH0
000001c5: REVERT
000001c6: JUMPDEST
000001c7: POP
000001c8: PUSH2 0x01cf
000001cb: PUSH2 0x0545
000001ce: JUMP
000001cf: JUMPDEST
000001d0: STOP
000001d1: JUMPDEST
000001d2: CALLVALUE
000001d3: DUP1
000001d4: ISZERO
000001d5: PUSH2 0x01dc
000001d8: JUMPI
000001d9: PUSH0
000001da: PUSH0
000001db: REVERT
000001dc: JUMPDEST
000001dd: POP
000001de: PUSH2 0x01e5
000001e1: PUSH2 0x0577
000001e4: JUMP
000001e5: JUMPDEST
000001e6: STOP
000001e7: JUMPDEST
000001e8: CALLVALUE
000001e9: DUP1
000001ea: ISZERO
000001eb: PUSH2 0x01f2
000001ee: JUMPI
000001ef: PUSH0
000001f0: PUSH0
000001f1: REVERT
000001f2: JUMPDEST
000001f3: POP
000001f4: PUSH2 0x020d
000001f7: PUSH1 0x04
000001f9: DUP1
000001fa: CALLDATASIZE
000001fb: SUB
000001fc: DUP2
000001fd: ADD
000001fe: SWAP1
000001ff: PUSH2 0x0208
00000202: SWAP2
00000203: SWAP1
00000204: PUSH2 0x1520
00000207: JUMP
00000208: JUMPDEST
00000209: PUSH2 0x06bf
0000020c: JUMP
0000020d: JUMPDEST
0000020e: PUSH1 0x40
00000210: MLOAD
00000211: PUSH2 0x021a
00000214: SWAP2
00000215: SWAP1
00000216: PUSH2 0x155a
00000219: JUMP
0000021a: JUMPDEST
0000021b: PUSH1 0x40
0000021d: MLOAD
0000021e: DUP1
0000021f: SWAP2
00000220: SUB
00000221: SWAP1
00000222: RETURN
00000223: JUMPDEST
00000224: CALLVALUE
00000225: DUP1
00000226: ISZERO
00000227: PUSH2 0x022e
0000022a: JUMPI
0000022b: PUSH0
0000022c: PUSH0
0000022d: REVERT
0000022e: JUMPDEST
0000022f: POP
00000230: PUSH2 0x0249
00000233: PUSH1 0x04
00000235: DUP1
00000236: CALLDATASIZE
00000237: SUB
00000238: DUP2
00000239: ADD
0000023a: SWAP1
0000023b: PUSH2 0x0244
0000023e: SWAP2
0000023f: SWAP1
00000240: PUSH2 0x149a
00000243: JUMP
00000244: JUMPDEST
00000245: PUSH2 0x06fa
00000248: JUMP
00000249: JUMPDEST
0000024a: PUSH1 0x40
0000024c: MLOAD
0000024d: PUSH2 0x0256
00000250: SWAP2
00000251: SWAP1
00000252: PUSH2 0x14dd
00000255: JUMP
00000256: JUMPDEST
00000257: PUSH1 0x40
00000259: MLOAD
0000025a: DUP1
0000025b: SWAP2
0000025c: SUB
0000025d: SWAP1
0000025e: RETURN
0000025f: JUMPDEST
00000260: CALLVALUE
00000261: DUP1
00000262: ISZERO
00000263: PUSH2 0x026a
00000266: JUMPI
00000267: PUSH0
00000268: PUSH0
00000269: REVERT
0000026a: JUMPDEST
0000026b: POP
0000026c: PUSH2 0x0273
0000026f: PUSH2 0x070f
00000272: JUMP
00000273: JUMPDEST
00000274: PUSH1 0x40
00000276: MLOAD
00000277: PUSH2 0x0280
0000027a: SWAP2
0000027b: SWAP1
0000027c: PUSH2 0x14dd
0000027f: JUMP
00000280: JUMPDEST
00000281: PUSH1 0x40
00000283: MLOAD
00000284: DUP1
00000285: SWAP2
00000286: SUB
00000287: SWAP1
00000288: RETURN
00000289: JUMPDEST
0000028a: CALLVALUE
0000028b: DUP1
0000028c: ISZERO
0000028d: PUSH2 0x0294
00000290: JUMPI
00000291: PUSH0
00000292: PUSH0
00000293: REVERT
00000294: JUMPDEST
00000295: POP
00000296: PUSH2 0x029d
00000299: PUSH2 0x0715
0000029c: JUMP
0000029d: JUMPDEST
0000029e: PUSH1 0x40
000002a0: MLOAD
000002a1: PUSH2 0x02aa
000002a4: SWAP2
000002a5: SWAP1
000002a6: PUSH2 0x158d
000002a9: JUMP
000002aa: JUMPDEST
000002ab: PUSH1 0x40
000002ad: MLOAD
000002ae: DUP1
000002af: SWAP2
000002b0: SUB
000002b1: SWAP1
000002b2: RETURN
000002b3: JUMPDEST
000002b4: CALLVALUE
000002b5: DUP1
000002b6: ISZERO
000002b7: PUSH2 0x02be
000002ba: JUMPI
000002bb: PUSH0
000002bc: PUSH0
000002bd: REVERT
000002be: JUMPDEST
000002bf: POP
000002c0: PUSH2 0x02c7
000002c3: PUSH2 0x0727
000002c6: JUMP
000002c7: JUMPDEST
000002c8: PUSH1 0x40
000002ca: MLOAD
000002cb: PUSH2 0x02d4
000002ce: SWAP2
000002cf: SWAP1
000002d0: PUSH2 0x14dd
000002d3: JUMP
000002d4: JUMPDEST
000002d5: PUSH1 0x40
000002d7: MLOAD
000002d8: DUP1
000002d9: SWAP2
000002da: SUB
000002db: SWAP1
000002dc: RETURN
000002dd: JUMPDEST
000002de: CALLVALUE
000002df: DUP1
000002e0: ISZERO
000002e1: PUSH2 0x02e8
000002e4: JUMPI
000002e5: PUSH0
000002e6: PUSH0
000002e7: REVERT
000002e8: JUMPDEST
000002e9: POP
000002ea: PUSH2 0x02f1
000002ed: PUSH2 0x072d
000002f0: JUMP
000002f1: JUMPDEST
000002f2: STOP
000002f3: JUMPDEST
000002f4: CALLVALUE
000002f5: DUP1
000002f6: ISZERO
000002f7: PUSH2 0x02fe
000002fa: JUMPI
000002fb: PUSH0
000002fc: PUSH0
000002fd: REVERT
000002fe: JUMPDEST
000002ff: POP
00000300: PUSH2 0x0307
00000303: PUSH2 0x0740
00000306: JUMP
00000307: JUMPDEST
00000308: PUSH1 0x40
0000030a: MLOAD
0000030b: PUSH2 0x0314
0000030e: SWAP2
0000030f: SWAP1
00000310: PUSH2 0x1601
00000313: JUMP
00000314: JUMPDEST
00000315: PUSH1 0x40
00000317: MLOAD
00000318: DUP1
00000319: SWAP2
0000031a: SUB
0000031b: SWAP1
0000031c: RETURN
0000031d: JUMPDEST
0000031e: CALLVALUE
0000031f: DUP1
00000320: ISZERO
00000321: PUSH2 0x0328
00000324: JUMPI
00000325: PUSH0
00000326: PUSH0
00000327: REVERT
00000328: JUMPDEST
00000329: POP
0000032a: PUSH2 0x0331
0000032d: PUSH2 0x0765
00000330: JUMP
00000331: JUMPDEST
00000332: PUSH1 0x40
00000334: MLOAD
00000335: PUSH2 0x033e
00000338: SWAP2
00000339: SWAP1
0000033a: PUSH2 0x14dd
0000033d: JUMP
0000033e: JUMPDEST
0000033f: PUSH1 0x40
00000341: MLOAD
00000342: DUP1
00000343: SWAP2
00000344: SUB
00000345: SWAP1
00000346: RETURN
00000347: JUMPDEST
00000348: CALLVALUE
00000349: DUP1
0000034a: ISZERO
0000034b: PUSH2 0x0352
0000034e: JUMPI
0000034f: PUSH0
00000350: PUSH0
00000351: REVERT
00000352: JUMPDEST
00000353: POP
00000354: PUSH2 0x035b
00000357: PUSH2 0x0812
0000035a: JUMP
0000035b: JUMPDEST
0000035c: PUSH1 0x40
0000035e: MLOAD
0000035f: PUSH2 0x0368
00000362: SWAP2
00000363: SWAP1
00000364: PUSH2 0x155a
00000367: JUMP
00000368: JUMPDEST
00000369: PUSH1 0x40
0000036b: MLOAD
0000036c: DUP1
0000036d: SWAP2
0000036e: SUB
0000036f: SWAP1
00000370: RETURN
00000371: JUMPDEST
00000372: PUSH2 0x038b
00000375: PUSH1 0x04
00000377: DUP1
00000378: CALLDATASIZE
00000379: SUB
0000037a: DUP2
0000037b: ADD
0000037c: SWAP1
0000037d: PUSH2 0x0386
00000380: SWAP2
00000381: SWAP1
00000382: PUSH2 0x1520
00000385: JUMP
00000386: JUMPDEST
00000387: PUSH2 0x0839
0000038a: JUMP
0000038b: JUMPDEST
0000038c: STOP
0000038d: JUMPDEST
0000038e: CALLVALUE
0000038f: DUP1
00000390: ISZERO
00000391: PUSH2 0x0398
00000394: JUMPI
00000395: PUSH0
00000396: PUSH0
00000397: REVERT
00000398: JUMPDEST
00000399: POP
0000039a: PUSH2 0x03a1
0000039d: PUSH2 0x0b45
000003a0: JUMP
000003a1: JUMPDEST
000003a2: PUSH1 0x40
000003a4: MLOAD
000003a5: PUSH2 0x03ae
000003a8: SWAP2
000003a9: SWAP1
000003aa: PUSH2 0x155a
000003ad: JUMP
000003ae: JUMPDEST
000003af: PUSH1 0x40
000003b1: MLOAD
000003b2: DUP1
000003b3: SWAP2
000003b4: SUB
000003b5: SWAP1
000003b6: RETURN
000003b7: JUMPDEST
000003b8: CALLVALUE
000003b9: DUP1
000003ba: ISZERO
000003bb: PUSH2 0x03c2
000003be: JUMPI
000003bf: PUSH0
000003c0: PUSH0
000003c1: REVERT
000003c2: JUMPDEST
000003c3: POP
000003c4: PUSH2 0x03dd
000003c7: PUSH1 0x04
000003c9: DUP1
000003ca: CALLDATASIZE
000003cb: SUB
000003cc: DUP2
000003cd: ADD
000003ce: SWAP1
000003cf: PUSH2 0x03d8
000003d2: SWAP2
000003d3: SWAP1
000003d4: PUSH2 0x1520
000003d7: JUMP
000003d8: JUMPDEST
000003d9: PUSH2 0x0b6b
000003dc: JUMP
000003dd: JUMPDEST
000003de: STOP
000003df: JUMPDEST
000003e0: CALLVALUE
000003e1: DUP1
000003e2: ISZERO
000003e3: PUSH2 0x03ea
000003e6: JUMPI
000003e7: PUSH0
000003e8: PUSH0
000003e9: REVERT
000003ea: JUMPDEST
000003eb: POP
000003ec: PUSH2 0x0405
000003ef: PUSH1 0x04
000003f1: DUP1
000003f2: CALLDATASIZE
000003f3: SUB
000003f4: DUP2
000003f5: ADD
000003f6: SWAP1
000003f7: PUSH2 0x0400
000003fa: SWAP2
000003fb: SWAP1
000003fc: PUSH2 0x161a
000003ff: JUMP
00000400: JUMPDEST
00000401: PUSH2 0x0f71
00000404: JUMP
00000405: JUMPDEST
00000406: STOP
00000407: JUMPDEST
00000408: CALLVALUE
00000409: DUP1
0000040a: ISZERO
0000040b: PUSH2 0x0412
0000040e: JUMPI
0000040f: PUSH0
00000410: PUSH0
00000411: REVERT
00000412: JUMPDEST
00000413: POP
00000414: PUSH2 0x042d
00000417: PUSH1 0x04
00000419: DUP1
0000041a: CALLDATASIZE
0000041b: SUB
0000041c: DUP2
0000041d: ADD
0000041e: SWAP1
0000041f: PUSH2 0x0428
00000422: SWAP2
00000423: SWAP1
00000424: PUSH2 0x1520
00000427: JUMP
00000428: JUMPDEST
00000429: PUSH2 0x11aa
0000042c: JUMP
0000042d: JUMPDEST
0000042e: PUSH1 0x40
00000430: MLOAD
00000431: PUSH2 0x043a
00000434: SWAP2
00000435: SWAP1
00000436: PUSH2 0x14dd
00000439: JUMP
0000043a: JUMPDEST
0000043b: PUSH1 0x40
0000043d: MLOAD
0000043e: DUP1
0000043f: SWAP2
00000440: SUB
00000441: SWAP1
00000442: RETURN
00000443: JUMPDEST
00000444: CALLVALUE
00000445: DUP1
00000446: ISZERO
00000447: PUSH2 0x044e
0000044a: JUMPI
0000044b: PUSH0
0000044c: PUSH0
0000044d: REVERT
0000044e: JUMPDEST
0000044f: POP
00000450: PUSH2 0x0469
00000453: PUSH1 0x04
00000455: DUP1
00000456: CALLDATASIZE
00000457: SUB
00000458: DUP2
00000459: ADD
0000045a: SWAP1
0000045b: PUSH2 0x0464
0000045e: SWAP2
0000045f: SWAP1
00000460: PUSH2 0x149a
00000463: JUMP
00000464: JUMPDEST
00000465: PUSH2 0x120e
00000468: JUMP
00000469: JUMPDEST
0000046a: STOP
0000046b: JUMPDEST
0000046c: CALLVALUE
0000046d: DUP1
0000046e: ISZERO
0000046f: PUSH2 0x0476
00000472: JUMPI
00000473: PUSH0
00000474: PUSH0
00000475: REVERT
00000476: JUMPDEST
00000477: POP
00000478: PUSH2 0x047f
0000047b: PUSH2 0x1292
0000047e: JUMP
0000047f: JUMPDEST
00000480: PUSH1 0x40
00000482: MLOAD
00000483: PUSH2 0x048c
00000486: SWAP2
00000487: SWAP1
00000488: PUSH2 0x14dd
0000048b: JUMP
0000048c: JUMPDEST
0000048d: PUSH1 0x40
0000048f: MLOAD
00000490: DUP1
00000491: SWAP2
00000492: SUB
00000493: SWAP1
00000494: RETURN
00000495: JUMPDEST
00000496: PUSH0
00000497: PUSH1 0x04
00000499: PUSH0
0000049a: DUP4
0000049b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004b0: AND
000004b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004c6: AND
000004c7: DUP2
000004c8: MSTORE
000004c9: PUSH1 0x20
000004cb: ADD
000004cc: SWAP1
000004cd: DUP2
000004ce: MSTORE
000004cf: PUSH1 0x20
000004d1: ADD
000004d2: PUSH0
000004d3: KECCAK256
000004d4: SLOAD
000004d5: SWAP1
000004d6: POP
000004d7: SWAP2
000004d8: SWAP1
000004d9: POP
000004da: JUMP
000004db: JUMPDEST
000004dc: PUSH2 0x04e3
000004df: PUSH2 0x129e
000004e2: JUMP
000004e3: JUMPDEST
000004e4: PUSH2 0x04eb
000004e7: PUSH2 0x0812
000004ea: JUMP
000004eb: JUMPDEST
000004ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000501: AND
00000502: PUSH2 0x08fc
00000505: SELFBALANCE
00000506: SWAP1
00000507: DUP2
00000508: ISZERO
00000509: MUL
0000050a: SWAP1
0000050b: PUSH1 0x40
0000050d: MLOAD
0000050e: PUSH0
0000050f: PUSH1 0x40
00000511: MLOAD
00000512: DUP1
00000513: DUP4
00000514: SUB
00000515: DUP2
00000516: DUP6
00000517: DUP9
00000518: DUP9
00000519: CALL
0000051a: SWAP4
0000051b: POP
0000051c: POP
0000051d: POP
0000051e: POP
0000051f: ISZERO
00000520: DUP1
00000521: ISZERO
00000522: PUSH2 0x052d
00000525: JUMPI
00000526: RETURNDATASIZE
00000527: PUSH0
00000528: PUSH0
00000529: RETURNDATACOPY
0000052a: RETURNDATASIZE
0000052b: PUSH0
0000052c: REVERT
0000052d: JUMPDEST
0000052e: POP
0000052f: JUMP
00000530: JUMPDEST
00000531: PUSH1 0x05
00000533: PUSH1 0x20
00000535: MSTORE
00000536: DUP1
00000537: PUSH0
00000538: MSTORE
00000539: PUSH1 0x40
0000053b: PUSH0
0000053c: KECCAK256
0000053d: PUSH0
0000053e: SWAP2
0000053f: POP
00000540: SWAP1
00000541: POP
00000542: SLOAD
00000543: DUP2
00000544: JUMP
00000545: JUMPDEST
00000546: PUSH2 0x054d
00000549: PUSH2 0x129e
0000054c: JUMP
0000054d: JUMPDEST
0000054e: PUSH1 0x02
00000550: PUSH0
00000551: SWAP1
00000552: SLOAD
00000553: SWAP1
00000554: PUSH2 0x0100
00000557: EXP
00000558: SWAP1
00000559: DIV
0000055a: PUSH1 0xff
0000055c: AND
0000055d: ISZERO
0000055e: PUSH1 0x02
00000560: PUSH0
00000561: PUSH2 0x0100
00000564: EXP
00000565: DUP2
00000566: SLOAD
00000567: DUP2
00000568: PUSH1 0xff
0000056a: MUL
0000056b: NOT
0000056c: AND
0000056d: SWAP1
0000056e: DUP4
0000056f: ISZERO
00000570: ISZERO
00000571: MUL
00000572: OR
00000573: SWAP1
00000574: SSTORE
00000575: POP
00000576: JUMP
00000577: JUMPDEST
00000578: PUSH2 0x057f
0000057b: PUSH2 0x129e
0000057e: JUMP
0000057f: JUMPDEST
00000580: PUSH1 0x02
00000582: PUSH1 0x01
00000584: SWAP1
00000585: SLOAD
00000586: SWAP1
00000587: PUSH2 0x0100
0000058a: EXP
0000058b: SWAP1
0000058c: DIV
0000058d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005a2: AND
000005a3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005b8: AND
000005b9: PUSH4 0xa9059cbb
000005be: PUSH2 0x05c5
000005c1: PUSH2 0x0812
000005c4: JUMP
000005c5: JUMPDEST
000005c6: PUSH1 0x02
000005c8: PUSH1 0x01
000005ca: SWAP1
000005cb: SLOAD
000005cc: SWAP1
000005cd: PUSH2 0x0100
000005d0: EXP
000005d1: SWAP1
000005d2: DIV
000005d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005e8: AND
000005e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000005fe: AND
000005ff: PUSH4 0x70a08231
00000604: ADDRESS
00000605: PUSH1 0x40
00000607: MLOAD
00000608: DUP3
00000609: PUSH4 0xffffffff
0000060e: AND
0000060f: PUSH1 0xe0
00000611: SHL
00000612: DUP2
00000613: MSTORE
00000614: PUSH1 0x04
00000616: ADD
00000617: PUSH2 0x0620
0000061a: SWAP2
0000061b: SWAP1
0000061c: PUSH2 0x155a
0000061f: JUMP
00000620: JUMPDEST
00000621: PUSH1 0x20
00000623: PUSH1 0x40
00000625: MLOAD
00000626: DUP1
00000627: DUP4
00000628: SUB
00000629: DUP2
0000062a: DUP7
0000062b: GAS
0000062c: STATICCALL
0000062d: ISZERO
0000062e: DUP1
0000062f: ISZERO
00000630: PUSH2 0x063b
00000633: JUMPI
00000634: RETURNDATASIZE
00000635: PUSH0
00000636: PUSH0
00000637: RETURNDATACOPY
00000638: RETURNDATASIZE
00000639: PUSH0
0000063a: REVERT
0000063b: JUMPDEST
0000063c: POP
0000063d: POP
0000063e: POP
0000063f: POP
00000640: PUSH1 0x40
00000642: MLOAD
00000643: RETURNDATASIZE
00000644: PUSH1 0x1f
00000646: NOT
00000647: PUSH1 0x1f
00000649: DUP3
0000064a: ADD
0000064b: AND
0000064c: DUP3
0000064d: ADD
0000064e: DUP1
0000064f: PUSH1 0x40
00000651: MSTORE
00000652: POP
00000653: DUP2
00000654: ADD
00000655: SWAP1
00000656: PUSH2 0x065f
00000659: SWAP2
0000065a: SWAP1
0000065b: PUSH2 0x166c
0000065e: JUMP
0000065f: JUMPDEST
00000660: PUSH1 0x40
00000662: MLOAD
00000663: DUP4
00000664: PUSH4 0xffffffff
00000669: AND
0000066a: PUSH1 0xe0
0000066c: SHL
0000066d: DUP2
0000066e: MSTORE
0000066f: PUSH1 0x04
00000671: ADD
00000672: PUSH2 0x067c
00000675: SWAP3
00000676: SWAP2
00000677: SWAP1
00000678: PUSH2 0x1697
0000067b: JUMP
0000067c: JUMPDEST
0000067d: PUSH1 0x20
0000067f: PUSH1 0x40
00000681: MLOAD
00000682: DUP1
00000683: DUP4
00000684: SUB
00000685: DUP2
00000686: PUSH0
00000687: DUP8
00000688: GAS
00000689: CALL
0000068a: ISZERO
0000068b: DUP1
0000068c: ISZERO
0000068d: PUSH2 0x0698
00000690: JUMPI
00000691: RETURNDATASIZE
00000692: PUSH0
00000693: PUSH0
00000694: RETURNDATACOPY
00000695: RETURNDATASIZE
00000696: PUSH0
00000697: REVERT
00000698: JUMPDEST
00000699: POP
0000069a: POP
0000069b: POP
0000069c: POP
0000069d: PUSH1 0x40
0000069f: MLOAD
000006a0: RETURNDATASIZE
000006a1: PUSH1 0x1f
000006a3: NOT
000006a4: PUSH1 0x1f
000006a6: DUP3
000006a7: ADD
000006a8: AND
000006a9: DUP3
000006aa: ADD
000006ab: DUP1
000006ac: PUSH1 0x40
000006ae: MSTORE
000006af: POP
000006b0: DUP2
000006b1: ADD
000006b2: SWAP1
000006b3: PUSH2 0x06bc
000006b6: SWAP2
000006b7: SWAP1
000006b8: PUSH2 0x16e8
000006bb: JUMP
000006bc: JUMPDEST
000006bd: POP
000006be: JUMP
000006bf: JUMPDEST
000006c0: PUSH1 0x08
000006c2: DUP2
000006c3: DUP2
000006c4: SLOAD
000006c5: DUP2
000006c6: LT
000006c7: PUSH2 0x06ce
000006ca: JUMPI
000006cb: PUSH0
000006cc: DUP1
000006cd: REVERT
000006ce: JUMPDEST
000006cf: SWAP1
000006d0: PUSH0
000006d1: MSTORE
000006d2: PUSH1 0x20
000006d4: PUSH0
000006d5: KECCAK256
000006d6: ADD
000006d7: PUSH0
000006d8: SWAP2
000006d9: POP
000006da: SLOAD
000006db: SWAP1
000006dc: PUSH2 0x0100
000006df: EXP
000006e0: SWAP1
000006e1: DIV
000006e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000006f7: AND
000006f8: DUP2
000006f9: JUMP
000006fa: JUMPDEST
000006fb: PUSH1 0x04
000006fd: PUSH1 0x20
000006ff: MSTORE
00000700: DUP1
00000701: PUSH0
00000702: MSTORE
00000703: PUSH1 0x40
00000705: PUSH0
00000706: KECCAK256
00000707: PUSH0
00000708: SWAP2
00000709: POP
0000070a: SWAP1
0000070b: POP
0000070c: SLOAD
0000070d: DUP2
0000070e: JUMP
0000070f: JUMPDEST
00000710: PUSH1 0x07
00000712: SLOAD
00000713: DUP2
00000714: JUMP
00000715: JUMPDEST
00000716: PUSH1 0x02
00000718: PUSH0
00000719: SWAP1
0000071a: SLOAD
0000071b: SWAP1
0000071c: PUSH2 0x0100
0000071f: EXP
00000720: SWAP1
00000721: DIV
00000722: PUSH1 0xff
00000724: AND
00000725: DUP2
00000726: JUMP
00000727: JUMPDEST
00000728: PUSH1 0x06
0000072a: SLOAD
0000072b: DUP2
0000072c: JUMP
0000072d: JUMPDEST
0000072e: PUSH2 0x0735
00000731: PUSH2 0x129e
00000734: JUMP
00000735: JUMPDEST
00000736: PUSH2 0x073e
00000739: PUSH0
0000073a: PUSH2 0x1325
0000073d: JUMP
0000073e: JUMPDEST
0000073f: JUMP
00000740: JUMPDEST
00000741: PUSH1 0x03
00000743: PUSH0
00000744: SWAP1
00000745: SLOAD
00000746: SWAP1
00000747: PUSH2 0x0100
0000074a: EXP
0000074b: SWAP1
0000074c: DIV
0000074d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000762: AND
00000763: DUP2
00000764: JUMP
00000765: JUMPDEST
00000766: PUSH0
00000767: PUSH0
00000768: PUSH1 0x03
0000076a: PUSH0
0000076b: SWAP1
0000076c: SLOAD
0000076d: SWAP1
0000076e: PUSH2 0x0100
00000771: EXP
00000772: SWAP1
00000773: DIV
00000774: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000789: AND
0000078a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000079f: AND
000007a0: PUSH4 0xfeaf968c
000007a5: PUSH1 0x40
000007a7: MLOAD
000007a8: DUP2
000007a9: PUSH4 0xffffffff
000007ae: AND
000007af: PUSH1 0xe0
000007b1: SHL
000007b2: DUP2
000007b3: MSTORE
000007b4: PUSH1 0x04
000007b6: ADD
000007b7: PUSH1 0xa0
000007b9: PUSH1 0x40
000007bb: MLOAD
000007bc: DUP1
000007bd: DUP4
000007be: SUB
000007bf: DUP2
000007c0: DUP7
000007c1: GAS
000007c2: STATICCALL
000007c3: ISZERO
000007c4: DUP1
000007c5: ISZERO
000007c6: PUSH2 0x07d1
000007c9: JUMPI
000007ca: RETURNDATASIZE
000007cb: PUSH0
000007cc: PUSH0
000007cd: RETURNDATACOPY
000007ce: RETURNDATASIZE
000007cf: PUSH0
000007d0: REVERT
000007d1: JUMPDEST
000007d2: POP
000007d3: POP
000007d4: POP
000007d5: POP
000007d6: PUSH1 0x40
000007d8: MLOAD
000007d9: RETURNDATASIZE
000007da: PUSH1 0x1f
000007dc: NOT
000007dd: PUSH1 0x1f
000007df: DUP3
000007e0: ADD
000007e1: AND
000007e2: DUP3
000007e3: ADD
000007e4: DUP1
000007e5: PUSH1 0x40
000007e7: MSTORE
000007e8: POP
000007e9: DUP2
000007ea: ADD
000007eb: SWAP1
000007ec: PUSH2 0x07f5
000007ef: SWAP2
000007f0: SWAP1
000007f1: PUSH2 0x1785
000007f4: JUMP
000007f5: JUMPDEST
000007f6: POP
000007f7: POP
000007f8: POP
000007f9: SWAP2
000007fa: POP
000007fb: POP
000007fc: PUSH5 0x02540be400
00000802: DUP2
00000803: PUSH2 0x080c
00000806: SWAP2
00000807: SWAP1
00000808: PUSH2 0x1829
0000080b: JUMP
0000080c: JUMPDEST
0000080d: SWAP2
0000080e: POP
0000080f: POP
00000810: SWAP1
00000811: JUMP
00000812: JUMPDEST
00000813: PUSH0
00000814: PUSH0
00000815: PUSH0
00000816: SWAP1
00000817: SLOAD
00000818: SWAP1
00000819: PUSH2 0x0100
0000081c: EXP
0000081d: SWAP1
0000081e: DIV
0000081f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000834: AND
00000835: SWAP1
00000836: POP
00000837: SWAP1
00000838: JUMP
00000839: JUMPDEST
0000083a: PUSH2 0x0841
0000083d: PUSH2 0x13e6
00000840: JUMP
00000841: JUMPDEST
00000842: PUSH1 0x02
00000844: PUSH0
00000845: SWAP1
00000846: SLOAD
00000847: SWAP1
00000848: PUSH2 0x0100
0000084b: EXP
0000084c: SWAP1
0000084d: DIV
0000084e: PUSH1 0xff
00000850: AND
00000851: PUSH2 0x088f
00000854: JUMPI
00000855: PUSH1 0x40
00000857: MLOAD
00000858: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000879: DUP2
0000087a: MSTORE
0000087b: PUSH1 0x04
0000087d: ADD
0000087e: PUSH2 0x0886
00000881: SWAP1
00000882: PUSH2 0x18c4
00000885: JUMP
00000886: JUMPDEST
00000887: PUSH1 0x40
00000889: MLOAD
0000088a: DUP1
0000088b: SWAP2
0000088c: SUB
0000088d: SWAP1
0000088e: REVERT
0000088f: JUMPDEST
00000890: PUSH0
00000891: PUSH8 0x0de0b6b3a7640000
0000089a: DUP3
0000089b: PUSH2 0x08a4
0000089e: SWAP2
0000089f: SWAP1
000008a0: PUSH2 0x1829
000008a3: JUMP
000008a4: JUMPDEST
000008a5: SWAP1
000008a6: POP
000008a7: PUSH0
000008a8: DUP3
000008a9: GT
000008aa: PUSH2 0x08e8
000008ad: JUMPI
000008ae: PUSH1 0x40
000008b0: MLOAD
000008b1: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000008d2: DUP2
000008d3: MSTORE
000008d4: PUSH1 0x04
000008d6: ADD
000008d7: PUSH2 0x08df
000008da: SWAP1
000008db: PUSH2 0x192c
000008de: JUMP
000008df: JUMPDEST
000008e0: PUSH1 0x40
000008e2: MLOAD
000008e3: DUP1
000008e4: SWAP2
000008e5: SUB
000008e6: SWAP1
000008e7: REVERT
000008e8: JUMPDEST
000008e9: PUSH0
000008ea: PUSH1 0x05
000008ec: PUSH0
000008ed: DUP5
000008ee: DUP2
000008ef: MSTORE
000008f0: PUSH1 0x20
000008f2: ADD
000008f3: SWAP1
000008f4: DUP2
000008f5: MSTORE
000008f6: PUSH1 0x20
000008f8: ADD
000008f9: PUSH0
000008fa: KECCAK256
000008fb: SLOAD
000008fc: GT
000008fd: PUSH2 0x093b
00000900: JUMPI
00000901: PUSH1 0x40
00000903: MLOAD
00000904: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000925: DUP2
00000926: MSTORE
00000927: PUSH1 0x04
00000929: ADD
0000092a: PUSH2 0x0932
0000092d: SWAP1
0000092e: PUSH2 0x192c
00000931: JUMP
00000932: JUMPDEST
00000933: PUSH1 0x40
00000935: MLOAD
00000936: DUP1
00000937: SWAP2
00000938: SUB
00000939: SWAP1
0000093a: REVERT
0000093b: JUMPDEST
0000093c: PUSH1 0x06
0000093e: SLOAD
0000093f: PUSH1 0x07
00000941: SLOAD
00000942: DUP3
00000943: PUSH2 0x094c
00000946: SWAP2
00000947: SWAP1
00000948: PUSH2 0x194a
0000094b: JUMP
0000094c: JUMPDEST
0000094d: GT
0000094e: ISZERO
0000094f: PUSH2 0x098d
00000952: JUMPI
00000953: PUSH1 0x40
00000955: MLOAD
00000956: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000977: DUP2
00000978: MSTORE
00000979: PUSH1 0x04
0000097b: ADD
0000097c: PUSH2 0x0984
0000097f: SWAP1
00000980: PUSH2 0x19c7
00000983: JUMP
00000984: JUMPDEST
00000985: PUSH1 0x40
00000987: MLOAD
00000988: DUP1
00000989: SWAP2
0000098a: SUB
0000098b: SWAP1
0000098c: REVERT
0000098d: JUMPDEST
0000098e: PUSH0
0000098f: CALLVALUE
00000990: GT
00000991: PUSH2 0x09cf
00000994: JUMPI
00000995: PUSH1 0x40
00000997: MLOAD
00000998: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009b9: DUP2
000009ba: MSTORE
000009bb: PUSH1 0x04
000009bd: ADD
000009be: PUSH2 0x09c6
000009c1: SWAP1
000009c2: PUSH2 0x1a2f
000009c5: JUMP
000009c6: JUMPDEST
000009c7: PUSH1 0x40
000009c9: MLOAD
000009ca: DUP1
000009cb: SWAP2
000009cc: SUB
000009cd: SWAP1
000009ce: REVERT
000009cf: JUMPDEST
000009d0: PUSH0
000009d1: PUSH2 0x09d9
000009d4: DUP4
000009d5: PUSH2 0x11aa
000009d8: JUMP
000009d9: JUMPDEST
000009da: SWAP1
000009db: POP
000009dc: CALLVALUE
000009dd: DUP2
000009de: EQ
000009df: PUSH2 0x0a1d
000009e2: JUMPI
000009e3: PUSH1 0x40
000009e5: MLOAD
000009e6: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a07: DUP2
00000a08: MSTORE
00000a09: PUSH1 0x04
00000a0b: ADD
00000a0c: PUSH2 0x0a14
00000a0f: SWAP1
00000a10: PUSH2 0x1a97
00000a13: JUMP
00000a14: JUMPDEST
00000a15: PUSH1 0x40
00000a17: MLOAD
00000a18: DUP1
00000a19: SWAP2
00000a1a: SUB
00000a1b: SWAP1
00000a1c: REVERT
00000a1d: JUMPDEST
00000a1e: DUP2
00000a1f: PUSH1 0x07
00000a21: PUSH0
00000a22: DUP3
00000a23: DUP3
00000a24: SLOAD
00000a25: PUSH2 0x0a2e
00000a28: SWAP2
00000a29: SWAP1
00000a2a: PUSH2 0x194a
00000a2d: JUMP
00000a2e: JUMPDEST
00000a2f: SWAP3
00000a30: POP
00000a31: POP
00000a32: DUP2
00000a33: SWAP1
00000a34: SSTORE
00000a35: POP
00000a36: DUP2
00000a37: PUSH1 0x04
00000a39: PUSH0
00000a3a: CALLER
00000a3b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a50: AND
00000a51: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a66: AND
00000a67: DUP2
00000a68: MSTORE
00000a69: PUSH1 0x20
00000a6b: ADD
00000a6c: SWAP1
00000a6d: DUP2
00000a6e: MSTORE
00000a6f: PUSH1 0x20
00000a71: ADD
00000a72: PUSH0
00000a73: KECCAK256
00000a74: PUSH0
00000a75: DUP3
00000a76: DUP3
00000a77: SLOAD
00000a78: PUSH2 0x0a81
00000a7b: SWAP2
00000a7c: SWAP1
00000a7d: PUSH2 0x194a
00000a80: JUMP
00000a81: JUMPDEST
00000a82: SWAP3
00000a83: POP
00000a84: POP
00000a85: DUP2
00000a86: SWAP1
00000a87: SSTORE
00000a88: POP
00000a89: PUSH1 0x08
00000a8b: CALLER
00000a8c: SWAP1
00000a8d: DUP1
00000a8e: PUSH1 0x01
00000a90: DUP2
00000a91: SLOAD
00000a92: ADD
00000a93: DUP1
00000a94: DUP3
00000a95: SSTORE
00000a96: DUP1
00000a97: SWAP2
00000a98: POP
00000a99: POP
00000a9a: PUSH1 0x01
00000a9c: SWAP1
00000a9d: SUB
00000a9e: SWAP1
00000a9f: PUSH0
00000aa0: MSTORE
00000aa1: PUSH1 0x20
00000aa3: PUSH0
00000aa4: KECCAK256
00000aa5: ADD
00000aa6: PUSH0
00000aa7: SWAP1
00000aa8: SWAP2
00000aa9: SWAP1
00000aaa: SWAP2
00000aab: SWAP1
00000aac: SWAP2
00000aad: PUSH2 0x0100
00000ab0: EXP
00000ab1: DUP2
00000ab2: SLOAD
00000ab3: DUP2
00000ab4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ac9: MUL
00000aca: NOT
00000acb: AND
00000acc: SWAP1
00000acd: DUP4
00000ace: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ae3: AND
00000ae4: MUL
00000ae5: OR
00000ae6: SWAP1
00000ae7: SSTORE
00000ae8: POP
00000ae9: CALLER
00000aea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000aff: AND
00000b00: PUSH32 0xe8e3aa9086f33aa1d89447fc3a792fafabd987374e660b040e31787d68b5fe06
00000b21: DUP4
00000b22: CALLVALUE
00000b23: PUSH1 0x40
00000b25: MLOAD
00000b26: PUSH2 0x0b30
00000b29: SWAP3
00000b2a: SWAP2
00000b2b: SWAP1
00000b2c: PUSH2 0x1aff
00000b2f: JUMP
00000b30: JUMPDEST
00000b31: PUSH1 0x40
00000b33: MLOAD
00000b34: DUP1
00000b35: SWAP2
00000b36: SUB
00000b37: SWAP1
00000b38: LOG2
00000b39: POP
00000b3a: POP
00000b3b: PUSH2 0x0b42
00000b3e: PUSH2 0x142c
00000b41: JUMP
00000b42: JUMPDEST
00000b43: POP
00000b44: JUMP
00000b45: JUMPDEST
00000b46: PUSH1 0x02
00000b48: PUSH1 0x01
00000b4a: SWAP1
00000b4b: SLOAD
00000b4c: SWAP1
00000b4d: PUSH2 0x0100
00000b50: EXP
00000b51: SWAP1
00000b52: DIV
00000b53: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b68: AND
00000b69: DUP2
00000b6a: JUMP
00000b6b: JUMPDEST
00000b6c: PUSH2 0x0b73
00000b6f: PUSH2 0x13e6
00000b72: JUMP
00000b73: JUMPDEST
00000b74: PUSH1 0x02
00000b76: PUSH0
00000b77: SWAP1
00000b78: SLOAD
00000b79: SWAP1
00000b7a: PUSH2 0x0100
00000b7d: EXP
00000b7e: SWAP1
00000b7f: DIV
00000b80: PUSH1 0xff
00000b82: AND
00000b83: PUSH2 0x0bc1
00000b86: JUMPI
00000b87: PUSH1 0x40
00000b89: MLOAD
00000b8a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000bab: DUP2
00000bac: MSTORE
00000bad: PUSH1 0x04
00000baf: ADD
00000bb0: PUSH2 0x0bb8
00000bb3: SWAP1
00000bb4: PUSH2 0x18c4
00000bb7: JUMP
00000bb8: JUMPDEST
00000bb9: PUSH1 0x40
00000bbb: MLOAD
00000bbc: DUP1
00000bbd: SWAP2
00000bbe: SUB
00000bbf: SWAP1
00000bc0: REVERT
00000bc1: JUMPDEST
00000bc2: PUSH0
00000bc3: PUSH8 0x0de0b6b3a7640000
00000bcc: DUP3
00000bcd: PUSH2 0x0bd6
00000bd0: SWAP2
00000bd1: SWAP1
00000bd2: PUSH2 0x1829
00000bd5: JUMP
00000bd6: JUMPDEST
00000bd7: SWAP1
00000bd8: POP
00000bd9: PUSH0
00000bda: DUP3
00000bdb: GT
00000bdc: PUSH2 0x0c1a
00000bdf: JUMPI
00000be0: PUSH1 0x40
00000be2: MLOAD
00000be3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c04: DUP2
00000c05: MSTORE
00000c06: PUSH1 0x04
00000c08: ADD
00000c09: PUSH2 0x0c11
00000c0c: SWAP1
00000c0d: PUSH2 0x192c
00000c10: JUMP
00000c11: JUMPDEST
00000c12: PUSH1 0x40
00000c14: MLOAD
00000c15: DUP1
00000c16: SWAP2
00000c17: SUB
00000c18: SWAP1
00000c19: REVERT
00000c1a: JUMPDEST
00000c1b: PUSH0
00000c1c: PUSH1 0x05
00000c1e: PUSH0
00000c1f: DUP5
00000c20: DUP2
00000c21: MSTORE
00000c22: PUSH1 0x20
00000c24: ADD
00000c25: SWAP1
00000c26: DUP2
00000c27: MSTORE
00000c28: PUSH1 0x20
00000c2a: ADD
00000c2b: PUSH0
00000c2c: KECCAK256
00000c2d: SLOAD
00000c2e: GT
00000c2f: PUSH2 0x0c6d
00000c32: JUMPI
00000c33: PUSH1 0x40
00000c35: MLOAD
00000c36: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c57: DUP2
00000c58: MSTORE
00000c59: PUSH1 0x04
00000c5b: ADD
00000c5c: PUSH2 0x0c64
00000c5f: SWAP1
00000c60: PUSH2 0x192c
00000c63: JUMP
00000c64: JUMPDEST
00000c65: PUSH1 0x40
00000c67: MLOAD
00000c68: DUP1
00000c69: SWAP2
00000c6a: SUB
00000c6b: SWAP1
00000c6c: REVERT
00000c6d: JUMPDEST
00000c6e: PUSH1 0x06
00000c70: SLOAD
00000c71: PUSH1 0x07
00000c73: SLOAD
00000c74: DUP3
00000c75: PUSH2 0x0c7e
00000c78: SWAP2
00000c79: SWAP1
00000c7a: PUSH2 0x194a
00000c7d: JUMP
00000c7e: JUMPDEST
00000c7f: GT
00000c80: ISZERO
00000c81: PUSH2 0x0cbf
00000c84: JUMPI
00000c85: PUSH1 0x40
00000c87: MLOAD
00000c88: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ca9: DUP2
00000caa: MSTORE
00000cab: PUSH1 0x04
00000cad: ADD
00000cae: PUSH2 0x0cb6
00000cb1: SWAP1
00000cb2: PUSH2 0x19c7
00000cb5: JUMP
00000cb6: JUMPDEST
00000cb7: PUSH1 0x40
00000cb9: MLOAD
00000cba: DUP1
00000cbb: SWAP2
00000cbc: SUB
00000cbd: SWAP1
00000cbe: REVERT
00000cbf: JUMPDEST
00000cc0: PUSH0
00000cc1: PUSH1 0x05
00000cc3: PUSH0
00000cc4: DUP5
00000cc5: DUP2
00000cc6: MSTORE
00000cc7: PUSH1 0x20
00000cc9: ADD
00000cca: SWAP1
00000ccb: DUP2
00000ccc: MSTORE
00000ccd: PUSH1 0x20
00000ccf: ADD
00000cd0: PUSH0
00000cd1: KECCAK256
00000cd2: SLOAD
00000cd3: DUP4
00000cd4: PUSH2 0x0cdd
00000cd7: SWAP2
00000cd8: SWAP1
00000cd9: PUSH2 0x1829
00000cdc: JUMP
00000cdd: JUMPDEST
00000cde: SWAP1
00000cdf: POP
00000ce0: DUP1
00000ce1: PUSH1 0x02
00000ce3: PUSH1 0x01
00000ce5: SWAP1
00000ce6: SLOAD
00000ce7: SWAP1
00000ce8: PUSH2 0x0100
00000ceb: EXP
00000cec: SWAP1
00000ced: DIV
00000cee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d03: AND
00000d04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d19: AND
00000d1a: PUSH4 0xdd62ed3e
00000d1f: CALLER
00000d20: ADDRESS
00000d21: PUSH1 0x40
00000d23: MLOAD
00000d24: DUP4
00000d25: PUSH4 0xffffffff
00000d2a: AND
00000d2b: PUSH1 0xe0
00000d2d: SHL
00000d2e: DUP2
00000d2f: MSTORE
00000d30: PUSH1 0x04
00000d32: ADD
00000d33: PUSH2 0x0d3d
00000d36: SWAP3
00000d37: SWAP2
00000d38: SWAP1
00000d39: PUSH2 0x1b39
00000d3c: JUMP
00000d3d: JUMPDEST
00000d3e: PUSH1 0x20
00000d40: PUSH1 0x40
00000d42: MLOAD
00000d43: DUP1
00000d44: DUP4
00000d45: SUB
00000d46: DUP2
00000d47: DUP7
00000d48: GAS
00000d49: STATICCALL
00000d4a: ISZERO
00000d4b: DUP1
00000d4c: ISZERO
00000d4d: PUSH2 0x0d58
00000d50: JUMPI
00000d51: RETURNDATASIZE
00000d52: PUSH0
00000d53: PUSH0
00000d54: RETURNDATACOPY
00000d55: RETURNDATASIZE
00000d56: PUSH0
00000d57: REVERT
00000d58: JUMPDEST
00000d59: POP
00000d5a: POP
00000d5b: POP
00000d5c: POP
00000d5d: PUSH1 0x40
00000d5f: MLOAD
00000d60: RETURNDATASIZE
00000d61: PUSH1 0x1f
00000d63: NOT
00000d64: PUSH1 0x1f
00000d66: DUP3
00000d67: ADD
00000d68: AND
00000d69: DUP3
00000d6a: ADD
00000d6b: DUP1
00000d6c: PUSH1 0x40
00000d6e: MSTORE
00000d6f: POP
00000d70: DUP2
00000d71: ADD
00000d72: SWAP1
00000d73: PUSH2 0x0d7c
00000d76: SWAP2
00000d77: SWAP1
00000d78: PUSH2 0x166c
00000d7b: JUMP
00000d7c: JUMPDEST
00000d7d: LT
00000d7e: ISZERO
00000d7f: PUSH2 0x0dbd
00000d82: JUMPI
00000d83: PUSH1 0x40
00000d85: MLOAD
00000d86: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000da7: DUP2
00000da8: MSTORE
00000da9: PUSH1 0x04
00000dab: ADD
00000dac: PUSH2 0x0db4
00000daf: SWAP1
00000db0: PUSH2 0x1baa
00000db3: JUMP
00000db4: JUMPDEST
00000db5: PUSH1 0x40
00000db7: MLOAD
00000db8: DUP1
00000db9: SWAP2
00000dba: SUB
00000dbb: SWAP1
00000dbc: REVERT
00000dbd: JUMPDEST
00000dbe: PUSH1 0x02
00000dc0: PUSH1 0x01
00000dc2: SWAP1
00000dc3: SLOAD
00000dc4: SWAP1
00000dc5: PUSH2 0x0100
00000dc8: EXP
00000dc9: SWAP1
00000dca: DIV
00000dcb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000de0: AND
00000de1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000df6: AND
00000df7: PUSH4 0x23b872dd
00000dfc: CALLER
00000dfd: ADDRESS
00000dfe: DUP5
00000dff: PUSH1 0x40
00000e01: MLOAD
00000e02: DUP5
00000e03: PUSH4 0xffffffff
00000e08: AND
00000e09: PUSH1 0xe0
00000e0b: SHL
00000e0c: DUP2
00000e0d: MSTORE
00000e0e: PUSH1 0x04
00000e10: ADD
00000e11: PUSH2 0x0e1c
00000e14: SWAP4
00000e15: SWAP3
00000e16: SWAP2
00000e17: SWAP1
00000e18: PUSH2 0x1bc8
00000e1b: JUMP
00000e1c: JUMPDEST
00000e1d: PUSH0
00000e1e: PUSH1 0x40
00000e20: MLOAD
00000e21: DUP1
00000e22: DUP4
00000e23: SUB
00000e24: DUP2
00000e25: PUSH0
00000e26: DUP8
00000e27: DUP1
00000e28: EXTCODESIZE
00000e29: ISZERO
00000e2a: DUP1
00000e2b: ISZERO
00000e2c: PUSH2 0x0e33
00000e2f: JUMPI
00000e30: PUSH0
00000e31: PUSH0
00000e32: REVERT
00000e33: JUMPDEST
00000e34: POP
00000e35: GAS
00000e36: CALL
00000e37: ISZERO
00000e38: DUP1
00000e39: ISZERO
00000e3a: PUSH2 0x0e45
00000e3d: JUMPI
00000e3e: RETURNDATASIZE
00000e3f: PUSH0
00000e40: PUSH0
00000e41: RETURNDATACOPY
00000e42: RETURNDATASIZE
00000e43: PUSH0
00000e44: REVERT
00000e45: JUMPDEST
00000e46: POP
00000e47: POP
00000e48: POP
00000e49: POP
00000e4a: DUP2
00000e4b: PUSH1 0x07
00000e4d: PUSH0
00000e4e: DUP3
00000e4f: DUP3
00000e50: SLOAD
00000e51: PUSH2 0x0e5a
00000e54: SWAP2
00000e55: SWAP1
00000e56: PUSH2 0x194a
00000e59: JUMP
00000e5a: JUMPDEST
00000e5b: SWAP3
00000e5c: POP
00000e5d: POP
00000e5e: DUP2
00000e5f: SWAP1
00000e60: SSTORE
00000e61: POP
00000e62: DUP2
00000e63: PUSH1 0x04
00000e65: PUSH0
00000e66: CALLER
00000e67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e7c: AND
00000e7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e92: AND
00000e93: DUP2
00000e94: MSTORE
00000e95: PUSH1 0x20
00000e97: ADD
00000e98: SWAP1
00000e99: DUP2
00000e9a: MSTORE
00000e9b: PUSH1 0x20
00000e9d: ADD
00000e9e: PUSH0
00000e9f: KECCAK256
00000ea0: PUSH0
00000ea1: DUP3
00000ea2: DUP3
00000ea3: SLOAD
00000ea4: PUSH2 0x0ead
00000ea7: SWAP2
00000ea8: SWAP1
00000ea9: PUSH2 0x194a
00000eac: JUMP
00000ead: JUMPDEST
00000eae: SWAP3
00000eaf: POP
00000eb0: POP
00000eb1: DUP2
00000eb2: SWAP1
00000eb3: SSTORE
00000eb4: POP
00000eb5: PUSH1 0x08
00000eb7: CALLER
00000eb8: SWAP1
00000eb9: DUP1
00000eba: PUSH1 0x01
00000ebc: DUP2
00000ebd: SLOAD
00000ebe: ADD
00000ebf: DUP1
00000ec0: DUP3
00000ec1: SSTORE
00000ec2: DUP1
00000ec3: SWAP2
00000ec4: POP
00000ec5: POP
00000ec6: PUSH1 0x01
00000ec8: SWAP1
00000ec9: SUB
00000eca: SWAP1
00000ecb: PUSH0
00000ecc: MSTORE
00000ecd: PUSH1 0x20
00000ecf: PUSH0
00000ed0: KECCAK256
00000ed1: ADD
00000ed2: PUSH0
00000ed3: SWAP1
00000ed4: SWAP2
00000ed5: SWAP1
00000ed6: SWAP2
00000ed7: SWAP1
00000ed8: SWAP2
00000ed9: PUSH2 0x0100
00000edc: EXP
00000edd: DUP2
00000ede: SLOAD
00000edf: DUP2
00000ee0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ef5: MUL
00000ef6: NOT
00000ef7: AND
00000ef8: SWAP1
00000ef9: DUP4
00000efa: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f0f: AND
00000f10: MUL
00000f11: OR
00000f12: SWAP1
00000f13: SSTORE
00000f14: POP
00000f15: CALLER
00000f16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f2b: AND
00000f2c: PUSH32 0xe8e3aa9086f33aa1d89447fc3a792fafabd987374e660b040e31787d68b5fe06
00000f4d: DUP4
00000f4e: DUP4
00000f4f: PUSH1 0x40
00000f51: MLOAD
00000f52: PUSH2 0x0f5c
00000f55: SWAP3
00000f56: SWAP2
00000f57: SWAP1
00000f58: PUSH2 0x1c47
00000f5b: JUMP
00000f5c: JUMPDEST
00000f5d: PUSH1 0x40
00000f5f: MLOAD
00000f60: DUP1
00000f61: SWAP2
00000f62: SUB
00000f63: SWAP1
00000f64: LOG2
00000f65: POP
00000f66: POP
00000f67: PUSH2 0x0f6e
00000f6a: PUSH2 0x142c
00000f6d: JUMP
00000f6e: JUMPDEST
00000f6f: POP
00000f70: JUMP
00000f71: JUMPDEST
00000f72: PUSH2 0x0f79
00000f75: PUSH2 0x129e
00000f78: JUMP
00000f79: JUMPDEST
00000f7a: PUSH1 0x06
00000f7c: SLOAD
00000f7d: PUSH1 0x07
00000f7f: SLOAD
00000f80: PUSH8 0x0de0b6b3a7640000
00000f89: DUP4
00000f8a: PUSH2 0x0f93
00000f8d: SWAP2
00000f8e: SWAP1
00000f8f: PUSH2 0x1829
00000f92: JUMP
00000f93: JUMPDEST
00000f94: PUSH2 0x0f9d
00000f97: SWAP2
00000f98: SWAP1
00000f99: PUSH2 0x194a
00000f9c: JUMP
00000f9d: JUMPDEST
00000f9e: GT
00000f9f: ISZERO
00000fa0: PUSH2 0x0fde
00000fa3: JUMPI
00000fa4: PUSH1 0x40
00000fa6: MLOAD
00000fa7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000fc8: DUP2
00000fc9: MSTORE
00000fca: PUSH1 0x04
00000fcc: ADD
00000fcd: PUSH2 0x0fd5
00000fd0: SWAP1
00000fd1: PUSH2 0x19c7
00000fd4: JUMP
00000fd5: JUMPDEST
00000fd6: PUSH1 0x40
00000fd8: MLOAD
00000fd9: DUP1
00000fda: SWAP2
00000fdb: SUB
00000fdc: SWAP1
00000fdd: REVERT
00000fde: JUMPDEST
00000fdf: PUSH0
00000fe0: PUSH1 0x05
00000fe2: PUSH0
00000fe3: DUP4
00000fe4: DUP2
00000fe5: MSTORE
00000fe6: PUSH1 0x20
00000fe8: ADD
00000fe9: SWAP1
00000fea: DUP2
00000feb: MSTORE
00000fec: PUSH1 0x20
00000fee: ADD
00000fef: PUSH0
00000ff0: KECCAK256
00000ff1: SLOAD
00000ff2: GT
00000ff3: PUSH2 0x1031
00000ff6: JUMPI
00000ff7: PUSH1 0x40
00000ff9: MLOAD
00000ffa: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000101b: DUP2
0000101c: MSTORE
0000101d: PUSH1 0x04
0000101f: ADD
00001020: PUSH2 0x1028
00001023: SWAP1
00001024: PUSH2 0x192c
00001027: JUMP
00001028: JUMPDEST
00001029: PUSH1 0x40
0000102b: MLOAD
0000102c: DUP1
0000102d: SWAP2
0000102e: SUB
0000102f: SWAP1
00001030: REVERT
00001031: JUMPDEST
00001032: PUSH0
00001033: PUSH1 0x05
00001035: PUSH0
00001036: DUP4
00001037: DUP2
00001038: MSTORE
00001039: PUSH1 0x20
0000103b: ADD
0000103c: SWAP1
0000103d: DUP2
0000103e: MSTORE
0000103f: PUSH1 0x20
00001041: ADD
00001042: PUSH0
00001043: KECCAK256
00001044: SLOAD
00001045: DUP3
00001046: PUSH2 0x104f
00001049: SWAP2
0000104a: SWAP1
0000104b: PUSH2 0x1829
0000104e: JUMP
0000104f: JUMPDEST
00001050: SWAP1
00001051: POP
00001052: PUSH8 0x0de0b6b3a7640000
0000105b: DUP3
0000105c: PUSH2 0x1065
0000105f: SWAP2
00001060: SWAP1
00001061: PUSH2 0x1829
00001064: JUMP
00001065: JUMPDEST
00001066: PUSH1 0x04
00001068: PUSH0
00001069: DUP6
0000106a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000107f: AND
00001080: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001095: AND
00001096: DUP2
00001097: MSTORE
00001098: PUSH1 0x20
0000109a: ADD
0000109b: SWAP1
0000109c: DUP2
0000109d: MSTORE
0000109e: PUSH1 0x20
000010a0: ADD
000010a1: PUSH0
000010a2: KECCAK256
000010a3: PUSH0
000010a4: DUP3
000010a5: DUP3
000010a6: SLOAD
000010a7: PUSH2 0x10b0
000010aa: SWAP2
000010ab: SWAP1
000010ac: PUSH2 0x194a
000010af: JUMP
000010b0: JUMPDEST
000010b1: SWAP3
000010b2: POP
000010b3: POP
000010b4: DUP2
000010b5: SWAP1
000010b6: SSTORE
000010b7: POP
000010b8: PUSH8 0x0de0b6b3a7640000
000010c1: DUP3
000010c2: PUSH2 0x10cb
000010c5: SWAP2
000010c6: SWAP1
000010c7: PUSH2 0x1829
000010ca: JUMP
000010cb: JUMPDEST
000010cc: PUSH1 0x07
000010ce: PUSH0
000010cf: DUP3
000010d0: DUP3
000010d1: SLOAD
000010d2: PUSH2 0x10db
000010d5: SWAP2
000010d6: SWAP1
000010d7: PUSH2 0x194a
000010da: JUMP
000010db: JUMPDEST
000010dc: SWAP3
000010dd: POP
000010de: POP
000010df: DUP2
000010e0: SWAP1
000010e1: SSTORE
000010e2: POP
000010e3: PUSH1 0x08
000010e5: DUP4
000010e6: SWAP1
000010e7: DUP1
000010e8: PUSH1 0x01
000010ea: DUP2
000010eb: SLOAD
000010ec: ADD
000010ed: DUP1
000010ee: DUP3
000010ef: SSTORE
000010f0: DUP1
000010f1: SWAP2
000010f2: POP
000010f3: POP
000010f4: PUSH1 0x01
000010f6: SWAP1
000010f7: SUB
000010f8: SWAP1
000010f9: PUSH0
000010fa: MSTORE
000010fb: PUSH1 0x20
000010fd: PUSH0
000010fe: KECCAK256
000010ff: ADD
00001100: PUSH0
00001101: SWAP1
00001102: SWAP2
00001103: SWAP1
00001104: SWAP2
00001105: SWAP1
00001106: SWAP2
00001107: PUSH2 0x0100
0000110a: EXP
0000110b: DUP2
0000110c: SLOAD
0000110d: DUP2
0000110e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001123: MUL
00001124: NOT
00001125: AND
00001126: SWAP1
00001127: DUP4
00001128: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000113d: AND
0000113e: MUL
0000113f: OR
00001140: SWAP1
00001141: SSTORE
00001142: POP
00001143: CALLER
00001144: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001159: AND
0000115a: PUSH32 0xe8e3aa9086f33aa1d89447fc3a792fafabd987374e660b040e31787d68b5fe06
0000117b: PUSH8 0x0de0b6b3a7640000
00001184: DUP5
00001185: PUSH2 0x118e
00001188: SWAP2
00001189: SWAP1
0000118a: PUSH2 0x1829
0000118d: JUMP
0000118e: JUMPDEST
0000118f: DUP4
00001190: PUSH1 0x40
00001192: MLOAD
00001193: PUSH2 0x119d
00001196: SWAP3
00001197: SWAP2
00001198: SWAP1
00001199: PUSH2 0x1ccb
0000119c: JUMP
0000119d: JUMPDEST
0000119e: PUSH1 0x40
000011a0: MLOAD
000011a1: DUP1
000011a2: SWAP2
000011a3: SUB
000011a4: SWAP1
000011a5: LOG2
000011a6: POP
000011a7: POP
000011a8: POP
000011a9: JUMP
000011aa: JUMPDEST
000011ab: PUSH0
000011ac: PUSH0
000011ad: PUSH2 0x11b4
000011b0: PUSH2 0x0765
000011b3: JUMP
000011b4: JUMPDEST
000011b5: SWAP1
000011b6: POP
000011b7: PUSH0
000011b8: PUSH5 0xe8d4a51000
000011be: PUSH1 0x05
000011c0: PUSH0
000011c1: DUP7
000011c2: DUP2
000011c3: MSTORE
000011c4: PUSH1 0x20
000011c6: ADD
000011c7: SWAP1
000011c8: DUP2
000011c9: MSTORE
000011ca: PUSH1 0x20
000011cc: ADD
000011cd: PUSH0
000011ce: KECCAK256
000011cf: SLOAD
000011d0: DUP6
000011d1: PUSH2 0x11da
000011d4: SWAP2
000011d5: SWAP1
000011d6: PUSH2 0x1829
000011d9: JUMP
000011da: JUMPDEST
000011db: PUSH2 0x11e4
000011de: SWAP2
000011df: SWAP1
000011e0: PUSH2 0x1829
000011e3: JUMP
000011e4: JUMPDEST
000011e5: SWAP1
000011e6: POP
000011e7: DUP2
000011e8: PUSH8 0x0de0b6b3a7640000
000011f1: DUP3
000011f2: PUSH2 0x11fb
000011f5: SWAP2
000011f6: SWAP1
000011f7: PUSH2 0x1829
000011fa: JUMP
000011fb: JUMPDEST
000011fc: PUSH2 0x1205
000011ff: SWAP2
00001200: SWAP1
00001201: PUSH2 0x1d32
00001204: JUMP
00001205: JUMPDEST
00001206: SWAP3
00001207: POP
00001208: POP
00001209: POP
0000120a: SWAP2
0000120b: SWAP1
0000120c: POP
0000120d: JUMP
0000120e: JUMPDEST
0000120f: PUSH2 0x1216
00001212: PUSH2 0x129e
00001215: JUMP
00001216: JUMPDEST
00001217: PUSH0
00001218: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000122d: AND
0000122e: DUP2
0000122f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001244: AND
00001245: SUB
00001246: PUSH2 0x1286
00001249: JUMPI
0000124a: PUSH0
0000124b: PUSH1 0x40
0000124d: MLOAD
0000124e: PUSH32 0x1e4fbdf700000000000000000000000000000000000000000000000000000000
0000126f: DUP2
00001270: MSTORE
00001271: PUSH1 0x04
00001273: ADD
00001274: PUSH2 0x127d
00001277: SWAP2
00001278: SWAP1
00001279: PUSH2 0x155a
0000127c: JUMP
0000127d: JUMPDEST
0000127e: PUSH1 0x40
00001280: MLOAD
00001281: DUP1
00001282: SWAP2
00001283: SUB
00001284: SWAP1
00001285: REVERT
00001286: JUMPDEST
00001287: PUSH2 0x128f
0000128a: DUP2
0000128b: PUSH2 0x1325
0000128e: JUMP
0000128f: JUMPDEST
00001290: POP
00001291: JUMP
00001292: JUMPDEST
00001293: PUSH0
00001294: PUSH1 0x08
00001296: DUP1
00001297: SLOAD
00001298: SWAP1
00001299: POP
0000129a: SWAP1
0000129b: POP
0000129c: SWAP1
0000129d: JUMP
0000129e: JUMPDEST
0000129f: PUSH2 0x12a6
000012a2: PUSH2 0x1435
000012a5: JUMP
000012a6: JUMPDEST
000012a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012bc: AND
000012bd: PUSH2 0x12c4
000012c0: PUSH2 0x0812
000012c3: JUMP
000012c4: JUMPDEST
000012c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012da: AND
000012db: EQ
000012dc: PUSH2 0x1323
000012df: JUMPI
000012e0: PUSH2 0x12e7
000012e3: PUSH2 0x1435
000012e6: JUMP
000012e7: JUMPDEST
000012e8: PUSH1 0x40
000012ea: MLOAD
000012eb: PUSH32 0x118cdaa700000000000000000000000000000000000000000000000000000000
0000130c: DUP2
0000130d: MSTORE
0000130e: PUSH1 0x04
00001310: ADD
00001311: PUSH2 0x131a
00001314: SWAP2
00001315: SWAP1
00001316: PUSH2 0x155a
00001319: JUMP
0000131a: JUMPDEST
0000131b: PUSH1 0x40
0000131d: MLOAD
0000131e: DUP1
0000131f: SWAP2
00001320: SUB
00001321: SWAP1
00001322: REVERT
00001323: JUMPDEST
00001324: JUMP
00001325: JUMPDEST
00001326: PUSH0
00001327: PUSH0
00001328: PUSH0
00001329: SWAP1
0000132a: SLOAD
0000132b: SWAP1
0000132c: PUSH2 0x0100
0000132f: EXP
00001330: SWAP1
00001331: DIV
00001332: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001347: AND
00001348: SWAP1
00001349: POP
0000134a: DUP2
0000134b: PUSH0
0000134c: PUSH0
0000134d: PUSH2 0x0100
00001350: EXP
00001351: DUP2
00001352: SLOAD
00001353: DUP2
00001354: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001369: MUL
0000136a: NOT
0000136b: AND
0000136c: SWAP1
0000136d: DUP4
0000136e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001383: AND
00001384: MUL
00001385: OR
00001386: SWAP1
00001387: SSTORE
00001388: POP
00001389: DUP2
0000138a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000139f: AND
000013a0: DUP2
000013a1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013b6: AND
000013b7: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000013d8: PUSH1 0x40
000013da: MLOAD
000013db: PUSH1 0x40
000013dd: MLOAD
000013de: DUP1
000013df: SWAP2
000013e0: SUB
000013e1: SWAP1
000013e2: LOG3
000013e3: POP
000013e4: POP
000013e5: JUMP
000013e6: JUMPDEST
000013e7: PUSH1 0x02
000013e9: PUSH1 0x01
000013eb: SLOAD
000013ec: SUB
000013ed: PUSH2 0x1422
000013f0: JUMPI
000013f1: PUSH1 0x40
000013f3: MLOAD
000013f4: PUSH32 0x3ee5aeb500000000000000000000000000000000000000000000000000000000
00001415: DUP2
00001416: MSTORE
00001417: PUSH1 0x04
00001419: ADD
0000141a: PUSH1 0x40
0000141c: MLOAD
0000141d: DUP1
0000141e: SWAP2
0000141f: SUB
00001420: SWAP1
00001421: REVERT
00001422: JUMPDEST
00001423: PUSH1 0x02
00001425: PUSH1 0x01
00001427: DUP2
00001428: SWAP1
00001429: SSTORE
0000142a: POP
0000142b: JUMP
0000142c: JUMPDEST
0000142d: PUSH1 0x01
0000142f: DUP1
00001430: DUP2
00001431: SWAP1
00001432: SSTORE
00001433: POP
00001434: JUMP
00001435: JUMPDEST
00001436: PUSH0
00001437: CALLER
00001438: SWAP1
00001439: POP
0000143a: SWAP1
0000143b: JUMP
0000143c: JUMPDEST
0000143d: PUSH0
0000143e: PUSH0
0000143f: REVERT
00001440: JUMPDEST
00001441: PUSH0
00001442: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001457: DUP3
00001458: AND
00001459: SWAP1
0000145a: POP
0000145b: SWAP2
0000145c: SWAP1
0000145d: POP
0000145e: JUMP
0000145f: JUMPDEST
00001460: PUSH0
00001461: PUSH2 0x1469
00001464: DUP3
00001465: PUSH2 0x1440
00001468: JUMP
00001469: JUMPDEST
0000146a: SWAP1
0000146b: POP
0000146c: SWAP2
0000146d: SWAP1
0000146e: POP
0000146f: JUMP
00001470: JUMPDEST
00001471: PUSH2 0x1479
00001474: DUP2
00001475: PUSH2 0x145f
00001478: JUMP
00001479: JUMPDEST
0000147a: DUP2
0000147b: EQ
0000147c: PUSH2 0x1483
0000147f: JUMPI
00001480: PUSH0
00001481: PUSH0
00001482: REVERT
00001483: JUMPDEST
00001484: POP
00001485: JUMP
00001486: JUMPDEST
00001487: PUSH0
00001488: DUP2
00001489: CALLDATALOAD
0000148a: SWAP1
0000148b: POP
0000148c: PUSH2 0x1494
0000148f: DUP2
00001490: PUSH2 0x1470
00001493: JUMP
00001494: JUMPDEST
00001495: SWAP3
00001496: SWAP2
00001497: POP
00001498: POP
00001499: JUMP
0000149a: JUMPDEST
0000149b: PUSH0
0000149c: PUSH1 0x20
0000149e: DUP3
0000149f: DUP5
000014a0: SUB
000014a1: SLT
000014a2: ISZERO
000014a3: PUSH2 0x14af
000014a6: JUMPI
000014a7: PUSH2 0x14ae
000014aa: PUSH2 0x143c
000014ad: JUMP
000014ae: JUMPDEST
000014af: JUMPDEST
000014b0: PUSH0
000014b1: PUSH2 0x14bc
000014b4: DUP5
000014b5: DUP3
000014b6: DUP6
000014b7: ADD
000014b8: PUSH2 0x1486
000014bb: JUMP
000014bc: JUMPDEST
000014bd: SWAP2
000014be: POP
000014bf: POP
000014c0: SWAP3
000014c1: SWAP2
000014c2: POP
000014c3: POP
000014c4: JUMP
000014c5: JUMPDEST
000014c6: PUSH0
000014c7: DUP2
000014c8: SWAP1
000014c9: POP
000014ca: SWAP2
000014cb: SWAP1
000014cc: POP
000014cd: JUMP
000014ce: JUMPDEST
000014cf: PUSH2 0x14d7
000014d2: DUP2
000014d3: PUSH2 0x14c5
000014d6: JUMP
000014d7: JUMPDEST
000014d8: DUP3
000014d9: MSTORE
000014da: POP
000014db: POP
000014dc: JUMP
000014dd: JUMPDEST
000014de: PUSH0
000014df: PUSH1 0x20
000014e1: DUP3
000014e2: ADD
000014e3: SWAP1
000014e4: POP
000014e5: PUSH2 0x14f0
000014e8: PUSH0
000014e9: DUP4
000014ea: ADD
000014eb: DUP5
000014ec: PUSH2 0x14ce
000014ef: JUMP
000014f0: JUMPDEST
000014f1: SWAP3
000014f2: SWAP2
000014f3: POP
000014f4: POP
000014f5: JUMP
000014f6: JUMPDEST
000014f7: PUSH2 0x14ff
000014fa: DUP2
000014fb: PUSH2 0x14c5
000014fe: JUMP
000014ff: JUMPDEST
00001500: DUP2
00001501: EQ
00001502: PUSH2 0x1509
00001505: JUMPI
00001506: PUSH0
00001507: PUSH0
00001508: REVERT
00001509: JUMPDEST
0000150a: POP
0000150b: JUMP
0000150c: JUMPDEST
0000150d: PUSH0
0000150e: DUP2
0000150f: CALLDATALOAD
00001510: SWAP1
00001511: POP
00001512: PUSH2 0x151a
00001515: DUP2
00001516: PUSH2 0x14f6
00001519: JUMP
0000151a: JUMPDEST
0000151b: SWAP3
0000151c: SWAP2
0000151d: POP
0000151e: POP
0000151f: JUMP
00001520: JUMPDEST
00001521: PUSH0
00001522: PUSH1 0x20
00001524: DUP3
00001525: DUP5
00001526: SUB
00001527: SLT
00001528: ISZERO
00001529: PUSH2 0x1535
0000152c: JUMPI
0000152d: PUSH2 0x1534
00001530: PUSH2 0x143c
00001533: JUMP
00001534: JUMPDEST
00001535: JUMPDEST
00001536: PUSH0
00001537: PUSH2 0x1542
0000153a: DUP5
0000153b: DUP3
0000153c: DUP6
0000153d: ADD
0000153e: PUSH2 0x150c
00001541: JUMP
00001542: JUMPDEST
00001543: SWAP2
00001544: POP
00001545: POP
00001546: SWAP3
00001547: SWAP2
00001548: POP
00001549: POP
0000154a: JUMP
0000154b: JUMPDEST
0000154c: PUSH2 0x1554
0000154f: DUP2
00001550: PUSH2 0x145f
00001553: JUMP
00001554: JUMPDEST
00001555: DUP3
00001556: MSTORE
00001557: POP
00001558: POP
00001559: JUMP
0000155a: JUMPDEST
0000155b: PUSH0
0000155c: PUSH1 0x20
0000155e: DUP3
0000155f: ADD
00001560: SWAP1
00001561: POP
00001562: PUSH2 0x156d
00001565: PUSH0
00001566: DUP4
00001567: ADD
00001568: DUP5
00001569: PUSH2 0x154b
0000156c: JUMP
0000156d: JUMPDEST
0000156e: SWAP3
0000156f: SWAP2
00001570: POP
00001571: POP
00001572: JUMP
00001573: JUMPDEST
00001574: PUSH0
00001575: DUP2
00001576: ISZERO
00001577: ISZERO
00001578: SWAP1
00001579: POP
0000157a: SWAP2
0000157b: SWAP1
0000157c: POP
0000157d: JUMP
0000157e: JUMPDEST
0000157f: PUSH2 0x1587
00001582: DUP2
00001583: PUSH2 0x1573
00001586: JUMP
00001587: JUMPDEST
00001588: DUP3
00001589: MSTORE
0000158a: POP
0000158b: POP
0000158c: JUMP
0000158d: JUMPDEST
0000158e: PUSH0
0000158f: PUSH1 0x20
00001591: DUP3
00001592: ADD
00001593: SWAP1
00001594: POP
00001595: PUSH2 0x15a0
00001598: PUSH0
00001599: DUP4
0000159a: ADD
0000159b: DUP5
0000159c: PUSH2 0x157e
0000159f: JUMP
000015a0: JUMPDEST
000015a1: SWAP3
000015a2: SWAP2
000015a3: POP
000015a4: POP
000015a5: JUMP
000015a6: JUMPDEST
000015a7: PUSH0
000015a8: DUP2
000015a9: SWAP1
000015aa: POP
000015ab: SWAP2
000015ac: SWAP1
000015ad: POP
000015ae: JUMP
000015af: JUMPDEST
000015b0: PUSH0
000015b1: PUSH2 0x15c9
000015b4: PUSH2 0x15c4
000015b7: PUSH2 0x15bf
000015ba: DUP5
000015bb: PUSH2 0x1440
000015be: JUMP
000015bf: JUMPDEST
000015c0: PUSH2 0x15a6
000015c3: JUMP
000015c4: JUMPDEST
000015c5: PUSH2 0x1440
000015c8: JUMP
000015c9: JUMPDEST
000015ca: SWAP1
000015cb: POP
000015cc: SWAP2
000015cd: SWAP1
000015ce: POP
000015cf: JUMP
000015d0: JUMPDEST
000015d1: PUSH0
000015d2: PUSH2 0x15da
000015d5: DUP3
000015d6: PUSH2 0x15af
000015d9: JUMP
000015da: JUMPDEST
000015db: SWAP1
000015dc: POP
000015dd: SWAP2
000015de: SWAP1
000015df: POP
000015e0: JUMP
000015e1: JUMPDEST
000015e2: PUSH0
000015e3: PUSH2 0x15eb
000015e6: DUP3
000015e7: PUSH2 0x15d0
000015ea: JUMP
000015eb: JUMPDEST
000015ec: SWAP1
000015ed: POP
000015ee: SWAP2
000015ef: SWAP1
000015f0: POP
000015f1: JUMP
000015f2: JUMPDEST
000015f3: PUSH2 0x15fb
000015f6: DUP2
000015f7: PUSH2 0x15e1
000015fa: JUMP
000015fb: JUMPDEST
000015fc: DUP3
000015fd: MSTORE
000015fe: POP
000015ff: POP
00001600: JUMP
00001601: JUMPDEST
00001602: PUSH0
00001603: PUSH1 0x20
00001605: DUP3
00001606: ADD
00001607: SWAP1
00001608: POP
00001609: PUSH2 0x1614
0000160c: PUSH0
0000160d: DUP4
0000160e: ADD
0000160f: DUP5
00001610: PUSH2 0x15f2
00001613: JUMP
00001614: JUMPDEST
00001615: SWAP3
00001616: SWAP2
00001617: POP
00001618: POP
00001619: JUMP
0000161a: JUMPDEST
0000161b: PUSH0
0000161c: PUSH0
0000161d: PUSH1 0x40
0000161f: DUP4
00001620: DUP6
00001621: SUB
00001622: SLT
00001623: ISZERO
00001624: PUSH2 0x1630
00001627: JUMPI
00001628: PUSH2 0x162f
0000162b: PUSH2 0x143c
0000162e: JUMP
0000162f: JUMPDEST
00001630: JUMPDEST
00001631: PUSH0
00001632: PUSH2 0x163d
00001635: DUP6
00001636: DUP3
00001637: DUP7
00001638: ADD
00001639: PUSH2 0x1486
0000163c: JUMP
0000163d: JUMPDEST
0000163e: SWAP3
0000163f: POP
00001640: POP
00001641: PUSH1 0x20
00001643: PUSH2 0x164e
00001646: DUP6
00001647: DUP3
00001648: DUP7
00001649: ADD
0000164a: PUSH2 0x150c
0000164d: JUMP
0000164e: JUMPDEST
0000164f: SWAP2
00001650: POP
00001651: POP
00001652: SWAP3
00001653: POP
00001654: SWAP3
00001655: SWAP1
00001656: POP
00001657: JUMP
00001658: JUMPDEST
00001659: PUSH0
0000165a: DUP2
0000165b: MLOAD
0000165c: SWAP1
0000165d: POP
0000165e: PUSH2 0x1666
00001661: DUP2
00001662: PUSH2 0x14f6
00001665: JUMP
00001666: JUMPDEST
00001667: SWAP3
00001668: SWAP2
00001669: POP
0000166a: POP
0000166b: JUMP
0000166c: JUMPDEST
0000166d: PUSH0
0000166e: PUSH1 0x20
00001670: DUP3
00001671: DUP5
00001672: SUB
00001673: SLT
00001674: ISZERO
00001675: PUSH2 0x1681
00001678: JUMPI
00001679: PUSH2 0x1680
0000167c: PUSH2 0x143c
0000167f: JUMP
00001680: JUMPDEST
00001681: JUMPDEST
00001682: PUSH0
00001683: PUSH2 0x168e
00001686: DUP5
00001687: DUP3
00001688: DUP6
00001689: ADD
0000168a: PUSH2 0x1658
0000168d: JUMP
0000168e: JUMPDEST
0000168f: SWAP2
00001690: POP
00001691: POP
00001692: SWAP3
00001693: SWAP2
00001694: POP
00001695: POP
00001696: JUMP
00001697: JUMPDEST
00001698: PUSH0
00001699: PUSH1 0x40
0000169b: DUP3
0000169c: ADD
0000169d: SWAP1
0000169e: POP
0000169f: PUSH2 0x16aa
000016a2: PUSH0
000016a3: DUP4
000016a4: ADD
000016a5: DUP6
000016a6: PUSH2 0x154b
000016a9: JUMP
000016aa: JUMPDEST
000016ab: PUSH2 0x16b7
000016ae: PUSH1 0x20
000016b0: DUP4
000016b1: ADD
000016b2: DUP5
000016b3: PUSH2 0x14ce
000016b6: JUMP
000016b7: JUMPDEST
000016b8: SWAP4
000016b9: SWAP3
000016ba: POP
000016bb: POP
000016bc: POP
000016bd: JUMP
000016be: JUMPDEST
000016bf: PUSH2 0x16c7
000016c2: DUP2
000016c3: PUSH2 0x1573
000016c6: JUMP
000016c7: JUMPDEST
000016c8: DUP2
000016c9: EQ
000016ca: PUSH2 0x16d1
000016cd: JUMPI
000016ce: PUSH0
000016cf: PUSH0
000016d0: REVERT
000016d1: JUMPDEST
000016d2: POP
000016d3: JUMP
000016d4: JUMPDEST
000016d5: PUSH0
000016d6: DUP2
000016d7: MLOAD
000016d8: SWAP1
000016d9: POP
000016da: PUSH2 0x16e2
000016dd: DUP2
000016de: PUSH2 0x16be
000016e1: JUMP
000016e2: JUMPDEST
000016e3: SWAP3
000016e4: SWAP2
000016e5: POP
000016e6: POP
000016e7: JUMP
000016e8: JUMPDEST
000016e9: PUSH0
000016ea: PUSH1 0x20
000016ec: DUP3
000016ed: DUP5
000016ee: SUB
000016ef: SLT
000016f0: ISZERO
000016f1: PUSH2 0x16fd
000016f4: JUMPI
000016f5: PUSH2 0x16fc
000016f8: PUSH2 0x143c
000016fb: JUMP
000016fc: JUMPDEST
000016fd: JUMPDEST
000016fe: PUSH0
000016ff: PUSH2 0x170a
00001702: DUP5
00001703: DUP3
00001704: DUP6
00001705: ADD
00001706: PUSH2 0x16d4
00001709: JUMP
0000170a: JUMPDEST
0000170b: SWAP2
0000170c: POP
0000170d: POP
0000170e: SWAP3
0000170f: SWAP2
00001710: POP
00001711: POP
00001712: JUMP
00001713: JUMPDEST
00001714: PUSH0
00001715: PUSH10 0xffffffffffffffffffff
00001720: DUP3
00001721: AND
00001722: SWAP1
00001723: POP
00001724: SWAP2
00001725: SWAP1
00001726: POP
00001727: JUMP
00001728: JUMPDEST
00001729: PUSH2 0x1731
0000172c: DUP2
0000172d: PUSH2 0x1713
00001730: JUMP
00001731: JUMPDEST
00001732: DUP2
00001733: EQ
00001734: PUSH2 0x173b
00001737: JUMPI
00001738: PUSH0
00001739: PUSH0
0000173a: REVERT
0000173b: JUMPDEST
0000173c: POP
0000173d: JUMP
0000173e: JUMPDEST
0000173f: PUSH0
00001740: DUP2
00001741: MLOAD
00001742: SWAP1
00001743: POP
00001744: PUSH2 0x174c
00001747: DUP2
00001748: PUSH2 0x1728
0000174b: JUMP
0000174c: JUMPDEST
0000174d: SWAP3
0000174e: SWAP2
0000174f: POP
00001750: POP
00001751: JUMP
00001752: JUMPDEST
00001753: PUSH0
00001754: DUP2
00001755: SWAP1
00001756: POP
00001757: SWAP2
00001758: SWAP1
00001759: POP
0000175a: JUMP
0000175b: JUMPDEST
0000175c: PUSH2 0x1764
0000175f: DUP2
00001760: PUSH2 0x1752
00001763: JUMP
00001764: JUMPDEST
00001765: DUP2
00001766: EQ
00001767: PUSH2 0x176e
0000176a: JUMPI
0000176b: PUSH0
0000176c: PUSH0
0000176d: REVERT
0000176e: JUMPDEST
0000176f: POP
00001770: JUMP
00001771: JUMPDEST
00001772: PUSH0
00001773: DUP2
00001774: MLOAD
00001775: SWAP1
00001776: POP
00001777: PUSH2 0x177f
0000177a: DUP2
0000177b: PUSH2 0x175b
0000177e: JUMP
0000177f: JUMPDEST
00001780: SWAP3
00001781: SWAP2
00001782: POP
00001783: POP
00001784: JUMP
00001785: JUMPDEST
00001786: PUSH0
00001787: PUSH0
00001788: PUSH0
00001789: PUSH0
0000178a: PUSH0
0000178b: PUSH1 0xa0
0000178d: DUP7
0000178e: DUP9
0000178f: SUB
00001790: SLT
00001791: ISZERO
00001792: PUSH2 0x179e
00001795: JUMPI
00001796: PUSH2 0x179d
00001799: PUSH2 0x143c
0000179c: JUMP
0000179d: JUMPDEST
0000179e: JUMPDEST
0000179f: PUSH0
000017a0: PUSH2 0x17ab
000017a3: DUP9
000017a4: DUP3
000017a5: DUP10
000017a6: ADD
000017a7: PUSH2 0x173e
000017aa: JUMP
000017ab: JUMPDEST
000017ac: SWAP6
000017ad: POP
000017ae: POP
000017af: PUSH1 0x20
000017b1: PUSH2 0x17bc
000017b4: DUP9
000017b5: DUP3
000017b6: DUP10
000017b7: ADD
000017b8: PUSH2 0x1771
000017bb: JUMP
000017bc: JUMPDEST
000017bd: SWAP5
000017be: POP
000017bf: POP
000017c0: PUSH1 0x40
000017c2: PUSH2 0x17cd
000017c5: DUP9
000017c6: DUP3
000017c7: DUP10
000017c8: ADD
000017c9: PUSH2 0x1658
000017cc: JUMP
000017cd: JUMPDEST
000017ce: SWAP4
000017cf: POP
000017d0: POP
000017d1: PUSH1 0x60
000017d3: PUSH2 0x17de
000017d6: DUP9
000017d7: DUP3
000017d8: DUP10
000017d9: ADD
000017da: PUSH2 0x1658
000017dd: JUMP
000017de: JUMPDEST
000017df: SWAP3
000017e0: POP
000017e1: POP
000017e2: PUSH1 0x80
000017e4: PUSH2 0x17ef
000017e7: DUP9
000017e8: DUP3
000017e9: DUP10
000017ea: ADD
000017eb: PUSH2 0x173e
000017ee: JUMP
000017ef: JUMPDEST
000017f0: SWAP2
000017f1: POP
000017f2: POP
000017f3: SWAP3
000017f4: SWAP6
000017f5: POP
000017f6: SWAP3
000017f7: SWAP6
000017f8: SWAP1
000017f9: SWAP4
000017fa: POP
000017fb: JUMP
000017fc: JUMPDEST
000017fd: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000181e: PUSH0
0000181f: MSTORE
00001820: PUSH1 0x11
00001822: PUSH1 0x04
00001824: MSTORE
00001825: PUSH1 0x24
00001827: PUSH0
00001828: REVERT
00001829: JUMPDEST
0000182a: PUSH0
0000182b: PUSH2 0x1833
0000182e: DUP3
0000182f: PUSH2 0x14c5
00001832: JUMP
00001833: JUMPDEST
00001834: SWAP2
00001835: POP
00001836: PUSH2 0x183e
00001839: DUP4
0000183a: PUSH2 0x14c5
0000183d: JUMP
0000183e: JUMPDEST
0000183f: SWAP3
00001840: POP
00001841: DUP3
00001842: DUP3
00001843: MUL
00001844: PUSH2 0x184c
00001847: DUP2
00001848: PUSH2 0x14c5
0000184b: JUMP
0000184c: JUMPDEST
0000184d: SWAP2
0000184e: POP
0000184f: DUP3
00001850: DUP3
00001851: DIV
00001852: DUP5
00001853: EQ
00001854: DUP4
00001855: ISZERO
00001856: OR
00001857: PUSH2 0x1863
0000185a: JUMPI
0000185b: PUSH2 0x1862
0000185e: PUSH2 0x17fc
00001861: JUMP
00001862: JUMPDEST
00001863: JUMPDEST
00001864: POP
00001865: SWAP3
00001866: SWAP2
00001867: POP
00001868: POP
00001869: JUMP
0000186a: JUMPDEST
0000186b: PUSH0
0000186c: DUP3
0000186d: DUP3
0000186e: MSTORE
0000186f: PUSH1 0x20
00001871: DUP3
00001872: ADD
00001873: SWAP1
00001874: POP
00001875: SWAP3
00001876: SWAP2
00001877: POP
00001878: POP
00001879: JUMP
0000187a: JUMPDEST
0000187b: PUSH32 0x50726573616c65206e6f74206163746976650000000000000000000000000000
0000189c: PUSH0
0000189d: DUP3
0000189e: ADD
0000189f: MSTORE
000018a0: POP
000018a1: JUMP
000018a2: JUMPDEST
000018a3: PUSH0
000018a4: PUSH2 0x18ae
000018a7: PUSH1 0x12
000018a9: DUP4
000018aa: PUSH2 0x186a
000018ad: JUMP
000018ae: JUMPDEST
000018af: SWAP2
000018b0: POP
000018b1: PUSH2 0x18b9
000018b4: DUP3
000018b5: PUSH2 0x187a
000018b8: JUMP
000018b9: JUMPDEST
000018ba: PUSH1 0x20
000018bc: DUP3
000018bd: ADD
000018be: SWAP1
000018bf: POP
000018c0: SWAP2
000018c1: SWAP1
000018c2: POP
000018c3: JUMP
000018c4: JUMPDEST
000018c5: PUSH0
000018c6: PUSH1 0x20
000018c8: DUP3
000018c9: ADD
000018ca: SWAP1
000018cb: POP
000018cc: DUP2
000018cd: DUP2
000018ce: SUB
000018cf: PUSH0
000018d0: DUP4
000018d1: ADD
000018d2: MSTORE
000018d3: PUSH2 0x18db
000018d6: DUP2
000018d7: PUSH2 0x18a2
000018da: JUMP
000018db: JUMPDEST
000018dc: SWAP1
000018dd: POP
000018de: SWAP2
000018df: SWAP1
000018e0: POP
000018e1: JUMP
000018e2: JUMPDEST
000018e3: PUSH32 0x53656e6420612076616c696420746f6b656e20616d6f756e7400000000000000
00001904: PUSH0
00001905: DUP3
00001906: ADD
00001907: MSTORE
00001908: POP
00001909: JUMP
0000190a: JUMPDEST
0000190b: PUSH0
0000190c: PUSH2 0x1916
0000190f: PUSH1 0x19
00001911: DUP4
00001912: PUSH2 0x186a
00001915: JUMP
00001916: JUMPDEST
00001917: SWAP2
00001918: POP
00001919: PUSH2 0x1921
0000191c: DUP3
0000191d: PUSH2 0x18e2
00001920: JUMP
00001921: JUMPDEST
00001922: PUSH1 0x20
00001924: DUP3
00001925: ADD
00001926: SWAP1
00001927: POP
00001928: SWAP2
00001929: SWAP1
0000192a: POP
0000192b: JUMP
0000192c: JUMPDEST
0000192d: PUSH0
0000192e: PUSH1 0x20
00001930: DUP3
00001931: ADD
00001932: SWAP1
00001933: POP
00001934: DUP2
00001935: DUP2
00001936: SUB
00001937: PUSH0
00001938: DUP4
00001939: ADD
0000193a: MSTORE
0000193b: PUSH2 0x1943
0000193e: DUP2
0000193f: PUSH2 0x190a
00001942: JUMP
00001943: JUMPDEST
00001944: SWAP1
00001945: POP
00001946: SWAP2
00001947: SWAP1
00001948: POP
00001949: JUMP
0000194a: JUMPDEST
0000194b: PUSH0
0000194c: PUSH2 0x1954
0000194f: DUP3
00001950: PUSH2 0x14c5
00001953: JUMP
00001954: JUMPDEST
00001955: SWAP2
00001956: POP
00001957: PUSH2 0x195f
0000195a: DUP4
0000195b: PUSH2 0x14c5
0000195e: JUMP
0000195f: JUMPDEST
00001960: SWAP3
00001961: POP
00001962: DUP3
00001963: DUP3
00001964: ADD
00001965: SWAP1
00001966: POP
00001967: DUP1
00001968: DUP3
00001969: GT
0000196a: ISZERO
0000196b: PUSH2 0x1977
0000196e: JUMPI
0000196f: PUSH2 0x1976
00001972: PUSH2 0x17fc
00001975: JUMP
00001976: JUMPDEST
00001977: JUMPDEST
00001978: SWAP3
00001979: SWAP2
0000197a: POP
0000197b: POP
0000197c: JUMP
0000197d: JUMPDEST
0000197e: PUSH32 0x5068617365206c696d6974207265616368656400000000000000000000000000
0000199f: PUSH0
000019a0: DUP3
000019a1: ADD
000019a2: MSTORE
000019a3: POP
000019a4: JUMP
000019a5: JUMPDEST
000019a6: PUSH0
000019a7: PUSH2 0x19b1
000019aa: PUSH1 0x13
000019ac: DUP4
000019ad: PUSH2 0x186a
000019b0: JUMP
000019b1: JUMPDEST
000019b2: SWAP2
000019b3: POP
000019b4: PUSH2 0x19bc
000019b7: DUP3
000019b8: PUSH2 0x197d
000019bb: JUMP
000019bc: JUMPDEST
000019bd: PUSH1 0x20
000019bf: DUP3
000019c0: ADD
000019c1: SWAP1
000019c2: POP
000019c3: SWAP2
000019c4: SWAP1
000019c5: POP
000019c6: JUMP
000019c7: JUMPDEST
000019c8: PUSH0
000019c9: PUSH1 0x20
000019cb: DUP3
000019cc: ADD
000019cd: SWAP1
000019ce: POP
000019cf: DUP2
000019d0: DUP2
000019d1: SUB
000019d2: PUSH0
000019d3: DUP4
000019d4: ADD
000019d5: MSTORE
000019d6: PUSH2 0x19de
000019d9: DUP2
000019da: PUSH2 0x19a5
000019dd: JUMP
000019de: JUMPDEST
000019df: SWAP1
000019e0: POP
000019e1: SWAP2
000019e2: SWAP1
000019e3: POP
000019e4: JUMP
000019e5: JUMPDEST
000019e6: PUSH32 0x53656e642045544820746f2062757920746f6b656e7300000000000000000000
00001a07: PUSH0
00001a08: DUP3
00001a09: ADD
00001a0a: MSTORE
00001a0b: POP
00001a0c: JUMP
00001a0d: JUMPDEST
00001a0e: PUSH0
00001a0f: PUSH2 0x1a19
00001a12: PUSH1 0x16
00001a14: DUP4
00001a15: PUSH2 0x186a
00001a18: JUMP
00001a19: JUMPDEST
00001a1a: SWAP2
00001a1b: POP
00001a1c: PUSH2 0x1a24
00001a1f: DUP3
00001a20: PUSH2 0x19e5
00001a23: JUMP
00001a24: JUMPDEST
00001a25: PUSH1 0x20
00001a27: DUP3
00001a28: ADD
00001a29: SWAP1
00001a2a: POP
00001a2b: SWAP2
00001a2c: SWAP1
00001a2d: POP
00001a2e: JUMP
00001a2f: JUMPDEST
00001a30: PUSH0
00001a31: PUSH1 0x20
00001a33: DUP3
00001a34: ADD
00001a35: SWAP1
00001a36: POP
00001a37: DUP2
00001a38: DUP2
00001a39: SUB
00001a3a: PUSH0
00001a3b: DUP4
00001a3c: ADD
00001a3d: MSTORE
00001a3e: PUSH2 0x1a46
00001a41: DUP2
00001a42: PUSH2 0x1a0d
00001a45: JUMP
00001a46: JUMPDEST
00001a47: SWAP1
00001a48: POP
00001a49: SWAP2
00001a4a: SWAP1
00001a4b: POP
00001a4c: JUMP
00001a4d: JUMPDEST
00001a4e: PUSH32 0x455448205072696365204368616e676564000000000000000000000000000000
00001a6f: PUSH0
00001a70: DUP3
00001a71: ADD
00001a72: MSTORE
00001a73: POP
00001a74: JUMP
00001a75: JUMPDEST
00001a76: PUSH0
00001a77: PUSH2 0x1a81
00001a7a: PUSH1 0x11
00001a7c: DUP4
00001a7d: PUSH2 0x186a
00001a80: JUMP
00001a81: JUMPDEST
00001a82: SWAP2
00001a83: POP
00001a84: PUSH2 0x1a8c
00001a87: DUP3
00001a88: PUSH2 0x1a4d
00001a8b: JUMP
00001a8c: JUMPDEST
00001a8d: PUSH1 0x20
00001a8f: DUP3
00001a90: ADD
00001a91: SWAP1
00001a92: POP
00001a93: SWAP2
00001a94: SWAP1
00001a95: POP
00001a96: JUMP
00001a97: JUMPDEST
00001a98: PUSH0
00001a99: PUSH1 0x20
00001a9b: DUP3
00001a9c: ADD
00001a9d: SWAP1
00001a9e: POP
00001a9f: DUP2
00001aa0: DUP2
00001aa1: SUB
00001aa2: PUSH0
00001aa3: DUP4
00001aa4: ADD
00001aa5: MSTORE
00001aa6: PUSH2 0x1aae
00001aa9: DUP2
00001aaa: PUSH2 0x1a75
00001aad: JUMP
00001aae: JUMPDEST
00001aaf: SWAP1
00001ab0: POP
00001ab1: SWAP2
00001ab2: SWAP1
00001ab3: POP
00001ab4: JUMP
00001ab5: JUMPDEST
00001ab6: PUSH32 0x4554480000000000000000000000000000000000000000000000000000000000
00001ad7: PUSH0
00001ad8: DUP3
00001ad9: ADD
00001ada: MSTORE
00001adb: POP
00001adc: JUMP
00001add: JUMPDEST
00001ade: PUSH0
00001adf: PUSH2 0x1ae9
00001ae2: PUSH1 0x03
00001ae4: DUP4
00001ae5: PUSH2 0x186a
00001ae8: JUMP
00001ae9: JUMPDEST
00001aea: SWAP2
00001aeb: POP
00001aec: PUSH2 0x1af4
00001aef: DUP3
00001af0: PUSH2 0x1ab5
00001af3: JUMP
00001af4: JUMPDEST
00001af5: PUSH1 0x20
00001af7: DUP3
00001af8: ADD
00001af9: SWAP1
00001afa: POP
00001afb: SWAP2
00001afc: SWAP1
00001afd: POP
00001afe: JUMP
00001aff: JUMPDEST
00001b00: PUSH0
00001b01: PUSH1 0x60
00001b03: DUP3
00001b04: ADD
00001b05: SWAP1
00001b06: POP
00001b07: PUSH2 0x1b12
00001b0a: PUSH0
00001b0b: DUP4
00001b0c: ADD
00001b0d: DUP6
00001b0e: PUSH2 0x14ce
00001b11: JUMP
00001b12: JUMPDEST
00001b13: PUSH2 0x1b1f
00001b16: PUSH1 0x20
00001b18: DUP4
00001b19: ADD
00001b1a: DUP5
00001b1b: PUSH2 0x14ce
00001b1e: JUMP
00001b1f: JUMPDEST
00001b20: DUP2
00001b21: DUP2
00001b22: SUB
00001b23: PUSH1 0x40
00001b25: DUP4
00001b26: ADD
00001b27: MSTORE
00001b28: PUSH2 0x1b30
00001b2b: DUP2
00001b2c: PUSH2 0x1add
00001b2f: JUMP
00001b30: JUMPDEST
00001b31: SWAP1
00001b32: POP
00001b33: SWAP4
00001b34: SWAP3
00001b35: POP
00001b36: POP
00001b37: POP
00001b38: JUMP
00001b39: JUMPDEST
00001b3a: PUSH0
00001b3b: PUSH1 0x40
00001b3d: DUP3
00001b3e: ADD
00001b3f: SWAP1
00001b40: POP
00001b41: PUSH2 0x1b4c
00001b44: PUSH0
00001b45: DUP4
00001b46: ADD
00001b47: DUP6
00001b48: PUSH2 0x154b
00001b4b: JUMP
00001b4c: JUMPDEST
00001b4d: PUSH2 0x1b59
00001b50: PUSH1 0x20
00001b52: DUP4
00001b53: ADD
00001b54: DUP5
00001b55: PUSH2 0x154b
00001b58: JUMP
00001b59: JUMPDEST
00001b5a: SWAP4
00001b5b: SWAP3
00001b5c: POP
00001b5d: POP
00001b5e: POP
00001b5f: JUMP
00001b60: JUMPDEST
00001b61: PUSH32 0x496e76616c696420616c6c6f77616e6365000000000000000000000000000000
00001b82: PUSH0
00001b83: DUP3
00001b84: ADD
00001b85: MSTORE
00001b86: POP
00001b87: JUMP
00001b88: JUMPDEST
00001b89: PUSH0
00001b8a: PUSH2 0x1b94
00001b8d: PUSH1 0x11
00001b8f: DUP4
00001b90: PUSH2 0x186a
00001b93: JUMP
00001b94: JUMPDEST
00001b95: SWAP2
00001b96: POP
00001b97: PUSH2 0x1b9f
00001b9a: DUP3
00001b9b: PUSH2 0x1b60
00001b9e: JUMP
00001b9f: JUMPDEST
00001ba0: PUSH1 0x20
00001ba2: DUP3
00001ba3: ADD
00001ba4: SWAP1
00001ba5: POP
00001ba6: SWAP2
00001ba7: SWAP1
00001ba8: POP
00001ba9: JUMP
00001baa: JUMPDEST
00001bab: PUSH0
00001bac: PUSH1 0x20
00001bae: DUP3
00001baf: ADD
00001bb0: SWAP1
00001bb1: POP
00001bb2: DUP2
00001bb3: DUP2
00001bb4: SUB
00001bb5: PUSH0
00001bb6: DUP4
00001bb7: ADD
00001bb8: MSTORE
00001bb9: PUSH2 0x1bc1
00001bbc: DUP2
00001bbd: PUSH2 0x1b88
00001bc0: JUMP
00001bc1: JUMPDEST
00001bc2: SWAP1
00001bc3: POP
00001bc4: SWAP2
00001bc5: SWAP1
00001bc6: POP
00001bc7: JUMP
00001bc8: JUMPDEST
00001bc9: PUSH0
00001bca: PUSH1 0x60
00001bcc: DUP3
00001bcd: ADD
00001bce: SWAP1
00001bcf: POP
00001bd0: PUSH2 0x1bdb
00001bd3: PUSH0
00001bd4: DUP4
00001bd5: ADD
00001bd6: DUP7
00001bd7: PUSH2 0x154b
00001bda: JUMP
00001bdb: JUMPDEST
00001bdc: PUSH2 0x1be8
00001bdf: PUSH1 0x20
00001be1: DUP4
00001be2: ADD
00001be3: DUP6
00001be4: PUSH2 0x154b
00001be7: JUMP
00001be8: JUMPDEST
00001be9: PUSH2 0x1bf5
00001bec: PUSH1 0x40
00001bee: DUP4
00001bef: ADD
00001bf0: DUP5
00001bf1: PUSH2 0x14ce
00001bf4: JUMP
00001bf5: JUMPDEST
00001bf6: SWAP5
00001bf7: SWAP4
00001bf8: POP
00001bf9: POP
00001bfa: POP
00001bfb: POP
00001bfc: JUMP
00001bfd: JUMPDEST
00001bfe: PUSH32 0x5553445400000000000000000000000000000000000000000000000000000000
00001c1f: PUSH0
00001c20: DUP3
00001c21: ADD
00001c22: MSTORE
00001c23: POP
00001c24: JUMP
00001c25: JUMPDEST
00001c26: PUSH0
00001c27: PUSH2 0x1c31
00001c2a: PUSH1 0x04
00001c2c: DUP4
00001c2d: PUSH2 0x186a
00001c30: JUMP
00001c31: JUMPDEST
00001c32: SWAP2
00001c33: POP
00001c34: PUSH2 0x1c3c
00001c37: DUP3
00001c38: PUSH2 0x1bfd
00001c3b: JUMP
00001c3c: JUMPDEST
00001c3d: PUSH1 0x20
00001c3f: DUP3
00001c40: ADD
00001c41: SWAP1
00001c42: POP
00001c43: SWAP2
00001c44: SWAP1
00001c45: POP
00001c46: JUMP
00001c47: JUMPDEST
00001c48: PUSH0
00001c49: PUSH1 0x60
00001c4b: DUP3
00001c4c: ADD
00001c4d: SWAP1
00001c4e: POP
00001c4f: PUSH2 0x1c5a
00001c52: PUSH0
00001c53: DUP4
00001c54: ADD
00001c55: DUP6
00001c56: PUSH2 0x14ce
00001c59: JUMP
00001c5a: JUMPDEST
00001c5b: PUSH2 0x1c67
00001c5e: PUSH1 0x20
00001c60: DUP4
00001c61: ADD
00001c62: DUP5
00001c63: PUSH2 0x14ce
00001c66: JUMP
00001c67: JUMPDEST
00001c68: DUP2
00001c69: DUP2
00001c6a: SUB
00001c6b: PUSH1 0x40
00001c6d: DUP4
00001c6e: ADD
00001c6f: MSTORE
00001c70: PUSH2 0x1c78
00001c73: DUP2
00001c74: PUSH2 0x1c25
00001c77: JUMP
00001c78: JUMPDEST
00001c79: SWAP1
00001c7a: POP
00001c7b: SWAP4
00001c7c: SWAP3
00001c7d: POP
00001c7e: POP
00001c7f: POP
00001c80: JUMP
00001c81: JUMPDEST
00001c82: PUSH32 0x4558540000000000000000000000000000000000000000000000000000000000
00001ca3: PUSH0
00001ca4: DUP3
00001ca5: ADD
00001ca6: MSTORE
00001ca7: POP
00001ca8: JUMP
00001ca9: JUMPDEST
00001caa: PUSH0
00001cab: PUSH2 0x1cb5
00001cae: PUSH1 0x03
00001cb0: DUP4
00001cb1: PUSH2 0x186a
00001cb4: JUMP
00001cb5: JUMPDEST
00001cb6: SWAP2
00001cb7: POP
00001cb8: PUSH2 0x1cc0
00001cbb: DUP3
00001cbc: PUSH2 0x1c81
00001cbf: JUMP
00001cc0: JUMPDEST
00001cc1: PUSH1 0x20
00001cc3: DUP3
00001cc4: ADD
00001cc5: SWAP1
00001cc6: POP
00001cc7: SWAP2
00001cc8: SWAP1
00001cc9: POP
00001cca: JUMP
00001ccb: JUMPDEST
00001ccc: PUSH0
00001ccd: PUSH1 0x60
00001ccf: DUP3
00001cd0: ADD
00001cd1: SWAP1
00001cd2: POP
00001cd3: PUSH2 0x1cde
00001cd6: PUSH0
00001cd7: DUP4
00001cd8: ADD
00001cd9: DUP6
00001cda: PUSH2 0x14ce
00001cdd: JUMP
00001cde: JUMPDEST
00001cdf: PUSH2 0x1ceb
00001ce2: PUSH1 0x20
00001ce4: DUP4
00001ce5: ADD
00001ce6: DUP5
00001ce7: PUSH2 0x14ce
00001cea: JUMP
00001ceb: JUMPDEST
00001cec: DUP2
00001ced: DUP2
00001cee: SUB
00001cef: PUSH1 0x40
00001cf1: DUP4
00001cf2: ADD
00001cf3: MSTORE
00001cf4: PUSH2 0x1cfc
00001cf7: DUP2
00001cf8: PUSH2 0x1ca9
00001cfb: JUMP
00001cfc: JUMPDEST
00001cfd: SWAP1
00001cfe: POP
00001cff: SWAP4
00001d00: SWAP3
00001d01: POP
00001d02: POP
00001d03: POP
00001d04: JUMP
00001d05: JUMPDEST
00001d06: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001d27: PUSH0
00001d28: MSTORE
00001d29: PUSH1 0x12
00001d2b: PUSH1 0x04
00001d2d: MSTORE
00001d2e: PUSH1 0x24
00001d30: PUSH0
00001d31: REVERT
00001d32: JUMPDEST
00001d33: PUSH0
00001d34: PUSH2 0x1d3c
00001d37: DUP3
00001d38: PUSH2 0x14c5
00001d3b: JUMP
00001d3c: JUMPDEST
00001d3d: SWAP2
00001d3e: POP
00001d3f: PUSH2 0x1d47
00001d42: DUP4
00001d43: PUSH2 0x14c5
00001d46: JUMP
00001d47: JUMPDEST
00001d48: SWAP3
00001d49: POP
00001d4a: DUP3
00001d4b: PUSH2 0x1d57
00001d4e: JUMPI
00001d4f: PUSH2 0x1d56
00001d52: PUSH2 0x1d05
00001d55: JUMP
00001d56: JUMPDEST
00001d57: JUMPDEST
00001d58: DUP3
00001d59: DUP3
00001d5a: DIV
00001d5b: SWAP1
00001d5c: POP
00001d5d: SWAP3
00001d5e: SWAP2
00001d5f: POP
00001d60: POP
00001d61: JUMP
00001d62: INVALID
00001d63: LOG2
00001d64: PUSH5 0x6970667358
00001d6a: UNKNOWN(0x22)
00001d6b: SLT
00001d6c: KECCAK256
00001d6d: DUP8
00001d6e: ISZERO
00001d6f: MSIZE
00001d70: UNKNOWN(0xB6)
00001d71: UNKNOWN(0xA5)
00001d72: UNKNOWN(0xD4)
00001d73: MCOPY
00001d74: UNKNOWN(0xC2)
00001d75: CODECOPY
00001d76: TSTORE
00001d77: CREATE
00001d78: SWAP8
00001d79: PUSH10 0x870f56e8902a245c6a25
00001d84: UNKNOWN(0xB2)
00001d85: RETURNDATASIZE
00001d86: UNKNOWN(0x1F)
00001d87: PUSH20

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0x30a83bfbd36738d936864a4a84172c1927c38cf43d5bcc5ebdaa779c89176eab
call_targets: 0x7b48c80783365c481a7cf8b1b1643cb08429fbdf
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x30a83bfbd36738d936864a4a84172c1927c38cf43d5bcc5ebdaa779c89176eab",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x7b48c80783365c481a7cf8b1b1643cb08429fbdf"
    ],
    "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": "0x9ab4a445",
            "selector": "0x9ab4a445",
            "calldata_variants": [
                "0x9ab4a445",
                "0x9ab4a4450000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa7c60160",
            "selector": "0xa7c60160",
            "calldata_variants": [
                "0xa7c60160",
                "0xa7c601600000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc5be93c2",
            "selector": "0xc5be93c2",
            "calldata_variants": [
                "0xc5be93c2",
                "0xc5be93c20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2d043a7",
            "selector": "0xf2d043a7",
            "calldata_variants": [
                "0xf2d043a7",
                "0xf2d043a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfeed5561",
            "selector": "0xfeed5561",
            "calldata_variants": [
                "0xfeed5561",
                "0xfeed55610000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x741bef1a",
            "selector": "0x741bef1a",
            "calldata_variants": [
                "0x741bef1a",
                "0x741bef1a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1305,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1673,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3638,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 3,
    "guards_detected": [],
    "untrusted_call_count": 3
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0x30a83bfbd36738d936864a4a84172c1927c38cf43d5bcc5ebdaa779c89176eab
call_targets: 0x7b48c80783365c481a7cf8b1b1643cb08429fbdf
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0x30a83bfbd36738d936864a4a84172c1927c38cf43d5bcc5ebdaa779c89176eab",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x7b48c80783365c481a7cf8b1b1643cb08429fbdf"
    ],
    "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": "0x9ab4a445",
            "selector": "0x9ab4a445",
            "calldata_variants": [
                "0x9ab4a445",
                "0x9ab4a4450000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa7c60160",
            "selector": "0xa7c60160",
            "calldata_variants": [
                "0xa7c60160",
                "0xa7c601600000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc5be93c2",
            "selector": "0xc5be93c2",
            "calldata_variants": [
                "0xc5be93c2",
                "0xc5be93c20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2d043a7",
            "selector": "0xf2d043a7",
            "calldata_variants": [
                "0xf2d043a7",
                "0xf2d043a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfeed5561",
            "selector": "0xfeed5561",
            "calldata_variants": [
                "0xfeed5561",
                "0xfeed55610000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x741bef1a",
            "selector": "0x741bef1a",
            "calldata_variants": [
                "0x741bef1a",
                "0x741bef1a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1305,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1673,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 3638,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 3,
    "guards_detected": []
}
medium other detector CREATE/CREATE2 reachable 45 no no
view
trace_id: 0x97884fd147bc412686beb7ff6c2a80e7ce9d67173a8d0744139b7e07d94eca35
validation_json
{
    "sink": "CREATE",
    "errors": 0,
    "status": "unknown",
    "attempts": 32,
    "trace_id": "0x97884fd147bc412686beb7ff6c2a80e7ce9d67173a8d0744139b7e07d94eca35",
    "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": "0x9ab4a445",
            "selector": "0x9ab4a445",
            "calldata_variants": [
                "0x9ab4a445",
                "0x9ab4a4450000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xa7c60160",
            "selector": "0xa7c60160",
            "calldata_variants": [
                "0xa7c60160",
                "0xa7c601600000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc5be93c2",
            "selector": "0xc5be93c2",
            "calldata_variants": [
                "0xc5be93c2",
                "0xc5be93c20000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2d043a7",
            "selector": "0xf2d043a7",
            "calldata_variants": [
                "0xf2d043a7",
                "0xf2d043a70000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf2fde38b",
            "selector": "0xf2fde38b",
            "calldata_variants": [
                "0xf2fde38b",
                "0xf2fde38b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfeed5561",
            "selector": "0xfeed5561",
            "calldata_variants": [
                "0xfeed5561",
                "0xfeed55610000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x715018a6",
            "selector": "0x715018a6",
            "calldata_variants": [
                "0x715018a6",
                "0x715018a60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x741bef1a",
            "selector": "0x741bef1a",
            "calldata_variants": [
                "0x741bef1a",
                "0x741bef1a0000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "create_count": 1,
    "create2_count": 0
}