019b477e-af5f-7325-a248-4206d0390876
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 |
|---|---|---|---|---|
| 21771 | artifact.fetch | complete | 1 / 3 | 4 months ago |
| 21772 | tool.cast_disasm | complete | 1 / 3 | 4 months ago |
| 64750 | analysis.bundle | complete | 1 / 3 | 2 weeks ago |
| 64751 | capability.graph | complete | 1 / 3 | 2 weeks ago |
| 64752 | detector.run | complete | 1 / 3 | 2 weeks ago |
| 64753 | 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 0x00fc 0000000c: JUMPI 0000000d: PUSH1 0x00 0000000f: CALLDATALOAD 00000010: PUSH29 0x0100000000000000000000000000000000000000000000000000000000 0000002e: SWAP1 0000002f: DIV 00000030: PUSH4 0xffffffff 00000035: AND 00000036: DUP1 00000037: PUSH4 0x07da68f5 0000003c: EQ 0000003d: PUSH2 0x0101 00000040: JUMPI 00000041: DUP1 00000042: PUSH4 0x0ee2b0e6 00000047: EQ 00000048: PUSH2 0x0118 0000004b: JUMPI 0000004c: DUP1 0000004d: PUSH4 0x2b7ac3f3 00000052: EQ 00000053: PUSH2 0x0143 00000056: JUMPI 00000057: DUP1 00000058: PUSH4 0x3dabb0f6 0000005d: EQ 0000005e: PUSH2 0x019a 00000061: JUMPI 00000062: DUP1 00000063: PUSH4 0x3e25e837 00000068: EQ 00000069: PUSH2 0x023e 0000006c: JUMPI 0000006d: DUP1 0000006e: PUSH4 0x3f4ba83a 00000073: EQ 00000074: PUSH2 0x026d 00000077: JUMPI 00000078: DUP1 00000079: PUSH4 0x5ac3835d 0000007e: EQ 0000007f: PUSH2 0x0284 00000082: JUMPI 00000083: DUP1 00000084: PUSH4 0x5c975abb 00000089: EQ 0000008a: PUSH2 0x0328 0000008d: JUMPI 0000008e: DUP1 0000008f: PUSH4 0x6fb1eb0c 00000094: EQ 00000095: PUSH2 0x0357 00000098: JUMPI 00000099: DUP1 0000009a: PUSH4 0x7297be7f 0000009f: EQ 000000a0: PUSH2 0x0382 000000a3: JUMPI 000000a4: DUP1 000000a5: PUSH4 0x75f12b21 000000aa: EQ 000000ab: PUSH2 0x03c7 000000ae: JUMPI 000000af: DUP1 000000b0: PUSH4 0x8456cb59 000000b5: EQ 000000b6: PUSH2 0x03f6 000000b9: JUMPI 000000ba: DUP1 000000bb: PUSH4 0x8bdc5a5f 000000c0: EQ 000000c1: PUSH2 0x040d 000000c4: JUMPI 000000c5: DUP1 000000c6: PUSH4 0x8da5cb5b 000000cb: EQ 000000cc: PUSH2 0x04b1 000000cf: JUMPI 000000d0: DUP1 000000d1: PUSH4 0xa7c1e629 000000d6: EQ 000000d7: PUSH2 0x0508 000000da: JUMPI 000000db: DUP1 000000dc: PUSH4 0xcf04fb94 000000e1: EQ 000000e2: PUSH2 0x0563 000000e5: JUMPI 000000e6: DUP1 000000e7: PUSH4 0xdb0d5175 000000ec: EQ 000000ed: PUSH2 0x05be 000000f0: JUMPI 000000f1: DUP1 000000f2: PUSH4 0xf340fa01 000000f7: EQ 000000f8: PUSH2 0x067b 000000fb: JUMPI 000000fc: JUMPDEST 000000fd: PUSH1 0x00 000000ff: DUP1 00000100: REVERT 00000101: JUMPDEST 00000102: CALLVALUE 00000103: DUP1 00000104: ISZERO 00000105: PUSH2 0x010d 00000108: JUMPI 00000109: PUSH1 0x00 0000010b: DUP1 0000010c: REVERT 0000010d: JUMPDEST 0000010e: POP 0000010f: PUSH2 0x0116 00000112: PUSH2 0x06c9 00000115: JUMP 00000116: JUMPDEST 00000117: STOP 00000118: JUMPDEST 00000119: CALLVALUE 0000011a: DUP1 0000011b: ISZERO 0000011c: PUSH2 0x0124 0000011f: JUMPI 00000120: PUSH1 0x00 00000122: DUP1 00000123: REVERT 00000124: JUMPDEST 00000125: POP 00000126: PUSH2 0x012d 00000129: PUSH2 0x0789 0000012c: JUMP 0000012d: JUMPDEST 0000012e: PUSH1 0x40 00000130: MLOAD 00000131: DUP1 00000132: DUP3 00000133: DUP2 00000134: MSTORE 00000135: PUSH1 0x20 00000137: ADD 00000138: SWAP2 00000139: POP 0000013a: POP 0000013b: PUSH1 0x40 0000013d: MLOAD 0000013e: DUP1 0000013f: SWAP2 00000140: SUB 00000141: SWAP1 00000142: RETURN 00000143: JUMPDEST 00000144: CALLVALUE 00000145: DUP1 00000146: ISZERO 00000147: PUSH2 0x014f 0000014a: JUMPI 0000014b: PUSH1 0x00 0000014d: DUP1 0000014e: REVERT 0000014f: JUMPDEST 00000150: POP 00000151: PUSH2 0x0158 00000154: PUSH2 0x078f 00000157: JUMP 00000158: JUMPDEST 00000159: PUSH1 0x40 0000015b: MLOAD 0000015c: DUP1 0000015d: DUP3 0000015e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000173: AND 00000174: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000189: AND 0000018a: DUP2 0000018b: MSTORE 0000018c: PUSH1 0x20 0000018e: ADD 0000018f: SWAP2 00000190: POP 00000191: POP 00000192: PUSH1 0x40 00000194: MLOAD 00000195: DUP1 00000196: SWAP2 00000197: SUB 00000198: SWAP1 00000199: RETURN 0000019a: JUMPDEST 0000019b: CALLVALUE 0000019c: DUP1 0000019d: ISZERO 0000019e: PUSH2 0x01a6 000001a1: JUMPI 000001a2: PUSH1 0x00 000001a4: DUP1 000001a5: REVERT 000001a6: JUMPDEST 000001a7: POP 000001a8: PUSH2 0x0224 000001ab: PUSH1 0x04 000001ad: DUP1 000001ae: CALLDATASIZE 000001af: SUB 000001b0: DUP2 000001b1: ADD 000001b2: SWAP1 000001b3: DUP1 000001b4: DUP1 000001b5: CALLDATALOAD 000001b6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001cb: AND 000001cc: SWAP1 000001cd: PUSH1 0x20 000001cf: ADD 000001d0: SWAP1 000001d1: SWAP3 000001d2: SWAP2 000001d3: SWAP1 000001d4: DUP1 000001d5: CALLDATALOAD 000001d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000001eb: AND 000001ec: SWAP1 000001ed: PUSH1 0x20 000001ef: ADD 000001f0: SWAP1 000001f1: SWAP3 000001f2: SWAP2 000001f3: SWAP1 000001f4: DUP1 000001f5: CALLDATALOAD 000001f6: PUSH1 0xff 000001f8: AND 000001f9: SWAP1 000001fa: PUSH1 0x20 000001fc: ADD 000001fd: SWAP1 000001fe: SWAP3 000001ff: SWAP2 00000200: SWAP1 00000201: DUP1 00000202: CALLDATALOAD 00000203: PUSH1 0x00 00000205: NOT 00000206: AND 00000207: SWAP1 00000208: PUSH1 0x20 0000020a: ADD 0000020b: SWAP1 0000020c: SWAP3 0000020d: SWAP2 0000020e: SWAP1 0000020f: DUP1 00000210: CALLDATALOAD 00000211: PUSH1 0x00 00000213: NOT 00000214: AND 00000215: SWAP1 00000216: PUSH1 0x20 00000218: ADD 00000219: SWAP1 0000021a: SWAP3 0000021b: SWAP2 0000021c: SWAP1 0000021d: POP 0000021e: POP 0000021f: POP 00000220: PUSH2 0x07b5 00000223: JUMP 00000224: JUMPDEST 00000225: PUSH1 0x40 00000227: MLOAD 00000228: DUP1 00000229: DUP3 0000022a: ISZERO 0000022b: ISZERO 0000022c: ISZERO 0000022d: ISZERO 0000022e: DUP2 0000022f: MSTORE 00000230: PUSH1 0x20 00000232: ADD 00000233: SWAP2 00000234: POP 00000235: POP 00000236: PUSH1 0x40 00000238: MLOAD 00000239: DUP1 0000023a: SWAP2 0000023b: SUB 0000023c: SWAP1 0000023d: RETURN 0000023e: JUMPDEST 0000023f: CALLVALUE 00000240: DUP1 00000241: ISZERO 00000242: PUSH2 0x024a 00000245: JUMPI 00000246: PUSH1 0x00 00000248: DUP1 00000249: REVERT 0000024a: JUMPDEST 0000024b: POP 0000024c: PUSH2 0x0253 0000024f: PUSH2 0x08f4 00000252: JUMP 00000253: JUMPDEST 00000254: PUSH1 0x40 00000256: MLOAD 00000257: DUP1 00000258: DUP3 00000259: ISZERO 0000025a: ISZERO 0000025b: ISZERO 0000025c: ISZERO 0000025d: DUP2 0000025e: MSTORE 0000025f: PUSH1 0x20 00000261: ADD 00000262: SWAP2 00000263: POP 00000264: POP 00000265: PUSH1 0x40 00000267: MLOAD 00000268: DUP1 00000269: SWAP2 0000026a: SUB 0000026b: SWAP1 0000026c: RETURN 0000026d: JUMPDEST 0000026e: CALLVALUE 0000026f: DUP1 00000270: ISZERO 00000271: PUSH2 0x0279 00000274: JUMPI 00000275: PUSH1 0x00 00000277: DUP1 00000278: REVERT 00000279: JUMPDEST 0000027a: POP 0000027b: PUSH2 0x0282 0000027e: PUSH2 0x09c7 00000281: JUMP 00000282: JUMPDEST 00000283: STOP 00000284: JUMPDEST 00000285: CALLVALUE 00000286: DUP1 00000287: ISZERO 00000288: PUSH2 0x0290 0000028b: JUMPI 0000028c: PUSH1 0x00 0000028e: DUP1 0000028f: REVERT 00000290: JUMPDEST 00000291: POP 00000292: PUSH2 0x030e 00000295: PUSH1 0x04 00000297: DUP1 00000298: CALLDATASIZE 00000299: SUB 0000029a: DUP2 0000029b: ADD 0000029c: SWAP1 0000029d: DUP1 0000029e: DUP1 0000029f: CALLDATALOAD 000002a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002b5: AND 000002b6: SWAP1 000002b7: PUSH1 0x20 000002b9: ADD 000002ba: SWAP1 000002bb: SWAP3 000002bc: SWAP2 000002bd: SWAP1 000002be: DUP1 000002bf: CALLDATALOAD 000002c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000002d5: AND 000002d6: SWAP1 000002d7: PUSH1 0x20 000002d9: ADD 000002da: SWAP1 000002db: SWAP3 000002dc: SWAP2 000002dd: SWAP1 000002de: DUP1 000002df: CALLDATALOAD 000002e0: PUSH1 0xff 000002e2: AND 000002e3: SWAP1 000002e4: PUSH1 0x20 000002e6: ADD 000002e7: SWAP1 000002e8: SWAP3 000002e9: SWAP2 000002ea: SWAP1 000002eb: DUP1 000002ec: CALLDATALOAD 000002ed: PUSH1 0x00 000002ef: NOT 000002f0: AND 000002f1: SWAP1 000002f2: PUSH1 0x20 000002f4: ADD 000002f5: SWAP1 000002f6: SWAP3 000002f7: SWAP2 000002f8: SWAP1 000002f9: DUP1 000002fa: CALLDATALOAD 000002fb: PUSH1 0x00 000002fd: NOT 000002fe: AND 000002ff: SWAP1 00000300: PUSH1 0x20 00000302: ADD 00000303: SWAP1 00000304: SWAP3 00000305: SWAP2 00000306: SWAP1 00000307: POP 00000308: POP 00000309: POP 0000030a: PUSH2 0x0a85 0000030d: JUMP 0000030e: JUMPDEST 0000030f: PUSH1 0x40 00000311: MLOAD 00000312: DUP1 00000313: DUP3 00000314: ISZERO 00000315: ISZERO 00000316: ISZERO 00000317: ISZERO 00000318: DUP2 00000319: MSTORE 0000031a: PUSH1 0x20 0000031c: ADD 0000031d: SWAP2 0000031e: POP 0000031f: POP 00000320: PUSH1 0x40 00000322: MLOAD 00000323: DUP1 00000324: SWAP2 00000325: SUB 00000326: SWAP1 00000327: RETURN 00000328: JUMPDEST 00000329: CALLVALUE 0000032a: DUP1 0000032b: ISZERO 0000032c: PUSH2 0x0334 0000032f: JUMPI 00000330: PUSH1 0x00 00000332: DUP1 00000333: REVERT 00000334: JUMPDEST 00000335: POP 00000336: PUSH2 0x033d 00000339: PUSH2 0x0a9f 0000033c: JUMP 0000033d: JUMPDEST 0000033e: PUSH1 0x40 00000340: MLOAD 00000341: DUP1 00000342: DUP3 00000343: ISZERO 00000344: ISZERO 00000345: ISZERO 00000346: ISZERO 00000347: DUP2 00000348: MSTORE 00000349: PUSH1 0x20 0000034b: ADD 0000034c: SWAP2 0000034d: POP 0000034e: POP 0000034f: PUSH1 0x40 00000351: MLOAD 00000352: DUP1 00000353: SWAP2 00000354: SUB 00000355: SWAP1 00000356: RETURN 00000357: JUMPDEST 00000358: CALLVALUE 00000359: DUP1 0000035a: ISZERO 0000035b: PUSH2 0x0363 0000035e: JUMPI 0000035f: PUSH1 0x00 00000361: DUP1 00000362: REVERT 00000363: JUMPDEST 00000364: POP 00000365: PUSH2 0x036c 00000368: PUSH2 0x0ab2 0000036b: JUMP 0000036c: JUMPDEST 0000036d: PUSH1 0x40 0000036f: MLOAD 00000370: DUP1 00000371: DUP3 00000372: DUP2 00000373: MSTORE 00000374: PUSH1 0x20 00000376: ADD 00000377: SWAP2 00000378: POP 00000379: POP 0000037a: PUSH1 0x40 0000037c: MLOAD 0000037d: DUP1 0000037e: SWAP2 0000037f: SUB 00000380: SWAP1 00000381: RETURN 00000382: JUMPDEST 00000383: CALLVALUE 00000384: DUP1 00000385: ISZERO 00000386: PUSH2 0x038e 00000389: JUMPI 0000038a: PUSH1 0x00 0000038c: DUP1 0000038d: REVERT 0000038e: JUMPDEST 0000038f: POP 00000390: PUSH2 0x03ad 00000393: PUSH1 0x04 00000395: DUP1 00000396: CALLDATASIZE 00000397: SUB 00000398: DUP2 00000399: ADD 0000039a: SWAP1 0000039b: DUP1 0000039c: DUP1 0000039d: CALLDATALOAD 0000039e: SWAP1 0000039f: PUSH1 0x20 000003a1: ADD 000003a2: SWAP1 000003a3: SWAP3 000003a4: SWAP2 000003a5: SWAP1 000003a6: POP 000003a7: POP 000003a8: POP 000003a9: PUSH2 0x0ab8 000003ac: JUMP 000003ad: JUMPDEST 000003ae: PUSH1 0x40 000003b0: MLOAD 000003b1: DUP1 000003b2: DUP3 000003b3: ISZERO 000003b4: ISZERO 000003b5: ISZERO 000003b6: ISZERO 000003b7: DUP2 000003b8: MSTORE 000003b9: PUSH1 0x20 000003bb: ADD 000003bc: SWAP2 000003bd: POP 000003be: POP 000003bf: PUSH1 0x40 000003c1: MLOAD 000003c2: DUP1 000003c3: SWAP2 000003c4: SUB 000003c5: SWAP1 000003c6: RETURN 000003c7: JUMPDEST 000003c8: CALLVALUE 000003c9: DUP1 000003ca: ISZERO 000003cb: PUSH2 0x03d3 000003ce: JUMPI 000003cf: PUSH1 0x00 000003d1: DUP1 000003d2: REVERT 000003d3: JUMPDEST 000003d4: POP 000003d5: PUSH2 0x03dc 000003d8: PUSH2 0x0ba5 000003db: JUMP 000003dc: JUMPDEST 000003dd: PUSH1 0x40 000003df: MLOAD 000003e0: DUP1 000003e1: DUP3 000003e2: ISZERO 000003e3: ISZERO 000003e4: ISZERO 000003e5: ISZERO 000003e6: DUP2 000003e7: MSTORE 000003e8: PUSH1 0x20 000003ea: ADD 000003eb: SWAP2 000003ec: POP 000003ed: POP 000003ee: PUSH1 0x40 000003f0: MLOAD 000003f1: DUP1 000003f2: SWAP2 000003f3: SUB 000003f4: SWAP1 000003f5: RETURN 000003f6: JUMPDEST 000003f7: CALLVALUE 000003f8: DUP1 000003f9: ISZERO 000003fa: PUSH2 0x0402 000003fd: JUMPI 000003fe: PUSH1 0x00 00000400: DUP1 00000401: REVERT 00000402: JUMPDEST 00000403: POP 00000404: PUSH2 0x040b 00000407: PUSH2 0x0bb8 0000040a: JUMP 0000040b: JUMPDEST 0000040c: STOP 0000040d: JUMPDEST 0000040e: CALLVALUE 0000040f: DUP1 00000410: ISZERO 00000411: PUSH2 0x0419 00000414: JUMPI 00000415: PUSH1 0x00 00000417: DUP1 00000418: REVERT 00000419: JUMPDEST 0000041a: POP 0000041b: PUSH2 0x0497 0000041e: PUSH1 0x04 00000420: DUP1 00000421: CALLDATASIZE 00000422: SUB 00000423: DUP2 00000424: ADD 00000425: SWAP1 00000426: DUP1 00000427: DUP1 00000428: CALLDATALOAD 00000429: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000043e: AND 0000043f: SWAP1 00000440: PUSH1 0x20 00000442: ADD 00000443: SWAP1 00000444: SWAP3 00000445: SWAP2 00000446: SWAP1 00000447: DUP1 00000448: CALLDATALOAD 00000449: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000045e: AND 0000045f: SWAP1 00000460: PUSH1 0x20 00000462: ADD 00000463: SWAP1 00000464: SWAP3 00000465: SWAP2 00000466: SWAP1 00000467: DUP1 00000468: CALLDATALOAD 00000469: PUSH1 0xff 0000046b: AND 0000046c: SWAP1 0000046d: PUSH1 0x20 0000046f: ADD 00000470: SWAP1 00000471: SWAP3 00000472: SWAP2 00000473: SWAP1 00000474: DUP1 00000475: CALLDATALOAD 00000476: PUSH1 0x00 00000478: NOT 00000479: AND 0000047a: SWAP1 0000047b: PUSH1 0x20 0000047d: ADD 0000047e: SWAP1 0000047f: SWAP3 00000480: SWAP2 00000481: SWAP1 00000482: DUP1 00000483: CALLDATALOAD 00000484: PUSH1 0x00 00000486: NOT 00000487: AND 00000488: SWAP1 00000489: PUSH1 0x20 0000048b: ADD 0000048c: SWAP1 0000048d: SWAP3 0000048e: SWAP2 0000048f: SWAP1 00000490: POP 00000491: POP 00000492: POP 00000493: PUSH2 0x0c78 00000496: JUMP 00000497: JUMPDEST 00000498: PUSH1 0x40 0000049a: MLOAD 0000049b: DUP1 0000049c: DUP3 0000049d: ISZERO 0000049e: ISZERO 0000049f: ISZERO 000004a0: ISZERO 000004a1: DUP2 000004a2: MSTORE 000004a3: PUSH1 0x20 000004a5: ADD 000004a6: SWAP2 000004a7: POP 000004a8: POP 000004a9: PUSH1 0x40 000004ab: MLOAD 000004ac: DUP1 000004ad: SWAP2 000004ae: SUB 000004af: SWAP1 000004b0: RETURN 000004b1: JUMPDEST 000004b2: CALLVALUE 000004b3: DUP1 000004b4: ISZERO 000004b5: PUSH2 0x04bd 000004b8: JUMPI 000004b9: PUSH1 0x00 000004bb: DUP1 000004bc: REVERT 000004bd: JUMPDEST 000004be: POP 000004bf: PUSH2 0x04c6 000004c2: PUSH2 0x0f28 000004c5: JUMP 000004c6: JUMPDEST 000004c7: PUSH1 0x40 000004c9: MLOAD 000004ca: DUP1 000004cb: DUP3 000004cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004e1: AND 000004e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000004f7: AND 000004f8: DUP2 000004f9: MSTORE 000004fa: PUSH1 0x20 000004fc: ADD 000004fd: SWAP2 000004fe: POP 000004ff: POP 00000500: PUSH1 0x40 00000502: MLOAD 00000503: DUP1 00000504: SWAP2 00000505: SUB 00000506: SWAP1 00000507: RETURN 00000508: JUMPDEST 00000509: CALLVALUE 0000050a: DUP1 0000050b: ISZERO 0000050c: PUSH2 0x0514 0000050f: JUMPI 00000510: PUSH1 0x00 00000512: DUP1 00000513: REVERT 00000514: JUMPDEST 00000515: POP 00000516: PUSH2 0x0549 00000519: PUSH1 0x04 0000051b: DUP1 0000051c: CALLDATASIZE 0000051d: SUB 0000051e: DUP2 0000051f: ADD 00000520: SWAP1 00000521: DUP1 00000522: DUP1 00000523: CALLDATALOAD 00000524: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000539: AND 0000053a: SWAP1 0000053b: PUSH1 0x20 0000053d: ADD 0000053e: SWAP1 0000053f: SWAP3 00000540: SWAP2 00000541: SWAP1 00000542: POP 00000543: POP 00000544: POP 00000545: PUSH2 0x0f4d 00000548: JUMP 00000549: JUMPDEST 0000054a: PUSH1 0x40 0000054c: MLOAD 0000054d: DUP1 0000054e: DUP3 0000054f: ISZERO 00000550: ISZERO 00000551: ISZERO 00000552: ISZERO 00000553: DUP2 00000554: MSTORE 00000555: PUSH1 0x20 00000557: ADD 00000558: SWAP2 00000559: POP 0000055a: POP 0000055b: PUSH1 0x40 0000055d: MLOAD 0000055e: DUP1 0000055f: SWAP2 00000560: SUB 00000561: SWAP1 00000562: RETURN 00000563: JUMPDEST 00000564: CALLVALUE 00000565: DUP1 00000566: ISZERO 00000567: PUSH2 0x056f 0000056a: JUMPI 0000056b: PUSH1 0x00 0000056d: DUP1 0000056e: REVERT 0000056f: JUMPDEST 00000570: POP 00000571: PUSH2 0x05a4 00000574: PUSH1 0x04 00000576: DUP1 00000577: CALLDATASIZE 00000578: SUB 00000579: DUP2 0000057a: ADD 0000057b: SWAP1 0000057c: DUP1 0000057d: DUP1 0000057e: CALLDATALOAD 0000057f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000594: AND 00000595: SWAP1 00000596: PUSH1 0x20 00000598: ADD 00000599: SWAP1 0000059a: SWAP3 0000059b: SWAP2 0000059c: SWAP1 0000059d: POP 0000059e: POP 0000059f: POP 000005a0: PUSH2 0x1161 000005a3: JUMP 000005a4: JUMPDEST 000005a5: PUSH1 0x40 000005a7: MLOAD 000005a8: DUP1 000005a9: DUP3 000005aa: ISZERO 000005ab: ISZERO 000005ac: ISZERO 000005ad: ISZERO 000005ae: DUP2 000005af: MSTORE 000005b0: PUSH1 0x20 000005b2: ADD 000005b3: SWAP2 000005b4: POP 000005b5: POP 000005b6: PUSH1 0x40 000005b8: MLOAD 000005b9: DUP1 000005ba: SWAP2 000005bb: SUB 000005bc: SWAP1 000005bd: RETURN 000005be: JUMPDEST 000005bf: CALLVALUE 000005c0: DUP1 000005c1: ISZERO 000005c2: PUSH2 0x05ca 000005c5: JUMPI 000005c6: PUSH1 0x00 000005c8: DUP1 000005c9: REVERT 000005ca: JUMPDEST 000005cb: POP 000005cc: PUSH2 0x05ff 000005cf: PUSH1 0x04 000005d1: DUP1 000005d2: CALLDATASIZE 000005d3: SUB 000005d4: DUP2 000005d5: ADD 000005d6: SWAP1 000005d7: DUP1 000005d8: DUP1 000005d9: CALLDATALOAD 000005da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000005ef: AND 000005f0: SWAP1 000005f1: PUSH1 0x20 000005f3: ADD 000005f4: SWAP1 000005f5: SWAP3 000005f6: SWAP2 000005f7: SWAP1 000005f8: POP 000005f9: POP 000005fa: POP 000005fb: PUSH2 0x131f 000005fe: JUMP 000005ff: JUMPDEST 00000600: PUSH1 0x40 00000602: MLOAD 00000603: DUP1 00000604: DUP5 00000605: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000061a: AND 0000061b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000630: AND 00000631: DUP2 00000632: MSTORE 00000633: PUSH1 0x20 00000635: ADD 00000636: DUP4 00000637: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000064c: AND 0000064d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000662: AND 00000663: DUP2 00000664: MSTORE 00000665: PUSH1 0x20 00000667: ADD 00000668: DUP3 00000669: DUP2 0000066a: MSTORE 0000066b: PUSH1 0x20 0000066d: ADD 0000066e: SWAP4 0000066f: POP 00000670: POP 00000671: POP 00000672: POP 00000673: PUSH1 0x40 00000675: MLOAD 00000676: DUP1 00000677: SWAP2 00000678: SUB 00000679: SWAP1 0000067a: RETURN 0000067b: JUMPDEST 0000067c: PUSH2 0x06af 0000067f: PUSH1 0x04 00000681: DUP1 00000682: CALLDATASIZE 00000683: SUB 00000684: DUP2 00000685: ADD 00000686: SWAP1 00000687: DUP1 00000688: DUP1 00000689: CALLDATALOAD 0000068a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000069f: AND 000006a0: SWAP1 000006a1: PUSH1 0x20 000006a3: ADD 000006a4: SWAP1 000006a5: SWAP3 000006a6: SWAP2 000006a7: SWAP1 000006a8: POP 000006a9: POP 000006aa: POP 000006ab: PUSH2 0x13f1 000006ae: JUMP 000006af: JUMPDEST 000006b0: PUSH1 0x40 000006b2: MLOAD 000006b3: DUP1 000006b4: DUP3 000006b5: ISZERO 000006b6: ISZERO 000006b7: ISZERO 000006b8: ISZERO 000006b9: DUP2 000006ba: MSTORE 000006bb: PUSH1 0x20 000006bd: ADD 000006be: SWAP2 000006bf: POP 000006c0: POP 000006c1: PUSH1 0x40 000006c3: MLOAD 000006c4: DUP1 000006c5: SWAP2 000006c6: SUB 000006c7: SWAP1 000006c8: RETURN 000006c9: JUMPDEST 000006ca: PUSH1 0x00 000006cc: DUP1 000006cd: SWAP1 000006ce: SLOAD 000006cf: SWAP1 000006d0: PUSH2 0x0100 000006d3: EXP 000006d4: SWAP1 000006d5: DIV 000006d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000006eb: AND 000006ec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000701: AND 00000702: CALLER 00000703: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000718: AND 00000719: EQ 0000071a: ISZERO 0000071b: ISZERO 0000071c: PUSH2 0x0724 0000071f: JUMPI 00000720: PUSH1 0x00 00000722: DUP1 00000723: REVERT 00000724: JUMPDEST 00000725: PUSH1 0x00 00000727: PUSH1 0x15 00000729: SWAP1 0000072a: SLOAD 0000072b: SWAP1 0000072c: PUSH2 0x0100 0000072f: EXP 00000730: SWAP1 00000731: DIV 00000732: PUSH1 0xff 00000734: AND 00000735: ISZERO 00000736: ISZERO 00000737: ISZERO 00000738: PUSH2 0x0740 0000073b: JUMPI 0000073c: PUSH1 0x00 0000073e: DUP1 0000073f: REVERT 00000740: JUMPDEST 00000741: PUSH1 0x01 00000743: PUSH1 0x00 00000745: PUSH1 0x15 00000747: PUSH2 0x0100 0000074a: EXP 0000074b: DUP2 0000074c: SLOAD 0000074d: DUP2 0000074e: PUSH1 0xff 00000750: MUL 00000751: NOT 00000752: AND 00000753: SWAP1 00000754: DUP4 00000755: ISZERO 00000756: ISZERO 00000757: MUL 00000758: OR 00000759: SWAP1 0000075a: SSTORE 0000075b: POP 0000075c: PUSH32 0xbedf0f4abfe86d4ffad593d9607fe70e83ea706033d44d24b3b6283cf3fc4f6b 0000077d: PUSH1 0x40 0000077f: MLOAD 00000780: PUSH1 0x40 00000782: MLOAD 00000783: DUP1 00000784: SWAP2 00000785: SUB 00000786: SWAP1 00000787: LOG1 00000788: JUMP 00000789: JUMPDEST 0000078a: PUSH1 0x02 0000078c: SLOAD 0000078d: DUP2 0000078e: JUMP 0000078f: JUMPDEST 00000790: PUSH1 0x03 00000792: PUSH1 0x00 00000794: SWAP1 00000795: SLOAD 00000796: SWAP1 00000797: PUSH2 0x0100 0000079a: EXP 0000079b: SWAP1 0000079c: DIV 0000079d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007b2: AND 000007b3: DUP2 000007b4: JUMP 000007b5: JUMPDEST 000007b6: PUSH1 0x00 000007b8: DUP1 000007b9: PUSH1 0x00 000007bb: DUP7 000007bc: PUSH1 0x40 000007be: MLOAD 000007bf: DUP1 000007c0: DUP1 000007c1: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a333200000000 000007e2: DUP2 000007e3: MSTORE 000007e4: POP 000007e5: PUSH1 0x1c 000007e7: ADD 000007e8: DUP3 000007e9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000007fe: AND 000007ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000814: AND 00000815: PUSH13 0x01000000000000000000000000 00000823: MUL 00000824: DUP2 00000825: MSTORE 00000826: PUSH1 0x14 00000828: ADD 00000829: SWAP2 0000082a: POP 0000082b: POP 0000082c: PUSH1 0x40 0000082e: MLOAD 0000082f: DUP1 00000830: SWAP2 00000831: SUB 00000832: SWAP1 00000833: KECCAK256 00000834: SWAP2 00000835: POP 00000836: PUSH1 0x01 00000838: DUP3 00000839: DUP8 0000083a: DUP8 0000083b: DUP8 0000083c: PUSH1 0x40 0000083e: MLOAD 0000083f: PUSH1 0x00 00000841: DUP2 00000842: MSTORE 00000843: PUSH1 0x20 00000845: ADD 00000846: PUSH1 0x40 00000848: MSTORE 00000849: PUSH1 0x40 0000084b: MLOAD 0000084c: DUP1 0000084d: DUP6 0000084e: PUSH1 0x00 00000850: NOT 00000851: AND 00000852: PUSH1 0x00 00000854: NOT 00000855: AND 00000856: DUP2 00000857: MSTORE 00000858: PUSH1 0x20 0000085a: ADD 0000085b: DUP5 0000085c: PUSH1 0xff 0000085e: AND 0000085f: PUSH1 0xff 00000861: AND 00000862: DUP2 00000863: MSTORE 00000864: PUSH1 0x20 00000866: ADD 00000867: DUP4 00000868: PUSH1 0x00 0000086a: NOT 0000086b: AND 0000086c: PUSH1 0x00 0000086e: NOT 0000086f: AND 00000870: DUP2 00000871: MSTORE 00000872: PUSH1 0x20 00000874: ADD 00000875: DUP3 00000876: PUSH1 0x00 00000878: NOT 00000879: AND 0000087a: PUSH1 0x00 0000087c: NOT 0000087d: AND 0000087e: DUP2 0000087f: MSTORE 00000880: PUSH1 0x20 00000882: ADD 00000883: SWAP5 00000884: POP 00000885: POP 00000886: POP 00000887: POP 00000888: POP 00000889: PUSH1 0x20 0000088b: PUSH1 0x40 0000088d: MLOAD 0000088e: PUSH1 0x20 00000890: DUP2 00000891: SUB 00000892: SWAP1 00000893: DUP1 00000894: DUP5 00000895: SUB 00000896: SWAP1 00000897: PUSH1 0x00 00000899: DUP7 0000089a: GAS 0000089b: CALL 0000089c: ISZERO 0000089d: DUP1 0000089e: ISZERO 0000089f: PUSH2 0x08ac 000008a2: JUMPI 000008a3: RETURNDATASIZE 000008a4: PUSH1 0x00 000008a6: DUP1 000008a7: RETURNDATACOPY 000008a8: RETURNDATASIZE 000008a9: PUSH1 0x00 000008ab: REVERT 000008ac: JUMPDEST 000008ad: POP 000008ae: POP 000008af: POP 000008b0: PUSH1 0x20 000008b2: PUSH1 0x40 000008b4: MLOAD 000008b5: SUB 000008b6: MLOAD 000008b7: SWAP1 000008b8: POP 000008b9: DUP8 000008ba: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008cf: AND 000008d0: DUP2 000008d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000008e6: AND 000008e7: EQ 000008e8: SWAP3 000008e9: POP 000008ea: POP 000008eb: POP 000008ec: SWAP6 000008ed: SWAP5 000008ee: POP 000008ef: POP 000008f0: POP 000008f1: POP 000008f2: POP 000008f3: JUMP 000008f4: JUMPDEST 000008f5: PUSH1 0x00 000008f7: DUP1 000008f8: PUSH1 0x00 000008fa: PUSH1 0x14 000008fc: SWAP1 000008fd: SLOAD 000008fe: SWAP1 000008ff: PUSH2 0x0100 00000902: EXP 00000903: SWAP1 00000904: DIV 00000905: PUSH1 0xff 00000907: AND 00000908: ISZERO 00000909: ISZERO 0000090a: ISZERO 0000090b: PUSH2 0x0913 0000090e: JUMPI 0000090f: PUSH1 0x00 00000911: DUP1 00000912: REVERT 00000913: JUMPDEST 00000914: PUSH1 0x02 00000916: SLOAD 00000917: SWAP1 00000918: POP 00000919: PUSH1 0x00 0000091b: PUSH1 0x02 0000091d: DUP2 0000091e: SWAP1 0000091f: SSTORE 00000920: POP 00000921: PUSH1 0x00 00000923: DUP1 00000924: SWAP1 00000925: SLOAD 00000926: SWAP1 00000927: PUSH2 0x0100 0000092a: EXP 0000092b: SWAP1 0000092c: DIV 0000092d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000942: AND 00000943: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000958: AND 00000959: PUSH2 0x08fc 0000095c: DUP3 0000095d: SWAP1 0000095e: DUP2 0000095f: ISZERO 00000960: MUL 00000961: SWAP1 00000962: PUSH1 0x40 00000964: MLOAD 00000965: PUSH1 0x00 00000967: PUSH1 0x40 00000969: MLOAD 0000096a: DUP1 0000096b: DUP4 0000096c: SUB 0000096d: DUP2 0000096e: DUP6 0000096f: DUP9 00000970: DUP9 00000971: CALL 00000972: SWAP4 00000973: POP 00000974: POP 00000975: POP 00000976: POP 00000977: ISZERO 00000978: DUP1 00000979: ISZERO 0000097a: PUSH2 0x0987 0000097d: JUMPI 0000097e: RETURNDATASIZE 0000097f: PUSH1 0x00 00000981: DUP1 00000982: RETURNDATACOPY 00000983: RETURNDATASIZE 00000984: PUSH1 0x00 00000986: REVERT 00000987: JUMPDEST 00000988: POP 00000989: PUSH32 0x3edf228d54016de2c57c145318c98467681be853eb40b70bc72ffd795550aa26 000009aa: DUP2 000009ab: PUSH1 0x40 000009ad: MLOAD 000009ae: DUP1 000009af: DUP3 000009b0: DUP2 000009b1: MSTORE 000009b2: PUSH1 0x20 000009b4: ADD 000009b5: SWAP2 000009b6: POP 000009b7: POP 000009b8: PUSH1 0x40 000009ba: MLOAD 000009bb: DUP1 000009bc: SWAP2 000009bd: SUB 000009be: SWAP1 000009bf: LOG1 000009c0: PUSH1 0x01 000009c2: SWAP2 000009c3: POP 000009c4: POP 000009c5: SWAP1 000009c6: JUMP 000009c7: JUMPDEST 000009c8: PUSH1 0x00 000009ca: DUP1 000009cb: SWAP1 000009cc: SLOAD 000009cd: SWAP1 000009ce: PUSH2 0x0100 000009d1: EXP 000009d2: SWAP1 000009d3: DIV 000009d4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009e9: AND 000009ea: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000009ff: AND 00000a00: CALLER 00000a01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000a16: AND 00000a17: EQ 00000a18: ISZERO 00000a19: ISZERO 00000a1a: PUSH2 0x0a22 00000a1d: JUMPI 00000a1e: PUSH1 0x00 00000a20: DUP1 00000a21: REVERT 00000a22: JUMPDEST 00000a23: PUSH1 0x00 00000a25: PUSH1 0x14 00000a27: SWAP1 00000a28: SLOAD 00000a29: SWAP1 00000a2a: PUSH2 0x0100 00000a2d: EXP 00000a2e: SWAP1 00000a2f: DIV 00000a30: PUSH1 0xff 00000a32: AND 00000a33: ISZERO 00000a34: ISZERO 00000a35: PUSH2 0x0a3d 00000a38: JUMPI 00000a39: PUSH1 0x00 00000a3b: DUP1 00000a3c: REVERT 00000a3d: JUMPDEST 00000a3e: PUSH1 0x00 00000a40: DUP1 00000a41: PUSH1 0x14 00000a43: PUSH2 0x0100 00000a46: EXP 00000a47: DUP2 00000a48: SLOAD 00000a49: DUP2 00000a4a: PUSH1 0xff 00000a4c: MUL 00000a4d: NOT 00000a4e: AND 00000a4f: SWAP1 00000a50: DUP4 00000a51: ISZERO 00000a52: ISZERO 00000a53: MUL 00000a54: OR 00000a55: SWAP1 00000a56: SSTORE 00000a57: POP 00000a58: PUSH32 0x7805862f689e2f13df9f062ff482ad3ad112aca9e0847911ed832e158c525b33 00000a79: PUSH1 0x40 00000a7b: MLOAD 00000a7c: PUSH1 0x40 00000a7e: MLOAD 00000a7f: DUP1 00000a80: SWAP2 00000a81: SUB 00000a82: SWAP1 00000a83: LOG1 00000a84: JUMP 00000a85: JUMPDEST 00000a86: PUSH1 0x00 00000a88: PUSH2 0x0a94 00000a8b: DUP7 00000a8c: DUP7 00000a8d: DUP7 00000a8e: DUP7 00000a8f: DUP7 00000a90: PUSH2 0x07b5 00000a93: JUMP 00000a94: JUMPDEST 00000a95: SWAP1 00000a96: POP 00000a97: SWAP6 00000a98: SWAP5 00000a99: POP 00000a9a: POP 00000a9b: POP 00000a9c: POP 00000a9d: POP 00000a9e: JUMP 00000a9f: JUMPDEST 00000aa0: PUSH1 0x00 00000aa2: PUSH1 0x14 00000aa4: SWAP1 00000aa5: SLOAD 00000aa6: SWAP1 00000aa7: PUSH2 0x0100 00000aaa: EXP 00000aab: SWAP1 00000aac: DIV 00000aad: PUSH1 0xff 00000aaf: AND 00000ab0: DUP2 00000ab1: JUMP 00000ab2: JUMPDEST 00000ab3: PUSH1 0x01 00000ab5: SLOAD 00000ab6: DUP2 00000ab7: JUMP 00000ab8: JUMPDEST 00000ab9: PUSH1 0x00 00000abb: DUP1 00000abc: PUSH1 0x00 00000abe: PUSH1 0x14 00000ac0: SWAP1 00000ac1: SLOAD 00000ac2: SWAP1 00000ac3: PUSH2 0x0100 00000ac6: EXP 00000ac7: SWAP1 00000ac8: DIV 00000ac9: PUSH1 0xff 00000acb: AND 00000acc: ISZERO 00000acd: ISZERO 00000ace: ISZERO 00000acf: PUSH2 0x0ad7 00000ad2: JUMPI 00000ad3: PUSH1 0x00 00000ad5: DUP1 00000ad6: REVERT 00000ad7: JUMPDEST 00000ad8: PUSH1 0x00 00000ada: PUSH1 0x15 00000adc: SWAP1 00000add: SLOAD 00000ade: SWAP1 00000adf: PUSH2 0x0100 00000ae2: EXP 00000ae3: SWAP1 00000ae4: DIV 00000ae5: PUSH1 0xff 00000ae7: AND 00000ae8: ISZERO 00000ae9: ISZERO 00000aea: ISZERO 00000aeb: PUSH2 0x0af3 00000aee: JUMPI 00000aef: PUSH1 0x00 00000af1: DUP1 00000af2: REVERT 00000af3: JUMPDEST 00000af4: PUSH1 0x00 00000af6: DUP1 00000af7: SWAP1 00000af8: SLOAD 00000af9: SWAP1 00000afa: PUSH2 0x0100 00000afd: EXP 00000afe: SWAP1 00000aff: DIV 00000b00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b15: AND 00000b16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b2b: AND 00000b2c: CALLER 00000b2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000b42: AND 00000b43: EQ 00000b44: ISZERO 00000b45: ISZERO 00000b46: PUSH2 0x0b4e 00000b49: JUMPI 00000b4a: PUSH1 0x00 00000b4c: DUP1 00000b4d: REVERT 00000b4e: JUMPDEST 00000b4f: PUSH1 0x01 00000b51: SLOAD 00000b52: SWAP1 00000b53: POP 00000b54: DUP3 00000b55: PUSH1 0x01 00000b57: DUP2 00000b58: SWAP1 00000b59: SSTORE 00000b5a: POP 00000b5b: PUSH32 0x9f43d788b36e7b67ff4c6a52197dfb4a40cce888efd52a5a7240c1276c85adbf 00000b7c: DUP2 00000b7d: PUSH1 0x01 00000b7f: SLOAD 00000b80: PUSH1 0x40 00000b82: MLOAD 00000b83: DUP1 00000b84: DUP4 00000b85: DUP2 00000b86: MSTORE 00000b87: PUSH1 0x20 00000b89: ADD 00000b8a: DUP3 00000b8b: DUP2 00000b8c: MSTORE 00000b8d: PUSH1 0x20 00000b8f: ADD 00000b90: SWAP3 00000b91: POP 00000b92: POP 00000b93: POP 00000b94: PUSH1 0x40 00000b96: MLOAD 00000b97: DUP1 00000b98: SWAP2 00000b99: SUB 00000b9a: SWAP1 00000b9b: LOG1 00000b9c: PUSH1 0x01 00000b9e: SWAP2 00000b9f: POP 00000ba0: POP 00000ba1: SWAP2 00000ba2: SWAP1 00000ba3: POP 00000ba4: JUMP 00000ba5: JUMPDEST 00000ba6: PUSH1 0x00 00000ba8: PUSH1 0x15 00000baa: SWAP1 00000bab: SLOAD 00000bac: SWAP1 00000bad: PUSH2 0x0100 00000bb0: EXP 00000bb1: SWAP1 00000bb2: DIV 00000bb3: PUSH1 0xff 00000bb5: AND 00000bb6: DUP2 00000bb7: JUMP 00000bb8: JUMPDEST 00000bb9: PUSH1 0x00 00000bbb: DUP1 00000bbc: SWAP1 00000bbd: SLOAD 00000bbe: SWAP1 00000bbf: PUSH2 0x0100 00000bc2: EXP 00000bc3: SWAP1 00000bc4: DIV 00000bc5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bda: AND 00000bdb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000bf0: AND 00000bf1: CALLER 00000bf2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000c07: AND 00000c08: EQ 00000c09: ISZERO 00000c0a: ISZERO 00000c0b: PUSH2 0x0c13 00000c0e: JUMPI 00000c0f: PUSH1 0x00 00000c11: DUP1 00000c12: REVERT 00000c13: JUMPDEST 00000c14: PUSH1 0x00 00000c16: PUSH1 0x14 00000c18: SWAP1 00000c19: SLOAD 00000c1a: SWAP1 00000c1b: PUSH2 0x0100 00000c1e: EXP 00000c1f: SWAP1 00000c20: DIV 00000c21: PUSH1 0xff 00000c23: AND 00000c24: ISZERO 00000c25: ISZERO 00000c26: ISZERO 00000c27: PUSH2 0x0c2f 00000c2a: JUMPI 00000c2b: PUSH1 0x00 00000c2d: DUP1 00000c2e: REVERT 00000c2f: JUMPDEST 00000c30: PUSH1 0x01 00000c32: PUSH1 0x00 00000c34: PUSH1 0x14 00000c36: PUSH2 0x0100 00000c39: EXP 00000c3a: DUP2 00000c3b: SLOAD 00000c3c: DUP2 00000c3d: PUSH1 0xff 00000c3f: MUL 00000c40: NOT 00000c41: AND 00000c42: SWAP1 00000c43: DUP4 00000c44: ISZERO 00000c45: ISZERO 00000c46: MUL 00000c47: OR 00000c48: SWAP1 00000c49: SSTORE 00000c4a: POP 00000c4b: PUSH32 0x6985a02210a168e66602d3235cb6db0e70f92b3ba4d376a33c0f3d9434bff625 00000c6c: PUSH1 0x40 00000c6e: MLOAD 00000c6f: PUSH1 0x40 00000c71: MLOAD 00000c72: DUP1 00000c73: SWAP2 00000c74: SUB 00000c75: SWAP1 00000c76: LOG1 00000c77: JUMP 00000c78: JUMPDEST 00000c79: PUSH1 0x00 00000c7b: PUSH2 0x0c82 00000c7e: PUSH2 0x1617 00000c81: JUMP 00000c82: JUMPDEST 00000c83: PUSH1 0x03 00000c85: PUSH1 0x00 00000c87: SWAP1 00000c88: SLOAD 00000c89: SWAP1 00000c8a: PUSH2 0x0100 00000c8d: EXP 00000c8e: SWAP1 00000c8f: DIV 00000c90: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ca5: AND 00000ca6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cbb: AND 00000cbc: CALLER 00000cbd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000cd2: AND 00000cd3: EQ 00000cd4: ISZERO 00000cd5: ISZERO 00000cd6: PUSH2 0x0cde 00000cd9: JUMPI 00000cda: PUSH1 0x00 00000cdc: DUP1 00000cdd: REVERT 00000cde: JUMPDEST 00000cdf: PUSH1 0x00 00000ce1: PUSH1 0x14 00000ce3: SWAP1 00000ce4: SLOAD 00000ce5: SWAP1 00000ce6: PUSH2 0x0100 00000ce9: EXP 00000cea: SWAP1 00000ceb: DIV 00000cec: PUSH1 0xff 00000cee: AND 00000cef: ISZERO 00000cf0: ISZERO 00000cf1: ISZERO 00000cf2: PUSH2 0x0cfa 00000cf5: JUMPI 00000cf6: PUSH1 0x00 00000cf8: DUP1 00000cf9: REVERT 00000cfa: JUMPDEST 00000cfb: PUSH1 0x00 00000cfd: PUSH1 0x15 00000cff: SWAP1 00000d00: SLOAD 00000d01: SWAP1 00000d02: PUSH2 0x0100 00000d05: EXP 00000d06: SWAP1 00000d07: DIV 00000d08: PUSH1 0xff 00000d0a: AND 00000d0b: ISZERO 00000d0c: ISZERO 00000d0d: ISZERO 00000d0e: PUSH2 0x0d16 00000d11: JUMPI 00000d12: PUSH1 0x00 00000d14: DUP1 00000d15: REVERT 00000d16: JUMPDEST 00000d17: PUSH1 0x04 00000d19: PUSH1 0x00 00000d1b: DUP9 00000d1c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d31: AND 00000d32: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d47: AND 00000d48: DUP2 00000d49: MSTORE 00000d4a: PUSH1 0x20 00000d4c: ADD 00000d4d: SWAP1 00000d4e: DUP2 00000d4f: MSTORE 00000d50: PUSH1 0x20 00000d52: ADD 00000d53: PUSH1 0x00 00000d55: KECCAK256 00000d56: PUSH1 0x40 00000d58: DUP1 00000d59: MLOAD 00000d5a: SWAP1 00000d5b: DUP2 00000d5c: ADD 00000d5d: PUSH1 0x40 00000d5f: MSTORE 00000d60: SWAP1 00000d61: DUP2 00000d62: PUSH1 0x00 00000d64: DUP3 00000d65: ADD 00000d66: PUSH1 0x00 00000d68: SWAP1 00000d69: SLOAD 00000d6a: SWAP1 00000d6b: PUSH2 0x0100 00000d6e: EXP 00000d6f: SWAP1 00000d70: DIV 00000d71: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d86: AND 00000d87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000d9c: AND 00000d9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000db2: AND 00000db3: DUP2 00000db4: MSTORE 00000db5: PUSH1 0x20 00000db7: ADD 00000db8: PUSH1 0x01 00000dba: DUP3 00000dbb: ADD 00000dbc: SLOAD 00000dbd: DUP2 00000dbe: MSTORE 00000dbf: POP 00000dc0: POP 00000dc1: SWAP1 00000dc2: POP 00000dc3: PUSH2 0x0dcf 00000dc6: DUP8 00000dc7: DUP8 00000dc8: DUP8 00000dc9: DUP8 00000dca: DUP8 00000dcb: PUSH2 0x07b5 00000dce: JUMP 00000dcf: JUMPDEST 00000dd0: ISZERO 00000dd1: ISZERO 00000dd2: PUSH2 0x0dda 00000dd5: JUMPI 00000dd6: PUSH1 0x00 00000dd8: DUP1 00000dd9: REVERT 00000dda: JUMPDEST 00000ddb: PUSH1 0x04 00000ddd: PUSH1 0x00 00000ddf: DUP9 00000de0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000df5: AND 00000df6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e0b: AND 00000e0c: DUP2 00000e0d: MSTORE 00000e0e: PUSH1 0x20 00000e10: ADD 00000e11: SWAP1 00000e12: DUP2 00000e13: MSTORE 00000e14: PUSH1 0x20 00000e16: ADD 00000e17: PUSH1 0x00 00000e19: KECCAK256 00000e1a: PUSH1 0x00 00000e1c: DUP1 00000e1d: DUP3 00000e1e: ADD 00000e1f: PUSH1 0x00 00000e21: PUSH2 0x0100 00000e24: EXP 00000e25: DUP2 00000e26: SLOAD 00000e27: SWAP1 00000e28: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e3d: MUL 00000e3e: NOT 00000e3f: AND 00000e40: SWAP1 00000e41: SSTORE 00000e42: PUSH1 0x01 00000e44: DUP3 00000e45: ADD 00000e46: PUSH1 0x00 00000e48: SWAP1 00000e49: SSTORE 00000e4a: POP 00000e4b: POP 00000e4c: DUP6 00000e4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000e62: AND 00000e63: PUSH2 0x08fc 00000e66: DUP3 00000e67: PUSH1 0x20 00000e69: ADD 00000e6a: MLOAD 00000e6b: SWAP1 00000e6c: DUP2 00000e6d: ISZERO 00000e6e: MUL 00000e6f: SWAP1 00000e70: PUSH1 0x40 00000e72: MLOAD 00000e73: PUSH1 0x00 00000e75: PUSH1 0x40 00000e77: MLOAD 00000e78: DUP1 00000e79: DUP4 00000e7a: SUB 00000e7b: DUP2 00000e7c: DUP6 00000e7d: DUP9 00000e7e: DUP9 00000e7f: CALL 00000e80: SWAP4 00000e81: POP 00000e82: POP 00000e83: POP 00000e84: POP 00000e85: ISZERO 00000e86: DUP1 00000e87: ISZERO 00000e88: PUSH2 0x0e95 00000e8b: JUMPI 00000e8c: RETURNDATASIZE 00000e8d: PUSH1 0x00 00000e8f: DUP1 00000e90: RETURNDATACOPY 00000e91: RETURNDATASIZE 00000e92: PUSH1 0x00 00000e94: REVERT 00000e95: JUMPDEST 00000e96: POP 00000e97: DUP6 00000e98: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ead: AND 00000eae: DUP8 00000eaf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ec4: AND 00000ec5: DUP3 00000ec6: PUSH1 0x00 00000ec8: ADD 00000ec9: MLOAD 00000eca: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000edf: AND 00000ee0: PUSH32 0xaa5b60cdfa493767441e10be5daea291b831cb9faa638ebf160d434588d7ecbd 00000f01: DUP5 00000f02: PUSH1 0x20 00000f04: ADD 00000f05: MLOAD 00000f06: PUSH1 0x40 00000f08: MLOAD 00000f09: DUP1 00000f0a: DUP3 00000f0b: DUP2 00000f0c: MSTORE 00000f0d: PUSH1 0x20 00000f0f: ADD 00000f10: SWAP2 00000f11: POP 00000f12: POP 00000f13: PUSH1 0x40 00000f15: MLOAD 00000f16: DUP1 00000f17: SWAP2 00000f18: SUB 00000f19: SWAP1 00000f1a: LOG4 00000f1b: PUSH1 0x01 00000f1d: SWAP2 00000f1e: POP 00000f1f: POP 00000f20: SWAP6 00000f21: SWAP5 00000f22: POP 00000f23: POP 00000f24: POP 00000f25: POP 00000f26: POP 00000f27: JUMP 00000f28: JUMPDEST 00000f29: PUSH1 0x00 00000f2b: DUP1 00000f2c: SWAP1 00000f2d: SLOAD 00000f2e: SWAP1 00000f2f: PUSH2 0x0100 00000f32: EXP 00000f33: SWAP1 00000f34: DIV 00000f35: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f4a: AND 00000f4b: DUP2 00000f4c: JUMP 00000f4d: JUMPDEST 00000f4e: PUSH1 0x00 00000f50: PUSH2 0x0f57 00000f53: PUSH2 0x1617 00000f56: JUMP 00000f57: JUMPDEST 00000f58: PUSH1 0x04 00000f5a: PUSH1 0x00 00000f5c: DUP5 00000f5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f72: AND 00000f73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000f88: AND 00000f89: DUP2 00000f8a: MSTORE 00000f8b: PUSH1 0x20 00000f8d: ADD 00000f8e: SWAP1 00000f8f: DUP2 00000f90: MSTORE 00000f91: PUSH1 0x20 00000f93: ADD 00000f94: PUSH1 0x00 00000f96: KECCAK256 00000f97: PUSH1 0x40 00000f99: DUP1 00000f9a: MLOAD 00000f9b: SWAP1 00000f9c: DUP2 00000f9d: ADD 00000f9e: PUSH1 0x40 00000fa0: MSTORE 00000fa1: SWAP1 00000fa2: DUP2 00000fa3: PUSH1 0x00 00000fa5: DUP3 00000fa6: ADD 00000fa7: PUSH1 0x00 00000fa9: SWAP1 00000faa: SLOAD 00000fab: SWAP1 00000fac: PUSH2 0x0100 00000faf: EXP 00000fb0: SWAP1 00000fb1: DIV 00000fb2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fc7: AND 00000fc8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000fdd: AND 00000fde: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00000ff3: AND 00000ff4: DUP2 00000ff5: MSTORE 00000ff6: PUSH1 0x20 00000ff8: ADD 00000ff9: PUSH1 0x01 00000ffb: DUP3 00000ffc: ADD 00000ffd: SLOAD 00000ffe: DUP2 00000fff: MSTORE 00001000: POP 00001001: POP 00001002: SWAP1 00001003: POP 00001004: DUP1 00001005: PUSH1 0x00 00001007: ADD 00001008: MLOAD 00001009: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000101e: AND 0000101f: CALLER 00001020: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001035: AND 00001036: EQ 00001037: ISZERO 00001038: ISZERO 00001039: PUSH2 0x1041 0000103c: JUMPI 0000103d: PUSH1 0x00 0000103f: DUP1 00001040: REVERT 00001041: JUMPDEST 00001042: PUSH1 0x04 00001044: PUSH1 0x00 00001046: DUP5 00001047: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000105c: AND 0000105d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001072: AND 00001073: DUP2 00001074: MSTORE 00001075: PUSH1 0x20 00001077: ADD 00001078: SWAP1 00001079: DUP2 0000107a: MSTORE 0000107b: PUSH1 0x20 0000107d: ADD 0000107e: PUSH1 0x00 00001080: KECCAK256 00001081: PUSH1 0x00 00001083: DUP1 00001084: DUP3 00001085: ADD 00001086: PUSH1 0x00 00001088: PUSH2 0x0100 0000108b: EXP 0000108c: DUP2 0000108d: SLOAD 0000108e: SWAP1 0000108f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010a4: MUL 000010a5: NOT 000010a6: AND 000010a7: SWAP1 000010a8: SSTORE 000010a9: PUSH1 0x01 000010ab: DUP3 000010ac: ADD 000010ad: PUSH1 0x00 000010af: SWAP1 000010b0: SSTORE 000010b1: POP 000010b2: POP 000010b3: CALLER 000010b4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000010c9: AND 000010ca: PUSH2 0x08fc 000010cd: DUP3 000010ce: PUSH1 0x20 000010d0: ADD 000010d1: MLOAD 000010d2: SWAP1 000010d3: DUP2 000010d4: ISZERO 000010d5: MUL 000010d6: SWAP1 000010d7: PUSH1 0x40 000010d9: MLOAD 000010da: PUSH1 0x00 000010dc: PUSH1 0x40 000010de: MLOAD 000010df: DUP1 000010e0: DUP4 000010e1: SUB 000010e2: DUP2 000010e3: DUP6 000010e4: DUP9 000010e5: DUP9 000010e6: CALL 000010e7: SWAP4 000010e8: POP 000010e9: POP 000010ea: POP 000010eb: POP 000010ec: ISZERO 000010ed: DUP1 000010ee: ISZERO 000010ef: PUSH2 0x10fc 000010f2: JUMPI 000010f3: RETURNDATASIZE 000010f4: PUSH1 0x00 000010f6: DUP1 000010f7: RETURNDATACOPY 000010f8: RETURNDATASIZE 000010f9: PUSH1 0x00 000010fb: REVERT 000010fc: JUMPDEST 000010fd: POP 000010fe: DUP3 000010ff: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001114: AND 00001115: CALLER 00001116: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000112b: AND 0000112c: PUSH32 0xbadeab042d3a4137cdc34a05ee0e698eb9bb91cea276c79d4c8cafeeee302a37 0000114d: PUSH1 0x40 0000114f: MLOAD 00001150: PUSH1 0x40 00001152: MLOAD 00001153: DUP1 00001154: SWAP2 00001155: SUB 00001156: SWAP1 00001157: LOG3 00001158: PUSH1 0x01 0000115a: SWAP2 0000115b: POP 0000115c: POP 0000115d: SWAP2 0000115e: SWAP1 0000115f: POP 00001160: JUMP 00001161: JUMPDEST 00001162: PUSH1 0x00 00001164: DUP1 00001165: PUSH1 0x00 00001167: PUSH1 0x14 00001169: SWAP1 0000116a: SLOAD 0000116b: SWAP1 0000116c: PUSH2 0x0100 0000116f: EXP 00001170: SWAP1 00001171: DIV 00001172: PUSH1 0xff 00001174: AND 00001175: ISZERO 00001176: ISZERO 00001177: ISZERO 00001178: PUSH2 0x1180 0000117b: JUMPI 0000117c: PUSH1 0x00 0000117e: DUP1 0000117f: REVERT 00001180: JUMPDEST 00001181: PUSH1 0x00 00001183: PUSH1 0x15 00001185: SWAP1 00001186: SLOAD 00001187: SWAP1 00001188: PUSH2 0x0100 0000118b: EXP 0000118c: SWAP1 0000118d: DIV 0000118e: PUSH1 0xff 00001190: AND 00001191: ISZERO 00001192: ISZERO 00001193: ISZERO 00001194: PUSH2 0x119c 00001197: JUMPI 00001198: PUSH1 0x00 0000119a: DUP1 0000119b: REVERT 0000119c: JUMPDEST 0000119d: PUSH1 0x00 0000119f: DUP1 000011a0: SWAP1 000011a1: SLOAD 000011a2: SWAP1 000011a3: PUSH2 0x0100 000011a6: EXP 000011a7: SWAP1 000011a8: DIV 000011a9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011be: AND 000011bf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011d4: AND 000011d5: CALLER 000011d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000011eb: AND 000011ec: EQ 000011ed: ISZERO 000011ee: ISZERO 000011ef: PUSH2 0x11f7 000011f2: JUMPI 000011f3: PUSH1 0x00 000011f5: DUP1 000011f6: REVERT 000011f7: JUMPDEST 000011f8: PUSH1 0x03 000011fa: PUSH1 0x00 000011fc: SWAP1 000011fd: SLOAD 000011fe: SWAP1 000011ff: PUSH2 0x0100 00001202: EXP 00001203: SWAP1 00001204: DIV 00001205: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000121a: AND 0000121b: SWAP1 0000121c: POP 0000121d: DUP3 0000121e: PUSH1 0x03 00001220: PUSH1 0x00 00001222: PUSH2 0x0100 00001225: EXP 00001226: DUP2 00001227: SLOAD 00001228: DUP2 00001229: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000123e: MUL 0000123f: NOT 00001240: AND 00001241: SWAP1 00001242: DUP4 00001243: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001258: AND 00001259: MUL 0000125a: OR 0000125b: SWAP1 0000125c: SSTORE 0000125d: POP 0000125e: PUSH31 0x23b4b8d3b24bb4e63a4d72a2a8012e5134c4b51c84fa61ae55749793c64183 0000127e: DUP2 0000127f: PUSH1 0x03 00001281: PUSH1 0x00 00001283: SWAP1 00001284: SLOAD 00001285: SWAP1 00001286: PUSH2 0x0100 00001289: EXP 0000128a: SWAP1 0000128b: DIV 0000128c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012a1: AND 000012a2: PUSH1 0x40 000012a4: MLOAD 000012a5: DUP1 000012a6: DUP4 000012a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012bc: AND 000012bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012d2: AND 000012d3: DUP2 000012d4: MSTORE 000012d5: PUSH1 0x20 000012d7: ADD 000012d8: DUP3 000012d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000012ee: AND 000012ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001304: AND 00001305: DUP2 00001306: MSTORE 00001307: PUSH1 0x20 00001309: ADD 0000130a: SWAP3 0000130b: POP 0000130c: POP 0000130d: POP 0000130e: PUSH1 0x40 00001310: MLOAD 00001311: DUP1 00001312: SWAP2 00001313: SUB 00001314: SWAP1 00001315: LOG1 00001316: PUSH1 0x01 00001318: SWAP2 00001319: POP 0000131a: POP 0000131b: SWAP2 0000131c: SWAP1 0000131d: POP 0000131e: JUMP 0000131f: JUMPDEST 00001320: PUSH1 0x00 00001322: DUP1 00001323: PUSH1 0x00 00001325: PUSH2 0x132c 00001328: PUSH2 0x1617 0000132b: JUMP 0000132c: JUMPDEST 0000132d: PUSH1 0x04 0000132f: PUSH1 0x00 00001331: DUP7 00001332: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001347: AND 00001348: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000135d: AND 0000135e: DUP2 0000135f: MSTORE 00001360: PUSH1 0x20 00001362: ADD 00001363: SWAP1 00001364: DUP2 00001365: MSTORE 00001366: PUSH1 0x20 00001368: ADD 00001369: PUSH1 0x00 0000136b: KECCAK256 0000136c: PUSH1 0x40 0000136e: DUP1 0000136f: MLOAD 00001370: SWAP1 00001371: DUP2 00001372: ADD 00001373: PUSH1 0x40 00001375: MSTORE 00001376: SWAP1 00001377: DUP2 00001378: PUSH1 0x00 0000137a: DUP3 0000137b: ADD 0000137c: PUSH1 0x00 0000137e: SWAP1 0000137f: SLOAD 00001380: SWAP1 00001381: PUSH2 0x0100 00001384: EXP 00001385: SWAP1 00001386: DIV 00001387: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000139c: AND 0000139d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013b2: AND 000013b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000013c8: AND 000013c9: DUP2 000013ca: MSTORE 000013cb: PUSH1 0x20 000013cd: ADD 000013ce: PUSH1 0x01 000013d0: DUP3 000013d1: ADD 000013d2: SLOAD 000013d3: DUP2 000013d4: MSTORE 000013d5: POP 000013d6: POP 000013d7: SWAP1 000013d8: POP 000013d9: DUP5 000013da: DUP2 000013db: PUSH1 0x00 000013dd: ADD 000013de: MLOAD 000013df: DUP3 000013e0: PUSH1 0x20 000013e2: ADD 000013e3: MLOAD 000013e4: SWAP4 000013e5: POP 000013e6: SWAP4 000013e7: POP 000013e8: SWAP4 000013e9: POP 000013ea: POP 000013eb: SWAP2 000013ec: SWAP4 000013ed: SWAP1 000013ee: SWAP3 000013ef: POP 000013f0: JUMP 000013f1: JUMPDEST 000013f2: PUSH1 0x00 000013f4: DUP1 000013f5: PUSH1 0x14 000013f7: SWAP1 000013f8: SLOAD 000013f9: SWAP1 000013fa: PUSH2 0x0100 000013fd: EXP 000013fe: SWAP1 000013ff: DIV 00001400: PUSH1 0xff 00001402: AND 00001403: ISZERO 00001404: ISZERO 00001405: ISZERO 00001406: PUSH2 0x140e 00001409: JUMPI 0000140a: PUSH1 0x00 0000140c: DUP1 0000140d: REVERT 0000140e: JUMPDEST 0000140f: PUSH1 0x00 00001411: PUSH1 0x15 00001413: SWAP1 00001414: SLOAD 00001415: SWAP1 00001416: PUSH2 0x0100 00001419: EXP 0000141a: SWAP1 0000141b: DIV 0000141c: PUSH1 0xff 0000141e: AND 0000141f: ISZERO 00001420: ISZERO 00001421: ISZERO 00001422: PUSH2 0x142a 00001425: JUMPI 00001426: PUSH1 0x00 00001428: DUP1 00001429: REVERT 0000142a: JUMPDEST 0000142b: PUSH1 0x00 0000142d: PUSH1 0x04 0000142f: PUSH1 0x00 00001431: DUP5 00001432: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001447: AND 00001448: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000145d: AND 0000145e: DUP2 0000145f: MSTORE 00001460: PUSH1 0x20 00001462: ADD 00001463: SWAP1 00001464: DUP2 00001465: MSTORE 00001466: PUSH1 0x20 00001468: ADD 00001469: PUSH1 0x00 0000146b: KECCAK256 0000146c: PUSH1 0x01 0000146e: ADD 0000146f: SLOAD 00001470: EQ 00001471: ISZERO 00001472: ISZERO 00001473: PUSH2 0x147b 00001476: JUMPI 00001477: PUSH1 0x00 00001479: DUP1 0000147a: REVERT 0000147b: JUMPDEST 0000147c: PUSH1 0x01 0000147e: SLOAD 0000147f: CALLVALUE 00001480: GT 00001481: ISZERO 00001482: ISZERO 00001483: PUSH2 0x148b 00001486: JUMPI 00001487: PUSH1 0x00 00001489: DUP1 0000148a: REVERT 0000148b: JUMPDEST 0000148c: PUSH1 0x40 0000148e: DUP1 0000148f: MLOAD 00001490: SWAP1 00001491: DUP2 00001492: ADD 00001493: PUSH1 0x40 00001495: MSTORE 00001496: DUP1 00001497: CALLER 00001498: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014ad: AND 000014ae: DUP2 000014af: MSTORE 000014b0: PUSH1 0x20 000014b2: ADD 000014b3: PUSH2 0x14be 000014b6: CALLVALUE 000014b7: PUSH1 0x01 000014b9: SLOAD 000014ba: PUSH2 0x15e0 000014bd: JUMP 000014be: JUMPDEST 000014bf: DUP2 000014c0: MSTORE 000014c1: POP 000014c2: PUSH1 0x04 000014c4: PUSH1 0x00 000014c6: DUP5 000014c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014dc: AND 000014dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 000014f2: AND 000014f3: DUP2 000014f4: MSTORE 000014f5: PUSH1 0x20 000014f7: ADD 000014f8: SWAP1 000014f9: DUP2 000014fa: MSTORE 000014fb: PUSH1 0x20 000014fd: ADD 000014fe: PUSH1 0x00 00001500: KECCAK256 00001501: PUSH1 0x00 00001503: DUP3 00001504: ADD 00001505: MLOAD 00001506: DUP2 00001507: PUSH1 0x00 00001509: ADD 0000150a: PUSH1 0x00 0000150c: PUSH2 0x0100 0000150f: EXP 00001510: DUP2 00001511: SLOAD 00001512: DUP2 00001513: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001528: MUL 00001529: NOT 0000152a: AND 0000152b: SWAP1 0000152c: DUP4 0000152d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001542: AND 00001543: MUL 00001544: OR 00001545: SWAP1 00001546: SSTORE 00001547: POP 00001548: PUSH1 0x20 0000154a: DUP3 0000154b: ADD 0000154c: MLOAD 0000154d: DUP2 0000154e: PUSH1 0x01 00001550: ADD 00001551: SSTORE 00001552: SWAP1 00001553: POP 00001554: POP 00001555: PUSH2 0x1562 00001558: PUSH1 0x02 0000155a: SLOAD 0000155b: PUSH1 0x01 0000155d: SLOAD 0000155e: PUSH2 0x15f9 00001561: JUMP 00001562: JUMPDEST 00001563: PUSH1 0x02 00001565: DUP2 00001566: SWAP1 00001567: SSTORE 00001568: POP 00001569: DUP2 0000156a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000157f: AND 00001580: CALLER 00001581: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 00001596: AND 00001597: PUSH32 0x4e3e4894f24a7c50bcb21d1ef785e34688bee05663c55d822eed7cefc2533123 000015b8: CALLVALUE 000015b9: PUSH1 0x01 000015bb: SLOAD 000015bc: PUSH1 0x40 000015be: MLOAD 000015bf: DUP1 000015c0: DUP4 000015c1: DUP2 000015c2: MSTORE 000015c3: PUSH1 0x20 000015c5: ADD 000015c6: DUP3 000015c7: DUP2 000015c8: MSTORE 000015c9: PUSH1 0x20 000015cb: ADD 000015cc: SWAP3 000015cd: POP 000015ce: POP 000015cf: POP 000015d0: PUSH1 0x40 000015d2: MLOAD 000015d3: DUP1 000015d4: SWAP2 000015d5: SUB 000015d6: SWAP1 000015d7: LOG3 000015d8: PUSH1 0x01 000015da: SWAP1 000015db: POP 000015dc: SWAP2 000015dd: SWAP1 000015de: POP 000015df: JUMP 000015e0: JUMPDEST 000015e1: PUSH1 0x00 000015e3: DUP3 000015e4: DUP3 000015e5: GT 000015e6: ISZERO 000015e7: ISZERO 000015e8: ISZERO 000015e9: PUSH2 0x15ee 000015ec: JUMPI 000015ed: INVALID 000015ee: JUMPDEST 000015ef: DUP2 000015f0: DUP4 000015f1: SUB 000015f2: SWAP1 000015f3: POP 000015f4: SWAP3 000015f5: SWAP2 000015f6: POP 000015f7: POP 000015f8: JUMP 000015f9: JUMPDEST 000015fa: PUSH1 0x00 000015fc: DUP1 000015fd: DUP3 000015fe: DUP5 000015ff: ADD 00001600: SWAP1 00001601: POP 00001602: DUP4 00001603: DUP2 00001604: LT 00001605: ISZERO 00001606: ISZERO 00001607: ISZERO 00001608: PUSH2 0x160d 0000160b: JUMPI 0000160c: INVALID 0000160d: JUMPDEST 0000160e: DUP1 0000160f: SWAP2 00001610: POP 00001611: POP 00001612: SWAP3 00001613: SWAP2 00001614: POP 00001615: POP 00001616: JUMP 00001617: JUMPDEST 00001618: PUSH1 0x40 0000161a: DUP1 0000161b: MLOAD 0000161c: SWAP1 0000161d: DUP2 0000161e: ADD 0000161f: PUSH1 0x40 00001621: MSTORE 00001622: DUP1 00001623: PUSH1 0x00 00001625: PUSH20 0xffffffffffffffffffffffffffffffffffffffff 0000163a: AND 0000163b: DUP2 0000163c: MSTORE 0000163d: PUSH1 0x20 0000163f: ADD 00001640: PUSH1 0x00 00001642: DUP2 00001643: MSTORE 00001644: POP 00001645: SWAP1 00001646: JUMP 00001647: STOP 00001648: LOG1 00001649: PUSH6 0x627a7a723058 00001650: KECCAK256 00001651: UNKNOWN(0xB0) 00001652: SWAP14 00001653: DUP5 00001654: GAS 00001655: SHR 00001656: UNKNOWN(0xCA) 00001657: UNKNOWN(0xE5) 00001658: GASLIMIT 00001659: LOG3 0000165a: UNKNOWN(0xD2) 0000165b: DUP2 0000165c: DUP8 0000165d: PUSH19 0xa714c6c0412e02e25a6b1003658ab8369970f6 00001671: STOP 00001672: UNKNOWN(0x29)
| Severity | Category | Tool | Title | Confidence | Validated | Confirmed | Details |
|---|---|---|---|---|---|---|---|
| medium | other | detector | Untrusted CALL target/value reachable | 45 | no | no |
viewtrace_id: 0x1d427c3f296f41e13154d7c332c4a834af3e5d51b196b519fc0a5fea2b334214
call_targets:
0x0ce80662769f22fd161e5e92cfc82121c835e097
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1d427c3f296f41e13154d7c332c4a834af3e5d51b196b519fc0a5fea2b334214",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0ce80662769f22fd161e5e92cfc82121c835e097"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x07da68f5",
"selector": "0x07da68f5",
"calldata_variants": [
"0x07da68f5",
"0x07da68f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0ee2b0e6",
"selector": "0x0ee2b0e6",
"calldata_variants": [
"0x0ee2b0e6",
"0x0ee2b0e60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b7ac3f3",
"selector": "0x2b7ac3f3",
"calldata_variants": [
"0x2b7ac3f3",
"0x2b7ac3f30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3dabb0f6",
"selector": "0x3dabb0f6",
"calldata_variants": [
"0x3dabb0f6",
"0x3dabb0f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3e25e837",
"selector": "0x3e25e837",
"calldata_variants": [
"0x3e25e837",
"0x3e25e8370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5ac3835d",
"selector": "0x5ac3835d",
"calldata_variants": [
"0x5ac3835d",
"0x5ac3835d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2203,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2417,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3711,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"call_count": 4,
"guards_detected": [
{
"pc": 1794,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2560,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2860,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3057,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3260,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4127,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4565,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
],
"untrusted_call_count": 4
}
|
| medium | other | detector | ETH value transfer possible | 40 | no | no |
viewtrace_id: 0x1d427c3f296f41e13154d7c332c4a834af3e5d51b196b519fc0a5fea2b334214
call_targets:
0x0ce80662769f22fd161e5e92cfc82121c835e097
target_varies:
no
classification:
constant_target
validation_json{
"sink": "CALL",
"errors": 0,
"status": "sink_reached",
"attempts": 1,
"trace_id": "0x1d427c3f296f41e13154d7c332c4a834af3e5d51b196b519fc0a5fea2b334214",
"confirmed": false,
"trace_mode": "callTracer",
"call_targets": [
"0x0ce80662769f22fd161e5e92cfc82121c835e097"
],
"matched_probe": null,
"target_varies": false,
"classification": "constant_target"
}
witness_json{
"notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
"constraints": [],
"entrypoints": [
{
"calldata": "0xffffffff",
"selector": "0xffffffff",
"calldata_variants": [
"0xffffffff",
"0xffffffff0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x07da68f5",
"selector": "0x07da68f5",
"calldata_variants": [
"0x07da68f5",
"0x07da68f50000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x0ee2b0e6",
"selector": "0x0ee2b0e6",
"calldata_variants": [
"0x0ee2b0e6",
"0x0ee2b0e60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x2b7ac3f3",
"selector": "0x2b7ac3f3",
"calldata_variants": [
"0x2b7ac3f3",
"0x2b7ac3f30000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3dabb0f6",
"selector": "0x3dabb0f6",
"calldata_variants": [
"0x3dabb0f6",
"0x3dabb0f60000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3e25e837",
"selector": "0x3e25e837",
"calldata_variants": [
"0x3e25e837",
"0x3e25e8370000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x3f4ba83a",
"selector": "0x3f4ba83a",
"calldata_variants": [
"0x3f4ba83a",
"0x3f4ba83a0000000000000000000000000000000000000000000000000000000000000000"
]
},
{
"calldata": "0x5ac3835d",
"selector": "0x5ac3835d",
"calldata_variants": [
"0x5ac3835d",
"0x5ac3835d0000000000000000000000000000000000000000000000000000000000000000"
]
}
]
}
evidence_json{
"examples": [
{
"pc": 2203,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 2417,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
},
{
"pc": 3711,
"opcode": "CALL",
"returndata_checked": null,
"value_expression_category": "computed",
"target_expression_category": "computed"
}
],
"eth_value_calls": 4,
"guards_detected": [
{
"pc": 1794,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2560,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 2860,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3057,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 3260,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4127,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
},
{
"pc": 4565,
"type": "msg_sender_eq_const",
"value": "0xffffffffffffffffffffffffffffffffffffffff"
}
]
}
|