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

Analysis Run

019b3836-3d98-7188-9489-fe94015096d3

complete
Chain ID
1
Address
Block Number
Created
Fri, Dec 19, 2025 8:03 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
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
4751 artifact.fetch complete 1 / 3 3 months ago
4752 tool.cast_disasm complete 1 / 3 3 months ago
47864 analysis.bundle complete 1 / 3 2 weeks ago
47865 capability.graph complete 1 / 3 2 weeks ago
47866 detector.run complete 1 / 3 2 weeks ago
47867 validation.fork complete 1 / 3 2 weeks ago

Artifact

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

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate

No codex job recorded yet.

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
1
CREATE2
0
CALL-family (heavy)
10
EXT*/BALANCE
4
Total opcodes
3382
Flags
selfdestruct_present
View cast disassembly output
00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0xe0
00000007: PUSH1 0x02
00000009: EXP
0000000a: PUSH1 0x00
0000000c: CALLDATALOAD
0000000d: DIV
0000000e: PUSH4 0x421aeda6
00000013: DUP2
00000014: EQ
00000015: PUSH2 0x003c
00000018: JUMPI
00000019: DUP1
0000001a: PUSH4 0x43e332c5
0000001f: EQ
00000020: PUSH2 0x0129
00000023: JUMPI
00000024: DUP1
00000025: PUSH4 0x6673ce2b
0000002a: EQ
0000002b: PUSH2 0x0148
0000002e: JUMPI
0000002f: DUP1
00000030: PUSH4 0xdb641ab4
00000035: EQ
00000036: PUSH2 0x01e4
00000039: JUMPI
0000003a: JUMPDEST
0000003b: STOP
0000003c: JUMPDEST
0000003d: PUSH1 0x40
0000003f: DUP1
00000040: MLOAD
00000041: PUSH1 0x20
00000043: PUSH1 0x04
00000045: DUP1
00000046: CALLDATALOAD
00000047: DUP1
00000048: DUP3
00000049: ADD
0000004a: CALLDATALOAD
0000004b: PUSH1 0x1f
0000004d: DUP2
0000004e: ADD
0000004f: DUP5
00000050: SWAP1
00000051: DIV
00000052: DUP5
00000053: MUL
00000054: DUP6
00000055: ADD
00000056: DUP5
00000057: ADD
00000058: SWAP1
00000059: SWAP6
0000005a: MSTORE
0000005b: DUP5
0000005c: DUP5
0000005d: MSTORE
0000005e: PUSH2 0x003a
00000061: SWAP5
00000062: SWAP2
00000063: SWAP4
00000064: PUSH1 0x24
00000066: SWAP4
00000067: SWAP1
00000068: SWAP3
00000069: SWAP2
0000006a: DUP5
0000006b: ADD
0000006c: SWAP2
0000006d: SWAP1
0000006e: DUP2
0000006f: SWAP1
00000070: DUP5
00000071: ADD
00000072: DUP4
00000073: DUP3
00000074: DUP1
00000075: DUP3
00000076: DUP5
00000077: CALLDATACOPY
00000078: POP
00000079: SWAP5
0000007a: SWAP7
0000007b: POP
0000007c: POP
0000007d: POP
0000007e: POP
0000007f: POP
00000080: POP
00000081: POP
00000082: PUSH1 0x0f
00000084: DUP1
00000085: SLOAD
00000086: PUSH22 0xff000000000000000000000000000000000000000000
0000009d: NOT
0000009e: AND
0000009f: SWAP1
000000a0: SSTORE
000000a1: PUSH1 0x09
000000a3: DUP1
000000a4: SLOAD
000000a5: DUP3
000000a6: MLOAD
000000a7: PUSH1 0x00
000000a9: DUP4
000000aa: DUP2
000000ab: MSTORE
000000ac: SWAP3
000000ad: SWAP2
000000ae: PUSH1 0x20
000000b0: PUSH1 0x02
000000b2: PUSH1 0x01
000000b4: DUP4
000000b5: AND
000000b6: ISZERO
000000b7: PUSH2 0x0100
000000ba: MUL
000000bb: PUSH1 0x00
000000bd: NOT
000000be: ADD
000000bf: SWAP1
000000c0: SWAP3
000000c1: AND
000000c2: SWAP2
000000c3: SWAP1
000000c4: SWAP2
000000c5: DIV
000000c6: PUSH1 0x1f
000000c8: SWAP1
000000c9: DUP2
000000ca: ADD
000000cb: DUP3
000000cc: SWAP1
000000cd: DIV
000000ce: PUSH32 0x6e1540171b6c0c960b71a7020d9f60077f6af931a8bbf590da0223dacf75c7af
000000ef: SWAP1
000000f0: DUP2
000000f1: ADD
000000f2: SWAP4
000000f3: SWAP3
000000f4: SWAP1
000000f5: SWAP2
000000f6: SWAP1
000000f7: DUP8
000000f8: ADD
000000f9: SWAP1
000000fa: DUP4
000000fb: SWAP1
000000fc: LT
000000fd: PUSH2 0x047d
00000100: JUMPI
00000101: DUP1
00000102: MLOAD
00000103: PUSH1 0xff
00000105: NOT
00000106: AND
00000107: DUP4
00000108: DUP1
00000109: ADD
0000010a: OR
0000010b: DUP6
0000010c: SSTORE
0000010d: JUMPDEST
0000010e: POP
0000010f: PUSH2 0x04ad
00000112: SWAP3
00000113: SWAP2
00000114: POP
00000115: JUMPDEST
00000116: DUP1
00000117: DUP3
00000118: GT
00000119: ISZERO
0000011a: PUSH2 0x0514
0000011d: JUMPI
0000011e: PUSH1 0x00
00000120: DUP2
00000121: SSTORE
00000122: PUSH1 0x01
00000124: ADD
00000125: PUSH2 0x0115
00000128: JUMP
00000129: JUMPDEST
0000012a: PUSH1 0x0d
0000012c: SLOAD
0000012d: PUSH1 0x0e
0000012f: SLOAD
00000130: PUSH1 0x40
00000132: DUP1
00000133: MLOAD
00000134: SWAP3
00000135: DUP4
00000136: MSTORE
00000137: PUSH1 0x20
00000139: DUP4
0000013a: ADD
0000013b: SWAP2
0000013c: SWAP1
0000013d: SWAP2
0000013e: MSTORE
0000013f: DUP1
00000140: MLOAD
00000141: SWAP2
00000142: DUP3
00000143: SWAP1
00000144: SUB
00000145: ADD
00000146: SWAP1
00000147: RETURN
00000148: JUMPDEST
00000149: PUSH1 0x40
0000014b: DUP1
0000014c: MLOAD
0000014d: PUSH1 0x20
0000014f: DUP2
00000150: DUP2
00000151: ADD
00000152: DUP4
00000153: MSTORE
00000154: PUSH1 0x00
00000156: DUP1
00000157: DUP4
00000158: MSTORE
00000159: DUP4
0000015a: MLOAD
0000015b: DUP1
0000015c: DUP4
0000015d: ADD
0000015e: DUP6
0000015f: MSTORE
00000160: DUP2
00000161: DUP2
00000162: MSTORE
00000163: DUP5
00000164: MLOAD
00000165: DUP1
00000166: DUP5
00000167: ADD
00000168: DUP7
00000169: MSTORE
0000016a: DUP3
0000016b: DUP2
0000016c: MSTORE
0000016d: DUP6
0000016e: MLOAD
0000016f: DUP1
00000170: DUP6
00000171: ADD
00000172: DUP8
00000173: MSTORE
00000174: DUP4
00000175: DUP2
00000176: MSTORE
00000177: PUSH1 0x0f
00000179: SLOAD
0000017a: PUSH1 0x08
0000017c: DUP1
0000017d: SLOAD
0000017e: DUP10
0000017f: MLOAD
00000180: PUSH1 0x02
00000182: PUSH1 0x01
00000184: DUP4
00000185: AND
00000186: ISZERO
00000187: PUSH2 0x0100
0000018a: SWAP1
0000018b: DUP2
0000018c: MUL
0000018d: PUSH1 0x00
0000018f: NOT
00000190: ADD
00000191: SWAP1
00000192: SWAP4
00000193: AND
00000194: DIV
00000195: PUSH1 0x1f
00000197: DUP2
00000198: ADD
00000199: DUP11
0000019a: SWAP1
0000019b: DIV
0000019c: DUP11
0000019d: MUL
0000019e: DUP3
0000019f: ADD
000001a0: DUP11
000001a1: ADD
000001a2: SWAP1
000001a3: SWAP12
000001a4: MSTORE
000001a5: DUP11
000001a6: DUP2
000001a7: MSTORE
000001a8: PUSH2 0x02db
000001ab: SWAP11
000001ac: SWAP7
000001ad: SWAP9
000001ae: SWAP2
000001af: SWAP1
000001b0: SWAP4
000001b1: DIV
000001b2: PUSH1 0x01
000001b4: PUSH1 0xa0
000001b6: PUSH1 0x02
000001b8: EXP
000001b9: SUB
000001ba: AND
000001bb: SWAP7
000001bc: SWAP5
000001bd: SWAP6
000001be: SWAP1
000001bf: DUP4
000001c0: ADD
000001c1: DUP3
000001c2: DUP3
000001c3: DUP1
000001c4: ISZERO
000001c5: PUSH2 0x09d6
000001c8: JUMPI
000001c9: DUP1
000001ca: PUSH1 0x1f
000001cc: LT
000001cd: PUSH2 0x09ab
000001d0: JUMPI
000001d1: PUSH2 0x0100
000001d4: DUP1
000001d5: DUP4
000001d6: SLOAD
000001d7: DIV
000001d8: MUL
000001d9: DUP4
000001da: MSTORE
000001db: SWAP2
000001dc: PUSH1 0x20
000001de: ADD
000001df: SWAP2
000001e0: PUSH2 0x09d6
000001e3: JUMP
000001e4: JUMPDEST
000001e5: PUSH1 0x40
000001e7: DUP1
000001e8: MLOAD
000001e9: PUSH1 0x20
000001eb: DUP2
000001ec: DUP2
000001ed: ADD
000001ee: DUP4
000001ef: MSTORE
000001f0: PUSH1 0x00
000001f2: SWAP1
000001f3: SWAP2
000001f4: MSTORE
000001f5: DUP2
000001f6: MLOAD
000001f7: PUSH1 0x60
000001f9: DUP2
000001fa: ADD
000001fb: DUP4
000001fc: MSTORE
000001fd: PUSH1 0x24
000001ff: DUP2
00000200: MSTORE
00000201: PUSH32 0x47616d652062616c616e63652069732073686f776e20696e2066756c6c204574
00000222: SWAP2
00000223: DUP2
00000224: ADD
00000225: SWAP2
00000226: SWAP1
00000227: SWAP2
00000228: MSTORE
00000229: PUSH32 0x6865727300000000000000000000000000000000000000000000000000000000
0000024a: SWAP2
0000024b: DUP2
0000024c: ADD
0000024d: SWAP2
0000024e: SWAP1
0000024f: SWAP2
00000250: MSTORE
00000251: PUSH8 0x0de0b6b3a7640000
0000025a: ADDRESS
0000025b: PUSH1 0x01
0000025d: PUSH1 0xa0
0000025f: PUSH1 0x02
00000261: EXP
00000262: SUB
00000263: AND
00000264: BALANCE
00000265: DIV
00000266: SWAP1
00000267: PUSH1 0x40
00000269: MLOAD
0000026a: DUP1
0000026b: DUP4
0000026c: DUP2
0000026d: MSTORE
0000026e: PUSH1 0x20
00000270: ADD
00000271: DUP1
00000272: PUSH1 0x20
00000274: ADD
00000275: DUP3
00000276: DUP2
00000277: SUB
00000278: DUP3
00000279: MSTORE
0000027a: DUP4
0000027b: DUP2
0000027c: DUP2
0000027d: MLOAD
0000027e: DUP2
0000027f: MSTORE
00000280: PUSH1 0x20
00000282: ADD
00000283: SWAP2
00000284: POP
00000285: DUP1
00000286: MLOAD
00000287: SWAP1
00000288: PUSH1 0x20
0000028a: ADD
0000028b: SWAP1
0000028c: DUP1
0000028d: DUP4
0000028e: DUP4
0000028f: DUP3
00000290: SWAP1
00000291: PUSH1 0x00
00000293: PUSH1 0x04
00000295: PUSH1 0x20
00000297: DUP5
00000298: PUSH1 0x1f
0000029a: ADD
0000029b: DIV
0000029c: PUSH1 0x0f
0000029e: MUL
0000029f: PUSH1 0x03
000002a1: ADD
000002a2: CALL
000002a3: POP
000002a4: SWAP1
000002a5: POP
000002a6: SWAP1
000002a7: DUP2
000002a8: ADD
000002a9: SWAP1
000002aa: PUSH1 0x1f
000002ac: AND
000002ad: DUP1
000002ae: ISZERO
000002af: PUSH2 0x02cc
000002b2: JUMPI
000002b3: DUP1
000002b4: DUP3
000002b5: SUB
000002b6: DUP1
000002b7: MLOAD
000002b8: PUSH1 0x01
000002ba: DUP4
000002bb: PUSH1 0x20
000002bd: SUB
000002be: PUSH2 0x0100
000002c1: EXP
000002c2: SUB
000002c3: NOT
000002c4: AND
000002c5: DUP2
000002c6: MSTORE
000002c7: PUSH1 0x20
000002c9: ADD
000002ca: SWAP2
000002cb: POP
000002cc: JUMPDEST
000002cd: POP
000002ce: SWAP4
000002cf: POP
000002d0: POP
000002d1: POP
000002d2: POP
000002d3: PUSH1 0x40
000002d5: MLOAD
000002d6: DUP1
000002d7: SWAP2
000002d8: SUB
000002d9: SWAP1
000002da: RETURN
000002db: JUMPDEST
000002dc: PUSH1 0x40
000002de: MLOAD
000002df: DUP1
000002e0: DUP1
000002e1: PUSH1 0x20
000002e3: ADD
000002e4: DUP1
000002e5: PUSH1 0x20
000002e7: ADD
000002e8: DUP8
000002e9: PUSH1 0x01
000002eb: PUSH1 0xa0
000002ed: PUSH1 0x02
000002ef: EXP
000002f0: SUB
000002f1: AND
000002f2: DUP2
000002f3: MSTORE
000002f4: PUSH1 0x20
000002f6: ADD
000002f7: DUP1
000002f8: PUSH1 0x20
000002fa: ADD
000002fb: DUP7
000002fc: DUP2
000002fd: MSTORE
000002fe: PUSH1 0x20
00000300: ADD
00000301: DUP1
00000302: PUSH1 0x20
00000304: ADD
00000305: DUP6
00000306: DUP2
00000307: SUB
00000308: DUP6
00000309: MSTORE
0000030a: DUP12
0000030b: DUP2
0000030c: DUP2
0000030d: MLOAD
0000030e: DUP2
0000030f: MSTORE
00000310: PUSH1 0x20
00000312: ADD
00000313: SWAP2
00000314: POP
00000315: DUP1
00000316: MLOAD
00000317: SWAP1
00000318: PUSH1 0x20
0000031a: ADD
0000031b: SWAP1
0000031c: DUP1
0000031d: DUP4
0000031e: DUP4
0000031f: DUP3
00000320: SWAP1
00000321: PUSH1 0x00
00000323: PUSH1 0x04
00000325: PUSH1 0x20
00000327: DUP5
00000328: PUSH1 0x1f
0000032a: ADD
0000032b: DIV
0000032c: PUSH1 0x0f
0000032e: MUL
0000032f: PUSH1 0x03
00000331: ADD
00000332: CALL
00000333: POP
00000334: SWAP1
00000335: POP
00000336: SWAP1
00000337: DUP2
00000338: ADD
00000339: SWAP1
0000033a: PUSH1 0x1f
0000033c: AND
0000033d: DUP1
0000033e: ISZERO
0000033f: PUSH2 0x035c
00000342: JUMPI
00000343: DUP1
00000344: DUP3
00000345: SUB
00000346: DUP1
00000347: MLOAD
00000348: PUSH1 0x01
0000034a: DUP4
0000034b: PUSH1 0x20
0000034d: SUB
0000034e: PUSH2 0x0100
00000351: EXP
00000352: SUB
00000353: NOT
00000354: AND
00000355: DUP2
00000356: MSTORE
00000357: PUSH1 0x20
00000359: ADD
0000035a: SWAP2
0000035b: POP
0000035c: JUMPDEST
0000035d: POP
0000035e: DUP6
0000035f: DUP2
00000360: SUB
00000361: DUP5
00000362: MSTORE
00000363: DUP11
00000364: DUP2
00000365: DUP2
00000366: MLOAD
00000367: DUP2
00000368: MSTORE
00000369: PUSH1 0x20
0000036b: ADD
0000036c: SWAP2
0000036d: POP
0000036e: DUP1
0000036f: MLOAD
00000370: SWAP1
00000371: PUSH1 0x20
00000373: ADD
00000374: SWAP1
00000375: DUP1
00000376: DUP4
00000377: DUP4
00000378: DUP3
00000379: SWAP1
0000037a: PUSH1 0x00
0000037c: PUSH1 0x04
0000037e: PUSH1 0x20
00000380: DUP5
00000381: PUSH1 0x1f
00000383: ADD
00000384: DIV
00000385: PUSH1 0x0f
00000387: MUL
00000388: PUSH1 0x03
0000038a: ADD
0000038b: CALL
0000038c: POP
0000038d: SWAP1
0000038e: POP
0000038f: SWAP1
00000390: DUP2
00000391: ADD
00000392: SWAP1
00000393: PUSH1 0x1f
00000395: AND
00000396: DUP1
00000397: ISZERO
00000398: PUSH2 0x03b5
0000039b: JUMPI
0000039c: DUP1
0000039d: DUP3
0000039e: SUB
0000039f: DUP1
000003a0: MLOAD
000003a1: PUSH1 0x01
000003a3: DUP4
000003a4: PUSH1 0x20
000003a6: SUB
000003a7: PUSH2 0x0100
000003aa: EXP
000003ab: SUB
000003ac: NOT
000003ad: AND
000003ae: DUP2
000003af: MSTORE
000003b0: PUSH1 0x20
000003b2: ADD
000003b3: SWAP2
000003b4: POP
000003b5: JUMPDEST
000003b6: POP
000003b7: DUP6
000003b8: DUP2
000003b9: SUB
000003ba: DUP4
000003bb: MSTORE
000003bc: DUP9
000003bd: DUP2
000003be: DUP2
000003bf: MLOAD
000003c0: DUP2
000003c1: MSTORE
000003c2: PUSH1 0x20
000003c4: ADD
000003c5: SWAP2
000003c6: POP
000003c7: DUP1
000003c8: MLOAD
000003c9: SWAP1
000003ca: PUSH1 0x20
000003cc: ADD
000003cd: SWAP1
000003ce: DUP1
000003cf: DUP4
000003d0: DUP4
000003d1: DUP3
000003d2: SWAP1
000003d3: PUSH1 0x00
000003d5: PUSH1 0x04
000003d7: PUSH1 0x20
000003d9: DUP5
000003da: PUSH1 0x1f
000003dc: ADD
000003dd: DIV
000003de: PUSH1 0x0f
000003e0: MUL
000003e1: PUSH1 0x03
000003e3: ADD
000003e4: CALL
000003e5: POP
000003e6: SWAP1
000003e7: POP
000003e8: SWAP1
000003e9: DUP2
000003ea: ADD
000003eb: SWAP1
000003ec: PUSH1 0x1f
000003ee: AND
000003ef: DUP1
000003f0: ISZERO
000003f1: PUSH2 0x040e
000003f4: JUMPI
000003f5: DUP1
000003f6: DUP3
000003f7: SUB
000003f8: DUP1
000003f9: MLOAD
000003fa: PUSH1 0x01
000003fc: DUP4
000003fd: PUSH1 0x20
000003ff: SUB
00000400: PUSH2 0x0100
00000403: EXP
00000404: SUB
00000405: NOT
00000406: AND
00000407: DUP2
00000408: MSTORE
00000409: PUSH1 0x20
0000040b: ADD
0000040c: SWAP2
0000040d: POP
0000040e: JUMPDEST
0000040f: POP
00000410: DUP6
00000411: DUP2
00000412: SUB
00000413: DUP3
00000414: MSTORE
00000415: DUP7
00000416: DUP2
00000417: DUP2
00000418: MLOAD
00000419: DUP2
0000041a: MSTORE
0000041b: PUSH1 0x20
0000041d: ADD
0000041e: SWAP2
0000041f: POP
00000420: DUP1
00000421: MLOAD
00000422: SWAP1
00000423: PUSH1 0x20
00000425: ADD
00000426: SWAP1
00000427: DUP1
00000428: DUP4
00000429: DUP4
0000042a: DUP3
0000042b: SWAP1
0000042c: PUSH1 0x00
0000042e: PUSH1 0x04
00000430: PUSH1 0x20
00000432: DUP5
00000433: PUSH1 0x1f
00000435: ADD
00000436: DIV
00000437: PUSH1 0x0f
00000439: MUL
0000043a: PUSH1 0x03
0000043c: ADD
0000043d: CALL
0000043e: POP
0000043f: SWAP1
00000440: POP
00000441: SWAP1
00000442: DUP2
00000443: ADD
00000444: SWAP1
00000445: PUSH1 0x1f
00000447: AND
00000448: DUP1
00000449: ISZERO
0000044a: PUSH2 0x0467
0000044d: JUMPI
0000044e: DUP1
0000044f: DUP3
00000450: SUB
00000451: DUP1
00000452: MLOAD
00000453: PUSH1 0x01
00000455: DUP4
00000456: PUSH1 0x20
00000458: SUB
00000459: PUSH2 0x0100
0000045c: EXP
0000045d: SUB
0000045e: NOT
0000045f: AND
00000460: DUP2
00000461: MSTORE
00000462: PUSH1 0x20
00000464: ADD
00000465: SWAP2
00000466: POP
00000467: JUMPDEST
00000468: POP
00000469: SWAP11
0000046a: POP
0000046b: POP
0000046c: POP
0000046d: POP
0000046e: POP
0000046f: POP
00000470: POP
00000471: POP
00000472: POP
00000473: POP
00000474: POP
00000475: PUSH1 0x40
00000477: MLOAD
00000478: DUP1
00000479: SWAP2
0000047a: SUB
0000047b: SWAP1
0000047c: RETURN
0000047d: JUMPDEST
0000047e: DUP3
0000047f: DUP1
00000480: ADD
00000481: PUSH1 0x01
00000483: ADD
00000484: DUP6
00000485: SSTORE
00000486: DUP3
00000487: ISZERO
00000488: PUSH2 0x010d
0000048b: JUMPI
0000048c: SWAP2
0000048d: DUP3
0000048e: ADD
0000048f: JUMPDEST
00000490: DUP3
00000491: DUP2
00000492: GT
00000493: ISZERO
00000494: PUSH2 0x010d
00000497: JUMPI
00000498: DUP3
00000499: MLOAD
0000049a: DUP3
0000049b: PUSH1 0x00
0000049d: POP
0000049e: SSTORE
0000049f: SWAP2
000004a0: PUSH1 0x20
000004a2: ADD
000004a3: SWAP2
000004a4: SWAP1
000004a5: PUSH1 0x01
000004a7: ADD
000004a8: SWAP1
000004a9: PUSH2 0x048f
000004ac: JUMP
000004ad: JUMPDEST
000004ae: POP
000004af: POP
000004b0: PUSH1 0x09
000004b2: DUP1
000004b3: SLOAD
000004b4: PUSH1 0x40
000004b6: DUP1
000004b7: MLOAD
000004b8: PUSH1 0x20
000004ba: PUSH1 0x02
000004bc: PUSH1 0x01
000004be: DUP6
000004bf: AND
000004c0: ISZERO
000004c1: PUSH2 0x0100
000004c4: MUL
000004c5: PUSH1 0x00
000004c7: NOT
000004c8: ADD
000004c9: SWAP1
000004ca: SWAP5
000004cb: AND
000004cc: SWAP4
000004cd: SWAP1
000004ce: SWAP4
000004cf: DIV
000004d0: PUSH1 0x1f
000004d2: DUP2
000004d3: ADD
000004d4: DUP5
000004d5: SWAP1
000004d6: DIV
000004d7: DUP5
000004d8: MUL
000004d9: DUP3
000004da: ADD
000004db: DUP5
000004dc: ADD
000004dd: SWAP1
000004de: SWAP3
000004df: MSTORE
000004e0: DUP2
000004e1: DUP2
000004e2: MSTORE
000004e3: CALLVALUE
000004e4: SWAP5
000004e5: POP
000004e6: PUSH2 0x0518
000004e9: SWAP4
000004ea: SWAP1
000004eb: SWAP3
000004ec: SWAP1
000004ed: SWAP2
000004ee: SWAP1
000004ef: DUP4
000004f0: ADD
000004f1: DUP3
000004f2: DUP3
000004f3: DUP1
000004f4: ISZERO
000004f5: PUSH2 0x0576
000004f8: JUMPI
000004f9: DUP1
000004fa: PUSH1 0x1f
000004fc: LT
000004fd: PUSH2 0x054b
00000500: JUMPI
00000501: PUSH2 0x0100
00000504: DUP1
00000505: DUP4
00000506: SLOAD
00000507: DIV
00000508: MUL
00000509: DUP4
0000050a: MSTORE
0000050b: SWAP2
0000050c: PUSH1 0x20
0000050e: ADD
0000050f: SWAP2
00000510: PUSH2 0x0576
00000513: JUMP
00000514: JUMPDEST
00000515: POP
00000516: SWAP1
00000517: JUMP
00000518: JUMPDEST
00000519: PUSH1 0x0a
0000051b: SLOAD
0000051c: PUSH2 0x07b3
0000051f: SWAP1
00000520: PUSH1 0xff
00000522: AND
00000523: DUP1
00000524: PUSH1 0x00
00000526: EQ
00000527: DUP1
00000528: PUSH2 0x0531
0000052b: JUMPI
0000052c: POP
0000052d: DUP1
0000052e: PUSH1 0x01
00000530: EQ
00000531: JUMPDEST
00000532: ISZERO
00000533: PUSH2 0x0da0
00000536: JUMPI
00000537: PUSH1 0x10
00000539: DUP1
0000053a: SLOAD
0000053b: PUSH1 0x80
0000053d: PUSH1 0x02
0000053f: EXP
00000540: PUSH1 0xff
00000542: MUL
00000543: NOT
00000544: AND
00000545: SWAP1
00000546: SSTORE
00000547: PUSH2 0x0e3e
0000054a: JUMP
0000054b: JUMPDEST
0000054c: DUP3
0000054d: ADD
0000054e: SWAP2
0000054f: SWAP1
00000550: PUSH1 0x00
00000552: MSTORE
00000553: PUSH1 0x20
00000555: PUSH1 0x00
00000557: KECCAK256
00000558: SWAP1
00000559: JUMPDEST
0000055a: DUP2
0000055b: SLOAD
0000055c: DUP2
0000055d: MSTORE
0000055e: SWAP1
0000055f: PUSH1 0x01
00000561: ADD
00000562: SWAP1
00000563: PUSH1 0x20
00000565: ADD
00000566: DUP1
00000567: DUP4
00000568: GT
00000569: PUSH2 0x0559
0000056c: JUMPI
0000056d: DUP3
0000056e: SWAP1
0000056f: SUB
00000570: PUSH1 0x1f
00000572: AND
00000573: DUP3
00000574: ADD
00000575: SWAP2
00000576: JUMPDEST
00000577: POP
00000578: POP
00000579: POP
0000057a: POP
0000057b: POP
0000057c: PUSH1 0x40
0000057e: DUP1
0000057f: MLOAD
00000580: PUSH1 0x20
00000582: DUP2
00000583: DUP2
00000584: ADD
00000585: DUP4
00000586: MSTORE
00000587: PUSH1 0x00
00000589: DUP1
0000058a: DUP4
0000058b: MSTORE
0000058c: DUP4
0000058d: MLOAD
0000058e: DUP1
0000058f: DUP4
00000590: ADD
00000591: DUP6
00000592: MSTORE
00000593: DUP2
00000594: DUP2
00000595: MSTORE
00000596: DUP5
00000597: MLOAD
00000598: PUSH2 0x0140
0000059b: DUP2
0000059c: ADD
0000059d: DUP7
0000059e: MSTORE
0000059f: PUSH1 0x01
000005a1: PUSH2 0x0100
000005a4: DUP3
000005a5: ADD
000005a6: DUP2
000005a7: DUP2
000005a8: MSTORE
000005a9: PUSH32 0x4c00000000000000000000000000000000000000000000000000000000000000
000005ca: PUSH2 0x0120
000005cd: DUP5
000005ce: ADD
000005cf: MSTORE
000005d0: DUP3
000005d1: MSTORE
000005d2: DUP7
000005d3: MLOAD
000005d4: DUP1
000005d5: DUP9
000005d6: ADD
000005d7: DUP9
000005d8: MSTORE
000005d9: DUP2
000005da: DUP2
000005db: MSTORE
000005dc: PUSH32 0x6c00000000000000000000000000000000000000000000000000000000000000
000005fd: DUP2
000005fe: DUP8
000005ff: ADD
00000600: MSTORE
00000601: DUP3
00000602: DUP7
00000603: ADD
00000604: MSTORE
00000605: DUP7
00000606: MLOAD
00000607: DUP1
00000608: DUP9
00000609: ADD
0000060a: DUP9
0000060b: MSTORE
0000060c: DUP2
0000060d: DUP2
0000060e: MSTORE
0000060f: PUSH32 0x4800000000000000000000000000000000000000000000000000000000000000
00000630: DUP2
00000631: DUP8
00000632: ADD
00000633: MSTORE
00000634: DUP3
00000635: DUP9
00000636: ADD
00000637: MSTORE
00000638: DUP7
00000639: MLOAD
0000063a: DUP1
0000063b: DUP9
0000063c: ADD
0000063d: DUP9
0000063e: MSTORE
0000063f: DUP2
00000640: DUP2
00000641: MSTORE
00000642: PUSH32 0x6800000000000000000000000000000000000000000000000000000000000000
00000663: DUP2
00000664: DUP8
00000665: ADD
00000666: MSTORE
00000667: PUSH1 0x60
00000669: DUP4
0000066a: ADD
0000066b: MSTORE
0000066c: DUP7
0000066d: MLOAD
0000066e: DUP1
0000066f: DUP9
00000670: ADD
00000671: DUP9
00000672: MSTORE
00000673: SWAP1
00000674: DUP2
00000675: MSTORE
00000676: PUSH32 0x4b00000000000000000000000000000000000000000000000000000000000000
00000697: DUP2
00000698: DUP7
00000699: ADD
0000069a: MSTORE
0000069b: PUSH1 0x80
0000069d: DUP3
0000069e: ADD
0000069f: MSTORE
000006a0: DUP6
000006a1: MLOAD
000006a2: DUP1
000006a3: DUP8
000006a4: ADD
000006a5: DUP8
000006a6: MSTORE
000006a7: PUSH1 0x04
000006a9: DUP2
000006aa: MSTORE
000006ab: PUSH32 0x4e2e412e00000000000000000000000000000000000000000000000000000000
000006cc: DUP2
000006cd: DUP7
000006ce: ADD
000006cf: MSTORE
000006d0: PUSH1 0xa0
000006d2: DUP3
000006d3: ADD
000006d4: MSTORE
000006d5: DUP6
000006d6: MLOAD
000006d7: DUP1
000006d8: DUP8
000006d9: ADD
000006da: DUP8
000006db: MSTORE
000006dc: PUSH1 0x05
000006de: DUP2
000006df: MSTORE
000006e0: PUSH32 0x64756d6d79000000000000000000000000000000000000000000000000000000
00000701: DUP2
00000702: DUP7
00000703: ADD
00000704: MSTORE
00000705: PUSH1 0xc0
00000707: DUP3
00000708: ADD
00000709: MSTORE
0000070a: DUP6
0000070b: MLOAD
0000070c: DUP1
0000070d: DUP8
0000070e: ADD
0000070f: SWAP1
00000710: SWAP7
00000711: MSTORE
00000712: PUSH1 0x06
00000714: DUP7
00000715: MSTORE
00000716: PUSH32 0x30206f7220460000000000000000000000000000000000000000000000000000
00000737: SWAP4
00000738: DUP7
00000739: ADD
0000073a: SWAP4
0000073b: SWAP1
0000073c: SWAP4
0000073d: MSTORE
0000073e: PUSH1 0xe0
00000740: DUP4
00000741: ADD
00000742: SWAP5
00000743: SWAP1
00000744: SWAP5
00000745: MSTORE
00000746: SWAP2
00000747: SWAP3
00000748: SWAP2
00000749: SWAP1
0000074a: PUSH1 0x08
0000074c: SWAP1
0000074d: DUP2
0000074e: SWAP1
0000074f: DUP4
00000750: SWAP1
00000751: SWAP2
00000752: PUSH1 0x20
00000754: MUL
00000755: DUP3
00000756: ADD
00000757: JUMPDEST
00000758: DUP3
00000759: DUP2
0000075a: GT
0000075b: ISZERO
0000075c: PUSH2 0x0b43
0000075f: JUMPI
00000760: DUP3
00000761: MLOAD
00000762: DUP3
00000763: SWAP1
00000764: DUP1
00000765: MLOAD
00000766: SWAP1
00000767: PUSH1 0x20
00000769: ADD
0000076a: SWAP1
0000076b: DUP3
0000076c: DUP1
0000076d: SLOAD
0000076e: PUSH1 0x01
00000770: DUP2
00000771: PUSH1 0x01
00000773: AND
00000774: ISZERO
00000775: PUSH2 0x0100
00000778: MUL
00000779: SUB
0000077a: AND
0000077b: PUSH1 0x02
0000077d: SWAP1
0000077e: DIV
0000077f: SWAP1
00000780: PUSH1 0x00
00000782: MSTORE
00000783: PUSH1 0x20
00000785: PUSH1 0x00
00000787: KECCAK256
00000788: SWAP1
00000789: PUSH1 0x1f
0000078b: ADD
0000078c: PUSH1 0x20
0000078e: SWAP1
0000078f: DIV
00000790: DUP2
00000791: ADD
00000792: SWAP3
00000793: DUP3
00000794: PUSH1 0x1f
00000796: LT
00000797: PUSH2 0x0b83
0000079a: JUMPI
0000079b: DUP1
0000079c: MLOAD
0000079d: PUSH1 0xff
0000079f: NOT
000007a0: AND
000007a1: DUP4
000007a2: DUP1
000007a3: ADD
000007a4: OR
000007a5: DUP6
000007a6: SSTORE
000007a7: JUMPDEST
000007a8: POP
000007a9: PUSH2 0x0bb3
000007ac: SWAP3
000007ad: SWAP2
000007ae: POP
000007af: PUSH2 0x0115
000007b2: JUMP
000007b3: JUMPDEST
000007b4: PUSH2 0x07d9
000007b7: NUMBER
000007b8: PUSH1 0x00
000007ba: NOT
000007bb: ADD
000007bc: PUSH1 0x0d
000007be: DUP2
000007bf: SWAP1
000007c0: SSTORE
000007c1: BLOCKHASH
000007c2: PUSH1 0x0e
000007c4: DUP2
000007c5: SWAP1
000007c6: SSTORE
000007c7: PUSH1 0x0f
000007c9: DUP1
000007ca: SLOAD
000007cb: PUSH1 0xff
000007cd: NOT
000007ce: AND
000007cf: SWAP2
000007d0: DUP2
000007d1: AND
000007d2: SWAP2
000007d3: SWAP1
000007d4: SWAP2
000007d5: OR
000007d6: SWAP1
000007d7: SSTORE
000007d8: JUMP
000007d9: JUMPDEST
000007da: PUSH1 0x0f
000007dc: SLOAD
000007dd: PUSH2 0x080d
000007e0: SWAP1
000007e1: PUSH1 0xff
000007e3: AND
000007e4: PUSH1 0x00
000007e6: DUP2
000007e7: GT
000007e8: DUP1
000007e9: ISZERO
000007ea: PUSH2 0x07f3
000007ed: JUMPI
000007ee: POP
000007ef: PUSH1 0x08
000007f1: DUP2
000007f2: LT
000007f3: JUMPDEST
000007f4: ISZERO
000007f5: PUSH2 0x0e41
000007f8: JUMPI
000007f9: PUSH1 0x10
000007fb: DUP1
000007fc: SLOAD
000007fd: PUSH1 0x88
000007ff: PUSH1 0x02
00000801: EXP
00000802: PUSH1 0xff
00000804: MUL
00000805: NOT
00000806: AND
00000807: SWAP1
00000808: SSTORE
00000809: PUSH2 0x0e3e
0000080c: JUMP
0000080d: JUMPDEST
0000080e: PUSH1 0x0a
00000810: DUP1
00000811: SLOAD
00000812: PUSH1 0x10
00000814: SLOAD
00000815: PUSH2 0xff00
00000818: NOT
00000819: SWAP1
0000081a: SWAP2
0000081b: AND
0000081c: PUSH17 0x0100000000000000000000000000000000
0000082e: SWAP1
0000082f: SWAP2
00000830: DIV
00000831: PUSH1 0xff
00000833: AND
00000834: PUSH2 0x0100
00000837: SWAP1
00000838: DUP2
00000839: MUL
0000083a: SWAP2
0000083b: SWAP1
0000083c: SWAP2
0000083d: OR
0000083e: SWAP1
0000083f: SWAP2
00000840: SSTORE
00000841: PUSH1 0x0f
00000843: DUP1
00000844: SLOAD
00000845: PUSH21 0xffffffffffffffffffffffffffffffffffffffff00
0000085b: NOT
0000085c: AND
0000085d: CALLER
0000085e: SWAP1
0000085f: SWAP3
00000860: MUL
00000861: SWAP2
00000862: SWAP1
00000863: SWAP2
00000864: OR
00000865: SWAP1
00000866: SSTORE
00000867: PUSH2 0x093b
0000086a: PUSH1 0x00
0000086c: PUSH1 0x04
0000086e: ADDRESS
0000086f: PUSH1 0x01
00000871: PUSH1 0xa0
00000873: PUSH1 0x02
00000875: EXP
00000876: SUB
00000877: AND
00000878: BALANCE
00000879: DIV
0000087a: CALLVALUE
0000087b: GT
0000087c: ISZERO
0000087d: PUSH2 0x0f2b
00000880: JUMPI
00000881: PUSH1 0x40
00000883: DUP1
00000884: MLOAD
00000885: PUSH1 0x60
00000887: DUP2
00000888: ADD
00000889: DUP3
0000088a: MSTORE
0000088b: PUSH1 0x34
0000088d: DUP2
0000088e: MSTORE
0000088f: PUSH32 0x42657420697320746f6f206c617267652e204d6178696d756d20626574206973
000008b0: PUSH1 0x20
000008b2: DUP3
000008b3: DUP2
000008b4: ADD
000008b5: SWAP2
000008b6: DUP3
000008b7: MSTORE
000008b8: PUSH32 0x207468652067616d652062616c616e63652f342e000000000000000000000000
000008d9: SWAP4
000008da: DUP4
000008db: ADD
000008dc: SWAP4
000008dd: SWAP1
000008de: SWAP4
000008df: MSTORE
000008e0: PUSH1 0x0c
000008e2: DUP1
000008e3: SLOAD
000008e4: DUP2
000008e5: DUP7
000008e6: MSTORE
000008e7: PUSH1 0x69
000008e9: DUP3
000008ea: SSTORE
000008eb: SWAP1
000008ec: SWAP4
000008ed: PUSH1 0x02
000008ef: PUSH1 0x01
000008f1: DUP4
000008f2: AND
000008f3: ISZERO
000008f4: PUSH2 0x0100
000008f7: MUL
000008f8: PUSH1 0x00
000008fa: NOT
000008fb: ADD
000008fc: SWAP1
000008fd: SWAP3
000008fe: AND
000008ff: SWAP2
00000900: SWAP1
00000901: SWAP2
00000902: DIV
00000903: PUSH1 0x1f
00000905: ADD
00000906: DIV
00000907: PUSH1 0x00
00000909: DUP1
0000090a: MLOAD
0000090b: PUSH1 0x20
0000090d: PUSH2 0x13b1
00000910: DUP4
00000911: CODECOPY
00000912: DUP2
00000913: MLOAD
00000914: SWAP2
00000915: MSTORE
00000916: SWAP1
00000917: DUP2
00000918: ADD
00000919: SWAP3
0000091a: PUSH1 0x54
0000091c: ADD
0000091d: JUMPDEST
0000091e: DUP3
0000091f: DUP2
00000920: GT
00000921: ISZERO
00000922: PUSH2 0x0fb9
00000925: JUMPI
00000926: DUP3
00000927: MLOAD
00000928: DUP3
00000929: PUSH1 0x00
0000092b: POP
0000092c: SSTORE
0000092d: SWAP2
0000092e: PUSH1 0x20
00000930: ADD
00000931: SWAP2
00000932: SWAP1
00000933: PUSH1 0x01
00000935: ADD
00000936: SWAP1
00000937: PUSH2 0x091d
0000093a: JUMP
0000093b: JUMPDEST
0000093c: PUSH1 0x0f
0000093e: SLOAD
0000093f: PUSH2 0x09a7
00000942: SWAP1
00000943: PUSH1 0xa8
00000945: PUSH1 0x02
00000947: EXP
00000948: SWAP1
00000949: DIV
0000094a: PUSH1 0xff
0000094c: AND
0000094d: DUP3
0000094e: PUSH1 0x01
00000950: DUP3
00000951: EQ
00000952: DUP1
00000953: ISZERO
00000954: PUSH2 0x096f
00000957: JUMPI
00000958: POP
00000959: PUSH9 0x02b5e3af16b1880000
00000963: ADDRESS
00000964: PUSH1 0x01
00000966: PUSH1 0xa0
00000968: PUSH1 0x02
0000096a: EXP
0000096b: SUB
0000096c: AND
0000096d: BALANCE
0000096e: GT
0000096f: JUMPDEST
00000970: ISZERO
00000971: PUSH2 0x1347
00000974: JUMPI
00000975: PUSH1 0x0a
00000977: SLOAD
00000978: PUSH1 0x40
0000097a: MLOAD
0000097b: PUSH3 0x010000
0000097f: SWAP1
00000980: SWAP2
00000981: DIV
00000982: PUSH1 0x01
00000984: PUSH1 0xa0
00000986: PUSH1 0x02
00000988: EXP
00000989: SUB
0000098a: AND
0000098b: SWAP1
0000098c: PUSH1 0x00
0000098e: SWAP1
0000098f: PUSH1 0x01
00000991: PUSH1 0x80
00000993: PUSH1 0x02
00000995: EXP
00000996: SUB
00000997: DUP5
00000998: AND
00000999: SWAP1
0000099a: DUP3
0000099b: DUP2
0000099c: DUP2
0000099d: DUP2
0000099e: DUP6
0000099f: DUP9
000009a0: DUP4
000009a1: CALL
000009a2: POP
000009a3: POP
000009a4: POP
000009a5: POP
000009a6: POP
000009a7: JUMPDEST
000009a8: POP
000009a9: POP
000009aa: JUMP
000009ab: JUMPDEST
000009ac: DUP3
000009ad: ADD
000009ae: SWAP2
000009af: SWAP1
000009b0: PUSH1 0x00
000009b2: MSTORE
000009b3: PUSH1 0x20
000009b5: PUSH1 0x00
000009b7: KECCAK256
000009b8: SWAP1
000009b9: JUMPDEST
000009ba: DUP2
000009bb: SLOAD
000009bc: DUP2
000009bd: MSTORE
000009be: SWAP1
000009bf: PUSH1 0x01
000009c1: ADD
000009c2: SWAP1
000009c3: PUSH1 0x20
000009c5: ADD
000009c6: DUP1
000009c7: DUP4
000009c8: GT
000009c9: PUSH2 0x09b9
000009cc: JUMPI
000009cd: DUP3
000009ce: SWAP1
000009cf: SUB
000009d0: PUSH1 0x1f
000009d2: AND
000009d3: DUP3
000009d4: ADD
000009d5: SWAP2
000009d6: JUMPDEST
000009d7: POP
000009d8: POP
000009d9: PUSH1 0x10
000009db: SLOAD
000009dc: SWAP4
000009dd: SWAP9
000009de: POP
000009df: PUSH1 0x00
000009e1: SWAP4
000009e2: PUSH1 0x88
000009e4: PUSH1 0x02
000009e6: EXP
000009e7: SWAP1
000009e8: DIV
000009e9: PUSH1 0xff
000009eb: AND
000009ec: SWAP3
000009ed: POP
000009ee: POP
000009ef: POP
000009f0: PUSH1 0x08
000009f2: DUP2
000009f3: LT
000009f4: ISZERO
000009f5: PUSH2 0x0002
000009f8: JUMPI
000009f9: PUSH1 0x40
000009fb: DUP1
000009fc: MLOAD
000009fd: DUP3
000009fe: SLOAD
000009ff: PUSH1 0x20
00000a01: PUSH1 0x02
00000a03: PUSH1 0x01
00000a05: DUP4
00000a06: AND
00000a07: ISZERO
00000a08: PUSH2 0x0100
00000a0b: MUL
00000a0c: PUSH1 0x00
00000a0e: NOT
00000a0f: ADD
00000a10: SWAP1
00000a11: SWAP3
00000a12: AND
00000a13: SWAP2
00000a14: SWAP1
00000a15: SWAP2
00000a16: DIV
00000a17: PUSH1 0x1f
00000a19: DUP2
00000a1a: ADD
00000a1b: DUP3
00000a1c: SWAP1
00000a1d: DIV
00000a1e: DUP3
00000a1f: MUL
00000a20: DUP4
00000a21: ADD
00000a22: DUP3
00000a23: ADD
00000a24: SWAP1
00000a25: SWAP4
00000a26: MSTORE
00000a27: DUP3
00000a28: DUP3
00000a29: MSTORE
00000a2a: SWAP1
00000a2b: SWAP4
00000a2c: POP
00000a2d: DUP4
00000a2e: ADD
00000a2f: DUP3
00000a30: DUP3
00000a31: DUP1
00000a32: ISZERO
00000a33: PUSH2 0x0a7d
00000a36: JUMPI
00000a37: DUP1
00000a38: PUSH1 0x1f
00000a3a: LT
00000a3b: PUSH2 0x0a52
00000a3e: JUMPI
00000a3f: PUSH2 0x0100
00000a42: DUP1
00000a43: DUP4
00000a44: SLOAD
00000a45: DIV
00000a46: MUL
00000a47: DUP4
00000a48: MSTORE
00000a49: SWAP2
00000a4a: PUSH1 0x20
00000a4c: ADD
00000a4d: SWAP2
00000a4e: PUSH2 0x0a7d
00000a51: JUMP
00000a52: JUMPDEST
00000a53: DUP3
00000a54: ADD
00000a55: SWAP2
00000a56: SWAP1
00000a57: PUSH1 0x00
00000a59: MSTORE
00000a5a: PUSH1 0x20
00000a5c: PUSH1 0x00
00000a5e: KECCAK256
00000a5f: SWAP1
00000a60: JUMPDEST
00000a61: DUP2
00000a62: SLOAD
00000a63: DUP2
00000a64: MSTORE
00000a65: SWAP1
00000a66: PUSH1 0x01
00000a68: ADD
00000a69: SWAP1
00000a6a: PUSH1 0x20
00000a6c: ADD
00000a6d: DUP1
00000a6e: DUP4
00000a6f: GT
00000a70: PUSH2 0x0a60
00000a73: JUMPI
00000a74: DUP3
00000a75: SWAP1
00000a76: SUB
00000a77: PUSH1 0x1f
00000a79: AND
00000a7a: DUP3
00000a7b: ADD
00000a7c: SWAP2
00000a7d: JUMPDEST
00000a7e: POP
00000a7f: POP
00000a80: PUSH1 0x40
00000a82: DUP1
00000a83: MLOAD
00000a84: PUSH1 0x0c
00000a86: DUP1
00000a87: SLOAD
00000a88: PUSH1 0x20
00000a8a: PUSH1 0x02
00000a8c: PUSH1 0x01
00000a8e: DUP4
00000a8f: AND
00000a90: ISZERO
00000a91: PUSH2 0x0100
00000a94: MUL
00000a95: PUSH1 0x00
00000a97: NOT
00000a98: ADD
00000a99: SWAP1
00000a9a: SWAP3
00000a9b: AND
00000a9c: SWAP2
00000a9d: SWAP1
00000a9e: SWAP2
00000a9f: DIV
00000aa0: PUSH1 0x1f
00000aa2: DUP2
00000aa3: ADD
00000aa4: DUP3
00000aa5: SWAP1
00000aa6: DIV
00000aa7: DUP3
00000aa8: MUL
00000aa9: DUP5
00000aaa: ADD
00000aab: DUP3
00000aac: ADD
00000aad: SWAP1
00000aae: SWAP5
00000aaf: MSTORE
00000ab0: DUP4
00000ab1: DUP4
00000ab2: MSTORE
00000ab3: SWAP7
00000ab4: SWAP10
00000ab5: POP
00000ab6: SWAP1
00000ab7: SWAP6
00000ab8: SWAP1
00000ab9: SWAP5
00000aba: POP
00000abb: SWAP1
00000abc: SWAP3
00000abd: POP
00000abe: DUP5
00000abf: ADD
00000ac0: SWAP1
00000ac1: POP
00000ac2: DUP3
00000ac3: DUP3
00000ac4: DUP1
00000ac5: ISZERO
00000ac6: PUSH2 0x0b10
00000ac9: JUMPI
00000aca: DUP1
00000acb: PUSH1 0x1f
00000acd: LT
00000ace: PUSH2 0x0ae5
00000ad1: JUMPI
00000ad2: PUSH2 0x0100
00000ad5: DUP1
00000ad6: DUP4
00000ad7: SLOAD
00000ad8: DIV
00000ad9: MUL
00000ada: DUP4
00000adb: MSTORE
00000adc: SWAP2
00000add: PUSH1 0x20
00000adf: ADD
00000ae0: SWAP2
00000ae1: PUSH2 0x0b10
00000ae4: JUMP
00000ae5: JUMPDEST
00000ae6: DUP3
00000ae7: ADD
00000ae8: SWAP2
00000ae9: SWAP1
00000aea: PUSH1 0x00
00000aec: MSTORE
00000aed: PUSH1 0x20
00000aef: PUSH1 0x00
00000af1: KECCAK256
00000af2: SWAP1
00000af3: JUMPDEST
00000af4: DUP2
00000af5: SLOAD
00000af6: DUP2
00000af7: MSTORE
00000af8: SWAP1
00000af9: PUSH1 0x01
00000afb: ADD
00000afc: SWAP1
00000afd: PUSH1 0x20
00000aff: ADD
00000b00: DUP1
00000b01: DUP4
00000b02: GT
00000b03: PUSH2 0x0af3
00000b06: JUMPI
00000b07: DUP3
00000b08: SWAP1
00000b09: SUB
00000b0a: PUSH1 0x1f
00000b0c: AND
00000b0d: DUP3
00000b0e: ADD
00000b0f: SWAP2
00000b10: JUMPDEST
00000b11: POP
00000b12: POP
00000b13: PUSH1 0x40
00000b15: DUP1
00000b16: MLOAD
00000b17: PUSH1 0x0b
00000b19: SLOAD
00000b1a: PUSH1 0xc0
00000b1c: DUP3
00000b1d: ADD
00000b1e: SWAP1
00000b1f: SWAP3
00000b20: MSTORE
00000b21: PUSH1 0x9d
00000b23: DUP1
00000b24: DUP3
00000b25: MSTORE
00000b26: SWAP6
00000b27: SWAP12
00000b28: POP
00000b29: SWAP1
00000b2a: SWAP7
00000b2b: POP
00000b2c: SWAP4
00000b2d: SWAP3
00000b2e: POP
00000b2f: PUSH2 0x13d1
00000b32: SWAP2
00000b33: POP
00000b34: POP
00000b35: PUSH1 0x20
00000b37: DUP4
00000b38: ADD
00000b39: CODECOPY
00000b3a: SWAP1
00000b3b: POP
00000b3c: SWAP1
00000b3d: SWAP2
00000b3e: SWAP3
00000b3f: SWAP4
00000b40: SWAP5
00000b41: SWAP6
00000b42: JUMP
00000b43: JUMPDEST
00000b44: POP
00000b45: PUSH2 0x0bc4
00000b48: SWAP3
00000b49: SWAP2
00000b4a: POP
00000b4b: JUMPDEST
00000b4c: DUP1
00000b4d: DUP3
00000b4e: GT
00000b4f: ISZERO
00000b50: PUSH2 0x0514
00000b53: JUMPI
00000b54: PUSH1 0x00
00000b56: DUP2
00000b57: DUP2
00000b58: POP
00000b59: DUP1
00000b5a: SLOAD
00000b5b: PUSH1 0x01
00000b5d: DUP2
00000b5e: PUSH1 0x01
00000b60: AND
00000b61: ISZERO
00000b62: PUSH2 0x0100
00000b65: MUL
00000b66: SUB
00000b67: AND
00000b68: PUSH1 0x02
00000b6a: SWAP1
00000b6b: DIV
00000b6c: PUSH1 0x00
00000b6e: DUP3
00000b6f: SSTORE
00000b70: DUP1
00000b71: PUSH1 0x1f
00000b73: LT
00000b74: PUSH2 0x0c50
00000b77: JUMPI
00000b78: POP
00000b79: JUMPDEST
00000b7a: POP
00000b7b: POP
00000b7c: PUSH1 0x01
00000b7e: ADD
00000b7f: PUSH2 0x0b4b
00000b82: JUMP
00000b83: JUMPDEST
00000b84: DUP3
00000b85: DUP1
00000b86: ADD
00000b87: PUSH1 0x01
00000b89: ADD
00000b8a: DUP6
00000b8b: SSTORE
00000b8c: DUP3
00000b8d: ISZERO
00000b8e: PUSH2 0x07a7
00000b91: JUMPI
00000b92: SWAP2
00000b93: DUP3
00000b94: ADD
00000b95: JUMPDEST
00000b96: DUP3
00000b97: DUP2
00000b98: GT
00000b99: ISZERO
00000b9a: PUSH2 0x07a7
00000b9d: JUMPI
00000b9e: DUP3
00000b9f: MLOAD
00000ba0: DUP3
00000ba1: PUSH1 0x00
00000ba3: POP
00000ba4: SSTORE
00000ba5: SWAP2
00000ba6: PUSH1 0x20
00000ba8: ADD
00000ba9: SWAP2
00000baa: SWAP1
00000bab: PUSH1 0x01
00000bad: ADD
00000bae: SWAP1
00000baf: PUSH2 0x0b95
00000bb2: JUMP
00000bb3: JUMPDEST
00000bb4: POP
00000bb5: POP
00000bb6: SWAP2
00000bb7: PUSH1 0x20
00000bb9: ADD
00000bba: SWAP2
00000bbb: SWAP1
00000bbc: PUSH1 0x01
00000bbe: ADD
00000bbf: SWAP1
00000bc0: PUSH2 0x0757
00000bc3: JUMP
00000bc4: JUMPDEST
00000bc5: POP
00000bc6: POP
00000bc7: PUSH1 0x0a
00000bc9: DUP1
00000bca: SLOAD
00000bcb: PUSH1 0xff
00000bcd: NOT
00000bce: AND
00000bcf: SWAP1
00000bd0: SSTORE
00000bd1: JUMPDEST
00000bd2: PUSH1 0x0a
00000bd4: SLOAD
00000bd5: PUSH1 0x06
00000bd7: PUSH1 0xff
00000bd9: SWAP2
00000bda: SWAP1
00000bdb: SWAP2
00000bdc: AND
00000bdd: LT
00000bde: ISZERO
00000bdf: PUSH2 0x0ce8
00000be2: JUMPI
00000be3: PUSH1 0x0a
00000be5: SLOAD
00000be6: PUSH1 0x00
00000be8: SWAP1
00000be9: PUSH1 0xff
00000beb: AND
00000bec: PUSH1 0x08
00000bee: DUP2
00000bef: LT
00000bf0: ISZERO
00000bf1: PUSH2 0x0002
00000bf4: JUMPI
00000bf5: SWAP1
00000bf6: POP
00000bf7: PUSH1 0x08
00000bf9: PUSH1 0x00
00000bfb: POP
00000bfc: SWAP1
00000bfd: DUP1
00000bfe: SLOAD
00000bff: PUSH1 0x01
00000c01: DUP2
00000c02: PUSH1 0x01
00000c04: AND
00000c05: ISZERO
00000c06: PUSH2 0x0100
00000c09: MUL
00000c0a: SUB
00000c0b: AND
00000c0c: PUSH1 0x02
00000c0e: SWAP1
00000c0f: DIV
00000c10: DUP3
00000c11: DUP1
00000c12: SLOAD
00000c13: PUSH1 0x01
00000c15: DUP2
00000c16: PUSH1 0x01
00000c18: AND
00000c19: ISZERO
00000c1a: PUSH2 0x0100
00000c1d: MUL
00000c1e: SUB
00000c1f: AND
00000c20: PUSH1 0x02
00000c22: SWAP1
00000c23: DIV
00000c24: SWAP1
00000c25: PUSH1 0x00
00000c27: MSTORE
00000c28: PUSH1 0x20
00000c2a: PUSH1 0x00
00000c2c: KECCAK256
00000c2d: SWAP1
00000c2e: PUSH1 0x1f
00000c30: ADD
00000c31: PUSH1 0x20
00000c33: SWAP1
00000c34: DIV
00000c35: DUP2
00000c36: ADD
00000c37: SWAP3
00000c38: DUP3
00000c39: PUSH1 0x1f
00000c3b: LT
00000c3c: PUSH2 0x0ced
00000c3f: JUMPI
00000c40: DUP1
00000c41: SLOAD
00000c42: DUP6
00000c43: SSTORE
00000c44: JUMPDEST
00000c45: POP
00000c46: PUSH2 0x0d29
00000c49: SWAP3
00000c4a: SWAP2
00000c4b: POP
00000c4c: PUSH2 0x0115
00000c4f: JUMP
00000c50: JUMPDEST
00000c51: PUSH1 0x1f
00000c53: ADD
00000c54: PUSH1 0x20
00000c56: SWAP1
00000c57: DIV
00000c58: SWAP1
00000c59: PUSH1 0x00
00000c5b: MSTORE
00000c5c: PUSH1 0x20
00000c5e: PUSH1 0x00
00000c60: KECCAK256
00000c61: SWAP1
00000c62: DUP2
00000c63: ADD
00000c64: SWAP1
00000c65: PUSH2 0x0b79
00000c68: SWAP2
00000c69: SWAP1
00000c6a: PUSH2 0x0115
00000c6d: JUMP
00000c6e: JUMPDEST
00000c6f: DUP3
00000c70: ADD
00000c71: SWAP2
00000c72: SWAP1
00000c73: PUSH1 0x00
00000c75: MSTORE
00000c76: PUSH1 0x20
00000c78: PUSH1 0x00
00000c7a: KECCAK256
00000c7b: SWAP1
00000c7c: JUMPDEST
00000c7d: DUP2
00000c7e: SLOAD
00000c7f: DUP2
00000c80: MSTORE
00000c81: SWAP1
00000c82: PUSH1 0x01
00000c84: ADD
00000c85: SWAP1
00000c86: PUSH1 0x20
00000c88: ADD
00000c89: DUP1
00000c8a: DUP4
00000c8b: GT
00000c8c: PUSH2 0x0c7c
00000c8f: JUMPI
00000c90: DUP3
00000c91: SWAP1
00000c92: SUB
00000c93: PUSH1 0x1f
00000c95: AND
00000c96: DUP3
00000c97: ADD
00000c98: SWAP2
00000c99: JUMPDEST
00000c9a: POP
00000c9b: POP
00000c9c: POP
00000c9d: POP
00000c9e: POP
00000c9f: SWAP2
00000ca0: POP
00000ca1: DUP3
00000ca2: SWAP1
00000ca3: POP
00000ca4: DUP1
00000ca5: PUSH1 0x00
00000ca7: DUP2
00000ca8: MLOAD
00000ca9: DUP2
00000caa: LT
00000cab: ISZERO
00000cac: PUSH2 0x0002
00000caf: JUMPI
00000cb0: SWAP1
00000cb1: PUSH1 0x20
00000cb3: ADD
00000cb4: ADD
00000cb5: MLOAD
00000cb6: PUSH1 0xf8
00000cb8: PUSH1 0x02
00000cba: EXP
00000cbb: SWAP1
00000cbc: DIV
00000cbd: PUSH1 0xf8
00000cbf: PUSH1 0x02
00000cc1: EXP
00000cc2: MUL
00000cc3: DUP3
00000cc4: PUSH1 0x00
00000cc6: DUP2
00000cc7: MLOAD
00000cc8: DUP2
00000cc9: LT
00000cca: ISZERO
00000ccb: PUSH2 0x0002
00000cce: JUMPI
00000ccf: SWAP1
00000cd0: PUSH1 0x20
00000cd2: ADD
00000cd3: ADD
00000cd4: MLOAD
00000cd5: PUSH1 0xf8
00000cd7: PUSH1 0x02
00000cd9: EXP
00000cda: SWAP1
00000cdb: DIV
00000cdc: PUSH1 0xf8
00000cde: PUSH1 0x02
00000ce0: EXP
00000ce1: MUL
00000ce2: EQ
00000ce3: ISZERO
00000ce4: PUSH2 0x0d86
00000ce7: JUMPI
00000ce8: JUMPDEST
00000ce9: POP
00000cea: POP
00000ceb: POP
00000cec: JUMP
00000ced: JUMPDEST
00000cee: DUP3
00000cef: DUP1
00000cf0: ADD
00000cf1: PUSH1 0x01
00000cf3: ADD
00000cf4: DUP6
00000cf5: SSTORE
00000cf6: DUP3
00000cf7: ISZERO
00000cf8: PUSH2 0x0c44
00000cfb: JUMPI
00000cfc: PUSH1 0x00
00000cfe: MSTORE
00000cff: PUSH1 0x20
00000d01: PUSH1 0x00
00000d03: KECCAK256
00000d04: SWAP2
00000d05: PUSH1 0x1f
00000d07: ADD
00000d08: PUSH1 0x20
00000d0a: SWAP1
00000d0b: DIV
00000d0c: DUP3
00000d0d: ADD
00000d0e: JUMPDEST
00000d0f: DUP3
00000d10: DUP2
00000d11: GT
00000d12: ISZERO
00000d13: PUSH2 0x0c44
00000d16: JUMPI
00000d17: DUP3
00000d18: SLOAD
00000d19: DUP3
00000d1a: SSTORE
00000d1b: SWAP2
00000d1c: PUSH1 0x01
00000d1e: ADD
00000d1f: SWAP2
00000d20: SWAP1
00000d21: PUSH1 0x01
00000d23: ADD
00000d24: SWAP1
00000d25: PUSH2 0x0d0e
00000d28: JUMP
00000d29: JUMPDEST
00000d2a: POP
00000d2b: POP
00000d2c: PUSH1 0x08
00000d2e: DUP1
00000d2f: SLOAD
00000d30: PUSH1 0x40
00000d32: DUP1
00000d33: MLOAD
00000d34: PUSH1 0x20
00000d36: PUSH1 0x02
00000d38: PUSH1 0x01
00000d3a: DUP6
00000d3b: AND
00000d3c: ISZERO
00000d3d: PUSH2 0x0100
00000d40: MUL
00000d41: PUSH1 0x00
00000d43: NOT
00000d44: ADD
00000d45: SWAP1
00000d46: SWAP5
00000d47: AND
00000d48: SWAP4
00000d49: SWAP1
00000d4a: SWAP4
00000d4b: DIV
00000d4c: PUSH1 0x1f
00000d4e: DUP2
00000d4f: ADD
00000d50: DUP5
00000d51: SWAP1
00000d52: DIV
00000d53: DUP5
00000d54: MUL
00000d55: DUP3
00000d56: ADD
00000d57: DUP5
00000d58: ADD
00000d59: SWAP1
00000d5a: SWAP3
00000d5b: MSTORE
00000d5c: DUP2
00000d5d: DUP2
00000d5e: MSTORE
00000d5f: SWAP3
00000d60: SWAP2
00000d61: DUP4
00000d62: ADD
00000d63: DUP3
00000d64: DUP3
00000d65: DUP1
00000d66: ISZERO
00000d67: PUSH2 0x0c99
00000d6a: JUMPI
00000d6b: DUP1
00000d6c: PUSH1 0x1f
00000d6e: LT
00000d6f: PUSH2 0x0c6e
00000d72: JUMPI
00000d73: PUSH2 0x0100
00000d76: DUP1
00000d77: DUP4
00000d78: SLOAD
00000d79: DIV
00000d7a: MUL
00000d7b: DUP4
00000d7c: MSTORE
00000d7d: SWAP2
00000d7e: PUSH1 0x20
00000d80: ADD
00000d81: SWAP2
00000d82: PUSH2 0x0c99
00000d85: JUMP
00000d86: JUMPDEST
00000d87: PUSH1 0x0a
00000d89: DUP1
00000d8a: SLOAD
00000d8b: PUSH1 0xff
00000d8d: NOT
00000d8e: DUP2
00000d8f: AND
00000d90: PUSH1 0xff
00000d92: SWAP2
00000d93: SWAP1
00000d94: SWAP2
00000d95: AND
00000d96: PUSH1 0x01
00000d98: ADD
00000d99: OR
00000d9a: SWAP1
00000d9b: SSTORE
00000d9c: PUSH2 0x0bd1
00000d9f: JUMP
00000da0: JUMPDEST
00000da1: DUP1
00000da2: PUSH1 0x02
00000da4: EQ
00000da5: DUP1
00000da6: PUSH2 0x0daf
00000da9: JUMPI
00000daa: POP
00000dab: DUP1
00000dac: PUSH1 0x03
00000dae: EQ
00000daf: JUMPDEST
00000db0: ISZERO
00000db1: PUSH2 0x0dde
00000db4: JUMPI
00000db5: PUSH1 0x10
00000db7: DUP1
00000db8: SLOAD
00000db9: PUSH17 0x0200000000000000000000000000000000
00000dcb: PUSH1 0x80
00000dcd: PUSH1 0x02
00000dcf: EXP
00000dd0: PUSH1 0xff
00000dd2: MUL
00000dd3: NOT
00000dd4: SWAP1
00000dd5: SWAP2
00000dd6: AND
00000dd7: OR
00000dd8: SWAP1
00000dd9: SSTORE
00000dda: PUSH2 0x0e3e
00000ddd: JUMP
00000dde: JUMPDEST
00000ddf: DUP1
00000de0: PUSH1 0x04
00000de2: EQ
00000de3: ISZERO
00000de4: PUSH2 0x0e11
00000de7: JUMPI
00000de8: PUSH1 0x10
00000dea: DUP1
00000deb: SLOAD
00000dec: PUSH17 0x0400000000000000000000000000000000
00000dfe: PUSH1 0x80
00000e00: PUSH1 0x02
00000e02: EXP
00000e03: PUSH1 0xff
00000e05: MUL
00000e06: NOT
00000e07: SWAP1
00000e08: SWAP2
00000e09: AND
00000e0a: OR
00000e0b: SWAP1
00000e0c: SSTORE
00000e0d: PUSH2 0x0e3e
00000e10: JUMP
00000e11: JUMPDEST
00000e12: DUP1
00000e13: PUSH1 0x06
00000e15: EQ
00000e16: ISZERO
00000e17: PUSH2 0x0e3e
00000e1a: JUMPI
00000e1b: PUSH1 0x10
00000e1d: DUP1
00000e1e: SLOAD
00000e1f: PUSH1 0x80
00000e21: PUSH1 0x02
00000e23: EXP
00000e24: PUSH1 0xff
00000e26: MUL
00000e27: NOT
00000e28: AND
00000e29: PUSH17 0x0600000000000000000000000000000000
00000e3b: OR
00000e3c: SWAP1
00000e3d: SSTORE
00000e3e: JUMPDEST
00000e3f: POP
00000e40: JUMP
00000e41: JUMPDEST
00000e42: PUSH1 0x07
00000e44: DUP2
00000e45: GT
00000e46: DUP1
00000e47: ISZERO
00000e48: PUSH2 0x0e51
00000e4b: JUMPI
00000e4c: POP
00000e4d: PUSH1 0x0f
00000e4f: DUP2
00000e50: LT
00000e51: JUMPDEST
00000e52: ISZERO
00000e53: PUSH2 0x0e81
00000e56: JUMPI
00000e57: PUSH1 0x10
00000e59: DUP1
00000e5a: SLOAD
00000e5b: PUSH18 0x020000000000000000000000000000000000
00000e6e: PUSH1 0x88
00000e70: PUSH1 0x02
00000e72: EXP
00000e73: PUSH1 0xff
00000e75: MUL
00000e76: NOT
00000e77: SWAP1
00000e78: SWAP2
00000e79: AND
00000e7a: OR
00000e7b: SWAP1
00000e7c: SSTORE
00000e7d: PUSH2 0x0e3e
00000e80: JUMP
00000e81: JUMPDEST
00000e82: PUSH1 0x10
00000e84: DUP1
00000e85: SLOAD
00000e86: PUSH1 0x88
00000e88: PUSH1 0x02
00000e8a: EXP
00000e8b: PUSH1 0xff
00000e8d: MUL
00000e8e: NOT
00000e8f: AND
00000e90: PUSH18 0x070000000000000000000000000000000000
00000ea3: OR
00000ea4: SWAP1
00000ea5: SSTORE
00000ea6: PUSH1 0x40
00000ea8: DUP1
00000ea9: MLOAD
00000eaa: DUP1
00000eab: DUP3
00000eac: ADD
00000ead: SWAP1
00000eae: SWAP2
00000eaf: MSTORE
00000eb0: PUSH1 0x12
00000eb2: DUP2
00000eb3: MSTORE
00000eb4: PUSH32 0x30206f7220462c20686f7573652077696e730000000000000000000000000000
00000ed5: PUSH1 0x20
00000ed7: SWAP2
00000ed8: DUP3
00000ed9: ADD
00000eda: SWAP1
00000edb: DUP2
00000edc: MSTORE
00000edd: PUSH1 0x0c
00000edf: DUP1
00000ee0: SLOAD
00000ee1: PUSH1 0x00
00000ee3: DUP3
00000ee4: SWAP1
00000ee5: MSTORE
00000ee6: SWAP2
00000ee7: MLOAD
00000ee8: PUSH1 0xff
00000eea: NOT
00000eeb: AND
00000eec: PUSH1 0x24
00000eee: OR
00000eef: DUP2
00000ef0: SSTORE
00000ef1: SWAP2
00000ef2: PUSH2 0x0f24
00000ef5: SWAP2
00000ef6: PUSH1 0x02
00000ef8: PUSH1 0x01
00000efa: DUP3
00000efb: AND
00000efc: ISZERO
00000efd: PUSH2 0x0100
00000f00: MUL
00000f01: PUSH1 0x00
00000f03: NOT
00000f04: ADD
00000f05: SWAP1
00000f06: SWAP2
00000f07: AND
00000f08: DIV
00000f09: PUSH1 0x1f
00000f0b: ADD
00000f0c: DIV
00000f0d: PUSH1 0x00
00000f0f: DUP1
00000f10: MLOAD
00000f11: PUSH1 0x20
00000f13: PUSH2 0x13b1
00000f16: DUP4
00000f17: CODECOPY
00000f18: DUP2
00000f19: MLOAD
00000f1a: SWAP2
00000f1b: MSTORE
00000f1c: SWAP1
00000f1d: DUP2
00000f1e: ADD
00000f1f: SWAP1
00000f20: PUSH2 0x0115
00000f23: JUMP
00000f24: JUMPDEST
00000f25: POP
00000f26: POP
00000f27: PUSH2 0x0e3e
00000f2a: JUMP
00000f2b: JUMPDEST
00000f2c: PUSH8 0x016345785d8a0000
00000f35: CALLVALUE
00000f36: LT
00000f37: ISZERO
00000f38: PUSH2 0x0ff2
00000f3b: JUMPI
00000f3c: PUSH1 0x40
00000f3e: DUP1
00000f3f: MLOAD
00000f40: DUP1
00000f41: DUP3
00000f42: ADD
00000f43: SWAP1
00000f44: SWAP2
00000f45: MSTORE
00000f46: PUSH1 0x16
00000f48: DUP1
00000f49: DUP3
00000f4a: MSTORE
00000f4b: PUSH32 0x4d696e696d756d2062657420697320302e312065746800000000000000000000
00000f6c: PUSH1 0x20
00000f6e: SWAP3
00000f6f: DUP4
00000f70: ADD
00000f71: SWAP1
00000f72: DUP2
00000f73: MSTORE
00000f74: PUSH1 0x0c
00000f76: DUP1
00000f77: SLOAD
00000f78: PUSH1 0x00
00000f7a: DUP3
00000f7b: SWAP1
00000f7c: MSTORE
00000f7d: SWAP1
00000f7e: SWAP4
00000f7f: PUSH1 0x02
00000f81: PUSH1 0x01
00000f83: DUP4
00000f84: AND
00000f85: ISZERO
00000f86: PUSH2 0x0100
00000f89: MUL
00000f8a: PUSH1 0x00
00000f8c: NOT
00000f8d: ADD
00000f8e: SWAP1
00000f8f: SWAP3
00000f90: AND
00000f91: SWAP2
00000f92: SWAP1
00000f93: SWAP2
00000f94: DIV
00000f95: PUSH1 0x1f
00000f97: ADD
00000f98: DIV
00000f99: PUSH1 0x00
00000f9b: DUP1
00000f9c: MLOAD
00000f9d: PUSH1 0x20
00000f9f: PUSH2 0x13b1
00000fa2: DUP4
00000fa3: CODECOPY
00000fa4: DUP2
00000fa5: MLOAD
00000fa6: SWAP2
00000fa7: MSTORE
00000fa8: SWAP1
00000fa9: DUP2
00000faa: ADD
00000fab: SWAP3
00000fac: SWAP2
00000fad: DUP1
00000fae: MLOAD
00000faf: PUSH1 0xff
00000fb1: NOT
00000fb2: AND
00000fb3: DUP4
00000fb4: DUP1
00000fb5: ADD
00000fb6: OR
00000fb7: DUP6
00000fb8: SSTORE
00000fb9: JUMPDEST
00000fba: POP
00000fbb: PUSH2 0x0fc5
00000fbe: SWAP3
00000fbf: SWAP2
00000fc0: POP
00000fc1: PUSH2 0x0115
00000fc4: JUMP
00000fc5: JUMPDEST
00000fc6: POP
00000fc7: POP
00000fc8: PUSH1 0x00
00000fca: PUSH1 0x0b
00000fcc: DUP2
00000fcd: SWAP1
00000fce: SSTORE
00000fcf: PUSH1 0x40
00000fd1: MLOAD
00000fd2: CALLER
00000fd3: PUSH1 0x01
00000fd5: PUSH1 0xa0
00000fd7: PUSH1 0x02
00000fd9: EXP
00000fda: SUB
00000fdb: AND
00000fdc: SWAP2
00000fdd: SWAP1
00000fde: CALLVALUE
00000fdf: SWAP1
00000fe0: DUP3
00000fe1: DUP2
00000fe2: DUP2
00000fe3: DUP2
00000fe4: DUP6
00000fe5: DUP9
00000fe6: DUP4
00000fe7: CALL
00000fe8: SWAP4
00000fe9: POP
00000fea: POP
00000feb: POP
00000fec: POP
00000fed: POP
00000fee: PUSH2 0x0e3e
00000ff1: JUMP
00000ff2: JUMPDEST
00000ff3: CALLVALUE
00000ff4: PUSH1 0x00
00000ff6: EQ
00000ff7: ISZERO
00000ff8: PUSH2 0x107a
00000ffb: JUMPI
00000ffc: PUSH1 0x40
00000ffe: DUP1
00000fff: MLOAD
00001000: DUP1
00001001: DUP3
00001002: ADD
00001003: SWAP1
00001004: SWAP2
00001005: MSTORE
00001006: PUSH1 0x0c
00001008: DUP1
00001009: DUP3
0000100a: MSTORE
0000100b: PUSH32 0x42657420776173207a65726f0000000000000000000000000000000000000000
0000102c: PUSH1 0x20
0000102e: SWAP3
0000102f: DUP4
00001030: ADD
00001031: SWAP1
00001032: DUP2
00001033: MSTORE
00001034: DUP2
00001035: SLOAD
00001036: PUSH1 0x00
00001038: DUP4
00001039: SWAP1
0000103a: MSTORE
0000103b: SWAP1
0000103c: MLOAD
0000103d: PUSH1 0xff
0000103f: NOT
00001040: AND
00001041: PUSH1 0x18
00001043: OR
00001044: DUP3
00001045: SSTORE
00001046: SWAP1
00001047: SWAP2
00001048: PUSH2 0x110f
0000104b: SWAP2
0000104c: PUSH1 0x02
0000104e: PUSH1 0x01
00001050: DUP3
00001051: AND
00001052: ISZERO
00001053: PUSH2 0x0100
00001056: MUL
00001057: PUSH1 0x00
00001059: NOT
0000105a: ADD
0000105b: SWAP1
0000105c: SWAP2
0000105d: AND
0000105e: DIV
0000105f: PUSH1 0x1f
00001061: ADD
00001062: DIV
00001063: PUSH1 0x00
00001065: DUP1
00001066: MLOAD
00001067: PUSH1 0x20
00001069: PUSH2 0x13b1
0000106c: DUP4
0000106d: CODECOPY
0000106e: DUP2
0000106f: MLOAD
00001070: SWAP2
00001071: MSTORE
00001072: SWAP1
00001073: DUP2
00001074: ADD
00001075: SWAP1
00001076: PUSH2 0x0115
00001079: JUMP
0000107a: JUMPDEST
0000107b: POP
0000107c: PUSH1 0x0a
0000107e: SLOAD
0000107f: CALLVALUE
00001080: SWAP1
00001081: PUSH2 0x0100
00001084: SWAP1
00001085: DIV
00001086: PUSH1 0xff
00001088: AND
00001089: PUSH1 0x06
0000108b: EQ
0000108c: ISZERO
0000108d: PUSH2 0x111b
00001090: JUMPI
00001091: PUSH1 0x40
00001093: DUP1
00001094: MLOAD
00001095: DUP1
00001096: DUP3
00001097: ADD
00001098: SWAP1
00001099: SWAP2
0000109a: MSTORE
0000109b: PUSH1 0x18
0000109d: DUP2
0000109e: MSTORE
0000109f: PUSH32 0x67697665206120636861726163746572204c206f722048200000000000000000
000010c0: PUSH1 0x20
000010c2: SWAP2
000010c3: DUP3
000010c4: ADD
000010c5: SWAP1
000010c6: DUP2
000010c7: MSTORE
000010c8: PUSH1 0x0c
000010ca: DUP1
000010cb: SLOAD
000010cc: PUSH1 0x00
000010ce: DUP3
000010cf: SWAP1
000010d0: MSTORE
000010d1: SWAP2
000010d2: MLOAD
000010d3: PUSH1 0xff
000010d5: NOT
000010d6: AND
000010d7: PUSH1 0x30
000010d9: OR
000010da: DUP2
000010db: SSTORE
000010dc: SWAP2
000010dd: PUSH2 0x1162
000010e0: SWAP2
000010e1: PUSH1 0x02
000010e3: PUSH1 0x01
000010e5: DUP3
000010e6: AND
000010e7: ISZERO
000010e8: PUSH2 0x0100
000010eb: MUL
000010ec: PUSH1 0x00
000010ee: NOT
000010ef: ADD
000010f0: SWAP1
000010f1: SWAP2
000010f2: AND
000010f3: DIV
000010f4: PUSH1 0x1f
000010f6: ADD
000010f7: DIV
000010f8: PUSH1 0x00
000010fa: DUP1
000010fb: MLOAD
000010fc: PUSH1 0x20
000010fe: PUSH2 0x13b1
00001101: DUP4
00001102: CODECOPY
00001103: DUP2
00001104: MLOAD
00001105: SWAP2
00001106: MSTORE
00001107: SWAP1
00001108: DUP2
00001109: ADD
0000110a: SWAP1
0000110b: PUSH2 0x0115
0000110e: JUMP
0000110f: JUMPDEST
00001110: POP
00001111: POP
00001112: PUSH1 0x00
00001114: PUSH1 0x0b
00001116: SSTORE
00001117: PUSH2 0x0e3e
0000111a: JUMP
0000111b: JUMPDEST
0000111c: PUSH1 0x0a
0000111e: SLOAD
0000111f: PUSH2 0x0100
00001122: SWAP1
00001123: DIV
00001124: PUSH1 0xff
00001126: AND
00001127: PUSH1 0x04
00001129: EQ
0000112a: DUP1
0000112b: ISZERO
0000112c: PUSH2 0x1149
0000112f: JUMPI
00001130: POP
00001131: PUSH1 0x0a
00001133: SLOAD
00001134: CALLER
00001135: PUSH1 0x01
00001137: PUSH1 0xa0
00001139: PUSH1 0x02
0000113b: EXP
0000113c: SUB
0000113d: SWAP1
0000113e: DUP2
0000113f: AND
00001140: PUSH3 0x010000
00001144: SWAP1
00001145: SWAP3
00001146: DIV
00001147: AND
00001148: EQ
00001149: JUMPDEST
0000114a: ISZERO
0000114b: PUSH2 0x118b
0000114e: JUMPI
0000114f: PUSH1 0x0a
00001151: SLOAD
00001152: PUSH3 0x010000
00001156: SWAP1
00001157: DIV
00001158: PUSH1 0x01
0000115a: PUSH1 0xa0
0000115c: PUSH1 0x02
0000115e: EXP
0000115f: SUB
00001160: AND
00001161: SELFDESTRUCT
00001162: JUMPDEST
00001163: POP
00001164: POP
00001165: PUSH1 0x40
00001167: MLOAD
00001168: CALLER
00001169: PUSH1 0x01
0000116b: PUSH1 0xa0
0000116d: PUSH1 0x02
0000116f: EXP
00001170: SUB
00001171: AND
00001172: SWAP1
00001173: PUSH1 0x00
00001175: SWAP1
00001176: CALLVALUE
00001177: SWAP1
00001178: DUP3
00001179: DUP2
0000117a: DUP2
0000117b: DUP2
0000117c: DUP6
0000117d: DUP9
0000117e: DUP4
0000117f: CALL
00001180: POP
00001181: POP
00001182: POP
00001183: PUSH1 0x0b
00001185: SSTORE
00001186: POP
00001187: PUSH2 0x0e3e
0000118a: JUMP
0000118b: JUMPDEST
0000118c: PUSH1 0x0a
0000118e: SLOAD
0000118f: PUSH1 0x10
00001191: SLOAD
00001192: PUSH1 0x88
00001194: PUSH1 0x02
00001196: EXP
00001197: SWAP1
00001198: DIV
00001199: PUSH1 0xff
0000119b: SWAP1
0000119c: DUP2
0000119d: AND
0000119e: PUSH2 0x0100
000011a1: SWAP1
000011a2: SWAP3
000011a3: DIV
000011a4: AND
000011a5: EQ
000011a6: PUSH2 0x123a
000011a9: JUMPI
000011aa: PUSH1 0x01
000011ac: PUSH1 0x80
000011ae: PUSH1 0x02
000011b0: EXP
000011b1: SUB
000011b2: DUP2
000011b3: AND
000011b4: PUSH1 0x00
000011b6: NOT
000011b7: SWAP1
000011b8: DUP2
000011b9: MUL
000011ba: PUSH1 0x0b
000011bc: SSTORE
000011bd: PUSH1 0x40
000011bf: DUP1
000011c0: MLOAD
000011c1: DUP1
000011c2: DUP3
000011c3: ADD
000011c4: SWAP1
000011c5: SWAP2
000011c6: MSTORE
000011c7: PUSH1 0x04
000011c9: DUP2
000011ca: MSTORE
000011cb: PUSH32 0x4c6f737300000000000000000000000000000000000000000000000000000000
000011ec: PUSH1 0x20
000011ee: SWAP2
000011ef: DUP3
000011f0: ADD
000011f1: SWAP1
000011f2: DUP2
000011f3: MSTORE
000011f4: PUSH1 0x0c
000011f6: DUP1
000011f7: SLOAD
000011f8: PUSH1 0x00
000011fa: DUP3
000011fb: SWAP1
000011fc: MSTORE
000011fd: SWAP2
000011fe: MLOAD
000011ff: PUSH1 0xff
00001201: NOT
00001202: AND
00001203: PUSH1 0x08
00001205: OR
00001206: DUP2
00001207: SSTORE
00001208: SWAP3
00001209: PUSH2 0x12e7
0000120c: SWAP3
0000120d: PUSH1 0x02
0000120f: PUSH1 0x01
00001211: DUP5
00001212: AND
00001213: ISZERO
00001214: PUSH2 0x0100
00001217: MUL
00001218: SWAP1
00001219: SWAP3
0000121a: ADD
0000121b: SWAP1
0000121c: SWAP3
0000121d: AND
0000121e: DIV
0000121f: PUSH1 0x1f
00001221: ADD
00001222: DIV
00001223: PUSH1 0x00
00001225: DUP1
00001226: MLOAD
00001227: PUSH1 0x20
00001229: PUSH2 0x13b1
0000122c: DUP4
0000122d: CODECOPY
0000122e: DUP2
0000122f: MLOAD
00001230: SWAP2
00001231: MSTORE
00001232: SWAP1
00001233: DUP2
00001234: ADD
00001235: SWAP1
00001236: PUSH2 0x0115
00001239: JUMP
0000123a: JUMPDEST
0000123b: PUSH1 0x0a
0000123d: SLOAD
0000123e: PUSH1 0x10
00001240: SLOAD
00001241: PUSH1 0x88
00001243: PUSH1 0x02
00001245: EXP
00001246: SWAP1
00001247: DIV
00001248: PUSH1 0xff
0000124a: SWAP1
0000124b: DUP2
0000124c: AND
0000124d: PUSH2 0x0100
00001250: SWAP1
00001251: SWAP3
00001252: DIV
00001253: AND
00001254: EQ
00001255: ISZERO
00001256: PUSH2 0x0e3e
00001259: JUMPI
0000125a: PUSH1 0x02
0000125c: DUP2
0000125d: DUP2
0000125e: MUL
0000125f: PUSH1 0x01
00001261: PUSH1 0x80
00001263: PUSH1 0x02
00001265: EXP
00001266: SUB
00001267: AND
00001268: PUSH1 0x0b
0000126a: SSTORE
0000126b: PUSH1 0x40
0000126d: DUP1
0000126e: MLOAD
0000126f: DUP1
00001270: DUP3
00001271: ADD
00001272: SWAP1
00001273: SWAP2
00001274: MSTORE
00001275: PUSH1 0x04
00001277: DUP2
00001278: MSTORE
00001279: PUSH32 0x57696e2100000000000000000000000000000000000000000000000000000000
0000129a: PUSH1 0x20
0000129c: SWAP2
0000129d: DUP3
0000129e: ADD
0000129f: SWAP1
000012a0: DUP2
000012a1: MSTORE
000012a2: PUSH1 0x0c
000012a4: DUP1
000012a5: SLOAD
000012a6: PUSH1 0x00
000012a8: DUP3
000012a9: SWAP1
000012aa: MSTORE
000012ab: SWAP2
000012ac: MLOAD
000012ad: PUSH1 0xff
000012af: NOT
000012b0: AND
000012b1: PUSH1 0x08
000012b3: OR
000012b4: DUP2
000012b5: SSTORE
000012b6: SWAP3
000012b7: PUSH2 0x1313
000012ba: SWAP3
000012bb: PUSH1 0x01
000012bd: DUP4
000012be: AND
000012bf: ISZERO
000012c0: PUSH2 0x0100
000012c3: MUL
000012c4: PUSH1 0x00
000012c6: NOT
000012c7: ADD
000012c8: SWAP1
000012c9: SWAP3
000012ca: AND
000012cb: DIV
000012cc: PUSH1 0x1f
000012ce: ADD
000012cf: DIV
000012d0: PUSH1 0x00
000012d2: DUP1
000012d3: MLOAD
000012d4: PUSH1 0x20
000012d6: PUSH2 0x13b1
000012d9: DUP4
000012da: CODECOPY
000012db: DUP2
000012dc: MLOAD
000012dd: SWAP2
000012de: MSTORE
000012df: SWAP1
000012e0: DUP2
000012e1: ADD
000012e2: SWAP1
000012e3: PUSH2 0x0115
000012e6: JUMP
000012e7: JUMPDEST
000012e8: POP
000012e9: POP
000012ea: PUSH1 0x0f
000012ec: DUP1
000012ed: SLOAD
000012ee: PUSH22 0xff000000000000000000000000000000000000000000
00001305: NOT
00001306: AND
00001307: PUSH1 0xa8
00001309: PUSH1 0x02
0000130b: EXP
0000130c: OR
0000130d: SWAP1
0000130e: SSTORE
0000130f: PUSH2 0x0e3e
00001312: JUMP
00001313: JUMPDEST
00001314: POP
00001315: POP
00001316: PUSH1 0x40
00001318: MLOAD
00001319: CALLER
0000131a: PUSH1 0x01
0000131c: PUSH1 0xa0
0000131e: PUSH1 0x02
00001320: EXP
00001321: SUB
00001322: AND
00001323: SWAP1
00001324: PUSH1 0x00
00001326: SWAP1
00001327: PUSH1 0x02
00001329: DUP5
0000132a: MUL
0000132b: PUSH1 0x01
0000132d: PUSH1 0x80
0000132f: PUSH1 0x02
00001331: EXP
00001332: SUB
00001333: AND
00001334: SWAP1
00001335: DUP3
00001336: DUP2
00001337: DUP2
00001338: DUP2
00001339: DUP6
0000133a: DUP9
0000133b: DUP4
0000133c: CALL
0000133d: SWAP4
0000133e: POP
0000133f: POP
00001340: POP
00001341: POP
00001342: POP
00001343: PUSH2 0x0e3e
00001346: JUMP
00001347: JUMPDEST
00001348: DUP2
00001349: PUSH1 0xff
0000134b: AND
0000134c: PUSH1 0x01
0000134e: EQ
0000134f: DUP1
00001350: ISZERO
00001351: PUSH2 0x136c
00001354: JUMPI
00001355: POP
00001356: PUSH9 0x01158e460913d00000
00001360: ADDRESS
00001361: PUSH1 0x01
00001363: PUSH1 0xa0
00001365: PUSH1 0x02
00001367: EXP
00001368: SUB
00001369: AND
0000136a: BALANCE
0000136b: GT
0000136c: JUMPDEST
0000136d: ISZERO
0000136e: PUSH2 0x09a7
00001371: JUMPI
00001372: PUSH1 0x0a
00001374: SLOAD
00001375: PUSH1 0x40
00001377: MLOAD
00001378: PUSH3 0x010000
0000137c: SWAP1
0000137d: SWAP2
0000137e: DIV
0000137f: PUSH1 0x01
00001381: PUSH1 0xa0
00001383: PUSH1 0x02
00001385: EXP
00001386: SUB
00001387: AND
00001388: SWAP1
00001389: PUSH1 0x00
0000138b: SWAP1
0000138c: PUSH1 0x02
0000138e: PUSH1 0x01
00001390: PUSH1 0x80
00001392: PUSH1 0x02
00001394: EXP
00001395: SUB
00001396: DUP1
00001397: DUP7
00001398: AND
00001399: SWAP2
0000139a: SWAP1
0000139b: SWAP2
0000139c: DIV
0000139d: AND
0000139e: SWAP1
0000139f: DUP3
000013a0: DUP2
000013a1: DUP2
000013a2: DUP2
000013a3: DUP6
000013a4: DUP9
000013a5: DUP4
000013a6: CALL
000013a7: SWAP4
000013a8: POP
000013a9: POP
000013aa: POP
000013ab: POP
000013ac: POP
000013ad: PUSH2 0x09a7
000013b0: JUMP
000013b1: UNKNOWN(0xDF)
000013b2: PUSH10 0x66c971051c3d54ec5916
000013bd: UNKNOWN(0x26)
000013be: MOD
000013bf: MSTORE8
000013c0: EQ
000013c1: SWAP4
000013c2: UNKNOWN(0xA5)
000013c3: EQ
000013c4: DIV
000013c5: LOG0
000013c6: MUL
000013c7: DUP5
000013c8: UNKNOWN(0x2F)
000013c9: JUMP
000013ca: STOP
000013cb: SWAP14
000013cc: PUSH31 0x5cf4a8c7546865207269676874206c6f7474657279206e756d626572206973
000013ec: KECCAK256
000013ed: PUSH5 0x6563696465
000013f3: PUSH5 0x2062792074
000013f9: PUSH9 0x65206c617374206368
00001403: PUSH2 0x7261
00001406: PUSH4 0x74657220
0000140b: PUSH16 0x6620746865206d6f737420726563656e
0000141c: PUSH21 0x20626c6f636b6861736820617661696c61626c6520
00001432: PUSH5 0x7572696e67
00001438: KECCAK256
00001439: PUSH21 0x68652067616d652e20312d37203d4c6f772c20382d
0000144f: PUSH6 0x203d48696768
00001456: UNKNOWN(0x2E)
00001457: KECCAK256
00001458: UNKNOWN(0x4F)
00001459: PUSH15 0x65204574682069732031302a2a3138
00001469: KECCAK256
0000146a: JUMPI
0000146b: PUSH6
View stderr
Warning: This is a nightly build of Foundry. It is recommended to use the latest stable version. To mute this warning set `FOUNDRY_DISABLE_NIGHTLY_WARNING` in your environment.

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high other detector Untrusted CALL target/value reachable 60 no no
view
trace_id: 0xca0855c3da48453020d5dba58de9a77c8e36e25cc8f6e24a51309c98ffc6eef0
call_targets: 0x28cc60c7c651f3e81e4b85b7a66366df0809870f
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xca0855c3da48453020d5dba58de9a77c8e36e25cc8f6e24a51309c98ffc6eef0",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x28cc60c7c651f3e81e4b85b7a66366df0809870f"
    ],
    "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": "0x421aeda6",
            "selector": "0x421aeda6",
            "calldata_variants": [
                "0x421aeda6",
                "0x421aeda60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x43e332c5",
            "selector": "0x43e332c5",
            "calldata_variants": [
                "0x43e332c5",
                "0x43e332c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6673ce2b",
            "selector": "0x6673ce2b",
            "calldata_variants": [
                "0x6673ce2b",
                "0x6673ce2b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdb641ab4",
            "selector": "0xdb641ab4",
            "calldata_variants": [
                "0xdb641ab4",
                "0xdb641ab40000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 674,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 818,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 907,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 10,
    "guards_detected": [],
    "untrusted_call_count": 10
}
high other detector ETH value transfer possible 55 no no
view
trace_id: 0xca0855c3da48453020d5dba58de9a77c8e36e25cc8f6e24a51309c98ffc6eef0
call_targets: 0x28cc60c7c651f3e81e4b85b7a66366df0809870f
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xca0855c3da48453020d5dba58de9a77c8e36e25cc8f6e24a51309c98ffc6eef0",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x28cc60c7c651f3e81e4b85b7a66366df0809870f"
    ],
    "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": "0x421aeda6",
            "selector": "0x421aeda6",
            "calldata_variants": [
                "0x421aeda6",
                "0x421aeda60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x43e332c5",
            "selector": "0x43e332c5",
            "calldata_variants": [
                "0x43e332c5",
                "0x43e332c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6673ce2b",
            "selector": "0x6673ce2b",
            "calldata_variants": [
                "0x6673ce2b",
                "0x6673ce2b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdb641ab4",
            "selector": "0xdb641ab4",
            "calldata_variants": [
                "0xdb641ab4",
                "0xdb641ab40000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 674,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 818,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 907,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 10,
    "guards_detected": []
}
high other detector SELFDESTRUCT reachable 65 no no
view
trace_id: 0x27e69cfac52f1dd4b449361ed0ce79c166b99c300f42ba389c6ab53521628254
validation_json
{
    "sink": "SELFDESTRUCT",
    "errors": 0,
    "status": "unknown",
    "attempts": 8,
    "trace_id": "0x27e69cfac52f1dd4b449361ed0ce79c166b99c300f42ba389c6ab53521628254",
    "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": "0x421aeda6",
            "selector": "0x421aeda6",
            "calldata_variants": [
                "0x421aeda6",
                "0x421aeda60000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x43e332c5",
            "selector": "0x43e332c5",
            "calldata_variants": [
                "0x43e332c5",
                "0x43e332c50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0x6673ce2b",
            "selector": "0x6673ce2b",
            "calldata_variants": [
                "0x6673ce2b",
                "0x6673ce2b0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xdb641ab4",
            "selector": "0xdb641ab4",
            "calldata_variants": [
                "0xdb641ab4",
                "0xdb641ab40000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [],
    "selfdestruct_count": 1
}