019b3844-8e3d-71c5-b489-00d782bb9aa3
Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?
| ID | Type | Status | Attempts | Heartbeat |
|---|---|---|---|---|
| 12251 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 12252 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 55444 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 55445 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 55446 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 55447 | validation.fork | complete | 1 / 3 | 2 weeks ago |
No slither job recorded yet.
No codex job recorded yet.
00000000: PUSH1 0x80 00000002: PUSH1 0x40 00000004: MSTORE 00000005: PUSH1 0x04 00000007: CALLDATASIZE 00000008: LT 00000009: PUSH2 0x0166 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH1 0xe0 00000014: PUSH1 0x02 00000016: EXP 00000017: PUSH1 0x00 00000019: CALLDATALOAD 0000001a: DIV 0000001b: AND 0000001c: PUSH4 0x0c08bf88 00000021: DUP2 00000022: EQ 00000023: PUSH2 0x03f4 00000026: JUMPI 00000027: DUP1 00000028: PUSH4 0x23ec8f62 0000002d: EQ 0000002e: PUSH2 0x040b 00000031: JUMPI 00000032: DUP1 00000033: PUSH4 0x28e08186 00000038: EQ 00000039: PUSH2 0x0420 0000003c: JUMPI 0000003d: DUP1 0000003e: PUSH4 0x2c4e722e 00000043: EQ 00000044: PUSH2 0x0447 00000047: JUMPI 00000048: DUP1 00000049: PUSH4 0x3052b75e 0000004e: EQ 0000004f: PUSH2 0x046e 00000052: JUMPI 00000053: DUP1 00000054: PUSH4 0x3197cbb6 00000059: EQ 0000005a: PUSH2 0x0486 0000005d: JUMPI 0000005e: DUP1 0000005f: PUSH4 0x34fcf437 00000064: EQ 00000065: PUSH2 0x049b 00000068: JUMPI 00000069: DUP1 0000006a: PUSH4 0x38af3eed 0000006f: EQ 00000070: PUSH2 0x04b3 00000073: JUMPI 00000074: DUP1 00000075: PUSH4 0x3f4ba83a 0000007a: EQ 0000007b: PUSH2 0x04e4 0000007e: JUMPI 0000007f: DUP1 00000080: PUSH4 0x42e94c90 00000085: EQ 00000086: PUSH2 0x04f9 00000089: JUMPI 0000008a: DUP1 0000008b: PUSH4 0x5c975abb 00000090: EQ 00000091: PUSH2 0x051a 00000094: JUMPI 00000095: DUP1 00000096: PUSH4 0x6e66f6e9 0000009b: EQ 0000009c: PUSH2 0x0543 0000009f: JUMPI 000000a0: DUP1 000000a1: PUSH4 0x70a08231 000000a6: EQ 000000a7: PUSH2 0x0558 000000aa: JUMPI 000000ab: DUP1 000000ac: PUSH4 0x782e34c9 000000b1: EQ 000000b2: PUSH2 0x0579 000000b5: JUMPI 000000b6: DUP1 000000b7: PUSH4 0x78e97925 000000bc: EQ 000000bd: PUSH2 0x058e 000000c0: JUMPI 000000c1: DUP1 000000c2: PUSH4 0x7a3a0e84 000000c7: EQ 000000c8: PUSH2 0x05a3 000000cb: JUMPI 000000cc: DUP1 000000cd: PUSH4 0x7b3e5e7b 000000d2: EQ 000000d3: PUSH2 0x05b8 000000d6: JUMPI 000000d7: DUP1 000000d8: PUSH4 0x8456cb59 000000dd: EQ 000000de: PUSH2 0x05cd 000000e1: JUMPI 000000e2: DUP1 000000e3: PUSH4 0x848b3821 000000e8: EQ 000000e9: PUSH2 0x05e2 000000ec: JUMPI 000000ed: DUP1 000000ee: PUSH4 0x8aa5b2c3 000000f3: EQ 000000f4: PUSH2 0x05f7 000000f7: JUMPI 000000f8: DUP1 000000f9: PUSH4 0x8da5cb5b 000000fe: EQ 000000ff: PUSH2 0x060f 00000102: JUMPI 00000103: DUP1 00000104: PUSH4 0xaaffadf3 00000109: EQ 0000010a: PUSH2 0x0624 0000010d: JUMPI 0000010e: DUP1 0000010f: PUSH4 0xad33513f 00000114: EQ 00000115: PUSH2 0x0639 00000118: JUMPI 00000119: DUP1 0000011a: PUSH4 0xb8c766b8 0000011f: EQ 00000120: PUSH2 0x064e 00000123: JUMPI 00000124: DUP1 00000125: PUSH4 0xd18e81b3 0000012a: EQ 0000012b: PUSH2 0x0663 0000012e: JUMPI 0000012f: DUP1 00000130: PUSH4 0xd424f628 00000135: EQ 00000136: PUSH2 0x0678 00000139: JUMPI 0000013a: DUP1 0000013b: PUSH4 0xe3b2594f 00000140: EQ 00000141: PUSH2 0x068d 00000144: JUMPI 00000145: DUP1 00000146: PUSH4 0xea871246 0000014b: EQ 0000014c: PUSH2 0x06a2 0000014f: JUMPI 00000150: DUP1 00000151: PUSH4 0xef35fc16 00000156: EQ 00000157: PUSH2 0x06b7 0000015a: JUMPI 0000015b: DUP1 0000015c: PUSH4 0xfd6b7ef8 00000161: EQ 00000162: PUSH2 0x06cc 00000165: JUMPI 00000166: JUMPDEST 00000167: PUSH1 0x0b 00000169: SLOAD 0000016a: PUSH1 0x00 0000016c: SWAP1 0000016d: DUP2 0000016e: SWAP1 0000016f: DUP2 00000170: SWAP1 00000171: PUSH2 0x0100 00000174: SWAP1 00000175: DIV 00000176: PUSH1 0xff 00000178: AND 00000179: ISZERO 0000017a: PUSH2 0x0182 0000017d: JUMPI 0000017e: PUSH1 0x00 00000180: DUP1 00000181: REVERT 00000182: JUMPDEST 00000183: PUSH1 0x06 00000185: SLOAD 00000186: PUSH2 0x018d 00000189: PUSH2 0x06e1 0000018c: JUMP 0000018d: JUMPDEST 0000018e: LT 0000018f: PUSH2 0x0197 00000192: JUMPI 00000193: PUSH1 0x00 00000195: DUP1 00000196: REVERT 00000197: JUMPDEST 00000198: PUSH1 0x05 0000019a: SLOAD 0000019b: PUSH2 0x01a2 0000019e: PUSH2 0x06e1 000001a1: JUMP 000001a2: JUMPDEST 000001a3: LT 000001a4: ISZERO 000001a5: PUSH2 0x01ad 000001a8: JUMPI 000001a9: PUSH1 0x00 000001ab: DUP1 000001ac: REVERT 000001ad: JUMPDEST 000001ae: PUSH1 0x04 000001b0: SLOAD 000001b1: PUSH3 0x010000 000001b5: SWAP1 000001b6: DIV 000001b7: PUSH1 0xff 000001b9: AND 000001ba: ISZERO 000001bb: PUSH2 0x01c3 000001be: JUMPI 000001bf: PUSH1 0x00 000001c1: DUP1 000001c2: REVERT 000001c3: JUMPDEST 000001c4: PUSH1 0x0b 000001c6: SLOAD 000001c7: PUSH1 0xff 000001c9: AND 000001ca: ISZERO 000001cb: PUSH2 0x01d3 000001ce: JUMPI 000001cf: PUSH1 0x00 000001d1: DUP1 000001d2: REVERT 000001d3: JUMPDEST 000001d4: PUSH1 0x0b 000001d6: DUP1 000001d7: SLOAD 000001d8: PUSH1 0xff 000001da: NOT 000001db: AND 000001dc: PUSH1 0x01 000001de: OR 000001df: SWAP1 000001e0: SSTORE 000001e1: PUSH1 0x03 000001e3: SLOAD 000001e4: CALLVALUE 000001e5: LT 000001e6: ISZERO 000001e7: PUSH2 0x01ef 000001ea: JUMPI 000001eb: PUSH1 0x00 000001ed: DUP1 000001ee: REVERT 000001ef: JUMPDEST 000001f0: CALLER 000001f1: PUSH1 0x00 000001f3: SWAP1 000001f4: DUP2 000001f5: MSTORE 000001f6: PUSH1 0x0c 000001f8: PUSH1 0x20 000001fa: MSTORE 000001fb: PUSH1 0x40 000001fd: SWAP1 000001fe: KECCAK256 000001ff: SLOAD 00000200: CALLVALUE 00000201: SWAP4 00000202: POP 00000203: SWAP2 00000204: POP 00000205: PUSH2 0x0214 00000208: DUP3 00000209: DUP5 0000020a: PUSH4 0xffffffff 0000020f: PUSH2 0x06e5 00000212: AND 00000213: JUMP 00000214: JUMPDEST 00000215: CALLER 00000216: PUSH1 0x00 00000218: SWAP1 00000219: DUP2 0000021a: MSTORE 0000021b: PUSH1 0x0c 0000021d: PUSH1 0x20 0000021f: MSTORE 00000220: PUSH1 0x40 00000222: SWAP1 00000223: KECCAK256 00000224: SSTORE 00000225: PUSH1 0x08 00000227: SLOAD 00000228: PUSH2 0x0237 0000022b: SWAP1 0000022c: DUP5 0000022d: PUSH4 0xffffffff 00000232: PUSH2 0x06e5 00000235: AND 00000236: JUMP 00000237: JUMPDEST 00000238: PUSH1 0x08 0000023a: SSTORE 0000023b: PUSH1 0x0a 0000023d: SLOAD 0000023e: PUSH2 0x024e 00000241: SWAP1 00000242: DUP5 00000243: SWAP1 00000244: PUSH4 0xffffffff 00000249: PUSH2 0x06f8 0000024c: AND 0000024d: JUMP 0000024e: JUMPDEST 0000024f: PUSH1 0x0b 00000251: SLOAD 00000252: PUSH1 0x40 00000254: DUP1 00000255: MLOAD 00000256: PUSH32 0x8da5cb5b00000000000000000000000000000000000000000000000000000000 00000277: DUP2 00000278: MSTORE 00000279: SWAP1 0000027a: MLOAD 0000027b: SWAP3 0000027c: SWAP4 0000027d: POP 0000027e: PUSH3 0x010000 00000282: SWAP1 00000283: SWAP2 00000284: DIV 00000285: PUSH1 0x01 00000287: PUSH1 0xa0 00000289: PUSH1 0x02 0000028b: EXP 0000028c: SUB 0000028d: AND 0000028e: SWAP2 0000028f: PUSH4 0x23b872dd 00000294: SWAP2 00000295: DUP4 00000296: SWAP2 00000297: PUSH4 0x8da5cb5b 0000029c: SWAP2 0000029d: PUSH1 0x04 0000029f: DUP1 000002a0: DUP3 000002a1: ADD 000002a2: SWAP3 000002a3: PUSH1 0x20 000002a5: SWAP3 000002a6: SWAP1 000002a7: SWAP2 000002a8: SWAP1 000002a9: DUP3 000002aa: SWAP1 000002ab: SUB 000002ac: ADD 000002ad: DUP2 000002ae: PUSH1 0x00 000002b0: DUP8 000002b1: DUP1 000002b2: EXTCODESIZE 000002b3: ISZERO 000002b4: DUP1 000002b5: ISZERO 000002b6: PUSH2 0x02be 000002b9: JUMPI 000002ba: PUSH1 0x00 000002bc: DUP1 000002bd: REVERT 000002be: JUMPDEST 000002bf: POP 000002c0: GAS 000002c1: CALL 000002c2: ISZERO 000002c3: DUP1 000002c4: ISZERO 000002c5: PUSH2 0x02d2 000002c8: JUMPI 000002c9: RETURNDATASIZE 000002ca: PUSH1 0x00 000002cc: DUP1 000002cd: RETURNDATACOPY 000002ce: RETURNDATASIZE 000002cf: PUSH1 0x00 000002d1: REVERT 000002d2: JUMPDEST 000002d3: POP 000002d4: POP 000002d5: POP 000002d6: POP 000002d7: PUSH1 0x40 000002d9: MLOAD 000002da: RETURNDATASIZE 000002db: PUSH1 0x20 000002dd: DUP2 000002de: LT 000002df: ISZERO 000002e0: PUSH2 0x02e8 000002e3: JUMPI 000002e4: PUSH1 0x00 000002e6: DUP1 000002e7: REVERT 000002e8: JUMPDEST 000002e9: POP 000002ea: MLOAD 000002eb: PUSH1 0x40 000002ed: DUP1 000002ee: MLOAD 000002ef: PUSH1 0xe0 000002f1: PUSH1 0x02 000002f3: EXP 000002f4: PUSH4 0xffffffff 000002f9: DUP6 000002fa: AND 000002fb: MUL 000002fc: DUP2 000002fd: MSTORE 000002fe: PUSH1 0x01 00000300: PUSH1 0xa0 00000302: PUSH1 0x02 00000304: EXP 00000305: SUB 00000306: SWAP1 00000307: SWAP3 00000308: AND 00000309: PUSH1 0x04 0000030b: DUP4 0000030c: ADD 0000030d: MSTORE 0000030e: CALLER 0000030f: PUSH1 0x24 00000311: DUP4 00000312: ADD 00000313: MSTORE 00000314: PUSH1 0x44 00000316: DUP3 00000317: ADD 00000318: DUP6 00000319: SWAP1 0000031a: MSTORE 0000031b: MLOAD 0000031c: PUSH1 0x64 0000031e: DUP1 0000031f: DUP4 00000320: ADD 00000321: SWAP3 00000322: PUSH1 0x20 00000324: SWAP3 00000325: SWAP2 00000326: SWAP1 00000327: DUP3 00000328: SWAP1 00000329: SUB 0000032a: ADD 0000032b: DUP2 0000032c: PUSH1 0x00 0000032e: DUP8 0000032f: DUP1 00000330: EXTCODESIZE 00000331: ISZERO 00000332: DUP1 00000333: ISZERO 00000334: PUSH2 0x033c 00000337: JUMPI 00000338: PUSH1 0x00 0000033a: DUP1 0000033b: REVERT 0000033c: JUMPDEST 0000033d: POP 0000033e: GAS 0000033f: CALL 00000340: ISZERO 00000341: DUP1 00000342: ISZERO 00000343: PUSH2 0x0350 00000346: JUMPI 00000347: RETURNDATASIZE 00000348: PUSH1 0x00 0000034a: DUP1 0000034b: RETURNDATACOPY 0000034c: RETURNDATASIZE 0000034d: PUSH1 0x00 0000034f: REVERT 00000350: JUMPDEST 00000351: POP 00000352: POP 00000353: POP 00000354: POP 00000355: PUSH1 0x40 00000357: MLOAD 00000358: RETURNDATASIZE 00000359: PUSH1 0x20 0000035b: DUP2 0000035c: LT 0000035d: ISZERO 0000035e: PUSH2 0x0366 00000361: JUMPI 00000362: PUSH1 0x00 00000364: DUP1 00000365: REVERT 00000366: JUMPDEST 00000367: POP 00000368: MLOAD 00000369: ISZERO 0000036a: PUSH2 0x03e0 0000036d: JUMPI 0000036e: PUSH1 0x40 00000370: DUP1 00000371: MLOAD 00000372: CALLER 00000373: DUP2 00000374: MSTORE 00000375: PUSH1 0x20 00000377: DUP2 00000378: ADD 00000379: DUP6 0000037a: SWAP1 0000037b: MSTORE 0000037c: PUSH1 0x01 0000037e: DUP2 0000037f: DUP4 00000380: ADD 00000381: MSTORE 00000382: SWAP1 00000383: MLOAD 00000384: PUSH1 0x00 00000386: DUP1 00000387: MLOAD 00000388: PUSH1 0x20 0000038a: PUSH2 0x0fa5 0000038d: DUP4 0000038e: CODECOPY 0000038f: DUP2 00000390: MLOAD 00000391: SWAP2 00000392: MSTORE 00000393: SWAP2 00000394: DUP2 00000395: SWAP1 00000396: SUB 00000397: PUSH1 0x60 00000399: ADD 0000039a: SWAP1 0000039b: LOG1 0000039c: CALLER 0000039d: PUSH1 0x00 0000039f: SWAP1 000003a0: DUP2 000003a1: MSTORE 000003a2: PUSH1 0x0d 000003a4: PUSH1 0x20 000003a6: MSTORE 000003a7: PUSH1 0x40 000003a9: SWAP1 000003aa: KECCAK256 000003ab: SLOAD 000003ac: PUSH2 0x03bb 000003af: SWAP1 000003b0: DUP5 000003b1: PUSH4 0xffffffff 000003b6: PUSH2 0x06e5 000003b9: AND 000003ba: JUMP 000003bb: JUMPDEST 000003bc: CALLER 000003bd: PUSH1 0x00 000003bf: SWAP1 000003c0: DUP2 000003c1: MSTORE 000003c2: PUSH1 0x0d 000003c4: PUSH1 0x20 000003c6: MSTORE 000003c7: PUSH1 0x40 000003c9: SWAP1 000003ca: KECCAK256 000003cb: SSTORE 000003cc: PUSH2 0x03d3 000003cf: PUSH2 0x0721 000003d2: JUMP 000003d3: JUMPDEST 000003d4: PUSH2 0x03db 000003d7: PUSH2 0x0793 000003da: JUMP 000003db: JUMPDEST 000003dc: PUSH2 0x03e5 000003df: JUMP 000003e0: JUMPDEST 000003e1: PUSH1 0x00 000003e3: DUP1 000003e4: REVERT 000003e5: JUMPDEST 000003e6: POP 000003e7: POP 000003e8: PUSH1 0x0b 000003ea: DUP1 000003eb: SLOAD 000003ec: PUSH1 0xff 000003ee: NOT 000003ef: AND 000003f0: SWAP1 000003f1: SSTORE 000003f2: POP 000003f3: STOP 000003f4: JUMPDEST 000003f5: CALLVALUE 000003f6: DUP1 000003f7: ISZERO 000003f8: PUSH2 0x0400 000003fb: JUMPI 000003fc: PUSH1 0x00 000003fe: DUP1 000003ff: REVERT 00000400: JUMPDEST 00000401: POP 00000402: PUSH2 0x0409 00000405: PUSH2 0x0818 00000408: JUMP 00000409: JUMPDEST 0000040a: STOP 0000040b: JUMPDEST 0000040c: CALLVALUE 0000040d: DUP1 0000040e: ISZERO 0000040f: PUSH2 0x0417 00000412: JUMPI 00000413: PUSH1 0x00 00000415: DUP1 00000416: REVERT 00000417: JUMPDEST 00000418: POP 00000419: PUSH2 0x0409 0000041c: PUSH2 0x08ba 0000041f: JUMP 00000420: JUMPDEST 00000421: CALLVALUE 00000422: DUP1 00000423: ISZERO 00000424: PUSH2 0x042c 00000427: JUMPI 00000428: PUSH1 0x00 0000042a: DUP1 0000042b: REVERT 0000042c: JUMPDEST 0000042d: POP 0000042e: PUSH2 0x0409 00000431: PUSH1 0x01 00000433: PUSH1 0xa0 00000435: PUSH1 0x02 00000437: EXP 00000438: SUB 00000439: PUSH1 0x04 0000043b: CALLDATALOAD 0000043c: AND 0000043d: PUSH1 0x24 0000043f: CALLDATALOAD 00000440: PUSH1 0x44 00000442: CALLDATALOAD 00000443: PUSH2 0x08f3 00000446: JUMP 00000447: JUMPDEST 00000448: CALLVALUE 00000449: DUP1 0000044a: ISZERO 0000044b: PUSH2 0x0453 0000044e: JUMPI 0000044f: PUSH1 0x00 00000451: DUP1 00000452: REVERT 00000453: JUMPDEST 00000454: POP 00000455: PUSH2 0x045c 00000458: PUSH2 0x0afa 0000045b: JUMP 0000045c: JUMPDEST 0000045d: PUSH1 0x40 0000045f: DUP1 00000460: MLOAD 00000461: SWAP2 00000462: DUP3 00000463: MSTORE 00000464: MLOAD 00000465: SWAP1 00000466: DUP2 00000467: SWAP1 00000468: SUB 00000469: PUSH1 0x20 0000046b: ADD 0000046c: SWAP1 0000046d: RETURN 0000046e: JUMPDEST 0000046f: CALLVALUE 00000470: DUP1 00000471: ISZERO 00000472: PUSH2 0x047a 00000475: JUMPI 00000476: PUSH1 0x00 00000478: DUP1 00000479: REVERT 0000047a: JUMPDEST 0000047b: POP 0000047c: PUSH2 0x0409 0000047f: PUSH1 0x04 00000481: CALLDATALOAD 00000482: PUSH2 0x0b00 00000485: JUMP 00000486: JUMPDEST 00000487: CALLVALUE 00000488: DUP1 00000489: ISZERO 0000048a: PUSH2 0x0492 0000048d: JUMPI 0000048e: PUSH1 0x00 00000490: DUP1 00000491: REVERT 00000492: JUMPDEST 00000493: POP 00000494: PUSH2 0x045c 00000497: PUSH2 0x0b1c 0000049a: JUMP 0000049b: JUMPDEST 0000049c: CALLVALUE 0000049d: DUP1 0000049e: ISZERO 0000049f: PUSH2 0x04a7 000004a2: JUMPI 000004a3: PUSH1 0x00 000004a5: DUP1 000004a6: REVERT 000004a7: JUMPDEST 000004a8: POP 000004a9: PUSH2 0x0409 000004ac: PUSH1 0x04 000004ae: CALLDATALOAD 000004af: PUSH2 0x0b22 000004b2: JUMP 000004b3: JUMPDEST 000004b4: CALLVALUE 000004b5: DUP1 000004b6: ISZERO 000004b7: PUSH2 0x04bf 000004ba: JUMPI 000004bb: PUSH1 0x00 000004bd: DUP1 000004be: REVERT 000004bf: JUMPDEST 000004c0: POP 000004c1: PUSH2 0x04c8 000004c4: PUSH2 0x0b5d 000004c7: JUMP 000004c8: JUMPDEST 000004c9: PUSH1 0x40 000004cb: DUP1 000004cc: MLOAD 000004cd: PUSH1 0x01 000004cf: PUSH1 0xa0 000004d1: PUSH1 0x02 000004d3: EXP 000004d4: SUB 000004d5: SWAP1 000004d6: SWAP3 000004d7: AND 000004d8: DUP3 000004d9: MSTORE 000004da: MLOAD 000004db: SWAP1 000004dc: DUP2 000004dd: SWAP1 000004de: SUB 000004df: PUSH1 0x20 000004e1: ADD 000004e2: SWAP1 000004e3: RETURN 000004e4: JUMPDEST 000004e5: CALLVALUE 000004e6: DUP1 000004e7: ISZERO 000004e8: PUSH2 0x04f0 000004eb: JUMPI 000004ec: PUSH1 0x00 000004ee: DUP1 000004ef: REVERT 000004f0: JUMPDEST 000004f1: POP 000004f2: PUSH2 0x0409 000004f5: PUSH2 0x0b6c 000004f8: JUMP 000004f9: JUMPDEST 000004fa: CALLVALUE 000004fb: DUP1 000004fc: ISZERO 000004fd: PUSH2 0x0505 00000500: JUMPI 00000501: PUSH1 0x00 00000503: DUP1 00000504: REVERT 00000505: JUMPDEST 00000506: POP 00000507: PUSH2 0x045c 0000050a: PUSH1 0x01 0000050c: PUSH1 0xa0 0000050e: PUSH1 0x02 00000510: EXP 00000511: SUB 00000512: PUSH1 0x04 00000514: CALLDATALOAD 00000515: AND 00000516: PUSH2 0x0c4a 00000519: JUMP 0000051a: JUMPDEST 0000051b: CALLVALUE 0000051c: DUP1 0000051d: ISZERO 0000051e: PUSH2 0x0526 00000521: JUMPI 00000522: PUSH1 0x00 00000524: DUP1 00000525: REVERT 00000526: JUMPDEST 00000527: POP 00000528: PUSH2 0x052f 0000052b: PUSH2 0x0c5c 0000052e: JUMP 0000052f: JUMPDEST 00000530: PUSH1 0x40 00000532: DUP1 00000533: MLOAD 00000534: SWAP2 00000535: ISZERO 00000536: ISZERO 00000537: DUP3 00000538: MSTORE 00000539: MLOAD 0000053a: SWAP1 0000053b: DUP2 0000053c: SWAP1 0000053d: SUB 0000053e: PUSH1 0x20 00000540: ADD 00000541: SWAP1 00000542: RETURN 00000543: JUMPDEST 00000544: CALLVALUE 00000545: DUP1 00000546: ISZERO 00000547: PUSH2 0x054f 0000054a: JUMPI 0000054b: PUSH1 0x00 0000054d: DUP1 0000054e: REVERT 0000054f: JUMPDEST 00000550: POP 00000551: PUSH2 0x04c8 00000554: PUSH2 0x0c6a 00000557: JUMP 00000558: JUMPDEST 00000559: CALLVALUE 0000055a: DUP1 0000055b: ISZERO 0000055c: PUSH2 0x0564 0000055f: JUMPI 00000560: PUSH1 0x00 00000562: DUP1 00000563: REVERT 00000564: JUMPDEST 00000565: POP 00000566: PUSH2 0x045c 00000569: PUSH1 0x01 0000056b: PUSH1 0xa0 0000056d: PUSH1 0x02 0000056f: EXP 00000570: SUB 00000571: PUSH1 0x04 00000573: CALLDATALOAD 00000574: AND 00000575: PUSH2 0x0c7f 00000578: JUMP 00000579: JUMPDEST 0000057a: CALLVALUE 0000057b: DUP1 0000057c: ISZERO 0000057d: PUSH2 0x0585 00000580: JUMPI 00000581: PUSH1 0x00 00000583: DUP1 00000584: REVERT 00000585: JUMPDEST 00000586: POP 00000587: PUSH2 0x0409 0000058a: PUSH2 0x0c91 0000058d: JUMP 0000058e: JUMPDEST 0000058f: CALLVALUE 00000590: DUP1 00000591: ISZERO 00000592: PUSH2 0x059a 00000595: JUMPI 00000596: PUSH1 0x00 00000598: DUP1 00000599: REVERT 0000059a: JUMPDEST 0000059b: POP 0000059c: PUSH2 0x045c 0000059f: PUSH2 0x0d61 000005a2: JUMP 000005a3: JUMPDEST 000005a4: CALLVALUE 000005a5: DUP1 000005a6: ISZERO 000005a7: PUSH2 0x05af 000005aa: JUMPI 000005ab: PUSH1 0x00 000005ad: DUP1 000005ae: REVERT 000005af: JUMPDEST 000005b0: POP 000005b1: PUSH2 0x045c 000005b4: PUSH2 0x0d67 000005b7: JUMP 000005b8: JUMPDEST 000005b9: CALLVALUE 000005ba: DUP1 000005bb: ISZERO 000005bc: PUSH2 0x05c4 000005bf: JUMPI 000005c0: PUSH1 0x00 000005c2: DUP1 000005c3: REVERT 000005c4: JUMPDEST 000005c5: POP 000005c6: PUSH2 0x045c 000005c9: PUSH2 0x0d6d 000005cc: JUMP 000005cd: JUMPDEST 000005ce: CALLVALUE 000005cf: DUP1 000005d0: ISZERO 000005d1: PUSH2 0x05d9 000005d4: JUMPI 000005d5: PUSH1 0x00 000005d7: DUP1 000005d8: REVERT 000005d9: JUMPDEST 000005da: POP 000005db: PUSH2 0x0409 000005de: PUSH2 0x0d73 000005e1: JUMP 000005e2: JUMPDEST 000005e3: CALLVALUE 000005e4: DUP1 000005e5: ISZERO 000005e6: PUSH2 0x05ee 000005e9: JUMPI 000005ea: PUSH1 0x00 000005ec: DUP1 000005ed: REVERT 000005ee: JUMPDEST 000005ef: POP 000005f0: PUSH2 0x052f 000005f3: PUSH2 0x0e56 000005f6: JUMP 000005f7: JUMPDEST 000005f8: CALLVALUE 000005f9: DUP1 000005fa: ISZERO 000005fb: PUSH2 0x0603 000005fe: JUMPI 000005ff: PUSH1 0x00 00000601: DUP1 00000602: REVERT 00000603: JUMPDEST 00000604: POP 00000605: PUSH2 0x0409 00000608: PUSH1 0x04 0000060a: CALLDATALOAD 0000060b: PUSH2 0x0e64 0000060e: JUMP 0000060f: JUMPDEST 00000610: CALLVALUE 00000611: DUP1 00000612: ISZERO 00000613: PUSH2 0x061b 00000616: JUMPI 00000617: PUSH1 0x00 00000619: DUP1 0000061a: REVERT 0000061b: JUMPDEST 0000061c: POP 0000061d: PUSH2 0x04c8 00000620: PUSH2 0x0e80 00000623: JUMP 00000624: JUMPDEST 00000625: CALLVALUE 00000626: DUP1 00000627: ISZERO 00000628: PUSH2 0x0630 0000062b: JUMPI 0000062c: PUSH1 0x00 0000062e: DUP1 0000062f: REVERT 00000630: JUMPDEST 00000631: POP 00000632: PUSH2 0x045c 00000635: PUSH2 0x0e8f 00000638: JUMP 00000639: JUMPDEST 0000063a: CALLVALUE 0000063b: DUP1 0000063c: ISZERO 0000063d: PUSH2 0x0645 00000640: JUMPI 00000641: PUSH1 0x00 00000643: DUP1 00000644: REVERT 00000645: JUMPDEST 00000646: POP 00000647: PUSH2 0x045c 0000064a: PUSH2 0x0e95 0000064d: JUMP 0000064e: JUMPDEST 0000064f: CALLVALUE 00000650: DUP1 00000651: ISZERO 00000652: PUSH2 0x065a 00000655: JUMPI 00000656: PUSH1 0x00 00000658: DUP1 00000659: REVERT 0000065a: JUMPDEST 0000065b: POP 0000065c: PUSH2 0x052f 0000065f: PUSH2 0x0e9b 00000662: JUMP 00000663: JUMPDEST 00000664: CALLVALUE 00000665: DUP1 00000666: ISZERO 00000667: PUSH2 0x066f 0000066a: JUMPI 0000066b: PUSH1 0x00 0000066d: DUP1 0000066e: REVERT 0000066f: JUMPDEST 00000670: POP 00000671: PUSH2 0x045c 00000674: PUSH2 0x06e1 00000677: JUMP 00000678: JUMPDEST 00000679: CALLVALUE 0000067a: DUP1 0000067b: ISZERO 0000067c: PUSH2 0x0684 0000067f: JUMPI 00000680: PUSH1 0x00 00000682: DUP1 00000683: REVERT 00000684: JUMPDEST 00000685: POP 00000686: PUSH2 0x052f 00000689: PUSH2 0x0eaa 0000068c: JUMP 0000068d: JUMPDEST 0000068e: CALLVALUE 0000068f: DUP1 00000690: ISZERO 00000691: PUSH2 0x0699 00000694: JUMPI 00000695: PUSH1 0x00 00000697: DUP1 00000698: REVERT 00000699: JUMPDEST 0000069a: POP 0000069b: PUSH2 0x045c 0000069e: PUSH2 0x0eb3 000006a1: JUMP 000006a2: JUMPDEST 000006a3: CALLVALUE 000006a4: DUP1 000006a5: ISZERO 000006a6: PUSH2 0x06ae 000006a9: JUMPI 000006aa: PUSH1 0x00 000006ac: DUP1 000006ad: REVERT 000006ae: JUMPDEST 000006af: POP 000006b0: PUSH2 0x045c 000006b3: PUSH2 0x0eb9 000006b6: JUMP 000006b7: JUMPDEST 000006b8: CALLVALUE 000006b9: DUP1 000006ba: ISZERO 000006bb: PUSH2 0x06c3 000006be: JUMPI 000006bf: PUSH1 0x00 000006c1: DUP1 000006c2: REVERT 000006c3: JUMPDEST 000006c4: POP 000006c5: PUSH2 0x045c 000006c8: PUSH2 0x0ebe 000006cb: JUMP 000006cc: JUMPDEST 000006cd: CALLVALUE 000006ce: DUP1 000006cf: ISZERO 000006d0: PUSH2 0x06d8 000006d3: JUMPI 000006d4: PUSH1 0x00 000006d6: DUP1 000006d7: REVERT 000006d8: JUMPDEST 000006d9: POP 000006da: PUSH2 0x0409 000006dd: PUSH2 0x0ec5 000006e0: JUMP 000006e1: JUMPDEST 000006e2: TIMESTAMP 000006e3: SWAP1 000006e4: JUMP 000006e5: JUMPDEST 000006e6: DUP2 000006e7: DUP2 000006e8: ADD 000006e9: DUP3 000006ea: DUP2 000006eb: LT 000006ec: ISZERO 000006ed: PUSH2 0x06f2 000006f0: JUMPI 000006f1: INVALID 000006f2: JUMPDEST 000006f3: SWAP3 000006f4: SWAP2 000006f5: POP 000006f6: POP 000006f7: JUMP 000006f8: JUMPDEST 000006f9: PUSH1 0x00 000006fb: DUP3 000006fc: ISZERO 000006fd: ISZERO 000006fe: PUSH2 0x0709 00000701: JUMPI 00000702: POP 00000703: PUSH1 0x00 00000705: PUSH2 0x06f2 00000708: JUMP 00000709: JUMPDEST 0000070a: POP 0000070b: DUP2 0000070c: DUP2 0000070d: MUL 0000070e: DUP2 0000070f: DUP4 00000710: DUP3 00000711: DUP2 00000712: ISZERO 00000713: ISZERO 00000714: PUSH2 0x0719 00000717: JUMPI 00000718: INVALID 00000719: JUMPDEST 0000071a: DIV 0000071b: EQ 0000071c: PUSH2 0x06f2 0000071f: JUMPI 00000720: INVALID 00000721: JUMPDEST 00000722: PUSH1 0x04 00000724: SLOAD 00000725: PUSH1 0xff 00000727: AND 00000728: ISZERO 00000729: ISZERO 0000072a: PUSH2 0x0791 0000072d: JUMPI 0000072e: PUSH1 0x01 00000730: SLOAD 00000731: PUSH1 0x08 00000733: SLOAD 00000734: LT 00000735: PUSH2 0x0791 00000738: JUMPI 00000739: PUSH1 0x04 0000073b: DUP1 0000073c: SLOAD 0000073d: PUSH1 0xff 0000073f: NOT 00000740: AND 00000741: PUSH1 0x01 00000743: OR 00000744: SWAP1 00000745: SSTORE 00000746: PUSH1 0x00 00000748: SLOAD 00000749: PUSH1 0x08 0000074b: SLOAD 0000074c: PUSH1 0x40 0000074e: DUP1 0000074f: MLOAD 00000750: PUSH1 0x01 00000752: PUSH1 0xa0 00000754: PUSH1 0x02 00000756: EXP 00000757: SUB 00000758: SWAP1 00000759: SWAP4 0000075a: AND 0000075b: DUP4 0000075c: MSTORE 0000075d: PUSH1 0x20 0000075f: DUP4 00000760: ADD 00000761: SWAP2 00000762: SWAP1 00000763: SWAP2 00000764: MSTORE 00000765: DUP1 00000766: MLOAD 00000767: PUSH32 0xec3f991caf7857d61663fd1bba1739e04abd4781238508cde554bb849d790c85 00000788: SWAP3 00000789: DUP2 0000078a: SWAP1 0000078b: SUB 0000078c: SWAP1 0000078d: SWAP2 0000078e: ADD 0000078f: SWAP1 00000790: LOG1 00000791: JUMPDEST 00000792: JUMP 00000793: JUMPDEST 00000794: PUSH1 0x04 00000796: SLOAD 00000797: PUSH2 0x0100 0000079a: SWAP1 0000079b: DIV 0000079c: PUSH1 0xff 0000079e: AND 0000079f: ISZERO 000007a0: ISZERO 000007a1: PUSH2 0x0791 000007a4: JUMPI 000007a5: PUSH1 0x02 000007a7: SLOAD 000007a8: PUSH1 0x08 000007aa: SLOAD 000007ab: LT 000007ac: PUSH2 0x0791 000007af: JUMPI 000007b0: PUSH1 0x04 000007b2: DUP1 000007b3: SLOAD 000007b4: PUSH3 0xff0000 000007b8: NOT 000007b9: PUSH2 0xff00 000007bc: NOT 000007bd: SWAP1 000007be: SWAP2 000007bf: AND 000007c0: PUSH2 0x0100 000007c3: OR 000007c4: AND 000007c5: PUSH3 0x010000 000007c9: OR 000007ca: SWAP1 000007cb: SSTORE 000007cc: PUSH1 0x00 000007ce: SLOAD 000007cf: PUSH1 0x08 000007d1: SLOAD 000007d2: PUSH1 0x40 000007d4: DUP1 000007d5: MLOAD 000007d6: PUSH1 0x01 000007d8: PUSH1 0xa0 000007da: PUSH1 0x02 000007dc: EXP 000007dd: SUB 000007de: SWAP1 000007df: SWAP4 000007e0: AND 000007e1: DUP4 000007e2: MSTORE 000007e3: PUSH1 0x20 000007e5: DUP4 000007e6: ADD 000007e7: SWAP2 000007e8: SWAP1 000007e9: SWAP2 000007ea: MSTORE 000007eb: DUP1 000007ec: MLOAD 000007ed: PUSH32 0x195de8a1ebf5a1244af169b7e0bd0f735307a2626a73abce88f9b488628c6c24 0000080e: SWAP3 0000080f: DUP2 00000810: SWAP1 00000811: SUB 00000812: SWAP1 00000813: SWAP2 00000814: ADD 00000815: SWAP1 00000816: LOG1 00000817: JUMP 00000818: JUMPDEST 00000819: PUSH1 0x07 0000081b: SLOAD 0000081c: PUSH1 0x01 0000081e: PUSH1 0xa0 00000820: PUSH1 0x02 00000822: EXP 00000823: SUB 00000824: AND 00000825: CALLER 00000826: EQ 00000827: PUSH2 0x082f 0000082a: JUMPI 0000082b: PUSH1 0x00 0000082d: DUP1 0000082e: REVERT 0000082f: JUMPDEST 00000830: PUSH1 0x04 00000832: DUP1 00000833: SLOAD 00000834: PUSH3 0x010000 00000838: PUSH3 0xff0000 0000083c: NOT 0000083d: SWAP1 0000083e: SWAP2 0000083f: AND 00000840: DUP2 00000841: OR 00000842: DUP3 00000843: SSTORE 00000844: PUSH1 0x0b 00000846: SLOAD 00000847: PUSH1 0x40 00000849: DUP1 0000084a: MLOAD 0000084b: PUSH32 0xc8e569a800000000000000000000000000000000000000000000000000000000 0000086c: DUP2 0000086d: MSTORE 0000086e: SWAP1 0000086f: MLOAD 00000870: SWAP3 00000871: SWAP1 00000872: SWAP2 00000873: DIV 00000874: PUSH1 0x01 00000876: PUSH1 0xa0 00000878: PUSH1 0x02 0000087a: EXP 0000087b: SUB 0000087c: AND 0000087d: SWAP3 0000087e: PUSH4 0xc8e569a8 00000883: SWAP3 00000884: DUP3 00000885: DUP3 00000886: ADD 00000887: SWAP3 00000888: PUSH1 0x00 0000088a: SWAP3 0000088b: SWAP1 0000088c: DUP3 0000088d: SWAP1 0000088e: SUB 0000088f: ADD 00000890: DUP2 00000891: DUP4 00000892: DUP8 00000893: DUP1 00000894: EXTCODESIZE 00000895: ISZERO 00000896: DUP1 00000897: ISZERO 00000898: PUSH2 0x08a0 0000089b: JUMPI 0000089c: PUSH1 0x00 0000089e: DUP1 0000089f: REVERT 000008a0: JUMPDEST 000008a1: POP 000008a2: GAS 000008a3: CALL 000008a4: ISZERO 000008a5: DUP1 000008a6: ISZERO 000008a7: PUSH2 0x08b4 000008aa: JUMPI 000008ab: RETURNDATASIZE 000008ac: PUSH1 0x00 000008ae: DUP1 000008af: RETURNDATACOPY 000008b0: RETURNDATASIZE 000008b1: PUSH1 0x00 000008b3: REVERT 000008b4: JUMPDEST 000008b5: POP 000008b6: POP 000008b7: POP 000008b8: POP 000008b9: JUMP 000008ba: JUMPDEST 000008bb: PUSH1 0x06 000008bd: SLOAD 000008be: PUSH2 0x08c5 000008c1: PUSH2 0x06e1 000008c4: JUMP 000008c5: JUMPDEST 000008c6: LT 000008c7: ISZERO 000008c8: PUSH2 0x08d0 000008cb: JUMPI 000008cc: PUSH1 0x00 000008ce: DUP1 000008cf: REVERT 000008d0: JUMPDEST 000008d1: PUSH1 0x07 000008d3: SLOAD 000008d4: PUSH1 0x01 000008d6: PUSH1 0xa0 000008d8: PUSH1 0x02 000008da: EXP 000008db: SUB 000008dc: AND 000008dd: CALLER 000008de: EQ 000008df: PUSH2 0x08e7 000008e2: JUMPI 000008e3: PUSH1 0x00 000008e5: DUP1 000008e6: REVERT 000008e7: JUMPDEST 000008e8: PUSH1 0x04 000008ea: DUP1 000008eb: SLOAD 000008ec: PUSH1 0xff 000008ee: NOT 000008ef: AND 000008f0: SWAP1 000008f1: SSTORE 000008f2: JUMP 000008f3: JUMPDEST 000008f4: PUSH1 0x07 000008f6: SLOAD 000008f7: PUSH1 0x01 000008f9: PUSH1 0xa0 000008fb: PUSH1 0x02 000008fd: EXP 000008fe: SUB 000008ff: AND 00000900: CALLER 00000901: EQ 00000902: PUSH2 0x090a 00000905: JUMPI 00000906: PUSH1 0x00 00000908: DUP1 00000909: REVERT 0000090a: JUMPDEST 0000090b: PUSH1 0x0b 0000090d: SLOAD 0000090e: PUSH1 0xff 00000910: AND 00000911: ISZERO 00000912: PUSH2 0x091a 00000915: JUMPI 00000916: PUSH1 0x00 00000918: DUP1 00000919: REVERT 0000091a: JUMPDEST 0000091b: PUSH1 0x0b 0000091d: DUP1 0000091e: SLOAD 0000091f: PUSH1 0x01 00000921: PUSH1 0xff 00000923: NOT 00000924: SWAP1 00000925: SWAP2 00000926: AND 00000927: OR 00000928: SWAP1 00000929: DUP2 0000092a: SWAP1 0000092b: SSTORE 0000092c: PUSH1 0x40 0000092e: DUP1 0000092f: MLOAD 00000930: PUSH32 0x8da5cb5b00000000000000000000000000000000000000000000000000000000 00000951: DUP2 00000952: MSTORE 00000953: SWAP1 00000954: MLOAD 00000955: PUSH3 0x010000 00000959: SWAP1 0000095a: SWAP3 0000095b: DIV 0000095c: PUSH1 0x01 0000095e: PUSH1 0xa0 00000960: PUSH1 0x02 00000962: EXP 00000963: SUB 00000964: AND 00000965: SWAP2 00000966: PUSH4 0x23b872dd 0000096b: SWAP2 0000096c: DUP4 0000096d: SWAP2 0000096e: PUSH4 0x8da5cb5b 00000973: SWAP2 00000974: PUSH1 0x04 00000976: DUP1 00000977: DUP3 00000978: ADD 00000979: SWAP3 0000097a: PUSH1 0x20 0000097c: SWAP3 0000097d: SWAP1 0000097e: SWAP2 0000097f: SWAP1 00000980: DUP3 00000981: SWAP1 00000982: SUB 00000983: ADD 00000984: DUP2 00000985: PUSH1 0x00 00000987: DUP8 00000988: DUP1 00000989: EXTCODESIZE 0000098a: ISZERO 0000098b: DUP1 0000098c: ISZERO 0000098d: PUSH2 0x0995 00000990: JUMPI 00000991: PUSH1 0x00 00000993: DUP1 00000994: REVERT 00000995: JUMPDEST 00000996: POP 00000997: GAS 00000998: CALL 00000999: ISZERO 0000099a: DUP1 0000099b: ISZERO 0000099c: PUSH2 0x09a9 0000099f: JUMPI 000009a0: RETURNDATASIZE 000009a1: PUSH1 0x00 000009a3: DUP1 000009a4: RETURNDATACOPY 000009a5: RETURNDATASIZE 000009a6: PUSH1 0x00 000009a8: REVERT 000009a9: JUMPDEST 000009aa: POP 000009ab: POP 000009ac: POP 000009ad: POP 000009ae: PUSH1 0x40 000009b0: MLOAD 000009b1: RETURNDATASIZE 000009b2: PUSH1 0x20 000009b4: DUP2 000009b5: LT 000009b6: ISZERO 000009b7: PUSH2 0x09bf 000009ba: JUMPI 000009bb: PUSH1 0x00 000009bd: DUP1 000009be: REVERT 000009bf: JUMPDEST 000009c0: POP 000009c1: MLOAD 000009c2: PUSH1 0x40 000009c4: DUP1 000009c5: MLOAD 000009c6: PUSH1 0xe0 000009c8: PUSH1 0x02 000009ca: EXP 000009cb: PUSH4 0xffffffff 000009d0: DUP6 000009d1: AND 000009d2: MUL 000009d3: DUP2 000009d4: MSTORE 000009d5: PUSH1 0x01 000009d7: PUSH1 0xa0 000009d9: PUSH1 0x02 000009db: EXP 000009dc: SUB 000009dd: SWAP3 000009de: DUP4 000009df: AND 000009e0: PUSH1 0x04 000009e2: DUP3 000009e3: ADD 000009e4: MSTORE 000009e5: SWAP2 000009e6: DUP8 000009e7: AND 000009e8: PUSH1 0x24 000009ea: DUP4 000009eb: ADD 000009ec: MSTORE 000009ed: PUSH1 0x44 000009ef: DUP3 000009f0: ADD 000009f1: DUP6 000009f2: SWAP1 000009f3: MSTORE 000009f4: MLOAD 000009f5: PUSH1 0x64 000009f7: DUP1 000009f8: DUP4 000009f9: ADD 000009fa: SWAP3 000009fb: PUSH1 0x20 000009fd: SWAP3 000009fe: SWAP2 000009ff: SWAP1 00000a00: DUP3 00000a01: SWAP1 00000a02: SUB 00000a03: ADD 00000a04: DUP2 00000a05: PUSH1 0x00 00000a07: DUP8 00000a08: DUP1 00000a09: EXTCODESIZE 00000a0a: ISZERO 00000a0b: DUP1 00000a0c: ISZERO 00000a0d: PUSH2 0x0a15 00000a10: JUMPI 00000a11: PUSH1 0x00 00000a13: DUP1 00000a14: REVERT 00000a15: JUMPDEST 00000a16: POP 00000a17: GAS 00000a18: CALL 00000a19: ISZERO 00000a1a: DUP1 00000a1b: ISZERO 00000a1c: PUSH2 0x0a29 00000a1f: JUMPI 00000a20: RETURNDATASIZE 00000a21: PUSH1 0x00 00000a23: DUP1 00000a24: RETURNDATACOPY 00000a25: RETURNDATASIZE 00000a26: PUSH1 0x00 00000a28: REVERT 00000a29: JUMPDEST 00000a2a: POP 00000a2b: POP 00000a2c: POP 00000a2d: POP 00000a2e: PUSH1 0x40 00000a30: MLOAD 00000a31: RETURNDATASIZE 00000a32: PUSH1 0x20 00000a34: DUP2 00000a35: LT 00000a36: ISZERO 00000a37: PUSH2 0x0a3f 00000a3a: JUMPI 00000a3b: PUSH1 0x00 00000a3d: DUP1 00000a3e: REVERT 00000a3f: JUMPDEST 00000a40: POP 00000a41: MLOAD 00000a42: ISZERO 00000a43: ISZERO 00000a44: PUSH2 0x0a4c 00000a47: JUMPI 00000a48: PUSH1 0x00 00000a4a: DUP1 00000a4b: REVERT 00000a4c: JUMPDEST 00000a4d: PUSH1 0x01 00000a4f: PUSH1 0xa0 00000a51: PUSH1 0x02 00000a53: EXP 00000a54: SUB 00000a55: DUP4 00000a56: AND 00000a57: PUSH1 0x00 00000a59: SWAP1 00000a5a: DUP2 00000a5b: MSTORE 00000a5c: PUSH1 0x0c 00000a5e: PUSH1 0x20 00000a60: MSTORE 00000a61: PUSH1 0x40 00000a63: SWAP1 00000a64: KECCAK256 00000a65: SLOAD 00000a66: PUSH2 0x0a75 00000a69: SWAP1 00000a6a: DUP4 00000a6b: PUSH4 0xffffffff 00000a70: PUSH2 0x06e5 00000a73: AND 00000a74: JUMP 00000a75: JUMPDEST 00000a76: PUSH1 0x01 00000a78: PUSH1 0xa0 00000a7a: PUSH1 0x02 00000a7c: EXP 00000a7d: SUB 00000a7e: DUP5 00000a7f: AND 00000a80: PUSH1 0x00 00000a82: SWAP1 00000a83: DUP2 00000a84: MSTORE 00000a85: PUSH1 0x0c 00000a87: PUSH1 0x20 00000a89: MSTORE 00000a8a: PUSH1 0x40 00000a8c: SWAP1 00000a8d: KECCAK256 00000a8e: SSTORE 00000a8f: PUSH1 0x08 00000a91: SLOAD 00000a92: PUSH2 0x0aa1 00000a95: SWAP1 00000a96: DUP4 00000a97: PUSH4 0xffffffff 00000a9c: PUSH2 0x06e5 00000a9f: AND 00000aa0: JUMP 00000aa1: JUMPDEST 00000aa2: PUSH1 0x08 00000aa4: SSTORE 00000aa5: PUSH1 0x40 00000aa7: DUP1 00000aa8: MLOAD 00000aa9: PUSH1 0x01 00000aab: PUSH1 0xa0 00000aad: PUSH1 0x02 00000aaf: EXP 00000ab0: SUB 00000ab1: DUP6 00000ab2: AND 00000ab3: DUP2 00000ab4: MSTORE 00000ab5: PUSH1 0x20 00000ab7: DUP2 00000ab8: ADD 00000ab9: DUP5 00000aba: SWAP1 00000abb: MSTORE 00000abc: PUSH1 0x01 00000abe: DUP2 00000abf: DUP4 00000ac0: ADD 00000ac1: MSTORE 00000ac2: SWAP1 00000ac3: MLOAD 00000ac4: PUSH1 0x00 00000ac6: DUP1 00000ac7: MLOAD 00000ac8: PUSH1 0x20 00000aca: PUSH2 0x0fa5 00000acd: DUP4 00000ace: CODECOPY 00000acf: DUP2 00000ad0: MLOAD 00000ad1: SWAP2 00000ad2: MSTORE 00000ad3: SWAP2 00000ad4: DUP2 00000ad5: SWAP1 00000ad6: SUB 00000ad7: PUSH1 0x60 00000ad9: ADD 00000ada: SWAP1 00000adb: LOG1 00000adc: PUSH2 0x0ae3 00000adf: PUSH2 0x0721 00000ae2: JUMP 00000ae3: JUMPDEST 00000ae4: PUSH2 0x0aeb 00000ae7: PUSH2 0x0793 00000aea: JUMP 00000aeb: JUMPDEST 00000aec: POP 00000aed: POP 00000aee: PUSH1 0x0b 00000af0: DUP1 00000af1: SLOAD 00000af2: PUSH1 0xff 00000af4: NOT 00000af5: AND 00000af6: SWAP1 00000af7: SSTORE 00000af8: POP 00000af9: JUMP 00000afa: JUMPDEST 00000afb: PUSH1 0x0a 00000afd: SLOAD 00000afe: DUP2 00000aff: JUMP 00000b00: JUMPDEST 00000b01: PUSH1 0x07 00000b03: SLOAD 00000b04: PUSH1 0x01 00000b06: PUSH1 0xa0 00000b08: PUSH1 0x02 00000b0a: EXP 00000b0b: SUB 00000b0c: AND 00000b0d: CALLER 00000b0e: EQ 00000b0f: PUSH2 0x0b17 00000b12: JUMPI 00000b13: PUSH1 0x00 00000b15: DUP1 00000b16: REVERT 00000b17: JUMPDEST 00000b18: PUSH1 0x06 00000b1a: SSTORE 00000b1b: JUMP 00000b1c: JUMPDEST 00000b1d: PUSH1 0x06 00000b1f: SLOAD 00000b20: DUP2 00000b21: JUMP 00000b22: JUMPDEST 00000b23: PUSH1 0x07 00000b25: SLOAD 00000b26: PUSH1 0x01 00000b28: PUSH1 0xa0 00000b2a: PUSH1 0x02 00000b2c: EXP 00000b2d: SUB 00000b2e: AND 00000b2f: CALLER 00000b30: EQ 00000b31: PUSH2 0x0b39 00000b34: JUMPI 00000b35: PUSH1 0x00 00000b37: DUP1 00000b38: REVERT 00000b39: JUMPDEST 00000b3a: PUSH1 0x01 00000b3c: DUP2 00000b3d: LT 00000b3e: ISZERO 00000b3f: DUP1 00000b40: ISZERO 00000b41: PUSH2 0x0b4d 00000b44: JUMPI 00000b45: POP 00000b46: PUSH3 0x07a120 00000b4a: DUP2 00000b4b: GT 00000b4c: ISZERO 00000b4d: JUMPDEST 00000b4e: ISZERO 00000b4f: ISZERO 00000b50: PUSH2 0x0b58 00000b53: JUMPI 00000b54: PUSH1 0x00 00000b56: DUP1 00000b57: REVERT 00000b58: JUMPDEST 00000b59: PUSH1 0x0a 00000b5b: SSTORE 00000b5c: JUMP 00000b5d: JUMPDEST 00000b5e: PUSH1 0x00 00000b60: SLOAD 00000b61: PUSH1 0x01 00000b63: PUSH1 0xa0 00000b65: PUSH1 0x02 00000b67: EXP 00000b68: SUB 00000b69: AND 00000b6a: DUP2 00000b6b: JUMP 00000b6c: JUMPDEST 00000b6d: PUSH1 0x07 00000b6f: SLOAD 00000b70: PUSH1 0x01 00000b72: PUSH1 0xa0 00000b74: PUSH1 0x02 00000b76: EXP 00000b77: SUB 00000b78: AND 00000b79: CALLER 00000b7a: EQ 00000b7b: PUSH2 0x0b83 00000b7e: JUMPI 00000b7f: PUSH1 0x00 00000b81: DUP1 00000b82: REVERT 00000b83: JUMPDEST 00000b84: PUSH1 0x0b 00000b86: SLOAD 00000b87: PUSH2 0x0100 00000b8a: SWAP1 00000b8b: DIV 00000b8c: PUSH1 0xff 00000b8e: AND 00000b8f: ISZERO 00000b90: ISZERO 00000b91: PUSH2 0x0b99 00000b94: JUMPI 00000b95: PUSH1 0x00 00000b97: DUP1 00000b98: REVERT 00000b99: JUMPDEST 00000b9a: PUSH1 0x0b 00000b9c: DUP1 00000b9d: SLOAD 00000b9e: PUSH2 0xff00 00000ba1: NOT 00000ba2: AND 00000ba3: SWAP1 00000ba4: DUP2 00000ba5: SWAP1 00000ba6: SSTORE 00000ba7: PUSH1 0x40 00000ba9: DUP1 00000baa: MLOAD 00000bab: PUSH32 0x7fa8c15800000000000000000000000000000000000000000000000000000000 00000bcc: DUP2 00000bcd: MSTORE 00000bce: SWAP1 00000bcf: MLOAD 00000bd0: PUSH3 0x010000 00000bd4: SWAP1 00000bd5: SWAP3 00000bd6: DIV 00000bd7: PUSH1 0x01 00000bd9: PUSH1 0xa0 00000bdb: PUSH1 0x02 00000bdd: EXP 00000bde: SUB 00000bdf: AND 00000be0: SWAP2 00000be1: PUSH4 0x7fa8c158 00000be6: SWAP2 00000be7: PUSH1 0x04 00000be9: DUP1 00000bea: DUP3 00000beb: ADD 00000bec: SWAP3 00000bed: PUSH1 0x00 00000bef: SWAP3 00000bf0: SWAP1 00000bf1: SWAP2 00000bf2: SWAP1 00000bf3: DUP3 00000bf4: SWAP1 00000bf5: SUB 00000bf6: ADD 00000bf7: DUP2 00000bf8: DUP4 00000bf9: DUP8 00000bfa: DUP1 00000bfb: EXTCODESIZE 00000bfc: ISZERO 00000bfd: DUP1 00000bfe: ISZERO 00000bff: PUSH2 0x0c07 00000c02: JUMPI 00000c03: PUSH1 0x00 00000c05: DUP1 00000c06: REVERT 00000c07: JUMPDEST 00000c08: POP 00000c09: GAS 00000c0a: CALL 00000c0b: ISZERO 00000c0c: DUP1 00000c0d: ISZERO 00000c0e: PUSH2 0x0c1b 00000c11: JUMPI 00000c12: RETURNDATASIZE 00000c13: PUSH1 0x00 00000c15: DUP1 00000c16: RETURNDATACOPY 00000c17: RETURNDATASIZE 00000c18: PUSH1 0x00 00000c1a: REVERT 00000c1b: JUMPDEST 00000c1c: POP 00000c1d: POP 00000c1e: PUSH1 0x40 00000c20: MLOAD 00000c21: PUSH32 0x7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b33 00000c42: SWAP3 00000c43: POP 00000c44: PUSH1 0x00 00000c46: SWAP2 00000c47: POP 00000c48: LOG1 00000c49: JUMP 00000c4a: JUMPDEST 00000c4b: PUSH1 0x0d 00000c4d: PUSH1 0x20 00000c4f: MSTORE 00000c50: PUSH1 0x00 00000c52: SWAP1 00000c53: DUP2 00000c54: MSTORE 00000c55: PUSH1 0x40 00000c57: SWAP1 00000c58: KECCAK256 00000c59: SLOAD 00000c5a: DUP2 00000c5b: JUMP 00000c5c: JUMPDEST 00000c5d: PUSH1 0x0b 00000c5f: SLOAD 00000c60: PUSH2 0x0100 00000c63: SWAP1 00000c64: DIV 00000c65: PUSH1 0xff 00000c67: AND 00000c68: DUP2 00000c69: JUMP 00000c6a: JUMPDEST 00000c6b: PUSH1 0x0b 00000c6d: SLOAD 00000c6e: PUSH3 0x010000 00000c72: SWAP1 00000c73: DIV 00000c74: PUSH1 0x01 00000c76: PUSH1 0xa0 00000c78: PUSH1 0x02 00000c7a: EXP 00000c7b: SUB 00000c7c: AND 00000c7d: DUP2 00000c7e: JUMP 00000c7f: JUMPDEST 00000c80: PUSH1 0x0c 00000c82: PUSH1 0x20 00000c84: MSTORE 00000c85: PUSH1 0x00 00000c87: SWAP1 00000c88: DUP2 00000c89: MSTORE 00000c8a: PUSH1 0x40 00000c8c: SWAP1 00000c8d: KECCAK256 00000c8e: SLOAD 00000c8f: DUP2 00000c90: JUMP 00000c91: JUMPDEST 00000c92: PUSH1 0x07 00000c94: SLOAD 00000c95: PUSH1 0x00 00000c97: SWAP1 00000c98: PUSH1 0x01 00000c9a: PUSH1 0xa0 00000c9c: PUSH1 0x02 00000c9e: EXP 00000c9f: SUB 00000ca0: AND 00000ca1: CALLER 00000ca2: EQ 00000ca3: PUSH2 0x0cab 00000ca6: JUMPI 00000ca7: PUSH1 0x00 00000ca9: DUP1 00000caa: REVERT 00000cab: JUMPDEST 00000cac: PUSH1 0x0b 00000cae: SLOAD 00000caf: PUSH1 0xff 00000cb1: AND 00000cb2: ISZERO 00000cb3: PUSH2 0x0cbb 00000cb6: JUMPI 00000cb7: PUSH1 0x00 00000cb9: DUP1 00000cba: REVERT 00000cbb: JUMPDEST 00000cbc: PUSH1 0x0b 00000cbe: DUP1 00000cbf: SLOAD 00000cc0: PUSH1 0xff 00000cc2: NOT 00000cc3: AND 00000cc4: PUSH1 0x01 00000cc6: OR 00000cc7: SWAP1 00000cc8: SSTORE 00000cc9: PUSH1 0x04 00000ccb: SLOAD 00000ccc: PUSH1 0xff 00000cce: AND 00000ccf: ISZERO 00000cd0: ISZERO 00000cd1: PUSH2 0x0cd9 00000cd4: JUMPI 00000cd5: PUSH1 0x00 00000cd7: DUP1 00000cd8: REVERT 00000cd9: JUMPDEST 00000cda: POP 00000cdb: PUSH1 0x00 00000cdd: DUP1 00000cde: SLOAD 00000cdf: PUSH1 0x40 00000ce1: MLOAD 00000ce2: ADDRESS 00000ce3: BALANCE 00000ce4: SWAP3 00000ce5: PUSH1 0x01 00000ce7: PUSH1 0xa0 00000ce9: PUSH1 0x02 00000ceb: EXP 00000cec: SUB 00000ced: SWAP1 00000cee: SWAP3 00000cef: AND 00000cf0: SWAP2 00000cf1: PUSH2 0x08fc 00000cf4: DUP5 00000cf5: ISZERO 00000cf6: MUL 00000cf7: SWAP2 00000cf8: DUP5 00000cf9: SWAP2 00000cfa: DUP2 00000cfb: DUP2 00000cfc: DUP2 00000cfd: DUP6 00000cfe: DUP9 00000cff: DUP9 00000d00: CALL 00000d01: SWAP4 00000d02: POP 00000d03: POP 00000d04: POP 00000d05: POP 00000d06: ISZERO 00000d07: DUP1 00000d08: ISZERO 00000d09: PUSH2 0x0d16 00000d0c: JUMPI 00000d0d: RETURNDATASIZE 00000d0e: PUSH1 0x00 00000d10: DUP1 00000d11: RETURNDATACOPY 00000d12: RETURNDATASIZE 00000d13: PUSH1 0x00 00000d15: REVERT 00000d16: JUMPDEST 00000d17: POP 00000d18: PUSH1 0x00 00000d1a: DUP1 00000d1b: SLOAD 00000d1c: PUSH1 0x40 00000d1e: DUP1 00000d1f: MLOAD 00000d20: PUSH1 0x01 00000d22: PUSH1 0xa0 00000d24: PUSH1 0x02 00000d26: EXP 00000d27: SUB 00000d28: SWAP1 00000d29: SWAP3 00000d2a: AND 00000d2b: DUP3 00000d2c: MSTORE 00000d2d: PUSH1 0x20 00000d2f: DUP3 00000d30: ADD 00000d31: DUP5 00000d32: SWAP1 00000d33: MSTORE 00000d34: DUP2 00000d35: DUP2 00000d36: ADD 00000d37: SWAP3 00000d38: SWAP1 00000d39: SWAP3 00000d3a: MSTORE 00000d3b: SWAP1 00000d3c: MLOAD 00000d3d: PUSH1 0x00 00000d3f: DUP1 00000d40: MLOAD 00000d41: PUSH1 0x20 00000d43: PUSH2 0x0fa5 00000d46: DUP4 00000d47: CODECOPY 00000d48: DUP2 00000d49: MLOAD 00000d4a: SWAP2 00000d4b: MSTORE 00000d4c: SWAP2 00000d4d: DUP2 00000d4e: SWAP1 00000d4f: SUB 00000d50: PUSH1 0x60 00000d52: ADD 00000d53: SWAP1 00000d54: LOG1 00000d55: POP 00000d56: PUSH1 0x0b 00000d58: DUP1 00000d59: SLOAD 00000d5a: PUSH1 0xff 00000d5c: NOT 00000d5d: AND 00000d5e: SWAP1 00000d5f: SSTORE 00000d60: JUMP 00000d61: JUMPDEST 00000d62: PUSH1 0x05 00000d64: SLOAD 00000d65: DUP2 00000d66: JUMP 00000d67: JUMPDEST 00000d68: PUSH1 0x01 00000d6a: SLOAD 00000d6b: DUP2 00000d6c: JUMP 00000d6d: JUMPDEST 00000d6e: PUSH1 0x08 00000d70: SLOAD 00000d71: DUP2 00000d72: JUMP 00000d73: JUMPDEST 00000d74: PUSH1 0x07 00000d76: SLOAD 00000d77: PUSH1 0x01 00000d79: PUSH1 0xa0 00000d7b: PUSH1 0x02 00000d7d: EXP 00000d7e: SUB 00000d7f: AND 00000d80: CALLER 00000d81: EQ 00000d82: PUSH2 0x0d8a 00000d85: JUMPI 00000d86: PUSH1 0x00 00000d88: DUP1 00000d89: REVERT 00000d8a: JUMPDEST 00000d8b: PUSH1 0x0b 00000d8d: SLOAD 00000d8e: PUSH2 0x0100 00000d91: SWAP1 00000d92: DIV 00000d93: PUSH1 0xff 00000d95: AND 00000d96: ISZERO 00000d97: PUSH2 0x0d9f 00000d9a: JUMPI 00000d9b: PUSH1 0x00 00000d9d: DUP1 00000d9e: REVERT 00000d9f: JUMPDEST 00000da0: PUSH1 0x0b 00000da2: DUP1 00000da3: SLOAD 00000da4: PUSH2 0x0100 00000da7: PUSH2 0xff00 00000daa: NOT 00000dab: SWAP1 00000dac: SWAP2 00000dad: AND 00000dae: OR 00000daf: SWAP1 00000db0: DUP2 00000db1: SWAP1 00000db2: SSTORE 00000db3: PUSH1 0x40 00000db5: DUP1 00000db6: MLOAD 00000db7: PUSH32 0xc8e569a800000000000000000000000000000000000000000000000000000000 00000dd8: DUP2 00000dd9: MSTORE 00000dda: SWAP1 00000ddb: MLOAD 00000ddc: PUSH3 0x010000 00000de0: SWAP1 00000de1: SWAP3 00000de2: DIV 00000de3: PUSH1 0x01 00000de5: PUSH1 0xa0 00000de7: PUSH1 0x02 00000de9: EXP 00000dea: SUB 00000deb: AND 00000dec: SWAP2 00000ded: PUSH4 0xc8e569a8 00000df2: SWAP2 00000df3: PUSH1 0x04 00000df5: DUP1 00000df6: DUP3 00000df7: ADD 00000df8: SWAP3 00000df9: PUSH1 0x00 00000dfb: SWAP3 00000dfc: SWAP1 00000dfd: SWAP2 00000dfe: SWAP1 00000dff: DUP3 00000e00: SWAP1 00000e01: SUB 00000e02: ADD 00000e03: DUP2 00000e04: DUP4 00000e05: DUP8 00000e06: DUP1 00000e07: EXTCODESIZE 00000e08: ISZERO 00000e09: DUP1 00000e0a: ISZERO 00000e0b: PUSH2 0x0e13 00000e0e: JUMPI 00000e0f: PUSH1 0x00 00000e11: DUP1 00000e12: REVERT 00000e13: JUMPDEST 00000e14: POP 00000e15: GAS 00000e16: CALL 00000e17: ISZERO 00000e18: DUP1 00000e19: ISZERO 00000e1a: PUSH2 0x0e27 00000e1d: JUMPI 00000e1e: RETURNDATASIZE 00000e1f: PUSH1 0x00 00000e21: DUP1 00000e22: RETURNDATACOPY 00000e23: RETURNDATASIZE 00000e24: PUSH1 0x00 00000e26: REVERT 00000e27: JUMPDEST 00000e28: POP 00000e29: POP 00000e2a: PUSH1 0x40 00000e2c: MLOAD 00000e2d: PUSH32 0x6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff625 00000e4e: SWAP3 00000e4f: POP 00000e50: PUSH1 0x00 00000e52: SWAP2 00000e53: POP 00000e54: LOG1 00000e55: JUMP 00000e56: JUMPDEST 00000e57: PUSH1 0x04 00000e59: SLOAD 00000e5a: PUSH2 0x0100 00000e5d: SWAP1 00000e5e: DIV 00000e5f: PUSH1 0xff 00000e61: AND 00000e62: DUP2 00000e63: JUMP 00000e64: JUMPDEST 00000e65: PUSH1 0x07 00000e67: SLOAD 00000e68: PUSH1 0x01 00000e6a: PUSH1 0xa0 00000e6c: PUSH1 0x02 00000e6e: EXP 00000e6f: SUB 00000e70: AND 00000e71: CALLER 00000e72: EQ 00000e73: PUSH2 0x0e7b 00000e76: JUMPI 00000e77: PUSH1 0x00 00000e79: DUP1 00000e7a: REVERT 00000e7b: JUMPDEST 00000e7c: PUSH1 0x05 00000e7e: SSTORE 00000e7f: JUMP 00000e80: JUMPDEST 00000e81: PUSH1 0x07 00000e83: SLOAD 00000e84: PUSH1 0x01 00000e86: PUSH1 0xa0 00000e88: PUSH1 0x02 00000e8a: EXP 00000e8b: SUB 00000e8c: AND 00000e8d: DUP2 00000e8e: JUMP 00000e8f: JUMPDEST 00000e90: PUSH1 0x03 00000e92: SLOAD 00000e93: DUP2 00000e94: JUMP 00000e95: JUMPDEST 00000e96: PUSH1 0x09 00000e98: SLOAD 00000e99: DUP2 00000e9a: JUMP 00000e9b: JUMPDEST 00000e9c: PUSH1 0x04 00000e9e: SLOAD 00000e9f: PUSH3 0x010000 00000ea3: SWAP1 00000ea4: DIV 00000ea5: PUSH1 0xff 00000ea7: AND 00000ea8: DUP2 00000ea9: JUMP 00000eaa: JUMPDEST 00000eab: PUSH1 0x04 00000ead: SLOAD 00000eae: PUSH1 0xff 00000eb0: AND 00000eb1: DUP2 00000eb2: JUMP 00000eb3: JUMPDEST 00000eb4: PUSH1 0x02 00000eb6: SLOAD 00000eb7: DUP2 00000eb8: JUMP 00000eb9: JUMPDEST 00000eba: PUSH1 0x01 00000ebc: DUP2 00000ebd: JUMP 00000ebe: JUMPDEST 00000ebf: PUSH3 0x07a120 00000ec3: DUP2 00000ec4: JUMP 00000ec5: JUMPDEST 00000ec6: PUSH1 0x00 00000ec8: PUSH1 0x06 00000eca: SLOAD 00000ecb: PUSH2 0x0ed2 00000ece: PUSH2 0x06e1 00000ed1: JUMP 00000ed2: JUMPDEST 00000ed3: LT 00000ed4: ISZERO 00000ed5: PUSH2 0x0edd 00000ed8: JUMPI 00000ed9: PUSH1 0x00 00000edb: DUP1 00000edc: REVERT 00000edd: JUMPDEST 00000ede: PUSH1 0x0b 00000ee0: SLOAD 00000ee1: PUSH1 0xff 00000ee3: AND 00000ee4: ISZERO 00000ee5: PUSH2 0x0eed 00000ee8: JUMPI 00000ee9: PUSH1 0x00 00000eeb: DUP1 00000eec: REVERT 00000eed: JUMPDEST 00000eee: PUSH1 0x0b 00000ef0: DUP1 00000ef1: SLOAD 00000ef2: PUSH1 0xff 00000ef4: NOT 00000ef5: AND 00000ef6: PUSH1 0x01 00000ef8: OR 00000ef9: SWAP1 00000efa: SSTORE 00000efb: PUSH1 0x04 00000efd: SLOAD 00000efe: PUSH1 0xff 00000f00: AND 00000f01: ISZERO 00000f02: ISZERO 00000f03: PUSH2 0x0f97 00000f06: JUMPI 00000f07: POP 00000f08: CALLER 00000f09: PUSH1 0x00 00000f0b: SWAP1 00000f0c: DUP2 00000f0d: MSTORE 00000f0e: PUSH1 0x0c 00000f10: PUSH1 0x20 00000f12: MSTORE 00000f13: PUSH1 0x40 00000f15: DUP2 00000f16: KECCAK256 00000f17: DUP1 00000f18: SLOAD 00000f19: SWAP1 00000f1a: DUP3 00000f1b: SWAP1 00000f1c: SSTORE 00000f1d: SWAP1 00000f1e: DUP2 00000f1f: GT 00000f20: ISZERO 00000f21: PUSH2 0x0f97 00000f24: JUMPI 00000f25: PUSH1 0x40 00000f27: MLOAD 00000f28: CALLER 00000f29: SWAP1 00000f2a: DUP3 00000f2b: ISZERO 00000f2c: PUSH2 0x08fc 00000f2f: MUL 00000f30: SWAP1 00000f31: DUP4 00000f32: SWAP1 00000f33: PUSH1 0x00 00000f35: DUP2 00000f36: DUP2 00000f37: DUP2 00000f38: DUP6 00000f39: DUP9 00000f3a: DUP9 00000f3b: CALL 00000f3c: SWAP4 00000f3d: POP 00000f3e: POP 00000f3f: POP 00000f40: POP 00000f41: ISZERO 00000f42: DUP1 00000f43: ISZERO 00000f44: PUSH2 0x0f51 00000f47: JUMPI 00000f48: RETURNDATASIZE 00000f49: PUSH1 0x00 00000f4b: DUP1 00000f4c: RETURNDATACOPY 00000f4d: RETURNDATASIZE 00000f4e: PUSH1 0x00 00000f50: REVERT 00000f51: JUMPDEST 00000f52: POP 00000f53: PUSH1 0x40 00000f55: DUP1 00000f56: MLOAD 00000f57: CALLER 00000f58: DUP2 00000f59: MSTORE 00000f5a: PUSH1 0x20 00000f5c: DUP2 00000f5d: ADD 00000f5e: DUP4 00000f5f: SWAP1 00000f60: MSTORE 00000f61: PUSH1 0x00 00000f63: DUP2 00000f64: DUP4 00000f65: ADD 00000f66: MSTORE 00000f67: SWAP1 00000f68: MLOAD 00000f69: PUSH1 0x00 00000f6b: DUP1 00000f6c: MLOAD 00000f6d: PUSH1 0x20 00000f6f: PUSH2 0x0fa5 00000f72: DUP4 00000f73: CODECOPY 00000f74: DUP2 00000f75: MLOAD 00000f76: SWAP2 00000f77: MSTORE 00000f78: SWAP2 00000f79: DUP2 00000f7a: SWAP1 00000f7b: SUB 00000f7c: PUSH1 0x60 00000f7e: ADD 00000f7f: SWAP1 00000f80: LOG1 00000f81: PUSH1 0x09 00000f83: SLOAD 00000f84: PUSH2 0x0f93 00000f87: SWAP1 00000f88: DUP3 00000f89: PUSH4 0xffffffff 00000f8e: PUSH2 0x06e5 00000f91: AND 00000f92: JUMP 00000f93: JUMPDEST 00000f94: PUSH1 0x09 00000f96: SSTORE 00000f97: JUMPDEST 00000f98: POP 00000f99: PUSH1 0x0b 00000f9b: DUP1 00000f9c: SLOAD 00000f9d: PUSH1 0xff 00000f9f: NOT 00000fa0: AND 00000fa1: SWAP1 00000fa2: SSTORE 00000fa3: JUMP 00000fa4: STOP 00000fa5: UNKNOWN(0xE8) 00000fa6: TIMESTAMP 00000fa7: UNKNOWN(0xAE) 00000fa8: UNKNOWN(0xA7) 00000fa9: UNKNOWN(0xA5) 00000faa: CALL 00000fab: UNKNOWN(0xB0) 00000fac: LT 00000fad: BLOBHASH 00000fae: UNKNOWN(0xD7) 00000faf: MSTORE 00000fb0: STOP 00000fb1: DUP13 00000fb2: MSTORE8 00000fb3: UNKNOWN(0xC5) 00000fb4: UNKNOWN(0x28) 00000fb5: SWAP1 00000fb6: UNKNOWN(0xB1) 00000fb7: UNKNOWN(0xA6) 00000fb8: UNKNOWN(0xDA) 00000fb9: UNKNOWN(0xF6) 00000fba: PUSH1 0xcf 00000fbc: CODECOPY 00000fbd: UNKNOWN(0xE8) 00000fbe: UNKNOWN(0xEE) 00000fbf: UNKNOWN(0xC5) 00000fc0: MOD 00000fc1: GT 00000fc2: UNKNOWN(0x2B) 00000fc3: UNKNOWN(0xBD) 00000fc4: UNKNOWN(0xF6) 00000fc5: LOG1 00000fc6: PUSH6 0x627a7a723058 00000fcd: KECCAK256 00000fce: CREATE2 00000fcf: SWAP12 00000fd0: PUSH28 0x492754c7370a3782aad5ceaf86491170e3bdadad329591b19ac90444 00000fed: UNKNOWN(0xED) 00000fee: STOP 00000fef: UNKNOWN(0x29)
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.
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0x8c9569936d72b7a6fd925b591a8b992bb7db22cf4e1b8a52168cf6001b7d1504
call_targets:
0xfc4a176d1db069c92fa5d673543772dc05d18b10
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8c9569936d72b7a6fd925b591a8b992bb7db22cf4e1b8a52168cf6001b7d1504",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xfc4a176d1db069c92fa5d673543772dc05d18b10"
],
"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": "0x0c08bf88",
"selector": "0x0c08bf88",
"calldata_variants": [
"0x0c08bf88",
"0x0c08bf880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23ec8f62",
"selector": "0x23ec8f62",
"calldata_variants": [
"0x23ec8f62",
"0x23ec8f620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x28e08186",
"selector": "0x28e08186",
"calldata_variants": [
"0x28e08186",
"0x28e081860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2c4e722e",
"selector": "0x2c4e722e",
"calldata_variants": [
"0x2c4e722e",
"0x2c4e722e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3052b75e",
"selector": "0x3052b75e",
"calldata_variants": [
"0x3052b75e",
"0x3052b75e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3197cbb6",
"selector": "0x3197cbb6",
"calldata_variants": [
"0x3197cbb6",
"0x3197cbb60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x34fcf437",
"selector": "0x34fcf437",
"calldata_variants": [
"0x34fcf437",
"0x34fcf4370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38af3eed",
"selector": "0x38af3eed",
"calldata_variants": [
"0x38af3eed",
"0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 705,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 831,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2211,
"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 |
viewtrace_id: 0x8c9569936d72b7a6fd925b591a8b992bb7db22cf4e1b8a52168cf6001b7d1504
call_targets:
0xfc4a176d1db069c92fa5d673543772dc05d18b10
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x8c9569936d72b7a6fd925b591a8b992bb7db22cf4e1b8a52168cf6001b7d1504",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0xfc4a176d1db069c92fa5d673543772dc05d18b10"
],
"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": "0x0c08bf88",
"selector": "0x0c08bf88",
"calldata_variants": [
"0x0c08bf88",
"0x0c08bf880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23ec8f62",
"selector": "0x23ec8f62",
"calldata_variants": [
"0x23ec8f62",
"0x23ec8f620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x28e08186",
"selector": "0x28e08186",
"calldata_variants": [
"0x28e08186",
"0x28e081860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2c4e722e",
"selector": "0x2c4e722e",
"calldata_variants": [
"0x2c4e722e",
"0x2c4e722e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3052b75e",
"selector": "0x3052b75e",
"calldata_variants": [
"0x3052b75e",
"0x3052b75e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3197cbb6",
"selector": "0x3197cbb6",
"calldata_variants": [
"0x3197cbb6",
"0x3197cbb60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x34fcf437",
"selector": "0x34fcf437",
"calldata_variants": [
"0x34fcf437",
"0x34fcf4370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38af3eed",
"selector": "0x38af3eed",
"calldata_variants": [
"0x38af3eed",
"0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 705,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 831,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2211,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 10,
"guards_detected": []
}
|
| medium | other | detector | CREATE/CREATE2 reachable | 45 | no | no |
viewtrace_id: 0x77eb9081d1b20835887adffaec5e7dae16ea9c1cdd8700e31ba659ac856eade9
validation_json{
"sink": "CREATE",
"errors": 0,
"status": "unknown",
"attempts": 32,
"trace_id": "0x77eb9081d1b20835887adffaec5e7dae16ea9c1cdd8700e31ba659ac856eade9",
"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": "0x0c08bf88",
"selector": "0x0c08bf88",
"calldata_variants": [
"0x0c08bf88",
"0x0c08bf880000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23ec8f62",
"selector": "0x23ec8f62",
"calldata_variants": [
"0x23ec8f62",
"0x23ec8f620000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x28e08186",
"selector": "0x28e08186",
"calldata_variants": [
"0x28e08186",
"0x28e081860000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2c4e722e",
"selector": "0x2c4e722e",
"calldata_variants": [
"0x2c4e722e",
"0x2c4e722e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3052b75e",
"selector": "0x3052b75e",
"calldata_variants": [
"0x3052b75e",
"0x3052b75e0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3197cbb6",
"selector": "0x3197cbb6",
"calldata_variants": [
"0x3197cbb6",
"0x3197cbb60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x34fcf437",
"selector": "0x34fcf437",
"calldata_variants": [
"0x34fcf437",
"0x34fcf4370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x38af3eed",
"selector": "0x38af3eed",
"calldata_variants": [
"0x38af3eed",
"0x38af3eed0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"create_count": 0,
"create2_count": 1
}
|