019b477e-b4f3-7012-a5c4-9e838d23ebdd
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 |
|---|---|---|---|---|
| 22841 | artifact.fetch | complete | 1 / 3 | 3 months ago |
| 22842 | tool.cast_disasm | complete | 1 / 3 | 3 months ago |
| 107469 | analysis.bundle | complete | 1 / 3 | 1 week ago |
| 107470 | capability.graph | complete | 1 / 3 | 1 week ago |
| 107471 | detector.run | complete | 1 / 3 | 1 week ago |
| 107472 | validation.fork | complete | 1 / 3 | 1 week 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 0x018a 0000000c: JUMPI 0000000d: PUSH4 0xffffffff 00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 00000030: PUSH1 0x00 00000032: CALLDATALOAD 00000033: DIV 00000034: AND 00000035: PUSH4 0x06fdde03 0000003a: DUP2 0000003b: EQ 0000003c: PUSH2 0x0194 0000003f: JUMPI 00000040: DUP1 00000041: PUSH4 0x095ea7b3 00000046: EQ 00000047: PUSH2 0x021e 0000004a: JUMPI 0000004b: DUP1 0000004c: PUSH4 0x18160ddd 00000051: EQ 00000052: PUSH2 0x0256 00000055: JUMPI 00000056: DUP1 00000057: PUSH4 0x18996fd3 0000005c: EQ 0000005d: PUSH2 0x027d 00000060: JUMPI 00000061: DUP1 00000062: PUSH4 0x23b872dd 00000067: EQ 00000068: PUSH2 0x0292 0000006b: JUMPI 0000006c: DUP1 0000006d: PUSH4 0x26de0634 00000072: EQ 00000073: PUSH2 0x02bc 00000076: JUMPI 00000077: DUP1 00000078: PUSH4 0x313ce567 0000007d: EQ 0000007e: PUSH2 0x02d1 00000081: JUMPI 00000082: DUP1 00000083: PUSH4 0x39509351 00000088: EQ 00000089: PUSH2 0x02fc 0000008c: JUMPI 0000008d: DUP1 0000008e: PUSH4 0x39f85f5d 00000093: EQ 00000094: PUSH2 0x0320 00000097: JUMPI 00000098: DUP1 00000099: PUSH4 0x3ccfd60b 0000009e: EQ 0000009f: PUSH2 0x0335 000000a2: JUMPI 000000a3: DUP1 000000a4: PUSH4 0x3f4ba83a 000000a9: EQ 000000aa: PUSH2 0x034a 000000ad: JUMPI 000000ae: DUP1 000000af: PUSH4 0x42966c68 000000b4: EQ 000000b5: PUSH2 0x035f 000000b8: JUMPI 000000b9: DUP1 000000ba: PUSH4 0x4b66a7cf 000000bf: EQ 000000c0: PUSH2 0x0377 000000c3: JUMPI 000000c4: DUP1 000000c5: PUSH4 0x5c975abb 000000ca: EQ 000000cb: PUSH2 0x038c 000000ce: JUMPI 000000cf: DUP1 000000d0: PUSH4 0x70a08231 000000d5: EQ 000000d6: PUSH2 0x03a1 000000d9: JUMPI 000000da: DUP1 000000db: PUSH4 0x7143ddab 000000e0: EQ 000000e1: PUSH2 0x03c2 000000e4: JUMPI 000000e5: DUP1 000000e6: PUSH4 0x715018a6 000000eb: EQ 000000ec: PUSH2 0x03d7 000000ef: JUMPI 000000f0: DUP1 000000f1: PUSH4 0x73786c0a 000000f6: EQ 000000f7: PUSH2 0x03ec 000000fa: JUMPI 000000fb: DUP1 000000fc: PUSH4 0x76ccb1d3 00000101: EQ 00000102: PUSH2 0x0401 00000105: JUMPI 00000106: DUP1 00000107: PUSH4 0x79cc6790 0000010c: EQ 0000010d: PUSH2 0x0416 00000110: JUMPI 00000111: DUP1 00000112: PUSH4 0x8456cb59 00000117: EQ 00000118: PUSH2 0x043a 0000011b: JUMPI 0000011c: DUP1 0000011d: PUSH4 0x8da5cb5b 00000122: EQ 00000123: PUSH2 0x044f 00000126: JUMPI 00000127: DUP1 00000128: PUSH4 0x95d89b41 0000012d: EQ 0000012e: PUSH2 0x0480 00000131: JUMPI 00000132: DUP1 00000133: PUSH4 0xa457c2d7 00000138: EQ 00000139: PUSH2 0x0495 0000013c: JUMPI 0000013d: DUP1 0000013e: PUSH4 0xa80987f0 00000143: EQ 00000144: PUSH2 0x04b9 00000147: JUMPI 00000148: DUP1 00000149: PUSH4 0xa9059cbb 0000014e: EQ 0000014f: PUSH2 0x04ce 00000152: JUMPI 00000153: DUP1 00000154: PUSH4 0xd66f547c 00000159: EQ 0000015a: PUSH2 0x04f2 0000015d: JUMPI 0000015e: DUP1 0000015f: PUSH4 0xda3ed960 00000164: EQ 00000165: PUSH2 0x051f 00000168: JUMPI 00000169: DUP1 0000016a: PUSH4 0xdd62ed3e 0000016f: EQ 00000170: PUSH2 0x0534 00000173: JUMPI 00000174: DUP1 00000175: PUSH4 0xe8b5e51f 0000017a: EQ 0000017b: PUSH2 0x018a 0000017e: JUMPI 0000017f: DUP1 00000180: PUSH4 0xf2fde38b 00000185: EQ 00000186: PUSH2 0x055b 00000189: JUMPI 0000018a: JUMPDEST 0000018b: PUSH2 0x0192 0000018e: PUSH2 0x057c 00000191: JUMP 00000192: JUMPDEST 00000193: STOP 00000194: JUMPDEST 00000195: CALLVALUE 00000196: DUP1 00000197: ISZERO 00000198: PUSH2 0x01a0 0000019b: JUMPI 0000019c: PUSH1 0x00 0000019e: DUP1 0000019f: REVERT 000001a0: JUMPDEST 000001a1: POP 000001a2: PUSH2 0x01a9 000001a5: PUSH2 0x0641 000001a8: JUMP 000001a9: JUMPDEST 000001aa: PUSH1 0x40 000001ac: DUP1 000001ad: MLOAD 000001ae: PUSH1 0x20 000001b0: DUP1 000001b1: DUP3 000001b2: MSTORE 000001b3: DUP4 000001b4: MLOAD 000001b5: DUP2 000001b6: DUP4 000001b7: ADD 000001b8: MSTORE 000001b9: DUP4 000001ba: MLOAD 000001bb: SWAP2 000001bc: SWAP3 000001bd: DUP4 000001be: SWAP3 000001bf: SWAP1 000001c0: DUP4 000001c1: ADD 000001c2: SWAP2 000001c3: DUP6 000001c4: ADD 000001c5: SWAP1 000001c6: DUP1 000001c7: DUP4 000001c8: DUP4 000001c9: PUSH1 0x00 000001cb: JUMPDEST 000001cc: DUP4 000001cd: DUP2 000001ce: LT 000001cf: ISZERO 000001d0: PUSH2 0x01e3 000001d3: JUMPI 000001d4: DUP2 000001d5: DUP2 000001d6: ADD 000001d7: MLOAD 000001d8: DUP4 000001d9: DUP3 000001da: ADD 000001db: MSTORE 000001dc: PUSH1 0x20 000001de: ADD 000001df: PUSH2 0x01cb 000001e2: JUMP 000001e3: JUMPDEST 000001e4: POP 000001e5: POP 000001e6: POP 000001e7: POP 000001e8: SWAP1 000001e9: POP 000001ea: SWAP1 000001eb: DUP2 000001ec: ADD 000001ed: SWAP1 000001ee: PUSH1 0x1f 000001f0: AND 000001f1: DUP1 000001f2: ISZERO 000001f3: PUSH2 0x0210 000001f6: JUMPI 000001f7: DUP1 000001f8: DUP3 000001f9: SUB 000001fa: DUP1 000001fb: MLOAD 000001fc: PUSH1 0x01 000001fe: DUP4 000001ff: PUSH1 0x20 00000201: SUB 00000202: PUSH2 0x0100 00000205: EXP 00000206: SUB 00000207: NOT 00000208: AND 00000209: DUP2 0000020a: MSTORE 0000020b: PUSH1 0x20 0000020d: ADD 0000020e: SWAP2 0000020f: POP 00000210: JUMPDEST 00000211: POP 00000212: SWAP3 00000213: POP 00000214: POP 00000215: POP 00000216: PUSH1 0x40 00000218: MLOAD 00000219: DUP1 0000021a: SWAP2 0000021b: SUB 0000021c: SWAP1 0000021d: RETURN 0000021e: JUMPDEST 0000021f: CALLVALUE 00000220: DUP1 00000221: ISZERO 00000222: PUSH2 0x022a 00000225: JUMPI 00000226: PUSH1 0x00 00000228: DUP1 00000229: REVERT 0000022a: JUMPDEST 0000022b: POP 0000022c: PUSH2 0x0242 0000022f: PUSH1 0x01 00000231: PUSH1 0xa0 00000233: PUSH1 0x02 00000235: EXP 00000236: SUB 00000237: PUSH1 0x04 00000239: CALLDATALOAD 0000023a: AND 0000023b: PUSH1 0x24 0000023d: CALLDATALOAD 0000023e: PUSH2 0x0678 00000241: JUMP 00000242: JUMPDEST 00000243: PUSH1 0x40 00000245: DUP1 00000246: MLOAD 00000247: SWAP2 00000248: ISZERO 00000249: ISZERO 0000024a: DUP3 0000024b: MSTORE 0000024c: MLOAD 0000024d: SWAP1 0000024e: DUP2 0000024f: SWAP1 00000250: SUB 00000251: PUSH1 0x20 00000253: ADD 00000254: SWAP1 00000255: RETURN 00000256: JUMPDEST 00000257: CALLVALUE 00000258: DUP1 00000259: ISZERO 0000025a: PUSH2 0x0262 0000025d: JUMPI 0000025e: PUSH1 0x00 00000260: DUP1 00000261: REVERT 00000262: JUMPDEST 00000263: POP 00000264: PUSH2 0x026b 00000267: PUSH2 0x070c 0000026a: JUMP 0000026b: JUMPDEST 0000026c: PUSH1 0x40 0000026e: DUP1 0000026f: MLOAD 00000270: SWAP2 00000271: DUP3 00000272: MSTORE 00000273: MLOAD 00000274: SWAP1 00000275: DUP2 00000276: SWAP1 00000277: SUB 00000278: PUSH1 0x20 0000027a: ADD 0000027b: SWAP1 0000027c: RETURN 0000027d: JUMPDEST 0000027e: CALLVALUE 0000027f: DUP1 00000280: ISZERO 00000281: PUSH2 0x0289 00000284: JUMPI 00000285: PUSH1 0x00 00000287: DUP1 00000288: REVERT 00000289: JUMPDEST 0000028a: POP 0000028b: PUSH2 0x026b 0000028e: PUSH2 0x0712 00000291: JUMP 00000292: JUMPDEST 00000293: CALLVALUE 00000294: DUP1 00000295: ISZERO 00000296: PUSH2 0x029e 00000299: JUMPI 0000029a: PUSH1 0x00 0000029c: DUP1 0000029d: REVERT 0000029e: JUMPDEST 0000029f: POP 000002a0: PUSH2 0x0242 000002a3: PUSH1 0x01 000002a5: PUSH1 0xa0 000002a7: PUSH1 0x02 000002a9: EXP 000002aa: SUB 000002ab: PUSH1 0x04 000002ad: CALLDATALOAD 000002ae: DUP2 000002af: AND 000002b0: SWAP1 000002b1: PUSH1 0x24 000002b3: CALLDATALOAD 000002b4: AND 000002b5: PUSH1 0x44 000002b7: CALLDATALOAD 000002b8: PUSH2 0x0718 000002bb: JUMP 000002bc: JUMPDEST 000002bd: CALLVALUE 000002be: DUP1 000002bf: ISZERO 000002c0: PUSH2 0x02c8 000002c3: JUMPI 000002c4: PUSH1 0x00 000002c6: DUP1 000002c7: REVERT 000002c8: JUMPDEST 000002c9: POP 000002ca: PUSH2 0x026b 000002cd: PUSH2 0x079d 000002d0: JUMP 000002d1: JUMPDEST 000002d2: CALLVALUE 000002d3: DUP1 000002d4: ISZERO 000002d5: PUSH2 0x02dd 000002d8: JUMPI 000002d9: PUSH1 0x00 000002db: DUP1 000002dc: REVERT 000002dd: JUMPDEST 000002de: POP 000002df: PUSH2 0x02e6 000002e2: PUSH2 0x07a3 000002e5: JUMP 000002e6: JUMPDEST 000002e7: PUSH1 0x40 000002e9: DUP1 000002ea: MLOAD 000002eb: PUSH1 0xff 000002ed: SWAP1 000002ee: SWAP3 000002ef: AND 000002f0: DUP3 000002f1: MSTORE 000002f2: MLOAD 000002f3: SWAP1 000002f4: DUP2 000002f5: SWAP1 000002f6: SUB 000002f7: PUSH1 0x20 000002f9: ADD 000002fa: SWAP1 000002fb: RETURN 000002fc: JUMPDEST 000002fd: CALLVALUE 000002fe: DUP1 000002ff: ISZERO 00000300: PUSH2 0x0308 00000303: JUMPI 00000304: PUSH1 0x00 00000306: DUP1 00000307: REVERT 00000308: JUMPDEST 00000309: POP 0000030a: PUSH2 0x0242 0000030d: PUSH1 0x01 0000030f: PUSH1 0xa0 00000311: PUSH1 0x02 00000313: EXP 00000314: SUB 00000315: PUSH1 0x04 00000317: CALLDATALOAD 00000318: AND 00000319: PUSH1 0x24 0000031b: CALLDATALOAD 0000031c: PUSH2 0x07a8 0000031f: JUMP 00000320: JUMPDEST 00000321: CALLVALUE 00000322: DUP1 00000323: ISZERO 00000324: PUSH2 0x032c 00000327: JUMPI 00000328: PUSH1 0x00 0000032a: DUP1 0000032b: REVERT 0000032c: JUMPDEST 0000032d: POP 0000032e: PUSH2 0x026b 00000331: PUSH2 0x086e 00000334: JUMP 00000335: JUMPDEST 00000336: CALLVALUE 00000337: DUP1 00000338: ISZERO 00000339: PUSH2 0x0341 0000033c: JUMPI 0000033d: PUSH1 0x00 0000033f: DUP1 00000340: REVERT 00000341: JUMPDEST 00000342: POP 00000343: PUSH2 0x0192 00000346: PUSH2 0x0878 00000349: JUMP 0000034a: JUMPDEST 0000034b: CALLVALUE 0000034c: DUP1 0000034d: ISZERO 0000034e: PUSH2 0x0356 00000351: JUMPI 00000352: PUSH1 0x00 00000354: DUP1 00000355: REVERT 00000356: JUMPDEST 00000357: POP 00000358: PUSH2 0x0192 0000035b: PUSH2 0x08fc 0000035e: JUMP 0000035f: JUMPDEST 00000360: CALLVALUE 00000361: DUP1 00000362: ISZERO 00000363: PUSH2 0x036b 00000366: JUMPI 00000367: PUSH1 0x00 00000369: DUP1 0000036a: REVERT 0000036b: JUMPDEST 0000036c: POP 0000036d: PUSH2 0x0242 00000370: PUSH1 0x04 00000372: CALLDATALOAD 00000373: PUSH2 0x097e 00000376: JUMP 00000377: JUMPDEST 00000378: CALLVALUE 00000379: DUP1 0000037a: ISZERO 0000037b: PUSH2 0x0383 0000037e: JUMPI 0000037f: PUSH1 0x00 00000381: DUP1 00000382: REVERT 00000383: JUMPDEST 00000384: POP 00000385: PUSH2 0x026b 00000388: PUSH2 0x0a1a 0000038b: JUMP 0000038c: JUMPDEST 0000038d: CALLVALUE 0000038e: DUP1 0000038f: ISZERO 00000390: PUSH2 0x0398 00000393: JUMPI 00000394: PUSH1 0x00 00000396: DUP1 00000397: REVERT 00000398: JUMPDEST 00000399: POP 0000039a: PUSH2 0x0242 0000039d: PUSH2 0x0a20 000003a0: JUMP 000003a1: JUMPDEST 000003a2: CALLVALUE 000003a3: DUP1 000003a4: ISZERO 000003a5: PUSH2 0x03ad 000003a8: JUMPI 000003a9: PUSH1 0x00 000003ab: DUP1 000003ac: REVERT 000003ad: JUMPDEST 000003ae: POP 000003af: PUSH2 0x026b 000003b2: PUSH1 0x01 000003b4: PUSH1 0xa0 000003b6: PUSH1 0x02 000003b8: EXP 000003b9: SUB 000003ba: PUSH1 0x04 000003bc: CALLDATALOAD 000003bd: AND 000003be: PUSH2 0x0a30 000003c1: JUMP 000003c2: JUMPDEST 000003c3: CALLVALUE 000003c4: DUP1 000003c5: ISZERO 000003c6: PUSH2 0x03ce 000003c9: JUMPI 000003ca: PUSH1 0x00 000003cc: DUP1 000003cd: REVERT 000003ce: JUMPDEST 000003cf: POP 000003d0: PUSH2 0x026b 000003d3: PUSH2 0x07a3 000003d6: JUMP 000003d7: JUMPDEST 000003d8: CALLVALUE 000003d9: DUP1 000003da: ISZERO 000003db: PUSH2 0x03e3 000003de: JUMPI 000003df: PUSH1 0x00 000003e1: DUP1 000003e2: REVERT 000003e3: JUMPDEST 000003e4: POP 000003e5: PUSH2 0x0192 000003e8: PUSH2 0x0a42 000003eb: JUMP 000003ec: JUMPDEST 000003ed: CALLVALUE 000003ee: DUP1 000003ef: ISZERO 000003f0: PUSH2 0x03f8 000003f3: JUMPI 000003f4: PUSH1 0x00 000003f6: DUP1 000003f7: REVERT 000003f8: JUMPDEST 000003f9: POP 000003fa: PUSH2 0x026b 000003fd: PUSH2 0x0ab0 00000400: JUMP 00000401: JUMPDEST 00000402: CALLVALUE 00000403: DUP1 00000404: ISZERO 00000405: PUSH2 0x040d 00000408: JUMPI 00000409: PUSH1 0x00 0000040b: DUP1 0000040c: REVERT 0000040d: JUMPDEST 0000040e: POP 0000040f: PUSH2 0x026b 00000412: PUSH2 0x0ab6 00000415: JUMP 00000416: JUMPDEST 00000417: CALLVALUE 00000418: DUP1 00000419: ISZERO 0000041a: PUSH2 0x0422 0000041d: JUMPI 0000041e: PUSH1 0x00 00000420: DUP1 00000421: REVERT 00000422: JUMPDEST 00000423: POP 00000424: PUSH2 0x0242 00000427: PUSH1 0x01 00000429: PUSH1 0xa0 0000042b: PUSH1 0x02 0000042d: EXP 0000042e: SUB 0000042f: PUSH1 0x04 00000431: CALLDATALOAD 00000432: AND 00000433: PUSH1 0x24 00000435: CALLDATALOAD 00000436: PUSH2 0x0abc 00000439: JUMP 0000043a: JUMPDEST 0000043b: CALLVALUE 0000043c: DUP1 0000043d: ISZERO 0000043e: PUSH2 0x0446 00000441: JUMPI 00000442: PUSH1 0x00 00000444: DUP1 00000445: REVERT 00000446: JUMPDEST 00000447: POP 00000448: PUSH2 0x0192 0000044b: PUSH2 0x0bc0 0000044e: JUMP 0000044f: JUMPDEST 00000450: CALLVALUE 00000451: DUP1 00000452: ISZERO 00000453: PUSH2 0x045b 00000456: JUMPI 00000457: PUSH1 0x00 00000459: DUP1 0000045a: REVERT 0000045b: JUMPDEST 0000045c: POP 0000045d: PUSH2 0x0464 00000460: PUSH2 0x0c47 00000463: JUMP 00000464: JUMPDEST 00000465: PUSH1 0x40 00000467: DUP1 00000468: MLOAD 00000469: PUSH1 0x01 0000046b: PUSH1 0xa0 0000046d: PUSH1 0x02 0000046f: EXP 00000470: SUB 00000471: SWAP1 00000472: SWAP3 00000473: AND 00000474: DUP3 00000475: MSTORE 00000476: MLOAD 00000477: SWAP1 00000478: DUP2 00000479: SWAP1 0000047a: SUB 0000047b: PUSH1 0x20 0000047d: ADD 0000047e: SWAP1 0000047f: RETURN 00000480: JUMPDEST 00000481: CALLVALUE 00000482: DUP1 00000483: ISZERO 00000484: PUSH2 0x048c 00000487: JUMPI 00000488: PUSH1 0x00 0000048a: DUP1 0000048b: REVERT 0000048c: JUMPDEST 0000048d: POP 0000048e: PUSH2 0x01a9 00000491: PUSH2 0x0c56 00000494: JUMP 00000495: JUMPDEST 00000496: CALLVALUE 00000497: DUP1 00000498: ISZERO 00000499: PUSH2 0x04a1 0000049c: JUMPI 0000049d: PUSH1 0x00 0000049f: DUP1 000004a0: REVERT 000004a1: JUMPDEST 000004a2: POP 000004a3: PUSH2 0x0242 000004a6: PUSH1 0x01 000004a8: PUSH1 0xa0 000004aa: PUSH1 0x02 000004ac: EXP 000004ad: SUB 000004ae: PUSH1 0x04 000004b0: CALLDATALOAD 000004b1: AND 000004b2: PUSH1 0x24 000004b4: CALLDATALOAD 000004b5: PUSH2 0x0c8d 000004b8: JUMP 000004b9: JUMPDEST 000004ba: CALLVALUE 000004bb: DUP1 000004bc: ISZERO 000004bd: PUSH2 0x04c5 000004c0: JUMPI 000004c1: PUSH1 0x00 000004c3: DUP1 000004c4: REVERT 000004c5: JUMPDEST 000004c6: POP 000004c7: PUSH2 0x026b 000004ca: PUSH2 0x0cee 000004cd: JUMP 000004ce: JUMPDEST 000004cf: CALLVALUE 000004d0: DUP1 000004d1: ISZERO 000004d2: PUSH2 0x04da 000004d5: JUMPI 000004d6: PUSH1 0x00 000004d8: DUP1 000004d9: REVERT 000004da: JUMPDEST 000004db: POP 000004dc: PUSH2 0x0242 000004df: PUSH1 0x01 000004e1: PUSH1 0xa0 000004e3: PUSH1 0x02 000004e5: EXP 000004e6: SUB 000004e7: PUSH1 0x04 000004e9: CALLDATALOAD 000004ea: AND 000004eb: PUSH1 0x24 000004ed: CALLDATALOAD 000004ee: PUSH2 0x0cf4 000004f1: JUMP 000004f2: JUMPDEST 000004f3: CALLVALUE 000004f4: DUP1 000004f5: ISZERO 000004f6: PUSH2 0x04fe 000004f9: JUMPI 000004fa: PUSH1 0x00 000004fc: DUP1 000004fd: REVERT 000004fe: JUMPDEST 000004ff: POP 00000500: PUSH2 0x0192 00000503: PUSH1 0x04 00000505: CALLDATALOAD 00000506: PUSH1 0x24 00000508: CALLDATALOAD 00000509: PUSH1 0x44 0000050b: CALLDATALOAD 0000050c: PUSH1 0x64 0000050e: CALLDATALOAD 0000050f: PUSH1 0x01 00000511: PUSH1 0xa0 00000513: PUSH1 0x02 00000515: EXP 00000516: SUB 00000517: PUSH1 0x84 00000519: CALLDATALOAD 0000051a: AND 0000051b: PUSH2 0x0d20 0000051e: JUMP 0000051f: JUMPDEST 00000520: CALLVALUE 00000521: DUP1 00000522: ISZERO 00000523: PUSH2 0x052b 00000526: JUMPI 00000527: PUSH1 0x00 00000529: DUP1 0000052a: REVERT 0000052b: JUMPDEST 0000052c: POP 0000052d: PUSH2 0x0464 00000530: PUSH2 0x0ddd 00000533: JUMP 00000534: JUMPDEST 00000535: CALLVALUE 00000536: DUP1 00000537: ISZERO 00000538: PUSH2 0x0540 0000053b: JUMPI 0000053c: PUSH1 0x00 0000053e: DUP1 0000053f: REVERT 00000540: JUMPDEST 00000541: POP 00000542: PUSH2 0x026b 00000545: PUSH1 0x01 00000547: PUSH1 0xa0 00000549: PUSH1 0x02 0000054b: EXP 0000054c: SUB 0000054d: PUSH1 0x04 0000054f: CALLDATALOAD 00000550: DUP2 00000551: AND 00000552: SWAP1 00000553: PUSH1 0x24 00000555: CALLDATALOAD 00000556: AND 00000557: PUSH2 0x0dec 0000055a: JUMP 0000055b: JUMPDEST 0000055c: CALLVALUE 0000055d: DUP1 0000055e: ISZERO 0000055f: PUSH2 0x0567 00000562: JUMPI 00000563: PUSH1 0x00 00000565: DUP1 00000566: REVERT 00000567: JUMPDEST 00000568: POP 00000569: PUSH2 0x0192 0000056c: PUSH1 0x01 0000056e: PUSH1 0xa0 00000570: PUSH1 0x02 00000572: EXP 00000573: SUB 00000574: PUSH1 0x04 00000576: CALLDATALOAD 00000577: AND 00000578: PUSH2 0x0e09 0000057b: JUMP 0000057c: JUMPDEST 0000057d: PUSH1 0x00 0000057f: PUSH1 0x08 00000581: SLOAD 00000582: TIMESTAMP 00000583: LT 00000584: ISZERO 00000585: DUP1 00000586: ISZERO 00000587: PUSH2 0x0592 0000058a: JUMPI 0000058b: POP 0000058c: PUSH1 0x09 0000058e: SLOAD 0000058f: TIMESTAMP 00000590: GT 00000591: ISZERO 00000592: JUMPDEST 00000593: ISZERO 00000594: ISZERO 00000595: PUSH2 0x059d 00000598: JUMPI 00000599: PUSH1 0x00 0000059b: DUP1 0000059c: REVERT 0000059d: JUMPDEST 0000059e: PUSH1 0x06 000005a0: SLOAD 000005a1: CALLVALUE 000005a2: LT 000005a3: ISZERO 000005a4: PUSH2 0x05ac 000005a7: JUMPI 000005a8: PUSH1 0x00 000005aa: DUP1 000005ab: REVERT 000005ac: JUMPDEST 000005ad: PUSH1 0x07 000005af: SLOAD 000005b0: PUSH8 0x0de0b6b3a7640000 000005b9: SWAP1 000005ba: CALLVALUE 000005bb: MUL 000005bc: DIV 000005bd: SWAP1 000005be: POP 000005bf: PUSH1 0x00 000005c1: DUP2 000005c2: GT 000005c3: PUSH2 0x05cb 000005c6: JUMPI 000005c7: PUSH1 0x00 000005c9: DUP1 000005ca: REVERT 000005cb: JUMPDEST 000005cc: PUSH1 0x04 000005ce: SLOAD 000005cf: PUSH2 0x05de 000005d2: SWAP1 000005d3: DUP3 000005d4: PUSH4 0xffffffff 000005d9: PUSH2 0x0e9d 000005dc: AND 000005dd: JUMP 000005de: JUMPDEST 000005df: PUSH1 0x04 000005e1: SSTORE 000005e2: PUSH1 0x05 000005e4: SLOAD 000005e5: PUSH2 0x05f4 000005e8: SWAP1 000005e9: CALLVALUE 000005ea: PUSH4 0xffffffff 000005ef: PUSH2 0x0e9d 000005f2: AND 000005f3: JUMP 000005f4: JUMPDEST 000005f5: PUSH1 0x05 000005f7: SSTORE 000005f8: PUSH2 0x0601 000005fb: CALLER 000005fc: DUP3 000005fd: PUSH2 0x0eb6 00000600: JUMP 00000601: JUMPDEST 00000602: PUSH1 0x07 00000604: SLOAD 00000605: PUSH1 0x40 00000607: DUP1 00000608: MLOAD 00000609: CALLVALUE 0000060a: DUP2 0000060b: MSTORE 0000060c: PUSH1 0x20 0000060e: DUP2 0000060f: ADD 00000610: DUP5 00000611: SWAP1 00000612: MSTORE 00000613: DUP2 00000614: MLOAD 00000615: CALLER 00000616: SWAP3 00000617: PUSH32 0x4df9cbfa66cbbabb528375b3af00207b446225af5a96b8a4b5c413b18226fb95 00000638: SWAP3 00000639: DUP3 0000063a: SWAP1 0000063b: SUB 0000063c: ADD 0000063d: SWAP1 0000063e: LOG3 0000063f: POP 00000640: JUMP 00000641: JUMPDEST 00000642: PUSH1 0x40 00000644: DUP1 00000645: MLOAD 00000646: DUP1 00000647: DUP3 00000648: ADD 00000649: SWAP1 0000064a: SWAP2 0000064b: MSTORE 0000064c: PUSH1 0x15 0000064e: DUP2 0000064f: MSTORE 00000650: PUSH32 0xe58d8ee5a48fe4bba5e5a4aae59d8ae59fbae987910000000000000000000000 00000671: PUSH1 0x20 00000673: DUP3 00000674: ADD 00000675: MSTORE 00000676: DUP2 00000677: JUMP 00000678: JUMPDEST 00000679: PUSH1 0x00 0000067b: DUP1 0000067c: SLOAD 0000067d: PUSH1 0xa0 0000067f: PUSH1 0x02 00000681: EXP 00000682: SWAP1 00000683: DIV 00000684: PUSH1 0xff 00000686: AND 00000687: ISZERO 00000688: PUSH2 0x0690 0000068b: JUMPI 0000068c: PUSH1 0x00 0000068e: DUP1 0000068f: REVERT 00000690: JUMPDEST 00000691: PUSH1 0x01 00000693: PUSH1 0xa0 00000695: PUSH1 0x02 00000697: EXP 00000698: SUB 00000699: DUP4 0000069a: AND 0000069b: ISZERO 0000069c: ISZERO 0000069d: PUSH2 0x06a5 000006a0: JUMPI 000006a1: PUSH1 0x00 000006a3: DUP1 000006a4: REVERT 000006a5: JUMPDEST 000006a6: CALLER 000006a7: PUSH1 0x00 000006a9: DUP2 000006aa: DUP2 000006ab: MSTORE 000006ac: PUSH1 0x03 000006ae: PUSH1 0x20 000006b0: SWAP1 000006b1: DUP2 000006b2: MSTORE 000006b3: PUSH1 0x40 000006b5: DUP1 000006b6: DUP4 000006b7: KECCAK256 000006b8: PUSH1 0x01 000006ba: PUSH1 0xa0 000006bc: PUSH1 0x02 000006be: EXP 000006bf: SUB 000006c0: DUP9 000006c1: AND 000006c2: DUP1 000006c3: DUP6 000006c4: MSTORE 000006c5: SWAP1 000006c6: DUP4 000006c7: MSTORE 000006c8: SWAP3 000006c9: DUP2 000006ca: SWAP1 000006cb: KECCAK256 000006cc: DUP7 000006cd: SWAP1 000006ce: SSTORE 000006cf: DUP1 000006d0: MLOAD 000006d1: DUP7 000006d2: DUP2 000006d3: MSTORE 000006d4: SWAP1 000006d5: MLOAD 000006d6: SWAP3 000006d7: SWAP4 000006d8: SWAP3 000006d9: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 000006fa: SWAP3 000006fb: SWAP2 000006fc: DUP2 000006fd: SWAP1 000006fe: SUB 000006ff: SWAP1 00000700: SWAP2 00000701: ADD 00000702: SWAP1 00000703: LOG3 00000704: POP 00000705: PUSH1 0x01 00000707: SWAP3 00000708: SWAP2 00000709: POP 0000070a: POP 0000070b: JUMP 0000070c: JUMPDEST 0000070d: PUSH1 0x01 0000070f: SLOAD 00000710: DUP2 00000711: JUMP 00000712: JUMPDEST 00000713: PUSH1 0x06 00000715: SLOAD 00000716: DUP2 00000717: JUMP 00000718: JUMPDEST 00000719: PUSH1 0x00 0000071b: DUP1 0000071c: SLOAD 0000071d: PUSH1 0xa0 0000071f: PUSH1 0x02 00000721: EXP 00000722: SWAP1 00000723: DIV 00000724: PUSH1 0xff 00000726: AND 00000727: ISZERO 00000728: PUSH2 0x0730 0000072b: JUMPI 0000072c: PUSH1 0x00 0000072e: DUP1 0000072f: REVERT 00000730: JUMPDEST 00000731: PUSH1 0x01 00000733: PUSH1 0xa0 00000735: PUSH1 0x02 00000737: EXP 00000738: SUB 00000739: DUP5 0000073a: AND 0000073b: PUSH1 0x00 0000073d: SWAP1 0000073e: DUP2 0000073f: MSTORE 00000740: PUSH1 0x03 00000742: PUSH1 0x20 00000744: SWAP1 00000745: DUP2 00000746: MSTORE 00000747: PUSH1 0x40 00000749: DUP1 0000074a: DUP4 0000074b: KECCAK256 0000074c: CALLER 0000074d: DUP5 0000074e: MSTORE 0000074f: SWAP1 00000750: SWAP2 00000751: MSTORE 00000752: SWAP1 00000753: KECCAK256 00000754: SLOAD 00000755: PUSH2 0x0764 00000758: SWAP1 00000759: DUP4 0000075a: PUSH4 0xffffffff 0000075f: PUSH2 0x0f76 00000762: AND 00000763: JUMP 00000764: JUMPDEST 00000765: PUSH1 0x01 00000767: PUSH1 0xa0 00000769: PUSH1 0x02 0000076b: EXP 0000076c: SUB 0000076d: DUP6 0000076e: AND 0000076f: PUSH1 0x00 00000771: SWAP1 00000772: DUP2 00000773: MSTORE 00000774: PUSH1 0x03 00000776: PUSH1 0x20 00000778: SWAP1 00000779: DUP2 0000077a: MSTORE 0000077b: PUSH1 0x40 0000077d: DUP1 0000077e: DUP4 0000077f: KECCAK256 00000780: CALLER 00000781: DUP5 00000782: MSTORE 00000783: SWAP1 00000784: SWAP2 00000785: MSTORE 00000786: SWAP1 00000787: KECCAK256 00000788: SSTORE 00000789: PUSH2 0x0793 0000078c: DUP5 0000078d: DUP5 0000078e: DUP5 0000078f: PUSH2 0x0f8d 00000792: JUMP 00000793: JUMPDEST 00000794: POP 00000795: PUSH1 0x01 00000797: SWAP4 00000798: SWAP3 00000799: POP 0000079a: POP 0000079b: POP 0000079c: JUMP 0000079d: JUMPDEST 0000079e: PUSH1 0x07 000007a0: SLOAD 000007a1: DUP2 000007a2: JUMP 000007a3: JUMPDEST 000007a4: PUSH1 0x00 000007a6: DUP2 000007a7: JUMP 000007a8: JUMPDEST 000007a9: PUSH1 0x00 000007ab: DUP1 000007ac: SLOAD 000007ad: PUSH1 0xa0 000007af: PUSH1 0x02 000007b1: EXP 000007b2: SWAP1 000007b3: DIV 000007b4: PUSH1 0xff 000007b6: AND 000007b7: ISZERO 000007b8: PUSH2 0x07c0 000007bb: JUMPI 000007bc: PUSH1 0x00 000007be: DUP1 000007bf: REVERT 000007c0: JUMPDEST 000007c1: PUSH1 0x01 000007c3: PUSH1 0xa0 000007c5: PUSH1 0x02 000007c7: EXP 000007c8: SUB 000007c9: DUP4 000007ca: AND 000007cb: ISZERO 000007cc: ISZERO 000007cd: PUSH2 0x07d5 000007d0: JUMPI 000007d1: PUSH1 0x00 000007d3: DUP1 000007d4: REVERT 000007d5: JUMPDEST 000007d6: CALLER 000007d7: PUSH1 0x00 000007d9: SWAP1 000007da: DUP2 000007db: MSTORE 000007dc: PUSH1 0x03 000007de: PUSH1 0x20 000007e0: SWAP1 000007e1: DUP2 000007e2: MSTORE 000007e3: PUSH1 0x40 000007e5: DUP1 000007e6: DUP4 000007e7: KECCAK256 000007e8: PUSH1 0x01 000007ea: PUSH1 0xa0 000007ec: PUSH1 0x02 000007ee: EXP 000007ef: SUB 000007f0: DUP8 000007f1: AND 000007f2: DUP5 000007f3: MSTORE 000007f4: SWAP1 000007f5: SWAP2 000007f6: MSTORE 000007f7: SWAP1 000007f8: KECCAK256 000007f9: SLOAD 000007fa: PUSH2 0x0809 000007fd: SWAP1 000007fe: DUP4 000007ff: PUSH4 0xffffffff 00000804: PUSH2 0x0e9d 00000807: AND 00000808: JUMP 00000809: JUMPDEST 0000080a: CALLER 0000080b: PUSH1 0x00 0000080d: DUP2 0000080e: DUP2 0000080f: MSTORE 00000810: PUSH1 0x03 00000812: PUSH1 0x20 00000814: SWAP1 00000815: DUP2 00000816: MSTORE 00000817: PUSH1 0x40 00000819: DUP1 0000081a: DUP4 0000081b: KECCAK256 0000081c: PUSH1 0x01 0000081e: PUSH1 0xa0 00000820: PUSH1 0x02 00000822: EXP 00000823: SUB 00000824: DUP10 00000825: AND 00000826: DUP1 00000827: DUP6 00000828: MSTORE 00000829: SWAP1 0000082a: DUP4 0000082b: MSTORE 0000082c: SWAP3 0000082d: DUP2 0000082e: SWAP1 0000082f: KECCAK256 00000830: DUP6 00000831: SWAP1 00000832: SSTORE 00000833: DUP1 00000834: MLOAD 00000835: SWAP5 00000836: DUP6 00000837: MSTORE 00000838: MLOAD 00000839: SWAP2 0000083a: SWAP4 0000083b: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925 0000085c: SWAP3 0000085d: SWAP1 0000085e: DUP2 0000085f: SWAP1 00000860: SUB 00000861: SWAP1 00000862: SWAP2 00000863: ADD 00000864: SWAP1 00000865: LOG3 00000866: POP 00000867: PUSH1 0x01 00000869: SWAP3 0000086a: SWAP2 0000086b: POP 0000086c: POP 0000086d: JUMP 0000086e: JUMPDEST 0000086f: PUSH6 0x5af3107a4000 00000876: DUP2 00000877: JUMP 00000878: JUMPDEST 00000879: PUSH1 0x0a 0000087b: SLOAD 0000087c: PUSH1 0x40 0000087e: MLOAD 0000087f: ADDRESS 00000880: BALANCE 00000881: SWAP2 00000882: PUSH1 0x01 00000884: PUSH1 0xa0 00000886: PUSH1 0x02 00000888: EXP 00000889: SUB 0000088a: AND 0000088b: SWAP1 0000088c: DUP3 0000088d: ISZERO 0000088e: PUSH2 0x08fc 00000891: MUL 00000892: SWAP1 00000893: DUP4 00000894: SWAP1 00000895: PUSH1 0x00 00000897: DUP2 00000898: DUP2 00000899: DUP2 0000089a: DUP6 0000089b: DUP9 0000089c: DUP9 0000089d: CALL 0000089e: SWAP4 0000089f: POP 000008a0: POP 000008a1: POP 000008a2: POP 000008a3: ISZERO 000008a4: DUP1 000008a5: ISZERO 000008a6: PUSH2 0x08b3 000008a9: JUMPI 000008aa: RETURNDATASIZE 000008ab: PUSH1 0x00 000008ad: DUP1 000008ae: RETURNDATACOPY 000008af: RETURNDATASIZE 000008b0: PUSH1 0x00 000008b2: REVERT 000008b3: JUMPDEST 000008b4: POP 000008b5: PUSH1 0x0a 000008b7: SLOAD 000008b8: PUSH1 0x40 000008ba: DUP1 000008bb: MLOAD 000008bc: DUP4 000008bd: DUP2 000008be: MSTORE 000008bf: SWAP1 000008c0: MLOAD 000008c1: PUSH1 0x01 000008c3: PUSH1 0xa0 000008c5: PUSH1 0x02 000008c7: EXP 000008c8: SUB 000008c9: SWAP1 000008ca: SWAP3 000008cb: AND 000008cc: SWAP2 000008cd: CALLER 000008ce: SWAP2 000008cf: PUSH32 0x9b1bfa7fa9ee420a16e124f794c35ac9f90472acc99140eb2f6447c714cad8eb 000008f0: SWAP2 000008f1: SWAP1 000008f2: DUP2 000008f3: SWAP1 000008f4: SUB 000008f5: PUSH1 0x20 000008f7: ADD 000008f8: SWAP1 000008f9: LOG3 000008fa: POP 000008fb: JUMP 000008fc: JUMPDEST 000008fd: PUSH1 0x00 000008ff: SLOAD 00000900: PUSH1 0x01 00000902: PUSH1 0xa0 00000904: PUSH1 0x02 00000906: EXP 00000907: SUB 00000908: AND 00000909: CALLER 0000090a: EQ 0000090b: PUSH2 0x0913 0000090e: JUMPI 0000090f: PUSH1 0x00 00000911: DUP1 00000912: REVERT 00000913: JUMPDEST 00000914: PUSH1 0x00 00000916: SLOAD 00000917: PUSH1 0xa0 00000919: PUSH1 0x02 0000091b: EXP 0000091c: SWAP1 0000091d: DIV 0000091e: PUSH1 0xff 00000920: AND 00000921: ISZERO 00000922: ISZERO 00000923: PUSH2 0x092b 00000926: JUMPI 00000927: PUSH1 0x00 00000929: DUP1 0000092a: REVERT 0000092b: JUMPDEST 0000092c: PUSH1 0x00 0000092e: DUP1 0000092f: SLOAD 00000930: PUSH21 0xff0000000000000000000000000000000000000000 00000946: NOT 00000947: AND 00000948: SWAP1 00000949: SSTORE 0000094a: PUSH1 0x40 0000094c: DUP1 0000094d: MLOAD 0000094e: CALLER 0000094f: DUP2 00000950: MSTORE 00000951: SWAP1 00000952: MLOAD 00000953: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa 00000974: SWAP2 00000975: DUP2 00000976: SWAP1 00000977: SUB 00000978: PUSH1 0x20 0000097a: ADD 0000097b: SWAP1 0000097c: LOG1 0000097d: JUMP 0000097e: JUMPDEST 0000097f: PUSH1 0x00 00000981: DUP1 00000982: SLOAD 00000983: PUSH1 0xa0 00000985: PUSH1 0x02 00000987: EXP 00000988: SWAP1 00000989: DIV 0000098a: PUSH1 0xff 0000098c: AND 0000098d: ISZERO 0000098e: PUSH2 0x0996 00000991: JUMPI 00000992: PUSH1 0x00 00000994: DUP1 00000995: REVERT 00000996: JUMPDEST 00000997: CALLER 00000998: PUSH1 0x00 0000099a: SWAP1 0000099b: DUP2 0000099c: MSTORE 0000099d: PUSH1 0x02 0000099f: PUSH1 0x20 000009a1: MSTORE 000009a2: PUSH1 0x40 000009a4: SWAP1 000009a5: KECCAK256 000009a6: SLOAD 000009a7: PUSH2 0x09b6 000009aa: SWAP1 000009ab: DUP4 000009ac: PUSH4 0xffffffff 000009b1: PUSH2 0x0f76 000009b4: AND 000009b5: JUMP 000009b6: JUMPDEST 000009b7: CALLER 000009b8: PUSH1 0x00 000009ba: SWAP1 000009bb: DUP2 000009bc: MSTORE 000009bd: PUSH1 0x02 000009bf: PUSH1 0x20 000009c1: MSTORE 000009c2: PUSH1 0x40 000009c4: SWAP1 000009c5: KECCAK256 000009c6: SSTORE 000009c7: PUSH1 0x01 000009c9: SLOAD 000009ca: PUSH2 0x09d9 000009cd: SWAP1 000009ce: DUP4 000009cf: PUSH4 0xffffffff 000009d4: PUSH2 0x0f76 000009d7: AND 000009d8: JUMP 000009d9: JUMPDEST 000009da: PUSH1 0x01 000009dc: SSTORE 000009dd: PUSH1 0x40 000009df: DUP1 000009e0: MLOAD 000009e1: DUP4 000009e2: DUP2 000009e3: MSTORE 000009e4: SWAP1 000009e5: MLOAD 000009e6: CALLER 000009e7: SWAP2 000009e8: PUSH32 0xcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5 00000a09: SWAP2 00000a0a: SWAP1 00000a0b: DUP2 00000a0c: SWAP1 00000a0d: SUB 00000a0e: PUSH1 0x20 00000a10: ADD 00000a11: SWAP1 00000a12: LOG2 00000a13: POP 00000a14: PUSH1 0x01 00000a16: SWAP2 00000a17: SWAP1 00000a18: POP 00000a19: JUMP 00000a1a: JUMPDEST 00000a1b: PUSH1 0x05 00000a1d: SLOAD 00000a1e: DUP2 00000a1f: JUMP 00000a20: JUMPDEST 00000a21: PUSH1 0x00 00000a23: SLOAD 00000a24: PUSH1 0xa0 00000a26: PUSH1 0x02 00000a28: EXP 00000a29: SWAP1 00000a2a: DIV 00000a2b: PUSH1 0xff 00000a2d: AND 00000a2e: DUP2 00000a2f: JUMP 00000a30: JUMPDEST 00000a31: PUSH1 0x02 00000a33: PUSH1 0x20 00000a35: MSTORE 00000a36: PUSH1 0x00 00000a38: SWAP1 00000a39: DUP2 00000a3a: MSTORE 00000a3b: PUSH1 0x40 00000a3d: SWAP1 00000a3e: KECCAK256 00000a3f: SLOAD 00000a40: DUP2 00000a41: JUMP 00000a42: JUMPDEST 00000a43: PUSH1 0x00 00000a45: SLOAD 00000a46: PUSH1 0x01 00000a48: PUSH1 0xa0 00000a4a: PUSH1 0x02 00000a4c: EXP 00000a4d: SUB 00000a4e: AND 00000a4f: CALLER 00000a50: EQ 00000a51: PUSH2 0x0a59 00000a54: JUMPI 00000a55: PUSH1 0x00 00000a57: DUP1 00000a58: REVERT 00000a59: JUMPDEST 00000a5a: PUSH1 0x00 00000a5c: DUP1 00000a5d: SLOAD 00000a5e: PUSH1 0x40 00000a60: MLOAD 00000a61: PUSH1 0x01 00000a63: PUSH1 0xa0 00000a65: PUSH1 0x02 00000a67: EXP 00000a68: SUB 00000a69: SWAP1 00000a6a: SWAP2 00000a6b: AND 00000a6c: SWAP1 00000a6d: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000a8e: SWAP1 00000a8f: DUP4 00000a90: SWAP1 00000a91: LOG3 00000a92: PUSH1 0x00 00000a94: DUP1 00000a95: SLOAD 00000a96: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000aab: NOT 00000aac: AND 00000aad: SWAP1 00000aae: SSTORE 00000aaf: JUMP 00000ab0: JUMPDEST 00000ab1: PUSH1 0x09 00000ab3: SLOAD 00000ab4: DUP2 00000ab5: JUMP 00000ab6: JUMPDEST 00000ab7: PUSH1 0x08 00000ab9: SLOAD 00000aba: DUP2 00000abb: JUMP 00000abc: JUMPDEST 00000abd: PUSH1 0x00 00000abf: DUP1 00000ac0: SLOAD 00000ac1: PUSH1 0xa0 00000ac3: PUSH1 0x02 00000ac5: EXP 00000ac6: SWAP1 00000ac7: DIV 00000ac8: PUSH1 0xff 00000aca: AND 00000acb: ISZERO 00000acc: PUSH2 0x0ad4 00000acf: JUMPI 00000ad0: PUSH1 0x00 00000ad2: DUP1 00000ad3: REVERT 00000ad4: JUMPDEST 00000ad5: PUSH1 0x01 00000ad7: PUSH1 0xa0 00000ad9: PUSH1 0x02 00000adb: EXP 00000adc: SUB 00000add: DUP4 00000ade: AND 00000adf: PUSH1 0x00 00000ae1: SWAP1 00000ae2: DUP2 00000ae3: MSTORE 00000ae4: PUSH1 0x03 00000ae6: PUSH1 0x20 00000ae8: SWAP1 00000ae9: DUP2 00000aea: MSTORE 00000aeb: PUSH1 0x40 00000aed: DUP1 00000aee: DUP4 00000aef: KECCAK256 00000af0: CALLER 00000af1: DUP5 00000af2: MSTORE 00000af3: SWAP1 00000af4: SWAP2 00000af5: MSTORE 00000af6: SWAP1 00000af7: KECCAK256 00000af8: SLOAD 00000af9: PUSH2 0x0b08 00000afc: SWAP1 00000afd: DUP4 00000afe: PUSH4 0xffffffff 00000b03: PUSH2 0x0f76 00000b06: AND 00000b07: JUMP 00000b08: JUMPDEST 00000b09: PUSH1 0x01 00000b0b: PUSH1 0xa0 00000b0d: PUSH1 0x02 00000b0f: EXP 00000b10: SUB 00000b11: DUP5 00000b12: AND 00000b13: PUSH1 0x00 00000b15: DUP2 00000b16: DUP2 00000b17: MSTORE 00000b18: PUSH1 0x03 00000b1a: PUSH1 0x20 00000b1c: SWAP1 00000b1d: DUP2 00000b1e: MSTORE 00000b1f: PUSH1 0x40 00000b21: DUP1 00000b22: DUP4 00000b23: KECCAK256 00000b24: CALLER 00000b25: DUP5 00000b26: MSTORE 00000b27: DUP3 00000b28: MSTORE 00000b29: DUP1 00000b2a: DUP4 00000b2b: KECCAK256 00000b2c: SWAP5 00000b2d: SWAP1 00000b2e: SWAP5 00000b2f: SSTORE 00000b30: SWAP2 00000b31: DUP2 00000b32: MSTORE 00000b33: PUSH1 0x02 00000b35: SWAP1 00000b36: SWAP2 00000b37: MSTORE 00000b38: KECCAK256 00000b39: SLOAD 00000b3a: PUSH2 0x0b49 00000b3d: SWAP1 00000b3e: DUP4 00000b3f: PUSH4 0xffffffff 00000b44: PUSH2 0x0f76 00000b47: AND 00000b48: JUMP 00000b49: JUMPDEST 00000b4a: PUSH1 0x01 00000b4c: PUSH1 0xa0 00000b4e: PUSH1 0x02 00000b50: EXP 00000b51: SUB 00000b52: DUP5 00000b53: AND 00000b54: PUSH1 0x00 00000b56: SWAP1 00000b57: DUP2 00000b58: MSTORE 00000b59: PUSH1 0x02 00000b5b: PUSH1 0x20 00000b5d: MSTORE 00000b5e: PUSH1 0x40 00000b60: SWAP1 00000b61: KECCAK256 00000b62: SSTORE 00000b63: PUSH1 0x01 00000b65: SLOAD 00000b66: PUSH2 0x0b75 00000b69: SWAP1 00000b6a: DUP4 00000b6b: PUSH4 0xffffffff 00000b70: PUSH2 0x0f76 00000b73: AND 00000b74: JUMP 00000b75: JUMPDEST 00000b76: PUSH1 0x01 00000b78: SSTORE 00000b79: PUSH1 0x40 00000b7b: DUP1 00000b7c: MLOAD 00000b7d: DUP4 00000b7e: DUP2 00000b7f: MSTORE 00000b80: SWAP1 00000b81: MLOAD 00000b82: PUSH1 0x01 00000b84: PUSH1 0xa0 00000b86: PUSH1 0x02 00000b88: EXP 00000b89: SUB 00000b8a: DUP6 00000b8b: AND 00000b8c: SWAP2 00000b8d: PUSH32 0xcc16f5dbb4873280815c1ee09dbd06736cffcc184412cf7a71a0fdb75d397ca5 00000bae: SWAP2 00000baf: SWAP1 00000bb0: DUP2 00000bb1: SWAP1 00000bb2: SUB 00000bb3: PUSH1 0x20 00000bb5: ADD 00000bb6: SWAP1 00000bb7: LOG2 00000bb8: POP 00000bb9: PUSH1 0x01 00000bbb: SWAP3 00000bbc: SWAP2 00000bbd: POP 00000bbe: POP 00000bbf: JUMP 00000bc0: JUMPDEST 00000bc1: PUSH1 0x00 00000bc3: SLOAD 00000bc4: PUSH1 0x01 00000bc6: PUSH1 0xa0 00000bc8: PUSH1 0x02 00000bca: EXP 00000bcb: SUB 00000bcc: AND 00000bcd: CALLER 00000bce: EQ 00000bcf: PUSH2 0x0bd7 00000bd2: JUMPI 00000bd3: PUSH1 0x00 00000bd5: DUP1 00000bd6: REVERT 00000bd7: JUMPDEST 00000bd8: PUSH1 0x00 00000bda: SLOAD 00000bdb: PUSH1 0xa0 00000bdd: PUSH1 0x02 00000bdf: EXP 00000be0: SWAP1 00000be1: DIV 00000be2: PUSH1 0xff 00000be4: AND 00000be5: ISZERO 00000be6: PUSH2 0x0bee 00000be9: JUMPI 00000bea: PUSH1 0x00 00000bec: DUP1 00000bed: REVERT 00000bee: JUMPDEST 00000bef: PUSH1 0x00 00000bf1: DUP1 00000bf2: SLOAD 00000bf3: PUSH21 0xff0000000000000000000000000000000000000000 00000c09: NOT 00000c0a: AND 00000c0b: PUSH1 0xa0 00000c0d: PUSH1 0x02 00000c0f: EXP 00000c10: OR 00000c11: SWAP1 00000c12: SSTORE 00000c13: PUSH1 0x40 00000c15: DUP1 00000c16: MLOAD 00000c17: CALLER 00000c18: DUP2 00000c19: MSTORE 00000c1a: SWAP1 00000c1b: MLOAD 00000c1c: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258 00000c3d: SWAP2 00000c3e: DUP2 00000c3f: SWAP1 00000c40: SUB 00000c41: PUSH1 0x20 00000c43: ADD 00000c44: SWAP1 00000c45: LOG1 00000c46: JUMP 00000c47: JUMPDEST 00000c48: PUSH1 0x00 00000c4a: SLOAD 00000c4b: PUSH1 0x01 00000c4d: PUSH1 0xa0 00000c4f: PUSH1 0x02 00000c51: EXP 00000c52: SUB 00000c53: AND 00000c54: DUP2 00000c55: JUMP 00000c56: JUMPDEST 00000c57: PUSH1 0x40 00000c59: DUP1 00000c5a: MLOAD 00000c5b: DUP1 00000c5c: DUP3 00000c5d: ADD 00000c5e: SWAP1 00000c5f: SWAP2 00000c60: MSTORE 00000c61: PUSH1 0x05 00000c63: DUP2 00000c64: MSTORE 00000c65: PUSH32 0x4858455448000000000000000000000000000000000000000000000000000000 00000c86: PUSH1 0x20 00000c88: DUP3 00000c89: ADD 00000c8a: MSTORE 00000c8b: DUP2 00000c8c: JUMP 00000c8d: JUMPDEST 00000c8e: PUSH1 0x00 00000c90: DUP1 00000c91: SLOAD 00000c92: PUSH1 0xa0 00000c94: PUSH1 0x02 00000c96: EXP 00000c97: SWAP1 00000c98: DIV 00000c99: PUSH1 0xff 00000c9b: AND 00000c9c: ISZERO 00000c9d: PUSH2 0x0ca5 00000ca0: JUMPI 00000ca1: PUSH1 0x00 00000ca3: DUP1 00000ca4: REVERT 00000ca5: JUMPDEST 00000ca6: PUSH1 0x01 00000ca8: PUSH1 0xa0 00000caa: PUSH1 0x02 00000cac: EXP 00000cad: SUB 00000cae: DUP4 00000caf: AND 00000cb0: ISZERO 00000cb1: ISZERO 00000cb2: PUSH2 0x0cba 00000cb5: JUMPI 00000cb6: PUSH1 0x00 00000cb8: DUP1 00000cb9: REVERT 00000cba: JUMPDEST 00000cbb: CALLER 00000cbc: PUSH1 0x00 00000cbe: SWAP1 00000cbf: DUP2 00000cc0: MSTORE 00000cc1: PUSH1 0x03 00000cc3: PUSH1 0x20 00000cc5: SWAP1 00000cc6: DUP2 00000cc7: MSTORE 00000cc8: PUSH1 0x40 00000cca: DUP1 00000ccb: DUP4 00000ccc: KECCAK256 00000ccd: PUSH1 0x01 00000ccf: PUSH1 0xa0 00000cd1: PUSH1 0x02 00000cd3: EXP 00000cd4: SUB 00000cd5: DUP8 00000cd6: AND 00000cd7: DUP5 00000cd8: MSTORE 00000cd9: SWAP1 00000cda: SWAP2 00000cdb: MSTORE 00000cdc: SWAP1 00000cdd: KECCAK256 00000cde: SLOAD 00000cdf: PUSH2 0x0809 00000ce2: SWAP1 00000ce3: DUP4 00000ce4: PUSH4 0xffffffff 00000ce9: PUSH2 0x0f76 00000cec: AND 00000ced: JUMP 00000cee: JUMPDEST 00000cef: PUSH1 0x04 00000cf1: SLOAD 00000cf2: DUP2 00000cf3: JUMP 00000cf4: JUMPDEST 00000cf5: PUSH1 0x00 00000cf7: DUP1 00000cf8: SLOAD 00000cf9: PUSH1 0xa0 00000cfb: PUSH1 0x02 00000cfd: EXP 00000cfe: SWAP1 00000cff: DIV 00000d00: PUSH1 0xff 00000d02: AND 00000d03: ISZERO 00000d04: PUSH2 0x0d0c 00000d07: JUMPI 00000d08: PUSH1 0x00 00000d0a: DUP1 00000d0b: REVERT 00000d0c: JUMPDEST 00000d0d: PUSH2 0x0d17 00000d10: CALLER 00000d11: DUP5 00000d12: DUP5 00000d13: PUSH2 0x0f8d 00000d16: JUMP 00000d17: JUMPDEST 00000d18: POP 00000d19: PUSH1 0x01 00000d1b: SWAP3 00000d1c: SWAP2 00000d1d: POP 00000d1e: POP 00000d1f: JUMP 00000d20: JUMPDEST 00000d21: PUSH1 0x00 00000d23: SLOAD 00000d24: PUSH1 0x01 00000d26: PUSH1 0xa0 00000d28: PUSH1 0x02 00000d2a: EXP 00000d2b: SUB 00000d2c: AND 00000d2d: CALLER 00000d2e: EQ 00000d2f: PUSH2 0x0d37 00000d32: JUMPI 00000d33: PUSH1 0x00 00000d35: DUP1 00000d36: REVERT 00000d37: JUMPDEST 00000d38: PUSH4 0x3b9ac9ff 00000d3d: DUP5 00000d3e: GT 00000d3f: ISZERO 00000d40: PUSH2 0x0d48 00000d43: JUMPI 00000d44: PUSH1 0x00 00000d46: DUP1 00000d47: REVERT 00000d48: JUMPDEST 00000d49: PUSH1 0x06 00000d4b: DUP6 00000d4c: SWAP1 00000d4d: SSTORE 00000d4e: PUSH1 0x07 00000d50: DUP5 00000d51: SWAP1 00000d52: SSTORE 00000d53: PUSH1 0x08 00000d55: DUP4 00000d56: SWAP1 00000d57: SSTORE 00000d58: PUSH1 0x09 00000d5a: DUP3 00000d5b: SWAP1 00000d5c: SSTORE 00000d5d: PUSH1 0x0a 00000d5f: DUP1 00000d60: SLOAD 00000d61: PUSH1 0x01 00000d63: PUSH1 0xa0 00000d65: PUSH1 0x02 00000d67: EXP 00000d68: SUB 00000d69: DUP4 00000d6a: AND 00000d6b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d80: NOT 00000d81: SWAP1 00000d82: SWAP2 00000d83: AND 00000d84: DUP2 00000d85: OR 00000d86: SWAP1 00000d87: SWAP2 00000d88: SSTORE 00000d89: PUSH1 0x40 00000d8b: DUP1 00000d8c: MLOAD 00000d8d: DUP8 00000d8e: DUP2 00000d8f: MSTORE 00000d90: PUSH1 0x20 00000d92: DUP2 00000d93: ADD 00000d94: DUP8 00000d95: SWAP1 00000d96: MSTORE 00000d97: DUP1 00000d98: DUP3 00000d99: ADD 00000d9a: DUP7 00000d9b: SWAP1 00000d9c: MSTORE 00000d9d: PUSH1 0x60 00000d9f: DUP2 00000da0: ADD 00000da1: DUP6 00000da2: SWAP1 00000da3: MSTORE 00000da4: PUSH1 0x80 00000da6: DUP2 00000da7: ADD 00000da8: SWAP3 00000da9: SWAP1 00000daa: SWAP3 00000dab: MSTORE 00000dac: MLOAD 00000dad: PUSH32 0xcb1ecaafd40c584faa527e9cefdd97242c3188900bbba1d2c1038ba10e6fe9df 00000dce: SWAP2 00000dcf: DUP2 00000dd0: SWAP1 00000dd1: SUB 00000dd2: PUSH1 0xa0 00000dd4: ADD 00000dd5: SWAP1 00000dd6: LOG1 00000dd7: POP 00000dd8: POP 00000dd9: POP 00000dda: POP 00000ddb: POP 00000ddc: JUMP 00000ddd: JUMPDEST 00000dde: PUSH1 0x0a 00000de0: SLOAD 00000de1: PUSH1 0x01 00000de3: PUSH1 0xa0 00000de5: PUSH1 0x02 00000de7: EXP 00000de8: SUB 00000de9: AND 00000dea: DUP2 00000deb: JUMP 00000dec: JUMPDEST 00000ded: PUSH1 0x03 00000def: PUSH1 0x20 00000df1: SWAP1 00000df2: DUP2 00000df3: MSTORE 00000df4: PUSH1 0x00 00000df6: SWAP3 00000df7: DUP4 00000df8: MSTORE 00000df9: PUSH1 0x40 00000dfb: DUP1 00000dfc: DUP5 00000dfd: KECCAK256 00000dfe: SWAP1 00000dff: SWAP2 00000e00: MSTORE 00000e01: SWAP1 00000e02: DUP3 00000e03: MSTORE 00000e04: SWAP1 00000e05: KECCAK256 00000e06: SLOAD 00000e07: DUP2 00000e08: JUMP 00000e09: JUMPDEST 00000e0a: PUSH1 0x00 00000e0c: SLOAD 00000e0d: PUSH1 0x01 00000e0f: PUSH1 0xa0 00000e11: PUSH1 0x02 00000e13: EXP 00000e14: SUB 00000e15: AND 00000e16: CALLER 00000e17: EQ 00000e18: PUSH2 0x0e20 00000e1b: JUMPI 00000e1c: PUSH1 0x00 00000e1e: DUP1 00000e1f: REVERT 00000e20: JUMPDEST 00000e21: PUSH1 0x01 00000e23: PUSH1 0xa0 00000e25: PUSH1 0x02 00000e27: EXP 00000e28: SUB 00000e29: DUP2 00000e2a: AND 00000e2b: ISZERO 00000e2c: ISZERO 00000e2d: PUSH2 0x0e35 00000e30: JUMPI 00000e31: PUSH1 0x00 00000e33: DUP1 00000e34: REVERT 00000e35: JUMPDEST 00000e36: PUSH1 0x00 00000e38: DUP1 00000e39: SLOAD 00000e3a: PUSH1 0x40 00000e3c: MLOAD 00000e3d: PUSH1 0x01 00000e3f: PUSH1 0xa0 00000e41: PUSH1 0x02 00000e43: EXP 00000e44: SUB 00000e45: DUP1 00000e46: DUP6 00000e47: AND 00000e48: SWAP4 00000e49: SWAP3 00000e4a: AND 00000e4b: SWAP2 00000e4c: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0 00000e6d: SWAP2 00000e6e: LOG3 00000e6f: PUSH1 0x00 00000e71: DUP1 00000e72: SLOAD 00000e73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e88: NOT 00000e89: AND 00000e8a: PUSH1 0x01 00000e8c: PUSH1 0xa0 00000e8e: PUSH1 0x02 00000e90: EXP 00000e91: SUB 00000e92: SWAP3 00000e93: SWAP1 00000e94: SWAP3 00000e95: AND 00000e96: SWAP2 00000e97: SWAP1 00000e98: SWAP2 00000e99: OR 00000e9a: SWAP1 00000e9b: SSTORE 00000e9c: JUMP 00000e9d: JUMPDEST 00000e9e: PUSH1 0x00 00000ea0: DUP3 00000ea1: DUP3 00000ea2: ADD 00000ea3: DUP4 00000ea4: DUP2 00000ea5: LT 00000ea6: ISZERO 00000ea7: PUSH2 0x0eaf 00000eaa: JUMPI 00000eab: PUSH1 0x00 00000ead: DUP1 00000eae: REVERT 00000eaf: JUMPDEST 00000eb0: SWAP4 00000eb1: SWAP3 00000eb2: POP 00000eb3: POP 00000eb4: POP 00000eb5: JUMP 00000eb6: JUMPDEST 00000eb7: PUSH1 0x01 00000eb9: PUSH1 0xa0 00000ebb: PUSH1 0x02 00000ebd: EXP 00000ebe: SUB 00000ebf: DUP3 00000ec0: AND 00000ec1: ISZERO 00000ec2: ISZERO 00000ec3: PUSH2 0x0ecb 00000ec6: JUMPI 00000ec7: PUSH1 0x00 00000ec9: DUP1 00000eca: REVERT 00000ecb: JUMPDEST 00000ecc: PUSH1 0x01 00000ece: SLOAD 00000ecf: PUSH2 0x0ede 00000ed2: SWAP1 00000ed3: DUP3 00000ed4: PUSH4 0xffffffff 00000ed9: PUSH2 0x0e9d 00000edc: AND 00000edd: JUMP 00000ede: JUMPDEST 00000edf: PUSH1 0x01 00000ee1: DUP2 00000ee2: SWAP1 00000ee3: SSTORE 00000ee4: PUSH6 0x5af3107a4000 00000eeb: LT 00000eec: ISZERO 00000eed: PUSH2 0x0ef5 00000ef0: JUMPI 00000ef1: PUSH1 0x00 00000ef3: DUP1 00000ef4: REVERT 00000ef5: JUMPDEST 00000ef6: PUSH1 0x01 00000ef8: PUSH1 0xa0 00000efa: PUSH1 0x02 00000efc: EXP 00000efd: SUB 00000efe: DUP3 00000eff: AND 00000f00: PUSH1 0x00 00000f02: SWAP1 00000f03: DUP2 00000f04: MSTORE 00000f05: PUSH1 0x02 00000f07: PUSH1 0x20 00000f09: MSTORE 00000f0a: PUSH1 0x40 00000f0c: SWAP1 00000f0d: KECCAK256 00000f0e: SLOAD 00000f0f: PUSH2 0x0f1e 00000f12: SWAP1 00000f13: DUP3 00000f14: PUSH4 0xffffffff 00000f19: PUSH2 0x0e9d 00000f1c: AND 00000f1d: JUMP 00000f1e: JUMPDEST 00000f1f: PUSH1 0x01 00000f21: PUSH1 0xa0 00000f23: PUSH1 0x02 00000f25: EXP 00000f26: SUB 00000f27: DUP4 00000f28: AND 00000f29: PUSH1 0x00 00000f2b: DUP2 00000f2c: DUP2 00000f2d: MSTORE 00000f2e: PUSH1 0x02 00000f30: PUSH1 0x20 00000f32: SWAP1 00000f33: DUP2 00000f34: MSTORE 00000f35: PUSH1 0x40 00000f37: DUP1 00000f38: DUP4 00000f39: KECCAK256 00000f3a: SWAP5 00000f3b: SWAP1 00000f3c: SWAP5 00000f3d: SSTORE 00000f3e: DUP4 00000f3f: MLOAD 00000f40: DUP6 00000f41: DUP2 00000f42: MSTORE 00000f43: SWAP4 00000f44: MLOAD 00000f45: SWAP3 00000f46: SWAP4 00000f47: SWAP2 00000f48: SWAP3 00000f49: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00000f6a: SWAP3 00000f6b: DUP2 00000f6c: SWAP1 00000f6d: SUB 00000f6e: SWAP1 00000f6f: SWAP2 00000f70: ADD 00000f71: SWAP1 00000f72: LOG3 00000f73: POP 00000f74: POP 00000f75: JUMP 00000f76: JUMPDEST 00000f77: PUSH1 0x00 00000f79: DUP1 00000f7a: DUP4 00000f7b: DUP4 00000f7c: GT 00000f7d: ISZERO 00000f7e: PUSH2 0x0f86 00000f81: JUMPI 00000f82: PUSH1 0x00 00000f84: DUP1 00000f85: REVERT 00000f86: JUMPDEST 00000f87: POP 00000f88: POP 00000f89: SWAP1 00000f8a: SUB 00000f8b: SWAP1 00000f8c: JUMP 00000f8d: JUMPDEST 00000f8e: PUSH1 0x01 00000f90: PUSH1 0xa0 00000f92: PUSH1 0x02 00000f94: EXP 00000f95: SUB 00000f96: DUP3 00000f97: AND 00000f98: ISZERO 00000f99: ISZERO 00000f9a: PUSH2 0x0fa2 00000f9d: JUMPI 00000f9e: PUSH1 0x00 00000fa0: DUP1 00000fa1: REVERT 00000fa2: JUMPDEST 00000fa3: PUSH1 0x01 00000fa5: PUSH1 0xa0 00000fa7: PUSH1 0x02 00000fa9: EXP 00000faa: SUB 00000fab: DUP4 00000fac: AND 00000fad: PUSH1 0x00 00000faf: SWAP1 00000fb0: DUP2 00000fb1: MSTORE 00000fb2: PUSH1 0x02 00000fb4: PUSH1 0x20 00000fb6: MSTORE 00000fb7: PUSH1 0x40 00000fb9: SWAP1 00000fba: KECCAK256 00000fbb: SLOAD 00000fbc: PUSH2 0x0fcb 00000fbf: SWAP1 00000fc0: DUP3 00000fc1: PUSH4 0xffffffff 00000fc6: PUSH2 0x0f76 00000fc9: AND 00000fca: JUMP 00000fcb: JUMPDEST 00000fcc: PUSH1 0x01 00000fce: PUSH1 0xa0 00000fd0: PUSH1 0x02 00000fd2: EXP 00000fd3: SUB 00000fd4: DUP1 00000fd5: DUP6 00000fd6: AND 00000fd7: PUSH1 0x00 00000fd9: SWAP1 00000fda: DUP2 00000fdb: MSTORE 00000fdc: PUSH1 0x02 00000fde: PUSH1 0x20 00000fe0: MSTORE 00000fe1: PUSH1 0x40 00000fe3: DUP1 00000fe4: DUP3 00000fe5: KECCAK256 00000fe6: SWAP4 00000fe7: SWAP1 00000fe8: SWAP4 00000fe9: SSTORE 00000fea: SWAP1 00000feb: DUP5 00000fec: AND 00000fed: DUP2 00000fee: MSTORE 00000fef: KECCAK256 00000ff0: SLOAD 00000ff1: PUSH2 0x1000 00000ff4: SWAP1 00000ff5: DUP3 00000ff6: PUSH4 0xffffffff 00000ffb: PUSH2 0x0e9d 00000ffe: AND 00000fff: JUMP 00001000: JUMPDEST 00001001: PUSH1 0x01 00001003: PUSH1 0xa0 00001005: PUSH1 0x02 00001007: EXP 00001008: SUB 00001009: DUP1 0000100a: DUP5 0000100b: AND 0000100c: PUSH1 0x00 0000100e: DUP2 0000100f: DUP2 00001010: MSTORE 00001011: PUSH1 0x02 00001013: PUSH1 0x20 00001015: SWAP1 00001016: DUP2 00001017: MSTORE 00001018: PUSH1 0x40 0000101a: SWAP2 0000101b: DUP3 0000101c: SWAP1 0000101d: KECCAK256 0000101e: SWAP5 0000101f: SWAP1 00001020: SWAP5 00001021: SSTORE 00001022: DUP1 00001023: MLOAD 00001024: DUP6 00001025: DUP2 00001026: MSTORE 00001027: SWAP1 00001028: MLOAD 00001029: SWAP2 0000102a: SWAP4 0000102b: SWAP3 0000102c: DUP8 0000102d: AND 0000102e: SWAP3 0000102f: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef 00001050: SWAP3 00001051: SWAP2 00001052: DUP3 00001053: SWAP1 00001054: SUB 00001055: ADD 00001056: SWAP1 00001057: LOG3 00001058: POP 00001059: POP 0000105a: POP 0000105b: JUMP 0000105c: STOP 0000105d: LOG1 0000105e: PUSH6 0x627a7a723058 00001065: KECCAK256 00001066: NOT 00001067: UNKNOWN(0x23) 00001068: SWAP1 00001069: UNKNOWN(0xC5) 0000106a: BASEFEE 0000106b: CALLVALUE 0000106c: PUSH15 0x1aaeb6a9bfc9b516ea2f92e350fc27 0000107c: MSTORE 0000107d: UNKNOWN(0x1F) 0000107e: SELFBALANCE 0000107f: TLOAD 00001080: UNKNOWN(0xDC) 00001081: DUP11 00001082: SWAP4 00001083: SWAP16 00001084: PUSH17
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| high | other | detector | Untrusted CALL target/value reachable | 60 | no | no |
viewtrace_id: 0xc710736a38b8c958481ee3e4da340f47fb71ef3aee8ba35cb1bafafa39352977
call_targets:
0x48e4562b66df6824811c1171fdf9d5814a5b42ef
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc710736a38b8c958481ee3e4da340f47fb71ef3aee8ba35cb1bafafa39352977",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x48e4562b66df6824811c1171fdf9d5814a5b42ef"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18996fd3",
"selector": "0x18996fd3",
"calldata_variants": [
"0x18996fd3",
"0x18996fd30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x26de0634",
"selector": "0x26de0634",
"calldata_variants": [
"0x26de0634",
"0x26de06340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x39509351",
"selector": "0x39509351",
"calldata_variants": [
"0x39509351",
"0x395093510000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2205,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 1,
"guards_detected": [],
"untrusted_call_count": 1
}
|
| high | other | detector | ETH value transfer possible | 55 | no | no |
viewtrace_id: 0xc710736a38b8c958481ee3e4da340f47fb71ef3aee8ba35cb1bafafa39352977
call_targets:
0x48e4562b66df6824811c1171fdf9d5814a5b42ef
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0xc710736a38b8c958481ee3e4da340f47fb71ef3aee8ba35cb1bafafa39352977",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x48e4562b66df6824811c1171fdf9d5814a5b42ef"
],
"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": "0x06fdde03",
"selector": "0x06fdde03",
"calldata_variants": [
"0x06fdde03",
"0x06fdde030000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x095ea7b3",
"selector": "0x095ea7b3",
"calldata_variants": [
"0x095ea7b3",
"0x095ea7b30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18160ddd",
"selector": "0x18160ddd",
"calldata_variants": [
"0x18160ddd",
"0x18160ddd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x18996fd3",
"selector": "0x18996fd3",
"calldata_variants": [
"0x18996fd3",
"0x18996fd30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x23b872dd",
"selector": "0x23b872dd",
"calldata_variants": [
"0x23b872dd",
"0x23b872dd0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x26de0634",
"selector": "0x26de0634",
"calldata_variants": [
"0x26de0634",
"0x26de06340000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x313ce567",
"selector": "0x313ce567",
"calldata_variants": [
"0x313ce567",
"0x313ce5670000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x39509351",
"selector": "0x39509351",
"calldata_variants": [
"0x39509351",
"0x395093510000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2205,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 1,
"guards_detected": []
}
|